# Manifold: Census Knot K7_14

# Number of Tetrahedra: 7

# Number Field
x^28 + 10*x^27 - 92*x^26 + 93*x^25 + 1424*x^24 - 2686*x^23 - 15776*x^22 + 45901*x^21 + 83781*x^20 - 346413*x^19 - 339328*x^18 + 1200032*x^17 + 1359724*x^16 - 1480496*x^15 - 2815586*x^14 - 585615*x^13 + 1480288*x^12 + 1053740*x^11 - 134029*x^10 - 371747*x^9 - 87130*x^8 + 43294*x^7 + 25497*x^6 + 758*x^5 - 2434*x^4 - 426*x^3 + 67*x^2 + 19*x + 1 

# Approximate Field Generator
-0.214604404016183 - 0.355129501092170*I

# Shape Parameters
-8685539593361779564188160318589629526552091797751513687138280840963957557968275/185207342025770990239511236012732892106980107637286596203139505637017323834722*y^27 - 89727122601900670704636160627149535842963792458141014638431401393404059544476929/185207342025770990239511236012732892106980107637286596203139505637017323834722*y^26 + 769454916939391440332901949755470500294351366714289465730757447669835572966764295/185207342025770990239511236012732892106980107637286596203139505637017323834722*y^25 - 552824628527395888680508775070472911447392714493028192334176358463386190327746543/185207342025770990239511236012732892106980107637286596203139505637017323834722*y^24 - 12555741629263772331359851491101929258974031579911746945780414810498738551380012869/185207342025770990239511236012732892106980107637286596203139505637017323834722*y^23 + 19182629314304876786467154030508799410174900651475047886927837576852766284108752601/185207342025770990239511236012732892106980107637286596203139505637017323834722*y^22 + 143439359698027809317378282578640468367601414528311748540529531885869689009610855245/185207342025770990239511236012732892106980107637286596203139505637017323834722*y^21 - 175692020497646527518420883185939368113574709891651063077444993466690308243474851984/92603671012885495119755618006366446053490053818643298101569752818508661917361*y^20 - 844683900406126589660173833404374868211904614121645740880596690546429520121592772019/185207342025770990239511236012732892106980107637286596203139505637017323834722*y^19 + 1365914462982541766900713427302245029672667493667326751710746588277863279150304118488/92603671012885495119755618006366446053490053818643298101569752818508661917361*y^18 + 3854896778516010693593804440489775311861174241450885734780533019018149220011067397709/185207342025770990239511236012732892106980107637286596203139505637017323834722*y^17 - 4582944770270409039510379375639725363440840747023257400396122563590861048622550021319/92603671012885495119755618006366446053490053818643298101569752818508661917361*y^16 - 14858783390002884766544515747195950309689905373108554997898285021145125997579027497247/185207342025770990239511236012732892106980107637286596203139505637017323834722*y^15 + 4002840909463186944970108700830835717296472930255549261850978441353003176136860048435/92603671012885495119755618006366446053490053818643298101569752818508661917361*y^14 + 27174666420262125523322325727320703941327458158110782002684313781921132816010693848897/185207342025770990239511236012732892106980107637286596203139505637017323834722*y^13 + 14004464519267035817006274401406321479075552440545770862181481458664646169187386224429/185207342025770990239511236012732892106980107637286596203139505637017323834722*y^12 - 4185681398297189011588619465898842967322294232132855119873598116092228940124092003601/92603671012885495119755618006366446053490053818643298101569752818508661917361*y^11 - 11966447248409286877265137131077557492294211463350087550676563125764660239295450256133/185207342025770990239511236012732892106980107637286596203139505637017323834722*y^10 - 1365248158876510096628036553925525432377064716319423926598442036043209619538800410543/92603671012885495119755618006366446053490053818643298101569752818508661917361*y^9 + 1191033854789968070648631348039574078234470566814126630854585362795829441175563123116/92603671012885495119755618006366446053490053818643298101569752818508661917361*y^8 + 1546825992343894797468677997644562343564423767592659688764234785189652659408706490517/185207342025770990239511236012732892106980107637286596203139505637017323834722*y^7 + 60278603132698397646190775273977160742116864740933805674340164116647584895404666466/92603671012885495119755618006366446053490053818643298101569752818508661917361*y^6 - 187329543726625050931664167880405099965030991629501636273463371126361871902156621177/185207342025770990239511236012732892106980107637286596203139505637017323834722*y^5 - 33958335878303042011110783840811871486373247793408248639228903799875509281420667975/92603671012885495119755618006366446053490053818643298101569752818508661917361*y^4 - 334373762367197164774773486154982726154934408143624938131020282047152719750900749/185207342025770990239511236012732892106980107637286596203139505637017323834722*y^3 + 1887668436220466791261084649731855456323838973242180878007676489145351778215351158/92603671012885495119755618006366446053490053818643298101569752818508661917361*y^2 + 314726875465108416545667044131163805837457897999664957204694591706586135662635247/92603671012885495119755618006366446053490053818643298101569752818508661917361*y + 14495882241562224048979671367892341453889714636216520718197091828069775306826946/92603671012885495119755618006366446053490053818643298101569752818508661917361

148809039365796702881507724855418432131656518196614549733634655036026614072218631/6297049628876213668143382024432918331637323659667744270906743191658589010380548*y^27 + 1536597082543330020119057741595230002713125909819434979220767869388095646036748035/6297049628876213668143382024432918331637323659667744270906743191658589010380548*y^26 - 13190016595387991712403034674291749549233299399366366717628535104355317261548367157/6297049628876213668143382024432918331637323659667744270906743191658589010380548*y^25 + 2383776294001285865127119507823154195038701875811636394657488713262901540978230503/1574262407219053417035845506108229582909330914916936067726685797914647252595137*y^24 + 53763683735517304664301100479379396067298683331447164842912838506833188931933225124/1574262407219053417035845506108229582909330914916936067726685797914647252595137*y^23 - 164821833386251928478306496516749134214705038019436028233366495689661635255107591043/3148524814438106834071691012216459165818661829833872135453371595829294505190274*y^22 - 1227860016363718796460212238228468143231277887846947619548688932464132179268057368505/3148524814438106834071691012216459165818661829833872135453371595829294505190274*y^21 + 6031235043067276567656927106628914898351163257558770940312421723236891343703437489073/6297049628876213668143382024432918331637323659667744270906743191658589010380548*y^20 + 7220304378046918299584767458439109952960961928607289699282888249263700330742622819947/3148524814438106834071691012216459165818661829833872135453371595829294505190274*y^19 - 46863297094701366272707885546894226381691354523990456537063030824223646252004505709291/6297049628876213668143382024432918331637323659667744270906743191658589010380548*y^18 - 65809290415096163452748252924703026897533676858149098029872403526280984174561805960047/6297049628876213668143382024432918331637323659667744270906743191658589010380548*y^17 + 157281902377940928026026695957002874005818578380226513020262667718152575491140683839045/6297049628876213668143382024432918331637323659667744270906743191658589010380548*y^16 + 253763657152215448020015780665795070407728197321912108435352858026785711989631458679377/6297049628876213668143382024432918331637323659667744270906743191658589010380548*y^15 - 138131232342754481347712048349684926160463597603469131316715520510557945701098867004571/6297049628876213668143382024432918331637323659667744270906743191658589010380548*y^14 - 464636676064211491019836561859031681131510093928373042623817575043433123184246625832977/6297049628876213668143382024432918331637323659667744270906743191658589010380548*y^13 - 118987616818827845119899526744229095892769138695888664599844104521455305924704375259871/3148524814438106834071691012216459165818661829833872135453371595829294505190274*y^12 + 35994253494667245095123558664029393185471333990464062818101470771500978541972437251764/1574262407219053417035845506108229582909330914916936067726685797914647252595137*y^11 + 51023564965823084998255719571165836257485257817853548945075287405451550863341020892613/1574262407219053417035845506108229582909330914916936067726685797914647252595137*y^10 + 46000717354543268067857273234722056173362569459080027449122838043636687709889887492551/6297049628876213668143382024432918331637323659667744270906743191658589010380548*y^9 - 20406935130147869017844227813106392994584857400032449080538548040234227068364054222553/3148524814438106834071691012216459165818661829833872135453371595829294505190274*y^8 - 13136322861696445872050541191620279453664137185038803693114880393375214895434062225243/3148524814438106834071691012216459165818661829833872135453371595829294505190274*y^7 - 495731162970176908482652718690471533900035255950608384172683341790805380411579012528/1574262407219053417035845506108229582909330914916936067726685797914647252595137*y^6 + 3197337284874594620981465935750900781919856095350477765205523789734358533198909618241/6297049628876213668143382024432918331637323659667744270906743191658589010380548*y^5 + 1147907541615317208435012709221093771447184832360190905081924847838168094125606270023/6297049628876213668143382024432918331637323659667744270906743191658589010380548*y^4 + 2869286753764822144663476217921238063887628851775566587845390840108974135815969477/6297049628876213668143382024432918331637323659667744270906743191658589010380548*y^3 - 64057887425665062048118628171338365903396465518720126365821812783755192319719973709/6297049628876213668143382024432918331637323659667744270906743191658589010380548*y^2 - 2636419518508627740180498738846284817233821653307764588558137628957006665619894679/1574262407219053417035845506108229582909330914916936067726685797914647252595137*y - 473246803086108297449776703060830731968435615430964492098235917724995210879105189/6297049628876213668143382024432918331637323659667744270906743191658589010380548

1242273146594648225129619909923410900659820933682587047198575522351011806700397127/107049843690895632358437494415359611637834502214351652605414634258196013176469316*y^27 + 12821955335146715727678850163325927553390099999595458321018326706778418344994683315/107049843690895632358437494415359611637834502214351652605414634258196013176469316*y^26 - 110171593042710233840084930039570948510457962488852573872781403513132346010062366665/107049843690895632358437494415359611637834502214351652605414634258196013176469316*y^25 + 40047755443372479631935985861320791168459337974900044118970596404767151141250051983/53524921845447816179218747207679805818917251107175826302707317129098006588234658*y^24 + 897503564243326457185171648663425348313901666987779019331318879451264969113248898405/53524921845447816179218747207679805818917251107175826302707317129098006588234658*y^23 - 690031122469094596367645214118787371879039202380003930123118845409914690591099181634/26762460922723908089609373603839902909458625553587913151353658564549003294117329*y^22 - 5122351525261668346307410248673700789515311105518583229287898938174534151058358984040/26762460922723908089609373603839902909458625553587913151353658564549003294117329*y^21 + 50444266633904897385290202616561844175534122670195666469618523495053585006147118358091/107049843690895632358437494415359611637834502214351652605414634258196013176469316*y^20 + 30084566322541003046171191101896714127036111970528941538695727196669187175574947776154/26762460922723908089609373603839902909458625553587913151353658564549003294117329*y^19 - 391795609805207748127176502288442497338766166642055695010893748853776892453656472080793/107049843690895632358437494415359611637834502214351652605414634258196013176469316*y^18 - 547718600536416754713200213744034974683051768282071361076199136375800935823796386607591/107049843690895632358437494415359611637834502214351652605414634258196013176469316*y^17 + 1315732738988782867578388191866884716524061215511034285244903892579207787548084129055423/107049843690895632358437494415359611637834502214351652605414634258196013176469316*y^16 + 2113151308550917667505621855803982279694299868864786691578577478069480893294530887386377/107049843690895632358437494415359611637834502214351652605414634258196013176469316*y^15 - 1163414929520298260975838728006465087669350690444278581311054932147287753099163934125993/107049843690895632358437494415359611637834502214351652605414634258196013176469316*y^14 - 3876172424151493692390767729158130601473766412105733653856519169732980223641814161664577/107049843690895632358437494415359611637834502214351652605414634258196013176469316*y^13 - 492437709561702084215616454032458899311446351290120428511896290593478351830331964299669/26762460922723908089609373603839902909458625553587913151353658564549003294117329*y^12 + 303639453807848203489743238924121028531291752009720914816117355308075920229972622231051/26762460922723908089609373603839902909458625553587913151353658564549003294117329*y^11 + 851411228120374570300566338533762048716001514152830170251855265636596972392995908311773/53524921845447816179218747207679805818917251107175826302707317129098006588234658*y^10 + 377618287837798565723205308755326900524270923125977429072534429132758679668984677040661/107049843690895632358437494415359611637834502214351652605414634258196013176469316*y^9 - 171892222861819043900838686293969940176923008189211930609115608178817077775631384286829/53524921845447816179218747207679805818917251107175826302707317129098006588234658*y^8 - 54775807252697444999578470193931597081249765382982341719440957723031833893840891669573/26762460922723908089609373603839902909458625553587913151353658564549003294117329*y^7 - 3969083721462525289069742272832946023773901182835729846027007497581605387388417237050/26762460922723908089609373603839902909458625553587913151353658564549003294117329*y^6 + 26903073768760439147205474030995775464851802929939307702385964539188041249871900343221/107049843690895632358437494415359611637834502214351652605414634258196013176469316*y^5 + 9572057893938816370286749557447872646666465914019029971697609910878018132029833025989/107049843690895632358437494415359611637834502214351652605414634258196013176469316*y^4 + 4690709594372903384015601815213975409139856767728668693096726757705195591694843781/107049843690895632358437494415359611637834502214351652605414634258196013176469316*y^3 - 537423400079790525502088510142623056641189522611694492468037542381176157050461917035/107049843690895632358437494415359611637834502214351652605414634258196013176469316*y^2 - 21941805053243659791098430180356864557850866770335462493185552689716122842511093358/26762460922723908089609373603839902909458625553587913151353658564549003294117329*y - 3945168767943691721280121289309764851504840815308740119941335913673385645197510931/107049843690895632358437494415359611637834502214351652605414634258196013176469316

-24784084610856627558030138188789093559911589962456272452081940367378683456654131/6297049628876213668143382024432918331637323659667744270906743191658589010380548*y^27 - 256726841203992956850375985025539951847625506368801428011387590310611906093454437/6297049628876213668143382024432918331637323659667744270906743191658589010380548*y^26 + 2188768813077944219584129291117685628152891200841960099528264139389261531000157081/6297049628876213668143382024432918331637323659667744270906743191658589010380548*y^25 - 756608806070916454286445265368705558213858631382483367730805755199671318430000243/3148524814438106834071691012216459165818661829833872135453371595829294505190274*y^24 - 17947956687372015727923914591077191643284417680282234251839983780347237770394024317/3148524814438106834071691012216459165818661829833872135453371595829294505190274*y^23 + 13437212222654105313030401113097888132455970944420554433841006664972408625304739704/1574262407219053417035845506108229582909330914916936067726685797914647252595137*y^22 + 102810961711377547670686668141847339881185563065518237003707950186925949796129459915/1574262407219053417035845506108229582909330914916936067726685797914647252595137*y^21 - 991765182095932358000637918213007368649708594075029446298605095603324196299870705983/6297049628876213668143382024432918331637323659667744270906743191658589010380548*y^20 - 1221555800805352820228668518679694675281636551358738835012555911102478929639923184263/3148524814438106834071691012216459165818661829833872135453371595829294505190274*y^19 + 7738198746268850211813790730572205841423550590693225171110376540168086249583536557375/6297049628876213668143382024432918331637323659667744270906743191658589010380548*y^18 + 11247984483153756240287028536899437661201017453495411423026639475246971936222616645305/6297049628876213668143382024432918331637323659667744270906743191658589010380548*y^17 - 25929861659202156735603416820249532917852031434415781172494058253844498606373692905037/6297049628876213668143382024432918331637323659667744270906743191658589010380548*y^16 - 43277694731933256897837775862288615444308653142462007524008181935369482253837705846707/6297049628876213668143382024432918331637323659667744270906743191658589010380548*y^15 + 21928934361296953285088821798698503748706385695445976243459517137463011072944320923263/6297049628876213668143382024432918331637323659667744270906743191658589010380548*y^14 + 78735475898131321789056327499586530894834513292882009836789872091539533078657372877211/6297049628876213668143382024432918331637323659667744270906743191658589010380548*y^13 + 20990535319467678804006820138157001434200131347439268816650969572745977186743759856249/3148524814438106834071691012216459165818661829833872135453371595829294505190274*y^12 - 5924637250899421961961607687078733674385910507682606497542026689649366621998473994749/1574262407219053417035845506108229582909330914916936067726685797914647252595137*y^11 - 8864853444740461420646868833942895776192349628372308813385025706997996050359118228872/1574262407219053417035845506108229582909330914916936067726685797914647252595137*y^10 - 8616763842890268575012506135984300742244436402375817167620779589790541508575355917331/6297049628876213668143382024432918331637323659667744270906743191658589010380548*y^9 + 1740935546516075939687733562284436251825711274461142545424391201093128891563948237255/1574262407219053417035845506108229582909330914916936067726685797914647252595137*y^8 + 1187960642734390920081738887429741555684932261482837240648486274885991980574740099243/1574262407219053417035845506108229582909330914916936067726685797914647252595137*y^7 + 214000232889652851687503254251283177834791603872205666875385084079974747522522064421/3148524814438106834071691012216459165818661829833872135453371595829294505190274*y^6 - 567999346323381520681449736169315498278307053402778103442047017862743929656533356527/6297049628876213668143382024432918331637323659667744270906743191658589010380548*y^5 - 216964078829794622713995552078939401912580362761668425346797063620989607922146463847/6297049628876213668143382024432918331637323659667744270906743191658589010380548*y^4 - 3705790083633836560942904849131786320984396245450128330378020041987918346467978219/6297049628876213668143382024432918331637323659667744270906743191658589010380548*y^3 + 12087350277345283976960918362568012737532529740889821350788041651113860605790643765/6297049628876213668143382024432918331637323659667744270906743191658589010380548*y^2 + 1054421541395341199000154594993742901447381222465902170457834492123226057474830081/3148524814438106834071691012216459165818661829833872135453371595829294505190274*y + 88268343780470458037576656071138190662887350715373835030309529408840104482320719/6297049628876213668143382024432918331637323659667744270906743191658589010380548

197065279619860089046037616128293916380048957813839811852094808966190151308386/648225697090198465838289326044565122374430376730503086710988269729560633421527*y^27 + 3928282020885024832440611529294091703796786505763070507043884727763917468142053/1296451394180396931676578652089130244748860753461006173421976539459121266843054*y^26 - 18182543070570486010352237733932309509879137015019297949488583896244961513315966/648225697090198465838289326044565122374430376730503086710988269729560633421527*y^25 + 19048625361706557822889109623858417043789563207275678478619020593191727871443700/648225697090198465838289326044565122374430376730503086710988269729560633421527*y^24 + 278824173619530564970841725660621570539128026790031268315619969932662288151432755/648225697090198465838289326044565122374430376730503086710988269729560633421527*y^23 - 537118467743812969735915136422483847411086749275776199398481652641486003537499246/648225697090198465838289326044565122374430376730503086710988269729560633421527*y^22 - 3073775958290382118719438121772809281464217161154734708504801496352460659813671685/648225697090198465838289326044565122374430376730503086710988269729560633421527*y^21 + 9109716506407555810932333107024871779605207722505029207359852514590075011108818046/648225697090198465838289326044565122374430376730503086710988269729560633421527*y^20 + 32042519487834631741650342701933691712215072417820570518967049788616180598716788413/1296451394180396931676578652089130244748860753461006173421976539459121266843054*y^19 - 68181534485078951985868539532973747004713172579797476668147690277509341100510196466/648225697090198465838289326044565122374430376730503086710988269729560633421527*y^18 - 63704602626681821382997478473233461951998652141237509166588226603019117406052568381/648225697090198465838289326044565122374430376730503086710988269729560633421527*y^17 + 234051173827607012731313497594182674434266450152323877175006625834802259729473923774/648225697090198465838289326044565122374430376730503086710988269729560633421527*y^16 + 513916852739885404843129221192110242426193701680614590006391260447865083295202325025/1296451394180396931676578652089130244748860753461006173421976539459121266843054*y^15 - 284316743912825529425428117999871634256376908827920315872812130170897171239757780143/648225697090198465838289326044565122374430376730503086710988269729560633421527*y^14 - 1063427140242350650992987711121068181423886860302248240670692057107177530859414123943/1296451394180396931676578652089130244748860753461006173421976539459121266843054*y^13 - 240679237002488460101570922208094726785518443407202927996176547837258146367456869405/1296451394180396931676578652089130244748860753461006173421976539459121266843054*y^12 + 527300851539256040943520309619816531091177102851101085558326252393852643945519917253/1296451394180396931676578652089130244748860753461006173421976539459121266843054*y^11 + 28448298207183148589794446644188400709923766328174762537378331339759404346695285624/92603671012885495119755618006366446053490053818643298101569752818508661917361*y^10 - 1574199115514553794835363608239712603273560466354413509835699334943355384662080667/92603671012885495119755618006366446053490053818643298101569752818508661917361*y^9 - 61233535561887296067278851594777039618238128729909327745877098227407713871126572350/648225697090198465838289326044565122374430376730503086710988269729560633421527*y^8 - 18791323134980498744798014439736137489080881650878592174157186340805630076974449017/648225697090198465838289326044565122374430376730503086710988269729560633421527*y^7 + 8224883275518302787705660803729783524698284253827814022595481272156956016922176119/1296451394180396931676578652089130244748860753461006173421976539459121266843054*y^6 + 7862428249601983335313248003659189052114802008840204840933057612456032576498073371/1296451394180396931676578652089130244748860753461006173421976539459121266843054*y^5 + 1136902277338819727685115501924747202400304699775849223016114825846836851088335961/1296451394180396931676578652089130244748860753461006173421976539459121266843054*y^4 - 186774378180417141576308011965758571064045235221481101933824852586536576403765098/648225697090198465838289326044565122374430376730503086710988269729560633421527*y^3 - 7384683964729888862539866656545425470416925567937805379473694827563970525768162/92603671012885495119755618006366446053490053818643298101569752818508661917361*y^2 - 3793294529501966713330842848911869604307441631294545092121811718996294309408011/648225697090198465838289326044565122374430376730503086710988269729560633421527*y + 1617016513594408714136410596916376424054861939059573482056403442470958164132733/1296451394180396931676578652089130244748860753461006173421976539459121266843054

114412026760662311327142907028445695086076731294414428494213418969561416162555/370414684051541980479022472025465784213960215274573192406279011274034647669444*y^27 + 1162533982587357559665540873444828636094932547514170984803965192586692269064475/370414684051541980479022472025465784213960215274573192406279011274034647669444*y^26 - 10337412693040168400798389368445764622139440833857502834098062960707051173084219/370414684051541980479022472025465784213960215274573192406279011274034647669444*y^25 + 4494152725885122123101454827090503120284564943020794706508559442427199364143095/185207342025770990239511236012732892106980107637286596203139505637017323834722*y^24 + 82109083385706190139412987313775631063703039411733928430532317419191845450539753/185207342025770990239511236012732892106980107637286596203139505637017323834722*y^23 - 70139034748604966816550974380213769920286196818672597806620833075755599604221663/92603671012885495119755618006366446053490053818643298101569752818508661917361*y^22 - 462068160347812902999212083973391634712640028528428714699738615607981058598194444/92603671012885495119755618006366446053490053818643298101569752818508661917361*y^21 + 4947241891977864456678528426187390965554341059794413084112251467928000012222841335/370414684051541980479022472025465784213960215274573192406279011274034647669444*y^20 + 2591143774990850274818403300620415015988842738984264197185651911471897787070311484/92603671012885495119755618006366446053490053818643298101569752818508661917361*y^19 - 37865552792502637834335938640650735776092249378148412575961795036147678614837325743/370414684051541980479022472025465784213960215274573192406279011274034647669444*y^18 - 44888490709415853814307385129943052273639631677731078296746414192359347483604280197/370414684051541980479022472025465784213960215274573192406279011274034647669444*y^17 + 129379126989137184862613103952764146140286287722926140457329359627796780700255136069/370414684051541980479022472025465784213960215274573192406279011274034647669444*y^16 + 176595199700974438203202856938411360093459377540898199142254475249405041758608095807/370414684051541980479022472025465784213960215274573192406279011274034647669444*y^15 - 138328392250103869283756683662755307205940140222217759209707334261967041114603102579/370414684051541980479022472025465784213960215274573192406279011274034647669444*y^14 - 344701786403557429267999293233795660019341231306532327934367567983644901602363072843/370414684051541980479022472025465784213960215274573192406279011274034647669444*y^13 - 64102000075763704339896026496973412149693962100141787626892178000588436019218699961/185207342025770990239511236012732892106980107637286596203139505637017323834722*y^12 + 73185241109962427221035749796524314004341813236868414292659106758725819810271251767/185207342025770990239511236012732892106980107637286596203139505637017323834722*y^11 + 74765469019941417481278276430674424336795329557063313377986171744821827223385520947/185207342025770990239511236012732892106980107637286596203139505637017323834722*y^10 + 14724114028778966808987100081883283012199797263759804529616326302528315815860494051/370414684051541980479022472025465784213960215274573192406279011274034647669444*y^9 - 9868094463762784069404205615513953411005627369214839699457742593006226641193376124/92603671012885495119755618006366446053490053818643298101569752818508661917361*y^8 - 9315671978818885948644590862906540685072601222259551360765132234995682876345165283/185207342025770990239511236012732892106980107637286596203139505637017323834722*y^7 + 155645940480276192634636117504112943867514808243170715522770517746584959375608268/92603671012885495119755618006366446053490053818643298101569752818508661917361*y^6 + 3011813456025013787537889256012494509022426626738194683662994888111484015674110659/370414684051541980479022472025465784213960215274573192406279011274034647669444*y^5 + 801572363399554355295342674988335387027185191076126507565309429537416736214905487/370414684051541980479022472025465784213960215274573192406279011274034647669444*y^4 - 63664636188299229448763942537869777537886200134105685465741513797920492298616937/370414684051541980479022472025465784213960215274573192406279011274034647669444*y^3 - 56955567055406490120434790016361207852309771928083890887496086779036375258634581/370414684051541980479022472025465784213960215274573192406279011274034647669444*y^2 - 4000973147734416704274824721912602818686119730900933560082819576751044959188891/185207342025770990239511236012732892106980107637286596203139505637017323834722*y - 239662759344539475727800303743623876536576802920729277593655269197977643230329/370414684051541980479022472025465784213960215274573192406279011274034647669444

114412026760662311327142907028445695086076731294414428494213418969561416162555/370414684051541980479022472025465784213960215274573192406279011274034647669444*y^27 + 1162533982587357559665540873444828636094932547514170984803965192586692269064475/370414684051541980479022472025465784213960215274573192406279011274034647669444*y^26 - 10337412693040168400798389368445764622139440833857502834098062960707051173084219/370414684051541980479022472025465784213960215274573192406279011274034647669444*y^25 + 4494152725885122123101454827090503120284564943020794706508559442427199364143095/185207342025770990239511236012732892106980107637286596203139505637017323834722*y^24 + 82109083385706190139412987313775631063703039411733928430532317419191845450539753/185207342025770990239511236012732892106980107637286596203139505637017323834722*y^23 - 70139034748604966816550974380213769920286196818672597806620833075755599604221663/92603671012885495119755618006366446053490053818643298101569752818508661917361*y^22 - 462068160347812902999212083973391634712640028528428714699738615607981058598194444/92603671012885495119755618006366446053490053818643298101569752818508661917361*y^21 + 4947241891977864456678528426187390965554341059794413084112251467928000012222841335/370414684051541980479022472025465784213960215274573192406279011274034647669444*y^20 + 2591143774990850274818403300620415015988842738984264197185651911471897787070311484/92603671012885495119755618006366446053490053818643298101569752818508661917361*y^19 - 37865552792502637834335938640650735776092249378148412575961795036147678614837325743/370414684051541980479022472025465784213960215274573192406279011274034647669444*y^18 - 44888490709415853814307385129943052273639631677731078296746414192359347483604280197/370414684051541980479022472025465784213960215274573192406279011274034647669444*y^17 + 129379126989137184862613103952764146140286287722926140457329359627796780700255136069/370414684051541980479022472025465784213960215274573192406279011274034647669444*y^16 + 176595199700974438203202856938411360093459377540898199142254475249405041758608095807/370414684051541980479022472025465784213960215274573192406279011274034647669444*y^15 - 138328392250103869283756683662755307205940140222217759209707334261967041114603102579/370414684051541980479022472025465784213960215274573192406279011274034647669444*y^14 - 344701786403557429267999293233795660019341231306532327934367567983644901602363072843/370414684051541980479022472025465784213960215274573192406279011274034647669444*y^13 - 64102000075763704339896026496973412149693962100141787626892178000588436019218699961/185207342025770990239511236012732892106980107637286596203139505637017323834722*y^12 + 73185241109962427221035749796524314004341813236868414292659106758725819810271251767/185207342025770990239511236012732892106980107637286596203139505637017323834722*y^11 + 74765469019941417481278276430674424336795329557063313377986171744821827223385520947/185207342025770990239511236012732892106980107637286596203139505637017323834722*y^10 + 14724114028778966808987100081883283012199797263759804529616326302528315815860494051/370414684051541980479022472025465784213960215274573192406279011274034647669444*y^9 - 9868094463762784069404205615513953411005627369214839699457742593006226641193376124/92603671012885495119755618006366446053490053818643298101569752818508661917361*y^8 - 9315671978818885948644590862906540685072601222259551360765132234995682876345165283/185207342025770990239511236012732892106980107637286596203139505637017323834722*y^7 + 155645940480276192634636117504112943867514808243170715522770517746584959375608268/92603671012885495119755618006366446053490053818643298101569752818508661917361*y^6 + 3011813456025013787537889256012494509022426626738194683662994888111484015674110659/370414684051541980479022472025465784213960215274573192406279011274034647669444*y^5 + 801572363399554355295342674988335387027185191076126507565309429537416736214905487/370414684051541980479022472025465784213960215274573192406279011274034647669444*y^4 - 63664636188299229448763942537869777537886200134105685465741513797920492298616937/370414684051541980479022472025465784213960215274573192406279011274034647669444*y^3 - 56955567055406490120434790016361207852309771928083890887496086779036375258634581/370414684051541980479022472025465784213960215274573192406279011274034647669444*y^2 - 4000973147734416704274824721912602818686119730900933560082819576751044959188891/185207342025770990239511236012732892106980107637286596203139505637017323834722*y + 130751924707002504751222168281841907677383412353843914812623742076057004439115/370414684051541980479022472025465784213960215274573192406279011274034647669444


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

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

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

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

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

# 1 Loop Invariant
526480556995869036329889989228869196379957958613126905191970866169619302994437/370414684051541980479022472025465784213960215274573192406279011274034647669444*y^27 + 7279036538824722196568744483398607640638502099825636195541271411320645205622749/370414684051541980479022472025465784213960215274573192406279011274034647669444*y^26 - 27423390078789137104177837952311536515886977633701880912278399110244677959624959/370414684051541980479022472025465784213960215274573192406279011274034647669444*y^25 - 63403708479352697739999930922542329150952893516863773797389598920027646453304229/185207342025770990239511236012732892106980107637286596203139505637017323834722*y^24 + 432705771343470202531445726641045823027711454103850650700287188836578287987427729/185207342025770990239511236012732892106980107637286596203139505637017323834722*y^23 + 364971354274486239729434665720666449164398309511467882727279280486422420151978669/92603671012885495119755618006366446053490053818643298101569752818508661917361*y^22 - 3101976051893266099514659951394868648843585831294206237778723373148158550453121264/92603671012885495119755618006366446053490053818643298101569752818508661917361*y^21 - 8772627311649027367504669770349767140139801974017208420691450421591722361924984001/370414684051541980479022472025465784213960215274573192406279011274034647669444*y^20 + 60397716308696799425263596736423099547780874695218205095592769874269413476881874797/185207342025770990239511236012732892106980107637286596203139505637017323834722*y^19 + 13189821586055413156609332099338713191206300985908388709294793594871177845989248607/370414684051541980479022472025465784213960215274573192406279011274034647669444*y^18 - 767860341768847685670584710494849475236508001108208959622484609048216292959837466373/370414684051541980479022472025465784213960215274573192406279011274034647669444*y^17 - 281475954533736457236454760154393486766337670618263455146965843122362997720891476781/370414684051541980479022472025465784213960215274573192406279011274034647669444*y^16 + 2570748996789311328492604241027751665965957472344263717061708981946800252519012027367/370414684051541980479022472025465784213960215274573192406279011274034647669444*y^15 + 2697364191905598186388086097946211002336278916255699574070227165499348843302247047425/370414684051541980479022472025465784213960215274573192406279011274034647669444*y^14 - 2407244147248912017696140286279528361357724779009819108714848315007487486606418835857/370414684051541980479022472025465784213960215274573192406279011274034647669444*y^13 - 3031808690595625069781534698303494272436537680786979582370616138923153901789178853783/185207342025770990239511236012732892106980107637286596203139505637017323834722*y^12 - 1817792347177023360833227182533322844308725089893843763944850468445242323275542643425/185207342025770990239511236012732892106980107637286596203139505637017323834722*y^11 + 204448067556437520243518121636867799800077710113666831617465392557617678703418203556/92603671012885495119755618006366446053490053818643298101569752818508661917361*y^10 + 2209272810639906269111591905028893024187432451255856980425692084095192926201819428603/370414684051541980479022472025465784213960215274573192406279011274034647669444*y^9 + 490218590896113976392188075831851194409074589626196758544965345632547957190431761563/185207342025770990239511236012732892106980107637286596203139505637017323834722*y^8 - 24816444481574634390539209755195862833732471596552483300934717351915089227947405684/92603671012885495119755618006366446053490053818643298101569752818508661917361*y^7 - 64394639461787277399975448545262865171399165695543960232894146803126162539952358134/92603671012885495119755618006366446053490053818643298101569752818508661917361*y^6 - 82674112431878083200284736304615605871319505917892100394990810752421910551929334023/370414684051541980479022472025465784213960215274573192406279011274034647669444*y^5 + 5769871677737674691508783057746224051705355378886616634540991334926851745778496153/370414684051541980479022472025465784213960215274573192406279011274034647669444*y^4 + 9887583571972102264430170806408676811009991970927382335940207477924895875488241301/370414684051541980479022472025465784213960215274573192406279011274034647669444*y^3 + 1786095388418814417384370042919122043167458676929988558219680036723562148572950089/370414684051541980479022472025465784213960215274573192406279011274034647669444*y^2 - 66961594261194587872013102911239422664042478297522260475820127025658520056378171/92603671012885495119755618006366446053490053818643298101569752818508661917361*y - 95391093555371397399025641506348462085475865483457637179933877955920959328237741/370414684051541980479022472025465784213960215274573192406279011274034647669444

# 2 Loop Invariant
243338589789792251786424904654557237544003044389718149467935241677653195859776415248860235229526432626333434668281510879749750777542599496106142150969893154781073888300946667141/5030959737571303696508531827950659526256434620147127852638011446586558310747308852145145246038732994592261030087897572995614609518020080716619558828913227656434959966391923325504*y^27 + 7125971048016667502899739566252269519501948151020858911359146975257734110262245345883023275880543313986058150788585443746232286918156541515104770904807167056019545913325137855259/15092879212713911089525595483851978578769303860441383557914034339759674932241926556435435738116198983776783090263692718986843828554060242149858676486739682969304879899175769976512*y^26 - 68827437721942586305857229951656621649123632452668438189913019764607240583687192489246327386523773649717769707672126325290682692484381297310938804187730136598902851538271328831619/15092879212713911089525595483851978578769303860441383557914034339759674932241926556435435738116198983776783090263692718986843828554060242149858676486739682969304879899175769976512*y^25 + 42325891554030558863697698135341402371235567752959873565818591462901570807670655203823315638059035736138729983557057993120793105260955481661362683984939457623788681241413924477237/7546439606356955544762797741925989289384651930220691778957017169879837466120963278217717869058099491888391545131846359493421914277030121074929338243369841484652439949587884988256*y^24 + 508066703375635977065206624161208220152157291610782473227568873861559794821735398683036599236084855915754714792720552355557221347703414456791960516420138923645493320910156991116243/7546439606356955544762797741925989289384651930220691778957017169879837466120963278217717869058099491888391545131846359493421914277030121074929338243369841484652439949587884988256*y^23 - 137472353980836262266581238825555185679153019658604008841977675756574146988464121479328656390009362524782074893248597890465993995141558611007584111140545251261209659512056214210575/943304950794619443095349717740748661173081491277586472369627146234979683265120409777214733632262436486048943141480794936677739284628765134366167280421230185581554993698485623532*y^22 - 911979513783136398039306265925095252962953875096500597090964302450193491349677636517928820046753478405632290252880359370068039334644617509204301923589882612016189966446415808806957/1257739934392825924127132956987664881564108655036781963159502861646639577686827213036286311509683248648065257521974393248903652379505020179154889707228306914108739991597980831376*y^21 + 12006655643063877262790119767583836367240243440025291667643983513499256899927221186203494160425059191976388853049410732138552440318490251072185722484246812291536116511880160413532221/5030959737571303696508531827950659526256434620147127852638011446586558310747308852145145246038732994592261030087897572995614609518020080716619558828913227656434959966391923325504*y^20 + 3252698545575772532798386870600095618108777370916198133041179787350975576856017792875845146982786903959724663985792314199218844879849377948761673109523280500439524166504531203190681/943304950794619443095349717740748661173081491277586472369627146234979683265120409777214733632262436486048943141480794936677739284628765134366167280421230185581554993698485623532*y^19 - 263649861101317935335311033560982181580091360715508204912350379723978263098848025656121572973088061968305274772109444874770691238434370468055851480586399042041229009915726386340443947/15092879212713911089525595483851978578769303860441383557914034339759674932241926556435435738116198983776783090263692718986843828554060242149858676486739682969304879899175769976512*y^18 - 60738162633850652773103927929118005248063244657079197407111854344239617943994306938566892412508156743727542392835762697218924552082641217420180692870908718363661953715829449915355703/5030959737571303696508531827950659526256434620147127852638011446586558310747308852145145246038732994592261030087897572995614609518020080716619558828913227656434959966391923325504*y^17 + 907286668947169087028817875513469833256278244123945707216917252121994547033612471773254752898841568842316952669571004715150422718767240117050073501629276899014575287671618124762589545/15092879212713911089525595483851978578769303860441383557914034339759674932241926556435435738116198983776783090263692718986843828554060242149858676486739682969304879899175769976512*y^16 + 766518638386626947580688174544135935919143112618899922632550219289464257607348673858608225515855425418439569945226743677140414539174974245344537124334799929785236153185621438496005331/15092879212713911089525595483851978578769303860441383557914034339759674932241926556435435738116198983776783090263692718986843828554060242149858676486739682969304879899175769976512*y^15 - 407155356054659187881264268883552012707107366516617183062579682121782140106980818151164491033076083715780086223912345940170631093116215187826353477263531499097796219017127039521013429/5030959737571303696508531827950659526256434620147127852638011446586558310747308852145145246038732994592261030087897572995614609518020080716619558828913227656434959966391923325504*y^14 - 574723921550514797149806203778914718140813472708706986728415039234789376745428536162676505347736487217215927645392673720131454345799552267866327896051685815224545292603329792115070885/5030959737571303696508531827950659526256434620147127852638011446586558310747308852145145246038732994592261030087897572995614609518020080716619558828913227656434959966391923325504*y^13 - 35716712958962826225378569123139935651989362115567830012530781426105799336202016546025558218928614529640603546524629266962950340891228779406300405260274337293799529730262732994772795/7546439606356955544762797741925989289384651930220691778957017169879837466120963278217717869058099491888391545131846359493421914277030121074929338243369841484652439949587884988256*y^12 + 505225492088542338520118202336682173211141942512122516986845295996313847015749075668779506424485901735595415936808360554711507389565738526579448414923611213485041459686047346977312723/7546439606356955544762797741925989289384651930220691778957017169879837466120963278217717869058099491888391545131846359493421914277030121074929338243369841484652439949587884988256*y^11 + 259253512445458979208940541448972387081712025349801054323322313777572947098556459576889527232507757609656876818059660336175294176724538980732165764371350759879366715436309041503501033/7546439606356955544762797741925989289384651930220691778957017169879837466120963278217717869058099491888391545131846359493421914277030121074929338243369841484652439949587884988256*y^10 - 171759895049847410945733049512316569698393883670065663145025622446501809434971458272465267048102849036358009701516208079904718495267866307652330337109385479146007539195017766022176641/15092879212713911089525595483851978578769303860441383557914034339759674932241926556435435738116198983776783090263692718986843828554060242149858676486739682969304879899175769976512*y^9 - 49946307531070962417080083657067272176064831082404754956676792515672229426325504517439594918102415046719925965514985056547448377166195026465881297271749417070520879251870187108576559/3773219803178477772381398870962994644692325965110345889478508584939918733060481639108858934529049745944195772565923179746710957138515060537464669121684920742326219974793942494128*y^8 - 10806703243220801454592983479322655448448490499175427373526899931631009718156755112849502553878455055986320914436233184696367220422549490025850603717979273253719443854501469241081551/7546439606356955544762797741925989289384651930220691778957017169879837466120963278217717869058099491888391545131846359493421914277030121074929338243369841484652439949587884988256*y^7 + 6469806070353100464519042278676535473978356708504994252164385580056571735544676321493920345297692042261101600112431556225799017636423678299280410183336585657839646441931008244357911/3773219803178477772381398870962994644692325965110345889478508584939918733060481639108858934529049745944195772565923179746710957138515060537464669121684920742326219974793942494128*y^6 + 9980842944191768418341256706931091993497779325470338596674863631497640892146709372106127492734575916279019967706169902649847355988239469870753666280222523501474422971499645099266903/15092879212713911089525595483851978578769303860441383557914034339759674932241926556435435738116198983776783090263692718986843828554060242149858676486739682969304879899175769976512*y^5 - 280085076986288294102362517816915890714560688414190388583038865553285377455445364743937419707248537358271884046321197443204959564290405929879595887060548243739495685568688027715171/5030959737571303696508531827950659526256434620147127852638011446586558310747308852145145246038732994592261030087897572995614609518020080716619558828913227656434959966391923325504*y^4 - 309597326622573586985314532761669861458722189185996834791446217595096201646725632140667651442684130080828343855533772377992316910786527691131873589939030147362212753040959871439443/5030959737571303696508531827950659526256434620147127852638011446586558310747308852145145246038732994592261030087897572995614609518020080716619558828913227656434959966391923325504*y^3 - 9239250667733504345792424735346917234045274913201141686489995639753226475482596118267479715403519110074712239883047533727468984986431747635927491008934278977520115551086831410043/5030959737571303696508531827950659526256434620147127852638011446586558310747308852145145246038732994592261030087897572995614609518020080716619558828913227656434959966391923325504*y^2 + 9648538520541827425645559371719448951817746193091218133104965006274821722631719961242235935135487077913752144345661942439063801303989646703640630189435160717690599403720638153267/7546439606356955544762797741925989289384651930220691778957017169879837466120963278217717869058099491888391545131846359493421914277030121074929338243369841484652439949587884988256*y + 5165402342204961812609004758829225350606974555901111712349996022474232249743043587169152708430133136573473905108032547677653968708714770902020359096120670955859399500908522091631/15092879212713911089525595483851978578769303860441383557914034339759674932241926556435435738116198983776783090263692718986843828554060242149858676486739682969304879899175769976512

# 3 Loop Invariant
-27522170334824014055331284138879803155007346044787543008234365394302581950807489291576746317703038186939847481297236626980434166036977957186637876776976129879298886864146920481842782703822747365157746542528214432925550161980045/586316566169162134462285271377763152847473917659864222969427034936253500114141496595274120583318304042396381193206658675417523014229049416511216899449255248960316112781437093845071997776372495984712737876948629303192050067709184*y^27 - 267050645538235210326440497460273943389225117540400172239827449614736916363795195958154982331841712990061092912056757685852026568738174263762502642409741615522495674571054144980474924149472730331614680481378432026502719055610491/586316566169162134462285271377763152847473917659864222969427034936253500114141496595274120583318304042396381193206658675417523014229049416511216899449255248960316112781437093845071997776372495984712737876948629303192050067709184*y^26 + 2611120755594750649089524857904442783262460000294366796090471592216487006075375111007954299982736834574237595866743743113732836889773868140555763584668491438379092160040407052703572506362501416069296216276050346202851222816569901/586316566169162134462285271377763152847473917659864222969427034936253500114141496595274120583318304042396381193206658675417523014229049416511216899449255248960316112781437093845071997776372495984712737876948629303192050067709184*y^25 - 834192964399430485742230004654782858926296231559527106421873078030817162032990694044011883519990821661010164246009363767433007746414422797626946832496742081779487209657038560570915654333774424005053319790526526967115340946313449/146579141542290533615571317844440788211868479414966055742356758734063375028535374148818530145829576010599095298301664668854380753557262354127804224862313812240079028195359273461267999444093123996178184469237157325798012516927296*y^24 - 596589980645061344818236314875183976968502339628230601179622193597896791241557749761371304093401208055251667774468176198393946729492287472070625336320769605409853232306962294032569245738335813023776939823701180559361465172374555/9161196346393158350973207365277549263241779963435378483897297420878960939283460884301158134114348500662443456143854041803398797097328897132987764053894613265004939262209954591329249965255820249761136529327322332862375782307956*y^23 + 42618852892954357517406548102961285606273543098930128575376723906372217856764586353049115960146985949128607099928626715187906919946010551819208039960895543789222500096384393374486174855409031467355540022711349105356066538909271461/293158283084581067231142635688881576423736958829932111484713517468126750057070748297637060291659152021198190596603329337708761507114524708255608449724627624480158056390718546922535998888186247992356368938474314651596025033854592*y^22 + 204298270886034768250327705918881983913759506065593629586086907283438175065918412247844888353130257219979321816693145342005517755215830586557822460816983092643261299885794131323314076290393195428617823750016147450441861618745346241/293158283084581067231142635688881576423736958829932111484713517468126750057070748297637060291659152021198190596603329337708761507114524708255608449724627624480158056390718546922535998888186247992356368938474314651596025033854592*y^21 - 1383997324184791744575273898835085859261735859861493833105044057618831584553565167436495101607512725458815622365307980576876947469329517384159837986243084958446235713523705478068926557963185005330382469664261054326027546861034927503/586316566169162134462285271377763152847473917659864222969427034936253500114141496595274120583318304042396381193206658675417523014229049416511216899449255248960316112781437093845071997776372495984712737876948629303192050067709184*y^20 - 118238915544053435690855406305524934854951189418500948496007179623380962165895527779654058838821906652932857238183060851643599647303835858865807491189433890721389469142006759137479096193120227532992448977810344884037500999644870145/36644785385572633403892829461110197052967119853741513935589189683515843757133843537204632536457394002649773824575416167213595188389315588531951056215578453060019757048839818365316999861023280999044546117309289331449503129231824*y^19 + 10085687267204191456508115953577684693610843859010282421132626251899881534317995110417960478177807470205408885605203047553432451259374092828200203153758869742316763038180047975290318019002065759282830538796908568882896303582428867913/586316566169162134462285271377763152847473917659864222969427034936253500114141496595274120583318304042396381193206658675417523014229049416511216899449255248960316112781437093845071997776372495984712737876948629303192050067709184*y^18 + 6329347174753695766224449462182900493812762318634781116765886870067874352158466547577060774291000233827143404991487620406482245765005741199386113907853926433277917057580597335748721134545675977658691839689105544921974020130747664033/586316566169162134462285271377763152847473917659864222969427034936253500114141496595274120583318304042396381193206658675417523014229049416511216899449255248960316112781437093845071997776372495984712737876948629303192050067709184*y^17 - 34832276586755531446643431348737846747066798672732556840851076266469348612128355547151528458296857399248729276020890634944827255493855237020226571676400784870892229610441074536918624315817458908403604126275331688791193918592954933407/586316566169162134462285271377763152847473917659864222969427034936253500114141496595274120583318304042396381193206658675417523014229049416511216899449255248960316112781437093845071997776372495984712737876948629303192050067709184*y^16 - 27025094501474490157046241558010411220476230104598095460138778148332330471886275857482746842465408436412746990142721859810475870405442030907093903673358641065129642920548741432813513188813999675618736538955363455936342596209752840767/586316566169162134462285271377763152847473917659864222969427034936253500114141496595274120583318304042396381193206658675417523014229049416511216899449255248960316112781437093845071997776372495984712737876948629303192050067709184*y^15 + 48508879551356526033739801050221083513715802748222682730031236739383932138597197999103809512510927440551687151046697159251765685876481792624109552845471782716444009202976841775157682110789086680855003880689940576020637691645430069069/586316566169162134462285271377763152847473917659864222969427034936253500114141496595274120583318304042396381193206658675417523014229049416511216899449255248960316112781437093845071997776372495984712737876948629303192050067709184*y^14 + 62854738522742235742933562201021779249051831821686973903154522705557400477474182419395600051692787600510714135914779687824741740151316736846379627053348126273184558393012401762849645440649742921095408649782156605952293223127504970587/586316566169162134462285271377763152847473917659864222969427034936253500114141496595274120583318304042396381193206658675417523014229049416511216899449255248960316112781437093845071997776372495984712737876948629303192050067709184*y^13 - 1089299952228687895025567764076498688371115614714493795181458992984170067459662607750712656552793329009640420995528190195691679783780708545043050987147857297375936021589752323166076976191336357527964456129969083756863069399341694859/293158283084581067231142635688881576423736958829932111484713517468126750057070748297637060291659152021198190596603329337708761507114524708255608449724627624480158056390718546922535998888186247992356368938474314651596025033854592*y^12 - 19777376837014657455994469140863217673788081322463628188088373283965468406645046433244106761524397802603625330256208066125475554969486334436535864561949239167086478945315654925129701604781584243759095707764377461012943691385439796147/293158283084581067231142635688881576423736958829932111484713517468126750057070748297637060291659152021198190596603329337708761507114524708255608449724627624480158056390718546922535998888186247992356368938474314651596025033854592*y^11 - 8623386347366817397892831399438944236764308634081946175249186347408699443238246393495061446074237464143368834181274801756851231536770907266338260631356155290346756436244752803498793758148010196473746924374063849159021346842441127663/293158283084581067231142635688881576423736958829932111484713517468126750057070748297637060291659152021198190596603329337708761507114524708255608449724627624480158056390718546922535998888186247992356368938474314651596025033854592*y^10 + 8446045068728450270871797365320696822168342835095616782672621343450633953242154383884177661934350292378055798895473243553045045242420044894329282657096009098144007998697259123274895612314605836954273514359291464367752220349091427667/586316566169162134462285271377763152847473917659864222969427034936253500114141496595274120583318304042396381193206658675417523014229049416511216899449255248960316112781437093845071997776372495984712737876948629303192050067709184*y^9 + 3760824036564114112125353147844593250558669974099831082631299531883107061512212956506820959334729651880454767640484451244201625281198170358828022737069771507655587158134788080824352311049770235891421209752368930182772684075772783535/293158283084581067231142635688881576423736958829932111484713517468126750057070748297637060291659152021198190596603329337708761507114524708255608449724627624480158056390718546922535998888186247992356368938474314651596025033854592*y^8 + 27574203411305205113044267914956451712992146618375472019349848504815474338683107174129047839667359896437435081594004012790735290386689530722184171345366994597855435011425978017755326737530897967324643266418542589480483752837750553/73289570771145266807785658922220394105934239707483027871178379367031687514267687074409265072914788005299547649150832334427190376778631177063902112431156906120039514097679636730633999722046561998089092234618578662899006258463648*y^7 - 585924753260493529860772830327323528298622907497529920393765156503970395405176436721262243624057161429303999240469165024873204313585695265853758529479899494943337259016563437007250278738251472859419990786444298526137880126273303333/293158283084581067231142635688881576423736958829932111484713517468126750057070748297637060291659152021198190596603329337708761507114524708255608449724627624480158056390718546922535998888186247992356368938474314651596025033854592*y^6 - 335980113538914921583012092283816608708304382998161985955190104715212698733223810251908760417524417725620306820055448032540530267353501700876960902163816802477894998190414319155486775798453785229255434148293671027948638776103076027/586316566169162134462285271377763152847473917659864222969427034936253500114141496595274120583318304042396381193206658675417523014229049416511216899449255248960316112781437093845071997776372495984712737876948629303192050067709184*y^5 + 69996606023426186306481948234859161033419207648203960489075778622738064267700984284140108270542952492153434956758836160440128507195894068083993217392438870450369418068875298609330900827569566159248893794276645396524574548297424131/586316566169162134462285271377763152847473917659864222969427034936253500114141496595274120583318304042396381193206658675417523014229049416511216899449255248960316112781437093845071997776372495984712737876948629303192050067709184*y^4 + 40735715970414392749002282315498377420243660634993926750510174268489857448875046401923639251361432882526273417301413337905294328634594580261532441110448626442164984362561904896615353039370462638085081552110145888306519064241155989/586316566169162134462285271377763152847473917659864222969427034936253500114141496595274120583318304042396381193206658675417523014229049416511216899449255248960316112781437093845071997776372495984712737876948629303192050067709184*y^3 - 894017924547621934949217287018305719639759663649186229600985143309840985028819782277209111096540672755890078823950550774024857215694426817440311644882635326598051758182833470628637611410326183588218840811282735352653438096800193/586316566169162134462285271377763152847473917659864222969427034936253500114141496595274120583318304042396381193206658675417523014229049416511216899449255248960316112781437093845071997776372495984712737876948629303192050067709184*y^2 - 312169303325288930733800118885036811915233997739006057776513476509306225104727843716628620042772424783324939124142325367038294611636224305334869528642525491767489487778260036205636343775758723936153492983014670420617258919715471/146579141542290533615571317844440788211868479414966055742356758734063375028535374148818530145829576010599095298301664668854380753557262354127804224862313812240079028195359273461267999444093123996178184469237157325798012516927296*y - 73666312584219753191095749671615077822878925678283528057473781524157419288236353083238732607177194355627575420685728910293926495058905283236864173320535436364747906715214553431556465645886707119606988711130903456828759545881799/586316566169162134462285271377763152847473917659864222969427034936253500114141496595274120583318304042396381193206658675417523014229049416511216899449255248960316112781437093845071997776372495984712737876948629303192050067709184