Magma V2.19-10 Fri Nov 15 2013 17:50:22 on iw-h31-5 [Seed = 499772109] +-------------------------------------------------------------------+ | This copy of Magma has been made available through a | | generous initiative of the | | | | Simons Foundation | | | | covering U.S. Colleges, Universities, Nonprofit Research entities,| | and their students, faculty, and staff | +-------------------------------------------------------------------+ Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation 11_348 geometric_solution 16.60859721 oriented_manifold CS_unknown 1 0 torus 0.000000000000 0.000000000000 18 1 2 3 1 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 1 0 0 -1 0 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.078033781761 0.740732626569 0 3 4 0 0132 1023 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 -1 0 0 1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.078033781761 0.740732626569 3 0 4 5 1023 0132 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 -1 0 1 7 1 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.622307118294 1.710810859204 1 2 6 0 1023 1023 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.524935790793 0.839540205740 2 7 6 1 2031 0132 1023 0132 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 0 1 0 0 0 0 8 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.070012146167 1.217001535890 8 9 2 6 0132 0132 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 7 0 0 -7 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.155249701193 0.673831356735 10 5 4 3 0132 0321 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.539289096139 0.985498346623 9 4 10 11 2103 0132 1023 0132 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 1 0 -1 0 0 0 0 -1 0 0 1 0 8 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.865553873888 1.193147514317 5 12 13 9 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 -7 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.657507948109 0.833839402820 14 5 7 8 0132 0132 2103 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.093256776145 0.827610983441 6 15 7 12 0132 0132 1023 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -8 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.421482533888 1.026151533782 16 12 7 17 0132 1230 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 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.334698663587 0.972777742295 14 8 11 10 1023 0132 3012 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.526476344933 1.326748588830 15 15 16 8 0321 3201 1230 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 -1 0 -7 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.928144476237 0.711610094467 9 12 16 17 0132 1023 0213 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.683745229646 0.919171884936 13 10 13 17 0321 0132 2310 2310 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 1 -1 0 0 1 -1 -8 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.321452996686 0.520243248213 11 14 17 13 0132 0213 0213 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.336032651821 0.479473480918 15 16 11 14 3201 0213 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 1 0 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.336032651821 0.479473480918 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_15' : d['c_1001_15'], 'c_1001_14' : d['c_0101_12'], 'c_1001_17' : d['c_0101_12'], 'c_1001_16' : d['c_0101_12'], 'c_1001_11' : d['c_0101_6'], 'c_1001_10' : d['c_0101_7'], 'c_1001_13' : d['c_0101_13'], 'c_1001_12' : negation(d['c_0011_11']), 'c_1001_5' : d['c_0101_5'], 'c_1001_4' : d['c_0101_6'], 'c_1001_7' : d['c_0101_10'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_10'], 'c_1001_0' : d['c_0101_5'], 'c_1001_3' : negation(d['c_0011_4']), 'c_1001_2' : d['c_0101_0'], 'c_1001_9' : negation(d['c_0011_4']), 'c_1001_8' : negation(d['c_1001_15']), 'c_1010_13' : negation(d['c_1001_15']), 'c_1010_12' : negation(d['c_1001_15']), 'c_1010_11' : d['c_0101_12'], 'c_1010_10' : d['c_1001_15'], 'c_1010_17' : negation(d['c_0101_13']), 'c_1010_16' : negation(d['c_0101_13']), 'c_1010_15' : d['c_0101_7'], 'c_1010_14' : d['c_0110_12'], 's_3_11' : 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'], 'c_0101_12' : d['c_0101_12'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 'c_0101_17' : d['c_0011_13'], 'c_0101_16' : d['c_0011_13'], 'c_0101_15' : negation(d['c_0101_13']), 'c_0101_14' : negation(d['c_0011_11']), 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_13' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_2_16' : d['1'], 's_2_17' : d['1'], 's_2_14' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : 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_10']), 'c_0011_14' : d['c_0011_12'], 'c_0011_17' : d['c_0011_13'], 'c_0011_16' : negation(d['c_0011_11']), 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_0101_11'], 'c_0011_13' : d['c_0011_13'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0101_4'], 'c_1100_4' : negation(d['c_1100_0']), 'c_1100_7' : d['c_0110_12'], 'c_1100_6' : d['c_1100_0'], 'c_1100_1' : negation(d['c_1100_0']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_0101_4'], 'c_1100_15' : d['c_0011_13'], 's_0_10' : d['1'], 'c_1100_17' : d['c_0110_12'], 'c_1100_16' : negation(d['c_0101_13']), 'c_1100_11' : d['c_0110_12'], 'c_1100_10' : negation(d['c_0110_12']), 'c_1100_13' : d['c_0101_11'], 's_3_10' : d['1'], 'c_1100_9' : negation(d['c_0101_11']), 's_3_13' : d['1'], 'c_1010_7' : d['c_0101_6'], 'c_1010_6' : negation(d['c_0011_4']), 'c_1010_5' : negation(d['c_0011_4']), 'c_1010_4' : d['c_0101_10'], 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : d['c_0101_5'], 'c_1010_1' : d['c_0101_0'], 'c_1100_14' : negation(d['c_0101_13']), 's_0_14' : d['1'], 'c_1010_9' : d['c_0101_5'], 's_0_15' : d['1'], 's_3_17' : d['1'], 's_0_17' : d['1'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(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_0101_6']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(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' : negation(d['c_0011_12']), 'c_0011_8' : negation(d['c_0011_12']), 'c_0011_5' : d['c_0011_12'], 'c_0011_4' : d['c_0011_4'], 'c_0101_13' : d['c_0101_13'], 'c_0011_6' : negation(d['c_0011_10']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_13'], 'c_0110_10' : d['c_0101_6'], 'c_0110_13' : d['c_0011_10'], 'c_0110_12' : d['c_0110_12'], 'c_0110_15' : negation(d['c_0011_13']), 'c_0110_14' : d['c_0101_7'], 'c_0110_17' : negation(d['c_0101_7']), 'c_0110_16' : d['c_0101_11'], 'c_0011_7' : negation(d['c_0011_4']), 'c_1010_0' : d['c_0101_0'], 's_3_12' : d['1'], 's_0_8' : d['1'], 's_2_15' : d['1'], 'c_1010_8' : negation(d['c_0011_11']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_10'], 'c_0101_2' : negation(d['c_0011_4']), 'c_0101_1' : d['c_0101_0'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_7'], 'c_0101_8' : d['c_0011_10'], 'c_0011_10' : d['c_0011_10'], 's_1_17' : d['1'], 's_1_16' : d['1'], 's_1_15' : d['1'], 's_1_14' : d['1'], 's_1_13' : d['1'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_11']), 'c_0110_8' : d['c_0101_5'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_0'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0011_10'], 'c_0110_4' : d['c_0101_0'], 'c_0110_7' : d['c_0101_11'], 'c_0110_6' : d['c_0101_10'], 's_2_9' : d['1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY_DECOMPOSITION_TIME: 12166.070 PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 19 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_13, c_0011_4, c_0101_0, c_0101_10, c_0101_11, c_0101_12, c_0101_13, c_0101_4, c_0101_5, c_0101_6, c_0101_7, c_0110_12, c_1001_15, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 69650/81*c_1001_15^5 + 96668/27*c_1001_15^4 - 42716/27*c_1001_15^3 - 122936/9*c_1001_15^2 - 204989/9*c_1001_15 - 19863, c_0011_0 - 1, c_0011_10 - 1, c_0011_11 + c_0110_12 - 2/3*c_1001_15^5 + 25/9*c_1001_15^4 - 4/3*c_1001_15^3 - 10*c_1001_15^2 - 18*c_1001_15 - 16, c_0011_12 + 11/27*c_1001_15^5 - 5/3*c_1001_15^4 + 2/3*c_1001_15^3 + 19/3*c_1001_15^2 + 34/3*c_1001_15 + 10, c_0011_13 + 4/9*c_0110_12*c_1001_15^5 - 17/9*c_0110_12*c_1001_15^4 + c_0110_12*c_1001_15^3 + 7*c_0110_12*c_1001_15^2 + 11*c_0110_12*c_1001_15 + 9*c_0110_12 + 11/27*c_1001_15^5 - 5/3*c_1001_15^4 + 2/3*c_1001_15^3 + 19/3*c_1001_15^2 + 34/3*c_1001_15 + 10, c_0011_4 - 11/27*c_1001_15^5 + 5/3*c_1001_15^4 - 2/3*c_1001_15^3 - 19/3*c_1001_15^2 - 34/3*c_1001_15 - 9, c_0101_0 + 11/27*c_1001_15^5 - 5/3*c_1001_15^4 + 2/3*c_1001_15^3 + 19/3*c_1001_15^2 + 34/3*c_1001_15 + 10, c_0101_10 - 5/27*c_1001_15^5 + 7/9*c_1001_15^4 - 1/3*c_1001_15^3 - 3*c_1001_15^2 - 16/3*c_1001_15 - 4, c_0101_11 + 16/27*c_0110_12*c_1001_15^5 - 22/9*c_0110_12*c_1001_15^4 + c_0110_12*c_1001_15^3 + 28/3*c_0110_12*c_1001_15^2 + 50/3*c_0110_12*c_1001_15 + 14*c_0110_12 - c_1001_15, c_0101_12 - 10/27*c_1001_15^5 + 14/9*c_1001_15^4 - 2/3*c_1001_15^3 - 6*c_1001_15^2 - 29/3*c_1001_15 - 8, c_0101_13 - 4/9*c_0110_12*c_1001_15^5 + 17/9*c_0110_12*c_1001_15^4 - c_0110_12*c_1001_15^3 - 7*c_0110_12*c_1001_15^2 - 11*c_0110_12*c_1001_15 - 9*c_0110_12 - 4/27*c_1001_15^5 + 5/9*c_1001_15^4 - 8/3*c_1001_15^2 - 14/3*c_1001_15 - 4, c_0101_4 + 5/27*c_1001_15^5 - 7/9*c_1001_15^4 + 1/3*c_1001_15^3 + 3*c_1001_15^2 + 16/3*c_1001_15 + 4, c_0101_5 + 5/27*c_1001_15^5 - 7/9*c_1001_15^4 + 1/3*c_1001_15^3 + 3*c_1001_15^2 + 16/3*c_1001_15 + 4, c_0101_6 - 11/27*c_1001_15^5 + 5/3*c_1001_15^4 - 2/3*c_1001_15^3 - 19/3*c_1001_15^2 - 34/3*c_1001_15 - 10, c_0101_7 + 16/27*c_0110_12*c_1001_15^5 - 22/9*c_0110_12*c_1001_15^4 + c_0110_12*c_1001_15^3 + 28/3*c_0110_12*c_1001_15^2 + 50/3*c_0110_12*c_1001_15 + 14*c_0110_12 + 4/9*c_1001_15^5 - 17/9*c_1001_15^4 + c_1001_15^3 + 7*c_1001_15^2 + 12*c_1001_15 + 11, c_0110_12^2 - 2/3*c_0110_12*c_1001_15^5 + 25/9*c_0110_12*c_1001_15^4 - 4/3*c_0110_12*c_1001_15^3 - 10*c_0110_12*c_1001_15^2 - 18*c_0110_12*c_1001_15 - 16*c_0110_12 - 7/27*c_1001_15^5 + c_1001_15^4 - 1/3*c_1001_15^3 - 4*c_1001_15^2 - 20/3*c_1001_15 - 6, c_1001_15^6 - 3*c_1001_15^5 - 3*c_1001_15^4 + 18*c_1001_15^3 + 45*c_1001_15^2 + 54*c_1001_15 + 27, c_1100_0 + 1 ], Ideal of Polynomial ring of rank 19 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_13, c_0011_4, c_0101_0, c_0101_10, c_0101_11, c_0101_12, c_0101_13, c_0101_4, c_0101_5, c_0101_6, c_0101_7, c_0110_12, c_1001_15, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 2880402298325131959044716521625138161345873640521273296865562510198\ 6425632676723561469793366826237173570436727521548889971957163981326\ 5989275489591640010678284729127997179498067112615294028212109718489\ 62297/2167349183439189973968399711355133620335027124241634871974475\ 4935416079079088130472429556464247742058402939385516751274391205072\ 5465685835640244532461687247730414364545494547814747872841090748484\ 79680829325312*c_1001_15^27 + 8344473634851953040950644178182040494\ 4343280918095677147021639009920166747921868594312676151807967149133\ 0439605881692586899443516878612844598787099605188054100387572137259\ 511391147574630736470805676372528919/866939673375675989587359884542\ 0534481340108496966539487897901974166431631635252188971822585699096\ 8233611757542067005097564820290186274334256097812984674899092165745\ 818197819125899149136436299393918723317301248*c_1001_15^26 - 7394375474114228764494598896714176866772098491094255384072225009307\ 0042536451509347538908158123216934775242941833030145653224048263183\ 8022573028642527577632666769995274530462916032102028592767637581595\ 44987465/3467758693502703958349439538168213792536043398786615795159\ 1607896665726526541008755887290342796387293444703016826802039025928\ 1160745097337024391251938699596368662983272791276503596596545745197\ 575674893269204992*c_1001_15^25 + 317927976902598221720554764382101\ 5278795932235702595326538898569180520001465273283122175370510733595\ 8104614198890108934394609816539160138427781046027701688233343240473\ 0147839315819766376413067316761106933057019/17338793467513519791747\ 1976908410689626802169939330789757958039483328632632705043779436451\ 7139819364672235150841340101951296405803725486685121956259693497981\ 84331491636395638251798298272872598787837446634602496*c_1001_15^24 - 6097151468021775153374478374913005463607636276574932697364468456337\ 1604896225113147843259785929425143987051675852756320411336145555232\ 9992311638495972326239671694085970012065323747303692020909932696368\ 349821649/433469836687837994793679942271026724067005424848326974394\ 8950987083215815817626094485911292849548411680587877103350254878241\ 0145093137167128048906492337449546082872909098909562949574568218149\ 696959361658650624*c_1001_15^23 + 125770305446010570327731115631691\ 4438597971007904512738901445685991805402365236385196752242391496811\ 9894103721385003547148718975588546431626572386940676789647779523047\ 677445479320483094040190828466187518554128575/173387934675135197917\ 4719769084106896268021699393307897579580394833286326327050437794364\ 5171398193646722351508413401019512964058037254866851219562596934979\ 8184331491636395638251798298272872598787837446634602496*c_1001_15^2\ 2 - 388349962447662329343359549813567416763622751817541473564064534\ 1004862916754360346749638715929930363704777015803778630384987168857\ 2079066865739858088720602496835148277915281673467515063359278564905\ 761804642948155/866939673375675989587359884542053448134010849696653\ 9487897901974166431631635252188971822585699096823361175754206700509\ 7564820290186274334256097812984674899092165745818197819125899149136\ 436299393918723317301248*c_1001_15^21 + 5962075514061766363607819034118346069948649653835861938641778569218\ 3822561338596588444215091607614687216119806222592137276901292401692\ 8923098358133115602817950733399081991632068565291896335367930555874\ 126436044325/173387934675135197917471976908410689626802169939330789\ 7579580394833286326327050437794364517139819364672235150841340101951\ 2964058037254866851219562596934979818433149163639563825179829827287\ 2598787837446634602496*c_1001_15^20 - 5832908555167344212104825146284370328862023179462267033800842035516\ 2741690100646724524243799623131732113102502870065269485092459558463\ 5675294865744495050925885287943499879405511339917714617680916811221\ 6563315013/48704476032341347729626959805733339782809598297564828583\ 6960785065529866945800684773697898072982967604560435629589916278454\ 0465740801928890792011965431174106301446394280776355387592648114398\ 84235498445602816*c_1001_15^19 + 1887642979772866335082184865980322\ 5721013896443464905899855908989559383484572270803960442015684331396\ 8354882562187360578143589719692616113961886882538034503524897674429\ 31657284332391339912964998451950813561023592317/3467758693502703958\ 3494395381682137925360433987866157951591607896665726526541008755887\ 2903427963872934447030168268020390259281160745097337024391251938699\ 596368662983272791276503596596545745197575674893269204992*c_1001_15\ ^18 - 1084624271640248569571482143897166464455267218099382357382031\ 4042800236658233596290324717001458912775369049752909407891834709455\ 7519348306370440106957732280362128469911707065665326924523558493088\ 085424689882113495893/346775869350270395834943953816821379253604339\ 8786615795159160789666572652654100875588729034279638729344470301682\ 6802039025928116074509733702439125193869959636866298327279127650359\ 6596545745197575674893269204992*c_1001_15^17 + 2869964684770292276638817405065284402944316386646481455544211913972\ 3729233203282020625414621323878513290111361308094477377674091345081\ 0110112442409040261400958896728980727251028186654824827141927853499\ 448957802347515/346775869350270395834943953816821379253604339878661\ 5795159160789666572652654100875588729034279638729344470301682680203\ 9025928116074509733702439125193869959636866298327279127650359659654\ 5745197575674893269204992*c_1001_15^16 - 4471904271704628391231694327414838332495770777319634434664890196059\ 6912370970316127649552476651312120176447400967260582061418001418588\ 2005290344009810539550848439229122112803460465442035699571448438008\ 499716818023747/173387934675135197917471976908410689626802169939330\ 7897579580394833286326327050437794364517139819364672235150841340101\ 9512964058037254866851219562596934979818433149163639563825179829827\ 2872598787837446634602496*c_1001_15^15 + 3070380455211127931151948765984935359533073082067473140873709496528\ 2022325859287417703480044278922990179772135956789886606955343582148\ 7241001173896542854023418226202665511103534651037225702807820230782\ 6031992928892903/34677586935027039583494395381682137925360433987866\ 1579515916078966657265265410087558872903427963872934447030168268020\ 3902592811607450973370243912519386995963686629832727912765035965965\ 45745197575674893269204992*c_1001_15^14 - 5666730800353665948152439769693873512033809645280038688243200728484\ 0102868702852987068470186517777330643874888172361352925944041336382\ 1520226130991196709764305581300324159928485197168119984118704117957\ 4289087278429143/34677586935027039583494395381682137925360433987866\ 1579515916078966657265265410087558872903427963872934447030168268020\ 3902592811607450973370243912519386995963686629832727912765035965965\ 45745197575674893269204992*c_1001_15^13 + 7777707954401276683087458308884160486910934828868638605908994820774\ 0609658711148607499158963493222907329309645493708993690649207131400\ 2622695919074428891983334093654747275680675282660307887742939171644\ 1454103255127265/34677586935027039583494395381682137925360433987866\ 1579515916078966657265265410087558872903427963872934447030168268020\ 3902592811607450973370243912519386995963686629832727912765035965965\ 45745197575674893269204992*c_1001_15^12 - 4334425434542075561261965035998241185455467970370142165933033917992\ 6355601491637605595777589782394474583817055443853873802443425104224\ 3187538131852620354237329766010649703019851942729048807921001876043\ 63740714365363/8669396733756759895873598845420534481340108496966539\ 4878979019741664316316352521889718225856990968233611757542067005097\ 5648202901862743342560978129846748990921657458181978191258991491364\ 36299393918723317301248*c_1001_15^11 - 1136759481986622690401591963141665368606794221515945727240224577020\ 8253089055917781613752056080075557544146753689204269271082761147686\ 0558003880017679992858803479917671610322723082544207435412209845848\ 3907195239550025/21673491834391899739683997113551336203350271242416\ 3487197447549354160790790881304724295564642477420584029393855167512\ 7439120507254656858356402445324616872477304143645454945478147478728\ 4109074848479680829325312*c_1001_15^10 - 1375130527063554135615037886202816726217695439004403606944361470676\ 1144100807937497944582127710303494720391396210172166242056004166132\ 1109111670866245194470696549994888845306640602512331410171013451284\ 696222973189001/270918647929898746746049963919391702541878390530204\ 3589968094366927009884886016309053694558030967757300367423189593909\ 2989006340683210729455030566557710905966301795568186818476843484105\ 13634356059960103665664*c_1001_15^9 + 3982955606768708682173364031467050627457143836214857476366732362586\ 7828655002972700476006302305881189538580796365977660033375232326551\ 0924192274106558050040193766552170198811082326231848997155836545244\ 73553784414533/1354593239649493733730249819596958512709391952651021\ 7949840471834635049424430081545268472790154838786501837115947969546\ 4945031703416053647275152832788554529831508977840934092384217420525\ 6817178029980051832832*c_1001_15^8 + 5997927885359716534892560239077707072389361631594950688354838320717\ 7876178710255392094900004775400662367256704681979236258353355362884\ 3132644635561226150275327943502903526022407680551882653755005834900\ 5846186246991/33864830991237343343256245489923962817734798816275544\ 8746011795865876235610752038631711819753870969662545927898699238662\ 3625792585401341181878820819713863245787724446023352309605435513142\ 04294507495012958208*c_1001_15^7 - 2330273268169683931544984045542049947354545341437704385457423721680\ 2992920045705782192188027081516111490350880656299704703101369808241\ 8812774676048136344458336813176594040102323701460639283244530184590\ 174832992111/423310387390466791790703068624049535221684985203444310\ 9325147448323452945134400482896397746923387120781824098733740483279\ 5322407317516764773485260246423290572346555575291903870067943914275\ 536813436876619776*c_1001_15^6 - 8118525304283955659202134181732940\ 5448937699951106540653469930619795510912053918111071323010105106159\ 4277273388094051368043643197627703753514544437099825037653304942981\ 10894991992399238279859454525243632683318415/2116551936952333958953\ 5153431202476761084249260172215546625737241617264725672002414481988\ 7346169356039091204936687024163976612036587583823867426301232116452\ 86173277787645951935033971957137768406718438309888*c_1001_15^5 + 9045581770280185105468332766428063834949842574737198197509878522029\ 4762661440067810613085098793757321357631981137017694743697836369723\ 6658670364890593155001525291340999963582589185605904762456010222167\ 83606007/3307112401488021810864867723625386993919413946901908679160\ 2714440026976133862503772628107397838961881108000771357347525621345\ 6307168099724792853595675181957596457465431967998984905811830277631\ 354975598592*c_1001_15^4 + 3016875505451599440704210250280965403617\ 7641008092255575418582280126932187454565224863424094442898939668682\ 0586283052254041589195875106775341189491995576082299764875594416675\ 515353788141275526354363087673551705/132284496059520872434594708945\ 0154797567765578760763471664108577601079045354500150905124295913558\ 4752443200308542939010248538252286723988991714143827007278303858298\ 61727871995939623247321110525419902394368*c_1001_15^3 - 3945270236481272395236689279284678554668193450961135730082455311552\ 1447321464238043702117066120936548120231867053307365971554052424310\ 0906183498827469227667199721114950030646881660555846221455782155819\ 16367195/3307112401488021810864867723625386993919413946901908679160\ 2714440026976133862503772628107397838961881108000771357347525621345\ 6307168099724792853595675181957596457465431967998984905811830277631\ 354975598592*c_1001_15^2 - 1653449425736792048620455008771642711247\ 0521176748884170973304772178351520039315354831649472082576427972064\ 8966351894758294605403817655716698457047766288780291164294271859396\ 8538712990065535216079076824134503/41338905018600272635810846545317\ 3374239926743362738584895033930500337201673281297157851342472987023\ 5138500096419668440702668203839601246559910669945939774469955718317\ 8995999873113226478784703919371949824*c_1001_15 - 2188334339581182554319922498232075663835538829304562555730799855478\ 4780962053940404133263682502184595266133179147486587698423622232185\ 0783599893492235072271633510670502105506604210234682626627037946847\ 83391/2066945250930013631790542327265866871199633716813692924475169\ 6525016860083664064857892567123649351175692500482098342203513341019\ 1980062327995533497296988723497785915894979999365566132393923519596\ 85974912, c_0011_0 - 1, c_0011_10 - 23678142918052207948360384252018004099138391158262002243042\ 9776063504597866246481470667813530760452139629331824237818240908406\ 5530681133506643081549077073093790264041522373/42861863376121680259\ 0679384108232663997101151371825236575335886644030109787772429911674\ 1832842685937648154493519742451806575710506278442907905232428859841\ 32221619734802255329558528*c_1001_15^27 + 1206671492791162311452535614975964828377008510897156625317422492759\ 8463877361421604384781828271317184952297263266883602690711540570855\ 4587989329575667336812188277393942266041/17144745350448672103627175\ 3643293065598840460548730094630134354657612043915108971964669673313\ 7074375059261797407896980722630284202511377163162092971543936528886\ 478939209021318234112*c_1001_15^26 - 7681875493040206741485166545316776267274000635679155898979591410851\ 6741131998211199738386412910790815707970483525757825809486153265042\ 39606597611515406325128076291285702022919/6857898140179468841450870\ 1457317226239536184219492037852053741863044817566043588785867869325\ 4829750023704718963158792289052113681004550865264837188617574611554\ 5915756836085272936448*c_1001_15^25 + 1727640753527270230218334906256375547248272454041076831208191581165\ 1705353248784252513603768717272000129399927020015772171298542435408\ 1966232017252507362129083397154777362141187/13715796280358937682901\ 7402914634452479072368438984075704107483726089635132087177571735738\ 6509659500047409437926317584578104227362009101730529674377235149223\ 1091831513672170545872896*c_1001_15^24 - 7036027054838070412548513875568578568600713113242261736419641424961\ 8855798667075780082944550805115485034455793768953200747709160679194\ 2751437146733427795244442606150484748138093/68578981401794688414508\ 7014573172262395361842194920378520537418630448175660435887858678693\ 2548297500237047189631587922890521136810045508652648371886175746115\ 545915756836085272936448*c_1001_15^23 + 2202027243217284332023795354080373566739695524789638736363579628333\ 9379936106487697349315341309449614685767729730723052531693248950962\ 77125398052740100396644999388139409128614973/3428949070089734420725\ 4350728658613119768092109746018926026870931522408783021794392933934\ 6627414875011852359481579396144526056840502275432632418594308787305\ 7772957878418042636468224*c_1001_15^22 - 2514923210424176730313638160590971324527407705500813182968977659369\ 1849437420763426818947355641850775876353608093946833853995410990219\ 825881333930964724665689761960141857340809357/685789814017946884145\ 0870145731722623953618421949203785205374186304481756604358878586786\ 9325482975002370471896315879228905211368100455086526483718861757461\ 15545915756836085272936448*c_1001_15^21 + 4336481743157694732135782442835594297278399261236934616320579535590\ 2063151345680779745924439148053352581370413830650298822711388426735\ 552046810847655630286798590065222414929744443/171447453504486721036\ 2717536432930655988404605487300946301343546576120439151089719646696\ 7331370743750592617974078969807226302842025113771631620929715439365\ 28886478939209021318234112*c_1001_15^20 - 9125394282167392135222182589630854002791683242425502419520184046728\ 6290852581468304860620533697394029108839755487622851102952795000339\ 5728191448829887650166670510019882705511801987/68578981401794688414\ 5087014573172262395361842194920378520537418630448175660435887858678\ 6932548297500237047189631587922890521136810045508652648371886175746\ 115545915756836085272936448*c_1001_15^19 + 3675769845394318352615742152893861184247025858975062154654956416346\ 7274116465343674071451124355271233258313984382900331034450174534466\ 41308267830882077964403012047446027492873046949/6857898140179468841\ 4508701457317226239536184219492037852053741863044817566043588785867\ 8693254829750023704718963158792289052113681004550865264837188617574\ 6115545915756836085272936448*c_1001_15^18 - 3663057213027431745382380214108528116477741984344236602256704078713\ 8943028478009415452493125379866785408151230123969768129219794855702\ 005951732096651463159134135414415707857620011989/137157962803589376\ 8290174029146344524790723684389840757041074837260896351320871775717\ 3573865096595000474094379263175845781042273620091017305296743772351\ 492231091831513672170545872896*c_1001_15^17 + 1530677912958719105939128300028512925403625937064330502662278536418\ 3477661716082678987907521716171780629253621097590584143717879375903\ 9232756940779435780769503348475381745533035553305/13715796280358937\ 6829017402914634452479072368438984075704107483726089635132087177571\ 7357386509659500047409437926317584578104227362009101730529674377235\ 1492231091831513672170545872896*c_1001_15^16 - 4514716443403134370084757637452264673861383597705786270509878604878\ 9843485030083902169328123797168567291387318061156073591157075293994\ 6507756605676467555439726355797310842513591340833/13715796280358937\ 6829017402914634452479072368438984075704107483726089635132087177571\ 7357386509659500047409437926317584578104227362009101730529674377235\ 1492231091831513672170545872896*c_1001_15^15 + 1120012154607888165262905376628583595312312590440873296882958152140\ 3043928220133057883809430825765943244173732307544596101040009495621\ 347775641709960822612210784431907340827619180389/107154658440304200\ 6476698460270581659992752878429563091438339716610075274469431074779\ 1854582106714844120386233799356129516439276265696107269763081072149\ 6033055404933700563832389632*c_1001_15^14 - 4079387828307030615224512280938527419135928651183173358379156168101\ 8528221199189442783895604010376891666658160481021244212983777939031\ 24300505868572264626115441288317165923744507415567/1371579628035893\ 7682901740291463445247907236843898407570410748372608963513208717757\ 1735738650965950004740943792631758457810422736200910173052967437723\ 51492231091831513672170545872896*c_1001_15^13 + 7678807851312434772950179379024605626712797559598924183219269666287\ 0837990320020513321982756664854801432904329330773188902184005732494\ 21232433765082842704826936596906353676149213544723/1371579628035893\ 7682901740291463445247907236843898407570410748372608963513208717757\ 1735738650965950004740943792631758457810422736200910173052967437723\ 51492231091831513672170545872896*c_1001_15^12 - 9443037287903410692438905613223826919700926280254235403445525501796\ 7607589001078783743375458263832260429128868215982461440747358515039\ 52703955803400257851896066136954461219994765743127/1371579628035893\ 7682901740291463445247907236843898407570410748372608963513208717757\ 1735738650965950004740943792631758457810422736200910173052967437723\ 51492231091831513672170545872896*c_1001_15^11 + 1049497193405053962021817394856717727630998582981794416721857053830\ 8225372118865004461253785870536350244876972594920095028907979610187\ 9570889844112141475884480641982528758341026317993/34289490700897344\ 2072543507286586131197680921097460189260268709315224087830217943929\ 3393466274148750118523594815793961445260568405022754326324185943087\ 873057772957878418042636468224*c_1001_15^10 + 4208288514027550042424707410139139273247245466046487871383020983502\ 5279679995883084162351195702385092390030810357635417848544143558421\ 0861124450049502748279176166719835769643335656101/42861863376121680\ 2590679384108232663997101151371825236575335886644030109787772429911\ 6741832842685937648154493519742451806575710506278442907905232428859\ 84132221619734802255329558528*c_1001_15^9 + 3070265839564667879621997497199847643816345984126653271548803716323\ 0305359853135986915680116636420800683222796927058530685933723741186\ 1781750627556112805305394927877843526653426726503/42861863376121680\ 2590679384108232663997101151371825236575335886644030109787772429911\ 6741832842685937648154493519742451806575710506278442907905232428859\ 84132221619734802255329558528*c_1001_15^8 - 5819833192972900713683431946820962403325077785163834898396960419853\ 2341462862137165466387261118336838261314930164383888973539168227028\ 102076863738698965786663447780453522691507048471/535773292201521003\ 2383492301352908299963764392147815457191698583050376372347155373895\ 9272910533574220601931168996780647582196381328480536348815405360748\ 016527702466850281916194816*c_1001_15^7 - 1324189881942055730224233045895213236433707741421798892072009612741\ 2921187557922075231892665159903843328768465130455378148608819164634\ 34552460808475233050640897473542524651943576177/2678866461007605016\ 1917461506764541499818821960739077285958492915251881861735776869479\ 6364552667871103009655844983903237910981906642402681744077026803740\ 08263851233425140958097408*c_1001_15^6 + 1945819020260489678969139941214576677830926317811514146497000281985\ 2706981046275073729674804102467816450175523407126386611901462377561\ 18282401444754877078953636640355531834840495477/6697166152519012540\ 4793653766911353749547054901847693214896232288129704654339442173699\ 0911381669677757524139612459758094777454766606006704360192567009350\ 2065962808356285239524352*c_1001_15^5 - 1383516580480287775558957340957176091582698259754623897683731502175\ 5987946895419009410307293403820633060125872639273914233775368757184\ 246340245533102400786448599707553218989727469/837145769064876567559\ 9206720863919218693381862730961651862029036016213081792430271712386\ 3922708709719690517451557469761847181845825750838045024070876168775\ 8245351044535654940544*c_1001_15^4 - 1797833745786598968401679888382596404845967070551490941542905461191\ 6085439469244729291831636307183574067440011437159156815764624577973\ 300777700830977430311423910823313847805659979/418572884532438283779\ 9603360431959609346690931365480825931014518008106540896215135856193\ 1961354354859845258725778734880923590922912875419022512035438084387\ 9122675522267827470272*c_1001_15^3 + 5815278280319762012808143280843423668363244559211924058924703780006\ 3770678266375256690119015297061456214956077505303077302009374626847\ 2227473867968718183425285180695553976650373/52321610566554785472495\ 0420053994951168336366420685103241376814751013317612026891982024149\ 5169294357480657340722341860115448865364109427377814004429760548489\ 0334440283478433784*c_1001_15^2 + 112516988211194475797167412958954\ 5093914628239056952191988520250824729099655938104486506951914824026\ 1309268595572963506520591530038822782182517765483604242966743677778\ 5289665603/26160805283277392736247521002699747558416818321034255162\ 0688407375506658806013445991012074758464717874032867036117093005772\ 44326820547136889070022148802742445167220141739216892*c_1001_15 - 6222452271344888370795840832226863802315001396185031150013163825223\ 2513740171437035551317444562809656211517492926621724918297483472359\ 74641485185251338982221073582878601232314/6540201320819348184061880\ 2506749368896042045802585637905172101843876664701503361497753018689\ 6161794685082167590292732514431108170513678422226750553720068561129\ 1805035434804223, c_0011_11 - 15889266776408801183313274806255315310506623575356889046454\ 2648986922194624025178629852381335868343332466711804245860899396487\ 429053804916620796547619895857735543726319728417/342894907008973442\ 0725435072865861311976809210974601892602687093152240878302179439293\ 3934662741487501185235948157939614452605684050227543263241859430878\ 73057772957878418042636468224*c_1001_15^27 + 5206101676540805863536183381639712405555913520531441842258844228584\ 9300221088619775240228635981656638905134834255871623327444947288538\ 64254971746145304414929419289086502122183/1371579628035893768290174\ 0291463445247907236843898407570410748372608963513208717757173573865\ 0965950004740943792631758457810422736200910173052967437723514922310\ 91831513672170545872896*c_1001_15^26 - 4260036965236375559387718428489823636679400756055316188522833767960\ 5483993498718639946957143181376421298307855342690942018758486051395\ 0862042903095208379418130720606502545122457/54863185121435750731606\ 9611658537809916289473755936302816429934904358540528348710286942954\ 6038638000189637751705270338312416909448036406922118697508940596892\ 4367326054688682183491584*c_1001_15^25 + 9747553305176673151722095761706811403080999464456956035900374415230\ 4116124422330502067718582206814559754758016312705640663392991988737\ 0421204636509186832780372341334998871177887/13715796280358937682901\ 7402914634452479072368438984075704107483726089635132087177571735738\ 6509659500047409437926317584578104227362009101730529674377235149223\ 1091831513672170545872896*c_1001_15^24 - 7583912668869093328494916544338302635848428384284506200445439921416\ 4460171945265886074096122533718609155932993154458270649846541291464\ 62667510248378571780250431943933586926075269/1371579628035893768290\ 1740291463445247907236843898407570410748372608963513208717757173573\ 8650965950004740943792631758457810422736200910173052967437723514922\ 31091831513672170545872896*c_1001_15^23 + 8256717459406233752255580108823832461715412416911166729759874739571\ 0393286049235268522579693417352436091373181057446308012695133944345\ 899683829832049052832848916155205345949629767/274315925607178753658\ 0348058292689049581447368779681514082149674521792702641743551434714\ 7730193190000948188758526351691562084547240182034610593487544702984\ 462183663027344341091745792*c_1001_15^22 - 7773573998784553166689234577321915835789352685688486146009626916547\ 9334560354057453298540997688594094084803116757698036929363610272480\ 22482175260515873271559941495239285562165427/4286186337612168025906\ 7938410823266399710115137182523657533588664403010978777242991167418\ 3284268593764815449351974245180657571050627844290790523242885984132\ 221619734802255329558528*c_1001_15^21 + 3711690637565300737531335267408279148528481985912487955232570624657\ 9736403117011177636037645448684553370214360799072861874327401711311\ 90412760390623889118109348811171920848354603817/2743159256071787536\ 5803480582926890495814473687796815140821496745217927026417435514347\ 1477301931900009481887585263516915620845472401820346105934875447029\ 84462183663027344341091745792*c_1001_15^20 - 7338342128191642984166530800799376039778802591282659150196367667021\ 5532004682916058803180899180357931243503573028303312414936632420268\ 45902476089937213517594346246225209431334592337/1371579628035893768\ 2901740291463445247907236843898407570410748372608963513208717757173\ 5738650965950004740943792631758457810422736200910173052967437723514\ 92231091831513672170545872896*c_1001_15^19 + 1274416859378892542824196002790025794680033119224897475977225116148\ 0713407549786100137022312381434042020854788716718849737247228099889\ 0085899324659743481439103847806393228248710727813/54863185121435750\ 7316069611658537809916289473755936302816429934904358540528348710286\ 9429546038638000189637751705270338312416909448036406922118697508940\ 5968924367326054688682183491584*c_1001_15^18 - 7023263398719013029523275752005006851003438510440146270671014516080\ 6763691564310216151132162988021024254046355866276068870315570571187\ 1178173456254639486242606789915053979176903677195/54863185121435750\ 7316069611658537809916289473755936302816429934904358540528348710286\ 9429546038638000189637751705270338312416909448036406922118697508940\ 5968924367326054688682183491584*c_1001_15^17 + 2174906711421229485717549629234700138227898741134966062642888521428\ 2469656855253049763691155298234791253409870746774543193950686266779\ 67379090203765765248199790465151261944976549987353/5486318512143575\ 0731606961165853780991628947375593630281642993490435854052834871028\ 6942954603863800018963775170527033831241690944803640692211869750894\ 05968924367326054688682183491584*c_1001_15^16 - 1027622677462444782992743941502511973885366573945930478209297499834\ 0588593324426175910911578536193306225792995504865942828608901037631\ 9595762556465233477027755335665518235573034784509/85723726752243360\ 5181358768216465327994202302743650473150671773288060219575544859823\ 3483665685371875296308987039484903613151421012556885815810464857719\ 68264443239469604510659117056*c_1001_15^15 + 2196604868930146602596694630068965879162789175633876209051741373111\ 5129153444218143933968084463036093624882840235547532812097912407900\ 265674618268621164174428298615722142338946940495995/548631851214357\ 5073160696116585378099162894737559363028164299349043585405283487102\ 8694295460386380001896377517052703383124169094480364069221186975089\ 405968924367326054688682183491584*c_1001_15^14 - 4841917553082049740746920221573304639778102093365269438626927569601\ 2091581538553623176720986997135863953118586407206369626238858633407\ 332196025874503902983742295326707764729794573527881/548631851214357\ 5073160696116585378099162894737559363028164299349043585405283487102\ 8694295460386380001896377517052703383124169094480364069221186975089\ 405968924367326054688682183491584*c_1001_15^13 + 7636083680227898879073354471488072123426224178449282866347880799270\ 3028311293959906649131704024251295213779376275001556509943459852843\ 020613300689685555520446660757353650154845280009419/548631851214357\ 5073160696116585378099162894737559363028164299349043585405283487102\ 8694295460386380001896377517052703383124169094480364069221186975089\ 405968924367326054688682183491584*c_1001_15^12 - 2400400230197433613864022727881398685040445524958899580985590054235\ 0392916234554499774564678583110056925901487341032863296652834005473\ 825863667640254514735449248472234415046501614196469/274315925607178\ 7536580348058292689049581447368779681514082149674521792702641743551\ 4347147730193190000948188758526351691562084547240182034610593487544\ 702984462183663027344341091745792*c_1001_15^11 - 3587039269983883748156298917197663277136189903031173647229429062985\ 3835524536494599733424853416397552223181628481398895089480267941235\ 2455519931119839548399600381485034111711488249623/21430931688060840\ 1295339692054116331998550575685912618287667943322015054893886214955\ 8370916421342968824077246759871225903287855253139221453952616214429\ 92066110809867401127664779264*c_1001_15^10 + 2098879145609652785118639626980426935384832040055395968844686799394\ 7607239108192925312750240010857896207877905289495515238495817158885\ 579473272776592170328651864034375230448481070393/428618633761216802\ 5906793841082326639971011513718252365753358866440301097877724299116\ 7418328426859376481544935197424518065757105062784429079052324288598\ 4132221619734802255329558528*c_1001_15^9 + 2357576315394517263452195820055051681962259606714661776409858858702\ 2558293217183969254669079525232917531733242915532581725327556032061\ 4544057512562631511769530917741224554645859090443/10715465844030420\ 0647669846027058165999275287842956309143833971661007527446943107477\ 9185458210671484412038623379935612951643927626569610726976308107214\ 96033055404933700563832389632*c_1001_15^8 - 9860529438583604367773174850907305980821353370767009322091124126933\ 8436824039910860753972764158933123615513260999811690033073625003976\ 046057092843475228253998149481552198083355983675/107154658440304200\ 6476698460270581659992752878429563091438339716610075274469431074779\ 1854582106714844120386233799356129516439276265696107269763081072149\ 6033055404933700563832389632*c_1001_15^7 - 1477394723529710641913325287885096472582800261151872870033411795568\ 7253402992854042995802164152712754677360840011579231843997124010788\ 626119573301553826754382716173717530173534690177/267886646100760501\ 6191746150676454149981882196073907728595849291525188186173577686947\ 9636455266787110300965584498390323791098190664240268174407702680374\ 008263851233425140958097408*c_1001_15^6 + 3504498060506616414644624383702973424488135530556674859623149410312\ 2023377913856353817327952649458003786247562071310988321558750839925\ 998185128071167863894760843266331251696008675/104643221133109570944\ 9900840107989902336672732841370206482753629502026635224053783964048\ 2990338588714961314681444683720230897730728218854755628008859521096\ 9780668880566956867568*c_1001_15^5 + 9284581175492877329816765322922499980605791514417023518341046158516\ 8211440561808435581978185458643340209894426534604394886996199041645\ 388118120078439685233117770959237544506304287/167429153812975313511\ 9841344172783843738676372546192330372405807203242616358486054342477\ 2784541741943938103490311493952369436369165150167609004814175233755\ 16490702089071309881088*c_1001_15^4 - 1294206106867514400698533129355365869655169124914010015474676067510\ 1258970484900189371846962006774876574127292941031884257258946070009\ 876508725779703236632433123797916951398954349/209286442266219141889\ 9801680215979804673345465682740412965507259004053270448107567928096\ 5980677177429922629362889367440461795461456437709511256017719042193\ 9561337761133913735136*c_1001_15^3 + 5485049480931861275841929451552985262762510584618593291120735584050\ 5404739953334152965763196763173291911373832540801752057488738078103\ 1851646770968852565630695306299031781619619/10464322113310957094499\ 0084010798990233667273284137020648275362950202663522405378396404829\ 9033858871496131468144468372023089773072821885475562800885952109697\ 80668880566956867568*c_1001_15^2 + 1147507583216644863193716469220512449401124740408996543671882149541\ 8221316721211099898911944368445796255737692979284045780742772128186\ 0960276866969699789975316644826030038351563/26160805283277392736247\ 5210026997475584168183210342551620688407375506658806013445991012074\ 7584647178740328670361170930057724432682054713688907002214880274244\ 5167220141739216892*c_1001_15 - 88571147128978306437221120690229001\ 7780687899212589266235404467720547046044658174670174644717064409467\ 2833431496746799913797938425015333858038972753573984481161355491918\ 158249/654020132081934818406188025067493688960420458025856379051721\ 0184387666470150336149775301868961617946850821675902927325144311081\ 705136784222267505537200685611291805035434804223, c_0011_12 - 73116042995684895564602521091877828684275703445685186377064\ 2553205600764418947849168846142003681209516981626072369155737744660\ 42323159884488847795646310458982404322607473045/3428949070089734420\ 7254350728658613119768092109746018926026870931522408783021794392933\ 9346627414875011852359481579396144526056840502275432632418594308787\ 3057772957878418042636468224*c_1001_15^27 + 1755176149964264459114978047167538583340963300789949926901205254198\ 4033028579828936773048150025544311172588266556617282168261234741030\ 29893108940298936971933631912573119335683/1371579628035893768290174\ 0291463445247907236843898407570410748372608963513208717757173573865\ 0965950004740943792631758457810422736200910173052967437723514922310\ 91831513672170545872896*c_1001_15^26 - 1762711020108755875750966381819919899279983237721426705928662866246\ 0877819191947682945020153585994761146734033580540153669562096073142\ 7990890203272902994156803599930719074129885/54863185121435750731606\ 9611658537809916289473755936302816429934904358540528348710286942954\ 6038638000189637751705270338312416909448036406922118697508940596892\ 4367326054688682183491584*c_1001_15^25 + 8589935769164272362591499272178824834143971345729015972828850414142\ 6213146118817394080265124903387176843494197818754584987101063673545\ 162550224584633640274265493279129085825017/342894907008973442072543\ 5072865861311976809210974601892602687093152240878302179439293393466\ 2741487501185235948157939614452605684050227543263241859430878730577\ 72957878418042636468224*c_1001_15^24 - 2557836962030396708090989720153955485105450526281885592143155431142\ 5219266519915930218265618317000282064942903986265093772193373059828\ 93707585527454018232070574720123786764888211/1371579628035893768290\ 1740291463445247907236843898407570410748372608963513208717757173573\ 8650965950004740943792631758457810422736200910173052967437723514922\ 31091831513672170545872896*c_1001_15^23 + 2360474786664588457908349937113569438765966020487615903648426976542\ 1019625383104111751419655566146218057758153891967508080031424436700\ 555015369329907315001906344802741842490877555/274315925607178753658\ 0348058292689049581447368779681514082149674521792702641743551434714\ 7730193190000948188758526351691562084547240182034610593487544702984\ 462183663027344341091745792*c_1001_15^22 - 3816028210971532887240375888411010956024033158793728819258893079516\ 3755623871211922029490954910500234668944844530272180272165261924247\ 674796612147942166481473526920248273877336927/685789814017946884145\ 0870145731722623953618421949203785205374186304481756604358878586786\ 9325482975002370471896315879228905211368100455086526483718861757461\ 15545915756836085272936448*c_1001_15^21 + 1243321556715768989328968141289935061522379944766358552272923172117\ 5041561426676334409506308880852681640363255106045080298188808749496\ 97642632314020797124559969928902962199329237829/2743159256071787536\ 5803480582926890495814473687796815140821496745217927026417435514347\ 1477301931900009481887585263516915620845472401820346105934875447029\ 84462183663027344341091745792*c_1001_15^20 - 1618251757008425182229021417854344880469800182015492375142471790925\ 7427851090196167500178505621518189816469672164193752511847118737465\ 21504866441771767656979278528461488845971575231/1371579628035893768\ 2901740291463445247907236843898407570410748372608963513208717757173\ 5738650965950004740943792631758457810422736200910173052967437723514\ 92231091831513672170545872896*c_1001_15^19 + 3244087354154725773977706514658288733427195880999177178507908865035\ 6519707123862461880913822176819964018709722893771425271008505173641\ 136280274871380578625482807102849562342294653961/548631851214357507\ 3160696116585378099162894737559363028164299349043585405283487102869\ 4295460386380001896377517052703383124169094480364069221186975089405\ 968924367326054688682183491584*c_1001_15^18 - 2073858342063090355072620238638928532328718624641837493147461413575\ 6390661316513107299541024632610542579956097173838811316277540160974\ 4825826915336225297275032871549729638924050207739/54863185121435750\ 7316069611658537809916289473755936302816429934904358540528348710286\ 9429546038638000189637751705270338312416909448036406922118697508940\ 5968924367326054688682183491584*c_1001_15^17 + 3486810434097574159765064674529958821950400076214771995696212065156\ 4445024258533052741318188885677790375373251407479435189188083125889\ 6015881513052570468865825534597992383385967910609/54863185121435750\ 7316069611658537809916289473755936302816429934904358540528348710286\ 9429546038638000189637751705270338312416909448036406922118697508940\ 5968924367326054688682183491584*c_1001_15^16 - 2869600845194919395732554347406660955453025865026269317397665499076\ 0472817295178742522280391305153944966962749960377017219076019986276\ 3739723419679338506913703560064713438522044378703/13715796280358937\ 6829017402914634452479072368438984075704107483726089635132087177571\ 7357386509659500047409437926317584578104227362009101730529674377235\ 1492231091831513672170545872896*c_1001_15^15 + 4386431520764689044782781879498036914419164567043166546508419392751\ 3658616594616091353788266478808713345764423289548544596816353781440\ 43817500723553897512891131222952905260171613725887/5486318512143575\ 0731606961165853780991628947375593630281642993490435854052834871028\ 6942954603863800018963775170527033831241690944803640692211869750894\ 05968924367326054688682183491584*c_1001_15^14 - 2892041654306092743434711991396787305810323516688472166168045338358\ 2296550893336999623018400483470935103322364212196144034777356101629\ 51393572743479208177258794673006220412286835523929/5486318512143575\ 0731606961165853780991628947375593630281642993490435854052834871028\ 6942954603863800018963775170527033831241690944803640692211869750894\ 05968924367326054688682183491584*c_1001_15^13 - 4344648575494134054771199778304689297135154052418855174711743369277\ 7909291151987108318944847373039771907597754233676840323388808043091\ 43248607309986892428093606457137321129145734560173/5486318512143575\ 0731606961165853780991628947375593630281642993490435854052834871028\ 6942954603863800018963775170527033831241690944803640692211869750894\ 05968924367326054688682183491584*c_1001_15^12 + 1791897895200062201867326703594100090620032542187802318989698268471\ 8839123301836689974636158932426006972126688023985728790515304314292\ 566127305073452162582246451071432119799599676614253/274315925607178\ 7536580348058292689049581447368779681514082149674521792702641743551\ 4347147730193190000948188758526351691562084547240182034610593487544\ 702984462183663027344341091745792*c_1001_15^11 - 2458439124472323158312541214834613140178217622936450936415001527305\ 9328437223159557576045875695690441835596618198362904367695491760220\ 7064896332917767137360955816040610304437187786815/21430931688060840\ 1295339692054116331998550575685912618287667943322015054893886214955\ 8370916421342968824077246759871225903287855253139221453952616214429\ 92066110809867401127664779264*c_1001_15^10 - 3936268839319967390903855574962113723860911190121277637567564882336\ 3665664739830708902407663827198959994101942575132320752631272682800\ 7189143679819853421518571039819657950011714089505/21430931688060840\ 1295339692054116331998550575685912618287667943322015054893886214955\ 8370916421342968824077246759871225903287855253139221453952616214429\ 92066110809867401127664779264*c_1001_15^9 + 1498128279495263234255647818424308839547128310153950934350026388685\ 6380678838618305015105539770802148359167592486040056748306314909130\ 730984701436660028315943770994237953832451113135/107154658440304200\ 6476698460270581659992752878429563091438339716610075274469431074779\ 1854582106714844120386233799356129516439276265696107269763081072149\ 6033055404933700563832389632*c_1001_15^8 + 1525109581007408796291183217433544751300791510730227615725751183728\ 0886802801335465140752551624197615570466241328770720719351609730687\ 5504077446425098181772891030489279747524233118283/10715465844030420\ 0647669846027058165999275287842956309143833971661007527446943107477\ 9185458210671484412038623379935612951643927626569610726976308107214\ 96033055404933700563832389632*c_1001_15^7 - 5903601164083015128393675842358837105803213511756151959528483967557\ 7706535773279950295757709799254884681899372741655739653124043716657\ 03216381968359808387814972387370759888365848235/2678866461007605016\ 1917461506764541499818821960739077285958492915251881861735776869479\ 6364552667871103009655844983903237910981906642402681744077026803740\ 08263851233425140958097408*c_1001_15^6 - 3968318659241728729729405491107380812202980934568978857117368907912\ 2867860459921103505739843018282701905282994121543146254244309445745\ 473135042024753860455829104441403297493042901/104643221133109570944\ 9900840107989902336672732841370206482753629502026635224053783964048\ 2990338588714961314681444683720230897730728218854755628008859521096\ 9780668880566956867568*c_1001_15^5 + 9305885745266035652624218124156321775513993120303577663153756847354\ 6970621533346351734696921301135078863982405324058430776231737418255\ 298835046400001958738396511090197145984246477/167429153812975313511\ 9841344172783843738676372546192330372405807203242616358486054342477\ 2784541741943938103490311493952369436369165150167609004814175233755\ 16490702089071309881088*c_1001_15^4 + 1046549602789762782796972638056717521186517026503741915640346345018\ 5848837854894821918595172353058607474653758604838065523919484717960\ 115598270175680314489896271327939548041337009/209286442266219141889\ 9801680215979804673345465682740412965507259004053270448107567928096\ 5980677177429922629362889367440461795461456437709511256017719042193\ 9561337761133913735136*c_1001_15^3 - 1562100041185128006952293577077206226650275336260212273957018946983\ 6768402406684033479434559564208334268881124157492544687667434847886\ 52446146250160158460777019335642097105068775/1046432211331095709449\ 9008401079899023366727328413702064827536295020266352240537839640482\ 9903385887149613146814446837202308977307282188547556280088595210969\ 780668880566956867568*c_1001_15^2 - 8434407936416691036751037284548224704126545166156723536602444227078\ 6198575495551983677226536605381471112893926373313465593041076200356\ 215432414667564336252781372582086208543383/261608052832773927362475\ 2100269974755841681832103425516206884073755066588060134459910120747\ 5846471787403286703611709300577244326820547136889070022148802742445\ 167220141739216892*c_1001_15 + 104187776021458017487976820980884353\ 8981901426537535928599221561925763114687319940125302055315782124496\ 1632766262654319362703750613874920037624611583163312183843281527194\ 383925/654020132081934818406188025067493688960420458025856379051721\ 0184387666470150336149775301868961617946850821675902927325144311081\ 705136784222267505537200685611291805035434804223, c_0011_13 - 46696055229582080675529035356240626193646610220559826025568\ 4716197507096705226870510815647135955850924116578741216915732884438\ 770179947099738718850216394810044799215570413429/342894907008973442\ 0725435072865861311976809210974601892602687093152240878302179439293\ 3934662741487501185235948157939614452605684050227543263241859430878\ 73057772957878418042636468224*c_1001_15^27 + 1379787661993078140012546906871187973228431681868080541317588887622\ 2532964836512763762803688771814104304209177347200248757947353226451\ 348621976856431700244448206524135207600787/137157962803589376829017\ 4029146344524790723684389840757041074837260896351320871775717357386\ 5096595000474094379263175845781042273620091017305296743772351492231\ 091831513672170545872896*c_1001_15^26 - 1205643957395675498359286548098944776702747588919186065058411740489\ 6229899257737206444197553850132326092346037539684434922752557967216\ 77993532340823382809522457124682284127097421/5486318512143575073160\ 6961165853780991628947375593630281642993490435854052834871028694295\ 4603863800018963775170527033831241690944803640692211869750894059689\ 24367326054688682183491584*c_1001_15^25 + 2618660916611107254354350453409134373629819543229792797026716948290\ 4601398241196917336528052604260660586411940772012828328168519412502\ 88946266105717322089872526425516774412334187/1371579628035893768290\ 1740291463445247907236843898407570410748372608963513208717757173573\ 8650965950004740943792631758457810422736200910173052967437723514922\ 31091831513672170545872896*c_1001_15^24 - 2010387240223631428798320503485022184161011108195515725324524486926\ 8860785073880658972220106742517380178812288339959587657745514472643\ 183168410939971174006171017922048586224071153/137157962803589376829\ 0174029146344524790723684389840757041074837260896351320871775717357\ 3865096595000474094379263175845781042273620091017305296743772351492\ 231091831513672170545872896*c_1001_15^23 + 2089507060585722831017205934735311427983238924017198516559637550734\ 9461747878545331812189467880182088608075721626411719493480631387133\ 6538924113290059672535093423651657490003298515/27431592560717875365\ 8034805829268904958144736877968151408214967452179270264174355143471\ 4773019319000094818875852635169156208454724018203461059348754470298\ 4462183663027344341091745792*c_1001_15^22 - 5013880205529960223737032980302088008455116507501831493070568213629\ 8127467275285179211824525138320663921651446829640410541530268642157\ 08662476630127538518549296802589471694107855/1071546584403042006476\ 6984602705816599927528784295630914383397166100752744694310747791854\ 5821067148441203862337993561295164392762656961072697630810721496033\ 055404933700563832389632*c_1001_15^21 + 9820932126349267723639606135458340777345758724183778519335299489414\ 9912400421231381147828757049842934673692662812514518518481805172312\ 96568565894778165744200603709012361621364337405/2743159256071787536\ 5803480582926890495814473687796815140821496745217927026417435514347\ 1477301931900009481887585263516915620845472401820346105934875447029\ 84462183663027344341091745792*c_1001_15^20 - 1744906046372987555100260628720233756980162433580919060261429734447\ 8016842991916232938479386486266717620218118218198712145731885423205\ 027998549654520030908691010595281840112164028389/137157962803589376\ 8290174029146344524790723684389840757041074837260896351320871775717\ 3573865096595000474094379263175845781042273620091017305296743772351\ 492231091831513672170545872896*c_1001_15^19 + 3132658183588841869905337187761038747816745736236251998593716726197\ 5752526676437308950793973164064687837765544873518318724317613418171\ 5635089076802062697045993261498742324843361296873/54863185121435750\ 7316069611658537809916289473755936302816429934904358540528348710286\ 9429546038638000189637751705270338312416909448036406922118697508940\ 5968924367326054688682183491584*c_1001_15^18 - 1793605488329542948305674732502701973591132839709296110107709357528\ 7875669666051496245065046144467895498527879457251950190516648098826\ 16313274185372146994156323405992093454120462953127/5486318512143575\ 0731606961165853780991628947375593630281642993490435854052834871028\ 6942954603863800018963775170527033831241690944803640692211869750894\ 05968924367326054688682183491584*c_1001_15^17 + 4866705140808079594840504613179075125540325670216182562133358522954\ 7941623740538764251804944846070042259081094053662862891699103168148\ 84867866046893673201539576862625493567017460516717/5486318512143575\ 0731606961165853780991628947375593630281642993490435854052834871028\ 6942954603863800018963775170527033831241690944803640692211869750894\ 05968924367326054688682183491584*c_1001_15^16 - 4669835240558511890498121496504858976299595511648399184911815983276\ 7726788561003360234499061019406437270006423256909455739336212446011\ 2223281490174901475357574648324898023686789684069/17144745350448672\ 1036271753643293065598840460548730094630134354657612043915108971964\ 6696733137074375059261797407896980722630284202511377163162092971543\ 936528886478939209021318234112*c_1001_15^15 + 5123734634144983500016123973250359646269231695675423490321607278842\ 7146716106104391643577470296024431977378989773880082891108031974957\ 735589660146872000005770261528886654668817381206135/548631851214357\ 5073160696116585378099162894737559363028164299349043585405283487102\ 8694295460386380001896377517052703383124169094480364069221186975089\ 405968924367326054688682183491584*c_1001_15^14 - 9711228292685584239323628968710390866071865379980669520004807708884\ 4820140111028619715769086114225300641551006735362042094221993400794\ 861193418662678684050245204388758367076408267003325/548631851214357\ 5073160696116585378099162894737559363028164299349043585405283487102\ 8694295460386380001896377517052703383124169094480364069221186975089\ 405968924367326054688682183491584*c_1001_15^13 + 1327195010649670200329788743508020047548261722055665676802490946656\ 6357965940013694871636538489592628759860802812570995382260490328430\ 8489718635384397155295172608526023608765527589575751/54863185121435\ 7507316069611658537809916289473755936302816429934904358540528348710\ 2869429546038638000189637751705270338312416909448036406922118697508\ 9405968924367326054688682183491584*c_1001_15^12 - 4020097263238509004113943631952193798837574579194599788281010039976\ 9225476748941024648432476532301917009374817687315368778811126743696\ 71870499135619773821127072972267834897357786751465/2743159256071787\ 5365803480582926890495814473687796815140821496745217927026417435514\ 3471477301931900009481887585263516915620845472401820346105934875447\ 02984462183663027344341091745792*c_1001_15^11 - 9781346812307033007747401075724240981702622996126703931934702468528\ 1996964781658533951787209035808503693696561733570827179399912283311\ 74198843194456435431848256028267241021818170715037/1714474535044867\ 2103627175364329306559884046054873009463013435465761204391510897196\ 4669673313707437505926179740789698072263028420251137716316209297154\ 3936528886478939209021318234112*c_1001_15^10 - 3728382082513948019447193620552687219973224298721435339334930925314\ 4971498867580264372482781582450802632837399302693962259344565085280\ 50058659003812342686795610227502474403819411305939/8572372675224336\ 0518135876821646532799420230274365047315067177328806021957554485982\ 3348366568537187529630898703948490361315142101255688581581046485771\ 968264443239469604510659117056*c_1001_15^9 + 2380736370281339104737839049769628348216335796396240246719855116174\ 8261842370224293958613741375129139477819846295957780198787494192356\ 5309314357963941396366182845132070832097195704385/53577329220152100\ 3238349230135290829996376439214781545719169858305037637234715537389\ 5927291053357422060193116899678064758219638132848053634881540536074\ 8016527702466850281916194816*c_1001_15^8 + 1972669134241633213576958774162458372859557935716633235457226376879\ 5178483095391495341299531858200308524757828559800793040188235435760\ 9491884954376670598575944645148078019867353109457/10715465844030420\ 0647669846027058165999275287842956309143833971661007527446943107477\ 9185458210671484412038623379935612951643927626569610726976308107214\ 96033055404933700563832389632*c_1001_15^7 - 3644193492787266189246781110846940614800753127222735732796415323833\ 7800268012781808310250081176469705586042134660910365302485923115105\ 186346848519746473928140800597204996443801365253/267886646100760501\ 6191746150676454149981882196073907728595849291525188186173577686947\ 9636455266787110300965584498390323791098190664240268174407702680374\ 008263851233425140958097408*c_1001_15^6 - 3562847424920082850135229141471050567029583795126443023021110690736\ 3482135938352825050149613078521298101530931719585498447274590781388\ 1222939259267372458385368913697463978498210837/83714576906487656755\ 9920672086391921869338186273096165186202903601621308179243027171238\ 6392270870971969051745155746976184718184582575083804502407087616877\ 58245351044535654940544*c_1001_15^5 + 3639635965067401498334014184143903816498459751548349288997952271599\ 9915781523170144392386204223463063839938134899064712481151985823389\ 0202090317148689641100465528581331168720568087/16742915381297531351\ 1984134417278384373867637254619233037240580720324261635848605434247\ 7278454174194393810349031149395236943636916515016760900481417523375\ 516490702089071309881088*c_1001_15^4 + 5267650555519016809183090798647309036449551214700795011558384878637\ 4209009960884002157144520891601972829066351362661315511382034298328\ 10133074453576659512521093921136751572945253/2092864422662191418899\ 8016802159798046733454656827404129655072590040532704481075679280965\ 9806771774299226293628893674404617954614564377095112560177190421939\ 561337761133913735136*c_1001_15^3 - 2775944339320991809756870721528551637967049404076670191663528442151\ 1670812280274374264240820954819853760788811718785944458640748280017\ 24637954625887794230555507954415154155318081/1046432211331095709449\ 9008401079899023366727328413702064827536295020266352240537839640482\ 9903385887149613146814446837202308977307282188547556280088595210969\ 780668880566956867568*c_1001_15^2 - 8704054468574591400257656075202494857003316677661487501403161377298\ 4999569249937812439770267693263563416153611324946106349027848843786\ 60955757694396528585895470600762444831637/2616080528327739273624752\ 1002699747558416818321034255162068840737550665880601344599101207475\ 8464717874032867036117093005772443268205471368890700221488027424451\ 67220141739216892*c_1001_15 + 1422134545254879490851945532177949045\ 4137556588517988564282127255368304412208015858789812043297651768095\ 9473349483589944914891954583379844132510002603419673802751622656064\ 21933/6540201320819348184061880250674936889604204580258563790517210\ 1843876664701503361497753018689616179468508216759029273251443110817\ 05136784222267505537200685611291805035434804223, c_0011_4 - 130298863630091203666013442259075534342500092084356442260510\ 1206271903311598268818018396580546748106493162792796288378991227443\ 96744950610208462065973100271904750239567594629/3428949070089734420\ 7254350728658613119768092109746018926026870931522408783021794392933\ 9346627414875011852359481579396144526056840502275432632418594308787\ 3057772957878418042636468224*c_1001_15^27 + 2997568191968805406274039757406280191932113543861583276277428352201\ 5260011944998152100297130069964750593172613962542936877145611591025\ 00721323971127272304596709284523550875419/1371579628035893768290174\ 0291463445247907236843898407570410748372608963513208717757173573865\ 0965950004740943792631758457810422736200910173052967437723514922310\ 91831513672170545872896*c_1001_15^26 - 3101592792343750843238131467505650185097448233066661602549977536816\ 4644407326290660253869530371189156122812737362161051972097474064345\ 6793593893922166121692295981762027695836613/54863185121435750731606\ 9611658537809916289473755936302816429934904358540528348710286942954\ 6038638000189637751705270338312416909448036406922118697508940596892\ 4367326054688682183491584*c_1001_15^25 + 1182135521760372085993017369921537910616750248976109420423013513409\ 9274856894820111156558402674581577143423942495679522950311671778454\ 42285133121910592307250489606541984771538425/2743159256071787536580\ 3480582926890495814473687796815140821496745217927026417435514347147\ 7301931900009481887585263516915620845472401820346105934875447029844\ 62183663027344341091745792*c_1001_15^24 - 1092680184228544138520044049573943211845253208101183680903286601100\ 8939813367079476274907530855103016315289814086229333361898857907611\ 03084947301979919505678404946357410199181315/3428949070089734420725\ 4350728658613119768092109746018926026870931522408783021794392933934\ 6627414875011852359481579396144526056840502275432632418594308787305\ 7772957878418042636468224*c_1001_15^23 + 3917545274939371796990159456818584556908685811524866771550558633073\ 7145658701395699073289994305537009440532665681716488913997104207723\ 693350365975243215135789915936534262715063955/274315925607178753658\ 0348058292689049581447368779681514082149674521792702641743551434714\ 7730193190000948188758526351691562084547240182034610593487544702984\ 462183663027344341091745792*c_1001_15^22 - 1283930204034060534881960299442620022553607995776694858608755588363\ 6299861845244652248223305248682626937539420695459083545194018895377\ 0118259475386285478740945111052091493932760661/13715796280358937682\ 9017402914634452479072368438984075704107483726089635132087177571735\ 7386509659500047409437926317584578104227362009101730529674377235149\ 2231091831513672170545872896*c_1001_15^21 + 2122725391363904114134593338098730152129239743423761881445565396749\ 7006744612067240764936332084831726023203706210988512721792039161179\ 14403436966450866129531660526870541693390956777/2743159256071787536\ 5803480582926890495814473687796815140821496745217927026417435514347\ 1477301931900009481887585263516915620845472401820346105934875447029\ 84462183663027344341091745792*c_1001_15^20 - 6326921142212437178689920617571676850334533800553417874025711643174\ 4032268712667642398277640213671249839088386717838954071685502328529\ 6569474983070911450233281995190732601859408077/34289490700897344207\ 2543507286586131197680921097460189260268709315224087830217943929339\ 3466274148750118523594815793961445260568405022754326324185943087873\ 057772957878418042636468224*c_1001_15^19 + 5262242661634174839919966798336598208784068960357276082685562649828\ 8221688934137932893724705430136590418164142715240441270736272153557\ 731930188368104077631616704420497993445064583545/548631851214357507\ 3160696116585378099162894737559363028164299349043585405283487102869\ 4295460386380001896377517052703383124169094480364069221186975089405\ 968924367326054688682183491584*c_1001_15^18 - 3465669397301157638837293709069202193897550361981812640417090192547\ 6554349098199082113149837165749414116618561668061735966797318690389\ 8406811818453693769189742072949563024798066087861/54863185121435750\ 7316069611658537809916289473755936302816429934904358540528348710286\ 9429546038638000189637751705270338312416909448036406922118697508940\ 5968924367326054688682183491584*c_1001_15^17 + 4910616548566051218779353973065992667722599057952164656254796491919\ 4120480066781491904861006702000264114576314729173554834965618083991\ 2372347831423816695992694280406826115084898595987/54863185121435750\ 7316069611658537809916289473755936302816429934904358540528348710286\ 9429546038638000189637751705270338312416909448036406922118697508940\ 5968924367326054688682183491584*c_1001_15^16 - 8382904534897635630739557953565937132594224778388155014238525204922\ 2065241934689173012193663179411549221212968240296151477962437082429\ 7723408582998528688565663971533181172142068284125/27431592560717875\ 3658034805829268904958144736877968151408214967452179270264174355143\ 4714773019319000094818875852635169156208454724018203461059348754470\ 2984462183663027344341091745792*c_1001_15^15 + 6692887176407867931955465254686250729988763770008723049379718971599\ 1775874879767314387839142215175025605630403539260382072834991460061\ 44834213147509278330741822784737663415395181675523/5486318512143575\ 0731606961165853780991628947375593630281642993490435854052834871028\ 6942954603863800018963775170527033831241690944803640692211869750894\ 05968924367326054688682183491584*c_1001_15^14 - 1327646810165549216806861672587471927983265460356784710297320355967\ 9140893489591271138493985560376808216784644218246282850075935437366\ 94703996739619468498248694498700864843205994647095/5486318512143575\ 0731606961165853780991628947375593630281642993490435854052834871028\ 6942954603863800018963775170527033831241690944803640692211869750894\ 05968924367326054688682183491584*c_1001_15^13 - 1537127395672255878259244523106936056990110202577110642061242458911\ 5643491684620500928395364698831395656251110922871112378196662791871\ 166996514215369299322613130435264805564640361356855/548631851214357\ 5073160696116585378099162894737559363028164299349043585405283487102\ 8694295460386380001896377517052703383124169094480364069221186975089\ 405968924367326054688682183491584*c_1001_15^12 + 2337182883702894377895747981693425000005587621734159523112510089410\ 7272530764209342194576598334844123487017426571556573402334444564797\ 74791189749394636859135737112429591425828662151647/1714474535044867\ 2103627175364329306559884046054873009463013435465761204391510897196\ 4669673313707437505926179740789698072263028420251137716316209297154\ 3936528886478939209021318234112*c_1001_15^11 - 7193404126788176321924350606623190977119050216743116769021732511839\ 6925963292545420952469057852494876877463202354697024633013102245563\ 46926592892018131599692475857122804860332029149709/3428949070089734\ 4207254350728658613119768092109746018926026870931522408783021794392\ 9339346627414875011852359481579396144526056840502275432632418594308\ 7873057772957878418042636468224*c_1001_15^10 - 1570264684362630874946527421865144711925914565913356938829747020097\ 4505999317194606457869704327267706239692686778542070646370585039973\ 36648122744690568809941286422247012192494231847785/4286186337612168\ 0259067938410823266399710115137182523657533588664403010978777242991\ 1674183284268593764815449351974245180657571050627844290790523242885\ 984132221619734802255329558528*c_1001_15^9 + 7773370561222971478952465138338013907621645942797994314821893619336\ 9250920537116081095493913665335254769116945503554960331590075189254\ 53552244550084042078814475007236977729637809887/2143093168806084012\ 9533969205411633199855057568591261828766794332201505489388621495583\ 7091642134296882407724675987122590328785525313922145395261621442992\ 066110809867401127664779264*c_1001_15^8 + 1553935927489985109080065870089960714877419246165585742928670428567\ 0573586513413761052757330229461069594371311880868397300388762741326\ 8871969410350891879652147616298789725623791294765/53577329220152100\ 3238349230135290829996376439214781545719169858305037637234715537389\ 5927291053357422060193116899678064758219638132848053634881540536074\ 8016527702466850281916194816*c_1001_15^7 - 4380708825834753746004548884786335084482363148702756739268254643250\ 2520892710091713815959839470375938361710454264404451062649796981385\ 10923082948466053942022719150330767220587761301/1339433230503802508\ 0958730753382270749909410980369538642979246457625940930867888434739\ 8182276333935551504827922491951618955490953321201340872038513401870\ 04131925616712570479048704*c_1001_15^6 - 2531623174548913083867279732629560632370378086464368616324354706822\ 3830117711627132947014832119302993394781511339380670182793343487909\ 72537845849381424834508246972819632760825909663/3348583076259506270\ 2396826883455676874773527450923846607448116144064852327169721086849\ 5455690834838878762069806229879047388727383303003352180096283504675\ 1032981404178142619762176*c_1001_15^5 + 8808174769117046227394527830110690529566022184129335348498248054731\ 3095245314217217910381509473956792641811896025709223361929000743047\ 167385742405907746728015025694395477571169053/837145769064876567559\ 9206720863919218693381862730961651862029036016213081792430271712386\ 3922708709719690517451557469761847181845825750838045024070876168775\ 8245351044535654940544*c_1001_15^4 + 2074347232626038541885866022246082518164859093575669661325856483713\ 6031606353735354528975962517157480672631444633601322355905680833154\ 274012854600585089323110460371037897669385665/209286442266219141889\ 9801680215979804673345465682740412965507259004053270448107567928096\ 5980677177429922629362889367440461795461456437709511256017719042193\ 9561337761133913735136*c_1001_15^3 - 1686238923653594616056714514869080314356992780861498094099120260547\ 2465434311466695147696545170988314268865746622454320287587087937447\ 94997688398186308957614926144227929246779117/5232161056655478547249\ 5042005399495116833636642068510324137681475101331761202689198202414\ 9516929435748065734072234186011544886536410942737781400442976054848\ 90334440283478433784*c_1001_15^2 - 1691847196439378487001513425007520645806959866216382656411020763324\ 8306479077212793201201418537055608325406211555627534366260859607392\ 2028793791390703389639038164718048138297573/26160805283277392736247\ 5210026997475584168183210342551620688407375506658806013445991012074\ 7584647178740328670361170930057724432682054713688907002214880274244\ 5167220141739216892*c_1001_15 + 16540744568342390146342828299625068\ 6198847404593700136997835612167343442867218543768884053987440929064\ 6757260707030428262718382023703069259268307646559066430617180157249\ 2569142/65402013208193481840618802506749368896042045802585637905172\ 1018438766647015033614977530186896161794685082167590292732514431108\ 1705136784222267505537200685611291805035434804223, c_0101_0 + 277462073577111400449329123247858636791649987000654880613097\ 4405058390365863904939877267271897142754042052677855107505733707451\ 56068925851406080782473775192057629840548951061/3428949070089734420\ 7254350728658613119768092109746018926026870931522408783021794392933\ 9346627414875011852359481579396144526056840502275432632418594308787\ 3057772957878418042636468224*c_1001_15^27 - 6854831835350574056955205415226936753872756394329514404262970667709\ 4720146701051904117114462410878298861876872844505179010277987818384\ 50499556230445138962432573180355234910971/1371579628035893768290174\ 0291463445247907236843898407570410748372608963513208717757173573865\ 0965950004740943792631758457810422736200910173052967437723514922310\ 91831513672170545872896*c_1001_15^26 + 6748816354088250230320711593411750490224214633914760246421865567239\ 9837409952503918256684096602466451740289833099281174700480008262085\ 3978212703416618882230257426568776175507813/54863185121435750731606\ 9611658537809916289473755936302816429934904358540528348710286942954\ 6038638000189637751705270338312416909448036406922118697508940596892\ 4367326054688682183491584*c_1001_15^25 - 2671390997806781194530155310350700492361166619003214746613614487962\ 7881266639145194973696650020112359704812637666900717604156572752517\ 79440493138502929725672793917576618762004999/2743159256071787536580\ 3480582926890495814473687796815140821496745217927026417435514347147\ 7301931900009481887585263516915620845472401820346105934875447029844\ 62183663027344341091745792*c_1001_15^24 + 3121330246674686382492990879465551770393490743534352784548925802354\ 0574565345153521314528914619190175366132858457341016601923426529754\ 6325870613778447048667246103614274071906141/42861863376121680259067\ 9384108232663997101151371825236575335886644030109787772429911674183\ 2842685937648154493519742451806575710506278442907905232428859841322\ 21619734802255329558528*c_1001_15^23 - 9392897749684007891218671006948621677531552287177375534501154769133\ 9545442268350592339653956876134274746853816177446812900138847312889\ 666797470464692789091370981181745214060509595/274315925607178753658\ 0348058292689049581447368779681514082149674521792702641743551434714\ 7730193190000948188758526351691562084547240182034610593487544702984\ 462183663027344341091745792*c_1001_15^22 + 3011533315866823064186515475346826493055760941584431112671945330083\ 9959889844433382275349454794149087986626298645355500591328596261091\ 7652574588799150180279096664155110044279835367/13715796280358937682\ 9017402914634452479072368438984075704107483726089635132087177571735\ 7386509659500047409437926317584578104227362009101730529674377235149\ 2231091831513672170545872896*c_1001_15^21 - 4858883613490077094721851975781549342682411261718834961152963756464\ 8487952294287038826264498399669241866769449746736474034569835144028\ 33535630983503848627109569642448552145243496697/2743159256071787536\ 5803480582926890495814473687796815140821496745217927026417435514347\ 1477301931900009481887585263516915620845472401820346105934875447029\ 84462183663027344341091745792*c_1001_15^20 + 3336687969120349151402171275938055726435250232749223962688448200894\ 6376148683777107131792616685874080545867345561727878972459797130288\ 77644282203455106516035316469002931469733451657/6857898140179468841\ 4508701457317226239536184219492037852053741863044817566043588785867\ 8693254829750023704718963158792289052113681004550865264837188617574\ 6115545915756836085272936448*c_1001_15^19 - 1310165916487628194970954536635269529091629864031275318345933988071\ 2646165652595474805300892362097463564240651155341094414490209193295\ 1706434251602315529963303561783971259387912353593/54863185121435750\ 7316069611658537809916289473755936302816429934904358540528348710286\ 9429546038638000189637751705270338312416909448036406922118697508940\ 5968924367326054688682183491584*c_1001_15^18 + 8221251069433312689799190623668392256742359123134498980776698996895\ 9794247815291317147038860786909678047924785550022956545655763679119\ 9387573261104027961535446825806471723842581626769/54863185121435750\ 7316069611658537809916289473755936302816429934904358540528348710286\ 9429546038638000189637751705270338312416909448036406922118697508940\ 5968924367326054688682183491584*c_1001_15^17 - 1520735811486373203699410579404370710756589233132933934740226854127\ 1144953613451659286368079710354258478412636914908562581879975191919\ 76488577850551417402885509184906187092665128988087/5486318512143575\ 0731606961165853780991628947375593630281642993490435854052834871028\ 6942954603863800018963775170527033831241690944803640692211869750894\ 05968924367326054688682183491584*c_1001_15^16 + 2461635617813538976484973356754727858926638072351241532683983497050\ 4416486987993458981698244961754669013595633340585595859883836730991\ 16894232917094701332392574461607472847086780473803/2743159256071787\ 5365803480582926890495814473687796815140821496745217927026417435514\ 3471477301931900009481887585263516915620845472401820346105934875447\ 02984462183663027344341091745792*c_1001_15^15 - 1838778972028913596110277158174379346468154851529483895053422660499\ 6874523104882090572140635199369928554587963178087882710302977058152\ 162806746204057804583523452316523457212307494610355/548631851214357\ 5073160696116585378099162894737559363028164299349043585405283487102\ 8694295460386380001896377517052703383124169094480364069221186975089\ 405968924367326054688682183491584*c_1001_15^14 + 1686430719771019886332935378703620735878015167964642031926930624032\ 5506125528906704064293970100563753771552554409021140971224454012112\ 715619163767989222845790545460789795345389947732507/548631851214357\ 5073160696116585378099162894737559363028164299349043585405283487102\ 8694295460386380001896377517052703383124169094480364069221186975089\ 405968924367326054688682183491584*c_1001_15^13 + 4491516073889146259026226946424823030773847127383646326655536981265\ 1702104068364857869185444244600818365373208901442461118140513517060\ 17565561056652062977827584787560177245623880693611/5486318512143575\ 0731606961165853780991628947375593630281642993490435854052834871028\ 6942954603863800018963775170527033831241690944803640692211869750894\ 05968924367326054688682183491584*c_1001_15^12 - 2951856497547393217518451154138832771572425682308229800148070040142\ 8983020189599771025288736854585279214984864856120855053340956294062\ 900951169610852892092635704511401748332225974685995/137157962803589\ 3768290174029146344524790723684389840757041074837260896351320871775\ 7173573865096595000474094379263175845781042273620091017305296743772\ 351492231091831513672170545872896*c_1001_15^11 + 2896642803652101802237468879158644895393444467069146433134343346050\ 0017924818377444669963430266075539094017388147117480903691604686058\ 534992033480610368396798176223532815051370417651503/685789814017946\ 8841450870145731722623953618421949203785205374186304481756604358878\ 5867869325482975002370471896315879228905211368100455086526483718861\ 75746115545915756836085272936448*c_1001_15^10 + 1380774821263400569480881536693783711457119567634954728630892358874\ 5696897439546366042629120751328661804354974745014781214639962671416\ 24088335477626291429136451684633309208413041604233/2143093168806084\ 0129533969205411633199855057568591261828766794332201505489388621495\ 5837091642134296882407724675987122590328785525313922145395261621442\ 992066110809867401127664779264*c_1001_15^9 - 1107627362957716666944789026174873980316369666978655349218308999203\ 5742857700140854380745902693352123283974270550252474470041734807294\ 181058026031631517446624607308969893745782634895/133943323050380250\ 8095873075338227074990941098036953864297924645762594093086788843473\ 9818227633393555150482792249195161895549095332120134087203851340187\ 004131925616712570479048704*c_1001_15^8 - 6581941505285511749253778816871421602897887722154884222928029185589\ 0403709412460989801016607349036949452577177129215570781320362967755\ 830165717365326152883628254558194569289829719435/133943323050380250\ 8095873075338227074990941098036953864297924645762594093086788843473\ 9818227633393555150482792249195161895549095332120134087203851340187\ 004131925616712570479048704*c_1001_15^7 + 2088122299941183310065770855773544142293444654596796439559077885356\ 3644914186307249897429359206760319115586058710579889997946988609162\ 215326130151174749851877358914811158016207169759/267886646100760501\ 6191746150676454149981882196073907728595849291525188186173577686947\ 9636455266787110300965584498390323791098190664240268174407702680374\ 008263851233425140958097408*c_1001_15^6 + 8414951913392504425407649962323920590857863755688900678561516687184\ 9642253232459584225116621876218810623379159128502833183504766537877\ 93349302041411566086319113680453012735850418119/6697166152519012540\ 4793653766911353749547054901847693214896232288129704654339442173699\ 0911381669677757524139612459758094777454766606006704360192567009350\ 2065962808356285239524352*c_1001_15^5 - 9692913240521075003246119165375290346914220183836148618229265067307\ 7710259664478457467973968559996145755129107439782743344051506539743\ 461183132837314862139640766873218543796460765/418572884532438283779\ 9603360431959609346690931365480825931014518008106540896215135856193\ 1961354354859845258725778734880923590922912875419022512035438084387\ 9122675522267827470272*c_1001_15^4 - 6478308191339169837971728321530454459333854298178259426461559894362\ 6670794134243728195158417666365551211698761325108464191654945954956\ 905340815846631243744071806244229596138728687/418572884532438283779\ 9603360431959609346690931365480825931014518008106540896215135856193\ 1961354354859845258725778734880923590922912875419022512035438084387\ 9122675522267827470272*c_1001_15^3 + 8293817491202729083781866483234624408526921861393725693729825877009\ 0719373813620231266089765222810792121046690337214219535419361657333\ 0454965723014287435659519372160126569183361/13080402641638696368123\ 7605013498737792084091605171275810344203687753329403006722995506037\ 3792323589370164335180585465028862216341027356844453501107440137122\ 2583610070869608446*c_1001_15^2 + 923831256432775980642520096961069\ 2596437320456454272006723236911686103901974004263837780978480547137\ 6848117976401447546134222818766490081851301707305719416655377607168\ 927744109/130804026416386963681237605013498737792084091605171275810\ 3442036877533294030067229955060373792323589370164335180585465028862\ 2163410273568444535011074401371222583610070869608446*c_1001_15 - 3577782349488843618099511655877688125000113995300981736460748480114\ 6893986046090545949940077207849016796392371334516131177025841683910\ 627136389263439901389775423956003413489265/654020132081934818406188\ 0250674936889604204580258563790517210184387666470150336149775301868\ 9616179468508216759029273251443110817051367842222675055372006856112\ 91805035434804223, c_0101_10 - 15016042957649725420593959026206395842072971923975240177764\ 8944049741183523665620231422303757259673015687537252241045272563144\ 097817097706918121894250362488426053805156868279/857237267522433605\ 1813587682164653279942023027436504731506717732880602195755448598233\ 4836656853718752963089870394849036131514210125568858158104648577196\ 8264443239469604510659117056*c_1001_15^27 + 4641888830844914709923947115154158392135224964033066562160096106922\ 5560358614853040747693323655993544008992889592166250631859198962185\ 59147063305035494205787677326497961094125/3428949070089734420725435\ 0728658613119768092109746018926026870931522408783021794392933934662\ 7414875011852359481579396144526056840502275432632418594308787305777\ 2957878418042636468224*c_1001_15^26 - 3940186385477482305997415286195022423846590050876740999691573335297\ 0398355877122478472023123246326053683443865754789617635839175168405\ 2755068039205723393397042718206509263273331/13715796280358937682901\ 7402914634452479072368438984075704107483726089635132087177571735738\ 6509659500047409437926317584578104227362009101730529674377235149223\ 1091831513672170545872896*c_1001_15^25 + 3502558828623255203537774605251792195156859910813125154864904006618\ 6232934207977427803086008345574514014642776497964906618453901634686\ 13474863285890661370754278550092738453006471/1371579628035893768290\ 1740291463445247907236843898407570410748372608963513208717757173573\ 8650965950004740943792631758457810422736200910173052967437723514922\ 31091831513672170545872896*c_1001_15^24 - 1352557699130254754148387032171869562149248905664923892370119309738\ 0912917607895271555387030449152495181101848867318119734491959385406\ 971591510357426732186114199263547102492995175/685789814017946884145\ 0870145731722623953618421949203785205374186304481756604358878586786\ 9325482975002370471896315879228905211368100455086526483718861757461\ 15545915756836085272936448*c_1001_15^23 + 7178967796143772112037846095831236126735402397087720434796302156625\ 2784664634077384984790773419072525870577073767628646569545957096782\ 820259576401333065274398232232401694280615897/685789814017946884145\ 0870145731722623953618421949203785205374186304481756604358878586786\ 9325482975002370471896315879228905211368100455086526483718861757461\ 15545915756836085272936448*c_1001_15^22 - 4371073327124596280291468646721783991152557540886627908177797307646\ 9043138845176704607430918664917377721925385359483097948786640773020\ 3219367681964050931106695266253249092300625005/68578981401794688414\ 5087014573172262395361842194920378520537418630448175660435887858678\ 6932548297500237047189631587922890521136810045508652648371886175746\ 115545915756836085272936448*c_1001_15^21 + 3306384128608138664858640440309036280627686774678513156535005886662\ 4020877601738104217400346536999169059298597426759749188278991452497\ 06051398130718656904107894270986377519449179377/6857898140179468841\ 4508701457317226239536184219492037852053741863044817566043588785867\ 8693254829750023704718963158792289052113681004550865264837188617574\ 6115545915756836085272936448*c_1001_15^20 - 1234535226524788216923269321387174613211974629281053180674286195793\ 9233597464273855467979702867152643988440865413688363674434569513790\ 805032335389989739977459613886013149640396778381/685789814017946884\ 1450870145731722623953618421949203785205374186304481756604358878586\ 7869325482975002370471896315879228905211368100455086526483718861757\ 46115545915756836085272936448*c_1001_15^19 + 1090935833181388504785587321051907279243480229429393309701073087904\ 0312106683169637550667700236912498088606671393380587791424249838362\ 8627284628999740769231145276188071408682480777003/13715796280358937\ 6829017402914634452479072368438984075704107483726089635132087177571\ 7357386509659500047409437926317584578104227362009101730529674377235\ 1492231091831513672170545872896*c_1001_15^18 - 1534083247380576239807810991297033804216877936330575137137550267086\ 3931260177844125228708980917519889554589605595031086383266007887760\ 1142879920590284308034676547738567972797486768467/34289490700897344\ 2072543507286586131197680921097460189260268709315224087830217943929\ 3393466274148750118523594815793961445260568405022754326324185943087\ 873057772957878418042636468224*c_1001_15^17 + 8864724938663480280982480959504923693608472971053869126945708764291\ 8596492520265162120603315138440918949977500226575414161371549314057\ 5795486409552886992396610377462707191621606027419/68578981401794688\ 4145087014573172262395361842194920378520537418630448175660435887858\ 6786932548297500237047189631587922890521136810045508652648371886175\ 746115545915756836085272936448*c_1001_15^16 - 5403246523259924195267999049166878488553651475762394887933160427854\ 0094217231531357545275477872095594520793007082252719346846316406442\ 62205834779584451805037034906044987091263148593713/1371579628035893\ 7682901740291463445247907236843898407570410748372608963513208717757\ 1735738650965950004740943792631758457810422736200910173052967437723\ 51492231091831513672170545872896*c_1001_15^15 + 1829030241739635389675954057342483848272468842232835909601256245090\ 7494928143674770213280716093325720102986459164890811398398932259102\ 408941465158194516743553944147228043866842452786807/137157962803589\ 3768290174029146344524790723684389840757041074837260896351320871775\ 7173573865096595000474094379263175845781042273620091017305296743772\ 351492231091831513672170545872896*c_1001_15^14 - 9346240656211522023063189496949914448754271723717147062722832416398\ 2547661596305356482942341696978482994809437932379749222856959592547\ 18684128787592055382707274724537542433476273248537/3428949070089734\ 4207254350728658613119768092109746018926026870931522408783021794392\ 9339346627414875011852359481579396144526056840502275432632418594308\ 7873057772957878418042636468224*c_1001_15^13 + 2758262402294879359748283641940909515608124018885137069814858066869\ 0191140359948569714055292713243332585861847501292090143854292887582\ 614354662303291138805973986512235588710496187779789/685789814017946\ 8841450870145731722623953618421949203785205374186304481756604358878\ 5867869325482975002370471896315879228905211368100455086526483718861\ 75746115545915756836085272936448*c_1001_15^12 - 2064246836548259325842528149018651531857941261378592015943403944236\ 8085738041516738534832263074300590511037015737591039159306987309077\ 110383252163498068158489970025282048887950475843561/137157962803589\ 3768290174029146344524790723684389840757041074837260896351320871775\ 7173573865096595000474094379263175845781042273620091017305296743772\ 351492231091831513672170545872896*c_1001_15^11 - 2374049411995378890090099900580846592501530158190278474014822920626\ 6994176382184518732016100774301207957106285097952682432279631125863\ 040269091663047135655270906028526066066492643965425/342894907008973\ 4420725435072865861311976809210974601892602687093152240878302179439\ 2933934662741487501185235948157939614452605684050227543263241859430\ 87873057772957878418042636468224*c_1001_15^10 - 5346746148174480244760417405548584761984369404836091842208758508424\ 0879573575442359158211635339967935189840838335598997519742783689895\ 47838721546796923015986937326307487255078042605133/1714474535044867\ 2103627175364329306559884046054873009463013435465761204391510897196\ 4669673313707437505926179740789698072263028420251137716316209297154\ 3936528886478939209021318234112*c_1001_15^9 + 1458841529969626607622899804217355571450167392486420211248341028733\ 8628314531611300001502849454495216234539454847703206122097088378718\ 38617918831124844441027728337149664949141750299245/2143093168806084\ 0129533969205411633199855057568591261828766794332201505489388621495\ 5837091642134296882407724675987122590328785525313922145395261621442\ 992066110809867401127664779264*c_1001_15^8 - 8541267323360621448484134132607681816202180068352109829837269858988\ 8634125708083701433401381534941934823258623515011506418757855046688\ 95650090422975279056096577289258435682849913383/5357732922015210032\ 3834923013529082999637643921478154571916985830503763723471553738959\ 2729105335742206019311689967806475821963813284805363488154053607480\ 16527702466850281916194816*c_1001_15^7 - 2579789382535236628304841194557665602545162344411538603731357579103\ 8474071972508089647989580421749387315398434212926678596531033872961\ 656559155328598686634446318431607604170346231531/133943323050380250\ 8095873075338227074990941098036953864297924645762594093086788843473\ 9818227633393555150482792249195161895549095332120134087203851340187\ 004131925616712570479048704*c_1001_15^6 + 1297204468683156235155597469147578134771118533876570763081372729280\ 1349807341235050511710270477495017858133674861710386257535920309210\ 705745601869278468657818824332678280222331867/523216105665547854724\ 9504200539949511683363664206851032413768147510133176120268919820241\ 4951692943574806573407223418601154488653641094273778140044297605484\ 890334440283478433784*c_1001_15^5 + 1056729551422968859908066682158179586394884286807494627438660754257\ 2616543038428710336932970913295495917956691598657801281706026626797\ 1891407441432686383844635631994074889805120555/41857288453243828377\ 9960336043195960934669093136548082593101451800810654089621513585619\ 3196135435485984525872577873488092359092291287541902251203543808438\ 79122675522267827470272*c_1001_15^4 - 1732985909558716605034156154403950119190834691859566130950306814772\ 5142576284937459452328622935938706124393969459370724191467333235904\ 541502903712699978687470697534807982644358375/209286442266219141889\ 9801680215979804673345465682740412965507259004053270448107567928096\ 5980677177429922629362889367440461795461456437709511256017719042193\ 9561337761133913735136*c_1001_15^3 - 5956152332574743558087417509819463272469392028809971319635830725629\ 0692230432275945609870909957844661896213636919501427569694738692945\ 8435492172710787460047519926741735721443479/52321610566554785472495\ 0420053994951168336366420685103241376814751013317612026891982024149\ 5169294357480657340722341860115448865364109427377814004429760548489\ 0334440283478433784*c_1001_15^2 + 436411564609293526769566208101593\ 6367434991491270120177842834911696716566900949453042490898580771535\ 3241275794353005984251739595438200103844247918388856855477970202913\ 869425467/654020132081934818406188025067493688960420458025856379051\ 7210184387666470150336149775301868961617946850821675902927325144311\ 081705136784222267505537200685611291805035434804223*c_1001_15 - 5171110876614620634863155291069991320432421005187486271621091075247\ 5750561337324556365521905933474937134936767995254071742399588022913\ 13957036343825658643091706879244091544523/6540201320819348184061880\ 2506749368896042045802585637905172101843876664701503361497753018689\ 6161794685082167590292732514431108170513678422226750553720068561129\ 1805035434804223, c_0101_11 + 23678142918052207948360384252018004099138391158262002243042\ 9776063504597866246481470667813530760452139629331824237818240908406\ 5530681133506643081549077073093790264041522373/42861863376121680259\ 0679384108232663997101151371825236575335886644030109787772429911674\ 1832842685937648154493519742451806575710506278442907905232428859841\ 32221619734802255329558528*c_1001_15^27 - 1206671492791162311452535614975964828377008510897156625317422492759\ 8463877361421604384781828271317184952297263266883602690711540570855\ 4587989329575667336812188277393942266041/17144745350448672103627175\ 3643293065598840460548730094630134354657612043915108971964669673313\ 7074375059261797407896980722630284202511377163162092971543936528886\ 478939209021318234112*c_1001_15^26 + 7681875493040206741485166545316776267274000635679155898979591410851\ 6741131998211199738386412910790815707970483525757825809486153265042\ 39606597611515406325128076291285702022919/6857898140179468841450870\ 1457317226239536184219492037852053741863044817566043588785867869325\ 4829750023704718963158792289052113681004550865264837188617574611554\ 5915756836085272936448*c_1001_15^25 - 1727640753527270230218334906256375547248272454041076831208191581165\ 1705353248784252513603768717272000129399927020015772171298542435408\ 1966232017252507362129083397154777362141187/13715796280358937682901\ 7402914634452479072368438984075704107483726089635132087177571735738\ 6509659500047409437926317584578104227362009101730529674377235149223\ 1091831513672170545872896*c_1001_15^24 + 7036027054838070412548513875568578568600713113242261736419641424961\ 8855798667075780082944550805115485034455793768953200747709160679194\ 2751437146733427795244442606150484748138093/68578981401794688414508\ 7014573172262395361842194920378520537418630448175660435887858678693\ 2548297500237047189631587922890521136810045508652648371886175746115\ 545915756836085272936448*c_1001_15^23 - 2202027243217284332023795354080373566739695524789638736363579628333\ 9379936106487697349315341309449614685767729730723052531693248950962\ 77125398052740100396644999388139409128614973/3428949070089734420725\ 4350728658613119768092109746018926026870931522408783021794392933934\ 6627414875011852359481579396144526056840502275432632418594308787305\ 7772957878418042636468224*c_1001_15^22 + 2514923210424176730313638160590971324527407705500813182968977659369\ 1849437420763426818947355641850775876353608093946833853995410990219\ 825881333930964724665689761960141857340809357/685789814017946884145\ 0870145731722623953618421949203785205374186304481756604358878586786\ 9325482975002370471896315879228905211368100455086526483718861757461\ 15545915756836085272936448*c_1001_15^21 - 4336481743157694732135782442835594297278399261236934616320579535590\ 2063151345680779745924439148053352581370413830650298822711388426735\ 552046810847655630286798590065222414929744443/171447453504486721036\ 2717536432930655988404605487300946301343546576120439151089719646696\ 7331370743750592617974078969807226302842025113771631620929715439365\ 28886478939209021318234112*c_1001_15^20 + 9125394282167392135222182589630854002791683242425502419520184046728\ 6290852581468304860620533697394029108839755487622851102952795000339\ 5728191448829887650166670510019882705511801987/68578981401794688414\ 5087014573172262395361842194920378520537418630448175660435887858678\ 6932548297500237047189631587922890521136810045508652648371886175746\ 115545915756836085272936448*c_1001_15^19 - 3675769845394318352615742152893861184247025858975062154654956416346\ 7274116465343674071451124355271233258313984382900331034450174534466\ 41308267830882077964403012047446027492873046949/6857898140179468841\ 4508701457317226239536184219492037852053741863044817566043588785867\ 8693254829750023704718963158792289052113681004550865264837188617574\ 6115545915756836085272936448*c_1001_15^18 + 3663057213027431745382380214108528116477741984344236602256704078713\ 8943028478009415452493125379866785408151230123969768129219794855702\ 005951732096651463159134135414415707857620011989/137157962803589376\ 8290174029146344524790723684389840757041074837260896351320871775717\ 3573865096595000474094379263175845781042273620091017305296743772351\ 492231091831513672170545872896*c_1001_15^17 - 1530677912958719105939128300028512925403625937064330502662278536418\ 3477661716082678987907521716171780629253621097590584143717879375903\ 9232756940779435780769503348475381745533035553305/13715796280358937\ 6829017402914634452479072368438984075704107483726089635132087177571\ 7357386509659500047409437926317584578104227362009101730529674377235\ 1492231091831513672170545872896*c_1001_15^16 + 4514716443403134370084757637452264673861383597705786270509878604878\ 9843485030083902169328123797168567291387318061156073591157075293994\ 6507756605676467555439726355797310842513591340833/13715796280358937\ 6829017402914634452479072368438984075704107483726089635132087177571\ 7357386509659500047409437926317584578104227362009101730529674377235\ 1492231091831513672170545872896*c_1001_15^15 - 1120012154607888165262905376628583595312312590440873296882958152140\ 3043928220133057883809430825765943244173732307544596101040009495621\ 347775641709960822612210784431907340827619180389/107154658440304200\ 6476698460270581659992752878429563091438339716610075274469431074779\ 1854582106714844120386233799356129516439276265696107269763081072149\ 6033055404933700563832389632*c_1001_15^14 + 4079387828307030615224512280938527419135928651183173358379156168101\ 8528221199189442783895604010376891666658160481021244212983777939031\ 24300505868572264626115441288317165923744507415567/1371579628035893\ 7682901740291463445247907236843898407570410748372608963513208717757\ 1735738650965950004740943792631758457810422736200910173052967437723\ 51492231091831513672170545872896*c_1001_15^13 - 7678807851312434772950179379024605626712797559598924183219269666287\ 0837990320020513321982756664854801432904329330773188902184005732494\ 21232433765082842704826936596906353676149213544723/1371579628035893\ 7682901740291463445247907236843898407570410748372608963513208717757\ 1735738650965950004740943792631758457810422736200910173052967437723\ 51492231091831513672170545872896*c_1001_15^12 + 9443037287903410692438905613223826919700926280254235403445525501796\ 7607589001078783743375458263832260429128868215982461440747358515039\ 52703955803400257851896066136954461219994765743127/1371579628035893\ 7682901740291463445247907236843898407570410748372608963513208717757\ 1735738650965950004740943792631758457810422736200910173052967437723\ 51492231091831513672170545872896*c_1001_15^11 - 1049497193405053962021817394856717727630998582981794416721857053830\ 8225372118865004461253785870536350244876972594920095028907979610187\ 9570889844112141475884480641982528758341026317993/34289490700897344\ 2072543507286586131197680921097460189260268709315224087830217943929\ 3393466274148750118523594815793961445260568405022754326324185943087\ 873057772957878418042636468224*c_1001_15^10 - 4208288514027550042424707410139139273247245466046487871383020983502\ 5279679995883084162351195702385092390030810357635417848544143558421\ 0861124450049502748279176166719835769643335656101/42861863376121680\ 2590679384108232663997101151371825236575335886644030109787772429911\ 6741832842685937648154493519742451806575710506278442907905232428859\ 84132221619734802255329558528*c_1001_15^9 - 3070265839564667879621997497199847643816345984126653271548803716323\ 0305359853135986915680116636420800683222796927058530685933723741186\ 1781750627556112805305394927877843526653426726503/42861863376121680\ 2590679384108232663997101151371825236575335886644030109787772429911\ 6741832842685937648154493519742451806575710506278442907905232428859\ 84132221619734802255329558528*c_1001_15^8 + 5819833192972900713683431946820962403325077785163834898396960419853\ 2341462862137165466387261118336838261314930164383888973539168227028\ 102076863738698965786663447780453522691507048471/535773292201521003\ 2383492301352908299963764392147815457191698583050376372347155373895\ 9272910533574220601931168996780647582196381328480536348815405360748\ 016527702466850281916194816*c_1001_15^7 + 1324189881942055730224233045895213236433707741421798892072009612741\ 2921187557922075231892665159903843328768465130455378148608819164634\ 34552460808475233050640897473542524651943576177/2678866461007605016\ 1917461506764541499818821960739077285958492915251881861735776869479\ 6364552667871103009655844983903237910981906642402681744077026803740\ 08263851233425140958097408*c_1001_15^6 - 1945819020260489678969139941214576677830926317811514146497000281985\ 2706981046275073729674804102467816450175523407126386611901462377561\ 18282401444754877078953636640355531834840495477/6697166152519012540\ 4793653766911353749547054901847693214896232288129704654339442173699\ 0911381669677757524139612459758094777454766606006704360192567009350\ 2065962808356285239524352*c_1001_15^5 + 1383516580480287775558957340957176091582698259754623897683731502175\ 5987946895419009410307293403820633060125872639273914233775368757184\ 246340245533102400786448599707553218989727469/837145769064876567559\ 9206720863919218693381862730961651862029036016213081792430271712386\ 3922708709719690517451557469761847181845825750838045024070876168775\ 8245351044535654940544*c_1001_15^4 + 1797833745786598968401679888382596404845967070551490941542905461191\ 6085439469244729291831636307183574067440011437159156815764624577973\ 300777700830977430311423910823313847805659979/418572884532438283779\ 9603360431959609346690931365480825931014518008106540896215135856193\ 1961354354859845258725778734880923590922912875419022512035438084387\ 9122675522267827470272*c_1001_15^3 - 5815278280319762012808143280843423668363244559211924058924703780006\ 3770678266375256690119015297061456214956077505303077302009374626847\ 2227473867968718183425285180695553976650373/52321610566554785472495\ 0420053994951168336366420685103241376814751013317612026891982024149\ 5169294357480657340722341860115448865364109427377814004429760548489\ 0334440283478433784*c_1001_15^2 - 863561829279170830609198919562547\ 6183304600558466096403678318434492224408499246584954948771563593082\ 5689399252117925764628670973567680684936107632687239687222269557643\ 550448711/261608052832773927362475210026997475584168183210342551620\ 6884073755066588060134459910120747584647178740328670361170930057724\ 4326820547136889070022148802742445167220141739216892*c_1001_15 + 6222452271344888370795840832226863802315001396185031150013163825223\ 2513740171437035551317444562809656211517492926621724918297483472359\ 74641485185251338982221073582878601232314/6540201320819348184061880\ 2506749368896042045802585637905172101843876664701503361497753018689\ 6161794685082167590292732514431108170513678422226750553720068561129\ 1805035434804223, c_0101_12 + 25952687880132271116992601034561186805639677575048284130031\ 3014479560210233267951862989537116513725697658482055742454654968108\ 155804238745011401623553577081566553023650498885/171447453504486721\ 0362717536432930655988404605487300946301343546576120439151089719646\ 6967331370743750592617974078969807226302842025113771631620929715439\ 36528886478939209021318234112*c_1001_15^27 - 8131280914615393755812497791603366167656346881550884557172832718328\ 8698570864835166100584353337002257265467668404543356321232045465161\ 69079994953077119065666846625018988280459/6857898140179468841450870\ 1457317226239536184219492037852053741863044817566043588785867869325\ 4829750023704718963158792289052113681004550865264837188617574611554\ 5915756836085272936448*c_1001_15^26 + 6843194175607163923008321072943601457811655102111040202213075225221\ 7681676401804728751512202809051039746637503365058381028397642763548\ 7350861612688749114811708814760711720836437/27431592560717875365803\ 4805829268904958144736877968151408214967452179270264174355143471477\ 3019319000094818875852635169156208454724018203461059348754470298446\ 2183663027344341091745792*c_1001_15^25 - 3062321905874684774488548106910611714890726378081427662575414489190\ 2476740945109028685248028313668073411374981791390629777419579676133\ 51961740605394979003973790965652916464259231/1371579628035893768290\ 1740291463445247907236843898407570410748372608963513208717757173573\ 8650965950004740943792631758457810422736200910173052967437723514922\ 31091831513672170545872896*c_1001_15^24 + 5922742511046290100640712332370847014404654114357915306077255144203\ 0281313762395699425705522289540328382547147546058313050361412526971\ 83827230822299806442036411906105181020486511/3428949070089734420725\ 4350728658613119768092109746018926026870931522408783021794392933934\ 6627414875011852359481579396144526056840502275432632418594308787305\ 7772957878418042636468224*c_1001_15^23 - 1265053400958456111105520134394779455042947584095341472332307834175\ 4600457119670729412452867412743359937525036968752670992920816828788\ 3144038897872785181391151579608485599055487971/13715796280358937682\ 9017402914634452479072368438984075704107483726089635132087177571735\ 7386509659500047409437926317584578104227362009101730529674377235149\ 2231091831513672170545872896*c_1001_15^22 + 3841633538306424140670869838874748131731232608635596137606702321903\ 8917025690818259669061317857728873121724892143527469009961402964960\ 6348768018019219514951928939699253508946097119/68578981401794688414\ 5087014573172262395361842194920378520537418630448175660435887858678\ 6932548297500237047189631587922890521136810045508652648371886175746\ 115545915756836085272936448*c_1001_15^21 - 5793061828408439288983843643670767152617847918549611823664836831492\ 4373268068042405601088738083734367935488850621235750458948773984911\ 40307658279899271993903279547910992717902654577/1371579628035893768\ 2901740291463445247907236843898407570410748372608963513208717757173\ 5738650965950004740943792631758457810422736200910173052967437723514\ 92231091831513672170545872896*c_1001_15^20 + 5482793564455769047358578591012378870883810386165249305116831410197\ 2719977679253235924110025659958822276309531380400781971997001165686\ 95651093849103294693915348245480246932406259217/3428949070089734420\ 7254350728658613119768092109746018926026870931522408783021794392933\ 9346627414875011852359481579396144526056840502275432632418594308787\ 3057772957878418042636468224*c_1001_15^19 - 1929563047333334831829068670888975424118421069545187372072864463503\ 2851114345916857136094554277625232689291454523736880112022819928335\ 4785697340829263474985946261502307222611014901273/27431592560717875\ 3658034805829268904958144736877968151408214967452179270264174355143\ 4714773019319000094818875852635169156208454724018203461059348754470\ 2984462183663027344341091745792*c_1001_15^18 + 1080185227171465734048892828002124878371881993613818427101200080479\ 2982930917122191654111694254330377756559383093059614275116012955530\ 03679474762475636276077573988271018505383711833521/2743159256071787\ 5365803480582926890495814473687796815140821496745217927026417435514\ 3471477301931900009481887585263516915620845472401820346105934875447\ 02984462183663027344341091745792*c_1001_15^17 - 3174512314272023394582858896788519864336409047417652431481955976308\ 9335279319394650761008586194986578397495901964921168940050687138965\ 01863981581018782321549348205569354455082283000367/2743159256071787\ 5365803480582926890495814473687796815140821496745217927026417435514\ 3471477301931900009481887585263516915620845472401820346105934875447\ 02984462183663027344341091745792*c_1001_15^16 + 4827336132968539949094540351182052803299144622024356256769560811136\ 0041324954998921069382252918440041986267771710079764404775630973753\ 95168668149171960247011880237321335632632278969775/1371579628035893\ 7682901740291463445247907236843898407570410748372608963513208717757\ 1735738650965950004740943792631758457810422736200910173052967437723\ 51492231091831513672170545872896*c_1001_15^15 - 3258582564092647937815148586200347854836445165562129773441775642161\ 8680502206523616047396417647185098160705703919091967544820033661870\ 894530650531283315346807009874906551610923122580363/274315925607178\ 7536580348058292689049581447368779681514082149674521792702641743551\ 4347147730193190000948188758526351691562084547240182034610593487544\ 702984462183663027344341091745792*c_1001_15^14 + 6790309026874894571217767345472682868385211362612072737347019468592\ 5351628985757899071999757354573996088555069921091674200589240876398\ 223135418916523733607006997141572421254155217332395/274315925607178\ 7536580348058292689049581447368779681514082149674521792702641743551\ 4347147730193190000948188758526351691562084547240182034610593487544\ 702984462183663027344341091745792*c_1001_15^13 - 1020328888528768758275598569029067266561534159390150627236064886098\ 8639268925226600035337176102277512346397063840598859719719465138861\ 1064657626846455910218202446648334310941537266489277/27431592560717\ 8753658034805829268904958144736877968151408214967452179270264174355\ 1434714773019319000094818875852635169156208454724018203461059348754\ 4702984462183663027344341091745792*c_1001_15^12 + 1143539002282259395722233194920058030602296017286740707682014199855\ 6504441121305139982693007111660496444641772145878669169350792081871\ 966686380715259164086297683204689101309067601484851/685789814017946\ 8841450870145731722623953618421949203785205374186304481756604358878\ 5867869325482975002370471896315879228905211368100455086526483718861\ 75746115545915756836085272936448*c_1001_15^11 + 1250425441528289607769099538278117896650533027863186423148225160170\ 5892158503666780487526679810916676131658030139686664102496408097081\ 54720924895433019720366526277416295020605433853691/2143093168806084\ 0129533969205411633199855057568591261828766794332201505489388621495\ 5837091642134296882407724675987122590328785525313922145395261621442\ 992066110809867401127664779264*c_1001_15^10 + 1131996153354505484997740831872339720337000794418739368911065521404\ 4220578795831888615258005958015500029875543978503860489615787187318\ 5943033483181652643595435540589833512566570165013/53577329220152100\ 3238349230135290829996376439214781545719169858305037637234715537389\ 5927291053357422060193116899678064758219638132848053634881540536074\ 8016527702466850281916194816*c_1001_15^9 - 1330833971175345685403011394596310237422001512369788723339313380746\ 3494854099598898626862242166741053675142492711437423531442958174319\ 17047219586990479227782663325621005627602035838595/2143093168806084\ 0129533969205411633199855057568591261828766794332201505489388621495\ 5837091642134296882407724675987122590328785525313922145395261621442\ 992066110809867401127664779264*c_1001_15^8 + 8180776100053223513485987465318541266584659578950832530430618897537\ 9835780777029421635843337264100762688411683416403327181636117804510\ 97772162345301941340246166919412023274021682307/1339433230503802508\ 0958730753382270749909410980369538642979246457625940930867888434739\ 8182276333935551504827922491951618955490953321201340872038513401870\ 04131925616712570479048704*c_1001_15^7 + 2097604025245322501294844500631214395750223517651279160798488198134\ 5317351494426791684505679222938903654265612794645063921266540948379\ 482841168955090759455259096991143906215711259793/133943323050380250\ 8095873075338227074990941098036953864297924645762594093086788843473\ 9818227633393555150482792249195161895549095332120134087203851340187\ 004131925616712570479048704*c_1001_15^6 - 1144280165057098651644900711955980226279832573779678226602088987370\ 7211263674184186626900447008984908008029986920077712571119086952506\ 65230983492771515330050501409512302723102313517/3348583076259506270\ 2396826883455676874773527450923846607448116144064852327169721086849\ 5455690834838878762069806229879047388727383303003352180096283504675\ 1032981404178142619762176*c_1001_15^5 - 1893350881905956777596625570293321197879650409139964218886062117746\ 1631474922684268544791289764945501363832510577939998367393664155271\ 564693719204218899795765091738213041751448069/104643221133109570944\ 9900840107989902336672732841370206482753629502026635224053783964048\ 2990338588714961314681444683720230897730728218854755628008859521096\ 9780668880566956867568*c_1001_15^4 + 1762959772641558024142269415361078354766485653911679162780257490080\ 3847247409277885830464841842446595838863977268000846709565968637180\ 885701590681026269491162490455260227883555455/209286442266219141889\ 9801680215979804673345465682740412965507259004053270448107567928096\ 5980677177429922629362889367440461795461456437709511256017719042193\ 9561337761133913735136*c_1001_15^3 + 3293206931640111185980806982017075192777142716020382627277082023553\ 6570018132967512404772269250581108757795315300732330979859746655287\ 97649809532177593880318563895584136253535/1308040264163869636812376\ 0501349873779208409160517127581034420368775332940300672299550603737\ 9232358937016433518058546502886221634102735684445350110744013712225\ 83610070869608446*c_1001_15^2 - 97959641763132553773524975423928138\ 7355402556046883830657863935857516122168259854905795165832745931941\ 9852162854479874995479407693147859070807139429421644100050285692536\ 8893405/13080402641638696368123760501349873779208409160517127581034\ 4203687753329403006722995506037379232358937016433518058546502886221\ 63410273568444535011074401371222583610070869608446*c_1001_15 + 4776789173762524822209218201941164252248111126634174793452988126030\ 1658605327902871613592018423466707715561142183983345215788366738036\ 24465256456201840341073579003262319055696/6540201320819348184061880\ 2506749368896042045802585637905172101843876664701503361497753018689\ 6161794685082167590292732514431108170513678422226750553720068561129\ 1805035434804223, c_0101_13 - 46696055229582080675529035356240626193646610220559826025568\ 4716197507096705226870510815647135955850924116578741216915732884438\ 770179947099738718850216394810044799215570413429/342894907008973442\ 0725435072865861311976809210974601892602687093152240878302179439293\ 3934662741487501185235948157939614452605684050227543263241859430878\ 73057772957878418042636468224*c_1001_15^27 + 1379787661993078140012546906871187973228431681868080541317588887622\ 2532964836512763762803688771814104304209177347200248757947353226451\ 348621976856431700244448206524135207600787/137157962803589376829017\ 4029146344524790723684389840757041074837260896351320871775717357386\ 5096595000474094379263175845781042273620091017305296743772351492231\ 091831513672170545872896*c_1001_15^26 - 1205643957395675498359286548098944776702747588919186065058411740489\ 6229899257737206444197553850132326092346037539684434922752557967216\ 77993532340823382809522457124682284127097421/5486318512143575073160\ 6961165853780991628947375593630281642993490435854052834871028694295\ 4603863800018963775170527033831241690944803640692211869750894059689\ 24367326054688682183491584*c_1001_15^25 + 2618660916611107254354350453409134373629819543229792797026716948290\ 4601398241196917336528052604260660586411940772012828328168519412502\ 88946266105717322089872526425516774412334187/1371579628035893768290\ 1740291463445247907236843898407570410748372608963513208717757173573\ 8650965950004740943792631758457810422736200910173052967437723514922\ 31091831513672170545872896*c_1001_15^24 - 2010387240223631428798320503485022184161011108195515725324524486926\ 8860785073880658972220106742517380178812288339959587657745514472643\ 183168410939971174006171017922048586224071153/137157962803589376829\ 0174029146344524790723684389840757041074837260896351320871775717357\ 3865096595000474094379263175845781042273620091017305296743772351492\ 231091831513672170545872896*c_1001_15^23 + 2089507060585722831017205934735311427983238924017198516559637550734\ 9461747878545331812189467880182088608075721626411719493480631387133\ 6538924113290059672535093423651657490003298515/27431592560717875365\ 8034805829268904958144736877968151408214967452179270264174355143471\ 4773019319000094818875852635169156208454724018203461059348754470298\ 4462183663027344341091745792*c_1001_15^22 - 5013880205529960223737032980302088008455116507501831493070568213629\ 8127467275285179211824525138320663921651446829640410541530268642157\ 08662476630127538518549296802589471694107855/1071546584403042006476\ 6984602705816599927528784295630914383397166100752744694310747791854\ 5821067148441203862337993561295164392762656961072697630810721496033\ 055404933700563832389632*c_1001_15^21 + 9820932126349267723639606135458340777345758724183778519335299489414\ 9912400421231381147828757049842934673692662812514518518481805172312\ 96568565894778165744200603709012361621364337405/2743159256071787536\ 5803480582926890495814473687796815140821496745217927026417435514347\ 1477301931900009481887585263516915620845472401820346105934875447029\ 84462183663027344341091745792*c_1001_15^20 - 1744906046372987555100260628720233756980162433580919060261429734447\ 8016842991916232938479386486266717620218118218198712145731885423205\ 027998549654520030908691010595281840112164028389/137157962803589376\ 8290174029146344524790723684389840757041074837260896351320871775717\ 3573865096595000474094379263175845781042273620091017305296743772351\ 492231091831513672170545872896*c_1001_15^19 + 3132658183588841869905337187761038747816745736236251998593716726197\ 5752526676437308950793973164064687837765544873518318724317613418171\ 5635089076802062697045993261498742324843361296873/54863185121435750\ 7316069611658537809916289473755936302816429934904358540528348710286\ 9429546038638000189637751705270338312416909448036406922118697508940\ 5968924367326054688682183491584*c_1001_15^18 - 1793605488329542948305674732502701973591132839709296110107709357528\ 7875669666051496245065046144467895498527879457251950190516648098826\ 16313274185372146994156323405992093454120462953127/5486318512143575\ 0731606961165853780991628947375593630281642993490435854052834871028\ 6942954603863800018963775170527033831241690944803640692211869750894\ 05968924367326054688682183491584*c_1001_15^17 + 4866705140808079594840504613179075125540325670216182562133358522954\ 7941623740538764251804944846070042259081094053662862891699103168148\ 84867866046893673201539576862625493567017460516717/5486318512143575\ 0731606961165853780991628947375593630281642993490435854052834871028\ 6942954603863800018963775170527033831241690944803640692211869750894\ 05968924367326054688682183491584*c_1001_15^16 - 4669835240558511890498121496504858976299595511648399184911815983276\ 7726788561003360234499061019406437270006423256909455739336212446011\ 2223281490174901475357574648324898023686789684069/17144745350448672\ 1036271753643293065598840460548730094630134354657612043915108971964\ 6696733137074375059261797407896980722630284202511377163162092971543\ 936528886478939209021318234112*c_1001_15^15 + 5123734634144983500016123973250359646269231695675423490321607278842\ 7146716106104391643577470296024431977378989773880082891108031974957\ 735589660146872000005770261528886654668817381206135/548631851214357\ 5073160696116585378099162894737559363028164299349043585405283487102\ 8694295460386380001896377517052703383124169094480364069221186975089\ 405968924367326054688682183491584*c_1001_15^14 - 9711228292685584239323628968710390866071865379980669520004807708884\ 4820140111028619715769086114225300641551006735362042094221993400794\ 861193418662678684050245204388758367076408267003325/548631851214357\ 5073160696116585378099162894737559363028164299349043585405283487102\ 8694295460386380001896377517052703383124169094480364069221186975089\ 405968924367326054688682183491584*c_1001_15^13 + 1327195010649670200329788743508020047548261722055665676802490946656\ 6357965940013694871636538489592628759860802812570995382260490328430\ 8489718635384397155295172608526023608765527589575751/54863185121435\ 7507316069611658537809916289473755936302816429934904358540528348710\ 2869429546038638000189637751705270338312416909448036406922118697508\ 9405968924367326054688682183491584*c_1001_15^12 - 4020097263238509004113943631952193798837574579194599788281010039976\ 9225476748941024648432476532301917009374817687315368778811126743696\ 71870499135619773821127072972267834897357786751465/2743159256071787\ 5365803480582926890495814473687796815140821496745217927026417435514\ 3471477301931900009481887585263516915620845472401820346105934875447\ 02984462183663027344341091745792*c_1001_15^11 - 9781346812307033007747401075724240981702622996126703931934702468528\ 1996964781658533951787209035808503693696561733570827179399912283311\ 74198843194456435431848256028267241021818170715037/1714474535044867\ 2103627175364329306559884046054873009463013435465761204391510897196\ 4669673313707437505926179740789698072263028420251137716316209297154\ 3936528886478939209021318234112*c_1001_15^10 - 3728382082513948019447193620552687219973224298721435339334930925314\ 4971498867580264372482781582450802632837399302693962259344565085280\ 50058659003812342686795610227502474403819411305939/8572372675224336\ 0518135876821646532799420230274365047315067177328806021957554485982\ 3348366568537187529630898703948490361315142101255688581581046485771\ 968264443239469604510659117056*c_1001_15^9 + 2380736370281339104737839049769628348216335796396240246719855116174\ 8261842370224293958613741375129139477819846295957780198787494192356\ 5309314357963941396366182845132070832097195704385/53577329220152100\ 3238349230135290829996376439214781545719169858305037637234715537389\ 5927291053357422060193116899678064758219638132848053634881540536074\ 8016527702466850281916194816*c_1001_15^8 + 1972669134241633213576958774162458372859557935716633235457226376879\ 5178483095391495341299531858200308524757828559800793040188235435760\ 9491884954376670598575944645148078019867353109457/10715465844030420\ 0647669846027058165999275287842956309143833971661007527446943107477\ 9185458210671484412038623379935612951643927626569610726976308107214\ 96033055404933700563832389632*c_1001_15^7 - 3644193492787266189246781110846940614800753127222735732796415323833\ 7800268012781808310250081176469705586042134660910365302485923115105\ 186346848519746473928140800597204996443801365253/267886646100760501\ 6191746150676454149981882196073907728595849291525188186173577686947\ 9636455266787110300965584498390323791098190664240268174407702680374\ 008263851233425140958097408*c_1001_15^6 - 3562847424920082850135229141471050567029583795126443023021110690736\ 3482135938352825050149613078521298101530931719585498447274590781388\ 1222939259267372458385368913697463978498210837/83714576906487656755\ 9920672086391921869338186273096165186202903601621308179243027171238\ 6392270870971969051745155746976184718184582575083804502407087616877\ 58245351044535654940544*c_1001_15^5 + 3639635965067401498334014184143903816498459751548349288997952271599\ 9915781523170144392386204223463063839938134899064712481151985823389\ 0202090317148689641100465528581331168720568087/16742915381297531351\ 1984134417278384373867637254619233037240580720324261635848605434247\ 7278454174194393810349031149395236943636916515016760900481417523375\ 516490702089071309881088*c_1001_15^4 + 5267650555519016809183090798647309036449551214700795011558384878637\ 4209009960884002157144520891601972829066351362661315511382034298328\ 10133074453576659512521093921136751572945253/2092864422662191418899\ 8016802159798046733454656827404129655072590040532704481075679280965\ 9806771774299226293628893674404617954614564377095112560177190421939\ 561337761133913735136*c_1001_15^3 - 2775944339320991809756870721528551637967049404076670191663528442151\ 1670812280274374264240820954819853760788811718785944458640748280017\ 24637954625887794230555507954415154155318081/1046432211331095709449\ 9008401079899023366727328413702064827536295020266352240537839640482\ 9903385887149613146814446837202308977307282188547556280088595210969\ 780668880566956867568*c_1001_15^2 - 8704054468574591400257656075202494857003316677661487501403161377298\ 4999569249937812439770267693263563416153611324946106349027848843786\ 60955757694396528585895470600762444831637/2616080528327739273624752\ 1002699747558416818321034255162068840737550665880601344599101207475\ 8464717874032867036117093005772443268205471368890700221488027424451\ 67220141739216892*c_1001_15 + 1422134545254879490851945532177949045\ 4137556588517988564282127255368304412208015858789812043297651768095\ 9473349483589944914891954583379844132510002603419673802751622656064\ 21933/6540201320819348184061880250674936889604204580258563790517210\ 1843876664701503361497753018689616179468508216759029273251443110817\ 05136784222267505537200685611291805035434804223, c_0101_4 - 634045300644120028589864915713382556701919743029210853830447\ 3056825993835645798497533883016731882569442947452370186811437477614\ 14391541749977710615801050574969342227619439629/6857898140179468841\ 4508701457317226239536184219492037852053741863044817566043588785867\ 8693254829750023704718963158792289052113681004550865264837188617574\ 6115545915756836085272936448*c_1001_15^27 + 1985355805642098394275100314192966811428675292262524612118581583185\ 5646856673062335737513652581850962080388521279851801788640535701930\ 746111924737092065291158239381456105173971/274315925607178753658034\ 8058292689049581447368779681514082149674521792702641743551434714773\ 0193190000948188758526351691562084547240182034610593487544702984462\ 183663027344341091745792*c_1001_15^26 - 1672327938473154729793898792925464748718244131861929498367860877565\ 4990051622205182173164724657644446645388598972787293146036612498387\ 51910077482990119441942886654431159093732365/1097263702428715014632\ 1392233170756198325789475118726056328598698087170810566974205738859\ 0920772760003792755034105406766248338188960728138442373950178811937\ 848734652109377364366983168*c_1001_15^25 + 7480893940141705442514475911070934506442142335154740961959485357929\ 3826998366645643799824465701275123548465080873723808952984571159194\ 71633083836650434973838230331261643907480329/5486318512143575073160\ 6961165853780991628947375593630281642993490435854052834871028694295\ 4603863800018963775170527033831241690944803640692211869750894059689\ 24367326054688682183491584*c_1001_15^24 - 7239243973559462599805987569454854113431382010145389029170389829184\ 8228520419518971554413208308739734030347473767513512231885681066309\ 23624167950490949517384211363590396898865749/6857898140179468841450\ 8701457317226239536184219492037852053741863044817566043588785867869\ 3254829750023704718963158792289052113681004550865264837188617574611\ 5545915756836085272936448*c_1001_15^23 + 3094142212023419442175543798388593403753074117248890955199227230734\ 3457586453923821829830362088228252739692007669594983804058926571968\ 1259921859612894176832923986515802504825659019/54863185121435750731\ 6069611658537809916289473755936302816429934904358540528348710286942\ 9546038638000189637751705270338312416909448036406922118697508940596\ 8924367326054688682183491584*c_1001_15^22 - 9402268038587755355695397906040617936105601904736405531006996718051\ 7727442753192386016015388116457239689821210006126968228274459590302\ 0581630892362011847443800685084353086111819637/27431592560717875365\ 8034805829268904958144736877968151408214967452179270264174355143471\ 4773019319000094818875852635169156208454724018203461059348754470298\ 4462183663027344341091745792*c_1001_15^21 + 1416977380395230207753401252412603184105349024372925793979735049281\ 1711385654486345026381809702099995733969590781790764947495957398277\ 813959051244990663440431730314164069136993153841/548631851214357507\ 3160696116585378099162894737559363028164299349043585405283487102869\ 4295460386380001896377517052703383124169094480364069221186975089405\ 968924367326054688682183491584*c_1001_15^20 - 6708722223362978083929312533646731570931856296927282044133855643714\ 1631597284029106297739055187673632410604832757544552199201436614134\ 07412942747721549236674655650410269739542826151/6857898140179468841\ 4508701457317226239536184219492037852053741863044817566043588785867\ 8693254829750023704718963158792289052113681004550865264837188617574\ 6115545915756836085272936448*c_1001_15^19 + 4732640064736452006839742800416695053827038175732418452189974031567\ 0696599788888733425406116681147458035335678840617457614417015953245\ 2435994236828521197624478829545766900766611671073/10972637024287150\ 1463213922331707561983257894751187260563285986980871708105669742057\ 3885909207727600037927550341054067662483381889607281384423739501788\ 11937848734652109377364366983168*c_1001_15^18 - 2645618030468041369367028541755128094772314617702423205901182855705\ 4953451338183744499408549866731431611770392472245916593485213298341\ 41657439642413276573011313154941288723868342511053/1097263702428715\ 0146321392233170756198325789475118726056328598698087170810566974205\ 7388590920772760003792755034105406766248338188960728138442373950178\ 811937848734652109377364366983168*c_1001_15^17 + 7782560804707218177367037392000356441028053848434998113126557953764\ 8293793024518557520322147760338499585194620847439280785283824222972\ 76935198378454902468426103278123707752970705114651/1097263702428715\ 0146321392233170756198325789475118726056328598698087170810566974205\ 7388590920772760003792755034105406766248338188960728138442373950178\ 811937848734652109377364366983168*c_1001_15^16 - 1188532550958204866198339186645133476020366234138589339105635894594\ 9366542440261491928352277906121673830218111541215187289638248865943\ 543467408106285036905104141974781029760608197347581/548631851214357\ 5073160696116585378099162894737559363028164299349043585405283487102\ 8694295460386380001896377517052703383124169094480364069221186975089\ 405968924367326054688682183491584*c_1001_15^15 + 8013876681897163152692203109360686031697136406210434241359079614506\ 7537295082916833934611524923727970204939854590516509285216426761196\ 144243937711839363010629527037582325077717969752667/109726370242871\ 5014632139223317075619832578947511872605632859869808717081056697420\ 5738859092077276000379275503410540676624833818896072813844237395017\ 8811937848734652109377364366983168*c_1001_15^14 - 1674936275179853693300993520162150996907112238878888992239137554265\ 7633311308286775657454101345651222808947702702333212355442660806604\ 3075693934076705315661031703583030168004181154319423/10972637024287\ 1501463213922331707561983257894751187260563285986980871708105669742\ 0573885909207727600037927550341054067662483381889607281384423739501\ 78811937848734652109377364366983168*c_1001_15^13 + 2551445934838329155892688340860189707169885076494553612918916973891\ 4516598841257193660317084975655766276376284570517529310693702390273\ 9808182707003119442705418735109220021284947270523233/10972637024287\ 1501463213922331707561983257894751187260563285986980871708105669742\ 0573885909207727600037927550341054067662483381889607281384423739501\ 78811937848734652109377364366983168*c_1001_15^12 - 7771730461494654189314288522091545565265972365257553577403140042793\ 6301117563731197967153107821044202802569276768414386822743638740285\ 09365730564409130564012295587692348140353884217651/6857898140179468\ 8414508701457317226239536184219492037852053741863044817566043588785\ 8678693254829750023704718963158792289052113681004550865264837188617\ 5746115545915756836085272936448*c_1001_15^11 - 2314386709607796427829749238564548794834730113155019307088233655333\ 9550161884393333374952208165889057672285502203564968633089223060793\ 631475817758193932334906700617493099370536162340501/685789814017946\ 8841450870145731722623953618421949203785205374186304481756604358878\ 5867869325482975002370471896315879228905211368100455086526483718861\ 75746115545915756836085272936448*c_1001_15^10 - 6020154155601581079110065175349998694364648483570519500722234392823\ 5032335056134047527707052338369383776518816360493826163577330780954\ 6033052854791911131751918695080682334204866704887/42861863376121680\ 2590679384108232663997101151371825236575335886644030109787772429911\ 6741832842685937648154493519742451806575710506278442907905232428859\ 84132221619734802255329558528*c_1001_15^9 + 1510681440319285102098911923628380600050592816196018545723610004505\ 4742273974361159888887204631970307287595101370352186758976462964989\ 39654454049624846211690099486851512396961490767039/4286186337612168\ 0259067938410823266399710115137182523657533588664403010978777242991\ 1674183284268593764815449351974245180657571050627844290790523242885\ 984132221619734802255329558528*c_1001_15^8 - 5421343650905665208532995134282193531450182340635625107717831623310\ 6225036620653085808258123200253286998890250821444299306204212776014\ 304730035776039257577845412545882875581573049019/107154658440304200\ 6476698460270581659992752878429563091438339716610075274469431074779\ 1854582106714844120386233799356129516439276265696107269763081072149\ 6033055404933700563832389632*c_1001_15^7 - 1957867878323522110545473301072882695792984618621890784881512405086\ 7152335092617715817613439701232394333165572285233927942350891083445\ 705826115072893824835619691557989649326487398113/267886646100760501\ 6191746150676454149981882196073907728595849291525188186173577686947\ 9636455266787110300965584498390323791098190664240268174407702680374\ 008263851233425140958097408*c_1001_15^6 + 9881951908706986624228816034245751785647570893171482207289719320042\ 4669792994827190356767935674117923271931884684893536016967810435455\ 1221930102699403861583299960562015827560878759/66971661525190125404\ 7936537669113537495470549018476932148962322881297046543394421736990\ 9113816696777575241396124597580947774547666060067043601925670093502\ 065962808356285239524352*c_1001_15^5 + 1442249964267374074759406545192226674298381277935629432601613552149\ 8407489874756820514430369155487182649445691036359860635512522228208\ 0614365867249927460509146501989877578718490623/16742915381297531351\ 1984134417278384373867637254619233037240580720324261635848605434247\ 7278454174194393810349031149395236943636916515016760900481417523375\ 516490702089071309881088*c_1001_15^4 - 1490320459645373216919857383246331510130899126078651258713491585294\ 8694779607928628712939147389122494020637522015627268122579209075448\ 778072771319827988210378645602312801363995471/418572884532438283779\ 9603360431959609346690931365480825931014518008106540896215135856193\ 1961354354859845258725778734880923590922912875419022512035438084387\ 9122675522267827470272*c_1001_15^3 + 8439853128082668746204431388203301678441521972361577345846135690494\ 1870574482032158069373168390022035265894137498587765217422100077969\ 579412295066701392294479101617700267609077/104643221133109570944990\ 0840107989902336672732841370206482753629502026635224053783964048299\ 0338588714961314681444683720230897730728218854755628008859521096978\ 0668880566956867568*c_1001_15^2 + 664839102261291520375676603413626\ 8879004870670376163385894273287009099419706588954468351265003985886\ 2072223234641793597878723725917719159634760293716700225940220937059\ 84864633/6540201320819348184061880250674936889604204580258563790517\ 2101843876664701503361497753018689616179468508216759029273251443110\ 81705136784222267505537200685611291805035434804223*c_1001_15 - 5268539590479018924625565398888414021065784447331869732175329962486\ 4480422478549405896562983893340937538161011217745890604727842055330\ 27425974607101398384251154426683937577943/6540201320819348184061880\ 2506749368896042045802585637905172101843876664701503361497753018689\ 6161794685082167590292732514431108170513678422226750553720068561129\ 1805035434804223, c_0101_5 + 150160429576497254205939590262063958420729719239752401777648\ 9440497411835236656202314223037572596730156875372522410452725631440\ 97817097706918121894250362488426053805156868279/8572372675224336051\ 8135876821646532799420230274365047315067177328806021957554485982334\ 8366568537187529630898703948490361315142101255688581581046485771968\ 264443239469604510659117056*c_1001_15^27 - 4641888830844914709923947115154158392135224964033066562160096106922\ 5560358614853040747693323655993544008992889592166250631859198962185\ 59147063305035494205787677326497961094125/3428949070089734420725435\ 0728658613119768092109746018926026870931522408783021794392933934662\ 7414875011852359481579396144526056840502275432632418594308787305777\ 2957878418042636468224*c_1001_15^26 + 3940186385477482305997415286195022423846590050876740999691573335297\ 0398355877122478472023123246326053683443865754789617635839175168405\ 2755068039205723393397042718206509263273331/13715796280358937682901\ 7402914634452479072368438984075704107483726089635132087177571735738\ 6509659500047409437926317584578104227362009101730529674377235149223\ 1091831513672170545872896*c_1001_15^25 - 3502558828623255203537774605251792195156859910813125154864904006618\ 6232934207977427803086008345574514014642776497964906618453901634686\ 13474863285890661370754278550092738453006471/1371579628035893768290\ 1740291463445247907236843898407570410748372608963513208717757173573\ 8650965950004740943792631758457810422736200910173052967437723514922\ 31091831513672170545872896*c_1001_15^24 + 1352557699130254754148387032171869562149248905664923892370119309738\ 0912917607895271555387030449152495181101848867318119734491959385406\ 971591510357426732186114199263547102492995175/685789814017946884145\ 0870145731722623953618421949203785205374186304481756604358878586786\ 9325482975002370471896315879228905211368100455086526483718861757461\ 15545915756836085272936448*c_1001_15^23 - 7178967796143772112037846095831236126735402397087720434796302156625\ 2784664634077384984790773419072525870577073767628646569545957096782\ 820259576401333065274398232232401694280615897/685789814017946884145\ 0870145731722623953618421949203785205374186304481756604358878586786\ 9325482975002370471896315879228905211368100455086526483718861757461\ 15545915756836085272936448*c_1001_15^22 + 4371073327124596280291468646721783991152557540886627908177797307646\ 9043138845176704607430918664917377721925385359483097948786640773020\ 3219367681964050931106695266253249092300625005/68578981401794688414\ 5087014573172262395361842194920378520537418630448175660435887858678\ 6932548297500237047189631587922890521136810045508652648371886175746\ 115545915756836085272936448*c_1001_15^21 - 3306384128608138664858640440309036280627686774678513156535005886662\ 4020877601738104217400346536999169059298597426759749188278991452497\ 06051398130718656904107894270986377519449179377/6857898140179468841\ 4508701457317226239536184219492037852053741863044817566043588785867\ 8693254829750023704718963158792289052113681004550865264837188617574\ 6115545915756836085272936448*c_1001_15^20 + 1234535226524788216923269321387174613211974629281053180674286195793\ 9233597464273855467979702867152643988440865413688363674434569513790\ 805032335389989739977459613886013149640396778381/685789814017946884\ 1450870145731722623953618421949203785205374186304481756604358878586\ 7869325482975002370471896315879228905211368100455086526483718861757\ 46115545915756836085272936448*c_1001_15^19 - 1090935833181388504785587321051907279243480229429393309701073087904\ 0312106683169637550667700236912498088606671393380587791424249838362\ 8627284628999740769231145276188071408682480777003/13715796280358937\ 6829017402914634452479072368438984075704107483726089635132087177571\ 7357386509659500047409437926317584578104227362009101730529674377235\ 1492231091831513672170545872896*c_1001_15^18 + 1534083247380576239807810991297033804216877936330575137137550267086\ 3931260177844125228708980917519889554589605595031086383266007887760\ 1142879920590284308034676547738567972797486768467/34289490700897344\ 2072543507286586131197680921097460189260268709315224087830217943929\ 3393466274148750118523594815793961445260568405022754326324185943087\ 873057772957878418042636468224*c_1001_15^17 - 8864724938663480280982480959504923693608472971053869126945708764291\ 8596492520265162120603315138440918949977500226575414161371549314057\ 5795486409552886992396610377462707191621606027419/68578981401794688\ 4145087014573172262395361842194920378520537418630448175660435887858\ 6786932548297500237047189631587922890521136810045508652648371886175\ 746115545915756836085272936448*c_1001_15^16 + 5403246523259924195267999049166878488553651475762394887933160427854\ 0094217231531357545275477872095594520793007082252719346846316406442\ 62205834779584451805037034906044987091263148593713/1371579628035893\ 7682901740291463445247907236843898407570410748372608963513208717757\ 1735738650965950004740943792631758457810422736200910173052967437723\ 51492231091831513672170545872896*c_1001_15^15 - 1829030241739635389675954057342483848272468842232835909601256245090\ 7494928143674770213280716093325720102986459164890811398398932259102\ 408941465158194516743553944147228043866842452786807/137157962803589\ 3768290174029146344524790723684389840757041074837260896351320871775\ 7173573865096595000474094379263175845781042273620091017305296743772\ 351492231091831513672170545872896*c_1001_15^14 + 9346240656211522023063189496949914448754271723717147062722832416398\ 2547661596305356482942341696978482994809437932379749222856959592547\ 18684128787592055382707274724537542433476273248537/3428949070089734\ 4207254350728658613119768092109746018926026870931522408783021794392\ 9339346627414875011852359481579396144526056840502275432632418594308\ 7873057772957878418042636468224*c_1001_15^13 - 2758262402294879359748283641940909515608124018885137069814858066869\ 0191140359948569714055292713243332585861847501292090143854292887582\ 614354662303291138805973986512235588710496187779789/685789814017946\ 8841450870145731722623953618421949203785205374186304481756604358878\ 5867869325482975002370471896315879228905211368100455086526483718861\ 75746115545915756836085272936448*c_1001_15^12 + 2064246836548259325842528149018651531857941261378592015943403944236\ 8085738041516738534832263074300590511037015737591039159306987309077\ 110383252163498068158489970025282048887950475843561/137157962803589\ 3768290174029146344524790723684389840757041074837260896351320871775\ 7173573865096595000474094379263175845781042273620091017305296743772\ 351492231091831513672170545872896*c_1001_15^11 + 2374049411995378890090099900580846592501530158190278474014822920626\ 6994176382184518732016100774301207957106285097952682432279631125863\ 040269091663047135655270906028526066066492643965425/342894907008973\ 4420725435072865861311976809210974601892602687093152240878302179439\ 2933934662741487501185235948157939614452605684050227543263241859430\ 87873057772957878418042636468224*c_1001_15^10 + 5346746148174480244760417405548584761984369404836091842208758508424\ 0879573575442359158211635339967935189840838335598997519742783689895\ 47838721546796923015986937326307487255078042605133/1714474535044867\ 2103627175364329306559884046054873009463013435465761204391510897196\ 4669673313707437505926179740789698072263028420251137716316209297154\ 3936528886478939209021318234112*c_1001_15^9 - 1458841529969626607622899804217355571450167392486420211248341028733\ 8628314531611300001502849454495216234539454847703206122097088378718\ 38617918831124844441027728337149664949141750299245/2143093168806084\ 0129533969205411633199855057568591261828766794332201505489388621495\ 5837091642134296882407724675987122590328785525313922145395261621442\ 992066110809867401127664779264*c_1001_15^8 + 8541267323360621448484134132607681816202180068352109829837269858988\ 8634125708083701433401381534941934823258623515011506418757855046688\ 95650090422975279056096577289258435682849913383/5357732922015210032\ 3834923013529082999637643921478154571916985830503763723471553738959\ 2729105335742206019311689967806475821963813284805363488154053607480\ 16527702466850281916194816*c_1001_15^7 + 2579789382535236628304841194557665602545162344411538603731357579103\ 8474071972508089647989580421749387315398434212926678596531033872961\ 656559155328598686634446318431607604170346231531/133943323050380250\ 8095873075338227074990941098036953864297924645762594093086788843473\ 9818227633393555150482792249195161895549095332120134087203851340187\ 004131925616712570479048704*c_1001_15^6 - 1297204468683156235155597469147578134771118533876570763081372729280\ 1349807341235050511710270477495017858133674861710386257535920309210\ 705745601869278468657818824332678280222331867/523216105665547854724\ 9504200539949511683363664206851032413768147510133176120268919820241\ 4951692943574806573407223418601154488653641094273778140044297605484\ 890334440283478433784*c_1001_15^5 - 1056729551422968859908066682158179586394884286807494627438660754257\ 2616543038428710336932970913295495917956691598657801281706026626797\ 1891407441432686383844635631994074889805120555/41857288453243828377\ 9960336043195960934669093136548082593101451800810654089621513585619\ 3196135435485984525872577873488092359092291287541902251203543808438\ 79122675522267827470272*c_1001_15^4 + 1732985909558716605034156154403950119190834691859566130950306814772\ 5142576284937459452328622935938706124393969459370724191467333235904\ 541502903712699978687470697534807982644358375/209286442266219141889\ 9801680215979804673345465682740412965507259004053270448107567928096\ 5980677177429922629362889367440461795461456437709511256017719042193\ 9561337761133913735136*c_1001_15^3 + 5956152332574743558087417509819463272469392028809971319635830725629\ 0692230432275945609870909957844661896213636919501427569694738692945\ 8435492172710787460047519926741735721443479/52321610566554785472495\ 0420053994951168336366420685103241376814751013317612026891982024149\ 5169294357480657340722341860115448865364109427377814004429760548489\ 0334440283478433784*c_1001_15^2 - 436411564609293526769566208101593\ 6367434991491270120177842834911696716566900949453042490898580771535\ 3241275794353005984251739595438200103844247918388856855477970202913\ 869425467/654020132081934818406188025067493688960420458025856379051\ 7210184387666470150336149775301868961617946850821675902927325144311\ 081705136784222267505537200685611291805035434804223*c_1001_15 + 5171110876614620634863155291069991320432421005187486271621091075247\ 5750561337324556365521905933474937134936767995254071742399588022913\ 13957036343825658643091706879244091544523/6540201320819348184061880\ 2506749368896042045802585637905172101843876664701503361497753018689\ 6161794685082167590292732514431108170513678422226750553720068561129\ 1805035434804223, c_0101_6 + 731160429956848955646025210918778286842757034456851863770642\ 5532056007644189478491688461420036812095169816260723691557377446604\ 2323159884488847795646310458982404322607473045/34289490700897344207\ 2543507286586131197680921097460189260268709315224087830217943929339\ 3466274148750118523594815793961445260568405022754326324185943087873\ 057772957878418042636468224*c_1001_15^27 - 1755176149964264459114978047167538583340963300789949926901205254198\ 4033028579828936773048150025544311172588266556617282168261234741030\ 29893108940298936971933631912573119335683/1371579628035893768290174\ 0291463445247907236843898407570410748372608963513208717757173573865\ 0965950004740943792631758457810422736200910173052967437723514922310\ 91831513672170545872896*c_1001_15^26 + 1762711020108755875750966381819919899279983237721426705928662866246\ 0877819191947682945020153585994761146734033580540153669562096073142\ 7990890203272902994156803599930719074129885/54863185121435750731606\ 9611658537809916289473755936302816429934904358540528348710286942954\ 6038638000189637751705270338312416909448036406922118697508940596892\ 4367326054688682183491584*c_1001_15^25 - 8589935769164272362591499272178824834143971345729015972828850414142\ 6213146118817394080265124903387176843494197818754584987101063673545\ 162550224584633640274265493279129085825017/342894907008973442072543\ 5072865861311976809210974601892602687093152240878302179439293393466\ 2741487501185235948157939614452605684050227543263241859430878730577\ 72957878418042636468224*c_1001_15^24 + 2557836962030396708090989720153955485105450526281885592143155431142\ 5219266519915930218265618317000282064942903986265093772193373059828\ 93707585527454018232070574720123786764888211/1371579628035893768290\ 1740291463445247907236843898407570410748372608963513208717757173573\ 8650965950004740943792631758457810422736200910173052967437723514922\ 31091831513672170545872896*c_1001_15^23 - 2360474786664588457908349937113569438765966020487615903648426976542\ 1019625383104111751419655566146218057758153891967508080031424436700\ 555015369329907315001906344802741842490877555/274315925607178753658\ 0348058292689049581447368779681514082149674521792702641743551434714\ 7730193190000948188758526351691562084547240182034610593487544702984\ 462183663027344341091745792*c_1001_15^22 + 3816028210971532887240375888411010956024033158793728819258893079516\ 3755623871211922029490954910500234668944844530272180272165261924247\ 674796612147942166481473526920248273877336927/685789814017946884145\ 0870145731722623953618421949203785205374186304481756604358878586786\ 9325482975002370471896315879228905211368100455086526483718861757461\ 15545915756836085272936448*c_1001_15^21 - 1243321556715768989328968141289935061522379944766358552272923172117\ 5041561426676334409506308880852681640363255106045080298188808749496\ 97642632314020797124559969928902962199329237829/2743159256071787536\ 5803480582926890495814473687796815140821496745217927026417435514347\ 1477301931900009481887585263516915620845472401820346105934875447029\ 84462183663027344341091745792*c_1001_15^20 + 1618251757008425182229021417854344880469800182015492375142471790925\ 7427851090196167500178505621518189816469672164193752511847118737465\ 21504866441771767656979278528461488845971575231/1371579628035893768\ 2901740291463445247907236843898407570410748372608963513208717757173\ 5738650965950004740943792631758457810422736200910173052967437723514\ 92231091831513672170545872896*c_1001_15^19 - 3244087354154725773977706514658288733427195880999177178507908865035\ 6519707123862461880913822176819964018709722893771425271008505173641\ 136280274871380578625482807102849562342294653961/548631851214357507\ 3160696116585378099162894737559363028164299349043585405283487102869\ 4295460386380001896377517052703383124169094480364069221186975089405\ 968924367326054688682183491584*c_1001_15^18 + 2073858342063090355072620238638928532328718624641837493147461413575\ 6390661316513107299541024632610542579956097173838811316277540160974\ 4825826915336225297275032871549729638924050207739/54863185121435750\ 7316069611658537809916289473755936302816429934904358540528348710286\ 9429546038638000189637751705270338312416909448036406922118697508940\ 5968924367326054688682183491584*c_1001_15^17 - 3486810434097574159765064674529958821950400076214771995696212065156\ 4445024258533052741318188885677790375373251407479435189188083125889\ 6015881513052570468865825534597992383385967910609/54863185121435750\ 7316069611658537809916289473755936302816429934904358540528348710286\ 9429546038638000189637751705270338312416909448036406922118697508940\ 5968924367326054688682183491584*c_1001_15^16 + 2869600845194919395732554347406660955453025865026269317397665499076\ 0472817295178742522280391305153944966962749960377017219076019986276\ 3739723419679338506913703560064713438522044378703/13715796280358937\ 6829017402914634452479072368438984075704107483726089635132087177571\ 7357386509659500047409437926317584578104227362009101730529674377235\ 1492231091831513672170545872896*c_1001_15^15 - 4386431520764689044782781879498036914419164567043166546508419392751\ 3658616594616091353788266478808713345764423289548544596816353781440\ 43817500723553897512891131222952905260171613725887/5486318512143575\ 0731606961165853780991628947375593630281642993490435854052834871028\ 6942954603863800018963775170527033831241690944803640692211869750894\ 05968924367326054688682183491584*c_1001_15^14 + 2892041654306092743434711991396787305810323516688472166168045338358\ 2296550893336999623018400483470935103322364212196144034777356101629\ 51393572743479208177258794673006220412286835523929/5486318512143575\ 0731606961165853780991628947375593630281642993490435854052834871028\ 6942954603863800018963775170527033831241690944803640692211869750894\ 05968924367326054688682183491584*c_1001_15^13 + 4344648575494134054771199778304689297135154052418855174711743369277\ 7909291151987108318944847373039771907597754233676840323388808043091\ 43248607309986892428093606457137321129145734560173/5486318512143575\ 0731606961165853780991628947375593630281642993490435854052834871028\ 6942954603863800018963775170527033831241690944803640692211869750894\ 05968924367326054688682183491584*c_1001_15^12 - 1791897895200062201867326703594100090620032542187802318989698268471\ 8839123301836689974636158932426006972126688023985728790515304314292\ 566127305073452162582246451071432119799599676614253/274315925607178\ 7536580348058292689049581447368779681514082149674521792702641743551\ 4347147730193190000948188758526351691562084547240182034610593487544\ 702984462183663027344341091745792*c_1001_15^11 + 2458439124472323158312541214834613140178217622936450936415001527305\ 9328437223159557576045875695690441835596618198362904367695491760220\ 7064896332917767137360955816040610304437187786815/21430931688060840\ 1295339692054116331998550575685912618287667943322015054893886214955\ 8370916421342968824077246759871225903287855253139221453952616214429\ 92066110809867401127664779264*c_1001_15^10 + 3936268839319967390903855574962113723860911190121277637567564882336\ 3665664739830708902407663827198959994101942575132320752631272682800\ 7189143679819853421518571039819657950011714089505/21430931688060840\ 1295339692054116331998550575685912618287667943322015054893886214955\ 8370916421342968824077246759871225903287855253139221453952616214429\ 92066110809867401127664779264*c_1001_15^9 - 1498128279495263234255647818424308839547128310153950934350026388685\ 6380678838618305015105539770802148359167592486040056748306314909130\ 730984701436660028315943770994237953832451113135/107154658440304200\ 6476698460270581659992752878429563091438339716610075274469431074779\ 1854582106714844120386233799356129516439276265696107269763081072149\ 6033055404933700563832389632*c_1001_15^8 - 1525109581007408796291183217433544751300791510730227615725751183728\ 0886802801335465140752551624197615570466241328770720719351609730687\ 5504077446425098181772891030489279747524233118283/10715465844030420\ 0647669846027058165999275287842956309143833971661007527446943107477\ 9185458210671484412038623379935612951643927626569610726976308107214\ 96033055404933700563832389632*c_1001_15^7 + 5903601164083015128393675842358837105803213511756151959528483967557\ 7706535773279950295757709799254884681899372741655739653124043716657\ 03216381968359808387814972387370759888365848235/2678866461007605016\ 1917461506764541499818821960739077285958492915251881861735776869479\ 6364552667871103009655844983903237910981906642402681744077026803740\ 08263851233425140958097408*c_1001_15^6 + 3968318659241728729729405491107380812202980934568978857117368907912\ 2867860459921103505739843018282701905282994121543146254244309445745\ 473135042024753860455829104441403297493042901/104643221133109570944\ 9900840107989902336672732841370206482753629502026635224053783964048\ 2990338588714961314681444683720230897730728218854755628008859521096\ 9780668880566956867568*c_1001_15^5 - 9305885745266035652624218124156321775513993120303577663153756847354\ 6970621533346351734696921301135078863982405324058430776231737418255\ 298835046400001958738396511090197145984246477/167429153812975313511\ 9841344172783843738676372546192330372405807203242616358486054342477\ 2784541741943938103490311493952369436369165150167609004814175233755\ 16490702089071309881088*c_1001_15^4 - 1046549602789762782796972638056717521186517026503741915640346345018\ 5848837854894821918595172353058607474653758604838065523919484717960\ 115598270175680314489896271327939548041337009/209286442266219141889\ 9801680215979804673345465682740412965507259004053270448107567928096\ 5980677177429922629362889367440461795461456437709511256017719042193\ 9561337761133913735136*c_1001_15^3 + 1562100041185128006952293577077206226650275336260212273957018946983\ 6768402406684033479434559564208334268881124157492544687667434847886\ 52446146250160158460777019335642097105068775/1046432211331095709449\ 9008401079899023366727328413702064827536295020266352240537839640482\ 9903385887149613146814446837202308977307282188547556280088595210969\ 780668880566956867568*c_1001_15^2 + 8434407936416691036751037284548224704126545166156723536602444227078\ 6198575495551983677226536605381471112893926373313465593041076200356\ 215432414667564336252781372582086208543383/261608052832773927362475\ 2100269974755841681832103425516206884073755066588060134459910120747\ 5846471787403286703611709300577244326820547136889070022148802742445\ 167220141739216892*c_1001_15 - 104187776021458017487976820980884353\ 8981901426537535928599221561925763114687319940125302055315782124496\ 1632766262654319362703750613874920037624611583163312183843281527194\ 383925/654020132081934818406188025067493688960420458025856379051721\ 0184387666470150336149775301868961617946850821675902927325144311081\ 705136784222267505537200685611291805035434804223, c_0101_7 - 236781429180522079483603842520180040991383911582620022430429\ 7760635045978662464814706678135307604521396293318242378182409084065\ 530681133506643081549077073093790264041522373/428618633761216802590\ 6793841082326639971011513718252365753358866440301097877724299116741\ 8328426859376481544935197424518065757105062784429079052324288598413\ 2221619734802255329558528*c_1001_15^27 + 1206671492791162311452535614975964828377008510897156625317422492759\ 8463877361421604384781828271317184952297263266883602690711540570855\ 4587989329575667336812188277393942266041/17144745350448672103627175\ 3643293065598840460548730094630134354657612043915108971964669673313\ 7074375059261797407896980722630284202511377163162092971543936528886\ 478939209021318234112*c_1001_15^26 - 7681875493040206741485166545316776267274000635679155898979591410851\ 6741131998211199738386412910790815707970483525757825809486153265042\ 39606597611515406325128076291285702022919/6857898140179468841450870\ 1457317226239536184219492037852053741863044817566043588785867869325\ 4829750023704718963158792289052113681004550865264837188617574611554\ 5915756836085272936448*c_1001_15^25 + 1727640753527270230218334906256375547248272454041076831208191581165\ 1705353248784252513603768717272000129399927020015772171298542435408\ 1966232017252507362129083397154777362141187/13715796280358937682901\ 7402914634452479072368438984075704107483726089635132087177571735738\ 6509659500047409437926317584578104227362009101730529674377235149223\ 1091831513672170545872896*c_1001_15^24 - 7036027054838070412548513875568578568600713113242261736419641424961\ 8855798667075780082944550805115485034455793768953200747709160679194\ 2751437146733427795244442606150484748138093/68578981401794688414508\ 7014573172262395361842194920378520537418630448175660435887858678693\ 2548297500237047189631587922890521136810045508652648371886175746115\ 545915756836085272936448*c_1001_15^23 + 2202027243217284332023795354080373566739695524789638736363579628333\ 9379936106487697349315341309449614685767729730723052531693248950962\ 77125398052740100396644999388139409128614973/3428949070089734420725\ 4350728658613119768092109746018926026870931522408783021794392933934\ 6627414875011852359481579396144526056840502275432632418594308787305\ 7772957878418042636468224*c_1001_15^22 - 2514923210424176730313638160590971324527407705500813182968977659369\ 1849437420763426818947355641850775876353608093946833853995410990219\ 825881333930964724665689761960141857340809357/685789814017946884145\ 0870145731722623953618421949203785205374186304481756604358878586786\ 9325482975002370471896315879228905211368100455086526483718861757461\ 15545915756836085272936448*c_1001_15^21 + 4336481743157694732135782442835594297278399261236934616320579535590\ 2063151345680779745924439148053352581370413830650298822711388426735\ 552046810847655630286798590065222414929744443/171447453504486721036\ 2717536432930655988404605487300946301343546576120439151089719646696\ 7331370743750592617974078969807226302842025113771631620929715439365\ 28886478939209021318234112*c_1001_15^20 - 9125394282167392135222182589630854002791683242425502419520184046728\ 6290852581468304860620533697394029108839755487622851102952795000339\ 5728191448829887650166670510019882705511801987/68578981401794688414\ 5087014573172262395361842194920378520537418630448175660435887858678\ 6932548297500237047189631587922890521136810045508652648371886175746\ 115545915756836085272936448*c_1001_15^19 + 3675769845394318352615742152893861184247025858975062154654956416346\ 7274116465343674071451124355271233258313984382900331034450174534466\ 41308267830882077964403012047446027492873046949/6857898140179468841\ 4508701457317226239536184219492037852053741863044817566043588785867\ 8693254829750023704718963158792289052113681004550865264837188617574\ 6115545915756836085272936448*c_1001_15^18 - 3663057213027431745382380214108528116477741984344236602256704078713\ 8943028478009415452493125379866785408151230123969768129219794855702\ 005951732096651463159134135414415707857620011989/137157962803589376\ 8290174029146344524790723684389840757041074837260896351320871775717\ 3573865096595000474094379263175845781042273620091017305296743772351\ 492231091831513672170545872896*c_1001_15^17 + 1530677912958719105939128300028512925403625937064330502662278536418\ 3477661716082678987907521716171780629253621097590584143717879375903\ 9232756940779435780769503348475381745533035553305/13715796280358937\ 6829017402914634452479072368438984075704107483726089635132087177571\ 7357386509659500047409437926317584578104227362009101730529674377235\ 1492231091831513672170545872896*c_1001_15^16 - 4514716443403134370084757637452264673861383597705786270509878604878\ 9843485030083902169328123797168567291387318061156073591157075293994\ 6507756605676467555439726355797310842513591340833/13715796280358937\ 6829017402914634452479072368438984075704107483726089635132087177571\ 7357386509659500047409437926317584578104227362009101730529674377235\ 1492231091831513672170545872896*c_1001_15^15 + 1120012154607888165262905376628583595312312590440873296882958152140\ 3043928220133057883809430825765943244173732307544596101040009495621\ 347775641709960822612210784431907340827619180389/107154658440304200\ 6476698460270581659992752878429563091438339716610075274469431074779\ 1854582106714844120386233799356129516439276265696107269763081072149\ 6033055404933700563832389632*c_1001_15^14 - 4079387828307030615224512280938527419135928651183173358379156168101\ 8528221199189442783895604010376891666658160481021244212983777939031\ 24300505868572264626115441288317165923744507415567/1371579628035893\ 7682901740291463445247907236843898407570410748372608963513208717757\ 1735738650965950004740943792631758457810422736200910173052967437723\ 51492231091831513672170545872896*c_1001_15^13 + 7678807851312434772950179379024605626712797559598924183219269666287\ 0837990320020513321982756664854801432904329330773188902184005732494\ 21232433765082842704826936596906353676149213544723/1371579628035893\ 7682901740291463445247907236843898407570410748372608963513208717757\ 1735738650965950004740943792631758457810422736200910173052967437723\ 51492231091831513672170545872896*c_1001_15^12 - 9443037287903410692438905613223826919700926280254235403445525501796\ 7607589001078783743375458263832260429128868215982461440747358515039\ 52703955803400257851896066136954461219994765743127/1371579628035893\ 7682901740291463445247907236843898407570410748372608963513208717757\ 1735738650965950004740943792631758457810422736200910173052967437723\ 51492231091831513672170545872896*c_1001_15^11 + 1049497193405053962021817394856717727630998582981794416721857053830\ 8225372118865004461253785870536350244876972594920095028907979610187\ 9570889844112141475884480641982528758341026317993/34289490700897344\ 2072543507286586131197680921097460189260268709315224087830217943929\ 3393466274148750118523594815793961445260568405022754326324185943087\ 873057772957878418042636468224*c_1001_15^10 + 4208288514027550042424707410139139273247245466046487871383020983502\ 5279679995883084162351195702385092390030810357635417848544143558421\ 0861124450049502748279176166719835769643335656101/42861863376121680\ 2590679384108232663997101151371825236575335886644030109787772429911\ 6741832842685937648154493519742451806575710506278442907905232428859\ 84132221619734802255329558528*c_1001_15^9 + 3070265839564667879621997497199847643816345984126653271548803716323\ 0305359853135986915680116636420800683222796927058530685933723741186\ 1781750627556112805305394927877843526653426726503/42861863376121680\ 2590679384108232663997101151371825236575335886644030109787772429911\ 6741832842685937648154493519742451806575710506278442907905232428859\ 84132221619734802255329558528*c_1001_15^8 - 5819833192972900713683431946820962403325077785163834898396960419853\ 2341462862137165466387261118336838261314930164383888973539168227028\ 102076863738698965786663447780453522691507048471/535773292201521003\ 2383492301352908299963764392147815457191698583050376372347155373895\ 9272910533574220601931168996780647582196381328480536348815405360748\ 016527702466850281916194816*c_1001_15^7 - 1324189881942055730224233045895213236433707741421798892072009612741\ 2921187557922075231892665159903843328768465130455378148608819164634\ 34552460808475233050640897473542524651943576177/2678866461007605016\ 1917461506764541499818821960739077285958492915251881861735776869479\ 6364552667871103009655844983903237910981906642402681744077026803740\ 08263851233425140958097408*c_1001_15^6 + 1945819020260489678969139941214576677830926317811514146497000281985\ 2706981046275073729674804102467816450175523407126386611901462377561\ 18282401444754877078953636640355531834840495477/6697166152519012540\ 4793653766911353749547054901847693214896232288129704654339442173699\ 0911381669677757524139612459758094777454766606006704360192567009350\ 2065962808356285239524352*c_1001_15^5 - 1383516580480287775558957340957176091582698259754623897683731502175\ 5987946895419009410307293403820633060125872639273914233775368757184\ 246340245533102400786448599707553218989727469/837145769064876567559\ 9206720863919218693381862730961651862029036016213081792430271712386\ 3922708709719690517451557469761847181845825750838045024070876168775\ 8245351044535654940544*c_1001_15^4 - 1797833745786598968401679888382596404845967070551490941542905461191\ 6085439469244729291831636307183574067440011437159156815764624577973\ 300777700830977430311423910823313847805659979/418572884532438283779\ 9603360431959609346690931365480825931014518008106540896215135856193\ 1961354354859845258725778734880923590922912875419022512035438084387\ 9122675522267827470272*c_1001_15^3 + 5815278280319762012808143280843423668363244559211924058924703780006\ 3770678266375256690119015297061456214956077505303077302009374626847\ 2227473867968718183425285180695553976650373/52321610566554785472495\ 0420053994951168336366420685103241376814751013317612026891982024149\ 5169294357480657340722341860115448865364109427377814004429760548489\ 0334440283478433784*c_1001_15^2 + 863561829279170830609198919562547\ 6183304600558466096403678318434492224408499246584954948771563593082\ 5689399252117925764628670973567680684936107632687239687222269557643\ 550448711/261608052832773927362475210026997475584168183210342551620\ 6884073755066588060134459910120747584647178740328670361170930057724\ 4326820547136889070022148802742445167220141739216892*c_1001_15 - 6222452271344888370795840832226863802315001396185031150013163825223\ 2513740171437035551317444562809656211517492926621724918297483472359\ 74641485185251338982221073582878601232314/6540201320819348184061880\ 2506749368896042045802585637905172101843876664701503361497753018689\ 6161794685082167590292732514431108170513678422226750553720068561129\ 1805035434804223, c_0110_12 - 15889266776408801183313274806255315310506623575356889046454\ 2648986922194624025178629852381335868343332466711804245860899396487\ 429053804916620796547619895857735543726319728417/342894907008973442\ 0725435072865861311976809210974601892602687093152240878302179439293\ 3934662741487501185235948157939614452605684050227543263241859430878\ 73057772957878418042636468224*c_1001_15^27 + 5206101676540805863536183381639712405555913520531441842258844228584\ 9300221088619775240228635981656638905134834255871623327444947288538\ 64254971746145304414929419289086502122183/1371579628035893768290174\ 0291463445247907236843898407570410748372608963513208717757173573865\ 0965950004740943792631758457810422736200910173052967437723514922310\ 91831513672170545872896*c_1001_15^26 - 4260036965236375559387718428489823636679400756055316188522833767960\ 5483993498718639946957143181376421298307855342690942018758486051395\ 0862042903095208379418130720606502545122457/54863185121435750731606\ 9611658537809916289473755936302816429934904358540528348710286942954\ 6038638000189637751705270338312416909448036406922118697508940596892\ 4367326054688682183491584*c_1001_15^25 + 9747553305176673151722095761706811403080999464456956035900374415230\ 4116124422330502067718582206814559754758016312705640663392991988737\ 0421204636509186832780372341334998871177887/13715796280358937682901\ 7402914634452479072368438984075704107483726089635132087177571735738\ 6509659500047409437926317584578104227362009101730529674377235149223\ 1091831513672170545872896*c_1001_15^24 - 7583912668869093328494916544338302635848428384284506200445439921416\ 4460171945265886074096122533718609155932993154458270649846541291464\ 62667510248378571780250431943933586926075269/1371579628035893768290\ 1740291463445247907236843898407570410748372608963513208717757173573\ 8650965950004740943792631758457810422736200910173052967437723514922\ 31091831513672170545872896*c_1001_15^23 + 8256717459406233752255580108823832461715412416911166729759874739571\ 0393286049235268522579693417352436091373181057446308012695133944345\ 899683829832049052832848916155205345949629767/274315925607178753658\ 0348058292689049581447368779681514082149674521792702641743551434714\ 7730193190000948188758526351691562084547240182034610593487544702984\ 462183663027344341091745792*c_1001_15^22 - 7773573998784553166689234577321915835789352685688486146009626916547\ 9334560354057453298540997688594094084803116757698036929363610272480\ 22482175260515873271559941495239285562165427/4286186337612168025906\ 7938410823266399710115137182523657533588664403010978777242991167418\ 3284268593764815449351974245180657571050627844290790523242885984132\ 221619734802255329558528*c_1001_15^21 + 3711690637565300737531335267408279148528481985912487955232570624657\ 9736403117011177636037645448684553370214360799072861874327401711311\ 90412760390623889118109348811171920848354603817/2743159256071787536\ 5803480582926890495814473687796815140821496745217927026417435514347\ 1477301931900009481887585263516915620845472401820346105934875447029\ 84462183663027344341091745792*c_1001_15^20 - 7338342128191642984166530800799376039778802591282659150196367667021\ 5532004682916058803180899180357931243503573028303312414936632420268\ 45902476089937213517594346246225209431334592337/1371579628035893768\ 2901740291463445247907236843898407570410748372608963513208717757173\ 5738650965950004740943792631758457810422736200910173052967437723514\ 92231091831513672170545872896*c_1001_15^19 + 1274416859378892542824196002790025794680033119224897475977225116148\ 0713407549786100137022312381434042020854788716718849737247228099889\ 0085899324659743481439103847806393228248710727813/54863185121435750\ 7316069611658537809916289473755936302816429934904358540528348710286\ 9429546038638000189637751705270338312416909448036406922118697508940\ 5968924367326054688682183491584*c_1001_15^18 - 7023263398719013029523275752005006851003438510440146270671014516080\ 6763691564310216151132162988021024254046355866276068870315570571187\ 1178173456254639486242606789915053979176903677195/54863185121435750\ 7316069611658537809916289473755936302816429934904358540528348710286\ 9429546038638000189637751705270338312416909448036406922118697508940\ 5968924367326054688682183491584*c_1001_15^17 + 2174906711421229485717549629234700138227898741134966062642888521428\ 2469656855253049763691155298234791253409870746774543193950686266779\ 67379090203765765248199790465151261944976549987353/5486318512143575\ 0731606961165853780991628947375593630281642993490435854052834871028\ 6942954603863800018963775170527033831241690944803640692211869750894\ 05968924367326054688682183491584*c_1001_15^16 - 1027622677462444782992743941502511973885366573945930478209297499834\ 0588593324426175910911578536193306225792995504865942828608901037631\ 9595762556465233477027755335665518235573034784509/85723726752243360\ 5181358768216465327994202302743650473150671773288060219575544859823\ 3483665685371875296308987039484903613151421012556885815810464857719\ 68264443239469604510659117056*c_1001_15^15 + 2196604868930146602596694630068965879162789175633876209051741373111\ 5129153444218143933968084463036093624882840235547532812097912407900\ 265674618268621164174428298615722142338946940495995/548631851214357\ 5073160696116585378099162894737559363028164299349043585405283487102\ 8694295460386380001896377517052703383124169094480364069221186975089\ 405968924367326054688682183491584*c_1001_15^14 - 4841917553082049740746920221573304639778102093365269438626927569601\ 2091581538553623176720986997135863953118586407206369626238858633407\ 332196025874503902983742295326707764729794573527881/548631851214357\ 5073160696116585378099162894737559363028164299349043585405283487102\ 8694295460386380001896377517052703383124169094480364069221186975089\ 405968924367326054688682183491584*c_1001_15^13 + 7636083680227898879073354471488072123426224178449282866347880799270\ 3028311293959906649131704024251295213779376275001556509943459852843\ 020613300689685555520446660757353650154845280009419/548631851214357\ 5073160696116585378099162894737559363028164299349043585405283487102\ 8694295460386380001896377517052703383124169094480364069221186975089\ 405968924367326054688682183491584*c_1001_15^12 - 2400400230197433613864022727881398685040445524958899580985590054235\ 0392916234554499774564678583110056925901487341032863296652834005473\ 825863667640254514735449248472234415046501614196469/274315925607178\ 7536580348058292689049581447368779681514082149674521792702641743551\ 4347147730193190000948188758526351691562084547240182034610593487544\ 702984462183663027344341091745792*c_1001_15^11 - 3587039269983883748156298917197663277136189903031173647229429062985\ 3835524536494599733424853416397552223181628481398895089480267941235\ 2455519931119839548399600381485034111711488249623/21430931688060840\ 1295339692054116331998550575685912618287667943322015054893886214955\ 8370916421342968824077246759871225903287855253139221453952616214429\ 92066110809867401127664779264*c_1001_15^10 + 2098879145609652785118639626980426935384832040055395968844686799394\ 7607239108192925312750240010857896207877905289495515238495817158885\ 579473272776592170328651864034375230448481070393/428618633761216802\ 5906793841082326639971011513718252365753358866440301097877724299116\ 7418328426859376481544935197424518065757105062784429079052324288598\ 4132221619734802255329558528*c_1001_15^9 + 2357576315394517263452195820055051681962259606714661776409858858702\ 2558293217183969254669079525232917531733242915532581725327556032061\ 4544057512562631511769530917741224554645859090443/10715465844030420\ 0647669846027058165999275287842956309143833971661007527446943107477\ 9185458210671484412038623379935612951643927626569610726976308107214\ 96033055404933700563832389632*c_1001_15^8 - 9860529438583604367773174850907305980821353370767009322091124126933\ 8436824039910860753972764158933123615513260999811690033073625003976\ 046057092843475228253998149481552198083355983675/107154658440304200\ 6476698460270581659992752878429563091438339716610075274469431074779\ 1854582106714844120386233799356129516439276265696107269763081072149\ 6033055404933700563832389632*c_1001_15^7 - 1477394723529710641913325287885096472582800261151872870033411795568\ 7253402992854042995802164152712754677360840011579231843997124010788\ 626119573301553826754382716173717530173534690177/267886646100760501\ 6191746150676454149981882196073907728595849291525188186173577686947\ 9636455266787110300965584498390323791098190664240268174407702680374\ 008263851233425140958097408*c_1001_15^6 + 3504498060506616414644624383702973424488135530556674859623149410312\ 2023377913856353817327952649458003786247562071310988321558750839925\ 998185128071167863894760843266331251696008675/104643221133109570944\ 9900840107989902336672732841370206482753629502026635224053783964048\ 2990338588714961314681444683720230897730728218854755628008859521096\ 9780668880566956867568*c_1001_15^5 + 9284581175492877329816765322922499980605791514417023518341046158516\ 8211440561808435581978185458643340209894426534604394886996199041645\ 388118120078439685233117770959237544506304287/167429153812975313511\ 9841344172783843738676372546192330372405807203242616358486054342477\ 2784541741943938103490311493952369436369165150167609004814175233755\ 16490702089071309881088*c_1001_15^4 - 1294206106867514400698533129355365869655169124914010015474676067510\ 1258970484900189371846962006774876574127292941031884257258946070009\ 876508725779703236632433123797916951398954349/209286442266219141889\ 9801680215979804673345465682740412965507259004053270448107567928096\ 5980677177429922629362889367440461795461456437709511256017719042193\ 9561337761133913735136*c_1001_15^3 + 5485049480931861275841929451552985262762510584618593291120735584050\ 5404739953334152965763196763173291911373832540801752057488738078103\ 1851646770968852565630695306299031781619619/10464322113310957094499\ 0084010798990233667273284137020648275362950202663522405378396404829\ 9033858871496131468144468372023089773072821885475562800885952109697\ 80668880566956867568*c_1001_15^2 + 1147507583216644863193716469220512449401124740408996543671882149541\ 8221316721211099898911944368445796255737692979284045780742772128186\ 0960276866969699789975316644826030038351563/26160805283277392736247\ 5210026997475584168183210342551620688407375506658806013445991012074\ 7584647178740328670361170930057724432682054713688907002214880274244\ 5167220141739216892*c_1001_15 - 88571147128978306437221120690229001\ 7780687899212589266235404467720547046044658174670174644717064409467\ 2833431496746799913797938425015333858038972753573984481161355491918\ 158249/654020132081934818406188025067493688960420458025856379051721\ 0184387666470150336149775301868961617946850821675902927325144311081\ 705136784222267505537200685611291805035434804223, c_1001_15^28 - 31/4*c_1001_15^27 + 2625/16*c_1001_15^26 - 11685/8*c_1001_15^25 + 11274*c_1001_15^24 - 478855/8*c_1001_15^23 + 1456081/4*c_1001_15^22 - 22034277/8*c_1001_15^21 + 10299909*c_1001_15^20 - 725605189/16*c_1001_15^19 + 4086075697/16*c_1001_15^18 - 11823388647/16*c_1001_15^17 + 17913844881/8*c_1001_15^16 - 121440724471/16*c_1001_15^15 + 248099082219/16*c_1001_15^14 - 360804193157/16*c_1001_15^13 + 7625654411*c_1001_15^12 + 41417866238*c_1001_15^11 + 16523240484*c_1001_15^10 - 43546057712*c_1001_15^9 - 965109888*c_1001_15^8 + 14461324544*c_1001_15^7 - 1108040704*c_1001_15^6 - 2506878976*c_1001_15^5 + 538951680*c_1001_15^4 + 216793088*c_1001_15^3 - 83099648*c_1001_15^2 - 7340032*c_1001_15 + 4194304, c_1100_0 + 1 ], Ideal of Polynomial ring of rank 19 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_13, c_0011_4, c_0101_0, c_0101_10, c_0101_11, c_0101_12, c_0101_13, c_0101_4, c_0101_5, c_0101_6, c_0101_7, c_0110_12, c_1001_15, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 40 Groebner basis: [ t - 147217139354777/981743525871984*c_1001_15^19 - 311288276518571/327247841957328*c_1001_15^18 - 87743433727373/36360871328592*c_1001_15^17 - 69808515086195/27270653496444*c_1001_15^16 + 48406448110873/9090217832148*c_1001_15^15 + 1447679015563753/36360871328592*c_1001_15^14 + 6720741273982315/36360871328592*c_1001_15^13 + 8081428735369087/12120290442864*c_1001_15^12 + 9122828368595069/6060145221432*c_1001_15^11 + 127964447486932/84168683631*c_1001_15^10 - 1807819962516005/673349469048*c_1001_15^9 - 11534478880670213/673349469048*c_1001_15^8 - 22649671773762907/448899646032*c_1001_15^7 - 443796715270415/4156478204*c_1001_15^6 - 1412072915459529/8312956408*c_1001_15^5 - 5064759028171027/24938869224*c_1001_15^4 - 26864000519010271/149633215344*c_1001_15^3 - 2794408903526563/24938869224*c_1001_15^2 - 2209674884936777/49877738448*c_1001_15 - 8657666173018/1039119551, c_0011_0 - 1, c_0011_10 + 3642542758/20452990122333*c_1001_15^19 + 24505707332/20452990122333*c_1001_15^18 + 6515487529/2272554458037*c_1001_15^17 + 6160553870/2272554458037*c_1001_15^16 - 14189590165/2272554458037*c_1001_15^15 - 109288461401/2272554458037*c_1001_15^14 - 167725396382/757518152679*c_1001_15^13 - 617777068049/757518152679*c_1001_15^12 - 455432561681/252506050893*c_1001_15^11 - 424727997158/252506050893*c_1001_15^10 + 275691837049/84168683631*c_1001_15^9 + 1710348777610/84168683631*c_1001_15^8 + 1681819042172/28056227877*c_1001_15^7 + 398164417472/3117358653*c_1001_15^6 + 629463858112/3117358653*c_1001_15^5 + 2311652776273/9352075959*c_1001_15^4 + 726601818761/3117358653*c_1001_15^3 + 506309493829/3117358653*c_1001_15^2 + 84501739643/1039119551*c_1001_15 + 24982863719/1039119551, c_0011_11 + c_0110_12 - 2114257040/20452990122333*c_1001_15^19 - 667525543/6817663374111*c_1001_15^18 + 4370250013/6817663374111*c_1001_15^17 + 3416429968/2272554458037*c_1001_15^16 + 2974323731/757518152679*c_1001_15^15 + 4253419223/757518152679*c_1001_15^14 + 22869006871/757518152679*c_1001_15^13 + 2600741261/252506050893*c_1001_15^12 - 30532554202/84168683631*c_1001_15^11 - 88390341850/84168683631*c_1001_15^10 - 145426171985/84168683631*c_1001_15^9 - 9794252408/9352075959*c_1001_15^8 + 89505717496/28056227877*c_1001_15^7 + 19644521823/1039119551*c_1001_15^6 + 138284299808/3117358653*c_1001_15^5 + 211720339072/3117358653*c_1001_15^4 + 236860946164/3117358653*c_1001_15^3 + 60840551735/1039119551*c_1001_15^2 + 32157836645/1039119551*c_1001_15 + 11604586914/1039119551, c_0011_12 + 8952689855/20452990122333*c_1001_15^19 + 41377634903/20452990122333*c_1001_15^18 + 2819157802/757518152679*c_1001_15^17 + 17952722461/6817663374111*c_1001_15^16 - 34905837610/2272554458037*c_1001_15^15 - 192738362978/2272554458037*c_1001_15^14 - 101314333472/252506050893*c_1001_15^13 - 1372513158/1039119551*c_1001_15^12 - 607706141659/252506050893*c_1001_15^11 - 356094641554/252506050893*c_1001_15^10 + 626746932583/84168683631*c_1001_15^9 + 2872156425541/84168683631*c_1001_15^8 + 2605556225195/28056227877*c_1001_15^7 + 5091792705500/28056227877*c_1001_15^6 + 281387399477/1039119551*c_1001_15^5 + 2941215382892/9352075959*c_1001_15^4 + 288609586554/1039119551*c_1001_15^3 + 566307525446/3117358653*c_1001_15^2 + 85092043300/1039119551*c_1001_15 + 18760257296/1039119551, c_0011_13 + 7323908983/20452990122333*c_0110_12*c_1001_15^19 + 12534852742/6817663374111*c_0110_12*c_1001_15^18 + 25850126218/6817663374111*c_0110_12*c_1001_15^17 + 7217886089/2272554458037*c_0110_12*c_1001_15^16 - 9445428634/757518152679*c_0110_12*c_1001_15^15 - 57822988987/757518152679*c_0110_12*c_1001_15^14 - 272513650129/757518152679*c_0110_12*c_1001_15^13 - 309741567568/252506050893*c_0110_12*c_1001_15^12 - 67983903965/28056227877*c_0110_12*c_1001_15^11 - 17048711204/9352075959*c_0110_12*c_1001_15^10 + 171972711808/28056227877*c_0110_12*c_1001_15^9 + 878866767362/28056227877*c_0110_12*c_1001_15^8 + 2473877245652/28056227877*c_0110_12*c_1001_15^7 + 1668421502027/9352075959*c_0110_12*c_1001_15^6 + 2562401333300/9352075959*c_0110_12*c_1001_15^5 + 1015139231867/3117358653*c_0110_12*c_1001_15^4 + 921946805405/3117358653*c_0110_12*c_1001_15^3 + 205443308843/1039119551*c_0110_12*c_1001_15^2 + 94882298584/1039119551*c_0110_12*c_1001_15 + 23042240597/1039119551*c_0110_12 + 8952689855/20452990122333*c_1001_15^19 + 41377634903/20452990122333*c_1001_15^18 + 2819157802/757518152679*c_1001_15^17 + 17952722461/6817663374111*c_1001_15^16 - 34905837610/2272554458037*c_1001_15^15 - 192738362978/2272554458037*c_1001_15^14 - 101314333472/252506050893*c_1001_15^13 - 1372513158/1039119551*c_1001_15^12 - 607706141659/252506050893*c_1001_15^11 - 356094641554/252506050893*c_1001_15^10 + 626746932583/84168683631*c_1001_15^9 + 2872156425541/84168683631*c_1001_15^8 + 2605556225195/28056227877*c_1001_15^7 + 5091792705500/28056227877*c_1001_15^6 + 281387399477/1039119551*c_1001_15^5 + 2941215382892/9352075959*c_1001_15^4 + 288609586554/1039119551*c_1001_15^3 + 566307525446/3117358653*c_1001_15^2 + 85092043300/1039119551*c_1001_15 + 18760257296/1039119551, c_0011_4 - 25811231756/20452990122333*c_1001_15^19 - 131664249884/20452990122333*c_1001_15^18 - 87561631715/6817663374111*c_1001_15^17 - 68369845318/6817663374111*c_1001_15^16 + 100967908337/2272554458037*c_1001_15^15 + 605107461053/2272554458037*c_1001_15^14 + 945578397982/757518152679*c_1001_15^13 + 3217532382176/757518152679*c_1001_15^12 + 692212316845/84168683631*c_1001_15^11 + 1447587524698/252506050893*c_1001_15^10 - 1850100886196/84168683631*c_1001_15^9 - 9141275921948/84168683631*c_1001_15^8 - 8484129962944/28056227877*c_1001_15^7 - 5675143332130/9352075959*c_1001_15^6 - 957314140408/1039119551*c_1001_15^5 - 10177143496231/9352075959*c_1001_15^4 - 3062291788615/3117358653*c_1001_15^3 - 2047541590637/3117358653*c_1001_15^2 - 319760919657/1039119551*c_1001_15 - 80962780787/1039119551, c_0101_0 - 18490679596/20452990122333*c_1001_15^19 - 28461749410/6817663374111*c_1001_15^18 - 17474570155/2272554458037*c_1001_15^17 - 37217864756/6817663374111*c_1001_15^16 + 72070541422/2272554458037*c_1001_15^15 + 397893954445/2272554458037*c_1001_15^14 + 627808220756/757518152679*c_1001_15^13 + 2065773570817/757518152679*c_1001_15^12 + 1255416889759/252506050893*c_1001_15^11 + 82033051634/28056227877*c_1001_15^10 - 1293393197416/84168683631*c_1001_15^9 - 5930782026920/84168683631*c_1001_15^8 - 5382789958480/28056227877*c_1001_15^7 - 1168808289104/3117358653*c_1001_15^6 - 5233901659094/9352075959*c_1001_15^5 - 6080059210285/9352075959*c_1001_15^4 - 596707465725/1039119551*c_1001_15^3 - 1171043390615/3117358653*c_1001_15^2 - 175971164179/1039119551*c_1001_15 - 40012575939/1039119551, c_0101_10 - 1935925798/2272554458037*c_1001_15^19 - 90932600047/20452990122333*c_1001_15^18 - 61529363876/6817663374111*c_1001_15^17 - 49042946612/6817663374111*c_1001_15^16 + 68162306746/2272554458037*c_1001_15^15 + 416694876728/2272554458037*c_1001_15^14 + 24070327814/28056227877*c_1001_15^13 + 2227832006429/757518152679*c_1001_15^12 + 1456593982402/252506050893*c_1001_15^11 + 349937262380/84168683631*c_1001_15^10 - 1254759788510/84168683631*c_1001_15^9 - 6314189745196/84168683631*c_1001_15^8 - 5890537581394/28056227877*c_1001_15^7 - 11890263012239/28056227877*c_1001_15^6 - 6041193578416/9352075959*c_1001_15^5 - 7162262344466/9352075959*c_1001_15^4 - 2165325803624/3117358653*c_1001_15^3 - 1454541111278/3117358653*c_1001_15^2 - 228959750464/1039119551*c_1001_15 - 59155424361/1039119551, c_0101_11 - 1289398546/6817663374111*c_0110_12*c_1001_15^19 - 25323430868/20452990122333*c_0110_12*c_1001_15^18 - 20008503733/6817663374111*c_0110_12*c_1001_15^17 - 18838923815/6817663374111*c_0110_12*c_1001_15^16 + 15021016882/2272554458037*c_0110_12*c_1001_15^15 + 37788084473/757518152679*c_0110_12*c_1001_15^14 + 174454027295/757518152679*c_0110_12*c_1001_15^13 + 637912113313/757518152679*c_0110_12*c_1001_15^12 + 466784217821/252506050893*c_0110_12*c_1001_15^11 + 143536249508/84168683631*c_0110_12*c_1001_15^10 - 289536515026/84168683631*c_0110_12*c_1001_15^9 - 1770068339945/84168683631*c_0110_12*c_1001_15^8 - 578419011194/9352075959*c_0110_12*c_1001_15^7 - 3681985029554/28056227877*c_0110_12*c_1001_15^6 - 646367439193/3117358653*c_0110_12*c_1001_15^5 - 790082653312/3117358653*c_0110_12*c_1001_15^4 - 743723983514/3117358653*c_0110_12*c_1001_15^3 - 517437203246/3117358653*c_0110_12*c_1001_15^2 - 86150882509/1039119551*c_0110_12*c_1001_15 - 25865097925/1039119551*c_0110_12 - c_1001_15, c_0101_12 - 4225930448/20452990122333*c_1001_15^19 - 21538837394/20452990122333*c_1001_15^18 - 4953287918/2272554458037*c_1001_15^17 - 1414346434/757518152679*c_1001_15^16 + 16184383720/2272554458037*c_1001_15^15 + 99476690246/2272554458037*c_1001_15^14 + 156851217062/757518152679*c_1001_15^13 + 178009294850/252506050893*c_1001_15^12 + 1449691386/1039119551*c_1001_15^11 + 270149736616/252506050893*c_1001_15^10 - 97653660172/28056227877*c_1001_15^9 - 1511933231702/84168683631*c_1001_15^8 - 1423697834896/28056227877*c_1001_15^7 - 2887553760802/28056227877*c_1001_15^6 - 1485197848106/9352075959*c_1001_15^5 - 1774117426792/9352075959*c_1001_15^4 - 180407183368/1039119551*c_1001_15^3 - 366852485540/3117358653*c_1001_15^2 - 57531222915/1039119551*c_1001_15 - 14647817966/1039119551, c_0101_13 - 7323908983/20452990122333*c_0110_12*c_1001_15^19 - 12534852742/6817663374111*c_0110_12*c_1001_15^18 - 25850126218/6817663374111*c_0110_12*c_1001_15^17 - 7217886089/2272554458037*c_0110_12*c_1001_15^16 + 9445428634/757518152679*c_0110_12*c_1001_15^15 + 57822988987/757518152679*c_0110_12*c_1001_15^14 + 272513650129/757518152679*c_0110_12*c_1001_15^13 + 309741567568/252506050893*c_0110_12*c_1001_15^12 + 67983903965/28056227877*c_0110_12*c_1001_15^11 + 17048711204/9352075959*c_0110_12*c_1001_15^10 - 171972711808/28056227877*c_0110_12*c_1001_15^9 - 878866767362/28056227877*c_0110_12*c_1001_15^8 - 2473877245652/28056227877*c_0110_12*c_1001_15^7 - 1668421502027/9352075959*c_0110_12*c_1001_15^6 - 2562401333300/9352075959*c_0110_12*c_1001_15^5 - 1015139231867/3117358653*c_0110_12*c_1001_15^4 - 921946805405/3117358653*c_0110_12*c_1001_15^3 - 205443308843/1039119551*c_0110_12*c_1001_15^2 - 94882298584/1039119551*c_0110_12*c_1001_15 - 23042240597/1039119551*c_0110_12 - 15791122670/20452990122333*c_1001_15^19 - 80752693177/20452990122333*c_1001_15^18 - 55115090449/6817663374111*c_1001_15^17 - 46154734826/6817663374111*c_1001_15^16 + 60888704027/2272554458037*c_1001_15^15 + 372716468287/2272554458037*c_1001_15^14 + 585016993961/757518152679*c_1001_15^13 + 664440653527/252506050893*c_1001_15^12 + 1307009945924/252506050893*c_1001_15^11 + 977360308658/252506050893*c_1001_15^10 - 369355897727/28056227877*c_1001_15^9 - 5656164579410/84168683631*c_1001_15^8 - 5300618167886/28056227877*c_1001_15^7 - 10713987500221/28056227877*c_1001_15^6 - 1826608696670/3117358653*c_1001_15^5 - 6517591783000/9352075959*c_1001_15^4 - 1968518465488/3117358653*c_1001_15^3 - 1315136706097/3117358653*c_1001_15^2 - 202341923245/1039119551*c_1001_15 - 49125101506/1039119551, c_0101_4 + 8777515690/20452990122333*c_1001_15^19 + 43231551958/20452990122333*c_1001_15^18 + 9372824207/2272554458037*c_1001_15^17 + 7187701354/2272554458037*c_1001_15^16 - 11403122990/757518152679*c_1001_15^15 - 66589252241/757518152679*c_1001_15^14 - 313460712904/757518152679*c_1001_15^13 - 351513805139/252506050893*c_1001_15^12 - 668986580221/252506050893*c_1001_15^11 - 49792930496/28056227877*c_1001_15^10 + 621360085183/84168683631*c_1001_15^9 + 3005846930444/84168683631*c_1001_15^8 + 2773145668718/28056227877*c_1001_15^7 + 5522552765872/28056227877*c_1001_15^6 + 928526428012/3117358653*c_1001_15^5 + 364152718725/1039119551*c_1001_15^4 + 981199736944/3117358653*c_1001_15^3 + 217610303135/1039119551*c_1001_15^2 + 101090609691/1039119551*c_1001_15 + 23704692974/1039119551, c_0101_5 + 1935925798/2272554458037*c_1001_15^19 + 90932600047/20452990122333*c_1001_15^18 + 61529363876/6817663374111*c_1001_15^17 + 49042946612/6817663374111*c_1001_15^16 - 68162306746/2272554458037*c_1001_15^15 - 416694876728/2272554458037*c_1001_15^14 - 24070327814/28056227877*c_1001_15^13 - 2227832006429/757518152679*c_1001_15^12 - 1456593982402/252506050893*c_1001_15^11 - 349937262380/84168683631*c_1001_15^10 + 1254759788510/84168683631*c_1001_15^9 + 6314189745196/84168683631*c_1001_15^8 + 5890537581394/28056227877*c_1001_15^7 + 11890263012239/28056227877*c_1001_15^6 + 6041193578416/9352075959*c_1001_15^5 + 7162262344466/9352075959*c_1001_15^4 + 2165325803624/3117358653*c_1001_15^3 + 1454541111278/3117358653*c_1001_15^2 + 228959750464/1039119551*c_1001_15 + 59155424361/1039119551, c_0101_6 - 8952689855/20452990122333*c_1001_15^19 - 41377634903/20452990122333*c_1001_15^18 - 2819157802/757518152679*c_1001_15^17 - 17952722461/6817663374111*c_1001_15^16 + 34905837610/2272554458037*c_1001_15^15 + 192738362978/2272554458037*c_1001_15^14 + 101314333472/252506050893*c_1001_15^13 + 1372513158/1039119551*c_1001_15^12 + 607706141659/252506050893*c_1001_15^11 + 356094641554/252506050893*c_1001_15^10 - 626746932583/84168683631*c_1001_15^9 - 2872156425541/84168683631*c_1001_15^8 - 2605556225195/28056227877*c_1001_15^7 - 5091792705500/28056227877*c_1001_15^6 - 281387399477/1039119551*c_1001_15^5 - 2941215382892/9352075959*c_1001_15^4 - 288609586554/1039119551*c_1001_15^3 - 566307525446/3117358653*c_1001_15^2 - 85092043300/1039119551*c_1001_15 - 18760257296/1039119551, c_0101_7 - 1289398546/6817663374111*c_0110_12*c_1001_15^19 - 25323430868/20452990122333*c_0110_12*c_1001_15^18 - 20008503733/6817663374111*c_0110_12*c_1001_15^17 - 18838923815/6817663374111*c_0110_12*c_1001_15^16 + 15021016882/2272554458037*c_0110_12*c_1001_15^15 + 37788084473/757518152679*c_0110_12*c_1001_15^14 + 174454027295/757518152679*c_0110_12*c_1001_15^13 + 637912113313/757518152679*c_0110_12*c_1001_15^12 + 466784217821/252506050893*c_0110_12*c_1001_15^11 + 143536249508/84168683631*c_0110_12*c_1001_15^10 - 289536515026/84168683631*c_0110_12*c_1001_15^9 - 1770068339945/84168683631*c_0110_12*c_1001_15^8 - 578419011194/9352075959*c_0110_12*c_1001_15^7 - 3681985029554/28056227877*c_0110_12*c_1001_15^6 - 646367439193/3117358653*c_0110_12*c_1001_15^5 - 790082653312/3117358653*c_0110_12*c_1001_15^4 - 743723983514/3117358653*c_0110_12*c_1001_15^3 - 517437203246/3117358653*c_0110_12*c_1001_15^2 - 86150882509/1039119551*c_0110_12*c_1001_15 - 25865097925/1039119551*c_0110_12 - 9539558996/6817663374111*c_1001_15^19 - 50894485564/6817663374111*c_1001_15^18 - 35344813015/2272554458037*c_1001_15^17 - 28998802970/2272554458037*c_1001_15^16 + 112820366336/2272554458037*c_1001_15^15 + 77797975648/252506050893*c_1001_15^14 + 1090019588816/757518152679*c_1001_15^13 + 1253034104272/252506050893*c_1001_15^12 + 2498608461115/252506050893*c_1001_15^11 + 624748937110/84168683631*c_1001_15^10 - 2083880772767/84168683631*c_1001_15^9 - 1185840420826/9352075959*c_1001_15^8 - 9998033998363/28056227877*c_1001_15^7 - 6758144955412/9352075959*c_1001_15^6 - 3445022817835/3117358653*c_1001_15^5 - 4076930051708/3117358653*c_1001_15^4 - 3678993431278/3117358653*c_1001_15^3 - 815501688635/1039119551*c_1001_15^2 - 377756544311/1039119551*c_1001_15 - 96215279295/1039119551, c_0110_12^2 - 2114257040/20452990122333*c_0110_12*c_1001_15^19 - 667525543/6817663374111*c_0110_12*c_1001_15^18 + 4370250013/6817663374111*c_0110_12*c_1001_15^17 + 3416429968/2272554458037*c_0110_12*c_1001_15^16 + 2974323731/757518152679*c_0110_12*c_1001_15^15 + 4253419223/757518152679*c_0110_12*c_1001_15^14 + 22869006871/757518152679*c_0110_12*c_1001_15^13 + 2600741261/252506050893*c_0110_12*c_1001_15^12 - 30532554202/84168683631*c_0110_12*c_1001_15^11 - 88390341850/84168683631*c_0110_12*c_1001_15^10 - 145426171985/84168683631*c_0110_12*c_1001_15^9 - 9794252408/9352075959*c_0110_12*c_1001_15^8 + 89505717496/28056227877*c_0110_12*c_1001_15^7 + 19644521823/1039119551*c_0110_12*c_1001_15^6 + 138284299808/3117358653*c_0110_12*c_1001_15^5 + 211720339072/3117358653*c_0110_12*c_1001_15^4 + 236860946164/3117358653*c_0110_12*c_1001_15^3 + 60840551735/1039119551*c_0110_12*c_1001_15^2 + 32157836645/1039119551*c_0110_12*c_1001_15 + 11604586914/1039119551*c_0110_12 - 12810064490/20452990122333*c_1001_15^19 - 19956519248/6817663374111*c_1001_15^18 - 37491420850/6817663374111*c_1001_15^17 - 27698226827/6817663374111*c_1001_15^16 + 16579134911/757518152679*c_1001_15^15 + 278831911696/2272554458037*c_1001_15^14 + 440263602301/757518152679*c_1001_15^13 + 1455125010494/757518152679*c_1001_15^12 + 298809042014/84168683631*c_1001_15^11 + 556508520152/252506050893*c_1001_15^10 - 892531891550/84168683631*c_1001_15^9 - 4168988089043/84168683631*c_1001_15^8 - 3807654059884/28056227877*c_1001_15^7 - 831807581879/3117358653*c_1001_15^6 - 3749126911693/9352075959*c_1001_15^5 - 4378250869019/9352075959*c_1001_15^4 - 432643307808/1039119551*c_1001_15^3 - 856131808526/3117358653*c_1001_15^2 - 130107486278/1039119551*c_1001_15 - 30368840058/1039119551, c_1001_15^20 + 6*c_1001_15^19 + 15*c_1001_15^18 + 18*c_1001_15^17 - 27*c_1001_15^16 - 243*c_1001_15^15 - 1188*c_1001_15^14 - 4293*c_1001_15^13 - 9720*c_1001_15^12 - 10935*c_1001_15^11 + 12636*c_1001_15^10 + 102060*c_1001_15^9 + 321489*c_1001_15^8 + 710775*c_1001_15^7 + 1196289*c_1001_15^6 + 1574640*c_1001_15^5 + 1620567*c_1001_15^4 + 1279395*c_1001_15^3 + 747954*c_1001_15^2 + 295245*c_1001_15 + 59049, c_1100_0 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE FREE=VARIABLES=IN=COMPONENTS=BEGINS=HERE [ [ ], [ ], [ ] ] FREE=VARIABLES=IN=COMPONENTS=ENDS=HERE CPUTIME: 12166.120 Total time: 12166.949 seconds, Total memory usage: 45477.41MB