Magma V2.19-8 Tue Aug 20 2013 23:46:39 on localhost [Seed = 4122189802] Type ? for help. Type -D to quit. Loading file "K14n23835__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n23835 geometric_solution 11.23406702 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 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 0 0 0 0 0 0 0 0 13 1 -14 13 0 -13 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.568004660929 0.765292993247 0 3 6 5 0132 1230 0132 0132 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 0 0 0 0 0 0 0 0 13 0 -13 -13 0 14 -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.559366910913 0.990935639483 7 0 5 8 0132 0132 0132 0132 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 -13 13 0 -1 0 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.623963624067 0.687831821791 8 9 1 0 0213 0132 3012 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 -13 13 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.399493837628 1.601693345004 7 10 0 11 3012 0132 0132 0132 0 0 0 0 0 1 -1 0 1 0 0 -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 -14 14 0 -14 0 0 14 0 14 0 -14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.829127976672 1.037179577068 7 9 1 2 2031 1023 0132 0132 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 13 -13 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.276516285181 0.797538674381 10 11 11 1 2310 1302 2310 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 0 0 0 0 14 -14 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.292681154193 1.358775527098 2 10 5 4 0132 3012 1302 1230 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 -14 0 14 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.695087563984 0.706521036888 3 9 2 11 0213 0213 0132 2310 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 14 0 -14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.123820967535 1.096260099956 5 3 8 10 1023 0132 0213 1023 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 -14 14 -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.444879285309 0.556625291989 7 4 6 9 1230 0132 3201 1023 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 14 0 -14 0 0 0 0 0 0 0 0 14 -14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.491251564987 0.589983935814 8 6 4 6 3201 3201 0132 2031 0 0 0 0 0 0 0 0 -1 0 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 14 0 -14 0 0 0 0 0 0 -14 14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.342482647031 0.419848667698 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_6']), 'c_1001_10' : negation(d['c_0101_6']), 'c_1001_5' : d['c_0011_8'], 'c_1001_4' : d['c_0110_9'], 'c_1001_7' : negation(d['c_0011_10']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_0'], 'c_1001_2' : d['c_0110_9'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_1001_0'], 'c_1010_11' : d['c_0011_6'], 'c_1010_10' : d['c_0110_9'], 's_3_11' : d['1'], 's_0_11' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_0'], 'c_0101_10' : negation(d['c_0101_1']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_2_7' : 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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : d['c_0011_6'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0011_11'], 'c_1100_4' : negation(d['c_1001_1']), 'c_1100_7' : d['c_0101_0'], 'c_1100_6' : d['c_0011_11'], 'c_1100_1' : d['c_0011_11'], 'c_1100_0' : negation(d['c_1001_1']), 'c_1100_3' : negation(d['c_1001_1']), 'c_1100_2' : d['c_0011_11'], 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_1001_1']), 'c_1100_10' : negation(d['c_0011_6']), 's_3_10' : d['1'], 'c_1010_7' : d['c_0101_1'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_0110_9'], 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_8'], 'c_1010_0' : d['c_0110_9'], 'c_1010_9' : d['c_0011_0'], 'c_1010_8' : d['c_0011_6'], 'c_1100_8' : d['c_0011_11'], 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(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'], '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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : d['c_0011_6'], '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_6']), 'c_0110_10' : d['c_0011_0'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_8'], 'c_0101_2' : negation(d['c_0011_10']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_8'], 'c_0101_8' : d['c_0011_3'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0110_9'], 'c_0110_8' : negation(d['c_0101_0']), '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_0011_3'], 'c_0110_5' : negation(d['c_0011_10']), 'c_0110_4' : d['c_0101_0'], 'c_0110_7' : negation(d['c_0011_10']), 'c_0110_6' : d['c_0101_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0011_6, c_0011_8, c_0101_0, c_0101_1, c_0101_6, c_0110_9, c_1001_0, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t + 11962786653951147133/12349854454795813*c_1001_1^11 - 88990683575433935899/209947525731528821*c_1001_1^10 - 270688697909287849824/209947525731528821*c_1001_1^9 - 426434107421203208102/209947525731528821*c_1001_1^8 + 856209763319743335825/209947525731528821*c_1001_1^7 - 1088640582026944059926/209947525731528821*c_1001_1^6 + 28175693306152472925/5120671359305581*c_1001_1^5 - 837817731406738414524/209947525731528821*c_1001_1^4 + 25261520722440182613/5120671359305581*c_1001_1^3 - 171345113729381536834/209947525731528821*c_1001_1^2 + 247746134027759519167/209947525731528821*c_1001_1 - 54327685433839139307/209947525731528821, c_0011_0 - 1, c_0011_10 + 35561084523273/7005022379351*c_1001_1^11 - 6553174464316/7005022379351*c_1001_1^10 - 50207353720979/7005022379351*c_1001_1^9 - 86755036252067/7005022379351*c_1001_1^8 + 130526333039751/7005022379351*c_1001_1^7 - 153506498762187/7005022379351*c_1001_1^6 + 155986048724661/7005022379351*c_1001_1^5 - 105167972199078/7005022379351*c_1001_1^4 + 150493863672813/7005022379351*c_1001_1^3 + 14274862274181/7005022379351*c_1001_1^2 + 39819803916336/7005022379351*c_1001_1 + 3254614757947/7005022379351, c_0011_11 + 49151922858266/7005022379351*c_1001_1^11 - 10144948406943/7005022379351*c_1001_1^10 - 68867935675418/7005022379351*c_1001_1^9 - 123876741712534/7005022379351*c_1001_1^8 + 183526540581615/7005022379351*c_1001_1^7 - 211025718426879/7005022379351*c_1001_1^6 + 234242834056787/7005022379351*c_1001_1^5 - 169039891521565/7005022379351*c_1001_1^4 + 238324555070843/7005022379351*c_1001_1^3 - 17917993164473/7005022379351*c_1001_1^2 + 75305465489666/7005022379351*c_1001_1 - 16073821084608/7005022379351, c_0011_3 + 54080702726582/7005022379351*c_1001_1^11 - 11411549169635/7005022379351*c_1001_1^10 - 79346378087407/7005022379351*c_1001_1^9 - 127071525568043/7005022379351*c_1001_1^8 + 204855581737010/7005022379351*c_1001_1^7 - 237539398825307/7005022379351*c_1001_1^6 + 228103701929387/7005022379351*c_1001_1^5 - 135085512330103/7005022379351*c_1001_1^4 + 211133563467787/7005022379351*c_1001_1^3 + 25682837535677/7005022379351*c_1001_1^2 + 50383663388765/7005022379351*c_1001_1 + 4921058694595/7005022379351, c_0011_6 + 11535208202728/7005022379351*c_1001_1^11 - 4695781699128/7005022379351*c_1001_1^10 - 18452087709345/7005022379351*c_1001_1^9 - 21526730908561/7005022379351*c_1001_1^8 + 54291489326821/7005022379351*c_1001_1^7 - 55118270438260/7005022379351*c_1001_1^6 + 44681703592696/7005022379351*c_1001_1^5 - 31920595918120/7005022379351*c_1001_1^4 + 38105729359201/7005022379351*c_1001_1^3 + 3637053491676/7005022379351*c_1001_1^2 - 17002052429/7005022379351*c_1001_1 + 795346368733/7005022379351, c_0011_8 + 63620632475285/7005022379351*c_1001_1^11 - 31360563454312/7005022379351*c_1001_1^10 - 78815899784062/7005022379351*c_1001_1^9 - 127649368670848/7005022379351*c_1001_1^8 + 267566699910865/7005022379351*c_1001_1^7 - 368501184902841/7005022379351*c_1001_1^6 + 393999037720467/7005022379351*c_1001_1^5 - 289573949250235/7005022379351*c_1001_1^4 + 344631253182148/7005022379351*c_1001_1^3 - 76325252855100/7005022379351*c_1001_1^2 + 89185109193486/7005022379351*c_1001_1 - 15459286495612/7005022379351, c_0101_0 + 35561084523273/7005022379351*c_1001_1^11 - 6553174464316/7005022379351*c_1001_1^10 - 50207353720979/7005022379351*c_1001_1^9 - 86755036252067/7005022379351*c_1001_1^8 + 130526333039751/7005022379351*c_1001_1^7 - 153506498762187/7005022379351*c_1001_1^6 + 155986048724661/7005022379351*c_1001_1^5 - 105167972199078/7005022379351*c_1001_1^4 + 150493863672813/7005022379351*c_1001_1^3 + 14274862274181/7005022379351*c_1001_1^2 + 39819803916336/7005022379351*c_1001_1 - 3750407621404/7005022379351, c_0101_1 + 5506258117236/7005022379351*c_1001_1^11 + 3000981940131/7005022379351*c_1001_1^10 - 2616241645206/7005022379351*c_1001_1^9 - 24911816027530/7005022379351*c_1001_1^8 + 1905595015671/7005022379351*c_1001_1^7 - 14355328260807/7005022379351*c_1001_1^6 + 39186691927239/7005022379351*c_1001_1^5 - 43329836149933/7005022379351*c_1001_1^4 + 51748434518638/7005022379351*c_1001_1^3 - 770166478991/7005022379351*c_1001_1^2 + 29272946496336/7005022379351*c_1001_1 + 792824452566/7005022379351, c_0101_6 - 52355423243561/7005022379351*c_1001_1^11 + 38707894271625/7005022379351*c_1001_1^10 + 61892213975923/7005022379351*c_1001_1^9 + 87749043013166/7005022379351*c_1001_1^8 - 248200404024098/7005022379351*c_1001_1^7 + 349360534305874/7005022379351*c_1001_1^6 - 388644741846253/7005022379351*c_1001_1^5 + 297011427720652/7005022379351*c_1001_1^4 - 312282955982733/7005022379351*c_1001_1^3 + 104994540921853/7005022379351*c_1001_1^2 - 61418462807470/7005022379351*c_1001_1 + 16097564133696/7005022379351, c_0110_9 + 61005431682858/7005022379351*c_1001_1^11 - 18070096178146/7005022379351*c_1001_1^10 - 91479426254021/7005022379351*c_1001_1^9 - 140679956350931/7005022379351*c_1001_1^8 + 250785347092635/7005022379351*c_1001_1^7 - 272054256468547/7005022379351*c_1001_1^6 + 277326740306120/7005022379351*c_1001_1^5 - 188534331930756/7005022379351*c_1001_1^4 + 268645496093139/7005022379351*c_1001_1^3 - 11371223291325/7005022379351*c_1001_1^2 + 53020981050605/7005022379351*c_1001_1 - 15222720518901/7005022379351, c_1001_0 + 56954523096568/7005022379351*c_1001_1^11 - 34427336520196/7005022379351*c_1001_1^10 - 72288365996237/7005022379351*c_1001_1^9 - 104136093993269/7005022379351*c_1001_1^8 + 260496257724626/7005022379351*c_1001_1^7 - 345496822881389/7005022379351*c_1001_1^6 + 364965290765074/7005022379351*c_1001_1^5 - 279150849528401/7005022379351*c_1001_1^4 + 314312494409470/7005022379351*c_1001_1^3 - 81186458243448/7005022379351*c_1001_1^2 + 63341787661347/7005022379351*c_1001_1 - 16274629866553/7005022379351, c_1001_1^12 - 11/17*c_1001_1^11 - 21/17*c_1001_1^10 - 31/17*c_1001_1^9 + 79/17*c_1001_1^8 - 106/17*c_1001_1^7 + 116/17*c_1001_1^6 - 91/17*c_1001_1^5 + 6*c_1001_1^4 - 33/17*c_1001_1^3 + 24/17*c_1001_1^2 - 9/17*c_1001_1 + 1/17 ], Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0011_6, c_0011_8, c_0101_0, c_0101_1, c_0101_6, c_0110_9, c_1001_0, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t + 6043138588001577/190755524453120*c_1001_1^12 + 56130666948611601/190755524453120*c_1001_1^11 + 15204286904729219/17341411313920*c_1001_1^10 + 17995582579333671/95377762226560*c_1001_1^9 - 12956491448728163/3288888352640*c_1001_1^8 - 80013675693223663/11922220278320*c_1001_1^7 + 2230254348156495/3468282262784*c_1001_1^6 + 1161369328974849173/95377762226560*c_1001_1^5 + 282865891631452529/23844440556640*c_1001_1^4 - 303210170740109861/190755524453120*c_1001_1^3 - 2356512357998038319/190755524453120*c_1001_1^2 - 972610491217812993/95377762226560*c_1001_1 - 682400599165675421/190755524453120, c_0011_0 - 1, c_0011_10 - 1545917/22678235*c_1001_1^12 - 12162001/22678235*c_1001_1^11 - 26449644/22678235*c_1001_1^10 + 22626583/22678235*c_1001_1^9 + 156175764/22678235*c_1001_1^8 + 137268213/22678235*c_1001_1^7 - 35943696/4535647*c_1001_1^6 - 380734271/22678235*c_1001_1^5 - 128112867/22678235*c_1001_1^4 + 231274816/22678235*c_1001_1^3 + 308336899/22678235*c_1001_1^2 + 129593521/22678235*c_1001_1 - 2652804/22678235, c_0011_11 + 851569/22678235*c_1001_1^12 + 3746552/22678235*c_1001_1^11 - 3203867/22678235*c_1001_1^10 - 29831526/22678235*c_1001_1^9 - 8060913/22678235*c_1001_1^8 + 79732049/22678235*c_1001_1^7 + 10180645/4535647*c_1001_1^6 - 70535103/22678235*c_1001_1^5 - 84495596/22678235*c_1001_1^4 - 3698707/22678235*c_1001_1^3 + 56149397/22678235*c_1001_1^2 + 11321213/22678235*c_1001_1 - 4019017/22678235, c_0011_3 + 117463/4535647*c_1001_1^12 + 392954/4535647*c_1001_1^11 - 1444514/4535647*c_1001_1^10 - 6196268/4535647*c_1001_1^9 + 1614765/4535647*c_1001_1^8 + 24746433/4535647*c_1001_1^7 + 14750297/4535647*c_1001_1^6 - 30133961/4535647*c_1001_1^5 - 41824597/4535647*c_1001_1^4 - 5145298/4535647*c_1001_1^3 + 33779600/4535647*c_1001_1^2 + 23335751/4535647*c_1001_1 + 6285373/4535647, c_0011_6 + 2531721/22678235*c_1001_1^12 + 18188663/22678235*c_1001_1^11 + 32293432/22678235*c_1001_1^10 - 53076194/22678235*c_1001_1^9 - 221605977/22678235*c_1001_1^8 - 111241839/22678235*c_1001_1^7 + 68756072/4535647*c_1001_1^6 + 466486893/22678235*c_1001_1^5 - 16556989/22678235*c_1001_1^4 - 427654168/22678235*c_1001_1^3 - 302631247/22678235*c_1001_1^2 - 30665448/22678235*c_1001_1 + 43826502/22678235, c_0011_8 - 76396/4535647*c_1001_1^12 - 385698/4535647*c_1001_1^11 + 61535/4535647*c_1001_1^10 + 2999629/4535647*c_1001_1^9 + 2657752/4535647*c_1001_1^8 - 8192631/4535647*c_1001_1^7 - 9969522/4535647*c_1001_1^6 + 9988951/4535647*c_1001_1^5 + 13915193/4535647*c_1001_1^4 - 2876134/4535647*c_1001_1^3 - 11122030/4535647*c_1001_1^2 - 4440459/4535647*c_1001_1 + 3077935/4535647, c_0101_0 + 1, c_0101_1 + 791227/22678235*c_1001_1^12 + 3247171/22678235*c_1001_1^11 - 7167621/22678235*c_1001_1^10 - 41769873/22678235*c_1001_1^9 + 1148511/22678235*c_1001_1^8 + 161364652/22678235*c_1001_1^7 + 19556366/4535647*c_1001_1^6 - 212133159/22678235*c_1001_1^5 - 244645983/22678235*c_1001_1^4 + 9804934/22678235*c_1001_1^3 + 218092651/22678235*c_1001_1^2 + 113389679/22678235*c_1001_1 - 2957081/22678235, c_0101_6 - 983921/22678235*c_1001_1^12 - 6496273/22678235*c_1001_1^11 - 10524687/22678235*c_1001_1^10 + 17679059/22678235*c_1001_1^9 + 72072352/22678235*c_1001_1^8 + 50275409/22678235*c_1001_1^7 - 19034913/4535647*c_1001_1^6 - 195573033/22678235*c_1001_1^5 - 50051151/22678235*c_1001_1^4 + 167671243/22678235*c_1001_1^3 + 149770657/22678235*c_1001_1^2 + 50234873/22678235*c_1001_1 - 19098357/22678235, c_0110_9 - 851569/22678235*c_1001_1^12 - 3746552/22678235*c_1001_1^11 + 3203867/22678235*c_1001_1^10 + 29831526/22678235*c_1001_1^9 + 8060913/22678235*c_1001_1^8 - 79732049/22678235*c_1001_1^7 - 10180645/4535647*c_1001_1^6 + 70535103/22678235*c_1001_1^5 + 84495596/22678235*c_1001_1^4 + 3698707/22678235*c_1001_1^3 - 56149397/22678235*c_1001_1^2 - 11321213/22678235*c_1001_1 + 4019017/22678235, c_1001_0 + 76396/4535647*c_1001_1^12 + 385698/4535647*c_1001_1^11 - 61535/4535647*c_1001_1^10 - 2999629/4535647*c_1001_1^9 - 2657752/4535647*c_1001_1^8 + 8192631/4535647*c_1001_1^7 + 9969522/4535647*c_1001_1^6 - 9988951/4535647*c_1001_1^5 - 13915193/4535647*c_1001_1^4 + 2876134/4535647*c_1001_1^3 + 11122030/4535647*c_1001_1^2 + 4440459/4535647*c_1001_1 - 3077935/4535647, c_1001_1^13 + 9*c_1001_1^12 + 25*c_1001_1^11 - 2*c_1001_1^10 - 126*c_1001_1^9 - 176*c_1001_1^8 + 81*c_1001_1^7 + 378*c_1001_1^6 + 264*c_1001_1^5 - 157*c_1001_1^4 - 375*c_1001_1^3 - 210*c_1001_1^2 - 21*c_1001_1 + 32 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 2.030 Total time: 2.240 seconds, Total memory usage: 32.09MB