Magma V2.19-10 Sat Nov 16 2013 01:52:54 on iw-h31-4 [Seed = 1234963749] +-------------------------------------------------------------------+ | This copy of Magma has been made available through a | | generous initiative of the | | | | Simons Foundation | | | | covering U.S. Colleges, Universities, Nonprofit Research entities,| | and their students, faculty, and staff | +-------------------------------------------------------------------+ Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation 10_120 geometric_solution 16.27136828 oriented_manifold CS_unknown 1 0 torus 0.000000000000 0.000000000000 18 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 1 -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.761177279829 0.744296475751 0 5 7 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.211305045381 0.679805669661 7 0 9 8 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.320912092213 1.195438127460 6 5 10 0 0132 1023 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.684346578363 0.311263829316 9 11 0 7 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.793519688854 0.730287340648 3 1 12 12 1023 0132 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 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.885709307057 0.889484130254 3 7 1 13 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.383489344495 1.034555439778 2 6 4 1 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 1 -1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.311326813770 0.575014419958 14 10 2 15 0132 3012 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0.079034883943 0.952729751770 4 16 15 2 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.358501567757 1.267961846252 8 12 13 3 1230 1023 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.919547636434 0.728752969310 17 4 13 16 0132 0132 0213 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.564835883286 1.283026399723 10 5 16 5 1023 0321 2031 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.437881507592 0.564514197080 14 11 6 10 1302 0213 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.953269802074 0.773987451470 8 13 17 15 0132 2031 0321 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.544401894420 0.717829946636 14 17 8 9 3120 0321 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -1 0 0 1 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.372950000570 0.521768583850 17 9 11 12 1023 0132 0132 1302 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 0 0 0 0 0 0 0 0 1 0 -1 -5 -1 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.172881795191 0.683643294512 11 16 14 15 0132 1023 0321 0321 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 -1 1 0 0 0 0 0 0 0 0 -6 5 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.211305045381 0.679805669661 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_0' : d['1'], 'c_1001_15' : negation(d['c_0101_10']), 'c_1001_14' : negation(d['c_0101_10']), 'c_1001_17' : negation(d['c_0101_14']), 'c_1001_16' : d['c_1001_16'], 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : d['c_0101_12'], 'c_1001_13' : d['c_1001_11'], 'c_1001_12' : negation(d['c_0110_16']), 'c_1001_5' : d['c_1001_1'], 'c_1001_4' : d['c_1001_16'], 'c_1001_7' : d['c_1001_11'], 'c_1001_6' : d['c_1001_1'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0011_10']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : d['c_1001_16'], 'c_1001_9' : d['c_0110_16'], 'c_1001_8' : negation(d['c_0011_10']), 'c_1010_13' : d['c_0101_12'], 'c_1010_12' : d['c_1001_1'], 'c_1010_11' : d['c_1001_16'], 'c_1010_10' : d['c_0101_5'], 'c_1010_17' : d['c_0110_16'], 'c_1010_16' : d['c_0110_16'], 'c_1010_15' : d['c_0110_16'], 'c_1010_14' : d['c_0011_13'], 's_3_11' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_0_13' : d['1'], 's_0_14' : d['1'], 's_3_14' : d['1'], 's_0_16' : d['1'], 's_0_17' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_13'], 'c_0101_10' : d['c_0101_10'], 'c_0101_17' : negation(d['c_0101_14']), 'c_0101_16' : negation(d['c_0101_14']), 'c_0101_15' : d['c_0101_14'], 'c_0101_14' : d['c_0101_14'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_13' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_2_16' : d['1'], 's_2_17' : d['1'], 's_2_14' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_15' : negation(d['c_0011_13']), 'c_0011_14' : d['c_0011_14'], 'c_0011_17' : negation(d['c_0011_11']), 'c_0011_16' : negation(d['c_0011_11']), 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_13' : d['c_0011_13'], 'c_0011_12' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0110_16']), 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : d['c_1100_0'], 'c_1100_6' : d['c_1100_0'], 'c_1100_1' : d['c_1100_0'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_1100_15'], 's_0_15' : d['1'], 'c_1100_15' : d['c_1100_15'], 's_0_10' : d['1'], 'c_1100_17' : negation(d['c_0101_10']), 'c_1100_16' : d['c_0101_12'], 'c_1100_11' : d['c_0101_12'], 'c_1100_10' : d['c_1100_0'], 'c_1100_13' : d['c_1100_0'], 's_3_10' : d['1'], 's_3_13' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : d['c_1001_11'], 'c_1010_5' : d['c_1001_1'], 's_3_12' : d['1'], 'c_1010_3' : negation(d['c_0011_10']), 'c_1010_2' : negation(d['c_0011_10']), 'c_1010_1' : d['c_1001_1'], 'c_1100_14' : negation(d['c_0101_14']), 's_3_15' : d['1'], 'c_1010_9' : d['c_1001_16'], 'c_1010_8' : negation(d['c_0101_10']), 'c_1100_8' : d['c_1100_15'], 's_3_17' : d['1'], 's_3_16' : d['1'], 's_3_1' : negation(d['1']), 'c_0101_13' : negation(d['c_0011_14']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : negation(d['1']), 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0110_16']), 's_1_7' : negation(d['1']), 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_11'], 'c_0011_8' : negation(d['c_0011_14']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_11']), 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_0']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0101_14']), 'c_0110_10' : negation(d['c_0011_14']), 'c_0110_13' : d['c_0101_10'], 'c_0110_12' : d['c_0101_5'], 'c_0110_15' : d['c_0101_7'], 'c_0110_14' : d['c_0101_7'], 'c_0110_17' : d['c_0011_13'], 'c_0110_16' : d['c_0110_16'], 'c_1010_4' : d['c_1001_11'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0101_1'], 'c_1010_0' : d['c_1001_16'], 's_0_8' : d['1'], 's_2_15' : d['1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_14']), 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_7'], 'c_0101_8' : d['c_0101_7'], 's_1_17' : d['1'], 's_1_16' : d['1'], 's_1_15' : d['1'], 's_1_14' : d['1'], 's_1_13' : d['1'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : d['c_0101_14'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_1100_15'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : negation(d['c_0011_10']), 'c_0110_4' : d['c_0101_7'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0011_14'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY_DECOMPOSITION_TIME: 22657.570 PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 19 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_13, c_0011_14, c_0101_0, c_0101_1, c_0101_10, c_0101_12, c_0101_14, c_0101_5, c_0101_7, c_0110_16, c_1001_1, c_1001_11, c_1001_16, c_1100_0, c_1100_15 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 4 Groebner basis: [ t + 8/7*c_1100_0^3 - 4*c_1100_0^2 + 37/7*c_1100_0 - 18/7, c_0011_0 - 1, c_0011_10 - c_1100_0, c_0011_11 - c_1100_0, c_0011_13 + c_1100_0^3 - c_1100_0^2 + c_1100_0 - 1, c_0011_14 - c_1100_0^3, c_0101_0 + c_1100_0^3 - c_1100_0^2 + c_1100_0 - 1, c_0101_1 + c_1100_0 - 1, c_0101_10 + 1, c_0101_12 - c_1100_0^3 + 2*c_1100_0^2 - 2*c_1100_0, c_0101_14 + c_1100_0^2 - c_1100_0 + 1, c_0101_5 - c_1100_0^3 + 2*c_1100_0^2, c_0101_7 + c_1100_0^2 - c_1100_0, c_0110_16 + c_1100_0 - 1, c_1001_1 + c_1100_0^2 - c_1100_0 + 1, c_1001_11 - 1, c_1001_16 - c_1100_0^2 + c_1100_0, c_1100_0^4 - 2*c_1100_0^3 + 2*c_1100_0^2 - c_1100_0 + 1, c_1100_15 - 1 ], Ideal of Polynomial ring of rank 19 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_13, c_0011_14, c_0101_0, c_0101_1, c_0101_10, c_0101_12, c_0101_14, c_0101_5, c_0101_7, c_0110_16, c_1001_1, c_1001_11, c_1001_16, c_1100_0, c_1100_15 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 6 Groebner basis: [ t + 156757/275*c_1100_0*c_1100_15^2 - 90157/55*c_1100_0*c_1100_15 + 200784/275*c_1100_0 + 4308/275*c_1100_15^2 + 18017/55*c_1100_15 - 232704/275, c_0011_0 - 1, c_0011_10 + c_1100_0*c_1100_15^2 - 3*c_1100_0*c_1100_15 + 2*c_1100_0 + c_1100_15, c_0011_11 + c_1100_0 - c_1100_15, c_0011_13 - c_1100_0*c_1100_15^2 + 3*c_1100_0*c_1100_15 - 2*c_1100_0 - c_1100_15 + 1, c_0011_14 + c_1100_15^2 - c_1100_15, c_0101_0 + c_1100_0*c_1100_15^2 - 3*c_1100_0*c_1100_15 + 2*c_1100_0 - c_1100_15, c_0101_1 + c_1100_0 - c_1100_15, c_0101_10 + 1, c_0101_12 - c_1100_0*c_1100_15^2 + 2*c_1100_0*c_1100_15 + c_1100_15 - 1, c_0101_14 + c_1100_15^2 - 2*c_1100_15 + 1, c_0101_5 - c_1100_0 - c_1100_15, c_0101_7 + c_1100_0*c_1100_15^2 - 2*c_1100_0*c_1100_15 - c_1100_15^2 + c_1100_15, c_0110_16 - c_1100_0, c_1001_1 + c_1100_15^2 - 2*c_1100_15 + 1, c_1001_11 - c_1100_15, c_1001_16 - c_1100_15^2 + c_1100_15, c_1100_0^2 - c_1100_0*c_1100_15 + c_1100_15^2 - c_1100_15 + 1, c_1100_15^3 - 3*c_1100_15^2 + 2*c_1100_15 - 1 ], Ideal of Polynomial ring of rank 19 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_13, c_0011_14, c_0101_0, c_0101_1, c_0101_10, c_0101_12, c_0101_14, c_0101_5, c_0101_7, c_0110_16, c_1001_1, c_1001_11, c_1001_16, c_1100_0, c_1100_15 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 11 Groebner basis: [ t - 53450671/1446700*c_1100_15^10 - 8612886/72335*c_1100_15^9 + 10137383/289340*c_1100_15^8 + 358002763/578680*c_1100_15^7 + 4829289273/2893400*c_1100_15^6 + 9741645463/2893400*c_1100_15^5 + 12027933227/2893400*c_1100_15^4 + 1781837159/723350*c_1100_15^3 + 168007/1702*c_1100_15^2 - 1019746461/2893400*c_1100_15 + 253129637/2893400, c_0011_0 - 1, c_0011_10 - 4782/4255*c_1100_15^10 - 2896/851*c_1100_15^9 + 4740/851*c_1100_15^8 + 26673/851*c_1100_15^7 + 140333/4255*c_1100_15^6 - 47112/4255*c_1100_15^5 - 155823/4255*c_1100_15^4 - 35679/4255*c_1100_15^3 + 12297/851*c_1100_15^2 + 22014/4255*c_1100_15 - 8038/4255, c_0011_11 + 1734/4255*c_1100_15^10 + 1458/851*c_1100_15^9 - 1486/851*c_1100_15^8 - 12463/851*c_1100_15^7 - 73026/4255*c_1100_15^6 + 15834/4255*c_1100_15^5 + 84051/4255*c_1100_15^4 + 25158/4255*c_1100_15^3 - 7327/851*c_1100_15^2 - 18628/4255*c_1100_15 + 7506/4255, c_0011_13 + 31/4255*c_1100_15^10 - 130/851*c_1100_15^9 - 429/851*c_1100_15^8 + 1117/1702*c_1100_15^7 + 31797/8510*c_1100_15^6 + 43337/8510*c_1100_15^5 + 19083/8510*c_1100_15^4 - 16423/4255*c_1100_15^3 - 3827/851*c_1100_15^2 - 1839/8510*c_1100_15 + 15713/8510, c_0011_14 + 1359/4255*c_1100_15^10 + 1658/851*c_1100_15^9 + 25/851*c_1100_15^8 - 26579/1702*c_1100_15^7 - 230647/8510*c_1100_15^6 - 34677/8510*c_1100_15^5 + 213697/8510*c_1100_15^4 + 65153/4255*c_1100_15^3 - 6218/851*c_1100_15^2 - 57011/8510*c_1100_15 + 5567/8510, c_0101_0 + 31/4255*c_1100_15^10 - 130/851*c_1100_15^9 - 429/851*c_1100_15^8 + 1117/1702*c_1100_15^7 + 31797/8510*c_1100_15^6 + 43337/8510*c_1100_15^5 + 19083/8510*c_1100_15^4 - 16423/4255*c_1100_15^3 - 3827/851*c_1100_15^2 - 1839/8510*c_1100_15 + 15713/8510, c_0101_1 + 1734/4255*c_1100_15^10 + 1458/851*c_1100_15^9 - 1486/851*c_1100_15^8 - 12463/851*c_1100_15^7 - 73026/4255*c_1100_15^6 + 15834/4255*c_1100_15^5 + 84051/4255*c_1100_15^4 + 25158/4255*c_1100_15^3 - 7327/851*c_1100_15^2 - 18628/4255*c_1100_15 + 7506/4255, c_0101_10 + 1, c_0101_12 + 1921/4255*c_1100_15^10 + 2266/851*c_1100_15^9 - 11/851*c_1100_15^8 - 35757/1702*c_1100_15^7 - 315233/8510*c_1100_15^6 - 72293/8510*c_1100_15^5 + 256313/8510*c_1100_15^4 + 79682/4255*c_1100_15^3 - 8259/851*c_1100_15^2 - 68389/8510*c_1100_15 + 9873/8510, c_0101_14 + 3697/4255*c_1100_15^10 + 2340/851*c_1100_15^9 - 3341/851*c_1100_15^8 - 41381/1702*c_1100_15^7 - 244711/8510*c_1100_15^6 + 15619/8510*c_1100_15^5 + 213911/8510*c_1100_15^4 + 36059/4255*c_1100_15^3 - 7704/851*c_1100_15^2 - 39233/8510*c_1100_15 + 10761/8510, c_0101_5 + 3079/4255*c_1100_15^10 + 1308/851*c_1100_15^9 - 3683/851*c_1100_15^8 - 27303/1702*c_1100_15^7 - 102817/8510*c_1100_15^6 + 105893/8510*c_1100_15^5 + 162627/8510*c_1100_15^4 - 5902/4255*c_1100_15^3 - 8797/851*c_1100_15^2 - 8611/8510*c_1100_15 + 16777/8510, c_0101_7 - 4534/4255*c_1100_15^10 - 2234/851*c_1100_15^9 + 4712/851*c_1100_15^8 + 20929/851*c_1100_15^7 + 110086/4255*c_1100_15^6 - 14179/4255*c_1100_15^5 - 105021/4255*c_1100_15^4 - 47923/4255*c_1100_15^3 + 5509/851*c_1100_15^2 + 23168/4255*c_1100_15 - 501/4255, c_0110_16 + 1734/4255*c_1100_15^10 + 1458/851*c_1100_15^9 - 1486/851*c_1100_15^8 - 12463/851*c_1100_15^7 - 73026/4255*c_1100_15^6 + 15834/4255*c_1100_15^5 + 84051/4255*c_1100_15^4 + 25158/4255*c_1100_15^3 - 7327/851*c_1100_15^2 - 18628/4255*c_1100_15 + 7506/4255, c_1001_1 + 3697/4255*c_1100_15^10 + 2340/851*c_1100_15^9 - 3341/851*c_1100_15^8 - 41381/1702*c_1100_15^7 - 244711/8510*c_1100_15^6 + 15619/8510*c_1100_15^5 + 213911/8510*c_1100_15^4 + 36059/4255*c_1100_15^3 - 7704/851*c_1100_15^2 - 39233/8510*c_1100_15 + 10761/8510, c_1001_11 - c_1100_15, c_1001_16 - 48/115*c_1100_15^10 - 2/23*c_1100_15^9 + 90/23*c_1100_15^8 + 76/23*c_1100_15^7 - 953/115*c_1100_15^6 - 1188/115*c_1100_15^5 + 573/115*c_1100_15^4 + 1179/115*c_1100_15^3 - 15/23*c_1100_15^2 - 394/115*c_1100_15 - 12/115, c_1100_0 + 1734/4255*c_1100_15^10 + 1458/851*c_1100_15^9 - 1486/851*c_1100_15^8 - 12463/851*c_1100_15^7 - 73026/4255*c_1100_15^6 + 15834/4255*c_1100_15^5 + 84051/4255*c_1100_15^4 + 25158/4255*c_1100_15^3 - 7327/851*c_1100_15^2 - 18628/4255*c_1100_15 + 7506/4255, c_1100_15^11 + 3*c_1100_15^10 - 5*c_1100_15^9 - 55/2*c_1100_15^8 - 29*c_1100_15^7 + 9*c_1100_15^6 + 32*c_1100_15^5 + 13/2*c_1100_15^4 - 14*c_1100_15^3 - 9/2*c_1100_15^2 + 3*c_1100_15 - 1/2 ], Ideal of Polynomial ring of rank 19 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_13, c_0011_14, c_0101_0, c_0101_1, c_0101_10, c_0101_12, c_0101_14, c_0101_5, c_0101_7, c_0110_16, c_1001_1, c_1001_11, c_1001_16, c_1100_0, c_1100_15 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 5759799153876283081648558844868942790656784497/32182766458742543905\ 9384454224728033328750*c_1100_15^17 + 2625471563574882257570507964385330160343923044/80456916146856359764\ 8461135561820083321875*c_1100_15^16 + 24804218381798748653200174642941114507148619873/8045691614685635976\ 48461135561820083321875*c_1100_15^15 + 31175411035856578674888019280202210810408386623/6436553291748508781\ 1876890844945606665750*c_1100_15^14 - 3366662668752173169081696050905192162080421011621/16091383229371271\ 95296922271123640166643750*c_1100_15^13 + 976915779703928981555512741977179235032665315189/160913832293712719\ 5296922271123640166643750*c_1100_15^12 + 1368233460126652566091822143205318058558630246964/16091383229371271\ 9529692227112364016664375*c_1100_15^11 - 50927515875962832373474231892948131109964878477/4532784008273597733\ 230766960911662441250*c_1100_15^10 - 5215216708356172919682570998890957424424802754928/80456916146856359\ 7648461135561820083321875*c_1100_15^9 + 30835142201635725686761138354832822087941381233181/1609138322937127\ 195296922271123640166643750*c_1100_15^8 - 3474747097286148727422591676019959052434923616576/80456916146856359\ 7648461135561820083321875*c_1100_15^7 - 4709016010479787172984133672589279360325730738972/80456916146856359\ 7648461135561820083321875*c_1100_15^6 - 70301839275411613981637015491023268280494579804/1609138322937127195\ 29692227112364016664375*c_1100_15^5 - 26112545275681894160683086335609039753151115713/3218276645874254390\ 59384454224728033328750*c_1100_15^4 + 236486538532442716964685983240221969849163643001/804569161468563597\ 648461135561820083321875*c_1100_15^3 + 57912138448203985230381020921149848092452441529/1609138322937127195\ 29692227112364016664375*c_1100_15^2 + 20962598879575316577050892314234977030335752527/1609138322937127195\ 296922271123640166643750*c_1100_15 + 22301850240853829717868786051145072821259800842/8045691614685635976\ 48461135561820083321875, c_0011_0 - 1, c_0011_10 + 13295687213632383590502035670075/38126666035315720603349948\ 1519223*c_1100_15^17 + 11459577131021922083497904884910/38126666035\ 3157206033499481519223*c_1100_15^16 - 17861440412025326502950636507761/381266660353157206033499481519223*\ c_1100_15^15 - 383024971585746415828355899304895/381266660353157206\ 033499481519223*c_1100_15^14 + 1159481211908379447760420188656032/3\ 81266660353157206033499481519223*c_1100_15^13 + 974915000413527278635747881210045/381266660353157206033499481519223\ *c_1100_15^12 - 5959039826460838167901737334625343/3812666603531572\ 06033499481519223*c_1100_15^11 + 1893999234881927344469185523742147\ /381266660353157206033499481519223*c_1100_15^10 + 8912478075575411133365027173746382/38126666035315720603349948151922\ 3*c_1100_15^9 - 3814813588114423683798015620482296/3812666603531572\ 06033499481519223*c_1100_15^8 - 6726187359749775512931766983651397/\ 381266660353157206033499481519223*c_1100_15^7 - 5099252166933402656597291612375762/38126666035315720603349948151922\ 3*c_1100_15^6 + 8688692050677538655848732107374758/3812666603531572\ 06033499481519223*c_1100_15^5 + 5856014820233706578462538742807567/\ 381266660353157206033499481519223*c_1100_15^4 - 2638975143605540390332884708834461/38126666035315720603349948151922\ 3*c_1100_15^3 - 1412154394273555243727670430947500/3812666603531572\ 06033499481519223*c_1100_15^2 + 156620686241227858477816986024637/3\ 81266660353157206033499481519223*c_1100_15 + 96338916815025642935187737894279/381266660353157206033499481519223, c_0011_11 + 265205120508341628017248062148215/3812666603531572060334994\ 81519223*c_1100_15^17 - 79198136819496134972636348443797/3812666603\ 53157206033499481519223*c_1100_15^16 - 465917166791824457933391747947264/381266660353157206033499481519223\ *c_1100_15^15 - 7109325196449011671224128467878490/3812666603531572\ 06033499481519223*c_1100_15^14 + 3186552189528433941112551560919261\ 9/381266660353157206033499481519223*c_1100_15^13 - 12219138942152244985241151441946638/3812666603531572060334994815192\ 23*c_1100_15^12 - 127002212879139050159931590713391297/381266660353\ 157206033499481519223*c_1100_15^11 + 182933845981303768638153195470452650/381266660353157206033499481519\ 223*c_1100_15^10 + 83635594195699134326007191976542679/381266660353\ 157206033499481519223*c_1100_15^9 - 309647756011748918849383293630504291/381266660353157206033499481519\ 223*c_1100_15^8 + 97008838976654552159649945329420694/3812666603531\ 57206033499481519223*c_1100_15^7 + 100774299504467464593983536975334208/381266660353157206033499481519\ 223*c_1100_15^6 - 17079774637154498837299135485586366/3812666603531\ 57206033499481519223*c_1100_15^5 - 5701137980526406196692778112634906/38126666035315720603349948151922\ 3*c_1100_15^4 - 255703052277212574961674020768916/38126666035315720\ 6033499481519223*c_1100_15^3 - 3824335806509021246846053977211885/3\ 81266660353157206033499481519223*c_1100_15^2 + 53488703050821704102462741190636/381266660353157206033499481519223*\ c_1100_15 - 548003335439809955735797388881334/381266660353157206033\ 499481519223, c_0011_13 - 105195912977429138110037255372655/3812666603531572060334994\ 81519223*c_1100_15^17 + 109274527629577449889607394389379/381266660\ 353157206033499481519223*c_1100_15^16 + 157496709040193569279124475003879/381266660353157206033499481519223\ *c_1100_15^15 + 2685271569204160879930748028798974/3812666603531572\ 06033499481519223*c_1100_15^14 - 1471668236363564246862258434479896\ 2/381266660353157206033499481519223*c_1100_15^13 + 14309882028226164992052800197018541/3812666603531572060334994815192\ 23*c_1100_15^12 + 46273871405372270494092826346093595/3812666603531\ 57206033499481519223*c_1100_15^11 - 109645903882936879085752555336502243/381266660353157206033499481519\ 223*c_1100_15^10 + 22798526202452696337328564697523348/381266660353\ 157206033499481519223*c_1100_15^9 + 144119490053053767383986931667074659/381266660353157206033499481519\ 223*c_1100_15^8 - 131571509733009074589534774277040441/381266660353\ 157206033499481519223*c_1100_15^7 - 4604947438127997881583322800765528/38126666035315720603349948151922\ 3*c_1100_15^6 + 34856022459725172237900509486716218/381266660353157\ 206033499481519223*c_1100_15^5 - 7200706046563830664735946556496122\ /381266660353157206033499481519223*c_1100_15^4 + 162607523064658236804804525093305/381266660353157206033499481519223\ *c_1100_15^3 + 2132883238688478208005382602492492/38126666035315720\ 6033499481519223*c_1100_15^2 - 1526434216538978360593856508918837/3\ 81266660353157206033499481519223*c_1100_15 - 52112701488689579597183175324704/381266660353157206033499481519223, c_0011_14 + 304543841827899732817361089316460/3812666603531572060334994\ 81519223*c_1100_15^17 - 175232871932301298729147729538783/381266660\ 353157206033499481519223*c_1100_15^16 - 505068451462274530361392959457534/381266660353157206033499481519223\ *c_1100_15^15 - 8027458947035650658026949575944469/3812666603531572\ 06033499481519223*c_1100_15^14 + 3883960051680824314009536210145068\ 6/381266660353157206033499481519223*c_1100_15^13 - 24285450888972396638297102390936513/3812666603531572060334994815192\ 23*c_1100_15^12 - 141101634182180162285286393269162891/381266660353\ 157206033499481519223*c_1100_15^11 + 249161216936137068203088363647057942/381266660353157206033499481519\ 223*c_1100_15^10 + 35760490221542423898877082793489684/381266660353\ 157206033499481519223*c_1100_15^9 - 375507950213765372683971432745431048/381266660353157206033499481519\ 223*c_1100_15^8 + 208005803395626910169157803406632518/381266660353\ 157206033499481519223*c_1100_15^7 + 76615864070522020854520128132106292/3812666603531572060334994815192\ 23*c_1100_15^6 - 45853069158416117964456043458626038/38126666035315\ 7206033499481519223*c_1100_15^5 + 222543778330109812939566455407497\ 9/381266660353157206033499481519223*c_1100_15^4 - 2715859353911298648705420118485/381266660353157206033499481519223*c\ _1100_15^3 - 5270946862508567976257984227386033/3812666603531572060\ 33499481519223*c_1100_15^2 + 1661650908158750801460564992540519/381\ 266660353157206033499481519223*c_1100_15 - 273018209389172360654899779743736/381266660353157206033499481519223\ , c_0101_0 - 497695281247532517676120289660865/38126666035315720603349948\ 1519223*c_1100_15^17 + 194033261210104824475257175541152/3812666603\ 53157206033499481519223*c_1100_15^16 + 841576855397779996848930625942976/381266660353157206033499481519223\ *c_1100_15^15 + 13274940097398215304000488936899881/381266660353157\ 206033499481519223*c_1100_15^14 - 609818255482475499378497520633013\ 20/381266660353157206033499481519223*c_1100_15^13 + 28907034806436194161375863325042756/3812666603531572060334994815192\ 23*c_1100_15^12 + 233735032861537668539270077550700023/381266660353\ 157206033499481519223*c_1100_15^11 - 363384209717146108776857918642027845/381266660353157206033499481519\ 223*c_1100_15^10 - 116801078895437664512126636015731949/38126666035\ 3157206033499481519223*c_1100_15^9 + 580556979707749018172055603880769749/381266660353157206033499481519\ 223*c_1100_15^8 - 239085020236939293697401701693594241/381266660353\ 157206033499481519223*c_1100_15^7 - 149989834094710340817345106964147534/381266660353157206033499481519\ 223*c_1100_15^6 + 42299688087808341724741513080879103/3812666603531\ 57206033499481519223*c_1100_15^5 - 1194925828248435655003182917538496/38126666035315720603349948151922\ 3*c_1100_15^4 - 165547584542816614645210994826645/38126666035315720\ 6033499481519223*c_1100_15^3 + 9188001752965344934228986725761306/3\ 81266660353157206033499481519223*c_1100_15^2 - 1109161068614099782861273876512188/38126666035315720603349948151922\ 3*c_1100_15 + 626161210154999958159271802674148/3812666603531572060\ 33499481519223, c_0101_1 - 442302032604578591109205329745230/38126666035315720603349948\ 1519223*c_1100_15^17 + 138730789883871671521397331238474/3812666603\ 53157206033499481519223*c_1100_15^16 + 768341848789215883454611882121266/381266660353157206033499481519223\ *c_1100_15^15 + 11858058612462254875390015452407832/381266660353157\ 206033499481519223*c_1100_15^14 - 533149857754010543966983577576800\ 76/381266660353157206033499481519223*c_1100_15^13 + 21352646900913338182892036187077795/3812666603531572060334994815192\ 23*c_1100_15^12 + 210397159701896327706949334233328120/381266660353\ 157206033499481519223*c_1100_15^11 - 306616020276975022697403293380291815/381266660353157206033499481519\ 223*c_1100_15^10 - 132687721866742382644648407874095863/38126666035\ 3157206033499481519223*c_1100_15^9 + 510477719838397265726710868166433229/381266660353157206033499481519\ 223*c_1100_15^8 - 165544576884568876696634038340275155/381266660353\ 157206033499481519223*c_1100_15^7 - 157792763542724769137151059342671752/381266660353157206033499481519\ 223*c_1100_15^6 + 22822141588374087907346886946163952/3812666603531\ 57206033499481519223*c_1100_15^5 + 8077177795544996020351009594038957/38126666035315720603349948151922\ 3*c_1100_15^4 + 1855803414523007310194192438341843/3812666603531572\ 06033499481519223*c_1100_15^3 + 7214221084093438199385620541889913/\ 381266660353157206033499481519223*c_1100_15^2 - 334473486586196104514099790624397/381266660353157206033499481519223\ *c_1100_15 + 436534464544501272382391004579787/38126666035315720603\ 3499481519223, c_0101_10 + 26156357276391386875569588863175/38126666035315720603349948\ 1519223*c_1100_15^17 - 40841878121506775529529512039745/38126666035\ 3157206033499481519223*c_1100_15^16 - 23381585532026617800447815997906/381266660353157206033499481519223*\ c_1100_15^15 - 646242601860871387282146269755850/381266660353157206\ 033499481519223*c_1100_15^14 + 4005778102556375475935914960815813/3\ 81266660353157206033499481519223*c_1100_15^13 - 5526386504049660398708980921325307/38126666035315720603349948151922\ 3*c_1100_15^12 - 9490404713577919555192653153444605/381266660353157\ 206033499481519223*c_1100_15^11 + 333518903113567806073295859522136\ 94/381266660353157206033499481519223*c_1100_15^10 - 20351742966852682487262909495909470/3812666603531572060334994815192\ 23*c_1100_15^9 - 33874959925871858607450959227832239/38126666035315\ 7206033499481519223*c_1100_15^8 + 539839317440235398779718868177244\ 13/381266660353157206033499481519223*c_1100_15^7 - 14658999338870118948321217092674119/3812666603531572060334994815192\ 23*c_1100_15^6 - 15624130419563042426443002406343991/38126666035315\ 7206033499481519223*c_1100_15^5 + 897950430029681047678169448735904\ 5/381266660353157206033499481519223*c_1100_15^4 + 1697122247954622268280395031247505/38126666035315720603349948151922\ 3*c_1100_15^3 - 1039344420787541895953691015680982/3812666603531572\ 06033499481519223*c_1100_15^2 - 56342459760228184501776216060592/38\ 1266660353157206033499481519223*c_1100_15 - 236789459957537561836962070776670/381266660353157206033499481519223\ , c_0101_12 - 483445218324276623086476583052915/3812666603531572060334994\ 81519223*c_1100_15^17 + 99425699239943659607721909733902/3812666603\ 53157206033499481519223*c_1100_15^16 + 859407094896158845696957487912348/381266660353157206033499481519223\ *c_1100_15^15 + 13052063629352205018480390947923241/381266660353157\ 206033499481519223*c_1100_15^14 - 568630973354504079098365045932232\ 50/381266660353157206033499481519223*c_1100_15^13 + 16962283758492947536179336511198967/3812666603531572060334994815192\ 23*c_1100_15^12 + 232834906756147492554433234436108121/381266660353\ 157206033499481519223*c_1100_15^11 - 310776975486824934165587318310952865/381266660353157206033499481519\ 223*c_1100_15^10 - 180988356288573451495927289499787884/38126666035\ 3157206033499481519223*c_1100_15^9 + 543664653465485059385230405812930367/381266660353157206033499481519\ 223*c_1100_15^8 - 125169720254686336513644821805282220/381266660353\ 157206033499481519223*c_1100_15^7 - 188252300664407694696328933283283742/381266660353157206033499481519\ 223*c_1100_15^6 + 10587379605318601286346576775780013/3812666603531\ 57206033499481519223*c_1100_15^5 + 3141305336319706875842090932948552/38126666035315720603349948151922\ 3*c_1100_15^4 + 4210882160209053271258623121812283/3812666603531572\ 06033499481519223*c_1100_15^3 + 9902319655522260604940413898999371/\ 381266660353157206033499481519223*c_1100_15^2 + 347812668634849362623320248438405/381266660353157206033499481519223\ *c_1100_15 + 256758573576163302773522665667587/38126666035315720603\ 3499481519223, c_0101_14 + 61591878479217270948391278425615/38126666035315720603349948\ 1519223*c_1100_15^17 - 49818383616042445873513149130467/38126666035\ 3157206033499481519223*c_1100_15^16 - 74736207943248060318860378403729/381266660353157206033499481519223*\ c_1100_15^15 - 1601102873653397986052311771770200/38126666035315720\ 6033499481519223*c_1100_15^14 + 8202875362498144843748892856530564/\ 381266660353157206033499481519223*c_1100_15^13 - 7256086542901127329844973940083605/38126666035315720603349948151922\ 3*c_1100_15^12 - 25209351256138494907688050437947777/38126666035315\ 7206033499481519223*c_1100_15^11 + 56584516766880925513689631533179750/3812666603531572060334994815192\ 23*c_1100_15^10 - 13744793168372998243867938928802328/3812666603531\ 57206033499481519223*c_1100_15^9 - 65487871978379091199864943437523442/3812666603531572060334994815192\ 23*c_1100_15^8 + 66570550831287853592719703402107698/38126666035315\ 7206033499481519223*c_1100_15^7 - 158500931963268089001489642835231\ 48/381266660353157206033499481519223*c_1100_15^6 - 6048615516514947536075805891139200/38126666035315720603349948151922\ 3*c_1100_15^5 + 8531305834230131951661489146989701/3812666603531572\ 06033499481519223*c_1100_15^4 - 1380777445305763677283844073866568/\ 381266660353157206033499481519223*c_1100_15^3 - 1309901566768082304816427700939803/38126666035315720603349948151922\ 3*c_1100_15^2 + 804023848310319791805144137625035/38126666035315720\ 6033499481519223*c_1100_15 - 331853214507999105524145690544305/3812\ 66660353157206033499481519223, c_0101_5 + 402649464412169346002604205430285/38126666035315720603349948\ 1519223*c_1100_15^17 - 208777337604520144516147222777663/3812666603\ 53157206033499481519223*c_1100_15^16 - 652668678272072027871477853132798/381266660353157206033499481519223\ *c_1100_15^15 - 10653690565670612703346562988118762/381266660353157\ 206033499481519223*c_1100_15^14 + 507002981708422640382101791846211\ 71/381266660353157206033499481519223*c_1100_15^13 - 29961332045006860661660638542547735/3812666603531572060334994815192\ 23*c_1100_15^12 - 185153226436685978142992368582610408/381266660353\ 157206033499481519223*c_1100_15^11 + 318134508965949945353228733210082323/381266660353157206033499481519\ 223*c_1100_15^10 + 52793925918908800146113937892030174/381266660353\ 157206033499481519223*c_1100_15^9 - 477925196962727284100929388385385110/381266660353157206033499481519\ 223*c_1100_15^8 + 258671524246594459661017196858921876/381266660353\ 157206033499481519223*c_1100_15^7 + 89086229314658762377885908715941012/3812666603531572060334994815192\ 23*c_1100_15^6 - 52450652753006461229953192398218048/38126666035315\ 7206033499481519223*c_1100_15^5 + 934485364933876798909011983630328\ 0/381266660353157206033499481519223*c_1100_15^4 + 2234218585453997305657142522096534/38126666035315720603349948151922\ 3*c_1100_15^3 - 6009017037937424057252325042479317/3812666603531572\ 06033499481519223*c_1100_15^2 + 882443051423796182786145766916958/3\ 81266660353157206033499481519223*c_1100_15 - 1130213845007142694246890513921986/38126666035315720603349948151922\ 3, c_0101_7 + 80045112184189234674920715071900/381266660353157206033499481\ 519223*c_1100_15^17 + 50284595243418565928401340422695/381266660353\ 157206033499481519223*c_1100_15^16 - 148906588376950036359837874992587/381266660353157206033499481519223\ *c_1100_15^15 - 2293611389520507159057920953238844/3812666603531572\ 06033499481519223*c_1100_15^14 + 7603307315545475104530219086119370\ /381266660353157206033499481519223*c_1100_15^13 + 4865275328864223173266848439192290/38126666035315720603349948151922\ 3*c_1100_15^12 - 39719103286890179425232186002235187/38126666035315\ 7206033499481519223*c_1100_15^11 + 17582947163737497779654769533491470/3812666603531572060334994815192\ 23*c_1100_15^10 + 70133554805471119101471070134420404/3812666603531\ 57206033499481519223*c_1100_15^9 - 55320844798730892493435816336639593/3812666603531572060334994815192\ 23*c_1100_15^8 - 59182684586804266813365031009954100/38126666035315\ 7206033499481519223*c_1100_15^7 + 376632605834524118836812967624446\ 48/381266660353157206033499481519223*c_1100_15^6 + 37174085878761538762505922160428158/3812666603531572060334994815192\ 23*c_1100_15^5 - 2106658422355383281435401110288828/381266660353157\ 206033499481519223*c_1100_15^4 - 4867125763392984200295230254491345\ /381266660353157206033499481519223*c_1100_15^3 - 1895308382647529633091324708171260/38126666035315720603349948151922\ 3*c_1100_15^2 - 1226239297943898308228528124374994/3812666603531572\ 06033499481519223*c_1100_15 - 226318406015303043816225443005999/381\ 266660353157206033499481519223, c_0110_16 + 265205120508341628017248062148215/3812666603531572060334994\ 81519223*c_1100_15^17 - 79198136819496134972636348443797/3812666603\ 53157206033499481519223*c_1100_15^16 - 465917166791824457933391747947264/381266660353157206033499481519223\ *c_1100_15^15 - 7109325196449011671224128467878490/3812666603531572\ 06033499481519223*c_1100_15^14 + 3186552189528433941112551560919261\ 9/381266660353157206033499481519223*c_1100_15^13 - 12219138942152244985241151441946638/3812666603531572060334994815192\ 23*c_1100_15^12 - 127002212879139050159931590713391297/381266660353\ 157206033499481519223*c_1100_15^11 + 182933845981303768638153195470452650/381266660353157206033499481519\ 223*c_1100_15^10 + 83635594195699134326007191976542679/381266660353\ 157206033499481519223*c_1100_15^9 - 309647756011748918849383293630504291/381266660353157206033499481519\ 223*c_1100_15^8 + 97008838976654552159649945329420694/3812666603531\ 57206033499481519223*c_1100_15^7 + 100774299504467464593983536975334208/381266660353157206033499481519\ 223*c_1100_15^6 - 17079774637154498837299135485586366/3812666603531\ 57206033499481519223*c_1100_15^5 - 5701137980526406196692778112634906/38126666035315720603349948151922\ 3*c_1100_15^4 - 255703052277212574961674020768916/38126666035315720\ 6033499481519223*c_1100_15^3 - 3824335806509021246846053977211885/3\ 81266660353157206033499481519223*c_1100_15^2 + 53488703050821704102462741190636/381266660353157206033499481519223*\ c_1100_15 - 548003335439809955735797388881334/381266660353157206033\ 499481519223, c_1001_1 + 482058016442948799418152476586485/38126666035315720603349948\ 1519223*c_1100_15^17 - 85366731323061861596597856586823/38126666035\ 3157206033499481519223*c_1100_15^16 - 865818334964120706810976757104608/381266660353157206033499481519223\ *c_1100_15^15 - 13039981524372880431773960344106522/381266660353157\ 206033499481519223*c_1100_15^14 + 563506740383529430168047986363127\ 55/381266660353157206033499481519223*c_1100_15^13 - 15120623554196327968334802913015728/3812666603531572060334994815192\ 23*c_1100_15^12 - 233308030143623264085093008372994623/381266660353\ 157206033499481519223*c_1100_15^11 + 302901525750690417869637247848133186/381266660353157206033499481519\ 223*c_1100_15^10 + 193429485483914850331750051973284203/38126666035\ 3157206033499481519223*c_1100_15^9 - 539712544454516651124653840586798057/381266660353157206033499481519\ 223*c_1100_15^8 + 101574235659220375874488163533442288/381266660353\ 157206033499481519223*c_1100_15^7 + 200778699038509773795500294824629417/381266660353157206033499481519\ 223*c_1100_15^6 - 326178599208797644719898477172627/381266660353157\ 206033499481519223*c_1100_15^5 - 1175566780092533639042088366037571\ 7/381266660353157206033499481519223*c_1100_15^4 - 6241968917641657336316226322811358/38126666035315720603349948151922\ 3*c_1100_15^3 - 8536607155178602042619576830580531/3812666603531572\ 06033499481519223*c_1100_15^2 - 176131302407592235319213517040018/3\ 81266660353157206033499481519223*c_1100_15 - 246185645906320861268810397553839/381266660353157206033499481519223\ , c_1001_11 + 240568440619494017682724015086200/3812666603531572060334994\ 81519223*c_1100_15^17 - 135468910292795813903287935516250/381266660\ 353157206033499481519223*c_1100_15^16 - 354925754359803306940948275996873/381266660353157206033499481519223\ *c_1100_15^15 - 6350731283481827625635037906507658/3812666603531572\ 06033499481519223*c_1100_15^14 + 3052288156205155993129750250182393\ 6/381266660353157206033499481519223*c_1100_15^13 - 20046344312214156789883953729622533/3812666603531572060334994815192\ 23*c_1100_15^12 - 106441042891284117192609727010518573/381266660353\ 157206033499481519223*c_1100_15^11 + 194334615784139913913748802235234556/381266660353157206033499481519\ 223*c_1100_15^10 + 8626690816281115579482779962807122/3812666603531\ 57206033499481519223*c_1100_15^9 - 268864654675514576441892435320568643/381266660353157206033499481519\ 223*c_1100_15^8 + 180072731993396955042916632272840849/381266660353\ 157206033499481519223*c_1100_15^7 + 12573542057079077619708399234760967/3812666603531572060334994815192\ 23*c_1100_15^6 - 27427290682505795445462085216370710/38126666035315\ 7206033499481519223*c_1100_15^5 + 202092739466101749429807051593487\ 33/381266660353157206033499481519223*c_1100_15^4 - 506710008841723371674114467835396/381266660353157206033499481519223\ *c_1100_15^3 - 4155253107965650541245273771966832/38126666035315720\ 6033499481519223*c_1100_15^2 + 763038420227782948565704043908787/38\ 1266660353157206033499481519223*c_1100_15 - 1199140727542130660299493209393265/38126666035315720603349948151922\ 3, c_1001_16 - 545037096803493894034867861478530/3812666603531572060334994\ 81519223*c_1100_15^17 + 149244082855986105481235058864369/381266660\ 353157206033499481519223*c_1100_15^16 + 934143302839406906015817866316077/381266660353157206033499481519223\ *c_1100_15^15 + 14653166503005603004532702719693441/381266660353157\ 206033499481519223*c_1100_15^14 - 650659726979485527535853974497538\ 14/381266660353157206033499481519223*c_1100_15^13 + 24218370301394074866024310451282572/3812666603531572060334994815192\ 23*c_1100_15^12 + 258044258012285987462121284874055898/381266660353\ 157206033499481519223*c_1100_15^11 - 367361492253705859679276949844132615/381266660353157206033499481519\ 223*c_1100_15^10 - 167243563120200453252059350570985556/38126666035\ 3157206033499481519223*c_1100_15^9 + 609152525443864150585095349250453809/381266660353157206033499481519\ 223*c_1100_15^8 - 191740271085974190106364525207389918/381266660353\ 157206033499481519223*c_1100_15^7 - 172402207468080885796179968999760594/381266660353157206033499481519\ 223*c_1100_15^6 + 16635995121833548822422382666919213/3812666603531\ 57206033499481519223*c_1100_15^5 - 5390000497910425075819398214041149/38126666035315720603349948151922\ 3*c_1100_15^4 + 5591659605514816948542467195678851/3812666603531572\ 06033499481519223*c_1100_15^3 + 11212221222290342909756841599939174\ /381266660353157206033499481519223*c_1100_15^2 - 456211179675470429181823889186630/381266660353157206033499481519223\ *c_1100_15 + 588611788084162408297668356211892/38126666035315720603\ 3499481519223, c_1100_0 - 442302032604578591109205329745230/38126666035315720603349948\ 1519223*c_1100_15^17 + 138730789883871671521397331238474/3812666603\ 53157206033499481519223*c_1100_15^16 + 768341848789215883454611882121266/381266660353157206033499481519223\ *c_1100_15^15 + 11858058612462254875390015452407832/381266660353157\ 206033499481519223*c_1100_15^14 - 533149857754010543966983577576800\ 76/381266660353157206033499481519223*c_1100_15^13 + 21352646900913338182892036187077795/3812666603531572060334994815192\ 23*c_1100_15^12 + 210397159701896327706949334233328120/381266660353\ 157206033499481519223*c_1100_15^11 - 306616020276975022697403293380291815/381266660353157206033499481519\ 223*c_1100_15^10 - 132687721866742382644648407874095863/38126666035\ 3157206033499481519223*c_1100_15^9 + 510477719838397265726710868166433229/381266660353157206033499481519\ 223*c_1100_15^8 - 165544576884568876696634038340275155/381266660353\ 157206033499481519223*c_1100_15^7 - 157792763542724769137151059342671752/381266660353157206033499481519\ 223*c_1100_15^6 + 22822141588374087907346886946163952/3812666603531\ 57206033499481519223*c_1100_15^5 + 8077177795544996020351009594038957/38126666035315720603349948151922\ 3*c_1100_15^4 + 1855803414523007310194192438341843/3812666603531572\ 06033499481519223*c_1100_15^3 + 7214221084093438199385620541889913/\ 381266660353157206033499481519223*c_1100_15^2 - 334473486586196104514099790624397/381266660353157206033499481519223\ *c_1100_15 + 436534464544501272382391004579787/38126666035315720603\ 3499481519223, c_1100_15^18 - 4/5*c_1100_15^17 - 8/5*c_1100_15^16 - 26*c_1100_15^15 + 668/5*c_1100_15^14 - 532/5*c_1100_15^13 - 453*c_1100_15^12 + 921*c_1100_15^11 - 152/5*c_1100_15^10 - 6443/5*c_1100_15^9 + 4536/5*c_1100_15^8 + 837/5*c_1100_15^7 - 177*c_1100_15^6 - 6*c_1100_15^5 - 91/5*c_1100_15^4 - 11*c_1100_15^3 + 59/5*c_1100_15^2 - 7/5*c_1100_15 + 1 ], Ideal of Polynomial ring of rank 19 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_13, c_0011_14, c_0101_0, c_0101_1, c_0101_10, c_0101_12, c_0101_14, c_0101_5, c_0101_7, c_0110_16, c_1001_1, c_1001_11, c_1001_16, c_1100_0, c_1100_15 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 7451574753205085146803883062302064/502493741487696046681534886633*c\ _1100_0*c_1100_15^11 - 28066400930707748383438106915687669/50249374\ 1487696046681534886633*c_1100_0*c_1100_15^10 + 284156400703894647396837137037207734/502493741487696046681534886633\ *c_1100_0*c_1100_15^9 + 341641898108993412303794525605774778/502493\ 741487696046681534886633*c_1100_0*c_1100_15^8 - 311255913242794967296662267786468955/502493741487696046681534886633\ *c_1100_0*c_1100_15^7 - 9287429350423620515140962343879044406/50249\ 3741487696046681534886633*c_1100_0*c_1100_15^6 + 23607255900662295074080784247058466929/5024937414876960466815348866\ 33*c_1100_0*c_1100_15^5 + 428254408275911774549109441323172676/5024\ 93741487696046681534886633*c_1100_0*c_1100_15^4 + 1667677932848482932925476244501652018/50249374148769604668153488663\ 3*c_1100_0*c_1100_15^3 + 513842836966623173069101444894627781/50249\ 3741487696046681534886633*c_1100_0*c_1100_15^2 - 13224512689439994968781772492575725/502493741487696046681534886633*\ c_1100_0*c_1100_15 - 168393908049213705271343521665337/502493741487\ 696046681534886633*c_1100_0 - 5990250192338407319978345306617609/50\ 2493741487696046681534886633*c_1100_15^11 + 1788589741437372876081531501773443/38653364729822772821656529741*c_\ 1100_15^10 - 230889976360554338718697907895483772/50249374148769604\ 6681534886633*c_1100_15^9 - 248830420318106236038639324688296029/50\ 2493741487696046681534886633*c_1100_15^8 + 286888272175433019003841102758459165/502493741487696046681534886633\ *c_1100_15^7 + 7445161278961345023458451048380160064/50249374148769\ 6046681534886633*c_1100_15^6 - 198409540707371672820124541285762324\ 72/502493741487696046681534886633*c_1100_15^5 + 1666799302702444633363609447057516391/50249374148769604668153488663\ 3*c_1100_15^4 - 917466547178728768444982924822543844/50249374148769\ 6046681534886633*c_1100_15^3 - 112268733525337077327049849972613041\ /502493741487696046681534886633*c_1100_15^2 + 67407686476094043600042330721178234/502493741487696046681534886633*\ c_1100_15 + 22296153642998787773942541806801727/5024937414876960466\ 81534886633, c_0011_0 - 1, c_0011_10 + 22594840378331851/415391731263627241*c_1100_0*c_1100_15^11 - 84696918844454992/415391731263627241*c_1100_0*c_1100_15^10 + 855696516106057879/415391731263627241*c_1100_0*c_1100_15^9 + 1068414655129393967/415391731263627241*c_1100_0*c_1100_15^8 - 1094338846750574137/415391731263627241*c_1100_0*c_1100_15^7 - 28364521270346175869/415391731263627241*c_1100_0*c_1100_15^6 + 71279619020160988780/415391731263627241*c_1100_0*c_1100_15^5 + 8059391121912566676/415391731263627241*c_1100_0*c_1100_15^4 - 9321961673787491093/415391731263627241*c_1100_0*c_1100_15^3 + 2692173055700821577/415391731263627241*c_1100_0*c_1100_15^2 - 828066819364064891/415391731263627241*c_1100_0*c_1100_15 - 90414914072661342/415391731263627241*c_1100_0 - 9862026802333353/415391731263627241*c_1100_15^11 + 41791151127366888/415391731263627241*c_1100_15^10 - 395910101455991419/415391731263627241*c_1100_15^9 - 266278777542922791/415391731263627241*c_1100_15^8 + 536208149327278487/415391731263627241*c_1100_15^7 + 11987347644753646894/415391731263627241*c_1100_15^6 - 36939022738528081383/415391731263627241*c_1100_15^5 + 17066795028294189245/415391731263627241*c_1100_15^4 - 9251636189346984988/415391731263627241*c_1100_15^3 - 161226807855522297/415391731263627241*c_1100_15^2 - 40956947314423450/415391731263627241*c_1100_15 + 159745574926520967/415391731263627241, c_0011_11 + 18614804078574949/415391731263627241*c_1100_0*c_1100_15^11 - 60310786317004239/415391731263627241*c_1100_0*c_1100_15^10 + 666619490725559319/415391731263627241*c_1100_0*c_1100_15^9 + 1251356880099214502/415391731263627241*c_1100_0*c_1100_15^8 - 569935929209911881/415391731263627241*c_1100_0*c_1100_15^7 - 23888011947855151615/415391731263627241*c_1100_0*c_1100_15^6 + 47043876753719097340/415391731263627241*c_1100_0*c_1100_15^5 + 39985565124727839742/415391731263627241*c_1100_0*c_1100_15^4 - 15715314018386080621/415391731263627241*c_1100_0*c_1100_15^3 + 3872893639609986017/415391731263627241*c_1100_0*c_1100_15^2 - 100191943365565387/415391731263627241*c_1100_0*c_1100_15 - 219996104635897392/415391731263627241*c_1100_0 + 9862026802333353/415391731263627241*c_1100_15^11 - 41791151127366888/415391731263627241*c_1100_15^10 + 395910101455991419/415391731263627241*c_1100_15^9 + 266278777542922791/415391731263627241*c_1100_15^8 - 536208149327278487/415391731263627241*c_1100_15^7 - 11987347644753646894/415391731263627241*c_1100_15^6 + 36939022738528081383/415391731263627241*c_1100_15^5 - 17066795028294189245/415391731263627241*c_1100_15^4 + 9251636189346984988/415391731263627241*c_1100_15^3 + 161226807855522297/415391731263627241*c_1100_15^2 + 40956947314423450/415391731263627241*c_1100_15 - 159745574926520967/415391731263627241, c_0011_13 + 1414645603107543/415391731263627241*c_1100_0*c_1100_15^11 - 26580523016543440/415391731263627241*c_1100_0*c_1100_15^10 + 141994180650201709/415391731263627241*c_1100_0*c_1100_15^9 - 775090971217756861/415391731263627241*c_1100_0*c_1100_15^8 - 731059204262229851/415391731263627241*c_1100_0*c_1100_15^7 - 483793809030515205/415391731263627241*c_1100_0*c_1100_15^6 + 30649328233110699651/415391731263627241*c_1100_0*c_1100_15^5 - 77273220359409854099/415391731263627241*c_1100_0*c_1100_15^4 + 23681193082911093599/415391731263627241*c_1100_0*c_1100_15^3 - 1714171885687743539/415391731263627241*c_1100_0*c_1100_15^2 - 527639227664333062/415391731263627241*c_1100_0*c_1100_15 + 381993669223521443/415391731263627241*c_1100_0 - 13390142634235449/415391731263627241*c_1100_15^11 + 56764506146767970/415391731263627241*c_1100_15^10 - 532401158229754084/415391731263627241*c_1100_15^9 - 380367628214332651/415391731263627241*c_1100_15^8 + 928246562126880084/415391731263627241*c_1100_15^7 + 16515853264719316833/415391731263627241*c_1100_15^6 - 50409291907639958472/415391731263627241*c_1100_15^5 + 16713109214994352713/415391731263627241*c_1100_15^4 + 4018773621196933586/415391731263627241*c_1100_15^3 + 492209450930148015/415391731263627241*c_1100_15^2 + 212960861472015118/415391731263627241*c_1100_15 - 184767866826623262/415391731263627241, c_0011_14 + 121078131224200/8838121941779303*c_1100_0*c_1100_15^11 - 268326779679287/8838121941779303*c_1100_0*c_1100_15^10 + 3856461323512143/8838121941779303*c_1100_0*c_1100_15^9 + 12868853801090733/8838121941779303*c_1100_0*c_1100_15^8 + 1667619341949180/8838121941779303*c_1100_0*c_1100_15^7 - 162858383820860369/8838121941779303*c_1100_0*c_1100_15^6 + 150058183749724031/8838121941779303*c_1100_0*c_1100_15^5 + 670515973055876399/8838121941779303*c_1100_0*c_1100_15^4 - 79268909019731375/8838121941779303*c_1100_0*c_1100_15^3 - 95447484714219106/8838121941779303*c_1100_0*c_1100_15^2 + 11582181347686985/8838121941779303*c_1100_0*c_1100_15 - 6779761439581818/8838121941779303*c_1100_0 + 14376352196061136/415391731263627241*c_1100_15^11 - 64633557383658189/415391731263627241*c_1100_15^10 + 587087391808843600/415391731263627241*c_1100_15^9 + 261969913672735763/415391731263627241*c_1100_15^8 - 1106071342909039688/415391731263627241*c_1100_15^7 - 17498342093155298240/415391731263627241*c_1100_15^6 + 58663055983270346809/415391731263627241*c_1100_15^5 - 31604481510014678163/415391731263627241*c_1100_15^4 + 259932686353825845/415391731263627241*c_1100_15^3 - 735486773106245638/415391731263627241*c_1100_15^2 - 152064079913281939/415391731263627241*c_1100_15 + 85926272615428186/415391731263627241, c_0101_0 + 85325257260276064/415391731263627241*c_1100_0*c_1100_15^11 - 342267449962580454/415391731263627241*c_1100_0*c_1100_15^10 + 3337994618584812034/415391731263627241*c_1100_0*c_1100_15^9 + 3094198451552631182/415391731263627241*c_1100_0*c_1100_15^8 - 4309008131041849120/415391731263627241*c_1100_0*c_1100_15^7 - 105233985698713921621/415391731263627241*c_1100_0*c_1100_15^6 + 296110796063680929897/415391731263627241*c_1100_0*c_1100_15^5 - 68170459015501587215/415391731263627241*c_1100_0*c_1100_15^4 + 35890221206318516736/415391731263627241*c_1100_0*c_1100_15^3 + 361698291066967734/415391731263627241*c_1100_0*c_1100_15^2 + 119089752572218000/415391731263627241*c_1100_0*c_1100_15 + 236714755368408488/415391731263627241*c_1100_0 - c_1100_15, c_0101_1 + c_1100_0 - c_1100_15, c_0101_10 - 7453931971971877/415391731263627241*c_1100_15^11 + 26544311552947739/415391731263627241*c_1100_15^10 - 277503506266315105/415391731263627241*c_1100_15^9 - 403503362232240931/415391731263627241*c_1100_15^8 + 276884400696199698/415391731263627241*c_1100_15^7 + 9411892691946076129/415391731263627241*c_1100_15^6 - 21746795997095202033/415391731263627241*c_1100_15^5 - 6532098132085615736/415391731263627241*c_1100_15^4 + 947087503905791882/415391731263627241*c_1100_15^3 + 582086094934493002/415391731263627241*c_1100_15^2 - 570465090279107762/415391731263627241*c_1100_15 + 62336448287564054/415391731263627241, c_0101_12 - 66183595969047306/415391731263627241*c_1100_0*c_1100_15^11 + 284517324244956028/415391731263627241*c_1100_0*c_1100_15^10 - 2660571138572266723/415391731263627241*c_1100_0*c_1100_15^9 - 1674651883129030772/415391731263627241*c_1100_0*c_1100_15^8 + 4222364577324291489/415391731263627241*c_1100_0*c_1100_15^7 + 80870162751714081837/415391731263627241*c_1100_0*c_1100_15^6 - 253415053353069360199/415391731263627241*c_1100_0*c_1100_15^5 + 112768618501592427077/415391731263627241*c_1100_0*c_1100_15^4 - 26618492839158922189/415391731263627241*c_1100_0*c_1100_15^3 + 6976857905669823777/415391731263627241*c_1100_0*c_1100_15^2 - 786688487770194008/415391731263627241*c_1100_0*c_1100_15 - 476709585644411285/415391731263627241*c_1100_0 - 15552698969870753/415391731263627241*c_1100_15^11 + 54402509772293377/415391731263627241*c_1100_15^10 - 577163783661062140/415391731263627241*c_1100_15^9 - 871114906194187242/415391731263627241*c_1100_15^8 + 457830040255667027/415391731263627241*c_1100_15^7 + 19641691684334084237/415391731263627241*c_1100_15^6 - 43991757374765110840/415391731263627241*c_1100_15^5 - 14447455705332001508/415391731263627241*c_1100_15^4 - 5525997465419610363/415391731263627241*c_1100_15^3 + 4324804973712775685/415391731263627241*c_1100_15^2 - 585319470655711745/415391731263627241*c_1100_15 + 63002631323239172/415391731263627241, c_0101_14 - 19782940368766804/415391731263627241*c_1100_15^11 + 79410895779421789/415391731263627241*c_1100_15^10 - 774141167725719550/415391731263627241*c_1100_15^9 - 714633990964784271/415391731263627241*c_1100_15^8 + 998945461997435685/415391731263627241*c_1100_15^7 + 24419811300165681439/415391731263627241*c_1100_15^6 - 68690343586206921281/415391731263627241*c_1100_15^5 + 15962933888142305923/415391731263627241*c_1100_15^4 - 9160916572648384875/415391731263627241*c_1100_15^3 + 1779442427305903598/415391731263627241*c_1100_15^2 + 476709585644411285/415391731263627241*c_1100_15 - 66183595969047306/415391731263627241, c_0101_5 - 25102315129070628/415391731263627241*c_1100_0*c_1100_15^11 + 76545512435906440/415391731263627241*c_1100_0*c_1100_15^10 - 881286929914291238/415391731263627241*c_1100_0*c_1100_15^9 - 1868090746084237705/415391731263627241*c_1100_0*c_1100_15^8 + 533462797658542032/415391731263627241*c_1100_0*c_1100_15^7 + 32414498696675479287/415391731263627241*c_1100_0*c_1100_15^6 - 57446835070656570782/415391731263627241*c_1100_0*c_1100_15^5 - 68670518044227525910/415391731263627241*c_1100_0*c_1100_15^4 + 19116436720814014881/415391731263627241*c_1100_0*c_1100_15^3 - 4689776156151851975/415391731263627241*c_1100_0*c_1100_15^2 - 706987902281950863/415391731263627241*c_1100_0*c_1100_15 + 367657810183737510/415391731263627241*c_1100_0 + 61915815815799276/415391731263627241*c_1100_15^11 - 256932423191543300/415391731263627241*c_1100_15^10 + 2457238958737424635/415391731263627241*c_1100_15^9 + 1909257230464516075/415391731263627241*c_1100_15^8 - 3418354910305211432/415391731263627241*c_1100_15^7 - 75834034879471753300/415391731263627241*c_1100_15^6 + 225481197962949984641/415391731263627241*c_1100_15^5 - 80110861041814682030/415391731263627241*c_1100_15^4 + 32928370106734618421/415391731263627241*c_1100_15^3 + 2235377384286723148/415391731263627241*c_1100_15^2 - 374368158803703210/415391731263627241*c_1100_15 - 84967272345249386/415391731263627241, c_0101_7 - 601015355152122/415391731263627241*c_1100_0*c_1100_15^11 + 15813992695193426/415391731263627241*c_1100_0*c_1100_15^10 - 77763570800545409/415391731263627241*c_1100_0*c_1100_15^9 + 502013756590631900/415391731263627241*c_1100_0*c_1100_15^8 + 507054231248580501/415391731263627241*c_1100_0*c_1100_15^7 - 49257816338295227/415391731263627241*c_1100_0*c_1100_15^6 - 18692449278855891903/415391731263627241*c_1100_0*c_1100_15^5 + 47719494529643931470/415391731263627241*c_1100_0*c_1100_15^4 - 9548390194780099373/415391731263627241*c_1100_0*c_1100_15^3 - 2213936018888336559/415391731263627241*c_1100_0*c_1100_15^2 + 672497068697395152/415391731263627241*c_1100_0*c_1100_15 - 330741055808500692/415391731263627241*c_1100_0 - 14376352196061136/415391731263627241*c_1100_15^11 + 64633557383658189/415391731263627241*c_1100_15^10 - 587087391808843600/415391731263627241*c_1100_15^9 - 261969913672735763/415391731263627241*c_1100_15^8 + 1106071342909039688/415391731263627241*c_1100_15^7 + 17498342093155298240/415391731263627241*c_1100_15^6 - 58663055983270346809/415391731263627241*c_1100_15^5 + 31604481510014678163/415391731263627241*c_1100_15^4 - 259932686353825845/415391731263627241*c_1100_15^3 + 735486773106245638/415391731263627241*c_1100_15^2 + 152064079913281939/415391731263627241*c_1100_15 - 85926272615428186/415391731263627241, c_0110_16 - 18614804078574949/415391731263627241*c_1100_0*c_1100_15^11 + 60310786317004239/415391731263627241*c_1100_0*c_1100_15^10 - 666619490725559319/415391731263627241*c_1100_0*c_1100_15^9 - 1251356880099214502/415391731263627241*c_1100_0*c_1100_15^8 + 569935929209911881/415391731263627241*c_1100_0*c_1100_15^7 + 23888011947855151615/415391731263627241*c_1100_0*c_1100_15^6 - 47043876753719097340/415391731263627241*c_1100_0*c_1100_15^5 - 39985565124727839742/415391731263627241*c_1100_0*c_1100_15^4 + 15715314018386080621/415391731263627241*c_1100_0*c_1100_15^3 - 3872893639609986017/415391731263627241*c_1100_0*c_1100_15^2 + 100191943365565387/415391731263627241*c_1100_0*c_1100_15 + 219996104635897392/415391731263627241*c_1100_0 + 24010456799628910/415391731263627241*c_1100_15^11 - 101149019466230580/415391731263627241*c_1100_15^10 + 958519230647932808/415391731263627241*c_1100_15^9 + 682927464497483207/415391731263627241*c_1100_15^8 - 1397707451985218189/415391731263627241*c_1100_15^7 - 29350693002903873094/415391731263627241*c_1100_15^6 + 89322047379586837159/415391731263627241*c_1100_15^5 - 35779092503330836655/415391731263627241*c_1100_15^4 + 12510241294363997688/415391731263627241*c_1100_15^3 + 340256925668581145/415391731263627241*c_1100_15^2 - 179039157321473942/415391731263627241*c_1100_15 - 178360379005095916/415391731263627241, c_1001_1 + 51452773658313801/415391731263627241*c_1100_15^11 - 199327279368982986/415391731263627241*c_1100_15^10 + 1983565286480887807/415391731263627241*c_1100_15^9 + 2144992209512225184/415391731263627241*c_1100_15^8 - 2375092529729352444/415391731263627241*c_1100_15^7 - 63895945051056401633/415391731263627241*c_1100_15^6 + 169849725945566011355/415391731263627241*c_1100_15^5 - 15324571483876561315/415391731263627241*c_1100_15^4 + 14128343722607534060/415391731263627241*c_1100_15^3 - 139785442457135708/415391731263627241*c_1100_15^2 + 257171962579268492/415391731263627241*c_1100_15 + 159428978036398130/415391731263627241, c_1001_11 + 33872483601962263/415391731263627241*c_1100_15^11 - 142940170593597468/415391731263627241*c_1100_15^10 + 1354429332103924227/415391731263627241*c_1100_15^9 + 949206242040405998/415391731263627241*c_1100_15^8 - 1933915601312496676/415391731263627241*c_1100_15^7 - 41338040647657519988/415391731263627241*c_1100_15^6 + 126261070118114918542/415391731263627241*c_1100_15^5 - 52845887531625025900/415391731263627241*c_1100_15^4 + 21761877483710982676/415391731263627241*c_1100_15^3 + 501483733524103442/415391731263627241*c_1100_15^2 - 138082210007050492/415391731263627241*c_1100_15 - 338105953931616883/415391731263627241, c_1001_16 - 41590746855980448/415391731263627241*c_1100_15^11 + 157536128241616098/415391731263627241*c_1100_15^10 - 1587655185024896388/415391731263627241*c_1100_15^9 - 1878713431969302393/415391731263627241*c_1100_15^8 + 1838884380402073957/415391731263627241*c_1100_15^7 + 51908597406302754739/415391731263627241*c_1100_15^6 - 132910703207037929972/415391731263627241*c_1100_15^5 - 1742223544417627930/415391731263627241*c_1100_15^4 - 4876707533260549072/415391731263627241*c_1100_15^3 + 301012250312658005/415391731263627241*c_1100_15^2 - 216215015264845042/415391731263627241*c_1100_15 + 96217178300708144/415391731263627241, c_1100_0^2 - c_1100_0*c_1100_15 - 14152125783519018/415391731263627241*\ c_1100_15^11 + 52499708264415461/415391731263627241*c_1100_15^10 - 536036984226058761/415391731263627241*c_1100_15^9 - 681478078778304610/415391731263627241*c_1100_15^8 + 576162135384340057/415391731263627241*c_1100_15^7 + 17712961194770813767/415391731263627241*c_1100_15^6 - 43843007185435799067/415391731263627241*c_1100_15^5 - 4128208280844026659/415391731263627241*c_1100_15^4 - 1695209375770569581/415391731263627241*c_1100_15^3 + 33050933099050701/415391731263627241*c_1100_15^2 - 12363031711593487/415391731263627241*c_1100_15 + 114823735968101266/415391731263627241, c_1100_15^12 - 4*c_1100_15^11 + 39*c_1100_15^10 + 37*c_1100_15^9 - 53*c_1100_15^8 - 1237*c_1100_15^7 + 3460*c_1100_15^6 - 666*c_1100_15^5 + 161*c_1100_15^4 + 33*c_1100_15^3 - 15*c_1100_15^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE FREE=VARIABLES=IN=COMPONENTS=BEGINS=HERE [ [ ], [ ], [ ], [ ], [ ] ] FREE=VARIABLES=IN=COMPONENTS=ENDS=HERE CPUTIME: 22657.580 Total time: 22658.240 seconds, Total memory usage: 43318.81MB