# Manifold: Census Knot K8_104

# Number of Tetrahedra: 8

# Number Field
x^31 - 26*x^30 + 274*x^29 - 311*x^28 - 16367*x^27 + 146336*x^26 - 365724*x^25 - 697170*x^24 + 4971271*x^23 - 10550768*x^22 + 15352982*x^21 - 22068022*x^20 + 35847600*x^19 - 61126582*x^18 + 77110387*x^17 - 44320955*x^16 - 26721739*x^15 + 75389638*x^14 - 69689253*x^13 + 31892199*x^12 + 677236*x^11 - 12195629*x^10 + 9734597*x^9 - 4143419*x^8 + 504089*x^7 + 485951*x^6 - 241707*x^5 + 18864*x^4 + 8599*x^3 - 878*x^2 - 114*x + 1 

# Approximate Field Generator
-1.04178233697972 + 1.17586242126308*I

# Shape Parameters
-379873079400266883663299028110512666540070832675710630170375070202972636600849386890045681687647887050513047279234865225246009368/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^30 + 9629315768071360439409126811676964787550954693763422881216930922425373838305417446977949147639928360080509653812810258476213288757/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^29 - 97820959361148144131417899217967551449382586761603236957529490254031638631650608950118986851594314927713516088232457175589817063879/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^28 + 54605622706802517682824241588465127096731567026179879686594633219002522012657694139435345805858156462900823425104694759089987618070/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^27 + 6251212473762293397444972022524726169526636885390707358488139762472764331533842933732841525304442262464551622741570754505305628528187/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^26 - 51516936631494106393902139766541010898286873675747572179786360203184180634259383553067204265863006793342849304832105635534505935868847/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^25 + 105488388445446577059171551730801476968223869357361327857264987499014013361692847704102425094998854984475717572842735543573308868284777/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^24 + 332618076733436404278839827390753962697279287113127422442962343850303351761110012749444090618538388772271149181712517694903321969512842/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^23 - 1669873478584641897966329001012646205567488364547845171337995430633928568149016268590878300269518172730253910989105072390647416117704039/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^22 + 2926075981800886338751444965036645958184439754165086932227029878789101178539422684075572290286356639632177132507296940749423076044910429/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^21 - 3956778695689555445537007128222576720735755203092214534225188031013168947876335637002620129937204038492375074888998790072514870617370036/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^20 + 5861185697008519625217242893424854362713454266762104090217945401211358907043485794247850364263600014722490575035953164867807594133766313/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^19 - 9875087463711319477853980669891036194084564887372903466517512051612117396255596127673530654001892469945738891764944459398771773818052954/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^18 + 16898897723973139404972754192023406308436339006904902081245691195582214038858453738527765570669915414891047697729096216866820436560077589/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^17 - 18470677721303632006246322072124156867672244128652457502431966348484103597376076030064683225013032986565757422858108759742444706714879909/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^16 + 5122094842277292582728458879958056052451398645292955323403030034797782506924116065551301782179045831215337699833790422862284363512089201/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^15 + 13130851461291513208931642982315092774780562763980890743349553460665583416161885752220562597280205250499595335665379697248515259377256923/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^14 - 19968560620090389704120731807327466286626707630718998280609561282600649038167276686762260718527320051006011896817212577761466057301825513/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^13 + 13702024203519450255324222018652559096619366548808782968777599041842074982913771320345744650258525639058062121001257627575360158010636049/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^12 - 3572886191861929717462749696730282106729955172355334747130797102045477717055946464947683557614474703899140901849544380460440937558176128/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^11 - 2311510471559710757553124494999570184777606486991269850236764341849810375118450173226299028899313404868252635598418509437399660508095992/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^10 + 3048852649477905012756735818529075142036335506059893684341856194116129552591460775529374421403133591470568612625383415124013022406863852/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^9 - 1752947679840540371860212967183162797472288439978395636328368436156921428308433503622122095717109047890209128701783260005888117828073259/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^8 + 491451336118078602689368780248817236144968516085857987680887534842649768376937143412859781989039438467239450657092075653580194064761661/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^7 + 93534408518018484376761943716312154652528953824431451895778489993668296386156360239442797314892678017098018273082279176415977468936026/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^6 - 113163638657838563908333654706134036755764425900578971129751392897073578286655503146842394872666064133276330247924347927924743140599660/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^5 + 19599999060809513416717995275821576495482594636216323527082853218702656905576703069321772628709201879609114783124456711467105595785065/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^4 + 3304945524174225285900259184904752931967182607045825109454750445862680819318084559742784080787890370893653331268650983811174353354189/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^3 - 680699890848489064791778806546226404451091043591181922194092702613425960962937846132388793958722899291859587556884298020914180902441/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^2 - 42371685303183965611460130282657613472457186236870977985179507769891939272889756180130161384535266211237230771851276370778804758956/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y + 1205889231469813272053153714282692867250257082140191837049709576252454618870896211901736219288724475061336288750642108262263815668/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773

-1525143041272967909977311493752164618974755960138501835916224983970783493758328684262410414548420180603001176531749543301673773167/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^30 + 38675560857821980558021859994552936334321141180198610289367587630020470777534046058133272966177325545115398080331593511532976484898/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^29 - 393094102277838802796645286790402979817721307264615986828691863745029276848591166780418838878571978089089399910296927396454541934397/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^28 + 222452396013743461462542002757922502531058720685766385422655621631087652068023532542317873468805813143680177612654275568316956667778/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^27 + 25102181960003708293345000823659052836616022696420413149631737717425639220909610119798391997237579697397265279337673443741999217873847/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^26 - 207082391591895991643046106283460792551713842794973945693623631580396726809161415633493447025595879871864266985025881567575722580538050/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^25 + 425127214333888569666108559397541839807891915167635289266937275366525023381139918274577264306397442960536983601641212939318909424932227/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^24 + 1334620501488485800416319096513567796282568215026817487021004832696955907294271049786589283395907645436138831104284771994359228157812284/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^23 - 6723174049081170717820539984314482632320172473317080732454057222035748491663827591001729962531778918608097241900747537621778799010435446/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^22 + 11787808486579571435392705631752098918829917213322964081200267237177742964965500469010897328552784688351509378732657412598148682686418119/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^21 - 15898312220335488447687521098480218375353511640360442357626058897784514083970839420522001988840160425334234476787183084871923056206306431/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^20 + 23537320648788540935804081571028625558986734843791035302467728968530500583858849185453602916918801144639256480610145181139158408277803865/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^19 - 39681980844749508394671601776306740023659922012050422694939869399757825738166160679608555454800352400140857901024697737868760816471284060/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^18 + 67931714415466539128557024249582015690188017993940445545554285848879893336415325687900388155762080040855740399878295551382317288366271398/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^17 - 74296242284609099167281460768605265532583458824287530917936403055884373248862229502716879530871257728191549131388779250910249449971686586/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^16 + 20390488460320130091436296240716552307391124795227471851218179506631180777241195391228831544497455636625077249499612131924972776188381278/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^15 + 53336748348384967334725771881834548573880052608550026377186646217487471051147953106847071765902690395313240447583782436781041872573273569/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^14 - 80613937638736544795445006749243053113073744656605923835782709720425366913147735869916706444837841411792060176350964854280300888925300119/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^13 + 54908810179434038520453718466276420706463172706931435194057982032896057306420186268108139024810666209156866107848589951510784496684567800/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^12 - 13949836965039375195208457386375747863729262541751059145310828060350389399571791229433204580071211144748679955300705665407545064337196313/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^11 - 9601734865543788629224730868817814619214428238761262169739920944656873571039907816047670563703012618637530568712121232013309066137008236/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^10 + 12329337712451670668838193646034558833835907440678005837062425827741960502981200922234065245468817551124010521728641263708897658027968228/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^9 - 6990943365488605199669768764233601486383277355202457960969681176325230846691717085344743713559628452641924395134312543113465155909956665/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^8 + 1915660591213860533438892331315315703371421595331901196070711695547071742715189656309329153775068825818758432502689945896745648286059814/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^7 + 410792236191946702407738477452370243638197464229517877135127036168301401288807058868187152299166314037995017794772621828716588681516395/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^6 - 462324537910301909270767870860369781752795943514373070244636385284716903420069828164047506782868680841753753458447783278826785334373261/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^5 + 73549947339348151778423996426008326142573858318783283017864912889490580384163775439911477133589894705572368607275124217513916537367051/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^4 + 15490610346983311607498471228178575157870164249713773685412095585751861303663067086962378718386091155577142947353042728384386192915229/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^3 - 2528655430752392762353666374689800921061151808941121311603357690329280168601999556968363884824156487918346167295623223187688056279485/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^2 - 239892477575639071024697233640229486175340064296338414813936266131945929972934376264364086833170850079127506992068503852700879016592/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y + 1800157698623872146168445170951527869891028768363784331629969730301937559272663951491310911654690999033134402040089615303818578559/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773

-5571427268433264835708461246185023705870090509682911180133119518147432212205473883575727865514260343840499634985428984583042222767/10444737799261236792214401509355149977556038362158533082334871182205942829252233155002167899893009548887148607778303405116219612368*y^30 + 70872113325833014973184826290978957822650748093081828960340603254207924898820513908888405573588893308679907064144278557338389281045/5222368899630618396107200754677574988778019181079266541167435591102971414626116577501083949946504774443574303889151702558109806184*y^29 - 723705483259362141987754597444813452599753667200159681151934262530794381208488497246470412683898365797194566233587721097906322253789/5222368899630618396107200754677574988778019181079266541167435591102971414626116577501083949946504774443574303889151702558109806184*y^28 + 231232469318604868688496505210864363177812336746548871119228837617580410446850425296903137033378736610739154268227944490086599262437/2611184449815309198053600377338787494389009590539633270583717795551485707313058288750541974973252387221787151944575851279054903092*y^27 + 91694787438627615057421619222971990444968574912146201873236682669092959746103779413551863010452730504864488393870660692700260360389357/10444737799261236792214401509355149977556038362158533082334871182205942829252233155002167899893009548887148607778303405116219612368*y^26 - 764059524038387098627729892285273675421107384940682144905092717582322858602364695037324514444464567378525059503329061783269820600646811/10444737799261236792214401509355149977556038362158533082334871182205942829252233155002167899893009548887148607778303405116219612368*y^25 + 805645679201126250121853007490912478569836398075524469606357173300749135246366111405786494645326559492794157315589218902189633237668789/5222368899630618396107200754677574988778019181079266541167435591102971414626116577501083949946504774443574303889151702558109806184*y^24 + 2389712362035863855911815221326333719920713216054614308010737616010312630093220197145418302037276697010632346539823776770796628082676609/5222368899630618396107200754677574988778019181079266541167435591102971414626116577501083949946504774443574303889151702558109806184*y^23 - 3126853251768527770505156800199960223594090064898085038286669680477770959398361136476128992483513769349630272638477297178179759652134481/1305592224907654599026800188669393747194504795269816635291858897775742853656529144375270987486626193610893575972287925639527451546*y^22 + 2802107219496022082566052755795829613120624859981223289746560175708582114506149675953075795694481965023927395628682701201398789518303526/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^21 - 60658210273190241728793829610219520181071906275468626207072113223758257340149869811336619228638200834328054648902830862496446710371827919/10444737799261236792214401509355149977556038362158533082334871182205942829252233155002167899893009548887148607778303405116219612368*y^20 + 5587333746235301447962580118001245466096791694682084817517192878757012527796362630154847379434547018156223420435343416572718481572859639/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^19 - 150253520662024004277894795209289064449283240672131604226893684111337159120785045134673067418860288372896045997378820852793264236472818217/10444737799261236792214401509355149977556038362158533082334871182205942829252233155002167899893009548887148607778303405116219612368*y^18 + 257308085105183959452687692356338084720542319304593211348502839001396323390259886206695138371332085170174848433428297372025356239412666277/10444737799261236792214401509355149977556038362158533082334871182205942829252233155002167899893009548887148607778303405116219612368*y^17 - 35874434781911311555099158248026479707292578235045406069192738750076956652791426935587998302035590063452773388363393793812635716167692785/1305592224907654599026800188669393747194504795269816635291858897775742853656529144375270987486626193610893575972287925639527451546*y^16 + 88534066930642051428450723495298475943276206134035449849816815585417020756916652822077122473209683205401582957888800801100050349714489655/10444737799261236792214401509355149977556038362158533082334871182205942829252233155002167899893009548887148607778303405116219612368*y^15 + 195980312485125583589547299447388141608138004672343005638380963083451604582348043407013300390318687647532874879923694932108056068187792601/10444737799261236792214401509355149977556038362158533082334871182205942829252233155002167899893009548887148607778303405116219612368*y^14 - 19335913696969316255320585827144895931244776299904861463899831945711258525436241424788698913007505029762853929323797235753201258427840895/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^13 + 27060792453973085358031584485528501672368966996143019379646817792214456490775051567538629536263043836002355952384411300368234490649095737/1305592224907654599026800188669393747194504795269816635291858897775742853656529144375270987486626193610893575972287925639527451546*y^12 - 29552456390721234329753046293643099594487894076158267276571630529354056982797340746815113474231998407324037190324000559112566405629611709/5222368899630618396107200754677574988778019181079266541167435591102971414626116577501083949946504774443574303889151702558109806184*y^11 - 34785616564202793449098441104525425755548181141292600502640029361418912707921615231600622807507290583424061514749575931388956203256599433/10444737799261236792214401509355149977556038362158533082334871182205942829252233155002167899893009548887148607778303405116219612368*y^10 + 11923047431847988450467964146907134357518318739872638907507053446364474248294554573466535587733087803591825461294327538687716970714422143/2611184449815309198053600377338787494389009590539633270583717795551485707313058288750541974973252387221787151944575851279054903092*y^9 - 1730355104478509049859937202736212668099447123698360541750924705659068656833984078979807216960870688238368122156545923771934910084941167/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^8 + 7986131782954209085759476070127372395018210196294469392190038496946087598208827608782401604481665239385976673542065856638099482008421725/10444737799261236792214401509355149977556038362158533082334871182205942829252233155002167899893009548887148607778303405116219612368*y^7 + 86394661370025413419499455297217517238448127413627240615555578768643571973360884379788981912411548189839111539483870723300577834134576/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^6 - 1827501237980522070970074042393732547223134392847394211312963447116106652835459279566964963868443336880106413489252255189781901701543267/10444737799261236792214401509355149977556038362158533082334871182205942829252233155002167899893009548887148607778303405116219612368*y^5 + 317033681834801036663469671341635743799231825783997823391009810146297481331144556284189542404054101561812489998299784857725561371828587/10444737799261236792214401509355149977556038362158533082334871182205942829252233155002167899893009548887148607778303405116219612368*y^4 + 29171150523432082541081405813101238022483420231591088697888066425478035646240561590496601535546077806849270121262052689590634487884213/5222368899630618396107200754677574988778019181079266541167435591102971414626116577501083949946504774443574303889151702558109806184*y^3 - 1240631465764539916831200898559479502645605503290105561288239745781562911264711773307767102667974238231841371186788115251240060606833/1305592224907654599026800188669393747194504795269816635291858897775742853656529144375270987486626193610893575972287925639527451546*y^2 - 921236156381958425803787007127611154436726700236628882973326103168826441353903803894954557883450244028701127883961740290724855595905/10444737799261236792214401509355149977556038362158533082334871182205942829252233155002167899893009548887148607778303405116219612368*y + 18999131745356323684364448674698561478944345494687036264656185024039512843633218182885902953790012790044242392059377672293162896931/10444737799261236792214401509355149977556038362158533082334871182205942829252233155002167899893009548887148607778303405116219612368

-860525707660116228143425674141101810543035574739373573667205397661519875150917222786414747838771945262501159149202190249800249671361/1050348944938208124917060751784527269617979107794567483092300483260585125766677696649905509432990772759963881869705636176999834768757*y^30 + 22247809458655294415981870201506037096270914821813868313303473425947479015375367794832997904671013997787136218471307391540680939270105/1050348944938208124917060751784527269617979107794567483092300483260585125766677696649905509432990772759963881869705636176999834768757*y^29 - 232593369909774078965978720023569316187844702849001006821996471653407426362087550768949662974996566447950810508290108414154049815302082/1050348944938208124917060751784527269617979107794567483092300483260585125766677696649905509432990772759963881869705636176999834768757*y^28 + 235207796790770841733773743244693441254641630447761337715207773838634549526169560020082924897866143672328952398510224585412733961573795/1050348944938208124917060751784527269617979107794567483092300483260585125766677696649905509432990772759963881869705636176999834768757*y^27 + 14102347032113412753168594946442246939520652985438099502182740819995002480227597757318911548045317716026944981732571012885679785026029066/1050348944938208124917060751784527269617979107794567483092300483260585125766677696649905509432990772759963881869705636176999834768757*y^26 - 123854321165888993331819296924761845599729853500874843060256693911258039354454931546367850026783649028556464643826019413767162407302881639/1050348944938208124917060751784527269617979107794567483092300483260585125766677696649905509432990772759963881869705636176999834768757*y^25 + 297641302987200399339498728018821916158404404593820030306370114801996649861088182496179933242337202316835600235008841875990458661225482891/1050348944938208124917060751784527269617979107794567483092300483260585125766677696649905509432990772759963881869705636176999834768757*y^24 + 634892888098079697584125606821376724044292899249864958325576501520428584309908945617350116829819378453594707625471488316810460512345889455/1050348944938208124917060751784527269617979107794567483092300483260585125766677696649905509432990772759963881869705636176999834768757*y^23 - 4167543229476755856021615059179222606594361311575858557166663158096555344592878052374052852722046011270071414358077751760571819857530814593/1050348944938208124917060751784527269617979107794567483092300483260585125766677696649905509432990772759963881869705636176999834768757*y^22 + 8525252182209581982304981165748935357633428241965724569234068673367676144470342764834460574629808281315131223348457282495558446905381598668/1050348944938208124917060751784527269617979107794567483092300483260585125766677696649905509432990772759963881869705636176999834768757*y^21 - 12242672911872115780921141447281807784004453729035736995172553857711461269985157349978986347288678519896553933936171605620622568734217072626/1050348944938208124917060751784527269617979107794567483092300483260585125766677696649905509432990772759963881869705636176999834768757*y^20 + 17684405513650213200949616327585865391604819486088723357526720766648114875397984317565148941997677440872112650882297530785400037485600452522/1050348944938208124917060751784527269617979107794567483092300483260585125766677696649905509432990772759963881869705636176999834768757*y^19 - 28914263791097720405309403492599925838693359521595828680567533382311674674638010537024156599202102385538750166746533143001534624944181035917/1050348944938208124917060751784527269617979107794567483092300483260585125766677696649905509432990772759963881869705636176999834768757*y^18 + 49339735421079355538622555201846447664572813389695501172895004879041258856911010705156420146400337389366322930333934769321027360054720379188/1050348944938208124917060751784527269617979107794567483092300483260585125766677696649905509432990772759963881869705636176999834768757*y^17 - 60772027205706352480234541688705342045437527898694929826484005527931823689444463282134217496896845852864393910564129897637798275960898111999/1050348944938208124917060751784527269617979107794567483092300483260585125766677696649905509432990772759963881869705636176999834768757*y^16 + 32046333259202088008632430264534414761433901178527309254154132165975816116367985949163545304848919807657153433542571940510016375141931710961/1050348944938208124917060751784527269617979107794567483092300483260585125766677696649905509432990772759963881869705636176999834768757*y^15 + 24637906677139639818543488355128036317755103820191874858684459028097180998630136726080670684693169616604703751907596410165233096351082211844/1050348944938208124917060751784527269617979107794567483092300483260585125766677696649905509432990772759963881869705636176999834768757*y^14 - 60463095322811460620316549359540331304377601679309664264084354700433431467113503485980374522744485245237267314653809597442716630474747420841/1050348944938208124917060751784527269617979107794567483092300483260585125766677696649905509432990772759963881869705636176999834768757*y^13 + 53342529164312920610768404703422797704888603691615105770422988981239774435364707139754454600855843181784021421542716747468589019385303724898/1050348944938208124917060751784527269617979107794567483092300483260585125766677696649905509432990772759963881869705636176999834768757*y^12 - 22952655741856281575340801117394113012092434286588025109994960608437051320906767973784200938185419543732795317432802427024439143735439831006/1050348944938208124917060751784527269617979107794567483092300483260585125766677696649905509432990772759963881869705636176999834768757*y^11 - 1704142943934048266614432261315161557100548746009772298920339002365895704923598076895466339104428483419286212391030408139073778858361223394/1050348944938208124917060751784527269617979107794567483092300483260585125766677696649905509432990772759963881869705636176999834768757*y^10 + 9691694293746535607862293579148613093180737828708966246248224120943990669519210590156376539668233165590129170112343791872860940901198529976/1050348944938208124917060751784527269617979107794567483092300483260585125766677696649905509432990772759963881869705636176999834768757*y^9 - 7361538161584990572317272975958074920807889810176236931568349214078988531980303187689269719296114252762667837683890180320149983220353328294/1050348944938208124917060751784527269617979107794567483092300483260585125766677696649905509432990772759963881869705636176999834768757*y^8 + 2994170144660535995899794549551862990628097511266504214636331441083114743727249913754876129054677802462307699503334913903033342870163283211/1050348944938208124917060751784527269617979107794567483092300483260585125766677696649905509432990772759963881869705636176999834768757*y^7 - 279826391138576996563526537263816367070911196149466894922304358155324577118848704762976498294804544669547403219534792098133068579746283601/1050348944938208124917060751784527269617979107794567483092300483260585125766677696649905509432990772759963881869705636176999834768757*y^6 - 382693444566204267300306995318175282687867405520794608039756125070008908615015783372021893235529735950022512720532811055605830250506388508/1050348944938208124917060751784527269617979107794567483092300483260585125766677696649905509432990772759963881869705636176999834768757*y^5 + 169686950256514902695953288251411669541277844415756390606199129389112066916498270762838609247365852643502170258042489284268254866592191732/1050348944938208124917060751784527269617979107794567483092300483260585125766677696649905509432990772759963881869705636176999834768757*y^4 - 10291345704494464777455251640629670357713062579859814808087603762791205930221054445592323959588144797786441805167378356292237890880637634/1050348944938208124917060751784527269617979107794567483092300483260585125766677696649905509432990772759963881869705636176999834768757*y^3 - 6037139350331202563190444272816054177921891455792365063059505944374882607902661580384183614793636481214376622661934011003503406641460038/1050348944938208124917060751784527269617979107794567483092300483260585125766677696649905509432990772759963881869705636176999834768757*y^2 + 524291400451644833192472617290976292311021586734127991965281872598616741601541710531843264613032757903384020943949003640112929623302346/1050348944938208124917060751784527269617979107794567483092300483260585125766677696649905509432990772759963881869705636176999834768757*y + 78133888598999837473371677674905902166789630185396829805797925674427865394773583062391683403707511046125770613133657459434679744966270/1050348944938208124917060751784527269617979107794567483092300483260585125766677696649905509432990772759963881869705636176999834768757

-94616692827245554035787543651928683203040835838382484796209541487482865877191778322082306332359034696291822122113629985162060605/2611184449815309198053600377338787494389009590539633270583717795551485707313058288750541974973252387221787151944575851279054903092*y^30 + 1201801071822415577507708470094368722560375652076960669475352915008248899335504714914770535457317733459645504073968337146029734499/1305592224907654599026800188669393747194504795269816635291858897775742853656529144375270987486626193610893575972287925639527451546*y^29 - 12262041561143584821393002951368586603947738866967222365635829536915707404012926625591204245965207562945858781962579780242641381365/1305592224907654599026800188669393747194504795269816635291858897775742853656529144375270987486626193610893575972287925639527451546*y^28 + 3908151486617115163128292259820328974534830227497724283643700150929344881682934974936230876737613165669793140549664458385187867226/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^27 + 1549366860240691726729299454955431992650169334116523216817399151750838279932321498232515563536535812772432362518873570353547957067963/2611184449815309198053600377338787494389009590539633270583717795551485707313058288750541974973252387221787151944575851279054903092*y^26 - 12915689377461779251119579395701987696009259733598828323873824429951427410596800363156686959941660509917287324659419002924181886581665/2611184449815309198053600377338787494389009590539633270583717795551485707313058288750541974973252387221787151944575851279054903092*y^25 + 13718605044583317999200376896834902733078608464759373306387827478096657436614834192084296302695194036943157884364151870843256121245513/1305592224907654599026800188669393747194504795269816635291858897775742853656529144375270987486626193610893575972287925639527451546*y^24 + 38905292764234105046855458835093185382180927176746093075030596666715946672479773120076546775417331805912088616729837702901228796628891/1305592224907654599026800188669393747194504795269816635291858897775742853656529144375270987486626193610893575972287925639527451546*y^23 - 103541109560532686714713456434247926604091634437436350829011003282867422853887241970188479087646639509908652587735964695743284502925343/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^22 + 194584329125281226975035517794766190482893785286737442736482869052755727175678092858320022968932707339846447299285732473919077950285119/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^21 - 1136450200184673603634939962896884045946103658989040375709903254570200317853306642238515162752240779814547042836918405575766274917441585/2611184449815309198053600377338787494389009590539633270583717795551485707313058288750541974973252387221787151944575851279054903092*y^20 + 421343663733560766084253567949329950244023886949371173038657471555795599860280239373961329485443234404732608014070159716319741590746675/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^19 - 2770105222019349190406238961491029758175662838310157596238835929115698972490225323566697485082556026215894125420977512220103741485181291/2611184449815309198053600377338787494389009590539633270583717795551485707313058288750541974973252387221787151944575851279054903092*y^18 + 4695479807258386886429672243594626211981965940322290240293831658763178897941609010664211212182641131270278825905714078085055314397690411/2611184449815309198053600377338787494389009590539633270583717795551485707313058288750541974973252387221787151944575851279054903092*y^17 - 1358270716685805289107813852483641904382044733370832774147319356810312848463841751521143889421273140766676724943600139175677675534984756/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^16 + 2553722606354549230191098874529091482834306594694926190266575689334649931598979487680565900448564345028540333893868966555570388943257681/2611184449815309198053600377338787494389009590539633270583717795551485707313058288750541974973252387221787151944575851279054903092*y^15 + 2211686479933169152879558341557276286021967719734422225649003278957590993099535598418663848594689484737079653273983568236834511045600767/2611184449815309198053600377338787494389009590539633270583717795551485707313058288750541974973252387221787151944575851279054903092*y^14 - 1271919475249862844108502473530421653133878873654187754957678474847643586565315906907749250398658849908116321410818786068289183703236131/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^13 + 1145394293143694850418684230058590072758608878179853755325775575713827640127026247122625802667772817905270586447592994458331821811378317/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^12 - 1084167638596381740580899102048432446102125272514101452711413424249856340784742416984836821901191400351671516223078468451504094517761729/1305592224907654599026800188669393747194504795269816635291858897775742853656529144375270987486626193610893575972287925639527451546*y^11 + 115706210504415541803256780691277041980080660988185202973418111422905743283435511218537766230545057673865441026396322573224181806474505/2611184449815309198053600377338787494389009590539633270583717795551485707313058288750541974973252387221787151944575851279054903092*y^10 + 172527423177769766877684337259644721706281643987602886834967878637556143814106209650945049546964513688498099275774697052581085779243270/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^9 - 157461335226457701469476651251847431544556170915876176220722369946226179319474068469840007340051391246073534396617562212683093796107938/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^8 + 299538581586240670681893675373454465919274081074416585692631685794655419279103632181133182168549569677999201486058429934703188536397883/2611184449815309198053600377338787494389009590539633270583717795551485707313058288750541974973252387221787151944575851279054903092*y^7 - 15954029233429288317238589649356128350703961099753456368498453055729493162323114496054791182823530367496078813728985917679197157449819/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^6 - 12236839950517899915661427047938883185282227616187105110883705826753987979945636113449837399590743826939369649968266207168532104750401/2611184449815309198053600377338787494389009590539633270583717795551485707313058288750541974973252387221787151944575851279054903092*y^5 + 13035184880672271026387086510988883419648809638921154149026808667229851182358477320542982224592672972275636231696379159834088816298201/2611184449815309198053600377338787494389009590539633270583717795551485707313058288750541974973252387221787151944575851279054903092*y^4 - 1795335565924830521239840629047055932046006243676274243178548788268525194004968671773432221905520831347932762745202671975100572905925/1305592224907654599026800188669393747194504795269816635291858897775742853656529144375270987486626193610893575972287925639527451546*y^3 + 53440759777241337507902560500859425222748672620607494178325068065351953877456918818784020082172316294312724700112698468309101770114/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^2 + 53791350064074634991649244548684382809462197129535706438880545823402807989404022505092885663042460992628414051572271451407515617945/2611184449815309198053600377338787494389009590539633270583717795551485707313058288750541974973252387221787151944575851279054903092*y - 492304659910740417534088352343461426354561259326903204468026139276761781809098615686703659888607748894729275031115283846885556915/2611184449815309198053600377338787494389009590539633270583717795551485707313058288750541974973252387221787151944575851279054903092

389009211536976026330574643497949295258861241521296990532109676537306889812306671030813795693437857224666304250820793361903941217/10444737799261236792214401509355149977556038362158533082334871182205942829252233155002167899893009548887148607778303405116219612368*y^30 - 4898427675075446589731896197469259158192915489290586819154741569763822912680962959771719156550296525415280757025604839891923651627/5222368899630618396107200754677574988778019181079266541167435591102971414626116577501083949946504774443574303889151702558109806184*y^29 + 49260470592422953268008586570023315450762872633890039249920267740651654512864655144657796494020543038147352495266849727202153644211/5222368899630618396107200754677574988778019181079266541167435591102971414626116577501083949946504774443574303889151702558109806184*y^28 - 9676759162387459248700084807255880195379229764553936513887944462742936936454392631252161026639690296780163859585673565843814871527/2611184449815309198053600377338787494389009590539633270583717795551485707313058288750541974973252387221787151944575851279054903092*y^27 - 6417790285908129516902252038450425539821549308485336478032361463697457386172645407350972782405946175652787462277558095855443965166867/10444737799261236792214401509355149977556038362158533082334871182205942829252233155002167899893009548887148607778303405116219612368*y^26 + 51701581247544418233948921209185921401647168913409399043297409905950919031436872177383133171190749157234359732864542195416020741213429/10444737799261236792214401509355149977556038362158533082334871182205942829252233155002167899893009548887148607778303405116219612368*y^25 - 49430229849532767781553546574724740585653917027894130937724884289631238275173335946871756318966411377338268679499803364347565950048195/5222368899630618396107200754677574988778019181079266541167435591102971414626116577501083949946504774443574303889151702558109806184*y^24 - 181020932810581202079195830486444572951218542277453241728711332945306391587287816235574295703308685344554403797687105408719340811018991/5222368899630618396107200754677574988778019181079266541167435591102971414626116577501083949946504774443574303889151702558109806184*y^23 + 207458769973517640327819895267135876120724569512109319386891643331042193629624742241986332896933679373334905733228963769994866791589241/1305592224907654599026800188669393747194504795269816635291858897775742853656529144375270987486626193610893575972287925639527451546*y^22 - 167842651734689557186795101453893416268817138891626885670786313292747788444802188899904256320781201948450950999723219070321854968447566/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^21 + 3448948987399525994871509445636921770064219203819970420776643640734777217832485549114368288921275815054106747860780043117700504152613425/10444737799261236792214401509355149977556038362158533082334871182205942829252233155002167899893009548887148607778303405116219612368*y^20 - 323956157905053076302970346414946177245567797922599601140238332880242263879140463966875333396515751332743451458110702710322418895743007/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^19 + 8927915140340071338071436035479469530303633072608915725965185446265038868512392212174114217180274793940617893657510359816667636759700647/10444737799261236792214401509355149977556038362158533082334871182205942829252233155002167899893009548887148607778303405116219612368*y^18 - 15331126432970786982175422323765411162510078354273676297986332729958079090628489831255623834631674792736067375138444282874310168508933883/10444737799261236792214401509355149977556038362158533082334871182205942829252233155002167899893009548887148607778303405116219612368*y^17 + 1940687575977354335370131473812336673112218809682410932043085936518496681166135256935945731597586177893490582160910906164724716833764267/1305592224907654599026800188669393747194504795269816635291858897775742853656529144375270987486626193610893575972287925639527451546*y^16 - 1210677711185919377571877463858965042627663211809726990045433884158185058688450783834502800843188862159141003459020115549693267248764233/10444737799261236792214401509355149977556038362158533082334871182205942829252233155002167899893009548887148607778303405116219612368*y^15 - 15087635931880441157087553222850501116695403567876494696349792220307502937966679570019268079285932724328196321446600294593664151999785959/10444737799261236792214401509355149977556038362158533082334871182205942829252233155002167899893009548887148607778303405116219612368*y^14 + 1127842342765049650991657012493442095514116475783571464311834591504592404623006773146812866809452620467366393226052236081519618531988258/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^13 - 1212664197190307031355652697368573421717327019605225562471804709429446295713427181983458877081093445686165163507436036224633231093336719/1305592224907654599026800188669393747194504795269816635291858897775742853656529144375270987486626193610893575972287925639527451546*y^12 + 219716873616005027800941106620974840478666289561164348982226553702363375941012951971634283396530289836262604009761236368693766722910827/5222368899630618396107200754677574988778019181079266541167435591102971414626116577501083949946504774443574303889151702558109806184*y^11 + 3355960410585465866837550482050302358089963689656765206667533114941004463047321380370824373065457733605168610885550688512938115572032951/10444737799261236792214401509355149977556038362158533082334871182205942829252233155002167899893009548887148607778303405116219612368*y^10 - 667747967726627802562892920426078837028010736777077866866363057438680596954404525962169451577131838209210640102858820915571285854225029/2611184449815309198053600377338787494389009590539633270583717795551485707313058288750541974973252387221787151944575851279054903092*y^9 + 68646766332945242435714629890178997345017243151904041864307446853059219530080689625286559132671331896787475433732262081549332105738632/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^8 - 89834962285529600179039629014803315816863899411611258524943785544315462128990843884618437834984022364716441491210135129282653998950435/10444737799261236792214401509355149977556038362158533082334871182205942829252233155002167899893009548887148607778303405116219612368*y^7 - 13906567693799053454470129865552531964227106669549393243438376087343272489262474905454377726864782711138952265302331271816910830987066/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^6 + 97827514812362831434689465546148861754977764394848035607197120312851540742299035060984333253232883007151374912975242318868794401503837/10444737799261236792214401509355149977556038362158533082334871182205942829252233155002167899893009548887148607778303405116219612368*y^5 + 10102536624750186653232970344235547441740029218470920778319085422571827150291219380591110785233902416964195078336294493559317722961947/10444737799261236792214401509355149977556038362158533082334871182205942829252233155002167899893009548887148607778303405116219612368*y^4 - 4427651151383357059274146097334220109173573655731329529241086709477442374337224552519597651116011531618426510267378527660731461301019/5222368899630618396107200754677574988778019181079266541167435591102971414626116577501083949946504774443574303889151702558109806184*y^3 - 72440068707049806631175350522804580666681484313050806667641637728852733527851095681016642445255259970986380458488078926647297232989/1305592224907654599026800188669393747194504795269816635291858897775742853656529144375270987486626193610893575972287925639527451546*y^2 + 238511254750464276387092466786083095649084418764565398588900804073234979179161152228837707993022147590726650963826846835027949525327/10444737799261236792214401509355149977556038362158533082334871182205942829252233155002167899893009548887148607778303405116219612368*y + 25732566116800267781300143142759208609450660513254473682097568086730969266389329535173115277096683147597647959310238609640435439059/10444737799261236792214401509355149977556038362158533082334871182205942829252233155002167899893009548887148607778303405116219612368

-101257509921415463843302457029302295186745272457993944422928500877427587957672623272074333664199191829773578729641961300869644069306468/1050348944938208124917060751784527269617979107794567483092300483260585125766677696649905509432990772759963881869705636176999834768757*y^30 + 2631721810180506037275650012049450940765777648552014189932725678044648970506262819798449606193726681785888893173448939081192529628883193/1050348944938208124917060751784527269617979107794567483092300483260585125766677696649905509432990772759963881869705636176999834768757*y^29 - 27719326153611973680367321415036005519071083320810650462312218135805395768304510312563219291828129201516032736162165857928743398928290339/1050348944938208124917060751784527269617979107794567483092300483260585125766677696649905509432990772759963881869705636176999834768757*y^28 + 31226348657782306903811617340994324487588478094047474974599775582825413829089960264184026418606172681502287526114869051766381485311824521/1050348944938208124917060751784527269617979107794567483092300483260585125766677696649905509432990772759963881869705636176999834768757*y^27 + 1657564087922851813595359765343981509615459331412339716907237370288035200806524421514835874870766202700410536053044712602974273387613817971/1050348944938208124917060751784527269617979107794567483092300483260585125766677696649905509432990772759963881869705636176999834768757*y^26 - 14801673223943164540938895781470922779938541387580912109498787518635309008023882673447805598553550977845148186718253161628416527616833370559/1050348944938208124917060751784527269617979107794567483092300483260585125766677696649905509432990772759963881869705636176999834768757*y^25 + 36891135792779956021921864039721626837139324945298440739332192570133574356986094090641428780490098045298232007440231214367485191233085258661/1050348944938208124917060751784527269617979107794567483092300483260585125766677696649905509432990772759963881869705636176999834768757*y^24 + 70938981267659957023255331617545859645832314978466419120762314882882420355340077812394824990240721407121024704616298123938344966964213464321/1050348944938208124917060751784527269617979107794567483092300483260585125766677696649905509432990772759963881869705636176999834768757*y^23 - 502677088844833910821526318398691911551791114164959027342823214453590138890647189038211699510438974080405301588556575100456448385747162449418/1050348944938208124917060751784527269617979107794567483092300483260585125766677696649905509432990772759963881869705636176999834768757*y^22 + 1063571760568728474475163497512431600880316767036604844372453356078761329147089232084112320853259671268714885753909648397020284314810550407530/1050348944938208124917060751784527269617979107794567483092300483260585125766677696649905509432990772759963881869705636176999834768757*y^21 - 1544685793881495508986369277748953948101207918916376121017374822770923287007052434902294417143510523215409541802187619669879430988100887151602/1050348944938208124917060751784527269617979107794567483092300483260585125766677696649905509432990772759963881869705636176999834768757*y^20 + 2220242515489991974769754589100033691155804917622598327353194143935028702103989203477567476729761601263859720982066552254364343671867115967802/1050348944938208124917060751784527269617979107794567483092300483260585125766677696649905509432990772759963881869705636176999834768757*y^19 - 3609218963435078980982342785226301366938243844369584655152891426617371872568140577908393271503944542505614013093441925002253194767556107265946/1050348944938208124917060751784527269617979107794567483092300483260585125766677696649905509432990772759963881869705636176999834768757*y^18 + 6155898637003071389902544992566334765463623254066620250436143700330212138191301817127440286072165014442246698026424040340635274467668321722260/1050348944938208124917060751784527269617979107794567483092300483260585125766677696649905509432990772759963881869705636176999834768757*y^17 - 7750631270538073298326452950706827731101152850934351193489999215829496534113482874547916832931120799634541847767068461014790614252119851501764/1050348944938208124917060751784527269617979107794567483092300483260585125766677696649905509432990772759963881869705636176999834768757*y^16 + 4416411969547093083832932100741202768540059117080601798264482016964851953137966902706565396132432776195789889581856035740042662565554197616650/1050348944938208124917060751784527269617979107794567483092300483260585125766677696649905509432990772759963881869705636176999834768757*y^15 + 2744830970643407209113464887728792682424409338038136633312646251618056389678102743655869533473838818032289017996368155984203728397898897751109/1050348944938208124917060751784527269617979107794567483092300483260585125766677696649905509432990772759963881869705636176999834768757*y^14 - 7606435679037680452248339873511779411179044352484289408301643691109353196632938733240476610181208861676838959007147865988451635808984471683776/1050348944938208124917060751784527269617979107794567483092300483260585125766677696649905509432990772759963881869705636176999834768757*y^13 + 6985894046026197178118576656797303271984689784887799045565729859937503973974504322056257520386886048977681141498881128134934149630298601125174/1050348944938208124917060751784527269617979107794567483092300483260585125766677696649905509432990772759963881869705636176999834768757*y^12 - 3165878549585482227641967997567622218222718785133305137966971543791210202673165440734000241056075549494785444384361322020207039435526487567931/1050348944938208124917060751784527269617979107794567483092300483260585125766677696649905509432990772759963881869705636176999834768757*y^11 - 96498486018145582340690302548536700435542154317823729805103935439372370348060606486446992210713657849230182024643584946697607814979852739705/1050348944938208124917060751784527269617979107794567483092300483260585125766677696649905509432990772759963881869705636176999834768757*y^10 + 1233353121536488255482328549035501048549111458105910666397357849290736198012209369109268444443527025005185889551908928675165103682392271574576/1050348944938208124917060751784527269617979107794567483092300483260585125766677696649905509432990772759963881869705636176999834768757*y^9 - 974304498924298606491393855785408075464564556894604011124462884900228021326102472002315774176269643271391757287615842231803780888655234655296/1050348944938208124917060751784527269617979107794567483092300483260585125766677696649905509432990772759963881869705636176999834768757*y^8 + 410757717922410534624597591463005585941111497078731217538263936741168381366253826706545761319654740819367598909179411950479979470327072849557/1050348944938208124917060751784527269617979107794567483092300483260585125766677696649905509432990772759963881869705636176999834768757*y^7 - 47411695625555920658900028464243950481825106038824824814923018583407010588610254385171493001692910832796190026866937058499815238368041674376/1050348944938208124917060751784527269617979107794567483092300483260585125766677696649905509432990772759963881869705636176999834768757*y^6 - 49577843403088311567764997796275797924479068636579396690719040684241084374096284615197861052507937945364812684174795757853567450279341907024/1050348944938208124917060751784527269617979107794567483092300483260585125766677696649905509432990772759963881869705636176999834768757*y^5 + 24019444359402335093542325476321417326879947450578648021865221433372555627452625738916579738090082325559703100275220888921801069710525181402/1050348944938208124917060751784527269617979107794567483092300483260585125766677696649905509432990772759963881869705636176999834768757*y^4 - 1701282178902093455632612147087387612043342963551441346771124093157042103441596155760176374804189034674826196485197814132863527890540993935/1050348944938208124917060751784527269617979107794567483092300483260585125766677696649905509432990772759963881869705636176999834768757*y^3 - 883977978156433057814531561386938251071671246923304279498726455119434164179384479231204039564179288311810310545047197197458107413223289438/1050348944938208124917060751784527269617979107794567483092300483260585125766677696649905509432990772759963881869705636176999834768757*y^2 + 81309973146956126809807663501835727084665209366209861274614227951065218071419698333035132210440709789906027182525474378610285483313585985/1050348944938208124917060751784527269617979107794567483092300483260585125766677696649905509432990772759963881869705636176999834768757*y + 12210316772130208813883424118287815567939612031274772637645245220355283935961715487897970981642197222110660066887526973846399572273503894/1050348944938208124917060751784527269617979107794567483092300483260585125766677696649905509432990772759963881869705636176999834768757

125638791342644549069518618080119817419055731769897824527826540843052935523185066317273125695569494573249005445367740946397645791547/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^30 - 3265533115937417606814866504528208815391894914130587983141886394804066599652934296232976125930627997061021395210445144168566110491386/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^29 + 34397085268790841649724407389796263356821806742428227394729806111542506583796288558639656587697071515537844911446251995123528399760974/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^28 - 38779459777439235101526568434619956373232413873685650321253030389039734741844699678871151598410605338228140134900618690710889254834282/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^27 - 2056659691658930719222281510142615300997688527111926723486541701218840054423088860445003191932420004308861682405497529961748254447118730/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^26 + 18367872061528132775780612024993752403243484534203567132300908719552415519374492047922602002480160421072708511003522724555634771651968222/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^25 - 45792044798544512127027098501928686263092292871786502758856480510425909255864802752101061543042915800948208594178044895396318586365990451/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^24 - 87982332193451541307950899861997325406474614802913868398859480084589486542936077528551932560202742034456365267301998803923399100120327588/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^23 + 623828850384727756067026374412908388528142747533665915707136280779953558366253540542280806874863853294730883357525935175463848948520183531/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^22 - 1320254005415357199695450345182763073000104838110802698236458814563976738453655997330559205114675188672983619124251770027468646229027682429/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^21 + 1917669178555046062849587654992276660540816997691206103967788533004124113108530488032854097996683879706280826980513061428291945061078602902/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^20 - 2756253442648315104043278995170893797892314637477068387776446805411221038344530921849422436226645065532114474442701853131969789741376463040/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^19 + 4480346284869470718220664500590492812045858495156847394527889460289008553796516739426547232100437898605229450195771647746705106253377537489/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^18 - 7641652627606343801051152068075561576667123972195942333278676354008885963858822499703850490027704487573780317870201073684016093370060227589/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^17 + 9622872282706131069493491339017311935456419452983490173515052581234461177760452376380062605844122749261721638699178607421596209617232260880/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^16 - 5486452356352705139981693397124763437792096283879307308780477802848751648477378828118261873390573566061847730475988649869489811096035338984/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^15 - 3403831739902112130388234578681522064044888373088953981599497442174131552141712733550904064249192059108405369371945152337396777021376323886/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^14 + 9442644015707668443736672830778259395236462163844698643072876029682029922636521643891705610005584351081755398621892449887376197832975706644/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^13 - 8675194664370385494279216933773744747252196807652884037157320962385839449089434465676390099950235104011622185423211613414569860432716864921/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^12 + 3933112937614626056582509156864755950415171637370387295459129031174871907274698313896091346021278707341214085705457027459163691736134973346/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^11 + 118463849842267205548461806236864371020479847470665412592555504257380120082104662714581766456273605983487922432951942319679507936255979114/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^10 - 1531184249082846933325716843134635337306438899300475200241141284263102257532132478796786417410650390723424185113438465160471758827923882563/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^9 + 1210011501989046857890493833162936098362507481062307746502160313709535333634390115793902899047482607671818595149691478280015116905205694382/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^8 - 510290006638456614356971317437388436904047697440524579445078184982938554661927015499099462240472121142545156797385844337306421424338459856/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^7 + 59000323033313287447857116977301672852213275355446414856513781126188185553606826734713542237272909340903139413900739428920659395318225169/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^6 + 61552961957166235718089872284220232166792920743654617082323375782013411533068807275246392227821539315746493783254725401854267190724104737/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^5 - 29845536037606754914406180910451332603524275062629684201260282092643651592631857877880413701002144467464120444149532169946865543790759579/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^4 + 2117543588537428950007773967540615272260557353103027123259856071377931761959276632723317600154659618948249330844472308987747350184641968/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^3 + 1098377652363041458645214152312530581110722791065624422541141157440797168053065060207003193823651645592381328200903735725834070490731663/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^2 - 101115173516128400713898096061255498737422769672495478582039375257869122578741349309548370688129231607970992799551973686485794898712186/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y - 15176133416032945789810141556489256035386539526886567297115896147019397030877316285920825465709828499409267595866718227441599140864349/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773


# A Gluing Matrix
{{2,-2,-1,0,0,0,0,0},{-2,1,0,0,0,0,0,0},{-2,0,4,0,-6,-1,-4,2},{0,0,0,1,1,0,0,0},{0,0,-3,1,6,0,4,-2},{0,0,-1,0,0,1,0,0},{0,0,-2,0,4,0,4,-2},{0,0,1,0,-2,0,-2,1}}

# B Gluing Matrix
{{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,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,1,0},{0,0,0,0,0,0,0,1}}

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

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

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

# 1 Loop Invariant
-1320104779574223072695881475503103416287829815963632943670309909111144614688577893417317611673874878693930506551597158591682145813/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^30 + 72861549588345733409582224065091899886927902482136139179783055287640422377476232690537982723162519416117797925049878405326735312593/1305592224907654599026800188669393747194504795269816635291858897775742853656529144375270987486626193610893575972287925639527451546*y^29 - 830179634925744282948788793117152752597483689545587945199099176186904972387341268564677945466892659484819811871260818716136737493633/1305592224907654599026800188669393747194504795269816635291858897775742853656529144375270987486626193610893575972287925639527451546*y^28 + 1904417237695503685325609819185101138697387954570058283230757807540629689365002828123676954703653480805618157085817290994708626560259/1305592224907654599026800188669393747194504795269816635291858897775742853656529144375270987486626193610893575972287925639527451546*y^27 + 42623933380927130277983343220597440921265100085137437322617634195125072490632216180901067247377591700027751303084293412852121502919885/1305592224907654599026800188669393747194504795269816635291858897775742853656529144375270987486626193610893575972287925639527451546*y^26 - 227822933167245486198950026134053220939458011323340026727448209140577649487769508217402440667836994416496725582779558118166949294369529/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^25 + 1535508621896895333027434905844260538667398027603670169115174741495120230461097855517390656092811374231102673537205051463942449789215599/1305592224907654599026800188669393747194504795269816635291858897775742853656529144375270987486626193610893575972287925639527451546*y^24 + 677774272957567623723838538512879236675934294868894927700178285038198042441435452937241016257728629134752441286949155296999185177039489/1305592224907654599026800188669393747194504795269816635291858897775742853656529144375270987486626193610893575972287925639527451546*y^23 - 16791092973527104283608574929381935140690132819184606115795093126550876880059600691153277284592130743009616059741386015390992898874648087/1305592224907654599026800188669393747194504795269816635291858897775742853656529144375270987486626193610893575972287925639527451546*y^22 + 46190138285227394693752681597878190096507145003505365118694728408992399527626379846909626030172350040692119208096691118638628366584464719/1305592224907654599026800188669393747194504795269816635291858897775742853656529144375270987486626193610893575972287925639527451546*y^21 - 72934090227568693941848093384176892634210880768904895468856560883053192930765619811693345899388826229540971091546127186002970475581327667/1305592224907654599026800188669393747194504795269816635291858897775742853656529144375270987486626193610893575972287925639527451546*y^20 + 51548032259120279529282263036709378846077833156383082135890633002605192500503711979293460355171513689275781385485699177105574268040998186/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^19 - 80664206157282034343570108397995367994892641590501422749030966975444504082402864785225818984619636600084716454604776658837618486665089681/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^18 + 272969770368839805396322221830257447388515694536289868950623694596535927716175384972663767545891260314603588213531644029883378933574294981/1305592224907654599026800188669393747194504795269816635291858897775742853656529144375270987486626193610893575972287925639527451546*y^17 - 196946124956197336702088569098524711398554662539761669117620360008135760176109546711974692316957821800853106390409323367192542355624098453/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^16 + 163358680888611280758496166053149098435862467022897213819525040329722719709377388075038991462622155614587707863385557048180107632739845575/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^15 + 2646902011250456560320828063095501755467388412273837394843972316617050893399557718467207804631676470565134758284751869807787974456948837/1305592224907654599026800188669393747194504795269816635291858897775742853656529144375270987486626193610893575972287925639527451546*y^14 - 165026844474897030779826056155631685380940943996725214083224227005438063056770751346796307822581971595693451512608217988850169892243452812/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^13 + 200224318414015121523083113095009663202744033295470169363638206436989326781232525040722812964637607203994185853735902201814477839073486357/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^12 - 122548525034110349953394929838146942101120541061103619211510960658182715979445137142340855340042127680002823815583242264131819245119077140/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^11 + 25873841364497680036868962461428533825624777040942644573399177512189719392599783225212773830022381689725765592382145772989022015314802506/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^10 + 48436912970418953213365080155991818385167615022757246930634526425465851221425831367971933083434045306487488924873758187768461188979435369/1305592224907654599026800188669393747194504795269816635291858897775742853656529144375270987486626193610893575972287925639527451546*y^9 - 57319820926723855854827959134893664902082061137553455378769799548510629639635113014162939264890094703552778140146773058245228681719388333/1305592224907654599026800188669393747194504795269816635291858897775742853656529144375270987486626193610893575972287925639527451546*y^8 + 32085125264993536316006393293196408109882652394157954732388185102299336375329758399553301863483226160111245270151314894363667270380997553/1305592224907654599026800188669393747194504795269816635291858897775742853656529144375270987486626193610893575972287925639527451546*y^7 - 4392267934657128272066179682797507686269032587736351396217953470251623671664376643046242450876793842636866181070160044440086908511267663/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^6 - 587510911819521522719849769406709048252619265392471783956615504038445180668176434409542341999660487095281095198756783020679261129903028/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^5 + 1601576228315613490745729695705260249825671223950103924115165741041601395990784850041334533764349029051047443683174279361333208015242451/1305592224907654599026800188669393747194504795269816635291858897775742853656529144375270987486626193610893575972287925639527451546*y^4 - 179516634466353710546487334646683152369809654781788680269844414398993757693525194314597120336257926669235281155267782230310410102700143/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^3 + 2590725280770285509659738956609913639659362067329499801106296442653592393026417482891264380156242548009624190120423392350273924552790/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y^2 + 2333697278799418803671671692175346045752108637507348941139744470448400942121494511273692582873222513639839736623448921554857762326893/652796112453827299513400094334696873597252397634908317645929448887871426828264572187635493743313096805446787986143962819763725773*y - 29692917653351381402521606320413970578778798038122995532076006119393494206545544643007210876599724726224589684885249707155468324965/1305592224907654599026800188669393747194504795269816635291858897775742853656529144375270987486626193610893575972287925639527451546

# 2 Loop Invariant
108436553238635663187493253553706749994049172038128891873484263814890337453717194485385505113126219464390972487454131435828975415123121963855339604384487900676956881383682795118584714457031744211765186568076707300965721451215109111581380145/1417912911844353369783175154739186993788524018157576554442919100382256981177440346888982816146138601165137647811276547928050244888627064192124798525436743996994338208750337516773990873741561470072183865184467172910462776250079457479181478896*y^30 - 229248813704350080997499574061460909616063212299598291266392677998654578459523835926445857028826742589015926192646323791455469852290152284206074713111733140946558714689964465221880556513263359874413188216247997488014429084183049120058988441/118159409320362780815264596228265582815710334846464712870243258365188081764786695574081901345511550097094803984273045660670853740718922016010399877119728666416194850729194793064499239478463455839348655432038931075871898020839954789931789908*y^29 + 27977003970836093310027818846142864535165024897754147249748701029956042859928389302683645449857185914749493420333193435691187959503293339642649584184718963799583057710870610696837951752499914104851073161272413826879203220307528699698337521637/1417912911844353369783175154739186993788524018157576554442919100382256981177440346888982816146138601165137647811276547928050244888627064192124798525436743996994338208750337516773990873741561470072183865184467172910462776250079457479181478896*y^28 - 5359910440044789337167808811052645981072064990940627395997882714145134434391785887466636133222252566059617831163896700621047401029041507072603052278162426445413138046988524064424288075916045673647957065737478844202203074841147080291713723547/472637637281451123261058384913062331262841339385858851480973033460752327059146782296327605382046200388379215937092182642683414962875688064041599508478914665664779402916779172257996957913853823357394621728155724303487592083359819159727159632*y^27 - 297495739443661014343469870111857250555636461422911740299555670757602451264001080593853636981280310358072389309775178339279116782756753020062673134152178844508741644098591393879197663613050299735876869318659174583836916959602637606259385999065/236318818640725561630529192456531165631420669692929425740486516730376163529573391148163802691023100194189607968546091321341707481437844032020799754239457332832389701458389586128998478956926911678697310864077862151743796041679909579863579816*y^26 + 1228567846348925064543363891405893228128789915092228121439721064046538480858851823346588474706171721458417803115754978469564729909100447892804949142568906971591196799647739894515468121875473854370327501343080623729491230619424969880017923632865/118159409320362780815264596228265582815710334846464712870243258365188081764786695574081901345511550097094803984273045660670853740718922016010399877119728666416194850729194793064499239478463455839348655432038931075871898020839954789931789908*y^25 - 15179650683157435726457676393055870309759329898529584332170603693549285615484909221513417972193848841276693714607342824338065722550876607186733930036186145921239266201769820709707200360777484256753424837972362336912709716053830990804845580884093/708956455922176684891587577369593496894262009078788277221459550191128490588720173444491408073069300582568823905638273964025122444313532096062399262718371998497169104375168758386995436870780735036091932592233586455231388125039728739590739448*y^24 - 11845974037884660051104389032471973557705114871501609896773691528004042225984076619908547090179788272296080191902225508820677433031575650018538943050139405870543409660187068872057778092644086864902059419795948421270584891009483104792078694730489/177239113980544171222896894342398374223565502269697069305364887547782122647180043361122852018267325145642205976409568491006280611078383024015599815679592999624292276093792189596748859217695183759022983148058396613807847031259932184897684862*y^23 + 239681945898644039117176182624677359904677999972254709089375171672116899223235625925375961424345675380933781985879886669008484813387988393438323873114496249837518489209711890932626545876774801396311919721961950141498829416628351050045207202147865/708956455922176684891587577369593496894262009078788277221459550191128490588720173444491408073069300582568823905638273964025122444313532096062399262718371998497169104375168758386995436870780735036091932592233586455231388125039728739590739448*y^22 - 210407416787934567133180603128172904185535708357554088292151934415949541248964160703968733823981928013928086829695243858918158956458452366764611388400144554096780645495409063522820477866028579889322288965419199101931488245218772075782917181804125/354478227961088342445793788684796748447131004539394138610729775095564245294360086722245704036534650291284411952819136982012561222156766048031199631359185999248584552187584379193497718435390367518045966296116793227615694062519864369795369724*y^21 + 1133347570452035496169044032208563913297249075251349369703182968425277662609459597321163584752540597631803157538476776137906786137854595233217136700036765529746181261514346647876509062605918721891303269970325114878731201015989458167211488308738949/1417912911844353369783175154739186993788524018157576554442919100382256981177440346888982816146138601165137647811276547928050244888627064192124798525436743996994338208750337516773990873741561470072183865184467172910462776250079457479181478896*y^20 - 838658496749449379714420297719852293316312175164691238630273764944490691816231611716217758617808953414743629937522177521122114232495617181563298680912350681120299590153539790954309394911047598670028258412334779112806973878791789488264054552966069/708956455922176684891587577369593496894262009078788277221459550191128490588720173444491408073069300582568823905638273964025122444313532096062399262718371998497169104375168758386995436870780735036091932592233586455231388125039728739590739448*y^19 + 1414151095195083362302021610836291230188550572698478165558520900183416623928068045887834239228298035971245332522412608161360413044933884290667247954782580883150003135268235294644534714872381421101748953023821177378956710694709456937969958808658281/708956455922176684891587577369593496894262009078788277221459550191128490588720173444491408073069300582568823905638273964025122444313532096062399262718371998497169104375168758386995436870780735036091932592233586455231388125039728739590739448*y^18 - 2421492953646578317490782341161467922712811841720030682852932013356694071409674456511527793274862368894381988705371988165380108374385533374249039592954643217849374655457252007001312270180632587154681394040465301603855307116584408020974368978245639/708956455922176684891587577369593496894262009078788277221459550191128490588720173444491408073069300582568823905638273964025122444313532096062399262718371998497169104375168758386995436870780735036091932592233586455231388125039728739590739448*y^17 + 5304289257523346074202871111685254565681269725965664282688999716125078759857261956258492262311609599512869826892775953703351763046506414951786293478330682432929975683417053932516783547579518663865816849446136097667665768420004829941919079441812007/1417912911844353369783175154739186993788524018157576554442919100382256981177440346888982816146138601165137647811276547928050244888627064192124798525436743996994338208750337516773990873741561470072183865184467172910462776250079457479181478896*y^16 - 727524995231317476528306744077404109369924560483470269732579736717740732381391253902052763217508527340961290267331672139775285498697634679838030075470955497423204006217987293559923062670765209533625104039467801339857384825185464350739890849964223/708956455922176684891587577369593496894262009078788277221459550191128490588720173444491408073069300582568823905638273964025122444313532096062399262718371998497169104375168758386995436870780735036091932592233586455231388125039728739590739448*y^15 - 955068298917738803098991647106814172900018129927466512972262104178780187136815276661855216140653547070570650379178892382466766745792812534035706502540878213921679832329124625396896879980865117129676861468840130669799797767076519212354035949835595/354478227961088342445793788684796748447131004539394138610729775095564245294360086722245704036534650291284411952819136982012561222156766048031199631359185999248584552187584379193497718435390367518045966296116793227615694062519864369795369724*y^14 + 2881922321389238526242665831541046016398943844771706828974119008294050499319545358683366320660442517549627035057025384683976174761598054545386931568932284332287285201244634766926144761009060895692900672483183320056392657749714538991300851020415363/708956455922176684891587577369593496894262009078788277221459550191128490588720173444491408073069300582568823905638273964025122444313532096062399262718371998497169104375168758386995436870780735036091932592233586455231388125039728739590739448*y^13 - 1957364977836697002425233708257270273625540416684695600321260124958879293679403616566868813768592587085623042635809614773359970987672816125832044327339128007183177841942104647824047337789088143431575194084113104814597014357734740790502070752446195/708956455922176684891587577369593496894262009078788277221459550191128490588720173444491408073069300582568823905638273964025122444313532096062399262718371998497169104375168758386995436870780735036091932592233586455231388125039728739590739448*y^12 + 245867262492260153472948018228606519205785045672496990078896506941242858561450554881658049962219944183622244610328023191449867065594470670301509946248495855640079020183654412142012700462218027130434876401807284213764725652587772566438861647042879/354478227961088342445793788684796748447131004539394138610729775095564245294360086722245704036534650291284411952819136982012561222156766048031199631359185999248584552187584379193497718435390367518045966296116793227615694062519864369795369724*y^11 + 231787946583968415081324479861747831708513756009282659376669762831321097833102205559460059482349820205533206412911999280913673591664012624770669397260709515561056552040995427145808825688953492311698798871906181175428082172797910518709322670849263/472637637281451123261058384913062331262841339385858851480973033460752327059146782296327605382046200388379215937092182642683414962875688064041599508478914665664779402916779172257996957913853823357394621728155724303487592083359819159727159632*y^10 - 882580442231601055462258249796073097775800445062633514954509728048038512601788503765678073294441407543190227142398184611597642160280903947360428559391486089115690779392609381152923599435661424456387110416053250702475471512136013588472541818777305/1417912911844353369783175154739186993788524018157576554442919100382256981177440346888982816146138601165137647811276547928050244888627064192124798525436743996994338208750337516773990873741561470072183865184467172910462776250079457479181478896*y^9 + 497340241691863422175407871820359813680959622313464124674375941762835858888151766454497054376278449794025578866692490561693664654368183247756860131143579394659492559373864262974126438932412967057684563959119289876993820614481012958675960824551765/1417912911844353369783175154739186993788524018157576554442919100382256981177440346888982816146138601165137647811276547928050244888627064192124798525436743996994338208750337516773990873741561470072183865184467172910462776250079457479181478896*y^8 - 44966756158592550795632576131562177035354983644431759773475495037355979871866376691897491364922851332036671502218605432139264997949663239781748165915218334236855310506783544433232020913644626479786213622277261736332655364553680282446073724864801/472637637281451123261058384913062331262841339385858851480973033460752327059146782296327605382046200388379215937092182642683414962875688064041599508478914665664779402916779172257996957913853823357394621728155724303487592083359819159727159632*y^7 - 15265294075344745734490501813619503745698253956525632927102429963393849203825201843479934697648111688665071260620335247579595599191546781762842536882158691191736472012427391061108278878628475303974901916491731141623838041495679646616243786282055/708956455922176684891587577369593496894262009078788277221459550191128490588720173444491408073069300582568823905638273964025122444313532096062399262718371998497169104375168758386995436870780735036091932592233586455231388125039728739590739448*y^6 + 33296628222652822664447926268619363418950928518010748809324936886628988119064562320960025159653216701130535941197185914880242023577979396221064908859007754688453135804620147610300557443000749278291469494176730529314868994119605003398758982354079/1417912911844353369783175154739186993788524018157576554442919100382256981177440346888982816146138601165137647811276547928050244888627064192124798525436743996994338208750337516773990873741561470072183865184467172910462776250079457479181478896*y^5 - 2542243195626721783280343096482809875875083123389941752242301225619400687404801108239903858933393666576202096726378005424455926147829911206186148579787582247481136218754841857835940509830621662986899316429175528384595549855786068882178546280491/708956455922176684891587577369593496894262009078788277221459550191128490588720173444491408073069300582568823905638273964025122444313532096062399262718371998497169104375168758386995436870780735036091932592233586455231388125039728739590739448*y^4 - 392067349205659498417067284161716829914467516403716413963522261130044340024528477413475086375990904454245819496236701155355717748934284471651636169972664513828858979870644087628414402348349198433703290394196826505123443199434016617029083094941/472637637281451123261058384913062331262841339385858851480973033460752327059146782296327605382046200388379215937092182642683414962875688064041599508478914665664779402916779172257996957913853823357394621728155724303487592083359819159727159632*y^3 + 87700262228156344803995584937755014514364192286542271452501913420094726591907754597779065262995775885842092209106215087546712429513699066595361276989565928758123224741038961656027263403840328385225798465799392155737931453104041722396041188179/708956455922176684891587577369593496894262009078788277221459550191128490588720173444491408073069300582568823905638273964025122444313532096062399262718371998497169104375168758386995436870780735036091932592233586455231388125039728739590739448*y^2 + 2338017269644616695894723965731751712798197263429819451067170498301194384034088492780906281599763655929575842852009579694410264766658008425719359680421501242728640991463698530798022526142151770866972511650153744399474446735094728923301216913/177239113980544171222896894342398374223565502269697069305364887547782122647180043361122852018267325145642205976409568491006280611078383024015599815679592999624292276093792189596748859217695183759022983148058396613807847031259932184897684862*y + 112363266326672871469280063187409806902449210264728071433282651796416234683321900240087457907954686331560140446363857558672296261454882079790007343441153647876529137541602197508403964543225365796449116018426271153005527048206300263940242677/472637637281451123261058384913062331262841339385858851480973033460752327059146782296327605382046200388379215937092182642683414962875688064041599508478914665664779402916779172257996957913853823357394621728155724303487592083359819159727159632

# 3 Loop Invariant
-136189281817315194320970111284342396593396519491637807011785360448542901658861896348022622324766444315679167278448755131027692227367248981460859953703686485252491267675915389616424362404222053073964038598957844930648209006921091173566792544440139608376635673114848778989659926434621943156391129/12717556454320866770894889209566840242544434088938033526075351451367985907479097051964949754625836956036594631978638113049656371547470110545691875707183832634022684098572101690097492392342234006111329092986147566166258803922436314662563714527404406470993841850277412474460238039453729611643939904*y^30 + 869642522013952066132082611509070955036136248153144713049923874276744560273250551382933823606870384704605999015221380741345053707330077405410603096501455688793135126269770031607665764986862873692310935082836355853323745978627951605619731507380295845428058914931422492306932289664286855159113393/3179389113580216692723722302391710060636108522234508381518837862841996476869774262991237438656459239009148657994659528262414092886867527636422968926795958158505671024643025422524373098085558501527832273246536891541564700980609078665640928631851101617748460462569353118615059509863432402910984976*y^29 - 35718232201775638911476796397297275234140044075164228644276104094056448726484899438723979601041256384719430613257765787894059129361767590519387853541241037097207407515847031829208388105098936809520615973183061691644694649980662103617581696006359105408666318560497410467064426854995699523425599287/12717556454320866770894889209566840242544434088938033526075351451367985907479097051964949754625836956036594631978638113049656371547470110545691875707183832634022684098572101690097492392342234006111329092986147566166258803922436314662563714527404406470993841850277412474460238039453729611643939904*y^28 + 25876797431592163262879409667473513541507332902192263993318351966283566566118380040761728749429057838555218066573635503029063228999783461120814232701692269494732324395394395189620770838730330378891218917399991259624523997864329921514923555637011715050139933931833785175587782003317533836044962229/12717556454320866770894889209566840242544434088938033526075351451367985907479097051964949754625836956036594631978638113049656371547470110545691875707183832634022684098572101690097492392342234006111329092986147566166258803922436314662563714527404406470993841850277412474460238039453729611643939904*y^27 + 560522839339324979627096864574348329168473987698116624684579340647499368567275487164908555822909007239753751939368544738408437078783485069116440652824817450726936322392179714222732998144695755140371072171863391278118848064354243906502775733823846049194350662801860373320863135392274964596265357435/3179389113580216692723722302391710060636108522234508381518837862841996476869774262991237438656459239009148657994659528262414092886867527636422968926795958158505671024643025422524373098085558501527832273246536891541564700980609078665640928631851101617748460462569353118615059509863432402910984976*y^26 - 18902989692562906856257525482949287901279244202062974634016740150485346225568153417383098940190268156193873306930457946643122809098592910361310079572968947038044999773312687713656263162271539920928722292450243582812633576879345447573940347896061892006192411116907122656925558650140096447750748326895/12717556454320866770894889209566840242544434088938033526075351451367985907479097051964949754625836956036594631978638113049656371547470110545691875707183832634022684098572101690097492392342234006111329092986147566166258803922436314662563714527404406470993841850277412474460238039453729611643939904*y^25 + 41070318079911365629911097531913390145264720048941104133008636132582756891074423929705864692403480575137497550768266184699252386789457824222542376731284974068718280690762951756982591938597078902720058530278271142628846198964606674314968402394850926545041130188897916180633868682308373524903626792049/12717556454320866770894889209566840242544434088938033526075351451367985907479097051964949754625836956036594631978638113049656371547470110545691875707183832634022684098572101690097492392342234006111329092986147566166258803922436314662563714527404406470993841850277412474460238039453729611643939904*y^24 + 28597842876617973290620348432765606393933607411982006303344077752753097679629050396629141581193828832467936460157773061918896372986386022647291077054996265665414554016001336787240351500446949731668333885293798829380047459518535974643829669015999859079931969371976915868649203691773278409203914184583/3179389113580216692723722302391710060636108522234508381518837862841996476869774262991237438656459239009148657994659528262414092886867527636422968926795958158505671024643025422524373098085558501527832273246536891541564700980609078665640928631851101617748460462569353118615059509863432402910984976*y^23 - 625731681906590038792129436549104747779672402777326315659282334943039483521505625029754707306918773713066758732486783583673719633468597689441553371710252846877318907450104895464995845094515520506986880642064955604693538051756931728382740467185704828875997953105301058477969303981561097336019216941107/12717556454320866770894889209566840242544434088938033526075351451367985907479097051964949754625836956036594631978638113049656371547470110545691875707183832634022684098572101690097492392342234006111329092986147566166258803922436314662563714527404406470993841850277412474460238039453729611643939904*y^22 + 1145456906279872107840299310452839831182597349512200313186982984263636986531091986617776376421363361264075833891353804253240709808731235585024070131302308501140621154892854608029110972030340886282181122425513866910569504246828425322695646070044136170889542123868688486729882639814872062065233015460217/12717556454320866770894889209566840242544434088938033526075351451367985907479097051964949754625836956036594631978638113049656371547470110545691875707183832634022684098572101690097492392342234006111329092986147566166258803922436314662563714527404406470993841850277412474460238039453729611643939904*y^21 - 773445190372204364421960451200188013928059446237568503703619007156453953650933769239941615455554710194356451233326343867135364211547221674443824782545206670340583815999410768799035091883702632009230130760636406355404140746143773630782571724029559526928092129467469583323019986471828348215759945872141/6358778227160433385447444604783420121272217044469016763037675725683992953739548525982474877312918478018297315989319056524828185773735055272845937853591916317011342049286050845048746196171117003055664546493073783083129401961218157331281857263702203235496920925138706237230119019726864805821969952*y^20 + 1134235933976176000707751168231863648653385661968117712695648763696809078353938045034314401622362508383455314930217795645605774122347947818285556385315274130092873681473852203448715329463703217438663145649986307944611250922686704351961272560820836619869198758622588499356609810503715206798053660357907/6358778227160433385447444604783420121272217044469016763037675725683992953739548525982474877312918478018297315989319056524828185773735055272845937853591916317011342049286050845048746196171117003055664546493073783083129401961218157331281857263702203235496920925138706237230119019726864805821969952*y^19 - 3805714695515022030548156478876072431201751505348366950694630826524390659116695570041386134540209323092887631337748024300804988392404948763848308571731450310376996905777996442438461858040584429739157693996084145228968644231910217654313871302676303487086026151340670705719725566243150121962158840277029/12717556454320866770894889209566840242544434088938033526075351451367985907479097051964949754625836956036594631978638113049656371547470110545691875707183832634022684098572101690097492392342234006111329092986147566166258803922436314662563714527404406470993841850277412474460238039453729611643939904*y^18 + 3262019008489431199903090429606346109363790463121973351817761869050965711984850256882853989158967400779201234316683210289889309562303809618860721654929178775885704461764592356255284514687491184764914024280869049819655737778008933105449560321453304128919663569626762074825725402081894622061645778096391/6358778227160433385447444604783420121272217044469016763037675725683992953739548525982474877312918478018297315989319056524828185773735055272845937853591916317011342049286050845048746196171117003055664546493073783083129401961218157331281857263702203235496920925138706237230119019726864805821969952*y^17 - 7413706359402438236526051908986235145616929530363149840353361584497295351426805030005568964574438646162487589041716921214936991074440884011112206042685425115524101095214943305578567776707565253506618867655764563488121637855116900696078229242646237889728279632220950456037901783557827954924311291272383/12717556454320866770894889209566840242544434088938033526075351451367985907479097051964949754625836956036594631978638113049656371547470110545691875707183832634022684098572101690097492392342234006111329092986147566166258803922436314662563714527404406470993841850277412474460238039453729611643939904*y^16 + 154345619284695961180962152791999627751539099176683883515290694081455880427928453234454899982907194342363505774127543939914157801702333204066160814564274280905299140966342587384211539424594824900802400655303190624858336911954027917731651939385798304315433564784101925811131432586516742280843894727489/794847278395054173180930575597927515159027130558627095379709465710499119217443565747809359664114809752287164498664882065603523221716881909105742231698989539626417756160756355631093274521389625381958068311634222885391175245152269666410232157962775404437115115642338279653764877465858100727746244*y^15 + 615784818789770959263927210870580116972803217936486686266007582134621337734616866835443285962217440684212896364933037972148713036051898329484739208705444597316509238978298178771853318311047072577370233728007610554641349672944064610222313394505715080985196136776879547314725534279174646123655548355249/1589694556790108346361861151195855030318054261117254190759418931420998238434887131495618719328229619504574328997329764131207046443433763818211484463397979079252835512321512711262186549042779250763916136623268445770782350490304539332820464315925550808874230231284676559307529754931716201455492488*y^14 - 7999544771039580259688069999848506831265186331003095369911071683230618307212602327962107435762210855933219890170516234767358201092453268600113614044574071360013688771211780367853735745962683296114038491339762154212311716176821194350813346724547185181704809231412835753489768630853754753491012832914457/12717556454320866770894889209566840242544434088938033526075351451367985907479097051964949754625836956036594631978638113049656371547470110545691875707183832634022684098572101690097492392342234006111329092986147566166258803922436314662563714527404406470993841850277412474460238039453729611643939904*y^13 + 2830373726961844373741422569349794501074748825803265817440151762280663156999744378850548921498112523671794744566277875360499243594800635432950719429289624228926150352534985910988578537568871129132076822785333081355780568136915961847553507141600309134660864697271461908660258487890262375416165539492695/6358778227160433385447444604783420121272217044469016763037675725683992953739548525982474877312918478018297315989319056524828185773735055272845937853591916317011342049286050845048746196171117003055664546493073783083129401961218157331281857263702203235496920925138706237230119019726864805821969952*y^12 - 393109296812543673730158120891401224799571604258474219846864364574129046075914333009607109832170955325104731093363355614833388929995638753584018346592301435093870384864060802909280346059078472099929466253400776159600366053315988204948939265624407845183960385940322237653616120652905769981199348317895/3179389113580216692723722302391710060636108522234508381518837862841996476869774262991237438656459239009148657994659528262414092886867527636422968926795958158505671024643025422524373098085558501527832273246536891541564700980609078665640928631851101617748460462569353118615059509863432402910984976*y^11 - 451304462593814491269379809085875547668817578546890887841013976818656980137267774238695313478854591323588550828369643723950606290087847121907681395212787347446390017939076630458746357380762180813948107100936734215961210235075934943477983890075015989591115961471568301394131675167355218806968573430431/6358778227160433385447444604783420121272217044469016763037675725683992953739548525982474877312918478018297315989319056524828185773735055272845937853591916317011342049286050845048746196171117003055664546493073783083129401961218157331281857263702203235496920925138706237230119019726864805821969952*y^10 + 624411895835962934020898204378144443288185101582075132779923546700240663071555236547799050350579350409517029238230458664102143933836585380968545352180170902981534612579083023559426965205397871694063442964159480887267900327898846611136755483015479895873092490428966918023151013120223826202118343603061/6358778227160433385447444604783420121272217044469016763037675725683992953739548525982474877312918478018297315989319056524828185773735055272845937853591916317011342049286050845048746196171117003055664546493073783083129401961218157331281857263702203235496920925138706237230119019726864805821969952*y^9 - 45148937650740352965923896154342447107108355892436426988965493569693628083297869282774713125126157556395372306063962989550218975194290280542182657247235587506721343144788891651611715337556397093263428296525470953722549152709871385710865228145216830295393335682723881525352182761424111402601389522715/794847278395054173180930575597927515159027130558627095379709465710499119217443565747809359664114809752287164498664882065603523221716881909105742231698989539626417756160756355631093274521389625381958068311634222885391175245152269666410232157962775404437115115642338279653764877465858100727746244*y^8 + 104411397938113419374711750542935275458828822516756721860045024692388795503051603626898246276852862502373068106826473859425705769783686106010677925398005898963400794371549951574771146207750070315190124724327941082132825552841516899611954365379082263092905290597404024924488165500175361680475463508543/6358778227160433385447444604783420121272217044469016763037675725683992953739548525982474877312918478018297315989319056524828185773735055272845937853591916317011342049286050845048746196171117003055664546493073783083129401961218157331281857263702203235496920925138706237230119019726864805821969952*y^7 + 37802876667562233684934483826156885619340599265309890727461068223863953507391937059544333572182978522980844733568660965160829015991882057720770575413072266808986185727719236968868379892485112497095806468749593007979783153986087621801513242476662618154439870118478895712749428292443167768756459670423/12717556454320866770894889209566840242544434088938033526075351451367985907479097051964949754625836956036594631978638113049656371547470110545691875707183832634022684098572101690097492392342234006111329092986147566166258803922436314662563714527404406470993841850277412474460238039453729611643939904*y^6 - 49854258275312149956651842085866032894043067117347063081360792020708886805224905707909433585977442757739845026951954940766227771723702344865824905332665522752564267473405888670192412721227229847979414245634350829492913463429708279591496352480283989810038454632590953051059757288324072942054972067591/12717556454320866770894889209566840242544434088938033526075351451367985907479097051964949754625836956036594631978638113049656371547470110545691875707183832634022684098572101690097492392342234006111329092986147566166258803922436314662563714527404406470993841850277412474460238039453729611643939904*y^5 + 8291287013386060043999881829119740341918528213133348647486259126171709695730031932959337825346030933652438199139088152008397637337627972335719569278538671433092589210886046363175022994255766855749493205123807529840691814499070033088562612311894028403715477449825741953814527846422646952237279883113/12717556454320866770894889209566840242544434088938033526075351451367985907479097051964949754625836956036594631978638113049656371547470110545691875707183832634022684098572101690097492392342234006111329092986147566166258803922436314662563714527404406470993841850277412474460238039453729611643939904*y^4 + 466448875156294809659560538210199905289990163995211607271537122248723584643898372244190895091443204023407272026865957982683043881890960324020126170367722416947383018190985108629118838683873480604046988855341117756363927002039579144911690881419533442125880784316151739206943720722022816602695387057/3179389113580216692723722302391710060636108522234508381518837862841996476869774262991237438656459239009148657994659528262414092886867527636422968926795958158505671024643025422524373098085558501527832273246536891541564700980609078665640928631851101617748460462569353118615059509863432402910984976*y^3 - 281499301659081921984747753408435091602964900686969283251124819500252393262749522652280463723363699402210423830759858188540160849486274287830401411047380794805692442917813470139349840755653547192622332499204783217315072737241193227119981272333331076457772206273422078795370211021551287471409327957/12717556454320866770894889209566840242544434088938033526075351451367985907479097051964949754625836956036594631978638113049656371547470110545691875707183832634022684098572101690097492392342234006111329092986147566166258803922436314662563714527404406470993841850277412474460238039453729611643939904*y^2 - 4226371205866628613214400166818132452694381320688782387185486928752799932490855296165865918019385875167020773064694470056336773285537199965963487078382192771718968113089370374240017626267118108300662829049136281172373200477617895078028360132108063350020916712271998266424036470491193150178957839/1589694556790108346361861151195855030318054261117254190759418931420998238434887131495618719328229619504574328997329764131207046443433763818211484463397979079252835512321512711262186549042779250763916136623268445770782350490304539332820464315925550808874230231284676559307529754931716201455492488*y + 23278338320338867628915768265042245886849380894643661903636313161647326828051321784895265756355025785913981759058291127862917495247087031320618083239263668091492457534113800823880358932519936711796537217212250561168693709678459487432643926590713298907919625743924105679787436505041087887876833/12717556454320866770894889209566840242544434088938033526075351451367985907479097051964949754625836956036594631978638113049656371547470110545691875707183832634022684098572101690097492392342234006111329092986147566166258803922436314662563714527404406470993841850277412474460238039453729611643939904

# 4 Loop Invariant
-5352537129453999573825548639073697129409818385957968107603424941526222517388623951482925695350738984390412240205710353433035689478595464548491059248548091815625046769420333831224864258942761778965218362937213329219742741332623599511241439280032078831373180774064574671165054083172621108457183452475254436067656193423993993684992963508367984899563070068126702316362101505316862562006702251350819264171077781/82869921372118280185364778910542123202979159570095417967057009766756838731205061963955953515484604651765459173333793844392043271727687817563945611798817185040976706070250841483276626996573701888391362919477250359011836808541876513435080856611971958975266107590286021799462580304355398644247926839528603370963584153905518130170382964087833827456355472898283806352418397861487411402033781665724671752010957824*y^30 + 75423122672034893054513953479882060995363066062445732969641098054004549160636687678149236861357376909965703114909509876342114683457955977564448346912916557304137705580307539809959043689611736969121700155447339964916827248954081737409678835563466224975774007047250133687503065315386075729970646878638755270058019257282309614266009461327282657106167215237499296493037576622069871203448914668718410239448064197/46038845206732377880758210505856735112766199761164121092809449870420465961780589979975529730824780362091921762963218802440024039848715454202192006554898436133875947816806023046264792775874278826884090510820694643895464893634375840797267142562206643875147837550158900999701433502419665913471070466404779650535324529947510072316879424493241015253530818276824336862454665478604117445574323147624817640006087680*y^29 - 6901070484074966266918950267237025804907200309796172638457496970633447923060439196297561087537691608557349229113764789595867587203034085844187289334543834911960955764619560219766036577990724878194707562220511160911858077305052999406839873980453646955450985464174934516645673281657736778180923062333841377711892378476564973748448208595118416074358697377301150332365810839782681732158505006716004165365301616343/414349606860591400926823894552710616014895797850477089835285048833784193656025309819779767577423023258827295866668969221960216358638439087819728058994085925204883530351254207416383134982868509441956814597386251795059184042709382567175404283059859794876330537951430108997312901521776993221239634197643016854817920769527590650851914820439169137281777364491419031762091989307437057010168908328623358760054789120*y^28 + 982451776868497804428405257442959562321138977310349381092557804325236415417118586499083872110511015294148746925295521966552150289603315501288356175983700848515622135779278343555053982470795372840456656628107185487769344145861683359839646963749620667436037806837241013410369298120218095545301138395886304930352210572229175944290743503539632348947420982773246958664922065627718522457552607605578072618631901593/103587401715147850231705973638177654003723949462619272458821262208446048414006327454944941894355755814706823966667242305490054089659609771954932014748521481301220882587813551854095783745717127360489203649346562948764796010677345641793851070764964948719082634487857527249328225380444248305309908549410754213704480192381897662712978705109792284320444341122854757940522997326859264252542227082155839690013697280*y^27 + 146855014950211573519335811597002109429243441091939664751552847819645872999174410763791653185439002357879283848379689616867068872897929255329857730703886526765048399407902026477422729650021450826082611626082094461937323349729745819045004534893654433380168295635693606842656460367718755014381032702958731764114298192157191390119377501335848736273371042497322382514248538053348395503920158406021494583780473700607/138116535620197133642274631517570205338298599283492363278428349611261397885341769939926589192474341086275765288889656407320072119546146362606576019664695308401627843450418069138794378327622836480652271532462083931686394680903127522391801427686619931625443512650476702999104300507258997740413211399214338951605973589842530216950638273479723045760592454830473010587363996435812352336722969442874452920018263040*y^26 - 1818068039989108543219830467850492291246625661869099838774979446035543593058509646050992400037847299667285490534672476889472577162080723541066978607710380718965811290419278720667860834056609323163510066546998400128282806215918887966888445851446940381572353996290017293601323340652868371190138091564762281885495520395748640110191760635928004814057927055210961490012191226822765631765002186190306529236027706512821/207174803430295700463411947276355308007447898925238544917642524416892096828012654909889883788711511629413647933334484610980108179319219543909864029497042962602441765175627103708191567491434254720978407298693125897529592021354691283587702141529929897438165268975715054498656450760888496610619817098821508427408960384763795325425957410219584568640888682245709515881045994653718528505084454164311679380027394560*y^25 + 1245389637709223840533151083477467524201185957082263320494459475946509357824522804757802149539645326578726261105030265189061987110574607706314556390331387446339798983226602772542554213375340624891132733714526212119907897127561553092074030746465067166205999582236398070853511559392083600627865927597255421578700925596741319723009377592457198229501929128470868797284640354781617131343850490975462033808798333695009/69058267810098566821137315758785102669149299641746181639214174805630698942670884969963294596237170543137882644444828203660036059773073181303288009832347654200813921725209034569397189163811418240326135766231041965843197340451563761195900713843309965812721756325238351499552150253629498870206605699607169475802986794921265108475319136739861522880296227415236505293681998217906176168361484721437226460009131520*y^24 + 65088524222863826233789148155232138762230032701834777002382915104800983845898943907510377201847612489338739238431256314029978816334968466343818912387434521350640022563127543762347748841888932043943175689820882807017521762961654704410659491619441268762250270925038715549279618767943762964259352856805541321769337066038388236083739016914860669042013972626794297607722745557840077851540599860921458528141611632513/1150971130168309447018955262646418377819154994029103027320236246760511649044514749499388243270619509052298044074080470061000600996217886355054800163872460903346898695420150576156619819396856970672102262770517366097386622340859396019931678564055166096878695938753972524992535837560491647836776761660119491263383113248687751807921985612331025381338270456920608421561366636965102936139358078690620441000152192*y^23 - 118176151323362225000303031223571498723902520049476498763873955921791118240410320264797904063226380383070964970418146230672932043844344191775548028761597202713723699488947512806181588113909575020149914343852782868520144595043269172153573779823017354408058886413569265180865999130161623544880027033725389770928377563753548022511789700654476677941490179907128877959367919837364805028898534392263726769391304423815529/414349606860591400926823894552710616014895797850477089835285048833784193656025309819779767577423023258827295866668969221960216358638439087819728058994085925204883530351254207416383134982868509441956814597386251795059184042709382567175404283059859794876330537951430108997312901521776993221239634197643016854817920769527590650851914820439169137281777364491419031762091989307437057010168908328623358760054789120*y^22 + 103519295643826944527435100691162530727259723886445962549568375911048085674810667338093458602143839614420606417318051396426597332447957828100369389840298051576111576721415189731960913890268391440061787310502144449864259353653481874535280313337250090567615560310530037043488016343223477730922363203911452841093236495853532658486256457385360404725729233172712171505713327842078599933608031885356293530903470182496153/207174803430295700463411947276355308007447898925238544917642524416892096828012654909889883788711511629413647933334484610980108179319219543909864029497042962602441765175627103708191567491434254720978407298693125897529592021354691283587702141529929897438165268975715054498656450760888496610619817098821508427408960384763795325425957410219584568640888682245709515881045994653718528505084454164311679380027394560*y^21 - 46426787198831273488379107641879815169270888738985854038976405388755937376010892850902184552679002344167596178643683606123526376614774300611247982511363035801085609390559364285079833032397383920792565958077441645160873605561626519929213783423854703673443033534224462570267647923693100636250558856579458112895746247121297074770105120068868643861595393419896517567404813352029729139165643959362824715618462949759173/69058267810098566821137315758785102669149299641746181639214174805630698942670884969963294596237170543137882644444828203660036059773073181303288009832347654200813921725209034569397189163811418240326135766231041965843197340451563761195900713843309965812721756325238351499552150253629498870206605699607169475802986794921265108475319136739861522880296227415236505293681998217906176168361484721437226460009131520*y^20 + 412495107244678053658196262088602505951681230819165431222580418646266714544272206673416599210393739934065472450472193058453548579988018586805127159741330708993639699648840482595588986922072816709054235008564469142837590833802549695083805310247465109918747117921587994859968043646102147696605532229965177030852005393042050400066395856335177682041052939418970733367202845135261381235201719642060192279753104310350073/414349606860591400926823894552710616014895797850477089835285048833784193656025309819779767577423023258827295866668969221960216358638439087819728058994085925204883530351254207416383134982868509441956814597386251795059184042709382567175404283059859794876330537951430108997312901521776993221239634197643016854817920769527590650851914820439169137281777364491419031762091989307437057010168908328623358760054789120*y^19 - 695802614365700155662555955316988337406252951775559256703613726787411917330110941614310439885684643369333831096521245517514535528499565862098926761101797342132260730586416180808754486963603655747846164856773793808677511597714533805729978046440808343170149824783444577300165579836029725196445213779375464033642352921962206271742313556853685986089767881653460470447607888250430971467839380854518617629441893435670479/414349606860591400926823894552710616014895797850477089835285048833784193656025309819779767577423023258827295866668969221960216358638439087819728058994085925204883530351254207416383134982868509441956814597386251795059184042709382567175404283059859794876330537951430108997312901521776993221239634197643016854817920769527590650851914820439169137281777364491419031762091989307437057010168908328623358760054789120*y^18 + 1191473444647749657058051164062885300823454910809259696610939395037962195979508288723061170126472639112213074820272128150503512709115891721815958138165864929897736438181418660014711470211592439983543459676412745683225742863192746471651150983985424141765119709026010999241685143199018339608163737910836501460255008435005177298626672119403995043217090956130328053821053392178905032062692894532401776833488597212475451/414349606860591400926823894552710616014895797850477089835285048833784193656025309819779767577423023258827295866668969221960216358638439087819728058994085925204883530351254207416383134982868509441956814597386251795059184042709382567175404283059859794876330537951430108997312901521776993221239634197643016854817920769527590650851914820439169137281777364491419031762091989307437057010168908328623358760054789120*y^17 - 144732695103339685932901479310104373220400929177697041686369069218115331234017924320562937492974372275583298479695318718708380896455283975379894611639225101826863738186936009127858950023158589487606370209632923324474674370303546899263498085659551031484113096655022445454589264139235853472989048728903214660299726126594408459535001386067900902647199671245229302766656757069013427857616980269712801776213557122369919/46038845206732377880758210505856735112766199761164121092809449870420465961780589979975529730824780362091921762963218802440024039848715454202192006554898436133875947816806023046264792775874278826884090510820694643895464893634375840797267142562206643875147837550158900999701433502419665913471070466404779650535324529947510072316879424493241015253530818276824336862454665478604117445574323147624817640006087680*y^16 + 352069397572795350729825259235650350689099087233799616289321573888030082547343538566822424878383424054978066075324748826738274799714698931490587332892176068757795756288556452270268589802418773471002452253964842274592933746587932324728926919655281386900274934119819782469654439976471974053369897067109935546636539820115747115831523538738259796290937730138270420217071236759195099540288478571301675459745742035975541/414349606860591400926823894552710616014895797850477089835285048833784193656025309819779767577423023258827295866668969221960216358638439087819728058994085925204883530351254207416383134982868509441956814597386251795059184042709382567175404283059859794876330537951430108997312901521776993221239634197643016854817920769527590650851914820439169137281777364491419031762091989307437057010168908328623358760054789120*y^15 + 31468990800465566802701982578296066221464243116638485093410249466185652417571745437119819501718378684507680149060715268672965319487202965272779378638585227883081125351576405007016645873728741319820828735400568516938085083431190115118278594264257535713398309743568499227326731967903914503818694662154888774227457461097097260453843469680200664463043344233901261314148147865553049503779466964455090990799858017076727/13811653562019713364227463151757020533829859928349236327842834961126139788534176993992658919247434108627576528888965640732007211954614636260657601966469530840162784345041806913879437832762283648065227153246208393168639468090312752239180142768661993162544351265047670299910430050725899774041321139921433895160597358984253021695063827347972304576059245483047301058736399643581235233672296944287445292001826304*y^14 - 1416579607124456206350916006940304537807615546459557802156601971768625597736734018884827917872292845951124856859921933846619884261626706777507465889666591961955666262810161502657917781184158790428111473544914432273852487995357300506776011111361587310100533101018227452148284703170134917446236546993375321645672513974560005022150389531801230619207908935089711807605973445700191365952087998231631417596466524213465869/414349606860591400926823894552710616014895797850477089835285048833784193656025309819779767577423023258827295866668969221960216358638439087819728058994085925204883530351254207416383134982868509441956814597386251795059184042709382567175404283059859794876330537951430108997312901521776993221239634197643016854817920769527590650851914820439169137281777364491419031762091989307437057010168908328623358760054789120*y^13 + 958500696342114660552997050458722935563760001912369242108074952788430839187980131266341576360166983482388708964524840248520491123193831522475844580754953176711938745870820304289536865527165725604782357893200423981813924677101447426976138628027677214754378366417187020212981821810764714321548707318546764224627320803332988858052045205624886438560470225700864412044004546079671051586701018145294587427013900397126067/414349606860591400926823894552710616014895797850477089835285048833784193656025309819779767577423023258827295866668969221960216358638439087819728058994085925204883530351254207416383134982868509441956814597386251795059184042709382567175404283059859794876330537951430108997312901521776993221239634197643016854817920769527590650851914820439169137281777364491419031762091989307437057010168908328623358760054789120*y^12 - 59527963995311622837490475181219630552265894797710089178659392449836087830030325446645441632498512767982599496335501973607430255790401805586435962010492601443569127695086872898288824189788959547444410870615991746899057051269798090754979898501726961555676494892076798673951503644424527610968295579902201692290707194438392297836586672061059094922107605204841779127496633330858239078496642594457177807788346493767103/103587401715147850231705973638177654003723949462619272458821262208446048414006327454944941894355755814706823966667242305490054089659609771954932014748521481301220882587813551854095783745717127360489203649346562948764796010677345641793851070764964948719082634487857527249328225380444248305309908549410754213704480192381897662712978705109792284320444341122854757940522997326859264252542227082155839690013697280*y^11 - 2393780178933993462025498963498937515482104950315647130182983175626342616679572924386064656508505654986843486821788977928656553254841030475434306733067786566910908988779520808347510029366958706183179337363200911103890121970379923724242757406449981461936971784010831796037800552931800172458637456107780438632165363650412237028547661051209696299357158328569723933245671033615275819339144910894608171950675866765981/5754855650841547235094776313232091889095774970145515136601181233802558245222573747496941216353097545261490220370402350305003004981089431775274000819362304516734493477100752880783099096984284853360511313852586830486933111704296980099658392820275830484393479693769862624962679187802458239183883808300597456316915566243438759039609928061655126906691352284603042107806833184825514680696790393453102205000760960*y^10 + 43334354873738325354858512496032896607967155954085100417776078807901916509187075786831752896968124222661398334471084962063627010910384185656836161230787390776559483425030789634336864024566376992973806253714914900728841997845144916507212513572583317471133235588555447504465686061688814346566838214989597353831457011826288842858607125518023486713275985168461637648607977101338125484622669767503770691368041789257071/82869921372118280185364778910542123202979159570095417967057009766756838731205061963955953515484604651765459173333793844392043271727687817563945611798817185040976706070250841483276626996573701888391362919477250359011836808541876513435080856611971958975266107590286021799462580304355398644247926839528603370963584153905518130170382964087833827456355472898283806352418397861487411402033781665724671752010957824*y^9 - 3378970001695894099148928819873373441480362486084085100098010838016871391489955079658128171702709545737178718503701349991423730910857817751523747436289912327044411121170880530173375116240879041646221749904500995169149226867658752394593459636003657791612540085503977201478045378341337317226926892970642361910417983748691289232940535647865061769809179196300509760336461666258942548083268664428812737916134793201949/11509711301683094470189552626464183778191549940291030273202362467605116490445147494993882432706195090522980440740804700610006009962178863550548001638724609033468986954201505761566198193968569706721022627705173660973866223408593960199316785640551660968786959387539725249925358375604916478367767616601194912633831132486877518079219856123310253813382704569206084215613666369651029361393580786906204410001521920*y^8 + 818320466402316624790974058820939458566548354481366591616961869739963906937517145206759987571504311923759705393087884278012045566703450108510058097841704298816299827023013037008210414010372768442943445634889694887153300803480103830583808428432378282956290990871471440253457722234580675167407028269172876174382023547432932190165947727009224613949331022083684886794793531089451699696137978160232023138625068872063/10358740171514785023170597363817765400372394946261927245882126220844604841400632745494494189435575581470682396666724230549005408965960977195493201474852148130122088258781355185409578374571712736048920364934656294876479601067734564179385107076496494871908263448785752724932822538044424830530990854941075421370448019238189766271297870510979228432044434112285475794052299732685926425254222708215583969001369728*y^7 + 7655025484933473730399667638469134711950830778234801470807718347718036149725941618824138178127011350274526540631026051032419659437127001496974111220525740189999495429684558095620556222930749843267316471053238577619492904532655298855097055408073567410553272489012116691827561365349852046885890926533710211162319601230520985321250407295468370628651425772844121311940160595904293744549708905124695769803053395678301/414349606860591400926823894552710616014895797850477089835285048833784193656025309819779767577423023258827295866668969221960216358638439087819728058994085925204883530351254207416383134982868509441956814597386251795059184042709382567175404283059859794876330537951430108997312901521776993221239634197643016854817920769527590650851914820439169137281777364491419031762091989307437057010168908328623358760054789120*y^6 - 8152223760372079097937867905099079532907187809546303751555748601191937369689597177327162056545971827204570140952966573261174193876446380909688753132114088214034821060198038866949943528135787291468620198636355980260685895842543833202887421944191099530469261010744632095700328722358278679027778715468642317366175205803003029930761324152863183704697727427495121348339727099594242869432897202422236599322975764574847/414349606860591400926823894552710616014895797850477089835285048833784193656025309819779767577423023258827295866668969221960216358638439087819728058994085925204883530351254207416383134982868509441956814597386251795059184042709382567175404283059859794876330537951430108997312901521776993221239634197643016854817920769527590650851914820439169137281777364491419031762091989307437057010168908328623358760054789120*y^5 + 4766500987893047674026555857603271830156658933857639296138694522811987382577828634013556756139078639335636190438738038524801427213662029953688351186867665604686198713330458952030154284481474485699416706010356551401586583345750620315780755052989371519213148323010442324773187470602807993356037126632618848075087325868172725457658985253899636426945616692193211907015528260627536539306946584391023444188061563859/1618553151799185159870405838096525843808186710353426132169082222006969506468848866483514717099308684604794124479175661023282095150931402686795812730445648145331576290434586747720246621026830115007643807021040046074449937666833525653028922980702577323735666163872773863270753521569441379770467321084543034589132503005967150979890292267340504442506942830044605592820671833232176003945972298158684995156464020*y^4 + 58143653476017593047439155614606063411509107071961120287994266618638239954069388947300814226006931552414963559910571020442011063131020743024702204543735892692383339369969855884488009976442595593154299089724809120046506714193060245779755149749002055525370478895406336597401135869587534230953594949104658475495226223174945265849201813116449901895750087943161007672962157267801748813940669177194830967126797722705/82869921372118280185364778910542123202979159570095417967057009766756838731205061963955953515484604651765459173333793844392043271727687817563945611798817185040976706070250841483276626996573701888391362919477250359011836808541876513435080856611971958975266107590286021799462580304355398644247926839528603370963584153905518130170382964087833827456355472898283806352418397861487411402033781665724671752010957824*y^3 - 238161861797605484564406328949662798703219585211885260286039510261313515893785075358911116595282448710936304235207829078498860183117629725876480547899035523546591658031668738853914165207052750894811652020735004422442567917859679341057300623726724281616805451711794154981708057576902068675477142535646309245099032685281508675627168661774886403484294454074738165788064883794723281596398674953252205149060907231/2301942260336618894037910525292836755638309988058206054640472493521023298089029498998776486541239018104596088148160940122001201992435772710109600327744921806693797390840301152313239638793713941344204525541034732194773244681718792039863357128110332193757391877507945049985071675120983295673553523320238982526766226497375503615843971224662050762676540913841216843122733273930205872278716157381240882000304384*y^2 - 234365998175495875822374860703646135671296604167732482457326035872229896228087817869505537395257322310583286742472292954887057573199794995927353131910688584645506308298335009257250791173651461283277667483667627396299188277849014790006671308744797351849681200673053939382532360912431851563458313558861340937580639622145037887884261983076495116803776857408996741880315075004010782610983502380835358353853028643/20717480343029570046341194727635530800744789892523854491764252441689209682801265490988988378871151162941364793333448461098010817931921954390986402949704296260244176517562710370819156749143425472097840729869312589752959202135469128358770214152992989743816526897571505449865645076088849661061981709882150842740896038476379532542595741021958456864088868224570951588104599465371852850508445416431167938002739456*y + 9444986937824750870922757792840205145177917593312135771416196102210929135231700606312548940707260632743309454828242536386819063597064895346195739099975024046616058894474712082129946530207723564958717202487261316156164299414204852262094122923585326754397742113239736634909328273420780737889134223774664266596638804602781831858586790173366399489546706919101246950979479917138471182372594090335690438261640011/138116535620197133642274631517570205338298599283492363278428349611261397885341769939926589192474341086275765288889656407320072119546146362606576019664695308401627843450418069138794378327622836480652271532462083931686394680903127522391801427686619931625443512650476702999104300507258997740413211399214338951605973589842530216950638273479723045760592454830473010587363996435812352336722969442874452920018263040