Magma V2.22-2 Sun Aug 9 2020 22:20:04 on zickert [Seed = 659285908] Type ? for help. Type -D to quit. Loading file "ptolemy_data_ht/13_tetrahedra/L14n39323__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n39323 degenerate_solution 6.13813920 oriented_manifold CS_unknown 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 1 0 1 0 0 0 0 0 1 0 0 -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 -1 0 1 -7 0 1 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.000000003104 0.000000003768 0 3 3 5 0132 0213 0213 0132 1 0 0 1 0 0 0 0 -1 0 0 1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 -1 -6 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.499999999990 0.000000000388 6 0 8 7 0132 0132 0132 0132 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.871467067277 0.764542757592 9 1 1 0 0132 0213 0213 0132 1 0 0 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 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.500000000010 -0.000000000388 10 11 0 6 0132 0132 0132 1023 1 0 1 1 0 0 0 0 -1 0 1 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 6 0 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.871467067045 0.764542756805 6 9 1 7 1023 0321 0132 0321 1 0 1 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 6 -6 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.000000000175 0.000000005657 2 5 9 4 0132 1023 1023 1023 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5476315.386142961681 176597556.013081550598 10 5 2 11 2031 0321 0132 1023 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 0 0 0 0 0 0 0 1 0 0 -1 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.871467068939 0.764542757726 11 12 12 2 2031 0132 2103 0132 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 0 0 0 0 0 0 0 0 0 0 0 -1 1 -1 0 1 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.431135518214 0.351577583838 3 10 6 5 0132 0321 1023 0321 1 0 1 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 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.000000000175 0.000000005657 4 12 7 9 0132 0213 1302 0321 1 0 1 1 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 -6 0 6 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.871467069887 0.764542757171 12 4 8 7 3012 0132 1302 1023 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 -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.800000000796 0.400000000653 8 8 10 11 2103 0132 0213 1230 1 1 1 1 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 1 -1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.393075689910 1.136009827038 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d: { 'c_0011_5' : 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_0101_3' : - d['c_0011_0'], 'c_0011_6' : d['c_0011_0'], 'c_0110_9' : - 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_9' : d['c_0101_0'], 'c_1001_6' : d['c_0101_0'], '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_9' : - d['c_0011_3'], 'c_0110_10' : d['c_0011_3'], 'c_1100_1' : d['c_1001_0'], 'c_1001_0' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_3' : d['c_1001_0'], 'c_1100_5' : d['c_1001_0'], 'c_1001_7' : d['c_1001_0'], 'c_0110_7' : d['c_0110_7'], 'c_1001_10' : d['c_0110_7'], 'c_1010_0' : d['c_0110_7'], 'c_1001_2' : d['c_0110_7'], 'c_1001_4' : d['c_0110_7'], 'c_1010_8' : d['c_0110_7'], 'c_1010_11' : d['c_0110_7'], 'c_1001_12' : d['c_0110_7'], 'c_1010_1' : d['c_1001_5'], 'c_1100_0' : d['c_1001_5'], 'c_1100_3' : d['c_1001_5'], 'c_1100_4' : d['c_1001_5'], 'c_1001_5' : d['c_1001_5'], 'c_1100_6' : - d['c_1001_5'], 'c_1100_9' : d['c_1001_5'], 'c_1001_1' : d['c_1001_1'], 'c_1001_3' : d['c_1001_1'], 'c_1010_4' : d['c_0101_2'], 'c_1001_11' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0110_6' : d['c_0101_2'], 'c_0110_8' : d['c_0101_2'], 'c_0110_2' : d['c_0101_6'], 'c_0101_6' : d['c_0101_6'], 'c_0101_7' : d['c_0101_6'], 'c_1001_9' : d['c_0101_6'], 'c_1100_10' : d['c_0101_6'], 'c_0011_4' : - d['c_0011_10'], 'c_0011_10' : d['c_0011_10'], 'c_0011_11' : d['c_0011_10'], 'c_0101_8' : d['c_0011_10'], 'c_1100_2' : - d['c_0011_10'], 'c_1100_8' : - d['c_0011_10'], 'c_1100_7' : - d['c_0011_10'], 'c_1100_11' : d['c_0011_10'], 'c_0101_12' : d['c_0011_10'], 'c_0110_12' : d['c_0011_10'], 'c_0110_5' : - d['c_0011_7'], 'c_0110_4' : - d['c_0011_7'], 'c_0101_10' : - d['c_0011_7'], 'c_1010_6' : - d['c_0011_7'], 'c_0011_7' : d['c_0011_7'], 'c_1010_5' : d['c_0110_11'], 'c_1010_9' : d['c_0110_11'], 'c_1010_7' : d['c_0110_11'], 'c_0110_11' : d['c_0110_11'], 'c_1010_10' : d['c_0110_11'], 'c_1100_12' : d['c_0110_11'], 'c_1001_8' : d['c_0011_12'], 'c_1010_12' : d['c_0011_12'], 'c_0011_8' : - d['c_0011_12'], 'c_0101_11' : d['c_0011_12'], 'c_0011_12' : d['c_0011_12'], 's_0_11' : d['1'], 's_1_10' : - d['1'], 's_1_9' : d['1'], 's_2_8' : d['1'], 's_1_8' : - d['1'], 's_0_8' : d['1'], 's_3_7' : d['1'], 's_0_7' : d['1'], 's_2_6' : d['1'], 's_3_5' : d['1'], 's_1_5' : d['1'], 's_0_5' : - d['1'], 's_3_4' : 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_0_6' : - d['1'], 's_3_8' : - d['1'], 's_2_7' : d['1'], 's_0_9' : d['1'], 's_0_10' : - d['1'], 's_1_11' : d['1'], 's_3_6' : d['1'], 's_1_6' : - d['1'], 's_3_9' : d['1'], 's_1_7' : d['1'], 's_2_9' : d['1'], 's_2_10' : d['1'], 's_3_11' : d['1'], 's_2_11' : d['1'], 's_1_12' : - d['1'], 's_0_12' : d['1'], 's_3_10' : d['1'], 's_2_12' : - d['1'], 's_3_12' : d['1']})} PY=EVAL=SECTION=ENDS=HERE Status: Computing Groebner basis... Time: 0.170 Status: Saturating ideal ( 1 / 13 )... Time: 0.030 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 2 / 13 )... Time: 0.090 Status: Recomputing Groebner basis... Time: 0.250 Status: Saturating ideal ( 3 / 13 )... Time: 0.070 Status: Recomputing Groebner basis... Time: 0.030 Status: Saturating ideal ( 4 / 13 )... Time: 0.030 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.040 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.030 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 9 / 13 )... Time: 0.040 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 10 / 13 )... Time: 0.040 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 11 / 13 )... Time: 0.040 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.030 Status: Recomputing Groebner basis... Time: 0.000 Status: Dimension of ideal: 1 [ 12 ] Status: Computing RadicalDecomposition Time: 0.300 Status: Number of components: 1 DECOMPOSITION=TYPE: RadicalDecomposition IDEAL=DECOMPOSITION=TIME: 1.520 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_12, c_0011_3, c_0011_7, c_0101_0, c_0101_2, c_0101_6, c_0110_11, c_0110_7, c_1001_0, c_1001_1, c_1001_5 Inhomogeneous, Dimension 1, Radical, Prime Groebner basis: [ c_0011_7*c_1001_1^4 - c_0011_10*c_0110_7^2*c_1001_1*c_1001_5 + c_0011_12*c_0110_7^2*c_1001_1*c_1001_5 + c_0011_10*c_0110_7*c_1001_1^2*c_1001_5 - c_0011_12*c_0110_7*c_1001_1^2*c_1001_5 + c_0110_7^2*c_1001_1^2*c_1001_5 + c_0011_10*c_1001_1^3*c_1001_5 - 2*c_0011_12*c_1001_1^3*c_1001_5 - 2*c_1001_1^4*c_1001_5 + 5*c_0011_10*c_0110_7^2*c_1001_1 + 8*c_0011_12*c_0110_7^2*c_1001_1 - 13*c_0011_10*c_0110_7*c_1001_1^2 - 23*c_0011_12*c_0110_7*c_1001_1^2 - 9*c_0110_7^2*c_1001_1^2 + 4*c_0011_10*c_1001_1^3 + 12*c_0011_12*c_1001_1^3 - 3*c_0011_7*c_1001_1^3 + 21*c_0110_7*c_1001_1^3 - 18*c_1001_1^4 + 4*c_0011_10*c_0110_7^2*c_1001_5 - 9*c_0011_12*c_0110_7^2*c_1001_5 - 16*c_0011_10*c_0110_7*c_1001_1*c_1001_5 + 11*c_0011_12*c_0110_7*c_1001_1*c_1001_5 + 21*c_0110_7^2*c_1001_1*c_1001_5 + c_0011_10*c_1001_1^2*c_1001_5 + 8*c_0011_12*c_1001_1^2*c_1001_5 - 65*c_0110_7*c_1001_1^2*c_1001_5 + 3*c_1001_0*c_1001_1^2*c_1001_5 + 42*c_1001_1^3*c_1001_5 - 20*c_0011_3^3 - 17*c_0011_10*c_0110_7^2 - 45*c_0011_12*c_0110_7^2 + 2*c_0011_3^2*c_1001_1 + 48*c_0011_12*c_0011_7*c_1001_1 + 30*c_0011_10*c_0110_7*c_1001_1 + 120*c_0011_12*c_0110_7*c_1001_1 + 42*c_0110_7^2*c_1001_1 + c_0011_10*c_1001_1^2 - 48*c_0011_12*c_1001_1^2 - 5*c_0011_3*c_1001_1^2 - 21*c_0011_7*c_1001_1^2 - 106*c_0110_7*c_1001_1^2 + 118*c_1001_0*c_1001_1^2 + 102*c_1001_1^3 - 9*c_0011_10*c_0110_7*c_1001_5 - 21*c_0011_12*c_0110_7*c_1001_5 - 204*c_0110_7^2*c_1001_5 + 22*c_0011_10*c_1001_1*c_1001_5 + 104*c_0011_12*c_1001_1*c_1001_5 + 277*c_0110_7*c_1001_1*c_1001_5 - 148*c_1001_0*c_1001_1*c_1001_5 - 110*c_1001_1^2*c_1001_5 + 336*c_0110_7*c_1001_5^2 + 73*c_1001_1*c_1001_5^2 - 98*c_0011_12*c_0011_3 - 26*c_0011_3^2 - 312*c_0011_12*c_0011_7 + 369*c_0011_12*c_0110_11 + 59*c_0011_10*c_0110_7 + 118*c_0011_12*c_0110_7 - 420*c_0011_3*c_0110_7 + 11*c_0110_7^2 + 447*c_0011_10*c_1001_0 + 92*c_0011_12*c_1001_0 - 198*c_0011_7*c_1001_0 + 215*c_0110_7*c_1001_0 + 14*c_0011_10*c_1001_1 - 349*c_0011_12*c_1001_1 + 124*c_0011_3*c_1001_1 - 2*c_0011_7*c_1001_1 + 134*c_0110_11*c_1001_1 - 30*c_0110_7*c_1001_1 - 74*c_1001_0*c_1001_1 - 99*c_1001_1^2 - 310*c_0011_10*c_1001_5 + 23*c_0011_12*c_1001_5 - 211*c_0110_7*c_1001_5 + 218*c_1001_0*c_1001_5 + 194*c_1001_1*c_1001_5 - 79*c_1001_5^2 + 265*c_0011_10 - 342*c_0011_12 - 114*c_0011_3 - 173*c_0011_7 + 224*c_0110_11 - 209*c_0110_7 - 20*c_1001_0 + 150*c_1001_1 - 199*c_1001_5 - 246, c_0011_3^4 + c_1001_0*c_1001_1^2*c_1001_5 + 2*c_0011_3^3 + c_0011_10*c_0110_7^2 - c_0011_3^2*c_1001_1 + c_0011_12*c_0011_7*c_1001_1 - 2*c_0011_10*c_0110_7*c_1001_1 - c_0011_12*c_0110_7*c_1001_1 - c_0110_7^2*c_1001_1 + 2*c_0011_12*c_1001_1^2 - 2*c_0011_3*c_1001_1^2 - 2*c_0011_7*c_1001_1^2 + c_0110_7*c_1001_1^2 - 4*c_0011_10*c_0110_7*c_1001_5 + c_0011_12*c_0110_7*c_1001_5 - c_0110_7^2*c_1001_5 + 3*c_0011_10*c_1001_1*c_1001_5 + c_0011_12*c_1001_1*c_1001_5 + c_0110_7*c_1001_1*c_1001_5 + c_1001_0*c_1001_1*c_1001_5 - c_0110_7*c_1001_5^2 - 3*c_1001_1*c_1001_5^2 - 4*c_0011_12*c_0011_3 + c_0011_3^2 + 6*c_0011_12*c_0011_7 - 13*c_0011_12*c_0110_11 + 2*c_0011_12*c_0110_7 + 5*c_0011_3*c_0110_7 + c_0110_7^2 - 8*c_0011_10*c_1001_0 + 7*c_0011_12*c_1001_0 + 9*c_0011_7*c_1001_0 - 16*c_0110_7*c_1001_0 + 14*c_0011_12*c_1001_1 - 2*c_0011_3*c_1001_1 + 4*c_0011_7*c_1001_1 - 9/2*c_0110_11*c_1001_1 + 15/2*c_1001_0*c_1001_1 + 13/2*c_1001_1^2 + 7*c_0011_10*c_1001_5 - 3*c_0011_12*c_1001_5 + 19*c_0110_7*c_1001_5 - 19/2*c_1001_0*c_1001_5 - 21/2*c_1001_1*c_1001_5 - 31/2*c_1001_5^2 - 9*c_0011_10 + 7*c_0011_12 + 23/2*c_0011_3 - 6*c_0011_7 - 11*c_0110_11 + 6*c_0110_7 - 2*c_1001_1 + 10*c_1001_5 + 19/2, c_0011_3^3*c_1001_1 - c_0011_7*c_1001_1^3 + c_0011_10*c_0110_7^2*c_1001_5 - c_0011_12*c_0110_7^2*c_1001_5 - c_0011_10*c_0110_7*c_1001_1*c_1001_5 + c_0011_12*c_0110_7*c_1001_1*c_1001_5 - c_0110_7^2*c_1001_1*c_1001_5 - c_0011_10*c_1001_1^2*c_1001_5 + 2*c_0011_12*c_1001_1^2*c_1001_5 + 2*c_1001_0*c_1001_1^2*c_1001_5 + 2*c_1001_1^3*c_1001_5 - 3*c_0011_10*c_0110_7^2 - 8*c_0011_12*c_0110_7^2 + 2*c_0011_3^2*c_1001_1 + 7*c_0011_12*c_0011_7*c_1001_1 + 9*c_0011_10*c_0110_7*c_1001_1 + 21*c_0011_12*c_0110_7*c_1001_1 + 7*c_0110_7^2*c_1001_1 - 4*c_0011_10*c_1001_1^2 - 8*c_0011_12*c_1001_1^2 - c_0011_7*c_1001_1^2 - 19*c_0110_7*c_1001_1^2 + 20*c_1001_0*c_1001_1^2 + 18*c_1001_1^3 + 4*c_0011_10*c_0110_7*c_1001_5 - 32*c_0110_7^2*c_1001_5 + c_0011_10*c_1001_1*c_1001_5 + 7*c_0011_12*c_1001_1*c_1001_5 + 46*c_0110_7*c_1001_1*c_1001_5 - 25*c_1001_0*c_1001_1*c_1001_5 - 25*c_1001_1^2*c_1001_5 + 54*c_0110_7*c_1001_5^2 + 23*c_1001_1*c_1001_5^2 - 25*c_0011_12*c_0011_3 + c_0011_3^2 - 70*c_0011_12*c_0011_7 + 66*c_0011_12*c_0110_11 + 14*c_0011_10*c_0110_7 + 14*c_0011_12*c_0110_7 - 90*c_0011_3*c_0110_7 - 2*c_0110_7^2 + 91*c_0011_10*c_1001_0 + 17*c_0011_12*c_1001_0 - 58*c_0011_7*c_1001_0 + 57*c_0110_7*c_1001_0 + 2*c_0011_10*c_1001_1 - 63*c_0011_12*c_1001_1 + 20*c_0011_3*c_1001_1 - 16*c_0011_7*c_1001_1 + 67/2*c_0110_11*c_1001_1 + c_0110_7*c_1001_1 - 55/2*c_1001_0*c_1001_1 - 63/2*c_1001_1^2 - 48*c_0011_10*c_1001_5 - 11*c_0011_12*c_1001_5 - 61*c_0110_7*c_1001_5 + 85/2*c_1001_0*c_1001_5 + 87/2*c_1001_1*c_1001_5 + 7/2*c_1001_5^2 + 71*c_0011_10 - 69*c_0011_12 - 55/2*c_0011_3 - 23*c_0011_7 + 57*c_0110_11 - 32*c_0110_7 + 27*c_1001_1 - 58*c_1001_5 - 83/2, c_0011_3^2*c_1001_1^2 + c_0011_3^3 - c_0011_10*c_0110_7^2 + c_0011_12*c_0110_7^2 + c_0011_10*c_0110_7*c_1001_1 - c_0011_12*c_0110_7*c_1001_1 + c_0110_7^2*c_1001_1 + c_0011_10*c_1001_1^2 - 2*c_0011_12*c_1001_1^2 - c_0011_3*c_1001_1^2 - 2*c_1001_0*c_1001_1^2 - 2*c_1001_1^3 + 2*c_0011_10*c_0110_7*c_1001_5 - 5*c_0011_12*c_0110_7*c_1001_5 + c_0110_7^2*c_1001_5 - 4*c_0011_10*c_1001_1*c_1001_5 + 2*c_0011_12*c_1001_1*c_1001_5 - 3*c_0110_7*c_1001_1*c_1001_5 + 2*c_1001_0*c_1001_1*c_1001_5 + 2*c_1001_1^2*c_1001_5 - 5*c_0110_7*c_1001_5^2 + c_1001_1*c_1001_5^2 - c_0011_12*c_0011_3 - c_0011_3^2 - 2*c_0011_12*c_0011_7 - 2*c_0011_12*c_0110_11 - 3*c_0011_12*c_0110_7 + 4*c_0011_3*c_0110_7 - 4*c_0110_7^2 - 8*c_0011_10*c_1001_0 + 2*c_0011_12*c_1001_0 - 2*c_0011_7*c_1001_0 + 2*c_0110_7*c_1001_0 - 3*c_0011_10*c_1001_1 + 6*c_0011_12*c_1001_1 - 2*c_0011_3*c_1001_1 - 3*c_0011_7*c_1001_1 + 8*c_0110_7*c_1001_1 - 3*c_1001_0*c_1001_1 - 3*c_1001_1^2 + 6*c_0011_10*c_1001_5 - 3*c_0011_12*c_1001_5 - c_0110_7*c_1001_5 - 4*c_1001_0*c_1001_5 - 5*c_1001_1*c_1001_5 + 3*c_1001_5^2 - c_0011_10 + 2*c_0011_12 - c_0011_3 + c_0011_7 - 2*c_0110_11 + 5*c_0110_7 - 2*c_1001_1 - 2*c_1001_5 + 3, c_0011_12*c_0011_7*c_1001_1^2 - c_0011_12*c_0110_7^2*c_1001_5 + c_0011_12*c_0110_7*c_1001_1*c_1001_5 - c_0110_7^2*c_1001_1*c_1001_5 + c_0011_12*c_1001_1^2*c_1001_5 + 2*c_1001_0*c_1001_1^2*c_1001_5 + 2*c_1001_1^3*c_1001_5 - 3*c_0011_10*c_0110_7^2 - 6*c_0011_12*c_0110_7^2 + 8*c_0011_12*c_0011_7*c_1001_1 + 9*c_0011_10*c_0110_7*c_1001_1 + 18*c_0011_12*c_0110_7*c_1001_1 + 4*c_0110_7^2*c_1001_1 - 4*c_0011_10*c_1001_1^2 - 7*c_0011_12*c_1001_1^2 + c_0011_3*c_1001_1^2 - 10*c_0110_7*c_1001_1^2 + 12*c_1001_0*c_1001_1^2 + 12*c_1001_1^3 + 5*c_0011_10*c_0110_7*c_1001_5 + 4*c_0011_12*c_0110_7*c_1001_5 - 19*c_0110_7^2*c_1001_5 + c_0011_10*c_1001_1*c_1001_5 + 6*c_0011_12*c_1001_1*c_1001_5 + 28*c_0110_7*c_1001_1*c_1001_5 - 6*c_1001_0*c_1001_1*c_1001_5 - 6*c_1001_1^2*c_1001_5 + 37*c_0110_7*c_1001_5^2 - 4*c_1001_1*c_1001_5^2 - 16*c_0011_12*c_0011_3 + c_0011_3^2 - 30*c_0011_12*c_0011_7 + 20*c_0011_12*c_0110_11 + 9*c_0011_10*c_0110_7 + 14*c_0011_12*c_0110_7 - 44*c_0011_3*c_0110_7 + 41*c_0011_10*c_1001_0 + 14*c_0011_12*c_1001_0 - 18*c_0011_7*c_1001_0 + 17*c_0110_7*c_1001_0 - 22*c_0011_12*c_1001_1 + 12*c_0011_3*c_1001_1 - 10*c_0011_7*c_1001_1 + 11*c_0110_11*c_1001_1 - c_0110_7*c_1001_1 - 8*c_1001_0*c_1001_1 - 10*c_1001_1^2 - 26*c_0011_10*c_1001_5 - 2*c_0011_12*c_1001_5 - 23*c_0110_7*c_1001_5 + 24*c_1001_0*c_1001_5 + 25*c_1001_1*c_1001_5 - 16*c_1001_5^2 + 30*c_0011_10 - 30*c_0011_12 - 8*c_0011_3 - 24*c_0011_7 + 17*c_0110_11 - 14*c_0110_7 + 6*c_1001_1 - 18*c_1001_5 - 23, c_0011_3*c_1001_1^3 + c_0011_10*c_0110_7^2*c_1001_5 - c_0011_12*c_0110_7^2*c_1001_5 - c_0011_10*c_0110_7*c_1001_1*c_1001_\ 5 + c_0011_12*c_0110_7*c_1001_1*c_1001_5 - c_0110_7^2*c_1001_1*c_1001_5 - c_0011_10*c_1001_1^2*c_1001_5 + 2*c_0011_12*c_1001_1^2*c_1001_5 + 2*c_1001_0*c_1001_1^2*c_1001_5 + 2*c_1001_1^3*c_1001_5 - 3*c_0011_10*c_0110_7^2 - 8*c_0011_12*c_0110_7^2 + c_0011_3^2*c_1001_1 + 7*c_0011_12*c_0011_7*c_1001_1 + 9*c_0011_10*c_0110_7*c_1001_1 + 21*c_0011_12*c_0110_7*c_1001_1 + 7*c_0110_7^2*c_1001_1 - 4*c_0011_10*c_1001_1^2 - 8*c_0011_12*c_1001_1^2 + c_0011_3*c_1001_1^2 - 20*c_0110_7*c_1001_1^2 + 19*c_1001_0*c_1001_1^2 + 19*c_1001_1^3 + 4*c_0011_10*c_0110_7*c_1001_5 - 31*c_0110_7^2*c_1001_5 + c_0011_10*c_1001_1*c_1001_5 + 7*c_0011_12*c_1001_1*c_1001_5 + 47*c_0110_7*c_1001_1*c_1001_5 - 25*c_1001_0*c_1001_1*c_1001_5 - 24*c_1001_1^2*c_1001_5 + 50*c_0110_7*c_1001_5^2 + 21*c_1001_1*c_1001_5^2 - 24*c_0011_12*c_0011_3 + c_0011_3^2 - 66*c_0011_12*c_0011_7 + 62*c_0011_12*c_0110_11 + 12*c_0011_10*c_0110_7 + 14*c_0011_12*c_0110_7 - 86*c_0011_3*c_0110_7 - 2*c_0110_7^2 + 87*c_0011_10*c_1001_0 + 17*c_0011_12*c_1001_0 - 57*c_0011_7*c_1001_0 + 54*c_0110_7*c_1001_0 + 2*c_0011_10*c_1001_1 - 59*c_0011_12*c_1001_1 + 19*c_0011_3*c_1001_1 - 17*c_0011_7*c_1001_1 + 31*c_0110_11*c_1001_1 - 26*c_1001_0*c_1001_1 - 28*c_1001_1^2 - 41*c_0011_10*c_1001_5 - 10*c_0011_12*c_1001_5 - 57*c_0110_7*c_1001_5 + 40*c_1001_0*c_1001_5 + 41*c_1001_1*c_1001_5 + 4*c_1001_5^2 + 68*c_0011_10 - 65*c_0011_12 - 26*c_0011_3 - 22*c_0011_7 + 55*c_0110_11 - 29*c_0110_7 + 26*c_1001_1 - 57*c_1001_5 - 39, c_1001_0*c_1001_1^3 - c_0110_7*c_1001_1^2*c_1001_5 - 2*c_1001_0*c_1001_1^2*c_1001_5 - c_0011_3^3 - 2*c_0011_10*c_0110_7^2 + 2*c_0011_12*c_0110_7^2 + 2*c_0011_10*c_0110_7*c_1001_1 - 2*c_0011_12*c_0110_7*c_1001_1 + 2*c_0110_7^2*c_1001_1 + 3*c_0011_10*c_1001_1^2 - 4*c_0011_12*c_1001_1^2 - 2*c_0011_3*c_1001_1^2 - 3*c_1001_0*c_1001_1^2 - 4*c_1001_1^3 + 5*c_0011_10*c_0110_7*c_1001_5 - 10*c_0011_12*c_0110_7*c_1001_5 + 2*c_0110_7^2*c_1001_5 - 5*c_0011_10*c_1001_1*c_1001_5 + 4*c_0011_12*c_1001_1*c_1001_5 - 7*c_0110_7*c_1001_1*c_1001_5 + 2*c_1001_0*c_1001_1*c_1001_5 + 4*c_1001_1^2*c_1001_5 - 8*c_0110_7*c_1001_5^2 + 4*c_1001_1*c_1001_5^2 + 4*c_0011_12*c_0011_3 - 4*c_0011_3^2 - 3*c_0011_12*c_0011_7 + 11*c_0011_12*c_0110_11 - 8*c_0011_12*c_0110_7 + 10*c_0011_3*c_0110_7 - 4*c_0110_7^2 - 11*c_0011_10*c_1001_0 - 4*c_0011_12*c_1001_0 - 2*c_0011_7*c_1001_0 + 12*c_0110_7*c_1001_0 - 5*c_0011_10*c_1001_1 - 3*c_0011_12*c_1001_1 - 3*c_0011_3*c_1001_1 - c_0011_7*c_1001_1 - 7/2*c_0110_11*c_1001_1 + 13*c_0110_7*c_1001_1 - 13/2*c_1001_0*c_1001_1 - 11/2*c_1001_1^2 + 3*c_0011_10*c_1001_5 + 4*c_0011_12*c_1001_5 - 15*c_0110_7*c_1001_5 + 15/2*c_1001_0*c_1001_5 + 7/2*c_1001_1*c_1001_5 + 11/2*c_1001_5^2 - c_0011_10 + c_0011_12 - 17/2*c_0011_3 - 2*c_0011_7 - c_0110_11 + 2*c_0110_7 - c_1001_0 - 2*c_1001_1 - 2*c_1001_5 - 23/2, c_0110_7^2*c_1001_5^2 - c_0011_12*c_0110_7^2 + 3*c_0011_12*c_0011_7*c_1001_1 + c_0011_10*c_0110_7*c_1001_1 + 2*c_0011_12*c_0110_7*c_1001_1 - 2*c_0011_10*c_1001_1^2 - 2*c_0011_3*c_1001_1^2 - c_0110_7*c_1001_1^2 + 2*c_1001_0*c_1001_1^2 + 2*c_1001_1^3 - 5*c_0011_10*c_0110_7*c_1001_5 - 4*c_0110_7^2*c_1001_5 + 4*c_0011_10*c_1001_1*c_1001_5 + c_0011_12*c_1001_1*c_1001_5 + 6*c_0110_7*c_1001_1*c_1001_5 - 2*c_1001_0*c_1001_1*c_1001_5 - 2*c_1001_1^2*c_1001_5 + 4*c_0110_7*c_1001_5^2 + c_1001_1*c_1001_5^2 - 5*c_0011_12*c_0011_3 - 2*c_0011_3^2 - 5*c_0011_12*c_0011_7 + 2*c_0011_12*c_0110_11 + 6*c_0011_12*c_0110_7 - 14*c_0011_3*c_0110_7 + 12*c_0011_10*c_1001_0 + 7*c_0011_12*c_1001_0 - 12*c_0011_7*c_1001_0 + 4*c_0110_7*c_1001_0 + 3*c_0011_10*c_1001_1 - 3*c_0011_12*c_1001_1 + 2*c_0011_3*c_1001_1 - 9*c_0011_7*c_1001_1 - c_0110_11*c_1001_1 + 5*c_0110_7*c_1001_1 - c_1001_0*c_1001_1 - c_1001_1^2 + 2*c_0011_12*c_1001_5 - 3*c_0110_7*c_1001_5 + 11*c_1001_0*c_1001_5 + 9*c_1001_1*c_1001_5 - 18*c_1001_5^2 + 3*c_0011_10 - 6*c_0011_12 - c_0011_3 - 19*c_0011_7 + 8*c_0110_11 + c_0110_7 + 2*c_1001_1 - 12*c_1001_5 - 13, c_0110_7*c_1001_1*c_1001_5^2 + c_0011_10*c_0110_7^2 - c_0011_12*c_0011_7*c_1001_1 - 2*c_0011_10*c_0110_7*c_1001_1 - c_0011_12*c_0110_7*c_1001_1 - c_0110_7^2*c_1001_1 + 2*c_0011_12*c_1001_1^2 + c_0110_7*c_1001_1^2 - 2*c_0011_10*c_0110_7*c_1001_5 + 3*c_0011_12*c_0110_7*c_1001_5 + c_0110_7^2*c_1001_5 - c_0011_12*c_1001_1*c_1001_5 - c_0110_7*c_1001_1*c_1001_5 - c_0110_7*c_1001_5^2 - 2*c_1001_1*c_1001_5^2 + 2*c_0011_12*c_0011_3 + 6*c_0011_12*c_0011_7 - 8*c_0011_12*c_0110_11 - 2*c_0011_10*c_0110_7 + 2*c_0011_12*c_0110_7 + 2*c_0011_3*c_0110_7 + 2*c_0110_7^2 - 2*c_0011_12*c_1001_0 + 4*c_0011_7*c_1001_0 - 6*c_0110_7*c_1001_0 + 4*c_0011_10*c_1001_1 + 3*c_0011_12*c_1001_1 + 2*c_0011_7*c_1001_1 - 3*c_0110_11*c_1001_1 - 3*c_0110_7*c_1001_1 + 3*c_1001_0*c_1001_1 + 3*c_1001_1^2 + 6*c_0110_7*c_1001_5 - 3*c_1001_0*c_1001_5 - 3*c_1001_1*c_1001_5 - 3*c_1001_5^2 - 6*c_0011_10 + 4*c_0011_12 + 3*c_0011_3 - 2*c_0110_11 + 4*c_1001_5 + 3, c_1001_1^2*c_1001_5^2 - c_0011_12*c_0110_7^2 - c_0011_12*c_0011_7*c_1001_1 + c_0011_10*c_0110_7*c_1001_1 + 2*c_0011_12*c_0110_7*c_1001_1 - c_0011_10*c_1001_1^2 + c_0011_3*c_1001_1^2 + c_0011_7*c_1001_1^2 - c_0110_7*c_1001_1^2 + 2*c_1001_0*c_1001_1^2 + 2*c_1001_1^3 + 2*c_0011_10*c_0110_7*c_1001_5 + 4*c_0011_12*c_0110_7*c_1001_5 - c_0011_10*c_1001_1*c_1001_5 - 3*c_0011_12*c_1001_1*c_1001_5 + 2*c_0110_7*c_1001_1*c_1001_5 - 2*c_1001_0*c_1001_1*c_1001_5 - 2*c_1001_1^2*c_1001_5 + 4*c_0110_7*c_1001_5^2 + c_1001_1*c_1001_5^2 - c_0011_12*c_0011_3 + c_0011_3^2 - 6*c_0011_12*c_0011_7 + 2*c_0011_12*c_0110_11 + c_0011_12*c_0110_7 - 10*c_0011_3*c_0110_7 + 12*c_0011_10*c_1001_0 - 2*c_0011_12*c_1001_0 - 8*c_0011_7*c_1001_0 + 7*c_0110_7*c_1001_0 + 3*c_0011_10*c_1001_1 - 7*c_0011_12*c_1001_1 + 2*c_0011_3*c_1001_1 - 5*c_0011_7*c_1001_1 + 3*c_0110_11*c_1001_1 - c_0110_7*c_1001_1 - 4*c_1001_0*c_1001_1 - 4*c_1001_1^2 - 4*c_0011_10*c_1001_5 - 3*c_0011_12*c_1001_5 - 11*c_0110_7*c_1001_5 + 6*c_1001_0*c_1001_5 + 7*c_1001_1*c_1001_5 + 3*c_1001_5^2 + 9*c_0011_10 - 6*c_0011_12 - 4*c_0011_3 - c_0011_7 + 8*c_0110_11 - 3*c_0110_7 + 2*c_1001_1 - 8*c_1001_5 - 5, c_0011_12*c_0011_3^2 - c_1001_1*c_1001_5^2 + 2*c_0011_12*c_0011_7 - c_0011_10*c_0110_7 - c_0011_12*c_0110_7 + c_0011_3*c_0110_7 - c_0110_7^2 - c_0011_12*c_1001_0 + 2*c_0011_7*c_1001_0 - c_0110_7*c_1001_0 + c_0011_10*c_1001_1 + c_0011_12*c_1001_1 + c_0011_7*c_1001_1 - 1/2*c_0110_11*c_1001_1 + c_0110_7*c_1001_1 + 1/2*c_1001_0*c_1001_1 + 1/2*c_1001_1^2 + c_0110_7*c_1001_5 - 1/2*c_1001_0*c_1001_5 - 1/2*c_1001_1*c_1001_5 - 1/2*c_1001_5^2 - c_0011_10 + 2*c_0011_12 + 1/2*c_0011_3 - 2*c_0110_11 + 2*c_1001_5 + 1/2, c_0011_12*c_0011_3*c_0110_7 + c_0011_12*c_0011_7*c_1001_1 + c_0011_10*c_0110_7*c_1001_5 - c_0011_12*c_1001_1*c_1001_5 - 2*c_0011_12*c_0011_3 - c_0011_12*c_0011_7 - 2*c_0011_12*c_0110_7 - 2*c_0011_3*c_0110_7 - c_0110_7^2 + c_0011_10*c_1001_0 + c_0011_12*c_1001_0 - 2*c_0011_7*c_1001_0 + c_0110_7*c_1001_0 + c_0011_12*c_1001_1 - 2*c_0011_7*c_1001_1 - 3/2*c_0110_11*c_1001_1 + 2*c_0110_7*c_1001_1 - 1/2*c_1001_0*c_1001_1 - 1/2*c_1001_1^2 + 2*c_0011_10*c_1001_5 - c_0011_12*c_1001_5 - 4*c_0110_7*c_1001_5 + 9/2*c_1001_0*c_1001_5 + 9/2*c_1001_1*c_1001_5 - 9/2*c_1001_5^2 + 2*c_0011_10 - 1/2*c_0011_3 - 5*c_0011_7 + c_0110_11 + c_0110_7 - 2*c_1001_5 - 9/2, c_0011_3^2*c_0110_7 + c_0110_7*c_1001_5^2 + c_1001_1*c_1001_5^2 + c_0011_12*c_0011_3 - c_0011_12*c_0011_7 + 2*c_0011_12*c_0110_11 - 2*c_0011_3*c_0110_7 + 2*c_0011_10*c_1001_0 - 2*c_0011_7*c_1001_0 + 2*c_0110_7*c_1001_0 + c_0011_10*c_1001_1 - 2*c_0011_12*c_1001_1 - c_0011_7*c_1001_1 + c_0110_11*c_1001_1 - c_1001_0*c_1001_1 - c_1001_1^2 - 2*c_0011_10*c_1001_5 - 2*c_0110_7*c_1001_5 + c_1001_0*c_1001_5 + c_1001_1*c_1001_5 + c_1001_5^2 + 2*c_0011_10 - c_0011_12 - c_0011_3 + 4*c_0110_11 - c_0110_7 - 2*c_1001_5 - 1, c_0011_3*c_0110_7^2 - c_0011_3*c_1001_1^2 - c_0011_10*c_0110_7*c_1001_5 - c_0011_10*c_1001_1*c_1001_5 + c_0011_12*c_0011_3 - c_0011_3^2 + c_0011_12*c_0011_7 + c_0011_12*c_0110_7 + c_0011_3*c_0110_7 - c_0011_12*c_1001_0 + c_0011_7*c_1001_0 - c_0110_7*c_1001_0 + c_0011_7*c_1001_1 + 1/2*c_0110_11*c_1001_1 + 1/2*c_1001_0*c_1001_1 + 1/2*c_1001_1^2 - c_0011_10*c_1001_5 + 5*c_0110_7*c_1001_5 - 9/2*c_1001_0*c_1001_5 - 11/2*c_1001_1*c_1001_5 + 5/2*c_1001_5^2 - 4*c_0011_10 + 1/2*c_0011_3 + 3*c_0011_7 - c_0110_7 + c_1001_5 + 7/2, c_0110_7^3 + c_0011_12*c_0011_7*c_1001_1 + c_0011_12*c_0110_7*c_1001_1 - c_0110_7^2*c_1001_1 - c_0110_7*c_1001_1^2 + 2*c_1001_0*c_1001_1^2 + 2*c_1001_1^3 + c_0011_12*c_0110_7*c_1001_5 - 3*c_0110_7^2*c_1001_5 + c_0011_12*c_1001_1*c_1001_5 + 5*c_0110_7*c_1001_1*c_1001_5 - 2*c_1001_0*c_1001_1*c_1001_5 - 2*c_1001_1^2*c_1001_5 + 5*c_0110_7*c_1001_5^2 - c_0011_12*c_0011_3 - 3*c_0011_12*c_0011_7 + 2*c_0011_12*c_0110_11 + 2*c_0011_12*c_0110_7 - 7*c_0011_3*c_0110_7 + c_0110_7^2 + 8*c_0011_10*c_1001_0 + c_0011_12*c_1001_0 - 3*c_0011_7*c_1001_0 + 2*c_0110_7*c_1001_0 + 2*c_0011_10*c_1001_1 - 3*c_0011_12*c_1001_1 + 2*c_0011_3*c_1001_1 - c_0011_7*c_1001_1 + c_0110_11*c_1001_1 - c_0110_7*c_1001_1 - c_1001_0*c_1001_1 - c_1001_1^2 - 5*c_0011_10*c_1001_5 - 3*c_0110_7*c_1001_5 + 3*c_1001_0*c_1001_5 + 3*c_1001_1*c_1001_5 - 2*c_1001_5^2 + 3*c_0011_10 - 4*c_0011_12 - c_0011_3 - 3*c_0011_7 + 4*c_0110_11 - 3*c_0110_7 + 2*c_1001_1 - 3*c_1001_5 - 3, c_0011_12*c_0011_7*c_1001_0 + c_0011_12*c_0011_3 + c_0011_12*c_0110_11 - c_0011_12*c_0110_7 + c_0011_3*c_0110_7 - c_0011_12*c_1001_0 + c_0011_7*c_1001_0 + c_0110_7*c_1001_0 - c_0011_12*c_1001_1 + c_0011_7*c_1001_1 + 1/2*c_0110_11*c_1001_1 - 1/2*c_1001_0*c_1001_1 - 1/2*c_1001_1^2 - c_0011_10*c_1001_5 + c_0011_12*c_1001_5 - 3/2*c_1001_0*c_1001_5 - 3/2*c_1001_1*c_1001_5 + 7/2*c_1001_5^2 - 1/2*c_0011_3 + 3*c_0011_7 - c_0110_7 + c_1001_5 + 3/2, c_0011_10*c_0110_7*c_1001_0 - c_0011_12*c_0011_7*c_1001_1 + c_0011_3*c_1001_1^2 - c_0011_10*c_0110_7*c_1001_5 - c_0011_10*c_1001_1*c_1001_5 + c_0011_12*c_1001_1*c_1001_5 - c_1001_1*c_1001_5^2 + 3*c_0011_12*c_0011_3 + c_0011_3^2 + 4*c_0011_12*c_0011_7 - 2*c_0011_12*c_0110_11 - c_0011_10*c_0110_7 + c_0011_12*c_0110_7 + 4*c_0011_3*c_0110_7 + c_0110_7^2 - 2*c_0011_10*c_1001_0 - 2*c_0011_12*c_1001_0 + 5*c_0011_7*c_1001_0 - 6*c_0110_7*c_1001_0 + c_0011_10*c_1001_1 + c_0011_12*c_1001_1 + 4*c_0011_7*c_1001_1 + 2*c_0110_11*c_1001_1 - 6*c_0110_7*c_1001_1 + 3*c_1001_0*c_1001_1 + 3*c_1001_1^2 - 3*c_0011_10*c_1001_5 + c_0011_12*c_1001_5 + 9*c_0110_7*c_1001_5 - 9*c_1001_0*c_1001_5 - 8*c_1001_1*c_1001_5 + 7*c_1001_5^2 - 4*c_0011_10 + 2*c_0011_12 + 3*c_0011_3 + 10*c_0011_7 - 2*c_0110_11 - 2*c_0110_7 + 5*c_1001_5 + 10, c_0011_12*c_0110_7*c_1001_0 - c_0011_12*c_0011_7*c_1001_1 - c_0011_12*c_0110_7*c_1001_5 + c_0110_7^2*c_1001_5 - c_0011_12*c_1001_1*c_1001_5 - 2*c_1001_0*c_1001_1*c_1001_5 - 2*c_1001_1^2*c_1001_5 - 2*c_0110_7*c_1001_5^2 + 4*c_1001_1*c_1001_5^2 - 5*c_0011_12*c_0011_7 + 8*c_0011_12*c_0110_11 - c_0011_10*c_0110_7 - 3*c_0011_12*c_0110_7 - 4*c_0011_3*c_0110_7 - 2*c_0110_7^2 + 5*c_0011_10*c_1001_0 - c_0011_12*c_1001_0 - 8*c_0011_7*c_1001_0 + 7*c_0110_7*c_1001_0 - 5*c_0011_12*c_1001_1 - 4*c_0011_7*c_1001_1 + 7/2*c_0110_11*c_1001_1 + 2*c_0110_7*c_1001_1 - 7/2*c_1001_0*c_1001_1 - 7/2*c_1001_1^2 - c_0011_12*c_1001_5 - 6*c_0110_7*c_1001_5 + 3/2*c_1001_0*c_1001_5 + 3/2*c_1001_1*c_1001_5 + 13/2*c_1001_5^2 + 6*c_0011_10 - 4*c_0011_12 - 7/2*c_0011_3 + 3*c_0011_7 + 7*c_0110_11 - c_0110_7 + 2*c_1001_1 - 8*c_1001_5 - 3/2, c_0110_7^2*c_1001_0 + c_0011_12*c_0110_7*c_1001_5 - c_0110_7^2*c_1001_5 - c_0110_7*c_1001_1*c_1001_5 + 2*c_1001_0*c_1001_1*c_1001_5 + 2*c_1001_1^2*c_1001_5 + 4*c_0110_7*c_1001_5^2 - 4*c_1001_1*c_1001_5^2 + 4*c_0011_12*c_0011_7 - 4*c_0011_12*c_0110_11 + c_0011_10*c_0110_7 + 4*c_0011_3*c_0110_7 - 5*c_0011_10*c_1001_0 + 10*c_0011_7*c_1001_0 - 4*c_0110_7*c_1001_0 + 4*c_0011_12*c_1001_1 + 6*c_0011_7*c_1001_1 - 2*c_0110_11*c_1001_1 + 2*c_1001_0*c_1001_1 + 2*c_1001_1^2 - 2*c_0011_10*c_1001_5 + 4*c_0110_7*c_1001_5 - 2*c_1001_0*c_1001_5 - 2*c_1001_1*c_1001_5 - 2*c_1001_5^2 - 4*c_0011_10 + 4*c_0011_12 + 2*c_0011_3 - 7*c_0110_11 - c_0110_7 - 2*c_1001_1 + 10*c_1001_5 + 2, c_0011_12*c_0011_3*c_1001_1 + c_0011_12*c_0011_7*c_1001_1 + c_0011_12*c_0011_7 - c_0011_12*c_0110_7 - c_0110_7*c_1001_0 + c_0011_12*c_1001_1 - 1/2*c_0110_11*c_1001_1 + 1/2*c_1001_0*c_1001_1 + 1/2*c_1001_1^2 + c_0011_12*c_1001_5 + 3/2*c_1001_0*c_1001_5 + 3/2*c_1001_1*c_1001_5 - 5/2*c_1001_5^2 - c_0011_10 + c_0011_12 + 1/2*c_0011_3 - 2*c_0011_7 - 3/2, c_0011_12*c_0110_11*c_1001_1 - c_0011_12*c_1001_1^2 - c_0011_12*c_0110_7*c_1001_5 + c_0011_12*c_1001_1*c_1001_5 + c_1001_1*c_1001_5^2 - 3*c_0011_12*c_0011_7 + 4*c_0011_12*c_0110_11 - c_0011_12*c_0110_7 - c_0011_3*c_0110_7 - c_0110_7^2 + c_0011_12*c_1001_0 - 3*c_0011_7*c_1001_0 + 3*c_0110_7*c_1001_0 - c_0011_10*c_1001_1 - 2*c_0011_12*c_1001_1 - 2*c_0011_7*c_1001_1 + 3/2*c_0110_11*c_1001_1 + c_0110_7*c_1001_1 - 3/2*c_1001_0*c_1001_1 - 3/2*c_1001_1^2 - c_0011_10*c_1001_5 + c_0011_12*c_1001_5 - 3*c_0110_7*c_1001_5 + 3/2*c_1001_0*c_1001_5 + 3/2*c_1001_1*c_1001_5 + 3/2*c_1001_5^2 + 3*c_0011_10 - 2*c_0011_12 - 3/2*c_0011_3 + 2*c_0110_11 - 3*c_1001_5 - 3/2, c_0011_3*c_0110_7*c_1001_1 - c_0011_3*c_1001_1^2 - c_0011_10*c_1001_1*c_1001_5 - c_0011_3^2 - c_0011_12*c_0110_11 - c_0110_7^2 + c_0011_12*c_1001_1 - c_0110_11*c_1001_1 + 2*c_0110_7*c_1001_1 - c_0011_12*c_1001_5 + 2*c_0110_7*c_1001_5 - 2*c_1001_0*c_1001_5 - 3*c_1001_1*c_1001_5 - 2*c_0011_10 + 1, c_0011_10*c_1001_0*c_1001_1 - c_0011_10*c_0110_7*c_1001_5 + c_0011_12*c_0011_7 - c_0011_12*c_0110_11 + c_0011_12*c_0110_7 + c_0011_12*c_1001_0 - 3*c_0110_7*c_1001_0 + c_0011_12*c_1001_1 + c_0110_11*c_1001_1 - 2*c_0110_7*c_1001_1 + 2*c_1001_0*c_1001_1 + 2*c_1001_1^2 + 6*c_0110_7*c_1001_5 - 4*c_1001_0*c_1001_5 - 4*c_1001_1*c_1001_5 - 2*c_0011_10 + 2*c_0011_3 + 2*c_0011_7 + 4, c_0011_12*c_1001_0*c_1001_1 - c_0011_12*c_0110_7*c_1001_5 - c_0011_12*c_0011_7 + 3*c_0011_12*c_0110_11 - c_0011_10*c_0110_7 - 2*c_0011_12*c_0110_7 - c_0011_3*c_0110_7 - 2*c_0110_7^2 + c_0011_12*c_1001_0 - 2*c_0011_7*c_1001_0 + 2*c_0110_7*c_1001_0 - 2*c_0011_7*c_1001_1 + c_0110_11*c_1001_1 + 2*c_0110_7*c_1001_1 - c_1001_0*c_1001_1 - c_1001_1^2 - 2*c_0110_7*c_1001_5 + c_1001_0*c_1001_5 + c_1001_1*c_1001_5 + c_1001_5^2 + 2*c_0011_10 - c_0011_3 + 2*c_0110_11 - 2*c_1001_5 - 1, c_0011_7*c_1001_0*c_1001_1 + c_0011_3*c_1001_1^2 + c_0011_7*c_1001_1^2 + c_0011_3^2 + c_0110_11*c_1001_1 - 2*c_0110_7*c_1001_1 - c_0110_7*c_1001_5 + 2*c_1001_1*c_1001_5 + 2*c_1001_5^2 + 2*c_0011_10 + 2*c_0011_7 + 1, c_0110_7*c_1001_0*c_1001_1 - c_0110_7^2*c_1001_5 + 2*c_0110_7*c_1001_5^2 - c_0011_12*c_0011_3 + c_0011_10*c_0110_7 + 3*c_0011_7*c_1001_0 + 3*c_0011_7*c_1001_1 - c_0011_10*c_1001_5 - c_0011_12*c_1001_5 - 2*c_0110_11 - c_0110_7 + 3*c_1001_5, c_0110_11*c_1001_1^2 - c_1001_0*c_1001_1^2 - c_1001_1^3 + c_1001_0*c_1001_1*c_1001_5 + c_1001_1^2*c_1001_5 - 2*c_0110_7*c_1001_5^2 - c_1001_1*c_1001_5^2 + 4*c_0011_12*c_0011_7 - 4*c_0011_12*c_0110_11 + 4*c_0011_3*c_0110_7 - 4*c_0011_10*c_1001_0 + 4*c_0011_7*c_1001_0 - 4*c_0110_7*c_1001_0 + 4*c_0011_12*c_1001_1 - c_0011_3*c_1001_1 + 2*c_0011_7*c_1001_1 - 2*c_0110_11*c_1001_1 + 2*c_1001_0*c_1001_1 + 2*c_1001_1^2 + 4*c_0011_10*c_1001_5 + 4*c_0110_7*c_1001_5 - 2*c_1001_0*c_1001_5 - 2*c_1001_1*c_1001_5 - 2*c_1001_5^2 - 4*c_0011_10 + 4*c_0011_12 + 2*c_0011_3 - 4*c_0110_11 + 2*c_0110_7 - c_1001_1 + 4*c_1001_5 + 2, c_0011_10*c_1001_0*c_1001_5 + c_0011_12*c_0011_3 + c_0011_12*c_0011_7 + c_0011_3*c_0110_7 + c_0110_7^2 - c_0011_12*c_1001_0 + c_0011_7*c_1001_0 - c_0110_7*c_1001_0 + c_0011_7*c_1001_1 - 1/2*c_0110_11*c_1001_1 - c_0110_7*c_1001_1 + 1/2*c_1001_0*c_1001_1 + 1/2*c_1001_1^2 - c_0011_10*c_1001_5 + c_0110_7*c_1001_5 - 3/2*c_1001_0*c_1001_5 - 3/2*c_1001_1*c_1001_5 + 3/2*c_1001_5^2 - 2*c_0011_10 + 1/2*c_0011_3 + 2*c_0011_7 - c_0110_7 + c_1001_5 + 3/2, c_0011_12*c_1001_0*c_1001_5 + c_1001_1*c_1001_5^2 - c_0011_12*c_0011_3 - 3*c_0011_12*c_0011_7 + 2*c_0011_12*c_0110_11 + c_0011_10*c_0110_7 - 2*c_0011_3*c_0110_7 + 2*c_0011_10*c_1001_0 - 3*c_0011_7*c_1001_0 + 2*c_0110_7*c_1001_0 - c_0011_10*c_1001_1 - 2*c_0011_12*c_1001_1 - 2*c_0011_7*c_1001_1 + c_0110_11*c_1001_1 - c_1001_0*c_1001_1 - c_1001_1^2 + c_0011_10*c_1001_5 - c_0011_12*c_1001_5 - 2*c_0110_7*c_1001_5 + c_1001_0*c_1001_5 + c_1001_1*c_1001_5 + c_1001_5^2 + 2*c_0011_10 - 3*c_0011_12 - c_0011_3 + 2*c_0110_11 - 3*c_1001_5 - 1, c_0110_7*c_1001_0*c_1001_5 - c_1001_1*c_1001_5^2 + 2*c_0011_12*c_0011_7 - 2*c_0011_12*c_0110_11 + 3*c_0011_3*c_0110_7 - 4*c_0011_10*c_1001_0 + 4*c_0011_7*c_1001_0 - 2*c_0110_7*c_1001_0 - c_0011_10*c_1001_1 + 2*c_0011_12*c_1001_1 + 3*c_0011_7*c_1001_1 - c_0110_11*c_1001_1 + c_1001_0*c_1001_1 + c_1001_1^2 + 2*c_0110_7*c_1001_5 - c_1001_0*c_1001_5 - c_1001_1*c_1001_5 - c_1001_5^2 - 2*c_0011_10 + 2*c_0011_12 + c_0011_3 - 4*c_0110_11 + 4*c_1001_5 + 1, c_0011_10*c_1001_5^2 + 2*c_0110_7*c_1001_0 + c_0110_7*c_1001_1 - c_1001_0*c_1001_1 - c_1001_1^2 - 2*c_0110_7*c_1001_5 + c_1001_0*c_1001_5 + c_1001_1*c_1001_5 + c_1001_5^2 + c_0011_10 - c_0011_3 - 1, c_0011_12*c_1001_5^2 + c_0011_12*c_0011_7 - c_0011_12*c_0110_11 + c_0011_12*c_0110_7 + c_0110_7^2 - c_0110_7*c_1001_0 - 1/2*c_0110_11*c_1001_1 - c_0110_7*c_1001_1 + 1/2*c_1001_0*c_1001_1 + 1/2*c_1001_1^2 + c_0110_7*c_1001_5 - 1/2*c_1001_0*c_1001_5 - 1/2*c_1001_1*c_1001_5 - 1/2*c_1001_5^2 - c_0011_10 + 1/2*c_0011_3 + 1/2, c_1001_0*c_1001_5^2 + c_0011_12*c_0011_7 - c_0011_12*c_0110_11 + c_0011_3*c_0110_7 - c_0011_10*c_1001_0 + 3*c_0011_7*c_1001_0 - c_0110_7*c_1001_0 + c_0011_12*c_1001_1 + 2*c_0011_7*c_1001_1 - 1/2*c_0110_11*c_1001_1 + 1/2*c_1001_0*c_1001_1 + 1/2*c_1001_1^2 + c_0110_7*c_1001_5 - 1/2*c_1001_0*c_1001_5 - 1/2*c_1001_1*c_1001_5 - 1/2*c_1001_5^2 - c_0011_10 + c_0011_12 + 1/2*c_0011_3 - 2*c_0110_11 + 2*c_1001_5 + 1/2, c_1001_5^3 - c_0011_12*c_0011_7 + c_0011_12*c_0110_11 - c_0011_3*c_0110_7 + c_0011_10*c_1001_0 - c_0011_7*c_1001_0 + c_0110_7*c_1001_0 - c_0011_12*c_1001_1 - c_0011_7*c_1001_1 + 1/2*c_0110_11*c_1001_1 - 1/2*c_1001_0*c_1001_1 - 1/2*c_1001_1^2 - c_0110_7*c_1001_5 + 1/2*c_1001_0*c_1001_5 + 1/2*c_1001_1*c_1001_5 + 1/2*c_1001_5^2 + c_0011_10 - c_0011_12 - 1/2*c_0011_3 + 2*c_0110_11 + c_1001_0 - c_1001_5 - 1/2, c_0011_10^2 - c_0011_12*c_0110_7 - c_0110_11*c_1001_1 - c_0110_7*c_1001_5 + c_1001_0*c_1001_5 + c_1001_1*c_1001_5 - c_1001_5^2 - c_0011_7 - 1, c_0011_10*c_0011_12 - c_0011_12*c_0110_11 + c_0011_10*c_0110_7, c_0011_12^2 + c_0011_12*c_0110_7 - c_0011_3*c_0110_7 + c_0011_10*c_1001_0 - c_0011_7*c_1001_0 + c_0011_10*c_1001_1 - c_0011_7*c_1001_1 + c_0110_11*c_1001_1 + c_0110_7*c_1001_5 - c_1001_0*c_1001_5 - c_1001_1*c_1001_5 + c_1001_5^2 + c_0011_7 + c_0110_11 - c_1001_5 + 1, c_0011_10*c_0011_3 + c_0011_12*c_0011_3 + c_0011_12*c_0011_7 + c_0011_12*c_0110_11 + c_0011_3*c_0110_7 - c_0011_12*c_1001_0 + c_0011_7*c_1001_0 + c_0110_7*c_1001_0 - c_0011_12*c_1001_1 + c_0011_7*c_1001_1 + 1/2*c_0110_11*c_1001_1 - 1/2*c_1001_0*c_1001_1 - 1/2*c_1001_1^2 - c_0011_10*c_1001_5 + c_0011_12*c_1001_5 - 1/2*c_1001_0*c_1001_5 - 1/2*c_1001_1*c_1001_5 + 5/2*c_1001_5^2 - 1/2*c_0011_3 + 2*c_0011_7 - c_0110_7 + c_1001_5 + 1/2, c_0011_10*c_0011_7 - c_0110_7*c_1001_0 - 1/2*c_0110_11*c_1001_1 + 1/2*c_1001_0*c_1001_1 + 1/2*c_1001_1^2 + 1/2*c_1001_0*c_1001_5 + 1/2*c_1001_1*c_1001_5 - 3/2*c_1001_5^2 + 1/2*c_0011_3 - c_0011_7 - 1/2, c_0011_3*c_0011_7 - 1/2*c_0110_11*c_1001_1 + 1/2*c_1001_0*c_1001_1 + 1/2*c_1001_1^2 - 1/2*c_1001_0*c_1001_5 - 1/2*c_1001_1*c_1001_5 - 1/2*c_1001_5^2 + 1/2*c_0011_3 - 1/2, c_0011_7^2 + c_1001_0*c_1001_5 + c_1001_5^2 + c_0011_7, c_0011_10*c_0110_11 + c_0011_3*c_0110_7 - c_0011_10*c_1001_0 + c_0011_7*c_1001_0 - c_0011_10*c_1001_1 + c_0011_7*c_1001_1 - c_0110_11 + c_1001_5, c_0011_3*c_0110_11 + c_0011_7*c_1001_0 + c_0011_7*c_1001_1 - c_0110_7 + c_1001_5, c_0011_7*c_0110_11 - c_0011_7*c_1001_0 - c_0011_7*c_1001_1 + c_0110_11 - c_1001_5, c_0110_11^2 - c_0110_11*c_1001_1 - c_0110_7*c_1001_5 + c_1001_0*c_1001_5 + c_1001_1*c_1001_5 - c_1001_5^2 - c_0011_7 - 1, c_0011_7*c_0110_7 - c_0011_7*c_1001_0 - c_0011_7*c_1001_1 + c_0011_10*c_1001_5 + c_0110_7 - c_1001_5, c_0110_11*c_0110_7 - c_0110_7*c_1001_0 - 1/2*c_0110_11*c_1001_1 - c_0110_7*c_1001_1 + 1/2*c_1001_0*c_1001_1 + 1/2*c_1001_1^2 + c_0110_7*c_1001_5 - 1/2*c_1001_0*c_1001_5 - 1/2*c_1001_1*c_1001_5 - 1/2*c_1001_5^2 - c_0011_10 + 1/2*c_0011_3 + 1/2, c_0011_3*c_1001_0 + c_0110_7 - c_1001_5, c_0110_11*c_1001_0 + 1/2*c_0110_11*c_1001_1 - 1/2*c_1001_0*c_1001_1 - 1/2*c_1001_1^2 - c_0110_7*c_1001_5 + 1/2*c_1001_0*c_1001_5 + 1/2*c_1001_1*c_1001_5 + 1/2*c_1001_5^2 - 1/2*c_0011_3 - 1/2, c_1001_0^2 + c_1001_0*c_1001_1 - c_0110_7*c_1001_5 + c_1001_5^2, c_0011_3*c_1001_5 + c_1001_0 + c_1001_1, c_0011_7*c_1001_5 - c_0110_11 - c_1001_0, c_0110_11*c_1001_5 - c_1001_0*c_1001_5 - c_1001_1*c_1001_5 + c_1001_5^2 + c_0011_7 + 1, c_0011_0 - 1, c_0101_0 - 1, c_0101_2 + c_0110_11, c_0101_6 + c_0110_11 - c_1001_0 - c_1001_1 ] ] IDEAL=DECOMPOSITION=ENDS=HERE FREE=VARIABLES=IN=COMPONENTS=BEGINS=HERE [ [ "c_1001_1" ] ] FREE=VARIABLES=IN=COMPONENTS=ENDS=HERE Status: Finding witnesses for non-zero dimensional ideals... Status: Computing Groebner basis... Time: 0.020 Status: Saturating ideal ( 1 / 13 )... Time: 0.020 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 2 / 13 )... Time: 0.020 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 3 / 13 )... Time: 0.010 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 4 / 13 )... Time: 0.010 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 5 / 13 )... Time: 0.020 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 6 / 13 )... Time: 0.010 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 7 / 13 )... Time: 0.010 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.010 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 10 / 13 )... Time: 0.010 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.010 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 13 / 13 )... Time: 0.010 Status: Recomputing Groebner basis... Time: 0.000 Status: Dimension of ideal: 0 [] Status: Testing witness [ 1 ] ... Time: 0.000 Status: Changing to term order lex ... Time: 0.000 Status: Recomputing Groebner basis... Time: 0.000 Status: Confirming is prime... Time: 0.380 ==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_12, c_0011_3, c_0011_7, c_0101_0, c_0101_2, c_0101_6, c_0110_11, c_0110_7, c_1001_0, c_1001_1, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Groebner basis: [ c_0011_0 - 1, c_0011_10 - 1555345020954986032186117955448345/2082253666660131443992872028\ 21609823*c_1001_5^17 + 741339430816177605627148738039243/20822536666601\ 3144399287202821609823*c_1001_5^16 + 52015124021016708667090361835013585/20822536666601314439928720282160982\ 3*c_1001_5^15 + 8456363478971759155696085272497214/29746480952287592057\ 041028974515689*c_1001_5^14 - 348466288973182418508747105719357842/2082\ 25366666013144399287202821609823*c_1001_5^13 + 1674600587713554054592435287877386895/208225366666013144399287202821609\ 823*c_1001_5^12 - 1375810917218397180628126768455742121/208225366666013\ 144399287202821609823*c_1001_5^11 - 13749303307658029860439029334176373\ 8/29746480952287592057041028974515689*c_1001_5^10 + 5161328335854293059146506031017621991/208225366666013144399287202821609\ 823*c_1001_5^9 + 309949952023420515893320219114609233/20822536666601314\ 4399287202821609823*c_1001_5^8 - 5374176418433572015884182932387823205/\ 208225366666013144399287202821609823*c_1001_5^7 + 3909550008199161910164213667305227926/208225366666013144399287202821609\ 823*c_1001_5^6 + 445241999837387565953805026159758751/29746480952287592\ 057041028974515689*c_1001_5^5 - 7582153333892902478753423909747666916/2\ 08225366666013144399287202821609823*c_1001_5^4 - 245572737987466334642497811362217793/2974648095228759205704102897451568\ 9*c_1001_5^3 + 2794913097016980870069520647123927007/208225366666013144\ 399287202821609823*c_1001_5^2 + 63378545879422730557729867671603259/297\ 46480952287592057041028974515689*c_1001_5 - 252453475561903583149792229652292163/2082253666660131443992872028216098\ 23, c_0011_12 + 904624680188724071250923144572431/59492961904575184114082057949\ 031378*c_1001_5^17 - 655315922882185921476447785485073/5949296190457518\ 4114082057949031378*c_1001_5^16 - 29430774151492362813943375951060865/5\ 9492961904575184114082057949031378*c_1001_5^15 - 27661232309835374093614248631867921/59492961904575184114082057949031378\ *c_1001_5^14 + 94103063997175562525330503168320063/29746480952287592057\ 041028974515689*c_1001_5^13 - 519616159484403549225430868305528603/2974\ 6480952287592057041028974515689*c_1001_5^12 + 596265340429989132348980907826433929/2974648095228759205704102897451568\ 9*c_1001_5^11 - 256033593392000187607021277199659773/297464809522875920\ 57041028974515689*c_1001_5^10 - 966621460084819411743816043606724126/29\ 746480952287592057041028974515689*c_1001_5^9 - 121087513457806951073857417980871205/2974648095228759205704102897451568\ 9*c_1001_5^8 + 890580973796164370421477045716234644/2974648095228759205\ 7041028974515689*c_1001_5^7 - 1344461854654263752076161686274439356/297\ 46480952287592057041028974515689*c_1001_5^6 - 194671885086545422588342259451032211/5949296190457518411408205794903137\ 8*c_1001_5^5 + 2064457894827360408368835500801803361/594929619045751841\ 14082057949031378*c_1001_5^4 + 298575146827833605454262165812570492/297\ 46480952287592057041028974515689*c_1001_5^3 - 239656078964644386468973991251600114/2974648095228759205704102897451568\ 9*c_1001_5^2 - 160709862445947266707656067940852376/2974648095228759205\ 7041028974515689*c_1001_5 + 51810476934972656778770423537473816/2974648\ 0952287592057041028974515689, c_0011_3 + 7932789617915194079963327064961135/20822536666601314439928720282\ 1609823*c_1001_5^17 - 3105702959925105682779358826170718/20822536666601\ 3144399287202821609823*c_1001_5^16 - 258540807683134216773231061142946970/2082253666660131443992872028216098\ 23*c_1001_5^15 - 46722616399724710618873822995921857/297464809522875920\ 57041028974515689*c_1001_5^14 + 1521578626631462210322441971140315982/2\ 08225366666013144399287202821609823*c_1001_5^13 - 8688648819315622383223349213764337335/208225366666013144399287202821609\ 823*c_1001_5^12 + 7616406393845790564596250551333153864/208225366666013\ 144399287202821609823*c_1001_5^11 - 31857198609600185633280528711195311\ 3/29746480952287592057041028974515689*c_1001_5^10 - 19216859881263567342237692974691789970/20822536666601314439928720282160\ 9823*c_1001_5^9 - 6374952881287231214356777112266807775/208225366666013\ 144399287202821609823*c_1001_5^8 + 108267190047674630554837682521165574\ 90/208225366666013144399287202821609823*c_1001_5^7 - 24324083051490812660553185360378273613/20822536666601314439928720282160\ 9823*c_1001_5^6 - 1352590377861532226477267336281162355/297464809522875\ 92057041028974515689*c_1001_5^5 + 1541024741774029277760007910045671037\ 9/208225366666013144399287202821609823*c_1001_5^4 + 508678373242190969450733710758297459/2974648095228759205704102897451568\ 9*c_1001_5^3 - 2427444111778583404059542545575543462/208225366666013144\ 399287202821609823*c_1001_5^2 - 34412909099813432803021572847304445/297\ 46480952287592057041028974515689*c_1001_5 + 313923114755720378860990228442690642/2082253666660131443992872028216098\ 23, c_0011_7 - 4806897809847393536593228357946197/20822536666601314439928720282\ 1609823*c_1001_5^17 + 1563488562225183739189898441806182/20822536666601\ 3144399287202821609823*c_1001_5^16 + 156952026118677004513052300168629728/2082253666660131443992872028216098\ 23*c_1001_5^15 + 29823659547494995276458523680293608/297464809522875920\ 57041028974515689*c_1001_5^14 - 914324359688978922640669663036760544/20\ 8225366666013144399287202821609823*c_1001_5^13 + 5188281713456882125186199700420203240/208225366666013144399287202821609\ 823*c_1001_5^12 - 4246047030352123038238087537106758036/208225366666013\ 144399287202821609823*c_1001_5^11 + 13118794945201578263787475252649517\ 6/29746480952287592057041028974515689*c_1001_5^10 + 11596194092313266255665332080960551734/20822536666601314439928720282160\ 9823*c_1001_5^9 + 4851653626937934900808732594334867716/208225366666013\ 144399287202821609823*c_1001_5^8 - 678048292172458893500061503682064318\ 0/208225366666013144399287202821609823*c_1001_5^7 + 13552672750948051573424614152066991604/20822536666601314439928720282160\ 9823*c_1001_5^6 + 955854535981095609127396154492203383/2974648095228759\ 2057041028974515689*c_1001_5^5 - 9039549384152856290992130017017596628/\ 208225366666013144399287202821609823*c_1001_5^4 - 535053033234996692905641666671295043/2974648095228759205704102897451568\ 9*c_1001_5^3 + 1467887433938481405513377483539101996/208225366666013144\ 399287202821609823*c_1001_5^2 + 115193909427466510122687085405914733/29\ 746480952287592057041028974515689*c_1001_5 + 3717002930511928839059157558058647/208225366666013144399287202821609823\ , c_0101_0 - 1, c_0101_2 + 1542214397699921943589460384364536/20822536666601314439928720282\ 1609823*c_1001_5^17 - 1565648101780205671034496357175712/20822536666601\ 3144399287202821609823*c_1001_5^16 - 50505459670053221945078234969408909/20822536666601314439928720282160982\ 3*c_1001_5^15 - 4584310608286855385953449430400978/29746480952287592057\ 041028974515689*c_1001_5^14 + 355719946942532911406830214087106467/2082\ 25366666013144399287202821609823*c_1001_5^13 - 1844924161156580861193554845203106084/208225366666013144399287202821609\ 823*c_1001_5^12 + 2418253956563903908217528684381493611/208225366666013\ 144399287202821609823*c_1001_5^11 - 10006545773231199426840598062036096\ 0/29746480952287592057041028974515689*c_1001_5^10 - 3947011409769354637349628219344201441/208225366666013144399287202821609\ 823*c_1001_5^9 + 1136492534733539180424470440934852894/2082253666660131\ 44399287202821609823*c_1001_5^8 + 4400842795700583579740310043414838365\ /208225366666013144399287202821609823*c_1001_5^7 - 5278272296227665678815646095454782422/208225366666013144399287202821609\ 823*c_1001_5^6 + 33026495007394037284242769396633615/297464809522875920\ 57041028974515689*c_1001_5^5 + 5804976090855545441163793166603841612/20\ 8225366666013144399287202821609823*c_1001_5^4 - 27253072504121228773433037449293674/29746480952287592057041028974515689\ *c_1001_5^3 - 2015880801237030993361384387965203248/2082253666660131443\ 99287202821609823*c_1001_5^2 - 56094503011408502962990250709872543/2974\ 6480952287592057041028974515689*c_1001_5 + 345764606220996368307571545930267095/2082253666660131443992872028216098\ 23, c_0101_6 + 4647917357625027626368819210535254/20822536666601314439928720282\ 1609823*c_1001_5^17 - 4806897809847393536593228357946197/20822536666601\ 3144399287202821609823*c_1001_5^16 - 151817784239400727930981135505857200/2082253666660131443992872028216098\ 23*c_1001_5^15 - 13433644456153498187266276742896284/297464809522875920\ 57041028974515689*c_1001_5^14 + 1063982410635470050187072400500541992/2\ 08225366666013144399287202821609823*c_1001_5^13 - 5590129221459756714767701788835226068/208225366666013144399287202821609\ 823*c_1001_5^12 + 7456465383977895606854183475161407192/208225366666013\ 144399287202821609823*c_1001_5^11 - 37152632653612332264336079093961116\ 0/29746480952287592057041028974515689*c_1001_5^10 - 11454440359833713062928673470759379916/20822536666601314439928720282160\ 9823*c_1001_5^9 + 3462338716469467909519898462523857234/208225366666013\ 144399287202821609823*c_1001_5^8 + 125579006058802307053282348454023188\ 48/208225366666013144399287202821609823*c_1001_5^7 - 16252938496564395237540268587891490832/20822536666601314439928720282160\ 9823*c_1001_5^6 + 224998531478336482896023863788234578/2974648095228759\ 2057041028974515689*c_1001_5^5 + 16507383211171727610782719254095880129\ /208225366666013144399287202821609823*c_1001_5^4 - 97513425020436659825856153782172848/29746480952287592057041028974515689\ *c_1001_5^3 - 5455804820250987016843217136176038773/2082253666660131443\ 99287202821609823*c_1001_5^2 - 128138798095077793931577404710123669/297\ 46480952287592057041028974515689*c_1001_5 + 694807349409264907825957936788557035/2082253666660131443992872028216098\ 23, c_0110_11 - 1542214397699921943589460384364536/2082253666660131443992872028\ 21609823*c_1001_5^17 + 1565648101780205671034496357175712/2082253666660\ 13144399287202821609823*c_1001_5^16 + 50505459670053221945078234969408909/20822536666601314439928720282160982\ 3*c_1001_5^15 + 4584310608286855385953449430400978/29746480952287592057\ 041028974515689*c_1001_5^14 - 355719946942532911406830214087106467/2082\ 25366666013144399287202821609823*c_1001_5^13 + 1844924161156580861193554845203106084/208225366666013144399287202821609\ 823*c_1001_5^12 - 2418253956563903908217528684381493611/208225366666013\ 144399287202821609823*c_1001_5^11 + 10006545773231199426840598062036096\ 0/29746480952287592057041028974515689*c_1001_5^10 + 3947011409769354637349628219344201441/208225366666013144399287202821609\ 823*c_1001_5^9 - 1136492534733539180424470440934852894/2082253666660131\ 44399287202821609823*c_1001_5^8 - 4400842795700583579740310043414838365\ /208225366666013144399287202821609823*c_1001_5^7 + 5278272296227665678815646095454782422/208225366666013144399287202821609\ 823*c_1001_5^6 - 33026495007394037284242769396633615/297464809522875920\ 57041028974515689*c_1001_5^5 - 5804976090855545441163793166603841612/20\ 8225366666013144399287202821609823*c_1001_5^4 + 27253072504121228773433037449293674/29746480952287592057041028974515689\ *c_1001_5^3 + 2015880801237030993361384387965203248/2082253666660131443\ 99287202821609823*c_1001_5^2 + 56094503011408502962990250709872543/2974\ 6480952287592057041028974515689*c_1001_5 - 345764606220996368307571545930267095/2082253666660131443992872028216098\ 23, c_0110_7 - 876511564410619874735713461344811/208225366666013144399287202821\ 609823*c_1001_5^17 - 1683543038146800444355189116321690/208225366666013\ 144399287202821609823*c_1001_5^16 + 29553945515266247431824714342537562\ /208225366666013144399287202821609823*c_1001_5^15 + 14601717646007574131335344496000815/29746480952287592057041028974515689\ *c_1001_5^14 - 90906180339447945432869635902427258/20822536666601314439\ 9287202821609823*c_1001_5^13 + 560122658407545940614787026521469239/208\ 225366666013144399287202821609823*c_1001_5^12 + 1411042399116588493927504134990429599/208225366666013144399287202821609\ 823*c_1001_5^11 - 270496690267327514851612113446803691/2974648095228759\ 2057041028974515689*c_1001_5^10 + 2774327378258069351685378215891898811\ /208225366666013144399287202821609823*c_1001_5^9 + 5641478611213788864083425619738583179/208225366666013144399287202821609\ 823*c_1001_5^8 - 57502019625649496430956093977869800/208225366666013144\ 399287202821609823*c_1001_5^7 - 467072024357536516263796799467862947/20\ 8225366666013144399287202821609823*c_1001_5^6 + 1055689152277669291025194552290058669/297464809522875920570410289745156\ 89*c_1001_5^5 + 254016327006188814570314852784355891/208225366666013144\ 399287202821609823*c_1001_5^4 - 683415342466317564943817168757340838/29\ 746480952287592057041028974515689*c_1001_5^3 - 457777502510703647522389626240810170/2082253666660131443992872028216098\ 23*c_1001_5^2 + 118094094393821761583127042255152474/297464809522875920\ 57041028974515689*c_1001_5 - 13506458633799857496918621521931966/208225\ 366666013144399287202821609823, c_1001_0 + 3105702959925105682779358826170718/20822536666601314439928720282\ 1609823*c_1001_5^17 - 3241249708067187865558732000770485/20822536666601\ 3144399287202821609823*c_1001_5^16 - 101312324569347505985902900536448291/2082253666660131443992872028216098\ 23*c_1001_5^15 - 8849333847866642801312827312495306/2974648095228759205\ 7041028974515689*c_1001_5^14 + 708262463692937138780242186413435525/208\ 225366666013144399287202821609823*c_1001_5^13 - 3745205060303175853574146943632119984/208225366666013144399287202821609\ 823*c_1001_5^12 + 5038211427413991698636654790779913581/208225366666013\ 144399287202821609823*c_1001_5^11 - 27146086880381132837495481031925020\ 0/29746480952287592057041028974515689*c_1001_5^10 - 7507428950064358425579045251415178475/208225366666013144399287202821609\ 823*c_1001_5^9 + 2325846181735928729095428021589004340/2082253666660131\ 44399287202821609823*c_1001_5^8 + 8157057810179647125587924801987480483\ /208225366666013144399287202821609823*c_1001_5^7 - 10974666200336729558724622492436708410/20822536666601314439928720282160\ 9823*c_1001_5^6 + 191972036470942445611781094391600963/2974648095228759\ 2057041028974515689*c_1001_5^5 + 10702407120316182169618926087492038517\ /208225366666013144399287202821609823*c_1001_5^4 - 70260352516315431052423116332879174/29746480952287592057041028974515689\ *c_1001_5^3 - 3439924019013956023481832748210835525/2082253666660131443\ 99287202821609823*c_1001_5^2 - 72044295083669290968587154000251126/2974\ 6480952287592057041028974515689*c_1001_5 + 557268109854281683917673593679899763/2082253666660131443992872028216098\ 23, c_1001_1 - 1, c_1001_5^18 - 33*c_1001_5^16 - 54*c_1001_5^15 + 184*c_1001_5^14 - 1006*c_1001_5^13 + 488*c_1001_5^12 + 354*c_1001_5^11 - 2662*c_1001_5^10 - 1750*c_1001_5^9 + 1658*c_1001_5^8 - 2038*c_1001_5^7 - 2577*c_1001_5^6 + 2112*c_1001_5^5 + 1798*c_1001_5^4 - 368*c_1001_5^3 - 464*c_1001_5^2 - 24*c_1001_5 + 44 ] ==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: 41.179 seconds, Total memory usage: 32.09MB