# Manifold: Census Knot K7_60 # Number of Tetrahedra: 7 # Number Field x^19 - 25*x^18 + 163*x^17 + 220*x^16 + 5431*x^15 + 11871*x^14 + 39841*x^13 + 59494*x^12 + 46848*x^11 + 61767*x^10 + 36500*x^9 - 17204*x^8 - 18109*x^7 - 5247*x^6 - 1220*x^5 + 702*x^4 + 340*x^3 - 27*x^2 - 11*x + 1 # Approximate Field Generator -0.0627281135143206 - 0.436608505169632*I # Shape Parameters 49166150957504108790603180832969466542679155/557096419371738324312011762803729146527372164*y^18 - 606915100543384477902206817050217203218750261/278548209685869162156005881401864573263686082*y^17 + 7636092759844922371027951950242648659412124463/557096419371738324312011762803729146527372164*y^16 + 13186207096268910713500743062067157721619546969/557096419371738324312011762803729146527372164*y^15 + 67809818235103175976752784733270789271466699347/139274104842934581078002940700932286631843041*y^14 + 667885903048953999734326581869418009222901110501/557096419371738324312011762803729146527372164*y^13 + 1084186362699021354119441985722014800884216064153/278548209685869162156005881401864573263686082*y^12 + 898243690966103594086277376933580721697703993292/139274104842934581078002940700932286631843041*y^11 + 853390429624748243627815997081822234805081373583/139274104842934581078002940700932286631843041*y^10 + 4039883644937383053276673779295526207189115730557/557096419371738324312011762803729146527372164*y^9 + 2963145467851402069473919287752465083518380059107/557096419371738324312011762803729146527372164*y^8 + 29549149992014719248869694488502544335684182541/557096419371738324312011762803729146527372164*y^7 - 245247390002180076349771350128731457279554574396/139274104842934581078002940700932286631843041*y^6 - 613802569135529077537905390266261102009061028857/557096419371738324312011762803729146527372164*y^5 - 202077142705740990221824824626612936177398369015/557096419371738324312011762803729146527372164*y^4 - 5015602225713926998962050693772629734580857815/557096419371738324312011762803729146527372164*y^3 + 17413750430564502822058186242156238287076606907/557096419371738324312011762803729146527372164*y^2 + 1632384372959504237054094527218465517482072599/139274104842934581078002940700932286631843041*y + 402033639004869603029643150333838935242109143/557096419371738324312011762803729146527372164 1921354315514599945221494080505218004205100551/557096419371738324312011762803729146527372164*y^18 - 23733571902571103630308373652227594010428306353/278548209685869162156005881401864573263686082*y^17 + 299174012913735087880373185278022965829705526375/557096419371738324312011762803729146527372164*y^16 + 511092589271011058386687494440675642039930419213/557096419371738324312011762803729146527372164*y^15 + 2646156558695024379695318179470801556771916797124/139274104842934581078002940700932286631843041*y^14 + 25929161957352090622222154052344216740090369752541/557096419371738324312011762803729146527372164*y^13 + 42081900917199213593622571074515687822037036607303/278548209685869162156005881401864573263686082*y^12 + 34766137048318045712519166250401002057751776374603/139274104842934581078002940700932286631843041*y^11 + 32697781587753670168686699404410560642096072214291/139274104842934581078002940700932286631843041*y^10 + 156907554856830913274584638205223445197173261405833/557096419371738324312011762803729146527372164*y^9 + 116132202432577712363581091132857801068436639768143/557096419371738324312011762803729146527372164*y^8 + 814829619999658555248057651979970630695787823237/557096419371738324312011762803729146527372164*y^7 - 8691906249587633289044382612547452732185885322884/139274104842934581078002940700932286631843041*y^6 - 20252723547507848371684507265899056454188107285121/557096419371738324312011762803729146527372164*y^5 - 8235133096962389856150803129081125756348734538451/557096419371738324312011762803729146527372164*y^4 - 1045374278240355239569440591169840624672534810983/557096419371738324312011762803729146527372164*y^3 + 356019539435562498697562054722262573195674450355/557096419371738324312011762803729146527372164*y^2 + 12825954530267571044899995874557910627852786284/139274104842934581078002940700932286631843041*y - 6453899324696854594668503905553111002822743685/557096419371738324312011762803729146527372164 114114674398954113428652581505783427542883057/557096419371738324312011762803729146527372164*y^18 - 1403534662643960819459378717178677352179258261/278548209685869162156005881401864573263686082*y^17 + 17453776928253890564161831728326562357342097013/557096419371738324312011762803729146527372164*y^16 + 32622307587063688434914070911998398923965687855/557096419371738324312011762803729146527372164*y^15 + 157360742823645287609228151458380540765586625302/139274104842934581078002940700932286631843041*y^14 + 1603393082342074271609964857904906501042384533131/557096419371738324312011762803729146527372164*y^13 + 2539937247263306191552998726234794257525155564509/278548209685869162156005881401864573263686082*y^12 + 2151177764016956869242721047978954894795631159053/139274104842934581078002940700932286631843041*y^11 + 2005298936151798831341369161598061944363403205545/139274104842934581078002940700932286631843041*y^10 + 9178737241442506209036623013085959696500392259275/557096419371738324312011762803729146527372164*y^9 + 7045636275646112243875153519406455122825587543973/557096419371738324312011762803729146527372164*y^8 - 303809764073501811232158060111823556691394743705/557096419371738324312011762803729146527372164*y^7 - 690450024575251087732109525065550824162763013918/139274104842934581078002940700932286631843041*y^6 - 1306742510867509474931754193055893779219594574623/557096419371738324312011762803729146527372164*y^5 - 381762892303750997446356267283711886189635981373/557096419371738324312011762803729146527372164*y^4 + 12644691137913214084899757984795118463509028687/557096419371738324312011762803729146527372164*y^3 + 68477185583870599998177705531151793448389784089/557096419371738324312011762803729146527372164*y^2 + 1961731782815714767515090014700771754550892613/139274104842934581078002940700932286631843041*y - 1191543304362794121916941073643602801137277091/557096419371738324312011762803729146527372164 -15323572850833763960665886723802257129478353/557096419371738324312011762803729146527372164*y^18 + 188994923114123680920183262765687193522288901/278548209685869162156005881401864573263686082*y^17 - 2369653885618006779568043278813875082230132869/557096419371738324312011762803729146527372164*y^16 - 4217907090207889065245263829225984292576306583/557096419371738324312011762803729146527372164*y^15 - 21058631258105681070269055550309367973689215374/139274104842934581078002940700932286631843041*y^14 - 209544105100121509912462643877693085241551913951/557096419371738324312011762803729146527372164*y^13 - 333941889399332463978481933628818722150331162799/278548209685869162156005881401864573263686082*y^12 - 277556469610460121472271543166083842657223110223/139274104842934581078002940700932286631843041*y^11 - 250759499686306691401871777196375291811863090918/139274104842934581078002940700932286631843041*y^10 - 1168580957902502098616903187349079554710590901607/557096419371738324312011762803729146527372164*y^9 - 875403611064915406882406817538909246735936365161/557096419371738324312011762803729146527372164*y^8 + 90639732319278399310052398810681759496841479689/557096419371738324312011762803729146527372164*y^7 + 88956943765376254678402625108917577764905875643/139274104842934581078002940700932286631843041*y^6 + 142094438537585977497288944010390186995329799915/557096419371738324312011762803729146527372164*y^5 + 39530240197881811369965483638517195247541624625/557096419371738324312011762803729146527372164*y^4 - 697259105013105833253104758946619662565694207/557096419371738324312011762803729146527372164*y^3 - 7857023567690627885562663991364037666580627581/557096419371738324312011762803729146527372164*y^2 - 235715324884353699931569534874125766802894962/139274104842934581078002940700932286631843041*y + 49166150957504108790603180832969466542679155/557096419371738324312011762803729146527372164 -2647620474327138185515411570516023744328897957/169914407908380188915163587655137389690848510020*y^18 + 65194583657090560287664512589044812004691468439/169914407908380188915163587655137389690848510020*y^17 - 406534203376895588118842563754515265857338502669/169914407908380188915163587655137389690848510020*y^16 - 748114224779938098438599315637818932779124808707/169914407908380188915163587655137389690848510020*y^15 - 3643932878111444070182313671152252399613922850907/42478601977095047228790896913784347422712127505*y^14 - 36819704467252138788235582472467194104179861056681/169914407908380188915163587655137389690848510020*y^13 - 23322979927083344007903863515640402960559531073213/33982881581676037783032717531027477938169702004*y^12 - 195973211793817589525655512258033709098402032285923/169914407908380188915163587655137389690848510020*y^11 - 17881758886128737828077286131979498608245034932311/16991440790838018891516358765513738969084851002*y^10 - 51206419316600946277689375251583157295742731294266/42478601977095047228790896913784347422712127505*y^9 - 77810692568024028363285265555177665248108790062821/84957203954190094457581793827568694845424255010*y^8 + 14297385285937112188468748385438166014915122406157/169914407908380188915163587655137389690848510020*y^7 + 16502558729575881910683961395315797120575543629241/42478601977095047228790896913784347422712127505*y^6 + 27390345404694607338823020508679670145271335050881/169914407908380188915163587655137389690848510020*y^5 + 6807481454144707027568423584255891177132056476623/169914407908380188915163587655137389690848510020*y^4 - 35778465391686699812212598415518609002592901793/16991440790838018891516358765513738969084851002*y^3 - 139868662143950589547022644126777448302856989177/16991440790838018891516358765513738969084851002*y^2 - 81284474228694382047359773139300981954778703413/84957203954190094457581793827568694845424255010*y + 42339606924652685294527050885879763940420910976/42478601977095047228790896913784347422712127505 -27957832569006790936860256469821611054932127/557096419371738324312011762803729146527372164*y^18 + 172240810578497663387545177931589739299310540/139274104842934581078002940700932286631843041*y^17 - 4306567553447352580898952551994498840016669845/557096419371738324312011762803729146527372164*y^16 - 3901745600501165365897785498022878837690266609/278548209685869162156005881401864573263686082*y^15 - 153854333391919056867018809656031388921979688269/557096419371738324312011762803729146527372164*y^14 - 386009753828945261168712377417144505405535134311/557096419371738324312011762803729146527372164*y^13 - 1227092841644667465367691420740298071549978262859/557096419371738324312011762803729146527372164*y^12 - 2053190202373510330115651566683634871442725778203/557096419371738324312011762803729146527372164*y^11 - 1871563993508171093681007894776905785341436378595/557096419371738324312011762803729146527372164*y^10 - 1081102179238111233469854585061377490153355509317/278548209685869162156005881401864573263686082*y^9 - 1625403294177582666602190939645711386776327577047/557096419371738324312011762803729146527372164*y^8 + 156216129199497482854242769191938428674413549243/557096419371738324312011762803729146527372164*y^7 + 679568773189633003942148876108187344134080430427/557096419371738324312011762803729146527372164*y^6 + 149003851287963382149612946861784192597906279635/278548209685869162156005881401864573263686082*y^5 + 89395871310456520249895572381145534478088750505/557096419371738324312011762803729146527372164*y^4 - 385289298449311101631191689862341246699109843/139274104842934581078002940700932286631843041*y^3 - 4151619936767393006077618058081057656873982023/139274104842934581078002940700932286631843041*y^2 - 1959018023941012394735673587899928830120306497/557096419371738324312011762803729146527372164*y + 51341255178333867818576311015277919775895132/139274104842934581078002940700932286631843041 -27957832569006790936860256469821611054932127/557096419371738324312011762803729146527372164*y^18 + 172240810578497663387545177931589739299310540/139274104842934581078002940700932286631843041*y^17 - 4306567553447352580898952551994498840016669845/557096419371738324312011762803729146527372164*y^16 - 3901745600501165365897785498022878837690266609/278548209685869162156005881401864573263686082*y^15 - 153854333391919056867018809656031388921979688269/557096419371738324312011762803729146527372164*y^14 - 386009753828945261168712377417144505405535134311/557096419371738324312011762803729146527372164*y^13 - 1227092841644667465367691420740298071549978262859/557096419371738324312011762803729146527372164*y^12 - 2053190202373510330115651566683634871442725778203/557096419371738324312011762803729146527372164*y^11 - 1871563993508171093681007894776905785341436378595/557096419371738324312011762803729146527372164*y^10 - 1081102179238111233469854585061377490153355509317/278548209685869162156005881401864573263686082*y^9 - 1625403294177582666602190939645711386776327577047/557096419371738324312011762803729146527372164*y^8 + 156216129199497482854242769191938428674413549243/557096419371738324312011762803729146527372164*y^7 + 679568773189633003942148876108187344134080430427/557096419371738324312011762803729146527372164*y^6 + 149003851287963382149612946861784192597906279635/278548209685869162156005881401864573263686082*y^5 + 89395871310456520249895572381145534478088750505/557096419371738324312011762803729146527372164*y^4 - 385289298449311101631191689862341246699109843/139274104842934581078002940700932286631843041*y^3 - 4151619936767393006077618058081057656873982023/139274104842934581078002940700932286631843041*y^2 - 1959018023941012394735673587899928830120306497/557096419371738324312011762803729146527372164*y + 51341255178333867818576311015277919775895132/139274104842934581078002940700932286631843041 # A Gluing Matrix {{0,2,1,0,0,-2,2},{0,1,2,0,0,-2,2},{-2,2,4,-2,2,-2,0},{0,0,-1,1,-1,0,2},{0,0,0,1,0,-2,2},{0,0,-1,2,-2,0,2},{0,0,-1,2,-2,-2,4}} # B Gluing Matrix {{1,0,2,0,0,0,2},{0,1,2,0,0,0,2},{0,0,4,0,0,0,1},{0,0,0,1,0,0,1},{0,0,0,0,1,0,2},{0,0,0,0,0,1,2},{0,0,0,0,0,0,3}} # nu Gluing Vector {2, 3, 2, 1, 2, 2, 2} # f Combinatorial flattening {-1, -9, 4, -2, 1, 3, 3} # f' Combinatorial flattening {12, 0, 0, 0, 0, 2, 2} # 1 Loop Invariant -320149051364365051065323864204811081951974681/139274104842934581078002940700932286631843041*y^18 + 17699281311574499842968261257045757404576766889/278548209685869162156005881401864573263686082*y^17 - 147019500040212175214188689061466574166227678775/278548209685869162156005881401864573263686082*y^16 + 71959374197997337985724977322945567896708715862/139274104842934581078002940700932286631843041*y^15 - 3166614257591497534635409681355396084069302023349/278548209685869162156005881401864573263686082*y^14 + 1532707005939680890139638742088727211572179341255/278548209685869162156005881401864573263686082*y^13 - 3667022714473195296288342198150777974851863886995/139274104842934581078002940700932286631843041*y^12 + 12913845367429616010041699763347975108564493687831/139274104842934581078002940700932286631843041*y^11 + 28930331702202913427770525295038008779234119835229/139274104842934581078002940700932286631843041*y^10 + 11770277535017185010734356013275967219449949959356/139274104842934581078002940700932286631843041*y^9 + 70856142764281332005055795530070992113469428610827/278548209685869162156005881401864573263686082*y^8 + 27521824037344850602508236488279199139959253307929/139274104842934581078002940700932286631843041*y^7 - 23318309471524119005676003077107340357292349714877/278548209685869162156005881401864573263686082*y^6 - 18625685103757346131535232247485526241459409070759/278548209685869162156005881401864573263686082*y^5 - 2351732351472439461549559716402717043027123324565/139274104842934581078002940700932286631843041*y^4 - 1824842368235332641743017885025667925666725413615/278548209685869162156005881401864573263686082*y^3 + 492522894480665548424481932426064638983966936172/139274104842934581078002940700932286631843041*y^2 + 294372883508401724754791309262030585471531315317/278548209685869162156005881401864573263686082*y - 71757407461831072252349528237957567676173090143/278548209685869162156005881401864573263686082 # 2 Loop Invariant 246071653430330564703842313192500114200378189903114723992777583406058043405561049655729348547081862769/11856060352589346976411954657973676313393031019248335592634143251622827554281302101583970806561783227040*y^18 - 12120618759614873779706297483443550299698774230140020381693279165427885291671014664371838592331424778331/23712120705178693952823909315947352626786062038496671185268286503245655108562604203167941613123566454080*y^17 + 14181292520245546939218561842271934104049697133703188051486550415311367095332898187602741241990662512293/4446022632221005116154482996740128617522386632218125847237803719358560332855488288093989052460668710140*y^16 + 138396503437465841492814852117979746314401330995886338949448365622880694058062938978835490870462710422363/23712120705178693952823909315947352626786062038496671185268286503245655108562604203167941613123566454080*y^15 + 8132815681836967625444391765432610011030009933494452787992598576267232839290081779025903647917552869664381/71136362115536081858471727947842057880358186115490013555804859509736965325687812609503824839370699362240*y^14 + 297171294083905950970356651561743208951195422015659490572016032514835811436666794073788272271876372883543/1030961769790377997948865622432493592468959219065072660229055934923724135154895834920345287527111584960*y^13 + 1628803519380486469672825673000769438063051273825834435000547373340186461011849773034915168893650316028187/1778409052888402046461793198696051447008954652887250338895121487743424133142195315237595620984267484056*y^12 + 36480360983127308221551643572380324299364818834976340891182407484726637999653917487605690308879040922557427/23712120705178693952823909315947352626786062038496671185268286503245655108562604203167941613123566454080*y^11 + 6713656068164695610525979100657109731468228098606909507955078273427973628737029239160579852354417918280185/4742424141035738790564781863189470525357212407699334237053657300649131021712520840633588322624713290816*y^10 + 419726759063576911565131181280527753981382971842226431240748544184051112219416969692671995711428042110583/257740442447594499487216405608123398117239804766268165057263983730931033788723958730086321881777896240*y^9 + 21866751571491450090329162444599860321823201618083086751204722043639418065713777454569039181600329745903151/17784090528884020464617931986960514470089546528872503388951214877434241331421953152375956209842674840560*y^8 - 3320564965600028862460818852218310378371086180277695050104100646864515367516665748556165289091081957898207/35568181057768040929235863973921028940179093057745006777902429754868482662843906304751912419685349681120*y^7 - 8999444688549790856843578512368949589992938582270179492918962190466713788667916464111353754005943722317897/17784090528884020464617931986960514470089546528872503388951214877434241331421953152375956209842674840560*y^6 - 8271222776165298946202735076345143025784504753870630967475547070238999706992686577989448934179910359675341/35568181057768040929235863973921028940179093057745006777902429754868482662843906304751912419685349681120*y^5 - 4672773371585622156518782641811887240136237864256581395752218566995579506082209698807342270501859005036821/71136362115536081858471727947842057880358186115490013555804859509736965325687812609503824839370699362240*y^4 + 51824877440846628315133942630797325281558876436172025604979651803457594120365430503767074911735506939305/14227272423107216371694345589568411576071637223098002711160971901947393065137562521900764967874139872448*y^3 + 14125153243783820418101534731905860808895770135503519677433869204411374933264926257465437121052342819013/1185606035258934697641195465797367631339303101924833559263414325162282755428130210158397080656178322704*y^2 + 91480197033113838783083150129748112606963253568574354338086692091191445660998178578977608994223628002597/71136362115536081858471727947842057880358186115490013555804859509736965325687812609503824839370699362240*y - 24671641935833961239837007315419812591431508923157185772257814737904551825094809994686471371308199660461/23712120705178693952823909315947352626786062038496671185268286503245655108562604203167941613123566454080 # 3 Loop Invariant 1154608489695791270194319975524626978289928750381490771442926636830602829831362070440777715115317423516173453900723541661787731441759/667275607269288502110077459017335790613106937559743256720783461205354981014646641505760630081434661214461471357290568299841911618387200*y^18 - 58717323242781850228410914265309441164817735076030349009693600643450215297862516076358833392106248462676162287865074086536573548382171/1334551214538577004220154918034671581226213875119486513441566922410709962029293283011521260162869322428922942714581136599683823236774400*y^17 + 100344493976811001896158971942797439547580677430966783616840387709107909318689830221413271645919952286000133476635470542148010687125799/333637803634644251055038729508667895306553468779871628360391730602677490507323320752880315040717330607230735678645284149920955809193600*y^16 + 339508411716866010636016355377249193689477738645370035729389353313736204950549923355654039872959252424197181231806138358087218752517623/1334551214538577004220154918034671581226213875119486513441566922410709962029293283011521260162869322428922942714581136599683823236774400*y^15 + 12375584471562166264625526874794489188383221626834306263530423398665061386574346752449544116938238158989760259825123131963580602106708627/1334551214538577004220154918034671581226213875119486513441566922410709962029293283011521260162869322428922942714581136599683823236774400*y^14 + 11053248198971034930141927089009979339520305377280218002464190703892803754112067422470760685210427076108359409821983670718300131457083017/667275607269288502110077459017335790613106937559743256720783461205354981014646641505760630081434661214461471357290568299841911618387200*y^13 + 8191972802225320614479488643118835302550559636723131320808977100364647259237906906853879771673511329174896717298227291817533273744490569/133455121453857700422015491803467158122621387511948651344156692241070996202929328301152126016286932242892294271458113659968382323677440*y^12 + 12656732452349568427794836126567012887343093817004822127085839965752223328169027626543170696395926368080324802259752715444474103711041539/166818901817322125527519364754333947653276734389935814180195865301338745253661660376440157520358665303615367839322642074960477904596800*y^11 + 2430844961192851450961410068879845087620157703554382397567957774786809863405506790160584032552974465809370592980267509034106311204108177/53382048581543080168806196721386863249048555004779460537662676896428398481171731320460850406514772897156917708583245463987352929470976*y^10 + 55826690101145727923774028797618121842834802598190257287957285708203572884244896375106850100739652989328709450524698127366602614818109703/667275607269288502110077459017335790613106937559743256720783461205354981014646641505760630081434661214461471357290568299841911618387200*y^9 + 33915908944787076867094248443597766143723063409134811415410083195380865447209602855728785197085658500290098682833825163674244733022831943/1334551214538577004220154918034671581226213875119486513441566922410709962029293283011521260162869322428922942714581136599683823236774400*y^8 - 29668103455341153709372322017547842458428670160166926667315430684530839840824672309235799127580152164339836386165679895887267564015673109/667275607269288502110077459017335790613106937559743256720783461205354981014646641505760630081434661214461471357290568299841911618387200*y^7 - 17549028302917349260828479309145443408653656468781222447563069660997166273945614228695304157884515097847416167248582447374534940911112991/1334551214538577004220154918034671581226213875119486513441566922410709962029293283011521260162869322428922942714581136599683823236774400*y^6 - 847253298971672710367650284023359477844153756101453312793166705316067454198032574014946781998732552276062495671782195179442963955286919/1334551214538577004220154918034671581226213875119486513441566922410709962029293283011521260162869322428922942714581136599683823236774400*y^5 - 567547997503900733028900080329998394515818141304816556151281893448331163153773714132380297203810438204874710120042957676997064823851171/667275607269288502110077459017335790613106937559743256720783461205354981014646641505760630081434661214461471357290568299841911618387200*y^4 + 9420681519855670444713550486128222318060386534097928109004469851598003324245123397073067234278970098006967765775331559243739511701087/5802396584950334800957195295802919918374842935302115275832899662655260704475188187006614174621170967082273663976439724346451405377280*y^3 - 2581279605115316255153083928509198362281342871994148008728411135118681348699024018430767628606553147230988415859378738459352211031539/26691024290771540084403098360693431624524277502389730268831338448214199240585865660230425203257386448578458854291622731993676464735488*y^2 - 153865007425115169846794228543272376357272828650746043518715582803499670558912293904114477072707445989277092712864108872933444401023161/1334551214538577004220154918034671581226213875119486513441566922410709962029293283011521260162869322428922942714581136599683823236774400*y + 1212274861754897034587349515631026638087279283437360547084945072492294826769074567943316045677465202718429218673523854627755056949667/41704725454330531381879841188583486913319183597483953545048966325334686313415415094110039380089666325903841959830660518740119476149200