Magma V2.19-10 Fri Nov 15 2013 17:52:29 on iw-h31-1 [Seed = 3094105931] +-------------------------------------------------------------------+ | 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_59 geometric_solution 16.74558250 oriented_manifold CS_unknown 1 0 torus 0.000000000000 0.000000000000 18 1 2 3 3 0132 0132 0132 0321 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 -8 8 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.342372068329 1.004071985203 0 4 6 5 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 -7 7 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.225362208384 1.041258260582 7 0 5 5 0132 0132 2103 2031 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 8 0 -7 -1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.580326557734 1.134569827541 7 0 8 0 3120 0321 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 -8 0 0 8 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.695771813624 0.892207709993 7 1 9 10 1023 0132 0132 0132 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -8 0 8 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.487415304702 0.899275928316 2 2 1 11 2103 1302 0132 0132 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 7 0 -7 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.580326557734 1.134569827541 10 12 9 1 0132 0132 0321 0132 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -7 0 0 7 0 1 0 -1 8 0 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.739778324677 0.618243276544 2 4 13 3 0132 1023 0132 3120 0 0 0 0 0 1 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 0 0 0 0 8 0 -8 -8 0 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.040393169213 0.677582550283 13 14 14 3 2103 0132 0321 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.287635134036 0.505810065275 15 11 6 4 0132 0321 0321 0132 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 -8 -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.523666695303 0.605980228461 6 12 4 16 0132 0213 0132 0132 0 0 0 0 0 0 0 0 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 0 1 -1 7 0 0 -7 -8 1 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.523150266420 0.349461462970 14 13 5 9 0321 1023 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.143493842367 0.780750369741 16 6 10 16 1230 0132 0213 0213 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 1 0 -1 0 -7 0 0 7 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.808045887301 0.567223062175 11 17 8 7 1023 0132 2103 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.434092343669 0.816709556508 11 8 8 17 0321 0132 0321 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.287635134036 0.505810065275 9 17 17 16 0132 1302 1023 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.604963021027 0.904946687574 15 12 10 12 3201 3012 0132 0213 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 7 -7 1 -1 0 0 0 7 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.535304882852 1.581822189578 14 13 15 15 3012 0132 1023 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.489443373765 0.763726891846 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_15' : d['c_0101_17'], 'c_1001_14' : d['c_1001_14'], 'c_1001_17' : d['c_0101_15'], 'c_1001_16' : negation(d['c_0011_10']), 'c_1001_11' : d['c_0101_11'], 'c_1001_10' : d['c_1001_1'], 'c_1001_13' : negation(d['c_0011_14']), 'c_1001_12' : d['c_1001_1'], 'c_1001_5' : d['c_0101_7'], 'c_1001_4' : d['c_0101_7'], 'c_1001_7' : d['c_0101_15'], 'c_1001_6' : d['c_1001_6'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0011_5'], 'c_1001_3' : d['c_1001_14'], 'c_1001_2' : d['c_0011_5'], 'c_1001_9' : d['c_1001_9'], 'c_1001_8' : d['c_0101_17'], 'c_1010_13' : d['c_0101_15'], 'c_1010_12' : d['c_1001_6'], 'c_1010_11' : d['c_0101_7'], 'c_1010_10' : negation(d['c_0011_10']), 'c_1010_17' : negation(d['c_0011_14']), 'c_1010_16' : negation(d['c_0011_10']), 'c_1010_15' : d['c_0011_16'], 'c_1010_14' : d['c_0101_17'], 's_0_10' : negation(d['1']), 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_3_15' : d['1'], 's_3_14' : d['1'], 's_3_17' : d['1'], 's_3_16' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : negation(d['c_0011_3']), 'c_0101_17' : d['c_0101_17'], 'c_0101_16' : d['c_0101_16'], 'c_0101_15' : d['c_0101_15'], 'c_0101_14' : negation(d['c_0101_11']), 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_13' : d['1'], 's_2_10' : negation(d['1']), 's_2_11' : d['1'], 's_2_16' : d['1'], 's_2_17' : d['1'], 's_2_14' : d['1'], 's_2_15' : d['1'], 's_0_6' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_15' : negation(d['c_0011_14']), 'c_0011_14' : d['c_0011_14'], 'c_0011_17' : negation(d['c_0011_11']), 'c_0011_16' : d['c_0011_16'], 'c_1100_9' : d['c_1001_6'], 'c_1100_8' : d['c_1001_14'], 'c_0011_13' : d['c_0011_11'], 'c_0011_12' : d['c_0011_10'], 'c_1100_5' : d['c_1001_9'], 'c_1100_4' : d['c_1001_6'], 'c_1100_7' : negation(d['c_0101_3']), 'c_1100_6' : d['c_1001_9'], 'c_1100_1' : d['c_1001_9'], 'c_1100_0' : d['c_1001_14'], 'c_1100_3' : d['c_1001_14'], 'c_1100_2' : negation(d['c_0101_11']), 'c_1100_15' : d['c_0011_16'], 'c_1100_14' : d['c_0101_17'], 'c_1100_17' : negation(d['c_0011_16']), 'c_1100_16' : d['c_1001_6'], 'c_1100_11' : d['c_1001_9'], 'c_1100_10' : d['c_1001_6'], 'c_1100_13' : negation(d['c_0101_3']), 's_3_10' : d['1'], 's_3_13' : d['1'], 'c_1010_7' : negation(d['c_0011_3']), 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_0101_11'], 's_0_13' : d['1'], 'c_1010_3' : d['c_0011_5'], 'c_1010_2' : d['c_0011_5'], 'c_1010_1' : d['c_0101_7'], 'c_1010_0' : d['c_0011_5'], 's_0_14' : d['1'], 'c_1010_9' : d['c_0101_7'], 's_0_15' : d['1'], 's_0_16' : d['1'], 's_0_17' : d['1'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_3_7' : d['1'], 's_3_6' : negation(d['1']), 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0011_10']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_3_11' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_14'], 'c_0011_8' : negation(d['c_0011_14']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0101_13' : d['c_0101_11'], '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' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_14']), 'c_0110_10' : d['c_0101_16'], 'c_0110_13' : d['c_0101_7'], 'c_0110_12' : d['c_0011_16'], 'c_0110_15' : negation(d['c_0101_16']), 'c_0110_14' : negation(d['c_0011_11']), 'c_0110_17' : d['c_0101_17'], 'c_0110_16' : negation(d['c_0011_16']), 'c_1010_4' : d['c_1001_1'], 'c_0101_12' : d['c_0011_10'], 'c_0011_7' : d['c_0011_0'], 's_0_8' : d['1'], 's_0_9' : d['1'], 'c_1010_8' : d['c_1001_14'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_16'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_15'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_3']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_16']), 'c_0101_8' : d['c_0101_11'], 'c_0011_10' : d['c_0011_10'], 's_1_17' : d['1'], 's_1_16' : d['1'], 's_1_15' : d['1'], 's_1_14' : d['1'], 's_1_13' : d['1'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_15'], 'c_0110_8' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_3']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_7' : d['c_0101_0'], 'c_0110_6' : negation(d['c_0011_3'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY_DECOMPOSITION_TIME: 77669.470 PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 19 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_14, c_0011_16, c_0011_3, c_0011_5, c_0101_0, c_0101_11, c_0101_15, c_0101_16, c_0101_17, c_0101_3, c_0101_7, c_1001_1, c_1001_14, c_1001_6, c_1001_9 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 10 Groebner basis: [ t - 267070273/2635160*c_1001_9^9 - 993924121/2635160*c_1001_9^8 + 167071777/527032*c_1001_9^7 + 2224786701/2635160*c_1001_9^6 - 78837437/29945*c_1001_9^5 - 716328407/2635160*c_1001_9^4 + 4117223529/2635160*c_1001_9^3 - 5895058077/2635160*c_1001_9^2 - 396747887/239560*c_1001_9 - 54988007/131758, c_0011_0 - 1, c_0011_10 + 599/4664*c_1001_9^9 + 2349/4664*c_1001_9^8 - 1503/4664*c_1001_9^7 - 664/583*c_1001_9^6 + 1399/424*c_1001_9^5 + 4109/4664*c_1001_9^4 - 11497/4664*c_1001_9^3 + 11223/4664*c_1001_9^2 + 186/53*c_1001_9 + 1035/4664, c_0011_11 + 2399/2332*c_1001_9^9 + 4317/1166*c_1001_9^8 - 8225/2332*c_1001_9^7 - 18163/2332*c_1001_9^6 + 1424/53*c_1001_9^5 - 903/2332*c_1001_9^4 - 14507/1166*c_1001_9^3 + 45721/2332*c_1001_9^2 + 4005/212*c_1001_9 + 1457/583, c_0011_14 - 3149/2332*c_1001_9^9 - 12273/2332*c_1001_9^8 + 7625/2332*c_1001_9^7 + 13775/1166*c_1001_9^6 - 6899/212*c_1001_9^5 - 22855/2332*c_1001_9^4 + 41997/2332*c_1001_9^3 - 51253/2332*c_1001_9^2 - 3355/106*c_1001_9 - 17979/2332, c_0011_16 + c_1001_9, c_0011_3 + 515/1166*c_1001_9^9 + 3645/2332*c_1001_9^8 - 960/583*c_1001_9^7 - 7901/2332*c_1001_9^6 + 2445/212*c_1001_9^5 - 1285/1166*c_1001_9^4 - 11005/2332*c_1001_9^3 + 4791/583*c_1001_9^2 + 1291/212*c_1001_9 + 1405/2332, c_0011_5 - 3117/2332*c_1001_9^9 - 2914/583*c_1001_9^8 + 9283/2332*c_1001_9^7 + 25671/2332*c_1001_9^6 - 3561/106*c_1001_9^5 - 11139/2332*c_1001_9^4 + 9852/583*c_1001_9^3 - 52127/2332*c_1001_9^2 - 6013/212*c_1001_9 - 6497/1166, c_0101_0 + 7187/4664*c_1001_9^9 + 27859/4664*c_1001_9^8 - 17687/4664*c_1001_9^7 - 31123/2332*c_1001_9^6 + 15677/424*c_1001_9^5 + 51201/4664*c_1001_9^4 - 91735/4664*c_1001_9^3 + 108359/4664*c_1001_9^2 + 7689/212*c_1001_9 + 43145/4664, c_0101_11 + 599/4664*c_1001_9^9 + 2349/4664*c_1001_9^8 - 1503/4664*c_1001_9^7 - 664/583*c_1001_9^6 + 1399/424*c_1001_9^5 + 4109/4664*c_1001_9^4 - 11497/4664*c_1001_9^3 + 11223/4664*c_1001_9^2 + 186/53*c_1001_9 + 1035/4664, c_0101_15 + 16617/9328*c_1001_9^9 + 63749/9328*c_1001_9^8 - 43957/9328*c_1001_9^7 - 71375/4664*c_1001_9^6 + 37203/848*c_1001_9^5 + 100643/9328*c_1001_9^4 - 229377/9328*c_1001_9^3 + 283461/9328*c_1001_9^2 + 17149/424*c_1001_9 + 87711/9328, c_0101_16 - 777/4664*c_1001_9^9 - 2611/4664*c_1001_9^8 + 2993/4664*c_1001_9^7 + 472/583*c_1001_9^6 - 1785/424*c_1001_9^5 + 11029/4664*c_1001_9^4 - 3361/4664*c_1001_9^3 - 12993/4664*c_1001_9^2 - 69/53*c_1001_9 - 525/4664, c_0101_17 + 3117/2332*c_1001_9^9 + 2914/583*c_1001_9^8 - 9283/2332*c_1001_9^7 - 25671/2332*c_1001_9^6 + 3561/106*c_1001_9^5 + 11139/2332*c_1001_9^4 - 9852/583*c_1001_9^3 + 52127/2332*c_1001_9^2 + 5801/212*c_1001_9 + 6497/1166, c_0101_3 - 63221/9328*c_1001_9^9 - 238465/9328*c_1001_9^8 + 180641/9328*c_1001_9^7 + 263619/4664*c_1001_9^6 - 143063/848*c_1001_9^5 - 271399/9328*c_1001_9^4 + 822509/9328*c_1001_9^3 - 1071057/9328*c_1001_9^2 - 61161/424*c_1001_9 - 261011/9328, c_0101_7 + 428/583*c_1001_9^9 + 3533/1166*c_1001_9^8 - 707/583*c_1001_9^7 - 8433/1166*c_1001_9^6 + 1733/106*c_1001_9^5 + 5996/583*c_1001_9^4 - 12559/1166*c_1001_9^3 + 5363/583*c_1001_9^2 + 2175/106*c_1001_9 + 7275/1166, c_1001_1 + c_1001_9, c_1001_14 + 2235/848*c_1001_9^9 + 8367/848*c_1001_9^8 - 6639/848*c_1001_9^7 - 9285/424*c_1001_9^6 + 56035/848*c_1001_9^5 + 8297/848*c_1001_9^4 - 29267/848*c_1001_9^3 + 38527/848*c_1001_9^2 + 23021/424*c_1001_9 + 7661/848, c_1001_6 - 941/9328*c_1001_9^9 - 4097/9328*c_1001_9^8 + 1929/9328*c_1001_9^7 + 6375/4664*c_1001_9^6 - 2199/848*c_1001_9^5 - 18991/9328*c_1001_9^4 + 35341/9328*c_1001_9^3 - 17113/9328*c_1001_9^2 - 1277/424*c_1001_9 - 2243/9328, c_1001_9^10 + 4*c_1001_9^9 - 2*c_1001_9^8 - 9*c_1001_9^7 + 23*c_1001_9^6 + 10*c_1001_9^5 - 12*c_1001_9^4 + 14*c_1001_9^3 + 25*c_1001_9^2 + 9*c_1001_9 + 1 ], Ideal of Polynomial ring of rank 19 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_14, c_0011_16, c_0011_3, c_0011_5, c_0101_0, c_0101_11, c_0101_15, c_0101_16, c_0101_17, c_0101_3, c_0101_7, c_1001_1, c_1001_14, c_1001_6, c_1001_9 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t + 7397084894317122606522977814030081274365887142326665288989200292271\ 20964671512170921452651499326896225858007904935144765705/1740667081\ 0826829030698452093692465615010257164733701745494207279206091000888\ 2706487347727803311144993640021595026096128*c_1001_9^27 - 2107714016287625983980259810252875006917537916801932682921289234947\ 250871008090684366619928662524035588486474008895284634231/174066708\ 1082682903069845209369246561501025716473370174549420727920609100088\ 82706487347727803311144993640021595026096128*c_1001_9^26 - 2324841764871494500368732296012616912502801880852584207867491379795\ 9169272113192620137231980511249431628025268928343732997491/17406670\ 8108268290306984520936924656150102571647337017454942072792060910008\ 882706487347727803311144993640021595026096128*c_1001_9^25 + 1647056265996729103751066244266959022935950498092424974423340248835\ 6401074952370416182790089468569189753025745575858362447015/17406670\ 8108268290306984520936924656150102571647337017454942072792060910008\ 882706487347727803311144993640021595026096128*c_1001_9^24 + 3765589205504524930476267142581819997751573268006339797694004262315\ 124363995041260005437311948270373916527784867513592574489/470450562\ 4547791629918500565862828544597366801279378850133569534920565135375\ 208283441830481170571486314595178243948544*c_1001_9^23 - 1552375239097753039285563471581310926288069041184670593005015489639\ 886343062062205636605622644119392111721972029548285853646035/174066\ 7081082682903069845209369246561501025716473370174549420727920609100\ 08882706487347727803311144993640021595026096128*c_1001_9^22 - 2336755050071272760762542676468698678347051443961049141308831502432\ 313087333066438039111327878732690593512674065214821783712635/435166\ 7702706707257674613023423116403752564291183425436373551819801522750\ 2220676621836931950827786248410005398756524032*c_1001_9^21 - 2003361714367149058673282071463089015206053614242572541326725926988\ 693799688478270668225097640842662621657810855306895772033473/248666\ 7258689547004385493156241780802144322452104814535070601039886584428\ 6983243783906818257615877856234288799289442304*c_1001_9^20 + 2037697555711321905587397823259729342120194792253792122977883180379\ 8254755240122771830268321025944927819047922467249735864743769/87033\ 3540541341451534922604684623280750512858236685087274710363960304550\ 04441353243673863901655572496820010797513048064*c_1001_9^19 + 2143002719812457945031273692538420343785838590648813542488902679706\ 31881316761348241068846274232533451630692315738851105868014627/1740\ 6670810826829030698452093692465615010257164733701745494207279206091\ 0008882706487347727803311144993640021595026096128*c_1001_9^18 + 2952469317071862167067786499228438257288244417934865519526087326354\ 39780373413431000302727395724662891097232069516794269811277125/1740\ 6670810826829030698452093692465615010257164733701745494207279206091\ 0008882706487347727803311144993640021595026096128*c_1001_9^17 - 4044389920120925236763083224406536273102706716286606116672139049152\ 83962497341265891664734792759212524011450896552131622298287803/1740\ 6670810826829030698452093692465615010257164733701745494207279206091\ 0008882706487347727803311144993640021595026096128*c_1001_9^16 - 5320836854182811927676514986047324844965637232244088001610344141539\ 34404993925510690186736885160535770913285353272918228420614851/4351\ 6677027067072576746130234231164037525642911834254363735518198015227\ 502220676621836931950827786248410005398756524032*c_1001_9^15 - 3165988181466114412785619448739494456550077558691826264217864174157\ 87174798816782798952240726400400132289033433455662298589577193/2175\ 8338513533536288373065117115582018762821455917127181867759099007613\ 751110338310918465975413893124205002699378262016*c_1001_9^14 + 1665624028043051643856681391894610845578566705205226467001238487646\ 06963345775461307835870305669020129032002091159489972595606611/1087\ 9169256766768144186532558557791009381410727958563590933879549503806\ 875555169155459232987706946562102501349689131008*c_1001_9^13 + 2930329019289767987680992165321816502985163383547766318391727747642\ 611303798201854778275714343410858009347431467713032327059089207/435\ 1667702706707257674613023423116403752564291183425436373551819801522\ 7502220676621836931950827786248410005398756524032*c_1001_9^12 + 1147559374986598393414521171733413061239043564643892256529727644362\ 1710165930079310989140299239379736077757650991776620334044814401/17\ 4066708108268290306984520936924656150102571647337017454942072792060\ 910008882706487347727803311144993640021595026096128*c_1001_9^11 - 7314736002685928886224897946941107794375718119526687526100789820776\ 070664623918990536557959953299589848906175284275668531163703267/174\ 0667081082682903069845209369246561501025716473370174549420727920609\ 10008882706487347727803311144993640021595026096128*c_1001_9^10 - 3080496919375554052623072298007668200513077200441522807896995695304\ 5283810285644911877441859564767124783307486227517678225792868395/17\ 4066708108268290306984520936924656150102571647337017454942072792060\ 910008882706487347727803311144993640021595026096128*c_1001_9^9 - 3653559530266686259079550332879847745574052513618218824538343590756\ 8342310314510783834327786940010827626611132942552774100029177329/17\ 4066708108268290306984520936924656150102571647337017454942072792060\ 910008882706487347727803311144993640021595026096128*c_1001_9^8 - 2141670101989519273418538290781663171815470172781172357186836377764\ 9251941857298902978819666026298033318997071128120567735624830941/17\ 4066708108268290306984520936924656150102571647337017454942072792060\ 910008882706487347727803311144993640021595026096128*c_1001_9^7 - 1236160128015870974237596653651509334127068329197192828391410453479\ 226891356865676210590278292666905658554053096194549116622106049/174\ 0667081082682903069845209369246561501025716473370174549420727920609\ 10008882706487347727803311144993640021595026096128*c_1001_9^6 + 8930100896663426902334244279139536357591684670339300424449752516378\ 51621343634643870031401590292989582817767472234875242775928633/2175\ 8338513533536288373065117115582018762821455917127181867759099007613\ 751110338310918465975413893124205002699378262016*c_1001_9^5 + 2216636884317508606351473207239501397416255997679029704201576114021\ 414946591503650230882555221744570299708837520084091232727766999/174\ 0667081082682903069845209369246561501025716473370174549420727920609\ 10008882706487347727803311144993640021595026096128*c_1001_9^4 - 2153782232555317374162086315957803434127170803391666940275088560505\ 347298388439787105370328330107332894562058094728450096418905351/174\ 0667081082682903069845209369246561501025716473370174549420727920609\ 10008882706487347727803311144993640021595026096128*c_1001_9^3 - 1620535380589088938016642592056589739753137410621321221292025271514\ 0572614703031286388217394620540507335291971459739218083916609/54395\ 8462838338407209326627927889550469070536397928179546693977475190343\ 7777584577729616493853473281051250674844565504*c_1001_9^2 + 1861899409005475728971009173979996816696851413932767890384736284661\ 813370417809607992511100171172093713271825490462657850083021/679948\ 0785479230090116582849098619380863381704974102244333674718439879297\ 22198072216202061731684160131406334355570688*c_1001_9 - 1964323401806705853304019365255679328742127065456646237364147500813\ 2548972430699528689734902270806795083390640995406954775529/42496754\ 9092451880632286428068663711303961356560881390270854669902492456076\ 37379513512628858230260008212895897223168, c_0011_0 - 1, c_0011_10 + 65435309935178301595324971832079798396642114990034790908929\ 836219763528639249340273493318751678346140177/139154482928092792489\ 1334735731233441984591889840178827724383501522801780934778896882145\ 845369104507830080512*c_1001_9^27 - 1993845428726148164420995229372951926248783784621263948188452074327\ 16035567984469056354115385582338057859/1391544829280927924891334735\ 7312334419845918898401788277243835015228017809347788968821458453691\ 04507830080512*c_1001_9^26 - 20183495106296459985938211136120159851\ 8811344391900751286029475564825904666829364436254852579229849908611\ 1/13915448292809279248913347357312334419845918898401788277243835015\ 22801780934778896882145845369104507830080512*c_1001_9^25 + 1858057505596270636282454411241186549922969851635346115628645638811\ 044713641260463073384207723985216724347/139154482928092792489133473\ 5731233441984591889840178827724383501522801780934778896882145845369\ 104507830080512*c_1001_9^24 + 1199029455697026101797689607190600180\ 9777457022258692440961117009044982671635037943447743110836095496723\ 929/139154482928092792489133473573123344198459188984017882772438350\ 1522801780934778896882145845369104507830080512*c_1001_9^23 - 1396408445768600411445966165848883154263620303354186906106975357227\ 75507308588158386276643152506951859276047/1391544829280927924891334\ 7357312334419845918898401788277243835015228017809347788968821458453\ 69104507830080512*c_1001_9^22 - 49957006803615999624236479214966620\ 3540769251883682535722882281153997292376247750984406274497431141597\ 27383/8697155183005799530570842098320209012403699311501117673277396\ 8845175111308423681055134115335569031739380032*c_1001_9^21 - 1080886454319583557792247791734720202173837536463474855460222474020\ 552365225008043132565949929578004940776591/139154482928092792489133\ 4735731233441984591889840178827724383501522801780934778896882145845\ 369104507830080512*c_1001_9^20 + 1917972515633408241788706773242465\ 8141463443816584992258037344222032514218221590399078669001429085789\ 36728311/6957724146404639624456673678656167209922959449200894138621\ 91750761400890467389448441072922684552253915040256*c_1001_9^19 + 1825625815888592269886374381246427316505592883690972348657943930249\ 1302301724795755041298773466037506998632467/13915448292809279248913\ 3473573123344198459188984017882772438350152280178093477889688214584\ 5369104507830080512*c_1001_9^18 + 225340081687882531342312189110717\ 4484209300024216307764801172475629552726155176984349635144071224325\ 7663878353/13915448292809279248913347357312334419845918898401788277\ 24383501522801780934778896882145845369104507830080512*c_1001_9^17 - 4063614258474124442818890581426338113530408201579852991966356089880\ 1060134269640031972839600560923256795974999/13915448292809279248913\ 3473573123344198459188984017882772438350152280178093477889688214584\ 5369104507830080512*c_1001_9^16 - 113493889711642731806835174313382\ 6387616272332530447552552254264101304005490917657394566013908507109\ 8567589447/86971551830057995305708420983202090124036993115011176732\ 773968845175111308423681055134115335569031739380032*c_1001_9^15 - 2366755525662793497011716415717671569725599274399065460367941228422\ 8808834886611602044380324380328717282959163/17394310366011599061141\ 6841966404180248073986230022353465547937690350222616847362110268230\ 671138063478760064*c_1001_9^14 + 1731558076627921018746022812801744\ 9825217535306530379889623467265407550331046436046008190907032633856\ 691702789/869715518300579953057084209832020901240369931150111767327\ 73968845175111308423681055134115335569031739380032*c_1001_9^13 + 2488619520892526682660190917565797874581778770253375572040649645234\ 33259592074297739378500613862214652901579583/3478862073202319812228\ 3368393280836049614797246004470693109587538070044523369472422053646\ 1342276126957520128*c_1001_9^12 + 830106191940596078237476273006028\ 3362436049108279637941799556517780380791569432075651780385758959545\ 40024040793/1391544829280927924891334735731233441984591889840178827\ 724383501522801780934778896882145845369104507830080512*c_1001_9^11 - 8341551848211041889541081964046610450750768076569530604726642377677\ 70083684541367912317580551814657329843751599/1391544829280927924891\ 3347357312334419845918898401788277243835015228017809347788968821458\ 45369104507830080512*c_1001_9^10 - 2634025789512316944906368378386069185916658936445625006008790700149\ 546210395869006063681545237015587900097276583/139154482928092792489\ 1334735731233441984591889840178827724383501522801780934778896882145\ 845369104507830080512*c_1001_9^9 - 2771207008723902581745386278807735445206953143279095511785983489870\ 145943396453656363811394495456080090900473725/139154482928092792489\ 1334735731233441984591889840178827724383501522801780934778896882145\ 845369104507830080512*c_1001_9^8 - 1281842713415142816090723073111837114160220816160814596191891926617\ 152461265149218526446696203846213425012044817/139154482928092792489\ 1334735731233441984591889840178827724383501522801780934778896882145\ 845369104507830080512*c_1001_9^7 + 3460455281029155200355647284026181230490554363249713414814195198347\ 91692481322607808361853382235849020322651995/1391544829280927924891\ 3347357312334419845918898401788277243835015228017809347788968821458\ 45369104507830080512*c_1001_9^6 + 196666359550049677512152563679971\ 7402535189470640486513256883394553784570683019867763801801395139218\ 90870842383/3478862073202319812228336839328083604961479724600447069\ 31095875380700445233694724220536461342276126957520128*c_1001_9^5 + 1707421781330521092712710757658758262872271734409587876731936306053\ 10437999312720785528126534459096267781710831/1391544829280927924891\ 3347357312334419845918898401788277243835015228017809347788968821458\ 45369104507830080512*c_1001_9^4 - 213769037626328573826264267098542\ 8462396120646539770766472955076543157678523175052943154755161957433\ 16364491499/1391544829280927924891334735731233441984591889840178827\ 724383501522801780934778896882145845369104507830080512*c_1001_9^3 - 1041659049808562704706653582272494510796853917590907314680768984594\ 9840228903863630867761176112376409797707277/34788620732023198122283\ 3683932808360496147972460044706931095875380700445233694724220536461\ 342276126957520128*c_1001_9^2 + 67252071411566087292753521371930111\ 6901034747573694960636169547038442978916579396552184618040010860417\ 432531/217428879575144988264271052458005225310092482787527941831934\ 92211293777827105920263783528833892257934845008*c_1001_9 - 5631654760029461856085586113892201909078585292794757944776419037882\ 957077665640119632167100704853087816039/135893049734465617665169407\ 7862532658188078017422049636449593263205861114194120016486470552118\ 266120927813, c_0011_11 - 1, c_0011_14 + 18340467695916471887899248315520465160152953566267321550161\ 468371469567341573186419708538320617295179499/139154482928092792489\ 1334735731233441984591889840178827724383501522801780934778896882145\ 845369104507830080512*c_1001_9^27 - 4864240750402597584164263715422370926245327429805504944570499585344\ 0758078059079737062681312732838838425/13915448292809279248913347357\ 3123344198459188984017882772438350152280178093477889688214584536910\ 4507830080512*c_1001_9^26 - 590224713235861841556040222236525145916\ 946221645430219262919579141398887394832656133354122655077977318765/\ 1391544829280927924891334735731233441984591889840178827724383501522\ 801780934778896882145845369104507830080512*c_1001_9^25 + 3291716180247029911226555856137508671207631148383744883137011243962\ 51371098088701981728428274250176459889/1391544829280927924891334735\ 7312334419845918898401788277243835015228017809347788968821458453691\ 04507830080512*c_1001_9^24 + 35309130134926719430782250412089179746\ 8055173746677186626831166629209460748700110778626413962989550209933\ 9/13915448292809279248913347357312334419845918898401788277243835015\ 22801780934778896882145845369104507830080512*c_1001_9^23 - 3846343858024311219715921746763128445466344942884845232884129551661\ 4286471349810692145783600723526067918877/13915448292809279248913347\ 3573123344198459188984017882772438350152280178093477889688214584536\ 9104507830080512*c_1001_9^22 - 297939941925997597378169254831370324\ 0484898577513788902805741228736074027331518067044024863257327194193\ 2359/17394310366011599061141684196640418024807398623002235346554793\ 7690350222616847362110268230671138063478760064*c_1001_9^21 - 3841980258917421465793863104617954773935825797628933820657227864774\ 91880831458425524717613705189685461637237/1391544829280927924891334\ 7357312334419845918898401788277243835015228017809347788968821458453\ 69104507830080512*c_1001_9^20 + 46511926792365629711244020392395833\ 1784604005956262703856753715779008699365729987041238991251585576669\ 171129/695772414640463962445667367865616720992295944920089413862191\ 750761400890467389448441072922684552253915040256*c_1001_9^19 + 5369484834096372329672490438860503207608275371258462080660816723205\ 226398766337986963493251832136768110102705/139154482928092792489133\ 4735731233441984591889840178827724383501522801780934778896882145845\ 369104507830080512*c_1001_9^18 + 8114522870702680908425534283523094\ 0600630231745091246799872233442695113652008549441079359514203118130\ 02615539/1391544829280927924891334735731233441984591889840178827724\ 383501522801780934778896882145845369104507830080512*c_1001_9^17 - 8061383043882315469145979382184482116854505348787612677240355531358\ 794772270920591287424912357978075486156149/139154482928092792489133\ 4735731233441984591889840178827724383501522801780934778896882145845\ 369104507830080512*c_1001_9^16 - 6481822926983041447043102309545231\ 4915253575315048712073780647748232533725967354899968873107715826321\ 31083839/1739431036601159906114168419664041802480739862300223534655\ 47937690350222616847362110268230671138063478760064*c_1001_9^15 - 8743012968298055382998654438510704614192036615531986581409891992415\ 918406503655951820291100162954716029758377/173943103660115990611416\ 8419664041802480739862300223534655479376903502226168473621102682306\ 71138063478760064*c_1001_9^14 + 29093969855844431312042474828832025\ 6381529819272020999205210073443884469774642577576887529114080440235\ 7572323/86971551830057995305708420983202090124036993115011176732773\ 968845175111308423681055134115335569031739380032*c_1001_9^13 + 6924475939474938768676348345174102434046300167794977710376814341114\ 0320790000538761213745093582544590045224037/34788620732023198122283\ 3683932808360496147972460044706931095875380700445233694724220536461\ 342276126957520128*c_1001_9^12 + 3229181039228086696568124649550735\ 8345845936277106160776343338916659293158774926799498674011239241647\ 3850052643/13915448292809279248913347357312334419845918898401788277\ 24383501522801780934778896882145845369104507830080512*c_1001_9^11 - 7007184426460680447887833984027770443896800384280937611108089071072\ 0904947750993855411254507268683278608332797/13915448292809279248913\ 3473573123344198459188984017882772438350152280178093477889688214584\ 5369104507830080512*c_1001_9^10 - 675079611786761498483697878883346\ 8411196826193265195124465052563177707660168171517104417010788180213\ 08472948197/1391544829280927924891334735731233441984591889840178827\ 724383501522801780934778896882145845369104507830080512*c_1001_9^9 - 1012830958336433239258418472723475173011031571378824328758156873266\ 023098320290020828509975014457720870239630711/139154482928092792489\ 1334735731233441984591889840178827724383501522801780934778896882145\ 845369104507830080512*c_1001_9^8 - 8606017156565287803312878882491062308349780921683279251536955425477\ 67722914269735263045712262567763559551164067/1391544829280927924891\ 3347357312334419845918898401788277243835015228017809347788968821458\ 45369104507830080512*c_1001_9^7 - 394870099815959521632475916907288\ 0741313224443097575890156615094730541964749755033171424914806424950\ 53043248543/1391544829280927924891334735731233441984591889840178827\ 724383501522801780934778896882145845369104507830080512*c_1001_9^6 - 9789662896842621954161969289955234824948283443606156948826590314890\ 794127593878285419105536549350790607819369/347886207320231981222833\ 6839328083604961479724600447069310958753807004452336947242205364613\ 42276126957520128*c_1001_9^5 + 286420098128717179386187055661196970\ 0207028373469946562796177240517632644951213956213980879554537232264\ 6749877/13915448292809279248913347357312334419845918898401788277243\ 83501522801780934778896882145845369104507830080512*c_1001_9^4 + 7912932774619308780368734429968866268309001443863691450968069079478\ 376690509362594947889458782037700854321727/139154482928092792489133\ 4735731233441984591889840178827724383501522801780934778896882145845\ 369104507830080512*c_1001_9^3 + 62450832580690946015957426657883639\ 4416979826248404699507968740587160391862999520529246499532228413365\ 805183/347886207320231981222833683932808360496147972460044706931095\ 875380700445233694724220536461342276126957520128*c_1001_9^2 - 2056339470534194034615435113918222364274673791732237007002157262015\ 13879349301240513137275439509180886921333/4348577591502899765285421\ 0491601045062018496557505588366386984422587555654211840527567057667\ 784515869690016*c_1001_9 + 1470435081877759038886355230288519451787\ 814200040853363012524043356821106339614234862788513174256337972929/\ 2717860994689312353303388155725065316376156034844099272899186526411\ 722228388240032972941104236532241855626, c_0011_16 + 11751955063429020432914021360541808219247209955254174899963\ 691781074991385229756757690353385849276106369/695772414640463962445\ 6673678656167209922959449200894138621917507614008904673894484410729\ 22684552253915040256*c_1001_9^27 - 4754837575089682833810848574232064597272855218478216707017885671823\ 4391797249528575213667178887171868027/69577241464046396244566736786\ 5616720992295944920089413862191750761400890467389448441072922684552\ 253915040256*c_1001_9^26 - 3250454450937862421563448807129252852863\ 89127532309708266414335237075138735782303196063061360052656488375/6\ 9577241464046396244566736786561672099229594492008941386219175076140\ 0890467389448441072922684552253915040256*c_1001_9^25 + 6857897005948881131865184160078078722710118317076032197999635378990\ 93656781365354925296259822953406935843/6957724146404639624456673678\ 6561672099229594492008941386219175076140089046738944844107292268455\ 2253915040256*c_1001_9^24 + 178281096499762572623156901265344698081\ 5179291434716999623261551808203933597368569107850012292190671723281\ /695772414640463962445667367865616720992295944920089413862191750761\ 400890467389448441072922684552253915040256*c_1001_9^23 - 2702527892791524552851082530442055068576677222753709157888362656356\ 1285988645993366528179704882101935577735/69577241464046396244566736\ 7865616720992295944920089413862191750761400890467389448441072922684\ 552253915040256*c_1001_9^22 - 1479158927484272344136737138757960435\ 4155290693554805253979221158940863387862462545722895881850979885189\ 491/869715518300579953057084209832020901240369931150111767327739688\ 45175111308423681055134115335569031739380032*c_1001_9^21 - 5527512805077557507260749253649860282749217569461109347798464154373\ 2718138799735191302287810103070568029599/69577241464046396244566736\ 7865616720992295944920089413862191750761400890467389448441072922684\ 552253915040256*c_1001_9^20 + 4365527896575089964941640421632656964\ 1968953545732229350473335042646556875647348218722864855978252846265\ 1699/34788620732023198122283368393280836049614797246004470693109587\ 5380700445233694724220536461342276126957520128*c_1001_9^19 + 2624577258290702807585653521615867629227812496059082268783553718538\ 510162889872675914051465484307908543747507/695772414640463962445667\ 3678656167209922959449200894138621917507614008904673894484410729226\ 84552253915040256*c_1001_9^18 + 95140947705618355303116435939178117\ 7691335838877256252432037286453377296867406772344164861658975254996\ 765641/695772414640463962445667367865616720992295944920089413862191\ 750761400890467389448441072922684552253915040256*c_1001_9^17 - 1117357092730624027112848949376046207718563069751359273776894083436\ 2832265324373198400838435044358919266776847/69577241464046396244566\ 7367865616720992295944920089413862191750761400890467389448441072922\ 684552253915040256*c_1001_9^16 - 3267797085790658673252424280921318\ 5691551325604698647802199770838739422441079167011135258572456572807\ 65787947/8697155183005799530570842098320209012403699311501117673277\ 3968845175111308423681055134115335569031739380032*c_1001_9^15 - 5164184402708798651466594737160181034968927350625550478760517845049\ 00416459226688889482719117025572209174267/8697155183005799530570842\ 0983202090124036993115011176732773968845175111308423681055134115335\ 569031739380032*c_1001_9^14 + 5144087420881900318192275345876529835\ 2893573859309624136234322532873630356239631151814192867055116211636\ 75281/4348577591502899765285421049160104506201849655750558836638698\ 4422587555654211840527567057667784515869690016*c_1001_9^13 + 3449329226366437880254415896381947430727515679280292655078402367363\ 9391495871090544257859681697718682162955055/17394310366011599061141\ 6841966404180248073986230022353465547937690350222616847362110268230\ 671138063478760064*c_1001_9^12 - 8807434400875529921294532875206852\ 4692731933611852854876843224282847848442216493627702917838426917308\ 72989207/6957724146404639624456673678656167209922959449200894138621\ 91750761400890467389448441072922684552253915040256*c_1001_9^11 - 2953217454484954695169596326068522364620152136370019637191589151350\ 65634300055295290652779706877212004978490919/6957724146404639624456\ 6736786561672099229594492008941386219175076140089046738944844107292\ 2684552253915040256*c_1001_9^10 - 376072217265703776452160484570426\ 8022315065956552670845907937747517936270125273015115471913432952838\ 89450944991/6957724146404639624456673678656167209922959449200894138\ 62191750761400890467389448441072922684552253915040256*c_1001_9^9 - 1034791837971194065069534101759279821042393382658279703732395447156\ 19864766830854395626300001856750021647468309/6957724146404639624456\ 6736786561672099229594492008941386219175076140089046738944844107292\ 2684552253915040256*c_1001_9^8 + 2644413294097719074908951164910882\ 6234604182195521870647510225654166055478419331513014880903766983011\ 8644890503/69577241464046396244566736786561672099229594492008941386\ 2191750761400890467389448441072922684552253915040256*c_1001_9^7 + 4077250966947369235192158428206969058737997824847709403284417363513\ 74847014162741700901394351983165190841087699/6957724146404639624456\ 6736786561672099229594492008941386219175076140089046738944844107292\ 2684552253915040256*c_1001_9^6 + 6032578912156480207433644782027327\ 8710693692925888496197876871951051236534122238614699042732198844132\ 777267313/173943103660115990611416841966404180248073986230022353465\ 547937690350222616847362110268230671138063478760064*c_1001_9^5 + 9363307160449469174942404462202157408234213767504924607435898337540\ 51643740850958574458478215968232760271647/6957724146404639624456673\ 6786561672099229594492008941386219175076140089046738944844107292268\ 4552253915040256*c_1001_9^4 - 5202519814581607205018344335326417860\ 9139468684851700830735720766030662224465572445021497283491849990513\ 753107/695772414640463962445667367865616720992295944920089413862191\ 750761400890467389448441072922684552253915040256*c_1001_9^3 + 1641877714434396512768499354406103167866934100040431672104151381872\ 31692318771967833082722400199969776732177/1739431036601159906114168\ 4196640418024807398623002235346554793769035022261684736211026823067\ 1138063478760064*c_1001_9^2 + 2513492531618654051901441143954245548\ 2717058702463846127953453964313468825969993279694986538787838506768\ 3375/21742887957514498826427105245800522531009248278752794183193492\ 211293777827105920263783528833892257934845008*c_1001_9 - 1433351987061467121318480494113147755566941805266506102822711727026\ 221023378812363257375243368197584942119/135893049734465617665169407\ 7862532658188078017422049636449593263205861114194120016486470552118\ 266120927813, c_0011_3 - 292803320656831632283083108170052153334994853169260278166475\ 38642972739638624676028635254951934702978411/6957724146404639624456\ 6736786561672099229594492008941386219175076140089046738944844107292\ 2684552253915040256*c_1001_9^27 + 101881183203074889484060035844579\ 0317741505789593051707467033551202779176473145302379339270925078400\ 00777/6957724146404639624456673678656167209922959449200894138621917\ 50761400890467389448441072922684552253915040256*c_1001_9^26 + 8515086148824103585185515552552534110743808717603927345474406923435\ 87360910692130335395211730357943871773/6957724146404639624456673678\ 6561672099229594492008941386219175076140089046738944844107292268455\ 2253915040256*c_1001_9^25 - 116508073246249141049389285891354709210\ 4213485202199468108133300212308662072351008379706682199415652055809\ /695772414640463962445667367865616720992295944920089413862191750761\ 400890467389448441072922684552253915040256*c_1001_9^24 - 4671539102923290636634069415615064966149471173797065130109811194280\ 889443127931823312168826802055280322491/695772414640463962445667367\ 8656167209922959449200894138621917507614008904673894484410729226845\ 52253915040256*c_1001_9^23 + 63972044518139648066210635668445413207\ 6319790187314085329220896035039558020865468840603204377610274963054\ 21/6957724146404639624456673678656167209922959449200894138621917507\ 61400890467389448441072922684552253915040256*c_1001_9^22 + 4114797796399838367526756094975608161171514404861602633052743722723\ 6701875802385391352780996495130624815589/86971551830057995305708420\ 9832020901240369931150111767327739688451751113084236810551341153355\ 69031739380032*c_1001_9^21 + 35907975518807865120462810464122114895\ 0618509017582151662136907159478838013819974776055953102439818321616\ 373/695772414640463962445667367865616720992295944920089413862191750\ 761400890467389448441072922684552253915040256*c_1001_9^20 - 9024329965415153113140608413577257515571225051577215628666325470921\ 28576835769720391798556538951564311598017/3478862073202319812228336\ 8393280836049614797246004470693109587538070044523369472422053646134\ 2276126957520128*c_1001_9^19 - 738306079091281648517895650563919290\ 1645267959919750270711411568542232053347059705732004547499138487888\ 643857/695772414640463962445667367865616720992295944920089413862191\ 750761400890467389448441072922684552253915040256*c_1001_9^18 - 7434923742871361606555213324787112870616822437367404785648294509280\ 263736501863536883081025772138862132890019/695772414640463962445667\ 3678656167209922959449200894138621917507614008904673894484410729226\ 84552253915040256*c_1001_9^17 + 20008898782275996069600798502248716\ 5368130146721972567067462573872668452699762458597271515981189784463\ 72230885/6957724146404639624456673678656167209922959449200894138621\ 91750761400890467389448441072922684552253915040256*c_1001_9^16 + 9073450709026057921991111336798463327499438900944251475686230748262\ 988250624764052774505679184648786493958317/869715518300579953057084\ 2098320209012403699311501117673277396884517511130842368105513411533\ 5569031739380032*c_1001_9^15 + 750931936526399478279223166257916966\ 7005685008574360997180731480610623278047136784446866194094065274050\ 546473/869715518300579953057084209832020901240369931150111767327739\ 68845175111308423681055134115335569031739380032*c_1001_9^14 - 8564694428826952674505594680964930459085437350869342373930194736671\ 710987977922304609381951184115748025660843/434857759150289976528542\ 1049160104506201849655750558836638698442258755565421184052756705766\ 7784515869690016*c_1001_9^13 - 972264180973555459383220927721238161\ 0314788249374771119782594113300356533452889082486789139386445492565\ 2607781/17394310366011599061141684196640418024807398623002235346554\ 7937690350222616847362110268230671138063478760064*c_1001_9^12 - 2504007944495704502407150540579277959609308467138949856600022972316\ 29363093385329755624360772603501233433076835/6957724146404639624456\ 6736786561672099229594492008941386219175076140089046738944844107292\ 2684552253915040256*c_1001_9^11 + 420651543361848061831258539822883\ 4064570795627870960275554848029855737796825882590108603059490922995\ 91145739245/6957724146404639624456673678656167209922959449200894138\ 62191750761400890467389448441072922684552253915040256*c_1001_9^10 + 1025593867842277879805793660716509041938750983160881353202342200500\ 887702593413687306602081483475681603002158677/695772414640463962445\ 6673678656167209922959449200894138621917507614008904673894484410729\ 22684552253915040256*c_1001_9^9 + 948559309874867415357779596870645\ 9761522973961466304767835072607898109331678342216566746199711265679\ 17890111335/6957724146404639624456673678656167209922959449200894138\ 62191750761400890467389448441072922684552253915040256*c_1001_9^8 + 3114531425440006128059337498435942982833540901651284440763379764200\ 36320945721543777957838847500719265012445939/6957724146404639624456\ 6736786561672099229594492008941386219175076140089046738944844107292\ 2684552253915040256*c_1001_9^7 - 2770301144334338261248456463495400\ 6481486352536641188581276832409882601484350349910213625553218213132\ 3525842385/69577241464046396244566736786561672099229594492008941386\ 2191750761400890467389448441072922684552253915040256*c_1001_9^6 - 8746453938776589052376643199402215073997457958323502513353716230187\ 0087688418040279993222078153110974020186243/17394310366011599061141\ 6841966404180248073986230022353465547937690350222616847362110268230\ 671138063478760064*c_1001_9^5 - 64427117825153668780164634326488287\ 4865334251359200829148008485979648198067808142870114788489492584676\ 82703605/6957724146404639624456673678656167209922959449200894138621\ 91750761400890467389448441072922684552253915040256*c_1001_9^4 + 7365332221483455488487577758968655012532020777163447491769542054680\ 1589432672066869891412700140286044228429905/69577241464046396244566\ 7367865616720992295944920089413862191750761400890467389448441072922\ 684552253915040256*c_1001_9^3 + 31469007728025023661952153188591001\ 4567240565187069573880459378206217347061142217089671093680038590994\ 4758957/17394310366011599061141684196640418024807398623002235346554\ 7937690350222616847362110268230671138063478760064*c_1001_9^2 - 4102929423202628536711309008813489588325000000430730026948228553424\ 02421935457692733961874249291401902123673/2174288795751449882642710\ 5245800522531009248278752794183193492211293777827105920263783528833\ 892257934845008*c_1001_9 + 2310585350206889489227799692897231252631\ 511957661909142515750779119856632181453800720139882079999407397929/\ 1358930497344656176651694077862532658188078017422049636449593263205\ 861114194120016486470552118266120927813, c_0011_5 + 550620030685149402598980188228885737645018053653795710319940\ 0602090939698452766263196846959403289309/54357219893786247066067763\ 1145013063275231206968819854579837305282344445677648006594588220847\ 3064483711252*c_1001_9^27 - 925997293044633996194922680646659175797\ 0665143658832536445263539659153620300566619332748929411167881/27178\ 6099468931235330338815572506531637615603484409927289918652641172222\ 8388240032972941104236532241855626*c_1001_9^26 - 1567027885007269749691540436908950949621853743402362187309444723165\ 28121350349666110431547221459130733/5435721989378624706606776311450\ 1306327523120696881985457983730528234444567764800659458822084730644\ 83711252*c_1001_9^25 + 44493057830380624231682708403555254040890789\ 744869412778518817882685617989331172514157848246247930803/135893049\ 7344656176651694077862532658188078017422049636449593263205861114194\ 120016486470552118266120927813*c_1001_9^24 + 7542702592339528461511228729929981267685416210593015701617404717812\ 36116573204426721040882971232158177/5435721989378624706606776311450\ 1306327523120696881985457983730528234444567764800659458822084730644\ 83711252*c_1001_9^23 - 29098940828376097467400076215025958549834034\ 52260857541455889697189076310612884113115253131563942324332/1358930\ 4973446561766516940778625326581880780174220496364495932632058611141\ 94120016486470552118266120927813*c_1001_9^22 - 1565517749888891303010505707076366212042995234950728961529744928001\ 5870071098766944792017525805581029486/13589304973446561766516940778\ 6253265818807801742204963644959326320586111419412001648647055211826\ 6120927813*c_1001_9^21 - 872426933471901310462711836441627076741410\ 22514582552074156938942596668177845468901639802535394206939185/5435\ 7219893786247066067763114501306327523120696881985457983730528234444\ 56776480065945882208473064483711252*c_1001_9^20 + 2747559984591992590214979947581711531179792899712390851894146628636\ 34760388952768656506283302086919542921/5435721989378624706606776311\ 4501306327523120696881985457983730528234444567764800659458822084730\ 64483711252*c_1001_9^19 + 34526333263863684663690869557491423665939\ 9673017039093678514419760723033437235585892032730583100531177703/13\ 5893049734465617665169407786253265818807801742204963644959326320586\ 1114194120016486470552118266120927813*c_1001_9^18 + 1901980277526166812179714246777593664367649825591988354261475485138\ 940166705636295678348065373494481369619/543572198937862470660677631\ 1450130632752312069688198545798373052823444456776480065945882208473\ 064483711252*c_1001_9^17 - 1189860000997859451781513228247275049571\ 789925415390327314540993228658250722963636950046830927069364672811/\ 2717860994689312353303388155725065316376156034844099272899186526411\ 722228388240032972941104236532241855626*c_1001_9^16 - 6556752994687968359428452970574688492731022239953994229764275022505\ 004390750455460671259742468997705461365/271786099468931235330338815\ 5725065316376156034844099272899186526411722228388240032972941104236\ 532241855626*c_1001_9^15 - 4151386859266972338297944236619246883778\ 491900892543393135132027185900932959306798508159602415101271568660/\ 1358930497344656176651694077862532658188078017422049636449593263205\ 861114194120016486470552118266120927813*c_1001_9^14 + 3247819500140599133283015876561138116861378843547021261012147190965\ 377466434079427957763270598924848863721/135893049734465617665169407\ 7862532658188078017422049636449593263205861114194120016486470552118\ 266120927813*c_1001_9^13 + 1719570447875256622230475946883524352551\ 4991034038635031220421494503929327523620103209545613248742712696243\ /135893049734465617665169407786253265818807801742204963644959326320\ 5861114194120016486470552118266120927813*c_1001_9^12 + 7980318758582018747666125297089333986258383423530097922362334341934\ 8769239459416185712870021853826319322385/54357219893786247066067763\ 1145013063275231206968819854579837305282344445677648006594588220847\ 3064483711252*c_1001_9^11 - 816071844201200299350427464905710736464\ 6929997515551951126344968861131164589721793019140241714950349594681\ /271786099468931235330338815572506531637615603484409927289918652641\ 1722228388240032972941104236532241855626*c_1001_9^10 - 1732582520133710887161151014253764030895572296519584070368589400775\ 56805007748106498334129501273804292770189/5435721989378624706606776\ 3114501306327523120696881985457983730528234444567764800659458822084\ 73064483711252*c_1001_9^9 - 665242816514942920151040987136556895573\ 5062558962578701392205938825867280656161332451202314107566930236610\ 7/13589304973446561766516940778625326581880780174220496364495932632\ 05861114194120016486470552118266120927813*c_1001_9^8 - 2187009075015850738693352082098726467716710032539332396182254579972\ 19244021422612714615671488307610523415385/5435721989378624706606776\ 3114501306327523120696881985457983730528234444567764800659458822084\ 73064483711252*c_1001_9^7 - 222775182567163873938057170466225850564\ 7689593586381617202286249355995297332937746429310772976725902805932\ 0/13589304973446561766516940778625326581880780174220496364495932632\ 05861114194120016486470552118266120927813*c_1001_9^6 + 2930423768629521135708280364869378446049643739931353745106905128212\ 35268935746259867449606398276609151969/1358930497344656176651694077\ 8625326581880780174220496364495932632058611141941200164864705521182\ 66120927813*c_1001_9^5 + 148973884023110268434465696011433707829985\ 02478599932074935828276987441266100788819476509206355110400621045/5\ 4357219893786247066067763114501306327523120696881985457983730528234\ 44456776480065945882208473064483711252*c_1001_9^4 - 9819075834261649415820972307562780274808362829786652825521580422440\ 11456885660845814849314620569538695215/2717860994689312353303388155\ 7250653163761560348440992728991865264117222283882400329729411042365\ 32241855626*c_1001_9^3 - 672286019896770589383230378896052813765749\ 8195696034786962716501825131480042217002450244147450255322119131/27\ 1786099468931235330338815572506531637615603484409927289918652641172\ 2228388240032972941104236532241855626*c_1001_9^2 - 4556135917647302182535299400582392189969990364926293880209541668966\ 59565823271124960014100155255001726149/1358930497344656176651694077\ 8625326581880780174220496364495932632058611141941200164864705521182\ 66120927813*c_1001_9 + 12768325629846729289704905345255316087967313\ 96961802801555834699782217113687143900601676365018587642850747/1358\ 9304973446561766516940778625326581880780174220496364495932632058611\ 14194120016486470552118266120927813, c_0101_0 + 189148154230692657986010633037943664736413362391898956782438\ 31320040995526108754394075716072907565959597/1391544829280927924891\ 3347357312334419845918898401788277243835015228017809347788968821458\ 45369104507830080512*c_1001_9^27 - 6941470826697400100357065820930748842474445388498761952256123090161\ 4714162887687391726188569568871920047/13915448292809279248913347357\ 3123344198459188984017882772438350152280178093477889688214584536910\ 4507830080512*c_1001_9^26 - 546832486089174045439399229981835702016\ 232457392983524322212764118714577481104931672234115580382639607163/\ 1391544829280927924891334735731233441984591889840178827724383501522\ 801780934778896882145845369104507830080512*c_1001_9^25 + 9107833879832969405619884828744506420188204316650599318958280692810\ 82565320550111510319135393918993707287/1391544829280927924891334735\ 7312334419845918898401788277243835015228017809347788968821458453691\ 04507830080512*c_1001_9^24 + 30418872907333003487716025208073313679\ 7517275832130699400562245591158918125175361154169063799958134826823\ 7/13915448292809279248913347357312334419845918898401788277243835015\ 22801780934778896882145845369104507830080512*c_1001_9^23 - 4274687169309086251006888546809061762523493337112206383457685504950\ 1322648247473829685406758342486331768651/13915448292809279248913347\ 3573123344198459188984017882772438350152280178093477889688214584536\ 9104507830080512*c_1001_9^22 - 255903700130358585420825676361876472\ 1639118523342937300799795977992792866104054692388820062210821066505\ 5977/17394310366011599061141684196640418024807398623002235346554793\ 7690350222616847362110268230671138063478760064*c_1001_9^21 - 1698261945073741187774274732266993559415696016753432933857978101899\ 92347095526518058547121957099343437207539/1391544829280927924891334\ 7357312334419845918898401788277243835015228017809347788968821458453\ 69104507830080512*c_1001_9^20 + 63298910369368385029191215458855557\ 8707330554241980413446304548692294572593611070093674922634041731567\ 525615/695772414640463962445667367865616720992295944920089413862191\ 750761400890467389448441072922684552253915040256*c_1001_9^19 + 4491724715914507385763647395310174969847541161328082186084415785192\ 618523717145374570110650383581887434076183/139154482928092792489133\ 4735731233441984591889840178827724383501522801780934778896882145845\ 369104507830080512*c_1001_9^18 + 3316040522503660334239402784420006\ 7823403337796574179871079506653887042231032051769293719778380288753\ 18244005/1391544829280927924891334735731233441984591889840178827724\ 383501522801780934778896882145845369104507830080512*c_1001_9^17 - 1482611593180379522315671408284590305590283402946288112314053568770\ 2672247471995038715359847298582391150419635/13915448292809279248913\ 3473573123344198459188984017882772438350152280178093477889688214584\ 5369104507830080512*c_1001_9^16 - 542304408948272238246892495230403\ 6337210463768262136547748242745971201075918578493941933901234587249\ 298497073/173943103660115990611416841966404180248073986230022353465\ 547937690350222616847362110268230671138063478760064*c_1001_9^15 - 2919900368949551127091508641528956706228663630330325747453725025679\ 609090063831072213855183873107161106925279/173943103660115990611416\ 8419664041802480739862300223534655479376903502226168473621102682306\ 71138063478760064*c_1001_9^14 + 64620738770390409906179048846004881\ 8112993966278230821449360556922340644546397228288786509092284554439\ 0881941/86971551830057995305708420983202090124036993115011176732773\ 968845175111308423681055134115335569031739380032*c_1001_9^13 + 5581338916216804523554259743614664957679809582019266951035490853286\ 2632539275182022731067822203961995226722179/34788620732023198122283\ 3683932808360496147972460044706931095875380700445233694724220536461\ 342276126957520128*c_1001_9^12 + 7421496338552902917535217401363150\ 9978270762358940988124858405228607955828328600282323357950403256068\ 690182965/139154482928092792489133473573123344198459188984017882772\ 4383501522801780934778896882145845369104507830080512*c_1001_9^11 - 3250696523840277146525439397640185045230652084899270900591778250893\ 68344718806350343569494963559174598457952875/1391544829280927924891\ 3347357312334419845918898401788277243835015228017809347788968821458\ 45369104507830080512*c_1001_9^10 - 5560535609495657503959533491657367206314936383703693510802093571265\ 63993896121691236470297674924219999512996291/1391544829280927924891\ 3347357312334419845918898401788277243835015228017809347788968821458\ 45369104507830080512*c_1001_9^9 - 390986131936293981935132607596374\ 6733367986860646168171806937291054648566815168984133422920607881842\ 76290110529/1391544829280927924891334735731233441984591889840178827\ 724383501522801780934778896882145845369104507830080512*c_1001_9^8 - 3765121325293743790356751025951525883029944965378614717613249402749\ 4902939483801914173920691124406890241284341/13915448292809279248913\ 3473573123344198459188984017882772438350152280178093477889688214584\ 5369104507830080512*c_1001_9^7 + 1968932850646667032383521760176021\ 7246369693425821663456366177404245560620829207448792439445599525986\ 9613142055/13915448292809279248913347357312334419845918898401788277\ 24383501522801780934778896882145845369104507830080512*c_1001_9^6 + 3393226077747775743604796186661850359144603869783591900345929369720\ 7980814584986786170611721790878904581752721/34788620732023198122283\ 3683932808360496147972460044706931095875380700445233694724220536461\ 342276126957520128*c_1001_9^5 - 33030027077324084628756279809355691\ 5364744690628495124512852043224626684148524379106082906136106908163\ 40092237/1391544829280927924891334735731233441984591889840178827724\ 383501522801780934778896882145845369104507830080512*c_1001_9^4 - 3421385162567127479317072330212918527159837912455501463724840449479\ 0895003064296168934548102333349663524001351/13915448292809279248913\ 3473573123344198459188984017882772438350152280178093477889688214584\ 5369104507830080512*c_1001_9^3 + 3463125305662132700793637264276241\ 4886400486028407971026442676008098832427888968762724214669101515460\ 54471177/3478862073202319812228336839328083604961479724600447069310\ 95875380700445233694724220536461342276126957520128*c_1001_9^2 - 1952745826926472151187914134869343750765614656109906680167802998187\ 2063492512988468087500794865279576058235/43485775915028997652854210\ 4916010450620184965575055883663869844225875556542118405275670576677\ 84515869690016*c_1001_9 - 11303586428008522562462383749242399859947\ 0003250509507711045167126709800849429661760182982146860556458209/27\ 1786099468931235330338815572506531637615603484409927289918652641172\ 2228388240032972941104236532241855626, c_0101_11 - 14496579101053383136478701661434132338377646990232370376303\ 178584343512773178446020725833037894783794181/347886207320231981222\ 8336839328083604961479724600447069310958753807004452336947242205364\ 61342276126957520128*c_1001_9^27 + 4574751641080043845154801265851857109650249458291944285413761879809\ 5469802450113205301086732044911729983/34788620732023198122283368393\ 2808360496147972460044706931095875380700445233694724220536461342276\ 126957520128*c_1001_9^26 + 4366023642278771282884360256912990665123\ 68876943308041008897049927464757933777996282977607633852806363787/3\ 4788620732023198122283368393280836049614797246004470693109587538070\ 0445233694724220536461342276126957520128*c_1001_9^25 - 4371374237415972178871132051415986023275924133944283731585349138849\ 46532480560151807705664319790621716055/3478862073202319812228336839\ 3280836049614797246004470693109587538070044523369472422053646134227\ 6126957520128*c_1001_9^24 - 245802598215148821689369033790792913475\ 1080331684898783120577899735571078122777785717227788808606178619021\ /347886207320231981222833683932808360496147972460044706931095875380\ 700445233694724220536461342276126957520128*c_1001_9^23 + 3091516398085788645487790083410787331117311852379730139002715491853\ 0218856818857657645254429475773682190267/34788620732023198122283368\ 3932808360496147972460044706931095875380700445233694724220536461342\ 276126957520128*c_1001_9^22 + 1081244751344508356828368496830769355\ 1486011079867571085139290870238276920484925566157201250431915315813\ 445/217428879575144988264271052458005225310092482787527941831934922\ 11293777827105920263783528833892257934845008*c_1001_9^21 + 2331328354401313325528037616293846048383124990306785980010496976516\ 14302440892964254570599488242494666915611/3478862073202319812228336\ 8393280836049614797246004470693109587538070044523369472422053646134\ 2276126957520128*c_1001_9^20 - 409249039328250767362162433012713564\ 0478796155074313540359285653177428201109145894327902954238617434312\ 10387/1739431036601159906114168419664041802480739862300223534655479\ 37690350222616847362110268230671138063478760064*c_1001_9^19 - 3910970425001874478566689013707178510262817532442470108999806018774\ 267995435828005964347924111707964113328559/347886207320231981222833\ 6839328083604961479724600447069310958753807004452336947242205364613\ 42276126957520128*c_1001_9^18 - 49170824584854359468241395371693282\ 5473908356739662906604396542436033365377534421023618150628164016548\ 7537893/34788620732023198122283368393280836049614797246004470693109\ 5875380700445233694724220536461342276126957520128*c_1001_9^17 + 8313266169157628096297715575959003033644425165929811241898083654547\ 453266187854318006592065324338144270049571/347886207320231981222833\ 6839328083604961479724600447069310958753807004452336947242205364613\ 42276126957520128*c_1001_9^16 + 24007100319440543635695500038547652\ 2616422144564140470137528544067225359974096063770049559598828661947\ 7562925/21742887957514498826427105245800522531009248278752794183193\ 492211293777827105920263783528833892257934845008*c_1001_9^15 + 5210437832469123455372902280535021810493685750587595707079407481989\ 388968133524612125042076119494525755981511/434857759150289976528542\ 1049160104506201849655750558836638698442258755565421184052756705766\ 7784515869690016*c_1001_9^14 - 339417799154982687239938299005314382\ 5214058307919146631354721159639715057059574525524943525646547588504\ 503017/217428879575144988264271052458005225310092482787527941831934\ 92211293777827105920263783528833892257934845008*c_1001_9^13 - 5197105160682310858196626788996050174249016771131313249726627928607\ 1204729945784597054615014776873111530929355/86971551830057995305708\ 4209832020901240369931150111767327739688451751113084236810551341153\ 35569031739380032*c_1001_9^12 - 18737618235910513524072259976432441\ 6350512573459977647739644894600310925486547831805978025926799040718\ 006505837/347886207320231981222833683932808360496147972460044706931\ 095875380700445233694724220536461342276126957520128*c_1001_9^11 + 1465763196510688033722128699305065032075154802317685852907181678981\ 25029898530290383390592860473526965610464603/3478862073202319812228\ 3368393280836049614797246004470693109587538070044523369472422053646\ 1342276126957520128*c_1001_9^10 + 542553446630437876924832962787657\ 0510914227368194782169427450750482455443268807087717938915927112911\ 28741067315/3478862073202319812228336839328083604961479724600447069\ 31095875380700445233694724220536461342276126957520128*c_1001_9^9 + 6297408615374685220097112647170981129947069194018671162861194164350\ 45026993610391432129230723980668107432435713/3478862073202319812228\ 3368393280836049614797246004470693109587538070044523369472422053646\ 1342276126957520128*c_1001_9^8 + 3614641968728981420098969694191948\ 9214284670571119966653255975034008636546655725522619686731661119879\ 9833692901/34788620732023198122283368393280836049614797246004470693\ 1095875380700445233694724220536461342276126957520128*c_1001_9^7 + 9425789003439643155284200056452529241323081958787612988446658829464\ 443249065144900198593718068373068901176457/347886207320231981222833\ 6839328083604961479724600447069310958753807004452336947242205364613\ 42276126957520128*c_1001_9^6 - 328017887753028504143307332078676407\ 6588870925625699357869711014791035010866430387209918172449149806321\ 2700099/86971551830057995305708420983202090124036993115011176732773\ 968845175111308423681055134115335569031739380032*c_1001_9^5 - 4763156813512578503192606350711299087790290076734728597721216848089\ 2158619481551511692764276763645018588062331/34788620732023198122283\ 3683932808360496147972460044706931095875380700445233694724220536461\ 342276126957520128*c_1001_9^4 + 26294965007344631549053024361818762\ 1776832587437125609367935918798334767929426187439750969597912961810\ 19634183/3478862073202319812228336839328083604961479724600447069310\ 95875380700445233694724220536461342276126957520128*c_1001_9^3 + 2283104631365056993256123408853901346391970020083445970186371606086\ 767448037185424384149210244673738144545977/869715518300579953057084\ 2098320209012403699311501117673277396884517511130842368105513411533\ 5569031739380032*c_1001_9^2 - 7930992448204637817407467896494613984\ 3148595934252671436388501808145378501765891677859246731742362811673\ 031/543572198937862470660677631145013063275231206968819854579837305\ 2823444456776480065945882208473064483711252*c_1001_9 + 1518849877127967356972310159006759527437869856016227707153966173878\ 091178586931852408654134419440960182360/135893049734465617665169407\ 7862532658188078017422049636449593263205861114194120016486470552118\ 266120927813, c_0101_15 - 61586114286807669541651927395530080359209213235466259715091\ 467524832391586844161469408620093596047298397/139154482928092792489\ 1334735731233441984591889840178827724383501522801780934778896882145\ 845369104507830080512*c_1001_9^27 + 1732703036375771762639838335172490287439297367076487877984062910684\ 54923405792520809596812780080118780639/1391544829280927924891334735\ 7312334419845918898401788277243835015228017809347788968821458453691\ 04507830080512*c_1001_9^26 + 19025306252489550737070916465958412015\ 0133585964645153438471494551567275491041817557297078619992847423908\ 3/13915448292809279248913347357312334419845918898401788277243835015\ 22801780934778896882145845369104507830080512*c_1001_9^25 - 1174729361972089905637948544341244073985116104144590953776538704898\ 027033147893436688366177388349989881991/139154482928092792489133473\ 5731233441984591889840178827724383501522801780934778896882145845369\ 104507830080512*c_1001_9^24 - 1045790610331079015806053324294465449\ 3777520649838799454231091325654733101984659661159098207667981619585\ 181/139154482928092792489133473573123344198459188984017882772438350\ 1522801780934778896882145845369104507830080512*c_1001_9^23 + 1274752959428340447708529906109105413714841695207904824842475834185\ 07509170180666546543858581672223265967547/1391544829280927924891334\ 7357312334419845918898401788277243835015228017809347788968821458453\ 69104507830080512*c_1001_9^22 + 97000481095202681509416223576627380\ 8504940964232041354556515076086279479891643566738211795157985125347\ 25005/1739431036601159906114168419664041802480739862300223534655479\ 37690350222616847362110268230671138063478760064*c_1001_9^21 + 1281293149855190301913162258565681030800499718616907944876559647066\ 057028175702686260573613222227854467933251/139154482928092792489133\ 4735731233441984591889840178827724383501522801780934778896882145845\ 369104507830080512*c_1001_9^20 - 1443659512039409676342864141504850\ 8305053349540004819421829541436937677815443294963074735667524611912\ 14541871/6957724146404639624456673678656167209922959449200894138621\ 91750761400890467389448441072922684552253915040256*c_1001_9^19 - 1739754505558256934370162432197665865336127810961852547672899482497\ 2219570468481855599843138416906473942386279/13915448292809279248913\ 3473573123344198459188984017882772438350152280178093477889688214584\ 5369104507830080512*c_1001_9^18 - 275737402748039392008190615325443\ 8082232817585130639104681022880589599065250379514037992790719688957\ 3883144181/13915448292809279248913347357312334419845918898401788277\ 24383501522801780934778896882145845369104507830080512*c_1001_9^17 + 2242490099449326783157904449315932320509074507092114929240964337519\ 6645285505271158390191791496538326461834659/13915448292809279248913\ 3473573123344198459188984017882772438350152280178093477889688214584\ 5369104507830080512*c_1001_9^16 + 208396388227054362773222546716697\ 3161982627769626329323543751230171549606266827054179423318330467865\ 0184075573/17394310366011599061141684196640418024807398623002235346\ 5547937690350222616847362110268230671138063478760064*c_1001_9^15 + 3027662047791626346521493738835540114472040830048820891631484683635\ 3040192296401741208645959171763111464932847/17394310366011599061141\ 6841966404180248073986230022353465547937690350222616847362110268230\ 671138063478760064*c_1001_9^14 - 7094890829129123141461022717117075\ 4007143116410426370071563933121559729126990271468639843166992465753\ 32292533/8697155183005799530570842098320209012403699311501117673277\ 3968845175111308423681055134115335569031739380032*c_1001_9^13 - 2221215425903899882365919786956264032233130668364222955539761525408\ 50825273166425448910284821823253728223805779/3478862073202319812228\ 3368393280836049614797246004470693109587538070044523369472422053646\ 1342276126957520128*c_1001_9^12 - 115681398779058300344840728344382\ 1607243170647160594964900683103186932138497560156666845822429434388\ 469916531429/139154482928092792489133473573123344198459188984017882\ 7724383501522801780934778896882145845369104507830080512*c_1001_9^11 + 40878772841629541660430731436363522619455594267947022660660820371\ 401824437337086300189507595561432042298314459/139154482928092792489\ 1334735731233441984591889840178827724383501522801780934778896882145\ 845369104507830080512*c_1001_9^10 + 2182324645057244877721033273561982783797980424163919640104975113742\ 269213237367877694532069738853756060555262131/139154482928092792489\ 1334735731233441984591889840178827724383501522801780934778896882145\ 845369104507830080512*c_1001_9^9 + 3598182305179503019635098847592611334388164359207373166108122023843\ 763529970467386803643914421193760751159766609/139154482928092792489\ 1334735731233441984591889840178827724383501522801780934778896882145\ 845369104507830080512*c_1001_9^8 + 3235931252387838490225389220793718776701403293719463060923969845786\ 828440132270390834280842408157205935124861701/139154482928092792489\ 1334735731233441984591889840178827724383501522801780934778896882145\ 845369104507830080512*c_1001_9^7 + 1610388477803464575740377516352458652100002621687973893759991245640\ 868250064715688627185600398636775160921007657/139154482928092792489\ 1334735731233441984591889840178827724383501522801780934778896882145\ 845369104507830080512*c_1001_9^6 + 5254043088362099700641834662933760699370796182906619399277086737053\ 6068614195703540710938735220675044165466231/34788620732023198122283\ 3683932808360496147972460044706931095875380700445233694724220536461\ 342276126957520128*c_1001_9^5 - 17378508766319515115603514703759802\ 9588727170686078152394481874840202475291769338378060850338685825108\ 149894019/139154482928092792489133473573123344198459188984017882772\ 4383501522801780934778896882145845369104507830080512*c_1001_9^4 - 4782225244068117723230094648053949716167168319186603122471214104031\ 0663269520321307723430466052587145449576265/13915448292809279248913\ 3473573123344198459188984017882772438350152280178093477889688214584\ 5369104507830080512*c_1001_9^3 + 6127176220972924926767947817582971\ 7199188250609204183496106236417086940046777993572197032405758876640\ 95355407/3478862073202319812228336839328083604961479724600447069310\ 95875380700445233694724220536461342276126957520128*c_1001_9^2 + 4117246941392164288397262900835028134427418356628025511545328484066\ 32245807429825585582830531441406040595575/4348577591502899765285421\ 0491601045062018496557505588366386984422587555654211840527567057667\ 784515869690016*c_1001_9 - 2667663596789377318062951542786789836062\ 341544281763678400445600668787751848084776661087609225986395329459/\ 2717860994689312353303388155725065316376156034844099272899186526411\ 722228388240032972941104236532241855626, c_0101_16 + 57229368440143419583515711602405439022212117586497308046856\ 074865008502438194752984641333283113937504581/139154482928092792489\ 1334735731233441984591889840178827724383501522801780934778896882145\ 845369104507830080512*c_1001_9^27 - 1492756628150173428279241278106635053385868502198020566291013348386\ 84202284333304811681033162441551978703/1391544829280927924891334735\ 7312334419845918898401788277243835015228017809347788968821458453691\ 04507830080512*c_1001_9^26 - 18355144854656058293023221556771642493\ 4128571131634745074602895965860176649491215318755077573462118729967\ 5/13915448292809279248913347357312334419845918898401788277243835015\ 22801780934778896882145845369104507830080512*c_1001_9^25 + 8330789697649609066234174012089809665484658736297051312303080002008\ 15423435444239936216122693225169876807/1391544829280927924891334735\ 7312334419845918898401788277243835015228017809347788968821458453691\ 04507830080512*c_1001_9^24 + 11015627106244885590636433960602151870\ 6371367731964338240506357301767454846756777950027855052352801583556\ 77/1391544829280927924891334735731233441984591889840178827724383501\ 522801780934778896882145845369104507830080512*c_1001_9^23 - 1174464748346487139463205349835073642552938208541800630572482650775\ 79151242267223699710179803031561090344779/1391544829280927924891334\ 7357312334419845918898401788277243835015228017809347788968821458453\ 69104507830080512*c_1001_9^22 - 23492809224734722801236393237269596\ 9506915633108113577123667843716817073005131276581614808999756033792\ 00357/4348577591502899765285421049160104506201849655750558836638698\ 4422587555654211840527567057667784515869690016*c_1001_9^21 - 1264293944705880760997174481159964916759936403392394423495221601915\ 030654271658551473070903716642841318282203/139154482928092792489133\ 4735731233441984591889840178827724383501522801780934778896882145845\ 369104507830080512*c_1001_9^20 + 1431251508681588367585868535035626\ 6186087890146385140678113743005420657280822531748408475227276813529\ 78908203/6957724146404639624456673678656167209922959449200894138621\ 91750761400890467389448441072922684552253915040256*c_1001_9^19 + 1729217402641582649346044790470907331022979607660052062904655802768\ 0173281254610708183481187726980640262036751/13915448292809279248913\ 3473573123344198459188984017882772438350152280178093477889688214584\ 5369104507830080512*c_1001_9^18 + 269444354644062484489996417610055\ 5010774797436935556963773621984416373974554851993964511278393758589\ 5061484213/13915448292809279248913347357312334419845918898401788277\ 24383501522801780934778896882145845369104507830080512*c_1001_9^17 - 2513851667520159791338035787068461826265534843102610007352211942956\ 6436245224716012110868671304346071807188147/13915448292809279248913\ 3473573123344198459188984017882772438350152280178093477889688214584\ 5369104507830080512*c_1001_9^16 - 534834977808269308732573776561778\ 1368456551129490542563068595793898933586288229011194088309707612520\ 718657889/434857759150289976528542104916010450620184965575055883663\ 86984422587555654211840527567057667784515869690016*c_1001_9^15 - 2954506620038048851020007515849763670952097281540532480033686411632\ 1224402042657223882666922034401088309977015/17394310366011599061141\ 6841966404180248073986230022353465547937690350222616847362110268230\ 671138063478760064*c_1001_9^14 + 9550112029287031879924454667679236\ 9684983239299732882117552765614125152946327003878763392094699062618\ 00993585/8697155183005799530570842098320209012403699311501117673277\ 3968845175111308423681055134115335569031739380032*c_1001_9^13 + 2367408381575890727737352309694537524486809549082049330600270324944\ 26817190182468142282939089847332187523601547/3478862073202319812228\ 3368393280836049614797246004470693109587538070044523369472422053646\ 1342276126957520128*c_1001_9^12 + 110922830332259523205946020094106\ 1572641753134480790851407948123906060680440547889053160706040119971\ 353214911213/139154482928092792489133473573123344198459188984017882\ 7724383501522801780934778896882145845369104507830080512*c_1001_9^11 - 31901795066452196372719686103299606397880696134298510978826094141\ 5989968610147683932044257728722758664305605227/13915448292809279248\ 9133473573123344198459188984017882772438350152280178093477889688214\ 5845369104507830080512*c_1001_9^10 - 2471545741964931553485553492035065964514303598313414853159467505864\ 002889831975762153295873811888618169871775555/139154482928092792489\ 1334735731233441984591889840178827724383501522801780934778896882145\ 845369104507830080512*c_1001_9^9 - 3395115403754678356124212788429178884830624872720665570956906897016\ 714793979838407817788749951971169728884403857/139154482928092792489\ 1334735731233441984591889840178827724383501522801780934778896882145\ 845369104507830080512*c_1001_9^8 - 2423155129327788732015676487191353991462869776259440272957800527868\ 099924270372399555321698989973284484159587733/139154482928092792489\ 1334735731233441984591889840178827724383501522801780934778896882145\ 845369104507830080512*c_1001_9^7 - 6469833059855486818799854373810926260244696453051862141904568584336\ 55015558900565720393288451802156154963839865/1391544829280927924891\ 3347357312334419845918898401788277243835015228017809347788968821458\ 45369104507830080512*c_1001_9^6 + 986291261188182591988093922439240\ 4617378233788045812631916989393811849165993581136615555774790628984\ 0640376871/34788620732023198122283368393280836049614797246004470693\ 1095875380700445233694724220536461342276126957520128*c_1001_9^5 + 2439135145191776363034404221677521900441229118194454885881120183212\ 63285788568659989673744354194927181640970619/1391544829280927924891\ 3347357312334419845918898401788277243835015228017809347788968821458\ 45369104507830080512*c_1001_9^4 - 123512311819061296660255481108786\ 4635906078764466297232075526067857983068091733023763904757190095746\ 34345853815/1391544829280927924891334735731233441984591889840178827\ 724383501522801780934778896882145845369104507830080512*c_1001_9^3 - 1548421419405450309381153936021147822887291850221204637429002836905\ 7777670080490666381469129560540509993745917/34788620732023198122283\ 3683932808360496147972460044706931095875380700445233694724220536461\ 342276126957520128*c_1001_9^2 + 22814001307935985886633706926504816\ 5184760269712475237819203990189484327602612248856880748910380548930\ 497031/108714439787572494132135526229002612655046241393763970915967\ 46105646888913552960131891764416946128967422504*c_1001_9 - 3116813069029976603535305414791701087107443578117832795758483857604\ 551677345766940949904879840291548102149/135893049734465617665169407\ 7862532658188078017422049636449593263205861114194120016486470552118\ 266120927813, c_0101_17 + 55062003068514940259898018822888573764501805365379571031994\ 00602090939698452766263196846959403289309/5435721989378624706606776\ 3114501306327523120696881985457983730528234444567764800659458822084\ 73064483711252*c_1001_9^27 - 92599729304463399619492268064665917579\ 70665143658832536445263539659153620300566619332748929411167881/2717\ 8609946893123533033881557250653163761560348440992728991865264117222\ 28388240032972941104236532241855626*c_1001_9^26 - 1567027885007269749691540436908950949621853743402362187309444723165\ 28121350349666110431547221459130733/5435721989378624706606776311450\ 1306327523120696881985457983730528234444567764800659458822084730644\ 83711252*c_1001_9^25 + 44493057830380624231682708403555254040890789\ 744869412778518817882685617989331172514157848246247930803/135893049\ 7344656176651694077862532658188078017422049636449593263205861114194\ 120016486470552118266120927813*c_1001_9^24 + 7542702592339528461511228729929981267685416210593015701617404717812\ 36116573204426721040882971232158177/5435721989378624706606776311450\ 1306327523120696881985457983730528234444567764800659458822084730644\ 83711252*c_1001_9^23 - 29098940828376097467400076215025958549834034\ 52260857541455889697189076310612884113115253131563942324332/1358930\ 4973446561766516940778625326581880780174220496364495932632058611141\ 94120016486470552118266120927813*c_1001_9^22 - 1565517749888891303010505707076366212042995234950728961529744928001\ 5870071098766944792017525805581029486/13589304973446561766516940778\ 6253265818807801742204963644959326320586111419412001648647055211826\ 6120927813*c_1001_9^21 - 872426933471901310462711836441627076741410\ 22514582552074156938942596668177845468901639802535394206939185/5435\ 7219893786247066067763114501306327523120696881985457983730528234444\ 56776480065945882208473064483711252*c_1001_9^20 + 2747559984591992590214979947581711531179792899712390851894146628636\ 34760388952768656506283302086919542921/5435721989378624706606776311\ 4501306327523120696881985457983730528234444567764800659458822084730\ 64483711252*c_1001_9^19 + 34526333263863684663690869557491423665939\ 9673017039093678514419760723033437235585892032730583100531177703/13\ 5893049734465617665169407786253265818807801742204963644959326320586\ 1114194120016486470552118266120927813*c_1001_9^18 + 1901980277526166812179714246777593664367649825591988354261475485138\ 940166705636295678348065373494481369619/543572198937862470660677631\ 1450130632752312069688198545798373052823444456776480065945882208473\ 064483711252*c_1001_9^17 - 1189860000997859451781513228247275049571\ 789925415390327314540993228658250722963636950046830927069364672811/\ 2717860994689312353303388155725065316376156034844099272899186526411\ 722228388240032972941104236532241855626*c_1001_9^16 - 6556752994687968359428452970574688492731022239953994229764275022505\ 004390750455460671259742468997705461365/271786099468931235330338815\ 5725065316376156034844099272899186526411722228388240032972941104236\ 532241855626*c_1001_9^15 - 4151386859266972338297944236619246883778\ 491900892543393135132027185900932959306798508159602415101271568660/\ 1358930497344656176651694077862532658188078017422049636449593263205\ 861114194120016486470552118266120927813*c_1001_9^14 + 3247819500140599133283015876561138116861378843547021261012147190965\ 377466434079427957763270598924848863721/135893049734465617665169407\ 7862532658188078017422049636449593263205861114194120016486470552118\ 266120927813*c_1001_9^13 + 1719570447875256622230475946883524352551\ 4991034038635031220421494503929327523620103209545613248742712696243\ /135893049734465617665169407786253265818807801742204963644959326320\ 5861114194120016486470552118266120927813*c_1001_9^12 + 7980318758582018747666125297089333986258383423530097922362334341934\ 8769239459416185712870021853826319322385/54357219893786247066067763\ 1145013063275231206968819854579837305282344445677648006594588220847\ 3064483711252*c_1001_9^11 - 816071844201200299350427464905710736464\ 6929997515551951126344968861131164589721793019140241714950349594681\ /271786099468931235330338815572506531637615603484409927289918652641\ 1722228388240032972941104236532241855626*c_1001_9^10 - 1732582520133710887161151014253764030895572296519584070368589400775\ 56805007748106498334129501273804292770189/5435721989378624706606776\ 3114501306327523120696881985457983730528234444567764800659458822084\ 73064483711252*c_1001_9^9 - 665242816514942920151040987136556895573\ 5062558962578701392205938825867280656161332451202314107566930236610\ 7/13589304973446561766516940778625326581880780174220496364495932632\ 05861114194120016486470552118266120927813*c_1001_9^8 - 2187009075015850738693352082098726467716710032539332396182254579972\ 19244021422612714615671488307610523415385/5435721989378624706606776\ 3114501306327523120696881985457983730528234444567764800659458822084\ 73064483711252*c_1001_9^7 - 222775182567163873938057170466225850564\ 7689593586381617202286249355995297332937746429310772976725902805932\ 0/13589304973446561766516940778625326581880780174220496364495932632\ 05861114194120016486470552118266120927813*c_1001_9^6 + 2930423768629521135708280364869378446049643739931353745106905128212\ 35268935746259867449606398276609151969/1358930497344656176651694077\ 8625326581880780174220496364495932632058611141941200164864705521182\ 66120927813*c_1001_9^5 + 148973884023110268434465696011433707829985\ 02478599932074935828276987441266100788819476509206355110400621045/5\ 4357219893786247066067763114501306327523120696881985457983730528234\ 44456776480065945882208473064483711252*c_1001_9^4 - 9819075834261649415820972307562780274808362829786652825521580422440\ 11456885660845814849314620569538695215/2717860994689312353303388155\ 7250653163761560348440992728991865264117222283882400329729411042365\ 32241855626*c_1001_9^3 - 672286019896770589383230378896052813765749\ 8195696034786962716501825131480042217002450244147450255322119131/27\ 1786099468931235330338815572506531637615603484409927289918652641172\ 2228388240032972941104236532241855626*c_1001_9^2 - 4556135917647302182535299400582392189969990364926293880209541668966\ 59565823271124960014100155255001726149/1358930497344656176651694077\ 8625326581880780174220496364495932632058611141941200164864705521182\ 66120927813*c_1001_9 + 12768325629846729289704905345255316087967313\ 96961802801555834699782217113687143900601676365018587642850747/1358\ 9304973446561766516940778625326581880780174220496364495932632058611\ 14194120016486470552118266120927813, c_0101_3 + 682367696858188429762116115475968538195503774244995310374848\ 9419420523020191570003248236884718856155717/55661793171237116995653\ 3894292493376793836755936071531089753400609120712373911558752858338\ 1476418031320322048*c_1001_9^27 - 990265136192770068319686619946006\ 5316200767078080372965133346082273168429677855016949010556520147811\ 35/5566179317123711699565338942924933767938367559360715310897534006\ 091207123739115587528583381476418031320322048*c_1001_9^26 - 2852864916453355717299921362442458068363526503605077679352305934275\ 08071730449102799287150595257659465307/5566179317123711699565338942\ 9249337679383675593607153108975340060912071237391155875285833814764\ 18031320322048*c_1001_9^25 - 35150089972895630480771515067476358704\ 5549749500799077137061224999460864013381491953778913798558094550713\ /556617931712371169956533894292493376793836755936071531089753400609\ 1207123739115587528583381476418031320322048*c_1001_9^24 + 2171428964261596063804998573630481236379858749315474884206715125787\ 899938932006509730705964211347056503773/556617931712371169956533894\ 2924933767938367559360715310897534006091207123739115587528583381476\ 418031320322048*c_1001_9^23 - 1190781912083948250040645532521673543\ 6068122896595285768516985080787288863828951640050740402721699808546\ 635/556617931712371169956533894292493376793836755936071531089753400\ 6091207123739115587528583381476418031320322048*c_1001_9^22 - 3971653690402871530792455344369081483114311876641942601207865675833\ 352929791925954746047352058114968243525/173943103660115990611416841\ 9664041802480739862300223534655479376903502226168473621102682306711\ 38063478760064*c_1001_9^21 - 32115191208755138266919943012002636241\ 7830712900186648378706107609392272346226001104692959220092370691461\ 851/556617931712371169956533894292493376793836755936071531089753400\ 6091207123739115587528583381476418031320322048*c_1001_9^20 + 1008401920410079680619665784951329953783408285944318149785836520370\ 04576840293822221685555715095803641811371/2783089658561855849782669\ 4714624668839691837796803576554487670030456035618695577937642916907\ 38209015660161024*c_1001_9^19 + 30926112752396492233894018646105112\ 6875403274742650712598522222771184870481750833831625477821666759507\ 8454031/55661793171237116995653389429249337679383675593607153108975\ 34006091207123739115587528583381476418031320322048*c_1001_9^18 + 6879406894813599950095999881383080103023909481454797641875367772511\ 918458630880318756850505250519724862076341/556617931712371169956533\ 8942924933767938367559360715310897534006091207123739115587528583381\ 476418031320322048*c_1001_9^17 - 1005784254531488758345285858682311\ 9430713097141765170341642026607320376037871367812893583673292046582\ 7292339/55661793171237116995653389429249337679383675593607153108975\ 34006091207123739115587528583381476418031320322048*c_1001_9^16 - 9902463205867674828805484654460006439116975276136903713039133958387\ 38067390600242914836371792784464546290209/1739431036601159906114168\ 4196640418024807398623002235346554793769035022261684736211026823067\ 1138063478760064*c_1001_9^15 - 783923769769849484439920999036334909\ 6789893377903735556419237378688220688205050006875074588635097728257\ 655863/695772414640463962445667367865616720992295944920089413862191\ 750761400890467389448441072922684552253915040256*c_1001_9^14 - 2224123014877884925776600342674045032370777634094103533660240796474\ 66838554624105125921221066398153078412111/3478862073202319812228336\ 8393280836049614797246004470693109587538070044523369472422053646134\ 2276126957520128*c_1001_9^13 + 466936453879162965609718240027832163\ 9680959862738853831462093192511762459866426038999551127256141228553\ 8072715/13915448292809279248913347357312334419845918898401788277243\ 83501522801780934778896882145845369104507830080512*c_1001_9^12 + 3054756603101871318576239639613078832828357938241654496222125034281\ 53872089336476927628704333416980038766893037/5566179317123711699565\ 3389429249337679383675593607153108975340060912071237391155875285833\ 81476418031320322048*c_1001_9^11 + 4648627005621601772425433474110906755534152078227210347610509367035\ 3044833711637201075132076739567171913470869/55661793171237116995653\ 3894292493376793836755936071531089753400609120712373911558752858338\ 1476418031320322048*c_1001_9^10 - 497082174946636005596486949941223\ 0270179212270783151691137060107009700181062249836223390366940761204\ 17180605507/5566179317123711699565338942924933767938367559360715310\ 897534006091207123739115587528583381476418031320322048*c_1001_9^9 - 8297061509914531175580541919995112907486530261315818170917684266335\ 47311231187375142613440575101627293215922321/5566179317123711699565\ 3389429249337679383675593607153108975340060912071237391155875285833\ 81476418031320322048*c_1001_9^8 - 688091011037448930693330446731261\ 3383735137240605975800045641676254000999804871564155082594447768460\ 42074004629/5566179317123711699565338942924933767938367559360715310\ 897534006091207123739115587528583381476418031320322048*c_1001_9^7 - 2672976504015049815080583811869717250233346154179858911329677721143\ 25797486975275896954384044556148818096528249/5566179317123711699565\ 3389429249337679383675593607153108975340060912071237391155875285833\ 81476418031320322048*c_1001_9^6 + 140299559046970359893073180620952\ 2143147093443381253290808488395628548289015226973232615812464223750\ 0542661671/13915448292809279248913347357312334419845918898401788277\ 24383501522801780934778896882145845369104507830080512*c_1001_9^5 + 6714915504608403735513617997645843144704910247779954592592162604919\ 2791123216097914327518078794782041107268731/55661793171237116995653\ 3894292493376793836755936071531089753400609120712373911558752858338\ 1476418031320322048*c_1001_9^4 - 3696353552797939752849090273588432\ 3907339390702173477485214685202668360316311743602894509283392477463\ 909707639/556617931712371169956533894292493376793836755936071531089\ 7534006091207123739115587528583381476418031320322048*c_1001_9^3 - 5620369284309050959329744194881635532697983677284989528029762586476\ 234831298835614919266663700596055299341821/139154482928092792489133\ 4735731233441984591889840178827724383501522801780934778896882145845\ 369104507830080512*c_1001_9^2 + 19003167953662058184401010008444251\ 0469220386927156065230637262257047732257312984690957436530292737008\ 11215/4348577591502899765285421049160104506201849655750558836638698\ 4422587555654211840527567057667784515869690016*c_1001_9 - 7777631886635657695635449556018765841039548657666111488323364257983\ 27370746356808474753848608807745545341/5435721989378624706606776311\ 4501306327523120696881985457983730528234444567764800659458822084730\ 64483711252, c_0101_7 - 236613889668596707568110048527397803363854508721033437212771\ 41576105385688285449594270331956110281127295/1391544829280927924891\ 3347357312334419845918898401788277243835015228017809347788968821458\ 45369104507830080512*c_1001_9^27 + 4073879109466554400184296471673992609970814433996513806006923991618\ 8313101833566868995857479126983222293/13915448292809279248913347357\ 3123344198459188984017882772438350152280178093477889688214584536910\ 4507830080512*c_1001_9^26 + 850636809004669225054967712746550755064\ 292640296787954179320545527030756710651285116841519386085955368729/\ 1391544829280927924891334735731233441984591889840178827724383501522\ 801780934778896882145845369104507830080512*c_1001_9^25 + 1955247889385833662498776429752295441558435518270227647321689847834\ 36224355210036887886321238167693952947/1391544829280927924891334735\ 7312334419845918898401788277243835015228017809347788968821458453691\ 04507830080512*c_1001_9^24 - 59197194972320669160498655303937449202\ 7181225952394913160336515500294311398978882250731287851110837946323\ 1/13915448292809279248913347357312334419845918898401788277243835015\ 22801780934778896882145845369104507830080512*c_1001_9^23 + 4612161546380816647031147334667509281360430789225076830375573172104\ 0113689489584460874641929167144307782025/13915448292809279248913347\ 3573123344198459188984017882772438350152280178093477889688214584536\ 9104507830080512*c_1001_9^22 + 449308808631219117678585857020123970\ 8824102362536842966125099270453633152239017489884160631393787586812\ 0687/17394310366011599061141684196640418024807398623002235346554793\ 7690350222616847362110268230671138063478760064*c_1001_9^21 + 7164283011202723318933701222730681346029263954711178434396995931567\ 04533890786232162029197612386468958302817/1391544829280927924891334\ 7357312334419845918898401788277243835015228017809347788968821458453\ 69104507830080512*c_1001_9^20 - 56281652114958994303746224281418767\ 3847202660725317632811150299269026160892420941585780417986351608599\ 379461/695772414640463962445667367865616720992295944920089413862191\ 750761400890467389448441072922684552253915040256*c_1001_9^19 - 8611666502288906858146311460489296129037434248044818659282953445967\ 403211977450373870005938893409889753300461/139154482928092792489133\ 4735731233441984591889840178827724383501522801780934778896882145845\ 369104507830080512*c_1001_9^18 - 1522052353014283203560283234202232\ 9311979946117720485660797836635796032058056120627737098425338800085\ 993798407/139154482928092792489133473573123344198459188984017882772\ 4383501522801780934778896882145845369104507830080512*c_1001_9^17 + 9411149068377910456324949827512391214196606242013288269153360969867\ 311730059149030132540455395234625121015937/139154482928092792489133\ 4735731233441984591889840178827724383501522801780934778896882145845\ 369104507830080512*c_1001_9^16 + 1106036867578191929349118351378714\ 5742162162929758968743365196179284562504931903776921482319189109638\ 153566119/173943103660115990611416841966404180248073986230022353465\ 547937690350222616847362110268230671138063478760064*c_1001_9^15 + 1699730037321562377496652110993091706904665305682333058059026902974\ 5203001411213806613827309831563887567523525/17394310366011599061141\ 6841966404180248073986230022353465547937690350222616847362110268230\ 671138063478760064*c_1001_9^14 - 3855158470010064973039891810475100\ 3012514630680851529844608369588517944985949865949545166025319257250\ 80907079/8697155183005799530570842098320209012403699311501117673277\ 3968845175111308423681055134115335569031739380032*c_1001_9^13 - 1286092239834268014654063384084752640657225224865682282335478800937\ 14757089886863319207844344621019357007878161/3478862073202319812228\ 3368393280836049614797246004470693109587538070044523369472422053646\ 1342276126957520128*c_1001_9^12 - 643737259028364951448758343840650\ 0786213655479292953393804990527017278782084129156731794036364535191\ 49497209943/1391544829280927924891334735731233441984591889840178827\ 724383501522801780934778896882145845369104507830080512*c_1001_9^11 + 1643761960470930923080652757655556245731702690190587324203836048101\ 79154193433126801797402998753428386626370025/1391544829280927924891\ 3347357312334419845918898401788277243835015228017809347788968821458\ 45369104507830080512*c_1001_9^10 + 1410780328694466126978589921449832435215309236887166679260303175962\ 833567695061845424173585204926528405558222385/139154482928092792489\ 1334735731233441984591889840178827724383501522801780934778896882145\ 845369104507830080512*c_1001_9^9 + 1860301706629761546565933512750796916418910882049331318518143427804\ 545232466201675683347708032125389362123882235/139154482928092792489\ 1334735731233441984591889840178827724383501522801780934778896882145\ 845369104507830080512*c_1001_9^8 + 1157671175560205079491117662840810394663245170840417383185656250711\ 191914366159327545331055714139786357871229623/139154482928092792489\ 1334735731233441984591889840178827724383501522801780934778896882145\ 845369104507830080512*c_1001_9^7 + 6348922186476889529871246676498443785446066408498995445595781993234\ 6899763576305280323415808643164265483840323/13915448292809279248913\ 3473573123344198459188984017882772438350152280178093477889688214584\ 5369104507830080512*c_1001_9^6 - 1224617023230809940179333645368598\ 1158568694128844291764121950469206749152755695989741848613503846447\ 0925239843/34788620732023198122283368393280836049614797246004470693\ 1095875380700445233694724220536461342276126957520128*c_1001_9^5 - 2437907119566405314050564139249555042284170590892258052936308045244\ 87332183815835000960318310520323093627282977/1391544829280927924891\ 3347357312334419845918898401788277243835015228017809347788968821458\ 45369104507830080512*c_1001_9^4 + 995866805228478227130485616914419\ 1370831771644802516644273883161823000592007873679264057971824804552\ 5058929245/13915448292809279248913347357312334419845918898401788277\ 24383501522801780934778896882145845369104507830080512*c_1001_9^3 + 1330775797046523655163502435501626547631091566738303945151181210347\ 9037625564059956997993819320635288989931237/34788620732023198122283\ 3683932808360496147972460044706931095875380700445233694724220536461\ 342276126957520128*c_1001_9^2 - 83687879563926334101153703547537966\ 5037904355868414510686548356241924675577760799025748840057340524798\ 191299/434857759150289976528542104916010450620184965575055883663869\ 84422587555654211840527567057667784515869690016*c_1001_9 + 4193331048641355429376494347088009110463714009411135025158527051538\ 416036360933168279358689282800243817711/271786099468931235330338815\ 5725065316376156034844099272899186526411722228388240032972941104236\ 532241855626, c_1001_1 + 117519550634290204329140213605418082192472099552541748999636\ 91781074991385229756757690353385849276106369/6957724146404639624456\ 6736786561672099229594492008941386219175076140089046738944844107292\ 2684552253915040256*c_1001_9^27 - 475483757508968283381084857423206\ 4597272855218478216707017885671823439179724952857521366717888717186\ 8027/69577241464046396244566736786561672099229594492008941386219175\ 0761400890467389448441072922684552253915040256*c_1001_9^26 - 3250454450937862421563448807129252852863891275323097082664143352370\ 75138735782303196063061360052656488375/6957724146404639624456673678\ 6561672099229594492008941386219175076140089046738944844107292268455\ 2253915040256*c_1001_9^25 + 685789700594888113186518416007807872271\ 011831707603219799963537899093656781365354925296259822953406935843/\ 6957724146404639624456673678656167209922959449200894138621917507614\ 00890467389448441072922684552253915040256*c_1001_9^24 + 1782810964997625726231569012653446980815179291434716999623261551808\ 203933597368569107850012292190671723281/695772414640463962445667367\ 8656167209922959449200894138621917507614008904673894484410729226845\ 52253915040256*c_1001_9^23 - 27025278927915245528510825304420550685\ 7667722275370915788836265635612859886459933665281797048821019355777\ 35/6957724146404639624456673678656167209922959449200894138621917507\ 61400890467389448441072922684552253915040256*c_1001_9^22 - 1479158927484272344136737138757960435415529069355480525397922115894\ 0863387862462545722895881850979885189491/86971551830057995305708420\ 9832020901240369931150111767327739688451751113084236810551341153355\ 69031739380032*c_1001_9^21 - 55275128050775575072607492536498602827\ 4921756946110934779846415437327181387997351913022878101030705680295\ 99/6957724146404639624456673678656167209922959449200894138621917507\ 61400890467389448441072922684552253915040256*c_1001_9^20 + 4365527896575089964941640421632656964196895354573222935047333504264\ 65568756473482187228648559782528462651699/3478862073202319812228336\ 8393280836049614797246004470693109587538070044523369472422053646134\ 2276126957520128*c_1001_9^19 + 262457725829070280758565352161586762\ 9227812496059082268783553718538510162889872675914051465484307908543\ 747507/695772414640463962445667367865616720992295944920089413862191\ 750761400890467389448441072922684552253915040256*c_1001_9^18 + 9514094770561835530311643593917811776913358388772562524320372864533\ 77296867406772344164861658975254996765641/6957724146404639624456673\ 6786561672099229594492008941386219175076140089046738944844107292268\ 4552253915040256*c_1001_9^17 - 111735709273062402711284894937604620\ 7718563069751359273776894083436283226532437319840083843504435891926\ 6776847/69577241464046396244566736786561672099229594492008941386219\ 1750761400890467389448441072922684552253915040256*c_1001_9^16 - 3267797085790658673252424280921318569155132560469864780219977083873\ 942244107916701113525857245657280765787947/869715518300579953057084\ 2098320209012403699311501117673277396884517511130842368105513411533\ 5569031739380032*c_1001_9^15 - 516418440270879865146659473716018103\ 4968927350625550478760517845049004164592266888894827191170255722091\ 74267/8697155183005799530570842098320209012403699311501117673277396\ 8845175111308423681055134115335569031739380032*c_1001_9^14 + 5144087420881900318192275345876529835289357385930962413623432253287\ 363035623963115181419286705511621163675281/434857759150289976528542\ 1049160104506201849655750558836638698442258755565421184052756705766\ 7784515869690016*c_1001_9^13 + 344932922636643788025441589638194743\ 0727515679280292655078402367363939149587109054425785968169771868216\ 2955055/17394310366011599061141684196640418024807398623002235346554\ 7937690350222616847362110268230671138063478760064*c_1001_9^12 - 8807434400875529921294532875206852469273193361185285487684322428284\ 784844221649362770291783842691730872989207/695772414640463962445667\ 3678656167209922959449200894138621917507614008904673894484410729226\ 84552253915040256*c_1001_9^11 - 29532174544849546951695963260685223\ 6462015213637001963719158915135065634300055295290652779706877212004\ 978490919/695772414640463962445667367865616720992295944920089413862\ 191750761400890467389448441072922684552253915040256*c_1001_9^10 - 3760722172657037764521604845704268022315065956552670845907937747517\ 93627012527301511547191343295283889450944991/6957724146404639624456\ 6736786561672099229594492008941386219175076140089046738944844107292\ 2684552253915040256*c_1001_9^9 - 1034791837971194065069534101759279\ 8210423933826582797037323954471561986476683085439562630000185675002\ 1647468309/69577241464046396244566736786561672099229594492008941386\ 2191750761400890467389448441072922684552253915040256*c_1001_9^8 + 2644413294097719074908951164910882623460418219552187064751022565416\ 60554784193315130148809037669830118644890503/6957724146404639624456\ 6736786561672099229594492008941386219175076140089046738944844107292\ 2684552253915040256*c_1001_9^7 + 4077250966947369235192158428206969\ 0587379978248477094032844173635137484701416274170090139435198316519\ 0841087699/69577241464046396244566736786561672099229594492008941386\ 2191750761400890467389448441072922684552253915040256*c_1001_9^6 + 6032578912156480207433644782027327871069369292588849619787687195105\ 1236534122238614699042732198844132777267313/17394310366011599061141\ 6841966404180248073986230022353465547937690350222616847362110268230\ 671138063478760064*c_1001_9^5 + 93633071604494691749424044622021574\ 0823421376750492460743589833754051643740850958574458478215968232760\ 271647/695772414640463962445667367865616720992295944920089413862191\ 750761400890467389448441072922684552253915040256*c_1001_9^4 - 5202519814581607205018344335326417860913946868485170083073572076603\ 0662224465572445021497283491849990513753107/69577241464046396244566\ 7367865616720992295944920089413862191750761400890467389448441072922\ 684552253915040256*c_1001_9^3 + 16418777144343965127684993544061031\ 6786693410004043167210415138187231692318771967833082722400199969776\ 732177/173943103660115990611416841966404180248073986230022353465547\ 937690350222616847362110268230671138063478760064*c_1001_9^2 + 2513492531618654051901441143954245548271705870246384612795345396431\ 34688259699932796949865387878385067683375/2174288795751449882642710\ 5245800522531009248278752794183193492211293777827105920263783528833\ 892257934845008*c_1001_9 - 1433351987061467121318480494113147755566\ 941805266506102822711727026221023378812363257375243368197584942119/\ 1358930497344656176651694077862532658188078017422049636449593263205\ 861114194120016486470552118266120927813, c_1001_14 + 23661388966859670756811004852739780336385450872103343721277\ 141576105385688285449594270331956110281127295/139154482928092792489\ 1334735731233441984591889840178827724383501522801780934778896882145\ 845369104507830080512*c_1001_9^27 - 4073879109466554400184296471673992609970814433996513806006923991618\ 8313101833566868995857479126983222293/13915448292809279248913347357\ 3123344198459188984017882772438350152280178093477889688214584536910\ 4507830080512*c_1001_9^26 - 850636809004669225054967712746550755064\ 292640296787954179320545527030756710651285116841519386085955368729/\ 1391544829280927924891334735731233441984591889840178827724383501522\ 801780934778896882145845369104507830080512*c_1001_9^25 - 1955247889385833662498776429752295441558435518270227647321689847834\ 36224355210036887886321238167693952947/1391544829280927924891334735\ 7312334419845918898401788277243835015228017809347788968821458453691\ 04507830080512*c_1001_9^24 + 59197194972320669160498655303937449202\ 7181225952394913160336515500294311398978882250731287851110837946323\ 1/13915448292809279248913347357312334419845918898401788277243835015\ 22801780934778896882145845369104507830080512*c_1001_9^23 - 4612161546380816647031147334667509281360430789225076830375573172104\ 0113689489584460874641929167144307782025/13915448292809279248913347\ 3573123344198459188984017882772438350152280178093477889688214584536\ 9104507830080512*c_1001_9^22 - 449308808631219117678585857020123970\ 8824102362536842966125099270453633152239017489884160631393787586812\ 0687/17394310366011599061141684196640418024807398623002235346554793\ 7690350222616847362110268230671138063478760064*c_1001_9^21 - 7164283011202723318933701222730681346029263954711178434396995931567\ 04533890786232162029197612386468958302817/1391544829280927924891334\ 7357312334419845918898401788277243835015228017809347788968821458453\ 69104507830080512*c_1001_9^20 + 56281652114958994303746224281418767\ 3847202660725317632811150299269026160892420941585780417986351608599\ 379461/695772414640463962445667367865616720992295944920089413862191\ 750761400890467389448441072922684552253915040256*c_1001_9^19 + 8611666502288906858146311460489296129037434248044818659282953445967\ 403211977450373870005938893409889753300461/139154482928092792489133\ 4735731233441984591889840178827724383501522801780934778896882145845\ 369104507830080512*c_1001_9^18 + 1522052353014283203560283234202232\ 9311979946117720485660797836635796032058056120627737098425338800085\ 993798407/139154482928092792489133473573123344198459188984017882772\ 4383501522801780934778896882145845369104507830080512*c_1001_9^17 - 9411149068377910456324949827512391214196606242013288269153360969867\ 311730059149030132540455395234625121015937/139154482928092792489133\ 4735731233441984591889840178827724383501522801780934778896882145845\ 369104507830080512*c_1001_9^16 - 1106036867578191929349118351378714\ 5742162162929758968743365196179284562504931903776921482319189109638\ 153566119/173943103660115990611416841966404180248073986230022353465\ 547937690350222616847362110268230671138063478760064*c_1001_9^15 - 1699730037321562377496652110993091706904665305682333058059026902974\ 5203001411213806613827309831563887567523525/17394310366011599061141\ 6841966404180248073986230022353465547937690350222616847362110268230\ 671138063478760064*c_1001_9^14 + 3855158470010064973039891810475100\ 3012514630680851529844608369588517944985949865949545166025319257250\ 80907079/8697155183005799530570842098320209012403699311501117673277\ 3968845175111308423681055134115335569031739380032*c_1001_9^13 + 1286092239834268014654063384084752640657225224865682282335478800937\ 14757089886863319207844344621019357007878161/3478862073202319812228\ 3368393280836049614797246004470693109587538070044523369472422053646\ 1342276126957520128*c_1001_9^12 + 643737259028364951448758343840650\ 0786213655479292953393804990527017278782084129156731794036364535191\ 49497209943/1391544829280927924891334735731233441984591889840178827\ 724383501522801780934778896882145845369104507830080512*c_1001_9^11 - 1643761960470930923080652757655556245731702690190587324203836048101\ 79154193433126801797402998753428386626370025/1391544829280927924891\ 3347357312334419845918898401788277243835015228017809347788968821458\ 45369104507830080512*c_1001_9^10 - 1410780328694466126978589921449832435215309236887166679260303175962\ 833567695061845424173585204926528405558222385/139154482928092792489\ 1334735731233441984591889840178827724383501522801780934778896882145\ 845369104507830080512*c_1001_9^9 - 1860301706629761546565933512750796916418910882049331318518143427804\ 545232466201675683347708032125389362123882235/139154482928092792489\ 1334735731233441984591889840178827724383501522801780934778896882145\ 845369104507830080512*c_1001_9^8 - 1157671175560205079491117662840810394663245170840417383185656250711\ 191914366159327545331055714139786357871229623/139154482928092792489\ 1334735731233441984591889840178827724383501522801780934778896882145\ 845369104507830080512*c_1001_9^7 - 6348922186476889529871246676498443785446066408498995445595781993234\ 6899763576305280323415808643164265483840323/13915448292809279248913\ 3473573123344198459188984017882772438350152280178093477889688214584\ 5369104507830080512*c_1001_9^6 + 1224617023230809940179333645368598\ 1158568694128844291764121950469206749152755695989741848613503846447\ 0925239843/34788620732023198122283368393280836049614797246004470693\ 1095875380700445233694724220536461342276126957520128*c_1001_9^5 + 2437907119566405314050564139249555042284170590892258052936308045244\ 87332183815835000960318310520323093627282977/1391544829280927924891\ 3347357312334419845918898401788277243835015228017809347788968821458\ 45369104507830080512*c_1001_9^4 - 995866805228478227130485616914419\ 1370831771644802516644273883161823000592007873679264057971824804552\ 5058929245/13915448292809279248913347357312334419845918898401788277\ 24383501522801780934778896882145845369104507830080512*c_1001_9^3 - 1330775797046523655163502435501626547631091566738303945151181210347\ 9037625564059956997993819320635288989931237/34788620732023198122283\ 3683932808360496147972460044706931095875380700445233694724220536461\ 342276126957520128*c_1001_9^2 + 83687879563926334101153703547537966\ 5037904355868414510686548356241924675577760799025748840057340524798\ 191299/434857759150289976528542104916010450620184965575055883663869\ 84422587555654211840527567057667784515869690016*c_1001_9 - 4193331048641355429376494347088009110463714009411135025158527051538\ 416036360933168279358689282800243817711/271786099468931235330338815\ 5725065316376156034844099272899186526411722228388240032972941104236\ 532241855626, c_1001_6 - 362059338992638081740320807361657918279592778026668026495022\ 51101170443758204868416978287969869805039035/1391544829280927924891\ 3347357312334419845918898401788277243835015228017809347788968821458\ 45369104507830080512*c_1001_9^27 + 8607591918253258629201688150738351080623664818197788453848556620659\ 9611263601454352069397356089279043889/13915448292809279248913347357\ 3123344198459188984017882772438350152280178093477889688214584536910\ 4507830080512*c_1001_9^26 + 119304201404853622885377376809262492213\ 9560219870969814212564436993916817712988325571330743977660790688165\ /139154482928092792489133473573123344198459188984017882772438350152\ 2801780934778896882145845369104507830080512*c_1001_9^25 - 2970724077296991857198532048803178600326047104419254535045550306759\ 51099825628239090031043296878342537913/1391544829280927924891334735\ 7312334419845918898401788277243835015228017809347788968821458453691\ 04507830080512*c_1001_9^24 - 73671901889611598812297345987016280773\ 8153267809826210456876413609431458869128022191496745259023866739203\ 5/13915448292809279248913347357312334419845918898401788277243835015\ 22801780934778896882145845369104507830080512*c_1001_9^23 + 7318413566244005967512769764493810393189430601249049066036239597588\ 8184482751935509903025417128180606620853/13915448292809279248913347\ 3573123344198459188984017882772438350152280178093477889688214584536\ 9104507830080512*c_1001_9^22 + 154422852809112393757722283624199340\ 5106458097611036282291322284549195419943075893453048281956926640886\ 1019/43485775915028997652854210491601045062018496557505588366386984\ 422587555654211840527567057667784515869690016*c_1001_9^21 + 8873661572551100242964759970817886073652294530856452291283789151723\ 36535909119520456128071463194481739094309/1391544829280927924891334\ 7357312334419845918898401788277243835015228017809347788968821458453\ 69104507830080512*c_1001_9^20 - 86530523582838136027494876909929755\ 2477485723727094102790466553389443302530917002351700138143719081029\ 142101/695772414640463962445667367865616720992295944920089413862191\ 750761400890467389448441072922684552253915040256*c_1001_9^19 - 1144662598268891893793455978140038280732791030874750849868013700318\ 4126927883990778754170787128527869199597809/13915448292809279248913\ 3473573123344198459188984017882772438350152280178093477889688214584\ 5369104507830080512*c_1001_9^18 - 189426869020567156238364228146502\ 1508037387514680015672337570648963269452748113869751748367027170563\ 3130283595/13915448292809279248913347357312334419845918898401788277\ 24383501522801780934778896882145845369104507830080512*c_1001_9^17 + 1423517258924964783417597392103088136445829505033988708980143302431\ 0235152926999468356985947073523230696954701/13915448292809279248913\ 3473573123344198459188984017882772438350152280178093477889688214584\ 5369104507830080512*c_1001_9^16 + 355469091863976231246688252740111\ 2931945694632633020560033835460265620497916937821365651408714477986\ 233664159/434857759150289976528542104916010450620184965575055883663\ 86984422587555654211840527567057667784515869690016*c_1001_9^15 + 2093490818473249930015998293317244832620985483667416152505352505513\ 9560661695246941101151257662000707816782793/17394310366011599061141\ 6841966404180248073986230022353465547937690350222616847362110268230\ 671138063478760064*c_1001_9^14 - 5234378088588954962137484381385092\ 7928152737074204756002861002914673755848436203519876024570242324322\ 60348175/8697155183005799530570842098320209012403699311501117673277\ 3968845175111308423681055134115335569031739380032*c_1001_9^13 - 1587031880423840177339634903837435640847408822615889249880034316098\ 98047138077858402073974706066098858305912181/3478862073202319812228\ 3368393280836049614797246004470693109587538070044523369472422053646\ 1342276126957520128*c_1001_9^12 - 792706964322688949293548903360334\ 9426551025001931846067791273945253149077544825800692642915949064695\ 32143590419/1391544829280927924891334735731233441984591889840178827\ 724383501522801780934778896882145845369104507830080512*c_1001_9^11 + 1497073446968769986630799673791485780007171964223956449282361431703\ 12605199053760064708005257938357136710557589/1391544829280927924891\ 3347357312334419845918898401788277243835015228017809347788968821458\ 45369104507830080512*c_1001_9^10 + 1659940338262448206450139177064250110499315967241967026878761063150\ 091666204366307088958882661537185074700367805/139154482928092792489\ 1334735731233441984591889840178827724383501522801780934778896882145\ 845369104507830080512*c_1001_9^9 + 2371320995537790514989263498094039974915964569488445628234495000469\ 445191441139706579711710722110065217947286383/139154482928092792489\ 1334735731233441984591889840178827724383501522801780934778896882145\ 845369104507830080512*c_1001_9^8 + 1756712525227956281071127844464291058452902322721700796927437955816\ 330514548557420407695258481906161240755991403/139154482928092792489\ 1334735731233441984591889840178827724383501522801780934778896882145\ 845369104507830080512*c_1001_9^7 + 5286615875634381355510788700763301720133280753542224250498393097047\ 38918737814084723911733797132496989631946887/1391544829280927924891\ 3347357312334419845918898401788277243835015228017809347788968821458\ 45369104507830080512*c_1001_9^6 - 602676592455751839055280272203520\ 2475026245615087641803823498295400099326777988855809006159725408525\ 7173038809/34788620732023198122283368393280836049614797246004470693\ 1095875380700445233694724220536461342276126957520128*c_1001_9^5 - 1720149536611076165186377949289481635480426432641383928215147520513\ 63402440839119923949565253139030791424274309/1391544829280927924891\ 3347357312334419845918898401788277243835015228017809347788968821458\ 45369104507830080512*c_1001_9^4 + 871119287106408297287899922263560\ 9866795561730515022046885767962332921344361915751236418577053547734\ 0273703049/13915448292809279248913347357312334419845918898401788277\ 24383501522801780934778896882145845369104507830080512*c_1001_9^3 + 1167867354053826389107619989921694410836062962906779798963234432133\ 8430022494231857749902527303376191960494595/34788620732023198122283\ 3683932808360496147972460044706931095875380700445233694724220536461\ 342276126957520128*c_1001_9^2 - 16628518415558448970773597504196428\ 4861864248689941377567417951189925264408920792187066015142292078593\ 206609/108714439787572494132135526229002612655046241393763970915967\ 46105646888913552960131891764416946128967422504*c_1001_9 + 2134972614884986989690617478797858505456119240862838564956324898246\ 680874500434386934114294583432906096595/135893049734465617665169407\ 7862532658188078017422049636449593263205861114194120016486470552118\ 266120927813, c_1001_9^28 - 3*c_1001_9^27 - 31*c_1001_9^26 + 27*c_1001_9^25 + 185*c_1001_9^24 - 2127*c_1001_9^23 - 12320*c_1001_9^22 - 17055*c_1001_9^21 + 57950*c_1001_9^20 + 281411*c_1001_9^19 + 355505*c_1001_9^18 - 606871*c_1001_9^17 - 2794912*c_1001_9^16 - 2990680*c_1001_9^15 + 4118480*c_1001_9^14 + 15303228*c_1001_9^13 + 13127049*c_1001_9^12 - 12225263*c_1001_9^11 - 40155367*c_1001_9^10 - 43119581*c_1001_9^9 - 21513745*c_1001_9^8 + 2689627*c_1001_9^7 + 9909740*c_1001_9^6 + 1542079*c_1001_9^5 - 3362955*c_1001_9^4 - 262500*c_1001_9^3 + 749952*c_1001_9^2 - 205824*c_1001_9 + 16384 ], Ideal of Polynomial ring of rank 19 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_14, c_0011_16, c_0011_3, c_0011_5, c_0101_0, c_0101_11, c_0101_15, c_0101_16, c_0101_17, c_0101_3, c_0101_7, c_1001_1, c_1001_14, c_1001_6, c_1001_9 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t - 2500557602985985391348240691575743139819119124293398403022384920833\ 857701693669713173101207/442907383839446354847643239715987891059870\ 9406038009804186686941960245984055961248071*c_1001_9^31 - 3918797045648230512716476328977606054001793632761215719952430353641\ 4430116895079111193608523/29527158922629756989842882647732526070658\ 06270692006536124457961306830656037307498714*c_1001_9^30 - 9621493368872201635094219688343542459573915084344110195077009328765\ 66207767000587791462087813/8858147676788927096952864794319757821197\ 418812076019608373373883920491968111922496142*c_1001_9^29 - 3367614183444207084753552888567368542629352480349296343674850969267\ 385212824554170161850926577/885814767678892709695286479431975782119\ 7418812076019608373373883920491968111922496142*c_1001_9^28 - 1274257772707772195490092103679116149311359838202668187138353875605\ 965498464741415247527260143/147635794613148784949214413238662630353\ 2903135346003268062228980653415328018653749357*c_1001_9^27 - 2802590485311786265119391242224193733650288553840132437780091064910\ 1546254824506189791234585011/88581476767889270969528647943197578211\ 97418812076019608373373883920491968111922496142*c_1001_9^26 - 1719821535300042237286052408304429754643893121248551003305784585231\ 7535335192084339591204420719/14763579461314878494921441323866263035\ 32903135346003268062228980653415328018653749357*c_1001_9^25 - 1858473700415001946530856155355842814299560007447738076805135725170\ 44410390028705161758206107205/8858147676788927096952864794319757821\ 197418812076019608373373883920491968111922496142*c_1001_9^24 - 3306691670805392378456052689003102649747837076233373835895029166993\ 06835773588773296902521553983/8858147676788927096952864794319757821\ 197418812076019608373373883920491968111922496142*c_1001_9^23 - 1028450036867335240534320196205222568926323079408056345464643683310\ 42040490732435401761296757684/1476357946131487849492144132386626303\ 532903135346003268062228980653415328018653749357*c_1001_9^22 - 9333853876182075003063476037796647281854518977403830707086077140054\ 60845066541446729532264767065/8858147676788927096952864794319757821\ 197418812076019608373373883920491968111922496142*c_1001_9^21 - 3986654185029624206824526430314606863994548723413683492699990953350\ 18560537044375662838752028739/2952715892262975698984288264773252607\ 065806270692006536124457961306830656037307498714*c_1001_9^20 - 2765845531917619080946900520151724162735383759006140809444652878345\ 74243456632769547730683159622/1476357946131487849492144132386626303\ 532903135346003268062228980653415328018653749357*c_1001_9^19 - 7583599164511689528596617548133915303029476426901544195199327798119\ 71231008690746136937285717849/2952715892262975698984288264773252607\ 065806270692006536124457961306830656037307498714*c_1001_9^18 - 8494402864569116606674369637389854953756377446527891814784544149345\ 37736944433808336147205003593/2952715892262975698984288264773252607\ 065806270692006536124457961306830656037307498714*c_1001_9^17 - 8012066436483314537573784482183996059387163344649336974014854667343\ 25015331470149111809898955159/2952715892262975698984288264773252607\ 065806270692006536124457961306830656037307498714*c_1001_9^16 - 2329692597646822059872473294563067583158300818774954593559515812444\ 256650853398209762449839281691/885814767678892709695286479431975782\ 1197418812076019608373373883920491968111922496142*c_1001_9^15 - 2418392291545867136637741293164811929949603778335595297114868687604\ 853030456420399255046299062225/885814767678892709695286479431975782\ 1197418812076019608373373883920491968111922496142*c_1001_9^14 - 7291631289268808556797161445905700470894968592590479942810014784632\ 42041515347732885489658804925/2952715892262975698984288264773252607\ 065806270692006536124457961306830656037307498714*c_1001_9^13 - 7044859344768324788448118940088534015702489600811752922841159572705\ 04879740818123491483500415545/4429073838394463548476432397159878910\ 598709406038009804186686941960245984055961248071*c_1001_9^12 - 1197803631144501644960502355689861969698025376171555692823840004196\ 1070954871558529874303411155/21605238236070553895006987303218921515\ 1156556392098039228618875217572974831998109662*c_1001_9^11 + 2028730917772809268856400848522915668664006025005304662197860427276\ 8393332878589926666449248923/29527158922629756989842882647732526070\ 65806270692006536124457961306830656037307498714*c_1001_9^10 + 1638447946860950934795614930466258024245194888012751197485726922325\ 03162735593944619517790221209/8858147676788927096952864794319757821\ 197418812076019608373373883920491968111922496142*c_1001_9^9 + 6972241850981864069744334311598246296778014228428596111639326659886\ 9993307757866505069816400339/88581476767889270969528647943197578211\ 97418812076019608373373883920491968111922496142*c_1001_9^8 - 4882030815413904574183210698033979585100849374193217639465998720604\ 15368697868980123669293934/1476357946131487849492144132386626303532\ 903135346003268062228980653415328018653749357*c_1001_9^7 - 3251032222317704719645771693478401960584014065247189863604510554122\ 18261405408436989458202481/2160523823607055389500698730321892151511\ 56556392098039228618875217572974831998109662*c_1001_9^6 - 3754785576156686065033263053848026527442088959718262822786221896937\ 937670244950320127975601931/885814767678892709695286479431975782119\ 7418812076019608373373883920491968111922496142*c_1001_9^5 + 2323155174859424222371712976654606376501394603841346721278095382277\ 20897488298163874228673109/2952715892262975698984288264773252607065\ 806270692006536124457961306830656037307498714*c_1001_9^4 + 5162832865153078537473572810968779758971970577617446224755301808251\ 05345246427335162476453975/8858147676788927096952864794319757821197\ 418812076019608373373883920491968111922496142*c_1001_9^3 + 2449548939291447994911196852480987537226898246889085160979771302691\ 5784193376271208796537965/88581476767889270969528647943197578211974\ 18812076019608373373883920491968111922496142*c_1001_9^2 - 7640315340254094685894376545629896889490528536770145733192391981149\ 1754913913125081559810/19511338495129795367737587652686691236117662\ 581665241428135184766344695965004234573*c_1001_9 - 1864972599486056374576325383091096658561514328786714253475557334153\ 733214201997135457123845/295271589226297569898428826477325260706580\ 6270692006536124457961306830656037307498714, c_0011_0 - 1, c_0011_10 + 31640207479850596982273240518228815627772036588443303329204\ 8207664439759099939/16718496873855380242797947692677261950092723095\ 790365140970861398811787972423*c_1001_9^31 + 7525335287030728478205268526332123344385638591579627689973872569562\ 969924041920/167184968738553802427979476926772619500927230957903651\ 40970861398811787972423*c_1001_9^30 + 6289046354649020662552893509307231088012441940047054878189877496636\ 6553533626915/16718496873855380242797947692677261950092723095790365\ 140970861398811787972423*c_1001_9^29 + 2290124001784921192065330533325333438217763315591666606152761250046\ 48945623268355/1671849687385538024279794769267726195009272309579036\ 5140970861398811787972423*c_1001_9^28 + 5357043616594639039700334949184329003336502470936408747608804253475\ 49234758073175/1671849687385538024279794769267726195009272309579036\ 5140970861398811787972423*c_1001_9^27 + 1884482814217169980402034762214968083273916785399741682555716202142\ 039200250635055/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^26 + 6971435274408122803089228707056711373748082858304812563475084765601\ 097100810142801/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^25 + 1337322091462251551370294119713998140900714409717961761792557298105\ 3924097046629634/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^24 + 2347630681589484128462105243047948603202471783607959293238887970649\ 3872194893271742/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^23 + 4374573305846870335571946970239879563563996755485533551261624866895\ 2840955930968675/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^22 + 6788027951707418544822057117855911962257493938345988745222264710196\ 6283935202657744/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^21 + 8825491358150521281622696807481469143905383925288199566775433692835\ 0472180902541442/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^20 + 1206629253415925807068449168802689063079818696369628974555282437381\ 44002378484038217/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^19 + 1665148816438558068715370335805857095948643236165658669917765107067\ 93582646128601224/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^18 + 1916266346290076365602590758587275967792594492552013938616559226533\ 56700864316919112/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^17 + 1839851380732356394397937773212248750538722206054993216842220859473\ 30774554777356393/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^16 + 1764296882155398125435406287440353212886665797897566550320133918336\ 62659817223680936/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^15 + 1821011161549090763577952167985345637448142220116638935895725628021\ 40547477166444283/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^14 + 1688699687890071376158327041897344373087262125850924249821275388345\ 36860169413122797/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^13 + 1149391750942149418397546188213662232636939823023558050958794916253\ 51039300547961691/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^12 + 4539906963870162334567064575084012517293779106498605493033590723144\ 7008568562065185/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^11 - 6604572014067734889943926286351490494923824739833545647570289540340\ 24160541827566/1671849687385538024279794769267726195009272309579036\ 5140970861398811787972423*c_1001_9^10 - 1233553868789381911006758711097426498604650779557330215705136550204\ 8052142705204211/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^9 - 6317151165183770752821744536289487734287702763949669303470024645820\ 660426165697401/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^8 - 2767228989984228358690175864601317198254041486177332290106534914477\ 99671116362470/1671849687385538024279794769267726195009272309579036\ 5140970861398811787972423*c_1001_9^7 + 1034458371028444946069727829188031366480045085685368817311082923202\ 398103712410156/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^6 + 3801981370862805092336421278336369098205454386980721810380595866866\ 83089176403350/1671849687385538024279794769267726195009272309579036\ 5140970861398811787972423*c_1001_9^5 - 3062678366555409915097472858178782749640173341095267531476690205474\ 2508738164256/16718496873855380242797947692677261950092723095790365\ 140970861398811787972423*c_1001_9^4 - 4664333804747495109031477359354150708079550885341457452451699183832\ 4366562730652/16718496873855380242797947692677261950092723095790365\ 140970861398811787972423*c_1001_9^3 - 5114179486852800087939393339309885787014453209892444489693190298508\ 307205524843/167184968738553802427979476926772619500927230957903651\ 40970861398811787972423*c_1001_9^2 + 2827135336563504728624325619686507148796683343935175637484263582513\ 702079745175/167184968738553802427979476926772619500927230957903651\ 40970861398811787972423*c_1001_9 + 6867889846493566863527671077405535546878585902228470924422716542066\ 43261677743/1671849687385538024279794769267726195009272309579036514\ 0970861398811787972423, c_0011_11 + 31911758229758776768166206033457685366130479024531884242711\ 538487629602969501/167184968738553802427979476926772619500927230957\ 90365140970861398811787972423*c_1001_9^31 + 7647075146607665235329238818833115586846749195688199035387117509924\ 04654626423/1671849687385538024279794769267726195009272309579036514\ 0970861398811787972423*c_1001_9^30 + 6486097902046909065134377008988941713247278834329296434152508027403\ 435875949340/167184968738553802427979476926772619500927230957903651\ 40970861398811787972423*c_1001_9^29 + 2439231592149211246531282104216778783795488376595605132836566506799\ 9043714055584/16718496873855380242797947692677261950092723095790365\ 140970861398811787972423*c_1001_9^28 + 5932635151893603043121701062273485393554913446813526455393415707437\ 7936584021003/16718496873855380242797947692677261950092723095790365\ 140970861398811787972423*c_1001_9^27 + 2028824632471762278900820099988605900868611859020807112980794731752\ 11354685754829/1671849687385538024279794769267726195009272309579036\ 5140970861398811787972423*c_1001_9^26 + 7428477348653674532546825227446823980684152766445072139068206021146\ 00326027578993/1671849687385538024279794769267726195009272309579036\ 5140970861398811787972423*c_1001_9^25 + 1503995966000865729962512863199871506192060613246802170111229148187\ 658844759378814/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^24 + 2711813642968487106154728067304497784266231611545275034770812380617\ 314608683075655/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^23 + 4937755404735423453897909586619319012818672460383703351938789809063\ 741566141835537/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^22 + 7870298896534881177394731796600789833894459837526739698546811390908\ 492040020737809/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^21 + 1056837484569951025119566988985693004259228834928666491735744178174\ 5978768494695830/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^20 + 1424919112335989615309081800936962213806006503068064546385133345686\ 1997749467321505/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^19 + 1953538458702758284817810502389430587446567014367718291003059753426\ 5398800701232124/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^18 + 2332117003907799097242278856558730122424696351344611755280636832442\ 2837860837894943/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^17 + 2319311826843092168564696336008886611648804083866532942317887475424\ 9220253038441953/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^16 + 2199113811562971824304589065513069347517182101444833623652140085481\ 9180814406661468/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^15 + 2227160395122465125275311232548012329374201469818568453588525949666\ 5952724120583098/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^14 + 2126295943259832798370434859084493259661134863941048610243931388488\ 7578566863218006/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^13 + 1559136203116130557072681484365933755127882750417801736130414865867\ 7725850189409473/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^12 + 7132160656189820181452482639500834785198091094530363031083020101471\ 529746427942861/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^11 + 6883347284460152055497594516168743961809951715726579409170638043421\ 94741779010087/1671849687385538024279794769267726195009272309579036\ 5140970861398811787972423*c_1001_9^10 - 1514852034294443937625463844065438350675229715858293034247878472006\ 671154766757481/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^9 - 1006713425232552876713397200657385856186408993703476241412810616166\ 951332828155420/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^8 - 1447246828103881736932488277307337849573985795741227864310990227137\ 16015799450842/1671849687385538024279794769267726195009272309579036\ 5140970861398811787972423*c_1001_9^7 + 1326160834947461421891814748103820761168275098231688497704917848887\ 18028064852938/1671849687385538024279794769267726195009272309579036\ 5140970861398811787972423*c_1001_9^6 + 6833194205839317476626893144567667936667763609946089362748418761077\ 6530716339406/16718496873855380242797947692677261950092723095790365\ 140970861398811787972423*c_1001_9^5 + 7664270728297191289597223609310566324272224808316078070217628394639\ 13209519761/1671849687385538024279794769267726195009272309579036514\ 0970861398811787972423*c_1001_9^4 - 7482524132311475310687872994314876940115191870285350296849548391803\ 773001861631/167184968738553802427979476926772619500927230957903651\ 40970861398811787972423*c_1001_9^3 - 1413578682465512115845539565450228337219217728657861828419635126125\ 045171295469/167184968738553802427979476926772619500927230957903651\ 40970861398811787972423*c_1001_9^2 + 3951390743622670157329121025841698046874466776947117452603273410515\ 16134708637/1671849687385538024279794769267726195009272309579036514\ 0970861398811787972423*c_1001_9 + 130076630684177768771049748853594\ 011423347355759321850935668514865354041836277/167184968738553802427\ 97947692677261950092723095790365140970861398811787972423, c_0011_14 + 78254420323289158650187944996591227251235874236969561918462\ 6274400101054245051/16718496873855380242797947692677261950092723095\ 790365140970861398811787972423*c_1001_9^31 + 1863851047244181076415803291133684735106093641665513935481746280126\ 0528009752600/16718496873855380242797947692677261950092723095790365\ 140970861398811787972423*c_1001_9^30 + 1561497011653629105182229873471471785311444798329807410213305208311\ 14313866081174/1671849687385538024279794769267726195009272309579036\ 5140970861398811787972423*c_1001_9^29 + 5711382769702739129375925550373959441000126099209845348236827195570\ 44076834569600/1671849687385538024279794769267726195009272309579036\ 5140970861398811787972423*c_1001_9^28 + 1340079231993549047317700778137134290030126823893893226660544471947\ 025241068487344/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^27 + 4693414006856991677685058572717909961874418502835108147912947539722\ 149425076443317/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^26 + 1737482043664699904950398466459113709973057025272264779847051798040\ 4348982036185300/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^25 + 3355068031459255827060730938378456851538145961743262918673490586087\ 0825125774185070/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^24 + 5879640856594522786892780897882570779406392578316006534510762803672\ 5196075187130447/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^23 + 1096263898342052511377768639936977824657431363316103248796582444782\ 00963998608426577/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^22 + 1705002434617794266631213399882092058654134915858761820732832381118\ 83966196341602106/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^21 + 2220026621568891879346577659147809074168955031789189309846283387330\ 79057729009908063/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^20 + 3032129731477107073255594610985220821004906575342028297994287577030\ 45680083269380822/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^19 + 4187343204856104919921850315535230764406406747669197394003399826264\ 64123372474537880/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^18 + 4830496307938803893794912507858486987254475727499641151602730441597\ 35517734155591085/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^17 + 4647977653507200122393840433758179919160585741909371619326103837870\ 46360313131244584/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^16 + 4456066387812893297618792706681785668292385971821133575040591405173\ 62941143244940776/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^15 + 4596359864632673810462836998534001156952393891743197923338316701269\ 58815670651652550/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^14 + 4271137124087135695481825296018101792083424850799723622054860989829\ 76066218355799960/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^13 + 2924211008472857821099779970986680531720793008553411916676237221882\ 67061465704722304/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^12 + 1172420176069598757014914493210969205051681548042812710969241463178\ 93906322668083298/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^11 - 1033374399466983495117057961508111502243738677947110918779853912737\ 4216570827080/16718496873855380242797947692677261950092723095790365\ 140970861398811787972423*c_1001_9^10 - 3072722692850988106506463987318639165285320145134459047773465250353\ 4037873015825051/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^9 - 1613298562061709528990728633119156886269422061082566205529790112233\ 8135737851944566/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^8 - 8853764187040657159793662456116842480624349081425295247068959763360\ 53160421456554/1671849687385538024279794769267726195009272309579036\ 5140970861398811787972423*c_1001_9^7 + 2574231625174315845371986388178942108824479399979419350133221091986\ 655610313646338/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^6 + 9790100689867675977654523634145110709991547621774133625661344137698\ 59568613090628/1671849687385538024279794769267726195009272309579036\ 5140970861398811787972423*c_1001_9^5 - 6693190740020092932426481115387345284739475361029467736037903761645\ 8995905144357/16718496873855380242797947692677261950092723095790365\ 140970861398811787972423*c_1001_9^4 - 1184590236482539671847960419579744259328447861677145981800968617941\ 17665858293379/1671849687385538024279794769267726195009272309579036\ 5140970861398811787972423*c_1001_9^3 - 1406226892323607415371074039546677201324439462571292024388236992683\ 3006268310644/16718496873855380242797947692677261950092723095790365\ 140970861398811787972423*c_1001_9^2 + 7003040982231927680881053679157919933521968045344844038969934699171\ 912254954930/167184968738553802427979476926772619500927230957903651\ 40970861398811787972423*c_1001_9 + 1816801510866866539116572537337537534055652603815367987653262397965\ 661364696485/167184968738553802427979476926772619500927230957903651\ 40970861398811787972423, c_0011_16 + 59298847761000288606156571155720198162709021613518445219991\ 0880510721760005042/16718496873855380242797947692677261950092723095\ 790365140970861398811787972423*c_1001_9^31 + 1407728112510581122132702873265022710684966507162626251592842233024\ 2772258425833/16718496873855380242797947692677261950092723095790365\ 140970861398811787972423*c_1001_9^30 + 1172444468662024515766339811232354151211671397469443088480246858958\ 12651117489524/1671849687385538024279794769267726195009272309579036\ 5140970861398811787972423*c_1001_9^29 + 4241004458509281257690048080100443259397419221643676698394788933247\ 15110671191136/1671849687385538024279794769267726195009272309579036\ 5140970861398811787972423*c_1001_9^28 + 9861881590885817290194565430811599222201089760397458847306801552678\ 00182709625946/1671849687385538024279794769267726195009272309579036\ 5140970861398811787972423*c_1001_9^27 + 3492489492793000298767237288066739468860527334054142954698306721332\ 778242686313609/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^26 + 1292128889453031668918713346116085618257703385912443587838766394985\ 1392579299668241/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^25 + 2452165017895678489024405261989757373160429248266476613086458103086\ 8877772702921974/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^24 + 4303932260589488489480865802027326870637796919806080499545556749170\ 3918288037010259/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^23 + 8037720776056575625075896874853616359985751038013576209011501681182\ 1051298097480199/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^22 + 1240940269167304995443580313254086824974391661964494571012374573130\ 01328482523734367/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^21 + 1607739339856961160459546843178074369987350517964510917635877838739\ 30433015305992789/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^20 + 2204586133005965333620169657326532076402641576340771127307878104537\ 77852132442450815/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^19 + 3040907150749195179903204480825666283108705924498322859974938432215\ 55691398049105097/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^18 + 3479878700758878287277926044351155146394771488330453169365840959318\ 08477963772113286/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^17 + 3328448002159360266789158787485294796374589518807591834920364509098\ 44344969661587124/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^16 + 3199495480121538224427949377373295904374982885254239131323433925911\ 83318842656237002/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^15 + 3307312531419113853307551659693299870060048554447555506463190530857\ 73932955567975607/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^14 + 3051620066780079928572514220692416148063110832656806836451678832396\ 78573743514239817/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^13 + 2055357108012323617453838195439096300640537421919209005485255665389\ 62988869959285071/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^12 + 7946769801998967371394541320385892638880431925013375589897153719415\ 5078563220204056/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^11 - 2530604160963966417428680725686277733706843858842126781831241488109\ 482580837419598/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^10 - 2238359566867515690607816174375264548499403384083352451352059452423\ 2847022321922381/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^9 - 1113616276845226529891815634432017746403894998431479895621172233520\ 9981766650978340/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^8 - 3826388048217488086360090506338201625668627719618270320859745889223\ 05665508400483/1671849687385538024279794769267726195009272309579036\ 5140970861398811787972423*c_1001_9^7 + 1844468804990184394431352894795645862577670593095546264609398793302\ 822383489973737/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^6 + 6578802046508810440105286505454470118018021649608325229825543798503\ 18266397423040/1671849687385538024279794769267726195009272309579036\ 5140970861398811787972423*c_1001_9^5 - 5798410982950903064953107402842828814824310193497544462554223331280\ 3104101036819/16718496873855380242797947692677261950092723095790365\ 140970861398811787972423*c_1001_9^4 - 8118022350245361697155257452049390208980965469464922890425117244384\ 0965755353340/16718496873855380242797947692677261950092723095790365\ 140970861398811787972423*c_1001_9^3 - 8571943071773440102304430042842286691901605169823025043086443408953\ 396364049786/167184968738553802427979476926772619500927230957903651\ 40970861398811787972423*c_1001_9^2 + 4881714533726335572691170403397780210562440738007923212472632514697\ 425455942394/167184968738553802427979476926772619500927230957903651\ 40970861398811787972423*c_1001_9 + 1179434188276061032420985808114317832983800920062198759217766330999\ 314660295846/167184968738553802427979476926772619500927230957903651\ 40970861398811787972423, c_0011_3 - 391539456537207896925021661446703025418334988223789201838196\ 243036299208329936/167184968738553802427979476926772619500927230957\ 90365140970861398811787972423*c_1001_9^31 - 9196678152331403361674770838125341673300070156243802032395722753587\ 995677253872/167184968738553802427979476926772619500927230957903651\ 40970861398811787972423*c_1001_9^30 - 7511945261167894807533253330009149098841244168083017861114640530759\ 1323183308665/16718496873855380242797947692677261950092723095790365\ 140970861398811787972423*c_1001_9^29 - 2614932460238116990084006665640839512457367814662663144711860924474\ 55148356510827/1671849687385538024279794769267726195009272309579036\ 5140970861398811787972423*c_1001_9^28 - 5881804921777174638140116989151947119396479810304076670918702992015\ 98128462215530/1671849687385538024279794769267726195009272309579036\ 5140970861398811787972423*c_1001_9^27 - 2167656256102736308040170363214918572770727535212714380143860616837\ 129554850162663/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^26 - 8008307394552627068566581974503018437716007861197125412784483740594\ 386613989889178/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^25 - 1425715620402764942469860271282592749472002150447150731352181846072\ 1539125726066362/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^24 - 2512251927820825520241735996801032396403415360455074745478331949878\ 4858414156503951/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^23 - 4726969583985886378956029832869349315460958184642195787620115872005\ 5494433904095493/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^22 - 7094636924914896982070251070523664513367827479687416316386223773603\ 5497046406474717/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^21 - 9000151909913596266856015791946986057034122371574235421637583396753\ 5485145217694710/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^20 - 1254580460443215424637038948819029314784826134393706314200187584112\ 41031858053572870/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^19 - 1724050218716486051787228398921763564922662940593408831213611226870\ 55205573254921808/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^18 - 1908282934956979209098066335708122408899820366456180614006538000633\ 31668656418675240/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^17 - 1778702589481077998058156232041281148519827942297582321462067375045\ 50386750160903286/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^16 - 1731977124260480522630373977167603316596923551665763791639529199136\ 74665920941334461/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^15 - 1809290518924539868722682629797407116030350975230889850806898141931\ 55441088867336479/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^14 - 1619489558306682201541041130327108561713883821229803732666964951609\ 97693228890456265/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^13 - 1012728802457204996509523333582757172262267092204559285827537168040\ 37011028072816921/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^12 - 3257763270972803380011650069757050752462605445120665982832900733389\ 1306673484280213/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^11 + 6517152441009120396448264275427293738626258068433740111102837947938\ 118211748152082/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^10 + 1220189746238388854845719276998112606374778119247504606920903957623\ 7622719489600855/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^9 + 4606872459250894592474917983721333354317445518383922288035681712516\ 945441937071381/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^8 - 4901597313042244333272697735904099155119553794368235209004363723411\ 76930328002053/1671849687385538024279794769267726195009272309579036\ 5140970861398811787972423*c_1001_9^7 - 9747062773947076672834576673613430141258128959364374195402874158679\ 31510430341130/1671849687385538024279794769267726195009272309579036\ 5140970861398811787972423*c_1001_9^6 - 2263632606712762370783069064132734806893747848639071064680264239719\ 48068409746474/1671849687385538024279794769267726195009272309579036\ 5140970861398811787972423*c_1001_9^5 + 6180022387080688078961535688461780726525980800750302115356586591129\ 6839687804736/16718496873855380242797947692677261950092723095790365\ 140970861398811787972423*c_1001_9^4 + 3418081724720938585546590137179261492497054222711050403371161948294\ 0563192971950/16718496873855380242797947692677261950092723095790365\ 140970861398811787972423*c_1001_9^3 + 2785988015845821862544459627636941394230972186082669412604831358659\ 32899733681/1671849687385538024279794769267726195009272309579036514\ 0970861398811787972423*c_1001_9^2 - 2400635755775701980961360010189446915987974033282453833645840245349\ 275250722032/167184968738553802427979476926772619500927230957903651\ 40970861398811787972423*c_1001_9 - 3213697656908422151287688256446515444451937562164272123997109609482\ 39991282188/1671849687385538024279794769267726195009272309579036514\ 0970861398811787972423, c_0011_5 + 350067563627876614257745206933932366678485613981391789552288\ 6159777588518757/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^31 + 8833285140905808616403337946054804006755451568036410055787376313195\ 0681660426/16718496873855380242797947692677261950092723095790365140\ 970861398811787972423*c_1001_9^30 + 8107677647153606596876743545342653652189990426692300889607360025833\ 92140550126/1671849687385538024279794769267726195009272309579036514\ 0970861398811787972423*c_1001_9^29 + 3408139805060664922545940793712701771257977109102725308877525540509\ 476873630199/167184968738553802427979476926772619500927230957903651\ 40970861398811787972423*c_1001_9^28 + 8505583735349092881864176482032075975173900122596781245444761987736\ 617984776359/167184968738553802427979476926772619500927230957903651\ 40970861398811787972423*c_1001_9^27 + 2566355994756004707102046385353987417526336047303135259278563724772\ 3041844647955/16718496873855380242797947692677261950092723095790365\ 140970861398811787972423*c_1001_9^26 + 9907528115230931066323663349188439539913009194244722512916736791767\ 8508715063263/16718496873855380242797947692677261950092723095790365\ 140970861398811787972423*c_1001_9^25 + 2290519567300571336652025327465725442658454862021063997832692883606\ 02543771019740/1671849687385538024279794769267726195009272309579036\ 5140970861398811787972423*c_1001_9^24 + 3590522711085917931246010679314689552542468557621864200557161752679\ 34291177169157/1671849687385538024279794769267726195009272309579036\ 5140970861398811787972423*c_1001_9^23 + 6601893867349688289909743725578587413103066061306866947402538214651\ 48513631298387/1671849687385538024279794769267726195009272309579036\ 5140970861398811787972423*c_1001_9^22 + 1115632683030398243366237203593593548269295886759854469958719102588\ 696390787687953/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^21 + 1409095068690877229720445951406296859661893841903576304268351301497\ 361495130800851/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^20 + 1786423001131895271163902972530828505139995438848849014317924840944\ 656205379998144/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^19 + 2601277384773205630303330142365858499130918475914297135115257280186\ 505110899452104/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^18 + 3126648001976390529039945610516922834226216137749529507824150101016\ 202414601196882/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^17 + 2789734526264879528995574634868741701128619347464247508444284466705\ 264548891259486/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^16 + 2439655808853879170226707948512436974006140829816604280708360172132\ 464787026122355/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^15 + 2655169981628696634490111669431745405960041836504052669752913737886\ 101915187588863/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^14 + 2615172570507143304656478924024931276728324281319728247921002524617\ 767593169446276/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^13 + 1645339465468073239102833477012450866131345977019448168450332501424\ 538819429530010/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^12 + 3348358455797130462395236504645371191869943455685295169956492168766\ 85730159056560/1671849687385538024279794769267726195009272309579036\ 5140970861398811787972423*c_1001_9^11 - 3932564666628708088064248660156994811293718000655936681649790880863\ 84037536301872/1671849687385538024279794769267726195009272309579036\ 5140970861398811787972423*c_1001_9^10 - 3784655082144373448446988251581212584029677355313109691597573172383\ 05181179736807/1671849687385538024279794769267726195009272309579036\ 5140970861398811787972423*c_1001_9^9 - 1017088920901467155277789569738352761055064108816063619236424000006\ 49777618796703/1671849687385538024279794769267726195009272309579036\ 5140970861398811787972423*c_1001_9^8 + 4252318253304904792797482481049277144606244530307106796780095597898\ 1698845020062/16718496873855380242797947692677261950092723095790365\ 140970861398811787972423*c_1001_9^7 + 3546679048717821998126661593677098699262984288632827982933820928681\ 8219625328290/16718496873855380242797947692677261950092723095790365\ 140970861398811787972423*c_1001_9^6 + 2955909195300258969333513251680579652335871415335536757785146880996\ 061117898041/167184968738553802427979476926772619500927230957903651\ 40970861398811787972423*c_1001_9^5 - 4499259862951106230993335938940613383853542888358503820300753060598\ 105775195738/167184968738553802427979476926772619500927230957903651\ 40970861398811787972423*c_1001_9^4 - 1199958179095902878972292855223947486376932104432931616282381447978\ 097323180592/167184968738553802427979476926772619500927230957903651\ 40970861398811787972423*c_1001_9^3 + 2459212954973822421797386142429000480265031705922430764196629290913\ 47439147289/1671849687385538024279794769267726195009272309579036514\ 0970861398811787972423*c_1001_9^2 + 1000760148940974582140624196189661464517806989002557470950212996538\ 37017378449/1671849687385538024279794769267726195009272309579036514\ 0970861398811787972423*c_1001_9 - 882244989075377931639207677677553\ 2227320212627057477634774259441050322884399/16718496873855380242797\ 947692677261950092723095790365140970861398811787972423, c_0101_0 - 690009656796707931798469406124605343644799456641908147482478\ 133877215060599352/167184968738553802427979476926772619500927230957\ 90365140970861398811787972423*c_1001_9^31 - 1649832397202291597371612744610921472414224612951541867441218455156\ 1497466334972/16718496873855380242797947692677261950092723095790365\ 140970861398811787972423*c_1001_9^30 - 1391769539207091756974042402802133335996985150974556633660736838322\ 76314982146392/1671849687385538024279794769267726195009272309579036\ 5140970861398811787972423*c_1001_9^29 - 5156824798901580407615024961993113562628062928495632691670299481623\ 86457712150308/1671849687385538024279794769267726195009272309579036\ 5140970861398811787972423*c_1001_9^28 - 1222879518889462626632082703371153990306396154377727013175168555951\ 067287342216318/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^27 - 4229266456183385141528722356340157638429349213446246686258157117327\ 162414007848295/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^26 - 1566184437246158371346844106317359358904361505852255540245732983798\ 4411902212558793/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^25 - 3084846841936595867629805141646798412304341060916210385604025490713\ 2403762288960531/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^24 - 5401685895867230466020137971202195545865451016611182119158150975408\ 4019232413311938/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^23 - 1004618483845414004244819558333477962935605586871196691744661193130\ 26546309623701208/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^22 - 1575550001430457746312713102941060881995445626855958874738712043352\ 26464479537947176/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^21 - 2063832006800385691210023439582236771517441329888895461300864522742\ 31867749895401109/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^20 - 2805742190395913803666683708027966700040633928330216388869065383533\ 26299110021192899/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^19 - 3878437891009986601942073339121613899657870317108822796343721534376\ 02767868757322190/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^18 - 4515473616925209264877569062111568866689570307378593311928900804594\ 26682105928113286/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^17 - 4374339967892530808696714085740973509321480241497434876290348696764\ 12882375288136713/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^16 - 4179429886403166664181501979176176657097848468891833165751127809420\ 63322733746327293/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^15 - 4298770034299143518119712999589275283525222074473433951012119227893\ 98087457335179170/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^14 - 4026179055736012145746713224628981676103329583931855661559800618827\ 23468419712892937/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^13 - 2805376388432093889680635091563856750208981327908118372038870735897\ 04271172380960174/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^12 - 1164918701020001985374808079046142681261864119702083946264987078885\ 63811866345139246/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^11 - 3160443915257851905779518240335958259388759757276160594554216886162\ 649701551355514/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^10 + 2882456919359475891841692649279258257957413864540878509045682179149\ 3894130275917835/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^9 + 1604880556645572478450756994497310844055542426773120026593591951569\ 2213667028758996/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^8 + 1265109121331328430358969035752875447387370745945611386232919556267\ 734613621568733/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^7 - 2438424271261691849798039042541663685237708433937474045319330868667\ 721044402322396/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^6 - 1003641390323534758559135591226586310794895927459327904387920139454\ 344334794833822/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^5 + 4380695949159417314845282401354218313690057101420050833430105765069\ 0550045056013/16718496873855380242797947692677261950092723095790365\ 140970861398811787972423*c_1001_9^4 + 1177911153180123745047941752056942391207654217211779915746060006275\ 51980398050774/1671849687385538024279794769267726195009272309579036\ 5140970861398811787972423*c_1001_9^3 + 1603133394508438598388955541484070884522061645183029031835701231117\ 3612865894091/16718496873855380242797947692677261950092723095790365\ 140970861398811787972423*c_1001_9^2 - 6753758376387942357133081728204313680520953323618569591664707645671\ 538752931531/167184968738553802427979476926772619500927230957903651\ 40970861398811787972423*c_1001_9 - 1913822690053571584853476231904940896073361844322091682935829651332\ 154665290795/167184968738553802427979476926772619500927230957903651\ 40970861398811787972423, c_0101_11 - 30564130022973565703949617764772530605094246861261337796182\ 2258232299845399812/16718496873855380242797947692677261950092723095\ 790365140970861398811787972423*c_1001_9^31 - 7098895557543036136008470638437044783638400109661110043760936058392\ 299446468902/167184968738553802427979476926772619500927230957903651\ 40970861398811787972423*c_1001_9^30 - 5677056385734308750423740786331911675350253346235820883300201156739\ 8633491716962/16718496873855380242797947692677261950092723095790365\ 140970861398811787972423*c_1001_9^29 - 1890729713047660828406334891302631040796668607704028499902534861837\ 70397450955836/1671849687385538024279794769267726195009272309579036\ 5140970861398811787972423*c_1001_9^28 - 4082057409614926557814322240162852884373010543399029707945429238005\ 03958215255889/1671849687385538024279794769267726195009272309579036\ 5140970861398811787972423*c_1001_9^27 - 1580259368397382776970475271085625524897530763492981330294577959673\ 639995746515179/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^26 - 5826198885076035915495778627065809113812761856993288711366129544132\ 338712981009809/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^25 - 9562637647646516419864320127017586435146843477667612271751834061245\ 859761235598473/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^24 - 1695787084154924676764679079569801056141181938282421908261015720310\ 1268073618800246/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^23 - 3218699509570637995265817942230050299428000509470971907897285205585\ 3058585338652209/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^22 - 4649556460240652388559212633995041446724747641943610553125009607039\ 8368400132413914/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^21 - 5720598775431507343671582168679777144739454818343982990695302140737\ 2518216288109577/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^20 - 8164302522706273754255606884794843343488300913059014770627375944511\ 2732803267932882/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^19 - 1115705212968536176167327448079583266857861383973061950733370419969\ 46706139293939189/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^18 - 1174805211164373177521455177032244597694473558854695269396247799078\ 84034380467672709/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^17 - 1049334900641541144346017033547747903254282759943693597232267549780\ 60518328950359781/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^16 - 1042831626148480566491487500119741491608276993733322840466086144766\ 75843102296516960/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^15 - 1108097181144859376067094773798762648635231377844591173688429044559\ 32595658708561030/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^14 - 9436869048462448654469035454714414036525375394688399649744559159102\ 3238982287777166/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^13 - 5112195874266972917693827424622657489739927466808280487202197898075\ 5101983674232758/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^12 - 9192938310559644104260749393077714625282828636042306984949232102299\ 652647922492676/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^11 + 9175450336696712280414556827825245321440813308098651693055685324952\ 483740390413094/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^10 + 7550124559709149396523127160764538298424091293598250564359296229815\ 739820314727605/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^9 + 1411051416812084548032387339038998216610720071259065953334885799496\ 579370351064457/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^8 - 9843711736509560483470582526224046160565536980347977667749785721957\ 93176750221988/1671849687385538024279794769267726195009272309579036\ 5140970861398811787972423*c_1001_9^7 - 5672573431673402705455998659274932440854692112915954112482722148232\ 12873655899492/1671849687385538024279794769267726195009272309579036\ 5140970861398811787972423*c_1001_9^6 - 7691206627080972582164129055493661915806840192804206608643100396713\ 906811506466/167184968738553802427979476926772619500927230957903651\ 40970861398811787972423*c_1001_9^5 + 6809017481313453153596191108364472017560604253085789905116332713602\ 1081611613513/16718496873855380242797947692677261950092723095790365\ 140970861398811787972423*c_1001_9^4 + 1077994198224403405156325955974451218711871112790783567055072617923\ 4674926640952/16718496873855380242797947692677261950092723095790365\ 140970861398811787972423*c_1001_9^3 - 4277405748080351530486188484182210919663078218630678708833025333947\ 061926171686/167184968738553802427979476926772619500927230957903651\ 40970861398811787972423*c_1001_9^2 - 1203334632222395364415501952447137963566311189738118035437068520341\ 938502073316/167184968738553802427979476926772619500927230957903651\ 40970861398811787972423*c_1001_9 + 1413092082969985630708852830589766416937391006998957983766526388264\ 35402708626/1671849687385538024279794769267726195009272309579036514\ 0970861398811787972423, c_0101_15 - 13548219390539193309862560599886991989708388759828420084759\ 57877727856930623267/1671849687385538024279794769267726195009272309\ 5790365140970861398811787972423*c_1001_9^31 - 3202504429668700959798172250472395523414627126541597256371471252269\ 6953569104309/16718496873855380242797947692677261950092723095790365\ 140970861398811787972423*c_1001_9^30 - 2646519062635713229422311585749951996644865633203539119179080045355\ 59309314640565/1671849687385538024279794769267726195009272309579036\ 5140970861398811787972423*c_1001_9^29 - 9429030823477216635428988141356786290151316001629736585349174720148\ 55817379018776/1671849687385538024279794769267726195009272309579036\ 5140970861398811787972423*c_1001_9^28 - 2164281975484861994494732613708306503218067896398646422819786383571\ 741965862529303/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^27 - 7783251863942878947371057011615056888250248176352314255472925762898\ 848027553032650/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^26 - 2878331943054849291533202076268754196198681370074923811593680880534\ 1094698698831619/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^25 - 5329797461536762358894826685503298791771341195844125346163065327497\ 7781373874370990/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^24 - 9364913148058887677390328068803474685781577418658835629035827785281\ 5038798487313759/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^23 - 1753887300722544825095267675483794856811934293122863427920601663952\ 78584762934733620/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^22 - 2679554717054463695737833939695444395266653859243895450829685379122\ 99352974835869330/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^21 - 3443196031394019372631335613127690984736137041157844227728394647256\ 98171655204601956/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^20 - 4749921466167992975287473479939251914615834938572073592411407161237\ 85394779751278363/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^19 - 6544290520767020068534910697164330207497195863245329590156717932673\ 09951152508273390/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^18 - 7396656338260093039338610513920359692369596021164631413740940413108\ 78797329186124085/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^17 - 7005284860366793466215568387970049906103975632626906473081403234186\ 26701207963677530/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^16 - 6765077030582588557353889895840999303096521345914680730079164936178\ 35623271730401775/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^15 - 7022811081965748658174709498888132046664423089810765641850828551708\ 59940788439117051/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^14 - 6408860805375666949474858693521738675345738682547719861677853837893\ 65876273773549085/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^13 - 4202741545225429270043006333685725852330868359774991844782799200596\ 55161376865715841/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^12 - 1528725644255998929224639329802795134868673095603113580917735018624\ 19718962237005680/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^11 + 1282352654365681997230477748058386539583499948250099197521187345234\ 9786435807931083/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^10 + 4735065501499497725779786636962521856121371338949629539542495101704\ 2072427190201409/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^9 + 2135101720868634341912578093811465585077209272211296958464539882365\ 0785846039631419/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^8 - 2740667487123406771870002617122250527570832098709062304395252949365\ 13639183287940/1671849687385538024279794769267726195009272309579036\ 5140970861398811787972423*c_1001_9^7 - 3872524455187865735643184501891868547292724211218349072967710327376\ 673583628644473/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^6 - 1191906929483787379609485543322656601163714867326492730848115027117\ 195729906862157/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^5 + 1716776240485256401449455952965799626838674268300444788480336387981\ 62466227112815/1671849687385538024279794769267726195009272309579036\ 5140970861398811787972423*c_1001_9^4 + 1573683232606332408486656304616314955917516411066065414014132085833\ 25878266367333/1671849687385538024279794769267726195009272309579036\ 5140970861398811787972423*c_1001_9^3 + 1132459344550466423783193432693497315774223195128187658116454673970\ 2961473449680/16718496873855380242797947692677261950092723095790365\ 140970861398811787972423*c_1001_9^2 - 1003828833953372927973907870367345047893828195794813222964422742462\ 8104979433488/16718496873855380242797947692677261950092723095790365\ 140970861398811787972423*c_1001_9 - 2010432735674337908151382356648024141525935589061927644893442961320\ 279084821645/167184968738553802427979476926772619500927230957903651\ 40970861398811787972423, c_0101_16 - 32377487471308520227661752398977647872190248139837280612317\ 7578888054907286877/16718496873855380242797947692677261950092723095\ 790365140970861398811787972423*c_1001_9^31 - 7757869592964735229762788862238983448284432868235475961698674769962\ 767079213073/167184968738553802427979476926772619500927230957903651\ 40970861398811787972423*c_1001_9^30 - 6567469756678577766106131548755858124593320603361269724182068597084\ 9430537653954/16718496873855380242797947692677261950092723095790365\ 140970861398811787972423*c_1001_9^29 - 2447662216934395771136490769395599004240101879420081453242081286561\ 41985685895959/1671849687385538024279794769267726195009272309579036\ 5140970861398811787972423*c_1001_9^28 - 5821187863860205915080058786750645067064100086175101350807173921766\ 62361523318661/1671849687385538024279794769267726195009272309579036\ 5140970861398811787972423*c_1001_9^27 - 2001190473577440633018303060762807848658446827681821864996180676903\ 704895249831997/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^26 - 7423622611279000463958467880033891178800904919248335936973795564709\ 166394159075707/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^25 - 1473963227839320197629701382845886861053880942110851405826426040528\ 3643779552494605/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^24 - 2569242802229546304865321479011186324059705455567504998128498440936\ 5981748034739492/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^23 - 4785317975602406553415864876689153317177704495148293027007697980564\ 3742446056963722/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^22 - 7523792251953569127624262847513545383775538856545261978155177015826\ 8206888302063840/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^21 - 9855678971853696063690776893565042867048115971598952215098992405598\ 9423086863340715/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^20 - 1337695886916615017261231134271453047283621912661978439784836114280\ 50855856304936863/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^19 - 1852208741312162219656606248247519538863959904246842353270906875572\ 10314714515687178/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^18 - 2160161250573647037350489760734736093822304260177812998725657757135\ 51922891083547434/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^17 - 2092489208168763207252580959068397299458655612637980856149548712670\ 27267682815376755/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^16 - 1997074988987463366105635742631971274986067480822038643410001069025\ 99869273036295296/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^15 - 2055212833467309146732942210649645221692788595171456790102592174503\ 85503141230213392/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^14 - 1928162378659986058876702822819043331220657227778806336545733649655\ 67096164109501962/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^13 - 1345997267231795615483522836519157710722045284182140914599919651920\ 25799347427415902/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^12 - 5598953275798619636856653104505427830329621525109542757444498576135\ 0973391273354194/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^11 - 1532750690855373378975645781128031687797449124664927119919231851982\ 437676764488486/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^10 + 1389512087420572616245905957680866501021540136732240446903639932204\ 2391821272837529/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^9 + 7763805754754969047174761235998558792792967296916536221241470467303\ 656190758131857/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^8 + 6354628717029880215190745775962612143174524674873557322797811510134\ 72056038298324/1671849687385538024279794769267726195009272309579036\ 5140970861398811787972423*c_1001_9^7 - 1167490963110797338134305111103181411174092582649920082962578760170\ 727198604866609/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^6 - 4856197236612865673398267545263085858993634483987294007189374499560\ 70068153902428/1671849687385538024279794769267726195009272309579036\ 5140970861398811787972423*c_1001_9^5 + 1845496848996604243905498251162852259648593089309923226561598783882\ 5211748165580/16718496873855380242797947692677261950092723095790365\ 140970861398811787972423*c_1001_9^4 + 5639101006651878444590334958192759439778634163986593010879015627226\ 7532680620894/16718496873855380242797947692677261950092723095790365\ 140970861398811787972423*c_1001_9^3 + 7886222402803125326061462957160334555954357467666350428690934039509\ 360522359150/167184968738553802427979476926772619500927230957903651\ 40970861398811787972423*c_1001_9^2 - 3193601810516145449717163536308040217731696196531205866088375234713\ 848429774354/167184968738553802427979476926772619500927230957903651\ 40970861398811787972423*c_1001_9 - 9495748459134204673261938900497010652844797847452989310208753443189\ 34407264937/1671849687385538024279794769267726195009272309579036514\ 0970861398811787972423, c_0101_17 - 35006756362787661425774520693393236667848561398139178955228\ 86159777588518757/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^31 - 8833285140905808616403337946054804006755451568036410055787376313195\ 0681660426/16718496873855380242797947692677261950092723095790365140\ 970861398811787972423*c_1001_9^30 - 8107677647153606596876743545342653652189990426692300889607360025833\ 92140550126/1671849687385538024279794769267726195009272309579036514\ 0970861398811787972423*c_1001_9^29 - 3408139805060664922545940793712701771257977109102725308877525540509\ 476873630199/167184968738553802427979476926772619500927230957903651\ 40970861398811787972423*c_1001_9^28 - 8505583735349092881864176482032075975173900122596781245444761987736\ 617984776359/167184968738553802427979476926772619500927230957903651\ 40970861398811787972423*c_1001_9^27 - 2566355994756004707102046385353987417526336047303135259278563724772\ 3041844647955/16718496873855380242797947692677261950092723095790365\ 140970861398811787972423*c_1001_9^26 - 9907528115230931066323663349188439539913009194244722512916736791767\ 8508715063263/16718496873855380242797947692677261950092723095790365\ 140970861398811787972423*c_1001_9^25 - 2290519567300571336652025327465725442658454862021063997832692883606\ 02543771019740/1671849687385538024279794769267726195009272309579036\ 5140970861398811787972423*c_1001_9^24 - 3590522711085917931246010679314689552542468557621864200557161752679\ 34291177169157/1671849687385538024279794769267726195009272309579036\ 5140970861398811787972423*c_1001_9^23 - 6601893867349688289909743725578587413103066061306866947402538214651\ 48513631298387/1671849687385538024279794769267726195009272309579036\ 5140970861398811787972423*c_1001_9^22 - 1115632683030398243366237203593593548269295886759854469958719102588\ 696390787687953/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^21 - 1409095068690877229720445951406296859661893841903576304268351301497\ 361495130800851/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^20 - 1786423001131895271163902972530828505139995438848849014317924840944\ 656205379998144/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^19 - 2601277384773205630303330142365858499130918475914297135115257280186\ 505110899452104/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^18 - 3126648001976390529039945610516922834226216137749529507824150101016\ 202414601196882/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^17 - 2789734526264879528995574634868741701128619347464247508444284466705\ 264548891259486/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^16 - 2439655808853879170226707948512436974006140829816604280708360172132\ 464787026122355/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^15 - 2655169981628696634490111669431745405960041836504052669752913737886\ 101915187588863/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^14 - 2615172570507143304656478924024931276728324281319728247921002524617\ 767593169446276/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^13 - 1645339465468073239102833477012450866131345977019448168450332501424\ 538819429530010/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^12 - 3348358455797130462395236504645371191869943455685295169956492168766\ 85730159056560/1671849687385538024279794769267726195009272309579036\ 5140970861398811787972423*c_1001_9^11 + 3932564666628708088064248660156994811293718000655936681649790880863\ 84037536301872/1671849687385538024279794769267726195009272309579036\ 5140970861398811787972423*c_1001_9^10 + 3784655082144373448446988251581212584029677355313109691597573172383\ 05181179736807/1671849687385538024279794769267726195009272309579036\ 5140970861398811787972423*c_1001_9^9 + 1017088920901467155277789569738352761055064108816063619236424000006\ 49777618796703/1671849687385538024279794769267726195009272309579036\ 5140970861398811787972423*c_1001_9^8 - 4252318253304904792797482481049277144606244530307106796780095597898\ 1698845020062/16718496873855380242797947692677261950092723095790365\ 140970861398811787972423*c_1001_9^7 - 3546679048717821998126661593677098699262984288632827982933820928681\ 8219625328290/16718496873855380242797947692677261950092723095790365\ 140970861398811787972423*c_1001_9^6 - 2955909195300258969333513251680579652335871415335536757785146880996\ 061117898041/167184968738553802427979476926772619500927230957903651\ 40970861398811787972423*c_1001_9^5 + 4499259862951106230993335938940613383853542888358503820300753060598\ 105775195738/167184968738553802427979476926772619500927230957903651\ 40970861398811787972423*c_1001_9^4 + 1199958179095902878972292855223947486376932104432931616282381447978\ 097323180592/167184968738553802427979476926772619500927230957903651\ 40970861398811787972423*c_1001_9^3 - 2459212954973822421797386142429000480265031705922430764196629290913\ 47439147289/1671849687385538024279794769267726195009272309579036514\ 0970861398811787972423*c_1001_9^2 - 1167945117679528384568603673116434084018734219960461122359921610526\ 48805350872/1671849687385538024279794769267726195009272309579036514\ 0970861398811787972423*c_1001_9 + 882244989075377931639207677677553\ 2227320212627057477634774259441050322884399/16718496873855380242797\ 947692677261950092723095790365140970861398811787972423, c_0101_3 + 106794465943603909085183239356819679203773567697068656726658\ 7310099945245819/35571269944373149452761590835483536064027070416575\ 2449807890668059825276009*c_1001_9^31 + 2516127656691393662316935256091150588191728200832882862400569841493\ 7263491436/35571269944373149452761590835483536064027070416575244980\ 7890668059825276009*c_1001_9^30 + 206715441530754830287509458661715\ 043621340874780969529214100345852631116049800/355712699443731494527\ 615908354835360640270704165752449807890668059825276009*c_1001_9^29 + 7283897661635283797559785607310076692482817353897349422204279154473\ 74287963497/3557126994437314945276159083548353606402707041657524498\ 07890668059825276009*c_1001_9^28 + 1658800883049681730281122157560686900883101832088413187195278467289\ 715904336217/355712699443731494527615908354835360640270704165752449\ 807890668059825276009*c_1001_9^27 + 6038767463334374394245818745805413757147027859481590120058172556462\ 350519007777/355712699443731494527615908354835360640270704165752449\ 807890668059825276009*c_1001_9^26 + 2229941131608204007057300915821652619612230348658017535486152604513\ 6194395463654/35571269944373149452761590835483536064027070416575244\ 9807890668059825276009*c_1001_9^25 + 4057825459571545788654416436777223692982062705681594899240589977069\ 2499414309730/35571269944373149452761590835483536064027070416575244\ 9807890668059825276009*c_1001_9^24 + 7168974106988825619516744721291759832794375833712854505614874805717\ 6394953652085/35571269944373149452761590835483536064027070416575244\ 9807890668059825276009*c_1001_9^23 + 1345757525062995404702881060759711372201118759157140085686149863928\ 28095566073049/3557126994437314945276159083548353606402707041657524\ 49807890668059825276009*c_1001_9^22 + 2047315984253314871472799707694412877277594597949604587402609912471\ 06569129513357/3557126994437314945276159083548353606402707041657524\ 49807890668059825276009*c_1001_9^21 + 2623904796363008512052607186646442260382747119431606894199304330328\ 94392931530989/3557126994437314945276159083548353606402707041657524\ 49807890668059825276009*c_1001_9^20 + 3647894465226087597370189180426606411434471817373971789626658053362\ 48861231347709/3557126994437314945276159083548353606402707041657524\ 49807890668059825276009*c_1001_9^19 + 5029417403757548683479881471419693553440627258176687563236514503574\ 16465165102835/3557126994437314945276159083548353606402707041657524\ 49807890668059825276009*c_1001_9^18 + 5652972770258511711190627226590823061675550647324713441016167284367\ 38920702524537/3557126994437314945276159083548353606402707041657524\ 49807890668059825276009*c_1001_9^17 + 5361992633772890475158433414763781025998981065046825487563546191159\ 98893081957367/3557126994437314945276159083548353606402707041657524\ 49807890668059825276009*c_1001_9^16 + 5256773324021481405718087571061368777326872149106797983425661888884\ 23389489922283/3557126994437314945276159083548353606402707041657524\ 49807890668059825276009*c_1001_9^15 + 5494034256742721097265363733184945500128162635785387543782091567555\ 96738441614687/3557126994437314945276159083548353606402707041657524\ 49807890668059825276009*c_1001_9^14 + 4983531277640468393777687603043249659324765577552780513437638894538\ 10693243127568/3557126994437314945276159083548353606402707041657524\ 49807890668059825276009*c_1001_9^13 + 3274933383690586189431372611225841946621621406766360184053393788027\ 47589181178418/3557126994437314945276159083548353606402707041657524\ 49807890668059825276009*c_1001_9^12 + 1285363283151964928743860176765021205463921788058938053823937670017\ 94573792088913/3557126994437314945276159083548353606402707041657524\ 49807890668059825276009*c_1001_9^11 + 7092066150611019123012513857370219624972634403696363282116956086377\ 642031253261/355712699443731494527615908354835360640270704165752449\ 807890668059825276009*c_1001_9^10 - 2187113554714727586483371117329711985416553997828830878101186114778\ 3352245868804/35571269944373149452761590835483536064027070416575244\ 9807890668059825276009*c_1001_9^9 - 9868314424330646288466720781753951688296966810596794137893842159543\ 724011353549/355712699443731494527615908354835360640270704165752449\ 807890668059825276009*c_1001_9^8 + 5182038255887690888762541776088941608873576990947680855186303336716\ 81625048244/3557126994437314945276159083548353606402707041657524498\ 07890668059825276009*c_1001_9^7 + 160263663096077763060163201618605\ 5299520614172316931408355330620868614880360722/35571269944373149452\ 7615908354835360640270704165752449807890668059825276009*c_1001_9^6 + 2953105073387853767465843563902672870765585135216379912734697422967\ 89202044714/3557126994437314945276159083548353606402707041657524498\ 07890668059825276009*c_1001_9^5 - 827886932755503089019106108049033\ 07481334508362091545414839440534777826497636/3557126994437314945276\ 15908354835360640270704165752449807890668059825276009*c_1001_9^4 - 8165075060167166978084031313128782748164877154809417187627187169290\ 01440279/3557126994437314945276159083548353606402707041657524498078\ 90668059825276009*c_1001_9^3 + 159033309435717633528666829583681910\ 11035519028104439718095227351013927127297/3557126994437314945276159\ 08354835360640270704165752449807890668059825276009*c_1001_9^2 + 1409416499182458567203082124499418428115971453988247542050824429747\ 035893976/355712699443731494527615908354835360640270704165752449807\ 890668059825276009*c_1001_9 - 1069782020646416425370684321856942199\ 338129449469648806429000722304295812734/355712699443731494527615908\ 354835360640270704165752449807890668059825276009, c_0101_7 + 111791841429594841601017730186839928500080709112769163885055\ 36009333439521623/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^31 + 1968372654788308043433931893110097813621798638379668494705398548362\ 67192561333/1671849687385538024279794769267726195009272309579036514\ 0970861398811787972423*c_1001_9^30 + 6089165387549718029486344722765940241446646140182314676826802270633\ 86526224800/1671849687385538024279794769267726195009272309579036514\ 0970861398811787972423*c_1001_9^29 - 4948025569863325367015258128351839067632636624387963061615303274920\ 862397813426/167184968738553802427979476926772619500927230957903651\ 40970861398811787972423*c_1001_9^28 - 2544651438911784856593857773533059168571148076216180171535133838491\ 0648424137928/16718496873855380242797947692677261950092723095790365\ 140970861398811787972423*c_1001_9^27 - 3085185601725611284267746999535101211979214551388690268352085839190\ 6220413702236/16718496873855380242797947692677261950092723095790365\ 140970861398811787972423*c_1001_9^26 - 1217707501234570772438072214447807517092717838173766102633289637549\ 53866036316875/1671849687385538024279794769267726195009272309579036\ 5140970861398811787972423*c_1001_9^25 - 8898643645414062971680906179122055765204936421276519471009011895064\ 80991313962568/1671849687385538024279794769267726195009272309579036\ 5140970861398811787972423*c_1001_9^24 - 1495352530919891210173942792317530294860144830645072924364577219568\ 406065349394995/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^23 - 2530115908487074472309536700167712292347899024225124728756115794813\ 030328917626356/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^22 - 5360737454580654616498614933071986723057994235224554037234023156989\ 964524206730200/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^21 - 8274014217938699635880200317844006950581815812163951215113500665707\ 019806824306043/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^20 - 9905054028475530819625524666089226724277146882034565216653976921460\ 772474740176308/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^19 - 1415962329508903666368050136400604935385704028104140410776648626332\ 6396478638634356/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^18 - 2076415090092765594900522888184263209343585587015605787673751744822\ 0884037683613194/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^17 - 2308839660589119386356497096808572854620495221058306198180952838378\ 9430698029433828/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^16 - 2069465839789748004070548931544622825229513192429122131808745988676\ 0949997993772885/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^15 - 2018394928561444020659318410037233427622773687422042869113885052578\ 9499409369562283/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^14 - 2215556446147481999222773554308871316094938867485047528575461794718\ 9625101676088694/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^13 - 2040547717935050310718080439598768296526605387537791729295267022134\ 1082149626454962/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^12 - 1261782069582105569753848527880361588482441109395923991953726446351\ 3952352336381021/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^11 - 3697133425789581832113643461789957642986680798921423025819429455797\ 391480787130957/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^10 + 1123309536663027185957024061432815021517174094488376369294184278464\ 753325278634196/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^9 + 1547956396001279914410534002189100277831575558845072989852862783189\ 626413661786095/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^8 + 4614883772377498122113087356926410040451682010188960785726112641293\ 83716185479893/1671849687385538024279794769267726195009272309579036\ 5140970861398811787972423*c_1001_9^7 - 1272774991374848961268237590161995913305376457489800674164813215346\ 90930985694390/1671849687385538024279794769267726195009272309579036\ 5140970861398811787972423*c_1001_9^6 - 1196905372271782958302108045740275172734817883649999397516960219151\ 18145535373500/1671849687385538024279794769267726195009272309579036\ 5140970861398811787972423*c_1001_9^5 - 1375032190584696518741475399952387584336955989806675492874981720980\ 9235049931894/16718496873855380242797947692677261950092723095790365\ 140970861398811787972423*c_1001_9^4 + 1142957882351267065415326641927335089861153988465119596117069995731\ 4502574461335/16718496873855380242797947692677261950092723095790365\ 140970861398811787972423*c_1001_9^3 + 3131204404858196825366848749099648475843562761566038597443018973211\ 567694951940/167184968738553802427979476926772619500927230957903651\ 40970861398811787972423*c_1001_9^2 - 5133551745186292509006905633894006935476907440435450004198949115833\ 08428521520/1671849687385538024279794769267726195009272309579036514\ 0970861398811787972423*c_1001_9 - 272393944076986903242299268249319\ 832209158972603105068120824243358527298949158/167184968738553802427\ 97947692677261950092723095790365140970861398811787972423, c_1001_1 + 592988477610002886061565711557201981627090216135184452199910\ 880510721760005042/167184968738553802427979476926772619500927230957\ 90365140970861398811787972423*c_1001_9^31 + 1407728112510581122132702873265022710684966507162626251592842233024\ 2772258425833/16718496873855380242797947692677261950092723095790365\ 140970861398811787972423*c_1001_9^30 + 1172444468662024515766339811232354151211671397469443088480246858958\ 12651117489524/1671849687385538024279794769267726195009272309579036\ 5140970861398811787972423*c_1001_9^29 + 4241004458509281257690048080100443259397419221643676698394788933247\ 15110671191136/1671849687385538024279794769267726195009272309579036\ 5140970861398811787972423*c_1001_9^28 + 9861881590885817290194565430811599222201089760397458847306801552678\ 00182709625946/1671849687385538024279794769267726195009272309579036\ 5140970861398811787972423*c_1001_9^27 + 3492489492793000298767237288066739468860527334054142954698306721332\ 778242686313609/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^26 + 1292128889453031668918713346116085618257703385912443587838766394985\ 1392579299668241/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^25 + 2452165017895678489024405261989757373160429248266476613086458103086\ 8877772702921974/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^24 + 4303932260589488489480865802027326870637796919806080499545556749170\ 3918288037010259/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^23 + 8037720776056575625075896874853616359985751038013576209011501681182\ 1051298097480199/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^22 + 1240940269167304995443580313254086824974391661964494571012374573130\ 01328482523734367/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^21 + 1607739339856961160459546843178074369987350517964510917635877838739\ 30433015305992789/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^20 + 2204586133005965333620169657326532076402641576340771127307878104537\ 77852132442450815/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^19 + 3040907150749195179903204480825666283108705924498322859974938432215\ 55691398049105097/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^18 + 3479878700758878287277926044351155146394771488330453169365840959318\ 08477963772113286/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^17 + 3328448002159360266789158787485294796374589518807591834920364509098\ 44344969661587124/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^16 + 3199495480121538224427949377373295904374982885254239131323433925911\ 83318842656237002/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^15 + 3307312531419113853307551659693299870060048554447555506463190530857\ 73932955567975607/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^14 + 3051620066780079928572514220692416148063110832656806836451678832396\ 78573743514239817/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^13 + 2055357108012323617453838195439096300640537421919209005485255665389\ 62988869959285071/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^12 + 7946769801998967371394541320385892638880431925013375589897153719415\ 5078563220204056/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^11 - 2530604160963966417428680725686277733706843858842126781831241488109\ 482580837419598/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^10 - 2238359566867515690607816174375264548499403384083352451352059452423\ 2847022321922381/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^9 - 1113616276845226529891815634432017746403894998431479895621172233520\ 9981766650978340/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^8 - 3826388048217488086360090506338201625668627719618270320859745889223\ 05665508400483/1671849687385538024279794769267726195009272309579036\ 5140970861398811787972423*c_1001_9^7 + 1844468804990184394431352894795645862577670593095546264609398793302\ 822383489973737/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^6 + 6578802046508810440105286505454470118018021649608325229825543798503\ 18266397423040/1671849687385538024279794769267726195009272309579036\ 5140970861398811787972423*c_1001_9^5 - 5798410982950903064953107402842828814824310193497544462554223331280\ 3104101036819/16718496873855380242797947692677261950092723095790365\ 140970861398811787972423*c_1001_9^4 - 8118022350245361697155257452049390208980965469464922890425117244384\ 0965755353340/16718496873855380242797947692677261950092723095790365\ 140970861398811787972423*c_1001_9^3 - 8571943071773440102304430042842286691901605169823025043086443408953\ 396364049786/167184968738553802427979476926772619500927230957903651\ 40970861398811787972423*c_1001_9^2 + 4881714533726335572691170403397780210562440738007923212472632514697\ 425455942394/167184968738553802427979476926772619500927230957903651\ 40970861398811787972423*c_1001_9 + 1179434188276061032420985808114317832983800920062198759217766330999\ 314660295846/167184968738553802427979476926772619500927230957903651\ 40970861398811787972423, c_1001_14 - 33308345258188397771599658642080082084407455771674918101758\ 7010415520082303032/16718496873855380242797947692677261950092723095\ 790365140970861398811787972423*c_1001_9^31 - 7671041608226355106431751223372073563842838383752355607677190373046\ 339105438455/167184968738553802427979476926772619500927230957903651\ 40970861398811787972423*c_1001_9^30 - 6034534429725515380172180030301395521044614099215687559670358927171\ 0093573059091/16718496873855380242797947692677261950092723095790365\ 140970861398811787972423*c_1001_9^29 - 1937627423355940255143571260093308397642983948763540925743652796000\ 65565788443905/1671849687385538024279794769267726195009272309579036\ 5140970861398811787972423*c_1001_9^28 - 4031415643061797561726823584255880585964155105232600626891315382838\ 25736126355411/1671849687385538024279794769267726195009272309579036\ 5140970861398811787972423*c_1001_9^27 - 1630475656983539215681826689284439256067943771289274243100173647501\ 046893482412156/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^26 - 6002278571517624880634049740555122573619741431166408152273980876153\ 108751530966184/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^25 - 9140056709591105129413036693891359345569240769431975925076761077616\ 408756256205285/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^24 - 1629962641553193210009029103158632685975186264820592025526985442626\ 4212507433887934/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^23 - 3122806541739498252411136030871104742820464505423381441539501774875\ 0239283316855757/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^22 - 4340096595730918751928033817093253207340395494708268916753613052800\ 1707239365620979/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^21 - 5164676449515585582215145386691811931378252616855713109390533332472\ 3978942046526397/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^20 - 7565608601785624477953061976394254453494190926643396931764680645346\ 9989318274584466/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^19 - 1028136199321263254361990654242560623118081839731346509049514677481\ 40175614262553337/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^18 - 1022737272217954522425141045028759648675833977116729239987442760800\ 53992675719954962/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^17 - 8661443805371577521292099411064023192363660489855830606083670309600\ 2099391750115674/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^16 - 8847565617106708645364818924953679189721647595707311478503243939630\ 5315057762814592/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^15 - 9603609164664161719771812059787094668420900791243389810916282458038\ 3906984670873696/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^14 - 7670677662810938285928944248489552136628218170442747072271577660815\ 5899539258157016/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^13 - 3292014049032605231988719611676384065525205292414040608720778562953\ 3658074729253187/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^12 + 3125151691459758614411250812320680246126146718715277205030751649878\ 492760413417318/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^11 + 1315531982986302197835671631437010241395697289011807890860377134048\ 8602522701930263/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^10 + 6488071641839451070972462657986504400467298386971852007854230247449\ 818620758168320/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^9 - 2675624125407258747837916139546518128753171594855175223288568959351\ 53535490027322/1671849687385538024279794769267726195009272309579036\ 5140970861398811787972423*c_1001_9^8 - 1526459092752255996956013578054131459162672129279428906823980835358\ 878238412059547/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^7 - 4282119805639289635235761510490741591203413052735116056646772734323\ 15546775165014/1671849687385538024279794769267726195009272309579036\ 5140970861398811787972423*c_1001_9^6 + 1379757368694260632771803348828513030611644056529073901352688954496\ 85062009251338/1671849687385538024279794769267726195009272309579036\ 5140970861398811787972423*c_1001_9^5 + 8846126061614953152713288002023094022365373577826283763937783322038\ 6525670701433/16718496873855380242797947692677261950092723095790365\ 140970861398811787972423*c_1001_9^4 - 2808164929679750635671253647160440302898184594633159101611363729296\ 480269101624/167184968738553802427979476926772619500927230957903651\ 40970861398811787972423*c_1001_9^3 - 8479498970967030510176466112308619195595306890597712201009209363286\ 712610833844/167184968738553802427979476926772619500927230957903651\ 40970861398811787972423*c_1001_9^2 - 6610360661847138996537193270580880050380979018127024216597908434022\ 98500915121/1671849687385538024279794769267726195009272309579036514\ 0970861398811787972423*c_1001_9 + 496513400809472600166632128055751\ 078402731969755589058360809679138250984455139/167184968738553802427\ 97947692677261950092723095790365140970861398811787972423, c_1001_6 + 227009830021775093966301181465197268623981082999234634274979\ 583910769380952357/167184968738553802427979476926772619500927230957\ 90365140970861398811787972423*c_1001_9^31 + 5411807731163641778253295020818542892890633873774041354412505867009\ 909728779748/167184968738553802427979476926772619500927230957903651\ 40970861398811787972423*c_1001_9^30 + 4540388969966280088862682877569113452565009196475440982620942832637\ 9284462980116/16718496873855380242797947692677261950092723095790365\ 140970861398811787972423*c_1001_9^29 + 1664102157913517013167223832874191537948914194579207721256743938921\ 76528063181605/1671849687385538024279794769267726195009272309579036\ 5140970861398811787972423*c_1001_9^28 + 3903695357621974981210155698539528687792185599812086619470436408271\ 42403609145085/1671849687385538024279794769267726195009272309579036\ 5140970861398811787972423*c_1001_9^27 + 1363852431529630331416144732028650423805137112918948428632199191400\ 679678635962989/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^26 + 5057363668947137080385458311366705237658914282842088574688629434191\ 473479016751181/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^25 + 9789169473942105360619566769288525471553535394908064823478934058504\ 702392863738841/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^24 + 1707566898116583554901453750822745395925211685481403944432593052585\ 3409356040073313/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^23 + 3189957744615402626021383197626109720266312557103478629963678641398\ 3275296783434834/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^22 + 4963373797848860683685168955637808969514233501581162352930139161018\ 4860037882782467/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^21 + 6449097576068363119786629188339795059185604205948879248708562341109\ 8387489712519817/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^20 + 8803396607053777593482429999283610597146429908162288419742310253534\ 8003328814023274/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^19 + 1217739171097308932842474809437960190161296761824345211399718535179\ 77843708000592770/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^18 + 1403438203692074488362991602851016248700345477226869038573147062767\ 98992855106856474/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^17 + 1346753394774009966268972984456909546598288872858118485847759287681\ 26032576750983354/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^16 + 1290587620385340467586164552392481354761523110990253339634308752159\ 88713394275249998/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^15 + 1333599552799420541435215496539083410941496584168978570058408891031\ 21811442859612145/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^14 + 1238563672816196160408063522258243491947813526144654906061821624908\ 69694032283620964/1671849687385538024279794769267726195009272309579\ 0365140970861398811787972423*c_1001_9^13 + 8443505227619177424633432007770409635120447065146839514508699166968\ 9889352424523287/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^12 + 3344415788784215389437339976037733543957384556925920048555816867055\ 7761367085786418/16718496873855380242797947692677261950092723095790\ 365140970861398811787972423*c_1001_9^11 - 3947802824561882869219237390625106107361606691356339954056430892407\ 79662233046618/1671849687385538024279794769267726195009272309579036\ 5140970861398811787972423*c_1001_9^10 - 9024126648782093106466835183488254649758806754625470209491047970821\ 015844021175434/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^9 - 4644163968819319221749293330125439462900753845092685659541722210892\ 068417023654528/167184968738553802427979476926772619500927230957903\ 65140970861398811787972423*c_1001_9^8 - 2216098332418326218696650106060347943000783673907255161023330588073\ 99443932647736/1671849687385538024279794769267726195009272309579036\ 5140970861398811787972423*c_1001_9^7 + 7502002253526997177053434834506650590228790648794994422506962858032\ 47344800765950/1671849687385538024279794769267726195009272309579036\ 5140970861398811787972423*c_1001_9^6 + 2793642319415659084756009131996974604264090890295646020957061115444\ 32558987959505/1671849687385538024279794769267726195009272309579036\ 5140970861398811787972423*c_1001_9^5 - 2014170541652665118605300483785520186328269720178566993193125845829\ 5699896260712/16718496873855380242797947692677261950092723095790365\ 140970861398811787972423*c_1001_9^4 - 3389641223495810692542415332576102524384850839323441852298733026690\ 5181518773827/16718496873855380242797947692677261950092723095790365\ 140970861398811787972423*c_1001_9^3 - 4018761487092788410030807139612410582587940802129654228595383367768\ 815461042229/167184968738553802427979476926772619500927230957903651\ 40970861398811787972423*c_1001_9^2 + 1946068823313222217734136067747977583233154800122372837384104078929\ 340008418697/167184968738553802427979476926772619500927230957903651\ 40970861398811787972423*c_1001_9 + 5213935561164934908698023866996150392695397249810215648996880220848\ 19118581482/1671849687385538024279794769267726195009272309579036514\ 0970861398811787972423, c_1001_9^32 + 24*c_1001_9^31 + 204*c_1001_9^30 + 769*c_1001_9^29 + 1868*c_1001_9^28 + 6386*c_1001_9^27 + 23463*c_1001_9^26 + 47555*c_1001_9^25 + 85294*c_1001_9^24 + 157750*c_1001_9^23 + 250424*c_1001_9^22 + 336669*c_1001_9^21 + 458623*c_1001_9^20 + 629907*c_1001_9^19 + 749001*c_1001_9^18 + 753309*c_1001_9^17 + 727982*c_1001_9^16 + 736768*c_1001_9^15 + 697754*c_1001_9^14 + 520568*c_1001_9^13 + 259126*c_1001_9^12 + 50926*c_1001_9^11 - 33706*c_1001_9^10 - 31024*c_1001_9^9 - 8228*c_1001_9^8 + 2208*c_1001_9^7 + 2164*c_1001_9^6 + 400*c_1001_9^5 - 139*c_1001_9^4 - 70*c_1001_9^3 - c_1001_9^2 + 5*c_1001_9 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE FREE=VARIABLES=IN=COMPONENTS=BEGINS=HERE [ [ ], [ ], [ ] ] FREE=VARIABLES=IN=COMPONENTS=ENDS=HERE CPUTIME: 77669.520 Total time: 77670.399 seconds, Total memory usage: 51887.38MB