# Manifold: Census Knot K6_16

# Number of Tetrahedra: 6

# Number Field
x^21 - 13*x^20 + 13*x^19 + 236*x^18 - 903*x^17 - 2246*x^16 + 7167*x^15 - 3256*x^14 - 4160*x^13 + 55471*x^12 - 93644*x^11 - 50570*x^10 + 149364*x^9 - 37356*x^8 - 12536*x^7 + 355*x^6 - 20658*x^5 + 13260*x^4 + 2784*x^3 - 1968*x^2 - 128*x + 64 

# Approximate Field Generator
-0.0932706569783769 + 0.643351388702076*I

# Shape Parameters
-5168296792991992006080982530338485837361369072571153/308711882818918599460244706691451863526255683044866848*y^20 + 68570893750887772452926220834378940470640366463778387/308711882818918599460244706691451863526255683044866848*y^19 - 86478752136273415670899364688840919355705364870501951/308711882818918599460244706691451863526255683044866848*y^18 - 591961957717740771584456155014332643758493171989913601/154355941409459299730122353345725931763127841522433424*y^17 + 4965966828184049586972245479633280879929086839884133251/308711882818918599460244706691451863526255683044866848*y^16 + 2516284280927470195285437596698271292728185812674029817/77177970704729649865061176672862965881563920761216712*y^15 - 38793332699181645376438593161044792489584776124226164839/308711882818918599460244706691451863526255683044866848*y^14 + 14453854744364667738067481198742292821639612580974037337/154355941409459299730122353345725931763127841522433424*y^13 + 1582944068407849309272499163059468277709831169620563173/77177970704729649865061176672862965881563920761216712*y^12 - 282204737697109631013601550895422164840705492612027931159/308711882818918599460244706691451863526255683044866848*y^11 + 279991814510056526282660009608271232354405536234647784691/154355941409459299730122353345725931763127841522433424*y^10 + 30117511821561867393115253149446763173567368047366630499/154355941409459299730122353345725931763127841522433424*y^9 - 84692399096062380007468913196586493050038727900643099939/38588985352364824932530588336431482940781960380608356*y^8 + 93120242434612022361172929780234849306688732411225536231/77177970704729649865061176672862965881563920761216712*y^7 - 10071363606799174574947729034036927740077721262980003215/19294492676182412466265294168215741470390980190304178*y^6 + 119271747662525623318415433409843915649666634049033127821/308711882818918599460244706691451863526255683044866848*y^5 + 9031162242522204826360284458426786888523761945784554469/77177970704729649865061176672862965881563920761216712*y^4 - 11781269614507415498595709789225140609702040841839321713/77177970704729649865061176672862965881563920761216712*y^3 + 88609870009713510412673894708074536745097796777596195/38588985352364824932530588336431482940781960380608356*y^2 + 91628808788681714557565068228383419051251737220122434/9647246338091206233132647084107870735195490095152089*y - 9517369612628214133977046832636380880184115090496545/9647246338091206233132647084107870735195490095152089

-121518662456811751438148023685569586365809797179092707/308711882818918599460244706691451863526255683044866848*y^20 + 1557021302953695568990633946246324416422254873472198489/308711882818918599460244706691451863526255683044866848*y^19 - 1291334464336521957757453362450592537894539978495315345/308711882818918599460244706691451863526255683044866848*y^18 - 14442692158704106933933709314181456494609303977143618989/154355941409459299730122353345725931763127841522433424*y^17 + 104305878918925579148203888118260701671653618879166745357/308711882818918599460244706691451863526255683044866848*y^16 + 72947573203901838724366092793018488391048966840942291517/77177970704729649865061176672862965881563920761216712*y^15 - 814125650970023257241950421342546838884468519749749014089/308711882818918599460244706691451863526255683044866848*y^14 + 125082669841914072414490871647486286670350098411911463787/154355941409459299730122353345725931763127841522433424*y^13 + 33464663941574216480121409826923546379270092084900725855/19294492676182412466265294168215741470390980190304178*y^12 - 6636041368478054068279037243921734396530798606242457030253/308711882818918599460244706691451863526255683044866848*y^11 + 5074164379510272440808101489785588233100192117341486907577/154355941409459299730122353345725931763127841522433424*y^10 + 3947891710619677034653512534710055342327118138152800059523/154355941409459299730122353345725931763127841522433424*y^9 - 1029119825361031630806087015287478371856005421091195689491/19294492676182412466265294168215741470390980190304178*y^8 + 409686285558469446669955232634960859974901602435737459331/77177970704729649865061176672862965881563920761216712*y^7 + 95084879905689804161083845397645425171092524468713428705/19294492676182412466265294168215741470390980190304178*y^6 + 276372249397541556368158901392429677703735822969883456071/308711882818918599460244706691451863526255683044866848*y^5 + 637376605921691720728366526733965555566320439774366338627/77177970704729649865061176672862965881563920761216712*y^4 - 141853478154182169357711505338204363753556276825011844893/38588985352364824932530588336431482940781960380608356*y^3 - 62109923929513679383361741672087215070157797710869116313/38588985352364824932530588336431482940781960380608356*y^2 + 8031021048399389007819621451337661831147986669922953807/19294492676182412466265294168215741470390980190304178*y + 1142317570317286858813368095803976646373053155565660737/9647246338091206233132647084107870735195490095152089

-23265627579113040431239310703133885590130959288155343/308711882818918599460244706691451863526255683044866848*y^20 + 294153920402400487612058951377742210290197320632279911/308711882818918599460244706691451863526255683044866848*y^19 - 200263429552166106043489739167715263864478478568867127/308711882818918599460244706691451863526255683044866848*y^18 - 690933570428423253828238660004803188576141637391351877/38588985352364824932530588336431482940781960380608356*y^17 + 19013230925218308671962947492892580173676782545455619793/308711882818918599460244706691451863526255683044866848*y^16 + 29193724749600814357096375109965407204131689327963259491/154355941409459299730122353345725931763127841522433424*y^15 - 143674507750241217276475307745202156478037960024305271449/308711882818918599460244706691451863526255683044866848*y^14 + 7834744377275183342803119995453143782579616637491861095/77177970704729649865061176672862965881563920761216712*y^13 + 2846325434030680976695944575328533613431535478400434594/9647246338091206233132647084107870735195490095152089*y^12 - 1253981973304874890517148958500290821772435814835796932057/308711882818918599460244706691451863526255683044866848*y^11 + 54422775389395744430733136041858037762865413936464453996/9647246338091206233132647084107870735195490095152089*y^10 + 824957353839269689748787193069378205331569126993173140419/154355941409459299730122353345725931763127841522433424*y^9 - 670037703125337166647323304809656874345422959426404024635/77177970704729649865061176672862965881563920761216712*y^8 + 25126437102904659693408890358743282219629208115846654845/77177970704729649865061176672862965881563920761216712*y^7 + 2063797809751123718681280872585593001024098766035012521/38588985352364824932530588336431482940781960380608356*y^6 + 22009365453503169719774724170316813900427743239295394803/308711882818918599460244706691451863526255683044866848*y^5 + 241031811818138731825932853708383170419395916432287151101/154355941409459299730122353345725931763127841522433424*y^4 - 34357190197129380999121254766554993743843361476949086863/77177970704729649865061176672862965881563920761216712*y^3 - 7402653073437102797949557660119634291841288777055166353/38588985352364824932530588336431482940781960380608356*y^2 + 494213970352700514706885453690992113613881164539968249/19294492676182412466265294168215741470390980190304178*y + 38843284357537094323863392318751512530513189731947388/9647246338091206233132647084107870735195490095152089

1355999007940208535766161174827625109844925131403957/308711882818918599460244706691451863526255683044866848*y^20 - 17745026320960786301005305152970029502530251862645461/308711882818918599460244706691451863526255683044866848*y^19 + 19748729824751018275979174209786445508921754055645965/308711882818918599460244706691451863526255683044866848*y^18 + 38894946876632672933463419884132222751383762154966359/38588985352364824932530588336431482940781960380608356*y^17 - 1249811686169933003785851138061722359461654428348787107/308711882818918599460244706691451863526255683044866848*y^16 - 1398760126785325859600116949092753720276885037489722677/154355941409459299730122353345725931763127841522433424*y^15 + 9549186572156472818079354683126629496235849394825912235/308711882818918599460244706691451863526255683044866848*y^14 - 1728545802215421677563374931536365264847476330918733655/77177970704729649865061176672862965881563920761216712*y^13 - 285120968772945504920684694721583621912703530248484117/38588985352364824932530588336431482940781960380608356*y^12 + 75886236146879197975888362931011525525310485873390146067/308711882818918599460244706691451863526255683044866848*y^11 - 16926111727373521683668367234424352716765885891309865889/38588985352364824932530588336431482940781960380608356*y^10 - 13037349419208099634201044824304294112380567128910183389/154355941409459299730122353345725931763127841522433424*y^9 + 44031944751252591401303173311840283650433669823701260261/77177970704729649865061176672862965881563920761216712*y^8 - 29928869715542506273766753966598436714574551294343684115/77177970704729649865061176672862965881563920761216712*y^7 + 4004594688177680706792777572515856463027299442715857691/38588985352364824932530588336431482940781960380608356*y^6 + 11212555294237990522159390944834840163812312968887211135/308711882818918599460244706691451863526255683044866848*y^5 - 10224545580330978390075769828342613430524291785082953475/154355941409459299730122353345725931763127841522433424*y^4 + 5934222531731698318226514861624441098093778107203745311/77177970704729649865061176672862965881563920761216712*y^3 - 929700948601552558679095176193259056531848785835521019/38588985352364824932530588336431482940781960380608356*y^2 - 176187818534505523745539558698805538611752185666566727/19294492676182412466265294168215741470390980190304178*y + 50896283429076252029740087961601883791690023640566239/19294492676182412466265294168215741470390980190304178

3942995840191242675969934233451108169775070471790029/77177970704729649865061176672862965881563920761216712*y^20 - 49756524758152751912865044775999819558270325907826285/77177970704729649865061176672862965881563920761216712*y^19 + 33039522955461718866324490066822947708485304263156885/77177970704729649865061176672862965881563920761216712*y^18 + 116720042225236249125153727214044540732347959175935323/9647246338091206233132647084107870735195490095152089*y^17 - 3198006553484669737086513577584624572636164016083122715/77177970704729649865061176672862965881563920761216712*y^16 - 4949748712198293453472190426450406686320055686963793337/38588985352364824932530588336431482940781960380608356*y^15 + 23877186309310577402270544745377515676813544447591748867/77177970704729649865061176672862965881563920761216712*y^14 - 1391681723020499104657939400463221739329608069222115811/19294492676182412466265294168215741470390980190304178*y^13 - 1740216344613030857650041154316410084550033364104768609/9647246338091206233132647084107870735195490095152089*y^12 + 212162201312412812592018921574662196114375502951124322483/77177970704729649865061176672862965881563920761216712*y^11 - 36381858430329978349210647006319562464255245376702050430/9647246338091206233132647084107870735195490095152089*y^10 - 135165856711612610734240378217973987845736053121799681221/38588985352364824932530588336431482940781960380608356*y^9 + 107268688579663650519086922246503021394593298028895029409/19294492676182412466265294168215741470390980190304178*y^8 - 8088755899064230099543014725973612790474328289540099037/19294492676182412466265294168215741470390980190304178*y^7 + 2871299226502862130924647860027867024129464726655284387/9647246338091206233132647084107870735195490095152089*y^6 + 726854716730043645034937893185699072557181653309113759/77177970704729649865061176672862965881563920761216712*y^5 - 39123568922825142383882806967188423298246984161531358775/38588985352364824932530588336431482940781960380608356*y^4 + 5596731992383555123660847503751663569082547183579857713/19294492676182412466265294168215741470390980190304178*y^3 + 565864189900861696142743732686965116736569528912967043/9647246338091206233132647084107870735195490095152089*y^2 - 107310844888304131560606167007089317883425055536983942/9647246338091206233132647084107870735195490095152089*y + 12424404810533348118185826073413230068726227019663806/9647246338091206233132647084107870735195490095152089

3942995840191242675969934233451108169775070471790029/77177970704729649865061176672862965881563920761216712*y^20 - 49756524758152751912865044775999819558270325907826285/77177970704729649865061176672862965881563920761216712*y^19 + 33039522955461718866324490066822947708485304263156885/77177970704729649865061176672862965881563920761216712*y^18 + 116720042225236249125153727214044540732347959175935323/9647246338091206233132647084107870735195490095152089*y^17 - 3198006553484669737086513577584624572636164016083122715/77177970704729649865061176672862965881563920761216712*y^16 - 4949748712198293453472190426450406686320055686963793337/38588985352364824932530588336431482940781960380608356*y^15 + 23877186309310577402270544745377515676813544447591748867/77177970704729649865061176672862965881563920761216712*y^14 - 1391681723020499104657939400463221739329608069222115811/19294492676182412466265294168215741470390980190304178*y^13 - 1740216344613030857650041154316410084550033364104768609/9647246338091206233132647084107870735195490095152089*y^12 + 212162201312412812592018921574662196114375502951124322483/77177970704729649865061176672862965881563920761216712*y^11 - 36381858430329978349210647006319562464255245376702050430/9647246338091206233132647084107870735195490095152089*y^10 - 135165856711612610734240378217973987845736053121799681221/38588985352364824932530588336431482940781960380608356*y^9 + 107268688579663650519086922246503021394593298028895029409/19294492676182412466265294168215741470390980190304178*y^8 - 8088755899064230099543014725973612790474328289540099037/19294492676182412466265294168215741470390980190304178*y^7 + 2871299226502862130924647860027867024129464726655284387/9647246338091206233132647084107870735195490095152089*y^6 + 726854716730043645034937893185699072557181653309113759/77177970704729649865061176672862965881563920761216712*y^5 - 39123568922825142383882806967188423298246984161531358775/38588985352364824932530588336431482940781960380608356*y^4 + 5596731992383555123660847503751663569082547183579857713/19294492676182412466265294168215741470390980190304178*y^3 + 565864189900861696142743732686965116736569528912967043/9647246338091206233132647084107870735195490095152089*y^2 - 107310844888304131560606167007089317883425055536983942/9647246338091206233132647084107870735195490095152089*y + 2777158472442141885053178989305359333530736924511717/9647246338091206233132647084107870735195490095152089


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

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

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

# f Combinatorial flattening
{9, 6, 17, 12, -11, -5}

# f' Combinatorial flattening
{14, 0, 0, 0, 0, 0}

# 1 Loop Invariant
751716862301858151561691197987878041533219725481256025/617423765637837198920489413382903727052511366089733696*y^20 - 9475086252106408210752567099298302210056083493139983999/617423765637837198920489413382903727052511366089733696*y^19 + 6149218508436757940157478230525779365772909541863968483/617423765637837198920489413382903727052511366089733696*y^18 + 89135137106755183277399193281953861516185444770857864635/308711882818918599460244706691451863526255683044866848*y^17 - 607166452003108559665477513414990842395986190628466547443/617423765637837198920489413382903727052511366089733696*y^16 - 237403745700919083523579516110974711754813132836982064209/77177970704729649865061176672862965881563920761216712*y^15 + 4534328692660888750507025410943978001008703095418194596159/617423765637837198920489413382903727052511366089733696*y^14 - 479092754460463952209459637177662685526204629839969980487/308711882818918599460244706691451863526255683044866848*y^13 - 683149244972725063717018100352334858147412143552126916679/154355941409459299730122353345725931763127841522433424*y^12 + 40401771839874240422326634915569754754805137752632166455903/617423765637837198920489413382903727052511366089733696*y^11 - 27430514908946548993171867255644669567549863395547439882945/308711882818918599460244706691451863526255683044866848*y^10 - 26517593031922384001330397983620471061332753503398771416967/308711882818918599460244706691451863526255683044866848*y^9 + 5107458123509386733027962844070336723767169384465194876215/38588985352364824932530588336431482940781960380608356*y^8 - 950210865705693235828264424812674818050901859036253623783/154355941409459299730122353345725931763127841522433424*y^7 + 104080023220046192818862033737858947738809789299675631923/19294492676182412466265294168215741470390980190304178*y^6 - 60603480131677749828095484026588106428242372799343819125/617423765637837198920489413382903727052511366089733696*y^5 - 938680562887623387155555347713170177274736576134123153357/38588985352364824932530588336431482940781960380608356*y^4 + 995632874226823367719998969341278973695035487099845121921/154355941409459299730122353345725931763127841522433424*y^3 + 140994602986809513593012067025463480191770250950285578339/77177970704729649865061176672862965881563920761216712*y^2 - 2665586885133907335632512353717546291478569992708526869/9647246338091206233132647084107870735195490095152089*y - 306924886508070171129124382041205541600387996660467250/9647246338091206233132647084107870735195490095152089

# 2 Loop Invariant
-5821716985237124944307251076507761615635266177937504823453516988373532662441437991545779481135336485864553753282938522049/1008588236703906345808205116526926308565964923955398134460807806946477813547414904849337516156589076424792615889392965266112*y^20 + 73606443842867138885623349900931518608962236404563270508462947136957476344009545156440366818603939560181103072854459320079/1008588236703906345808205116526926308565964923955398134460807806946477813547414904849337516156589076424792615889392965266112*y^19 - 50556750178230790926943280483754836384291226830228330491933863267426803630112650680814509184656795823535922237257403050553/1008588236703906345808205116526926308565964923955398134460807806946477813547414904849337516156589076424792615889392965266112*y^18 - 86114170080591391322161249226394255099949365265435900784079961252213590733028943960606090591105799571860792527187260068287/63036764793994146613012819782932894285372807747212383403800487934154863346713431553083594759786817276549538493087060329132*y^17 + 4756520660709685364562646850797280391221689280427816601124483205316701576679713523813320233172727010109918225436696584593297/1008588236703906345808205116526926308565964923955398134460807806946477813547414904849337516156589076424792615889392965266112*y^16 + 3626512546834028447124583652800363556672820645962599516901959917934988644282754435987190082094331520909090346853281562104995/252147059175976586452051279131731577141491230988849533615201951736619453386853726212334379039147269106198153972348241316528*y^15 - 35646271024501032446726892066364949730874525755283098100564784680902530070816420123561015743892020853660207819124860569601793/1008588236703906345808205116526926308565964923955398134460807806946477813547414904849337516156589076424792615889392965266112*y^14 + 4535991832274591593926741806055742773826907780320796480994912181252651347220650897745401043035325227455995602007833203555449/504294118351953172904102558263463154282982461977699067230403903473238906773707452424668758078294538212396307944696482633056*y^13 + 3449717601167380753027803506419872857809803453624876921575017046395070849583656402101795563097280631130106197344637760539203/168098039450651057634700852754487718094327487325899689076801301157746302257902484141556252692764846070798769314898827544352*y^12 - 314067734362666267415498677041014524644422961933119041513768372173063422459668029206145151124275876031144210837386227598805687/1008588236703906345808205116526926308565964923955398134460807806946477813547414904849337516156589076424792615889392965266112*y^11 + 218617618341481288430908745643637341034479244840958235935683217737959643985670680791665973204685184401413238348902301835900701/504294118351953172904102558263463154282982461977699067230403903473238906773707452424668758078294538212396307944696482633056*y^10 + 97500892079336015596733309320198275739802713816104022827485018840470387773248382319256416765208292316205860812297448266708355/252147059175976586452051279131731577141491230988849533615201951736619453386853726212334379039147269106198153972348241316528*y^9 - 40539603285952308704817266640024948465924928813921148305031048926595479588320587444944902618802068454427977739703737059875833/63036764793994146613012819782932894285372807747212383403800487934154863346713431553083594759786817276549538493087060329132*y^8 + 8054604535146333198697781236692083763789647042834754487928086665907253081197915194570511761114223654428601450255613683837643/126073529587988293226025639565865788570745615494424766807600975868309726693426863106167189519573634553099076986174120658264*y^7 - 6531688981730297218055907112037107673890850020103995888242438362912728863987155608211615871468327799971180474957393025639873/252147059175976586452051279131731577141491230988849533615201951736619453386853726212334379039147269106198153972348241316528*y^6 - 3666247967097978174110271812137407909191920870289588876140816527784081631800198471633643501869840057334836202986239563608019/1008588236703906345808205116526926308565964923955398134460807806946477813547414904849337516156589076424792615889392965266112*y^5 + 14319074325057996413913245400808778316194985684586999451449190704624039578796482387822589478732759740037517490983427525417555/126073529587988293226025639565865788570745615494424766807600975868309726693426863106167189519573634553099076986174120658264*y^4 - 18677530868754372438020649592606422426426681283840975380819876441118808993156910402406275585955254004091727304050841633278907/504294118351953172904102558263463154282982461977699067230403903473238906773707452424668758078294538212396307944696482633056*y^3 - 619663589906383882479218613940701643224970572971719343334320799821372570102658978470276819866385284189628231320316276797909/84049019725325528817350426377243859047163743662949844538400650578873151128951242070778126346382423035399384657449413772176*y^2 + 13384713057039062317734938962185306218625509912147375821803409762746760026723079280097474511402868349254397268351793675761/5253063732832845551084401648577741190447733978934365283650040661179571945559452629423632896648901439712461541090588360761*y - 1063498456425192630363060276095828433327071882834282703888471185698881081619739898130747255262325482994631937423413860547043/63036764793994146613012819782932894285372807747212383403800487934154863346713431553083594759786817276549538493087060329132

# 3 Loop Invariant
37835612508178669222840467440528472359764646762469281603458031769594253914172877119886454426322229819887703046096779561014383362754994779773349875218517/135259974497295929052346124038517866485590538290774910571533630731772424456291550211695802512472528833403217859211209064915866782974875709511865635962234784*y^20 - 957930569644041597426364984401041583012149672287461432672925697527700514735206217991293920970411855618818166165832253955626440098918200969272845479985563/270519948994591858104692248077035732971181076581549821143067261463544848912583100423391605024945057666806435718422418129831733565949751419023731271924469568*y^19 + 335455463058266266870874487397236996103818313917567034677207986341450819743059121428526907859978195977373461500460103042400904712901286616383300843321291/135259974497295929052346124038517866485590538290774910571533630731772424456291550211695802512472528833403217859211209064915866782974875709511865635962234784*y^18 + 17913657995618280492000683950050075580777058678407932545284303481729642037907567032839498527941301437583796053389697642372022349942595821428412451789055977/270519948994591858104692248077035732971181076581549821143067261463544848912583100423391605024945057666806435718422418129831733565949751419023731271924469568*y^17 - 62108283050888698718682832014887182612139503044116594511174287608846836005277464369006941109561042471572225434374678776425625634059768421442353155073401043/270519948994591858104692248077035732971181076581549821143067261463544848912583100423391605024945057666806435718422418129831733565949751419023731271924469568*y^16 - 93933246731453645886119974735074272835325752514585607780897747832957516973393613409114748291579210321702410456288498691343286271282094490499194180619525857/135259974497295929052346124038517866485590538290774910571533630731772424456291550211695802512472528833403217859211209064915866782974875709511865635962234784*y^15 + 233555592364364190999889306312228197750386090517938975671839142203668945111529777664465445825694571020832283484943860430337604663330347000453706168249011133/135259974497295929052346124038517866485590538290774910571533630731772424456291550211695802512472528833403217859211209064915866782974875709511865635962234784*y^14 - 121723815159173029575926889573475407126458084471412569417672933860272931323912864621734281253214538338106828787520517840173839086953994682870219397354481357/270519948994591858104692248077035732971181076581549821143067261463544848912583100423391605024945057666806435718422418129831733565949751419023731271924469568*y^13 - 135971567550820921546021901242806437070966188003296062134194762155604791303632298120884601750431501129704041344780671263453977961409159732254109374355241519/135259974497295929052346124038517866485590538290774910571533630731772424456291550211695802512472528833403217859211209064915866782974875709511865635962234784*y^12 + 1021804058488088843825385435855517915603277730273781599210673286573913015319415765384553478169409804797728000278356447450765084457302342192807981971104775813/67629987248647964526173062019258933242795269145387455285766815365886212228145775105847901256236264416701608929605604532457933391487437854755932817981117392*y^11 - 2872878066892884159269977277528443039732725999251564895406439962801999246272729550844855280811945191747995161748501509112254603663984351690057700525146367603/135259974497295929052346124038517866485590538290774910571533630731772424456291550211695802512472528833403217859211209064915866782974875709511865635962234784*y^10 - 5044789437730765872498976287403321705750631666958510999115816837151365337872593934511617233451193360259201536142112091927980371112529885082177156758531615399/270519948994591858104692248077035732971181076581549821143067261463544848912583100423391605024945057666806435718422418129831733565949751419023731271924469568*y^9 + 4281009426385006154704242597535227890814662698360866684248213094041517815328275598958936323956169278200262144227322422624261145924461565088259243362388041431/135259974497295929052346124038517866485590538290774910571533630731772424456291550211695802512472528833403217859211209064915866782974875709511865635962234784*y^8 - 445692183038412589599718471752939624506006456702267449726947967556383137784992457602857004355232289850126478318086442506881762878928068285325113898150927437/135259974497295929052346124038517866485590538290774910571533630731772424456291550211695802512472528833403217859211209064915866782974875709511865635962234784*y^7 + 19148371828560678265403327407033511823635429144780087450744724217277507489287452221439346326480689945329993943801073205292281324860718248101363264874886341/16907496812161991131543265504814733310698817286346863821441703841471553057036443776461975314059066104175402232401401133114483347871859463688983204495279348*y^6 + 64467142455349130420126759877128106388908973113728124605028164836609312405414554763734543162193025467685712921714318562029158346248437734994859555000957427/270519948994591858104692248077035732971181076581549821143067261463544848912583100423391605024945057666806435718422418129831733565949751419023731271924469568*y^5 - 764067013374919578779252957115118477732817491066739481427324938380754426238617121685785955225383508526314222362315052978241400434107400445838329588350753799/135259974497295929052346124038517866485590538290774910571533630731772424456291550211695802512472528833403217859211209064915866782974875709511865635962234784*y^4 + 125117594585565185163003943988904469233840848391980233617994983848569953687721910514045015737000612386182864435665471646751499552301591596737457727471725259/67629987248647964526173062019258933242795269145387455285766815365886212228145775105847901256236264416701608929605604532457933391487437854755932817981117392*y^3 + 3105326918255998892544343775215895623860905955042249351096857633975201414910156200918872204070148062487894662574365538192235279834152218246855451619827245/8453748406080995565771632752407366655349408643173431910720851920735776528518221888230987657029533052087701116200700566557241673935929731844491602247639674*y^2 - 2143112890576932443716399267074407125368334279520719275555103547284363843472145297483559702314373988832315192454246618980413690151863219117130263863858443/16907496812161991131543265504814733310698817286346863821441703841471553057036443776461975314059066104175402232401401133114483347871859463688983204495279348*y + 199309996711419534561304191218257277996272054012391847702011477263799700361362953202164586442811860738870505808132726091583062805300249297866816038918545/8453748406080995565771632752407366655349408643173431910720851920735776528518221888230987657029533052087701116200700566557241673935929731844491602247639674