Magma V2.19-8 Mon Sep 9 2013 19:20:06 on localhost [Seed = 309204946] Type ? for help. Type -D to quit. Loading file "10^2_144__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation 10^2_144 geometric_solution 15.02795191 oriented_manifold CS_known -0.0000000000000010 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 16 1 2 3 4 0132 0132 0132 0132 1 1 0 1 0 1 -1 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 -1 1 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.077668166114 0.937617117518 0 5 7 6 0132 0132 0132 0132 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.079638515128 0.583405390836 5 0 7 8 0132 0132 1302 0132 1 0 1 0 0 -1 0 1 0 0 0 0 1 0 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 2 1 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.532587763187 2.073683217721 9 10 11 0 0132 0132 0132 0132 1 1 1 1 0 -1 0 1 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 -1 0 1 -1 0 1 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.288272021895 1.014191662149 9 9 0 6 3120 1230 0132 1230 1 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 0 0 0 0 1 -1 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.793622232528 1.404348445962 2 1 9 8 0132 0132 3012 3120 1 0 0 1 0 0 0 0 0 0 0 0 -1 0 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 -2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.381628071051 0.751821186152 4 10 1 11 3012 3012 0132 3012 1 1 1 1 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 -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.463623714696 0.660650305010 2 12 13 1 2031 0132 0132 0132 1 1 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 3 -3 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.574114643313 1.224827366231 5 14 2 15 3120 0132 0132 0132 1 0 0 1 0 1 -1 0 0 0 0 0 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2 3 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.253264936433 0.728378706099 3 5 4 4 0132 1230 3012 3120 0 1 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 0 0 0 1 -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 0 0 0 0 0.793622232528 1.404348445962 6 3 14 11 1230 0132 0132 3120 1 1 1 1 0 1 0 -1 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 1 0 -1 0 0 1 -1 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.327399137010 0.494094871582 10 13 6 3 3120 1230 1230 0132 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 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.327399137010 0.494094871582 15 7 14 14 0213 0132 2103 0132 1 1 0 0 0 0 1 -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 0 0 0 1 0 0 -1 0 0 0 0 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.630949080430 0.906885938425 15 15 11 7 3012 0132 3012 0132 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 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.630949080430 0.906885938425 12 8 12 10 2103 0132 0132 0132 1 1 1 0 0 -1 1 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 -1 0 0 0 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.483056945078 0.743020953696 12 13 8 13 0213 0132 0132 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.483056945078 0.743020953696 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_15' : d['c_1001_14'], 'c_1001_14' : d['c_1001_14'], 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : d['c_1001_0'], 'c_1001_13' : negation(d['c_0011_11']), 'c_1001_12' : d['c_0011_14'], 'c_1001_5' : negation(d['c_0011_10']), 'c_1001_4' : d['c_0101_1'], 'c_1001_7' : d['c_1001_14'], 'c_1001_6' : negation(d['c_0011_10']), 'c_1001_1' : d['c_0011_14'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0011_11']), 'c_1001_2' : d['c_0101_1'], 'c_1001_9' : negation(d['c_0011_4']), 'c_1001_8' : d['c_1001_0'], 'c_1010_13' : d['c_1001_14'], 'c_1010_12' : d['c_1001_14'], 'c_1010_11' : negation(d['c_0011_11']), 'c_1010_10' : negation(d['c_0011_11']), 'c_1010_15' : negation(d['c_0011_11']), 'c_1010_14' : d['c_1001_0'], 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_0_14' : d['1'], 's_3_14' : d['1'], 'c_0101_13' : negation(d['c_0011_11']), 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_10'], 'c_0101_10' : d['c_0101_10'], 'c_0101_15' : d['c_0011_12'], 'c_0101_14' : negation(d['c_0011_13']), '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_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' : d['1'], 's_0_1' : d['1'], 'c_0011_15' : negation(d['c_0011_13']), 'c_0011_14' : d['c_0011_14'], 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_13' : d['c_0011_13'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0110_6'], 'c_1100_7' : negation(d['c_1001_11']), 'c_1100_6' : negation(d['c_1001_11']), 'c_1100_1' : negation(d['c_1001_11']), 'c_1100_0' : d['c_0110_6'], 'c_1100_3' : d['c_0110_6'], 'c_1100_2' : d['c_0101_7'], 'c_1100_14' : negation(d['c_0101_10']), 's_0_15' : d['1'], 'c_1100_15' : d['c_0101_7'], 's_0_10' : d['1'], 'c_1100_11' : d['c_0110_6'], 'c_1100_10' : negation(d['c_0101_10']), 'c_1100_13' : negation(d['c_1001_11']), 's_0_11' : d['1'], 's_3_13' : d['1'], 'c_1010_7' : d['c_0011_14'], 'c_1010_6' : negation(d['c_0101_10']), 'c_1010_5' : d['c_0011_14'], 's_0_13' : d['1'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0011_10']), 'c_1010_0' : d['c_0101_1'], 's_2_8' : d['1'], 'c_1010_9' : negation(d['c_0011_4']), 'c_1010_8' : d['c_1001_14'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0101_10']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : negation(d['c_0011_14']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_12']), 'c_0110_6' : d['c_0110_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_6'], 'c_0110_10' : d['c_0011_6'], 'c_0110_13' : d['c_0101_7'], 'c_0110_12' : negation(d['c_0011_13']), 'c_0110_15' : d['c_0011_13'], 'c_0110_14' : d['c_0101_10'], 'c_1010_4' : d['c_0101_0'], 'c_0101_12' : negation(d['c_0011_13']), 'c_0110_0' : d['c_0101_1'], 'c_0011_6' : d['c_0011_6'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_3_15' : d['1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_4']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_6'], 'c_0101_2' : d['c_0011_12'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : negation(d['c_0011_4']), '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_0011_6'], 'c_0110_8' : d['c_0011_12'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0101_1']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0011_12'], 'c_0110_4' : d['c_0011_6'], 'c_0110_7' : d['c_0101_1'], 'c_1100_8' : d['c_0101_7']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 17 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_13, c_0011_14, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_10, c_0101_7, c_0110_6, c_1001_0, c_1001_11, c_1001_14 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 10 Groebner basis: [ t - 544739944056075/946537664*c_1001_14^9 - 30047054796621977/7572301312*c_1001_14^8 - 398029883508841167/30289205248*c_1001_14^7 - 349393881969794467/15144602624*c_1001_14^6 - 661326118209159443/30289205248*c_1001_14^5 - 56233045852672979/7572301312*c_1001_14^4 + 1168839638961317/946537664*c_1001_14^3 - 17063993568303905/3786150656*c_1001_14^2 - 13406268257224739/1893075328*c_1001_14 - 2171477326502887/946537664, c_0011_0 - 1, c_0011_10 - 262821809/207055114*c_1001_14^9 - 13361244987/1656440912*c_1001_14^8 - 165236861085/6625763648*c_1001_14^7 - 130522085053/3312881824*c_1001_14^6 - 31048929407/946537664*c_1001_14^5 - 12031488505/1656440912*c_1001_14^4 + 901174059/828220456*c_1001_14^3 - 1227504201/118317208*c_1001_14^2 - 4297702205/414110228*c_1001_14 - 625393605/207055114, c_0011_11 + 293835603/828220456*c_1001_14^9 + 16150424625/6625763648*c_1001_14^8 + 218042749367/26503054592*c_1001_14^7 + 197727555651/13251527296*c_1001_14^6 + 58018572301/3786150656*c_1001_14^5 + 42550759231/6625763648*c_1001_14^4 + 294951961/828220456*c_1001_14^3 + 1165820207/473268832*c_1001_14^2 + 7863668763/1656440912*c_1001_14 + 1655215503/828220456, c_0011_12 + 172896581/236634416*c_1001_14^9 + 9505237463/1893075328*c_1001_14^8 + 125413969345/7572301312*c_1001_14^7 + 109201785309/3786150656*c_1001_14^6 + 203023656765/7572301312*c_1001_14^5 + 16062724853/1893075328*c_1001_14^4 - 394972281/236634416*c_1001_14^3 + 5895494175/946537664*c_1001_14^2 + 4145832733/473268832*c_1001_14 + 423469833/236634416, c_0011_13 + 650085971/236634416*c_1001_14^9 + 34927923505/1893075328*c_1001_14^8 + 453124472503/7572301312*c_1001_14^7 + 385925066499/3786150656*c_1001_14^6 + 706090835995/7572301312*c_1001_14^5 + 54211070647/1893075328*c_1001_14^4 - 646709805/118317208*c_1001_14^3 + 19660206305/946537664*c_1001_14^2 + 14066317307/473268832*c_1001_14 + 2175683815/236634416, c_0011_14 + 80824593/118317208*c_1001_14^9 + 5074411643/946537664*c_1001_14^8 + 73445170477/3786150656*c_1001_14^7 + 72235208583/1893075328*c_1001_14^6 + 152316206377/3786150656*c_1001_14^5 + 4109735903/236634416*c_1001_14^4 - 1465657541/473268832*c_1001_14^3 + 2577066501/473268832*c_1001_14^2 + 3147124025/236634416*c_1001_14 + 600767571/118317208, c_0011_4 - 218132521/236634416*c_1001_14^9 - 11826734435/1893075328*c_1001_14^8 - 154248288949/7572301312*c_1001_14^7 - 132473264533/3786150656*c_1001_14^6 - 244269197505/7572301312*c_1001_14^5 - 19609717147/1893075328*c_1001_14^4 + 874103513/473268832*c_1001_14^3 - 7013220023/946537664*c_1001_14^2 - 5005384817/473268832*c_1001_14 - 862823329/236634416, c_0011_6 + 262821809/207055114*c_1001_14^9 + 13361244987/1656440912*c_1001_14^8 + 165236861085/6625763648*c_1001_14^7 + 130522085053/3312881824*c_1001_14^6 + 31048929407/946537664*c_1001_14^5 + 12031488505/1656440912*c_1001_14^4 - 901174059/828220456*c_1001_14^3 + 1227504201/118317208*c_1001_14^2 + 4297702205/414110228*c_1001_14 + 418338491/207055114, c_0101_0 - 1, c_0101_1 - 218132521/236634416*c_1001_14^9 - 11826734435/1893075328*c_1001_14^8 - 154248288949/7572301312*c_1001_14^7 - 132473264533/3786150656*c_1001_14^6 - 244269197505/7572301312*c_1001_14^5 - 19609717147/1893075328*c_1001_14^4 + 874103513/473268832*c_1001_14^3 - 7013220023/946537664*c_1001_14^2 - 5005384817/473268832*c_1001_14 - 862823329/236634416, c_0101_10 - 293835603/828220456*c_1001_14^9 - 16150424625/6625763648*c_1001_14^8 - 218042749367/26503054592*c_1001_14^7 - 197727555651/13251527296*c_1001_14^6 - 58018572301/3786150656*c_1001_14^5 - 42550759231/6625763648*c_1001_14^4 - 294951961/828220456*c_1001_14^3 - 1165820207/473268832*c_1001_14^2 - 7863668763/1656440912*c_1001_14 - 1655215503/828220456, c_0101_7 + 80824593/118317208*c_1001_14^9 + 5074411643/946537664*c_1001_14^8 + 73445170477/3786150656*c_1001_14^7 + 72235208583/1893075328*c_1001_14^6 + 152316206377/3786150656*c_1001_14^5 + 4109735903/236634416*c_1001_14^4 - 1465657541/473268832*c_1001_14^3 + 2577066501/473268832*c_1001_14^2 + 3147124025/236634416*c_1001_14 + 600767571/118317208, c_0110_6 - 262821809/207055114*c_1001_14^9 - 13361244987/1656440912*c_1001_14^8 - 165236861085/6625763648*c_1001_14^7 - 130522085053/3312881824*c_1001_14^6 - 31048929407/946537664*c_1001_14^5 - 12031488505/1656440912*c_1001_14^4 + 901174059/828220456*c_1001_14^3 - 1227504201/118317208*c_1001_14^2 - 4297702205/414110228*c_1001_14 - 625393605/207055114, c_1001_0 + 624844915/1656440912*c_1001_14^9 + 21722226961/13251527296*c_1001_14^8 + 156376772375/53006109184*c_1001_14^7 - 30190188661/26503054592*c_1001_14^6 - 59269871379/7572301312*c_1001_14^5 - 119015400757/13251527296*c_1001_14^4 + 2611763935/1656440912*c_1001_14^3 + 3437486671/946537664*c_1001_14^2 - 10031461173/3312881824*c_1001_14 - 3519743889/1656440912, c_1001_11 + 624844915/1656440912*c_1001_14^9 + 21722226961/13251527296*c_1001_14^8 + 156376772375/53006109184*c_1001_14^7 - 30190188661/26503054592*c_1001_14^6 - 59269871379/7572301312*c_1001_14^5 - 119015400757/13251527296*c_1001_14^4 + 2611763935/1656440912*c_1001_14^3 + 3437486671/946537664*c_1001_14^2 - 10031461173/3312881824*c_1001_14 - 3519743889/1656440912, c_1001_14^10 + 59/8*c_1001_14^9 + 837/32*c_1001_14^8 + 409/8*c_1001_14^7 + 1837/32*c_1001_14^6 + 503/16*c_1001_14^5 + 17/4*c_1001_14^4 + 27/4*c_1001_14^3 + 16*c_1001_14^2 + 10*c_1001_14 + 2 ], Ideal of Polynomial ring of rank 17 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_13, c_0011_14, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_10, c_0101_7, c_0110_6, c_1001_0, c_1001_11, c_1001_14 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 7090607021218479289347/6489466286366323*c_1001_14^15 + 3339228438041934937042402/1602898172732481781*c_1001_14^14 - 14738142373416437674593/6411592690929927124*c_1001_14^13 - 1053294712882648274120909/246599718881920274*c_1001_14^12 - 18277425055950417434731597/6411592690929927124*c_1001_14^11 + 2924264811560478279524705/493199437763840548*c_1001_14^10 + 99528050534445671416251627/6411592690929927124*c_1001_14^9 + 31418855087451860893871725/1602898172732481781*c_1001_14^8 + 108288021844683130095144595/6411592690929927124*c_1001_14^7 + 67862679358818375808032777/6411592690929927124*c_1001_14^6 + 31719570126085842487073115/6411592690929927124*c_1001_14^5 + 5652590597119401685634023/3205796345464963562*c_1001_14^4 + 758232106794469829310083/1602898172732481781*c_1001_14^3 + 569459875377258277715659/6411592690929927124*c_1001_14^2 + 82102164942066785733365/6411592690929927124*c_1001_14 + 239755541110179760215/493199437763840548, c_0011_0 - 1, c_0011_10 - 239939728389996427/307193670360536*c_1001_14^15 - 229561373987946715/153596835180268*c_1001_14^14 - 42310792265093009/307193670360536*c_1001_14^13 + 110931665655295692/38399208795067*c_1001_14^12 + 326678776755533947/153596835180268*c_1001_14^11 - 1178102225091393137/307193670360536*c_1001_14^10 - 3389260658413937401/307193670360536*c_1001_14^9 - 2256364087327828309/153596835180268*c_1001_14^8 - 2076349152456727951/153596835180268*c_1001_14^7 - 2867948565088773739/307193670360536*c_1001_14^6 - 778763403269446027/153596835180268*c_1001_14^5 - 86069295934027033/38399208795067*c_1001_14^4 - 31481407967805332/38399208795067*c_1001_14^3 - 72079934569158743/307193670360536*c_1001_14^2 - 15176569168865485/307193670360536*c_1001_14 - 1709332480169677/307193670360536, c_0011_11 + 621238282267938127/307193670360536*c_1001_14^15 + 214981376490347862/38399208795067*c_1001_14^14 + 1044575910069528621/307193670360536*c_1001_14^13 - 1196650735274658807/153596835180268*c_1001_14^12 - 938278823217575251/76798417590134*c_1001_14^11 + 1860748535349313677/307193670360536*c_1001_14^10 + 11736380592057266257/307193670360536*c_1001_14^9 + 4743143240045509921/76798417590134*c_1001_14^8 + 2434994748512209427/38399208795067*c_1001_14^7 + 14469263902244222403/307193670360536*c_1001_14^6 + 4022007417057287481/153596835180268*c_1001_14^5 + 847120994021922247/76798417590134*c_1001_14^4 + 539173935844499433/153596835180268*c_1001_14^3 + 252006589903473035/307193670360536*c_1001_14^2 + 39725069778476463/307193670360536*c_1001_14 + 4006472449226447/307193670360536, c_0011_12 - 20243501619010774/38399208795067*c_1001_14^15 - 101820408947135137/76798417590134*c_1001_14^14 - 50483618776461837/76798417590134*c_1001_14^13 + 77115008274580148/38399208795067*c_1001_14^12 + 102845171401500695/38399208795067*c_1001_14^11 - 287212429816951151/153596835180268*c_1001_14^10 - 709324078174206779/76798417590134*c_1001_14^9 - 548739353774966853/38399208795067*c_1001_14^8 - 3521351152066173/245362356518*c_1001_14^7 - 1614074660849037899/153596835180268*c_1001_14^6 - 222841005077418039/38399208795067*c_1001_14^5 - 188663474517427389/76798417590134*c_1001_14^4 - 61481535991442373/76798417590134*c_1001_14^3 - 29804708625468083/153596835180268*c_1001_14^2 - 1281055796679805/38399208795067*c_1001_14 - 611678954602783/153596835180268, c_0011_13 - 68862154273847701/153596835180268*c_1001_14^15 - 138598404261362967/153596835180268*c_1001_14^14 - 25096530439669161/153596835180268*c_1001_14^13 + 124752514714889441/76798417590134*c_1001_14^12 + 105098967468021301/76798417590134*c_1001_14^11 - 155927019317406707/76798417590134*c_1001_14^10 - 993778463355979127/153596835180268*c_1001_14^9 - 350037781976182154/38399208795067*c_1001_14^8 - 336811507053459204/38399208795067*c_1001_14^7 - 483133318815218793/76798417590134*c_1001_14^6 - 134534037036937707/38399208795067*c_1001_14^5 - 236042175167884617/153596835180268*c_1001_14^4 - 20146241696987263/38399208795067*c_1001_14^3 - 20181068555082213/153596835180268*c_1001_14^2 - 3485973505289085/153596835180268*c_1001_14 - 381676350024525/153596835180268, c_0011_14 + 31112977610166439/76798417590134*c_1001_14^15 + 35102040086073838/38399208795067*c_1001_14^14 + 8672625141630178/38399208795067*c_1001_14^13 - 258216724604762057/153596835180268*c_1001_14^12 - 61952292232697451/38399208795067*c_1001_14^11 + 311022381143472673/153596835180268*c_1001_14^10 + 512316961569908013/76798417590134*c_1001_14^9 + 1383059649712239239/153596835180268*c_1001_14^8 + 311390434102495212/38399208795067*c_1001_14^7 + 809054307182469339/153596835180268*c_1001_14^6 + 96759891182789003/38399208795067*c_1001_14^5 + 137562107276599811/153596835180268*c_1001_14^4 + 18037064342845041/76798417590134*c_1001_14^3 + 3044537852512473/76798417590134*c_1001_14^2 + 137093586778329/38399208795067*c_1001_14 + 91462659943079/153596835180268, c_0011_4 + 205652802707172223/153596835180268*c_1001_14^15 + 467211649697756335/153596835180268*c_1001_14^14 + 141602240795269895/153596835180268*c_1001_14^13 - 809524090151233813/153596835180268*c_1001_14^12 - 834479648379715153/153596835180268*c_1001_14^11 + 928019386156185763/153596835180268*c_1001_14^10 + 3344991258078400847/153596835180268*c_1001_14^9 + 4750871013196600223/153596835180268*c_1001_14^8 + 4486740691675296133/153596835180268*c_1001_14^7 + 3096942312065940363/153596835180268*c_1001_14^6 + 805486455702664351/76798417590134*c_1001_14^5 + 321740636936855265/76798417590134*c_1001_14^4 + 197784368490135751/153596835180268*c_1001_14^3 + 45258245798644825/153596835180268*c_1001_14^2 + 1856546691577201/38399208795067*c_1001_14 + 229282504018269/38399208795067, c_0011_6 + 263652379397920097/153596835180268*c_1001_14^15 + 719525110479031465/153596835180268*c_1001_14^14 + 624191023013593/245362356518*c_1001_14^13 - 545754530875868193/76798417590134*c_1001_14^12 - 390172730265920395/38399208795067*c_1001_14^11 + 970610374088468659/153596835180268*c_1001_14^10 + 1262827389174338783/38399208795067*c_1001_14^9 + 1924579929068386331/38399208795067*c_1001_14^8 + 3761772949552588891/76798417590134*c_1001_14^7 + 5304980751240206863/153596835180268*c_1001_14^6 + 2769751559315054295/153596835180268*c_1001_14^5 + 1088516590596303529/153596835180268*c_1001_14^4 + 327667642334093897/153596835180268*c_1001_14^3 + 37525519069859727/76798417590134*c_1001_14^2 + 12534531763116103/153596835180268*c_1001_14 + 411464612633213/38399208795067, c_0101_0 - 1, c_0101_1 - 165179398310890379/153596835180268*c_1001_14^15 - 374733403846645097/153596835180268*c_1001_14^14 - 116239195383555435/153596835180268*c_1001_14^13 + 162410817421339295/38399208795067*c_1001_14^12 + 674116806197628863/153596835180268*c_1001_14^11 - 369585632892309687/76798417590134*c_1001_14^10 - 2693181404126330519/153596835180268*c_1001_14^9 - 956437908636941533/38399208795067*c_1001_14^8 - 3611309220803273077/153596835180268*c_1001_14^7 - 621490600572098672/38399208795067*c_1001_14^6 - 643774940660014449/76798417590134*c_1001_14^5 - 510792395974592479/153596835180268*c_1001_14^4 - 156036431227384041/153596835180268*c_1001_14^3 - 35655497645571717/153596835180268*c_1001_14^2 - 1532330013595784/38399208795067*c_1001_14 - 660938793216211/153596835180268, c_0101_10 + 456561485969488601/307193670360536*c_1001_14^15 + 645391903809864913/153596835180268*c_1001_14^14 + 868849583680092097/307193670360536*c_1001_14^13 - 842011208706462159/153596835180268*c_1001_14^12 - 362917569313856274/38399208795067*c_1001_14^11 + 1102022261714400575/307193670360536*c_1001_14^10 + 8724090179183581097/307193670360536*c_1001_14^9 + 3663348864467810805/76798417590134*c_1001_14^8 + 3847958674230797255/76798417590134*c_1001_14^7 + 11644038063244180337/307193670360536*c_1001_14^6 + 1643419158768061315/76798417590134*c_1001_14^5 + 1395000580344387055/153596835180268*c_1001_14^4 + 110332724750405927/38399208795067*c_1001_14^3 + 202233718467925523/307193670360536*c_1001_14^2 + 30460312215685657/307193670360536*c_1001_14 + 2527929478791067/307193670360536, c_0101_7 + 11595221795883947/76798417590134*c_1001_14^15 + 41228099821009731/76798417590134*c_1001_14^14 + 18809936786033635/38399208795067*c_1001_14^13 - 82813813561821159/153596835180268*c_1001_14^12 - 104621339253831411/76798417590134*c_1001_14^11 + 11445134410936799/153596835180268*c_1001_14^10 + 131000646393094004/38399208795067*c_1001_14^9 + 980439409370270877/153596835180268*c_1001_14^8 + 273320517741002065/38399208795067*c_1001_14^7 + 875042575722153491/153596835180268*c_1001_14^6 + 261873205911351971/76798417590134*c_1001_14^5 + 238952310375777659/153596835180268*c_1001_14^4 + 20846435670326113/38399208795067*c_1001_14^3 + 11010719946805447/76798417590134*c_1001_14^2 + 947543340287955/38399208795067*c_1001_14 + 476587321069019/153596835180268, c_0110_6 + 404616524688445953/307193670360536*c_1001_14^15 + 222047488069736625/76798417590134*c_1001_14^14 + 218037118654529533/307193670360536*c_1001_14^13 - 199591547297344854/38399208795067*c_1001_14^12 - 751566145935259353/153596835180268*c_1001_14^11 + 1936828498726306239/307193670360536*c_1001_14^10 + 6401551071287622561/307193670360536*c_1001_14^9 + 4415952838483226541/153596835180268*c_1001_14^8 + 4120410798043971149/153596835180268*c_1001_14^7 + 5693174404088815805/307193670360536*c_1001_14^6 + 756966251395305439/76798417590134*c_1001_14^5 + 643518591435565571/153596835180268*c_1001_14^4 + 223768668714097053/153596835180268*c_1001_14^3 + 121852806004706255/307193670360536*c_1001_14^2 + 24441326731656291/307193670360536*c_1001_14 + 3495069120965593/307193670360536, c_1001_0 - 367102033063004031/307193670360536*c_1001_14^15 - 374881988340798463/153596835180268*c_1001_14^14 - 23711390141201875/307193670360536*c_1001_14^13 + 400098559506481371/76798417590134*c_1001_14^12 + 148625452334979831/38399208795067*c_1001_14^11 - 2179823750592315241/307193670360536*c_1001_14^10 - 5786407691089820467/307193670360536*c_1001_14^9 - 3449688877171258231/153596835180268*c_1001_14^8 - 1335794978254990519/76798417590134*c_1001_14^7 - 2758024929134080923/307193670360536*c_1001_14^6 - 102916385318114193/38399208795067*c_1001_14^5 - 8467640715605435/76798417590134*c_1001_14^4 + 21796905482607967/76798417590134*c_1001_14^3 + 40793085006799977/307193670360536*c_1001_14^2 + 8419930526000661/307193670360536*c_1001_14 + 230604543310047/307193670360536, c_1001_11 - 1061348829066406647/307193670360536*c_1001_14^15 - 1363394755832797495/153596835180268*c_1001_14^14 - 1312066054746684093/307193670360536*c_1001_14^13 + 1063295898228034161/76798417590134*c_1001_14^12 + 1397381055610437049/76798417590134*c_1001_14^11 - 4080352791780091449/307193670360536*c_1001_14^10 - 19162616841213499805/307193670360536*c_1001_14^9 - 14455048222792744429/153596835180268*c_1001_14^8 - 3536488258133778851/38399208795067*c_1001_14^7 - 20097816050006603767/307193670360536*c_1001_14^6 - 5335539888696059155/153596835180268*c_1001_14^5 - 1077173854019401591/76798417590134*c_1001_14^4 - 667611915134030763/153596835180268*c_1001_14^3 - 310317303388537379/307193670360536*c_1001_14^2 - 51267627228239295/307193670360536*c_1001_14 - 6596695426823125/307193670360536, c_1001_14^16 + 773/247*c_1001_14^15 + 681/247*c_1001_14^14 - 773/247*c_1001_14^13 - 1842/247*c_1001_14^12 + 139/247*c_1001_14^11 + 4908/247*c_1001_14^10 + 717/19*c_1001_14^9 + 10688/247*c_1001_14^8 + 8829/247*c_1001_14^7 + 5527/247*c_1001_14^6 + 2672/247*c_1001_14^5 + 1006/247*c_1001_14^4 + 293/247*c_1001_14^3 + 64/247*c_1001_14^2 + 10/247*c_1001_14 + 1/247 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 25.430 Total time: 25.640 seconds, Total memory usage: 315.81MB