# Manifold: Census Knot K7_63 # Number of Tetrahedra: 7 # Number Field x^20 + x^19 + 8*x^18 - 15*x^17 - 42*x^16 - 18*x^15 - 63*x^14 + 78*x^13 + 254*x^12 + 183*x^11 + 307*x^10 + 349*x^9 + 132*x^8 - 87*x^7 - 96*x^6 + 92*x^5 + 41*x^4 - 61*x^3 - 9*x^2 + 9*x - 1 # Approximate Field Generator -0.0313577564883683 + 1.55779865733593*I # Shape Parameters -464441598210969268251/8495757965293525352453*y^19 + 2804977902635042819936/8495757965293525352453*y^18 - 2112974712488366445266/8495757965293525352453*y^17 + 32310022303413833411209/8495757965293525352453*y^16 - 1142407646532296140192/229615080143068252769*y^15 - 97439703331888650564093/8495757965293525352453*y^14 + 25832945684643423735144/8495757965293525352453*y^13 - 245034591046485360758828/8495757965293525352453*y^12 + 241300779462070959526775/8495757965293525352453*y^11 + 559740120896707894300221/8495757965293525352453*y^10 + 114750811034705926201537/8495757965293525352453*y^9 + 738498214565264678173711/8495757965293525352453*y^8 + 633155332768134892654412/8495757965293525352453*y^7 + 147327342865093624162497/8495757965293525352453*y^6 - 6638762128626157027775/229615080143068252769*y^5 - 182725051050792206274504/8495757965293525352453*y^4 + 369770726701229068061611/8495757965293525352453*y^3 - 46112078754033203757130/8495757965293525352453*y^2 - 146733636435153835351925/8495757965293525352453*y + 60068119772432961147397/8495757965293525352453 -2496696777570797849259/33983031861174101409812*y^19 + 4414606095501354054361/33983031861174101409812*y^18 - 20899671035681224771375/33983031861174101409812*y^17 + 91437428648693531731271/33983031861174101409812*y^16 - 1652344613553626226291/918460320572273011076*y^15 - 19070299537503688449553/8495757965293525352453*y^14 + 53783945244774233669638/8495757965293525352453*y^13 - 628556894616204313389267/33983031861174101409812*y^12 + 419645635465322893956017/33983031861174101409812*y^11 + 270489524008626127054271/33983031861174101409812*y^10 - 144994827998313286897512/8495757965293525352453*y^9 + 650085620025597489593113/33983031861174101409812*y^8 + 11265524326919661635533/8495757965293525352453*y^7 - 17082019854547531756793/16991515930587050704906*y^6 - 18563083466116805237831/918460320572273011076*y^5 - 187450110742518931275077/33983031861174101409812*y^4 + 555499099470930520882429/33983031861174101409812*y^3 - 162486890837015894001735/16991515930587050704906*y^2 - 94110643032502318965433/33983031861174101409812*y + 109657179889926469160263/33983031861174101409812 49549785674226762662627/33983031861174101409812*y^19 + 8553653476709818477182/8495757965293525352453*y^18 + 408983774149131181870961/33983031861174101409812*y^17 - 212506589703518082557150/8495757965293525352453*y^16 - 43928619128263529728903/918460320572273011076*y^15 - 756543262055849837571213/33983031861174101409812*y^14 - 3723381072556395950560377/33983031861174101409812*y^13 + 2277837874212639244065783/16991515930587050704906*y^12 + 9427837739301182217165847/33983031861174101409812*y^11 + 4016592534299775888736019/16991515930587050704906*y^10 + 4395342994735070090240699/8495757965293525352453*y^9 + 16256929053445590618509835/33983031861174101409812*y^8 + 10046741782645904019585017/33983031861174101409812*y^7 + 1214527586414013921066691/33983031861174101409812*y^6 + 4130310789139397960115/459230160286136505538*y^5 + 5209552818360734207524085/33983031861174101409812*y^4 + 134582869590878352914539/16991515930587050704906*y^3 - 365668705744455323150011/16991515930587050704906*y^2 + 316624272031059795444527/33983031861174101409812*y - 32506642081887119157183/16991515930587050704906 -8375141611722030700904/8495757965293525352453*y^19 - 9050241871497325587871/8495757965293525352453*y^18 - 70656751486165697325091/8495757965293525352453*y^17 + 117286936071808284032128/8495757965293525352453*y^16 + 9107234668371841919188/229615080143068252769*y^15 + 223093241409596185825881/8495757965293525352453*y^14 + 655207384168349276604268/8495757965293525352453*y^13 - 542015443566733479815290/8495757965293525352453*y^12 - 1949673015282277990875433/8495757965293525352453*y^11 - 1917803519014578095470381/8495757965293525352453*y^10 - 3365492708431346058843579/8495757965293525352453*y^9 - 3749321705136518002069824/8495757965293525352453*y^8 - 2501634685912478444699760/8495757965293525352453*y^7 - 593651258106538323531361/8495757965293525352453*y^6 + 1909301578515182076812/229615080143068252769*y^5 - 868363278863398067196938/8495757965293525352453*y^4 - 378886438430253659636684/8495757965293525352453*y^3 + 171097294515281273413960/8495757965293525352453*y^2 + 17417572028225560105363/8495757965293525352453*y - 14857144125524336585479/8495757965293525352453 -7377543190669966136881/8495757965293525352453*y^19 - 8715272085864085931258/8495757965293525352453*y^18 - 63327968565677225345143/8495757965293525352453*y^17 + 97206404234861608937997/8495757965293525352453*y^16 + 8240144712509862580013/229615080143068252769*y^15 + 234243890500696573990964/8495757965293525352453*y^14 + 598090932957356034228965/8495757965293525352453*y^13 - 420794685613597451745890/8495757965293525352453*y^12 - 1746293989839282184141978/8495757965293525352453*y^11 - 1912688881186447772902213/8495757965293525352453*y^10 - 3138576429853960375482445/8495757965293525352453*y^9 - 3615428622723485802972312/8495757965293525352453*y^8 - 2597520387850317186131883/8495757965293525352453*y^7 - 747540231159507508827707/8495757965293525352453*y^6 + 67312398756040317688/229615080143068252769*y^5 - 732962685924162670743508/8495757965293525352453*y^4 - 430289423950168860006515/8495757965293525352453*y^3 + 107335460396441704623859/8495757965293525352453*y^2 + 53113669354551942769283/8495757965293525352453*y - 2941108751212312888150/8495757965293525352453 17387575897603064525402/8495757965293525352453*y^19 + 15428505940455554590907/8495757965293525352453*y^18 + 142432194937956387142764/8495757965293525352453*y^17 - 275379527605225982430819/8495757965293525352453*y^16 - 17801554263038269262180/229615080143068252769*y^15 - 343245497909804238952900/8495757965293525352453*y^14 - 1187087469130928281720523/8495757965293525352453*y^13 + 1468502973686457671336407/8495757965293525352453*y^12 + 3919312794840662669756157/8495757965293525352453*y^11 + 3366946241097966282764246/8495757965293525352453*y^10 + 5732092146107798974302117/8495757965293525352453*y^9 + 5938012580914910255249613/8495757965293525352453*y^8 + 2979718352527058054590386/8495757965293525352453*y^7 - 934597484067504916264121/8495757965293525352453*y^6 - 33916309559808420955871/229615080143068252769*y^5 + 1268276856470736625239159/8495757965293525352453*y^4 + 481547636814280288195187/8495757965293525352453*y^3 - 683427565018368185366005/8495757965293525352453*y^2 - 192274211966606994952329/8495757965293525352453*y + 51111466117037847268629/8495757965293525352453 144757105932215998837751/33983031861174101409812*y^19 + 8725576287260893179293/8495757965293525352453*y^18 + 1135250200003492342840685/33983031861174101409812*y^17 - 757699509645353062031022/8495757965293525352453*y^16 - 101350002174105238209347/918460320572273011076*y^15 + 173046861011619177360659/33983031861174101409812*y^14 - 9366174596224349553855557/33983031861174101409812*y^13 + 9180620445994760311157941/16991515930587050704906*y^12 + 22574195361316089938461307/33983031861174101409812*y^11 + 4867829561759615357478275/16991515930587050704906*y^10 + 9433151394134337064924761/8495757965293525352453*y^9 + 22389015812127790607527083/33983031861174101409812*y^8 + 3306562044235852988935537/33983031861174101409812*y^7 - 14092234221098678573228701/33983031861174101409812*y^6 - 36776967451152354756523/459230160286136505538*y^5 + 15191929195681959679653525/33983031861174101409812*y^4 - 2881728623795269640455181/16991515930587050704906*y^3 - 2091553969910584915962589/16991515930587050704906*y^2 + 1786790272042207954948083/33983031861174101409812*y - 72438682875454220808953/16991515930587050704906 # A Gluing Matrix {{1,0,0,-2,2,0,0},{0,1,0,-1,1,0,0},{0,0,1,-2,1,0,0},{-1,-1,-2,0,1,-2,-1},{1,1,1,1,-1,2,1},{0,0,0,-2,2,-1,-1},{0,0,0,-2,2,-2,-1}} # B Gluing Matrix {{2,0,0,0,0,0,0},{0,1,0,0,0,0,0},{0,0,1,0,0,0,0},{0,0,0,1,0,0,0},{0,0,0,0,1,0,0},{0,0,0,0,0,1,0},{0,0,0,0,0,0,2}} # nu Gluing Vector {2, 1, 1, 0, 1, 1, 2} # f Combinatorial flattening {-2, -1, 4, 5, 7, -1, 4} # f' Combinatorial flattening {0, 0, 0, 0, 0, 0, 0} # 1 Loop Invariant 117324095854741611820211/16991515930587050704906*y^19 - 24628205939212737070049/16991515930587050704906*y^18 + 1096085075239787927408087/16991515930587050704906*y^17 - 2791363103137456275810951/16991515930587050704906*y^16 - 10923059806625360445741/459230160286136505538*y^15 - 1092598525719281515854291/8495757965293525352453*y^14 - 6472057649683776979469210/8495757965293525352453*y^13 + 16610609108513094598919273/16991515930587050704906*y^12 - 853676196036140979264287/16991515930587050704906*y^11 + 21306623765140018260436089/16991515930587050704906*y^10 + 29170892444573871759101017/8495757965293525352453*y^9 + 28985177955234563498725113/16991515930587050704906*y^8 + 23633295639871046180315275/8495757965293525352453*y^7 + 14500865164554060537759418/8495757965293525352453*y^6 + 552521773883125335585471/459230160286136505538*y^5 - 2756387283504926208096963/16991515930587050704906*y^4 - 15606244722978062241796477/16991515930587050704906*y^3 + 6531165702568767944405718/8495757965293525352453*y^2 + 1647100944502298481612863/16991515930587050704906*y - 6307158110850562919607633/16991515930587050704906 # 2 Loop Invariant 107592648458816120348574624494156630750525391378171729216495409870887663683956324805/2315359722686101585187378594359426815951254195115973593886877478709934741498478133752*y^19 + 49389977423129546358620986861539589933881090633708129053354001262171698236378456563/578839930671525396296844648589856703987813548778993398471719369677483685374619533438*y^18 + 464892272764698775632367457841111375850274464145183180641166500676354750056406135225/1157679861343050792593689297179713407975627097557986796943438739354967370749239066876*y^17 - 890923477257118002606159370006531643469454934840957545099788745099258453654350805645/2315359722686101585187378594359426815951254195115973593886877478709934741498478133752*y^16 - 54308580470954164247858266725625050858361901349651903823960956625180513511288791645/20859096600775689956643050399634475819380668424468230575557454763152565238725028232*y^15 - 10430483957152448221578927124995216118766194586683884184943004179953934278855012191551/4630719445372203170374757188718853631902508390231947187773754957419869482996956267504*y^14 - 1335160765950724658022861622231118788965358020258879191226333376791159511621843287321/385893287114350264197896432393237802658542365852662265647812913118322456916413022292*y^13 + 301280880855113316649162926539638936017360708197376238453659324362582290997907431654/289419965335762698148422324294928351993906774389496699235859684838741842687309766719*y^12 + 71469849854900797641580365984674169836009211756071990215924052601755633917884583552853/4630719445372203170374757188718853631902508390231947187773754957419869482996956267504*y^11 + 26275521353705318582953118975521043258992306097664155983867343817010941446948444418797/1543573148457401056791585729572951210634169463410649062591251652473289827665652089168*y^10 + 47135852724882156458625748297094001851482650577832416655446488407840522524467165260821/2315359722686101585187378594359426815951254195115973593886877478709934741498478133752*y^9 + 65534292759326068090836154500295907612499862030272273372027385972468077480620281816715/2315359722686101585187378594359426815951254195115973593886877478709934741498478133752*y^8 + 20256271254428019759563220489124585759509673093044173354567897949872151252862671427273/1157679861343050792593689297179713407975627097557986796943438739354967370749239066876*y^7 + 201983662700685131623616736092467282320047008745435502086652412580456877548134797829/385893287114350264197896432393237802658542365852662265647812913118322456916413022292*y^6 - 917784463020840630863541555130025893145398670322063373049962378336497919316825969929/125154579604654139739858302397806854916284010546809383453344728578915391432350169392*y^5 + 131509348603974429806807123651755430821552185490731142309093393795443856188054002409/96473321778587566049474108098309450664635591463165566411953228279580614229103255573*y^4 + 8079273456787777262729050685602727874068226950625546715935327636614140052127689782947/1543573148457401056791585729572951210634169463410649062591251652473289827665652089168*y^3 - 3530548401894845072945374354338028419705174316853143939448762889468984172311738982187/1543573148457401056791585729572951210634169463410649062591251652473289827665652089168*y^2 - 8926465622203203903166382900065290945512667150901485800066473579346741424655723399069/4630719445372203170374757188718853631902508390231947187773754957419869482996956267504*y + 2079614141337259157649894513829446081145185658007944608345797928830211057620571651333/1543573148457401056791585729572951210634169463410649062591251652473289827665652089168 # 3 Loop Invariant -399892184074519788041944509195618642559862833140343845146541600850089343591987294704642791776795698459653533425515/20806055708684482950496062051523860070839057346983690654780047580027719147257311069892546233616915142413026657796288*y^19 - 486140291009575663547377871608241379265470458114325910997279994437673053840100033570336188584636480471227777925177/20806055708684482950496062051523860070839057346983690654780047580027719147257311069892546233616915142413026657796288*y^18 - 3326644463909239998330833550630922935490422684576506403652527668354931761279296705796737011232881413228571956318699/20806055708684482950496062051523860070839057346983690654780047580027719147257311069892546233616915142413026657796288*y^17 + 2627835146777838203374787562611470556949978569164933218866631759126283629017815625436449878148761506673787112319615/10403027854342241475248031025761930035419528673491845327390023790013859573628655534946273116808457571206513328898144*y^16 + 479540402533339636804512483351803023834526857784790807576323063459422484635572817111382721865676553193965140170107/562325829964445485148542217608752974887542090459018666345406691352100517493440839726825573881538247092243963724224*y^15 + 11337472975520999414344715845960317367626421032481532172472013054332401463678926653878270967944134157616289881256359/20806055708684482950496062051523860070839057346983690654780047580027719147257311069892546233616915142413026657796288*y^14 + 14307616801495024381787996204194355239400680207649985842819237409390625784005550425780032968628289865940579480662815/10403027854342241475248031025761930035419528673491845327390023790013859573628655534946273116808457571206513328898144*y^13 - 24506518874721958826473444210684977515034489716435994299610157964486484295950825789806693841374380931521265753486151/20806055708684482950496062051523860070839057346983690654780047580027719147257311069892546233616915142413026657796288*y^12 - 52577169553192578981369796922943447046170006980888361813262141979321944059562299673191182013232266209406207145121063/10403027854342241475248031025761930035419528673491845327390023790013859573628655534946273116808457571206513328898144*y^11 - 97430577683510528688258903469449732299753749553799139087818089579227928487153562858402291846795798519538319056641521/20806055708684482950496062051523860070839057346983690654780047580027719147257311069892546233616915142413026657796288*y^10 - 149673166842265654382884185062398642460472308562347208402884373872745111012694377495300063835032497185399637961113825/20806055708684482950496062051523860070839057346983690654780047580027719147257311069892546233616915142413026657796288*y^9 - 88298720117705681641003238919308409073232381045819210700963715602579818941313375860606622066146401396736114009202107/10403027854342241475248031025761930035419528673491845327390023790013859573628655534946273116808457571206513328898144*y^8 - 99761649781260572117741731837139222368032069574034421952431715802720885002121457786145605906778675161453583006720805/20806055708684482950496062051523860070839057346983690654780047580027719147257311069892546233616915142413026657796288*y^7 + 4172362592976520547687992108305426881989056541593136798663348212931249056438584651339706191210794698003077919909913/20806055708684482950496062051523860070839057346983690654780047580027719147257311069892546233616915142413026657796288*y^6 + 470968456631026604009781992618585863734083619208162939394605823533407233113000378772992446947320846747138176283823/281162914982222742574271108804376487443771045229509333172703345676050258746720419863412786940769123546121981862112*y^5 - 7181616862467259958450395502366296186735318361225600824666240198384931989280108900783182227199375424900115183954171/5201513927171120737624015512880965017709764336745922663695011895006929786814327767473136558404228785603256664449072*y^4 - 20090169444766903330582238860937213368521522413201890901098672257619693942228389115914207032923247054996473873810995/20806055708684482950496062051523860070839057346983690654780047580027719147257311069892546233616915142413026657796288*y^3 + 4845631292069197408487422253566314743715115725289122740946126250913492234779791635287216275437440007626954256685609/5201513927171120737624015512880965017709764336745922663695011895006929786814327767473136558404228785603256664449072*y^2 + 7283645760342698692595584796888730041186863164134516190951335581968108527650777776022955803020017109118725709427711/20806055708684482950496062051523860070839057346983690654780047580027719147257311069892546233616915142413026657796288*y - 643551030732293985590934005066597766133262814488009401271232489745880431682825830273246877557267118518971539743103/10403027854342241475248031025761930035419528673491845327390023790013859573628655534946273116808457571206513328898144