Magma V2.19-8 Mon Oct 7 2013 11:11:07 on localhost [Seed = 3958077092] Type ? for help. Type -D to quit. Loading file "10^2_137__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation 10^2_137 geometric_solution 17.86169811 oriented_manifold CS_known 0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 19 1 2 3 1 0132 0132 0132 2103 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 -1 0 1 -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.702504785729 0.854146625914 0 4 5 0 0132 0132 0132 2103 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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.702504785729 0.854146625914 6 0 8 7 0132 0132 0132 0132 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 1 0 -1 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.291126081164 1.298061050511 9 10 11 0 0132 0132 0132 0132 0 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 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.917747837671 1.402202877248 12 1 13 7 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 -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.291126081164 1.298061050511 14 15 16 1 0132 0132 0132 0132 0 0 0 1 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -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.917747837671 1.402202877248 2 12 17 14 0132 0132 0132 2031 1 0 0 0 0 -1 0 1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.417747837671 0.536177473463 15 10 2 4 2031 0213 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.087070091610 0.345260587760 16 13 13 2 1302 2103 1023 0132 0 0 0 1 0 0 0 0 -1 0 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.538000461072 1.139076474286 3 12 11 17 0132 1302 3120 1302 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 -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.313251931793 0.663229740211 17 3 7 11 1302 0132 0213 3120 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 0 0 0 0 0 0 0 0 0.557782537673 0.712003161329 10 13 9 3 3120 2031 3120 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 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.500000000000 0.460434076637 4 6 18 9 0132 0132 0132 2031 1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 1 0 -1 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.417747837671 0.536177473463 11 8 8 4 1302 2103 1023 0132 0 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 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.538000461072 1.139076474286 5 6 16 18 0132 1302 3120 1302 0 0 1 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.313251931793 0.663229740211 18 5 7 16 1302 0132 1302 3120 0 0 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 -1 1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.557782537673 0.712003161329 15 8 14 5 3120 2031 3120 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 -1 0 0 1 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.500000000000 0.460434076637 18 10 9 6 0132 2031 2031 0132 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.148747607135 1.396714887348 17 15 14 12 0132 2031 2031 0132 1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 -1 1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.148747607135 1.396714887348 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1010_13' : negation(d['c_1001_2']), 'c_1100_0' : negation(d['c_0101_0']), 'c_1001_18' : negation(d['c_0101_5']), 'c_1001_15' : d['c_0110_7'], 'c_1001_14' : d['c_0101_2'], 'c_1001_17' : negation(d['c_0101_3']), 'c_1001_16' : negation(d['c_0101_2']), 'c_1001_11' : negation(d['c_0101_4']), 'c_1001_10' : d['c_1001_0'], 'c_1001_13' : negation(d['c_0011_16']), 'c_1001_12' : d['c_0011_14'], 'c_1001_5' : negation(d['c_0011_16']), 'c_1001_4' : negation(d['c_1001_2']), 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_0011_10'], 'c_1001_1' : d['c_0110_7'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0011_11']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0101_4'], 'c_1001_8' : negation(d['c_0011_11']), 's_0_18' : d['1'], 's_3_18' : d['1'], 'c_1010_11' : negation(d['c_0011_11']), 'c_1010_10' : negation(d['c_0011_11']), 'c_1010_17' : d['c_0011_10'], 'c_1010_16' : negation(d['c_0011_16']), 'c_1010_15' : negation(d['c_0011_16']), 'c_1010_14' : d['c_1010_14'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_3_15' : d['1'], 's_0_15' : d['1'], 's_3_17' : d['1'], 's_0_17' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : negation(d['c_0011_17']), 'c_0101_17' : negation(d['c_0101_11']), 'c_0101_16' : d['c_0101_16'], 'c_0101_15' : d['c_0011_17'], 'c_0101_14' : d['c_0101_1'], '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' : d['1'], 's_2_7' : negation(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' : negation(d['1']), 's_0_6' : d['1'], 's_0_7' : negation(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' : d['c_0011_14'], 'c_0011_14' : d['c_0011_14'], 'c_0011_17' : d['c_0011_17'], 'c_0011_16' : d['c_0011_16'], 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_13' : negation(d['c_0011_11']), 'c_1010_12' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0101_1']), 'c_1100_4' : d['c_1100_13'], 'c_1100_7' : negation(d['c_1100_13']), 'c_1100_6' : negation(d['c_1010_14']), 'c_1100_1' : negation(d['c_0101_1']), 'c_0011_18' : negation(d['c_0011_17']), 'c_1100_3' : negation(d['c_0101_0']), 'c_1100_2' : negation(d['c_1100_13']), 'c_1100_14' : negation(d['c_0101_16']), 'c_1100_15' : negation(d['c_0101_16']), 's_3_11' : d['1'], 'c_1100_17' : negation(d['c_1010_14']), 'c_1100_16' : negation(d['c_0101_1']), 'c_1100_11' : negation(d['c_0101_0']), 'c_1100_10' : negation(d['c_0101_11']), 'c_1100_13' : d['c_1100_13'], 's_3_10' : d['1'], 's_3_13' : d['1'], 'c_1010_7' : negation(d['c_0101_11']), 'c_1010_6' : d['c_0011_14'], 'c_1010_5' : d['c_0110_7'], 's_0_13' : d['1'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_1001_2']), 'c_1010_0' : d['c_1001_2'], 's_0_14' : d['1'], 'c_1010_9' : d['c_1010_14'], 's_3_14' : d['1'], 'c_1100_8' : negation(d['c_1100_13']), 's_0_16' : d['1'], 's_3_16' : d['1'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : negation(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' : negation(d['c_1010_14']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_1100_18' : negation(d['c_1010_14']), 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : negation(d['c_0011_16']), 'c_0011_5' : negation(d['c_0011_14']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_17']), 'c_0011_6' : d['c_0011_0'], '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_18' : negation(d['c_0101_11']), 'c_0101_18' : negation(d['c_0101_16']), 'c_0110_11' : d['c_0101_3'], 'c_0110_10' : d['c_0101_3'], 'c_0110_13' : d['c_0101_4'], 'c_0110_12' : d['c_0101_4'], 'c_0110_15' : d['c_0101_5'], 'c_0110_14' : d['c_0101_5'], 'c_0110_17' : negation(d['c_0101_16']), 'c_0110_16' : d['c_0101_5'], 'c_1010_4' : d['c_0110_7'], 'c_0101_12' : negation(d['c_0101_11']), 'c_0110_0' : d['c_0101_1'], 's_0_8' : d['1'], 'c_1010_18' : d['c_0011_14'], 's_0_9' : d['1'], 'c_1010_8' : d['c_1001_2'], 's_2_18' : d['1'], 'c_0101_7' : negation(d['c_0101_16']), 'c_0101_6' : negation(d['c_0101_16']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], '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_16']), 's_1_18' : d['1'], 's_1_17' : d['1'], 's_1_16' : d['1'], 's_1_15' : negation(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_2'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0101_11']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_16']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_11']), 'c_0110_7' : d['c_0110_7'], 'c_0110_6' : d['c_0101_2'], 'c_0011_12' : negation(d['c_0011_0']), 'c_0101_13' : negation(d['c_0011_11'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 20 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_14, c_0011_16, c_0011_17, c_0101_0, c_0101_1, c_0101_11, c_0101_16, c_0101_2, c_0101_3, c_0101_4, c_0101_5, c_0110_7, c_1001_0, c_1001_2, c_1010_14, c_1100_13 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 8 Groebner basis: [ t - 837121415/1835008*c_1100_13^7 - 4843991535/1835008*c_1100_13^6 - 12308054797/1835008*c_1100_13^5 - 1991702649/229376*c_1100_13^4 - 9103401807/1835008*c_1100_13^3 + 43630019/917504*c_1100_13^2 + 1462307039/1835008*c_1100_13 - 264702173/917504, c_0011_0 - 1, c_0011_10 + 1, c_0011_11 - 265/196*c_1100_13^7 - 1825/196*c_1100_13^6 - 5367/196*c_1100_13^5 - 2026/49*c_1100_13^4 - 5833/196*c_1100_13^3 - 453/98*c_1100_13^2 + 513/196*c_1100_13 - 87/98, c_0011_14 + 1, c_0011_16 - 265/196*c_1100_13^7 - 1825/196*c_1100_13^6 - 5367/196*c_1100_13^5 - 2026/49*c_1100_13^4 - 5833/196*c_1100_13^3 - 453/98*c_1100_13^2 + 513/196*c_1100_13 - 87/98, c_0011_17 + 135/56*c_1100_13^7 + 835/56*c_1100_13^6 + 2313/56*c_1100_13^5 + 871/14*c_1100_13^4 + 2871/56*c_1100_13^3 + 571/28*c_1100_13^2 + 185/56*c_1100_13 + 47/28, c_0101_0 - 335/196*c_1100_13^7 - 2175/196*c_1100_13^6 - 6053/196*c_1100_13^5 - 2194/49*c_1100_13^4 - 6099/196*c_1100_13^3 - 397/98*c_1100_13^2 + 1003/196*c_1100_13 + 53/98, c_0101_1 + 335/196*c_1100_13^7 + 2175/196*c_1100_13^6 + 6053/196*c_1100_13^5 + 2194/49*c_1100_13^4 + 6099/196*c_1100_13^3 + 397/98*c_1100_13^2 - 1003/196*c_1100_13 - 53/98, c_0101_11 - 10/7*c_1100_13^7 - 50/7*c_1100_13^6 - 14*c_1100_13^5 - 61/7*c_1100_13^4 + 67/7*c_1100_13^3 + 114/7*c_1100_13^2 + 5*c_1100_13 - 16/7, c_0101_16 + 10/7*c_1100_13^7 + 50/7*c_1100_13^6 + 14*c_1100_13^5 + 61/7*c_1100_13^4 - 67/7*c_1100_13^3 - 114/7*c_1100_13^2 - 5*c_1100_13 + 16/7, c_0101_2 + 335/196*c_1100_13^7 + 1895/196*c_1100_13^6 + 4933/196*c_1100_13^5 + 1788/49*c_1100_13^4 + 6015/196*c_1100_13^3 + 1377/98*c_1100_13^2 + 229/196*c_1100_13 - 179/98, c_0101_3 - 55/28*c_1100_13^7 - 45/4*c_1100_13^6 - 769/28*c_1100_13^5 - 225/7*c_1100_13^4 - 347/28*c_1100_13^3 + 107/14*c_1100_13^2 + 127/28*c_1100_13 - 27/14, c_0101_4 - 335/196*c_1100_13^7 - 1895/196*c_1100_13^6 - 4933/196*c_1100_13^5 - 1788/49*c_1100_13^4 - 6015/196*c_1100_13^3 - 1377/98*c_1100_13^2 - 229/196*c_1100_13 + 179/98, c_0101_5 - 55/28*c_1100_13^7 - 45/4*c_1100_13^6 - 769/28*c_1100_13^5 - 225/7*c_1100_13^4 - 347/28*c_1100_13^3 + 107/14*c_1100_13^2 + 127/28*c_1100_13 - 27/14, c_0110_7 - 335/196*c_1100_13^7 - 1895/196*c_1100_13^6 - 4933/196*c_1100_13^5 - 1788/49*c_1100_13^4 - 6015/196*c_1100_13^3 - 1377/98*c_1100_13^2 - 425/196*c_1100_13 + 81/98, c_1001_0 - 335/196*c_1100_13^7 - 1895/196*c_1100_13^6 - 4933/196*c_1100_13^5 - 1788/49*c_1100_13^4 - 6015/196*c_1100_13^3 - 1377/98*c_1100_13^2 - 425/196*c_1100_13 + 81/98, c_1001_2 + 335/196*c_1100_13^7 + 1895/196*c_1100_13^6 + 4933/196*c_1100_13^5 + 1788/49*c_1100_13^4 + 6015/196*c_1100_13^3 + 1377/98*c_1100_13^2 + 425/196*c_1100_13 - 179/98, c_1010_14 - 615/196*c_1100_13^7 - 3295/196*c_1100_13^6 - 7677/196*c_1100_13^5 - 2215/49*c_1100_13^4 - 4139/196*c_1100_13^3 + 219/98*c_1100_13^2 + 751/196*c_1100_13 - 45/98, c_1100_13^8 + 7*c_1100_13^7 + 109/5*c_1100_13^6 + 186/5*c_1100_13^5 + 173/5*c_1100_13^4 + 68/5*c_1100_13^3 - 9/5*c_1100_13^2 - 8/5*c_1100_13 + 4/5 ], Ideal of Polynomial ring of rank 20 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_14, c_0011_16, c_0011_17, c_0101_0, c_0101_1, c_0101_11, c_0101_16, c_0101_2, c_0101_3, c_0101_4, c_0101_5, c_0110_7, c_1001_0, c_1001_2, c_1010_14, c_1100_13 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t + 102314928680151742123550843744307928676864813312/118004140502850822\ 21961599825522228115998089*c_1010_14*c_1100_13^13 + 49112274609388366458101751611915348301270898517882/5074178041622585\ 35544348792497455808987917827*c_1010_14*c_1100_13^12 + 248069976186259943585713435477995248718046220061413/507417804162258\ 535544348792497455808987917827*c_1010_14*c_1100_13^11 + 1359795198116714795582738502997947454807988454635509/10148356083245\ 17071088697584994911617975835654*c_1010_14*c_1100_13^10 + 952449912829045991452759967447372144649631526968371/507417804162258\ 535544348792497455808987917827*c_1010_14*c_1100_13^9 + 393592605400799374117966077353090209696179666665269/101483560832451\ 7071088697584994911617975835654*c_1010_14*c_1100_13^8 - 3360952730567532671312795176636373253764299540842259/10148356083245\ 17071088697584994911617975835654*c_1010_14*c_1100_13^7 - 6947501925822836165602089913169175753312358306802737/10148356083245\ 17071088697584994911617975835654*c_1010_14*c_1100_13^6 - 4267916945428895318354031498326185764406160145331650/50741780416225\ 8535544348792497455808987917827*c_1010_14*c_1100_13^5 - 4013899142909473216945961400987956441002167921067135/50741780416225\ 8535544348792497455808987917827*c_1010_14*c_1100_13^4 - 2881256349847424670799572056150382244759593763518855/50741780416225\ 8535544348792497455808987917827*c_1010_14*c_1100_13^3 - 2904798228676910077721070792362074039535314885025223/10148356083245\ 17071088697584994911617975835654*c_1010_14*c_1100_13^2 - 968571783302593110354692008575941729282278682841067/101483560832451\ 7071088697584994911617975835654*c_1010_14*c_1100_13 - 95085682533029180669523257371252361862902151135111/5074178041622585\ 35544348792497455808987917827*c_1010_14 + 10665994379643026202132762836179488063382867596794/7906277413691005\ 08871427188309989283771871963*c_1100_13^13 + 4629465309329015674099048447076890002835538676530905/33996992878871\ 321881471369097329539202190494409*c_1100_13^12 + 42186981785557262480291331764348320807079157075690501/6799398575774\ 2643762942738194659078404380988818*c_1100_13^11 + 100181142627603278764239607374721556627427372460320933/679939857577\ 42643762942738194659078404380988818*c_1100_13^10 + 53427273973935353437095861502598313098904830912974699/3399699287887\ 1321881471369097329539202190494409*c_1100_13^9 - 39136922960559529842650756251186757907464851879403687/6799398575774\ 2643762942738194659078404380988818*c_1100_13^8 - 138922517034172803299683837770495807056021529512188626/339969928788\ 71321881471369097329539202190494409*c_1100_13^7 - 451742382663010119583493148268695828718042752776007509/679939857577\ 42643762942738194659078404380988818*c_1100_13^6 - 506865025307107010027010101657919037470502126639883639/679939857577\ 42643762942738194659078404380988818*c_1100_13^5 - 440766753657482245281611739669064577829022964408876371/679939857577\ 42643762942738194659078404380988818*c_1100_13^4 - 281843754043798771110796462694293404156711590595358177/679939857577\ 42643762942738194659078404380988818*c_1100_13^3 - 124974526348672386678858295095027060270113364036083065/679939857577\ 42643762942738194659078404380988818*c_1100_13^2 - 19080529927800684516243170952557779156215371211286120/3399699287887\ 1321881471369097329539202190494409*c_1100_13 - 5135528996034880488662048106700669018455169764543109/67993985757742\ 643762942738194659078404380988818, c_0011_0 - 1, c_0011_10 + 1, c_0011_11 + 93192226541057432246618372668467724920/65657595114065035292\ 771264364395877377*c_1010_14*c_1100_13^13 + 997376647829675634687648050722743280702/656575951140650352927712643\ 64395877377*c_1010_14*c_1100_13^12 + 4830393837520111589049119714624737737085/65657595114065035292771264\ 364395877377*c_1010_14*c_1100_13^11 + 25032610150478878231337502851577162427599/1313151902281300705855425\ 28728791754754*c_1010_14*c_1100_13^10 + 31773827045748543731599290132248968685333/1313151902281300705855425\ 28728791754754*c_1010_14*c_1100_13^9 + 225215124980814502349005065495996156231/131315190228130070585542528\ 728791754754*c_1010_14*c_1100_13^8 - 65479354996229636817990389210355062213743/1313151902281300705855425\ 28728791754754*c_1010_14*c_1100_13^7 - 121823200491225328626791172574019263650995/131315190228130070585542\ 528728791754754*c_1010_14*c_1100_13^6 - 71946393510298708830287575703604022705648/6565759511406503529277126\ 4364395877377*c_1010_14*c_1100_13^5 - 65785093668920114624696903870184489275278/6565759511406503529277126\ 4364395877377*c_1010_14*c_1100_13^4 - 90441061970745432390574138148983608345251/1313151902281300705855425\ 28728791754754*c_1010_14*c_1100_13^3 - 43301751930308337419825744925696863705531/1313151902281300705855425\ 28728791754754*c_1010_14*c_1100_13^2 - 13663237805792987323584323271805205942863/1313151902281300705855425\ 28728791754754*c_1010_14*c_1100_13 - 2520978726869905519882769457069664761553/13131519022813007058554252\ 8728791754754*c_1010_14 - 49655284380562530652901342154033831838/65\ 657595114065035292771264364395877377*c_1100_13^13 - 543224252887469765734297226460252376195/656575951140650352927712643\ 64395877377*c_1100_13^12 - 5399502531247204031252648921014970950107\ /131315190228130070585542528728791754754*c_1100_13^11 - 7264113566001162890136058901550864402032/65657595114065035292771264\ 364395877377*c_1100_13^10 - 198293887384099564653821442187922612618\ 27/131315190228130070585542528728791754754*c_1100_13^9 - 1561093720391389917436000268951608683588/65657595114065035292771264\ 364395877377*c_1100_13^8 + 3666422755721773212221100703111722639435\ 5/131315190228130070585542528728791754754*c_1100_13^7 + 36899496155235382740264068480781493452858/6565759511406503529277126\ 4364395877377*c_1100_13^6 + 889955066666881833542313068849449197615\ 65/131315190228130070585542528728791754754*c_1100_13^5 + 82632290692471328697476710799375159314707/1313151902281300705855425\ 28728791754754*c_1100_13^4 + 29394602281449127488107656424790240349\ 215/65657595114065035292771264364395877377*c_1100_13^3 + 14491717700609041994158697629198196673952/6565759511406503529277126\ 4364395877377*c_1100_13^2 + 943618478229110727220677175069810090913\ 5/131315190228130070585542528728791754754*c_1100_13 + 959365085742471130383001090454909947662/656575951140650352927712643\ 64395877377, c_0011_14 - 2749158318749001630378278082415184012/285467804843761023012\ 0489754973733799*c_1010_14*c_1100_13^13 - 31620755345093951325955968456104573080/2854678048437610230120489754\ 973733799*c_1010_14*c_1100_13^12 - 164052134836288690709309399593673071590/285467804843761023012048975\ 4973733799*c_1010_14*c_1100_13^11 - 927292757316935738455719796850281343967/570935609687522046024097950\ 9947467598*c_1010_14*c_1100_13^10 - 1354765540142096602102450331961683528273/57093560968752204602409795\ 09947467598*c_1010_14*c_1100_13^9 - 366629497144212770632880314337375375435/570935609687522046024097950\ 9947467598*c_1010_14*c_1100_13^8 + 2277914764870020612943534285407076241799/57093560968752204602409795\ 09947467598*c_1010_14*c_1100_13^7 + 4838488644314412673744690615934127419325/57093560968752204602409795\ 09947467598*c_1010_14*c_1100_13^6 + 2974251144410617217536648935187652505780/28546780484376102301204897\ 54973733799*c_1010_14*c_1100_13^5 + 2823976446759649848037209893561134739963/28546780484376102301204897\ 54973733799*c_1010_14*c_1100_13^4 + 4098035633987085401313601174512146315623/57093560968752204602409795\ 09947467598*c_1010_14*c_1100_13^3 + 2066464208407944645706093545331090168453/57093560968752204602409795\ 09947467598*c_1010_14*c_1100_13^2 + 693334118945697939617372668579975187729/570935609687522046024097950\ 9947467598*c_1010_14*c_1100_13 + 1427349355798612598371223799286663\ 70615/5709356096875220460240979509947467598*c_1010_14 - 1, c_0011_16 - 95649117674140708918835308091410956374/65657595114065035292\ 771264364395877377*c_1010_14*c_1100_13^13 - 1038826889775876311664456012526297032627/65657595114065035292771264\ 364395877377*c_1010_14*c_1100_13^12 - 10201041467038279501811855443698500687943/1313151902281300705855425\ 28728791754754*c_1010_14*c_1100_13^11 - 13448564311299198863610583110306682296384/6565759511406503529277126\ 4364395877377*c_1010_14*c_1100_13^10 - 17568287302142624552953289180209965948839/6565759511406503529277126\ 4364395877377*c_1010_14*c_1100_13^9 - 1085013551440649727424163984938851676573/65657595114065035292771264\ 364395877377*c_1010_14*c_1100_13^8 + 69573466567517981761638231140717575537591/1313151902281300705855425\ 28728791754754*c_1010_14*c_1100_13^7 + 132416635578990593373972478727066668529557/131315190228130070585542\ 528728791754754*c_1010_14*c_1100_13^6 + 78882909855179754614597247535665227817615/6565759511406503529277126\ 4364395877377*c_1010_14*c_1100_13^5 + 72773259390680351167241292324063667886955/6565759511406503529277126\ 4364395877377*c_1010_14*c_1100_13^4 + 101258559143501741489565458934717623793359/131315190228130070585542\ 528728791754754*c_1010_14*c_1100_13^3 + 49383693398489781351143751683489066385171/1313151902281300705855425\ 28728791754754*c_1010_14*c_1100_13^2 + 16103863026353903295479238457469329636125/1313151902281300705855425\ 28728791754754*c_1010_14*c_1100_13 + 1596540971705046068150166018288673906596/65657595114065035292771264\ 364395877377*c_1010_14 + 49655284380562530652901342154033831838/656\ 57595114065035292771264364395877377*c_1100_13^13 + 543224252887469765734297226460252376195/656575951140650352927712643\ 64395877377*c_1100_13^12 + 5399502531247204031252648921014970950107\ /131315190228130070585542528728791754754*c_1100_13^11 + 7264113566001162890136058901550864402032/65657595114065035292771264\ 364395877377*c_1100_13^10 + 198293887384099564653821442187922612618\ 27/131315190228130070585542528728791754754*c_1100_13^9 + 1561093720391389917436000268951608683588/65657595114065035292771264\ 364395877377*c_1100_13^8 - 3666422755721773212221100703111722639435\ 5/131315190228130070585542528728791754754*c_1100_13^7 - 36899496155235382740264068480781493452858/6565759511406503529277126\ 4364395877377*c_1100_13^6 - 889955066666881833542313068849449197615\ 65/131315190228130070585542528728791754754*c_1100_13^5 - 82632290692471328697476710799375159314707/1313151902281300705855425\ 28728791754754*c_1100_13^4 - 29394602281449127488107656424790240349\ 215/65657595114065035292771264364395877377*c_1100_13^3 - 14491717700609041994158697629198196673952/6565759511406503529277126\ 4364395877377*c_1100_13^2 - 943618478229110727220677175069810090913\ 5/131315190228130070585542528728791754754*c_1100_13 - 959365085742471130383001090454909947662/656575951140650352927712643\ 64395877377, c_0011_17 - 1346521251998013893197094173659491032/285467804843761023012\ 0489754973733799*c_1100_13^13 - 13760278555959390812506292805653352\ 312/2854678048437610230120489754973733799*c_1100_13^12 - 63300523673692893205590888612262604700/2854678048437610230120489754\ 973733799*c_1100_13^11 - 151888201465418156274273117492830740531/28\ 54678048437610230120489754973733799*c_1100_13^10 - 163827586072801978028310287584753976098/285467804843761023012048975\ 4973733799*c_1100_13^9 + 58517056245475509994752618600103554728/285\ 4678048437610230120489754973733799*c_1100_13^8 + 422936972167905366028093052306607632506/285467804843761023012048975\ 4973733799*c_1100_13^7 + 680937315936919564255155231601113961826/28\ 54678048437610230120489754973733799*c_1100_13^6 + 763648848379349632473575392798274453386/285467804843761023012048975\ 4973733799*c_1100_13^5 + 669876013140943981524320120136674234827/28\ 54678048437610230120489754973733799*c_1100_13^4 + 429411358777737156852110481375405297392/285467804843761023012048975\ 4973733799*c_1100_13^3 + 194107682058902678378684593882463730707/28\ 54678048437610230120489754973733799*c_1100_13^2 + 60247181595505910774185754046802895220/2854678048437610230120489754\ 973733799*c_1100_13 + 11002234403720415159253324887410585821/285467\ 8048437610230120489754973733799, c_0101_0 + 44026568824484634766298425866052612894/656575951140650352927\ 71264364395877377*c_1010_14*c_1100_13^13 + 467801906731906748794345142457587077063/656575951140650352927712643\ 64395877377*c_1010_14*c_1100_13^12 + 4471716187384070950147486820154502382867/13131519022813007058554252\ 8728791754754*c_1010_14*c_1100_13^11 + 5646652354503653574334075197659496671932/65657595114065035292771264\ 364395877377*c_1010_14*c_1100_13^10 + 6686088004388896571934265847272837569333/65657595114065035292771264\ 364395877377*c_1010_14*c_1100_13^9 - 2412026121577399069700655807161916508345/13131519022813007058554252\ 8728791754754*c_1010_14*c_1100_13^8 - 15749804718569354856656202467672179975278/6565759511406503529277126\ 4364395877377*c_1010_14*c_1100_13^7 - 26463552031124670446550468286556730989341/6565759511406503529277126\ 4364395877377*c_1010_14*c_1100_13^6 - 29620063034003773945410844822927688422131/6565759511406503529277126\ 4364395877377*c_1010_14*c_1100_13^5 - 52392026069147218545678613074487306124931/1313151902281300705855425\ 28728791754754*c_1010_14*c_1100_13^4 - 33753650701628140531074362597103799098799/1313151902281300705855425\ 28728791754754*c_1010_14*c_1100_13^3 - 7426589937901900361088078137906878338909/65657595114065035292771264\ 364395877377*c_1010_14*c_1100_13^2 - 4448618281263030215769636658819295930669/13131519022813007058554252\ 8728791754754*c_1010_14*c_1100_13 - 331463343519415498372309134358209218609/656575951140650352927712643\ 64395877377*c_1010_14 + 33191514079039039104029604469280349660/6565\ 7595114065035292771264364395877377*c_1100_13^13 + 370663912097814251587934549716182376106/656575951140650352927712643\ 64395877377*c_1100_13^12 + 1862525927566021826453433476970337012273\ /65657595114065035292771264364395877377*c_1100_13^11 + 5036771681385148388698964183709684114259/65657595114065035292771264\ 364395877377*c_1100_13^10 + 678717830568553482129747096867226851359\ 2/65657595114065035292771264364395877377*c_1100_13^9 + 668021476927163438783862140893601034460/656575951140650352927712643\ 64395877377*c_1100_13^8 - 13179034363946280611294427752377311422892\ /65657595114065035292771264364395877377*c_1100_13^7 - 25134261156780197254067515136164007851279/6565759511406503529277126\ 4364395877377*c_1100_13^6 - 296772642356929393732755105817668944693\ 08/65657595114065035292771264364395877377*c_1100_13^5 - 27394132404851395157228909254623524138622/6565759511406503529277126\ 4364395877377*c_1100_13^4 - 189139364565278000152081651836320974839\ 31/65657595114065035292771264364395877377*c_1100_13^3 - 9079371557437687749871167548793954712382/65657595114065035292771264\ 364395877377*c_1100_13^2 - 2922804632539828155977601110383695571762\ /65657595114065035292771264364395877377*c_1100_13 - 519172420320125968141995209282785089560/656575951140650352927712643\ 64395877377, c_0101_1 + 44026568824484634766298425866052612894/656575951140650352927\ 71264364395877377*c_1010_14*c_1100_13^13 + 467801906731906748794345142457587077063/656575951140650352927712643\ 64395877377*c_1010_14*c_1100_13^12 + 4471716187384070950147486820154502382867/13131519022813007058554252\ 8728791754754*c_1010_14*c_1100_13^11 + 5646652354503653574334075197659496671932/65657595114065035292771264\ 364395877377*c_1010_14*c_1100_13^10 + 6686088004388896571934265847272837569333/65657595114065035292771264\ 364395877377*c_1010_14*c_1100_13^9 - 2412026121577399069700655807161916508345/13131519022813007058554252\ 8728791754754*c_1010_14*c_1100_13^8 - 15749804718569354856656202467672179975278/6565759511406503529277126\ 4364395877377*c_1010_14*c_1100_13^7 - 26463552031124670446550468286556730989341/6565759511406503529277126\ 4364395877377*c_1010_14*c_1100_13^6 - 29620063034003773945410844822927688422131/6565759511406503529277126\ 4364395877377*c_1010_14*c_1100_13^5 - 52392026069147218545678613074487306124931/1313151902281300705855425\ 28728791754754*c_1010_14*c_1100_13^4 - 33753650701628140531074362597103799098799/1313151902281300705855425\ 28728791754754*c_1010_14*c_1100_13^3 - 7426589937901900361088078137906878338909/65657595114065035292771264\ 364395877377*c_1010_14*c_1100_13^2 - 4448618281263030215769636658819295930669/13131519022813007058554252\ 8728791754754*c_1010_14*c_1100_13 - 331463343519415498372309134358209218609/656575951140650352927712643\ 64395877377*c_1010_14 + 15676527115355851945438716085138194990/6565\ 7595114065035292771264364395877377*c_1100_13^13 + 177638776586496653203410351979593561369/656575951140650352927712643\ 64395877377*c_1100_13^12 + 1795086336170004958780748960210457331873\ /131315190228130070585542528728791754754*c_1100_13^11 + 4843980044490497478007514170191311691895/13131519022813007058554252\ 8728791754754*c_1100_13^10 + 63526956945214313744938800665308981217\ 01/131315190228130070585542528728791754754*c_1100_13^9 - 10498340747230457279190750255050528241/1313151902281300705855425287\ 28791754754*c_1100_13^8 - 13444779592352742845581501661788914723611\ /131315190228130070585542528728791754754*c_1100_13^7 - 11883108379281123198533089908105711623305/6565759511406503529277126\ 4364395877377*c_1100_13^6 - 133701456657710701561012822648715606954\ 47/65657595114065035292771264364395877377*c_1100_13^5 - 24007321005613013302366751622419893290349/1313151902281300705855425\ 28728791754754*c_1100_13^4 - 15765155377394153282931770521449471766\ 001/131315190228130070585542528728791754754*c_1100_13^3 - 6958953334805556527731869309944706586747/13131519022813007058554252\ 8728791754754*c_1100_13^2 - 210278107077373924361527625659247663180\ 1/131315190228130070585542528728791754754*c_1100_13 - 172632625840134865195167793536455435040/656575951140650352927712643\ 64395877377, c_0101_11 - 20268849799291005971945489385658241566/65657595114065035292\ 771264364395877377*c_1010_14*c_1100_13^13 - 210366503974789886672210220302913811439/656575951140650352927712643\ 64395877377*c_1010_14*c_1100_13^12 - 1975951522190627032184264928337778411771/13131519022813007058554252\ 8728791754754*c_1010_14*c_1100_13^11 - 2455945460301653067783587135628890972360/65657595114065035292771264\ 364395877377*c_1010_14*c_1100_13^10 - 2892294411800120617301813219898205371694/65657595114065035292771264\ 364395877377*c_1010_14*c_1100_13^9 + 412120816468743544617506059280689729824/656575951140650352927712643\ 64395877377*c_1010_14*c_1100_13^8 + 6606828078311135576506260989303128538910/65657595114065035292771264\ 364395877377*c_1010_14*c_1100_13^7 + 23307219850047803217291908591054003081233/1313151902281300705855425\ 28728791754754*c_1010_14*c_1100_13^6 + 13465112716713278092307783776439244176193/6565759511406503529277126\ 4364395877377*c_1010_14*c_1100_13^5 + 23732555436789605100517370425173715494017/1313151902281300705855425\ 28728791754754*c_1010_14*c_1100_13^4 + 7773647009485351196672932623654852384016/65657595114065035292771264\ 364395877377*c_1010_14*c_1100_13^3 + 3515330544825347342930971676165413891019/65657595114065035292771264\ 364395877377*c_1010_14*c_1100_13^2 + 1004022143778083857634211982547740311205/65657595114065035292771264\ 364395877377*c_1010_14*c_1100_13 + 323147780562221689724985216797613142233/131315190228130070585542528\ 728791754754*c_1010_14 + 6136872009062625326215862944806699126/6565\ 7595114065035292771264364395877377*c_1100_13^13 + 78231336757664117207142018068530504959/6565759511406503529277126436\ 4395877377*c_1100_13^12 + 890289868987861979622285547804265844487/1\ 31315190228130070585542528728791754754*c_1100_13^11 + 1397013785465273522729046778404610639024/65657595114065035292771264\ 364395877377*c_1100_13^10 + 472692556012052626179966901941003748825\ 9/131315190228130070585542528728791754754*c_1100_13^9 + 1243453565239752777720935012497603308208/65657595114065035292771264\ 364395877377*c_1100_13^8 - 3097989747591445409596878618859710150943\ /65657595114065035292771264364395877377*c_1100_13^7 - 7916836737381271491238106446870174413428/65657595114065035292771264\ 364395877377*c_1100_13^6 - 2036445483116339225354897314785040031080\ 7/131315190228130070585542528728791754754*c_1100_13^5 - 10092508454458367661043692515888340074305/6565759511406503529277126\ 4364395877377*c_1100_13^4 - 156914562494336425302952329578134105446\ 21/131315190228130070585542528728791754754*c_1100_13^3 - 8341884067945140102945162811024499383183/13131519022813007058554252\ 8728791754754*c_1100_13^2 - 144466582964411099935080820378839684683\ 4/65657595114065035292771264364395877377*c_1100_13 - 631204859122156183753223653924366850179/131315190228130070585542528\ 728791754754, c_0101_16 - 20268849799291005971945489385658241566/65657595114065035292\ 771264364395877377*c_1010_14*c_1100_13^13 - 210366503974789886672210220302913811439/656575951140650352927712643\ 64395877377*c_1010_14*c_1100_13^12 - 1975951522190627032184264928337778411771/13131519022813007058554252\ 8728791754754*c_1010_14*c_1100_13^11 - 2455945460301653067783587135628890972360/65657595114065035292771264\ 364395877377*c_1010_14*c_1100_13^10 - 2892294411800120617301813219898205371694/65657595114065035292771264\ 364395877377*c_1010_14*c_1100_13^9 + 412120816468743544617506059280689729824/656575951140650352927712643\ 64395877377*c_1010_14*c_1100_13^8 + 6606828078311135576506260989303128538910/65657595114065035292771264\ 364395877377*c_1010_14*c_1100_13^7 + 23307219850047803217291908591054003081233/1313151902281300705855425\ 28728791754754*c_1010_14*c_1100_13^6 + 13465112716713278092307783776439244176193/6565759511406503529277126\ 4364395877377*c_1010_14*c_1100_13^5 + 23732555436789605100517370425173715494017/1313151902281300705855425\ 28728791754754*c_1010_14*c_1100_13^4 + 7773647009485351196672932623654852384016/65657595114065035292771264\ 364395877377*c_1010_14*c_1100_13^3 + 3515330544825347342930971676165413891019/65657595114065035292771264\ 364395877377*c_1010_14*c_1100_13^2 + 1004022143778083857634211982547740311205/65657595114065035292771264\ 364395877377*c_1010_14*c_1100_13 + 323147780562221689724985216797613142233/131315190228130070585542528\ 728791754754*c_1010_14 - 15132723498240287598846703744343871388/656\ 57595114065035292771264364395877377*c_1100_13^13 - 158392429717019179283652105185079468640/656575951140650352927712643\ 64395877377*c_1100_13^12 - 755192621439568081359910562526912760276/\ 65657595114065035292771264364395877377*c_1100_13^11 - 3858784909042014521154030971347140237589/13131519022813007058554252\ 8728791754754*c_1100_13^10 - 24316814748588502943252014836065350525\ 56/65657595114065035292771264364395877377*c_1100_13^9 - 50886623036028975106268564353260274567/6565759511406503529277126436\ 4395877377*c_1100_13^8 + 9931268258389529619096802617277261415963/1\ 31315190228130070585542528728791754754*c_1100_13^7 + 9497350382992938994343572947047470675140/65657595114065035292771264\ 364395877377*c_1100_13^6 + 1132119806567233552382816528208192535402\ 7/65657595114065035292771264364395877377*c_1100_13^5 + 10277644423079458428181181319348813135688/6565759511406503529277126\ 4364395877377*c_1100_13^4 + 141115895491572717164194532840098297101\ 73/131315190228130070585542528728791754754*c_1100_13^3 + 6717098966080105769050342082966789551099/13131519022813007058554252\ 8728791754754*c_1100_13^2 + 103194697903590246018841150903455981366\ 7/65657595114065035292771264364395877377*c_1100_13 + 401846787414428391509334976908393643505/131315190228130070585542528\ 728791754754, c_0101_2 + 24246582083369202632328947497091428326/656575951140650352927\ 71264364395877377*c_1010_14*c_1100_13^13 + 261240248140116643598409643865216961421/656575951140650352927712643\ 64395877377*c_1010_14*c_1100_13^12 + 2539325329725834809430449356346273884941/13131519022813007058554252\ 8728791754754*c_1010_14*c_1100_13^11 + 6599356985821106658677548045045794736503/13131519022813007058554252\ 8728791754754*c_1010_14*c_1100_13^10 + 8400749816395781147813975377086933308635/13131519022813007058554252\ 8728791754754*c_1010_14*c_1100_13^9 + 158308527489009237373309835137095802041/131315190228130070585542528\ 728791754754*c_1010_14*c_1100_13^8 - 8500214532159039839326642456021010275933/65657595114065035292771264\ 364395877377*c_1010_14*c_1100_13^7 - 31934587869485873797284310262139196614811/1313151902281300705855425\ 28728791754754*c_1010_14*c_1100_13^6 - 38457655086759077948116887666245279537605/1313151902281300705855425\ 28728791754754*c_1010_14*c_1100_13^5 - 35341553643319816803649138744644368745577/1313151902281300705855425\ 28728791754754*c_1010_14*c_1100_13^4 - 12066851977515867928938951427871497679274/6565759511406503529277126\ 4364395877377*c_1010_14*c_1100_13^3 - 11920413751500811066635606659314007491501/1313151902281300705855425\ 28728791754754*c_1010_14*c_1100_13^2 - 1957592077263136866294091231104426109180/65657595114065035292771264\ 364395877377*c_1010_14*c_1100_13 - 342088511975165894511364213674003377208/656575951140650352927712643\ 64395877377*c_1010_14 - 6136872009062625326215862944806699126/65657\ 595114065035292771264364395877377*c_1100_13^13 - 78231336757664117207142018068530504959/6565759511406503529277126436\ 4395877377*c_1100_13^12 - 890289868987861979622285547804265844487/1\ 31315190228130070585542528728791754754*c_1100_13^11 - 1397013785465273522729046778404610639024/65657595114065035292771264\ 364395877377*c_1100_13^10 - 472692556012052626179966901941003748825\ 9/131315190228130070585542528728791754754*c_1100_13^9 - 1243453565239752777720935012497603308208/65657595114065035292771264\ 364395877377*c_1100_13^8 + 3097989747591445409596878618859710150943\ /65657595114065035292771264364395877377*c_1100_13^7 + 7916836737381271491238106446870174413428/65657595114065035292771264\ 364395877377*c_1100_13^6 + 2036445483116339225354897314785040031080\ 7/131315190228130070585542528728791754754*c_1100_13^5 + 10092508454458367661043692515888340074305/6565759511406503529277126\ 4364395877377*c_1100_13^4 + 156914562494336425302952329578134105446\ 21/131315190228130070585542528728791754754*c_1100_13^3 + 8341884067945140102945162811024499383183/13131519022813007058554252\ 8728791754754*c_1100_13^2 + 144466582964411099935080820378839684683\ 4/65657595114065035292771264364395877377*c_1100_13 + 631204859122156183753223653924366850179/131315190228130070585542528\ 728791754754, c_0101_3 + 115122162544204356237216967417305131768/65657595114065035292\ 771264364395877377*c_1010_14*c_1100_13^13 + 1252652830184172851817738529766922103568/65657595114065035292771264\ 364395877377*c_1010_14*c_1100_13^12 + 6169772651509291233974200749750913465674/65657595114065035292771264\ 364395877377*c_1010_14*c_1100_13^11 + 16344208713802862014170161080417178444002/6565759511406503529277126\ 4364395877377*c_1010_14*c_1100_13^10 + 43061843994212383795533976457615725180533/1313151902281300705855425\ 28728791754754*c_1010_14*c_1100_13^9 + 1583164811974954819274238008879595313085/65657595114065035292771264\ 364395877377*c_1010_14*c_1100_13^8 - 42525718885066266065726324453682739205062/6565759511406503529277126\ 4364395877377*c_1010_14*c_1100_13^7 - 162387265225518313128515912115549159836469/131315190228130070585542\ 528728791754754*c_1010_14*c_1100_13^6 - 191971450415085928816109731052309338847007/131315190228130070585542\ 528728791754754*c_1010_14*c_1100_13^5 - 176357158113423984075827354355227659967545/131315190228130070585542\ 528728791754754*c_1010_14*c_1100_13^4 - 122603759405016151823534480983938686058497/131315190228130070585542\ 528728791754754*c_1010_14*c_1100_13^3 - 58975939969986327112846590416984598430981/1313151902281300705855425\ 28728791754754*c_1010_14*c_1100_13^2 - 9466286278402353669017947132281012102614/65657595114065035292771264\ 364395877377*c_1010_14*c_1100_13 - 1778927576784149322450284523737652379684/65657595114065035292771264\ 364395877377*c_1010_14 - 28815065816711222714219424331475045844/656\ 57595114065035292771264364395877377*c_1100_13^13 - 305623501665101667149766848134066100394/656575951140650352927712643\ 64395877377*c_1100_13^12 - 1470973130470184094162133235839346733697\ /65657595114065035292771264364395877377*c_1100_13^11 - 3794744088373958594233728021146346190964/65657595114065035292771264\ 364395877377*c_1100_13^10 - 483337243419525705402190388982527864879\ 4/65657595114065035292771264364395877377*c_1100_13^9 - 185087114790074237724429913524358096630/656575951140650352927712643\ 64395877377*c_1100_13^8 + 9670265767098013518849750612378869473111/\ 65657595114065035292771264364395877377*c_1100_13^7 + 18560434602820244722567053863924836916284/6565759511406503529277126\ 4364395877377*c_1100_13^6 + 224071248778123867002259309377323685924\ 61/65657595114065035292771264364395877377*c_1100_13^5 + 20607840170193166013536762878375845854487/6565759511406503529277126\ 4364395877377*c_1100_13^4 + 143032742367778039946746669814349329304\ 96/65657595114065035292771264364395877377*c_1100_13^3 + 6944746135751413543265833582801266753065/65657595114065035292771264\ 364395877377*c_1100_13^2 + 2151390042991031040747991984128659236475\ /65657595114065035292771264364395877377*c_1100_13 + 408330131968825873904961988439932734829/656575951140650352927712643\ 64395877377, c_0101_4 + 24246582083369202632328947497091428326/656575951140650352927\ 71264364395877377*c_1010_14*c_1100_13^13 + 261240248140116643598409643865216961421/656575951140650352927712643\ 64395877377*c_1010_14*c_1100_13^12 + 2539325329725834809430449356346273884941/13131519022813007058554252\ 8728791754754*c_1010_14*c_1100_13^11 + 6599356985821106658677548045045794736503/13131519022813007058554252\ 8728791754754*c_1010_14*c_1100_13^10 + 8400749816395781147813975377086933308635/13131519022813007058554252\ 8728791754754*c_1010_14*c_1100_13^9 + 158308527489009237373309835137095802041/131315190228130070585542528\ 728791754754*c_1010_14*c_1100_13^8 - 8500214532159039839326642456021010275933/65657595114065035292771264\ 364395877377*c_1010_14*c_1100_13^7 - 31934587869485873797284310262139196614811/1313151902281300705855425\ 28728791754754*c_1010_14*c_1100_13^6 - 38457655086759077948116887666245279537605/1313151902281300705855425\ 28728791754754*c_1010_14*c_1100_13^5 - 35341553643319816803649138744644368745577/1313151902281300705855425\ 28728791754754*c_1010_14*c_1100_13^4 - 12066851977515867928938951427871497679274/6565759511406503529277126\ 4364395877377*c_1010_14*c_1100_13^3 - 11920413751500811066635606659314007491501/1313151902281300705855425\ 28728791754754*c_1010_14*c_1100_13^2 - 1957592077263136866294091231104426109180/65657595114065035292771264\ 364395877377*c_1010_14*c_1100_13 - 342088511975165894511364213674003377208/656575951140650352927712643\ 64395877377*c_1010_14 + 59363986081966563106909689687113037534/6565\ 7595114065035292771264364395877377*c_1100_13^13 + 632946519825926525639278091562116949441/656575951140650352927712643\ 64395877377*c_1100_13^12 + 6098228386862968648209868369069100601381\ /131315190228130070585542528728791754754*c_1100_13^11 + 15659358962223814297520222680905378319525/1313151902281300705855425\ 28728791754754*c_1100_13^10 + 9729900546812551862985326964810663186\ 914/65657595114065035292771264364395877377*c_1100_13^9 - 866095629386953256793440743247464214767/131315190228130070585542528\ 728791754754*c_1100_13^8 - 4163193679206661833750532816966546974048\ 7/131315190228130070585542528728791754754*c_1100_13^7 - 37682286525266982724224834544353296694089/6565759511406503529277126\ 4364395877377*c_1100_13^6 - 439883227762476850409758730480196053377\ 31/65657595114065035292771264364395877377*c_1100_13^5 - 79697165581132463010147930558268787293489/1313151902281300705855425\ 28728791754754*c_1100_13^4 - 26889685445177975505259452368743666417\ 985/65657595114065035292771264364395877377*c_1100_13^3 - 25299413292128601886888333587142428619613/1313151902281300705855425\ 28728791754754*c_1100_13^2 - 79131817377083236295596469912742623980\ 49/131315190228130070585542528728791754754*c_1100_13 - 1347726617846441584864907933239167220153/13131519022813007058554252\ 8728791754754, c_0101_5 - 9647327985509488894019416843399538602/6565759511406503529277\ 1264364395877377*c_1010_14*c_1100_13^13 - 142165951189025357168310745636208543581/656575951140650352927712643\ 64395877377*c_1010_14*c_1100_13^12 - 1763032294914421900195713415389065082985/13131519022813007058554252\ 8728791754754*c_1010_14*c_1100_13^11 - 2966729473985437333130539311132491825710/65657595114065035292771264\ 364395877377*c_1010_14*c_1100_13^10 - 5338913305192865794931236741680918435016/65657595114065035292771264\ 364395877377*c_1010_14*c_1100_13^9 - 6383630659799378888602561134017769946617/13131519022813007058554252\ 8728791754754*c_1010_14*c_1100_13^8 + 6499296478387240564074122109273634460333/65657595114065035292771264\ 364395877377*c_1010_14*c_1100_13^7 + 17425701053761347940550664623282967670395/6565759511406503529277126\ 4364395877377*c_1010_14*c_1100_13^6 + 22543794942489397482304987356007562011323/6565759511406503529277126\ 4364395877377*c_1010_14*c_1100_13^5 + 44415008932002808497971939937003240870985/1313151902281300705855425\ 28728791754754*c_1010_14*c_1100_13^4 + 34152059839221356894994761451911377386537/1313151902281300705855425\ 28728791754754*c_1010_14*c_1100_13^3 + 9069379553444145689282513291606771322351/65657595114065035292771264\ 364395877377*c_1010_14*c_1100_13^2 + 6294267365893369520042128085620935421327/13131519022813007058554252\ 8728791754754*c_1010_14*c_1100_13 + 697509334211616490591047037692197520433/656575951140650352927712643\ 64395877377*c_1010_14 + 28815065816711222714219424331475045844/6565\ 7595114065035292771264364395877377*c_1100_13^13 + 305623501665101667149766848134066100394/656575951140650352927712643\ 64395877377*c_1100_13^12 + 1470973130470184094162133235839346733697\ /65657595114065035292771264364395877377*c_1100_13^11 + 3794744088373958594233728021146346190964/65657595114065035292771264\ 364395877377*c_1100_13^10 + 483337243419525705402190388982527864879\ 4/65657595114065035292771264364395877377*c_1100_13^9 + 185087114790074237724429913524358096630/656575951140650352927712643\ 64395877377*c_1100_13^8 - 9670265767098013518849750612378869473111/\ 65657595114065035292771264364395877377*c_1100_13^7 - 18560434602820244722567053863924836916284/6565759511406503529277126\ 4364395877377*c_1100_13^6 - 224071248778123867002259309377323685924\ 61/65657595114065035292771264364395877377*c_1100_13^5 - 20607840170193166013536762878375845854487/6565759511406503529277126\ 4364395877377*c_1100_13^4 - 143032742367778039946746669814349329304\ 96/65657595114065035292771264364395877377*c_1100_13^3 - 6944746135751413543265833582801266753065/65657595114065035292771264\ 364395877377*c_1100_13^2 - 2151390042991031040747991984128659236475\ /65657595114065035292771264364395877377*c_1100_13 - 408330131968825873904961988439932734829/656575951140650352927712643\ 64395877377, c_0110_7 - 52812700391836578293307763555656163780/656575951140650352927\ 71264364395877377*c_1010_14*c_1100_13^13 - 538457103271826131048079104728513738808/656575951140650352927712643\ 64395877377*c_1010_14*c_1100_13^12 - 2474071500801589418079355989820579947438/65657595114065035292771264\ 364395877377*c_1010_14*c_1100_13^11 - 11874510639733145944410132690758580720177/1313151902281300705855425\ 28728791754754*c_1010_14*c_1100_13^10 - 12885954548119736146504129262464030823909/1313151902281300705855425\ 28728791754754*c_1010_14*c_1100_13^9 + 4294253359890079629190126053940971945575/13131519022813007058554252\ 8728791754754*c_1010_14*c_1100_13^8 + 32864899042584501291547742144407272436461/1313151902281300705855425\ 28728791754754*c_1010_14*c_1100_13^7 + 26890866880270951816910399442548704176681/6565759511406503529277126\ 4364395877377*c_1010_14*c_1100_13^6 + 60626367123048038163225247242193680482679/1313151902281300705855425\ 28728791754754*c_1010_14*c_1100_13^5 + 52687868589881670215905688399833229576777/1313151902281300705855425\ 28728791754754*c_1010_14*c_1100_13^4 + 33702068289169159286796131074177613735731/1313151902281300705855425\ 28728791754754*c_1010_14*c_1100_13^3 + 7651739252272567640289697092645452172115/65657595114065035292771264\ 364395877377*c_1010_14*c_1100_13^2 + 4630885325216852186559888171967034501869/13131519022813007058554252\ 8728791754754*c_1010_14*c_1100_13 + 387819031007921410090807681693637686370/656575951140650352927712643\ 64395877377*c_1010_14 + 36205382932191743739527153850033903500/6565\ 7595114065035292771264364395877377*c_1100_13^13 + 397030431196799462059112401611169325544/656575951140650352927712643\ 64395877377*c_1100_13^12 + 1971589824196060821538145633879174092566\ /65657595114065035292771264364395877377*c_1100_13^11 + 10558622918744935058844518482577663015127/1313151902281300705855425\ 28728791754754*c_1100_13^10 + 1416424283942871666108670203137134598\ 6533/131315190228130070585542528728791754754*c_1100_13^9 + 1520346630597046855672190901449782395767/13131519022813007058554252\ 8728791754754*c_1100_13^8 - 136433874089150709087585399102152003926\ 21/65657595114065035292771264364395877377*c_1100_13^7 - 26422332744248343479683062468266498261509/6565759511406503529277126\ 4364395877377*c_1100_13^6 - 627546469002285309811841035472123322556\ 73/131315190228130070585542528728791754754*c_1100_13^5 - 29137928353402789753535494795586707153230/6565759511406503529277126\ 4364395877377*c_1100_13^4 - 204667955520562070838689618672976095138\ 72/65657595114065035292771264364395877377*c_1100_13^3 - 19549844081437333157093676390102641894255/1313151902281300705855425\ 28728791754754*c_1100_13^2 - 31207640878952192503748667229619867955\ 56/65657595114065035292771264364395877377*c_1100_13 - 1155373008997232016520625229051863134887/13131519022813007058554252\ 8728791754754, c_1001_0 + 52812700391836578293307763555656163780/656575951140650352927\ 71264364395877377*c_1010_14*c_1100_13^13 + 538457103271826131048079104728513738808/656575951140650352927712643\ 64395877377*c_1010_14*c_1100_13^12 + 2474071500801589418079355989820579947438/65657595114065035292771264\ 364395877377*c_1010_14*c_1100_13^11 + 11874510639733145944410132690758580720177/1313151902281300705855425\ 28728791754754*c_1010_14*c_1100_13^10 + 12885954548119736146504129262464030823909/1313151902281300705855425\ 28728791754754*c_1010_14*c_1100_13^9 - 4294253359890079629190126053940971945575/13131519022813007058554252\ 8728791754754*c_1010_14*c_1100_13^8 - 32864899042584501291547742144407272436461/1313151902281300705855425\ 28728791754754*c_1010_14*c_1100_13^7 - 26890866880270951816910399442548704176681/6565759511406503529277126\ 4364395877377*c_1010_14*c_1100_13^6 - 60626367123048038163225247242193680482679/1313151902281300705855425\ 28728791754754*c_1010_14*c_1100_13^5 - 52687868589881670215905688399833229576777/1313151902281300705855425\ 28728791754754*c_1010_14*c_1100_13^4 - 33702068289169159286796131074177613735731/1313151902281300705855425\ 28728791754754*c_1010_14*c_1100_13^3 - 7651739252272567640289697092645452172115/65657595114065035292771264\ 364395877377*c_1010_14*c_1100_13^2 - 4630885325216852186559888171967034501869/13131519022813007058554252\ 8728791754754*c_1010_14*c_1100_13 - 387819031007921410090807681693637686370/656575951140650352927712643\ 64395877377*c_1010_14 + 55100245850450695535514996246777936476/6565\ 7595114065035292771264364395877377*c_1100_13^13 + 561108798342452160956904459979700045400/656575951140650352927712643\ 64395877377*c_1100_13^12 + 2568900607102488901957954591211860022640\ /65657595114065035292771264364395877377*c_1100_13^11 + 12215981650360353687059169937581816509377/1313151902281300705855425\ 28728791754754*c_1100_13^10 + 6406410642643324887282859687192421753\ 816/65657595114065035292771264364395877377*c_1100_13^9 - 2836895317315755302775753011777202610745/65657595114065035292771264\ 364395877377*c_1100_13^8 - 3495534358719173010269030085890615716853\ 7/131315190228130070585542528728791754754*c_1100_13^7 - 54426498036254581898364561483651010404707/1313151902281300705855425\ 28728791754754*c_1100_13^6 - 59298080453182933165923363707492541931\ 819/131315190228130070585542528728791754754*c_1100_13^5 - 50539597902403929657839139599361187648603/1313151902281300705855425\ 28728791754754*c_1100_13^4 - 30969633339710017519208884526682615923\ 745/131315190228130070585542528728791754754*c_1100_13^3 - 6488322956219165814640874990909953809493/65657595114065035292771264\ 364395877377*c_1100_13^2 - 1786904853679086029002853210937211651111\ /65657595114065035292771264364395877377*c_1100_13 - 231760679070638189025389135956782545725/656575951140650352927712643\ 64395877377, c_1001_2 + 1025384720802652393141299872145270100/2854678048437610230120\ 489754973733799*c_1100_13^13 + 111147728035164970530335637567010155\ 64/2854678048437610230120489754973733799*c_1100_13^12 + 54434644629248483922803604090241859756/2854678048437610230120489754\ 973733799*c_1100_13^11 + 285777243617772757105840847897842253035/57\ 09356096875220460240979509947467598*c_1100_13^10 + 369289669637326503674930829342841795711/570935609687522046024097950\ 9947467598*c_1100_13^9 + 12386190567563660415502319914085058817/570\ 9356096875220460240979509947467598*c_1100_13^8 - 373660468912363697810825284546290167982/285467804843761023012048975\ 4973733799*c_1100_13^7 - 698302221894811515632925549928270809979/28\ 54678048437610230120489754973733799*c_1100_13^6 - 1650689097577739700162507128275346170759/57093560968752204602409795\ 09947467598*c_1100_13^5 - 760579375985447660207263475548652182160/2\ 854678048437610230120489754973733799*c_1100_13^4 - 524340944811612438370755907102001597217/285467804843761023012048975\ 4973733799*c_1100_13^3 - 504867159203583742534876011805294427707/57\ 09356096875220460240979509947467598*c_1100_13^2 - 82355819348809088600167591406692446338/2854678048437610230120489754\ 973733799*c_1100_13 - 35746602166464369916081112541922361571/570935\ 6096875220460240979509947467598, c_1010_14^2 + 220221194100167574772386128691946318370/19126342924531988\ 5418072813583240164533*c_1010_14*c_1100_13^13 + 2350221249731011815965270612375582151979/19126342924531988541807281\ 3583240164533*c_1010_14*c_1100_13^12 + 22748303225948922857733030679402765077767/3825268584906397708361456\ 27166480329066*c_1010_14*c_1100_13^11 + 58984068818666126820837916347502029437853/3825268584906397708361456\ 27166480329066*c_1010_14*c_1100_13^10 + 37611058452729355949268253851051180887079/1912634292453198854180728\ 13583240164533*c_1010_14*c_1100_13^9 + 704332996222146246180302782352158662836/191263429245319885418072813\ 583240164533*c_1010_14*c_1100_13^8 - 154205962293004661454893883970231894646129/382526858490639770836145\ 627166480329066*c_1010_14*c_1100_13^7 - 288832038810917071128866764611755175065407/382526858490639770836145\ 627166480329066*c_1010_14*c_1100_13^6 - 170097728405944332664896786739385550769500/191263429245319885418072\ 813583240164533*c_1010_14*c_1100_13^5 - 310846113186429173858202138961376452626697/382526858490639770836145\ 627166480329066*c_1010_14*c_1100_13^4 - 214938475849980871380157645464928180825495/382526858490639770836145\ 627166480329066*c_1010_14*c_1100_13^3 - 103012031071882487023999997923761998100459/382526858490639770836145\ 627166480329066*c_1010_14*c_1100_13^2 - 16418536909382542789505090960174252190021/1912634292453198854180728\ 13583240164533*c_1010_14*c_1100_13 - 2971995265708217108090425982813195896859/19126342924531988541807281\ 3583240164533*c_1010_14 - 216352016355149229243190824050400954432/1\ 91263429245319885418072813583240164533*c_1100_13^13 - 2259737301358225258856294059713726050732/19126342924531988541807281\ 3583240164533*c_1100_13^12 - 10696346950960032748852100336769356777\ 392/191263429245319885418072813583240164533*c_1100_13^11 - 26916056859910258396231707993707246303808/1912634292453198854180728\ 13583240164533*c_1100_13^10 - 6513088236083932783780267550901798792\ 1329/382526858490639770836145627166480329066*c_1100_13^9 + 2576523459218811539343893180193861884294/19126342924531988541807281\ 3583240164533*c_1100_13^8 + 142061650653291522801105436973170480961\ 191/382526858490639770836145627166480329066*c_1100_13^7 + 256922243565850189644875784121052897862565/382526858490639770836145\ 627166480329066*c_1100_13^6 + 3012361647772922611157178082066714912\ 88049/382526858490639770836145627166480329066*c_1100_13^5 + 136108831646194926265759480514256304272135/191263429245319885418072\ 813583240164533*c_1100_13^4 + 9238194258616762149897199351020631271\ 8328/191263429245319885418072813583240164533*c_1100_13^3 + 44003000524315428613652276818793237425484/1912634292453198854180728\ 13583240164533*c_1100_13^2 + 28161430994242374825049412833321740668\ 319/382526858490639770836145627166480329066*c_1100_13 + 4955559687241121166831910309047594813819/38252685849063977083614562\ 7166480329066, c_1100_13^14 + 1003/86*c_1100_13^13 + 10683/172*c_1100_13^12 + 15829/86*c_1100_13^11 + 51465/172*c_1100_13^10 + 14095/86*c_1100_13^9 - 60609/172*c_1100_13^8 - 42684/43*c_1100_13^7 - 120137/86*c_1100_13^6 - 123795/86*c_1100_13^5 - 198557/172*c_1100_13^4 - 59455/86*c_1100_13^3 - 25189/86*c_1100_13^2 - 7185/86*c_1100_13 - 2207/172 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 3894.570 Total time: 3894.780 seconds, Total memory usage: 33246.91MB