Magma V2.19-8 Tue Aug 20 2013 18:00:50 on localhost [Seed = 2000077388] Type ? for help. Type -D to quit. Loading file "11_253__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_253 geometric_solution 11.54201858 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 13 1 2 1 3 0132 0132 1230 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 1 0 0 -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 1.029863071837 0.965876873261 0 4 5 0 0132 0132 0132 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 0 0 0 -1 0 0 1 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.483398830031 0.484504335011 3 0 7 6 0213 0132 0132 0132 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 -1 0 1 1 0 -1 0 1 0 0 -1 -18 0 18 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.517659312477 0.515386172441 2 7 0 4 0213 0132 0132 3012 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 1 0 -1 0 0 1 18 -19 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.517659312477 0.515386172441 5 1 3 8 0321 0132 1230 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 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 1.079052428736 0.895851943412 4 9 10 1 0321 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 0 0 0 0 0 0 0 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.857388099699 0.913195695883 10 11 2 7 0213 0132 0132 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.024954814851 0.905056975597 11 3 6 2 2310 0132 2031 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 0 0 0 0 0 -1 1 -1 19 0 -18 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.029863071837 0.965876873261 9 9 4 10 3201 0213 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.286933703575 0.649988214210 12 5 8 8 0132 0132 0213 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 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 1.840628549295 0.858041160363 6 8 12 5 0213 2310 2031 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 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.174121365082 0.815803001282 12 6 7 12 2310 0132 3201 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 -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.087568531482 0.955859360753 9 11 11 10 0132 0321 3201 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.087568531482 0.955859360753 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_7']), 'c_1001_10' : negation(d['c_0011_8']), 'c_1001_12' : d['c_0011_3'], 'c_1001_5' : negation(d['c_0110_8']), 'c_1001_4' : negation(d['c_0101_0']), 'c_1001_7' : negation(d['c_0101_4']), 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_1'], 'c_1001_8' : d['c_1001_1'], 'c_1010_12' : d['c_1001_0'], 'c_1010_11' : d['c_1001_0'], 'c_1010_10' : negation(d['c_0110_8']), 's_3_11' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_3']), 'c_0101_10' : negation(d['c_0011_11']), 's_2_0' : d['1'], 's_2_1' : negation(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_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' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_0011_8'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_1001_0']), 'c_1100_4' : negation(d['c_0011_10']), 'c_1100_7' : d['c_0101_7'], 'c_1100_6' : d['c_0101_7'], 'c_1100_1' : negation(d['c_1001_0']), 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : d['c_0101_0'], 'c_1100_2' : d['c_0101_7'], 's_0_10' : d['1'], 'c_1100_11' : d['c_0011_3'], 'c_1100_10' : negation(d['c_1001_0']), 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_2'], 'c_1010_6' : negation(d['c_0101_7']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : negation(d['c_0101_4']), 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0101_0']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0110_8']), 'c_1010_8' : d['c_0011_8'], 'c_1100_8' : negation(d['c_0011_10']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(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' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_12']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_12'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_3']), 'c_0011_6' : negation(d['c_0011_11']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_12']), 'c_0110_10' : negation(d['c_0101_4']), 'c_0110_12' : d['c_0011_8'], 'c_0101_12' : d['c_0011_12'], 'c_0110_0' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0011_10'], 'c_0101_5' : negation(d['c_0101_4']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0011_3'], '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_12']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_12'], 'c_0110_8' : d['c_0110_8'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : negation(d['c_0011_10']), 'c_0110_2' : d['c_0011_10'], 'c_0110_5' : negation(d['c_0011_0']), 'c_0110_4' : negation(d['c_0011_12']), 'c_0110_7' : d['c_0011_3'], 'c_0110_6' : d['c_0101_4']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_3, c_0011_8, c_0101_0, c_0101_4, c_0101_7, c_0110_8, c_1001_0, c_1001_1, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 3396697445/76694144*c_1001_2^14 - 5800345/43976*c_1001_2^13 - 7396992161/76694144*c_1001_2^12 + 65647116643/76694144*c_1001_2^11 - 7019261799/9586768*c_1001_2^10 - 4383746267/2396692*c_1001_2^9 + 140323083481/38347072*c_1001_2^8 + 21329205187/76694144*c_1001_2^7 - 234679052125/38347072*c_1001_2^6 + 164328503589/38347072*c_1001_2^5 + 63192984305/19173536*c_1001_2^4 - 415597947613/76694144*c_1001_2^3 + 40516288607/38347072*c_1001_2^2 + 31268712511/19173536*c_1001_2 - 7688630241/9586768, c_0011_0 - 1, c_0011_10 - c_1001_2^14 + 5/4*c_1001_2^13 + 6*c_1001_2^12 - 49/4*c_1001_2^11 - 45/4*c_1001_2^10 + 45*c_1001_2^9 - 6*c_1001_2^8 - 157/2*c_1001_2^7 + 219/4*c_1001_2^6 + 127/2*c_1001_2^5 - 157/2*c_1001_2^4 - 14*c_1001_2^3 + 171/4*c_1001_2^2 - 9/2*c_1001_2 - 8, c_0011_11 - 7/8*c_1001_2^14 + c_1001_2^13 + 39/8*c_1001_2^12 - 73/8*c_1001_2^11 - 19/2*c_1001_2^10 + 65/2*c_1001_2^9 + 1/4*c_1001_2^8 - 457/8*c_1001_2^7 + 119/4*c_1001_2^6 + 207/4*c_1001_2^5 - 95/2*c_1001_2^4 - 161/8*c_1001_2^3 + 119/4*c_1001_2^2 + c_1001_2 - 7, c_0011_12 - 1/8*c_1001_2^14 + 1/4*c_1001_2^13 + 5/8*c_1001_2^12 - 17/8*c_1001_2^11 - 1/4*c_1001_2^10 + 7*c_1001_2^9 - 21/4*c_1001_2^8 - 83/8*c_1001_2^7 + 16*c_1001_2^6 + 17/4*c_1001_2^5 - 20*c_1001_2^4 + 49/8*c_1001_2^3 + 10*c_1001_2^2 - 6*c_1001_2 - 1, c_0011_3 + 1, c_0011_8 + 1/4*c_1001_2^13 - 1/2*c_1001_2^12 - 5/4*c_1001_2^11 + 17/4*c_1001_2^10 + 1/2*c_1001_2^9 - 14*c_1001_2^8 + 21/2*c_1001_2^7 + 79/4*c_1001_2^6 - 31*c_1001_2^5 - 11/2*c_1001_2^4 + 34*c_1001_2^3 - 53/4*c_1001_2^2 - 12*c_1001_2 + 9, c_0101_0 + 3/8*c_1001_2^14 - 3/4*c_1001_2^13 - 19/8*c_1001_2^12 + 51/8*c_1001_2^11 + 17/4*c_1001_2^10 - 47/2*c_1001_2^9 + 19/4*c_1001_2^8 + 361/8*c_1001_2^7 - 31*c_1001_2^6 - 181/4*c_1001_2^5 + 51*c_1001_2^4 + 165/8*c_1001_2^3 - 37*c_1001_2^2 - 3/2*c_1001_2 + 11, c_0101_4 + 3/8*c_1001_2^14 - 1/4*c_1001_2^13 - 19/8*c_1001_2^12 + 23/8*c_1001_2^11 + 27/4*c_1001_2^10 - 25/2*c_1001_2^9 - 37/4*c_1001_2^8 + 225/8*c_1001_2^7 + 3/2*c_1001_2^6 - 145/4*c_1001_2^5 + 12*c_1001_2^4 + 197/8*c_1001_2^3 - 29/2*c_1001_2^2 - 13/2*c_1001_2 + 5, c_0101_7 - 3/8*c_1001_2^14 + 3/4*c_1001_2^13 + 19/8*c_1001_2^12 - 51/8*c_1001_2^11 - 17/4*c_1001_2^10 + 47/2*c_1001_2^9 - 19/4*c_1001_2^8 - 361/8*c_1001_2^7 + 31*c_1001_2^6 + 181/4*c_1001_2^5 - 51*c_1001_2^4 - 165/8*c_1001_2^3 + 37*c_1001_2^2 + 3/2*c_1001_2 - 11, c_0110_8 - 3/4*c_1001_2^14 + 5/4*c_1001_2^13 + 15/4*c_1001_2^12 - 21/2*c_1001_2^11 - 13/4*c_1001_2^10 + 33*c_1001_2^9 - 37/2*c_1001_2^8 - 183/4*c_1001_2^7 + 225/4*c_1001_2^6 + 19*c_1001_2^5 - 117/2*c_1001_2^4 + 59/4*c_1001_2^3 + 81/4*c_1001_2^2 - 21/2*c_1001_2, c_1001_0 + 3/8*c_1001_2^14 - 1/4*c_1001_2^13 - 19/8*c_1001_2^12 + 23/8*c_1001_2^11 + 27/4*c_1001_2^10 - 25/2*c_1001_2^9 - 37/4*c_1001_2^8 + 225/8*c_1001_2^7 + 3/2*c_1001_2^6 - 145/4*c_1001_2^5 + 12*c_1001_2^4 + 197/8*c_1001_2^3 - 29/2*c_1001_2^2 - 13/2*c_1001_2 + 5, c_1001_1 + c_1001_2, c_1001_2^15 - 2*c_1001_2^14 - 5*c_1001_2^13 + 17*c_1001_2^12 + 2*c_1001_2^11 - 56*c_1001_2^10 + 42*c_1001_2^9 + 83*c_1001_2^8 - 128*c_1001_2^7 - 34*c_1001_2^6 + 160*c_1001_2^5 - 49*c_1001_2^4 - 88*c_1001_2^3 + 56*c_1001_2^2 + 16*c_1001_2 - 16 ], Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_3, c_0011_8, c_0101_0, c_0101_4, c_0101_7, c_0110_8, c_1001_0, c_1001_1, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 18232095823683016646/82270802308347581*c_1001_2^21 - 519129857666515448329/411354011541737905*c_1001_2^20 - 881177848157174006139/411354011541737905*c_1001_2^19 + 52922906632775711880/82270802308347581*c_1001_2^18 + 395302515299751355975/82270802308347581*c_1001_2^17 - 75190697277147363772/411354011541737905*c_1001_2^16 - 4862357433578893475587/411354011541737905*c_1001_2^15 - 3581866261261505652006/411354011541737905*c_1001_2^14 + 5216160427612198789571/411354011541737905*c_1001_2^13 + 7262883283328662822833/411354011541737905*c_1001_2^12 - 5114655822028692910844/411354011541737905*c_1001_2^11 - 11198273040012979044239/411354011541737905*c_1001_2^10 + 1897126480193678554683/411354011541737905*c_1001_2^9 + 9423983595067767799436/411354011541737905*c_1001_2^8 - 368795688256277706668/411354011541737905*c_1001_2^7 - 6779291434866368211266/411354011541737905*c_1001_2^6 - 1546715930613846762978/411354011541737905*c_1001_2^5 + 3086034257872139539497/411354011541737905*c_1001_2^4 + 167500047300518745962/82270802308347581*c_1001_2^3 - 1009164019763383279826/411354011541737905*c_1001_2^2 - 98914152377768421206/411354011541737905*c_1001_2 + 132459479843955963788/411354011541737905, c_0011_0 - 1, c_0011_10 - 4894843628/23075299099*c_1001_2^21 - 18563717654/23075299099*c_1001_2^20 - 8158308370/23075299099*c_1001_2^19 + 43828954272/23075299099*c_1001_2^18 + 32215857986/23075299099*c_1001_2^17 - 71011935744/23075299099*c_1001_2^16 - 89320640128/23075299099*c_1001_2^15 + 41332738184/23075299099*c_1001_2^14 + 154330601756/23075299099*c_1001_2^13 + 12022729756/23075299099*c_1001_2^12 - 166588681900/23075299099*c_1001_2^11 + 19473745737/23075299099*c_1001_2^10 + 31399979647/23075299099*c_1001_2^9 - 68210214029/23075299099*c_1001_2^8 + 136469080794/23075299099*c_1001_2^7 + 52724716354/23075299099*c_1001_2^6 - 113630736275/23075299099*c_1001_2^5 - 52561832218/23075299099*c_1001_2^4 + 48227364686/23075299099*c_1001_2^3 + 93561918114/23075299099*c_1001_2^2 - 61992691083/23075299099*c_1001_2 + 5752676726/23075299099, c_0011_11 + 10519185220/23075299099*c_1001_2^21 + 75856440160/23075299099*c_1001_2^20 + 174515262896/23075299099*c_1001_2^19 + 40760548286/23075299099*c_1001_2^18 - 357008001022/23075299099*c_1001_2^17 - 187760313282/23075299099*c_1001_2^16 + 819977741890/23075299099*c_1001_2^15 + 998080261671/23075299099*c_1001_2^14 - 652373918627/23075299099*c_1001_2^13 - 1729461200599/23075299099*c_1001_2^12 + 360167011574/23075299099*c_1001_2^11 + 2540158329589/23075299099*c_1001_2^10 + 346165704740/23075299099*c_1001_2^9 - 2155425325711/23075299099*c_1001_2^8 - 414135915438/23075299099*c_1001_2^7 + 1476174828781/23075299099*c_1001_2^6 + 577491841481/23075299099*c_1001_2^5 - 632408185549/23075299099*c_1001_2^4 - 303214780722/23075299099*c_1001_2^3 + 275338932673/23075299099*c_1001_2^2 + 17601506893/23075299099*c_1001_2 - 41073849495/23075299099, c_0011_12 - 8340051780/23075299099*c_1001_2^21 - 35016027437/23075299099*c_1001_2^20 - 23204476163/23075299099*c_1001_2^19 + 82356709036/23075299099*c_1001_2^18 + 86535847745/23075299099*c_1001_2^17 - 152678293944/23075299099*c_1001_2^16 - 250365076694/23075299099*c_1001_2^15 + 104682201080/23075299099*c_1001_2^14 + 449696093268/23075299099*c_1001_2^13 + 27431326962/23075299099*c_1001_2^12 - 630806486685/23075299099*c_1001_2^11 - 118336660586/23075299099*c_1001_2^10 + 553612683639/23075299099*c_1001_2^9 + 108252446179/23075299099*c_1001_2^8 - 291542659556/23075299099*c_1001_2^7 - 166093799040/23075299099*c_1001_2^6 + 136315877534/23075299099*c_1001_2^5 + 140415000674/23075299099*c_1001_2^4 - 77657479817/23075299099*c_1001_2^3 + 16500065669/23075299099*c_1001_2^2 - 27040790634/23075299099*c_1001_2 + 26240055070/23075299099, c_0011_3 + 255665718/23075299099*c_1001_2^21 + 12641937073/23075299099*c_1001_2^20 + 55584145738/23075299099*c_1001_2^19 + 59744138234/23075299099*c_1001_2^18 - 78256027147/23075299099*c_1001_2^17 - 138049219302/23075299099*c_1001_2^16 + 159562746171/23075299099*c_1001_2^15 + 401939213072/23075299099*c_1001_2^14 + 24949832136/23075299099*c_1001_2^13 - 548711985754/23075299099*c_1001_2^12 - 200068592480/23075299099*c_1001_2^11 + 755738209012/23075299099*c_1001_2^10 + 395623319437/23075299099*c_1001_2^9 - 582111739573/23075299099*c_1001_2^8 - 232154593745/23075299099*c_1001_2^7 + 355536616608/23075299099*c_1001_2^6 + 241776033674/23075299099*c_1001_2^5 - 99121032562/23075299099*c_1001_2^4 - 116156506002/23075299099*c_1001_2^3 + 88324065564/23075299099*c_1001_2^2 - 12675675483/23075299099*c_1001_2 - 8454518230/23075299099, c_0011_8 - 5798062160/23075299099*c_1001_2^21 - 17264260236/23075299099*c_1001_2^20 + 10248840704/23075299099*c_1001_2^19 + 60835904360/23075299099*c_1001_2^18 - 28680468504/23075299099*c_1001_2^17 - 155745054441/23075299099*c_1001_2^16 + 7382154183/23075299099*c_1001_2^15 + 247536546634/23075299099*c_1001_2^14 + 93060733275/23075299099*c_1001_2^13 - 372507155749/23075299099*c_1001_2^12 - 259930196079/23075299099*c_1001_2^11 + 550375784484/23075299099*c_1001_2^10 + 237071894493/23075299099*c_1001_2^9 - 556115157240/23075299099*c_1001_2^8 - 51187764209/23075299099*c_1001_2^7 + 302234376514/23075299099*c_1001_2^6 + 58898831423/23075299099*c_1001_2^5 - 141677466407/23075299099*c_1001_2^4 - 62773507687/23075299099*c_1001_2^3 + 155491496176/23075299099*c_1001_2^2 - 71485442703/23075299099*c_1001_2 + 17761805800/23075299099, c_0101_0 - 2290868/2655691*c_1001_2^21 - 12714868/2655691*c_1001_2^20 - 20168048/2655691*c_1001_2^19 + 10322960/2655691*c_1001_2^18 + 49372814/2655691*c_1001_2^17 - 9761352/2655691*c_1001_2^16 - 124286982/2655691*c_1001_2^15 - 71963944/2655691*c_1001_2^14 + 150374562/2655691*c_1001_2^13 + 167766671/2655691*c_1001_2^12 - 162128281/2655691*c_1001_2^11 - 271892817/2655691*c_1001_2^10 + 95448206/2655691*c_1001_2^9 + 246070165/2655691*c_1001_2^8 - 43701028/2655691*c_1001_2^7 - 182249886/2655691*c_1001_2^6 - 14225093/2655691*c_1001_2^5 + 92176793/2655691*c_1001_2^4 + 11559614/2655691*c_1001_2^3 - 30361146/2655691*c_1001_2^2 + 828483/2655691*c_1001_2 + 5307409/2655691, c_0101_4 - 17669046392/23075299099*c_1001_2^21 - 89165945932/23075299099*c_1001_2^20 - 120392811946/23075299099*c_1001_2^19 + 89035391686/23075299099*c_1001_2^18 + 256309382588/23075299099*c_1001_2^17 - 181461496058/23075299099*c_1001_2^16 - 722485903152/23075299099*c_1001_2^15 - 227124766968/23075299099*c_1001_2^14 + 895035016280/23075299099*c_1001_2^13 + 576324180142/23075299099*c_1001_2^12 - 1198819063260/23075299099*c_1001_2^11 - 1052223355418/23075299099*c_1001_2^10 + 898925092507/23075299099*c_1001_2^9 + 811029050108/23075299099*c_1001_2^8 - 647263789030/23075299099*c_1001_2^7 - 716874183007/23075299099*c_1001_2^6 + 187002594735/23075299099*c_1001_2^5 + 375165951445/23075299099*c_1001_2^4 - 148513245532/23075299099*c_1001_2^3 - 100727360849/23075299099*c_1001_2^2 + 33976015877/23075299099*c_1001_2 + 18815166913/23075299099, c_0101_7 + 8506583388/23075299099*c_1001_2^21 + 43994614670/23075299099*c_1001_2^20 + 64363352694/23075299099*c_1001_2^19 - 30210570824/23075299099*c_1001_2^18 - 120655679668/23075299099*c_1001_2^17 + 67644519556/23075299099*c_1001_2^16 + 342328321698/23075299099*c_1001_2^15 + 164238990744/23075299099*c_1001_2^14 - 368150906930/23075299099*c_1001_2^13 - 313579098497/23075299099*c_1001_2^12 + 490006698953/23075299099*c_1001_2^11 + 540768171932/23075299099*c_1001_2^10 - 295678413821/23075299099*c_1001_2^9 - 364170804754/23075299099*c_1001_2^8 + 212775531234/23075299099*c_1001_2^7 + 337985854948/23075299099*c_1001_2^6 - 4741378668/23075299099*c_1001_2^5 - 169515016275/23075299099*c_1001_2^4 + 64219903636/23075299099*c_1001_2^3 + 46387686204/23075299099*c_1001_2^2 - 10266005336/23075299099*c_1001_2 - 7056621007/23075299099, c_0110_8 - 530380380/23075299099*c_1001_2^21 + 7618224566/23075299099*c_1001_2^20 + 37801604234/23075299099*c_1001_2^19 + 25203375664/23075299099*c_1001_2^18 - 90464847542/23075299099*c_1001_2^17 - 76204875024/23075299099*c_1001_2^16 + 193998180048/23075299099*c_1001_2^15 + 240838380046/23075299099*c_1001_2^14 - 183634790372/23075299099*c_1001_2^13 - 448677731614/23075299099*c_1001_2^12 + 139430968736/23075299099*c_1001_2^11 + 716249590718/23075299099*c_1001_2^10 - 140787877542/23075299099*c_1001_2^9 - 712623766640/23075299099*c_1001_2^8 + 193520047049/23075299099*c_1001_2^7 + 468820643360/23075299099*c_1001_2^6 - 70562880781/23075299099*c_1001_2^5 - 279632336775/23075299099*c_1001_2^4 + 4886225831/23075299099*c_1001_2^3 + 182463903084/23075299099*c_1001_2^2 - 85414414201/23075299099*c_1001_2 + 37119126/23075299099, c_1001_0 - 1030340/2655691*c_1001_2^21 - 6292028/2655691*c_1001_2^20 - 12164064/2655691*c_1001_2^19 - 105098/2655691*c_1001_2^18 + 24771146/2655691*c_1001_2^17 + 6854834/2655691*c_1001_2^16 - 59195642/2655691*c_1001_2^15 - 61977746/2655691*c_1001_2^14 + 51333931/2655691*c_1001_2^13 + 109971624/2655691*c_1001_2^12 - 36851016/2655691*c_1001_2^11 - 161162903/2655691*c_1001_2^10 - 17751615/2655691*c_1001_2^9 + 131701301/2655691*c_1001_2^8 + 30878062/2655691*c_1001_2^7 - 94717017/2655691*c_1001_2^6 - 42257582/2655691*c_1001_2^5 + 39381555/2655691*c_1001_2^4 + 19012080/2655691*c_1001_2^3 - 12862685/2655691*c_1001_2^2 - 4478926/2655691*c_1001_2 + 3016541/2655691, c_1001_1 + c_1001_2, c_1001_2^22 + 5*c_1001_2^21 + 6*c_1001_2^20 - 8*c_1001_2^19 - 17*c_1001_2^18 + 15*c_1001_2^17 + 47*c_1001_2^16 + 3*c_1001_2^15 - 70*c_1001_2^14 - 30*c_1001_2^13 + 96*c_1001_2^12 + 64*c_1001_2^11 - 90*c_1001_2^10 - 58*c_1001_2^9 + 69*c_1001_2^8 + 47*c_1001_2^7 - 32*c_1001_2^6 - 28*c_1001_2^5 + 18*c_1001_2^4 + 10*c_1001_2^3 - 8*c_1001_2^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.780 Total time: 2.000 seconds, Total memory usage: 64.12MB