Magma V2.19-8 Wed Aug 21 2013 00:55:21 on localhost [Seed = 1713404959] Type ? for help. Type -D to quit. Loading file "L13a5041__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L13a5041 geometric_solution 11.99413932 oriented_manifold CS_known 0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 1 0132 0132 0132 2031 1 1 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 0 0 0 0 0 1 0 -1 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.815837243987 0.901041438129 0 0 5 4 0132 1302 0132 0132 1 1 1 0 0 0 1 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.447813216167 0.609855921003 6 0 7 3 0132 0132 0132 3201 1 1 1 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 -1 1 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 1.081510064812 1.069962734451 8 2 6 0 0132 2310 1023 0132 1 1 1 1 0 0 0 0 0 0 1 -1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.383978175416 0.528852848941 8 9 1 10 2103 0132 0132 0132 1 1 1 1 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 1 -1 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.176503441467 0.726560276287 11 11 8 1 0132 1230 0213 0132 1 1 0 1 0 1 0 -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 0 0 0 -1 0 1 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.447813216167 0.609855921003 2 7 3 12 0132 3120 1023 0132 1 1 0 1 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 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.461913902855 0.538090450038 12 6 9 2 0132 3120 3120 0132 1 1 0 1 0 0 -1 1 0 0 0 0 0 1 0 -1 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 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.461913902855 0.538090450038 3 5 4 10 0132 0213 2103 2031 1 1 1 1 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.684275902260 1.299649376678 11 4 7 12 3201 0132 3120 0213 1 1 1 1 0 1 -1 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 -1 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.101015961466 1.238170032490 10 8 4 10 3012 1302 0132 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 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.684275902260 1.299649376678 5 12 5 9 0132 2103 3012 2310 1 1 1 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 1 -1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.217740111554 1.065323236360 7 11 6 9 0132 2103 0132 0213 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 0 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 1.081510064812 1.069962734451 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_11'], 'c_1001_10' : d['c_0101_3'], 'c_1001_12' : d['c_0011_11'], 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : negation(d['c_0101_3']), 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_1'], 'c_1001_0' : negation(d['c_0101_6']), 'c_1001_3' : d['c_0101_6'], 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : d['c_0101_3'], 'c_1001_8' : d['c_0011_4'], 'c_1010_12' : negation(d['c_0101_7']), 'c_1010_11' : d['c_0101_7'], 'c_1010_10' : d['c_0101_10'], 's_0_10' : d['1'], 's_0_11' : 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_1'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_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_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0101_10']), 'c_0011_12' : d['c_0011_11'], 'c_1100_5' : d['c_0011_10'], 'c_1100_4' : d['c_0011_10'], 'c_1100_7' : negation(d['c_0011_3']), 'c_1100_6' : d['c_1001_4'], 'c_1100_1' : d['c_0011_10'], 'c_1100_0' : negation(d['c_1001_4']), 'c_1100_3' : negation(d['c_1001_4']), 'c_1100_2' : negation(d['c_0011_3']), 's_3_11' : d['1'], 'c_1100_9' : negation(d['c_0101_7']), 'c_1100_11' : negation(d['c_0011_4']), 'c_1100_10' : d['c_0011_10'], 'c_1100_12' : d['c_1001_4'], 'c_1010_7' : negation(d['c_0011_0']), 'c_1010_6' : d['c_0011_11'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0101_6']), 'c_1010_2' : negation(d['c_0101_6']), 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : d['c_1001_4'], 'c_1010_8' : d['c_0011_10'], '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' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], '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' : 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' : negation(d['c_0011_4']), 'c_0011_8' : negation(d['c_0011_3']), 's_3_10' : d['1'], 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_11']), '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_3']), 'c_0110_10' : d['c_0011_10'], 'c_0110_12' : d['c_0101_7'], 'c_0101_12' : d['c_0101_12'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_12'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : 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' : negation(d['c_0101_7']), '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_0101_1'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_12'], 'c_0110_6' : d['c_0101_12']})} 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_3, c_0011_4, c_0101_0, c_0101_1, c_0101_10, c_0101_12, c_0101_3, c_0101_6, c_0101_7, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 1 Groebner basis: [ t + 1/24, c_0011_0 - 1, c_0011_10 - 1, c_0011_11 + 1, c_0011_3 - 2, c_0011_4 + 1, c_0101_0 - 1, c_0101_1 + 1, c_0101_10 - 2, c_0101_12 + 1, c_0101_3 - 3, c_0101_6 - 1, c_0101_7 + 1, c_1001_4 - 2 ], 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_3, c_0011_4, c_0101_0, c_0101_1, c_0101_10, c_0101_12, c_0101_3, c_0101_6, c_0101_7, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 8 Groebner basis: [ t - 215/6*c_1001_4^7 + 161*c_1001_4^6 - 259/2*c_1001_4^5 - 1555/6*c_1001_4^4 + 2237/6*c_1001_4^3 - 135/2*c_1001_4^2 - 580/3*c_1001_4 + 334/3, c_0011_0 - 1, c_0011_10 + c_1001_4^7 - 4*c_1001_4^6 + c_1001_4^5 + 11*c_1001_4^4 - 10*c_1001_4^3 - 2*c_1001_4^2 + 8*c_1001_4 - 3, c_0011_11 + 1, c_0011_3 - c_1001_4, c_0011_4 + 1, c_0101_0 - 1, c_0101_1 + 2*c_1001_4^7 - 9*c_1001_4^6 + 7*c_1001_4^5 + 16*c_1001_4^4 - 23*c_1001_4^3 + 3*c_1001_4^2 + 13*c_1001_4 - 7, c_0101_10 + c_1001_4^7 - 5*c_1001_4^6 + 6*c_1001_4^5 + 4*c_1001_4^4 - 10*c_1001_4^3 + 4*c_1001_4^2 + 3*c_1001_4 - 2, c_0101_12 + c_1001_4^6 - 4*c_1001_4^5 + 2*c_1001_4^4 + 7*c_1001_4^3 - 6*c_1001_4^2 - c_1001_4 + 3, c_0101_3 - c_1001_4^7 + 4*c_1001_4^6 - 2*c_1001_4^5 - 7*c_1001_4^4 + 6*c_1001_4^3 + c_1001_4^2 - 4*c_1001_4 + 1, c_0101_6 + c_1001_4^4 - 2*c_1001_4^3 - c_1001_4^2 + 2*c_1001_4 - 1, c_0101_7 - c_1001_4^4 + 2*c_1001_4^3 + c_1001_4^2 - 2*c_1001_4 + 1, c_1001_4^8 - 5*c_1001_4^7 + 6*c_1001_4^6 + 5*c_1001_4^5 - 14*c_1001_4^4 + 8*c_1001_4^3 + 4*c_1001_4^2 - 6*c_1001_4 + 2 ], 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_3, c_0011_4, c_0101_0, c_0101_1, c_0101_10, c_0101_12, c_0101_3, c_0101_6, c_0101_7, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 110801078709838132330386904/4604601160942958096395*c_1001_4^15 + 146938906927370495598355062499/750549989233702169712385*c_1001_4^14 - 579776748385757426130493576984/750549989233702169712385*c_1001_4^\ 13 + 8835475840471079377050979689/4604601160942958096395*c_1001_4^1\ 2 - 2495671996110547113655102039313/750549989233702169712385*c_1001\ _4^11 + 3183385712608203874290689517789/750549989233702169712385*c_\ 1001_4^10 - 3079567317667209982061933561211/75054998923370216971238\ 5*c_1001_4^9 + 4533340645386777619841495442271/15010999784674043394\ 24770*c_1001_4^8 - 240364122796542793865020008651/15010999784674043\ 3942477*c_1001_4^7 + 664186947427197161957060863559/150109997846740\ 4339424770*c_1001_4^6 + 25395461018650320701470988792/1501099978467\ 40433942477*c_1001_4^5 - 436490204448878398921564655729/15010999784\ 67404339424770*c_1001_4^4 + 133694938067372131405841340362/75054998\ 9233702169712385*c_1001_4^3 - 91679101105014236432767839393/1501099\ 978467404339424770*c_1001_4^2 + 8468978211833907775824184692/750549\ 989233702169712385*c_1001_4 - 642596953180190910699720008/750549989\ 233702169712385, c_0011_0 - 1, c_0011_10 + 146753506453927713614226/920920232188591619279*c_1001_4^15 - 1143868190922861187514333/920920232188591619279*c_1001_4^14 + 4264320733013842372035684/920920232188591619279*c_1001_4^13 - 9811596499010892024568384/920920232188591619279*c_1001_4^12 + 15300168048624125743106282/920920232188591619279*c_1001_4^11 - 16826637463816144591045198/920920232188591619279*c_1001_4^10 + 13090932749311968987152470/920920232188591619279*c_1001_4^9 - 6634075527683680807880233/920920232188591619279*c_1001_4^8 + 1014810699385587878611320/920920232188591619279*c_1001_4^7 + 1932694483686084569210812/920920232188591619279*c_1001_4^6 - 2270994957436571721474380/920920232188591619279*c_1001_4^5 + 1206211464614065168038655/920920232188591619279*c_1001_4^4 - 178395361913955410736526/920920232188591619279*c_1001_4^3 - 159550586190303205456244/920920232188591619279*c_1001_4^2 + 88496027810877212687850/920920232188591619279*c_1001_4 - 13731909069924214966069/920920232188591619279, c_0011_11 - 1270052276727361314933455/920920232188591619279*c_1001_4^15 + 10783457102968069412357459/920920232188591619279*c_1001_4^14 - 44270210985077113243556909/920920232188591619279*c_1001_4^13 + 114456014075376312877632353/920920232188591619279*c_1001_4^12 - 206618104224008867750447692/920920232188591619279*c_1001_4^11 + 274826084181325131633503322/920920232188591619279*c_1001_4^10 - 277595137330079385859186748/920920232188591619279*c_1001_4^9 + 214376838363381109209954529/920920232188591619279*c_1001_4^8 - 121566428831062220860762438/920920232188591619279*c_1001_4^7 + 40360253599927546021223718/920920232188591619279*c_1001_4^6 + 6469660557510013801110831/920920232188591619279*c_1001_4^5 - 19233134902424899791947782/920920232188591619279*c_1001_4^4 + 13402734385354031189472128/920920232188591619279*c_1001_4^3 - 5143050760501126785679144/920920232188591619279*c_1001_4^2 + 1084093558172247135371268/920920232188591619279*c_1001_4 - 98280407961633165883851/920920232188591619279, c_0011_3 + 441243828392322527693404/920920232188591619279*c_1001_4^15 - 3806387588154000326389530/920920232188591619279*c_1001_4^14 + 15835502955010112449620664/920920232188591619279*c_1001_4^13 - 41438138781940345716807272/920920232188591619279*c_1001_4^12 + 75628018057195022720815792/920920232188591619279*c_1001_4^11 - 101568303541477093467444036/920920232188591619279*c_1001_4^10 + 103422951326463346357312701/920920232188591619279*c_1001_4^9 - 80406999639631947966872022/920920232188591619279*c_1001_4^8 + 45887925079795908767828866/920920232188591619279*c_1001_4^7 - 15407206293553632633494378/920920232188591619279*c_1001_4^6 - 2332405248497760110140279/920920232188591619279*c_1001_4^5 + 7266000216074521717624762/920920232188591619279*c_1001_4^4 - 5099682602759544963127034/920920232188591619279*c_1001_4^3 + 1945007328487582291657338/920920232188591619279*c_1001_4^2 - 392905589972792343664341/920920232188591619279*c_1001_4 + 31123555963812884809770/920920232188591619279, c_0011_4 - 1118824839854946385028218/920920232188591619279*c_1001_4^15 + 9600727495399316522124128/920920232188591619279*c_1001_4^14 - 39780352047181967860877996/920920232188591619279*c_1001_4^13 + 103748845362824487885132467/920920232188591619279*c_1001_4^12 - 188850546992703003570256276/920920232188591619279*c_1001_4^11 + 253167259903133630820215136/920920232188591619279*c_1001_4^10 - 257592188337481985919552088/920920232188591619279*c_1001_4^9 + 200363462472833218835408789/920920232188591619279*c_1001_4^8 - 114609912208867294979667852/920920232188591619279*c_1001_4^7 + 38794544924753477414771085/920920232188591619279*c_1001_4^6 + 5439178607148331290272392/920920232188591619279*c_1001_4^5 - 17882435552739814195965262/920920232188591619279*c_1001_4^4 + 12659125968335074385786456/920920232188591619279*c_1001_4^3 - 4899624308354258346008050/920920232188591619279*c_1001_4^2 + 1029858332972223000469510/920920232188591619279*c_1001_4 - 90445305130128218947196/920920232188591619279, c_0101_0 - 1, c_0101_1 + 451283173775938186498458/920920232188591619279*c_1001_4^15 - 3737638637664920522746128/920920232188591619279*c_1001_4^14 + 14909372035536966523929257/920920232188591619279*c_1001_4^13 - 37246337286287788425102295/920920232188591619279*c_1001_4^12 + 64510745109035417548016949/920920232188591619279*c_1001_4^11 - 81628320033473903394746561/920920232188591619279*c_1001_4^10 + 77621072187285874262885609/920920232188591619279*c_1001_4^9 - 55500110352713359371224825/920920232188591619279*c_1001_4^8 + 27879790801160545545472928/920920232188591619279*c_1001_4^7 - 6253113914837144093227684/920920232188591619279*c_1001_4^6 - 4453724237480500592500328/920920232188591619279*c_1001_4^5 + 5846235161368468312075452/920920232188591619279*c_1001_4^4 - 3184063720980574248875119/920920232188591619279*c_1001_4^3 + 898069524516650137093467/920920232188591619279*c_1001_4^2 - 105195429083807628796009/920920232188591619279*c_1001_4 + 111133070441987073761/920920232188591619279, c_0101_10 - 697525445209832863792370/920920232188591619279*c_1001_4^15 + 5896680226530720780010150/920920232188591619279*c_1001_4^14 - 24097413239659962195982255/920920232188591619279*c_1001_4^13 + 61996567765347231618372362/920920232188591619279*c_1001_4^12 - 111337031348866649958858972/920920232188591619279*c_1001_4^11 + 147299993930919858807100232/920920232188591619279*c_1001_4^10 - 147986734808496490931612188/920920232188591619279*c_1001_4^9 + 113646873766186041544289106/920920232188591619279*c_1001_4^8 - 63981662751973509319531180/920920232188591619279*c_1001_4^7 + 20876676506334334884234616/920920232188591619279*c_1001_4^6 + 3745783687556843883538878/920920232188591619279*c_1001_4^5 - 10260881969980835628296086/920920232188591619279*c_1001_4^4 + 7047094387085586942790168/920920232188591619279*c_1001_4^3 - 2677500361923447637216336/920920232188591619279*c_1001_4^2 + 562624832340651680431755/920920232188591619279*c_1001_4 - 51164085269775157072520/920920232188591619279, c_0101_12 + 1459660525463817818683805/920920232188591619279*c_1001_4^15 - 12567690282015014324632668/920920232188591619279*c_1001_4^14 + 52249646139485051695233632/920920232188591619279*c_1001_4^13 - 136754221063110004162414084/920920232188591619279*c_1001_4^12 + 249873547603288577606882028/920920232188591619279*c_1001_4^11 - 336322728188919099348396024/920920232188591619279*c_1001_4^10 + 343666529923300397276837668/920920232188591619279*c_1001_4^9 - 268602688456893250593515032/920920232188591619279*c_1001_4^8 + 154661803029086191604209285/920920232188591619279*c_1001_4^7 - 53195989610427506172166570/920920232188591619279*c_1001_4^6 - 6509000252393055650026008/920920232188591619279*c_1001_4^5 + 23730680825189682943943150/920920232188591619279*c_1001_4^4 - 17043541363399441061258468/920920232188591619279*c_1001_4^3 + 6679900188603390357531254/920920232188591619279*c_1001_4^2 - 1428072107232237987698059/920920232188591619279*c_1001_4 + 129639680040957472075881/920920232188591619279, c_0101_3 - 506569639317341597320432/920920232188591619279*c_1001_4^15 + 4363690314393821002429038/920920232188591619279*c_1001_4^14 - 18148894087031840178643946/920920232188591619279*c_1001_4^13 + 47521090744278230727407322/920920232188591619279*c_1001_4^12 - 86871364525001774733562606/920920232188591619279*c_1001_4^11 + 116995167935041420077348202/920920232188591619279*c_1001_4^10 - 119631191426286858064262158/920920232188591619279*c_1001_4^9 + 93570036025251415352324915/920920232188591619279*c_1001_4^8 - 53923392019009234607561500/920920232188591619279*c_1001_4^7 + 18580303248253340432760788/920920232188591619279*c_1001_4^6 + 2238739566497873339388350/920920232188591619279*c_1001_4^5 - 8263211059672639647946642/920920232188591619279*c_1001_4^4 + 5946611105286076662985096/920920232188591619279*c_1001_4^3 - 2333016363288028784370641/920920232188591619279*c_1001_4^2 + 496287478146898398316290/920920232188591619279*c_1001_4 - 43853942512100298524396/920920232188591619279, c_0101_6 + 482783896315218456957436/920920232188591619279*c_1001_4^15 - 4180462711279106208423984/920920232188591619279*c_1001_4^14 + 17469024290310167103532364/920920232188591619279*c_1001_4^13 - 45950650376930403016873282/920920232188591619279*c_1001_4^12 + 84376983104819903093225818/920920232188591619279*c_1001_4^11 - 114130415091326798996674865/920920232188591619279*c_1001_4^10 + 117194565935136806324421566/920920232188591619279*c_1001_4^9 - 92064806989158441263221131/920920232188591619279*c_1001_4^8 + 53350320050751579209786274/920920232188591619279*c_1001_4^7 - 18609441224972485959056694/920920232188591619279*c_1001_4^6 - 2005554148880747852470202/920920232188591619279*c_1001_4^5 + 8086640223897860756548097/920920232188591619279*c_1001_4^4 - 5884857485152933117623822/920920232188591619279*c_1001_4^3 + 2328994850885570794181385/920920232188591619279*c_1001_4^2 - 500196929440141131388972/920920232188591619279*c_1001_4 + 44534718456144047841881/920920232188591619279, c_0101_7 + 511752956685645646064078/920920232188591619279*c_1001_4^15 - 4504463376197554053589890/920920232188591619279*c_1001_4^14 + 19129755476497087722877006/920920232188591619279*c_1001_4^13 - 51176296972048973647975220/920920232188591619279*c_1001_4^12 + 95680535038540155536267344/920920232188591619279*c_1001_4^11 - 131946561403703631840569971/920920232188591619279*c_1001_4^10 + 138358779000392401039942576/920920232188591619279*c_1001_4^9 - 111326670066330385396558792/920920232188591619279*c_1001_4^8 + 66646410064976863999530972/920920232188591619279*c_1001_4^7 - 25015606513364287582697234/920920232188591619279*c_1001_4^6 - 740257062184765077632884/920920232188591619279*c_1001_4^5 + 9225848288783250593089243/920920232188591619279*c_1001_4^4 - 7261426384946103013674824/920920232188591619279*c_1001_4^3 + 3072837495757320644726076/920920232188591619279*c_1001_4^2 - 717103124696269634691662/920920232188591619279*c_1001_4 + 71639627298459783058809/920920232188591619279, c_1001_4^16 - 1460/163*c_1001_4^15 + 6322/163*c_1001_4^14 - 17298/163*c_1001_4^13 + 33210/163*c_1001_4^12 - 47258/163*c_1001_4^11 + 51442/163*c_1001_4^10 - 43354/163*c_1001_4^9 + 27720/163*c_1001_4^8 - 11962/163*c_1001_4^7 + 1348/163*c_1001_4^6 + 2900/163*c_1001_4^5 - 2826/163*c_1001_4^4 + 1410/163*c_1001_4^3 - 420/163*c_1001_4^2 + 70/163*c_1001_4 - 5/163 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.670 Total time: 0.880 seconds, Total memory usage: 32.09MB