Magma V2.19-10 Fri Nov 15 2013 17:50:23 on iw-h31-1 [Seed = 3929939313] +-------------------------------------------------------------------+ | 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^2_152 geometric_solution 16.64873323 oriented_manifold CS_unknown 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 18 1 2 3 4 0132 0132 0132 0132 0 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 0 0 0 0 0 0 0 0 0 -1 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.456103142151 0.847271454078 0 5 6 2 0132 0132 0132 3120 0 0 1 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 -1 0 0 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.472475349504 0.401284714005 1 0 8 7 3120 0132 0132 0132 0 0 1 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.842531913191 0.724497297103 9 10 11 0 0132 0132 0132 0132 0 0 1 1 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.051271795574 1.275422313935 5 5 0 12 0132 1230 0132 0132 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 -1 0 1 0 -1 0 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.149128041995 0.726137416366 4 1 4 13 0132 0132 3012 0132 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 1 0 -1 0 1 0 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.728618658480 1.321415768254 11 13 9 1 0132 0132 0132 0132 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.352192450511 0.676494955977 9 10 2 14 2103 0213 0132 0132 0 0 0 1 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.400640747184 0.602552255754 14 13 12 2 0132 1302 0213 0132 0 0 0 1 0 0 0 0 0 0 1 -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 0 0 0 0 0 1 -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.286465756179 1.318004620936 3 15 7 6 0132 0132 2103 0132 0 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 1 0 -1 0 0 0 0 0 2 0 -2 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.643521307305 0.536192358209 16 3 7 17 0132 0132 0213 0132 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 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.831783296301 0.968769025914 6 14 12 3 0132 0321 0132 0132 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.309967775779 0.730212882868 13 8 4 11 0132 0213 0132 0132 0 0 0 1 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 0 1 -1 0 0 2 -1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.229564425423 1.044298732885 12 6 5 8 0132 0132 0132 2031 0 0 1 0 0 0 0 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 0 0 0 0 0 0 0 -2 2 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.536550034432 0.835826722104 8 15 7 11 0132 1230 0132 0321 0 0 1 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 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.234808355161 1.150826407254 17 9 14 16 1023 0132 3012 1023 0 0 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 -1 0 1 0 0 0 0 -1 1 0 0 1 -2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.831783296301 0.968769025914 10 17 17 15 0132 1023 0132 1023 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 -1 1 0 0 0 1 -1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.052255983304 0.663548162322 16 15 10 16 1023 1023 0132 0132 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 -1 1 0 0 -1 0 1 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.052255983304 0.663548162322 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_0' : negation(d['1']), 'c_1001_15' : negation(d['c_0011_14']), 'c_1001_14' : d['c_1001_14'], 'c_1001_17' : d['c_0101_15'], 'c_1001_16' : d['c_0101_16'], 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : d['c_1001_0'], 'c_1001_13' : d['c_1001_1'], 'c_1001_12' : d['c_0101_12'], 'c_1001_5' : d['c_0011_0'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : negation(d['c_0011_14']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_15'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0011_7'], 'c_1001_8' : d['c_0101_12'], 'c_1010_13' : negation(d['c_0011_14']), 'c_1010_12' : d['c_1001_11'], 'c_1010_11' : d['c_0101_15'], 'c_1010_10' : d['c_0101_15'], 'c_1010_17' : d['c_0101_16'], 'c_1010_16' : d['c_0101_16'], 'c_1010_15' : d['c_0011_7'], 'c_1010_14' : d['c_0101_15'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_3_15' : d['1'], 's_0_15' : d['1'], 's_0_16' : d['1'], 's_3_16' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_1'], 'c_0101_10' : d['c_0011_7'], 'c_0101_17' : d['c_0101_16'], 'c_0101_16' : d['c_0101_16'], 'c_0101_15' : d['c_0101_15'], 'c_0101_14' : d['c_0101_14'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : negation(d['1']), 's_2_6' : 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_2_15' : 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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_15' : negation(d['c_0011_10']), 'c_0011_14' : d['c_0011_14'], 'c_0011_17' : negation(d['c_0011_10']), 'c_0011_16' : negation(d['c_0011_10']), 'c_1100_9' : negation(d['c_0101_14']), 'c_1100_8' : d['c_1001_11'], 'c_0011_13' : d['c_0011_11'], 'c_0011_12' : negation(d['c_0011_11']), 'c_1100_5' : negation(d['c_1001_2']), 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : d['c_1001_11'], 'c_1100_6' : negation(d['c_0101_14']), 'c_1100_1' : negation(d['c_0101_14']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_1001_11'], 'c_1100_15' : negation(d['c_1001_14']), 's_3_11' : d['1'], 'c_1100_17' : d['c_1001_14'], 'c_1100_16' : d['c_1001_14'], 'c_1100_11' : d['c_1100_0'], 'c_1100_10' : d['c_1001_14'], 'c_1100_13' : negation(d['c_1001_2']), 's_0_11' : d['1'], 's_3_13' : d['1'], 'c_1010_7' : d['c_1001_14'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_1001_1'], 's_0_13' : d['1'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_0'], 'c_1100_14' : d['c_1001_11'], 's_0_14' : d['1'], 'c_1010_9' : negation(d['c_0011_14']), 's_3_14' : d['1'], 's_3_17' : d['1'], 's_0_17' : d['1'], 's_3_1' : d['1'], 'c_0101_13' : d['c_0101_1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_1100_0'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : negation(d['c_0011_14']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : negation(d['c_0011_11']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_3'], 'c_0110_10' : d['c_0101_16'], 'c_0110_13' : d['c_0101_12'], 'c_0110_12' : d['c_0101_1'], 'c_0110_15' : d['c_0101_16'], 'c_0110_14' : negation(d['c_0011_11']), 'c_0110_17' : d['c_0101_16'], 'c_0110_16' : d['c_0011_7'], 'c_1010_4' : d['c_0101_12'], 'c_0101_12' : d['c_0101_12'], 'c_1010_0' : d['c_1001_2'], 's_0_8' : d['1'], 's_0_9' : d['1'], 'c_1010_8' : d['c_1001_2'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0101_12'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_14'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : negation(d['c_0011_11']), 'c_0011_10' : d['c_0011_10'], '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_3'], 'c_0110_8' : d['c_0101_14'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_12'], 'c_0110_7' : d['c_0101_14'], 'c_0110_6' : d['c_0101_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY_DECOMPOSITION_TIME: 70.930 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_14, c_0011_7, c_0101_0, c_0101_1, c_0101_12, c_0101_14, c_0101_15, c_0101_16, c_0101_3, c_1001_0, c_1001_1, c_1001_11, c_1001_14, c_1001_2, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t + 11668419531/25499129344*c_1100_0^12 + 170724167053/25499129344*c_1100_0^11 + 263266417007/6374782336*c_1100_0^10 + 16894218915/122591968*c_1100_0^9 + 533345218637/1961471488*c_1100_0^8 + 501484783551/1593695584*c_1100_0^7 + 1485664891479/12749564672*c_1100_0^6 - 1380893024685/12749564672*c_1100_0^5 - 4880640306293/25499129344*c_1100_0^4 + 1193338080739/25499129344*c_1100_0^3 + 159494002599/12749564672*c_1100_0^2 - 31315570107/12749564672*c_1100_0 - 19524886263/25499129344, c_0011_0 - 1, c_0011_10 + 716371/583424*c_1100_0^12 + 9999889/583424*c_1100_0^11 + 7205471/72928*c_1100_0^10 + 43202335/145856*c_1100_0^9 + 283763965/583424*c_1100_0^8 + 6751551/18232*c_1100_0^7 - 66114919/291712*c_1100_0^6 - 139057949/291712*c_1100_0^5 - 190277609/583424*c_1100_0^4 + 259668015/583424*c_1100_0^3 - 20609297/291712*c_1100_0^2 - 1904049/291712*c_1100_0 + 1599633/583424, c_0011_11 + 347625/583424*c_1100_0^12 + 4941081/583424*c_1100_0^11 + 7305999/145856*c_1100_0^10 + 2850421/18232*c_1100_0^9 + 160486675/583424*c_1100_0^8 + 72351703/291712*c_1100_0^7 - 1742361/36464*c_1100_0^6 - 34948751/145856*c_1100_0^5 - 121440969/583424*c_1100_0^4 + 100137905/583424*c_1100_0^3 + 1483301/145856*c_1100_0^2 - 1399063/145856*c_1100_0 + 70157/583424, c_0011_14 - 105489/145856*c_1100_0^12 - 1501863/145856*c_1100_0^11 - 4452121/72928*c_1100_0^10 - 13950909/72928*c_1100_0^9 - 49443489/145856*c_1100_0^8 - 22685485/72928*c_1100_0^7 + 3404035/72928*c_1100_0^6 + 10482803/36464*c_1100_0^5 + 37654891/145856*c_1100_0^4 - 29211871/145856*c_1100_0^3 - 542497/36464*c_1100_0^2 + 807143/72928*c_1100_0 + 69367/145856, c_0011_7 + 179619/583424*c_1100_0^12 + 2645869/583424*c_1100_0^11 + 2053643/72928*c_1100_0^10 + 13769017/145856*c_1100_0^9 + 108144461/583424*c_1100_0^8 + 30100463/145856*c_1100_0^7 + 14670659/291712*c_1100_0^6 - 37284663/291712*c_1100_0^5 - 99674925/583424*c_1100_0^4 + 15943543/583424*c_1100_0^3 + 13170149/291712*c_1100_0^2 + 146165/291712*c_1100_0 - 1707115/583424, c_0101_0 + 347625/583424*c_1100_0^12 + 4941081/583424*c_1100_0^11 + 7305999/145856*c_1100_0^10 + 2850421/18232*c_1100_0^9 + 160486675/583424*c_1100_0^8 + 72351703/291712*c_1100_0^7 - 1742361/36464*c_1100_0^6 - 34948751/145856*c_1100_0^5 - 121440969/583424*c_1100_0^4 + 100137905/583424*c_1100_0^3 + 1483301/145856*c_1100_0^2 - 1399063/145856*c_1100_0 + 70157/583424, c_0101_1 - 1, c_0101_12 - 1, c_0101_14 + 74331/583424*c_1100_0^12 + 1066371/583424*c_1100_0^11 + 1598243/145856*c_1100_0^10 + 2549225/72928*c_1100_0^9 + 37287281/583424*c_1100_0^8 + 18390237/291712*c_1100_0^7 + 80687/72928*c_1100_0^6 - 6982461/145856*c_1100_0^5 - 29178595/583424*c_1100_0^4 + 16709579/583424*c_1100_0^3 + 686687/145856*c_1100_0^2 - 69367/145856*c_1100_0 + 235799/583424, c_0101_15 + 179619/583424*c_1100_0^12 + 2645869/583424*c_1100_0^11 + 2053643/72928*c_1100_0^10 + 13769017/145856*c_1100_0^9 + 108144461/583424*c_1100_0^8 + 30100463/145856*c_1100_0^7 + 14670659/291712*c_1100_0^6 - 37284663/291712*c_1100_0^5 - 99674925/583424*c_1100_0^4 + 15943543/583424*c_1100_0^3 + 13170149/291712*c_1100_0^2 + 146165/291712*c_1100_0 - 1707115/583424, c_0101_16 + 49907/583424*c_1100_0^12 + 806393/583424*c_1100_0^11 + 174061/18232*c_1100_0^10 + 5297411/145856*c_1100_0^9 + 48167141/583424*c_1100_0^8 + 8086117/72928*c_1100_0^7 + 17622981/291712*c_1100_0^6 - 14069885/291712*c_1100_0^5 - 54732377/583424*c_1100_0^4 - 18288465/583424*c_1100_0^3 + 14436215/291712*c_1100_0^2 - 1088561/291712*c_1100_0 - 562711/583424, c_0101_3 + 173/291712*c_1100_0^12 + 29081/145856*c_1100_0^11 + 203241/72928*c_1100_0^10 + 1206143/72928*c_1100_0^9 + 15280891/291712*c_1100_0^8 + 27699305/291712*c_1100_0^7 + 26832915/291712*c_1100_0^6 - 522151/291712*c_1100_0^5 - 10733871/145856*c_1100_0^4 - 21438343/291712*c_1100_0^3 + 13054021/291712*c_1100_0^2 + 1918103/291712*c_1100_0 - 402403/145856, c_1001_0 + 105489/145856*c_1100_0^12 + 1501863/145856*c_1100_0^11 + 4452121/72928*c_1100_0^10 + 13950909/72928*c_1100_0^9 + 49443489/145856*c_1100_0^8 + 22685485/72928*c_1100_0^7 - 3404035/72928*c_1100_0^6 - 10482803/36464*c_1100_0^5 - 37654891/145856*c_1100_0^4 + 29211871/145856*c_1100_0^3 + 542497/36464*c_1100_0^2 - 807143/72928*c_1100_0 - 69367/145856, c_1001_1 - c_1100_0, c_1001_11 - 74331/583424*c_1100_0^12 - 1066371/583424*c_1100_0^11 - 1598243/145856*c_1100_0^10 - 2549225/72928*c_1100_0^9 - 37287281/583424*c_1100_0^8 - 18390237/291712*c_1100_0^7 - 80687/72928*c_1100_0^6 + 6982461/145856*c_1100_0^5 + 29178595/583424*c_1100_0^4 - 16709579/583424*c_1100_0^3 - 686687/145856*c_1100_0^2 + 69367/145856*c_1100_0 - 235799/583424, c_1001_14 + 52471/291712*c_1100_0^12 + 731587/291712*c_1100_0^11 + 2102561/145856*c_1100_0^10 + 6258281/145856*c_1100_0^9 + 20147699/291712*c_1100_0^8 + 1763923/36464*c_1100_0^7 - 3121251/72928*c_1100_0^6 - 11398795/145856*c_1100_0^5 - 13780423/291712*c_1100_0^4 + 21055325/291712*c_1100_0^3 - 628623/145856*c_1100_0^2 - 335373/72928*c_1100_0 + 125061/291712, c_1001_2 + c_1100_0 + 1, c_1100_0^13 + 14*c_1100_0^12 + 81*c_1100_0^11 + 244*c_1100_0^10 + 403*c_1100_0^9 + 309*c_1100_0^8 - 186*c_1100_0^7 - 404*c_1100_0^6 - 269*c_1100_0^5 + 372*c_1100_0^4 - 31*c_1100_0^3 - 24*c_1100_0^2 + c_1100_0 + 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_14, c_0011_7, c_0101_0, c_0101_1, c_0101_12, c_0101_14, c_0101_15, c_0101_16, c_0101_3, c_1001_0, c_1001_1, c_1001_11, c_1001_14, c_1001_2, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 118760521344547862173880683585691283262/714749276449946783574760134\ 462162875*c_1100_0^17 + 1379189766526421760612922121321376859076/78\ 62242040949414619322361479083791625*c_1100_0^16 + 15736191143813428992222413801809622159571/7862242040949414619322361\ 479083791625*c_1100_0^15 - 9230811350732800444561431919421585630358\ /1572448408189882923864472295816758325*c_1100_0^14 - 75901556864203373954034662883768408532107/7862242040949414619322361\ 479083791625*c_1100_0^13 - 1392759342093146153222232821968169534942\ 62/7862242040949414619322361479083791625*c_1100_0^12 + 954353675118376677554570431453101542425168/786224204094941461932236\ 1479083791625*c_1100_0^11 - 431221770796232332925497985769689293061\ 87/7862242040949414619322361479083791625*c_1100_0^10 + 132833068495699855127392563176712813646881/157244840818988292386447\ 2295816758325*c_1100_0^9 - 1797320948933444482874649278785340709629\ 169/7862242040949414619322361479083791625*c_1100_0^8 + 1778673914651569790863066230637742165444834/78622420409494146193223\ 61479083791625*c_1100_0^7 - 171054234192939316008148847196901226620\ 7376/7862242040949414619322361479083791625*c_1100_0^6 + 395326628141237459467670280665033256308419/157244840818988292386447\ 2295816758325*c_1100_0^5 - 1314277210450901818818823402323278798134\ 187/7862242040949414619322361479083791625*c_1100_0^4 + 188369159305226499116197577682925193251309/157244840818988292386447\ 2295816758325*c_1100_0^3 - 2987557965629453382850038453204895142187\ 07/7862242040949414619322361479083791625*c_1100_0^2 + 135723600859413632538982479137607559629082/786224204094941461932236\ 1479083791625*c_1100_0 - 12142045060523288071542897596127692401016/\ 7862242040949414619322361479083791625, c_0011_0 - 1, c_0011_10 - 123610820151110221725782014169629/4502357646928798636691402\ 4218089*c_1100_0^17 - 137944244788295812428497389620654/45023576469\ 287986366914024218089*c_1100_0^16 - 1498933317120482203354315194652813/45023576469287986366914024218089\ *c_1100_0^15 + 4276558117445997457913943043967529/45023576469287986\ 366914024218089*c_1100_0^14 + 7422548499043148740220761735709523/45\ 023576469287986366914024218089*c_1100_0^13 + 13701989962201465291031047900402707/4502357646928798636691402421808\ 9*c_1100_0^12 - 89412775844612936043694368043268454/450235764692879\ 86366914024218089*c_1100_0^11 - 1248893461213073433335726294472156/\ 45023576469287986366914024218089*c_1100_0^10 - 64375975964782068273540105378885371/4502357646928798636691402421808\ 9*c_1100_0^9 + 167039694241816748289427438494347325/450235764692879\ 86366914024218089*c_1100_0^8 - 158129561257719212609372623479403123\ /45023576469287986366914024218089*c_1100_0^7 + 155874338762143562701511144313739087/450235764692879863669140242180\ 89*c_1100_0^6 - 181196242961841220105271470227810438/45023576469287\ 986366914024218089*c_1100_0^5 + 11541112109507563353047413877172464\ 4/45023576469287986366914024218089*c_1100_0^4 - 85704692548230192609782565624639095/4502357646928798636691402421808\ 9*c_1100_0^3 + 26242727024038920271774437803529642/4502357646928798\ 6366914024218089*c_1100_0^2 - 12247568435190649790003136356821839/4\ 5023576469287986366914024218089*c_1100_0 + 1103632448106184947551192570415628/45023576469287986366914024218089\ , c_0011_11 - 24209792670562167504294811571587/45023576469287986366914024\ 218089*c_1100_0^17 - 26781351018394474342068767720940/4502357646928\ 7986366914024218089*c_1100_0^16 - 293159897880795629462606694484820\ /45023576469287986366914024218089*c_1100_0^15 + 840517321979259178616942880895308/45023576469287986366914024218089*\ c_1100_0^14 + 1447253391247598505086779419292717/450235764692879863\ 66914024218089*c_1100_0^13 + 2663069457537890456188547757815714/450\ 23576469287986366914024218089*c_1100_0^12 - 17544500569115944665600918990086975/4502357646928798636691402421808\ 9*c_1100_0^11 - 82825799869571930226076435523216/450235764692879863\ 66914024218089*c_1100_0^10 - 12484689092177503591364384240302114/45\ 023576469287986366914024218089*c_1100_0^9 + 32776212117585643606716319494857422/4502357646928798636691402421808\ 9*c_1100_0^8 - 31254148941654107902023529313451699/4502357646928798\ 6366914024218089*c_1100_0^7 + 30603572545132269207072874026164662/4\ 5023576469287986366914024218089*c_1100_0^6 - 35504736551222122436801332990930998/4502357646928798636691402421808\ 9*c_1100_0^5 + 22730093025427754534900527900155328/4502357646928798\ 6366914024218089*c_1100_0^4 - 16777972620054575906596735194202175/4\ 5023576469287986366914024218089*c_1100_0^3 + 5106240103408160681803094647609691/45023576469287986366914024218089\ *c_1100_0^2 - 2434034350005481012195993675026657/450235764692879863\ 66914024218089*c_1100_0 + 255110568054150547685409207762229/4502357\ 6469287986366914024218089, c_0011_14 + 27426648774296931313412463855911/45023576469287986366914024\ 218089*c_1100_0^17 + 30285442256971810350210768334538/4502357646928\ 7986366914024218089*c_1100_0^16 + 332104766834381068728363613445825\ /45023576469287986366914024218089*c_1100_0^15 - 952904863730330342537931296537813/45023576469287986366914024218089*\ c_1100_0^14 - 1637216726923814371521454264390742/450235764692879863\ 66914024218089*c_1100_0^13 - 3016746266143075954467391897214917/450\ 23576469287986366914024218089*c_1100_0^12 + 19881379918627746142280989782001943/4502357646928798636691402421808\ 9*c_1100_0^11 + 57306576261692553860576639037486/450235764692879863\ 66914024218089*c_1100_0^10 + 14194708869611248164464827867378949/45\ 023576469287986366914024218089*c_1100_0^9 - 37227374140899352583710702918665805/4502357646928798636691402421808\ 9*c_1100_0^8 + 35459581502489797215517196892287751/4502357646928798\ 6366914024218089*c_1100_0^7 - 34839760427405105205694737005736636/4\ 5023576469287986366914024218089*c_1100_0^6 + 40449076586865755440590658566656669/4502357646928798636691402421808\ 9*c_1100_0^5 - 25941665907926712633679901295251693/4502357646928798\ 6366914024218089*c_1100_0^4 + 19133035440486558659017266127816630/4\ 5023576469287986366914024218089*c_1100_0^3 - 5936495266614468454499390300993400/45023576469287986366914024218089\ *c_1100_0^2 + 2752585127346320332291762956905425/450235764692879863\ 66914024218089*c_1100_0 - 288325631280014549645713280051817/4502357\ 6469287986366914024218089, c_0011_7 + 59778429992188088363470848134809/450235764692879863669140242\ 18089*c_1100_0^17 + 66466511999985677264633115087907/45023576469287\ 986366914024218089*c_1100_0^16 + 724736311553565747013824483923663/\ 45023576469287986366914024218089*c_1100_0^15 - 2071087064730076865685528432237114/45023576469287986366914024218089\ *c_1100_0^14 - 3579937934213681217800992841632804/45023576469287986\ 366914024218089*c_1100_0^13 - 6617296016983541964068223756314906/45\ 023576469287986366914024218089*c_1100_0^12 + 43262479622812715868488580632728412/4502357646928798636691402421808\ 9*c_1100_0^11 + 428268845083902536965419138415732/45023576469287986\ 366914024218089*c_1100_0^10 + 31235150350182163563999189426680721/4\ 5023576469287986366914024218089*c_1100_0^9 - 80988664993252290756403652648015343/4502357646928798636691402421808\ 9*c_1100_0^8 + 76737147957116187002108951084733248/4502357646928798\ 6366914024218089*c_1100_0^7 - 75814692902243990437522205258506459/4\ 5023576469287986366914024218089*c_1100_0^6 + 88259832571591181590068418813814312/4502357646928798636691402421808\ 9*c_1100_0^5 - 56263703551058572549085761086426577/4502357646928798\ 6366914024218089*c_1100_0^4 + 41659291933221295909193105764619474/4\ 5023576469287986366914024218089*c_1100_0^3 - 12889123321026926816225245154666488/4502357646928798636691402421808\ 9*c_1100_0^2 + 6012349082803991147979422600464516/45023576469287986\ 366914024218089*c_1100_0 - 576299312334418788272148339076189/450235\ 76469287986366914024218089, c_0101_0 - 60641712000160933273716536145499/450235764692879863669140242\ 18089*c_1100_0^17 - 66717361586570576119632492908450/45023576469287\ 986366914024218089*c_1100_0^16 - 734189616783326428260154481534479/\ 45023576469287986366914024218089*c_1100_0^15 + 2109702270907848973843120980001976/45023576469287986366914024218089\ *c_1100_0^14 + 3609647809323269645219470728250175/45023576469287986\ 366914024218089*c_1100_0^13 + 6661076177309148024773690260430094/45\ 023576469287986366914024218089*c_1100_0^12 - 43973989644258466086785942847739508/4502357646928798636691402421808\ 9*c_1100_0^11 + 63728752940442114521853918477058/450235764692879863\ 66914024218089*c_1100_0^10 - 31507452649904377811378053806058155/45\ 023576469287986366914024218089*c_1100_0^9 + 82417023638385578778559609364487226/4502357646928798636691402421808\ 9*c_1100_0^8 - 78705250271516795053519461276327736/4502357646928798\ 6366914024218089*c_1100_0^7 + 77533997141489386660150419499798840/4\ 5023576469287986366914024218089*c_1100_0^6 - 89888430877589146609820176407058903/4502357646928798636691402421808\ 9*c_1100_0^5 + 57733185800088665797986879671810350/4502357646928798\ 6366914024218089*c_1100_0^4 - 42559943265130530132401758708969841/4\ 5023576469287986366914024218089*c_1100_0^3 + 13247015844908910272527344403649053/4502357646928798636691402421808\ 9*c_1100_0^2 - 6007782740921284800712868195141040/45023576469287986\ 366914024218089*c_1100_0 + 589052541987167282389111419746720/450235\ 76469287986366914024218089, c_0101_1 - 1, c_0101_12 + 27426648774296931313412463855911/45023576469287986366914024\ 218089*c_1100_0^17 + 30285442256971810350210768334538/4502357646928\ 7986366914024218089*c_1100_0^16 + 332104766834381068728363613445825\ /45023576469287986366914024218089*c_1100_0^15 - 952904863730330342537931296537813/45023576469287986366914024218089*\ c_1100_0^14 - 1637216726923814371521454264390742/450235764692879863\ 66914024218089*c_1100_0^13 - 3016746266143075954467391897214917/450\ 23576469287986366914024218089*c_1100_0^12 + 19881379918627746142280989782001943/4502357646928798636691402421808\ 9*c_1100_0^11 + 57306576261692553860576639037486/450235764692879863\ 66914024218089*c_1100_0^10 + 14194708869611248164464827867378949/45\ 023576469287986366914024218089*c_1100_0^9 - 37227374140899352583710702918665805/4502357646928798636691402421808\ 9*c_1100_0^8 + 35459581502489797215517196892287751/4502357646928798\ 6366914024218089*c_1100_0^7 - 34839760427405105205694737005736636/4\ 5023576469287986366914024218089*c_1100_0^6 + 40449076586865755440590658566656669/4502357646928798636691402421808\ 9*c_1100_0^5 - 25941665907926712633679901295251693/4502357646928798\ 6366914024218089*c_1100_0^4 + 19133035440486558659017266127816630/4\ 5023576469287986366914024218089*c_1100_0^3 - 5936495266614468454499390300993400/45023576469287986366914024218089\ *c_1100_0^2 + 2752585127346320332291762956905425/450235764692879863\ 66914024218089*c_1100_0 - 243302054810726563278799255833728/4502357\ 6469287986366914024218089, c_0101_14 - 54765289475700168934474371483756/45023576469287986366914024\ 218089*c_1100_0^17 - 60454090396292800328029083866829/4502357646928\ 7986366914024218089*c_1100_0^16 - 663217049985470256040927094671011\ /45023576469287986366914024218089*c_1100_0^15 + 1902783735160686016733373585958647/45023576469287986366914024218089\ *c_1100_0^14 + 3267352053302850536707024534987235/45023576469287986\ 366914024218089*c_1100_0^13 + 6024783274312462543464534679761686/45\ 023576469287986366914024218089*c_1100_0^12 - 39690678151523975880614367033383830/4502357646928798636691402421808\ 9*c_1100_0^11 - 88375164632672930292062822970583/450235764692879863\ 66914024218089*c_1100_0^10 - 28406847749154918117896645378190943/45\ 023576469287986366914024218089*c_1100_0^9 + 74264788231552856708252780086308290/4502357646928798636691402421808\ 9*c_1100_0^8 - 70792686707459360507382321598732946/4502357646928798\ 6366914024218089*c_1100_0^7 + 69632269792491646201092839973336717/4\ 5023576469287986366914024218089*c_1100_0^6 - 80749655688888887300073722068226807/4502357646928798636691402421808\ 9*c_1100_0^5 + 51679018697961284659388373070428295/4502357646928798\ 6366914024218089*c_1100_0^4 - 38082179503711873562081567187834499/4\ 5023576469287986366914024218089*c_1100_0^3 + 11603806146130968715466803695214322/4502357646928798636691402421808\ 9*c_1100_0^2 - 5266074361991431632858646412000038/45023576469287986\ 366914024218089*c_1100_0 + 488706386359170363808729884137970/450235\ 76469287986366914024218089, c_0101_15 + 59778429992188088363470848134809/45023576469287986366914024\ 218089*c_1100_0^17 + 66466511999985677264633115087907/4502357646928\ 7986366914024218089*c_1100_0^16 + 724736311553565747013824483923663\ /45023576469287986366914024218089*c_1100_0^15 - 2071087064730076865685528432237114/45023576469287986366914024218089\ *c_1100_0^14 - 3579937934213681217800992841632804/45023576469287986\ 366914024218089*c_1100_0^13 - 6617296016983541964068223756314906/45\ 023576469287986366914024218089*c_1100_0^12 + 43262479622812715868488580632728412/4502357646928798636691402421808\ 9*c_1100_0^11 + 428268845083902536965419138415732/45023576469287986\ 366914024218089*c_1100_0^10 + 31235150350182163563999189426680721/4\ 5023576469287986366914024218089*c_1100_0^9 - 80988664993252290756403652648015343/4502357646928798636691402421808\ 9*c_1100_0^8 + 76737147957116187002108951084733248/4502357646928798\ 6366914024218089*c_1100_0^7 - 75814692902243990437522205258506459/4\ 5023576469287986366914024218089*c_1100_0^6 + 88259832571591181590068418813814312/4502357646928798636691402421808\ 9*c_1100_0^5 - 56263703551058572549085761086426577/4502357646928798\ 6366914024218089*c_1100_0^4 + 41659291933221295909193105764619474/4\ 5023576469287986366914024218089*c_1100_0^3 - 12889123321026926816225245154666488/4502357646928798636691402421808\ 9*c_1100_0^2 + 6012349082803991147979422600464516/45023576469287986\ 366914024218089*c_1100_0 - 576299312334418788272148339076189/450235\ 76469287986366914024218089, c_0101_16 + 72146310749133192581830284942834/45023576469287986366914024\ 218089*c_1100_0^17 + 80908510892277322428904119911962/4502357646928\ 7986366914024218089*c_1100_0^16 + 875402926000859065627901026038018\ /45023576469287986366914024218089*c_1100_0^15 - 2491297800868631946510521155452302/45023576469287986366914024218089\ *c_1100_0^14 - 4345172110132417609632370625381497/45023576469287986\ 366914024218089*c_1100_0^13 - 8026499205776277394954156395391115/45\ 023576469287986366914024218089*c_1100_0^12 + 52140121286050914848816064985635930/4502357646928798636691402421808\ 9*c_1100_0^11 + 1026378531555479739032267675359387/4502357646928798\ 6366914024218089*c_1100_0^10 + 37672750899965365078274065255903807/\ 45023576469287986366914024218089*c_1100_0^9 - 97407432383800217614132809889029176/4502357646928798636691402421808\ 9*c_1100_0^8 + 91610000970223770796538524925152822/4502357646928798\ 6366914024218089*c_1100_0^7 - 90496460648913856105751391113409196/4\ 5023576469287986366914024218089*c_1100_0^6 + 105591457517791384698268204537513739/450235764692879863669140242180\ 89*c_1100_0^5 - 66821152279739983373127576832747169/450235764692879\ 86366914024218089*c_1100_0^4 + 49467908383596964666752692645708579/\ 45023576469287986366914024218089*c_1100_0^3 - 14887819478152025778417130658081174/4502357646928798636691402421808\ 9*c_1100_0^2 + 6997857518015135188221182378800614/45023576469287986\ 366914024218089*c_1100_0 - 608608916761070326284047171422348/450235\ 76469287986366914024218089, c_0101_3 + 77604319007161867297716980340077/450235764692879863669140242\ 18089*c_1100_0^17 + 85516875381564891209834694150984/45023576469287\ 986366914024218089*c_1100_0^16 + 939727457037801110278143432100758/\ 45023576469287986366914024218089*c_1100_0^15 - 2697818902634311514873835794684947/45023576469287986366914024218089\ *c_1100_0^14 - 4623377021173495446424431660143552/45023576469287986\ 366914024218089*c_1100_0^13 - 8529241662998401036562497981999131/45\ 023576469287986366914024218089*c_1100_0^12 + 56248564482009919382570373186727598/4502357646928798636691402421808\ 9*c_1100_0^11 - 8862199630478250793018854751900/4502357646928798636\ 6914024218089*c_1100_0^10 + 40295391087808747105542443518637174/450\ 23576469287986366914024218089*c_1100_0^9 - 105178419757377483565119063846092053/450235764692879863669140242180\ 89*c_1100_0^8 + 100648269543840457164280549718052387/45023576469287\ 986366914024218089*c_1100_0^7 - 98976166178024726980753152183210839\ /45023576469287986366914024218089*c_1100_0^6 + 114547685298296413308495357168386820/450235764692879863669140242180\ 89*c_1100_0^5 - 73458146244568559473739380932816528/450235764692879\ 86366914024218089*c_1100_0^4 + 54284744904467575051651220871284815/\ 45023576469287986366914024218089*c_1100_0^3 - 16656430365702936878106152068351922/4502357646928798636691402421808\ 9*c_1100_0^2 + 7695136752593242110325001862157611/45023576469287986\ 366914024218089*c_1100_0 - 726196873016579532078276290436072/450235\ 76469287986366914024218089, c_1001_0 - 27426648774296931313412463855911/450235764692879863669140242\ 18089*c_1100_0^17 - 30285442256971810350210768334538/45023576469287\ 986366914024218089*c_1100_0^16 - 332104766834381068728363613445825/\ 45023576469287986366914024218089*c_1100_0^15 + 952904863730330342537931296537813/45023576469287986366914024218089*\ c_1100_0^14 + 1637216726923814371521454264390742/450235764692879863\ 66914024218089*c_1100_0^13 + 3016746266143075954467391897214917/450\ 23576469287986366914024218089*c_1100_0^12 - 19881379918627746142280989782001943/4502357646928798636691402421808\ 9*c_1100_0^11 - 57306576261692553860576639037486/450235764692879863\ 66914024218089*c_1100_0^10 - 14194708869611248164464827867378949/45\ 023576469287986366914024218089*c_1100_0^9 + 37227374140899352583710702918665805/4502357646928798636691402421808\ 9*c_1100_0^8 - 35459581502489797215517196892287751/4502357646928798\ 6366914024218089*c_1100_0^7 + 34839760427405105205694737005736636/4\ 5023576469287986366914024218089*c_1100_0^6 - 40449076586865755440590658566656669/4502357646928798636691402421808\ 9*c_1100_0^5 + 25941665907926712633679901295251693/4502357646928798\ 6366914024218089*c_1100_0^4 - 19133035440486558659017266127816630/4\ 5023576469287986366914024218089*c_1100_0^3 + 5936495266614468454499390300993400/45023576469287986366914024218089\ *c_1100_0^2 - 2752585127346320332291762956905425/450235764692879863\ 66914024218089*c_1100_0 + 288325631280014549645713280051817/4502357\ 6469287986366914024218089, c_1001_1 + 79389832000535192556870009226664/450235764692879863669140242\ 18089*c_1100_0^17 + 89229080707409457845010907570316/45023576469287\ 986366914024218089*c_1100_0^16 + 963115968263260322893433376747840/\ 45023576469287986366914024218089*c_1100_0^15 - 2739437798170676421944250729447100/45023576469287986366914024218089\ *c_1100_0^14 - 4792859432413109670910939788243612/45023576469287986\ 366914024218089*c_1100_0^13 - 8829881425008327449346376897902904/45\ 023576469287986366914024218089*c_1100_0^12 + 57377596721394913503655354327884732/4502357646928798636691402421808\ 9*c_1100_0^11 + 1306249622073053824542911672406964/4502357646928798\ 6366914024218089*c_1100_0^10 + 41156150033696700047032676148113920/\ 45023576469287986366914024218089*c_1100_0^9 - 107068270309012975825649064968929384/450235764692879863669140242180\ 89*c_1100_0^8 + 100485332392514345443693351605363692/45023576469287\ 986366914024218089*c_1100_0^7 - 98836207982476760646399679243673388\ /45023576469287986366914024218089*c_1100_0^6 + 115363630582742850004583733614432744/450235764692879863669140242180\ 89*c_1100_0^5 - 72977686616345089700923037404806268/450235764692879\ 86366914024218089*c_1100_0^4 + 53961345196005190093349729924255656/\ 45023576469287986366914024218089*c_1100_0^3 - 16062444711158566398488826566495566/4502357646928798636691402421808\ 9*c_1100_0^2 + 7549090229559442543469133926242699/45023576469287986\ 366914024218089*c_1100_0 - 680974915041168160621889224259203/450235\ 76469287986366914024218089, c_1001_11 - 21550226249836166974170299194168/45023576469287986366914024\ 218089*c_1100_0^17 - 24022171066694034558607359292917/4502357646928\ 7986366914024218089*c_1100_0^16 - 261132200036524896509136226582357\ /45023576469287986366914024218089*c_1100_0^15 + 745986327983167385428183902494484/45023576469287986366914024218089*\ c_1100_0^14 + 1294920970903395263009008071127802/450235764692879863\ 66914024218089*c_1100_0^13 + 2380453363146390473158236316546509/450\ 23576469287986366914024218089*c_1100_0^12 - 15598068425893255936109413967646265/4502357646928798636691402421808\ 9*c_1100_0^11 - 209410493834807598674493380485127/45023576469287986\ 366914024218089*c_1100_0^10 - 11094103968861788470983419439511737/4\ 5023576469287986366914024218089*c_1100_0^9 + 29075138734066630513403873640486869/4502357646928798636691402421808\ 9*c_1100_0^8 - 27547017938432362669380057214692961/4502357646928798\ 6366914024218089*c_1100_0^7 + 26938033078407364746637157479274513/4\ 5023576469287986366914024218089*c_1100_0^6 - 31310301398165496130844204227824573/4502357646928798636691402421808\ 9*c_1100_0^5 + 19887498805799331495081394693869638/4502357646928798\ 6366914024218089*c_1100_0^4 - 14655271679067902088697074606681288/4\ 5023576469287986366914024218089*c_1100_0^3 + 4293285567836526897438849592558669/45023576469287986366914024218089\ *c_1100_0^2 - 2010876748416467164437541173764423/450235764692879863\ 66914024218089*c_1100_0 + 142955899182729644698417720224978/4502357\ 6469287986366914024218089, c_1001_14 - 37857825207078417686727097572420/45023576469287986366914024\ 218089*c_1100_0^17 - 41815744180335046689764548956184/4502357646928\ 7986366914024218089*c_1100_0^16 - 458299092512430559099399472426212\ /45023576469287986366914024218089*c_1100_0^15 + 1315444473016134992525709976015264/45023576469287986366914024218089\ *c_1100_0^14 + 2261993094624181921105245155157320/45023576469287986\ 366914024218089*c_1100_0^13 + 4161691537987260380783730099205907/45\ 023576469287986366914024218089*c_1100_0^12 - 27453770836917763965770463069023212/4502357646928798636691402421808\ 9*c_1100_0^11 - 110774049404963570249695372971990/45023576469287986\ 366914024218089*c_1100_0^10 - 19508879107008150379901822084703069/4\ 5023576469287986366914024218089*c_1100_0^9 + 51481732823717858798309090243509281/4502357646928798636691402421808\ 9*c_1100_0^8 - 48851715921509493525132340447129082/4502357646928798\ 6366914024218089*c_1100_0^7 + 47852986921522221987098686625212444/4\ 5023576469287986366914024218089*c_1100_0^6 - 55855188733806740681735732139840277/4502357646928798636691402421808\ 9*c_1100_0^5 + 35793378752125868529867242780388429/4502357646928798\ 6366914024218089*c_1100_0^4 - 26231693444491405295731838717297732/4\ 5023576469287986366914024218089*c_1100_0^3 + 8066340968838901850329171401540420/45023576469287986366914024218089\ *c_1100_0^2 - 3723838340530228433188159309041753/450235764692879863\ 66914024218089*c_1100_0 + 384614802498054183869092716467502/4502357\ 6469287986366914024218089, c_1001_2 + 24767082353570930783287951478492/450235764692879863669140242\ 18089*c_1100_0^17 + 27526262305271370566749359906515/45023576469287\ 986366914024218089*c_1100_0^16 + 300077068990110335774893145543362/\ 45023576469287986366914024218089*c_1100_0^15 - 858373869734238549349172318136989/45023576469287986366914024218089*\ c_1100_0^14 - 1484884306579611129443682916225827/450235764692879863\ 66914024218089*c_1100_0^13 - 2734130171751575971437080455945712/450\ 23576469287986366914024218089*c_1100_0^12 + 17934947775405057412789484759561233/4502357646928798636691402421808\ 9*c_1100_0^11 + 183891270226928222308993583999397/45023576469287986\ 366914024218089*c_1100_0^10 + 12804123746295533044083863066588572/4\ 5023576469287986366914024218089*c_1100_0^9 - 33526300757380339490398257064295252/4502357646928798636691402421808\ 9*c_1100_0^8 + 31752450499268051982873724793529013/4502357646928798\ 6366914024218089*c_1100_0^7 - 31174220960680200745259020458846487/4\ 5023576469287986366914024218089*c_1100_0^6 + 36254641433809129134633529803550244/4502357646928798636691402421808\ 9*c_1100_0^5 - 23099071688298289593860768088966003/4502357646928798\ 6366914024218089*c_1100_0^4 + 17010334499499884841117605540295743/4\ 5023576469287986366914024218089*c_1100_0^3 - 5123540731042834670135145245942378/45023576469287986366914024218089\ *c_1100_0^2 + 2329427525757306484533310455643191/450235764692879863\ 66914024218089*c_1100_0 - 176170962408593646658721792514566/4502357\ 6469287986366914024218089, c_1100_0^18 + c_1100_0^17 + 12*c_1100_0^16 - 36*c_1100_0^15 - 56*c_1100_0^14 - 104*c_1100_0^13 + 736*c_1100_0^12 - 74*c_1100_0^11 + 522*c_1100_0^10 - 1412*c_1100_0^9 + 1436*c_1100_0^8 - 1412*c_1100_0^7 + 1616*c_1100_0^6 - 1106*c_1100_0^5 + 802*c_1100_0^4 - 291*c_1100_0^3 + 123*c_1100_0^2 - 20*c_1100_0 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE FREE=VARIABLES=IN=COMPONENTS=BEGINS=HERE [ [ ], [ ] ] FREE=VARIABLES=IN=COMPONENTS=ENDS=HERE CPUTIME: 70.940 Total time: 71.689 seconds, Total memory usage: 302.53MB