# Manifold: Census Knot K7_57 # Number of Tetrahedra: 7 # Number Field x^21 - 1802/377*x^20 + 1083/377*x^19 + 5209/377*x^18 - 9227/377*x^17 + 6745/377*x^16 - 7853/377*x^15 + 214/13*x^14 + 1999/29*x^13 - 27127/377*x^12 + 11586/377*x^11 - 9858/377*x^10 - 16707/377*x^9 + 19004/377*x^8 + 955/377*x^7 - 5534/377*x^6 + 80/29*x^5 + 542/377*x^4 - 15/29*x^3 - 7/377*x^2 + 10/377*x - 1/377 # Approximate Field Generator 0.0206489118314621 - 1.01442480432107*I # Shape Parameters -18777408616152409201894134035025754365934290424078/60834985725716833845712331722336750588797123181*y^20 + 107501435434660700337654591375290828172379728481493/60834985725716833845712331722336750588797123181*y^19 - 143120614220654785665097999115978788562857248856756/60834985725716833845712331722336750588797123181*y^18 - 185120024632425415967470561633902605736694314757098/60834985725716833845712331722336750588797123181*y^17 + 679476399418051311656659257264709765432898903152041/60834985725716833845712331722336750588797123181*y^16 - 819995263819885010694274179823395146642193430582224/60834985725716833845712331722336750588797123181*y^15 + 847044243029630734105983473410181573455750196712440/60834985725716833845712331722336750588797123181*y^14 - 825507021129715869803718056969812632335710948074738/60834985725716833845712331722336750588797123181*y^13 - 847280237551276456578598970928647881034330868275258/60834985725716833845712331722336750588797123181*y^12 + 2429296489366868195539749679161653625323415851818646/60834985725716833845712331722336750588797123181*y^11 - 2090638839452532047407855504936245996968803306638092/60834985725716833845712331722336750588797123181*y^10 + 1506669898362518793979337282076403250176298292063788/60834985725716833845712331722336750588797123181*y^9 + 21360220108521086194526549621785742933674503541847/60834985725716833845712331722336750588797123181*y^8 - 1475974232708756666466530198745905174300185592909503/60834985725716833845712331722336750588797123181*y^7 + 924327035090249503169464661497709822007004488513525/60834985725716833845712331722336750588797123181*y^6 + 22150378370732671001742498113401206656725230952230/60834985725716833845712331722336750588797123181*y^5 - 186691423889148646507464776560889492339084152326812/60834985725716833845712331722336750588797123181*y^4 + 51274675269746952141510410413265833530314113401599/60834985725716833845712331722336750588797123181*y^3 + 4322032563792679627048585835015859342544453480063/60834985725716833845712331722336750588797123181*y^2 - 4227110884726389141490967327935266137939938655227/60834985725716833845712331722336750588797123181*y + 715796485665612083860793831969886039946959342369/60834985725716833845712331722336750588797123181 95709727106714208230574248747998113241472456496327/60834985725716833845712331722336750588797123181*y^20 - 458597227969416943922440585765706368363403334674672/60834985725716833845712331722336750588797123181*y^19 + 283665634789018227091198801440928526767870881752814/60834985725716833845712331722336750588797123181*y^18 + 1301596704813062944934656706311755387722492429116450/60834985725716833845712331722336750588797123181*y^17 - 2340812041634553246781996485863422280578111430555073/60834985725716833845712331722336750588797123181*y^16 + 1780401544529215448439480788127908942177990563512361/60834985725716833845712331722336750588797123181*y^15 - 2114831726922075299355571633092437294173768219282426/60834985725716833845712331722336750588797123181*y^14 + 1698892028835209657315265817680450520332543547295083/60834985725716833845712331722336750588797123181*y^13 + 6471696149188703449114457351862018296367751828114382/60834985725716833845712331722336750588797123181*y^12 - 6865654598742716595160156868339081108797845907007437/60834985725716833845712331722336750588797123181*y^11 + 3217753776420869213645638285410409583155296211205766/60834985725716833845712331722336750588797123181*y^10 - 2871473138498595513719949346133314668156633849786342/60834985725716833845712331722336750588797123181*y^9 - 3986724403683400568863827786573596806692017967121806/60834985725716833845712331722336750588797123181*y^8 + 4703521653523488237341838518893406850718395349603311/60834985725716833845712331722336750588797123181*y^7 + 104189622600788002163241026928065012620544094970744/60834985725716833845712331722336750588797123181*y^6 - 1191240252986974897460096435799372696598946400474394/60834985725716833845712331722336750588797123181*y^5 + 211374435271064435599065038570197611278654812374470/60834985725716833845712331722336750588797123181*y^4 + 104200395228042642906525540305405297937116309333103/60834985725716833845712331722336750588797123181*y^3 - 31581850684502091184381452900098384315180121112592/60834985725716833845712331722336750588797123181*y^2 - 2596008616855448273431470546181364495286920807580/60834985725716833845712331722336750588797123181*y + 1376848179500424861308859891717216082024426842397/60834985725716833845712331722336750588797123181 1130678252763009339495061537023424986858408789952946567/1257033310050486937753953910378644277416314956289003*y^20 - 5457983136509619937698172043500842612642467631035715882/1257033310050486937753953910378644277416314956289003*y^19 + 7098912817553569181084483997778991319937960635665282803/2514066620100973875507907820757288554832629912578006*y^18 + 30453710027810720521817096124153903062871385377278810003/2514066620100973875507907820757288554832629912578006*y^17 - 56325727255958665813913180509647691441657688274625326087/2514066620100973875507907820757288554832629912578006*y^16 + 22080710686552705628200105452784252878103940857603244430/1257033310050486937753953910378644277416314956289003*y^15 - 25935551907407390750055898056661242484743228130052286877/1257033310050486937753953910378644277416314956289003*y^14 + 42336384369779144504765963527375821396056080394937619279/2514066620100973875507907820757288554832629912578006*y^13 + 151120238042067141744111962304757435744116581605311528025/2514066620100973875507907820757288554832629912578006*y^12 - 167314488206726582661605591524833835787914486074455823937/2514066620100973875507907820757288554832629912578006*y^11 + 82407295948396186842484514616536889268304671007939234877/2514066620100973875507907820757288554832629912578006*y^10 - 36024736716987894271050517295110563601547163521215465003/1257033310050486937753953910378644277416314956289003*y^9 - 45408625927698373224623438892349971783087807562029664952/1257033310050486937753953910378644277416314956289003*y^8 + 114043693420110596634493194605566563396337403750144483081/2514066620100973875507907820757288554832629912578006*y^7 - 1747842065526676689923899538052278009196471671484277243/2514066620100973875507907820757288554832629912578006*y^6 - 13596403191284705448915207724169388876471103962694588204/1257033310050486937753953910378644277416314956289003*y^5 + 5547060086722983274302377492651705139439518074412536875/2514066620100973875507907820757288554832629912578006*y^4 + 1004099404195698261159828034612365432266904646186553773/1257033310050486937753953910378644277416314956289003*y^3 - 336577985124932851433895165212106863251307167567756730/1257033310050486937753953910378644277416314956289003*y^2 - 22928159788460571141887258517930292065598947803791441/2514066620100973875507907820757288554832629912578006*y + 20099681056570342813016434345345852477684478469673785/2514066620100973875507907820757288554832629912578006 1130678252763009339495061537023424986858408789952946567/1257033310050486937753953910378644277416314956289003*y^20 - 5457983136509619937698172043500842612642467631035715882/1257033310050486937753953910378644277416314956289003*y^19 + 7098912817553569181084483997778991319937960635665282803/2514066620100973875507907820757288554832629912578006*y^18 + 30453710027810720521817096124153903062871385377278810003/2514066620100973875507907820757288554832629912578006*y^17 - 56325727255958665813913180509647691441657688274625326087/2514066620100973875507907820757288554832629912578006*y^16 + 22080710686552705628200105452784252878103940857603244430/1257033310050486937753953910378644277416314956289003*y^15 - 25935551907407390750055898056661242484743228130052286877/1257033310050486937753953910378644277416314956289003*y^14 + 42336384369779144504765963527375821396056080394937619279/2514066620100973875507907820757288554832629912578006*y^13 + 151120238042067141744111962304757435744116581605311528025/2514066620100973875507907820757288554832629912578006*y^12 - 167314488206726582661605591524833835787914486074455823937/2514066620100973875507907820757288554832629912578006*y^11 + 82407295948396186842484514616536889268304671007939234877/2514066620100973875507907820757288554832629912578006*y^10 - 36024736716987894271050517295110563601547163521215465003/1257033310050486937753953910378644277416314956289003*y^9 - 45408625927698373224623438892349971783087807562029664952/1257033310050486937753953910378644277416314956289003*y^8 + 114043693420110596634493194605566563396337403750144483081/2514066620100973875507907820757288554832629912578006*y^7 - 1747842065526676689923899538052278009196471671484277243/2514066620100973875507907820757288554832629912578006*y^6 - 13596403191284705448915207724169388876471103962694588204/1257033310050486937753953910378644277416314956289003*y^5 + 5547060086722983274302377492651705139439518074412536875/2514066620100973875507907820757288554832629912578006*y^4 + 1004099404195698261159828034612365432266904646186553773/1257033310050486937753953910378644277416314956289003*y^3 - 336577985124932851433895165212106863251307167567756730/1257033310050486937753953910378644277416314956289003*y^2 - 22928159788460571141887258517930292065598947803791441/2514066620100973875507907820757288554832629912578006*y + 20099681056570342813016434345345852477684478469673785/2514066620100973875507907820757288554832629912578006 -2877877676328986398184913161909629047539329710352463212/1257033310050486937753953910378644277416314956289003*y^20 + 13900408339258187511631643329405842043098876647037690871/1257033310050486937753953910378644277416314956289003*y^19 - 9460767554477474151670364758235530828390598977172421560/1257033310050486937753953910378644277416314956289003*y^18 - 36936135285019464204389985954008306895135525548987636190/1257033310050486937753953910378644277416314956289003*y^17 + 70859021885181531866707971845167899934814657650093407957/1257033310050486937753953910378644277416314956289003*y^16 - 61556963368211373207259559951373000494689626190887208214/1257033310050486937753953910378644277416314956289003*y^15 + 74731202154555980003726573355062134892323539851550284328/1257033310050486937753953910378644277416314956289003*y^14 - 60673327757546156702513364954693894164197025962487303165/1257033310050486937753953910378644277416314956289003*y^13 - 183407370501071446734874514835392587504176219851436637824/1257033310050486937753953910378644277416314956289003*y^12 + 206929781978772803886982537870704549214080908484504064961/1257033310050486937753953910378644277416314956289003*y^11 - 131321391909399622204109726730114111893447901213327818881/1257033310050486937753953910378644277416314956289003*y^10 + 115008458167769988784726606243360558639279445201153986294/1257033310050486937753953910378644277416314956289003*y^9 + 102398745986773411663771768231870392029684689917602045802/1257033310050486937753953910378644277416314956289003*y^8 - 132411314315138967614147943318421589645769773549505153755/1257033310050486937753953910378644277416314956289003*y^7 + 18633194700069739495241551729184059502380829074146989172/1257033310050486937753953910378644277416314956289003*y^6 + 19773991498689389682449739766482101636400415403528014249/1257033310050486937753953910378644277416314956289003*y^5 - 7831353446355807867558194779913170040107113516448734192/1257033310050486937753953910378644277416314956289003*y^4 + 29406043970210746494308420281602201490202021394828367/1257033310050486937753953910378644277416314956289003*y^3 + 489043308561310452686873644560082760960032340028184191/1257033310050486937753953910378644277416314956289003*y^2 - 92208851769897780299830302004026217535815248622606212/1257033310050486937753953910378644277416314956289003*y + 7311129868781511922671936138201753274045122345565472/1257033310050486937753953910378644277416314956289003 19233595304583924800990712497843670845166298161368/60834985725716833845712331722336750588797123181*y^20 - 96082677734855223136155614353318036401469723556142/60834985725716833845712331722336750588797123181*y^19 + 76951740086613064334344413040346837099039008080650/60834985725716833845712331722336750588797123181*y^18 + 244315795354577003834701506969029062323853172916120/60834985725716833845712331722336750588797123181*y^17 - 519500820373098108106441259603282008998620526919845/60834985725716833845712331722336750588797123181*y^16 + 468025147627550258184495732600361983080698237108473/60834985725716833845712331722336750588797123181*y^15 - 527855987285420950179254038662173376677554391924700/60834985725716833845712331722336750588797123181*y^14 + 455587629626603182900107500123092032546391494652059/60834985725716833845712331722336750588797123181*y^13 + 1199909858605856027163909270686835053946842238372162/60834985725716833845712331722336750588797123181*y^12 - 1619473717431474849489175904089776274795269392575629/60834985725716833845712331722336750588797123181*y^11 + 999244525393206707610964550248817286320606504007862/60834985725716833845712331722336750588797123181*y^10 - 799139420256148861686726035843121061811239544528776/60834985725716833845712331722336750588797123181*y^9 - 619431561424311853842069746401875213888067413568260/60834985725716833845712331722336750588797123181*y^8 + 1066541194696682865807032698606548507035244831042012/60834985725716833845712331722336750588797123181*y^7 - 206529533596019978199892279154233418002070329789346/60834985725716833845712331722336750588797123181*y^6 - 182718907102782845650013390335564543483012539293441/60834985725716833845712331722336750588797123181*y^5 + 77129066292258618804964324504299993774551405906129/60834985725716833845712331722336750588797123181*y^4 + 1455937258780672225504783226604060320295107634703/60834985725716833845712331722336750588797123181*y^3 - 5628185354015459311256359032327109971400600887409/60834985725716833845712331722336750588797123181*y^2 + 857036538768367947673888649205725998077960081697/60834985725716833845712331722336750588797123181*y + 32638077265979653097978186045221690245752223553/60834985725716833845712331722336750588797123181 804000299796061442885433444828975271965899742465493/60834985725716833845712331722336750588797123181*y^20 - 3684982873501879134294143861939041007719266086995904/60834985725716833845712331722336750588797123181*y^19 + 1565535656118031191874995122010564754331264973706776/60834985725716833845712331722336750588797123181*y^18 + 11516194275068350988642174286808635756717841304808529/60834985725716833845712331722336750588797123181*y^17 - 17495384754623580872789356995373411916018720056663448/60834985725716833845712331722336750588797123181*y^16 + 10693848275530045647416218240064488621208876033728760/60834985725716833845712331722336750588797123181*y^15 - 14104321601370747814442701236509859890389230160313200/60834985725716833845712331722336750588797123181*y^14 + 9973445790941214965761459337221699866535154267172600/60834985725716833845712331722336750588797123181*y^13 + 57929817252297783510607037784147747293301124808416984/60834985725716833845712331722336750588797123181*y^12 - 46942767145490419684266753077824342548574150970451964/60834985725716833845712331722336750588797123181*y^11 + 14244814106048413779967936932969085168184311757877210/60834985725716833845712331722336750588797123181*y^10 - 16526665199455486206821569954179180674825146285495131/60834985725716833845712331722336750588797123181*y^9 - 39923000188982431087365289162364221410488696359578251/60834985725716833845712331722336750588797123181*y^8 + 33515895084550245101439134785100856970113105095047685/60834985725716833845712331722336750588797123181*y^7 + 9262939065767056575816025504231881970990631887451194/60834985725716833845712331722336750588797123181*y^6 - 11097241125356354194557791258059554803440520138897678/60834985725716833845712331722336750588797123181*y^5 + 262496400759413126201430515782567938012681265868815/60834985725716833845712331722336750588797123181*y^4 + 1400833795784708721163137402481774057041722080173225/60834985725716833845712331722336750588797123181*y^3 - 224062544827914211018441078111089872622623868015269/60834985725716833845712331722336750588797123181*y^2 - 60902536500955044055731330632214478062981922023434/60834985725716833845712331722336750588797123181*y + 15294407574769556114328775522289802503798083328410/60834985725716833845712331722336750588797123181 # A Gluing Matrix {{2,-1,0,0,0,0,0},{-1,2,-1,-1,-1,0,0},{0,-1,1,1,1,1,0},{0,-1,0,2,1,1,0},{0,-1,1,1,3,1,0},{0,0,1,1,1,1,1},{0,0,0,0,0,1,0}} # B Gluing Matrix {{2,0,0,0,0,0,0},{0,2,0,0,0,0,0},{0,0,1,1,0,0,0},{0,0,0,2,0,0,0},{0,0,0,0,2,0,0},{0,0,0,0,0,2,0},{0,0,0,0,0,0,2}} # nu Gluing Vector {0, 0, 2, 2, 2, 2, 2} # f Combinatorial flattening {-8, -16, -18, -10, 4, 2, 24} # f' Combinatorial flattening {0, 0, 8, 0, 0, 0, 0} # 1 Loop Invariant 53523546855979495518873528674139600510094776254223215207/2514066620100973875507907820757288554832629912578006*y^20 - 229631011818737999470910033436232334132358010549494337991/2514066620100973875507907820757288554832629912578006*y^19 + 26428784694377162419718836211782074334196752922474925011/2514066620100973875507907820757288554832629912578006*y^18 + 413396335742206215113560598425522602719927815072479841122/1257033310050486937753953910378644277416314956289003*y^17 - 964264917658001432849810402900591264740658561381012875381/2514066620100973875507907820757288554832629912578006*y^16 + 296492649873500828210833124851891043135017184937662998109/2514066620100973875507907820757288554832629912578006*y^15 - 569804321261984739768335531043122587022746031882993746649/2514066620100973875507907820757288554832629912578006*y^14 + 240876852616698497317002756213136832723132817148023522325/2514066620100973875507907820757288554832629912578006*y^13 + 4217798763740365092989938286476738895866860141302351131505/2514066620100973875507907820757288554832629912578006*y^12 - 2139000103174141235852373902744355837584978597249702280171/2514066620100973875507907820757288554832629912578006*y^11 - 165636024786623186924427396879110498187696484427410644782/1257033310050486937753953910378644277416314956289003*y^10 - 320788275704377559499540742830583534439419091232249466837/2514066620100973875507907820757288554832629912578006*y^9 - 1651568025695086559967878872327201131880874087104962518073/1257033310050486937753953910378644277416314956289003*y^8 + 1708822452900739528294599519472888831160791545240451772207/2514066620100973875507907820757288554832629912578006*y^7 + 1455218621992823142691179618548679154066651455370626324279/2514066620100973875507907820757288554832629912578006*y^6 - 441867065586430399552055973973779104879247222669653127991/1257033310050486937753953910378644277416314956289003*y^5 - 123815946647496704199437654298575498693510554130899584755/2514066620100973875507907820757288554832629912578006*y^4 + 75149955786082453846175123479177453843190348357563424379/1257033310050486937753953910378644277416314956289003*y^3 - 6638705438049807936535324514482917638600978817676347432/1257033310050486937753953910378644277416314956289003*y^2 - 4085410110037059503811018081388652599633897646056211873/1257033310050486937753953910378644277416314956289003*y + 1589571138525008968371570627634514017642957330925762275/2514066620100973875507907820757288554832629912578006 # 2 Loop Invariant -8845623463110954134370624522926192831440463485027896741770990766722077261680100598554254571492985631596266622790176760745/61501682859524043204128844789783790311151919514572898956025789677406209972790048869765348732196438825073444795197238966*y^20 + 995485365552068552517550489367644523910150538332979338148511947012064708094033622534987769824469824484678300238076748388817/1476040388628577036899092274954810967467646068349749574944618952257749039346961172874368369572714531801762675084733735184*y^19 - 560877999919357967509274164038942017426063573431215046729679918779633170217110143789553269136581304565098893535576698800373/1476040388628577036899092274954810967467646068349749574944618952257749039346961172874368369572714531801762675084733735184*y^18 - 928909262074716574893709727027740483572238745224375199167104957384129984577428514757077740833274291836457237725958443881775/492013462876192345633030758318270322489215356116583191648206317419249679782320390958122789857571510600587558361577911728*y^17 + 2408969307625085111536239320663204880750840570165826678674314131479798010511064185436071943010763487513094376053847739990959/738020194314288518449546137477405483733823034174874787472309476128874519673480586437184184786357265900881337542366867592*y^16 - 20971154355898221560860850270252377342635955746470444548924834235424929740502832388744495728104469385385372587989161702643/7935701014132134606984367069649521330471215421235212768519456732568543222295490176743915965444701783880444489702869544*y^15 + 1264679102233040648056619615360724596874960791196695020051399039958718317258046515843096895257453619978285630447835054353115/369010097157144259224773068738702741866911517087437393736154738064437259836740293218592092393178632950440668771183433796*y^14 - 1929730897017005231828550172124765295112431456991978100157951636472727601714889960531150912879740629631699391508240548948391/738020194314288518449546137477405483733823034174874787472309476128874519673480586437184184786357265900881337542366867592*y^13 - 13964180095723352531482826042891595595016844487946979151649632970042263104856310025734437217915423499812421388989679607885159/1476040388628577036899092274954810967467646068349749574944618952257749039346961172874368369572714531801762675084733735184*y^12 + 274886766131474759440815603468412917891089884176524277021828909113893263839026316980156881831349208734166475217232535774483/30750841429762021602064422394891895155575959757286449478012894838703104986395024434882674366098219412536722397598619483*y^11 - 4005348136007423462627324421319612789309000404266794027289128532587841415687813294536902433464981545521025238183636237091077/738020194314288518449546137477405483733823034174874787472309476128874519673480586437184184786357265900881337542366867592*y^10 + 1916465893894965383851629613813672793950142215821562686861002519321740641822412113510296432723685986325747682816646333647547/369010097157144259224773068738702741866911517087437393736154738064437259836740293218592092393178632950440668771183433796*y^9 + 1402594138183228649665722478727504097939576461333203780623881762201311483687496328161386261913012479821229447395098121927979/246006731438096172816515379159135161244607678058291595824103158709624839891160195479061394928785755300293779180788955864*y^8 - 4196653804123975684581822946033470525358087440310665646223784983353548682034930439588510281656247091602104827026639040401351/738020194314288518449546137477405483733823034174874787472309476128874519673480586437184184786357265900881337542366867592*y^7 + 84075891297714858634012672290117827843371270081941537983762736424777954767790401764014533766213808638101582401696197409739/492013462876192345633030758318270322489215356116583191648206317419249679782320390958122789857571510600587558361577911728*y^6 + 434326270955116877261904522014698215281757772040066450302354261130292865381819939357641264015829365546137909424695969509573/492013462876192345633030758318270322489215356116583191648206317419249679782320390958122789857571510600587558361577911728*y^5 - 334705808574798259888287420189036067904243219512520518623552067113498606224970393464145594248211704206420140136884649603909/1476040388628577036899092274954810967467646068349749574944618952257749039346961172874368369572714531801762675084733735184*y^4 - 980339686970862793837104086922604687931313303350063736923166384384745135340403594260354324026279580487752926406127455059/47614206084792807641906202417897127982827292527411276611116740395411259333772941060463495792668210703282666938217217264*y^3 + 23174897811603851333556791080612124646411912572120054135667231617787563666821587201213675525331359634240545711935593254419/1476040388628577036899092274954810967467646068349749574944618952257749039346961172874368369572714531801762675084733735184*y^2 - 2635019897183625996519209046962164750588288665582283415836051031221140864087873341534857062699627728867757376326138666023/1476040388628577036899092274954810967467646068349749574944618952257749039346961172874368369572714531801762675084733735184*y + 3309813428212246856547708988055531163354163680023547126652483833722560455850840583107190575452835402280723260181013251789/184505048578572129612386534369351370933455758543718696868077369032218629918370146609296046196589316475220334385591716898 # 3 Loop Invariant -497187328508410608740298010726133804766330558480681699066342436992113823322158767193447755184406332566331672106271913487647321048973232087998053379581428905/4867008345393881835782156883012375042412225392438999555704085598480980195125673592038184543747747081438847649386789895134440745424829968013599206541616736*y^20 + 5150922768025550202289493104324281909924108580646624702830253137926216318267540864568249263308606804850884696534052275739916012413768260190554532941566424941/9734016690787763671564313766024750084824450784877999111408171196961960390251347184076369087495494162877695298773579790268881490849659936027198413083233472*y^19 - 4895124485605016324890419112704871559227138019659749183949343524998379278316081710764303473792469615567522975522214465010987175013511669162075394554713107909/9734016690787763671564313766024750084824450784877999111408171196961960390251347184076369087495494162877695298773579790268881490849659936027198413083233472*y^18 - 2971796159113853848058343628155237496697369734215762644954888848732411750611731399401757336651575072549051343621566923991669362450445495405217360312610395143/2433504172696940917891078441506187521206112696219499777852042799240490097562836796019092271873873540719423824693394947567220372712414984006799603270808368*y^17 + 14575827840910134445255187975013897709745067963129258471018190166044891593280734052180848622815516445849179884549464127112597240012213012886702988140378295127/4867008345393881835782156883012375042412225392438999555704085598480980195125673592038184543747747081438847649386789895134440745424829968013599206541616736*y^16 - 14574045967690231601512131003111150311505394707251702436389414304965665466386696929721816990627376210145620594614983619971719907308838246513164694428537617327/4867008345393881835782156883012375042412225392438999555704085598480980195125673592038184543747747081438847649386789895134440745424829968013599206541616736*y^15 + 31861897484181503389197854117184537180458880709471226821032569192551295142139167728717307854161949191197414300232257877021039311696481203877875880360857516781/9734016690787763671564313766024750084824450784877999111408171196961960390251347184076369087495494162877695298773579790268881490849659936027198413083233472*y^14 - 14366362652034979825202014416751357404424289781678526410494297345776239272085294119675456238344811189146001567715444745639706535633975502663173060946896666747/4867008345393881835782156883012375042412225392438999555704085598480980195125673592038184543747747081438847649386789895134440745424829968013599206541616736*y^13 - 14388037289870490261184872764288063866212649596040259525599960284376412961567586129716330619257255239799559217202182670646399444056446198482478592488156034427/2433504172696940917891078441506187521206112696219499777852042799240490097562836796019092271873873540719423824693394947567220372712414984006799603270808368*y^12 + 94970172455650907872791408990195226554305782759404940600193671255033060259270926314410890750704891232122270895356679254815422967943386966546102392224042357193/9734016690787763671564313766024750084824450784877999111408171196961960390251347184076369087495494162877695298773579790268881490849659936027198413083233472*y^11 - 16754264603671190511009292795091550146126572067849073963652329938424540602907891666684955533745195181983678840597204247531919547234834643608489281182026613369/2433504172696940917891078441506187521206112696219499777852042799240490097562836796019092271873873540719423824693394947567220372712414984006799603270808368*y^10 + 12850336160928507120908224984467307176328410347531986466202444472688683556803391171060518283184915065504813653424341983607310411070276373430012634903704483717/2433504172696940917891078441506187521206112696219499777852042799240490097562836796019092271873873540719423824693394947567220372712414984006799603270808368*y^9 + 6051674333160104421700614688513934314428622655642278441100845771603893195864004454626008922159992118201454746113669907203497864654196022045551710071967095397/2433504172696940917891078441506187521206112696219499777852042799240490097562836796019092271873873540719423824693394947567220372712414984006799603270808368*y^8 - 7571488913221902080349422606400417056731752118220053776361137704341847589271583515953796433667347165928420187200572111357888266625375380404791229300759076951/1216752086348470458945539220753093760603056348109749888926021399620245048781418398009546135936936770359711912346697473783610186356207492003399801635404184*y^7 + 20751286688581967090372699900432594945904592452145753851689645751978131331468525085063203145817582223944083560911745183415169440434229999401496784882104142633/9734016690787763671564313766024750084824450784877999111408171196961960390251347184076369087495494162877695298773579790268881490849659936027198413083233472*y^6 + 3619483088518520563763165484731993494337537638744352483061039273871893686199927426777928116213681147016684710312055456532963844322685630225108346330297417427/4867008345393881835782156883012375042412225392438999555704085598480980195125673592038184543747747081438847649386789895134440745424829968013599206541616736*y^5 - 89688229258676749464261032144065531463133650467141832686936462212411314605724483059756043254943298379310489555084829093392992586070849520784250908087865483/157000269206254252767166351064915323948781464272225792119486632209063877262118502968973694959604744562543472560864190165627120820155805419793522791665056*y^4 + 628363068179177266260066345519910374146253108820758819796788995109250230126449364821907900602737716290212543434457835412364182497700911024449061286766706113/9734016690787763671564313766024750084824450784877999111408171196961960390251347184076369087495494162877695298773579790268881490849659936027198413083233472*y^3 + 8997917340059418657733473823016115406202435899453058487787713844265529779084298857779606003831950719003928153065886600004583156510599041604884218272621527/304188021587117614736384805188273440150764087027437472231505349905061262195354599502386533984234192589927978086674368445902546589051873000849950408851046*y^2 - 91394816637626318690718395366327912252698256889672435233073365815119398794411364961666166223427177216864886560847458009632613762970526924575473939343320439/9734016690787763671564313766024750084824450784877999111408171196961960390251347184076369087495494162877695298773579790268881490849659936027198413083233472*y + 1833883985266630538221209634672788812405497391440715599255792682897543906817817810476982417999078746023939164503184357376823255291603005666888036242302317/2433504172696940917891078441506187521206112696219499777852042799240490097562836796019092271873873540719423824693394947567220372712414984006799603270808368