Magma V2.19-8 Tue Aug 20 2013 23:54:54 on localhost [Seed = 2749746146] Type ? for help. Type -D to quit. Loading file "K12n564__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n564 geometric_solution 11.32743025 oriented_manifold CS_known -0.0000000000000001 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 1 0 -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 1 -1 0 0 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.616970329886 0.868201864085 0 4 4 5 0132 1023 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 -1 1 0 0 0 1 -1 -4 4 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.041506488124 0.706660068409 6 0 8 7 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 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 1.870775289821 0.987444713769 6 9 10 0 2031 0132 0132 0132 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 0 0 0 -5 1 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.670658968022 0.491716356150 1 5 0 1 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 1 -1 1 0 0 -1 -4 5 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.041506488124 0.706660068409 6 4 1 10 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 -1 0 1 0 0 0 0 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.616970329886 0.868201864085 2 5 3 11 0132 1023 1302 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 1 0 -1 0 0 0 0 0 0 0 0 0 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.670658968022 0.491716356150 12 9 2 12 0132 0213 0132 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.689479351335 0.696904607813 11 9 10 2 0132 2310 2310 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.090827957674 0.373006792546 11 3 7 8 3120 0132 0213 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.300832285718 1.194049560407 12 8 5 3 1230 3201 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.870775289821 0.987444713769 8 12 6 9 0132 2310 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.300832285718 1.194049560407 7 10 7 11 0132 3012 2031 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.533449795160 1.197226728340 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_10'], 'c_1001_10' : negation(d['c_0101_8']), 'c_1001_12' : negation(d['c_0011_10']), 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : negation(d['c_0101_8']), 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_0101_0'], 'c_1001_1' : d['c_0101_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : negation(d['c_0101_8']), 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : negation(d['c_1001_3']), 'c_1010_12' : negation(d['c_0101_10']), 'c_1010_11' : d['c_0011_3'], 'c_1010_10' : d['c_1001_3'], 's_0_10' : 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_0011_10'], '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' : 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' : negation(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_1100_9' : d['c_0011_11'], 'c_1100_8' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_1100_0'], 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : d['c_0011_10'], 'c_1100_6' : d['c_0011_12'], 'c_1100_1' : d['c_1100_0'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_0011_10'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_12'], 'c_1100_10' : d['c_1100_0'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_11'], 'c_1010_6' : d['c_0101_10'], 'c_1010_5' : negation(d['c_0101_8']), 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : negation(d['c_0101_8']), 'c_1010_9' : d['c_1001_3'], 'c_1010_8' : negation(d['c_0101_8']), 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0011_11']), 's_1_7' : d['1'], 's_1_6' : 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_3']), 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_7' : negation(d['c_0011_12']), 'c_0110_6' : d['c_0101_11'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_8'], 'c_0110_10' : d['c_0011_12'], 'c_0110_12' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_0'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : negation(d['c_0011_3']), 'c_0101_6' : negation(d['c_0011_3']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_12'], 'c_0101_2' : d['c_0101_11'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_12']), 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_8'], 'c_0110_8' : d['c_0101_11'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : d['c_0011_10'], '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_3, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_8, c_1001_0, c_1001_3, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t + 94343138567/465328142883*c_1001_3^11 + 40654882453/465328142883*c_1001_3^10 - 1296702949456/465328142883*c_1001_3^9 - 2091962960243/465328142883*c_1001_3^8 + 5297208066983/465328142883*c_1001_3^7 + 17498043576118/465328142883*c_1001_3^6 + 7431362590001/465328142883*c_1001_3^5 - 28276210477144/465328142883*c_1001_3^4 - 3844672243049/51703126987*c_1001_3^3 + 1680156932707/465328142883*c_1001_3^2 + 13687541648459/465328142883*c_1001_3 - 642309883408/155109380961, c_0011_0 - 1, c_0011_10 - 353784214/9124081233*c_1001_3^11 - 166172513/9124081233*c_1001_3^10 + 4800424388/9124081233*c_1001_3^9 + 7841604505/9124081233*c_1001_3^8 - 18549798124/9124081233*c_1001_3^7 - 63702378710/9124081233*c_1001_3^6 - 33069892957/9124081233*c_1001_3^5 + 89741962184/9124081233*c_1001_3^4 + 39409520493/3041360411*c_1001_3^3 + 9230732953/9124081233*c_1001_3^2 - 34764913783/9124081233*c_1001_3 - 1546516404/3041360411, c_0011_11 + 353784214/9124081233*c_1001_3^11 + 166172513/9124081233*c_1001_3^10 - 4800424388/9124081233*c_1001_3^9 - 7841604505/9124081233*c_1001_3^8 + 18549798124/9124081233*c_1001_3^7 + 63702378710/9124081233*c_1001_3^6 + 33069892957/9124081233*c_1001_3^5 - 89741962184/9124081233*c_1001_3^4 - 39409520493/3041360411*c_1001_3^3 - 9230732953/9124081233*c_1001_3^2 + 34764913783/9124081233*c_1001_3 + 1546516404/3041360411, c_0011_12 - 1247865047/9124081233*c_1001_3^11 - 1794553828/9124081233*c_1001_3^10 + 13747292035/9124081233*c_1001_3^9 + 41207277272/9124081233*c_1001_3^8 - 8923861742/9124081233*c_1001_3^7 - 214035461239/9124081233*c_1001_3^6 - 376042505120/9124081233*c_1001_3^5 - 206863687223/9124081233*c_1001_3^4 + 31098377775/3041360411*c_1001_3^3 + 128136556202/9124081233*c_1001_3^2 + 10437725338/9124081233*c_1001_3 - 3436652556/3041360411, c_0011_3 + 652184977/9124081233*c_1001_3^11 + 526000835/9124081233*c_1001_3^10 - 7340784752/9124081233*c_1001_3^9 - 17195823847/9124081233*c_1001_3^8 + 13463834614/9124081233*c_1001_3^7 + 103546841381/9124081233*c_1001_3^6 + 143097715216/9124081233*c_1001_3^5 + 32473871764/9124081233*c_1001_3^4 - 29408290617/3041360411*c_1001_3^3 - 60126411394/9124081233*c_1001_3^2 + 10189131577/9124081233*c_1001_3 + 2131215788/3041360411, c_0101_0 + 68773626/3041360411*c_1001_3^11 + 429521020/3041360411*c_1001_3^10 - 487930422/3041360411*c_1001_3^9 - 6108970522/3041360411*c_1001_3^8 - 7911271383/3041360411*c_1001_3^7 + 19760275678/3041360411*c_1001_3^6 + 71250541287/3041360411*c_1001_3^5 + 76369365470/3041360411*c_1001_3^4 + 11023321117/3041360411*c_1001_3^3 - 27750117907/3041360411*c_1001_3^2 - 8356166359/3041360411*c_1001_3 - 658558940/3041360411, c_0101_1 - 207286711/9124081233*c_1001_3^11 - 505800677/9124081233*c_1001_3^10 + 2307953408/9124081233*c_1001_3^9 + 9253243852/9124081233*c_1001_3^8 + 1296827018/9124081233*c_1001_3^7 - 43317581363/9124081233*c_1001_3^6 - 84506612926/9124081233*c_1001_3^5 - 50432825293/9124081233*c_1001_3^4 + 5038925183/3041360411*c_1001_3^3 + 8319472192/9124081233*c_1001_3^2 - 10806465112/9124081233*c_1001_3 + 1378645360/3041360411, c_0101_10 + 595680070/9124081233*c_1001_3^11 + 1268552993/9124081233*c_1001_3^10 - 6406507283/9124081233*c_1001_3^9 - 24011453425/9124081233*c_1001_3^8 - 4539972872/9124081233*c_1001_3^7 + 110488619858/9124081233*c_1001_3^6 + 232944789904/9124081233*c_1001_3^5 + 174389815459/9124081233*c_1001_3^4 - 1690087158/3041360411*c_1001_3^3 - 68010144808/9124081233*c_1001_3^2 - 20626856915/9124081233*c_1001_3 + 1305436768/3041360411, c_0101_11 - 913889306/9124081233*c_1001_3^11 - 1620908086/9124081233*c_1001_3^10 + 11064640042/9124081233*c_1001_3^9 + 34010120576/9124081233*c_1001_3^8 - 13365782099/9124081233*c_1001_3^7 - 186685584454/9124081233*c_1001_3^6 - 279891409775/9124081233*c_1001_3^5 - 49624172042/9124081233*c_1001_3^4 + 67795719869/3041360411*c_1001_3^3 + 101711819627/9124081233*c_1001_3^2 - 35337247256/9124081233*c_1001_3 - 2434473868/3041360411, c_0101_8 + 68773626/3041360411*c_1001_3^11 + 429521020/3041360411*c_1001_3^10 - 487930422/3041360411*c_1001_3^9 - 6108970522/3041360411*c_1001_3^8 - 7911271383/3041360411*c_1001_3^7 + 19760275678/3041360411*c_1001_3^6 + 71250541287/3041360411*c_1001_3^5 + 76369365470/3041360411*c_1001_3^4 + 11023321117/3041360411*c_1001_3^3 - 27750117907/3041360411*c_1001_3^2 - 8356166359/3041360411*c_1001_3 - 658558940/3041360411, c_1001_0 - 595680070/9124081233*c_1001_3^11 - 1268552993/9124081233*c_1001_3^10 + 6406507283/9124081233*c_1001_3^9 + 24011453425/9124081233*c_1001_3^8 + 4539972872/9124081233*c_1001_3^7 - 110488619858/9124081233*c_1001_3^6 - 232944789904/9124081233*c_1001_3^5 - 174389815459/9124081233*c_1001_3^4 + 1690087158/3041360411*c_1001_3^3 + 68010144808/9124081233*c_1001_3^2 + 20626856915/9124081233*c_1001_3 - 1305436768/3041360411, c_1001_3^12 + 2*c_1001_3^11 - 11*c_1001_3^10 - 40*c_1001_3^9 - 2*c_1001_3^8 + 197*c_1001_3^7 + 379*c_1001_3^6 + 208*c_1001_3^5 - 147*c_1001_3^4 - 184*c_1001_3^3 - 8*c_1001_3^2 + 27*c_1001_3 + 9, c_1100_0 + 1 ], 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_3, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_8, c_1001_0, c_1001_3, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 109326588007752379045558355077703/1212708368324496591764370610313*c\ _1001_3^16 - 158425987812474116727325198572023/48508334732979863670\ 57482441252*c_1001_3^15 + 377163641212229442123156279894523/1212708\ 368324496591764370610313*c_1001_3^14 - 5133527678833003143053473831247019/9701666946595972734114964882504*\ c_1001_3^13 - 16343495172538041266702017179111139/48508334732979863\ 67057482441252*c_1001_3^12 - 12131762907293765601831016023876197/24\ 25416736648993183528741220626*c_1001_3^11 - 3975855841746423804764813279701665/1212708368324496591764370610313*\ c_1001_3^10 + 19472342392070104245319632695310591/48508334732979863\ 67057482441252*c_1001_3^9 + 20971774555666272778252650072766013/242\ 5416736648993183528741220626*c_1001_3^8 + 17033008441820058947133547252173873/9701666946595972734114964882504\ *c_1001_3^7 - 4632062402172120457521943658864205/121270836832449659\ 1764370610313*c_1001_3^6 + 9359799328213548472051105281104467/97016\ 66946595972734114964882504*c_1001_3^5 - 18552770491033092910557352065634241/4850833473297986367057482441252\ *c_1001_3^4 + 4755378175979768315643379717718435/485083347329798636\ 7057482441252*c_1001_3^3 + 1571650325631393667110120094543968/12127\ 08368324496591764370610313*c_1001_3^2 - 364100792940023975468668587035225/881969722417815703101360443864*c_\ 1001_3 - 1057697821807877596647468504145065/48508334732979863670574\ 82441252, c_0011_0 - 1, c_0011_10 + 4981369641155538714352/5333228163247516910671*c_1001_3^16 - 1344708079270127957556/5333228163247516910671*c_1001_3^15 - 17187921743562059001848/5333228163247516910671*c_1001_3^14 + 40225034122992291076323/5333228163247516910671*c_1001_3^13 + 163933244512580303110469/5333228163247516910671*c_1001_3^12 + 166476948816168733187598/5333228163247516910671*c_1001_3^11 + 46409686893300378244081/5333228163247516910671*c_1001_3^10 - 282409047528835598509378/5333228163247516910671*c_1001_3^9 - 301914228162623862632427/5333228163247516910671*c_1001_3^8 + 160310812589411934360981/5333228163247516910671*c_1001_3^7 + 190715086264572670418239/5333228163247516910671*c_1001_3^6 - 185363437176811266832717/5333228163247516910671*c_1001_3^5 + 280392885292143778486428/5333228163247516910671*c_1001_3^4 - 219394111552748871526880/5333228163247516910671*c_1001_3^3 + 20070341215985648939495/5333228163247516910671*c_1001_3^2 + 33848001159843978661386/5333228163247516910671*c_1001_3 - 6083755579813450992679/5333228163247516910671, c_0011_11 - 13235992205878378092236/69331966122217719838723*c_1001_3^16 - 23374289756434882214691/69331966122217719838723*c_1001_3^15 + 47917680521314443415274/69331966122217719838723*c_1001_3^14 - 8124677026105101170004/69331966122217719838723*c_1001_3^13 - 627427692259096548709667/69331966122217719838723*c_1001_3^12 - 1379399838585003860506035/69331966122217719838723*c_1001_3^11 - 1179014656130569092501427/69331966122217719838723*c_1001_3^10 + 529158019424666427268547/69331966122217719838723*c_1001_3^9 + 2782368984777576232789198/69331966122217719838723*c_1001_3^8 + 2189963465195598897014208/69331966122217719838723*c_1001_3^7 - 604328991896060535861089/69331966122217719838723*c_1001_3^6 - 880741669130195038579242/69331966122217719838723*c_1001_3^5 - 345884185755101430238224/69331966122217719838723*c_1001_3^4 - 971835354600579201760325/69331966122217719838723*c_1001_3^3 + 664945833106633665894285/69331966122217719838723*c_1001_3^2 + 50376219946955437652671/69331966122217719838723*c_1001_3 - 94451877326025694162391/69331966122217719838723, c_0011_12 - 36843421125088698638848/69331966122217719838723*c_1001_3^16 - 7269659547665207434556/69331966122217719838723*c_1001_3^15 + 130027949935652562135081/69331966122217719838723*c_1001_3^14 - 238105544066114934505360/69331966122217719838723*c_1001_3^13 - 1343893510386815626343321/69331966122217719838723*c_1001_3^12 - 1809921421802976301364579/69331966122217719838723*c_1001_3^11 - 983487375768988231580515/69331966122217719838723*c_1001_3^10 + 1862194436988500191008175/69331966122217719838723*c_1001_3^9 + 3231289819693089469799902/69331966122217719838723*c_1001_3^8 + 40074639210272253705867/69331966122217719838723*c_1001_3^7 - 1758362560457655817709155/69331966122217719838723*c_1001_3^6 + 666674128083818807863708/69331966122217719838723*c_1001_3^5 - 1584005495123540534488974/69331966122217719838723*c_1001_3^4 + 665474246636376196800426/69331966122217719838723*c_1001_3^3 + 589865749572142509882192/69331966122217719838723*c_1001_3^2 - 331026579449845163409999/69331966122217719838723*c_1001_3 - 27256483774222715980128/69331966122217719838723, c_0011_3 - 36843421125088698638848/69331966122217719838723*c_1001_3^16 - 7269659547665207434556/69331966122217719838723*c_1001_3^15 + 130027949935652562135081/69331966122217719838723*c_1001_3^14 - 238105544066114934505360/69331966122217719838723*c_1001_3^13 - 1343893510386815626343321/69331966122217719838723*c_1001_3^12 - 1809921421802976301364579/69331966122217719838723*c_1001_3^11 - 983487375768988231580515/69331966122217719838723*c_1001_3^10 + 1862194436988500191008175/69331966122217719838723*c_1001_3^9 + 3231289819693089469799902/69331966122217719838723*c_1001_3^8 + 40074639210272253705867/69331966122217719838723*c_1001_3^7 - 1758362560457655817709155/69331966122217719838723*c_1001_3^6 + 666674128083818807863708/69331966122217719838723*c_1001_3^5 - 1584005495123540534488974/69331966122217719838723*c_1001_3^4 + 665474246636376196800426/69331966122217719838723*c_1001_3^3 + 589865749572142509882192/69331966122217719838723*c_1001_3^2 - 331026579449845163409999/69331966122217719838723*c_1001_3 - 27256483774222715980128/69331966122217719838723, c_0101_0 + 70587301004640938945376/69331966122217719838723*c_1001_3^16 + 2312840899585482066548/69331966122217719838723*c_1001_3^15 - 243358076608932187084889/69331966122217719838723*c_1001_3^14 + 491537530953328354017034/69331966122217719838723*c_1001_3^13 + 2468870626390567413651259/69331966122217719838723*c_1001_3^12 + 3117727607159554332962433/69331966122217719838723*c_1001_3^11 + 1560914552883729803979762/69331966122217719838723*c_1001_3^10 - 3743229382346571813865453/69331966122217719838723*c_1001_3^9 - 5790817708978453632583235/69331966122217719838723*c_1001_3^8 + 155172796889100881503939/69331966122217719838723*c_1001_3^7 + 2734552921761763843068020/69331966122217719838723*c_1001_3^6 - 1458300556479017568927728/69331966122217719838723*c_1001_3^5 + 3690172753700867274526813/69331966122217719838723*c_1001_3^4 - 1970493768658239677028495/69331966122217719838723*c_1001_3^3 - 215528813471483543685240/69331966122217719838723*c_1001_3^2 + 360797185177947280482508/69331966122217719838723*c_1001_3 + 21834497581841022537629/69331966122217719838723, c_0101_1 - 65848814491493373356988/69331966122217719838723*c_1001_3^16 - 12167140715235275103963/69331966122217719838723*c_1001_3^15 + 225848378286949275666391/69331966122217719838723*c_1001_3^14 - 428483160967676471259965/69331966122217719838723*c_1001_3^13 - 2374415123414553202601608/69331966122217719838723*c_1001_3^12 - 3252483977837713860043481/69331966122217719838723*c_1001_3^11 - 1946255228930867059920789/69331966122217719838723*c_1001_3^10 + 3058719099925967299101325/69331966122217719838723*c_1001_3^9 + 5550501412505756885822089/69331966122217719838723*c_1001_3^8 + 304824417183923363714627/69331966122217719838723*c_1001_3^7 - 2588711487238436275222768/69331966122217719838723*c_1001_3^6 + 1345636649092119217246098/69331966122217719838723*c_1001_3^5 - 2918706213836059121671790/69331966122217719838723*c_1001_3^4 + 1402515524414993958088436/69331966122217719838723*c_1001_3^3 + 506150377126674912441739/69331966122217719838723*c_1001_3^2 - 423545692145855857605234/69331966122217719838723*c_1001_3 - 65259253505252122153874/69331966122217719838723, c_0101_10 - 19963641718172988052036/69331966122217719838723*c_1001_3^16 - 3351737333209469074917/69331966122217719838723*c_1001_3^15 + 67112360424398476919477/69331966122217719838723*c_1001_3^14 - 132174402786886152144340/69331966122217719838723*c_1001_3^13 - 715784505713804229001688/69331966122217719838723*c_1001_3^12 - 983700225668752989295157/69331966122217719838723*c_1001_3^11 - 622337557826090898880904/69331966122217719838723*c_1001_3^10 + 825053438994266351384383/69331966122217719838723*c_1001_3^9 + 1465873034089625443300437/69331966122217719838723*c_1001_3^8 - 142795041610951855723677/69331966122217719838723*c_1001_3^7 - 920499321054926235431917/69331966122217719838723*c_1001_3^6 + 389110280535431307383961/69331966122217719838723*c_1001_3^5 - 762571195560665165018614/69331966122217719838723*c_1001_3^4 + 597519711604634861579622/69331966122217719838723*c_1001_3^3 + 156593820026415677702955/69331966122217719838723*c_1001_3^2 - 63379996734217500433092/69331966122217719838723*c_1001_3 - 72085414067309986663555/69331966122217719838723, c_0101_11 - c_1001_3, c_0101_8 + 70587301004640938945376/69331966122217719838723*c_1001_3^16 + 2312840899585482066548/69331966122217719838723*c_1001_3^15 - 243358076608932187084889/69331966122217719838723*c_1001_3^14 + 491537530953328354017034/69331966122217719838723*c_1001_3^13 + 2468870626390567413651259/69331966122217719838723*c_1001_3^12 + 3117727607159554332962433/69331966122217719838723*c_1001_3^11 + 1560914552883729803979762/69331966122217719838723*c_1001_3^10 - 3743229382346571813865453/69331966122217719838723*c_1001_3^9 - 5790817708978453632583235/69331966122217719838723*c_1001_3^8 + 155172796889100881503939/69331966122217719838723*c_1001_3^7 + 2734552921761763843068020/69331966122217719838723*c_1001_3^6 - 1458300556479017568927728/69331966122217719838723*c_1001_3^5 + 3690172753700867274526813/69331966122217719838723*c_1001_3^4 - 1970493768658239677028495/69331966122217719838723*c_1001_3^3 - 215528813471483543685240/69331966122217719838723*c_1001_3^2 + 360797185177947280482508/69331966122217719838723*c_1001_3 + 21834497581841022537629/69331966122217719838723, c_1001_0 + 19963641718172988052036/69331966122217719838723*c_1001_3^16 + 3351737333209469074917/69331966122217719838723*c_1001_3^15 - 67112360424398476919477/69331966122217719838723*c_1001_3^14 + 132174402786886152144340/69331966122217719838723*c_1001_3^13 + 715784505713804229001688/69331966122217719838723*c_1001_3^12 + 983700225668752989295157/69331966122217719838723*c_1001_3^11 + 622337557826090898880904/69331966122217719838723*c_1001_3^10 - 825053438994266351384383/69331966122217719838723*c_1001_3^9 - 1465873034089625443300437/69331966122217719838723*c_1001_3^8 + 142795041610951855723677/69331966122217719838723*c_1001_3^7 + 920499321054926235431917/69331966122217719838723*c_1001_3^6 - 389110280535431307383961/69331966122217719838723*c_1001_3^5 + 762571195560665165018614/69331966122217719838723*c_1001_3^4 - 597519711604634861579622/69331966122217719838723*c_1001_3^3 - 156593820026415677702955/69331966122217719838723*c_1001_3^2 + 63379996734217500433092/69331966122217719838723*c_1001_3 + 72085414067309986663555/69331966122217719838723, c_1001_3^17 + 1/4*c_1001_3^16 - 7/2*c_1001_3^15 + 25/4*c_1001_3^14 + 147/4*c_1001_3^13 + 205/4*c_1001_3^12 + 119/4*c_1001_3^11 - 197/4*c_1001_3^10 - 365/4*c_1001_3^9 - 8*c_1001_3^8 + 46*c_1001_3^7 - 15*c_1001_3^6 + 171/4*c_1001_3^5 - 16*c_1001_3^4 - 53/4*c_1001_3^3 + 25/4*c_1001_3^2 + 2*c_1001_3 - 1/4, c_1100_0 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 5.540 Total time: 5.750 seconds, Total memory usage: 64.12MB