Magma V2.19-8 Tue Aug 20 2013 23:49:13 on localhost [Seed = 1747845871] Type ? for help. Type -D to quit. Loading file "K11n140__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K11n140 geometric_solution 11.41155123 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 1 0132 0132 0132 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -1 0 0 1 -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.648157308348 0.603930607715 0 4 0 5 0132 0132 2031 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 1 0 -1 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.572803628154 0.249079602772 5 0 7 6 1230 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 -1 0 0 1 -2 0 0 2 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.972461226158 0.579076394787 5 8 4 0 0132 0132 2031 0132 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 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.568717989351 0.439109653140 9 1 9 3 0132 0132 3012 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.437510809576 0.574495772331 3 2 1 10 0132 3012 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -3 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.784337190033 0.946016355565 11 10 2 7 0132 1302 0132 0321 0 0 0 0 0 0 0 0 -1 0 0 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 -2 0 -1 3 0 0 0 0 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.440150453334 0.594327575744 8 6 11 2 0213 0321 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 1 0 0 -1 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.880300906669 1.188655151487 7 3 10 9 0213 0132 1302 3012 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 -1 0 1 0 0 0 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.181014308562 1.046374207571 4 4 8 12 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 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.870134337841 0.888707742228 8 12 5 6 2031 0321 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 -2 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.446459649390 0.956460661137 6 12 12 7 0132 3120 3201 0132 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.119699093331 1.188655151487 11 11 9 10 2310 3120 0132 0321 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 2 0 0 -2 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.083868179659 0.832841260728 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0011_10'], 'c_1001_11' : negation(d['c_0101_12']), 'c_1001_10' : negation(d['c_0101_2']), 'c_1001_12' : d['c_0101_12'], 'c_1001_5' : d['c_0011_0'], 'c_1001_4' : d['c_0011_0'], 'c_1001_7' : negation(d['c_0011_12']), 'c_1001_6' : d['c_0110_10'], 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : d['c_0110_10'], 'c_1001_3' : negation(d['c_0101_9']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0101_10']), 'c_1001_8' : d['c_0110_10'], 'c_1010_12' : negation(d['c_0011_11']), 'c_1010_11' : negation(d['c_0011_12']), 'c_1010_10' : negation(d['c_0011_11']), 's_3_11' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : d['c_0101_12'], 'c_0101_11' : d['c_0011_10'], '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_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : negation(d['1']), 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_0101_2']), 'c_1100_8' : d['c_0101_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_1001_2']), 'c_1100_4' : d['c_0101_10'], 'c_1100_7' : negation(d['c_0011_12']), 'c_1100_6' : negation(d['c_0011_12']), 'c_1100_1' : negation(d['c_1001_2']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0101_1'], 'c_1100_2' : negation(d['c_0011_12']), 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0011_12']), 'c_1100_10' : negation(d['c_1001_2']), 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_2'], 'c_1010_6' : d['c_1001_2'], 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : d['c_0110_10'], 'c_1010_2' : d['c_0110_10'], 'c_1010_1' : d['c_0011_0'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0101_12'], 'c_1010_8' : negation(d['c_0101_9']), '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'], 'c_1100_12' : negation(d['c_0101_2']), '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' : negation(d['1']), 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_0']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_10']), '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' : negation(d['c_0011_3']), 'c_0110_10' : d['c_0110_10'], 'c_0110_12' : negation(d['c_0011_10']), 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : negation(d['c_0011_3']), 'c_0101_6' : negation(d['c_0011_3']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_12'], 'c_0101_3' : d['c_0101_10'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : negation(d['c_0011_10']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_12'], 'c_0110_8' : negation(d['c_0101_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : d['c_0101_9'], 'c_0110_7' : d['c_0101_2'], 'c_0011_10' : d['c_0011_10'], '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_12, c_0011_3, c_0101_0, c_0101_1, c_0101_10, c_0101_12, c_0101_2, c_0101_9, c_0110_10, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t + 3907863057463/4633598862396*c_1001_2^12 - 674270439265/1544532954132*c_1001_2^11 + 78340782415/55161891219*c_1001_2^10 - 9301661250905/1544532954132*c_1001_2^9 + 17388560366677/2316799431198*c_1001_2^8 - 2911028820059/330971347314*c_1001_2^7 + 130467345240049/4633598862396*c_1001_2^6 - 57659838824045/1158399715599*c_1001_2^5 + 5430354734559/73549188292*c_1001_2^4 - 37202697692444/386133238533*c_1001_2^3 + 345903674164873/4633598862396*c_1001_2^2 - 14145844432207/772266477066*c_1001_2 - 1556197180942/1158399715599, c_0011_0 - 1, c_0011_10 + 482891/1893938*c_1001_2^12 + 255517/1893938*c_1001_2^11 + 1534865/1893938*c_1001_2^10 - 1073232/946969*c_1001_2^9 + 1286403/946969*c_1001_2^8 - 3121462/946969*c_1001_2^7 + 6597032/946969*c_1001_2^6 - 9709842/946969*c_1001_2^5 + 19323721/946969*c_1001_2^4 - 21429608/946969*c_1001_2^3 + 37019931/1893938*c_1001_2^2 - 29342411/1893938*c_1001_2 + 11443825/1893938, c_0011_11 + 255661/946969*c_1001_2^12 + 196063/1893938*c_1001_2^11 + 1525955/1893938*c_1001_2^10 - 2516949/1893938*c_1001_2^9 + 2967969/1893938*c_1001_2^8 - 3276461/946969*c_1001_2^7 + 14773903/1893938*c_1001_2^6 - 21830747/1893938*c_1001_2^5 + 42442643/1893938*c_1001_2^4 - 48939541/1893938*c_1001_2^3 + 20756292/946969*c_1001_2^2 - 16371116/946969*c_1001_2 + 7143361/946969, c_0011_12 + 96312/946969*c_1001_2^12 + 106158/946969*c_1001_2^11 + 870415/1893938*c_1001_2^10 - 85047/946969*c_1001_2^9 + 673156/946969*c_1001_2^8 - 1000778/946969*c_1001_2^7 + 2135298/946969*c_1001_2^6 - 3068081/946969*c_1001_2^5 + 7066778/946969*c_1001_2^4 - 5732301/946969*c_1001_2^3 + 6453043/946969*c_1001_2^2 - 3321258/946969*c_1001_2 + 409277/1893938, c_0011_3 + 28431/1893938*c_1001_2^12 - 29727/946969*c_1001_2^11 - 4455/946969*c_1001_2^10 - 370485/1893938*c_1001_2^9 + 395163/1893938*c_1001_2^8 - 154999/946969*c_1001_2^7 + 1579839/1893938*c_1001_2^6 - 2411063/1893938*c_1001_2^5 + 3795201/1893938*c_1001_2^4 - 6080325/1893938*c_1001_2^3 + 4492653/1893938*c_1001_2^2 - 3399821/1893938*c_1001_2 + 2842897/1893938, c_0101_0 - 434899/946969*c_1001_2^12 - 334293/946969*c_1001_2^11 - 2951425/1893938*c_1001_2^10 + 3056847/1893938*c_1001_2^9 - 2118600/946969*c_1001_2^8 + 4881356/946969*c_1001_2^7 - 10819444/946969*c_1001_2^6 + 30711963/1893938*c_1001_2^5 - 60925405/1893938*c_1001_2^4 + 31063609/946969*c_1001_2^3 - 26994543/946969*c_1001_2^2 + 19532366/946969*c_1001_2 - 5722613/946969, c_0101_1 + 182073/946969*c_1001_2^12 + 169291/1893938*c_1001_2^11 + 566159/946969*c_1001_2^10 - 1949253/1893938*c_1001_2^9 + 1590851/1893938*c_1001_2^8 - 5621499/1893938*c_1001_2^7 + 10563241/1893938*c_1001_2^6 - 7632549/946969*c_1001_2^5 + 30821799/1893938*c_1001_2^4 - 37402721/1893938*c_1001_2^3 + 32562759/1893938*c_1001_2^2 - 14586006/946969*c_1001_2 + 5777494/946969, c_0101_10 - 507883/1893938*c_1001_2^12 - 208195/946969*c_1001_2^11 - 1845387/1893938*c_1001_2^10 + 782218/946969*c_1001_2^9 - 2686051/1893938*c_1001_2^8 + 5943433/1893938*c_1001_2^7 - 6120607/946969*c_1001_2^6 + 9127354/946969*c_1001_2^5 - 18063649/946969*c_1001_2^4 + 36978833/1893938*c_1001_2^3 - 16556060/946969*c_1001_2^2 + 11391764/946969*c_1001_2 - 6666197/1893938, c_0101_12 + 96312/946969*c_1001_2^12 + 106158/946969*c_1001_2^11 + 870415/1893938*c_1001_2^10 - 85047/946969*c_1001_2^9 + 673156/946969*c_1001_2^8 - 1000778/946969*c_1001_2^7 + 2135298/946969*c_1001_2^6 - 3068081/946969*c_1001_2^5 + 7066778/946969*c_1001_2^4 - 5732301/946969*c_1001_2^3 + 6453043/946969*c_1001_2^2 - 3321258/946969*c_1001_2 + 409277/1893938, c_0101_2 + 28431/1893938*c_1001_2^12 - 29727/946969*c_1001_2^11 - 4455/946969*c_1001_2^10 - 370485/1893938*c_1001_2^9 + 395163/1893938*c_1001_2^8 - 154999/946969*c_1001_2^7 + 1579839/1893938*c_1001_2^6 - 2411063/1893938*c_1001_2^5 + 3795201/1893938*c_1001_2^4 - 6080325/1893938*c_1001_2^3 + 4492653/1893938*c_1001_2^2 - 3399821/1893938*c_1001_2 + 2842897/1893938, c_0101_9 + 1224627/1893938*c_1001_2^12 + 435425/946969*c_1001_2^11 + 2155295/946969*c_1001_2^10 - 4321125/1893938*c_1001_2^9 + 3322012/946969*c_1001_2^8 - 7616847/946969*c_1001_2^7 + 15338792/946969*c_1001_2^6 - 46778147/1893938*c_1001_2^5 + 92226565/1893938*c_1001_2^4 - 48368400/946969*c_1001_2^3 + 87359717/1893938*c_1001_2^2 - 31682069/946969*c_1001_2 + 18711039/1893938, c_0110_10 - 700507/1893938*c_1001_2^12 - 314353/946969*c_1001_2^11 - 1357901/946969*c_1001_2^10 + 867265/946969*c_1001_2^9 - 4032363/1893938*c_1001_2^8 + 7944989/1893938*c_1001_2^7 - 8255905/946969*c_1001_2^6 + 12195435/946969*c_1001_2^5 - 25130427/946969*c_1001_2^4 + 48443435/1893938*c_1001_2^3 - 23009103/946969*c_1001_2^2 + 15659991/946969*c_1001_2 - 3537737/946969, c_1001_2^13 + 3*c_1001_2^11 - 6*c_1001_2^10 + 8*c_1001_2^9 - 16*c_1001_2^8 + 34*c_1001_2^7 - 56*c_1001_2^6 + 102*c_1001_2^5 - 132*c_1001_2^4 + 127*c_1001_2^3 - 102*c_1001_2^2 + 53*c_1001_2 - 12 ], Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_3, c_0101_0, c_0101_1, c_0101_10, c_0101_12, c_0101_2, c_0101_9, c_0110_10, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 114748296/13628125*c_0101_9*c_1001_2^7 + 27833737/13628125*c_0101_9*c_1001_2^6 + 19972242/2725625*c_0101_9*c_1001_2^5 + 935413483/27256250*c_0101_9*c_1001_2^4 + 1329747761/27256250*c_0101_9*c_1001_2^3 + 207573967/5451250*c_0101_9*c_1001_2^2 + 148054587/27256250*c_0101_9*c_1001_2 - 298346511/27256250*c_0101_9 + 64147527/3893750*c_1001_2^7 + 3842169/3893750*c_1001_2^6 + 4771427/389375*c_1001_2^5 + 124800524/1946875*c_1001_2^4 + 158323308/1946875*c_1001_2^3 + 40374277/778750*c_1001_2^2 - 47958503/3893750*c_1001_2 - 62097683/1946875, c_0011_0 - 1, c_0011_10 - 1/2*c_1001_2^5 + 1/2*c_1001_2^4 - 1/2*c_1001_2^3 - 3/2*c_1001_2^2 - 1/2*c_1001_2, c_0011_11 - 1/2*c_1001_2^7 + 1/2*c_1001_2^6 - c_1001_2^5 - c_1001_2^4 - c_1001_2^3 - 1/2*c_1001_2^2 + 1/2*c_1001_2, c_0011_12 + 49/178*c_0101_9*c_1001_2^7 - 12/89*c_0101_9*c_1001_2^6 + 44/89*c_0101_9*c_1001_2^5 + 71/89*c_0101_9*c_1001_2^4 + 85/89*c_0101_9*c_1001_2^3 + 209/178*c_0101_9*c_1001_2^2 + 16/89*c_0101_9*c_1001_2 - 26/89*c_0101_9 + 7/89*c_1001_2^7 + 22/89*c_1001_2^6 - 13/178*c_1001_2^5 + 33/89*c_1001_2^4 + 126/89*c_1001_2^3 + 68/89*c_1001_2^2 + 30/89*c_1001_2 - 53/178, c_0011_3 + 19/89*c_0101_9*c_1001_2^7 + 5/178*c_0101_9*c_1001_2^6 + 41/178*c_0101_9*c_1001_2^5 + 141/178*c_0101_9*c_1001_2^4 + 239/178*c_0101_9*c_1001_2^3 + 153/178*c_0101_9*c_1001_2^2 + 56/89*c_0101_9*c_1001_2 - 2/89*c_0101_9 + 49/178*c_1001_2^7 - 12/89*c_1001_2^6 - 1/178*c_1001_2^5 + 231/178*c_1001_2^4 + 81/178*c_1001_2^3 - 29/89*c_1001_2^2 - 57/178*c_1001_2 - 26/89, c_0101_0 - 1/2*c_1001_2^6 + 1/2*c_1001_2^5 - 1/2*c_1001_2^4 - 3/2*c_1001_2^3 - 1/2*c_1001_2^2 + 1, c_0101_1 + 1/2*c_1001_2^7 + c_1001_2^5 + 3/2*c_1001_2^4 + 7/2*c_1001_2^3 + 3*c_1001_2^2 + 3/2*c_1001_2 + 1/2, c_0101_10 - 2/89*c_0101_9*c_1001_2^7 - 19/89*c_0101_9*c_1001_2^6 - 9/178*c_0101_9*c_1001_2^5 - 57/178*c_0101_9*c_1001_2^4 - 161/178*c_0101_9*c_1001_2^3 - 255/178*c_0101_9*c_1001_2^2 - 157/178*c_0101_9*c_1001_2 + 33/89*c_0101_9 - 26/89*c_1001_2^7 - 49/178*c_1001_2^6 - 14/89*c_1001_2^5 - 148/89*c_1001_2^4 - 201/89*c_1001_2^3 - 189/89*c_1001_2^2 - 261/178*c_1001_2 - 16/89, c_0101_12 - 49/178*c_0101_9*c_1001_2^7 + 12/89*c_0101_9*c_1001_2^6 - 44/89*c_0101_9*c_1001_2^5 - 71/89*c_0101_9*c_1001_2^4 - 85/89*c_0101_9*c_1001_2^3 - 209/178*c_0101_9*c_1001_2^2 - 16/89*c_0101_9*c_1001_2 + 26/89*c_0101_9 - 7/89*c_1001_2^7 - 22/89*c_1001_2^6 + 13/178*c_1001_2^5 - 33/89*c_1001_2^4 - 126/89*c_1001_2^3 - 68/89*c_1001_2^2 + 59/89*c_1001_2 + 53/178, c_0101_2 - 19/89*c_0101_9*c_1001_2^7 - 5/178*c_0101_9*c_1001_2^6 - 41/178*c_0101_9*c_1001_2^5 - 141/178*c_0101_9*c_1001_2^4 - 239/178*c_0101_9*c_1001_2^3 - 153/178*c_0101_9*c_1001_2^2 - 56/89*c_0101_9*c_1001_2 + 2/89*c_0101_9 + 20/89*c_1001_2^7 - 65/178*c_1001_2^6 + 1/178*c_1001_2^5 + 125/178*c_1001_2^4 - 81/178*c_1001_2^3 - 387/178*c_1001_2^2 - 105/89*c_1001_2 + 26/89, c_0101_9^2 - 1/2*c_0101_9*c_1001_2^6 + 1/2*c_0101_9*c_1001_2^5 - 1/2*c_0101_9*c_1001_2^4 - 3/2*c_0101_9*c_1001_2^3 - 1/2*c_0101_9*c_1001_2^2 + 2*c_0101_9*c_1001_2 + c_0101_9 - 1/2*c_1001_2^7 - c_1001_2^5 - c_1001_2^4 - 3*c_1001_2^3 - 5/2*c_1001_2^2 + c_1001_2 - 1, c_0110_10 + 1/2*c_1001_2^4 - 1/2*c_1001_2^3 + 1/2*c_1001_2^2 + 1/2*c_1001_2 + 1/2, c_1001_2^8 + c_1001_2^6 + 4*c_1001_2^5 + 5*c_1001_2^4 + 4*c_1001_2^3 + c_1001_2^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.710 Total time: 1.919 seconds, Total memory usage: 64.12MB