Magma V2.19-8 Wed Aug 21 2013 00:34:47 on localhost [Seed = 2480243393] Type ? for help. Type -D to quit. Loading file "K14n21977__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n21977 geometric_solution 11.60408926 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 2 0132 0132 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 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.159862965801 1.154941646669 0 4 2 5 0132 0132 2103 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 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.756542569384 0.872551764370 1 0 3 0 2103 0132 2310 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 1 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.586799305626 0.332424679205 6 2 7 0 0132 3201 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 10 -1 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.756542569384 0.872551764370 6 1 8 9 3201 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 -1 0 1 -10 0 0 10 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.349360030000 0.304581881215 10 11 1 7 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 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.477469246847 0.638542666830 3 7 10 4 0132 3120 0132 2310 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 -10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.776670017774 0.415118271600 12 6 5 3 0132 3120 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 0 0 0 0 0 0 -9 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.448701732729 0.576621166536 12 11 11 4 2310 0321 2103 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.427868798994 1.064648974038 12 10 4 12 1302 1230 0132 1023 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 9 0 -10 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.373727407849 1.417830097755 5 11 9 6 0132 3201 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 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 1.133185423460 1.219854122967 8 5 10 8 2103 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.215519550470 0.817726416191 7 9 8 9 0132 2031 3201 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 1 0 -1 9 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.260679765972 0.590157740739 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : negation(d['c_0011_9']), 'c_1001_12' : negation(d['c_0011_9']), 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : d['c_1001_11'], 'c_1001_6' : negation(d['c_1001_11']), 'c_1001_1' : negation(d['c_0011_0']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_3'], 'c_1001_2' : negation(d['c_1001_0']), 'c_1001_9' : negation(d['c_0011_0']), 'c_1001_8' : d['c_0011_10'], 'c_1010_12' : d['c_0011_9'], 'c_1010_11' : d['c_1001_4'], 'c_1010_10' : negation(d['c_1001_11']), 's_0_10' : d['1'], 's_3_10' : 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_9'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_10'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0110_2']), 'c_1100_4' : d['c_0011_8'], 'c_1100_7' : negation(d['c_0110_2']), 'c_1100_6' : d['c_0011_0'], 'c_1100_1' : negation(d['c_0110_2']), 'c_1100_0' : negation(d['c_0110_2']), 'c_1100_3' : negation(d['c_0110_2']), 'c_1100_2' : d['c_0011_3'], 's_3_11' : d['1'], 'c_1100_9' : d['c_0011_8'], 'c_1100_11' : d['c_0011_10'], 'c_1100_10' : d['c_0011_0'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_3'], 'c_1010_6' : d['c_0011_12'], 'c_1010_5' : d['c_1001_11'], 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : negation(d['c_1001_0']), 'c_1010_9' : d['c_0101_10'], 'c_1010_8' : d['c_1001_4'], 'c_1100_8' : d['c_0011_8'], '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_0011_8']), '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_8'], 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_12']), 'c_0011_6' : negation(d['c_0011_3']), '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_8']), 'c_0110_10' : d['c_0101_0'], 'c_0110_12' : d['c_0101_10'], 'c_0101_7' : d['c_0101_10'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0101_12']), 'c_0101_3' : d['c_0101_12'], 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : negation(d['c_0011_3']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_12']), 'c_0101_8' : d['c_0011_9'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_9'], 'c_0110_8' : negation(d['c_0101_12']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_3']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : negation(d['c_0011_12']), 'c_0110_7' : d['c_0101_12'], 'c_0110_6' : d['c_0101_12'], '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_12, c_0011_3, c_0011_8, c_0011_9, c_0101_0, c_0101_10, c_0101_12, c_0110_2, c_1001_0, c_1001_11, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 2566705128757852415/221278816227003392*c_1001_4^19 + 6961823827297358849/221278816227003392*c_1001_4^18 + 21681245362627431159/110639408113501696*c_1001_4^17 + 51253839546828673549/110639408113501696*c_1001_4^16 + 304961088154244873303/221278816227003392*c_1001_4^15 + 313421579942086545965/110639408113501696*c_1001_4^14 + 576974965105398083053/110639408113501696*c_1001_4^13 + 252135566190785544019/27659852028375424*c_1001_4^12 + 19726101978269192557/1728740751773464*c_1001_4^11 + 1798489869581860809685/110639408113501696*c_1001_4^10 + 3193124961499906070763/221278816227003392*c_1001_4^9 + 3455364831460708397131/221278816227003392*c_1001_4^8 + 68718650675709461211/6914963007093856*c_1001_4^7 + 1660930446092593386653/221278816227003392*c_1001_4^6 + 733553910647198535109/221278816227003392*c_1001_4^5 + 339685038679400837103/221278816227003392*c_1001_4^4 + 45727911230122920757/110639408113501696*c_1001_4^3 + 150784569166753487/1558301522725376*c_1001_4^2 + 1872723407213068431/221278816227003392*c_1001_4 - 3704414584858455723/221278816227003392, c_0011_0 - 1, c_0011_10 + 1338733814389/103692041343488*c_1001_4^19 + 3994140686219/103692041343488*c_1001_4^18 + 943165254225/3988155436288*c_1001_4^17 + 30814128626447/51846020671744*c_1001_4^16 + 186228168044349/103692041343488*c_1001_4^15 + 197665411931887/51846020671744*c_1001_4^14 + 379493266627119/51846020671744*c_1001_4^13 + 167428058480497/12961505167936*c_1001_4^12 + 13913434044545/810094072996*c_1001_4^11 + 1262093403558695/51846020671744*c_1001_4^10 + 2390574293182105/103692041343488*c_1001_4^9 + 2565334664774841/103692041343488*c_1001_4^8 + 53545396663697/3240376291984*c_1001_4^7 + 1281200601007679/103692041343488*c_1001_4^6 + 579556805900791/103692041343488*c_1001_4^5 + 162176209625541/103692041343488*c_1001_4^4 + 36150429548999/51846020671744*c_1001_4^3 - 3499924368539/730225643264*c_1001_4^2 + 1011660353957/103692041343488*c_1001_4 - 442077697055705/103692041343488, c_0011_12 + 168935313536555/103692041343488*c_1001_4^19 + 337926303292373/103692041343488*c_1001_4^18 + 97486772466383/3988155436288*c_1001_4^17 + 2366640680483281/51846020671744*c_1001_4^16 + 15385139274083427/103692041343488*c_1001_4^15 + 13618204974978545/51846020671744*c_1001_4^14 + 23697648020217265/51846020671744*c_1001_4^13 + 10035553349439727/12961505167936*c_1001_4^12 + 583676959581487/810094072996*c_1001_4^11 + 61628234456912057/51846020671744*c_1001_4^10 + 47981184740242567/103692041343488*c_1001_4^9 + 85419158210574951/103692041343488*c_1001_4^8 - 311923187496993/3240376291984*c_1001_4^7 + 12060132780837793/103692041343488*c_1001_4^6 - 25816827561723671/103692041343488*c_1001_4^5 - 10217648865190181/103692041343488*c_1001_4^4 - 4584100368377831/51846020671744*c_1001_4^3 - 18810445961413/730225643264*c_1001_4^2 - 958200768226053/103692041343488*c_1001_4 - 337851987425607/103692041343488, c_0011_3 + 3058388540901/103692041343488*c_1001_4^19 + 8128564486683/103692041343488*c_1001_4^18 + 1928076268801/3988155436288*c_1001_4^17 + 58349793439839/51846020671744*c_1001_4^16 + 342226201167917/103692041343488*c_1001_4^15 + 349137588804415/51846020671744*c_1001_4^14 + 629767782863743/51846020671744*c_1001_4^13 + 276429978911201/12961505167936*c_1001_4^12 + 21050928987281/810094072996*c_1001_4^11 + 1957128533919991/51846020671744*c_1001_4^10 + 3367664662952137/103692041343488*c_1001_4^9 + 3644438473036009/103692041343488*c_1001_4^8 + 72735116712721/3240376291984*c_1001_4^7 + 974963763047567/103692041343488*c_1001_4^6 + 792247304168647/103692041343488*c_1001_4^5 - 1486265427561931/103692041343488*c_1001_4^4 + 50278396621719/51846020671744*c_1001_4^3 - 7929675499051/730225643264*c_1001_4^2 + 2656968623637/103692041343488*c_1001_4 - 107904759906825/103692041343488, c_0011_8 + 55676219263/103692041343488*c_1001_4^19 + 626381077633/103692041343488*c_1001_4^18 + 118945459347/3988155436288*c_1001_4^17 + 6012871128461/51846020671744*c_1001_4^16 + 37824470571735/103692041343488*c_1001_4^15 + 46704125099565/51846020671744*c_1001_4^14 + 104544089595373/51846020671744*c_1001_4^13 + 47389108793267/12961505167936*c_1001_4^12 + 4761181924103/810094072996*c_1001_4^11 + 424116131771861/51846020671744*c_1001_4^10 + 951501442297451/103692041343488*c_1001_4^9 + 999253379972299/103692041343488*c_1001_4^8 + 23170836684019/3240376291984*c_1001_4^7 + 537081349978909/103692041343488*c_1001_4^6 + 256340574076229/103692041343488*c_1001_4^5 + 123241507754863/103692041343488*c_1001_4^4 + 15940845032117/51846020671744*c_1001_4^3 - 799466201009/730225643264*c_1001_4^2 + 18639647503/103692041343488*c_1001_4 - 272627354880043/103692041343488, c_0011_9 + 272627354880043/103692041343488*c_1001_4^19 + 545310385979349/103692041343488*c_1001_4^18 + 157309104010703/3988155436288*c_1001_4^17 + 3818329259292113/51846020671744*c_1001_4^16 + 24821115036340835/103692041343488*c_1001_4^15 + 21965414303129329/51846020671744*c_1001_4^14 + 38214533808305585/51846020671744*c_1001_4^13 + 16179306799041391/12961505167936*c_1001_4^12 + 940118351699727/810094072996*c_1001_4^11 + 99268445464598201/51846020671744*c_1001_4^10 + 76911264275075719/103692041343488*c_1001_4^9 + 137265178882318951/103692041343488*c_1001_4^8 - 522547646475953/3240376291984*c_1001_4^7 + 19007499550851489/103692041343488*c_1001_4^6 - 41992786011307799/103692041343488*c_1001_4^5 - 16646555428486437/103692041343488*c_1001_4^4 - 7435631505323751/51846020671744*c_1001_4^3 - 30494056253637/730225643264*c_1001_4^2 - 1476660974943493/103692041343488*c_1001_4 - 545236070112583/103692041343488, c_0101_0 - 2381016866789/103692041343488*c_1001_4^19 - 4785097619483/103692041343488*c_1001_4^18 - 1411877860353/3988155436288*c_1001_4^17 - 35462388604255/51846020671744*c_1001_4^16 - 235817917498413/103692041343488*c_1001_4^15 - 221416993421375/51846020671744*c_1001_4^14 - 410124696552063/51846020671744*c_1001_4^13 - 184944216946145/12961505167936*c_1001_4^12 - 13319989163501/810094072996*c_1001_4^11 - 1399958625631991/51846020671744*c_1001_4^10 - 2222222519089865/103692041343488*c_1001_4^9 - 2928467825306345/103692041343488*c_1001_4^8 - 51429852740225/3240376291984*c_1001_4^7 - 1556350533323919/103692041343488*c_1001_4^6 + 54091472299833/103692041343488*c_1001_4^5 - 350183652228661/103692041343488*c_1001_4^4 + 564881024104041/51846020671744*c_1001_4^3 - 177119338453/730225643264*c_1001_4^2 + 435161281813483/103692041343488*c_1001_4 + 4374058469385/103692041343488, c_0101_10 - 55676219263/103692041343488*c_1001_4^19 - 626381077633/103692041343488*c_1001_4^18 - 118945459347/3988155436288*c_1001_4^17 - 6012871128461/51846020671744*c_1001_4^16 - 37824470571735/103692041343488*c_1001_4^15 - 46704125099565/51846020671744*c_1001_4^14 - 104544089595373/51846020671744*c_1001_4^13 - 47389108793267/12961505167936*c_1001_4^12 - 4761181924103/810094072996*c_1001_4^11 - 424116131771861/51846020671744*c_1001_4^10 - 951501442297451/103692041343488*c_1001_4^9 - 999253379972299/103692041343488*c_1001_4^8 - 23170836684019/3240376291984*c_1001_4^7 - 537081349978909/103692041343488*c_1001_4^6 - 256340574076229/103692041343488*c_1001_4^5 - 123241507754863/103692041343488*c_1001_4^4 - 15940845032117/51846020671744*c_1001_4^3 + 799466201009/730225643264*c_1001_4^2 - 18639647503/103692041343488*c_1001_4 + 272627354880043/103692041343488, c_0101_12 - 1, c_0110_2 - 2196402135835/51846020671744*c_1001_4^19 - 4519626247397/51846020671744*c_1001_4^18 - 1303337155839/1994077718144*c_1001_4^17 - 33709405288609/25923010335872*c_1001_4^16 - 220846270011091/51846020671744*c_1001_4^15 - 211505190279489/25923010335872*c_1001_4^14 - 395503264001665/25923010335872*c_1001_4^13 - 176773855496543/6480752583968*c_1001_4^12 - 13276662500289/405047036498*c_1001_4^11 - 1328572877826185/25923010335872*c_1001_4^10 - 2168733360837687/51846020671744*c_1001_4^9 - 2727393407635991/51846020671744*c_1001_4^8 - 37746984663975/1620188145992*c_1001_4^7 - 1412853224936561/51846020671744*c_1001_4^6 + 675368405162951/51846020671744*c_1001_4^5 - 309475907610827/51846020671744*c_1001_4^4 + 551710438104727/25923010335872*c_1001_4^3 - 151760061227/365112821632*c_1001_4^2 + 268474632319253/51846020671744*c_1001_4 + 3716223505143/51846020671744, c_1001_0 + 355768453/616979492*c_1001_4^19 + 433859315/616979492*c_1001_4^18 + 2426435817/308489746*c_1001_4^17 + 3007481773/308489746*c_1001_4^16 + 25779444397/616979492*c_1001_4^15 + 17504491383/308489746*c_1001_4^14 + 31395092215/308489746*c_1001_4^13 + 26851767517/154244873*c_1001_4^12 + 13051089862/154244873*c_1001_4^11 + 90500802899/308489746*c_1001_4^10 - 51610450515/616979492*c_1001_4^9 + 158634682613/616979492*c_1001_4^8 - 29158607829/154244873*c_1001_4^7 + 65644972411/616979492*c_1001_4^6 - 65096051245/616979492*c_1001_4^5 + 10218806753/616979492*c_1001_4^4 - 5555337769/308489746*c_1001_4^3 + 3748531/4344926*c_1001_4^2 - 936310115/616979492*c_1001_4 - 31806057/616979492, c_1001_11 + 553716836081/12961505167936*c_1001_4^19 + 1469439360399/12961505167936*c_1001_4^18 + 353310368285/498519429536*c_1001_4^17 + 10700512735555/6480752583968*c_1001_4^16 + 63348571061785/12961505167936*c_1001_4^15 + 64590598829283/6480752583968*c_1001_4^14 + 117291158591331/6480752583968*c_1001_4^13 + 51135405905293/1620188145992*c_1001_4^12 + 7839005367937/202523518249*c_1001_4^11 + 358047332827835/6480752583968*c_1001_4^10 + 621472625814981/12961505167936*c_1001_4^9 + 676063141719333/12961505167936*c_1001_4^8 + 13225081244863/405047036498*c_1001_4^7 + 309487319389363/12961505167936*c_1001_4^6 + 141292248272011/12961505167936*c_1001_4^5 - 25255198705855/12961505167936*c_1001_4^4 + 8843257904795/6480752583968*c_1001_4^3 - 1156048577695/91278205408*c_1001_4^2 + 412411670113/12961505167936*c_1001_4 - 76605589036101/12961505167936, c_1001_4^20 + 2*c_1001_4^19 + 15*c_1001_4^18 + 28*c_1001_4^17 + 91*c_1001_4^16 + 161*c_1001_4^15 + 280*c_1001_4^14 + 474*c_1001_4^13 + 440*c_1001_4^12 + 726*c_1001_4^11 + 279*c_1001_4^10 + 500*c_1001_4^9 - 65*c_1001_4^8 + 67*c_1001_4^7 - 156*c_1001_4^6 - 62*c_1001_4^5 - 55*c_1001_4^4 - 16*c_1001_4^3 - 5*c_1001_4^2 - 2*c_1001_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 275.410 Total time: 275.620 seconds, Total memory usage: 765.84MB