Magma V2.19-8 Sun Oct 6 2013 11:14:52 on localhost [Seed = 454571866] Type ? for help. Type -D to quit. Loading file "10_115__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation 10_115 geometric_solution 16.63803806 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 18 1 2 3 4 0132 0132 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 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.780637797688 1.026252163958 0 5 2 6 0132 0132 1023 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.426561615404 0.320592813073 7 0 1 8 0132 0132 1023 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.359538653255 2.058851804546 6 9 6 0 0132 0132 3012 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 1 1 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.544397061789 0.552361697243 10 10 0 11 0132 1302 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 1 0 0 -1 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.626183662482 0.610327523405 12 1 13 7 0132 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 -1 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.623734618011 1.219479057122 3 3 1 14 0132 1230 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 0 0 0 0 0 0 -1 2 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.888673589746 1.077405809222 2 12 15 5 0132 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.085377832168 0.466081688115 10 16 2 15 1230 0132 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.015617798364 1.044950871236 17 3 16 17 0132 0132 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.468746580803 0.861565778773 4 8 15 4 0132 3012 2310 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.729770320399 1.191491295595 14 16 4 13 0132 0213 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.265939362818 1.114732606854 5 7 17 16 0132 0132 1023 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.291916011088 0.859413400021 17 11 14 5 3120 1302 0213 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 -1 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.124811447555 1.365945494423 11 13 6 15 0132 0213 0132 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.233791169406 0.768794204734 8 10 14 7 3120 3201 2031 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 -1 0 1 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.051195492401 1.218168264313 12 8 11 9 3120 0132 0213 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.570920126551 0.654474446072 9 9 12 13 0132 1302 1023 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.512747039239 0.895580882700 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_15' : negation(d['c_0101_10']), 'c_1001_14' : d['c_0101_14'], 'c_1001_17' : d['c_0101_12'], 'c_1001_16' : negation(d['c_0011_15']), 'c_1001_11' : negation(d['c_0011_15']), 'c_1001_10' : d['c_0011_16'], 'c_1001_13' : d['c_0101_14'], 'c_1001_12' : d['c_0101_12'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_0101_1'], 'c_1001_7' : negation(d['c_0011_16']), 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_17'], 'c_1001_2' : d['c_0101_1'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_1001_0'], 'c_1010_13' : d['c_1001_5'], 'c_1010_12' : negation(d['c_0011_16']), 'c_1010_11' : d['c_0011_13'], 'c_1010_10' : negation(d['c_0011_10']), 'c_1010_17' : negation(d['c_0011_13']), 'c_1010_16' : d['c_1001_0'], 'c_1010_15' : negation(d['c_0011_16']), 'c_1010_14' : d['c_1010_14'], 's_3_11' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_0_13' : d['1'], 's_3_15' : d['1'], 's_3_14' : d['1'], 's_0_16' : d['1'], 's_0_17' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_10'], 'c_0101_10' : d['c_0101_10'], 'c_0101_17' : d['c_0101_12'], 'c_0101_16' : d['c_0011_11'], 'c_0101_15' : d['c_0101_15'], 'c_0101_14' : d['c_0101_14'], '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_13' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_2_16' : d['1'], 's_2_17' : d['1'], 's_2_14' : 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_15' : d['c_0011_15'], 'c_0011_14' : negation(d['c_0011_11']), 'c_0011_17' : d['c_0011_17'], 'c_0011_16' : d['c_0011_16'], 'c_1100_9' : d['c_0011_13'], 'c_0011_10' : d['c_0011_10'], 'c_0011_13' : d['c_0011_13'], 'c_0011_12' : negation(d['c_0011_0']), 'c_1100_5' : d['c_1010_14'], 'c_1100_4' : negation(d['c_1001_5']), 'c_1100_7' : negation(d['c_1010_14']), 'c_1100_6' : d['c_0101_15'], 'c_1100_1' : d['c_0101_15'], 'c_1100_0' : negation(d['c_1001_5']), 'c_1100_3' : negation(d['c_1001_5']), 'c_1100_2' : negation(d['c_0101_15']), 'c_1100_14' : d['c_0101_15'], 'c_1100_15' : negation(d['c_1010_14']), 's_0_10' : d['1'], 'c_1100_17' : d['c_0011_11'], 'c_1100_16' : d['c_0011_13'], 'c_1100_11' : negation(d['c_1001_5']), 'c_1100_10' : d['c_0011_15'], 'c_1100_13' : d['c_1010_14'], 's_3_10' : d['1'], 's_3_13' : d['1'], 'c_1010_7' : d['c_0101_12'], 'c_1010_6' : d['c_0101_14'], 'c_1010_5' : d['c_0101_2'], 's_3_12' : d['1'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : d['c_0101_1'], 's_0_14' : d['1'], 'c_1010_9' : d['c_0011_17'], 's_0_15' : d['1'], 'c_1100_8' : negation(d['c_0101_15']), 's_3_17' : d['1'], 's_3_16' : d['1'], '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_0011_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_17']), 'c_0011_8' : negation(d['c_0011_16']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0101_13' : negation(d['c_0011_11']), 'c_0011_6' : negation(d['c_0011_17']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_17'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_14'], 'c_0110_10' : d['c_0101_1'], 'c_0110_13' : d['c_0101_5'], 'c_0110_12' : d['c_0101_5'], 'c_0110_15' : d['c_0011_10'], 'c_0110_14' : d['c_0101_10'], 'c_0110_17' : d['c_0101_5'], 'c_0110_16' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0011_15']), 'c_0101_12' : d['c_0101_12'], 'c_0011_7' : d['c_0011_0'], 's_0_8' : d['1'], 's_2_15' : d['1'], 'c_1010_8' : negation(d['c_0011_15']), 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0011_10'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_14'], '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_5'], 'c_0101_8' : d['c_0011_10'], 's_1_17' : d['1'], 's_1_16' : d['1'], 's_1_15' : d['1'], 's_1_14' : d['1'], 's_1_13' : d['1'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_12'], 'c_0110_8' : d['c_0011_10'], '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_10'], 'c_0110_5' : d['c_0101_12'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : d['c_0101_14']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 19 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_13, c_0011_15, c_0011_16, c_0011_17, c_0101_0, c_0101_1, c_0101_10, c_0101_12, c_0101_14, c_0101_15, c_0101_2, c_0101_5, c_1001_0, c_1001_5, c_1010_14 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 247889882149895/11801968353*c_1010_14^11 + 3662541085660460/11801968353*c_1010_14^10 - 66927435768631556/35405905059*c_1010_14^9 + 10561870713239024/1685995479*c_1010_14^8 - 152934253225696867/11801968353*c_1010_14^7 + 12909581410022102/722569491*c_1010_14^6 - 199000811636312300/11801968353*c_1010_14^5 + 42938713215315637/3933989451*c_1010_14^4 - 56947282239137657/11801968353*c_1010_14^3 + 51546882180225466/35405905059*c_1010_14^2 - 384539920674052/1311329817*c_1010_14 + 1035924781003894/35405905059, c_0011_0 - 1, c_0011_10 + 20520968/8920611*c_1010_14^11 - 285740003/8920611*c_1010_14^10 + 4805852015/26761833*c_1010_14^9 - 676427129/1274373*c_1010_14^8 + 8525707345/8920611*c_1010_14^7 - 4276689920/3823119*c_1010_14^6 + 7801018994/8920611*c_1010_14^5 - 1378425964/2973537*c_1010_14^4 + 1579304303/8920611*c_1010_14^3 - 1294294903/26761833*c_1010_14^2 + 7091668/991179*c_1010_14 - 19264012/26761833, c_0011_11 - 101694884/8920611*c_1010_14^11 + 1536515066/8920611*c_1010_14^10 - 28855153163/26761833*c_1010_14^9 + 4698544724/1274373*c_1010_14^8 - 70084243288/8920611*c_1010_14^7 + 42536869154/3823119*c_1010_14^6 - 95861277677/8920611*c_1010_14^5 + 21060005782/2973537*c_1010_14^4 - 28191914711/8920611*c_1010_14^3 + 25646994601/26761833*c_1010_14^2 - 190708660/991179*c_1010_14 + 505840777/26761833, c_0011_13 - 10171291/2973537*c_1010_14^11 + 139938577/2973537*c_1010_14^10 - 2304988144/8920611*c_1010_14^9 + 312264496/424791*c_1010_14^8 - 3678694757/2973537*c_1010_14^7 + 1629611578/1274373*c_1010_14^6 - 2295048004/2973537*c_1010_14^5 + 201350552/991179*c_1010_14^4 + 88010459/2973537*c_1010_14^3 - 317318515/8920611*c_1010_14^2 + 3821536/330393*c_1010_14 - 16168606/8920611, c_0011_15 - 2938370/8920611*c_1010_14^11 + 81671321/8920611*c_1010_14^10 - 2420766965/26761833*c_1010_14^9 + 569981240/1274373*c_1010_14^8 - 11280678436/8920611*c_1010_14^7 + 8569008728/3823119*c_1010_14^6 - 23210111954/8920611*c_1010_14^5 + 5929641607/2973537*c_1010_14^4 - 8847062774/8920611*c_1010_14^3 + 8582616295/26761833*c_1010_14^2 - 68789620/991179*c_1010_14 + 173027563/26761833, c_0011_16 + 1256956/8920611*c_1010_14^11 - 17300791/8920611*c_1010_14^10 + 269148664/26761833*c_1010_14^9 - 28306012/1274373*c_1010_14^8 + 64849028/8920611*c_1010_14^7 + 262144607/3823119*c_1010_14^6 - 1477628522/8920611*c_1010_14^5 + 561119866/2973537*c_1010_14^4 - 1066350029/8920611*c_1010_14^3 + 1114740640/26761833*c_1010_14^2 - 9898339/991179*c_1010_14 + 32195287/26761833, c_0011_17 - 28164251/8920611*c_1010_14^11 + 394902548/8920611*c_1010_14^10 - 6693454043/26761833*c_1010_14^9 + 947807528/1274373*c_1010_14^8 - 11895181393/8920611*c_1010_14^7 + 5795426039/3823119*c_1010_14^6 - 9639035360/8920611*c_1010_14^5 + 1300874011/2973537*c_1010_14^4 - 603284729/8920611*c_1010_14^3 - 500281919/26761833*c_1010_14^2 + 12628121/991179*c_1010_14 - 72769544/26761833, c_0101_0 + 3169456/330393*c_1010_14^11 - 46326502/330393*c_1010_14^10 + 834519115/991179*c_1010_14^9 - 129289135/47199*c_1010_14^8 + 1833559319/330393*c_1010_14^7 - 1058765251/141597*c_1010_14^6 + 2272957312/330393*c_1010_14^5 - 476993590/110131*c_1010_14^4 + 615739612/330393*c_1010_14^3 - 544605974/991179*c_1010_14^2 + 12127354/110131*c_1010_14 - 10634147/991179, c_0101_1 - 33452243/8920611*c_1010_14^11 + 501487052/8920611*c_1010_14^10 - 9335731397/26761833*c_1010_14^9 + 1506774728/1274373*c_1010_14^8 - 22316762707/8920611*c_1010_14^7 + 13457843462/3823119*c_1010_14^6 - 30095255966/8920611*c_1010_14^5 + 6533693263/2973537*c_1010_14^4 - 8583031397/8920611*c_1010_14^3 + 7630660750/26761833*c_1010_14^2 - 57325012/991179*c_1010_14 + 151283578/26761833, c_0101_10 + 240202/1274373*c_1010_14^11 - 9195790/1274373*c_1010_14^10 + 307374043/3823119*c_1010_14^9 - 541675228/1274373*c_1010_14^8 + 1602261344/1274373*c_1010_14^7 - 8831153335/3823119*c_1010_14^6 + 3526820068/1274373*c_1010_14^5 - 927251639/424791*c_1010_14^4 + 1416201829/1274373*c_1010_14^3 - 1385336705/3823119*c_1010_14^2 + 11099540/141597*c_1010_14 - 29317550/3823119, c_0101_12 + 48674546/8920611*c_1010_14^11 - 731629166/8920611*c_1010_14^10 + 13634756636/26761833*c_1010_14^9 - 2194948352/1274373*c_1010_14^8 + 32221341484/8920611*c_1010_14^7 - 19133143589/3823119*c_1010_14^6 + 41830873466/8920611*c_1010_14^5 - 8802476533/2973537*c_1010_14^4 + 11093187674/8920611*c_1010_14^3 - 9357462517/26761833*c_1010_14^2 + 62132506/991179*c_1010_14 - 118737886/26761833, c_0101_14 - 111286387/8920611*c_1010_14^11 + 1610429080/8920611*c_1010_14^10 - 28607783269/26761833*c_1010_14^9 + 4348398211/1274373*c_1010_14^8 - 60278634785/8920611*c_1010_14^7 + 33916301377/3823119*c_1010_14^6 - 70757667346/8920611*c_1010_14^5 + 14415351911/2973537*c_1010_14^4 - 18154311631/8920611*c_1010_14^3 + 15730250468/26761833*c_1010_14^2 - 108893639/991179*c_1010_14 + 253815188/26761833, c_0101_15 + 27560392/8920611*c_1010_14^11 - 425291401/8920611*c_1010_14^10 + 8152754581/26761833*c_1010_14^9 - 1347657295/1274373*c_1010_14^8 + 20107352021/8920611*c_1010_14^7 - 11988593995/3823119*c_1010_14^6 + 25930542448/8920611*c_1010_14^5 - 5295945143/2973537*c_1010_14^4 + 6327135769/8920611*c_1010_14^3 - 5097171869/26761833*c_1010_14^2 + 32546993/991179*c_1010_14 - 59331221/26761833, c_0101_2 - 31770829/8920611*c_1010_14^11 + 437116522/8920611*c_1010_14^10 - 7184113096/26761833*c_1010_14^9 + 965099500/1274373*c_1010_14^8 - 11100933299/8920611*c_1010_14^7 + 4626690127/3823119*c_1010_14^6 - 5407515490/8920611*c_1010_14^5 + 42931790/2973537*c_1010_14^4 + 1330381406/8920611*c_1010_14^3 - 2066696185/26761833*c_1010_14^2 + 21362947/991179*c_1010_14 - 80701105/26761833, c_0101_5 - 38074919/2973537*c_1010_14^11 + 564033467/2973537*c_1010_14^10 - 10342850078/8920611*c_1010_14^9 + 1639459817/424791*c_1010_14^8 - 23853104407/2973537*c_1010_14^7 + 14161770035/1274373*c_1010_14^6 - 31322593100/2973537*c_1010_14^5 + 6781664506/991179*c_1010_14^4 - 9000458135/2973537*c_1010_14^3 + 8104288921/8920611*c_1010_14^2 - 59227753/330393*c_1010_14 + 151201528/8920611, c_1001_0 + 53973211/8920611*c_1010_14^11 - 787227055/8920611*c_1010_14^10 + 14141583412/26761833*c_1010_14^9 - 2183201857/1274373*c_1010_14^8 + 30842470052/8920611*c_1010_14^7 - 17734533382/3823119*c_1010_14^6 + 37896274960/8920611*c_1010_14^5 - 7912119227/2973537*c_1010_14^4 + 10162335700/8920611*c_1010_14^3 - 8924955653/26761833*c_1010_14^2 + 64416680/991179*c_1010_14 - 143785757/26761833, c_1001_5 + 1564717/424791*c_1010_14^11 - 22899490/424791*c_1010_14^10 + 412361017/1274373*c_1010_14^9 - 445303600/424791*c_1010_14^8 + 891832409/424791*c_1010_14^7 - 3529994596/1274373*c_1010_14^6 + 1047425902/424791*c_1010_14^5 - 209789897/141597*c_1010_14^4 + 256965895/424791*c_1010_14^3 - 222126905/1274373*c_1010_14^2 + 1658627/47199*c_1010_14 - 4018052/1274373, c_1010_14^12 - 15*c_1010_14^11 + 280/3*c_1010_14^10 - 956/3*c_1010_14^9 + 685*c_1010_14^8 - 2977/3*c_1010_14^7 + 2999/3*c_1010_14^6 - 707*c_1010_14^5 + 352*c_1010_14^4 - 371/3*c_1010_14^3 + 91/3*c_1010_14^2 - 14/3*c_1010_14 + 1/3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 55139.840 Total time: 55140.180 seconds, Total memory usage: 50826.47MB