Magma V2.19-8 Tue Aug 20 2013 17:58:00 on localhost [Seed = 2766475502] Type ? for help. Type -D to quit. Loading file "10_165__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 10_165 geometric_solution 12.50668793 oriented_manifold CS_known -0.0000000000000003 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 -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.244717216450 1.366497037579 0 5 7 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 1 0 0 -1 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.065214718357 0.818901199005 8 0 9 3 0132 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.386380190280 0.528984686052 4 6 2 0 0132 0132 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 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.244717216450 1.366497037579 3 10 0 11 0132 0132 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 1 -1 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.386380190280 0.528984686052 8 1 6 12 1023 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 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.463517189386 1.229579063569 7 3 1 5 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 1 -1 -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.065214718357 0.818901199005 6 10 12 1 0132 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 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.463517189386 1.229579063569 2 5 11 10 0132 1023 2103 1302 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 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.323120883345 0.966070060556 12 10 11 2 1230 0321 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.759746048012 0.794978560771 7 4 8 9 1023 0132 2031 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.323120883345 0.966070060556 8 12 4 9 2103 3012 0132 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 1 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.759746048012 0.794978560771 11 9 5 7 1230 3012 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 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.546823992360 0.661386594869 ==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' : negation(d['c_0011_12']), 'c_1001_12' : negation(d['c_0011_9']), 'c_1001_5' : d['c_1001_0'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_0101_10'], 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : negation(d['c_0011_9']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_0'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0101_12']), 'c_1001_8' : d['c_0011_11'], 'c_1010_12' : d['c_0101_10'], 'c_1010_11' : negation(d['c_0101_12']), 'c_1010_10' : d['c_1001_2'], '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' : d['c_0101_11'], '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' : negation(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' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_0101_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_1100_1'], 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : d['c_1100_1'], 'c_1100_6' : d['c_1100_1'], 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_1100_0'], 's_3_11' : d['1'], 'c_1100_11' : d['c_1100_0'], 'c_1100_10' : negation(d['c_0101_12']), 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0011_9']), 'c_1010_6' : d['c_1001_0'], 'c_1010_5' : negation(d['c_0011_9']), 'c_1010_4' : negation(d['c_0011_12']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_0'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : d['c_0101_12'], 's_3_1' : negation(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' : negation(d['1']), 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_1100_1'], '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' : d['c_0011_9'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_10'], '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_10'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0101_10']), 'c_0110_10' : negation(d['c_0011_9']), 'c_0110_12' : d['c_0011_11'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0101_0'], 'c_0101_7' : d['c_0011_11'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_11'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_11'], 'c_0101_2' : d['c_0011_12'], 'c_0101_1' : d['c_0101_0'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_10']), 'c_0101_8' : d['c_0101_11'], '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_0011_12'], 'c_0110_8' : d['c_0011_12'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_1100_0'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_11'], 'c_0110_5' : d['c_0101_12'], 'c_0110_4' : d['c_0101_11'], 'c_0110_7' : d['c_0101_0'], 'c_0110_6' : d['c_0011_11']})} 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_9, c_0101_0, c_0101_10, c_0101_11, c_0101_12, c_1001_0, c_1001_2, c_1100_0, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 7413553869/20128864*c_1100_1^11 - 9875574041/20128864*c_1100_1^10 - 159140097/179722*c_1100_1^9 + 2610001614/629027*c_1100_1^8 - 616385108551/20128864*c_1100_1^7 + 822913301017/10064432*c_1100_1^6 - 3115382358623/20128864*c_1100_1^5 + 236784718771/1258054*c_1100_1^4 - 1552255901619/10064432*c_1100_1^3 + 1623803517621/20128864*c_1100_1^2 - 498698285599/20128864*c_1100_1 + 33370061301/10064432, c_0011_0 - 1, c_0011_10 - 1, c_0011_11 + 6015393/5032216*c_1100_1^11 + 1017236/629027*c_1100_1^10 + 258069/89861*c_1100_1^9 - 8460496/629027*c_1100_1^8 + 498408979/5032216*c_1100_1^7 - 1323076665/5032216*c_1100_1^6 + 310604767/629027*c_1100_1^5 - 372825294/629027*c_1100_1^4 + 1192080551/2516108*c_1100_1^3 - 1192336903/5032216*c_1100_1^2 + 167200007/2516108*c_1100_1 - 4870601/629027, c_0011_12 + 1783841/5032216*c_1100_1^11 + 1247893/1258054*c_1100_1^10 + 664315/359444*c_1100_1^9 - 5610469/2516108*c_1100_1^8 + 123094285/5032216*c_1100_1^7 - 195029111/5032216*c_1100_1^6 + 72253619/1258054*c_1100_1^5 - 52078653/2516108*c_1100_1^4 - 9833393/629027*c_1100_1^3 + 164151399/5032216*c_1100_1^2 - 11005580/629027*c_1100_1 + 5651029/1258054, c_0011_9 - 6015393/5032216*c_1100_1^11 - 1017236/629027*c_1100_1^10 - 258069/89861*c_1100_1^9 + 8460496/629027*c_1100_1^8 - 498408979/5032216*c_1100_1^7 + 1323076665/5032216*c_1100_1^6 - 310604767/629027*c_1100_1^5 + 372825294/629027*c_1100_1^4 - 1192080551/2516108*c_1100_1^3 + 1192336903/5032216*c_1100_1^2 - 167200007/2516108*c_1100_1 + 4870601/629027, c_0101_0 - 1404103/5032216*c_1100_1^11 - 1652289/2516108*c_1100_1^10 - 412399/359444*c_1100_1^9 + 5688605/2516108*c_1100_1^8 - 102644047/5032216*c_1100_1^7 + 196182027/5032216*c_1100_1^6 - 154938467/2516108*c_1100_1^5 + 99460381/2516108*c_1100_1^4 - 3399205/1258054*c_1100_1^3 - 122161545/5032216*c_1100_1^2 + 42944631/2516108*c_1100_1 - 2804768/629027, c_0101_10 - 536563/718888*c_1100_1^11 - 411231/359444*c_1100_1^10 - 735171/359444*c_1100_1^9 + 2874761/359444*c_1100_1^8 - 43431719/718888*c_1100_1^7 + 110716627/718888*c_1100_1^6 - 102277121/359444*c_1100_1^5 + 118980439/359444*c_1100_1^4 - 46340241/179722*c_1100_1^3 + 92181031/718888*c_1100_1^2 - 13339299/359444*c_1100_1 + 456901/89861, c_0101_11 + 9335345/5032216*c_1100_1^11 + 2956035/1258054*c_1100_1^10 + 1505923/359444*c_1100_1^9 - 53923305/2516108*c_1100_1^8 + 780798469/5032216*c_1100_1^7 - 2118842903/5032216*c_1100_1^6 + 1004396003/1258054*c_1100_1^5 - 2471611025/2516108*c_1100_1^4 + 509162698/629027*c_1100_1^3 - 2162924089/5032216*c_1100_1^2 + 83632872/629027*c_1100_1 - 23343121/1258054, c_0101_12 - 536563/718888*c_1100_1^11 - 411231/359444*c_1100_1^10 - 735171/359444*c_1100_1^9 + 2874761/359444*c_1100_1^8 - 43431719/718888*c_1100_1^7 + 110716627/718888*c_1100_1^6 - 102277121/359444*c_1100_1^5 + 118980439/359444*c_1100_1^4 - 46340241/179722*c_1100_1^3 + 92181031/718888*c_1100_1^2 - 13339299/359444*c_1100_1 + 456901/89861, c_1001_0 + 1404103/5032216*c_1100_1^11 + 1652289/2516108*c_1100_1^10 + 412399/359444*c_1100_1^9 - 5688605/2516108*c_1100_1^8 + 102644047/5032216*c_1100_1^7 - 196182027/5032216*c_1100_1^6 + 154938467/2516108*c_1100_1^5 - 99460381/2516108*c_1100_1^4 + 3399205/1258054*c_1100_1^3 + 122161545/5032216*c_1100_1^2 - 42944631/2516108*c_1100_1 + 2804768/629027, c_1001_2 - 9335345/5032216*c_1100_1^11 - 2956035/1258054*c_1100_1^10 - 1505923/359444*c_1100_1^9 + 53923305/2516108*c_1100_1^8 - 780798469/5032216*c_1100_1^7 + 2118842903/5032216*c_1100_1^6 - 1004396003/1258054*c_1100_1^5 + 2471611025/2516108*c_1100_1^4 - 509162698/629027*c_1100_1^3 + 2162924089/5032216*c_1100_1^2 - 83632872/629027*c_1100_1 + 23343121/1258054, c_1100_0 + c_1100_1 - 1, c_1100_1^12 + c_1100_1^11 + 2*c_1100_1^10 - 12*c_1100_1^9 + 87*c_1100_1^8 - 250*c_1100_1^7 + 497*c_1100_1^6 - 658*c_1100_1^5 + 602*c_1100_1^4 - 373*c_1100_1^3 + 151*c_1100_1^2 - 36*c_1100_1 + 4 ], 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_9, c_0101_0, c_0101_10, c_0101_11, c_0101_12, c_1001_0, c_1001_2, c_1100_0, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 11012267794200124964252693449882857/1655323799317281833741904773*c_\ 1100_1^15 - 8636553059578887601761103496361414/16553237993172818337\ 41904773*c_1100_1^14 - 9174256778381645439434750987122129/127332599\ 947483217980146521*c_1100_1^13 + 1799051227727947932838955085714850\ 90/1655323799317281833741904773*c_1100_1^12 + 3022667621349280385001018963702785261/1655323799317281833741904773*\ c_1100_1^11 - 5519630395453995739206490468629858883/165532379931728\ 1833741904773*c_1100_1^10 - 2760037595513693362458110351206155410/8\ 7122305227225359670626567*c_1100_1^9 - 113298069250282654009094730056985002301/165532379931728183374190477\ 3*c_1100_1^8 - 142495919396976082380602737478130666847/165532379931\ 7281833741904773*c_1100_1^7 - 9450197582975050481866646221193655867\ /127332599947483217980146521*c_1100_1^6 - 81301026999313316964524580726716829783/1655323799317281833741904773\ *c_1100_1^5 - 39600239445826912159810566074349606435/16553237993172\ 81833741904773*c_1100_1^4 - 13400958796193304101960965619790625183/\ 1655323799317281833741904773*c_1100_1^3 - 3215575804592118083243401162665927399/1655323799317281833741904773*\ c_1100_1^2 - 578970021666540382428071302848034518/16553237993172818\ 33741904773*c_1100_1 - 50316552014266299376244741648464527/16553237\ 99317281833741904773, c_0011_0 - 1, c_0011_10 - 5538563823121290975392798/87122305227225359670626567*c_1100\ _1^15 - 1232160911893339562526480/87122305227225359670626567*c_1100\ _1^14 - 4577142872641761695339578/6701715786709643051586659*c_1100_\ 1^13 + 123621587248752076165376048/87122305227225359670626567*c_110\ 0_1^12 + 1448589638425422036135496654/87122305227225359670626567*c_\ 1100_1^11 - 3587662762081524946916454077/87122305227225359670626567\ *c_1100_1^10 - 24297357379830695576185340273/8712230522722535967062\ 6567*c_1100_1^9 - 43407994545325312879743312835/8712230522722535967\ 0626567*c_1100_1^8 - 48401013341936397378579287158/8712230522722535\ 9670626567*c_1100_1^7 - 2865509224130827999918019904/67017157867096\ 43051586659*c_1100_1^6 - 23054332192958669195764953452/871223052272\ 25359670626567*c_1100_1^5 - 9221518960458585014950629360/8712230522\ 7225359670626567*c_1100_1^4 - 3018041324155145845704607380/87122305\ 227225359670626567*c_1100_1^3 - 924488779547778945488751381/8712230\ 5227225359670626567*c_1100_1^2 - 110763222122833438825850307/871223\ 05227225359670626567*c_1100_1 + 4312656663607067019076461/871223052\ 27225359670626567, c_0011_11 + 155608888253275755818566290/87122305227225359670626567*c_11\ 00_1^15 + 126397035438538950102398969/87122305227225359670626567*c_\ 1100_1^14 + 129770988712261994521019820/6701715786709643051586659*c\ _1100_1^13 - 2496155348620706499184374680/8712230522722535967062656\ 7*c_1100_1^12 - 42800885835744007879964618631/871223052272253596706\ 26567*c_1100_1^11 + 76827330042130625110338084518/87122305227225359\ 670626567*c_1100_1^10 + 743657883216188075956008603479/871223052272\ 25359670626567*c_1100_1^9 + 1620838394253080643936555271112/8712230\ 5227225359670626567*c_1100_1^8 + 2050414891587936201914594378325/87\ 122305227225359670626567*c_1100_1^7 + 136600027630011792856615603086/6701715786709643051586659*c_1100_1^6 + 1177564843281826077171992998130/87122305227225359670626567*c_1100\ _1^5 + 575240078397730681024797461333/87122305227225359670626567*c_\ 1100_1^4 + 194528724248410129048475043509/8712230522722535967062656\ 7*c_1100_1^3 + 45987415125980444570283155890/8712230522722535967062\ 6567*c_1100_1^2 + 8099201130128870316247986962/87122305227225359670\ 626567*c_1100_1 + 671109409623019043761455753/871223052272253596706\ 26567, c_0011_12 - 98238131473542786894097/42686087813437216889087*c_1100_1^15 - 77655976449787131500866/42686087813437216889087*c_1100_1^14 - 1063980559123118442470930/42686087813437216889087*c_1100_1^13 + 1598610578124203491877133/42686087813437216889087*c_1100_1^12 + 26979301263225906255684482/42686087813437216889087*c_1100_1^11 - 49079088542002535917465083/42686087813437216889087*c_1100_1^10 - 468239665586423527665099833/42686087813437216889087*c_1100_1^9 - 1013394680701187615719441156/42686087813437216889087*c_1100_1^8 - 1275369275041711354300169789/42686087813437216889087*c_1100_1^7 - 1099382604604618557542013373/42686087813437216889087*c_1100_1^6 - 726627065108411406613352024/42686087813437216889087*c_1100_1^5 - 353378204436769499480034883/42686087813437216889087*c_1100_1^4 - 119188232094233956086939008/42686087813437216889087*c_1100_1^3 - 28446975114900798302710103/42686087813437216889087*c_1100_1^2 - 5153674319282545983165666/42686087813437216889087*c_1100_1 - 461190330180824426794597/42686087813437216889087, c_0011_9 - 37713039271401152876563767/87122305227225359670626567*c_1100\ _1^15 - 30863358748077274918456134/87122305227225359670626567*c_110\ 0_1^14 - 31442889387102955976260230/6701715786709643051586659*c_110\ 0_1^13 + 602197576849173914389113663/87122305227225359670626567*c_1\ 100_1^12 + 10379962652866805172195011096/87122305227225359670626567\ *c_1100_1^11 - 18566794363852112663077800713/8712230522722535967062\ 6567*c_1100_1^10 - 180413043169925121945894196893/87122305227225359\ 670626567*c_1100_1^9 - 393648790494930719571103851926/8712230522722\ 5359670626567*c_1100_1^8 - 498277066642288716322138893655/871223052\ 27225359670626567*c_1100_1^7 - 33268306629532840837822897296/670171\ 5786709643051586659*c_1100_1^6 - 287976229727574658702268135763/871\ 22305227225359670626567*c_1100_1^5 - 142488202099056006549135411259/87122305227225359670626567*c_1100_1^\ 4 - 49423449373206335797668982906/87122305227225359670626567*c_1100\ _1^3 - 12404757689003339282905101114/87122305227225359670626567*c_1\ 100_1^2 - 2299805415409300691976158208/87122305227225359670626567*c\ _1100_1 - 230900896795543542630354925/87122305227225359670626567, c_0101_0 - 10094020320481734218561530/6701715786709643051586659*c_1100_\ 1^15 - 8219239084620527822159772/6701715786709643051586659*c_1100_1\ ^14 - 109351678717850753621461694/6701715786709643051586659*c_1100_\ 1^13 + 161699495876520903310738325/6701715786709643051586659*c_1100\ _1^12 + 2777783375951904942105464463/6701715786709643051586659*c_11\ 00_1^11 - 4980547285562627757302646181/6701715786709643051586659*c_\ 1100_1^10 - 48274554296211361708547846833/6701715786709643051586659\ *c_1100_1^9 - 105166665757405356655494621838/6701715786709643051586\ 659*c_1100_1^8 - 132802288274053686537505874856/6701715786709643051\ 586659*c_1100_1^7 - 114789250597963663169736809547/6701715786709643\ 051586659*c_1100_1^6 - 75918299273057884768611902006/67017157867096\ 43051586659*c_1100_1^5 - 36986402534421022073002358215/670171578670\ 9643051586659*c_1100_1^4 - 12434928596089252066543511446/6701715786\ 709643051586659*c_1100_1^3 - 2936288111821616253147764559/670171578\ 6709643051586659*c_1100_1^2 - 517363575718809786092591531/670171578\ 6709643051586659*c_1100_1 - 42601748500240450734474286/670171578670\ 9643051586659, c_0101_10 + 20155223597669395766667460/87122305227225359670626567*c_110\ 0_1^15 + 22304479776531386078756008/87122305227225359670626567*c_11\ 00_1^14 + 17045147752147175749527230/6701715786709643051586659*c_11\ 00_1^13 - 259867876614739486580954856/87122305227225359670626567*c_\ 1100_1^12 - 5657373049989813355213760760/87122305227225359670626567\ *c_1100_1^11 + 8352985835055863481904554904/87122305227225359670626\ 567*c_1100_1^10 + 99722706393312915084179097003/8712230522722535967\ 0626567*c_1100_1^9 + 237281305332635775774471713453/871223052272253\ 59670626567*c_1100_1^8 + 319300916692650085644838313327/87122305227\ 225359670626567*c_1100_1^7 + 22511686874265292685974782547/67017157\ 86709643051586659*c_1100_1^6 + 203067226536149162718658872933/87122\ 305227225359670626567*c_1100_1^5 + 106737434562543739878138189839/87122305227225359670626567*c_1100_1^\ 4 + 39933904535171405555401727829/87122305227225359670626567*c_1100\ _1^3 + 10610826475947184078590460468/87122305227225359670626567*c_1\ 100_1^2 + 2109942629332781781630723906/87122305227225359670626567*c\ _1100_1 + 232199303696960767792349406/87122305227225359670626567, c_0101_11 - 140542134934535286907927474/87122305227225359670626567*c_11\ 00_1^15 - 108316585471387580855791085/87122305227225359670626567*c_\ 1100_1^14 - 116906055592598006339160097/6701715786709643051586659*c\ _1100_1^13 + 2316737137858730950816711188/8712230522722535967062656\ 7*c_1100_1^12 + 38554248356085647371970841666/871223052272253596706\ 26567*c_1100_1^11 - 70986157983068713530230014913/87122305227225359\ 670626567*c_1100_1^10 - 668522580152422844113988882790/871223052272\ 25359670626567*c_1100_1^9 - 1436315417413350805400483944837/8712230\ 5227225359670626567*c_1100_1^8 - 1795450464848258443737394759958/87\ 122305227225359670626567*c_1100_1^7 - 118225891015087306376613293285/6701715786709643051586659*c_1100_1^6 - 1008946886037023883583169546508/87122305227225359670626567*c_1100\ _1^5 - 485800001295184572463944307138/87122305227225359670626567*c_\ 1100_1^4 - 161186695086047150608098189568/8712230522722535967062656\ 7*c_1100_1^3 - 37888131919655813287975145641/8712230522722535967062\ 6567*c_1100_1^2 - 6679750004839875989789905970/87122305227225359670\ 626567*c_1100_1 - 539211647771601621887840527/871223052272253596706\ 26567, c_0101_12 + 45714192142295670545523878/87122305227225359670626567*c_110\ 0_1^15 + 32694812689056660781259130/87122305227225359670626567*c_11\ 00_1^14 + 37867154140586852781315493/6701715786709643051586659*c_11\ 00_1^13 - 780758748422369431185121609/87122305227225359670626567*c_\ 1100_1^12 - 12499973095242161545987184803/8712230522722535967062656\ 7*c_1100_1^11 + 23791067832185153221052667435/871223052272253596706\ 26567*c_1100_1^10 + 216190508445695302500782717500/8712230522722535\ 9670626567*c_1100_1^9 + 454981568027689650060776762850/871223052272\ 25359670626567*c_1100_1^8 + 557797055646829362903483990338/87122305\ 227225359670626567*c_1100_1^7 + 35981254086443060452476451078/67017\ 15786709643051586659*c_1100_1^6 + 301057410786511750350043463872/87\ 122305227225359670626567*c_1100_1^5 + 140296811759548760810856117361/87122305227225359670626567*c_1100_1^\ 4 + 43584042376012043905118035958/87122305227225359670626567*c_1100\ _1^3 + 9338264401478414774684336120/87122305227225359670626567*c_11\ 00_1^2 + 1429538735136296356565743210/87122305227225359670626567*c_\ 1100_1 + 70655764717549524542446565/87122305227225359670626567, c_1001_0 - 36184437177933748894370591/87122305227225359670626567*c_1100\ _1^15 - 33265956781737568071073688/87122305227225359670626567*c_110\ 0_1^14 - 30308716675836853086910573/6701715786709643051586659*c_110\ 0_1^13 + 538458384032515494074685699/87122305227225359670626567*c_1\ 100_1^12 + 10030091863562015915907359744/87122305227225359670626567\ *c_1100_1^11 - 16834167960258479404305043048/8712230522722535967062\ 6567*c_1100_1^10 - 175204828006226813262388902014/87122305227225359\ 670626567*c_1100_1^9 - 394413606693841136420518245117/8712230522722\ 5359670626567*c_1100_1^8 - 511102017023274187427910935412/871223052\ 27225359670626567*c_1100_1^7 - 34935361127450835458549191361/670171\ 5786709643051586659*c_1100_1^6 - 307660407429573693980403657938/871\ 22305227225359670626567*c_1100_1^5 - 155219886192027632750911964863/87122305227225359670626567*c_1100_1^\ 4 - 54619742921188893218780886330/87122305227225359670626567*c_1100\ _1^3 - 13602390963123629816692147986/87122305227225359670626567*c_1\ 100_1^2 - 2475235244142850799699322594/87122305227225359670626567*c\ _1100_1 - 221887429701095499749399242/87122305227225359670626567, c_1001_2 + 154999718391294337089853802/87122305227225359670626567*c_110\ 0_1^15 + 123763413780957248154479769/87122305227225359670626567*c_1\ 100_1^14 + 129181854231745489663327034/6701715786709643051586659*c_\ 1100_1^13 - 2509662114455024625069429791/87122305227225359670626567\ *c_1100_1^12 - 42591597545971175627344864371/8712230522722535967062\ 6567*c_1100_1^11 + 77097208483214143717945576795/871223052272253596\ 70626567*c_1100_1^10 + 739518955153988464799212983178/8712230522722\ 5359670626567*c_1100_1^9 + 1604776174050201618383807293336/87122305\ 227225359670626567*c_1100_1^8 + 2022905956051298167948917217107/871\ 22305227225359670626567*c_1100_1^7 + 134231067378350634868670424462/6701715786709643051586659*c_1100_1^6 + 1153376436969422605326233002616/87122305227225359670626567*c_1100\ _1^5 + 561048260715707630172925580997/87122305227225359670626567*c_\ 1100_1^4 + 189110815446255737411629088228/8712230522722535967062656\ 7*c_1100_1^3 + 44741498780414097522084965863/8712230522722535967062\ 6567*c_1100_1^2 + 8089390521017476781355585645/87122305227225359670\ 626567*c_1100_1 + 734013116929491392998698426/871223052272253596706\ 26567, c_1100_0 - 65882584224159454701007590/87122305227225359670626567*c_1100\ _1^15 - 56056161103878268077654612/87122305227225359670626567*c_110\ 0_1^14 - 55022764419145117782155877/6701715786709643051586659*c_110\ 0_1^13 + 1029300318189463766017533909/87122305227225359670626567*c_\ 1100_1^12 + 18173021241555177429213658185/8712230522722535967062656\ 7*c_1100_1^11 - 31853837672815311328377481000/871223052272253596706\ 26567*c_1100_1^10 - 316374006130476460823379902508/8712230522722535\ 9670626567*c_1100_1^9 - 697661845786447101818232609842/871223052272\ 25359670626567*c_1100_1^8 - 890195240384840566355695791416/87122305\ 227225359670626567*c_1100_1^7 - 59863677871312209643214908282/67017\ 15786709643051586659*c_1100_1^6 - 520457420138567707661683033898/87\ 122305227225359670626567*c_1100_1^5 - 258074152539213981088893328639/87122305227225359670626567*c_1100_1^\ 4 - 89131904185725653085325754072/87122305227225359670626567*c_1100\ _1^3 - 21929480183339430054112290056/87122305227225359670626567*c_1\ 100_1^2 - 4098579914184033115029336172/87122305227225359670626567*c\ _1100_1 - 389460483372299402594044195/87122305227225359670626567, c_1100_1^16 + c_1100_1^15 + 11*c_1100_1^14 - 14*c_1100_1^13 - 278*c_1100_1^12 + 442*c_1100_1^11 + 4870*c_1100_1^10 + 11316*c_1100_1^9 + 15162*c_1100_1^8 + 13953*c_1100_1^7 + 9796*c_1100_1^6 + 5194*c_1100_1^5 + 1996*c_1100_1^4 + 556*c_1100_1^3 + 116*c_1100_1^2 + 16*c_1100_1 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 3.480 Total time: 3.680 seconds, Total memory usage: 81.31MB