Magma V2.22-2 Sun Aug 9 2020 22:19:29 on zickert [Seed = 124454897] Type ? for help. Type -D to quit. Loading file "ptolemy_data_ht/12_tetrahedra/L14n38954__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n38954 degenerate_solution 7.32772475 oriented_manifold CS_unknown 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 1 2 2 0132 1302 0132 0321 1 1 1 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 0 0 0 0 0 0 0 0 1 0 -1 -3 0 2 1 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.200000000000 0.400000000000 0 2 3 0 0132 3201 0132 2031 1 1 1 1 0 0 0 0 1 0 -1 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 3 0 -2 -1 0 1 0 -1 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.000000000000 0.500000000000 4 0 1 0 0132 0321 2310 0132 1 1 1 1 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 1 -1 0 0 0 2 -2 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.000000000000 2.000000000000 5 6 4 1 0132 0132 3120 0132 1 1 1 0 0 0 0 0 0 0 -1 1 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 -2 2 0 2 0 -2 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.200000000000 0.400000000000 2 5 3 6 0132 0213 3120 1302 0 1 1 1 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 -1 1 0 0 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.250000000000 0.250000000000 3 7 4 8 0132 0132 0213 0132 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 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.000000000000 0.000000000000 8 3 4 7 0321 0132 2031 2103 1 0 0 1 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 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -907743753709049.875000000000 1359027742985512.000000000000 8 5 9 6 3012 0132 0132 2103 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.200000000000 0.400000000000 6 10 5 7 0321 0132 0132 1230 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 -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.200000000000 0.400000000000 11 11 10 7 0132 1302 3201 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 0 0 0 0 0 0 0 1 0 0 -1 -2 3 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.000000000000 2.000000000000 9 8 11 11 2310 0132 2310 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 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 1.000000000000 2.000000000000 9 10 10 9 0132 3201 2031 2031 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 2 1 0 -3 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.000000000000 0.500000000000 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d: { 'c_0011_0' : d['c_0011_0'], 'c_0011_1' : - d['c_0011_0'], 'c_1010_1' : d['c_0011_0'], 'c_1100_0' : - d['c_0011_0'], 'c_1100_2' : - d['c_0011_0'], 'c_1001_2' : - d['c_0011_0'], 'c_1010_0' : d['c_0101_0'], 'c_1100_1' : - d['c_0101_0'], 'c_1001_0' : d['c_0101_0'], 'c_0101_0' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_2' : d['c_0101_0'], 'c_1010_2' : d['c_0101_0'], 'c_1100_3' : - d['c_0101_0'], 'c_0101_4' : d['c_0101_0'], 'c_0110_0' : - d['c_0011_2'], 'c_0101_1' : - d['c_0011_2'], 'c_0011_2' : d['c_0011_2'], 'c_0110_3' : - d['c_0011_2'], 'c_0011_4' : - d['c_0011_2'], 'c_0101_5' : - d['c_0011_2'], 'c_1001_1' : - d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_1010_3' : - d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_1001_6' : - d['c_0101_2'], 'c_0011_3' : d['c_0011_3'], 'c_0011_5' : - d['c_0011_3'], 'c_0011_6' : - d['c_0011_3'], 'c_0011_7' : d['c_0011_3'], 'c_0110_8' : d['c_0011_3'], 'c_0101_3' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_1100_4' : - d['c_0101_3'], 'c_0101_6' : - d['c_0101_3'], 'c_0101_8' : d['c_0101_3'], 'c_1001_3' : d['c_1001_3'], 'c_1010_6' : d['c_1001_3'], 'c_1001_4' : - d['c_1001_3'], 'c_1001_5' : - d['c_1001_3'], 'c_1010_7' : - d['c_1001_3'], 'c_1010_4' : d['c_0110_7'], 'c_1100_5' : d['c_0110_7'], 'c_1100_6' : - d['c_0110_7'], 'c_1100_8' : d['c_0110_7'], 'c_0110_7' : d['c_0110_7'], 'c_1010_5' : d['c_1001_7'], 'c_1001_7' : d['c_1001_7'], 'c_1001_8' : d['c_1001_7'], 'c_1010_9' : d['c_1001_7'], 'c_1010_10' : d['c_1001_7'], 'c_1100_11' : - d['c_1001_7'], 'c_0110_6' : d['c_0011_10'], 'c_0011_8' : - d['c_0011_10'], 'c_1100_7' : - d['c_0011_10'], 'c_1100_9' : - d['c_0011_10'], 'c_0011_10' : d['c_0011_10'], 'c_1100_10' : d['c_0011_11'], 'c_0101_7' : d['c_0011_11'], 'c_1010_8' : d['c_0011_11'], 'c_0110_9' : d['c_0011_11'], 'c_1001_10' : d['c_0011_11'], 'c_0101_11' : d['c_0011_11'], 'c_0011_9' : - d['c_0011_11'], 'c_0011_11' : d['c_0011_11'], 'c_1010_11' : - d['c_0011_11'], 'c_1001_9' : - d['c_0101_10'], 'c_0101_9' : - d['c_0101_10'], 'c_0110_11' : - d['c_0101_10'], 'c_0110_10' : d['c_0101_10'], 'c_0101_10' : d['c_0101_10'], 'c_1001_11' : - d['c_0101_10'], 's_3_10' : - d['1'], 's_2_10' : d['1'], 's_2_9' : d['1'], 's_1_9' : d['1'], 's_0_9' : - d['1'], 's_1_8' : - d['1'], 's_2_7' : - d['1'], 's_0_7' : d['1'], 's_3_6' : d['1'], 's_0_6' : d['1'], 's_3_5' : - d['1'], 's_1_5' : - d['1'], 's_3_4' : d['1'], 's_1_4' : d['1'], 's_2_3' : d['1'], 's_1_3' : d['1'], 's_0_3' : d['1'], 's_0_2' : 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_3_1' : d['1'], 's_3_2' : - d['1'], 's_1_2' : - d['1'], 's_2_2' : d['1'], 's_3_3' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_1_6' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_7' : - d['1'], 's_2_8' : - d['1'], 's_0_8' : d['1'], 's_3_7' : d['1'], 's_3_8' : d['1'], 's_3_9' : - d['1'], 's_1_10' : - d['1'], 's_0_11' : - d['1'], 's_3_11' : d['1'], 's_0_10' : d['1'], 's_1_11' : d['1'], 's_2_11' : - d['1']})} PY=EVAL=SECTION=ENDS=HERE Status: Computing Groebner basis... Time: 0.160 Status: Saturating ideal ( 1 / 12 )... Time: 0.120 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 2 / 12 )... Time: 0.130 Status: Recomputing Groebner basis... Time: 0.150 Status: Saturating ideal ( 3 / 12 )... Time: 0.130 Status: Recomputing Groebner basis... Time: 0.140 Status: Saturating ideal ( 4 / 12 )... Time: 0.100 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 5 / 12 )... Time: 0.090 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 6 / 12 )... Time: 0.090 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 7 / 12 )... Time: 0.080 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 8 / 12 )... Time: 0.110 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 9 / 12 )... Time: 0.090 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 10 / 12 )... Time: 0.090 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 11 / 12 )... Time: 0.110 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 12 / 12 )... Time: 0.090 Status: Recomputing Groebner basis... Time: 0.000 Status: Dimension of ideal: 1 [ 12 ] Status: Computing RadicalDecomposition Time: 0.450 Status: Number of components: 1 DECOMPOSITION=TYPE: RadicalDecomposition IDEAL=DECOMPOSITION=TIME: 2.360 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_2, c_0011_3, c_0101_0, c_0101_10, c_0101_2, c_0101_3, c_0110_7, c_1001_3, c_1001_7 Inhomogeneous, Dimension 1, Radical, Prime Groebner basis: [ c_0101_10^6 + 17/8*c_0101_10^5*c_1001_7 - 1/4*c_0011_10^4*c_1001_7^2 + 9/2*c_0011_11*c_0101_10^3*c_1001_7^2 - 3*c_0101_10^4*c_1001_7^2 - 7/8*c_0011_10^3*c_1001_7^3 - 13/4*c_0011_11*c_0101_10^2*c_1001_7^3 + 57/8*c_0101_10^3*c_1001_7^3 - 7/8*c_0011_10^2*c_1001_7^4 + 37/8*c_0011_11*c_0101_10*c_1001_7^4 - 39/8*c_0101_10^2*c_1001_7^4 - 5/8*c_0011_10*c_1001_7^5 - 15/8*c_0011_11*c_1001_7^5 + 17/4*c_0101_10*c_1001_7^5 - 9/8*c_1001_7^6, c_0101_10^5*c_0110_7 + 25/8*c_0101_10^4*c_0110_7*c_1001_7 - 1/8*c_0011_10^3*c_0101_3*c_1001_7^2 + 4*c_0011_11*c_0101_10^2*c_0110_7*c_1001_7^2 - 1/8*c_0011_10^2*c_0101_3*c_1001_7^3 - 9/8*c_0011_11*c_0101_10*c_0110_7*c_1001_7^3 + 15/2*c_0101_10^2*c_0110_7*c_1001_7^3 - 1/4*c_0011_10*c_0101_3*c_1001_7^4 + 21/4*c_0011_11*c_0110_7*c_1001_7^4 - 2*c_0101_10*c_0110_7*c_1001_7^4 - 7/8*c_0101_10*c_1001_3*c_1001_7^4 - 1/4*c_0101_3*c_1001_7^5 + 49/8*c_0110_7*c_1001_7^5 + 11/8*c_1001_3*c_1001_7^5 - c_0101_10^5 - 1/4*c_0011_10^4*c_1001_7 + 3/8*c_0011_11*c_0101_10^3*c_1001_7 - 3*c_0101_10^4*c_1001_7 - 2*c_0011_10^3*c_1001_7^2 - 2*c_0011_11*c_0101_10^2*c_1001_7^2 - 17/8*c_0101_10^3*c_1001_7^2 - 3/2*c_0011_10^2*c_1001_7^3 - 43/8*c_0011_11*c_0101_10*c_1001_7^3 - 7/4*c_0101_10^2*c_1001_7^3 + 11/2*c_0011_10*c_1001_7^4 + 1/4*c_0011_11*c_1001_7^4 - 21/4*c_0101_10*c_1001_7^4 + 5/4*c_1001_7^5, c_1001_3^2*c_1001_7^4 - 16*c_0101_10^5 + 8/3*c_0101_10^4*c_0110_7 - 3*c_0011_10^4*c_1001_7 + 7*c_0011_11*c_0101_10^3*c_1001_7 - 44*c_0101_10^4*c_1001_7 - 1/3*c_0011_10^3*c_0101_3*c_1001_7 - 4/3*c_0011_11*c_0101_10^2*c_0110_7*c_1001_7 + 26/3*c_0101_10^3*c_0110_7*c_1001_7 - 8*c_0011_10^3*c_1001_7^2 - 30*c_0011_11*c_0101_10^2*c_1001_7^2 + 8*c_0101_10^3*c_1001_7^2 + 4/3*c_0011_10^2*c_0101_3*c_1001_7^2 + 20/3*c_0011_11*c_0101_10*c_0110_7*c_1001_7^2 - 4/3*c_0101_10^2*c_0110_7*c_1001_7^2 - 9*c_0011_10^2*c_1001_7^3 + 11*c_0011_11*c_0101_10*c_1001_7^3 - 44*c_0101_10^2*c_1001_7^3 + 5/3*c_0011_10*c_0101_3*c_1001_7^3 - 3*c_0011_11*c_0110_7*c_1001_7^3 + 10*c_0101_10*c_0110_7*c_1001_7^3 + 5*c_0101_10*c_1001_3*c_1001_7^3 + c_0011_10*c_1001_7^4 - 20*c_0011_11*c_1001_7^4 + 9*c_0101_10*c_1001_7^4 - 5/6*c_0101_2*c_1001_7^4 - 5/3*c_0101_3*c_1001_7^4 - 11/3*c_0110_7*c_1001_7^4 - 1/3*c_1001_3*c_1001_7^4 - 7*c_1001_7^5 + 11/2*c_0011_10^4 + 23/6*c_0011_11*c_0101_10^3 - 7/3*c_0101_10^4 - 2/3*c_0011_10^3*c_1001_7 - 8*c_0011_11*c_0101_10^2*c_1001_7 + 40/3*c_0101_10^3*c_1001_7 - 67/6*c_0011_10^2*c_1001_7^2 + 89/6*c_0011_11*c_0101_10*c_1001_7^2 - 52/3*c_0101_10^2*c_1001_7^2 - 15/2*c_0011_10*c_1001_7^3 - 19/3*c_0011_11*c_1001_7^3 + 25/2*c_0101_10*c_1001_7^3 - 5/6*c_1001_7^4, c_0101_2*c_1001_7^5 + 16*c_0101_10^5 + 3*c_0011_10^4*c_1001_7 - 7*c_0011_11*c_0101_10^3*c_1001_7 + 44*c_0101_10^4*c_1001_7 + 8*c_0011_10^3*c_1001_7^2 + 30*c_0011_11*c_0101_10^2*c_1001_7^2 - 8*c_0101_10^3*c_1001_7^2 + 9*c_0011_10^2*c_1001_7^3 - 11*c_0011_11*c_0101_10*c_1001_7^3 + 44*c_0101_10^2*c_1001_7^3 - c_0011_10*c_1001_7^4 + 20*c_0011_11*c_1001_7^4 - 9*c_0101_10*c_1001_7^4 + 7*c_1001_7^5, c_0011_10^5 - 7*c_0101_10^5 - c_0011_10^4*c_1001_7 + 8*c_0011_11*c_0101_10^3*c_1001_7 - 25*c_0101_10^4*c_1001_7 - 6*c_0011_10^3*c_1001_7^2 - 20*c_0011_11*c_0101_10^2*c_1001_7^2 + 8*c_0101_10^3*c_1001_7^2 - 6*c_0011_10^2*c_1001_7^3 + 6*c_0011_11*c_0101_10*c_1001_7^3 - 30*c_0101_10^2*c_1001_7^3 + 2*c_0011_10*c_1001_7^4 - 12*c_0011_11*c_1001_7^4 + 7*c_0101_10*c_1001_7^4 - 6*c_1001_7^5, c_0011_11*c_0101_10^4 - 3*c_0101_10^5 - c_0011_10^4*c_1001_7 + 4*c_0011_11*c_0101_10^3*c_1001_7 - 8*c_0101_10^4*c_1001_7 - 2*c_0011_10^3*c_1001_7^2 - 6*c_0011_11*c_0101_10^2*c_1001_7^2 + 4*c_0101_10^3*c_1001_7^2 - c_0011_10^2*c_1001_7^3 + 2*c_0011_11*c_0101_10*c_1001_7^3 - 9*c_0101_10^2*c_1001_7^3 + c_0011_10*c_1001_7^4 - 4*c_0011_11*c_1001_7^4 + 3*c_0101_10*c_1001_7^4 - 2*c_1001_7^5, c_0011_10^4*c_0101_3 + 7/3*c_0101_10^4*c_0110_7 + 4/3*c_0011_10^3*c_0101_3*c_1001_7 + 19/3*c_0011_11*c_0101_10^2*c_0110_7*c_1001_7 + 4/3*c_0101_10^3*c_0110_7*c_1001_7 - 4/3*c_0011_10^2*c_0101_3*c_1001_7^2 + 4/3*c_0011_11*c_0101_10*c_0110_7*c_1001_7^2 + 37/3*c_0101_10^2*c_0110_7*c_1001_7^2 - 11/3*c_0011_10*c_0101_3*c_1001_7^3 + 9*c_0011_11*c_0110_7*c_1001_7^3 + 1/3*c_0101_2*c_1001_7^4 - 1/3*c_0101_3*c_1001_7^4 + 35/3*c_0110_7*c_1001_7^4 + 4/3*c_1001_3*c_1001_7^4 - 2*c_0011_10^4 - 10/3*c_0011_11*c_0101_10^3 + 4/3*c_0101_10^4 - 10/3*c_0011_10^3*c_1001_7 - 2*c_0011_11*c_0101_10^2*c_1001_7 - 25/3*c_0101_10^3*c_1001_7 + 11/3*c_0011_10^2*c_1001_7^2 - 43/3*c_0011_11*c_0101_10*c_1001_7^2 - 2/3*c_0101_10^2*c_1001_7^2 + 12*c_0011_10*c_1001_7^3 + 4/3*c_0011_11*c_1001_7^3 - 14*c_0101_10*c_1001_7^3 - 2/3*c_1001_7^4, c_0011_11*c_0101_10^3*c_0110_7 - 1/3*c_0101_10^4*c_0110_7 - 1/3*c_0011_10^3*c_0101_3*c_1001_7 + 8/3*c_0011_11*c_0101_10^2*c_0110_7*c_1001_7 - 1/3*c_0101_10^3*c_0110_7*c_1001_7 - 2/3*c_0011_10^2*c_0101_3*c_1001_7^2 - 4/3*c_0011_11*c_0101_10*c_0110_7*c_1001_7^2 + 14/3*c_0101_10^2*c_0110_7*c_1001_7^2 - 1/3*c_0011_10*c_0101_3*c_1001_7^3 + 3*c_0011_11*c_0110_7*c_1001_7^3 - 2*c_0101_10*c_0110_7*c_1001_7^3 - c_0101_10*c_1001_3*c_1001_7^3 + 1/6*c_0101_2*c_1001_7^4 + 1/3*c_0101_3*c_1001_7^4 + 13/3*c_0110_7*c_1001_7^4 + 2/3*c_1001_3*c_1001_7^4 - 1/2*c_0011_10^4 - 1/6*c_0011_11*c_0101_10^3 - 1/3*c_0101_10^4 - 2/3*c_0011_10^3*c_1001_7 + c_0011_11*c_0101_10^2*c_1001_7 - 11/3*c_0101_10^3*c_1001_7 + 5/6*c_0011_10^2*c_1001_7^2 - 37/6*c_0011_11*c_0101_10*c_1001_7^2 + 8/3*c_0101_10^2*c_1001_7^2 + 9/2*c_0011_10*c_1001_7^3 + 5/3*c_0011_11*c_1001_7^3 - 11/2*c_0101_10*c_1001_7^3 + 7/6*c_1001_7^4, c_0101_2*c_0110_7*c_1001_7^3 + 2*c_1001_3^2*c_1001_7^3 + 2*c_0101_2*c_1001_7^4 - c_0011_10^3*c_0101_3 - 6*c_0011_11*c_0101_10^2*c_0110_7 - c_0101_10^3*c_0110_7 - 13*c_0011_11*c_0101_10*c_0110_7*c_1001_7 - 7*c_0101_10^2*c_0110_7*c_1001_7 + 2*c_0011_10*c_0101_3*c_1001_7^2 - 4*c_0011_11*c_0110_7*c_1001_7^2 - 18*c_0101_10*c_0110_7*c_1001_7^2 - 6*c_0101_10*c_1001_3*c_1001_7^2 - 3/2*c_0110_7*c_1001_3*c_1001_7^2 - 3/2*c_1001_3^2*c_1001_7^2 + 1/2*c_0011_2*c_1001_7^3 + 5*c_0101_0*c_1001_7^3 - 2*c_0101_2*c_1001_7^3 - 5*c_0101_3*c_1001_7^3 - 5*c_0110_7*c_1001_7^3 - 9/2*c_0011_10^3 + 7*c_0011_11*c_0101_10^2 + 5/2*c_0101_10^3 - 3/2*c_0011_10^2*c_0101_3 + 3/2*c_0011_11*c_0101_10*c_0110_7 - 13/2*c_0011_10^2*c_1001_7 + 3*c_0011_11*c_0101_10*c_1001_7 + 49/2*c_0101_10^2*c_1001_7 - 3*c_0101_10*c_0101_2*c_1001_7 - 3*c_0101_10*c_0101_3*c_1001_7 + 3*c_0011_11*c_0110_7*c_1001_7 + 6*c_0101_10*c_0110_7*c_1001_7 - 3*c_0101_3*c_0110_7*c_1001_7 + 15/4*c_0110_7^2*c_1001_7 + 3/2*c_0101_10*c_1001_3*c_1001_7 + 15/4*c_0110_7*c_1001_3*c_1001_7 + 7*c_0011_10*c_1001_7^2 + 18*c_0011_11*c_1001_7^2 + 3/2*c_0011_2*c_1001_7^2 - 15/4*c_0101_0*c_1001_7^2 + 5/2*c_0101_10*c_1001_7^2 - 9/4*c_0101_2*c_1001_7^2 + 6*c_0101_3*c_1001_7^2 + 6*c_0110_7*c_1001_7^2 + 3*c_1001_3*c_1001_7^2 + 23*c_1001_7^3 - 3/4*c_0011_10^2 - 15/2*c_0011_11*c_0101_10 - 15/4*c_0101_10^2 - 3*c_0011_10*c_0101_3 + 15/4*c_0011_10*c_0110_7 - 3*c_0011_11*c_0110_7 + 15/4*c_0101_10*c_0110_7 - 15/4*c_0101_10*c_1001_3 + 9/2*c_0011_10*c_1001_7 - 9*c_0011_11*c_1001_7 - 21/4*c_0101_10*c_1001_7 - 9/2*c_1001_7^2 - 15/4*c_0011_11 - 15/4*c_1001_7, c_0101_0*c_1001_3*c_1001_7^3 + c_0011_10^3*c_0101_3 + c_0011_11*c_0101_10^2*c_0110_7 + 5*c_0101_10^2*c_0110_7*c_1001_7 - 4*c_0011_10*c_0101_3*c_1001_7^2 + 6*c_0011_11*c_0110_7*c_1001_7^2 - 3/2*c_0011_2*c_1001_7^3 - 3*c_0101_0*c_1001_7^3 + c_0101_2*c_1001_7^3 - c_0101_3*c_1001_7^3 + 7*c_0110_7*c_1001_7^3 + 1/2*c_0011_10^3 - 7/2*c_0011_11*c_0101_10^2 - c_0101_10^3 + c_0011_10^2*c_1001_7 - 8*c_0011_11*c_0101_10*c_1001_7 - 7/2*c_0101_10^2*c_1001_7 + 3*c_0011_10*c_1001_7^2 - 3/2*c_0011_11*c_1001_7^2 - 7*c_0101_10*c_1001_7^2 - 5/2*c_1001_7^3, c_0101_2*c_1001_3*c_1001_7^3 - 2*c_1001_3^2*c_1001_7^3 - 2*c_0101_2*c_1001_7^4 + 3*c_0011_10^3*c_0101_3 + 4*c_0011_11*c_0101_10^2*c_0110_7 - 3*c_0101_10^3*c_0110_7 + 2*c_0101_10^2*c_0110_7*c_1001_7 - 7*c_0011_10*c_0101_3*c_1001_7^2 + 2*c_0011_11*c_0110_7*c_1001_7^2 - 7*c_0101_10*c_0110_7*c_1001_7^2 - 3*c_0101_10*c_1001_3*c_1001_7^2 + 2*c_0110_7*c_1001_3*c_1001_7^2 + 2*c_1001_3^2*c_1001_7^2 - 3*c_0011_2*c_1001_7^3 - 6*c_0101_0*c_1001_7^3 + 4*c_0101_2*c_1001_7^3 - c_0101_3*c_1001_7^3 + 2*c_0110_7*c_1001_7^3 - 3*c_1001_3*c_1001_7^3 + 7*c_0011_10^3 - 11*c_0011_11*c_0101_10^2 + 2*c_0011_10^2*c_0101_3 - 2*c_0011_11*c_0101_10*c_0110_7 + c_0011_10^2*c_1001_7 - 2*c_0011_11*c_0101_10*c_1001_7 - 11*c_0101_10^2*c_1001_7 + 4*c_0101_10*c_0101_2*c_1001_7 + 4*c_0101_10*c_0101_3*c_1001_7 - 4*c_0011_11*c_0110_7*c_1001_7 - 8*c_0101_10*c_0110_7*c_1001_7 + 4*c_0101_3*c_0110_7*c_1001_7 - 5*c_0110_7^2*c_1001_7 - 2*c_0101_10*c_1001_3*c_1001_7 - 5*c_0110_7*c_1001_3*c_1001_7 - 10*c_0011_10*c_1001_7^2 + c_0011_11*c_1001_7^2 - 2*c_0011_2*c_1001_7^2 + 5*c_0101_0*c_1001_7^2 + 2*c_0101_10*c_1001_7^2 + 3*c_0101_2*c_1001_7^2 - 8*c_0101_3*c_1001_7^2 - 8*c_0110_7*c_1001_7^2 - 4*c_1001_3*c_1001_7^2 - 6*c_1001_7^3 + c_0011_10^2 + 10*c_0011_11*c_0101_10 + 5*c_0101_10^2 + 4*c_0011_10*c_0101_3 - 5*c_0011_10*c_0110_7 + 4*c_0011_11*c_0110_7 - 5*c_0101_10*c_0110_7 + 5*c_0101_10*c_1001_3 - 6*c_0011_10*c_1001_7 + 12*c_0011_11*c_1001_7 + 7*c_0101_10*c_1001_7 + 6*c_1001_7^2 + 5*c_0011_11 + 5*c_1001_7, c_0110_7*c_1001_3*c_1001_7^3 + c_1001_3^2*c_1001_7^3 + 2*c_0011_10^4 + 4*c_0011_11*c_0101_10^3 + 2*c_0101_10^4 + 3*c_0011_11*c_0101_10^2*c_1001_7 + 13*c_0101_10^3*c_1001_7 + c_0011_10^2*c_0101_3*c_1001_7 - c_0011_11*c_0101_10*c_0110_7*c_1001\ _7 - 5*c_0011_10^2*c_1001_7^2 + 12*c_0011_11*c_0101_10*c_1001_7^2 + 2*c_0101_10^2*c_1001_7^2 - 4*c_0101_10*c_0110_7*c_1001_7^2 - c_0101_10*c_1001_3*c_1001_7^2 - c_0110_7*c_1001_3*c_1001_7^2 - c_1001_3^2*c_1001_7^2 - 6*c_0011_10*c_1001_7^3 + c_0011_11*c_1001_7^3 + 3*c_0101_0*c_1001_7^3 + 9*c_0101_10*c_1001_7^3 - c_0101_2*c_1001_7^3 - 4*c_0101_3*c_1001_7^3 + 3*c_1001_7^4 - 3*c_0011_10^3 + 4*c_0011_11*c_0101_10^2 + c_0101_10^3 - c_0011_10^2*c_0101_3 + c_0011_11*c_0101_10*c_0110_7 + 11*c_0101_10^2*c_1001_7 - 2*c_0101_10*c_0101_2*c_1001_7 - 2*c_0101_10*c_0101_3*c_1001_7 + 2*c_0011_11*c_0110_7*c_1001_7 + 4*c_0101_10*c_0110_7*c_1001_7 - 2*c_0101_3*c_0110_7*c_1001_7 + 5/2*c_0110_7^2*c_1001_7 + c_0101_10*c_1001_3*c_1001_7 + 5/2*c_0110_7*c_1001_3*c_1001_7 + 6*c_0011_10*c_1001_7^2 + 6*c_0011_11*c_1001_7^2 + c_0011_2*c_1001_7^2 - 5/2*c_0101_0*c_1001_7^2 - 3/2*c_0101_2*c_1001_7^2 + 4*c_0101_3*c_1001_7^2 + 4*c_0110_7*c_1001_7^2 + 2*c_1001_3*c_1001_7^2 + 8*c_1001_7^3 - 1/2*c_0011_10^2 - 5*c_0011_11*c_0101_10 - 5/2*c_0101_10^2 - 2*c_0011_10*c_0101_3 + 5/2*c_0011_10*c_0110_7 - 2*c_0011_11*c_0110_7 + 5/2*c_0101_10*c_0110_7 - 5/2*c_0101_10*c_1001_3 + 3*c_0011_10*c_1001_7 - 6*c_0011_11*c_1001_7 - 7/2*c_0101_10*c_1001_7 - 3*c_1001_7^2 - 5/2*c_0011_11 - 5/2*c_1001_7, c_0011_2*c_1001_7^4 - c_0101_2*c_1001_7^4 - c_0011_10^4 - 3*c_0011_11*c_0101_10^3 + 2*c_0101_10^4 - 3*c_0011_10^3*c_1001_7 - 3*c_0011_11*c_0101_10^2*c_1001_7 - 3*c_0011_10^2*c_1001_7^2 + c_0011_11*c_0101_10*c_1001_7^2 - 3*c_0101_10^2*c_1001_7^2 + c_0011_10*c_1001_7^3 + c_0011_11*c_1001_7^3 - c_0101_10*c_1001_7^3 + 2*c_1001_7^4, c_0101_0*c_1001_7^4 - c_0011_10^4 + c_0101_10^4 + 4*c_0011_11*c_0101_10^2*c_1001_7 + 4*c_0011_10^2*c_1001_7^2 + 6*c_0101_10^2*c_1001_7^2 + c_0011_10*c_1001_7^3 + c_0011_11*c_1001_7^3, c_0101_0*c_0110_7^3 - 2*c_0101_0*c_0110_7^2 + 2*c_0101_3*c_0110_7^2 + c_0110_7^3 + 2*c_0110_7^2*c_1001_3 - 7/2*c_0101_10*c_0101_2*c_1001_7 + 7/4*c_0101_10*c_0101_3*c_1001_7 - 7/4*c_0011_11*c_0110_7*c_1001_7 - 11/2*c_0011_2*c_0110_7*c_1001_7 + 5/4*c_0101_2*c_0110_7*c_1001_7 - 7/2*c_0101_3*c_0110_7*c_1001_7 + 21/8*c_0110_7^2*c_1001_7 - 11/4*c_0011_2*c_1001_3*c_1001_7 - 11/2*c_0101_0*c_1001_3*c_1001_7 + 9/4*c_0101_2*c_1001_3*c_1001_7 + 7/8*c_0110_7*c_1001_3*c_1001_7 - 25/4*c_1001_3^2*c_1001_7 + 7/4*c_0011_2*c_1001_7^2 - 7/8*c_0101_0*c_1001_7^2 - 57/8*c_0101_2*c_1001_7^2 - 7/2*c_0110_7*c_1001_7^2 - 7/4*c_1001_3*c_1001_7^2 - 21/8*c_0011_10^2 - 17/4*c_0011_10*c_0101_0 - 7/2*c_0011_11*c_0101_10 + 1/4*c_0011_2*c_0101_10 + 21/8*c_0101_10^2 - c_0011_11*c_0101_2 - c_0011_2*c_0101_2 + c_0101_10*c_0101_2 - c_0101_2^2 + 17/4*c_0011_10*c_0101_3 - 9/4*c_0101_10*c_0101_3 - 1/2*c_0101_3^2 + 59/8*c_0011_10*c_0110_7 + 5/2*c_0011_11*c_0110_7 - 1/2*c_0011_2*c_0110_7 - 7/2*c_0101_0*c_0110_7 - 11/8*c_0101_10*c_0110_7 - 2*c_0101_3*c_0110_7 - 2*c_0110_7^2 - c_0101_0*c_1001_3 - 47/8*c_0101_10*c_1001_3 - 2*c_0110_7*c_1001_3 - 1/2*c_1001_3^2 - 7/4*c_0011_10*c_1001_7 - c_0011_2*c_1001_7 - 11/4*c_0101_0*c_1001_7 - 7/8*c_0101_10*c_1001_7 + 7/4*c_0101_2*c_1001_7 + 6*c_0101_3*c_1001_7 + 31/4*c_0110_7*c_1001_7 + 53/4*c_1001_3*c_1001_7 + 21/4*c_1001_7^2 + 11/4*c_0011_10 - 7/8*c_0011_11 + c_0011_2 + c_0101_0 - 11/4*c_0101_10 - 2*c_0110_7 - c_1001_3 - 71/8*c_1001_7, c_0101_2*c_0110_7^3 - 15*c_0101_0*c_0110_7^2 + 11*c_0101_3*c_0110_7^2 + 2*c_0110_7^3 + 4*c_0101_2*c_0110_7*c_1001_3 + 10*c_0110_7^2*c_1001_3 + 7*c_0110_7*c_1001_3^2 - 15*c_0101_10*c_0101_2*c_1001_7 + 15/2*c_0101_10*c_0101_3*c_1001_7 - 15/2*c_0011_11*c_0110_7*c_1001_7 - 17*c_0011_2*c_0110_7*c_1001_7 + 15/2*c_0101_2*c_0110_7*c_1001_7 - 15*c_0101_3*c_0110_7*c_1001_7 + 45/4*c_0110_7^2*c_1001_7 - 17/2*c_0011_2*c_1001_3*c_1001_7 - 13*c_0101_0*c_1001_3*c_1001_7 + 5/2*c_0101_2*c_1001_3*c_1001_7 + 15/4*c_0110_7*c_1001_3*c_1001_7 - 29/2*c_1001_3^2*c_1001_7 + 15/2*c_0011_2*c_1001_7^2 - 15/4*c_0101_0*c_1001_7^2 - 73/4*c_0101_2*c_1001_7^2 - 15*c_0110_7*c_1001_7^2 - 15/2*c_1001_3*c_1001_7^2 - 45/4*c_0011_10^2 - 1/2*c_0011_10*c_0101_0 + 6*c_0101_0^2 - 15*c_0011_11*c_0101_10 - 12*c_0011_2*c_0101_10 + 45/4*c_0101_10^2 + 5/2*c_0011_11*c_0101_2 + 6*c_0011_2*c_0101_2 - 8*c_0101_10*c_0101_2 + c_0101_2^2 + 13/2*c_0011_10*c_0101_3 - 25/2*c_0101_10*c_0101_3 + c_0101_3^2 + 57/4*c_0011_10*c_0110_7 + 8*c_0011_11*c_0110_7 + c_0011_2*c_0110_7 + 56*c_0101_0*c_0110_7 - 1/4*c_0101_10*c_0110_7 - 4*c_0101_2*c_0110_7 - 42*c_0101_3*c_0110_7 - 26*c_0110_7^2 - 4*c_0011_2*c_1001_3 + 4*c_0101_0*c_1001_3 - 101/4*c_0101_10*c_1001_3 - c_0101_2*c_1001_3 - 38*c_0110_7*c_1001_3 + c_1001_3^2 - 15/2*c_0011_10*c_1001_7 + 20*c_0011_2*c_1001_7 + 12*c_0101_0*c_1001_7 - 15/4*c_0101_10*c_1001_7 + 33/2*c_0101_2*c_1001_7 + 20*c_0101_3*c_1001_7 + 67/2*c_0110_7*c_1001_7 + 81/2*c_1001_3*c_1001_7 + 45/2*c_1001_7^2 + 63/2*c_0011_10 - 53/4*c_0011_11 - 10*c_0101_0 - 8*c_0101_10 + 6*c_0101_2 + 20*c_0101_3 + 46*c_0110_7 + 30*c_1001_3 - 81/4*c_1001_7 - 19, c_0101_3*c_0110_7^3 - c_0110_7^3 - 26*c_0101_10*c_0101_2*c_1001_7 + 13*c_0101_10*c_0101_3*c_1001_7 - 13*c_0011_11*c_0110_7*c_1001_7 - 27*c_0011_2*c_0110_7*c_1001_7 + 27/2*c_0101_2*c_0110_7*c_1001_7 - 26*c_0101_3*c_0110_7*c_1001_7 + 169/8*c_0110_7^2*c_1001_7 - 27/2*c_0011_2*c_1001_3*c_1001_7 - 35*c_0101_0*c_1001_3*c_1001_7 + 33/2*c_0101_2*c_1001_3*c_1001_7 + 61/8*c_0110_7*c_1001_3*c_1001_7 - 81/2*c_1001_3^2*c_1001_7 + 13*c_0011_2*c_1001_7^2 - 47/8*c_0101_0*c_1001_7^2 - 385/8*c_0101_2*c_1001_7^2 - 26*c_0110_7*c_1001_7^2 - 13*c_1001_3*c_1001_7^2 - 155/8*c_0011_10^2 - 37/2*c_0011_10*c_0101_0 - 89/4*c_0011_11*c_0101_10 - 17/2*c_0011_2*c_0101_10 + 199/8*c_0101_10^2 - 5*c_0011_11*c_0101_2 - c_0101_2^2 + 45/2*c_0011_10*c_0101_3 - 27/2*c_0101_10*c_0101_3 - 5*c_0101_3^2 + 469/8*c_0011_10*c_0110_7 + 9*c_0011_11*c_0110_7 - 5*c_0011_2*c_0110_7 - 15*c_0101_0*c_0110_7 - 23/8*c_0101_10*c_0110_7 - 4*c_0101_3*c_0110_7 - c_0101_0*c_1001_3 - 277/8*c_0101_10*c_1001_3 - 5*c_1001_3^2 - 57/4*c_0011_10*c_1001_7 - 3/2*c_0011_11*c_1001_7 + c_0011_2*c_1001_7 - 5/2*c_0101_0*c_1001_7 - 49/8*c_0101_10*c_1001_7 + 7/2*c_0101_2*c_1001_7 + 38*c_0101_3*c_1001_7 + 97/2*c_0110_7*c_1001_7 + 167/2*c_1001_3*c_1001_7 + 163/4*c_1001_7^2 + 49/2*c_0011_10 - 85/8*c_0011_11 + c_0011_2 + 2*c_0101_0 - 43/2*c_0101_10 + c_0101_3 + c_1001_3 - 341/8*c_1001_7 - 2, c_0110_7^4 - 1/2*c_0101_0*c_0110_7^2 - 2*c_0101_2*c_0110_7^2 + 1/2*c_0101_3*c_0110_7^2 - 1/2*c_0110_7^3 - 2*c_0101_2*c_0110_7*c_1001_3 + 3/2*c_0110_7^2*c_1001_3 + 6*c_0110_7*c_1001_3^2 + 2*c_1001_3^3 - 68*c_0101_10*c_0101_2*c_1001_7 + 65/2*c_0101_10*c_0101_3*c_1001_7 - 65/2*c_0011_11*c_0110_7*c_1001_7 - 50*c_0011_2*c_0110_7*c_1001_7 + 36*c_0101_2*c_0110_7*c_1001_7 - 69*c_0101_3*c_0110_7*c_1001_7 + 429/8*c_0110_7^2*c_1001_7 - 22*c_0011_2*c_1001_3*c_1001_7 - 61*c_0101_0*c_1001_3*c_1001_7 + 63/2*c_0101_2*c_1001_3*c_1001_7 + 157/8*c_0110_7*c_1001_3*c_1001_7 - 151/2*c_1001_3^2*c_1001_7 + 69/2*c_0011_2*c_1001_7^2 - 115/8*c_0101_0*c_1001_7^2 - 761/8*c_0101_2*c_1001_7^2 - 65*c_0110_7*c_1001_7^2 - 65/2*c_1001_3*c_1001_7^2 - 387/8*c_0011_10^2 - 24*c_0011_10*c_0101_0 + 4*c_0101_0^2 - 211/4*c_0011_11*c_0101_10 - 103/4*c_0011_2*c_0101_10 + 495/8*c_0101_10^2 - 35/4*c_0011_11*c_0101_2 + 9/2*c_0011_2*c_0101_2 - 4*c_0101_10*c_0101_2 + c_0101_2^2 + 24*c_0011_10*c_0101_3 - 33*c_0101_10*c_0101_3 + 25/2*c_0101_3^2 + 859/8*c_0011_10*c_0110_7 + 11*c_0011_11*c_0110_7 + 33/2*c_0011_2*c_0110_7 + 51*c_0101_0*c_0110_7 + 63/8*c_0101_10*c_0110_7 + 2*c_0101_2*c_0110_7 - 19/2*c_0101_3*c_0110_7 - 23/2*c_0110_7^2 + 2*c_0101_0*c_1001_3 - 699/8*c_0101_10*c_1001_3 + 2*c_0101_2*c_1001_3 - 17/2*c_0110_7*c_1001_3 + 5/2*c_1001_3^2 - 141/4*c_0011_10*c_1001_7 - 7/2*c_0011_11*c_1001_7 + 9*c_0011_2*c_1001_7 + 7/4*c_0101_0*c_1001_7 - 121/8*c_0101_10*c_1001_7 + 77/2*c_0101_2*c_1001_7 + 83*c_0101_3*c_1001_7 + 113*c_0110_7*c_1001_7 + 169*c_1001_3*c_1001_7 + 411/4*c_1001_7^2 + 139/2*c_0011_10 - 351/8*c_0011_11 - 2*c_0011_2 - 3/2*c_0101_0 - 173/4*c_0101_10 + 2*c_0101_2 + 7*c_0101_3 + 41/2*c_0110_7 + 25/2*c_1001_3 - 811/8*c_1001_7 - 19/2, c_0101_2*c_0110_7^2*c_1001_3 + 9*c_0101_0*c_0110_7^2 - 6*c_0101_3*c_0110_7^2 - c_0110_7^3 - 3*c_0101_2*c_0110_7*c_1001_3 - 5*c_0110_7^2*c_1001_3 - 2*c_0110_7*c_1001_3^2 + c_1001_3^3 + 7*c_0101_10*c_0101_2*c_1001_7 - 7/2*c_0101_10*c_0101_3*c_1001_7 + 7/2*c_0011_11*c_0110_7*c_1001_7 + 9*c_0011_2*c_0110_7*c_1001_7 - 5/2*c_0101_2*c_0110_7*c_1001_7 + 7*c_0101_3*c_0110_7*c_1001_7 - 21/4*c_0110_7^2*c_1001_7 + 9/2*c_0011_2*c_1001_3*c_1001_7 + 7*c_0101_0*c_1001_3*c_1001_7 - 1/2*c_0101_2*c_1001_3*c_1001_7 - 7/4*c_0110_7*c_1001_3*c_1001_7 + 15/2*c_1001_3^2*c_1001_7 - 7/2*c_0011_2*c_1001_7^2 + 7/4*c_0101_0*c_1001_7^2 + 37/4*c_0101_2*c_1001_7^2 + 7*c_0110_7*c_1001_7^2 + 7/2*c_1001_3*c_1001_7^2 + 21/4*c_0011_10^2 + 3/2*c_0011_10*c_0101_0 - 2*c_0101_0^2 + 7*c_0011_11*c_0101_10 + 6*c_0011_2*c_0101_10 - 21/4*c_0101_10^2 - 3/2*c_0011_11*c_0101_2 - 3*c_0011_2*c_0101_2 + 4*c_0101_10*c_0101_2 - c_0101_2^2 - 9/2*c_0011_10*c_0101_3 + 13/2*c_0101_10*c_0101_3 + 4*c_0101_3^2 - 33/4*c_0011_10*c_0110_7 - 4*c_0011_11*c_0110_7 + 4*c_0011_2*c_0110_7 - 17*c_0101_0*c_0110_7 + 1/4*c_0101_10*c_0110_7 + 23*c_0101_3*c_0110_7 + 13*c_0110_7^2 + 3*c_0011_2*c_1001_3 - c_0101_0*c_1001_3 + 45/4*c_0101_10*c_1001_3 + 19*c_0110_7*c_1001_3 + c_1001_3^2 + 7/2*c_0011_10*c_1001_7 - 10*c_0011_2*c_1001_7 - 6*c_0101_0*c_1001_7 + 7/4*c_0101_10*c_1001_7 - 5/2*c_0101_2*c_1001_7 - 10*c_0101_3*c_1001_7 - 31/2*c_0110_7*c_1001_7 - 41/2*c_1001_3*c_1001_7 - 21/2*c_1001_7^2 - 31/2*c_0011_10 + 33/4*c_0011_11 + c_0011_2 + 5*c_0101_0 + 4*c_0101_10 - 2*c_0101_2 - 11*c_0101_3 - 23*c_0110_7 - 15*c_1001_3 + 37/4*c_1001_7 + 8, c_0110_7^3*c_1001_3 + 1/2*c_0101_0*c_0110_7^2 + 2*c_0101_2*c_0110_7^2 - 1/2*c_0101_3*c_0110_7^2 + 1/2*c_0110_7^3 + 2*c_0101_2*c_0110_7*c_1001_3 - 3/2*c_0110_7^2*c_1001_3 - 6*c_0110_7*c_1001_3^2 - 2*c_1001_3^3 + 38*c_0101_10*c_0101_2*c_1001_7 - 35/2*c_0101_10*c_0101_3*c_1001_7 + 35/2*c_0011_11*c_0110_7*c_1001_7 + 23*c_0011_2*c_0110_7*c_1001_7 - 41/2*c_0101_2*c_0110_7*c_1001_7 + 39*c_0101_3*c_0110_7*c_1001_7 - 117/4*c_0110_7^2*c_1001_7 + 21/2*c_0011_2*c_1001_3*c_1001_7 + 30*c_0101_0*c_1001_3*c_1001_7 - 16*c_0101_2*c_1001_3*c_1001_7 - 43/4*c_0110_7*c_1001_3*c_1001_7 + 38*c_1001_3^2*c_1001_7 - 39/2*c_0011_2*c_1001_7^2 + 31/4*c_0101_0*c_1001_7^2 + 195/4*c_0101_2*c_1001_7^2 + 35*c_0110_7*c_1001_7^2 + 35/2*c_1001_3*c_1001_7^2 + 105/4*c_0011_10^2 + 17/2*c_0011_10*c_0101_0 - 4*c_0101_0^2 + 30*c_0011_11*c_0101_10 + 61/4*c_0011_2*c_0101_10 - 133/4*c_0101_10^2 + 19/4*c_0011_11*c_0101_2 - 9/2*c_0011_2*c_0101_2 + 4*c_0101_10*c_0101_2 - c_0101_2^2 - 15/2*c_0011_10*c_0101_3 + 35/2*c_0101_10*c_0101_3 - 25/2*c_0101_3^2 - 109/2*c_0011_10*c_0110_7 - 6*c_0011_11*c_0110_7 - 33/2*c_0011_2*c_0110_7 - 51*c_0101_0*c_0110_7 - 11/2*c_0101_10*c_0110_7 - 2*c_0101_2*c_0110_7 + 19/2*c_0101_3*c_0110_7 + 15/2*c_0110_7^2 - 2*c_0101_0*c_1001_3 + 95/2*c_0101_10*c_1001_3 - 2*c_0101_2*c_1001_3 + 17/2*c_0110_7*c_1001_3 - 5/2*c_1001_3^2 + 37/2*c_0011_10*c_1001_7 + 2*c_0011_11*c_1001_7 - 9*c_0011_2*c_1001_7 - 17/4*c_0101_0*c_1001_7 + 35/4*c_0101_10*c_1001_7 - 27*c_0101_2*c_1001_7 - 43*c_0101_3*c_1001_7 - 125/2*c_0110_7*c_1001_7 - 175/2*c_1001_3*c_1001_7 - 111/2*c_1001_7^2 - 41*c_0011_10 + 26*c_0011_11 + 2*c_0011_2 + 3/2*c_0101_0 + 95/4*c_0101_10 - 2*c_0101_2 - 8*c_0101_3 - 41/2*c_0110_7 - 25/2*c_1001_3 + 105/2*c_1001_7 + 21/2, c_0110_7^2*c_1001_3^2 - 1/2*c_0101_0*c_0110_7^2 - 2*c_0101_2*c_0110_7^2 + 1/2*c_0101_3*c_0110_7^2 - 1/2*c_0110_7^3 - 2*c_0101_2*c_0110_7*c_1001_3 + 3/2*c_0110_7^2*c_1001_3 + 6*c_0110_7*c_1001_3^2 + 2*c_1001_3^3 - 19*c_0101_10*c_0101_2*c_1001_7 + 8*c_0101_10*c_0101_3*c_1001_7 - 8*c_0011_11*c_0110_7*c_1001_7 - 8*c_0011_2*c_0110_7*c_1001_7 + 11*c_0101_2*c_0110_7*c_1001_7 - 20*c_0101_3*c_0110_7*c_1001_7 + 29/2*c_0110_7^2*c_1001_7 - 5*c_0011_2*c_1001_3*c_1001_7 - 11*c_0101_0*c_1001_3*c_1001_7 + 13/2*c_0101_2*c_1001_3*c_1001_7 + 11/2*c_0110_7*c_1001_3*c_1001_7 - 29/2*c_1001_3^2*c_1001_7 + 10*c_0011_2*c_1001_7^2 - 7/2*c_0101_0*c_1001_7^2 - 20*c_0101_2*c_1001_7^2 - 16*c_0110_7*c_1001_7^2 - 8*c_1001_3*c_1001_7^2 - 25/2*c_0011_10^2 + c_0011_10*c_0101_0 + 4*c_0101_0^2 - 15*c_0011_11*c_0101_10 - 35/4*c_0011_2*c_0101_10 + 31/2*c_0101_10^2 - 3/4*c_0011_11*c_0101_2 + 7/2*c_0011_2*c_0101_2 - 4*c_0101_10*c_0101_2 + c_0101_2^2 - 2*c_0011_10*c_0101_3 - 8*c_0101_10*c_0101_3 + 25/2*c_0101_3^2 + 85/4*c_0011_10*c_0110_7 + 2*c_0011_11*c_0110_7 + 33/2*c_0011_2*c_0110_7 + 51*c_0101_0*c_0110_7 + 19/4*c_0101_10*c_0110_7 + 2*c_0101_2*c_0110_7 - 19/2*c_0101_3*c_0110_7 - 15/2*c_0110_7^2 + 2*c_0101_0*c_1001_3 - 93/4*c_0101_10*c_1001_3 + 2*c_0101_2*c_1001_3 - 25/2*c_0110_7*c_1001_3 + 5/2*c_1001_3^2 - 8*c_0011_10*c_1001_7 - 2*c_0011_11*c_1001_7 + 9*c_0011_2*c_1001_7 + 19/4*c_0101_0*c_1001_7 - 9/2*c_0101_10*c_1001_7 + 43/2*c_0101_2*c_1001_7 + 19*c_0101_3*c_1001_7 + 30*c_0110_7*c_1001_7 + 36*c_1001_3*c_1001_7 + 26*c_1001_7^2 + 45/2*c_0011_10 - 63/4*c_0011_11 - 2*c_0011_2 - 7/2*c_0101_0 - 41/4*c_0101_10 + 2*c_0101_2 + 9*c_0101_3 + 41/2*c_0110_7 + 25/2*c_1001_3 - 93/4*c_1001_7 - 19/2, c_0110_7*c_1001_3^3 + 3/2*c_0101_0*c_0110_7^2 + 2*c_0101_2*c_0110_7^2 - 3/2*c_0101_3*c_0110_7^2 - 1/2*c_0110_7^3 + 2*c_0101_2*c_0110_7*c_1001_3 - 7/2*c_0110_7^2*c_1001_3 - 7*c_0110_7*c_1001_3^2 - 2*c_1001_3^3 + 9*c_0101_10*c_0101_2*c_1001_7 - 3*c_0101_10*c_0101_3*c_1001_7 + 3*c_0011_11*c_0110_7*c_1001_7 + 4*c_0011_2*c_0110_7*c_1001_7 - 6*c_0101_2*c_0110_7*c_1001_7 + 10*c_0101_3*c_0110_7*c_1001_7 - 7*c_0110_7^2*c_1001_7 + 3*c_0011_2*c_1001_3*c_1001_7 + 2*c_0101_0*c_1001_3*c_1001_7 - 3/2*c_0101_2*c_1001_3*c_1001_7 - 3*c_0110_7*c_1001_3*c_1001_7 + 5/2*c_1001_3^2*c_1001_7 - 5*c_0011_2*c_1001_7^2 + c_0101_0*c_1001_7^2 + 11/2*c_0101_2*c_1001_7^2 + 6*c_0110_7*c_1001_7^2 + 3*c_1001_3*c_1001_7^2 + 5*c_0011_10^2 - 4*c_0011_10*c_0101_0 - 2*c_0101_0^2 + 7*c_0011_11*c_0101_10 + 17/4*c_0011_2*c_0101_10 - 6*c_0101_10^2 - 3/4*c_0011_11*c_0101_2 - 5/2*c_0011_2*c_0101_2 + 3*c_0101_10*c_0101_2 - c_0101_2^2 + 6*c_0011_10*c_0101_3 + 3*c_0101_10*c_0101_3 - 13/2*c_0101_3^2 - 21/4*c_0011_10*c_0110_7 + c_0011_11*c_0110_7 - 19/2*c_0011_2*c_0110_7 - 33*c_0101_0*c_0110_7 - 19/4*c_0101_10*c_0110_7 - 2*c_0101_2*c_0110_7 + 23/2*c_0101_3*c_0110_7 + 19/2*c_0110_7^2 - 2*c_0101_0*c_1001_3 + 41/4*c_0101_10*c_1001_3 - 2*c_0101_2*c_1001_3 + 29/2*c_0110_7*c_1001_3 + 1/2*c_1001_3^2 + 2*c_0011_10*c_1001_7 + 2*c_0011_11*c_1001_7 - 8*c_0011_2*c_1001_7 - 13/4*c_0101_0*c_1001_7 + 2*c_0101_10*c_1001_7 - 21/2*c_0101_2*c_1001_7 - 7*c_0101_3*c_1001_7 - 12*c_0110_7*c_1001_7 - 9*c_1001_3*c_1001_7 - 11*c_1001_7^2 - 21/2*c_0011_10 + 43/4*c_0011_11 + 2*c_0011_2 + 7/2*c_0101_0 + 11/4*c_0101_10 - c_0101_2 - 8*c_0101_3 - 37/2*c_0110_7 - 23/2*c_1001_3 + 37/4*c_1001_7 + 13/2, c_1001_3^4 - c_0101_2*c_0110_7^2 - 3*c_1001_3^3 - c_0101_10*c_0101_2*c_1001_7 - 2*c_0011_2*c_0110_7*c_1001_7 - 2*c_0101_3*c_0110_7*c_1001_7 + c_0110_7^2*c_1001_7 - 3*c_0101_2*c_1001_3*c_1001_7 + c_0110_7*c_1001_3*c_1001_7 + 2*c_1001_3^2*c_1001_7 + c_0011_2*c_1001_7^2 + c_0101_0*c_1001_7^2 + c_0101_2*c_1001_7^2 + c_0011_10^2 - c_0011_10*c_0101_0 + c_0011_11*c_0101_10 - 2*c_0011_10*c_0101_3 - 3*c_0101_3^2 - c_0011_10*c_0110_7 - 3*c_0011_2*c_0110_7 - 5*c_0101_0*c_0110_7 + c_0101_10*c_0110_7 - 4*c_0101_3*c_0110_7 - 2*c_0110_7^2 - c_0101_10*c_1001_3 + c_1001_3^2 + c_0011_10*c_1001_7 + c_0101_10*c_1001_7 - 3*c_0101_2*c_1001_7 - 2*c_1001_3*c_1001_7 + c_1001_7^2 - c_0011_11, c_0101_2*c_0110_7^2*c_1001_7 + 15*c_0101_10*c_0101_2*c_1001_7 - 6*c_0101_10*c_0101_3*c_1001_7 + 6*c_0011_11*c_0110_7*c_1001_7 + 8*c_0011_2*c_0110_7*c_1001_7 - 6*c_0101_2*c_0110_7*c_1001_7 + 16*c_0101_3*c_0110_7*c_1001_7 - 23/2*c_0110_7^2*c_1001_7 + 5*c_0011_2*c_1001_3*c_1001_7 + 12*c_0101_0*c_1001_3*c_1001_7 - 6*c_0101_2*c_1001_3*c_1001_7 - 9/2*c_0110_7*c_1001_3*c_1001_7 + 15*c_1001_3^2*c_1001_7 - 8*c_0011_2*c_1001_7^2 + 5/2*c_0101_0*c_1001_7^2 + 39/2*c_0101_2*c_1001_7^2 + 12*c_0110_7*c_1001_7^2 + 6*c_1001_3*c_1001_7^2 + 19/2*c_0011_10^2 + 6*c_0011_10*c_0101_0 + 11*c_0011_11*c_0101_10 + 4*c_0011_2*c_0101_10 - 25/2*c_0101_10^2 + c_0011_11*c_0101_2 - 2*c_0011_10*c_0101_3 + 6*c_0101_10*c_0101_3 - 2*c_0101_3^2 - 43/2*c_0011_10*c_0110_7 - c_0011_11*c_0110_7 - 2*c_0011_2*c_0110_7 - 6*c_0101_0*c_0110_7 - 5/2*c_0101_10*c_0110_7 + 37/2*c_0101_10*c_1001_3 - 2*c_1001_3^2 + 6*c_0011_10*c_1001_7 + 2*c_0011_11*c_1001_7 + 2*c_0101_0*c_1001_7 + 7/2*c_0101_10*c_1001_7 - 8*c_0101_2*c_1001_7 - 17*c_0101_3*c_1001_7 - 23*c_0110_7*c_1001_7 - 33*c_1001_3*c_1001_7 - 20*c_1001_7^2 - 12*c_0011_10 + 19/2*c_0011_11 + 9*c_0101_10 + 45/2*c_1001_7, c_0101_3*c_0110_7^2*c_1001_7 + c_1001_3^2*c_1001_7^2 + c_0101_2*c_1001_7^3 - 3*c_0011_11*c_0101_10*c_0110_7 - 3*c_0101_10^2*c_0110_7 + 6*c_0101_10*c_0101_2*c_1001_7 - 3*c_0101_10*c_0101_3*c_1001_7 - 3*c_0011_11*c_0110_7*c_1001_7 - 6*c_0101_10*c_0110_7*c_1001_7 + 6*c_0101_3*c_0110_7*c_1001_7 - 17/2*c_0110_7^2*c_1001_7 - c_0101_10*c_1001_3*c_1001_7 - 13/2*c_0110_7*c_1001_3*c_1001_7 + c_1001_3^2*c_1001_7 - 3*c_0011_2*c_1001_7^2 + 5/2*c_0101_0*c_1001_7^2 + 9/2*c_0101_2*c_1001_7^2 - 2*c_0101_3*c_1001_7^2 + 7/2*c_0011_10^2 + 9*c_0011_11*c_0101_10 + c_0011_2*c_0101_10 - 1/2*c_0101_10^2 + 6*c_0011_10*c_0101_3 + 3*c_0101_10*c_0101_3 - 3*c_0101_3^2 - 9/2*c_0011_10*c_0110_7 + 3*c_0011_11*c_0110_7 - 3*c_0011_2*c_0110_7 - 9*c_0101_0*c_0110_7 - 9/2*c_0101_10*c_0110_7 + 21/2*c_0101_10*c_1001_3 - 3*c_1001_3^2 + c_0011_10*c_1001_7 + 6*c_0011_11*c_1001_7 + 2*c_0101_0*c_1001_7 + 15/2*c_0101_10*c_1001_7 - 6*c_0101_2*c_1001_7 - 4*c_0101_3*c_1001_7 - 6*c_0110_7*c_1001_7 - 3*c_1001_3*c_1001_7 - 3*c_1001_7^2 - 4*c_0011_10 + 17/2*c_0011_11 + 23/2*c_1001_7, c_0110_7^3*c_1001_7 + c_0101_2*c_0110_7*c_1001_7^2 - 3*c_0101_0*c_1001_3*c_1001_7^2 + 2*c_0101_2*c_1001_3*c_1001_7^2 - 11*c_0011_11*c_0101_10*c_0110_7 - 11*c_0101_10^2*c_0110_7 - 6*c_0101_10*c_0101_2*c_1001_7 + 3*c_0011_10*c_0101_3*c_1001_7 - 2*c_0101_10*c_0101_3*c_1001_7 - 17*c_0011_11*c_0110_7*c_1001_7 + 8*c_0011_2*c_0110_7*c_1001_7 - 29*c_0101_10*c_0110_7*c_1001_7 - 4*c_0101_2*c_0110_7*c_1001_7 - 6*c_0101_3*c_0110_7*c_1001_7 - 1/2*c_0110_7^2*c_1001_7 + 4*c_0011_2*c_1001_3*c_1001_7 + 12*c_0101_0*c_1001_3*c_1001_7 - 9*c_0101_10*c_1001_3*c_1001_7 - 6*c_0101_2*c_1001_3*c_1001_7 + 1/2*c_0110_7*c_1001_3*c_1001_7 + 12*c_1001_3^2*c_1001_7 + 3*c_0011_2*c_1001_7^2 + 15/2*c_0101_0*c_1001_7^2 + 23/2*c_0101_2*c_1001_7^2 - 6*c_0101_3*c_1001_7^2 - 15*c_0110_7*c_1001_7^2 - 3*c_1001_3*c_1001_7^2 - 13/2*c_0011_10^2 + 4*c_0011_10*c_0101_0 + 12*c_0011_11*c_0101_10 + 3*c_0011_2*c_0101_10 + 33/2*c_0101_10^2 + c_0011_11*c_0101_2 + c_0101_10*c_0101_2 - 20*c_0011_10*c_0101_3 + 2*c_0101_10*c_0101_3 + 5*c_0101_3^2 - 33/2*c_0011_10*c_0110_7 - 8*c_0011_11*c_0110_7 + 5*c_0011_2*c_0110_7 + 15*c_0101_0*c_0110_7 + 11/2*c_0101_10*c_0110_7 + 3/2*c_0101_10*c_1001_3 + 5*c_1001_3^2 - c_0011_10*c_1001_7 + 29*c_0011_11*c_1001_7 - c_0011_2*c_1001_7 - 3*c_0101_0*c_1001_7 + 37/2*c_0101_10*c_1001_7 + 6*c_0101_2*c_1001_7 - 8*c_0101_3*c_1001_7 - 8*c_0110_7*c_1001_7 - 19*c_1001_3*c_1001_7 + 25*c_1001_7^2 - 5*c_0011_10 - 9/2*c_0011_11 + 2*c_0101_10 + 1/2*c_1001_7, c_0101_2*c_0110_7*c_1001_3*c_1001_7 - 7*c_0101_10*c_0101_2*c_1001_7 + 2*c_0101_10*c_0101_3*c_1001_7 - 2*c_0011_11*c_0110_7*c_1001_7 - 4*c_0011_2*c_0110_7*c_1001_7 + 2*c_0101_2*c_0110_7*c_1001_7 - 8*c_0101_3*c_0110_7*c_1001_7 + 11/2*c_0110_7^2*c_1001_7 - 3*c_0011_2*c_1001_3*c_1001_7 - 4*c_0101_0*c_1001_3*c_1001_7 + 2*c_0101_2*c_1001_3*c_1001_7 + 5/2*c_0110_7*c_1001_3*c_1001_7 - 5*c_1001_3^2*c_1001_7 + 4*c_0011_2*c_1001_7^2 - 1/2*c_0101_0*c_1001_7^2 - 15/2*c_0101_2*c_1001_7^2 - 4*c_0110_7*c_1001_7^2 - 2*c_1001_3*c_1001_7^2 - 7/2*c_0011_10^2 - 2*c_0011_10*c_0101_0 - 5*c_0011_11*c_0101_10 - c_0011_2*c_0101_10 + 9/2*c_0101_10^2 - 2*c_0011_10*c_0101_3 - 2*c_0101_10*c_0101_3 + c_0101_3^2 + 15/2*c_0011_10*c_0110_7 - c_0011_11*c_0110_7 + c_0011_2*c_0110_7 + 3*c_0101_0*c_0110_7 + 5/2*c_0101_10*c_0110_7 - 17/2*c_0101_10*c_1001_3 + c_1001_3^2 - c_0011_10*c_1001_7 - 2*c_0011_11*c_1001_7 - 2*c_0101_0*c_1001_7 - 3/2*c_0101_10*c_1001_7 + 4*c_0101_2*c_1001_7 + 7*c_0101_3*c_1001_7 + 9*c_0110_7*c_1001_7 + 11*c_1001_3*c_1001_7 + 8*c_1001_7^2 + 4*c_0011_10 - 11/2*c_0011_11 - 3*c_0101_10 - 21/2*c_1001_7, c_0110_7^2*c_1001_3*c_1001_7 - c_0101_2*c_0110_7*c_1001_7^2 + c_0101_0*c_1001_3*c_1001_7^2 - c_0101_2*c_1001_3*c_1001_7^2 + 4*c_0011_11*c_0101_10*c_0110_7 + 4*c_0101_10^2*c_0110_7 + 3*c_0101_10*c_0101_2*c_1001_7 - c_0011_10*c_0101_3*c_1001_7 + 2*c_0101_10*c_0101_3*c_1001_7 + 5*c_0011_11*c_0110_7*c_1001_7 - 8*c_0011_2*c_0110_7*c_1001_7 + 10*c_0101_10*c_0110_7*c_1001_7 + 4*c_0101_2*c_0110_7*c_1001_7 + 3*c_0101_3*c_0110_7*c_1001_7 + 1/2*c_0110_7^2*c_1001_7 - 4*c_0011_2*c_1001_3*c_1001_7 - 12*c_0101_0*c_1001_3*c_1001_7 + 3*c_0101_10*c_1001_3*c_1001_7 + 6*c_0101_2*c_1001_3*c_1001_7 - 1/2*c_0110_7*c_1001_3*c_1001_7 - 12*c_1001_3^2*c_1001_7 - 2*c_0011_2*c_1001_7^2 - 7/2*c_0101_0*c_1001_7^2 - 23/2*c_0101_2*c_1001_7^2 + 2*c_0101_3*c_1001_7^2 + 3*c_0110_7*c_1001_7^2 + 1/2*c_0011_10^2 - 4*c_0011_10*c_0101_0 - 5*c_0011_11*c_0101_10 - 3*c_0011_2*c_0101_10 - 7/2*c_0101_10^2 - c_0011_11*c_0101_2 - c_0101_10*c_0101_2 + 17*c_0011_10*c_0101_3 - 3*c_0101_10*c_0101_3 - 5*c_0101_3^2 + 33/2*c_0011_10*c_0110_7 + 6*c_0011_11*c_0110_7 - 5*c_0011_2*c_0110_7 - 15*c_0101_0*c_0110_7 - 11/2*c_0101_10*c_0110_7 - 3/2*c_0101_10*c_1001_3 - 5*c_1001_3^2 - 2*c_0011_10*c_1001_7 - 10*c_0011_11*c_1001_7 + c_0011_2*c_1001_7 + 3*c_0101_0*c_1001_7 - 13/2*c_0101_10*c_1001_7 - 6*c_0101_2*c_1001_7 + 8*c_0101_3*c_1001_7 + 5*c_0110_7*c_1001_7 + 19*c_1001_3*c_1001_7 - 6*c_1001_7^2 + 4*c_0011_10 + 9/2*c_0011_11 - 3*c_0101_10 - 1/2*c_1001_7, c_0110_7*c_1001_3^2*c_1001_7 + c_0101_2*c_0110_7*c_1001_7^2 - 2*c_0101_10*c_0101_3*c_1001_7 + 2*c_0011_11*c_0110_7*c_1001_7 + 8*c_0011_2*c_0110_7*c_1001_7 - 4*c_0101_2*c_0110_7*c_1001_7 - 2*c_0101_3*c_0110_7*c_1001_7 - 1/2*c_0110_7^2*c_1001_7 + 4*c_0011_2*c_1001_3*c_1001_7 + 12*c_0101_0*c_1001_3*c_1001_7 - 6*c_0101_2*c_1001_3*c_1001_7 + 1/2*c_0110_7*c_1001_3*c_1001_7 + 12*c_1001_3^2*c_1001_7 + c_0011_2*c_1001_7^2 + 3/2*c_0101_0*c_1001_7^2 + 23/2*c_0101_2*c_1001_7^2 + 4*c_0110_7*c_1001_7^2 + 2*c_1001_3*c_1001_7^2 + 5/2*c_0011_10^2 + 5*c_0011_10*c_0101_0 + c_0011_11*c_0101_10 + 3*c_0011_2*c_0101_10 - 7/2*c_0101_10^2 + c_0011_11*c_0101_2 + c_0101_10*c_0101_2 - 17*c_0011_10*c_0101_3 + 3*c_0101_10*c_0101_3 + 4*c_0101_3^2 - 33/2*c_0011_10*c_0110_7 - 6*c_0011_11*c_0110_7 + 4*c_0011_2*c_0110_7 + 12*c_0101_0*c_0110_7 + 11/2*c_0101_10*c_0110_7 + 3/2*c_0101_10*c_1001_3 + 4*c_1001_3^2 + 4*c_0011_10*c_1001_7 - c_0011_2*c_1001_7 - 3*c_0101_0*c_1001_7 - 1/2*c_0101_10*c_1001_7 + 4*c_0101_2*c_1001_7 - 8*c_0101_3*c_1001_7 - 6*c_0110_7*c_1001_7 - 23*c_1001_3*c_1001_7 - 4*c_1001_7^2 - 5*c_0011_10 - 9/2*c_0011_11 + 5*c_0101_10 + 3/2*c_1001_7, c_1001_3^3*c_1001_7 + c_0101_2*c_1001_3*c_1001_7^2 - 3*c_0101_10*c_0101_2*c_1001_7 + 2*c_0101_10*c_0101_3*c_1001_7 - 2*c_0011_11*c_0110_7*c_1001_7 - 4*c_0011_2*c_0110_7*c_1001_7 + 3*c_0101_2*c_0110_7*c_1001_7 - c_0101_3*c_0110_7*c_1001_7 + 2*c_0110_7^2*c_1001_7 - 2*c_0011_2*c_1001_3*c_1001_7 - 5*c_0101_0*c_1001_3*c_1001_7 + 4*c_0101_2*c_1001_3*c_1001_7 - 9*c_1001_3^2*c_1001_7 + c_0011_2*c_1001_7^2 - 2*c_0101_0*c_1001_7^2 - 9*c_0101_2*c_1001_7^2 - 4*c_0110_7*c_1001_7^2 - 2*c_1001_3*c_1001_7^2 - 4*c_0011_10^2 - 2*c_0011_10*c_0101_0 - 4*c_0011_11*c_0101_10 - 2*c_0011_2*c_0101_10 + 4*c_0101_10^2 - c_0101_10*c_0101_2 + 7*c_0011_10*c_0101_3 - 2*c_0101_10*c_0101_3 + 10*c_0011_10*c_0110_7 + 2*c_0011_11*c_0110_7 - c_0101_10*c_0110_7 - 4*c_0101_10*c_1001_3 - 3*c_0011_10*c_1001_7 - c_0011_11*c_1001_7 - c_0101_10*c_1001_7 + 2*c_0101_2*c_1001_7 + 6*c_0101_3*c_1001_7 + 7*c_0110_7*c_1001_7 + 15*c_1001_3*c_1001_7 + 6*c_1001_7^2 + 4*c_0011_10 - c_0011_11 - 3*c_0101_10 - 5*c_1001_7, c_0101_10*c_0101_2*c_1001_7^2 + c_0110_7*c_1001_3*c_1001_7^2 + c_1001_3^2*c_1001_7^2 - 1/2*c_0011_2*c_1001_7^3 + c_0101_0*c_1001_7^3 + c_0101_2*c_1001_7^3 + 5/2*c_0011_10^3 - 3/2*c_0011_11*c_0101_10^2 + 3*c_0101_10^3 + c_0011_10^2*c_0101_3 - c_0011_11*c_0101_10*c_0110_7 + 4*c_0011_10^2*c_1001_7 + 5*c_0011_11*c_0101_10*c_1001_7 - 3/2*c_0101_10^2*c_1001_7 + 2*c_0101_10*c_0101_2*c_1001_7 + 2*c_0101_10*c_0101_3*c_1001_7 - 2*c_0011_11*c_0110_7*c_1001_7 - 4*c_0101_10*c_0110_7*c_1001_7 + 2*c_0101_3*c_0110_7*c_1001_7 - 5/2*c_0110_7^2*c_1001_7 - c_0101_10*c_1001_3*c_1001_7 - 5/2*c_0110_7*c_1001_3*c_1001_7 - 4*c_0011_10*c_1001_7^2 - 3/2*c_0011_11*c_1001_7^2 - c_0011_2*c_1001_7^2 + 5/2*c_0101_0*c_1001_7^2 + 4*c_0101_10*c_1001_7^2 + 3/2*c_0101_2*c_1001_7^2 - 4*c_0101_3*c_1001_7^2 - 4*c_0110_7*c_1001_7^2 - 2*c_1001_3*c_1001_7^2 - 11/2*c_1001_7^3 + 1/2*c_0011_10^2 + 5*c_0011_11*c_0101_10 + 5/2*c_0101_10^2 + 2*c_0011_10*c_0101_3 - 5/2*c_0011_10*c_0110_7 + 2*c_0011_11*c_0110_7 - 5/2*c_0101_10*c_0110_7 + 5/2*c_0101_10*c_1001_3 - 3*c_0011_10*c_1001_7 + 6*c_0011_11*c_1001_7 + 7/2*c_0101_10*c_1001_7 + 3*c_1001_7^2 + 5/2*c_0011_11 + 5/2*c_1001_7, c_0101_10*c_0101_3*c_1001_7^2 - c_0011_11*c_0110_7*c_1001_7^2 - 2*c_0110_7*c_1001_7^3 - c_1001_3*c_1001_7^3 + c_0011_10^3 + c_0101_10^3 + 3*c_0011_11*c_0101_10*c_1001_7 - 4*c_0011_10*c_1001_7^2 + 2*c_0101_10*c_1001_7^2, c_0011_2*c_0110_7*c_1001_7^2 - 1/2*c_0101_2*c_0110_7*c_1001_7^2 + 1/2*c_0101_2*c_1001_3*c_1001_7^2 - 2*c_0011_10^2*c_0101_3 - 1/2*c_0011_11*c_0101_10*c_0110_7 - 9/2*c_0101_10^2*c_0110_7 - 1/2*c_0101_10*c_0101_2*c_1001_7 - 5/2*c_0011_10*c_0101_3*c_1001_7 - 5/2*c_0101_10*c_0101_3*c_1001_7 - 7/2*c_0011_11*c_0110_7*c_1001_7 - 5/2*c_0101_10*c_0110_7*c_1001_7 + 1/2*c_0101_3*c_0110_7*c_1001_7 + 1/2*c_0101_10*c_1001_3*c_1001_7 - 1/2*c_0011_2*c_1001_7^2 - 2*c_0101_0*c_1001_7^2 + c_0101_3*c_1001_7^2 - 5/2*c_0110_7*c_1001_7^2 - 3*c_1001_3*c_1001_7^2 - 1/2*c_0011_10^2 + 1/2*c_0011_11*c_0101_10 + c_0101_10^2 + 1/2*c_0011_10*c_0101_3 + 1/2*c_0011_11*c_0110_7 + 2*c_0011_11*c_1001_7 + 7/2*c_0101_10*c_1001_7 + 3*c_1001_7^2, c_0101_3*c_0110_7*c_1001_7^2 - 1/2*c_0110_7*c_1001_3*c_1001_7^2 - 1/2*c_1001_3^2*c_1001_7^2 - c_0101_2*c_1001_7^3 - 2*c_0011_10^3 + 9/2*c_0011_11*c_0101_10^2 + 1/2*c_0101_10^3 - 1/2*c_0011_10^2*c_0101_3 + 1/2*c_0011_11*c_0101_10*c_0110_7 - 5/2*c_0011_10^2*c_1001_7 + 2*c_0011_11*c_0101_10*c_1001_7 + 6*c_0101_10^2*c_1001_7 - c_0101_10*c_0101_2*c_1001_7 + c_0011_10*c_0101_3*c_1001_7 - c_0101_10*c_0101_3*c_1001_7 + 2*c_0011_11*c_0110_7*c_1001_7 + 2*c_0101_10*c_0110_7*c_1001_7 - c_0101_3*c_0110_7*c_1001_7 + 5/4*c_0110_7^2*c_1001_7 + 1/2*c_0101_10*c_1001_3*c_1001_7 + 5/4*c_0110_7*c_1001_3*c_1001_7 + c_0011_10*c_1001_7^2 + 3/2*c_0011_11*c_1001_7^2 + 1/2*c_0011_2*c_1001_7^2 - 5/4*c_0101_0*c_1001_7^2 - 1/2*c_0101_10*c_1001_7^2 - 3/4*c_0101_2*c_1001_7^2 + 2*c_0101_3*c_1001_7^2 + 2*c_0110_7*c_1001_7^2 + c_1001_3*c_1001_7^2 + 11/2*c_1001_7^3 - 1/4*c_0011_10^2 - 5/2*c_0011_11*c_0101_10 - 5/4*c_0101_10^2 - c_0011_10*c_0101_3 + 5/4*c_0011_10*c_0110_7 - c_0011_11*c_0110_7 + 5/4*c_0101_10*c_0110_7 - 5/4*c_0101_10*c_1001_3 + 3/2*c_0011_10*c_1001_7 - 3*c_0011_11*c_1001_7 - 7/4*c_0101_10*c_1001_7 - 3/2*c_1001_7^2 - 5/4*c_0011_11 - 5/4*c_1001_7, c_0110_7^2*c_1001_7^2 + c_0110_7*c_1001_3*c_1001_7^2 + c_0101_0*c_1001_7^3 - c_0101_2*c_1001_7^3 + 4*c_0011_11*c_0101_10^2 + 4*c_0101_10^3 + c_0011_10^2*c_1001_7 + 6*c_0011_11*c_0101_10*c_1001_7 + 7*c_0101_10^2*c_1001_7 - 2*c_0101_10*c_1001_3*c_1001_7 - 2*c_0011_10*c_1001_7^2 + 3*c_0101_10*c_1001_7^2 + 2*c_1001_7^3 - c_0011_10^2 + c_0101_10^2, c_0011_2*c_1001_3*c_1001_7^2 + 2*c_0101_0*c_1001_3*c_1001_7^2 - 2*c_0101_2*c_1001_3*c_1001_7^2 + 2*c_1001_3^2*c_1001_7^2 + 2*c_0101_2*c_1001_7^3 + 3*c_0011_10^2*c_0101_3 + 7*c_0101_10^2*c_0110_7 + 2*c_0101_10*c_0101_2*c_1001_7 + 2*c_0011_10*c_0101_3*c_1001_7 + 3*c_0101_10*c_0101_3*c_1001_7 + 4*c_0011_11*c_0110_7*c_1001_7 + 8*c_0101_10*c_0110_7*c_1001_7 - c_0110_7^2*c_1001_7 + 2*c_0101_10*c_1001_3*c_1001_7 - c_0110_7*c_1001_3*c_1001_7 + 2*c_0101_0*c_1001_7^2 - 2*c_0101_3*c_1001_7^2 + 4*c_0110_7*c_1001_7^2 + 2*c_1001_3*c_1001_7^2 + 4*c_0011_10^2 - c_0011_11*c_0101_10 - 5*c_0101_10^2 - c_0011_10*c_0110_7 - c_0101_10*c_0110_7 + c_0101_10*c_1001_3 - 8*c_0011_11*c_1001_7 - 4*c_0101_10*c_1001_7 - 10*c_1001_7^2 + c_0011_11 + c_1001_7, c_0011_10^2*c_0101_0 + 2*c_0101_10*c_0101_2*c_1001_7 + c_0101_10*c_0101_3*c_1001_7 - c_0011_11*c_0110_7*c_1001_7 + 2*c_0101_3*c_0110_7*c_1001_7 - 9/4*c_0110_7^2*c_1001_7 - 9/4*c_0110_7*c_1001_3*c_1001_7 - c_0011_2*c_1001_7^2 - 5/4*c_0101_0*c_1001_7^2 + 5/4*c_0101_2*c_1001_7^2 - 2*c_0110_7*c_1001_7^2 - c_1001_3*c_1001_7^2 + 3/4*c_0011_10^2 + 7/2*c_0011_11*c_0101_10 - 3/4*c_0101_10^2 + 2*c_0011_10*c_0101_3 - 9/4*c_0011_10*c_0110_7 + 2*c_0011_11*c_0110_7 - 9/4*c_0101_10*c_0110_7 + 9/4*c_0101_10*c_1001_3 - 7/2*c_0011_10*c_1001_7 + c_0011_11*c_1001_7 + 9/4*c_0101_10*c_1001_7 - 3/2*c_1001_7^2 + 9/4*c_0011_11 + 9/4*c_1001_7, c_0011_10*c_0101_0^2 + 1/2*c_0011_2*c_0101_10 + 1/2*c_0011_11*c_0101_2 + c_0101_10*c_0101_3 + 1/2*c_0011_10*c_0110_7 - c_0011_11*c_0110_7 + 1/2*c_0101_10*c_0110_7 + 1/2*c_0101_10*c_1001_3 - c_0011_2*c_1001_7 - 3/2*c_0101_0*c_1001_7 - 2*c_0110_7*c_1001_7 - c_1001_3*c_1001_7 - 3*c_0011_10 - 1/2*c_0011_11 + 1/2*c_0101_10 + 1/2*c_1001_7, c_0101_0^3 - 1/4*c_0101_0*c_0110_7^2 + 1/2*c_0101_2*c_0110_7^2 - 1/4*c_0101_3*c_0110_7^2 - 1/4*c_0110_7^3 + c_0101_2*c_0110_7*c_1001_3 - 3/4*c_0110_7^2*c_1001_3 - 3/2*c_0110_7*c_1001_3^2 - 3/2*c_1001_3^3 + 1/2*c_0101_10*c_0101_2*c_1001_7 - 1/4*c_0101_10*c_0101_3*c_1001_7 + 1/4*c_0011_11*c_0110_7*c_1001_7 + 1/2*c_0011_2*c_0110_7*c_1001_7 - 5/4*c_0101_2*c_0110_7*c_1001_7 + 1/2*c_0101_3*c_0110_7*c_1001_7 - 3/8*c_0110_7^2*c_1001_7 + 1/4*c_0011_2*c_1001_3*c_1001_7 + 1/2*c_0101_0*c_1001_3*c_1001_7 - 3/2*c_0101_2*c_1001_3*c_1001_7 - 1/8*c_0110_7*c_1001_3*c_1001_7 + 1/2*c_1001_3^2*c_1001_7 - 1/4*c_0011_2*c_1001_7^2 + 1/8*c_0101_0*c_1001_7^2 + 5/8*c_0101_2*c_1001_7^2 + 1/2*c_0110_7*c_1001_7^2 + 1/4*c_1001_3*c_1001_7^2 + 3/8*c_0011_10^2 - 5/4*c_0011_10*c_0101_0 - 1/2*c_0101_0^2 + 1/2*c_0011_11*c_0101_10 + 7/8*c_0011_2*c_0101_10 - 3/8*c_0101_10^2 + 5/8*c_0011_11*c_0101_2 - 3/4*c_0011_2*c_0101_2 + 1/2*c_0101_10*c_0101_2 - 1/2*c_0101_2^2 - 1/4*c_0011_10*c_0101_3 + 3/4*c_0101_10*c_0101_3 - 9/4*c_0101_3^2 - 5/4*c_0011_10*c_0110_7 - 1/2*c_0011_11*c_0110_7 - 17/4*c_0011_2*c_0110_7 - 7*c_0101_0*c_0110_7 - 1/4*c_0101_10*c_0110_7 - 3/2*c_0101_2*c_0110_7 - 1/4*c_0101_3*c_0110_7 + 5/4*c_0110_7^2 - 3/2*c_0011_2*c_1001_3 - 5/2*c_0101_0*c_1001_3 + 1/4*c_0101_10*c_1001_3 - c_0101_2*c_1001_3 + 11/4*c_0110_7*c_1001_3 + 5/4*c_1001_3^2 + 1/4*c_0011_10*c_1001_7 - c_0011_2*c_1001_7 - 3/8*c_0101_0*c_1001_7 + 1/8*c_0101_10*c_1001_7 - 2*c_0101_2*c_1001_7 - 1/2*c_0101_3*c_1001_7 - 7/4*c_0110_7*c_1001_7 - 7/4*c_1001_3*c_1001_7 - 3/4*c_1001_7^2 - 2*c_0011_10 + c_0011_11 + 3/2*c_0011_2 - 1/4*c_0101_0 + 5/8*c_0101_10 + 1/2*c_0101_2 - 1/2*c_0101_3 - 9/4*c_0110_7 - 7/4*c_1001_3 + 3/4*c_1001_7 + 3/4, c_0011_2*c_0101_10^2 - c_0101_10*c_0101_2*c_1001_7 - c_0101_3*c_0110_7*c_1001_7 + 1/4*c_0110_7^2*c_1001_7 + 1/4*c_0110_7*c_1001_3*c_1001_7 + c_0011_2*c_1001_7^2 + 1/4*c_0101_0*c_1001_7^2 - 1/4*c_0101_2*c_1001_7^2 + 1/4*c_0011_10^2 - 1/2*c_0011_11*c_0101_10 + 3/4*c_0101_10^2 - c_0011_10*c_0101_3 + 1/4*c_0011_10*c_0110_7 - c_0011_11*c_0110_7 + 1/4*c_0101_10*c_0110_7 - 1/4*c_0101_10*c_1001_3 + 1/2*c_0011_10*c_1001_7 - 1/4*c_0101_10*c_1001_7 + 1/2*c_1001_7^2 - 1/4*c_0011_11 - 1/4*c_1001_7, c_0011_11*c_0101_10*c_0101_2 + c_0101_10*c_0101_2*c_1001_7 + c_0101_3*c_0110_7*c_1001_7 + c_0011_10*c_0101_3 + c_0011_11*c_0110_7, c_0011_2*c_0101_10*c_0101_2 + c_0101_10*c_0101_3 - 2*c_0101_3^2 + 2*c_0011_10*c_0110_7 - c_0011_11*c_0110_7 - 2*c_0011_2*c_0110_7 - 6*c_0101_0*c_0110_7 + 2*c_0101_10*c_0110_7 + 2*c_0101_10*c_1001_3 - 2*c_1001_3^2 - 4*c_0101_2*c_1001_7 - 2*c_0110_7*c_1001_7 - c_1001_3*c_1001_7 - 2*c_0011_10 - c_0101_10 + 2*c_1001_7, c_0101_10^2*c_0101_2 + c_0110_7^2*c_1001_7 + c_0110_7*c_1001_3*c_1001_7 + c_0011_10*c_0110_7 + c_0101_10*c_0110_7 - c_0101_10*c_1001_3 - c_0011_11 - c_1001_7, c_0011_11*c_0101_2^2 + 2*c_0011_10*c_0101_0 - c_0011_2*c_0101_10 + c_0011_11*c_0101_2 - c_0101_10*c_0101_2 + c_0101_10*c_0101_3 + 3*c_0101_3^2 - c_0011_11*c_0110_7 + 3*c_0011_2*c_0110_7 + 9*c_0101_0*c_0110_7 + 3*c_1001_3^2 + c_0011_2*c_1001_7 + c_0101_0*c_1001_7 + 6*c_0101_2*c_1001_7 - 2*c_0110_7*c_1001_7 - c_1001_3*c_1001_7 + 2*c_0011_11 + c_0101_10 + 2*c_1001_7, c_0011_2*c_0101_2^2 + 5/2*c_0101_0*c_0110_7^2 - c_0101_2*c_0110_7^2 - 3/2*c_0101_3*c_0110_7^2 - 1/2*c_0110_7^3 - 3*c_0101_2*c_0110_7*c_1001_3 - 3/2*c_0110_7^2*c_1001_3 + 2*c_1001_3^3 + 4*c_0101_10*c_0101_2*c_1001_7 - 2*c_0101_10*c_0101_3*c_1001_7 + 2*c_0011_11*c_0110_7*c_1001_7 + 4*c_0011_2*c_0110_7*c_1001_7 - c_0101_2*c_0110_7*c_1001_7 + 4*c_0101_3*c_0110_7*c_1001_7 - 3*c_0110_7^2*c_1001_7 + 2*c_0011_2*c_1001_3*c_1001_7 + 4*c_0101_0*c_1001_3*c_1001_7 + 1/2*c_0101_2*c_1001_3*c_1001_7 - c_0110_7*c_1001_3*c_1001_7 + 9/2*c_1001_3^2*c_1001_7 - 2*c_0011_2*c_1001_7^2 + c_0101_0*c_1001_7^2 + 11/2*c_0101_2*c_1001_7^2 + 4*c_0110_7*c_1001_7^2 + 2*c_1001_3*c_1001_7^2 + 3*c_0011_10^2 + 4*c_0011_10*c_0101_0 - 2*c_0101_0^2 + 4*c_0011_11*c_0101_10 + 7/4*c_0011_2*c_0101_10 - 3*c_0101_10^2 - 1/4*c_0011_11*c_0101_2 - 1/2*c_0011_2*c_0101_2 + c_0101_10*c_0101_2 + c_0101_2^2 - 2*c_0011_10*c_0101_3 + 3*c_0101_10*c_0101_3 + 11/2*c_0101_3^2 - 23/4*c_0011_10*c_0110_7 - c_0011_11*c_0110_7 + 19/2*c_0011_2*c_0110_7 + 5*c_0101_0*c_0110_7 + 3/4*c_0101_10*c_0110_7 + 2*c_0101_2*c_0110_7 + 19/2*c_0101_3*c_0110_7 + 7/2*c_0110_7^2 + 4*c_0011_2*c_1001_3 + 2*c_0101_0*c_1001_3 + 23/4*c_0101_10*c_1001_3 + 2*c_0101_2*c_1001_3 + 9/2*c_0110_7*c_1001_3 + 1/2*c_1001_3^2 + 2*c_0011_10*c_1001_7 - 2*c_0011_2*c_1001_7 - 7/4*c_0101_0*c_1001_7 + c_0101_10*c_1001_7 + 7/2*c_0101_2*c_1001_7 - 5*c_0101_3*c_1001_7 - 8*c_0110_7*c_1001_7 - 11*c_1001_3*c_1001_7 - 6*c_1001_7^2 - 11/2*c_0011_10 + 13/4*c_0011_11 + 5/2*c_0101_0 + 13/4*c_0101_10 - 4*c_0101_2 - 4*c_0101_3 - 9/2*c_0110_7 - 7/2*c_1001_3 + 19/4*c_1001_7 + 9/2, c_0101_10*c_0101_2^2 - c_0011_10*c_0110_7 - c_0101_10*c_0110_7 - c_0101_10*c_1001_3 + c_0011_11 + 2*c_0101_10 - c_1001_7, c_0101_2^3 - c_0101_0*c_0110_7^2 + c_0101_3*c_0110_7^2 + c_0110_7^3 + 2*c_0110_7^2*c_1001_3 + c_0110_7*c_1001_3^2 - 6*c_0101_10*c_0101_2*c_1001_7 + 3*c_0101_10*c_0101_3*c_1001_7 - 3*c_0011_11*c_0110_7*c_1001_7 - 6*c_0011_2*c_0110_7*c_1001_7 + 3*c_0101_2*c_0110_7*c_1001_7 - 6*c_0101_3*c_0110_7*c_1001_7 + 9/2*c_0110_7^2*c_1001_7 - 3*c_0011_2*c_1001_3*c_1001_7 - 7*c_0101_0*c_1001_3*c_1001_7 + 3*c_0101_2*c_1001_3*c_1001_7 + 3/2*c_0110_7*c_1001_3*c_1001_7 - 8*c_1001_3^2*c_1001_7 + 3*c_0011_2*c_1001_7^2 - 3/2*c_0101_0*c_1001_7^2 - 19/2*c_0101_2*c_1001_7^2 - 6*c_0110_7*c_1001_7^2 - 3*c_1001_3*c_1001_7^2 - 9/2*c_0011_10^2 - 5*c_0011_10*c_0101_0 + 2*c_0101_0^2 - 6*c_0011_11*c_0101_10 + 1/2*c_0011_2*c_0101_10 + 9/2*c_0101_10^2 - 5/2*c_0011_11*c_0101_2 - 2*c_0011_2*c_0101_2 + c_0101_10*c_0101_2 - 2*c_0101_2^2 + 4*c_0011_10*c_0101_3 - 3*c_0101_10*c_0101_3 - 3*c_0101_3^2 + 12*c_0011_10*c_0110_7 + c_0011_11*c_0110_7 - 3*c_0011_2*c_0110_7 - 6*c_0101_0*c_0110_7 - 2*c_0101_3*c_0110_7 - 2*c_0110_7^2 - 7*c_0101_10*c_1001_3 - 2*c_0110_7*c_1001_3 - 3*c_1001_3^2 - 3*c_0011_10*c_1001_7 - c_0011_2*c_1001_7 - 3/2*c_0101_0*c_1001_7 - 3/2*c_0101_10*c_1001_7 - 3*c_0101_2*c_1001_7 + 8*c_0101_3*c_1001_7 + 10*c_0110_7*c_1001_7 + 17*c_1001_3*c_1001_7 + 9*c_1001_7^2 + 4*c_0011_10 - 3*c_0011_11 - 2*c_0101_0 - 9/2*c_0101_10 + 4*c_0101_2 - 2*c_0110_7 - c_1001_3 - 10*c_1001_7 - 3, c_0101_10^2*c_0101_3 - c_0011_11*c_0101_10*c_0110_7 - 2*c_0101_10*c_0110_7*c_1001_7 - c_0101_10*c_1001_3*c_1001_7 - c_0011_10^2 + c_0101_10^2 + 2*c_0011_11*c_1001_7 + 2*c_1001_7^2, c_0011_10*c_0101_3^2 + 2*c_0101_10*c_0101_2*c_1001_7 - 2*c_0101_10*c_0101_3*c_1001_7 + 2*c_0011_11*c_0110_7*c_1001_7 - 4*c_0011_2*c_0110_7*c_1001_7 + c_0101_2*c_0110_7*c_1001_7 + 2*c_0101_3*c_0110_7*c_1001_7 - 5/4*c_0110_7^2*c_1001_7 - 2*c_0011_2*c_1001_3*c_1001_7 - 3*c_0101_0*c_1001_3*c_1001_7 + 2*c_0101_2*c_1001_3*c_1001_7 - 1/4*c_0110_7*c_1001_3*c_1001_7 - 3*c_1001_3^2*c_1001_7 - 2*c_0011_2*c_1001_7^2 + 3/4*c_0101_0*c_1001_7^2 - 11/4*c_0101_2*c_1001_7^2 + 4*c_0110_7*c_1001_7^2 + 2*c_1001_3*c_1001_7^2 + 7/4*c_0011_10^2 - 2*c_0011_10*c_0101_0 + 1/2*c_0011_11*c_0101_10 + c_0011_2*c_0101_10 - 7/4*c_0101_10^2 + 8*c_0011_10*c_0101_3 + 3*c_0101_10*c_0101_3 - 5*c_0101_3^2 + 35/4*c_0011_10*c_0110_7 + c_0011_11*c_0110_7 - 5*c_0011_2*c_0110_7 - 15*c_0101_0*c_0110_7 - 9/4*c_0101_10*c_0110_7 + 17/4*c_0101_10*c_1001_3 - 5*c_1001_3^2 + 7/2*c_0011_10*c_1001_7 - c_0011_11*c_1001_7 + 2*c_0101_0*c_1001_7 - 3/4*c_0101_10*c_1001_7 - 8*c_0101_2*c_1001_7 - 2*c_0101_3*c_1001_7 - 6*c_0110_7*c_1001_7 + 5*c_1001_3*c_1001_7 - 7/2*c_1001_7^2 - 4*c_0011_10 + 21/4*c_0011_11 - 2*c_0101_10 + 25/4*c_1001_7, c_0101_10*c_0101_3^2 + c_0101_10*c_0101_2*c_1001_7 - 1/4*c_0110_7^2*c_1001_7 - c_0101_0*c_1001_3*c_1001_7 - 1/4*c_0110_7*c_1001_3*c_1001_7 - 1/4*c_0101_0*c_1001_7^2 + 1/4*c_0101_2*c_1001_7^2 - 1/4*c_0011_10^2 - 2*c_0011_10*c_0101_0 + 1/2*c_0011_11*c_0101_10 + c_0011_2*c_0101_10 - 3/4*c_0101_10^2 - c_0011_11*c_0101_2 + c_0101_10*c_0101_2 + 2*c_0011_10*c_0101_3 - 3*c_0101_3^2 - 1/4*c_0011_10*c_0110_7 - c_0011_11*c_0110_7 - 3*c_0011_2*c_0110_7 - 9*c_0101_0*c_0110_7 - 1/4*c_0101_10*c_0110_7 + 1/4*c_0101_10*c_1001_3 - 3*c_1001_3^2 - 1/2*c_0011_10*c_1001_7 + c_0101_0*c_1001_7 + 1/4*c_0101_10*c_1001_7 - 6*c_0101_2*c_1001_7 + c_0101_3*c_1001_7 - c_0110_7*c_1001_7 + c_1001_3*c_1001_7 - 1/2*c_1001_7^2 - c_0011_10 + 1/4*c_0011_11 + c_0101_10 - 7/4*c_1001_7, c_0101_3^3 - 2*c_0101_0*c_0110_7^2 - 2*c_0101_2*c_0110_7*c_1001_3 - c_0101_10*c_0101_2*c_1001_7 + 1/2*c_0101_10*c_0101_3*c_1001_7 - 1/2*c_0011_11*c_0110_7*c_1001_7 + c_0011_2*c_0110_7*c_1001_7 - 1/2*c_0101_2*c_0110_7*c_1001_7 - c_0101_3*c_0110_7*c_1001_7 + 3/4*c_0110_7^2*c_1001_7 + 3/2*c_0011_2*c_1001_3*c_1001_7 + c_0101_0*c_1001_3*c_1001_7 - 1/2*c_0101_2*c_1001_3*c_1001_7 + 1/4*c_0110_7*c_1001_3*c_1001_7 + 1/2*c_1001_3^2*c_1001_7 + 1/2*c_0011_2*c_1001_7^2 - 1/4*c_0101_0*c_1001_7^2 + 1/4*c_0101_2*c_1001_7^2 - c_0110_7*c_1001_7^2 - 1/2*c_1001_3*c_1001_7^2 - 3/4*c_0011_10^2 + 1/2*c_0011_10*c_0101_0 - c_0011_11*c_0101_10 - 1/2*c_0011_2*c_0101_10 + 3/4*c_0101_10^2 - 5/2*c_0011_10*c_0101_3 - 3/2*c_0101_10*c_0101_3 + 2*c_0101_3^2 - 11/4*c_0011_10*c_0110_7 + 2*c_0011_2*c_0110_7 + 6*c_0101_0*c_0110_7 + 3/4*c_0101_10*c_0110_7 - 3*c_0101_2*c_0110_7 + 3*c_0011_2*c_1001_3 + 3*c_0101_0*c_1001_3 - 9/4*c_0101_10*c_1001_3 + 2*c_0110_7*c_1001_3 + 2*c_1001_3^2 - 1/2*c_0011_10*c_1001_7 + 1/2*c_0101_0*c_1001_7 - 1/4*c_0101_10*c_1001_7 + 7/2*c_0101_2*c_1001_7 + c_0101_3*c_1001_7 + 7/2*c_0110_7*c_1001_7 - 1/2*c_1001_3*c_1001_7 + 3/2*c_1001_7^2 + 5/2*c_0011_10 + 3/4*c_0011_11 + 1/2*c_0101_10 - 3*c_0101_3 - 13/4*c_1001_7, c_0011_10^2*c_0110_7 - c_0101_10^2*c_0110_7 - c_0101_10*c_0101_3*c_1001_7 - c_0011_11*c_0110_7*c_1001_7 - c_0110_7*c_1001_7^2 + c_0011_10*c_1001_7 + c_0101_10*c_1001_7, c_0011_10*c_0101_0*c_0110_7 - c_0101_10*c_0101_2*c_1001_7 + 1/2*c_0101_10*c_0101_3*c_1001_7 - 1/2*c_0011_11*c_0110_7*c_1001_7 + c_0011_2*c_0110_7*c_1001_7 - 1/2*c_0101_2*c_0110_7*c_1001_7 - c_0101_3*c_0110_7*c_1001_7 + 3/4*c_0110_7^2*c_1001_7 + 1/2*c_0011_2*c_1001_3*c_1001_7 + c_0101_0*c_1001_3*c_1001_7 - 1/2*c_0101_2*c_1001_3*c_1001_7 + 1/4*c_0110_7*c_1001_3*c_1001_7 + 1/2*c_1001_3^2*c_1001_7 + 1/2*c_0011_2*c_1001_7^2 - 1/4*c_0101_0*c_1001_7^2 + 1/4*c_0101_2*c_1001_7^2 - c_0110_7*c_1001_7^2 - 1/2*c_1001_3*c_1001_7^2 - 3/4*c_0011_10^2 + 1/2*c_0011_10*c_0101_0 - c_0011_11*c_0101_10 - 1/2*c_0011_2*c_0101_10 + 3/4*c_0101_10^2 - 5/2*c_0011_10*c_0101_3 - 3/2*c_0101_10*c_0101_3 + 2*c_0101_3^2 - 11/4*c_0011_10*c_0110_7 + 2*c_0011_2*c_0110_7 + 6*c_0101_0*c_0110_7 + 3/4*c_0101_10*c_0110_7 - 9/4*c_0101_10*c_1001_3 + 2*c_1001_3^2 - 1/2*c_0011_10*c_1001_7 - 1/2*c_0101_0*c_1001_7 - 1/4*c_0101_10*c_1001_7 + 7/2*c_0101_2*c_1001_7 + c_0101_3*c_1001_7 + 7/2*c_0110_7*c_1001_7 - 1/2*c_1001_3*c_1001_7 + 3/2*c_1001_7^2 + 5/2*c_0011_10 - 9/4*c_0011_11 + 1/2*c_0101_10 - 13/4*c_1001_7, c_0101_0^2*c_0110_7 + 1/2*c_0101_0*c_0110_7^2 + 1/2*c_0101_2*c_0110_7*c_1001_3 - 1/4*c_0011_2*c_0101_10 - 1/4*c_0011_11*c_0101_2 - 1/2*c_0101_10*c_0101_3 - 1/4*c_0011_10*c_0110_7 + 1/2*c_0011_11*c_0110_7 - 1/4*c_0101_10*c_0110_7 + c_0101_2*c_0110_7 - 1/2*c_0011_2*c_1001_3 - 1/4*c_0101_10*c_1001_3 - 1/2*c_0110_7*c_1001_3 + 1/4*c_0101_0*c_1001_7 + c_0110_7*c_1001_7 + 1/2*c_1001_3*c_1001_7 + c_0011_10 - 3/4*c_0011_11 - 1/4*c_0101_10 + 1/2*c_0101_3 - 1/2*c_0110_7 - 1/4*c_1001_7, c_0011_2*c_0101_10*c_0110_7 + 3*c_0101_10*c_0101_2*c_1001_7 - 3/2*c_0101_10*c_0101_3*c_1001_7 + 3/2*c_0011_11*c_0110_7*c_1001_7 + 3*c_0011_2*c_0110_7*c_1001_7 - 3/2*c_0101_2*c_0110_7*c_1001_7 + 3*c_0101_3*c_0110_7*c_1001_7 - 9/4*c_0110_7^2*c_1001_7 + 3/2*c_0011_2*c_1001_3*c_1001_7 + 4*c_0101_0*c_1001_3*c_1001_7 - 3/2*c_0101_2*c_1001_3*c_1001_7 - 3/4*c_0110_7*c_1001_3*c_1001_7 + 9/2*c_1001_3^2*c_1001_7 - 3/2*c_0011_2*c_1001_7^2 + 3/4*c_0101_0*c_1001_7^2 + 21/4*c_0101_2*c_1001_7^2 + 3*c_0110_7*c_1001_7^2 + 3/2*c_1001_3*c_1001_7^2 + 9/4*c_0011_10^2 + 5/2*c_0011_10*c_0101_0 + 3*c_0011_11*c_0101_10 + 1/2*c_0011_2*c_0101_10 - 9/4*c_0101_10^2 + c_0011_11*c_0101_2 - c_0101_10*c_0101_2 - 5/2*c_0011_10*c_0101_3 + 3/2*c_0101_10*c_0101_3 + c_0101_3^2 - 27/4*c_0011_10*c_0110_7 - c_0011_11*c_0110_7 + c_0011_2*c_0110_7 + 3*c_0101_0*c_0110_7 + 3/4*c_0101_10*c_0110_7 + 15/4*c_0101_10*c_1001_3 + c_1001_3^2 + 3/2*c_0011_10*c_1001_7 + 1/2*c_0101_0*c_1001_7 + 3/4*c_0101_10*c_1001_7 + 1/2*c_0101_2*c_1001_7 - 4*c_0101_3*c_1001_7 - 11/2*c_0110_7*c_1001_7 - 19/2*c_1001_3*c_1001_7 - 9/2*c_1001_7^2 - 5/2*c_0011_10 + 3/4*c_0011_11 + 5/2*c_0101_10 + 19/4*c_1001_7, c_0011_11*c_0101_2*c_0110_7 - 4*c_0101_10*c_0101_2*c_1001_7 + 2*c_0101_10*c_0101_3*c_1001_7 - 2*c_0011_11*c_0110_7*c_1001_7 - 4*c_0011_2*c_0110_7*c_1001_7 + 3*c_0101_2*c_0110_7*c_1001_7 - 4*c_0101_3*c_0110_7*c_1001_7 + 3*c_0110_7^2*c_1001_7 - 2*c_0011_2*c_1001_3*c_1001_7 - 5*c_0101_0*c_1001_3*c_1001_7 + 3*c_0101_2*c_1001_3*c_1001_7 + c_0110_7*c_1001_3*c_1001_7 - 6*c_1001_3^2*c_1001_7 + 2*c_0011_2*c_1001_7^2 - c_0101_0*c_1001_7^2 - 7*c_0101_2*c_1001_7^2 - 4*c_0110_7*c_1001_7^2 - 2*c_1001_3*c_1001_7^2 - 3*c_0011_10^2 - 2*c_0011_10*c_0101_0 - 4*c_0011_11*c_0101_10 - 2*c_0011_2*c_0101_10 + 3*c_0101_10^2 - c_0101_10*c_0101_2 + 3*c_0011_10*c_0101_3 - 2*c_0101_10*c_0101_3 + 8*c_0011_10*c_0110_7 + c_0011_11*c_0110_7 - 5*c_0101_10*c_1001_3 - 2*c_0011_10*c_1001_7 - c_0101_10*c_1001_7 + 2*c_0101_2*c_1001_7 + 6*c_0101_3*c_1001_7 + 7*c_0110_7*c_1001_7 + 12*c_1001_3*c_1001_7 + 6*c_1001_7^2 + 4*c_0011_10 - 2*c_0011_11 - 3*c_0101_10 - 6*c_1001_7, c_0011_2*c_0101_2*c_0110_7 + c_0011_10*c_0101_0 - c_0011_2*c_0101_10 + c_0011_11*c_0101_2 - c_0101_10*c_0101_2 + c_0101_3^2 + c_0011_2*c_0110_7 + 5*c_0101_0*c_0110_7 - c_0101_3*c_0110_7 + c_1001_3^2 + c_0011_2*c_1001_7 + c_0101_0*c_1001_7 + 2*c_0101_2*c_1001_7 + c_0011_10 + c_1001_3 + c_1001_7, c_0101_10*c_0101_2*c_0110_7 - 4*c_0101_10*c_0101_2*c_1001_7 + 2*c_0101_10*c_0101_3*c_1001_7 - 2*c_0011_11*c_0110_7*c_1001_7 - 3*c_0011_2*c_0110_7*c_1001_7 + 2*c_0101_2*c_0110_7*c_1001_7 - 4*c_0101_3*c_0110_7*c_1001_7 + 3*c_0110_7^2*c_1001_7 - c_0011_2*c_1001_3*c_1001_7 - 4*c_0101_0*c_1001_3*c_1001_7 + 2*c_0101_2*c_1001_3*c_1001_7 + c_0110_7*c_1001_3*c_1001_7 - 5*c_1001_3^2*c_1001_7 + 2*c_0011_2*c_1001_7^2 - c_0101_0*c_1001_7^2 - 6*c_0101_2*c_1001_7^2 - 4*c_0110_7*c_1001_7^2 - 2*c_1001_3*c_1001_7^2 - 3*c_0011_10^2 - 2*c_0011_10*c_0101_0 - 4*c_0011_11*c_0101_10 - 2*c_0011_2*c_0101_10 + 3*c_0101_10^2 - c_0011_11*c_0101_2 + 2*c_0011_10*c_0101_3 - 2*c_0101_10*c_0101_3 + 7*c_0011_10*c_0110_7 + c_0011_11*c_0110_7 - 5*c_0101_10*c_1001_3 - 2*c_0011_10*c_1001_7 - c_0101_10*c_1001_7 + c_0101_2*c_1001_7 + 5*c_0101_3*c_1001_7 + 7*c_0110_7*c_1001_7 + 11*c_1001_3*c_1001_7 + 6*c_1001_7^2 + 4*c_0011_10 - 2*c_0011_11 - 3*c_0101_10 - 6*c_1001_7, c_0101_2^2*c_0110_7 - c_0011_11*c_0101_2 - c_0110_7*c_1001_3 + c_0101_3 + 2*c_0110_7, c_0011_10*c_0101_3*c_0110_7 - 4*c_0101_10*c_0101_2*c_1001_7 + 2*c_0101_10*c_0101_3*c_1001_7 - 2*c_0011_11*c_0110_7*c_1001_7 - 4*c_0101_3*c_0110_7*c_1001_7 + 13/4*c_0110_7^2*c_1001_7 + 9/4*c_0110_7*c_1001_3*c_1001_7 - c_1001_3^2*c_1001_7 + 2*c_0011_2*c_1001_7^2 - 3/4*c_0101_0*c_1001_7^2 - 9/4*c_0101_2*c_1001_7^2 - 4*c_0110_7*c_1001_7^2 - 2*c_1001_3*c_1001_7^2 - 11/4*c_0011_10^2 - 5/2*c_0011_11*c_0101_10 - c_0011_2*c_0101_10 + 11/4*c_0101_10^2 - 4*c_0011_10*c_0101_3 - 3*c_0101_10*c_0101_3 + 3*c_0101_3^2 - 3/4*c_0011_10*c_0110_7 - c_0011_11*c_0110_7 + 3*c_0011_2*c_0110_7 + 9*c_0101_0*c_0110_7 + 9/4*c_0101_10*c_0110_7 - 25/4*c_0101_10*c_1001_3 + 3*c_1001_3^2 - 5/2*c_0011_10*c_1001_7 - 2*c_0101_0*c_1001_7 - 1/4*c_0101_10*c_1001_7 + 6*c_0101_2*c_1001_7 + 4*c_0101_3*c_1001_7 + 6*c_0110_7*c_1001_7 + 3*c_1001_3*c_1001_7 + 11/2*c_1001_7^2 + 4*c_0011_10 - 21/4*c_0011_11 - 33/4*c_1001_7, c_0101_10*c_0101_3*c_0110_7 + 3/4*c_0110_7^2*c_1001_7 + 3/4*c_0110_7*c_1001_3*c_1001_7 - 1/4*c_0101_0*c_1001_7^2 - 3/4*c_0101_2*c_1001_7^2 - 1/4*c_0011_10^2 - 3/2*c_0011_11*c_0101_10 + 1/4*c_0101_10^2 + 11/4*c_0011_10*c_0110_7 - 1/4*c_0101_10*c_0110_7 - 3/4*c_0101_10*c_1001_3 + 1/2*c_0011_10*c_1001_7 - 3/4*c_0101_10*c_1001_7 - c_0101_3*c_1001_7 + 1/2*c_1001_7^2 + 1/4*c_0011_11 + 5/4*c_1001_7, c_0101_3^2*c_0110_7 + 2*c_0101_0*c_0110_7^2 + c_0101_2*c_0110_7*c_1001_3 + c_0101_10*c_0101_2*c_1001_7 - 1/2*c_0101_10*c_0101_3*c_1001_7 + 1/2*c_0011_11*c_0110_7*c_1001_7 + c_0011_2*c_0110_7*c_1001_7 + 1/2*c_0101_2*c_0110_7*c_1001_7 + c_0101_3*c_0110_7*c_1001_7 - 3/4*c_0110_7^2*c_1001_7 + 1/2*c_0011_2*c_1001_3*c_1001_7 + c_0101_0*c_1001_3*c_1001_7 - 1/2*c_0101_2*c_1001_3*c_1001_7 - 1/4*c_0110_7*c_1001_3*c_1001_7 + 3/2*c_1001_3^2*c_1001_7 - 1/2*c_0011_2*c_1001_7^2 + 1/4*c_0101_0*c_1001_7^2 + 7/4*c_0101_2*c_1001_7^2 + c_0110_7*c_1001_7^2 + 1/2*c_1001_3*c_1001_7^2 + 3/4*c_0011_10^2 + 1/2*c_0011_10*c_0101_0 + c_0011_11*c_0101_10 + 1/2*c_0011_2*c_0101_10 - 3/4*c_0101_10^2 - 1/2*c_0011_10*c_0101_3 + 3/2*c_0101_10*c_0101_3 - c_0101_3^2 - 1/4*c_0011_10*c_0110_7 - c_0011_11*c_0110_7 - c_0011_2*c_0110_7 - 3*c_0101_0*c_0110_7 + 1/4*c_0101_10*c_0110_7 + c_0101_2*c_0110_7 - c_0011_2*c_1001_3 - c_0101_0*c_1001_3 + 9/4*c_0101_10*c_1001_3 - c_1001_3^2 + 1/2*c_0011_10*c_1001_7 + 1/2*c_0101_0*c_1001_7 + 1/4*c_0101_10*c_1001_7 - 5/2*c_0101_2*c_1001_7 - 2*c_0101_3*c_1001_7 - 7/2*c_0110_7*c_1001_7 - 7/2*c_1001_3*c_1001_7 - 3/2*c_1001_7^2 - 5/2*c_0011_10 + 1/4*c_0011_11 + 1/2*c_0101_10 + c_0101_3 + 13/4*c_1001_7, c_0011_10*c_0110_7^2 - c_0101_10*c_0101_2*c_1001_7 - 2*c_0101_3*c_0110_7*c_1001_7 + 1/4*c_0110_7^2*c_1001_7 + 1/4*c_0110_7*c_1001_3*c_1001_7 + c_0011_2*c_1001_7^2 + 1/4*c_0101_0*c_1001_7^2 - 1/4*c_0101_2*c_1001_7^2 + 1/4*c_0011_10^2 - 1/2*c_0011_11*c_0101_10 + 3/4*c_0101_10^2 - 2*c_0011_10*c_0101_3 + c_0101_10*c_0101_3 + 1/4*c_0011_10*c_0110_7 + 1/4*c_0101_10*c_0110_7 - 1/4*c_0101_10*c_1001_3 + 1/2*c_0011_10*c_1001_7 - 1/4*c_0101_10*c_1001_7 + 2*c_0110_7*c_1001_7 + 1/2*c_1001_7^2 - 1/4*c_0011_11 - c_0101_10 - 1/4*c_1001_7, c_0011_11*c_0110_7^2 + 11/4*c_0110_7^2*c_1001_7 + 7/4*c_0110_7*c_1001_3*c_1001_7 - 1/4*c_0101_0*c_1001_7^2 - 3/4*c_0101_2*c_1001_7^2 - 1/4*c_0011_10^2 - 3/2*c_0011_11*c_0101_10 + 1/4*c_0101_10^2 + 11/4*c_0011_10*c_0110_7 - 1/4*c_0101_10*c_0110_7 - 7/4*c_0101_10*c_1001_3 + 1/2*c_0011_10*c_1001_7 - 3/4*c_0101_10*c_1001_7 + 1/2*c_1001_7^2 - 3/4*c_0011_11 - 3/4*c_1001_7, c_0011_2*c_0110_7^2 + c_0101_0*c_0110_7^2 - c_0101_2*c_0110_7*c_1001_3 + c_0110_7*c_1001_3^2 + c_0101_2*c_0110_7*c_1001_7 - c_0101_2*c_0110_7 + c_0011_2*c_1001_3 + c_0101_0*c_1001_3 + c_0011_11 - c_0101_3, c_0101_10*c_0110_7^2 + 2*c_0101_10*c_0101_2*c_1001_7 + 3*c_0101_3*c_0110_7*c_1001_7 - 1/4*c_0110_7^2*c_1001_7 - 1/4*c_0110_7*c_1001_3*c_1001_7 - c_0011_2*c_1001_7^2 - 1/4*c_0101_0*c_1001_7^2 + 1/4*c_0101_2*c_1001_7^2 - 1/4*c_0011_10^2 + 1/2*c_0011_11*c_0101_10 - 3/4*c_0101_10^2 + 3*c_0011_10*c_0101_3 - 1/4*c_0011_10*c_0110_7 - 1/4*c_0101_10*c_0110_7 + 1/4*c_0101_10*c_1001_3 - 1/2*c_0011_10*c_1001_7 + 1/4*c_0101_10*c_1001_7 - c_0110_7*c_1001_7 - 1/2*c_1001_7^2 + 1/4*c_0011_11 + c_0101_10 + 1/4*c_1001_7, c_0101_0^2*c_1001_3 - c_0101_0^2 - c_0011_2*c_0110_7 - c_0101_0*c_0110_7 + c_0101_2*c_1001_3 - c_1001_3^2 - c_0101_2*c_1001_7, c_0011_2*c_0101_10*c_1001_3 - 4*c_0101_10*c_0101_2*c_1001_7 + 2*c_0101_10*c_0101_3*c_1001_7 - 2*c_0011_11*c_0110_7*c_1001_7 - 4*c_0011_2*c_0110_7*c_1001_7 + c_0101_2*c_0110_7*c_1001_7 - 4*c_0101_3*c_0110_7*c_1001_7 + 3*c_0110_7^2*c_1001_7 - 2*c_0011_2*c_1001_3*c_1001_7 - 5*c_0101_0*c_1001_3*c_1001_7 + 2*c_0101_2*c_1001_3*c_1001_7 + c_0110_7*c_1001_3*c_1001_7 - 6*c_1001_3^2*c_1001_7 + 2*c_0011_2*c_1001_7^2 - c_0101_0*c_1001_7^2 - 7*c_0101_2*c_1001_7^2 - 4*c_0110_7*c_1001_7^2 - 2*c_1001_3*c_1001_7^2 - 3*c_0011_10^2 - 3*c_0011_10*c_0101_0 - 4*c_0011_11*c_0101_10 - c_0011_2*c_0101_10 + 3*c_0101_10^2 - c_0011_11*c_0101_2 + 3*c_0011_10*c_0101_3 - 2*c_0101_10*c_0101_3 - c_0101_3^2 + 8*c_0011_10*c_0110_7 + c_0011_11*c_0110_7 - c_0011_2*c_0110_7 - 3*c_0101_0*c_0110_7 - 5*c_0101_10*c_1001_3 - c_1001_3^2 - 2*c_0011_10*c_1001_7 + c_0011_2*c_1001_7 - c_0101_0*c_1001_7 - c_0101_10*c_1001_7 + 6*c_0101_3*c_1001_7 + 7*c_0110_7*c_1001_7 + 12*c_1001_3*c_1001_7 + 6*c_1001_7^2 + 3*c_0011_10 - 2*c_0011_11 - 3*c_0101_10 - 7*c_1001_7, c_0101_10^2*c_1001_3 - c_0011_11*c_0110_7*c_1001_7 - c_0110_7*c_1001_7^2 + c_0011_11*c_0101_10 - c_0011_10*c_1001_7 + c_0101_10*c_1001_7, c_0011_2*c_0101_2*c_1001_3 + c_0101_0*c_1001_3 - c_0101_0 + c_0101_3 + c_0110_7, c_0101_10*c_0101_2*c_1001_3 + 4*c_0101_10*c_0101_2*c_1001_7 - 2*c_0101_10*c_0101_3*c_1001_7 + 2*c_0011_11*c_0110_7*c_1001_7 + 2*c_0011_2*c_0110_7*c_1001_7 - 2*c_0101_2*c_0110_7*c_1001_7 + 4*c_0101_3*c_0110_7*c_1001_7 - 3*c_0110_7^2*c_1001_7 + c_0011_2*c_1001_3*c_1001_7 + 4*c_0101_0*c_1001_3*c_1001_7 - 2*c_0101_2*c_1001_3*c_1001_7 - c_0110_7*c_1001_3*c_1001_7 + 5*c_1001_3^2*c_1001_7 - 2*c_0011_2*c_1001_7^2 + c_0101_0*c_1001_7^2 + 6*c_0101_2*c_1001_7^2 + 4*c_0110_7*c_1001_7^2 + 2*c_1001_3*c_1001_7^2 + 3*c_0011_10^2 + 2*c_0011_10*c_0101_0 + 4*c_0011_11*c_0101_10 + c_0011_2*c_0101_10 - 3*c_0101_10^2 + c_0011_11*c_0101_2 - 2*c_0011_10*c_0101_3 + 2*c_0101_10*c_0101_3 - c_0101_3^2 - 7*c_0011_10*c_0110_7 - c_0011_11*c_0110_7 - c_0011_2*c_0110_7 - 3*c_0101_0*c_0110_7 + 5*c_0101_10*c_1001_3 - c_1001_3^2 + 2*c_0011_10*c_1001_7 + c_0101_10*c_1001_7 - 2*c_0101_2*c_1001_7 - 5*c_0101_3*c_1001_7 - 7*c_0110_7*c_1001_7 - 11*c_1001_3*c_1001_7 - 6*c_1001_7^2 - 4*c_0011_10 + 2*c_0011_11 + 3*c_0101_10 + 6*c_1001_7, c_0101_2^2*c_1001_3 - c_1001_3^2 - c_0101_2*c_1001_7 + 2*c_1001_3 - 1, c_0011_2*c_0110_7*c_1001_3 + c_1001_3^3 + c_0101_2*c_1001_3*c_1001_7 + c_0011_10*c_0101_0 + 3*c_0101_3^2 + 3*c_0011_2*c_0110_7 + 6*c_0101_0*c_0110_7 + 2*c_0101_3*c_0110_7 + 3*c_0101_2*c_1001_7, c_0101_0*c_0110_7*c_1001_3 - c_0101_3^2 - c_0011_2*c_0110_7 - 2*c_0101_0*c_0110_7 - c_0101_3*c_0110_7 - c_0101_2*c_1001_7, c_0101_10*c_0110_7*c_1001_3 - c_0101_10*c_0101_2*c_1001_7 - c_0101_3*c_0110_7*c_1001_7 - c_0011_10*c_0101_3 - c_0110_7*c_1001_7 - c_0011_10 - c_0101_10, c_0011_2*c_1001_3^2 + c_0101_2*c_0110_7 + c_0101_0*c_1001_3 - c_0101_0*c_1001_7 + c_0011_10 - c_0011_11, c_0101_0*c_1001_3^2 - c_0011_2*c_1001_3 - 2*c_0101_0*c_1001_3 + c_0011_2*c_1001_7 + c_0101_0*c_1001_7 + c_0101_3 + c_0110_7, c_0101_10*c_1001_3^2 + c_0101_10*c_0101_2*c_1001_7 + c_0011_10*c_0101_0 - c_0011_10*c_0101_3 - c_0101_3^2 - c_0011_11*c_0110_7 - c_0011_2*c_0110_7 - 3*c_0101_0*c_0110_7 - c_1001_3^2 - 2*c_0101_2*c_1001_7 - c_0110_7*c_1001_7 - 2*c_1001_3*c_1001_7 - c_0011_10 + c_0101_10 + c_1001_7, c_0101_2*c_1001_3^2 + c_0011_10*c_0101_0 + 2*c_0101_3^2 + 3*c_0011_2*c_0110_7 + 5*c_0101_0*c_0110_7 + c_0101_3*c_0110_7 + c_1001_3^2 + 3*c_0101_2*c_1001_7 - c_1001_7, c_0011_10*c_0101_0*c_1001_7 - c_0101_10*c_0101_2*c_1001_7 - c_0101_3*c_0110_7*c_1001_7 + c_0110_7^2*c_1001_7 + c_0110_7*c_1001_3*c_1001_7 + c_0011_2*c_1001_7^2 + c_0101_0*c_1001_7^2 - c_0101_2*c_1001_7^2 - c_0011_10^2 - c_0011_11*c_0101_10 - c_0011_10*c_0101_3 + c_0011_10*c_0110_7 - c_0011_11*c_0110_7 + c_0101_10*c_0110_7 - c_0101_10*c_1001_3 + c_0011_10*c_1001_7 - c_0101_10*c_1001_7 + 2*c_1001_7^2 - c_0011_11 - c_1001_7, c_0101_0^2*c_1001_7 - c_0011_10*c_0101_0 - c_0101_3^2 - c_0011_2*c_0110_7 - 3*c_0101_0*c_0110_7 - c_1001_3^2 - c_0101_2*c_1001_7 - c_1001_7, c_0011_2*c_0101_10*c_1001_7 - 2*c_0101_10*c_0101_2*c_1001_7 + c_0101_10*c_0101_3*c_1001_7 - c_0011_11*c_0110_7*c_1001_7 - 2*c_0101_3*c_0110_7*c_1001_7 + 5/2*c_0110_7^2*c_1001_7 + 5/2*c_0110_7*c_1001_3*c_1001_7 + c_0011_2*c_1001_7^2 - 1/2*c_0101_0*c_1001_7^2 - 3/2*c_0101_2*c_1001_7^2 - 2*c_0110_7*c_1001_7^2 - c_1001_3*c_1001_7^2 - 3/2*c_0011_10^2 - 2*c_0011_11*c_0101_10 + 3/2*c_0101_10^2 - 2*c_0011_10*c_0101_3 + 5/2*c_0011_10*c_0110_7 - 2*c_0011_11*c_0110_7 + 5/2*c_0101_10*c_0110_7 - 5/2*c_0101_10*c_1001_3 - c_0011_10*c_1001_7 - 1/2*c_0101_10*c_1001_7 + 3*c_1001_7^2 - 5/2*c_0011_11 - 5/2*c_1001_7, c_0011_11*c_0101_2*c_1001_7 - 2*c_0101_10*c_0101_2*c_1001_7 + c_0101_10*c_0101_3*c_1001_7 - c_0011_11*c_0110_7*c_1001_7 - 2*c_0101_3*c_0110_7*c_1001_7 + 3/2*c_0110_7^2*c_1001_7 + 3/2*c_0110_7*c_1001_3*c_1001_7 + c_0011_2*c_1001_7^2 - 1/2*c_0101_0*c_1001_7^2 - 1/2*c_0101_2*c_1001_7^2 - 2*c_0110_7*c_1001_7^2 - c_1001_3*c_1001_7^2 - 3/2*c_0011_10^2 - 2*c_0011_11*c_0101_10 + 3/2*c_0101_10^2 - 2*c_0011_10*c_0101_3 + 3/2*c_0011_10*c_0110_7 - 2*c_0011_11*c_0110_7 + 3/2*c_0101_10*c_0110_7 - 3/2*c_0101_10*c_1001_3 - c_0011_10*c_1001_7 - 1/2*c_0101_10*c_1001_7 + 3*c_1001_7^2 - 3/2*c_0011_11 - 3/2*c_1001_7, c_0011_2*c_0101_2*c_1001_7 + c_0101_0*c_1001_7 - c_0011_10 + c_0011_11, c_0101_2^2*c_1001_7 - 2*c_0011_10*c_0101_0 + c_0011_2*c_0101_10 - c_0011_11*c_0101_2 + c_0101_10*c_0101_2 - 3*c_0101_3^2 - 3*c_0011_2*c_0110_7 - 9*c_0101_0*c_0110_7 - 3*c_1001_3^2 - c_0011_2*c_1001_7 - c_0101_0*c_1001_7 - 6*c_0101_2*c_1001_7 - c_0011_10, c_0101_3^2*c_1001_7 + c_0011_2*c_0110_7*c_1001_7 + c_1001_3^2*c_1001_7 + 2*c_0101_2*c_1001_7^2 + c_0011_10^2 + c_0011_11*c_0101_10 - 3*c_0011_10*c_0101_3 - 3*c_0011_10*c_0110_7 + c_0101_10*c_1001_7 - 3*c_1001_3*c_1001_7 - c_1001_7^2, c_0011_10*c_0110_7*c_1001_7 + c_0101_10*c_0110_7*c_1001_7 + c_0101_10*c_1001_3*c_1001_7 + c_0011_10^2 - c_0101_10^2 - c_0011_11*c_1001_7 - c_1001_7^2, c_0101_0*c_0110_7*c_1001_7 + c_0011_10*c_0101_3 + c_0011_10*c_0110_7 + c_1001_3*c_1001_7, c_0011_10*c_0011_11 + c_0011_11*c_0101_10 + c_0101_10*c_1001_7, c_0011_11^2 - c_0101_10^2 + c_0011_11*c_1001_7, c_0011_10*c_0011_2 - c_0101_3^2 - c_0011_2*c_0110_7 - 3*c_0101_0*c_0110_7 - c_1001_3^2 - c_0101_2*c_1001_7, c_0011_11*c_0011_2 + c_0011_10*c_0101_0 - c_0011_2*c_0101_10 + c_0011_11*c_0101_2 - c_0101_10*c_0101_2 + c_0101_3^2 + c_0011_2*c_0110_7 + 3*c_0101_0*c_0110_7 + c_1001_3^2 + c_0011_2*c_1001_7 + c_0101_0*c_1001_7 + 2*c_0101_2*c_1001_7 + c_0011_10 + c_1001_7, c_0011_2^2 - c_0101_0^2 - c_0101_2 + 2, c_0011_11*c_0101_0 + c_0101_3^2 + c_0011_2*c_0110_7 + 3*c_0101_0*c_0110_7 + c_1001_3^2 + 2*c_0101_2*c_1001_7, c_0011_2*c_0101_0 + c_0101_0^2 - 1, c_0011_10*c_0101_10 + c_0101_10^2 + c_0011_11*c_1001_7 + c_1001_7^2, c_0101_0*c_0101_10 - c_0101_10*c_0101_3 + c_0101_3^2 - c_0011_10*c_0110_7 + c_0011_11*c_0110_7 + c_0011_2*c_0110_7 + 3*c_0101_0*c_0110_7 - c_0101_10*c_0110_7 - c_0101_10*c_1001_3 + c_1001_3^2 + 2*c_0101_2*c_1001_7 + 2*c_0110_7*c_1001_7 + c_1001_3*c_1001_7 + 2*c_0011_10 - c_1001_7, c_0011_10*c_0101_2 + c_0011_2*c_1001_7, c_0101_0*c_0101_2 - c_0011_2 - c_0101_0, c_0011_11*c_0101_3 + c_0011_10*c_0110_7 + c_1001_7, c_0011_2*c_0101_3 - c_0101_0*c_0110_7 - c_0101_2*c_1001_3, c_0101_0*c_0101_3 + c_0011_2*c_0110_7 + 2*c_0101_0*c_0110_7 + c_1001_3^2 + c_0101_2*c_1001_7 - c_1001_3, c_0101_2*c_0101_3 - c_0011_2*c_1001_3 - c_0101_0, c_0011_10*c_1001_3 - c_0101_0*c_1001_7 + c_0101_3*c_1001_7 - c_0011_10, c_0011_11*c_1001_3 - c_0110_7*c_1001_7 - c_0011_10, c_0101_3*c_1001_3 + c_0011_2*c_1001_7 + c_0110_7, c_0011_0 - 1, c_0011_3 - 1 ] ] IDEAL=DECOMPOSITION=ENDS=HERE FREE=VARIABLES=IN=COMPONENTS=BEGINS=HERE [ [ "c_1001_7" ] ] FREE=VARIABLES=IN=COMPONENTS=ENDS=HERE Status: Finding witnesses for non-zero dimensional ideals... Status: Computing Groebner basis... Time: 0.070 Status: Saturating ideal ( 1 / 12 )... Time: 0.030 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.020 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.020 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 6 / 12 )... Time: 0.020 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 7 / 12 )... Time: 0.020 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 8 / 12 )... Time: 0.030 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.030 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.020 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: 1.000 ==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_2, c_0011_3, c_0101_0, c_0101_10, c_0101_2, c_0101_3, c_0110_7, c_1001_3, c_1001_7 Inhomogeneous, Dimension 0, Radical, Prime Groebner basis: [ c_0011_0 - 1, c_0011_10 - 34145533118142663375502821658661494258583674645/154927625646661\ 040859600534735847038676760846496*c_1001_3^27 + 75806639874188693017520278654309952814503423029/51642541882220346953200\ 178245282346225586948832*c_1001_3^26 - 259178811380019956544318288576793532359377936283/5164254188222034695320\ 0178245282346225586948832*c_1001_3^25 + 1969485784222278318093252244627534508631972132821/154927625646661040859\ 600534735847038676760846496*c_1001_3^24 - 435773664224285277232481967572430811743882759547/1936595320583263010745\ 0066841980879834595105812*c_1001_3^23 + 1192345001357127492198784865126772011566169852361/516425418822203469532\ 00178245282346225586948832*c_1001_3^22 + 1486282385987175787999151423591876272527619483873/154927625646661040859\ 600534735847038676760846496*c_1001_3^21 - 5681083000097697396194485290104781017018565763537/774638128233305204298\ 00267367923519338380423248*c_1001_3^20 - 635974979571934347299137661457475253228319864601/1549276256466610408596\ 00534735847038676760846496*c_1001_3^19 + 70910707383293304433444016268023662606484191780015/77463812823330520429\ 800267367923519338380423248*c_1001_3^18 - 21206279530580078170713844514957492517828062926093/48414883014581575268\ 62516710495219958648776453*c_1001_3^17 + 2086347553212815999412371749738358666234705695317551/154927625646661040\ 859600534735847038676760846496*c_1001_3^16 - 1245073643284074458843130751214504093144191696983265/387319064116652602\ 14900133683961759669190211624*c_1001_3^15 + 194012008579254483972721594031889079005264540748711/3037796581307079232\ 541186955604843895622761696*c_1001_3^14 - 4237713402102602505975086305238095111501317955314895/387319064116652602\ 14900133683961759669190211624*c_1001_3^13 + 25554882107925549354607595717115373753539499945692869/15492762564666104\ 0859600534735847038676760846496*c_1001_3^12 - 34294508047090839771078553057153008587321580406858291/15492762564666104\ 0859600534735847038676760846496*c_1001_3^11 + 10306522463494880672430812276878849427142987721576177/38731906411665260\ 214900133683961759669190211624*c_1001_3^10 - 7418675678178755659877564200358542996033058720639057/258212709411101734\ 76600089122641173112793474416*c_1001_3^9 + 21565942765409779489068169077201935473069732149860269/77463812823330520\ 429800267367923519338380423248*c_1001_3^8 - 12443787939769368107977026565546544339757100589545415/51642541882220346\ 953200178245282346225586948832*c_1001_3^7 + 2384114005375989940501136651106906730717536060691131/129106354705550867\ 38300044561320586556396737208*c_1001_3^6 - 4788601121442111162899437879405789138868851996637147/387319064116652602\ 14900133683961759669190211624*c_1001_3^5 + 3659762949189865151806827192436329631771343453668705/516425418822203469\ 53200178245282346225586948832*c_1001_3^4 - 5212391218888886797145483452107871875882413611979143/154927625646661040\ 859600534735847038676760846496*c_1001_3^3 + 113731051835385849618268092298109846611789637267159/9113389743921237697\ 623560866814531686868285088*c_1001_3^2 - 166733553317543823518999706174995941010633005114961/5164254188222034695\ 3200178245282346225586948832*c_1001_3 + 33638752405747234737987550715955967447028442738845/77463812823330520429\ 800267367923519338380423248, c_0011_11 - 23507275388687126174530553513822597241743067529/154927625646661\ 040859600534735847038676760846496*c_1001_3^27 + 157905469418046615352568438431894861603563110171/1549276256466610408596\ 00534735847038676760846496*c_1001_3^26 - 544239533074437811246576451936583552304875416917/1549276256466610408596\ 00534735847038676760846496*c_1001_3^25 + 1386043043925903216213415240317626221674695723305/154927625646661040859\ 600534735847038676760846496*c_1001_3^24 - 309342108034194088795541819814744306884913869219/1936595320583263010745\ 0066841980879834595105812*c_1001_3^23 + 2591104836277713013434833749255978248474460554599/154927625646661040859\ 600534735847038676760846496*c_1001_3^22 + 300985930803618137129914487979858671239170860375/5164254188222034695320\ 0178245282346225586948832*c_1001_3^21 - 3956594646182174758796369341977705700385535324469/774638128233305204298\ 00267367923519338380423248*c_1001_3^20 + 10909473731044418977874140586391105862878446337/51642541882220346953200\ 178245282346225586948832*c_1001_3^19 + 48852106620711611435865941818274401643751844569835/77463812823330520429\ 800267367923519338380423248*c_1001_3^18 - 4925975546866581009419896971596506309886546366947/161382943381938584228\ 7505570165073319549592151*c_1001_3^17 + 1462940145161217381623004552896472353448488027028779/154927625646661040\ 859600534735847038676760846496*c_1001_3^16 - 877217196616102682377942120904483017844215943804213/3873190641166526021\ 4900133683961759669190211624*c_1001_3^15 + 411757238882528527557212108001601137586994222886857/9113389743921237697\ 623560866814531686868285088*c_1001_3^14 - 1003020179737455054140181626767016379752027192271113/129106354705550867\ 38300044561320586556396737208*c_1001_3^13 + 18208937971405828989856971662309837863449607399108217/15492762564666104\ 0859600534735847038676760846496*c_1001_3^12 - 24519417501513868252829454240165153674870130229372127/15492762564666104\ 0859600534735847038676760846496*c_1001_3^11 + 7393917408478324783375916452551573475163009244842765/387319064116652602\ 14900133683961759669190211624*c_1001_3^10 - 16022087600272804504114213971940584244732607539220015/77463812823330520\ 429800267367923519338380423248*c_1001_3^9 + 15582044267989164192350044921278331796397231303092273/77463812823330520\ 429800267367923519338380423248*c_1001_3^8 - 27079927371891345428834119072021947244217159786381705/15492762564666104\ 0859600534735847038676760846496*c_1001_3^7 + 5211094879239112096103675731071304151611387677865645/387319064116652602\ 14900133683961759669190211624*c_1001_3^6 - 3506270397493873228957008042918584724758631151144807/387319064116652602\ 14900133683961759669190211624*c_1001_3^5 + 8085733298353300626973722203893168360870934889485327/154927625646661040\ 859600534735847038676760846496*c_1001_3^4 - 3865765420135914191169717150327578895715421267423747/154927625646661040\ 859600534735847038676760846496*c_1001_3^3 + 85116209664983819491237217126573734930467598480243/91133897439212376976\ 23560866814531686868285088*c_1001_3^2 - 379006304772216932562560218093333720762117134592543/1549276256466610408\ 59600534735847038676760846496*c_1001_3 + 8671175439834046642784430925035300041709514125227/258212709411101734766\ 00089122641173112793474416, c_0011_2 + 727207393504883209899141233588557333044070159/129106354705550867\ 38300044561320586556396737208*c_1001_3^27 - 14274588506699995773041953868168127823581556375/38731906411665260214900\ 133683961759669190211624*c_1001_3^26 + 48299116567132140957590199589720781996936562953/38731906411665260214900\ 133683961759669190211624*c_1001_3^25 - 122067655157250811681165803847623575177777392093/3873190641166526021490\ 0133683961759669190211624*c_1001_3^24 + 26810487161704412619962616237723115789284523352/48414883014581575268625\ 16710495219958648776453*c_1001_3^23 - 217782192111366928941624889245470499504343525147/3873190641166526021490\ 0133683961759669190211624*c_1001_3^22 - 97118749539824484301940912196451425225570492505/38731906411665260214900\ 133683961759669190211624*c_1001_3^21 + 116117186170498101479421547870089454297974352327/6455317735277543369150\ 022280660293278198368604*c_1001_3^20 + 94960656126270536384400253332093447868915403809/38731906411665260214900\ 133683961759669190211624*c_1001_3^19 - 1492440546901689530073131860206171324763133882845/645531773527754336915\ 0022280660293278198368604*c_1001_3^18 + 5294871551447911811487197395337633929785920854639/484148830145815752686\ 2516710495219958648776453*c_1001_3^17 - 43198763181370022042059319043079597259404054699077/12910635470555086738\ 300044561320586556396737208*c_1001_3^16 + 77122411064453530494335299139409219494567983871255/96829766029163150537\ 25033420990439917297552906*c_1001_3^15 - 35993928632880028436497272032766579665656161323941/22783474359803094244\ 05890216703632921717071272*c_1001_3^14 + 261827446421861876905601283624404761261884103702681/9682976602916315053\ 725033420990439917297552906*c_1001_3^13 - 526080478167291754556068628063767526313613461677663/1291063547055508673\ 8300044561320586556396737208*c_1001_3^12 + 2117915568682426319509881231582166223851993355332811/387319064116652602\ 14900133683961759669190211624*c_1001_3^11 - 636720126649937823760824041999762113514380029307121/9682976602916315053\ 725033420990439917297552906*c_1001_3^10 + 1375948892615214600576368605039580326481152966652935/193659532058326301\ 07450066841980879834595105812*c_1001_3^9 - 1334782193544652084371309713911568360213126589368285/193659532058326301\ 07450066841980879834595105812*c_1001_3^8 + 2314304696610591835533939475560011559115795822470685/387319064116652602\ 14900133683961759669190211624*c_1001_3^7 - 444432324757255861822953955699809170635582206638225/9682976602916315053\ 725033420990439917297552906*c_1001_3^6 + 298516539721645724499598365936643698158556574213909/9682976602916315053\ 725033420990439917297552906*c_1001_3^5 - 687523373512343824049544677873765395961726225234827/3873190641166526021\ 4900133683961759669190211624*c_1001_3^4 + 328538462368008015914401514987664112951813083337295/3873190641166526021\ 4900133683961759669190211624*c_1001_3^3 - 7240572307627819685315075128429844466817508178559/227834743598030942440\ 5890216703632921717071272*c_1001_3^2 + 32364536932490639909797151540406456225295827899339/38731906411665260214\ 900133683961759669190211624*c_1001_3 - 2234365740917706018807135294822322116144442876997/193659532058326301074\ 50066841980879834595105812, c_0011_3 - 1, c_0101_0 - 3295161070379797846263998591107281807814786847/38731906411665260\ 214900133683961759669190211624*c_1001_3^27 + 7303006207156785496061224527887275145480997991/129106354705550867383000\ 44561320586556396737208*c_1001_3^26 - 25014116204288144846152163910589116243780769377/12910635470555086738300\ 044561320586556396737208*c_1001_3^25 + 190623064106244576841167504497026642023194587543/3873190641166526021490\ 0133683961759669190211624*c_1001_3^24 - 42277444978250765408933472847340406798619488173/48414883014581575268625\ 16710495219958648776453*c_1001_3^23 + 116742746198533180450306899440132375399848361363/1291063547055508673830\ 0044561320586556396737208*c_1001_3^22 + 135204458066405278582621550853552883211035050443/3873190641166526021490\ 0133683961759669190211624*c_1001_3^21 - 545275513131187523759206702843143488629832050907/1936595320583263010745\ 0066841980879834595105812*c_1001_3^20 - 46227395030158922935569311281310502567318153515/38731906411665260214900\ 133683961759669190211624*c_1001_3^19 + 6814184024130117603653805485488147945572340747289/193659532058326301074\ 50066841980879834595105812*c_1001_3^18 - 8178748525972998692080931136274282880818802029940/484148830145815752686\ 2516710495219958648776453*c_1001_3^17 + 201601506900662448161514629027857554552250944098125/3873190641166526021\ 4900133683961759669190211624*c_1001_3^16 - 120540569906633603500505342481794757117561815150117/9682976602916315053\ 725033420990439917297552906*c_1001_3^15 + 18816792115768818224351179246821064841694392786237/75944914532676980813\ 5296738901210973905690424*c_1001_3^14 - 411701200101998060229941969699170445907468187435037/9682976602916315053\ 725033420990439917297552906*c_1001_3^13 + 2486748964382339371952952101279315495125342556359759/387319064116652602\ 14900133683961759669190211624*c_1001_3^12 - 3342606406935755929826271291859428507541998807932273/387319064116652602\ 14900133683961759669190211624*c_1001_3^11 + 1006201782545523914861206369033171265368765388206271/968297660291631505\ 3725033420990439917297552906*c_1001_3^10 - 725485176854271147914897320437726635927004574510527/6455317735277543369\ 150022280660293278198368604*c_1001_3^9 + 2112664022969528677641913882233586011890968710743507/193659532058326301\ 07450066841980879834595105812*c_1001_3^8 - 1221336963869586419318482201932668550202030576783517/129106354705550867\ 38300044561320586556396737208*c_1001_3^7 + 234478248419245695177519686824374748169747772263541/3227658867638771684\ 575011140330146639099184302*c_1001_3^6 - 472012941039251379462896851752813605707987161206161/9682976602916315053\ 725033420990439917297552906*c_1001_3^5 + 361631133436031464978904293916176216338607539629259/1291063547055508673\ 8300044561320586556396737208*c_1001_3^4 - 516470851208012060275827052516272281698081664353253/3873190641166526021\ 4900133683961759669190211624*c_1001_3^3 + 11301795967814505850761724851834183060728347289773/22783474359803094244\ 05890216703632921717071272*c_1001_3^2 - 16608303579070777044278570132283500387113477656459/12910635470555086738\ 300044561320586556396737208*c_1001_3 + 3336854162166975272255376225945326595742655181259/193659532058326301074\ 50066841980879834595105812, c_0101_10 + 7066915745218089328722701392439674076343191519/5164254188222034\ 6953200178245282346225586948832*c_1001_3^27 - 141392107692628708380064614203413319635098459191/1549276256466610408596\ 00534735847038676760846496*c_1001_3^26 + 484585962845799958580120825063998189709400144985/1549276256466610408596\ 00534735847038676760846496*c_1001_3^25 - 1229293990157933194083703521870951898665129358013/154927625646661040859\ 600534735847038676760846496*c_1001_3^24 + 272509390117093043324199037829326231223498284651/1936595320583263010745\ 0066841980879834595105812*c_1001_3^23 - 2249576972657460699711196744084035360776453675603/154927625646661040859\ 600534735847038676760846496*c_1001_3^22 - 898782057331323053783936741035427660494371110153/1549276256466610408596\ 00534735847038676760846496*c_1001_3^21 + 1179299557620490743377953183880052791006695290947/258212709411101734766\ 00089122641173112793474416*c_1001_3^20 + 272481102798525760357936228955803497585005762369/1549276256466610408596\ 00534735847038676760846496*c_1001_3^19 - 14670683473750739517879279268704536736159064100013/25821270941110173476\ 600089122641173112793474416*c_1001_3^18 + 13201406363615834124544525948339768201402888212644/48414883014581575268\ 62516710495219958648776453*c_1001_3^17 - 433638456148446324328030034124972814739603238683309/5164254188222034695\ 3200178245282346225586948832*c_1001_3^16 + 777268824483048460120287847560803484344221204828633/3873190641166526021\ 4900133683961759669190211624*c_1001_3^15 - 363703536688456650832038950367067165997659520747549/9113389743921237697\ 623560866814531686868285088*c_1001_3^14 + 2650211940244743688066601224694447360796328560395639/387319064116652602\ 14900133683961759669190211624*c_1001_3^13 - 5331046304211855891748615970452266116858448167591631/516425418822203469\ 53200178245282346225586948832*c_1001_3^12 + 21476615687133381114888424246900018762090730271413995/15492762564666104\ 0859600534735847038676760846496*c_1001_3^11 - 6458288496651105453054112877774447988818786915023561/387319064116652602\ 14900133683961759669190211624*c_1001_3^10 + 13953974586808214424275910418953402186977202711255371/77463812823330520\ 429800267367923519338380423248*c_1001_3^9 - 13528691980154708525473912124329487978670794604245557/77463812823330520\ 429800267367923519338380423248*c_1001_3^8 + 23431071294620478657790934287504146400778831412650621/15492762564666104\ 0859600534735847038676760846496*c_1001_3^7 - 4491518968768733871072845735900062123304208200340601/387319064116652602\ 14900133683961759669190211624*c_1001_3^6 + 3008575902484772063617089029788402896641324909303651/387319064116652602\ 14900133683961759669190211624*c_1001_3^5 - 6901118425353702467735796925424500229430635261513627/154927625646661040\ 859600534735847038676760846496*c_1001_3^4 + 3277467311472690254247841167857185250043787934160799/154927625646661040\ 859600534735847038676760846496*c_1001_3^3 - 71527325230954098196828670872816839440551094398127/91133897439212376976\ 23560866814531686868285088*c_1001_3^2 + 314314101132775282960241608636056085505597887645387/1549276256466610408\ 59600534735847038676760846496*c_1001_3 - 21049363877999325030617871849577924563378107053861/77463812823330520429\ 800267367923519338380423248, c_0101_2 + 25268576623883981936966308116187804325867/4266568232172864090647\ 734488209050415200508*c_1001_3^27 - 46479007707747621705559939616424591\ 6954967/12799704696518592271943203464627151245601524*c_1001_3^26 + 1491694514597446941079900328729656347382661/127997046965185922719432034\ 64627151245601524*c_1001_3^25 - 365431678222756145579392660652134992159\ 6049/12799704696518592271943203464627151245601524*c_1001_3^24 + 1508617673550545170998301763995560791951893/319992617412964806798580086\ 6156787811400381*c_1001_3^23 - 5292702441952007092732149472817003661460\ 015/12799704696518592271943203464627151245601524*c_1001_3^22 - 5234940179613496680230023752716936499580837/127997046965185922719432034\ 64627151245601524*c_1001_3^21 + 363314727783010839800472869336795293372\ 2445/2133284116086432045323867244104525207600254*c_1001_3^20 + 11852463392893622806809278433155908681828045/12799704696518592271943203\ 464627151245601524*c_1001_3^19 - 50830157664372299784859704949164192899\ 909955/2133284116086432045323867244104525207600254*c_1001_3^18 + 336807790958425765826916413207840155492270844/3199926174129648067985800\ 866156787811400381*c_1001_3^17 - 13224122595188759219367840200767685699\ 79705533/4266568232172864090647734488209050415200508*c_1001_3^16 + 2291320280715836320190023457664258370475557358/319992617412964806798580\ 0866156787811400381*c_1001_3^15 - 1771645707601976763496579842686263991\ 8121306177/12799704696518592271943203464627151245601524*c_1001_3^14 + 7402798512413325082852063174980759539677417840/319992617412964806798580\ 0866156787811400381*c_1001_3^13 - 1453916149540032407054360702914209281\ 3472716755/4266568232172864090647734488209050415200508*c_1001_3^12 + 57213384579707882575378790896015523902415599379/12799704696518592271943\ 203464627151245601524*c_1001_3^11 - 16804967630566658577492546442671294\ 945282178142/3199926174129648067985800866156787811400381*c_1001_3^10 + 35444743936969755204675803855824505805519135169/63998523482592961359716\ 01732313575622800762*c_1001_3^9 - 3350303895815268663073285561601807779\ 4309676557/6399852348259296135971601732313575622800762*c_1001_3^8 + 56446283231418239298796340411947590427370491177/12799704696518592271943\ 203464627151245601524*c_1001_3^7 - 104976148881903654600165351137112769\ 19721071531/3199926174129648067985800866156787811400381*c_1001_3^6 + 6799723475592715922590590130364556837458328547/319992617412964806798580\ 0866156787811400381*c_1001_3^5 - 15034518161071886416037099255193353312\ 011544143/12799704696518592271943203464627151245601524*c_1001_3^4 + 6856438801747136652460573026858928389123244415/127997046965185922719432\ 03464627151245601524*c_1001_3^3 - 2453494370343437420451646324186406474\ 446807943/12799704696518592271943203464627151245601524*c_1001_3^2 + 642126046811040143248849377847195962617853503/1279970469651859227194320\ 3464627151245601524*c_1001_3 - 5566873844829922738650334110447190410399\ 6611/6399852348259296135971601732313575622800762, c_0101_3 - 2221674265571105068956571231360289135791705/21759497984081606862\ 3034458898661571175225908*c_1001_3^27 - 16157883014463344459974262302514751815383703/38731906411665260214900133\ 683961759669190211624*c_1001_3^26 + 16191479886902361197013044996593739\ 14815971491/9682976602916315053725033420990439917297552906*c_1001_3^25 - 8229689367904490095853666971440738930180604163/129106354705550867383000\ 44561320586556396737208*c_1001_3^24 + 12125349498195415550464085661834395405560074145/64553177352775433691500\ 22280660293278198368604*c_1001_3^23 - 33594208467139339019277936915751753471487699909/96829766029163150537250\ 33420990439917297552906*c_1001_3^22 + 146172824786173232226262521304397373110003305211/3873190641166526021490\ 0133683961759669190211624*c_1001_3^21 + 47441422105708234242411458734552776161367068057/19365953205832630107450\ 066841980879834595105812*c_1001_3^20 - 352042650935621547905674093801402935945728545927/1936595320583263010745\ 0066841980879834595105812*c_1001_3^19 + 1004966056710819775846632918193049197152479419487/387319064116652602149\ 00133683961759669190211624*c_1001_3^18 + 2652716342348397723136729695455774200967767359197/387319064116652602149\ 00133683961759669190211624*c_1001_3^17 - 19818945399517989851694094871540862083092161701041/38731906411665260214\ 900133683961759669190211624*c_1001_3^16 + 5634871137756016506393638615396710184440781457139/322765886763877168457\ 5011140330146639099184302*c_1001_3^15 - 83580522663428646385035411180961409837554723034327/19365953205832630107\ 450066841980879834595105812*c_1001_3^14 + 335349366096657328157262688069137701782106653853101/3873190641166526021\ 4900133683961759669190211624*c_1001_3^13 - 33696916797236752405244057114812250961843156810833/22783474359803094244\ 05890216703632921717071272*c_1001_3^12 + 35618149776719766178115472395458865113225669517834/16138294338193858422\ 87505570165073319549592151*c_1001_3^11 - 376247363130826265859703445329922473638861096208327/1291063547055508673\ 8300044561320586556396737208*c_1001_3^10 + 1328324004410718870646378855701062249847038453155783/387319064116652602\ 14900133683961759669190211624*c_1001_3^9 - 465667580957695932464413267096360379579497174021313/1291063547055508673\ 8300044561320586556396737208*c_1001_3^8 + 1310906637707888737430610273857284432880034385297061/387319064116652602\ 14900133683961759669190211624*c_1001_3^7 - 545003098171591665127496135468160758864591717172449/1936595320583263010\ 7450066841980879834595105812*c_1001_3^6 + 132357136479668134291261520761163623314322053164079/6455317735277543369\ 150022280660293278198368604*c_1001_3^5 - 124493198672790004297694104482414799910984136759239/9682976602916315053\ 725033420990439917297552906*c_1001_3^4 + 87151709747189204351829284329253037430743605206001/12910635470555086738\ 300044561320586556396737208*c_1001_3^3 - 9095879485466953194884994069986273616632862658915/322765886763877168457\ 5011140330146639099184302*c_1001_3^2 + 32786819173705588555320159903379887986664314859871/38731906411665260214\ 900133683961759669190211624*c_1001_3 - 2739700161768240980304808183752820481704358102171/193659532058326301074\ 50066841980879834595105812, c_0110_7 + 499099928336533666478353997496947241025280573/193659532058326301\ 07450066841980879834595105812*c_1001_3^27 - 4856660064753963178539893864297574753151881269/387319064116652602149001\ 33683961759669190211624*c_1001_3^26 + 2995293317757608133663768112748316687247090909/968297660291631505372503\ 3420990439917297552906*c_1001_3^25 - 23844175397178171542358600772077118497203898427/38731906411665260214900\ 133683961759669190211624*c_1001_3^24 + 10367365744597257098674792976332805722630051385/19365953205832630107450\ 066841980879834595105812*c_1001_3^23 + 6236330262784551461749636449395403346542812029/968297660291631505372503\ 3420990439917297552906*c_1001_3^22 - 48686950632821082511911044988651142303753317453/12910635470555086738300\ 044561320586556396737208*c_1001_3^21 + 93262333789157486532531532525887350139519659431/19365953205832630107450\ 066841980879834595105812*c_1001_3^20 + 86578979346723980597016860787614284824756144709/64553177352775433691500\ 22280660293278198368604*c_1001_3^19 - 3784625300481136390905460971438191428544538598067/387319064116652602149\ 00133683961759669190211624*c_1001_3^18 + 4212119753389276894598359313923188897391536740973/129106354705550867383\ 00044561320586556396737208*c_1001_3^17 - 30122359507234619626711743188644238248954439591987/38731906411665260214\ 900133683961759669190211624*c_1001_3^16 + 14103760662896143306962153343370353411636894938191/96829766029163150537\ 25033420990439917297552906*c_1001_3^15 - 43282845877552736837681975682125799443644699087757/19365953205832630107\ 450066841980879834595105812*c_1001_3^14 + 36548502702868123483544465887681288076121417855509/12910635470555086738\ 300044561320586556396737208*c_1001_3^13 - 111481966761566581194385405831592678104899988095107/3873190641166526021\ 4900133683961759669190211624*c_1001_3^12 + 9990394108975100201109806453257938229780645271785/484148830145815752686\ 2516710495219958648776453*c_1001_3^11 - 774581785880748807605907265744509798813998230207/2278347435980309424405\ 890216703632921717071272*c_1001_3^10 - 4508995470671251279103372388955442298106414536883/227834743598030942440\ 5890216703632921717071272*c_1001_3^9 + 166307925437231320061133627297336700448139498582119/3873190641166526021\ 4900133683961759669190211624*c_1001_3^8 - 230134044513292236999631024756016367085956083975857/3873190641166526021\ 4900133683961759669190211624*c_1001_3^7 + 7340076885064672259167437440995593281287154839229/113917371799015471220\ 2945108351816460858535636*c_1001_3^6 - 111421410331371115172732203347235567725776522741665/1936595320583263010\ 7450066841980879834595105812*c_1001_3^5 + 41303858670691868431624627641132590422724628824011/96829766029163150537\ 25033420990439917297552906*c_1001_3^4 - 100589946805083274272377328903441444325676289493375/3873190641166526021\ 4900133683961759669190211624*c_1001_3^3 + 12040132693565994490119073662051111531315672885073/96829766029163150537\ 25033420990439917297552906*c_1001_3^2 - 16485777076167401649481065419448304095990336678467/38731906411665260214\ 900133683961759669190211624*c_1001_3 + 521091160737901531682566549750081672684128571489/6455317735277543369150\ 022280660293278198368604, c_1001_3^28 - 8*c_1001_3^27 + 32*c_1001_3^26 - 90*c_1001_3^25 + 185*c_1001_3^24 - 255*c_1001_3^23 + 118*c_1001_3^22 + 375*c_1001_3^21 - 453*c_1001_3^20 - 4095*c_1001_3^19 + 25506*c_1001_3^18 - 88951*c_1001_3^17 + 232895*c_1001_3^16 - 500037*c_1001_3^15 + 918209*c_1001_3^14 - 1477041*c_1001_3^13 + 2111192*c_1001_3^12 - 2703439*c_1001_3^11 + 3114678*c_1001_3^10 - 3232308*c_1001_3^9 + 3015111*c_1001_3^8 - 2513957*c_1001_3^7 + 1856136*c_1001_3^6 - 1196715*c_1001_3^5 + 659622*c_1001_3^4 - 300406*c_1001_3^3 + 106566*c_1001_3^2 - 26297*c_1001_3 + 3394, c_1001_7 - 1 ] ==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: 7860.170 seconds, Total memory usage: 269.06MB