# Manifold: Census Knot K8_29

# Number of Tetrahedra: 8

# Number Field
x^35 - 4*x^34 - 11*x^33 - 249*x^32 + 18*x^31 + 118*x^30 - 48418*x^29 - 127852*x^28 - 959169*x^27 - 4940130*x^26 - 21569353*x^25 - 104327710*x^24 - 304995202*x^23 - 1055700871*x^22 - 2555174681*x^21 - 2515508531*x^20 + 2571138221*x^19 + 20274749784*x^18 + 38030993762*x^17 - 17443836219*x^16 - 88588760279*x^15 - 7572803941*x^14 + 65199573583*x^13 + 7206912036*x^12 - 13483219739*x^11 - 1470095791*x^10 - 1894506512*x^9 + 416604144*x^8 + 648989064*x^7 - 80966613*x^6 - 16717540*x^5 + 8477404*x^4 - 3050520*x^3 - 468192*x^2 + 85220*x + 9349 

# Approximate Field Generator
0.0809161467651143 - 0.254997452055336*I

# Shape Parameters
7134257817182845734634748789416776479431530297422822310479752243093947823282004863851961161365504203398425894844845511710299960937638542500399978810008677096441310843350791453108535603229361849608799879008539316054924117/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^34 - 20897994692297368482388935920677685759186493896717157305937726875048101503325451884329774721276358447257398632128523711172698004671670826544457979010778655835328100490509943773551711794099859191430982965441024089122970246/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^33 - 15520922146640946659480060476954996421843837324891622642963431505015618365696386723974452781659712229883657976451042378226637154853594541062126377294899018944442597914870153367468756629205597651186304949072822731035320368/483965462667420022253765925358512931038517655880126313303263542678328776695000067618386642855682335089092054453315458797699119228926827574445302018888353155952692234949945932548958956646564992644870206231693841883277207115629*y^32 - 1861383746453424220551601093594268068708562814219094538955521469157746251582699928787355024864585875304391304218593276866236703618986525573989454980444380556309084450189752429703033987111900634108130823883753792784085938816/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^31 - 254320795802477087750029074349543686616948150652702353207050521930278445863797273712771315454917003638760650537256404956543259765005549518504943650493360751316022791786234207120684627476902246072930209813425932820422591209/483965462667420022253765925358512931038517655880126313303263542678328776695000067618386642855682335089092054453315458797699119228926827574445302018888353155952692234949945932548958956646564992644870206231693841883277207115629*y^30 + 875528439988765510648367861293451148335692500189566835751767201095292671575581338488544591553087224987152217247091774124216806030957941906453309682819287584417227935927383375428943136123551565403574519145442086818471454744/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^29 - 49239342300486118210949992818075101309128855615552055173593062143656573527732405612374979028746614499340731163788749691612104507675413024024967545545583112110882575001204422267569561845592667942171415300972131031441496653039/483965462667420022253765925358512931038517655880126313303263542678328776695000067618386642855682335089092054453315458797699119228926827574445302018888353155952692234949945932548958956646564992644870206231693841883277207115629*y^28 - 1281989109538234458324710605655903298187708369230935238812541086385353229376634148920120754935061314065937088596250663571487544519899745867626386013012191267970887471787130020365642681311277678183088725725025481797161731105579/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^27 - 7838278254056161737684127799877271627872892053396588646677103388598700006726863602430847932956529582034357752019734302622776657395291606018753227612712708671818952067680588750515161056512234478289943916822849365101361068560073/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^26 - 42650800792706185088848293772396351000989233786640177308954225088078696512465986934680900949204200203431841899271294763022717759722959172138175924178090879151650767377834172881794848806794036145098790628626578549362120623894828/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^25 - 192078983329234017488867590718387302181484313508459133862271971098039072458114860985964295637068972129393964702091178085876390845052316214040660800661060239960473442309750619037826275839360241828556518686068528235870891258175147/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^24 - 911604096855297830617326735365471807881785546663965391959709331740140775117052734056096458689384236505197660958161630357777695070882270780290131004235932754749141851406877638234256009398772356783687690243111225085271881876416283/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^23 - 2984485379023397171516091003995383466234990610481459573511922267527351216491342357407303278519425093798632504835377229220297625275221052115576167433727718949751888960839691836371679187985263884780912041538265740263560230077867021/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^22 - 9916289229613036863107096088851256226742194358997253578087254042294077465352944752238673924194081549620517255998759667794151405477778970375295962711926329900084300813932943122423112763714807236790288228110331655286283416703206861/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^21 - 3783023931440856787207690366487818052834299028943495659311615872760785788313398605745685873873874137460616969889028003137052050631408110296357818691115526248942421303582437958722590426410220125474927089273669723766221558990345669/483965462667420022253765925358512931038517655880126313303263542678328776695000067618386642855682335089092054453315458797699119228926827574445302018888353155952692234949945932548958956646564992644870206231693841883277207115629*y^20 - 38085125069797621350798142903727224710955272835769034509044319731296640155784989912672207695090664995357994163846524875539064450181545887098462444514153942399654657406561819496306671061686401650963485792917639768871147239482192671/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^19 - 2584152953405346970789548862422515705367905698101335258127257290259963201652403248252617335916676439894663786576775681365145793525183038347830498101651737649727256224288063503919578910771772765280614591802230015809776516771945019/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^18 + 161495643246513916958393691904234595202963372556517563288868879685785915681276685462700062042538709394660870255400139890144222043967353168432184261800640031281268279340354567147257128480117342445645618644699198100130903918157172443/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^17 + 425056327857868668644240493635229053934272116501620935652581241479366451298176656126996584584713589109797216285848920355201996795857972996761449843189916894441350309231508294189229398095401542221247781663937473400508608038290245447/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^16 + 24976102095433379752293549835590247668654883433493059040448141839390889876990062532723484930242941877207641580665029722109441420380987019538570247801029106115696369534795429124908430944330243196215481302181584389819759924397704507/483965462667420022253765925358512931038517655880126313303263542678328776695000067618386642855682335089092054453315458797699119228926827574445302018888353155952692234949945932548958956646564992644870206231693841883277207115629*y^15 - 737663754959331307311753602014087565563825560919034354727649131801727768000693708200632898937822301382554435604563801880198975347464816526475801695094727278501423477533453331784009939176263672649478944218324119783180796096501975917/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^14 - 709769533554625616298736025454717873674759867112725434166390609912883593105413166779991130052262398707340995696647912246257745370691722882864474687241683466446585993202651623321048703257521238971085837429330681063292926960515024227/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^13 + 370949716326191917396483286535359490769711803953211854799179846452403517031571093924241840666837854613080532358269990030631255911436342130749812241157745467798612175543172455972142136464000379354378950870282744845166172640956343743/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^12 + 490681639510342394248740357358155274794837860127714273120384493680111065571089460561862346759019038315377361500797786589936115133515477273737654613868447324840829535433154670902868486722948112653202234516870905836202391649180005709/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^11 - 38265670230012712573803933529164772824786994711760347051045674812061786261775434026400385126924443045919751577316431338846769919461738724389264437086993318424121717132216296052368241040608585569686645795186748165453192372695296722/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^10 - 76763663888996205623360311673191321662923022832904413503859201997676588370564395476627881686468056616555275273804800514018076349331540783515839008868529075479644977615412807828175608504723687497654532159891132440376880399795605102/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^9 - 14675804221692509853931970631074804421431856142463945460529140870076089531908290567439653300395377203006189494263153024077588684713863311666853300191037166959463239310797321692458801045385623791527704311878057777856632575201135913/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^8 - 16229090536605741494290030970356194047993609606898635925112019450879659481420222268111884530523227966574438963733144288168679339401144302557565852739484131887695202289914352825497646381283051525071719265725610453609661663642053358/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^7 + 4750997712724092343526222459300740774326865153711248474628438723569412204919455366429974492644911748794136251712349258860029415554779115015152664261356016524840446936401967699413393310352593775728466775435683609646461331936820226/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^6 + 2880468470843109888637010170561511190199711666297634443556609211926796993129395194105340464115352998558455438963803002848802941042982110109473378351418262983035101369137466911893291872218175163381231682756501499560489509123638079/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^5 - 788701765401233497798242811675835453382023761482261679832057738636913941422585932302494655404786730390071071805732538772215431619332953386966390388604801836999193648157639239048001400308519552058677874472810499150858902227029274/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^4 + 228861615972055311906947375401798759857551240506941095795745814783926003931683075227206724601217116415891575120469888682509026973678143206998621054178237099509598099752308518211435983375310570894644303111849678340021424239360455/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^3 + 105315210405748650945105073707555925922591153878203647884007657127328164200213066117443630376441315797143137233019066187922945553232061728268608097433118956678741007693014128318240956801374216477220550059060875394552814695330437/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^2 - 33324728492021944155548614069914424274757732969789303006772315784793169179754501590213788314482204020772903828558221247502731039703236617556185173175214146872970980387432871319746833740882931423750856582979625358406566792391436/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y + 1527470897290326007173401953030220786710774171449015606419010116769622300390917634315336849597411832837241748058875208516602057740744485048032158898830731782344484142135674169321577575943971171735452744043498923268978860366769/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403

603503309295692122070915283305285113449843666940563679669621027868208184234768134922329457323511404936058612494699413268733305879299938976477210807216057623927035858721935828777679905136092950129644538098393465807876951751/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^34 - 2466704308870671331399055900446991719786105979498270202897724326606299833519135512210469072114807963318840572185199089736646155654725807804426649293938786787856696925310341050597846256695622847411525605061337695931529434023/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^33 - 917240574543992360389953148649645979009811897021335640238567523486470714090007148043226141585221035664682704086299541401540484778865049406706776666185343818793817004749753500279886240138198279544422070871415271234757949403/483965462667420022253765925358512931038517655880126313303263542678328776695000067618386642855682335089092054453315458797699119228926827574445302018888353155952692234949945932548958956646564992644870206231693841883277207115629*y^32 - 149721315775050927769360292492920874307737834058528303294623509124412933806046488605020851894833951907175400714911476819205784475475863883103531270869003060871135150393509645590474456169224845281791528244121821237678568835487/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^31 + 3415185432405899567350678806751252258491200650242747630545094062717080892871313764715243401025095375026532737439112308150140339204591691444971908846700643942432235889703657664249585651829401925669564482846669063735107896080/483965462667420022253765925358512931038517655880126313303263542678328776695000067618386642855682335089092054453315458797699119228926827574445302018888353155952692234949945932548958956646564992644870206231693841883277207115629*y^30 + 68502030223960568208694411828844680569647201986378274544995808950991125440853187742053228936134224377936871355545977723451449401103558292778773864791848680907398841057308200632065599904404099050245269417788411010334969431263/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^29 - 4175207864263353731273568487080614154742657061120674282707830031047386353417970212289540216226442495901846957790369894039251933462410269725194326477033091330158916858871500497025610803460854924647460590977009013881790076730774/483965462667420022253765925358512931038517655880126313303263542678328776695000067618386642855682335089092054453315458797699119228926827574445302018888353155952692234949945932548958956646564992644870206231693841883277207115629*y^28 - 74607118393617211089481377367212304735336797474374669108272878220135911685332897085039180233673280956516716884761674258544920780525271995861039322807467540156286898869657284403259840764039361031547091751203624381611002323310727/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^27 - 572468229983467064311974852549643765178555739745405648486418234299742558015397147948393269290996934559338593466244896676481902229973502005784928088201840439801958450774876810614165547381359087526049421080391652486129761457859906/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^26 - 2931739694101878458538268976738585122957968924015957252330679844411669569011584955732273908867263442698788417006010959833781160869809432920013225726968226597383453100833390477097810555338544122533729072060007235780909494250542459/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^25 - 12763651046806808363891846071836576318392133406237800753301209206527943494716111460953378841717292338783273335218560817460139275904493477259978575136896075866481165309453090259354202392626627831163806071459916062475144952060490344/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^24 - 61860413124831284113687662166390726061129190107090051408826158634606537885955781173200854638998128830536377649982330998485435832161374511935831178956968469626043894119124196910819859852794511706984412134284667921641109294055887407/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^23 - 178720332118370319289333489589668992568748995710431524208009239321188160547294534508014869775408779027994374455736448973651062540592735086902149408314137229857184191281642007700023092423648258600101423947311236497271822032291523239/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^22 - 621783573480217743634744060946041954718506759770618604789733517033942027368316957061854764082491596768421196604647003831027006002485007567443727988897084071830939241420244793746940043882151090761920790328293769103250753392089068551/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^21 - 212652965192339280125301094324524782738099805028669409106424282434592629273146951749474878734492942108683273611373531361255144415877696844900906217464017206146477554888782799482837567371375395442493463252201934250584368678088177248/483965462667420022253765925358512931038517655880126313303263542678328776695000067618386642855682335089092054453315458797699119228926827574445302018888353155952692234949945932548958956646564992644870206231693841883277207115629*y^20 - 1390910104630098178862519944184521493498716550333361670916648008709733856603046094858964850568458485228400711042187085329058438191361483791342628920315286997174964750035955564986173360160959576187281790453396762326924388518440043337/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^19 + 1666325015269351321386414997608939558252353532422095910251518632769967518531474033898560272678027277786361074956564511167611372643062683600557549272986064186833975503176936158864208572169111425491115670470465554834426066737199550201/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^18 + 12083004319717964656586008474254473408180518815332393500176904954085738234849185406428622237713064747906003514973687549538065541802134259409668457032882766993036957053788039122153380353029159397283956019875211735777280899303437623551/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^17 + 21901908652662945033191779899982186815900206010015211536882831689908490818302767168448957313833509367226540582176681008669902662703187190024130216528349318080053098742468193165645481142584342662269782451427072518470550261495975795151/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^16 - 1769816290222019002011408531493116480268537716504156399883138181477329077754486284411221391877064270721830087743779828964967203474563902022173590361164279498517054367416288489814320515721255144848874995707284307747092726768159743949/483965462667420022253765925358512931038517655880126313303263542678328776695000067618386642855682335089092054453315458797699119228926827574445302018888353155952692234949945932548958956646564992644870206231693841883277207115629*y^15 - 52279469604674934178161853644788853739389287627629562960728900641803065266305919226427493120473544295772961738496333751658181313181391837035024654916827716649962740756601099755903154649530112738005200078784775704551373576747983129717/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^14 - 31795947767663376983995652125098438503723257643314795481272166294672782331859989185999280324874879796483842924731283536299053623028249211505991639938227474663489685222202662912479891441399226621661890019129366168840398759707687535/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^13 + 39130315044492288007409043912466397716446761484208667183503249470696877096194466916248489719859140400118939280122181479629435334464081814709887156253164952337968383731496183053779440637587976189157896933212245055549619861858095750089/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^12 + 879992583629008764101738857462790588877092986227074145246268936975863010744416870672334593142260005558852609597634033909750348722431047839731823330936495726810198820366264285458541748298264331235529260472332688368318276578973529592/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^11 - 8067567627968353132778190216759849144039049014311478469929579693384055562832850935198097964764385234393924711294187857595518160442335875554162936208951857617459158048888868505823154121431864267794246067914980558391718314457282228878/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^10 - 145133465118799140971437443393617323701680422803190057203330591857188895654055618309984270999781704951999331175515228993549871351705267161888717809695249535518708206878909479773561446502445590426759791947606666844272507673942919784/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^9 - 1153670485288776337369962942961286531521625970869491425704013499832404537295802030591993174342230157580415831228947102337359709189136310446032268882999636229523165397359222440180846099085915641373902958194346398490625931112878469181/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^8 + 346743353316944671091324753711520097325143525672028157704533829278679627917167058391157992349351916605377575871252418047833831963247440223735194863210363501844086271927499838325796115026994390816585104653298685583964582664088822830/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^7 + 355255718990452026111180431585492401188645440293929304432858249698538283990604411742368641813492426537878859460958542768687632934629398538236560938851543124236341725816752286559587682085477813123459818689434154798633400973104683235/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^6 - 79979061025845786469855570984972928186647284504952649302224460515115951834695861879727536808364829772708681765202980487430701932407048896305943928801432258444223206471398463365438968174280159385872425499833859170345059822541007272/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^5 - 1756589671811374719705173902640198866410114457578834251904914082598664210010655943176785441229906686414363546984027517452633198553827578459740855464560416160546648808244842736785500621351467974764273896785108621809130870875358639/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^4 + 5237631522065032511488525107253878292850434562270948499853286106232170935081261663902546637404187454452449841957055793568639701846345825674034443976099617152505936593970388531687532912980558788984716566066477034841869394974854535/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^3 - 2305705871299005757090958163263915855007151321189005528138585367420886542911945785778717395854814394840911435545098044563639034100422878469363433158967915793399837550727054950058521691211778529342303144727903296537206172632130780/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^2 - 62348514083688526533229692268725669875391595840176628337252664124842834079128175569259444232899231069889638885161191521941912313185294642495682259339837267079157173506825298166237054878903021983620464152497521800248163829559832/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y + 56748560921487823061543877136313547517279160322160965858407254502368025309169694634892918736322049367736737441785852642561541795999519300197681305482978505150579078322962340897686397686374601436725985063824061402621580698652670/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403

109148709238890500486596917772516201923486271585144727913430453111961951873096916476466490201578308357111927816167369967583913573635990896513699832806082680405582933348700433814573587548677491348502565272716393860984843203/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^34 - 453307941781825202200451982019295665519075535066391353147656922359221213834237799258252132548614207115440516977421993975753901817240571946436204443414271014899519677285665740426728008667487825550309464275482566019970954749/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^33 - 161834419628805504204576841274409730281212813326513929975508631879429584117703285005849913647575187595581349029783099290425509257144272964125060384065518665411419094333964454279262736347837493904008856260885722970888129367/483965462667420022253765925358512931038517655880126313303263542678328776695000067618386642855682335089092054453315458797699119228926827574445302018888353155952692234949945932548958956646564992644870206231693841883277207115629*y^32 - 26998102858940215712790128995501493927495042118310193027564959867216752960191453620480569922738950250941984043922938404529753209004829117253043103662418879331103676118686436124545473397768317045545985677193275482827842786994/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^31 + 873783049596178849580589835092786983829875456834111534861174879627674176460548463944399655954506111283136606236728906155965755116696788742924754058240763729388306182021635347307195377319144507168934348468800068831025683326/483965462667420022253765925358512931038517655880126313303263542678328776695000067618386642855682335089092054453315458797699119228926827574445302018888353155952692234949945932548958956646564992644870206231693841883277207115629*y^30 + 12345623393636227049253062952372839789368987621754727200578295816498613685554961945288453930419541376514102378881633283086090811007569947989315662465619589210882735973338542356225530758187952854918223151984167373588426757234/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^29 - 755240074426310605840747355200826601859900703117710414084775183852074103050364632294400760750657719582954125045534750319815249936252469321418389760871141410980333061002598082822124033189688785094755226843247984164630209703995/483965462667420022253765925358512931038517655880126313303263542678328776695000067618386642855682335089092054453315458797699119228926827574445302018888353155952692234949945932548958956646564992644870206231693841883277207115629*y^28 - 13145560628322849109669206583397560631887439791075775469795937686598556193301880965595093599845895093123689184872924048645625636836184342603554172646213352622424684373363804899428347036867109154346900459794974763534194033769782/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^27 - 102600903344874930630787925882569029658171028486809082180856338605256856205324921537010338023647064013286103913835816230244236958534093363893815746830778418196967255778300327534626427282253146616057008375080073606998759311756909/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^26 - 523291419234478563072837275846271866081878710696567660538805724766442973888299288214397192222608231564084834165231679059280747323734829168854421963123783762698857322155761536909338199908354226470147493016611770364672143341630596/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^25 - 2272587761043079183914480907111808636357950733718317300204125258628873639651822781663258483024510930179516752198867238145494011540474557508017007502596970255094319526191898268395838438866308398057612320177417546289760080971851634/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^24 - 11031259073193200968938793104481172624309802389542619742103815667898176787148974841019962945878974667945677362831907628755291965113858691556244797961175082455116788433346761434481868195785726695268120545544655923721654225057357810/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^23 - 31565800276019869245046979322812860881454852595334102070456406841371080945900613359779213813332940986805692035062755650059387633095553636266659566034692495591919150095904933908291495533100749740214333168248535235698587328039444407/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^22 - 110226158756080828427917928559231112299771542791397746470753857930543067547312860957984343304070198729633353696853683681376127459914262335158144102221581463461586348326051879410116042256966225088090628112468546356547382738608167946/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^21 - 37360318334836190240296022312434642188855781969086518875191079725996311312527160049093147955867485524997655113604541384363906967309304025621588552563178767504996943878814224556101900530249771172842296127704450505090802824009386950/483965462667420022253765925358512931038517655880126313303263542678328776695000067618386642855682335089092054453315458797699119228926827574445302018888353155952692234949945932548958956646564992644870206231693841883277207115629*y^20 - 232810739399138285507631177024833505645151707982376188081997068654424083687485493435569966485014772184160904484682337197590967831284851165008964711081797193891261358787900324052333049434639640954242661697261750604325042076352626579/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^19 + 320422588845904359733137029315936704797818492177526159922421036279064844760171354497343568958313066634072518232744309261719512286995666526210610718965853348841465786398257255426949831556381178266302967453643621071675432549205090631/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^18 + 2167983914980953978108768760785232594683942045661667618725977155469473853098486405079613534891634571967280808243046286143640196819066536678023301850399922741500212757193768952619273811395381227679786891311407192076277292568284975294/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^17 + 3814936498981694080675850587248959113553320235972898775014941325253271816188001274669132943307382200347249876491392329277880072373194848127981868236790612058047873483254878205916827976862099698845243830319345232077725713980638167390/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^16 - 360130529660872586400853712636867454995309209377338755172005278388172163053702045028115820884337353038011858883511452637644089677955135723064869541017851285159502040594987516518760338032830528980558015000870000914259486725873841204/483965462667420022253765925358512931038517655880126313303263542678328776695000067618386642855682335089092054453315458797699119228926827574445302018888353155952692234949945932548958956646564992644870206231693841883277207115629*y^15 - 9344982549187917205072022887521833917182268415187894959417993795860676769051335802728973236010279226069857294975161086685237790171729317160601383467093719778496781486482953851042897535481149720877131262098653503059793147027077377155/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^14 + 632173878145861904598223738224942936426218446430517522982970839494509496569171404492750472523774956116666936113984362804369691986099664871439522094562521686086121625781259059871890318923531811489173177822452990833706536794078480700/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^13 + 7162662843634043342262091550936893214080444907749105560246673633340511795219585821864055055052079673084852701908039833453004373393335142594876288305852490791173754642608725939498936817151294867973250193719203169500711555280652731190/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^12 - 297008939325191906011769845101792729725035442523781898311292990897878736601428862304168339572777111654233197897236723393808447457009091020734047728113333595510436869367227551250950457581549970193747343134542674665296189794365516248/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^11 - 1530230427322816873578509962826354140399356233500910995034406737809090335055090548218331403438924960395134142416490796727432053592419763563270047351937815306100088165514496800867282102993269176889893691541266726572930537452478136748/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^10 + 61940361937233422004746286941828385809901091428954633130151182988596271161147515520199336882130220405539646658156510090484754444000825802112244211459668506940997984646377906743276756895493424697703851094002076739420629729831076526/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^9 - 195950763453389607086180829397186920616718048911174443220538069418923337377484025245791831601787237434327945475823259314375172168913815655135764564952767834185161397533250573542110290571155667989254367168286106066371215206420607578/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^8 + 77327510610367113701216703769875880059950733713186915343517423328230111785964068801024355935704725365837082048380644003227943268925770556088660871064166972535649571628035494726799332884472217565071092770038286363345394424439645072/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^7 + 62286192954311937386007925240282764020664295445347547902418509915417948449396509603442878352256903648347610140769062346105507209789361475370136009343090037995955490959294714695489232720544366501314284399741613115802883386423713439/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^6 - 18940649851436419854487998943291629150186512505647572956371275997417039734109507907015197460546242730056385811215813092855242254943066795543179253256061258303298171339462183636829948762083987109712647727513164791936604760235332064/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^5 + 119462429327532002877069706619497421635058582821376652005457254271857815882212337109952466487996330772009434595437448090641540047265353189647297338768941637054898838476257679977593397937725072337779153465478986479772278735950434/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^4 + 1083372829427392203403874835753494679439204572775086902399641551137926416355150635920714247813384978489405504790946554933035982244024851884989751848652873029244106861272224847296976195724503417796084615846330702870606795244470193/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^3 - 479551030273026214719393395484416182852704347676330893329671917488248340188206204093795677934373586547612312544390361023722479995928174114214219984427390147546623399376896509685385518933159207744274224449719081820346112330555594/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^2 + 4155718623172334044148657794621980438644583909109482838002630816635995512141071936499882378766653018782074857156931633989233605750511271027852950291162527774650109963484951372482508889075847191446620180528725138491193493272477/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y + 9501338090202270241497451276089919996592092465374229467353559311922078532213738802910377440741400935868676560112281514122954522842285256689306698302509173193275058800801488773928069704458354224731759489365036045703887118037005/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403

-1231028981864504286413717977385739288341100974836819529236897251280386072780753696207909438014500589216989776647587819449747063405219612683638876728270146919016574609522878274090770127678149478069509013533644366808756487/69137923238202860321966560765501847291216807982875187614751934668332682385000009659769520407954619298441722064759351256814159889846689653492186002698336165136098890707135133221279850949509284663552886604527691697611029587947*y^34 + 37515459926577691117277530398240992240317738905256811721161634330121035076173709315815059566176186191027551801866354169856541885747434281752929010858628675252156355877636981447787988172534006136910182178126489299618616767/483965462667420022253765925358512931038517655880126313303263542678328776695000067618386642855682335089092054453315458797699119228926827574445302018888353155952692234949945932548958956646564992644870206231693841883277207115629*y^33 + 83011226863782861076245866340232848067582725045856821035926582227216112055074612505740172167012950662752669187565975593178403693465774583602953592973209035775277575827107225067074095915699141713693550151002843047514349144/483965462667420022253765925358512931038517655880126313303263542678328776695000067618386642855682335089092054453315458797699119228926827574445302018888353155952692234949945932548958956646564992644870206231693841883277207115629*y^32 + 2110766802910005611255712313122964827622407115161585133671374005175082537386220760246489813911059439028421878310203674304797999540930480314141780516156828323624585237821145698589954695295878646284827018119076412263720655855/483965462667420022253765925358512931038517655880126313303263542678328776695000067618386642855682335089092054453315458797699119228926827574445302018888353155952692234949945932548958956646564992644870206231693841883277207115629*y^31 - 919078968414198529506138280645686212387364619737860153338203636476089999204544495834498038936254082932175527040314123046694355092450948409136286024118551044527954678652518475431554645163863688908589459567446866454423829793/483965462667420022253765925358512931038517655880126313303263542678328776695000067618386642855682335089092054453315458797699119228926827574445302018888353155952692234949945932548958956646564992644870206231693841883277207115629*y^30 - 1066506162454125659397814700498187672039344092129430370894687468932927035139417532778218945565541352332426122032685169915612429679834684776376546131945622943801101436397648225458304595748188282711487410425431994357946207398/483965462667420022253765925358512931038517655880126313303263542678328776695000067618386642855682335089092054453315458797699119228926827574445302018888353155952692234949945932548958956646564992644870206231693841883277207115629*y^29 + 59648052446789205519474294427703861708452618868144912489069555295792242255669667244405991123789558884868833412062167722555549233389173589903221623585424671263823964086222553876321260080142267090039001948179345990883839794415/69137923238202860321966560765501847291216807982875187614751934668332682385000009659769520407954619298441722064759351256814159889846689653492186002698336165136098890707135133221279850949509284663552886604527691697611029587947*y^28 + 136321469446380185812008922100249762391651832174765207817394466566807455954312089617082165177741444186725434538929795052266832209981543560492693100142489603038502000114382522359081361669428777408880068646015473329731736558188/69137923238202860321966560765501847291216807982875187614751934668332682385000009659769520407954619298441722064759351256814159889846689653492186002698336165136098890707135133221279850949509284663552886604527691697611029587947*y^27 + 7856074949596573573343682968908330851799890394822281978525972283091152582255956031272721675393714494091389885171426024776614328041499822114999661896898343543741241052099219598487045003152501183435298172685988684666193622835288/483965462667420022253765925358512931038517655880126313303263542678328776695000067618386642855682335089092054453315458797699119228926827574445302018888353155952692234949945932548958956646564992644870206231693841883277207115629*y^26 + 39584444736200235067929438353438969940576538728520943877009296673809544608017094991938627446607704794650305423372599041165589231800702751898350511415291090400224284165807673914773032239584754941029168768342930711388929764163425/483965462667420022253765925358512931038517655880126313303263542678328776695000067618386642855682335089092054453315458797699119228926827574445302018888353155952692234949945932548958956646564992644870206231693841883277207115629*y^25 + 170392156391610463202887410934473450437481773909284526782040161151981895122928273153731890577463766878797261399394816493365991517284901624154756758850048442022129898364323500088110241184448645529753563088592933280819237220633770/483965462667420022253765925358512931038517655880126313303263542678328776695000067618386642855682335089092054453315458797699119228926827574445302018888353155952692234949945932548958956646564992644870206231693841883277207115629*y^24 + 831050038461473617149508414632695309554768911925208805576689775027448496673356036406793575229798837361896009144537562148315652383632574842807864229479977173569541399245729495428202804530736142171058239697054689957367640768995149/483965462667420022253765925358512931038517655880126313303263542678328776695000067618386642855682335089092054453315458797699119228926827574445302018888353155952692234949945932548958956646564992644870206231693841883277207115629*y^23 + 2300339003315055982992514583329670717640871310915522377215635090789448338360010769146119364714359367481216225280359513043710623155281373831540146002815882384476903567119329940097067347551587092957750855588961041926256406198045453/483965462667420022253765925358512931038517655880126313303263542678328776695000067618386642855682335089092054453315458797699119228926827574445302018888353155952692234949945932548958956646564992644870206231693841883277207115629*y^22 + 8120039059392490085014053458295085682763265289969799854991285272315325744253090737885130517949555093045072397409176309214361010178488079483489357884950154915792034913196641887635381826355258873321656126706591499893591041881391509/483965462667420022253765925358512931038517655880126313303263542678328776695000067618386642855682335089092054453315458797699119228926827574445302018888353155952692234949945932548958956646564992644870206231693841883277207115629*y^21 + 18651952148531993288018734114522389467721489630033280525330864459543254009695369959264969712457861522826744601815949772372171328442502740438932341305568681169896953101708032061079081794724597231004461207285237044740222783888689407/483965462667420022253765925358512931038517655880126313303263542678328776695000067618386642855682335089092054453315458797699119228926827574445302018888353155952692234949945932548958956646564992644870206231693841883277207115629*y^20 + 13383153561490643638309874751990683971355405929144600554117164022534920636570221033402929625276898129928750725422626289335922726806117063547366592341851009849688040546619560103463711034084833988991593827199176702826509812579842248/483965462667420022253765925358512931038517655880126313303263542678328776695000067618386642855682335089092054453315458797699119228926827574445302018888353155952692234949945932548958956646564992644870206231693841883277207115629*y^19 - 31128854805266942724762213053844852846383351698932709627169685240359047835145624989506646198273216253537760143665931815465339518646560968885275533521012328218804183072613141102873694749265104373682711520398851281543390762888496799/483965462667420022253765925358512931038517655880126313303263542678328776695000067618386642855682335089092054453315458797699119228926827574445302018888353155952692234949945932548958956646564992644870206231693841883277207115629*y^18 - 168568898804405167358653080647303867008445843496842126125499378214321495770380046814316368622078272354756817140303343331732173297450069763302425447576820790287751489935999202230384610052379551841773085687972810961222435671948716412/483965462667420022253765925358512931038517655880126313303263542678328776695000067618386642855682335089092054453315458797699119228926827574445302018888353155952692234949945932548958956646564992644870206231693841883277207115629*y^17 - 5421702522352946543184456107259984019654072423203809218336558090281143846135324398840377235973623931789654616931480191030256066827576014026108604182925663391899142693748064287531681960920891988994373192448388027443475052633580544/9876846176886122903138080109357406755888115426125026802107419238333240340714287094252788629707802756920246009251335893830594269978098521927455143242619452162299841529590733317325692992787040666221840943503955956801575655421*y^16 + 274850358260691930742596119921688008550665449545544466377971955762148878432938766059683324446213954905676481715197248646902764406718383758817811539364026507106929816490655799005555043275019428726553386093117517430824946098921005096/483965462667420022253765925358512931038517655880126313303263542678328776695000067618386642855682335089092054453315458797699119228926827574445302018888353155952692234949945932548958956646564992644870206231693841883277207115629*y^15 + 730559815468981740335257291576384601911897895472117383945471868112176694684827480800714486343248286207914492107056970705825795186181782568680700892455851426463142207014129871470895279756196882760088813753635814175470910151391131322/483965462667420022253765925358512931038517655880126313303263542678328776695000067618386642855682335089092054453315458797699119228926827574445302018888353155952692234949945932548958956646564992644870206231693841883277207115629*y^14 - 28812173137853059566365545046904939191725965678265087736748653985238037335732004622418408145471440161747583026322238468025916706263728816654699383407642083019953327833848631850344035439837439751975027775151130049347916802143286965/69137923238202860321966560765501847291216807982875187614751934668332682385000009659769520407954619298441722064759351256814159889846689653492186002698336165136098890707135133221279850949509284663552886604527691697611029587947*y^13 - 622364122799616185222813862502513346905908322817394936026533425696051856863931209612210781276579167516428701218351064984553329028733184398564537179709346206488166545370234662036778054538027603856571319765156365734207054401565415383/483965462667420022253765925358512931038517655880126313303263542678328776695000067618386642855682335089092054453315458797699119228926827574445302018888353155952692234949945932548958956646564992644870206231693841883277207115629*y^12 + 112674324587077419739182575518805614850536918949280869118873062991649432193103932567053918651695608983302560727608751161438104723860445763941099028140611215167579676651805935759964464255232247819554523569843526850387784644902867466/483965462667420022253765925358512931038517655880126313303263542678328776695000067618386642855682335089092054453315458797699119228926827574445302018888353155952692234949945932548958956646564992644870206231693841883277207115629*y^11 + 3213412851045422091688228805299413496327690294985629113441379144409453755409776856753754056488606135521827355613932793152874228584583951199308405527876238683970946615687059936804816596812195553536651692953427403918437271431002924/9876846176886122903138080109357406755888115426125026802107419238333240340714287094252788629707802756920246009251335893830594269978098521927455143242619452162299841529590733317325692992787040666221840943503955956801575655421*y^10 - 12413253636625522969151921834763192357500862164018571106497404403976306476973867958830707255633705719863556554547997434096968252495696207624431101641500408134450135771753360616267129260420745641695629375591034003062764853220035773/483965462667420022253765925358512931038517655880126313303263542678328776695000067618386642855682335089092054453315458797699119228926827574445302018888353155952692234949945932548958956646564992644870206231693841883277207115629*y^9 + 11314756658401174381999770286748277356420236741193672745756283450873714136465461157463659083919340943731862446314349175126275681277418962479068974450373637986209821973602434421000412281604726737429092766493063677999181907197230252/483965462667420022253765925358512931038517655880126313303263542678328776695000067618386642855682335089092054453315458797699119228926827574445302018888353155952692234949945932548958956646564992644870206231693841883277207115629*y^8 - 11747407526473407271320871986105741494397878252021318657350192412530949677744999032781096538221233045509964940165173923573282814389787353012590333228869389442307697044615294096621145014857425718539109725904027485216267214454616075/483965462667420022253765925358512931038517655880126313303263542678328776695000067618386642855682335089092054453315458797699119228926827574445302018888353155952692234949945932548958956646564992644870206231693841883277207115629*y^7 - 5743387047886315733235552618536779158073126906209771890551334834078894083342466064859101848344612589829707073413334197526840663848198154414089731824518751703615518960237280199533901746328864481739261964028054160083467326482896654/483965462667420022253765925358512931038517655880126313303263542678328776695000067618386642855682335089092054453315458797699119228926827574445302018888353155952692234949945932548958956646564992644870206231693841883277207115629*y^6 + 2223495215031504845622620854727916362006574466468095180924816093629218313873419859340794739915953015287325784456967999912480189062337630213747965594523054572757357496689335761112534026400789415469380935542297630549781628233176515/483965462667420022253765925358512931038517655880126313303263542678328776695000067618386642855682335089092054453315458797699119228926827574445302018888353155952692234949945932548958956646564992644870206231693841883277207115629*y^5 + 67753407599038095707903348822194283946990649195328417816819190609895665857717784404486567927026975056773666657894631741013667725436657860169514233042963687975269043960671294432808091484547793818631104278020922094299373731797662/483965462667420022253765925358512931038517655880126313303263542678328776695000067618386642855682335089092054453315458797699119228926827574445302018888353155952692234949945932548958956646564992644870206231693841883277207115629*y^4 - 33144945223626462655902616514533890039605364831576137760928070138675232100036563432155501439449465928106173578300490959226121448854942509788040445863923345770548812276546111256765354013188703423126553500290618168497263363632610/483965462667420022253765925358512931038517655880126313303263542678328776695000067618386642855682335089092054453315458797699119228926827574445302018888353155952692234949945932548958956646564992644870206231693841883277207115629*y^3 + 55892397948137819337358651829091965211643391257212805801908074952169323956134986250426718250565465303541408659407210233816283278574684674343670815323520890745619357423626416858960407976960428740034353211261308442461216917760953/483965462667420022253765925358512931038517655880126313303263542678328776695000067618386642855682335089092054453315458797699119228926827574445302018888353155952692234949945932548958956646564992644870206231693841883277207115629*y^2 - 2551412547291763731698780931373635580011687829640719923567583275962906789496574995377263228257881105743026537060326980554936443328482313710630367922011170708268846187905975345666990707115711340767823793225998141862026364209281/483965462667420022253765925358512931038517655880126313303263542678328776695000067618386642855682335089092054453315458797699119228926827574445302018888353155952692234949945932548958956646564992644870206231693841883277207115629*y - 280659781821358539016465232397834820093490218455839424180685470673972514633324326163126606057731400950339701565293118901828292095148405006577229246420051739212603440717697024889389337924098258123158331504111237150983264469926/483965462667420022253765925358512931038517655880126313303263542678328776695000067618386642855682335089092054453315458797699119228926827574445302018888353155952692234949945932548958956646564992644870206231693841883277207115629

46103557854441670466760991360903130313143307629843990464321671283031825582130051258500033367168448625742999492432426629555746385540764020003435048259728624542000945507638414079631237948728859428493307175468395056516680716/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^34 - 181136350042030510617860745361284430663872045438116124887897398918896078709985345366458842308947392991008350905218559441177877308554742882869341256756105650316383986977244563930348288322178526130124391975745750242738321419/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^33 - 73993738150316587620036122866100273078254432947969808171598373293981606961595484759258177428187053309019236066864106719214250528475754146509479920608004431970314339238282107458292564259435535753704563605198577131932991711/483965462667420022253765925358512931038517655880126313303263542678328776695000067618386642855682335089092054453315458797699119228926827574445302018888353155952692234949945932548958956646564992644870206231693841883277207115629*y^32 - 11524242228375354674557745132979881792891236003468555591026225924079941975056514095601320959926756204823170902028212874317488779607154965188601258282208369959265785205131851248306417469228434647630342839336459137423063546105/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^31 - 293916236656896226471039163890094801765473937873155313590794493522286955403899179459888726619431277723535030820071387910603300741879649353993851772222486520638073787533212047308572598618378330579461600669607359605962285/69137923238202860321966560765501847291216807982875187614751934668332682385000009659769520407954619298441722064759351256814159889846689653492186002698336165136098890707135133221279850949509284663552886604527691697611029587947*y^30 + 4918270028966041384556962717782188854696338561274130165481869900562206621064229887386893737479746110848369164595375683807683359227566227117315009958631958276596068070996060068234871318986022035257003715133246422131029735592/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^29 - 318858721255861110084442214315329365398981623058031739608430709646255807574002328234714381721889306827498465459695493535639445570568233619168063168618435871469927271085169997490872367660411383889453418423459529426231231853313/483965462667420022253765925358512931038517655880126313303263542678328776695000067618386642855682335089092054453315458797699119228926827574445302018888353155952692234949945932548958956646564992644870206231693841883277207115629*y^28 - 6052926108253292840425221403458479325038032550271745523455812271682994945013938716498892124551138881191228392808452874132987490609453849572589108708440506638859736473913037182263808020564425445493122201773103530077864451400763/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^27 - 44751199710501096258489603743248663556275001135874962895698854503040916237126461123580602029051728471284428269070103418974507854201689093094040610621231647210298908701778615885047243599845414325630924804031362147573688431055730/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^26 - 231232628226872796435051496080894715680929590612506970035242558044429415377040394369458532989759257835903483566106859473879465767470674250202354068364156931275652800723127234348837935876974232046970141305321753000899574397735668/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^25 - 1012930916099452394595918483330425092862240221293461175613296798201432392818801094400465065872574286086564306593533990757682042379096988321099753113377589824758534126582500944857465383026305095449166760222529435459514187127514653/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^24 - 4892700540958698735072948649412998151919742756548108206511084969666103157069893084190013879927465140458520111874690657311562138209823065595214168083832113270106235919127377520073127383340846446454567503910917382937152464816950889/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^23 - 14456950669012985967009741083915215975553584345610276525215366247095368112651908102683270366544003896890189752411863391526071954935035275816652269063654158632245270564469695964692447686990036487234945723290371041481301398418544510/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^22 - 49928911515442512859476806774655160314788270911760818369781581035167783375329591753959173064819580528243232985226448565638775913819820745289816728288506490828882319829806005897975084585633355738482711916153239210393815975057363238/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^21 - 17435780115236001117397583961794190183691237255602065175851547067028286483337584568049114405390104362103053112716720599530382179358848789320300110003687984600157237457263855500480664548197976540686704088950941044073380270701775603/483965462667420022253765925358512931038517655880126313303263542678328776695000067618386642855682335089092054453315458797699119228926827574445302018888353155952692234949945932548958956646564992644870206231693841883277207115629*y^20 - 127039695889183231134318315020767720272149416871178658270627303461419711704828113784090145411154478481575938702645810382166296827848455262904501531176284351741326188530664221864310751377467825033530686496367029814758164922207221848/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^19 + 103516624200978775046894091915816245289343293147190794721846942643009594261927599527366914318294644562688158427410072042772075835217118763577651229548978713147963626629689681983097212302034205772381921295524365847858040255210275515/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^18 + 935089329937637665391664172401363546292426637191987738867235629022222161110268975696863619764884938486861626066202360130336389963700813135580397830361300467026972696522663552886620619396362729584052724951302832344039515490355746789/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^17 + 1822978967927652905377995673519773077885204149775064121478372481334325715538473023358357446975998538861520000131671225638825815932405132995046283124563239238800628947730714956127267035001938486718956291559163158896616502027224594136/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^16 - 90275208098183990932300249915918738617464831710513700842716507819346221257360187381412535155396061579836891684954743583320888326645690012622301317566879166653311331582683934349278176263380694184838753462398615468223849939954659812/483965462667420022253765925358512931038517655880126313303263542678328776695000067618386642855682335089092054453315458797699119228926827574445302018888353155952692234949945932548958956646564992644870206231693841883277207115629*y^15 - 4037910409704745963518336806885605851532328724937861003027656797050472365217356404359711334096280943409597581687345337784826986414422377174018863213327551967286086025652383544505394032769148067704126149230096269521520065101592347567/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^14 - 644226644015101133190626622474639117242569852312260427380064187456500397415068471214801295296539908302245115823831345139968061536064738401368196801937478328695441920397106527610227940222046277861316513233980284991716620475311568555/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^13 + 2776117684869256841989344144996114369061334221941230345506283678857533737286799588483155215532162499040638051537915365000256513475729568546807526528637281194774669198131810087514556071340094464423775704823633986461772696775985672259/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^12 + 457644935785427630598304594437038408611838398326009638664864801720339036562714840102444125156245125031807302407027750240787341404024634443898009731923276270886210148183010676837009314777625127541355297556369442432274292964769511828/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^11 - 478662801432372490893276073997819103670752064649534345691350103598805395130169638837594240812148634943700830237337306515405303120833648751741868622454380547615192586435720535441765914540407770301103915861396436016712686487157167831/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^10 - 52290309822414134323135897062145585539245551941725806232313550957835321407607185438089872887026883956004179635913468465747700368523790590979398450415399613958879102126504719785621176077949443067152934774225079828568311641412532660/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^9 - 102629819340738767291083606855955645337254622132482360712883686816992140002562100428131233332292202807942680303625402939942731900694850848467072361304206905704589322062503523395747168833034946128249884064776341532752022217228585359/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^8 + 4312354593048765892767563904935969236558691245557302363658582770631310865789695533381367767961019213196756482007770007335228280633283761997644640596518299305142606913969505609669957407188681436088019850971535942823068314810007340/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^7 + 24248771326498305385903744572651085311006931905008610999110088382616308131607998596042165777147685533815564639053962654199220138347496833800680390629801277250144727371162062042191565152014587810693888489550643683501221828566045767/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^6 - 2871730796290439726958667573204538983119635873527079746582382136379076306883326036730546782961454231552997331400017488784638665257101379211299545986581579639945318908477541963586963737447542912704248055376420894936077371147140286/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^5 - 11579318555433886222851808595789671167189000628579955589575715509582265362847530733540159772435221056546288732917063783280566685761046132205336194988756478400941148916845587105647914231678574902172084977612527284294972796828496/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^4 + 550201586940709388179159496423894263287436708492195364255475989858318167371639527774836052437988986729562200634616921487716624765884782434303577880704947435224290846145346654947413986506504507587180836078930096601681224319867588/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^3 - 84195372799465627156090228735837733376036417446062850227731766642392752270750949885768913655327285655501235989238510292567904883484429530999302574971629755681275664426372535620787611310202814208193382688048688849953711508727097/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^2 - 10302414862783814202031934832319596712305463061730168512493715410631490613698591488339880265549950628723142164905446804294289580423133118565913957785769792322739504267035063118781782365850360552701647290487272836592717396141421/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y + 3460309226995378956457774596587930649819436010889698088432160863095753588951606311712480835052915434026758662002518086033501245126669397698797202432267384834110202384928274284631322411754840335980492845481214755009329640819327/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403

-29377390504516399142653310902531362267448259134226592508157373465146739039420155378516763778608190130966996563151180946998276712925927323969779389312500027090764149360522575576300181831105704400610887215498233533127374868/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^34 + 116415499905717154708115016220100525670429122558200806742066899286209982945897547883551739521243955456050834352717968182778115448405607387605822713401949917064333082620050105722517454780528839850559161914706937184457633426/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^33 + 46701825751877573431904159105886118385717191482035875457720839756149363185409129725005629288948280651428766234044957845382445719314594868453112043356353923202451020364700554480345125208992547928595215045852586338342901594/483965462667420022253765925358512931038517655880126313303263542678328776695000067618386642855682335089092054453315458797699119228926827574445302018888353155952692234949945932548958956646564992644870206231693841883277207115629*y^32 + 7329315243879351927929162706365096050731372410108745768432783740631408166736856159115131264447846525715502826596125258458720474766964467018034865691805975352367986478534751034656438405346251217149977818146894058507526114067/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^31 - 35589980277822048606576202920902207182450749593580190551665997853810236689892828738042675645271718498546755997735591624963506222999872893133466350758066992356929711543596004839113383770691893740718744863238432508355110901/483965462667420022253765925358512931038517655880126313303263542678328776695000067618386642855682335089092054453315458797699119228926827574445302018888353155952692234949945932548958956646564992644870206231693841883277207115629*y^30 - 3331064037585716538135731478423739116493006006852435822684451614522710767981618359151358734698636693193935916489729645609507893738185424642034074064624559275239031121733923674975957218359365962801679660078207540101941262369/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^29 + 203184667198576611497003300838748786481496114585378183821318865169197222543596491591697756441075874416442931602367521207789220119136032657577814424492610632060943993495358499898134850122754543217000684611078451636014232305523/483965462667420022253765925358512931038517655880126313303263542678328776695000067618386642855682335089092054453315458797699119228926827574445302018888353155952692234949945932548958956646564992644870206231693841883277207115629*y^28 + 3808884221859808998603303500565563622233529176944464727455868406453269391344638616419289270833021790683822997544027141318815477889806462998300280835982769317056139659714453151945242288113712796432138269828617876668269600461432/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^27 + 28347509848426157792593485908770691562520307459704679755792647783599939957456392891406214374359402111480807757854582736465782691117687102732751102077163881420491406844331599296430670159656315149651596062022686190589705351026866/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^26 + 146263309079035800336977110838521758817017212154822026659198422518092185307428336178657620444242069708418597180697122327614796497077843253001940577269849133529592823578569548276164786037465809625032345440989264295016189982718954/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^25 + 639670388366587885452292006252676683853868981572460134473467083166244840125934294590238206703752192647082080476639728975874320507890914803775866927620191996211739228270766778717644822709803269645748819012628847016429042504710378/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^24 + 3091669194248526000037893004745447457997672205333220209415720120778019084208188369835864790759339771338485069722632173580740540875600166150264929277647567231224763515800205414081314610971670918284603069891375821995812031049855270/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^23 + 9088212427296935995363529525392284783706082602800018397469301725677989331121111394242444952854254888913755388775244880534316581223830004589748133879563586402059173224556923446872041546742989738128804959477993036537412616942088210/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^22 + 31415351612383306339012435002876592777838956667520683445610276651069568574133296422679867807721429701335710544132893587885886565271422456114126016686787657479726700850746937812948186196205754718181999306996622828209773508621970471/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^21 + 10917851529423149469304728287552973263867938921262371192307077470185623535225456778327912513984705760839908250511641925115772861123650336149637678949543579345047325312759892459472888893611785528237937196152783229454420232146432707/483965462667420022253765925358512931038517655880126313303263542678328776695000067618386642855682335089092054453315458797699119228926827574445302018888353155952692234949945932548958956646564992644870206231693841883277207115629*y^20 + 77401403584995635611262936257617915963872765266222490676371784683040627898743406193284452043241506278914083370857174335124372756148383311763266189163417051346073382243680082929198607800313996716749156405280830928760047095271699301/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^19 - 71016322161157633968028979486103702246757504026446923305729705276972151061507774853245924490323454436162560968798386129569767074695507498861512481036706827283882037713251739894569504836133738090956147054187587987028940505957301056/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^18 - 596377773702607436771883870833704426165069710253178948395747993674336026457354199305521323090808901626277404947342843174261357999657592362275012901579632255950160160442988137847228650675578733617954982290520276608839956595780169414/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^17 - 1140324839140102495966223042932250386280674482764074468895858904808011734887302378077113574633872951438906549037459091158720460715698496731287381577917308184594041866410545304978182839315349973130057610906925976841028986782856531059/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^16 + 65477571811733238276191263694840409220388860828655636299332555157058698863739011896844398214181580092869444966366248183032730992988051349129123506390080215152858613657953759484313717109014863772876789186392694489577745316172616421/483965462667420022253765925358512931038517655880126313303263542678328776695000067618386642855682335089092054453315458797699119228926827574445302018888353155952692234949945932548958956646564992644870206231693841883277207115629*y^15 + 2594975498979918161272462070541560545670716869601616403125832347391636867443060599408979686467514092429221348821249842269214179186837232589814943346069075720616777229977098188115080080292847371042620379388505862646340948225174423988/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^14 + 322119786754589784071846534253503698123668646853993880397560814533765272329810796241960536113030222782636541728194386768650409085983695995571068476151949631711913024150231623213667705838335795089017850459674085559554745802061215716/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^13 - 1854769800893191304155022053084416953695524892013822476843924181103100777357219668671284240657530317187426131838118297542664112679501558639755161989247783915093588066082655690015383286040678750573354043112820870285957162638833239943/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^12 - 264065030625020482196616443990950697659546554160817679681077795083425437752826302903728336376135229915327819192927311222921384734845464515144161240013581132789257646469392403661821240462043893384402774758306996307985567655942427717/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^11 + 359112504648553279393007842403806627729931409017183370233077621511375394949215893566333455392474642957224140146037560334841612807429549024646184512595687775859844334375144359704755612839510684438063984603376055194214789336892445639/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^10 + 46239443280736459854609016928986801151546327920582019238441072211967307344697783655812523931923370046584024687927179865012450377442028075233891294306540436165889143854246704479554969580689583501801432941935466478130958014542207755/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^9 + 58485470897415834968756647419670753581306921971698343038800055917173633308438546853602901808731117303483974419822956944808594463542480615312169544553660795143745708447914653497483674626939391580885829064016206113178406382267451361/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^8 - 8984608212280816906894200332109724846952202350883183286675201802973962952803866559260160343940340314313129743456549163821609924284546523851973766940530950858110076904746719737395626590563576593087840619323293929986934250829919423/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^7 - 17662364164168170323513448367575048016611182168437247853524474020195942423388317494712273491864889786875858806610084982458089413315140150640693849701317212851482968586605949833921994478854610626216626584005211109741522816894343836/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^6 + 2010550153913964164889122446238406022680105775004425417928622120254559454539951331123388749459914624924972530463695249848936882110667336583708286582847255147184672366783238112374824802114351594759337229931429591704615801747879558/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^5 + 489635797094756372412742870429020234370139288447058453109213315481057218585537551799625806118474307490911680150902429700997717028808818875871351717812075787074193022907411063450930863239457626440530423183069040450338287946200024/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^4 - 257299416879173680969285845751462154891138813790418181813317018281279387078687437295900962250303916571311684574246427060336258600403052842030317617004197265040021154804548690575147020083914825563698680332539925190657959938514949/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^3 + 67017982096935848818654648562897952519471961456470197711119083823190690102125470832037447549765689409823557523288148968853250410677010873671015051277978107952962745712511878875858323447692689681384764895172953990534137091791311/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^2 + 3063344667975604272506240305779817198732881983704917729126050311071285531130006964846378033776927479738556945762836337725231463082782734339907852848014891905525710361156867344711280298347380910041526264673064688579284797049736/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y - 401223840660807591621089615069682214854132654692478789117865885041027927362141569754992707505593521737283289697673548571812627978589067078693915332273834088825408525895659087128388718188164229027407837367849145205644845223104/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403

-6238126666212375714546519092146946839480044668173221122284592357783822179269441464913704363552969157315414326315507902253027960688971700273839145996826886782217453100537182750298950847994630052914567812627559132981286898384608/31672151773343968516353203453237161745953710953763106321505476023497870133250889425150077068404419055235451319588323570097823459698658376954423900022110495585012037931829311663801520999821152813658240906420740094367310265268108647*y^34 + 25708477314033635697640982368022676524756765507809738799550920998529635153687462914910103414861189221610216700173393535756635724281589693523127603995604873973806393223962199683074551184132472138805217383792513676683529075341380/31672151773343968516353203453237161745953710953763106321505476023497870133250889425150077068404419055235451319588323570097823459698658376954423900022110495585012037931829311663801520999821152813658240906420740094367310265268108647*y^33 + 9366594358372550106015015754718918916665900468949249074572596729750794826093587112637261441275640921440490440875359277492738342610995854519507477677272931207326222279742775372517303314229630507128529153759920287467132325216588/4524593110477709788050457636176737392279101564823300903072210860499695733321555632164296724057774150747921617084046224299689065671236910993489128574587213655001719704547044523400217285688736116236891558060105727766758609324015521*y^32 + 1545108415094415405009937762280401678882644061884749508508015923924946143034282301908520185762548453973100980675526822457221133115191724752027744993821015254280987570293954194615269600293714895854863191007482185339081465061594340/31672151773343968516353203453237161745953710953763106321505476023497870133250889425150077068404419055235451319588323570097823459698658376954423900022110495585012037931829311663801520999821152813658240906420740094367310265268108647*y^31 - 42893013686581559727541208055844937706204944420881820638423954347862907900817258464910043476035802671489217600414123850682172377183807979047620884860491875846372179246776401822235956984890750815375586904280987537888623284594896/4524593110477709788050457636176737392279101564823300903072210860499695733321555632164296724057774150747921617084046224299689065671236910993489128574587213655001719704547044523400217285688736116236891558060105727766758609324015521*y^30 - 715333777200469167556240671892021282329925713171872952469881384872206323983217178268736467441551154314856011333884031832403134368317060477866739811240362567185344538351390161597309005121265181479948763579632107946724292066444262/31672151773343968516353203453237161745953710953763106321505476023497870133250889425150077068404419055235451319588323570097823459698658376954423900022110495585012037931829311663801520999821152813658240906420740094367310265268108647*y^29 + 43160428292315776553984576103289512278098857290248795581092614695262307972735697558214584734458162503853015348898707868586199574624452151593320928594859948336063068498554280494263928169876155435641044515607148107596156900612597892/4524593110477709788050457636176737392279101564823300903072210860499695733321555632164296724057774150747921617084046224299689065671236910993489128574587213655001719704547044523400217285688736116236891558060105727766758609324015521*y^28 + 760950743106967535177934504246176227976702860839056238939000310505115454122320564901996024134365743284620713556090850968593337250697231363131102430043737647537360617506218250465027768760058156010591929899201118279130984839057396294/31672151773343968516353203453237161745953710953763106321505476023497870133250889425150077068404419055235451319588323570097823459698658376954423900022110495585012037931829311663801520999821152813658240906420740094367310265268108647*y^27 + 5888187846409468909520415880658013323208712531968402384895752889744607331041067700411402147318352211677069979856268438362324223295000214925876753360707295398220430172865873026111006032484184467479779773746927257594855392848377912911/31672151773343968516353203453237161745953710953763106321505476023497870133250889425150077068404419055235451319588323570097823459698658376954423900022110495585012037931829311663801520999821152813658240906420740094367310265268108647*y^26 + 30095168941466227656968000091706998071258760541427552845701820521207235429081973957421359715944957934009148550878305514359654204569400792072752453273588605145690459052916713081332291045877133925122253498001158507391571387334233918196/31672151773343968516353203453237161745953710953763106321505476023497870133250889425150077068404419055235451319588323570097823459698658376954423900022110495585012037931829311663801520999821152813658240906420740094367310265268108647*y^25 + 130844154408315563198917860932577491995923742446482899733532620154187424306025970396488510466608287664475630472734646362498114954123192404754871165083334247282719145969790124828357788743480294165408813111434071358986634064050413004983/31672151773343968516353203453237161745953710953763106321505476023497870133250889425150077068404419055235451319588323570097823459698658376954423900022110495585012037931829311663801520999821152813658240906420740094367310265268108647*y^24 + 634635810470392349734747754677728248157951960417611065010379667967455575529676627427608258433339973973687316344278288753282017136103278646467419492223157689750863097969386702227223793841762419387313601400894115980551816304002331674346/31672151773343968516353203453237161745953710953763106321505476023497870133250889425150077068404419055235451319588323570097823459698658376954423900022110495585012037931829311663801520999821152813658240906420740094367310265268108647*y^23 + 1824296451636444874501722607807326682698128014994261633554861718333892596210944095105414984144052612055089877754034683032364430141685492616935770094576104919327282714263628920223619928589608501746699773349065883349379119988023476883854/31672151773343968516353203453237161745953710953763106321505476023497870133250889425150077068404419055235451319588323570097823459698658376954423900022110495585012037931829311663801520999821152813658240906420740094367310265268108647*y^22 + 6357797979769034594752865566565493296221842950587250784033148087615343926338544942292822823745932664640782184927769962529564015396642475620053925858901136095697411507794827833220173824332578701984728060544429870500533780338136144307485/31672151773343968516353203453237161745953710953763106321505476023497870133250889425150077068404419055235451319588323570097823459698658376954423900022110495585012037931829311663801520999821152813658240906420740094367310265268108647*y^21 + 2164137908310278271130739134179258198432991820468754007728258103018185331902837541213206556998499413920774886055440372239996476034515232008842397521601004859694777644870906692619105634619283899152748503827065400257418582857070914350551/4524593110477709788050457636176737392279101564823300903072210860499695733321555632164296724057774150747921617084046224299689065671236910993489128574587213655001719704547044523400217285688736116236891558060105727766758609324015521*y^20 + 13787212011854987577611089171578463551441246629039919106690432818670827981002233062693109478497266063880920467579860856312260886564216339844077970745325605792358110659774232454089612146068811041738987606607792884542865536136268092035747/31672151773343968516353203453237161745953710953763106321505476023497870133250889425150077068404419055235451319588323570097823459698658376954423900022110495585012037931829311663801520999821152813658240906420740094367310265268108647*y^19 - 17880198047798898672676827690615602776894298022537579870626270968593965846515237781544158417280623567428589144677344410836910808786354331741955783533946341554350331678856066261629566858430940000505299191784077719235311422552108792300738/31672151773343968516353203453237161745953710953763106321505476023497870133250889425150077068404419055235451319588323570097823459698658376954423900022110495585012037931829311663801520999821152813658240906420740094367310265268108647*y^18 - 124494476389130064665984400362078838526766170389055947974711459264726107286261810132236844809380188823801086969590085271132951495437794387246146286449492929963180079735323509346165913700378633160472772363406472718139938532779971586631351/31672151773343968516353203453237161745953710953763106321505476023497870133250889425150077068404419055235451319588323570097823459698658376954423900022110495585012037931829311663801520999821152813658240906420740094367310265268108647*y^17 - 222028537390713659128102765340056115577710742839718264365133320370313324025054617891598258847133840748888985006040780043676915350119900644219485439735089135805769206440311152031921106957884874088981475836628364647274914772419850459887131/31672151773343968516353203453237161745953710953763106321505476023497870133250889425150077068404419055235451319588323570097823459698658376954423900022110495585012037931829311663801520999821152813658240906420740094367310265268108647*y^16 + 19571405669119287373982180340066271999563519377086818404987460793323424110266475539029662238517050077369047190142176976730870473627696481370751656677548466282079145415616073774643169559601666989271456071865693117161392124644041927804856/4524593110477709788050457636176737392279101564823300903072210860499695733321555632164296724057774150747921617084046224299689065671236910993489128574587213655001719704547044523400217285688736116236891558060105727766758609324015521*y^15 + 538593149319963986739318372200678076660959955358886808482863507453250962675654016036001068189799712421108841596357838807635874101331464672183215549975760650410269644160568796045991374055235782520538356114295639040369191203257320062771860/31672151773343968516353203453237161745953710953763106321505476023497870133250889425150077068404419055235451319588323570097823459698658376954423900022110495585012037931829311663801520999821152813658240906420740094367310265268108647*y^14 - 18684237025056371153219056451705620186749054342864451515073115986100487027469504864782602431187600408940288758917724606513650676103187305834787029350053983800664490736604348879708293551335961001824400876305879009840313012509517432685707/31672151773343968516353203453237161745953710953763106321505476023497870133250889425150077068404419055235451319588323570097823459698658376954423900022110495585012037931829311663801520999821152813658240906420740094367310265268108647*y^13 - 410001354764750946275819652883080084389830409364461464177295279821016402148898009427500570624683516501609010968928105283065925748884737185449171551156898532674554122499762116710833112093146518438038394433759545181846120547660234920136217/31672151773343968516353203453237161745953710953763106321505476023497870133250889425150077068404419055235451319588323570097823459698658376954423900022110495585012037931829311663801520999821152813658240906420740094367310265268108647*y^12 + 3390359725506309650366805691127989118672608610828971251988808122128763045424835027549917302230861234377366395692411466893863632945585627094421902375553769198807694008415559228235723243605836291964668380976428714769747150749975068016265/31672151773343968516353203453237161745953710953763106321505476023497870133250889425150077068404419055235451319588323570097823459698658376954423900022110495585012037931829311663801520999821152813658240906420740094367310265268108647*y^11 + 87398717290406618894935774449418985869203853424729473438618358903914410192316447846036408109588104211669271050588673941753902185890889231692181867229071515360055016440130262009876236903765384683547353479948978442078885701534117829354912/31672151773343968516353203453237161745953710953763106321505476023497870133250889425150077068404419055235451319588323570097823459698658376954423900022110495585012037931829311663801520999821152813658240906420740094367310265268108647*y^10 - 449336373788552136638863034503057524417771080076865038194931196802887060924260721494729605144362479736872967554212902739048974196127833178834832214186127887716819467625562155995169828914561863337085331228439893006471575390400475312493/31672151773343968516353203453237161745953710953763106321505476023497870133250889425150077068404419055235451319588323570097823459698658376954423900022110495585012037931829311663801520999821152813658240906420740094367310265268108647*y^9 + 11279016997698303047977925763472552991626307292136762221660396422962186974949052198842465333332191116390992613310755372853193311228300652153801116182931418771089412277117286296893764601036230016664174772389765420726535595749588330413174/31672151773343968516353203453237161745953710953763106321505476023497870133250889425150077068404419055235451319588323570097823459698658376954423900022110495585012037931829311663801520999821152813658240906420740094367310265268108647*y^8 - 4116950874908792148858833624469194008125215211509744174116771289893967057599184369179157786127716188793442571191072948739257718250492088271620896890916353252308785233873868981534004844955537839983549667405181684394064064103137483941723/31672151773343968516353203453237161745953710953763106321505476023497870133250889425150077068404419055235451319588323570097823459698658376954423900022110495585012037931829311663801520999821152813658240906420740094367310265268108647*y^7 - 3703177512180343508792189989657872317914733870059536808905941004087617344854702139617492946619243275727172215470311042375329358749707627191269587326508057210783230007938031394605151428123001953322421440959846425564312971931638930976905/31672151773343968516353203453237161745953710953763106321505476023497870133250889425150077068404419055235451319588323570097823459698658376954423900022110495585012037931829311663801520999821152813658240906420740094367310265268108647*y^6 + 952053694919895759607965741868896455134131798998345472114354144587867360702611845593887036161354747095666365898981097313869951442348773577868782177184679413871536916561887093596578012491612431333504671902414635146069894613692691373773/31672151773343968516353203453237161745953710953763106321505476023497870133250889425150077068404419055235451319588323570097823459698658376954423900022110495585012037931829311663801520999821152813658240906420740094367310265268108647*y^5 + 24544840675049052016745197349186229124021953767226043572375994214565485404203103239216844639723882601388049000483157875199040742747584087267470693981382610190933109156391844449558034224812646708408006618883833847005746851326972971471/31672151773343968516353203453237161745953710953763106321505476023497870133250889425150077068404419055235451319588323570097823459698658376954423900022110495585012037931829311663801520999821152813658240906420740094367310265268108647*y^4 - 55917479833401245704609168742316361162058710822725055402867444460881665264929669729212984838677930827707140946278160304481295516716827446365831631414923381582505573711427324773142598581684118075409644445414416141848803298172783928336/31672151773343968516353203453237161745953710953763106321505476023497870133250889425150077068404419055235451319588323570097823459698658376954423900022110495585012037931829311663801520999821152813658240906420740094367310265268108647*y^3 + 25602067973498091346603556284504455009778135032433739735863854115463186323266416260399119499014819906582160654676079115977058327082978198333028272007992730792415512435091226415717423941213673322389713630448828450365823834913079681604/31672151773343968516353203453237161745953710953763106321505476023497870133250889425150077068404419055235451319588323570097823459698658376954423900022110495585012037931829311663801520999821152813658240906420740094367310265268108647*y^2 + 322235844065531793349271458285105268049611849220388006147405028162545055602150967407090788473563301400701636100944012707585040399134973803573152687381600071721722514802958335378425827707030589928732211599303445629937098583770174488/31672151773343968516353203453237161745953710953763106321505476023497870133250889425150077068404419055235451319588323570097823459698658376954423900022110495585012037931829311663801520999821152813658240906420740094367310265268108647*y - 663252206878568869347221243413324931217394017111208953708447075955785395798827811061749289508616965936207573530156066122304570072494384366436434607108615436720392245449229988326756364393057986957825006367851003348721598379276170154/31672151773343968516353203453237161745953710953763106321505476023497870133250889425150077068404419055235451319588323570097823459698658376954423900022110495585012037931829311663801520999821152813658240906420740094367310265268108647

-6563431536191235894514689574558982233871016684893314622805101065562935584834544451199403568872703188228437490285845878125414188310221737223363294826410172973187060373291407528460479015882723701951749773918463193191242079/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^34 + 30754670508976935012413955753363144584072977024030238711920537248513692173091815885605968421482343987135407506689933487237044842054531417721231985823590717765499407291828855378481577647822638427551480102980917671468983306/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^33 + 7538435300559567124104699930662728036648185898874353468300769249211211602862430483211607315547979779005716492868864258904282957550837010766473506471009468774264586491876705938147436311886919154050248582706278717087104347/483965462667420022253765925358512931038517655880126313303263542678328776695000067618386642855682335089092054453315458797699119228926827574445302018888353155952692234949945932548958956646564992644870206231693841883277207115629*y^32 + 1591870451254412954913721781071586404438641374462464578091792897557699435541788456997983335562422852857078880333936332014724764076318025263193248170569118518020379068949266874024500757181132658630733424496013349605730861856/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^31 - 175562592797854689687391525744275011549633505162082630340671656625511016354463590280431762648980590817727898418441855111519423100608315589401720720440742232090201826275332393988378704532913375941195531810057365068275072180/483965462667420022253765925358512931038517655880126313303263542678328776695000067618386642855682335089092054453315458797699119228926827574445302018888353155952692234949945932548958956646564992644870206231693841883277207115629*y^30 - 352941723423971781527279154796894670642416689240326829144784251592600823351072933269869084765845815899565849906543664154699179645177778277054338499289374130030711590138724932789483233311509954815216370417582577543744673458/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^29 + 45421370342852219731883905473344388627712893849573738675372997278126007192851925903054194264171822904961075673799833747452631885711445620702343449958487725518892957267147684125689125381797463591946824773070318638109706956700/483965462667420022253765925358512931038517655880126313303263542678328776695000067618386642855682335089092054453315458797699119228926827574445302018888353155952692234949945932548958956646564992644870206231693841883277207115629*y^28 + 621122554559403257224178091624873444687351121148791619561066796101280414786851181045445707550318327452056487989351712258124798630842874339811109533749518473063741353991298827148944119810584353107928332265415256288071798699171/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^27 + 5789082598095985283530558395306184736828385116267885347256862331257099541884259343298140050033840416261768833454299187235380485466086817312708878132845035231668366455476437912332964736985969112720617670470488056126235940003775/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^26 + 28222059485859451941431925684756500490883338091214348606744507520141679383474538992164497994106994263143678560389718003614105898488622754236578963378666012670879431015052298318249046063724128418207765502508709416528855173522127/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^25 + 120532316432573212204970761549022282730182860017678671657387353433407870935175368247166867488030512878453409383307507152440931193111583479781491483582400831742347863488824450014215937536687180237132885145540803005791059230106068/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^24 + 593388014976750863419398398376658987420914814686334261133770332776842365516054518541362127568142903823948584523024906271668794397582894273954386739498264505728977017862348100869188998838527654717974116914181783377971066740530843/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^23 + 1556279175475068817384981967828620112825260773724077678502577409428236362651045034087053204249098528083083536867710914841390315297048309138541572132157677599596856889756425870467002013670777274768739310288408683259102209976461019/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^22 + 5675722054365125120817860900701422089494572620595993857852476726990091756968464799494849989693515409631513831176993489028316591885428395110221443749404735057668731102275274674812919843288228240644101863106434557405064001164534787/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^21 + 1758852609443506127125017133574615016901901358242487437104384634451651346608823080960918313981425264566274848664155306400731094645546150917396779558233518920445095134269073717586634417176122714121753918282162033261301624635466161/483965462667420022253765925358512931038517655880126313303263542678328776695000067618386642855682335089092054453315458797699119228926827574445302018888353155952692234949945932548958956646564992644870206231693841883277207115629*y^20 + 6105943650870507250113932711380286445435059942087504717645450154164380184619085631385000683105425341584756237571042252336445376204348735262893931587613027932753277092324173589841732924529331735871899878046477015048308477011856472/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^19 - 25986180022272187054464759517972340629895307247925877173148193862262008513118351362595418158687063111059642606918241066616556563720756339769696141842703098269107366345708297565720431031823217409056190211185122710747081527166353858/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^18 - 121326559058714821266264008934315620093939206904189809677692106789409381510876735467301497794623170622021043588329722363342627663358349825463592296588318207493069789653866726703370093754619169185013716708722863588678724920979278467/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^17 - 165263426957669773443793238941228636773048323534908624236911144153713215672974355307146737326313589240700304519738262709140777911970480607229558267465104555876191104998700512827052120157938153920656968206915277269963924300421133957/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^16 + 37178133666496322703951292757503779870628563802951342263727049988387537202623688736833017459794843139743732250735433185841110546149362768980496036246803144190268106620314371320358969468894799516521729325125138778293258918840182622/483965462667420022253765925358512931038517655880126313303263542678328776695000067618386642855682335089092054453315458797699119228926827574445302018888353155952692234949945932548958956646564992644870206231693841883277207115629*y^15 + 475784060897583429367599201652335789626779919321203492345623622144746192165923778237783418702545078074527561015138109244199583378475994766257213231059506229270292947298382510686533522625461475370638239078965423993480755570323403132/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^14 - 274801073202080326206063882495661188491203674702631878065886520847692748825637726957546010108598190971559997980982633470736722527728422436475545038507703720006507148583488700944555901638002822234406373599156575405030126856909346453/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^13 - 362837138416788973967690757412014247230824533913347170044311997473749556329361195517590512116818040908221195092289318834967815601763335872752886253219362306454347531112209155575741042649904619638560795902170669978783184813608992161/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^12 + 145717563224326014929329563685321748087314174427252157038967429364159061996676697986357202736671420197531518577714282347536333626225691792755663516760133213732209751566916707511421285029642383848272535743037924978239757991767393205/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^11 + 31077711033744505621394997762126636113151379992416933862986993168860527454756405313837726805433159847469396764188908189202713877203766064854003479129954312139836206143313989985181076468582976514265314719623089148627781781197959642/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^10 + 12978563146701669214234045298801034962349619808035108397001402155441424681606352687864008759391117157423894118428820003463408224282461732212644602412579269455014602602899518089353020262064855567866214630401024417880186090984740747/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^9 + 21111922697220245810011262550155354318911696392960303468138711592932943499630414385446694735242995881288595293272745749930641142201445836461358076358314010648514953721966664938420992266189858413095428266081625072637974675186034936/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^8 - 18612868189927629262620427330602612997789038616006272298833410828117633417435512860160984343983643577188911430445113734576691479749777880450543727225354953522705652499322568747536899000480925048130780219054771008021624432874622570/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^7 + 1225301052837489129445103966607677544744468142283005932487459742381481337279739587998548356904035623807718554102770364682402261441014488213075294506429228149389700551348501389780851943544685976736672200187004177908291250879775714/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^6 - 266616859085206317618752335415654218522449550927733986354970446620752286362006963009681670702963215188275755279732239902606119266560061694593886213300141917191937136086051171686854141216417563767020205452641687988429956909004071/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^5 - 62666597151160259032653459080625437795192077648221481441098188398154074175551729157163095335792063601901844929861260147110073454837329276202398807290636617186908129686548258662332466113484512984700846164748510200464623300460641/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^4 + 253101096894674568029753923194556462008283873547111891470100285908185776361865144503513241294303393180170851612018748105336089105281922094464804560610132794611602236894060418086209294814178052744579910754928851751292138583424403/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^3 - 47678732269709513684657335475718914010062803212946666082485365415394270900407977314296670483087607676564632304867734264156622743290937211036262908176019735565966330847715233853842846033145420523601551580800169010445056327312519/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^2 - 4350439252741233533700565325178788439774419020855202872802259109639756924944109551953656958103636828877576846164453040016188568284696649563235069548643579256588145201336870952472942687360299511618941890074770640034961852305968/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y + 3452655766190062614837924700797862932184408494126343516942828039457919496918538981107976932171524405879490551555396125284105433863428046260207319241485064713971582022253132138533547935820202633472259114868247501787718153879847/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403


# A Gluing Matrix
{{2,0,-2,-1,0,0,0,0},{0,0,2,1,0,0,0,0},{-2,2,1,0,0,0,0,0},{-2,2,0,1,-1,0,0,0},{0,0,0,-1,0,0,2,-1},{0,0,0,0,0,0,-1,0},{0,0,0,0,1,-1,-1,1},{0,0,0,0,-1,0,2,0}}

# B Gluing Matrix
{{1,0,0,0,0,0,0,0},{0,1,0,0,0,0,0,0},{0,0,1,0,0,0,0,0},{0,0,0,2,0,0,0,0},{0,0,0,0,2,0,0,0},{0,0,0,0,0,1,0,0},{0,0,0,0,0,0,1,0},{0,0,0,0,0,0,0,2}}

# nu Gluing Vector
{0, 2, -1, -2, 0, 0, 1, 0}

# f Combinatorial flattening
{-1, -1, -1, -2, 0, 1, 0, 2}

# f' Combinatorial flattening
{-2, 6, 0, 0, 0, 0, 0, 0}

# 1 Loop Invariant
-723693473441993519499657440345780991007293304484345190005313238073808624629443210038995345211260989509256124920517654690655277986799214426830762794636104747956007492187481906882513234296052511143798410460559395198319725661/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^34 + 3435412783432398994845569001697929899013386020712334892414849229632738838266178636528731820728481098778660363473059410706175182219071471148220891605875292060624726473402830409021479197694340229481609257153961383154321136030/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^33 + 808430554132145128080797394292581800981313499503065457813942667162914923610436262486815607784130219320701476928510874975341181251274178051187636134930941324419601018994860109361009779718808539357981289786962583498537118195/483965462667420022253765925358512931038517655880126313303263542678328776695000067618386642855682335089092054453315458797699119228926827574445302018888353155952692234949945932548958956646564992644870206231693841883277207115629*y^32 + 174881657745684655867925999625472871389352020983217287685323505627468059075083367673426394833440947003256777179857233838247893274426931520947148318574020815956345462488760303545171414443875593604217673750461190762267058351850/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^31 - 20917216145224988085691876705872470140561037716740659294174646253359674475366238549663111161234415877310005589044527124661577435212536066401722629871262836098928051495328634611075632323324519351262888952399223641444389054278/483965462667420022253765925358512931038517655880126313303263542678328776695000067618386642855682335089092054453315458797699119228926827574445302018888353155952692234949945932548958956646564992644870206231693841883277207115629*y^30 - 41775324520778680157767376279904007189342604767513442270478458975773174822776303941273549023049645650047042593692382906451242556940541708943117250369371894267591606155510187621659147097458280826469390116692570728394254932100/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^29 + 5011867175432544664707323895985087352310420335980618155846326424084137496687899819920481738758910804667781627205568159698879823834331242568120068947529687964890663801270472289474585904182101348263719542640575251911059925874956/483965462667420022253765925358512931038517655880126313303263542678328776695000067618386642855682335089092054453315458797699119228926827574445302018888353155952692234949945932548958956646564992644870206231693841883277207115629*y^28 + 66337157506706022918507632921320385477828635772625441102302135151642945135313378988746566824336323094729502438819915610153022454384895534387102953469068757483577291064968649481125037575195328724375657635481294348289614790496774/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^27 + 631761397014043806451158291717519946765777430313533248047045499925027996511782017411871202870154255606343247348375740069518991074407926030047475522781572938753832357985801778690763082515506122182942612758352952680970159011322230/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^26 + 3070829700561550693777765352954104729382340471850315138514495714866539339997176942041409337985669717584712252826620039455897679145341543807901388080497622323451360018404788646157500284160282364091011149159327760868110735283568340/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^25 + 13063504001697531784019218906342004947911436873532786808919006819749486837362631089222625203195120218142614059653503035385323680554841077732282916277029666753331952664513730556123191055541309358324040662192325710740198681882976440/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^24 + 64458459741115435960421345371160329200354584110286909612334416690097960626769499716833605243192550215256932047911148235230698067874451768788905289112377570173418834467847457024619445839365543937896398381693718106821193861833443698/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^23 + 166970988057830958546569103317411403237924483811940984467274127704545225168678569306014544398888176606983571927711248346018191017924204470976506053408617061406280531286584040974500148998915358611649684602306398510914957478354755166/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^22 + 612106605221862486849248848772829615211568615459288730218708874233695833091865874236203896455400086033504197325321685499351065226199781805509648080469076006798484343612311893318663998598724180906589583883461619721377279496945309860/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^21 + 187638855381913234628226032823566342395642418026336280089006580364637906230749446854322004754176622993822894055100642780712320253422398307828637752687942048345350382418192684553454707527624815113767256508940328469896943734329193392/483965462667420022253765925358512931038517655880126313303263542678328776695000067618386642855682335089092054453315458797699119228926827574445302018888353155952692234949945932548958956646564992644870206231693841883277207115629*y^20 + 564831558152792032412742486916182869611262614352221943988194450193035184529028537313329815928404841584427173769081784185463567075877972723287209203663643122241283193941091650785828088794108574829320231945765418878346635013464523928/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^19 - 2939131326912212587434186429733877012289530283399558390292628974962055232556337772519381295350951402879710267403808202254494268856915407814575662110566671779549144103946005169855872403098193164145559422206702311061376767197391518512/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^18 - 13107591613731262126998680300544476888691593192745314696477440751896186246893516212802682824373764150335570099192315623515065096063845481254230759344780988692317884382459100191758297942780717103477709492528489201000768297848206932447/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^17 - 17078164034043035745907977205698546599983995938653404533274327397765457836784429497603729503052843785002173725006768221926396814751557552977498073481246031779749907856953474226884404505445644618086807942821704066917666009036084942330/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^16 + 4365873373274450201142376260731195927458373011056227564605782525435968028133402506757011235827415589152810796725392742094763330223119840085832101895600856407906884387007345290144267522805425860921840660314574177917612650981243670709/483965462667420022253765925358512931038517655880126313303263542678328776695000067618386642855682335089092054453315458797699119228926827574445302018888353155952692234949945932548958956646564992644870206231693841883277207115629*y^15 + 50806661118715820821627681828678038447622538041745497164038427644188660086246428113937757569311205973648655925097292868509032013345213213653595033169691423850986750885068281350483520055477430135715989531766024903624142227007762448278/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^14 - 37471821541969038507315294908542598844642287495121847343136924257006104586391392724105005540792435174598136760281619465585377972255567584455483620579980686353991536157618978222908362952297990487713999564276752958541790810611105413714/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^13 - 40545482888338421170939685064959631667085519329688297385105848468040142248129230029868071698331704839919912000433304297491319195729106815043431706354463217960892842370612717012661553388708415132346891346449447420690483220276518403282/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^12 + 25250626749177874563808531158519104513419131971460688350659219455299583024078318879166806027049105511697307367894118272576486970863188401158171765484541792589381660299864788573220780077535190445307968668440950419242943843039779299915/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^11 + 5076346190773770000227033568040480226331610869872986507350021158454276834976136217416126133615460713343525167776703995123989713809046926849759654798039210350353946303275917555503047727624283453184122016998256054098282394163729027379/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^10 - 3201049613629278073457213960285399626179121395645222992805219660875879835030906447821217263884535902050242104996574030258210451190514811955980884417300522534201654315041998400645114879818138418629536454243704314815072247398591231700/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^9 + 2030740309370639891382033498964137601099105792801489946819388967440624923832344531585174946914282114649303007288293871288762139887249687545098280296241404836188667662977378458110767152310608422002172490563146713178995456697822552464/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^8 - 1664589813736785644802512525044469890428636857344876323226672327480046706114396683743856138414513545898358438272910897414342826804391317689387550847077811881012083061179047308324042148097102016657929484972135968178521896771803062147/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^7 + 120485620405873427937522479545414370690737063145511602999350241153258858533715695939003260231791399938034118317643936640493914741360990223076244854097491638866683398718110910380368801626322996539879111609212460839676047714061118836/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^6 + 166967580877187606817979778080003773281576000283668907728039776467293673967944328484253779796436521385013832591743671237668224790403785096737667539780879493901912172730586846709761562649393990721660462837700175424357600252064913564/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^5 - 61578823388266246057238577690945300166260227893081203945429374499332965162377606041571802723440011917207284746979328261491108057264995063591810408903520990853864130637329476301597067750652058124814695521800118503640262859767043897/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^4 + 12762675991304378564064825864356676507282852634826006284492547142132695692906258979505140348273025355032327126480811558422071411717810267372319946015731460110215523569025135112706748764334586360847537428072873380569914964255946764/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^3 - 1543357871246871505541024587579936802213824182901814743053887702105557036022366385540282394165640231052702570532539644649908241693831899511482120264101493280257033005058279193658872692016452272950355665697348427993920546770634764/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y^2 + 35641000036673200204303968262447824142523182886023594605439276626633633732608783482890078480932626222818673036869056263405538391310770605675164334295177713379594265564751896342690826695703643112602318345579416236759790326328841/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403*y - 73019273636760306111458986278512021763770357970342774823085469534889298650839473853907553759268715355000171417650121574725333373160458688549180993828422030043351863497886393208358094880069464657799394495328394965070954354071459/3387758238671940155776361477509590517269623591160884193122844798748301436865000473328706499989776345623644381173208211583893834602487793021117114132218472091668845644649621527842712696525954948514091443621856893182940449809403

# 2 Loop Invariant
1189406400035947065596407752667424347494221729947827556582383685958810418106418855244131898994622865702852222962478362285199213422929295586505140716278489412708101907327525788700168719115621373333808179063741671773069693221827077142982318866348079827178097082374779385827335319829091604524166956301720572989252790543578605431395917188189223565/1553914721817852683526070106612592049024367168709767050004708425483460519230231767333650885498581928242419120637981336906456280179785656161623449449739706118012898992968323267769295476345485092363854066403407136604680074733159397537087111256298913407146322477296930913313504724127927968966573660551564453128597480207363950133345586781084616511758584*y^34 - 634729255787869661804326162207858791876565197854739702285828402911323020525143704239264700282245116262879149247652808175724654599239287992227470849829351330017637397694946677427850842733184707687397025905757597856571366825143980040023927399112964639040762784188018908259660360430211477345423176172986129931234325796819335519449455207234148891/194239340227231585440758763326574006128045896088720881250588553185432564903778970916706360687322741030302390079747667113307035022473207020202931181217463264751612374121040408471161934543185636545481758300425892075585009341644924692135888907037364175893290309662116364164188090515990996120821707568945556641074685025920493766668198347635577063969823*y^33 - 1972024969539798055475133398544301200804221411328092702906615602598891713016959493481851655772617688444979795539506575735345973375085213368780341094937881174072259460852701345830294958251833329901609572454287278898845819541606059804938670864586317085623681070418845409890860919103159238511127522131966657088346106368126338554803918592380961051/258985786969642113921011684435432008170727861451627841667451404247243419871705294555608480916430321373736520106330222817742713363297609360270574908289951019668816498828053877961549246057580848727309011067234522767446679122193232922847851876049818901191053746216155152218917454021321328161095610091927408854766246701227325022224264463514102751959764*y^32 - 585049827606623882827324531196976957285707683234328964847224251596266344726459991942325110961105501095152364187373498688543675217149075964672023926081209902977343228718176339144644988702308192727721878063648701373154801608846493700688686155613882399201970200954724936292098343894875705378995950107165993141812176296576108544048287040774477388393/3107829443635705367052140213225184098048734337419534100009416850966921038460463534667301770997163856484838241275962673812912560359571312323246898899479412236025797985936646535538590952690970184727708132806814273209360149466318795074174222512597826814292644954593861826627009448255855937933147321103128906257194960414727900266691173562169233023517168*y^31 + 202943306783322404632964945190388340138798479496855743256674764507513988580816526257483433038796448532231097262584688067136259837685059809395234886820368537073370216701691579831668492368746465442642928128340511312634515198507379512016775411271449718884428613176626656341536789561041843810258273485640499006869371077764908932450390386386963484165/3107829443635705367052140213225184098048734337419534100009416850966921038460463534667301770997163856484838241275962673812912560359571312323246898899479412236025797985936646535538590952690970184727708132806814273209360149466318795074174222512597826814292644954593861826627009448255855937933147321103128906257194960414727900266691173562169233023517168*y^30 + 40569938361637265134529405296047019199285346639342559979196873669499178675128380108098204730638457038908545155926896299899618232124161399215402157146581067194862184143403729137634042635902236124620735218804062528361027078564873218334384907599128229214367407694455367529776441938665883742719748925867086485174407588000143248890144380173881928321/443975634805100766721734316175026299721247762488504871429916692995274434065780504952471681571023408069262605896566096258987508622795901760463842699925630319432256855133806647934084421812995740675386876115259181887051449923759827867739174644656832402041806422084837403803858492607979419704735331586161272322456422916389700038098739080309890431931024*y^29 - 5488205866820986814340986868563256621896833859967660032091441098245394127644283643887004956547299526805716375590990461017516345040177173885831482053902240678253905670642393175206468112006425278200479748733184435527875616759223790875086800078533744242529440522436777104917519945140067848610339598093889346766102465935498822009770070303575855556555/147991878268366922240578105391675433240415920829501623809972230998424811355260168317490560523674469356420868632188698752995836207598633920154614233308543439810752285044602215978028140604331913558462292038419727295683816641253275955913058214885610800680602140694945801267952830869326473234911777195387090774152140972129900012699579693436630143977008*y^28 - 17070757446454167203057326280478382399217880588277879425421528613377166337303567613771385333667421834679833843055583053731431726273505420911771880911364217929356926935273189269579759288786290681969954692445859094466605109176469466227916515007687341606772701659701227173890534224789132615434178292773895432149548757739968762381523720820773238097171/194239340227231585440758763326574006128045896088720881250588553185432564903778970916706360687322741030302390079747667113307035022473207020202931181217463264751612374121040408471161934543185636545481758300425892075585009341644924692135888907037364175893290309662116364164188090515990996120821707568945556641074685025920493766668198347635577063969823*y^27 - 1098474002471900041257110959281312397820829692546246285887167887567819114915617330871440230021889355074877282730771315755187175868507308771711509443780087145214990539676422136720960808366695526150566033440689616547887491174862681358506029974458956531943035736624987530756456654815480472463035795380664081676383516859658137063527205796752301534304617/1553914721817852683526070106612592049024367168709767050004708425483460519230231767333650885498581928242419120637981336906456280179785656161623449449739706118012898992968323267769295476345485092363854066403407136604680074733159397537087111256298913407146322477296930913313504724127927968966573660551564453128597480207363950133345586781084616511758584*y^26 - 5564767065390295480198583745697639843953206549063394894329597951294246478454499027032028495124157779624223584142071768354228350178577795498344703831390974802522814958096015659719948875422915965660833704100673098437594948364349864493821869231962300024884512211239123091107808370704053952823991131942729305718028498010479721315820852779133057880884879/1553914721817852683526070106612592049024367168709767050004708425483460519230231767333650885498581928242419120637981336906456280179785656161623449449739706118012898992968323267769295476345485092363854066403407136604680074733159397537087111256298913407146322477296930913313504724127927968966573660551564453128597480207363950133345586781084616511758584*y^25 - 6010960401419352346886049042792564189240745726333168960519813704618878804555543508891490810645051246501759977151918046700479099666409974237145199419249742011011025104318181296418623056073896900931045392493924583214803098740432191351177416101355986079185666257016099631192780324454455806015080846259640210470563610851698724647738662742923317444479275/388478680454463170881517526653148012256091792177441762501177106370865129807557941833412721374645482060604780159495334226614070044946414040405862362434926529503224748242080816942323869086371273090963516600851784151170018683289849384271777814074728351786580619324232728328376181031981992241643415137891113282149370051840987533336396695271154127939646*y^24 - 58515898985135783582988695070855823883115336553946755565477671774575359220802696462112854863097501784409358662099810985686065545642566216546350151861289632267868562510751965505489213545020296840810406462200979859228938928338521772564490124406777575756444547963265584671362187131237114918129963615327852510679588143902569572184040976239696033354885313/776957360908926341763035053306296024512183584354883525002354212741730259615115883666825442749290964121209560318990668453228140089892828080811724724869853059006449496484161633884647738172742546181927033201703568302340037366579698768543555628149456703573161238648465456656752362063963984483286830275782226564298740103681975066672793390542308255879292*y^23 - 164349343805794589727402511469496090131173717848560794028247889921552195274975168771201495199469590287028865368774238400241693153603516261741635967094411161524297695042161835117293867256704926400020108894996208604954312961963431678358845677636371562135107679101713222748199140762465296262823449072803642003265665854361396019382053104147506091721218289/776957360908926341763035053306296024512183584354883525002354212741730259615115883666825442749290964121209560318990668453228140089892828080811724724869853059006449496484161633884647738172742546181927033201703568302340037366579698768543555628149456703573161238648465456656752362063963984483286830275782226564298740103681975066672793390542308255879292*y^22 - 2309636546286185294040051048487861686358011979218188452913525037637842040353748056390390531172435375687998068241266571612343871491695907194964751038334670444198060742726098437070624439535341832410822091716482691743724530233945375811610902720814260756533013784445536315309951141325650624164388915514694194378509850903704028186737114781567057671180494193/3107829443635705367052140213225184098048734337419534100009416850966921038460463534667301770997163856484838241275962673812912560359571312323246898899479412236025797985936646535538590952690970184727708132806814273209360149466318795074174222512597826814292644954593861826627009448255855937933147321103128906257194960414727900266691173562169233023517168*y^21 - 5383272374776173556785357634712736709953419989984167524903736914551195447844468088468710677843231193390095943119939508884383024379798359493370697432357471463968911631397575932839010222861409766503450848150646052892980205270534281576566378622790859125041039493580334408103996834036601944931388691903368506287654853801733414470091035440395998309655876171/3107829443635705367052140213225184098048734337419534100009416850966921038460463534667301770997163856484838241275962673812912560359571312323246898899479412236025797985936646535538590952690970184727708132806814273209360149466318795074174222512597826814292644954593861826627009448255855937933147321103128906257194960414727900266691173562169233023517168*y^20 - 4282013375867501819885378970956240479384466495913669436271523078434280574402918824361457742276360451353040295239412454079734824861889118831816869037661296714248227713662923532773273462079871573452571067499634396592025874945349476726978348946915248108259464561459694078003554380823230118295535347262506053743979142327085174439177026073215739935834799009/3107829443635705367052140213225184098048734337419534100009416850966921038460463534667301770997163856484838241275962673812912560359571312323246898899479412236025797985936646535538590952690970184727708132806814273209360149466318795074174222512597826814292644954593861826627009448255855937933147321103128906257194960414727900266691173562169233023517168*y^19 + 657372054199198098487830543225668367918905567837379492409338376126934956631842582624554706569386956177658261897428537727229950316484341972638312807677355568031184055781524921973621669647232657544031339734835661964742396401473689004103375509301651530954128060031507026509063482400663465863707348311055327813414113297523244956854281761841025512996290631/258985786969642113921011684435432008170727861451627841667451404247243419871705294555608480916430321373736520106330222817742713363297609360270574908289951019668816498828053877961549246057580848727309011067234522767446679122193232922847851876049818901191053746216155152218917454021321328161095610091927408854766246701227325022224264463514102751959764*y^18 + 556679388165445152691517537896481124403466001402080146782831223718310811738829420450456849125166179174078119460292569062690824928204877762160296178235623545657464085875851417956920947806141140054621918596679037416930631247637091878910666219951130146559277134501521030700032648844476720914327812582381603483625610620959854488502742636736072275193052045/36997969567091730560144526347918858310103980207375405952493057749606202838815042079372640130918617339105217158047174688248959051899658480038653558327135859952688071261150553994507035151082978389615573009604931823920954160313318988978264553721402700170150535173736450316988207717331618308727944298846772693538035243032475003174894923359157535994252*y^17 + 25793681654830861416587579315940468778115287661676567949864301132564837276007381555601149714770580892011877220725558356928055602705590501198107996165190737589775312695593982961434101386450188496794139230734071741228956153527939459367588124262720673917760048708940930430850467289117164730020279882967662836993931831040077852515734435417664924541147590391/1035943147878568455684046737741728032682911445806511366669805616988973679486821178222433923665721285494946080425320891270970853453190437441082299633159804078675265995312215511846196984230323394909236044268938091069786716488772931691391407504199275604764214984864620608875669816085285312644382440367709635419064986804909300088897057854056411007839056*y^16 - 67030915833799666068446868931782967028326705747544947181736244313565824217082405217991150922552054519074421802385392424083357882345030516508445021139409395653893438140110869070332541827903960467222494076920691209739829544092581491862344946292007008480711792017052626954680346127560972130800393410925468516506173531159287148343637462959174574471371911473/3107829443635705367052140213225184098048734337419534100009416850966921038460463534667301770997163856484838241275962673812912560359571312323246898899479412236025797985936646535538590952690970184727708132806814273209360149466318795074174222512597826814292644954593861826627009448255855937933147321103128906257194960414727900266691173562169233023517168*y^15 - 1202173769044456007708045038913200293432295069170825688743193747085403577824562620294866093155531417081473411964052836402576685295564383875665012739646228766506266344716182047907524170386452874221202506521000557185277543376758550308514515227583916171898749659568312828280462580918219627661713771002139278215638150967056854589565752890812799399040319707/18498984783545865280072263173959429155051990103687702976246528874803101419407521039686320065459308669552608579023587344124479525949829240019326779163567929976344035630575276997253517575541489194807786504802465911960477080156659494489132276860701350085075267586868225158494103858665809154363972149423386346769017621516237501587447461679578767997126*y^14 + 1635699993689714506826825117764691053710070263227881762608318321841957377690583269767982673176757954042328664042946032427030490811745246502231764667791529913650178348747539010581047964015692622252723419085069670461064512373617645352650671451279984964669040335119264643039618872061652623132433593179549063385040396444194285185314142611027841619605469433/129492893484821056960505842217716004085363930725813920833725702123621709935852647277804240458215160686868260053165111408871356681648804680135287454144975509834408249414026938980774623028790424363654505533617261383723339561096616461423925938024909450595526873108077576109458727010660664080547805045963704427383123350613662511112132231757051375979882*y^13 + 164794607576701337592106635978815751769455508111904046164270152978691801684134052400188088034440611048779691250502727910210865945997530550702287798759158450609938592046125799299099839910342279933526493419065641428961043441819055878155169342280839795435237154923395336682202674396527794976169088126296756931079587551282116895227112016193794473061664200817/3107829443635705367052140213225184098048734337419534100009416850966921038460463534667301770997163856484838241275962673812912560359571312323246898899479412236025797985936646535538590952690970184727708132806814273209360149466318795074174222512597826814292644954593861826627009448255855937933147321103128906257194960414727900266691173562169233023517168*y^12 - 3343612600000400277043776522643552657481822275271075513795079163826666971934674589606318515016829982624137474256830965308505093640243129548393418184465291193845443415462716864216737208703960486278558106531190118178092757559004929902648768980112892821472388019600597122321361009398829827747462932476183438982153338945739026589718814395439957982103794833/443975634805100766721734316175026299721247762488504871429916692995274434065780504952471681571023408069262605896566096258987508622795901760463842699925630319432256855133806647934084421812995740675386876115259181887051449923759827867739174644656832402041806422084837403803858492607979419704735331586161272322456422916389700038098739080309890431931024*y^11 - 39391224701912916988973770662435163479236363276424706874485198039933045166242364662451635055267286856834756340735253936733406088991931014985377663928155323532714581219463155118126208782051707223164712133447124089806591865513396807014893003670831138976407550341576631924078406532502624111560154878021117017522996277244017488076078899442308557863884288115/3107829443635705367052140213225184098048734337419534100009416850966921038460463534667301770997163856484838241275962673812912560359571312323246898899479412236025797985936646535538590952690970184727708132806814273209360149466318795074174222512597826814292644954593861826627009448255855937933147321103128906257194960414727900266691173562169233023517168*y^10 + 1469923506787164629568266000712352937923072719700070449967522371523498626956864139921482993407077519320946069909385246475565916377829513445232222202002324458615507364807824975718471653004846620630107467054044655362915302405986165778032650670147464036355639252351976183060486535309171130365535843795411484330437785086586920385561871973524266931564975705/1035943147878568455684046737741728032682911445806511366669805616988973679486821178222433923665721285494946080425320891270970853453190437441082299633159804078675265995312215511846196984230323394909236044268938091069786716488772931691391407504199275604764214984864620608875669816085285312644382440367709635419064986804909300088897057854056411007839056*y^9 - 3564582128318730159640801986080032012255333915639894455133078503502256412081086547323202835741536870701923622757495848393675664326118475417049758498045239806568664505351976575825666723798391622374625452190749425178407206003525964789165847330926928686214507243305442869219157423601830581301065602105885904562813651209173874044629900164055121720703059861/3107829443635705367052140213225184098048734337419534100009416850966921038460463534667301770997163856484838241275962673812912560359571312323246898899479412236025797985936646535538590952690970184727708132806814273209360149466318795074174222512597826814292644954593861826627009448255855937933147321103128906257194960414727900266691173562169233023517168*y^8 + 2287424334493852931873668604406889526393498479550305131706396712208751937542114961354746870070690115713641592322456560185918292812475257336777356633311959301616809638514018103634688188736640548115049324046824927212915349053571223896373083514531245510287118522628947970480772274895945521607329717408841183563836740447312913035047852904078839712159978135/3107829443635705367052140213225184098048734337419534100009416850966921038460463534667301770997163856484838241275962673812912560359571312323246898899479412236025797985936646535538590952690970184727708132806814273209360149466318795074174222512597826814292644954593861826627009448255855937933147321103128906257194960414727900266691173562169233023517168*y^7 + 753560432124583208583490595492252796563278884605788586226882312796817852730275284546603410475060304092301224848962756556908854136630950160914630932740144796862032109020786325471817719646098214083644722825078835901245177009793320648555410748518098818199680343121979903174518872031693366267007865457003783048809078942096001773101728257461197675085307943/1553914721817852683526070106612592049024367168709767050004708425483460519230231767333650885498581928242419120637981336906456280179785656161623449449739706118012898992968323267769295476345485092363854066403407136604680074733159397537087111256298913407146322477296930913313504724127927968966573660551564453128597480207363950133345586781084616511758584*y^6 - 299305238963607210750053817480798918886901279498704199261306223769908462876448055682905430864801505936351489142310896822604519749554942121383312289751517156398821434445880217804980354692883524523352615470481388152123125964762519903731565627116052757171084055117095781241687456692215718862094913389048688634183050716754331158934681149592154231479480861/1553914721817852683526070106612592049024367168709767050004708425483460519230231767333650885498581928242419120637981336906456280179785656161623449449739706118012898992968323267769295476345485092363854066403407136604680074733159397537087111256298913407146322477296930913313504724127927968966573660551564453128597480207363950133345586781084616511758584*y^5 + 391156798912927384101224956290370900813010141822215404497687155870403851930467720016841412373427081391316287507507957011672608881763938737484628710211774301784385184942273643255946935069281996997226278818827545198647135566580203564079186791156792689477561522517446935501020296835489083409615857709428439180504257289524654292127079795375909226126115/258985786969642113921011684435432008170727861451627841667451404247243419871705294555608480916430321373736520106330222817742713363297609360270574908289951019668816498828053877961549246057580848727309011067234522767446679122193232922847851876049818901191053746216155152218917454021321328161095610091927408854766246701227325022224264463514102751959764*y^4 + 28152209510205868261317404095897458831987054208859946166406874254891468757604955530236146408664590419262298401080322086355978273639542999309134521453033636128895115351702615759266652588738659033085719331583389475918173978655414347765381789400624766542775739957316294875499140272132739839693075325695556764928630264764839723248595907805204606034684951/3107829443635705367052140213225184098048734337419534100009416850966921038460463534667301770997163856484838241275962673812912560359571312323246898899479412236025797985936646535538590952690970184727708132806814273209360149466318795074174222512597826814292644954593861826627009448255855937933147321103128906257194960414727900266691173562169233023517168*y^3 - 5260122716139903688417479323375791274743942905715533956071106365334935327374706228914166684774378590878595607018783394371595128878528855369579737755826115195604711745218522335638917321054037931290359941892784646206334019169421564173879792239107355263683445697489799464963823188430400870740333086437922502947095716213238616159593491518819907652052651/1035943147878568455684046737741728032682911445806511366669805616988973679486821178222433923665721285494946080425320891270970853453190437441082299633159804078675265995312215511846196984230323394909236044268938091069786716488772931691391407504199275604764214984864620608875669816085285312644382440367709635419064986804909300088897057854056411007839056*y^2 + 3384405939113830116365828931640455138520097881737621248989305511338765694847683005050941791533591182199744497686354106124404047127659903298551896694127920458812718351627822801534432581736334847382282241178983204095203036615940328771506808143001401596262887480599941864821631977830070727847178102135398578140200239037664213109283362049510040875919/517971573939284227842023368870864016341455722903255683334902808494486839743410589111216961832860642747473040212660445635485426726595218720541149816579902039337632997656107755923098492115161697454618022134469045534893358244386465845695703752099637802382107492432310304437834908042642656322191220183854817709532493402454650044448528927028205503919528*y + 173917652500603457898992703430975238471326732149869406768890581817245926695606961296154953288176660069491664430385433153457359407821191630901313141104142182928681192882806622191703252768340425529433119859527860480924311908547006583775044356696059366551456564502605800901065149121804611299965432587582340266184553148189398130555978982918503273368997/221987817402550383360867158087513149860623881244252435714958346497637217032890252476235840785511704034631302948283048129493754311397950880231921349962815159716128427566903323967042210906497870337693438057629590943525724961879913933869587322328416201020903211042418701901929246303989709852367665793080636161228211458194850019049369540154945215965512

# 3 Loop Invariant
110392101516524878435544633332844446847156491052104927278043834695888333701746928049866612894705805580687868837794398653184860760911999711201379089727290967423457252932569327315775283826105321997130322764186641316508496312828186118121720426220419609743988031779893877830073275529783552943433321329071177090397029924298378772835301133524753588548941310536362412793944228277776511765634904000264600986608095/167750855066316390104353107931609978240707725962730947562063023711444218391406560158836121829115219281660101542806691032888229650059506506058191225238919023043683205990189756346073786781191512423157636624663775530720603806328035230503114067792703858135890510409916248392770335812840809799933587058914626960730045063039018027927896072693821613946663632432472313737208078896814099476698706457628403419804187156768*y^34 - 448594121787704193514447892781780036502160726843249412021195438426918253202328813862584272457095449073373381652956592341744468087026973837552805319689126367762566936808618852761748560353960937027431509326716738569526916297140679195048406738311187911260040453442436408370567883804634205558142320661984871130794583429248229453354244204869520989306913101937907979941844210785530336467260707120824064312131155/167750855066316390104353107931609978240707725962730947562063023711444218391406560158836121829115219281660101542806691032888229650059506506058191225238919023043683205990189756346073786781191512423157636624663775530720603806328035230503114067792703858135890510409916248392770335812840809799933587058914626960730045063039018027927896072693821613946663632432472313737208078896814099476698706457628403419804187156768*y^33 - 338063382593792156407287475989447588611196395788805282680720436934800670226884533554255380426789643765427824191603203299463351299518045202100898982503752775736986698269517405122384918244655248823076835290158218694558918301564802368233718452714124189050279214386628799029556508979776937626380382974502355401904965995605095637386052708981702442886205740298264990755696881008866633971271226509538342016713459/47928815733233254315529459409031422354487921703637413589160863917555490968973302902524606236890062651902886155087626009396637042874144716016626064353976863726766630282911358956021081937483289263759324749903935865920172516093724351572318305083629673753111574402833213826505810232240231371409596302547036274494298589439719436550827449341091889699046752123563518210630879684804028421913916130750972405658339187648*y^32 - 54844485747285619761890049248700864102679096852060597862554750237235175754148241084896568049165957027374086560554501284811497762894400342432309166860938665873302986499284300663613619797865944254265058797386079739559213846085592591346600604030177891618125426209861302118840693176485131704908501302972883856104507179730806043428709148707571773932517467871564189093204840710261409478514453937063617695866042221/335501710132632780208706215863219956481415451925461895124126047422888436782813120317672243658230438563320203085613382065776459300119013012116382450477838046087366411980379512692147573562383024846315273249327551061441207612656070461006228135585407716271781020819832496785540671625681619599867174117829253921460090126078036055855792145387643227893327264864944627474416157793628198953397412915256806839608374313536*y^31 + 151162420490930999684729166929374373288505620833968185108526219547479003067619144756168006947234915611293090344783605054657391624354544844053174649585783255494846855070123901051791826078444653417726788749861217216717937202026263776533972941540382292226462400643967717656429314416503333201294728237887232181715506960581547539995206344940372891351438794163632136443602737704139600084983323900438316057904501/6846973676176179187932779915575917479212560243376773369880123416793641566996186128932086605270008950271840879298232287056662434696306388002375152050568123389538090040415908422288725991069041323394189249986276552274310359441960621653188329297661381964730224914690459118072258604605747338772799471792433753499185512777102776650118207048727412814149536017651931172947268526400575488844845161535853200808334169664*y^30 + 6077239706082234117742611470479635230491756795341216052273572471004094700104777303125908486929141106735996697118178049435223404890177213662050811746916668345155782531335826754383308948562466670360959418543115830472700660078208858514873412365608572987139755081004971180171189534804280555075475657465609064239689126462915912874588111524667419054668456183661172299293449356534945306753051934962466066515156853/83875427533158195052176553965804989120353862981365473781031511855722109195703280079418060914557609640830050771403345516444114825029753253029095612619459511521841602995094878173036893390595756211578818312331887765360301903164017615251557033896351929067945255204958124196385167906420404899966793529457313480365022531519509013963948036346910806973331816216236156868604039448407049738349353228814201709902093578384*y^29 - 1527359074897774226133752141815201430803397614403351117429579377770979849706789930108731006430001917992940169083565301737397242863198805210444800032298026372411079069248825431071384071846601401469636102422797555627723495153080379095675922198012585428090205388745426832881012481063665941885406381929108364427089396262174328693608666182538703880814269006101437193024840071643688098999901433466173357809696490737/47928815733233254315529459409031422354487921703637413589160863917555490968973302902524606236890062651902886155087626009396637042874144716016626064353976863726766630282911358956021081937483289263759324749903935865920172516093724351572318305083629673753111574402833213826505810232240231371409596302547036274494298589439719436550827449341091889699046752123563518210630879684804028421913916130750972405658339187648*y^28 - 27546719882395426712865365271429824605852764950284646835698672387033456911409085895873244342981767857593661254141730466868880614514423414181315341293163310539306123936409451340596891981477613384068183113391679250237835216806385550661421917403731271674089913969694028848857266805330552604853007418413236084387342130241684400569996810959630615442116022912498231465733525359358357494030130602281762375536595816707/335501710132632780208706215863219956481415451925461895124126047422888436782813120317672243658230438563320203085613382065776459300119013012116382450477838046087366411980379512692147573562383024846315273249327551061441207612656070461006228135585407716271781020819832496785540671625681619599867174117829253921460090126078036055855792145387643227893327264864944627474416157793628198953397412915256806839608374313536*y^27 - 52565557224611258295573374048381637653818238292157748568780524529303007387529465943237092043622630151416729695331351961734766210001313023314586362927356779174159495952358748792626717266591209647607195627094358750018476910881772975020358333711759537615419867484457271156797452200341092885454142993776864145260740319100768323075720995948162704782373195813097549004088194780051403608493913837027445938666368667353/83875427533158195052176553965804989120353862981365473781031511855722109195703280079418060914557609640830050771403345516444114825029753253029095612619459511521841602995094878173036893390595756211578818312331887765360301903164017615251557033896351929067945255204958124196385167906420404899966793529457313480365022531519509013963948036346910806973331816216236156868604039448407049738349353228814201709902093578384*y^26 - 1077995010089679214356242790729236449037631656970403648846394304844288185761792736547855107707305907777615268827277890457748813729533878818395979944537593594801867049277612373673007534688594945947198574797365501185273626506995677824415215175007159096577932553427182596489428880970390093577109359249609981272507975111499080990728272944528536872219644654033726335230957575402603941608635074300703249289148942135977/335501710132632780208706215863219956481415451925461895124126047422888436782813120317672243658230438563320203085613382065776459300119013012116382450477838046087366411980379512692147573562383024846315273249327551061441207612656070461006228135585407716271781020819832496785540671625681619599867174117829253921460090126078036055855792145387643227893327264864944627474416157793628198953397412915256806839608374313536*y^25 - 4698518076714747477720486017233684655513610610254024225513605329974006745055717042239603959263147485947908289158086432260930900992079471613682210883344121460309726063614350587520426508272581593458531207193777127603909229560487070362673578473389691865688040464231817288574576025938969384227627803577708166362601382268427247543013244617016193129157406514955313216553834893148976929245928947246001273369951978898685/335501710132632780208706215863219956481415451925461895124126047422888436782813120317672243658230438563320203085613382065776459300119013012116382450477838046087366411980379512692147573562383024846315273249327551061441207612656070461006228135585407716271781020819832496785540671625681619599867174117829253921460090126078036055855792145387643227893327264864944627474416157793628198953397412915256806839608374313536*y^24 - 22760508870445025503301319616608825667345875371947386548150863333252652419560081512827925611215457057189068304364917544474002216276138308043962607137319903549289221353338603045570016010168974780796894504913668659969106004983766907765513083322475626065005323434850841368332604315434665754956214041440216507810152908129184080582778556388133418805753446015946228809017548190617857755342499535469498626157349441268263/335501710132632780208706215863219956481415451925461895124126047422888436782813120317672243658230438563320203085613382065776459300119013012116382450477838046087366411980379512692147573562383024846315273249327551061441207612656070461006228135585407716271781020819832496785540671625681619599867174117829253921460090126078036055855792145387643227893327264864944627474416157793628198953397412915256806839608374313536*y^23 - 8250243899641705029176353622305159052097788701294458734420843290258133077104501348727402056306688002264771960674430313426219030569284947961736266244706448706941130720711588514333272908317016551659779923935683998794446837709700260574690265042580400221609016741549142223410300620408381710538548619250179139288288466369335006805730255431963673451268274011378024790193934466829227828996524200054240432836965032683545/41937713766579097526088276982902494560176931490682736890515755927861054597851640039709030457278804820415025385701672758222057412514876626514547806309729755760920801497547439086518446695297878105789409156165943882680150951582008807625778516948175964533972627602479062098192583953210202449983396764728656740182511265759754506981974018173455403486665908108118078434302019724203524869174676614407100854951046789192*y^22 - 229423993707280690938838465443454396206068988886976762775099068342945578303774796301217440602862011977258113613173642581385082644400459410759376921672355705888114248208835887801885253580863622977496179286627189989768301431630410472250547095262038718293994546047930358158947239134821768911641597150931888449684712915843034035648084222064775464883149686029948225020024645665564993406583049653021211070405411845269555/335501710132632780208706215863219956481415451925461895124126047422888436782813120317672243658230438563320203085613382065776459300119013012116382450477838046087366411980379512692147573562383024846315273249327551061441207612656070461006228135585407716271781020819832496785540671625681619599867174117829253921460090126078036055855792145387643227893327264864944627474416157793628198953397412915256806839608374313536*y^21 - 78735666550032443913464984144751630905218648411725862617419428765145500159780336063003233267827041632350741589029050851947625372263599276121675738572538905133504055210766391978380348449975449878009195422189098524765121570808407014545410254316687071173542952465704797810056223899291236413775654344008811330429043256219442528712219699993261587804255711903171066343777750308278120669272164597840122885792820149960159/47928815733233254315529459409031422354487921703637413589160863917555490968973302902524606236890062651902886155087626009396637042874144716016626064353976863726766630282911358956021081937483289263759324749903935865920172516093724351572318305083629673753111574402833213826505810232240231371409596302547036274494298589439719436550827449341091889699046752123563518210630879684804028421913916130750972405658339187648*y^20 - 525856250795678519163044216009961326821173089150494242174806517175166200787880742095190022215119150166848659258459033780850305207070159678323165852407385947583119002384254106065699549054677382650925987291965558367864262538271195760104183557653372246653190381073722497678558382409569958523232343680366247912616527686134453799897192125483403098203680854585279370206451029023099618600695378417875821994909317842369623/335501710132632780208706215863219956481415451925461895124126047422888436782813120317672243658230438563320203085613382065776459300119013012116382450477838046087366411980379512692147573562383024846315273249327551061441207612656070461006228135585407716271781020819832496785540671625681619599867174117829253921460090126078036055855792145387643227893327264864944627474416157793628198953397412915256806839608374313536*y^19 + 587528454419120714278684726697229788450816373294760650909352059961198160609027054163380085283546657385298558410889817480471352583440086151054240297360699790100619498032780467004375446970235922953535258667884222911172066529459122509482961331824343129124908849300450892404023688215268229492398754259821851586628172514817505345560293915745320470142222910673866299937012099074005641482082497097936524782960476974876207/335501710132632780208706215863219956481415451925461895124126047422888436782813120317672243658230438563320203085613382065776459300119013012116382450477838046087366411980379512692147573562383024846315273249327551061441207612656070461006228135585407716271781020819832496785540671625681619599867174117829253921460090126078036055855792145387643227893327264864944627474416157793628198953397412915256806839608374313536*y^18 + 138268115911240445263172936288580138098575331948273474547084777568257431212657234065683688297531934435775044674142803120832257544806207209103318670555996725809642609747417119997379725914550280639139407761986131299206423264293583044835750141466407607070466155233151734937035618733606549768187755996192796959455522245175150105740265522653984862035564815616708222006499037719401331323434693954656662039941340994009243/10484428441644774381522069245725623640044232872670684222628938981965263649462910009927257614319701205103756346425418189555514353128719156628636951577432438940230200374386859771629611673824469526447352289041485970670037737895502201906444629237043991133493156900619765524548145988302550612495849191182164185045627816439938626745493504543363850871666477027029519608575504931050881217293669153601775213737761697298*y^17 + 8126110191020959946409172390620638610420168222722213782069915942296515990870485599583242863647736595181389015642281874222159009644642933836423728175119628646725232913986791978189578233635275353288894337581518147469141200254411032570824306027423348114513253312840165745160753639327254618395377132643566564139090645324244823850308891203968610084020626385426354282464409595945290089499567679579105770982128935625093651/335501710132632780208706215863219956481415451925461895124126047422888436782813120317672243658230438563320203085613382065776459300119013012116382450477838046087366411980379512692147573562383024846315273249327551061441207612656070461006228135585407716271781020819832496785540671625681619599867174117829253921460090126078036055855792145387643227893327264864944627474416157793628198953397412915256806839608374313536*y^16 - 609274995979352653695152506335330410904701185548664901217241986234847338788773080794306448475042728165136195004539891627961184565806989997724184284500236663747216363861771719184522748276307330980882441916521728663968420507441399903176984032028467638255007410973092468462661894854690792401912274351878282720938317961932073823956124463768433744394661281565137764285694979315538138262356094463223847850486129020248427/47928815733233254315529459409031422354487921703637413589160863917555490968973302902524606236890062651902886155087626009396637042874144716016626064353976863726766630282911358956021081937483289263759324749903935865920172516093724351572318305083629673753111574402833213826505810232240231371409596302547036274494298589439719436550827449341091889699046752123563518210630879684804028421913916130750972405658339187648*y^15 - 19083421366188323835644157402482583291517774541139248802706764310489999402122927368911841178250453431631875375106345360432221437771488590613745177052130580279699778963144133164929970520317686064702669314729234495887379089519680550377864333991808709639317888844171094776287215727099532445196436327578265540902373844578367046011009133096870653981503952745132863174121997118318544198183141386387285265008180113522887793/335501710132632780208706215863219956481415451925461895124126047422888436782813120317672243658230438563320203085613382065776459300119013012116382450477838046087366411980379512692147573562383024846315273249327551061441207612656070461006228135585407716271781020819832496785540671625681619599867174117829253921460090126078036055855792145387643227893327264864944627474416157793628198953397412915256806839608374313536*y^14 - 260608594819844062781599129537607328225737121295964315730471030700493324517373817121968162781949269245173826089344948488888225202845528926770312997457005803400781981359326208528052527919036863929590131951493528103346179873029868126030192685005148616847715736130286908965990589241685617467362548641001086745044268992870182487300824960606869960477046441356509678272347147330756519885836560753009602764922751261065191/167750855066316390104353107931609978240707725962730947562063023711444218391406560158836121829115219281660101542806691032888229650059506506058191225238919023043683205990189756346073786781191512423157636624663775530720603806328035230503114067792703858135890510409916248392770335812840809799933587058914626960730045063039018027927896072693821613946663632432472313737208078896814099476698706457628403419804187156768*y^13 + 13980373071045954441150457184268889269496167186840451311237074054824858034417597090868266768203671942467365649038321836450467438094446116039918794245966338699682919500194300213107656573132135761585742509778786897976348328206181627973557163837362306983006725212353739097256352983943170089862952462572875491040555080898195678088366069062499897000669617102554320100918434993239904398340972258001902949266291536118425601/335501710132632780208706215863219956481415451925461895124126047422888436782813120317672243658230438563320203085613382065776459300119013012116382450477838046087366411980379512692147573562383024846315273249327551061441207612656070461006228135585407716271781020819832496785540671625681619599867174117829253921460090126078036055855792145387643227893327264864944627474416157793628198953397412915256806839608374313536*y^12 + 614571685297786743867003530060374106455543909039423209020054738843614276255091693401057500344889326795615794306940574756788802877304026436089541827833131466297918780576413541042303566348158065286161001955524401344146806082962643789394526241603242970237423545346957906571217221583794390368704079835329989388186523096975812643323724273118155575771863889868792534872353265432226013249872835812976344889919137992035313/335501710132632780208706215863219956481415451925461895124126047422888436782813120317672243658230438563320203085613382065776459300119013012116382450477838046087366411980379512692147573562383024846315273249327551061441207612656070461006228135585407716271781020819832496785540671625681619599867174117829253921460090126078036055855792145387643227893327264864944627474416157793628198953397412915256806839608374313536*y^11 - 2713707437662798133203644721886732213257687465871287335423321310823524962583681867157564325108621284007859835602246461301254947089064981854655750500899220004100153142619422341416663576427022803317245270289165936584058495807120572617945918242283374540247895871479547242960318149954130115615885425384416352338697077869770798460855964651237881402578843537275828164892492176028319625241373882245840876145013167452475007/335501710132632780208706215863219956481415451925461895124126047422888436782813120317672243658230438563320203085613382065776459300119013012116382450477838046087366411980379512692147573562383024846315273249327551061441207612656070461006228135585407716271781020819832496785540671625681619599867174117829253921460090126078036055855792145387643227893327264864944627474416157793628198953397412915256806839608374313536*y^10 - 5455550002827556209748179805523732230401751252985494924106857091272797184218740319258603944449508553650807062155093826931053473625477580058960514622061602992219049479868489826141472301053340541834836287357422768286250921888469152378572999444412004984978271502599595089447339308486080446539353564134450480747221498722643505966122586124820030588082882752458621608950727793627164352105492014466037514859095029978847/20968856883289548763044138491451247280088465745341368445257877963930527298925820019854515228639402410207512692850836379111028706257438313257273903154864877880460400748773719543259223347648939052894704578082971941340075475791004403812889258474087982266986313801239531049096291976605101224991698382364328370091255632879877253490987009086727701743332954054059039217151009862101762434587338307203550427475523394596*y^9 - 57482201590965532836932772116879747083779952391857792898175824077631041457112841886504922088482106505492745322789072970092080684386914402221270346895424854332014839403822229194384876844188023571724343636647938747010937546015886534952016556964023861686793306943732427552557431475366124984853865753467607192847541219700860425509456956854372010881136078241145025546492972948605243284594541566235915722799479825403613/41937713766579097526088276982902494560176931490682736890515755927861054597851640039709030457278804820415025385701672758222057412514876626514547806309729755760920801497547439086518446695297878105789409156165943882680150951582008807625778516948175964533972627602479062098192583953210202449983396764728656740182511265759754506981974018173455403486665908108118078434302019724203524869174676614407100854951046789192*y^8 + 111102598380298678720513808310747710731541123199537916956029079670592355539532670231240789506691572566175925333697116414239225193983780600360486999618104644970035053631701245729987979104774027246910442932309415054609592923883846322312020460710456905238103944025845457838480298300583942697751960803714651603126027479718774057427470401914846148361520811350293113774172749997510546158462325127217836975317362977761481/335501710132632780208706215863219956481415451925461895124126047422888436782813120317672243658230438563320203085613382065776459300119013012116382450477838046087366411980379512692147573562383024846315273249327551061441207612656070461006228135585407716271781020819832496785540671625681619599867174117829253921460090126078036055855792145387643227893327264864944627474416157793628198953397412915256806839608374313536*y^7 + 30688332880843117903339969641910542956357823623763232208198698563209203501660324857153373492838339685667729210093264491013507681407852176731647001628307571644718968076643343143293896454513773642234785508126096022577640449277927500779472702302836071802283923661401997774022878313877750304987866795228397388098299017259582867617037059404254014644505461642613510786332008575445683377713128008028949684520832947424641/83875427533158195052176553965804989120353862981365473781031511855722109195703280079418060914557609640830050771403345516444114825029753253029095612619459511521841602995094878173036893390595756211578818312331887765360301903164017615251557033896351929067945255204958124196385167906420404899966793529457313480365022531519509013963948036346910806973331816216236156868604039448407049738349353228814201709902093578384*y^6 - 3147077339554072106933616528424452222888047166518630686273973911471732901855130733192207616969687025950842619460690561312682106815778607805289139786827345704866624440027230721649315867892745549788164729082423736178393027035460294017220194012570110302542269490078995310220281670947282565034061270748797473120142294710537091215178725985939861561278956178812526948469543338919102009741508668273444000372322267894509/41937713766579097526088276982902494560176931490682736890515755927861054597851640039709030457278804820415025385701672758222057412514876626514547806309729755760920801497547439086518446695297878105789409156165943882680150951582008807625778516948175964533972627602479062098192583953210202449983396764728656740182511265759754506981974018173455403486665908108118078434302019724203524869174676614407100854951046789192*y^5 + 384007998701710660885040208491437933603808517991966992613849686684386036903616684490419386471024300148305356556103968810266704374205232553405333339392083601797070469035982770736232935963667735247112806383834373319850297568506482600573777280161084439177979588822947926298511107331213730302347253147461655000061022252273029561891812263403347860125624133112735026407874858270876807286837560299767138219001116961511/167750855066316390104353107931609978240707725962730947562063023711444218391406560158836121829115219281660101542806691032888229650059506506058191225238919023043683205990189756346073786781191512423157636624663775530720603806328035230503114067792703858135890510409916248392770335812840809799933587058914626960730045063039018027927896072693821613946663632432472313737208078896814099476698706457628403419804187156768*y^4 + 849669764234833067418493651040341302795016111189404863857904809779561055068716128899231135797830103886187732012370587810816153948064231364184306024095848542799938474968186084523776542235498357276080117581731486534016071701584271507546466458216461108109552669083082867271405783459774698577832491843886828844152527431793688294393964141613431168486723172997948885962087876478345757631268578653302150283752450056109/167750855066316390104353107931609978240707725962730947562063023711444218391406560158836121829115219281660101542806691032888229650059506506058191225238919023043683205990189756346073786781191512423157636624663775530720603806328035230503114067792703858135890510409916248392770335812840809799933587058914626960730045063039018027927896072693821613946663632432472313737208078896814099476698706457628403419804187156768*y^3 - 374654236153812984548262650443763310652761212271186126498283991525554310966526094281761053159995224258911456207813829727609467541356195401229248669328044508112331498897039611036903433192090000257926867543284193460527731749660736818362643298454333973445208423397481601843293173105382775860190341448047325205218664623598888527211990320639844820253536220283605378801327259103644651848720395764207827831106325645213/167750855066316390104353107931609978240707725962730947562063023711444218391406560158836121829115219281660101542806691032888229650059506506058191225238919023043683205990189756346073786781191512423157636624663775530720603806328035230503114067792703858135890510409916248392770335812840809799933587058914626960730045063039018027927896072693821613946663632432472313737208078896814099476698706457628403419804187156768*y^2 - 933240415504579908807017679997889074704315311806678244333782049510701115445388103275364921831689003693596841314779074300375114652218950688974083259351145258633991058951751377195580212229289854614551019384594966991932881528527444572855622433544513504307387783613909848523883149599400641563640054465248470245073679381644257384689461411244218541335980140305229276671131413186583574566629661662766015303856668697/20968856883289548763044138491451247280088465745341368445257877963930527298925820019854515228639402410207512692850836379111028706257438313257273903154864877880460400748773719543259223347648939052894704578082971941340075475791004403812889258474087982266986313801239531049096291976605101224991698382364328370091255632879877253490987009086727701743332954054059039217151009862101762434587338307203550427475523394596*y + 2965338567950524685812045240734263714366181498055576904183930711654466646812390285989009256263661456595388139166361721579561420814909450698294462732694426180906547564822200834958156416181437088464414508676642330800781662339708484697524548914495457947027235565952336283319370548122018599655736399312365087769956811872206298018718783562791491830514347201546747184500270956458734662317356950526313704661705092225/83875427533158195052176553965804989120353862981365473781031511855722109195703280079418060914557609640830050771403345516444114825029753253029095612619459511521841602995094878173036893390595756211578818312331887765360301903164017615251557033896351929067945255204958124196385167906420404899966793529457313480365022531519509013963948036346910806973331816216236156868604039448407049738349353228814201709902093578384

# 4 Loop Invariant
2028943990160783827341708487017634348806849987582467913871336002101965428966605485029957823726063233545689330152068382797276381869164249906440887007009985380085956535838649311025125797082495321498077350340371506742578614293578228409371641782286660165332281186627295706786813711020598389430161508570179888135600194839251475078750372401303656939079305492244799022534410435725771113537243715464114817493098409304448526349360014364788843209956765911514038426516337118201423472119780353141784576417262366684052727217639393538704580211/4039604218579552147025057947257408630729871709042203037538610454623491499201332938938004339272612206440285392149462527412647104977634231576305590667662272589904073898144402766606780620319801891580845057460066490031353030315173388072142995270089987081035691952372005750552593175098682765067329137162656728070892950713516629880702469809447222191751042893784059671170183507196088501604035992169359338739230559506784005997825586318481522747599403264694540751603660201477281505595173621572366682025793764565461537024878562538189458906680960*y^34 - 2790182089204437545872976256841902139518785100763359933022302482858760891590147625847678075473025978024060182156805753725806568376929034729843810502462799640339529634742855931636365955710387358648379991911534638644845376920826398916031882508832957956916810588658071689103084429650468541448405645484247255840030355434890795885393965251134393762697583911682052696755951651405905325857157110348050304741798257828941485707202211446564964316475072169941236667094505272910941337398177098519527247943106259188883363784371037550968110079/1346534739526517382341685982419136210243290569680734345846203484874497166400444312979334779757537402146761797383154175804215701659211410525435196889220757529968024632714800922202260206773267297193615019153355496677117676771724462690714331756696662360345230650790668583517531058366227588355776379054218909356964316904505543293567489936482407397250347631261353223723394502398696167201345330723119779579743519835594668665941862106160507582533134421564846917201220067159093835198391207190788894008597921521820512341626187512729819635560320*y^33 - 1622178855126201958523800722952279993731095559528340353795243794651744136203410276200243077067826191424222526364863126327329661271611209215595397671134729752618542611684933628617492882157652440292223773942317508555209292874934743438729822963227029615551547205697825174729279143609746535293229013664312438498580962316343273010640527588665743881734530993391660212082671179562617821230077894533551698982278751242762204085357445294409517567698051080617503588977249855044460989167490573475333772363037133568853988034119564464472524765/307779369034632544535242510267231133769894987355596421907703653685599352320101557252419378230294263347831267973292383040963588950676893834385187860393316006849834201763383067931945190119603953644254861520766970669055468976394162900734704401530665682364624148752152819089721384769423448767034600926678607853020415292458409895672569128338835976514365172859737879708204457691130552503164647022427378189655661676707352837929568481408116018864716439214822152503136015350650019473917990215037461487679524919273259963800271431481101630985216*y^32 - 2009770579388671083994485131572223260129708090325381614532460884081190528440081054314276780621621708477232041947126079239265415390316694323074412951669631920543623198705357808365399260341867582220839947642993341814884449731138358401702609894564715986456693839697876142973760660681784475890619877655749185678045458602971218504842604634918887531715377313458388148206841988274437106116921236133000599667531378564775050433195270624389733022256278846935226500267634108239854357462643857976270768924934498522909817297554900867611761764743/16158416874318208588100231789029634522919486836168812150154441818493965996805331755752017357090448825761141568597850109650588419910536926305222362670649090359616295592577611066427122481279207566323380229840265960125412121260693552288571981080359948324142767809488023002210372700394731060269316548650626912283571802854066519522809879237788888767004171575136238684680734028784354006416143968677437354956922238027136023991302345273926090990397613058778163006414640805909126022380694486289466728103175058261846148099514250152757835626723840*y^31 + 114158258336721347600995239076388934981809481555102382636096669137154711222106303226838659699562027039548582389030377958228995175071704538956745830798387711091102169325842177614947594101570260965947795606461629973259758327636980765113786250768096607324091591458890402981603052615428216118605843488647217973244559722642849731405172856826989710986850291838288447518658068727359307484904957855094080922693553281523158104965392737260371284231541066830003012178860720811715270256330634917308042147446221023848989005692848806166356999827/4616690535519488168028637654008467006548424810333946328615554805283990284801523358786290673454413950217469019599385745614453834260153407515777817905899740102747513026450746018979177851794059304663822922811504560035832034645912443511020566022959985235469362231282292286345820771541351731505519013900179117795306229386876148435088536925082539647715477592896068195623066865366958287547469705336410672844834925150610292568943527221121740282970746588222332287547040230259750292108769853225561922315192873789098899457004071472216524464778240*y^30 + 310463501130872919193347786785900275539152071224269632796178795382621658156086001269987419073637859899733515560599824478940783492046828138595931456466365457040342355760773784231930277951122055932522700959907254500703253833287868892993896293551832090560263082699749248878545871229095713508347142884105611466944889443459573911740072307190113819505118150951082550777038788694060157426209730096134441846978465418446679210413137061681098982288047151466690365957954198603902740944103487003958293598025482601312896942958723553229295079239/5386138958106069529366743929676544840973162278722937383384813939497988665601777251917339119030149608587047189532616703216862806636845642101740787556883030119872098530859203688809040827093069188774460076613421986708470707086897850762857327026786649441380922603162674334070124233464910353423105516216875637427857267618022173174269959745929629589001390525045412894893578009594784668805381322892479118318974079342378674663767448424642030330132537686259387668804880268636375340793564828763155576034391686087282049366504750050919278542241280*y^29 - 12478222973584113513089133729278761149971737252009241441867929087232222270220761542990552829910362338194128097057049554898215104893924386966566150808694595124458830304491496470298996237955380775875750281321477693998780794345819465335609472819945752771276725570307277632086307601800397204720858247029849247694904055770291386402868814572716957186904235433513389888343660488501608212979697559840758603856076343947341829709282225994453410456516058611223094687366399032949191741517673587940308446635488348794279189041439119467933581416689/512965615057720907558737517112051889616491645592660703179506089475998920533502595420698963717157105579718779955487305068272648251128156390641979767322193344749723669605638446553241983532673256073758102534611617781759114960656938167891174002551109470607706914586921365149535641282372414611724334877797679755034025487430683159454281880564726627523941954766229799513674096151884254171941078370712296982759436127845588063215947469013526698107860732024703587505226692251083365789863317025062435812799208198788766606333785719135169384975360*y^28 - 219615943942968125437247678191676938196631904287393637948198903417633898157096280543662486198786447682417608484599971380456946970767949733957948777791620808392653417270807761144043969206381397381406557649920175886343832451902103691292383242774540505285774297659796388048423139989353324161769786060424375124413266017339912706930175559123614862752658752950091218635404511525252751090531642490147206538781136721928142638354083713350332203351578379690282585642212468371377781528094266452165146549652057108037330182816271981939622256313779/3590759305404046352911162619784363227315441519148624922256542626331992443734518167944892746020099739058031459688411135477908537757897094734493858371255353413248065687239469125872693884728712792516306717742281324472313804724598567175238218017857766294253948402108449556046749488976606902282070344144583758285238178412014782116179973163953086392667593683363608596595718673063189779203587548594986078879316052894919116442511632283094686886755025124172925112536586845757583560529043219175437050689594457391521366244336500033946185694827520*y^27 - 15311400264373725820069745200363887700818113794263399283296617628681914966768355007372979813019477089335208212881243521418367707385194102990712339300105803064614968164726879934943322772240654319911664556639428267368784577619023838151151281005031089613851889305495175830755623017358860367914877518952655014057501085641830155943921927187159300569143813223138945208281410945111310607318368981854620273852003743877157449441587195706045896164229809922272735872626515737907778090074525401194422316475846892709586966836307753894271304014258963/32316833748636417176200463578059269045838973672337624300308883636987931993610663511504034714180897651522283137195700219301176839821073852610444725341298180719232591185155222132854244962558415132646760459680531920250824242521387104577143962160719896648285535618976046004420745400789462120538633097301253824567143605708133039045619758475577777534008343150272477369361468057568708012832287937354874709913844476054272047982604690547852181980795226117556326012829281611818252044761388972578933456206350116523692296199028500305515671253447680*y^26 - 78237395804216797413040437463293062442768091760575971552379062241809255594095553169183879876741959544625932861235871177995040099686198207424657825146531001741575258313840296817381032149566044009686093295856860478180513682113670784571768732626497711974890234657070328913538468784445206806688410979808863393729603791391672708842476838030641083483989858408880514752310259988485325536485593131026579669747966948951722594446369486475951243542916809372521548492533576628028936970253077453223212078011098487193251124351978123042792709397579057/32316833748636417176200463578059269045838973672337624300308883636987931993610663511504034714180897651522283137195700219301176839821073852610444725341298180719232591185155222132854244962558415132646760459680531920250824242521387104577143962160719896648285535618976046004420745400789462120538633097301253824567143605708133039045619758475577777534008343150272477369361468057568708012832287937354874709913844476054272047982604690547852181980795226117556326012829281611818252044761388972578933456206350116523692296199028500305515671253447680*y^25 - 85023120044930448087592760009332160430157156754178836058077542052951493844938004813242263465188394782557781060123985977317376764401767707480946585774468923643292133049807060352266939048334316194114604611803876431428240774730054517673160821842230134827597159368240554093674858571613248881221322623397393887929232250173175091627327998516413586676501970733718097796283185425450041202569371147422085070706491064315986449998453853449726451015005971049965072717307965695552317503082110928911099056526145563224150836442228822438084127394892427/8079208437159104294050115894514817261459743418084406075077220909246982998402665877876008678545224412880570784298925054825294209955268463152611181335324545179808147796288805533213561240639603783161690114920132980062706060630346776144285990540179974162071383904744011501105186350197365530134658274325313456141785901427033259761404939618894444383502085787568119342340367014392177003208071984338718677478461119013568011995651172636963045495198806529389081503207320402954563011190347243144733364051587529130923074049757125076378917813361920*y^24 - 549907172628720553280268499174210866890719149148599458962697855131189407420488928362666889159623337938174678115192427814149507070853019592351150633417817146069274605339495073562542956756699459065394026690703445910390787116330977490184210631078031383406209739900225508767362919056018763178878036002083322882316070168280635676656003891923270913032394702902289004134957361861089031126451403652550071688062853753860468845805994307710873183373755406607380860333142933129086582121170405098135528648585609717670970436798124754377077217266038219/10772277916212139058733487859353089681946324557445874766769627878995977331203554503834678238060299217174094379065233406433725613273691284203481575113766060239744197061718407377618081654186138377548920153226843973416941414173795701525714654053573298882761845206325348668140248466929820706846211032433751274855714535236044346348539919491859259178002781050090825789787156019189569337610762645784958236637948158684757349327534896849284060660265075372518775337609760537272750681587129657526311152068783372174564098733009500101838557084482560*y^23 - 947821685753617755151329677817969826220441530550762453815096448491299872707122278654909027675416900348742942789090766456287622827014491482055538996056315124678289201413268733407778632281028786835859387910575798957044877703638039136553492323277386368972161054249884190706178987496738497733641858744695247675732817439634228758402817657142829292214252383761281669690788135271612886695040764374922473048674132813430927990103468039144022087861224060989533179735149742277804100681265359641710655333265699511042124329876244140114061897608084283/6463366749727283435240092715611853809167794734467524860061776727397586398722132702300806942836179530304456627439140043860235367964214770522088945068259636143846518237031044426570848992511683026529352091936106384050164848504277420915428792432143979329657107123795209200884149080157892424107726619460250764913428721141626607809123951695115555506801668630054495473872293611513741602566457587470974941982768895210854409596520938109570436396159045223511265202565856322363650408952277794515786691241270023304738459239805700061103134250689536*y^22 - 1651993041039673734444383243375437855896419934383569060431922474864887691351001176294578901303208220340071670649421958487475825151364502253065631383410758602954260277048526756518482867783987812405133766155391109056283247754489348088261795725097405102009950085238050488936223301462836392176165384896841910600608837048646506724763494096202269418187560436909384054766651743819425795276574512680846805977389137794139431193206539811068108856232853359550092624111302092000113848943148735495824674031562343132779087822848510578155519429575001485/3231683374863641717620046357805926904583897367233762430030888363698793199361066351150403471418089765152228313719570021930117683982107385261044472534129818071923259118515522213285424496255841513264676045968053192025082424252138710457714396216071989664828553561897604600442074540078946212053863309730125382456714360570813303904561975847557777753400834315027247736936146805756870801283228793735487470991384447605427204798260469054785218198079522611755632601282928161181825204476138897257893345620635011652369229619902850030551567125344768*y^21 - 2809871099844299172478469123204116512589973296529587927718249064263569154293825272702320779223102158389641276033299661365657834402395708223264671734415812145040377783233917766659018774328758055546329488086064463615050894207160294887764141500812103159983927095959219843969320518291480903329332099955944434929039812238227867664407891733857412285767389272009029723096570715671436696882641837915135090890365051566381017482666982036588551977989347088058645930997203999412538620943770622367235158422928113542547367784529028140267724265719390997/2308345267759744084014318827004233503274212405166973164307777402641995142400761679393145336727206975108734509799692872807226917130076703757888908952949870051373756513225373009489588925897029652331911461405752280017916017322956221755510283011479992617734681115641146143172910385770675865752759506950089558897653114693438074217544268462541269823857738796448034097811533432683479143773734852668205336422417462575305146284471763610560870141485373294111166143773520115129875146054384926612780961157596436894549449728502035736108262232389120*y^20 - 35678249053868756187474076646702568986873866533359443557940792201690413326478729293824337860020965857480839082453765894322936616852815133532019940151142086752101674765322122992573820106718521446961411335653955369492806790770382821219092731917626321698567641767911774003007969680305310471166190411560908315165328591601488618173284731135230358882231348772883667958405641333642870017363986468474759249370064038082727387632502429081854924890905560954249296559435770769364729491089992984866748427523689493437679286245741706814005225918072702241/32316833748636417176200463578059269045838973672337624300308883636987931993610663511504034714180897651522283137195700219301176839821073852610444725341298180719232591185155222132854244962558415132646760459680531920250824242521387104577143962160719896648285535618976046004420745400789462120538633097301253824567143605708133039045619758475577777534008343150272477369361468057568708012832287937354874709913844476054272047982604690547852181980795226117556326012829281611818252044761388972578933456206350116523692296199028500305515671253447680*y^19 + 7790051682410880227025503770172949826518974943328755449791431770817344139727325231726728070405023021635071193749666273548456855536188334039968231454077799307368452457930780839424821215072112897334712246773631277950366781199803886587341234741896742430016629313722192726879965945713201136625616654047132865598228085776039532101685606273822826003469921826240788757085227143958069326190827795703454120116684633151253408082530432706767633415947097140901935204844040986448716068782757103384276298214061732732867543021431451103069485011251004507/5386138958106069529366743929676544840973162278722937383384813939497988665601777251917339119030149608587047189532616703216862806636845642101740787556883030119872098530859203688809040827093069188774460076613421986708470707086897850762857327026786649441380922603162674334070124233464910353423105516216875637427857267618022173174269959745929629589001390525045412894893578009594784668805381322892479118318974079342378674663767448424642030330132537686259387668804880268636375340793564828763155576034391686087282049366504750050919278542241280*y^18 + 1349179641586118040676514291625930924683895699151060235760066003679646817545445879155975092716954019821318209850027214748222706996636240241816489237273093823733629445340540143717077995333777250339883728985100725239810198424755658629137464902709041203074090586706361139397400926324960234122565279089469597272406306350758030235312468601671731386347506835696883676723430053145462231528998775721843463122340945573617095404197638955577291675383348916532620305220183298416728660678875291901385850409554511183629315092919220196087740729087589271/134653473952651738234168598241913621024329056968073434584620348487449716640044431297933477975753740214676179738315417580421570165921141052543519688922075752996802463271480092220226020677326729719361501915335549667711767677172446269071433175669666236034523065079066858351753105836622758835577637905421890935696431690450554329356748993648240739725034763126135322372339450239869616720134533072311977957974351983559466866594186210616050758253313442156484691720122006715909383519839120719078889400859792152182051234162618751272981963556032*y^17 + 64031247256096025290627886259267490049884824773157984914392282418224095760051923798639981598587805355857468563936781272641465259111037536962305975178348575248562671833504944773609213795582860636026126010425474563518073077555121934767997383964339784354336690814950750099005466012151524828277524207480529771303096527477199430000482605815044563982532161497727083104916950778353195784618826329928277895123110634415377018023108042857468832921314498120481477698527675353238559908833983279940920808230373182552604682936095024330570998085739597231/3590759305404046352911162619784363227315441519148624922256542626331992443734518167944892746020099739058031459688411135477908537757897094734493858371255353413248065687239469125872693884728712792516306717742281324472313804724598567175238218017857766294253948402108449556046749488976606902282070344144583758285238178412014782116179973163953086392667593683363608596595718673063189779203587548594986078879316052894919116442511632283094686886755025124172925112536586845757583560529043219175437050689594457391521366244336500033946185694827520*y^16 - 6417716409128322495950649122504983669101935385154732344148180615199795750318168389724647436361600083468483722882358192583599271432943661883007659734864410611933514296881506852326865608239853474840837805568927239752238929011268048086071169578852879507664296634515593007225723684962313573130971209407145971275908807960864851546514408517434270643260167678246742265125152871197088566258465097783008535403396885623612646680140834788933518139937249729300625827735670254401671440598360076156041809011346220898721555421654603861280068594146694869/577086316939936021003579706751058375818553101291743291076944350660498785600190419848286334181801743777183627449923218201806729282519175939472227238237467512843439128306343252372397231474257413082977865351438070004479004330739055438877570752869998154433670278910286535793227596442668966438189876737522389724413278673359518554386067115635317455964434699112008524452883358170869785943433713167051334105604365643826286571117940902640217535371343323527791535943380028782468786513596231653195240289399109223637362432125508934027065558097280*y^15 - 21886408927744087687731581843667826533861998982434727360528972385680400113263030341432523015772737375107800709523944820271952444071801732782293407858944622074395991718828907699705973287235477562642370206536268652457850536671228526512501472758926287399489956351388288122287057659549769547054375423579157809479728100691780244253098426387650866929829741686778490335576429920167801443420547226497136086172809404089979426213645871200627741683889962827236321698528525349045222087149543460918682706448325398945195223858333207625186242639836432701/504950527322444018378132243407176078841233963630275379692326306827936437400166617367250542409076525805035674018682815926580888122204278947038198833457784073738009237268050345825847577539975236447605632182508311253919128789396673509017874408761248385129461494046500718819074146887335345633416142145332091008861618839189578735087808726180902773968880361723007458896272938399511062700504499021169917342403819938348000749728198289810190343449925408086817593950457525184660188199396702696545835253224220570682692128109820317273682363335120*y^14 + 54735274259661111424583632175682689189156569681303876306830085659343002593695653657510122012283110893819503802078987190709184258840829491920307821614918960989302980883439315906229953755832375934566982934043040878722772964098903437586064316335135109362800503839027511810759012672547429161275938416013749964542538808092880630437961868926452261845611999977732985139940669089739074404259717744327392426248554995810569282118214736226835148556468127026905200663228472315588377337159994262996770989523636679772419788353049034512479923221502997783/32316833748636417176200463578059269045838973672337624300308883636987931993610663511504034714180897651522283137195700219301176839821073852610444725341298180719232591185155222132854244962558415132646760459680531920250824242521387104577143962160719896648285535618976046004420745400789462120538633097301253824567143605708133039045619758475577777534008343150272477369361468057568708012832287937354874709913844476054272047982604690547852181980795226117556326012829281611818252044761388972578933456206350116523692296199028500305515671253447680*y^13 + 1068225487995061534581685377356495410166076041609539811608974192679472956247179588679112765874526403386965565620221189534461314304321226316260787291474374771136944819544464238408127567011458299589393828115602208485937550663356309888530442529233219092459959166073700003232060593314417662286136118662756950968594458479883122597420636597342778289452268855310945318572606205697483368125162017375920975929609206122320186494541041999754604090372961613668274586760607359105025878955168469684226756377942714552514136026067281416953690622007721273679/32316833748636417176200463578059269045838973672337624300308883636987931993610663511504034714180897651522283137195700219301176839821073852610444725341298180719232591185155222132854244962558415132646760459680531920250824242521387104577143962160719896648285535618976046004420745400789462120538633097301253824567143605708133039045619758475577777534008343150272477369361468057568708012832287937354874709913844476054272047982604690547852181980795226117556326012829281611818252044761388972578933456206350116523692296199028500305515671253447680*y^12 - 6401092900213285587263869144138437573873214272254278139142345120722497545671561749946440690485038886423431307066944289659241948215918731887206257355341326015697869275662633085805379869916371684975227210573218868764078969660834594568354755491070660634470655887715231422407476675762154178035380962081916297483036556564314432683274450733151323697888522027328239537829327587067397214977804015635744057894751500911923764499181766228086519033857473167003543968584805892985952147870458161459447642620002480535691679943122870171348874052635447583/16158416874318208588100231789029634522919486836168812150154441818493965996805331755752017357090448825761141568597850109650588419910536926305222362670649090359616295592577611066427122481279207566323380229840265960125412121260693552288571981080359948324142767809488023002210372700394731060269316548650626912283571802854066519522809879237788888767004171575136238684680734028784354006416143968677437354956922238027136023991302345273926090990397613058778163006414640805909126022380694486289466728103175058261846148099514250152757835626723840*y^11 - 15219322886259289115471968809506376604951138638239521860948101822028259267316447973097355475468417086585522234529784677267739873737112334168303404232455381185211357075553841114727445228891321365328160295440868662197331772214896042286566335822033944774881743606567908814203628399333239387722269491983349750383621184450567769700087527250063492024271688827762714190395385864751911408851151950616035722009733752843856551834939996627428360818882415908867161042066450009651472392184673022350184113254562261366425163810510417019788070888026541727/2154455583242427811746697571870617936389264911489174953353925575799195466240710900766935647612059843434818875813046681286745122654738256840696315022753212047948839412343681475523616330837227675509784030645368794683388282834759140305142930810714659776552369041265069733628049693385964141369242206486750254971142907047208869269707983898371851835600556210018165157957431203837913867522152529156991647327589631736951469865506979369856812132053015074503755067521952107454550136317425931505262230413756674434912819746601900020367711416896512*y^10 + 896642962580911118262834214915614094771766118755336757449973568836557453271069753435723114952587663337808102433473999475652267580854991460801966560253186710410698676966906899407530195796098885091883682402683456820678431766196061651153851154856158520322360182445488246334994117073913484744658312404215414913162449781683889561012046265141925718567751910831968462792051001250343759121765259116827187057509225340580158175140597487672492894132783124958011533662484108882395764729788544168221759464846042754223048660230366172686170033485369579/16158416874318208588100231789029634522919486836168812150154441818493965996805331755752017357090448825761141568597850109650588419910536926305222362670649090359616295592577611066427122481279207566323380229840265960125412121260693552288571981080359948324142767809488023002210372700394731060269316548650626912283571802854066519522809879237788888767004171575136238684680734028784354006416143968677437354956922238027136023991302345273926090990397613058778163006414640805909126022380694486289466728103175058261846148099514250152757835626723840*y^9 - 14608766804197474024395811434651839482614830777708441826633361241818135253410559917827601378270891475522553073436899468729544938524139831673118756404640230377382674277668841132878750139347098291908483681857694980540722686129281664574428965740779325779350705964763601237321180615967377922155368159152291980254824367852366347841432294340054434108127270153339274568684830458546417816035471326172227502170133524626203790383413116606729073210613320351995370324899250874220427446442582122181103581619532124845124511382292362273097062815224951573/16158416874318208588100231789029634522919486836168812150154441818493965996805331755752017357090448825761141568597850109650588419910536926305222362670649090359616295592577611066427122481279207566323380229840265960125412121260693552288571981080359948324142767809488023002210372700394731060269316548650626912283571802854066519522809879237788888767004171575136238684680734028784354006416143968677437354956922238027136023991302345273926090990397613058778163006414640805909126022380694486289466728103175058261846148099514250152757835626723840*y^8 + 5458921464664848317262342868700986418431555330800460086468742122145518312409799373791271235261347678661933884025365726314480023615602971075609153314152660043130072851365309026020194300585620768744820207026756470003446151919157084987943324306624823641145187235037254927973199156089134187751430726682420108031724059831985858636025904889777907846160507965939099733370903307521855556283280535175401803071954373411047596769728679207302502576773844320118494893368803843574810127145164227918204391830472143972172503540974431144962751722774021863/16158416874318208588100231789029634522919486836168812150154441818493965996805331755752017357090448825761141568597850109650588419910536926305222362670649090359616295592577611066427122481279207566323380229840265960125412121260693552288571981080359948324142767809488023002210372700394731060269316548650626912283571802854066519522809879237788888767004171575136238684680734028784354006416143968677437354956922238027136023991302345273926090990397613058778163006414640805909126022380694486289466728103175058261846148099514250152757835626723840*y^7 + 963540387377069685344788455274225969120741849776008762318247605430229191825511512312896188901269858403892342960650361030265769797686000229035123929593503336308035754610249703744618468024758405523062838042547567186181516891845204496021095554687466516016208200847138196441559230752677993814664746223717226158207415499827887605712007639372210071303580291740151695164635473324159941674129197886417710972314304076122874809841615660838158479155364851166257537056134157924510766627678947993164269524902701281326743091723225806465734261238713119/3231683374863641717620046357805926904583897367233762430030888363698793199361066351150403471418089765152228313719570021930117683982107385261044472534129818071923259118515522213285424496255841513264676045968053192025082424252138710457714396216071989664828553561897604600442074540078946212053863309730125382456714360570813303904561975847557777753400834315027247736936146805756870801283228793735487470991384447605427204798260469054785218198079522611755632601282928161181825204476138897257893345620635011652369229619902850030551567125344768*y^6 - 1271095407516048822619002014190848092527307563452852664315706743529009770253229466516230604558947538511619914958514709740936035707995514996670150760638536054614936181724500680471980301705199198788835847916400095382254881473308555299277028221538141371614892696213646067923932896929453285997044588595029560331776069842719699388357856266189227051404164384584045288798918026536228310787473609700232006304036032253375620093578648364135223249931768981102153891962455070508563185176993621651796482008094086742712408476372681495302687808495597543/16158416874318208588100231789029634522919486836168812150154441818493965996805331755752017357090448825761141568597850109650588419910536926305222362670649090359616295592577611066427122481279207566323380229840265960125412121260693552288571981080359948324142767809488023002210372700394731060269316548650626912283571802854066519522809879237788888767004171575136238684680734028784354006416143968677437354956922238027136023991302345273926090990397613058778163006414640805909126022380694486289466728103175058261846148099514250152757835626723840*y^5 - 21772470734918685159947716761142585474232888931544254546174403201153915113192673603574529732370230039663819556804197716661345258453672690586951612930244616938522739199661698769093215671579841396875227486657716452161685980877555959645122798922403075858583865035155600752847203594399310388186315412184370106921357003401529226702241288186847122000328227814645966760408253544019183480063790724146488047542496727508670674498138426928587838062938275242162605877115223552755766466478557495053934107308334774850699923449818320838902782952283363/10772277916212139058733487859353089681946324557445874766769627878995977331203554503834678238060299217174094379065233406433725613273691284203481575113766060239744197061718407377618081654186138377548920153226843973416941414173795701525714654053573298882761845206325348668140248466929820706846211032433751274855714535236044346348539919491859259178002781050090825789787156019189569337610762645784958236637948158684757349327534896849284060660265075372518775337609760537272750681587129657526311152068783372174564098733009500101838557084482560*y^4 + 782901260474813505245506739356537743678839361363775615513843936993340753176253256197409011067510309949462710202841333216126874557571697562191777109149141272112886422798961604356245929214990128986099500613536639881771267565822423370145717493030763035784933525525739906746711394755676211209905657885672891647842919850949762641629514806935888060049566947490650071061565475269523334235802747410462689796238107009025671190124671242997034925362702721755322259679775004554772754812542580889875713917322719239516660969609516538413831477080217/168316842440814672792710747802392026280411321210091793230775435609312145800055539122416847469692175268345224672894271975526962707401426315679399611152594691246003079089350115275282525846658412149201877394169437084639709596465557836339291469587082795043153831348833572939691382295778448544472047381777363669620539613063192911695936242060300924656293453907669152965424312799837020900168166340389972447467939979449333583242732763270063447816641802695605864650152508394886729399798900898848611751074740190227564042703273439091227454445040*y^3 - 1872781591501767001759530620566149964897608373192031593530398679990768868946812862775688101588511175805353144214006763279631950082095095150687378000859138334375630480086278579161639892408263109075986152700535280829647703171110300769216696031057046533340827082699855687573810996656426849616247872038669344591612357469600778124246644383657863930441204237039606005194671445623909615873906946124285667821332265802959543590700623657215676547035507189032272753602586878822835435358783962097669094650772500658016573980262366083295248011335551/897689826351011588227790654946090806828860379787156230564135656582998110933629541986223186505024934764507864922102783869477134439474273683623464592813838353312016421809867281468173471182178198129076679435570331118078451181149641793809554504464441573563487100527112389011687372244151725570517586036145939571309544603003695529044993290988271598166898420840902149148929668265797444800896887148746519719829013223729779110627908070773671721688756281043231278134146711439395890132260804793859262672398614347880341561084125008486546423706880*y^2 - 52249208966765059900972697815035589706445651948290171519548778573245550825493532924165923830122642473083505112086467142295941420816273036130846411473080315939668750430086060887460556114229388451572655332189601360476732152182333910580174349962020311148079804710748168387955109114515564076708938060685705877894874891794674569843931009801916416879967395923334716142520114276194091663926298309586424022038042745731760939983179150829417346927733702290844013180285015329673852927581934033024501110598073093059044767754001551866636198232413/2154455583242427811746697571870617936389264911489174953353925575799195466240710900766935647612059843434818875813046681286745122654738256840696315022753212047948839412343681475523616330837227675509784030645368794683388282834759140305142930810714659776552369041265069733628049693385964141369242206486750254971142907047208869269707983898371851835600556210018165157957431203837913867522152529156991647327589631736951469865506979369856812132053015074503755067521952107454550136317425931505262230413756674434912819746601900020367711416896512*y + 1859379814881334011716177065950827390421945745886044040841440124116581450952534966947170425610029701944889764550013622992412301062039680261726675318722687314681266471673970013005263942828507157636912401854873237794512203339391842144601046943751658890081060914755713306436646044027008384747951139042484697103466231068536750068373889695051594491973568275815017520596732449914258019349670452460503036203411113770532549826160152139914100720028361713331543148109246954120797685608341217872878292431178497542372606424859372071663067686435263/32316833748636417176200463578059269045838973672337624300308883636987931993610663511504034714180897651522283137195700219301176839821073852610444725341298180719232591185155222132854244962558415132646760459680531920250824242521387104577143962160719896648285535618976046004420745400789462120538633097301253824567143605708133039045619758475577777534008343150272477369361468057568708012832287937354874709913844476054272047982604690547852181980795226117556326012829281611818252044761388972578933456206350116523692296199028500305515671253447680