Magma V2.19-8 Tue Aug 20 2013 23:51:04 on localhost [Seed = 2968968119] Type ? for help. Type -D to quit. Loading file "L13a5029__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L13a5029 geometric_solution 10.72632970 oriented_manifold CS_known -0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 0 0 1 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 0 3 1 -4 0 0 0 0 4 -3 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.043959303058 0.647246930535 0 3 6 5 0132 2103 0132 0132 0 0 0 1 0 0 1 -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 0 -3 3 0 0 0 0 1 -1 0 0 -4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.307186083688 1.137944646630 3 0 4 7 2103 0132 2103 0132 0 0 0 1 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 -3 0 3 -1 0 0 1 0 0 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.378755969208 1.517733813795 6 1 2 0 0132 2103 2103 0132 0 0 0 1 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 1 0 -1 -1 0 1 0 1 0 0 -1 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.596877832279 0.536024923467 2 8 0 8 2103 0132 0132 1302 0 0 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 0 0 0 -1 4 -3 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.562445697233 1.086871988842 9 7 1 9 0132 3120 0132 2031 0 0 1 0 0 -1 1 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 3 -3 0 0 0 0 0 0 1 0 -1 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.391975785231 0.631094260160 3 9 10 1 0132 1230 0132 0132 0 0 1 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 0 -3 0 3 1 0 -1 0 3 1 0 -4 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.391975785231 0.631094260160 8 5 2 8 0321 3120 0132 1023 0 0 1 0 0 -1 1 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 3 -3 0 0 0 -1 1 0 -1 0 1 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.624444296629 0.725725125558 7 4 4 7 0321 0132 2031 1023 0 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 0 0 0 0 0 0 0 0 1 0 -1 -3 0 3 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.624444296629 0.725725125558 5 5 6 10 0132 1302 3012 1302 0 0 0 1 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 -1 1 0 0 3 -3 -3 0 0 3 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.289802421650 1.143442100668 11 11 9 6 0132 3201 2031 0132 0 0 0 0 0 -1 1 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 3 -3 0 0 0 -1 1 0 0 0 0 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.344100412442 2.040302838285 10 11 10 11 0132 2310 2310 3201 0 0 0 0 0 -1 0 1 0 0 0 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 3 0 -3 0 0 0 0 3 0 0 -3 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.530882373131 0.448845298268 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_1'], 'c_1001_11' : d['c_0101_10'], 'c_1001_10' : negation(d['c_0101_0']), 'c_1001_5' : negation(d['c_1001_0']), 'c_1001_4' : d['c_0011_4'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : negation(d['c_0101_10']), 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0011_0']), 'c_1001_2' : d['c_0011_4'], 'c_1001_9' : d['c_0011_3'], 'c_1001_8' : negation(d['c_0110_4']), 'c_1010_11' : negation(d['c_0101_10']), 'c_1010_10' : negation(d['c_0101_10']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_0'], '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_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_1100_9' : d['c_0101_10'], 'c_1100_8' : d['c_0110_4'], 'c_1100_5' : negation(d['c_1010_9']), 'c_1100_4' : negation(d['c_0101_7']), 'c_1100_7' : negation(d['c_0110_4']), 'c_1100_6' : negation(d['c_1010_9']), 'c_1100_1' : negation(d['c_1010_9']), 'c_1100_0' : negation(d['c_0101_7']), 'c_1100_3' : negation(d['c_0101_7']), 'c_1100_2' : negation(d['c_0110_4']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_10'], 'c_1100_10' : negation(d['c_1010_9']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_5']), 'c_1010_6' : d['c_0011_3'], 'c_1010_5' : negation(d['c_0011_5']), 'c_1010_4' : negation(d['c_0110_4']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_1001_0']), 'c_1010_0' : d['c_0011_4'], 'c_1010_9' : d['c_1010_9'], 'c_1010_8' : d['c_0011_4'], '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'], '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_5']), 'c_0011_8' : negation(d['c_0011_4']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_5'], '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' : d['c_0101_10'], 'c_0110_10' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_3'], 'c_0101_8' : negation(d['c_0101_7']), 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_0'], 'c_0110_8' : negation(d['c_0011_5']), 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : negation(d['c_0011_10']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : d['c_0011_3'], 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : d['c_0011_4'], 'c_0011_10' : d['c_0011_10']})} 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_3, c_0011_4, c_0011_5, c_0101_0, c_0101_1, c_0101_10, c_0101_7, c_0110_4, c_1001_0, c_1010_9 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 1 Groebner basis: [ t - 729/16, c_0011_0 - 1, c_0011_10 + 2/3, c_0011_3 + 1, c_0011_4 + 1, c_0011_5 - 1, c_0101_0 - 1, c_0101_1 + 1, c_0101_10 - 1/3, c_0101_7 - 2/3, c_0110_4 - 1/3, c_1001_0 - 1/3, c_1010_9 - 4/3 ], Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_4, c_0011_5, c_0101_0, c_0101_1, c_0101_10, c_0101_7, c_0110_4, c_1001_0, c_1010_9 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 535312334213150503001951/5275831829708201401525*c_1010_9^19 - 670362669173759140740784/310343048806364788325*c_1010_9^18 + 232519684540191850480514/10833330245807395075*c_1010_9^17 - 709148961480828924584220121/5275831829708201401525*c_1010_9^16 + 186061215799540641218514481/310343048806364788325*c_1010_9^15 - 10720601607552527137451383542/5275831829708201401525*c_1010_9^14 + 28699588019566123292354247756/5275831829708201401525*c_1010_9^13 - 62185391497507555174499792387/5275831829708201401525*c_1010_9^12 + 110762244634736641524379232766/5275831829708201401525*c_1010_9^11 - 163659857838018894465251642102/5275831829708201401525*c_1010_9^10 + 40276535533018328524228171018/1055166365941640280305*c_1010_9^9 - 206146847431246121637999592161/5275831829708201401525*c_1010_9^8 + 174437181005161364031123458184/5275831829708201401525*c_1010_9^7 - 120441709930041632042709188138/5275831829708201401525*c_1010_9^6 + 66361741834113093136297080878/5275831829708201401525*c_1010_9^5 - 28112268943844250707312570751/5275831829708201401525*c_1010_9^4 + 8577618701022754481827409238/5275831829708201401525*c_1010_9^3 - 1653699139407754815966523744/5275831829708201401525*c_1010_9^2 + 27776344589853223321437983/1055166365941640280305*c_1010_9 + 4141892953734410209148004/5275831829708201401525, c_0011_0 - 1, c_0011_10 - 9691913626813271/914282238653675*c_1010_9^19 + 227341256709821918/914282238653675*c_1010_9^18 - 2501716022370295808/914282238653675*c_1010_9^17 + 17372914702825460996/914282238653675*c_1010_9^16 - 85972641752451527312/914282238653675*c_1010_9^15 + 323595797863676116552/914282238653675*c_1010_9^14 - 963699113372185836746/914282238653675*c_1010_9^13 + 2329255891634435872742/914282238653675*c_1010_9^12 - 4646038210955493158941/914282238653675*c_1010_9^11 + 7729548736963860497412/914282238653675*c_1010_9^10 - 2157833606534390703542/182856447730735*c_1010_9^9 + 12656869383293894153066/914282238653675*c_1010_9^8 - 12448032013164759475249/914282238653675*c_1010_9^7 + 10190596080162989562248/914282238653675*c_1010_9^6 - 6853603261046728239228/914282238653675*c_1010_9^5 + 3705740815873119181106/914282238653675*c_1010_9^4 - 1555323097590569903633/914282238653675*c_1010_9^3 + 477305475351881244994/914282238653675*c_1010_9^2 - 19104903126058067864/182856447730735*c_1010_9 + 9357501085561729656/914282238653675, c_0011_3 + 48724577957205003/4571411193268375*c_1010_9^19 - 1137479423054591989/4571411193268375*c_1010_9^18 + 12465461911970409684/4571411193268375*c_1010_9^17 - 86266919201413267143/4571411193268375*c_1010_9^16 + 425650226125381720376/4571411193268375*c_1010_9^15 - 1597942691209544169096/4571411193268375*c_1010_9^14 + 4747352633205109375538/4571411193268375*c_1010_9^13 - 11447726287347253514551/4571411193268375*c_1010_9^12 + 22781391327523530802053/4571411193268375*c_1010_9^11 - 37811073117682075471751/4571411193268375*c_1010_9^10 + 10529142047814085525163/914282238653675*c_1010_9^9 - 61591997462642554612768/4571411193268375*c_1010_9^8 + 60394920677320968883612/4571411193268375*c_1010_9^7 - 49276266904893305248139/4571411193268375*c_1010_9^6 + 33012387785674718483099/4571411193268375*c_1010_9^5 - 17768744476677433175113/4571411193268375*c_1010_9^4 + 7416806719076841474974/4571411193268375*c_1010_9^3 - 2260601460601996792277/4571411193268375*c_1010_9^2 + 3587560460579832860/36571289546147*c_1010_9 - 43414441650039050378/4571411193268375, c_0011_4 - 21628134160066868/4571411193268375*c_1010_9^19 + 499131354089244459/4571411193268375*c_1010_9^18 - 5420004939877157004/4571411193268375*c_1010_9^17 + 37275319065037526433/4571411193268375*c_1010_9^16 - 183277535418729000856/4571411193268375*c_1010_9^15 + 687297274932549509426/4571411193268375*c_1010_9^14 - 2043960188351817917478/4571411193268375*c_1010_9^13 + 4942811260277921527931/4571411193268375*c_1010_9^12 - 9880364471038525306893/4571411193268375*c_1010_9^11 + 16496164100653415701231/4571411193268375*c_1010_9^10 - 4627149009269473152083/914282238653675*c_1010_9^9 + 27300005682062027677158/4571411193268375*c_1010_9^8 - 27034608392404549459272/4571411193268375*c_1010_9^7 + 22306532604211642903009/4571411193268375*c_1010_9^6 - 15135669528278289846319/4571411193268375*c_1010_9^5 + 8265494666041662340353/4571411193268375*c_1010_9^4 - 3507715638225257645969/4571411193268375*c_1010_9^3 + 1089819517734668820337/4571411193268375*c_1010_9^2 - 8844012891990240459/182856447730735*c_1010_9 + 21982900865052054418/4571411193268375, c_0011_5 - 63873572134354514/4571411193268375*c_1010_9^19 + 1456198658264776007/4571411193268375*c_1010_9^18 - 15580041851257916292/4571411193268375*c_1010_9^17 + 105348394858843155434/4571411193268375*c_1010_9^16 - 508434044853872808113/4571411193268375*c_1010_9^15 + 1869069837050825618223/4571411193268375*c_1010_9^14 - 5443192220908597581994/4571411193268375*c_1010_9^13 + 12878843947837547054663/4571411193268375*c_1010_9^12 - 25169295095577337188264/4571411193268375*c_1010_9^11 + 41056132638326307188988/4571411193268375*c_1010_9^10 - 11243712285877008186374/914282238653675*c_1010_9^9 + 64720313026305544862409/4571411193268375*c_1010_9^8 - 62475540323265310682931/4571411193268375*c_1010_9^7 + 50198131133355516168482/4571411193268375*c_1010_9^6 - 33126171186531646165137/4571411193268375*c_1010_9^5 + 17565768626145063812644/4571411193268375*c_1010_9^4 - 7224393188867936142412/4571411193268375*c_1010_9^3 + 2170051311051126570651/4571411193268375*c_1010_9^2 - 16978386315464015439/182856447730735*c_1010_9 + 40570324960586185439/4571411193268375, c_0101_0 - 1, c_0101_1 + 63873572134354514/4571411193268375*c_1010_9^19 - 1456198658264776007/4571411193268375*c_1010_9^18 + 15580041851257916292/4571411193268375*c_1010_9^17 - 105348394858843155434/4571411193268375*c_1010_9^16 + 508434044853872808113/4571411193268375*c_1010_9^15 - 1869069837050825618223/4571411193268375*c_1010_9^14 + 5443192220908597581994/4571411193268375*c_1010_9^13 - 12878843947837547054663/4571411193268375*c_1010_9^12 + 25169295095577337188264/4571411193268375*c_1010_9^11 - 41056132638326307188988/4571411193268375*c_1010_9^10 + 11243712285877008186374/914282238653675*c_1010_9^9 - 64720313026305544862409/4571411193268375*c_1010_9^8 + 62475540323265310682931/4571411193268375*c_1010_9^7 - 50198131133355516168482/4571411193268375*c_1010_9^6 + 33126171186531646165137/4571411193268375*c_1010_9^5 - 17565768626145063812644/4571411193268375*c_1010_9^4 + 7224393188867936142412/4571411193268375*c_1010_9^3 - 2170051311051126570651/4571411193268375*c_1010_9^2 + 16978386315464015439/182856447730735*c_1010_9 - 40570324960586185439/4571411193268375, c_0101_10 + 5373513806506426/914282238653675*c_1010_9^19 - 122449568131093178/914282238653675*c_1010_9^18 + 1308663533991911818/914282238653675*c_1010_9^17 - 8830852749149979721/914282238653675*c_1010_9^16 + 42483598385304514902/914282238653675*c_1010_9^15 - 155475535529973819817/914282238653675*c_1010_9^14 + 450124945493196588556/914282238653675*c_1010_9^13 - 1057177806791169280612/914282238653675*c_1010_9^12 + 2047543678677773823566/914282238653675*c_1010_9^11 - 3304211255149142469877/914282238653675*c_1010_9^10 + 893465974431677661018/182856447730735*c_1010_9^9 - 5066594304838290102411/914282238653675*c_1010_9^8 + 4805579976295259568484/914282238653675*c_1010_9^7 - 3781664689800478259363/914282238653675*c_1010_9^6 + 2434202238755435676478/914282238653675*c_1010_9^5 - 1252357183586946920226/914282238653675*c_1010_9^4 + 496138065534605981188/914282238653675*c_1010_9^3 - 142102982066533352569/914282238653675*c_1010_9^2 + 5223359167980197648/182856447730735*c_1010_9 - 2297977271348658446/914282238653675, c_0101_7 - 5419288759427627/914282238653675*c_1010_9^19 + 127669613793069506/914282238653675*c_1010_9^18 - 1409091394418650536/914282238653675*c_1010_9^17 + 9798320027275148142/914282238653675*c_1010_9^16 - 48474538141330543904/914282238653675*c_1010_9^15 + 182129083255398931934/914282238653675*c_1010_9^14 - 540678488970658291612/914282238653675*c_1010_9^13 + 1300983005413866397324/914282238653675*c_1010_9^12 - 2580205371297001099032/914282238653675*c_1010_9^11 + 4262981803405731954104/914282238653675*c_1010_9^10 - 1180398607708922474616/182856447730735*c_1010_9^9 + 6858398356116105387122/914282238653675*c_1010_9^8 - 6672062456983283884868/914282238653675*c_1010_9^7 + 5393946860136332469026/914282238653675*c_1010_9^6 - 3575343651479285727356/914282238653675*c_1010_9^5 + 1900649962127154166952/914282238653675*c_1010_9^4 - 781818216170316765801/914282238653675*c_1010_9^3 + 234156388573465594388/914282238653675*c_1010_9^2 - 9093606554461193106/182856447730735*c_1010_9 + 4286308156997399192/914282238653675, c_0110_4 + 5896214177898828/914282238653675*c_1010_9^19 - 134535536112163319/914282238653675*c_1010_9^18 + 1445416172207295414/914282238653675*c_1010_9^17 - 9846777139147324723/914282238653675*c_1010_9^16 + 48014372456601987846/914282238653675*c_1010_9^15 - 178758830922467193041/914282238653675*c_1010_9^14 + 528307821928091115608/914282238653675*c_1010_9^13 - 1270795953134182299741/914282238653675*c_1010_9^12 + 2528878568504071824608/914282238653675*c_1010_9^11 - 4206621923347998875521/914282238653675*c_1010_9^10 + 1176481232702732338322/182856447730735*c_1010_9^9 - 6925853710726720402928/914282238653675*c_1010_9^8 + 6848456008420629348472/914282238653675*c_1010_9^7 - 5646914665054098449014/914282238653675*c_1010_9^6 + 3832456647884128556814/914282238653675*c_1010_9^5 - 2095615178059961694698/914282238653675*c_1010_9^4 + 891745417802043816284/914282238653675*c_1010_9^3 - 278343416613626372772/914282238653675*c_1010_9^2 + 11378444398577992806/182856447730735*c_1010_9 - 5721570298383006668/914282238653675, c_1001_0 - 12112821547970122/914282238653675*c_1010_9^19 + 279102319416815556/914282238653675*c_1010_9^18 - 3019055876991053036/914282238653675*c_1010_9^17 + 20634231026093219877/914282238653675*c_1010_9^16 - 100612256216222385104/914282238653675*c_1010_9^15 + 373477865247047009759/914282238653675*c_1010_9^14 - 1097688229767461515592/914282238653675*c_1010_9^13 + 2619724555232224181059/914282238653675*c_1010_9^12 - 5161537199660078610242/914282238653675*c_1010_9^11 + 8484031256408946243179/914282238653675*c_1010_9^10 - 2340181108460159708518/182856447730735*c_1010_9^9 + 13561470773455208546997/914282238653675*c_1010_9^8 - 13174132605570758963028/914282238653675*c_1010_9^7 + 10647977662635841952111/914282238653675*c_1010_9^6 - 7065322762906170430086/914282238653675*c_1010_9^5 + 3765279196806504615852/914282238653675*c_1010_9^4 - 1555371827113692820116/914282238653675*c_1010_9^3 + 468848459201550657603/914282238653675*c_1010_9^2 - 18381612932279630854/182856447730735*c_1010_9 + 8785746556423668457/914282238653675, c_1010_9^20 - 170/7*c_1010_9^19 + 1948/7*c_1010_9^18 - 2022*c_1010_9^17 + 73593/7*c_1010_9^16 - 292192/7*c_1010_9^15 + 921600/7*c_1010_9^14 - 2369278/7*c_1010_9^13 + 5050575/7*c_1010_9^12 - 9028848/7*c_1010_9^11 + 13629578/7*c_1010_9^10 - 17428462/7*c_1010_9^9 + 18871102/7*c_1010_9^8 - 2461576*c_1010_9^7 + 1879344*c_1010_9^6 - 1182722*c_1010_9^5 + 4198865/7*c_1010_9^4 - 1655520/7*c_1010_9^3 + 477636/7*c_1010_9^2 - 89882/7*c_1010_9 + 8279/7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.120 Total time: 0.340 seconds, Total memory usage: 32.09MB