Magma V2.19-8 Tue Aug 20 2013 18:00:58 on localhost [Seed = 2951617180] Type ? for help. Type -D to quit. Loading file "11_255__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_255 geometric_solution 11.41155123 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 -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 -1 1 0 0 0 0 1 1 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.359740912418 0.708238318494 0 5 7 6 0132 0132 0132 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 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.914199206451 0.536757617194 8 0 8 3 0132 0132 3012 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 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.453219691640 0.430075813092 5 6 2 0 2103 2103 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.511736701945 1.650194540931 9 5 0 8 0132 3012 0132 3012 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 1 -1 0 0 0 0 0 0 0 0 0 -1 -1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.410358158710 1.820826003640 4 1 3 10 1230 0132 2103 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 0 0 0 0 0 0 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.893157772485 0.215473570699 11 3 1 11 0132 2103 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.359740912418 0.708238318494 11 12 12 1 2103 0132 1302 0132 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 1 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.839009484701 1.101703983893 2 2 4 12 0132 1230 1230 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.129865662159 0.888707742228 4 10 10 11 0132 2031 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 -1 1 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.362608201046 1.251326809574 9 12 5 9 1302 0213 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 0 0 -1 0 0 1 -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.896573038488 0.628078331776 6 6 7 9 0132 1302 2103 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.429901207262 1.122379458121 7 7 10 8 2031 0132 0213 1023 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 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.562489190424 0.574495772331 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_12']), 'c_1001_10' : d['c_1001_1'], 'c_1001_12' : d['c_1001_1'], 'c_1001_5' : d['c_0011_3'], 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_7' : d['c_0101_2'], 'c_1001_6' : d['c_0011_3'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0011_11']), 'c_1001_3' : negation(d['c_0011_11']), 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : negation(d['c_0101_9']), 'c_1001_8' : d['c_1001_8'], 'c_1010_12' : d['c_0101_2'], 'c_1010_11' : negation(d['c_0011_10']), 'c_1010_10' : negation(d['c_0101_9']), 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_12']), 'c_0101_10' : d['c_0011_4'], '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' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_0101_9'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_0']), 'c_1100_4' : negation(d['c_1001_8']), 'c_1100_7' : d['c_0011_10'], 'c_1100_6' : d['c_0011_10'], 'c_1100_1' : d['c_0011_10'], 'c_1100_0' : negation(d['c_1001_8']), 'c_1100_3' : negation(d['c_1001_8']), 'c_1100_2' : negation(d['c_1001_8']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_1']), 'c_1100_10' : negation(d['c_0101_0']), 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : d['c_0011_11'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : negation(d['c_0011_11']), 'c_1010_2' : negation(d['c_0011_11']), 'c_1010_1' : d['c_0011_3'], 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : d['c_0011_10'], 'c_1010_8' : d['c_0101_2'], 's_3_1' : d['1'], 's_3_0' : negation(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_9']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(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' : negation(d['c_0011_4']), 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_12']), '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_0101_0'], 'c_0110_10' : d['c_0101_9'], 'c_0110_12' : d['c_0101_2'], 'c_0101_12' : d['c_0011_10'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0011_12']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], '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' : d['c_0101_3'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0101_0']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : d['c_0101_9'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0011_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_12, c_0011_3, c_0011_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_9, c_1001_1, c_1001_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t - 43515699329/2288139840*c_1001_8^12 + 195224346349/2288139840*c_1001_8^11 - 379585590907/2288139840*c_1001_8^10 + 4804755413/16343856*c_1001_8^9 - 635941153751/1144069920*c_1001_8^8 + 1376312670953/2288139840*c_1001_8^7 - 121846445351/457627968*c_1001_8^6 + 66990555901/457627968*c_1001_8^5 - 56289429347/190678320*c_1001_8^4 + 262897963043/1144069920*c_1001_8^3 - 215123866861/2288139840*c_1001_8^2 + 43108918001/2288139840*c_1001_8 - 34770542297/2288139840, c_0011_0 - 1, c_0011_10 + c_1001_8, c_0011_11 - 5691/63055*c_1001_8^12 + 14671/63055*c_1001_8^11 + 7802/63055*c_1001_8^10 - 3009/12611*c_1001_8^9 - 31328/63055*c_1001_8^8 - 118253/63055*c_1001_8^7 + 44608/12611*c_1001_8^6 + 35485/12611*c_1001_8^5 - 200531/63055*c_1001_8^4 - 239606/63055*c_1001_8^3 + 84436/63055*c_1001_8^2 + 119824/63055*c_1001_8 - 17393/63055, c_0011_12 - 1, c_0011_3 - 6671/63055*c_1001_8^12 + 55201/63055*c_1001_8^11 - 124953/63055*c_1001_8^10 + 25883/12611*c_1001_8^9 - 266063/63055*c_1001_8^8 + 396847/63055*c_1001_8^7 + 41571/12611*c_1001_8^6 - 102539/12611*c_1001_8^5 - 255926/63055*c_1001_8^4 + 250874/63055*c_1001_8^3 + 281471/63055*c_1001_8^2 - 97026/63055*c_1001_8 - 23568/63055, c_0011_4 - 29497/63055*c_1001_8^12 + 125457/63055*c_1001_8^11 - 202131/63055*c_1001_8^10 + 58089/12611*c_1001_8^9 - 558201/63055*c_1001_8^8 + 400639/63055*c_1001_8^7 + 86160/12611*c_1001_8^6 - 101515/12611*c_1001_8^5 - 292927/63055*c_1001_8^4 + 269048/63055*c_1001_8^3 + 267377/63055*c_1001_8^2 - 193282/63055*c_1001_8 - 12846/63055, c_0101_0 + 35646/63055*c_1001_8^12 - 132046/63055*c_1001_8^11 + 183408/63055*c_1001_8^10 - 58082/12611*c_1001_8^9 + 572993/63055*c_1001_8^8 - 255197/63055*c_1001_8^7 - 100086/12611*c_1001_8^6 + 52141/12611*c_1001_8^5 + 304831/63055*c_1001_8^4 + 3591/63055*c_1001_8^3 - 171216/63055*c_1001_8^2 + 80091/63055*c_1001_8 - 23882/63055, c_0101_1 + 5691/63055*c_1001_8^12 - 14671/63055*c_1001_8^11 - 7802/63055*c_1001_8^10 + 3009/12611*c_1001_8^9 + 31328/63055*c_1001_8^8 + 118253/63055*c_1001_8^7 - 44608/12611*c_1001_8^6 - 35485/12611*c_1001_8^5 + 200531/63055*c_1001_8^4 + 239606/63055*c_1001_8^3 - 84436/63055*c_1001_8^2 - 119824/63055*c_1001_8 + 17393/63055, c_0101_2 + 2402/63055*c_1001_8^12 - 27277/63055*c_1001_8^11 + 74066/63055*c_1001_8^10 - 17231/12611*c_1001_8^9 + 149526/63055*c_1001_8^8 - 261619/63055*c_1001_8^7 - 2259/12611*c_1001_8^6 + 63071/12611*c_1001_8^5 + 50457/63055*c_1001_8^4 - 272823/63055*c_1001_8^3 - 58152/63055*c_1001_8^2 + 137217/63055*c_1001_8 - 23084/63055, c_0101_3 + 25108/63055*c_1001_8^12 - 101578/63055*c_1001_8^11 + 153004/63055*c_1001_8^10 - 44355/12611*c_1001_8^9 + 436084/63055*c_1001_8^8 - 253811/63055*c_1001_8^7 - 80935/12611*c_1001_8^6 + 69596/12611*c_1001_8^5 + 229948/63055*c_1001_8^4 - 146007/63055*c_1001_8^3 - 171778/63055*c_1001_8^2 + 103973/63055*c_1001_8 + 11764/63055, c_0101_9 + 34564/63055*c_1001_8^12 - 123329/63055*c_1001_8^11 + 153037/63055*c_1001_8^10 - 46309/12611*c_1001_8^9 + 484847/63055*c_1001_8^8 - 121178/63055*c_1001_8^7 - 126422/12611*c_1001_8^6 + 44752/12611*c_1001_8^5 + 452524/63055*c_1001_8^4 + 5679/63055*c_1001_8^3 - 284519/63055*c_1001_8^2 + 43219/63055*c_1001_8 + 65427/63055, c_1001_1 + 25108/63055*c_1001_8^12 - 101578/63055*c_1001_8^11 + 153004/63055*c_1001_8^10 - 44355/12611*c_1001_8^9 + 436084/63055*c_1001_8^8 - 253811/63055*c_1001_8^7 - 80935/12611*c_1001_8^6 + 69596/12611*c_1001_8^5 + 229948/63055*c_1001_8^4 - 146007/63055*c_1001_8^3 - 171778/63055*c_1001_8^2 + 230083/63055*c_1001_8 + 11764/63055, c_1001_8^13 - 4*c_1001_8^12 + 6*c_1001_8^11 - 9*c_1001_8^10 + 18*c_1001_8^9 - 11*c_1001_8^8 - 14*c_1001_8^7 + 10*c_1001_8^6 + 11*c_1001_8^5 - 2*c_1001_8^4 - 9*c_1001_8^3 + 4*c_1001_8^2 + 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_12, c_0011_3, c_0011_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_9, c_1001_1, c_1001_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 168964434419437195069492043784/703059419109997633950378868175*c_100\ 1_8^15 - 1236430364768689925374807354973/35152970955499881697518943\ 40875*c_1001_8^14 + 6227703194801331178834481649117/351529709554998\ 8169751894340875*c_1001_8^13 + 9039313700869426343856212827259/3515\ 297095549988169751894340875*c_1001_8^12 - 4791785942031671127353642255592/703059419109997633950378868175*c_10\ 01_8^11 - 6718851164988357398022885020814/5021852993642840242502706\ 20125*c_1001_8^10 + 6650223986314174579708707278466/351529709554998\ 8169751894340875*c_1001_8^9 + 78932881038527536001088181958392/3515\ 297095549988169751894340875*c_1001_8^8 + 133282418607880302819262971758413/3515297095549988169751894340875*c\ _1001_8^7 + 8245655904904135571376263907422/50218529936428402425027\ 0620125*c_1001_8^6 - 346098526054088071640504210986762/351529709554\ 9988169751894340875*c_1001_8^5 - 700440404415483399672628702441009/\ 3515297095549988169751894340875*c_1001_8^4 - 540281304709820122256083529143594/3515297095549988169751894340875*c\ _1001_8^3 - 180369001260177252802004510767209/351529709554998816975\ 1894340875*c_1001_8^2 - 10296283010573384711347329272597/3515297095\ 549988169751894340875*c_1001_8 + 10714460169015083086242071604749/3\ 515297095549988169751894340875, c_0011_0 - 1, c_0011_10 - 7830898843610323089965/19610006369505743641069*c_1001_8^15 + 2159355782596333831284/19610006369505743641069*c_1001_8^14 + 54424659041278376130151/19610006369505743641069*c_1001_8^13 - 21600768095304063543194/19610006369505743641069*c_1001_8^12 - 177150006630069628597006/19610006369505743641069*c_1001_8^11 - 62914298501095427866451/19610006369505743641069*c_1001_8^10 + 111969179778120950466326/19610006369505743641069*c_1001_8^9 + 362902787485089687635159/19610006369505743641069*c_1001_8^8 + 602086436541147524707072/19610006369505743641069*c_1001_8^7 - 407465873351550640500265/19610006369505743641069*c_1001_8^6 - 2063712492414271032079893/19610006369505743641069*c_1001_8^5 - 2376712416115468535878635/19610006369505743641069*c_1001_8^4 - 1624103066682624293579153/19610006369505743641069*c_1001_8^3 - 901883771892877395649479/19610006369505743641069*c_1001_8^2 - 424398703070463370540303/19610006369505743641069*c_1001_8 - 109113287124678216997569/19610006369505743641069, c_0011_11 - 1298291151844387157200/19610006369505743641069*c_1001_8^15 - 774887236375669270905/19610006369505743641069*c_1001_8^14 + 11726192220523226801515/19610006369505743641069*c_1001_8^13 + 1205016392778873262704/19610006369505743641069*c_1001_8^12 - 47399287172102241555868/19610006369505743641069*c_1001_8^11 - 11673565569007395424002/19610006369505743641069*c_1001_8^10 + 45122631504115223607536/19610006369505743641069*c_1001_8^9 + 44553467626065863830153/19610006369505743641069*c_1001_8^8 + 138066451984657719581373/19610006369505743641069*c_1001_8^7 - 64563314951073537648065/19610006369505743641069*c_1001_8^6 - 490027043117580738425524/19610006369505743641069*c_1001_8^5 - 425532781269094494337168/19610006369505743641069*c_1001_8^4 - 232712899496348806928688/19610006369505743641069*c_1001_8^3 - 190696501353600802925491/19610006369505743641069*c_1001_8^2 - 83468872440358571992078/19610006369505743641069*c_1001_8 - 11364247489238223388303/19610006369505743641069, c_0011_12 - 7041608613943379482680/19610006369505743641069*c_1001_8^15 + 2323425753070886628808/19610006369505743641069*c_1001_8^14 + 47833932169319229984028/19610006369505743641069*c_1001_8^13 - 20862725250398980919350/19610006369505743641069*c_1001_8^12 - 152532211294470915172316/19610006369505743641069*c_1001_8^11 - 55591901552852122503010/19610006369505743641069*c_1001_8^10 + 88143068328137817763823/19610006369505743641069*c_1001_8^9 + 325429358354383126658589/19610006369505743641069*c_1001_8^8 + 536194667470396867505994/19610006369505743641069*c_1001_8^7 - 358854269873465018204201/19610006369505743641069*c_1001_8^6 - 1797269489094685802212329/19610006369505743641069*c_1001_8^5 - 2120650135519238387135798/19610006369505743641069*c_1001_8^4 - 1535604740609570740045971/19610006369505743641069*c_1001_8^3 - 873993387773435246251952/19610006369505743641069*c_1001_8^2 - 385736259858344798846609/19610006369505743641069*c_1001_8 - 96059531270058200011446/19610006369505743641069, c_0011_3 + 4075243311582395311215/19610006369505743641069*c_1001_8^15 - 2254068389511943796904/19610006369505743641069*c_1001_8^14 - 29635076612737581146399/19610006369505743641069*c_1001_8^13 + 23811940715099493170343/19610006369505743641069*c_1001_8^12 + 92361432958177676243112/19610006369505743641069*c_1001_8^11 - 16378533116164222873922/19610006369505743641069*c_1001_8^10 - 57351943476514401130660/19610006369505743641069*c_1001_8^9 - 154414947432247554175860/19610006369505743641069*c_1001_8^8 - 279237934258865541107456/19610006369505743641069*c_1001_8^7 + 363586057590415745349518/19610006369505743641069*c_1001_8^6 + 986743634440287856669373/19610006369505743641069*c_1001_8^5 + 784047453839654045801066/19610006369505743641069*c_1001_8^4 + 478133715324341716759539/19610006369505743641069*c_1001_8^3 + 237098601461704024380512/19610006369505743641069*c_1001_8^2 + 39555330952488734221854/19610006369505743641069*c_1001_8 - 4536100899198275233558/19610006369505743641069, c_0011_4 - 1243139101426943409185/19610006369505743641069*c_1001_8^15 + 4461981323699713160551/19610006369505743641069*c_1001_8^14 + 6008478663821159978412/19610006369505743641069*c_1001_8^13 - 31439914318854007051261/19610006369505743641069*c_1001_8^12 - 6312864421707025540605/19610006369505743641069*c_1001_8^11 + 77968615928262244799566/19610006369505743641069*c_1001_8^10 + 15241806482562842406351/19610006369505743641069*c_1001_8^9 - 7291458596616274598909/19610006369505743641069*c_1001_8^8 - 63145204298242806177327/19610006369505743641069*c_1001_8^7 - 325953294682875937249067/19610006369505743641069*c_1001_8^6 - 9973965261151978739897/19610006369505743641069*c_1001_8^5 + 622858294862688111769453/19610006369505743641069*c_1001_8^4 + 585083949172004715339458/19610006369505743641069*c_1001_8^3 + 338638055744028991122482/19610006369505743641069*c_1001_8^2 + 213388377711252106298350/19610006369505743641069*c_1001_8 + 67363007692681265963934/19610006369505743641069, c_0101_0 + 7041608613943379482680/19610006369505743641069*c_1001_8^15 - 2323425753070886628808/19610006369505743641069*c_1001_8^14 - 47833932169319229984028/19610006369505743641069*c_1001_8^13 + 20862725250398980919350/19610006369505743641069*c_1001_8^12 + 152532211294470915172316/19610006369505743641069*c_1001_8^11 + 55591901552852122503010/19610006369505743641069*c_1001_8^10 - 88143068328137817763823/19610006369505743641069*c_1001_8^9 - 325429358354383126658589/19610006369505743641069*c_1001_8^8 - 536194667470396867505994/19610006369505743641069*c_1001_8^7 + 358854269873465018204201/19610006369505743641069*c_1001_8^6 + 1797269489094685802212329/19610006369505743641069*c_1001_8^5 + 2120650135519238387135798/19610006369505743641069*c_1001_8^4 + 1535604740609570740045971/19610006369505743641069*c_1001_8^3 + 873993387773435246251952/19610006369505743641069*c_1001_8^2 + 385736259858344798846609/19610006369505743641069*c_1001_8 + 115669537639563943652515/19610006369505743641069, c_0101_1 - 2533432165007478640430/19610006369505743641069*c_1001_8^15 + 140949854300930478113/19610006369505743641069*c_1001_8^14 + 20411726892431236676145/19610006369505743641069*c_1001_8^13 - 7070342635055313684764/19610006369505743641069*c_1001_8^12 - 73730032532351629852012/19610006369505743641069*c_1001_8^11 - 5055616928038258460287/19610006369505743641069*c_1001_8^10 + 63455518408774840810537/19610006369505743641069*c_1001_8^9 + 93634882820077548602940/19610006369505743641069*c_1001_8^8 + 212427142155164097694815/19610006369505743641069*c_1001_8^7 - 187122261423238421380654/19610006369505743641069*c_1001_8^6 - 780621681970486014458632/19610006369505743641069*c_1001_8^5 - 628998640698353454943097/19610006369505743641069*c_1001_8^4 - 316971193805946406097181/19610006369505743641069*c_1001_8^3 - 194010303180545470417395/19610006369505743641069*c_1001_8^2 - 49985025451502623075505/19610006369505743641069*c_1001_8 + 3363958496164290069471/19610006369505743641069, c_0101_2 + 2789002940645393048455/19610006369505743641069*c_1001_8^15 - 2519445781544569747788/19610006369505743641069*c_1001_8^14 - 19279819211890213055889/19610006369505743641069*c_1001_8^13 + 22272009241416753742072/19610006369505743641069*c_1001_8^12 + 56321876300044752954734/19610006369505743641069*c_1001_8^11 - 27863077748739725869569/19610006369505743641069*c_1001_8^10 - 37381947374506043289010/19610006369505743641069*c_1001_8^9 - 91485890405541455206713/19610006369505743641069*c_1001_8^8 - 149681434816672702066830/19610006369505743641069*c_1001_8^7 + 288440933678609644940498/19610006369505743641069*c_1001_8^6 + 592322406647554260871640/19610006369505743641069*c_1001_8^5 + 334086016085143321185705/19610006369505743641069*c_1001_8^4 + 168294388067424406130592/19610006369505743641069*c_1001_8^3 + 102469528352280653618913/19610006369505743641069*c_1001_8^2 - 1488018808527491944672/19610006369505743641069*c_1001_8 - 16087211784239284210031/19610006369505743641069, c_0101_3 + 2053185536687365706190/19610006369505743641069*c_1001_8^15 + 1450061316359367836131/19610006369505743641069*c_1001_8^14 - 16455076672127747112811/19610006369505743641069*c_1001_8^13 - 6280354720784427042820/19610006369505743641069*c_1001_8^12 + 60749784091287568703037/19610006369505743641069*c_1001_8^11 + 50046737486895934670403/19610006369505743641069*c_1001_8^10 - 35972877447176271824354/19610006369505743641069*c_1001_8^9 - 120481871252174262420845/19610006369505743641069*c_1001_8^8 - 234705246813004481823410/19610006369505743641069*c_1001_8^7 + 17736631396200689455703/19610006369505743641069*c_1001_8^6 + 705761211931795158718534/19610006369505743641069*c_1001_8^5 + 1026814358685812033888059/19610006369505743641069*c_1001_8^4 + 747351718613703499072143/19610006369505743641069*c_1001_8^3 + 397864692588703661042690/19610006369505743641069*c_1001_8^2 + 185739831844309229143883/19610006369505743641069*c_1001_8 + 54396817473654872073644/19610006369505743641069, c_0101_9 + 8076388929019635055705/19610006369505743641069*c_1001_8^15 - 1931317397150353662098/19610006369505743641069*c_1001_8^14 - 57845753379370329221468/19610006369505743641069*c_1001_8^13 + 22884012877997382292841/19610006369505743641069*c_1001_8^12 + 191732180281192051531923/19610006369505743641069*c_1001_8^11 + 55550656182118299525371/19610006369505743641069*c_1001_8^10 - 131818032431730630577662/19610006369505743641069*c_1001_8^9 - 361864574845954194624836/19610006369505743641069*c_1001_8^8 - 624802515877917478066816/19610006369505743641069*c_1001_8^7 + 451338183595582744961960/19610006369505743641069*c_1001_8^6 + 2195718162392989631704278/19610006369505743641069*c_1001_8^5 + 2364540319103072341562688/19610006369505743641069*c_1001_8^4 + 1521946754794509260190531/19610006369505743641069*c_1001_8^3 + 879353766582751689746581/19610006369505743641069*c_1001_8^2 + 379380024037154102615089/19610006369505743641069*c_1001_8 + 69731508725828019458291/19610006369505743641069, c_1001_1 - 7193254735335604128070/19610006369505743641069*c_1001_8^15 + 1415588534713734455137/19610006369505743641069*c_1001_8^14 + 49992697427624811100985/19610006369505743641069*c_1001_8^13 - 15819327610540468955328/19610006369505743641069*c_1001_8^12 - 162889915490767146612059/19610006369505743641069*c_1001_8^11 - 71998684843965985297034/19610006369505743641069*c_1001_8^10 + 93607027691312989023557/19610006369505743641069*c_1001_8^9 + 344780934087662379044291/19610006369505743641069*c_1001_8^8 + 583701264626948768751859/19610006369505743641069*c_1001_8^7 - 328724761316162704357766/19610006369505743641069*c_1001_8^6 - 1914383629084986590993840/19610006369505743641069*c_1001_8^5 - 2352919358782830715603240/19610006369505743641069*c_1001_8^4 - 1714034822525067649592743/19610006369505743641069*c_1001_8^3 - 941727267520420672820276/19610006369505743641069*c_1001_8^2 - 450104163858616339735218/19610006369505743641069*c_1001_8 - 143014588259805734644977/19610006369505743641069, c_1001_8^16 + 2/5*c_1001_8^15 - 36/5*c_1001_8^14 - 9/5*c_1001_8^13 + 124/5*c_1001_8^12 + 112/5*c_1001_8^11 - 47/5*c_1001_8^10 - 272/5*c_1001_8^9 - 108*c_1001_8^8 + 7/5*c_1001_8^7 + 1497/5*c_1001_8^6 + 2364/5*c_1001_8^5 + 2032/5*c_1001_8^4 + 1307/5*c_1001_8^3 + 674/5*c_1001_8^2 + 242/5*c_1001_8 + 49/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 4.530 Total time: 4.740 seconds, Total memory usage: 64.12MB