# Manifold: Census Knot K7_47 # Number of Tetrahedra: 7 # Number Field x^21 + 18*x^20 + 126*x^19 + 431*x^18 + 369*x^17 - 3271*x^16 - 16587*x^15 - 39609*x^14 - 51103*x^13 - 14881*x^12 + 72469*x^11 + 147451*x^10 + 138322*x^9 + 57535*x^8 - 15547*x^7 - 35577*x^6 - 21641*x^5 - 5963*x^4 + 417*x^3 + 987*x^2 + 357*x + 63 # Approximate Field Generator -0.855316100994364 - 1.56273564353738*I # Shape Parameters -20211280029073847309196504342902129/378140829091257803646704859040336997*y^20 - 355122461945203001589766979457863134/378140829091257803646704859040336997*y^19 - 2388449201279373547745909759288121208/378140829091257803646704859040336997*y^18 - 7588000964922751100182683067988094631/378140829091257803646704859040336997*y^17 - 3563832283113115386480968664783291094/378140829091257803646704859040336997*y^16 + 69574352968007949732660678868642949402/378140829091257803646704859040336997*y^15 + 305904363521353059530312106070465301175/378140829091257803646704859040336997*y^14 + 650148694101687652423700683817784918197/378140829091257803646704859040336997*y^13 + 674620164583184336405669880619705774509/378140829091257803646704859040336997*y^12 - 150357913265167759096176416174188022381/378140829091257803646704859040336997*y^11 - 1558027055144226940035187146850756636557/378140829091257803646704859040336997*y^10 - 2257620381471831860362710776507894885602/378140829091257803646704859040336997*y^9 - 84408076178788884718387894000228595471/22243578181838694332159109355313941*y^8 - 3560357011687510487945040814359999973/378140829091257803646704859040336997*y^7 + 651172537768703421769554646041785490370/378140829091257803646704859040336997*y^6 + 436126040542032015056837741079574868604/378140829091257803646704859040336997*y^5 + 93879962765947375214627173776496215190/378140829091257803646704859040336997*y^4 - 1546327513344895462733069931300813807/22243578181838694332159109355313941*y^3 - 21450072509825806688686491462284448414/378140829091257803646704859040336997*y^2 - 4752097787775888266006177305402752912/378140829091257803646704859040336997*y + 654812329435432417789402422344678982/378140829091257803646704859040336997 -81977677978088140854338094067919874293/4193959935451140300245603591616377633727*y^20 - 1437577348589646685709128372658298362782/4193959935451140300245603591616377633727*y^19 - 9666908079968314809148216357103279208568/4193959935451140300245603591616377633727*y^18 - 30926786157852767348713045453450939035074/4193959935451140300245603591616377633727*y^17 - 16418871112703564669011467953456174817398/4193959935451140300245603591616377633727*y^16 + 91412098764589555598020380044421941187049/1397986645150380100081867863872125877909*y^15 + 1232495330526156805893982989713189555510315/4193959935451140300245603591616377633727*y^14 + 2692195339062642122373237499521257604317842/4193959935451140300245603591616377633727*y^13 + 1001877400425185279620574331211484912805231/1397986645150380100081867863872125877909*y^12 - 18536369611285254679747128389937941942856/1397986645150380100081867863872125877909*y^11 - 1946797773580330650598036023724901215787984/1397986645150380100081867863872125877909*y^10 - 9523975020839358717052731318037230107683576/4193959935451140300245603591616377633727*y^9 - 143424600760055820039551501559030436680642/82234508538257652945992227286595639877*y^8 - 1677889259796659941724792493233696732269775/4193959935451140300245603591616377633727*y^7 + 2047844167688836085097599256698900348162891/4193959935451140300245603591616377633727*y^6 + 2225098175509340355520568356708489611273413/4193959935451140300245603591616377633727*y^5 + 935768399347788730976376318217443965055664/4193959935451140300245603591616377633727*y^4 + 4719582097301443770386625224281203120530/246703525614772958837976681859786919631*y^3 - 87147745062185344172323811506840364745806/4193959935451140300245603591616377633727*y^2 - 31600675509759818490511864403879952661865/4193959935451140300245603591616377633727*y + 982245632162900297036107799057264754932/4193959935451140300245603591616377633727 -5479444855166096651558521350548447850731/1397986645150380100081867863872125877909*y^20 - 92557673987203623687929031834342612885507/1397986645150380100081867863872125877909*y^19 - 587809317754315705864089739251233039477931/1397986645150380100081867863872125877909*y^18 - 1709762252611924400357163879157174978016805/1397986645150380100081867863872125877909*y^17 - 124271730906360652209666266314926320365623/1397986645150380100081867863872125877909*y^16 + 18068898254030827833610210733859515044674730/1397986645150380100081867863872125877909*y^15 + 70861704288771777049864396341763210967850285/1397986645150380100081867863872125877909*y^14 + 138413366620938153664919792088628057738821528/1397986645150380100081867863872125877909*y^13 + 126289004775517288731673424481667606524413846/1397986645150380100081867863872125877909*y^12 - 59020538035815749432051803086805176682789277/1397986645150380100081867863872125877909*y^11 - 332129836993017480821573371350498057861858937/1397986645150380100081867863872125877909*y^10 - 439402219905502434341370735611265326644442766/1397986645150380100081867863872125877909*y^9 - 15845975109408690087034006871147645205766833/82234508538257652945992227286595639877*y^8 - 14982701797173527482820760085362748510086583/1397986645150380100081867863872125877909*y^7 + 102536897580769310169450330369005247922189645/1397986645150380100081867863872125877909*y^6 + 81043259051076848642047644205894160588335878/1397986645150380100081867863872125877909*y^5 + 28284503621996362882887425238671946772556017/1397986645150380100081867863872125877909*y^4 + 64165574514208760212359120477919467814338/82234508538257652945992227286595639877*y^3 - 3533176225523081949369743610519962059640262/1397986645150380100081867863872125877909*y^2 - 1474660898707344131171195604613581592251789/1397986645150380100081867863872125877909*y - 309700875656807600497333426840592134028517/1397986645150380100081867863872125877909 -5479444855166096651558521350548447850731/1397986645150380100081867863872125877909*y^20 - 92557673987203623687929031834342612885507/1397986645150380100081867863872125877909*y^19 - 587809317754315705864089739251233039477931/1397986645150380100081867863872125877909*y^18 - 1709762252611924400357163879157174978016805/1397986645150380100081867863872125877909*y^17 - 124271730906360652209666266314926320365623/1397986645150380100081867863872125877909*y^16 + 18068898254030827833610210733859515044674730/1397986645150380100081867863872125877909*y^15 + 70861704288771777049864396341763210967850285/1397986645150380100081867863872125877909*y^14 + 138413366620938153664919792088628057738821528/1397986645150380100081867863872125877909*y^13 + 126289004775517288731673424481667606524413846/1397986645150380100081867863872125877909*y^12 - 59020538035815749432051803086805176682789277/1397986645150380100081867863872125877909*y^11 - 332129836993017480821573371350498057861858937/1397986645150380100081867863872125877909*y^10 - 439402219905502434341370735611265326644442766/1397986645150380100081867863872125877909*y^9 - 15845975109408690087034006871147645205766833/82234508538257652945992227286595639877*y^8 - 14982701797173527482820760085362748510086583/1397986645150380100081867863872125877909*y^7 + 102536897580769310169450330369005247922189645/1397986645150380100081867863872125877909*y^6 + 81043259051076848642047644205894160588335878/1397986645150380100081867863872125877909*y^5 + 28284503621996362882887425238671946772556017/1397986645150380100081867863872125877909*y^4 + 64165574514208760212359120477919467814338/82234508538257652945992227286595639877*y^3 - 3533176225523081949369743610519962059640262/1397986645150380100081867863872125877909*y^2 - 1474660898707344131171195604613581592251789/1397986645150380100081867863872125877909*y - 308302889011657220397251558976720008150608/1397986645150380100081867863872125877909 12049744963675438547827143235/2787705535541820785625544697*y^20 + 203553490633246403088556351259/2787705535541820785625544697*y^19 + 1292854362716363667420525166317/2787705535541820785625544697*y^18 + 3761433294065561326908311852696/2787705535541820785625544697*y^17 + 278544121133134173765992711731/2787705535541820785625544697*y^16 - 39730725356847123760734379989870/2787705535541820785625544697*y^15 - 155872516424967669861821866251789/2787705535541820785625544697*y^14 - 304588789097875191847514495780384/2787705535541820785625544697*y^13 - 278191386157097634204070532356585/2787705535541820785625544697*y^12 + 129251462407322626727843919961287/2787705535541820785625544697*y^11 + 730398128161234339523746951646424/2787705535541820785625544697*y^10 + 967368430659963701204495868030587/2787705535541820785625544697*y^9 + 34947348239624190622818497414528/163982678561283575625032041*y^8 + 34122023044600578189631513540822/2787705535541820785625544697*y^7 - 225392064926435363400145293002724/2787705535541820785625544697*y^6 - 178667267204392615768554189504536/2787705535541820785625544697*y^5 - 62537272081983235082304157409232/2787705535541820785625544697*y^4 - 147530166207761182916687281758/163982678561283575625032041*y^3 + 7777535562047915640476712749382/2787705535541820785625544697*y^2 + 3261630558133924479322471589600/2787705535541820785625544697*y + 688637206862833540390622375517/2787705535541820785625544697 228316691911228826252064477/2787705535541820785625544697*y^20 + 4043464017076134425614694904/2787705535541820785625544697*y^19 + 27559096797204563958381858130/2787705535541820785625544697*y^18 + 89781498236501759560932926513/2787705535541820785625544697*y^17 + 53973262351554896047167932551/2787705535541820785625544697*y^16 - 776046303527069033867854641089/2787705535541820785625544697*y^15 - 3569276568016016763859191696067/2787705535541820785625544697*y^14 - 7887981662128854820884600186423/2787705535541820785625544697*y^13 - 8838664605599749967691845209572/2787705535541820785625544697*y^12 + 348773654545313846673360716225/2787705535541820785625544697*y^11 + 17761838364668870130980023071196/2787705535541820785625544697*y^10 + 28474710709558588453272907555648/2787705535541820785625544697*y^9 + 1219755453119724374758586454191/163982678561283575625032041*y^8 + 2948737811116843972905496299109/2787705535541820785625544697*y^7 - 7543653046408897415872296035657/2787705535541820785625544697*y^6 - 6591290345595170828430363980793/2787705535541820785625544697*y^5 - 2145670121940338970544614772629/2787705535541820785625544697*y^4 + 8269991384124841044138149671/163982678561283575625032041*y^3 + 404443787837017343845796496359/2787705535541820785625544697*y^2 + 152768832488291879254987427220/2787705535541820785625544697*y + 19852533567561150288189046746/2787705535541820785625544697 -6867584820319693795756173130/2787705535541820785625544697*y^20 - 116642000281917093228407049732/2787705535541820785625544697*y^19 - 746872229310305951051030459218/2787705535541820785625544697*y^18 - 2201660841286473909416762074156/2787705535541820785625544697*y^17 - 299509779872561250874602957972/2787705535541820785625544697*y^16 + 22765091864525228303663693206578/2787705535541820785625544697*y^15 + 90797172245586423740479659531928/2787705535541820785625544697*y^14 + 179854269236076229044779167239196/2787705535541820785625544697*y^13 + 168436235407923409782879832748359/2787705535541820785625544697*y^12 - 68679589408486935877997636881012/2787705535541820785625544697*y^11 - 427928638523620923607309209369252/2787705535541820785625544697*y^10 - 578423157268381227322788232806523/2787705535541820785625544697*y^9 - 21359144612049638187507614897787/163982678561283575625032041*y^8 - 26663607868380748793435875046695/2787705535541820785625544697*y^7 + 134046311300798480241578170632191/2787705535541820785625544697*y^6 + 108508524289521648748837488937349/2787705535541820785625544697*y^5 + 38520282483205218126081610384259/2787705535541820785625544697*y^4 + 104589243012430534620185871403/163982678561283575625032041*y^3 - 4712116620155697694211959894611/2787705535541820785625544697*y^2 - 1996237453005047805380267541008/2787705535541820785625544697*y - 421747623326988507111306280110/2787705535541820785625544697 # A Gluing Matrix {{2,0,0,0,2,1,1},{1,1,-1,0,2,-1,0},{-2,-3,2,1,-2,3,1},{-2,-2,1,2,-2,3,1},{0,0,0,0,1,2,1},{-3,-4,2,2,-2,4,2},{0,0,0,0,0,1,0}} # B Gluing Matrix {{2,0,0,0,0,2,1},{0,1,0,0,0,0,0},{0,0,1,0,0,2,1},{0,0,0,1,0,2,1},{0,0,0,0,1,2,1},{0,0,0,0,0,4,0},{0,0,0,0,0,0,2}} # nu Gluing Vector {3, 1, 1, 1, 2, 0, 2} # f Combinatorial flattening {-6, 3, 4, 1, 5, 2, -7} # f' Combinatorial flattening {5, 0, 0, 0, 0, 0, 0} # 1 Loop Invariant 1508788048895920580330098147544557774309/2795973290300760200163735727744251755818*y^20 + 26879700438586215622110133092473634766061/2795973290300760200163735727744251755818*y^19 + 184945228155997278302798406427602980600677/2795973290300760200163735727744251755818*y^18 + 306356841563443759213859718143983490856386/1397986645150380100081867863872125877909*y^17 + 210613017416676121509810306518235932608281/1397986645150380100081867863872125877909*y^16 - 5082198742332041909956955739778274883029933/2795973290300760200163735727744251755818*y^15 - 12057893939122073456726329928740258492850430/1397986645150380100081867863872125877909*y^14 - 27333522218574047597105428128692456258343697/1397986645150380100081867863872125877909*y^13 - 64231034833527300607226206181077398929752993/2795973290300760200163735727744251755818*y^12 - 2308019614392253378124920074928160176622349/1397986645150380100081867863872125877909*y^11 + 58415478173123197640381254565214741691420347/1397986645150380100081867863872125877909*y^10 + 100419875563122910429156311686789843379496298/1397986645150380100081867863872125877909*y^9 + 9344465622081110015654959746343028490102149/164469017076515305891984454573191279754*y^8 + 18147366887893564804218460585337684663862863/1397986645150380100081867863872125877909*y^7 - 46864900608035849228509837002197860833090453/2795973290300760200163735727744251755818*y^6 - 24566830834750830436916676927999405813666283/1397986645150380100081867863872125877909*y^5 - 9521997084437602630102479913143754879802834/1397986645150380100081867863872125877909*y^4 - 19710915365581514150843000694096384057131/82234508538257652945992227286595639877*y^3 + 2601175081059070348254449790113955869972055/2795973290300760200163735727744251755818*y^2 + 1208032496140270346025907915493056224376581/2795973290300760200163735727744251755818*y + 177793973045550927573280341939499621908129/2795973290300760200163735727744251755818 # 2 Loop Invariant 14359327013213879774397343195199730264764226393278092769717139375929594523464576908156335699671555/2295999520600291537216490064901026013368276041045591426292148252611309993981658028343968247253185936*y^20 + 125177979497269266316491199060392183395791282327134383919937823399693908008773110391657715713409491/1147999760300145768608245032450513006684138020522795713146074126305654996990829014171984123626592968*y^19 + 139309232615554403174125668162724262170946276641560797449355063591587315736236666814201403090277121/191333293383357628101374172075085501114023003420465952191012354384275832831804835695330687271098828*y^18 + 5308178275859987239168957352634949894123001892667189493845032177284189221814417260851763777509758161/2295999520600291537216490064901026013368276041045591426292148252611309993981658028343968247253185936*y^17 + 1343754767489668294962168286371475789082990241576239963892852712183010793955586718203638224470736845/1147999760300145768608245032450513006684138020522795713146074126305654996990829014171984123626592968*y^16 - 6778550910499333821690733231383946075977243218338309179695192013974022266856052287748663208492987171/327999931514327362459498580700146573338325148720798775184592607515901427711665432620566892464740848*y^15 - 211749965377491536009382887210037672307500550485741670798131067467074689853361951050919094609222441235/2295999520600291537216490064901026013368276041045591426292148252611309993981658028343968247253185936*y^14 - 230886752910739975977507921131923515474013586670300269553744430250258261834113626284121024417767917517/1147999760300145768608245032450513006684138020522795713146074126305654996990829014171984123626592968*y^13 - 517455001830198387741621779030814125916209103762087093247984928411276756332524178970152001441141176793/2295999520600291537216490064901026013368276041045591426292148252611309993981658028343968247253185936*y^12 + 795346306082839757514081985547168885471840806775931853909301246902501656491816004625197823367505905/2295999520600291537216490064901026013368276041045591426292148252611309993981658028343968247253185936*y^11 + 123275907960900336235824100112427342397799243378801690701676780144378514918357598355834382856806036389/286999940075036442152061258112628251671034505130698928286518531576413749247707253542996030906648242*y^10 + 17675724721578883862152443511241405975406646153628797534932678093928985310596111213581937416964645989/24956516528264038448005326792402456667046478707017298111871176658818586891104978568956176600578108*y^9 + 203084936761560235986902095011561427804713308093502414162865163729763129456105897957174531054741344/367007596003882918353019511652977303927154098632607325174576127335567454280955567190532008832031*y^8 + 23083848920228548387101329229453355726902963443894354932147495263375135784837995895504848144528494423/163999965757163681229749290350073286669162574360399387592296303757950713855832716310283446232370424*y^7 - 313610490894324746705971789342328676323709055959813075855325321290615889112345455075661397904190070877/2295999520600291537216490064901026013368276041045591426292148252611309993981658028343968247253185936*y^6 - 357861380188785158010878219506279839499158078669021516691542166491983107699669905197115262560074333683/2295999520600291537216490064901026013368276041045591426292148252611309993981658028343968247253185936*y^5 - 53229526633268700430826874219454159701987273835631322638189726262145422656945724240062440804718674321/765333173533430512405496688300342004456092013681863808764049417537103331327219342781322749084395312*y^4 - 211348554255985568461959300493846792161661200263715027464997677491426060567443391009763069218437961/19294113618489844850558740041185092549313244042399927952034859265641260453627378389445111321455344*y^3 + 2964839603813880747966196708186263476878715365731523895198961450466808288593392873065708110342874273/573999880150072884304122516225256503342069010261397856573037063152827498495414507085992061813296484*y^2 + 2047467264957406232797097801059792237019339347666339008552158084548822390730512709886734899508364365/573999880150072884304122516225256503342069010261397856573037063152827498495414507085992061813296484*y + 2756893403983661000508306050913144022521004464949367862674473059631621290256692706745139636337630619/765333173533430512405496688300342004456092013681863808764049417537103331327219342781322749084395312 # 3 Loop Invariant 9305128573295911185016975041320485719868377112047640961454163376268837729399259933047162238200572155836376775103108616839680299/4494636464894899284890914399199638589171051747980189767296425375848676129737297813148177219593357886738486539837882443118446540736*y^20 + 122227806941082526261767789245534125332456080342904827834314226333292657812502007500759292068433400487146367275386131713125392665/3370977348671174463668185799399728941878288810985142325472319031886507097302973359861132914695018415053864904878411832338834905552*y^19 + 410152181339479508689864611146674034781744950886687186789150657035179471317877550116652161398588265113872061914021537247371216651/1685488674335587231834092899699864470939144405492571162736159515943253548651486679930566457347509207526932452439205916169417452776*y^18 + 193692717034713216697380606025356430963652126833822859120129004233228492177476078740209839229055554349941945860535964254549751691/249702025827494404716161911066646588287280652665566098183134743102704229429849878508232067755186549263249252213215691284358141152*y^17 + 1333572800836091434928173360806358157693127082719592062257144544010641529012274935989581018657199872392567022614214921465670253735/3370977348671174463668185799399728941878288810985142325472319031886507097302973359861132914695018415053864904878411832338834905552*y^16 - 93712009521620606993194620089139761073311649385255339732649141963320617984845500954071758616522614370906230849930992923667966638787/13483909394684697854672743197598915767513155243940569301889276127546028389211893439444531658780073660215459619513647329355339622208*y^15 - 13070437854007793512465487444290732026925700208930517504401007709659578830782003214795628807703630857153047087260075928861770102507/421372168583896807958523224924966117734786101373142790684039878985813387162871669982641614336877301881733113109801479042354363194*y^14 - 56713694140326090710096521267377030984832956809867255990225004030740560342036442599394449014201916988527458551407619677705649009089/842744337167793615917046449849932235469572202746285581368079757971626774325743339965283228673754603763466226219602958084708726388*y^13 - 1976992900750978368398352031103031683451089473295852033097573911091077505223697039647935747780105026480584996450589134648525268383/26753788481517257648160204757140705887922927071310653376764436761004024581769629840167721545198558849633848451415966923324086552*y^12 + 64507211319886611904751049996701701793020158107665148250605918512676067812655345276398208258608495084329888736884659440546569118005/13483909394684697854672743197598915767513155243940569301889276127546028389211893439444531658780073660215459619513647329355339622208*y^11 + 9363234792184746394849224352114122804438245468919898957922634808691800807816832267164104309335275326897575350307747827424229307715/62425506456873601179040477766661647071820163166391524545783685775676057357462469627058016938796637315812313053303922821089535288*y^10 + 1603866623988651584742703275918740851627613995308840269475275224665109989974774805012615801558410835230721129102488547806485649015003/6741954697342348927336371598799457883756577621970284650944638063773014194605946719722265829390036830107729809756823664677669811104*y^9 + 6613343414655240212394578554778448299071189427218293995729229286076850639476793965664181599223409811112268265067396811982847156025/37770054326847893150343818480669231841773544100673863590726263662593917056615948009648548063809730140659550754940188597634004544*y^8 + 69297254486438072531035006511711969823583702505955180447789815382593949880077184396884899952145844117333246410166945312742513128141/2247318232447449642445457199599819294585525873990094883648212687924338064868648906574088609796678943369243269918941221559223270368*y^7 - 28522782506044963466624379694963226003896019646782689336035306557240594651996142959433651143031213184450464754152503017061180631895/499404051654988809432323822133293176574561305331132196366269486205408458859699757016464135510373098526498504426431382568716282304*y^6 - 365125847181669798730364244943407487179052558117952383067730126356606468161934183085297718616182734322710972499010475452373155478977/6741954697342348927336371598799457883756577621970284650944638063773014194605946719722265829390036830107729809756823664677669811104*y^5 - 5823679298528474050363847862202669150208789637996118806996479333841539627244622880497562920633725035545518099351841066100605879579/293128465101841257710277026034759038424199027042186289171506002772739747591562900857489818669132036091640426511166246290333470048*y^4 - 58815637441138664146529609407883253710790619871538493203179498615855351550362114269444880697445322929896885090414373723526666743/396585570431902878078610094047026934338622213057075567702625768457236129094467454101309754670002166476925282926871980275157047712*y^3 + 4709900535502652909266641242112545227303283101767358175324071451051030132715217837862060728515808950383355038033073029032446893/1550944259798101892646968391718301790604227656307863963870402131072697077204036512473491104069481672442541939212519821641976032*y^2 + 3911563369516369656383904392728848208570828504981984123387391808036139436953893346455460316901702084809869498828473483659234125435/3370977348671174463668185799399728941878288810985142325472319031886507097302973359861132914695018415053864904878411832338834905552*y + 478789103553121515976498120848007801361356402534820232391044013500491359426131618463039289577409222036977796420739531563643665613/4494636464894899284890914399199638589171051747980189767296425375848676129737297813148177219593357886738486539837882443118446540736