Magma V2.19-8 Wed Aug 21 2013 00:16:06 on localhost [Seed = 1124413047] Type ? for help. Type -D to quit. Loading file "K13n4804__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n4804 geometric_solution 11.86045940 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 0 1 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 14 0 -14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.088532878670 0.941875571899 0 5 5 4 0132 0132 1023 1230 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 -14 14 0 0 0 14 -14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.750027741564 0.959625124006 6 0 7 3 0132 0132 0132 3120 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 1 -1 0 -1 0 1 0 -13 0 0 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.378772653660 0.503913746477 2 8 9 0 3120 0132 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 -13 -1 0 14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.244115900901 0.443058063489 1 6 0 10 3012 0213 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 -1 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 1.076994352296 0.750259489936 11 1 1 12 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 -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 0 0 0 0 0 0 0 14 -14 0 0 0 -14 14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.937293872992 0.589365107558 2 11 4 9 0132 0132 0213 3120 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 1 0 -1 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.146415206960 1.377256622893 8 12 8 2 2310 2031 1302 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 0 0 1 -1 -13 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.219884240228 0.872482033221 7 3 7 11 2031 0132 3201 1302 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 1 0 13 -14 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.219884240228 0.872482033221 6 12 10 3 3120 0321 2310 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 1.288180355344 2.089493590334 10 9 4 10 3201 3201 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.396471370712 0.700984693650 5 6 8 12 0132 0132 2031 2031 0 0 0 0 0 0 0 0 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 -14 0 14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.666331225888 0.601685431032 7 11 5 9 1302 1302 0132 0321 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 -13 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.927487367202 0.625705635832 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_2'], 'c_1001_11' : negation(d['c_0011_9']), 'c_1001_10' : negation(d['c_0101_9']), 'c_1001_12' : d['c_0101_5'], 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : d['c_0011_12'], 'c_1001_7' : d['c_0011_9'], 'c_1001_6' : d['c_0011_12'], 'c_1001_1' : d['c_0101_5'], 'c_1001_0' : negation(d['c_0011_3']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_0011_12'], 'c_1001_9' : negation(d['c_0101_10']), 'c_1001_8' : negation(d['c_0011_3']), 'c_1010_12' : d['c_1001_3'], 'c_1010_11' : d['c_0011_12'], 'c_1010_10' : d['c_0101_10'], 's_3_11' : 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' : negation(d['c_0011_7']), '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' : negation(d['c_0011_0']), 'c_1100_8' : negation(d['c_0011_7']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_10']), 'c_1100_4' : d['c_0011_10'], 'c_1100_7' : negation(d['c_0101_2']), 'c_1100_6' : negation(d['c_0101_9']), 'c_1100_1' : d['c_0101_10'], 'c_1100_0' : d['c_0011_10'], 'c_1100_3' : d['c_0011_10'], 'c_1100_2' : negation(d['c_0101_2']), 's_0_10' : d['1'], 'c_1100_9' : d['c_0011_10'], 'c_1100_11' : negation(d['c_1001_3']), 'c_1100_10' : d['c_0011_10'], 's_3_10' : d['1'], 'c_1010_7' : d['c_0011_12'], 'c_1010_6' : negation(d['c_0011_9']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0101_9']), 'c_1010_3' : negation(d['c_0011_3']), 'c_1010_2' : negation(d['c_0011_3']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : d['c_0011_12'], 'c_1010_9' : d['c_1001_3'], 'c_1010_8' : d['c_1001_3'], '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_0101_10']), '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' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_0'], '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_5'], 'c_0110_10' : negation(d['c_0101_10']), 'c_0110_12' : negation(d['c_0011_9']), 'c_0101_12' : negation(d['c_0011_7']), 'c_0101_7' : d['c_0011_3'], 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_5'], '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_0011_4'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : negation(d['c_0101_2']), '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_0011_9'], 'c_0110_1' : d['c_0011_4'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : d['c_0011_4'], 'c_0110_5' : negation(d['c_0011_7']), 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_2'], 'c_0011_10' : d['c_0011_10']})} 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_4, c_0011_7, c_0011_9, c_0101_1, c_0101_10, c_0101_2, c_0101_5, c_0101_9, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 9 Groebner basis: [ t - 35164086107797/161832357973*c_1001_3^8 + 5563389968883/12448642921*c_1001_3^7 + 36964020431436/14712032543*c_1001_3^6 + 559715198743742/161832357973*c_1001_3^5 + 10993942728330/5580426137*c_1001_3^4 + 114864684834982/161832357973*c_1001_3^3 + 188004322064926/161832357973*c_1001_3^2 + 206884434672139/161832357973*c_1001_3 + 89432385615858/161832357973, c_0011_0 - 1, c_0011_10 + 7/17*c_1001_3^8 - 10/17*c_1001_3^7 - 120/17*c_1001_3^6 - 53/17*c_1001_3^5 + 67/17*c_1001_3^4 + 3/17*c_1001_3^3 - 77/17*c_1001_3^2 + 18/17*c_1001_3 + 28/17, c_0011_12 + 15/17*c_1001_3^8 - 19/17*c_1001_3^7 - 262/17*c_1001_3^6 - 150/17*c_1001_3^5 + 129/17*c_1001_3^4 + 55/17*c_1001_3^3 - 148/17*c_1001_3^2 - 27/17*c_1001_3 + 60/17, c_0011_3 + 15/17*c_1001_3^8 - 70/17*c_1001_3^7 - 41/17*c_1001_3^6 + 54/17*c_1001_3^5 + 44/17*c_1001_3^4 - 47/17*c_1001_3^3 - 12/17*c_1001_3^2 + 24/17*c_1001_3 + 9/17, c_0011_4 + 15/17*c_1001_3^8 - 70/17*c_1001_3^7 - 41/17*c_1001_3^6 + 54/17*c_1001_3^5 + 44/17*c_1001_3^4 - 47/17*c_1001_3^3 - 12/17*c_1001_3^2 + 24/17*c_1001_3 + 9/17, c_0011_7 + 6/17*c_1001_3^8 - 11/17*c_1001_3^7 - 81/17*c_1001_3^6 - 77/17*c_1001_3^5 - 30/17*c_1001_3^4 + 5/17*c_1001_3^3 - 32/17*c_1001_3^2 - 4/17*c_1001_3 + 7/17, c_0011_9 - 9/17*c_1001_3^8 + 59/17*c_1001_3^7 - 40/17*c_1001_3^6 - 131/17*c_1001_3^5 - 74/17*c_1001_3^4 + 52/17*c_1001_3^3 - 20/17*c_1001_3^2 - 28/17*c_1001_3 + 15/17, c_0101_1 - 12/17*c_1001_3^8 + 39/17*c_1001_3^7 + 111/17*c_1001_3^6 + 1/17*c_1001_3^5 - 59/17*c_1001_3^4 + 7/17*c_1001_3^3 + 47/17*c_1001_3^2 - 26/17*c_1001_3 - 14/17, c_0101_10 + 15/17*c_1001_3^8 - 70/17*c_1001_3^7 - 41/17*c_1001_3^6 + 54/17*c_1001_3^5 + 44/17*c_1001_3^4 - 47/17*c_1001_3^3 + 5/17*c_1001_3^2 + 24/17*c_1001_3 + 9/17, c_0101_2 - 7/17*c_1001_3^8 + 10/17*c_1001_3^7 + 120/17*c_1001_3^6 + 53/17*c_1001_3^5 - 67/17*c_1001_3^4 - 3/17*c_1001_3^3 + 77/17*c_1001_3^2 - 1/17*c_1001_3 - 28/17, c_0101_5 + 39/17*c_1001_3^8 - 131/17*c_1001_3^7 - 314/17*c_1001_3^6 - 118/17*c_1001_3^5 + 128/17*c_1001_3^4 - 27/17*c_1001_3^3 - 140/17*c_1001_3^2 - 9/17*c_1001_3 + 54/17, c_0101_9 + 56/17*c_1001_3^8 - 216/17*c_1001_3^7 - 348/17*c_1001_3^6 + 18/17*c_1001_3^5 + 213/17*c_1001_3^4 - 95/17*c_1001_3^3 - 89/17*c_1001_3^2 + 59/17*c_1001_3 + 20/17, c_1001_3^9 - 3*c_1001_3^8 - 9*c_1001_3^7 - 7*c_1001_3^6 + c_1001_3^5 + c_1001_3^4 - 3*c_1001_3^3 - 2*c_1001_3^2 + c_1001_3 + 1 ], 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_4, c_0011_7, c_0011_9, c_0101_1, c_0101_10, c_0101_2, c_0101_5, c_0101_9, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t + 23339813349837582708880120487/1820446226621982350697831*c_1001_3^11 + 328143221316717793679787910322/34588478305817664663258789*c_1001_\ 3^10 + 1624806942612322804296368332/74705136729627785449803*c_1001_\ 3^9 + 160246292231263789017797741962/4941211186545380666179827*c_10\ 01_3^8 - 200861037387023903291309282794/11529492768605888221086263*\ c_1001_3^7 + 697476546704555620938979425796/34588478305817664663258\ 789*c_1001_3^6 + 3876329927668037146552832309558/345884783058176646\ 63258789*c_1001_3^5 + 4325089137223100134842909466358/3458847830581\ 7664663258789*c_1001_3^4 + 3851450240346487116453748459300/34588478\ 305817664663258789*c_1001_3^3 + 575957423587453343100739559587/3458\ 8478305817664663258789*c_1001_3^2 - 2607646711925077094403029733509/34588478305817664663258789*c_1001_3 - 476562486297400750208500495576/11529492768605888221086263, c_0011_0 - 1, c_0011_10 - 112952614285944498/252009278122218953*c_1001_3^11 + 29358676132049323/36001325446031279*c_1001_3^10 - 846808560800269/544296497024231*c_1001_3^9 + 389093295326001166/252009278122218953*c_1001_3^8 + 3335929316675444/36001325446031279*c_1001_3^7 - 610340683327341094/252009278122218953*c_1001_3^6 + 39528697072593277/36001325446031279*c_1001_3^5 - 217146500690282179/252009278122218953*c_1001_3^4 + 162728229227022658/252009278122218953*c_1001_3^3 + 430757302100028901/252009278122218953*c_1001_3^2 - 465872246416063311/252009278122218953*c_1001_3 + 9538946108182976/36001325446031279, c_0011_12 - 9590113365194322/252009278122218953*c_1001_3^11 - 568909112382782/36001325446031279*c_1001_3^10 - 22386777883110/544296497024231*c_1001_3^9 - 11531113434289948/252009278122218953*c_1001_3^8 + 1970361681073576/36001325446031279*c_1001_3^7 + 26767469110508950/252009278122218953*c_1001_3^6 - 16195458327723950/36001325446031279*c_1001_3^5 + 26945442311723423/252009278122218953*c_1001_3^4 + 3242413314714710/252009278122218953*c_1001_3^3 + 144532341499832773/252009278122218953*c_1001_3^2 + 8768250778898654/252009278122218953*c_1001_3 + 4901479913869785/36001325446031279, c_0011_3 + 447342905266868783/252009278122218953*c_1001_3^11 - 49995758906453670/36001325446031279*c_1001_3^10 + 1761232628881573/544296497024231*c_1001_3^9 + 15643295249267844/252009278122218953*c_1001_3^8 - 203716104034900664/36001325446031279*c_1001_3^7 + 2534240358154373383/252009278122218953*c_1001_3^6 + 200011960228981176/36001325446031279*c_1001_3^5 + 490119619457221205/252009278122218953*c_1001_3^4 + 872337613220532159/252009278122218953*c_1001_3^3 - 2401110584749184162/252009278122218953*c_1001_3^2 - 319844162852133971/252009278122218953*c_1001_3 + 206157376708522904/36001325446031279, c_0011_4 - 235753600513479032/252009278122218953*c_1001_3^11 + 13017993189260769/36001325446031279*c_1001_3^10 - 553807334615244/544296497024231*c_1001_3^9 - 316720262695918247/252009278122218953*c_1001_3^8 + 152098365698440153/36001325446031279*c_1001_3^7 - 1250744759561681074/252009278122218953*c_1001_3^6 - 190140593424443470/36001325446031279*c_1001_3^5 + 39140954889171893/252009278122218953*c_1001_3^4 - 712788522100186528/252009278122218953*c_1001_3^3 + 1459287615995768772/252009278122218953*c_1001_3^2 + 610543524085700512/252009278122218953*c_1001_3 - 144184644329022839/36001325446031279, c_0011_7 - 353243163921191315/252009278122218953*c_1001_3^11 + 56109644005013654/36001325446031279*c_1001_3^10 - 1859054791161432/544296497024231*c_1001_3^9 + 388589607503571017/252009278122218953*c_1001_3^8 + 103132909159098935/36001325446031279*c_1001_3^7 - 2087248619384766903/252009278122218953*c_1001_3^6 - 51432994717954997/36001325446031279*c_1001_3^5 - 780433199898715512/252009278122218953*c_1001_3^4 - 332450232962209744/252009278122218953*c_1001_3^3 + 1998643234869396056/252009278122218953*c_1001_3^2 - 419640384264262335/252009278122218953*c_1001_3 - 113349572944788720/36001325446031279, c_0011_9 + 15941798602786704/252009278122218953*c_1001_3^11 - 1031841662810035/36001325446031279*c_1001_3^10 - 53078466635627/544296497024231*c_1001_3^9 + 32068777138611987/252009278122218953*c_1001_3^8 - 18488036826664756/36001325446031279*c_1001_3^7 - 4232953896328615/252009278122218953*c_1001_3^6 + 39531193206893406/36001325446031279*c_1001_3^5 - 288451415180424716/252009278122218953*c_1001_3^4 - 91296515239653583/252009278122218953*c_1001_3^3 + 54080463062658241/252009278122218953*c_1001_3^2 - 277450545008664029/252009278122218953*c_1001_3 + 12636289316615453/36001325446031279, c_0101_1 + 62476110585380677/252009278122218953*c_1001_3^11 + 10784174841178150/36001325446031279*c_1001_3^10 - 313792770288040/544296497024231*c_1001_3^9 + 481486960659981720/252009278122218953*c_1001_3^8 - 102574781758430135/36001325446031279*c_1001_3^7 + 406674234706269218/252009278122218953*c_1001_3^6 + 136174672842642176/36001325446031279*c_1001_3^5 - 390094704903523820/252009278122218953*c_1001_3^4 + 383788602360709867/252009278122218953*c_1001_3^3 - 529950899443006348/252009278122218953*c_1001_3^2 - 547284062102319211/252009278122218953*c_1001_3 + 96454964297671451/36001325446031279, c_0101_10 + 296014210871325470/252009278122218953*c_1001_3^11 - 25337075587253377/36001325446031279*c_1001_3^10 + 979565000449978/544296497024231*c_1001_3^9 + 189606309417093344/252009278122218953*c_1001_3^8 - 154954968426310195/36001325446031279*c_1001_3^7 + 1659488183294245779/252009278122218953*c_1001_3^6 + 190344241993492163/36001325446031279*c_1001_3^5 + 169771106864685171/252009278122218953*c_1001_3^4 + 867331809954555468/252009278122218953*c_1001_3^3 - 1623172342300622741/252009278122218953*c_1001_3^2 - 681905327290535547/252009278122218953*c_1001_3 + 171148267584067964/36001325446031279, c_0101_2 - 118518247429411675/252009278122218953*c_1001_3^11 + 15672492061928916/36001325446031279*c_1001_3^10 - 534541125930215/544296497024231*c_1001_3^9 + 79747794664276817/252009278122218953*c_1001_3^8 + 38400266869660187/36001325446031279*c_1001_3^7 - 577364276203646392/252009278122218953*c_1001_3^6 - 56843693172403645/36001325446031279*c_1001_3^5 - 58871193751153958/252009278122218953*c_1001_3^4 - 114831543913575025/252009278122218953*c_1001_3^3 + 727844606178920970/252009278122218953*c_1001_3^2 + 118703913370300289/252009278122218953*c_1001_3 - 58587559377620471/36001325446031279, c_0101_5 - 283655528703964750/252009278122218953*c_1001_3^11 + 25624681763631969/36001325446031279*c_1001_3^10 - 916019301861399/544296497024231*c_1001_3^9 - 191941106647621265/252009278122218953*c_1001_3^8 + 156162881775964222/36001325446031279*c_1001_3^7 - 1663402364188452577/252009278122218953*c_1001_3^6 - 162241497974903832/36001325446031279*c_1001_3^5 - 112220427131145855/252009278122218953*c_1001_3^4 - 540095280166340788/252009278122218953*c_1001_3^3 + 1616306209696254511/252009278122218953*c_1001_3^2 + 265352951647651324/252009278122218953*c_1001_3 - 153526216763301731/36001325446031279, c_0101_9 + 596052901964378085/252009278122218953*c_1001_3^11 - 63791426132244379/36001325446031279*c_1001_3^10 + 2293784213653120/544296497024231*c_1001_3^9 + 81398231606752287/252009278122218953*c_1001_3^8 - 276815960980709223/36001325446031279*c_1001_3^7 + 3325185304601677310/252009278122218953*c_1001_3^6 + 300511552069711354/36001325446031279*c_1001_3^5 + 470872078356775140/252009278122218953*c_1001_3^4 + 1453861433453798543/252009278122218953*c_1001_3^3 - 3093789722022186186/252009278122218953*c_1001_3^2 - 788002745573606148/252009278122218953*c_1001_3 + 269268549768462696/36001325446031279, c_1001_3^12 + 1/19*c_1001_3^11 + 24/19*c_1001_3^10 + 28/19*c_1001_3^9 - 55/19*c_1001_3^8 + 54/19*c_1001_3^7 + 148/19*c_1001_3^6 + 75/19*c_1001_3^5 + 53/19*c_1001_3^4 - 64/19*c_1001_3^3 - 99/19*c_1001_3^2 + 2*c_1001_3 + 49/19 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 22.960 Total time: 23.170 seconds, Total memory usage: 133.81MB