Magma V2.19-8 Tue Aug 20 2013 23:41:27 on localhost [Seed = 1393899503] Type ? for help. Type -D to quit. Loading file "K12n576__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n576 geometric_solution 10.44753982 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 12 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 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.140385447290 1.812397871731 0 5 2 6 0132 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 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.333457822224 0.137120469337 7 0 1 8 0132 0132 0321 0132 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 19 0 0 -19 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.356384775261 0.643958003450 6 9 10 0 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 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.660637669608 0.658766809061 11 8 0 7 0132 0132 0132 0321 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 1 0 0 -1 -18 18 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.223551960767 0.776861562480 11 1 6 8 2031 0132 0132 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 0 0 0 0 -19 0 0 19 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.343095170350 1.443340057902 3 9 1 5 0132 1302 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 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.832084160172 0.728247693220 2 4 10 9 0132 0321 0321 0132 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -19 0 0 19 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.896225090086 0.653795804346 11 4 2 5 1230 0132 0132 0213 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 19 -19 18 -18 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.692646080328 0.812917202778 10 3 7 6 1302 0132 0132 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 0 1 18 0 -19 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.934263809137 0.967106146862 11 9 7 3 3012 2031 0321 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 1 0 -1 18 -18 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.601011600306 1.064371833394 4 8 5 10 0132 3012 1302 1230 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 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 18 0 0 -18 -1 -18 19 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.240667073964 1.732510342835 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_11']), 'c_1001_10' : negation(d['c_0110_9']), 'c_1001_5' : d['c_0110_9'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_1001_7'], 'c_1001_6' : d['c_0110_9'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_1001_0'], 'c_1010_11' : d['c_0101_10'], 'c_1010_10' : negation(d['c_0011_3']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : negation(d['1']), 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_0']), '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' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : 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' : d['c_1001_1'], 'c_1100_5' : d['c_1001_2'], 'c_1100_4' : d['c_1001_7'], 'c_1100_7' : negation(d['c_0110_9']), 'c_1100_6' : d['c_1001_2'], 'c_1100_1' : d['c_1001_2'], 'c_1100_0' : d['c_1001_7'], 'c_1100_3' : d['c_1001_7'], 'c_1100_2' : d['c_1001_1'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0101_3'], 'c_1100_10' : d['c_1001_7'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_0'], 'c_1010_6' : d['c_0110_9'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_1001_0'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0110_9'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0011_3']), 'c_1010_8' : d['c_1001_2'], 's_3_1' : d['1'], 's_3_0' : negation(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'], '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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : negation(d['1']), 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : d['c_0011_11'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_11']), 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_3']), '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' : d['c_0011_10'], 'c_0110_10' : d['c_0101_3'], 'c_0110_0' : d['c_0011_10'], 'c_0101_7' : negation(d['c_0101_10']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0011_10'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_10']), 'c_0101_1' : d['c_0011_10'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_10']), 'c_0101_8' : negation(d['c_0101_10']), 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0110_9'], 'c_0110_8' : d['c_0011_11'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0110_9']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_10']), 'c_0110_5' : negation(d['c_0011_11']), 'c_0110_4' : negation(d['c_0011_0']), 'c_0110_7' : negation(d['c_0011_10']), 'c_0110_6' : d['c_0101_3']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0101_0, c_0101_10, c_0101_3, c_0110_9, c_1001_0, c_1001_1, c_1001_2, c_1001_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 10 Groebner basis: [ t + 42580000555/317699662*c_1001_7^9 + 76326687022/158849831*c_1001_7^8 + 147571021209/317699662*c_1001_7^7 - 13192209959/45385666*c_1001_7^6 - 137544487643/158849831*c_1001_7^5 - 49651547714/158849831*c_1001_7^4 + 87735109505/158849831*c_1001_7^3 + 203232269531/317699662*c_1001_7^2 + 5364999868/22692833*c_1001_7 + 4584371517/158849831, c_0011_0 - 1, c_0011_10 + 729657/1174*c_1001_7^9 + 2596775/1174*c_1001_7^8 + 1295523/587*c_1001_7^7 - 807714/587*c_1001_7^6 - 4712015/1174*c_1001_7^5 - 1300699/1174*c_1001_7^4 + 1734963/587*c_1001_7^3 + 1753560/587*c_1001_7^2 + 1179905/1174*c_1001_7 + 66362/587, c_0011_11 - 59721/1174*c_1001_7^9 - 237825/1174*c_1001_7^8 - 150505/587*c_1001_7^7 + 52645/1174*c_1001_7^6 + 230521/587*c_1001_7^5 + 269185/1174*c_1001_7^4 - 269101/1174*c_1001_7^3 - 423463/1174*c_1001_7^2 - 98467/587*c_1001_7 - 29711/1174, c_0011_3 + 94656/587*c_1001_7^9 + 626499/1174*c_1001_7^8 + 259568/587*c_1001_7^7 - 539821/1174*c_1001_7^6 - 1083025/1174*c_1001_7^5 - 38573/587*c_1001_7^4 + 453307/587*c_1001_7^3 + 343357/587*c_1001_7^2 + 147035/1174*c_1001_7 + 2265/587, c_0101_0 - 70278/587*c_1001_7^9 - 246290/587*c_1001_7^8 - 480773/1174*c_1001_7^7 + 316899/1174*c_1001_7^6 + 886237/1174*c_1001_7^5 + 230373/1174*c_1001_7^4 - 659741/1174*c_1001_7^3 - 327347/587*c_1001_7^2 - 214867/1174*c_1001_7 - 21931/1174, c_0101_10 - 59721/1174*c_1001_7^9 - 237825/1174*c_1001_7^8 - 150505/587*c_1001_7^7 + 52645/1174*c_1001_7^6 + 230521/587*c_1001_7^5 + 269185/1174*c_1001_7^4 - 269101/1174*c_1001_7^3 - 423463/1174*c_1001_7^2 - 98467/587*c_1001_7 - 29711/1174, c_0101_3 + 729657/1174*c_1001_7^9 + 2596775/1174*c_1001_7^8 + 1295523/587*c_1001_7^7 - 807714/587*c_1001_7^6 - 4712015/1174*c_1001_7^5 - 1300699/1174*c_1001_7^4 + 1734963/587*c_1001_7^3 + 1753560/587*c_1001_7^2 + 1179905/1174*c_1001_7 + 66949/587, c_0110_9 + 328219/587*c_1001_7^9 + 2343997/1174*c_1001_7^8 + 1179140/587*c_1001_7^7 - 1432323/1174*c_1001_7^6 - 4266633/1174*c_1001_7^5 - 607999/587*c_1001_7^4 + 1562255/587*c_1001_7^3 + 1597666/587*c_1001_7^2 + 1085299/1174*c_1001_7 + 62115/587, c_1001_0 + 228412/587*c_1001_7^9 + 830081/587*c_1001_7^8 + 1731011/1174*c_1001_7^7 - 933071/1174*c_1001_7^6 - 1528897/587*c_1001_7^5 - 992035/1174*c_1001_7^4 + 2182823/1174*c_1001_7^3 + 2352909/1174*c_1001_7^2 + 839345/1174*c_1001_7 + 50089/587, c_1001_1 + 64039/1174*c_1001_7^9 + 137894/587*c_1001_7^8 + 375191/1174*c_1001_7^7 - 18204/587*c_1001_7^6 - 555883/1174*c_1001_7^5 - 176671/587*c_1001_7^4 + 311995/1174*c_1001_7^3 + 258655/587*c_1001_7^2 + 247543/1174*c_1001_7 + 37785/1174, c_1001_2 + 392785/1174*c_1001_7^9 + 692187/587*c_1001_7^8 + 677910/587*c_1001_7^7 - 896663/1174*c_1001_7^6 - 2501911/1174*c_1001_7^5 - 638693/1174*c_1001_7^4 + 935414/587*c_1001_7^3 + 1835599/1174*c_1001_7^2 + 295901/587*c_1001_7 + 62393/1174, c_1001_7^10 + 66/17*c_1001_7^9 + 80/17*c_1001_7^8 - 18/17*c_1001_7^7 - 122/17*c_1001_7^6 - 66/17*c_1001_7^5 + 71/17*c_1001_7^4 + 108/17*c_1001_7^3 + 54/17*c_1001_7^2 + 12/17*c_1001_7 + 1/17 ], Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0101_0, c_0101_10, c_0101_3, c_0110_9, c_1001_0, c_1001_1, c_1001_2, c_1001_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 7503098795181072805838417752969226492919/29829665241052703343523250\ 41748574350634976*c_1001_7^14 - 31892195355553045931015454053447007\ 41901/186435407756579395897020315109285896914686*c_1001_7^13 - 43712195437342991605872002558896455756085/2982966524105270334352325\ 041748574350634976*c_1001_7^12 + 4599807959657345294100418782710539\ 39951881/1491483262052635167176162520874287175317488*c_1001_7^11 - 1536908922532720439359469838270585656229233/59659330482105406687046\ 50083497148701269952*c_1001_7^10 - 10347067542410900411350552175000416280567315/5965933048210540668704\ 650083497148701269952*c_1001_7^9 + 13960656844850891037747580148814175372182843/5965933048210540668704\ 650083497148701269952*c_1001_7^8 + 19423220308823204010825143381512797180747441/5965933048210540668704\ 650083497148701269952*c_1001_7^7 - 64620267759027833500362213053619705595799467/1193186609642108133740\ 9300166994297402539904*c_1001_7^6 - 21800935513376593760365466099670966742177879/1193186609642108133740\ 9300166994297402539904*c_1001_7^5 + 6773671218986694426417373416195354281371673/10847150996746437579463\ 00015181299763867264*c_1001_7^4 - 544604801691012336551406977783845\ 77711451855/11931866096421081337409300166994297402539904*c_1001_7^3 + 6403861960433498761561139902352551992265521/596593304821054066870\ 4650083497148701269952*c_1001_7^2 + 10018424035045053780278560996920417389343601/1193186609642108133740\ 9300166994297402539904*c_1001_7 - 184032900882711423676670207884245\ 0090054919/11931866096421081337409300166994297402539904, c_0011_0 - 1, c_0011_10 - 132777762912273577926197660895/1449629471016191348994492363\ 0658*c_1001_7^14 + 464716666488592289074336847870/72481473550809567\ 44972461815329*c_1001_7^13 + 403973711894876333688837286577/1449629\ 4710161913489944923630658*c_1001_7^12 - 7642105687396445926615679015421/7248147355080956744972461815329*c_1\ 001_7^11 + 37300606826167874250162650953961/28992589420323826979889\ 847261316*c_1001_7^10 + 134983546479037320169815976323575/289925894\ 20323826979889847261316*c_1001_7^9 - 266890128012785894842952721955563/28992589420323826979889847261316*\ c_1001_7^8 - 66785805955156983436369355072277/289925894203238269798\ 89847261316*c_1001_7^7 + 797904178534564024656090469316147/57985178\ 840647653959779694522632*c_1001_7^6 - 244468103796326184196519653362349/57985178840647653959779694522632*\ c_1001_7^5 - 576734572916109675188556844393851/57985178840647653959\ 779694522632*c_1001_7^4 - 78022986461354109759486495185533/57985178\ 840647653959779694522632*c_1001_7^3 + 431995115667976334902625084460179/28992589420323826979889847261316*\ c_1001_7^2 - 565448932758786591876119336654185/57985178840647653959\ 779694522632*c_1001_7 - 103042075048742735657609987420789/579851788\ 40647653959779694522632, c_0011_11 - 51384230552718037562577605764/72481473550809567449724618153\ 29*c_1001_7^14 + 343758553802033489737988121092/7248147355080956744\ 972461815329*c_1001_7^13 + 266712778311387408849775833944/724814735\ 5080956744972461815329*c_1001_7^12 - 5862953429295965232516962848320/7248147355080956744972461815329*c_1\ 001_7^11 + 5396922633979771176382216519518/724814735508095674497246\ 1815329*c_1001_7^10 + 28342990555710594475189895423440/724814735508\ 0956744972461815329*c_1001_7^9 - 43648356482206940623576637711922/7\ 248147355080956744972461815329*c_1001_7^8 - 29387003234614392079022123325060/7248147355080956744972461815329*c_\ 1001_7^7 + 73739775742720593514655654452545/72481473550809567449724\ 61815329*c_1001_7^6 + 2028709965242273486385587607492/7248147355080\ 956744972461815329*c_1001_7^5 - 66075111363789009648850072095663/72\ 48147355080956744972461815329*c_1001_7^4 - 23171091575793310014168494502398/7248147355080956744972461815329*c_\ 1001_7^3 + 85456567057715193095573391085568/72481473550809567449724\ 61815329*c_1001_7^2 - 27782640816722253277900495927631/724814735508\ 0956744972461815329*c_1001_7 - 24070308030044607251717332220832/724\ 8147355080956744972461815329, c_0011_3 + 62074563241025004669796687739/724814735508095674497246181532\ 9*c_1001_7^14 - 424833850069527200655497485784/72481473550809567449\ 72461815329*c_1001_7^13 - 252258382396478845451471748265/7248147355\ 080956744972461815329*c_1001_7^12 + 7089278874588227472397956486054/7248147355080956744972461815329*c_1\ 001_7^11 - 15306701417686085491631496552013/14496294710161913489944\ 923630658*c_1001_7^10 - 64790209188081192806603687709135/1449629471\ 0161913489944923630658*c_1001_7^9 + 114946804871726307957604693982559/14496294710161913489944923630658*\ c_1001_7^8 + 44067462717616182945854975414217/144962947101619134899\ 44923630658*c_1001_7^7 - 358946277857835555019172317687943/28992589\ 420323826979889847261316*c_1001_7^6 + 85879937241194068152153874956525/28992589420323826979889847261316*c\ _1001_7^5 + 277865308024411539070150355654551/289925894203238269798\ 89847261316*c_1001_7^4 + 59555944053876742375392250992713/289925894\ 20323826979889847261316*c_1001_7^3 - 190947854870571395391340162619845/14496294710161913489944923630658*\ c_1001_7^2 + 224365272745354415552952548271841/28992589420323826979\ 889847261316*c_1001_7 + 70905121304118733876323059853141/2899258942\ 0323826979889847261316, c_0101_0 + 16566977287603879697359230656/724814735508095674497246181532\ 9*c_1001_7^14 - 109520998280200366022435805980/72481473550809567449\ 72461815329*c_1001_7^13 - 107626469332422848125409399632/7248147355\ 080956744972461815329*c_1001_7^12 + 1949042916075738241370747767764/7248147355080956744972461815329*c_1\ 001_7^11 - 1424951202462395838690001650872/724814735508095674497246\ 1815329*c_1001_7^10 - 10468355513912833809821333419746/724814735508\ 0956744972461815329*c_1001_7^9 + 12965914031488305469060282920974/7\ 248147355080956744972461815329*c_1001_7^8 + 16733566495679106974465554386718/7248147355080956744972461815329*c_\ 1001_7^7 - 25826520855956796008731030884890/72481473550809567449724\ 61815329*c_1001_7^6 - 11615067867837702228596930771141/724814735508\ 0956744972461815329*c_1001_7^5 + 28962792708137472700018689034139/7\ 248147355080956744972461815329*c_1001_7^4 + 14304707538354561056940297457557/7248147355080956744972461815329*c_\ 1001_7^3 - 28012553223619831014519543613329/72481473550809567449724\ 61815329*c_1001_7^2 - 1887793781603840752166027072563/7248147355080\ 956744972461815329*c_1001_7 + 9299602761012959548931086437080/72481\ 47355080956744972461815329, c_0101_10 + 10053406940995312670371429252/72481473550809567449724618153\ 29*c_1001_7^14 - 59887544297982009568439023156/72481473550809567449\ 72461815329*c_1001_7^13 - 94715077601652378930199821624/72481473550\ 80956744972461815329*c_1001_7^12 + 1084680013846096698319940574096/7248147355080956744972461815329*c_1\ 001_7^11 - 344611889884419095497758267262/7248147355080956744972461\ 815329*c_1001_7^10 - 5878089225896851762700292520188/72481473550809\ 56744972461815329*c_1001_7^9 + 5527946635833936849336362743998/7248\ 147355080956744972461815329*c_1001_7^8 + 9891955865195608408351338664356/7248147355080956744972461815329*c_1\ 001_7^7 - 13283178300935214035205332328269/724814735508095674497246\ 1815329*c_1001_7^6 - 7339248297990712129611358466746/72481473550809\ 56744972461815329*c_1001_7^5 + 15312620294953597315538629249761/724\ 8147355080956744972461815329*c_1001_7^4 + 8770970176542812997682262252552/7248147355080956744972461815329*c_1\ 001_7^3 - 19634331807976517746832178789208/724814735508095674497246\ 1815329*c_1001_7^2 - 2049124880112279919382285206345/72481473550809\ 56744972461815329*c_1001_7 + 16768440596785578912959934309726/72481\ 47355080956744972461815329, c_0101_3 - 134297726548480135503917741999/14496294710161913489944923630\ 658*c_1001_7^14 + 454551823668939029795912247938/724814735508095674\ 4972461815329*c_1001_7^13 + 601425434724207715443707860921/14496294\ 710161913489944923630658*c_1001_7^12 - 7619832257688525420729302008565/7248147355080956744972461815329*c_1\ 001_7^11 + 31167652690296863286836221387097/28992589420323826979889\ 847261316*c_1001_7^10 + 140758226904210701300823032773071/289925894\ 20323826979889847261316*c_1001_7^9 - 239119234830368461800972404970331/28992589420323826979889847261316*\ c_1001_7^8 - 107255113941459499057809881727021/28992589420323826979\ 889847261316*c_1001_7^7 + 745851019120235435998291051165763/5798517\ 8840647653959779694522632*c_1001_7^6 - 129058197583056756787499778321285/57985178840647653959779694522632*\ c_1001_7^5 - 555175932439867218901667974847563/57985178840647653959\ 779694522632*c_1001_7^4 - 155099925445422785944735069678373/5798517\ 8840647653959779694522632*c_1001_7^3 + 386281872564854100471595428555131/28992589420323826979889847261316*\ c_1001_7^2 - 441113704889593795259388264249817/57985178840647653959\ 779694522632*c_1001_7 - 155815861903168399490236893754941/579851788\ 40647653959779694522632, c_0110_9 - 11332247974326313157103375155/144962947101619134899449236306\ 58*c_1001_7^14 + 34661000806896558951612186166/72481473550809567449\ 72461815329*c_1001_7^13 + 116997804922767311473542650365/1449629471\ 0161913489944923630658*c_1001_7^12 - 678680040080721329906777552289/7248147355080956744972461815329*c_10\ 01_7^11 + 790701676020419004712301707221/28992589420323826979889847\ 261316*c_1001_7^10 + 17006796504707983030946900130043/2899258942032\ 3826979889847261316*c_1001_7^9 - 15907470363417470474116751224575/2\ 8992589420323826979889847261316*c_1001_7^8 - 36541830253838521457780299216817/28992589420323826979889847261316*c\ _1001_7^7 + 108370507809381154159388733421367/579851788406476539597\ 79694522632*c_1001_7^6 + 43892743034755958803790487914199/579851788\ 40647653959779694522632*c_1001_7^5 - 145793869851415226105393024130047/57985178840647653959779694522632*\ c_1001_7^4 - 43726162650788156297302624609881/579851788406476539597\ 79694522632*c_1001_7^3 + 58160694470607126328688750220263/289925894\ 20323826979889847261316*c_1001_7^2 + 11758691463718369251297999057875/57985178840647653959779694522632*c\ _1001_7 - 132705772241613035884535705221129/57985178840647653959779\ 694522632, c_1001_0 + 113435956760398085006257596/7248147355080956744972461815329*\ c_1001_7^14 + 5262008744321248168111572336/724814735508095674497246\ 1815329*c_1001_7^13 - 38171641311211815735384893284/724814735508095\ 6744972461815329*c_1001_7^12 - 24222868690652542859058201036/724814\ 7355080956744972461815329*c_1001_7^11 + 600358280161412169364608143458/7248147355080956744972461815329*c_10\ 01_7^10 - 554281869639107458632877955006/72481473550809567449724618\ 15329*c_1001_7^9 - 2392773028372858720960854861570/7248147355080956\ 744972461815329*c_1001_7^8 + 4318820858558187213804096696316/724814\ 7355080956744972461815329*c_1001_7^7 - 394890334910360413962196926739/7248147355080956744972461815329*c_10\ 01_7^6 - 6399311224915736509122975867111/72481473550809567449724618\ 15329*c_1001_7^5 + 5773641477224065388440701347913/7248147355080956\ 744972461815329*c_1001_7^4 + 1850804726335946495289948446014/724814\ 7355080956744972461815329*c_1001_7^3 - 693120576088317554647078684740/7248147355080956744972461815329*c_10\ 01_7^2 - 545495743923450416339312528679/724814735508095674497246181\ 5329*c_1001_7 + 9023926699819374358848230122192/7248147355080956744\ 972461815329, c_1001_1 + 66317554907512089029364685568/724814735508095674497246181532\ 9*c_1001_7^14 - 462576733681480185984056762932/72481473550809567449\ 72461815329*c_1001_7^13 - 205877107185612995567028301244/7248147355\ 080956744972461815329*c_1001_7^12 + 7589966377495253502307607281796/7248147355080956744972461815329*c_1\ 001_7^11 - 9210904837429556356740396517420/724814735508095674497246\ 1815329*c_1001_7^10 - 33285968494061051651710034801958/724814735508\ 0956744972461815329*c_1001_7^9 + 66008743293505742595195536320696/7\ 248147355080956744972461815329*c_1001_7^8 + 15403959458278497110760427786496/7248147355080956744972461815329*c_\ 1001_7^7 - 98862073782114734908625084781476/72481473550809567449724\ 61815329*c_1001_7^6 + 30318907052036826059803239272259/724814735508\ 0956744972461815329*c_1001_7^5 + 73524259256917673603976784627062/7\ 248147355080956744972461815329*c_1001_7^4 + 10947080630561650058320329457128/7248147355080956744972461815329*c_\ 1001_7^3 - 103536535295126729155939949821048/7248147355080956744972\ 461815329*c_1001_7^2 + 74826932154546413765447514354024/72481473550\ 80956744972461815329*c_1001_7 + 12670121319544307219253559734404/72\ 48147355080956744972461815329, c_1001_2 + 66317554907512089029364685568/724814735508095674497246181532\ 9*c_1001_7^14 - 462576733681480185984056762932/72481473550809567449\ 72461815329*c_1001_7^13 - 205877107185612995567028301244/7248147355\ 080956744972461815329*c_1001_7^12 + 7589966377495253502307607281796/7248147355080956744972461815329*c_1\ 001_7^11 - 9210904837429556356740396517420/724814735508095674497246\ 1815329*c_1001_7^10 - 33285968494061051651710034801958/724814735508\ 0956744972461815329*c_1001_7^9 + 66008743293505742595195536320696/7\ 248147355080956744972461815329*c_1001_7^8 + 15403959458278497110760427786496/7248147355080956744972461815329*c_\ 1001_7^7 - 98862073782114734908625084781476/72481473550809567449724\ 61815329*c_1001_7^6 + 30318907052036826059803239272259/724814735508\ 0956744972461815329*c_1001_7^5 + 73524259256917673603976784627062/7\ 248147355080956744972461815329*c_1001_7^4 + 10947080630561650058320329457128/7248147355080956744972461815329*c_\ 1001_7^3 - 103536535295126729155939949821048/7248147355080956744972\ 461815329*c_1001_7^2 + 74826932154546413765447514354024/72481473550\ 80956744972461815329*c_1001_7 + 12670121319544307219253559734404/72\ 48147355080956744972461815329, c_1001_7^15 - 7*c_1001_7^14 - 3*c_1001_7^13 + 115*c_1001_7^12 - 283/2*c_1001_7^11 - 506*c_1001_7^10 + 1016*c_1001_7^9 + 238*c_1001_7^8 - 6191/4*c_1001_7^7 + 997/2*c_1001_7^6 + 1143*c_1001_7^5 + 81*c_1001_7^4 - 6451/4*c_1001_7^3 + 4421/4*c_1001_7^2 + 415/2*c_1001_7 - 233/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.650 Total time: 0.860 seconds, Total memory usage: 32.09MB