Magma V2.19-8 Sun Sep 15 2013 05:36:17 on localhost [Seed = 709691291] Type ? for help. Type -D to quit. Loading file "11_439__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_439 geometric_solution 15.46172086 oriented_manifold CS_known 0.0000000000000009 1 0 torus 0.000000000000 0.000000000000 17 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 -1 0 1 1 0 -1 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.609456168284 0.520304231266 0 5 7 6 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 0 0 -1 0 1 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.406447629566 0.783644348866 8 0 5 9 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 1 -1 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.934958655185 0.900269192218 10 9 9 0 0132 0132 1302 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 0 0 0 0 0 -1 1 0 0 0 0 1 4 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.063911289885 0.946231569253 10 7 0 11 3120 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 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.273058075432 0.964130228498 12 1 7 2 0132 0132 1023 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 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.406447629566 0.783644348866 13 14 1 9 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.024086389129 0.864201242866 15 4 5 1 0132 0132 1023 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 1 -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.909246341524 1.456298152668 2 16 11 12 0132 0132 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 -1 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 0 0 0 0 0.584093603068 0.330766397226 3 3 2 6 2031 0132 0132 1023 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 5 -4 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.475197780708 0.466753602701 3 11 16 4 0132 2031 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.863503076646 0.797613567279 10 15 4 8 1302 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 1 -1 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.134764831263 0.449647311046 5 13 8 14 0132 3120 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.129078082178 0.968137036950 6 12 14 16 0132 3120 1023 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.032218823168 0.989635202094 12 6 13 15 3120 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.156079008888 1.130244212325 7 11 16 14 0132 0132 3120 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 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.273058075432 0.964130228498 13 8 15 10 3120 0132 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 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 1.420608478656 1.051022915019 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_0' : d['1'], 'c_1001_15' : d['c_0101_14'], 'c_1001_14' : d['c_0101_13'], 'c_1001_16' : negation(d['c_0101_14']), 'c_1001_11' : d['c_0101_5'], 'c_1001_10' : negation(d['c_0110_11']), 'c_1001_13' : d['c_0101_14'], 'c_1001_12' : negation(d['c_0101_14']), 'c_1001_5' : d['c_0101_7'], 'c_1001_4' : d['c_1001_1'], 'c_1001_7' : d['c_0101_5'], 'c_1001_6' : d['c_0101_7'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_13'], 'c_1001_2' : d['c_1001_1'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : negation(d['c_0110_11']), 'c_1010_13' : d['c_0011_0'], 'c_1010_12' : negation(d['c_0011_13']), 'c_1010_11' : d['c_0101_14'], 'c_1010_10' : d['c_0011_11'], 'c_1010_16' : negation(d['c_0110_11']), 'c_1010_15' : d['c_0101_5'], 'c_1010_14' : d['c_0101_7'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_3_13' : negation(d['1']), 's_3_12' : d['1'], 's_0_14' : d['1'], 's_3_14' : d['1'], 's_0_16' : negation(d['1']), 's_3_16' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_10']), 'c_0101_10' : d['c_0101_0'], 'c_0101_16' : d['c_0101_16'], 'c_0101_15' : d['c_0101_1'], 'c_0101_14' : d['c_0101_14'], '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' : negation(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_2_16' : d['1'], 's_2_14' : d['1'], 's_2_15' : d['1'], 's_0_6' : negation(d['1']), 's_0_7' : 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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_15' : negation(d['c_0011_11']), 'c_0011_14' : d['c_0011_13'], 'c_0011_16' : negation(d['c_0011_0']), 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0101_14']), 'c_0011_13' : d['c_0011_13'], 'c_0011_12' : negation(d['c_0011_0']), 'c_1100_5' : negation(d['c_1100_1']), 'c_1100_4' : d['c_0101_8'], 'c_1100_7' : d['c_1100_1'], 'c_1100_6' : d['c_1100_1'], 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : d['c_0101_8'], 'c_1100_3' : d['c_0101_8'], 'c_1100_2' : negation(d['c_1100_1']), 'c_1100_14' : d['c_0101_16'], 's_0_15' : d['1'], 'c_1100_15' : negation(d['c_0101_16']), 's_3_11' : d['1'], 'c_1100_16' : negation(d['c_0101_1']), 'c_1100_11' : d['c_0101_8'], 'c_1100_10' : negation(d['c_0101_1']), 'c_1100_13' : negation(d['c_0101_16']), 'c_1100_12' : negation(d['c_0101_14']), 'c_1100_9' : negation(d['c_1100_1']), 's_0_12' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : d['c_0101_13'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_0101_5'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0101_7'], 'c_1010_0' : d['c_1001_1'], 's_3_15' : d['1'], 'c_1010_9' : d['c_0101_13'], 'c_1010_8' : negation(d['c_0101_14']), 's_3_1' : negation(d['1']), 'c_0101_13' : d['c_0101_13'], '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' : negation(d['1']), 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : d['c_0011_0'], 's_3_10' : d['1'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_11']), 'c_0011_7' : d['c_0011_11'], 'c_0011_6' : negation(d['c_0011_13']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0110_11'], 'c_0110_10' : negation(d['c_0011_10']), 'c_0110_13' : d['c_0101_0'], 'c_0110_12' : d['c_0101_5'], 'c_0110_15' : d['c_0101_7'], 'c_0110_14' : d['c_0101_5'], 'c_0110_16' : d['c_0101_0'], 's_0_13' : negation(d['1']), 'c_0101_12' : d['c_0101_12'], 's_0_8' : negation(d['1']), 's_0_9' : d['1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_10']), 'c_0101_2' : d['c_0101_12'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_8'], 'c_0101_8' : d['c_0101_8'], 'c_0011_10' : d['c_0011_10'], 's_1_16' : negation(d['1']), 's_1_15' : d['1'], 's_1_14' : d['1'], 's_1_13' : d['1'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_13'], 'c_0110_8' : d['c_0101_12'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_8'], 'c_0110_5' : d['c_0101_12'], 'c_0110_4' : negation(d['c_0011_10']), 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_13']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 18 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_13, c_0101_0, c_0101_1, c_0101_12, c_0101_13, c_0101_14, c_0101_16, c_0101_5, c_0101_7, c_0101_8, c_0110_11, c_1001_0, c_1001_1, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 4 Groebner basis: [ t + 8/5*c_1001_1*c_1100_1 - c_1001_1 + 18/5*c_1100_1 - 11/5, c_0011_0 - 1, c_0011_10 + c_1100_1 + 1, c_0011_11 - 1, c_0011_13 + c_1001_1*c_1100_1 + c_1001_1 - c_1100_1 - 1, c_0101_0 + c_1100_1 + 1, c_0101_1 - c_1001_1*c_1100_1 - c_1001_1 + c_1100_1 + 1, c_0101_12 - c_1100_1 - 1, c_0101_13 - 1, c_0101_14 - c_1100_1 - 1, c_0101_16 - c_1001_1*c_1100_1 - c_1001_1 + c_1100_1 + 2, c_0101_5 + c_1001_1*c_1100_1 + c_1001_1 - c_1100_1 - 2, c_0101_7 + c_1001_1 - c_1100_1 - 2, c_0101_8 - c_1001_1*c_1100_1 - c_1001_1 + c_1100_1 + 1, c_0110_11 - c_1001_1*c_1100_1 - c_1001_1 + c_1100_1, c_1001_0 - c_1001_1*c_1100_1 - c_1001_1 + c_1100_1 + 2, c_1001_1^2 - c_1001_1*c_1100_1 - 2*c_1001_1 + 2*c_1100_1 + 1, c_1100_1^2 + c_1100_1 - 1 ], Ideal of Polynomial ring of rank 18 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_13, c_0101_0, c_0101_1, c_0101_12, c_0101_13, c_0101_14, c_0101_16, c_0101_5, c_0101_7, c_0101_8, c_0110_11, c_1001_0, c_1001_1, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 8 Groebner basis: [ t + 49957392799/6703936*c_1100_1^7 - 780645723885/26815744*c_1100_1^6 + 5792301596553/107262976*c_1100_1^5 - 444112094741/13407872*c_1100_1^4 + 1246802160177/107262976*c_1100_1^3 + 1184391471877/107262976*c_1100_1^2 + 95391138203/53631488*c_1100_1 + 152199305175/107262976, c_0011_0 - 1, c_0011_10 - 55441/13516*c_1100_1^7 + 948067/54064*c_1100_1^6 - 7681543/216256*c_1100_1^5 + 781661/27032*c_1100_1^4 - 2855599/216256*c_1100_1^3 - 532267/216256*c_1100_1^2 + 6307/108128*c_1100_1 + 54231/216256, c_0011_11 + 12464/3379*c_1100_1^7 - 47766/3379*c_1100_1^6 + 176177/6758*c_1100_1^5 - 441955/27032*c_1100_1^4 + 235233/27032*c_1100_1^3 + 19915/13516*c_1100_1^2 + 86123/27032*c_1100_1 + 22269/27032, c_0011_13 + 7691/6758*c_1100_1^7 - 81841/27032*c_1100_1^6 + 218877/108128*c_1100_1^5 + 104025/13516*c_1100_1^4 - 966875/108128*c_1100_1^3 + 738281/108128*c_1100_1^2 + 31519/54064*c_1100_1 + 29731/108128, c_0101_0 - 16037/3379*c_1100_1^7 + 263431/13516*c_1100_1^6 - 2060203/54064*c_1100_1^5 + 766043/27032*c_1100_1^4 - 718909/54064*c_1100_1^3 - 125779/54064*c_1100_1^2 - 8532/3379*c_1100_1 + 14553/54064, c_0101_1 + 56531/13516*c_1100_1^7 - 822281/54064*c_1100_1^6 + 5516149/216256*c_1100_1^5 - 249523/27032*c_1100_1^4 - 71923/216256*c_1100_1^3 + 1824353/216256*c_1100_1^2 + 236327/108128*c_1100_1 + 25339/216256, c_0101_12 + 16037/3379*c_1100_1^7 - 263431/13516*c_1100_1^6 + 2060203/54064*c_1100_1^5 - 766043/27032*c_1100_1^4 + 718909/54064*c_1100_1^3 + 125779/54064*c_1100_1^2 + 8532/3379*c_1100_1 - 14553/54064, c_0101_13 - 8707/13516*c_1100_1^7 + 105657/54064*c_1100_1^6 - 559269/216256*c_1100_1^5 - 7809/13516*c_1100_1^4 - 20037/216256*c_1100_1^3 + 29151/216256*c_1100_1^2 - 171203/108128*c_1100_1 + 3981/216256, c_0101_14 + 55441/13516*c_1100_1^7 - 948067/54064*c_1100_1^6 + 7681543/216256*c_1100_1^5 - 781661/27032*c_1100_1^4 + 2855599/216256*c_1100_1^3 + 532267/216256*c_1100_1^2 - 6307/108128*c_1100_1 - 54231/216256, c_0101_16 + 16221/6758*c_1100_1^7 - 276471/27032*c_1100_1^6 + 2259563/108128*c_1100_1^5 - 473191/27032*c_1100_1^4 + 920895/108128*c_1100_1^3 + 188471/108128*c_1100_1^2 + 1043/54064*c_1100_1 - 123199/108128, c_0101_5 + 56531/13516*c_1100_1^7 - 822281/54064*c_1100_1^6 + 5516149/216256*c_1100_1^5 - 249523/27032*c_1100_1^4 - 71923/216256*c_1100_1^3 + 1824353/216256*c_1100_1^2 + 236327/108128*c_1100_1 + 25339/216256, c_0101_7 + 70201/13516*c_1100_1^7 - 1106747/54064*c_1100_1^6 + 8257215/216256*c_1100_1^5 - 319791/13516*c_1100_1^4 + 1697087/216256*c_1100_1^3 + 1440051/216256*c_1100_1^2 + 315049/108128*c_1100_1 - 19095/216256, c_0101_8 - 16221/6758*c_1100_1^7 + 276471/27032*c_1100_1^6 - 2259563/108128*c_1100_1^5 + 473191/27032*c_1100_1^4 - 920895/108128*c_1100_1^3 - 188471/108128*c_1100_1^2 - 1043/54064*c_1100_1 + 123199/108128, c_0110_11 + 8707/13516*c_1100_1^7 - 105657/54064*c_1100_1^6 + 559269/216256*c_1100_1^5 + 7809/13516*c_1100_1^4 + 20037/216256*c_1100_1^3 - 29151/216256*c_1100_1^2 + 171203/108128*c_1100_1 - 3981/216256, c_1001_0 - 16221/3379*c_1100_1^7 + 276471/13516*c_1100_1^6 - 2259563/54064*c_1100_1^5 + 473191/13516*c_1100_1^4 - 920895/54064*c_1100_1^3 - 188471/54064*c_1100_1^2 - 1043/27032*c_1100_1 + 69135/54064, c_1001_1 + 70201/13516*c_1100_1^7 - 1106747/54064*c_1100_1^6 + 8257215/216256*c_1100_1^5 - 319791/13516*c_1100_1^4 + 1697087/216256*c_1100_1^3 + 1440051/216256*c_1100_1^2 + 315049/108128*c_1100_1 - 19095/216256, c_1100_1^8 - 15/4*c_1100_1^7 + 107/16*c_1100_1^6 - 57/16*c_1100_1^5 + 23/16*c_1100_1^4 + 9/8*c_1100_1^3 + 13/16*c_1100_1^2 + 3/16*c_1100_1 + 1/16 ], Ideal of Polynomial ring of rank 18 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_13, c_0101_0, c_0101_1, c_0101_12, c_0101_13, c_0101_14, c_0101_16, c_0101_5, c_0101_7, c_0101_8, c_0110_11, c_1001_0, c_1001_1, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t + 4912333/6776000*c_1001_1*c_1100_1^5 + 211647/56000*c_1001_1*c_1100_1^4 + 52621077/6776000*c_1001_1*c_1100_1^3 + 82034017/6776000*c_1001_1*c_1100_1^2 + 89856091/6776000*c_1001_1*c_1100_1 - 2252951/1694000*c_1001_1 + 285611/193600*c_1100_1^5 + 174811/17600*c_1100_1^4 + 5361371/193600*c_1100_1^3 + 9622751/193600*c_1100_1^2 + 12889269/193600*c_1100_1 + 80877/1936, c_0011_0 - 1, c_0011_10 + 13/40*c_1001_1*c_1100_1^5 + 87/40*c_1001_1*c_1100_1^4 + 237/40*c_1001_1*c_1100_1^3 + 417/40*c_1001_1*c_1100_1^2 + 571/40*c_1001_1*c_1100_1 + 79/10*c_1001_1 + 17/40*c_1100_1^5 + 83/40*c_1100_1^4 + 193/40*c_1100_1^3 + 333/40*c_1100_1^2 + 359/40*c_1100_1 + 41/10, c_0011_11 - 1, c_0011_13 + 9/20*c_1001_1*c_1100_1^5 + 51/20*c_1001_1*c_1100_1^4 + 121/20*c_1001_1*c_1100_1^3 + 201/20*c_1001_1*c_1100_1^2 + 243/20*c_1001_1*c_1100_1 + 22/5*c_1001_1 + 9/40*c_1100_1^5 + 51/40*c_1100_1^4 + 121/40*c_1100_1^3 + 221/40*c_1100_1^2 + 263/40*c_1100_1 + 37/10, c_0101_0 - 11/20*c_1001_1*c_1100_1^5 - 69/20*c_1001_1*c_1100_1^4 - 179/20*c_1001_1*c_1100_1^3 - 319/20*c_1001_1*c_1100_1^2 - 417/20*c_1001_1*c_1100_1 - 58/5*c_1001_1 + 37/40*c_1100_1^5 + 183/40*c_1100_1^4 + 413/40*c_1100_1^3 + 713/40*c_1100_1^2 + 779/40*c_1100_1 + 81/10, c_0101_1 + 9/20*c_1001_1*c_1100_1^5 + 51/20*c_1001_1*c_1100_1^4 + 121/20*c_1001_1*c_1100_1^3 + 201/20*c_1001_1*c_1100_1^2 + 243/20*c_1001_1*c_1100_1 + 22/5*c_1001_1, c_0101_12 - 11/20*c_1001_1*c_1100_1^5 - 69/20*c_1001_1*c_1100_1^4 - 179/20*c_1001_1*c_1100_1^3 - 319/20*c_1001_1*c_1100_1^2 - 417/20*c_1001_1*c_1100_1 - 58/5*c_1001_1, c_0101_13 - 3/20*c_1100_1^5 - 17/20*c_1100_1^4 - 47/20*c_1100_1^3 - 87/20*c_1100_1^2 - 121/20*c_1100_1 - 19/5, c_0101_14 + 13/40*c_1001_1*c_1100_1^5 + 87/40*c_1001_1*c_1100_1^4 + 237/40*c_1001_1*c_1100_1^3 + 417/40*c_1001_1*c_1100_1^2 + 571/40*c_1001_1*c_1100_1 + 79/10*c_1001_1 - 7/40*c_1100_1^5 - 53/40*c_1100_1^4 - 143/40*c_1100_1^3 - 243/40*c_1100_1^2 - 329/40*c_1100_1 - 41/10, c_0101_16 - 7/40*c_1001_1*c_1100_1^5 - 53/40*c_1001_1*c_1100_1^4 - 143/40*c_1001_1*c_1100_1^3 - 243/40*c_1001_1*c_1100_1^2 - 329/40*c_1001_1*c_1100_1 - 41/10*c_1001_1 + 3/40*c_1100_1^5 + 17/40*c_1100_1^4 + 27/40*c_1100_1^3 + 47/40*c_1100_1^2 + 21/40*c_1100_1 - 11/10, c_0101_5 - 9/20*c_1001_1*c_1100_1^5 - 51/20*c_1001_1*c_1100_1^4 - 121/20*c_1001_1*c_1100_1^3 - 201/20*c_1001_1*c_1100_1^2 - 243/20*c_1001_1*c_1100_1 - 22/5*c_1001_1 - 9/40*c_1100_1^5 - 51/40*c_1100_1^4 - 121/40*c_1100_1^3 - 221/40*c_1100_1^2 - 263/40*c_1100_1 - 37/10, c_0101_7 + c_1001_1 - 17/40*c_1100_1^5 - 83/40*c_1100_1^4 - 193/40*c_1100_1^3 - 333/40*c_1100_1^2 - 359/40*c_1100_1 - 41/10, c_0101_8 - 7/40*c_1001_1*c_1100_1^5 - 53/40*c_1001_1*c_1100_1^4 - 143/40*c_1001_1*c_1100_1^3 - 243/40*c_1001_1*c_1100_1^2 - 329/40*c_1001_1*c_1100_1 - 41/10*c_1001_1 + 9/40*c_1100_1^5 + 51/40*c_1100_1^4 + 121/40*c_1100_1^3 + 221/40*c_1100_1^2 + 263/40*c_1100_1 + 37/10, c_0110_11 - 9/40*c_1100_1^5 - 51/40*c_1100_1^4 - 121/40*c_1100_1^3 - 221/40*c_1100_1^2 - 263/40*c_1100_1 - 27/10, c_1001_0 - 13/40*c_1001_1*c_1100_1^5 - 87/40*c_1001_1*c_1100_1^4 - 237/40*c_1001_1*c_1100_1^3 - 417/40*c_1001_1*c_1100_1^2 - 531/40*c_1001_1*c_1100_1 - 79/10*c_1001_1 + 17/40*c_1100_1^5 + 83/40*c_1100_1^4 + 193/40*c_1100_1^3 + 333/40*c_1100_1^2 + 359/40*c_1100_1 + 41/10, c_1001_1^2 - 17/40*c_1001_1*c_1100_1^5 - 83/40*c_1001_1*c_1100_1^4 - 193/40*c_1001_1*c_1100_1^3 - 333/40*c_1001_1*c_1100_1^2 - 359/40*c_1001_1*c_1100_1 - 41/10*c_1001_1 + c_1100_1 + 1, c_1100_1^6 + 7*c_1100_1^5 + 21*c_1100_1^4 + 41*c_1100_1^3 + 59*c_1100_1^2 + 48*c_1100_1 + 16 ], Ideal of Polynomial ring of rank 18 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_13, c_0101_0, c_0101_1, c_0101_12, c_0101_13, c_0101_14, c_0101_16, c_0101_5, c_0101_7, c_0101_8, c_0110_11, c_1001_0, c_1001_1, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t - 185562870107555/3352469536*c_1100_1^12 + 1026544782693295/3352469536*c_1100_1^11 - 1943154422854731/1676234768*c_1100_1^10 + 4930683668218703/1676234768*c_1100_1^9 - 18421741745718749/3352469536*c_1100_1^8 + 27429872389843877/3352469536*c_1100_1^7 - 19358773710428995/1676234768*c_1100_1^6 + 25701894222159361/1676234768*c_1100_1^5 - 4744579294497719/257882272*c_1100_1^4 + 56755579868745155/3352469536*c_1100_1^3 - 7364081133442627/838117384*c_1100_1^2 + 2619686409645177/838117384*c_1100_1 - 174306326646470/104764673, c_0011_0 - 1, c_0011_10 - 241979/64470568*c_1100_1^12 + 535829/64470568*c_1100_1^11 - 2731213/64470568*c_1100_1^10 + 686576/8058821*c_1100_1^9 - 3641685/16117642*c_1100_1^8 + 3578923/8058821*c_1100_1^7 - 47888731/64470568*c_1100_1^6 + 50634027/64470568*c_1100_1^5 - 66165317/64470568*c_1100_1^4 + 8555796/8058821*c_1100_1^3 - 29810333/32235284*c_1100_1^2 + 12243935/16117642*c_1100_1 + 6901090/8058821, c_0011_11 - 1, c_0011_13 + 257359/8058821*c_1100_1^12 - 1038537/8058821*c_1100_1^11 + 29368519/64470568*c_1100_1^10 - 29719523/32235284*c_1100_1^9 + 92955501/64470568*c_1100_1^8 - 114474785/64470568*c_1100_1^7 + 170518943/64470568*c_1100_1^6 - 195892169/64470568*c_1100_1^5 + 28251747/8058821*c_1100_1^4 - 81125419/64470568*c_1100_1^3 - 24701591/32235284*c_1100_1^2 - 4991894/8058821*c_1100_1 + 946952/8058821, c_0101_0 + 1358781/64470568*c_1100_1^12 - 6409617/64470568*c_1100_1^11 + 11142339/32235284*c_1100_1^10 - 24584321/32235284*c_1100_1^9 + 75206337/64470568*c_1100_1^8 - 90801785/64470568*c_1100_1^7 + 57232953/32235284*c_1100_1^6 - 18281318/8058821*c_1100_1^5 + 144588265/64470568*c_1100_1^4 - 74743071/64470568*c_1100_1^3 - 59236873/32235284*c_1100_1^2 + 5120504/8058821*c_1100_1 + 2660428/8058821, c_0101_1 - 257359/8058821*c_1100_1^12 + 1038537/8058821*c_1100_1^11 - 29368519/64470568*c_1100_1^10 + 29719523/32235284*c_1100_1^9 - 92955501/64470568*c_1100_1^8 + 114474785/64470568*c_1100_1^7 - 170518943/64470568*c_1100_1^6 + 195892169/64470568*c_1100_1^5 - 28251747/8058821*c_1100_1^4 + 81125419/64470568*c_1100_1^3 + 24701591/32235284*c_1100_1^2 + 4991894/8058821*c_1100_1 - 946952/8058821, c_0101_12 - 1358781/64470568*c_1100_1^12 + 6409617/64470568*c_1100_1^11 - 11142339/32235284*c_1100_1^10 + 24584321/32235284*c_1100_1^9 - 75206337/64470568*c_1100_1^8 + 90801785/64470568*c_1100_1^7 - 57232953/32235284*c_1100_1^6 + 18281318/8058821*c_1100_1^5 - 144588265/64470568*c_1100_1^4 + 74743071/64470568*c_1100_1^3 + 59236873/32235284*c_1100_1^2 - 5120504/8058821*c_1100_1 - 2660428/8058821, c_0101_13 - 152281/32235284*c_1100_1^12 + 2663147/64470568*c_1100_1^11 - 9211833/64470568*c_1100_1^10 + 26124959/64470568*c_1100_1^9 - 11094527/16117642*c_1100_1^8 + 15753865/16117642*c_1100_1^7 - 39859673/32235284*c_1100_1^6 + 120342801/64470568*c_1100_1^5 - 128960039/64470568*c_1100_1^4 + 133665145/64470568*c_1100_1^3 - 1599171/16117642*c_1100_1^2 - 4888875/8058821*c_1100_1 - 4414033/8058821, c_0101_14 + 241979/64470568*c_1100_1^12 - 535829/64470568*c_1100_1^11 + 2731213/64470568*c_1100_1^10 - 686576/8058821*c_1100_1^9 + 3641685/16117642*c_1100_1^8 - 3578923/8058821*c_1100_1^7 + 47888731/64470568*c_1100_1^6 - 50634027/64470568*c_1100_1^5 + 66165317/64470568*c_1100_1^4 - 8555796/8058821*c_1100_1^3 + 29810333/32235284*c_1100_1^2 - 12243935/16117642*c_1100_1 - 6901090/8058821, c_0101_16 + 152059/8058821*c_1100_1^12 - 2386033/32235284*c_1100_1^11 + 17115731/64470568*c_1100_1^10 - 4174267/8058821*c_1100_1^9 + 51490667/64470568*c_1100_1^8 - 57257545/64470568*c_1100_1^7 + 83047535/64470568*c_1100_1^6 - 90098351/64470568*c_1100_1^5 + 13776738/8058821*c_1100_1^4 + 2084467/64470568*c_1100_1^3 - 11750816/8058821*c_1100_1^2 + 8426340/8058821*c_1100_1 - 1523100/8058821, c_0101_5 - 257359/8058821*c_1100_1^12 + 1038537/8058821*c_1100_1^11 - 29368519/64470568*c_1100_1^10 + 29719523/32235284*c_1100_1^9 - 92955501/64470568*c_1100_1^8 + 114474785/64470568*c_1100_1^7 - 170518943/64470568*c_1100_1^6 + 195892169/64470568*c_1100_1^5 - 28251747/8058821*c_1100_1^4 + 81125419/64470568*c_1100_1^3 + 24701591/32235284*c_1100_1^2 + 4991894/8058821*c_1100_1 - 946952/8058821, c_0101_7 - 917683/32235284*c_1100_1^12 + 7871155/64470568*c_1100_1^11 - 6851237/16117642*c_1100_1^10 + 57637883/64470568*c_1100_1^9 - 89292723/64470568*c_1100_1^8 + 110224945/64470568*c_1100_1^7 - 156956773/64470568*c_1100_1^6 + 92554535/32235284*c_1100_1^5 - 200583867/64470568*c_1100_1^4 + 51085027/32235284*c_1100_1^3 + 7395471/8058821*c_1100_1^2 - 3122735/16117642*c_1100_1 - 1876498/8058821, c_0101_8 - 152059/8058821*c_1100_1^12 + 2386033/32235284*c_1100_1^11 - 17115731/64470568*c_1100_1^10 + 4174267/8058821*c_1100_1^9 - 51490667/64470568*c_1100_1^8 + 57257545/64470568*c_1100_1^7 - 83047535/64470568*c_1100_1^6 + 90098351/64470568*c_1100_1^5 - 13776738/8058821*c_1100_1^4 - 2084467/64470568*c_1100_1^3 + 11750816/8058821*c_1100_1^2 - 8426340/8058821*c_1100_1 + 1523100/8058821, c_0110_11 - 322993/8058821*c_1100_1^12 + 5699343/32235284*c_1100_1^11 - 39075779/64470568*c_1100_1^10 + 20549521/16117642*c_1100_1^9 - 123940929/64470568*c_1100_1^8 + 149605905/64470568*c_1100_1^7 - 215639715/64470568*c_1100_1^6 + 266167823/64470568*c_1100_1^5 - 33448561/8058821*c_1100_1^4 + 94154833/64470568*c_1100_1^3 + 70958227/32235284*c_1100_1^2 + 3814853/16117642*c_1100_1 - 5256394/8058821, c_1001_0 + 954087/32235284*c_1100_1^12 - 4244137/32235284*c_1100_1^11 + 29739889/64470568*c_1100_1^10 - 31926259/32235284*c_1100_1^9 + 101130169/64470568*c_1100_1^8 - 127565313/64470568*c_1100_1^7 + 181595133/64470568*c_1100_1^6 - 226123895/64470568*c_1100_1^5 + 121064387/32235284*c_1100_1^4 - 142127779/64470568*c_1100_1^3 - 5491691/32235284*c_1100_1^2 - 8754957/16117642*c_1100_1 - 1117627/8058821, c_1001_1 - 917683/32235284*c_1100_1^12 + 7871155/64470568*c_1100_1^11 - 6851237/16117642*c_1100_1^10 + 57637883/64470568*c_1100_1^9 - 89292723/64470568*c_1100_1^8 + 110224945/64470568*c_1100_1^7 - 156956773/64470568*c_1100_1^6 + 92554535/32235284*c_1100_1^5 - 200583867/64470568*c_1100_1^4 + 51085027/32235284*c_1100_1^3 + 7395471/8058821*c_1100_1^2 - 3122735/16117642*c_1100_1 - 1876498/8058821, c_1100_1^13 - 5*c_1100_1^12 + 18*c_1100_1^11 - 42*c_1100_1^10 + 71*c_1100_1^9 - 95*c_1100_1^8 + 130*c_1100_1^7 - 166*c_1100_1^6 + 185*c_1100_1^5 - 129*c_1100_1^4 - 4*c_1100_1^3 + 28*c_1100_1^2 + 16 ], Ideal of Polynomial ring of rank 18 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_13, c_0101_0, c_0101_1, c_0101_12, c_0101_13, c_0101_14, c_0101_16, c_0101_5, c_0101_7, c_0101_8, c_0110_11, c_1001_0, c_1001_1, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 167769330949083239/785429819036408*c_1001_1*c_1100_1^7 + 38885380472953577/1570859638072816*c_1001_1*c_1100_1^6 - 10839197727562248869/3141719276145632*c_1001_1*c_1100_1^5 - 1236890623018678005/224408519724688*c_1001_1*c_1100_1^4 - 23514520107250214767/3141719276145632*c_1001_1*c_1100_1^3 - 1390516907920707005/448817039449376*c_1001_1*c_1100_1^2 + 22057225067811215/392714909518204*c_1001_1*c_1100_1 + 488399451549287639/3141719276145632*c_1001_1 + 656488433532847/8631096912488*c_1100_1^7 + 357259281156595/17262193824976*c_1100_1^6 + 41965092621554985/34524387649952*c_1100_1^5 + 10662595757114305/4315548456244*c_1100_1^4 + 112581860343889065/34524387649952*c_1100_1^3 + 4261485288233577/1817073034208*c_1100_1^2 + 13628834890769145/17262193824976*c_1100_1 + 3410868420921895/34524387649952, c_0011_0 - 1, c_0011_10 + 23063/14456*c_1001_1*c_1100_1^7 - 46809/28912*c_1001_1*c_1100_1^6 + 1534709/57824*c_1001_1*c_1100_1^5 + 519395/28912*c_1001_1*c_1100_1^4 + 1632647/57824*c_1001_1*c_1100_1^3 - 619637/57824*c_1001_1*c_1100_1^2 - 42735/7228*c_1001_1*c_1100_1 + 23553/57824*c_1001_1 - 205843/101192*c_1100_1^7 + 226053/202384*c_1100_1^6 - 13414993/404768*c_1100_1^5 - 1113371/28912*c_1100_1^4 - 20656431/404768*c_1100_1^3 - 464545/57824*c_1100_1^2 + 654883/101192*c_1100_1 + 207639/404768, c_0011_11 + 138891/101192*c_1100_1^7 - 210981/202384*c_1100_1^6 + 9148561/404768*c_1100_1^5 + 614433/28912*c_1100_1^4 + 12234011/404768*c_1100_1^3 - 10247/57824*c_1100_1^2 - 172987/50596*c_1100_1 + 589709/404768, c_0011_13 + 49401/25298*c_1001_1*c_1100_1^7 - 53309/50596*c_1001_1*c_1100_1^6 + 3228401/101192*c_1001_1*c_1100_1^\ 5 + 538341/14456*c_1001_1*c_1100_1^4 + 2577167/50596*c_1001_1*c_1100_1^3 + 148775/14456*c_1001_1*c_1100_1^2 - 307963/101192*c_1001_1*c_1100_1 - 10785/50596*c_1001_1 - 15769/7784*c_1100_1^7 + 20751/15568*c_1100_1^6 - 1037427/31136*c_1100_1^5 - 77097/2224*c_1100_1^4 - 1550077/31136*c_1100_1^3 - 26435/4448*c_1100_1^2 + 16853/7784*c_1100_1 - 33099/31136, c_0101_0 + 8361/7228*c_1001_1*c_1100_1^7 - 8923/14456*c_1001_1*c_1100_1^6 + 548159/28912*c_1001_1*c_1100_1^5 + 79771/3614*c_1001_1*c_1100_1^4 + 906951/28912*c_1001_1*c_1100_1^3 + 187021/28912*c_1001_1*c_1100_1^2 - 27137/14456*c_1001_1*c_1100_1 - 32935/28912*c_1001_1 - 273281/50596*c_1100_1^7 + 367803/101192*c_1100_1^6 - 17972959/202384*c_1100_1^5 - 657965/7228*c_1100_1^4 - 26317835/202384*c_1100_1^3 - 327507/28912*c_1100_1^2 + 1000023/101192*c_1100_1 - 235237/202384, c_0101_1 - 123259/101192*c_1001_1*c_1100_1^7 + 141637/202384*c_1001_1*c_1100_1^6 - 8074225/404768*c_1001_1*c_1100_1^5 - 652165/28912*c_1001_1*c_1100_1^4 - 12661251/404768*c_1001_1*c_1100_1^3 - 371753/57824*c_1001_1*c_1100_1^2 + 23640/12649*c_1001_1*c_1100_1 - 194501/404768*c_1001_1 - 108645/101192*c_1100_1^7 + 255811/202384*c_1100_1^6 - 7283863/404768*c_1100_1^5 - 264845/28912*c_1100_1^4 - 6659769/404768*c_1100_1^3 + 685881/57824*c_1100_1^2 + 414173/101192*c_1100_1 - 418575/404768, c_0101_12 + 8361/7228*c_1001_1*c_1100_1^7 - 8923/14456*c_1001_1*c_1100_1^6 + 548159/28912*c_1001_1*c_1100_1^5 + 79771/3614*c_1001_1*c_1100_1^4 + 906951/28912*c_1001_1*c_1100_1^3 + 187021/28912*c_1001_1*c_1100_1^2 - 27137/14456*c_1001_1*c_1100_1 - 32935/28912*c_1001_1 + 108645/101192*c_1100_1^7 - 255811/202384*c_1100_1^6 + 7283863/404768*c_1100_1^5 + 264845/28912*c_1100_1^4 + 6659769/404768*c_1100_1^3 - 685881/57824*c_1100_1^2 - 414173/101192*c_1100_1 + 418575/404768, c_0101_13 + 5255/101192*c_1100_1^7 + 1663/202384*c_1100_1^6 + 294237/404768*c_1100_1^5 + 48227/28912*c_1100_1^4 + 140123/404768*c_1100_1^3 - 12003/57824*c_1100_1^2 - 165449/101192*c_1100_1 + 6205/404768, c_0101_14 + 23063/14456*c_1001_1*c_1100_1^7 - 46809/28912*c_1001_1*c_1100_1^6 + 1534709/57824*c_1001_1*c_1100_1^5 + 519395/28912*c_1001_1*c_1100_1^4 + 1632647/57824*c_1001_1*c_1100_1^3 - 619637/57824*c_1001_1*c_1100_1^2 - 42735/7228*c_1001_1*c_1100_1 + 23553/57824*c_1001_1 + 14311/101192*c_1100_1^7 - 103865/202384*c_1100_1^6 + 1093013/404768*c_1100_1^5 - 131727/28912*c_1100_1^4 - 844577/404768*c_1100_1^3 - 478835/57824*c_1100_1^2 + 23651/25298*c_1100_1 + 506057/404768, c_0101_16 + 4075/7228*c_1001_1*c_1100_1^7 + 3339/14456*c_1001_1*c_1100_1^6 + 252801/28912*c_1001_1*c_1100_1^5 + 283891/14456*c_1001_1*c_1100_1^4 + 635835/28912*c_1001_1*c_1100_1^3 + 410367/28912*c_1001_1*c_1100_1^2 - 2378/1807*c_1001_1*c_1100_1 - 47091/28912*c_1001_1 + 71769/101192*c_1100_1^7 - 339615/202384*c_1100_1^6 + 4993155/404768*c_1100_1^5 - 221139/28912*c_1100_1^4 - 2186859/404768*c_1100_1^3 - 1675517/57824*c_1100_1^2 - 608199/101192*c_1100_1 + 931059/404768, c_0101_5 + 123259/101192*c_1001_1*c_1100_1^7 - 141637/202384*c_1001_1*c_1100_1^6 + 8074225/404768*c_1001_1*c_1100_1^5 + 652165/28912*c_1001_1*c_1100_1^4 + 12661251/404768*c_1001_1*c_1100_1^3 + 371753/57824*c_1001_1*c_1100_1^2 - 23640/12649*c_1001_1*c_1100_1 + 194501/404768*c_1001_1 + 134059/101192*c_1100_1^7 - 190789/202384*c_1100_1^6 + 8818545/404768*c_1100_1^5 + 621761/28912*c_1100_1^4 + 12346603/404768*c_1100_1^3 + 62201/57824*c_1100_1^2 - 199211/50596*c_1100_1 - 140227/404768, c_0101_7 + c_1001_1 + 421217/101192*c_1100_1^7 - 566823/202384*c_1100_1^6 + 27681643/404768*c_1100_1^5 + 2029673/28912*c_1100_1^4 + 40240069/404768*c_1100_1^3 + 438203/57824*c_1100_1^2 - 865377/101192*c_1100_1 + 206883/404768, c_0101_8 + 4075/7228*c_1001_1*c_1100_1^7 + 3339/14456*c_1001_1*c_1100_1^6 + 252801/28912*c_1001_1*c_1100_1^5 + 283891/14456*c_1001_1*c_1100_1^4 + 635835/28912*c_1001_1*c_1100_1^3 + 410367/28912*c_1001_1*c_1100_1^2 - 2378/1807*c_1001_1*c_1100_1 - 47091/28912*c_1001_1 - 73519/25298*c_1100_1^7 + 105843/50596*c_1100_1^6 - 4845791/101192*c_1100_1^5 - 675303/14456*c_1100_1^4 - 3439403/50596*c_1100_1^3 - 37153/14456*c_1100_1^2 + 461225/101192*c_1100_1 - 42075/50596, c_0110_11 - 129279/50596*c_1001_1*c_1100_1^7 + 201641/101192*c_1001_1*c_1100_1^6 - 8577189/202384*c_1001_1*c_1100_1^5 - 556419/14456*c_1001_1*c_1100_1^4 - 12118387/202384*c_1001_1*c_1100_1^3 - 79061/28912*c_1001_1*c_1100_1^2 + 48637/50596*c_1001_1*c_1100_1 - 380645/202384*c_1001_1 + 523/3892*c_1100_1^7 - 2817/7784*c_1100_1^6 + 37421/15568*c_1100_1^5 - 581/278*c_1100_1^4 - 19323/15568*c_1100_1^3 - 9759/2224*c_1100_1^2 + 6901/7784*c_1100_1 + 29515/15568, c_1001_0 + 153945/101192*c_1001_1*c_1100_1^7 - 141535/202384*c_1001_1*c_1100_1^6 + 9972995/404768*c_1001_1*c_1100_1^5 + 897261/28912*c_1001_1*c_1100_1^4 + 16052293/404768*c_1001_1*c_1100_1^3 + 434691/57824*c_1001_1*c_1100_1^2 - 504327/101192*c_1001_1*c_1100_1 - 555357/404768*c_1001_1 - 421217/101192*c_1100_1^7 + 566823/202384*c_1100_1^6 - 27681643/404768*c_1100_1^5 - 2029673/28912*c_1100_1^4 - 40240069/404768*c_1100_1^3 - 438203/57824*c_1100_1^2 + 865377/101192*c_1100_1 - 206883/404768, c_1001_1^2 + 421217/101192*c_1001_1*c_1100_1^7 - 566823/202384*c_1001_1*c_1100_1^6 + 27681643/404768*c_1001_1*c_1100_1^5 + 2029673/28912*c_1001_1*c_1100_1^4 + 40240069/404768*c_1001_1*c_1100_1^3 + 438203/57824*c_1001_1*c_1100_1^2 - 865377/101192*c_1001_1*c_1100_1 + 206883/404768*c_1001_1 + 98743/50596*c_1100_1^7 - 193993/101192*c_1100_1^6 + 6556645/202384*c_1100_1^5 + 333689/14456*c_1100_1^4 + 7139039/202384*c_1100_1^3 - 339939/28912*c_1100_1^2 - 84906/12649*c_1100_1 + 354265/202384, c_1100_1^8 - 1/2*c_1100_1^7 + 65/4*c_1100_1^6 + 79/4*c_1100_1^5 + 103/4*c_1100_1^4 + 5*c_1100_1^3 - 13/4*c_1100_1^2 - 1/4*c_1100_1 + 1/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 3210.390 Total time: 3210.829 seconds, Total memory usage: 23179.00MB