# Manifold: Census Knot K8_143 # Number of Tetrahedra: 8 # Number Field x^17 + 25*x^16 - 5*x^15 - 265*x^14 - 609*x^13 + 6335*x^12 - 13238*x^11 + 10677*x^10 - 3069*x^9 - 3866*x^8 + 14255*x^7 - 13695*x^6 + 2039*x^5 + 1932*x^4 - 2934*x^3 + 3647*x^2 - 1125*x - 44 # Approximate Field Generator -0.852448289083094 + 0.0676351637276711*I # Shape Parameters -126994413682388173239205020015343754417/180046413905237450422761941635486264754893*y^16 - 3080242671296358570193405620833025883643/180046413905237450422761941635486264754893*y^15 + 3269079227172875133832933641456171903394/180046413905237450422761941635486264754893*y^14 + 40248700544074580566506574508530825906297/180046413905237450422761941635486264754893*y^13 + 60133785963147313839901723044228421195185/180046413905237450422761941635486264754893*y^12 - 924079755998533463352943454707645288251469/180046413905237450422761941635486264754893*y^11 + 2034716795330415036446325974165606604013339/180046413905237450422761941635486264754893*y^10 - 1218555781195909319308875873894442653717651/180046413905237450422761941635486264754893*y^9 - 301961871867133423715560255587901799032735/180046413905237450422761941635486264754893*y^8 + 628764776487103610366141509967708707693386/180046413905237450422761941635486264754893*y^7 - 2191146149935449528670798747031868840991777/180046413905237450422761941635486264754893*y^6 + 2120023192159318665007962812463730476597563/180046413905237450422761941635486264754893*y^5 + 572207465059314233952009756998328113904742/180046413905237450422761941635486264754893*y^4 - 387673512185272771564572790130996592616487/180046413905237450422761941635486264754893*y^3 + 297008298515038068378227050835643624651190/180046413905237450422761941635486264754893*y^2 - 671063037173931590669643774142033413280044/180046413905237450422761941635486264754893*y + 281376148959583465455211925227239024080509/180046413905237450422761941635486264754893 484225162955833576701509653838106705921/180046413905237450422761941635486264754893*y^16 + 12607527746025005445407551520415485526297/180046413905237450422761941635486264754893*y^15 + 10662636352495944150326830624448278166221/180046413905237450422761941635486264754893*y^14 - 117034329261171794748500236375630658641598/180046413905237450422761941635486264754893*y^13 - 420587515786168524179897077436434962018028/180046413905237450422761941635486264754893*y^12 + 2625795204958324227181590547557729012468057/180046413905237450422761941635486264754893*y^11 - 3652565816557959200756835645141614725093245/180046413905237450422761941635486264754893*y^10 + 1614828788492798294510804459433025620223906/180046413905237450422761941635486264754893*y^9 - 1044624474266850952030197829008541221634184/180046413905237450422761941635486264754893*y^8 - 1198982431844457258243836313481921256350877/180046413905237450422761941635486264754893*y^7 + 5291856323460580189982578594599766099689592/180046413905237450422761941635486264754893*y^6 - 1715587566593292873216019681626771994490905/180046413905237450422761941635486264754893*y^5 - 791931009873738757583609200937914672662248/180046413905237450422761941635486264754893*y^4 - 513533364569086230824589913500050679127320/180046413905237450422761941635486264754893*y^3 - 1223057246435625368250778822794840322128637/180046413905237450422761941635486264754893*y^2 + 887860957837344868191469059824671529908027/180046413905237450422761941635486264754893*y + 381259788583200366922553759657326589526625/180046413905237450422761941635486264754893 -11170250809010617038641264436766895359119371/4087593734890605836947964360950444668730335779*y^16 - 286774249357723763397597695979767844439336451/4087593734890605836947964360950444668730335779*y^15 - 136802792284822127090423292494513553013408950/4087593734890605836947964360950444668730335779*y^14 + 2875922255951772435878441324829123413185411322/4087593734890605836947964360950444668730335779*y^13 + 8710553776438645058061358172598443746090943823/4087593734890605836947964360950444668730335779*y^12 - 65013139128477337627638294691799827777250194677/4087593734890605836947964360950444668730335779*y^11 + 104132079385064295382592287599474419981602742558/4087593734890605836947964360950444668730335779*y^10 - 46130968616839290732885406102845433587018388173/4087593734890605836947964360950444668730335779*y^9 - 6991523668668067294198885166858048490617200790/4087593734890605836947964360950444668730335779*y^8 + 51363404558142677902648570162800097358262816422/4087593734890605836947964360950444668730335779*y^7 - 132319136864056027764267953799420457550791429710/4087593734890605836947964360950444668730335779*y^6 + 66264656959049048974674788987024081882536746448/4087593734890605836947964360950444668730335779*y^5 + 27463191603475936271967235893351437094097921913/4087593734890605836947964360950444668730335779*y^4 - 191564563003455057725341686948250561858130932/55994434724528847081478963848636228338771723*y^3 + 27849849668515153577427950293378182297440155449/4087593734890605836947964360950444668730335779*y^2 - 22726927797118361161572253242189910933166918827/4087593734890605836947964360950444668730335779*y - 2465545147827950640687191880800366410539161329/4087593734890605836947964360950444668730335779 -9118047835868140802197607885374515871768/1980510552957611954650381357990348912303823*y^16 - 227304779499329613554765538339352382443675/1980510552957611954650381357990348912303823*y^15 + 61427177695567083879031897298451222924511/1980510552957611954650381357990348912303823*y^14 + 2404098715404410194430563580939669925087655/1980510552957611954650381357990348912303823*y^13 + 5360944954982489187592903484618426457655770/1980510552957611954650381357990348912303823*y^12 - 58082932138821750233563622211586453793309341/1980510552957611954650381357990348912303823*y^11 + 125214108837133369847979682816580883216378041/1980510552957611954650381357990348912303823*y^10 - 107276792006559256396781581798007193026373431/1980510552957611954650381357990348912303823*y^9 + 3109083548828607250916711840602397374761848/180046413905237450422761941635486264754893*y^8 + 37692309857916596310078006208404937752982576/1980510552957611954650381357990348912303823*y^7 - 135423224849464412913803509417353769654516870/1980510552957611954650381357990348912303823*y^6 + 12399977149239154172616795158507324995238175/180046413905237450422761941635486264754893*y^5 - 30942162288397357664551973991125008537059059/1980510552957611954650381357990348912303823*y^4 - 19472475729742199180098482865094489002803700/1980510552957611954650381357990348912303823*y^3 + 30841761780614477859342424750294013171051406/1980510552957611954650381357990348912303823*y^2 - 34274677799223418100571902663372038640795440/1980510552957611954650381357990348912303823*y + 15079381241619940578579005794598257609679943/1980510552957611954650381357990348912303823 181351163232287217812467742653385492209316/9902552764788059773251906789951744561519115*y^16 + 4575331943426993357499506967337555517546148/9902552764788059773251906789951744561519115*y^15 + 192586905881087377388715306796263390896724/9902552764788059773251906789951744561519115*y^14 - 46686160584457125821132029897385311377809063/9902552764788059773251906789951744561519115*y^13 - 120021415967881245351759453758355553297033733/9902552764788059773251906789951744561519115*y^12 + 1108994758615796616191522491729814641860074126/9902552764788059773251906789951744561519115*y^11 - 438112986720851821336511840137464559331786295/1980510552957611954650381357990348912303823*y^10 + 1711941730666838738571863588417496021554972962/9902552764788059773251906789951744561519115*y^9 - 50127430709191070222235720571639187753653263/900232069526187252113809708177431323774465*y^8 - 136261412432706235654743965636330096517167163/1980510552957611954650381357990348912303823*y^7 + 481414611798311445758546667266140262894090463/1980510552957611954650381357990348912303823*y^6 - 38641610303578106621838812671550467804284266/180046413905237450422761941635486264754893*y^5 + 390185299400126627983421471537712727537103609/9902552764788059773251906789951744561519115*y^4 + 281006936309449286663787521361763415883276799/9902552764788059773251906789951744561519115*y^3 - 525760544448122345456136321294231146274031687/9902552764788059773251906789951744561519115*y^2 + 558901180664792985171005372939365602418972091/9902552764788059773251906789951744561519115*y - 183774683539058890506335453687152519517081097/9902552764788059773251906789951744561519115 21337154519275250694348997990357020953924/1980510552957611954650381357990348912303823*y^16 + 530404891577747219091260172465742830525853/1980510552957611954650381357990348912303823*y^15 - 181603284908166451136609833082564113365339/1980510552957611954650381357990348912303823*y^14 - 5622323966706178143911114224229064432438409/1980510552957611954650381357990348912303823*y^13 - 12199442578955038063205706825387056907694081/1980510552957611954650381357990348912303823*y^12 + 136845780962002896960222684358349078560451613/1980510552957611954650381357990348912303823*y^11 - 301975447241410648385446083015888415612519742/1980510552957611954650381357990348912303823*y^10 + 272139489239676793266776698753025042045566968/1980510552957611954650381357990348912303823*y^9 - 9841482415133393137647485498618007112670651/180046413905237450422761941635486264754893*y^8 - 61727112777689609269448686928272483317957745/1980510552957611954650381357990348912303823*y^7 + 310742547636989944059769913828801013182618889/1980510552957611954650381357990348912303823*y^6 - 30660408993699115514860843345759401622071655/180046413905237450422761941635486264754893*y^5 + 88284514158042911499653696930651814653795556/1980510552957611954650381357990348912303823*y^4 + 30656543134244426425888491544360654204755978/1980510552957611954650381357990348912303823*y^3 - 66223062222933830525559246062413517373165039/1980510552957611954650381357990348912303823*y^2 + 90406355454117722467701054463093650278592132/1980510552957611954650381357990348912303823*y - 32600433102458608174293579017338702099965512/1980510552957611954650381357990348912303823 -6215811129317749097716536772931124934100498/4087593734890605836947964360950444668730335779*y^16 - 160561076711849596515973416880468084870389742/4087593734890605836947964360950444668730335779*y^15 - 99725946364054708037818647762389949481899631/4087593734890605836947964360950444668730335779*y^14 + 1631072498507717030334897179572559137197346368/4087593734890605836947964360950444668730335779*y^13 + 5151682118861232840015756164039767377323942211/4087593734890605836947964360950444668730335779*y^12 - 35785797087300048939686683469276005923663866446/4087593734890605836947964360950444668730335779*y^11 + 50673226970407708855617441518489943185993340216/4087593734890605836947964360950444668730335779*y^10 - 8285341667997249897878318636204007244430548230/4087593734890605836947964360950444668730335779*y^9 - 16917927275488254118650042145262103774912225733/4087593734890605836947964360950444668730335779*y^8 + 29482555967621084949547472853907623439114119732/4087593734890605836947964360950444668730335779*y^7 - 73006262909147990582632189379115899805078098382/4087593734890605836947964360950444668730335779*y^6 + 25069891200840159032032065658175707292303746052/4087593734890605836947964360950444668730335779*y^5 + 31505613856608951225852348348566919955680941117/4087593734890605836947964360950444668730335779*y^4 - 49023658457600451276389021207324761261387170/55994434724528847081478963848636228338771723*y^3 + 11020133012903302581792895834141745248355879043/4087593734890605836947964360950444668730335779*y^2 - 14184671236437987571205138314044845183142559557/4087593734890605836947964360950444668730335779*y - 545446975199085697757189654211941901345890364/4087593734890605836947964360950444668730335779 235940395325316619956181069225454639758/180046413905237450422761941635486264754893*y^16 + 11944033930086961788098040759708643616053/360092827810474900845523883270972529509786*y^15 + 1519777949172053024174857709533284424739/360092827810474900845523883270972529509786*y^14 - 120540749899925415021991622731202609252155/360092827810474900845523883270972529509786*y^13 - 161809059942583216834732588436441488819065/180046413905237450422761941635486264754893*y^12 + 1423206582383360379584142708361962309291027/180046413905237450422761941635486264754893*y^11 - 5482941815007349645031549505991319929539437/360092827810474900845523883270972529509786*y^10 + 2135322241524019791192469066188514134878301/180046413905237450422761941635486264754893*y^9 - 826738463747833664702321716844435722082558/180046413905237450422761941635486264754893*y^8 - 756981709785474751951530749901629230595108/180046413905237450422761941635486264754893*y^7 + 5650563833739094603440683380145133769604011/360092827810474900845523883270972529509786*y^6 - 2199335661068665183087076870666188517994533/180046413905237450422761941635486264754893*y^5 + 924100831109224474829692751535884904100919/360092827810474900845523883270972529509786*y^4 + 268839683194914227040501669967372289948749/180046413905237450422761941635486264754893*y^3 - 744353709914427648825464748208610870662286/180046413905237450422761941635486264754893*y^2 + 752471001642345097472955775697539263554579/360092827810474900845523883270972529509786*y + 22065941308646022928193467784477072654887/180046413905237450422761941635486264754893 # A Gluing Matrix {{3,2,0,0,1,-2,-1,1},{1,2,0,0,1,-2,-1,1},{0,0,0,0,0,-1,-1,1},{0,0,0,0,1,-1,0,0},{1,2,1,1,4,-2,0,4},{-1,-2,-1,-1,-1,1,0,-1},{0,0,0,0,2,-1,1,2},{1,2,2,0,4,-2,0,4}} # B Gluing Matrix {{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,1,0,0,0,0},{0,0,0,0,1,0,0,1},{0,0,0,0,0,1,0,0},{0,0,0,0,0,0,1,1},{0,0,0,0,0,0,0,2}} # nu Gluing Vector {0, 0, 0, 0, 2, -1, 1, 2} # f Combinatorial flattening {-2, -3, 3, 3, -4, -4, -1, 3} # f' Combinatorial flattening {2, 0, -8, 0, 0, 0, 0, 0} # 1 Loop Invariant -1683855437873016066336229852457380029465/180046413905237450422761941635486264754893*y^16 - 87742691904931735561015929925374127211867/360092827810474900845523883270972529509786*y^15 - 81362635989196266577167356952618132148817/360092827810474900845523883270972529509786*y^14 + 664192715787419571118621281648334228921395/360092827810474900845523883270972529509786*y^13 + 2788356012474003109415555565162417308562273/360092827810474900845523883270972529509786*y^12 - 16850463039375501084935137768545367479756083/360092827810474900845523883270972529509786*y^11 + 30167112719327397105062571732760824130523471/360092827810474900845523883270972529509786*y^10 - 40904457822044896305575034165192592725595719/360092827810474900845523883270972529509786*y^9 + 44363656397392506826623012319289941585081423/360092827810474900845523883270972529509786*y^8 + 2557854137345536772813828413929084728612222/180046413905237450422761941635486264754893*y^7 - 51059552290243994916507432486545161457167143/360092827810474900845523883270972529509786*y^6 + 21351313139502738512617628221820211887602378/180046413905237450422761941635486264754893*y^5 - 21336564757257392845874001458409371779728645/180046413905237450422761941635486264754893*y^4 + 752097755483918352410634942178642058459009/180046413905237450422761941635486264754893*y^3 + 21667118675822859434660389039612428597208649/180046413905237450422761941635486264754893*y^2 - 25274678568940614971797455059629423021480507/360092827810474900845523883270972529509786*y + 4482542060114058730786296139722429854878217/360092827810474900845523883270972529509786 # 2 Loop Invariant 1035583648735048160999886042980072699480836188592225454588307771359664107977868136808449769/2138555048381745829544478637882065560272459824410481235553890569665122257362619871399175512944*y^16 + 13582024934131426858604335636392890432186083205709787264884991230668500104035634716112066767/1069277524190872914772239318941032780136229912205240617776945284832561128681309935699587756472*y^15 + 275065906874083070262261282944503147688871960601152593732294323454304968316672457473441473/20966225964526919897494888606686917257573135533436090544645985977109041738849214425482112872*y^14 - 20430769413126594993734722193102721398245800689355624324857577939112137158955411696440993639/178212920698478819128706553156838796689371652034206769629490880805426854780218322616597959412*y^13 - 941380682850832789972174974164900593160585380784714230846739825142503310227751005902075577567/2138555048381745829544478637882065560272459824410481235553890569665122257362619871399175512944*y^12 + 5447632934191956231449098825762070473578946972106703222608500089157004810694607226842104752059/2138555048381745829544478637882065560272459824410481235553890569665122257362619871399175512944*y^11 - 6792796670163810163063263751241188153902714370202977901771229308841979852043712957235344093163/2138555048381745829544478637882065560272459824410481235553890569665122257362619871399175512944*y^10 + 110412738345253184449952483171058314669255509937113794563565288299583322735822062939838398755/133659690523859114346529914867629097517028739025655077222118160604070141085163741962448469559*y^9 - 34503265593390200340065208807979344654585314407734408513425983132461026292898742373670269233/125797355787161519384969331640121503545438813200616543267875915862654250433095286552892677232*y^8 - 812076649216409491507681561388209640494998789314837379873543357665041598128552239762250037335/534638762095436457386119659470516390068114956102620308888472642416280564340654967849793878236*y^7 + 2987452340071537115902512927165219730854741322319358891480591236054173327327084274608499701271/712851682793915276514826212627355186757486608136827078517963523221707419120873290466391837648*y^6 - 548179378003572119115251310617310348604395376064411164802775806941627098011919766504009828249/1069277524190872914772239318941032780136229912205240617776945284832561128681309935699587756472*y^5 - 60579355526537819090653689975489467159662807019932139232776349467735562386445366596312146917/89106460349239409564353276578419398344685826017103384814745440402713427390109161308298979706*y^4 - 70033547062488061029912576308459863667643475560775959317461170590404321371063606633085195921/534638762095436457386119659470516390068114956102620308888472642416280564340654967849793878236*y^3 - 2128594866140493534066786829168160165843461199219136594706818518664187807726462471526021484835/2138555048381745829544478637882065560272459824410481235553890569665122257362619871399175512944*y^2 + 33361446250024088870968455711388111817881550674522416384090727742195344300810926725894802299/133659690523859114346529914867629097517028739025655077222118160604070141085163741962448469559*y + 1351081586487286944561698826653797550649509271824748499368320213006191499880088899465506351275/356425841396957638257413106313677593378743304068413539258981761610853709560436645233195918824 # 3 Loop Invariant 549192636391144400489786790342985321943362949849481279156464594160162418124353222467741575811442573863813139590177/44854552777149981703479526330542704871333218254365752089878084027266120984998394292217362297758957318765380876127197888*y^16 + 7066910574347211237266633821252069413437572144908281862789500734076934947758456454528114786494822013026828667235759/44854552777149981703479526330542704871333218254365752089878084027266120984998394292217362297758957318765380876127197888*y^15 - 11221825331895978386549497125233687533739303995419900455723662038928353474982476641670812196595159426953470040527097/2803409548571873856467470395658919054458326140897859505617380251704132561562399643263585143609934832422836304757949868*y^14 - 22333458064871432216696032637720910248044563990928757727967332393618544289238058947088232064118082004916969924001877/2638503104538234217851736842973100286549012838492103064110475531015654175588140840718668370456409254045022404478070464*y^13 + 589125167095234768592838999651158342646004315105268947171085070706124150977202963055799865281405804180616294270406027/22427276388574990851739763165271352435666609127182876044939042013633060492499197146108681148879478659382690438063598944*y^12 + 9993324635568205796108907393758254412526834899543596421589687405426985773790575428427700666408378979252582211828490621/44854552777149981703479526330542704871333218254365752089878084027266120984998394292217362297758957318765380876127197888*y^11 - 10097604227416208843187148983737621112870691978002259261885171340183131154459826369755218594879998178617982878173112291/11213638194287495425869881582635676217833304563591438022469521006816530246249598573054340574439739329691345219031799472*y^10 + 39349251051144445194959397049626221878929958426217326122974088955261699586324801819006412890228336306397872663125577471/44854552777149981703479526330542704871333218254365752089878084027266120984998394292217362297758957318765380876127197888*y^9 - 71845679420983975054224569709104864377020463548465542800419609254686274582051271815062894355928490453062218706615849/2638503104538234217851736842973100286549012838492103064110475531015654175588140840718668370456409254045022404478070464*y^8 - 3135079113090715095762882815081879679044525516714223664108461875159067478287278218202294311730310158867524267569414199/44854552777149981703479526330542704871333218254365752089878084027266120984998394292217362297758957318765380876127197888*y^7 + 36013310823254817432033944710751645875815353923743070169295894353709814825533519422368190327860420215337399408336908225/44854552777149981703479526330542704871333218254365752089878084027266120984998394292217362297758957318765380876127197888*y^6 - 31589197037589052601830740595015484788485783581909023746089710915429184534295514182832527958837015355408201722793817419/22427276388574990851739763165271352435666609127182876044939042013633060492499197146108681148879478659382690438063598944*y^5 - 2869177856962253617329219718972058534986132883645801187653999934429369607360925476270419932072464808847597424955997273/22427276388574990851739763165271352435666609127182876044939042013633060492499197146108681148879478659382690438063598944*y^4 + 4359000009949799827262444750925079415409653822937978119530136918009151894664479400379121223781251696270370270839874717/22427276388574990851739763165271352435666609127182876044939042013633060492499197146108681148879478659382690438063598944*y^3 - 277295967311318997057164088780805040327187199034011909267708528793671667550476105324939647527041770871205405945490129/5606819097143747712934940791317838108916652281795719011234760503408265123124799286527170287219869664845672609515899736*y^2 + 9732231072259950770477085644676517727660961290953504786266559187579840211148227386819443822295172632370659895999684151/22427276388574990851739763165271352435666609127182876044939042013633060492499197146108681148879478659382690438063598944*y + 119121159246708795428011323846366248272215499619199735067233396312569199726124349867438504930141556909879861741954561/5606819097143747712934940791317838108916652281795719011234760503408265123124799286527170287219869664845672609515899736 # 4 Loop Invariant 77594707333700771861545230572133981458557959450440216170158035517455291931978823037175891957576341840276812158949543220865503762342150837473962838796001179659248288323/23504706419830324676173180049705103349116041197629898667738904308090780456144224815965773231688879767574574371421933406584721462894917645683319942720425650992477265699584*y^16 + 13201064572143329287183878004187249220165403321146569395914308140594884036956163563399649225168064641081882926946187544530779540338875393626234970806681871687761423372017/156698042798868831174487866998034022327440274650865991118259362053938536374294832106438488211259198450497162476146222710564809752632784304555466284802837673283181771330560*y^15 + 12844015010450963230705731464228340455407830450635429862200671985988681836825770297945225174776565391086137960412131533601646867309799997236225521293127396760527689037601/470094128396606493523463600994102066982320823952597973354778086161815609122884496319315464633777595351491487428438668131694429257898352913666398854408513019849545313991680*y^14 - 403550913038322665630524051690359658214078400162088293417848144237843751595774608415896980118027370032971132209432209457804635303073557642723107435747184614353544673228793/470094128396606493523463600994102066982320823952597973354778086161815609122884496319315464633777595351491487428438668131694429257898352913666398854408513019849545313991680*y^13 - 576695986547782898717100077452130188942862266895501522687527292900773907846531928935201088234657782342470368611379042051384468303888457061997992007449789003805664014322949/235047064198303246761731800497051033491160411976298986677389043080907804561442248159657732316888797675745743714219334065847214628949176456833199427204256509924772656995840*y^12 + 461171873706316320230158938394406849266549240627122639827851839293560185030438874716020418901504438702456088579067177454948540177793938162311182682387563496535318826969519/23504706419830324676173180049705103349116041197629898667738904308090780456144224815965773231688879767574574371421933406584721462894917645683319942720425650992477265699584*y^11 - 123372578785073816628235371456475439416013162400692032442583710762900187418821513422079538118399169511906748559234414355853445925114285041328169474936781113708798503382621/3672610378098488230652059382766422398299381437129671666834203798139184446272535127494652067451387463683527245534677094778862728577330882138018741050066507967574572765560*y^10 + 535398983367604505261890596430713288113867434372676802824500334682512596508020893390627857108367446604968564665283674708707796061798674836337560541512299134820984921691509/29380883024787905845216475062131379186395051497037373334673630385113475570180281019957216539611099709468217964277416758230901828618647057104149928400532063740596582124480*y^9 - 1758487968016842349836514660773228025815772778463750040887130668174791629834235203936797947815912988207377446189383840658938971279771541015216865142274754934690876839713/1536255321557537560534194774490529630661179163243784226649601588764103297787204236337632237365286259318599632119080614809458919143458669652504571419635663463560605601280*y^8 - 6235257038547974489300660177543931997728657197425884360580563985233003551804391010699542977927347442410358782739790262762712829836085288428908247958908764613582552894587231/470094128396606493523463600994102066982320823952597973354778086161815609122884496319315464633777595351491487428438668131694429257898352913666398854408513019849545313991680*y^7 + 9436095319479458732179635270520310496306508423251523764654457363006758868194051620646797468551302400599924725008736895734444602831452556538820176867253944209513544602815503/235047064198303246761731800497051033491160411976298986677389043080907804561442248159657732316888797675745743714219334065847214628949176456833199427204256509924772656995840*y^6 - 1160909460284072669711845998521567336258020654182965602935706492910434040280196552197858493630268888359853752584921464776884101484868710314652206220046056116467794622777579/47009412839660649352346360099410206698232082395259797335477808616181560912288449631931546463377759535149148742843866813169442925789835291366639885440851301984954531399168*y^5 - 2539589557746934200996983681965106702298743289065324249919176077258583744613396228511894696408162415983727698968223241769771251225023718991253296023612757342399539689012027/470094128396606493523463600994102066982320823952597973354778086161815609122884496319315464633777595351491487428438668131694429257898352913666398854408513019849545313991680*y^4 + 333189616006922678326257845857180857848453752282608106072996394759702686394897154325933970855500320900781707431098960314898593555154323999912892537305121646888861332499171/94018825679321298704692720198820413396464164790519594670955617232363121824576899263863092926755519070298297485687733626338885851579670582733279770881702603969909062798336*y^3 - 77314875203698995338848590867244734561493131617534620694628226250574282585621438780354271390854704510718156421578842455376167194954879224098873066431963846274946761363381/9793627674929301948405491687377126395465017165679124444891210128371158523393427006652405513203699903156072654759138919410300609539549019034716642800177354580198860708160*y^2 + 623532914020976837653917093823128850735968772027777135925691388329805890840102613170507296183429577795646312688181606541110021802976284102348758862334625176583873895645111/78349021399434415587243933499017011163720137325432995559129681026969268187147416053219244105629599225248581238073111355282404876316392152277733142401418836641590885665280*y + 13606672817860978214257158571347371476206330923361648716970805162302024552980898255394843889900669172441256633625723301928220378937675328284179905350344409153696518724119/58761766049575811690432950124262758372790102994074746669347260770226951140360562039914433079222199418936435928554833516461803657237294114208299856801064127481193164248960