Magma V2.19-8 Wed Aug 21 2013 00:11:52 on localhost [Seed = 1999706957] Type ? for help. Type -D to quit. Loading file "K13n3004__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n3004 geometric_solution 12.26912165 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.813498068513 0.495450009539 0 4 4 2 0132 1302 3201 3120 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 1 0 10 -11 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.574076697557 0.475634158085 1 0 6 5 3120 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 11 0 -11 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.437841868389 0.785310593570 5 7 8 0 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 11 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.817607081028 0.480249383715 1 8 0 1 2310 0213 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 -1 1 -10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.574076697557 0.475634158085 3 9 2 10 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 -11 0 0 11 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.437665347814 0.755016156150 11 8 10 2 0132 0132 2310 0132 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -11 11 1 0 0 -1 -10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.437665347814 0.755016156150 12 3 9 10 0132 0132 0132 2103 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 11 0 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.444783522459 1.220260756783 12 6 4 3 3012 0132 0213 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 0 0 0 10 0 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.817607081028 0.480249383715 11 5 11 7 1230 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 0 0 0 10 0 -10 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.130954621967 0.894821819413 12 6 5 7 2031 3201 0132 2103 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -10 -1 11 0 0 0 0 0 0 0 0 0 11 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.825251201734 0.830406115256 6 9 12 9 0132 3012 3012 0132 0 0 0 0 0 0 0 0 0 0 1 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -10 10 10 -10 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.130954621967 0.894821819413 7 11 10 8 0132 1230 1302 1230 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 10 0 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.308916690242 0.678940430383 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_12']), 'c_1001_10' : negation(d['c_0101_6']), 'c_1001_12' : d['c_0110_10'], 'c_1001_5' : d['c_1001_0'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_1001_3'], 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0101_6']), 'c_1001_8' : d['c_1001_2'], 'c_1010_12' : d['c_0011_4'], 'c_1010_11' : negation(d['c_0101_6']), 'c_1010_10' : negation(d['c_1001_3']), 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : negation(d['1']), 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_4'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_0110_10']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0011_10'], 'c_1100_4' : negation(d['c_0011_0']), 'c_1100_7' : negation(d['c_0110_10']), 'c_1100_6' : d['c_0011_10'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0011_10'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0110_10']), 'c_1100_10' : d['c_0011_10'], 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_3'], 'c_1010_6' : d['c_1001_2'], 'c_1010_5' : negation(d['c_0101_6']), 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_0'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_0'], 'c_1010_8' : d['c_1001_3'], 'c_1100_8' : negation(d['c_0011_0']), 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : negation(d['1']), 'c_1100_12' : d['c_0101_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' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_12'], 'c_0011_8' : d['c_0011_11'], 'c_0011_5' : negation(d['c_0011_12']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_12']), 'c_0011_6' : negation(d['c_0011_11']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_12'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_6'], 'c_0110_10' : d['c_0110_10'], 'c_0110_12' : d['c_0011_11'], 'c_0101_12' : negation(d['c_0011_10']), 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0011_11'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_10'], 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_6'], 'c_0101_8' : d['c_0011_4'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_11'], 'c_0110_8' : d['c_0101_10'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_7' : negation(d['c_0011_10']), 'c_0110_6' : d['c_0011_4']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_4, c_0101_0, c_0101_1, c_0101_10, c_0101_6, c_0110_10, c_1001_0, c_1001_2, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 6 Groebner basis: [ t - 19/544*c_1001_3^5 + 95/1088*c_1001_3^4 + 407/1088*c_1001_3^3 - 879/1088*c_1001_3^2 - 963/1088*c_1001_3 + 1901/1088, c_0011_0 - 1, c_0011_10 + c_1001_3^3 - 3*c_1001_3^2 - 4*c_1001_3 + 9, c_0011_11 + c_1001_3^5 - 2*c_1001_3^4 - 9*c_1001_3^3 + 12*c_1001_3^2 + 17*c_1001_3 - 22, c_0011_12 + c_1001_3^5 - 2*c_1001_3^4 - 9*c_1001_3^3 + 12*c_1001_3^2 + 17*c_1001_3 - 21, c_0011_4 + 1, c_0101_0 + 2*c_1001_3^5 - 5*c_1001_3^4 - 16*c_1001_3^3 + 30*c_1001_3^2 + 29*c_1001_3 - 48, c_0101_1 - c_1001_3^3 + 3*c_1001_3^2 + 4*c_1001_3 - 9, c_0101_10 - 4*c_1001_3^5 + 10*c_1001_3^4 + 31*c_1001_3^3 - 57*c_1001_3^2 - 55*c_1001_3 + 89, c_0101_6 - 2*c_1001_3^5 + 5*c_1001_3^4 + 16*c_1001_3^3 - 30*c_1001_3^2 - 29*c_1001_3 + 49, c_0110_10 + 2*c_1001_3^5 - 5*c_1001_3^4 - 16*c_1001_3^3 + 30*c_1001_3^2 + 29*c_1001_3 - 49, c_1001_0 + 1, c_1001_2 + 2*c_1001_3^5 - 5*c_1001_3^4 - 16*c_1001_3^3 + 30*c_1001_3^2 + 29*c_1001_3 - 48, c_1001_3^6 - 4*c_1001_3^5 - 4*c_1001_3^4 + 26*c_1001_3^3 - 8*c_1001_3^2 - 43*c_1001_3 + 34 ], Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_4, c_0101_0, c_0101_1, c_0101_10, c_0101_6, c_0110_10, c_1001_0, c_1001_2, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 8 Groebner basis: [ t + 291188216/175880691*c_1001_3^7 + 6314695/19542299*c_1001_3^6 + 722212828/175880691*c_1001_3^5 + 6831771/19542299*c_1001_3^4 + 14138258606/175880691*c_1001_3^3 - 212417405/2791757*c_1001_3^2 + 10752004436/58626897*c_1001_3 - 104498822/2791757, c_0011_0 - 1, c_0011_10 - 43246/8375271*c_1001_3^7 - 66950/8375271*c_1001_3^6 - 159023/8375271*c_1001_3^5 + 117905/8375271*c_1001_3^4 - 1791790/8375271*c_1001_3^3 + 1554199/8375271*c_1001_3^2 - 1038458/2791757*c_1001_3 - 1130225/2791757, c_0011_11 + 332239/8375271*c_1001_3^7 - 35665/8375271*c_1001_3^6 + 502619/8375271*c_1001_3^5 - 284336/8375271*c_1001_3^4 + 15064216/8375271*c_1001_3^3 - 19611100/8375271*c_1001_3^2 + 9315319/2791757*c_1001_3 - 542662/2791757, c_0011_12 + 12731/492663*c_1001_3^7 - 301/164221*c_1001_3^6 + 17206/492663*c_1001_3^5 - 2303/164221*c_1001_3^4 + 560651/492663*c_1001_3^3 - 272198/164221*c_1001_3^2 + 300930/164221*c_1001_3 - 78590/164221, c_0011_4 - 38604/2791757*c_1001_3^7 + 20314/8375271*c_1001_3^6 - 70039/2791757*c_1001_3^5 + 166883/8375271*c_1001_3^4 - 1844383/2791757*c_1001_3^3 + 5729002/8375271*c_1001_3^2 - 4199509/2791757*c_1001_3 - 793368/2791757, c_0101_0 + 61714/8375271*c_1001_3^7 + 24659/8375271*c_1001_3^6 + 231581/8375271*c_1001_3^5 + 475102/8375271*c_1001_3^4 + 3473392/8375271*c_1001_3^3 - 2590138/8375271*c_1001_3^2 + 2995102/2791757*c_1001_3 + 1791313/2791757, c_0101_1 - 336584/8375271*c_1001_3^7 - 50981/8375271*c_1001_3^6 - 810838/8375271*c_1001_3^5 - 23431/8375271*c_1001_3^4 - 16331480/8375271*c_1001_3^3 + 15602341/8375271*c_1001_3^2 - 12432578/2791757*c_1001_3 + 1075240/2791757, c_0101_10 + 132766/2791757*c_1001_3^7 + 75640/8375271*c_1001_3^6 + 347473/2791757*c_1001_3^5 + 498533/8375271*c_1001_3^4 + 6601624/2791757*c_1001_3^3 - 18192479/8375271*c_1001_3^2 + 12635923/2791757*c_1001_3 + 716073/2791757, c_0101_6 + 177526/8375271*c_1001_3^7 + 4345/8375271*c_1001_3^6 + 441698/8375271*c_1001_3^5 + 308219/8375271*c_1001_3^4 + 9006541/8375271*c_1001_3^3 - 8319140/8375271*c_1001_3^2 + 7194611/2791757*c_1001_3 - 207076/2791757, c_0110_10 - 177526/8375271*c_1001_3^7 - 4345/8375271*c_1001_3^6 - 441698/8375271*c_1001_3^5 - 308219/8375271*c_1001_3^4 - 9006541/8375271*c_1001_3^3 + 8319140/8375271*c_1001_3^2 - 7194611/2791757*c_1001_3 + 207076/2791757, c_1001_0 - 38604/2791757*c_1001_3^7 + 20314/8375271*c_1001_3^6 - 70039/2791757*c_1001_3^5 + 166883/8375271*c_1001_3^4 - 1844383/2791757*c_1001_3^3 + 5729002/8375271*c_1001_3^2 - 4199509/2791757*c_1001_3 - 793368/2791757, c_1001_2 + 61714/8375271*c_1001_3^7 + 24659/8375271*c_1001_3^6 + 231581/8375271*c_1001_3^5 + 475102/8375271*c_1001_3^4 + 3473392/8375271*c_1001_3^3 - 2590138/8375271*c_1001_3^2 + 2995102/2791757*c_1001_3 + 1791313/2791757, c_1001_3^8 + 2*c_1001_3^6 + 49*c_1001_3^4 - 54*c_1001_3^3 + 99*c_1001_3^2 - 9*c_1001_3 + 9 ], Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_4, c_0101_0, c_0101_1, c_0101_10, c_0101_6, c_0110_10, c_1001_0, c_1001_2, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t - 5187268312260453142942123697997905340576621019107/10347056191743692\ 9764585108540390321228616108584*c_1001_3^24 - 17496843903247587325106683817848030425465797459709/1034705619174369\ 29764585108540390321228616108584*c_1001_3^23 - 30900459586942890797814281259021447253775372687199/2069411238348738\ 59529170217080780642457232217168*c_1001_3^22 - 125613731352168206527407657031515074684871529658705/206941123834873\ 859529170217080780642457232217168*c_1001_3^21 - 409878937901430857598351424007898791815925882302261/206941123834873\ 859529170217080780642457232217168*c_1001_3^20 + 1347797415616543033608633427090445946491257032850011/20694112383487\ 3859529170217080780642457232217168*c_1001_3^19 + 5567121286848464741882820918306852046073113597272973/20694112383487\ 3859529170217080780642457232217168*c_1001_3^18 - 201016722990371140801520115791285065825991120084959/206941123834873\ 859529170217080780642457232217168*c_1001_3^17 - 12171560294121121351018589796389860241070967487478885/1034705619174\ 36929764585108540390321228616108584*c_1001_3^16 - 30426281637558964176497809982522802539783845665111745/2069411238348\ 73859529170217080780642457232217168*c_1001_3^15 + 22792432537238073343664065287137189759659532324728015/2069411238348\ 73859529170217080780642457232217168*c_1001_3^14 + 70929170412554466491907133236020175620607788763689449/2069411238348\ 73859529170217080780642457232217168*c_1001_3^13 + 1927863964562470580208479612110533557564369651820051/51735280958718\ 464882292554270195160614308054292*c_1001_3^12 - 81912960717039331863849282072410614455993991643857855/2069411238348\ 73859529170217080780642457232217168*c_1001_3^11 - 16175911245031415610996782754941796437311057956196021/1034705619174\ 36929764585108540390321228616108584*c_1001_3^10 + 588728927646468440488358857074883780328284942622197/224936004168341\ 1516621415403051963504969915404*c_1001_3^9 + 20175403326540119681206407014821265154169933648557865/2069411238348\ 73859529170217080780642457232217168*c_1001_3^8 - 7446646704127843073691292176377267271168857693211311/51735280958718\ 464882292554270195160614308054292*c_1001_3^7 - 9489213564907306796607291388223427388085703132599681/20694112383487\ 3859529170217080780642457232217168*c_1001_3^6 + 7041909852965767403204374097792035383102158683240995/20694112383487\ 3859529170217080780642457232217168*c_1001_3^5 - 1030585993949339155572720346869659628739912248544963/20694112383487\ 3859529170217080780642457232217168*c_1001_3^4 - 2209833828465607175215396886621788022272521334037067/20694112383487\ 3859529170217080780642457232217168*c_1001_3^3 + 256505915663312254601445137504524131327288759936043/103470561917436\ 929764585108540390321228616108584*c_1001_3^2 + 118146979262978552911868850775868177542076587408773/103470561917436\ 929764585108540390321228616108584*c_1001_3 - 78048078037659568031085398691727464634942703333265/2069411238348738\ 59529170217080780642457232217168, c_0011_0 - 1, c_0011_10 + 5051943244624475692016154687064435344771271/699863111911453\ 489925767082467941351888586*c_1001_3^24 + 11569933147930238074719166129682011736338155/6998631119114534899257\ 67082467941351888586*c_1001_3^23 + 1875329333014970210185429143993133613292139/13997262238229069798515\ 34164935882703777172*c_1001_3^22 + 112013503272343774957184114105514013586217011/139972622382290697985\ 1534164935882703777172*c_1001_3^21 + 274793193013420125750928874439505860359695673/139972622382290697985\ 1534164935882703777172*c_1001_3^20 - 1645513447938984480873630785452625211982026927/13997262238229069798\ 51534164935882703777172*c_1001_3^19 - 3737189004206066348970021603477761769691171699/13997262238229069798\ 51534164935882703777172*c_1001_3^18 + 4728155530524740536045198192471068361962584809/13997262238229069798\ 51534164935882703777172*c_1001_3^17 + 4982017264410126321438791136030422863040045587/34993155595572674496\ 2883541233970675944293*c_1001_3^16 + 6986045638797235293583928658774378596712987025/13997262238229069798\ 51534164935882703777172*c_1001_3^15 - 36476399300903854591059323762777558384000306641/1399726223822906979\ 851534164935882703777172*c_1001_3^14 - 33974763294102185915483205091496683056492229015/1399726223822906979\ 851534164935882703777172*c_1001_3^13 + 19892985977766624840312725926131191837708459395/6998631119114534899\ 25767082467941351888586*c_1001_3^12 + 51442956377953140616106683824797310171417994635/1399726223822906979\ 851534164935882703777172*c_1001_3^11 - 8082119086159766864297838901555643902853489123/34993155595572674496\ 2883541233970675944293*c_1001_3^10 - 9523861370134659959830992543163346124516862100/34993155595572674496\ 2883541233970675944293*c_1001_3^9 + 24886386401203279105168551422842527810161741221/1399726223822906979\ 851534164935882703777172*c_1001_3^8 + 4221784751025757506956810293042373162125152822/34993155595572674496\ 2883541233970675944293*c_1001_3^7 - 11228276457621422262774373991999306785612732195/1399726223822906979\ 851534164935882703777172*c_1001_3^6 - 1839496986899529575635499626044630982945176161/13997262238229069798\ 51534164935882703777172*c_1001_3^5 + 3638207745374808336215743827061814053863136435/13997262238229069798\ 51534164935882703777172*c_1001_3^4 - 483644250539988896677903431182855276003900753/139972622382290697985\ 1534164935882703777172*c_1001_3^3 - 102129326780550881352852543098371453983434766/349931555955726744962\ 883541233970675944293*c_1001_3^2 + 77799483793486260275648890358989435804593505/6998631119114534899257\ 67082467941351888586*c_1001_3 - 15956521729387360360757196923200335\ 937742501/1399726223822906979851534164935882703777172, c_0011_11 + 4610769622503162806405260387330601670620819/699863111911453\ 489925767082467941351888586*c_1001_3^24 + 10384889178971621292192441601762205044638487/6998631119114534899257\ 67082467941351888586*c_1001_3^23 + 756665201135784243942514032081706973334371/139972622382290697985153\ 4164935882703777172*c_1001_3^22 + 101721056422730762092079328001936\ 645109639587/1399726223822906979851534164935882703777172*c_1001_3^2\ 1 + 246643319777108727754791598579163493349760607/13997262238229069\ 79851534164935882703777172*c_1001_3^20 - 1513131792945833259326694020455480044111309877/13997262238229069798\ 51534164935882703777172*c_1001_3^19 - 3359152078672137698778425236403817558531594203/13997262238229069798\ 51534164935882703777172*c_1001_3^18 + 4466709053695297729880539737460780684366201329/13997262238229069798\ 51534164935882703777172*c_1001_3^17 + 9047735530771416483410932539900065581800757937/69986311191145348992\ 5767082467941351888586*c_1001_3^16 + 5655304172784591057250949431735916419905785259/13997262238229069798\ 51534164935882703777172*c_1001_3^15 - 33867644152149757263990936866287563151053845535/1399726223822906979\ 851534164935882703777172*c_1001_3^14 - 30055182981679842405497338170017252924151123263/1399726223822906979\ 851534164935882703777172*c_1001_3^13 + 18954991402595635475813046806665483158178267995/6998631119114534899\ 25767082467941351888586*c_1001_3^12 + 46410571294085063672213678211406633554902574597/1399726223822906979\ 851534164935882703777172*c_1001_3^11 - 7863406733053180409798125663161709626437194035/34993155595572674496\ 2883541233970675944293*c_1001_3^10 - 8674242191081200548382812662681813331074767547/34993155595572674496\ 2883541233970675944293*c_1001_3^9 + 23914015243325337740277888525441703430068575177/1399726223822906979\ 851534164935882703777172*c_1001_3^8 + 3820821697151662755654099798232526171985615830/34993155595572674496\ 2883541233970675944293*c_1001_3^7 - 10758280711560169930168705855001550672714118349/1399726223822906979\ 851534164935882703777172*c_1001_3^6 - 1690602459628234607079051178606826352056607761/13997262238229069798\ 51534164935882703777172*c_1001_3^5 + 3341058614819801503767065926884034431812487359/13997262238229069798\ 51534164935882703777172*c_1001_3^4 - 467278901248889131376977842787404759557193803/139972622382290697985\ 1534164935882703777172*c_1001_3^3 - 191766086750104880306735380607848762589736271/699863111911453489925\ 767082467941351888586*c_1001_3^2 + 68081589258318922962790524505443151247483711/6998631119114534899257\ 67082467941351888586*c_1001_3 - 12275421584603864926187201029114334\ 362568791/1399726223822906979851534164935882703777172, c_0011_12 - 4610769622503162806405260387330601670620819/699863111911453\ 489925767082467941351888586*c_1001_3^24 - 10384889178971621292192441601762205044638487/6998631119114534899257\ 67082467941351888586*c_1001_3^23 - 756665201135784243942514032081706973334371/139972622382290697985153\ 4164935882703777172*c_1001_3^22 - 101721056422730762092079328001936\ 645109639587/1399726223822906979851534164935882703777172*c_1001_3^2\ 1 - 246643319777108727754791598579163493349760607/13997262238229069\ 79851534164935882703777172*c_1001_3^20 + 1513131792945833259326694020455480044111309877/13997262238229069798\ 51534164935882703777172*c_1001_3^19 + 3359152078672137698778425236403817558531594203/13997262238229069798\ 51534164935882703777172*c_1001_3^18 - 4466709053695297729880539737460780684366201329/13997262238229069798\ 51534164935882703777172*c_1001_3^17 - 9047735530771416483410932539900065581800757937/69986311191145348992\ 5767082467941351888586*c_1001_3^16 - 5655304172784591057250949431735916419905785259/13997262238229069798\ 51534164935882703777172*c_1001_3^15 + 33867644152149757263990936866287563151053845535/1399726223822906979\ 851534164935882703777172*c_1001_3^14 + 30055182981679842405497338170017252924151123263/1399726223822906979\ 851534164935882703777172*c_1001_3^13 - 18954991402595635475813046806665483158178267995/6998631119114534899\ 25767082467941351888586*c_1001_3^12 - 46410571294085063672213678211406633554902574597/1399726223822906979\ 851534164935882703777172*c_1001_3^11 + 7863406733053180409798125663161709626437194035/34993155595572674496\ 2883541233970675944293*c_1001_3^10 + 8674242191081200548382812662681813331074767547/34993155595572674496\ 2883541233970675944293*c_1001_3^9 - 23914015243325337740277888525441703430068575177/1399726223822906979\ 851534164935882703777172*c_1001_3^8 - 3820821697151662755654099798232526171985615830/34993155595572674496\ 2883541233970675944293*c_1001_3^7 + 10758280711560169930168705855001550672714118349/1399726223822906979\ 851534164935882703777172*c_1001_3^6 + 1690602459628234607079051178606826352056607761/13997262238229069798\ 51534164935882703777172*c_1001_3^5 - 3341058614819801503767065926884034431812487359/13997262238229069798\ 51534164935882703777172*c_1001_3^4 + 467278901248889131376977842787404759557193803/139972622382290697985\ 1534164935882703777172*c_1001_3^3 + 191766086750104880306735380607848762589736271/699863111911453489925\ 767082467941351888586*c_1001_3^2 - 68081589258318922962790524505443151247483711/6998631119114534899257\ 67082467941351888586*c_1001_3 + 12275421584603864926187201029114334\ 362568791/1399726223822906979851534164935882703777172, c_0011_4 + 3715361146596424462781127423835895586859324/3499315559557267\ 44962883541233970675944293*c_1001_3^24 + 8667781541035624931360986975939721407865517/34993155595572674496288\ 3541233970675944293*c_1001_3^23 + 903044560407033591569487359316281\ 155598895/349931555955726744962883541233970675944293*c_1001_3^22 + 81798387405404975622503337396103280584103859/6998631119114534899257\ 67082467941351888586*c_1001_3^21 + 205573672223598353133236343118125152539176715/699863111911453489925\ 767082467941351888586*c_1001_3^20 - 602516958637068271653856723887337038123110953/349931555955726744962\ 883541233970675944293*c_1001_3^19 - 1403889954741947350111855552944871103304196176/34993155595572674496\ 2883541233970675944293*c_1001_3^18 + 3408911457903125898064721051588035111219769277/69986311191145348992\ 5767082467941351888586*c_1001_3^17 + 14905331938205221908172966230710971420804410925/6998631119114534899\ 25767082467941351888586*c_1001_3^16 + 5622209172334147463592774889279777896401434401/69986311191145348992\ 5767082467941351888586*c_1001_3^15 - 13573290315851165905996810365652170253932070745/3499315559557267449\ 62883541233970675944293*c_1001_3^14 - 13149638853758724802551720764983553267319528647/3499315559557267449\ 62883541233970675944293*c_1001_3^13 + 29142639064230455609895688546279853865225548447/6998631119114534899\ 25767082467941351888586*c_1001_3^12 + 19954377128448307664478883523102710061220117015/3499315559557267449\ 62883541233970675944293*c_1001_3^11 - 11584729052555834351252352881489831318419875387/3499315559557267449\ 62883541233970675944293*c_1001_3^10 - 15086703449846134695945688596825837317454072495/3499315559557267449\ 62883541233970675944293*c_1001_3^9 + 8946552473392061618195468676501122439989557863/34993155595572674496\ 2883541233970675944293*c_1001_3^8 + 13868719981703578552041882209233840289725431973/6998631119114534899\ 25767082467941351888586*c_1001_3^7 - 4134483395142834477587782722772600225767468946/34993155595572674496\ 2883541233970675944293*c_1001_3^6 - 954454528039942382970622032512909160265215712/349931555955726744962\ 883541233970675944293*c_1001_3^5 + 2772440116085748041481594278434715569182096175/69986311191145348992\ 5767082467941351888586*c_1001_3^4 - 274281559183846210758326580046656882744210397/699863111911453489925\ 767082467941351888586*c_1001_3^3 - 173593250065896442639608530867486252211846115/349931555955726744962\ 883541233970675944293*c_1001_3^2 + 111287276766474979844147483050103221571299817/699863111911453489925\ 767082467941351888586*c_1001_3 - 4632495365471626717558036498960679\ 908115185/349931555955726744962883541233970675944293, c_0101_0 + 4844699291411016000624946181442543188850143/6998631119114534\ 89925767082467941351888586*c_1001_3^24 + 11826049709639642796057688493679827580027367/6998631119114534899257\ 67082467941351888586*c_1001_3^23 + 4882178531711243291919732737144951104312603/13997262238229069798515\ 34164935882703777172*c_1001_3^22 + 107219165251610861375054261880390501781640055/139972622382290697985\ 1534164935882703777172*c_1001_3^21 + 279793948036519572282592291163174389434588125/139972622382290697985\ 1534164935882703777172*c_1001_3^20 - 1541483027609139990385804257828590706156322103/13997262238229069798\ 51534164935882703777172*c_1001_3^19 - 3827494317632140601196203673483855629113964159/13997262238229069798\ 51534164935882703777172*c_1001_3^18 + 4037963200492886089616911452134511410883527221/13997262238229069798\ 51534164935882703777172*c_1001_3^17 + 4966605718345222109170517166566732825024559183/34993155595572674496\ 2883541233970675944293*c_1001_3^16 + 9441166671225953539061814718383699921300661973/13997262238229069798\ 51534164935882703777172*c_1001_3^15 - 34375874019906843411584261813369947806344521805/1399726223822906979\ 851534164935882703777172*c_1001_3^14 - 37883333085307883093359424952628660161942995039/1399726223822906979\ 851534164935882703777172*c_1001_3^13 + 16992057490218380182083371496273690634197891079/6998631119114534899\ 25767082467941351888586*c_1001_3^12 + 55497944565229708483005999686942369238459424515/1399726223822906979\ 851534164935882703777172*c_1001_3^11 - 6110990590976174343271529621897147832715542883/34993155595572674496\ 2883541233970675944293*c_1001_3^10 - 10428759521867403477709632146202285122357042998/3499315559557267449\ 62883541233970675944293*c_1001_3^9 + 19115123488130561429927254954773783428132303869/1399726223822906979\ 851534164935882703777172*c_1001_3^8 + 4970103589947060952165402323548450626184511663/34993155595572674496\ 2883541233970675944293*c_1001_3^7 - 8798149654276200107785918121318826814727790315/13997262238229069798\ 51534164935882703777172*c_1001_3^6 - 3257836124019240920430057416215613722882618201/13997262238229069798\ 51534164935882703777172*c_1001_3^5 + 3296829027790385416626378747503841392663222567/13997262238229069798\ 51534164935882703777172*c_1001_3^4 - 63064017054950580948559644397467467446242549/1399726223822906979851\ 534164935882703777172*c_1001_3^3 - 112013522034628982939709943979687035162773212/349931555955726744962\ 883541233970675944293*c_1001_3^2 + 52933862436932222708545966186363712353458851/6998631119114534899257\ 67082467941351888586*c_1001_3 - 48873206213258912446204183717573245\ 85966121/1399726223822906979851534164935882703777172, c_0101_1 - 5793075181270063514235612018389099007671295/6998631119114534\ 89925767082467941351888586*c_1001_3^24 - 12448391457239515827988064776536746415023437/6998631119114534899257\ 67082467941351888586*c_1001_3^23 + 2173754835734141092132112859050461067848393/13997262238229069798515\ 34164935882703777172*c_1001_3^22 - 126949852909548147373141440854827660789651345/139972622382290697985\ 1534164935882703777172*c_1001_3^21 - 296967722217101722844444048383207016599070479/139972622382290697985\ 1534164935882703777172*c_1001_3^20 + 1938017669620371952086169165992535724929170611/13997262238229069798\ 51534164935882703777172*c_1001_3^19 + 4032823340246768502130868482328666124783637519/13997262238229069798\ 51534164935882703777172*c_1001_3^18 - 6122421923501798020020403739077370213924118963/13997262238229069798\ 51534164935882703777172*c_1001_3^17 - 11137441125300805103139263053442277683277572625/6998631119114534899\ 25767082467941351888586*c_1001_3^16 - 4494608528132597617719508947678053222104796227/13997262238229069798\ 51534164935882703777172*c_1001_3^15 + 43999467422312161224433726533565364492211932045/1399726223822906979\ 851534164935882703777172*c_1001_3^14 + 33302949620803844847745393538506715102931963051/1399726223822906979\ 851534164935882703777172*c_1001_3^13 - 13265378896611151474615108013510439645478846710/3499315559557267449\ 62883541233970675944293*c_1001_3^12 - 54101113059379245990683334540674127326387024951/1399726223822906979\ 851534164935882703777172*c_1001_3^11 + 11895367535414934798669359938753058554860652082/3499315559557267449\ 62883541233970675944293*c_1001_3^10 + 10189981733497340053425210103805531978097597758/3499315559557267449\ 62883541233970675944293*c_1001_3^9 - 36474923815260624814588453107161185835982194701/1399726223822906979\ 851534164935882703777172*c_1001_3^8 - 8436855414334478249676505806755391293961772849/69986311191145348992\ 5767082467941351888586*c_1001_3^7 + 16834454852697290920870388999681699912859307955/1399726223822906979\ 851534164935882703777172*c_1001_3^6 + 895944293333570565925924622176480551302242297/139972622382290697985\ 1534164935882703777172*c_1001_3^5 - 4912204929823551663256977062023376194096273801/13997262238229069798\ 51534164935882703777172*c_1001_3^4 + 1104539731667227246495081731459134849904112143/13997262238229069798\ 51534164935882703777172*c_1001_3^3 + 128114130729769895119343189824792000073058600/349931555955726744962\ 883541233970675944293*c_1001_3^2 - 64397552530063175122897497484946326877980500/3499315559557267449628\ 83541233970675944293*c_1001_3 + 30809810356068314615544349732221367\ 569325837/1399726223822906979851534164935882703777172, c_0101_10 + c_1001_3, c_0101_6 - 2901575358704044392427011330289851713881545/6998631119114534\ 89925767082467941351888586*c_1001_3^24 - 6881388932824945097606801720521995975412819/69986311191145348992576\ 7082467941351888586*c_1001_3^23 - 180275279672626031854546359033837\ 2885628897/1399726223822906979851534164935882703777172*c_1001_3^22 - 63873860465206268908027847806276289070038175/1399726223822906979851\ 534164935882703777172*c_1001_3^21 - 163412429273026448727479162046278444495045705/139972622382290697985\ 1534164935882703777172*c_1001_3^20 + 936459700593106925202140321828049006606512509/139972622382290697985\ 1534164935882703777172*c_1001_3^19 + 2229923155866294951685403889047119894395969005/13997262238229069798\ 51534164935882703777172*c_1001_3^18 - 2603829980132029337898347857175900029448778937/13997262238229069798\ 51534164935882703777172*c_1001_3^17 - 5875635062295709575097361404597982520926533813/69986311191145348992\ 5767082467941351888586*c_1001_3^16 - 4713601262882843160988810273596060747270454781/13997262238229069798\ 51534164935882703777172*c_1001_3^15 + 21153217341252766996164758348816753882147532699/1399726223822906979\ 851534164935882703777172*c_1001_3^14 + 21065996229885727406058861862291002299983463397/1399726223822906979\ 851534164935882703777172*c_1001_3^13 - 5608861663769132846453217527485987003244611374/34993155595572674496\ 2883541233970675944293*c_1001_3^12 - 31720903188326626346160822441061612375747443525/1399726223822906979\ 851534164935882703777172*c_1001_3^11 + 4451459601788342552606744515714438949002535488/34993155595572674496\ 2883541233970675944293*c_1001_3^10 + 5992126604305186852388771981576189614516735983/34993155595572674496\ 2883541233970675944293*c_1001_3^9 - 14092600626367052884497939307300524054153265243/1399726223822906979\ 851534164935882703777172*c_1001_3^8 - 5507160194086920165340301220615115575112917909/69986311191145348992\ 5767082467941351888586*c_1001_3^7 + 6655817268873322716613820168966090743279811249/13997262238229069798\ 51534164935882703777172*c_1001_3^6 + 1422550990659705306730263812206344081858999387/13997262238229069798\ 51534164935882703777172*c_1001_3^5 - 2279473380821432058759576871407582673374466235/13997262238229069798\ 51534164935882703777172*c_1001_3^4 + 252103129537222081760707357976423017791237113/139972622382290697985\ 1534164935882703777172*c_1001_3^3 + 68871636234587621193535837330179952755126013/3499315559557267449628\ 83541233970675944293*c_1001_3^2 - 250866194776319229595771239189688\ 42387338532/349931555955726744962883541233970675944293*c_1001_3 + 10195990401146196539170658760953447920415015/1399726223822906979851\ 534164935882703777172, c_0110_10 - 4001531960511753295415465901179728764705568/349931555955726\ 744962883541233970675944293*c_1001_3^24 - 9257069630492603158184969803899674284392664/34993155595572674496288\ 3541233970675944293*c_1001_3^23 - 888087496736490424272885106299296\ 532903076/349931555955726744962883541233970675944293*c_1001_3^22 - 44272971039801048643763447933354242785014296/3499315559557267449628\ 83541233970675944293*c_1001_3^21 - 109922666680571514058580391849041881541158362/349931555955726744962\ 883541233970675944293*c_1001_3^20 + 649952400502023586866493528700732523824409074/349931555955726744962\ 883541233970675944293*c_1001_3^19 + 1496451037014693266171111823787153271648405520/34993155595572674496\ 2883541233970675944293*c_1001_3^18 - 1850075748915521635654050122618782624899187698/34993155595572674496\ 2883541233970675944293*c_1001_3^17 - 7952113027949217505297038687683944230750930721/34993155595572674496\ 2883541233970675944293*c_1001_3^16 - 2906234379723199373007594837000657748150030251/34993155595572674496\ 2883541233970675944293*c_1001_3^15 + 14483585171482567723357967464569244712434485071/3499315559557267449\ 62883541233970675944293*c_1001_3^14 + 13762606752179142303874993208632404848622065613/3499315559557267449\ 62883541233970675944293*c_1001_3^13 - 15669838244509954889835146174007648949745805578/3499315559557267449\ 62883541233970675944293*c_1001_3^12 - 20801596261344219034559097589930690246468976660/3499315559557267449\ 62883541233970675944293*c_1001_3^11 + 12646598872756648512913451450226656791317465188/3499315559557267449\ 62883541233970675944293*c_1001_3^10 + 15499954932891662137559595014004436763534737604/3499315559557267449\ 62883541233970675944293*c_1001_3^9 - 9813605132217007224579331342092005230781549393/34993155595572674496\ 2883541233970675944293*c_1001_3^8 - 6950054886770811972073053109803565468060853001/34993155595572674496\ 2883541233970675944293*c_1001_3^7 + 4489420436220167261051686898511491809300580814/34993155595572674496\ 2883541233970675944293*c_1001_3^6 + 800475990195739328709164490161157124073082931/349931555955726744962\ 883541233970675944293*c_1001_3^5 - 1479106760669536941918781410642155038127404995/34993155595572674496\ 2883541233970675944293*c_1001_3^4 + 187289763273524375750561573334128125081908091/349931555955726744962\ 883541233970675944293*c_1001_3^3 + 169236192186239488979799909217091570931268133/349931555955726744962\ 883541233970675944293*c_1001_3^2 - 64056244198151481136749597838284439456570118/3499315559557267449628\ 83541233970675944293*c_1001_3 + 65840470232586006651280739423287176\ 68609582/349931555955726744962883541233970675944293, c_1001_0 + 3715361146596424462781127423835895586859324/3499315559557267\ 44962883541233970675944293*c_1001_3^24 + 8667781541035624931360986975939721407865517/34993155595572674496288\ 3541233970675944293*c_1001_3^23 + 903044560407033591569487359316281\ 155598895/349931555955726744962883541233970675944293*c_1001_3^22 + 81798387405404975622503337396103280584103859/6998631119114534899257\ 67082467941351888586*c_1001_3^21 + 205573672223598353133236343118125152539176715/699863111911453489925\ 767082467941351888586*c_1001_3^20 - 602516958637068271653856723887337038123110953/349931555955726744962\ 883541233970675944293*c_1001_3^19 - 1403889954741947350111855552944871103304196176/34993155595572674496\ 2883541233970675944293*c_1001_3^18 + 3408911457903125898064721051588035111219769277/69986311191145348992\ 5767082467941351888586*c_1001_3^17 + 14905331938205221908172966230710971420804410925/6998631119114534899\ 25767082467941351888586*c_1001_3^16 + 5622209172334147463592774889279777896401434401/69986311191145348992\ 5767082467941351888586*c_1001_3^15 - 13573290315851165905996810365652170253932070745/3499315559557267449\ 62883541233970675944293*c_1001_3^14 - 13149638853758724802551720764983553267319528647/3499315559557267449\ 62883541233970675944293*c_1001_3^13 + 29142639064230455609895688546279853865225548447/6998631119114534899\ 25767082467941351888586*c_1001_3^12 + 19954377128448307664478883523102710061220117015/3499315559557267449\ 62883541233970675944293*c_1001_3^11 - 11584729052555834351252352881489831318419875387/3499315559557267449\ 62883541233970675944293*c_1001_3^10 - 15086703449846134695945688596825837317454072495/3499315559557267449\ 62883541233970675944293*c_1001_3^9 + 8946552473392061618195468676501122439989557863/34993155595572674496\ 2883541233970675944293*c_1001_3^8 + 13868719981703578552041882209233840289725431973/6998631119114534899\ 25767082467941351888586*c_1001_3^7 - 4134483395142834477587782722772600225767468946/34993155595572674496\ 2883541233970675944293*c_1001_3^6 - 954454528039942382970622032512909160265215712/349931555955726744962\ 883541233970675944293*c_1001_3^5 + 2772440116085748041481594278434715569182096175/69986311191145348992\ 5767082467941351888586*c_1001_3^4 - 274281559183846210758326580046656882744210397/699863111911453489925\ 767082467941351888586*c_1001_3^3 - 173593250065896442639608530867486252211846115/349931555955726744962\ 883541233970675944293*c_1001_3^2 + 111287276766474979844147483050103221571299817/699863111911453489925\ 767082467941351888586*c_1001_3 - 4632495365471626717558036498960679\ 908115185/349931555955726744962883541233970675944293, c_1001_2 + 4844699291411016000624946181442543188850143/6998631119114534\ 89925767082467941351888586*c_1001_3^24 + 11826049709639642796057688493679827580027367/6998631119114534899257\ 67082467941351888586*c_1001_3^23 + 4882178531711243291919732737144951104312603/13997262238229069798515\ 34164935882703777172*c_1001_3^22 + 107219165251610861375054261880390501781640055/139972622382290697985\ 1534164935882703777172*c_1001_3^21 + 279793948036519572282592291163174389434588125/139972622382290697985\ 1534164935882703777172*c_1001_3^20 - 1541483027609139990385804257828590706156322103/13997262238229069798\ 51534164935882703777172*c_1001_3^19 - 3827494317632140601196203673483855629113964159/13997262238229069798\ 51534164935882703777172*c_1001_3^18 + 4037963200492886089616911452134511410883527221/13997262238229069798\ 51534164935882703777172*c_1001_3^17 + 4966605718345222109170517166566732825024559183/34993155595572674496\ 2883541233970675944293*c_1001_3^16 + 9441166671225953539061814718383699921300661973/13997262238229069798\ 51534164935882703777172*c_1001_3^15 - 34375874019906843411584261813369947806344521805/1399726223822906979\ 851534164935882703777172*c_1001_3^14 - 37883333085307883093359424952628660161942995039/1399726223822906979\ 851534164935882703777172*c_1001_3^13 + 16992057490218380182083371496273690634197891079/6998631119114534899\ 25767082467941351888586*c_1001_3^12 + 55497944565229708483005999686942369238459424515/1399726223822906979\ 851534164935882703777172*c_1001_3^11 - 6110990590976174343271529621897147832715542883/34993155595572674496\ 2883541233970675944293*c_1001_3^10 - 10428759521867403477709632146202285122357042998/3499315559557267449\ 62883541233970675944293*c_1001_3^9 + 19115123488130561429927254954773783428132303869/1399726223822906979\ 851534164935882703777172*c_1001_3^8 + 4970103589947060952165402323548450626184511663/34993155595572674496\ 2883541233970675944293*c_1001_3^7 - 8798149654276200107785918121318826814727790315/13997262238229069798\ 51534164935882703777172*c_1001_3^6 - 3257836124019240920430057416215613722882618201/13997262238229069798\ 51534164935882703777172*c_1001_3^5 + 3296829027790385416626378747503841392663222567/13997262238229069798\ 51534164935882703777172*c_1001_3^4 - 63064017054950580948559644397467467446242549/1399726223822906979851\ 534164935882703777172*c_1001_3^3 - 112013522034628982939709943979687035162773212/349931555955726744962\ 883541233970675944293*c_1001_3^2 + 52933862436932222708545966186363712353458851/6998631119114534899257\ 67082467941351888586*c_1001_3 - 48873206213258912446204183717573245\ 85966121/1399726223822906979851534164935882703777172, c_1001_3^25 + 2*c_1001_3^24 - 1/2*c_1001_3^23 + 11*c_1001_3^22 + 24*c_1001_3^21 - 171*c_1001_3^20 - 323*c_1001_3^19 + 579*c_1001_3^18 + 3683/2*c_1001_3^17 + 211/2*c_1001_3^16 - 3842*c_1001_3^15 - 2306*c_1001_3^14 + 9965/2*c_1001_3^13 + 7935/2*c_1001_3^12 - 9547/2*c_1001_3^11 - 2876*c_1001_3^10 + 7299/2*c_1001_3^9 + 1931/2*c_1001_3^8 - 3309/2*c_1001_3^7 + 150*c_1001_3^6 + 429*c_1001_3^5 - 161*c_1001_3^4 - 55/2*c_1001_3^3 + 29*c_1001_3^2 - 13/2*c_1001_3 + 1/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 6.150 Total time: 6.360 seconds, Total memory usage: 64.12MB