# Manifold: Census Knot K7_7

# Number of Tetrahedra: 7

# Number Field
x^32 + 5*x^31 - 67*x^30 - 232*x^29 + 1469*x^28 + 3120*x^27 - 15750*x^26 - 24145*x^25 + 97451*x^24 + 121965*x^23 - 384499*x^22 - 408949*x^21 + 1027457*x^20 + 917795*x^19 - 1918184*x^18 - 1389412*x^17 + 2528610*x^16 + 1416230*x^15 - 2341087*x^14 - 955090*x^13 + 1493012*x^12 + 409893*x^11 - 633909*x^10 - 104342*x^9 + 169958*x^8 + 13963*x^7 - 26550*x^6 - 832*x^5 + 2145*x^4 + 32*x^3 - 76*x^2 - 2*x + 1 

# Approximate Field Generator
-0.170025470448761 + 0.0679931876224588*I

# Shape Parameters
-32518565303025014920965118644571278087740834343651883808604241291925/14843884230255944613236256838684992769242386230990518600189313473341*y^31 - 184178106789543363812155879039051303371946156562554106547023922994355/14843884230255944613236256838684992769242386230990518600189313473341*y^30 + 2054208221977285831239478411547298987745710970234001219122260055364058/14843884230255944613236256838684992769242386230990518600189313473341*y^29 + 8897457420611192504648387174579512977360631482188681780465721545368594/14843884230255944613236256838684992769242386230990518600189313473341*y^28 - 41706615890972610613004544293474796879652789452492080680299792462364452/14843884230255944613236256838684992769242386230990518600189313473341*y^27 - 128683174454292946262801909610943225542705160651444231997042035472060622/14843884230255944613236256838684992769242386230990518600189313473341*y^26 + 423215642740599430941100204721317225927014568079350403695794689448447068/14843884230255944613236256838684992769242386230990518600189313473341*y^25 + 1060562597654390633705624142086550605366283015745042989219621448199317046/14843884230255944613236256838684992769242386230990518600189313473341*y^24 - 2427096012754130470477919407076395277313280518812441542144691948230228239/14843884230255944613236256838684992769242386230990518600189313473341*y^23 - 5539096301907331135836640675485522715591140705180512362188100837646915067/14843884230255944613236256838684992769242386230990518600189313473341*y^22 + 8592785634023526770248619294418608468745082178980268162690470204852641991/14843884230255944613236256838684992769242386230990518600189313473341*y^21 + 18827632119164540238687363561474429247103197318116860198596846862498425886/14843884230255944613236256838684992769242386230990518600189313473341*y^20 - 19993794260285885617815054598892592329847566847136606017339840025941885668/14843884230255944613236256838684992769242386230990518600189313473341*y^19 - 42587454460612803097967930748013329298452848025143376060566087976277394955/14843884230255944613236256838684992769242386230990518600189313473341*y^18 + 31669988281791952188430005110741267717116043984134557816995232693305760349/14843884230255944613236256838684992769242386230990518600189313473341*y^17 + 65164092734205672748294941927628856730625211667911364777571367124717442560/14843884230255944613236256838684992769242386230990518600189313473341*y^16 - 34522617336397311083785001976314081560439179352929244695939533854671001015/14843884230255944613236256838684992769242386230990518600189313473341*y^15 - 67683830373095691766985785540450860137173283073041774454616500884648733616/14843884230255944613236256838684992769242386230990518600189313473341*y^14 + 25588764394611213432103745243880727776741048290436063447455247955017857282/14843884230255944613236256838684992769242386230990518600189313473341*y^13 + 47111345430653713787517197857503893975441360281210796548146020426906543137/14843884230255944613236256838684992769242386230990518600189313473341*y^12 - 12450509736945878028136179368729446031337421572431526168809922730034090271/14843884230255944613236256838684992769242386230990518600189313473341*y^11 - 21289253410323812932361720138081796279357175074575820510582735856748490579/14843884230255944613236256838684992769242386230990518600189313473341*y^10 + 3733938208335115783220092414345375522289662523862350918488241548415111490/14843884230255944613236256838684992769242386230990518600189313473341*y^9 + 5915991029447363709548734002996871944532465574111563203955664374501383216/14843884230255944613236256838684992769242386230990518600189313473341*y^8 - 615313834632047572018956265938744212011548555571326016345934082845952392/14843884230255944613236256838684992769242386230990518600189313473341*y^7 - 929397105900128020013082473267759101079665273794037447885367281671519192/14843884230255944613236256838684992769242386230990518600189313473341*y^6 + 1115391034140227230073332174842545889899261620536296990825933662624701/401186060277187692249628563207702507276821249486230232437549012793*y^5 + 72382084785244603835112300141195674988048840874245530447319016364357849/14843884230255944613236256838684992769242386230990518600189313473341*y^4 + 280426725889477698218151853901569175177768275483252364574788096046260/14843884230255944613236256838684992769242386230990518600189313473341*y^3 - 2266354838998288378002384696478046277494701817362716332986322451086671/14843884230255944613236256838684992769242386230990518600189313473341*y^2 - 52622593603777791880545319735719383796357425534285805458989993961946/14843884230255944613236256838684992769242386230990518600189313473341*y + 34774820917384745597181424515964938135541385685498084857626549529496/14843884230255944613236256838684992769242386230990518600189313473341

129204809096751582896992748845249071963451008347942463551645448824024/74219421151279723066181284193424963846211931154952593000946567366705*y^31 + 720828570866764139237266887224579035492816393362399788856274439370267/74219421151279723066181284193424963846211931154952593000946567366705*y^30 - 8227089830840767638787511274550811565261114112465654262743779987888127/74219421151279723066181284193424963846211931154952593000946567366705*y^29 - 34673298080970427999504865356443427936807293829388671215416461549787774/74219421151279723066181284193424963846211931154952593000946567366705*y^28 + 168926033520323341852325115749987291402544050499188661803046486091976034/74219421151279723066181284193424963846211931154952593000946567366705*y^27 + 497826491682368902181304123828248132519181168224516658877372051044484987/74219421151279723066181284193424963846211931154952593000946567366705*y^26 - 1729800236362460329557754036874138513601926701645285923543835428586428429/74219421151279723066181284193424963846211931154952593000946567366705*y^25 - 4078007201219820475400706235040508799306944943990079818206380764160351002/74219421151279723066181284193424963846211931154952593000946567366705*y^24 + 10052930965778913856891988370712869373338475889852295502528072607534728683/74219421151279723066181284193424963846211931154952593000946567366705*y^23 + 21234445668590460189529791301137341606214613682121877520234541916853577119/74219421151279723066181284193424963846211931154952593000946567366705*y^22 - 36325741514866619557164772855295480054929445986533932502815935367184153674/74219421151279723066181284193424963846211931154952593000946567366705*y^21 - 72105905522557863127674268329255257704584206308410914903036325993026315573/74219421151279723066181284193424963846211931154952593000946567366705*y^20 + 87015958001231302183155026004175005520364317617944559506604751198495824269/74219421151279723066181284193424963846211931154952593000946567366705*y^19 + 163045637556876403533044716943107585820492546467400829966803893506609629092/74219421151279723066181284193424963846211931154952593000946567366705*y^18 - 28671895326154889050256671038869051550101556419038510733984986321535483832/14843884230255944613236256838684992769242386230990518600189313473341*y^17 - 249325556960973605005021164375256954435970388156206645994046716129507755683/74219421151279723066181284193424963846211931154952593000946567366705*y^16 + 164670291241182458982950166409021801952481805338716441458477582157307117396/74219421151279723066181284193424963846211931154952593000946567366705*y^15 + 258573794276857681159677618995138863042020434957356440270944264776990592738/74219421151279723066181284193424963846211931154952593000946567366705*y^14 - 130988535759491520563807206767778708866761332165808050544349006086343812094/74219421151279723066181284193424963846211931154952593000946567366705*y^13 - 179459013907239228066461439161976821278003720299335161495195518968387083107/74219421151279723066181284193424963846211931154952593000946567366705*y^12 + 70330593723915683521284194370291780125594397593739144123889677588962408877/74219421151279723066181284193424963846211931154952593000946567366705*y^11 + 80723216556920357387984217244405836356501212985502734579025167040583668293/74219421151279723066181284193424963846211931154952593000946567366705*y^10 - 24340115677042448024067366976859483092268239966773439250225939812887390282/74219421151279723066181284193424963846211931154952593000946567366705*y^9 - 22301856887336887820185383789606217832945925123083432839098269771964936589/74219421151279723066181284193424963846211931154952593000946567366705*y^8 + 1002536577071650843899669656052607730012228646009191133906942393648830512/14843884230255944613236256838684992769242386230990518600189313473341*y^7 + 3494661172168823601502064280338484158451111236046338414636954907324995832/74219421151279723066181284193424963846211931154952593000946567366705*y^6 - 14116107646366367343692047532914982757641342559837396417987966286473487/2005930301385938461248142816038512536384106247431151162187745063965*y^5 - 55465841652804283667227992153460288730496907665674944932347591382962057/14843884230255944613236256838684992769242386230990518600189313473341*y^4 + 3687872404099033371400878446561009548483456375785236651556219724774716/14843884230255944613236256838684992769242386230990518600189313473341*y^3 + 9459116290988838495458929451913661645537105354475782355619044384857873/74219421151279723066181284193424963846211931154952593000946567366705*y^2 - 11936272148674332863026760628849191118670977757244448438859716632391/14843884230255944613236256838684992769242386230990518600189313473341*y - 158207457185801694182996928162977223096241967758554723281723064141968/74219421151279723066181284193424963846211931154952593000946567366705

-96030061783953944726562859998931621275590004518971444402120786310991/14843884230255944613236256838684992769242386230990518600189313473341*y^31 - 549453669698055134568969590098560664945436513231197743407543709348201/14843884230255944613236256838684992769242386230990518600189313473341*y^30 + 6037323593330402601624241506034633158138955343862157830466937176009687/14843884230255944613236256838684992769242386230990518600189313473341*y^29 + 26634027519143202345035125542179084935391384996252085259703542632036375/14843884230255944613236256838684992769242386230990518600189313473341*y^28 - 121843834291356613981102975943318195225171650259226152377972475968215677/14843884230255944613236256838684992769242386230990518600189313473341*y^27 - 387439793113229689442462724179108206941983687835650326691628370982987380/14843884230255944613236256838684992769242386230990518600189313473341*y^26 + 1233011273438700093586381973015069778894672091326966259428079648294027525/14843884230255944613236256838684992769242386230990518600189313473341*y^25 + 3206729838812647392992619248796607970958915732039858071660054410420838302/14843884230255944613236256838684992769242386230990518600189313473341*y^24 - 7047192880037538277022121480852735982764395079557183280985218395868823292/14843884230255944613236256838684992769242386230990518600189313473341*y^23 - 16782629580706661240438974184842966656056393307580183674754438656086437896/14843884230255944613236256838684992769242386230990518600189313473341*y^22 + 24844306720184733589318637860016368250818353853970761049879436194539729671/14843884230255944613236256838684992769242386230990518600189313473341*y^21 + 57124121452028383245067281974309347828021010465887511986488696950510855219/14843884230255944613236256838684992769242386230990518600189313473341*y^20 - 57628510544372564022928466410472794242190527828442670201682710718888315922/14843884230255944613236256838684992769242386230990518600189313473341*y^19 - 129503673417666043612517829178300403652565783455528318927778530859730753379/14843884230255944613236256838684992769242386230990518600189313473341*y^18 + 91393799848043321701645203051301192261190929399496940930966844648904250833/14843884230255944613236256838684992769242386230990518600189313473341*y^17 + 199007664991162667765104374352452884685802225647518034810273858119775874141/14843884230255944613236256838684992769242386230990518600189313473341*y^16 - 100641988901467351496141447378266775781130316043002576808318941178802010660/14843884230255944613236256838684992769242386230990518600189313473341*y^15 - 208286616212423836044636883586900602835294712828854948128541450370391729944/14843884230255944613236256838684992769242386230990518600189313473341*y^14 + 76581518430384328116795679203159002001808629753242753247290228038867943308/14843884230255944613236256838684992769242386230990518600189313473341*y^13 + 146889230820892851905677267586705251488749988097741820694702069309188052735/14843884230255944613236256838684992769242386230990518600189313473341*y^12 - 39347355431786566740508794377458900310167973438776452035650505759469438045/14843884230255944613236256838684992769242386230990518600189313473341*y^11 - 67888453274936966055418691964491149375653321724546806197174816625130603715/14843884230255944613236256838684992769242386230990518600189313473341*y^10 + 13090292849132153107925339734796735822854677822494727702791553838233107125/14843884230255944613236256838684992769242386230990518600189313473341*y^9 + 19614239907037110579760502828091787956406924331762799506077749693314916080/14843884230255944613236256838684992769242386230990518600189313473341*y^8 - 2618201582509687095261867050599903341066231548159862141977985399640958268/14843884230255944613236256838684992769242386230990518600189313473341*y^7 - 3290901254319086332247179861064165219742958552651522949899312971908936243/14843884230255944613236256838684992769242386230990518600189313473341*y^6 + 7318050195638648662558562898391232615128275197213847007765264148424621/401186060277187692249628563207702507276821249486230232437549012793*y^5 + 286087995349881884417052307037942507642771861582589350073623870157405475/14843884230255944613236256838684992769242386230990518600189313473341*y^4 - 9774678201849968569548823935433531248436856235930628434550532901180167/14843884230255944613236256838684992769242386230990518600189313473341*y^3 - 10852405059474184129444922801483453601233801659649979243774092455121398/14843884230255944613236256838684992769242386230990518600189313473341*y^2 - 94868156460549610672746567325916065888146141578898181703613793845109/14843884230255944613236256838684992769242386230990518600189313473341*y + 149389655324166275990837731018479359608799833296593915509716599365465/14843884230255944613236256838684992769242386230990518600189313473341

413488127668824021193347225731658070652086117462562463444578161578656/371097105756398615330906420967124819231059655774762965004732836833525*y^31 + 2185434738276740843817092074281764798904222073747560255542706649357963/371097105756398615330906420967124819231059655774762965004732836833525*y^30 - 27121848378207968519975265649042452261593578438701647543717635396298343/371097105756398615330906420967124819231059655774762965004732836833525*y^29 - 103881632748783164615107931216525836221336559031925918138758203428308816/371097105756398615330906420967124819231059655774762965004732836833525*y^28 + 580514728662345581656117828541162104759221751944051600519931692307774376/371097105756398615330906420967124819231059655774762965004732836833525*y^27 + 1465519556284339366884210154661059520466107573033472384643279600649434138/371097105756398615330906420967124819231059655774762965004732836833525*y^26 - 6152350480085967216459495457260902745573805029228562979622961450100630966/371097105756398615330906420967124819231059655774762965004732836833525*y^25 - 11867427070103937032698231162050346313410150196417841571660828927310203308/371097105756398615330906420967124819231059655774762965004732836833525*y^24 + 37503506985807572126211347496106629948356879935111290615601326313531624812/371097105756398615330906420967124819231059655774762965004732836833525*y^23 + 62101322223136341994791302049787884850435192774350823308564476247568222106/371097105756398615330906420967124819231059655774762965004732836833525*y^22 - 144716737851367291068000317946979021851364548760490927849890280585161387186/371097105756398615330906420967124819231059655774762965004732836833525*y^21 - 215115124507835891277565491405929199444247673100507157613430824985356704142/371097105756398615330906420967124819231059655774762965004732836833525*y^20 + 375949876191856186419300164010244109512060637179854641650513981229142844211/371097105756398615330906420967124819231059655774762965004732836833525*y^19 + 501758063922697392785916096008859489418614247701011170138687705344490509718/371097105756398615330906420967124819231059655774762965004732836833525*y^18 - 135964765560208676442102548293669784326595603110288704876524530084602657811/74219421151279723066181284193424963846211931154952593000946567366705*y^17 - 799587298954504315078925107615714974134732985328865686871430094112925287637/371097105756398615330906420967124819231059655774762965004732836833525*y^16 + 865596984214737873309525697702119790549130779431495472229599805308702931069/371097105756398615330906420967124819231059655774762965004732836833525*y^15 + 875133635979305568528914999488074224405124216944453052824511881201816253747/371097105756398615330906420967124819231059655774762965004732836833525*y^14 - 770676024361740924129974199601332743973235528129963119044039698891912763401/371097105756398615330906420967124819231059655774762965004732836833525*y^13 - 653052882556785103258963388734400780128653883976987427794971782448044221333/371097105756398615330906420967124819231059655774762965004732836833525*y^12 + 468078266830962134438365944863317370728853561080821626842094041271798416353/371097105756398615330906420967124819231059655774762965004732836833525*y^11 + 325142953496639873531968979905519655544081899793435634884130131026959979387/371097105756398615330906420967124819231059655774762965004732836833525*y^10 - 185255182349754119204320764602966402070346338308461456045580807617075495488/371097105756398615330906420967124819231059655774762965004732836833525*y^9 - 103882070848827906652490415989923751767293991403730628459639654668922938361/371097105756398615330906420967124819231059655774762965004732836833525*y^8 + 1766794311239173496160508274703080836699365391458076506874054983942536715/14843884230255944613236256838684992769242386230990518600189313473341*y^7 + 19978037665545683802034998312386510370660042429112640095754090258019233553/371097105756398615330906420967124819231059655774762965004732836833525*y^6 - 148347029886628914975849352564533328095197385138117990543413323915297158/10029651506929692306240714080192562681920531237155755810938725319825*y^5 - 413083468476504228006893135755551876677235973597674151888282508722647374/74219421151279723066181284193424963846211931154952593000946567366705*y^4 + 51478006390881568471068300681825812075990759309956660908382686841407302/74219421151279723066181284193424963846211931154952593000946567366705*y^3 + 89352443931643152264878042180054058294197171676843702702702238893424697/371097105756398615330906420967124819231059655774762965004732836833525*y^2 - 331957432018695426714402240362629168552979903936515266626096324049917/74219421151279723066181284193424963846211931154952593000946567366705*y - 865479712243043217273647630706136655681912066705816528481454966934717/371097105756398615330906420967124819231059655774762965004732836833525

347613051138173754305638881964215626562561400752723898337357835505086/74219421151279723066181284193424963846211931154952593000946567366705*y^31 + 1966368325505539367641588110074084536990103309744709259601624428187163/74219421151279723066181284193424963846211931154952593000946567366705*y^30 - 22005798323954836976811201711227207436640631514501375849700161647299178/74219421151279723066181284193424963846211931154952593000946567366705*y^29 - 95134226543645169167891795182065338507991063025506412218772507900411586/74219421151279723066181284193424963846211931154952593000946567366705*y^28 + 448642980403248424458017531869911620324208908836587880305567444684456451/74219421151279723066181284193424963846211931154952593000946567366705*y^27 + 1380808466281169808332549621063084585616750974204477685527345424660198453/74219421151279723066181284193424963846211931154952593000946567366705*y^26 - 4578483680995660247438969929364356965118241316287168619973821006145637181/74219421151279723066181284193424963846211931154952593000946567366705*y^25 - 11420682437287539997636425439404468507079133288282593034648594938069252593/74219421151279723066181284193424963846211931154952593000946567366705*y^24 + 26483942077625297845574399996941587485035779745472104410638114862417702507/74219421151279723066181284193424963846211931154952593000946567366705*y^23 + 59942997615024761884289985066676843727680386803425099546042025970657475146/74219421151279723066181284193424963846211931154952593000946567366705*y^22 - 94943174351417929064578062000885843063160153563399654955910292767970897496/74219421151279723066181284193424963846211931154952593000946567366705*y^21 - 205251653620418422396905183445456919687933752419035699171435144750105169872/74219421151279723066181284193424963846211931154952593000946567366705*y^20 + 224828189183668697652176270967421583789542943195475069053581648434874234456/74219421151279723066181284193424963846211931154952593000946567366705*y^19 + 469055024896652276699071722177789770411721722148338669699170162431912231468/74219421151279723066181284193424963846211931154952593000946567366705*y^18 - 72992800740457163573865646257986860687392992003668337488970230680607406249/14843884230255944613236256838684992769242386230990518600189313473341*y^17 - 727603928788566031987236163164322839867229129443340297065679078573092282577/74219421151279723066181284193424963846211931154952593000946567366705*y^16 + 411893483714151438138694947394454060691502933178349353944872214868817128959/74219421151279723066181284193424963846211931154952593000946567366705*y^15 + 769585259173880709087857576182789152498312467339703674465038365805181345292/74219421151279723066181284193424963846211931154952593000946567366705*y^14 - 321176977683870046976821594568136462213653317763980492708598115041175818311/74219421151279723066181284193424963846211931154952593000946567366705*y^13 - 548945540150493478164824092886900836658983992477132962236119376264488261648/74219421151279723066181284193424963846211931154952593000946567366705*y^12 + 168803686055104020891680155068661741911417381163142023668490716984058639178/74219421151279723066181284193424963846211931154952593000946567366705*y^11 + 256624591003555758967660497178113981581403770480234648822755005878473840047/74219421151279723066181284193424963846211931154952593000946567366705*y^10 - 57285344232488562917989681369179015955269608603941066032750028050359101293/74219421151279723066181284193424963846211931154952593000946567366705*y^9 - 74842035803829336323857800071084526975570232890089605611293996805054856011/74219421151279723066181284193424963846211931154952593000946567366705*y^8 + 2343854610818055271140804691763018640883512318022154663006326347268111314/14843884230255944613236256838684992769242386230990518600189313473341*y^7 + 12610618522573657377735735835319968060487948404702998088872662451115581103/74219421151279723066181284193424963846211931154952593000946567366705*y^6 - 34433851564945191634103876084867361005355333312920009509106845616116933/2005930301385938461248142816038512536384106247431151162187745063965*y^5 - 218105048434753317615747344641321777164720324851959854909145878321058804/14843884230255944613236256838684992769242386230990518600189313473341*y^4 + 11187097117666796762392804552385069358930384489534100712863892892684337/14843884230255944613236256838684992769242386230990518600189313473341*y^3 + 41021318643008943834497331820496475634603982424447159859437074796343267/74219421151279723066181284193424963846211931154952593000946567366705*y^2 - 40313935422150341086049298051432357893661199008790847028692868135454/14843884230255944613236256838684992769242386230990518600189313473341*y - 539883995039596066958701618102751525810808172777530405914736376385997/74219421151279723066181284193424963846211931154952593000946567366705

25182155400665959519014593869126465678060820430763483597113510002927/14843884230255944613236256838684992769242386230990518600189313473341*y^31 + 144371669197470717613133893553786549873684290803716475050601532151978/14843884230255944613236256838684992769242386230990518600189313473341*y^30 - 1583143504388388893921374757144374896491680192012690586186186519015122/14843884230255944613236256838684992769242386230990518600189313473341*y^29 - 7011534008651104800563124616911589663850968950904957810774088950605139/14843884230255944613236256838684992769242386230990518600189313473341*y^28 + 31971537092394204568607554383308469865673819959689409771917769056739568/14843884230255944613236256838684992769242386230990518600189313473341*y^27 + 102399882245553174367140187634651992106041208066388036402128247748821995/14843884230255944613236256838684992769242386230990518600189313473341*y^26 - 324140171533189540263304290467905234871853277228482211302734058558586442/14843884230255944613236256838684992769242386230990518600189313473341*y^25 - 850655436705513693068624732687950660044061385406048775667849372727479242/14843884230255944613236256838684992769242386230990518600189313473341*y^24 + 1857575767147672354082086044017017210979782357997135687355002132202040342/14843884230255944613236256838684992769242386230990518600189313473341*y^23 + 4469701751392556445084208481152023183435489367670277010756565710709864925/14843884230255944613236256838684992769242386230990518600189313473341*y^22 - 6568566386363823592102974089272904061999264808610572829935219282128747325/14843884230255944613236256838684992769242386230990518600189313473341*y^21 - 15287043449312803754849342869094502855218320621057648553882087780227298899/14843884230255944613236256838684992769242386230990518600189313473341*y^20 + 15283213408325523373394750105372173845120082562494424769603759637495929017/14843884230255944613236256838684992769242386230990518600189313473341*y^19 + 34850416999117316308740880585173115987281751295231625523523518464967824061/14843884230255944613236256838684992769242386230990518600189313473341*y^18 - 24318739648045691946085138352524534432268586380398405909650833823423805386/14843884230255944613236256838684992769242386230990518600189313473341*y^17 - 53875691002805269540785912511706372918592004086861353031324637724985041883/14843884230255944613236256838684992769242386230990518600189313473341*y^16 + 26901628695556088226489930207448627254808651900108318551855201980656952833/14843884230255944613236256838684992769242386230990518600189313473341*y^15 + 56711300854721662899789254211156078731613265786488896548403980877593724818/14843884230255944613236256838684992769242386230990518600189313473341*y^14 - 20634088852714627342571009458968867302894223344124177251108624832426675699/14843884230255944613236256838684992769242386230990518600189313473341*y^13 - 40160423716731404300109627702749565715937514232883504832365323307051109606/14843884230255944613236256838684992769242386230990518600189313473341*y^12 + 10773202729425957285013160077064619275459966653461386923873747941936361293/14843884230255944613236256838684992769242386230990518600189313473341*y^11 + 18557408838905611472836678193301854688051337929524754482682891638656005409/14843884230255944613236256838684992769242386230990518600189313473341*y^10 - 3706543394442599314768319052892491201883403638930481502545091046729876888/14843884230255944613236256838684992769242386230990518600189313473341*y^9 - 5308821877638729506962249708312291329868875941391170574626540589660679575/14843884230255944613236256838684992769242386230990518600189313473341*y^8 + 792529174260297990444448804829181984207127063046377814103728359769183141/14843884230255944613236256838684992769242386230990518600189313473341*y^7 + 865530916794780483735243762759176719551253510991698822070504620822893337/14843884230255944613236256838684992769242386230990518600189313473341*y^6 - 2457082184504915805913476619588395868772803625467446357506898798463477/401186060277187692249628563207702507276821249486230232437549012793*y^5 - 70064264230087930949264156597648875667584196158053370885520489670214182/14843884230255944613236256838684992769242386230990518600189313473341*y^4 + 3486877641440938003000424531693981140141844037922316851585225857844338/14843884230255944613236256838684992769242386230990518600189313473341*y^3 + 2160630351959082956146063330738232580168310836514149427609718824393218/14843884230255944613236256838684992769242386230990518600189313473341*y^2 + 47117788168462199324270235956897972939055749667675621402570824080577/14843884230255944613236256838684992769242386230990518600189313473341*y - 7084486505263098616704823141171407553719449898224259480153138805887/14843884230255944613236256838684992769242386230990518600189313473341

61656810661087327723715010471539730364934844790008861028471124775294/14843884230255944613236256838684992769242386230990518600189313473341*y^31 + 348748276332454460799747023201709146550349133454315890300602906343786/14843884230255944613236256838684992769242386230990518600189313473341*y^30 - 3902425016807563091896102269153842388663984795013399805611727803802025/14843884230255944613236256838684992769242386230990518600189313473341*y^29 - 16867568548862456883784624500572343816143009625048610692555539471797458/14843884230255944613236256838684992769242386230990518600189313473341*y^28 + 79520443527340843461823882525563360865929653372414085822463981088735545/14843884230255944613236256838684992769242386230990518600189313473341*y^27 + 244665705818407232773793504180560059936894098461129430168587862348400529/14843884230255944613236256838684992769242386230990518600189313473341*y^26 - 810800195935097225439332492494890782853303626576596885960085338926419421/14843884230255944613236256838684992769242386230990518600189313473341*y^25 - 2022574389919011739920758842817769373667694022959891866760849945576483505/14843884230255944613236256838684992769242386230990518600189313473341*y^24 + 4683552961931005211069134463344551906130760561899721690532946378980093141/14843884230255944613236256838684992769242386230990518600189313473341*y^23 + 10609417217224102086002291739039411280249839417350485926072194835800725788/14843884230255944613236256838684992769242386230990518600189313473341*y^22 - 16754890037034069103830470651989333977467249761218582188399698104589563814/14843884230255944613236256838684992769242386230990518600189313473341*y^21 - 36296411442176594643636636588207887338489378532093170497819708464450195836/14843884230255944613236256838684992769242386230990518600189313473341*y^20 + 39548653027231602506038703412891124637088774682415463285229134707972427045/14843884230255944613236256838684992769242386230990518600189313473341*y^19 + 82844465869238532730992729499952842392519311255285217315682839745406942690/14843884230255944613236256838684992769242386230990518600189313473341*y^18 - 63884284717386881436769458569735383395600539569740674378518646691542819126/14843884230255944613236256838684992769242386230990518600189313473341*y^17 - 128290213277615511035439719964144283522072259789387161448161443760086453465/14843884230255944613236256838684992769242386230990518600189313473341*y^16 + 71557948154363231881969541246449549568420921010674633070867738151229949041/14843884230255944613236256838684992769242386230990518600189313473341*y^15 + 135370259338927706362524338893242065556207774559684714845679459418134610198/14843884230255944613236256838684992769242386230990518600189313473341*y^14 - 55153088069509871064161444611903389014594628121289674412206719793854896919/14843884230255944613236256838684992769242386230990518600189313473341*y^13 - 96223677908332331101648670408590001409945123839648297912527047546725655659/14843884230255944613236256838684992769242386230990518600189313473341*y^12 + 28464395694633123484618700120181249874354122178676903319047509020919762339/14843884230255944613236256838684992769242386230990518600189313473341*y^11 + 44732473871653109712305850414782055442614093070238579562252828551555754076/14843884230255944613236256838684992769242386230990518600189313473341*y^10 - 9384939220331179581686986400845249887105078000934926106329228274483786284/14843884230255944613236256838684992769242386230990518600189313473341*y^9 - 12915665392596573541546269079895597129909948023231828604280632126672165182/14843884230255944613236256838684992769242386230990518600189313473341*y^8 + 1834211223872264538554006986344183370336773253922058055675601022744244007/14843884230255944613236256838684992769242386230990518600189313473341*y^7 + 2132983118229553700904950054891748890715512298504853052622313135689257689/14843884230255944613236256838684992769242386230990518600189313473341*y^6 - 5017689501013626970140021723024594693162376391342935790225608233524330/401186060277187692249628563207702507276821249486230232437549012793*y^5 - 176421392609091585549311678954595036051911795590650893566146786775150982/14843884230255944613236256838684992769242386230990518600189313473341*y^4 + 7261668715497995423417586793602059924142279688131983919356948552301800/14843884230255944613236256838684992769242386230990518600189313473341*y^3 + 5990666959375205182775241025855948669622617264870350722783218565591985/14843884230255944613236256838684992769242386230990518600189313473341*y^2 + 14246584315595215677034268725730334528132359231348512786713796506177/14843884230255944613236256838684992769242386230990518600189313473341*y - 66456730184075211791863190320885041297631029322845231199298160011442/14843884230255944613236256838684992769242386230990518600189313473341


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

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

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

# f Combinatorial flattening
{6, 7, -2, 1, 1, 1, 0}

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

# 1 Loop Invariant
-1466842078328706144153453234218448335750422464912010523125118492085174/14843884230255944613236256838684992769242386230990518600189313473341*y^31 - 8320718187255994895927576834203198503569925565161332551049759593176533/14843884230255944613236256838684992769242386230990518600189313473341*y^30 + 92826675941819717939026724747086634579081465485132630706966718366824054/14843884230255944613236256838684992769242386230990518600189313473341*y^29 + 403432531990135032530823734737152913267475516928343985326464333775047662/14843884230255944613236256838684992769242386230990518600189313473341*y^28 - 1893192747425362745607861745151332796756721939362281679658350185420040414/14843884230255944613236256838684992769242386230990518600189313473341*y^27 - 5881230052055251662525018719003920266773892173954340352747568301699972085/14843884230255944613236256838684992769242386230990518600189313473341*y^26 + 19360618673764957975405488053119960191133313355022029173800971155655651920/14843884230255944613236256838684992769242386230990518600189313473341*y^25 + 48836319046006198349780065802330429315805713666770437071994967387370577757/14843884230255944613236256838684992769242386230990518600189313473341*y^24 - 112349261574340760907572507624611242533765558776667688613465599924114820419/14843884230255944613236256838684992769242386230990518600189313473341*y^23 - 257377192150891850148048142589485231920904775675755104236157290509636193784/14843884230255944613236256838684992769242386230990518600189313473341*y^22 + 404481098332417110701000547313038124134523802522661473390130142146479500411/14843884230255944613236256838684992769242386230990518600189313473341*y^21 + 885858754413091144127689916338157672242769756131662512384012536466853155521/14843884230255944613236256838684992769242386230990518600189313473341*y^20 - 963259269534522375028641026644650180221640472735164187934441585473307223279/14843884230255944613236256838684992769242386230990518600189313473341*y^19 - 2038107898725772560046832206152416161587573825590691740175398368339445988882/14843884230255944613236256838684992769242386230990518600189313473341*y^18 + 1575917741184180641731816748569840999131309898022163472130855261851135823879/14843884230255944613236256838684992769242386230990518600189313473341*y^17 + 3188793931126295714976802514237770547193151254609861931908395973946358039271/14843884230255944613236256838684992769242386230990518600189313473341*y^16 - 1798194791026983167770962435849326590473544112055214947630203216516943124187/14843884230255944613236256838684992769242386230990518600189313473341*y^15 - 3409329536115669140903539289933457847085179683126835333909932144279260436105/14843884230255944613236256838684992769242386230990518600189313473341*y^14 + 1423810066684273848765315306877034301686200570987041173780050646034173010924/14843884230255944613236256838684992769242386230990518600189313473341*y^13 + 2464869750107178013331936261676286474480563533034456639470304253655337374708/14843884230255944613236256838684992769242386230990518600189313473341*y^12 - 763750682222061658733920481626217508601291130590310105393037911867312419033/14843884230255944613236256838684992769242386230990518600189313473341*y^11 - 1171856078107111637932846479648921979759538782887715127907755281163769633142/14843884230255944613236256838684992769242386230990518600189313473341*y^10 + 265398540077735053564914427032772852301367170966180853868454850835894691967/14843884230255944613236256838684992769242386230990518600189313473341*y^9 + 348977772297730952643731165868557396962656888421164433814357462342065377289/14843884230255944613236256838684992769242386230990518600189313473341*y^8 - 55188824164017963037488858933761130351704215589746468672165733641143822902/14843884230255944613236256838684992769242386230990518600189313473341*y^7 - 60312480552434067341083314787556954319860098450023385343935185032611335806/14843884230255944613236256838684992769242386230990518600189313473341*y^6 + 156759628717770394926253845207753451115578776610352616165858644947398640/401186060277187692249628563207702507276821249486230232437549012793*y^5 + 5367661875612790182980108023225232838521042812627732174947166812520976460/14843884230255944613236256838684992769242386230990518600189313473341*y^4 - 175911698171390740792036785066078891532076126890616531174097919182437847/14843884230255944613236256838684992769242386230990518600189313473341*y^3 - 206400052991617216517449189980846664336183563839603143341574741162411502/14843884230255944613236256838684992769242386230990518600189313473341*y^2 - 5744271095488853704616615965086357093849764825479143993593200326537862/14843884230255944613236256838684992769242386230990518600189313473341*y + 2367300867726228096817123559646917694386161038074705060166667637887281/14843884230255944613236256838684992769242386230990518600189313473341

# 2 Loop Invariant
-288653885470029985980875068634412183531034756541501207167377726978651569247923879586416635740279935199954149054881103751768521216557432283315964914841867041815933075710792565765/1555191935523887834940246489549783085373748729589144531350226270472930910204328834956287771970747968143418773624424433992951219150835536210360236480330630502517123828145047969048*y^31 - 1626292346581828817973681157107702674408885127430356227152577683519558748910646286961390747705634165401581782956984885175394984594115354082377700889265707352347245381877959295977/1555191935523887834940246489549783085373748729589144531350226270472930910204328834956287771970747968143418773624424433992951219150835536210360236480330630502517123828145047969048*y^30 + 36641155157774631763866602625350476719340990137621499639935746476179468215838547465544654083574158865443389450856234105876521550994806353511689779011421347751665411972517063197795/3110383871047775669880492979099566170747497459178289062700452540945861820408657669912575543941495936286837547248848867985902438301671072420720472960661261005034247656290095938096*y^29 + 78644221789557484166836242239945901416129298260769917960336314494456975405040628189687301155428513124481773670419515409231341831611840873595926062599248782096545284279385815965197/1555191935523887834940246489549783085373748729589144531350226270472930910204328834956287771970747968143418773624424433992951219150835536210360236480330630502517123828145047969048*y^28 - 749924580691441651300399156989763547667130556538702233516281116479010452665296466358708084797612971509836826866496570910059061453755122859074714912891398789608986983308521682201059/3110383871047775669880492979099566170747497459178289062700452540945861820408657669912575543941495936286837547248848867985902438301671072420720472960661261005034247656290095938096*y^27 - 2282290239954865060553174454326651459829502217868317190289490561619734711969976505917031402131325800442381848406298633166034873138548347231798981396603282472771953118450037951682165/3110383871047775669880492979099566170747497459178289062700452540945861820408657669912575543941495936286837547248848867985902438301671072420720472960661261005034247656290095938096*y^26 + 2560021668492799403875009615097120436809445733841600938608689597531353796113656249722762363403055665221222410859362194546128524593608823044160132637843187196940831036026776875484253/1036794623682591889960164326366522056915832486392763020900150846981953940136219223304191847980498645428945849082949622661967479433890357473573490986887087001678082552096698646032*y^25 + 6294652455650290995054048350062482465527591200781474193554259375242705304472533916682717548726251228883893862211037247421530223280523169685507806752765288568465442709876365401659577/1036794623682591889960164326366522056915832486392763020900150846981953940136219223304191847980498645428945849082949622661967479433890357473573490986887087001678082552096698646032*y^24 - 44653786377487058580429389732504356408011039961617639083659117880064963123124352797483252590304147962614455511696765519707039985942342784345652568039588611444414262174346299326062101/3110383871047775669880492979099566170747497459178289062700452540945861820408657669912575543941495936286837547248848867985902438301671072420720472960661261005034247656290095938096*y^23 - 16551035118642377246806402894544421233216166479579578039577039412132698211045829245239689934867545051260656305531724797266674771223333595845932454885766092645615275631198809193496653/518397311841295944980082163183261028457916243196381510450075423490976970068109611652095923990249322714472924541474811330983739716945178736786745493443543500839041276048349323016*y^22 + 80632604265582122624846045711451552131746527438413064273747947641642577896932481686065950628410375496143851311798824688047604908949593704901228994778743497650016104049792992843634715/1555191935523887834940246489549783085373748729589144531350226270472930910204328834956287771970747968143418773624424433992951219150835536210360236480330630502517123828145047969048*y^21 + 85315861485196406601907518757088667794340306923760636228766834877803590284402683867401786420401888086730199585239057028918436335891744076760359160587000638053193582918560662803049187/777595967761943917470123244774891542686874364794572265675113135236465455102164417478143885985373984071709386812212216996475609575417768105180118240165315251258561914072523984524*y^20 - 385586167112701028001431393659204575266476619475350893129240513213356871718809931864648114144414515523944863787836026676993001809843052259985833439458161896444954891613949868485632939/3110383871047775669880492979099566170747497459178289062700452540945861820408657669912575543941495936286837547248848867985902438301671072420720472960661261005034247656290095938096*y^19 - 130673085491749569608952234332463701632477551021738856670594919635941241299762237880607306069773190462946969401943809188894278313306706819537653367737736338034265761810036761894497765/518397311841295944980082163183261028457916243196381510450075423490976970068109611652095923990249322714472924541474811330983739716945178736786745493443543500839041276048349323016*y^18 + 316757940750080960379153369698934281736278388651374981498540694702772882880414994793101967484780425111295475642898444675799677291129930145458734982528532969729380104399853271893438069/1555191935523887834940246489549783085373748729589144531350226270472930910204328834956287771970747968143418773624424433992951219150835536210360236480330630502517123828145047969048*y^17 + 1225316405592669630762235990061738636611123047229515636723873585700249294568284609786848923913831151363178822860295927588163595547792512276056477151843849446827916794384926423902937675/3110383871047775669880492979099566170747497459178289062700452540945861820408657669912575543941495936286837547248848867985902438301671072420720472960661261005034247656290095938096*y^16 - 725713033565548834110164922194378687325845785789835717215340321235360298038905894790983255958394960820669183282693088552328456371478890768139130984794644784728959130542891508031104637/3110383871047775669880492979099566170747497459178289062700452540945861820408657669912575543941495936286837547248848867985902438301671072420720472960661261005034247656290095938096*y^15 - 327464421369568221943906053382490608051899063610160845059956250844189457807690986513774530857631087882814063456473770374428114166628010916408293340811947096438926122513734072877917633/777595967761943917470123244774891542686874364794572265675113135236465455102164417478143885985373984071709386812212216996475609575417768105180118240165315251258561914072523984524*y^14 + 576552166222103116902491795681750953501228653414715378156497421713607196298912178908162842786178486881001669235757565966904442165123820525032601427979109331450214005583269023926623499/3110383871047775669880492979099566170747497459178289062700452540945861820408657669912575543941495936286837547248848867985902438301671072420720472960661261005034247656290095938096*y^13 + 949190328924114137012610224872181201960423759794350033199211218000656689785694683737121590317125207310330419371887638049232844157677263459324115772976086958496892366571281014287572647/3110383871047775669880492979099566170747497459178289062700452540945861820408657669912575543941495936286837547248848867985902438301671072420720472960661261005034247656290095938096*y^12 - 103441427244050757820319199473496119352355903138687736036230979086844180112057639485830729901782282574739731554847090908339915987324346270359240616013588388578806492223155248505636347/1036794623682591889960164326366522056915832486392763020900150846981953940136219223304191847980498645428945849082949622661967479433890357473573490986887087001678082552096698646032*y^11 - 28426952839043948266908152688164569893828784330566169945767392497412403455271837851795826677113775497590400849138753475290139153262982572998290152293258914690825015587112417264372040/194398991940485979367530811193722885671718591198643066418778283809116363775541104369535971496343496017927346703053054249118902393854442026295029560041328812814640478518130996131*y^10 + 54240175738042902478808078284646305996546282960118994780257806681124257963753873433674359008874067085203754302567986826693469574966684785845256117081227915005849834517365982195281881/1555191935523887834940246489549783085373748729589144531350226270472930910204328834956287771970747968143418773624424433992951219150835536210360236480330630502517123828145047969048*y^9 + 17269608969933559599803434820256909936121233779762597319994160446590416348436268513903080285107312464822886600636326218907428732607699722866687113702374194023040321582819836191823465/388797983880971958735061622387445771343437182397286132837556567618232727551082208739071942992686992035854693406106108498237804787708884052590059120082657625629280957036261992262*y^8 - 22904944953881345980783102302316584941460701341570704936786476064559606951127722007600142410540692661813415442278227584871825323371116301163711563722266440027231397560962370330344191/3110383871047775669880492979099566170747497459178289062700452540945861820408657669912575543941495936286837547248848867985902438301671072420720472960661261005034247656290095938096*y^7 - 24967556695698231103503513100579953477294552892855125012720647322674388692969035112805149362697790507129955650237805900810066914495564570048838368556313733694769499578098354411827091/3110383871047775669880492979099566170747497459178289062700452540945861820408657669912575543941495936286837547248848867985902438301671072420720472960661261005034247656290095938096*y^6 + 1258490920775214065793367491997267032988259117778304186798075572040474416071425630140151260609518304468493753540312466382076596079994889555266417086281578830942573213367699309046127/1555191935523887834940246489549783085373748729589144531350226270472930910204328834956287771970747968143418773624424433992951219150835536210360236480330630502517123828145047969048*y^5 + 406399601478363801701408212266029856752299149921015887548252762293199966436037182337346806875500454677501591750888476053111093898759832687173196585599287651452706340960898641152297/518397311841295944980082163183261028457916243196381510450075423490976970068109611652095923990249322714472924541474811330983739716945178736786745493443543500839041276048349323016*y^4 - 48145532373325137577874349452083295474282939742017536360659949795047332655332539567942885893757983995115047978715217887315197247867234614131484058923723490949402080287039267577191/1555191935523887834940246489549783085373748729589144531350226270472930910204328834956287771970747968143418773624424433992951219150835536210360236480330630502517123828145047969048*y^3 - 36557068433280100187047540959370037901776983531813275335970473868476197598897378273014035335771675389434768964174230406185744289942626671989522545249911560206549771156535965359787/1036794623682591889960164326366522056915832486392763020900150846981953940136219223304191847980498645428945849082949622661967479433890357473573490986887087001678082552096698646032*y^2 - 161622431964630663740590790269358805037014790013373714757874413865871498330352461281617208147799571371543368976936718987874452138265278340712354048273273755019360279798347224257/1036794623682591889960164326366522056915832486392763020900150846981953940136219223304191847980498645428945849082949622661967479433890357473573490986887087001678082552096698646032*y + 1968623730285323024899730748179556625817438449244721519114073407741922054709697213412688631405845365633267051228937950205009756635696472646694258772738991193493620265724083442403/388797983880971958735061622387445771343437182397286132837556567618232727551082208739071942992686992035854693406106108498237804787708884052590059120082657625629280957036261992262

# 3 Loop Invariant
-4162022227513969881043809279119610020176386349753902227841969967778419426150090237362854234916731436838163023439532290693075868341342967295667279428337249811421508911825399979814425047774557247444982230006959490379077918206020098701/30471086327564099840609149661110041689831695538071478658099091863148328775236054900195485691182851418435275341699119059595390186255375696041810215473597876984298408868174913876903832369899923210832057900286822270483509581130463205217*y^31 - 1489987125427686950940851479379071781655871193001641873783396573440831373447835135372888417403283403865342071050457815250427234472169288193561792138149958398046256069886792967866282475921601547585121339847245177926938457770947016607129/1950149524964102389798985578311042668149228514436574634118341879241493041615107513612511084235702490779857621868743619814104971920344044546675853790310264126995098167563194488121845271673595085493251705618356625310944613192349645133888*y^30 + 16960218566208313844067996956516062888610040831391216840327528467415163128047185237238660758353069378907524598239295791100918989533298969673914832554320271064819669321569905704304035524060800005716140692242915764820715245082355011880475/1950149524964102389798985578311042668149228514436574634118341879241493041615107513612511084235702490779857621868743619814104971920344044546675853790310264126995098167563194488121845271673595085493251705618356625310944613192349645133888*y^29 + 2245498912453533595946479545170629613685338284773985911871644099867880416569671209734871905996676525990623256866708377366014184452213106571859772815695795662811130911917833476674729458908943082501515748944803070483871433672019423077753/60942172655128199681218299322220083379663391076142957316198183726296657550472109800390971382365702836870550683398238119190780372510751392083620430947195753968596817736349827753807664739799846421664115800573644540967019162260926410434*y^28 - 174256638072706792236696150317352858227069284050171069943175994402945156336458796107351618701018229711569196691406407044511205655412293968463749904723305429304600798490787688558104807850206700470411243442726069195355330720031273917816697/975074762482051194899492789155521334074614257218287317059170939620746520807553756806255542117851245389928810934371809907052485960172022273337926895155132063497549083781597244060922635836797542746625852809178312655472306596174822566944*y^27 - 518732981011616451158783094880979307566790004241960847404300390397694047285534582173430165872719231277526675528999079125385793353551781226902753986757526503980316025266677726703151543642781471349318115684618625104294990095057976337937873/975074762482051194899492789155521334074614257218287317059170939620746520807553756806255542117851245389928810934371809907052485960172022273337926895155132063497549083781597244060922635836797542746625852809178312655472306596174822566944*y^26 + 447110560165148790757036178837476735204334658734168152208113775775854875380383189188744591251678051718024243672519358111748677920628313557223346010783382103297295307812357262679206207157534644014055971791398132284276380423750951141821871/243768690620512798724873197288880333518653564304571829264792734905186630201888439201563885529462811347482202733592952476763121490043005568334481723788783015874387270945399311015230658959199385686656463202294578163868076649043705641736*y^25 + 4273901080519502213647607530648437518252623899515077650075483188404250874830839659228132281405765739166180461942341440716771417398910464062281527332552099729058707733103305513524922407069239092110426573977584652675767682537322710451922575/975074762482051194899492789155521334074614257218287317059170939620746520807553756806255542117851245389928810934371809907052485960172022273337926895155132063497549083781597244060922635836797542746625852809178312655472306596174822566944*y^24 - 10429112309679337569685497277760621182163818894439916537929964300659559091775769325569865229111904308759927688671598091739048877381128208944384225689691578614871813407532867369478057433427631185135389552302122093950210777682248114436546399/975074762482051194899492789155521334074614257218287317059170939620746520807553756806255542117851245389928810934371809907052485960172022273337926895155132063497549083781597244060922635836797542746625852809178312655472306596174822566944*y^23 - 5601579581362050287982487849827645467074093869874145612839928039345501939316859178728934485070722122196810355971920753865010073505249570706176328638980451485872841762883552933823200466113194429184610393769495361607234589508647925424160369/243768690620512798724873197288880333518653564304571829264792734905186630201888439201563885529462811347482202733592952476763121490043005568334481723788783015874387270945399311015230658959199385686656463202294578163868076649043705641736*y^22 + 2364815463638175069730258988904161794743972218436711599031959827354985512353864157576346105859312612721936770075775993915628827949510901891065060435788219753253685296302150657858723410260678965399643675798642834832852014675182632160892779/60942172655128199681218299322220083379663391076142957316198183726296657550472109800390971382365702836870550683398238119190780372510751392083620430947195753968596817736349827753807664739799846421664115800573644540967019162260926410434*y^21 + 76779543388233714781884116689293524779790932178230107479186066072095200256191092155564564816271559427636491305531666096227325546824776240367020389404274941295421338330489813706508261627487103331792844100375404644088932104892823822363393725/975074762482051194899492789155521334074614257218287317059170939620746520807553756806255542117851245389928810934371809907052485960172022273337926895155132063497549083781597244060922635836797542746625852809178312655472306596174822566944*y^20 - 182039956634598754060896262203248503886301970277544477752493559642194205566139302131429373699909704617481620808630979916919057761241613011121300525782034974293557314168177311295672108540194841276411840673622375311814907695797757028850925513/1950149524964102389798985578311042668149228514436574634118341879241493041615107513612511084235702490779857621868743619814104971920344044546675853790310264126995098167563194488121845271673595085493251705618356625310944613192349645133888*y^19 - 175776546200527940825537367905326732693855581906867726685190878252487820155333309937061716400748609468924639016879362295419614697994282459954052429528617000796499386359277831052710937516994553683061033502725203372819958195430666149224330861/975074762482051194899492789155521334074614257218287317059170939620746520807553756806255542117851245389928810934371809907052485960172022273337926895155132063497549083781597244060922635836797542746625852809178312655472306596174822566944*y^18 + 301191106413760601647589749282999825013838032563312866600676328797270618235920567431288531398071260577395921655873474873422614271856642508374560850207512274392893119742401251841647285878059014440327609765214241582251783906232573621829386799/1950149524964102389798985578311042668149228514436574634118341879241493041615107513612511084235702490779857621868743619814104971920344044546675853790310264126995098167563194488121845271673595085493251705618356625310944613192349645133888*y^17 + 273362898312167971637693305619986415211722969462271719339386227772387787926441066942002787382187191283302184674671977204103990217713565748577023552236855027418306716706990372505646007504280976112132360477918517584866750368069412398912216359/975074762482051194899492789155521334074614257218287317059170939620746520807553756806255542117851245389928810934371809907052485960172022273337926895155132063497549083781597244060922635836797542746625852809178312655472306596174822566944*y^16 - 173743142503295929441332920608556785065169225007648753064385541954326138450127116497276443992152696848126428513951756065471002669847218241253456564752243398169456476821527490389881984713403348972590348615093615266981437187481235892887942479/975074762482051194899492789155521334074614257218287317059170939620746520807553756806255542117851245389928810934371809907052485960172022273337926895155132063497549083781597244060922635836797542746625852809178312655472306596174822566944*y^15 - 72539211177878309261813379880727712999933464519430743156548664803045422866014834149694330633493525543898095972478216983508482599656641996294612871961387378389352935403179546471541006526114028442304091533735673179699233012105171234641904371/243768690620512798724873197288880333518653564304571829264792734905186630201888439201563885529462811347482202733592952476763121490043005568334481723788783015874387270945399311015230658959199385686656463202294578163868076649043705641736*y^14 + 69443855750254671561311532101183419906147929931867576686456898264947597825411450526091757740212492834517571865843417885555250661962248060234202849992768469195955132973554188519880479240854590118678510762495455901373680739329045612478343845/487537381241025597449746394577760667037307128609143658529585469810373260403776878403127771058925622694964405467185904953526242980086011136668963447577566031748774541890798622030461317918398771373312926404589156327736153298087411283472*y^13 + 416104667841220764059907122406907975949811789836108158602432094359564176491617896953440516752896670241450454796342552465548802180656069857715042305748235019945381549318253872195973989211151678634505789169672373225995407507209378398505294853/1950149524964102389798985578311042668149228514436574634118341879241493041615107513612511084235702490779857621868743619814104971920344044546675853790310264126995098167563194488121845271673595085493251705618356625310944613192349645133888*y^12 - 150075534116920251968136200567347143254277131428501377867387683015514069186121939601236176317333854770856153655513464929390919711202705747064668540344466098950617242865041900544199215021670234842430881037023131489868697720998778919054383653/1950149524964102389798985578311042668149228514436574634118341879241493041615107513612511084235702490779857621868743619814104971920344044546675853790310264126995098167563194488121845271673595085493251705618356625310944613192349645133888*y^11 - 196140985170685295295330062025008822155112003923992567267753065250045129540925575213257332278385201197164581977732918141661749959278545517155698414142655753717438976446273141154557917583971282266111117842861355693715405760649787496029305751/1950149524964102389798985578311042668149228514436574634118341879241493041615107513612511084235702490779857621868743619814104971920344044546675853790310264126995098167563194488121845271673595085493251705618356625310944613192349645133888*y^10 + 52428452004313277958818554609288046903718056537846316550998047702567494730697416511792597916628172693173674868117627406976161286915336678390070343722475280952051639109354413294318303631458128841639804638468848523027465929980332876136898103/1950149524964102389798985578311042668149228514436574634118341879241493041615107513612511084235702490779857621868743619814104971920344044546675853790310264126995098167563194488121845271673595085493251705618356625310944613192349645133888*y^9 + 57992759737598222808591833951660430505524788965269458312978128043422801061050014894978517399513305063512501467891917853449449733714984002536613234048874352536264848853298052519635733335653229729733670081293821829571440922579758444176595721/1950149524964102389798985578311042668149228514436574634118341879241493041615107513612511084235702490779857621868743619814104971920344044546675853790310264126995098167563194488121845271673595085493251705618356625310944613192349645133888*y^8 - 11004047092474104826924559617898417195425823354255412753873303708364504613463706172975788618858778425492265008695153530598979787302451146721444475145787092241856159928334653170424190498096285194570647945384486227637938936146449878053848461/1950149524964102389798985578311042668149228514436574634118341879241493041615107513612511084235702490779857621868743619814104971920344044546675853790310264126995098167563194488121845271673595085493251705618356625310944613192349645133888*y^7 - 2500664819762499160678311488571705676822693461308757247828697548501715345369779462852412915450687743348777273135494033114792153378432758452849386779056823693014996674865540442304582481154296269512901325689665560260146196401980037039731623/487537381241025597449746394577760667037307128609143658529585469810373260403776878403127771058925622694964405467185904953526242980086011136668963447577566031748774541890798622030461317918398771373312926404589156327736153298087411283472*y^6 + 32652813760635164448040273249116584691773692824288698537630940280362198390327992622535049525737384542515735611213998398719711278204224018592988178742105131260620015417981106693627914021724054979351794558500013041724237247694150835855807/52706743917948713237810421035433585625654824714502017138333564303824136259867770638175975249613580831888043834290368103083918160009298501261509561900277408837705355880086337516806628964151218526844640692388016900295800356549990409024*y^5 + 56236069618077112523995695090401211284012281576518657417610993505572209742775230465006489505145624481067488917187393359313352090631213124620441545296510448638789992240509574781322807638512109945198147044849427710289082376169369359998941/121884345310256399362436598644440166759326782152285914632396367452593315100944219600781942764731405673741101366796476238381560745021502784167240861894391507937193635472699655507615329479599692843328231601147289081934038324521852820868*y^4 - 50451008857181110666118889146024015322761581489794835046129267045556682316975117270598206972785002568740621813876422546768913691789200111897833638663068528300744135172414165499464051415032151978235733227416720848131917884822191508181693/1950149524964102389798985578311042668149228514436574634118341879241493041615107513612511084235702490779857621868743619814104971920344044546675853790310264126995098167563194488121845271673595085493251705618356625310944613192349645133888*y^3 - 8818558621977543277460705634291225110205274119620727483604918081090815153122384880897413438975843425526945900792440550222931042776912115439873438054478052956888629582296482057424353236476716891968583468673063228120451540168929219034253/487537381241025597449746394577760667037307128609143658529585469810373260403776878403127771058925622694964405467185904953526242980086011136668963447577566031748774541890798622030461317918398771373312926404589156327736153298087411283472*y^2 + 57396564713213080945657403685734039323594714077398376218522633673231763596125365551897307392688133035895812716575415472098539315793598595200022920858733069543660786177059651918914430874794359879262327664641919646582068216001852535953/1950149524964102389798985578311042668149228514436574634118341879241493041615107513612511084235702490779857621868743619814104971920344044546675853790310264126995098167563194488121845271673595085493251705618356625310944613192349645133888*y + 482511411197843247077643127014855004797012797849760640780426490895361370850454568438718218520313014075858221828272408407188661056383239401260863333957606364931150938326445726119576271076888299331344906412796427018502831384221101251721/1950149524964102389798985578311042668149228514436574634118341879241493041615107513612511084235702490779857621868743619814104971920344044546675853790310264126995098167563194488121845271673595085493251705618356625310944613192349645133888