Magma V2.19-8 Tue Aug 20 2013 17:57:10 on localhost [Seed = 3120041392] Type ? for help. Type -D to quit. Loading file "11_535__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_535 geometric_solution 10.88047437 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 1 0 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.019218475208 1.024924908350 0 5 5 6 0132 0132 1302 0132 0 0 0 0 0 0 0 0 1 0 -1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 -1 0 2 -1 0 -2 0 2 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.773827434391 0.600632466189 4 0 8 7 0213 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 1 0 0 -1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.771291262622 0.869081812130 6 9 5 0 0132 0132 0321 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.311028426927 0.528580565574 2 9 0 6 0213 0321 0132 0321 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 1 -1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.124079445362 0.807218053915 1 1 3 6 2031 0132 0321 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 -1 0 0 1 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.193567077468 0.625940324095 3 4 1 5 0132 0321 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 1 -1 0 -1 0 1 1 1 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.355510888234 0.832212002126 10 8 2 11 0132 0213 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.246101374517 0.481877623523 11 9 7 2 3201 0213 0213 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.150491097115 0.837613287105 11 3 8 4 1023 0132 0213 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.428754978311 0.643672089493 7 10 10 11 0132 3201 2310 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.667229556389 1.568945379549 10 9 7 8 3012 1023 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.941703281678 0.601918778069 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_8'], 'c_1001_10' : negation(d['c_0101_10']), 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : negation(d['c_0101_3']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_1001_0'], 'c_1010_11' : negation(d['c_0011_4']), 'c_1010_10' : d['c_0101_10'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_10'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_1001_2'], 'c_1100_8' : d['c_0011_8'], 'c_1100_5' : d['c_1001_3'], 'c_1100_4' : d['c_1001_5'], 'c_1100_7' : d['c_0011_8'], 'c_1100_6' : negation(d['c_0101_3']), 'c_1100_1' : negation(d['c_0101_3']), 'c_1100_0' : d['c_1001_5'], 'c_1100_3' : d['c_1001_5'], 'c_1100_2' : d['c_0011_8'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_8'], 'c_1100_10' : d['c_0011_10'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_8'], 'c_1010_6' : d['c_1001_3'], 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : d['c_1001_3'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_3'], 'c_1010_8' : d['c_1001_2'], 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_11'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_10']), 'c_0011_6' : d['c_0011_11'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_11']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_10'], 'c_0110_10' : d['c_0011_11'], 'c_0110_0' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0011_11'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : negation(d['c_0011_0']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_8'], 'c_0101_8' : negation(d['c_0011_10']), 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_4']), 'c_0110_8' : d['c_0011_4'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_11'], 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : negation(d['c_0011_11']), 'c_0110_7' : d['c_0101_10'], 'c_0110_6' : d['c_0101_3']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_4, c_0011_8, c_0101_0, c_0101_10, c_0101_3, c_1001_0, c_1001_2, c_1001_3, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 33 Groebner basis: [ t + 101940777081829541932393993274/9528772167897957874238075275*c_1001_\ 5^32 - 82112798363608925040163675098/9528772167897957874238075275*c\ _1001_5^31 - 3062266473345051799763624215399/9528772167897957874238\ 075275*c_1001_5^30 + 3138522664858979053560004068791/95287721678979\ 57874238075275*c_1001_5^29 + 40534802559732446596683177981766/95287\ 72167897957874238075275*c_1001_5^28 - 47988092973958481386235262647399/9528772167897957874238075275*c_100\ 1_5^27 - 315596072524992862330962882481224/952877216789795787423807\ 5275*c_1001_5^26 + 59049750208270931190254216546772/136125316684256\ 5410605439325*c_1001_5^25 + 324267617403613913635467282193286/19057\ 54433579591574847615055*c_1001_5^24 - 459594476306987514192886942550057/1905754433579591574847615055*c_10\ 01_5^23 - 1165876325602830524957834082913527/1905754433579591574847\ 615055*c_1001_5^22 + 353513994170502785289311677252268/381150886715\ 918314969523011*c_1001_5^21 + 15146405142333088208803985563384117/9\ 528772167897957874238075275*c_1001_5^20 - 24432833944209524615586794413317932/9528772167897957874238075275*c_\ 1001_5^19 - 28880703645082768436666148167098922/9528772167897957874\ 238075275*c_1001_5^18 + 7075853077616606726118660619804896/13612531\ 66842565410605439325*c_1001_5^17 + 40492570185620021847300250528057294/9528772167897957874238075275*c_\ 1001_5^16 - 74090427004876323763893599326577587/9528772167897957874\ 238075275*c_1001_5^15 - 41251174781416252475797194250519086/9528772\ 167897957874238075275*c_1001_5^14 + 81238894716886400556678832885321624/9528772167897957874238075275*c_\ 1001_5^13 + 29613756467141315904569053911132294/9528772167897957874\ 238075275*c_1001_5^12 - 63885238028102307604396615262982752/9528772\ 167897957874238075275*c_1001_5^11 - 286984573813388784611315133771124/194464738120366487229348475*c_100\ 1_5^10 + 34461814447855660682967186158006937/9528772167897957874238\ 075275*c_1001_5^9 + 3834958023359340282526983215777681/952877216789\ 7957874238075275*c_1001_5^8 - 11692999220162391140586071175284452/9\ 528772167897957874238075275*c_1001_5^7 - 10705037167075718077208972476084/272250633368513082121087865*c_1001\ _5^6 + 2067290740598457292216317067068651/9528772167897957874238075\ 275*c_1001_5^5 - 26924615828058618329484755704962/95287721678979578\ 74238075275*c_1001_5^4 - 2022461585674883211990644910419/1732504030\ 52690143167965005*c_1001_5^3 - 5843886442076029734939156662811/9528\ 772167897957874238075275*c_1001_5^2 + 6090767457415838260943455768716/9528772167897957874238075275*c_1001\ _5 - 471613803230948952122039187588/9528772167897957874238075275, c_0011_0 - 1, c_0011_10 + 828471777523453422938/1719785435510647687193*c_1001_5^32 + 434346966081882461368/1719785435510647687193*c_1001_5^31 - 23944814854067890925452/1719785435510647687193*c_1001_5^30 - 5918624593371366718990/1719785435510647687193*c_1001_5^29 + 310883365894435010217547/1719785435510647687193*c_1001_5^28 + 13646023812512094465629/1719785435510647687193*c_1001_5^27 - 2405153577007347166680585/1719785435510647687193*c_1001_5^26 + 266694867477859739733281/1719785435510647687193*c_1001_5^25 + 12403725013305280762132191/1719785435510647687193*c_1001_5^24 - 2878215928215370715204456/1719785435510647687193*c_1001_5^23 - 45173573183577683067881902/1719785435510647687193*c_1001_5^22 + 14859824679061674950986703/1719785435510647687193*c_1001_5^21 + 119949591147797977378277217/1719785435510647687193*c_1001_5^20 - 48912840528655021178532653/1719785435510647687193*c_1001_5^19 - 235995603591409259314779356/1719785435510647687193*c_1001_5^18 + 111558577386689785417576875/1719785435510647687193*c_1001_5^17 + 345425704974264505872872523/1719785435510647687193*c_1001_5^16 - 181882541422981646275334351/1719785435510647687193*c_1001_5^15 - 373306550707058585442645170/1719785435510647687193*c_1001_5^14 + 213100167489061968472541810/1719785435510647687193*c_1001_5^13 + 291578806812234672312220114/1719785435510647687193*c_1001_5^12 - 176582932482557353141144755/1719785435510647687193*c_1001_5^11 - 157938617659935112042891270/1719785435510647687193*c_1001_5^10 + 99120295378661708476749598/1719785435510647687193*c_1001_5^9 + 55019659607170295672235806/1719785435510647687193*c_1001_5^8 - 34325821980699834550149079/1719785435510647687193*c_1001_5^7 - 10699168780390562295340713/1719785435510647687193*c_1001_5^6 + 5810222297923869765052167/1719785435510647687193*c_1001_5^5 + 923983134391505904857397/1719785435510647687193*c_1001_5^4 - 12609135853636607664684/156344130500967971563*c_1001_5^3 - 73748245773643839364652/1719785435510647687193*c_1001_5^2 + 327685314769751855665/1719785435510647687193*c_1001_5 + 752222227384976072123/1719785435510647687193, c_0011_11 - 981957117143384064774/1719785435510647687193*c_1001_5^32 - 559325813338214386578/1719785435510647687193*c_1001_5^31 + 28473560198444672878043/1719785435510647687193*c_1001_5^30 + 8642186418976019215943/1719785435510647687193*c_1001_5^29 - 371046606139117379326802/1719785435510647687193*c_1001_5^28 - 41181909301765816538486/1719785435510647687193*c_1001_5^27 + 2883013969750429264226210/1719785435510647687193*c_1001_5^26 - 94241909334930720043768/1719785435510647687193*c_1001_5^25 - 14944424399599467495876485/1719785435510647687193*c_1001_5^24 + 2122957417241210869305808/1719785435510647687193*c_1001_5^23 + 54762788470880352758710577/1719785435510647687193*c_1001_5^22 - 12388896786646765001880478/1719785435510647687193*c_1001_5^21 - 146509967265710056507811652/1719785435510647687193*c_1001_5^20 + 42654739897332883849581957/1719785435510647687193*c_1001_5^19 + 290963586199600904146119205/1719785435510647687193*c_1001_5^18 - 99133563340886409247229704/1719785435510647687193*c_1001_5^17 - 430985554353295356548567243/1719785435510647687193*c_1001_5^16 + 162678535464241161364286454/1719785435510647687193*c_1001_5^15 + 473087572235942284407218672/1719785435510647687193*c_1001_5^14 - 190562190330195132796763403/1719785435510647687193*c_1001_5^13 - 377424049813736884453289779/1719785435510647687193*c_1001_5^12 + 157413300792004805770933632/1719785435510647687193*c_1001_5^11 + 210756623460626584714360237/1719785435510647687193*c_1001_5^10 - 88301357249015093356143538/1719785435510647687193*c_1001_5^9 - 77009602373819357907784155/1719785435510647687193*c_1001_5^8 + 31078014149855053133326419/1719785435510647687193*c_1001_5^7 + 16317291132595109352076531/1719785435510647687193*c_1001_5^6 - 5774673280095465891568003/1719785435510647687193*c_1001_5^5 - 1666390106183447466375945/1719785435510647687193*c_1001_5^4 + 31590370183163462013208/156344130500967971563*c_1001_5^3 + 118282035663567346572394/1719785435510647687193*c_1001_5^2 - 8553528888945650389628/1719785435510647687193*c_1001_5 - 2798784903963440352373/1719785435510647687193, c_0011_4 + 3196198713465000403/1719785435510647687193*c_1001_5^32 + 704562347828509541401/1719785435510647687193*c_1001_5^31 + 858124552554157459651/1719785435510647687193*c_1001_5^30 - 19875656732565665415635/1719785435510647687193*c_1001_5^29 - 20478451171849611002566/1719785435510647687193*c_1001_5^28 + 254792007500326782845510/1719785435510647687193*c_1001_5^27 + 216835400712077958297625/1719785435510647687193*c_1001_5^26 - 1961976747509173289313212/1719785435510647687193*c_1001_5^25 - 1375222099959477687781882/1719785435510647687193*c_1001_5^24 + 10131372814816532733938666/1719785435510647687193*c_1001_5^23 + 5850839678499275432150027/1719785435510647687193*c_1001_5^22 - 37119051111190286813841661/1719785435510647687193*c_1001_5^21 - 17684268450062587073246515/1719785435510647687193*c_1001_5^20 + 99525663289584247823823325/1719785435510647687193*c_1001_5^19 + 39211738351403636619800244/1719785435510647687193*c_1001_5^18 - 198326832901154853059853520/1719785435510647687193*c_1001_5^17 - 64902957155403879635705227/1719785435510647687193*c_1001_5^16 + 294722522171404844140385175/1719785435510647687193*c_1001_5^15 + 80742466103970179365561665/1719785435510647687193*c_1001_5^14 - 323902377777868552030660395/1719785435510647687193*c_1001_5^13 - 75284302814007772531726778/1719785435510647687193*c_1001_5^12 + 257355072520771712627715370/1719785435510647687193*c_1001_5^11 + 51853333103011618448901142/1719785435510647687193*c_1001_5^10 - 141414629451043535465809477/1719785435510647687193*c_1001_5^9 - 25529007673995710960679862/1719785435510647687193*c_1001_5^8 + 49373005038417536516749744/1719785435510647687193*c_1001_5^7 + 8394571905620934897345424/1719785435510647687193*c_1001_5^6 - 9135707228470642154118777/1719785435510647687193*c_1001_5^5 - 1596158808870430450867495/1719785435510647687193*c_1001_5^4 + 47840024868057102181891/156344130500967971563*c_1001_5^3 + 125816268318096555881105/1719785435510647687193*c_1001_5^2 - 9451870015097025399484/1719785435510647687193*c_1001_5 - 3358110717301654738951/1719785435510647687193, c_0011_8 + 412966957280214542323/1719785435510647687193*c_1001_5^32 + 77063575125548755982/1719785435510647687193*c_1001_5^31 - 12325326955267299313897/1719785435510647687193*c_1001_5^30 + 698597847319299791148/1719785435510647687193*c_1001_5^29 + 164787817857123609983493/1719785435510647687193*c_1001_5^28 - 37181434434320821985916/1719785435510647687193*c_1001_5^27 - 1312541598331001856505834/1719785435510647687193*c_1001_5^26 + 454332365632661193360772/1719785435510647687193*c_1001_5^25 + 6978953647826274106253776/1719785435510647687193*c_1001_5^24 - 3019149462701075339083946/1719785435510647687193*c_1001_5^23 - 26281335766360843337140748/1719785435510647687193*c_1001_5^22 + 12968249136737493606797333/1719785435510647687193*c_1001_5^21 + 72485412964907987070797761/1719785435510647687193*c_1001_5^20 - 38675519607269549425296807/1719785435510647687193*c_1001_5^19 - 149118320826763490378453943/1719785435510647687193*c_1001_5^18 + 82843966910558552873069674/1719785435510647687193*c_1001_5^17 + 230440389182205110591827907/1719785435510647687193*c_1001_5^16 - 129092026574078700883879247/1719785435510647687193*c_1001_5^15 - 266716110209165991993946780/1719785435510647687193*c_1001_5^14 + 145781050280943514190959966/1719785435510647687193*c_1001_5^13 + 228014770012147062723621771/1719785435510647687193*c_1001_5^12 - 116732134548197062452100457/1719785435510647687193*c_1001_5^11 - 139955183958668893430470187/1719785435510647687193*c_1001_5^10 + 63145282135314477549025271/1719785435510647687193*c_1001_5^9 + 58602130604307109626885537/1719785435510647687193*c_1001_5^8 - 20853367764186643674905742/1719785435510647687193*c_1001_5^7 - 15223223104733649469892355/1719785435510647687193*c_1001_5^6 + 3252003680768728518936151/1719785435510647687193*c_1001_5^5 + 1999283552778045829630285/1719785435510647687193*c_1001_5^4 - 3117303447847112432345/156344130500967971563*c_1001_5^3 - 68397647472653230452790/1719785435510647687193*c_1001_5^2 - 583825799003224488768/1719785435510647687193*c_1001_5 + 1878201331697453687501/1719785435510647687193, c_0101_0 + 951510829236499486627/1719785435510647687193*c_1001_5^32 + 1312169971831357142723/1719785435510647687193*c_1001_5^31 - 27034488234520270725605/1719785435510647687193*c_1001_5^30 - 30407200062597011667401/1719785435510647687193*c_1001_5^29 + 349142168682392315228149/1719785435510647687193*c_1001_5^28 + 323046262641718626107833/1719785435510647687193*c_1001_5^27 - 2709538739101049470215588/1719785435510647687193*c_1001_5^26 - 2077143448140395737939911/1719785435510647687193*c_1001_5^25 + 14106420008945038929526135/1719785435510647687193*c_1001_5^24 + 9017329284507699868066312/1719785435510647687193*c_1001_5^23 - 52122727517238551250570063/1719785435510647687193*c_1001_5^22 - 27964417267132158014698855/1719785435510647687193*c_1001_5^21 + 140973821194723437730508636/1719785435510647687193*c_1001_5^20 + 63961635929661284159045710/1719785435510647687193*c_1001_5^19 - 283390853469582299480523172/1719785435510647687193*c_1001_5^18 - 109793409159127519544620787/1719785435510647687193*c_1001_5^17 + 424761093338339381264217534/1719785435510647687193*c_1001_5^16 + 142367682265644151055875317/1719785435510647687193*c_1001_5^15 - 470558413855812765429899024/1719785435510647687193*c_1001_5^14 - 138897934259300753674509894/1719785435510647687193*c_1001_5^13 + 376321825723644090980106872/1719785435510647687193*c_1001_5^12 + 100216833062574399592533205/1719785435510647687193*c_1001_5^11 - 207399042901459443547167939/1719785435510647687193*c_1001_5^10 - 51470131433591670305497232/1719785435510647687193*c_1001_5^9 + 71939854965593453307610924/1719785435510647687193*c_1001_5^8 + 17408798819499938704735483/1719785435510647687193*c_1001_5^7 - 12792643058312874219694947/1719785435510647687193*c_1001_5^6 - 3277943183674007465848709/1719785435510647687193*c_1001_5^5 + 552338625670549686350122/1719785435510647687193*c_1001_5^4 + 20100680976567061988149/156344130500967971563*c_1001_5^3 - 8318762479981131906308/1719785435510647687193*c_1001_5^2 - 5731572861327778306694/1719785435510647687193*c_1001_5 - 2049998290198620765142/1719785435510647687193, c_0101_10 + 389869703972806066342/1719785435510647687193*c_1001_5^32 + 308754816145580318661/1719785435510647687193*c_1001_5^31 - 11280356524029496637166/1719785435510647687193*c_1001_5^30 - 5939228360072210449751/1719785435510647687193*c_1001_5^29 + 147110035633061697324734/1719785435510647687193*c_1001_5^28 + 48623323852199685287274/1719785435510647687193*c_1001_5^27 - 1145783986346512365429695/1719785435510647687193*c_1001_5^26 - 208520929612993506220625/1719785435510647687193*c_1001_5^25 + 5956929569326412696883822/1719785435510647687193*c_1001_5^24 + 401667770163576693444374/1719785435510647687193*c_1001_5^23 - 21880309736936740971523195/1719785435510647687193*c_1001_5^22 + 479399054947870102905734/1719785435510647687193*c_1001_5^21 + 58547279303098073019859205/1719785435510647687193*c_1001_5^20 - 5387891375615857003216555/1719785435510647687193*c_1001_5^19 - 115746984912418173269264028/1719785435510647687193*c_1001_5^18 + 17053897185204072521417454/1719785435510647687193*c_1001_5^17 + 169133871204836926951939515/1719785435510647687193*c_1001_5^16 - 32393793826612104076516449/1719785435510647687193*c_1001_5^15 - 179989807593611106248694623/1719785435510647687193*c_1001_5^14 + 41125620590324613712670585/1719785435510647687193*c_1001_5^13 + 134371269073634818397263438/1719785435510647687193*c_1001_5^12 - 35510667896001515855595219/1719785435510647687193*c_1001_5^11 - 64677402717363695390628571/1719785435510647687193*c_1001_5^10 + 20326621326195412390213421/1719785435510647687193*c_1001_5^9 + 15735733112476146894743127/1719785435510647687193*c_1001_5^8 - 7181415452254406461593956/1719785435510647687193*c_1001_5^7 + 463175345581882899628117/1719785435510647687193*c_1001_5^6 + 1343249435319822817808217/1719785435510647687193*c_1001_5^5 - 947393625006478438637172/1719785435510647687193*c_1001_5^4 - 8780604853825988837161/156344130500967971563*c_1001_5^3 + 40610627262773543269462/1719785435510647687193*c_1001_5^2 + 6144115259343739454361/1719785435510647687193*c_1001_5 - 282524434018307819728/1719785435510647687193, c_0101_3 - 330212854687973077949/1719785435510647687193*c_1001_5^32 - 951510829236499486627/1719785435510647687193*c_1001_5^31 + 8594215668807835195747/1719785435510647687193*c_1001_5^30 + 24722998251704459179962/1719785435510647687193*c_1001_5^29 - 102338367521968165668097/1719785435510647687193*c_1001_5^28 - 296968537641692568912207/1719785435510647687193*c_1001_5^27 + 734625510923859142562814/1719785435510647687193*c_1001_5^26 + 2174924127361221057016157/1719785435510647687193*c_1001_5^25 - 3540437635811402264128477/1719785435510647687193*c_1001_5^24 - 10820802104799706803933585/1719785435510647687193*c_1001_5^23 + 12089876387147539274433768/1719785435510647687193*c_1001_5^22 + 38626928146141091554794433/1719785435510647687193*c_1001_5^21 - 30064878325749414892512762/1719785435510647687193*c_1001_5^20 - 101892469416692448009088588/1719785435510647687193*c_1001_5^19 + 54944380702076253506531751/1719785435510647687193*c_1001_5^18 + 201449524217325844106712669/1719785435510647687193*c_1001_5^17 - 73123708928164223335214426/1719785435510647687193*c_1001_5^16 - 299222091094484528381878510/1719785435510647687193*c_1001_5^15 + 68321327539470191598704643/1719785435510647687193*c_1001_5^14 + 330870781427142330076679197/1719785435510647687193*c_1001_5^13 - 40393776896371732782523248/1719785435510647687193*c_1001_5^12 - 266101397808764309183821958/1719785435510647687193*c_1001_5^11 + 9478226200496817036734850/1719785435510647687193*c_1001_5^10 + 148830839929727098576743554/1719785435510647687193*c_1001_5^9 + 5497897803932058393437452/1719785435510647687193*c_1001_5^8 - 53163952048035304095430784/1719785435510647687193*c_1001_5^7 - 5304516418057597559436939/1719785435510647687193*c_1001_5^6 + 10108342762554341069047526/1719785435510647687193*c_1001_5^5 + 1582300174851265710580594/1719785435510647687193*c_1001_5^4 - 54535388795056164506798/156344130500967971563*c_1001_5^3 - 130629168557733058511613/1719785435510647687193*c_1001_5^2 + 16312592154563268074532/1719785435510647687193*c_1001_5 + 3750295733199939839000/1719785435510647687193, c_1001_0 - 3196198713465000403/1719785435510647687193*c_1001_5^32 - 704562347828509541401/1719785435510647687193*c_1001_5^31 - 858124552554157459651/1719785435510647687193*c_1001_5^30 + 19875656732565665415635/1719785435510647687193*c_1001_5^29 + 20478451171849611002566/1719785435510647687193*c_1001_5^28 - 254792007500326782845510/1719785435510647687193*c_1001_5^27 - 216835400712077958297625/1719785435510647687193*c_1001_5^26 + 1961976747509173289313212/1719785435510647687193*c_1001_5^25 + 1375222099959477687781882/1719785435510647687193*c_1001_5^24 - 10131372814816532733938666/1719785435510647687193*c_1001_5^23 - 5850839678499275432150027/1719785435510647687193*c_1001_5^22 + 37119051111190286813841661/1719785435510647687193*c_1001_5^21 + 17684268450062587073246515/1719785435510647687193*c_1001_5^20 - 99525663289584247823823325/1719785435510647687193*c_1001_5^19 - 39211738351403636619800244/1719785435510647687193*c_1001_5^18 + 198326832901154853059853520/1719785435510647687193*c_1001_5^17 + 64902957155403879635705227/1719785435510647687193*c_1001_5^16 - 294722522171404844140385175/1719785435510647687193*c_1001_5^15 - 80742466103970179365561665/1719785435510647687193*c_1001_5^14 + 323902377777868552030660395/1719785435510647687193*c_1001_5^13 + 75284302814007772531726778/1719785435510647687193*c_1001_5^12 - 257355072520771712627715370/1719785435510647687193*c_1001_5^11 - 51853333103011618448901142/1719785435510647687193*c_1001_5^10 + 141414629451043535465809477/1719785435510647687193*c_1001_5^9 + 25529007673995710960679862/1719785435510647687193*c_1001_5^8 - 49373005038417536516749744/1719785435510647687193*c_1001_5^7 - 8394571905620934897345424/1719785435510647687193*c_1001_5^6 + 9135707228470642154118777/1719785435510647687193*c_1001_5^5 + 1596158808870430450867495/1719785435510647687193*c_1001_5^4 - 47840024868057102181891/156344130500967971563*c_1001_5^3 - 125816268318096555881105/1719785435510647687193*c_1001_5^2 + 9451870015097025399484/1719785435510647687193*c_1001_5 + 3358110717301654738951/1719785435510647687193, c_1001_2 + 981957117143384064774/1719785435510647687193*c_1001_5^32 + 559325813338214386578/1719785435510647687193*c_1001_5^31 - 28473560198444672878043/1719785435510647687193*c_1001_5^30 - 8642186418976019215943/1719785435510647687193*c_1001_5^29 + 371046606139117379326802/1719785435510647687193*c_1001_5^28 + 41181909301765816538486/1719785435510647687193*c_1001_5^27 - 2883013969750429264226210/1719785435510647687193*c_1001_5^26 + 94241909334930720043768/1719785435510647687193*c_1001_5^25 + 14944424399599467495876485/1719785435510647687193*c_1001_5^24 - 2122957417241210869305808/1719785435510647687193*c_1001_5^23 - 54762788470880352758710577/1719785435510647687193*c_1001_5^22 + 12388896786646765001880478/1719785435510647687193*c_1001_5^21 + 146509967265710056507811652/1719785435510647687193*c_1001_5^20 - 42654739897332883849581957/1719785435510647687193*c_1001_5^19 - 290963586199600904146119205/1719785435510647687193*c_1001_5^18 + 99133563340886409247229704/1719785435510647687193*c_1001_5^17 + 430985554353295356548567243/1719785435510647687193*c_1001_5^16 - 162678535464241161364286454/1719785435510647687193*c_1001_5^15 - 473087572235942284407218672/1719785435510647687193*c_1001_5^14 + 190562190330195132796763403/1719785435510647687193*c_1001_5^13 + 377424049813736884453289779/1719785435510647687193*c_1001_5^12 - 157413300792004805770933632/1719785435510647687193*c_1001_5^11 - 210756623460626584714360237/1719785435510647687193*c_1001_5^10 + 88301357249015093356143538/1719785435510647687193*c_1001_5^9 + 77009602373819357907784155/1719785435510647687193*c_1001_5^8 - 31078014149855053133326419/1719785435510647687193*c_1001_5^7 - 16317291132595109352076531/1719785435510647687193*c_1001_5^6 + 5774673280095465891568003/1719785435510647687193*c_1001_5^5 + 1666390106183447466375945/1719785435510647687193*c_1001_5^4 - 31590370183163462013208/156344130500967971563*c_1001_5^3 - 118282035663567346572394/1719785435510647687193*c_1001_5^2 + 8553528888945650389628/1719785435510647687193*c_1001_5 + 2798784903963440352373/1719785435510647687193, c_1001_3 + 1, c_1001_5^33 - 30*c_1001_5^31 + 7*c_1001_5^30 + 402*c_1001_5^29 - 158*c_1001_5^28 - 3203*c_1001_5^27 + 1619*c_1001_5^26 + 17012*c_1001_5^25 - 9950*c_1001_5^24 - 63920*c_1001_5^23 + 40870*c_1001_5^22 + 175733*c_1001_5^21 - 118352*c_1001_5^20 - 360089*c_1001_5^19 + 248147*c_1001_5^18 + 553937*c_1001_5^17 - 380176*c_1001_5^16 - 638040*c_1001_5^15 + 423023*c_1001_5^14 + 542958*c_1001_5^13 - 333786*c_1001_5^12 - 332195*c_1001_5^11 + 177365*c_1001_5^10 + 139220*c_1001_5^9 - 56860*c_1001_5^8 - 36656*c_1001_5^7 + 8129*c_1001_5^6 + 5135*c_1001_5^5 + 144*c_1001_5^4 - 274*c_1001_5^3 - 19*c_1001_5^2 + 6*c_1001_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.310 Total time: 0.520 seconds, Total memory usage: 32.09MB