# Manifold: H T Link Exterior K9a10 # Number of Tetrahedra: 11 # Number Field x^19 - 15/2*x^18 + 27*x^17 - 93/2*x^16 + 145/2*x^15 + 17*x^14 - 151*x^13 + 479/2*x^12 - 282*x^11 + 457/2*x^10 - 141*x^9 + 72*x^8 - 13*x^7 - 11/2*x^6 + 7*x^5 - 13/2*x^4 + 1/2*x^3 + 1/2*x^2 - 1/2*x + 1/2 # Approximate Field Generator -0.0590237679789158 - 0.699121272713632*I # Shape Parameters -6500781676947622078/9127394076033446155*y^18 + 41920964302000954837/9127394076033446155*y^17 - 133181756285054641754/9127394076033446155*y^16 + 178987409640275603948/9127394076033446155*y^15 - 353857997357753343562/9127394076033446155*y^14 - 330662823007451521858/9127394076033446155*y^13 + 87553517173240120795/1825478815206689231*y^12 - 1025883776385915556541/9127394076033446155*y^11 + 268282739476537814702/1825478815206689231*y^10 - 939567127601034706533/9127394076033446155*y^9 + 145249810879123330786/1825478815206689231*y^8 - 258180848728363315601/9127394076033446155*y^7 - 74258340459005557762/9127394076033446155*y^6 + 25121374929730943957/9127394076033446155*y^5 - 149073915961717255594/9127394076033446155*y^4 + 39697528431524663113/9127394076033446155*y^3 + 6255805660130732269/9127394076033446155*y^2 + 1955967921852515192/1825478815206689231*y + 17485566666801543104/9127394076033446155 -9732442507289549764/9127394076033446155*y^18 + 64006773828028348046/9127394076033446155*y^17 - 206682070123485587412/9127394076033446155*y^16 + 287196303221973530074/9127394076033446155*y^15 - 539509204076527652226/9127394076033446155*y^14 - 474554098905810442904/9127394076033446155*y^13 + 156433822098973723129/1825478815206689231*y^12 - 1619070288786206074373/9127394076033446155*y^11 + 402571595618382249886/1825478815206689231*y^10 - 1400588019734161462274/9127394076033446155*y^9 + 201038146819968059659/1825478815206689231*y^8 - 386503870507020765453/9127394076033446155*y^7 - 74451416282285094921/9127394076033446155*y^6 + 22232735619431609476/9127394076033446155*y^5 - 158399070869075634697/9127394076033446155*y^4 + 48838919373270910534/9127394076033446155*y^3 + 8489933712662817807/9127394076033446155*y^2 + 2297762132898736257/1825478815206689231*y + 22809974093021228112/9127394076033446155 -9477231165351336234/9127394076033446155*y^18 + 62659053070306490991/9127394076033446155*y^17 - 203278937136655686072/9127394076033446155*y^16 + 284678152974670762639/9127394076033446155*y^15 - 525431021444984390061/9127394076033446155*y^14 - 468118554115382178124/9127394076033446155*y^13 + 161782462595352765948/1825478815206689231*y^12 - 1627538259439123528068/9127394076033446155*y^11 + 383105591789860466006/1825478815206689231*y^10 - 1287656733049075136444/9127394076033446155*y^9 + 169260938517472339132/1825478815206689231*y^8 - 374500956759133867153/9127394076033446155*y^7 - 24266259668726038001/9127394076033446155*y^6 - 11805085285324236649/9127394076033446155*y^5 - 104572254947333321897/9127394076033446155*y^4 + 32994801852190136049/9127394076033446155*y^3 + 8168051782494376202/9127394076033446155*y^2 + 1726318322922597535/1825478815206689231*y + 24550519608589743202/9127394076033446155 -19960629331014990508/9127394076033446155*y^18 + 137119637676982010422/9127394076033446155*y^17 - 455118766575771301844/9127394076033446155*y^16 + 659846584830853031543/9127394076033446155*y^15 - 1091734303551013382362/9127394076033446155*y^14 - 949774099643744921943/9127394076033446155*y^13 + 464515069522236248087/1825478815206689231*y^12 - 3503686101525628098651/9127394076033446155*y^11 + 776265685289363004249/1825478815206689231*y^10 - 2441228998874505812728/9127394076033446155*y^9 + 287956580558016793268/1825478815206689231*y^8 - 515795365478721925806/9127394076033446155*y^7 - 164304270501657012202/9127394076033446155*y^6 + 48712513850339919157/9127394076033446155*y^5 - 119613474495752694319/9127394076033446155*y^4 + 43635521644690035448/9127394076033446155*y^3 + 56595467164648935259/9127394076033446155*y^2 + 743010210091764651/1825478815206689231*y + 28982825656347355674/9127394076033446155 -5097622927303936772/1825478815206689231*y^18 + 35315006768753461960/1825478815206689231*y^17 - 120100766693065564967/1825478815206689231*y^16 + 188854785251242649538/1825478815206689231*y^15 - 336752516068548201734/1825478815206689231*y^14 - 146753983586858727005/1825478815206689231*y^13 + 487541035669070512233/1825478815206689231*y^12 - 985102631222898230980/1825478815206689231*y^11 + 1331292173651022863250/1825478815206689231*y^10 - 1107912526377148044798/1825478815206689231*y^9 + 826912176148415085517/1825478815206689231*y^8 - 468069377012377572132/1825478815206689231*y^7 + 127823517966355726128/1825478815206689231*y^6 - 46660903591042485500/1825478815206689231*y^5 - 43477125238881386544/1825478815206689231*y^4 + 40110767957791511404/1825478815206689231*y^3 - 10874617285828906716/1825478815206689231*y^2 + 13210942464466640361/1825478815206689231*y + 1857452985119152172/1825478815206689231 -8167034026450340454/9127394076033446155*y^18 + 55006763722058254491/9127394076033446155*y^17 - 180689062709487294227/9127394076033446155*y^16 + 258912904496047133539/9127394076033446155*y^15 - 456822053428782204711/9127394076033446155*y^14 - 382259745891616210824/9127394076033446155*y^13 + 159210510006817859389/1825478815206689231*y^12 - 1415517538684395370268/9127394076033446155*y^11 + 332050691875663501797/1825478815206689231*y^10 - 1149097701657136253824/9127394076033446155*y^9 + 151356231956945869035/1825478815206689231*y^8 - 324704728419139151698/9127394076033446155*y^7 - 21118881398627984621/9127394076033446155*y^6 + 68656397180688556/9127394076033446155*y^5 - 81762878337616642272/9127394076033446155*y^4 + 29003632353139542024/9127394076033446155*y^3 + 6918151300370154937/9127394076033446155*y^2 + 1205267770956039110/1825478815206689231*y + 12618873028641463867/9127394076033446155 4850056004615357262/1825478815206689231*y^18 - 34502531363137808877/1825478815206689231*y^17 + 115668911589056225458/1825478815206689231*y^16 - 166013177522894871020/1825478815206689231*y^15 + 235031525768669727848/1825478815206689231*y^14 + 257166004705013312748/1825478815206689231*y^13 - 743650712215689533902/1825478815206689231*y^12 + 794309736839679115718/1825478815206689231*y^11 - 680356179617702244179/1825478815206689231*y^10 + 427657685757823279597/1825478815206689231*y^9 - 182499819310945742784/1825478815206689231*y^8 + 76977642879076322500/1825478815206689231*y^7 + 18251096010458059892/1825478815206689231*y^6 - 28030812835454330221/1825478815206689231*y^5 + 10589062390626640404/1825478815206689231*y^4 - 7792696403521499208/1825478815206689231*y^3 - 1998796821328985137/1825478815206689231*y^2 + 2698503174519290765/1825478815206689231*y - 536756754632723214/1825478815206689231 -19960629331014990508/9127394076033446155*y^18 + 137119637676982010422/9127394076033446155*y^17 - 455118766575771301844/9127394076033446155*y^16 + 659846584830853031543/9127394076033446155*y^15 - 1091734303551013382362/9127394076033446155*y^14 - 949774099643744921943/9127394076033446155*y^13 + 464515069522236248087/1825478815206689231*y^12 - 3503686101525628098651/9127394076033446155*y^11 + 776265685289363004249/1825478815206689231*y^10 - 2441228998874505812728/9127394076033446155*y^9 + 287956580558016793268/1825478815206689231*y^8 - 515795365478721925806/9127394076033446155*y^7 - 164304270501657012202/9127394076033446155*y^6 + 48712513850339919157/9127394076033446155*y^5 - 119613474495752694319/9127394076033446155*y^4 + 43635521644690035448/9127394076033446155*y^3 + 56595467164648935259/9127394076033446155*y^2 + 743010210091764651/1825478815206689231*y + 28982825656347355674/9127394076033446155 -2/25*y^18 + 13/25*y^17 - 41/25*y^16 + 52/25*y^15 - 93/25*y^14 - 127/25*y^13 + 7*y^12 - 304/25*y^11 + 52/5*y^10 - 197/25*y^9 + 17/5*y^8 - 59/25*y^7 - 33/25*y^6 - 22/25*y^5 - 36/25*y^4 - 23/25*y^3 - 24/25*y^2 - y + 1/25 -40177949067524687618/155165699292568584635*y^18 + 209587508796112498457/155165699292568584635*y^17 - 522447217276170963469/155165699292568584635*y^16 + 297838758287010193913/155165699292568584635*y^15 - 1753672762913080111822/155165699292568584635*y^14 - 2593535410932280748588/155165699292568584635*y^13 - 492871701828963707496/31033139858513716927*y^12 - 1305983107428851787191/155165699292568584635*y^11 + 1725776188533594122892/31033139858513716927*y^10 - 7420114096242945634528/155165699292568584635*y^9 + 1529074288754892642451/31033139858513716927*y^8 - 4858207686368189644136/155165699292568584635*y^7 + 536643980651031108303/155165699292568584635*y^6 - 57998640749072498124/9127394076033446155*y^5 - 607759038206368628139/155165699292568584635*y^4 + 600364065146567765068/155165699292568584635*y^3 + 104425931703372773419/155165699292568584635*y^2 + 55205070594711106109/31033139858513716927*y + 59937957726880517604/155165699292568584635 18105109578355899348/9127394076033446155*y^18 - 134620102416848471274/9127394076033446155*y^17 + 95496908133854658066/1825478815206689231*y^16 - 786377763403948908678/9127394076033446155*y^15 + 1161059987964867057034/9127394076033446155*y^14 + 587044536838997316652/9127394076033446155*y^13 - 2947359632434582324293/9127394076033446155*y^12 + 4191887156544612620713/9127394076033446155*y^11 - 3981888580492496609422/9127394076033446155*y^10 + 2794327755630917222171/9127394076033446155*y^9 - 1478416228539847243594/9127394076033446155*y^8 + 557809693951369061782/9127394076033446155*y^7 - 17375761338769206226/9127394076033446155*y^6 - 123859789421365601798/9127394076033446155*y^5 + 109807338527891844386/9127394076033446155*y^4 - 28321833603197676852/9127394076033446155*y^3 + 11255296613131095109/9127394076033446155*y^2 + 8513969200657715539/9127394076033446155*y - 2570131130729397074/1825478815206689231 # A Gluing Matrix {{0,-1,-1,0,0,0,0,0,0,0,0},{-1,0,0,0,0,0,0,0,0,0,0},{-1,0,2,0,0,1,-1,0,-1,0,0},{0,0,0,1,0,0,0,0,-1,1,1},{0,0,0,0,1,0,1,0,1,0,0},{0,0,1,0,0,1,0,0,0,0,0},{0,0,-1,0,1,0,1,0,0,1,1},{0,0,0,0,0,0,0,1,-1,1,1},{0,0,-1,-1,1,0,0,-1,2,0,-1},{0,0,0,1,0,0,1,1,0,0,1},{0,0,0,1,0,0,1,1,-1,1,2}} # B Gluing Matrix {{1,0,0,0,0,0,0,0,0,0,0},{0,1,0,0,0,0,0,0,0,0,0},{0,0,1,0,0,0,0,0,0,0,0},{0,0,0,1,0,0,0,0,0,0,0},{0,0,0,0,1,0,0,0,0,0,0},{0,0,0,0,0,1,0,0,0,0,0},{0,0,0,0,0,0,1,0,0,0,0},{0,0,0,0,0,0,0,1,0,0,0},{0,0,0,0,0,0,0,0,1,0,0},{0,0,0,0,0,0,0,0,0,1,0},{0,0,0,0,0,0,0,0,0,0,1}} # nu Gluing Vector {0, 0, 0, 1, 1, 1, 1, 1, 0, 2, 2} # f Combinatorial flattening {0, 0, 0, 1, 0, 1, 0, 1, 1, 1, 0} # f' Combinatorial flattening {0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0} # 1 Loop Invariant 230633414574598209517/9127394076033446155*y^18 - 3098932648500170152521/18254788152066892310*y^17 + 9832001060905186836367/18254788152066892310*y^16 - 12274456506968192091089/18254788152066892310*y^15 + 9301905148639929289853/9127394076033446155*y^14 + 15409237979393581100107/9127394076033446155*y^13 - 5748017711633083951325/1825478815206689231*y^12 + 28996281104500354461264/9127394076033446155*y^11 - 9986299821503063877565/3650957630413378462*y^10 + 11451677393840814646642/9127394076033446155*y^9 - 758056943035732462419/1825478815206689231*y^8 + 1238652702641943121749/9127394076033446155*y^7 + 6008113009523688918611/18254788152066892310*y^6 - 1395588498515657087611/18254788152066892310*y^5 + 378627596480179141326/9127394076033446155*y^4 - 573785966257215287939/18254788152066892310*y^3 - 328315160670212573267/18254788152066892310*y^2 - 8927141163922230583/3650957630413378462*y - 23730128106625783531/9127394076033446155 # 2 Loop Invariant 139091627709941539256020997000467155190078325193352116370488306163/3020058677495071377976909219721397801539805971174838497004509635386*y^18 - 3124123081072263524917163263321422338092791072308913937177249103701/6040117354990142755953818439442795603079611942349676994009019270772*y^17 + 3169712174899380978323005198372594935903644399159641000756556557324/1510029338747535688988454609860698900769902985587419248502254817693*y^16 - 3795217061123116952735229311542370039505194242115935497533259999657/1006686225831690459325636406573799267179935323724946165668169878462*y^15 + 8613480386411439912638103322771526268509146058566695314945985823333/6040117354990142755953818439442795603079611942349676994009019270772*y^14 + 5933439402419641901129169858799421244494652529048929611410098324871/3020058677495071377976909219721397801539805971174838497004509635386*y^13 - 180761791414954618836196531764571992591463289136351390985669340434115/6040117354990142755953818439442795603079611942349676994009019270772*y^12 + 73292531963205056048649957118775940262752295806579777642890161228847/6040117354990142755953818439442795603079611942349676994009019270772*y^11 + 40998964325433380790298661161907568964172315683027448781130467190289/6040117354990142755953818439442795603079611942349676994009019270772*y^10 - 43486080086219914764016059608973204600198672163548606345380007135755/6040117354990142755953818439442795603079611942349676994009019270772*y^9 + 20960288717398395451554486755168551494333653253907509004384925639954/1510029338747535688988454609860698900769902985587419248502254817693*y^8 - 30201644019187122088064605936274674162641586539112302880869315472039/6040117354990142755953818439442795603079611942349676994009019270772*y^7 - 2264009865316104644596291618362620718001093383465404211014440099435/1510029338747535688988454609860698900769902985587419248502254817693*y^6 - 820739255353214664991495303692067394024526355848866713480243201766/503343112915845229662818203286899633589967661862473082834084939231*y^5 - 1681019764824842734552407094700608833795711906491755659570428655324/503343112915845229662818203286899633589967661862473082834084939231*y^4 + 1480793678353183706640891534672939075129746950888054689758979450053/2013372451663380918651272813147598534359870647449892331336339756924*y^3 + 1485439110060427107278924541883958967114831035333592601543583585281/3020058677495071377976909219721397801539805971174838497004509635386*y^2 + 3247039162447617889916351489726958932914954009839368557608855215693/6040117354990142755953818439442795603079611942349676994009019270772*y + 534361408908452900348552399371850618514822750504318423734034622844/1510029338747535688988454609860698900769902985587419248502254817693 # 3 Loop Invariant -76648060637043594737591935982408252233271340281330380306725006937956358959449418001056873/1321532358933498493967707243372416117969876161814502923392714201579457577656823575530477405*y^18 + 1069096087406143080613421162054325596730289207590788600748627091872373584462968355963303309/2643064717866996987935414486744832235939752323629005846785428403158915155313647151060954810*y^17 - 3515802715467158870634363093285423393493939930438945749295994486506843187829802360895069893/2643064717866996987935414486744832235939752323629005846785428403158915155313647151060954810*y^16 + 2401118549145864165718512897526136656120380844015586481491503461760356380224253131542361153/1321532358933498493967707243372416117969876161814502923392714201579457577656823575530477405*y^15 - 3416442637411665962936741994795210299857559377722053087136665866729481633618055331870359537/1321532358933498493967707243372416117969876161814502923392714201579457577656823575530477405*y^14 - 9280985492334571916768774176962394402052255754643190707651438059226302754230220162218175581/2643064717866996987935414486744832235939752323629005846785428403158915155313647151060954810*y^13 + 2258208904041307860843772913790068820896354878990223989080192032768663719890635060603478692/264306471786699698793541448674483223593975232362900584678542840315891515531364715106095481*y^12 - 23571489797362608015810827261445813459081814324012644981643488527818078714401942811513233727/2643064717866996987935414486744832235939752323629005846785428403158915155313647151060954810*y^11 + 1875709370666435123061492151026291052710714312689441450115988210420531058807229727714224639/264306471786699698793541448674483223593975232362900584678542840315891515531364715106095481*y^10 - 8919967215879007992103918518265701878818898472760945651443841851970863024562055445273461161/2643064717866996987935414486744832235939752323629005846785428403158915155313647151060954810*y^9 + 122049877637990942630474272273248247918167284323756697900046001911764215850964898894579875/264306471786699698793541448674483223593975232362900584678542840315891515531364715106095481*y^8 - 16466454396196965270943835753378156915513012741155584197140647574768886567851428625625461/1321532358933498493967707243372416117969876161814502923392714201579457577656823575530477405*y^7 - 2234260055793928223534010195615961633607120159736764487835336822355609930875141200613431899/2643064717866996987935414486744832235939752323629005846785428403158915155313647151060954810*y^6 + 528601629527906941421598126251916261885280262291273377962270425830342385484740384256996297/1321532358933498493967707243372416117969876161814502923392714201579457577656823575530477405*y^5 - 108197154969425559564572082570616996583062065065819737092700365397457076247509407413937443/2643064717866996987935414486744832235939752323629005846785428403158915155313647151060954810*y^4 + 339732254671932256470938581736486456249540968483635037996480145107716494946636951049135431/2643064717866996987935414486744832235939752323629005846785428403158915155313647151060954810*y^3 + 226316907694958676129527106844992121268334012211761526057301488959558431519993104791383343/2643064717866996987935414486744832235939752323629005846785428403158915155313647151060954810*y^2 - 33165719769116319014663864376257618067473995214626693613432136527818318402005708976672335/528612943573399397587082897348966447187950464725801169357085680631783031062729430212190962*y - 9463422970055417338111987115774291238013257394262123669038649684801075366276950058074877/2643064717866996987935414486744832235939752323629005846785428403158915155313647151060954810 # 4 Loop Invariant -836199215569169783572003193778215666196780351079963632823265657733394844816253966356509212542358902966738110141023193745305623555068531027/65590001400302504309719540434260257824725668129492733989352390405723140849162287127105246661279294015084770726983822430015901912929660932900*y^18 + 16778723478780026501294283387379651744855549017718231184617453859327006955634221975194391961258453124139845451154535999220862573902021019831/131180002800605008619439080868520515649451336258985467978704780811446281698324574254210493322558588030169541453967644860031803825859321865800*y^17 - 74365961499110444251572317367663462253645931997368363622718261209888527141147010873344395333995839946261553251847278220589619716281296962047/131180002800605008619439080868520515649451336258985467978704780811446281698324574254210493322558588030169541453967644860031803825859321865800*y^16 + 172450381494813536690075516129261291454171406688963843497599860763978628772893851334259902655238401369348775657430369601827267946054395905269/131180002800605008619439080868520515649451336258985467978704780811446281698324574254210493322558588030169541453967644860031803825859321865800*y^15 - 164607562237215701518458321309286319759276519317005593251290954056886999036646514061977568872016569407589864827268554881133563324480909153499/87453335200403339079626053912347010432967557505990311985803187207630854465549716169473662215039058686779694302645096573354535883906214577200*y^14 + 313571143914615850088501123431760431395470047859806959215144588551300966329819269185286050321940105490234264992120003166548536221797831422537/262360005601210017238878161737041031298902672517970935957409561622892563396649148508420986645117176060339082907935289720063607651718643731600*y^13 + 199045015028797569742678081402006171072129053037670961920160585228968102188762933241127009928215198765354596733185011092081373266341740653737/52472001120242003447775632347408206259780534503594187191481912324578512679329829701684197329023435212067816581587057944012721530343728746320*y^12 - 217939678152654727234820557701610085764772938104216566705824253978876312852798985212211717973613927243823843273807567269148685370225383930729/29151111733467779693208684637449003477655852501996770661934395735876951488516572056491220738346352895593231434215032191118178627968738192400*y^11 + 201964887517177898193292825323205753538945135811472252850604597513889846381052823580669722690284580563028734541155810733316396652654827683199/26236000560121001723887816173704103129890267251797093595740956162289256339664914850842098664511717606033908290793528972006360765171864373160*y^10 - 641953525638584849907524054164628424601553279777127383631993310293691946698196086161736634020535501909171392557843919468633419966752204542081/87453335200403339079626053912347010432967557505990311985803187207630854465549716169473662215039058686779694302645096573354535883906214577200*y^9 + 225084623616800029182985414864696496162755355274852125190792879261833389736143837469424261918903826572228075615087841375156773398900017143361/52472001120242003447775632347408206259780534503594187191481912324578512679329829701684197329023435212067816581587057944012721530343728746320*y^8 - 546114651644712053947605116859189864409191830867731409095384539967519006173029408061434466840482342085995942502978328605192491511146920739921/262360005601210017238878161737041031298902672517970935957409561622892563396649148508420986645117176060339082907935289720063607651718643731600*y^7 + 218377163595047767522323719855791524352033111267407570161145035722933202861757533523138687759505245215944315717108100018367243535909413341783/262360005601210017238878161737041031298902672517970935957409561622892563396649148508420986645117176060339082907935289720063607651718643731600*y^6 + 63530525979555765090976551918624895110093987921767825290880227662799616733797501088205090141270729178202293578583992533599319369960124693217/262360005601210017238878161737041031298902672517970935957409561622892563396649148508420986645117176060339082907935289720063607651718643731600*y^5 - 3809570845593890858360118862279800380006666968527545426572925187649684860756388855369870944537823862139251917930032270950529170988016800831/29151111733467779693208684637449003477655852501996770661934395735876951488516572056491220738346352895593231434215032191118178627968738192400*y^4 + 3892077349692028031602883463818681181278180223957867833673953737767227795241155278348037907863610329057357557313973599058101265193842132527/29151111733467779693208684637449003477655852501996770661934395735876951488516572056491220738346352895593231434215032191118178627968738192400*y^3 - 30125941755820079756798234529491189769527192232618732467733997473127970093025661671194499110151018633390372169961086383511421360922677558731/262360005601210017238878161737041031298902672517970935957409561622892563396649148508420986645117176060339082907935289720063607651718643731600*y^2 + 4799826020095500013457203173467142850385235006288046542736357733392415389777492798209587022541851336524762431286134891747114712234173213/26236000560121001723887816173704103129890267251797093595740956162289256339664914850842098664511717606033908290793528972006360765171864373160*y - 221987761082258354020234960045060428902746872749462282202075467865898115142381562541770942324513698801393036657193913525289623132323880739/29151111733467779693208684637449003477655852501996770661934395735876951488516572056491220738346352895593231434215032191118178627968738192400