Magma V2.19-8 Thu Sep 12 2013 16:11:46 on localhost [Seed = 2915950575] Type ? for help. Type -D to quit. Loading file "10_122__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 10_122 geometric_solution 16.41082316 oriented_manifold CS_known 0.0000000000000008 1 0 torus 0.000000000000 0.000000000000 17 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 4 0 -4 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.372743224290 1.102775353733 0 5 5 6 0132 0132 1302 0132 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -4 0 -1 5 0 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.540639392567 0.992482896941 4 0 8 7 0213 0132 0132 0132 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 1 -1 0 0 0 -4 4 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.859743230311 0.385128898067 9 10 9 0 0132 0132 3012 0132 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -4 0 0 4 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.258814231630 0.906175039500 2 11 0 12 0213 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.036009576618 0.706528934091 1 1 11 13 2031 0132 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.576737036840 0.777008219565 12 14 1 15 1230 0132 0132 0132 0 0 0 0 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 5 0 -5 0 0 5 0 -5 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.400153708897 0.869330643015 15 11 2 8 3201 0321 0132 0321 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 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.674845617313 0.494608600989 13 7 14 2 3012 0321 1023 0132 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 1 1 0 -5 4 -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.372743224290 1.102775353733 3 3 12 16 0132 1230 1230 0132 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 -4 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.540810365628 0.661195715499 14 3 11 14 3012 0132 0321 2310 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 -5 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.540639392567 0.992482896941 5 4 10 7 2310 0132 0321 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.409191357669 0.496162428908 15 6 4 9 0132 3012 0132 3012 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 1 -1 0 0 0 0 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.813788626977 1.098692395410 16 16 5 8 0213 2103 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -1 0 0 1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.540810365628 0.661195715499 10 6 8 10 3201 0132 1023 1230 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 5 -5 -1 0 1 0 0 0 0 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.540639392567 0.992482896941 12 16 6 7 0132 2310 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 -4 -5 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.564673863787 0.587731874747 13 13 9 15 0213 2103 0132 3201 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 4 -4 1 -1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.540810365628 0.661195715499 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0011_12'], 'c_1001_15' : d['c_0101_8'], 'c_1001_14' : d['c_0101_8'], 'c_1001_16' : d['c_0011_13'], 'c_1001_11' : d['c_0011_14'], 'c_1001_10' : d['c_1001_0'], 'c_1001_13' : d['c_0011_16'], 'c_1001_12' : d['c_0011_14'], 'c_1001_5' : d['c_0101_10'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_0101_10'], 'c_1001_1' : d['c_0011_16'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0011_10']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_9'], 'c_1001_8' : d['c_0101_14'], 'c_1010_13' : d['c_0101_8'], 'c_1010_12' : negation(d['c_0101_0']), 'c_1010_11' : d['c_1001_2'], 'c_1010_10' : negation(d['c_0011_10']), 'c_1010_16' : negation(d['c_0101_8']), 'c_1010_15' : d['c_0011_8'], 'c_1010_14' : d['c_0101_10'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_0_13' : d['1'], 's_3_15' : d['1'], 's_3_14' : 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' : negation(d['c_0101_10']), 'c_0101_10' : d['c_0101_10'], 'c_0101_16' : d['c_0011_13'], 'c_0101_15' : d['c_0011_12'], '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' : 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_14' : d['1'], 's_2_15' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_15' : negation(d['c_0011_12']), 'c_0011_14' : d['c_0011_14'], 'c_0011_16' : d['c_0011_16'], 'c_1100_9' : d['c_0011_12'], 'c_0011_10' : d['c_0011_10'], 'c_0011_13' : d['c_0011_13'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0011_11']), 'c_1100_4' : negation(d['c_1001_9']), 'c_1100_7' : d['c_0101_14'], 'c_1100_6' : d['c_0011_7'], 'c_1100_1' : d['c_0011_7'], 'c_1100_0' : negation(d['c_1001_9']), 'c_1100_3' : negation(d['c_1001_9']), 'c_1100_2' : d['c_0101_14'], 'c_1100_14' : negation(d['c_0101_14']), 'c_1100_15' : d['c_0011_7'], 's_3_11' : d['1'], 'c_1100_16' : d['c_0011_12'], 'c_1100_11' : d['c_1001_0'], 'c_1100_10' : d['c_0011_14'], 'c_1100_13' : negation(d['c_0011_11']), 's_3_10' : d['1'], 's_3_13' : d['1'], 'c_1010_7' : d['c_1001_2'], 'c_1010_6' : d['c_0101_8'], 'c_1010_5' : d['c_0011_16'], 'c_1010_4' : d['c_0011_14'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0101_10'], 'c_1010_0' : d['c_1001_2'], 's_0_14' : d['1'], 'c_1010_9' : d['c_0011_13'], 's_0_15' : d['1'], 's_3_1' : d['1'], 's_3_0' : negation(d['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' : negation(d['c_1001_9']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : 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_0011_9' : d['c_0011_10'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_11']), 'c_0101_13' : d['c_0011_16'], 'c_0011_6' : negation(d['c_0011_14']), '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' : negation(d['c_0011_7']), 'c_0110_10' : negation(d['c_0101_14']), 'c_0110_13' : d['c_0011_8'], 'c_0110_12' : d['c_0011_12'], 'c_0110_15' : d['c_0101_12'], 'c_0110_14' : d['c_0011_10'], 'c_0110_16' : negation(d['c_0011_8']), 'c_0101_12' : d['c_0101_12'], 'c_0011_7' : d['c_0011_7'], 'c_0110_0' : negation(d['c_0011_0']), 's_3_12' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 'c_1010_8' : d['c_1001_2'], 'c_0101_7' : negation(d['c_0101_12']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_7'], 'c_0101_4' : negation(d['c_0011_0']), 'c_0101_3' : d['c_0011_13'], 'c_0101_2' : negation(d['c_0011_11']), 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0101_8'], '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_0011_13'], 'c_0110_8' : negation(d['c_0011_11']), 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_12']), 'c_0110_5' : d['c_0011_16'], 'c_0110_4' : d['c_0101_12'], 'c_0110_7' : negation(d['c_0011_8']), 'c_1100_8' : d['c_0101_14']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 18 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_13, c_0011_14, c_0011_16, c_0011_7, c_0011_8, c_0101_0, c_0101_10, c_0101_12, c_0101_14, c_0101_8, c_1001_0, c_1001_2, c_1001_9 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 5 Groebner basis: [ t + 158362906623988659032001670101/19703197261845124577792*c_1001_9^4 - 20191553663401768077589020915/2462899657730640572224*c_1001_9^3 + 4854904512000676017504338760373/59109591785535373733376*c_1001_9^2 - 86148979894393959583020494467/1738517405456922756864*c_1001_9 + 11249169621694733908702209744439/59109591785535373733376, c_0011_0 - 1, c_0011_10 - 177228/6082303*c_1001_9^4 + 152631/6082303*c_1001_9^3 - 1492314/6082303*c_1001_9^2 - 2382123/6082303*c_1001_9 - 1240699/6082303, c_0011_11 - 1031184/6082303*c_1001_9^4 + 287622/6082303*c_1001_9^3 - 5413786/6082303*c_1001_9^2 - 3763752/6082303*c_1001_9 + 271871/6082303, c_0011_12 + 308934/6082303*c_1001_9^4 + 1685394/6082303*c_1001_9^3 + 1100202/6082303*c_1001_9^2 + 10874052/6082303*c_1001_9 + 4681258/6082303, c_0011_13 - 492831/6082303*c_1001_9^4 - 851517/6082303*c_1001_9^3 - 1764680/6082303*c_1001_9^2 - 4936779/6082303*c_1001_9 + 2077157/6082303, c_0011_14 - 341118/6082303*c_1001_9^4 - 1057230/6082303*c_1001_9^3 - 4640300/6082303*c_1001_9^2 - 3156129/6082303*c_1001_9 - 6315020/6082303, c_0011_16 + 177228/6082303*c_1001_9^4 - 152631/6082303*c_1001_9^3 + 1492314/6082303*c_1001_9^2 + 2382123/6082303*c_1001_9 + 1240699/6082303, c_0011_7 + 341118/6082303*c_1001_9^4 + 1057230/6082303*c_1001_9^3 + 4640300/6082303*c_1001_9^2 + 3156129/6082303*c_1001_9 + 6315020/6082303, c_0011_8 - c_1001_9, c_0101_0 - 670059/6082303*c_1001_9^4 - 698886/6082303*c_1001_9^3 - 3256994/6082303*c_1001_9^2 - 7318902/6082303*c_1001_9 + 836458/6082303, c_0101_10 + 134460/6082303*c_1001_9^4 + 2886435/6082303*c_1001_9^3 + 3033609/6082303*c_1001_9^2 + 12148305/6082303*c_1001_9 + 14173365/6082303, c_0101_12 + 202284/6082303*c_1001_9^4 - 274284/6082303*c_1001_9^3 - 3834160/6082303*c_1001_9^2 + 2374200/6082303*c_1001_9 - 3079832/6082303, c_0101_14 - 1, c_0101_8 - 670059/6082303*c_1001_9^4 - 698886/6082303*c_1001_9^3 - 3256994/6082303*c_1001_9^2 - 7318902/6082303*c_1001_9 + 836458/6082303, c_1001_0 + 1031184/6082303*c_1001_9^4 - 287622/6082303*c_1001_9^3 + 5413786/6082303*c_1001_9^2 + 3763752/6082303*c_1001_9 - 271871/6082303, c_1001_2 - 206658/6082303*c_1001_9^4 + 1829205/6082303*c_1001_9^3 - 1606691/6082303*c_1001_9^2 + 8992176/6082303*c_1001_9 + 1776042/6082303, c_1001_9^5 - 1/3*c_1001_9^4 + 257/27*c_1001_9^3 + 23/27*c_1001_9^2 + 175/9*c_1001_9 + 439/27 ], Ideal of Polynomial ring of rank 18 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_13, c_0011_14, c_0011_16, c_0011_7, c_0011_8, c_0101_0, c_0101_10, c_0101_12, c_0101_14, c_0101_8, c_1001_0, c_1001_2, c_1001_9 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 6 Groebner basis: [ t + 2168/5*c_1001_9^5 + 7436/5*c_1001_9^4 + 12351/5*c_1001_9^3 + 14856/5*c_1001_9^2 + 11939/5*c_1001_9 + 3516/5, c_0011_0 - 1, c_0011_10 + c_1001_9^3 + 2*c_1001_9^2 + 3*c_1001_9 + 2, c_0011_11 - c_1001_9^3 - 2*c_1001_9^2 - 3*c_1001_9 - 2, c_0011_12 + c_1001_9^5 + 3*c_1001_9^4 + 6*c_1001_9^3 + 7*c_1001_9^2 + 6*c_1001_9 + 3, c_0011_13 + c_1001_9^5 + 3*c_1001_9^4 + 5*c_1001_9^3 + 6*c_1001_9^2 + 4*c_1001_9 + 2, c_0011_14 + 1, c_0011_16 - c_1001_9^3 - 2*c_1001_9^2 - 3*c_1001_9 - 2, c_0011_7 + c_1001_9^2 + c_1001_9 + 2, c_0011_8 - c_1001_9^5 - 3*c_1001_9^4 - 7*c_1001_9^3 - 10*c_1001_9^2 - 9*c_1001_9 - 6, c_0101_0 - c_1001_9^5 - 3*c_1001_9^4 - 5*c_1001_9^3 - 6*c_1001_9^2 - 5*c_1001_9 - 2, c_0101_10 + c_1001_9^2 + c_1001_9 + 1, c_0101_12 - c_1001_9^2 - c_1001_9 - 1, c_0101_14 + c_1001_9^2 + c_1001_9 + 2, c_0101_8 - 2*c_1001_9^5 - 6*c_1001_9^4 - 12*c_1001_9^3 - 16*c_1001_9^2 - 13*c_1001_9 - 8, c_1001_0 + c_1001_9^3 + 2*c_1001_9^2 + 3*c_1001_9 + 2, c_1001_2 + c_1001_9^2 + c_1001_9 + 1, c_1001_9^6 + 4*c_1001_9^5 + 9*c_1001_9^4 + 14*c_1001_9^3 + 15*c_1001_9^2 + 11*c_1001_9 + 5 ], Ideal of Polynomial ring of rank 18 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_13, c_0011_14, c_0011_16, c_0011_7, c_0011_8, c_0101_0, c_0101_10, c_0101_12, c_0101_14, c_0101_8, c_1001_0, c_1001_2, c_1001_9 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 10 Groebner basis: [ t - 46217553600961358813803/130291976474773726361830688*c_1001_9^9 + 23980356493711245097265/3832116955140403716524432*c_1001_9^8 - 11678402761316336856671105/260583952949547452723661376*c_1001_9^7 + 57516127248404053580049043/260583952949547452723661376*c_1001_9^6 - 201929978463948798039725479/260583952949547452723661376*c_1001_9^5 + 487067041290278791425716451/260583952949547452723661376*c_1001_9^4 - 822675476047980838795951253/260583952949547452723661376*c_1001_9^3 + 1206113658765819313787499635/260583952949547452723661376*c_1001_9^2 - 1579311123664035101896866599/260583952949547452723661376*c_1001_9 + 623822169079046273396699095/130291976474773726361830688, c_0011_0 - 1, c_0011_10 - 248524988670/256679297681539*c_1001_9^9 + 1568815658232/256679297681539*c_1001_9^8 - 7987113462216/256679297681539*c_1001_9^7 + 27751149592652/256679297681539*c_1001_9^6 - 57547016267253/256679297681539*c_1001_9^5 + 98455933624747/256679297681539*c_1001_9^4 - 197617768163040/256679297681539*c_1001_9^3 + 233802463265454/256679297681539*c_1001_9^2 - 282973210890374/256679297681539*c_1001_9 + 279421890959854/256679297681539, c_0011_11 - 56257909474/256679297681539*c_1001_9^9 + 565331851439/256679297681539*c_1001_9^8 - 3428747179852/256679297681539*c_1001_9^7 + 13367446305968/256679297681539*c_1001_9^6 - 35539529351644/256679297681539*c_1001_9^5 + 46338101919219/256679297681539*c_1001_9^4 + 5963767990294/256679297681539*c_1001_9^3 - 52025449963989/256679297681539*c_1001_9^2 + 151632676291349/256679297681539*c_1001_9 - 165115297144992/256679297681539, c_0011_12 - 12864009067/256679297681539*c_1001_9^9 + 372732769608/256679297681539*c_1001_9^8 - 2631881481483/256679297681539*c_1001_9^7 + 13583511092499/256679297681539*c_1001_9^6 - 2555391285705/13509436720081*c_1001_9^5 + 107549627122750/256679297681539*c_1001_9^4 - 169663302119016/256679297681539*c_1001_9^3 + 134807429616053/256679297681539*c_1001_9^2 - 152590734798649/256679297681539*c_1001_9 - 23732070648996/256679297681539, c_0011_13 + 431772140316/256679297681539*c_1001_9^9 - 3358512550278/256679297681539*c_1001_9^8 + 17710388245458/256679297681539*c_1001_9^7 - 66210173917172/256679297681539*c_1001_9^6 + 155591008483621/256679297681539*c_1001_9^5 - 246744348706088/256679297681539*c_1001_9^4 + 372195684018807/256679297681539*c_1001_9^3 - 431401212555946/256679297681539*c_1001_9^2 + 15327346637117/13509436720081*c_1001_9 - 99694920228777/256679297681539, c_0011_14 + 73123952202/256679297681539*c_1001_9^9 - 1125922542269/256679297681539*c_1001_9^8 + 7322354270342/256679297681539*c_1001_9^7 - 32963721611311/256679297681539*c_1001_9^6 + 103819920689670/256679297681539*c_1001_9^5 - 211102314778741/256679297681539*c_1001_9^4 + 274576882376687/256679297681539*c_1001_9^3 - 404144159908340/256679297681539*c_1001_9^2 + 496141186656069/256679297681539*c_1001_9 - 375898816250694/256679297681539, c_0011_16 + 335585581002/256679297681539*c_1001_9^9 - 2619653823880/256679297681539*c_1001_9^8 + 13422025344253/256679297681539*c_1001_9^7 - 48113603222719/256679297681539*c_1001_9^6 + 103929938989930/256679297681539*c_1001_9^5 - 6642100667243/13509436720081*c_1001_9^4 + 138247555562290/256679297681539*c_1001_9^3 - 186012130739361/256679297681539*c_1001_9^2 - 68385963425399/256679297681539*c_1001_9 + 194004695571110/256679297681539, c_0011_7 + 195964288997/256679297681539*c_1001_9^9 - 1045584748371/256679297681539*c_1001_9^8 + 6311190956940/256679297681539*c_1001_9^7 - 19929996925295/256679297681539*c_1001_9^6 + 49540546416946/256679297681539*c_1001_9^5 - 82824926954843/256679297681539*c_1001_9^4 + 129859589873669/256679297681539*c_1001_9^3 - 40934366947618/256679297681539*c_1001_9^2 + 113743143562865/256679297681539*c_1001_9 + 185924572135710/256679297681539, c_0011_8 - 174416740991/256679297681539*c_1001_9^9 + 1450945146662/256679297681539*c_1001_9^8 - 7307244513019/256679297681539*c_1001_9^7 + 27489106701557/256679297681539*c_1001_9^6 - 59625133871938/256679297681539*c_1001_9^5 + 77133168011453/256679297681539*c_1001_9^4 - 68204486912202/256679297681539*c_1001_9^3 + 85974857067274/256679297681539*c_1001_9^2 + 229756968755665/256679297681539*c_1001_9 - 38349699097069/256679297681539, c_0101_0 + 183247151646/256679297681539*c_1001_9^9 - 1789696892046/256679297681539*c_1001_9^8 + 9723274783242/256679297681539*c_1001_9^7 - 38459024324520/256679297681539*c_1001_9^6 + 98043992216368/256679297681539*c_1001_9^5 - 148288415081341/256679297681539*c_1001_9^4 + 174577915855767/256679297681539*c_1001_9^3 - 197598749290492/256679297681539*c_1001_9^2 + 8246375214849/256679297681539*c_1001_9 + 179726970731077/256679297681539, c_0101_10 + 161557220284/256679297681539*c_1001_9^9 - 2970477349/256679297681539*c_1001_9^8 - 1180886440590/256679297681539*c_1001_9^7 + 17051618345626/256679297681539*c_1001_9^6 - 80094376300230/256679297681539*c_1001_9^5 + 205563551168915/256679297681539*c_1001_9^4 - 296105964396769/256679297681539*c_1001_9^3 + 551191253758141/256679297681539*c_1001_9^2 - 31103207003017/13509436720081*c_1001_9 + 736212832839714/256679297681539, c_0101_12 + 13576875665/13509436720081*c_1001_9^9 - 3562026559736/256679297681539*c_1001_9^8 + 20071925158319/256679297681539*c_1001_9^7 - 89323313640765/256679297681539*c_1001_9^6 + 250698682062490/256679297681539*c_1001_9^5 - 472932338201746/256679297681539*c_1001_9^4 + 658773137183031/256679297681539*c_1001_9^3 - 991157214493901/256679297681539*c_1001_9^2 + 889552761627096/256679297681539*c_1001_9 - 851510544662049/256679297681539, c_0101_14 - 194705019344/256679297681539*c_1001_9^9 + 1037742527469/256679297681539*c_1001_9^8 - 5184296444781/256679297681539*c_1001_9^7 + 14969179620229/256679297681539*c_1001_9^6 - 1233506658130/13509436720081*c_1001_9^5 + 16502918081582/256679297681539*c_1001_9^4 - 47072724845125/256679297681539*c_1001_9^3 - 27514695734849/256679297681539*c_1001_9^2 + 83568426573191/256679297681539*c_1001_9 + 44619961347240/256679297681539, c_0101_8 + 96186559314/256679297681539*c_1001_9^9 - 738858726398/256679297681539*c_1001_9^8 + 4288362901205/256679297681539*c_1001_9^7 - 18096570694453/256679297681539*c_1001_9^6 + 51661069493691/256679297681539*c_1001_9^5 - 120544436028471/256679297681539*c_1001_9^4 + 233948128456517/256679297681539*c_1001_9^3 - 245389081816585/256679297681539*c_1001_9^2 + 359605549530622/256679297681539*c_1001_9 - 293699615799887/256679297681539, c_1001_0 - 262032416243/256679297681539*c_1001_9^9 + 2016858214200/256679297681539*c_1001_9^8 - 11369732557996/256679297681539*c_1001_9^7 + 42522896088694/256679297681539*c_1001_9^6 - 108767971562438/256679297681539*c_1001_9^5 + 185685818836121/256679297681539*c_1001_9^4 - 279752798891046/256679297681539*c_1001_9^3 + 346574936706049/256679297681539*c_1001_9^2 - 168636736053470/256679297681539*c_1001_9 + 171050837283160/256679297681539, c_1001_2 - 12285363307/13509436720081*c_1001_9^9 + 1121050798716/256679297681539*c_1001_9^8 - 5014573317593/256679297681539*c_1001_9^7 + 10951285960619/256679297681539*c_1001_9^6 + 2378375523036/256679297681539*c_1001_9^5 - 60783245263435/256679297681539*c_1001_9^4 + 104315947048626/256679297681539*c_1001_9^3 - 215496156532268/256679297681539*c_1001_9^2 + 292131316537310/256679297681539*c_1001_9 - 386448780787609/256679297681539, c_1001_9^10 - 8*c_1001_9^9 + 44*c_1001_9^8 - 170*c_1001_9^7 + 445*c_1001_9^6 - 839*c_1001_9^5 + 1541*c_1001_9^4 - 2374*c_1001_9^3 + 2537*c_1001_9^2 - 2057*c_1001_9 + 2741 ], Ideal of Polynomial ring of rank 18 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_13, c_0011_14, c_0011_16, c_0011_7, c_0011_8, c_0101_0, c_0101_10, c_0101_12, c_0101_14, c_0101_8, c_1001_0, c_1001_2, c_1001_9 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 61137379626669753330576/390589493386260092394253*c_1001_9^11 + 448837598461952345858664/390589493386260092394253*c_1001_9^10 - 237816281234349187973223/55798499055180013199179*c_1001_9^9 + 636302437617383718148945/55798499055180013199179*c_1001_9^8 - 9409163610878968927869562/390589493386260092394253*c_1001_9^7 + 16153521219754161611076006/390589493386260092394253*c_1001_9^6 - 26748986634993066597976379/390589493386260092394253*c_1001_9^5 + 43984912456027258705154591/390589493386260092394253*c_1001_9^4 - 55825025969802959488814011/390589493386260092394253*c_1001_9^3 + 44170897038133352411863982/390589493386260092394253*c_1001_9^2 - 14233770921116576702316872/390589493386260092394253*c_1001_9 - 14511320322285539764867398/390589493386260092394253, c_0011_0 - 1, c_0011_10 + 14164035643662/4379860534203511*c_1001_9^11 - 103889264119533/4379860534203511*c_1001_9^10 + 52591505032122/625694362029073*c_1001_9^9 - 143202642120294/625694362029073*c_1001_9^8 + 2187912911063129/4379860534203511*c_1001_9^7 - 3900704643803419/4379860534203511*c_1001_9^6 + 6844869607390119/4379860534203511*c_1001_9^5 - 11466388378533934/4379860534203511*c_1001_9^4 + 14538942622697526/4379860534203511*c_1001_9^3 - 14491053339606187/4379860534203511*c_1001_9^2 + 12591511216908016/4379860534203511*c_1001_9 - 5149118369284312/4379860534203511, c_0011_11 + 16945181273595/4379860534203511*c_1001_9^11 - 141169237500825/4379860534203511*c_1001_9^10 + 82958394069765/625694362029073*c_1001_9^9 - 234355425334949/625694362029073*c_1001_9^8 + 3656841762480038/4379860534203511*c_1001_9^7 - 6683539690383250/4379860534203511*c_1001_9^6 + 11170889569131658/4379860534203511*c_1001_9^5 - 18808242006491045/4379860534203511*c_1001_9^4 + 26460469549629940/4379860534203511*c_1001_9^3 - 25198112118349797/4379860534203511*c_1001_9^2 + 12990072362895912/4379860534203511*c_1001_9 - 3994499048744251/4379860534203511, c_0011_12 + 18369032627423/4379860534203511*c_1001_9^11 - 151805257661306/4379860534203511*c_1001_9^10 + 89981598400233/625694362029073*c_1001_9^9 - 268966120250586/625694362029073*c_1001_9^8 + 4378652139266886/4379860534203511*c_1001_9^7 - 8326568470932884/4379860534203511*c_1001_9^6 + 14478640494328728/4379860534203511*c_1001_9^5 - 24029134464248605/4379860534203511*c_1001_9^4 + 34018186103558459/4379860534203511*c_1001_9^3 - 39026264665709630/4379860534203511*c_1001_9^2 + 27665025962369580/4379860534203511*c_1001_9 - 11212777354786262/4379860534203511, c_0011_13 - 17071766401913/4379860534203511*c_1001_9^11 + 128585947073218/4379860534203511*c_1001_9^10 - 65011663003520/625694362029073*c_1001_9^9 + 168763509726297/625694362029073*c_1001_9^8 - 2415656839199080/4379860534203511*c_1001_9^7 + 3984469786363624/4379860534203511*c_1001_9^6 - 6551107802458651/4379860534203511*c_1001_9^5 + 10938367779541626/4379860534203511*c_1001_9^4 - 13224353745818447/4379860534203511*c_1001_9^3 + 8127735987496009/4379860534203511*c_1001_9^2 - 971688977771879/4379860534203511*c_1001_9 - 3646817786622022/4379860534203511, c_0011_14 - 3641466529844/4379860534203511*c_1001_9^11 + 30195049941678/4379860534203511*c_1001_9^10 - 17760507829697/625694362029073*c_1001_9^9 + 48534975355263/625694362029073*c_1001_9^8 - 736315791323571/4379860534203511*c_1001_9^7 + 1403814727417997/4379860534203511*c_1001_9^6 - 2402920950269706/4379860534203511*c_1001_9^5 + 4055229815809524/4379860534203511*c_1001_9^4 - 5972260095124418/4379860534203511*c_1001_9^3 + 4108265562092963/4379860534203511*c_1001_9^2 - 3383379083981083/4379860534203511*c_1001_9 + 124453081952375/4379860534203511, c_0011_16 - 14164035643662/4379860534203511*c_1001_9^11 + 103889264119533/4379860534203511*c_1001_9^10 - 52591505032122/625694362029073*c_1001_9^9 + 143202642120294/625694362029073*c_1001_9^8 - 2187912911063129/4379860534203511*c_1001_9^7 + 3900704643803419/4379860534203511*c_1001_9^6 - 6844869607390119/4379860534203511*c_1001_9^5 + 11466388378533934/4379860534203511*c_1001_9^4 - 14538942622697526/4379860534203511*c_1001_9^3 + 14491053339606187/4379860534203511*c_1001_9^2 - 12591511216908016/4379860534203511*c_1001_9 + 5149118369284312/4379860534203511, c_0011_7 + 3641466529844/4379860534203511*c_1001_9^11 - 30195049941678/4379860534203511*c_1001_9^10 + 17760507829697/625694362029073*c_1001_9^9 - 48534975355263/625694362029073*c_1001_9^8 + 736315791323571/4379860534203511*c_1001_9^7 - 1403814727417997/4379860534203511*c_1001_9^6 + 2402920950269706/4379860534203511*c_1001_9^5 - 4055229815809524/4379860534203511*c_1001_9^4 + 5972260095124418/4379860534203511*c_1001_9^3 - 4108265562092963/4379860534203511*c_1001_9^2 + 3383379083981083/4379860534203511*c_1001_9 - 124453081952375/4379860534203511, c_0011_8 - c_1001_9, c_0101_0 + 14947124354187/4379860534203511*c_1001_9^11 - 113355003863508/4379860534203511*c_1001_9^10 + 61844611502761/625694362029073*c_1001_9^9 - 170003497298547/625694362029073*c_1001_9^8 + 2596898937199066/4379860534203511*c_1001_9^7 - 4609544531991610/4379860534203511*c_1001_9^6 + 7765698736609164/4379860534203511*c_1001_9^5 - 12856810505373427/4379860534203511*c_1001_9^4 + 17249834906769685/4379860534203511*c_1001_9^3 - 15028810809809631/4379860534203511*c_1001_9^2 + 5983812705687903/4379860534203511*c_1001_9 + 873975210297617/4379860534203511, c_0101_10 + 14010009524479/4379860534203511*c_1001_9^11 - 85588046940703/4379860534203511*c_1001_9^10 + 36995600935080/625694362029073*c_1001_9^9 - 82587282220679/625694362029073*c_1001_9^8 + 982609013297818/4379860534203511*c_1001_9^7 - 1390332071362520/4379860534203511*c_1001_9^6 + 2337797535535230/4379860534203511*c_1001_9^5 - 3761507399209933/4379860534203511*c_1001_9^4 + 2397905923131863/4379860534203511*c_1001_9^3 + 4496461552628698/4379860534203511*c_1001_9^2 - 5831451933026729/4379860534203511*c_1001_9 + 3564658066891172/4379860534203511, c_0101_12 + 4331582112079/4379860534203511*c_1001_9^11 - 35332703114166/4379860534203511*c_1001_9^10 + 19443362301866/625694362029073*c_1001_9^9 - 60171562521640/625694362029073*c_1001_9^8 + 949554304922799/4379860534203511*c_1001_9^7 - 1726793923109839/4379860534203511*c_1001_9^6 + 3013989120265602/4379860534203511*c_1001_9^5 - 4692871858765252/4379860534203511*c_1001_9^4 + 6243127677049440/4379860534203511*c_1001_9^3 - 7464835195249655/4379860534203511*c_1001_9^2 + 3055131360337531/4379860534203511*c_1001_9 + 1577657849864323/4379860534203511, c_0101_14 - 1, c_0101_8 + 14947124354187/4379860534203511*c_1001_9^11 - 113355003863508/4379860534203511*c_1001_9^10 + 61844611502761/625694362029073*c_1001_9^9 - 170003497298547/625694362029073*c_1001_9^8 + 2596898937199066/4379860534203511*c_1001_9^7 - 4609544531991610/4379860534203511*c_1001_9^6 + 7765698736609164/4379860534203511*c_1001_9^5 - 12856810505373427/4379860534203511*c_1001_9^4 + 17249834906769685/4379860534203511*c_1001_9^3 - 15028810809809631/4379860534203511*c_1001_9^2 + 5983812705687903/4379860534203511*c_1001_9 + 873975210297617/4379860534203511, c_1001_0 - 16945181273595/4379860534203511*c_1001_9^11 + 141169237500825/4379860534203511*c_1001_9^10 - 82958394069765/625694362029073*c_1001_9^9 + 234355425334949/625694362029073*c_1001_9^8 - 3656841762480038/4379860534203511*c_1001_9^7 + 6683539690383250/4379860534203511*c_1001_9^6 - 11170889569131658/4379860534203511*c_1001_9^5 + 18808242006491045/4379860534203511*c_1001_9^4 - 26460469549629940/4379860534203511*c_1001_9^3 + 25198112118349797/4379860534203511*c_1001_9^2 - 12990072362895912/4379860534203511*c_1001_9 + 3994499048744251/4379860534203511, c_1001_2 - 6036960882556/4379860534203511*c_1001_9^11 + 20060293884859/4379860534203511*c_1001_9^10 + 208269196483/625694362029073*c_1001_9^9 - 26119255656224/625694362029073*c_1001_9^8 + 703261082948552/4379860534203511*c_1001_9^7 - 1740276579165316/4379860534203511*c_1001_9^6 + 3079112535000078/4379860534203511*c_1001_9^5 - 4986594275364843/4379860534203511*c_1001_9^4 + 9817481849041995/4379860534203511*c_1001_9^3 - 16069562309971316/4379860534203511*c_1001_9^2 + 12269962377345343/4379860534203511*c_1001_9 - 6491313833182735/4379860534203511, c_1001_9^12 - 8*c_1001_9^11 + 33*c_1001_9^10 - 98*c_1001_9^9 + 230*c_1001_9^8 - 444*c_1001_9^7 + 784*c_1001_9^6 - 1317*c_1001_9^5 + 1907*c_1001_9^4 - 2182*c_1001_9^3 + 1869*c_1001_9^2 - 1009*c_1001_9 + 457 ], Ideal of Polynomial ring of rank 18 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_13, c_0011_14, c_0011_16, c_0011_7, c_0011_8, c_0101_0, c_0101_10, c_0101_12, c_0101_14, c_0101_8, c_1001_0, c_1001_2, c_1001_9 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 9184852847913610892788536215602668043828883745454526528067565257547\ 523526612237970772124752976155394772818819/232371582220157187934741\ 0156013522892001304325473678735457251745640028547302266511805464873\ 843849965784751257315*c_1001_9^23 - 2739384653140015006107724026477607703394038483772594299260809984063\ 61414064551163565870923833705872872375727754/1415354182613684690147\ 9680041173275796735217255157861388694169723443810242659259662815104\ 231594358882507121294555*c_1001_9^22 - 4121737731551522660762586528391209711366955701734799421003183532754\ 0287482744434031557549135577691387018429002/83256128389040275891056\ 9414186663282160895132656344787570245277849635896627015274283241425\ 387903463676889487915*c_1001_9^21 - 1655259799697392301184012922885342729736757989908471276670064621512\ 981173415005169780359426744095034596424719981/222412800125007594166\ 1092577898657625201248425810521075366226670826884466703597947013802\ 0935362563958225476320015*c_1001_9^20 - 6884973148331931734837939561173429209341151962413298760064068544971\ 10805000445252870354640663573802301202969704/8194155794079227153488\ 2358133108438823203889371966565934545193135727322457500976995245340\ 28817786721451491275795*c_1001_9^19 - 1018633388157906306018072239141803488494401531618342233561374188234\ 441936151571520370115515921398478291085550719/141535418261368469014\ 7968004117327579673521725515786138869416972344381024265925966281510\ 4231594358882507121294555*c_1001_9^18 - 2708240915456812004697765103169430249926146979110913004555058846594\ 3711133656883727431919725454310658122851625767/15568896008750531591\ 6276480452906033764087389806736475275635866957881912669251856290966\ 146547537947707578334240105*c_1001_9^17 + 2763496872466559475183421674392317536242363639205355019755281826175\ 12679934533253233748561601077710269935688604/4448256002500151883322\ 1851557973152504024968516210421507324533416537689334071958940276041\ 87072512791645095264003*c_1001_9^16 + 6846417696766011688769483783339124212487539929740134667426917416992\ 886175016117372103060185248016968639837377002/141535418261368469014\ 7968004117327579673521725515786138869416972344381024265925966281510\ 4231594358882507121294555*c_1001_9^15 + 1248254244722690164543748144494685978566032916485501111369099710217\ 77078612183903843854454820521210285643043229367/1556889600875053159\ 1627648045290603376408738980673647527563586695788191266925185629096\ 6146547537947707578334240105*c_1001_9^14 - 6842652920166797765653279972902035836871673670281296812845203601511\ 8081706409957310970023004493241769136992875103/15568896008750531591\ 6276480452906033764087389806736475275635866957881912669251856290966\ 146547537947707578334240105*c_1001_9^13 + 1141447821521239701930051696595781497254511804876303091342413118616\ 68692133292800839068904169326664598733603393028/1556889600875053159\ 1627648045290603376408738980673647527563586695788191266925185629096\ 6146547537947707578334240105*c_1001_9^12 + 4237735014708321054494264261139056302172611177937072997490007464489\ 89564441113034544840280087714432127349318507643/1556889600875053159\ 1627648045290603376408738980673647527563586695788191266925185629096\ 6146547537947707578334240105*c_1001_9^11 + 3971582252592477284494625473188046931618878221361619990435272210650\ 78214182068387637705409963670641565565017387666/3113779201750106318\ 3255296090581206752817477961347295055127173391576382533850371258193\ 229309507589541515666848021*c_1001_9^10 - 2031662373269751589516352219212042553856863693910257475805681309725\ 88312310814496040051488473229267775539334425667/3113779201750106318\ 3255296090581206752817477961347295055127173391576382533850371258193\ 229309507589541515666848021*c_1001_9^9 - 5441932915445594198494412410195078599210723392261813778912745415030\ 6071726998428280974782915746231609467600058278/44482560025001518833\ 2218515579731525040249685162104215073245334165376893340719589402760\ 4187072512791645095264003*c_1001_9^8 - 1731124655690794812985987523157378181423827017960837982905023697112\ 87362548878940073007362414484413318047343452858/1415354182613684690\ 1479680041173275796735217255157861388694169723443810242659259662815\ 104231594358882507121294555*c_1001_9^7 + 8601170615788140869961504468668219641602392276063793451160802332331\ 2871118736925266318688340673912034800195223240/44482560025001518833\ 2218515579731525040249685162104215073245334165376893340719589402760\ 4187072512791645095264003*c_1001_9^6 + 1666454123845838643723674739940066774414068004576703187508312419081\ 561634272861332458542054184421854500747095066478/155688960087505315\ 9162764804529060337640873898067364752756358669578819126692518562909\ 66146547537947707578334240105*c_1001_9^5 - 3897267880118187597386204992801243701658033992309851504854128239886\ 287323279926627564775580593960291848015403621692/155688960087505315\ 9162764804529060337640873898067364752756358669578819126692518562909\ 66146547537947707578334240105*c_1001_9^4 - 1634103285450357175513782894925882168192496873496698766202098835743\ 156290715655935686696206357086222588150715823455/311377920175010631\ 8325529609058120675281747796134729505512717339157638253385037125819\ 3229309507589541515666848021*c_1001_9^3 - 1800836816727921420272784711873860345094945314880877842409698413865\ 22063875255665158091864352181444105727362062642/3113779201750106318\ 3255296090581206752817477961347295055127173391576382533850371258193\ 229309507589541515666848021*c_1001_9^2 + 6869973737713738845472083501676996488819881117006840157402730534416\ 239191976117635246482978182216333430353311379593/155688960087505315\ 9162764804529060337640873898067364752756358669578819126692518562909\ 66146547537947707578334240105*c_1001_9 + 6429541154978289000758336095139947399200801645084665880671643145836\ 1106781926405292170781191958092337275929955086/20219345465909781287\ 8281143445332511381931675073683734124202424620625860609417995183072\ 9175942051268929588756365, c_0011_0 - 1, c_0011_10 + 74734959468204718282308166162094151410374210903819922111180\ 2862289616571979197546184351283806/15644831764033149893193078859019\ 48987170223180605767737210206536258485080214241121979940117745841*c\ _1001_9^23 + 173701678857224813794880820063287353310599163853716072\ 21290631459011331844213559884902924795661/7822415882016574946596539\ 4295097449358511159030288386860510326812924254010712056098997005887\ 29205*c_1001_9^22 + 28553553158657289957414260370325586794845471705\ 11226670255575356267716303614632728692773936141/4601421107068573497\ 9979643702998499622653622958993168741476662831131914123948268293527\ 6505219365*c_1001_9^21 + 133723136518212686533630588607469430455658\ 17510403234053872349099548926657484462614980053644543/1117487983145\ 2249923709342042156778479787308432898340980072903830417750572958865\ 15699957226961315*c_1001_9^20 + 15738189316908725238888092949539434\ 9534849217505197235856209068105492154134001684495357242968763/78224\ 1588201657494659653942950974493585111590302883868605103268129242540\ 1071205609899700588729205*c_1001_9^19 + 2103161388145173134921076668618284925259688412335818026793953626208\ 82447697897297816616835791819/7822415882016574946596539429509744935\ 851115903028838686051032681292425401071205609899700588729205*c_1001\ _9^18 + 37054300700675518794129094052434254541664583791082584086197\ 7208727135091320602700092075539309384/78224158820165749465965394295\ 0974493585111590302883868605103268129242540107120560989970058872920\ 5*c_1001_9^17 + 561605484577068850659252798518880378937989490234504\ 9467635191917519460944298642720934799454952/22349759662904499847418\ 6840843135569595746168657966819601458076608355011459177303139991445\ 392263*c_1001_9^16 + 2104311646442330679194669960883409990174619986\ 4416245737416780120396415514239031103448277094994/15644831764033149\ 8931930788590194898717022318060576773721020653625848508021424112197\ 9940117745841*c_1001_9^15 - 298467207645504884524683841327676212384\ 803114741354685321753120957310975865343902135493341339984/782241588\ 2016574946596539429509744935851115903028838686051032681292425401071\ 205609899700588729205*c_1001_9^14 + 1302499118159679372909778052943285751873691490781049732635148102966\ 978433718001604168031933031/156448317640331498931930788590194898717\ 0223180605767737210206536258485080214241121979940117745841*c_1001_9\ ^13 - 1724507502790026394682143619760770982905305566248418584627617\ 375359649149112530252820260570033389/782241588201657494659653942950\ 9744935851115903028838686051032681292425401071205609899700588729205\ *c_1001_9^12 - 1184176151438743602218233297019939929163807208617546\ 393492887664719310812003227317179760056817587/782241588201657494659\ 6539429509744935851115903028838686051032681292425401071205609899700\ 588729205*c_1001_9^11 - 1174932527734691174908722979655495304756761\ 4803226704775290659140328500874204698806791420062144089/78224158820\ 1657494659653942950974493585111590302883868605103268129242540107120\ 5609899700588729205*c_1001_9^10 + 276241498675297668091626825079923\ 8964261512676933765199253001055501412749386280753932674622032579/78\ 2241588201657494659653942950974493585111590302883868605103268129242\ 5401071205609899700588729205*c_1001_9^9 - 1282594563341418522002905814975835640208301445647045837531509746107\ 250740825301001823820400853567/111748798314522499237093420421567784\ 7978730843289834098007290383041775057295886515699957226961315*c_100\ 1_9^8 + 12419112905958988173824804088681409490591919025307672329815\ 662127201883354498917945836411609319929/782241588201657494659653942\ 9509744935851115903028838686051032681292425401071205609899700588729\ 205*c_1001_9^7 + 92734910049625606329158566448967498806399499244888\ 1726627312858095120650755312962138899822545221/11174879831452249923\ 7093420421567784797873084328983409800729038304177505729588651569995\ 7226961315*c_1001_9^6 - 1560875531321633984749123992256476335887798\ 7952031343170126032265395945390168603610083421423774092/78224158820\ 1657494659653942950974493585111590302883868605103268129242540107120\ 5609899700588729205*c_1001_9^5 - 1853779703289439728854351792304476\ 5929558647731150231982098785330644605844019615827363390734028919/78\ 2241588201657494659653942950974493585111590302883868605103268129242\ 5401071205609899700588729205*c_1001_9^4 + 5426755188578358956988074983260161843842601354126912339774497240932\ 3074413861797374793346962881288/78224158820165749465965394295097449\ 35851115903028838686051032681292425401071205609899700588729205*c_10\ 01_9^3 + 5755951819727733774046343089982831490289970085024334217113\ 2795979475331066778211740532918974552827/78224158820165749465965394\ 2950974493585111590302883868605103268129242540107120560989970058872\ 9205*c_1001_9^2 - 2699477383044057231631701958425154713429390977003\ 5232162133963659550432555813092524040791383516287/78224158820165749\ 4659653942950974493585111590302883868605103268129242540107120560989\ 9700588729205*c_1001_9 - 616926851392964912732647896298862425746820\ 7057296560048366110363860486660986361830348360619556352/11174879831\ 4522499237093420421567784797873084328983409800729038304177505729588\ 6515699957226961315, c_0011_11 + 17821594893072917207134460420616835661208683460605628296546\ 75319740236609559105951984883386727/7822415882016574946596539429509\ 744935851115903028838686051032681292425401071205609899700588729205*\ c_1001_9^23 + 76456968808746820601376662112512053667332283774792623\ 94180818842146833957460278531363174360839/7822415882016574946596539\ 4295097449358511159030288386860510326812924254010712056098997005887\ 29205*c_1001_9^22 + 12143961966532226591556990815891921265023269481\ 42634691195513973830668848594096402829464364511/4601421107068573497\ 9979643702998499622653622958993168741476662831131914123948268293527\ 6505219365*c_1001_9^21 + 550281097460873298961600652257668302241514\ 4548536658137413877991995464449544983144388248043673/11174879831452\ 2499237093420421567784797873084328983409800729038304177505729588651\ 5699957226961315*c_1001_9^20 + 645456976048531256801516345767626095\ 05356915186393820909730736105774670265186849614913928658423/7822415\ 8820165749465965394295097449358511159030288386860510326812924254010\ 71205609899700588729205*c_1001_9^19 + 8442205046158391548460609841459338876002781484060632678737138925167\ 5062701724980827211370995718/78224158820165749465965394295097449358\ 51115903028838686051032681292425401071205609899700588729205*c_1001_\ 9^18 + 323006494338790283475241152342405745688439215925268162838217\ 37502055312067348588294121900156621/1564483176403314989319307885901\ 948987170223180605767737210206536258485080214241121979940117745841*\ c_1001_9^17 + 19253024897907566641089751072720865264392330119827700\ 63456852361417443497174748378098727397379/2234975966290449984741868\ 4084313556959574616865796681960145807660835501145917730313999144539\ 2263*c_1001_9^16 + 897776134773118848492019828202537790299790748103\ 46246752276452147693129605244970211943126797687/7822415882016574946\ 5965394295097449358511159030288386860510326812924254010712056098997\ 00588729205*c_1001_9^15 - 14915861981934995841450705321398088286411\ 454272380756972310961209081556342480485202368555626338/156448317640\ 3314989319307885901948987170223180605767737210206536258485080214241\ 121979940117745841*c_1001_9^14 + 1315123683891751659329030130793265\ 30644229856631417052079159235906337643940058768874070722582872/7822\ 4158820165749465965394295097449358511159030288386860510326812924254\ 01071205609899700588729205*c_1001_9^13 - 6842091896085440048218802278574771472346035901526912103004853603695\ 04908868685269688811091063594/7822415882016574946596539429509744935\ 851115903028838686051032681292425401071205609899700588729205*c_1001\ _9^12 - 24299747796741163074584862343242077083245501910497236100068\ 5021924651019881139306652469466565258/78224158820165749465965394295\ 0974493585111590302883868605103268129242540107120560989970058872920\ 5*c_1001_9^11 - 555176532074867737222450637656755238439304715586042\ 8944571816784624906021371277695148078140208792/78224158820165749465\ 9653942950974493585111590302883868605103268129242540107120560989970\ 0588729205*c_1001_9^10 + 272219886309637968172296601314509354460293\ 0293222292913343270091262001551302914865275766626333612/78224158820\ 1657494659653942950974493585111590302883868605103268129242540107120\ 5609899700588729205*c_1001_9^9 - 9066663977450123743982929620697274\ 47491862011606546843624873661646920671548641240953642336375066/1117\ 4879831452249923709342042156778479787308432898340980072903830417750\ 57295886515699957226961315*c_1001_9^8 + 6211403571039075127118333154311410968895460424436453266671682111510\ 076716487465432789141806124979/782241588201657494659653942950974493\ 5851115903028838686051032681292425401071205609899700588729205*c_100\ 1_9^7 + 15427375280412468889467009043136040596542128644843641239209\ 5157787612309625569013575878794380983/11174879831452249923709342042\ 1567784797873084328983409800729038304177505729588651569995722696131\ 5*c_1001_9^6 - 1492376400454043903425339383209251184869574651555549\ 9186395755305967314421469182942401042344556633/78224158820165749465\ 9653942950974493585111590302883868605103268129242540107120560989970\ 0588729205*c_1001_9^5 - 7361915118043719214855690158031173779616426\ 22441720814975752733097616890436473919965729811036579/7822415882016\ 5749465965394295097449358511159030288386860510326812924254010712056\ 09899700588729205*c_1001_9^4 + 137353405406528714025477201994698432\ 36530892562256041383351446050355159860404081278997141978177864/7822\ 4158820165749465965394295097449358511159030288386860510326812924254\ 01071205609899700588729205*c_1001_9^3 + 2399930824761369536608375198106976577041500022164830884747381396960\ 5262114182000324622885042589696/78224158820165749465965394295097449\ 35851115903028838686051032681292425401071205609899700588729205*c_10\ 01_9^2 - 1504552755502512070325491047527816666969405153527776750896\ 7270839474220910598779017393717484074933/78224158820165749465965394\ 2950974493585111590302883868605103268129242540107120560989970058872\ 9205*c_1001_9 - 255899521143405767206894842356528744807919323793607\ 610397732464200350621106556229945050888827105/223497596629044998474\ 1868408431355695957461686579668196014580766083550114591773031399914\ 45392263, c_0011_12 - 22639152218978361293924595166238085634588589823347992895062\ 51432598089570864615462409662599718/7822415882016574946596539429509\ 744935851115903028838686051032681292425401071205609899700588729205*\ c_1001_9^23 - 11822154408554465509197521732030662133188271520183995\ 989841616625016023941851552314559339365373/782241588201657494659653\ 9429509744935851115903028838686051032681292425401071205609899700588\ 729205*c_1001_9^22 - 2185446823058488032691071246401729183882054783\ 393098944979685849401959352739647698275799404021/460142110706857349\ 7997964370299849962265362295899316874147666283113191412394826829352\ 76505219365*c_1001_9^21 - 11833403372569663434819814785628292277082\ 382057633228307899616875015471568483126743590743536688/111748798314\ 5224992370934204215677847978730843289834098007290383041775057295886\ 515699957226961315*c_1001_9^20 - 1588424381005148696213567315609101\ 97074656315880722033592508860843882308214876281826239980548003/7822\ 4158820165749465965394295097449358511159030288386860510326812924254\ 01071205609899700588729205*c_1001_9^19 - 5119982048407865745585870545261904361834439426387059859937340542150\ 3802055119731247982445421648/15644831764033149893193078859019489871\ 70223180605767737210206536258485080214241121979940117745841*c_1001_\ 9^18 - 447904340637267116466269736841192705205750800391349836722981\ 522110259830011913239417178605700678/782241588201657494659653942950\ 9744935851115903028838686051032681292425401071205609899700588729205\ *c_1001_9^17 - 1442736368000423130338835470430291352419387176070458\ 0305318088873844925711619532958679261608621/22349759662904499847418\ 6840843135569595746168657966819601458076608355011459177303139991445\ 392263*c_1001_9^16 - 5835659189730137102847145494065668768605077807\ 29994812664462636338348028353803062539519403292978/7822415882016574\ 9465965394295097449358511159030288386860510326812924254010712056098\ 99700588729205*c_1001_9^15 - 41965585662818501671402821432686682045\ 5812186389306058003940230189300312095703158502516803584472/78224158\ 8201657494659653942950974493585111590302883868605103268129242540107\ 1205609899700588729205*c_1001_9^14 - 6170523509295931820303905316471379694885743485125026632150348836285\ 34549292687593190721808636738/7822415882016574946596539429509744935\ 851115903028838686051032681292425401071205609899700588729205*c_1001\ _9^13 + 42808627547125248034098640413895440198086241432440075261241\ 4255620531558710105975906294439368704/78224158820165749465965394295\ 0974493585111590302883868605103268129242540107120560989970058872920\ 5*c_1001_9^12 + 534616188869512053400963195127291892350673627286955\ 994362490592912814794312275856133136326426136/782241588201657494659\ 6539429509744935851115903028838686051032681292425401071205609899700\ 588729205*c_1001_9^11 + 7552211712914712387656073443990741777602225\ 421094065564829767047803600617561355016122271029072791/782241588201\ 6574946596539429509744935851115903028838686051032681292425401071205\ 609899700588729205*c_1001_9^10 + 2583273576919636292546000808950811\ 935324402233168207059559061173112860955006416031010215443162039/782\ 2415882016574946596539429509744935851115903028838686051032681292425\ 401071205609899700588729205*c_1001_9^9 + 1468577206489898255927799691064711834912969102867238549044045275893\ 284160882841817555744101365828/111748798314522499237093420421567784\ 7978730843289834098007290383041775057295886515699957226961315*c_100\ 1_9^8 - 13773830315561081253438297027539382412192184934172408456695\ 67509727887003497277219246467280130119/7822415882016574946596539429\ 5097449358511159030288386860510326812924254010712056098997005887292\ 05*c_1001_9^7 + 477905753509378147315389838759670328119823929239004\ 055215352389682118598200469226745613524947026/111748798314522499237\ 0934204215677847978730843289834098007290383041775057295886515699957\ 226961315*c_1001_9^6 + 86366400793674965234348872214906119915253923\ 48293981575401061719512175314866774837154675830616801/7822415882016\ 5749465965394295097449358511159030288386860510326812924254010712056\ 09899700588729205*c_1001_9^5 + 238576430570673277710909194498805690\ 23838535955605728783779909721908652920181653727331423294388589/7822\ 4158820165749465965394295097449358511159030288386860510326812924254\ 01071205609899700588729205*c_1001_9^4 - 1938324370410160121216859548219304959755907472218245122280441322463\ 2698779253587367148346070120817/78224158820165749465965394295097449\ 35851115903028838686051032681292425401071205609899700588729205*c_10\ 01_9^3 - 3826709688346336711143706256083590920971232870679309008511\ 9206096784574772514796759015768363429738/78224158820165749465965394\ 2950974493585111590302883868605103268129242540107120560989970058872\ 9205*c_1001_9^2 - 2705687661645850116976021215769492071424008118196\ 470266206044820266442620443613985552806711868239/782241588201657494\ 6596539429509744935851115903028838686051032681292425401071205609899\ 700588729205*c_1001_9 + 1892093026958736047863643724744267758070983\ 107182990908324392955926093112325208717675744174791454/111748798314\ 5224992370934204215677847978730843289834098007290383041775057295886\ 515699957226961315, c_0011_13 - 31744354399674269774502776852129300718949818930769698054725\ 8025279449265997973048222829823427/78224158820165749465965394295097\ 44935851115903028838686051032681292425401071205609899700588729205*c\ _1001_9^23 - 296199977302838367551355607857487153462553919128358630\ 922727751920604340273192716262229398890/156448317640331498931930788\ 5901948987170223180605767737210206536258485080214241121979940117745\ 841*c_1001_9^22 - 2431228662013799588460414147000835006771196940740\ 68167985997846070747433437628403416465086457/4601421107068573497997\ 9643702998499622653622958993168741476662831131914123948268293527650\ 5219365*c_1001_9^21 - 115502007119375514573971110957731717814394048\ 5749865567168380216698424922741613098614245357886/11174879831452249\ 9237093420421567784797873084328983409800729038304177505729588651569\ 9957226961315*c_1001_9^20 - 139433226245938207557997730228766037058\ 40270747901059692417354947579203059935051087541553272611/7822415882\ 0165749465965394295097449358511159030288386860510326812924254010712\ 05609899700588729205*c_1001_9^19 - 1890189545982685310559889860591236993352368922371592580474148926207\ 4579928118867505209970212952/78224158820165749465965394295097449358\ 51115903028838686051032681292425401071205609899700588729205*c_1001_\ 9^18 - 319775773037522309911032307948957057310523759112063037685632\ 29977024616955412454890084628746099/7822415882016574946596539429509\ 744935851115903028838686051032681292425401071205609899700588729205*\ c_1001_9^17 - 39925084007348376777310344801008282717694306342791746\ 1215032647755800891696985261710863519911/22349759662904499847418684\ 0843135569595746168657966819601458076608355011459177303139991445392\ 263*c_1001_9^16 + 4542871017492559094492848860489894900675374933995\ 528846069536530626995708382679040655584489578/782241588201657494659\ 6539429509744935851115903028838686051032681292425401071205609899700\ 588729205*c_1001_9^15 + 5708801427763252685096489139081699691781911\ 1825634762817945506955812110992782624193084695638909/78224158820165\ 7494659653942950974493585111590302883868605103268129242540107120560\ 9899700588729205*c_1001_9^14 + 707135293545558229466471513686673798\ 40584610259013545820580615379087389451514120857490854258488/7822415\ 8820165749465965394295097449358511159030288386860510326812924254010\ 71205609899700588729205*c_1001_9^13 + 2868052524229814729266076487377444825731999893968244230660552496955\ 55147381907772616586619509498/7822415882016574946596539429509744935\ 851115903028838686051032681292425401071205609899700588729205*c_1001\ _9^12 + 57920929114362156808466530111849980635554595564088196949327\ 931347342866216581107051603575788367/156448317640331498931930788590\ 1948987170223180605767737210206536258485080214241121979940117745841\ *c_1001_9^11 + 1278241001804289280827388020655937344418621383305963\ 993876506177785694524168014872316379241201846/782241588201657494659\ 6539429509744935851115903028838686051032681292425401071205609899700\ 588729205*c_1001_9^10 + 1355249142120652782964863152918943404906851\ 99186052491618119339881299712059662416894956272716454/7822415882016\ 5749465965394295097449358511159030288386860510326812924254010712056\ 09899700588729205*c_1001_9^9 + 165294877849406670537043810465073165\ 287831809056870996678736615876453415083291186638855562396488/111748\ 7983145224992370934204215677847978730843289834098007290383041775057\ 295886515699957226961315*c_1001_9^8 - 4431258024120276275474316750221371976533242164337056750450910065930\ 06821630172414473819959830563/7822415882016574946596539429509744935\ 851115903028838686051032681292425401071205609899700588729205*c_1001\ _9^7 + 399385569382870472628850607420526947255899996537745652825180\ 9219973641737565997314405352370261/11174879831452249923709342042156\ 77847978730843289834098007290383041775057295886515699957226961315*c\ _1001_9^6 + 1147711335539269234571006485865979615945015416940856109\ 43682107492665901645521419205033813575656/1564483176403314989319307\ 8859019489871702231806057677372102065362584850802142411219799401177\ 45841*c_1001_9^5 + 229988879675936136568588386800445192970954466306\ 3655273262093570495055634586841936697962062223488/78224158820165749\ 4659653942950974493585111590302883868605103268129242540107120560989\ 9700588729205*c_1001_9^4 - 8847788126071515261983098795802450332166\ 654471481434052483724907783600750718263177723752911807877/782241588\ 2016574946596539429509744935851115903028838686051032681292425401071\ 205609899700588729205*c_1001_9^3 - 3433105416772892731561629193303653732127730578653028925933834560716\ 364867494886312147750401678058/782241588201657494659653942950974493\ 5851115903028838686051032681292425401071205609899700588729205*c_100\ 1_9^2 + 26832394566581335245646813452733460780673392920966411699354\ 9579738744115623718093335573894428722/15644831764033149893193078859\ 0194898717022318060576773721020653625848508021424112197994011774584\ 1*c_1001_9 - 329447424094087589220244540674972255868343744811615862\ 049068079601715871564606104748154452836868/111748798314522499237093\ 4204215677847978730843289834098007290383041775057295886515699957226\ 961315, c_0011_14 + 10983019425217792588167114270492208348848568521525651145443\ 34979117643527971034835449017986727/7822415882016574946596539429509\ 744935851115903028838686051032681292425401071205609899700588729205*\ c_1001_9^23 + 45887983437793623916215707402960055325118780478725458\ 35002213888613138871409315864985468472019/7822415882016574946596539\ 4295097449358511159030288386860510326812924254010712056098997005887\ 29205*c_1001_9^22 + 68269366827497786124389173356716441789772579512\ 4382933784053462483835306413432115619474873581/46014211070685734979\ 9796437029984996226536229589931687414766628311319141239482682935276\ 505219365*c_1001_9^21 + 2662974481339053575752502337477343960931892\ 366230466570608923711326166307552851161800720927563/111748798314522\ 4992370934204215677847978730843289834098007290383041775057295886515\ 699957226961315*c_1001_9^20 + 2613790444898527765168895743206526744\ 6174189323712594069662012544209077660931282484273137623873/78224158\ 8201657494659653942950974493585111590302883868605103268129242540107\ 1205609899700588729205*c_1001_9^19 + 2335198114989847343896341258468096755140693526049491628164103388796\ 9422299961767791898266795663/78224158820165749465965394295097449358\ 51115903028838686051032681292425401071205609899700588729205*c_1001_\ 9^18 + 102344677172388353178872228379156542382735423691714259841283\ 47675725575224266567896816699015091/1564483176403314989319307885901\ 948987170223180605767737210206536258485080214241121979940117745841*\ c_1001_9^17 - 10470413977036984329729463837879333877018917676796635\ 67977592497701624090808884231155047885352/2234975966290449984741868\ 4084313556959574616865796681960145807660835501145917730313999144539\ 2263*c_1001_9^16 - 572431972028307063266039926496866300556806213778\ 36950767399135346034580992269456117066384939908/7822415882016574946\ 5965394295097449358511159030288386860510326812924254010712056098997\ 00588729205*c_1001_9^15 - 39512472775581760219036572330501955220951\ 362307652437625861045357726189182635126297487415694476/156448317640\ 3314989319307885901948987170223180605767737210206536258485080214241\ 121979940117745841*c_1001_9^14 - 4247923673431029107372140312095432\ 38693585173372799591677162199123001494716935976331614978623/7822415\ 8820165749465965394295097449358511159030288386860510326812924254010\ 71205609899700588729205*c_1001_9^13 - 6142848802718462663026902171385248974120824889776161935841904171343\ 00116946520728809733167061774/7822415882016574946596539429509744935\ 851115903028838686051032681292425401071205609899700588729205*c_1001\ _9^12 - 17289889275011578091520385176012061854372547727321115434113\ 5696491622544167844371418711718062933/78224158820165749465965394295\ 0974493585111590302883868605103268129242540107120560989970058872920\ 5*c_1001_9^11 - 358508951733512684419662614999509936872050159902966\ 8139458532218979627354262004505963232522338162/78224158820165749465\ 9653942950974493585111590302883868605103268129242540107120560989970\ 0588729205*c_1001_9^10 + 251970705277653679379709225400889583427511\ 9800065181679381748996607530467018158198245714467244492/78224158820\ 1657494659653942950974493585111590302883868605103268129242540107120\ 5609899700588729205*c_1001_9^9 - 3998707754923331182229572647322260\ 38464406122095579753339277965263675701527844500562702933039041/1117\ 4879831452249923709342042156778479787308432898340980072903830417750\ 57295886515699957226961315*c_1001_9^8 + 7480579274208747539847101768674359130071372253397318080405692068983\ 256172882836166106513865340264/782241588201657494659653942950974493\ 5851115903028838686051032681292425401071205609899700588729205*c_100\ 1_9^7 - 32987530335103313650113976447151721157896830632768299313084\ 6907114599668525433529973767648307622/11174879831452249923709342042\ 1567784797873084328983409800729038304177505729588651569995722696131\ 5*c_1001_9^6 - 1036097040229341004657652273066051833865384548984187\ 210348166246089008176486166383410007561177358/782241588201657494659\ 6539429509744935851115903028838686051032681292425401071205609899700\ 588729205*c_1001_9^5 - 11522590217776851720861660957848359510885941\ 772211947378614188782509753601430000868453568184369359/782241588201\ 6574946596539429509744935851115903028838686051032681292425401071205\ 609899700588729205*c_1001_9^4 + 25634916564961292503569460196087891\ 459375257504066860285225638379553529888161137679736678834766454/782\ 2415882016574946596539429509744935851115903028838686051032681292425\ 401071205609899700588729205*c_1001_9^3 + 1457476119954957047704296070626402451815536733690633758451903368607\ 7626425349120662939022975381211/78224158820165749465965394295097449\ 35851115903028838686051032681292425401071205609899700588729205*c_10\ 01_9^2 - 1158779422572601908233004290975163560749269802491551024033\ 1335376112801600438450823785253020457303/78224158820165749465965394\ 2950974493585111590302883868605103268129242540107120560989970058872\ 9205*c_1001_9 - 536893984620257954970592800944435518700777221780831\ 196622819230009832221320498833299980158794558/223497596629044998474\ 1868408431355695957461686579668196014580766083550114591773031399914\ 45392263, c_0011_16 + 51019768896257557139928134232887774174049043283441856319205\ 65045187504519417936062020143346642/7822415882016574946596539429509\ 744935851115903028838686051032681292425401071205609899700588729205*\ c_1001_9^23 + 23915702386986937601121247472863472223480283260147220\ 288333255597087451207177012306950959564938/782241588201657494659653\ 9429509744935851115903028838686051032681292425401071205609899700588\ 729205*c_1001_9^22 + 7932316376344991549989557481235034552920264108\ 31681589226703978154410314471249567010330326110/9202842214137146995\ 9959287405996999245307245917986337482953325662263828247896536587055\ 301043873*c_1001_9^21 + 3764779673992053529270726220885892514740140\ 587285776321235499274284065890178894086992395215121/223497596629044\ 9984741868408431355695957461686579668196014580766083550114591773031\ 39991445392263*c_1001_9^20 + 44903623923072519242936541437359075733\ 554928067881671132949809621273619756833747995762540817725/156448317\ 6403314989319307885901948987170223180605767737210206536258485080214\ 241121979940117745841*c_1001_9^19 + 3075131784940995372711448858139511973679612725782255600133886247230\ 89616387889790380742828584409/7822415882016574946596539429509744935\ 851115903028838686051032681292425401071205609899700588729205*c_1001\ _9^18 + 54308341856084417482767003119261251494487491089125533653103\ 3479027717114287713924702949052032076/78224158820165749465965394295\ 0974493585111590302883868605103268129242540107120560989970058872920\ 5*c_1001_9^17 + 966171663451935771601639252488887451670171838270626\ 3474065595328427939954276688513543312754723/22349759662904499847418\ 6840843135569595746168657966819601458076608355011459177303139991445\ 392263*c_1001_9^16 + 2459845029729479870560954632396522930466107475\ 59022649418989276277886844168940708437696659337657/7822415882016574\ 9465965394295097449358511159030288386860510326812924254010712056098\ 99700588729205*c_1001_9^15 - 26167497895499487381750016691257989490\ 0406648270392047363529640494944239269311588304028569011836/78224158\ 8201657494659653942950974493585111590302883868605103268129242540107\ 1205609899700588729205*c_1001_9^14 + 1699759098007017775728679469815545644964570412708755032952792086374\ 39744995959904934400898678412/7822415882016574946596539429509744935\ 851115903028838686051032681292425401071205609899700588729205*c_1001\ _9^13 - 42350138306815576384421649313625526741861168664223516109226\ 3191637083552404919099521571275241362/15644831764033149893193078859\ 0194898717022318060576773721020653625848508021424112197994011774584\ 1*c_1001_9^12 - 148628096208741198173148921802885613919462092973914\ 4507149596361524670381539262449280648084246451/78224158820165749465\ 9653942950974493585111590302883868605103268129242540107120560989970\ 0588729205*c_1001_9^11 - 159182479245465535810148663106682297799305\ 83366374175209153915458548722983699690977045064526438568/7822415882\ 0165749465965394295097449358511159030288386860510326812924254010712\ 05609899700588729205*c_1001_9^10 + 3072229279866569628481125934046538200816877233851435991329891216368\ 932293164326528872665693741518/782241588201657494659653942950974493\ 5851115903028838686051032681292425401071205609899700588729205*c_100\ 1_9^9 - 18247479803786052702576252046658870450554575452431837479251\ 98310880220406913405772309459231017579/1117487983145224992370934204\ 2156778479787308432898340980072903830417750572958865156999572269613\ 15*c_1001_9^8 + 302313608440039681240753536090042459587675019056891\ 4554998988265594471435765139764217701249596999/15644831764033149893\ 1930788590194898717022318060576773721020653625848508021424112197994\ 0117745841*c_1001_9^7 + 1215058001904625324698772771029097011399187\ 409994665948079995335911719749608238464236256057101267/111748798314\ 5224992370934204215677847978730843289834098007290383041775057295886\ 515699957226961315*c_1001_9^6 - 25120199297806390290596612533030803\ 257849078203411016016681002114029591634005990431197998845056921/782\ 2415882016574946596539429509744935851115903028838686051032681292425\ 401071205609899700588729205*c_1001_9^5 - 5119733927039392181152948994383767982531521487916983344625884288527\ 238425345114584349480027251238/156448317640331498931930788590194898\ 7170223180605767737210206536258485080214241121979940117745841*c_100\ 1_9^4 + 66326460616897645266404220097703018444662334797983927247201\ 350740555869072516937088848144162329851/782241588201657494659653942\ 9509744935851115903028838686051032681292425401071205609899700588729\ 205*c_1001_9^3 + 80073609343736378280079131025603580213059063452716\ 141062476798146610266882025366100480212372737489/782241588201657494\ 6596539429509744935851115903028838686051032681292425401071205609899\ 700588729205*c_1001_9^2 - 36488560930709574079805390479578151929730\ 780294549362446641507147892990601297865676458702521376706/782241588\ 2016574946596539429509744935851115903028838686051032681292425401071\ 205609899700588729205*c_1001_9 - 8141643690925084730803431277727990\ 942394351778305201614762252458344653453247543402883625449353318/111\ 7487983145224992370934204215677847978730843289834098007290383041775\ 057295886515699957226961315, c_0011_7 + 443487514737130369311925078064753516948612459334452202714928\ 655311817655641486131073134396/635452143137008525312472740008915104\ 4558177013020989996792065541261109180399029739967262866555*c_1001_9\ ^23 + 2927325071469524899135721097803706710872006501837608295224985\ 15105834151539413661564640904/1270904286274017050624945480017830208\ 911635402604197999358413108252221836079805947993452573311*c_1001_9^\ 22 + 14756966961245964010522028591997398483301322415801684815412270\ 5596095850952879000160978816/37379537831588736783086631765230300262\ 1069236060058235105415620074182892964648808233368403915*c_1001_9^21 + 11092170212637250365928713873569976915412542974133608131571965900\ 1352600753421104425615593/90778877591001217901781820001273586350831\ 1001860141428113152220180158454342718534281037552365*c_1001_9^20 - 4771005488568035584055611334595095604193527921402408058722913094670\ 151240978749777991649707/635452143137008525312472740008915104455817\ 7013020989996792065541261109180399029739967262866555*c_1001_9^19 - 2017630992957338637154373704950252218169613371199084056608303862671\ 9098574634146379006207269/63545214313700852531247274000891510445581\ 77013020989996792065541261109180399029739967262866555*c_1001_9^18 - 2930282829717396152457212531944119208923124473306211168861500931295\ 7529975610402384165239928/63545214313700852531247274000891510445581\ 77013020989996792065541261109180399029739967262866555*c_1001_9^17 - 2899681464214202120157164190968428593210795361445591742484935100954\ 647729456459906464313994/181557755182002435803563640002547172701662\ 200372028285622630444036031690868543706856207510473*c_1001_9^16 - 1310010052094348397587207120338520649303803355945984285939195115992\ 34263970998681287763295174/6354521431370085253124727400089151044558\ 177013020989996792065541261109180399029739967262866555*c_1001_9^15 - 1850658695705012753351537624431057801199323765676912973936013083243\ 84878867170448387163906777/6354521431370085253124727400089151044558\ 177013020989996792065541261109180399029739967262866555*c_1001_9^14 - 1043286269223440037652065014109975989940679720526263669703827215632\ 01282149549060582859994324/6354521431370085253124727400089151044558\ 177013020989996792065541261109180399029739967262866555*c_1001_9^13 - 3104013740263050806145621994805696598566363399823376728619683211847\ 60719009845982759309578554/6354521431370085253124727400089151044558\ 177013020989996792065541261109180399029739967262866555*c_1001_9^12 + 7385684863744255836410999465730543869723147884559290923849866505053\ 163605291723224840642244/127090428627401705062494548001783020891163\ 5402604197999358413108252221836079805947993452573311*c_1001_9^11 - 1044564791843134338191267133844636646433362517067148040526430062471\ 930821026590350483067901938/635452143137008525312472740008915104455\ 8177013020989996792065541261109180399029739967262866555*c_1001_9^10 + 24851127888993039677932912442934499724104562212641310665236548216\ 22100293210574770726983868043/6354521431370085253124727400089151044\ 558177013020989996792065541261109180399029739967262866555*c_1001_9^\ 9 + 534987434833383829804414599749117775198706237277928868204410803\ 82904693219225519149424701771/9077887759100121790178182000127358635\ 08311001860141428113152220180158454342718534281037552365*c_1001_9^8 + 41390075216783332250973311787139375908822447696415560336686424979\ 44415189456522547829217572614/6354521431370085253124727400089151044\ 558177013020989996792065541261109180399029739967262866555*c_1001_9^\ 7 + 255877545678239656672635124165134186079453384561770521565250937\ 565350130588327934417979422132/907788775910012179017818200012735863\ 508311001860141428113152220180158454342718534281037552365*c_1001_9^\ 6 - 421155725696611818476901945668992749186259584637042610185483173\ 904484940823561416991831235575/127090428627401705062494548001783020\ 8911635402604197999358413108252221836079805947993452573311*c_1001_9\ ^5 + 10021934697079885434759377428994707821248789877193853559205641\ 22152685305923735899309733747741/6354521431370085253124727400089151\ 044558177013020989996792065541261109180399029739967262866555*c_1001\ _9^4 + 106674735531872419538757782567285587837708211515928412090095\ 22003876291502840539040266655703306/6354521431370085253124727400089\ 151044558177013020989996792065541261109180399029739967262866555*c_1\ 001_9^3 + 373925346064633588132587600308794969133900980753057767420\ 2070929762765103174807794155954903489/63545214313700852531247274000\ 89151044558177013020989996792065541261109180399029739967262866555*c\ _1001_9^2 - 3207858163282544740437196782970543734607619047086871988\ 799829774659034165138496275207627566595/127090428627401705062494548\ 0017830208911635402604197999358413108252221836079805947993452573311\ *c_1001_9 - 9147035116342850680506107036442305225332128528732546925\ 29213199467102585266721910915828862056/9077887759100121790178182000\ 12735863508311001860141428113152220180158454342718534281037552365, c_0011_8 + 121456794473691058510227966846600394586535990529257054371854\ 4068162866508555847951291716260251/15644831764033149893193078859019\ 48987170223180605767737210206536258485080214241121979940117745841*c\ _1001_9^23 + 289820122779423648923559734023750681066023324456937905\ 96036293165268983980661823825725637028899/7822415882016574946596539\ 4295097449358511159030288386860510326812924254010712056098997005887\ 29205*c_1001_9^22 + 49262619950166963655111279739528164011227999816\ 24885622066772377866262943116254379767387172994/4601421107068573497\ 9979643702998499622653622958993168741476662831131914123948268293527\ 6505219365*c_1001_9^21 + 242494795663975742908659283342850039341869\ 14814751906170037526391467661984365754775693525939197/1117487983145\ 2249923709342042156778479787308432898340980072903830417750572958865\ 15699957226961315*c_1001_9^20 + 30020577507017516033978836685903211\ 2008853412645214016966894954056378417733856192656807699600122/78224\ 1588201657494659653942950974493585111590302883868605103268129242540\ 1071205609899700588729205*c_1001_9^19 + 4346008192408241614467253731713289695567257223468449392995503119196\ 01237260546169297927103666516/7822415882016574946596539429509744935\ 851115903028838686051032681292425401071205609899700588729205*c_1001\ _9^18 + 76810758442681189881958421293723678555543918186507659120718\ 8421704790584822358739702531008226881/78224158820165749465965394295\ 0974493585111590302883868605103268129242540107120560989970058872920\ 5*c_1001_9^17 + 174412013702937041986902318050189448782455554925793\ 58832224068472877925176623457392816755350002/2234975966290449984741\ 8684084313556959574616865796681960145807660835501145917730313999144\ 5392263*c_1001_9^16 + 118493190164220462264193073446377329194882382\ 116784281147901144905318239169353926040091994304860/156448317640331\ 4989319307885901948987170223180605767737210206536258485080214241121\ 979940117745841*c_1001_9^15 + 5853917201873019753325149604352888495\ 8704899266559762494272064564825162417337513384144140906104/78224158\ 8201657494659653942950974493585111590302883868605103268129242540107\ 1205609899700588729205*c_1001_9^14 + 1132628923042259037380406413872257280140322284809726475780228170136\ 94120506606406432623556751726/1564483176403314989319307885901948987\ 170223180605767737210206536258485080214241121979940117745841*c_1001\ _9^13 - 21023424207446387887398075405373353699439668692948482081338\ 07163937583489160814724149804056858226/7822415882016574946596539429\ 5097449358511159030288386860510326812924254010712056098997005887292\ 05*c_1001_9^12 - 15442006826552613736018379509713454764881150995040\ 93678235485275107745373016257751570536423804353/7822415882016574946\ 5965394295097449358511159030288386860510326812924254010712056098997\ 00588729205*c_1001_9^11 - 19047016378408869119239932069996040477469\ 315216485776086750358426849575850157052870230295326477001/782241588\ 2016574946596539429509744935851115903028838686051032681292425401071\ 205609899700588729205*c_1001_9^10 + 1705166356507305795318686634181184487880307530589472020856430352997\ 664138160192166755208443575826/782241588201657494659653942950974493\ 5851115903028838686051032681292425401071205609899700588729205*c_100\ 1_9^9 - 26172682296615018933751273314932214250517615514848644446860\ 97977521043184001223512845789189697253/1117487983145224992370934204\ 2156778479787308432898340980072903830417750572958865156999572269613\ 15*c_1001_9^8 + 133232777715058364497882577537800694236203061904402\ 97030789300403277417308519957820844034289037346/7822415882016574946\ 5965394295097449358511159030288386860510326812924254010712056098997\ 00588729205*c_1001_9^7 + 106738672439415779972405971528745721108505\ 8306139397552666007954301236004378626409204537854107129/11174879831\ 4522499237093420421567784797873084328983409800729038304177505729588\ 6515699957226961315*c_1001_9^6 - 3384057998137749854933227096098945\ 0780084241692564273290167303800592072067900470214167001111027453/78\ 2241588201657494659653942950974493585111590302883868605103268129242\ 5401071205609899700588729205*c_1001_9^5 - 3227649376875040829558959393825211938756725116575041120130674822307\ 5281401061359249987311224669151/78224158820165749465965394295097449\ 35851115903028838686051032681292425401071205609899700588729205*c_10\ 01_9^4 + 6789534540168850014404491059757220026273905167061365954369\ 3382024161334223814381888794632586612212/78224158820165749465965394\ 2950974493585111590302883868605103268129242540107120560989970058872\ 9205*c_1001_9^3 + 8958204576752833875128416650808383697124641817153\ 5241653819307678954200136119924461760424383334518/78224158820165749\ 4659653942950974493585111590302883868605103268129242540107120560989\ 9700588729205*c_1001_9^2 - 3117790628593389983739994602517938270267\ 7254962935587066979671683910614007038694030171134042707793/78224158\ 8201657494659653942950974493585111590302883868605103268129242540107\ 1205609899700588729205*c_1001_9 - 733953938811405332877638139003355\ 1837703104733396531537391968275322804866499846475459518707691903/11\ 1748798314522499237093420421567784797873084328983409800729038304177\ 5057295886515699957226961315, c_0101_0 - 172433719153956703706015496826280820971840021867253003152516\ 9578426669691574397594401369389058/78224158820165749465965394295097\ 44935851115903028838686051032681292425401071205609899700588729205*c\ _1001_9^23 - 686842645841225001515074511373205819047800533625535188\ 7980066326481531922845322154429440428582/78224158820165749465965394\ 2950974493585111590302883868605103268129242540107120560989970058872\ 9205*c_1001_9^22 - 192961176595038043615968148918910378155944758976\ 372497935757017786835024954283120703927348203/920284221413714699599\ 5928740599699924530724591798633748295332566226382824789653658705530\ 1043873*c_1001_9^21 - 693150497085788318087893451462265407899604177\ 111778344044762085637789701819654465889836840827/223497596629044998\ 4741868408431355695957461686579668196014580766083550114591773031399\ 91445392263*c_1001_9^20 - 60328479925708049870790848589751315379010\ 31297569003343995905813699599060964067755083654763052/1564483176403\ 3149893193078859019489871702231806057677372102065362584850802142411\ 21979940117745841*c_1001_9^19 - 15373178080239356597222465592395022\ 744304694470941486710769057879956213080661857029190211212801/782241\ 5882016574946596539429509744935851115903028838686051032681292425401\ 071205609899700588729205*c_1001_9^18 - 3923384530650579205209443070314664146369498809313036536934847268495\ 4244476536419848664501380444/78224158820165749465965394295097449358\ 51115903028838686051032681292425401071205609899700588729205*c_1001_\ 9^17 + 397071638565624275866337448250861250782500380694516078206459\ 5879260856406687152340491585089322/22349759662904499847418684084313\ 5569595746168657966819601458076608355011459177303139991445392263*c_\ 1001_9^16 + 2107753252500308099594622546418179095436597719673044529\ 43445692842514113187630581977761184816952/7822415882016574946596539\ 4295097449358511159030288386860510326812924254010712056098997005887\ 29205*c_1001_9^15 + 43960913566399815810783270205551929128086139198\ 7061222226554269340204209098696534813153733744269/78224158820165749\ 4659653942950974493585111590302883868605103268129242540107120560989\ 9700588729205*c_1001_9^14 + 218438685036708087448392012209914590997\ 655853879768323552243002772499517758873021076977622639982/782241588\ 2016574946596539429509744935851115903028838686051032681292425401071\ 205609899700588729205*c_1001_9^13 + 2229164797165482151318865247589150030033219099785628813103320756637\ 98028777233258658515887084656/1564483176403314989319307885901948987\ 170223180605767737210206536258485080214241121979940117745841*c_1001\ _9^12 + 33150080708537190812420304542086624320224579123986593352758\ 8108008980446655682955140838494405499/78224158820165749465965394295\ 0974493585111590302883868605103268129242540107120560989970058872920\ 5*c_1001_9^11 + 514389907571980989439234080235956048289793540828120\ 3640298412020677102534921946284697037148380522/78224158820165749465\ 9653942950974493585111590302883868605103268129242540107120560989970\ 0588729205*c_1001_9^10 - 514306402794055401372088595114377371137968\ 1153878346234971545777952291557041646061535859218735822/78224158820\ 1657494659653942950974493585111590302883868605103268129242540107120\ 5609899700588729205*c_1001_9^9 + 3940573304541002880440459283491115\ 71091122826478265744256236087722534172715986184313111830721786/1117\ 4879831452249923709342042156778479787308432898340980072903830417750\ 57295886515699957226961315*c_1001_9^8 - 2236352671057147769955446188457314286272382543931989694493830679465\ 625803597439505142838859941312/156448317640331498931930788590194898\ 7170223180605767737210206536258485080214241121979940117745841*c_100\ 1_9^7 - 35700306945265654560656850710256701524866454372130308929152\ 8022660687726904461981747935585279578/11174879831452249923709342042\ 1567784797873084328983409800729038304177505729588651569995722696131\ 5*c_1001_9^6 + 5761544168991562913254557729465400677580214642005941\ 724257679875245174291824441161630294655324549/782241588201657494659\ 6539429509744935851115903028838686051032681292425401071205609899700\ 588729205*c_1001_9^5 + 10717283233174379908863531489576190182307932\ 01276023492079969576695755145799961022722740237140936/1564483176403\ 3149893193078859019489871702231806057677372102065362584850802142411\ 21979940117745841*c_1001_9^4 - 374904873336946843641469057783154249\ 07265101715215860150514527407789422652196186730678263975597984/7822\ 4158820165749465965394295097449358511159030288386860510326812924254\ 01071205609899700588729205*c_1001_9^3 - 1672116827985688845445478563289422531053089464047725702672891413482\ 8562994027514634165292924815436/78224158820165749465965394295097449\ 35851115903028838686051032681292425401071205609899700588729205*c_10\ 01_9^2 + 2390984912134320096911201812793240309330957374263156856490\ 5309088394238576421988967323692867796474/78224158820165749465965394\ 2950974493585111590302883868605103268129242540107120560989970058872\ 9205*c_1001_9 + 379644768213329813492399491344252937080474067742949\ 4288404998607264288322619467356161547980450142/11174879831452249923\ 7093420421567784797873084328983409800729038304177505729588651569995\ 7226961315, c_0101_10 - 25115459393585215516711401165457045272820887962197904212777\ 9050771390608378301926132008921672/11174879831452249923709342042156\ 77847978730843289834098007290383041775057295886515699957226961315*c\ _1001_9^23 - 114682591579951055771233100020203175739950762172786447\ 1325246294266238146728153292934024451909/11174879831452249923709342\ 0421567784797873084328983409800729038304177505729588651569995722696\ 1315*c_1001_9^22 - 197163562942112845105954970774420267309604362322\ 480923736936724053440906740205861158319004921/657345872438367642571\ 1377671856928517521946136999024105925237547304559160564038327646807\ 2174195*c_1001_9^21 - 685745038739908767160622175779595577691449778\ 2746688731874979317909312226591942837076741364731/11174879831452249\ 9237093420421567784797873084328983409800729038304177505729588651569\ 9957226961315*c_1001_9^20 - 126214219713020125253327331159520343360\ 92481295885147729840835312988783688882115202508730141388/1117487983\ 1452249923709342042156778479787308432898340980072903830417750572958\ 86515699957226961315*c_1001_9^19 - 1896608903660745248715879380580979471216672235413924433961210185283\ 8661294199815328546981782083/11174879831452249923709342042156778479\ 78730843289834098007290383041775057295886515699957226961315*c_1001_\ 9^18 - 705940831488154993096339943848554168277559712863095682317149\ 2257345241619861156383279321573932/22349759662904499847418684084313\ 5569595746168657966819601458076608355011459177303139991445392263*c_\ 1001_9^17 - 6082536538818727911962500371772729297276247684858792093\ 372279812446271351401292087848667261706/223497596629044998474186840\ 8431355695957461686579668196014580766083550114591773031399914453922\ 63*c_1001_9^16 - 42131153953639287389664225199426973573716215099984\ 486544865940460069558957484470081927333411902/111748798314522499237\ 0934204215677847978730843289834098007290383041775057295886515699957\ 226961315*c_1001_9^15 - 3435506639025236783105152037009227487526310\ 247958219276239454305578721470623201170056417432004/223497596629044\ 9984741868408431355695957461686579668196014580766083550114591773031\ 39991445392263*c_1001_9^14 - 58102687954121631066296917880914620425\ 070603866024554502575801857376698742443002372655014740137/111748798\ 3145224992370934204215677847978730843289834098007290383041775057295\ 886515699957226961315*c_1001_9^13 + 7800102545864983307356178514519835399407000811208746182483044135364\ 5358005905642814855490206914/11174879831452249923709342042156778479\ 78730843289834098007290383041775057295886515699957226961315*c_1001_\ 9^12 + 759277372176784016264859431133401356151137261938835950655945\ 6294589149215892453038003020027783/11174879831452249923709342042156\ 77847978730843289834098007290383041775057295886515699957226961315*c\ _1001_9^11 + 837586610305924432510680644686682137513082772930588206\ 406821957274058478776968078869468783194242/111748798314522499237093\ 4204215677847978730843289834098007290383041775057295886515699957226\ 961315*c_1001_9^10 - 2479507786245591213056311728194677510460786160\ 60613435844351647726411632045698161199101800810942/1117487983145224\ 9923709342042156778479787308432898340980072903830417750572958865156\ 99957226961315*c_1001_9^9 + 127597474702501563835199792727658930509\ 9945198747034441542202151979093921206557141324564654213117/11174879\ 8314522499237093420421567784797873084328983409800729038304177505729\ 5886515699957226961315*c_1001_9^8 - 1053379911319903847954560174895144624816165094870798390970798016206\ 191667980482582312974136504689/111748798314522499237093420421567784\ 7978730843289834098007290383041775057295886515699957226961315*c_100\ 1_9^7 + 94676492438314420913865873951533056333808418390339010555918\ 3152755309750606990801832395535156684/11174879831452249923709342042\ 1567784797873084328983409800729038304177505729588651569995722696131\ 5*c_1001_9^6 + 5904863844978568001031047553235568064232796070144651\ 18744912333201748841597254715533506922011518/1117487983145224992370\ 9342042156778479787308432898340980072903830417750572958865156999572\ 26961315*c_1001_9^5 + 228362311115551029242015530484800657601239676\ 4968128980861321943958907414329254685452222179988389/11174879831452\ 2499237093420421567784797873084328983409800729038304177505729588651\ 5699957226961315*c_1001_9^4 - 3257199901167440825464345007144330822\ 690012149128863149629124851897297590481135536153492254387784/111748\ 7983145224992370934204215677847978730843289834098007290383041775057\ 295886515699957226961315*c_1001_9^3 - 2668843299191143388485027739850291110112610202368464024648385986196\ 671466566225080628103030539196/111748798314522499237093420421567784\ 7978730843289834098007290383041775057295886515699957226961315*c_100\ 1_9^2 + 33144354129615332361377726026156096784460962176628610227556\ 4733680730371530181574962737024873933/11174879831452249923709342042\ 1567784797873084328983409800729038304177505729588651569995722696131\ 5*c_1001_9 + 304617517930038075739365590410531625725548873826267268\ 830295675829433752253475146514780848870419/223497596629044998474186\ 8408431355695957461686579668196014580766083550114591773031399914453\ 92263, c_0101_12 - 20331045324150380744026148502012433296263966755848954659175\ 3627236282295755994268477775656947/15644831764033149893193078859019\ 48987170223180605767737210206536258485080214241121979940117745841*c\ _1001_9^23 - 456205575315436339025951116645910688237933483123395779\ 4757454574982979087153471634733736570096/78224158820165749465965394\ 2950974493585111590302883868605103268129242540107120560989970058872\ 9205*c_1001_9^22 - 810376776351612099056080211464853712440806957767\ 315717286791812889319898248452440990806638276/460142110706857349799\ 7964370299849962265362295899316874147666283113191412394826829352765\ 05219365*c_1001_9^21 - 42300929387745662513915718947920349507696135\ 71262773803280736767982838425959886466152062299293/1117487983145224\ 9923709342042156778479787308432898340980072903830417750572958865156\ 99957226961315*c_1001_9^20 - 57975362667404896710019132595032537455\ 747255524619723849844255098648377250111094663374198832983/782241588\ 2016574946596539429509744935851115903028838686051032681292425401071\ 205609899700588729205*c_1001_9^19 - 9319844266145796696885466620653786982640978448948651410894497948281\ 6237690158252639875269962509/78224158820165749465965394295097449358\ 51115903028838686051032681292425401071205609899700588729205*c_1001_\ 9^18 - 176793664789412578172873400029516459091140396936435515186156\ 438541896771433895316225273649204479/782241588201657494659653942950\ 9744935851115903028838686051032681292425401071205609899700588729205\ *c_1001_9^17 - 5089343728336166376226013382187771853282811403827869\ 322376785382839856837080114140151219864990/223497596629044998474186\ 8408431355695957461686579668196014580766083550114591773031399914453\ 92263*c_1001_9^16 - 55803374005274277882970377738201127818526254325\ 741088005920014490466421581717943249359614203100/156448317640331498\ 9319307885901948987170223180605767737210206536258485080214241121979\ 940117745841*c_1001_9^15 - 1948361839848603512896748262781833118430\ 88195864052273184607180459796698933434807911084560052981/7822415882\ 0165749465965394295097449358511159030288386860510326812924254010712\ 05609899700588729205*c_1001_9^14 - 8149348751820331192277393430091111441589349994028478660463378378459\ 6369311004909525918246966582/15644831764033149893193078859019489871\ 70223180605767737210206536258485080214241121979940117745841*c_1001_\ 9^13 + 154200425796298203088839015888358139257088016798340245945188\ 113081076860212325951019663767378164/782241588201657494659653942950\ 9744935851115903028838686051032681292425401071205609899700588729205\ *c_1001_9^12 - 2424587362525761807928716999451425348999883020113681\ 33283952152291846068331700626002660229748103/7822415882016574946596\ 5394295097449358511159030288386860510326812924254010712056098997005\ 88729205*c_1001_9^11 + 32943760608270207709600111440644002279618059\ 84581049083438098418439981779793416736990607555295354/7822415882016\ 5749465965394295097449358511159030288386860510326812924254010712056\ 09899700588729205*c_1001_9^10 - 13871723714531965936163303536367077\ 15841006814669609590778298539387776151377534397926094373594459/7822\ 4158820165749465965394295097449358511159030288386860510326812924254\ 01071205609899700588729205*c_1001_9^9 + 9546674422182694044181185394701382532878560819465608883686049320228\ 71651859999533480496796553762/1117487983145224992370934204215677847\ 978730843289834098007290383041775057295886515699957226961315*c_1001\ _9^8 - 454151157932200991518819489374318850146315980521437137443178\ 4921341012409431464262807611554176289/78224158820165749465965394295\ 0974493585111590302883868605103268129242540107120560989970058872920\ 5*c_1001_9^7 + 8977798053406094145258412865574631153558043223815236\ 73043924715286061661969612456160623401530199/1117487983145224992370\ 9342042156778479787308432898340980072903830417750572958865156999572\ 26961315*c_1001_9^6 + 233453160715929982589056086965879210279454476\ 5432245379697614889344511142570987723050309223827567/78224158820165\ 7494659653942950974493585111590302883868605103268129242540107120560\ 9899700588729205*c_1001_9^5 + 7975456930316599987051616087602054677\ 595665702936823715512234249839488286356442811758844223013619/782241\ 5882016574946596539429509744935851115903028838686051032681292425401\ 071205609899700588729205*c_1001_9^4 - 7948580728557486156370114166805024745987215431073605218335886423899\ 968781257652537688537187397178/782241588201657494659653942950974493\ 5851115903028838686051032681292425401071205609899700588729205*c_100\ 1_9^3 - 86588545374102624292667311724320850445279356201468208533876\ 26017438489700282088777538658431913442/7822415882016574946596539429\ 5097449358511159030288386860510326812924254010712056098997005887292\ 05*c_1001_9^2 + 165345122492545158033931707757219102259809924759020\ 3148805578133675673337862719559943787005937027/78224158820165749465\ 9653942950974493585111590302883868605103268129242540107120560989970\ 0588729205*c_1001_9 + 565698441476768394863483311616476898034460743\ 846786264103418620857163904704985846204591798467337/111748798314522\ 4992370934204215677847978730843289834098007290383041775057295886515\ 699957226961315, c_0101_14 + 73350924900287845848315294157379614540569883364228960976575\ 3084762987828210528450019151588450/15644831764033149893193078859019\ 48987170223180605767737210206536258485080214241121979940117745841*c\ _1001_9^23 + 322340935456824372021852783192479254878197088246998016\ 4551223626398604615580551504927825501952/15644831764033149893193078\ 8590194898717022318060576773721020653625848508021424112197994011774\ 5841*c_1001_9^22 + 525392500282101682442294754606039742553873120796\ 359392623530597260306105006568590949898848439/920284221413714699599\ 5928740599699924530724591798633748295332566226382824789653658705530\ 1043873*c_1001_9^21 + 245784743205526854208390141504771792933305184\ 8461839715527419925289701020465975959378366942327/22349759662904499\ 8474186840843135569595746168657966819601458076608355011459177303139\ 991445392263*c_1001_9^20 + 2981690846982414165466746847164598052720\ 2156794298094448404560053210232013933374506010292084101/15644831764\ 0331498931930788590194898717022318060576773721020653625848508021424\ 1121979940117745841*c_1001_9^19 + 408617411774573549692747210689796\ 56985089479138152715878309346578410801879920361446653087011962/1564\ 4831764033149893193078859019489871702231806057677372102065362584850\ 80214241121979940117745841*c_1001_9^18 + 7602719603413903412611202246456822290986947958410372524413595386180\ 4539546410059093304246637099/15644831764033149893193078859019489871\ 70223180605767737210206536258485080214241121979940117745841*c_1001_\ 9^17 + 591812436409326733637935944071010174060190306610093882339379\ 9174703048832616051341050089076140/22349759662904499847418684084313\ 5569595746168657966819601458076608355011459177303139991445392263*c_\ 1001_9^16 + 4987067523393766776773827457314969638608709679863080138\ 6553259580330727520407226488442688229714/15644831764033149893193078\ 8590194898717022318060576773721020653625848508021424112197994011774\ 5841*c_1001_9^15 - 276532999925199972264849490740833731921992160257\ 24522256340399403940251814274710422273115926112/1564483176403314989\ 3193078859019489871702231806057677372102065362584850802142411219799\ 40117745841*c_1001_9^14 + 63186500046095190121403617751838293749403\ 008202918837942076998567867348475037062924116285173312/156448317640\ 3314989319307885901948987170223180605767737210206536258485080214241\ 121979940117745841*c_1001_9^13 - 2971878317129490959568789616337020\ 46285081789270171995590573884175273973790041333818730919575369/1564\ 4831764033149893193078859019489871702231806057677372102065362584850\ 80214241121979940117745841*c_1001_9^12 - 6665916444846720891617962660555960673454297611415904925598625210942\ 7194269070128543863675976617/15644831764033149893193078859019489871\ 70223180605767737210206536258485080214241121979940117745841*c_1001_\ 9^11 - 226280946327969017318252751013430017276839115957199075270365\ 3764045638994705639719252130825914381/15644831764033149893193078859\ 0194898717022318060576773721020653625848508021424112197994011774584\ 1*c_1001_9^10 + 117529856652182884732337902089921254685627400715801\ 5220627653481247188090555489751962880918506450/15644831764033149893\ 1930788590194898717022318060576773721020653625848508021424112197994\ 0117745841*c_1001_9^9 - 3689667485788070023565602830257185631429083\ 60672614066732615877028262209422359666261244918366499/2234975966290\ 4499847418684084313556959574616865796681960145807660835501145917730\ 3139991445392263*c_1001_9^8 + 3174363230133950777627839489268635582\ 224148565882600641540122826570628484410653382800696013693637/156448\ 3176403314989319307885901948987170223180605767737210206536258485080\ 214241121979940117745841*c_1001_9^7 - 2703348313384577939844225608264010042842804005890877034565594560324\ 9530200134884883588487704990/22349759662904499847418684084313556959\ 5746168657966819601458076608355011459177303139991445392263*c_1001_9\ ^6 - 30049989192670924761630318593636370165352398227794441621064990\ 29883666986018180363984437070836033/1564483176403314989319307885901\ 948987170223180605767737210206536258485080214241121979940117745841*\ c_1001_9^5 - 252267090017494133952701962177471262431759135758637790\ 7883153861239483526606933147200105093394989/15644831764033149893193\ 0788590194898717022318060576773721020653625848508021424112197994011\ 7745841*c_1001_9^4 + 9553085164925877621328069069585502844102580742\ 044965774910071693533116098096602773431519564882093/156448317640331\ 4989319307885901948987170223180605767737210206536258485080214241121\ 979940117745841*c_1001_9^3 + 75810779406248807510914948812374078466\ 08200855220556642754599421882089241554683199654823821235839/1564483\ 1764033149893193078859019489871702231806057677372102065362584850802\ 14241121979940117745841*c_1001_9^2 - 6131652149223173862672383914252061802305562349562459536698556556617\ 706275220729884667520519590251/156448317640331498931930788590194898\ 7170223180605767737210206536258485080214241121979940117745841*c_100\ 1_9 - 8679428861203401374158471781773963718969853257328652370876743\ 34001423474514405686260933989187000/2234975966290449984741868408431\ 35569595746168657966819601458076608355011459177303139991445392263, c_0101_8 + 193224554765737113530540162212358416348994475326218969578962\ 7027773820731167299626054685927956/78224158820165749465965394295097\ 44935851115903028838686051032681292425401071205609899700588729205*c\ _1001_9^23 + 961239652382886277942656476940555790793923788006016999\ 1581655952480475043070951790379810051907/78224158820165749465965394\ 2950974493585111590302883868605103268129242540107120560989970058872\ 9205*c_1001_9^22 + 166040010706507448108639064394449143733983813913\ 3826797447159760267245220961766883029491665418/46014211070685734979\ 9796437029984996226536229589931687414766628311319141239482682935276\ 505219365*c_1001_9^21 + 8278734204435727058210845546306112753964982\ 486485000162849162461889068609827769654125927464414/111748798314522\ 4992370934204215677847978730843289834098007290383041775057295886515\ 699957226961315*c_1001_9^20 + 1022794937582052961570855466635117964\ 60997978150563403866407761082303449311095652878144319019814/7822415\ 8820165749465965394295097449358511159030288386860510326812924254010\ 71205609899700588729205*c_1001_9^19 + 1491451032434138554078410267971374510788649605258262968580565706953\ 59272447288562786758654596159/7822415882016574946596539429509744935\ 851115903028838686051032681292425401071205609899700588729205*c_1001\ _9^18 + 51422200695076373725946421540182056174121034500823673980731\ 840552000847686666685388594442093076/156448317640331498931930788590\ 1948987170223180605767737210206536258485080214241121979940117745841\ *c_1001_9^17 + 6270367534654752068885745126585377942437371493712810\ 266072079133766558466310473290234105215472/223497596629044998474186\ 8408431355695957461686579668196014580766083550114591773031399914453\ 92263*c_1001_9^16 + 18286819611359883819003318038758948837444037604\ 6925009789302226121835299503057945219014031541921/78224158820165749\ 4659653942950974493585111590302883868605103268129242540107120560989\ 9700588729205*c_1001_9^15 + 161665392557057333257237510509687330284\ 0628748355199018199010616870350632642231776691584384720/15644831764\ 0331498931930788590194898717022318060576773721020653625848508021424\ 1121979940117745841*c_1001_9^14 + 125862687863631428583781527916622\ 178268380887991164539041407445861006329736036943438882670707281/782\ 2415882016574946596539429509744935851115903028838686051032681292425\ 401071205609899700588729205*c_1001_9^13 - 7128657285421738956281626784194872754563638167376848936833468370944\ 51226993992997229248987262622/7822415882016574946596539429509744935\ 851115903028838686051032681292425401071205609899700588729205*c_1001\ _9^12 - 76922077775731292578119339307635539356565616938959856913777\ 6787218726786151364981071751416779979/78224158820165749465965394295\ 0974493585111590302883868605103268129242540107120560989970058872920\ 5*c_1001_9^11 - 624267155732849410169100354617073020070854913365623\ 7779603985033082465385792553137517993676398631/78224158820165749465\ 9653942950974493585111590302883868605103268129242540107120560989970\ 0588729205*c_1001_9^10 - 844854986398570363386670630502258934099379\ 880967063242201711631366350474716786262196175206997779/782241588201\ 6574946596539429509744935851115903028838686051032681292425401071205\ 609899700588729205*c_1001_9^9 - 74525219055069252153360179412981978\ 7464632980190745911988107144914786487081808535794847431144978/11174\ 8798314522499237093420421567784797873084328983409800729038304177505\ 7295886515699957226961315*c_1001_9^8 + 2558522395835879919477695172060490370676349578313875780250781643883\ 793188549079214128413471124537/782241588201657494659653942950974493\ 5851115903028838686051032681292425401071205609899700588729205*c_100\ 1_9^7 + 42718145547645264137799363371879857676901860443907719617995\ 6530383004171869303215409235916418909/11174879831452249923709342042\ 1567784797873084328983409800729038304177505729588651569995722696131\ 5*c_1001_9^6 - 1079864333434420334706410235898362523567583762954232\ 6828432831389233500556580494645424753593260509/78224158820165749465\ 9653942950974493585111590302883868605103268129242540107120560989970\ 0588729205*c_1001_9^5 - 1471524155422493006983523073005712322289670\ 7171990890662890770204212755436933291496734023447842407/78224158820\ 1657494659653942950974493585111590302883868605103268129242540107120\ 5609899700588729205*c_1001_9^4 + 2077935073539789449240023398719615\ 5414768597939473567538603197542572379417629524963901198230412012/78\ 2241588201657494659653942950974493585111590302883868605103268129242\ 5401071205609899700588729205*c_1001_9^3 + 3572202820865947247903312943602321949137825717626373749298696626001\ 2807574768749037543827304802068/78224158820165749465965394295097449\ 35851115903028838686051032681292425401071205609899700588729205*c_10\ 01_9^2 - 1320262701594876183454018052092304984858468663259298974124\ 8681451854942920159042900995593822866634/78224158820165749465965394\ 2950974493585111590302883868605103268129242540107120560989970058872\ 9205*c_1001_9 - 503184591993928259360580071171798720589233336585080\ 636473415130575464962045747982758513000684051/223497596629044998474\ 1868408431355695957461686579668196014580766083550114591773031399914\ 45392263, c_1001_0 - 112397063171867854140751013849604555896145454765584985656356\ 7514492932203834336287174917063/63545214313700852531247274000891510\ 44558177013020989996792065541261109180399029739967262866555*c_1001_\ 9^23 - 100922954574049980886768442925570850154861172275212538854208\ 4529919009094735655830425097343/12709042862740170506249454800178302\ 08911635402604197999358413108252221836079805947993452573311*c_1001_\ 9^22 - 801027814591049312603906912208685372591632470550117040399206\ 693127900029713389165214168188/373795378315887367830866317652303002\ 621069236060058235105415620074182892964648808233368403915*c_1001_9^\ 21 - 35772971707611063782836542869308979803579884069209549813574849\ 17371678075469872572488288684/9077887759100121790178182000127358635\ 08311001860141428113152220180158454342718534281037552365*c_1001_9^2\ 0 - 405680169987463473937578168598208139564180046369116884367521958\ 56375658635649212640234139934/6354521431370085253124727400089151044\ 558177013020989996792065541261109180399029739967262866555*c_1001_9^\ 19 - 51397485197444588665853449221063970295825330290149790521062419\ 733808489610829375118066304183/635452143137008525312472740008915104\ 4558177013020989996792065541261109180399029739967262866555*c_1001_9\ ^18 - 9503240369518238149408902503397765666686399954098000635239502\ 0146329055192514430593168732441/63545214313700852531247274000891510\ 44558177013020989996792065541261109180399029739967262866555*c_1001_\ 9^17 - 103404854984619805424320116793100472119587338395782163615604\ 1452525366003181929685548037594/18155775518200243580356364000254717\ 2701662200372028285622630444036031690868543706856207510473*c_1001_9\ ^16 - 1903917831929130339198083118614172941925937113338189598903945\ 9352866168996259677673473418378/63545214313700852531247274000891510\ 44558177013020989996792065541261109180399029739967262866555*c_1001_\ 9^15 + 787584816732349154723913319148831126281855658619795685630002\ 51220802382335135343036782976486/6354521431370085253124727400089151\ 044558177013020989996792065541261109180399029739967262866555*c_1001\ _9^14 - 63833819291147466148567136929275466545365098090496698460361\ 160338616427581538387853769347193/635452143137008525312472740008915\ 1044558177013020989996792065541261109180399029739967262866555*c_100\ 1_9^13 + 4124357845586843740612482293998270797547364765283057421603\ 89516867507212633337296835038403717/6354521431370085253124727400089\ 151044558177013020989996792065541261109180399029739967262866555*c_1\ 001_9^12 + 28569727770644363548727359070860005716831387941825968654\ 693416738177279799495555283901858406/127090428627401705062494548001\ 7830208911635402604197999358413108252221836079805947993452573311*c_\ 1001_9^11 + 3229413461061613150032273668969840460986239220450795994\ 722006270071353365973822427942787181234/635452143137008525312472740\ 0089151044558177013020989996792065541261109180399029739967262866555\ *c_1001_9^10 - 1658948050694692744790781384153070248365464846614527\ 718608156591356534910118205094708009856079/635452143137008525312472\ 7400089151044558177013020989996792065541261109180399029739967262866\ 555*c_1001_9^9 + 30152637444705579966955959859539102413673848522994\ 3317270096104531299133043153511833373202032/90778877591001217901781\ 8200012735863508311001860141428113152220180158454342718534281037552\ 365*c_1001_9^8 - 44561765453028772988725279115857976891773362196629\ 44169515405287577154333109046832658088012792/6354521431370085253124\ 7274000891510445581770130209899967920655412611091803990297399672628\ 66555*c_1001_9^7 - 231506940614072399179651726494644685078486249456\ 554977749088660307285362653532303807290560791/907788775910012179017\ 8182000127358635083110018601414281131522201801584543427185342810375\ 52365*c_1001_9^6 + 128063609176135665553272150940808737083008681790\ 2877532458833135211907334845621040270266836780/12709042862740170506\ 2494548001783020891163540260419799935841310825222183607980594799345\ 2573311*c_1001_9^5 + 5576059273039766459646379071117012310968246070\ 883089856304284079043893548694580328441658315592/635452143137008525\ 3124727400089151044558177013020989996792065541261109180399029739967\ 262866555*c_1001_9^4 - 16128765884010313479453540273150919791042133\ 540423199198239550812667826862943676857377086636273/635452143137008\ 5253124727400089151044558177013020989996792065541261109180399029739\ 967262866555*c_1001_9^3 - 14108715079190263446104505443668448194156\ 316066431232754476398873411718218376637762704821788892/635452143137\ 0085253124727400089151044558177013020989996792065541261109180399029\ 739967262866555*c_1001_9^2 + 31091132998671410311629376404029250771\ 19794809114478853701824610591273722547597798868315047840/1270904286\ 2740170506249454800178302089116354026041979993584131082522218360798\ 05947993452573311*c_1001_9 + 24222468852097666386482354010013754791\ 50261117717356735117564214281155314432115834005875886348/9077887759\ 1001217901781820001273586350831100186014142811315222018015845434271\ 8534281037552365, c_1001_2 - 533976710716435866512750502136158598436017071218381028163356\ 3277041111486780703263603320897906/78224158820165749465965394295097\ 44935851115903028838686051032681292425401071205609899700588729205*c\ _1001_9^23 - 237271939828779803260695222598914849501913519289416834\ 07022691058498357229049336993997327581662/7822415882016574946596539\ 4295097449358511159030288386860510326812924254010712056098997005887\ 29205*c_1001_9^22 - 38352315891580018179939219632987867463803498232\ 66085016026620340860788557941370649680463479623/4601421107068573497\ 9979643702998499622653622958993168741476662831131914123948268293527\ 6505219365*c_1001_9^21 - 176448796401284179473155367945566545799967\ 47914542061508910554465132425248200659127413083775369/1117487983145\ 2249923709342042156778479787308432898340980072903830417750572958865\ 15699957226961315*c_1001_9^20 - 20819730353883575171960592502317318\ 1191774702416260444629197657979122451947281884331631338477514/78224\ 1588201657494659653942950974493585111590302883868605103268129242540\ 1071205609899700588729205*c_1001_9^19 - 2748122289984660641078105237546717920446443357992725271780766789157\ 56550861986769228671334652224/7822415882016574946596539429509744935\ 851115903028838686051032681292425401071205609899700588729205*c_1001\ _9^18 - 10074974772900097112738249056349264706283050630104119153717\ 8065172340831598895304443207629081619/15644831764033149893193078859\ 0194898717022318060576773721020653625848508021424112197994011774584\ 1*c_1001_9^17 - 637523631079696756664829767417077186204161458693384\ 7269358919851948745111427567270439908625026/22349759662904499847418\ 6840843135569595746168657966819601458076608355011459177303139991445\ 392263*c_1001_9^16 - 1930379589070156243607032321167127478269646144\ 67598189454435046773495254027410934874122998332726/7822415882016574\ 9465965394295097449358511159030288386860510326812924254010712056098\ 99700588729205*c_1001_9^15 + 78460115276581889323559936046790270904\ 575607140346441158519764014402488285710608693171424039838/156448317\ 6403314989319307885901948987170223180605767737210206536258485080214\ 241121979940117745841*c_1001_9^14 - 1856828871199181584334123605390032803120911346734277770461061070301\ 24099470036763956393992876486/7822415882016574946596539429509744935\ 851115903028838686051032681292425401071205609899700588729205*c_1001\ _9^13 + 24291786269620326529965110989746576014010519118503174201476\ 36936303832134591846991113605514225747/7822415882016574946596539429\ 5097449358511159030288386860510326812924254010712056098997005887292\ 05*c_1001_9^12 + 10017624960707275547868201599295478071025471591093\ 81605792104674778821543715779106657756618636084/7822415882016574946\ 5965394295097449358511159030288386860510326812924254010712056098997\ 00588729205*c_1001_9^11 + 16721007691765573161873721348666273410770\ 243735139149946176737855586797174886006257029099975712441/782241588\ 2016574946596539429509744935851115903028838686051032681292425401071\ 205609899700588729205*c_1001_9^10 - 7461408859723802393742607940511103440488152337365093147043626479136\ 531265528566295736461963095096/782241588201657494659653942950974493\ 5851115903028838686051032681292425401071205609899700588729205*c_100\ 1_9^9 + 23430279285939510459125588765866035345594422938599981961686\ 30109794946476270760040202783423891418/1117487983145224992370934204\ 2156778479787308432898340980072903830417750572958865156999572269613\ 15*c_1001_9^8 - 219827985353989856098680893502341475721754014640880\ 92691832424555146449146687151444424355239085357/7822415882016574946\ 5965394295097449358511159030288386860510326812924254010712056098997\ 00588729205*c_1001_9^7 - 362737789284112873034489963031994548553795\ 637863079355903615770833553762366855755809041477547709/111748798314\ 5224992370934204215677847978730843289834098007290383041775057295886\ 515699957226961315*c_1001_9^6 + 21977730300745860443376355752163100\ 246557479759361062220426292167914623810203141815149616738726109/782\ 2415882016574946596539429509744935851115903028838686051032681292425\ 401071205609899700588729205*c_1001_9^5 + 2388677866520323725942297092851792914137962393735761623921442416293\ 6299261857565934716808149851727/78224158820165749465965394295097449\ 35851115903028838686051032681292425401071205609899700588729205*c_10\ 01_9^4 - 7981762494248538931393287083548835166248813588225406660481\ 9404293027108498649468392146897940365627/78224158820165749465965394\ 2950974493585111590302883868605103268129242540107120560989970058872\ 9205*c_1001_9^3 - 5800279518441369661871205607928413896370496540156\ 3868703649940395685415321476944090515264962575733/78224158820165749\ 4659653942950974493585111590302883868605103268129242540107120560989\ 9700588729205*c_1001_9^2 + 4081479420783677816329419409346857734748\ 7513272037883235594524676270402850638297567841413754427689/78224158\ 8201657494659653942950974493585111590302883868605103268129242540107\ 1205609899700588729205*c_1001_9 + 135417999159754135497350835757501\ 4715795601452158126213395841325282749835083185022390009809153747/22\ 3497596629044998474186840843135569595746168657966819601458076608355\ 011459177303139991445392263, c_1001_9^24 + 223/67*c_1001_9^23 + 474/67*c_1001_9^22 + 588/67*c_1001_9^21 + 754/67*c_1001_9^20 + 296/67*c_1001_9^19 + 2062/67*c_1001_9^18 - 4809/67*c_1001_9^17 - 1858/67*c_1001_9^16 - 8156/67*c_1001_9^15 + 6911/67*c_1001_9^14 - 33060/67*c_1001_9^13 + 19648/67*c_1001_9^12 - 190956/67*c_1001_9^11 + 327037/67*c_1001_9^10 - 272202/67*c_1001_9^9 + 476999/67*c_1001_9^8 - 229005/67*c_1001_9^7 - 352803/67*c_1001_9^6 + 28802/67*c_1001_9^5 + 20695*c_1001_9^4 - 320074/67*c_1001_9^3 - 1564728/67*c_1001_9^2 - 86639/67*c_1001_9 + 833539/67 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 7115.390 Total time: 7115.590 seconds, Total memory usage: 11129.50MB