Magma V2.22-2 Sun Aug 9 2020 22:19:20 on zickert [Seed = 3917809640] Type ? for help. Type -D to quit. Loading file "ptolemy_data_ht/12_tetrahedra/L12n1242__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L12n1242 degenerate_solution 7.32772485 oriented_manifold CS_unknown 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 -0.000000000000 12 1 2 3 2 0132 0132 0132 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 1 -1 0 0 -1 1 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.800000000593 0.400000000641 0 4 6 5 0132 0132 0132 0132 1 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 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 0 0 0 0 0.749999999758 0.249999999928 3 0 3 0 1230 0132 3120 0213 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 -1 1 0 0 1 -1 2 -1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.800000000593 0.400000000641 5 2 2 0 0132 3012 3120 0132 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 1 0 -1 0 0 -1 1 0 0 0 0 1 -2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.000000000679 0.500000000682 5 1 7 8 3012 0132 0132 0132 1 1 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 1 -1 0 -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.000000000313 0.000000000947 3 9 1 4 0132 0132 0132 1230 1 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 -1 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 2.000000000577 1.999999998060 9 8 10 1 0321 0132 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 923278.387180259335 317199647.886333942413 9 11 10 4 2031 0132 3012 0132 1 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 0 0 0 0 0 -1 1 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.999999998586 0.999999998814 10 6 4 11 2031 0132 0132 0213 1 1 1 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 -1 1 2 0 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.000000000244 1.000000000614 6 5 7 11 0321 0132 1302 0132 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 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.999999999991 0.000000003153 11 7 8 6 0321 1230 1302 0132 1 0 1 1 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 1 1 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.000000000009 1.000000001026 10 7 9 8 0321 0132 0132 0213 1 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 0 0 0 0 0 0 0 -1 0 -1 2 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.000000001649 1.000000000773 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d: { 'c_1010_0' : - d['c_0011_0'], 'c_1001_2' : - d['c_0011_0'], 'c_1100_2' : - d['c_0011_0'], 'c_0011_0' : d['c_0011_0'], 'c_0011_1' : - d['c_0011_0'], 'c_0011_2' : - d['c_0011_0'], 'c_0011_4' : d['c_0011_0'], 'c_1001_3' : d['c_0011_0'], 'c_0101_3' : d['c_0011_0'], 'c_0110_5' : d['c_0011_0'], 'c_0101_0' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_3' : d['c_0101_0'], 'c_0101_5' : d['c_0101_0'], 'c_0110_0' : - d['c_0011_3'], 'c_0101_1' : - d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_6' : - d['c_0011_3'], 'c_0011_3' : d['c_0011_3'], 'c_0011_5' : - d['c_0011_3'], 'c_0011_9' : d['c_0011_3'], 'c_0101_2' : d['c_0101_2'], 'c_1100_0' : - d['c_0101_2'], 'c_1100_3' : - d['c_0101_2'], 'c_1001_0' : - d['c_0101_2'], 'c_1010_2' : - d['c_0101_2'], 'c_1010_3' : - d['c_0101_2'], 'c_1001_1' : d['c_1001_1'], 'c_1010_4' : d['c_1001_1'], 'c_1010_6' : d['c_1001_1'], 'c_1001_8' : d['c_1001_1'], 'c_1010_1' : d['c_1001_11'], 'c_1001_4' : d['c_1001_11'], 'c_1001_5' : d['c_1001_11'], 'c_1010_7' : d['c_1001_11'], 'c_1010_9' : d['c_1001_11'], 'c_1001_11' : d['c_1001_11'], 'c_0110_4' : d['c_0101_8'], 'c_1100_1' : d['c_0101_8'], 'c_1100_6' : d['c_0101_8'], 'c_1100_5' : d['c_0101_8'], 'c_0101_8' : d['c_0101_8'], 'c_1100_10' : d['c_0101_8'], 'c_0101_4' : d['c_0101_4'], 'c_1010_5' : d['c_0101_4'], 'c_0110_7' : d['c_0101_4'], 'c_1001_9' : d['c_0101_4'], 'c_0110_8' : d['c_0011_10'], 'c_1100_4' : - d['c_0011_10'], 'c_1100_7' : - d['c_0011_10'], 'c_1100_8' : - d['c_0011_10'], 'c_1001_10' : d['c_0011_10'], 'c_0110_11' : - d['c_0011_10'], 'c_1001_7' : - d['c_0011_10'], 'c_1010_11' : - d['c_0011_10'], 'c_0011_10' : d['c_0011_10'], 'c_0011_6' : d['c_0011_6'], 'c_0110_9' : - d['c_0011_6'], 'c_0011_8' : - d['c_0011_6'], 'c_0101_10' : d['c_0011_6'], 'c_0101_11' : - d['c_0011_6'], 'c_0011_7' : - d['c_0011_11'], 'c_0101_6' : - d['c_0011_11'], 'c_0101_9' : d['c_0011_11'], 'c_0110_10' : - d['c_0011_11'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0101_7'], 'c_1100_9' : d['c_0101_7'], 'c_1001_6' : d['c_0101_7'], 'c_1010_8' : d['c_0101_7'], 'c_1010_10' : d['c_0101_7'], 'c_1100_11' : d['c_0101_7'], 's_0_10' : d['1'], 's_3_9' : d['1'], 's_3_8' : - d['1'], 's_0_8' : d['1'], 's_2_7' : d['1'], 's_1_7' : - d['1'], 's_0_7' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_0_6' : d['1'], 's_1_5' : d['1'], 's_3_4' : - d['1'], 's_2_4' : - d['1'], 's_0_4' : d['1'], 's_0_3' : d['1'], 's_2_2' : d['1'], 's_0_2' : d['1'], 's_3_1' : d['1'], 's_2_1' : d['1'], 's_1_1' : d['1'], 's_3_0' : - d['1'], 's_2_0' : d['1'], 's_1_0' : - d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 's_1_2' : - d['1'], 's_3_3' : d['1'], 's_3_2' : - d['1'], 's_1_4' : d['1'], 's_3_6' : d['1'], 's_2_5' : d['1'], 's_1_3' : d['1'], 's_2_3' : d['1'], 's_0_5' : d['1'], 's_3_5' : d['1'], 's_3_7' : - d['1'], 's_2_8' : - d['1'], 's_1_9' : d['1'], 's_0_9' : d['1'], 's_1_8' : d['1'], 's_3_10' : d['1'], 's_2_9' : d['1'], 's_1_11' : - d['1'], 's_1_10' : d['1'], 's_2_10' : d['1'], 's_3_11' : - d['1'], 's_2_11' : d['1'], 's_0_11' : d['1']})} PY=EVAL=SECTION=ENDS=HERE Status: Computing Groebner basis... Time: 0.110 Status: Saturating ideal ( 1 / 12 )... Time: 0.520 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 2 / 12 )... Time: 0.140 Status: Recomputing Groebner basis... Time: 1.530 Status: Saturating ideal ( 3 / 12 )... Time: 0.620 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 4 / 12 )... Time: 0.560 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 5 / 12 )... Time: 0.580 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 6 / 12 )... Time: 0.660 Status: Recomputing Groebner basis... Time: 0.140 Status: Saturating ideal ( 7 / 12 )... Time: 0.190 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 8 / 12 )... Time: 0.200 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 9 / 12 )... Time: 0.170 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 10 / 12 )... Time: 0.200 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 11 / 12 )... Time: 0.200 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 12 / 12 )... Time: 0.170 Status: Recomputing Groebner basis... Time: 0.000 Status: Dimension of ideal: 1 [ 9 ] Status: Computing RadicalDecomposition Time: 0.460 Status: Number of components: 1 DECOMPOSITION=TYPE: RadicalDecomposition IDEAL=DECOMPOSITION=TIME: 6.670 IDEAL=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Graded Reverse Lexicographical Variables: c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0011_6, c_0101_0, c_0101_2, c_0101_4, c_0101_7, c_0101_8, c_1001_1, c_1001_11 Inhomogeneous, Dimension 1, Radical, Prime Groebner basis: [ c_0011_10^7 + 2*c_0011_10^6*c_0101_7 + 3*c_0011_10^5*c_0101_7^2 + 2*c_0011_10^4*c_0101_7^3 + c_0011_10^3*c_0101_7^4 - 2*c_0011_10^2*c_0101_7^5 - 2*c_0011_10*c_0101_7^6 - c_0101_7^7, c_0101_7^5*c_1001_11^2 - 2*c_0011_10^6 - 3*c_0011_10^5*c_0101_7 - 4*c_0011_10^4*c_0101_7^2 - c_0011_10^3*c_0101_7^3 + 5*c_0011_10*c_0101_7^5 + 2*c_0101_7^6 - c_0011_10^3*c_0101_7^2*c_0101_8 - 4*c_0011_10^5*c_1001_11 - 5*c_0011_10^4*c_0101_7*c_1001_11 - 5*c_0011_10^3*c_0101_7^2*c_1001_11 - c_0011_10^2*c_0101_7^3*c_1001_11 + c_0011_10*c_0101_7^4*c_1001_11 + 4*c_0101_7^5*c_1001_11 - 1/2*c_0101_7^4*c_1001_11^2 + 3/2*c_0011_10^5 + 3*c_0011_10^4*c_0101_7 + 1/2*c_0011_10^3*c_0101_7^2 - 5/2*c_0011_10*c_0101_7^4 + 1/2*c_0011_10^3*c_0101_7*c_0101_8 + 2*c_0011_10^2*c_0101_7^2*c_0101_8 + 5/2*c_0011_10^4*c_1001_11 + 5/2*c_0011_10^3*c_0101_7*c_1001_11 + 1/2*c_0011_10^2*c_0101_7^2*c_1001_11 - 1/2*c_0011_10*c_0101_7^3*c_1001_11 - 2*c_0101_7^4*c_1001_11 - 5/2*c_0011_10*c_0101_7^2*c_1001_11^2 - c_0101_7^3*c_1001_11^2 - 4*c_0011_10^4 - 6*c_0011_10^3*c_0101_7 - 5/2*c_0011_10^2*c_0101_7^2 + 5/2*c_0101_7^4 + 6*c_0011_10^3*c_0101_8 + 9*c_0011_10^2*c_0101_7*c_0101_8 + 25/2*c_0011_10*c_0101_7^2*c_0101_\ 8 + 5*c_0011_10^3*c_1001_11 + 7/2*c_0011_10^2*c_0101_7*c_1001_11 - 6*c_0011_10*c_0101_7^2*c_1001_11 + 11/2*c_0101_4*c_0101_7^2*c_1001_11 - 3/2*c_0101_7^3*c_1001_11 + 11/2*c_0011_10*c_0101_7*c_1001_11^2 + 14*c_0101_7^2*c_1001_11^2 - c_0011_10^3 + 4*c_0011_10^2*c_0101_7 + 29*c_0011_10*c_0101_7^2 - 39/2*c_0101_4*c_0101_7^2 + 21/2*c_0101_7^3 - 23/2*c_0011_10^2*c_0101_8 - 17*c_0011_10*c_0101_7*c_0101_8 - 23/2*c_0101_7^2*c_0101_8 + 17/4*c_0101_7*c_0101_8^2 - 33/2*c_0011_10^2*c_1001_11 - 22*c_0011_10*c_0101_7*c_1001_11 - 41/4*c_0101_4*c_0101_7*c_1001_11 - 43/2*c_0101_7^2*c_1001_11 + 29/4*c_0011_10*c_1001_11^2 - 9*c_0101_7*c_1001_11^2 - 89/4*c_1001_11^3 + 37/4*c_0011_10^2 + 13/4*c_0011_10*c_0101_7 + 1/2*c_0011_6*c_0101_7 + 115/4*c_0101_4*c_0101_7 - 77/4*c_0101_7^2 - 3*c_0011_10*c_0101_8 - 131/2*c_0011_6*c_0101_8 + 3/8*c_0101_0*c_0101_8 + 85/8*c_0101_2*c_0101_8 + 77*c_0101_4*c_0101_8 - 19*c_0101_7*c_0101_8 - 289/4*c_0101_8^2 - 103/4*c_0011_10*c_1001_11 + 267/4*c_0011_6*c_1001_11 - 955/8*c_0101_2*c_1001_11 + 12*c_0101_4*c_1001_11 + 125/4*c_0101_7*c_1001_11 - 65*c_1001_11^2 - 237/4*c_0011_10 - 131/2*c_0011_11 + 435/8*c_0011_3 + 575/8*c_0011_6 + 89/4*c_0101_0 + 65*c_0101_2 + 605/8*c_0101_4 - 9*c_0101_7 - 12*c_0101_8 - 7/4*c_1001_11 - 435/8, c_0011_10*c_0101_7^3*c_1001_11^2 + 1/2*c_0101_7^4*c_1001_11^2 + 1/2*c_0011_10^5 + c_0011_10^4*c_0101_7 + 3/2*c_0011_10^3*c_0101_7^2 + c_0011_10^2*c_0101_7^3 + 1/2*c_0011_10*c_0101_7^4 - c_0101_7^5 - 5/2*c_0011_10^3*c_0101_7*c_0101_8 - 4*c_0011_10^2*c_0101_7^2*c_0101_8 - 11/2*c_0011_10^4*c_1001_11 - 5/2*c_0011_10^3*c_0101_7*c_1001_11 - 3/2*c_0011_10^2*c_0101_7^2*c_1001_11 + 5/2*c_0011_10*c_0101_7^3*c_1001_11 + c_0101_7^4*c_1001_11 + 1/2*c_0011_10*c_0101_7^2*c_1001_11^2 - c_0101_7^3*c_1001_11^2 + 8*c_0011_10^4 + 6*c_0011_10^3*c_0101_7 + 1/2*c_0011_10^2*c_0101_7^2 - 5*c_0011_10*c_0101_7^3 - 5/2*c_0101_7^4 + 3*c_0011_10^2*c_0101_7*c_0101_8 + 7/2*c_0011_10*c_0101_7^2*c_0101_8 + 5*c_0011_10^3*c_1001_11 + 1/2*c_0011_10^2*c_0101_7*c_1001_11 + 5/2*c_0101_4*c_0101_7^2*c_1001_11 - 9/2*c_0101_7^3*c_1001_11 - 7/2*c_0011_10*c_0101_7*c_1001_11^2 + 2*c_0101_7^2*c_1001_11^2 - 7*c_0011_10^3 - 2*c_0011_10^2*c_0101_7 + 5*c_0011_10*c_0101_7^2 + 15/2*c_0101_4*c_0101_7^2 + 15/2*c_0101_7^3 - 17/2*c_0011_10^2*c_0101_8 - 17*c_0011_10*c_0101_7*c_0101_8 - 65/2*c_0101_7^2*c_0101_8 + 23/4*c_0101_7*c_0101_8^2 - 27/2*c_0011_10^2*c_1001_11 - 10*c_0011_10*c_0101_7*c_1001_11 - 23/4*c_0101_4*c_0101_7*c_1001_11 + 23/2*c_0101_7^2*c_1001_11 + 35/4*c_0011_10*c_1001_11^2 - 3*c_0101_7*c_1001_11^2 - 71/4*c_1001_11^3 + 67/4*c_0011_10^2 + 91/4*c_0011_10*c_0101_7 + 19/2*c_0011_6*c_0101_7 + 61/4*c_0101_4*c_0101_7 - 83/4*c_0101_7^2 - 9*c_0011_10*c_0101_8 - 101/2*c_0011_6*c_0101_8 - 3/8*c_0101_0*c_0101_8 + 43/8*c_0101_2*c_0101_8 + 59*c_0101_4*c_0101_8 - 13*c_0101_7*c_0101_8 - 223/4*c_0101_8^2 - 121/4*c_0011_10*c_1001_11 + 213/4*c_0011_6*c_1001_11 - 709/8*c_0101_2*c_1001_11 + 12*c_0101_4*c_1001_11 + 35/4*c_0101_7*c_1001_11 - 47*c_1001_11^2 - 147/4*c_0011_10 - 101/2*c_0011_11 + 333/8*c_0011_3 + 449/8*c_0011_6 + 71/4*c_0101_0 + 47*c_0101_2 + 419/8*c_0101_4 - 3*c_0101_7 - 12*c_0101_8 - 25/4*c_1001_11 - 333/8, c_0011_10^4*c_0101_8 + 2*c_0011_10^3*c_0101_7*c_0101_8 + 3*c_0011_10^2*c_0101_7^2*c_0101_8 + 2*c_0011_10^4*c_1001_11 + c_0011_10^3*c_0101_7*c_1001_11 - 2*c_0011_10^2*c_0101_7^2*c_1001_11 - 2*c_0011_10*c_0101_7^3*c_1001_11 - c_0101_7^4*c_1001_11 + 2*c_0011_10*c_0101_7^2*c_1001_11^2 + c_0101_7^3*c_1001_11^2 - 2*c_0011_10^4 - c_0011_10^3*c_0101_7 + 4*c_0011_10^2*c_0101_7^2 + 3*c_0011_10*c_0101_7^3 - c_0101_7^4 - 5*c_0011_10^3*c_0101_8 - 8*c_0011_10^2*c_0101_7*c_0101_8 - 11*c_0011_10*c_0101_7^2*c_0101_8 - 5*c_0011_10^3*c_1001_11 - 3*c_0011_10^2*c_0101_7*c_1001_11 + 5*c_0011_10*c_0101_7^2*c_1001_11 - 5*c_0101_4*c_0101_7^2*c_1001_11 + 2*c_0101_7^3*c_1001_11 - 4*c_0011_10*c_0101_7*c_1001_11^2 - 12*c_0101_7^2*c_1001_11^2 + 2*c_0011_10^3 - 3*c_0011_10^2*c_0101_7 - 25*c_0011_10*c_0101_7^2 + 15*c_0101_4*c_0101_7^2 - 10*c_0101_7^3 + 11*c_0011_10^2*c_0101_8 + 17*c_0011_10*c_0101_7*c_0101_8 + 15*c_0101_7^2*c_0101_8 - 9/2*c_0101_7*c_0101_8^2 + 16*c_0011_10^2*c_1001_11 + 20*c_0011_10*c_0101_7*c_1001_11 + 19/2*c_0101_4*c_0101_7*c_1001_11 + 16*c_0101_7^2*c_1001_11 - 15/2*c_0011_10*c_1001_11^2 + 8*c_0101_7*c_1001_11^2 + 43/2*c_1001_11^3 - 21/2*c_0011_10^2 - 13/2*c_0011_10*c_0101_7 - 2*c_0011_6*c_0101_7 - 53/2*c_0101_4*c_0101_7 + 39/2*c_0101_7^2 + 4*c_0011_10*c_0101_8 + 63*c_0011_6*c_0101_8 - 1/4*c_0101_0*c_0101_8 - 39/4*c_0101_2*c_0101_8 - 74*c_0101_4*c_0101_8 + 18*c_0101_7*c_0101_8 + 139/2*c_0101_8^2 + 53/2*c_0011_10*c_1001_11 - 129/2*c_0011_6*c_1001_11 + 457/4*c_0101_2*c_1001_11 - 12*c_0101_4*c_1001_11 - 55/2*c_0101_7*c_1001_11 + 62*c_1001_11^2 + 111/2*c_0011_10 + 63*c_0011_11 - 209/4*c_0011_3 - 277/4*c_0011_6 - 43/2*c_0101_0 - 62*c_0101_2 - 287/4*c_0101_4 + 8*c_0101_7 + 12*c_0101_8 + 5/2*c_1001_11 + 209/4, c_0101_4*c_0101_7^3 - c_0011_10^3*c_0101_8 - 2*c_0011_10^2*c_0101_7*c_0101_8 - 3*c_0011_10*c_0101_7^2*c_0101_8 - 3*c_0011_10^3*c_1001_11 - c_0011_10^2*c_0101_7*c_1001_11 + c_0011_10*c_0101_7^2*c_1001_11 - c_0101_4*c_0101_7^2*c_1001_11 + 2*c_0101_7^3*c_1001_11 - 2*c_0101_7^2*c_1001_11^2 + 3*c_0011_10^3 + c_0011_10^2*c_0101_7 - 5*c_0011_10*c_0101_7^2 + c_0101_4*c_0101_7^2 - 3*c_0101_7^3 + 3*c_0011_10^2*c_0101_8 + 5*c_0011_10*c_0101_7*c_0101_8 + 7*c_0101_7^2*c_0101_8 - 3/2*c_0101_7*c_0101_8^2 + 4*c_0011_10^2*c_1001_11 + 4*c_0011_10*c_0101_7*c_1001_11 + 5/2*c_0101_4*c_0101_7*c_1001_11 - 5/2*c_0011_10*c_1001_11^2 + 2*c_0101_7*c_1001_11^2 + 13/2*c_1001_11^3 - 7/2*c_0011_10^2 - 7/2*c_0011_10*c_0101_7 - 2*c_0011_6*c_0101_7 - 15/2*c_0101_4*c_0101_7 + 13/2*c_0101_7^2 + 2*c_0011_10*c_0101_8 + 19*c_0011_6*c_0101_8 + 1/4*c_0101_0*c_0101_8 - 9/4*c_0101_2*c_0101_8 - 22*c_0101_4*c_0101_8 + 6*c_0101_7*c_0101_8 + 41/2*c_0101_8^2 + 19/2*c_0011_10*c_1001_11 - 39/2*c_0011_6*c_1001_11 + 135/4*c_0101_2*c_1001_11 - 4*c_0101_4*c_1001_11 - 13/2*c_0101_7*c_1001_11 + 18*c_1001_11^2 + 29/2*c_0011_10 + 19*c_0011_11 - 63/4*c_0011_3 - 83/4*c_0011_6 - 13/2*c_0101_0 - 18*c_0101_2 - 81/4*c_0101_4 + 2*c_0101_7 + 4*c_0101_8 + 3/2*c_1001_11 + 63/4, c_0101_7^3*c_0101_8 - c_0011_10^3*c_1001_11 + c_0011_10^3 - c_0011_10*c_0101_7^2, c_0101_7^2*c_0101_8^2 - c_0101_4*c_0101_7^2*c_1001_11 - c_0011_10*c_0101_7*c_1001_11^2 - 2*c_0101_7^2*c_1001_11^2 - 2*c_0011_10^3 - 3*c_0011_10^2*c_0101_7 - 3*c_0011_10*c_0101_7^2 + 3*c_0101_4*c_0101_7^2 - c_0101_7^3 + c_0011_10^2*c_0101_8 + c_0101_7^2*c_0101_8 - 1/2*c_0101_7*c_0101_8^2 + 2*c_0011_10^2*c_1001_11 + 4*c_0011_10*c_0101_7*c_1001_11 + 1/2*c_0101_4*c_0101_7*c_1001_11 + 5*c_0101_7^2*c_1001_11 - 1/2*c_0011_10*c_1001_11^2 + 1/2*c_1001_11^3 - 3/2*c_0011_10^2 - 5/2*c_0011_10*c_0101_7 + c_0011_6*c_0101_7 + 1/2*c_0101_4*c_0101_7 + 1/2*c_0101_7^2 + c_0011_6*c_0101_8 - 3/4*c_0101_0*c_0101_8 - 5/4*c_0101_2*c_0101_8 - 2*c_0101_4*c_0101_8 - 2*c_0101_7*c_0101_8 + 5/2*c_0101_8^2 - 1/2*c_0011_10*c_1001_11 - 3/2*c_0011_6*c_1001_11 + 11/4*c_0101_2*c_1001_11 - 1/2*c_0101_7*c_1001_11 + 2*c_1001_11^2 + 9/2*c_0011_10 + c_0011_11 - 3/4*c_0011_3 - 7/4*c_0011_6 - 1/2*c_0101_0 - 2*c_0101_2 - 13/4*c_0101_4 - 1/2*c_1001_11 + 3/4, c_0011_10^2*c_1001_11^2 + 2*c_0101_4*c_0101_7^2 + c_0101_7^3 - c_0011_10^2*c_0101_8 - 2*c_0011_10*c_0101_7*c_0101_8 - 5*c_0101_7^2*c_0101_8 + 1/2*c_0101_7*c_0101_8^2 - 4*c_0011_10^2*c_1001_11 - 3*c_0011_10*c_0101_7*c_1001_11 - 1/2*c_0101_4*c_0101_7*c_1001_11 + 2*c_0101_7^2*c_1001_11 + 3/2*c_0011_10*c_1001_11^2 - 5/2*c_1001_11^3 + 7/2*c_0011_10^2 + 9/2*c_0011_10*c_0101_7 + 2*c_0011_6*c_0101_7 + 3/2*c_0101_4*c_0101_7 - 5/2*c_0101_7^2 - c_0011_10*c_0101_8 - 7*c_0011_6*c_0101_8 - 1/4*c_0101_0*c_0101_8 + 1/4*c_0101_2*c_0101_8 + 8*c_0101_4*c_0101_8 - 2*c_0101_7*c_0101_8 - 15/2*c_0101_8^2 - 11/2*c_0011_10*c_1001_11 + 15/2*c_0011_6*c_1001_11 - 47/4*c_0101_2*c_1001_11 + 2*c_0101_4*c_1001_11 - 1/2*c_0101_7*c_1001_11 - 6*c_1001_11^2 - 7/2*c_0011_10 - 7*c_0011_11 + 23/4*c_0011_3 + 31/4*c_0011_6 + 5/2*c_0101_0 + 6*c_0101_2 + 25/4*c_0101_4 - 2*c_0101_8 - 3/2*c_1001_11 - 23/4, c_0011_10*c_1001_11^3 + c_0101_4*c_0101_7^2 - c_0101_7^2*c_0101_8 - c_0101_7*c_0101_8^2 - c_0011_10*c_0101_7*c_1001_11 - c_0101_4*c_0101_7*c_1001_11 + c_0011_10*c_1001_11^2 - 3*c_0101_7*c_1001_11^2 - 4*c_1001_11^3 - 2*c_0011_10*c_0101_7 + 6*c_0011_6*c_0101_7 + 9*c_0101_4*c_0101_7 - 16*c_0011_6*c_0101_8 - 5/2*c_0101_0*c_0101_8 + 1/2*c_0101_2*c_0101_8 + 19*c_0101_4*c_0101_8 - 12*c_0101_7*c_0101_8 - 15*c_0101_8^2 - 16*c_0011_10*c_1001_11 + 16*c_0011_6*c_1001_11 - 47/2*c_0101_2*c_1001_11 + c_0101_4*c_1001_11 + 4*c_0101_7*c_1001_11 - 12*c_1001_11^2 - c_0011_10 - 16*c_0011_11 + 23/2*c_0011_3 + 35/2*c_0011_6 + 4*c_0101_0 + 14*c_0101_2 + 25/2*c_0101_4 - 2*c_0101_7 - c_0101_8 - 6*c_1001_11 - 23/2, c_0101_7*c_1001_11^3 - 2*c_0101_4*c_0101_7^2 + c_0011_10^2*c_0101_8 + 2*c_0011_10*c_0101_7*c_0101_8 + 5*c_0101_7^2*c_0101_8 + 1/2*c_0101_7*c_0101_8^2 + 2*c_0011_10^2*c_1001_11 + 3*c_0011_10*c_0101_7*c_1001_11 - 3/2*c_0101_4*c_0101_7*c_1001_11 - 2*c_0101_7^2*c_1001_11 - 5/2*c_0011_10*c_1001_11^2 + 11/2*c_1001_11^3 - 7/2*c_0011_10^2 - 11/2*c_0011_10*c_0101_7 - 10*c_0011_6*c_0101_7 - 13/2*c_0101_4*c_0101_7 + 3/2*c_0101_7^2 + 3*c_0011_10*c_0101_8 + 22*c_0011_6*c_0101_8 + 15/4*c_0101_0*c_0101_8 + 1/4*c_0101_2*c_0101_8 - 24*c_0101_4*c_0101_8 + 15*c_0101_7*c_0101_8 + 37/2*c_0101_8^2 + 37/2*c_0011_10*c_1001_11 - 41/2*c_0011_6*c_1001_11 + 129/4*c_0101_2*c_1001_11 - 2*c_0101_4*c_1001_11 - 3/2*c_0101_7*c_1001_11 + 16*c_1001_11^2 + 3/2*c_0011_10 + 22*c_0011_11 - 65/4*c_0011_3 - 89/4*c_0011_6 - 11/2*c_0101_0 - 18*c_0101_2 - 63/4*c_0101_4 + 2*c_0101_7 + 2*c_0101_8 + 13/2*c_1001_11 + 65/4, c_1001_11^4 - 1/2*c_0101_7*c_0101_8^2 - 3/2*c_0101_4*c_0101_7*c_1001_11 + 7/2*c_0011_10*c_1001_11^2 - c_0101_7*c_1001_11^2 + 1/2*c_1001_11^3 - 1/2*c_0011_10^2 - 7/2*c_0011_10*c_0101_7 - 5*c_0011_6*c_0101_7 + 11/2*c_0101_4*c_0101_7 - 3/2*c_0101_7^2 + 2*c_0011_10*c_0101_8 + 5*c_0011_6*c_0101_8 + 1/4*c_0101_0*c_0101_8 - 1/4*c_0101_2*c_0101_8 - 7*c_0101_4*c_0101_8 + 11/2*c_0101_8^2 - 9/2*c_0011_10*c_1001_11 - 2*c_0011_11*c_1001_11 - 5/2*c_0011_6*c_1001_11 - 9/4*c_0101_2*c_1001_11 + c_0101_4*c_1001_11 + 7/2*c_0101_7*c_1001_11 - 6*c_1001_11^2 + 9/2*c_0011_10 + 6*c_0011_11 - 7/4*c_0011_3 - 23/4*c_0011_6 - 5/2*c_0101_0 - c_0101_2 - 25/4*c_0101_4 - c_0101_7 + 4*c_0101_8 + 9/2*c_1001_11 + 7/4, c_0011_6*c_0101_7^2 + c_0011_10^2*c_1001_11 - c_0011_10^2, c_0011_6*c_0101_7*c_0101_8 - 1/2*c_0101_7*c_0101_8^2 + 1/2*c_0101_4*c_0101_7*c_1001_11 + 1/2*c_0011_10*c_1001_11^2 + c_0101_7*c_1001_11^2 + 1/2*c_1001_11^3 + 3/2*c_0011_10^2 + 3/2*c_0011_10*c_0101_7 - 5/2*c_0101_4*c_0101_7 + 1/2*c_0101_7^2 + c_0011_10*c_0101_8 + 2*c_0011_6*c_0101_8 + 1/4*c_0101_0*c_0101_8 - 1/4*c_0101_2*c_0101_8 - 2*c_0101_4*c_0101_8 + 3*c_0101_7*c_0101_8 + 3/2*c_0101_8^2 + 1/2*c_0011_10*c_1001_11 - 3/2*c_0011_6*c_1001_11 + 15/4*c_0101_2*c_1001_11 - 7/2*c_0101_7*c_1001_11 + 2*c_1001_11^2 + 1/2*c_0011_10 + 2*c_0011_11 - 7/4*c_0011_3 - 7/4*c_0011_6 - 1/2*c_0101_0 - 2*c_0101_2 - 9/4*c_0101_4 + c_0101_7 - 1/2*c_1001_11 + 7/4, c_0101_4*c_0101_7*c_0101_8 - c_0101_7*c_0101_8^2 + c_1001_11^3 + c_0011_10^2 + 2*c_0011_6*c_0101_7 + c_0101_7^2 + 2*c_0011_6*c_0101_8 - 2*c_0101_4*c_0101_8 + 2*c_0101_8^2 - 2*c_0011_6*c_1001_11 + 4*c_0101_2*c_1001_11 - c_0101_4*c_1001_11 - 2*c_0101_7*c_1001_11 + 2*c_1001_11^2 + 2*c_0011_10 + 2*c_0011_11 - 2*c_0011_3 - 2*c_0011_6 - c_0101_0 - 2*c_0101_2 - 2*c_0101_4 + c_0101_8 - c_1001_11 + 2, c_0011_10*c_0101_8^2 + 1/2*c_0101_7*c_0101_8^2 + 3/2*c_0101_4*c_0101_7*c_1001_11 - 1/2*c_0011_10*c_1001_11^2 + 2*c_0101_7*c_1001_11^2 + 11/2*c_1001_11^3 + 5/2*c_0011_10^2 + 7/2*c_0011_10*c_0101_7 - 4*c_0011_6*c_0101_7 - 21/2*c_0101_4*c_0101_7 + 7/2*c_0101_7^2 + 3*c_0011_10*c_0101_8 + 21*c_0011_6*c_0101_8 + 11/4*c_0101_0*c_0101_8 - 11/4*c_0101_2*c_0101_8 - 24*c_0101_4*c_0101_8 + 15*c_0101_7*c_0101_8 + 37/2*c_0101_8^2 + 21/2*c_0011_10*c_1001_11 - 37/2*c_0011_6*c_1001_11 + 149/4*c_0101_2*c_1001_11 - 21/2*c_0101_7*c_1001_11 + 20*c_1001_11^2 + 23/2*c_0011_10 + 21*c_0011_11 - 69/4*c_0011_3 - 85/4*c_0011_6 - 11/2*c_0101_0 - 22*c_0101_2 - 91/4*c_0101_4 + 6*c_0101_7 - 3/2*c_1001_11 + 69/4, c_0011_6*c_0101_8^2 - 2*c_1001_11^3 + 3*c_0011_6*c_0101_7 + 3*c_0101_4*c_0101_7 - c_0011_10*c_0101_8 - 10*c_0011_6*c_0101_8 - 5/2*c_0101_0*c_0101_8 + 1/2*c_0101_2*c_0101_8 + 13*c_0101_4*c_0101_8 - 7*c_0101_7*c_0101_8 - 8*c_0101_8^2 - 7*c_0011_10*c_1001_11 + 10*c_0011_6*c_1001_11 - 31/2*c_0101_2*c_1001_11 - c_0101_4*c_1001_11 + 2*c_0101_7*c_1001_11 - 8*c_1001_11^2 - 2*c_0011_10 - 10*c_0011_11 + 15/2*c_0011_3 + 21/2*c_0011_6 + 2*c_0101_0 + 10*c_0101_2 + 17/2*c_0101_4 - 2*c_0101_7 + c_0101_8 - 3*c_1001_11 - 15/2, c_0101_0*c_0101_8^2 - 9*c_0011_6*c_0101_8 - 3*c_0101_0*c_0101_8 - 4*c_0101_2*c_0101_8 + 13*c_0101_4*c_0101_8 - 6*c_0101_8^2 - 5*c_0011_11*c_1001_11 + 13*c_0011_6*c_1001_11 - 2*c_0101_2*c_1001_11 - 3*c_0101_4*c_1001_11 - 6*c_1001_11^2 - 12*c_0011_10 - c_0011_11 + 5*c_0011_3 + 2*c_0011_6 + 3*c_0101_0 - 3*c_0101_2 + 11*c_0101_4 - 9*c_0101_8 - 7*c_1001_11 - 3, c_0101_2*c_0101_8^2 + 3*c_0011_6*c_0101_8 + c_0101_0*c_0101_8 + 2*c_0101_2*c_0101_8 - 6*c_0101_4*c_0101_8 + 5*c_0101_8^2 + c_0011_11*c_1001_11 - 4*c_0011_6*c_1001_11 + 2*c_0101_2*c_1001_11 + 2*c_0101_4*c_1001_11 + 3*c_1001_11^2 + 5*c_0011_10 + 2*c_0011_11 - 2*c_0011_3 - 3*c_0011_6 - c_0101_0 - 6*c_0101_4 + 4*c_0101_8 + 2*c_1001_11 + 2, c_0101_4*c_0101_8^2 - 2*c_1001_11^3 + 2*c_0101_4*c_0101_7 - 9*c_0011_6*c_0101_8 - 4*c_0101_0*c_0101_8 - 4*c_0101_2*c_0101_8 + 10*c_0101_4*c_0101_8 - 4*c_0101_7*c_0101_8 - 4*c_0101_8^2 - 6*c_0011_10*c_1001_11 - 5*c_0011_11*c_1001_11 + 14*c_0011_6*c_1001_11 - 6*c_0101_2*c_1001_11 + 2*c_0101_4*c_1001_11 + c_0101_7*c_1001_11 - 5*c_1001_11^2 - c_0011_10 - 3*c_0011_11 + 7*c_0011_3 + 4*c_0011_6 + 4*c_0101_0 + 3*c_0101_4 + c_0101_7 - 8*c_0101_8 - 6*c_1001_11 - 5, c_0101_8^3 - c_1001_11^3 - 2*c_0011_6*c_0101_7 + 2*c_0011_10*c_0101_8 - 6*c_0011_6*c_0101_8 - 3*c_0101_0*c_0101_8 - 5*c_0101_2*c_0101_8 + 4*c_0101_4*c_0101_8 - 3*c_0011_10*c_1001_11 - 4*c_0011_11*c_1001_11 + 10*c_0011_6*c_1001_11 + 3*c_0101_2*c_1001_11 + 3*c_0101_4*c_1001_11 - c_0101_7*c_1001_11 + c_0011_11 + 3*c_0011_3 - c_0011_6 + 3*c_0101_0 - 6*c_0101_2 - c_0101_4 + 3*c_0101_7 - 9*c_0101_8 - 7*c_1001_11 - 1, c_0011_6*c_0101_7*c_1001_11 - c_1001_11^3 - c_0011_6*c_0101_7 - c_0101_7^2 - 2*c_0011_6*c_0101_8 + 2*c_0101_4*c_0101_8 - 2*c_0101_8^2 + 2*c_0011_6*c_1001_11 - 4*c_0101_2*c_1001_11 + c_0101_4*c_1001_11 - 2*c_1001_11^2 - 2*c_0011_10 - 2*c_0011_11 + 2*c_0011_3 + 2*c_0011_6 + c_0101_0 + 2*c_0101_2 + 2*c_0101_4 - c_0101_8 + c_1001_11 - 2, c_0011_11*c_1001_11^2 + c_0101_4*c_0101_7 - 6*c_0011_6*c_0101_8 - 1/2*c_0101_0*c_0101_8 + 3/2*c_0101_2*c_0101_8 + 9*c_0101_4*c_0101_8 - c_0101_7*c_0101_8 - 7*c_0101_8^2 - c_0011_11*c_1001_11 + 7*c_0011_6*c_1001_11 - 15/2*c_0101_2*c_1001_11 - 5*c_0101_4*c_1001_11 - 9*c_1001_11^2 - 12*c_0011_10 - 7*c_0011_11 + 7/2*c_0011_3 + 13/2*c_0011_6 + c_0101_0 + 6*c_0101_2 + 29/2*c_0101_4 - c_0101_7 - c_0101_8 + 2*c_1001_11 - 9/2, c_0011_6*c_1001_11^2 - 3*c_0011_6*c_0101_8 + c_0101_2*c_0101_8 + 5*c_0101_4*c_0101_8 - 4*c_0101_8^2 + 2*c_0011_11*c_1001_11 + c_0011_6*c_1001_11 - 3*c_0101_2*c_1001_11 - 3*c_0101_4*c_1001_11 - c_0101_7*c_1001_11 - 4*c_1001_11^2 - 6*c_0011_10 - 5*c_0011_11 + c_0011_3 + 4*c_0011_6 + 3*c_0101_2 + 8*c_0101_4 + c_1001_11 - 2, c_0101_2*c_1001_11^2 - c_0011_6*c_0101_8 + c_0101_4*c_0101_8 - c_0101_8^2 + c_0011_6*c_1001_11 - 2*c_0101_2*c_1001_11 - c_1001_11^2 - c_0011_10 - c_0011_11 + c_0011_3 + c_0011_6 + c_0101_0 + c_0101_2 + c_0101_4 - c_0101_8 + c_1001_11 - 1, c_0101_4*c_1001_11^2 + 2*c_1001_11^3 - 3*c_0011_6*c_0101_7 - c_0101_4*c_0101_7 + c_0011_10*c_0101_8 + 9*c_0011_6*c_0101_8 + c_0101_0*c_0101_8 - c_0101_2*c_0101_8 - 13*c_0101_4*c_0101_8 + 3*c_0101_7*c_0101_8 + 10*c_0101_8^2 + 4*c_0011_10*c_1001_11 - 2*c_0011_11*c_1001_11 - 7*c_0011_6*c_1001_11 + 9*c_0101_2*c_1001_11 + c_0101_4*c_1001_11 + c_0101_7*c_1001_11 + 4*c_1001_11^2 + 8*c_0011_10 + 11*c_0011_11 - 5*c_0011_3 - 11*c_0011_6 - 2*c_0101_0 - 7*c_0101_2 - 13*c_0101_4 + 2*c_0101_8 + 3*c_1001_11 + 6, c_0011_10*c_0011_11 + c_0011_6*c_0101_7 - c_0011_10*c_0101_8, c_0011_11^2 - 2*c_0101_4*c_0101_8 + c_0101_8^2 - c_0011_6*c_1001_11 - c_0011_6 + 2*c_1001_11, c_0011_10*c_0011_3 - c_0101_0*c_0101_8 - c_0101_2*c_0101_8 + c_0101_8^2 - c_0101_2*c_1001_11 + c_0011_3 - c_0101_4 - 1, c_0011_11*c_0011_3 + 2*c_0011_6*c_0101_8 + 1/2*c_0101_0*c_0101_8 - 3/2*c_0101_2*c_0101_8 - 3*c_0101_4*c_0101_8 + 2*c_0101_8^2 + c_0011_11*c_1001_11 - 3*c_0011_6*c_1001_11 + 3/2*c_0101_2*c_1001_11 + c_0101_4*c_1001_11 + 2*c_1001_11^2 + 4*c_0011_10 - 3/2*c_0011_3 - 3/2*c_0011_6 - c_0101_0 - 2*c_0101_2 - 9/2*c_0101_4 + c_0101_7 + c_0101_8 + 1/2, c_0011_3^2 + c_0101_2*c_0101_8 - c_0101_2*c_1001_11 - c_0011_11 - 3*c_0011_3 - 2*c_0101_0 + 2*c_0101_8 + 1, c_0011_10*c_0011_6 + c_0101_7*c_0101_8 - c_0011_10, c_0011_11*c_0011_6 - c_0011_6*c_0101_8 - c_0011_10 - c_0011_11 + c_0101_4, c_0011_3*c_0011_6 + 2*c_0011_6*c_0101_8 - c_0101_2*c_0101_8 - 3*c_0101_4*c_0101_8 + 2*c_0101_8^2 + c_0011_11*c_1001_11 - 3*c_0011_6*c_1001_11 + c_0101_2*c_1001_11 + c_0101_4*c_1001_11 + 2*c_1001_11^2 + 4*c_0011_10 - c_0011_3 - c_0011_6 - c_0101_2 - 4*c_0101_4 + c_0101_7 + c_1001_11, c_0011_6^2 - c_0101_4*c_0101_8 + c_0101_8^2 - c_0011_6*c_1001_11 - c_0011_6 + c_1001_11, c_0011_10*c_0101_0 + c_0101_0*c_0101_8 + c_0101_2*c_0101_8 + c_0101_4*c_0101_8 - 2*c_0101_8^2 + c_0011_6*c_1001_11 + c_0101_2*c_1001_11 - c_0011_3 + c_0011_6 + c_0101_4 - 2*c_1001_11 + 1, c_0011_11*c_0101_0 - 2*c_0011_6*c_0101_8 - c_0101_0*c_0101_8 + c_0101_2*c_0101_8 + 3*c_0101_4*c_0101_8 - 2*c_0101_8^2 - c_0011_11*c_1001_11 + 3*c_0011_6*c_1001_11 - 2*c_0101_2*c_1001_11 - c_0101_4*c_1001_11 - 2*c_1001_11^2 - 4*c_0011_10 + 2*c_0011_3 + 2*c_0011_6 + c_0101_0 + 2*c_0101_2 + 4*c_0101_4 - c_0101_7 - c_0101_8 - 1, c_0011_3*c_0101_0 + 2*c_0011_6*c_0101_8 + c_0101_0*c_0101_8 - c_0101_2*c_0101_8 - 3*c_0101_4*c_0101_8 + 2*c_0101_8^2 + c_0011_11*c_1001_11 - 2*c_0011_6*c_1001_11 + 3*c_0101_2*c_1001_11 + c_0101_4*c_1001_11 + 2*c_1001_11^2 + 4*c_0011_10 + 4*c_0011_11 + c_0011_3 - 3*c_0011_6 - 2*c_0101_2 - 5*c_0101_4 - c_1001_11 + 1, c_0011_6*c_0101_0 - 2*c_0011_6*c_0101_8 + c_0101_2*c_0101_8 + 3*c_0101_4*c_0101_8 - 2*c_0101_8^2 - c_0011_11*c_1001_11 + 3*c_0011_6*c_1001_11 - c_0101_2*c_1001_11 - c_0101_4*c_1001_11 - 2*c_1001_11^2 - 4*c_0011_10 + c_0011_6 - c_0101_0 + c_0101_2 + 4*c_0101_4 - c_0101_7 + c_0101_8 - c_1001_11, c_0101_0^2 - 6*c_0011_6*c_0101_8 - 5/2*c_0101_0*c_0101_8 + 3/2*c_0101_2*c_0101_8 + 9*c_0101_4*c_0101_8 - 6*c_0101_8^2 - 3*c_0011_11*c_1001_11 + 7*c_0011_6*c_1001_11 - 15/2*c_0101_2*c_1001_11 - 3*c_0101_4*c_1001_11 - 6*c_1001_11^2 - 12*c_0011_10 - 7*c_0011_11 + 7/2*c_0011_3 + 13/2*c_0011_6 + 3*c_0101_0 + 6*c_0101_2 + 27/2*c_0101_4 - c_0101_7 - 3*c_0101_8 + 2*c_1001_11 - 9/2, c_0011_10*c_0101_2 - c_0011_6*c_0101_8 - 1/2*c_0101_0*c_0101_8 + 1/2*c_0101_2*c_0101_8 + 2*c_0101_4*c_0101_8 - c_0101_8^2 + c_0011_6*c_1001_11 - 3/2*c_0101_2*c_1001_11 - c_0101_4*c_1001_11 - c_1001_11^2 - c_0011_10 - c_0011_11 + 1/2*c_0011_3 + 3/2*c_0011_6 + 2*c_0101_2 + 3/2*c_0101_4 + c_0101_8 - 1/2, c_0011_11*c_0101_2 + 2*c_0011_6*c_0101_8 + 1/2*c_0101_0*c_0101_8 - 1/2*c_0101_2*c_0101_8 - 3*c_0101_4*c_0101_8 + 2*c_0101_8^2 + c_0011_11*c_1001_11 - 2*c_0011_6*c_1001_11 + 3/2*c_0101_2*c_1001_11 + c_0101_4*c_1001_11 + 2*c_1001_11^2 + 4*c_0011_10 + 2*c_0011_11 - 3/2*c_0011_3 - 5/2*c_0011_6 - c_0101_0 - c_0101_2 - 9/2*c_0101_4 + 2*c_0101_8 + 3/2, c_0011_3*c_0101_2 - c_0101_0 - c_0101_2, c_0011_6*c_0101_2 + 2*c_0011_6*c_0101_8 + 1/2*c_0101_0*c_0101_8 + 1/2*c_0101_2*c_0101_8 - 3*c_0101_4*c_0101_8 + 2*c_0101_8^2 + c_0011_11*c_1001_11 - 2*c_0011_6*c_1001_11 + 1/2*c_0101_2*c_1001_11 + c_0101_4*c_1001_11 + 2*c_1001_11^2 + 4*c_0011_10 + c_0011_11 - 3/2*c_0011_3 - 3/2*c_0011_6 - c_0101_0 - 9/2*c_0101_4 + 3*c_0101_8 + 3/2, c_0101_0*c_0101_2 - c_0101_2*c_0101_8 + c_0101_2*c_1001_11 + c_0011_11 + c_0011_3 + 2*c_0101_0 - 2*c_0101_8, c_0101_2^2 + c_0011_3 - 1, c_0011_10*c_0101_4 + c_0011_6*c_0101_7 - c_0011_10*c_0101_8 - c_0101_7*c_1001_11, c_0011_11*c_0101_4 - 2*c_0101_4*c_0101_8 + c_0101_8^2 - c_1001_11^2 - c_0011_6 + 2*c_1001_11, c_0011_3*c_0101_4 - c_0101_2*c_0101_8 - c_0101_2*c_1001_11 + c_0011_3 - c_0101_4 - 1, c_0011_6*c_0101_4 - c_0011_6*c_0101_8 + c_0011_11*c_1001_11 - c_0011_11, c_0101_0*c_0101_4 - 1/2*c_0101_0*c_0101_8 + 1/2*c_0101_2*c_0101_8 + 1/2*c_0101_2*c_1001_11 - 1/2*c_0011_3 + 1/2*c_0011_6 + 1/2*c_0101_4 - c_1001_11 + 1/2, c_0101_2*c_0101_4 + c_0101_2 + c_0101_8 + c_1001_11, c_0101_4^2 + 3*c_0011_6*c_0101_8 - c_0101_2*c_0101_8 - 7*c_0101_4*c_0101_8 + 5*c_0101_8^2 - 2*c_0011_11*c_1001_11 - c_0011_6*c_1001_11 + 3*c_0101_2*c_1001_11 + 3*c_0101_4*c_1001_11 + 2*c_1001_11^2 + 6*c_0011_10 + 5*c_0011_11 - c_0011_3 - 5*c_0011_6 - 3*c_0101_2 - 8*c_0101_4 + c_1001_11 + 2, c_0011_11*c_0101_7 - c_0101_7*c_0101_8 - c_0011_10*c_1001_11 + c_0011_10, c_0011_3*c_0101_7 - c_0011_6*c_0101_8 - c_0011_11, c_0101_0*c_0101_7 + c_0011_6*c_0101_8 - c_0011_10 + c_0011_11, c_0101_2*c_0101_7 + 2*c_0011_6*c_0101_8 - 2*c_0101_2*c_0101_8 - 4*c_0101_4*c_0101_8 + 3*c_0101_8^2 - 2*c_0011_6*c_1001_11 + 4*c_0101_2*c_1001_11 + 2*c_0101_4*c_1001_11 + 3*c_1001_11^2 + 5*c_0011_10 + 2*c_0011_11 - c_0011_3 - 3*c_0011_6 - 4*c_0101_2 - 5*c_0101_4 + c_0101_7 - 2*c_0101_8 + 1, c_0011_11*c_0101_8 - c_0101_4*c_0101_8 - c_0011_6*c_1001_11 + c_1001_11, c_0011_3*c_0101_8 + 1/2*c_0101_0*c_0101_8 - 1/2*c_0101_2*c_0101_8 - 1/2*c_0101_2*c_1001_11 + 1/2*c_0011_3 - 1/2*c_0011_6 - 1/2*c_0101_4 - 1/2, c_0011_3*c_1001_11 + c_0101_0 - c_0101_8, c_0101_0*c_1001_11 - c_0011_11 - c_0011_3 - 2*c_0101_0 + 2*c_0101_8, c_0101_8*c_1001_11 + c_0011_10 - c_0101_4, c_0011_0 - 1, c_1001_1 - 1 ] ] IDEAL=DECOMPOSITION=ENDS=HERE FREE=VARIABLES=IN=COMPONENTS=BEGINS=HERE [ [ "c_0101_7" ] ] FREE=VARIABLES=IN=COMPONENTS=ENDS=HERE Status: Finding witnesses for non-zero dimensional ideals... Status: Computing Groebner basis... Time: 0.040 Status: Saturating ideal ( 1 / 12 )... Time: 0.010 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 2 / 12 )... Time: 0.020 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 3 / 12 )... Time: 0.010 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 4 / 12 )... Time: 0.020 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 5 / 12 )... Time: 0.010 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 6 / 12 )... Time: 0.010 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 7 / 12 )... Time: 0.010 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 8 / 12 )... Time: 0.010 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 9 / 12 )... Time: 0.020 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 10 / 12 )... Time: 0.010 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 11 / 12 )... Time: 0.010 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 12 / 12 )... Time: 0.010 Status: Recomputing Groebner basis... Time: 0.000 Status: Dimension of ideal: 0 [] Status: Testing witness [ 1 ] ... Time: 0.000 Status: Changing to term order lex ... Time: 0.000 Status: Recomputing Groebner basis... Time: 0.000 Status: Confirming is prime... Time: 0.200 ==WITNESSES=FOR=COMPONENTS=BEGINS== ==WITNESSES=BEGINS== ==WITNESS=BEGINS== Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0011_6, c_0101_0, c_0101_2, c_0101_4, c_0101_7, c_0101_8, c_1001_1, c_1001_11 Inhomogeneous, Dimension 0, Radical, Prime Groebner basis: [ c_0011_0 - 1, c_0011_10 + 662449690604/338737801375*c_1001_11^13 - 3867702958723/338737801375*c_1001_11^12 - 1266607433991/338737801375*c_1001_11^11 + 48723326826292/338737801375*c_1001_11^10 - 90326063055869/338737801375*c_1001_11^9 - 85492542296772/338737801375*c_1001_11^8 + 546729945346799/338737801375*c_1001_11^7 - 994243282979081/338737801375*c_1001_11^6 + 1146565959971656/338737801375*c_1001_11^5 - 202788596494271/67747560275*c_1001_11^4 + 696901066310209/338737801375*c_1001_11^3 - 354613232833427/338737801375*c_1001_11^2 + 107157100708314/338737801375*c_1001_11 - 9521171456907/338737801375, c_0011_11 + 914884954362/338737801375*c_1001_11^13 - 5347462907969/338737801375*c_1001_11^12 - 1729132705298/338737801375*c_1001_11^11 + 67351847408826/338737801375*c_1001_11^10 - 125017815887407/338737801375*c_1001_11^9 - 118012365926766/338737801375*c_1001_11^8 + 755844848216947/338737801375*c_1001_11^7 - 1375034159118643/338737801375*c_1001_11^6 + 1587358201606443/338737801375*c_1001_11^5 - 281050708743838/67747560275*c_1001_11^4 + 965918405090427/338737801375*c_1001_11^3 - 491778219921256/338737801375*c_1001_11^2 + 149277922089942/338737801375*c_1001_11 - 13307127007421/338737801375, c_0011_3 - 947447339948/338737801375*c_1001_11^13 + 5545126469201/338737801375*c_1001_11^12 + 1749268644567/338737801375*c_1001_11^11 - 69793016938479/338737801375*c_1001_11^10 + 130064545629128/338737801375*c_1001_11^9 + 121604015816989/338737801375*c_1001_11^8 - 784816302100288/338737801375*c_1001_11^7 + 1429248002227772/338737801375*c_1001_11^6 - 1649522521330047/338737801375*c_1001_11^5 + 292156892895227/67747560275*c_1001_11^4 - 1005027146116208/338737801375*c_1001_11^3 + 511297876906974/338737801375*c_1001_11^2 - 155466884266468/338737801375*c_1001_11 + 13877122306109/338737801375, c_0011_6 + 8523504529/67747560275*c_1001_11^13 - 47176691223/67747560275*c_1001_11^12 - 31344769116/67747560275*c_1001_11^11 + 619440723717/67747560275*c_1001_11^10 - 963097977144/67747560275*c_1001_11^9 - 1426773653972/67747560275*c_1001_11^8 + 6561219456049/67747560275*c_1001_11^7 - 10614407749331/67747560275*c_1001_11^6 + 11422893864156/67747560275*c_1001_11^5 - 1933809657561/13549512055*c_1001_11^4 + 6114655956434/67747560275*c_1001_11^3 - 2758245060177/67747560275*c_1001_11^2 + 626367211764/67747560275*c_1001_11 + 38866923743/67747560275, c_0101_0 + 1609897030552/338737801375*c_1001_11^13 - 9412829427924/338737801375*c_1001_11^12 - 3015876078558/338737801375*c_1001_11^11 + 118516343764771/338737801375*c_1001_11^10 - 220390608684997/338737801375*c_1001_11^9 - 207096558113761/338737801375*c_1001_11^8 + 1331546247447087/338737801375*c_1001_11^7 - 2423491285206853/338737801375*c_1001_11^6 + 2796088481301703/338737801375*c_1001_11^5 - 494945489389498/67747560275*c_1001_11^4 + 1701928212426417/338737801375*c_1001_11^3 - 865911109740401/338737801375*c_1001_11^2 + 262623984974782/338737801375*c_1001_11 - 23398293763016/338737801375, c_0101_2 - 371991792388/338737801375*c_1001_11^13 + 2180174213856/338737801375*c_1001_11^12 + 674332631827/338737801375*c_1001_11^11 - 27433599912099/338737801375*c_1001_11^10 + 51251388653843/338737801375*c_1001_11^9 + 47697660267659/338737801375*c_1001_11^8 - 308866446597303/338737801375*c_1001_11^7 + 562395159705682/338737801375*c_1001_11^6 - 648799391063207/338737801375*c_1001_11^5 + 115004500645487/67747560275*c_1001_11^4 - 396406312533823/338737801375*c_1001_11^3 + 202008807792319/338737801375*c_1001_11^2 - 61650979466883/338737801375*c_1001_11 + 5927926320504/338737801375, c_0101_4 + 873478327689/338737801375*c_1001_11^13 - 5095153359543/338737801375*c_1001_11^12 - 1713044397206/338737801375*c_1001_11^11 + 64275213993572/338737801375*c_1001_11^10 - 118536577846929/338737801375*c_1001_11^9 - 113990424192377/338737801375*c_1001_11^8 + 719688329394059/338737801375*c_1001_11^7 - 1304024930775446/338737801375*c_1001_11^6 + 1501780448357696/338737801375*c_1001_11^5 - 265553273345036/67747560275*c_1001_11^4 + 911138748275619/338737801375*c_1001_11^3 - 463108468626082/338737801375*c_1001_11^2 + 140056261647599/338737801375*c_1001_11 - 12461850377037/338737801375, c_0101_7 - 1, c_0101_8 + 294067892013/67747560275*c_1001_11^13 - 1722201624661/67747560275*c_1001_11^12 - 539557972177/67747560275*c_1001_11^11 + 21671736616319/67747560275*c_1001_11^10 - 40411670584468/67747560275*c_1001_11^9 - 37695503187629/67747560275*c_1001_11^8 + 243669996047903/67747560275*c_1001_11^7 - 444150851387712/67747560275*c_1001_11^6 + 512946399326142/67747560275*c_1001_11^5 - 90832471491602/13549512055*c_1001_11^4 + 312465953357823/67747560275*c_1001_11^3 - 159177105419849/67747560275*c_1001_11^2 + 48289111140563/67747560275*c_1001_11 - 4300679816624/67747560275, c_1001_1 - 1, c_1001_11^14 - 6*c_1001_11^13 - c_1001_11^12 + 74*c_1001_11^11 - 148*c_1001_11^10 - 109*c_1001_11^9 + 848*c_1001_11^8 - 1628*c_1001_11^7 + 1955*c_1001_11^6 - 1786*c_1001_11^5 + 1276*c_1001_11^4 - 687*c_1001_11^3 + 238*c_1001_11^2 - 37*c_1001_11 + 2 ] ==WITNESS=ENDS== ==WITNESSES=ENDS== ==WITNESSES=FOR=COMPONENTS=ENDS== ==GENUSES=FOR=COMPONENTS=BEGINS== ==GENUS=FOR=COMPONENT=BEGINS== 0 ==GENUS=FOR=COMPONENT=ENDS== ==GENUSES=FOR=COMPONENTS=ENDS== Total time: 10.470 seconds, Total memory usage: 74.94MB