Magma V2.19-8 Wed Aug 21 2013 00:15:27 on localhost [Seed = 2134446995] Type ? for help. Type -D to quit. Loading file "K13n4589__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n4589 geometric_solution 12.16708123 oriented_manifold CS_known -0.0000000000000001 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 0 1 -1 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.404080248210 1.149597741137 0 3 2 5 0132 1230 1230 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.605045854273 0.686678636802 6 0 7 1 0132 0132 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.610905130293 1.283774170912 8 6 1 0 0132 2103 3012 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 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.605045854273 0.686678636802 6 9 0 7 3012 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 1 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.283280330545 0.656101144549 10 11 1 8 0132 0132 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -14 0 14 13 -13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.504324397485 0.536266355418 2 3 12 4 0132 2103 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -1 0 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.187471022772 0.704142910068 12 11 4 2 2031 1230 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.800604934259 0.631406691829 3 5 10 11 0132 0321 0132 1023 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 1 -14 0 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.504324397485 0.536266355418 12 4 10 11 1230 0132 0321 1230 0 0 0 0 0 0 0 0 1 0 -1 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 -13 0 13 0 -13 -1 0 14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.312502625086 0.661650927768 5 12 9 8 0132 1023 0321 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 -13 13 0 0 0 13 -13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.580311210620 0.854904974254 9 5 7 8 3012 0132 3012 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 13 0 -13 -14 14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.408338676006 1.452251919075 10 9 7 6 1023 3012 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 -13 13 0 0 -13 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.247501429732 0.620806901996 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_7']), 'c_1001_10' : negation(d['c_0011_7']), 'c_1001_12' : d['c_0011_4'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_11'], 'c_1001_7' : d['c_1001_7'], 'c_1001_6' : d['c_0011_3'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0011_0'], 'c_1001_2' : d['c_0101_11'], 'c_1001_9' : d['c_1001_7'], 'c_1001_8' : d['c_0101_6'], 'c_1010_12' : d['c_0011_3'], 'c_1010_11' : d['c_0101_3'], 'c_1010_10' : d['c_0101_6'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0011_3'], '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_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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : negation(d['c_0011_7']), 'c_1100_8' : d['c_1001_7'], 'c_0011_12' : d['c_0011_10'], 'c_1100_5' : d['c_0101_6'], 'c_1100_4' : negation(d['c_1001_1']), 'c_1100_7' : negation(d['c_1001_1']), 'c_1100_6' : d['c_0101_7'], 'c_1100_1' : d['c_0101_6'], 'c_1100_0' : negation(d['c_1001_1']), 'c_1100_3' : negation(d['c_1001_1']), 'c_1100_2' : negation(d['c_1001_1']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_1001_7']), 'c_1100_10' : d['c_1001_7'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_11'], 'c_1010_6' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0011_7']), 'c_1010_4' : d['c_1001_7'], 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0101_3'], 'c_1010_0' : d['c_0101_11'], 'c_1010_9' : d['c_0101_11'], 'c_1010_8' : negation(d['c_0011_7']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0101_7'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_4']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_0'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_7']), 'c_0110_10' : d['c_0101_0'], 'c_0110_12' : d['c_0101_6'], 'c_0101_12' : negation(d['c_0011_7']), 'c_0011_11' : d['c_0011_10'], 'c_0101_7' : d['c_0101_7'], '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_3'], 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_3']), 'c_0101_8' : d['c_0101_0'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_10'], 'c_0110_8' : d['c_0101_3'], '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_6'], 'c_0110_5' : d['c_0011_3'], 'c_0110_4' : d['c_0101_7'], 'c_0110_7' : d['c_0011_4'], '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_3, c_0011_4, c_0011_7, c_0101_0, c_0101_1, c_0101_11, c_0101_3, c_0101_6, c_0101_7, c_1001_1, c_1001_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 4 Groebner basis: [ t - 12623959/9438*c_1001_7^3 - 293666887/89661*c_1001_7^2 - 23091347/6897*c_1001_7 - 3349026/2717, c_0011_0 - 1, c_0011_10 - 57/13*c_1001_7^3 - 155/13*c_1001_7^2 - 13*c_1001_7 - 73/13, c_0011_3 - 114/13*c_1001_7^3 - 310/13*c_1001_7^2 - 26*c_1001_7 - 133/13, c_0011_4 - 152/13*c_1001_7^3 - 331/13*c_1001_7^2 - 24*c_1001_7 - 108/13, c_0011_7 - c_1001_7 - 1, c_0101_0 + 152/13*c_1001_7^3 + 331/13*c_1001_7^2 + 24*c_1001_7 + 108/13, c_0101_1 - c_1001_7 - 1, c_0101_11 + 152/13*c_1001_7^3 + 331/13*c_1001_7^2 + 23*c_1001_7 + 95/13, c_0101_3 - 209/13*c_1001_7^3 - 486/13*c_1001_7^2 - 35*c_1001_7 - 155/13, c_0101_6 - 152/13*c_1001_7^3 - 331/13*c_1001_7^2 - 23*c_1001_7 - 95/13, c_0101_7 + 57/13*c_1001_7^3 + 155/13*c_1001_7^2 + 12*c_1001_7 + 47/13, c_1001_1 + 57/13*c_1001_7^3 + 155/13*c_1001_7^2 + 12*c_1001_7 + 60/13, c_1001_7^4 + 58/19*c_1001_7^3 + 75/19*c_1001_7^2 + 46/19*c_1001_7 + 11/19 ], Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_4, c_0011_7, c_0101_0, c_0101_1, c_0101_11, c_0101_3, c_0101_6, c_0101_7, c_1001_1, c_1001_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 4 Groebner basis: [ t + 1/209*c_1001_1*c_1001_7 - 23/8778*c_1001_1 + 2/209*c_1001_7 - 31/4389, c_0011_0 - 1, c_0011_10 + c_1001_1 - c_1001_7 - 1, c_0011_3 - c_1001_1*c_1001_7 - c_1001_7 + 1, c_0011_4 + c_1001_1*c_1001_7 - c_1001_1 + 3*c_1001_7, c_0011_7 - c_1001_7 - 1, c_0101_0 + c_1001_1*c_1001_7 + 2*c_1001_7, c_0101_1 - c_1001_7 - 1, c_0101_11 + c_1001_1*c_1001_7 + c_1001_7 - 1, c_0101_3 - c_1001_1*c_1001_7 - c_1001_7 + 2, c_0101_6 + c_1001_1 - 2*c_1001_7, c_0101_7 + c_1001_1*c_1001_7 - c_1001_7 - 2, c_1001_1^2 - 2*c_1001_1*c_1001_7 + c_1001_7 + 5, c_1001_7^2 + c_1001_7 - 1 ], Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_4, c_0011_7, c_0101_0, c_0101_1, c_0101_11, c_0101_3, c_0101_6, c_0101_7, c_1001_1, c_1001_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 4 Groebner basis: [ t - 28/33*c_0101_7*c_1001_7 + 20/33*c_0101_7 - 35/33*c_1001_7 + 25/33, c_0011_0 - 1, c_0011_10 - c_1001_7, c_0011_3 - c_0101_7*c_1001_7 + 1, c_0011_4 - c_0101_7*c_1001_7 - c_1001_7, c_0011_7 + 2*c_0101_7*c_1001_7 - c_0101_7 + 2*c_1001_7, c_0101_0 + c_0101_7*c_1001_7 + c_1001_7, c_0101_1 - c_1001_7 - 1, c_0101_11 + c_0101_7*c_1001_7 - 1, c_0101_3 + 2*c_0101_7*c_1001_7 - 2*c_0101_7 + 2*c_1001_7 - 1, c_0101_6 - c_0101_7*c_1001_7 + 1, c_0101_7^2 - c_0101_7*c_1001_7 + c_1001_7 + 2, c_1001_1 - 1, c_1001_7^2 + c_1001_7 - 1 ], Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_4, c_0011_7, c_0101_0, c_0101_1, c_0101_11, c_0101_3, c_0101_6, c_0101_7, c_1001_1, c_1001_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 127040022394698541804/2286027642137262507*c_1001_7^15 - 7943393989654047872/84667690449528241*c_1001_7^14 - 126181460709545272886/762009214045754169*c_1001_7^13 + 145888199437955234290/762009214045754169*c_1001_7^12 + 1363259181892616017621/2286027642137262507*c_1001_7^11 + 202853359659435970195/2286027642137262507*c_1001_7^10 - 5989727605957691164493/2286027642137262507*c_1001_7^9 + 4120746008648135246305/4572055284274525014*c_1001_7^8 + 21732021112191111373673/4572055284274525014*c_1001_7^7 - 815531221317021798686/207820694739751137*c_1001_7^6 - 26388377598517389689087/9144110568549050028*c_1001_7^5 + 13229067023489943178979/3048036856183016676*c_1001_7^4 - 1040973227919741473569/4572055284274525014*c_1001_7^3 - 30504822553417500689/18892790430886467*c_1001_7^2 + 4698825238133884175413/9144110568549050028*c_1001_7 + 214541987607969044308/2286027642137262507, c_0011_0 - 1, c_0011_10 - c_1001_7, c_0011_3 - 27158465226064/153599922202329*c_1001_7^15 - 88334864013088/51199974067443*c_1001_7^14 + 65044422064264/17066658022481*c_1001_7^13 + 119007507001384/51199974067443*c_1001_7^12 - 162031726056916/153599922202329*c_1001_7^11 - 3118137991785148/153599922202329*c_1001_7^10 + 192434504139848/153599922202329*c_1001_7^9 + 9104695173850474/153599922202329*c_1001_7^8 - 5551172859053266/153599922202329*c_1001_7^7 - 7693419451874954/153599922202329*c_1001_7^6 + 6868388072620049/153599922202329*c_1001_7^5 + 786685222394845/51199974067443*c_1001_7^4 - 2573994012251149/153599922202329*c_1001_7^3 - 961843416949672/153599922202329*c_1001_7^2 + 527062035637136/153599922202329*c_1001_7 + 493083488499401/153599922202329, c_0011_4 + 71386671501968/51199974067443*c_1001_7^15 - 34709837282912/17066658022481*c_1001_7^14 - 36437666297688/17066658022481*c_1001_7^13 - 2193236890616/17066658022481*c_1001_7^12 + 676781647941668/51199974067443*c_1001_7^11 + 274175069626532/51199974067443*c_1001_7^10 - 2227367532118864/51199974067443*c_1001_7^9 + 666061696007674/51199974067443*c_1001_7^8 + 2554618918429754/51199974067443*c_1001_7^7 - 1423702239128678/51199974067443*c_1001_7^6 - 1136020224144679/51199974067443*c_1001_7^5 + 269511031384943/17066658022481*c_1001_7^4 + 273304949442005/51199974067443*c_1001_7^3 - 180144709515865/51199974067443*c_1001_7^2 - 128203435504126/51199974067443*c_1001_7 - 12664193828797/51199974067443, c_0011_7 + 2784875702896/51199974067443*c_1001_7^15 + 22691337552400/17066658022481*c_1001_7^14 - 24807106131720/17066658022481*c_1001_7^13 - 39244823417600/17066658022481*c_1001_7^12 - 121769916459644/51199974067443*c_1001_7^11 + 582989057306656/51199974067443*c_1001_7^10 + 456969000553372/51199974067443*c_1001_7^9 - 1534175544887482/51199974067443*c_1001_7^8 + 37698729450436/51199974067443*c_1001_7^7 + 1450294586640428/51199974067443*c_1001_7^6 - 341834148076907/51199974067443*c_1001_7^5 - 237865236510476/17066658022481*c_1001_7^4 + 175006453419676/51199974067443*c_1001_7^3 + 258738792079204/51199974067443*c_1001_7^2 - 35583167880977/51199974067443*c_1001_7 - 54565233613655/51199974067443, c_0101_0 + 15713083775488/17066658022481*c_1001_7^15 - 14841294893440/17066658022481*c_1001_7^14 - 43853705822064/17066658022481*c_1001_7^13 - 7615223861232/17066658022481*c_1001_7^12 + 135079687415816/17066658022481*c_1001_7^11 + 162871425688304/17066658022481*c_1001_7^10 - 478839740704332/17066658022481*c_1001_7^9 - 76740501857304/17066658022481*c_1001_7^8 + 675235251241032/17066658022481*c_1001_7^7 - 269968731685770/17066658022481*c_1001_7^6 - 283683807740656/17066658022481*c_1001_7^5 + 206295912139360/17066658022481*c_1001_7^4 + 66462741073815/17066658022481*c_1001_7^3 - 26363131310362/17066658022481*c_1001_7^2 - 45910587326153/17066658022481*c_1001_7 + 6265207502089/17066658022481, c_0101_1 + 22492542452912/51199974067443*c_1001_7^15 - 26837600318496/17066658022481*c_1001_7^14 + 27897957352/17066658022481*c_1001_7^13 + 34604471014264/17066658022481*c_1001_7^12 + 275483941588964/51199974067443*c_1001_7^11 - 268613129593228/51199974067443*c_1001_7^10 - 1165437093876604/51199974067443*c_1001_7^9 + 1391348219149594/51199974067443*c_1001_7^8 + 1020808677774686/51199974067443*c_1001_7^7 - 1999137063735308/51199974067443*c_1001_7^6 + 111690666684593/51199974067443*c_1001_7^5 + 296616301804251/17066658022481*c_1001_7^4 - 237232532098372/51199974067443*c_1001_7^3 - 157850120280382/51199974067443*c_1001_7^2 - 2053352674543/51199974067443*c_1001_7 + 53334151458194/51199974067443, c_0101_11 - 72848267054464/51199974067443*c_1001_7^15 + 27011311228240/17066658022481*c_1001_7^14 + 68919961890992/17066658022481*c_1001_7^13 + 9153440471608/17066658022481*c_1001_7^12 - 737169517441888/51199974067443*c_1001_7^11 - 708185958195484/51199974067443*c_1001_7^10 + 2414139354698816/51199974067443*c_1001_7^9 + 538973930270716/51199974067443*c_1001_7^8 - 3453600632001190/51199974067443*c_1001_7^7 + 645120321112612/51199974067443*c_1001_7^6 + 1987058631446516/51199974067443*c_1001_7^5 - 227917282292173/17066658022481*c_1001_7^4 - 546032406027610/51199974067443*c_1001_7^3 + 97329514872398/51199974067443*c_1001_7^2 + 155009374677125/51199974067443*c_1001_7 + 50076010846859/51199974067443, c_0101_3 + 99461920082176/153599922202329*c_1001_7^15 - 111426441215120/51199974067443*c_1001_7^14 + 45523988667120/17066658022481*c_1001_7^13 - 22812449085880/51199974067443*c_1001_7^12 + 532009992565312/153599922202329*c_1001_7^11 - 2007658298306132/153599922202329*c_1001_7^10 - 1458393230642288/153599922202329*c_1001_7^9 + 8803083180516140/153599922202329*c_1001_7^8 - 4549778373514730/153599922202329*c_1001_7^7 - 8012608492505212/153599922202329*c_1001_7^6 + 6518622488385556/153599922202329*c_1001_7^5 + 827593707661427/51199974067443*c_1001_7^4 - 2603337940981460/153599922202329*c_1001_7^3 - 955124805171578/153599922202329*c_1001_7^2 + 519671086671541/153599922202329*c_1001_7 + 484038561330211/153599922202329, c_0101_6 - 27158465226064/153599922202329*c_1001_7^15 - 88334864013088/51199974067443*c_1001_7^14 + 65044422064264/17066658022481*c_1001_7^13 + 119007507001384/51199974067443*c_1001_7^12 - 162031726056916/153599922202329*c_1001_7^11 - 3118137991785148/153599922202329*c_1001_7^10 + 192434504139848/153599922202329*c_1001_7^9 + 9104695173850474/153599922202329*c_1001_7^8 - 5551172859053266/153599922202329*c_1001_7^7 - 7693419451874954/153599922202329*c_1001_7^6 + 6868388072620049/153599922202329*c_1001_7^5 + 786685222394845/51199974067443*c_1001_7^4 - 2573994012251149/153599922202329*c_1001_7^3 - 961843416949672/153599922202329*c_1001_7^2 + 527062035637136/153599922202329*c_1001_7 + 493083488499401/153599922202329, c_0101_7 + 65630316031856/51199974067443*c_1001_7^15 - 29113806595520/17066658022481*c_1001_7^14 - 34155456176264/17066658022481*c_1001_7^13 - 18500052027896/17066658022481*c_1001_7^12 + 618097541236700/51199974067443*c_1001_7^11 + 342210629869268/51199974067443*c_1001_7^10 - 1868568710910352/51199974067443*c_1001_7^9 + 305761875137926/51199974067443*c_1001_7^8 + 2013877995088058/51199974067443*c_1001_7^7 - 594758753154038/51199974067443*c_1001_7^6 - 1105970174209105/51199974067443*c_1001_7^5 + 67640683865253/17066658022481*c_1001_7^4 + 565679043892103/51199974067443*c_1001_7^3 - 14553450905413/51199974067443*c_1001_7^2 - 162601908860221/51199974067443*c_1001_7 - 52979513215447/51199974067443, c_1001_1 - 1, c_1001_7^16 - 2*c_1001_7^15 - 3/2*c_1001_7^14 + 3/2*c_1001_7^13 + 43/4*c_1001_7^12 - 1/4*c_1001_7^11 - 157/4*c_1001_7^10 + 171/8*c_1001_7^9 + 393/8*c_1001_7^8 - 165/4*c_1001_7^7 - 417/16*c_1001_7^6 + 457/16*c_1001_7^5 + 17/2*c_1001_7^4 - 77/8*c_1001_7^3 - 67/16*c_1001_7^2 + 2*c_1001_7 + 11/8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 14.070 Total time: 14.289 seconds, Total memory usage: 145.09MB