Magma V2.19-8 Tue Aug 20 2013 18:09:09 on localhost [Seed = 374844739] Type ? for help. Type -D to quit. Loading file "10^2_39__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation 10^2_39 geometric_solution 14.02339636 oriented_manifold CS_known -0.0000000000000006 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 15 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 1 0 -1 0 0 0 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.393324246444 0.609397270944 0 3 5 4 0132 1023 0132 1023 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 0 0 1 2 -1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.213351507111 1.218794541889 6 0 8 7 0132 0132 0132 0132 0 1 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 -1 0 1 0 0 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.847651487670 0.833146971827 1 9 10 0 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 0 0 0 0 -1 1 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.427087288921 0.960220136302 11 11 0 1 0132 1230 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 1 -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.626166673069 0.579198997466 12 11 10 1 0132 2103 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 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.139356259611 0.796088346837 2 9 13 7 0132 1023 0132 3120 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 0 0 0 0 0 0 0 1 -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.481450876507 0.445659330110 6 9 2 8 3120 0213 0132 3120 0 1 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 1 1 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.481450876507 0.445659330110 7 12 14 2 3120 1302 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 1 -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.627732221721 0.507611583157 6 3 7 13 1023 0132 0213 3201 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 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.881406042274 1.035436548547 12 14 5 3 1302 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 -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.458237903696 0.768021469654 4 5 4 12 0132 2103 3012 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.139356259611 0.796088346837 5 10 11 8 0132 2031 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 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.820474615525 0.824155224021 14 9 14 6 0132 2310 3120 0132 0 1 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 1 0 -1 1 0 -2 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.523308036364 0.559996480481 13 10 13 8 0132 0132 3120 0132 0 1 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 0 2 -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.523308036364 0.559996480481 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_14' : negation(d['c_1001_13']), 'c_1001_11' : d['c_0011_11'], 'c_1001_10' : d['c_0101_5'], 'c_1001_13' : d['c_1001_13'], 'c_1001_12' : negation(d['c_0101_3']), 'c_1001_5' : d['c_0011_11'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_0011_7'], 'c_1001_1' : d['c_0101_3'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_1001_13']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_0101_5'], 'c_1010_13' : d['c_0011_7'], 'c_1010_12' : d['c_0011_10'], 'c_1010_11' : negation(d['c_0101_3']), 'c_1010_10' : negation(d['c_1001_13']), 'c_1010_14' : d['c_0101_5'], 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_0_13' : d['1'], 's_0_14' : d['1'], 's_3_14' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_0'], 'c_0101_10' : d['c_0011_11'], '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_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_14' : negation(d['c_0011_10']), 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_13' : d['c_0011_10'], 'c_0011_12' : negation(d['c_0011_11']), 'c_1100_5' : negation(d['c_1100_0']), 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : negation(d['c_0101_13']), 'c_1100_6' : negation(d['c_0101_14']), 'c_1100_1' : negation(d['c_1100_0']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : negation(d['c_0101_13']), 'c_1100_14' : negation(d['c_0101_13']), 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_1001_2']), 'c_1100_10' : d['c_1100_0'], 'c_1100_13' : negation(d['c_0101_14']), 's_0_11' : d['1'], 's_3_13' : d['1'], 'c_1010_7' : negation(d['c_0011_10']), 'c_1010_6' : negation(d['c_0011_7']), 'c_1010_5' : d['c_0101_3'], 's_3_12' : d['1'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0101_0'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_1001_13']), 'c_1010_8' : d['c_1001_2'], 'c_1100_8' : negation(d['c_0101_13']), '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_1001_2']), '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' : d['c_0011_10'], 'c_0011_5' : d['c_0011_11'], 'c_0011_4' : negation(d['c_0011_11']), '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' : negation(d['c_0011_0']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_1'], 'c_0110_10' : d['c_0101_3'], 'c_0110_13' : d['c_0101_14'], 'c_0110_12' : d['c_0101_5'], 'c_0110_14' : d['c_0101_13'], 'c_1010_4' : d['c_0101_0'], 'c_0101_12' : d['c_0101_1'], 'c_0110_0' : d['c_0101_1'], 's_0_8' : d['1'], 'c_0101_7' : d['c_0101_14'], 'c_0101_6' : d['c_0101_14'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], '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_0011_7'], 'c_0101_8' : d['c_0101_13'], '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' : negation(d['c_0011_7']), 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0011_10']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_14'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_0'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : d['c_0101_2'], 'c_0101_13' : d['c_0101_13']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 16 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_7, c_0101_0, c_0101_1, c_0101_13, c_0101_14, c_0101_2, c_0101_3, c_0101_5, c_1001_0, c_1001_13, c_1001_2, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 8 Groebner basis: [ t - 294933188219122688/51323393929437*c_1100_0^7 + 102781572018314960/5702599325493*c_1100_0^6 + 216755258773639996/51323393929437*c_1100_0^5 - 5576865248710244899/102646787858874*c_1100_0^4 - 7828863581591490721/102646787858874*c_1100_0^3 - 4876023994068962047/102646787858874*c_1100_0^2 - 719715710525319230/51323393929437*c_1100_0 + 64692017865990535/102646787858874, c_0011_0 - 1, c_0011_10 - 1247152640/845957473*c_1100_0^7 + 4744697728/845957473*c_1100_0^6 - 1705600656/845957473*c_1100_0^5 - 12731192376/845957473*c_1100_0^4 - 7557292376/845957473*c_1100_0^3 + 1337395861/845957473*c_1100_0^2 + 5118300/845957473*c_1100_0 - 222465901/845957473, c_0011_11 + 4929387008/845957473*c_1100_0^7 - 17897499328/845957473*c_1100_0^6 + 3504266656/845957473*c_1100_0^5 + 51471550286/845957473*c_1100_0^4 + 37557184846/845957473*c_1100_0^3 + 4317887832/845957473*c_1100_0^2 + 865633290/845957473*c_1100_0 + 1034704277/845957473, c_0011_7 - 3477013728/845957473*c_1100_0^7 + 12386752760/845957473*c_1100_0^6 - 1098759207/845957473*c_1100_0^5 - 38825613530/845957473*c_1100_0^4 - 26526835692/845957473*c_1100_0^3 - 1404653844/845957473*c_1100_0^2 - 634283909/845957473*c_1100_0 - 1132182122/845957473, c_0101_0 + 4929387008/845957473*c_1100_0^7 - 17897499328/845957473*c_1100_0^6 + 3504266656/845957473*c_1100_0^5 + 51471550286/845957473*c_1100_0^4 + 37557184846/845957473*c_1100_0^3 + 4317887832/845957473*c_1100_0^2 + 865633290/845957473*c_1100_0 + 1034704277/845957473, c_0101_1 + 13409815232/845957473*c_1100_0^7 - 49758439152/845957473*c_1100_0^6 + 13003892358/845957473*c_1100_0^5 + 141040930062/845957473*c_1100_0^4 + 89591075780/845957473*c_1100_0^3 - 694464266/845957473*c_1100_0^2 + 364117816/845957473*c_1100_0 + 2910995544/845957473, c_0101_13 - 143917923168/14381277041*c_1100_0^7 + 539312334872/14381277041*c_1100_0^6 - 155136956539/14381277041*c_1100_0^5 - 1527300789518/14381277041*c_1100_0^4 - 885343455560/14381277041*c_1100_0^3 + 67602399238/14381277041*c_1100_0^2 - 5136539958/14381277041*c_1100_0 - 27368132687/14381277041, c_0101_14 - 108176388480/14381277041*c_1100_0^7 + 389979614336/14381277041*c_1100_0^6 - 56810440596/14381277041*c_1100_0^5 - 1177401680703/14381277041*c_1100_0^4 - 806285462414/14381277041*c_1100_0^3 - 37386669832/14381277041*c_1100_0^2 - 22405449271/14381277041*c_1100_0 - 32498100698/14381277041, c_0101_2 - 1, c_0101_3 - c_1100_0, c_0101_5 - 1, c_1001_0 - 1247152640/845957473*c_1100_0^7 + 4744697728/845957473*c_1100_0^6 - 1705600656/845957473*c_1100_0^5 - 12731192376/845957473*c_1100_0^4 - 7557292376/845957473*c_1100_0^3 + 1337395861/845957473*c_1100_0^2 + 5118300/845957473*c_1100_0 - 222465901/845957473, c_1001_13 - 8964380480/845957473*c_1100_0^7 + 33061920400/845957473*c_1100_0^6 - 7554172714/845957473*c_1100_0^5 - 96341495794/845957473*c_1100_0^4 - 60101073535/845957473*c_1100_0^3 + 2438918066/845957473*c_1100_0^2 - 378407872/845957473*c_1100_0 - 1869814920/845957473, c_1001_2 + 13409815232/845957473*c_1100_0^7 - 49758439152/845957473*c_1100_0^6 + 13003892358/845957473*c_1100_0^5 + 141040930062/845957473*c_1100_0^4 + 89591075780/845957473*c_1100_0^3 - 694464266/845957473*c_1100_0^2 - 481839657/845957473*c_1100_0 + 2910995544/845957473, c_1100_0^8 - 13/4*c_1100_0^7 - 23/32*c_1100_0^6 + 349/32*c_1100_0^5 + 367/32*c_1100_0^4 + 53/16*c_1100_0^3 + 5/16*c_1100_0^2 + 9/32*c_1100_0 + 3/32 ], Ideal of Polynomial ring of rank 16 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_7, c_0101_0, c_0101_1, c_0101_13, c_0101_14, c_0101_2, c_0101_3, c_0101_5, c_1001_0, c_1001_13, c_1001_2, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t + 14792819904622629/26822680788541*c_1100_0^11 + 114556154756717259/26822680788541*c_1100_0^10 + 425805587469096969/26822680788541*c_1100_0^9 + 935338978169250197/26822680788541*c_1100_0^8 + 1325746501750790319/26822680788541*c_1100_0^7 + 115881109822749391/2438425526231*c_1100_0^6 + 947161072175216410/26822680788541*c_1100_0^5 + 735045490155079116/26822680788541*c_1100_0^4 + 650503503678358489/26822680788541*c_1100_0^3 + 41931034946658244/2438425526231*c_1100_0^2 + 175850234119394723/26822680788541*c_1100_0 - 13396502843611966/26822680788541, c_0011_0 - 1, c_0011_10 - 742672717605/2438425526231*c_1100_0^11 - 5465123118234/2438425526231*c_1100_0^10 - 19512614954211/2438425526231*c_1100_0^9 - 123569830296688/7315276578693*c_1100_0^8 - 56092820696770/2438425526231*c_1100_0^7 - 51325364828593/2438425526231*c_1100_0^6 - 106853807862587/7315276578693*c_1100_0^5 - 84037059895423/7315276578693*c_1100_0^4 - 77458526766580/7315276578693*c_1100_0^3 - 19465295170852/2438425526231*c_1100_0^2 - 7219433326978/2438425526231*c_1100_0 - 155599717637/7315276578693, c_0011_11 + 981537511593/2438425526231*c_1100_0^11 + 7161824612765/2438425526231*c_1100_0^10 + 75652283750098/7315276578693*c_1100_0^9 + 155620383274882/7315276578693*c_1100_0^8 + 68099025074775/2438425526231*c_1100_0^7 + 179623466232146/7315276578693*c_1100_0^6 + 42497454323640/2438425526231*c_1100_0^5 + 106378067902031/7315276578693*c_1100_0^4 + 97709361810757/7315276578693*c_1100_0^3 + 20358195454248/2438425526231*c_1100_0^2 + 19396141044407/7315276578693*c_1100_0 - 7167733508869/7315276578693, c_0011_7 + 280302685083/2438425526231*c_1100_0^11 + 2023538214678/2438425526231*c_1100_0^10 + 7536312288793/2438425526231*c_1100_0^9 + 50637498903995/7315276578693*c_1100_0^8 + 25311341107439/2438425526231*c_1100_0^7 + 25613748680359/2438425526231*c_1100_0^6 + 59367917051335/7315276578693*c_1100_0^5 + 41030121320342/7315276578693*c_1100_0^4 + 31705241473592/7315276578693*c_1100_0^3 + 6860570099978/2438425526231*c_1100_0^2 + 2717880721856/2438425526231*c_1100_0 - 3619158172175/7315276578693, c_0101_0 - 981537511593/2438425526231*c_1100_0^11 - 7161824612765/2438425526231*c_1100_0^10 - 75652283750098/7315276578693*c_1100_0^9 - 155620383274882/7315276578693*c_1100_0^8 - 68099025074775/2438425526231*c_1100_0^7 - 179623466232146/7315276578693*c_1100_0^6 - 42497454323640/2438425526231*c_1100_0^5 - 106378067902031/7315276578693*c_1100_0^4 - 97709361810757/7315276578693*c_1100_0^3 - 20358195454248/2438425526231*c_1100_0^2 - 19396141044407/7315276578693*c_1100_0 - 147543069824/7315276578693, c_0101_1 + 1789856791848/2438425526231*c_1100_0^11 + 13977200584410/2438425526231*c_1100_0^10 + 52094593625746/2438425526231*c_1100_0^9 + 343867141024936/7315276578693*c_1100_0^8 + 162283324523707/2438425526231*c_1100_0^7 + 155857097868891/2438425526231*c_1100_0^6 + 346979824733189/7315276578693*c_1100_0^5 + 271607335906627/7315276578693*c_1100_0^4 + 242633827826308/7315276578693*c_1100_0^3 + 57675196638595/2438425526231*c_1100_0^2 + 22039487745487/2438425526231*c_1100_0 - 1206831666892/7315276578693, c_0101_13 - 2094329420370/2438425526231*c_1100_0^11 - 16424906492775/2438425526231*c_1100_0^10 - 62007051374633/2438425526231*c_1100_0^9 - 416009951874481/7315276578693*c_1100_0^8 - 200297716342336/2438425526231*c_1100_0^7 - 195359620966226/2438425526231*c_1100_0^6 - 436144287154586/7315276578693*c_1100_0^5 - 336595351234258/7315276578693*c_1100_0^4 - 299612697110440/7315276578693*c_1100_0^3 - 71944004658027/2438425526231*c_1100_0^2 - 28327708162089/2438425526231*c_1100_0 - 162674620595/7315276578693, c_0101_14 + 1179009352575/2438425526231*c_1100_0^11 + 8800020367515/2438425526231*c_1100_0^10 + 31536450834609/2438425526231*c_1100_0^9 + 198455025988813/7315276578693*c_1100_0^8 + 88895907536149/2438425526231*c_1100_0^7 + 80829064180953/2438425526231*c_1100_0^6 + 175512010675160/7315276578693*c_1100_0^5 + 135722773546252/7315276578693*c_1100_0^4 + 116503227572221/7315276578693*c_1100_0^3 + 26401133813220/2438425526231*c_1100_0^2 + 8527064010345/2438425526231*c_1100_0 - 6382178641477/7315276578693, c_0101_2 - 1, c_0101_3 + 1765686848409/2438425526231*c_1100_0^11 + 13553032890723/2438425526231*c_1100_0^10 + 49718448165652/2438425526231*c_1100_0^9 + 107453943026462/2438425526231*c_1100_0^8 + 149580273812517/2438425526231*c_1100_0^7 + 141968323451915/2438425526231*c_1100_0^6 + 105727759787709/2438425526231*c_1100_0^5 + 82549813966446/2438425526231*c_1100_0^4 + 72453400005256/2438425526231*c_1100_0^3 + 50266958719141/2438425526231*c_1100_0^2 + 20907573576972/2438425526231*c_1100_0 + 373260150713/2438425526231, c_0101_5 - 1, c_1001_0 - 742672717605/2438425526231*c_1100_0^11 - 5465123118234/2438425526231*c_1100_0^10 - 19512614954211/2438425526231*c_1100_0^9 - 123569830296688/7315276578693*c_1100_0^8 - 56092820696770/2438425526231*c_1100_0^7 - 51325364828593/2438425526231*c_1100_0^6 - 106853807862587/7315276578693*c_1100_0^5 - 84037059895423/7315276578693*c_1100_0^4 - 77458526766580/7315276578693*c_1100_0^3 - 19465295170852/2438425526231*c_1100_0^2 - 7219433326978/2438425526231*c_1100_0 - 155599717637/7315276578693, c_1001_13 - 2328155672688/2438425526231*c_1100_0^11 - 17282629280667/2438425526231*c_1100_0^10 - 62367394068164/2438425526231*c_1100_0^9 - 400178650642394/7315276578693*c_1100_0^8 - 185478298066157/2438425526231*c_1100_0^7 - 175514963191531/2438425526231*c_1100_0^6 - 384950256094414/7315276578693*c_1100_0^5 - 297073015456985/7315276578693*c_1100_0^4 - 262205639639759/7315276578693*c_1100_0^3 - 62248747428149/2438425526231*c_1100_0^2 - 23528491721462/2438425526231*c_1100_0 + 794664102947/7315276578693, c_1001_2 + 1814026735287/2438425526231*c_1100_0^11 + 14401368278097/2438425526231*c_1100_0^10 + 54470739085840/2438425526231*c_1100_0^9 + 365372452970486/7315276578693*c_1100_0^8 + 174986375234897/2438425526231*c_1100_0^7 + 169745872285867/2438425526231*c_1100_0^6 + 376776370103251/7315276578693*c_1100_0^5 + 295565229913916/7315276578693*c_1100_0^4 + 267907455636848/7315276578693*c_1100_0^3 + 65083434558049/2438425526231*c_1100_0^2 + 25609827440233/2438425526231*c_1100_0 - 3533443785923/7315276578693, c_1100_0^12 + 23/3*c_1100_0^11 + 253/9*c_1100_0^10 + 545/9*c_1100_0^9 + 752/9*c_1100_0^8 + 701/9*c_1100_0^7 + 515/9*c_1100_0^6 + 412/9*c_1100_0^5 + 364/9*c_1100_0^4 + 245/9*c_1100_0^3 + 89/9*c_1100_0^2 - 8/9*c_1100_0 + 1/9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.820 Total time: 1.030 seconds, Total memory usage: 32.09MB