Magma V2.19-8 Wed Aug 21 2013 00:32:20 on localhost [Seed = 3566388276] Type ? for help. Type -D to quit. Loading file "K14n18918__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n18918 geometric_solution 11.88211601 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 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 -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.059298474639 0.357229079498 0 5 6 4 0132 0132 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.219161257599 1.560481192536 7 0 8 4 0132 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.784685060911 1.250123682166 7 9 10 0 3201 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.974811978825 0.964073894135 2 1 0 9 3201 0321 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 1 -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 0.483622212930 0.747732415327 7 1 11 8 1023 0132 0132 3012 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 -1 -4 5 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.239828559307 1.465258466800 7 11 12 1 2310 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 0 0 0 0 0 0 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.829740264165 0.581782861649 2 5 6 3 0132 1023 3201 2310 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 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.413882806973 0.684236342917 10 12 5 2 0213 0213 1230 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 1 0 -1 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.437375409667 0.665650410821 10 3 4 12 2031 0132 2031 2031 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 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.204978706047 0.529575275898 8 11 9 3 0213 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.512644970739 1.177702133597 12 6 10 5 0213 0132 3012 0132 0 0 0 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 -4 4 0 0 0 0 -1 0 0 1 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.807381470738 0.577326988184 11 9 8 6 0213 1302 0213 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 0 0 0 1 0 -1 0 0 0 0 0 5 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.284708213740 0.557757641003 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_10']), 'c_1001_10' : d['c_0110_9'], 'c_1001_12' : d['c_0110_9'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_0101_5'], 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : negation(d['c_0011_10']), 'c_1001_0' : negation(d['c_0110_4']), 'c_1001_3' : d['c_0011_12'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0110_4']), 'c_1001_8' : d['c_0110_9'], 'c_1010_12' : d['c_1001_5'], 'c_1010_11' : d['c_1001_5'], 'c_1010_10' : d['c_0011_12'], 's_3_11' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : negation(d['1']), 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_12'], 'c_0101_10' : d['c_0011_11'], 's_2_0' : negation(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_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' : d['1'], 's_0_7' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : negation(d['c_1001_5']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0110_9']), 'c_1100_4' : d['c_0101_9'], 'c_1100_7' : d['c_0011_11'], 'c_1100_6' : d['c_1001_2'], 'c_1100_1' : d['c_1001_2'], 'c_1100_0' : d['c_0101_9'], 'c_1100_3' : d['c_0101_9'], 'c_1100_2' : d['c_0011_4'], 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0110_9']), 'c_1100_10' : d['c_0101_9'], 's_3_10' : d['1'], 'c_1010_7' : d['c_0011_4'], 'c_1010_6' : negation(d['c_0011_10']), 'c_1010_5' : negation(d['c_0011_10']), 'c_1010_4' : d['c_1001_5'], 'c_1010_3' : negation(d['c_0110_4']), 'c_1010_2' : negation(d['c_0110_4']), 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0011_12'], 'c_1010_8' : d['c_1001_2'], 'c_1100_8' : d['c_0011_4'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_3_7' : negation(d['1']), 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : negation(d['1']), 'c_1100_12' : d['c_1001_2'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_11']), 'c_0011_8' : d['c_0011_11'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_11']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_11'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_5'], 'c_0110_10' : negation(d['c_0101_2']), 'c_0110_12' : negation(d['c_0101_5']), 'c_0101_12' : d['c_0011_11'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : negation(d['c_0101_1']), 'c_0101_6' : negation(d['c_0101_5']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0101_2']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_4']), 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0110_9'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : negation(d['c_0011_4']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_4']), 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : d['c_0101_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_4, c_0101_1, c_0101_2, c_0101_5, c_0101_9, c_0110_4, c_0110_9, c_1001_2, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 8 Groebner basis: [ t + 142285995003701/827836800*c_1001_5^7 + 99717992815857/39420800*c_1001_5^6 + 1433371702890383/118262400*c_1001_5^5 + 5151333291031331/275945600*c_1001_5^4 + 1580859369161389/118262400*c_1001_5^3 + 163149806399107/33113472*c_1001_5^2 + 750842587055543/827836800*c_1001_5 + 3639597984761/55189120, c_0011_0 - 1, c_0011_10 + 55087/10160*c_1001_5^7 + 202877/2540*c_1001_5^6 + 781459/2032*c_1001_5^5 + 154863/254*c_1001_5^4 + 5026613/10160*c_1001_5^3 + 282739/1270*c_1001_5^2 + 555941/10160*c_1001_5 + 14233/2540, c_0011_11 + 162099/5080*c_1001_5^7 + 4697047/10160*c_1001_5^6 + 546073/254*c_1001_5^5 + 6204511/2032*c_1001_5^4 + 10844421/5080*c_1001_5^3 + 8418633/10160*c_1001_5^2 + 108224/635*c_1001_5 + 136973/10160, c_0011_12 + 8711/508*c_1001_5^7 + 259125/1016*c_1001_5^6 + 1269171/1016*c_1001_5^5 + 261582/127*c_1001_5^4 + 844549/508*c_1001_5^3 + 756303/1016*c_1001_5^2 + 183469/1016*c_1001_5 + 4721/254, c_0011_4 - 317223/20320*c_1001_5^7 - 4663141/20320*c_1001_5^6 - 22345463/20320*c_1001_5^5 - 34866249/20320*c_1001_5^4 - 27518489/20320*c_1001_5^3 - 2453103/4064*c_1001_5^2 - 3036489/20320*c_1001_5 - 64219/4064, c_0101_1 - 679613/20320*c_1001_5^7 - 9913453/20320*c_1001_5^6 - 46723797/20320*c_1001_5^5 - 69031981/20320*c_1001_5^4 - 9928231/4064*c_1001_5^3 - 19697811/20320*c_1001_5^2 - 4075739/20320*c_1001_5 - 310211/20320, c_0101_2 + 188759/10160*c_1001_5^7 + 560217/2032*c_1001_5^6 + 13667323/10160*c_1001_5^5 + 22373239/10160*c_1001_5^4 + 18273193/10160*c_1001_5^3 + 8464971/10160*c_1001_5^2 + 2183437/10160*c_1001_5 + 252601/10160, c_0101_5 - 351137/10160*c_1001_5^7 - 5146949/10160*c_1001_5^6 - 24510307/10160*c_1001_5^5 - 37455481/10160*c_1001_5^4 - 28460431/10160*c_1001_5^3 - 2424711/2032*c_1001_5^2 - 2795941/10160*c_1001_5 - 54107/2032, c_0101_9 + 111197/20320*c_1001_5^7 + 1733343/20320*c_1001_5^6 + 1843045/4064*c_1001_5^5 + 3639739/4064*c_1001_5^4 + 16181003/20320*c_1001_5^3 + 7783417/20320*c_1001_5^2 + 2040111/20320*c_1001_5 + 224817/20320, c_0110_4 + 66743/10160*c_1001_5^7 + 932683/10160*c_1001_5^6 + 4004007/10160*c_1001_5^5 + 4139881/10160*c_1001_5^4 + 303245/2032*c_1001_5^3 + 36701/10160*c_1001_5^2 - 150631/10160*c_1001_5 - 32169/10160, c_0110_9 + 243629/20320*c_1001_5^7 + 703641/4064*c_1001_5^6 + 16257973/20320*c_1001_5^5 + 22685149/20320*c_1001_5^4 + 15849403/20320*c_1001_5^3 + 6295131/20320*c_1001_5^2 + 1386627/20320*c_1001_5 + 136811/20320, c_1001_2 + 176917/10160*c_1001_5^7 + 2555699/10160*c_1001_5^6 + 11818597/10160*c_1001_5^5 + 16528921/10160*c_1001_5^4 + 11569451/10160*c_1001_5^3 + 912105/2032*c_1001_5^2 + 961251/10160*c_1001_5 + 16339/2032, c_1001_5^8 + 464/31*c_1001_5^7 + 2304/31*c_1001_5^6 + 128*c_1001_5^5 + 3498/31*c_1001_5^4 + 1808/31*c_1001_5^3 + 560/31*c_1001_5^2 + 96/31*c_1001_5 + 7/31 ], Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_4, c_0101_1, c_0101_2, c_0101_5, c_0101_9, c_0110_4, c_0110_9, c_1001_2, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 331129395103810013955695971/1672918133420730289236984*c_1001_5^14 + 1975917836631065475500953115/1672918133420730289236984*c_1001_5^13 + 122208615005828432404949101/139409844451727524103082*c_1001_5^12 + 1286070566396299273753665961/557639377806910096412328*c_1001_5^11 + 8032797957798787577739425675/1672918133420730289236984*c_1001_5^10 - 342852728323765055808121573/278819688903455048206164*c_1001_5^9 - 7696902266872795757564632783/1672918133420730289236984*c_1001_5^8 - 704596142381993501634991973/836459066710365144618492*c_1001_5^7 + 1088767431974623772658603859/836459066710365144618492*c_1001_5^6 - 55653018465915908099377859/1672918133420730289236984*c_1001_5^5 - 1451288750577059814101419177/1672918133420730289236984*c_1001_5^4 + 2702881680554003515681628/69704922225863762051541*c_1001_5^3 + 185161729459963745017959077/1672918133420730289236984*c_1001_5^2 - 136261469464379622889692911/1672918133420730289236984*c_1001_5 + 64640986210493196913750807/1672918133420730289236984, c_0011_0 - 1, c_0011_10 - 3000952507300427407/354297895333782801*c_1001_5^14 - 10284671299638670985/236198596889188534*c_1001_5^13 - 3789858420761892268/354297895333782801*c_1001_5^12 - 49410098333468205437/354297895333782801*c_1001_5^11 - 26375669894577394325/236198596889188534*c_1001_5^10 + 1371326742009840791/354297895333782801*c_1001_5^9 + 9791239230301133072/354297895333782801*c_1001_5^8 + 11749828429552179863/708595790667565602*c_1001_5^7 - 13032613270612573637/708595790667565602*c_1001_5^6 - 7605669369495483425/708595790667565602*c_1001_5^5 - 304655357130745030/118099298444594267*c_1001_5^4 + 3544068448716342187/708595790667565602*c_1001_5^3 + 1159379849847908137/708595790667565602*c_1001_5^2 - 1830326652912540142/354297895333782801*c_1001_5 + 896795540130888557/708595790667565602, c_0011_11 - 134681754617113145/708595790667565602*c_1001_5^14 - 342360054414121184/118099298444594267*c_1001_5^13 - 3803881571828745862/354297895333782801*c_1001_5^12 - 6406373120018315119/708595790667565602*c_1001_5^11 - 4354476496517902839/118099298444594267*c_1001_5^10 - 13384792339878807247/354297895333782801*c_1001_5^9 - 9741282662300857271/708595790667565602*c_1001_5^8 - 2633777077177090009/708595790667565602*c_1001_5^7 - 2643856948283494985/708595790667565602*c_1001_5^6 - 2663598886951134718/354297895333782801*c_1001_5^5 - 1081122494172461945/236198596889188534*c_1001_5^4 + 7245038557504231/708595790667565602*c_1001_5^3 + 288414583825295078/354297895333782801*c_1001_5^2 + 234378826865891239/708595790667565602*c_1001_5 - 382537780253226065/354297895333782801, c_0011_12 + 495286323240204223/236198596889188534*c_1001_5^14 + 2394634183597196165/236198596889188534*c_1001_5^13 - 108863444240706453/118099298444594267*c_1001_5^12 + 7650384907888618757/236198596889188534*c_1001_5^11 + 4107003783295295603/236198596889188534*c_1001_5^10 - 1436999823569477349/118099298444594267*c_1001_5^9 - 1547072432778236645/236198596889188534*c_1001_5^8 + 527447505897380272/118099298444594267*c_1001_5^7 + 1974129907960941005/118099298444594267*c_1001_5^6 + 2019354642144973915/236198596889188534*c_1001_5^5 + 335489604222459157/236198596889188534*c_1001_5^4 - 185853917956161400/118099298444594267*c_1001_5^3 - 212516990104810165/236198596889188534*c_1001_5^2 + 350433877949949631/236198596889188534*c_1001_5 + 59666237750815849/236198596889188534, c_0011_4 + c_1001_5, c_0101_1 - 675588607551749762/354297895333782801*c_1001_5^14 - 1709914074768953797/236198596889188534*c_1001_5^13 + 4130471904550865221/354297895333782801*c_1001_5^12 - 8272390801823770576/354297895333782801*c_1001_5^11 + 4601949209740510075/236198596889188534*c_1001_5^10 + 17695791810587239294/354297895333782801*c_1001_5^9 + 7191249980317783603/354297895333782801*c_1001_5^8 - 530907958207191623/708595790667565602*c_1001_5^7 - 9200922499482151045/708595790667565602*c_1001_5^6 - 730866152532652309/708595790667565602*c_1001_5^5 + 372816444975001394/118099298444594267*c_1001_5^4 + 1107878469179464169/708595790667565602*c_1001_5^3 + 60721802663840339/708595790667565602*c_1001_5^2 - 642840230357870066/354297895333782801*c_1001_5 + 1294672637921570185/708595790667565602, c_0101_2 - 2056501317817734671/354297895333782801*c_1001_5^14 - 3135456432250367314/118099298444594267*c_1001_5^13 + 3874039854195796162/354297895333782801*c_1001_5^12 - 29511307040990137237/354297895333782801*c_1001_5^11 - 1715451560898120883/118099298444594267*c_1001_5^10 + 25088078856445467067/354297895333782801*c_1001_5^9 + 19653210472494245692/354297895333782801*c_1001_5^8 + 6514788245883168842/354297895333782801*c_1001_5^7 - 6495364860748286645/354297895333782801*c_1001_5^6 - 1752274778216589683/354297895333782801*c_1001_5^5 + 607447945680948598/118099298444594267*c_1001_5^4 + 2475540368941668241/354297895333782801*c_1001_5^3 + 360771144985207630/354297895333782801*c_1001_5^2 - 1786062824736687275/354297895333782801*c_1001_5 + 759986483099367521/354297895333782801, c_0101_5 + 201874124708479483/118099298444594267*c_1001_5^14 + 1064710830410729224/118099298444594267*c_1001_5^13 + 430700315603589102/118099298444594267*c_1001_5^12 + 3554872527810513286/118099298444594267*c_1001_5^11 + 3193851813830765513/118099298444594267*c_1001_5^10 + 967593303700909147/118099298444594267*c_1001_5^9 - 41824129062348916/118099298444594267*c_1001_5^8 - 306264138712700797/118099298444594267*c_1001_5^7 + 539155312423854678/118099298444594267*c_1001_5^6 - 64996390480191561/118099298444594267*c_1001_5^5 - 380756868882219802/118099298444594267*c_1001_5^4 - 318600365176929044/118099298444594267*c_1001_5^3 - 115594680971783753/118099298444594267*c_1001_5^2 + 142123566453518314/118099298444594267*c_1001_5 - 12429313725343181/118099298444594267, c_0101_9 + 1249217490341034968/354297895333782801*c_1001_5^14 + 5452192727838343453/236198596889188534*c_1001_5^13 + 11163646149261747674/354297895333782801*c_1001_5^12 + 26044336745596123381/354297895333782801*c_1001_5^11 + 32094093039118513261/236198596889188534*c_1001_5^10 + 32445924883829973851/354297895333782801*c_1001_5^9 + 9631630805425244300/354297895333782801*c_1001_5^8 - 5724874490433641005/708595790667565602*c_1001_5^7 - 862976649556045097/708595790667565602*c_1001_5^6 + 9108524975870229943/708595790667565602*c_1001_5^5 + 1010729291706504078/118099298444594267*c_1001_5^4 + 1974502167669150727/708595790667565602*c_1001_5^3 - 1396945399215542003/708595790667565602*c_1001_5^2 + 248746725668959163/354297895333782801*c_1001_5 + 968553017420265029/708595790667565602, c_0110_4 - 424847949368775933/118099298444594267*c_1001_5^14 - 2494295162390887942/118099298444594267*c_1001_5^13 - 2290905658419702281/118099298444594267*c_1001_5^12 - 8300603758562067165/118099298444594267*c_1001_5^11 - 11466540298743260094/118099298444594267*c_1001_5^10 - 7017442214018434947/118099298444594267*c_1001_5^9 - 2334769788407373311/118099298444594267*c_1001_5^8 - 477584539206267266/118099298444594267*c_1001_5^7 - 1112926474968965936/118099298444594267*c_1001_5^6 - 753634587100728827/118099298444594267*c_1001_5^5 - 606879947787012729/118099298444594267*c_1001_5^4 - 112170057605921441/118099298444594267*c_1001_5^3 + 71354817182632057/118099298444594267*c_1001_5^2 - 247096602609691484/118099298444594267*c_1001_5 - 42085229386851494/118099298444594267, c_0110_9 + 134681754617113145/708595790667565602*c_1001_5^14 + 342360054414121184/118099298444594267*c_1001_5^13 + 3803881571828745862/354297895333782801*c_1001_5^12 + 6406373120018315119/708595790667565602*c_1001_5^11 + 4354476496517902839/118099298444594267*c_1001_5^10 + 13384792339878807247/354297895333782801*c_1001_5^9 + 9741282662300857271/708595790667565602*c_1001_5^8 + 2633777077177090009/708595790667565602*c_1001_5^7 + 2643856948283494985/708595790667565602*c_1001_5^6 + 2663598886951134718/354297895333782801*c_1001_5^5 + 1081122494172461945/236198596889188534*c_1001_5^4 - 7245038557504231/708595790667565602*c_1001_5^3 - 288414583825295078/354297895333782801*c_1001_5^2 - 234378826865891239/708595790667565602*c_1001_5 + 382537780253226065/354297895333782801, c_1001_2 + 413086692538445237/118099298444594267*c_1001_5^14 + 2470294952834899426/118099298444594267*c_1001_5^13 + 2360398885701355988/118099298444594267*c_1001_5^12 + 7590115516838653391/118099298444594267*c_1001_5^11 + 11540571858990558600/118099298444594267*c_1001_5^10 + 5378018881884343212/118099298444594267*c_1001_5^9 + 267225233621933633/118099298444594267*c_1001_5^8 - 1254561885114336001/118099298444594267*c_1001_5^7 + 24631687938455776/118099298444594267*c_1001_5^6 + 822323367813933732/118099298444594267*c_1001_5^5 + 303973061334919371/118099298444594267*c_1001_5^4 - 79460579570004267/118099298444594267*c_1001_5^3 - 258767251112878710/118099298444594267*c_1001_5^2 + 176704126349657115/118099298444594267*c_1001_5 + 94270284996209671/118099298444594267, c_1001_5^15 + 68/13*c_1001_5^14 + 25/13*c_1001_5^13 + 229/13*c_1001_5^12 + 196/13*c_1001_5^11 + 55/13*c_1001_5^10 - 3/13*c_1001_5^9 - 17/13*c_1001_5^8 + 2*c_1001_5^7 + 15/13*c_1001_5^6 + 8/13*c_1001_5^5 - 5/13*c_1001_5^4 - 3/13*c_1001_5^3 + 6/13*c_1001_5^2 - 2/13*c_1001_5 + 1/13 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 13.750 Total time: 13.960 seconds, Total memory usage: 135.16MB