# Manifold: Census Knot K8_138

# Number of Tetrahedra: 8

# Number Field
x^25 + 2*x^24 - 23*x^23 + 354*x^22 - 387*x^21 - 2737*x^20 - 1717*x^19 + 2858*x^18 + 12036*x^17 + 13768*x^16 - 15336*x^15 - 45464*x^14 - 2367*x^13 + 52631*x^12 + 40156*x^11 + 29932*x^10 + 13460*x^9 + 3126*x^8 - 18110*x^7 - 10016*x^6 + 4597*x^5 + 2315*x^4 - 398*x^3 - 158*x^2 + 8*x + 1 

# Approximate Field Generator
-0.511461281648670 + 0.717089077984504*I

# Shape Parameters
-69052432916005081599012388236032506901986531126601379791603358997/123606855676893345212412835444709232757257485027325796388882841904*y^24 - 50623087574716083651088938856871777439453172003590690891551737837/123606855676893345212412835444709232757257485027325796388882841904*y^23 + 860619434106275009755195402725636228571647565156923584481102057751/61803427838446672606206417722354616378628742513662898194441420952*y^22 - 3315795526490767956322811826032982929644315912378353706578908154367/15450856959611668151551604430588654094657185628415724548610355238*y^21 + 58678899033991885817980213600212141861286324483208898151008936846803/123606855676893345212412835444709232757257485027325796388882841904*y^20 + 69981469453044553313331684840211498912728380490164601887197464367311/61803427838446672606206417722354616378628742513662898194441420952*y^19 - 99509973505088923686036344640811671724486697023182657229339204376963/123606855676893345212412835444709232757257485027325796388882841904*y^18 - 240299371360209431871131817794036381142027983800036325459797559173885/123606855676893345212412835444709232757257485027325796388882841904*y^17 - 544971470252382311753753052742900818743805862479495247530896752291423/123606855676893345212412835444709232757257485027325796388882841904*y^16 - 27465466745726330178732051087573549973373943099285982083360060084523/123606855676893345212412835444709232757257485027325796388882841904*y^15 + 1804332650309492313580222072073653714930447276449525672296423583216647/123606855676893345212412835444709232757257485027325796388882841904*y^14 + 1373490261327394403756525954929979774862902019760413734499540844712007/123606855676893345212412835444709232757257485027325796388882841904*y^13 - 759491103931415229377296627989130055062687295079310809414190112135885/30901713919223336303103208861177308189314371256831449097220710476*y^12 - 2210184979521770489696592051183469062278438703046398947116837892218513/123606855676893345212412835444709232757257485027325796388882841904*y^11 + 1390139421592962329529731264357612290981085649409536105019061716351527/123606855676893345212412835444709232757257485027325796388882841904*y^10 - 10830148981876085218820491151802530154297084671321437618450606132571/2332204824092327268158732744239796844476556321270298045073261168*y^9 + 695387644705114019898120068061520341689893774286858052305406675121925/123606855676893345212412835444709232757257485027325796388882841904*y^8 + 4228142319848589461058838130356606278965495338914449584059715371869/123606855676893345212412835444709232757257485027325796388882841904*y^7 + 1244289651355636193942105325797999597737113515960741167787202075339923/123606855676893345212412835444709232757257485027325796388882841904*y^6 - 966816441029232059152682967496016277107788871302432229697698424007683/123606855676893345212412835444709232757257485027325796388882841904*y^5 - 27022647000365263255024503380092492797374187436362577251885659509168/7725428479805834075775802215294327047328592814207862274305177619*y^4 + 393566634203634828330825607009414573504061648099332612770981613489397/123606855676893345212412835444709232757257485027325796388882841904*y^3 - 3604566441074974972446505004432667936801366309754521496197883275219/123606855676893345212412835444709232757257485027325796388882841904*y^2 - 34149125465285888954968368361922542670497893968289152715209029057401/123606855676893345212412835444709232757257485027325796388882841904*y + 4878593498584909347687976650982798434716341783842319297404815048525/123606855676893345212412835444709232757257485027325796388882841904

80019201755688805896531549895391922788074001499389997562533033669/61803427838446672606206417722354616378628742513662898194441420952*y^24 + 138631910981344460825993844087681491964068869842940826117022178029/61803427838446672606206417722354616378628742513662898194441420952*y^23 - 936449914948603712742203897939974930841166381215502386060274974571/30901713919223336303103208861177308189314371256831449097220710476*y^22 + 3604670778407407448632361783163043162107746466628970922776971234768/7725428479805834075775802215294327047328592814207862274305177619*y^21 - 38787177097930051790735455942169798363824137614244558732901138493915/61803427838446672606206417722354616378628742513662898194441420952*y^20 - 103501513015853787596409236088028758521649139218451412548895103103555/30901713919223336303103208861177308189314371256831449097220710476*y^19 - 83722268847679483316135362638944912967860467794606376595944169248909/61803427838446672606206417722354616378628742513662898194441420952*y^18 + 238535896170625618288029283541858200351768190501735609030149938498653/61803427838446672606206417722354616378628742513662898194441420952*y^17 + 890379049284019362264333180103906999154456626640797301457018637189175/61803427838446672606206417722354616378628742513662898194441420952*y^16 + 874533222666568426431026832053199828369459359026991176288867266419051/61803427838446672606206417722354616378628742513662898194441420952*y^15 - 1406012560449244010087776847970839494554024478602727707374399386789415/61803427838446672606206417722354616378628742513662898194441420952*y^14 - 3193407504279575422241953284101301085877116724382002616341044708627495/61803427838446672606206417722354616378628742513662898194441420952*y^13 + 151343348750838356142372782209177421996723819800435663896052346446435/15450856959611668151551604430588654094657185628415724548610355238*y^12 + 3844903057641748242575762550789621368161157061313039832858607772493969/61803427838446672606206417722354616378628742513662898194441420952*y^11 + 2153941787488622280851715093791357581658861429034120349756628407762105/61803427838446672606206417722354616378628742513662898194441420952*y^10 + 38364267824827965995994903582548188458110407232060965994779273786987/1166102412046163634079366372119898422238278160635149022536630584*y^9 + 726628239934760964276791321804026171070033946056280097248166316659291/61803427838446672606206417722354616378628742513662898194441420952*y^8 + 234090747484041596008826420468513237175125681777008694478716734743107/61803427838446672606206417722354616378628742513662898194441420952*y^7 - 1412001502787071301239899800594991793132205804151886308728047984466907/61803427838446672606206417722354616378628742513662898194441420952*y^6 - 378598254141013536851471580577267863422347806847343434676174923512037/61803427838446672606206417722354616378628742513662898194441420952*y^5 + 50324518940114033179877789257116481080196541302115676849025731874248/7725428479805834075775802215294327047328592814207862274305177619*y^4 + 33932711255521518452610207122797543539807595620661710517669439531667/61803427838446672606206417722354616378628742513662898194441420952*y^3 - 30578229098685647158366317562356794858666706606246909839125166138645/61803427838446672606206417722354616378628742513662898194441420952*y^2 + 733513887820091787009488214411250882232383282487110749041524677737/61803427838446672606206417722354616378628742513662898194441420952*y + 168214991320582359228615179588205752781225504045005954821019033251/61803427838446672606206417722354616378628742513662898194441420952

-2242997893048852642705420848183623582841188934351779522431563646363/988854845415146761699302683557673862058059880218606371111062735232*y^24 - 1083027662121017991827171981119074494267530034079858935131924434121/247213711353786690424825670889418465514514970054651592777765683808*y^23 + 25812528155405625458824243532732866381041667191251753538042897685605/494427422707573380849651341778836931029029940109303185555531367616*y^22 - 399055240879188146308202605345035457645985337176088094660488787563497/494427422707573380849651341778836931029029940109303185555531367616*y^21 + 928706439991524879132590273738731702141290898354451030862601113229671/988854845415146761699302683557673862058059880218606371111062735232*y^20 + 5983418817000283718033735673018609541676541738716788769123937765714567/988854845415146761699302683557673862058059880218606371111062735232*y^19 + 883466304361366061670328591912256764062127567056174650251142928440719/247213711353786690424825670889418465514514970054651592777765683808*y^18 - 5944217588253300271495897224602989243947188817367187250201275919288227/988854845415146761699302683557673862058059880218606371111062735232*y^17 - 13028518525257518189848299234606798476476590066469826418985453003116489/494427422707573380849651341778836931029029940109303185555531367616*y^16 - 29674054398570575880613737148148231368426431462115036661468254781896943/988854845415146761699302683557673862058059880218606371111062735232*y^15 + 8330290937227140866511095956332900405954020100915044492447408135002069/247213711353786690424825670889418465514514970054651592777765683808*y^14 + 95699631315292031313620558591980664739759693041768439704776037054124009/988854845415146761699302683557673862058059880218606371111062735232*y^13 + 1859049007971971153195343370280983897654824051807127184316656523529159/988854845415146761699302683557673862058059880218606371111062735232*y^12 - 53325143335912197892848802339036020891941454678124461160091716401460591/494427422707573380849651341778836931029029940109303185555531367616*y^11 - 80512648621438742299078220761635948365101100687620679355174996404714213/988854845415146761699302683557673862058059880218606371111062735232*y^10 - 172816543094333791208686288644217080452406752399384277602350761572039/2332204824092327268158732744239796844476556321270298045073261168*y^9 - 36424837497704914142026253773995428932228566067442815397917862009059001/988854845415146761699302683557673862058059880218606371111062735232*y^8 - 1913649938075397313576567339735467680371643663583834512944897378638825/123606855676893345212412835444709232757257485027325796388882841904*y^7 + 35304315402612105152692101794018974930726988834567952183721311376828273/988854845415146761699302683557673862058059880218606371111062735232*y^6 + 8439630956345188458107619818239612936556890809445163838915022514908455/494427422707573380849651341778836931029029940109303185555531367616*y^5 - 4031504935732806588287518770516983739904997198845488197107862944750133/494427422707573380849651341778836931029029940109303185555531367616*y^4 - 2199562533133269349019775829988747993256603905877901710191819087199179/988854845415146761699302683557673862058059880218606371111062735232*y^3 + 317417302517869866191284859768410555910412794117597982012886243737909/494427422707573380849651341778836931029029940109303185555531367616*y^2 + 58230682102129171897043277702342857150395575352113284948877262709179/988854845415146761699302683557673862058059880218606371111062735232*y - 3054935307584875380287881022246146830760239974977721090220415324983/247213711353786690424825670889418465514514970054651592777765683808

79972276101529711789572183590198748048359204860144429309923103641/15450856959611668151551604430588654094657185628415724548610355238*y^24 + 142792689724923745931362925423684780273615947217184047127620631333/15450856959611668151551604430588654094657185628415724548610355238*y^23 - 931769816737688189577012127660046670170970781898492272588908824185/7725428479805834075775802215294327047328592814207862274305177619*y^22 + 14361495144038394259237623276318943512114469314649752815886046605960/7725428479805834075775802215294327047328592814207862274305177619*y^21 - 37256564790522662546535014203216391132831842299515050728230637415685/15450856959611668151551604430588654094657185628415724548610355238*y^20 - 104307314352941157479780820673307836176329797811803290386675242854136/7725428479805834075775802215294327047328592814207862274305177619*y^19 - 95002993631251555101010100478815565370637809078557143209090098434189/15450856959611668151551604430588654094657185628415724548610355238*y^18 + 231495115585870866611770891818128395890590331481618225810867453305571/15450856959611668151551604430588654094657185628415724548610355238*y^17 + 900892309903622487639500924810856752534160203895258501261900505209457/15450856959611668151551604430588654094657185628415724548610355238*y^16 + 923585274286439299702297493441123857310602326837324977775815172862257/15450856959611668151551604430588654094657185628415724548610355238*y^15 - 1347942462856148124354387545349957583567328088528188991718405935954163/15450856959611668151551604430588654094657185628415724548610355238*y^14 - 3253224983647743794515568297533102383271266558155463235372384469159391/15450856959611668151551604430588654094657185628415724548610355238*y^13 + 211400259326835397986973815098281912345095636547672723271572219011323/7725428479805834075775802215294327047328592814207862274305177619*y^12 + 3834303516321782084913338782441632755185120852584485801068710279555909/15450856959611668151551604430588654094657185628415724548610355238*y^11 + 2352644719843431369946194176553595675036983468118175598762681826954451/15450856959611668151551604430588654094657185628415724548610355238*y^10 + 41328178133365442220665649289715948401697354124654329921399445338303/291525603011540908519841593029974605559569540158787255634157646*y^9 + 871288782809471672798264383526641332646517768606837674806538592008247/15450856959611668151551604430588654094657185628415724548610355238*y^8 + 304567519578266449028620791717799179526472262720767865542753254630815/15450856959611668151551604430588654094657185628415724548610355238*y^7 - 1383650159961412565875326015112635333928486250823903713079654406833401/15450856959611668151551604430588654094657185628415724548610355238*y^6 - 448110552076203084168396435893789300770117451182387175238928887705071/15450856959611668151551604430588654094657185628415724548610355238*y^5 + 183010764769072300918361387032806739139071994693630368702384630529225/7725428479805834075775802215294327047328592814207862274305177619*y^4 + 45857075781695353553008959721904474565262888790475542265930140532445/15450856959611668151551604430588654094657185628415724548610355238*y^3 - 26756736006884130398158707044472073748357149329661598626414885897365/15450856959611668151551604430588654094657185628415724548610355238*y^2 + 536546579901094559182549666114689268801274400192081064770829215787/15450856959611668151551604430588654094657185628415724548610355238*y + 159055091867414395981809603918846681592268907190498136981492138007/15450856959611668151551604430588654094657185628415724548610355238

-43578300250547051332709507873473739200873191251538504445332046468/7725428479805834075775802215294327047328592814207862274305177619*y^24 - 142424603768304059027069474633856839479118610050136488525830083983/15450856959611668151551604430588654094657185628415724548610355238*y^23 + 1028478560634813543019686295108410380361278788719453522796101223049/7725428479805834075775802215294327047328592814207862274305177619*y^22 - 15802813547208474784886463385447740452388208836739699046514026975230/7725428479805834075775802215294327047328592814207862274305177619*y^21 + 22643758759659513286169236008806340142566725145557872730250186975521/7725428479805834075775802215294327047328592814207862274305177619*y^20 + 222066751509152794684665214837739421242838337436717416728425239588439/15450856959611668151551604430588654094657185628415724548610355238*y^19 + 68273444485311224122276926657487453398931739554337516320982471860901/15450856959611668151551604430588654094657185628415724548610355238*y^18 - 137362028107309847823799897560948537967745838788702987459253377584998/7725428479805834075775802215294327047328592814207862274305177619*y^17 - 948676424818466693921199751498864832162807587564666346715377623434555/15450856959611668151551604430588654094657185628415724548610355238*y^16 - 425955257962916321688259912296551432038394147180826509526104786161262/7725428479805834075775802215294327047328592814207862274305177619*y^15 + 1651177882222394359523383203141933274936508580497445512769022381016691/15450856959611668151551604430588654094657185628415724548610355238*y^14 + 1680335152336629163553585275302048737027077101878034928787042540669997/7725428479805834075775802215294327047328592814207862274305177619*y^13 - 1028759135984864447369399082502237058887589808439756321384066015817179/15450856959611668151551604430588654094657185628415724548610355238*y^12 - 4221443096661428333942808631091632316981046657798823140547223694578081/15450856959611668151551604430588654094657185628415724548610355238*y^11 - 975969301686008285732163183962754139146484420071377380703962067948651/7725428479805834075775802215294327047328592814207862274305177619*y^10 - 35465186422640262506296211945049372616693982463870065770396140048109/291525603011540908519841593029974605559569540158787255634157646*y^9 - 239350507218063765265048309237336602521985763887070190622378272113265/7725428479805834075775802215294327047328592814207862274305177619*y^8 - 94566350881970871952711155879198605702644874414687207133042011909149/15450856959611668151551604430588654094657185628415724548610355238*y^7 + 805540722780130551140029639335670592054060078733572115336070321516977/7725428479805834075775802215294327047328592814207862274305177619*y^6 + 280050154752388360735732525239286624601727475561241177287077926660201/15450856959611668151551604430588654094657185628415724548610355238*y^5 - 255131682044653344261942109513068814045288949329630539121906473005424/7725428479805834075775802215294327047328592814207862274305177619*y^4 - 8769574152373519172367768553531239909507943611484622830721027194307/7725428479805834075775802215294327047328592814207862274305177619*y^3 + 42964139524354746507947994516368018687858906051755771036660466487889/15450856959611668151551604430588654094657185628415724548610355238*y^2 - 669937449384151380650465209037557228272630642826592809160915690772/7725428479805834075775802215294327047328592814207862274305177619*y - 251615755461356476588974195117482744909620563894615955427265857377/15450856959611668151551604430588654094657185628415724548610355238

-11367952747216322268629263600840293728621746974634093625030512513/30901713919223336303103208861177308189314371256831449097220710476*y^24 - 21884670900956935608309750723407100662368210321337714969945215587/30901713919223336303103208861177308189314371256831449097220710476*y^23 + 130926558350519648315485023198079731994489423486433271547766997343/15450856959611668151551604430588654094657185628415724548610355238*y^22 - 1011642652332896776570607025157129268868314417649082919976450702437/7725428479805834075775802215294327047328592814207862274305177619*y^21 + 4730559729633629441422172240643378380284154719689930442221773644499/30901713919223336303103208861177308189314371256831449097220710476*y^20 + 7580593828175757082435989178424588780786067341751651889666341980390/7725428479805834075775802215294327047328592814207862274305177619*y^19 + 17659912291696299042297870205146411329136146793747042433837894002315/30901713919223336303103208861177308189314371256831449097220710476*y^18 - 30361445349428293556499725954072388185438792963245699759020337868953/30901713919223336303103208861177308189314371256831449097220710476*y^17 - 131801771887731277835976929335259805544590119250225850513355738200257/30901713919223336303103208861177308189314371256831449097220710476*y^16 - 149441348226503781284115416962260317657442113786424878086013714526695/30901713919223336303103208861177308189314371256831449097220710476*y^15 + 170335903737288126403098298929820036058298758917170393501386389665985/30901713919223336303103208861177308189314371256831449097220710476*y^14 + 484112179472421981216594719994913061668426478619060691242637344489043/30901713919223336303103208861177308189314371256831449097220710476*y^13 + 2537555972634101178854557001337787314795583992881906347689348553675/15450856959611668151551604430588654094657185628415724548610355238*y^12 - 541497744667988728580405084321998114855438557622601346623690422648343/30901713919223336303103208861177308189314371256831449097220710476*y^11 - 402421061409854530045963722946035854369165236936576494952147363155285/30901713919223336303103208861177308189314371256831449097220710476*y^10 - 6947472582871713927276680521935248447595597922151951107267498595073/583051206023081817039683186059949211119139080317574511268315292*y^9 - 183154670471470948973582385937134064070308219614028124995544233272783/30901713919223336303103208861177308189314371256831449097220710476*y^8 - 74130620726923994674500226270011331473941366170148178124797662781821/30901713919223336303103208861177308189314371256831449097220710476*y^7 + 179710576205274080593384673660107773027941837892180704595942404305699/30901713919223336303103208861177308189314371256831449097220710476*y^6 + 86039898985855294768991436274428304760501201564319083636260560337615/30901713919223336303103208861177308189314371256831449097220710476*y^5 - 10516335719532951061208639547938808374642405100647205834520374453337/7725428479805834075775802215294327047328592814207862274305177619*y^4 - 9304873259196584854310622011643427566711844606398156445836507938983/30901713919223336303103208861177308189314371256831449097220710476*y^3 + 2982106042250634723769716321326826151890444329276338085417328585143/30901713919223336303103208861177308189314371256831449097220710476*y^2 - 4092440689221266646052703765355407687911227967915623537903854913/30901713919223336303103208861177308189314371256831449097220710476*y - 12431783913881512824795473564180459240612615814008334552753241545/30901713919223336303103208861177308189314371256831449097220710476

128645293509268135335959251538836114615047308367523862824266571525/61803427838446672606206417722354616378628742513662898194441420952*y^24 + 107996399477810246746055656372511537686917003634727073437121737021/30901713919223336303103208861177308189314371256831449097220710476*y^23 - 1511863649930876142036478218728766181206450069260875628240494502571/30901713919223336303103208861177308189314371256831449097220710476*y^22 + 23260272611667418470236690878559659833122001726700214166900858758875/30901713919223336303103208861177308189314371256831449097220710476*y^21 - 64820226618571366819151988516357140728386925517179307368165648387973/61803427838446672606206417722354616378628742513662898194441420952*y^20 - 329727457667273790439628464264557383694429263996614763194788714122075/61803427838446672606206417722354616378628742513662898194441420952*y^19 - 58295739845922011334028037519798575571951122604405233229235102888261/30901713919223336303103208861177308189314371256831449097220710476*y^18 + 393023933897339771404526682087645111338510751356066427387699474051109/61803427838446672606206417722354616378628742513662898194441420952*y^17 + 176603078525519252999478837138356930180343279972056652118419224794542/7725428479805834075775802215294327047328592814207862274305177619*y^16 + 1326969596983993712299764989862553194208028848264198571828032889559437/61803427838446672606206417722354616378628742513662898194441420952*y^15 - 1172950013446144761970054017807152201431969971032015436913510514661095/30901713919223336303103208861177308189314371256831449097220710476*y^14 - 5026224780943598150827007677408363428509149932058362875105843276758535/61803427838446672606206417722354616378628742513662898194441420952*y^13 + 1258991028250526552346375085879641747097775490947948897403053687231705/61803427838446672606206417722354616378628742513662898194441420952*y^12 + 1542768806572066656092488069830155332079108842730101492560701058434429/15450856959611668151551604430588654094657185628415724548610355238*y^11 + 3141145230324229707380188945607212604641919401022446971553465781243655/61803427838446672606206417722354616378628742513662898194441420952*y^10 + 28627039269215944326016932534714349845486050109891708204865358528323/583051206023081817039683186059949211119139080317574511268315292*y^9 + 951934229704396041659490685015029886984610543017388862569911375762423/61803427838446672606206417722354616378628742513662898194441420952*y^8 + 144933126938625684302724136654796016073699121804576814222299399317905/30901713919223336303103208861177308189314371256831449097220710476*y^7 - 2304071309167384107259165699354131070956319190182035196130817352192047/61803427838446672606206417722354616378628742513662898194441420952*y^6 - 60680350095641727808221696494067026175993575264596476992439532258603/7725428479805834075775802215294327047328592814207862274305177619*y^5 + 347616368484473506993924922911481724690609727085430140145552565303641/30901713919223336303103208861177308189314371256831449097220710476*y^4 + 34971205752245031066409047972943640859277039873027290673347969793089/61803427838446672606206417722354616378628742513662898194441420952*y^3 - 7150320467909856251776495218355144854046567939379178935370748314428/7725428479805834075775802215294327047328592814207862274305177619*y^2 + 1663568172931746502961651169607735723107098862170363616228577856119/61803427838446672606206417722354616378628742513662898194441420952*y + 199157188260244138288290039976779977776931162251541063982936244501/30901713919223336303103208861177308189314371256831449097220710476

-41046466935914561056109711936067468465344790075419147221690689893/30901713919223336303103208861177308189314371256831449097220710476*y^24 - 61895786192106757175342410546438369159062137166960726266328960343/30901713919223336303103208861177308189314371256831449097220710476*y^23 + 489560925395510549553901740220855692824753777822678273467225816031/15450856959611668151551604430588654094657185628415724548610355238*y^22 - 3750753796851028592930678126313070308849064891167311945319867286220/7725428479805834075775802215294327047328592814207862274305177619*y^21 + 23162288340757600017443163561846563325923819069954827329876941505919/30901713919223336303103208861177308189314371256831449097220710476*y^20 + 25643804376288460738916303445332327075115118521110372543473044602856/7725428479805834075775802215294327047328592814207862274305177619*y^19 + 18217840001277143569867107247341585796152143331200442667070300903803/30901713919223336303103208861177308189314371256831449097220710476*y^18 - 138628823240446970242068082047616337882739686437851670308155107476345/30901713919223336303103208861177308189314371256831449097220710476*y^17 - 434025565383923238313067468919184911773116947608340784503354714083001/30901713919223336303103208861177308189314371256831449097220710476*y^16 - 340279138912191421324754768035685601866306807922080205820486781557723/30901713919223336303103208861177308189314371256831449097220710476*y^15 + 851026474267928752400402003320306188601478621025958885236368624030017/30901713919223336303103208861177308189314371256831449097220710476*y^14 + 1512524479433168995778886500628909016061746140903040162602048326363747/30901713919223336303103208861177308189314371256831449097220710476*y^13 - 354651637835757190950252817455429606229859137701407764243884906955537/15450856959611668151551604430588654094657185628415724548610355238*y^12 - 2010724373523455676537917066670525822399537489241872172796423803343275/30901713919223336303103208861177308189314371256831449097220710476*y^11 - 679333052947093815051494701293901052903173624812441690481228585220413/30901713919223336303103208861177308189314371256831449097220710476*y^10 - 12867238149112161365171356116819647815449580284729011469241072717161/583051206023081817039683186059949211119139080317574511268315292*y^9 - 35650013044090311422408401027037077084881516310940257474788950459963/30901713919223336303103208861177308189314371256831449097220710476*y^8 + 58446564385506590039901195443068912626967010996237699122796324542343/30901713919223336303103208861177308189314371256831449097220710476*y^7 + 805138504859331147904323377012430935164765323183823282663445189631423/30901713919223336303103208861177308189314371256831449097220710476*y^6 + 55773205793483858713301719024793656819125700310511830987012884433927/30901713919223336303103208861177308189314371256831449097220710476*y^5 - 71158182667473766579315057538107116374963028175128996445844019086189/7725428479805834075775802215294327047328592814207862274305177619*y^4 + 5435340504483913593247531430843118532408955495802810167111860407821/30901713919223336303103208861177308189314371256831449097220710476*y^3 + 25027548552427531944586998833190608965481488345871028998472777116491/30901713919223336303103208861177308189314371256831449097220710476*y^2 - 1284965610028572157989366800426092213122892855693362314578176224169/30901713919223336303103208861177308189314371256831449097220710476*y - 96372669454795986986530756629750519080466378282151328352323246069/30901713919223336303103208861177308189314371256831449097220710476


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

# 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,0},{0,0,0,0,0,1,0,0},{0,0,0,0,0,0,1,0},{0,0,0,0,0,0,0,2}}

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

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

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

# 1 Loop Invariant
-2271444142490504088676786791430879162836103684978033224034829758787/30901713919223336303103208861177308189314371256831449097220710476*y^24 - 4141046007665088822588345642562751491812877220944436230886673879567/30901713919223336303103208861177308189314371256831449097220710476*y^23 + 26370248822352336177572744860317191550037847119620693200857735382181/15450856959611668151551604430588654094657185628415724548610355238*y^22 - 203474924329564933446579437340190384136570731671262152470361343772551/7725428479805834075775802215294327047328592814207862274305177619*y^21 + 1028399710649437697831732737125285015729117827756140163557027317076585/30901713919223336303103208861177308189314371256831449097220710476*y^20 + 2975905054786827157453827643504969255251548779578764919430915810895249/15450856959611668151551604430588654094657185628415724548610355238*y^19 + 2936309123335120581781382746124000676446318724113427175964223261005871/30901713919223336303103208861177308189314371256831449097220710476*y^18 - 6376198893647883912491994628126948725590346670814556896945006200292767/30901713919223336303103208861177308189314371256831449097220710476*y^17 - 25774196978769128908014489815952503626857895862442914103064769633060457/30901713919223336303103208861177308189314371256831449097220710476*y^16 - 27281638486231828829902644233541895027317941950091157278777149227096305/30901713919223336303103208861177308189314371256831449097220710476*y^15 + 36873737962783615170096025276245582226723825545136167323357249563556345/30901713919223336303103208861177308189314371256831449097220710476*y^14 + 93336663224046130869662047307754663107848252209288593614323074770299053/30901713919223336303103208861177308189314371256831449097220710476*y^13 - 2008178836147807159483780725747614356484970719545011699847946320051296/7725428479805834075775802215294327047328592814207862274305177619*y^12 - 107818073415862768388759961935560889342925667878268267338187592220016539/30901713919223336303103208861177308189314371256831449097220710476*y^11 - 70814579451613786666022517413113114316491220327996580423010848914338583/30901713919223336303103208861177308189314371256831449097220710476*y^10 - 1251595150450523035754716685140136126497181063779021255836703541556349/583051206023081817039683186059949211119139080317574511268315292*y^9 - 28436547506588211344127516968565322863124746917811729919330584464997637/30901713919223336303103208861177308189314371256831449097220710476*y^8 - 10962964132283469641876721991326264792674865486374259855348312987838729/30901713919223336303103208861177308189314371256831449097220710476*y^7 + 38251131094350744275195997878364336405982415586447582057412528331217569/30901713919223336303103208861177308189314371256831449097220710476*y^6 + 13817878329965413679575343810681407530874946909683665241370721604008011/30901713919223336303103208861177308189314371256831449097220710476*y^5 - 2348321646371773273835053354277006743398399429555744871242351964881011/7725428479805834075775802215294327047328592814207862274305177619*y^4 - 1446135735214117754959938258834322194747367496988773285719987243354265/30901713919223336303103208861177308189314371256831449097220710476*y^3 + 636581622649958124239503167197224161641613677057053341481913320376827/30901713919223336303103208861177308189314371256831449097220710476*y^2 - 8834094865137655578540940084268016154980595944588253294222842985919/30901713919223336303103208861177308189314371256831449097220710476*y - 3820813052028319617575296521807102908683974584746135962465068841689/30901713919223336303103208861177308189314371256831449097220710476

# 2 Loop Invariant
-267703209355781316401060838393770555722884116288890827775072504835263829093693676331894477660526784877196905594882240205785591988823805408967/715812141616859318937002760877611820580635110795691480108428327050244057165067861092097464492989801068870665047806422726403174334104304698368*y^24 - 75375263156256450424546589100984248226245712135207166499748242313494104697112281119229484605183509705092841427601707144929126982334651864705/119302023602809886489500460146268636763439185132615246684738054508374009527511310182016244082164966844811777507967737121067195722350717449728*y^23 + 3143518684450953466973790106173563737994837572609195729304362756868729877995417952493287704770529882358573410529088348768715816093959708512697/357906070808429659468501380438805910290317555397845740054214163525122028582533930546048732246494900534435332523903211363201587167052152349184*y^22 - 48371181351211052811468381745902368382536662137347539211123570763447047955048667131772998941453405038235173778001450228227070704259890315853295/357906070808429659468501380438805910290317555397845740054214163525122028582533930546048732246494900534435332523903211363201587167052152349184*y^21 + 133891355930121649264781060995604620537391459429050741867689028846643017236041358683134284602384718919687992067747716432714197796018794743479719/715812141616859318937002760877611820580635110795691480108428327050244057165067861092097464492989801068870665047806422726403174334104304698368*y^20 + 229127184381833866950596869186315544920224365473784152618359930860443518159825100447332528435317424094774443633963862380581243804638178930407055/238604047205619772979000920292537273526878370265230493369476109016748019055022620364032488164329933689623555015935474242134391444701434899456*y^19 + 124910251078472218523603279065123547982102292111247241459442906455586528374808121614779810706442707147898453125263164010327402502618548966213479/357906070808429659468501380438805910290317555397845740054214163525122028582533930546048732246494900534435332523903211363201587167052152349184*y^18 - 271255928255670975078764875703236306730712780122338256028433225165433210138901779867325785290466444269965712787915442310042308740865222564776373/238604047205619772979000920292537273526878370265230493369476109016748019055022620364032488164329933689623555015935474242134391444701434899456*y^17 - 736738386201618355056861588469392097682283772650239148718849387209934970199191566368751282266705480812284191270190462460771957983276766401419551/178953035404214829734250690219402955145158777698922870027107081762561014291266965273024366123247450267217666261951605681600793583526076174592*y^16 - 2793511104463901191566541062621026713834714277105660717061297035767217455523528616890502104794696361022849322357155666822287392985874823915426207/715812141616859318937002760877611820580635110795691480108428327050244057165067861092097464492989801068870665047806422726403174334104304698368*y^15 + 2422955438372055639149506583450978240135051342382160673569801405617650797342830833084691648447717310361560114671110990825141400616371884440175429/357906070808429659468501380438805910290317555397845740054214163525122028582533930546048732246494900534435332523903211363201587167052152349184*y^14 + 3500069932445971804842480126153229772510318857759530929863932035000638172038892674771139528452351734237785076635495866657326721635633310523226815/238604047205619772979000920292537273526878370265230493369476109016748019055022620364032488164329933689623555015935474242134391444701434899456*y^13 - 2504863683044119313370961337796374653505459745394485003350172582746582027164780622385666631257179710837977002994627121555401947772745477953910007/715812141616859318937002760877611820580635110795691480108428327050244057165067861092097464492989801068870665047806422726403174334104304698368*y^12 - 3209648608647108730029152364445351209007444955337897648834740419951024657130284263796449825144671411913742692429110089638639922968282287310257761/178953035404214829734250690219402955145158777698922870027107081762561014291266965273024366123247450267217666261951605681600793583526076174592*y^11 - 6659151081552947071786022007440262801395413741157608452373345575280481357632410043904085949286474968074269012484758822362285765273735879377484325/715812141616859318937002760877611820580635110795691480108428327050244057165067861092097464492989801068870665047806422726403174334104304698368*y^10 - 60549082988092472625178147323439746119071821515113029194695501204331412167065060504426675217189154815684037532518979239622232951465402385100271/6752944732234521876764176989411432269628633120714070567060644594813623180802526991434881740499903783668591179696287006852860135227399100928*y^9 - 2080538748184936844516155013761258203626255487568229082126982107415003307896404340259844026093146095650645909242678466135746164916236652681656773/715812141616859318937002760877611820580635110795691480108428327050244057165067861092097464492989801068870665047806422726403174334104304698368*y^8 - 106602894351616743537579411065211659149813091707695049864620915616560114823158363485229906371684675393743787923429933163688799827967106436943709/119302023602809886489500460146268636763439185132615246684738054508374009527511310182016244082164966844811777507967737121067195722350717449728*y^7 + 4778986818017130594693674692148847191611569059962991751742112349848201669744265463946499409651416056318085817624710805174263513108047756756342797/715812141616859318937002760877611820580635110795691480108428327050244057165067861092097464492989801068870665047806422726403174334104304698368*y^6 + 12669537583987508063958630224742882209418320507212085080510658371714567877483654368028168393182769494751422266607884718682360070246262401004627/8521573114486420463535747153304902625959941795186803334624146750598143537679379298715446005868926203200841250569124080076228265882194103552*y^5 - 711866635766088040402099931450056595286625279761604198600819696995023426611790277729807908432479369936039427368734040972901734331357763238552115/357906070808429659468501380438805910290317555397845740054214163525122028582533930546048732246494900534435332523903211363201587167052152349184*y^4 - 73160878100527028686029824583547243552302221313309687495715704355421070981377508028904901905400933217686302418274705830722717630275494301958051/715812141616859318937002760877611820580635110795691480108428327050244057165067861092097464492989801068870665047806422726403174334104304698368*y^3 + 7200730732480939007109355856539003958328002034527292728550079975471464235520719321754231595132901936027431855034424281360694270732815471853447/44738258851053707433562672554850738786289694424730717506776770440640253572816741318256091530811862566804416565487901420400198395881519043648*y^2 - 1485783363783761425492088053159559843529230406732936999011993261936257206630896800167008918760621446614106690105811095080253198393545930857463/238604047205619772979000920292537273526878370265230493369476109016748019055022620364032488164329933689623555015935474242134391444701434899456*y - 298961427779903204578686436138153430699412604480500344778882338833887104256043825760240987624801971024850692566954032595852794093613053684197/357906070808429659468501380438805910290317555397845740054214163525122028582533930546048732246494900534435332523903211363201587167052152349184

# 3 Loop Invariant
3119748507479950951382392785721634735239931938650561980209910196558014381313917380833040356176544022117536331589351269149184248816351529630772113679752289009002631019206756534955/41932950429333616491608922373842139150308749954740716612053958525345856856885835174838379676097748579483591796223879097011189120506943118349252536881959652646078118924061080584192*y^24 + 4944541301959245737443869581337234425043719575967324470341938652337062082335023733677808511888854589975975252342711325023081347023643755218641360329199597992572466630333110187221/41932950429333616491608922373842139150308749954740716612053958525345856856885835174838379676097748579483591796223879097011189120506943118349252536881959652646078118924061080584192*y^23 - 36983646827040308869993048518787077517086933855695980897881925598393804482090775702334012437590698178340145168416809278199246477099261385409793116134595577457428883615758028567813/20966475214666808245804461186921069575154374977370358306026979262672928428442917587419189838048874289741795898111939548505594560253471559174626268440979826323039059462030540292096*y^22 + 283689891703295672432197774229724063337857192447379610440756512439744286618537619845798528555201362715520588801220650967416875042893325141240659997133537460045660406790389854634009/10483237607333404122902230593460534787577187488685179153013489631336464214221458793709594919024437144870897949055969774252797280126735779587313134220489913161519529731015270146048*y^21 - 1674717690753060205274476394809425611107899448310831928993046070449853198921149227385932708108009540536576146591571725103121079827853744263671847858092818817867419441965861855223801/41932950429333616491608922373842139150308749954740716612053958525345856856885835174838379676097748579483591796223879097011189120506943118349252536881959652646078118924061080584192*y^20 - 1975062516883147497762974155927879701199651469577532516946351970261529865531470822811389079823591835969282195796878630122581229052442800599813468540092147217439060544083050012931577/10483237607333404122902230593460534787577187488685179153013489631336464214221458793709594919024437144870897949055969774252797280126735779587313134220489913161519529731015270146048*y^19 - 288437061560627895344027763453310625218798647094962904516274854717781204852773472194252760714235082637309837639289599816606005677506519297736641068753639963091217136379927068448099/5990421489904802355944131767691734164329821422105816658864851217906550979555119310691197096585392654211941685174839871001598445786706159764178933840279950378011159846294440083456*y^18 + 10190020380681256471592042084165906102227687175307790356363436708759072842176654000907185268171930282578918423582501335927567001019065783763038303675680787652701369283221205270155531/41932950429333616491608922373842139150308749954740716612053958525345856856885835174838379676097748579483591796223879097011189120506943118349252536881959652646078118924061080584192*y^17 + 33638581724798150122796574126474862250425654116196708162239987383696763127084864366352914783468019955669538069247835563407805721617559857759002686803931189691708008400346289909275691/41932950429333616491608922373842139150308749954740716612053958525345856856885835174838379676097748579483591796223879097011189120506943118349252536881959652646078118924061080584192*y^16 + 28622476162731625068514599290453494485759899458484789364919836765801826823055060465178345213480796923516154631968124864330093226167924754167840583687955693061919930965427473304677961/41932950429333616491608922373842139150308749954740716612053958525345856856885835174838379676097748579483591796223879097011189120506943118349252536881959652646078118924061080584192*y^15 - 61638516197771513898258264892623132260480909262343412071284502837438008233927494482383123666981627588622425823032025953876144831856336709115657938178390469700958974097412528750523263/41932950429333616491608922373842139150308749954740716612053958525345856856885835174838379676097748579483591796223879097011189120506943118349252536881959652646078118924061080584192*y^14 - 118669255737550771982530617565272316783572640093043119369183560030287184362937809243548536717281605931704772752596578917275953630785551076580106911870131151746176177816469884485588081/41932950429333616491608922373842139150308749954740716612053958525345856856885835174838379676097748579483591796223879097011189120506943118349252536881959652646078118924061080584192*y^13 + 3132436284531162829854931720674062726506746337880847955722900698148371596299918853220285347639613529243663975703714584541910756497569988371988842820355670671540578604281689441555545/2995210744952401177972065883845867082164910711052908329432425608953275489777559655345598548292696327105970842587419935500799222893353079882089466920139975189005579923147220041728*y^12 + 153080128312122319390677454487451284280144759054811327905078589930871794179790622975222346447476493906745087854960143814024560026955646554965664642695994493660666165803718465800210637/41932950429333616491608922373842139150308749954740716612053958525345856856885835174838379676097748579483591796223879097011189120506943118349252536881959652646078118924061080584192*y^11 + 62971372777908815413011970362267348339683320027611972478263409396846553094130269308472126492214711572112603134235035614184834459224273882686986383411924560472773218904093968724374651/41932950429333616491608922373842139150308749954740716612053958525345856856885835174838379676097748579483591796223879097011189120506943118349252536881959652646078118924061080584192*y^10 + 1131471378702627629054936764082728236350760089974826537540063551896247320225829253250306069734280334357175411518553035006474562960903153009803451830311415884723317061235696658055667/791187743949690877200168346676266776420919810466805973812338840100865223714827078770535465586749973197803618796676964094550738122772511666967028997772823634831662621208699633664*y^9 + 10276639288431161173063984730533235087276119113073204449289376361737923729175436335386976056922536883375937903214524259176268533368267888868786892128377336757805562333370103197183389/41932950429333616491608922373842139150308749954740716612053958525345856856885835174838379676097748579483591796223879097011189120506943118349252536881959652646078118924061080584192*y^8 - 964877242769011301639840126491085433983162561288361463328246241975881637577564203294535607886780902929712665414652267293261352613081915266630132953358518413604227987442635944358141/41932950429333616491608922373842139150308749954740716612053958525345856856885835174838379676097748579483591796223879097011189120506943118349252536881959652646078118924061080584192*y^7 - 59821537400873779871767594553674104363771891163744469723624840944660546840172002489741305733403242376898018544371771868900256019491323495397661874948952060922898450739505560453896717/41932950429333616491608922373842139150308749954740716612053958525345856856885835174838379676097748579483591796223879097011189120506943118349252536881959652646078118924061080584192*y^6 - 8215150482753123565314329801710989290880940622011772413103875680074419884610339126492858347669335220604314849536421451656967196260425535179043460364145082114005865010551574271659905/41932950429333616491608922373842139150308749954740716612053958525345856856885835174838379676097748579483591796223879097011189120506943118349252536881959652646078118924061080584192*y^5 + 4983496506569466791466287489633379790492753831026460560044976385496988899256601993671424207868412199148834645188597556640166807979326199951073429899971813568682181457845726012175177/10483237607333404122902230593460534787577187488685179153013489631336464214221458793709594919024437144870897949055969774252797280126735779587313134220489913161519529731015270146048*y^4 + 441474922531917897494304546302754487569672785011343888675878728747817201154942185427205971551619269288320368998187156226431042877878883432637012017782336941574845178152011034324865/41932950429333616491608922373842139150308749954740716612053958525345856856885835174838379676097748579483591796223879097011189120506943118349252536881959652646078118924061080584192*y^3 - 1717736143742448899056006758522164131744625360775219555872090134030504877732853487754589144229520634892361527733932196052244397849552558383912479546789670173589504720969064435955601/41932950429333616491608922373842139150308749954740716612053958525345856856885835174838379676097748579483591796223879097011189120506943118349252536881959652646078118924061080584192*y^2 + 55485722076235905280420400320195012043918637102859616037395859314835925476546309529385210672488291678537096258223018006716438780703185968789288313827276827165014603037702260455371/41932950429333616491608922373842139150308749954740716612053958525345856856885835174838379676097748579483591796223879097011189120506943118349252536881959652646078118924061080584192*y + 1789122800832840115638176113198845290653217639195671741411587209774553247023661276602940212702773913467128209111223044768656935642845367140793082244553264672421616102491280188949/5990421489904802355944131767691734164329821422105816658864851217906550979555119310691197096585392654211941685174839871001598445786706159764178933840279950378011159846294440083456

# 4 Loop Invariant
19887160219746693171270975412750802685412755864859591751880124802424802439610686312141115969011543721382324846271146283192657088012440040880996941873736613877202940483221298451360558389085762280671338358653655411631772922367192306754432646296770993060303/404725596688000012160210515161295446066362446040921473001329197877544903847163914730314375495813698852067604898298679475839468175323626754245973449970359133610356296752466737034676968435317995231606905363757633147064861253564742786133049827078463752765440*y^24 + 301139868469441227239441601671680383781989288168250634915317177955333222974199768642014693848558652949790937870153330216251164796452069599250927156077444860751611496259739055271848772724400055671419716846712174239783666755915417799149222406930042472772939/3642530370192000109441894636451659014597262014368293257011962780897904134624475232572829379462323289668608444084688115282555213577912640788213761049733232202493206670772200633312092715917861957084462148273818698323583751282082685075197448443706173774888960*y^23 - 701279846557114177987347126321238215787562233604866133684066141344475007642547896506110182238624277810837548965772694253947689848152964353073491834693701161921307321249364272189115417296708462248913018587651105651503396798160439319739434026153513827116219/607088395032000018240315772741943169099543669061382209501993796816317355770745872095471563243720548278101407347448019213759202262985440131368960174955538700415534445128700105552015452652976992847410358045636449720597291880347114179199574740617695629148160*y^22 + 1617646409679994443899288813542585179167163709796407421304342984503521753350448025935325914886938959595887037097658446715484121901321220676026875362124807357496427325924031162932049295625339802352682067991483408168460589311800158107469059797847385787766043/91063259254800002736047365911291475364931550359207331425299069522447603365611880814320734486558082241715211102117202882063880339447816019705344026243330805062330166769305015832802317897946548927111553706845467458089593782052067126879936211092654344372224*y^21 - 29971891207621316013126637505815327967362049381666263958921909066381049894263417159016004956869112419598709766530999389398008645200184089910641075467269843797413819318329356659093205333777396456234213601943497578043987448163447329585310573996538660067968171/1214176790064000036480631545483886338199087338122764419003987593632634711541491744190943126487441096556202814694896038427518404525970880262737920349911077400831068890257400211104030905305953985694820716091272899441194583760694228358399149481235391258296320*y^20 - 229857440962964371594765954916146400069062638805285840050365718650916419778173730414351213251265574651977469775552373434294502875482052807269695546927720835288887816454220628979045267758472418956967456840747794638635283832700743818618863235791453009497154719/1821265185096000054720947318225829507298631007184146628505981390448952067312237616286414689731161644834304222042344057641277606788956320394106880524866616101246603335386100316656046357958930978542231074136909349161791875641041342537598724221853086887444480*y^19 - 54352536351416580663565877850592580217058918947305393272792414398661421751699602297995250656681066960953061981235342772556963755043383034919440733753212060946979340708420728366505320263492232076262856230252574971992124438769634529820817580917945878289234121/1214176790064000036480631545483886338199087338122764419003987593632634711541491744190943126487441096556202814694896038427518404525970880262737920349911077400831068890257400211104030905305953985694820716091272899441194583760694228358399149481235391258296320*y^18 + 61216925264544561088850271775705866971896734657052160518136591990062817714894208242723282723698303462593328514293298882994539318245550224613536340986520776768865426878180258793247544258823190317395117169263765969618338109869830552932625459025854388469007823/404725596688000012160210515161295446066362446040921473001329197877544903847163914730314375495813698852067604898298679475839468175323626754245973449970359133610356296752466737034676968435317995231606905363757633147064861253564742786133049827078463752765440*y^17 + 1970564204085731957910762923588928024169921868363588813697708725875717792132926107362465585596797471858074030413077009213077148086519631155540179349937943524736803056128097589370917819054277689248486424000646523630651684857457734261499191738455328032520720713/3642530370192000109441894636451659014597262014368293257011962780897904134624475232572829379462323289668608444084688115282555213577912640788213761049733232202493206670772200633312092715917861957084462148273818698323583751282082685075197448443706173774888960*y^16 + 1849217234009342012142545007345579298054086050195866571246650617351479731997455583105974926419857938074451129555235114286736859178333521440418272612325732273504410811474929973555007715859302317307489995186537842965408320381273041446914992712716005773353646737/3642530370192000109441894636451659014597262014368293257011962780897904134624475232572829379462323289668608444084688115282555213577912640788213761049733232202493206670772200633312092715917861957084462148273818698323583751282082685075197448443706173774888960*y^15 - 3277905999119143678164037553541079045784776500496822251117775660306300150903985038377281092137908243054405844811897362128847148117325403006931749166643655260885101839317306294611689412745069096569853549474264356340671618185414393488240658912810292302639824497/3642530370192000109441894636451659014597262014368293257011962780897904134624475232572829379462323289668608444084688115282555213577912640788213761049733232202493206670772200633312092715917861957084462148273818698323583751282082685075197448443706173774888960*y^14 - 7029128292525954760525850986115721458647533990796667085666391600991205184627635475303334204046995928857384107783319215970698405506718078659756383908680921189767205228986724861704699207644104757224883133794274959289540375923717399671441705761624332075235583973/3642530370192000109441894636451659014597262014368293257011962780897904134624475232572829379462323289668608444084688115282555213577912640788213761049733232202493206670772200633312092715917861957084462148273818698323583751282082685075197448443706173774888960*y^13 + 109388717048445665372640188958132638532115957865862489090893249986790924886305276603732959273642285647282436220374226918834590126348896257083532931013140945858701014576333800637889240439380418181072002857634497799130353616165763762405655726615913550727071659/227658148137000006840118414778228688412328875898018328563247673806119008414029702035801836216395205604288027755293007205159700848619540049263360065608327012655825416923262539582005794744866372317778884267113668645223984455130167817199840527731635860930560*y^12 + 2888193396792553114911936901014084869087156533671586817362619955369561896478672746648481671488252158049219340552511699033229149655207230553029026339176678822850458819146997057066741196062738594244827023408128273474089472448307019832837741542649155146007427157/1214176790064000036480631545483886338199087338122764419003987593632634711541491744190943126487441096556202814694896038427518404525970880262737920349911077400831068890257400211104030905305953985694820716091272899441194583760694228358399149481235391258296320*y^11 + 1468760754513140839503329061900032325563038016969131149987265311775341398457344268910351952024910726603811575433431728548005369611642021978835344727608790865610550373409634326883560746415114222964597236852829170987698221802634184007338760240355663181945337457/1214176790064000036480631545483886338199087338122764419003987593632634711541491744190943126487441096556202814694896038427518404525970880262737920349911077400831068890257400211104030905305953985694820716091272899441194583760694228358399149481235391258296320*y^10 + 15717605112141015186338659077765736296835620404755284503100642882130573133423986650362170035851525611425666102182479059709531311001161233406674318847193390115765222678524210663460861051296988828203190155771988365094196245709477586254903298142886897527235665/13745397623366038148837338250760977413574573639125634932120614267539260885375378236123884450801219961013616770130898548236057409727972229389485890753710310198087572342536606163441859305350422479564008106693655465372014155781444094623386597900778014244864*y^9 + 1274822855052637168437350611136755773256741085636014880942211947938032949322291725147508008029369150673444103813120491664159382881148969551403321486783454679838024295304923604235633702919161839571227319575230344668221927544468790679167945167598962521329879721/3642530370192000109441894636451659014597262014368293257011962780897904134624475232572829379462323289668608444084688115282555213577912640788213761049733232202493206670772200633312092715917861957084462148273818698323583751282082685075197448443706173774888960*y^8 + 66877872074361364290753752149490597206522394291766314095540163294986925585125723411177612412862748850271335381240902688064575245488755434500402306483324061771809111711879831793406991794507490326223918316440556678327525535717293582254634902424769218717938881/728506074038400021888378927290331802919452402873658651402392556179580826924895046514565875892464657933721688816937623056511042715582528157642752209946646440498641334154440126662418543183572391416892429654763739664716750256416537015039489688741234754977792*y^7 - 3244921648821240553633999978621916036867637338972713418132994923796137021877082612626946569981859682378895116961389115302354580933156789835363071766279836579965886866688014495694242474124124999811362560366750902290062436362693500931117125934583222646789529977/3642530370192000109441894636451659014597262014368293257011962780897904134624475232572829379462323289668608444084688115282555213577912640788213761049733232202493206670772200633312092715917861957084462148273818698323583751282082685075197448443706173774888960*y^6 - 101763052452528958779039848468704181261241877216108542742181549955097200153599590191939680102397085576188137088609210590293411770285328185046068558600186953387217868580357746754279994393569853790374229632072672192682047897470186504380989438247067555105558621/520361481456000015634556376635951287799608859195470465287423254413986304946353604653261339923189041381229777726384016468936459082558948684030537292819033171784743810110314376187441816559694565297780306896259814046226250183154669296456778349100881967841280*y^5 + 41112919422339106024844987996206964164858427112334474488751775647934237052637463587348277128587089894284887002311004086215333177271113907045240240726253384418662196874703132460931522278576545776044626785437636284547091205822372260699099670769131019534484991/151772098758000004560078943185485792274885917265345552375498449204079338942686468023867890810930137069525351836862004803439800565746360032842240043738884675103883611282175026388003863163244248211852589511409112430149322970086778544799893685154423907287040*y^4 + 4063982776705104084462674374666904976908280957386104899876076400489956750242141687366590823821694834534824580526115318250415365864413658371655108217636167443714968599725675930168021167828892598591456296858886285469145333147464644805315732798501655241435247/242835358012800007296126309096777267639817467624552883800797518726526942308298348838188625297488219311240562938979207685503680905194176052547584069982215480166213778051480042220806181061190797138964143218254579888238916752138845671679829896247078251659264*y^3 - 81217839847683160223433517357797978233205992080027903363593576142801693490338658750608638257503244713821214501338197513208936068546743393238456318743879730444902968606271100705755303523814572316761780481860496500094920303843636245267393252485161298193110083/3642530370192000109441894636451659014597262014368293257011962780897904134624475232572829379462323289668608444084688115282555213577912640788213761049733232202493206670772200633312092715917861957084462148273818698323583751282082685075197448443706173774888960*y^2 + 188772642142533491188974614870955765489483694537323193557301256544749378078891316931963976992525081121514370192207740349842571190902609223267817646332592950114532323665354541958389235335946629145452505625877426142281496179109968146113873662195817525553419/404725596688000012160210515161295446066362446040921473001329197877544903847163914730314375495813698852067604898298679475839468175323626754245973449970359133610356296752466737034676968435317995231606905363757633147064861253564742786133049827078463752765440*y + 162786263855990314341922601169199104194485276403783623646564591217862715624687009533086166186979391394806095534820083563254217317620175285483347162968809934281197750511763298007092490674557501031601437349474319259971629348587226226049106326185523380795919/1214176790064000036480631545483886338199087338122764419003987593632634711541491744190943126487441096556202814694896038427518404525970880262737920349911077400831068890257400211104030905305953985694820716091272899441194583760694228358399149481235391258296320