Magma V2.22-2 Sun Aug 9 2020 22:19:20 on zickert [Seed = 2815219688] Type ? for help. Type -D to quit. Loading file "ptolemy_data_ht/12_tetrahedra/L12n1257__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L12n1257 degenerate_solution 7.32772492 oriented_manifold CS_unknown 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 1 1 0 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 0 0 0 4 -1 -3 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.199999999699 0.400000001673 0 5 6 4 0132 0132 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -26662196.786042112857 127712779.700024366379 6 0 5 4 0213 0132 3120 2310 1 0 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -4 0 4 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.000000000546 0.000000002072 7 8 8 0 0132 0132 1302 0132 1 1 1 1 0 0 0 0 -1 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 -4 0 4 0 3 -3 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.000000007028 0.500000003988 2 1 0 7 3201 2310 0132 3012 1 1 1 0 0 0 1 -1 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 -3 0 0 0 0 -4 0 0 4 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.199999999699 0.400000001673 6 1 2 9 2031 0132 3120 0132 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.199999999098 0.399999999896 2 10 5 1 0213 0132 1302 0132 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 1.199999999098 0.399999999896 3 8 4 8 0132 2310 1230 3012 1 1 1 1 0 0 0 0 1 0 -1 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 4 0 -4 0 -1 1 0 0 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.000000030052 2.000000004752 3 3 7 7 2031 0132 1230 3201 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 1 0 0 -1 -4 3 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.199999998548 0.400000002394 11 10 5 11 0132 0213 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.999999999858 0.499999999175 11 6 9 11 2031 0132 0213 1023 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 -3 0 -1 4 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.000000002310 0.499999999758 9 9 10 10 0132 1302 1302 1023 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 1 3 -4 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.200000000954 0.399999998405 ==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_0011_2' : - d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0101_6' : - d['c_0011_0'], 'c_0101_0' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_3' : d['c_0101_0'], 'c_1010_4' : - d['c_0101_0'], 'c_0101_7' : d['c_0101_0'], 'c_0110_2' : - d['c_0101_1'], 'c_0110_0' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_1'], 'c_1001_0' : - d['c_0110_4'], 'c_1010_2' : - d['c_0110_4'], 'c_1010_3' : - d['c_0110_4'], 'c_0110_4' : d['c_0110_4'], 'c_1001_8' : - d['c_0110_4'], 'c_1100_7' : d['c_0110_4'], 'c_1010_1' : - d['c_1001_2'], 'c_1001_5' : - d['c_1001_2'], 'c_1010_0' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_4' : d['c_1001_2'], 'c_1010_7' : - d['c_0101_8'], 'c_1100_0' : d['c_0101_8'], 'c_1100_3' : d['c_0101_8'], 'c_1100_4' : d['c_0101_8'], 'c_0101_8' : d['c_0101_8'], 'c_1001_7' : - d['c_0101_8'], 'c_1001_3' : d['c_0101_8'], 'c_1010_8' : d['c_0101_8'], 'c_0110_8' : d['c_0101_8'], 'c_1001_1' : d['c_1001_1'], 'c_1010_5' : d['c_1001_1'], 'c_1010_6' : d['c_1001_1'], 'c_1001_9' : d['c_1001_1'], 'c_1001_10' : d['c_1001_1'], 'c_1100_2' : d['c_0011_4'], 'c_0101_5' : - d['c_0011_4'], 'c_1100_1' : - d['c_0011_4'], 'c_1100_6' : - d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0110_10' : - d['c_0011_10'], 'c_0101_2' : - d['c_0011_10'], 'c_0011_6' : - d['c_0011_10'], 'c_1100_5' : d['c_0011_10'], 'c_1100_9' : d['c_0011_10'], 'c_0011_10' : d['c_0011_10'], 'c_1010_11' : - d['c_0011_10'], 'c_0110_9' : - d['c_0011_10'], 'c_0101_11' : - d['c_0011_10'], 'c_1001_11' : - d['c_0011_10'], 'c_0101_3' : d['c_0011_3'], 'c_0110_7' : d['c_0011_3'], 'c_0011_3' : d['c_0011_3'], 'c_0011_7' : - d['c_0011_3'], 'c_0011_8' : - d['c_0011_3'], 'c_1100_8' : d['c_0011_3'], 'c_0110_5' : d['c_0101_9'], 'c_1001_6' : d['c_0101_9'], 'c_0101_9' : d['c_0101_9'], 'c_1010_10' : d['c_0101_9'], 'c_0110_11' : d['c_0101_9'], 'c_1010_9' : d['c_0011_11'], 'c_1100_10' : d['c_0011_11'], 'c_0011_9' : - d['c_0011_11'], 'c_0011_11' : d['c_0011_11'], 'c_0101_10' : - d['c_0011_11'], 'c_1100_11' : - d['c_0011_11'], 's_3_10' : d['1'], 's_0_10' : - d['1'], 's_3_9' : d['1'], 's_1_9' : d['1'], 's_0_9' : - d['1'], 's_3_7' : d['1'], 's_1_7' : - d['1'], 's_1_6' : - d['1'], 's_3_5' : - d['1'], 's_0_5' : d['1'], 's_3_4' : d['1'], 's_2_3' : d['1'], 's_1_3' : - d['1'], 's_0_3' : - d['1'], 's_3_2' : d['1'], 's_2_2' : d['1'], 's_0_2' : d['1'], 's_3_1' : d['1'], 's_2_1' : - d['1'], 's_1_1' : - d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_1_0' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 's_1_2' : d['1'], 's_3_3' : d['1'], 's_2_4' : d['1'], 's_1_5' : - d['1'], 's_3_6' : - d['1'], 's_1_4' : d['1'], 's_0_6' : d['1'], 's_2_5' : d['1'], 's_0_4' : d['1'], 's_0_7' : - d['1'], 's_1_8' : - d['1'], 's_0_8' : d['1'], 's_2_7' : d['1'], 's_2_6' : d['1'], 's_2_9' : - d['1'], 's_1_10' : - d['1'], 's_3_8' : - d['1'], 's_2_8' : d['1'], 's_0_11' : - d['1'], 's_2_10' : d['1'], 's_1_11' : d['1'], 's_2_11' : - d['1'], 's_3_11' : d['1']})} PY=EVAL=SECTION=ENDS=HERE Status: Computing Groebner basis... Time: 0.210 Status: Saturating ideal ( 1 / 12 )... Time: 0.350 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 2 / 12 )... Time: 0.250 Status: Recomputing Groebner basis... Time: 0.300 Status: Saturating ideal ( 3 / 12 )... Time: 0.250 Status: Recomputing Groebner basis... Time: 0.240 Status: Saturating ideal ( 4 / 12 )... Time: 0.150 Status: Recomputing Groebner basis... Time: 0.080 Status: Saturating ideal ( 5 / 12 )... Time: 0.090 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 6 / 12 )... Time: 0.070 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 7 / 12 )... Time: 0.070 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 8 / 12 )... Time: 0.070 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 9 / 12 )... Time: 0.080 Status: Recomputing Groebner basis... Time: 0.050 Status: Saturating ideal ( 10 / 12 )... Time: 0.050 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 11 / 12 )... Time: 0.040 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 12 / 12 )... Time: 0.040 Status: Recomputing Groebner basis... Time: 0.000 Status: Dimension of ideal: 1 [ 11 ] Status: Computing RadicalDecomposition Time: 0.270 Status: Number of components: 1 DECOMPOSITION=TYPE: RadicalDecomposition IDEAL=DECOMPOSITION=TIME: 2.890 IDEAL=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Graded Reverse Lexicographical Variables: c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0011_4, c_0101_0, c_0101_1, c_0101_8, c_0101_9, c_0110_4, c_1001_1, c_1001_2 Inhomogeneous, Dimension 1, Radical, Prime Groebner basis: [ c_0011_11*c_0101_1*c_0101_9^2 - 25/4*c_0011_10*c_0101_9^2*c_1001_2 - 3/4*c_0011_11*c_0101_9^2*c_1001_2 + 4*c_0101_9^3*c_1001_2 + 23/2*c_0011_10*c_0101_9*c_1001_1*c_1001_2 + 7/2*c_0011_11*c_0101_9*c_1001_1*c_1001_2 - 7*c_0101_9^2*c_1001_1*c_1001_2 + 9/2*c_0011_10*c_1001_1^2*c_1001_2 - 10*c_0011_11*c_1001_1^2*c_1001_2 - 7/4*c_0101_9*c_1001_1^2*c_1001_2 + 3/4*c_1001_1^3*c_1001_2 + 17/4*c_0011_10*c_0101_9^2 + 3/4*c_0011_11*c_0101_9^2 - 3*c_0101_9^3 - 23/2*c_0011_10*c_0101_9*c_1001_1 - 7/2*c_0011_11*c_0101_9*c_1001_1 + 7*c_0101_9^2*c_1001_1 - 9/2*c_0011_10*c_1001_1^2 + 10*c_0011_11*c_1001_1^2 + 7/4*c_0101_9*c_1001_1^2 - 3/4*c_1001_1^3, c_0011_10*c_0101_9^3 - 237/8*c_0011_10*c_0101_9^2*c_1001_1 + 85/8*c_0011_11*c_0101_9^2*c_1001_1 + 24*c_0101_9^3*c_1001_1 - 335/4*c_0011_10*c_0101_9*c_1001_1^2 + 241/4*c_0011_11*c_0101_9*c_1001_1^2 + 45*c_0101_9^2*c_1001_1^2 - 225/4*c_0011_10*c_1001_1^3 + 113/2*c_0011_11*c_1001_1^3 + 45/8*c_0101_9*c_1001_1^3 - 13/8*c_1001_1^4, c_0011_11*c_0101_9^3 - 29/4*c_0011_10*c_0101_9^2*c_1001_1 - 3/4*c_0011_11*c_0101_9^2*c_1001_1 + 4*c_0101_9^3*c_1001_1 + 23/2*c_0011_10*c_0101_9*c_1001_1^2 + 7/2*c_0011_11*c_0101_9*c_1001_1^2 - 7*c_0101_9^2*c_1001_1^2 + 9/2*c_0011_10*c_1001_1^3 - 10*c_0011_11*c_1001_1^3 - 7/4*c_0101_9*c_1001_1^3 + 3/4*c_1001_1^4, c_0011_4*c_0101_9^3 + 297/8*c_0011_10*c_0101_9^2*c_1001_2 - 129/8*c_0011_11*c_0101_9^2*c_1001_2 - 30*c_0101_9^3*c_1001_2 + 439/4*c_0011_10*c_0101_9*c_1001_1*c_1001_2 - 301/4*c_0011_11*c_0101_9*c_1001_1*c_1001_2 - 58*c_0101_9^2*c_1001_1*c_1001_2 + 281/4*c_0011_10*c_1001_1^2*c_1001\ _2 - 145/2*c_0011_11*c_1001_1^2*c_1001_2 - 57/8*c_0101_9*c_1001_1^2*c_1001_2 + 17/8*c_1001_1^3*c_1001_2 - 237/8*c_0011_10*c_0101_9^2 + 85/8*c_0011_11*c_0101_9^2 + 24*c_0101_9^3 - 335/4*c_0011_10*c_0101_9*c_1001_1 + 241/4*c_0011_11*c_0101_9*c_1001_1 + 45*c_0101_9^2*c_1001_1 - 225/4*c_0011_10*c_1001_1^2 + 113/2*c_0011_11*c_1001_1^2 + 45/8*c_0101_9*c_1001_1^2 - 13/8*c_1001_1^3, c_0101_1*c_0101_9^3 - 237/8*c_0011_10*c_0101_9^2*c_1001_2 + 85/8*c_0011_11*c_0101_9^2*c_1001_2 + 24*c_0101_9^3*c_1001_2 - 335/4*c_0011_10*c_0101_9*c_1001_1*c_1001_2 + 241/4*c_0011_11*c_0101_9*c_1001_1*c_1001_2 + 45*c_0101_9^2*c_1001_1*c_1001_2 - 225/4*c_0011_10*c_1001_1^2*c_1001\ _2 + 113/2*c_0011_11*c_1001_1^2*c_1001_2 + 45/8*c_0101_9*c_1001_1^2*c_1001_2 - 13/8*c_1001_1^3*c_1001_2 + 177/8*c_0011_10*c_0101_9^2 - 49/8*c_0011_11*c_0101_9^2 - 18*c_0101_9^3 + 231/4*c_0011_10*c_0101_9*c_1001_1 - 181/4*c_0011_11*c_0101_9*c_1001_1 - 33*c_0101_9^2*c_1001_1 + 169/4*c_0011_10*c_1001_1^2 - 81/2*c_0011_11*c_1001_1^2 - 33/8*c_0101_9*c_1001_1^2 + 9/8*c_1001_1^3, c_0101_9^4 - 297/8*c_0011_10*c_0101_9^2*c_1001_1 + 129/8*c_0011_11*c_0101_9^2*c_1001_1 + 30*c_0101_9^3*c_1001_1 - 439/4*c_0011_10*c_0101_9*c_1001_1^2 + 301/4*c_0011_11*c_0101_9*c_1001_1^2 + 58*c_0101_9^2*c_1001_1^2 - 281/4*c_0011_10*c_1001_1^3 + 145/2*c_0011_11*c_1001_1^3 + 57/8*c_0101_9*c_1001_1^3 - 17/8*c_1001_1^4, c_0011_10*c_0101_9*c_1001_2^2 - c_0101_9*c_1001_1^2 - 2*c_0011_10*c_0101_9*c_1001_2 + c_0011_11*c_1001_1*c_1001_2 + c_1001_1^2*c_1001_2 + c_0011_10*c_0101_9, c_0011_11*c_0101_9*c_1001_2^2 - 3*c_0011_11*c_0101_1*c_0101_9 + 9*c_0011_4*c_0101_9^2 + 11*c_0101_1*c_0101_9^2 - c_0011_11*c_1001_1^2 - c_1001_1^3 + 27*c_0011_10*c_0101_9*c_1001_2 - 28*c_0011_11*c_0101_9*c_1001_2 - 18*c_0101_9^2*c_1001_2 + 33*c_0011_10*c_1001_1*c_1001_2 - 25*c_0011_11*c_1001_1*c_1001_2 - 7*c_0101_9*c_1001_1*c_1001_2 + 3*c_1001_1^2*c_1001_2 - 10*c_0011_10*c_1001_2^2 + 7*c_0011_11*c_1001_2^2 + c_0011_4*c_1001_2^2 + 3*c_0101_9*c_1001_2^2 + 3/4*c_0110_4*c_1001_2^2 - c_1001_1*c_1001_2^2 + 3*c_0011_11*c_0101_1 - 1/2*c_0011_3*c_0101_1 + 3/2*c_0011_4*c_0101_1 + 9/4*c_0101_1^2 - 19/4*c_0101_1*c_0101_8 - 33*c_0011_10*c_0101_9 + 25*c_0011_11*c_0101_9 + 3/4*c_0011_3*c_0101_9 - 7*c_0011_4*c_0101_9 - 9*c_0101_1*c_0101_9 + 24*c_0101_9^2 + c_0011_3*c_0110_4 + 1/2*c_0101_8*c_0110_4 + 11/2*c_0101_9*c_0110_4 + 5/4*c_0110_4^2 - 58*c_0011_10*c_1001_1 + 43*c_0011_11*c_1001_1 - 31/4*c_0101_1*c_1001_1 + 11/4*c_0101_8*c_1001_1 + 4*c_0101_9*c_1001_1 - 3/2*c_0110_4*c_1001_1 - 3*c_1001_1^2 + 51/4*c_0011_10*c_1001_2 + 3*c_0011_11*c_1001_2 + 3/4*c_0011_3*c_1001_2 - 2*c_0011_4*c_1001_2 - 17/4*c_0101_8*c_1001_2 + 3*c_0101_9*c_1001_2 + 7/2*c_0110_4*c_1001_2 - 6*c_1001_1*c_1001_2 + 7/4*c_1001_2^2 - 33/2*c_0011_10 - 23/4*c_0011_11 + 3/2*c_0011_3 + 2*c_0011_4 + 3*c_0101_1 + 9*c_0101_8 + 19/4*c_0101_9 - c_0110_4 + 91/4*c_1001_1 - 23/4*c_1001_2 - 1/4, c_0101_9^2*c_1001_2^2 + 7*c_0011_11*c_0101_1*c_0101_9 + 11*c_0011_10*c_0101_9^2 - 3*c_0011_11*c_0101_9^2 - 24*c_0011_4*c_0101_9^2 - 30*c_0101_1*c_0101_9^2 - 9*c_0101_9^3 + 30*c_0011_10*c_0101_9*c_1001_1 - 26*c_0011_11*c_0101_9*c_1001_1 - 18*c_0101_9^2*c_1001_1 + 33*c_0011_10*c_1001_1^2 - 25*c_0011_11*c_1001_1^2 - 8*c_0101_9*c_1001_1^2 + 3*c_1001_1^3 - 57*c_0011_10*c_0101_9*c_1001_2 + 66*c_0011_11*c_0101_9*c_1001_2 + 35*c_0101_9^2*c_1001_2 - 71*c_0011_10*c_1001_1*c_1001_2 + 50*c_0011_11*c_1001_1*c_1001_2 + 11*c_0101_9*c_1001_1*c_1001_2 - c_1001_1^2*c_1001_2 + 29*c_0011_10*c_1001_2^2 - 18*c_0011_11*c_1001_2^2 - 8*c_0101_9*c_1001_2^2 - 1/4*c_0110_4*c_1001_2^2 + 3*c_1001_1*c_1001_2^2 + c_1001_2^3 - 9*c_0011_11*c_0101_1 - 9/2*c_0011_3*c_0101_1 - 1/2*c_0011_4*c_0101_1 - 11/4*c_0101_1^2 + 17/4*c_0101_1*c_0101_8 + 79*c_0011_10*c_0101_9 - 63*c_0011_11*c_0101_9 - 1/4*c_0011_3*c_0101_9 + 21*c_0011_4*c_0101_9 + 27*c_0101_1*c_0101_9 - 56*c_0101_9^2 - 6*c_0011_3*c_0110_4 - 11/2*c_0101_8*c_0110_4 - 41/2*c_0101_9*c_0110_4 + 9/4*c_0110_4^2 + 149*c_0011_10*c_1001_1 - 103*c_0011_11*c_1001_1 - 2*c_0011_3*c_1001_1 + 109/4*c_0101_1*c_1001_1 - 41/4*c_0101_8*c_1001_1 - 8*c_0101_9*c_1001_1 + 21/2*c_0110_4*c_1001_1 + 3*c_1001_1^2 - 161/4*c_0011_10*c_1001_2 - 15*c_0011_11*c_1001_2 + 7/4*c_0011_3*c_1001_2 - c_0011_4*c_1001_2 + 51/4*c_0101_8*c_1001_2 - 11*c_0101_9*c_1001_2 - 21/2*c_0110_4*c_1001_2 + 21*c_1001_1*c_1001_2 - 25/4*c_1001_2^2 + 99/2*c_0011_10 + 85/4*c_0011_11 - 13/2*c_0011_3 + 6*c_0011_4 + 3*c_0101_1 - 17*c_0101_8 - 41/4*c_0101_9 + 7*c_0110_4 - 321/4*c_1001_1 + 53/4*c_1001_2 - 13/4, c_0011_10*c_1001_1*c_1001_2^2 - 3*c_0011_11*c_0101_1*c_0101_9 + 9*c_0011_4*c_0101_9^2 + 11*c_0101_1*c_0101_9^2 - c_1001_1^3 + 27*c_0011_10*c_0101_9*c_1001_2 - 26*c_0011_11*c_0101_9*c_1001_2 - 18*c_0101_9^2*c_1001_2 + 30*c_0011_10*c_1001_1*c_1001_2 - 25*c_0011_11*c_1001_1*c_1001_2 - 6*c_0101_9*c_1001_1*c_1001_2 + 3*c_1001_1^2*c_1001_2 - 10*c_0011_10*c_1001_2^2 + 7*c_0011_11*c_1001_2^2 + c_0011_4*c_1001_2^2 + 3*c_0101_9*c_1001_2^2 + 3/4*c_0110_4*c_1001_2^2 - c_1001_1*c_1001_2^2 + 3*c_0011_11*c_0101_1 - 1/2*c_0011_3*c_0101_1 + 3/2*c_0011_4*c_0101_1 + 9/4*c_0101_1^2 - 19/4*c_0101_1*c_0101_8 - 33*c_0011_10*c_0101_9 + 24*c_0011_11*c_0101_9 + 3/4*c_0011_3*c_0101_9 - 7*c_0011_4*c_0101_9 - 9*c_0101_1*c_0101_9 + 24*c_0101_9^2 + c_0011_3*c_0110_4 + 1/2*c_0101_8*c_0110_4 + 11/2*c_0101_9*c_0110_4 + 5/4*c_0110_4^2 - 57*c_0011_10*c_1001_1 + 43*c_0011_11*c_1001_1 - 31/4*c_0101_1*c_1001_1 + 11/4*c_0101_8*c_1001_1 + 4*c_0101_9*c_1001_1 - 3/2*c_0110_4*c_1001_1 - 3*c_1001_1^2 + 51/4*c_0011_10*c_1001_2 + 3*c_0011_11*c_1001_2 + 3/4*c_0011_3*c_1001_2 - 2*c_0011_4*c_1001_2 - 17/4*c_0101_8*c_1001_2 + 3*c_0101_9*c_1001_2 + 7/2*c_0110_4*c_1001_2 - 6*c_1001_1*c_1001_2 + 7/4*c_1001_2^2 - 33/2*c_0011_10 - 23/4*c_0011_11 + 3/2*c_0011_3 + 2*c_0011_4 + 3*c_0101_1 + 9*c_0101_8 + 19/4*c_0101_9 - c_0110_4 + 91/4*c_1001_1 - 23/4*c_1001_2 - 1/4, c_0011_11*c_1001_1*c_1001_2^2 - 7*c_0011_11*c_0101_1*c_0101_9 - 11*c_0011_10*c_0101_9^2 + 3*c_0011_11*c_0101_9^2 + 24*c_0011_4*c_0101_9^2 + 30*c_0101_1*c_0101_9^2 + 9*c_0101_9^3 - 30*c_0011_10*c_0101_9*c_1001_1 + 26*c_0011_11*c_0101_9*c_1001_1 + 18*c_0101_9^2*c_1001_1 - 32*c_0011_10*c_1001_1^2 + 25*c_0011_11*c_1001_1^2 + 6*c_0101_9*c_1001_1^2 - 3*c_1001_1^3 + 57*c_0011_10*c_0101_9*c_1001_2 - 66*c_0011_11*c_0101_9*c_1001_2 - 37*c_0101_9^2*c_1001_2 + 71*c_0011_10*c_1001_1*c_1001_2 - 51*c_0011_11*c_1001_1*c_1001_2 - 11*c_0101_9*c_1001_1*c_1001_2 + 3*c_1001_1^2*c_1001_2 - 29*c_0011_10*c_1001_2^2 + 18*c_0011_11*c_1001_2^2 + 8*c_0101_9*c_1001_2^2 + 1/4*c_0110_4*c_1001_2^2 - 3*c_1001_1*c_1001_2^2 - c_1001_2^3 + 9*c_0011_11*c_0101_1 + 9/2*c_0011_3*c_0101_1 + 1/2*c_0011_4*c_0101_1 + 11/4*c_0101_1^2 - 17/4*c_0101_1*c_0101_8 - 79*c_0011_10*c_0101_9 + 63*c_0011_11*c_0101_9 + 1/4*c_0011_3*c_0101_9 - 21*c_0011_4*c_0101_9 - 27*c_0101_1*c_0101_9 + 57*c_0101_9^2 + 6*c_0011_3*c_0110_4 + 11/2*c_0101_8*c_0110_4 + 41/2*c_0101_9*c_0110_4 - 9/4*c_0110_4^2 - 149*c_0011_10*c_1001_1 + 104*c_0011_11*c_1001_1 + 2*c_0011_3*c_1001_1 - 109/4*c_0101_1*c_1001_1 + 41/4*c_0101_8*c_1001_1 + 8*c_0101_9*c_1001_1 - 21/2*c_0110_4*c_1001_1 - 3*c_1001_1^2 + 161/4*c_0011_10*c_1001_2 + 15*c_0011_11*c_1001_2 - 7/4*c_0011_3*c_1001_2 + c_0011_4*c_1001_2 - 51/4*c_0101_8*c_1001_2 + 11*c_0101_9*c_1001_2 + 21/2*c_0110_4*c_1001_2 - 21*c_1001_1*c_1001_2 + 25/4*c_1001_2^2 - 99/2*c_0011_10 - 85/4*c_0011_11 + 13/2*c_0011_3 - 6*c_0011_4 - 3*c_0101_1 + 17*c_0101_8 + 41/4*c_0101_9 - 7*c_0110_4 + 321/4*c_1001_1 - 53/4*c_1001_2 + 13/4, c_0101_9*c_1001_1*c_1001_2^2 + 30*c_0011_10*c_0101_9^2 - 7*c_0011_11*c_0101_9^2 - 11*c_0011_4*c_0101_9^2 - 15*c_0101_1*c_0101_9^2 - 24*c_0101_9^3 + 64*c_0011_10*c_0101_9*c_1001_1 - 66*c_0011_11*c_0101_9*c_1001_1 - 37*c_0101_9^2*c_1001_1 + 71*c_0011_10*c_1001_1^2 - 49*c_0011_11*c_1001_1^2 - 11*c_0101_9*c_1001_1^2 + 2*c_1001_1^3 + 6*c_0011_10*c_0101_9*c_1001_2 + 25*c_0011_11*c_0101_9*c_1001_2 - 6*c_0101_9^2*c_1001_2 - 15*c_0011_10*c_1001_1*c_1001_2 - 10*c_0011_11*c_1001_1*c_1001_2 - 2*c_0101_9*c_1001_1*c_1001_2 + 5*c_1001_1^2*c_1001_2 + 27*c_0011_10*c_1001_2^2 - 11*c_0011_11*c_1001_2^2 + 7*c_0011_4*c_1001_2^2 - 6*c_0101_9*c_1001_2^2 + 9/2*c_0110_4*c_1001_2^2 + 3*c_1001_1*c_1001_2^2 + 3*c_1001_2^3 - 9*c_0011_11*c_0101_1 - 17*c_0011_3*c_0101_1 + 9*c_0011_4*c_0101_1 + 15/2*c_0101_1^2 - 41/2*c_0101_1*c_0101_8 + 18*c_0011_10*c_0101_9 - 28*c_0011_11*c_0101_9 + 7/2*c_0011_3*c_0101_9 + 21*c_0011_4*c_0101_9 + 27*c_0101_1*c_0101_9 - 12*c_0101_9^2 - 11*c_0011_3*c_0110_4 - 13*c_0101_8*c_0110_4 - 29*c_0101_9*c_0110_4 + 31/2*c_0110_4^2 + 67*c_0011_10*c_1001_1 - 26*c_0011_11*c_1001_1 - 5*c_0011_3*c_1001_1 + 73/2*c_0101_1*c_1001_1 - 25/2*c_0101_8*c_1001_1 - 2*c_0101_9*c_1001_1 + 24*c_0110_4*c_1001_1 - 12*c_1001_1^2 - 91/2*c_0011_10*c_1001_2 - 29*c_0011_11*c_1001_2 + 21/2*c_0011_3*c_1001_2 - 17*c_0011_4*c_1001_2 + 17/2*c_0101_8*c_1001_2 - 15*c_0101_9*c_1001_2 - 7*c_0110_4*c_1001_2 + 28*c_1001_1*c_1001_2 - 13/2*c_1001_2^2 + 48*c_0011_10 + 61/2*c_0011_11 - 9*c_0011_3 + 32*c_0011_4 + 30*c_0101_1 + 12*c_0101_8 - 3/2*c_0101_9 + 14*c_0110_4 - 215/2*c_1001_1 - 1/2*c_1001_2 - 23/2, c_1001_1^2*c_1001_2^2 - 12*c_0011_11*c_0101_1*c_0101_9 + 26*c_0011_10*c_0101_9^2 - 3*c_0011_11*c_0101_9^2 + 21*c_0011_4*c_0101_9^2 + 25*c_0101_1*c_0101_9^2 - 20*c_0101_9^3 + 24*c_0011_10*c_0101_9*c_1001_1 - 51*c_0011_11*c_0101_9*c_1001_1 - 12*c_0101_9^2*c_1001_1 + 47*c_0011_10*c_1001_1^2 - 15*c_0011_11*c_1001_1^2 - 6*c_0101_9*c_1001_1^2 - 2*c_1001_1^3 + 99*c_0011_10*c_0101_9*c_1001_2 - 64*c_0011_11*c_0101_9*c_1001_2 - 67*c_0101_9^2*c_1001_2 + 79*c_0011_10*c_1001_1*c_1001_2 - 91*c_0011_11*c_1001_1*c_1001_2 - 15*c_0101_9*c_1001_1*c_1001_2 + 10*c_1001_1^2*c_1001_2 + 7*c_0011_10*c_1001_2^2 + 5*c_0011_11*c_1001_2^2 + 11*c_0011_4*c_1001_2^2 + 15/2*c_0110_4*c_1001_2^2 + c_1001_1*c_1001_2^2 + 3*c_1001_2^3 - 3*c_0011_11*c_0101_1 - 19*c_0011_3*c_0101_1 + 15*c_0011_4*c_0101_1 + 33/2*c_0101_1^2 - 79/2*c_0101_1*c_0101_8 - 90*c_0011_10*c_0101_9 + 54*c_0011_11*c_0101_9 + 9/2*c_0011_3*c_0101_9 + 7*c_0011_4*c_0101_9 + 9*c_0101_1*c_0101_9 + 66*c_0101_9^2 - 7*c_0011_3*c_0110_4 - 11*c_0101_8*c_0110_4 - 19*c_0101_9*c_0110_4 + 41/2*c_0110_4^2 - 113*c_0011_10*c_1001_1 + 110*c_0011_11*c_1001_1 - 3*c_0011_3*c_1001_1 + 47/2*c_0101_1*c_1001_1 - 7/2*c_0101_8*c_1001_1 - c_0101_9*c_1001_1 + 24*c_0110_4*c_1001_1 - 23*c_1001_1^2 - 45/2*c_0011_10*c_1001_2 - 27*c_0011_11*c_1001_2 + 27/2*c_0011_3*c_1001_2 - 25*c_0011_4*c_1001_2 - 17/2*c_0101_8*c_1001_2 - 9*c_0101_9*c_1001_2 + 7*c_0110_4*c_1001_2 + 18*c_1001_1*c_1001_2 + 1/2*c_1001_2^2 + 12*c_0011_10 + 43/2*c_0011_11 - 3*c_0011_3 + 40*c_0011_4 + 42*c_0101_1 + 48*c_0101_8 + 19/2*c_0101_9 + 10*c_0110_4 - 137/2*c_1001_1 - 47/2*c_1001_2 - 25/2, c_0011_10*c_1001_2^3 - c_1001_1^2*c_1001_2 + 11*c_0011_10*c_1001_2^2 - 7*c_0011_11*c_1001_2^2 - 6*c_0101_9*c_1001_2^2 + 3*c_1001_1*c_1001_2^2 - 2*c_0011_11*c_0101_1 + 9*c_0011_10*c_0101_9 - 3*c_0011_11*c_0101_9 + 3*c_0011_4*c_0101_9 + 3*c_0101_1*c_0101_9 - 7*c_0101_9^2 - 4*c_0101_9*c_0110_4 + 18*c_0011_10*c_1001_1 - 17*c_0011_11*c_1001_1 - c_0011_3*c_1001_1 + 4*c_0101_1*c_1001_1 - 2*c_0101_8*c_1001_1 - 9*c_0101_9*c_1001_1 + 4*c_0110_4*c_1001_1 + 2*c_1001_1^2 - 14*c_0011_10*c_1001_2 + 5*c_0011_11*c_1001_2 + 2*c_0101_9*c_1001_2 + 3*c_1001_1*c_1001_2 + 14*c_0011_10 - 2*c_0011_11 - 4*c_0101_9 - 9*c_1001_1, c_0011_11*c_1001_2^3 + 3*c_0011_11*c_0101_1*c_0101_9 - 9*c_0011_4*c_0101_9^2 - 11*c_0101_1*c_0101_9^2 - 27*c_0011_10*c_0101_9*c_1001_2 + 26*c_0011_11*c_0101_9*c_1001_2 + 18*c_0101_9^2*c_1001_2 - 32*c_0011_10*c_1001_1*c_1001_2 + 25*c_0011_11*c_1001_1*c_1001_2 + 6*c_0101_9*c_1001_1*c_1001_2 - 3*c_1001_1^2*c_1001_2 + 39*c_0011_10*c_1001_2^2 - 21*c_0011_11*c_1001_2^2 + c_0011_4*c_1001_2^2 - 14*c_0101_9*c_1001_2^2 + 3/4*c_0110_4*c_1001_2^2 + 4*c_1001_1*c_1001_2^2 - 9*c_0011_11*c_0101_1 - 1/2*c_0011_3*c_0101_1 + 3/2*c_0011_4*c_0101_1 + 9/4*c_0101_1^2 - 19/4*c_0101_1*c_0101_8 + 57*c_0011_10*c_0101_9 - 31*c_0011_11*c_0101_9 - 1/4*c_0011_3*c_0101_9 + 14*c_0011_4*c_0101_9 + 16*c_0101_1*c_0101_9 - 42*c_0101_9^2 + c_0011_3*c_0110_4 + 1/2*c_0101_8*c_0110_4 - 37/2*c_0101_9*c_0110_4 + 5/4*c_0110_4^2 + 95*c_0011_10*c_1001_1 - 85*c_0011_11*c_1001_1 - 2*c_0011_3*c_1001_1 + 93/4*c_0101_1*c_1001_1 - 21/4*c_0101_8*c_1001_1 - 21*c_0101_9*c_1001_1 + 33/2*c_0110_4*c_1001_1 + 3*c_1001_1^2 - 201/4*c_0011_10*c_1001_2 + 2*c_0011_11*c_1001_2 + 3/4*c_0011_3*c_1001_2 - 2*c_0011_4*c_1001_2 - 17/4*c_0101_8*c_1001_2 - 5*c_0101_9*c_1001_2 + 7/2*c_0110_4*c_1001_2 + 19*c_1001_1*c_1001_2 + 7/4*c_1001_2^2 + 103/2*c_0011_10 + 25/4*c_0011_11 + 3/2*c_0011_3 + 2*c_0011_4 + 3*c_0101_1 + 9*c_0101_8 - 45/4*c_0101_9 - c_0110_4 - 225/4*c_1001_1 - 23/4*c_1001_2 - 1/4, c_0011_4*c_1001_2^3 - 33*c_0011_10*c_1001_2^2 + 12*c_0011_11*c_1001_2^2 - 4*c_0011_4*c_1001_2^2 + 11*c_0101_9*c_1001_2^2 - c_0110_4*c_1001_2^2 - 2*c_1001_1*c_1001_2^2 - 5*c_1001_2^3 + 6*c_0011_11*c_0101_1 + 8*c_0011_3*c_0101_1 + 4*c_0011_4*c_0101_1 + 9*c_0101_1^2 - 15*c_0101_1*c_0101_8 - 24*c_0011_10*c_0101_9 + 7*c_0011_11*c_0101_9 - 5*c_0011_3*c_0101_9 + 4*c_0101_1*c_0101_9 + 18*c_0101_9^2 + 15*c_0011_3*c_0110_4 + 12*c_0101_8*c_0110_4 + 10*c_0101_9*c_0110_4 - 4*c_0110_4^2 - 37*c_0011_10*c_1001_1 + 42*c_0011_11*c_1001_1 + 10*c_0011_3*c_1001_1 - 19*c_0101_1*c_1001_1 + 17*c_0101_8*c_1001_1 + 17*c_0101_9*c_1001_1 - 8*c_0110_4*c_1001_1 + 4*c_1001_1^2 + 43*c_0011_10*c_1001_2 - 18*c_0011_11*c_1001_2 - 3*c_0011_3*c_1001_2 + 15*c_0011_4*c_1001_2 - 31*c_0101_8*c_1001_2 + 8*c_0101_9*c_1001_2 + 30*c_0110_4*c_1001_2 - 13*c_1001_1*c_1001_2 + 23*c_1001_2^2 - 63*c_0011_10 + 7*c_0011_11 + 15*c_0011_3 - 28*c_0011_4 - 12*c_0101_1 + 46*c_0101_8 + 12*c_0101_9 - 20*c_0110_4 + 17*c_1001_1 - 42*c_1001_2 + 10, c_0101_9*c_1001_2^3 - 7*c_0011_11*c_0101_1*c_0101_9 + 24*c_0011_4*c_0101_9^2 + 30*c_0101_1*c_0101_9^2 + 57*c_0011_10*c_0101_9*c_1001_2 - 66*c_0011_11*c_0101_9*c_1001_2 - 37*c_0101_9^2*c_1001_2 + 71*c_0011_10*c_1001_1*c_1001_2 - 49*c_0011_11*c_1001_1*c_1001_2 - 11*c_0101_9*c_1001_1*c_1001_2 + 2*c_1001_1^2*c_1001_2 - 32*c_0011_10*c_1001_2^2 + 14*c_0011_11*c_1001_2^2 + 6*c_0101_9*c_1001_2^2 - 1/4*c_0110_4*c_1001_2^2 + 2*c_1001_1*c_1001_2^2 + c_1001_2^3 + 13*c_0011_11*c_0101_1 - 9/2*c_0011_3*c_0101_1 - 1/2*c_0011_4*c_0101_1 - 11/4*c_0101_1^2 + 17/4*c_0101_1*c_0101_8 - 90*c_0011_10*c_0101_9 + 63*c_0011_11*c_0101_9 + 11/4*c_0011_3*c_0101_9 - 21*c_0011_4*c_0101_9 - 27*c_0101_1*c_0101_9 + 64*c_0101_9^2 - 6*c_0011_3*c_0110_4 - 11/2*c_0101_8*c_0110_4 + 41/2*c_0101_9*c_0110_4 + 9/4*c_0110_4^2 - 143*c_0011_10*c_1001_1 + 117*c_0011_11*c_1001_1 - 3*c_0011_3*c_1001_1 - 127/4*c_0101_1*c_1001_1 - 1/4*c_0101_8*c_1001_1 + 2*c_0101_9*c_1001_1 - 29/2*c_0110_4*c_1001_1 - c_1001_1^2 + 163/4*c_0011_10*c_1001_2 + 23*c_0011_11*c_1001_2 + 7/4*c_0011_3*c_1001_2 - c_0011_4*c_1001_2 + 51/4*c_0101_8*c_1001_2 + 19*c_0101_9*c_1001_2 - 21/2*c_0110_4*c_1001_2 - 25*c_1001_1*c_1001_2 - 25/4*c_1001_2^2 - 99/2*c_0011_10 - 103/4*c_0011_11 - 13/2*c_0011_3 + 6*c_0011_4 + 3*c_0101_1 - 17*c_0101_8 + 43/4*c_0101_9 + 7*c_0110_4 + 335/4*c_1001_1 + 53/4*c_1001_2 - 13/4, c_0110_4*c_1001_2^3 - 3*c_0011_10*c_1001_2^2 - 6*c_0011_4*c_1001_2^2 - 3*c_0110_4*c_1001_2^2 + 2*c_1001_2^3 + 3*c_0011_11*c_0101_1 + 3*c_0011_3*c_0101_1 - 14*c_0011_4*c_0101_1 - 20*c_0101_1^2 + 43*c_0101_1*c_0101_8 + 3*c_0011_3*c_0101_9 - 14*c_0011_4*c_0101_9 - 20*c_0101_1*c_0101_9 - 10*c_0011_3*c_0110_4 - 4*c_0101_8*c_0110_4 + 14*c_0101_9*c_0110_4 - 11*c_0110_4^2 - 6*c_0011_3*c_1001_1 - 15*c_0101_1*c_1001_1 - 13*c_0101_8*c_1001_1 - 18*c_0110_4*c_1001_1 + 3*c_1001_1^2 + 12*c_0011_10*c_1001_2 + 31*c_0011_11*c_1001_2 - 7*c_0011_3*c_1001_2 + 6*c_0011_4*c_1001_2 + 40*c_0101_8*c_1001_2 + 3*c_0101_9*c_1001_2 - 36*c_0110_4*c_1001_2 - 16*c_1001_1*c_1001_2 - 21*c_1001_2^2 + 11*c_0011_10 - 23*c_0011_11 - 12*c_0011_3 - 4*c_0011_4 - 20*c_0101_1 - 80*c_0101_8 - 8*c_0101_9 + 12*c_0110_4 + 67*c_1001_1 + 55*c_1001_2 + 1, c_1001_1*c_1001_2^3 - 3*c_0011_11*c_0101_1*c_0101_9 + 20*c_0011_4*c_0101_9^2 + 26*c_0101_1*c_0101_9^2 + 21*c_0011_10*c_0101_9*c_1001_2 - 51*c_0011_11*c_0101_9*c_1001_2 - 12*c_0101_9^2*c_1001_2 + 47*c_0011_10*c_1001_1*c_1001_2 - 15*c_0011_11*c_1001_1*c_1001_2 - 6*c_0101_9*c_1001_1*c_1001_2 - 2*c_1001_1^2*c_1001_2 + 13*c_0011_10*c_1001_2^2 - 6*c_0011_11*c_1001_2^2 + 6*c_0011_4*c_1001_2^2 - 6*c_0101_9*c_1001_2^2 + 15/4*c_0110_4*c_1001_2^2 + 6*c_1001_1*c_1001_2^2 + 3*c_1001_2^3 + 2*c_0011_11*c_0101_1 - 33/2*c_0011_3*c_0101_1 + 15/2*c_0011_4*c_0101_1 + 21/4*c_0101_1^2 - 63/4*c_0101_1*c_0101_8 - 30*c_0011_10*c_0101_9 + 40*c_0011_11*c_0101_9 + 23/4*c_0011_3*c_0101_9 - 2*c_0011_4*c_0101_9 - 6*c_0101_1*c_0101_9 + 19*c_0101_9^2 - 12*c_0011_3*c_0110_4 - 27/2*c_0101_8*c_0110_4 - 21/2*c_0101_9*c_0110_4 + 57/4*c_0110_4^2 - 58*c_0011_10*c_1001_1 + 26*c_0011_11*c_1001_1 - 10*c_0011_3*c_1001_1 + 25/4*c_0101_1*c_1001_1 - 49/4*c_0101_8*c_1001_1 - 28*c_0101_9*c_1001_1 + 31/2*c_0110_4*c_1001_1 - 5*c_1001_1^2 - 93/4*c_0011_10*c_1001_2 + 14*c_0011_11*c_1001_2 + 39/4*c_0011_3*c_1001_2 - 15*c_0011_4*c_1001_2 + 51/4*c_0101_8*c_1001_2 + 4*c_0101_9*c_1001_2 - 21/2*c_0110_4*c_1001_2 + 8*c_1001_1*c_1001_2 - 33/4*c_1001_2^2 + 33/2*c_0011_10 - 43/4*c_0011_11 - 21/2*c_0011_3 + 30*c_0011_4 + 27*c_0101_1 + 3*c_0101_8 + 19/4*c_0101_9 + 15*c_0110_4 - 45/4*c_1001_1 + 21/4*c_1001_2 - 45/4, c_1001_2^4 + 40*c_0011_10*c_1001_2^2 - 3*c_0011_11*c_1001_2^2 + 15*c_0011_4*c_1001_2^2 - 6*c_0101_9*c_1001_2^2 + 9*c_0110_4*c_1001_2^2 - 2*c_1001_1*c_1001_2^2 + 8*c_1001_2^3 - 18*c_0011_11*c_0101_1 - 40*c_0011_3*c_0101_1 + 16*c_0011_4*c_0101_1 + 7*c_0101_1^2 - 31*c_0101_1*c_0101_8 + 20*c_0011_10*c_0101_9 - 3*c_0011_11*c_0101_9 + 13*c_0011_3*c_0101_9 + 20*c_0011_4*c_0101_9 + 24*c_0101_1*c_0101_9 - 14*c_0101_9^2 - 37*c_0011_3*c_0110_4 - 39*c_0101_8*c_0110_4 - 44*c_0101_9*c_0110_4 + 37*c_0110_4^2 + 12*c_0011_10*c_1001_1 - 31*c_0011_11*c_1001_1 - 22*c_0011_3*c_1001_1 + 67*c_0101_1*c_1001_1 - 29*c_0101_8*c_1001_1 - 3*c_0101_9*c_1001_1 + 44*c_0110_4*c_1001_1 - 24*c_1001_1^2 - 67*c_0011_10*c_1001_2 - 46*c_0011_11*c_1001_2 + 27*c_0011_3*c_1001_2 - 44*c_0011_4*c_1001_2 + 39*c_0101_8*c_1001_2 - 40*c_0101_9*c_1001_2 - 40*c_0110_4*c_1001_2 + 43*c_1001_1*c_1001_2 - 26*c_1001_2^2 + 102*c_0011_10 + 46*c_0011_11 - 34*c_0011_3 + 89*c_0011_4 + 74*c_0101_1 - 16*c_0101_8 + c_0101_9 + 48*c_0110_4 - 149*c_1001_1 + 33*c_1001_2 - 33, c_0011_11*c_0101_1^2 - c_0011_11*c_0101_9 - 3*c_0011_4*c_0101_9 - 5*c_0101_1*c_0101_9 + c_0011_10*c_1001_1 + 3*c_0011_11*c_1001_2 - 2*c_0011_11 + 6*c_1001_1, c_0011_3*c_0101_1^2 - c_0011_3*c_0101_1 - c_0011_3*c_1001_1 - c_0101_1*c_1001_1 - c_0101_8*c_1001_1 + c_0011_10*c_1001_2 + 2*c_0101_8*c_1001_2 - 2*c_0110_4*c_1001_2 - c_1001_2^2 - c_0011_10 - c_0011_11 - 2*c_0101_1 + c_0101_9 + c_1001_1, c_0011_4*c_0101_1^2 + 1/4*c_0110_4*c_1001_2^2 - 7/2*c_0011_3*c_0101_1 + 9/2*c_0011_4*c_0101_1 + 27/4*c_0101_1^2 - 41/4*c_0101_1*c_0101_8 + 5/4*c_0011_3*c_0101_9 + c_0101_1*c_0101_9 + 2*c_0011_3*c_0110_4 + 1/2*c_0101_8*c_0110_4 - 3/2*c_0101_9*c_0110_4 + 7/4*c_0110_4^2 - 2*c_0011_3*c_1001_1 - 13/4*c_0101_1*c_1001_1 - 3/4*c_0101_8*c_1001_1 + 13/2*c_0110_4*c_1001_1 + 13/4*c_0011_10*c_1001_2 + 9/4*c_0011_3*c_1001_2 + 2*c_0011_4*c_1001_2 - 19/4*c_0101_8*c_1001_2 + 9/2*c_0110_4*c_1001_2 + 25/4*c_1001_2^2 - 15/2*c_0011_10 - 17/4*c_0011_11 + 5/2*c_0011_3 - 8*c_0011_4 - 6*c_0101_1 + 17*c_0101_8 + 21/4*c_0101_9 - 6*c_0110_4 + 21/4*c_1001_1 - 69/4*c_1001_2 + 13/4, c_0101_1^3 - 1/4*c_0110_4*c_1001_2^2 - 1/2*c_0011_3*c_0101_1 - 5/2*c_0011_4*c_0101_1 - 19/4*c_0101_1^2 + 25/4*c_0101_1*c_0101_8 - 5/4*c_0011_3*c_0101_9 - c_0011_4*c_0101_9 - 2*c_0101_1*c_0101_9 - 4*c_0011_3*c_0110_4 - 5/2*c_0101_8*c_0110_4 + 3/2*c_0101_9*c_0110_4 + 1/4*c_0110_4^2 + 2*c_0011_3*c_1001_1 + 13/4*c_0101_1*c_1001_1 + 3/4*c_0101_8*c_1001_1 - 13/2*c_0110_4*c_1001_1 - 13/4*c_0011_10*c_1001_2 + c_0011_11*c_1001_2 + 7/4*c_0011_3*c_1001_2 - 2*c_0011_4*c_1001_2 + 35/4*c_0101_8*c_1001_2 - 17/2*c_0110_4*c_1001_2 - 25/4*c_1001_2^2 + 11/2*c_0011_10 + 5/4*c_0011_11 - 9/2*c_0011_3 + 11*c_0011_4 + 5*c_0101_1 - 15*c_0101_8 - 13/4*c_0101_9 + 7*c_0110_4 - 13/4*c_1001_1 + 53/4*c_1001_2 - 13/4, c_0101_1^2*c_0101_8 - 2*c_0011_3*c_0101_1 - c_0101_1^2 - 2*c_0101_1*c_0101_8 - 2*c_0011_3*c_0110_4 - 2*c_0101_8*c_0110_4 + c_0110_4^2 + c_0101_1*c_1001_1 - c_0110_4*c_1001_1 - c_0011_10*c_1001_2 + 2*c_0011_3*c_1001_2 + 3*c_0101_8*c_1001_2 - 2*c_0110_4*c_1001_2 - c_1001_2^2 + c_0011_10 - 2*c_0011_3 + 2*c_0011_4 + 2*c_0101_1 - 3*c_0101_8 + 2*c_0110_4 + 2*c_1001_2 - 1, c_0011_3*c_0101_1*c_0101_9 - 7*c_0011_10*c_1001_2^2 - 4*c_0011_4*c_1001_2^2 - 11/4*c_0110_4*c_1001_2^2 - c_1001_2^3 + 3*c_0011_11*c_0101_1 + 13/2*c_0011_3*c_0101_1 - 11/2*c_0011_4*c_0101_1 - 25/4*c_0101_1^2 + 59/4*c_0101_1*c_0101_8 - 3/4*c_0011_3*c_0101_9 - 9*c_0011_4*c_0101_9 - 12*c_0101_1*c_0101_9 + 2*c_0011_3*c_0110_4 + 7/2*c_0101_8*c_0110_4 + 23/2*c_0101_9*c_0110_4 - 29/4*c_0110_4^2 - c_0011_3*c_1001_1 - 65/4*c_0101_1*c_1001_1 + 5/4*c_0101_8*c_1001_1 - 21/2*c_0110_4*c_1001_1 + 7*c_1001_1^2 + 53/4*c_0011_10*c_1001_2 + 20*c_0011_11*c_1001_2 - 19/4*c_0011_3*c_1001_2 + 9*c_0011_4*c_1001_2 + 17/4*c_0101_8*c_1001_2 + 9*c_0101_9*c_1001_2 - 7/2*c_0110_4*c_1001_2 - 13*c_1001_1*c_1001_2 - 3/4*c_1001_2^2 - 23/2*c_0011_10 - 69/4*c_0011_11 + 1/2*c_0011_3 - 14*c_0011_4 - 15*c_0101_1 - 19*c_0101_8 - 11/4*c_0101_9 - 3*c_0110_4 + 197/4*c_1001_1 + 39/4*c_1001_2 + 17/4, c_0011_4*c_0101_1*c_0101_9 + 6*c_0011_10*c_1001_2^2 + 3*c_0011_4*c_1001_2^2 + 2*c_0110_4*c_1001_2^2 + c_1001_2^3 - 8*c_0011_11*c_0101_1 - 6*c_0011_3*c_0101_1 + 4*c_0011_4*c_0101_1 + 4*c_0101_1^2 - 10*c_0101_1*c_0101_8 + 2*c_0011_3*c_0101_9 + 9*c_0011_4*c_0101_9 + 12*c_0101_1*c_0101_9 + c_0101_9^2 - 3*c_0011_3*c_0110_4 - 4*c_0101_8*c_0110_4 - 11*c_0101_9*c_0110_4 + 6*c_0110_4^2 - 3*c_0011_3*c_1001_1 + 15*c_0101_1*c_1001_1 - 4*c_0101_8*c_1001_1 + 11*c_0110_4*c_1001_1 - 6*c_1001_1^2 - 9*c_0011_10*c_1001_2 - 18*c_0011_11*c_1001_2 + 4*c_0011_3*c_1001_2 - 7*c_0011_4*c_1001_2 - 9*c_0101_9*c_1001_2 + 10*c_1001_1*c_1001_2 - c_1001_2^2 + 14*c_0011_10 + 15*c_0011_11 - 2*c_0011_3 + 12*c_0011_4 + 12*c_0101_1 + 10*c_0101_8 + c_0101_9 + 4*c_0110_4 - 43*c_1001_1 - 4*c_1001_2 - 4, c_0101_1^2*c_0101_9 - 6*c_0011_10*c_1001_2^2 - 3*c_0011_4*c_1001_2^2 - 2*c_0110_4*c_1001_2^2 - c_1001_2^3 + 6*c_0011_11*c_0101_1 + 6*c_0011_3*c_0101_1 - 4*c_0011_4*c_0101_1 - 4*c_0101_1^2 + 10*c_0101_1*c_0101_8 - c_0011_10*c_0101_9 - 2*c_0011_3*c_0101_9 - 9*c_0011_4*c_0101_9 - 12*c_0101_1*c_0101_9 + 3*c_0011_3*c_0110_4 + 4*c_0101_8*c_0110_4 + 11*c_0101_9*c_0110_4 - 6*c_0110_4^2 + 3*c_0011_3*c_1001_1 - 16*c_0101_1*c_1001_1 + 4*c_0101_8*c_1001_1 - 11*c_0110_4*c_1001_1 + 6*c_1001_1^2 + 8*c_0011_10*c_1001_2 + 18*c_0011_11*c_1001_2 - 4*c_0011_3*c_1001_2 + 7*c_0011_4*c_1001_2 + 9*c_0101_9*c_1001_2 - 10*c_1001_1*c_1001_2 + c_1001_2^2 - 11*c_0011_10 - 15*c_0011_11 + 2*c_0011_3 - 12*c_0011_4 - 12*c_0101_1 - 10*c_0101_8 - 3*c_0101_9 - 4*c_0110_4 + 43*c_1001_1 + 4*c_1001_2 + 4, c_0011_3*c_0101_9^2 - 29*c_0011_10*c_1001_2^2 + 14*c_0011_11*c_1001_2^2 - 4*c_0011_4*c_1001_2^2 + 8*c_0101_9*c_1001_2^2 - 11/4*c_0110_4*c_1001_2^2 - 3*c_1001_1*c_1001_2^2 - c_1001_2^3 + 9*c_0011_11*c_0101_1 + 13/2*c_0011_3*c_0101_1 - 11/2*c_0011_4*c_0101_1 - 25/4*c_0101_1^2 + 59/4*c_0101_1*c_0101_8 - 21*c_0011_10*c_0101_9 + 8*c_0011_11*c_0101_9 + 5/4*c_0011_3*c_0101_9 - 21*c_0011_4*c_0101_9 - 27*c_0101_1*c_0101_9 + 16*c_0101_9^2 + 2*c_0011_3*c_0110_4 + 7/2*c_0101_8*c_0110_4 + 45/2*c_0101_9*c_0110_4 - 29/4*c_0110_4^2 - 44*c_0011_10*c_1001_1 + 37*c_0011_11*c_1001_1 - 2*c_0011_3*c_1001_1 - 129/4*c_0101_1*c_1001_1 + 13/4*c_0101_8*c_1001_1 + 20*c_0101_9*c_1001_1 - 33/2*c_0110_4*c_1001_1 + 5*c_1001_1^2 + 181/4*c_0011_10*c_1001_2 + 23*c_0011_11*c_1001_2 - 19/4*c_0011_3*c_1001_2 + 9*c_0011_4*c_1001_2 + 17/4*c_0101_8*c_1001_2 + 11*c_0101_9*c_1001_2 - 7/2*c_0110_4*c_1001_2 - 25*c_1001_1*c_1001_2 - 3/4*c_1001_2^2 - 87/2*c_0011_10 - 105/4*c_0011_11 + 1/2*c_0011_3 - 14*c_0011_4 - 15*c_0101_1 - 19*c_0101_8 + 29/4*c_0101_9 - 3*c_0110_4 + 373/4*c_1001_1 + 39/4*c_1001_2 + 17/4, c_0011_3*c_0101_9*c_0110_4 + 2*c_0011_3*c_0101_9 - 3*c_0101_9*c_0110_4 - 3*c_0011_3*c_1001_1 - 2*c_0101_1*c_1001_1 - 4*c_0101_8*c_1001_1 + 5*c_0110_4*c_1001_1 + 2*c_0011_10*c_1001_2 - c_0011_10 - c_0011_11 + 3*c_0101_9 - 2*c_1001_1, c_0101_9^2*c_0110_4 - c_0011_11*c_1001_2^2 - c_0011_4*c_1001_2^2 - 3/4*c_0110_4*c_1001_2^2 + 1/2*c_0011_3*c_0101_1 - 3/2*c_0011_4*c_0101_1 - 9/4*c_0101_1^2 + 19/4*c_0101_1*c_0101_8 + 1/4*c_0011_3*c_0101_9 - c_0011_3*c_0110_4 - 1/2*c_0101_8*c_0110_4 + 1/2*c_0101_9*c_0110_4 - 5/4*c_0110_4^2 - c_0011_10*c_1001_1 - c_0011_3*c_1001_1 - 5/4*c_0101_1*c_1001_1 - 7/4*c_0101_8*c_1001_1 + 2*c_0101_9*c_1001_1 - 3/2*c_0110_4*c_1001_1 + 5/4*c_0011_10*c_1001_2 + 2*c_0011_11*c_1001_2 - 3/4*c_0011_3*c_1001_2 + 2*c_0011_4*c_1001_2 + 17/4*c_0101_8*c_1001_2 - 7/2*c_0110_4*c_1001_2 - c_1001_1*c_1001_2 - 7/4*c_1001_2^2 + 3/2*c_0011_10 - 5/4*c_0011_11 - 3/2*c_0011_3 - 2*c_0011_4 - 3*c_0101_1 - 9*c_0101_8 - 3/4*c_0101_9 + c_0110_4 + 13/4*c_1001_1 + 23/4*c_1001_2 + 1/4, c_0011_3*c_0110_4^2 + 1/2*c_0110_4*c_1001_2^2 - c_0011_3*c_0101_1 - c_0011_4*c_0101_1 - 5/2*c_0101_1^2 + 1/2*c_0101_1*c_0101_8 + 1/2*c_0011_3*c_0101_9 - 2*c_0011_3*c_0110_4 - 4*c_0101_8*c_0110_4 + 1/2*c_0110_4^2 - 2*c_0011_3*c_1001_1 - 5/2*c_0101_1*c_1001_1 - 3/2*c_0101_8*c_1001_1 - 3*c_0110_4*c_1001_1 + 5/2*c_0011_10*c_1001_2 + 5/2*c_0011_3*c_1001_2 - c_0011_4*c_1001_2 + 17/2*c_0101_8*c_1001_2 - 6*c_0110_4*c_1001_2 - 7/2*c_1001_2^2 + c_0011_10 - 1/2*c_0011_11 - 5*c_0011_3 + 5*c_0011_4 + 3*c_0101_1 - 11*c_0101_8 + 1/2*c_0101_9 + 4*c_0110_4 + 1/2*c_1001_1 + 15/2*c_1001_2 - 1/2, c_0101_8*c_0110_4^2 - 3/4*c_0110_4*c_1001_2^2 + 3/2*c_0011_3*c_0101_1 + 3/2*c_0011_4*c_0101_1 + 15/4*c_0101_1^2 - 5/4*c_0101_1*c_0101_8 - 3/4*c_0011_3*c_0101_9 + 6*c_0011_3*c_0110_4 + 15/2*c_0101_8*c_0110_4 + 1/2*c_0101_9*c_0110_4 - 1/4*c_0110_4^2 + 3*c_0011_3*c_1001_1 + 15/4*c_0101_1*c_1001_1 + 9/4*c_0101_8*c_1001_1 + 9/2*c_0110_4*c_1001_1 - 15/4*c_0011_10*c_1001_2 - 15/4*c_0011_3*c_1001_2 + c_0011_4*c_1001_2 - 51/4*c_0101_8*c_1001_2 + 17/2*c_0110_4*c_1001_2 + 21/4*c_1001_2^2 - 3/2*c_0011_10 + 3/4*c_0011_11 + 13/2*c_0011_3 - 6*c_0011_4 - 3*c_0101_1 + 19*c_0101_8 - 3/4*c_0101_9 - 7*c_0110_4 - 3/4*c_1001_1 - 45/4*c_1001_2 + 5/4, c_0101_9*c_0110_4^2 + c_0011_3*c_1001_1 + 4*c_0101_1*c_1001_1 - c_0101_8*c_1001_1 + 3*c_0110_4*c_1001_1 - 4*c_0011_10*c_1001_2 + 4*c_0011_10 + c_0011_11 - 2*c_0101_9 - c_1001_1, c_0110_4^3 - 1/4*c_0110_4*c_1001_2^2 - 3/2*c_0011_3*c_0101_1 + 3/2*c_0011_4*c_0101_1 + 9/4*c_0101_1^2 - 7/4*c_0101_1*c_0101_8 - 1/4*c_0011_3*c_0101_9 + c_0011_3*c_0110_4 + 1/2*c_0101_8*c_0110_4 - 1/2*c_0101_9*c_0110_4 + 13/4*c_0110_4^2 + c_0011_3*c_1001_1 + 5/4*c_0101_1*c_1001_1 + 3/4*c_0101_8*c_1001_1 + 3/2*c_0110_4*c_1001_1 - 5/4*c_0011_10*c_1001_2 + 3/4*c_0011_3*c_1001_2 + c_0011_4*c_1001_2 - 9/4*c_0101_8*c_1001_2 + 3/2*c_0110_4*c_1001_2 + 7/4*c_1001_2^2 - 3/2*c_0011_10 + 1/4*c_0011_11 - 1/2*c_0011_3 - 2*c_0011_4 - c_0101_1 + 9*c_0101_8 + 3/4*c_0101_9 - 3*c_0110_4 - 1/4*c_1001_1 - 23/4*c_1001_2 - 1/4, c_0011_11*c_0101_1*c_1001_1 - c_0011_11*c_0101_9*c_1001_2 + c_0011_10*c_1001_1*c_1001_2 + c_0011_11*c_0101_9 - 3*c_0011_10*c_1001_1 + c_0101_9*c_1001_1, c_0011_3*c_0101_1*c_1001_1 - c_0011_10*c_1001_2^2 - c_0011_4*c_1001_2^2 - 3/4*c_0110_4*c_1001_2^2 + c_0011_11*c_0101_1 + 1/2*c_0011_3*c_0101_1 - 3/2*c_0011_4*c_0101_1 - 9/4*c_0101_1^2 + 19/4*c_0101_1*c_0101_8 + 5/4*c_0011_3*c_0101_9 - 4*c_0011_4*c_0101_9 - 6*c_0101_1*c_0101_9 - c_0011_3*c_0110_4 - 1/2*c_0101_8*c_0110_4 + 5/2*c_0101_9*c_0110_4 - 5/4*c_0110_4^2 - 4*c_0011_3*c_1001_1 - 25/4*c_0101_1*c_1001_1 - 11/4*c_0101_8*c_1001_1 - 1/2*c_0110_4*c_1001_1 + c_1001_1^2 + 21/4*c_0011_10*c_1001_2 + 8*c_0011_11*c_1001_2 - 3/4*c_0011_3*c_1001_2 + 2*c_0011_4*c_1001_2 + 17/4*c_0101_8*c_1001_2 + c_0101_9*c_1001_2 - 7/2*c_0110_4*c_1001_2 - 3*c_1001_1*c_1001_2 - 7/4*c_1001_2^2 - 3/2*c_0011_10 - 33/4*c_0011_11 - 3/2*c_0011_3 - 2*c_0011_4 - 3*c_0101_1 - 9*c_0101_8 + 5/4*c_0101_9 + c_0110_4 + 73/4*c_1001_1 + 23/4*c_1001_2 + 1/4, c_0101_1^2*c_1001_1 + 2*c_0011_4*c_0101_9 + 2*c_0101_1*c_0101_9 - c_0101_9*c_0110_4 - c_0011_10*c_1001_1 - 3*c_0011_11*c_1001_2 + 3*c_0011_11 - 5*c_1001_1, c_0101_1*c_0101_8*c_1001_1 - c_0011_10*c_1001_2^2 + c_0011_3*c_1001_1 + c_0101_1*c_1001_1 - c_0101_8*c_1001_1 + c_1001_1^2 - c_0011_10*c_1001_2 + c_0101_9*c_1001_2 + c_0011_11 - c_0101_9 - c_1001_1, c_0011_3*c_0101_9*c_1001_1 - 19*c_0011_10*c_1001_2^2 + 7*c_0011_11*c_1001_2^2 - 5*c_0011_4*c_1001_2^2 + 5*c_0101_9*c_1001_2^2 - 7/2*c_0110_4*c_1001_2^2 - 2*c_1001_1*c_1001_2^2 - c_1001_2^3 + 6*c_0011_11*c_0101_1 + 7*c_0011_3*c_0101_1 - 7*c_0011_4*c_0101_1 - 17/2*c_0101_1^2 + 39/2*c_0101_1*c_0101_8 - 13*c_0011_10*c_0101_9 + 4*c_0011_11*c_0101_9 + 1/2*c_0011_3*c_0101_9 - 14*c_0011_4*c_0101_9 - 18*c_0101_1*c_0101_9 + 9*c_0101_9^2 + c_0011_3*c_0110_4 + 3*c_0101_8*c_0110_4 + 17*c_0101_9*c_0110_4 - 17/2*c_0110_4^2 - 19*c_0011_10*c_1001_1 + 21*c_0011_11*c_1001_1 - 2*c_0011_3*c_1001_1 - 49/2*c_0101_1*c_1001_1 + 1/2*c_0101_8*c_1001_1 + 8*c_0101_9*c_1001_1 - 15*c_0110_4*c_1001_1 + 7*c_1001_1^2 + 65/2*c_0011_10*c_1001_2 + 20*c_0011_11*c_1001_2 - 11/2*c_0011_3*c_1001_2 + 11*c_0011_4*c_1001_2 + 17/2*c_0101_8*c_1001_2 + 8*c_0101_9*c_1001_2 - 7*c_0110_4*c_1001_2 - 19*c_1001_1*c_1001_2 - 5/2*c_1001_2^2 - 27*c_0011_10 - 41/2*c_0011_11 - c_0011_3 - 16*c_0011_4 - 18*c_0101_1 - 28*c_0101_8 + 5/2*c_0101_9 - 2*c_0110_4 + 141/2*c_1001_1 + 31/2*c_1001_2 + 9/2, c_0101_1*c_0101_9*c_1001_1 - c_0011_10*c_0101_9*c_1001_2 + 2*c_0011_10*c_0101_9 - c_0101_9^2 - c_0011_11*c_1001_1 - c_1001_1^2, c_0011_3*c_0110_4*c_1001_1 + 2*c_0011_3*c_0101_9 - 3*c_0101_9*c_0110_4 - 2*c_0011_3*c_1001_1 - c_0101_1*c_1001_1 - 3*c_0101_8*c_1001_1 + 3*c_0110_4*c_1001_1 + c_0011_10*c_1001_2 - c_0011_10 + 2*c_0101_9 - 3*c_1001_1, c_0101_8*c_0110_4*c_1001_1 - 3*c_0011_3*c_0101_9 + 4*c_0101_9*c_0110_4 + 7*c_0011_3*c_1001_1 + 5*c_0101_1*c_1001_1 + 7*c_0101_8*c_1001_1 - 5*c_0110_4*c_1001_1 - 5*c_0011_10*c_1001_2 + 2*c_0011_10 + c_0011_11 - 4*c_0101_9 + c_1001_1, c_0101_9*c_0110_4*c_1001_1 - c_0011_10*c_1001_2^2 + c_0101_9*c_1001_2^2 - 1/4*c_0110_4*c_1001_2^2 + c_1001_2^3 - 9/2*c_0011_3*c_0101_1 - 1/2*c_0011_4*c_0101_1 - 11/4*c_0101_1^2 + 17/4*c_0101_1*c_0101_8 + 11/4*c_0011_3*c_0101_9 - 6*c_0011_3*c_0110_4 - 11/2*c_0101_8*c_0110_4 - 5/2*c_0101_9*c_0110_4 + 9/4*c_0110_4^2 - 5*c_0011_3*c_1001_1 + 1/4*c_0101_1*c_1001_1 - 29/4*c_0101_8*c_1001_1 + 3/2*c_0110_4*c_1001_1 + c_1001_1^2 + 7/4*c_0011_10*c_1001_2 + 7/4*c_0011_3*c_1001_2 - c_0011_4*c_1001_2 + 51/4*c_0101_8*c_1001_2 - 2*c_0101_9*c_1001_2 - 21/2*c_0110_4*c_1001_2 - 25/4*c_1001_2^2 + 9/2*c_0011_10 + 1/4*c_0011_11 - 13/2*c_0011_3 + 6*c_0011_4 + 3*c_0101_1 - 17*c_0101_8 + 7/4*c_0101_9 + 7*c_0110_4 - 9/4*c_1001_1 + 53/4*c_1001_2 - 13/4, c_0110_4^2*c_1001_1 - c_0011_3*c_0101_9 + 2*c_0101_9*c_0110_4 + 4*c_0011_3*c_1001_1 + 5*c_0101_1*c_1001_1 + 3*c_0101_8*c_1001_1 - c_0110_4*c_1001_1 - 5*c_0011_10*c_1001_2 + 3*c_0011_10 + c_0011_11 - 3*c_0101_9 - c_1001_1, c_0011_3*c_1001_1^2 - 20*c_0011_10*c_1001_2^2 + 9*c_0011_11*c_1001_2^2 - 3*c_0011_4*c_1001_2^2 + 6*c_0101_9*c_1001_2^2 - 9/4*c_0110_4*c_1001_2^2 - 2*c_1001_1*c_1001_2^2 + 6*c_0011_11*c_0101_1 + 3/2*c_0011_3*c_0101_1 - 9/2*c_0011_4*c_0101_1 - 27/4*c_0101_1^2 + 57/4*c_0101_1*c_0101_8 - 15*c_0011_10*c_0101_9 + 4*c_0011_11*c_0101_9 + 11/4*c_0011_3*c_0101_9 - 14*c_0011_4*c_0101_9 - 18*c_0101_1*c_0101_9 + 11*c_0101_9^2 - 3*c_0011_3*c_0110_4 - 3/2*c_0101_8*c_0110_4 + 27/2*c_0101_9*c_0110_4 - 15/4*c_0110_4^2 - 23*c_0011_10*c_1001_1 + 26*c_0011_11*c_1001_1 - 5*c_0011_3*c_1001_1 - 87/4*c_0101_1*c_1001_1 - 13/4*c_0101_8*c_1001_1 + 10*c_0101_9*c_1001_1 - 21/2*c_0110_4*c_1001_1 + 3*c_1001_1^2 + 127/4*c_0011_10*c_1001_2 + 16*c_0011_11*c_1001_2 - 9/4*c_0011_3*c_1001_2 + 6*c_0011_4*c_1001_2 + 51/4*c_0101_8*c_1001_2 + 6*c_0101_9*c_1001_2 - 21/2*c_0110_4*c_1001_2 - 17*c_1001_1*c_1001_2 - 21/4*c_1001_2^2 - 51/2*c_0011_10 - 71/4*c_0011_11 - 9/2*c_0011_3 - 6*c_0011_4 - 9*c_0101_1 - 27*c_0101_8 + 23/4*c_0101_9 + 3*c_0110_4 + 247/4*c_1001_1 + 69/4*c_1001_2 + 3/4, c_0101_1*c_1001_1^2 - c_0011_10*c_1001_1*c_1001_2 - c_0011_11*c_1001_2^2 - c_0011_4*c_1001_2^2 - 3/4*c_0110_4*c_1001_2^2 + 1/2*c_0011_3*c_0101_1 - 3/2*c_0011_4*c_0101_1 - 9/4*c_0101_1^2 + 19/4*c_0101_1*c_0101_8 + 1/4*c_0011_3*c_0101_9 - c_0011_3*c_0110_4 - 1/2*c_0101_8*c_0110_4 + 1/2*c_0101_9*c_0110_4 - 5/4*c_0110_4^2 + 2*c_0011_10*c_1001_1 - c_0011_3*c_1001_1 - 5/4*c_0101_1*c_1001_1 - 7/4*c_0101_8*c_1001_1 - c_0101_9*c_1001_1 - 3/2*c_0110_4*c_1001_1 + 5/4*c_0011_10*c_1001_2 + 2*c_0011_11*c_1001_2 - 3/4*c_0011_3*c_1001_2 + 2*c_0011_4*c_1001_2 + 17/4*c_0101_8*c_1001_2 - 7/2*c_0110_4*c_1001_2 - c_1001_1*c_1001_2 - 7/4*c_1001_2^2 + 3/2*c_0011_10 - 5/4*c_0011_11 - 3/2*c_0011_3 - 2*c_0011_4 - 3*c_0101_1 - 9*c_0101_8 - 3/4*c_0101_9 + c_0110_4 + 13/4*c_1001_1 + 23/4*c_1001_2 + 1/4, c_0101_8*c_1001_1^2 + 26*c_0011_10*c_1001_2^2 - 7*c_0011_11*c_1001_2^2 + 11*c_0011_4*c_1001_2^2 - 5*c_0101_9*c_1001_2^2 + 29/4*c_0110_4*c_1001_2^2 + 3*c_1001_1*c_1001_2^2 + 4*c_1001_2^3 - 9*c_0011_11*c_0101_1 - 47/2*c_0011_3*c_0101_1 + 29/2*c_0011_4*c_0101_1 + 55/4*c_0101_1^2 - 141/4*c_0101_1*c_0101_8 + 9*c_0011_10*c_0101_9 - 3*c_0011_11*c_0101_9 + 21/4*c_0011_3*c_0101_9 + 21*c_0011_4*c_0101_9 + 27*c_0101_1*c_0101_9 - 7*c_0101_9^2 - 13*c_0011_3*c_0110_4 - 33/2*c_0101_8*c_0110_4 - 67/2*c_0101_9*c_0110_4 + 91/4*c_0110_4^2 + 18*c_0011_10*c_1001_1 - 17*c_0011_11*c_1001_1 - 6*c_0011_3*c_1001_1 + 167/4*c_0101_1*c_1001_1 - 51/4*c_0101_8*c_1001_1 - 9*c_0101_9*c_1001_1 + 63/2*c_0110_4*c_1001_1 - 13*c_1001_1^2 - 195/4*c_0011_10*c_1001_2 - 37*c_0011_11*c_1001_2 + 61/4*c_0011_3*c_1001_2 - 26*c_0011_4*c_1001_2 + 17/4*c_0101_8*c_1001_2 - 17*c_0101_9*c_1001_2 - 7/2*c_0110_4*c_1001_2 + 32*c_1001_1*c_1001_2 - 23/4*c_1001_2^2 + 93/2*c_0011_10 + 143/4*c_0011_11 - 19/2*c_0011_3 + 46*c_0011_4 + 45*c_0101_1 + 31*c_0101_8 + 13/4*c_0101_9 + 17*c_0110_4 - 491/4*c_1001_1 - 41/4*c_1001_2 - 63/4, c_0110_4*c_1001_1^2 + 7*c_0011_10*c_1001_2^2 + 6*c_0011_4*c_1001_2^2 + 15/4*c_0110_4*c_1001_2^2 + c_1001_1*c_1001_2^2 + 3*c_1001_2^3 - 3*c_0011_11*c_0101_1 - 33/2*c_0011_3*c_0101_1 + 15/2*c_0011_4*c_0101_1 + 21/4*c_0101_1^2 - 63/4*c_0101_1*c_0101_8 + 23/4*c_0011_3*c_0101_9 + 7*c_0011_4*c_0101_9 + 9*c_0101_1*c_0101_9 - 12*c_0011_3*c_0110_4 - 27/2*c_0101_8*c_0110_4 - 33/2*c_0101_9*c_0110_4 + 57/4*c_0110_4^2 - 8*c_0011_3*c_1001_1 + 69/4*c_0101_1*c_1001_1 - 49/4*c_0101_8*c_1001_1 + 33/2*c_0110_4*c_1001_1 - 7*c_1001_1^2 - 65/4*c_0011_10*c_1001_2 - 17*c_0011_11*c_1001_2 + 39/4*c_0011_3*c_1001_2 - 15*c_0011_4*c_1001_2 + 51/4*c_0101_8*c_1001_2 - 9*c_0101_9*c_1001_2 - 21/2*c_0110_4*c_1001_2 + 13*c_1001_1*c_1001_2 - 33/4*c_1001_2^2 + 39/2*c_0011_10 + 61/4*c_0011_11 - 21/2*c_0011_3 + 30*c_0011_4 + 27*c_0101_1 + 3*c_0101_8 + 23/4*c_0101_9 + 15*c_0110_4 - 209/4*c_1001_1 + 21/4*c_1001_2 - 45/4, c_0011_3*c_0101_9*c_1001_2 - 7*c_0011_10*c_1001_2^2 - 5*c_0011_4*c_1001_2^2 - 13/4*c_0110_4*c_1001_2^2 - 2*c_1001_2^3 + 4*c_0011_11*c_0101_1 + 23/2*c_0011_3*c_0101_1 - 13/2*c_0011_4*c_0101_1 - 23/4*c_0101_1^2 + 61/4*c_0101_1*c_0101_8 - 13/4*c_0011_3*c_0101_9 - 9*c_0011_4*c_0101_9 - 13*c_0101_1*c_0101_9 + 7*c_0011_3*c_0110_4 + 17/2*c_0101_8*c_0110_4 + 29/2*c_0101_9*c_0110_4 - 43/4*c_0110_4^2 + 3*c_0011_3*c_1001_1 - 71/4*c_0101_1*c_1001_1 + 23/4*c_0101_8*c_1001_1 - 25/2*c_0110_4*c_1001_1 + 7*c_1001_1^2 + 67/4*c_0011_10*c_1001_2 + 21*c_0011_11*c_1001_2 - 29/4*c_0011_3*c_1001_2 + 12*c_0011_4*c_1001_2 - 17/4*c_0101_8*c_1001_2 + 8*c_0101_9*c_1001_2 + 7/2*c_0110_4*c_1001_2 - 12*c_1001_1*c_1001_2 + 15/4*c_1001_2^2 - 35/2*c_0011_10 - 79/4*c_0011_11 + 11/2*c_0011_3 - 22*c_0011_4 - 21*c_0101_1 - 11*c_0101_8 - 9/4*c_0101_9 - 9*c_0110_4 + 223/4*c_1001_1 + 9/4*c_1001_2 + 31/4, c_0011_4*c_0101_9*c_1001_2 - c_0011_11*c_1001_2^2 - 2*c_0011_4*c_0101_9 - c_0101_1*c_0101_9 - c_0011_10*c_1001_1 + 2*c_0101_9*c_1001_1 + c_0011_11*c_1001_2 - 2*c_1001_1*c_1001_2 + c_1001_1, c_0011_3*c_0110_4*c_1001_2 + 1/2*c_0110_4*c_1001_2^2 + 3*c_0011_3*c_0101_1 - c_0011_4*c_0101_1 - 1/2*c_0101_1^2 + 3/2*c_0101_1*c_0101_8 + 1/2*c_0011_3*c_0101_9 + 2*c_0011_3*c_0110_4 + 2*c_0101_8*c_0110_4 - 3/2*c_0110_4^2 - 2*c_0011_3*c_1001_1 - 5/2*c_0101_1*c_1001_1 - 3/2*c_0101_8*c_1001_1 + 2*c_0110_4*c_1001_1 + 5/2*c_0011_10*c_1001_2 - 3/2*c_0011_3*c_1001_2 - c_0011_4*c_1001_2 - 7/2*c_0101_8*c_1001_2 + c_0110_4*c_1001_2 + 3/2*c_1001_2^2 - c_0011_10 - 1/2*c_0011_11 + 2*c_0011_3 - c_0011_4 - 2*c_0101_1 + 2*c_0101_8 + 1/2*c_0101_9 - 2*c_0110_4 + 1/2*c_1001_1 - 3/2*c_1001_2 + 3/2, c_0101_8*c_0110_4*c_1001_2 - 5/4*c_0110_4*c_1001_2^2 - 1/2*c_0011_3*c_0101_1 + 3/2*c_0011_4*c_0101_1 + 9/4*c_0101_1^2 - 19/4*c_0101_1*c_0101_8 - 5/4*c_0011_3*c_0101_9 + c_0011_3*c_0110_4 + 1/2*c_0101_8*c_0110_4 + 3/2*c_0101_9*c_0110_4 + 5/4*c_0110_4^2 + 5*c_0011_3*c_1001_1 + 25/4*c_0101_1*c_1001_1 + 15/4*c_0101_8*c_1001_1 + 1/2*c_0110_4*c_1001_1 - 25/4*c_0011_10*c_1001_2 + 3/4*c_0011_3*c_1001_2 + c_0011_4*c_1001_2 - 17/4*c_0101_8*c_1001_2 + 11/2*c_0110_4*c_1001_2 + 7/4*c_1001_2^2 + 3/2*c_0011_10 + 5/4*c_0011_11 + 3/2*c_0011_3 - c_0011_4 + 2*c_0101_1 + 9*c_0101_8 - 9/4*c_0101_9 - 2*c_0110_4 - 5/4*c_1001_1 - 23/4*c_1001_2 - 1/4, c_0101_9*c_0110_4*c_1001_2 - c_0011_4*c_1001_2^2 - 3/4*c_0110_4*c_1001_2^2 + 1/2*c_0011_3*c_0101_1 - 3/2*c_0011_4*c_0101_1 - 9/4*c_0101_1^2 + 19/4*c_0101_1*c_0101_8 + 1/4*c_0011_3*c_0101_9 - c_0011_3*c_0110_4 - 1/2*c_0101_8*c_0110_4 + 1/2*c_0101_9*c_0110_4 - 5/4*c_0110_4^2 - c_0011_3*c_1001_1 - 5/4*c_0101_1*c_1001_1 - 7/4*c_0101_8*c_1001_1 - 3/2*c_0110_4*c_1001_1 + 5/4*c_0011_10*c_1001_2 - 3/4*c_0011_3*c_1001_2 + 2*c_0011_4*c_1001_2 + 17/4*c_0101_8*c_1001_2 - 7/2*c_0110_4*c_1001_2 - 7/4*c_1001_2^2 + 3/2*c_0011_10 - 1/4*c_0011_11 - 3/2*c_0011_3 - 2*c_0011_4 - 3*c_0101_1 - 9*c_0101_8 - 3/4*c_0101_9 + c_0110_4 + 13/4*c_1001_1 + 23/4*c_1001_2 + 1/4, c_0110_4^2*c_1001_2 - 3/4*c_0110_4*c_1001_2^2 + 1/2*c_0011_3*c_0101_1 + 3/2*c_0011_4*c_0101_1 + 11/4*c_0101_1^2 - 21/4*c_0101_1*c_0101_8 - 3/4*c_0011_3*c_0101_9 + 2*c_0011_3*c_0110_4 + 3/2*c_0101_8*c_0110_4 + 1/2*c_0101_9*c_0110_4 + 3/4*c_0110_4^2 + 3*c_0011_3*c_1001_1 + 15/4*c_0101_1*c_1001_1 + 9/4*c_0101_8*c_1001_1 + 3/2*c_0110_4*c_1001_1 - 15/4*c_0011_10*c_1001_2 + 1/4*c_0011_3*c_1001_2 + c_0011_4*c_1001_2 - 23/4*c_0101_8*c_1001_2 + 13/2*c_0110_4*c_1001_2 + 9/4*c_1001_2^2 - 1/2*c_0011_10 + 3/4*c_0011_11 + 5/2*c_0011_3 - 2*c_0011_4 + c_0101_1 + 12*c_0101_8 - 3/4*c_0101_9 - 3*c_0110_4 - 3/4*c_1001_1 - 33/4*c_1001_2 + 1/4, c_0011_3*c_1001_1*c_1001_2 - 9*c_0011_10*c_1001_2^2 - 6*c_0011_4*c_1001_2^2 - 4*c_0110_4*c_1001_2^2 - 2*c_1001_2^3 + 4*c_0011_11*c_0101_1 + 12*c_0011_3*c_0101_1 - 8*c_0011_4*c_0101_1 - 8*c_0101_1^2 + 20*c_0101_1*c_0101_8 - 2*c_0011_3*c_0101_9 - 11*c_0011_4*c_0101_9 - 15*c_0101_1*c_0101_9 + 6*c_0011_3*c_0110_4 + 8*c_0101_8*c_0110_4 + 16*c_0101_9*c_0110_4 - 12*c_0110_4^2 + c_0011_3*c_1001_1 - 21*c_0101_1*c_1001_1 + 4*c_0101_8*c_1001_1 - 14*c_0110_4*c_1001_1 + 9*c_1001_1^2 + 20*c_0011_10*c_1001_2 + 26*c_0011_11*c_1001_2 - 8*c_0011_3*c_1001_2 + 14*c_0011_4*c_1001_2 + 10*c_0101_9*c_1001_2 - 17*c_1001_1*c_1001_2 + 2*c_1001_2^2 - 18*c_0011_10 - 23*c_0011_11 + 4*c_0011_3 - 24*c_0011_4 - 24*c_0101_1 - 20*c_0101_8 - 3*c_0101_9 - 8*c_0110_4 + 66*c_1001_1 + 8*c_1001_2 + 8, c_0101_8*c_1001_1*c_1001_2 + 7*c_0011_10*c_1001_2^2 + 5*c_0011_4*c_1001_2^2 + 3*c_0110_4*c_1001_2^2 + 3*c_1001_2^3 - 3*c_0011_11*c_0101_1 - 16*c_0011_3*c_0101_1 + 6*c_0011_4*c_0101_1 + 3*c_0101_1^2 - 11*c_0101_1*c_0101_8 + 6*c_0011_3*c_0101_9 + 7*c_0011_4*c_0101_9 + 9*c_0101_1*c_0101_9 - 13*c_0011_3*c_0110_4 - 14*c_0101_8*c_0110_4 - 16*c_0101_9*c_0110_4 + 13*c_0110_4^2 - 9*c_0011_3*c_1001_1 + 16*c_0101_1*c_1001_1 - 14*c_0101_8*c_1001_1 + 15*c_0110_4*c_1001_1 - 7*c_1001_1^2 - 15*c_0011_10*c_1001_2 - 17*c_0011_11*c_1001_2 + 9*c_0011_3*c_1001_2 - 13*c_0011_4*c_1001_2 + 17*c_0101_8*c_1001_2 - 9*c_0101_9*c_1001_2 - 14*c_0110_4*c_1001_2 + 13*c_1001_1*c_1001_2 - 10*c_1001_2^2 + 21*c_0011_10 + 15*c_0011_11 - 12*c_0011_3 + 28*c_0011_4 + 24*c_0101_1 - 6*c_0101_8 + 5*c_0101_9 + 16*c_0110_4 - 50*c_1001_1 + 11*c_1001_2 - 11, c_0110_4*c_1001_1*c_1001_2 - 1/4*c_0110_4*c_1001_2^2 + c_1001_2^3 - 9/2*c_0011_3*c_0101_1 - 1/2*c_0011_4*c_0101_1 - 11/4*c_0101_1^2 + 17/4*c_0101_1*c_0101_8 + 11/4*c_0011_3*c_0101_9 - 6*c_0011_3*c_0110_4 - 11/2*c_0101_8*c_0110_4 - 5/2*c_0101_9*c_0110_4 + 9/4*c_0110_4^2 - 5*c_0011_3*c_1001_1 + 1/4*c_0101_1*c_1001_1 - 29/4*c_0101_8*c_1001_1 + 3/2*c_0110_4*c_1001_1 - 1/4*c_0011_10*c_1001_2 + 7/4*c_0011_3*c_1001_2 - c_0011_4*c_1001_2 + 51/4*c_0101_8*c_1001_2 - 21/2*c_0110_4*c_1001_2 - 25/4*c_1001_2^2 + 11/2*c_0011_10 + 1/4*c_0011_11 - 13/2*c_0011_3 + 6*c_0011_4 + 3*c_0101_1 - 17*c_0101_8 + 3/4*c_0101_9 + 7*c_0110_4 - 9/4*c_1001_1 + 53/4*c_1001_2 - 13/4, c_0011_3*c_1001_2^2 + c_0011_3*c_0101_1 - 2*c_0011_3*c_0101_9 + 3*c_0101_9*c_0110_4 + 2*c_0011_3*c_1001_1 + c_0101_1*c_1001_1 + 3*c_0101_8*c_1001_1 - 3*c_0110_4*c_1001_1 - c_0011_10*c_1001_2 - c_0101_8*c_1001_2 - c_0110_4*c_1001_2 + c_0011_10 - c_0101_1 - 2*c_0101_9 + 3*c_1001_1, c_0101_8*c_1001_2^2 - c_0110_4*c_1001_2^2 - 2*c_0011_3*c_0101_1 - c_0101_1^2 + c_0101_1*c_0101_8 + 2*c_0011_3*c_0101_9 - 2*c_0011_3*c_0110_4 - 2*c_0101_8*c_0110_4 - 2*c_0101_9*c_0110_4 + c_0110_4^2 - 3*c_0011_3*c_1001_1 - 4*c_0101_8*c_1001_1 + 3*c_0110_4*c_1001_1 + 3*c_0101_8*c_1001_2 - 2*c_0110_4*c_1001_2 - c_1001_2^2 + 2*c_0011_10 - 2*c_0011_3 + 2*c_0011_4 + 2*c_0101_1 - 5*c_0101_8 + c_0101_9 + 2*c_0110_4 - 2*c_1001_1 + 4*c_1001_2 - 1, c_0011_10^2 - 2*c_0011_10*c_0101_9 + c_0101_9^2 + c_0011_11*c_1001_1, c_0011_10*c_0011_11 - c_0011_11*c_0101_9 + c_0011_10*c_1001_1, c_0011_11^2 - c_0011_10*c_0101_9 + c_0101_9^2 + c_0011_11*c_1001_1, c_0011_10*c_0011_3 - c_0011_3*c_1001_1 - c_0101_1*c_1001_1 - c_0101_8*c_1001_1 + c_0110_4*c_1001_1 + c_0011_10*c_1001_2 - c_0011_10 - c_0011_11 + c_0101_9 + c_1001_1, c_0011_11*c_0011_3 + c_0011_3*c_0101_9 - 2*c_0101_9*c_0110_4 - 2*c_0011_3*c_1001_1 + c_0101_1*c_1001_1 - 2*c_0101_8*c_1001_1 + 3*c_0110_4*c_1001_1 - c_0011_10*c_1001_2 + c_0011_10 + c_0101_9 - 2*c_1001_1, c_0011_3^2 - c_0101_8*c_0110_4 + c_0110_4^2 - c_0011_3, c_0011_10*c_0011_4 + c_0101_1*c_0101_9 - c_1001_1, c_0011_11*c_0011_4 + c_0011_11*c_0101_1 + c_0011_10*c_1001_2 - 2*c_0011_10 + c_0101_9, c_0011_3*c_0011_4 + 2*c_0011_3*c_0101_1 + c_0101_1^2 + 2*c_0011_3*c_0110_4 + 2*c_0101_8*c_0110_4 - c_0110_4^2 + c_0110_4*c_1001_1 - c_0011_3*c_1001_2 - 3*c_0101_8*c_1001_2 + 2*c_0110_4*c_1001_2 + c_1001_2^2 - c_0011_10 + 2*c_0011_3 - 2*c_0011_4 - 2*c_0101_1 + 4*c_0101_8 - 2*c_0110_4 - 3*c_1001_2 + 1, c_0011_4^2 - 2*c_0011_3*c_0101_1 + 3*c_0011_4*c_0101_1 + 2*c_0101_1^2 - 2*c_0101_1*c_0101_8 - 2*c_0011_3*c_0110_4 - 2*c_0101_8*c_0110_4 + 2*c_0110_4^2 + c_0101_1*c_1001_1 + c_0110_4*c_1001_1 - c_0011_10*c_1001_2 + 2*c_0011_3*c_1001_2 + c_0101_8*c_1001_2 - 2*c_0110_4*c_1001_2 + c_1001_2^2 + c_0011_10 - 2*c_0011_3 + 2*c_0011_4 + 2*c_0101_1 + 2*c_0110_4 - c_1001_2 - 1, c_0011_10*c_0101_1 - c_0011_4*c_0101_9 - 2*c_0101_1*c_0101_9 + c_0011_11*c_1001_2 - c_0011_11 + 2*c_1001_1, c_0011_10*c_0101_8 + c_0101_1*c_1001_1 - c_0011_10*c_1001_2, c_0011_11*c_0101_8 + c_0101_9*c_0110_4 - c_0011_11 + 2*c_1001_1, c_0011_3*c_0101_8 - c_0011_3*c_0110_4 - c_0101_8, c_0011_4*c_0101_8 + c_0110_4*c_1001_2 + c_0101_1, c_0101_8^2 - 2*c_0101_8*c_0110_4 + c_0110_4^2 - c_0011_3, c_0101_8*c_0101_9 - c_0110_4*c_1001_1 - c_0011_10, c_0011_10*c_0110_4 + c_1001_1, c_0011_11*c_0110_4 + c_0101_1*c_1001_1 - c_0011_10*c_1001_2 + 2*c_0011_10 - c_0101_9, c_0011_4*c_0110_4 - c_0110_4*c_1001_1 + c_0101_8*c_1001_2 - c_1001_2^2, c_0101_1*c_0110_4 - c_0101_8 + c_1001_2, c_0011_4*c_1001_1 + c_0101_9*c_1001_2 - c_0011_10, c_0101_1*c_1001_2 + c_0011_4 - c_1001_1, c_0011_0 - 1, c_0101_0 - 1 ] ] IDEAL=DECOMPOSITION=ENDS=HERE FREE=VARIABLES=IN=COMPONENTS=BEGINS=HERE [ [ "c_1001_1" ] ] FREE=VARIABLES=IN=COMPONENTS=ENDS=HERE Status: Finding witnesses for non-zero dimensional ideals... Status: Computing Groebner basis... Time: 0.020 Status: Saturating ideal ( 1 / 12 )... Time: 0.020 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.010 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.020 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 9 / 12 )... Time: 0.010 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 10 / 12 )... Time: 0.020 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 11 / 12 )... Time: 0.020 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: 0.470 ==WITNESSES=FOR=COMPONENTS=BEGINS== ==WITNESSES=BEGINS== ==WITNESS=BEGINS== Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0011_4, c_0101_0, c_0101_1, c_0101_8, c_0101_9, c_0110_4, c_1001_1, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Groebner basis: [ c_0011_0 - 1, c_0011_10 + 5460997805826794476147/12912876353243429586250*c_1001_2^19 - 88837959517064070666809/51651505412973718345000*c_1001_2^18 + 6590286767736356014119/10330301082594743669000*c_1001_2^17 + 923770491504888571386609/51651505412973718345000*c_1001_2^16 - 2639414145867521285663459/51651505412973718345000*c_1001_2^15 - 210132100604916765309986/6456438176621714793125*c_1001_2^14 + 16812872788832738827906297/25825752706486859172500*c_1001_2^13 - 122757302807471018767992373/51651505412973718345000*c_1001_2^12 + 137490938280749152635075019/25825752706486859172500*c_1001_2^11 - 219364222015625966302608053/25825752706486859172500*c_1001_2^10 + 262966504730815273926972077/25825752706486859172500*c_1001_2^9 - 487780476566319727891258997/51651505412973718345000*c_1001_2^8 + 9071035673212333975680009/1291287635324342958625*c_1001_2^7 - 114655453737564274815217813/25825752706486859172500*c_1001_2^6 + 66380245036219189192548407/25825752706486859172500*c_1001_2^5 - 69765365871440075520621547/51651505412973718345000*c_1001_2^4 + 14829335072394213499605553/25825752706486859172500*c_1001_2^3 - 7611138213751149861440611/51651505412973718345000*c_1001_2^2 + 116447569638916320774763/12912876353243429586250*c_1001_2 + 364672002770556826585311/51651505412973718345000, c_0011_11 + 431207883798138229553/6456438176621714793125*c_1001_2^19 - 1720823916794667649741/25825752706486859172500*c_1001_2^18 - 3484255987354720638489/5165150541297371834500*c_1001_2^17 + 76549085744340094259841/25825752706486859172500*c_1001_2^16 + 11061882726849851557709/25825752706486859172500*c_1001_2^15 - 177112849842204354127978/6456438176621714793125*c_1001_2^14 + 1070858523608384446947853/12912876353243429586250*c_1001_2^13 - 1849817971843969159156577/25825752706486859172500*c_1001_2^12 - 2965121919205131045846569/12912876353243429586250*c_1001_2^11 + 13109068390516624236398653/12912876353243429586250*c_1001_2^10 - 27419732242606448816399427/12912876353243429586250*c_1001_2^9 + 77465634019148773879012147/25825752706486859172500*c_1001_2^8 - 4051428830025107520405103/1291287635324342958625*c_1001_2^7 + 33296489889639861359899313/12912876353243429586250*c_1001_2^6 - 22778640280910237282658707/12912876353243429586250*c_1001_2^5 + 28051100733262648850831897/25825752706486859172500*c_1001_2^4 - 7809585506151740792287653/12912876353243429586250*c_1001_2^3 + 7573260593518285718783861/25825752706486859172500*c_1001_2^2 - 655397722399662290696588/6456438176621714793125*c_1001_2 + 574728817130922511840939/25825752706486859172500, c_0011_3 + 813029925794196154234/1291287635324342958625*c_1001_2^19 - 4038193078740869695327/1291287635324342958625*c_1001_2^18 + 168810125468037183033/51651505412973718345*c_1001_2^17 + 33070222339902536810467/1291287635324342958625*c_1001_2^16 - 128689023647650488667172/1291287635324342958625*c_1001_2^15 + 26704733031485596825541/1291287635324342958625*c_1001_2^14 + 1299996287295593727175557/1291287635324342958625*c_1001_2^13 - 5684007658423378520106954/1291287635324342958625*c_1001_2^12 + 14393228114449450250210844/1291287635324342958625*c_1001_2^11 - 25838136823344035778970928/1291287635324342958625*c_1001_2^10 + 35131067963228646208974162/1291287635324342958625*c_1001_2^9 - 37424083678416823971031261/1291287635324342958625*c_1001_2^8 + 6430217952174244685860072/258257527064868591725*c_1001_2^7 - 23124813434952237534052633/1291287635324342958625*c_1001_2^6 + 14626276453299662526156427/1291287635324342958625*c_1001_2^5 - 8399019496514419252111116/1291287635324342958625*c_1001_2^4 + 4256843894588857317022453/1291287635324342958625*c_1001_2^3 - 1739218948842771440037938/1291287635324342958625*c_1001_2^2 + 492853102347000262050386/1291287635324342958625*c_1001_2 - 79199502089462021797912/1291287635324342958625, c_0011_4 - 3147373486531117825827/51651505412973718345000*c_1001_2^19 + 3780544981672081947267/6456438176621714793125*c_1001_2^18 - 7502300554883510846873/5165150541297371834500*c_1001_2^17 - 26794004156315508277109/12912876353243429586250*c_1001_2^16 + 1110150032212382139441161/51651505412973718345000*c_1001_2^15 - 918319075174621126295799/25825752706486859172500*c_1001_2^14 - 6168573408003398632849901/51651505412973718345000*c_1001_2^13 + 44235512605460506338488817/51651505412973718345000*c_1001_2^12 - 17110872429532376632706269/6456438176621714793125*c_1001_2^11 + 35323313067918660255861678/6456438176621714793125*c_1001_2^10 - 429778604753423656443073141/51651505412973718345000*c_1001_2^9 + 502411883026126839237029863/51651505412973718345000*c_1001_2^8 - 46424758659323437697968239/5165150541297371834500*c_1001_2^7 + 87797936383774224963210451/12912876353243429586250*c_1001_2^6 - 228608895811840386893951931/51651505412973718345000*c_1001_2^5 + 135175907194589155928647763/51651505412973718345000*c_1001_2^4 - 71791731135392221419104799/51651505412973718345000*c_1001_2^3 + 31751689449781906671618369/51651505412973718345000*c_1001_2^2 - 9821595100404837491752983/51651505412973718345000*c_1001_2 + 1758657886619959541430331/51651505412973718345000, c_0101_0 - 1, c_0101_1 + 29677203148080873111071/51651505412973718345000*c_1001_2^19 - 18154830281734155966191/6456438176621714793125*c_1001_2^18 + 14781885903510858308829/5165150541297371834500*c_1001_2^17 + 300689181293977071672357/12912876353243429586250*c_1001_2^16 - 4611499283919596791551853/51651505412973718345000*c_1001_2^15 + 409434086206437306389227/25825752706486859172500*c_1001_2^14 + 47094372951172573746974873/51651505412973718345000*c_1001_2^13 - 204598923349666962201976341/51651505412973718345000*c_1001_2^12 + 64594082312839029760010787/6456438176621714793125*c_1001_2^11 - 115783643267573773158669669/6456438176621714793125*c_1001_2^10 + 1258461623327046215991690393/51651505412973718345000*c_1001_2^9 - 1340169790998119615901201299/51651505412973718345000*c_1001_2^8 + 115129090799438365313117947/5165150541297371834500*c_1001_2^7 - 206989298220125750005642773/12912876353243429586250*c_1001_2^6 + 523603171660882996842198063/51651505412973718345000*c_1001_2^5 - 300535636318441580676443999/51651505412973718345000*c_1001_2^4 + 152396191310314504517630227/51651505412973718345000*c_1001_2^3 - 62230518281341001550491837/51651505412973718345000*c_1001_2^2 + 17749885401216989677648059/51651505412973718345000*c_1001_2 - 2820893440677614453563263/51651505412973718345000, c_0101_8 - 4360308876842973046904/6456438176621714793125*c_1001_2^19 + 25154003546067863104547/6456438176621714793125*c_1001_2^18 - 7360638352872603182422/1291287635324342958625*c_1001_2^17 - 171597677454113805533547/6456438176621714793125*c_1001_2^16 + 835745681445105937935172/6456438176621714793125*c_1001_2^15 - 564099672785916682726196/6456438176621714793125*c_1001_2^14 - 7218152122452132557800202/6456438176621714793125*c_1001_2^13 + 35797668800412800105571909/6456438176621714793125*c_1001_2^12 - 96861023511480410740430404/6456438176621714793125*c_1001_2^11 + 183309949494579047303938423/6456438176621714793125*c_1001_2^10 - 261235305024116441752982307/6456438176621714793125*c_1001_2^9 + 290459857323391764808272126/6456438176621714793125*c_1001_2^8 - 51767934094676657236858591/1291287635324342958625*c_1001_2^7 + 191327904875885844633738008/6456438176621714793125*c_1001_2^6 - 122975868941913063228905487/6456438176621714793125*c_1001_2^5 + 71678528098093509648689851/6456438176621714793125*c_1001_2^4 - 37265702677172008678903548/6456438176621714793125*c_1001_2^3 + 15979458229261799973397138/6456438176621714793125*c_1001_2^2 - 4810433713433231694418841/6456438176621714793125*c_1001_2 + 844485519460357382145262/6456438176621714793125, c_0101_9 + 1142611380204428454791/2582575270648685917250*c_1001_2^19 - 17853954662120909949737/10330301082594743669000*c_1001_2^18 + 721241850163627533199/2066060216518948733800*c_1001_2^17 + 195271817668576502836097/10330301082594743669000*c_1001_2^16 - 520511536183986376348067/10330301082594743669000*c_1001_2^15 - 56604234595353660846908/1291287635324342958625*c_1001_2^14 + 3500522844174497600123721/5165150541297371834500*c_1001_2^13 - 24500440291713628285970229/10330301082594743669000*c_1001_2^12 + 26498284298715469651180427/5165150541297371834500*c_1001_2^11 - 40678934569111158095685549/5165150541297371834500*c_1001_2^10 + 46533267422290591278653561/5165150541297371834500*c_1001_2^9 - 81439048018557611315537501/10330301082594743669000*c_1001_2^8 + 283202319190180768598089/51651505412973718345*c_1001_2^7 - 16794268081549673956331169/5165150541297371834500*c_1001_2^6 + 9311246007549330175420871/5165150541297371834500*c_1001_2^5 - 9217166459324084339884371/10330301082594743669000*c_1001_2^4 + 1649681241758900308922649/5165150541297371834500*c_1001_2^3 - 350051715976665923681443/10330301082594743669000*c_1001_2^2 - 62265600995666164061561/2582575270648685917250*c_1001_2 + 110467283923754468006543/10330301082594743669000, c_0110_4 - 1747770095846876490897/6456438176621714793125*c_1001_2^19 + 12151495613993685232396/6456438176621714793125*c_1001_2^18 - 4553426451632391454656/1291287635324342958625*c_1001_2^17 - 66814822460786485630321/6456438176621714793125*c_1001_2^16 + 421383372441856403776546/6456438176621714793125*c_1001_2^15 - 459288634095607585889778/6456438176621714793125*c_1001_2^14 - 3080836974842138733282061/6456438176621714793125*c_1001_2^13 + 17455033527323490816980912/6456438176621714793125*c_1001_2^12 - 49895867159867706738910847/6456438176621714793125*c_1001_2^11 + 97977773407090592083190889/6456438176621714793125*c_1001_2^10 - 143572734316115685422045326/6456438176621714793125*c_1001_2^9 + 163092719553135594188257443/6456438176621714793125*c_1001_2^8 - 29516262292837300557010783/1291287635324342958625*c_1001_2^7 + 110167776049424337759643444/6456438176621714793125*c_1001_2^6 - 71206446496200233002296766/6456438176621714793125*c_1001_2^5 + 41778550106394368763593343/6456438176621714793125*c_1001_2^4 - 21901127102284825696015014/6456438176621714793125*c_1001_2^3 + 9526893240934503320859409/6456438176621714793125*c_1001_2^2 - 2902783098065570890469638/6456438176621714793125*c_1001_2 + 527374304709524995295541/6456438176621714793125, c_1001_1 - 1, c_1001_2^20 - 5*c_1001_2^19 + 6*c_1001_2^18 + 38*c_1001_2^17 - 159*c_1001_2^16 + 65*c_1001_2^15 + 1525*c_1001_2^14 - 7102*c_1001_2^13 + 18903*c_1001_2^12 - 35824*c_1001_2^11 + 51927*c_1001_2^10 - 59640*c_1001_2^9 + 55723*c_1001_2^8 - 43542*c_1001_2^7 + 29477*c_1001_2^6 - 17830*c_1001_2^5 + 9690*c_1001_2^4 - 4516*c_1001_2^3 + 1668*c_1001_2^2 - 426*c_1001_2 + 61 ] ==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: 301.300 seconds, Total memory usage: 64.12MB