# Manifold: Census Knot K7_64

# Number of Tetrahedra: 7

# Number Field
x^25 - 2*x^24 - 35*x^23 - 15*x^22 + 441*x^21 + 802*x^20 - 1922*x^19 - 5617*x^18 + 1097*x^17 + 14549*x^16 + 9597*x^15 - 14521*x^14 - 22841*x^13 - 664*x^12 + 20586*x^11 + 12149*x^10 - 7569*x^9 - 9062*x^8 + 321*x^7 + 2707*x^6 + 405*x^5 - 348*x^4 - 90*x^3 + 21*x^2 + 6*x - 1 

# Approximate Field Generator
-0.986543063018897 + 0.241556577369496*I

# Shape Parameters
9500204289522997003119480567815402863/18322961080201107184840845957611541191*y^24 - 20184818671894732175431443661599832930/18322961080201107184840845957611541191*y^23 - 330510283328904267962501897549662382587/18322961080201107184840845957611541191*y^22 - 104645923353595799530903328742116387760/18322961080201107184840845957611541191*y^21 + 4226231405177581060685086993254245507816/18322961080201107184840845957611541191*y^20 + 7254778204142407591198380691036653864474/18322961080201107184840845957611541191*y^19 - 19202552206934043295286225977893526148256/18322961080201107184840845957611541191*y^18 - 53071986239764540130007015640046773094848/18322961080201107184840845957611541191*y^17 + 13277310438485047853757662883753057122263/18322961080201107184840845957611541191*y^16 + 143042329836249190736526927240661155223858/18322961080201107184840845957611541191*y^15 + 97765454943054533757614190426467448500807/18322961080201107184840845957611541191*y^14 - 138831917267756585722200577107149058846175/18322961080201107184840845957611541191*y^13 - 239424524023272395666200900918444597351985/18322961080201107184840845957611541191*y^12 - 36216271549720224326375287807730074444383/18322961080201107184840845957611541191*y^11 + 194692571940737067744750313152475144001779/18322961080201107184840845957611541191*y^10 + 150585057106908427028314617015028281518035/18322961080201107184840845957611541191*y^9 - 38328948305674239285852678599538613733135/18322961080201107184840845957611541191*y^8 - 87883994260464967917014203752789921475512/18322961080201107184840845957611541191*y^7 - 19496665606894277196177651528157115173233/18322961080201107184840845957611541191*y^6 + 15231678414461630384381809059448386855386/18322961080201107184840845957611541191*y^5 + 7205988238681131800391797645023316122693/18322961080201107184840845957611541191*y^4 - 231313232811664892026413707749547010052/18322961080201107184840845957611541191*y^3 - 721084545859879400056254195414301955904/18322961080201107184840845957611541191*y^2 - 35213261870158445803169622344160915916/18322961080201107184840845957611541191*y + 8050000943270438150933740347140008847/18322961080201107184840845957611541191

-134692315945813358679505929845868083262/91614805401005535924204229788057705955*y^24 + 46604067753856798785502489460377225472/18322961080201107184840845957611541191*y^23 + 4785180269148932852747703392011836120221/91614805401005535924204229788057705955*y^22 + 3294843730056451553208940540034008340959/91614805401005535924204229788057705955*y^21 - 58785145350690404441495184189936610046096/91614805401005535924204229788057705955*y^20 - 24794796974799602578857668028385949692578/18322961080201107184840845957611541191*y^19 + 228864752286907555688292308341016424689948/91614805401005535924204229788057705955*y^18 + 824173220662495115651344680345517345779411/91614805401005535924204229788057705955*y^17 + 59559100917573221967555991064086337685376/91614805401005535924204229788057705955*y^16 - 1983866697650558231987733379470855033843841/91614805401005535924204229788057705955*y^15 - 363520542055562468061724653920138867460034/18322961080201107184840845957611541191*y^14 + 1565603112176709854203551588104867200041398/91614805401005535924204229788057705955*y^13 + 3560283648978387192711301022169685312668106/91614805401005535924204229788057705955*y^12 + 956523928620586357615794990887669843171268/91614805401005535924204229788057705955*y^11 - 2656304667521548179284331124565460317069398/91614805401005535924204229788057705955*y^10 - 2358699332097523520043482986312596933352346/91614805401005535924204229788057705955*y^9 + 501447667810033481975148256363877324937541/91614805401005535924204229788057705955*y^8 + 284558008699574430786983865468213991859555/18322961080201107184840845957611541191*y^7 + 300984444143858351041543392701374825473362/91614805401005535924204229788057705955*y^6 - 325571089794098688123993122082764156261863/91614805401005535924204229788057705955*y^5 - 140166796616815936730050838416210930098699/91614805401005535924204229788057705955*y^4 + 18418819096142734323153025243660471451221/91614805401005535924204229788057705955*y^3 + 18045775833276428706729901099059197412344/91614805401005535924204229788057705955*y^2 + 1415173390740881753622801597906995789599/91614805401005535924204229788057705955*y - 531276180273162962498533292846766974593/91614805401005535924204229788057705955

-20877285687691426409727173651431660984/18322961080201107184840845957611541191*y^24 + 35929123011434194284682855360614611896/18322961080201107184840845957611541191*y^23 + 741102986689591602454808034979192282751/18322961080201107184840845957611541191*y^22 + 518196406185134231294329954891153002450/18322961080201107184840845957611541191*y^21 - 9072738874557624829308137955957068596660/18322961080201107184840845957611541191*y^20 - 19246998737471404115624931326374903810211/18322961080201107184840845957611541191*y^19 + 34916315940295944557167792792568967883430/18322961080201107184840845957611541191*y^18 + 126869756648651933771119844449437164283630/18322961080201107184840845957611541191*y^17 + 11218111351064514673330786368233824239939/18322961080201107184840845957611541191*y^16 - 300500145858310079244998261798719049789243/18322961080201107184840845957611541191*y^15 - 279412875338191740728364939989921857651483/18322961080201107184840845957611541191*y^14 + 227370091367022921248508093709763657130334/18322961080201107184840845957611541191*y^13 + 531504910641922360868303534004040136392046/18322961080201107184840845957611541191*y^12 + 153233965141189439627845097987980001472990/18322961080201107184840845957611541191*y^11 - 380865250094557182380820391725872280756447/18322961080201107184840845957611541191*y^10 - 345354120416247679604537786423364905110471/18322961080201107184840845957611541191*y^9 + 64876504595879334124912036573444599430829/18322961080201107184840845957611541191*y^8 + 196207943800904985055125947679384153730548/18322961080201107184840845957611541191*y^7 + 40293573913660547610792538261102614313015/18322961080201107184840845957611541191*y^6 - 41809372903741718908405794140577174879064/18322961080201107184840845957611541191*y^5 - 15877372050099791031678348303016203149237/18322961080201107184840845957611541191*y^4 + 2747274750346840032752927274175905175874/18322961080201107184840845957611541191*y^3 + 1875054480577492625028176045759993442407/18322961080201107184840845957611541191*y^2 - 6809520230143264297706458330297041418/18322961080201107184840845957611541191*y - 78460844337496251868902273531244162376/18322961080201107184840845957611541191

-17211421252886753614285264674794166323/18322961080201107184840845957611541191*y^24 + 46925786907335324580874213871801799806/18322961080201107184840845957611541191*y^23 + 570186298923745493888012093174491212331/18322961080201107184840845957611541191*y^22 - 159584194150242010791392055752307663883/18322961080201107184840845957611541191*y^21 - 7540313181804815067369563713508890024133/18322961080201107184840845957611541191*y^20 - 8359225425779870416070448553425001726507/18322961080201107184840845957611541191*y^19 + 39972296816264593566745263307183234447473/18322961080201107184840845957611541191*y^18 + 69167800878441981482723654835086968054125/18322961080201107184840845957611541191*y^17 - 72591103897423496028315025808032979965582/18322961080201107184840845957611541191*y^16 - 207831269130393985225100195576221241621538/18322961080201107184840845957611541191*y^15 - 11917661847478186804348213596487161142167/18322961080201107184840845957611541191*y^14 + 283159585530082811593972963943124928773353/18322961080201107184840845957611541191*y^13 + 199846327575327790274786094013603396245671/18322961080201107184840845957611541191*y^12 - 159256934626036108832639433244612286862745/18322961080201107184840845957611541191*y^11 - 267243873481596826506037500450716037953021/18322961080201107184840845957611541191*y^10 - 4958301010690525994128653670126922142734/18322961080201107184840845957611541191*y^9 + 164627386935908441022360068829821774030454/18322961080201107184840845957611541191*y^8 + 40143827618129705866465095839967424980811/18322961080201107184840845957611541191*y^7 - 57199525506350542232802838234984525678583/18322961080201107184840845957611541191*y^6 - 14158126598176579113721601374268792739745/18322961080201107184840845957611541191*y^5 + 12596794982418115865046562653373551722367/18322961080201107184840845957611541191*y^4 + 2657453238829226961217697512486293934441/18322961080201107184840845957611541191*y^3 - 1182907493608350700525547485459026402695/18322961080201107184840845957611541191*y^2 - 437140803310065495005176858619465065829/18322961080201107184840845957611541191*y + 114277689047376485284449023098459243497/18322961080201107184840845957611541191

-15665883627720631818425680324367900074/18322961080201107184840845957611541191*y^24 + 29182779496362350078783160682518517706/18322961080201107184840845957611541191*y^23 + 547602699603427491595134430988964584254/18322961080201107184840845957611541191*y^22 + 316557114825670947616669866335556521604/18322961080201107184840845957611541191*y^21 - 6696316162210015379503773133084613585054/18322961080201107184840845957611541191*y^20 - 13307816316915426139267141611513055771110/18322961080201107184840845957611541191*y^19 + 26319009726004983205927569125721735067997/18322961080201107184840845957611541191*y^18 + 86652503380818944483741609205279759534726/18322961080201107184840845957611541191*y^17 + 683149993748575101399188170098031418096/18322961080201107184840845957611541191*y^16 - 198282053836758595328219918081287779429652/18322961080201107184840845957611541191*y^15 - 165383512203253323941634647232797290838516/18322961080201107184840845957611541191*y^14 + 146726603401814935919369121746752457954460/18322961080201107184840845957611541191*y^13 + 303542590997369419703345382573394799119971/18322961080201107184840845957611541191*y^12 + 71887071360763844503150629131453536748652/18322961080201107184840845957611541191*y^11 - 208576884069633236849806595379696554424522/18322961080201107184840845957611541191*y^10 - 160159638725309475149096806734802304820849/18322961080201107184840845957611541191*y^9 + 48914205087556759886817625679378602937058/18322961080201107184840845957611541191*y^8 + 80896670118538795294433693149041639256053/18322961080201107184840845957611541191*y^7 + 1216174435921470669174390485216015461877/18322961080201107184840845957611541191*y^6 - 15925311405681256548506953697169273365877/18322961080201107184840845957611541191*y^5 - 425521395713521417422724337524066029815/18322961080201107184840845957611541191*y^4 + 1475772015399782101698120583618260132419/18322961080201107184840845957611541191*y^3 + 10388868577320860386382377068553580017/18322961080201107184840845957611541191*y^2 - 187780503016235980769247850508038811053/18322961080201107184840845957611541191*y + 19706132377224517442658340278909345722/18322961080201107184840845957611541191

-98805767161118459417733782252832337392/18322961080201107184840845957611541191*y^24 + 152853360455653831428830144078705364640/18322961080201107184840845957611541191*y^23 + 3531303178199147020571127628555303355939/18322961080201107184840845957611541191*y^22 + 3073205691762343752728489987525281403175/18322961080201107184840845957611541191*y^21 - 42314425926379632667552421250811450960499/18322961080201107184840845957611541191*y^20 - 98439932035173103942062414441209377476037/18322961080201107184840845957611541191*y^19 + 147016312138084261773759019846487672012513/18322961080201107184840845957611541191*y^18 + 624310455247244617400189818277311448551389/18322961080201107184840845957611541191*y^17 + 166470422807332041238456839169748275880002/18322961080201107184840845957611541191*y^16 - 1381858795400483556805897983734767879913406/18322961080201107184840845957611541191*y^15 - 1565774804828056921153803167761056850583232/18322961080201107184840845957611541191*y^14 + 778352675995201409008054524688274613008194/18322961080201107184840845957611541191*y^13 + 2633639236067113197456446705915161005343336/18322961080201107184840845957611541191*y^12 + 1200358893187290675783087733680779195054289/18322961080201107184840845957611541191*y^11 - 1560149363893138204050697767770678554935484/18322961080201107184840845957611541191*y^10 - 1895134877305419032246083621544508746469869/18322961080201107184840845957611541191*y^9 - 42002984503471992559536767997482854246022/18322961080201107184840845957611541191*y^8 + 902835311719324501868626364392906415232687/18322961080201107184840845957611541191*y^7 + 346494520267747010444622771859628757275132/18322961080201107184840845957611541191*y^6 - 131530040757206348172016744026144627868780/18322961080201107184840845957611541191*y^5 - 92881584268395899143170390534176744056559/18322961080201107184840845957611541191*y^4 - 2326349759958343550966999664647078548612/18322961080201107184840845957611541191*y^3 + 6734545725343748494524697213309903853327/18322961080201107184840845957611541191*y^2 + 606091414483377640335384069599145627503/18322961080201107184840845957611541191*y - 187828481318918816168891714160356130977/18322961080201107184840845957611541191

-28881179603406493309901501817000984246/458074027005027679621021148940288529775*y^24 - 42527112058176495318043259971170145734/458074027005027679621021148940288529775*y^23 + 1202988660577112387440500764672052730456/458074027005027679621021148940288529775*y^22 + 3877988689565596602186564725764039132276/458074027005027679621021148940288529775*y^21 - 2155907530099176255841023576202154660211/91614805401005535924204229788057705955*y^20 - 64441568023298418359874168444699532990647/458074027005027679621021148940288529775*y^19 - 5407861007071014436515510874432904460799/91614805401005535924204229788057705955*y^18 + 314443875861689636067968043588818221998912/458074027005027679621021148940288529775*y^17 + 96071310840766233123923200037277146093572/91614805401005535924204229788057705955*y^16 - 358679546459466961665261023039263858555344/458074027005027679621021148940288529775*y^15 - 1328745192348334144749443284582258230565976/458074027005027679621021148940288529775*y^14 - 123096572656581254019946178274292955314173/91614805401005535924204229788057705955*y^13 + 1187624652269203549292158090705693281082546/458074027005027679621021148940288529775*y^12 + 320182491894561607526917580919387027131214/91614805401005535924204229788057705955*y^11 + 78305016802447346392063400147439135277414/458074027005027679621021148940288529775*y^10 - 232393622734985773916921200351414928105834/91614805401005535924204229788057705955*y^9 - 637588271522493572842249384210746660542796/458074027005027679621021148940288529775*y^8 + 296499794920804280802146022510608647414076/458074027005027679621021148940288529775*y^7 + 62128023873678568874618585819763591791343/91614805401005535924204229788057705955*y^6 - 6063690382684924954643817342204894554832/458074027005027679621021148940288529775*y^5 - 55754528984519271503167289931167073969197/458074027005027679621021148940288529775*y^4 - 7668883925364511252468522368260569989749/458074027005027679621021148940288529775*y^3 + 4764454597818974683972473545191228515721/458074027005027679621021148940288529775*y^2 + 138266398900374735966060847289857482507/91614805401005535924204229788057705955*y - 94040877109016818813797585840590676391/458074027005027679621021148940288529775


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

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

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

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

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

# 1 Loop Invariant
-190880893456211958752379575966320392506/18322961080201107184840845957611541191*y^24 + 995426925739177540893409171201310438346/18322961080201107184840845957611541191*y^23 + 5559127866974612800343741401856122251704/18322961080201107184840845957611541191*y^22 - 18564153402411909249750962603652193684808/18322961080201107184840845957611541191*y^21 - 97409372736121037047625843614825498939993/18322961080201107184840845957611541191*y^20 + 106557853305561623316782944938052973142087/18322961080201107184840845957611541191*y^19 + 894697494414076672668288758213698030124553/18322961080201107184840845957611541191*y^18 + 83937245334325772605884362898184179568520/18322961080201107184840845957611541191*y^17 - 3572258455036605136393102784907255110030037/18322961080201107184840845957611541191*y^16 - 2977324248808304556931467507322157790577822/18322961080201107184840845957611541191*y^15 + 5576097495735006265690663231785231103044684/18322961080201107184840845957611541191*y^14 + 9264528948415808495769627455015807816797320/18322961080201107184840845957611541191*y^13 - 658522448397286862929429982345589481607613/18322961080201107184840845957611541191*y^12 - 11015628135870546503882868141413478480790286/18322961080201107184840845957611541191*y^11 - 6895941334005611387320883632544295023394323/18322961080201107184840845957611541191*y^10 + 4964911147732714092589942670087191774580193/18322961080201107184840845957611541191*y^9 + 7095466497727074292196568219328611822900952/18322961080201107184840845957611541191*y^8 - 83953658261433489755712155846046694722320/18322961080201107184840845957611541191*y^7 - 2885795448468912486386119566242387894842469/18322961080201107184840845957611541191*y^6 - 414279893678460346540205823258412869965311/18322961080201107184840845957611541191*y^5 + 576540236924904317529573030255770140061771/18322961080201107184840845957611541191*y^4 + 95038255071608526760483489544115399301961/18322961080201107184840845957611541191*y^3 - 49793985605393689964933005856574525672233/18322961080201107184840845957611541191*y^2 - 13630003554528565735084644837586963874169/18322961080201107184840845957611541191*y + 4383399821633723799008488365086384230957/18322961080201107184840845957611541191

# 2 Loop Invariant
-57988137593214046185849322113219083481548472836088106717653884510942843191084534617187403045326470062900229671444331037/846086475150535532885728514779977521997005496392755681598518422314919250841111246577780228717463619973820160969440299624*y^24 + 100311110907804142316659154725385259308931348530294564884598474947216932724804953921257420197049869095321389013910795769/846086475150535532885728514779977521997005496392755681598518422314919250841111246577780228717463619973820160969440299624*y^23 + 1374150807985989133300695393011531090375946224181496561025517696762070712123250913594573381953666133050576611095206435493/564057650100357021923819009853318347998003664261837121065678948209946167227407497718520152478309079982546773979626866416*y^22 + 1413003249239570888362611484187401129316735301738089615810484927923161267834037562764654967898992409372397015320801553737/846086475150535532885728514779977521997005496392755681598518422314919250841111246577780228717463619973820160969440299624*y^21 - 12669062856095334536615605178586107445505416784709263045982267153689194885698795196402284842850357932385729005497089627669/423043237575267766442864257389988760998502748196377840799259211157459625420555623288890114358731809986910080484720149812*y^20 - 35511605875877367705749166848938026408536051660701010356156167324687845603531803891914764724530930828686639689836830475107/564057650100357021923819009853318347998003664261837121065678948209946167227407497718520152478309079982546773979626866416*y^19 + 33013839701604676027085756900474731140443373432306660883391300780600086071111503641468947786949205937027020126565402461947/282028825050178510961909504926659173999001832130918560532839474104973083613703748859260076239154539991273386989813433208*y^18 + 354127734269993647085709274918675066965832687124144506521501375752861039455583977982077410129313285751268248615455578855737/846086475150535532885728514779977521997005496392755681598518422314919250841111246577780228717463619973820160969440299624*y^17 + 41796605897898128713013035718326371852407305968397601353396408985618708863279525926440800181851550191150741434290131964671/1692172950301071065771457029559955043994010992785511363197036844629838501682222493155560457434927239947640321938880599248*y^16 - 568897605683342460061841253329565690169534049990826547844064790446477043959770086831314472922757463935274827733740421246863/564057650100357021923819009853318347998003664261837121065678948209946167227407497718520152478309079982546773979626866416*y^15 - 508616271672198734915877342333265068391116329956953384303703865642808911456320117055408797614645185063016918698596357603847/564057650100357021923819009853318347998003664261837121065678948209946167227407497718520152478309079982546773979626866416*y^14 + 342707046120620943106153253344134883660329375473940407481488139555458110581033682750694227221511823977163008921479541029055/423043237575267766442864257389988760998502748196377840799259211157459625420555623288890114358731809986910080484720149812*y^13 + 1498437426559339336755193066693660271550746062606655807273024018438448759704489829669485785213261279362637642029011928772265/846086475150535532885728514779977521997005496392755681598518422314919250841111246577780228717463619973820160969440299624*y^12 + 46000517235698210698807374265230287086296057452305625840425348850621217905847575994219314501306349273008807414680864943888/105760809393816941610716064347497190249625687049094460199814802789364906355138905822222528589682952496727520121180037453*y^11 - 2257883732834661632676160560754093729104913726068073701277595907583817725564088848371163282856334171014046326009769480710177/1692172950301071065771457029559955043994010992785511363197036844629838501682222493155560457434927239947640321938880599248*y^10 - 636277578624801827210114132145039804494349828815851172593752671574255356415447100904736772004248145566769994012202627538749/564057650100357021923819009853318347998003664261837121065678948209946167227407497718520152478309079982546773979626866416*y^9 + 487080818527574112092408692702829869491489002407140102496147097116228486448065563656031098575957265802201707679368804367869/1692172950301071065771457029559955043994010992785511363197036844629838501682222493155560457434927239947640321938880599248*y^8 + 144338534858669445386333820852307032072262587435805579341672290231185066681145855046772615258756796204144449789807137075587/211521618787633883221432128694994380499251374098188920399629605578729812710277811644445057179365904993455040242360074906*y^7 + 184653274362916308588206800534837138939310090818839672473360477966216620685375541451647798514182037721546517717371034885595/1692172950301071065771457029559955043994010992785511363197036844629838501682222493155560457434927239947640321938880599248*y^6 - 11329663776029883990577117863178379003431047091789529327787351925810379382265179685304077262198335538179083852772469167551/70507206262544627740477376231664793499750458032729640133209868526243270903425937214815019059788634997818346747453358302*y^5 - 88611688644227800896024096944151390955629229415101474572842535132639568308311549720145540102956178109597645448617245566749/1692172950301071065771457029559955043994010992785511363197036844629838501682222493155560457434927239947640321938880599248*y^4 + 3606394151228991791199126609874731769138511122720457015726511982577998729712335540769796191747510462280455344647314550797/282028825050178510961909504926659173999001832130918560532839474104973083613703748859260076239154539991273386989813433208*y^3 + 3861165656884684599408440271480622384114210874678374159522369693493521830831819116245059053075560163366672865171613251855/564057650100357021923819009853318347998003664261837121065678948209946167227407497718520152478309079982546773979626866416*y^2 - 26605313984568246486947377667513784724439974196478928124487684603264469981474574844956780406510679396474995596187419023/423043237575267766442864257389988760998502748196377840799259211157459625420555623288890114358731809986910080484720149812*y + 97132508801332977119181949078293875129636809591943938082797282187542122429786446555913762273914850688893331014668286579/282028825050178510961909504926659173999001832130918560532839474104973083613703748859260076239154539991273386989813433208

# 3 Loop Invariant
1275313573071670731302031420373621049430714195294943208389132090660591486429640220358379777736025873970319271842308512172208695243895551464511894577663717344653/49483158803626530450652775868362427807841888989685111917228256818750355383895536477998232570807127294832387052026370610108655279298131686938583914739841039840608*y^24 - 1137167037957708235732205548936576767381547538532305678271646289462225717111997196202420543662639364995502101581341341188289928570744114806206130994217364552531/24741579401813265225326387934181213903920944494842555958614128409375177691947768238999116285403563647416193526013185305054327639649065843469291957369920519920304*y^23 - 11276973626678336709810823216855423200684684164577404278076746311859200321899699772833614574859011156197355446147024360003847127746654753510646314244678047699705/12370789700906632612663193967090606951960472247421277979307064204687588845973884119499558142701781823708096763006592652527163819824532921734645978684960259960152*y^22 - 28950622995050606793208494701403341935440760492016351299663947682294825625997170153457787921154348830017884344545712366992425094917187579188667655092999555147195/49483158803626530450652775868362427807841888989685111917228256818750355383895536477998232570807127294832387052026370610108655279298131686938583914739841039840608*y^21 + 1110877250080192059004129029172360700737645399158321251631955604131967009870935913273986887948321538520987608993110819019322441977222427074250203410721698052846117/98966317607253060901305551736724855615683777979370223834456513637500710767791072955996465141614254589664774104052741220217310558596263373877167829479682079681216*y^20 + 571510250065032747515005566609897237328860192152083759086118219822774870341705268306103747184926453906917674459939408363975106925409621644041972781130121645960537/24741579401813265225326387934181213903920944494842555958614128409375177691947768238999116285403563647416193526013185305054327639649065843469291957369920519920304*y^19 - 1097313550430856159464495950528317052590456735801318045459369052137592292462062116711308700925612080932251211358944665674227634008818282927643623916930486793749325/24741579401813265225326387934181213903920944494842555958614128409375177691947768238999116285403563647416193526013185305054327639649065843469291957369920519920304*y^18 - 15249612317496010797590764649957185393410908124761438968426573144659503373001878533400505614933048762728164661968311357662484569026743101969198697213655672053714449/98966317607253060901305551736724855615683777979370223834456513637500710767791072955996465141614254589664774104052741220217310558596263373877167829479682079681216*y^17 - 585784038908056146149623758033356359030109689971232237035265600533831011799571119115579724955824393710540325041919901564123077947158547786635185980765241249048213/98966317607253060901305551736724855615683777979370223834456513637500710767791072955996465141614254589664774104052741220217310558596263373877167829479682079681216*y^16 + 18389598595581092070276538754267311289835773458146811051014985051793560805260784736119080273420548780798746884174762889229917956094162097557510229401377000591816225/49483158803626530450652775868362427807841888989685111917228256818750355383895536477998232570807127294832387052026370610108655279298131686938583914739841039840608*y^15 + 32499591715654489654839585469374012975269005541161422706879711448753975454313011807002718900529985645196235941536472551607951017694149408907910836565808578010043749/98966317607253060901305551736724855615683777979370223834456513637500710767791072955996465141614254589664774104052741220217310558596263373877167829479682079681216*y^14 - 14737006168164803278721081004014536359115283481522643400835673069535087405540608501260635087426420370239258454698037742765916690911364003341712904759384716861178395/49483158803626530450652775868362427807841888989685111917228256818750355383895536477998232570807127294832387052026370610108655279298131686938583914739841039840608*y^13 - 8032490572185421951806238456655107985717441291615744674503268764001099978432901831981649325181773672157623684402662461283345040448359778774176251073510619033549357/12370789700906632612663193967090606951960472247421277979307064204687588845973884119499558142701781823708096763006592652527163819824532921734645978684960259960152*y^12 - 16075862983107518464237145540783207303813694557922194318971976707019039714227107910301888715139410108283100882962220557273259477611259496932229467674764676181135883/98966317607253060901305551736724855615683777979370223834456513637500710767791072955996465141614254589664774104052741220217310558596263373877167829479682079681216*y^11 + 48124856649995228025034892284105834466038030230719249197404274694504506337193627235656866122340163192788910059998845155578462413949207233749536715422527594493138237/98966317607253060901305551736724855615683777979370223834456513637500710767791072955996465141614254589664774104052741220217310558596263373877167829479682079681216*y^10 + 10299105639716206744637741261280316036585635030294303690640764060357659096235194734088863132682003943095868855500639645250915119255108288238642555984173567614357741/24741579401813265225326387934181213903920944494842555958614128409375177691947768238999116285403563647416193526013185305054327639649065843469291957369920519920304*y^9 - 4851936455606661839626607026803186984846105068943150237011847060857006729679575176346651167820927329804569631661837501048430397324249468505957074400712346901479761/49483158803626530450652775868362427807841888989685111917228256818750355383895536477998232570807127294832387052026370610108655279298131686938583914739841039840608*y^8 - 6149457698731441317760246826257254033126913427991568742117596280990162545400969478567636743774494386390217412046873353081651438110560672759270003648659526207473647/24741579401813265225326387934181213903920944494842555958614128409375177691947768238999116285403563647416193526013185305054327639649065843469291957369920519920304*y^7 - 4562063379422784351867293446476058363958132712185926344964183360490644262418285873614487685077227923171074172265291352315161022603199090062683029027137120602566469/98966317607253060901305551736724855615683777979370223834456513637500710767791072955996465141614254589664774104052741220217310558596263373877167829479682079681216*y^6 + 5582382736302740643409174078886671983538965828621426163891195666415596730523202012797794492712353916996704614462365695394818453687300058534852465582011542568855649/98966317607253060901305551736724855615683777979370223834456513637500710767791072955996465141614254589664774104052741220217310558596263373877167829479682079681216*y^5 + 527037366236113556451544728575008429986051932602802939278190863799997452798322016985933605960311963330173668255608602925550923693907801932700106547007093118468471/24741579401813265225326387934181213903920944494842555958614128409375177691947768238999116285403563647416193526013185305054327639649065843469291957369920519920304*y^4 - 48225491285669996196975429204050842555742552656445764447698459974743084396204925131829365316153904605778100336746357714450024637620048076222854061159723471421079/12370789700906632612663193967090606951960472247421277979307064204687588845973884119499558142701781823708096763006592652527163819824532921734645978684960259960152*y^3 - 274511127556847592746854966748123512524899232984442245566623367470853452596050284152067505476035738017269317175340487390959924164677562455897506419893682864747163/98966317607253060901305551736724855615683777979370223834456513637500710767791072955996465141614254589664774104052741220217310558596263373877167829479682079681216*y^2 - 3049485084576276522639778234106112792702038899136719531274618703799577303893094939755502380059194747866639297795284862585098485909365540574542356813526960780531/49483158803626530450652775868362427807841888989685111917228256818750355383895536477998232570807127294832387052026370610108655279298131686938583914739841039840608*y + 6360241262723955375879365602467900055805919017889334732861955078926083627214685227876992654194191563939023313052505220825957950798904529055416892308332064630509/49483158803626530450652775868362427807841888989685111917228256818750355383895536477998232570807127294832387052026370610108655279298131686938583914739841039840608