Magma V2.19-8 Wed Aug 21 2013 00:32:25 on localhost [Seed = 3734556211] Type ? for help. Type -D to quit. Loading file "K14n19265__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n19265 geometric_solution 10.85146727 oriented_manifold CS_known -0.0000000000000005 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 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.104318017730 0.579191433250 0 3 2 5 0132 1023 1023 0132 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 -1 1 0 1 0 -1 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.104318017730 0.579191433250 6 0 1 7 0132 0132 1023 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 1 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 1.065005490656 0.854745719923 1 8 9 0 1023 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 0 0 0 0 0 0 0 -1 1 0 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.065005490656 0.854745719923 5 5 0 8 0213 2103 0132 3120 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 1 -1 0 0 0 0 -1 -1 0 2 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.213291964190 0.315797191055 4 4 1 10 0213 2103 0132 0132 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 -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.213291964190 0.315797191055 2 10 11 9 0132 2103 0132 3120 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.016960741896 0.422845219957 9 8 2 11 2310 0213 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.261604268793 0.920854474004 4 3 7 10 3120 0132 0213 2310 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 -2 2 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.812885692217 0.672217719441 6 12 7 3 3120 0132 3201 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 0.379392154788 1.408494388287 8 6 5 12 3201 2103 0132 3120 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 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.983214196352 3.273461418641 12 7 12 6 3201 0321 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 0.653442691175 1.404990015712 10 9 11 11 3120 0132 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.214798638335 0.925072407715 ==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' : d['c_0101_12'], 'c_1001_10' : d['c_0011_0'], 'c_1001_12' : d['c_0101_11'], 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : d['c_0011_5'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_0011_10'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_11'], 'c_1001_2' : d['c_0011_5'], 'c_1001_9' : negation(d['c_0101_6']), 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : negation(d['c_0101_6']), 'c_1010_11' : d['c_0011_10'], 'c_1010_10' : negation(d['c_0011_12']), 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : d['c_0101_12'], 'c_0101_11' : d['c_0101_11'], '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' : negation(d['1']), 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : negation(d['1']), 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_12']), 'c_1100_4' : negation(d['c_0011_7']), 'c_1100_7' : d['c_0101_12'], 'c_1100_6' : negation(d['c_0011_11']), 'c_1100_1' : negation(d['c_0101_12']), 'c_1100_0' : negation(d['c_0011_7']), 'c_1100_3' : negation(d['c_0011_7']), 'c_1100_2' : d['c_0101_12'], 's_0_10' : d['1'], 'c_1100_9' : negation(d['c_0011_7']), 'c_1100_11' : negation(d['c_0011_11']), 'c_1100_10' : negation(d['c_0101_12']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_10'], 'c_1010_6' : d['c_0011_12'], 'c_1010_5' : d['c_0011_0'], 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_4'], 'c_1010_0' : d['c_0011_5'], 'c_1010_9' : d['c_0101_11'], 'c_1010_8' : d['c_0101_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'], 'c_1100_12' : d['c_0011_11'], 's_1_7' : d['1'], 's_1_6' : negation(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_12']), 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_5'], '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' : negation(d['c_0011_0']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_6'], 'c_0110_10' : negation(d['c_0101_11']), 'c_0110_12' : negation(d['c_0101_11']), 'c_0101_7' : d['c_0101_6'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_4'], 'c_0101_4' : d['c_0011_5'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_5'], 'c_0101_0' : d['c_0011_4'], 'c_0101_9' : d['c_0011_11'], 'c_0101_8' : d['c_0011_7'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : negation(d['1']), 'c_0110_9' : d['c_0101_2'], 'c_0110_8' : negation(d['c_0101_10']), 'c_0110_1' : d['c_0011_4'], 'c_0110_0' : d['c_0011_5'], 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : negation(d['c_0101_10']), 'c_0110_7' : negation(d['c_0011_11']), 'c_0011_10' : d['c_0011_10'], 's_2_9' : d['1']})} 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_11, c_0011_12, c_0011_4, c_0011_5, c_0011_7, c_0101_10, c_0101_11, c_0101_12, c_0101_2, c_0101_6, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 4 Groebner basis: [ t - 1/15*c_1001_0^3 + 2/15*c_1001_0^2 + 1/15*c_1001_0 - 4/15, c_0011_0 - 1, c_0011_10 + 2/5*c_1001_0^3 + 1/5*c_1001_0^2 - 2/5*c_1001_0 - 7/5, c_0011_11 - 2/5*c_1001_0^3 - 1/5*c_1001_0^2 - 3/5*c_1001_0 + 7/5, c_0011_12 + 2/5*c_1001_0^3 + 1/5*c_1001_0^2 - 2/5*c_1001_0 - 7/5, c_0011_4 - 1/5*c_1001_0^3 - 3/5*c_1001_0^2 - 4/5*c_1001_0 + 1/5, c_0011_5 - 1/5*c_1001_0^3 + 2/5*c_1001_0^2 + 1/5*c_1001_0 + 1/5, c_0011_7 + c_1001_0 - 1, c_0101_10 + 2/5*c_1001_0^3 + 1/5*c_1001_0^2 + 3/5*c_1001_0 - 12/5, c_0101_11 + 2/5*c_1001_0^3 + 1/5*c_1001_0^2 + 3/5*c_1001_0 - 7/5, c_0101_12 + 4/5*c_1001_0^3 + 2/5*c_1001_0^2 + 1/5*c_1001_0 - 14/5, c_0101_2 + 4/5*c_1001_0^3 + 2/5*c_1001_0^2 + 1/5*c_1001_0 - 9/5, c_0101_6 + 2/5*c_1001_0^3 + 1/5*c_1001_0^2 + 3/5*c_1001_0 - 7/5, c_1001_0^4 - 3*c_1001_0 + 3 ], Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_4, c_0011_5, c_0011_7, c_0101_10, c_0101_11, c_0101_12, c_0101_2, c_0101_6, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 10 Groebner basis: [ t - 10802922990952649561635561232616/2842575798223637598995304564006752\ 9*c_1001_0^9 + 47081316035301305015146463213022/2842575798223637598\ 9953045640067529*c_1001_0^8 - 150246692661333149128472908518612/284\ 25757982236375989953045640067529*c_1001_0^7 + 29645793056146392961954504395825/2584159816566943271813913240006139\ *c_1001_0^6 - 309274124695974160071483056272148/2842575798223637598\ 9953045640067529*c_1001_0^5 + 448361307956553784327831616502911/284\ 25757982236375989953045640067529*c_1001_0^4 - 955979150632807722401637920046404/284257579822363759899530456400675\ 29*c_1001_0^3 + 1511623308800102175714256041741767/2842575798223637\ 5989953045640067529*c_1001_0^2 - 2489453277191849564754079802585074\ /28425757982236375989953045640067529*c_1001_0 + 23228288601973761104657824438071/2842575798223637598995304564006752\ 9, c_0011_0 - 1, c_0011_10 + 2456453263854762/50552624574102821*c_1001_0^9 - 11001579556079997/50552624574102821*c_1001_0^8 + 36424059010798689/50552624574102821*c_1001_0^7 - 80154686431145892/50552624574102821*c_1001_0^6 + 88443001001559487/50552624574102821*c_1001_0^5 - 121041097848116873/50552624574102821*c_1001_0^4 + 208381750210210103/50552624574102821*c_1001_0^3 - 381594811256932021/50552624574102821*c_1001_0^2 + 669417120639932341/50552624574102821*c_1001_0 - 173768894951041056/50552624574102821, c_0011_11 - 105996752770014/50552624574102821*c_1001_0^9 + 157766926892472/50552624574102821*c_1001_0^8 - 709948027740015/50552624574102821*c_1001_0^7 + 540064900117401/50552624574102821*c_1001_0^6 + 1259432049527080/50552624574102821*c_1001_0^5 + 1629833542388960/50552624574102821*c_1001_0^4 + 3938117265475342/50552624574102821*c_1001_0^3 - 3915847700451122/50552624574102821*c_1001_0^2 + 1262932836032422/50552624574102821*c_1001_0 - 42614985065234804/50552624574102821, c_0011_12 + 232031746392813/50552624574102821*c_1001_0^9 - 2406712294396116/50552624574102821*c_1001_0^8 + 6528378371574870/50552624574102821*c_1001_0^7 - 20367694021715730/50552624574102821*c_1001_0^6 + 22774186347918804/50552624574102821*c_1001_0^5 - 18894891877329784/50552624574102821*c_1001_0^4 + 55410754136480743/50552624574102821*c_1001_0^3 - 59052815338142143/50552624574102821*c_1001_0^2 + 244262058909294937/50552624574102821*c_1001_0 - 85284011670946985/50552624574102821, c_0011_4 + 1461892449227301/50552624574102821*c_1001_0^9 - 6570119281985955/50552624574102821*c_1001_0^8 + 21665471524019694/50552624574102821*c_1001_0^7 - 49070140917332934/50552624574102821*c_1001_0^6 + 56292226948953733/50552624574102821*c_1001_0^5 - 84948840992743375/50552624574102821*c_1001_0^4 + 146706281854867084/50552624574102821*c_1001_0^3 - 242110695734180263/50552624574102821*c_1001_0^2 + 409868738533052413/50552624574102821*c_1001_0 - 144584245642078829/50552624574102821, c_0011_5 - 1368932228647569/50552624574102821*c_1001_0^9 + 6140004013865700/50552624574102821*c_1001_0^8 - 19958217810583932/50552624574102821*c_1001_0^7 + 45363496763288472/50552624574102821*c_1001_0^6 - 51280004981588504/50552624574102821*c_1001_0^5 + 75653832562127021/50552624574102821*c_1001_0^4 - 139503779900247038/50552624574102821*c_1001_0^3 + 212769886295912772/50552624574102821*c_1001_0^2 - 389060209191060965/50552624574102821*c_1001_0 + 121355847290855238/50552624574102821, c_0011_7 + 574125912766809/50552624574102821*c_1001_0^9 - 3249122912184006/50552624574102821*c_1001_0^8 + 10315491116672673/50552624574102821*c_1001_0^7 - 24285227805473148/50552624574102821*c_1001_0^6 + 32738973456022611/50552624574102821*c_1001_0^5 - 36397440323651732/50552624574102821*c_1001_0^4 + 82723231014155184/50552624574102821*c_1001_0^3 - 146020395116890735/50552624574102821*c_1001_0^2 + 196639515083887174/50552624574102821*c_1001_0 - 164679303531258080/50552624574102821, c_0101_10 - 76758056351541/50552624574102821*c_1001_0^9 - 88836900270894/50552624574102821*c_1001_0^8 + 457964415042561/50552624574102821*c_1001_0^7 - 2109243643265394/50552624574102821*c_1001_0^6 + 7772966269501032/50552624574102821*c_1001_0^5 - 3757981468977671/50552624574102821*c_1001_0^4 + 19703204745552366/50552624574102821*c_1001_0^3 - 40318873251252137/50552624574102821*c_1001_0^2 + 23696830581195828/50552624574102821*c_1001_0 - 162047728518702360/50552624574102821, c_0101_11 + 1458340340007897/50552624574102821*c_1001_0^9 - 7121388936326103/50552624574102821*c_1001_0^8 + 23268775783165956/50552624574102821*c_1001_0^7 - 53709199025203140/50552624574102821*c_1001_0^6 + 60741755743645196/50552624574102821*c_1001_0^5 - 78124323354909301/50552624574102821*c_1001_0^4 + 141410988257956287/50552624574102821*c_1001_0^3 - 251237806941845774/50552624574102821*c_1001_0^2 + 477829336900174855/50552624574102821*c_1001_0 - 128996907106619371/50552624574102821, c_0101_12 - 1210106429386893/50552624574102821*c_1001_0^9 + 4195724473538838/50552624574102821*c_1001_0^8 - 14575179283112763/50552624574102821*c_1001_0^7 + 27525617206177554/50552624574102821*c_1001_0^6 - 25182381158860131/50552624574102821*c_1001_0^5 + 46176441577985492/50552624574102821*c_1001_0^4 - 59094527421303132/50552624574102821*c_1001_0^3 + 122525308914184003/50552624574102821*c_1001_0^2 - 189061918067692642/50552624574102821*c_1001_0 - 40457982286047923/50552624574102821, c_0101_2 - 228195669768219/50552624574102821*c_1001_0^9 + 834486022176093/50552624574102821*c_1001_0^8 - 3585114183958353/50552624574102821*c_1001_0^7 + 6896017597544658/50552624574102821*c_1001_0^6 - 10266324137812101/50552624574102821*c_1001_0^5 + 16312656984371945/50552624574102821*c_1001_0^4 - 19029472169221728/50552624574102821*c_1001_0^3 + 61827987288617384/50552624574102821*c_1001_0^2 - 92532118825225253/50552624574102821*c_1001_0 + 49493532165353522/50552624574102821, c_0101_6 - 1487579036426370/50552624574102821*c_1001_0^9 + 7367992763489469/50552624574102821*c_1001_0^8 - 24436688225948532/50552624574102821*c_1001_0^7 + 56358507568585935/50552624574102821*c_1001_0^6 - 67255289963619148/50552624574102821*c_1001_0^5 + 83512138366275932/50552624574102821*c_1001_0^4 - 157176075738033311/50552624574102821*c_1001_0^3 + 287640832492646789/50552624574102821*c_1001_0^2 - 500263234645338261/50552624574102821*c_1001_0 + 197877025985984106/50552624574102821, c_1001_0^10 - 5*c_1001_0^9 + 17*c_1001_0^8 - 121/3*c_1001_0^7 + 478/9*c_1001_0^6 - 71*c_1001_0^5 + 364/3*c_1001_0^4 - 1862/9*c_1001_0^3 + 1087/3*c_1001_0^2 - 1918/9*c_1001_0 + 451/9 ], Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_4, c_0011_5, c_0011_7, c_0101_10, c_0101_11, c_0101_12, c_0101_2, c_0101_6, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 145717622986433985555767318/46370832072813181654353*c_1001_0^15 + 1015837532878545014713513/5152314674757020183817*c_1001_0^14 - 6394981372886313352765015/1627046739396953742258*c_1001_0^13 - 2837472229098636566311488185/185483328291252726617412*c_1001_0^12 + 240591932008601010775646687/185483328291252726617412*c_1001_0^11 - 1052258373102209323734059066/46370832072813181654353*c_1001_0^10 + 2604184448778917251861822720/46370832072813181654353*c_1001_0^9 - 12746563987401231572270500397/185483328291252726617412*c_1001_0^8 + 7355798258956636229363056457/61827776097084242205804*c_1001_0^7 - 8033136227640617174967533684/46370832072813181654353*c_1001_0^6 + 1222598508572667149469774517/5152314674757020183817*c_1001_0^5 - 9294921689891796194442772577/46370832072813181654353*c_1001_0^4 + 793872118673883576863058265/5455392008566256665218*c_1001_0^3 - 17478034559824047689776682125/185483328291252726617412*c_1001_0^2 + 7858366684150835611492793939/185483328291252726617412*c_1001_0 - 373135397687951445802890430/46370832072813181654353, c_0011_0 - 1, c_0011_10 + 15971771163824/427114323012257*c_1001_0^15 - 552298966192208/427114323012257*c_1001_0^14 - 1750118340792/427114323012257*c_1001_0^13 - 1576654724214816/427114323012257*c_1001_0^12 - 1656270726740613/427114323012257*c_1001_0^11 - 4499429185700349/427114323012257*c_1001_0^10 - 1727111221814289/427114323012257*c_1001_0^9 - 2355609235251309/427114323012257*c_1001_0^8 - 858341206130855/427114323012257*c_1001_0^7 + 44038261855652/427114323012257*c_1001_0^6 - 6490193301340615/427114323012257*c_1001_0^5 + 8742808999302100/427114323012257*c_1001_0^4 - 5298562854850068/427114323012257*c_1001_0^3 + 2987655295191645/427114323012257*c_1001_0^2 - 2369715794119929/427114323012257*c_1001_0 + 347355761874473/427114323012257, c_0011_11 - 1699479128256640/427114323012257*c_1001_0^15 + 1879625753454264/427114323012257*c_1001_0^14 - 8082537400381380/427114323012257*c_1001_0^13 + 4271971822314430/427114323012257*c_1001_0^12 - 21772364568240615/427114323012257*c_1001_0^11 + 18647194100647651/427114323012257*c_1001_0^10 - 37032776626727610/427114323012257*c_1001_0^9 + 41107417214542740/427114323012257*c_1001_0^8 - 55301846231482815/427114323012257*c_1001_0^7 + 49431059281164983/427114323012257*c_1001_0^6 - 37273509551930164/427114323012257*c_1001_0^5 + 25462454839449032/427114323012257*c_1001_0^4 - 13468936486508492/427114323012257*c_1001_0^3 + 5272601527367211/427114323012257*c_1001_0^2 - 2526138256346352/427114323012257*c_1001_0 + 464626056949639/427114323012257, c_0011_12 - 2290605393488/4146741000119*c_1001_0^15 + 1421994406776/4146741000119*c_1001_0^14 - 4693395749076/4146741000119*c_1001_0^13 - 3042001563422/4146741000119*c_1001_0^12 - 6509501045326/4146741000119*c_1001_0^11 + 8761111908828/4146741000119*c_1001_0^10 + 15474510782633/4146741000119*c_1001_0^9 + 2277409052126/4146741000119*c_1001_0^8 + 23990662655984/4146741000119*c_1001_0^7 - 38659898115550/4146741000119*c_1001_0^6 + 76139055986483/4146741000119*c_1001_0^5 - 51723640607754/4146741000119*c_1001_0^4 + 25478483129150/4146741000119*c_1001_0^3 - 15368018702683/4146741000119*c_1001_0^2 + 2276417577018/4146741000119*c_1001_0 + 2938324611887/4146741000119, c_0011_4 - 1035986807449200/427114323012257*c_1001_0^15 + 868926923731216/427114323012257*c_1001_0^14 - 4850028690138360/427114323012257*c_1001_0^13 + 1924227746839488/427114323012257*c_1001_0^12 - 14027713254607511/427114323012257*c_1001_0^11 + 9916705849301741/427114323012257*c_1001_0^10 - 22970324605827062/427114323012257*c_1001_0^9 + 25330426100852696/427114323012257*c_1001_0^8 - 35255570297436897/427114323012257*c_1001_0^7 + 31801301129635142/427114323012257*c_1001_0^6 - 28553062138768000/427114323012257*c_1001_0^5 + 23630364517515738/427114323012257*c_1001_0^4 - 14399127578141940/427114323012257*c_1001_0^3 + 6415491199583187/427114323012257*c_1001_0^2 - 3516663910895149/427114323012257*c_1001_0 + 923693072974132/427114323012257, c_0011_5 - 1035986807449200/427114323012257*c_1001_0^15 + 868926923731216/427114323012257*c_1001_0^14 - 4850028690138360/427114323012257*c_1001_0^13 + 1924227746839488/427114323012257*c_1001_0^12 - 14027713254607511/427114323012257*c_1001_0^11 + 9916705849301741/427114323012257*c_1001_0^10 - 22970324605827062/427114323012257*c_1001_0^9 + 25330426100852696/427114323012257*c_1001_0^8 - 35255570297436897/427114323012257*c_1001_0^7 + 31801301129635142/427114323012257*c_1001_0^6 - 28553062138768000/427114323012257*c_1001_0^5 + 23630364517515738/427114323012257*c_1001_0^4 - 14399127578141940/427114323012257*c_1001_0^3 + 6415491199583187/427114323012257*c_1001_0^2 - 3516663910895149/427114323012257*c_1001_0 + 923693072974132/427114323012257, c_0011_7 - 615056729353480/427114323012257*c_1001_0^15 + 1445325145555460/427114323012257*c_1001_0^14 - 3894018921487358/427114323012257*c_1001_0^13 + 5359434822551587/427114323012257*c_1001_0^12 - 10302220499458866/427114323012257*c_1001_0^11 + 16896276721710227/427114323012257*c_1001_0^10 - 22901243255402926/427114323012257*c_1001_0^9 + 33072581276011666/427114323012257*c_1001_0^8 - 40152960120198867/427114323012257*c_1001_0^7 + 45163263032740583/427114323012257*c_1001_0^6 - 38331419372245704/427114323012257*c_1001_0^5 + 27954323449953725/427114323012257*c_1001_0^4 - 16529236416972199/427114323012257*c_1001_0^3 + 7829863248791434/427114323012257*c_1001_0^2 - 2944549021833003/427114323012257*c_1001_0 + 882793167285742/427114323012257, c_0101_10 + 615056729353480/427114323012257*c_1001_0^15 - 1445325145555460/427114323012257*c_1001_0^14 + 3894018921487358/427114323012257*c_1001_0^13 - 5359434822551587/427114323012257*c_1001_0^12 + 10302220499458866/427114323012257*c_1001_0^11 - 16896276721710227/427114323012257*c_1001_0^10 + 22901243255402926/427114323012257*c_1001_0^9 - 33072581276011666/427114323012257*c_1001_0^8 + 40152960120198867/427114323012257*c_1001_0^7 - 45163263032740583/427114323012257*c_1001_0^6 + 38331419372245704/427114323012257*c_1001_0^5 - 27954323449953725/427114323012257*c_1001_0^4 + 16529236416972199/427114323012257*c_1001_0^3 - 7829863248791434/427114323012257*c_1001_0^2 + 2944549021833003/427114323012257*c_1001_0 - 1309907490297999/427114323012257, c_0101_11 + 219960584365440/427114323012257*c_1001_0^15 + 405833542294280/427114323012257*c_1001_0^14 + 485169880495620/427114323012257*c_1001_0^13 + 1889980885247282/427114323012257*c_1001_0^12 + 2326749334409191/427114323012257*c_1001_0^11 + 3597034659091065/427114323012257*c_1001_0^10 + 133236611203090/427114323012257*c_1001_0^9 + 2121036102882331/427114323012257*c_1001_0^8 - 1612697047435497/427114323012257*c_1001_0^7 + 3937931244045998/427114323012257*c_1001_0^6 - 1352129465267134/427114323012257*c_1001_0^5 - 3415274016703438/427114323012257*c_1001_0^4 + 2674279092547618/427114323012257*c_1001_0^3 - 1404749368815296/427114323012257*c_1001_0^2 + 1708130460674818/427114323012257*c_1001_0 - 650003196898834/427114323012257, c_0101_12 - 615056729353480/427114323012257*c_1001_0^15 + 1445325145555460/427114323012257*c_1001_0^14 - 3894018921487358/427114323012257*c_1001_0^13 + 5359434822551587/427114323012257*c_1001_0^12 - 10302220499458866/427114323012257*c_1001_0^11 + 16896276721710227/427114323012257*c_1001_0^10 - 22901243255402926/427114323012257*c_1001_0^9 + 33072581276011666/427114323012257*c_1001_0^8 - 40152960120198867/427114323012257*c_1001_0^7 + 45163263032740583/427114323012257*c_1001_0^6 - 38331419372245704/427114323012257*c_1001_0^5 + 27954323449953725/427114323012257*c_1001_0^4 - 16529236416972199/427114323012257*c_1001_0^3 + 7829863248791434/427114323012257*c_1001_0^2 - 2944549021833003/427114323012257*c_1001_0 + 882793167285742/427114323012257, c_0101_2 + c_1001_0, c_0101_6 + 219960584365440/427114323012257*c_1001_0^15 + 405833542294280/427114323012257*c_1001_0^14 + 485169880495620/427114323012257*c_1001_0^13 + 1889980885247282/427114323012257*c_1001_0^12 + 2326749334409191/427114323012257*c_1001_0^11 + 3597034659091065/427114323012257*c_1001_0^10 + 133236611203090/427114323012257*c_1001_0^9 + 2121036102882331/427114323012257*c_1001_0^8 - 1612697047435497/427114323012257*c_1001_0^7 + 3937931244045998/427114323012257*c_1001_0^6 - 1352129465267134/427114323012257*c_1001_0^5 - 3415274016703438/427114323012257*c_1001_0^4 + 2674279092547618/427114323012257*c_1001_0^3 - 1404749368815296/427114323012257*c_1001_0^2 + 1708130460674818/427114323012257*c_1001_0 - 650003196898834/427114323012257, c_1001_0^16 - 3/2*c_1001_0^15 + 21/4*c_1001_0^14 - 37/8*c_1001_0^13 + 115/8*c_1001_0^12 - 17*c_1001_0^11 + 221/8*c_1001_0^10 - 283/8*c_1001_0^9 + 369/8*c_1001_0^8 - 47*c_1001_0^7 + 321/8*c_1001_0^6 - 125/4*c_1001_0^5 + 41/2*c_1001_0^4 - 83/8*c_1001_0^3 + 37/8*c_1001_0^2 - 7/4*c_1001_0 + 3/8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 25.260 Total time: 25.460 seconds, Total memory usage: 80.50MB