# Manifold: H T Link Exterior K9a4 # Number of Tetrahedra: 12 # Number Field x^25 - 3*x^24 + 13*x^22 - 32*x^21 + 17*x^20 + 88*x^19 - 188*x^18 + 73*x^17 + 322*x^16 - 579*x^15 - 85*x^14 + 1038*x^13 - 560*x^12 - 831*x^11 + 1075*x^10 + 117*x^9 - 821*x^8 + 214*x^7 + 281*x^6 - 31*x^5 - 13*x^4 - 54*x^3 + 11*x^2 + 52*x + 16 # Approximate Field Generator 1.64654084314125 - 0.0359738309761472*I # Shape Parameters 4929487328240547039518143/11859128946565251063825708*y^24 - 17706536433842338664994553/11859128946565251063825708*y^23 + 2646740963169313757721445/2964782236641312765956427*y^22 + 6357490678117932332817215/1317680994062805673758412*y^21 - 47639114712945185952846479/2964782236641312765956427*y^20 + 197065123762132900669639615/11859128946565251063825708*y^19 + 25924733018115992609790850/988260745547104255318809*y^18 - 274531129025412002550576986/2964782236641312765956427*y^17 + 334986188257316964521884009/3953042982188417021275236*y^16 + 480920821807786786994394527/5929564473282625531912854*y^15 - 3357205046706806065349839441/11859128946565251063825708*y^14 + 510136231534303390195082563/3953042982188417021275236*y^13 + 229496344099575578828349473/658840497031402836879206*y^12 - 1262495155613112534125752787/2964782236641312765956427*y^11 - 1119374588562423837026121589/11859128946565251063825708*y^10 + 5753398350989197478846862965/11859128946565251063825708*y^9 - 2651503090725303287635854893/11859128946565251063825708*y^8 - 799328574092804583431544461/3953042982188417021275236*y^7 + 1131834782125008160552708883/5929564473282625531912854*y^6 + 125336184721752356701345675/11859128946565251063825708*y^5 - 172439492716702428776781209/11859128946565251063825708*y^4 + 4010931945652954566833245/11859128946565251063825708*y^3 - 137549252584413064566867245/5929564473282625531912854*y^2 + 22644714904956503937247529/1317680994062805673758412*y + 37902393264817869424106497/2964782236641312765956427 223490319902205499230891/1317680994062805673758412*y^24 - 791063620129453737123197/1317680994062805673758412*y^23 + 103362352461431514236246/329420248515701418439603*y^22 + 2711616861664239160949955/1317680994062805673758412*y^21 - 2147017213048253967043187/329420248515701418439603*y^20 + 8263003899372963612170359/1317680994062805673758412*y^19 + 3880997161804631792905365/329420248515701418439603*y^18 - 12583847952534918070041121/329420248515701418439603*y^17 + 42167254299340924536622115/1317680994062805673758412*y^16 + 25489431108891346917775245/658840497031402836879206*y^15 - 156421103244827710711727733/1317680994062805673758412*y^14 + 60503893520175862497300641/1317680994062805673758412*y^13 + 102303693064145368029857747/658840497031402836879206*y^12 - 57581978923527205102487664/329420248515701418439603*y^11 - 73908346159090491740140261/1317680994062805673758412*y^10 + 280571693651083354176376149/1317680994062805673758412*y^9 - 111375524057580879831788097/1317680994062805673758412*y^8 - 132136271807986055071788691/1317680994062805673758412*y^7 + 55767767207565275539009181/658840497031402836879206*y^6 + 11745644353389654016625211/1317680994062805673758412*y^5 - 11593913944880262521801345/1317680994062805673758412*y^4 - 543917499798181603657947/1317680994062805673758412*y^3 - 6973357313047978396289239/658840497031402836879206*y^2 + 9691059687645146223653845/1317680994062805673758412*y + 2020493772428409029559325/329420248515701418439603 -337521583771961274121767/329420248515701418439603*y^24 + 1305630961336236988912576/329420248515701418439603*y^23 - 1157957631435513868472239/329420248515701418439603*y^22 - 3274133935039274301314823/329420248515701418439603*y^21 + 13492776410144313198684155/329420248515701418439603*y^20 - 17585117822449083515039297/329420248515701418439603*y^19 - 13402131299820550248846157/329420248515701418439603*y^18 + 73193676033100908768178778/329420248515701418439603*y^17 - 87892431284434656145692942/329420248515701418439603*y^16 - 27511966101403710834637007/329420248515701418439603*y^15 + 210098524970936445396075548/329420248515701418439603*y^14 - 149586142819068481319290394/329420248515701418439603*y^13 - 208930459220626055368725297/329420248515701418439603*y^12 + 353123174780604244328726325/329420248515701418439603*y^11 - 29221692150102195953796860/329420248515701418439603*y^10 - 312139613913261496382258361/329420248515701418439603*y^9 + 213465565276521744948380499/329420248515701418439603*y^8 + 83241426735205864070555181/329420248515701418439603*y^7 - 125737635339351558429727155/329420248515701418439603*y^6 + 7574361482546930638335098/329420248515701418439603*y^5 + 952772522282977577369167/329420248515701418439603*y^4 + 5582731238175288591682637/329420248515701418439603*y^3 + 11663995137591378475478253/329420248515701418439603*y^2 - 12466262566421087904908185/329420248515701418439603*y - 6676172351470230685624105/329420248515701418439603 293066210020353166547275/329420248515701418439603*y^24 - 1157957631435513868472239/329420248515701418439603*y^23 + 1113646653996222262268148/329420248515701418439603*y^22 + 2692085729441552426787611/329420248515701418439603*y^21 - 11847250898325741854969258/329420248515701418439603*y^20 + 16299768072112041873869339/329420248515701418439603*y^19 + 9739618283972189233286582/329420248515701418439603*y^18 - 63253355669081483134803951/329420248515701418439603*y^17 + 81169983873167819432571967/329420248515701418439603*y^16 + 14673527966970867679572455/329420248515701418439603*y^15 - 178275477439685189619640589/329420248515701418439603*y^14 + 141416944734669747169668849/329420248515701418439603*y^13 + 164111087868305930820536805/329420248515701418439603*y^12 - 309702128264602014748985237/329420248515701418439603*y^11 + 50696088641596873298641164/329420248515701418439603*y^10 + 252955590577841214020627238/329420248515701418439603*y^9 - 193863793541574341983415526/329420248515701418439603*y^8 - 53508016412151845767669017/329420248515701418439603*y^7 + 102417926522468048666551625/329420248515701418439603*y^6 - 9510396574647821920405610/329420248515701418439603*y^5 + 1194950649139792028099666/329420248515701418439603*y^4 - 6562170386094530327097165/329420248515701418439603*y^3 - 8753525144929513889568748/329420248515701418439603*y^2 + 10874950004671755568707779/329420248515701418439603*y + 5400345340351380385948272/329420248515701418439603 -3166337910231602142573724465513/26565913442731063191475968394938*y^24 + 10579930780576460417502073104547/26565913442731063191475968394938*y^23 - 1754913676569316510067820818579/13282956721365531595737984197469*y^22 - 4536982449389041292880709889865/2951768160303451465719552043882*y^21 + 58514724262767706877380283247997/13282956721365531595737984197469*y^20 - 93287056574013161055443631477067/26565913442731063191475968394938*y^19 - 42593814550355716694482022171459/4427652240455177198579328065823*y^18 + 351389278818796793663386987648735/13282956721365531595737984197469*y^17 - 53395033151555378619560146727349/2951768160303451465719552043882*y^16 - 451911332437564050966675646445990/13282956721365531595737984197469*y^15 + 2246410705437326445646534437312259/26565913442731063191475968394938*y^14 - 186266612718741605878055786068855/8855304480910354397158656131646*y^13 - 179326704818579187848201519111821/1475884080151725732859776021941*y^12 + 1570214354591953252030425701875393/13282956721365531595737984197469*y^11 + 1552330077155616602471345062423549/26565913442731063191475968394938*y^10 - 4284736243657462452616054101188801/26565913442731063191475968394938*y^9 + 1352842475524961712580008427367921/26565913442731063191475968394938*y^8 + 757618124139009552681261779491619/8855304480910354397158656131646*y^7 - 888289272993559620575591017248500/13282956721365531595737984197469*y^6 - 164462043424207506188691163866955/26565913442731063191475968394938*y^5 + 222062486899159220361730297102097/26565913442731063191475968394938*y^4 - 90297204730197910708294371957541/26565913442731063191475968394938*y^3 + 118863163960296143785139945377058/13282956721365531595737984197469*y^2 - 48680212856439425606956263199507/8855304480910354397158656131646*y - 52897400142750788551988338117322/13282956721365531595737984197469 -44909076757459296943688244880925/79697740328193189574427905184814*y^24 + 170684542131052555655784442827995/79697740328193189574427905184814*y^23 - 68664365176508944510156286677858/39848870164096594787213952592407*y^22 - 52520615961912402705053497930145/8855304480910354397158656131646*y^21 + 908646775211544381030336277045865/39848870164096594787213952592407*y^20 - 2225638026558977626123144264902467/79697740328193189574427905184814*y^19 - 359629126169777702449307394243817/13282956721365531595737984197469*y^18 + 5088378942088844633580586667461535/39848870164096594787213952592407*y^17 - 425326593005716753950621792374151/2951768160303451465719552043882*y^16 - 2604377945542474417321445697846772/39848870164096594787213952592407*y^15 + 30211609357488505144510634423284475/79697740328193189574427905184814*y^14 - 6855213625741834144470223993685957/26565913442731063191475968394938*y^13 - 1666042372511280311090033088869482/4427652240455177198579328065823*y^12 + 24726610270090173042577008178695857/39848870164096594787213952592407*y^11 - 2676612812419288668590629690269187/79697740328193189574427905184814*y^10 - 46289818726382797783925965780748053/79697740328193189574427905184814*y^9 + 32231736364377762637119011454672337/79697740328193189574427905184814*y^8 + 3629198435830645115295305878366339/26565913442731063191475968394938*y^7 - 9300812513470650201111918040815322/39848870164096594787213952592407*y^6 + 2479613232522672431967434013784657/79697740328193189574427905184814*y^5 - 480182196685268232358236816351467/79697740328193189574427905184814*y^4 + 938832072091194917734654338665245/79697740328193189574427905184814*y^3 + 814118057398604595319921901026699/39848870164096594787213952592407*y^2 - 608922028480955463525966032094725/26565913442731063191475968394938*y - 417709273054119617832709600523227/39848870164096594787213952592407 7092917556791387514275035622335/79697740328193189574427905184814*y^24 - 25549356584925282196005679443385/79697740328193189574427905184814*y^23 + 7362943800186510037529241259223/39848870164096594787213952592407*y^22 + 9548669172327736813922672629003/8855304480910354397158656131646*y^21 - 140843481820550179843806802477909/39848870164096594787213952592407*y^20 + 285231602207126003512226850407011/79697740328193189574427905184814*y^19 + 79842016739453023892775623238557/13282956721365531595737984197469*y^18 - 831508539973407583444602055509304/39848870164096594787213952592407*y^17 + 167797750057887885308410575602731/8855304480910354397158656131646*y^16 + 754652019409379518906677123936149/39848870164096594787213952592407*y^15 - 5226106525671212533045230110268451/79697740328193189574427905184814*y^14 + 859050763873322239844011206376723/26565913442731063191475968394938*y^13 + 342408620599969732146179622806048/4427652240455177198579328065823*y^12 - 4044238911527403859679114083359445/39848870164096594787213952592407*y^11 - 1201729190949995004325384045531315/79697740328193189574427905184814*y^10 + 9014996867865257509652786476077377/79697740328193189574427905184814*y^9 - 4934720204075956635046623580819943/79697740328193189574427905184814*y^8 - 1064807003141406415323068959812173/26565913442731063191475968394938*y^7 + 1981262750656016386154458510689680/39848870164096594787213952592407*y^6 - 576791853040029043269786113982317/79697740328193189574427905184814*y^5 + 37867944258526329466867353640339/79697740328193189574427905184814*y^4 - 50046189581842749053212133021915/79697740328193189574427905184814*y^3 - 216590153688776707434999789698642/39848870164096594787213952592407*y^2 + 130637909484286504957838438248141/26565913442731063191475968394938*y + 104881261089268015816371301822877/39848870164096594787213952592407 217239153528413378971255968706321/106263653770924252765903873579752*y^24 - 749989859501955136913209519289719/106263653770924252765903873579752*y^23 + 84358023690809233679558439476293/26565913442731063191475968394938*y^22 + 297603799601620910647810318184109/11807072641213805862878208175528*y^21 - 2042139743165450694586670338123043/26565913442731063191475968394938*y^20 + 7368006546268726683824880054985009/106263653770924252765903873579752*y^19 + 1321516043505403055582716423293289/8855304480910354397158656131646*y^18 - 12025337344055644787409319466049563/26565913442731063191475968394938*y^17 + 4168826832102793340243542479047889/11807072641213805862878208175528*y^16 + 26699345996988652328646546724220075/53131826885462126382951936789876*y^15 - 150377274640022667290188869937841491/106263653770924252765903873579752*y^14 + 16429377637754701685171458160693029/35421217923641417588634624526584*y^13 + 11358517250987973058225449431911173/5903536320606902931439104087764*y^12 - 26858926300658919072845430944941711/13282956721365531595737984197469*y^11 - 84735129120936902044909829411582911/106263653770924252765903873579752*y^10 + 273844224970413126588602384099753495/106263653770924252765903873579752*y^9 - 98231126113481555161203374761910207/106263653770924252765903873579752*y^8 - 45336891768541347930911398217558531/35421217923641417588634624526584*y^7 + 54523558744118099590673899835165981/53131826885462126382951936789876*y^6 + 12569982818537281301448752538488713/106263653770924252765903873579752*y^5 - 13115745424631645171067352598572475/106263653770924252765903873579752*y^4 + 2897121250177704781447691393980519/106263653770924252765903873579752*y^3 - 6488916828024377820791872424987765/53131826885462126382951936789876*y^2 + 2819623656426197969044020460958449/35421217923641417588634624526584*y + 942565259599578436672769824670189/13282956721365531595737984197469 -11606499909354386396401133673707/26565913442731063191475968394938*y^24 + 38507209535249031847024097762051/26565913442731063191475968394938*y^23 - 5523338936049165074144568479971/13282956721365531595737984197469*y^22 - 16935463223697842084384766770591/2951768160303451465719552043882*y^21 + 212911637596873059731627190575495/13282956721365531595737984197469*y^20 - 323478352419458341976062596791207/26565913442731063191475968394938*y^19 - 161595533331253164189894811008313/4427652240455177198579328065823*y^18 + 1286081068503192848299013997096548/13282956721365531595737984197469*y^17 - 183338287729430039753973067209873/2951768160303451465719552043882*y^16 - 1737549950373112091247929686860496/13282956721365531595737984197469*y^15 + 8239607382729019372451064969752687/26565913442731063191475968394938*y^14 - 569329993960292337205080096786437/8855304480910354397158656131646*y^13 - 678306841349131699889706243628309/1475884080151725732859776021941*y^12 + 5598840085394398096286192961998969/13282956721365531595737984197469*y^11 + 6449318099171427505554726650516939/26565913442731063191475968394938*y^10 - 15876428150459875282824486787071865/26565913442731063191475968394938*y^9 + 4383400795813870330836750720687235/26565913442731063191475968394938*y^8 + 2966694221791095746536520653522057/8855304480910354397158656131646*y^7 - 3193011216405712748905208480262571/13282956721365531595737984197469*y^6 - 1015805426770710299103536178053393/26565913442731063191475968394938*y^5 + 951067567026034240634274810563575/26565913442731063191475968394938*y^4 - 310082666521799487028122876866063/26565913442731063191475968394938*y^3 + 413719493791025501416322591981239/13282956721365531595737984197469*y^2 - 157296081701914530357706123954457/8855304480910354397158656131646*y - 219458656286209437204039442562941/13282956721365531595737984197469 -5548228580961156332338220783923/26565913442731063191475968394938*y^24 + 17940333706789283783332215363985/26565913442731063191475968394938*y^23 - 3880532384498301640750985673788/13282956721365531595737984197469*y^22 - 6426280711959341097015976494703/2951768160303451465719552043882*y^21 + 92489249780144699251747489272364/13282956721365531595737984197469*y^20 - 179001751002315130610436161703085/26565913442731063191475968394938*y^19 - 52848984947783613685571948529608/4427652240455177198579328065823*y^18 + 495708587028864597621620672088136/13282956721365531595737984197469*y^17 - 96348424757495899401213443009995/2951768160303451465719552043882*y^16 - 426143297034901507507552173209987/13282956721365531595737984197469*y^15 + 2813871115523237054191958015755885/26565913442731063191475968394938*y^14 - 295002808765356411529005241371409/8855304480910354397158656131646*y^13 - 189841547165784086578146064925868/1475884080151725732859776021941*y^12 + 1617550859374110853419279372040240/13282956721365531595737984197469*y^11 + 977960028997516100720422295634913/26565913442731063191475968394938*y^10 - 3579560976434943884929018790706491/26565913442731063191475968394938*y^9 + 1476900823663398402458417667780029/26565913442731063191475968394938*y^8 + 379796973437588342237095301264717/8855304480910354397158656131646*y^7 - 282152647035659212712106975854798/13282956721365531595737984197469*y^6 - 10475967948571331029481646653245/26565913442731063191475968394938*y^5 - 412745278174546622182332454285321/26565913442731063191475968394938*y^4 - 158982911166945771049625729321815/26565913442731063191475968394938*y^3 - 182792070047427423983931003073/13282956721365531595737984197469*y^2 - 22794880301693557032983643248113/8855304480910354397158656131646*y - 73426779912552715081373454941/13282956721365531595737984197469 28620882814424972564337047190251/35421217923641417588634624526584*y^24 - 101474726604920580332783894551589/35421217923641417588634624526584*y^23 + 13760872035928082330281341632177/8855304480910354397158656131646*y^22 + 114341350703831349350541416904957/11807072641213805862878208175528*y^21 - 275792308964529737324418539017429/8855304480910354397158656131646*y^20 + 1084246815365226229427702265641147/35421217923641417588634624526584*y^19 + 161504535202942420326208582304891/2951768160303451465719552043882*y^18 - 1611258581578009083480145782589963/8855304480910354397158656131646*y^17 + 1859402424461424748707522262610473/11807072641213805862878208175528*y^16 + 3119178635070541200449238737866129/17710608961820708794317312263292*y^15 - 20009557410757429455512836603169945/35421217923641417588634624526584*y^14 + 2793886850759403423599496550836951/11807072641213805862878208175528*y^13 + 4224134239975726654208140088056585/5903536320606902931439104087764*y^12 - 3733195218684686670827289275795339/4427652240455177198579328065823*y^11 - 7837487345933307023271025150492421/35421217923641417588634624526584*y^10 + 35312444203119887984326120095676285/35421217923641417588634624526584*y^9 - 15670835276690696212146316896527845/35421217923641417588634624526584*y^8 - 5134384604290933999853602727218817/11807072641213805862878208175528*y^7 + 7286555125316300910708680365172083/17710608961820708794317312263292*y^6 + 425237089043463084323093671787003/35421217923641417588634624526584*y^5 - 1297390241063767383473030061387313/35421217923641417588634624526584*y^4 + 215340326389057291653571632542141/35421217923641417588634624526584*y^3 - 789284317180805548193105728708291/17710608961820708794317312263292*y^2 + 401122612191262517463750781401899/11807072641213805862878208175528*y + 107263426142725542479672407096906/4427652240455177198579328065823 543869296548965440283368827137/8855304480910354397158656131646*y^24 - 1859944715903443427152274032001/8855304480910354397158656131646*y^23 + 429309283953717042937027510204/4427652240455177198579328065823*y^22 + 2074280936448320621616812247851/2951768160303451465719552043882*y^21 - 9627883237861290940586523584165/4427652240455177198579328065823*y^20 + 18070648859300136424925626157669/8855304480910354397158656131646*y^19 + 5884201931211225461193414890164/1475884080151725732859776021941*y^18 - 53952114426592724276468897463239/4427652240455177198579328065823*y^17 + 28241833337688984381014412338497/2951768160303451465719552043882*y^16 + 55623560732992966644215071352683/4427652240455177198579328065823*y^15 - 315670142545891185011750466098153/8855304480910354397158656131646*y^14 + 25541019933457052646753255784691/2951768160303451465719552043882*y^13 + 75280824575043640443229958079356/1475884080151725732859776021941*y^12 - 195449604130828288639025625206717/4427652240455177198579328065823*y^11 - 232833026849533776223518260235881/8855304480910354397158656131646*y^10 + 507181107637290289577419173524887/8855304480910354397158656131646*y^9 - 100638405306351336800910974633353/8855304480910354397158656131646*y^8 - 93047064089678569128973922421423/2951768160303451465719552043882*y^7 + 60037685159562694019940416030437/4427652240455177198579328065823*y^6 + 79583453420497520105785893052175/8855304480910354397158656131646*y^5 - 10649737735051688605256936516641/8855304480910354397158656131646*y^4 + 14277912174004578532129628485901/8855304480910354397158656131646*y^3 - 18400506043737345267526504370023/4427652240455177198579328065823*y^2 - 837940793323839769243915861945/2951768160303451465719552043882*y + 5970085374756661276550996396506/4427652240455177198579328065823 # A Gluing Matrix {{1,1,0,0,0,0,0,0,0,0,0,0},{1,1,1,0,0,0,0,0,0,0,0,0},{0,1,1,-1,0,0,0,0,0,0,0,0},{0,0,-1,-1,1,-1,-2,-1,0,0,-1,1},{0,0,0,1,1,1,0,0,-1,1,1,-1},{0,0,0,-1,1,0,-1,0,0,0,0,0},{0,0,0,-2,0,-1,-1,-1,0,0,-1,1},{0,0,0,-1,0,0,-1,0,0,0,-1,1},{0,0,0,0,-1,0,0,0,0,0,0,0},{0,0,0,0,1,0,0,0,0,1,1,-1},{0,0,0,-1,1,0,-1,-1,0,1,0,0},{0,0,0,1,-1,0,1,1,0,-1,0,1}} # B Gluing Matrix {{1,0,0,0,0,0,0,0,0,0,0,0},{0,1,0,0,0,0,0,0,0,0,0,0},{0,0,1,0,0,0,0,0,0,0,0,0},{0,0,0,1,0,0,0,0,0,0,0,0},{0,0,0,0,1,0,0,0,0,0,0,0},{0,0,0,0,0,1,0,0,0,0,0,0},{0,0,0,0,0,0,1,0,0,0,0,0},{0,0,0,0,0,0,0,1,0,0,0,0},{0,0,0,0,0,0,0,0,1,0,0,0},{0,0,0,0,0,0,0,0,0,1,0,0},{0,0,0,0,0,0,0,0,0,0,1,0},{0,0,0,0,0,0,0,0,0,0,0,1}} # nu Gluing Vector {1, 1, 1, -1, 1, 0, -1, 0, 0, 1, 0, 1} # f Combinatorial flattening {0, 1, 0, 0, 0, 0, 0, 1, 0, 1, 1, 1} # f' Combinatorial flattening {0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0} # 1 Loop Invariant -57923383032376305563692177704145/53131826885462126382951936789876*y^24 + 207331100202642074766968443089433/53131826885462126382951936789876*y^23 - 29702490196437530451462627366676/13282956721365531595737984197469*y^22 - 75987508307097815742818192164915/5903536320606902931439104087764*y^21 + 558763742684421858608007156559943/13282956721365531595737984197469*y^20 - 2256340669588037380456845031487131/53131826885462126382951936789876*y^19 - 630940707636672456497474925297779/8855304480910354397158656131646*y^18 + 6477869331410482570893319865514205/26565913442731063191475968394938*y^17 - 1274539346262049596229275962698285/5903536320606902931439104087764*y^16 - 2997431504761398428445796522022575/13282956721365531595737984197469*y^15 + 39768081190170900313376330424117913/53131826885462126382951936789876*y^14 - 5661359662048359252226108786350613/17710608961820708794317312263292*y^13 - 1398146632045472084548910258440437/1475884080151725732859776021941*y^12 + 29559905677526409324364606826149009/26565913442731063191475968394938*y^11 + 15977264034780251357332721733413923/53131826885462126382951936789876*y^10 - 69400465036696886577383797612180571/53131826885462126382951936789876*y^9 + 29664929477716022042719795761147035/53131826885462126382951936789876*y^8 + 10296776869871251557942625937501471/17710608961820708794317312263292*y^7 - 13517959300914173539280818923795953/26565913442731063191475968394938*y^6 - 2485183146432673497134617201216585/53131826885462126382951936789876*y^5 + 2687145292540464901682814060723749/53131826885462126382951936789876*y^4 - 51528258284123517370745112663043/53131826885462126382951936789876*y^3 + 823080598014589676138449900204096/13282956721365531595737984197469*y^2 - 636801712638574203389145002438203/17710608961820708794317312263292*y - 413990335012604258256665117901391/13282956721365531595737984197469 # 2 Loop Invariant 1239719594587034191510018173689082737853482375864504039756421621683417091142089569778637151001989533/10486906536353535624073947440821407599290421101929574644203568315198308004855797130064738217994621168*y^24 - 4523499766853117314652331247673300838210541163550930525327050059668204833674842530772883714891038205/10486906536353535624073947440821407599290421101929574644203568315198308004855797130064738217994621168*y^23 + 1441026880513218479083756925349507075579487629123901836470150968330093969649721199554146706567098843/5243453268176767812036973720410703799645210550964787322101784157599154002427898565032369108997310584*y^22 + 533651574029565355167796801436323218358753358243138118490781969238158511590436807350173018535267087/388403945790871689780516571882274355529274855627021283118650678340678074253918412224619933999800784*y^21 - 24538883591668390236503110125254479859732340745606438625219766623338742477219652755436251038132515571/5243453268176767812036973720410703799645210550964787322101784157599154002427898565032369108997310584*y^20 + 52361268152214724836281612513165091048440091030020620016994260127454579150368742950291617558877087109/10486906536353535624073947440821407599290421101929574644203568315198308004855797130064738217994621168*y^19 + 12808981408537030162080099698723883792357093979097524546356211713994879722731832052731126431034431033/1747817756058922604012324573470234599881736850321595774033928052533051334142632855010789702999103528*y^18 - 35559328254036214859315829667500129775808859200030161766502022137283293961862674340017019805954246253/1310863317044191953009243430102675949911302637741196830525446039399788500606974641258092277249327646*y^17 + 30209368331231360895952512368190368265591927295742735347037992017764845867752620148885145094462080997/1165211837372615069341549715646823066587824566881063849355952035022034222761755236673859801999402352*y^16 + 58048738856668930280269066275586224169143204180761437076729287935875020586978375735639034496294822681/2621726634088383906018486860205351899822605275482393661050892078799577001213949282516184554498655292*y^15 - 876382758231912798538609873739318134408643763772694848736094527360242046653591355775190129681675672051/10486906536353535624073947440821407599290421101929574644203568315198308004855797130064738217994621168*y^14 + 151372125458068115834055740793713888120903541356187354304294372908500460862219091901663195765373891267/3495635512117845208024649146940469199763473700643191548067856105066102668285265710021579405998207056*y^13 + 28330051473712137813616658133854434911950423803286636817027844581571259981851638384181163151827451971/291302959343153767335387428911705766646956141720265962338988008755508555690438809168464950499850588*y^12 - 170606714289908089938381970506219548636534783391385107242346457341489285301087828821940638949296952363/1310863317044191953009243430102675949911302637741196830525446039399788500606974641258092277249327646*y^11 - 177617622012672683211422757869567857990960289520959854908608870291847316512875658023542595740885559803/10486906536353535624073947440821407599290421101929574644203568315198308004855797130064738217994621168*y^10 + 1482996992334631231000000051689899562722846663816343452314529569287513910019281904746043291606517625241/10486906536353535624073947440821407599290421101929574644203568315198308004855797130064738217994621168*y^9 - 810190015026510800068047843837229294643468957313599824822187966744503108429877175296089047521335747289/10486906536353535624073947440821407599290421101929574644203568315198308004855797130064738217994621168*y^8 - 177122800829611936240596455117307523215333281634739850351758670868796372509864252808331148107403030665/3495635512117845208024649146940469199763473700643191548067856105066102668285265710021579405998207056*y^7 + 79011081433210675944513261389217432448620239613870243371068973547221378550995437276029712005011459153/1310863317044191953009243430102675949911302637741196830525446039399788500606974641258092277249327646*y^6 - 51979786528007802793748371402611494490024733059893780435141611062100269068836657980816742199535390023/10486906536353535624073947440821407599290421101929574644203568315198308004855797130064738217994621168*y^5 - 21647834393645454519114797583264173328174443088960183455891436316969092420599454671992768082976894713/10486906536353535624073947440821407599290421101929574644203568315198308004855797130064738217994621168*y^4 + 4800696599839745211604564182453849940413167917063595486741684396363741536990378067230590087146689273/10486906536353535624073947440821407599290421101929574644203568315198308004855797130064738217994621168*y^3 - 4417761499877589465257326485517383790372715073090301130317463219235231434998709840604031960711692676/655431658522095976504621715051337974955651318870598415262723019699894250303487320629046138624663823*y^2 + 17550415841382706463165933485327916137485612215058194797842341105443378828344709768743784069989861373/3495635512117845208024649146940469199763473700643191548067856105066102668285265710021579405998207056*y + 7451942970652183323243005401964312471499293241003715982500003397275474196286308856709918767191399785/2621726634088383906018486860205351899822605275482393661050892078799577001213949282516184554498655292 # 3 Loop Invariant -11465952263263345436344571056760672134587098016808660266920845538130642472730980532833053584329525262537950547654928601088719144235203/56707674155491479076776473678425990555598282808963654331884060696525269965327247044270280210126383976936078915719015056585562286486592*y^24 + 41084874703404676708689851553491285586946144564093239177856021128449726882093697586680966980374148702496153643999211582321433231212053/56707674155491479076776473678425990555598282808963654331884060696525269965327247044270280210126383976936078915719015056585562286486592*y^23 - 5936081702843273002588397167731408131262388810700341115313140494067252483559523989108048173905978753314240463966823819332870644706681/14176918538872869769194118419606497638899570702240913582971015174131317491331811761067570052531595994234019728929753764146390571621648*y^22 - 15086190051104117025344615314812429942001690030513749210969258546470218171315593142958130309703984713756413307518560253376216094114799/6300852683943497675197385964269554506177586978773739370209340077391696662814138560474475578902931552992897657302112784065062476276288*y^21 + 111472631804032992939404722584071503099435478444078070913693280767145041404020733806884616544986568916265241843707808614525954746274015/14176918538872869769194118419606497638899570702240913582971015174131317491331811761067570052531595994234019728929753764146390571621648*y^20 - 452319358268810912863990049439931438698826164117873370744824835520635442455936452786643340877308006899904150144157686536126120425117715/56707674155491479076776473678425990555598282808963654331884060696525269965327247044270280210126383976936078915719015056585562286486592*y^19 - 62578246198336566574734524491766763223434239513766906645885777910347629862132455699536848306252493122370423826571894320906503382697925/4725639512957623256398039473202165879633190234080304527657005058043772497110603920355856684177198664744673242976584588048796857207216*y^18 + 648773566669240371625607317110661659082661994715325626465866849934750058994901156808523535810168806008705831241655597764983920822249853/14176918538872869769194118419606497638899570702240913582971015174131317491331811761067570052531595994234019728929753764146390571621648*y^17 - 259101054731061396292872709637468971886287210436218152064616414805080625589894942680843933238792122356608525280126103482735504436383379/6300852683943497675197385964269554506177586978773739370209340077391696662814138560474475578902931552992897657302112784065062476276288*y^16 - 1181634728832612151294683082963197787581056204582758509679943314480948098847441704724827370964187387276567673686973925180707163514613277/28353837077745739538388236839212995277799141404481827165942030348262634982663623522135140105063191988468039457859507528292781143243296*y^15 + 8019925309487611880375321130885984940017801188875899819278104947303726985433728689345886961086641705560267766807415044520715721936100897/56707674155491479076776473678425990555598282808963654331884060696525269965327247044270280210126383976936078915719015056585562286486592*y^14 - 1212722885499781439234222000008585198818837223397785296524871456582841824741572697550949042323247962902890772242120604473602784380198039/18902558051830493025592157892808663518532760936321218110628020232175089988442415681423426736708794658978692971906338352195187428828864*y^13 - 548121186714538159554491780021115924843190245331343318549030706640075680543672276441766817209982560278307427276069671326973157124824699/3150426341971748837598692982134777253088793489386869685104670038695848331407069280237237789451465776496448828651056392032531238138144*y^12 + 1514434119663218051215942576237414753322569406754724517376384990689572704805869476072991720145770122289607332794207482081791371070362959/7088459269436434884597059209803248819449785351120456791485507587065658745665905880533785026265797997117009864464876882073195285810824*y^11 + 2643516909797087879147697140359008641749842268079893639146638560949355422594384895541022374477486982578441168790374142091293233185045853/56707674155491479076776473678425990555598282808963654331884060696525269965327247044270280210126383976936078915719015056585562286486592*y^10 - 13874955970599603354014785686333892364551618466501779817996893152785675639727149175702123288576312378272193017935440485425453931301138701/56707674155491479076776473678425990555598282808963654331884060696525269965327247044270280210126383976936078915719015056585562286486592*y^9 + 6555275911343593009820852679915617460782970909872985151623156420383866564324054615029781858462239679586316872632823902547714751466517957/56707674155491479076776473678425990555598282808963654331884060696525269965327247044270280210126383976936078915719015056585562286486592*y^8 + 1896830934767231163759554723253961229061036825487581757822801156851292450895789045347158936356093733888302491386730912366812360328707017/18902558051830493025592157892808663518532760936321218110628020232175089988442415681423426736708794658978692971906338352195187428828864*y^7 - 2819648735192649631819202944639903427901767187895797711384265027866974108078371824641100566193373949351018622835066014284821490232132287/28353837077745739538388236839212995277799141404481827165942030348262634982663623522135140105063191988468039457859507528292781143243296*y^6 - 47545862692560314449087262952327842457609998413980160444614825403274169384351627369631197027481516535721481901049230283255346651280803/56707674155491479076776473678425990555598282808963654331884060696525269965327247044270280210126383976936078915719015056585562286486592*y^5 + 296036834097565397292264396515217160622987500647760618750382006473218761104104674752698454922542600651891427490053844213992472314096681/56707674155491479076776473678425990555598282808963654331884060696525269965327247044270280210126383976936078915719015056585562286486592*y^4 + 63690152435358170641784239847663442704650089279078448856226302354225775437882222358362090685485344443337070699324829482336804094996275/56707674155491479076776473678425990555598282808963654331884060696525269965327247044270280210126383976936078915719015056585562286486592*y^3 + 319233224077674297398818595311194994563410313145734901490719527562479177553758868146177351151896765636373687530005551962352150912730867/28353837077745739538388236839212995277799141404481827165942030348262634982663623522135140105063191988468039457859507528292781143243296*y^2 - 180642449315533064942010074483989629411514069417999262274481073962357642722185025997918944163353336541290767732154977177601255026551843/18902558051830493025592157892808663518532760936321218110628020232175089988442415681423426736708794658978692971906338352195187428828864*y - 35816303555838105984651645433876777712944193495072936669783048865053593991990272170088162321724545034001849316521400088373482330137163/7088459269436434884597059209803248819449785351120456791485507587065658745665905880533785026265797997117009864464876882073195285810824 # 4 Loop Invariant 180648097478671281170431337242916082358300759644225308586400383178179640649316895527011444247889444086489551431986033435968189702143227687224469551896763026467842306025945727237522345235672530932025893541/83945176595087299399108307850858476742614185857537473681080951112712400726289504832101363774523647301518538366040724917227346694471242378679296824368648833476210607532529401236470788563910732961986785920*y^24 - 1284608491660784682519593961240353108662369562379846502980745041386425362717542941159088018986632924945775218763355971061604481188898297559114511596641078973209000890033929736095558481635531157679101338057/167890353190174598798216615701716953485228371715074947362161902225424801452579009664202727549047294603037076732081449834454693388942484757358593648737297666952421215065058802472941577127821465923973571840*y^23 + 708268156290255643974914837702742014664961677553482368412887540741651076959724848505236390018452172528658382303014070811100250644761656119099930461687632561737448050805158597799389095130419802513186394853/167890353190174598798216615701716953485228371715074947362161902225424801452579009664202727549047294603037076732081449834454693388942484757358593648737297666952421215065058802472941577127821465923973571840*y^22 + 240303453065267405280983894642769742479289011346860721480200892139302405868052303849627227954244328673953766114783136383647173293078649502929285361529805604748315927776380181327484162409294789690414225779/9327241843898588822123145316762052971401576206393052631231216790301377858476611648011262641613738589057615374004524990803038521607915819853255202707627648164023400836947711248496754284878970329109642880*y^21 - 2797051907054119260927245169032312532180383484598051934482136616308221590683074706740967201146727701210655820146892729516141396388040882491766548574613042083209201774130973877510884764580440667668908460099/33578070638034919759643323140343390697045674343014989472432380445084960290515801932840545509809458920607415346416289966890938677788496951471718729747459533390484243013011760494588315425564293184794714368*y^20 + 6925790395110731236691968960593794523942292473196359254911233063205922990383152815436018539411540265542940046531617122825292367619669600564446555002265996064929267557956497929267166431763418630099596477423/83945176595087299399108307850858476742614185857537473681080951112712400726289504832101363774523647301518538366040724917227346694471242378679296824368648833476210607532529401236470788563910732961986785920*y^19 + 1623004188893221873996102502323838743921890322073487149913818634075472830002523866043204498584579069422319036741895226540663967557235105744414755891866781113934053721838514706406255336585457745549484235883/11192690212678306586547774380114463565681891447671663157477460148361653430171933977613515169936486306869138448805429988963646225929498983823906243249153177796828081004337253498196105141854764394931571456*y^18 - 20441841116654568262952938592735116484068183780713445261176748885732183603812324429646241369597140398013114441882115754322419890401351748975737137485524906516112733779002305589695272911585942795798041864379/41972588297543649699554153925429238371307092928768736840540475556356200363144752416050681887261823650759269183020362458613673347235621189339648412184324416738105303766264700618235394281955366480993392960*y^17 + 3974096456396925659171834231316040540410888032967502560425004046916289765992891711818343444752925029004125610260208407227916810446688514754279608706718395104949862359380423219067548838565089303727957369559/9327241843898588822123145316762052971401576206393052631231216790301377858476611648011262641613738589057615374004524990803038521607915819853255202707627648164023400836947711248496754284878970329109642880*y^16 + 78045277944281505670479908446677632353133930369410341808971042603371055206044216671550238332762111573130073568317168901065431232837241443852857423584931661270734406815700875916504198691183306159929458188769/167890353190174598798216615701716953485228371715074947362161902225424801452579009664202727549047294603037076732081449834454693388942484757358593648737297666952421215065058802472941577127821465923973571840*y^15 - 7946459328484731187570475358323704180884488141663065358425135138089073784387698921464854787055594599442199546271630125469203689340667227401317594011620138896130126436600608761531497987916705950765080467889/5246573537192956212444269240678654796413386616096092105067559444544525045393094052006335235907727956344908647877545307326709168404452648667456051523040552092263162970783087577279424285244420810124174120*y^14 + 7325161643920402377376645930412130177829368923223556187799096728819111524734553298357912876590161435019585875639596978367337611665336892874544895395276914080786586033199375659103643201523536790348254977641/11192690212678306586547774380114463565681891447671663157477460148361653430171933977613515169936486306869138448805429988963646225929498983823906243249153177796828081004337253498196105141854764394931571456*y^13 + 7080155411703116179896884396292485019805799998838470489530048984599444514600408709810590312601481963397065026533317492296074513097838239615848810231971102872851767471813665389667686658650598028589777684083/3730896737559435528849258126704821188560630482557221052492486716120551143390644659204505056645495435623046149601809996321215408643166327941302081083051059265609360334779084499398701713951588131643857152*y^12 - 191546138906414058321018071888020796195960087029143743153039431557531581219987955620723817240471080035267302126989021100624403085972666143733326798498517356766175291046083757099702517707063544332496166887183/83945176595087299399108307850858476742614185857537473681080951112712400726289504832101363774523647301518538366040724917227346694471242378679296824368648833476210607532529401236470788563910732961986785920*y^11 - 45813706736002390098964196331165422650442784443778696998085011526419405807001149352832789876018564135297843859840176363074860359256015182417791331458227722888520227107601682071202398737747026947022242458679/83945176595087299399108307850858476742614185857537473681080951112712400726289504832101363774523647301518538366040724917227346694471242378679296824368648833476210607532529401236470788563910732961986785920*y^10 + 448204202492411280419289948517293846325779362794520557634206309861525317353284529402362825802090887684652373404740748379774387019986986572380022510591733664428615934004672949504048806893158916580038476770339/167890353190174598798216615701716953485228371715074947362161902225424801452579009664202727549047294603037076732081449834454693388942484757358593648737297666952421215065058802472941577127821465923973571840*y^9 - 41691663373718316188599450852422297597125002073602433871195779538644618846845961453475288995515931822306087091774942724025030052104286722242633280336068738922388786348182890481177239386316870363601350076543/33578070638034919759643323140343390697045674343014989472432380445084960290515801932840545509809458920607415346416289966890938677788496951471718729747459533390484243013011760494588315425564293184794714368*y^8 - 63115892886887201560741381906071635404327153115184616042059685146534047413157519147031057568336621536044710559300178390519365822050983462158319697617197809777760635657997244711685723998881609619694110532447/55963451063391532932738871900572317828409457238358315787387300741808267150859669888067575849682431534345692244027149944818231129647494919119531216245765888984140405021686267490980525709273821974657857280*y^7 + 190138324671445456687355470893089589184076540263076472905284507186534430707864176065787315684008714201209794409450621656756387800270503299618091416364515355645091811009627000155390084849416837729061395421399/167890353190174598798216615701716953485228371715074947362161902225424801452579009664202727549047294603037076732081449834454693388942484757358593648737297666952421215065058802472941577127821465923973571840*y^6 - 541933549903940092685093938472519264821893840437519063057920319073977042747524731038662908163963014449816973228627512704458446270048456071577693678688304483924871366162286182502462051834731686662290434219/41972588297543649699554153925429238371307092928768736840540475556356200363144752416050681887261823650759269183020362458613673347235621189339648412184324416738105303766264700618235394281955366480993392960*y^5 - 15924972196993248747967521752785761657895085307905806851372941419738901667882181789886815418320998604836321249768694166538418594812921867870042269408479744503387942691075943865602857196844347669504611837009/167890353190174598798216615701716953485228371715074947362161902225424801452579009664202727549047294603037076732081449834454693388942484757358593648737297666952421215065058802472941577127821465923973571840*y^4 + 5934547870162329349855844426459955405021876483195879968112890268583472188041887235736732784987050623468257947056294380561689490567582286692809319989627892188856716174704771869610390968135063588794077502439/167890353190174598798216615701716953485228371715074947362161902225424801452579009664202727549047294603037076732081449834454693388942484757358593648737297666952421215065058802472941577127821465923973571840*y^3 - 4277583583839123619285570863700792531368235839778579262573107501663188425541792124548971446088936136772759550732132995739031667869761138029808771766457424187877548107274761918686113638822459937657950225653/33578070638034919759643323140343390697045674343014989472432380445084960290515801932840545509809458920607415346416289966890938677788496951471718729747459533390484243013011760494588315425564293184794714368*y^2 + 1241575212470509713361727069861539105362882945961896094791592583550088972384558717672479036675475081997985508827149152502772092563626132875233352844047690796074764674417608154161417339581713552109649797349/13990862765847883233184717975143079457102364309589578946846825185452066787714917472016893962420607883586423061006787486204557782411873729779882804061441472246035101255421566872745131427318455493664464320*y + 10477982113098768606168025682464418757851097472413886825895622163623386731084478321209026486495311434901200740849983269676862578798571594759592672687582455743866425712824393794280294587277427837954548005447/167890353190174598798216615701716953485228371715074947362161902225424801452579009664202727549047294603037076732081449834454693388942484757358593648737297666952421215065058802472941577127821465923973571840