Magma V2.19-8 Tue Aug 20 2013 23:39:04 on localhost [Seed = 256469863] Type ? for help. Type -D to quit. Loading file "K11n169__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K11n169 geometric_solution 10.81729253 oriented_manifold CS_known 0.0000000000000007 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 1 0132 0132 0132 2031 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 1 -1 0 10 0 0 -10 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.036432590251 0.792642170766 0 0 5 4 0132 1302 0132 0132 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 10 -10 0 -10 0 11 -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.391219769496 0.465582506730 6 0 6 7 0132 0132 3012 0132 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 0 -1 1 0 -11 0 11 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.891780036006 1.030830403948 4 8 9 0 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 -11 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.743119985346 1.002418822161 3 10 1 6 0132 0132 0132 1302 0 0 0 0 0 1 0 -1 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -11 0 11 0 0 1 -1 11 0 0 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.732969863406 1.094367545203 10 11 9 1 3012 0132 3120 0132 0 0 0 0 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 0 0 0 0 0 -10 10 11 0 0 -11 -11 10 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.168453685525 1.234978671871 2 2 4 11 0132 1230 2031 1023 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 -11 11 0 11 0 -11 0 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.100733183455 0.959516380896 9 8 2 8 0321 0213 0132 3120 0 0 0 0 0 0 0 0 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 -10 -10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.607835760908 0.559344131998 7 3 7 10 3120 0132 0213 2310 0 0 0 0 0 0 0 0 -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 0 0 0 10 0 -10 0 0 -11 0 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.050837023960 0.500577486577 7 11 5 3 0321 2031 3120 0132 0 0 0 0 0 0 0 0 0 0 0 0 -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 -1 0 1 0 0 0 0 10 -10 0 0 -10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.100733183455 0.959516380896 8 4 11 5 3201 0132 0321 1230 0 0 0 0 0 -1 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 0 0 0 0 0 11 0 -11 -11 0 0 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.665249361335 0.818905254228 9 5 10 6 1302 0132 0321 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 10 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.024365659935 1.627967774692 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_1'], 'c_1001_10' : d['c_1001_10'], 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : d['c_0101_5'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_0011_7'], 'c_1001_1' : d['c_0101_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_11'], 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : negation(d['c_0101_2']), 'c_1001_8' : d['c_1001_0'], 'c_1010_11' : d['c_0101_2'], 'c_1010_10' : d['c_0101_5'], 's_3_11' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_9']), 'c_0101_10' : d['c_0011_9'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(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_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' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_0101_5']), 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0101_6'], 'c_1100_4' : d['c_0101_6'], 'c_1100_7' : negation(d['c_0011_7']), 'c_1100_6' : negation(d['c_1001_10']), 'c_1100_1' : d['c_0101_6'], 'c_1100_0' : negation(d['c_0101_5']), 'c_1100_3' : negation(d['c_0101_5']), 'c_1100_2' : negation(d['c_0011_7']), 's_0_10' : d['1'], 'c_1100_11' : d['c_1001_10'], 'c_1100_10' : d['c_0101_1'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_10'], 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_1001_10'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0101_5'], 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : d['c_0011_11'], 'c_1010_8' : d['c_0011_11'], 'c_1100_8' : d['c_0011_10'], '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'], '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' : 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_9'], 'c_0011_8' : negation(d['c_0011_10']), 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : negation(d['c_0011_10']), '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' : d['c_0011_10'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_2'], 'c_0110_10' : negation(d['c_0011_11']), 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0101_6'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0011_7']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_6']), 'c_0101_8' : d['c_0011_7'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_7']), 'c_0110_8' : negation(d['c_0011_9']), '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_6'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0011_7']), 'c_0110_7' : negation(d['c_0011_9']), 'c_0110_6' : d['c_0101_2']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_7, c_0011_9, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0101_6, c_1001_0, c_1001_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t + 1984190315818182495/10288265674170814603*c_1001_10^11 + 16268597290173084655/10288265674170814603*c_1001_10^10 + 35904585116262593863/10288265674170814603*c_1001_10^9 - 22769023705523091595/10288265674170814603*c_1001_10^8 - 10417242880981633707/1469752239167259229*c_1001_10^7 + 122749069726986923670/10288265674170814603*c_1001_10^6 + 738594081920848239038/10288265674170814603*c_1001_10^5 - 1350757866197080460030/10288265674170814603*c_1001_10^4 + 530527908839928048025/10288265674170814603*c_1001_10^3 - 155487846255335233802/10288265674170814603*c_1001_10^2 + 46168134769455807746/1469752239167259229*c_1001_10 + 38219616523359127562/1469752239167259229, c_0011_0 - 1, c_0011_10 + 37857901311367/1879821975912811*c_1001_10^11 + 328823618841934/1879821975912811*c_1001_10^10 + 843879471393181/1879821975912811*c_1001_10^9 - 3607607507648/268545996558973*c_1001_10^8 - 1351816983196174/1879821975912811*c_1001_10^7 + 1892747979061770/1879821975912811*c_1001_10^6 + 15033426771992739/1879821975912811*c_1001_10^5 - 19153068393535558/1879821975912811*c_1001_10^4 + 71323973948004/1879821975912811*c_1001_10^3 + 194753737965258/268545996558973*c_1001_10^2 + 54029006393835/38363713794139*c_1001_10 + 63040648712216/38363713794139, c_0011_11 + 47445326905903/1879821975912811*c_1001_10^11 + 399748987894348/1879821975912811*c_1001_10^10 + 955381182353333/1879821975912811*c_1001_10^9 - 39072579270670/268545996558973*c_1001_10^8 - 1672631920321847/1879821975912811*c_1001_10^7 + 2501117826779140/1879821975912811*c_1001_10^6 + 17859714282260692/1879821975912811*c_1001_10^5 - 28192451031770166/1879821975912811*c_1001_10^4 + 8454217369390477/1879821975912811*c_1001_10^3 - 741481527471066/268545996558973*c_1001_10^2 + 99939175355818/38363713794139*c_1001_10 + 112514915720777/38363713794139, c_0011_7 + 45567291641610/1879821975912811*c_1001_10^11 + 382942913034632/1879821975912811*c_1001_10^10 + 902154078816108/1879821975912811*c_1001_10^9 - 48898578423389/268545996558973*c_1001_10^8 - 1739588499874244/1879821975912811*c_1001_10^7 + 2492746107708050/1879821975912811*c_1001_10^6 + 17306109280401758/1879821975912811*c_1001_10^5 - 28047767055910006/1879821975912811*c_1001_10^4 + 5853298973036502/1879821975912811*c_1001_10^3 - 199996731591686/268545996558973*c_1001_10^2 + 99653036289780/38363713794139*c_1001_10 + 80789912687802/38363713794139, c_0011_9 - 277595557488/268545996558973*c_1001_10^11 - 2402232353237/268545996558973*c_1001_10^10 - 5953419790218/268545996558973*c_1001_10^9 + 1922359960357/268545996558973*c_1001_10^8 + 14456580649584/268545996558973*c_1001_10^7 - 13531752737226/268545996558973*c_1001_10^6 - 118873019531829/268545996558973*c_1001_10^5 + 155822801127712/268545996558973*c_1001_10^4 + 46588985527647/268545996558973*c_1001_10^3 - 81502511477301/268545996558973*c_1001_10^2 - 2774303599908/38363713794139*c_1001_10 + 14279194748673/38363713794139, c_0101_0 + 12526161550995/1879821975912811*c_1001_10^11 + 99992893438394/1879821975912811*c_1001_10^10 + 207819156430800/1879821975912811*c_1001_10^9 - 22848047482227/268545996558973*c_1001_10^8 - 323662832535409/1879821975912811*c_1001_10^7 + 951754385411231/1879821975912811*c_1001_10^6 + 4403677532373066/1879821975912811*c_1001_10^5 - 9397194432421892/1879821975912811*c_1001_10^4 + 6635864570587121/1879821975912811*c_1001_10^3 - 295870571846404/268545996558973*c_1001_10^2 + 19856117936390/38363713794139*c_1001_10 - 29428807315333/38363713794139, c_0101_1 + 41629607982315/1879821975912811*c_1001_10^11 + 359590392230574/1879821975912811*c_1001_10^10 + 917551356942445/1879821975912811*c_1001_10^9 - 2497473392823/268545996558973*c_1001_10^8 - 1378496277282574/1879821975912811*c_1001_10^7 + 2009552283641751/1879821975912811*c_1001_10^6 + 16109241035355561/1879821975912811*c_1001_10^5 - 21299461466577001/1879821975912811*c_1001_10^4 + 3975756776878018/1879821975912811*c_1001_10^3 - 673546497677983/268545996558973*c_1001_10^2 + 89003112865884/38363713794139*c_1001_10 + 78838318185030/38363713794139, c_0101_2 - 6490598592775/1879821975912811*c_1001_10^11 - 59730559252764/1879821975912811*c_1001_10^10 - 176177817474520/1879821975912811*c_1001_10^9 - 13819052808185/268545996558973*c_1001_10^8 + 127882136329796/1879821975912811*c_1001_10^7 - 355894922543414/1879821975912811*c_1001_10^6 - 2694643354822680/1879821975912811*c_1001_10^5 + 2075436219770068/1879821975912811*c_1001_10^4 + 466237992231467/1879821975912811*c_1001_10^3 - 27173728683308/38363713794139*c_1001_10^2 + 21970842189348/38363713794139*c_1001_10 - 9308898252275/38363713794139, c_0101_5 - 41409763947683/1879821975912811*c_1001_10^11 - 359486653708718/1879821975912811*c_1001_10^10 - 923739843397053/1879821975912811*c_1001_10^9 + 2405478980258/268545996558973*c_1001_10^8 + 1476851224116234/1879821975912811*c_1001_10^7 - 1905258363911323/1879821975912811*c_1001_10^6 - 16150680104710306/1879821975912811*c_1001_10^5 + 20870692819118342/1879821975912811*c_1001_10^4 - 1352114806571889/1879821975912811*c_1001_10^3 + 255394854841506/268545996558973*c_1001_10^2 - 58112215230080/38363713794139*c_1001_10 - 112888907494246/38363713794139, c_0101_6 + 49743364395840/1879821975912811*c_1001_10^11 + 429403190007506/1879821975912811*c_1001_10^10 + 1087915638268747/1879821975912811*c_1001_10^9 - 11342368908772/268545996558973*c_1001_10^8 - 1780429456151509/1879821975912811*c_1001_10^7 + 2413712575666555/1879821975912811*c_1001_10^6 + 19457556752563155/1879821975912811*c_1001_10^5 - 25724563452432587/1879821975912811*c_1001_10^4 + 2652981065291080/1879821975912811*c_1001_10^3 - 342998444056633/268545996558973*c_1001_10^2 + 100403111115087/38363713794139*c_1001_10 + 107278952589152/38363713794139, c_1001_0 + 2595811675638/268545996558973*c_1001_10^11 + 22348746003789/268545996558973*c_1001_10^10 + 54628928740590/268545996558973*c_1001_10^9 - 19612150992255/268545996558973*c_1001_10^8 - 129294631754994/268545996558973*c_1001_10^7 + 129006121887170/268545996558973*c_1001_10^6 + 1075534653019713/268545996558973*c_1001_10^5 - 202876807747044/38363713794139*c_1001_10^4 - 424524903123915/268545996558973*c_1001_10^3 + 742598618720001/268545996558973*c_1001_10^2 + 25574300098314/38363713794139*c_1001_10 + 42602074059571/38363713794139, c_1001_10^12 + 9*c_1001_10^11 + 25*c_1001_10^10 + 6*c_1001_10^9 - 38*c_1001_10^8 + 33*c_1001_10^7 + 407*c_1001_10^6 - 378*c_1001_10^5 - 158*c_1001_10^4 - 27*c_1001_10^3 + 63*c_1001_10^2 + 147*c_1001_10 + 49 ], Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_7, c_0011_9, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0101_6, c_1001_0, c_1001_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t - 3432441333/92923774*c_1001_10^12 - 7426722953/185847548*c_1001_10^11 - 48853214509/371695096*c_1001_10^10 - 62649186107/185847548*c_1001_10^9 - 119994279407/371695096*c_1001_10^8 - 215800990337/371695096*c_1001_10^7 - 71879057569/92923774*c_1001_10^6 - 2007330313/4322036*c_1001_10^5 - 205799072615/371695096*c_1001_10^4 - 159399333529/371695096*c_1001_10^3 - 4422441978/46461887*c_1001_10^2 - 12377801337/92923774*c_1001_10 - 5977891887/371695096, c_0011_0 - 1, c_0011_10 - 1070148/1080509*c_1001_10^12 - 1200486/1080509*c_1001_10^11 - 3769003/1080509*c_1001_10^10 - 9553211/1080509*c_1001_10^9 - 9074600/1080509*c_1001_10^8 - 15324720/1080509*c_1001_10^7 - 19528999/1080509*c_1001_10^6 - 10005764/1080509*c_1001_10^5 - 10113295/1080509*c_1001_10^4 - 6475580/1080509*c_1001_10^3 + 1030623/1080509*c_1001_10^2 - 1103534/1080509*c_1001_10 + 56061/1080509, c_0011_11 + 361876/1080509*c_1001_10^12 - 1302722/1080509*c_1001_10^11 + 1597735/1080509*c_1001_10^10 - 2739289/1080509*c_1001_10^9 - 4223300/1080509*c_1001_10^8 + 1287652/1080509*c_1001_10^7 - 9909419/1080509*c_1001_10^6 - 5838118/1080509*c_1001_10^5 + 1288436/1080509*c_1001_10^4 - 8233066/1080509*c_1001_10^3 + 223543/1080509*c_1001_10^2 - 573403/1080509*c_1001_10 - 58032/1080509, c_0011_7 + 2159228/1080509*c_1001_10^12 - 87730/1080509*c_1001_10^11 + 6500035/1080509*c_1001_10^10 + 10613840/1080509*c_1001_10^9 + 2860593/1080509*c_1001_10^8 + 18177949/1080509*c_1001_10^7 + 13264915/1080509*c_1001_10^6 - 3704264/1080509*c_1001_10^5 + 10890287/1080509*c_1001_10^4 + 2213017/1080509*c_1001_10^3 - 3438248/1080509*c_1001_10^2 + 1604562/1080509*c_1001_10 + 283776/1080509, c_0011_9 + 1845316/1080509*c_1001_10^12 + 342346/1080509*c_1001_10^11 + 5549525/1080509*c_1001_10^10 + 10660684/1080509*c_1001_10^9 + 5101390/1080509*c_1001_10^8 + 17470625/1080509*c_1001_10^7 + 17710158/1080509*c_1001_10^6 + 2127204/1080509*c_1001_10^5 + 12565759/1080509*c_1001_10^4 + 7081266/1080509*c_1001_10^3 - 2064278/1080509*c_1001_10^2 + 1209242/1080509*c_1001_10 + 516337/1080509, c_0101_0 + 2644776/1080509*c_1001_10^12 + 252240/1080509*c_1001_10^11 + 8969664/1080509*c_1001_10^10 + 13796183/1080509*c_1001_10^9 + 8210136/1080509*c_1001_10^8 + 26905684/1080509*c_1001_10^7 + 18854098/1080509*c_1001_10^6 + 3953457/1080509*c_1001_10^5 + 15767095/1080509*c_1001_10^4 - 1619334/1080509*c_1001_10^3 - 2805362/1080509*c_1001_10^2 + 628158/1080509*c_1001_10 - 717255/1080509, c_0101_1 - 1845316/1080509*c_1001_10^12 - 342346/1080509*c_1001_10^11 - 5549525/1080509*c_1001_10^10 - 10660684/1080509*c_1001_10^9 - 5101390/1080509*c_1001_10^8 - 17470625/1080509*c_1001_10^7 - 17710158/1080509*c_1001_10^6 - 2127204/1080509*c_1001_10^5 - 12565759/1080509*c_1001_10^4 - 7081266/1080509*c_1001_10^3 + 2064278/1080509*c_1001_10^2 - 2289751/1080509*c_1001_10 - 516337/1080509, c_0101_2 - 361876/1080509*c_1001_10^12 + 1302722/1080509*c_1001_10^11 - 1597735/1080509*c_1001_10^10 + 2739289/1080509*c_1001_10^9 + 4223300/1080509*c_1001_10^8 - 1287652/1080509*c_1001_10^7 + 9909419/1080509*c_1001_10^6 + 5838118/1080509*c_1001_10^5 - 1288436/1080509*c_1001_10^4 + 8233066/1080509*c_1001_10^3 - 223543/1080509*c_1001_10^2 + 573403/1080509*c_1001_10 + 58032/1080509, c_0101_5 + 1714532/1080509*c_1001_10^12 + 403450/1080509*c_1001_10^11 + 5911325/1080509*c_1001_10^10 + 9822380/1080509*c_1001_10^9 + 6861614/1080509*c_1001_10^8 + 19378919/1080509*c_1001_10^7 + 15588603/1080509*c_1001_10^6 + 6770773/1080509*c_1001_10^5 + 13924050/1080509*c_1001_10^4 + 2614309/1080509*c_1001_10^3 + 202399/1080509*c_1001_10^2 + 1537006/1080509*c_1001_10 - 647453/1080509, c_0101_6 - 206340/1080509*c_1001_10^12 + 450670/1080509*c_1001_10^11 - 1573809/1080509*c_1001_10^10 + 783422/1080509*c_1001_10^9 - 956928/1080509*c_1001_10^8 - 4447529/1080509*c_1001_10^7 + 2705404/1080509*c_1001_10^6 - 3903612/1080509*c_1001_10^5 - 5390658/1080509*c_1001_10^4 + 4907574/1080509*c_1001_10^3 - 4308113/1080509*c_1001_10^2 - 811244/1080509*c_1001_10 + 1033088/1080509, c_1001_0 - 3577540/1080509*c_1001_10^12 + 2238298/1080509*c_1001_10^11 - 11641915/1080509*c_1001_10^10 - 10379087/1080509*c_1001_10^9 + 2122654/1080509*c_1001_10^8 - 28797363/1080509*c_1001_10^7 - 3094855/1080509*c_1001_10^6 + 10430007/1080509*c_1001_10^5 - 20085834/1080509*c_1001_10^4 + 11606400/1080509*c_1001_10^3 + 1214139/1080509*c_1001_10^2 - 1872955/1080509*c_1001_10 + 1886781/1080509, c_1001_10^13 - 1/2*c_1001_10^12 + 15/4*c_1001_10^11 + 13/4*c_1001_10^10 + 3/2*c_1001_10^9 + 21/2*c_1001_10^8 + 11/4*c_1001_10^7 + 7/4*c_1001_10^6 + 33/4*c_1001_10^5 - 11/4*c_1001_10^4 + 2*c_1001_10^3 + 1/2*c_1001_10^2 - 1/2*c_1001_10 + 1/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 2.860 Total time: 3.060 seconds, Total memory usage: 32.09MB