Magma V2.19-8 Tue Aug 20 2013 18:00:07 on localhost [Seed = 1242300039] Type ? for help. Type -D to quit. Loading file "11_198__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_198 geometric_solution 12.47307775 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 2 0132 0132 0132 1230 0 0 0 0 0 -1 1 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 13 -12 -1 -12 0 0 12 1 -1 0 0 0 -12 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.266646750586 0.682346027852 0 4 6 5 0132 0132 0132 0132 0 0 0 0 0 0 0 0 -1 0 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 12 0 -13 1 0 13 0 -13 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.438490341677 0.721947616206 0 0 7 4 3012 0132 0132 0132 0 0 0 0 0 1 0 -1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -13 0 13 1 0 -1 0 -12 12 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.730866046369 0.680031818269 8 5 6 0 0132 0132 3120 0132 0 0 0 0 0 1 0 -1 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 -12 0 12 0 0 0 0 12 0 0 -12 12 -12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.760855196845 1.059939311999 6 1 2 7 0321 0132 0132 3012 0 0 0 0 0 0 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 -13 13 0 0 0 0 0 -1 0 1 13 -13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.038531307884 0.525296252691 9 3 1 8 0132 0132 0132 2103 0 0 0 0 0 -1 0 1 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 12 0 -12 1 0 -1 0 -12 12 0 0 -13 0 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.078824543094 1.487682543789 4 10 3 1 0321 0132 3120 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 -13 0 0 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.637239711328 1.279046757606 10 10 4 2 2310 3012 1230 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 -1 0 0 1 13 0 -13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.401809105177 1.090155529006 3 11 9 5 0132 0132 0132 2103 0 0 0 0 0 1 -1 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 -13 13 0 0 0 0 0 -12 0 0 12 -12 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.810615544479 0.566931292131 5 12 12 8 0132 0132 3120 0132 0 0 0 0 0 0 -1 1 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 13 -13 -1 0 1 0 13 -13 0 0 12 0 -12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.386860214520 0.705022101576 7 6 7 11 1230 0132 3201 0132 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 -13 13 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.702339291354 0.807588636289 12 8 10 12 0132 0132 0132 2103 0 0 0 0 0 -1 1 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 13 -13 0 -1 0 1 0 0 -12 0 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.386860214520 0.705022101576 11 9 9 11 0132 0132 3120 2103 0 0 0 0 0 0 -1 1 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 12 -12 1 0 -1 0 0 0 0 0 0 13 -13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.386860214520 0.705022101576 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : negation(d['c_0011_0']), 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : negation(d['c_0101_7']), 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : d['c_1001_0'], 'c_1001_4' : d['c_1001_0'], 'c_1001_7' : negation(d['c_0011_10']), 'c_1001_6' : d['c_1001_11'], 'c_1001_1' : negation(d['c_0101_7']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_1001_11']), 'c_1001_2' : negation(d['c_0101_10']), 'c_1001_9' : negation(d['c_1001_12']), 'c_1001_8' : d['c_1001_12'], 'c_1010_12' : negation(d['c_1001_12']), 'c_1010_11' : d['c_1001_12'], 'c_1010_10' : d['c_1001_11'], 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_7'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : negation(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_12']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : negation(d['c_0011_11']), 'c_1100_5' : negation(d['c_0101_3']), 'c_1100_4' : d['c_0011_10'], 'c_1100_7' : d['c_0011_10'], 'c_1100_6' : negation(d['c_0101_3']), 'c_1100_1' : negation(d['c_0101_3']), 'c_1100_0' : d['c_0101_4'], 'c_1100_3' : d['c_0101_4'], 'c_1100_2' : d['c_0011_10'], 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0011_7']), 'c_1100_10' : negation(d['c_0011_7']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0101_10']), 'c_1010_6' : negation(d['c_0101_7']), 'c_1010_5' : negation(d['c_1001_11']), 'c_1010_4' : negation(d['c_0101_7']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_0'], 'c_1010_0' : negation(d['c_0101_10']), 'c_1010_9' : d['c_1001_12'], 'c_1010_8' : d['c_1001_11'], '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' : negation(d['1']), 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0101_12']), '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' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_11'], 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : negation(d['c_0011_10']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_11'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_12'], 'c_0110_10' : d['c_0011_7'], 'c_0110_12' : d['c_0011_7'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0101_4']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_10']), 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_12'], 'c_0101_8' : d['c_0101_0'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_0'], 'c_0110_8' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_12'], 'c_0110_4' : d['c_0011_10'], 'c_0110_7' : negation(d['c_0101_10']), 'c_1100_8' : negation(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_7, c_0101_0, c_0101_10, c_0101_12, c_0101_3, c_0101_4, c_0101_7, c_1001_0, c_1001_11, c_1001_12 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 24402835785033277/572906036354*c_1001_12^13 - 20421651190411751/572906036354*c_1001_12^12 + 31059912423225999/1145812072708*c_1001_12^11 - 29473180773429855/1145812072708*c_1001_12^10 + 307442601378343289/572906036354*c_1001_12^9 + 607361892956818145/1145812072708*c_1001_12^8 - 318633103662766873/1145812072708*c_1001_12^7 + 52034526913803637/1145812072708*c_1001_12^6 - 2180411294497926661/1145812072708*c_1001_12^5 - 1791705384578989283/1145812072708*c_1001_12^4 + 1097321693998823521/1145812072708*c_1001_12^3 - 419017991960234283/572906036354*c_1001_12^2 - 131482854801406583/1145812072708*c_1001_12 - 149532451188448147/1145812072708, c_0011_0 - 1, c_0011_10 + c_1001_12, c_0011_11 - 11146152054/286453018177*c_1001_12^13 + 4393369734/286453018177*c_1001_12^12 + 250568025/286453018177*c_1001_12^11 - 3320029499/286453018177*c_1001_12^10 + 161668222776/286453018177*c_1001_12^9 - 27224780886/286453018177*c_1001_12^8 - 6556866856/286453018177*c_1001_12^7 - 23990432094/286453018177*c_1001_12^6 - 647213861767/286453018177*c_1001_12^5 + 33239632422/286453018177*c_1001_12^4 - 6778419584/286453018177*c_1001_12^3 + 36408968349/286453018177*c_1001_12^2 + 666589188134/286453018177*c_1001_12 + 18151123548/286453018177, c_0011_7 - 66749426112/286453018177*c_1001_12^13 - 30447179016/286453018177*c_1001_12^12 + 80823112206/286453018177*c_1001_12^11 - 55919206338/286453018177*c_1001_12^10 + 852268381923/286453018177*c_1001_12^9 + 517408619423/286453018177*c_1001_12^8 - 988423223172/286453018177*c_1001_12^7 + 190584892818/286453018177*c_1001_12^6 - 2963792595128/286453018177*c_1001_12^5 - 1297534321062/286453018177*c_1001_12^4 + 3345878264839/286453018177*c_1001_12^3 - 1533343962018/286453018177*c_1001_12^2 + 129736911764/286453018177*c_1001_12 - 70369600713/286453018177, c_0101_0 - 66749426112/286453018177*c_1001_12^13 - 30447179016/286453018177*c_1001_12^12 + 80823112206/286453018177*c_1001_12^11 - 55919206338/286453018177*c_1001_12^10 + 852268381923/286453018177*c_1001_12^9 + 517408619423/286453018177*c_1001_12^8 - 988423223172/286453018177*c_1001_12^7 + 190584892818/286453018177*c_1001_12^6 - 2963792595128/286453018177*c_1001_12^5 - 1297534321062/286453018177*c_1001_12^4 + 3345878264839/286453018177*c_1001_12^3 - 1533343962018/286453018177*c_1001_12^2 + 129736911764/286453018177*c_1001_12 - 70369600713/286453018177, c_0101_10 - 66635219978/286453018177*c_1001_12^13 - 32628270476/286453018177*c_1001_12^12 + 69519228135/286453018177*c_1001_12^11 - 51753813598/286453018177*c_1001_12^10 + 850005474468/286453018177*c_1001_12^9 + 540986850289/286453018177*c_1001_12^8 - 821293932537/286453018177*c_1001_12^7 + 164083099713/286453018177*c_1001_12^6 - 2964710368732/286453018177*c_1001_12^5 - 1402171261099/286453018177*c_1001_12^4 + 2613834879435/286453018177*c_1001_12^3 - 1478038016323/286453018177*c_1001_12^2 + 96841984703/286453018177*c_1001_12 - 93925756644/286453018177, c_0101_12 - 66635219978/286453018177*c_1001_12^13 - 32628270476/286453018177*c_1001_12^12 + 69519228135/286453018177*c_1001_12^11 - 51753813598/286453018177*c_1001_12^10 + 850005474468/286453018177*c_1001_12^9 + 540986850289/286453018177*c_1001_12^8 - 821293932537/286453018177*c_1001_12^7 + 164083099713/286453018177*c_1001_12^6 - 2964710368732/286453018177*c_1001_12^5 - 1402171261099/286453018177*c_1001_12^4 + 2613834879435/286453018177*c_1001_12^3 - 1478038016323/286453018177*c_1001_12^2 + 96841984703/286453018177*c_1001_12 - 93925756644/286453018177, c_0101_3 - 45566954776/286453018177*c_1001_12^13 - 52032707770/286453018177*c_1001_12^12 + 327933488/286453018177*c_1001_12^11 - 37345633787/286453018177*c_1001_12^10 + 578314878628/286453018177*c_1001_12^9 + 750700519405/286453018177*c_1001_12^8 + 67250986804/286453018177*c_1001_12^7 + 260656542194/286453018177*c_1001_12^6 - 2139542555430/286453018177*c_1001_12^5 - 2476923275906/286453018177*c_1001_12^4 - 120632731070/286453018177*c_1001_12^3 - 1462103512111/286453018177*c_1001_12^2 + 73839806464/286453018177*c_1001_12 - 133011843328/286453018177, c_0101_4 - 13105362360/286453018177*c_1001_12^13 - 11024899850/286453018177*c_1001_12^12 + 7301043782/286453018177*c_1001_12^11 + 4812952883/286453018177*c_1001_12^10 + 159514666143/286453018177*c_1001_12^9 + 163955986818/286453018177*c_1001_12^8 - 71500534532/286453018177*c_1001_12^7 - 166572370346/286453018177*c_1001_12^6 - 540217666821/286453018177*c_1001_12^5 - 557670198526/286453018177*c_1001_12^4 + 303527539140/286453018177*c_1001_12^3 + 272909851672/286453018177*c_1001_12^2 - 175126147657/286453018177*c_1001_12 + 187772463710/286453018177, c_0101_7 + 11146152054/286453018177*c_1001_12^13 - 4393369734/286453018177*c_1001_12^12 - 250568025/286453018177*c_1001_12^11 + 3320029499/286453018177*c_1001_12^10 - 161668222776/286453018177*c_1001_12^9 + 27224780886/286453018177*c_1001_12^8 + 6556866856/286453018177*c_1001_12^7 + 23990432094/286453018177*c_1001_12^6 + 647213861767/286453018177*c_1001_12^5 - 33239632422/286453018177*c_1001_12^4 + 6778419584/286453018177*c_1001_12^3 - 36408968349/286453018177*c_1001_12^2 - 666589188134/286453018177*c_1001_12 - 18151123548/286453018177, c_1001_0 - 60217674222/286453018177*c_1001_12^13 - 58251417846/286453018177*c_1001_12^12 + 33038291173/286453018177*c_1001_12^11 - 7439318977/286453018177*c_1001_12^10 + 744253171678/286453018177*c_1001_12^9 + 849347416272/286453018177*c_1001_12^8 - 307084168777/286453018177*c_1001_12^7 - 333701660981/286453018177*c_1001_12^6 - 2610213751575/286453018177*c_1001_12^5 - 2629694146850/286453018177*c_1001_12^4 + 1185517624900/286453018177*c_1001_12^3 + 368937026939/286453018177*c_1001_12^2 - 489549808593/286453018177*c_1001_12 + 55774299254/286453018177, c_1001_11 - 4499496618/286453018177*c_1001_12^13 - 19526089838/286453018177*c_1001_12^12 + 8107361735/286453018177*c_1001_12^11 + 260187831/286453018177*c_1001_12^10 + 66170815206/286453018177*c_1001_12^9 + 236197648518/286453018177*c_1001_12^8 - 73045118787/286453018177*c_1001_12^7 - 42340316594/286453018177*c_1001_12^6 - 452093746844/286453018177*c_1001_12^5 - 680561484637/286453018177*c_1001_12^4 + 334926006301/286453018177*c_1001_12^3 + 166105457360/286453018177*c_1001_12^2 + 579461675596/286453018177*c_1001_12 + 52892314499/286453018177, c_1001_12^14 + c_1001_12^13 - 1/2*c_1001_12^12 + 1/2*c_1001_12^11 - 25/2*c_1001_12^10 - 29/2*c_1001_12^9 + 9/2*c_1001_12^8 + 89/2*c_1001_12^6 + 44*c_1001_12^5 - 33/2*c_1001_12^4 + 27/2*c_1001_12^3 + 11/2*c_1001_12^2 + 7/2*c_1001_12 + 1/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_7, c_0101_0, c_0101_10, c_0101_12, c_0101_3, c_0101_4, c_0101_7, c_1001_0, c_1001_11, c_1001_12 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 439047018361885906995472835758995352454/106121125040035945225381753\ 11318545787*c_1001_12^23 + 15070612033428437699750811980579284640/3\ 21579166787987712804187130646016539*c_1001_12^22 - 816051437118518505091233220739063539663/106121125040035945225381753\ 11318545787*c_1001_12^21 - 3187345015852129654718938224829477653226\ /10612112504003594522538175311318545787*c_1001_12^20 - 10076373323978582518254668628338914486846/1061211250400359452253817\ 5311318545787*c_1001_12^19 - 13070197298046569955287660374737675429\ 95/10612112504003594522538175311318545787*c_1001_12^18 + 2138307663952691565325393662252453402815/11791236115559549469486861\ 45702060643*c_1001_12^17 + 876931104125624290963067248345726927721/\ 321579166787987712804187130646016539*c_1001_12^16 + 69096196162358813978381009204902971646090/1061211250400359452253817\ 5311318545787*c_1001_12^15 + 14907522269488757598462568556790161244\ 38/3537370834667864840846058437106181929*c_1001_12^14 - 101102378863796642966539856868053509987087/106121125040035945225381\ 75311318545787*c_1001_12^13 - 3338799277974731404870753116557840311\ 2059/3537370834667864840846058437106181929*c_1001_12^12 - 23042583705302339379487300952707594009690/1179123611555954946948686\ 145702060643*c_1001_12^11 - 171341849289113479584539017005355970082\ 32/3537370834667864840846058437106181929*c_1001_12^10 + 4210689475806952884749476803851366910599/32157916678798771280418713\ 0646016539*c_1001_12^9 + 9491144172540201469984207284754868989119/1\ 179123611555954946948686145702060643*c_1001_12^8 + 219370908170517539197764371998973441376859/106121125040035945225381\ 75311318545787*c_1001_12^7 + 19076649011013658473041124369745964158\ 483/964737500363963138412561391938049617*c_1001_12^6 + 188903161383203815623700011969408718979014/106121125040035945225381\ 75311318545787*c_1001_12^5 + 62446054798028964755630479826129581811\ 527/10612112504003594522538175311318545787*c_1001_12^4 + 33947394794544055475299641603919624368748/1061211250400359452253817\ 5311318545787*c_1001_12^3 + 454165060216488655489726860444430669723\ 4/10612112504003594522538175311318545787*c_1001_12^2 + 1246329838602770262444782576893968471601/10612112504003594522538175\ 311318545787*c_1001_12 - 2711108246587560835060747710919158547213/1\ 0612112504003594522538175311318545787, c_0011_0 - 1, c_0011_10 - 1420463918959606755770977823/2013314535846108349297285673*c\ _1001_12^23 - 5322167126050316414683009561/603994360753832504789185\ 7019*c_1001_12^22 + 6745873683193280455306848214/603994360753832504\ 7891857019*c_1001_12^21 + 31578920298974572022726107918/60399436075\ 38325047891857019*c_1001_12^20 + 102887109822355452969902366089/603\ 9943607538325047891857019*c_1001_12^19 + 27501403139067602004571547089/6039943607538325047891857019*c_1001_1\ 2^18 - 58017177275896625499918867384/2013314535846108349297285673*c\ _1001_12^17 - 103087945098226402463978199247/2013314535846108349297\ 285673*c_1001_12^16 - 242719241014998042876444748635/20133145358461\ 08349297285673*c_1001_12^15 - 141515090834048556834995111399/603994\ 3607538325047891857019*c_1001_12^14 + 900669432931774317882267587414/6039943607538325047891857019*c_1001_\ 12^13 + 378243867394678631947308917201/2013314535846108349297285673\ *c_1001_12^12 + 749694729431004424613326837772/20133145358461083492\ 97285673*c_1001_12^11 + 254708012998861221420630777684/201331453584\ 6108349297285673*c_1001_12^10 - 353080753874303705874296343711/2013\ 314535846108349297285673*c_1001_12^9 - 356401242396109193873334928208/2013314535846108349297285673*c_1001_\ 12^8 - 801296150410105556456365388397/2013314535846108349297285673*\ c_1001_12^7 - 2221250811984318031139603197940/603994360753832504789\ 1857019*c_1001_12^6 - 2352954625153704372869029678289/6039943607538\ 325047891857019*c_1001_12^5 - 316251615681616153448504195744/201331\ 4535846108349297285673*c_1001_12^4 - 525711661315261493856867423902/6039943607538325047891857019*c_1001_\ 12^3 - 31185400946626292748553457281/2013314535846108349297285673*c\ _1001_12^2 - 64668865247072125002587398303/603994360753832504789185\ 7019*c_1001_12 + 20831426827062959368200335402/60399436075383250478\ 91857019, c_0011_11 - 93959520566415558754006391/6039943607538325047891857019*c_1\ 001_12^23 - 161090527888244947267586188/603994360753832504789185701\ 9*c_1001_12^22 + 109485281219308561884023723/6039943607538325047891\ 857019*c_1001_12^21 + 795883855566262177512456722/60399436075383250\ 47891857019*c_1001_12^20 + 2589621862567190159995549685/60399436075\ 38325047891857019*c_1001_12^19 + 511765232851055161889842479/201331\ 4535846108349297285673*c_1001_12^18 - 1334416136815333666721509751/2013314535846108349297285673*c_1001_12\ ^17 - 3010715563031962561357427219/2013314535846108349297285673*c_1\ 001_12^16 - 18842527746803584162170428662/6039943607538325047891857\ 019*c_1001_12^15 - 9013220896230625483847849972/6039943607538325047\ 891857019*c_1001_12^14 + 7279568792565645613702025820/2013314535846\ 108349297285673*c_1001_12^13 + 12474350508707196859622514085/201331\ 4535846108349297285673*c_1001_12^12 + 19728348192272050552243488743/2013314535846108349297285673*c_1001_1\ 2^11 + 10986514873811478651805130666/2013314535846108349297285673*c\ _1001_12^10 - 8509576105414154662394324635/201331453584610834929728\ 5673*c_1001_12^9 - 15432728457532703380819725092/201331453584610834\ 9297285673*c_1001_12^8 - 63300580663133720445296576443/603994360753\ 8325047891857019*c_1001_12^7 - 64255885830034305828172485721/603994\ 3607538325047891857019*c_1001_12^6 - 22757129611317095495531229911/2013314535846108349297285673*c_1001_1\ 2^5 - 25821109533899381554182276025/6039943607538325047891857019*c_\ 1001_12^4 - 3176629666149332279129498944/20133145358461083492972856\ 73*c_1001_12^3 - 2238061328412449671757065826/603994360753832504789\ 1857019*c_1001_12^2 + 13870562539800024315579967426/603994360753832\ 5047891857019*c_1001_12 + 779211082133261433865932/2013314535846108\ 349297285673, c_0011_7 + 1804701124201772925605840164/6039943607538325047891857019*c_\ 1001_12^23 + 1807038757448172709907437960/6039943607538325047891857\ 019*c_1001_12^22 - 1171035031530243502718692047/2013314535846108349\ 297285673*c_1001_12^21 - 4158830869338988366858830184/2013314535846\ 108349297285673*c_1001_12^20 - 13276424482127703805107897301/201331\ 4535846108349297285673*c_1001_12^19 - 847311786987057432147608234/6039943607538325047891857019*c_1001_12^\ 18 + 25605742534103606188887139177/2013314535846108349297285673*c_1\ 001_12^17 + 35616542538798266853317061809/2013314535846108349297285\ 673*c_1001_12^16 + 273043973911294153973530581449/60399436075383250\ 47891857019*c_1001_12^15 - 8666557199208273711048048379/60399436075\ 38325047891857019*c_1001_12^14 - 396262107152068186570188787018/603\ 9943607538325047891857019*c_1001_12^13 - 115683518739396863749956718472/2013314535846108349297285673*c_1001_\ 12^12 - 274528839757608291105837958696/2013314535846108349297285673\ *c_1001_12^11 - 47109641589008050522769951009/201331453584610834929\ 7285673*c_1001_12^10 + 176939659314039602437062731009/2013314535846\ 108349297285673*c_1001_12^9 + 79503343360134744117361037298/2013314\ 535846108349297285673*c_1001_12^8 + 884917108423246344220802561369/6039943607538325047891857019*c_1001_\ 12^7 + 264852388072472799556945851356/2013314535846108349297285673*\ c_1001_12^6 + 735617179030202759471530604995/6039943607538325047891\ 857019*c_1001_12^5 + 229353287700056361818498320757/603994360753832\ 5047891857019*c_1001_12^4 + 183984985408287134096812859665/60399436\ 07538325047891857019*c_1001_12^3 + 31384821434274286526302055461/6039943607538325047891857019*c_1001_1\ 2^2 + 4983668423597504989036936904/2013314535846108349297285673*c_1\ 001_12 - 8583132517058988528973181770/6039943607538325047891857019, c_0101_0 + 1804701124201772925605840164/6039943607538325047891857019*c_\ 1001_12^23 + 1807038757448172709907437960/6039943607538325047891857\ 019*c_1001_12^22 - 1171035031530243502718692047/2013314535846108349\ 297285673*c_1001_12^21 - 4158830869338988366858830184/2013314535846\ 108349297285673*c_1001_12^20 - 13276424482127703805107897301/201331\ 4535846108349297285673*c_1001_12^19 - 847311786987057432147608234/6039943607538325047891857019*c_1001_12^\ 18 + 25605742534103606188887139177/2013314535846108349297285673*c_1\ 001_12^17 + 35616542538798266853317061809/2013314535846108349297285\ 673*c_1001_12^16 + 273043973911294153973530581449/60399436075383250\ 47891857019*c_1001_12^15 - 8666557199208273711048048379/60399436075\ 38325047891857019*c_1001_12^14 - 396262107152068186570188787018/603\ 9943607538325047891857019*c_1001_12^13 - 115683518739396863749956718472/2013314535846108349297285673*c_1001_\ 12^12 - 274528839757608291105837958696/2013314535846108349297285673\ *c_1001_12^11 - 47109641589008050522769951009/201331453584610834929\ 7285673*c_1001_12^10 + 176939659314039602437062731009/2013314535846\ 108349297285673*c_1001_12^9 + 79503343360134744117361037298/2013314\ 535846108349297285673*c_1001_12^8 + 884917108423246344220802561369/6039943607538325047891857019*c_1001_\ 12^7 + 264852388072472799556945851356/2013314535846108349297285673*\ c_1001_12^6 + 735617179030202759471530604995/6039943607538325047891\ 857019*c_1001_12^5 + 229353287700056361818498320757/603994360753832\ 5047891857019*c_1001_12^4 + 183984985408287134096812859665/60399436\ 07538325047891857019*c_1001_12^3 + 31384821434274286526302055461/6039943607538325047891857019*c_1001_1\ 2^2 + 4983668423597504989036936904/2013314535846108349297285673*c_1\ 001_12 - 8583132517058988528973181770/6039943607538325047891857019, c_0101_10 - 6925593945798328350979353218/18119830822614975143675571057*\ c_1001_12^23 - 3908404395118569397285260179/60399436075383250478918\ 57019*c_1001_12^22 + 8787434396773895587085578837/18119830822614975\ 143675571057*c_1001_12^21 + 57867072612065915834088516640/181198308\ 22614975143675571057*c_1001_12^20 + 185919615929514534543566105914/18119830822614975143675571057*c_1001\ _12^19 + 107109153256427991305595677099/181198308226149751436755710\ 57*c_1001_12^18 - 33074841299592656197580753754/2013314535846108349\ 297285673*c_1001_12^17 - 208158418271099202578772096574/60399436075\ 38325047891857019*c_1001_12^16 - 1320539686792218975526493334511/18\ 119830822614975143675571057*c_1001_12^15 - 222570498153920830866998538706/6039943607538325047891857019*c_1001_\ 12^14 + 1578505721663701265675728004776/181198308226149751436755710\ 57*c_1001_12^13 + 820350561115483797561914669975/603994360753832504\ 7891857019*c_1001_12^12 + 445407301923461134464145804920/2013314535\ 846108349297285673*c_1001_12^11 + 875628391922429292111489069629/60\ 39943607538325047891857019*c_1001_12^10 - 584249660674058399089785361378/6039943607538325047891857019*c_1001_\ 12^9 - 289019686387786957376228717337/2013314535846108349297285673*\ c_1001_12^8 - 3888396056530514044616089283761/181198308226149751436\ 75571057*c_1001_12^7 - 5301302117228272403898412295771/181198308226\ 14975143675571057*c_1001_12^6 - 4888347596706885417806465326063/181\ 19830822614975143675571057*c_1001_12^5 - 2408963197098352785744882052777/18119830822614975143675571057*c_100\ 1_12^4 - 1225730721031723200821781673048/18119830822614975143675571\ 057*c_1001_12^3 - 409422682354524571318203911876/181198308226149751\ 43675571057*c_1001_12^2 - 123725684855816351088017989570/1811983082\ 2614975143675571057*c_1001_12 + 46475542480913766180394303984/18119\ 830822614975143675571057, c_0101_12 + 4832931968010044202560228645/18119830822614975143675571057*\ c_1001_12^23 + 1653900982957511994326303875/60399436075383250478918\ 57019*c_1001_12^22 - 9314856360100164455641331698/18119830822614975\ 143675571057*c_1001_12^21 - 33731781670783439258039784505/181198308\ 22614975143675571057*c_1001_12^20 - 107515535061991109633478767410/18119830822614975143675571057*c_1001\ _12^19 - 4675826301130649710615079465/18119830822614975143675571057\ *c_1001_12^18 + 22969813874553829432395660840/201331453584610834929\ 7285673*c_1001_12^17 + 97541948384782052543080253167/60399436075383\ 25047891857019*c_1001_12^16 + 737452806374237381576186270989/181198\ 30822614975143675571057*c_1001_12^15 - 2983851715033173162844728280/6039943607538325047891857019*c_1001_12\ ^14 - 1070593470617592668605226575294/18119830822614975143675571057\ *c_1001_12^13 - 321565272939273388368072904541/60399436075383250478\ 91857019*c_1001_12^12 - 247038329943417559393402988827/201331453584\ 6108349297285673*c_1001_12^11 - 138028537914060222170751684800/6039\ 943607538325047891857019*c_1001_12^10 + 480956316133432890309304878991/6039943607538325047891857019*c_1001_\ 12^9 + 78025471109806057977617803754/2013314535846108349297285673*c\ _1001_12^8 + 2385171693506422037377079413330/1811983082261497514367\ 5571057*c_1001_12^7 + 2157856323376902002032621020176/1811983082261\ 4975143675571057*c_1001_12^6 + 1985827806437412381608151984058/1811\ 9830822614975143675571057*c_1001_12^5 + 625382249032896318600298735621/18119830822614975143675571057*c_1001\ _12^4 + 454695680733804705965376421897/1811983082261497514367557105\ 7*c_1001_12^3 + 80525499382012838922506349356/181198308226149751436\ 75571057*c_1001_12^2 + 37922782111950929716024714957/18119830822614\ 975143675571057*c_1001_12 - 23005492945835900616351975853/181198308\ 22614975143675571057, c_0101_3 + 3889543013976074168646875467/18119830822614975143675571057*c\ _1001_12^23 + 1321564268067464525605581007/603994360753832504789185\ 7019*c_1001_12^22 - 7644758233784180044254636533/181198308226149751\ 43675571057*c_1001_12^21 - 27304217187555780641252724560/1811983082\ 2614975143675571057*c_1001_12^20 - 86342988162978723185932791143/18119830822614975143675571057*c_1001_\ 12^19 - 1999671889559662634141463367/18119830822614975143675571057*\ c_1001_12^18 + 18897662975832869622125997100/2013314535846108349297\ 285673*c_1001_12^17 + 78897649433461921035208993289/603994360753832\ 5047891857019*c_1001_12^16 + 588533073902385665980792250114/1811983\ 0822614975143675571057*c_1001_12^15 - 9107505391965296618190138685/6039943607538325047891857019*c_1001_12\ ^14 - 887899378100011531690035107900/18119830822614975143675571057*\ c_1001_12^13 - 260127582598986003151661118565/603994360753832504789\ 1857019*c_1001_12^12 - 196895473992140661203342040500/2013314535846\ 108349297285673*c_1001_12^11 - 81768368687058262392325073977/603994\ 3607538325047891857019*c_1001_12^10 + 415062800812590965602921924331/6039943607538325047891857019*c_1001_\ 12^9 + 64089913599239595179565066966/2013314535846108349297285673*c\ _1001_12^8 + 1946165894035434871046208214460/1811983082261497514367\ 5571057*c_1001_12^7 + 1600727006681342910222644381353/1811983082261\ 4975143675571057*c_1001_12^6 + 1505862336045577286927606760503/1811\ 9830822614975143675571057*c_1001_12^5 + 469265765485597518839915132306/18119830822614975143675571057*c_1001\ _12^4 + 177057851775690885226395956090/1811983082261497514367557105\ 7*c_1001_12^3 + 58131556436308940617306918564/181198308226149751436\ 75571057*c_1001_12^2 + 27977027370104339948876242811/18119830822614\ 975143675571057*c_1001_12 - 18375386165954911723139874680/181198308\ 22614975143675571057, c_0101_4 + 70293993068213308426250479/18119830822614975143675571057*c_1\ 001_12^23 - 1157833773648641152033928762/60399436075383250478918570\ 19*c_1001_12^22 - 2161163078281833463178158160/18119830822614975143\ 675571057*c_1001_12^21 + 8716258194299644782256347937/1811983082261\ 4975143675571057*c_1001_12^20 + 20048540976055197893736020548/18119\ 830822614975143675571057*c_1001_12^19 + 65684944850950642349145221984/18119830822614975143675571057*c_1001_\ 12^18 - 3635175186086044000174632455/2013314535846108349297285673*c\ _1001_12^17 - 53422166117742994696905115240/60399436075383250478918\ 57019*c_1001_12^16 - 120790592563919278368261971056/181198308226149\ 75143675571057*c_1001_12^15 - 139507361812954769744289563098/603994\ 3607538325047891857019*c_1001_12^14 + 248570888458472064099399699523/18119830822614975143675571057*c_1001\ _12^13 + 281952997596999078241109579564/603994360753832504789185701\ 9*c_1001_12^12 + 24124724354845280243760224517/20133145358461083492\ 97285673*c_1001_12^11 + 396456511491306006478133431487/603994360753\ 8325047891857019*c_1001_12^10 - 132539173125281405536591072795/6039\ 943607538325047891857019*c_1001_12^9 - 160167537102932038196037497198/2013314535846108349297285673*c_1001_\ 12^8 + 240531545485537673688029914583/18119830822614975143675571057\ *c_1001_12^7 - 1337007069453897913507618370840/18119830822614975143\ 675571057*c_1001_12^6 - 890816418601957927737778930969/181198308226\ 14975143675571057*c_1001_12^5 - 348878204614219625339190077146/1811\ 9830822614975143675571057*c_1001_12^4 + 173897698392179052573626569877/18119830822614975143675571057*c_1001\ _12^3 - 21146742571272103318991517527/18119830822614975143675571057\ *c_1001_12^2 - 1638347706760532404734560545/18119830822614975143675\ 571057*c_1001_12 + 9129774290024419912374839998/1811983082261497514\ 3675571057, c_0101_7 + 3176648048253822206502259397/6039943607538325047891857019*c_\ 1001_12^23 + 4220918771415796319951381893/6039943607538325047891857\ 019*c_1001_12^22 - 5479439131695895862665483688/6039943607538325047\ 891857019*c_1001_12^21 - 24305470254358267198317527135/603994360753\ 8325047891857019*c_1001_12^20 - 76675235328334390613156037761/60399\ 43607538325047891857019*c_1001_12^19 - 7397552163173977177410841133/2013314535846108349297285673*c_1001_12\ ^18 + 47415001637280455098569334997/2013314535846108349297285673*c_\ 1001_12^17 + 77505414878780689241094180244/201331453584610834929728\ 5673*c_1001_12^16 + 528714169188494195536856667454/6039943607538325\ 047891857019*c_1001_12^15 + 122147079538488687934077577781/60399436\ 07538325047891857019*c_1001_12^14 - 252198063440220318408043652934/2013314535846108349297285673*c_1001_\ 12^13 - 279037084236298340869269897455/2013314535846108349297285673\ *c_1001_12^12 - 526424179761601793417235187899/20133145358461083492\ 97285673*c_1001_12^11 - 218806449137156537985551220505/201331453584\ 6108349297285673*c_1001_12^10 + 342536592776261370206966422466/2013\ 314535846108349297285673*c_1001_12^9 + 248702860556660310919538565950/2013314535846108349297285673*c_1001_\ 12^8 + 1598513763321982725759427631500/6039943607538325047891857019\ *c_1001_12^7 + 1859272329411617457802677123271/60399436075383250478\ 91857019*c_1001_12^6 + 512096430487291256191336514593/2013314535846\ 108349297285673*c_1001_12^5 + 700254150656338770257729111614/603994\ 3607538325047891857019*c_1001_12^4 + 108739841929641840707947833951/2013314535846108349297285673*c_1001_\ 12^3 + 104096542901015404520776172033/6039943607538325047891857019*\ c_1001_12^2 + 32177263686836105535150902993/60399436075383250478918\ 57019*c_1001_12 - 3163175509989297802587392004/20133145358461083492\ 97285673, c_1001_0 - 70298351638803713856136709/6039943607538325047891857019*c_10\ 01_12^23 - 163249319863944410898234053/6039943607538325047891857019\ *c_1001_12^22 - 44903177377582454011978760/201331453584610834929728\ 5673*c_1001_12^21 + 260588350721920849388949444/2013314535846108349\ 297285673*c_1001_12^20 + 901961830902041014239606798/20133145358461\ 08349297285673*c_1001_12^19 + 2563998007545131705346865702/60399436\ 07538325047891857019*c_1001_12^18 - 246198845717061069163579655/2013314535846108349297285673*c_1001_12^\ 17 - 4488509496500466118233534623/2013314535846108349297285673*c_10\ 01_12^16 - 20880600552299844391000769752/60399436075383250478918570\ 19*c_1001_12^15 - 11185045285591470991334502376/6039943607538325047\ 891857019*c_1001_12^14 - 1120700142107782600863590080/6039943607538\ 325047891857019*c_1001_12^13 + 23415044121502214266989506590/201331\ 4535846108349297285673*c_1001_12^12 + 23017076706853681540209820173/2013314535846108349297285673*c_1001_1\ 2^11 + 4893797321966210836714163703/2013314535846108349297285673*c_\ 1001_12^10 + 17477242510152486311325535730/201331453584610834929728\ 5673*c_1001_12^9 - 42524790628741681286045374185/201331453584610834\ 9297285673*c_1001_12^8 - 72936836284311049281492312733/603994360753\ 8325047891857019*c_1001_12^7 + 3479207843087334071464936060/2013314\ 535846108349297285673*c_1001_12^6 - 186236752872739902027359786474/6039943607538325047891857019*c_1001_\ 12^5 + 1515113525453763004088575463/6039943607538325047891857019*c_\ 1001_12^4 - 4061331026186718996772662710/60399436075383250478918570\ 19*c_1001_12^3 + 420309166763253550760499895/6039943607538325047891\ 857019*c_1001_12^2 - 6335666911890372241621719309/20133145358461083\ 49297285673*c_1001_12 + 255346346434200320408539310/603994360753832\ 5047891857019, c_1001_11 - 667744802401712331547225888/18119830822614975143675571057*c\ _1001_12^23 - 374220396423959016129594949/6039943607538325047891857\ 019*c_1001_12^22 + 729435878326839834314117873/18119830822614975143\ 675571057*c_1001_12^21 + 5638798706532326931945548882/1811983082261\ 4975143675571057*c_1001_12^20 + 18338047928837441151322877510/18119\ 830822614975143675571057*c_1001_12^19 + 10625507109613363610881980037/18119830822614975143675571057*c_1001_\ 12^18 - 3043841179692109035634423383/2013314535846108349297285673*c\ _1001_12^17 - 21460026220199054317757983442/60399436075383250478918\ 57019*c_1001_12^16 - 132698124094884948153397699760/181198308226149\ 75143675571057*c_1001_12^15 - 20438832029900099991448231721/6039943\ 607538325047891857019*c_1001_12^14 + 146351730728438651675567760629/18119830822614975143675571057*c_1001\ _12^13 + 89268774415340130322129544269/6039943607538325047891857019\ *c_1001_12^12 + 46037286180206871724842784625/201331453584610834929\ 7285673*c_1001_12^11 + 73952283323450931726315537892/60399436075383\ 25047891857019*c_1001_12^10 - 52365416063202115974437162384/6039943\ 607538325047891857019*c_1001_12^9 - 37375895341070846375188749762/2013314535846108349297285673*c_1001_1\ 2^8 - 436542222211856468026748998112/18119830822614975143675571057*\ c_1001_12^7 - 433754522273240642380738015966/1811983082261497514367\ 5571057*c_1001_12^6 - 503732653801288013634871124108/18119830822614\ 975143675571057*c_1001_12^5 - 170706344157594193902568074029/181198\ 30822614975143675571057*c_1001_12^4 - 61769701377985717049560802714/18119830822614975143675571057*c_1001_\ 12^3 - 14397837965445680038754663155/18119830822614975143675571057*\ c_1001_12^2 + 29867951312626192286744583244/18119830822614975143675\ 571057*c_1001_12 - 62108432996730752751317857/181198308226149751436\ 75571057, c_1001_12^24 + c_1001_12^23 - 2*c_1001_12^22 - 7*c_1001_12^21 - 22*c_1001_12^20 + 44*c_1001_12^18 + 60*c_1001_12^17 + 149*c_1001_12^16 - 10*c_1001_12^15 - 230*c_1001_12^14 - 197*c_1001_12^13 - 444*c_1001_12^12 - 57*c_1001_12^11 + 327*c_1001_12^10 + 150*c_1001_12^9 + 476*c_1001_12^8 + 414*c_1001_12^7 + 372*c_1001_12^6 + 91*c_1001_12^5 + 64*c_1001_12^4 + 3*c_1001_12^3 + 3*c_1001_12^2 - 6*c_1001_12 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.030 Total time: 1.250 seconds, Total memory usage: 32.09MB