Magma V2.22-2 Sun Aug 9 2020 22:19:28 on zickert [Seed = 4137408496] Type ? for help. Type -D to quit. Loading file "ptolemy_data_ht/12_tetrahedra/L14n24426__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n24426 degenerate_solution 3.66386253 oriented_manifold CS_unknown 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 1 0 1 0 0 1 0 -1 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 2 0 -2 -1 0 1 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.000000000008 0.000000003889 0 3 3 5 0132 0213 0213 0132 1 0 0 1 0 0 0 0 0 0 -1 1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 -2 -1 -1 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.500000000041 0.000000001244 4 0 6 5 3012 0132 0132 2031 1 1 0 1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2 0 2 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.560975609733 0.048780488161 7 1 1 0 0132 0213 0213 0132 1 0 0 1 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 1 -1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.499999999959 -0.000000001244 7 6 0 2 3120 0132 0132 1230 1 0 1 1 0 -1 1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 2 -1 0 0 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.560975609733 0.048780488161 7 2 1 7 2103 1302 0132 0321 1 0 1 0 0 0 0 0 0 0 -1 1 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 0 0 0 0 0 2 -2 0 -2 0 2 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.000000000193 0.000000001707 8 4 9 2 0132 0132 0132 0132 1 1 1 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 -1 1 0 0 0 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.431952662655 0.236686390701 3 5 5 4 0132 0321 2103 3120 1 0 1 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2 0 2 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.000000000193 0.000000001707 6 10 9 11 0132 0132 3012 0132 1 1 1 1 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 1 0 -1 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3.000000010839 1.999999984269 11 8 10 6 1230 1230 3201 0132 1 1 1 1 0 0 -1 1 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 -1 0 0 1 2 0 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.200000006513 1.600000002148 9 8 11 11 2310 0132 2031 2310 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 -1 1 0 0 0 1 -1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.999999999545 1.999999995053 10 9 8 10 3201 3012 0132 1302 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 1 0 -1 1 -2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.000000002560 0.499999999911 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d: { 'c_0011_0' : d['c_0011_0'], 'c_0011_1' : - d['c_0011_0'], 'c_0011_2' : - d['c_0011_0'], 'c_0101_3' : - d['c_0011_0'], 'c_0110_4' : - d['c_0011_0'], 'c_0110_7' : - d['c_0011_0'], 'c_0101_0' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_3' : d['c_0101_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_7' : d['c_0101_0'], 'c_0110_5' : d['c_0011_3'], 'c_0110_0' : d['c_0011_3'], 'c_0101_1' : d['c_0011_3'], 'c_0101_4' : d['c_0011_3'], 'c_0011_3' : d['c_0011_3'], 'c_0011_7' : - d['c_0011_3'], 'c_1100_7' : - d['c_0011_3'], 'c_1100_1' : d['c_0011_5'], 'c_1001_0' : d['c_0011_5'], 'c_1010_2' : d['c_0011_5'], 'c_1010_3' : d['c_0011_5'], 'c_1100_5' : d['c_0011_5'], 'c_0011_5' : d['c_0011_5'], 'c_1001_7' : d['c_0011_5'], 'c_1010_0' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_4' : d['c_1001_2'], 'c_1010_6' : d['c_1001_2'], 'c_0110_2' : d['c_0110_2'], 'c_1010_1' : d['c_0110_2'], 'c_1100_0' : d['c_0110_2'], 'c_1100_3' : d['c_0110_2'], 'c_1100_4' : d['c_0110_2'], 'c_1001_5' : d['c_0110_2'], 'c_1001_1' : d['c_1001_1'], 'c_1001_3' : d['c_1001_1'], 'c_0101_2' : d['c_0101_2'], 'c_1010_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_2'], 'c_1001_6' : d['c_0101_2'], 'c_0101_8' : d['c_0101_2'], 'c_1010_9' : d['c_0101_2'], 'c_1100_2' : - d['c_0011_10'], 'c_1100_6' : - d['c_0011_10'], 'c_1010_5' : d['c_0011_10'], 'c_0011_4' : - d['c_0011_10'], 'c_1010_7' : d['c_0011_10'], 'c_0011_6' : d['c_0011_10'], 'c_0011_8' : - d['c_0011_10'], 'c_1100_9' : - d['c_0011_10'], 'c_0011_10' : d['c_0011_10'], 'c_1100_10' : d['c_0011_11'], 'c_0101_9' : d['c_0011_11'], 'c_1010_11' : - d['c_0011_11'], 'c_0110_10' : - d['c_0011_11'], 'c_0101_6' : d['c_0011_11'], 'c_0110_8' : d['c_0011_11'], 'c_0110_9' : d['c_0011_11'], 'c_0101_11' : d['c_0011_11'], 'c_0011_11' : d['c_0011_11'], 'c_1001_8' : - d['c_0011_9'], 'c_1010_10' : - d['c_0011_9'], 'c_0011_9' : d['c_0011_9'], 'c_1010_8' : - d['c_0011_9'], 'c_1001_10' : - d['c_0011_9'], 'c_1001_11' : - d['c_0011_9'], 'c_0110_11' : d['c_0011_9'], 'c_1100_8' : d['c_0101_10'], 'c_1001_9' : - d['c_0101_10'], 'c_1100_11' : d['c_0101_10'], 'c_0101_10' : d['c_0101_10'], 's_3_10' : - d['1'], 's_2_10' : d['1'], 's_2_9' : d['1'], 's_0_9' : d['1'], 's_3_8' : - d['1'], 's_2_8' : d['1'], 's_1_8' : - d['1'], 's_2_6' : d['1'], 's_0_6' : d['1'], 's_3_5' : d['1'], 's_0_5' : d['1'], 's_1_4' : d['1'], 's_0_4' : - d['1'], 's_0_3' : - d['1'], 's_3_2' : d['1'], 's_2_2' : d['1'], 's_0_2' : d['1'], 's_3_1' : d['1'], 's_2_1' : d['1'], 's_1_1' : d['1'], 's_3_0' : - d['1'], 's_2_0' : - d['1'], 's_1_0' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 's_1_2' : d['1'], 's_3_3' : - d['1'], 's_2_4' : - d['1'], 's_2_3' : d['1'], 's_1_3' : d['1'], 's_2_5' : d['1'], 's_3_4' : d['1'], 's_3_6' : d['1'], 's_1_5' : d['1'], 's_0_7' : - d['1'], 's_3_7' : - d['1'], 's_1_6' : d['1'], 's_2_7' : d['1'], 's_1_7' : d['1'], 's_0_8' : d['1'], 's_3_9' : d['1'], 's_1_10' : - d['1'], 's_1_9' : d['1'], 's_2_11' : - d['1'], 's_1_11' : d['1'], 's_0_10' : d['1'], 's_3_11' : d['1'], 's_0_11' : - d['1']})} PY=EVAL=SECTION=ENDS=HERE Status: Computing Groebner basis... Time: 0.070 Status: Saturating ideal ( 1 / 12 )... Time: 0.050 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 2 / 12 )... Time: 0.150 Status: Recomputing Groebner basis... Time: 2.350 Status: Saturating ideal ( 3 / 12 )... Time: 0.430 Status: Recomputing Groebner basis... Time: 1.040 Status: Saturating ideal ( 4 / 12 )... Time: 0.140 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 5 / 12 )... Time: 0.130 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 6 / 12 )... Time: 0.200 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 7 / 12 )... Time: 0.140 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 8 / 12 )... Time: 0.240 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 9 / 12 )... Time: 0.140 Status: Recomputing Groebner basis... Time: 0.070 Status: Saturating ideal ( 10 / 12 )... Time: 0.060 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 11 / 12 )... Time: 0.060 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 12 / 12 )... Time: 0.070 Status: Recomputing Groebner basis... Time: 0.040 Status: Dimension of ideal: 1 [ 12 ] Status: Computing RadicalDecomposition Time: 0.170 Status: Number of components: 1 DECOMPOSITION=TYPE: RadicalDecomposition IDEAL=DECOMPOSITION=TIME: 5.780 IDEAL=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Graded Reverse Lexicographical Variables: c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0011_5, c_0011_9, c_0101_0, c_0101_10, c_0101_2, c_0110_2, c_1001_1, c_1001_2 Inhomogeneous, Dimension 1, Radical, Prime Groebner basis: [ c_0011_5*c_1001_1^4 + 8*c_0011_11*c_1001_1*c_1001_2^3 - 2*c_0011_9*c_1001_1*c_1001_2^3 - 13*c_0101_2*c_1001_1*c_1001_2^3 - 8*c_0110_2*c_1001_1*c_1001_2^3 + 13*c_1001_1^2*c_1001_2^3 + 10*c_0011_10*c_1001_2^4 + 16*c_0011_11*c_1001_2^4 - 15*c_0011_3*c_1001_2^4 + 6*c_0011_5*c_1001_2^4 - 2*c_0011_9*c_1001_2^4 - 6*c_0101_10*c_1001_2^4 + 7*c_0101_2*c_1001_2^4 - 24*c_0110_2*c_1001_2^4 - 5*c_1001_1*c_1001_2^4 - 18*c_0011_5*c_1001_1^3 - 4*c_0110_2*c_1001_1^3 + 4*c_1001_1^4 + 53*c_0011_11*c_1001_1*c_1001_2^2 - 6*c_0011_9*c_1001_1*c_1001_2^2 + 19*c_0101_10*c_1001_1*c_1001_2^2 - 98*c_0101_2*c_1001_1*c_1001_2^2 - 117*c_0110_2*c_1001_1*c_1001_2^2 + 68*c_1001_1^2*c_1001_2^2 - 85*c_0011_10*c_1001_2^3 - 3*c_0011_11*c_1001_2^3 - 75*c_0011_3*c_1001_2^3 + 58*c_0011_5*c_1001_2^3 - 21*c_0011_9*c_1001_2^3 + 11*c_0101_10*c_1001_2^3 + 6*c_0101_2*c_1001_2^3 - 66*c_0110_2*c_1001_2^3 - 26*c_1001_1*c_1001_2^3 + 17*c_1001_2^4 - 4*c_0011_3*c_1001_1^2 + 39*c_0011_5*c_1001_1^2 + 8*c_0110_2*c_1001_1^2 - 18*c_1001_1^3 + 333*c_0011_11*c_1001_1*c_1001_2 - 111/2*c_0011_9*c_1001_1*c_1001_2 - 114*c_0101_10*c_1001_1*c_1001_2 - 927/2*c_0101_2*c_1001_1*c_1001_2 - 253/2*c_0110_2*c_1001_1*c_1001_2 + 445/2*c_1001_1^2*c_1001_2 - 325/2*c_0011_10*c_1001_2^2 - 140*c_0011_11*c_1001_2^2 + 46*c_0011_3*c_1001_2^2 - 55/2*c_0011_5*c_1001_2^2 + 85/2*c_0011_9*c_1001_2^2 + 59/2*c_0101_10*c_1001_2^2 + 327/2*c_0101_2*c_1001_2^2 + 121*c_0110_2*c_1001_2^2 - 46*c_1001_1*c_1001_2^2 + 8*c_1001_2^3 + 333/2*c_0101_10*c_0101_2 + 453/2*c_0011_9*c_0110_2 - 329/2*c_0101_2*c_0110_2 - 327*c_0011_10*c_1001_1 + 997*c_0011_11*c_1001_1 + 4*c_0011_3*c_1001_1 - 11*c_0011_5*c_1001_1 + 375/2*c_0011_9*c_1001_1 - 871/2*c_0101_10*c_1001_1 - 125*c_0101_2*c_1001_1 - 16*c_0110_2*c_1001_1 + 2*c_1001_1^2 - 149*c_0011_10*c_1001_2 - 1261/2*c_0011_11*c_1001_2 - 75*c_0011_3*c_1001_2 + 156*c_0011_5*c_1001_2 + 325/2*c_0011_9*c_1001_2 + 265/2*c_0101_10*c_1001_2 + 783*c_0101_2*c_1001_2 - 1031/2*c_0110_2*c_1001_2 - 751/2*c_1001_1*c_1001_2 - 371*c_1001_2^2 + 137/2*c_0011_10 + 417/2*c_0011_11 - 9*c_0011_3 + c_0011_5 - 71*c_0011_9 + 12*c_0101_10 - 19/2*c_0101_2 + 12*c_0110_2 + 11*c_1001_1 + 557*c_1001_2 - 4, c_0110_2*c_1001_1^4 - 13*c_0011_11*c_1001_1*c_1001_2^3 + 3*c_0011_9*c_1001_1*c_1001_2^3 + 26*c_0101_2*c_1001_1*c_1001_2^3 - 19*c_0110_2*c_1001_1*c_1001_2^3 - 26*c_1001_1^2*c_1001_2^3 - 16*c_0011_10*c_1001_2^4 - 26*c_0011_11*c_1001_2^4 + 30*c_0011_3*c_1001_2^4 - 19*c_0011_5*c_1001_2^4 + 3*c_0011_9*c_1001_2^4 + 10*c_0101_10*c_1001_2^4 - 35*c_0101_2*c_1001_2^4 + 50*c_0110_2*c_1001_2^4 + 32*c_1001_1*c_1001_2^4 + 33*c_0011_5*c_1001_1^3 + 5*c_0110_2*c_1001_1^3 - 7*c_1001_1^4 - 66*c_0011_11*c_1001_1*c_1001_2^2 + 57/2*c_0011_9*c_1001_1*c_1001_2^2 - 33*c_0101_10*c_1001_1*c_1001_2^2 + 245/2*c_0101_2*c_1001_1*c_1001_2^2 + 377/2*c_0110_2*c_1001_1*c_1001_2^2 - 205/2*c_1001_1^2*c_1001_2^2 + 167/2*c_0011_10*c_1001_2^3 - 47*c_0011_11*c_1001_2^3 + 110*c_0011_3*c_1001_2^3 - 109/2*c_0011_5*c_1001_2^3 + 83/2*c_0011_9*c_1001_2^3 - 39/2*c_0101_10*c_1001_2^3 - 105/2*c_0101_2*c_1001_2^3 + 176*c_0110_2*c_1001_2^3 + 28*c_1001_1*c_1001_2^3 - 53*c_1001_2^4 + 8*c_0011_3*c_1001_1^2 - 82*c_0011_5*c_1001_1^2 - 9*c_0110_2*c_1001_1^2 + 40*c_1001_1^3 - 1087/2*c_0011_11*c_1001_1*c_1001_2 + 97*c_0011_9*c_1001_1*c_1001_2 + 165*c_0101_10*c_1001_1*c_1001_2 + 774*c_0101_2*c_1001_1*c_1001_2 + 555/2*c_0110_2*c_1001_1*c_1001_2 - 351*c_1001_1^2*c_1001_2 + 317*c_0011_10*c_1001_2^2 + 427/2*c_0011_11*c_1001_2^2 - 39/2*c_0011_3*c_1001_2^2 - 16*c_0011_5*c_1001_2^2 - 107*c_0011_9*c_1001_2^2 - 95/2*c_0101_10*c_1001_2^2 - 256*c_0101_2*c_1001_2^2 - 319/2*c_0110_2*c_1001_2^2 + 74*c_1001_1*c_1001_2^2 + 4*c_1001_2^3 - 559/2*c_0101_10*c_0101_2 - 376*c_0011_9*c_0110_2 + 279*c_0101_2*c_0110_2 + 1227/2*c_0011_10*c_1001_1 - 1755*c_0011_11*c_1001_1 - 5*c_0011_3*c_1001_1 + 25*c_0011_5*c_1001_1 - 323*c_0011_9*c_1001_1 + 1557/2*c_0101_10*c_1001_1 + 220*c_0101_2*c_1001_1 + 30*c_0110_2*c_1001_1 - 9*c_1001_1^2 + 331*c_0011_10*c_1001_2 + 2319/2*c_0011_11*c_1001_2 + 149*c_0011_3*c_1001_2 - 278*c_0011_5*c_1001_2 - 244*c_0011_9*c_1001_2 - 459/2*c_0101_10*c_1001_2 - 2633/2*c_0101_2*c_1001_2 + 849*c_0110_2*c_1001_2 + 615*c_1001_1*c_1001_2 + 1419/2*c_1001_2^2 - 329/2*c_0011_10 - 355*c_0011_11 + 19*c_0011_3 - 3*c_0011_5 + 116*c_0011_9 - 16*c_0101_10 + 135/2*c_0101_2 - 26*c_0110_2 - 21*c_1001_1 - 921*c_1001_2 + 9, c_1001_1^5 - 37*c_0011_11*c_1001_1*c_1001_2^3 - 4*c_0011_9*c_1001_1*c_1001_2^3 - 13*c_0101_10*c_1001_1*c_1001_2^3 - 25*c_0101_2*c_1001_1*c_1001_2^3 + 26*c_0110_2*c_1001_1*c_1001_2^3 - 4*c_1001_1^2*c_1001_2^3 - 42*c_0011_11*c_1001_2^4 + 88*c_0011_3*c_1001_2^4 - 80*c_0011_5*c_1001_2^4 + 2*c_0011_9*c_1001_2^4 + 38*c_0101_10*c_1001_2^4 - 30*c_0101_2*c_1001_2^4 + 102*c_0110_2*c_1001_2^4 + 61*c_1001_1*c_1001_2^4 + 10*c_1001_2^5 - 78*c_0011_5*c_1001_1^3 - 24*c_0110_2*c_1001_1^3 + 10*c_1001_1^4 - 280*c_0011_11*c_1001_1*c_1001_2^2 - 205*c_0011_9*c_1001_1*c_1001_2^2 + 210*c_0101_10*c_1001_1*c_1001_2^2 + 185*c_0101_2*c_1001_1*c_1001_2^2 - 269*c_0110_2*c_1001_1*c_1001_2^2 - 15*c_1001_1^2*c_1001_2^2 + 247*c_0011_10*c_1001_2^3 + 2*c_0011_11*c_1001_2^3 - 18*c_0011_3*c_1001_2^3 - 179*c_0011_5*c_1001_2^3 - 97*c_0011_9*c_1001_2^3 + 97*c_0101_10*c_1001_2^3 - 185*c_0101_2*c_1001_2^3 + 60*c_0110_2*c_1001_2^3 + 206*c_1001_1*c_1001_2^3 - 16*c_1001_2^4 - 32*c_0011_3*c_1001_1^2 + 202*c_0011_5*c_1001_1^2 + 44*c_0110_2*c_1001_1^2 - 83*c_1001_1^3 - 82*c_0011_11*c_1001_1*c_1001_2 - 872*c_0011_9*c_1001_1*c_1001_2 + 159*c_0101_10*c_1001_1*c_1001_2 - 126*c_0101_2*c_1001_1*c_1001_2 - 558*c_0110_2*c_1001_1*c_1001_2 + 215*c_1001_1^2*c_1001_2 + 1114*c_0011_10*c_1001_2^2 + 619*c_0011_11*c_1001_2^2 + c_0011_3*c_1001_2^2 - 748*c_0011_5*c_1001_2^2 + 527*c_0011_9*c_1001_2^2 - 630*c_0101_10*c_1001_2^2 - 543*c_0101_2*c_1001_2^2 + 337*c_0110_2*c_1001_2^2 + 635*c_1001_1*c_1001_2^2 - 294*c_1001_2^3 - 456*c_0101_10*c_0101_2 + 271*c_0011_9*c_0110_2 + 81*c_0101_2*c_0110_2 - 62*c_0011_10*c_1001_1 + 1274*c_0011_11*c_1001_1 + 28*c_0011_3*c_1001_1 - 63*c_0011_5*c_1001_1 + 73*c_0011_9*c_1001_1 - 288*c_0101_10*c_1001_1 - 734*c_0101_2*c_1001_1 - 84*c_0110_2*c_1001_1 + 7*c_1001_1^2 - 356*c_0011_10*c_1001_2 - 1559*c_0011_11*c_1001_2 - 460*c_0011_3*c_1001_2 + 940*c_0011_5*c_1001_2 + 1317*c_0011_9*c_1001_2 + 257*c_0101_10*c_1001_2 + 1262*c_0101_2*c_1001_2 + 737*c_0110_2*c_1001_2 - 1091*c_1001_1*c_1001_2 - 1128*c_1001_2^2 + 214*c_0011_10 + 193*c_0011_11 - 53*c_0011_3 + 8*c_0011_5 - 436*c_0011_9 + 60*c_0101_10 + 116*c_0101_2 + 69*c_0110_2 + 64*c_1001_1 + 1129*c_1001_2 - 24, c_0011_3*c_1001_1^3 + 1/2*c_0011_5*c_1001_1^3 + 3/2*c_0110_2*c_1001_1^3 + 1/2*c_1001_1^4 + 22*c_0011_11*c_1001_1*c_1001_2^2 - 11/4*c_0011_9*c_1001_1*c_1001_2^2 + 4*c_0101_10*c_1001_1*c_1001_2^2 - 115/4*c_0101_2*c_1001_1*c_1001_2^2 - 99/4*c_0110_2*c_1001_1*c_1001_2^2 + 111/4*c_1001_1^2*c_1001_2^2 + 71/4*c_0011_10*c_1001_2^3 + 89/2*c_0011_11*c_1001_2^3 - 48*c_0011_3*c_1001_2^3 + 123/4*c_0011_5*c_1001_2^3 - 19/4*c_0011_9*c_1001_2^3 - 79/4*c_0101_10*c_1001_2^3 + 73/4*c_0101_2*c_1001_2^3 - 127/2*c_0110_2*c_1001_2^3 - 22*c_1001_1*c_1001_2^3 + 3/2*c_1001_2^4 + c_0011_3*c_1001_1^2 - 3*c_0011_5*c_1001_1^2 - 4*c_0110_2*c_1001_1^2 + 743/4*c_0011_11*c_1001_1*c_1001_2 + 101/4*c_0011_9*c_1001_1*c_1001_2 - 167/2*c_0101_10*c_1001_1*c_1001_2 - 855/4*c_0101_2*c_1001_1*c_1001_2 - 20*c_0110_2*c_1001_1*c_1001_2 + 461/4*c_1001_1^2*c_1001_2 - 509/4*c_0011_10*c_1001_2^2 - 253/4*c_0011_11*c_1001_2^2 + 167/4*c_0011_3*c_1001_2^2 - 71/4*c_0011_5*c_1001_2^2 + 1/4*c_0011_9*c_1001_2^2 + 43*c_0101_10*c_1001_2^2 + 369/4*c_0101_2*c_1001_2^2 - 109/4*c_0110_2*c_1001_2^2 - 25/2*c_1001_1*c_1001_2^2 + 5*c_1001_2^3 + 307/2*c_0101_10*c_0101_2 + 467/4*c_0011_9*c_0110_2 - 511/4*c_0101_2*c_0110_2 - 1105/4*c_0011_10*c_1001_1 + 1061/2*c_0011_11*c_1001_1 - 2*c_0011_3*c_1001_1 + 1/2*c_0011_5*c_1001_1 + 503/4*c_0011_9*c_1001_1 - 547/2*c_0101_10*c_1001_1 + 16*c_0101_2*c_1001_1 + 5/2*c_0110_2*c_1001_1 + 3/2*c_1001_1^2 - 166*c_0011_10*c_1001_2 - 743/2*c_0011_11*c_1001_2 + 15/2*c_0011_3*c_1001_2 - 17*c_0011_5*c_1001_2 - 171/4*c_0011_9*c_1001_2 + 251/2*c_0101_10*c_1001_2 + 1139/4*c_0101_2*c_1001_2 - 2051/4*c_0110_2*c_1001_2 - 387/4*c_1001_1*c_1001_2 - 1049/4*c_1001_2^2 + 53/2*c_0011_10 + 493/4*c_0011_11 + 3/2*c_0011_3 + 8*c_0011_9 - 5*c_0101_10 - 71/2*c_0101_2 - 3/2*c_0110_2 - 5/2*c_1001_1 + 443/2*c_1001_2 + 1/2, c_0110_2*c_1001_1^2*c_1001_2 - 2*c_0011_11*c_1001_1*c_1001_2^2 + 1/2*c_0011_9*c_1001_1*c_1001_2^2 + 7/2*c_0101_2*c_1001_1*c_1001_2^2 + 9/2*c_0110_2*c_1001_1*c_1001_2^2 - 7/2*c_1001_1^2*c_1001_2^2 - 5/2*c_0011_10*c_1001_2^3 - 4*c_0011_11*c_1001_2^3 + 3*c_0011_3*c_1001_2^3 - 1/2*c_0011_5*c_1001_2^3 + 1/2*c_0011_9*c_1001_2^3 + 3/2*c_0101_10*c_1001_2^3 + 1/2*c_0101_2*c_1001_2^3 + 5*c_0110_2*c_1001_2^3 - c_1001_1*c_1001_2^3 - 29/2*c_0011_11*c_1001_1*c_1001_2 + c_0011_9*c_1001_1*c_1001_2 + 8*c_0101_10*c_1001_1*c_1001_2 + 22*c_0101_2*c_1001_1*c_1001_2 + 3/2*c_0110_2*c_1001_1*c_1001_2 - 13*c_1001_1^2*c_1001_2 + 9*c_0011_10*c_1001_2^2 + 25/2*c_0011_11*c_1001_2^2 - 7/2*c_0011_3*c_1001_2^2 + 7*c_0011_5*c_1001_2^2 + c_0011_9*c_1001_2^2 - 15/2*c_0101_10*c_1001_2^2 - 7*c_0101_2*c_1001_2^2 - 3/2*c_0110_2*c_1001_2^2 + 3*c_1001_2^3 - 15/2*c_0101_10*c_0101_2 - 11*c_0011_9*c_0110_2 + 7*c_0101_2*c_0110_2 + 23/2*c_0011_10*c_1001_1 - 46*c_0011_11*c_1001_1 - 7*c_0011_9*c_1001_1 + 37/2*c_0101_10*c_1001_1 + 5*c_0101_2*c_1001_1 + 2*c_0011_10*c_1001_2 + 43/2*c_0011_11*c_1001_2 + c_0011_3*c_1001_2 - 6*c_0011_5*c_1001_2 - 11*c_0011_9*c_1001_2 - 11/2*c_0101_10*c_1001_2 - 89/2*c_0101_2*c_1001_2 + 24*c_0110_2*c_1001_2 + 22*c_1001_1*c_1001_2 + 31/2*c_1001_2^2 - 5/2*c_0011_10 - 8*c_0011_11 + 3*c_0011_9 - 2*c_0101_10 - 3/2*c_0101_2 - 29*c_1001_2, c_1001_1^3*c_1001_2 - c_0011_11*c_1001_1*c_1001_2^2 - c_0011_9*c_1001_1*c_1001_2^2 - 2*c_0101_10*c_1001_1*c_1001_2^2 + 3*c_0101_2*c_1001_1*c_1001_2^2 + 2*c_0110_2*c_1001_1*c_1001_2^2 + 3*c_0011_10*c_1001_2^3 - 4*c_0011_11*c_1001_2^3 + 2*c_0011_3*c_1001_2^3 - 5*c_0011_5*c_1001_2^3 + 2*c_0101_10*c_1001_2^3 + 2*c_0101_2*c_1001_2^3 - 2*c_0110_2*c_1001_2^3 + c_1001_1*c_1001_2^3 - 2*c_1001_2^4 - 23*c_0011_11*c_1001_1*c_1001_2 - 21/2*c_0011_9*c_1001_1*c_1001_2 + 11*c_0101_10*c_1001_1*c_1001_2 + 41/2*c_0101_2*c_1001_1*c_1001_2 + 3/2*c_0110_2*c_1001_1*c_1001_2 - 9/2*c_1001_1^2*c_1001_2 + 43/2*c_0011_10*c_1001_2^2 + 11*c_0011_11*c_1001_2^2 + c_0011_3*c_1001_2^2 - 33/2*c_0011_5*c_1001_2^2 - 1/2*c_0011_9*c_1001_2^2 + 3/2*c_0101_10*c_1001_2^2 + 3/2*c_0101_2*c_1001_2^2 - c_0110_2*c_1001_2^2 + 6*c_1001_1*c_1001_2^2 + 2*c_1001_2^3 - 45/2*c_0101_10*c_0101_2 - 13/2*c_0011_9*c_0110_2 + 31/2*c_0101_2*c_0110_2 + 37*c_0011_10*c_1001_1 - 39*c_0011_11*c_1001_1 - 29/2*c_0011_9*c_1001_1 + 61/2*c_0101_10*c_1001_1 - 8*c_0101_2*c_1001_1 + 24*c_0011_10*c_1001_2 + 77/2*c_0011_11*c_1001_2 - c_0011_3*c_1001_2 + 13*c_0011_5*c_1001_2 + 63/2*c_0011_9*c_1001_2 - 29/2*c_0101_10*c_1001_2 + 14*c_0101_2*c_1001_2 + 127/2*c_0110_2*c_1001_2 - 27/2*c_1001_1*c_1001_2 + 28*c_1001_2^2 - 5/2*c_0011_10 - 25/2*c_0011_11 - 8*c_0011_9 + 3*c_0101_10 + 21/2*c_0101_2 + c_1001_2, c_0101_10*c_0101_2*c_1001_1 + c_0101_10*c_1001_1*c_1001_2 + 4*c_0101_2*c_1001_1*c_1001_2 - 3*c_1001_1^2*c_1001_2 - 4*c_0011_10*c_1001_2^2 - 3*c_0011_11*c_1001_2^2 - 3*c_0011_3*c_1001_2^2 + 4*c_0011_5*c_1001_2^2 - 3*c_1001_1*c_1001_2^2 - 4*c_0101_10*c_0101_2 - 3*c_0011_9*c_0110_2 + 3*c_0101_2*c_0110_2 + 6*c_0011_10*c_1001_1 - 12*c_0011_11*c_1001_1 - 3*c_0011_9*c_1001_1 + 6*c_0101_10*c_1001_1 + 3*c_0011_10*c_1001_2 + 9*c_0011_11*c_1001_2 - 4*c_0101_10*c_1001_2 - 7*c_0101_2*c_1001_2 + 12*c_0110_2*c_1001_2 + 3*c_1001_1*c_1001_2 + 9*c_1001_2^2 - 3*c_0011_11 - 6*c_1001_2, c_0011_9*c_0110_2*c_1001_1 - c_0011_11*c_1001_1*c_1001_2 - 1/2*c_0011_9*c_1001_1*c_1001_2 + 3/2*c_0101_2*c_1001_1*c_1001_2 - 1/2*c_0110_2*c_1001_1*c_1001_2 - 3/2*c_1001_1^2*c_1001_2 - 1/2*c_0011_10*c_1001_2^2 - 2*c_0011_11*c_1001_2^2 + 2*c_0011_3*c_1001_2^2 - 3/2*c_0011_5*c_1001_2^2 - 1/2*c_0011_9*c_1001_2^2 + 3/2*c_0101_10*c_1001_2^2 - 3/2*c_0101_2*c_1001_2^2 + 3*c_0110_2*c_1001_2^2 + 2*c_1001_1*c_1001_2^2 - 5/2*c_0101_10*c_0101_2 - 3/2*c_0011_9*c_0110_2 + 5/2*c_0101_2*c_0110_2 + 9*c_0011_10*c_1001_1 - 7*c_0011_11*c_1001_1 - 3/2*c_0011_9*c_1001_1 + 9/2*c_0101_10*c_1001_1 - 4*c_0101_2*c_1001_1 + 6*c_0011_10*c_1001_2 + 11/2*c_0011_11*c_1001_2 - 3*c_0011_3*c_1001_2 + 4*c_0011_5*c_1001_2 + 9/2*c_0011_9*c_1001_2 - 5/2*c_0101_10*c_1001_2 + 29/2*c_0110_2*c_1001_2 - 3/2*c_1001_1*c_1001_2 + 5*c_1001_2^2 - 3/2*c_0011_10 - 1/2*c_0011_11 - 2*c_0011_9 + 5/2*c_0101_2, c_0101_2*c_0110_2*c_1001_1 - 2*c_0011_11*c_1001_1*c_1001_2 + 1/2*c_0011_9*c_1001_1*c_1001_2 + 7/2*c_0101_2*c_1001_1*c_1001_2 + 9/2*c_0110_2*c_1001_1*c_1001_2 - 7/2*c_1001_1^2*c_1001_2 - 5/2*c_0011_10*c_1001_2^2 - 4*c_0011_11*c_1001_2^2 + 3*c_0011_3*c_1001_2^2 - 1/2*c_0011_5*c_1001_2^2 + 1/2*c_0011_9*c_1001_2^2 + 3/2*c_0101_10*c_1001_2^2 + 1/2*c_0101_2*c_1001_2^2 + 5*c_0110_2*c_1001_2^2 - c_1001_1*c_1001_2^2 - 1/2*c_0101_10*c_0101_2 - 5/2*c_0011_9*c_0110_2 + 5/2*c_0101_2*c_0110_2 + 11*c_0011_10*c_1001_1 - 20*c_0011_11*c_1001_1 - 5/2*c_0011_9*c_1001_1 + 19/2*c_0101_10*c_1001_1 + 11*c_0011_10*c_1001_2 + 39/2*c_0011_11*c_1001_2 - 3/2*c_0011_9*c_1001_2 - 7/2*c_0101_10*c_1001_2 - 9*c_0101_2*c_1001_2 + 23/2*c_0110_2*c_1001_2 + 7/2*c_1001_1*c_1001_2 + 14*c_1001_2^2 - 9/2*c_0011_10 - 5/2*c_0011_11 + 9/2*c_0101_2 - 6*c_1001_2, c_0011_10*c_1001_1^2 + 2*c_0011_11*c_1001_1*c_1001_2 - c_0011_9*c_1001_1*c_1001_2 - 2*c_0101_10*c_1001_1*c_1001_2 + 3*c_0101_2*c_1001_1*c_1001_2 + c_0110_2*c_1001_1*c_1001_2 + 5*c_0011_10*c_1001_2^2 + 2*c_0011_3*c_1001_2^2 - 5*c_0011_5*c_1001_2^2 - 2*c_0110_2*c_1001_2^2 + 4*c_1001_1*c_1001_2^2 - 2*c_1001_2^3 - c_0011_10*c_1001_1 - 2*c_0011_11*c_1001_2 + c_0011_9*c_1001_2 + 2*c_0101_10*c_1001_2 - 3*c_0101_2*c_1001_2 - c_0110_2*c_1001_2 - 4*c_1001_2^2, c_0011_11*c_1001_1^2 + 3*c_0011_11*c_1001_1*c_1001_2 + 1/2*c_0011_9*c_1001_1*c_1001_2 - c_0101_10*c_1001_1*c_1001_2 + 7/2*c_0101_2*c_1001_1*c_1001_2 + 1/2*c_0110_2*c_1001_1*c_1001_2 - 5/2*c_1001_1^2*c_1001_2 + 1/2*c_0011_10*c_1001_2^2 + c_0011_11*c_1001_2^2 - c_0011_3*c_1001_2^2 + 5/2*c_0011_5*c_1001_2^2 + 1/2*c_0011_9*c_1001_2^2 - 3/2*c_0101_10*c_1001_2^2 + 3/2*c_0101_2*c_1001_2^2 - c_0110_2*c_1001_2^2 - 2*c_1001_1*c_1001_2^2 - c_1001_2^3 + 3/2*c_0101_10*c_0101_2 - 1/2*c_0011_9*c_0110_2 - 3/2*c_0101_2*c_0110_2 - 3*c_0011_10*c_1001_1 - 3*c_0011_11*c_1001_1 + 3/2*c_0011_9*c_1001_1 - 3/2*c_0101_10*c_1001_1 + c_0101_2*c_1001_1 - 6*c_0011_10*c_1001_2 - 9/2*c_0011_11*c_1001_2 - c_0011_3*c_1001_2 - c_0011_5*c_1001_2 - 9/2*c_0011_9*c_1001_2 + 5/2*c_0101_10*c_1001_2 - 12*c_0101_2*c_1001_2 - 13/2*c_0110_2*c_1001_2 + 13/2*c_1001_1*c_1001_2 - c_1001_2^2 - 3/2*c_0011_10 + 3/2*c_0011_11 + c_0011_9 - c_0101_10 - 1/2*c_0101_2 - 5*c_1001_2, c_0011_9*c_1001_1^2 - c_0011_11*c_1001_1*c_1001_2 + 5/2*c_0011_9*c_1001_1*c_1001_2 - c_0101_10*c_1001_1*c_1001_2 - 1/2*c_0101_2*c_1001_1*c_1001_2 + 1/2*c_0110_2*c_1001_1*c_1001_2 - 3/2*c_1001_1^2*c_1001_2 - 5/2*c_0011_10*c_1001_2^2 - c_0011_11*c_1001_2^2 - c_0011_3*c_1001_2^2 + 5/2*c_0011_5*c_1001_2^2 + 3/2*c_0011_9*c_1001_2^2 - 1/2*c_0101_10*c_1001_2^2 + 1/2*c_0101_2*c_1001_2^2 + 3*c_0110_2*c_1001_2^2 - 2*c_1001_1*c_1001_2^2 + c_1001_2^3 + 9/2*c_0101_10*c_0101_2 - 3/2*c_0011_9*c_0110_2 - 1/2*c_0101_2*c_0110_2 - 3*c_0011_10*c_1001_1 - 5*c_0011_11*c_1001_1 - 3/2*c_0011_9*c_1001_1 - 1/2*c_0101_10*c_1001_1 + 4*c_0101_2*c_1001_1 + 4*c_0011_10*c_1001_2 + 17/2*c_0011_11*c_1001_2 + 2*c_0011_3*c_1001_2 - 5*c_0011_5*c_1001_2 - 21/2*c_0011_9*c_1001_2 + 3/2*c_0101_10*c_1001_2 - 9*c_0101_2*c_1001_2 - 7/2*c_0110_2*c_1001_2 + 11/2*c_1001_1*c_1001_2 + 2*c_1001_2^2 + 1/2*c_0011_10 - 5/2*c_0011_11 + 4*c_0011_9 + c_0101_10 - 3/2*c_0101_2 - 7*c_1001_2, c_0101_10*c_1001_1^2 + c_0011_11*c_1001_1*c_1001_2 - 1/2*c_0011_9*c_1001_1*c_1001_2 + c_0101_10*c_1001_1*c_1001_2 + 9/2*c_0101_2*c_1001_1*c_1001_2 - 1/2*c_0110_2*c_1001_1*c_1001_2 - 7/2*c_1001_1^2*c_1001_2 - 5/2*c_0011_10*c_1001_2^2 - c_0011_11*c_1001_2^2 - 5*c_0011_3*c_1001_2^2 + 11/2*c_0011_5*c_1001_2^2 - 1/2*c_0011_9*c_1001_2^2 - 1/2*c_0101_10*c_1001_2^2 + 3/2*c_0101_2*c_1001_2^2 - c_0110_2*c_1001_2^2 - 4*c_1001_1*c_1001_2^2 - 7/2*c_0101_10*c_0101_2 - 3/2*c_0011_9*c_0110_2 + 3/2*c_0101_2*c_0110_2 + 5*c_0011_10*c_1001_1 - 8*c_0011_11*c_1001_1 - 3/2*c_0011_9*c_1001_1 + 5/2*c_0101_10*c_1001_1 - 2*c_0101_2*c_1001_1 - 3*c_0011_10*c_1001_2 + 5/2*c_0011_11*c_1001_2 - 3*c_0011_3*c_1001_2 + 4*c_0011_5*c_1001_2 + 5/2*c_0011_9*c_1001_2 - 5/2*c_0101_10*c_1001_2 - 6*c_0101_2*c_1001_2 + 17/2*c_0110_2*c_1001_2 + 5/2*c_1001_1*c_1001_2 + 7*c_1001_2^2 - 3/2*c_0011_10 - 1/2*c_0011_11 - c_0011_9 + 3/2*c_0101_2 - 4*c_1001_2, c_0101_2*c_1001_1^2 - c_0011_9*c_1001_1*c_1001_2 - 2*c_0101_10*c_1001_1*c_1001_2 + 3*c_0101_2*c_1001_1*c_1001_2 + c_0110_2*c_1001_1*c_1001_2 + 4*c_0011_10*c_1001_2^2 - 2*c_0011_11*c_1001_2^2 + 2*c_0011_3*c_1001_2^2 - 5*c_0011_5*c_1001_2^2 + c_0101_10*c_1001_2^2 + c_0101_2*c_1001_2^2 - 2*c_0110_2*c_1001_2^2 + 2*c_1001_1*c_1001_2^2 - 2*c_1001_2^3 - c_0101_10*c_0101_2 - c_0011_9*c_0110_2 + 2*c_0101_2*c_0110_2 + 6*c_0011_10*c_1001_1 - 8*c_0011_11*c_1001_1 - 2*c_0011_9*c_1001_1 + 5*c_0101_10*c_1001_1 - c_0101_2*c_1001_1 + 6*c_0011_10*c_1001_2 + 10*c_0011_11*c_1001_2 + 2*c_0011_9*c_1001_2 + c_0101_2*c_1001_2 + 8*c_0110_2*c_1001_2 - 2*c_1001_1*c_1001_2 + 5*c_1001_2^2 - 2*c_0011_10 - 2*c_0011_11 + c_0101_10 + 3*c_0101_2, c_0101_10*c_0101_2*c_1001_2 + c_0011_11*c_1001_1*c_1001_2 - 1/2*c_0011_9*c_1001_1*c_1001_2 - c_0101_10*c_1001_1*c_1001_2 - 3/2*c_0101_2*c_1001_1*c_1001_2 - 1/2*c_0110_2*c_1001_1*c_1001_2 + 3/2*c_1001_1^2*c_1001_2 + 3/2*c_0011_10*c_1001_2^2 + 2*c_0011_11*c_1001_2^2 + c_0011_3*c_1001_2^2 - 5/2*c_0011_5*c_1001_2^2 - 1/2*c_0011_9*c_1001_2^2 - 1/2*c_0101_10*c_1001_2^2 - 3/2*c_0101_2*c_1001_2^2 - c_0110_2*c_1001_2^2 + 2*c_1001_1*c_1001_2^2 + 3/2*c_0101_10*c_0101_2 + 3/2*c_0011_9*c_0110_2 - 3/2*c_0101_2*c_0110_2 - 4*c_0011_10*c_1001_1 + 7*c_0011_11*c_1001_1 + 3/2*c_0011_9*c_1001_1 - 7/2*c_0101_10*c_1001_1 - 3*c_0011_10*c_1001_2 - 13/2*c_0011_11*c_1001_2 + 1/2*c_0011_9*c_1001_2 + 5/2*c_0101_10*c_1001_2 + 3*c_0101_2*c_1001_2 - 13/2*c_0110_2*c_1001_2 - 3/2*c_1001_1*c_1001_2 - 6*c_1001_2^2 + 1/2*c_0011_10 + 3/2*c_0011_11 - 1/2*c_0101_2 + 3*c_1001_2, c_0011_9*c_0110_2*c_1001_2 + 1/2*c_0011_9*c_1001_1*c_1001_2 + 1/2*c_0101_2*c_1001_1*c_1001_2 - 1/2*c_0110_2*c_1001_1*c_1001_2 - 1/2*c_1001_1^2*c_1001_2 - 1/2*c_0011_10*c_1001_2^2 - 2*c_0011_3*c_1001_2^2 + 3/2*c_0011_5*c_1001_2^2 + 1/2*c_0011_9*c_1001_2^2 - 1/2*c_0101_10*c_1001_2^2 + 1/2*c_0101_2*c_1001_2^2 - c_0110_2*c_1001_2^2 - c_1001_1*c_1001_2^2 - 3/2*c_0101_10*c_0101_2 - 1/2*c_0011_9*c_0110_2 + 1/2*c_0101_2*c_0110_2 - c_0011_11*c_1001_1 - 1/2*c_0011_9*c_1001_1 + 1/2*c_0101_10*c_1001_1 - 2*c_0011_10*c_1001_2 - 1/2*c_0011_11*c_1001_2 + 1/2*c_0011_9*c_1001_2 - 1/2*c_0101_10*c_1001_2 - c_0101_2*c_1001_2 + 3/2*c_0110_2*c_1001_2 + 1/2*c_1001_1*c_1001_2 + c_1001_2^2 + 1/2*c_0011_10 - 1/2*c_0011_11 - 1/2*c_0101_2 - c_1001_2, c_0101_2*c_0110_2*c_1001_2 - c_0110_2*c_1001_1*c_1001_2 - c_0011_10*c_1001_1 + 2*c_0011_11*c_1001_1 - c_0101_10*c_1001_1 - 2*c_0011_11*c_1001_2 - 2*c_1001_2^2 + c_0011_10 - c_0101_2, c_0011_10*c_1001_1*c_1001_2 - 2*c_0101_2*c_1001_1*c_1001_2 + c_1001_1^2*c_1001_2 + c_0011_11*c_1001_2^2 + c_0110_2*c_1001_2^2 + c_1001_2^3 + c_0101_10*c_0101_2 + c_0011_9*c_0110_2 - c_0101_2*c_0110_2 - 2*c_0011_10*c_1001_1 + 4*c_0011_11*c_1001_1 + c_0011_9*c_1001_1 - 2*c_0101_10*c_1001_1 - 2*c_0011_10*c_1001_2 - 3*c_0011_11*c_1001_2 + c_0101_10*c_1001_2 + 3*c_0101_2*c_1001_2 - 4*c_0110_2*c_1001_2 - c_1001_1*c_1001_2 - 2*c_1001_2^2 + c_0011_11 + 2*c_1001_2, c_0011_3*c_1001_1*c_1001_2 - c_0110_2*c_1001_1*c_1001_2 - c_0101_2*c_1001_2^2 + c_1001_1*c_1001_2^2 + 2*c_0011_11*c_1001_1 - c_0101_10*c_1001_1 - c_0101_2*c_1001_1 - 2*c_0011_11*c_1001_2 - c_0011_3*c_1001_2 + c_0110_2*c_1001_2 - 3*c_1001_2^2 + c_0011_10 - c_0101_2, c_0011_5*c_1001_1*c_1001_2 - c_0110_2*c_1001_2^2 + c_0011_11*c_1001_1 - c_0011_10*c_1001_2 - c_0011_5*c_1001_2 + 2*c_0101_2*c_1001_2 + c_1001_2, c_0011_10^2 - c_0011_10*c_1001_1 - c_0110_2*c_1001_2 - c_1001_2^2, c_0011_10*c_0011_11 + c_0011_10*c_1001_2 + c_0101_2*c_1001_2, c_0011_11^2 - c_0101_10*c_0101_2 - c_0011_10*c_1001_1 - 2*c_0011_10*c_1001_2 - 4*c_0011_11*c_1001_2 + 2*c_0101_10*c_1001_2 - c_0110_2*c_1001_2 - c_1001_2^2, c_0011_10*c_0011_3 - c_0101_2*c_0110_2 - c_0011_5*c_1001_2 - c_0101_2*c_1001_2 + c_1001_1*c_1001_2, c_0011_11*c_0011_3 + c_0011_3*c_1001_2 + c_0110_2*c_1001_2 + c_0011_10 - c_0101_2, c_0011_3^2 - c_0011_10 + c_0011_5, c_0011_10*c_0011_5 - c_0011_3*c_1001_2 - c_0011_10, c_0011_11*c_0011_5 + c_0011_5*c_1001_2 + c_0101_2*c_1001_2 - c_1001_1*c_1001_2 + c_1001_2, c_0011_3*c_0011_5 - c_0110_2 - c_1001_2, c_0011_5^2 - c_0011_10 - c_0011_5 + c_1001_1, c_0011_10*c_0011_9 + c_0101_10*c_0101_2 + c_0011_11*c_1001_2 - c_0011_9*c_1001_2, c_0011_11*c_0011_9 - c_0011_10*c_1001_1 - c_0011_10*c_1001_2 - c_0011_11*c_1001_2 - c_0011_9*c_1001_2 + c_0101_10*c_1001_2 - c_0101_2*c_1001_2 - c_0110_2*c_1001_2, c_0011_3*c_0011_9 - c_0011_9*c_0110_2 - 2*c_0011_10*c_1001_1 + c_0011_11*c_1001_1 - c_0011_9*c_1001_1 + 2*c_0101_2*c_1001_1 + 2*c_0011_10*c_1001_2 + 2*c_0011_3*c_1001_2 - 2*c_0011_5*c_1001_2 - c_0011_9*c_1001_2 - 2*c_0110_2*c_1001_2 + c_1001_1*c_1001_2 - 2*c_1001_2^2 + 2*c_0011_10 - c_0011_11 + c_0011_9 - 2*c_0101_2 - c_1001_2, c_0011_5*c_0011_9 + c_0101_10*c_0101_2 - c_0011_10*c_1001_1 + c_0011_11*c_1001_1 - c_0011_9*c_1001_1 - c_0101_10*c_1001_1 + c_0101_2*c_1001_1 + 2*c_0011_10*c_1001_2 + c_0011_11*c_1001_2 + c_0011_3*c_1001_2 - 2*c_0011_5*c_1001_2 - c_0011_9*c_1001_2 - c_0110_2*c_1001_2 + c_1001_1*c_1001_2 - c_1001_2^2 + c_0011_10 - c_0011_11 + c_0011_9 + c_0101_10 - c_0101_2 - c_1001_2, c_0011_9^2 + c_0011_10*c_1001_1 + c_0011_10*c_1001_2 + c_0011_11*c_1001_2 + c_0011_9*c_1001_2 - c_0101_10*c_1001_2 + c_0110_2*c_1001_2 + c_1001_2^2, c_0011_10*c_0101_10 + c_0011_10*c_1001_1 + 2*c_0011_10*c_1001_2 + c_0011_11*c_1001_2 + 2*c_0101_2*c_1001_2 + c_0110_2*c_1001_2, c_0011_11*c_0101_10 - c_0101_10*c_0101_2 - c_0011_10*c_1001_2 - 3*c_0011_11*c_1001_2 + c_0011_9*c_1001_2 + c_0101_10*c_1001_2, c_0011_3*c_0101_10 + c_0101_2*c_0110_2 + 2*c_0011_3*c_1001_2 - c_0011_5*c_1001_2 + 2*c_0110_2*c_1001_2 + 2*c_0011_10 - c_0011_11 - 2*c_0101_2, c_0011_5*c_0101_10 + c_0011_10*c_1001_1 - c_0101_2*c_1001_1 + c_0011_11*c_1001_2 - c_0011_3*c_1001_2 + 2*c_0011_5*c_1001_2 + 2*c_0101_2*c_1001_2 + 2*c_0110_2*c_1001_2 - 2*c_1001_1*c_1001_2 + c_1001_2^2 + c_0101_2 + 2*c_1001_2, c_0011_9*c_0101_10 - c_0011_10*c_1001_1 - c_0011_11*c_1001_2 - c_0011_9*c_1001_2 + c_0101_10*c_1001_2 - c_0110_2*c_1001_2, c_0101_10^2 + c_0011_10*c_1001_1 - c_0011_11*c_1001_2 + c_0011_9*c_1001_2 + c_0110_2*c_1001_2 + c_1001_2^2, c_0011_10*c_0101_2 - c_0011_10*c_1001_1 - c_0110_2*c_1001_2, c_0011_11*c_0101_2 + c_0011_10*c_1001_2 + 2*c_0011_11*c_1001_2 - c_0101_10*c_1001_2, c_0011_3*c_0101_2 - c_0101_2*c_0110_2 - c_0101_2*c_1001_2 + c_1001_1*c_1001_2 - c_1001_2, c_0011_5*c_0101_2 - c_0110_2*c_1001_2 - c_0011_10, c_0011_9*c_0101_2 - c_0011_10*c_1001_2 + c_0011_9*c_1001_2 - c_0101_10*c_1001_2 - c_0101_2*c_1001_2, c_0101_2^2 - c_0011_10*c_1001_1 - c_0011_11*c_1001_2 - c_0110_2*c_1001_2 - c_1001_2^2, c_0011_10*c_0110_2 - c_0101_2*c_0110_2 - c_0101_2*c_1001_2 + c_1001_1*c_1001_2, c_0011_11*c_0110_2 + c_0011_10*c_1001_1 - c_0101_2*c_1001_1 + c_0011_11*c_1001_2 + 2*c_0110_2*c_1001_2 + c_1001_2^2, c_0011_3*c_0110_2 + c_0011_5 - c_1001_1, c_0011_5*c_0110_2 - c_0101_2*c_0110_2 + c_0011_3*c_1001_1 - c_0101_2*c_1001_2 + c_1001_1*c_1001_2 - c_0110_2 - c_1001_2, c_0101_10*c_0110_2 + c_0101_2*c_0110_2 + 2*c_0011_10*c_1001_1 - c_0011_11*c_1001_1 - 2*c_0101_2*c_1001_1 - c_0011_10*c_1001_2 + c_0101_10*c_1001_2 + 4*c_0110_2*c_1001_2 + 2*c_1001_2^2, c_0110_2^2 - c_0011_5*c_1001_1 + c_0110_2*c_1001_2 + c_0011_10 + c_0011_5 - c_1001_1, c_0011_0 - 1, c_0101_0 - 1 ] ] IDEAL=DECOMPOSITION=ENDS=HERE FREE=VARIABLES=IN=COMPONENTS=BEGINS=HERE [ [ "c_1001_2" ] ] FREE=VARIABLES=IN=COMPONENTS=ENDS=HERE Status: Finding witnesses for non-zero dimensional ideals... Status: Computing Groebner basis... Time: 0.030 Status: Saturating ideal ( 1 / 12 )... Time: 0.020 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 2 / 12 )... Time: 0.020 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 3 / 12 )... Time: 0.020 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 4 / 12 )... Time: 0.020 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 5 / 12 )... Time: 0.010 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 6 / 12 )... Time: 0.020 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 7 / 12 )... Time: 0.020 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 8 / 12 )... Time: 0.010 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 9 / 12 )... Time: 0.020 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 10 / 12 )... Time: 0.020 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 11 / 12 )... Time: 0.020 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 12 / 12 )... Time: 0.020 Status: Recomputing Groebner basis... Time: 0.000 Status: Dimension of ideal: 0 [] Status: Testing witness [ 1 ] ... Time: 0.000 Status: Changing to term order lex ... Time: 0.000 Status: Recomputing Groebner basis... Time: 0.000 Status: Confirming is prime... Time: 0.290 ==WITNESSES=FOR=COMPONENTS=BEGINS== ==WITNESSES=BEGINS== ==WITNESS=BEGINS== Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0011_5, c_0011_9, c_0101_0, c_0101_10, c_0101_2, c_0110_2, c_1001_1, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Groebner basis: [ c_0011_0 - 1, c_0011_10 - 7004684766779173568311815185723215505057/5059076124804991394798\ 4929725966280587731382*c_1001_1^15 - 458275442491756542002859766317534763883399/2529538062402495697399246486\ 29831402938656910*c_1001_1^14 - 344669402238058981890453021710933732066\ 9127/505907612480499139479849297259662805877313820*c_1001_1^13 + 4096983213423573726926658393405555733182803/505907612480499139479849297\ 259662805877313820*c_1001_1^12 + 17874205165885879227722279791891322403\ 33758/126476903120124784869962324314915701469328455*c_1001_1^11 - 9839454078608045887772479394846879109899542/126476903120124784869962324\ 314915701469328455*c_1001_1^10 - 37748539641911146605700920867877578548\ 3890929/252953806240249569739924648629831402938656910*c_1001_1^9 + 2009288669937711363258740224603182099305508243/505907612480499139479849\ 297259662805877313820*c_1001_1^8 - 205507004727789388460741717033485675\ 9402094579/505907612480499139479849297259662805877313820*c_1001_1^7 + 514992222710838014430312122496012023988190787/5059076124804991394798492\ 9725966280587731382*c_1001_1^6 - 48907793683364964921544001982272787479\ 848505917/505907612480499139479849297259662805877313820*c_1001_1^5 + 32134538907454768167098033711979780701004728717/10118152249609982789596\ 9859451932561175462764*c_1001_1^4 - 25783387793483788240827323177005837\ 7474137884531/505907612480499139479849297259662805877313820*c_1001_1^3 + 227383071104503237063092168389391816143251388773/5059076124804991394798\ 49297259662805877313820*c_1001_1^2 - 106353184391207667006200273119852425563883556939/5059076124804991394798\ 49297259662805877313820*c_1001_1 + 101855291087635053706208650465073648\ 1425568043/25295380624024956973992464862983140293865691, c_0011_11 + 24084565502960624707043464450352196244289/505907612480499139479\ 84929725966280587731382*c_1001_1^15 + 777184657203478197610986321704877103199376/1264769031201247848699623243\ 14915701469328455*c_1001_1^14 + 281913756448012174910012547002219535206\ 4056/126476903120124784869962324314915701469328455*c_1001_1^13 - 4098317940091671800092234989701637750129068/126476903120124784869962324\ 314915701469328455*c_1001_1^12 - 11416643637673142414088620253188514478\ 414917/252953806240249569739924648629831402938656910*c_1001_1^11 + 35220224775100307873248963158747060056365073/12647690312012478486996232\ 4314915701469328455*c_1001_1^10 + 1287134873509408329339441355047400163\ 931854201/252953806240249569739924648629831402938656910*c_1001_1^9 - 3688919865993574404793818304119695791343318553/252953806240249569739924\ 648629831402938656910*c_1001_1^8 + 405889380938045707224131951285817667\ 5897422307/252953806240249569739924648629831402938656910*c_1001_1^7 - 4620831407935313597399995431579252873549180434/126476903120124784869962\ 324314915701469328455*c_1001_1^6 + 427353487690984285243211230874499268\ 58740068534/126476903120124784869962324314915701469328455*c_1001_1^5 - 145317563744931322674977967611294215495159131017/1264769031201247848699\ 62324314915701469328455*c_1001_1^4 + 243303836446149803622003766037599221295894490012/1264769031201247848699\ 62324314915701469328455*c_1001_1^3 - 225522759067135489175345586790322780788527553352/1264769031201247848699\ 62324314915701469328455*c_1001_1^2 + 112406936408166024196361149666506459990317505676/1264769031201247848699\ 62324314915701469328455*c_1001_1 - 238141417562959423492572423468646391\ 15374044159/126476903120124784869962324314915701469328455, c_0011_3 - 139760175321968173123365197302051852785306/885338321840873494089\ 736270204409910285299185*c_1001_1^15 - 3642956523704192300942087814078385380295311/177067664368174698817947254\ 0408819820570598370*c_1001_1^14 - 1354476081962871820908776662331184542\ 7550133/1770676643681746988179472540408819820570598370*c_1001_1^13 + 17325049519706584149427860259002533824670529/17706766436817469881794725\ 40408819820570598370*c_1001_1^12 + 287518967041920686403951271344837531\ 48982823/1770676643681746988179472540408819820570598370*c_1001_1^11 - 159307104831961853619609050826530354404848293/1770676643681746988179472\ 540408819820570598370*c_1001_1^10 - 30078903384556956521373742672072945\ 92284458289/1770676643681746988179472540408819820570598370*c_1001_1^9 + 4091853916142506882367221488862018475267800092/885338321840873494089736\ 270204409910285299185*c_1001_1^8 - 840103395643980369954295541009120798\ 5895462541/1770676643681746988179472540408819820570598370*c_1001_1^7 + 20537391264276707946671448046923786247131571983/17706766436817469881794\ 72540408819820570598370*c_1001_1^6 - 196068619903672224859243349066084576124074970527/1770676643681746988179\ 472540408819820570598370*c_1001_1^5 + 325108866262049218761677474471363683507562304887/8853383218408734940897\ 36270204409910285299185*c_1001_1^4 - 1049072890799815432189975518457616617118417666109/177067664368174698817\ 9472540408819820570598370*c_1001_1^3 + 462168257839870000716041023979122096787825150898/8853383218408734940897\ 36270204409910285299185*c_1001_1^2 - 213823352334282231722758379519903321284972398973/8853383218408734940897\ 36270204409910285299185*c_1001_1 + 407995678101734220308023027364688794\ 26786546378/885338321840873494089736270204409910285299185, c_0011_5 - 180627508980128723982862760861173777794007/885338321840873494089\ 736270204409910285299185*c_1001_1^15 - 2356740474642413619930237216228038882977534/885338321840873494089736270\ 204409910285299185*c_1001_1^14 - 17583991997353088474912958471353542715\ 698011/1770676643681746988179472540408819820570598370*c_1001_1^13 + 2200080543531443633605886176818103282207860/177067664368174698817947254\ 040881982057059837*c_1001_1^12 + 36921086246672213801169695443347636080\ 563091/1770676643681746988179472540408819820570598370*c_1001_1^11 - 205045422251533967837444396346382421903044663/1770676643681746988179472\ 540408819820570598370*c_1001_1^10 - 38885188463386436951177979244094767\ 5305494494/177067664368174698817947254040881982057059837*c_1001_1^9 + 5258008840353960467016818628684481261719618134/885338321840873494089736\ 270204409910285299185*c_1001_1^8 - 540655417460470799751830034298217517\ 1398444092/885338321840873494089736270204409910285299185*c_1001_1^7 + 13291510128127225575153572438920634486096826369/88533832184087349408973\ 6270204409910285299185*c_1001_1^6 - 25305132055751810716488128385494991\ 1090735236623/1770676643681746988179472540408819820570598370*c_1001_1^5 + 418620961207987153588900425466726695928002535857/88533832184087349408\ 9736270204409910285299185*c_1001_1^4 - 270044344454510686224102590060387752866228264529/3541353287363493976358\ 94508081763964114119674*c_1001_1^3 + 595788631724969526836936814867250028589769357623/8853383218408734940897\ 36270204409910285299185*c_1001_1^2 - 554604806876184324599840469044582211672139334039/1770676643681746988179\ 472540408819820570598370*c_1001_1 + 52857611397267418856161006452176013\ 417949651782/885338321840873494089736270204409910285299185, c_0011_9 + 61978657076095452270361842384167462425592/2529538062402495697399\ 2464862983140293865691*c_1001_1^15 + 3991244805185491817809804717712690877866778/126476903120124784869962324\ 314915701469328455*c_1001_1^14 + 57444025518818445335840275845534969654\ 384181/505907612480499139479849297259662805877313820*c_1001_1^13 - 8805098398365738819789598424689426527598607/505907612480499139479849297\ 25966280587731382*c_1001_1^12 - 124640943924162954792806438314558461230\ 976311/505907612480499139479849297259662805877313820*c_1001_1^11 + 36280101167467287532039802661384367185225453/25295380624024956973992464\ 862983140293865691*c_1001_1^10 + 13242515552152572845973878085582007204\ 69996413/50590761248049913947984929725966280587731382*c_1001_1^9 - 38407679971249199748106714850952763243769300979/50590761248049913947984\ 9297259662805877313820*c_1001_1^8 + 10307629395541753163013394314598351\ 632180853257/126476903120124784869962324314915701469328455*c_1001_1^7 - 94191630443966295390398296625154813395159837161/50590761248049913947984\ 9297259662805877313820*c_1001_1^6 + 88135387337695760452544360289593882\ 6455868626233/505907612480499139479849297259662805877313820*c_1001_1^5 - 1503954546842191823452100117194416560191771816609/252953806240249569739\ 924648629831402938656910*c_1001_1^4 + 2502090708093805548982444206940424557103539475237/252953806240249569739\ 924648629831402938656910*c_1001_1^3 - 2284261260475540732737911500123752500863970365803/252953806240249569739\ 924648629831402938656910*c_1001_1^2 + 1105522874940631579633411158808362906508962784899/252953806240249569739\ 924648629831402938656910*c_1001_1 - 44269590843202947493310482127515531\ 0361007879351/505907612480499139479849297259662805877313820, c_0101_0 - 1, c_0101_10 + 60136733747960352106138916436278439592687/101181522496099827895\ 969859451932561175462764*c_1001_1^15 + 1997083533181891931147587551138328014094527/252953806240249569739924648\ 629831402938656910*c_1001_1^14 + 78102933738960977610067894413514749877\ 11469/252953806240249569739924648629831402938656910*c_1001_1^13 - 14049694508159315556778198528902974671661791/50590761248049913947984929\ 7259662805877313820*c_1001_1^12 - 7907169014487287927571950226105839272\ 311322/126476903120124784869962324314915701469328455*c_1001_1^11 + 162225745576633789995922414228246040546439931/5059076124804991394798492\ 97259662805877313820*c_1001_1^10 + 817428004644881460804755202242739880\ 486848259/126476903120124784869962324314915701469328455*c_1001_1^9 - 3980278678263561578848843963265901021283043901/252953806240249569739924\ 648629831402938656910*c_1001_1^8 + 758457097474991628883436032100959224\ 428897465/50590761248049913947984929725966280587731382*c_1001_1^7 - 5311611525119838098568246890775065522687648976/126476903120124784869962\ 324314915701469328455*c_1001_1^6 + 206210492707583122231018115964317798\ 096418912591/505907612480499139479849297259662805877313820*c_1001_1^5 - 650797063036622149782576502081150006005038657837/5059076124804991394798\ 49297259662805877313820*c_1001_1^4 + 997668327610411195532553766717690464690810431203/5059076124804991394798\ 49297259662805877313820*c_1001_1^3 - 41748230516512664894916747465290574679370870643/25295380624024956973992\ 464862983140293865691*c_1001_1^2 + 731896111269654656947671789780766586\ 09685058655/101181522496099827895969859451932561175462764*c_1001_1 - 16554313148784104744360399947359684317377097231/12647690312012478486996\ 2324314915701469328455, c_0101_2 - 32878776640396981461284238145466268538809/1011815224960998278959\ 69859451932561175462764*c_1001_1^15 - 1071926603717305835903636971429674738064671/252953806240249569739924648\ 629831402938656910*c_1001_1^14 - 79935054114735419315406828146410490682\ 12219/505907612480499139479849297259662805877313820*c_1001_1^13 + 4991237387066521111142054193803582966855649/252953806240249569739924648\ 629831402938656910*c_1001_1^12 + 40907049090727622010134144552898870060\ 32791/126476903120124784869962324314915701469328455*c_1001_1^11 - 93464481200351299136648246363603374702727133/50590761248049913947984929\ 7259662805877313820*c_1001_1^10 - 8840948301206982336578117933666148352\ 50794789/252953806240249569739924648629831402938656910*c_1001_1^9 + 4794685947465047013990314853837707704124047911/505907612480499139479849\ 297259662805877313820*c_1001_1^8 - 100335312560928654700594275544601526\ 6764566629/101181522496099827895969859451932561175462764*c_1001_1^7 + 6111478366226463875942914520813350341100314951/252953806240249569739924\ 648629831402938656910*c_1001_1^6 - 288156292693964899215372065646839359\ 48214147177/126476903120124784869962324314915701469328455*c_1001_1^5 + 191045043925348961936074594747194475299544122593/2529538062402495697399\ 24648629831402938656910*c_1001_1^4 - 155121935259124721219768509377207949775224058976/1264769031201247848699\ 62324314915701469328455*c_1001_1^3 + 111083909610198039900479136869804541745928949259/1011815224960998278959\ 69859451932561175462764*c_1001_1^2 - 13258345197191141133246313987462355503744662265/25295380624024956973992\ 464862983140293865691*c_1001_1 + 13397523032819637274842350891827790440\ 913488368/126476903120124784869962324314915701469328455, c_0110_2 - 11263660126633664497466001352586384093023/1264769031201247848699\ 62324314915701469328455*c_1001_1^15 - 58894188927551349817413639593677398864037/50590761248049913947984929725\ 966280587731382*c_1001_1^14 - 44181872974524542088510121979516187242392\ 1/101181522496099827895969859451932561175462764*c_1001_1^13 + 2665183923053080095053422819067689024268939/505907612480499139479849297\ 259662805877313820*c_1001_1^12 + 22804957807668031980256401041788158104\ 7039/25295380624024956973992464862983140293865691*c_1001_1^11 - 12709411278030570298954238705035730261997769/25295380624024956973992464\ 8629831402938656910*c_1001_1^10 - 2426030925918417875270851832525662779\ 18938017/252953806240249569739924648629831402938656910*c_1001_1^9 + 1299382150289496102574050868910979623292764567/505907612480499139479849\ 297259662805877313820*c_1001_1^8 - 133663293330777116155622743430448775\ 4179417977/505907612480499139479849297259662805877313820*c_1001_1^7 + 331958376578418400427125244126857323488668725/5059076124804991394798492\ 9725966280587731382*c_1001_1^6 - 31482447095249578596462725138157428019\ 306643733/505907612480499139479849297259662805877313820*c_1001_1^5 + 20759559168282662213028798713754722647363054199/10118152249609982789596\ 9859451932561175462764*c_1001_1^4 - 16698952840742482994482551461728737\ 4564605933847/505907612480499139479849297259662805877313820*c_1001_1^3 + 147622400280524135472252921004971785912556142813/5059076124804991394798\ 49297259662805877313820*c_1001_1^2 - 68819115848731133661832132846760929816981852817/50590761248049913947984\ 9297259662805877313820*c_1001_1 + 6861512388717249652454517153879745923\ 746571109/252953806240249569739924648629831402938656910, c_1001_1^16 + 12*c_1001_1^15 + 35*c_1001_1^14 - 112*c_1001_1^13 - 39*c_1001_1^12 + 674*c_1001_1^11 + 10170*c_1001_1^10 - 40387*c_1001_1^9 + 60339*c_1001_1^8 - 104923*c_1001_1^7 + 777609*c_1001_1^6 - 3050882*c_1001_1^5 + 6160981*c_1001_1^4 - 7207842*c_1001_1^3 + 4988393*c_1001_1^2 - 1901877*c_1001_1 + 307897, c_1001_2 - 1 ] ==WITNESS=ENDS== ==WITNESSES=ENDS== ==WITNESSES=FOR=COMPONENTS=ENDS== ==GENUSES=FOR=COMPONENTS=BEGINS== ==GENUS=FOR=COMPONENT=BEGINS== 0 ==GENUS=FOR=COMPONENT=ENDS== ==GENUSES=FOR=COMPONENTS=ENDS== Total time: 53.789 seconds, Total memory usage: 85.81MB