Magma V2.19-8 Tue Aug 20 2013 18:40:18 on localhost [Seed = 1882313336] Type ? for help. Type -D to quit. Loading file "9_38__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 9_38 geometric_solution 12.93285870 oriented_manifold CS_known 0.0000000000000007 1 0 torus 0.000000000000 0.000000000000 14 1 2 3 4 0132 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 0 1 -1 1 0 0 -1 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.288553694041 1.270109653009 0 3 6 5 0132 3120 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 -1 0 0 1 1 0 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.447064804553 0.721397538964 7 0 3 7 0132 0132 3120 2031 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 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.288553694041 1.270109653009 8 1 2 0 0132 3120 3120 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 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.212748222935 0.775983248523 7 6 0 9 2031 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 1 -1 -1 -8 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.288553694041 1.270109653009 8 10 1 10 2103 0132 0132 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 -1 1 0 0 0 -1 1 1 -1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.076729846228 1.070310436027 9 4 11 1 0213 0132 0132 0132 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 0 -1 0 0 0 0 1 0 0 -1 0 8 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.447064804553 0.721397538964 2 2 4 9 0132 1302 1302 2103 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.829906513744 0.748690393743 3 12 5 13 0132 0132 2103 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 -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 0 0 0 0.901207770164 0.737480084059 6 13 4 7 0213 3012 0132 2103 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 -1 0 1 0 0 0 0 0 0 9 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.212748222935 0.775983248523 5 5 12 11 3012 0132 0321 3012 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 -1 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.467145833414 0.464360733011 12 13 10 6 0213 3120 1230 0132 0 0 0 0 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 0 0 0 -8 0 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.685124485217 0.992170560087 11 8 10 13 0213 0132 0321 0213 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 1 0 8 0 1 -9 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.392182166672 0.317272518329 9 11 8 12 1230 3120 0132 0213 0 0 0 0 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 0 0 0 -9 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.531087987100 0.753037917698 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_1'], 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : negation(d['c_0011_11']), 'c_1001_13' : negation(d['c_1001_11']), 'c_1001_12' : negation(d['c_1001_11']), 'c_1001_5' : negation(d['c_0011_12']), 'c_1001_4' : d['c_1001_1'], 'c_1001_7' : negation(d['c_0011_4']), 'c_1001_6' : negation(d['c_0011_13']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0011_0'], 'c_1001_3' : negation(d['c_1001_1']), 'c_1001_2' : d['c_1001_1'], 'c_1001_9' : negation(d['c_0011_13']), 'c_1001_8' : negation(d['c_0011_10']), 'c_1010_13' : negation(d['c_0011_11']), 'c_1010_12' : negation(d['c_0011_10']), 'c_1010_11' : negation(d['c_0011_13']), 'c_1010_10' : negation(d['c_0011_12']), 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : d['c_0011_11'], 'c_0101_11' : d['c_0011_12'], 'c_0101_10' : negation(d['c_0011_11']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_13' : 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' : negation(d['1']), 's_0_4' : 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_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_13' : d['c_0011_13'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0110_10'], 'c_1100_4' : negation(d['c_0101_2']), 'c_1100_7' : d['c_0101_1'], 'c_1100_6' : d['c_0110_10'], 'c_1100_1' : d['c_0110_10'], 'c_1100_0' : negation(d['c_0101_2']), 'c_1100_3' : negation(d['c_0101_2']), 'c_1100_2' : negation(d['c_0101_13']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0110_10'], 'c_1100_10' : negation(d['c_1001_11']), 'c_1100_13' : negation(d['c_0011_10']), 's_3_10' : d['1'], 's_3_13' : d['1'], 'c_1010_7' : d['c_0101_13'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : negation(d['c_0011_11']), 's_0_13' : d['1'], 'c_1010_3' : d['c_0011_0'], 'c_1010_2' : d['c_0011_0'], 'c_1010_1' : negation(d['c_0011_12']), 'c_1010_0' : d['c_1001_1'], 'c_1010_9' : negation(d['c_0101_13']), 'c_1010_8' : negation(d['c_1001_11']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(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'], 'c_1100_12' : negation(d['c_0011_11']), 's_1_7' : negation(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' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_12']), 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_12'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_9'], 'c_0110_10' : d['c_0110_10'], 'c_0110_13' : d['c_0011_9'], 'c_0110_12' : negation(d['c_0011_9']), 'c_1010_4' : negation(d['c_0011_13']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0011_9'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_13'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_4']), 'c_0101_8' : d['c_0101_0'], 's_1_13' : d['1'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_1']), 'c_0110_8' : d['c_0101_13'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0101_2']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0011_10'], 'c_0110_4' : negation(d['c_0011_4']), 'c_0110_7' : d['c_0101_2'], 'c_1100_8' : negation(d['c_0011_10']), 's_2_9' : d['1'], 'c_0101_13' : d['c_0101_13']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 15 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_13, c_0011_4, c_0011_9, c_0101_0, c_0101_1, c_0101_13, c_0101_2, c_0110_10, c_1001_1, c_1001_11 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 11 Groebner basis: [ t + 437643757704104877991/191163677512945270784*c_1001_11^10 + 321415460045403504169/191163677512945270784*c_1001_11^9 - 522454613143019419763/191163677512945270784*c_1001_11^8 + 832724821898030666939/27309096787563610112*c_1001_11^7 + 95577251807142107083/1706818549222725632*c_1001_11^6 - 15527774018349441524727/191163677512945270784*c_1001_11^5 - 23310295158875950589145/95581838756472635392*c_1001_11^4 - 18712938615963242301999/191163677512945270784*c_1001_11^3 + 6518038615984672747825/23895459689118158848*c_1001_11^2 + 62711231962232409994117/191163677512945270784*c_1001_11 + 26781144270960677206927/191163677512945270784, c_0011_0 - 1, c_0011_10 + 134385026/3976996687*c_1001_11^10 + 67314408/3976996687*c_1001_11^9 - 106851769/3976996687*c_1001_11^8 + 1795951897/3976996687*c_1001_11^7 + 2788883738/3976996687*c_1001_11^6 - 4451640536/3976996687*c_1001_11^5 - 12204062911/3976996687*c_1001_11^4 - 6992919017/3976996687*c_1001_11^3 + 13570560555/3976996687*c_1001_11^2 + 21782715871/3976996687*c_1001_11 + 10521861758/3976996687, c_0011_11 - 57790516/3976996687*c_1001_11^10 - 125694758/3976996687*c_1001_11^9 + 61858184/3976996687*c_1001_11^8 - 689021252/3976996687*c_1001_11^7 - 2502768220/3976996687*c_1001_11^6 + 525114051/3976996687*c_1001_11^5 + 9692557565/3976996687*c_1001_11^4 + 9600158790/3976996687*c_1001_11^3 - 9248241736/3976996687*c_1001_11^2 - 19251753377/3976996687*c_1001_11 - 7643372644/3976996687, c_0011_12 - 159697145/3976996687*c_1001_11^10 - 250438147/3976996687*c_1001_11^9 + 301656152/3976996687*c_1001_11^8 - 1991907315/3976996687*c_1001_11^7 - 6067907142/3976996687*c_1001_11^6 + 5346980124/3976996687*c_1001_11^5 + 24539988252/3976996687*c_1001_11^4 + 8496528314/3976996687*c_1001_11^3 - 29907740354/3976996687*c_1001_11^2 - 29218162363/3976996687*c_1001_11 - 1042490746/3976996687, c_0011_13 - 122729536/3976996687*c_1001_11^10 - 5079131/3976996687*c_1001_11^9 + 20793782/3976996687*c_1001_11^8 - 1767528295/3976996687*c_1001_11^7 - 1494793274/3976996687*c_1001_11^6 + 3170626332/3976996687*c_1001_11^5 + 7766707517/3976996687*c_1001_11^4 + 5861033283/3976996687*c_1001_11^3 - 9221249550/3976996687*c_1001_11^2 - 11660327748/3976996687*c_1001_11 - 5411985972/3976996687, c_0011_4 - 1, c_0011_9 - 159697145/3976996687*c_1001_11^10 - 250438147/3976996687*c_1001_11^9 + 301656152/3976996687*c_1001_11^8 - 1991907315/3976996687*c_1001_11^7 - 6067907142/3976996687*c_1001_11^6 + 5346980124/3976996687*c_1001_11^5 + 24539988252/3976996687*c_1001_11^4 + 8496528314/3976996687*c_1001_11^3 - 29907740354/3976996687*c_1001_11^2 - 29218162363/3976996687*c_1001_11 - 1042490746/3976996687, c_0101_0 - 122729536/3976996687*c_1001_11^10 - 5079131/3976996687*c_1001_11^9 + 20793782/3976996687*c_1001_11^8 - 1767528295/3976996687*c_1001_11^7 - 1494793274/3976996687*c_1001_11^6 + 3170626332/3976996687*c_1001_11^5 + 7766707517/3976996687*c_1001_11^4 + 5861033283/3976996687*c_1001_11^3 - 9221249550/3976996687*c_1001_11^2 - 11660327748/3976996687*c_1001_11 - 5411985972/3976996687, c_0101_1 - 184970269/3976996687*c_1001_11^10 - 185764898/3976996687*c_1001_11^9 + 409301668/3976996687*c_1001_11^8 - 2478463467/3976996687*c_1001_11^7 - 5380505048/3976996687*c_1001_11^6 + 8734227168/3976996687*c_1001_11^5 + 23552716264/3976996687*c_1001_11^4 + 2758306095/3976996687*c_1001_11^3 - 29282464323/3976996687*c_1001_11^2 - 26788087330/3976996687*c_1001_11 - 3609394163/3976996687, c_0101_13 - 69545977/3976996687*c_1001_11^10 - 293481821/3976996687*c_1001_11^9 + 221850828/3976996687*c_1001_11^8 - 458099098/3976996687*c_1001_11^7 - 5700072018/3976996687*c_1001_11^6 + 1253677970/3976996687*c_1001_11^5 + 23223344305/3976996687*c_1001_11^4 + 10214169730/3976996687*c_1001_11^3 - 25939094567/3976996687*c_1001_11^2 - 30884337164/3976996687*c_1001_11 - 2255288842/3976996687, c_0101_2 + 115424292/3976996687*c_1001_11^10 - 107716923/3976996687*c_1001_11^9 - 187450840/3976996687*c_1001_11^8 + 2020364369/3976996687*c_1001_11^7 - 319566970/3976996687*c_1001_11^6 - 7480549198/3976996687*c_1001_11^5 - 329371959/3976996687*c_1001_11^4 + 7455863635/3976996687*c_1001_11^3 + 3343369756/3976996687*c_1001_11^2 - 4096249834/3976996687*c_1001_11 + 1354105321/3976996687, c_0110_10 + 239944277/3976996687*c_1001_11^10 + 248455824/3976996687*c_1001_11^9 - 263321208/3976996687*c_1001_11^8 + 2972419923/3976996687*c_1001_11^7 + 7261202782/3976996687*c_1001_11^6 - 7118545176/3976996687*c_1001_11^5 - 30770161377/3976996687*c_1001_11^4 - 12547737000/3976996687*c_1001_11^3 + 37168999070/3976996687*c_1001_11^2 + 35650416961/3976996687*c_1001_11 + 3961421842/3976996687, c_1001_1 + 184970269/3976996687*c_1001_11^10 + 185764898/3976996687*c_1001_11^9 - 409301668/3976996687*c_1001_11^8 + 2478463467/3976996687*c_1001_11^7 + 5380505048/3976996687*c_1001_11^6 - 8734227168/3976996687*c_1001_11^5 - 23552716264/3976996687*c_1001_11^4 - 2758306095/3976996687*c_1001_11^3 + 29282464323/3976996687*c_1001_11^2 + 26788087330/3976996687*c_1001_11 + 3609394163/3976996687, c_1001_11^11 + c_1001_11^10 - c_1001_11^9 + 13*c_1001_11^8 + 28*c_1001_11^7 - 29*c_1001_11^6 - 116*c_1001_11^5 - 71*c_1001_11^4 + 108*c_1001_11^3 + 175*c_1001_11^2 + 99*c_1001_11 + 16 ], Ideal of Polynomial ring of rank 15 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_13, c_0011_4, c_0011_9, c_0101_0, c_0101_1, c_0101_13, c_0101_2, c_0110_10, c_1001_1, c_1001_11 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 3777089694938414632298/911387525498295491*c_1001_11^17 - 87387232063571966612/911387525498295491*c_1001_11^16 + 28587001994097451374881/911387525498295491*c_1001_11^15 - 38158259484937668093334/911387525498295491*c_1001_11^14 - 19060189464550455008324/911387525498295491*c_1001_11^13 + 241568105716303971504051/911387525498295491*c_1001_11^12 - 18881667188172433293377/911387525498295491*c_1001_11^11 - 297369618049348074355996/911387525498295491*c_1001_11^10 + 377754689959217650448361/911387525498295491*c_1001_11^9 + 467649888224057985559528/911387525498295491*c_1001_11^8 - 278993619054208316663474/911387525498295491*c_1001_11^7 - 305338205533143240427100/911387525498295491*c_1001_11^6 + 66221259998349397205758/911387525498295491*c_1001_11^5 + 67773693253429168416115/911387525498295491*c_1001_11^4 - 19784228321946336814429/911387525498295491*c_1001_11^3 - 7303592429180713446580/911387525498295491*c_1001_11^2 + 8216960102050457403552/911387525498295491*c_1001_11 + 1259679926844830516323/911387525498295491, c_0011_0 - 1, c_0011_10 + 6653835533436404/47967764499910289*c_1001_11^17 - 7174448045015447/47967764499910289*c_1001_11^16 + 53150361043387067/47967764499910289*c_1001_11^15 - 122703656319909324/47967764499910289*c_1001_11^14 + 55837634104076574/47967764499910289*c_1001_11^13 + 421323396739170937/47967764499910289*c_1001_11^12 - 487417299205369092/47967764499910289*c_1001_11^11 - 257714240760422491/47967764499910289*c_1001_11^10 + 990910051203674534/47967764499910289*c_1001_11^9 - 106977664751479874/47967764499910289*c_1001_11^8 - 704342834772751772/47967764499910289*c_1001_11^7 - 41274312397788532/47967764499910289*c_1001_11^6 + 39819404135677387/47967764499910289*c_1001_11^5 + 260298334784887842/47967764499910289*c_1001_11^4 + 127554289728721347/47967764499910289*c_1001_11^3 - 14787735839853173/47967764499910289*c_1001_11^2 - 19708017560561699/47967764499910289*c_1001_11 - 10015850609678015/47967764499910289, c_0011_11 + 1450149183571713/47967764499910289*c_1001_11^17 + 10823097884609003/47967764499910289*c_1001_11^16 + 5681031322207945/47967764499910289*c_1001_11^15 + 77555471050335011/47967764499910289*c_1001_11^14 - 160916133365977248/47967764499910289*c_1001_11^13 + 169692313448280291/47967764499910289*c_1001_11^12 + 567389842535927229/47967764499910289*c_1001_11^11 - 440065887566804963/47967764499910289*c_1001_11^10 - 103137810528951351/47967764499910289*c_1001_11^9 + 1285905966722237218/47967764499910289*c_1001_11^8 + 308277072424420327/47967764499910289*c_1001_11^7 - 333527342859745797/47967764499910289*c_1001_11^6 - 44205648456479220/47967764499910289*c_1001_11^5 - 105729811488200109/47967764499910289*c_1001_11^4 - 68554261513368738/47967764499910289*c_1001_11^3 + 62881677362823209/47967764499910289*c_1001_11^2 - 19165362555837280/47967764499910289*c_1001_11 - 26431689550013574/47967764499910289, c_0011_12 + 5577386590519496/47967764499910289*c_1001_11^17 + 391812920096363/47967764499910289*c_1001_11^16 + 53709456798761148/47967764499910289*c_1001_11^15 - 52558331890540054/47967764499910289*c_1001_11^14 + 61925214498770218/47967764499910289*c_1001_11^13 + 240421152028273571/47967764499910289*c_1001_11^12 + 9431636869531954/47967764499910289*c_1001_11^11 + 229606174252037303/47967764499910289*c_1001_11^10 + 409259252852583736/47967764499910289*c_1001_11^9 + 378327921471157977/47967764499910289*c_1001_11^8 + 805491852381412712/47967764499910289*c_1001_11^7 + 394958800615649154/47967764499910289*c_1001_11^6 + 106406265455849670/47967764499910289*c_1001_11^5 + 114417411091967712/47967764499910289*c_1001_11^4 - 161899887357284495/47967764499910289*c_1001_11^3 - 57015411265154346/47967764499910289*c_1001_11^2 - 32969441518114892/47967764499910289*c_1001_11 - 29892634620889266/47967764499910289, c_0011_13 + 1119752968729340/47967764499910289*c_1001_11^17 + 13716094723716456/47967764499910289*c_1001_11^16 + 3455578920920941/47967764499910289*c_1001_11^15 + 105518449618765532/47967764499910289*c_1001_11^14 - 187160807631191444/47967764499910289*c_1001_11^13 + 154889006905696665/47967764499910289*c_1001_11^12 + 711413149107878353/47967764499910289*c_1001_11^11 - 380570970316549497/47967764499910289*c_1001_11^10 - 232594879863845062/47967764499910289*c_1001_11^9 + 1446747339267109307/47967764499910289*c_1001_11^8 + 670051674682442454/47967764499910289*c_1001_11^7 - 222961215040480307/47967764499910289*c_1001_11^6 - 160518766441573277/47967764499910289*c_1001_11^5 - 109738142654551115/47967764499910289*c_1001_11^4 - 48591010407406685/47967764499910289*c_1001_11^3 + 78563746331718898/47967764499910289*c_1001_11^2 - 4607325649184295/47967764499910289*c_1001_11 - 41278329419548675/47967764499910289, c_0011_4 + 1119752968729340/47967764499910289*c_1001_11^17 + 13716094723716456/47967764499910289*c_1001_11^16 + 3455578920920941/47967764499910289*c_1001_11^15 + 105518449618765532/47967764499910289*c_1001_11^14 - 187160807631191444/47967764499910289*c_1001_11^13 + 154889006905696665/47967764499910289*c_1001_11^12 + 711413149107878353/47967764499910289*c_1001_11^11 - 380570970316549497/47967764499910289*c_1001_11^10 - 232594879863845062/47967764499910289*c_1001_11^9 + 1446747339267109307/47967764499910289*c_1001_11^8 + 670051674682442454/47967764499910289*c_1001_11^7 - 222961215040480307/47967764499910289*c_1001_11^6 - 160518766441573277/47967764499910289*c_1001_11^5 - 109738142654551115/47967764499910289*c_1001_11^4 - 48591010407406685/47967764499910289*c_1001_11^3 + 78563746331718898/47967764499910289*c_1001_11^2 - 4607325649184295/47967764499910289*c_1001_11 + 6689435080361614/47967764499910289, c_0011_9 + 5577386590519496/47967764499910289*c_1001_11^17 + 391812920096363/47967764499910289*c_1001_11^16 + 53709456798761148/47967764499910289*c_1001_11^15 - 52558331890540054/47967764499910289*c_1001_11^14 + 61925214498770218/47967764499910289*c_1001_11^13 + 240421152028273571/47967764499910289*c_1001_11^12 + 9431636869531954/47967764499910289*c_1001_11^11 + 229606174252037303/47967764499910289*c_1001_11^10 + 409259252852583736/47967764499910289*c_1001_11^9 + 378327921471157977/47967764499910289*c_1001_11^8 + 805491852381412712/47967764499910289*c_1001_11^7 + 394958800615649154/47967764499910289*c_1001_11^6 + 106406265455849670/47967764499910289*c_1001_11^5 + 114417411091967712/47967764499910289*c_1001_11^4 - 161899887357284495/47967764499910289*c_1001_11^3 - 57015411265154346/47967764499910289*c_1001_11^2 - 32969441518114892/47967764499910289*c_1001_11 - 29892634620889266/47967764499910289, c_0101_0 + 1119752968729340/47967764499910289*c_1001_11^17 + 13716094723716456/47967764499910289*c_1001_11^16 + 3455578920920941/47967764499910289*c_1001_11^15 + 105518449618765532/47967764499910289*c_1001_11^14 - 187160807631191444/47967764499910289*c_1001_11^13 + 154889006905696665/47967764499910289*c_1001_11^12 + 711413149107878353/47967764499910289*c_1001_11^11 - 380570970316549497/47967764499910289*c_1001_11^10 - 232594879863845062/47967764499910289*c_1001_11^9 + 1446747339267109307/47967764499910289*c_1001_11^8 + 670051674682442454/47967764499910289*c_1001_11^7 - 222961215040480307/47967764499910289*c_1001_11^6 - 160518766441573277/47967764499910289*c_1001_11^5 - 109738142654551115/47967764499910289*c_1001_11^4 - 48591010407406685/47967764499910289*c_1001_11^3 + 78563746331718898/47967764499910289*c_1001_11^2 - 4607325649184295/47967764499910289*c_1001_11 - 41278329419548675/47967764499910289, c_0101_1 + 12508992783995108/47967764499910289*c_1001_11^17 - 19897151699870659/47967764499910289*c_1001_11^16 + 103117540369958341/47967764499910289*c_1001_11^15 - 293331636404134200/47967764499910289*c_1001_11^14 + 201941854250268732/47967764499910289*c_1001_11^13 + 669239238592750419/47967764499910289*c_1001_11^12 - 1120584246081167064/47967764499910289*c_1001_11^11 - 423639778436307247/47967764499910289*c_1001_11^10 + 1683169730207029884/47967764499910289*c_1001_11^9 - 590150571483846740/47967764499910289*c_1001_11^8 - 1733750512156137040/47967764499910289*c_1001_11^7 - 551953341755206704/47967764499910289*c_1001_11^6 - 4473333264379366/47967764499910289*c_1001_11^5 + 169396194409168010/47967764499910289*c_1001_11^4 + 240085219065259839/47967764499910289*c_1001_11^3 + 69645731717861773/47967764499910289*c_1001_11^2 - 678083342129721/47967764499910289*c_1001_11 + 54869139797558112/47967764499910289, c_0101_13 + 6986363443484622/47967764499910289*c_1001_11^17 - 4272429274406594/47967764499910289*c_1001_11^16 + 59807835503648347/47967764499910289*c_1001_11^15 - 103023459548278733/47967764499910289*c_1001_11^14 + 60198372127057394/47967764499910289*c_1001_11^13 + 394165245927338697/47967764499910289*c_1001_11^12 - 308178017356159993/47967764499910289*c_1001_11^11 - 66186073446619969/47967764499910289*c_1001_11^10 + 819011510070718597/47967764499910289*c_1001_11^9 + 137405263640208516/47967764499910289*c_1001_11^8 - 80026590564135995/47967764499910289*c_1001_11^7 + 126213431761341284/47967764499910289*c_1001_11^6 + 42609705668395099/47967764499910289*c_1001_11^5 + 202136363680292180/47967764499910289*c_1001_11^4 + 16387571699901954/47967764499910289*c_1001_11^3 - 28491681917276026/47967764499910289*c_1001_11^2 - 56758684919131970/47967764499910289*c_1001_11 - 19447261970229218/47967764499910289, c_0101_2 + 7451994778910354/47967764499910289*c_1001_11^17 - 19219196998347226/47967764499910289*c_1001_11^16 + 61330372733825100/47967764499910289*c_1001_11^15 - 232296660469961354/47967764499910289*c_1001_11^14 + 191292933651029035/47967764499910289*c_1001_11^13 + 428186019493176697/47967764499910289*c_1001_11^12 - 1133802410879414641/47967764499910289*c_1001_11^11 - 181095846246632853/47967764499910289*c_1001_11^10 + 1408988802818026893/47967764499910289*c_1001_11^9 - 1094944996613180497/47967764499910289*c_1001_11^8 - 1662178656743708572/47967764499910289*c_1001_11^7 - 114952770064621226/47967764499910289*c_1001_11^6 + 220705818088708951/47967764499910289*c_1001_11^5 + 340445106958802642/47967764499910289*c_1001_11^4 + 175511068056782612/47967764499910289*c_1001_11^3 - 65932681155004135/47967764499910289*c_1001_11^2 - 30599709140830243/47967764499910289*c_1001_11 + 31090021533170632/47967764499910289, c_0110_10 - 7790095472639949/47967764499910289*c_1001_11^17 + 6884533224912520/47967764499910289*c_1001_11^16 - 80921474935617737/47967764499910289*c_1001_11^15 + 136949591585629316/47967764499910289*c_1001_11^14 - 211199334563310765/47967764499910289*c_1001_11^13 - 256462007597203889/47967764499910289*c_1001_11^12 + 368644749166450723/47967764499910289*c_1001_11^11 - 661018778644920154/47967764499910289*c_1001_11^10 - 719111247431841293/47967764499910289*c_1001_11^9 + 285423450757260466/47967764499910289*c_1001_11^8 - 1052194614177550896/47967764499910289*c_1001_11^7 - 857350025266742689/47967764499910289*c_1001_11^6 - 213802226895916216/47967764499910289*c_1001_11^5 - 262197726004974722/47967764499910289*c_1001_11^4 + 211507269030953034/47967764499910289*c_1001_11^3 + 135415165786188413/47967764499910289*c_1001_11^2 + 45449096302612192/47967764499910289*c_1001_11 + 29841628286916503/47967764499910289, c_1001_1 + 4591366669659022/47967764499910289*c_1001_11^17 + 14268813022417199/47967764499910289*c_1001_11^16 + 40264630405956488/47967764499910289*c_1001_11^15 + 68238224987509775/47967764499910289*c_1001_11^14 - 120445640924731944/47967764499910289*c_1001_11^13 + 207032445533735722/47967764499910289*c_1001_11^12 + 838842558321502225/47967764499910289*c_1001_11^11 - 127634159389661510/47967764499910289*c_1001_11^10 - 315796365358305305/47967764499910289*c_1001_11^9 + 1737144685382722770/47967764499910289*c_1001_11^8 + 1510580210767144109/47967764499910289*c_1001_11^7 - 195834369864622968/47967764499910289*c_1001_11^6 - 403275263773402169/47967764499910289*c_1001_11^5 - 309357655828145094/47967764499910289*c_1001_11^4 - 94549345348403431/47967764499910289*c_1001_11^3 + 173019412110594017/47967764499910289*c_1001_11^2 + 3762650020398795/47967764499910289*c_1001_11 - 26758165239012370/47967764499910289, c_1001_11^18 + 8*c_1001_11^16 - 10*c_1001_11^15 - 2*c_1001_11^14 + 59*c_1001_11^13 - 5*c_1001_11^12 - 51*c_1001_11^11 + 92*c_1001_11^10 + 93*c_1001_11^9 - 23*c_1001_11^8 - 36*c_1001_11^7 - 23*c_1001_11^6 - 11*c_1001_11^5 + 7*c_1001_11^4 + 4*c_1001_11^3 - c_1001_11^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.660 Total time: 1.879 seconds, Total memory usage: 32.09MB