Magma V2.22-2 Sun Aug 9 2020 22:19:56 on zickert [Seed = 3967850380] Type ? for help. Type -D to quit. Loading file "ptolemy_data_ht/13_tetrahedra/L13n5616__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n5616 degenerate_solution 7.32772486 oriented_manifold CS_unknown 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 1 2 0132 0132 3012 0213 1 1 1 1 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 -1 1 -2 1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.800000000000 0.400000000000 0 0 3 2 0132 1230 0132 1302 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 -1 0 0 1 2 -1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.999999999999 1.999999999999 4 0 1 0 0132 0132 2031 0213 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 -1 1 0 0 1 -1 0 1 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.800000000000 0.400000000000 4 5 6 1 2310 0132 0132 0132 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.199999998772 0.400000000156 2 5 3 7 0132 1230 3201 0132 0 1 1 1 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 -1 1 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.749999999445 0.249999999462 8 3 4 9 0132 0132 3012 0132 1 0 0 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 1 0 0 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -963668539.055972099304 5831433253.537875175476 9 10 7 3 3012 0132 1302 0132 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.999999999832 0.000000001057 6 11 4 8 2031 0132 0132 3201 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 -2 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.000000000110 0.000000000668 5 7 12 11 0132 2310 0132 1023 0 0 1 0 0 1 0 -1 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 -2 1 0 -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.499999999841 0.499999996941 12 10 5 6 1302 0213 0132 1230 1 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.399999998833 0.199999998138 12 6 9 11 2103 0132 0213 2310 1 0 0 0 0 0 0 0 -1 0 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.999999980196 1.000000007338 10 7 12 8 3201 0132 3201 1023 0 0 1 0 0 0 0 0 -1 0 0 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 0 0 0 -1 0 -1 2 0 -1 0 1 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.500000003368 0.499999998634 11 9 10 8 2310 2031 2103 0132 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2 0 1 1 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.799999997778 0.399999997848 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d: { 'c_1100_0' : d['c_0011_0'], 'c_1001_1' : - d['c_0011_0'], 'c_1001_0' : d['c_0011_0'], 'c_1010_2' : d['c_0011_0'], 'c_0011_0' : d['c_0011_0'], 'c_0011_1' : - d['c_0011_0'], 'c_0011_2' : - d['c_0011_0'], 'c_1010_3' : - d['c_0011_0'], 'c_0011_4' : d['c_0011_0'], 'c_1001_5' : - d['c_0011_0'], 'c_0101_0' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_1010_1' : d['c_0101_0'], 'c_1010_0' : - d['c_0101_0'], 'c_1001_2' : - d['c_0101_0'], 'c_1100_2' : - d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0110_2' : - d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0101_4' : - d['c_0101_1'], 'c_1100_1' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_1100_6' : d['c_0101_2'], 'c_0101_7' : d['c_0101_2'], 'c_0011_3' : d['c_0011_3'], 'c_1100_4' : - d['c_0011_3'], 'c_0011_5' : - d['c_0011_3'], 'c_1100_7' : - d['c_0011_3'], 'c_0011_8' : d['c_0011_3'], 'c_0101_3' : d['c_0101_3'], 'c_1001_4' : - d['c_0101_3'], 'c_0110_6' : d['c_0101_3'], 'c_1100_5' : d['c_0101_3'], 'c_1100_9' : d['c_0101_3'], 'c_1001_3' : d['c_1001_10'], 'c_1010_5' : d['c_1001_10'], 'c_1010_6' : d['c_1001_10'], 'c_1001_9' : d['c_1001_10'], 'c_1001_10' : d['c_1001_10'], 'c_1010_4' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], 'c_1001_7' : d['c_0101_5'], 'c_0110_8' : d['c_0101_5'], 'c_1010_11' : d['c_0101_5'], 'c_0110_10' : - d['c_0011_12'], 'c_1100_8' : d['c_0011_12'], 'c_1100_12' : d['c_0011_12'], 'c_1100_11' : - d['c_0011_12'], 'c_0101_11' : d['c_0011_12'], 'c_0110_5' : - d['c_0011_12'], 'c_0101_8' : - d['c_0011_12'], 'c_0101_9' : - d['c_0011_12'], 'c_0110_12' : - d['c_0011_12'], 'c_0011_12' : d['c_0011_12'], 'c_0011_6' : - d['c_0011_10'], 'c_0110_9' : - d['c_0011_10'], 'c_0011_10' : d['c_0011_10'], 'c_1001_12' : d['c_0011_10'], 'c_0101_6' : d['c_0011_11'], 'c_1010_9' : d['c_0011_11'], 'c_0011_7' : - d['c_0011_11'], 'c_0011_11' : d['c_0011_11'], 'c_1100_10' : d['c_0011_11'], 'c_1001_6' : - d['c_0110_11'], 'c_1010_10' : - d['c_0110_11'], 'c_0110_7' : - d['c_0110_11'], 'c_1010_8' : d['c_0110_11'], 'c_0110_11' : d['c_0110_11'], 'c_0011_9' : d['c_0011_9'], 'c_1010_7' : - d['c_0011_9'], 'c_1001_11' : - d['c_0011_9'], 'c_1001_8' : d['c_0011_9'], 'c_1010_12' : d['c_0011_9'], 'c_0101_10' : d['c_0011_9'], 'c_0101_12' : d['c_0011_9'], 's_2_11' : d['1'], 's_3_10' : d['1'], 's_0_10' : - d['1'], 's_1_9' : d['1'], 's_0_9' : d['1'], 's_3_8' : d['1'], 's_2_8' : - d['1'], 's_3_7' : d['1'], 's_1_7' : d['1'], 's_2_6' : d['1'], 's_1_6' : - d['1'], 's_0_6' : d['1'], 's_3_5' : d['1'], 's_0_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_3_1' : d['1'], 's_2_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_1_1' : d['1'], 's_3_2' : d['1'], 's_3_3' : - d['1'], 's_2_2' : d['1'], 's_0_4' : - d['1'], 's_2_4' : d['1'], 's_1_5' : d['1'], 's_3_6' : - d['1'], 's_2_5' : - d['1'], 's_2_7' : d['1'], 's_0_8' : - d['1'], 's_2_9' : d['1'], 's_3_9' : d['1'], 's_1_10' : - d['1'], 's_0_7' : d['1'], 's_1_11' : d['1'], 's_1_8' : d['1'], 's_3_12' : - d['1'], 's_3_11' : d['1'], 's_1_12' : d['1'], 's_2_10' : d['1'], 's_2_12' : - d['1'], 's_0_11' : d['1'], 's_0_12' : d['1']})} PY=EVAL=SECTION=ENDS=HERE Status: Computing Groebner basis... Time: 2.170 Status: Saturating ideal ( 1 / 13 )... Time: 31.290 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 2 / 13 )... Time: 6.680 Status: Recomputing Groebner basis... Time: 21.430 Status: Saturating ideal ( 3 / 13 )... Time: 5.290 Status: Recomputing Groebner basis... Time: 25.940 Status: Saturating ideal ( 4 / 13 )... Time: 1.430 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 5 / 13 )... Time: 2.380 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 6 / 13 )... Time: 1.670 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 7 / 13 )... Time: 3.560 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 8 / 13 )... Time: 2.450 Status: Recomputing Groebner basis... Time: 1.580 Status: Saturating ideal ( 9 / 13 )... Time: 0.280 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 10 / 13 )... Time: 0.280 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 11 / 13 )... Time: 0.260 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 12 / 13 )... Time: 0.270 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 13 / 13 )... Time: 0.260 Status: Recomputing Groebner basis... Time: 0.000 Status: Dimension of ideal: 1 [ 6 ] Status: Computing RadicalDecomposition Time: 1.660 Status: Number of components: 1 DECOMPOSITION=TYPE: RadicalDecomposition IDEAL=DECOMPOSITION=TIME: 109.110 IDEAL=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Graded Reverse Lexicographical Variables: c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_3, c_0011_9, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_5, c_0110_11, c_1001_10 Inhomogeneous, Dimension 1, Radical, Prime Groebner basis: [ c_0011_12^7 - 3/2*c_0011_12^6*c_0011_9 - 1/4*c_0011_10^5*c_0011_9^2 + 7/2*c_0011_12^5*c_0011_9^2 - 3/4*c_0011_10^4*c_0011_9^3 - 3*c_0011_12^4*c_0011_9^3 - 1/2*c_0011_10^3*c_0011_9^4 + 4*c_0011_12^3*c_0011_9^4 + 1/2*c_0011_10^2*c_0011_9^5 - 3*c_0011_12^2*c_0011_9^5 + 9/4*c_0011_12*c_0011_9^6 - 5/4*c_0011_9^7, c_0011_10^6 + 3*c_0011_12^6 + 3*c_0011_10^5*c_0011_9 - 3*c_0011_12^5*c_0011_9 + c_0011_10^4*c_0011_9^2 + 8*c_0011_12^4*c_0011_9^2 - 5*c_0011_10^3*c_0011_9^3 - 5*c_0011_12^3*c_0011_9^3 - 3*c_0011_10^2*c_0011_9^4 + 7*c_0011_12^2*c_0011_9^4 + 4*c_0011_10*c_0011_9^5 - 3*c_0011_12*c_0011_9^5 + 5*c_0011_9^6, c_0011_12^2*c_0011_9^3*c_0110_11 + c_0011_10^5*c_1001_10 + c_0011_12^5*c_1001_10 + 3*c_0011_10^4*c_0011_9*c_1001_10 - 3*c_0011_12^4*c_0011_9*c_1001_10 + c_0011_10^3*c_0011_9^2*c_1001_10 + 2*c_0011_12^3*c_0011_9^2*c_1001_10 - 5*c_0011_10^2*c_0011_9^3*c_1001_10 - c_0011_12^2*c_0011_9^3*c_1001_10 - 4*c_0011_10*c_0011_9^4*c_1001_10 - c_0011_12*c_0011_9^4*c_1001_10 + c_0011_9^5*c_1001_10 - c_0011_10^3*c_0011_9*c_1001_10^2 + 3*c_0011_10^5 + 3*c_0011_12^5 + 3*c_0011_10^4*c_0011_9 - 5*c_0011_10^3*c_0011_9^2 + 4*c_0011_12^3*c_0011_9^2 - 4*c_0011_10^2*c_0011_9^3 + 2*c_0011_12^2*c_0011_9^3 + c_0011_10*c_0011_9^4 + c_0011_12*c_0011_9^4 + 2*c_0011_9^5 - 10*c_0011_12^2*c_0011_9^2*c_0110_11 - 6*c_0011_12*c_0011_9^3*c_0110_11 - 3*c_0011_9^4*c_0110_11 - 8*c_0011_10^4*c_1001_10 + 10*c_0011_12^4*c_1001_10 - 26*c_0011_10^3*c_0011_9*c_1001_10 + 8*c_0011_12^3*c_0011_9*c_1001_10 - c_0011_10^2*c_0011_9^2*c_1001_10 + 3*c_0011_12^2*c_0011_9^2*c_1001_10 + 34*c_0011_10*c_0011_9^3*c_1001_10 + 17*c_0011_12*c_0011_9^3*c_1001_10 + 9*c_0011_9^4*c_1001_10 - 12*c_0011_12^3*c_0101_3*c_1001_10 + 10*c_0011_10^3*c_1001_10^2 + 30*c_0011_10^2*c_0011_9*c_1001_10^2 - 27*c_0011_10^4 - 27*c_0011_12^4 - 8*c_0011_10^3*c_0011_9 + 35*c_0011_12^3*c_0011_9 + 28*c_0011_10^2*c_0011_9^2 - 41*c_0011_12^2*c_0011_9^2 - 22*c_0011_10*c_0011_9^3 + 20*c_0011_12*c_0011_9^3 - 29*c_0011_9^4 - 214*c_0011_12^3*c_0101_3 - 80*c_0011_12^2*c_0011_9*c_0110_11 - 130*c_0011_10*c_0011_9^2*c_0110_11 - 244*c_0011_12*c_0011_9^2*c_0110_11 - 100*c_0011_9^2*c_0110_11^2 + 110*c_0011_10^3*c_1001_10 - 302*c_0011_12^3*c_1001_10 + 354*c_0011_10^2*c_0011_9*c_1001_10 + 334*c_0011_12^2*c_0011_9*c_1001_10 + 132*c_0011_10*c_0011_9^2*c_1001_10 - 100*c_0011_12*c_0011_9^2*c_1001_10 - 112*c_0011_9^3*c_1001_10 + 68*c_0011_10^2*c_0101_3*c_1001_10 + 80*c_0011_12^2*c_0101_3*c_1001_10 + 174*c_0011_10^2*c_1001_10^2 + 126*c_0011_10*c_0011_9*c_1001_10^2 - 24*c_0011_10*c_1001_10^3 - 4*c_0011_10^3 + 386*c_0011_12^3 + 24*c_0011_10^2*c_0011_9 - 32*c_0011_12^2*c_0011_9 - 164*c_0011_10*c_0011_9^2 - 30*c_0011_12*c_0011_9^2 - 26*c_0011_9^3 - 218*c_0011_10^2*c_0101_3 - 24*c_0011_12^2*c_0101_3 + 332*c_0011_12^2*c_0110_11 - 56*c_0011_12*c_0011_9*c_0110_11 + 324*c_0011_9^2*c_0110_11 - 56*c_0011_10*c_0110_11^2 + 82*c_0011_12*c_0110_11^2 + 188*c_0011_9*c_0110_11^2 - 80*c_0011_10^2*c_1001_10 + 24*c_0011_12^2*c_1001_10 + 482*c_0011_10*c_0011_9*c_1001_10 + 20*c_0011_12*c_0011_9*c_1001_10 + 472*c_0011_9^2*c_1001_10 + 296*c_0011_9*c_0101_0*c_1001_10 - 60*c_0011_10*c_0101_3*c_1001_10 + 40*c_0011_12*c_0101_3*c_1001_10 - 324*c_0011_10*c_1001_10^2 - 184*c_0011_9*c_1001_10^2 - 56*c_0101_3*c_1001_10^2 - 160*c_0110_11*c_1001_10^2 - 96*c_1001_10^3 + 66*c_0011_10^2 + 150*c_0011_12^2 + 114*c_0011_10*c_0011_9 + 24*c_0011_12*c_0011_9 + 348*c_0011_9^2 - 72*c_0011_9*c_0101_0 + 80*c_0011_11*c_0101_2 - 752*c_0101_1*c_0101_2 + 176*c_0011_10*c_0101_3 + 184*c_0011_11*c_0101_3 + 40*c_0011_12*c_0101_3 + 212*c_0101_3^2 - 92*c_0011_12*c_0101_5 - 420*c_0101_0*c_0101_5 - 212*c_0101_1*c_0101_5 + 412*c_0101_2*c_0101_5 + 172*c_0101_3*c_0101_5 + 320*c_0101_5^2 - 26*c_0011_10*c_0110_11 - 380*c_0011_11*c_0110_11 + 22*c_0011_12*c_0110_11 - 188*c_0011_9*c_0110_11 + 160*c_0101_1*c_0110_11 - 344*c_0101_3*c_0110_11 - 368*c_0101_5*c_0110_11 + 408*c_0110_11^2 - 272*c_0011_10*c_1001_10 + 528*c_0011_11*c_1001_10 - 92*c_0011_12*c_1001_10 - 544*c_0011_9*c_1001_10 - 132*c_0101_0*c_1001_10 + 80*c_0101_2*c_1001_10 + 996*c_0101_3*c_1001_10 - 320*c_0110_11*c_1001_10 + 996*c_1001_10^2 - 188*c_0011_10 + 552*c_0011_11 + 126*c_0011_12 - 268*c_0011_9 - 412*c_0101_0 + 40*c_0101_1 + 1568*c_0101_2 - 656*c_0101_3 + 292*c_0101_5 - 136*c_0110_11 - 1272*c_1001_10 - 252, c_0011_9^5*c_0110_11 - c_0011_10^5*c_1001_10 + 3*c_0011_12^5*c_1001_10 - 3*c_0011_10^4*c_0011_9*c_1001_10 - 3*c_0011_12^4*c_0011_9*c_1001_10 - 2*c_0011_10^3*c_0011_9^2*c_1001_10 + 8*c_0011_12^3*c_0011_9^2*c_1001_10 + 2*c_0011_10^2*c_0011_9^3*c_1001_10 - 5*c_0011_12^2*c_0011_9^3*c_1001_10 + c_0011_10*c_0011_9^4*c_1001_10 + 4*c_0011_12*c_0011_9^4*c_1001_10 - 2*c_0011_9^5*c_1001_10 - c_0011_10^4*c_0011_9 - 3*c_0011_12^4*c_0011_9 - 3*c_0011_10^3*c_0011_9^2 + 3*c_0011_12^3*c_0011_9^2 - 2*c_0011_10^2*c_0011_9^3 - 5*c_0011_12^2*c_0011_9^3 + 2*c_0011_10*c_0011_9^4 + 2*c_0011_12*c_0011_9^4 + c_0011_9^5, c_0011_10^4*c_1001_10^2 + 3*c_0011_10^3*c_0011_9*c_1001_10^2 - 2*c_0011_10^5 + c_0011_12^5 + 2*c_0011_10^4*c_0011_9 - 5*c_0011_12^4*c_0011_9 + 5*c_0011_10^3*c_0011_9^2 + 5*c_0011_12^3*c_0011_9^2 - 6*c_0011_10^2*c_0011_9^3 - 5*c_0011_12^2*c_0011_9^3 - 6*c_0011_10*c_0011_9^4 + c_0011_12*c_0011_9^4 - c_0011_9^5 + 31/2*c_0011_12^2*c_0011_9^2*c_0110_11 + 8*c_0011_12*c_0011_9^3*c_0110_11 + 5/2*c_0011_9^4*c_0110_11 + 19*c_0011_10^4*c_1001_10 - 16*c_0011_12^4*c_1001_10 + 101/2*c_0011_10^3*c_0011_9*c_1001_10 - 11*c_0011_12^3*c_0011_9*c_1001_10 - 7/2*c_0011_10^2*c_0011_9^2*c_1001_10 + 2*c_0011_12^2*c_0011_9^2*c_1001_10 - 127/2*c_0011_10*c_0011_9^3*c_1001_10 - 55/2*c_0011_12*c_0011_9^3*c_1001_10 - 21/2*c_0011_9^4*c_1001_10 + 16*c_0011_12^3*c_0101_3*c_1001_10 - 31/2*c_0011_10^3*c_1001_10^2 - 93/2*c_0011_10^2*c_0011_9*c_1001_10^2 + 45*c_0011_10^4 + 81/2*c_0011_12^4 + 19*c_0011_10^3*c_0011_9 - 111/2*c_0011_12^3*c_0011_9 - 43*c_0011_10^2*c_0011_9^2 + 133/2*c_0011_12^2*c_0011_9^2 + 57/2*c_0011_10*c_0011_9^3 - 34*c_0011_12*c_0011_9^3 + 83/2*c_0011_9^4 + 679/2*c_0011_12^3*c_0101_3 + 124*c_0011_12^2*c_0011_9*c_0110_11 + 403/2*c_0011_10*c_0011_9^2*c_0110_11 + 386*c_0011_12*c_0011_9^2*c_0110_11 + 155*c_0011_9^2*c_0110_11^2 - 341/2*c_0011_10^3*c_1001_10 + 957/2*c_0011_12^3*c_1001_10 - 1113/2*c_0011_10^2*c_0011_9*c_1001_10 - 1051/2*c_0011_12^2*c_0011_9*c_1001_10 - 215*c_0011_10*c_0011_9^2*c_1001_10 + 155*c_0011_12*c_0011_9^2*c_1001_10 + 171*c_0011_9^3*c_1001_10 - 108*c_0011_10^2*c_0101_3*c_1001_10 - 124*c_0011_12^2*c_0101_3*c_1001_10 - 555/2*c_0011_10^2*c_1001_10^2 - 401/2*c_0011_10*c_0011_9*c_1001_10^2 + 32*c_0011_10*c_1001_10^3 + c_0011_10^3 - 1207/2*c_0011_12^3 - 45*c_0011_10^2*c_0011_9 + 47*c_0011_12^2*c_0011_9 + 262*c_0011_10*c_0011_9^2 + 93/2*c_0011_12*c_0011_9^2 + 91/2*c_0011_9^3 + 707/2*c_0011_10^2*c_0101_3 + 32*c_0011_12^2*c_0101_3 - 525*c_0011_12^2*c_0110_11 + 92*c_0011_12*c_0011_9*c_0110_11 - 523*c_0011_9^2*c_0110_11 + 66*c_0011_10*c_0110_11^2 - 223/2*c_0011_12*c_0110_11^2 - 268*c_0011_9*c_0110_11^2 + 124*c_0011_10^2*c_1001_10 - 32*c_0011_12^2*c_1001_10 - 1567/2*c_0011_10*c_0011_9*c_1001_10 - 31*c_0011_12*c_0011_9*c_1001_10 - 742*c_0011_9^2*c_1001_10 - 412*c_0011_9*c_0101_0*c_1001_10 + 80*c_0011_10*c_0101_3*c_1001_10 - 88*c_0011_12*c_0101_3*c_1001_10 + 432*c_0011_10*c_1001_10^2 + 228*c_0011_9*c_1001_10^2 + 144*c_0101_3*c_1001_10^2 + 352*c_0110_11*c_1001_10^2 + 232*c_1001_10^3 - 267/2*c_0011_10^2 - 361/2*c_0011_12^2 - 369/2*c_0011_10*c_0011_9 - 32*c_0011_12*c_0011_9 - 464*c_0011_9^2 + 96*c_0011_9*c_0101_0 - 176*c_0011_11*c_0101_2 + 1384*c_0101_1*c_0101_2 - 304*c_0011_10*c_0101_3 - 176*c_0011_11*c_0101_3 - 88*c_0011_12*c_0101_3 - 352*c_0101_3^2 + 140*c_0011_12*c_0101_5 + 768*c_0101_0*c_0101_5 + 352*c_0101_1*c_0101_5 - 792*c_0101_2*c_0101_5 - 264*c_0101_3*c_0101_5 - 704*c_0101_5^2 + 143/2*c_0011_10*c_0110_11 + 680*c_0011_11*c_0110_11 - 141/2*c_0011_12*c_0110_11 + 268*c_0011_9*c_0110_11 - 352*c_0101_1*c_0110_11 + 736*c_0101_3*c_0110_11 + 768*c_0101_5*c_0110_11 - 856*c_0110_11^2 + 328*c_0011_10*c_1001_10 - 912*c_0011_11*c_1001_10 + 140*c_0011_12*c_1001_10 + 890*c_0011_9*c_1001_10 + 176*c_0101_0*c_1001_10 - 176*c_0101_2*c_1001_10 - 1848*c_0101_3*c_1001_10 + 704*c_0110_11*c_1001_10 - 1848*c_1001_10^2 + 320*c_0011_10 - 944*c_0011_11 - 609/2*c_0011_12 + 548*c_0011_9 + 792*c_0101_0 - 88*c_0101_1 - 2888*c_0101_2 + 1152*c_0101_3 - 528*c_0101_5 + 528*c_0110_11 + 2112*c_1001_10 + 440, c_0011_12^4*c_0101_3 + 1/2*c_0011_12^2*c_0011_9^2*c_0110_11 - 1/2*c_0011_9^4*c_0110_11 + 3*c_0011_12^4*c_1001_10 + 1/2*c_0011_10^3*c_0011_9*c_1001_10 - 4*c_0011_12^3*c_0011_9*c_1001_10 + 3/2*c_0011_10^2*c_0011_9^2*c_1001_10 + 3*c_0011_12^2*c_0011_9^2*c_1001_10 + 3/2*c_0011_10*c_0011_9^3*c_1001_10 - 3/2*c_0011_12*c_0011_9^3*c_1001_10 + 1/2*c_0011_9^4*c_1001_10 + 1/2*c_0011_10^3*c_1001_10^2 + 3/2*c_0011_10^2*c_0011_9*c_1001_10^2 - c_0011_10^4 + 1/2*c_0011_12^4 + c_0011_10^3*c_0011_9 - 1/2*c_0011_12^3*c_0011_9 + 3*c_0011_10^2*c_0011_9^2 + 3/2*c_0011_12^2*c_0011_9^2 - 3/2*c_0011_10*c_0011_9^3 - 3/2*c_0011_9^4 - 25/2*c_0011_12^3*c_0101_3 - 4*c_0011_12^2*c_0011_9*c_0110_11 - 13/2*c_0011_10*c_0011_9^2*c_0110_11 - 14*c_0011_12*c_0011_9^2*c_0110_11 - 5*c_0011_9^2*c_0110_11^2 + 11/2*c_0011_10^3*c_1001_10 - 35/2*c_0011_12^3*c_1001_10 + 39/2*c_0011_10^2*c_0011_9*c_1001_10 + 37/2*c_0011_12^2*c_0011_9*c_1001_10 + 9*c_0011_10*c_0011_9^2*c_1001_10 - 5*c_0011_12*c_0011_9^2*c_1001_10 - 5*c_0011_9^3*c_1001_10 + 4*c_0011_10^2*c_0101_3*c_1001_10 + 4*c_0011_12^2*c_0101_3*c_1001_10 + 21/2*c_0011_10^2*c_1001_10^2 + 15/2*c_0011_10*c_0011_9*c_1001_10^2 + c_0011_10^3 + 41/2*c_0011_12^3 + 3*c_0011_10^2*c_0011_9 - c_0011_12^2*c_0011_9 - 10*c_0011_10*c_0011_9^2 - 3/2*c_0011_12*c_0011_9^2 - 5/2*c_0011_9^3 - 29/2*c_0011_10^2*c_0101_3 + 19*c_0011_12^2*c_0110_11 - 4*c_0011_12*c_0011_9*c_0110_11 + 21*c_0011_9^2*c_0110_11 + 2*c_0011_10*c_0110_11^2 + 1/2*c_0011_12*c_0110_11^2 + 4*c_0011_9*c_0110_11^2 - 4*c_0011_10^2*c_1001_10 + 65/2*c_0011_10*c_0011_9*c_1001_10 + c_0011_12*c_0011_9*c_1001_10 + 26*c_0011_9^2*c_1001_10 + 4*c_0011_9*c_0101_0*c_1001_10 + 8*c_0011_12*c_0101_3*c_1001_10 + 4*c_0011_9*c_1001_10^2 - 16*c_0101_3*c_1001_10^2 - 32*c_0110_11*c_1001_10^2 - 24*c_1001_10^3 + 21/2*c_0011_10^2 - 9/2*c_0011_12^2 + 15/2*c_0011_10*c_0011_9 + 16*c_0011_11*c_0101_2 - 88*c_0101_1*c_0101_2 + 16*c_0011_10*c_0101_3 - 16*c_0011_11*c_0101_3 + 8*c_0011_12*c_0101_3 + 16*c_0101_3^2 - 4*c_0011_12*c_0101_5 - 48*c_0101_0*c_0101_5 - 16*c_0101_1*c_0101_5 + 56*c_0101_2*c_0101_5 + 8*c_0101_3*c_0101_5 + 64*c_0101_5^2 - 17/2*c_0011_10*c_0110_11 - 40*c_0011_11*c_0110_11 + 19/2*c_0011_12*c_0110_11 - 4*c_0011_9*c_0110_11 + 32*c_0101_1*c_0110_11 - 64*c_0101_3*c_0110_11 - 64*c_0101_5*c_0110_11 + 72*c_0110_11^2 + 8*c_0011_10*c_1001_10 + 48*c_0011_11*c_1001_10 - 4*c_0011_12*c_1001_10 - 38*c_0011_9*c_1001_10 + 16*c_0101_2*c_1001_10 + 120*c_0101_3*c_1001_10 - 64*c_0110_11*c_1001_10 + 120*c_1001_10^2 - 16*c_0011_10 + 48*c_0011_11 + 63/2*c_0011_12 - 44*c_0011_9 - 56*c_0101_0 + 8*c_0101_1 + 184*c_0101_2 - 64*c_0101_3 + 32*c_0101_5 - 80*c_0110_11 - 96*c_1001_10 - 24, c_0011_10*c_0011_9^3*c_0110_11 - c_0011_10^4*c_1001_10 - 3*c_0011_12^4*c_1001_10 - 3*c_0011_10^3*c_0011_9*c_1001_10 + 3*c_0011_12^3*c_0011_9*c_1001_10 - 2*c_0011_10^2*c_0011_9^2*c_1001_10 - 5*c_0011_12^2*c_0011_9^2*c_1001_10 + 2*c_0011_10*c_0011_9^3*c_1001_10 + 2*c_0011_12*c_0011_9^3*c_1001_10 + c_0011_9^4*c_1001_10 - 2*c_0011_12^3*c_0101_3*c_1001_10 + c_0011_10^2*c_0011_9*c_1001_10^2 - 3*c_0011_10^4 - 3*c_0011_12^4 - 4*c_0011_10^3*c_0011_9 + 4*c_0011_12^3*c_0011_9 + 2*c_0011_10^2*c_0011_9^2 - 5*c_0011_12^2*c_0011_9^2 + 3*c_0011_10*c_0011_9^3 + 4*c_0011_12*c_0011_9^3 - 2*c_0011_9^4 - 8*c_0011_12^3*c_0101_3 - 6*c_0011_12^2*c_0011_9*c_0110_11 - 7*c_0011_10*c_0011_9^2*c_0110_11 - 11*c_0011_12*c_0011_9^2*c_0110_11 - c_0011_9^3*c_0110_11 - 4*c_0011_9^2*c_0110_11^2 + 3*c_0011_10^3*c_1001_10 - 9*c_0011_12^3*c_1001_10 + 12*c_0011_10^2*c_0011_9*c_1001_10 + 15*c_0011_12^2*c_0011_9*c_1001_10 + 4*c_0011_10*c_0011_9^2*c_1001_10 - 3*c_0011_12*c_0011_9^2*c_1001_10 - 5*c_0011_9^3*c_1001_10 + 4*c_0011_10^2*c_0101_3*c_1001_10 + 4*c_0011_12^2*c_0101_3*c_1001_10 + 9*c_0011_10^2*c_1001_10^2 + 4*c_0011_10*c_0011_9*c_1001_10^2 + 7*c_0011_10*c_1001_10^3 + 2*c_0011_10^3 + 19*c_0011_12^3 - 14*c_0011_10*c_0011_9^2 - 3*c_0011_12*c_0011_9^2 - 26*c_0011_10^2*c_0101_3 + 7*c_0011_12^2*c_0101_3 + 28*c_0011_12^2*c_0110_11 - 3*c_0011_12*c_0011_9*c_0110_11 + 40*c_0011_9^2*c_0110_11 + 26*c_0011_10*c_0110_11^2 - 26*c_0011_12*c_0110_11^2 - 32*c_0011_9*c_0110_11^2 - 10*c_0011_10^2*c_1001_10 - 7*c_0011_12^2*c_1001_10 + 46*c_0011_10*c_0011_9*c_1001_10 + 20*c_0011_9^2*c_1001_10 - 68*c_0011_9*c_0101_0*c_1001_10 + 22*c_0011_10*c_0101_3*c_1001_10 + 35*c_0011_12*c_0101_3*c_1001_10 + 108*c_0011_10*c_1001_10^2 + 90*c_0011_9*c_1001_10^2 - 69*c_0101_3*c_1001_10^2 - 140*c_0110_11*c_1001_10^2 - 104*c_1001_10^3 + 36*c_0011_10^2 - 88*c_0011_12^2 + 4*c_0011_10*c_0011_9 - 7*c_0011_12*c_0011_9 - 106*c_0011_9^2 + 21*c_0011_9*c_0101_0 + 70*c_0011_11*c_0101_2 - 269*c_0101_1*c_0101_2 + 50*c_0011_10*c_0101_3 - 156*c_0011_11*c_0101_3 + 35*c_0011_12*c_0101_3 + 27*c_0101_3^2 + 4*c_0011_12*c_0101_5 - 137*c_0101_0*c_0101_5 - 27*c_0101_1*c_0101_5 + 202*c_0101_2*c_0101_5 - 8*c_0101_3*c_0101_5 + 280*c_0101_5^2 - 37*c_0011_10*c_0110_11 - 102*c_0011_11*c_0110_11 + 60*c_0011_12*c_0110_11 + 32*c_0011_9*c_0110_11 + 140*c_0101_1*c_0110_11 - 273*c_0101_3*c_0110_11 - 266*c_0101_5*c_0110_11 + 285*c_0110_11^2 + 152*c_0011_10*c_1001_10 + 117*c_0011_11*c_1001_10 + 4*c_0011_12*c_1001_10 - 47*c_0011_9*c_1001_10 + 11*c_0101_0*c_1001_10 + 70*c_0101_2*c_1001_10 + 412*c_0101_3*c_1001_10 - 280*c_0110_11*c_1001_10 + 412*c_1001_10^2 - 34*c_0011_10 + 110*c_0011_11 + 136*c_0011_12 - 170*c_0011_9 - 170*c_0101_0 + 19*c_0101_1 + 574*c_0101_2 - 165*c_0101_3 + 97*c_0101_5 - 436*c_0110_11 - 163*c_1001_10 - 46, c_0011_9^3*c_0110_11^2 + 2*c_0011_12^3*c_0101_3*c_1001_10 - c_0011_10^2*c_0011_9*c_1001_10^2 + 3*c_0011_10^4 + 3*c_0011_12^4 + 4*c_0011_10^3*c_0011_9 - 4*c_0011_12^3*c_0011_9 - 2*c_0011_10^2*c_0011_9^2 + 5*c_0011_12^2*c_0011_9^2 - 3*c_0011_10*c_0011_9^3 - 3*c_0011_12*c_0011_9^3 + 2*c_0011_9^4 + 8*c_0011_12^3*c_0101_3 + 5*c_0011_12^2*c_0011_9*c_0110_11 + 7*c_0011_10*c_0011_9^2*c_0110_11 + 11*c_0011_12*c_0011_9^2*c_0110_11 + 4*c_0011_9^2*c_0110_11^2 - 3*c_0011_10^3*c_1001_10 + 9*c_0011_12^3*c_1001_10 - 12*c_0011_10^2*c_0011_9*c_1001_10 - 15*c_0011_12^2*c_0011_9*c_1001_10 - 4*c_0011_10*c_0011_9^2*c_1001_10 + 2*c_0011_12*c_0011_9^2*c_1001_10 + 5*c_0011_9^3*c_1001_10 - 4*c_0011_10^2*c_0101_3*c_1001_10 - 4*c_0011_12^2*c_0101_3*c_1001_10 - 9*c_0011_10^2*c_1001_10^2 - 4*c_0011_10*c_0011_9*c_1001_10^2 - 7*c_0011_10*c_1001_10^3 - 2*c_0011_10^3 - 19*c_0011_12^3 + c_0011_12^2*c_0011_9 + 14*c_0011_10*c_0011_9^2 + 3*c_0011_12*c_0011_9^2 + 26*c_0011_10^2*c_0101_3 - 7*c_0011_12^2*c_0101_3 - 28*c_0011_12^2*c_0110_11 + 3*c_0011_12*c_0011_9*c_0110_11 - 40*c_0011_9^2*c_0110_11 - 26*c_0011_10*c_0110_11^2 + 26*c_0011_12*c_0110_11^2 + 32*c_0011_9*c_0110_11^2 + 10*c_0011_10^2*c_1001_10 + 7*c_0011_12^2*c_1001_10 - 46*c_0011_10*c_0011_9*c_1001_10 - 20*c_0011_9^2*c_1001_10 + 68*c_0011_9*c_0101_0*c_1001_10 - 22*c_0011_10*c_0101_3*c_1001_10 - 35*c_0011_12*c_0101_3*c_1001_10 - 108*c_0011_10*c_1001_10^2 - 90*c_0011_9*c_1001_10^2 + 69*c_0101_3*c_1001_10^2 + 140*c_0110_11*c_1001_10^2 + 104*c_1001_10^3 - 36*c_0011_10^2 + 88*c_0011_12^2 - 4*c_0011_10*c_0011_9 + 7*c_0011_12*c_0011_9 + 106*c_0011_9^2 - 21*c_0011_9*c_0101_0 - 70*c_0011_11*c_0101_2 + 269*c_0101_1*c_0101_2 - 50*c_0011_10*c_0101_3 + 156*c_0011_11*c_0101_3 - 35*c_0011_12*c_0101_3 - 27*c_0101_3^2 - 4*c_0011_12*c_0101_5 + 137*c_0101_0*c_0101_5 + 27*c_0101_1*c_0101_5 - 202*c_0101_2*c_0101_5 + 8*c_0101_3*c_0101_5 - 280*c_0101_5^2 + 37*c_0011_10*c_0110_11 + 102*c_0011_11*c_0110_11 - 60*c_0011_12*c_0110_11 - 32*c_0011_9*c_0110_11 - 140*c_0101_1*c_0110_11 + 273*c_0101_3*c_0110_11 + 266*c_0101_5*c_0110_11 - 285*c_0110_11^2 - 152*c_0011_10*c_1001_10 - 117*c_0011_11*c_1001_10 - 4*c_0011_12*c_1001_10 + 47*c_0011_9*c_1001_10 - 11*c_0101_0*c_1001_10 - 70*c_0101_2*c_1001_10 - 412*c_0101_3*c_1001_10 + 280*c_0110_11*c_1001_10 - 412*c_1001_10^2 + 34*c_0011_10 - 110*c_0011_11 - 136*c_0011_12 + 170*c_0011_9 + 170*c_0101_0 - 19*c_0101_1 - 574*c_0101_2 + 165*c_0101_3 - 97*c_0101_5 + 436*c_0110_11 + 163*c_1001_10 + 46, c_0011_10^2*c_1001_10^3 - 6*c_0011_12^3*c_0101_3 - c_0011_12^2*c_0011_9*c_0110_11 - 3*c_0011_10*c_0011_9^2*c_0110_11 - 6*c_0011_12*c_0011_9^2*c_0110_11 + 4*c_0011_9^2*c_0110_11^2 + 6*c_0011_10^3*c_1001_10 - 9*c_0011_12^3*c_1001_10 + 11*c_0011_10^2*c_0011_9*c_1001_10 + 10*c_0011_12^2*c_0011_9*c_1001_10 - 2*c_0011_10*c_0011_9^2*c_1001_10 - 4*c_0011_12*c_0011_9^2*c_1001_10 - 4*c_0011_9^3*c_1001_10 + 4*c_0011_10^2*c_0101_3*c_1001_10 - 13*c_0011_12^2*c_0101_3*c_1001_10 + 14*c_0011_10^2*c_1001_10^2 - 6*c_0011_10*c_0011_9*c_1001_10^2 + 76*c_0011_10*c_1001_10^3 + 30*c_0011_10^3 + 4*c_0011_12^3 + 14*c_0011_10^2*c_0011_9 + 22*c_0011_12^2*c_0011_9 - 42*c_0011_10*c_0011_9^2 - 5*c_0011_12*c_0011_9^2 + 3*c_0011_9^3 - 132*c_0011_10^2*c_0101_3 + 76*c_0011_12^2*c_0101_3 + 85*c_0011_12^2*c_0110_11 + 4*c_0011_10*c_0011_9*c_0110_11 - 16*c_0011_12*c_0011_9*c_0110_11 + 205*c_0011_9^2*c_0110_11 + 272*c_0011_10*c_0110_11^2 - 264*c_0011_12*c_0110_11^2 - 378*c_0011_9*c_0110_11^2 - 24*c_0011_10^2*c_1001_10 - 76*c_0011_12^2*c_1001_10 + 228*c_0011_10*c_0011_9*c_1001_10 + 13*c_0011_12*c_0011_9*c_1001_10 - 36*c_0011_9^2*c_1001_10 - 747*c_0011_9*c_0101_0*c_1001_10 + 222*c_0011_10*c_0101_3*c_1001_10 + 312*c_0011_12*c_0101_3*c_1001_10 + 1115*c_0011_10*c_1001_10^2 + 880*c_0011_9*c_1001_10^2 - 658*c_0101_3*c_1001_10^2 - 1248*c_0110_11*c_1001_10^2 - 970*c_1001_10^3 + 334*c_0011_10^2 - 846*c_0011_12^2 + 10*c_0011_10*c_0011_9 - 72*c_0011_12*c_0011_9 - 1138*c_0011_9^2 + 228*c_0011_9*c_0101_0 + 624*c_0011_11*c_0101_2 - 2296*c_0101_1*c_0101_2 + 369*c_0011_10*c_0101_3 - 1524*c_0011_11*c_0101_3 + 312*c_0011_12*c_0101_3 + 174*c_0101_3^2 + 74*c_0011_12*c_0101_5 - 1186*c_0101_0*c_0101_5 - 174*c_0101_1*c_0101_5 + 1734*c_0101_2*c_0101_5 - 138*c_0101_3*c_0101_5 + 2496*c_0101_5^2 - 352*c_0011_10*c_0110_11 - 874*c_0011_11*c_0110_11 + 510*c_0011_12*c_0110_11 + 378*c_0011_9*c_0110_11 + 1248*c_0101_1*c_0110_11 - 2413*c_0101_3*c_0110_11 - 2344*c_0101_5*c_0110_11 + 2572*c_0110_11^2 + 1470*c_0011_10*c_1001_10 + 889*c_0011_11*c_1001_10 + 74*c_0011_12*c_1001_10 - 255*c_0011_9*c_1001_10 + 282*c_0101_0*c_1001_10 + 624*c_0101_2*c_1001_10 + 3414*c_0101_3*c_1001_10 - 2496*c_0110_11*c_1001_10 + 3414*c_1001_10^2 - 257*c_0011_10 + 820*c_0011_11 + 1276*c_0011_12 - 1518*c_0011_9 - 1566*c_0101_0 + 228*c_0101_1 + 4870*c_0101_2 - 1326*c_0101_3 + 798*c_0101_5 - 4020*c_0110_11 - 1066*c_1001_10 - 402, c_0011_10^3*c_0101_3 - c_0011_12^3*c_0101_3 - c_0011_10*c_0011_9^2*c_0110_11 - c_0011_9^2*c_0110_11^2 + 3*c_0011_10^3*c_1001_10 - 3*c_0011_12^3*c_1001_10 + 2*c_0011_10^2*c_0011_9*c_1001_10 + c_0011_12^2*c_0011_9*c_1001_10 - 2*c_0011_10*c_0011_9^2*c_1001_10 - 2*c_0011_12*c_0011_9^2*c_1001_10 - 2*c_0011_9^3*c_1001_10 + 2*c_0011_12^3 + c_0011_12^2*c_0110_11 + c_0011_9^2*c_0110_11 + c_0011_12*c_0011_9*c_1001_10 - c_0011_12^2, c_0011_12^3*c_0110_11 - c_0011_10*c_0011_9^2*c_0110_11 + c_0011_12^2*c_0011_9*c_1001_10 - c_0011_12^3 - c_0011_12*c_0011_9^2, c_0011_12^2*c_0110_11^2 + c_0011_10^2*c_1001_10^2 + 3*c_0011_10*c_0011_9*c_1001_10^2 - 8*c_0011_10*c_1001_10^3 - 3*c_0011_10^3 - c_0011_10^2*c_0011_9 - 2*c_0011_12^2*c_0011_9 + 4*c_0011_10*c_0011_9^2 + 2*c_0011_12*c_0011_9^2 - c_0011_9^3 + 15*c_0011_10^2*c_0101_3 - 8*c_0011_12^2*c_0101_3 - 12*c_0011_12^2*c_0110_11 - 23*c_0011_9^2*c_0110_11 - 28*c_0011_10*c_0110_11^2 + 29*c_0011_12*c_0110_11^2 + 40*c_0011_9*c_0110_11^2 + 8*c_0011_10^2*c_1001_10 + 8*c_0011_12^2*c_1001_10 - 19*c_0011_10*c_0011_9*c_1001_10 + 4*c_0011_9^2*c_1001_10 + 80*c_0011_9*c_0101_0*c_1001_10 - 24*c_0011_10*c_0101_3*c_1001_10 - 32*c_0011_12*c_0101_3*c_1001_10 - 120*c_0011_10*c_1001_10^2 - 96*c_0011_9*c_1001_10^2 + 64*c_0101_3*c_1001_10^2 + 128*c_0110_11*c_1001_10^2 + 96*c_1001_10^3 - 31*c_0011_10^2 + 92*c_0011_12^2 + 3*c_0011_10*c_0011_9 + 8*c_0011_12*c_0011_9 + 120*c_0011_9^2 - 24*c_0011_9*c_0101_0 - 64*c_0011_11*c_0101_2 + 224*c_0101_1*c_0101_2 - 40*c_0011_10*c_0101_3 + 160*c_0011_11*c_0101_3 - 32*c_0011_12*c_0101_3 - 16*c_0101_3^2 - 8*c_0011_12*c_0101_5 + 112*c_0101_0*c_0101_5 + 16*c_0101_1*c_0101_5 - 176*c_0101_2*c_0101_5 + 16*c_0101_3*c_0101_5 - 256*c_0101_5^2 + 35*c_0011_10*c_0110_11 + 80*c_0011_11*c_0110_11 - 57*c_0011_12*c_0110_11 - 40*c_0011_9*c_0110_11 - 128*c_0101_1*c_0110_11 + 248*c_0101_3*c_0110_11 + 240*c_0101_5*c_0110_11 - 256*c_0110_11^2 - 160*c_0011_10*c_1001_10 - 88*c_0011_11*c_1001_10 - 8*c_0011_12*c_1001_10 + 20*c_0011_9*c_1001_10 - 16*c_0101_0*c_1001_10 - 64*c_0101_2*c_1001_10 - 352*c_0101_3*c_1001_10 + 256*c_0110_11*c_1001_10 - 352*c_1001_10^2 + 24*c_0011_10 - 80*c_0011_11 - 125*c_0011_12 + 152*c_0011_9 + 144*c_0101_0 - 16*c_0101_1 - 480*c_0101_2 + 128*c_0101_3 - 80*c_0101_5 + 416*c_0110_11 + 96*c_1001_10 + 32, c_0011_10*c_0011_9*c_0110_11^2 - 2*c_0011_12^2*c_0101_3*c_1001_10 - c_0011_10*c_0011_9*c_1001_10^2 + 5*c_0011_10*c_1001_10^3 + 3*c_0011_10^3 - 3*c_0011_12^3 + 2*c_0011_10^2*c_0011_9 + 2*c_0011_12^2*c_0011_9 - 2*c_0011_10*c_0011_9^2 - 2*c_0011_12*c_0011_9^2 - c_0011_9^3 - 5*c_0011_10^2*c_0101_3 + 5*c_0011_12^2*c_0101_3 + 2*c_0011_12^2*c_0110_11 + 10*c_0011_9^2*c_0110_11 + 18*c_0011_10*c_0110_11^2 - 17*c_0011_12*c_0110_11^2 - 26*c_0011_9*c_0110_11^2 + 2*c_0011_10^2*c_1001_10 - 5*c_0011_12^2*c_1001_10 + 11*c_0011_10*c_0011_9*c_1001_10 + 2*c_0011_12*c_0011_9*c_1001_10 - 7*c_0011_9^2*c_1001_10 - 50*c_0011_9*c_0101_0*c_1001_10 + 14*c_0011_10*c_0101_3*c_1001_10 + 19*c_0011_12*c_0101_3*c_1001_10 + 72*c_0011_10*c_1001_10^2 + 56*c_0011_9*c_1001_10^2 - 41*c_0101_3*c_1001_10^2 - 76*c_0110_11*c_1001_10^2 - 60*c_1001_10^3 + 21*c_0011_10^2 - 55*c_0011_12^2 + c_0011_10*c_0011_9 - 5*c_0011_12*c_0011_9 - 74*c_0011_9^2 + 15*c_0011_9*c_0101_0 + 38*c_0011_11*c_0101_2 - 137*c_0101_1*c_0101_2 + 20*c_0011_10*c_0101_3 - 96*c_0011_11*c_0101_3 + 19*c_0011_12*c_0101_3 + 9*c_0101_3^2 + 6*c_0011_12*c_0101_5 - 71*c_0101_0*c_0101_5 - 9*c_0101_1*c_0101_5 + 104*c_0101_2*c_0101_5 - 10*c_0101_3*c_0101_5 + 152*c_0101_5^2 - 22*c_0011_10*c_0110_11 - 52*c_0011_11*c_0110_11 + 31*c_0011_12*c_0110_11 + 26*c_0011_9*c_0110_11 + 76*c_0101_1*c_0110_11 - 147*c_0101_3*c_0110_11 - 142*c_0101_5*c_0110_11 + 157*c_0110_11^2 + 92*c_0011_10*c_1001_10 + 51*c_0011_11*c_1001_10 + 6*c_0011_12*c_1001_10 - 11*c_0011_9*c_1001_10 + 21*c_0101_0*c_1001_10 + 38*c_0101_2*c_1001_10 + 202*c_0101_3*c_1001_10 - 152*c_0110_11*c_1001_10 + 202*c_1001_10^2 - 14*c_0011_10 + 46*c_0011_11 + 79*c_0011_12 - 92*c_0011_9 - 96*c_0101_0 + 15*c_0101_1 + 290*c_0101_2 - 77*c_0101_3 + 47*c_0101_5 - 248*c_0110_11 - 55*c_1001_10 - 24, c_0011_12*c_0011_9*c_0110_11^2 - c_0011_10^2*c_0101_3*c_1001_10 + c_0011_12^2*c_0101_3*c_1001_10 - 3*c_0011_10^2*c_1001_10^2 - 2*c_0011_10*c_0011_9*c_1001_10^2 - 2*c_0011_10*c_1001_10^3 - 2*c_0011_10^3 + c_0011_12^3 - 2*c_0011_10^2*c_0011_9 + 3*c_0011_10*c_0011_9^2 + 2*c_0011_9^3 + 3*c_0011_10^2*c_0101_3 - 2*c_0011_12^2*c_0101_3 - c_0011_12^2*c_0110_11 - c_0011_10*c_0011_9*c_0110_11 + c_0011_12*c_0011_9*c_0110_11 - 5*c_0011_9^2*c_0110_11 - 8*c_0011_10*c_0110_11^2 + 6*c_0011_12*c_0110_11^2 + 10*c_0011_9*c_0110_11^2 - 4*c_0011_10^2*c_1001_10 + 2*c_0011_12^2*c_1001_10 - 12*c_0011_10*c_0011_9*c_1001_10 - c_0011_12*c_0011_9*c_1001_10 + 19*c_0011_9*c_0101_0*c_1001_10 - 5*c_0011_10*c_0101_3*c_1001_10 - 9*c_0011_12*c_0101_3*c_1001_10 - 27*c_0011_10*c_1001_10^2 - 21*c_0011_9*c_1001_10^2 + 21*c_0101_3*c_1001_10^2 + 36*c_0110_11*c_1001_10^2 + 30*c_1001_10^3 - 12*c_0011_10^2 + 20*c_0011_12^2 - 4*c_0011_10*c_0011_9 + c_0011_12*c_0011_9 + 29*c_0011_9^2 - 6*c_0011_9*c_0101_0 - 18*c_0011_11*c_0101_2 + 75*c_0101_1*c_0101_2 - 9*c_0011_10*c_0101_3 + 40*c_0011_11*c_0101_3 - 9*c_0011_12*c_0101_3 - 7*c_0101_3^2 - 2*c_0011_12*c_0101_5 + 41*c_0101_0*c_0101_5 + 7*c_0101_1*c_0101_5 - 52*c_0101_2*c_0101_5 + 2*c_0101_3*c_0101_5 - 72*c_0101_5^2 + 11*c_0011_10*c_0110_11 + 32*c_0011_11*c_0110_11 - 12*c_0011_12*c_0110_11 - 10*c_0011_9*c_0110_11 - 36*c_0101_1*c_0110_11 + 70*c_0101_3*c_0110_11 + 68*c_0101_5*c_0110_11 - 79*c_0110_11^2 - 34*c_0011_10*c_1001_10 - 30*c_0011_11*c_1001_10 - 2*c_0011_12*c_1001_10 + 13*c_0011_9*c_1001_10 - 15*c_0101_0*c_1001_10 - 18*c_0101_2*c_1001_10 - 100*c_0101_3*c_1001_10 + 72*c_0110_11*c_1001_10 - 100*c_1001_10^2 + 9*c_0011_10 - 28*c_0011_11 - 40*c_0011_12 + 46*c_0011_9 + 56*c_0101_0 - 11*c_0101_1 - 156*c_0101_2 + 45*c_0101_3 - 25*c_0101_5 + 112*c_0110_11 + 43*c_1001_10 + 18, c_0011_9^2*c_1001_10^2 + 3*c_0011_10*c_1001_10^3 + c_0011_10^3 + c_0011_12^3 - 2*c_0011_10*c_0011_9^2 - 5*c_0011_10^2*c_0101_3 + 3*c_0011_12^2*c_0101_3 + 4*c_0011_12^2*c_0110_11 + 8*c_0011_9^2*c_0110_11 + 10*c_0011_10*c_0110_11^2 - 11*c_0011_12*c_0110_11^2 - 15*c_0011_9*c_0110_11^2 - c_0011_10^2*c_1001_10 - 2*c_0011_12^2*c_1001_10 + 9*c_0011_10*c_0011_9*c_1001_10 - c_0011_9^2*c_1001_10 - 30*c_0011_9*c_0101_0*c_1001_10 + 9*c_0011_10*c_0101_3*c_1001_10 + 12*c_0011_12*c_0101_3*c_1001_10 + 45*c_0011_10*c_1001_10^2 + 36*c_0011_9*c_1001_10^2 - 24*c_0101_3*c_1001_10^2 - 48*c_0110_11*c_1001_10^2 - 36*c_1001_10^3 + 12*c_0011_10^2 - 35*c_0011_12^2 - 3*c_0011_12*c_0011_9 - 44*c_0011_9^2 + 9*c_0011_9*c_0101_0 + 24*c_0011_11*c_0101_2 - 84*c_0101_1*c_0101_2 + 15*c_0011_10*c_0101_3 - 60*c_0011_11*c_0101_3 + 12*c_0011_12*c_0101_3 + 6*c_0101_3^2 + 3*c_0011_12*c_0101_5 - 42*c_0101_0*c_0101_5 - 6*c_0101_1*c_0101_5 + 66*c_0101_2*c_0101_5 - 6*c_0101_3*c_0101_5 + 96*c_0101_5^2 - 13*c_0011_10*c_0110_11 - 30*c_0011_11*c_0110_11 + 21*c_0011_12*c_0110_11 + 15*c_0011_9*c_0110_11 + 48*c_0101_1*c_0110_11 - 93*c_0101_3*c_0110_11 - 90*c_0101_5*c_0110_11 + 96*c_0110_11^2 + 60*c_0011_10*c_1001_10 + 33*c_0011_11*c_1001_10 + 3*c_0011_12*c_1001_10 - 8*c_0011_9*c_1001_10 + 6*c_0101_0*c_1001_10 + 24*c_0101_2*c_1001_10 + 132*c_0101_3*c_1001_10 - 96*c_0110_11*c_1001_10 + 132*c_1001_10^2 - 9*c_0011_10 + 30*c_0011_11 + 47*c_0011_12 - 57*c_0011_9 - 54*c_0101_0 + 6*c_0101_1 + 180*c_0101_2 - 48*c_0101_3 + 30*c_0101_5 - 156*c_0110_11 - 36*c_1001_10 - 12, c_0011_10*c_0101_3*c_1001_10^2 + 3*c_0011_10*c_1001_10^3 - 3*c_0011_10^2*c_0101_3 + 2*c_0011_12^2*c_0101_3 + 2*c_0011_12^2*c_0110_11 + 5*c_0011_9^2*c_0110_11 + 5*c_0011_10*c_0110_11^2 - 7*c_0011_12*c_0110_11^2 - 8*c_0011_9*c_0110_11^2 - c_0011_10^2*c_1001_10 - 2*c_0011_12^2*c_1001_10 + 5*c_0011_10*c_0011_9*c_1001_10 - c_0011_9^2*c_1001_10 - 16*c_0011_9*c_0101_0*c_1001_10 + 8*c_0011_10*c_0101_3*c_1001_10 + 8*c_0011_12*c_0101_3*c_1001_10 + 32*c_0011_10*c_1001_10^2 + 24*c_0011_9*c_1001_10^2 - 16*c_0101_3*c_1001_10^2 - 32*c_0110_11*c_1001_10^2 - 24*c_1001_10^3 + 8*c_0011_10^2 - 21*c_0011_12^2 - 28*c_0011_9^2 + 4*c_0011_9*c_0101_0 + 16*c_0011_11*c_0101_2 - 56*c_0101_1*c_0101_2 + 13*c_0011_10*c_0101_3 - 40*c_0011_11*c_0101_3 + 8*c_0011_12*c_0101_3 + 4*c_0101_3^2 - 28*c_0101_0*c_0101_5 - 4*c_0101_1*c_0101_5 + 44*c_0101_2*c_0101_5 - 4*c_0101_3*c_0101_5 + 64*c_0101_5^2 - 9*c_0011_10*c_0110_11 - 20*c_0011_11*c_0110_11 + 12*c_0011_12*c_0110_11 + 8*c_0011_9*c_0110_11 + 32*c_0101_1*c_0110_11 - 59*c_0101_3*c_0110_11 - 60*c_0101_5*c_0110_11 + 64*c_0110_11^2 + 43*c_0011_10*c_1001_10 + 19*c_0011_11*c_1001_10 - 3*c_0011_9*c_1001_10 + 4*c_0101_0*c_1001_10 + 16*c_0101_2*c_1001_10 + 88*c_0101_3*c_1001_10 - 64*c_0110_11*c_1001_10 + 88*c_1001_10^2 - 8*c_0011_10 + 20*c_0011_11 + 31*c_0011_12 - 40*c_0011_9 - 36*c_0101_0 + 4*c_0101_1 + 120*c_0101_2 - 32*c_0101_3 + 20*c_0101_5 - 104*c_0110_11 - 24*c_1001_10 - 8, c_0011_9*c_1001_10^3 + c_0011_10^2*c_0101_3 - c_0011_12^2*c_0101_3 - c_0011_12^2*c_0110_11 - 2*c_0011_9^2*c_0110_11 - c_0011_10*c_0110_11^2 + 4*c_0011_12*c_0110_11^2 + 3*c_0011_9*c_0110_11^2 - 2*c_0011_10*c_0011_9*c_1001_10 + 6*c_0011_9*c_0101_0*c_1001_10 - 4*c_0011_10*c_0101_3*c_1001_10 - 4*c_0011_12*c_0101_3*c_1001_10 - 13*c_0011_10*c_1001_10^2 - 9*c_0011_9*c_1001_10^2 + 8*c_0101_3*c_1001_10^2 + 16*c_0110_11*c_1001_10^2 + 12*c_1001_10^3 - 4*c_0011_10^2 + 10*c_0011_12^2 - c_0011_12*c_0011_9 + 13*c_0011_9^2 - c_0011_9*c_0101_0 - 8*c_0011_11*c_0101_2 + 28*c_0101_1*c_0101_2 - 7*c_0011_10*c_0101_3 + 20*c_0011_11*c_0101_3 - 4*c_0011_12*c_0101_3 - 2*c_0101_3^2 + 14*c_0101_0*c_0101_5 + 2*c_0101_1*c_0101_5 - 22*c_0101_2*c_0101_5 + 2*c_0101_3*c_0101_5 - 32*c_0101_5^2 + 4*c_0011_10*c_0110_11 + 10*c_0011_11*c_0110_11 - 5*c_0011_12*c_0110_11 - 4*c_0011_9*c_0110_11 - 16*c_0101_1*c_0110_11 + 29*c_0101_3*c_0110_11 + 31*c_0101_5*c_0110_11 - 32*c_0110_11^2 - 21*c_0011_10*c_1001_10 - 9*c_0011_11*c_1001_10 + c_0011_12*c_1001_10 + 2*c_0011_9*c_1001_10 - 2*c_0101_0*c_1001_10 - 8*c_0101_2*c_1001_10 - 44*c_0101_3*c_1001_10 + 32*c_0110_11*c_1001_10 - 44*c_1001_10^2 + 5*c_0011_10 - 11*c_0011_11 - 16*c_0011_12 + 21*c_0011_9 + 18*c_0101_0 - 2*c_0101_1 - 60*c_0101_2 + 16*c_0101_3 - 10*c_0101_5 + 52*c_0110_11 + 12*c_1001_10 + 4, c_0101_3*c_1001_10^3 - 3*c_0011_12*c_0110_11^2 - c_0011_9*c_0110_11^2 - 6*c_0011_9*c_0101_0*c_1001_10 + 6*c_0011_10*c_0101_3*c_1001_10 + 5*c_0011_12*c_0101_3*c_1001_10 + 11*c_0011_10*c_1001_10^2 + 5*c_0011_9*c_1001_10^2 - c_0101_3*c_1001_10^2 - 16*c_0110_11*c_1001_10^2 - 6*c_1001_10^3 + 4*c_0011_10^2 - 5*c_0011_12^2 + c_0011_10*c_0011_9 - 10*c_0011_9^2 + 4*c_0011_9*c_0101_0 + 6*c_0011_11*c_0101_2 - 11*c_0101_1*c_0101_2 + 4*c_0011_10*c_0101_3 - 22*c_0011_11*c_0101_3 + 5*c_0011_12*c_0101_3 + c_0011_12*c_0101_5 + 17*c_0101_2*c_0101_5 - c_0101_3*c_0101_5 + 32*c_0101_5^2 - 8*c_0011_10*c_0110_11 + 5*c_0011_11*c_0110_11 + 3*c_0011_12*c_0110_11 + 11*c_0011_9*c_0110_11 - 4*c_0101_0*c_0110_11 + 16*c_0101_1*c_0110_11 - 33*c_0101_3*c_0110_11 - 32*c_0101_5*c_0110_11 + 21*c_0110_11^2 + 16*c_0011_10*c_1001_10 + 7*c_0011_11*c_1001_10 - 4*c_0011_9*c_1001_10 - 10*c_0101_0*c_1001_10 + 10*c_0101_2*c_1001_10 + 44*c_0101_3*c_1001_10 - 28*c_0110_11*c_1001_10 + 38*c_1001_10^2 - 7*c_0011_10 + 6*c_0011_11 + 3*c_0011_12 - 23*c_0011_9 + 5*c_0101_0 - 6*c_0101_1 + 32*c_0101_2 - 5*c_0101_3 + 6*c_0101_5 - 58*c_0110_11 + 7*c_1001_10 + 5, c_0110_11*c_1001_10^3 - c_0011_9*c_0101_0*c_1001_10 + c_0011_9*c_1001_10^2 - 2*c_0101_3*c_1001_10^2 + 6*c_0110_11*c_1001_10^2 - 2*c_1001_10^3 + c_0011_9*c_0101_0 - 2*c_0011_11*c_0101_2 + 12*c_0101_1*c_0101_2 - 2*c_0011_10*c_0101_3 - 5*c_0101_3^2 + 7*c_0101_0*c_0101_5 + 3*c_0101_1*c_0101_5 - 7*c_0101_2*c_0101_5 - 5*c_0101_3*c_0101_5 - 8*c_0101_5^2 + 5*c_0011_11*c_0110_11 - 2*c_0011_12*c_0110_11 - c_0101_0*c_0110_11 - 4*c_0101_1*c_0110_11 - c_0101_2*c_0110_11 + 11*c_0101_3*c_0110_11 + 10*c_0101_5*c_0110_11 - 8*c_0110_11^2 - c_0011_10*c_1001_10 - 10*c_0011_11*c_1001_10 + 6*c_0011_9*c_1001_10 + 7*c_0101_0*c_1001_10 - 2*c_0101_2*c_1001_10 - 25*c_0101_3*c_1001_10 + 12*c_0110_11*c_1001_10 - 25*c_1001_10^2 + 2*c_0011_10 - 10*c_0011_11 + 6*c_0011_9 + 5*c_0101_0 + 2*c_0101_1 - 26*c_0101_2 + 6*c_0101_3 - 5*c_0101_5 + 8*c_0110_11 + 18*c_1001_10 + 1, c_1001_10^4 + c_0011_12*c_0110_11^2 + 4*c_0011_9*c_0101_0*c_1001_10 - 3*c_0011_10*c_0101_3*c_1001_10 - 3*c_0011_12*c_0101_3*c_1001_10 - 4*c_0011_10*c_1001_10^2 - c_0011_9*c_1001_10^2 - c_0101_3*c_1001_10^2 + 8*c_0110_11*c_1001_10^2 + 2*c_1001_10^3 - 2*c_0011_10^2 + c_0011_12^2 - c_0011_10*c_0011_9 + 4*c_0011_9^2 - 4*c_0011_9*c_0101_0 - 2*c_0011_11*c_0101_2 + 3*c_0101_1*c_0101_2 + 12*c_0011_11*c_0101_3 - 3*c_0011_12*c_0101_3 + c_0101_3^2 - c_0101_0*c_0101_5 - c_0101_1*c_0101_5 - 6*c_0101_2*c_0101_5 - 16*c_0101_5^2 + 4*c_0011_10*c_0110_11 - 4*c_0011_11*c_0110_11 - c_0011_12*c_0110_11 - 6*c_0011_9*c_0110_11 + 4*c_0101_0*c_0110_11 - 8*c_0101_1*c_0110_11 + 19*c_0101_3*c_0110_11 + 16*c_0101_5*c_0110_11 - 11*c_0110_11^2 - 4*c_0011_10*c_1001_10 - 3*c_0011_11*c_1001_10 - 2*c_0011_12*c_1001_10 + 4*c_0011_9*c_1001_10 + 5*c_0101_0*c_1001_10 - 5*c_0101_2*c_1001_10 - 19*c_0101_3*c_1001_10 + 12*c_0110_11*c_1001_10 - 17*c_1001_10^2 + 4*c_0011_10 - c_0011_12 + 12*c_0011_9 - 4*c_0101_0 + 3*c_0101_1 - 12*c_0101_2 + c_0101_3 - c_0101_5 + 32*c_0110_11 - 5*c_1001_10 - 3, c_0011_9^2*c_0101_0 + c_0011_10*c_0101_3*c_1001_10 + c_0011_12*c_0101_3*c_1001_10 + 2*c_0011_10*c_1001_10^2 + c_0011_9*c_1001_10^2 - 3*c_0101_3*c_1001_10^2 - 4*c_0110_11*c_1001_10^2 - 4*c_1001_10^3 + 2*c_0011_10^2 + c_0011_10*c_0011_9 - 2*c_0011_9^2 + 2*c_0011_11*c_0101_2 - 11*c_0101_1*c_0101_2 + 2*c_0011_10*c_0101_3 - 4*c_0011_11*c_0101_3 + c_0011_12*c_0101_3 + c_0101_3^2 - 7*c_0101_0*c_0101_5 - c_0101_1*c_0101_5 + 6*c_0101_2*c_0101_5 + 8*c_0101_5^2 - c_0011_10*c_0110_11 - 6*c_0011_11*c_0110_11 + 4*c_0101_1*c_0110_11 - 7*c_0101_3*c_0110_11 - 8*c_0101_5*c_0110_11 + 11*c_0110_11^2 + 4*c_0011_10*c_1001_10 + 3*c_0011_11*c_1001_10 - 2*c_0011_9*c_1001_10 + 5*c_0101_0*c_1001_10 + 2*c_0101_2*c_1001_10 + 10*c_0101_3*c_1001_10 - 8*c_0110_11*c_1001_10 + 10*c_1001_10^2 - 2*c_0011_10 + 4*c_0011_11 + 6*c_0011_12 - 6*c_0011_9 - 10*c_0101_0 + 3*c_0101_1 + 22*c_0101_2 - 7*c_0101_3 + 3*c_0101_5 - 12*c_0110_11 - 9*c_1001_10 - 4, c_0011_10*c_0101_3^2 + 3*c_0011_10*c_0101_3*c_1001_10 + 3*c_0011_10*c_1001_10^2 + c_0011_9*c_1001_10^2 - c_0011_12*c_0011_9 - c_0011_9*c_0101_0 + 2*c_0101_1*c_0101_2 + 2*c_0011_10*c_0101_3 - 2*c_0011_11*c_0101_3 - 2*c_0101_3^2 + 3*c_0011_12*c_0101_5 + c_0101_0*c_0101_5 + 2*c_0101_1*c_0101_5 - c_0101_2*c_0101_5 - c_0101_3*c_0101_5 + c_0011_11*c_0110_11 + 3*c_0011_9*c_0110_11 + c_0101_3*c_0110_11 - c_0101_5*c_0110_11 + 7*c_0011_10*c_1001_10 - 3*c_0011_11*c_1001_10 - c_0011_12*c_1001_10 + 6*c_0011_9*c_1001_10 + c_0101_0*c_1001_10 - 5*c_0101_3*c_1001_10 - 4*c_1001_10^2 - c_0011_11 + c_0101_0 - c_0101_1 - 4*c_0101_2 + 2*c_0101_3 - 2*c_0110_11 + 4*c_1001_10 + 4, c_0011_11*c_0101_3^2 + 6*c_0110_11*c_1001_10^2 + c_0011_9*c_0101_0 - 2*c_0011_11*c_0101_2 + 10*c_0101_1*c_0101_2 - 3*c_0011_10*c_0101_3 + 2*c_0011_11*c_0101_3 - 4*c_0101_3^2 + 7*c_0101_0*c_0101_5 + 2*c_0101_1*c_0101_5 - 6*c_0101_2*c_0101_5 - 4*c_0101_3*c_0101_5 - 8*c_0101_5^2 + 4*c_0011_11*c_0110_11 - c_0011_12*c_0110_11 - c_0101_0*c_0110_11 - 4*c_0101_1*c_0110_11 - c_0101_2*c_0110_11 + 11*c_0101_3*c_0110_11 + 10*c_0101_5*c_0110_11 - 8*c_0110_11^2 - 3*c_0011_10*c_1001_10 - 8*c_0011_11*c_1001_10 + 5*c_0011_9*c_1001_10 + 6*c_0101_0*c_1001_10 - 2*c_0101_2*c_1001_10 - 22*c_0101_3*c_1001_10 + 12*c_0110_11*c_1001_10 - 22*c_1001_10^2 + c_0011_10 - 8*c_0011_11 + 2*c_0011_12 + 5*c_0011_9 + 5*c_0101_0 + 2*c_0101_1 - 21*c_0101_2 - 4*c_0101_5 + 10*c_0110_11 + 10*c_1001_10, c_0011_12*c_0101_3^2 + 3*c_0011_12*c_0101_3*c_1001_10 - 5*c_0101_3*c_1001_10^2 - 8*c_0110_11*c_1001_10^2 - 7*c_1001_10^3 + 3*c_0011_10^2 + c_0011_10*c_0011_9 + c_0011_12*c_0011_9 - 3*c_0011_9^2 + c_0011_9*c_0101_0 + 4*c_0011_11*c_0101_2 - 21*c_0101_1*c_0101_2 + 3*c_0011_10*c_0101_3 - 6*c_0011_11*c_0101_3 + 3*c_0011_12*c_0101_3 + 5*c_0101_3^2 - 3*c_0011_12*c_0101_5 - 12*c_0101_0*c_0101_5 - 5*c_0101_1*c_0101_5 + 13*c_0101_2*c_0101_5 + c_0101_3*c_0101_5 + 16*c_0101_5^2 - 3*c_0011_10*c_0110_11 - 9*c_0011_11*c_0110_11 + 8*c_0101_1*c_0110_11 - 16*c_0101_3*c_0110_11 - 15*c_0101_5*c_0110_11 + 19*c_0110_11^2 + c_0011_10*c_1001_10 + 10*c_0011_11*c_1001_10 + 2*c_0011_12*c_1001_10 - 11*c_0011_9*c_1001_10 + 3*c_0101_0*c_1001_10 + 4*c_0101_2*c_1001_10 + 30*c_0101_3*c_1001_10 - 16*c_0110_11*c_1001_10 + 28*c_1001_10^2 - 4*c_0011_10 + 9*c_0011_11 + 8*c_0011_12 - 12*c_0011_9 - 16*c_0101_0 + 5*c_0101_1 + 43*c_0101_2 - 14*c_0101_3 + 5*c_0101_5 - 22*c_0110_11 - 17*c_1001_10 - 12, c_0101_3^3 - 6*c_0101_3*c_1001_10^2 - 13*c_0110_11*c_1001_10^2 - 8*c_1001_10^3 + c_0011_9*c_0101_0 + 6*c_0011_11*c_0101_2 - 26*c_0101_1*c_0101_2 + 3*c_0011_10*c_0101_3 - 8*c_0011_11*c_0101_3 + 3*c_0011_12*c_0101_3 + 6*c_0101_3^2 + c_0011_12*c_0101_5 - 13*c_0101_0*c_0101_5 - 5*c_0101_1*c_0101_5 + 22*c_0101_2*c_0101_5 - c_0101_3*c_0101_5 + 25*c_0101_5^2 - 3*c_0011_10*c_0110_11 - 8*c_0011_11*c_0110_11 + 12*c_0101_1*c_0110_11 - c_0101_2*c_0110_11 - 25*c_0101_3*c_0110_11 - 25*c_0101_5*c_0110_11 + 22*c_0110_11^2 + 18*c_0011_11*c_1001_10 - 16*c_0011_9*c_1001_10 - 13*c_0101_0*c_1001_10 + 6*c_0101_2*c_1001_10 + 53*c_0101_3*c_1001_10 - 24*c_0110_11*c_1001_10 + 53*c_1001_10^2 - 6*c_0011_10 + 17*c_0011_11 + 9*c_0011_12 - 18*c_0011_9 - 10*c_0101_0 - 2*c_0101_1 + 58*c_0101_2 - 17*c_0101_3 + 9*c_0101_5 - 33*c_0110_11 - 24*c_1001_10 - 5, c_0011_12^2*c_0101_5 - c_0011_10*c_0011_9*c_0110_11 + c_0011_12^2*c_1001_10 - c_0011_12*c_0011_9, c_0101_1*c_0101_2*c_0101_5 - c_0110_11*c_1001_10^2 + c_0011_9*c_0101_0 + c_0101_1*c_0101_2 - 2*c_0011_11*c_0101_3 + 2*c_0101_0*c_0101_5 + c_0101_1*c_0101_5 - c_0101_2*c_0101_5 + c_0101_5^2 - c_0101_2*c_0110_11 - c_0101_3*c_0110_11 - 2*c_0101_5*c_0110_11 + c_0110_11^2 - c_0011_9*c_1001_10 - c_0101_0*c_1001_10 + 2*c_0101_3*c_1001_10 + 2*c_1001_10^2 + 2*c_0101_0 + c_0101_1 - 3*c_0101_5 - 3*c_0110_11 - 2, c_0011_12*c_0101_3*c_0101_5 + c_0011_9*c_0110_11^2 + c_0011_12*c_0101_3*c_1001_10 + c_0011_9*c_1001_10^2 + 4*c_0110_11*c_1001_10^2 + c_1001_10^3 - c_0011_10*c_0011_9 - 2*c_0011_11*c_0101_2 + 7*c_0101_1*c_0101_2 + 2*c_0011_11*c_0101_3 - 2*c_0101_3^2 - c_0011_12*c_0101_5 + 3*c_0101_0*c_0101_5 + 2*c_0101_1*c_0101_5 - 6*c_0101_2*c_0101_5 - 2*c_0101_3*c_0101_5 - 8*c_0101_5^2 + c_0011_11*c_0110_11 - 2*c_0011_9*c_0110_11 - 4*c_0101_1*c_0110_11 + 8*c_0101_3*c_0110_11 + 8*c_0101_5*c_0110_11 - 5*c_0110_11^2 - 6*c_0011_11*c_1001_10 + 4*c_0011_9*c_1001_10 + 8*c_0101_0*c_1001_10 - 2*c_0101_2*c_1001_10 - 19*c_0101_3*c_1001_10 + 8*c_0110_11*c_1001_10 - 19*c_1001_10^2 + 2*c_0011_10 - 6*c_0011_11 - c_0011_12 + 6*c_0011_9 + 3*c_0101_1 - 17*c_0101_2 + 4*c_0101_3 - 4*c_0101_5 + 10*c_0110_11 + 9*c_1001_10 - 1, c_0101_3^2*c_0101_5 + c_0110_11*c_1001_10^2 - c_0011_9*c_0101_0 - 5*c_0101_1*c_0101_2 + 6*c_0011_11*c_0101_3 - 3*c_0011_12*c_0101_3 + c_0101_3^2 - 6*c_0101_0*c_0101_5 + c_0101_1*c_0101_5 + 4*c_0101_3*c_0101_5 - 4*c_0101_5^2 + c_0011_10*c_0110_11 - 4*c_0011_11*c_0110_11 + c_0011_12*c_0110_11 + c_0101_0*c_0110_11 - c_0101_1*c_0110_11 + c_0101_2*c_0110_11 + c_0101_3*c_0110_11 + 2*c_0101_5*c_0110_11 - c_0110_11^2 + 4*c_0011_11*c_1001_10 - 3*c_0011_12*c_1001_10 + c_0011_9*c_1001_10 + 3*c_0101_0*c_1001_10 - 3*c_0101_3*c_1001_10 - c_1001_10^2 + 2*c_0011_10 + 4*c_0011_11 - 3*c_0011_12 + 4*c_0011_9 - 7*c_0101_0 + 8*c_0101_2 + 3*c_0101_5 + 9*c_0110_11 - 8*c_1001_10 + 3, c_0011_12*c_0101_5^2 - c_0011_10*c_0110_11^2 - c_0011_12^2 + c_0011_12*c_0101_3 + c_0011_10*c_0110_11 - c_0011_12*c_0110_11 + c_0011_12, c_0101_0*c_0101_5^2 + c_0110_11*c_1001_10^2 - c_0011_9*c_0101_0 - c_0101_1*c_0101_2 + 2*c_0011_11*c_0101_3 - c_0101_0*c_0101_5 - c_0101_1*c_0101_5 - c_0101_2*c_0101_5 + c_0101_3*c_0101_5 - c_0101_5^2 - c_0011_11*c_0110_11 + c_0101_2*c_0110_11 + c_0101_3*c_0110_11 + c_0101_5*c_0110_11 - c_0110_11^2 + c_0011_9*c_1001_10 + c_0101_0*c_1001_10 - 2*c_0101_3*c_1001_10 - 2*c_1001_10^2 + c_0011_11 - 2*c_0011_12 - 2*c_0101_0 - c_0101_1 + 2*c_0101_3 + 3*c_0101_5 + 3*c_0110_11 + 2, c_0101_1*c_0101_5^2 + c_0110_11*c_1001_10^2 - c_0011_9*c_0101_0 - 3*c_0101_1*c_0101_2 + 4*c_0011_11*c_0101_3 - c_0101_3^2 - 4*c_0101_0*c_0101_5 + 2*c_0101_3*c_0101_5 - 3*c_0101_5^2 - 2*c_0011_11*c_0110_11 + c_0101_0*c_0110_11 - c_0101_1*c_0110_11 + c_0101_2*c_0110_11 + c_0101_3*c_0110_11 + 2*c_0101_5*c_0110_11 - c_0110_11^2 + 2*c_0011_11*c_1001_10 + c_0011_9*c_1001_10 + 2*c_0101_0*c_1001_10 - 4*c_0101_3*c_1001_10 - 2*c_1001_10^2 + c_0011_10 + 2*c_0011_11 - 2*c_0011_12 + 2*c_0011_9 - 5*c_0101_0 + 4*c_0101_2 + 4*c_0101_5 + 7*c_0110_11 - 4*c_1001_10 + 2, c_0101_2*c_0101_5^2 + c_0011_9*c_0101_0 + 2*c_0101_1*c_0101_2 - 2*c_0011_11*c_0101_3 + c_0101_3^2 + 3*c_0101_0*c_0101_5 + c_0101_1*c_0101_5 + c_0101_2*c_0101_5 - 3*c_0101_3*c_0101_5 + c_0101_5^2 + c_0011_11*c_0110_11 - c_0101_2*c_0110_11 - c_0101_3*c_0110_11 - c_0101_5*c_0110_11 - c_0011_11*c_1001_10 - c_0101_0*c_1001_10 + 2*c_0101_3*c_1001_10 - c_0011_11 + 2*c_0011_12 + 3*c_0101_0 + c_0101_1 - 2*c_0101_2 - 2*c_0101_3 - 3*c_0101_5 - 3*c_0110_11 + 2*c_1001_10 - 2, c_0101_3*c_0101_5^2 - c_0101_3*c_1001_10^2 - 7*c_0110_11*c_1001_10^2 - 3*c_1001_10^3 + c_0011_9*c_0101_0 + 4*c_0011_11*c_0101_2 - 12*c_0101_1*c_0101_2 + 3*c_0011_10*c_0101_3 - 6*c_0011_11*c_0101_3 + 3*c_0011_12*c_0101_3 + 6*c_0101_3^2 - 2*c_0011_12*c_0101_5 - 3*c_0101_0*c_0101_5 - 5*c_0101_1*c_0101_5 + 13*c_0101_2*c_0101_5 + c_0101_3*c_0101_5 + 16*c_0101_5^2 - 3*c_0011_10*c_0110_11 - c_0011_11*c_0110_11 + 8*c_0101_1*c_0110_11 - 16*c_0101_3*c_0110_11 - 15*c_0101_5*c_0110_11 + 10*c_0110_11^2 + c_0011_10*c_1001_10 + 9*c_0011_11*c_1001_10 + 2*c_0011_12*c_1001_10 - 10*c_0011_9*c_1001_10 - 13*c_0101_0*c_1001_10 + 4*c_0101_2*c_1001_10 + 38*c_0101_3*c_1001_10 - 16*c_0110_11*c_1001_10 + 34*c_1001_10^2 - 4*c_0011_10 + 9*c_0011_11 + 3*c_0011_12 - 12*c_0011_9 + c_0101_0 - 3*c_0101_1 + 29*c_0101_2 - 9*c_0101_3 + 5*c_0101_5 - 22*c_0110_11 - 11*c_1001_10 - 4, c_0101_5^3 - c_0011_9*c_0101_0*c_1001_10 + c_0101_3*c_1001_10^2 + 8*c_0110_11*c_1001_10^2 + 3*c_1001_10^3 - 4*c_0011_11*c_0101_2 + 14*c_0101_1*c_0101_2 - 3*c_0011_10*c_0101_3 + 6*c_0011_11*c_0101_3 - 4*c_0011_12*c_0101_3 - 5*c_0101_3^2 + 5*c_0101_0*c_0101_5 + 5*c_0101_1*c_0101_5 - 13*c_0101_2*c_0101_5 - 16*c_0101_5^2 + 2*c_0011_10*c_0110_11 + 3*c_0011_11*c_0110_11 - c_0011_12*c_0110_11 - c_0011_9*c_0110_11 - 8*c_0101_1*c_0110_11 + 16*c_0101_3*c_0110_11 + 16*c_0101_5*c_0110_11 - 12*c_0110_11^2 - 2*c_0011_10*c_1001_10 - 10*c_0011_11*c_1001_10 - 2*c_0011_12*c_1001_10 + 9*c_0011_9*c_1001_10 + 13*c_0101_0*c_1001_10 - 4*c_0101_2*c_1001_10 - 38*c_0101_3*c_1001_10 + 17*c_0110_11*c_1001_10 - 36*c_1001_10^2 + 5*c_0011_10 - 11*c_0011_11 - 4*c_0011_12 + 13*c_0011_9 + c_0101_0 + 3*c_0101_1 - 33*c_0101_2 + 11*c_0101_3 - 5*c_0101_5 + 22*c_0110_11 + 15*c_1001_10 + 4, c_0011_10^2*c_0110_11 - c_0011_9^2*c_0110_11 + c_0011_12*c_0011_9*c_1001_10 - c_0011_12^2 - c_0011_9^2, c_0011_9*c_0101_0*c_0110_11 - 2*c_0101_1*c_0101_2 - c_0011_10*c_0101_3 + 2*c_0011_11*c_0101_3 - c_0011_12*c_0101_3 - 2*c_0101_0*c_0101_5 + 2*c_0101_3*c_0101_5 + c_0011_10*c_0110_11 - 2*c_0011_11*c_0110_11 - 2*c_0011_10*c_1001_10 + 2*c_0011_11*c_1001_10 - 2*c_0011_12*c_1001_10 - c_0011_9*c_1001_10 + c_0101_0*c_1001_10 + c_1001_10^2 + 2*c_0011_11 - 2*c_0101_0 + 4*c_0101_2 + 2*c_0101_5 + 2*c_0110_11 - 4*c_1001_10 + 1, c_0011_11*c_0101_2*c_0110_11 - 6*c_0101_1*c_0101_2 + 4*c_0011_11*c_0101_3 - 5*c_0101_0*c_0101_5 + c_0101_2*c_0101_5 + 3*c_0101_3*c_0101_5 - 2*c_0011_11*c_0110_11 + 2*c_0110_11^2 + 4*c_0011_11*c_1001_10 + c_0101_2*c_1001_10 + c_0101_3*c_1001_10 + 3*c_1001_10^2 + 4*c_0011_11 - c_0011_12 - 5*c_0101_0 - c_0101_1 + 12*c_0101_2 - 4*c_0101_3 + 4*c_0101_5 + 4*c_0110_11 - 11*c_1001_10 + 3, c_0101_1*c_0101_2*c_0110_11 - c_0011_11*c_0101_2 + c_0101_1*c_0101_2 - c_0011_11*c_0101_3 - c_0101_3^2 + c_0101_1*c_0101_5 - c_0101_2*c_0101_5 - c_0101_3*c_0101_5 - c_0101_5^2 + c_0011_11*c_0110_11 - 2*c_0101_2*c_0110_11 + c_0101_3*c_0110_11 - c_0110_11^2 + c_0101_0*c_1001_10 - 3*c_0101_3*c_1001_10 + 3*c_0110_11*c_1001_10 - 3*c_1001_10^2 + c_0011_10 - 2*c_0011_11 + 2*c_0011_9 - 2*c_0101_2 - c_0101_5 - c_0110_11 + 2*c_1001_10 + 1, c_0011_10*c_0101_3*c_0110_11 + c_0011_12*c_0110_11^2 - c_0101_3*c_1001_10^2 + 4*c_0110_11*c_1001_10^2 + c_0011_10^2 + c_0011_12^2 - 2*c_0011_11*c_0101_2 + 5*c_0101_1*c_0101_2 + 2*c_0011_11*c_0101_3 - 2*c_0101_3^2 + c_0101_0*c_0101_5 + 2*c_0101_1*c_0101_5 - 6*c_0101_2*c_0101_5 - 2*c_0101_3*c_0101_5 - 8*c_0101_5^2 - c_0011_11*c_0110_11 - c_0011_12*c_0110_11 - 4*c_0101_1*c_0110_11 + 8*c_0101_3*c_0110_11 + 8*c_0101_5*c_0110_11 - 3*c_0110_11^2 - 6*c_0011_11*c_1001_10 + 4*c_0011_9*c_1001_10 + 12*c_0101_0*c_1001_10 - 2*c_0101_2*c_1001_10 - 21*c_0101_3*c_1001_10 + 8*c_0110_11*c_1001_10 - 21*c_1001_10^2 + 2*c_0011_10 - 6*c_0011_11 + 6*c_0011_9 - 4*c_0101_0 + 5*c_0101_1 - 14*c_0101_2 + 3*c_0101_3 - 4*c_0101_5 + 10*c_0110_11 + 8*c_1001_10 - 3, c_0011_11*c_0101_3*c_0110_11 + 4*c_0110_11*c_1001_10^2 + c_1001_10^3 - 2*c_0011_11*c_0101_2 + 3*c_0101_1*c_0101_2 - 3*c_0011_10*c_0101_3 + 6*c_0011_11*c_0101_3 - 3*c_0011_12*c_0101_3 - 2*c_0101_3^2 + 2*c_0101_1*c_0101_5 - 5*c_0101_2*c_0101_5 + c_0101_3*c_0101_5 - 8*c_0101_5^2 + c_0011_10*c_0110_11 - 2*c_0011_11*c_0110_11 - c_0011_9*c_0110_11 - 4*c_0101_1*c_0110_11 + 8*c_0101_3*c_0110_11 + 8*c_0101_5*c_0110_11 - 5*c_0110_11^2 - 4*c_0011_10*c_1001_10 - 2*c_0011_11*c_1001_10 - 3*c_0011_12*c_1001_10 + 3*c_0011_9*c_1001_10 + 8*c_0101_0*c_1001_10 - 2*c_0101_2*c_1001_10 - 17*c_0101_3*c_1001_10 + 8*c_0110_11*c_1001_10 - 16*c_1001_10^2 + 2*c_0011_10 - 2*c_0011_11 - c_0011_12 + 6*c_0011_9 - 3*c_0101_0 + 2*c_0101_1 - 9*c_0101_2 + 2*c_0101_3 + 14*c_0110_11 + c_1001_10 + 2, c_0011_12*c_0101_3*c_0110_11 - c_0011_10*c_0110_11^2 - c_0011_12*c_0110_11^2 - 2*c_0011_12^2 - c_0011_9^2 - c_0011_10*c_0101_3 + c_0011_10*c_0110_11 + c_0011_12, c_0101_3^2*c_0110_11 - 5*c_0110_11*c_1001_10^2 + c_0011_9*c_0101_0 + c_0011_11*c_0101_2 - 9*c_0101_1*c_0101_2 + 5*c_0101_3^2 - 2*c_0011_12*c_0101_5 - 5*c_0101_0*c_0101_5 - 4*c_0101_1*c_0101_5 + 5*c_0101_2*c_0101_5 + 4*c_0101_3*c_0101_5 + 8*c_0101_5^2 - 4*c_0011_11*c_0110_11 - 2*c_0011_9*c_0110_11 + 3*c_0101_1*c_0110_11 - 8*c_0101_3*c_0110_11 - 7*c_0101_5*c_0110_11 + 8*c_0110_11^2 - 3*c_0011_10*c_1001_10 + 8*c_0011_11*c_1001_10 + c_0011_12*c_1001_10 - 8*c_0011_9*c_1001_10 - 5*c_0101_0*c_1001_10 + c_0101_2*c_1001_10 + 22*c_0101_3*c_1001_10 - 8*c_0110_11*c_1001_10 + 21*c_1001_10^2 - 2*c_0011_10 + 6*c_0011_11 - 6*c_0011_9 - 4*c_0101_0 + 19*c_0101_2 - 2*c_0101_3 + 3*c_0101_5 - 8*c_0110_11 - 11*c_1001_10 - 5, c_0011_12*c_0101_5*c_0110_11 - 2*c_0011_9*c_0101_0*c_1001_10 + c_0011_10*c_0101_3*c_1001_10 - c_0011_12*c_0101_3*c_1001_10 + 3*c_0011_10*c_1001_10^2 + 2*c_0011_9*c_1001_10^2 + 3*c_0101_3*c_1001_10^2 + 4*c_0110_11*c_1001_10^2 + 4*c_1001_10^3 - c_0011_10^2 - 2*c_0011_12^2 - c_0011_9^2 - 2*c_0011_11*c_0101_2 + 15*c_0101_1*c_0101_2 - c_0011_10*c_0101_3 - c_0011_12*c_0101_3 - 3*c_0101_3^2 + c_0011_12*c_0101_5 + 9*c_0101_0*c_0101_5 + 3*c_0101_1*c_0101_5 - 8*c_0101_2*c_0101_5 - 2*c_0101_3*c_0101_5 - 8*c_0101_5^2 + c_0011_10*c_0110_11 + 8*c_0011_11*c_0110_11 + c_0011_9*c_0110_11 - 4*c_0101_1*c_0110_11 + 8*c_0101_3*c_0110_11 + 8*c_0101_5*c_0110_11 - 11*c_0110_11^2 + 4*c_0011_10*c_1001_10 - 8*c_0011_11*c_1001_10 + 9*c_0011_9*c_1001_10 - 3*c_0101_0*c_1001_10 - 2*c_0101_2*c_1001_10 - 16*c_0101_3*c_1001_10 + 8*c_0110_11*c_1001_10 - 16*c_1001_10^2 + 3*c_0011_10 - 8*c_0011_11 - 6*c_0011_12 + 7*c_0011_9 + 12*c_0101_0 - 3*c_0101_1 - 30*c_0101_2 + 11*c_0101_3 - 5*c_0101_5 + 8*c_0110_11 + 17*c_1001_10 + 6, c_0101_0*c_0101_5*c_0110_11 + c_0011_11*c_0101_2 - 2*c_0101_1*c_0101_2 + c_0011_11*c_0101_3 + c_0101_3^2 - c_0101_0*c_0101_5 - c_0101_1*c_0101_5 + c_0101_2*c_0101_5 + c_0101_3*c_0101_5 - c_0011_11*c_0110_11 + c_0101_0*c_0110_11 - c_0101_0*c_1001_10 + 3*c_0101_3*c_1001_10 - c_0110_11*c_1001_10 + 3*c_1001_10^2 - c_0011_10 + 2*c_0011_11 + c_0011_12 - 2*c_0011_9 - c_0101_0 + 4*c_0101_2 - 2*c_0101_3 + c_0101_5 + 2*c_0110_11 - 4*c_1001_10 - 1, c_0101_1*c_0101_5*c_0110_11 + c_0011_9*c_0101_0 + c_0011_11*c_0101_2 - 3*c_0101_1*c_0101_2 + 2*c_0011_11*c_0101_3 + 2*c_0101_3^2 - 2*c_0101_0*c_0101_5 - c_0101_1*c_0101_5 + 2*c_0101_2*c_0101_5 + c_0101_3*c_0101_5 - c_0011_11*c_0110_11 - c_0101_5*c_0110_11 + 2*c_0011_11*c_1001_10 - 2*c_0101_0*c_1001_10 + c_0101_2*c_1001_10 + 5*c_0101_3*c_1001_10 + 4*c_1001_10^2 + 3*c_0011_11 - c_0101_0 + 7*c_0101_2 - 4*c_0101_3 + 3*c_0110_11 - 7*c_1001_10 - 2, c_0101_2*c_0101_5*c_0110_11 - c_0011_11*c_0101_2 + 2*c_0101_1*c_0101_2 - 2*c_0011_11*c_0101_3 - c_0101_3^2 + c_0101_1*c_0101_5 - 2*c_0101_2*c_0101_5 + c_0011_11*c_0110_11 - 2*c_0101_3*c_0110_11 + c_0101_0*c_1001_10 - 3*c_0101_3*c_1001_10 - 3*c_1001_10^2 + c_0011_10 - 2*c_0011_11 - c_0011_12 + c_0011_9 - 4*c_0101_2 + 4*c_0101_3 - c_0101_5 - 2*c_0110_11 + 5*c_1001_10 + 1, c_0101_3*c_0101_5*c_0110_11 - c_0011_9*c_0101_0*c_1001_10 + c_0101_3*c_1001_10^2 + 4*c_0110_11*c_1001_10^2 + 2*c_1001_10^3 - 2*c_0011_11*c_0101_2 + 11*c_0101_1*c_0101_2 - c_0011_11*c_0101_3 - c_0011_12*c_0101_3 - 3*c_0101_3^2 + 5*c_0101_0*c_0101_5 + 3*c_0101_1*c_0101_5 - 8*c_0101_2*c_0101_5 - 2*c_0101_3*c_0101_5 - 8*c_0101_5^2 + c_0011_10*c_0110_11 + 4*c_0011_11*c_0110_11 - c_0011_12*c_0110_11 - 4*c_0101_1*c_0110_11 + 8*c_0101_3*c_0110_11 + 8*c_0101_5*c_0110_11 - 7*c_0110_11^2 + 2*c_0011_10*c_1001_10 - 8*c_0011_11*c_1001_10 + 6*c_0011_9*c_1001_10 + 5*c_0101_0*c_1001_10 - 2*c_0101_2*c_1001_10 - 20*c_0101_3*c_1001_10 + 8*c_0110_11*c_1001_10 - 20*c_1001_10^2 + 3*c_0011_10 - 8*c_0011_11 - 3*c_0011_12 + 7*c_0011_9 + 4*c_0101_0 + c_0101_1 - 24*c_0101_2 + 9*c_0101_3 - 5*c_0101_5 + 8*c_0110_11 + 15*c_1001_10 + 2, c_0101_5^2*c_0110_11 + c_0011_9*c_0101_0 - 2*c_0101_1*c_0101_2 - c_0011_10*c_0101_3 + 2*c_0011_11*c_0101_3 + c_0011_12*c_0101_3 + 2*c_0101_3^2 - 2*c_0011_12*c_0101_5 - c_0101_0*c_0101_5 - 2*c_0101_1*c_0101_5 + c_0101_2*c_0101_5 + c_0101_3*c_0101_5 + c_0101_5^2 - c_0011_11*c_0110_11 - 2*c_0011_9*c_0110_11 + c_0101_5*c_0110_11 + c_0110_11^2 - 3*c_0011_10*c_1001_10 + 2*c_0011_11*c_1001_10 + c_0011_12*c_1001_10 - 2*c_0011_9*c_1001_10 - c_0101_0*c_1001_10 + 5*c_0101_3*c_1001_10 + 4*c_1001_10^2 + c_0011_11 - c_0101_0 + c_0101_1 + 4*c_0101_2 - 2*c_0101_3 + c_0110_11 - 4*c_1001_10 - 4, c_0011_11*c_0110_11^2 - c_0011_9*c_0101_0*c_1001_10 + c_0101_3*c_1001_10^2 + 8*c_0110_11*c_1001_10^2 + 3*c_1001_10^3 - 4*c_0011_11*c_0101_2 + 14*c_0101_1*c_0101_2 - 3*c_0011_10*c_0101_3 + 6*c_0011_11*c_0101_3 - 4*c_0011_12*c_0101_3 - 5*c_0101_3^2 + c_0011_12*c_0101_5 + 5*c_0101_0*c_0101_5 + 5*c_0101_1*c_0101_5 - 13*c_0101_2*c_0101_5 - c_0101_3*c_0101_5 - 16*c_0101_5^2 + 2*c_0011_10*c_0110_11 + c_0011_11*c_0110_11 - c_0011_12*c_0110_11 - c_0011_9*c_0110_11 - 8*c_0101_1*c_0110_11 + 16*c_0101_3*c_0110_11 + 16*c_0101_5*c_0110_11 - 12*c_0110_11^2 - 2*c_0011_10*c_1001_10 - 10*c_0011_11*c_1001_10 - 2*c_0011_12*c_1001_10 + 9*c_0011_9*c_1001_10 + 13*c_0101_0*c_1001_10 - 4*c_0101_2*c_1001_10 - 38*c_0101_3*c_1001_10 + 17*c_0110_11*c_1001_10 - 36*c_1001_10^2 + 5*c_0011_10 - 10*c_0011_11 - 4*c_0011_12 + 13*c_0011_9 + c_0101_0 + 3*c_0101_1 - 33*c_0101_2 + 11*c_0101_3 - 5*c_0101_5 + 22*c_0110_11 + 15*c_1001_10 + 4, c_0101_0*c_0110_11^2 + 2*c_0101_1*c_0101_2 - c_0011_11*c_0101_3 + 2*c_0101_0*c_0101_5 - c_0101_3*c_0101_5 + c_0011_11*c_0110_11 - 2*c_0011_11*c_1001_10 - c_0101_2*c_1001_10 - c_0110_11*c_1001_10 - 2*c_0011_11 + 2*c_0011_12 + 2*c_0101_0 + c_0101_1 - 4*c_0101_2 - 2*c_0101_5 - 2*c_0110_11 + 3*c_1001_10 - 2, c_0101_1*c_0110_11^2 - c_0011_11*c_0101_2 + 6*c_0101_1*c_0101_2 - 4*c_0011_11*c_0101_3 + 5*c_0101_0*c_0101_5 - 2*c_0101_2*c_0101_5 - 3*c_0101_3*c_0101_5 + 3*c_0011_11*c_0110_11 - c_0101_1*c_0110_11 - 2*c_0110_11^2 - 4*c_0011_11*c_1001_10 - c_0101_2*c_1001_10 - c_0101_3*c_1001_10 - 3*c_1001_10^2 - 5*c_0011_11 + c_0011_12 + 5*c_0101_0 + c_0101_1 - 12*c_0101_2 + 4*c_0101_3 - 5*c_0101_5 - 4*c_0110_11 + 11*c_1001_10 - 3, c_0101_2*c_0110_11^2 + c_0011_11*c_0101_2 - 5*c_0101_1*c_0101_2 + 4*c_0011_11*c_0101_3 + c_0101_3^2 - 5*c_0101_0*c_0101_5 - c_0101_1*c_0101_5 + c_0101_2*c_0101_5 + 4*c_0101_3*c_0101_5 - 2*c_0011_11*c_0110_11 - c_0101_2*c_0110_11 + c_0101_3*c_0110_11 + c_0110_11^2 + 3*c_0011_11*c_1001_10 - c_0101_0*c_1001_10 + c_0101_2*c_1001_10 + 3*c_0101_3*c_1001_10 + 4*c_1001_10^2 + 4*c_0011_11 - 2*c_0011_12 - 4*c_0101_0 - c_0101_1 + 10*c_0101_2 - 2*c_0101_3 + 3*c_0101_5 + 4*c_0110_11 - 9*c_1001_10 + 1, c_0101_3*c_0110_11^2 + c_0101_3*c_1001_10^2 + 8*c_0110_11*c_1001_10^2 + 3*c_1001_10^3 - 4*c_0011_11*c_0101_2 + 10*c_0101_1*c_0101_2 - 4*c_0011_10*c_0101_3 + 8*c_0011_11*c_0101_3 - 3*c_0011_12*c_0101_3 - 3*c_0101_3^2 + 2*c_0101_0*c_0101_5 + 3*c_0101_1*c_0101_5 - 12*c_0101_2*c_0101_5 - 16*c_0101_5^2 + 3*c_0011_10*c_0110_11 - 2*c_0011_9*c_0110_11 - 8*c_0101_1*c_0110_11 + 15*c_0101_3*c_0110_11 + 16*c_0101_5*c_0110_11 - 10*c_0110_11^2 - 4*c_0011_10*c_1001_10 - 7*c_0011_11*c_1001_10 - c_0011_12*c_1001_10 + 8*c_0011_9*c_1001_10 + 12*c_0101_0*c_1001_10 - 4*c_0101_2*c_1001_10 - 33*c_0101_3*c_1001_10 + 16*c_0110_11*c_1001_10 - 31*c_1001_10^2 + 4*c_0011_10 - 8*c_0011_11 - 3*c_0011_12 + 12*c_0011_9 - 2*c_0101_0 + 4*c_0101_1 - 25*c_0101_2 + 7*c_0101_3 - 5*c_0101_5 + 24*c_0110_11 + 7*c_1001_10, c_0101_5*c_0110_11^2 - 4*c_0110_11*c_1001_10^2 - c_1001_10^3 + 2*c_0011_11*c_0101_2 - 3*c_0101_1*c_0101_2 + 3*c_0011_10*c_0101_3 - 6*c_0011_11*c_0101_3 + 3*c_0011_12*c_0101_3 + 2*c_0101_3^2 + c_0011_12*c_0101_5 - 2*c_0101_1*c_0101_5 + 5*c_0101_2*c_0101_5 - c_0101_3*c_0101_5 + 8*c_0101_5^2 - c_0011_10*c_0110_11 + c_0011_11*c_0110_11 + 2*c_0011_9*c_0110_11 + 4*c_0101_1*c_0110_11 - 8*c_0101_3*c_0110_11 - 9*c_0101_5*c_0110_11 + 5*c_0110_11^2 + 4*c_0011_10*c_1001_10 + 2*c_0011_11*c_1001_10 + 2*c_0011_12*c_1001_10 - 3*c_0011_9*c_1001_10 - 8*c_0101_0*c_1001_10 + 2*c_0101_2*c_1001_10 + 18*c_0101_3*c_1001_10 - 8*c_0110_11*c_1001_10 + 16*c_1001_10^2 - 2*c_0011_10 + 3*c_0011_11 + c_0011_12 - 6*c_0011_9 + 3*c_0101_0 - 2*c_0101_1 + 9*c_0101_2 - 2*c_0101_3 - 14*c_0110_11 - c_1001_10 - 2, c_0110_11^3 + c_0101_3*c_1001_10^2 + 8*c_0110_11*c_1001_10^2 + 3*c_1001_10^3 - c_0011_9*c_0101_0 - 4*c_0011_11*c_0101_2 + 13*c_0101_1*c_0101_2 - 3*c_0011_10*c_0101_3 + 6*c_0011_11*c_0101_3 - 4*c_0011_12*c_0101_3 - 5*c_0101_3^2 + 2*c_0011_12*c_0101_5 + 4*c_0101_0*c_0101_5 + 5*c_0101_1*c_0101_5 - 13*c_0101_2*c_0101_5 - c_0101_3*c_0101_5 - 17*c_0101_5^2 + 2*c_0011_10*c_0110_11 + c_0011_11*c_0110_11 - 8*c_0101_1*c_0110_11 + 16*c_0101_3*c_0110_11 + 15*c_0101_5*c_0110_11 - 13*c_0110_11^2 - c_0011_10*c_1001_10 - 10*c_0011_11*c_1001_10 - 2*c_0011_12*c_1001_10 + 10*c_0011_9*c_1001_10 + 13*c_0101_0*c_1001_10 - 4*c_0101_2*c_1001_10 - 38*c_0101_3*c_1001_10 + 16*c_0110_11*c_1001_10 - 36*c_1001_10^2 + 4*c_0011_10 - 9*c_0011_11 - 3*c_0011_12 + 12*c_0011_9 + 3*c_0101_1 - 31*c_0101_2 + 9*c_0101_3 - 5*c_0101_5 + 23*c_0110_11 + 13*c_1001_10 + 4, c_0011_11*c_0101_2*c_1001_10 + c_0011_11*c_0101_2 - c_0101_1*c_0101_2 - c_0101_0*c_0101_5 + c_0101_1*c_0101_5 + c_0101_2*c_0101_5 - c_0101_3*c_0110_11 + c_0011_11*c_1001_10 - c_0101_0*c_1001_10 + c_0101_2*c_1001_10 - c_0101_1 + 3*c_0101_2 - 2*c_0101_3 - 3*c_1001_10 + 2, c_0011_11*c_0101_3*c_1001_10 - 5*c_0110_11*c_1001_10^2 + c_0011_11*c_0101_2 - 7*c_0101_1*c_0101_2 + c_0011_10*c_0101_3 - 2*c_0011_11*c_0101_3 + 3*c_0101_3^2 - 4*c_0101_0*c_0101_5 - 2*c_0101_1*c_0101_5 + 4*c_0101_2*c_0101_5 + 3*c_0101_3*c_0101_5 + 8*c_0101_5^2 - 3*c_0011_11*c_0110_11 + 3*c_0101_1*c_0110_11 - 8*c_0101_3*c_0110_11 - 8*c_0101_5*c_0110_11 + 8*c_0110_11^2 + 6*c_0011_11*c_1001_10 - 5*c_0011_9*c_1001_10 - 4*c_0101_0*c_1001_10 + c_0101_2*c_1001_10 + 17*c_0101_3*c_1001_10 - 8*c_0110_11*c_1001_10 + 17*c_1001_10^2 - 2*c_0011_10 + 5*c_0011_11 - 6*c_0011_9 - 3*c_0101_0 - c_0101_1 + 15*c_0101_2 + 3*c_0101_5 - 10*c_0110_11 - 7*c_1001_10 - 1, c_0101_3^2*c_1001_10 + 3*c_0101_3*c_1001_10^2 + 4*c_0110_11*c_1001_10^2 + 3*c_1001_10^3 - 2*c_0011_11*c_0101_2 + 9*c_0101_1*c_0101_2 - c_0011_10*c_0101_3 + 2*c_0011_11*c_0101_3 - c_0011_12*c_0101_3 - 2*c_0101_3^2 + 5*c_0101_0*c_0101_5 + 2*c_0101_1*c_0101_5 - 7*c_0101_2*c_0101_5 - c_0101_3*c_0101_5 - 8*c_0101_5^2 + c_0011_10*c_0110_11 + 3*c_0011_11*c_0110_11 - 4*c_0101_1*c_0110_11 + 8*c_0101_3*c_0110_11 + 8*c_0101_5*c_0110_11 - 7*c_0110_11^2 - 6*c_0011_11*c_1001_10 + 5*c_0011_9*c_1001_10 + 4*c_0101_0*c_1001_10 - 2*c_0101_2*c_1001_10 - 17*c_0101_3*c_1001_10 + 8*c_0110_11*c_1001_10 - 17*c_1001_10^2 + 2*c_0011_10 - 6*c_0011_11 - c_0011_12 + 6*c_0011_9 + 4*c_0101_0 + c_0101_1 - 19*c_0101_2 + 3*c_0101_3 - 4*c_0101_5 + 10*c_0110_11 + 7*c_1001_10 + 1, c_0011_10*c_0110_11*c_1001_10 - 4*c_0110_11*c_1001_10^2 - c_1001_10^3 + c_0011_10*c_0011_9 + 2*c_0011_11*c_0101_2 - 7*c_0101_1*c_0101_2 - 2*c_0011_11*c_0101_3 + 2*c_0101_3^2 - 3*c_0101_0*c_0101_5 - 2*c_0101_1*c_0101_5 + 6*c_0101_2*c_0101_5 + 2*c_0101_3*c_0101_5 + 8*c_0101_5^2 - c_0011_11*c_0110_11 + c_0011_9*c_0110_11 + 4*c_0101_1*c_0110_11 - 8*c_0101_3*c_0110_11 - 8*c_0101_5*c_0110_11 + 5*c_0110_11^2 + 6*c_0011_11*c_1001_10 - 4*c_0011_9*c_1001_10 - 8*c_0101_0*c_1001_10 + 2*c_0101_2*c_1001_10 + 19*c_0101_3*c_1001_10 - 8*c_0110_11*c_1001_10 + 19*c_1001_10^2 - 2*c_0011_10 + 6*c_0011_11 + c_0011_12 - 6*c_0011_9 - 3*c_0101_1 + 17*c_0101_2 - 4*c_0101_3 + 4*c_0101_5 - 10*c_0110_11 - 9*c_1001_10 + 1, c_0011_11*c_0110_11*c_1001_10 - c_0101_1*c_0101_2 - c_0101_0*c_0101_5 + c_0011_10*c_0110_11 + c_0110_11^2 + c_1001_10^2 + c_0011_12 - c_0101_0 + 2*c_0101_2 - c_0101_3 - 2*c_1001_10, c_0011_12*c_0110_11*c_1001_10 + c_0011_12*c_0011_9 - c_0011_12*c_0101_5 - c_0011_9*c_0110_11 - c_0011_10*c_1001_10 - c_0011_12*c_1001_10, c_0011_9*c_0110_11*c_1001_10 + c_0011_9^2 + c_0011_10*c_0101_3 + c_0011_12*c_0101_3 - c_0011_9*c_1001_10, c_0101_0*c_0110_11*c_1001_10 + c_0110_11*c_1001_10^2 + 2*c_0011_11*c_0101_3 - 2*c_0101_5^2 + 2*c_0101_3*c_0110_11 + 2*c_0101_5*c_0110_11 - 2*c_0110_11^2 + c_0011_9*c_1001_10 - 2*c_0101_3*c_1001_10 + 2*c_0110_11*c_1001_10 - 2*c_1001_10^2 + c_0011_10 + 2*c_0011_9 - 2*c_0101_3 + 3*c_0110_11 - 2*c_1001_10, c_0101_2*c_0110_11*c_1001_10 + c_0110_11*c_1001_10^2 - c_0011_9*c_0101_0 + c_0101_1*c_0101_2 + 2*c_0011_11*c_0101_3 + c_0101_0*c_0101_5 - c_0101_1*c_0101_5 - c_0101_2*c_0101_5 - 3*c_0101_5^2 + c_0101_0*c_0110_11 - c_0101_1*c_0110_11 + c_0101_2*c_0110_11 + 3*c_0101_3*c_0110_11 + 3*c_0101_5*c_0110_11 - 3*c_0110_11^2 - 2*c_0011_11*c_1001_10 + c_0011_9*c_1001_10 + c_0101_0*c_1001_10 - 2*c_0101_2*c_1001_10 - 2*c_0101_3*c_1001_10 + c_0110_11*c_1001_10 - 2*c_1001_10^2 - c_0011_11 + c_0011_9 + c_0101_1 - 4*c_0101_2 + 5*c_0110_11 + c_1001_10 - 2, c_0101_3*c_0110_11*c_1001_10 + 3*c_0110_11*c_1001_10^2 + 2*c_0101_1*c_0101_2 + 2*c_0011_11*c_0101_3 - c_0101_3^2 + c_0011_12*c_0101_5 + c_0101_0*c_0101_5 + c_0101_1*c_0101_5 - c_0101_2*c_0101_5 - c_0101_3*c_0101_5 - 4*c_0101_5^2 + c_0011_11*c_0110_11 + c_0011_9*c_0110_11 - c_0101_1*c_0110_11 + 4*c_0101_3*c_0110_11 + 3*c_0101_5*c_0110_11 - 4*c_0110_11^2 + c_0011_10*c_1001_10 - 2*c_0011_11*c_1001_10 + 3*c_0011_9*c_1001_10 + c_0101_0*c_1001_10 - 7*c_0101_3*c_1001_10 + 4*c_0110_11*c_1001_10 - 7*c_1001_10^2 + c_0011_10 - c_0011_11 + 3*c_0011_9 + c_0101_0 - 4*c_0101_2 - 2*c_0101_3 - c_0101_5 + 5*c_0110_11 + 1, c_0110_11^2*c_1001_10 + c_0011_11*c_0101_3 + c_0101_3*c_0101_5 + c_0011_9*c_0110_11 - c_0110_11*c_1001_10, c_0011_11*c_1001_10^2 + 3*c_0110_11*c_1001_10^2 + 2*c_0101_1*c_0101_2 + 2*c_0011_11*c_0101_3 - c_0101_3^2 + c_0101_0*c_0101_5 + c_0101_1*c_0101_5 - c_0101_2*c_0101_5 - c_0101_3*c_0101_5 - 4*c_0101_5^2 + c_0011_11*c_0110_11 - c_0101_1*c_0110_11 + 4*c_0101_3*c_0110_11 + 4*c_0101_5*c_0110_11 - 4*c_0110_11^2 + c_0011_10*c_1001_10 - 2*c_0011_11*c_1001_10 + 3*c_0011_9*c_1001_10 + c_0101_0*c_1001_10 - 7*c_0101_3*c_1001_10 + 4*c_0110_11*c_1001_10 - 7*c_1001_10^2 + c_0011_10 - 2*c_0011_11 + 3*c_0011_9 + c_0101_0 - 4*c_0101_2 - 2*c_0101_3 - c_0101_5 + 5*c_0110_11 + 1, c_0011_12*c_1001_10^2 + c_0101_3*c_1001_10^2 - 4*c_0110_11*c_1001_10^2 - c_0011_10^2 + c_0011_9^2 + 2*c_0011_11*c_0101_2 - 5*c_0101_1*c_0101_2 + c_0011_10*c_0101_3 - 2*c_0011_11*c_0101_3 + c_0011_12*c_0101_3 + 2*c_0101_3^2 - c_0101_0*c_0101_5 - 2*c_0101_1*c_0101_5 + 6*c_0101_2*c_0101_5 + 2*c_0101_3*c_0101_5 + 8*c_0101_5^2 - c_0011_10*c_0110_11 + c_0011_11*c_0110_11 + 4*c_0101_1*c_0110_11 - 8*c_0101_3*c_0110_11 - 8*c_0101_5*c_0110_11 + 3*c_0110_11^2 + 6*c_0011_11*c_1001_10 - 5*c_0011_9*c_1001_10 - 12*c_0101_0*c_1001_10 + 2*c_0101_2*c_1001_10 + 21*c_0101_3*c_1001_10 - 8*c_0110_11*c_1001_10 + 21*c_1001_10^2 - 2*c_0011_10 + 6*c_0011_11 - c_0011_12 - 6*c_0011_9 + 4*c_0101_0 - 5*c_0101_1 + 14*c_0101_2 - 3*c_0101_3 + 4*c_0101_5 - 10*c_0110_11 - 8*c_1001_10 + 3, c_0101_0*c_1001_10^2 + c_0101_1*c_0101_2 + c_0101_0*c_0101_5 + c_0011_11*c_0110_11 - c_0110_11^2 - 2*c_0101_0*c_1001_10 + c_0101_3*c_1001_10 + c_1001_10^2 - c_0011_12 + 2*c_0101_0 - c_0101_1 - c_0101_2 + 1, c_0101_2*c_1001_10^2 + c_0101_1*c_0101_2 + c_0101_0*c_0101_5 - c_0011_12 + c_0101_0 - 3*c_0101_2 + 2*c_0101_3 + 2*c_1001_10, c_0011_10*c_0011_11 - c_0011_9*c_0110_11 + c_0011_12*c_1001_10, c_0011_11^2 + c_0101_1*c_0101_2 + c_0101_0*c_0101_5 - c_0110_11^2 - c_0011_12 + c_0101_0 - 2*c_0101_2 + 2*c_0101_3 + 2*c_1001_10, c_0011_10*c_0011_12 + c_0011_12^2 + c_0011_9^2, c_0011_11*c_0011_12 + c_0011_12*c_0101_5 + c_0011_9*c_0110_11, c_0011_11*c_0011_9 - c_0011_10*c_0110_11 - c_0011_12, c_0011_10*c_0101_0 + c_0011_9*c_0101_0 + 2*c_0101_1*c_0101_2 - 2*c_0011_11*c_0101_3 - c_0101_3^2 + c_0101_0*c_0101_5 + c_0101_1*c_0101_5 - c_0101_2*c_0101_5 - c_0101_3*c_0101_5 + c_0011_11*c_0110_11 - 2*c_0011_11*c_1001_10 + c_0101_0*c_1001_10 - 3*c_0101_3*c_1001_10 - 3*c_1001_10^2 - 2*c_0011_11 + c_0101_0 - 4*c_0101_2 + 2*c_0101_3 - c_0101_5 - 2*c_0110_11 + 4*c_1001_10 + 1, c_0011_11*c_0101_0 + c_0011_11*c_0101_2 - 2*c_0101_1*c_0101_2 + c_0011_11*c_0101_3 + c_0101_3^2 - c_0101_0*c_0101_5 - c_0101_1*c_0101_5 + c_0101_2*c_0101_5 + c_0101_3*c_0101_5 - c_0011_11*c_0110_11 + c_0101_0*c_0110_11 - c_0101_0*c_1001_10 + 3*c_0101_3*c_1001_10 - c_0110_11*c_1001_10 + 3*c_1001_10^2 + 2*c_0011_11 - c_0101_0 + 4*c_0101_2 - 2*c_0101_3 + c_0101_5 + 2*c_0110_11 - 4*c_1001_10 - 1, c_0011_12*c_0101_0 + c_0101_3^2 - c_0101_1*c_0101_5 + 2*c_0101_3*c_1001_10 + c_1001_10^2 + c_0101_1 - c_0101_5 - 3, c_0101_0^2 + c_0101_1 - 1, c_0011_10*c_0101_1 + 2*c_0101_1*c_0101_2 - 2*c_0011_11*c_0101_3 - c_0101_3^2 + c_0101_0*c_0101_5 + c_0101_1*c_0101_5 - c_0101_2*c_0101_5 - c_0101_3*c_0101_5 + c_0011_11*c_0110_11 - 2*c_0011_11*c_1001_10 + c_0101_0*c_1001_10 - 3*c_0101_3*c_1001_10 - 3*c_1001_10^2 - 2*c_0011_10 - 2*c_0011_11 - c_0011_9 + c_0101_0 - 4*c_0101_2 + 2*c_0101_3 - c_0101_5 - 2*c_0110_11 + 4*c_1001_10 + 1, c_0011_11*c_0101_1 + c_0011_11*c_0101_2 - c_0101_1*c_0101_2 - c_0101_0*c_0101_5 + c_0101_1*c_0101_5 + c_0101_2*c_0101_5 - c_0101_0*c_1001_10 + c_0101_2*c_1001_10 - c_0101_1 + 3*c_0101_2 - 2*c_0101_3 + c_0110_11 - 3*c_1001_10 + 2, c_0011_12*c_0101_1 + c_0101_0*c_0101_5 + c_0101_2*c_0101_5 - c_0101_3*c_0101_5 + c_0101_0 - 2*c_0101_3 - c_1001_10, c_0011_9*c_0101_1 - c_0101_3*c_0110_11 + c_0011_11*c_1001_10 + c_0011_10, c_0101_0*c_0101_1 - c_0101_0 - c_0101_2, c_0101_1^2 + c_0101_2*c_1001_10 - 3*c_0101_1 + c_0101_5 + 3, c_0011_10*c_0101_2 + c_0101_3*c_0110_11 - c_0011_11*c_1001_10, c_0011_12*c_0101_2 - c_0101_1*c_0101_2 - c_0101_0*c_0101_5 - c_0101_3*c_0110_11 + c_0110_11^2 + c_0011_11*c_1001_10 - c_0101_0 + 2*c_0101_2 - c_0101_3 - 2*c_1001_10, c_0011_9*c_0101_2 - c_0101_5*c_0110_11 + c_0011_11, c_0101_0*c_0101_2 - c_0101_2*c_1001_10 + c_0101_1 - c_0101_5 - 2, c_0101_2^2 + c_0011_11*c_0101_3 + c_0101_3^2 - 2*c_0101_1*c_0101_5 + c_0101_3*c_0101_5 - c_0011_11*c_0110_11 - 2*c_0101_2*c_1001_10 + 3*c_0101_3*c_1001_10 - c_0110_11*c_1001_10 + 3*c_1001_10^2 - c_1001_10 - 2, c_0011_9*c_0101_3 - c_0011_12*c_0101_5 - c_0011_9*c_0110_11 - c_0011_10*c_1001_10, c_0101_0*c_0101_3 + c_0101_0*c_1001_10 + c_0101_1 - c_0101_5 - 2, c_0101_1*c_0101_3 + c_0101_0*c_0101_5 + c_0101_0 - 2*c_0101_3 - c_1001_10, c_0101_2*c_0101_3 - c_0101_1*c_0101_5 - 1, c_0011_10*c_0101_5 + c_0011_12*c_0101_5 + c_0011_9*c_0110_11 - c_0011_9, c_0011_11*c_0101_5 + c_0101_5^2 + c_0110_11^2 - c_0110_11, c_0011_9*c_0101_5 - c_0011_12*c_0110_11 + c_0011_12, c_0101_1*c_1001_10 - c_0101_2 + c_0101_3, c_0101_5*c_1001_10 + c_0011_12 - c_0101_3, c_0011_0 - 1, c_0011_3 - 1 ] ] IDEAL=DECOMPOSITION=ENDS=HERE FREE=VARIABLES=IN=COMPONENTS=BEGINS=HERE [ [ "c_0011_9" ] ] FREE=VARIABLES=IN=COMPONENTS=ENDS=HERE Status: Finding witnesses for non-zero dimensional ideals... Status: Computing Groebner basis... Time: 0.250 Status: Saturating ideal ( 1 / 13 )... Time: 0.030 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 2 / 13 )... Time: 0.030 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 3 / 13 )... Time: 0.020 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 4 / 13 )... Time: 0.020 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 5 / 13 )... Time: 0.030 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 6 / 13 )... Time: 0.020 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 7 / 13 )... Time: 0.030 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 8 / 13 )... Time: 0.020 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 9 / 13 )... Time: 0.020 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 10 / 13 )... Time: 0.030 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 11 / 13 )... Time: 0.020 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 12 / 13 )... Time: 0.020 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 13 / 13 )... 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.980 ==WITNESSES=FOR=COMPONENTS=BEGINS== ==WITNESSES=BEGINS== ==WITNESS=BEGINS== Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_3, c_0011_9, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_5, c_0110_11, c_1001_10 Inhomogeneous, Dimension 0, Radical, Prime Groebner basis: [ c_0011_0 - 1, c_0011_10 + 221603177822445670177525469128599085169398187206522310586565/12\ 254920379851546940270390187909059399716963934945723909825878*c_1001_10^\ 23 + 586628804856095755747662378900524484365548874731564406945489/61274\ 60189925773470135195093954529699858481967472861954912939*c_1001_10^22 + 674931168608193244542539059438726804678103656379203117053071/2228167341\ 791190352776434579619828981766720715444677074513796*c_1001_10^21 + 628545570016269898959097782403489381825516712565808069785445/2228167341\ 791190352776434579619828981766720715444677074513796*c_1001_10^20 + 20313370944609354425370951231580433158030232380055273792775917/49019681\ 519406187761081560751636237598867855739782895639303512*c_1001_10^19 + 39443377590421904081890695096721804313156751480234973832197333/49019681\ 519406187761081560751636237598867855739782895639303512*c_1001_10^18 - 157471880681916413849278012051577607465145552003558542968087121/4901968\ 1519406187761081560751636237598867855739782895639303512*c_1001_10^17 + 217886528590436578659598912784388602947245231679649438011671425/4901968\ 1519406187761081560751636237598867855739782895639303512*c_1001_10^16 + 65838071007678181977292933851764304539959996175901104203928131/22281673\ 41791190352776434579619828981766720715444677074513796*c_1001_10^15 - 264925928440733612716141439365329676934295877024555059538824343/4901968\ 1519406187761081560751636237598867855739782895639303512*c_1001_10^14 - 2980447772996302392227012279892808263921939640218380899897087061/490196\ 81519406187761081560751636237598867855739782895639303512*c_1001_10^13 + 958962595247071717751684741625642058826220201826414515840659613/4901968\ 1519406187761081560751636237598867855739782895639303512*c_1001_10^12 + 4588897795277181778572463738744290941984291743799095725001363797/490196\ 81519406187761081560751636237598867855739782895639303512*c_1001_10^11 + 873101160730732681361439108037574628682928689465873879746966537/4901968\ 1519406187761081560751636237598867855739782895639303512*c_1001_10^10 - 113005645665927631110255120364705031687217504037891960119773327/4456334\ 683582380705552869159239657963533441430889354149027592*c_1001_10^9 - 670512098216860189214250822834006240999891609114561578187964383/2450984\ 0759703093880540780375818118799433927869891447819651756*c_1001_10^8 - 1555580272929291733283905852477030085343005661666278862201238309/245098\ 40759703093880540780375818118799433927869891447819651756*c_1001_10^7 - 2072467431500396320148550372331538684950832821238523960686425223/490196\ 81519406187761081560751636237598867855739782895639303512*c_1001_10^6 + 1830234874922881226167341769420647325631783695197516971074825191/490196\ 81519406187761081560751636237598867855739782895639303512*c_1001_10^5 + 3177952359891386842928588820268712113217677016117999238380843875/490196\ 81519406187761081560751636237598867855739782895639303512*c_1001_10^4 + 2213055999440529334394935277838242501625765025351260058918822313/490196\ 81519406187761081560751636237598867855739782895639303512*c_1001_10^3 + 688990766247835207574838196012199959002404476719270503958848405/2450984\ 0759703093880540780375818118799433927869891447819651756*c_1001_10^2 + 85175995311201737335857624720431740454071642115694310222915731/61274601\ 89925773470135195093954529699858481967472861954912939*c_1001_10 + 10727445983877476184254823014609609034750190885995116611232878/61274601\ 89925773470135195093954529699858481967472861954912939, c_0011_11 - 29486637246706839885293687100304511318773465464482275879933/612\ 7460189925773470135195093954529699858481967472861954912939*c_1001_10^23 - 138645499645574078556839735704578853921343438606423021489088/61274601\ 89925773470135195093954529699858481967472861954912939*c_1001_10^22 - 73262076807839627661463259797497639503488046747585550099695/11140836708\ 95595176388217289809914490883360357722338537256898*c_1001_10^21 - 32463848780063085256119404773641432483054169275840461737327/11140836708\ 95595176388217289809914490883360357722338537256898*c_1001_10^20 - 1753613771678273045892596866303145358552218601670575540233401/245098407\ 59703093880540780375818118799433927869891447819651756*c_1001_10^19 - 3824454587898659004805327802494145329524313572517385491133683/245098407\ 59703093880540780375818118799433927869891447819651756*c_1001_10^18 + 24106841187284481407963555576592175975672594387616418046602243/24509840\ 759703093880540780375818118799433927869891447819651756*c_1001_10^17 - 41811095176148060585152961223043281265062223433341321228017951/24509840\ 759703093880540780375818118799433927869891447819651756*c_1001_10^16 - 3970480457192854254330618733968069094108705114525648795537872/557041835\ 447797588194108644904957245441680178861169268628449*c_1001_10^15 + 151413300849927976521068654694497718896351938025051114268593243/2450984\ 0759703093880540780375818118799433927869891447819651756*c_1001_10^14 + 356495832287489264295577578075518914588844019093832967902366043/2450984\ 0759703093880540780375818118799433927869891447819651756*c_1001_10^13 - 371796804524072998520577579449959148826319647263967120894339947/2450984\ 0759703093880540780375818118799433927869891447819651756*c_1001_10^12 - 466384266583886604271480388879243210527281441093822548495768715/2450984\ 0759703093880540780375818118799433927869891447819651756*c_1001_10^11 + 237996463873712822167982436358370677936554395425438911434921701/2450984\ 0759703093880540780375818118799433927869891447819651756*c_1001_10^10 + 9476631823720798607152486976823584080988201098772123604235505/222816734\ 1791190352776434579619828981766720715444677074513796*c_1001_10^9 + 29921030773515950556127305472366326169744676253072310129226976/61274601\ 89925773470135195093954529699858481967472861954912939*c_1001_10^8 + 197352739981895524342958299897167743883140875007544409019941147/1225492\ 0379851546940270390187909059399716963934945723909825878*c_1001_10^7 - 16213737996101142187740449448621713169716036121025957865186789/24509840\ 759703093880540780375818118799433927869891447819651756*c_1001_10^6 - 368657529399397541256149556025160498563921870388832712507972297/2450984\ 0759703093880540780375818118799433927869891447819651756*c_1001_10^5 - 262181906161413818295122557323924913731886462159272877337008253/2450984\ 0759703093880540780375818118799433927869891447819651756*c_1001_10^4 - 105896112408603346514163393362480347419713362681929442085458343/2450984\ 0759703093880540780375818118799433927869891447819651756*c_1001_10^3 - 7148103066758336144763866109613591753718805435227353411956368/612746018\ 9925773470135195093954529699858481967472861954912939*c_1001_10^2 + 4150502548507708449307616675939744602853107115585231119153151/612746018\ 9925773470135195093954529699858481967472861954912939*c_1001_10 + 13192181488872983675654452496929203688926790922873550253715481/61274601\ 89925773470135195093954529699858481967472861954912939, c_0011_12 + 246795030375454328662517657301630767943573651829950547689260/61\ 27460189925773470135195093954529699858481967472861954912939*c_1001_10^2\ 3 + 1398160250458308879569803712663295607445664402426378797036462/61274\ 60189925773470135195093954529699858481967472861954912939*c_1001_10^22 + 416983062217158503931177583982348996794008088471917443661928/5570418354\ 47797588194108644904957245441680178861169268628449*c_1001_10^21 + 475987770121253535600945346158679388697434105658097633849767/5570418354\ 47797588194108644904957245441680178861169268628449*c_1001_10^20 + 6664109048392440240309662071213933208072617198503713033849319/612746018\ 9925773470135195093954529699858481967472861954912939*c_1001_10^19 + 25862688387144314247651301430222763406078791673403838268992159/12254920\ 379851546940270390187909059399716963934945723909825878*c_1001_10^18 - 40212119963037235876475790066526745382924546028663048711921054/61274601\ 89925773470135195093954529699858481967472861954912939*c_1001_10^17 + 43317587370541385552534647193805639413938334980987924861730006/61274601\ 89925773470135195093954529699858481967472861954912939*c_1001_10^16 + 39310258824329536925505302247563056869040550232462963164442553/55704183\ 5447797588194108644904957245441680178861169268628449*c_1001_10^15 + 127740673933613364114970521358656102575387346121194595799425325/1225492\ 0379851546940270390187909059399716963934945723909825878*c_1001_10^14 - 1808941576024331830005441634698857747667585083172300788434048463/122549\ 20379851546940270390187909059399716963934945723909825878*c_1001_10^13 + 7395332414772066760282929886299559741987561311655227410719485/612746018\ 9925773470135195093954529699858481967472861954912939*c_1001_10^12 + 1470936006868912259100498384534653922838262133950127607945938395/612746\ 0189925773470135195093954529699858481967472861954912939*c_1001_10^11 + 593906360178916091530495330741375461767911501558946491666847853/6127460\ 189925773470135195093954529699858481967472861954912939*c_1001_10^10 - 33864588380690829149374789880316427217187888218865246906394517/55704183\ 5447797588194108644904957245441680178861169268628449*c_1001_10^9 - 403089621860637835521078917684873566881773625133320970349902195/6127460\ 189925773470135195093954529699858481967472861954912939*c_1001_10^8 - 1970404835865211079473362391577538842512714336896398029202161001/122549\ 20379851546940270390187909059399716963934945723909825878*c_1001_10^7 - 888639642800571978378704398089838408425983600852076632520067635/6127460\ 189925773470135195093954529699858481967472861954912939*c_1001_10^6 + 777996963627640003310298786332132003612862439337151702568268829/1225492\ 0379851546940270390187909059399716963934945723909825878*c_1001_10^5 + 1054435917620444367940365458836533817742360672007105383360992160/612746\ 0189925773470135195093954529699858481967472861954912939*c_1001_10^4 + 863040043742986312434390945226842244596165348140811227390156650/6127460\ 189925773470135195093954529699858481967472861954912939*c_1001_10^3 + 574395929284791806756402972793253051265165607961617677259451052/6127460\ 189925773470135195093954529699858481967472861954912939*c_1001_10^2 + 621434911987264332201466342098074320689989407328761395930278379/1225492\ 0379851546940270390187909059399716963934945723909825878*c_1001_10 + 67560284185335365752161445370334363764662980020216208751440368/61274601\ 89925773470135195093954529699858481967472861954912939, c_0011_3 - 1, c_0011_9 - 1, c_0101_0 - 308542026715619427233309102599501799692794669057380191107907/612\ 7460189925773470135195093954529699858481967472861954912939*c_1001_10^23 - 1728688344006176822620755233334119278763684816258737480942811/6127460\ 189925773470135195093954529699858481967472861954912939*c_1001_10^22 - 1025125006425426035911363880931446098616545569888635979984173/111408367\ 0895595176388217289809914490883360357722338537256898*c_1001_10^21 - 567197678148781377310202886102355783426510752189711894540629/5570418354\ 47797588194108644904957245441680178861169268628449*c_1001_10^20 - 32265505941629613063349071995435797891390432357792844199722817/24509840\ 759703093880540780375818118799433927869891447819651756*c_1001_10^19 - 15641838384671835442449555709114517044581678750233230390253076/61274601\ 89925773470135195093954529699858481967472861954912939*c_1001_10^18 + 102027979823506105240240736740367169468379777271983916994192147/1225492\ 0379851546940270390187909059399716963934945723909825878*c_1001_10^17 - 115217988637729586949864297021758005214071716975683075753623949/1225492\ 0379851546940270390187909059399716963934945723909825878*c_1001_10^16 - 194336912136506000739633436658948453818799490429924828291211017/2228167\ 341791190352776434579619828981766720715444677074513796*c_1001_10^15 - 211798134430401231686017784090031689508624043979244781272876477/2450984\ 0759703093880540780375818118799433927869891447819651756*c_1001_10^14 + 2244162241448671140892187762879962526023433564827709913047510189/122549\ 20379851546940270390187909059399716963934945723909825878*c_1001_10^13 - 107662550110572107942667077709170049958957096855873679499785697/1225492\ 0379851546940270390187909059399716963934945723909825878*c_1001_10^12 - 1825332053201517390133043484919481627310490677417012715005743970/612746\ 0189925773470135195093954529699858481967472861954912939*c_1001_10^11 - 679365037057786203303949818764290350629828103277087414340682461/6127460\ 189925773470135195093954529699858481967472861954912939*c_1001_10^10 + 93429854717998276802205098978145573011791539337579608306030931/11140836\ 70895595176388217289809914490883360357722338537256898*c_1001_10^9 + 1991300493246031132445661161608250867725654963713578443747711911/245098\ 40759703093880540780375818118799433927869891447819651756*c_1001_10^8 + 1168798940765900895590187221594712460944539021650850705629955957/612746\ 0189925773470135195093954529699858481967472861954912939*c_1001_10^7 + 4250411170814812194865341891237034544173643062624507142866180363/245098\ 40759703093880540780375818118799433927869891447819651756*c_1001_10^6 - 1056673743595734336695914933377979113174486986917265678498174855/122549\ 20379851546940270390187909059399716963934945723909825878*c_1001_10^5 - 1304968953869032335028449227168885642867541048428123713267722971/612746\ 0189925773470135195093954529699858481967472861954912939*c_1001_10^4 - 2014948991887720849326158917294999320539758983970537664993200239/122549\ 20379851546940270390187909059399716963934945723909825878*c_1001_10^3 - 2648508666099195167049690262572901483017183970495969184967946667/245098\ 40759703093880540780375818118799433927869891447819651756*c_1001_10^2 - 723700728397354776350082262940875916946493426370028069907196113/1225492\ 0379851546940270390187909059399716963934945723909825878*c_1001_10 - 69628217178982892917222808553712236454535727967001844403277649/61274601\ 89925773470135195093954529699858481967472861954912939, c_0101_1 - 1257607308205363703761996698523148998060725864967564658094149/12\ 254920379851546940270390187909059399716963934945723909825878*c_1001_10^\ 23 - 3555820175025381258957867544821819780694523647369131962835604/6127\ 460189925773470135195093954529699858481967472861954912939*c_1001_10^22 - 4237264699534387942382737072261137829052646563319772684792863/222816734\ 1791190352776434579619828981766720715444677074513796*c_1001_10^21 - 4802929453058924360786255564759552941368767811483817392187639/222816734\ 1791190352776434579619828981766720715444677074513796*c_1001_10^20 - 134191426047187570975777277438268718294654166913539894963658473/4901968\ 1519406187761081560751636237598867855739782895639303512*c_1001_10^19 - 259947916995782659891954760607718848844903667593663332048036387/4901968\ 1519406187761081560751636237598867855739782895639303512*c_1001_10^18 + 822440661264612296765183045656174669962157301928988565245596639/4901968\ 1519406187761081560751636237598867855739782895639303512*c_1001_10^17 - 889270658877267058276190862943927956721713947937373417954727783/4901968\ 1519406187761081560751636237598867855739782895639303512*c_1001_10^16 - 199884286373961325105621989388613884920448115902959793695840261/1114083\ 670895595176388217289809914490883360357722338537256898*c_1001_10^15 - 1259482951478871072068676093353037423552644519096489298081430673/490196\ 81519406187761081560751636237598867855739782895639303512*c_1001_10^14 + 18499825643083204274514369877456401150368807363733465813865579655/49019\ 681519406187761081560751636237598867855739782895639303512*c_1001_10^13 - 59636679469702437631212918113757743141630730754591374576165347/49019681\ 519406187761081560751636237598867855739782895639303512*c_1001_10^12 - 30245744161802991239046882903263863173487541306245767986211005495/49019\ 681519406187761081560751636237598867855739782895639303512*c_1001_10^11 - 12315444760029241039377985283216880991549034754771014468096617891/49019\ 681519406187761081560751636237598867855739782895639303512*c_1001_10^10 + 761129871569051698937164188320577983287581020105664540894920433/4456334\ 683582380705552869159239657963533441430889354149027592*c_1001_10^9 + 1082170620727012918807044931814479952860913870015592522044091202/612746\ 0189925773470135195093954529699858481967472861954912939*c_1001_10^8 + 9763484156143002598149753348113939899374599237114886579928770577/245098\ 40759703093880540780375818118799433927869891447819651756*c_1001_10^7 + 17930488917528715000461241084104020939106438527970979709917612707/49019\ 681519406187761081560751636237598867855739782895639303512*c_1001_10^6 - 8332141927346672121144565442306099345103780766068312013505897749/490196\ 81519406187761081560751636237598867855739782895639303512*c_1001_10^5 - 21882481995040569589160958877699286579648465060255043703576023265/49019\ 681519406187761081560751636237598867855739782895639303512*c_1001_10^4 - 17225916313621736325521743550216448391669161952615705350151859407/49019\ 681519406187761081560751636237598867855739782895639303512*c_1001_10^3 - 2788677817111339366375879718360838466197467094492789279404031117/122549\ 20379851546940270390187909059399716963934945723909825878*c_1001_10^2 - 743624576189422181148808070530343454072325704450801604464766605/6127460\ 189925773470135195093954529699858481967472861954912939*c_1001_10 - 159238631746086462122987031058926637795690993358794478758105297/6127460\ 189925773470135195093954529699858481967472861954912939, c_0101_2 + 647098210616075027536035781652824645356076645690485347168960/612\ 7460189925773470135195093954529699858481967472861954912939*c_1001_10^23 + 3693640166037182756432119947671673711829962709703852427794234/6127460\ 189925773470135195093954529699858481967472861954912939*c_1001_10^22 + 1106358932163446223198843659110594276963320452081136624849582/557041835\ 447797588194108644904957245441680178861169268628449*c_1001_10^21 + 1287215538583596658348328079315493238642506021571393222244539/557041835\ 447797588194108644904957245441680178861169268628449*c_1001_10^20 + 17784422428862288312538177355803294104013701565121460579944722/61274601\ 89925773470135195093954529699858481967472861954912939*c_1001_10^19 + 68595569672778768326345234281895612406610620412959213058214855/12254920\ 379851546940270390187909059399716963934945723909825878*c_1001_10^18 - 104314316030537252859626732709931637643354361354493467929543072/6127460\ 189925773470135195093954529699858481967472861954912939*c_1001_10^17 + 108256865133832517098881010396733095022300808096467047188879653/6127460\ 189925773470135195093954529699858481967472861954912939*c_1001_10^16 + 103704517303239838254523225449826117820244079807671310882359595/5570418\ 35447797588194108644904957245441680178861169268628449*c_1001_10^15 + 430512945046591557790215573745357755584227707384670684680607125/1225492\ 0379851546940270390187909059399716963934945723909825878*c_1001_10^14 - 4783789976522102678187296544708386429397803497309611201440360075/122549\ 20379851546940270390187909059399716963934945723909825878*c_1001_10^13 - 92176485954491009355403310785218128028449968107009493929938147/61274601\ 89925773470135195093954529699858481967472861954912939*c_1001_10^12 + 3923580855423247885753346085075749311347023085295506890557593740/612746\ 0189925773470135195093954529699858481967472861954912939*c_1001_10^11 + 1728549559090803054975585350111212057075264270357034213136403680/612746\ 0189925773470135195093954529699858481967472861954912939*c_1001_10^10 - 92651863114198146478946770010504386656554659827526681962479042/55704183\ 5447797588194108644904957245441680178861169268628449*c_1001_10^9 - 1126380569182046916520161796159855130907429639224179120934497273/612746\ 0189925773470135195093954529699858481967472861954912939*c_1001_10^8 - 5192608820084809606185018381912127113374487805930954995302268301/122549\ 20379851546940270390187909059399716963934945723909825878*c_1001_10^7 - 2431352964858674740315754096134395096569357506485020566588535989/612746\ 0189925773470135195093954529699858481967472861954912939*c_1001_10^6 + 2016995409893633598511696309214475835484535250277952125922427467/122549\ 20379851546940270390187909059399716963934945723909825878*c_1001_10^5 + 2868288644485965587024053521297621841644594206638958600429269015/612746\ 0189925773470135195093954529699858481967472861954912939*c_1001_10^4 + 2338695249756204466115903601452158064669949310333430066335037853/612746\ 0189925773470135195093954529699858481967472861954912939*c_1001_10^3 + 1541158818395334028275717924240247615623851117142090727452481412/612746\ 0189925773470135195093954529699858481967472861954912939*c_1001_10^2 + 1637844239303488924379002167467839889131643216409296533226712335/122549\ 20379851546940270390187909059399716963934945723909825878*c_1001_10 + 178388236170285522298913878239733321571068479825694093116335614/6127460\ 189925773470135195093954529699858481967472861954912939, c_0101_3 + 430096461025365175207913230905197431868422698156923335722117/612\ 7460189925773470135195093954529699858481967472861954912939*c_1001_10^23 + 2455643180651771634424180736527525511602300642915689565509580/6127460\ 189925773470135195093954529699858481967472861954912939*c_1001_10^22 + 1470164320342945367385823354293092529459210147485270300557611/111408367\ 0895595176388217289809914490883360357722338537256898*c_1001_10^21 + 1708504368600210215796286380008197967292619393437866826415443/111408367\ 0895595176388217289809914490883360357722338537256898*c_1001_10^20 + 47054752958183429485285494157986848576067721598790837727263829/24509840\ 759703093880540780375818118799433927869891447819651756*c_1001_10^19 + 91305731746909544212958986656678673768783453634501676669981675/24509840\ 759703093880540780375818118799433927869891447819651756*c_1001_10^18 - 277591706923316180462695698759626204242286493703921592328639529/2450984\ 0759703093880540780375818118799433927869891447819651756*c_1001_10^17 + 286746556216500159027113736372300518345659232123172540369844017/2450984\ 0759703093880540780375818118799433927869891447819651756*c_1001_10^16 + 138140350990013776206406391829453419849457669424037629585377607/1114083\ 670895595176388217289809914490883360357722338537256898*c_1001_10^15 + 563390692011462503553019707199551078679328802674217481071624079/2450984\ 0759703093880540780375818118799433927869891447819651756*c_1001_10^14 - 6389341717217226105190827895607190470579764426295628594053935455/245098\ 40759703093880540780375818118799433927869891447819651756*c_1001_10^13 - 196898346515934810072669541901397788814968664972046420366540227/2450984\ 0759703093880540780375818118799433927869891447819651756*c_1001_10^12 + 10475101288027789316619473848721770330206253181138461116829964977/24509\ 840759703093880540780375818118799433927869891447819651756*c_1001_10^11 + 4484232548642218288051566754169246896011165141274185922652031417/245098\ 40759703093880540780375818118799433927869891447819651756*c_1001_10^10 - 247933405762322999801492955808008645280716657467726333020941811/2228167\ 341791190352776434579619828981766720715444677074513796*c_1001_10^9 - 1453262201617864600370380180798354612762829802014828188893061727/122549\ 20379851546940270390187909059399716963934945723909825878*c_1001_10^8 - 1737141907266695636987931715847557712981586689617440242441973148/612746\ 0189925773470135195093954529699858481967472861954912939*c_1001_10^7 - 6434006778618193356657202367207380841876774481990867479305675711/245098\ 40759703093880540780375818118799433927869891447819651756*c_1001_10^6 + 2731795868274233653628953198806477890173106372291700374757278977/245098\ 40759703093880540780375818118799433927869891447819651756*c_1001_10^5 + 7562230355991616066943241738055932265225219276584194429162422947/245098\ 40759703093880540780375818118799433927869891447819651756*c_1001_10^4 + 6187993019295602764958210797698854207558504491199821756419595649/245098\ 40759703093880540780375818118799433927869891447819651756*c_1001_10^3 + 2048064136217758192806248609002268398280598283925817524355727289/122549\ 20379851546940270390187909059399716963934945723909825878*c_1001_10^2 + 1096118103983193075251770487795859250049488711489071264606525013/122549\ 20379851546940270390187909059399716963934945723909825878*c_1001_10 + 120538299992838791925862030107668467660275090037186118844004760/6127460\ 189925773470135195093954529699858481967472861954912939, c_0101_5 - 575847997907645936670658529753631564082740326271412066223526/612\ 7460189925773470135195093954529699858481967472861954912939*c_1001_10^23 - 3271786556795964773478555604918222720571592911301499609308299/6127460\ 189925773470135195093954529699858481967472861954912939*c_1001_10^22 - 977036456992116267899465712371383378139958222552239689919015/5570418354\ 47797588194108644904957245441680178861169268628449*c_1001_10^21 - 2243041793629601323829824462439763284542507660815624917883875/111408367\ 0895595176388217289809914490883360357722338537256898*c_1001_10^20 - 15561885372369506035700878361762265525396224673126669695218266/61274601\ 89925773470135195093954529699858481967472861954912939*c_1001_10^19 - 120684442722759585960264493916508617456494127131719970632897317/2450984\ 0759703093880540780375818118799433927869891447819651756*c_1001_10^18 + 374148041756963204923308989583093085688697999851384410607865963/2450984\ 0759703093880540780375818118799433927869891447819651756*c_1001_10^17 - 396029506056375516242061925424030531290717367830904249599365423/2450984\ 0759703093880540780375818118799433927869891447819651756*c_1001_10^16 - 367963766013301356505927580763878520124725064130727522691661353/2228167\ 341791190352776434579619828981766720715444677074513796*c_1001_10^15 - 165710764830970970319574535762746843133275275094782213793185382/6127460\ 189925773470135195093954529699858481967472861954912939*c_1001_10^14 + 8506257290355390975703244152584691451374528135557921876297113091/245098\ 40759703093880540780375818118799433927869891447819651756*c_1001_10^13 + 111812360355020759730042632266958266117686553689933198395356153/2450984\ 0759703093880540780375818118799433927869891447819651756*c_1001_10^12 - 13918417522425120513332049123398693726978235647974032028606195869/24509\ 840759703093880540780375818118799433927869891447819651756*c_1001_10^11 - 5827460565590897651964744468249301250095816077890707829136044521/245098\ 40759703093880540780375818118799433927869891447819651756*c_1001_10^10 + 337904596916600820277339518618694364311146624210404896086086193/2228167\ 341791190352776434579619828981766720715444677074513796*c_1001_10^9 + 3962681846470886292892114764521120723135528995715932158649438607/245098\ 40759703093880540780375818118799433927869891447819651756*c_1001_10^8 + 4555703703198992108491177470895453702488276296114021770136300073/122549\ 20379851546940270390187909059399716963934945723909825878*c_1001_10^7 + 2087423026349035104987599025523930542875742342593523817690758177/612746\ 0189925773470135195093954529699858481967472861954912939*c_1001_10^6 - 3680452772505440941051270789735328713811931872426095133342329837/245098\ 40759703093880540780375818118799433927869891447819651756*c_1001_10^5 - 10036534426240820385906036606690746301307655399213267371817533427/24509\ 840759703093880540780375818118799433927869891447819651756*c_1001_10^4 - 8124677888816745525487726034393282867580162489791941227255513035/245098\ 40759703093880540780375818118799433927869891447819651756*c_1001_10^3 - 5271909414580066880121530497962515300960743878493679346045383507/245098\ 40759703093880540780375818118799433927869891447819651756*c_1001_10^2 - 1409878193961485626755898040896300276221521640345780215719514075/122549\ 20379851546940270390187909059399716963934945723909825878*c_1001_10 - 156538434570865449157578361502591525152844731089490918958768467/6127460\ 189925773470135195093954529699858481967472861954912939, c_0110_11 - 442165657246683152638319189769966716707574587176674643023253/12\ 254920379851546940270390187909059399716963934945723909825878*c_1001_10^\ 23 - 1188390598756352478860826143816563053953989289795334966163211/6127\ 460189925773470135195093954529699858481967472861954912939*c_1001_10^22 - 1377901220288328156191643438957394366548897706853622683974639/222816734\ 1791190352776434579619828981766720715444677074513796*c_1001_10^21 - 1347428231143457011346362740898312165916335845548613274655489/222816734\ 1791190352776434579619828981766720715444677074513796*c_1001_10^20 - 41830656103348204061137338165924868438778780535180119410930549/49019681\ 519406187761081560751636237598867855739782895639303512*c_1001_10^19 - 81727128014795354328667951946566918768910012767471964016521833/49019681\ 519406187761081560751636237598867855739782895639303512*c_1001_10^18 + 308070027559235937536279229923579490912668933196550995716809693/4901968\ 1519406187761081560751636237598867855739782895639303512*c_1001_10^17 - 406528536092138153758446390380267865745355590839427457448145077/4901968\ 1519406187761081560751636237598867855739782895639303512*c_1001_10^16 - 133692234552852113348144618656095577660489807782110845274059525/2228167\ 341791190352776434579619828981766720715444677074513796*c_1001_10^15 + 316964605518763992142460656304694438287548737567153545395450991/4901968\ 1519406187761081560751636237598867855739782895639303512*c_1001_10^14 + 6116826059306475958278117885905863532084224969814697045541826145/490196\ 81519406187761081560751636237598867855739782895639303512*c_1001_10^13 - 1558757465534801243108095428396996016287488254725530197716579713/490196\ 81519406187761081560751636237598867855739782895639303512*c_1001_10^12 - 9612509277533105990590001123222097944753091980209996224614765313/490196\ 81519406187761081560751636237598867855739782895639303512*c_1001_10^11 - 2118086440183340474361871249895764745141589460087365217381609221/490196\ 81519406187761081560751636237598867855739782895639303512*c_1001_10^10 + 248110766094133641845431019545044360812438381431083655123714779/4456334\ 683582380705552869159239657963533441430889354149027592*c_1001_10^9 + 1245207758706322835137332278215671757886882913158309440761284209/245098\ 40759703093880540780375818118799433927869891447819651756*c_1001_10^8 + 3120611113477697627721716141608702817010192412161614661674505213/245098\ 40759703093880540780375818118799433927869891447819651756*c_1001_10^7 + 4665915935697198331763759118215373025990557968302946442211433527/490196\ 81519406187761081560751636237598867855739782895639303512*c_1001_10^6 - 3456915371263725951821597149445176200203825177423738450960036659/490196\ 81519406187761081560751636237598867855739782895639303512*c_1001_10^5 - 6514978911855083270685938808723261298669383560078287893669965431/490196\ 81519406187761081560751636237598867855739782895639303512*c_1001_10^4 - 4763490511178032659515361118137227693382050449681437068584162165/490196\ 81519406187761081560751636237598867855739782895639303512*c_1001_10^3 - 1502486156839441324334910096442787550550151987553860667060937879/245098\ 40759703093880540780375818118799433927869891447819651756*c_1001_10^2 - 201216712283391131540099567360011954306848166687408900120265219/6127460\ 189925773470135195093954529699858481967472861954912939*c_1001_10 - 32432636202161001575026869023186713130695326552187724457308558/61274601\ 89925773470135195093954529699858481967472861954912939, c_1001_10^24 + 6*c_1001_10^23 + 41/2*c_1001_10^22 + 55/2*c_1001_10^21 + 137/4*c_1001_10^20 + 245/4*c_1001_10^19 - 581/4*c_1001_10^18 + 485/4*c_1001_10^17 + 3613/2*c_1001_10^16 + 3425/4*c_1001_10^15 - 14237/4*c_1001_10^14 - 5007/4*c_1001_10^13 + 23777/4*c_1001_10^12 + 18093/4*c_1001_10^11 - 2793/4*c_1001_10^10 - 4515/2*c_1001_10^9 - 9035/2*c_1001_10^8 - 19723/4*c_1001_10^7 + 1391/4*c_1001_10^6 + 19471/4*c_1001_10^5 + 19917/4*c_1001_10^4 + 6953/2*c_1001_10^3 + 2005*c_1001_10^2 + 684*c_1001_10 + 92 ] ==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: 654.750 seconds, Total memory usage: 239.69MB