Magma V2.19-8 Tue Aug 20 2013 18:00:40 on localhost [Seed = 3583271157] Type ? for help. Type -D to quit. Loading file "11_242__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_242 geometric_solution 12.22001011 oriented_manifold CS_known 0.0000000000000002 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 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 0 0 0 0 8 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.200921709882 1.416820413032 0 4 6 5 0132 2031 0132 0132 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.605919183664 0.821698585972 6 0 7 7 0321 0132 2103 0132 0 0 0 0 0 0 0 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 0 0 0 1 0 0 -1 8 -8 0 0 -9 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.302005525052 0.535476433327 4 8 7 0 1023 0132 0213 0132 0 0 0 0 0 0 0 0 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 -1 0 1 0 0 0 0 0 -8 0 8 0 9 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.294418962079 0.950992698154 1 3 0 9 1302 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.391530891911 0.825520562301 9 8 1 10 1023 3012 0132 0132 0 0 0 0 0 1 0 -1 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 8 0 -8 -1 0 9 -8 9 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.322374778673 1.059556731749 2 11 11 1 0321 0132 1302 0132 0 0 0 0 0 0 0 0 1 0 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 9 0 0 -9 -8 8 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.434829551546 1.177327688874 2 3 2 9 2103 0213 0132 0213 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 1 -1 0 0 0 0 -9 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.200921709882 1.416820413032 5 3 12 12 1230 0132 0132 0321 0 0 0 0 0 0 0 0 1 0 -1 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 1 -1 0 9 0 -9 0 0 -9 0 9 -8 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.239167068094 0.849224459514 10 5 4 7 0132 1023 0132 0213 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 1 -1 0 0 0 0 0 8 -9 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.202161381459 0.941402233246 9 12 5 11 0132 1023 0132 1302 0 0 0 0 0 0 1 -1 0 0 1 -1 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 8 -8 0 0 8 -8 0 -9 0 9 -8 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.037890977045 0.560181069005 6 6 10 12 2031 0132 2031 1302 0 0 0 0 0 0 -1 1 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 -9 9 0 0 8 -8 -1 0 0 1 0 -8 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.723948807537 0.747425540139 10 8 11 8 1023 0321 2031 0132 0 0 0 0 0 0 0 0 0 0 -1 1 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 0 -1 1 0 0 -9 9 9 -9 0 0 -8 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.692738604436 1.091010960064 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_9']), 'c_1001_10' : d['c_0101_12'], 'c_1001_12' : negation(d['c_0110_11']), 'c_1001_5' : d['c_0011_3'], 'c_1001_4' : d['c_0011_7'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_0110_11'], 'c_1001_1' : negation(d['c_0101_9']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_0'], 'c_1001_2' : d['c_0011_7'], 'c_1001_9' : d['c_0101_0'], 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : d['c_1001_0'], 'c_1010_11' : d['c_0110_11'], 'c_1010_10' : negation(d['c_0101_12']), 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : negation(d['1']), 's_2_8' : negation(d['1']), 'c_0101_12' : d['c_0101_12'], 'c_0101_11' : d['c_0101_11'], '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_0110_11']), 'c_0011_12' : d['c_0011_10'], 'c_1100_5' : d['c_0101_11'], 'c_1100_4' : d['c_1010_7'], 'c_1100_7' : d['c_0101_10'], 'c_1100_6' : d['c_0101_11'], 'c_1100_1' : d['c_0101_11'], 'c_1100_0' : d['c_1010_7'], 'c_1100_3' : d['c_1010_7'], 'c_1100_2' : d['c_0101_10'], 's_0_10' : d['1'], 'c_1100_9' : d['c_1010_7'], 'c_1100_11' : d['c_0101_12'], 'c_1100_10' : d['c_0101_11'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1010_7'], 'c_1010_6' : negation(d['c_0101_9']), 'c_1010_5' : d['c_0101_12'], 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_3'], 'c_1010_0' : d['c_0011_7'], 'c_1010_9' : d['c_0101_10'], 'c_1010_8' : d['c_1001_0'], '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' : negation(d['1']), 'c_1100_12' : negation(d['c_0110_11']), '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_10']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_3'], 'c_0011_7' : d['c_0011_7'], '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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0110_11'], 'c_0110_10' : d['c_0101_9'], 'c_0110_12' : negation(d['c_0101_12']), 'c_0101_7' : d['c_0011_11'], 'c_0101_6' : negation(d['c_0011_11']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0011_0'], 'c_0101_3' : d['c_0011_7'], 'c_0101_2' : d['c_0011_11'], 'c_0101_1' : d['c_0011_0'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : negation(d['c_0101_12']), 'c_0011_10' : d['c_0011_10'], 's_1_12' : negation(d['1']), 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_10'], 'c_0110_8' : negation(d['c_0011_10']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_11'], 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : d['c_0101_9'], 'c_0110_7' : negation(d['c_0101_10']), 'c_0110_6' : d['c_0011_0'], 's_2_9' : d['1']})} 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_7, c_0101_0, c_0101_10, c_0101_11, c_0101_12, c_0101_9, c_0110_11, c_1001_0, c_1010_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 83562509073/15986567168*c_1001_0^17 - 335536697/2838524*c_1001_0^16 + 9376905395367/7993283584*c_1001_0^15 - 1567254968629/235096576*c_1001_0^14 + 378826088071623/15986567168*c_1001_0^13 - 39132036869409/726662144*c_1001_0^12 + 1218870543667895/15986567168*c_1001_0^11 - 493800614748007/7993283584*c_1001_0^10 + 198658159961003/7993283584*c_1001_0^9 - 84764545951617/7993283584*c_1001_0^8 + 68184724183737/3996641792*c_1001_0^7 - 37020321851459/1998320896*c_1001_0^6 + 261525179500639/15986567168*c_1001_0^5 - 55700613591017/7993283584*c_1001_0^4 - 21120297977513/15986567168*c_1001_0^3 + 878308253557/470193152*c_1001_0^2 - 23047208937677/15986567168*c_1001_0 + 3445988370317/7993283584, c_0011_0 - 1, c_0011_10 - 19/512*c_1001_0^17 + 209/256*c_1001_0^16 - 2001/256*c_1001_0^15 + 10829/256*c_1001_0^14 - 71745/512*c_1001_0^13 + 72989/256*c_1001_0^12 - 169553/512*c_1001_0^11 + 21813/128*c_1001_0^10 - 3009/256*c_1001_0^9 + 8119/128*c_1001_0^8 - 14701/128*c_1001_0^7 + 17617/256*c_1001_0^6 - 31345/512*c_1001_0^5 + 1629/256*c_1001_0^4 + 7143/512*c_1001_0^3 + 179/32*c_1001_0^2 + 2311/512*c_1001_0 + 679/256, c_0011_11 - 3/64*c_1001_0^17 + 497/512*c_1001_0^16 - 4403/512*c_1001_0^15 + 21467/512*c_1001_0^14 - 61161/512*c_1001_0^13 + 48615/256*c_1001_0^12 - 16559/128*c_1001_0^11 - 8765/512*c_1001_0^10 - 647/512*c_1001_0^9 + 52135/512*c_1001_0^8 - 14787/512*c_1001_0^7 + 10961/512*c_1001_0^6 - 22703/512*c_1001_0^5 - 1593/32*c_1001_0^4 - 8827/256*c_1001_0^3 - 8599/512*c_1001_0^2 - 3873/512*c_1001_0 - 343/256, c_0011_3 - 1/1024*c_1001_0^17 + 5/256*c_1001_0^16 - 85/512*c_1001_0^15 + 197/256*c_1001_0^14 - 2107/1024*c_1001_0^13 + 1545/512*c_1001_0^12 - 1951/1024*c_1001_0^11 + 73/512*c_1001_0^10 - 389/512*c_1001_0^9 + 537/512*c_1001_0^8 + 1/64*c_1001_0^7 + 41/32*c_1001_0^6 + 5/1024*c_1001_0^5 - 305/512*c_1001_0^4 - 1255/1024*c_1001_0^3 - 1387/512*c_1001_0^2 + 97/1024*c_1001_0 + 13/512, c_0011_7 - c_1001_0 + 1, c_0101_0 + 1/1024*c_1001_0^17 - 5/256*c_1001_0^16 + 85/512*c_1001_0^15 - 197/256*c_1001_0^14 + 2107/1024*c_1001_0^13 - 1545/512*c_1001_0^12 + 1951/1024*c_1001_0^11 - 73/512*c_1001_0^10 + 389/512*c_1001_0^9 - 537/512*c_1001_0^8 - 1/64*c_1001_0^7 - 41/32*c_1001_0^6 - 5/1024*c_1001_0^5 + 305/512*c_1001_0^4 + 1255/1024*c_1001_0^3 + 875/512*c_1001_0^2 + 1951/1024*c_1001_0 + 499/512, c_0101_10 + 3/64*c_1001_0^17 - 497/512*c_1001_0^16 + 4403/512*c_1001_0^15 - 21467/512*c_1001_0^14 + 61161/512*c_1001_0^13 - 48615/256*c_1001_0^12 + 16559/128*c_1001_0^11 + 8765/512*c_1001_0^10 + 647/512*c_1001_0^9 - 52135/512*c_1001_0^8 + 14787/512*c_1001_0^7 - 10961/512*c_1001_0^6 + 22703/512*c_1001_0^5 + 1593/32*c_1001_0^4 + 8827/256*c_1001_0^3 + 8599/512*c_1001_0^2 + 3873/512*c_1001_0 + 343/256, c_0101_11 - 3/256*c_1001_0^17 + 123/512*c_1001_0^16 - 1079/512*c_1001_0^15 + 5217/512*c_1001_0^14 - 14819/512*c_1001_0^13 + 11979/256*c_1001_0^12 - 9249/256*c_1001_0^11 + 3177/512*c_1001_0^10 - 3467/512*c_1001_0^9 + 9609/512*c_1001_0^8 - 1887/512*c_1001_0^7 + 6063/512*c_1001_0^6 - 5461/512*c_1001_0^5 - 393/32*c_1001_0^4 - 85/8*c_1001_0^3 - 2465/512*c_1001_0^2 - 1311/512*c_1001_0 - 113/256, c_0101_12 - 1/64*c_1001_0^17 + 45/128*c_1001_0^16 - 881/256*c_1001_0^15 + 2437/128*c_1001_0^14 - 16507/256*c_1001_0^13 + 8591/64*c_1001_0^12 - 20491/128*c_1001_0^11 + 5541/64*c_1001_0^10 - 2717/256*c_1001_0^9 + 4421/128*c_1001_0^8 - 13751/256*c_1001_0^7 + 1715/64*c_1001_0^6 - 8175/256*c_1001_0^5 + 809/128*c_1001_0^4 + 1103/128*c_1001_0^3 + 583/128*c_1001_0^2 + 939/256*c_1001_0 + 203/128, c_0101_9 - 1/256*c_1001_0^17 + 41/512*c_1001_0^16 - 359/512*c_1001_0^15 + 1727/512*c_1001_0^14 - 4851/512*c_1001_0^13 + 3825/256*c_1001_0^12 - 2761/256*c_1001_0^11 + 623/512*c_1001_0^10 - 1371/512*c_1001_0^9 + 3111/512*c_1001_0^8 - 79/512*c_1001_0^7 + 2497/512*c_1001_0^6 - 1429/512*c_1001_0^5 - 333/64*c_1001_0^4 - 209/32*c_1001_0^3 - 3079/512*c_1001_0^2 - 1219/512*c_1001_0 - 217/256, c_0110_11 + 1/128*c_1001_0^17 - 41/256*c_1001_0^16 + 353/256*c_1001_0^15 - 1613/256*c_1001_0^14 + 3935/256*c_1001_0^13 - 1833/128*c_1001_0^12 - 2169/128*c_1001_0^11 + 12281/256*c_1001_0^10 - 4547/256*c_1001_0^9 - 5293/256*c_1001_0^8 - 2005/256*c_1001_0^7 + 3331/256*c_1001_0^6 - 193/256*c_1001_0^5 + 2591/128*c_1001_0^4 + 1435/128*c_1001_0^3 + 1473/256*c_1001_0^2 + 723/256*c_1001_0 + 125/128, c_1001_0^18 - 21*c_1001_0^17 + 190*c_1001_0^16 - 958*c_1001_0^15 + 2895*c_1001_0^14 - 5197*c_1001_0^13 + 5041*c_1001_0^12 - 2097*c_1001_0^11 + 924*c_1001_0^10 - 1852*c_1001_0^9 + 1058*c_1001_0^8 - 1296*c_1001_0^7 + 1307*c_1001_0^6 + 615*c_1001_0^5 + 645*c_1001_0^4 + 495*c_1001_0^3 + 201*c_1001_0^2 + 71*c_1001_0 + 26, c_1010_7 - 1 ], 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_7, c_0101_0, c_0101_10, c_0101_11, c_0101_12, c_0101_9, c_0110_11, c_1001_0, c_1010_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 40819069994685989667662445667898044370622385533598/1068744176134273\ 6572171916238466229843734776565*c_1010_7^21 + 4791313627433995509537830419363136914752703293093128/26718604403356\ 8414304297905961655746093369414125*c_1010_7^20 + 8068610739159691367338112324931244915041909217975576/53437208806713\ 682860859581192331149218673882825*c_1010_7^19 + 5597172148950997925870627837561927337722754809947783/29687338225952\ 046033810878440183971788152157125*c_1010_7^18 + 161791762339342744037201699835994771033664018091389339/534372088067\ 13682860859581192331149218673882825*c_1010_7^17 + 1267806100716897528741705176559360905495793246928842772/26718604403\ 3568414304297905961655746093369414125*c_1010_7^16 + 1588900709355193964263716797206704036059999173241882779/53437208806\ 713682860859581192331149218673882825*c_1010_7^15 + 1974231973251980979109194739745640904099617510916447403/53437208806\ 713682860859581192331149218673882825*c_1010_7^14 + 11041316698854245960844532443507483295568988125228687713/8906201467\ 7856138101432635320551915364456471375*c_1010_7^13 + 27464977332690991943977768020471766311516666317475910501/2671860440\ 33568414304297905961655746093369414125*c_1010_7^12 + 63108277513891447974278887576291833085958489723277674782/2671860440\ 33568414304297905961655746093369414125*c_1010_7^11 + 35695470765743647295321202255521489918755470868376153249/2671860440\ 33568414304297905961655746093369414125*c_1010_7^10 + 63415460434634871778149827691362598959040819918317817332/2671860440\ 33568414304297905961655746093369414125*c_1010_7^9 + 3812044510577048127986288165461780153267475906014700339/29687338225\ 952046033810878440183971788152157125*c_1010_7^8 + 5139693005855664797904589308153833149388152321352978177/38169434861\ 938344900613986565950820870481344875*c_1010_7^7 + 3139393707128810897555775638904366677447783061149859008/53437208806\ 713682860859581192331149218673882825*c_1010_7^6 + 1916850989167741276160815452627811316418312458694264289/53437208806\ 713682860859581192331149218673882825*c_1010_7^5 + 2826200739782739631915486570790799990771872260652710022/26718604403\ 3568414304297905961655746093369414125*c_1010_7^4 + 21464305034739264603570877157558255273609383014793021/5937467645190\ 409206762175688036794357630431425*c_1010_7^3 + 149132014083553241656790907715674919050860356582581547/267186044033\ 568414304297905961655746093369414125*c_1010_7^2 + 3522122946197411364604773663761629951110231385813556/53437208806713\ 682860859581192331149218673882825*c_1010_7 + 343158219137543775795348400644578523219572363346128/267186044033568\ 414304297905961655746093369414125, c_0011_0 - 1, c_0011_10 + 100638075294817746062887855854871611125/1161945636667076714\ 45231957831893081977*c_1010_7^21 + 461340580283653718469014056679492945270/116194563666707671445231957\ 831893081977*c_1010_7^20 + 3900235370445760191135909855391398088675\ /116194563666707671445231957831893081977*c_1010_7^19 + 4414023308561011903783182900334581297377/11619456366670767144523195\ 7831893081977*c_1010_7^18 + 782524721574561629900517507604978029620\ 02/116194563666707671445231957831893081977*c_1010_7^17 + 115285428449770876259044894725962241283289/116194563666707671445231\ 957831893081977*c_1010_7^16 + 7497154863961303802054359968582050222\ 13242/116194563666707671445231957831893081977*c_1010_7^15 + 861891311968990003224836184482784317554136/116194563666707671445231\ 957831893081977*c_1010_7^14 + 2972382720062218526786270317951224372\ 444310/116194563666707671445231957831893081977*c_1010_7^13 + 724028622096417754478159013454276470227845/387315212222358904817439\ 85943964360659*c_1010_7^12 + 52069986342210756707210898043279889350\ 87240/116194563666707671445231957831893081977*c_1010_7^11 + 2459427773192933621791248010536295037740522/11619456366670767144523\ 1957831893081977*c_1010_7^10 + 154607608909383889894734478098828811\ 7822165/38731521222235890481743985943964360659*c_1010_7^9 + 2392181290576465499364772437211410411358576/11619456366670767144523\ 1957831893081977*c_1010_7^8 + 2094574579336346593635385890593198448\ 578660/116194563666707671445231957831893081977*c_1010_7^7 + 850110683968641814316923470728595093580898/116194563666707671445231\ 957831893081977*c_1010_7^6 + 34882389513461175265933486493360008879\ 0367/116194563666707671445231957831893081977*c_1010_7^5 + 98425848638586418568312942521004708544580/1161945636667076714452319\ 57831893081977*c_1010_7^4 + 163760541595732946776168411494532244881\ 79/116194563666707671445231957831893081977*c_1010_7^3 + 5406672047199877418755682236861978993306/11619456366670767144523195\ 7831893081977*c_1010_7^2 + 955205243091537345091621526948969531807/\ 116194563666707671445231957831893081977*c_1010_7 + 188065373628868985604387039356131003589/116194563666707671445231957\ 831893081977, c_0011_11 + 22919871252919264995503952724642145075/11619456366670767144\ 5231957831893081977*c_1010_7^21 + 680286345184264470199624311805778\ 86558/116194563666707671445231957831893081977*c_1010_7^20 + 728018711598658620645326588885681970697/116194563666707671445231957\ 831893081977*c_1010_7^19 - 129244123887243634654300514278110620264/\ 38731521222235890481743985943964360659*c_1010_7^18 + 16561496358733648356362417632257903911027/1161945636667076714452319\ 57831893081977*c_1010_7^17 - 21762466823438636451675295820215825470\ 97/116194563666707671445231957831893081977*c_1010_7^16 + 135693353152444032983420448839668182437164/116194563666707671445231\ 957831893081977*c_1010_7^15 - 6972193246672299848457722423898022177\ 6951/116194563666707671445231957831893081977*c_1010_7^14 + 143194302805643396757811527281978012167851/387315212222358904817439\ 85943964360659*c_1010_7^13 - 52719739553632533278123351617726685222\ 2540/116194563666707671445231957831893081977*c_1010_7^12 + 659117894002830582727791383612307934605326/116194563666707671445231\ 957831893081977*c_1010_7^11 - 1188303495733603622280552079500276927\ 216194/116194563666707671445231957831893081977*c_1010_7^10 + 623989756477133601763656423614934443738605/116194563666707671445231\ 957831893081977*c_1010_7^9 - 33217431149647623244510622836294605750\ 9953/38731521222235890481743985943964360659*c_1010_7^8 + 17586110474942761540081390516557031796032/1161945636667076714452319\ 57831893081977*c_1010_7^7 - 412992006233176068093420872070731028194\ 050/116194563666707671445231957831893081977*c_1010_7^6 - 52871135869540213776342865837092335235566/1161945636667076714452319\ 57831893081977*c_1010_7^5 - 538522412623045009419447971589355723743\ 08/116194563666707671445231957831893081977*c_1010_7^4 - 1650940522947612482902258250380871295708/38731521222235890481743985\ 943964360659*c_1010_7^3 - 235053003437089733225120262184134019456/1\ 16194563666707671445231957831893081977*c_1010_7^2 - 527688129642823371958444120600930743064/116194563666707671445231957\ 831893081977*c_1010_7 - 70139468185099521693942210822657668294/1161\ 94563666707671445231957831893081977, c_0011_3 + 7320519244734809727452144823226340800/1161945636667076714452\ 31957831893081977*c_1010_7^21 + 31426007687209122023411371422431479\ 852/116194563666707671445231957831893081977*c_1010_7^20 + 276539176030789185364897397307814245218/116194563666707671445231957\ 831893081977*c_1010_7^19 + 249157843166706305452994479371739446106/\ 116194563666707671445231957831893081977*c_1010_7^18 + 5694489503579408542405821427806045625889/11619456366670767144523195\ 7831893081977*c_1010_7^17 + 679641464544055718404808649498122476751\ 2/116194563666707671445231957831893081977*c_1010_7^16 + 54082756399972151951275122847143829363108/1161945636667076714452319\ 57831893081977*c_1010_7^15 + 48850896182241188191607166799022122783\ 441/116194563666707671445231957831893081977*c_1010_7^14 + 216317384836980210152587774609153775683850/116194563666707671445231\ 957831893081977*c_1010_7^13 + 3618613497179935275834024768316304098\ 5604/38731521222235890481743985943964360659*c_1010_7^12 + 402501464241105373658055100162723352934995/116194563666707671445231\ 957831893081977*c_1010_7^11 + 9116836919146312436935912403093279244\ 5918/116194563666707671445231957831893081977*c_1010_7^10 + 135454926370119192989668992655255705318453/387315212222358904817439\ 85943964360659*c_1010_7^9 + 809585231713960937767309732853200294512\ 74/116194563666707671445231957831893081977*c_1010_7^8 + 214178403058102092854527073136648583232149/116194563666707671445231\ 957831893081977*c_1010_7^7 + 25600239556125877325623251889350318834\ 430/116194563666707671445231957831893081977*c_1010_7^6 + 53276011334398268515991679470846751903034/1161945636667076714452319\ 57831893081977*c_1010_7^5 - 728908289318296339356449114285115526810\ /116194563666707671445231957831893081977*c_1010_7^4 + 6722202466656974038389592982453108679829/11619456366670767144523195\ 7831893081977*c_1010_7^3 - 971224311747223559604348255438887843713/\ 116194563666707671445231957831893081977*c_1010_7^2 + 486393520286197690639552705757500520065/116194563666707671445231957\ 831893081977*c_1010_7 - 11874859339818568398677399282127916592/1161\ 94563666707671445231957831893081977, c_0011_7 + 2304017669776196205208111686671278250/1161945636667076714452\ 31957831893081977*c_1010_7^21 + 99058360599606982745323447021864943\ 30/116194563666707671445231957831893081977*c_1010_7^20 + 87100016006882129370732518603278467016/1161945636667076714452319578\ 31893081977*c_1010_7^19 + 78974219549948185775825779779946483232/11\ 6194563666707671445231957831893081977*c_1010_7^18 + 1792707959933078094084458745481864711621/11619456366670767144523195\ 7831893081977*c_1010_7^17 + 215044227911200816539110157430140414796\ 7/116194563666707671445231957831893081977*c_1010_7^16 + 17035064628709231471813016366623149565058/1161945636667076714452319\ 57831893081977*c_1010_7^15 + 15479383904033914475931463079623617586\ 418/116194563666707671445231957831893081977*c_1010_7^14 + 68175246184454582236101254144429945099941/1161945636667076714452319\ 57831893081977*c_1010_7^13 + 11518465651360378096993872115382364119\ 613/38731521222235890481743985943964360659*c_1010_7^12 + 126876289533861297677239426893489172100338/116194563666707671445231\ 957831893081977*c_1010_7^11 + 2933176630891525300193967788167454033\ 1346/116194563666707671445231957831893081977*c_1010_7^10 + 42695432725022047012140126150072775623928/3873152122223589048174398\ 5943964360659*c_1010_7^9 + 2601258996203787237122762836669397862378\ 1/116194563666707671445231957831893081977*c_1010_7^8 + 67639107899110128118080109633111713884666/1161945636667076714452319\ 57831893081977*c_1010_7^7 + 826415972611115796027409380623027408692\ 4/116194563666707671445231957831893081977*c_1010_7^6 + 16774960669869375004084536497792614123259/1161945636667076714452319\ 57831893081977*c_1010_7^5 - 74951981977681141768392038282916261368/\ 116194563666707671445231957831893081977*c_1010_7^4 + 2018765934313105415441907400729642443758/11619456366670767144523195\ 7831893081977*c_1010_7^3 - 282436999774640093741250910110171916208/\ 116194563666707671445231957831893081977*c_1010_7^2 + 131575053668226509268960402750607293647/116194563666707671445231957\ 831893081977*c_1010_7 - 82290460000179911356492032787668778282/1161\ 94563666707671445231957831893081977, c_0101_0 + 2607393327305822780334783417092254300/1161945636667076714452\ 31957831893081977*c_1010_7^21 + 11168360137831632032858628608677103\ 042/116194563666707671445231957831893081977*c_1010_7^20 + 98415404261216567565041345900470568258/1161945636667076714452319578\ 31893081977*c_1010_7^19 + 29303117339358517312448063494063578646/38\ 731521222235890481743985943964360659*c_1010_7^18 + 2028310833432675159764484362184498218770/11619456366670767144523195\ 7831893081977*c_1010_7^17 + 240199836353578433771338660796324915198\ 2/116194563666707671445231957831893081977*c_1010_7^16 + 19258859662577026468350320827672810856369/1161945636667076714452319\ 57831893081977*c_1010_7^15 + 17235472038095741821875234258708193116\ 526/116194563666707671445231957831893081977*c_1010_7^14 + 25683148167567054886430529373265162063803/3873152122223589048174398\ 5943964360659*c_1010_7^13 + 380603582899406690878712726715630738597\ 37/116194563666707671445231957831893081977*c_1010_7^12 + 143584130238545947097508933413883636190453/116194563666707671445231\ 957831893081977*c_1010_7^11 + 3135087280197517299370255371480814610\ 9855/116194563666707671445231957831893081977*c_1010_7^10 + 145303274026983237136044737039022310618868/116194563666707671445231\ 957831893081977*c_1010_7^9 + 92487066627993255574698140774382929679\ 19/38731521222235890481743985943964360659*c_1010_7^8 + 76541435687558132760056277494708662635665/1161945636667076714452319\ 57831893081977*c_1010_7^7 + 895195519116849085742456376866913220630\ 9/116194563666707671445231957831893081977*c_1010_7^6 + 18796187092889155711424132129090326606322/1161945636667076714452319\ 57831893081977*c_1010_7^5 - 232765337474184905872238178145208890249\ /116194563666707671445231957831893081977*c_1010_7^4 + 848199453778263273980424833884254985962/387315212222358904817439859\ 43964360659*c_1010_7^3 - 562756183689439442873826748284011768447/11\ 6194563666707671445231957831893081977*c_1010_7^2 + 224037216191846873145451208324714660209/116194563666707671445231957\ 831893081977*c_1010_7 - 80091532908280309687985059133789030032/1161\ 94563666707671445231957831893081977, c_0101_10 - 15879228065046129937979848235939348650/11619456366670767144\ 5231957831893081977*c_1010_7^21 - 938587540228034934210757450829144\ 39231/116194563666707671445231957831893081977*c_1010_7^20 - 702477457144687254666829632923261160074/116194563666707671445231957\ 831893081977*c_1010_7^19 - 490648139243898857900361044801509949535/\ 38731521222235890481743985943964360659*c_1010_7^18 - 12914421854830630783164653377322725184623/1161945636667076714452319\ 57831893081977*c_1010_7^17 - 34251573718370903872931510990899481504\ 395/116194563666707671445231957831893081977*c_1010_7^16 - 135136276287084080043513668772728490991643/116194563666707671445231\ 957831893081977*c_1010_7^15 - 2840396874937395032306001427454801542\ 35796/116194563666707671445231957831893081977*c_1010_7^14 - 193733444042684513047332235836843198140994/387315212222358904817439\ 85943964360659*c_1010_7^13 - 90229999274366722150811989081868323389\ 5656/116194563666707671445231957831893081977*c_1010_7^12 - 1013734319853821485586694348610629697653532/11619456366670767144523\ 1957831893081977*c_1010_7^11 - 134554285186916409541888358136785410\ 5217535/116194563666707671445231957831893081977*c_1010_7^10 - 794624904254193578432123941639372090010747/116194563666707671445231\ 957831893081977*c_1010_7^9 - 41395479488412330512862358444265829763\ 3883/38731521222235890481743985943964360659*c_1010_7^8 - 427462715484291798431981542540726429763978/116194563666707671445231\ 957831893081977*c_1010_7^7 - 45971919988887859437977721960951147424\ 9615/116194563666707671445231957831893081977*c_1010_7^6 - 69441775135312124671458262813253114763059/1161945636667076714452319\ 57831893081977*c_1010_7^5 - 558503212111302409918353817383187522836\ 20/116194563666707671445231957831893081977*c_1010_7^4 - 68914629412480276593792136997754740811/3873152122223589048174398594\ 3964360659*c_1010_7^3 - 2059689904181256787028163634739680638367/11\ 6194563666707671445231957831893081977*c_1010_7^2 - 381993044237569247699349989779430733079/116194563666707671445231957\ 831893081977*c_1010_7 - 50930779564072261967159110690056359315/1161\ 94563666707671445231957831893081977, c_0101_11 - 11087564316822931514886404174468693000/11619456366670767144\ 5231957831893081977*c_1010_7^21 - 162699766636858617098631450980644\ 91340/38731521222235890481743985943964360659*c_1010_7^20 - 423578259412930862059834526883193264324/116194563666707671445231957\ 831893081977*c_1010_7^19 - 420694888818954839767040161778307676732/\ 116194563666707671445231957831893081977*c_1010_7^18 - 2882304336199519615343362124913057482473/38731521222235890481743985\ 943964360659*c_1010_7^17 - 1120579179468234179362150046073118177460\ 9/116194563666707671445231957831893081977*c_1010_7^16 - 27559576437854418218736733466690396100765/3873152122223589048174398\ 5943964360659*c_1010_7^15 - 821646580381321531473890860594013249432\ 51/116194563666707671445231957831893081977*c_1010_7^14 - 332258488596518254403398710871220318196983/116194563666707671445231\ 957831893081977*c_1010_7^13 - 1941387246296641712175155125834641227\ 74489/116194563666707671445231957831893081977*c_1010_7^12 - 204873080815365269877172357702122567489346/387315212222358904817439\ 85943964360659*c_1010_7^11 - 18704959068489939338604696259577659263\ 2698/116194563666707671445231957831893081977*c_1010_7^10 - 612744433650259712918919868267559438313431/116194563666707671445231\ 957831893081977*c_1010_7^9 - 16359176634096101729101395152695092871\ 2818/116194563666707671445231957831893081977*c_1010_7^8 - 110281326294565187413824844372722196076703/387315212222358904817439\ 85943964360659*c_1010_7^7 - 454025532722796668204044369625166540513\ 14/116194563666707671445231957831893081977*c_1010_7^6 - 29229101421067475203871997130480161702363/3873152122223589048174398\ 5943964360659*c_1010_7^5 + 3228223583427172445615294116213227579656\ /116194563666707671445231957831893081977*c_1010_7^4 - 11902159869595710137517789978087213617332/1161945636667076714452319\ 57831893081977*c_1010_7^3 + 681825831790201981665464261518187497958\ /38731521222235890481743985943964360659*c_1010_7^2 - 847870115177893247765168012706432443204/116194563666707671445231957\ 831893081977*c_1010_7 + 26459610044797426339666549950169181408/3873\ 1521222235890481743985943964360659, c_0101_12 + 30891074660047908891910839228354974075/11619456366670767144\ 5231957831893081977*c_1010_7^21 + 152347959130056571128654791066651\ 050643/116194563666707671445231957831893081977*c_1010_7^20 + 1240903949403128068369228278272834429260/11619456366670767144523195\ 7831893081977*c_1010_7^19 + 174876602710194297275701746708596832554\ 6/116194563666707671445231957831893081977*c_1010_7^18 + 24290106898141580496802039868439660653005/1161945636667076714452319\ 57831893081977*c_1010_7^17 + 43606595933801476412642939999870729783\ 945/116194563666707671445231957831893081977*c_1010_7^16 + 238247062602108244525215974252141203074308/116194563666707671445231\ 957831893081977*c_1010_7^15 + 3405130352271903193002827139695700738\ 65258/116194563666707671445231957831893081977*c_1010_7^14 + 966141177864530685941489892233374545091075/116194563666707671445231\ 957831893081977*c_1010_7^13 + 3193085654037330077497996522890940723\ 77940/38731521222235890481743985943964360659*c_1010_7^12 + 1687362983703537745040660539349099149150672/11619456366670767144523\ 1957831893081977*c_1010_7^11 + 127298048951207444846898639350613988\ 9016578/116194563666707671445231957831893081977*c_1010_7^10 + 481233113563801211898249362913366400843430/387315212222358904817439\ 85943964360659*c_1010_7^9 + 123290184985300297918277963191486033845\ 7357/116194563666707671445231957831893081977*c_1010_7^8 + 678764665254397050515572962198691021983212/116194563666707671445231\ 957831893081977*c_1010_7^7 + 47461554447591593887398483510471412358\ 7392/116194563666707671445231957831893081977*c_1010_7^6 + 118542427993978323439812585703644097363715/116194563666707671445231\ 957831893081977*c_1010_7^5 + 69120210186340568127372559154526010883\ 758/116194563666707671445231957831893081977*c_1010_7^4 + 4516584409470158476501605319180960960742/11619456366670767144523195\ 7831893081977*c_1010_7^3 + 4495095612340779938789072225008698287074\ /116194563666707671445231957831893081977*c_1010_7^2 + 106987067528914492838477430275762778284/116194563666707671445231957\ 831893081977*c_1010_7 + 205287999134898883961635370396856107633/116\ 194563666707671445231957831893081977, c_0101_9 + 797636145744508343346340303975190075/11619456366670767144523\ 1957831893081977*c_1010_7^21 + 312062668055238445305452493030246443\ 3/116194563666707671445231957831893081977*c_1010_7^20 + 28861907279059312551363273515446558825/1161945636667076714452319578\ 31893081977*c_1010_7^19 + 16026575432181112731805470278247459809/11\ 6194563666707671445231957831893081977*c_1010_7^18 + 612074368821968770782050330519224831918/116194563666707671445231957\ 831893081977*c_1010_7^17 + 512344155573164496899073757258815125258/\ 116194563666707671445231957831893081977*c_1010_7^16 + 5636948897190768053999093480569460847641/11619456366670767144523195\ 7831893081977*c_1010_7^15 + 326150424864270078587684390230096985328\ 5/116194563666707671445231957831893081977*c_1010_7^14 + 21837618432824108520838504173718813905148/1161945636667076714452319\ 57831893081977*c_1010_7^13 + 14631522375733561916534595338419500629\ 47/38731521222235890481743985943964360659*c_1010_7^12 + 40405154476541991752917195816420063052683/1161945636667076714452319\ 57831893081977*c_1010_7^11 - 15507992404234170164082059775776871738\ 86/116194563666707671445231957831893081977*c_1010_7^10 + 13558136456221888679466622067228875355029/3873152122223589048174398\ 5943964360659*c_1010_7^9 + 797095371403621390003100924336720115451/\ 116194563666707671445231957831893081977*c_1010_7^8 + 17239870716271288724429851761273583003802/1161945636667076714452319\ 57831893081977*c_1010_7^7 + 254119018566272033890378960694114258452\ 1/116194563666707671445231957831893081977*c_1010_7^6 + 3013998246515215820074336434918969638627/11619456366670767144523195\ 7831893081977*c_1010_7^5 - 433350222088495310622482560242017600135/\ 116194563666707671445231957831893081977*c_1010_7^4 + 1371960760031876730945092724235380031553/11619456366670767144523195\ 7831893081977*c_1010_7^3 - 687792356024824238199556106592696463982/\ 116194563666707671445231957831893081977*c_1010_7^2 + 184999054565898597165463842892850861609/116194563666707671445231957\ 831893081977*c_1010_7 - 112067955931408418109458238612773737102/116\ 194563666707671445231957831893081977, c_0110_11 - 16853493618274467594505843372654351250/11619456366670767144\ 5231957831893081977*c_1010_7^21 - 486688611647053691467632334642085\ 08400/116194563666707671445231957831893081977*c_1010_7^20 - 531240080570649658142604008126149539544/116194563666707671445231957\ 831893081977*c_1010_7^19 + 330983946900711460713684812611773324568/\ 116194563666707671445231957831893081977*c_1010_7^18 - 12187935897969345688413744653360329461811/1161945636667076714452319\ 57831893081977*c_1010_7^17 + 26745357447375784643101943720805714648\ 43/116194563666707671445231957831893081977*c_1010_7^16 - 99792329732510081566318874021094455397464/1161945636667076714452319\ 57831893081977*c_1010_7^15 + 61296132714313468463895599473591086439\ 396/116194563666707671445231957831893081977*c_1010_7^14 - 317601555040268204126334007253570448124930/116194563666707671445231\ 957831893081977*c_1010_7^13 + 1437580865060929221161818557859750908\ 99036/38731521222235890481743985943964360659*c_1010_7^12 - 501640617964411918482386901500710153719838/116194563666707671445231\ 957831893081977*c_1010_7^11 + 9799747702837042788426010046799169846\ 13894/116194563666707671445231957831893081977*c_1010_7^10 - 169203540926410344824938309642250129493320/387315212222358904817439\ 85943964360659*c_1010_7^9 + 882401362309904235403816461634238270766\ 323/116194563666707671445231957831893081977*c_1010_7^8 - 69051143468390722396212469295149380858542/1161945636667076714452319\ 57831893081977*c_1010_7^7 + 405733897097961081625356893475299669401\ 786/116194563666707671445231957831893081977*c_1010_7^6 + 22513015565231817384163279554693087644236/1161945636667076714452319\ 57831893081977*c_1010_7^5 + 715545764608165225002102838677666474746\ 84/116194563666707671445231957831893081977*c_1010_7^4 + 1206750363642440744384791472135526393964/11619456366670767144523195\ 7831893081977*c_1010_7^3 + 4139610326766132090769405262795693895752\ /116194563666707671445231957831893081977*c_1010_7^2 + 175671851697253268020385025768379352497/116194563666707671445231957\ 831893081977*c_1010_7 + 194987695497077072547392412746821766434/116\ 194563666707671445231957831893081977, c_1001_0 + 4608035339552392410416223373342556500/1161945636667076714452\ 31957831893081977*c_1010_7^21 + 19811672119921396549064689404372988\ 660/116194563666707671445231957831893081977*c_1010_7^20 + 174200032013764258741465037206556934032/116194563666707671445231957\ 831893081977*c_1010_7^19 + 157948439099896371551651559559892966464/\ 116194563666707671445231957831893081977*c_1010_7^18 + 3585415919866156188168917490963729423242/11619456366670767144523195\ 7831893081977*c_1010_7^17 + 430088455822401633078220314860280829593\ 4/116194563666707671445231957831893081977*c_1010_7^16 + 34070129257418462943626032733246299130116/1161945636667076714452319\ 57831893081977*c_1010_7^15 + 30958767808067828951862926159247235172\ 836/116194563666707671445231957831893081977*c_1010_7^14 + 136350492368909164472202508288859890199882/116194563666707671445231\ 957831893081977*c_1010_7^13 + 2303693130272075619398774423076472823\ 9226/38731521222235890481743985943964360659*c_1010_7^12 + 253752579067722595354478853786978344200676/116194563666707671445231\ 957831893081977*c_1010_7^11 + 5866353261783050600387935576334908066\ 2692/116194563666707671445231957831893081977*c_1010_7^10 + 85390865450044094024280252300145551247856/3873152122223589048174398\ 5943964360659*c_1010_7^9 + 5202517992407574474245525673338795724756\ 2/116194563666707671445231957831893081977*c_1010_7^8 + 135278215798220256236160219266223427769332/116194563666707671445231\ 957831893081977*c_1010_7^7 + 16528319452222315920548187612460548173\ 848/116194563666707671445231957831893081977*c_1010_7^6 + 33549921339738750008169072995585228246518/1161945636667076714452319\ 57831893081977*c_1010_7^5 - 149903963955362283536784076565832522736\ /116194563666707671445231957831893081977*c_1010_7^4 + 4037531868626210830883814801459284887516/11619456366670767144523195\ 7831893081977*c_1010_7^3 - 564873999549280187482501820220343832416/\ 116194563666707671445231957831893081977*c_1010_7^2 + 379344671003160689983152763333107669271/116194563666707671445231957\ 831893081977*c_1010_7 - 48386356333652151267752107743444474587/1161\ 94563666707671445231957831893081977, c_1010_7^22 + 111/25*c_1010_7^21 + 192/5*c_1010_7^20 + 989/25*c_1010_7^19 + 3913/5*c_1010_7^18 + 26064/25*c_1010_7^17 + 37593/5*c_1010_7^16 + 38761/5*c_1010_7^15 + 761893/25*c_1010_7^14 + 477987/25*c_1010_7^13 + 1423609/25*c_1010_7^12 + 510313/25*c_1010_7^11 + 1423609/25*c_1010_7^10 + 477987/25*c_1010_7^9 + 761893/25*c_1010_7^8 + 38761/5*c_1010_7^7 + 37593/5*c_1010_7^6 + 26064/25*c_1010_7^5 + 3913/5*c_1010_7^4 + 989/25*c_1010_7^3 + 192/5*c_1010_7^2 + 111/25*c_1010_7 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 4.080 Total time: 4.290 seconds, Total memory usage: 64.12MB