Magma V2.19-8 Wed Aug 21 2013 00:57:42 on localhost [Seed = 4038519366] Type ? for help. Type -D to quit. Loading file "L13n4413__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n4413 geometric_solution 12.21705203 oriented_manifold CS_known 0.0000000000000005 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 1 0 -1 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.318466590680 1.219544917870 0 5 3 6 0132 0132 0321 0132 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.462993110450 0.335230156756 7 0 8 5 0132 0132 0132 0132 0 1 1 1 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 -4 4 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.327615136710 0.947848426445 6 9 1 0 0132 0132 0321 0132 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 -1 1 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.527481560878 0.491641770239 10 7 0 5 0132 0213 0132 0213 0 1 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 0 0 0 1 -1 0 0 0 0 0 -5 5 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.492111285068 0.803235238491 11 1 2 4 0132 0132 0132 0213 0 1 1 1 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 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.691688512354 0.896652698155 3 9 1 12 0132 0213 0132 0132 0 1 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 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 1.080983589834 0.745268451002 2 11 4 12 0132 0132 0213 0213 0 1 1 1 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 0 -1 1 0 0 -5 5 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.451007627254 0.802662827809 10 11 12 2 1023 0321 0213 0132 0 1 1 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 0 0 0 0 0 0 0 0 -4 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.529378258559 0.507538481620 10 3 6 11 2310 0132 0213 0132 0 1 1 1 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 1 -1 0 5 0 -1 -4 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.534805263106 0.621027575409 4 8 9 12 0132 1023 3201 2310 1 1 1 1 0 -1 0 1 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 4 1 -5 0 0 0 0 0 0 0 0 5 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.020669439919 0.625953212422 5 7 9 8 0132 0132 0132 0321 0 1 1 1 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 0 0 0 -4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.565719800159 1.200809326320 10 8 6 7 3201 0213 0132 0213 0 1 1 1 0 0 -1 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 0 0 1 -1 0 0 0 0 5 0 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.785142270968 0.777774093618 ==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' : d['c_0011_12'], 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : d['c_1001_0'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_1001_2'], 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_11'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_1001_12'], 'c_1010_12' : d['c_1010_12'], 'c_1010_11' : d['c_1001_2'], 'c_1010_10' : d['c_0101_2'], 's_0_10' : negation(d['1']), 's_3_10' : negation(d['1']), 's_0_12' : negation(d['1']), 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : negation(d['c_0101_1']), 'c_0101_11' : negation(d['c_0101_10']), 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_2_7' : d['1'], 's_2_12' : negation(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' : negation(d['1']), 's_0_5' : 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_1100_9' : d['c_1001_12'], 'c_1100_8' : d['c_1010_12'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_1010_12'], 'c_1100_4' : d['c_1001_1'], 'c_1100_7' : d['c_1010_12'], 'c_1100_6' : d['c_1001_11'], 'c_1100_1' : d['c_1001_11'], 'c_1100_0' : d['c_1001_1'], 'c_1100_3' : d['c_1001_1'], 'c_1100_2' : d['c_1010_12'], 's_3_11' : d['1'], 'c_1100_11' : d['c_1001_12'], 'c_1100_10' : d['c_0011_12'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_11'], 'c_1010_6' : d['c_1001_12'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_1010_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_11'], 'c_1010_8' : d['c_1001_2'], 's_3_1' : negation(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' : negation(d['1']), 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_1001_11'], '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' : negation(d['c_0011_12']), 'c_0011_8' : d['c_0011_10'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_12']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_12'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_10']), 'c_0110_10' : d['c_0101_1'], 'c_0110_12' : negation(d['c_0101_2']), 'c_0011_11' : negation(d['c_0011_0']), 'c_0101_7' : negation(d['c_0011_10']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_10']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_12']), 'c_0101_8' : d['c_0011_12'], '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' : negation(d['c_0101_10']), 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_10']), 'c_0110_5' : negation(d['c_0101_10']), 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_1']), '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_0101_0, c_0101_1, c_0101_10, c_0101_2, c_1001_0, c_1001_1, c_1001_11, c_1001_12, c_1001_2, c_1010_12 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 45828351559837910714627317511/538668445406300028110470032*c_1010_12\ ^17 + 7424898980063509210023383999/10993233579720408736948368*c_101\ 0_12^16 - 798857733811385220043944519949/53866844540630002811047003\ 2*c_1010_12^15 + 29897038227344945055832441609/26933422270315001405\ 5235016*c_1010_12^14 + 12760796165396948064620220877/44889037117191\ 669009205836*c_1010_12^13 - 1413355709353063814466962861711/2693342\ 22703150014055235016*c_1010_12^12 + 12185544158759133637545330773/6412719588170238429886548*c_1010_12^1\ 1 + 1140169427171330163474737981/192863747012638749771024*c_1010_12\ ^10 - 11687809923622668530984436437/2079800947514671923206448*c_101\ 0_12^9 + 806424351646616510546497191989/538668445406300028110470032\ *c_1010_12^8 + 1097820064045987989217550995/20220286989725977031173\ 8*c_1010_12^7 - 1393438604620778959946332068035/1346671113515750070\ 27617508*c_1010_12^6 - 897049464265714175520495940303/1795561484687\ 66676036823344*c_1010_12^5 + 139287820720323277034172472867/1496301\ 2372397223003068612*c_1010_12^4 + 1729720067804998485934013868947/5\ 38668445406300028110470032*c_1010_12^3 - 1840136704703108391063008819597/538668445406300028110470032*c_1010_\ 12^2 - 454775298955576884214237019743/538668445406300028110470032*c\ _1010_12 + 274030999413415410556514755241/5386684454063000281104700\ 32, c_0011_0 - 1, c_0011_10 + 22528741490739738/54422449292009641*c_1010_12^17 - 184316486777985681/54422449292009641*c_1010_12^16 + 441244880165505656/54422449292009641*c_1010_12^15 - 168812909388198993/54422449292009641*c_1010_12^14 + 47395864230580346/54422449292009641*c_1010_12^13 + 1347168541804673316/54422449292009641*c_1010_12^12 - 865402572159229866/54422449292009641*c_1010_12^11 - 1089864023133263354/54422449292009641*c_1010_12^10 + 1485040073595044044/54422449292009641*c_1010_12^9 - 1017979438236262885/54422449292009641*c_1010_12^8 - 820249617587824398/54422449292009641*c_1010_12^7 + 2690912289052454036/54422449292009641*c_1010_12^6 + 445450142864015550/54422449292009641*c_1010_12^5 - 1917037103547665320/54422449292009641*c_1010_12^4 - 462962766225897120/54422449292009641*c_1010_12^3 + 465797519252999814/54422449292009641*c_1010_12^2 + 104129600880137814/54422449292009641*c_1010_12 - 8910797285323876/54422449292009641, c_0011_12 - 33040960396236613/54422449292009641*c_1010_12^17 + 266872224529816502/54422449292009641*c_1010_12^16 - 626422939455814804/54422449292009641*c_1010_12^15 + 238840884620074058/54422449292009641*c_1010_12^14 - 176616159348143057/54422449292009641*c_1010_12^13 - 1920979095044883210/54422449292009641*c_1010_12^12 + 936156686963265268/54422449292009641*c_1010_12^11 + 1341610828564874681/54422449292009641*c_1010_12^10 - 1991982129424575980/54422449292009641*c_1010_12^9 + 1365964871016429373/54422449292009641*c_1010_12^8 + 1049216123400288063/54422449292009641*c_1010_12^7 - 3517539858799832006/54422449292009641*c_1010_12^6 - 1012441398612516286/54422449292009641*c_1010_12^5 + 2244841850384338277/54422449292009641*c_1010_12^4 + 577603143275895556/54422449292009641*c_1010_12^3 - 605220972436970507/54422449292009641*c_1010_12^2 - 133174152915489074/54422449292009641*c_1010_12 + 62885982132149370/54422449292009641, c_0101_0 + 3853074296089894/54422449292009641*c_1010_12^17 - 38770845304158930/54422449292009641*c_1010_12^16 + 136322686525034026/54422449292009641*c_1010_12^15 - 181022309343584107/54422449292009641*c_1010_12^14 + 72322568037329317/54422449292009641*c_1010_12^13 + 252526006121878072/54422449292009641*c_1010_12^12 - 605824362889704775/54422449292009641*c_1010_12^11 + 229558719750941285/54422449292009641*c_1010_12^10 + 673659731495051934/54422449292009641*c_1010_12^9 - 761997017206852119/54422449292009641*c_1010_12^8 + 255631892119667483/54422449292009641*c_1010_12^7 + 749257990853704986/54422449292009641*c_1010_12^6 - 950426763814281501/54422449292009641*c_1010_12^5 - 315161379130752124/54422449292009641*c_1010_12^4 + 749745753994072538/54422449292009641*c_1010_12^3 + 249550937307378816/54422449292009641*c_1010_12^2 - 205910641847581834/54422449292009641*c_1010_12 - 12755609394514411/54422449292009641, c_0101_1 + 21301424374810168/54422449292009641*c_1010_12^17 - 160134020040095662/54422449292009641*c_1010_12^16 + 303067849025780061/54422449292009641*c_1010_12^15 + 112975970782177440/54422449292009641*c_1010_12^14 - 98135573553693319/54422449292009641*c_1010_12^13 + 1455802040515050438/54422449292009641*c_1010_12^12 - 76792104025875661/54422449292009641*c_1010_12^11 - 1313380316526912439/54422449292009641*c_1010_12^10 + 1047287220883929069/54422449292009641*c_1010_12^9 - 209522612088381415/54422449292009641*c_1010_12^8 - 1396718479535803270/54422449292009641*c_1010_12^7 + 2303493745062206253/54422449292009641*c_1010_12^6 + 1715701645559072923/54422449292009641*c_1010_12^5 - 1394416377303642079/54422449292009641*c_1010_12^4 - 1040358822205032613/54422449292009641*c_1010_12^3 + 330936510145814158/54422449292009641*c_1010_12^2 + 193179870505195360/54422449292009641*c_1010_12 - 952590722654115/54422449292009641, c_0101_10 - 2934150143896200/54422449292009641*c_1010_12^17 + 27111017529167925/54422449292009641*c_1010_12^16 - 73696792931005255/54422449292009641*c_1010_12^15 + 5920431517385597/54422449292009641*c_1010_12^14 + 172556870960599931/54422449292009641*c_1010_12^13 - 335504183927546236/54422449292009641*c_1010_12^12 + 491596783623348609/54422449292009641*c_1010_12^11 + 451176774677858523/54422449292009641*c_1010_12^10 - 671426223768939066/54422449292009641*c_1010_12^9 + 325349930440065115/54422449292009641*c_1010_12^8 + 402329152860511392/54422449292009641*c_1010_12^7 - 1083938294085498381/54422449292009641*c_1010_12^6 + 413548583801335580/54422449292009641*c_1010_12^5 + 1031812562717723276/54422449292009641*c_1010_12^4 - 210608781458597833/54422449292009641*c_1010_12^3 - 337120288361235062/54422449292009641*c_1010_12^2 + 38562894751573262/54422449292009641*c_1010_12 - 5349841153111543/54422449292009641, c_0101_2 - 35423405490277707/54422449292009641*c_1010_12^17 + 281012713845267097/54422449292009641*c_1010_12^16 - 626744554520723243/54422449292009641*c_1010_12^15 + 131333708754332044/54422449292009641*c_1010_12^14 - 93134728870532179/54422449292009641*c_1010_12^13 - 2097056946801263927/54422449292009641*c_1010_12^12 + 730291391918691892/54422449292009641*c_1010_12^11 + 1820195867149991404/54422449292009641*c_1010_12^10 - 1951017710402650640/54422449292009641*c_1010_12^9 + 1065380011967093303/54422449292009641*c_1010_12^8 + 1559190666171730081/54422449292009641*c_1010_12^7 - 3765340957944855485/54422449292009641*c_1010_12^6 - 1764044949961918621/54422449292009641*c_1010_12^5 + 2611715771961288269/54422449292009641*c_1010_12^4 + 1121618706080165403/54422449292009641*c_1010_12^3 - 612694949242548933/54422449292009641*c_1010_12^2 - 185293300011449227/54422449292009641*c_1010_12 + 46035902868480647/54422449292009641, c_1001_0 - 1, c_1001_1 + 23221499599043/257926299962131*c_1010_12^17 - 245134822764037/257926299962131*c_1010_12^16 + 917295341503341/257926299962131*c_1010_12^15 - 1361150610694692/257926299962131*c_1010_12^14 + 804565106036995/257926299962131*c_1010_12^13 + 891478002798409/257926299962131*c_1010_12^12 - 4041615493529959/257926299962131*c_1010_12^11 + 1658196580819836/257926299962131*c_1010_12^10 + 2799401307349314/257926299962131*c_1010_12^9 - 4408053238998996/257926299962131*c_1010_12^8 + 2897961055247727/257926299962131*c_1010_12^7 + 3403283733894351/257926299962131*c_1010_12^6 - 5532313505677460/257926299962131*c_1010_12^5 - 1446013701525572/257926299962131*c_1010_12^4 + 2726658968601121/257926299962131*c_1010_12^3 + 736675577700792/257926299962131*c_1010_12^2 - 376281772630471/257926299962131*c_1010_12 + 59841235316489/257926299962131, c_1001_11 - 41124723835763/257926299962131*c_1010_12^17 + 245502126842748/257926299962131*c_1010_12^16 - 52956710743594/257926299962131*c_1010_12^15 - 1544756048237013/257926299962131*c_1010_12^14 + 776897471766388/257926299962131*c_1010_12^13 - 2714388666552332/257926299962131*c_1010_12^12 - 3976825309383355/257926299962131*c_1010_12^11 + 6109933232893035/257926299962131*c_1010_12^10 + 1064837161813127/257926299962131*c_1010_12^9 - 4740798375998063/257926299962131*c_1010_12^8 + 6591167022511742/257926299962131*c_1010_12^7 - 1993111513958716/257926299962131*c_1010_12^6 - 12359117301556407/257926299962131*c_1010_12^5 + 3341654882384584/257926299962131*c_1010_12^4 + 8437705872425592/257926299962131*c_1010_12^3 - 659777738582786/257926299962131*c_1010_12^2 - 1999012882492076/257926299962131*c_1010_12 + 185033094829712/257926299962131, c_1001_12 - 201328796280217/257926299962131*c_1010_12^17 + 1540297007939424/257926299962131*c_1010_12^16 - 3085862681841869/257926299962131*c_1010_12^15 - 471391129611004/257926299962131*c_1010_12^14 + 206222625057355/257926299962131*c_1010_12^13 - 12252267783691322/257926299962131*c_1010_12^12 + 564266256430072/257926299962131*c_1010_12^11 + 13436434980724949/257926299962131*c_1010_12^10 - 9937890273421535/257926299962131*c_1010_12^9 + 1635370833016579/257926299962131*c_1010_12^8 + 12974923812178376/257926299962131*c_1010_12^7 - 20831079684313275/257926299962131*c_1010_12^6 - 17002492031533174/257926299962131*c_1010_12^5 + 16132696149606628/257926299962131*c_1010_12^4 + 10048039989649136/257926299962131*c_1010_12^3 - 4345949139159436/257926299962131*c_1010_12^2 - 2233521189920179/257926299962131*c_1010_12 + 483152909950855/257926299962131, c_1001_2 + 5987138867506/257926299962131*c_1010_12^17 - 47418701595252/257926299962131*c_1010_12^16 + 105125466204720/257926299962131*c_1010_12^15 + 12829529960758/257926299962131*c_1010_12^14 - 257785219952739/257926299962131*c_1010_12^13 + 1064415777504829/257926299962131*c_1010_12^12 - 687930630924674/257926299962131*c_1010_12^11 + 296611185879544/257926299962131*c_1010_12^10 + 1864613724732876/257926299962131*c_1010_12^9 - 1429269968644640/257926299962131*c_1010_12^8 - 440485087169618/257926299962131*c_1010_12^7 + 2143643358509908/257926299962131*c_1010_12^6 - 1819976336062790/257926299962131*c_1010_12^5 - 227151498733555/257926299962131*c_1010_12^4 + 2406501784335661/257926299962131*c_1010_12^3 + 31752688515733/257926299962131*c_1010_12^2 - 897911242131158/257926299962131*c_1010_12 - 76136936766994/257926299962131, c_1010_12^18 - 8*c_1010_12^17 + 18*c_1010_12^16 - 3*c_1010_12^15 - 2*c_1010_12^14 + 62*c_1010_12^13 - 26*c_1010_12^12 - 63*c_1010_12^11 + 70*c_1010_12^10 - 26*c_1010_12^9 - 59*c_1010_12^8 + 124*c_1010_12^7 + 47*c_1010_12^6 - 105*c_1010_12^5 - 25*c_1010_12^4 + 38*c_1010_12^3 + 4*c_1010_12^2 - 6*c_1010_12 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.360 Total time: 0.560 seconds, Total memory usage: 32.09MB