Magma V2.19-8 Tue Aug 20 2013 23:53:19 on localhost [Seed = 1949441944] Type ? for help. Type -D to quit. Loading file "K12n368__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n368 geometric_solution 11.90457289 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 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 0 0 0 13 -13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.995151370436 1.100386616061 0 4 6 5 0132 1023 0132 0132 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 -1 1 0 0 0 0 0 -13 13 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.063341929922 0.951301376485 7 0 9 8 0132 0132 0132 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 -1 0 1 0 0 0 0 0 13 0 -13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.530881665652 0.387623498393 9 7 8 0 0132 0132 1230 0132 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 0 0 0 0 0 -12 12 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.540253251522 0.456779166572 1 9 0 10 1023 0132 0132 0132 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 1 -1 1 0 0 -1 -13 12 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.438640169595 0.538570351795 9 11 1 7 2103 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.145449959418 0.894563462634 10 10 12 1 1023 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 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.122601867533 0.740522692132 2 3 12 5 0132 0132 1023 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 0 0 0 0 0 -12 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.094314701710 1.354116977057 12 11 2 3 1023 3201 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 0 -1 1 0 0 0 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 1.085315337445 0.740223546236 3 4 5 2 0132 0132 2103 0132 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 0 -1 1 0 0 12 -12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.846197754635 0.929614351213 11 6 4 6 3012 1023 0132 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 1 -1 0 0 1 -1 1 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.782391261868 1.314369934446 12 5 8 10 0321 0132 2310 1230 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 -12 0 13 -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 1.085124830311 0.855322711658 11 8 7 6 0321 1023 1023 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 12 0 -12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.424081741321 0.777439740829 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_2'], 'c_1001_10' : negation(d['c_0011_11']), 'c_1001_12' : d['c_0101_7'], 'c_1001_5' : d['c_0101_10'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0101_11']), 'c_1001_6' : d['c_0110_8'], 'c_1001_1' : d['c_0101_1'], 'c_1001_0' : negation(d['c_0101_11']), 'c_1001_3' : d['c_0110_5'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0011_11']), 'c_1001_8' : negation(d['c_0101_11']), 'c_1010_12' : d['c_0110_8'], 'c_1010_11' : d['c_0101_10'], 'c_1010_10' : d['c_0101_1'], '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' : 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_11'], 'c_1100_8' : negation(d['c_0110_5']), 'c_0011_12' : negation(d['c_0011_10']), 'c_1100_5' : d['c_1100_1'], 'c_1100_4' : d['c_0110_8'], 'c_1100_7' : negation(d['c_1100_1']), 'c_1100_6' : d['c_1100_1'], 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : d['c_0110_8'], 'c_1100_3' : d['c_0110_8'], 'c_1100_2' : negation(d['c_0110_5']), 's_3_11' : d['1'], 'c_1100_9' : negation(d['c_0110_5']), 'c_1100_11' : negation(d['c_0011_10']), 'c_1100_10' : d['c_0110_8'], 's_3_10' : d['1'], 'c_1010_7' : d['c_0110_5'], 'c_1010_6' : d['c_0101_1'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_0011_11']), 'c_1010_3' : negation(d['c_0101_11']), 'c_1010_2' : negation(d['c_0101_11']), 'c_1010_1' : d['c_0101_10'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : negation(d['c_0101_2']), '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' : 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_0'], 'c_0011_8' : negation(d['c_0011_10']), 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : d['c_0011_10'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_10'], 'c_0110_10' : negation(d['c_0011_10']), 'c_0110_12' : negation(d['c_0011_11']), 'c_0101_12' : negation(d['c_0101_11']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0011_11']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_2'], '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_0'], 'c_0101_8' : d['c_0101_7'], '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_2'], 'c_0110_8' : d['c_0110_8'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : d['c_0101_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_11, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_2, c_0101_7, c_0110_5, c_0110_8, c_1001_2, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 292422382099115398971949820902/1889273003773935585731560337*c_1100_\ 1^15 + 2358438264014839753157442697251/1889273003773935585731560337\ *c_1100_1^14 + 3368805992105846590400610896560/18892730037739355857\ 31560337*c_1100_1^13 - 6518992651865573121621934894192/188927300377\ 3935585731560337*c_1100_1^12 - 5124018149519979079199641177567/1889\ 273003773935585731560337*c_1100_1^11 + 40051151557501659982226184197270/1889273003773935585731560337*c_110\ 0_1^10 + 34225257269672742080911570621467/1889273003773935585731560\ 337*c_1100_1^9 - 71958930176423760117547514875714/18892730037739355\ 85731560337*c_1100_1^8 + 34857635897185292181358674596182/188927300\ 3773935585731560337*c_1100_1^7 + 232164409366444354517502965384823/\ 1889273003773935585731560337*c_1100_1^6 + 52150226477252606686660571886916/1889273003773935585731560337*c_110\ 0_1^5 + 5357283729454937574005664251955/188927300377393558573156033\ 7*c_1100_1^4 + 3654026912949557716171401110309/99435421251259767670\ 082123*c_1100_1^3 - 40923656194283092785455478177486/18892730037739\ 35585731560337*c_1100_1^2 + 22094483997253539223636344417862/188927\ 3003773935585731560337*c_1100_1 - 3095186661242361159784404653419/1\ 889273003773935585731560337, c_0011_0 - 1, c_0011_10 - 2097730883896498236864/6963752451240266662237*c_1100_1^15 - 16848203865686372349897/6963752451240266662237*c_1100_1^14 - 23526948021425242765858/6963752451240266662237*c_1100_1^13 + 48200979091468517968311/6963752451240266662237*c_1100_1^12 + 36357072432897910041788/6963752451240266662237*c_1100_1^11 - 289775520061714625636227/6963752451240266662237*c_1100_1^10 - 238261745219068657061523/6963752451240266662237*c_1100_1^9 + 533993273573981215630234/6963752451240266662237*c_1100_1^8 - 252751433193351930382017/6963752451240266662237*c_1100_1^7 - 1671842563234759916282688/6963752451240266662237*c_1100_1^6 - 321301207310136984968665/6963752451240266662237*c_1100_1^5 + 40444332955022405345747/6963752451240266662237*c_1100_1^4 - 452718333353066041058588/6963752451240266662237*c_1100_1^3 + 311426984850133028656348/6963752451240266662237*c_1100_1^2 - 150933251193337844958233/6963752451240266662237*c_1100_1 + 20776274677478575034825/6963752451240266662237, c_0011_11 - 19767560908384579993/6963752451240266662237*c_1100_1^15 - 131530840792875242234/6963752451240266662237*c_1100_1^14 - 46147560633639533045/6963752451240266662237*c_1100_1^13 + 479379469640020762252/6963752451240266662237*c_1100_1^12 - 316631043453797098379/6963752451240266662237*c_1100_1^11 - 1994238644067141667733/6963752451240266662237*c_1100_1^10 + 761421525078134627146/6963752451240266662237*c_1100_1^9 + 3338989455892512566387/6963752451240266662237*c_1100_1^8 - 7222774631881516571368/6963752451240266662237*c_1100_1^7 - 3404917260597001911705/6963752451240266662237*c_1100_1^6 + 3183915498566424451653/6963752451240266662237*c_1100_1^5 - 5216100542914983291461/6963752451240266662237*c_1100_1^4 + 3436833845074567896101/6963752451240266662237*c_1100_1^3 + 5501170835258231337201/6963752451240266662237*c_1100_1^2 + 12419363961910001565992/6963752451240266662237*c_1100_1 - 11919479632873073680/6963752451240266662237, c_0101_0 + 2723050970017397694841/6963752451240266662237*c_1100_1^15 + 22244812477536819923737/6963752451240266662237*c_1100_1^14 + 33668561928899346598201/6963752451240266662237*c_1100_1^13 - 57317488357245015490148/6963752451240266662237*c_1100_1^12 - 53915552101555076584262/6963752451240266662237*c_1100_1^11 + 367196575057915608441468/6963752451240266662237*c_1100_1^10 + 356962255208034533811146/6963752451240266662237*c_1100_1^9 - 633228038565564882006299/6963752451240266662237*c_1100_1^8 + 256209290887743913723982/6963752451240266662237*c_1100_1^7 + 2184454340307825796806481/6963752451240266662237*c_1100_1^6 + 711792700267999895933809/6963752451240266662237*c_1100_1^5 + 125115314774699528953563/6963752451240266662237*c_1100_1^4 + 636773245543414768374767/6963752451240266662237*c_1100_1^3 - 341591076390523584835402/6963752451240266662237*c_1100_1^2 + 171609737241540436954832/6963752451240266662237*c_1100_1 - 14472947809852468376031/6963752451240266662237, c_0101_1 + 926694284501773055706/6963752451240266662237*c_1100_1^15 + 7615542551306568741136/6963752451240266662237*c_1100_1^14 + 11876891511646539443798/6963752451240266662237*c_1100_1^13 - 18560272294210778697048/6963752451240266662237*c_1100_1^12 - 18791030583639404292708/6963752451240266662237*c_1100_1^11 + 122974126656206813791737/6963752451240266662237*c_1100_1^10 + 126847589472899900230784/6963752451240266662237*c_1100_1^9 - 203117471733747695972398/6963752451240266662237*c_1100_1^8 + 81992040383668086453482/6963752451240266662237*c_1100_1^7 + 736129329870930077632280/6963752451240266662237*c_1100_1^6 + 284395566270647477981276/6963752451240266662237*c_1100_1^5 + 89807466178849481451924/6963752451240266662237*c_1100_1^4 + 229064788139474736019920/6963752451240266662237*c_1100_1^3 - 106977898216050122889155/6963752451240266662237*c_1100_1^2 + 60638162799964060186405/6963752451240266662237*c_1100_1 - 7507881030166312661672/6963752451240266662237, c_0101_10 + 3866222028925979565209/6963752451240266662237*c_1100_1^15 + 31472303045410902806768/6963752451240266662237*c_1100_1^14 + 46860441659794576239198/6963752451240266662237*c_1100_1^13 - 83007885027997344052933/6963752451240266662237*c_1100_1^12 - 74379938438849903045872/6963752451240266662237*c_1100_1^11 + 524805586782763564952173/6963752451240266662237*c_1100_1^10 + 492103477863061609929654/6963752451240266662237*c_1100_1^9 - 919366439578980665934157/6963752451240266662237*c_1100_1^8 + 388590836827053449300564/6963752451240266662237*c_1100_1^7 + 3105303735798566158120179/6963752451240266662237*c_1100_1^6 + 913723716025438848873295/6963752451240266662237*c_1100_1^5 + 118886311538333096048198/6963752451240266662237*c_1100_1^4 + 915256218075467118712754/6963752451240266662237*c_1100_1^3 - 490033202469186474449970/6963752451240266662237*c_1100_1^2 + 255943769638207810771566/6963752451240266662237*c_1100_1 - 22689690335787549351379/6963752451240266662237, c_0101_11 - 1808861293102845507084/6963752451240266662237*c_1100_1^15 - 14915371025173175101574/6963752451240266662237*c_1100_1^14 - 23528034221185830805107/6963752451240266662237*c_1100_1^13 + 36083515643233400013063/6963752451240266662237*c_1100_1^12 + 38173416701856758604784/6963752451240266662237*c_1100_1^11 - 240476809522896365843646/6963752451240266662237*c_1100_1^10 - 254277532460060425643423/6963752451240266662237*c_1100_1^9 + 397460349534482142276704/6963752451240266662237*c_1100_1^8 - 145484343187540802244424/6963752451240266662237*c_1100_1^7 - 1453601252587168799572596/6963752451240266662237*c_1100_1^6 - 579964540757556091630764/6963752451240266662237*c_1100_1^5 - 159959976190851368395002/6963752451240266662237*c_1100_1^4 - 441046769515231365925599/6963752451240266662237*c_1100_1^3 + 208002689772858868738487/6963752451240266662237*c_1100_1^2 - 113810018271197914029489/6963752451240266662237*c_1100_1 + 14091840043866624677833/6963752451240266662237, c_0101_2 + 1786657113577870596939/6963752451240266662237*c_1100_1^15 + 14743994126817763333604/6963752451240266662237*c_1100_1^14 + 23366062587786925700463/6963752451240266662237*c_1100_1^13 - 35241917779145668764459/6963752451240266662237*c_1100_1^12 - 37486239275237698800388/6963752451240266662237*c_1100_1^11 + 237243377174565563098138/6963752451240266662237*c_1100_1^10 + 252607059847014290264564/6963752451240266662237*c_1100_1^9 - 388992989108025540580708/6963752451240266662237*c_1100_1^8 + 145237283699791795296520/6963752451240266662237*c_1100_1^7 + 1440079523566654588168577/6963752451240266662237*c_1100_1^6 + 587012070593992231709385/6963752451240266662237*c_1100_1^5 + 166185998047115278590275/6963752451240266662237*c_1100_1^4 + 467567700182286340660909/6963752451240266662237*c_1100_1^3 - 160952474064050861787552/6963752451240266662237*c_1100_1^2 + 114240055804252043877589/6963752451240266662237*c_1100_1 - 7152336830969023996001/6963752451240266662237, c_0101_7 + 2762960984970901958393/6963752451240266662237*c_1100_1^15 + 22530393685186681234036/6963752451240266662237*c_1100_1^14 + 33868203907833622965890/6963752451240266662237*c_1100_1^13 - 58390926161270485839050/6963752451240266662237*c_1100_1^12 - 53630956721057443530153/6963752451240266662237*c_1100_1^11 + 372442579510214872839830/6963752451240266662237*c_1100_1^10 + 356792054816371056690663/6963752451240266662237*c_1100_1^9 - 643129522332017826882755/6963752451240266662237*c_1100_1^8 + 270246531821881303830473/6963752451240266662237*c_1100_1^7 + 2203930814693557962485829/6963752451240266662237*c_1100_1^6 + 700015212917429338510000/6963752451240266662237*c_1100_1^5 + 135062650218784802898935/6963752451240266662237*c_1100_1^4 + 638695739886601156112608/6963752451240266662237*c_1100_1^3 - 350250250530391952174301/6963752451240266662237*c_1100_1^2 + 182525099531098344003942/6963752451240266662237*c_1100_1 - 23652646888498420988707/6963752451240266662237, c_0110_5 + 911792323662474878465/6963752451240266662237*c_1100_1^15 + 7489621059315655912214/6963752451240266662237*c_1100_1^14 + 11688396490243391192600/6963752451240266662237*c_1100_1^13 - 18075378881150080643998/6963752451240266662237*c_1100_1^12 - 18121945515586609870199/6963752451240266662237*c_1100_1^11 + 120843512116540700774224/6963752451240266662237*c_1100_1^10 + 124882335138734063203004/6963752451240266662237*c_1100_1^9 - 198031207962769542498660/6963752451240266662237*c_1100_1^8 + 82242522936224349536396/6963752451240266662237*c_1100_1^7 + 725560684961380522483077/6963752451240266662237*c_1100_1^6 + 288947873625552074749955/6963752451240266662237*c_1100_1^5 + 89640897086879099345856/6963752451240266662237*c_1100_1^4 + 238046141995706800623209/6963752451240266662237*c_1100_1^3 - 61044435485889864761595/6963752451240266662237*c_1100_1^2 + 64079748926290939751738/6963752451240266662237*c_1100_1 - 3559255042904898222130/6963752451240266662237, c_0110_8 - 885182677188273480755/6963752451240266662237*c_1100_1^15 - 7318325449957065065336/6963752451240266662237*c_1100_1^14 - 11663670921496215770187/6963752451240266662237*c_1100_1^13 + 17442466863162130265731/6963752451240266662237*c_1100_1^12 + 18855630276876540241500/6963752451240266662237*c_1100_1^11 - 117947194013357031507834/6963752451240266662237*c_1100_1^10 - 126544538592662849374846/6963752451240266662237*c_1100_1^9 + 193496821614428328806340/6963752451240266662237*c_1100_1^8 - 70129904883739456153596/6963752451240266662237*c_1100_1^7 - 719866289227449256372313/6963752451240266662237*c_1100_1^6 - 293946530998474827661493/6963752451240266662237*c_1100_1^5 - 81499383745609001411421/6963752451240266662237*c_1100_1^4 - 235608943101248179184923/6963752451240266662237*c_1100_1^3 + 75163809685920940206985/6963752451240266662237*c_1100_1^2 - 64407949380457966105306/6963752451240266662237*c_1100_1 + 3579022603813282802123/6963752451240266662237, c_1001_2 - 1155300751712107637414/6963752451240266662237*c_1100_1^15 - 9173772916187132739233/6963752451240266662237*c_1100_1^14 - 11982339499217807929716/6963752451240266662237*c_1100_1^13 + 28639475366213014683051/6963752451240266662237*c_1100_1^12 + 18162222030352384300620/6963752451240266662237*c_1100_1^11 - 164858093415193294836367/6963752451240266662237*c_1100_1^10 - 115513909084138344370520/6963752451240266662237*c_1100_1^9 + 322441816730805029925336/6963752451240266662237*c_1100_1^8 - 167017823309448024161590/6963752451240266662237*c_1100_1^7 - 939067231034965716219296/6963752451240266662237*c_1100_1^6 - 48978645377760315861392/6963752451240266662237*c_1100_1^5 + 96880166358380660818812/6963752451240266662237*c_1100_1^4 - 279985226622101297855242/6963752451240266662237*c_1100_1^3 + 213522796381285018792937/6963752451240266662237*c_1100_1^2 - 93758470227211112539119/6963752451240266662237*c_1100_1 + 11973932417755986738073/6963752451240266662237, c_1100_1^16 + 8*c_1100_1^15 + 11*c_1100_1^14 - 23*c_1100_1^13 - 16*c_1100_1^12 + 138*c_1100_1^11 + 108*c_1100_1^10 - 253*c_1100_1^9 + 136*c_1100_1^8 + 785*c_1100_1^7 + 127*c_1100_1^6 + 11*c_1100_1^5 + 238*c_1100_1^4 - 155*c_1100_1^3 + 86*c_1100_1^2 - 16*c_1100_1 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 4.190 Total time: 4.410 seconds, Total memory usage: 117.28MB