Magma V2.19-8 Mon Oct 7 2013 10:58:36 on localhost [Seed = 40536] Type ? for help. Type -D to quit. Loading file "10^2_156__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation 10^2_156 geometric_solution 16.71267416 oriented_manifold CS_known -0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 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 1 0 -1 -1 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 1.116608162145 0.728731822586 0 3 6 5 0132 3120 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 -7 0 7 1 0 0 -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 1.029034618443 1.066507024013 7 0 8 7 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 -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.598342775325 0.846193370322 9 1 8 0 0132 3120 0321 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 0 0 0 0 7 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.342796228229 0.874253696987 10 11 0 9 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 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.656250528735 0.843976399895 10 12 1 10 2103 0132 0132 3201 0 0 1 0 0 0 -1 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 0 -7 7 0 0 1 -1 0 -1 0 1 -7 6 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.125976522980 0.649132593436 13 7 11 1 0132 0321 3201 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 0 0 1 -1 0 0 0 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.489438718517 1.283106677300 2 2 14 6 0132 1302 0132 0321 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 -6 6 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.442913541829 0.787847513233 15 11 3 2 0132 0321 0321 0132 0 0 0 0 0 0 0 0 -1 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 0 0 0 0 -7 0 7 0 0 0 0 0 7 -6 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.227536489376 1.516446642217 3 16 4 14 0132 0132 0132 2310 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 0 -6 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.271471946458 0.369900166398 4 5 5 13 0132 2310 2103 0132 1 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 -1 0 1 0 0 0 0 0 1 0 -1 0 -7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.125976522980 0.649132593436 6 4 16 8 2310 0132 0132 0321 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 -6 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.864292241103 0.598196358006 17 5 17 16 0132 0132 3012 3120 0 0 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 0 0 0 0 0 0 0 0 0 0 0 6 -6 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.225687393070 0.995812354053 6 15 10 15 0132 0213 0132 0321 1 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 3 -1 -2 0 0 0 0 0 7 0 -7 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.343648382948 0.676432108093 9 16 17 7 3201 3201 3120 0132 0 0 0 0 0 1 -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 0 0 0 0 6 -6 0 -6 0 0 6 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.446870507462 0.584405317656 8 13 13 17 0132 0321 0213 2103 1 0 0 0 0 1 -1 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 0 0 0 0 0 2 -3 1 7 0 -7 0 -7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.403030257735 1.175065914069 12 9 14 11 3120 0132 2310 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 0 0 0 0 0 0 0 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.649342738678 0.937404145199 12 12 14 15 0132 1230 3120 2103 0 0 1 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 1 0 0 -1 -6 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.486621108766 0.625823869475 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_15' : negation(d['c_0110_5']), 'c_1001_14' : negation(d['c_0101_16']), 'c_1001_17' : d['c_0101_16'], 'c_1001_16' : negation(d['c_0101_7']), 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : negation(d['c_0011_12']), 'c_1001_13' : negation(d['c_0110_5']), 'c_1001_12' : d['c_0011_12'], 'c_1001_5' : negation(d['c_0011_16']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_0101_7'], 'c_1001_6' : negation(d['c_0101_11']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0011_0'], 'c_1001_3' : negation(d['c_1001_1']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_11'], 'c_1001_8' : d['c_0011_14'], 'c_1010_13' : negation(d['c_0101_12']), 'c_1010_12' : negation(d['c_0011_16']), 'c_1010_11' : d['c_1001_2'], 'c_1010_10' : negation(d['c_0110_5']), 'c_1010_17' : d['c_0101_12'], 'c_1010_16' : d['c_1001_11'], 'c_1010_15' : negation(d['c_0101_12']), 'c_1010_14' : d['c_0101_7'], 's_0_10' : d['1'], 's_0_11' : negation(d['1']), 's_0_12' : d['1'], 's_3_12' : d['1'], 's_3_15' : d['1'], 's_3_14' : d['1'], 's_0_16' : d['1'], 's_3_16' : d['1'], 'c_0101_13' : d['c_0101_1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_0'], 'c_0101_17' : d['c_0101_11'], 'c_0101_16' : d['c_0101_16'], 'c_0101_15' : d['c_0011_13'], 'c_0101_14' : d['c_0101_14'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : negation(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_2_15' : 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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_15' : d['c_0011_15'], 'c_0011_14' : d['c_0011_14'], 'c_0011_17' : negation(d['c_0011_12']), 'c_0011_16' : d['c_0011_16'], 'c_1100_9' : d['c_0011_14'], 'c_1100_8' : negation(d['c_1001_1']), 'c_0011_13' : d['c_0011_13'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0011_10']), 'c_1100_4' : d['c_0011_14'], 'c_1100_7' : negation(d['c_0101_11']), 'c_1100_6' : negation(d['c_0011_10']), 'c_1100_1' : negation(d['c_0011_10']), 'c_1100_0' : d['c_0011_14'], 'c_1100_3' : d['c_0011_14'], 'c_1100_2' : negation(d['c_1001_1']), 's_0_14' : d['1'], 'c_1100_14' : negation(d['c_0101_11']), 'c_1100_15' : negation(d['c_0101_12']), 's_3_11' : d['1'], 'c_1100_17' : negation(d['c_0101_14']), 'c_1100_16' : d['c_0011_14'], 'c_1100_11' : d['c_0011_14'], 'c_1100_10' : negation(d['c_0110_5']), 'c_1100_13' : negation(d['c_0110_5']), 's_3_10' : d['1'], 's_3_13' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_0011_12'], 's_0_13' : d['1'], 'c_1010_3' : d['c_0011_0'], 'c_1010_2' : d['c_0011_0'], 'c_1010_1' : negation(d['c_0011_16']), 'c_1010_0' : d['c_1001_2'], 's_2_8' : d['1'], 'c_1010_9' : negation(d['c_0101_7']), 's_0_15' : d['1'], 's_3_17' : d['1'], 's_0_17' : d['1'], 's_3_1' : d['1'], 's_3_0' : negation(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' : negation(d['1']), 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0101_16']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(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_16']), 'c_0011_8' : negation(d['c_0011_15']), 'c_0011_5' : negation(d['c_0011_12']), 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_13']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_16'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_15'], 'c_0110_10' : d['c_0101_1'], 'c_0110_13' : negation(d['c_0011_15']), 'c_0110_12' : d['c_0101_11'], 'c_0110_15' : d['c_0101_14'], 'c_0110_14' : d['c_0101_7'], 'c_0110_17' : d['c_0101_12'], 'c_0110_16' : d['c_0101_11'], 'c_1010_4' : d['c_1001_11'], 'c_0101_12' : d['c_0101_12'], 's_0_8' : d['1'], 's_0_9' : d['1'], 'c_1010_8' : d['c_1001_2'], 'c_0011_11' : d['c_0011_10'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0011_15']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0101_14']), 'c_0101_2' : d['c_0011_13'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0101_14'], 'c_0011_10' : 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' : negation(d['1']), 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_14']), 'c_0110_8' : d['c_0011_13'], '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_0101_7'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_0'], 'c_0110_7' : d['c_0011_13'], 'c_0110_6' : d['c_0101_1']})} 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_12, c_0011_13, c_0011_14, c_0011_15, c_0011_16, c_0101_0, c_0101_1, c_0101_11, c_0101_12, c_0101_14, c_0101_16, c_0101_7, c_0110_5, c_1001_1, c_1001_11, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 9 Groebner basis: [ t + 1124343077/331000182*c_1001_2^8 - 550872073/165500091*c_1001_2^7 + 53733989/18388899*c_1001_2^6 - 321582940/165500091*c_1001_2^5 + 486418909/110333394*c_1001_2^4 - 100745108/55166697*c_1001_2^3 + 62857375/18388899*c_1001_2^2 + 273856991/331000182*c_1001_2 - 233335261/331000182, c_0011_0 - 1, c_0011_10 - 8/9*c_1001_2^8 + 5/9*c_1001_2^7 - 2*c_1001_2^6 + 17/9*c_1001_2^5 - 7/3*c_1001_2^4 + 4/3*c_1001_2^3 - 3*c_1001_2^2 + 1/9*c_1001_2 - 11/9, c_0011_12 + 1, c_0011_13 - 29/9*c_1001_2^8 + 8/9*c_1001_2^7 - 7*c_1001_2^6 + 56/9*c_1001_2^5 - 25/3*c_1001_2^4 + 13/3*c_1001_2^3 - 12*c_1001_2^2 + 7/9*c_1001_2 - 59/9, c_0011_14 + 20/9*c_1001_2^8 - 8/9*c_1001_2^7 + 5*c_1001_2^6 - 38/9*c_1001_2^5 + 19/3*c_1001_2^4 - 7/3*c_1001_2^3 + 8*c_1001_2^2 + 2/9*c_1001_2 + 41/9, c_0011_15 - 5/3*c_1001_2^8 + 2/3*c_1001_2^7 - 4*c_1001_2^6 + 11/3*c_1001_2^5 - 5*c_1001_2^4 + 3*c_1001_2^3 - 7*c_1001_2^2 + 1/3*c_1001_2 - 11/3, c_0011_16 - 5/9*c_1001_2^8 + 2/9*c_1001_2^7 - c_1001_2^6 + 5/9*c_1001_2^5 - 4/3*c_1001_2^4 + 1/3*c_1001_2^3 - c_1001_2^2 + 4/9*c_1001_2 - 8/9, c_0101_0 + 1, c_0101_1 + 20/9*c_1001_2^8 - 8/9*c_1001_2^7 + 5*c_1001_2^6 - 38/9*c_1001_2^5 + 19/3*c_1001_2^4 - 7/3*c_1001_2^3 + 8*c_1001_2^2 - 7/9*c_1001_2 + 41/9, c_0101_11 + 13/9*c_1001_2^8 - 7/9*c_1001_2^7 + 4*c_1001_2^6 - 31/9*c_1001_2^5 + 17/3*c_1001_2^4 - 11/3*c_1001_2^3 + 6*c_1001_2^2 - 14/9*c_1001_2 + 37/9, c_0101_12 - 4/9*c_1001_2^8 - 2/9*c_1001_2^7 - c_1001_2^6 + 4/9*c_1001_2^5 - 2/3*c_1001_2^4 + 2/3*c_1001_2^3 - 2*c_1001_2^2 - 4/9*c_1001_2 - 10/9, c_0101_14 + 10/9*c_1001_2^8 - 4/9*c_1001_2^7 + 2*c_1001_2^6 - 19/9*c_1001_2^5 + 8/3*c_1001_2^4 - 2/3*c_1001_2^3 + 4*c_1001_2^2 + 1/9*c_1001_2 + 16/9, c_0101_16 + 5/3*c_1001_2^8 - 2/3*c_1001_2^7 + 5*c_1001_2^6 - 11/3*c_1001_2^5 + 7*c_1001_2^4 - 4*c_1001_2^3 + 8*c_1001_2^2 - 4/3*c_1001_2 + 17/3, c_0101_7 - 10/9*c_1001_2^8 + 4/9*c_1001_2^7 - 3*c_1001_2^6 + 19/9*c_1001_2^5 - 11/3*c_1001_2^4 + 5/3*c_1001_2^3 - 4*c_1001_2^2 - 1/9*c_1001_2 - 25/9, c_0110_5 + c_1001_2^8 + 2*c_1001_2^6 - c_1001_2^5 + 2*c_1001_2^4 + 3*c_1001_2^2 + c_1001_2 + 2, c_1001_1 - 11/3*c_1001_2^8 + 5/3*c_1001_2^7 - 8*c_1001_2^6 + 23/3*c_1001_2^5 - 10*c_1001_2^4 + 5*c_1001_2^3 - 13*c_1001_2^2 + 4/3*c_1001_2 - 23/3, c_1001_11 + 8/9*c_1001_2^8 - 5/9*c_1001_2^7 + 2*c_1001_2^6 - 17/9*c_1001_2^5 + 7/3*c_1001_2^4 - 4/3*c_1001_2^3 + 2*c_1001_2^2 - 1/9*c_1001_2 + 11/9, c_1001_2^9 + 2*c_1001_2^7 - c_1001_2^6 + 2*c_1001_2^5 + 3*c_1001_2^3 + c_1001_2^2 + 2*c_1001_2 + 1 ], Ideal of Polynomial ring of rank 19 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_13, c_0011_14, c_0011_15, c_0011_16, c_0101_0, c_0101_1, c_0101_11, c_0101_12, c_0101_14, c_0101_16, c_0101_7, c_0110_5, c_1001_1, c_1001_11, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 321262932172022056169084173719355107011024387540/692620460238571492\ 01115159603793568933782650449439*c_1001_2^19 + 26137043429239885519012950100846178246764704007/2308734867461904973\ 3705053201264522977927550149813*c_1001_2^18 + 3280653318710271860867513603560393849796178965426/69262046023857149\ 201115159603793568933782650449439*c_1001_2^17 + 100456989169364519135786908819081372315982546059/692620460238571492\ 01115159603793568933782650449439*c_1001_2^16 - 16520408453351172416871234723872505037903058148601/6926204602385714\ 9201115159603793568933782650449439*c_1001_2^15 - 7638103744844681360498806510874669410817078559088/69262046023857149\ 201115159603793568933782650449439*c_1001_2^14 + 18941687710939863770792324079546187933934612451551/2308734867461904\ 9733705053201264522977927550149813*c_1001_2^13 + 6008853969419512924085678466049765114762518900304/23087348674619049\ 733705053201264522977927550149813*c_1001_2^12 - 7537097620203298024779246115454342681959041393407/53278496941428576\ 30855012277214889917983280803803*c_1001_2^11 - 52307261803762795199035879739405463504931853280886/6926204602385714\ 9201115159603793568933782650449439*c_1001_2^10 + 39434564561038999229935222396592194621239153358374/2308734867461904\ 9733705053201264522977927550149813*c_1001_2^9 + 77062327564407073408140229514891600269304929599706/6926204602385714\ 9201115159603793568933782650449439*c_1001_2^8 - 117541625611172501864652524614424361545350907165471/692620460238571\ 49201115159603793568933782650449439*c_1001_2^7 - 15709750924049627084856291361227952933386677860664/6926204602385714\ 9201115159603793568933782650449439*c_1001_2^6 + 12578112428777914956722085145828069929185056090747/6926204602385714\ 9201115159603793568933782650449439*c_1001_2^5 + 15504588977765652927779011899821025131453258402738/2308734867461904\ 9733705053201264522977927550149813*c_1001_2^4 - 33420904295973219170139846069260203928343727158074/6926204602385714\ 9201115159603793568933782650449439*c_1001_2^3 + 6606192297365726130401982636167405710466846930722/69262046023857149\ 201115159603793568933782650449439*c_1001_2^2 + 481320314980608142013335049138152855065162606483/230873486746190497\ 33705053201264522977927550149813*c_1001_2 - 18440072880175380201019518956358356918922041908/1215123614453634196\ 510792273750764367259344744727, c_0011_0 - 1, c_0011_10 + 4018279805841756847634474/5427326252417662867553801*c_1001_\ 2^19 + 6663123563559643044103698/5427326252417662867553801*c_1001_2\ ^18 - 27692189381632575575181684/5427326252417662867553801*c_1001_2\ ^17 - 86418766927459555604498974/5427326252417662867553801*c_1001_2\ ^16 + 79371735669553691247825774/5427326252417662867553801*c_1001_2\ ^15 + 456674115217275918073236270/5427326252417662867553801*c_1001_\ 2^14 + 112241909759195999949905329/5427326252417662867553801*c_1001\ _2^13 - 1221819358055774029563588000/5427326252417662867553801*c_10\ 01_2^12 - 1003705524117503290293504980/5427326252417662867553801*c_\ 1001_2^11 + 97248022138473527162814302/285648750127245414081779*c_1\ 001_2^10 + 2512965090124418824648009329/5427326252417662867553801*c\ _1001_2^9 - 1142614657320326468401711006/5427326252417662867553801*\ c_1001_2^8 - 3075771740202421159049799320/5427326252417662867553801\ *c_1001_2^7 + 102236178495110008839587442/5427326252417662867553801\ *c_1001_2^6 + 2050706655262949972756832782/542732625241766286755380\ 1*c_1001_2^5 + 334471893790791790905668640/542732625241766286755380\ 1*c_1001_2^4 - 596589248630507608302710158/542732625241766286755380\ 1*c_1001_2^3 - 319546495553765643024300784/542732625241766286755380\ 1*c_1001_2^2 + 299029674708189739098044881/542732625241766286755380\ 1*c_1001_2 - 104565783438900569988642186/5427326252417662867553801, c_0011_12 + 1, c_0011_13 - 754923242347090567967800/5427326252417662867553801*c_1001_2\ ^19 - 1621997772833644717426274/5427326252417662867553801*c_1001_2^\ 18 + 4494140061187067648602134/5427326252417662867553801*c_1001_2^1\ 7 + 18590349406615725387076026/5427326252417662867553801*c_1001_2^1\ 6 - 6307495752394900460538104/5427326252417662867553801*c_1001_2^15 - 90672439916215423835417158/5427326252417662867553801*c_1001_2^14 - 64474714589211587540064020/5427326252417662867553801*c_1001_2^13 + 206337104897431655777862020/5427326252417662867553801*c_1001_2^12 + 294280866659060681378351128/5427326252417662867553801*c_1001_2^11 - 11631644619738121688566074/285648750127245414081779*c_1001_2^10 - 602036933166992974181096448/5427326252417662867553801*c_1001_2^9 - 62430798761494610223205302/5427326252417662867553801*c_1001_2^8 + 589200306361372918001932510/5427326252417662867553801*c_1001_2^7 + 278120004891472485454141330/5427326252417662867553801*c_1001_2^6 - 281986476801941573603712810/5427326252417662867553801*c_1001_2^5 - 222108420857490798367277086/5427326252417662867553801*c_1001_2^4 + 12356222381334547499978979/5427326252417662867553801*c_1001_2^3 + 83347707203395049314434156/5427326252417662867553801*c_1001_2^2 - 5291377837246389937398046/5427326252417662867553801*c_1001_2 + 6431314268600219811264638/5427326252417662867553801, c_0011_14 + 1154533162261735/9355960763300147*c_1001_2^19 + 2363199616994549/9355960763300147*c_1001_2^18 - 7079211887525690/9355960763300147*c_1001_2^17 - 27652474372335771/9355960763300147*c_1001_2^16 + 12333457050476514/9355960763300147*c_1001_2^15 + 136863484113260041/9355960763300147*c_1001_2^14 + 84739637324866163/9355960763300147*c_1001_2^13 - 322349302291015802/9355960763300147*c_1001_2^12 - 414938373856175325/9355960763300147*c_1001_2^11 + 19946414954253044/492418987542113*c_1001_2^10 + 877611584736739962/9355960763300147*c_1001_2^9 + 3793870549969921/9355960763300147*c_1001_2^8 - 894725072166569911/9355960763300147*c_1001_2^7 - 323550120422736372/9355960763300147*c_1001_2^6 + 462019283591524941/9355960763300147*c_1001_2^5 + 286795121467249262/9355960763300147*c_1001_2^4 - 37470451338090369/9355960763300147*c_1001_2^3 - 105352427142709452/9355960763300147*c_1001_2^2 + 24772179189912114/9355960763300147*c_1001_2 - 19314035970859197/9355960763300147, c_0011_15 + 1298998710329598947645179/5427326252417662867553801*c_1001_\ 2^19 + 1931942492730156889774560/5427326252417662867553801*c_1001_2\ ^18 - 9355151953910759239167354/5427326252417662867553801*c_1001_2^\ 17 - 26453749501513007513880702/5427326252417662867553801*c_1001_2^\ 16 + 30705135048508219483090508/5427326252417662867553801*c_1001_2^\ 15 + 143968921594010445127030586/5427326252417662867553801*c_1001_2\ ^14 + 10073563148064135887158720/5427326252417662867553801*c_1001_2\ ^13 - 405370228913819209345822339/5427326252417662867553801*c_1001_\ 2^12 - 256908679329398534389107331/5427326252417662867553801*c_1001\ _2^11 + 35026859743910395962847249/285648750127245414081779*c_1001_\ 2^10 + 718139860396476797870714204/5427326252417662867553801*c_1001\ _2^9 - 529570203341332670444531316/5427326252417662867553801*c_1001\ _2^8 - 955215739240125349929903844/5427326252417662867553801*c_1001\ _2^7 + 218928206849576637196634231/5427326252417662867553801*c_1001\ _2^6 + 689996678143072531995236582/5427326252417662867553801*c_1001\ _2^5 - 5771407423717663468509941/5427326252417662867553801*c_1001_2\ ^4 - 230112952131599380969699457/5427326252417662867553801*c_1001_2\ ^3 - 77492541894499770112200377/5427326252417662867553801*c_1001_2^\ 2 + 115781705650024108732074095/5427326252417662867553801*c_1001_2 - 45601384067890779986358150/5427326252417662867553801, c_0011_16 + 113275196893067844012996/5427326252417662867553801*c_1001_2\ ^19 + 524998098133001034238186/5427326252417662867553801*c_1001_2^1\ 8 - 96848476552191502102926/5427326252417662867553801*c_1001_2^17 - 4574365110314051354765980/5427326252417662867553801*c_1001_2^16 - 5913055326354351305918378/5427326252417662867553801*c_1001_2^15 + 16956119547057908791438996/5427326252417662867553801*c_1001_2^14 + 44350675468091229010672018/5427326252417662867553801*c_1001_2^13 - 11052663535038033805769078/5427326252417662867553801*c_1001_2^12 - 128975977092966660174548230/5427326252417662867553801*c_1001_2^11 - 3729211366035578185264064/285648750127245414081779*c_1001_2^10 + 197665429141822310699096276/5427326252417662867553801*c_1001_2^9 + 237498561654030381300574028/5427326252417662867553801*c_1001_2^8 - 108119726007680089113792774/5427326252417662867553801*c_1001_2^7 - 291165019764157231100353889/5427326252417662867553801*c_1001_2^6 - 25928407061207593844067682/5427326252417662867553801*c_1001_2^5 + 178365426983881998335513055/5427326252417662867553801*c_1001_2^4 + 66931281479317427891479766/5427326252417662867553801*c_1001_2^3 - 42297660099626238907058638/5427326252417662867553801*c_1001_2^2 - 29747776219029993689779308/5427326252417662867553801*c_1001_2 + 8835663020089197934294071/5427326252417662867553801, c_0101_0 + 2288614816772452698413717/5427326252417662867553801*c_1001_2\ ^19 + 3707197474307431365561893/5427326252417662867553801*c_1001_2^\ 18 - 15959727648745287837568797/5427326252417662867553801*c_1001_2^\ 17 - 48671074670378035717393459/5427326252417662867553801*c_1001_2^\ 16 + 47406720626085778317046093/5427326252417662867553801*c_1001_2^\ 15 + 259190327200654290466942585/5427326252417662867553801*c_1001_2\ ^14 + 52841953911364036619291822/5427326252417662867553801*c_1001_2\ ^13 - 702903513302761746195622827/5427326252417662867553801*c_1001_\ 2^12 - 544760126586410181945023987/5427326252417662867553801*c_1001\ _2^11 + 57239019687280975280338959/285648750127245414081779*c_1001_\ 2^10 + 1397656837078535673248166308/5427326252417662867553801*c_100\ 1_2^9 - 727744089963533240558068256/5427326252417662867553801*c_100\ 1_2^8 - 1746402697089371303988269170/5427326252417662867553801*c_10\ 01_2^7 + 145277426873671413697533405/5427326252417662867553801*c_10\ 01_2^6 + 1190711811045822504871152277/5427326252417662867553801*c_1\ 001_2^5 + 133257917401013953713891846/5427326252417662867553801*c_1\ 001_2^4 - 361243241295152974618855797/5427326252417662867553801*c_1\ 001_2^3 - 158943300020475956859099035/5427326252417662867553801*c_1\ 001_2^2 + 183146608847678639701037578/5427326252417662867553801*c_1\ 001_2 - 72385397569845935242239636/5427326252417662867553801, c_0101_1 - 748846186919462010416171/5427326252417662867553801*c_1001_2^\ 19 - 978315606507470025046172/5427326252417662867553801*c_1001_2^18 + 5658022352043690595696000/5427326252417662867553801*c_1001_2^17 + 14365179563445740585602492/5427326252417662867553801*c_1001_2^16 - 20885680048868970397107306/5427326252417662867553801*c_1001_2^15 - 81013317222983597732348318/5427326252417662867553801*c_1001_2^14 + 10549173188643091993396448/5427326252417662867553801*c_1001_2^13 + 241048234831981232745187254/5427326252417662867553801*c_1001_2^12 + 106717318500428739946248363/5427326252417662867553801*c_1001_2^11 - 22481393863524153761275576/285648750127245414081779*c_1001_2^10 - 356035588165959556959988330/5427326252417662867553801*c_1001_2^9 + 405186596949002417055589534/5427326252417662867553801*c_1001_2^8 + 525778631242515393584556022/5427326252417662867553801*c_1001_2^7 - 240959369260935834541975404/5427326252417662867553801*c_1001_2^6 - 412222760389427851243675306/5427326252417662867553801*c_1001_2^5 + 76753931233251607504555894/5427326252417662867553801*c_1001_2^4 + 157804491227403981277078661/5427326252417662867553801*c_1001_2^3 + 30372975972753905666578346/5427326252417662867553801*c_1001_2^2 - 78024704393301936316663326/5427326252417662867553801*c_1001_2 + 32279746709975185695065672/5427326252417662867553801, c_0101_11 + 806846790009308158082884/5427326252417662867553801*c_1001_2\ ^19 + 1215115898781097101865744/5427326252417662867553801*c_1001_2^\ 18 - 5956540168659155060504576/5427326252417662867553801*c_1001_2^1\ 7 - 16891774831604165373441016/5427326252417662867553801*c_1001_2^1\ 6 + 19730713990676186585191524/5427326252417662867553801*c_1001_2^1\ 5 + 93737657475161998862481040/5427326252417662867553801*c_1001_2^1\ 4 + 6590257287304649997983032/5427326252417662867553801*c_1001_2^13 - 270435323813309143094283404/5427326252417662867553801*c_1001_2^12 - 177763182034279204304368392/5427326252417662867553801*c_1001_2^11 + 23735744457342604545743528/285648750127245414081779*c_1001_2^10 + 511727986162459842976842471/5427326252417662867553801*c_1001_2^9 - 361133782323573859217504328/5427326252417662867553801*c_1001_2^8 - 712053237750835354483056206/5427326252417662867553801*c_1001_2^7 + 107834291146078856766307536/5427326252417662867553801*c_1001_2^6 + 530456229283035203720583893/5427326252417662867553801*c_1001_2^5 + 52033056018524851817278580/5427326252417662867553801*c_1001_2^4 - 186531732247416760536390974/5427326252417662867553801*c_1001_2^3 - 84436706460324678623199060/5427326252417662867553801*c_1001_2^2 + 67049786715604595863647475/5427326252417662867553801*c_1001_2 - 15010775994287629443786508/5427326252417662867553801, c_0101_12 + 42101308586941257500523/285648750127245414081779*c_1001_2^1\ 9 + 79636125007104590161000/285648750127245414081779*c_1001_2^18 - 269515943228281074543956/285648750127245414081779*c_1001_2^17 - 963228811126976921221694/285648750127245414081779*c_1001_2^16 + 594881800887752369994636/285648750127245414081779*c_1001_2^15 + 4867602038925901057081203/285648750127245414081779*c_1001_2^14 + 2319609329272886084495068/285648750127245414081779*c_1001_2^13 - 11986579334718957634231030/285648750127245414081779*c_1001_2^12 - 13079383616484687484850994/285648750127245414081779*c_1001_2^11 + 15703044196371626082493556/285648750127245414081779*c_1001_2^10 + 28972765477441560185352029/285648750127245414081779*c_1001_2^9 - 4629735434794728953614337/285648750127245414081779*c_1001_2^8 - 31232022696174267653862453/285648750127245414081779*c_1001_2^7 - 5731028773830396995967805/285648750127245414081779*c_1001_2^6 + 18044882470282829963508460/285648750127245414081779*c_1001_2^5 + 6328910225952722737429724/285648750127245414081779*c_1001_2^4 - 3663945437118526191247106/285648750127245414081779*c_1001_2^3 - 3019094542107621938804833/285648750127245414081779*c_1001_2^2 + 2391056890877742983721271/285648750127245414081779*c_1001_2 - 863904788789243137867809/285648750127245414081779, c_0101_14 - 3165466981261974919097500/5427326252417662867553801*c_1001_\ 2^19 - 5557353033380402317542764/5427326252417662867553801*c_1001_2\ ^18 + 21159130299694296790976802/5427326252417662867553801*c_1001_2\ ^17 + 69863182710813481201381611/5427326252417662867553801*c_1001_2\ ^16 - 55036504287821965154886141/5427326252417662867553801*c_1001_2\ ^15 - 361965530300985934359316655/5427326252417662867553801*c_1001_\ 2^14 - 124253822512519987746702258/5427326252417662867553801*c_1001\ _2^13 + 934761722863451151428462219/5427326252417662867553801*c_100\ 1_2^12 + 868643327401169095717626860/5427326252417662867553801*c_10\ 01_2^11 - 70247395376095614639915442/285648750127245414081779*c_100\ 1_2^10 - 2050491459320425755794577636/5427326252417662867553801*c_1\ 001_2^9 + 662750188425314807064557281/5427326252417662867553801*c_1\ 001_2^8 + 2363722782821633674433058816/5427326252417662867553801*c_\ 1001_2^7 + 132825615396885621205281162/5427326252417662867553801*c_\ 1001_2^6 - 1471406554776721836866539547/5427326252417662867553801*c\ _1001_2^5 - 342267503365377083854048729/5427326252417662867553801*c\ _1001_2^4 + 363059106860015680326688404/5427326252417662867553801*c\ _1001_2^3 + 235672178808991821144147045/5427326252417662867553801*c\ _1001_2^2 - 194301217191757083867689483/5427326252417662867553801*c\ _1001_2 + 78989142591035375597380720/5427326252417662867553801, c_0101_16 + 2264328373835700744579358/5427326252417662867553801*c_1001_\ 2^19 + 3793026021023276649727696/5427326252417662867553801*c_1001_2\ ^18 - 15578013278127577970174432/5427326252417662867553801*c_1001_2\ ^17 - 49029469389714697313908233/5427326252417662867553801*c_1001_2\ ^16 + 44067350309322991063775460/5427326252417662867553801*c_1001_2\ ^15 + 258757131836859827227473971/5427326252417662867553801*c_1001_\ 2^14 + 67433899564160604912096718/5427326252417662867553801*c_1001_\ 2^13 - 689897683026932759245993257/5427326252417662867553801*c_1001\ _2^12 - 579390558950520486561840308/5427326252417662867553801*c_100\ 1_2^11 + 54433478877175673877234164/285648750127245414081779*c_1001\ _2^10 + 1438277073977110517552333274/5427326252417662867553801*c_10\ 01_2^9 - 618399856578753502356988491/5427326252417662867553801*c_10\ 01_2^8 - 1745946703320525182656753186/5427326252417662867553801*c_1\ 001_2^7 + 17528343157774277473521606/5427326252417662867553801*c_10\ 01_2^6 + 1144487448777697451727557730/5427326252417662867553801*c_1\ 001_2^5 + 210922786543089851542130082/5427326252417662867553801*c_1\ 001_2^4 - 319060778748923897930334098/5427326252417662867553801*c_1\ 001_2^3 - 187090110723005074437905870/5427326252417662867553801*c_1\ 001_2^2 + 152107005512776421853953678/5427326252417662867553801*c_1\ 001_2 - 50402551599970570131970989/5427326252417662867553801, c_0101_7 + 759352554626235440482702/5427326252417662867553801*c_1001_2^\ 19 + 982650147179691154141160/5427326252417662867553801*c_1001_2^18 - 5845969623423678675165934/5427326252417662867553801*c_1001_2^17 - 14732971801350612904234518/5427326252417662867553801*c_1001_2^16 + 21835763970622573398572648/5427326252417662867553801*c_1001_2^15 + 84339283739808788344507072/5427326252417662867553801*c_1001_2^14 - 11638997014425093001197824/5427326252417662867553801*c_1001_2^13 - 255185918241570848356947526/5427326252417662867553801*c_1001_2^12 - 116621747442617210924189180/5427326252417662867553801*c_1001_2^11 + 23908793371219661054492080/285648750127245414081779*c_1001_2^10 + 395813129089439559876497206/5427326252417662867553801*c_1001_2^9 - 426277819240976085868312112/5427326252417662867553801*c_1001_2^8 - 595533891186613155222833462/5427326252417662867553801*c_1001_2^7 + 221068747093448975170586020/5427326252417662867553801*c_1001_2^6 + 460539441494702321483072148/5427326252417662867553801*c_1001_2^5 - 47392255082748597840596231/5427326252417662867553801*c_1001_2^4 - 170884619226595013812040576/5427326252417662867553801*c_1001_2^3 - 42545937201303550521132705/5427326252417662867553801*c_1001_2^2 + 79320663525370632786433908/5427326252417662867553801*c_1001_2 - 27421858883199577285192973/5427326252417662867553801, c_0110_5 + 79600612661553115220386/285648750127245414081779*c_1001_2^19 + 138679856440816630472812/285648750127245414081779*c_1001_2^18 - 534361965757187192206064/285648750127245414081779*c_1001_2^17 - 1749413571370891052736736/285648750127245414081779*c_1001_2^16 + 1410917200516972405473774/285648750127245414081779*c_1001_2^15 + 9086775259868422139473009/285648750127245414081779*c_1001_2^14 + 2981868741363391466710248/285648750127245414081779*c_1001_2^13 - 23571125258062898943614686/285648750127245414081779*c_1001_2^12 - 21477395510819896329037118/285648750127245414081779*c_1001_2^11 + 33970785020430759012083475/285648750127245414081779*c_1001_2^10 + 51024424752608307075470560/285648750127245414081779*c_1001_2^9 - 17613865423807153749537170/285648750127245414081779*c_1001_2^8 - 59142735608641709461849581/285648750127245414081779*c_1001_2^7 - 2076184370804689311912248/285648750127245414081779*c_1001_2^6 + 37064153015449449284671641/285648750127245414081779*c_1001_2^5 + 7468633151816242596400040/285648750127245414081779*c_1001_2^4 - 9350936541508890732755974/285648750127245414081779*c_1001_2^3 - 5391100496501750900372949/285648750127245414081779*c_1001_2^2 + 5308788785591218263389041/285648750127245414081779*c_1001_2 - 2107087153519685932440301/285648750127245414081779, c_1001_1 - 978220834900546281626258/5427326252417662867553801*c_1001_2^\ 19 - 1850848586419849566121956/5427326252417662867553801*c_1001_2^1\ 8 + 6318118433891678064630718/5427326252417662867553801*c_1001_2^17 + 22572572293285156964915246/5427326252417662867553801*c_1001_2^16 - 13952171474953909316292274/5427326252417662867553801*c_1001_2^15 - 114723012969223396536906328/5427326252417662867553801*c_1001_2^14 - 55319024046541021899511942/5427326252417662867553801*c_1001_2^13 + 284231872054110859237433398/5427326252417662867553801*c_1001_2^12 + 316127844356536742525655762/5427326252417662867553801*c_1001_2^11 - 19355091523529402498996124/285648750127245414081779*c_1001_2^10 - 704268491945876754888744928/5427326252417662867553801*c_1001_2^9 + 87363142859518341436282086/5427326252417662867553801*c_1001_2^8 + 762994887673566371882351530/5427326252417662867553801*c_1001_2^7 + 194978783046009177890972076/5427326252417662867553801*c_1001_2^6 - 416079482274863246038482357/5427326252417662867553801*c_1001_2^5 - 200816254892264166330328804/5427326252417662867553801*c_1001_2^4 + 61736332574274216985456002/5427326252417662867553801*c_1001_2^3 + 95149350233172669385924488/5427326252417662867553801*c_1001_2^2 - 32542902887135764366959617/5427326252417662867553801*c_1001_2 + 20859012806498693180435976/5427326252417662867553801, c_1001_11 - 105707981697961090120122/5427326252417662867553801*c_1001_2\ ^19 + 36175432940386903326026/5427326252417662867553801*c_1001_2^18 + 1301056588391065381530868/5427326252417662867553801*c_1001_2^17 + 1275285488444196574602708/5427326252417662867553801*c_1001_2^16 - 7980564446157653202735826/5427326252417662867553801*c_1001_2^15 - 13103182836076695912258876/5427326252417662867553801*c_1001_2^14 + 23411823093088885202449422/5427326252417662867553801*c_1001_2^13 + 63889086257139920954903684/5427326252417662867553801*c_1001_2^12 - 22316891271437472762367555/5427326252417662867553801*c_1001_2^11 - 8502972247750772063122854/285648750127245414081779*c_1001_2^10 - 43390605308999402855194748/5427326252417662867553801*c_1001_2^9 + 235245443969393540826147850/5427326252417662867553801*c_1001_2^8 + 176101150879744372199973130/5427326252417662867553801*c_1001_2^7 - 172679218821788337771019118/5427326252417662867553801*c_1001_2^6 - 204021403963654908288432352/5427326252417662867553801*c_1001_2^5 + 58168686548707879691182578/5427326252417662867553801*c_1001_2^4 + 119389910819615332183772813/5427326252417662867553801*c_1001_2^3 + 18438494830931402542243122/5427326252417662867553801*c_1001_2^2 - 30032695639988812153738066/5427326252417662867553801*c_1001_2 - 3141543199824849901675388/5427326252417662867553801, c_1001_2^20 + c_1001_2^19 - 8*c_1001_2^18 - 17*c_1001_2^17 + 34*c_1001_2^16 + 101*c_1001_2^15 - 47*c_1001_2^14 - 324*c_1001_2^13 - 51*c_1001_2^12 + 627*c_1001_2^11 + 328*c_1001_2^10 - 696*c_1001_2^9 - 587*c_1001_2^8 + 520*c_1001_2^7 + 497*c_1001_2^6 - 239*c_1001_2^5 - 197*c_1001_2^4 + 9*c_1001_2^3 + 120*c_1001_2^2 - 72*c_1001_2 + 19 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1507.940 Total time: 1508.140 seconds, Total memory usage: 5326.19MB