# Manifold: Census Knot K7_61 # Number of Tetrahedra: 7 # Number Field x^23 + 13*x^22 + 81*x^21 + 318*x^20 + 834*x^19 + 1253*x^18 - 559*x^17 - 10241*x^16 - 36802*x^15 - 85546*x^14 - 140522*x^13 - 148525*x^12 - 40500*x^11 + 189665*x^10 + 414979*x^9 + 435577*x^8 + 174311*x^7 - 192275*x^6 - 370382*x^5 - 254552*x^4 - 32186*x^3 + 71456*x^2 + 47145*x + 9225 # Approximate Field Generator -0.214794976573602 - 1.31807216331113*I # Shape Parameters -336563630002379166125317481466643/6946485975513177312979780183756800*y^22 - 1967301681218686751411067282195077/3473242987756588656489890091878400*y^21 - 7367016827949436782384217673438831/2315495325171059104326593394585600*y^20 - 25993431812629215231299835407429773/2315495325171059104326593394585600*y^19 - 59309254044812153264882743972513199/2315495325171059104326593394585600*y^18 - 46541558871330599947409322221880371/1736621493878294328244945045939200*y^17 + 438703300504934056610945798975593777/6946485975513177312979780183756800*y^16 + 720761948960072404805344134822804017/1736621493878294328244945045939200*y^15 + 4304748191058488501966254423840185653/3473242987756588656489890091878400*y^14 + 2180478111504116197819402050567124121/868310746939147164122472522969600*y^13 + 12084814772024026137355574346988474483/3473242987756588656489890091878400*y^12 + 3529458571446279606446963851479084953/1389297195102635462595956036751360*y^11 - 142720083126527824053747409502060629/92619813006842364173063735783424*y^10 - 5136357196591256262416800152245406377/694648597551317731297978018375680*y^9 - 73549246303468075875268468126839644947/6946485975513177312979780183756800*y^8 - 25048395365865755047016580411974615783/3473242987756588656489890091878400*y^7 + 8822686139758321623549523029483681037/6946485975513177312979780183756800*y^6 + 5598861424365906465355407072963333503/694648597551317731297978018375680*y^5 + 419162535972580925004260035079510467/54269421683696697757654532685600*y^4 + 2031774799646329492258428099683083897/868310746939147164122472522969600*y^3 - 5394408706296985740427698059744692181/3473242987756588656489890091878400*y^2 - 5234849315019012505873252870313461669/3473242987756588656489890091878400*y - 159149510543464333627969238684083867/463099065034211820865318678917120 -y -1/9225*y^22 - 13/9225*y^21 - 9/1025*y^20 - 106/3075*y^19 - 278/3075*y^18 - 1253/9225*y^17 + 559/9225*y^16 + 10241/9225*y^15 + 36802/9225*y^14 + 85546/9225*y^13 + 140522/9225*y^12 + 5941/369*y^11 + 180/41*y^10 - 37933/1845*y^9 - 414979/9225*y^8 - 435577/9225*y^7 - 174311/9225*y^6 + 7691/369*y^5 + 370382/9225*y^4 + 254552/9225*y^3 + 32186/9225*y^2 - 71456/9225*y - 2528/615 -97319089636912869889999/2321417726073818630416512*y^22 - 581539429891744483321217/1160708863036909315208256*y^21 - 2210258479833014402221691/773805908691272876805504*y^20 - 7893093057445845024867697/773805908691272876805504*y^19 - 18275449911063921116786603/773805908691272876805504*y^18 - 14976948642925856887743995/580354431518454657604128*y^17 + 125429829346929002244794101/2321417726073818630416512*y^16 + 216742726002375466118955437/580354431518454657604128*y^15 + 1313397674615513748243453713/1160708863036909315208256*y^14 + 672930973618075907771455025/290177215759227328802064*y^13 + 3785077986471084956154265687/1160708863036909315208256*y^12 + 5739786353785866367206791713/2321417726073818630416512*y^11 - 962218000557719559288887377/773805908691272876805504*y^10 - 7781005072275392222399748841/1160708863036909315208256*y^9 - 22819535993017098613468108399/2321417726073818630416512*y^8 - 8008074847491786572359208339/1160708863036909315208256*y^7 + 2076137603020660029254819953/2321417726073818630416512*y^6 + 8480037204187993982669403295/1160708863036909315208256*y^5 + 129990448777494525504399574/18136075984951708050129*y^4 + 650567656344209911453984747/290177215759227328802064*y^3 - 1630010457613007708439041513/1160708863036909315208256*y^2 - 1618785734956902606552819025/1160708863036909315208256*y - 248122047718454169880664051/773805908691272876805504 542174351632400283852151714073/17132062818424781492473858560000*y^22 + 3070959278403140738795893190947/8566031409212390746236929280000*y^21 + 11224260355148702942786184783541/5710687606141593830824619520000*y^20 + 38787544066386920421653370953303/5710687606141593830824619520000*y^19 + 86281937958621302888494890823189/5710687606141593830824619520000*y^18 + 62591654194145161560998524746781/4283015704606195373118464640000*y^17 - 714434335217129129437247774054147/17132062818424781492473858560000*y^16 - 1088691228806999952731502575611237/4283015704606195373118464640000*y^15 - 6353349544764840667735195105817683/8566031409212390746236929280000*y^14 - 1580562412782361688534353929389003/1070753926151548843279616160000*y^13 - 17148945993274015678516383415214213/8566031409212390746236929280000*y^12 - 4775252148425609948181446875340083/3426412563684956298494771712000*y^11 + 228931676965372815373683295327007/228427504245663753232984780800*y^10 + 7383390714885974893297695055593967/1713206281842478149247385856000*y^9 + 102440284904397890155373487913056017/17132062818424781492473858560000*y^8 + 33491623842978039909561971845299013/8566031409212390746236929280000*y^7 - 15272492021342277340933336078469207/17132062818424781492473858560000*y^6 - 7790060874004221867395926695371233/1713206281842478149247385856000*y^5 - 8958348571056720707316797956161167/2141507852303097686559232320000*y^4 - 1255235687154490832504056728848221/1070753926151548843279616160000*y^3 + 7509229511566652243835996570561091/8566031409212390746236929280000*y^2 + 6835738532903707813658580018272459/8566031409212390746236929280000*y + 205517846912358076750526707829897/1142137521228318766164923904000 1214126115254368013451071/34821265891107279456247680*y^22 + 7161926576876545563256969/17410632945553639728123840*y^21 + 26966010812950491529966747/11607088630369093152082560*y^20 + 95543491019467793392488161/11607088630369093152082560*y^19 + 219130664179026632366382283/11607088630369093152082560*y^18 + 174726194103961667649698707/8705316472776819864061920*y^17 - 1577313417002743132783788389/34821265891107279456247680*y^16 - 2638104526529011948020126649/8705316472776819864061920*y^15 - 15838852866724361831944494361/17410632945553639728123840*y^14 - 8057712802135594203922713547/4352658236388409932030960*y^13 - 44929856566802596526798398031/17410632945553639728123840*y^12 - 13355148334804492102638469933/6964253178221455891249536*y^11 + 2461645842599072730888900013/2321417726073818630416512*y^10 + 18697741962462232910319744925/3482126589110727945624768*y^9 + 270406689013880617181919527279/34821265891107279456247680*y^8 + 93276185504447688496477763491/17410632945553639728123840*y^7 - 28606708148649454378106613089/34821265891107279456247680*y^6 - 20230403476522370934748237723/3482126589110727945624768*y^5 - 12205583918406469629872030017/2176329118194204966015480*y^4 - 7434571154680049698943730389/4352658236388409932030960*y^3 + 19495127807864050246770999217/17410632945553639728123840*y^2 + 18910730348667391118266118153/17410632945553639728123840*y + 583069745782821090431911127/2321417726073818630416512 5117297604311597635674194407547/92619813006842364173063735783424*y^22 + 30453282930560365439145786603337/46309906503421182086531867891712*y^21 + 115643292776157194496286912205167/30873271002280788057687911927808*y^20 + 413183766886103923307218650153749/30873271002280788057687911927808*y^19 + 957989390592687331943294782570447/30873271002280788057687911927808*y^18 + 789206365013212442344580335764583/23154953251710591043265933945856*y^17 - 6508600140793063373107734845383577/92619813006842364173063735783424*y^16 - 11327115937102409996584700248697431/23154953251710591043265933945856*y^15 - 68798143734424726994259903482335705/46309906503421182086531867891712*y^14 - 17662321563859074935848688198581307/5788738312927647760816483486464*y^13 - 199342581277227988497549833549057711/46309906503421182086531867891712*y^12 - 305077394956568994409828072234642349/92619813006842364173063735783424*y^11 + 48655189736888036433618215354081765/30873271002280788057687911927808*y^10 + 406975742947981179617692929871934369/46309906503421182086531867891712*y^9 + 1203119827076511396067405197018946307/92619813006842364173063735783424*y^8 + 427030501991402364620166419862137983/46309906503421182086531867891712*y^7 - 96489390276923653379440349494970645/92619813006842364173063735783424*y^6 - 444648862119797314071742387211405615/46309906503421182086531867891712*y^5 - 110553558543086650400333265693395153/11577476625855295521632966972928*y^4 - 17774730446506905913112630435149501/5788738312927647760816483486464*y^3 + 84793922031202481237603196858614857/46309906503421182086531867891712*y^2 + 86895862821787527499125569392036193/46309906503421182086531867891712*y + 13489279607598661523851522906561303/30873271002280788057687911927808 # A Gluing Matrix {{1,0,0,0,0,0,2},{0,0,-1,0,0,0,0},{0,-1,-1,1,0,0,-2},{0,0,2,0,0,1,2},{0,0,0,0,0,0,2},{0,0,0,1,0,1,0},{1,0,-2,1,2,0,-3}} # 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,2,0,0,0},{0,0,0,0,1,0,0},{0,0,0,0,0,2,0},{0,0,0,0,0,0,1}} # nu Gluing Vector {2, 0, -1, 2, 2, 2, -1} # f Combinatorial flattening {-8, 1, 0, 10, 6, -8, 5} # f' Combinatorial flattening {0, 0, 0, 0, -8, 0, 0} # 1 Loop Invariant 58000739362536568037243605177240573/13892971951026354625959560367513600*y^22 + 348124297408394025229016481572531147/6946485975513177312979780183756800*y^21 + 1334607566300913307168398505930740641/4630990650342118208653186789171200*y^20 + 4815257896803182968737664569929567203/4630990650342118208653186789171200*y^19 + 11307235925926801219722805686095483489/4630990650342118208653186789171200*y^18 + 9666111554399693361718737358741760381/3473242987756588656489890091878400*y^17 - 71440800928041949586298288628628373247/13892971951026354625959560367513600*y^16 - 130833192370850821185726690546316194287/3473242987756588656489890091878400*y^15 - 805959244628710276794190332572863245083/6946485975513177312979780183756800*y^14 - 418469786509565465660608744869536845631/1736621493878294328244945045939200*y^13 - 2395687842737645656102107707788493818813/6946485975513177312979780183756800*y^12 - 758823529328500351388728746029236603223/2778594390205270925191912073502720*y^11 + 19901347051229632379241425917579396123/185239626013684728346127471566848*y^10 + 955008604187289443913373759981383326567/1389297195102635462595956036751360*y^9 + 14507366158354175238866642239336219616317/13892971951026354625959560367513600*y^8 + 5329880704252284650370413371540877662313/6946485975513177312979780183756800*y^7 - 693490847546849955467654717350733271907/13892971951026354625959560367513600*y^6 - 1055030265288579621921053128676560977713/1389297195102635462595956036751360*y^5 - 170293725266958210209275333326279684899/217077686734786791030618130742400*y^4 - 468094396469306400265562667714373340767/1736621493878294328244945045939200*y^3 + 985343655750367015221110122091938535291/6946485975513177312979780183756800*y^2 + 1089269347257217484155371627527480606059/6946485975513177312979780183756800*y + 34869369459472442806052805737711108917/926198130068423641730637357834240 # 2 Loop Invariant -34041305130836478032821779266027088196352314352309032209007337704837004535641959696163163804970958950447/3669444031489968032897578726305088058438025604926264424283051042810498938780153752482654280824625883737600*y^22 - 198457507838859368521703829448026051112604061865645060478482054793207352195898906859308345429822709450363/1834722015744984016448789363152544029219012802463132212141525521405249469390076876241327140412312941868800*y^21 - 741767678845149480258491838894024346194504417182837381093508169722904472444695224361005639384132651755459/1223148010496656010965859575435029352812675201642088141427683680936832979593384584160884760274875294579200*y^20 - 2613816849146710192328030930325731011918567838141853960303617621358717039564193753734101573761631338281337/1223148010496656010965859575435029352812675201642088141427683680936832979593384584160884760274875294579200*y^19 - 5957789302785595210277931785374218771055086972328892710350469060741324876740508430981641273707885024734231/1223148010496656010965859575435029352812675201642088141427683680936832979593384584160884760274875294579200*y^18 - 583477509616982960128714988350639138359563230763831136372018502608881434784693727448240992935830518868543/114670125984061501028049335197034001826188300153945763258845345087828091836879804765082946275769558866800*y^17 + 44117367536340689001990071954386565502554896543085963899776153601769300430261145134525697762376130751374553/3669444031489968032897578726305088058438025604926264424283051042810498938780153752482654280824625883737600*y^16 + 72388915298758737057971647346474372523176477624801637713445366872235255007246800652304159569130399730787403/917361007872492008224394681576272014609506401231566106070762760702624734695038438120663570206156470934400*y^15 + 432274799172369596052310801557682236415883273888998753415430192466236978937525511808163547091194839836812867/1834722015744984016448789363152544029219012802463132212141525521405249469390076876241327140412312941868800*y^14 + 109521406931079188853166331604698561998943637940290396264335315532291709732284794074173445015674984771326737/229340251968123002056098670394068003652376600307891526517690690175656183673759609530165892551539117733600*y^13 + 1215957937456639082656537159055325076109094683034210685168716893637817069657632678590910618565531706825850037/1834722015744984016448789363152544029219012802463132212141525521405249469390076876241327140412312941868800*y^12 + 358115320099095592845753837720103420799193082705090483355179143957766755117551529499594405013184934748146181/733888806297993606579515745261017611687605120985252884856610208562099787756030750496530856164925176747520*y^11 - 13720256413061020669469404937562822902092393331504824695079101976240861677003613146013322129440094862564265/48925920419866240438634383017401174112507008065683525657107347237473319183735383366435390410995011783168*y^10 - 508178184559329661099267837566458757400244095905877869205836263031712621259721726322088507136078872540087063/366944403148996803289757872630508805843802560492626442428305104281049893878015375248265428082462588373760*y^9 - 7309123263008164708905995565890284327865973467667058644718477288965628823902625194535757593894935078835807863/3669444031489968032897578726305088058438025604926264424283051042810498938780153752482654280824625883737600*y^8 - 2505927886059770847504560608645571980076942575353549242581013017186653299853169632261727027178122531058705027/1834722015744984016448789363152544029219012802463132212141525521405249469390076876241327140412312941868800*y^7 + 806867287709145554540408054840510523046073049235929034393482134151435166413927328485693802982374567254253753/3669444031489968032897578726305088058438025604926264424283051042810498938780153752482654280824625883737600*y^6 + 547464962157890155845401899778513218021328975346427316919810755211148113964751667294443327801541518571879521/366944403148996803289757872630508805843802560492626442428305104281049893878015375248265428082462588373760*y^5 + 164395073985956747705745065649708701170360854649133450009396017024976123044600299391943365344638799788000497/114670125984061501028049335197034001826188300153945763258845345087828091836879804765082946275769558866800*y^4 + 398380372601529719210717706194882757843379469373429633876107665291339417118279423604204314095015381880089031/917361007872492008224394681576272014609506401231566106070762760702624734695038438120663570206156470934400*y^3 - 526737691573316151910118884566320958442159010111199003251585507205801368051924815198228843611195327134280389/1834722015744984016448789363152544029219012802463132212141525521405249469390076876241327140412312941868800*y^2 - 509995789952908976232264530727567718947065892029501576978431829336561140141264764942437249718836739717018871/1834722015744984016448789363152544029219012802463132212141525521405249469390076876241327140412312941868800*y - 14081846502453909902794287215816935901456666304948197199254844157071644254675777218125734799409817161578287/244629602099331202193171915087005870562535040328417628285536736187366595918676916832176952054975058915840 # 3 Loop Invariant 10069438857706832762168723727590638762359514367616731580835337254076598742676656214288699632364127698950551393370033897941679831027175303732693/26426525902510083537645169523437084911784670408332139818407527057982162095546017162651614313481460665962354425188207418327703362107471253792460800*y^22 + 58679456246739596237465879902913718234925647537233741999208873796381146813756854427924822191332311641299339544959800920369816384338786320416527/13213262951255041768822584761718542455892335204166069909203763528991081047773008581325807156740730332981177212594103709163851681053735626896230400*y^21 + 218808103999487098463380163359699094384662664639116891260689099992474258908311764012176563458178694041069726035198756821706414953626553563790481/8808841967503361179215056507812361637261556802777379939469175685994054031848672387550538104493820221987451475062735806109234454035823751264153600*y^20 + 768517022472373856263602955567373390313296161199273164556601549609505144126732104926845105553991254464277500868328711662215616552444883182115323/8808841967503361179215056507812361637261556802777379939469175685994054031848672387550538104493820221987451475062735806109234454035823751264153600*y^19 + 1743503864413360304320160475916959313994749792461259908662910281296365249441969738611035980187265746618043913106968114330114612515303303277189649/8808841967503361179215056507812361637261556802777379939469175685994054031848672387550538104493820221987451475062735806109234454035823751264153600*y^18 + 1344829970060768974847307258509392544346613254073917767911675212981268975170058409198600081711108381103936315536903976224338915245635158970370121/6606631475627520884411292380859271227946167602083034954601881764495540523886504290662903578370365166490588606297051854581925840526867813448115200*y^17 - 13237559275688938947348230327896160185716081832222878394736178469576747199940434544962581310758102943224048254191535450230309618168483058291237527/26426525902510083537645169523437084911784670408332139818407527057982162095546017162651614313481460665962354425188207418327703362107471253792460800*y^16 - 21356681963137492841196825026427509319834060382978643119201916039985249900335525579514496002179832887904942998053504625786085275169216560599399717/6606631475627520884411292380859271227946167602083034954601881764495540523886504290662903578370365166490588606297051854581925840526867813448115200*y^15 - 126848847316604238879606404564419709489212708946865843354049455745413449675444616456163972242399937137136415568584833778328614043367947534409119103/13213262951255041768822584761718542455892335204166069909203763528991081047773008581325807156740730332981177212594103709163851681053735626896230400*y^14 - 15996053485488106920855547023439707408951582879407763030458295731347274170384952341928534037941147851684476008573644293477210749872625772172267849/825828934453440110551411547607408903493270950260379369325235220561942565485813036332862947296295645811323575787131481822740730065858476681014400*y^13 - 352939964899910191866953752539837716684446446478971207545702343686477209626804758234994738213179774514035087769033644063386102116570982097184860633/13213262951255041768822584761718542455892335204166069909203763528991081047773008581325807156740730332981177212594103709163851681053735626896230400*y^12 - 102192423932570245810925627430740028490704833943126506431049951596201768326225994879769758536879385191121239515667445521758944176960140115880732183/5285305180502016707529033904687416982356934081666427963681505411596432419109203432530322862696292133192470885037641483665540672421494250758492160*y^11 + 4223748117419738267852308804456963831266853643212521241776642600885646322685760883859939297308429367311552749210203989672152367108056525337429891/352353678700134447168602260312494465490462272111095197578767027439762161273946895502021524179752808879498059002509432244369378161432950050566144*y^10 + 149117592383088893170723672615293432681189276836256712162598215370566509478679977621207767305837266635444189736526438213001051490053544919757386347/2642652590251008353764516952343708491178467040833213981840752705798216209554601716265161431348146066596235442518820741832770336210747125379246080*y^9 + 2118115879264948193246400632984392018764212556235668724429613041955215362630208528762499198404539832889903932799126524741297861912181289134019029597/26426525902510083537645169523437084911784670408332139818407527057982162095546017162651614313481460665962354425188207418327703362107471253792460800*y^8 + 713278602559104358508246846006654962076591392105502813836992805973379183281808458437431737623919400249306849915839182632945998408105223724359132433/13213262951255041768822584761718542455892335204166069909203763528991081047773008581325807156740730332981177212594103709163851681053735626896230400*y^7 - 267980597468556326467839135664715368069606769389914902291805484118031706308343258149221342302940664659985458163289261772002934892360779575421416187/26426525902510083537645169523437084911784670408332139818407527057982162095546017162651614313481460665962354425188207418327703362107471253792460800*y^6 - 159998637272045325216922136633571006899820587945112713219184665776197073020227221948770515758141860768669017007478914793958673531626980762423839733/2642652590251008353764516952343708491178467040833213981840752705798216209554601716265161431348146066596235442518820741832770336210747125379246080*y^5 - 188554281460183555728562183483720827446397822480977871788100543995993196936514869949759370292989246335317438539384933091801999766449272192229450497/3303315737813760442205646190429635613973083801041517477300940882247770261943252145331451789185182583245294303148525927290962920263433906724057600*y^4 - 13721463269601674675049229621869513680021076910551861328569454723963083450318732701962030531793754478694841191972768755533886988928588609393353543/825828934453440110551411547607408903493270950260379369325235220561942565485813036332862947296295645811323575787131481822740730065858476681014400*y^3 + 155807099694393438683125884540899332281344799113239447276214478203764504294999312631204396729581018540972736442775754739290335250115221843329903231/13213262951255041768822584761718542455892335204166069909203763528991081047773008581325807156740730332981177212594103709163851681053735626896230400*y^2 + 145204283943809121201702005554404951991398534099981199375349778319271381536961416035658728088841923019051101306082986965906600759768676731251480519/13213262951255041768822584761718542455892335204166069909203763528991081047773008581325807156740730332981177212594103709163851681053735626896230400*y + 4317185055806395838912308661710114311330515426154232395533247321325313527970487692951348373165306662137118405588359591940967183410914443775195637/1761768393500672235843011301562472327452311360555475987893835137198810806369734477510107620898764044397490295012547161221846890807164750252830720