Magma V2.19-8 Wed Aug 21 2013 00:09:58 on localhost [Seed = 2716323386] Type ? for help. Type -D to quit. Loading file "K13n2526__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n2526 geometric_solution 11.95339319 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 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 0 -1 7 0 0 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.580948623585 0.629512463968 0 5 7 6 0132 0132 0132 0132 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 -7 0 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.522903123221 0.716715789633 8 0 6 9 0132 0132 0132 0132 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 0 1 -1 0 -7 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.537349171887 0.334594642541 7 10 10 0 0132 0132 3201 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 -8 0 8 0 0 0 0 0 7 -8 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.456645505080 0.939866110952 5 6 0 11 0132 0132 0132 0132 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 -1 0 0 7 -7 0 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.479754524553 0.377181451477 4 1 12 10 0132 0132 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.811190873407 1.319060132245 8 4 1 2 1023 0132 0132 0132 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 -7 7 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.902597152564 1.252116487897 3 11 8 1 0132 2310 1023 0132 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 0 0 0 0 0 0 0 0 8 0 -8 0 -7 7 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.314240383732 0.912128983845 2 6 7 9 0132 1023 1023 1023 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 8 -8 1 0 0 -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.342115456126 1.383380904499 11 12 2 8 1230 3120 0132 1023 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 1 0 0 -8 8 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.246860220305 0.801971525153 3 3 12 5 2310 0132 3120 0213 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 -8 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.265721573599 1.079944547890 12 9 4 7 0132 3012 0132 3201 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 -1 0 0 7 -7 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.895225309001 0.624351126226 11 9 10 5 0132 3120 3120 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.605844092406 0.473302172628 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_9']), 'c_1001_10' : d['c_1001_0'], 'c_1001_12' : negation(d['c_1001_0']), 'c_1001_5' : negation(d['c_0011_9']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_0101_8'], 'c_1001_6' : negation(d['c_0011_9']), 'c_1001_1' : negation(d['c_0101_12']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_10']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_0101_0'], 'c_1010_12' : negation(d['c_0011_9']), 'c_1010_11' : negation(d['c_0101_8']), 'c_1010_10' : negation(d['c_0101_10']), 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], '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' : d['1'], 's_2_6' : negation(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' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_1100_1']), 'c_0011_12' : negation(d['c_0011_11']), 'c_1100_5' : negation(d['c_0101_10']), 'c_1100_4' : negation(d['c_0011_10']), 'c_1100_7' : d['c_1100_1'], 'c_1100_6' : d['c_1100_1'], 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : negation(d['c_0011_10']), 'c_1100_3' : negation(d['c_0011_10']), 'c_1100_2' : d['c_1100_1'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_10']), 'c_1100_10' : negation(d['c_0101_12']), 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0101_12']), 'c_1010_6' : d['c_1001_2'], 'c_1010_5' : negation(d['c_0101_12']), 'c_1010_4' : negation(d['c_0011_9']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0011_9']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0011_11'], 'c_1010_8' : d['c_0011_11'], '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_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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : negation(d['1']), 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_7' : d['c_0011_10'], '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' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_12'], 'c_0110_10' : negation(d['c_0101_1']), 'c_0110_12' : d['c_0101_11'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_11'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0011_11'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_8'], 'c_0101_8' : d['c_0101_8'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_11'], 'c_0110_8' : d['c_0011_11'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_1100_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_8'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_11'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0011_11']})} 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_9, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_12, c_0101_8, c_1001_0, c_1001_2, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 50902314131/175977328*c_1100_1^11 + 315812698681/703909312*c_1100_1^10 - 4817673108133/2815637248*c_1100_1^9 + 2562807478051/1407818624*c_1100_1^8 - 3325557279473/1407818624*c_1100_1^7 + 6606240327169/2815637248*c_1100_1^6 - 1574769235095/703909312*c_1100_1^5 + 21489494204/10998583*c_1100_1^4 - 3675456309611/2815637248*c_1100_1^3 + 960263984159/1407818624*c_1100_1^2 - 302251535277/1407818624*c_1100_1 + 100671439279/2815637248, c_0011_0 - 1, c_0011_10 - 2259/223*c_1100_1^11 + 2505/892*c_1100_1^10 - 178661/3568*c_1100_1^9 - 241/1784*c_1100_1^8 - 201193/3568*c_1100_1^7 + 74189/3568*c_1100_1^6 - 129063/3568*c_1100_1^5 + 83845/3568*c_1100_1^4 - 24517/1784*c_1100_1^3 + 29583/3568*c_1100_1^2 - 4977/1784*c_1100_1 + 595/446, c_0011_11 - 90/223*c_1100_1^11 - 2157/446*c_1100_1^10 + 41/1784*c_1100_1^9 - 44479/1784*c_1100_1^8 - 861/3568*c_1100_1^7 - 24369/892*c_1100_1^6 + 24613/3568*c_1100_1^5 - 63795/3568*c_1100_1^4 + 36199/3568*c_1100_1^3 - 18345/3568*c_1100_1^2 + 5247/1784*c_1100_1 - 1199/3568, c_0011_9 + 109/223*c_1100_1^11 - 603/892*c_1100_1^10 + 21943/3568*c_1100_1^9 - 9669/3568*c_1100_1^8 + 36049/1784*c_1100_1^7 + 1731/1784*c_1100_1^6 + 81961/3568*c_1100_1^5 - 13015/3568*c_1100_1^4 + 22205/1784*c_1100_1^3 - 7939/1784*c_1100_1^2 + 8431/3568*c_1100_1 - 3273/3568, c_0101_0 - 1053/223*c_1100_1^11 + 2511/892*c_1100_1^10 - 81283/3568*c_1100_1^9 + 1462/223*c_1100_1^8 - 75435/3568*c_1100_1^7 + 56461/3568*c_1100_1^6 - 49583/3568*c_1100_1^5 + 47813/3568*c_1100_1^4 - 4397/892*c_1100_1^3 + 13381/3568*c_1100_1^2 - 335/446*c_1100_1 - 67/223, c_0101_1 - 19/223*c_1100_1^11 + 4917/892*c_1100_1^10 - 22025/3568*c_1100_1^9 + 98627/3568*c_1100_1^8 - 71237/3568*c_1100_1^7 + 47007/1784*c_1100_1^6 - 53287/1784*c_1100_1^5 + 38405/1784*c_1100_1^4 - 80609/3568*c_1100_1^3 + 34223/3568*c_1100_1^2 - 15357/3568*c_1100_1 + 559/446, c_0101_10 + 1491/223*c_1100_1^11 - 4173/892*c_1100_1^10 + 136961/3568*c_1100_1^9 - 44833/3568*c_1100_1^8 + 101539/1784*c_1100_1^7 - 14791/892*c_1100_1^6 + 161913/3568*c_1100_1^5 - 83663/3568*c_1100_1^4 + 3793/223*c_1100_1^3 - 18693/1784*c_1100_1^2 + 2587/3568*c_1100_1 - 3559/3568, c_0101_11 - 1443/223*c_1100_1^11 + 765/892*c_1100_1^10 - 125825/3568*c_1100_1^9 - 9827/3568*c_1100_1^8 - 188213/3568*c_1100_1^7 + 5353/446*c_1100_1^6 - 31521/892*c_1100_1^5 + 19331/892*c_1100_1^4 - 51911/3568*c_1100_1^3 + 38919/3568*c_1100_1^2 - 11395/3568*c_1100_1 + 601/446, c_0101_12 - 2496/223*c_1100_1^11 + 819/223*c_1100_1^10 - 51777/892*c_1100_1^9 + 13565/3568*c_1100_1^8 - 16478/223*c_1100_1^7 + 99285/3568*c_1100_1^6 - 175667/3568*c_1100_1^5 + 125137/3568*c_1100_1^4 - 69499/3568*c_1100_1^3 + 13075/892*c_1100_1^2 - 17643/3568*c_1100_1 + 913/446, c_0101_8 - 2252/223*c_1100_1^11 + 1617/223*c_1100_1^10 - 42085/892*c_1100_1^9 + 8609/446*c_1100_1^8 - 62181/1784*c_1100_1^7 + 35313/892*c_1100_1^6 - 31807/1784*c_1100_1^5 + 53565/1784*c_1100_1^4 - 5073/1784*c_1100_1^3 + 5377/1784*c_1100_1^2 + 619/892*c_1100_1 - 1601/1784, c_1001_0 - 1090/223*c_1100_1^11 + 1677/446*c_1100_1^10 - 32557/1784*c_1100_1^9 + 35811/3568*c_1100_1^8 + 23171/3568*c_1100_1^7 + 88253/3568*c_1100_1^6 + 33965/1784*c_1100_1^5 + 23151/1784*c_1100_1^4 + 12963/892*c_1100_1^3 - 18505/3568*c_1100_1^2 + 13587/3568*c_1100_1 - 8971/3568, c_1001_2 + c_1100_1, c_1100_1^12 - 3/4*c_1100_1^11 + 87/16*c_1100_1^10 - 19/8*c_1100_1^9 + 115/16*c_1100_1^8 - 35/8*c_1100_1^7 + 93/16*c_1100_1^6 - 35/8*c_1100_1^5 + 47/16*c_1100_1^4 - 7/4*c_1100_1^3 + 11/16*c_1100_1^2 - 1/4*c_1100_1 + 1/16 ], 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_9, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_12, c_0101_8, c_1001_0, c_1001_2, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 154966646776344921399360777727599427322400821/560311917666692112035\ 587528941959421395808*c_1100_1^19 - 96255596936864396720936953203346108276504153/1867706392222307040118\ 62509647319807131936*c_1100_1^18 + 5229429113732139940684664185617992665630170253/56031191766669211203\ 5587528941959421395808*c_1100_1^17 - 3687735315936812710961617555545972517396550149/18677063922223070401\ 1862509647319807131936*c_1100_1^16 + 5317295045956502436281803058955473973909242263/14007797941667302800\ 8896882235489855348952*c_1100_1^15 - 14890059727421136763286950878168051940182008207/1867706392222307040\ 11862509647319807131936*c_1100_1^14 + 137398682798820385676692604440470144819608007521/560311917666692112\ 035587528941959421395808*c_1100_1^13 - 66682317522974547271213668849764162013544005567/1867706392222307040\ 11862509647319807131936*c_1100_1^12 + 24597094473717182082829856951595747898802645421/4669265980555767600\ 2965627411829951782984*c_1100_1^11 - 333625175284991058348152087929922262017833527491/560311917666692112\ 035587528941959421395808*c_1100_1^10 + 125624859438500527187210967330228571718523860969/186770639222230704\ 011862509647319807131936*c_1100_1^9 - 164477555602549626169905444693842249355371872787/280155958833346056\ 017793764470979710697904*c_1100_1^8 + 7821837328045543302931716120105086111909832583/14007797941667302800\ 8896882235489855348952*c_1100_1^7 + 350982660463190054290687403794421660521422195911/560311917666692112\ 035587528941959421395808*c_1100_1^6 - 450828879953174213465400482579508878433669331961/560311917666692112\ 035587528941959421395808*c_1100_1^5 + 170066316443883759172918185704066890995214203115/560311917666692112\ 035587528941959421395808*c_1100_1^4 + 35099398161721882727352671101513594024472733071/1400779794166730280\ 08896882235489855348952*c_1100_1^3 - 57935822480729767465726818911425876601374212199/2801559588333460560\ 17793764470979710697904*c_1100_1^2 - 397280876738839050076860960142700892049953419/175097474270841285011\ 12110279436231918619*c_1100_1 + 75246163836944312943064162555544790\ 0965956575/23346329902778838001482813705914975891492, c_0011_0 - 1, c_0011_10 + 188607111525878051307348393893464587/8892146220826066654535\ 446088712616984*c_1100_1^19 - 133041237210549463129415534658145455/\ 4446073110413033327267723044356308492*c_1100_1^18 + 3140931435699868347963847006683582277/44460731104130333272677230443\ 56308492*c_1100_1^17 - 1334270941121091239204795232303624979/111151\ 8277603258331816930761089077123*c_1100_1^16 + 22316673793353542987145729405186429117/8892146220826066654535446088\ 712616984*c_1100_1^15 - 46393878690161020156843040848304660421/8892\ 146220826066654535446088712616984*c_1100_1^14 + 75468433140421895770239140596541509557/4446073110413033327267723044\ 356308492*c_1100_1^13 - 23097274413671007817948552507299848902/1111\ 518277603258331816930761089077123*c_1100_1^12 + 306767709405648833241847381332869372015/889214622082606665453544608\ 8712616984*c_1100_1^11 - 305843306926617138202688124590942358619/88\ 92146220826066654535446088712616984*c_1100_1^10 + 193918787857114558761551674105427427489/444607311041303332726772304\ 4356308492*c_1100_1^9 - 293298617242458156641444513079638652425/889\ 2146220826066654535446088712616984*c_1100_1^8 - 142408734569757867795674350150673934/111151827760325833181693076108\ 9077123*c_1100_1^7 + 355131390779162910870212842902846985567/889214\ 6220826066654535446088712616984*c_1100_1^6 - 183254132206759639167675805165996630067/444607311041303332726772304\ 4356308492*c_1100_1^5 + 47386733819835036702013854128345506843/4446\ 073110413033327267723044356308492*c_1100_1^4 + 147030156388983941471663881259988653107/889214622082606665453544608\ 8712616984*c_1100_1^3 - 11447397495771494062105903461991310895/2223\ 036555206516663633861522178154246*c_1100_1^2 - 5457201353384616482077966906688758829/22230365552065166636338615221\ 78154246*c_1100_1 + 1126377182779377261746194784368788379/111151827\ 7603258331816930761089077123, c_0011_11 + 196335519197224709956450965744303221/2223036555206516663633\ 861522178154246*c_1100_1^19 - 273738434495936958838603025248234605/\ 2223036555206516663633861522178154246*c_1100_1^18 + 13032676884633603369103958847424294601/4446073110413033327267723044\ 356308492*c_1100_1^17 - 21975388209234225368967492680330979671/4446\ 073110413033327267723044356308492*c_1100_1^16 + 44872644030255228703227210703232587693/4446073110413033327267723044\ 356308492*c_1100_1^15 - 94399697575792362687587620317974045333/4446\ 073110413033327267723044356308492*c_1100_1^14 + 77126807719055763106949628468197160359/1111518277603258331816930761\ 089077123*c_1100_1^13 - 371845131091387438287654046821581283367/444\ 6073110413033327267723044356308492*c_1100_1^12 + 604706541179715748818379204132811398887/444607311041303332726772304\ 4356308492*c_1100_1^11 - 600929069580647594505041364379186986835/44\ 46073110413033327267723044356308492*c_1100_1^10 + 184134631480538892263743299338340381903/111151827760325833181693076\ 1089077123*c_1100_1^9 - 552578971203430847138874537666392187963/444\ 6073110413033327267723044356308492*c_1100_1^8 - 100736698878698128232339465719885125895/444607311041303332726772304\ 4356308492*c_1100_1^7 + 390339781218336470597270865614850185439/222\ 3036555206516663633861522178154246*c_1100_1^6 - 194880484679203402688730002242598467440/111151827760325833181693076\ 1089077123*c_1100_1^5 + 141879022553670821533321196826440679159/444\ 6073110413033327267723044356308492*c_1100_1^4 + 336579614490411190709066146704217471321/444607311041303332726772304\ 4356308492*c_1100_1^3 - 112466317062823208747788701643089854509/444\ 6073110413033327267723044356308492*c_1100_1^2 - 28979267918815289937926997820875035409/2223036555206516663633861522\ 178154246*c_1100_1 + 1846739319731860551346588447600271795/11115182\ 77603258331816930761089077123, c_0011_9 - 47134675220025328595905735675440149/889214622082606665453544\ 6088712616984*c_1100_1^19 + 1089695857495397339083778888468457/1111\ 518277603258331816930761089077123*c_1100_1^18 - 734130816410388072914002634896055207/444607311041303332726772304435\ 6308492*c_1100_1^17 + 88807557879276580821751606257987193/111151827\ 7603258331816930761089077123*c_1100_1^16 - 1628449932220121758702225758752066583/88921462208260666545354460887\ 12616984*c_1100_1^15 + 3470743417227611655116319682236119841/889214\ 6220826066654535446088712616984*c_1100_1^14 - 2599744168712574039055951441337025084/11115182776032583318169307610\ 89077123*c_1100_1^13 - 712359084327832187367777458606703496/1111518\ 277603258331816930761089077123*c_1100_1^12 - 2485406826774247390862904558923154829/88921462208260666545354460887\ 12616984*c_1100_1^11 - 41417886840743945211529563449222187369/88921\ 46220826066654535446088712616984*c_1100_1^10 + 8995605428528723777766610469784667345/22230365552065166636338615221\ 78154246*c_1100_1^9 - 88337290393973041644416021475839408801/889214\ 6220826066654535446088712616984*c_1100_1^8 + 72103675464546675089693014175314693309/4446073110413033327267723044\ 356308492*c_1100_1^7 - 132741952529367344869177780181497408897/8892\ 146220826066654535446088712616984*c_1100_1^6 - 542564761062619630215325357508012743/111151827760325833181693076108\ 9077123*c_1100_1^5 + 62796325013865618693692403587636692543/4446073\ 110413033327267723044356308492*c_1100_1^4 - 112326082932512694562151192844054266813/889214622082606665453544608\ 8712616984*c_1100_1^3 + 580825811257200779803589156960127487/444607\ 3110413033327267723044356308492*c_1100_1^2 + 6045888358935647292487753455925006037/22230365552065166636338615221\ 78154246*c_1100_1 + 475403474000519725791443350290161475/1111518277\ 603258331816930761089077123, c_0101_0 + 1, c_0101_1 + 1141959117566647884756698846201676679/8892146220826066654535\ 446088712616984*c_1100_1^19 - 394266415119052709302031162275483291/\ 2223036555206516663633861522178154246*c_1100_1^18 + 18927122836057103930921736455063432945/4446073110413033327267723044\ 356308492*c_1100_1^17 - 15842541306692635099928242809116728119/2223\ 036555206516663633861522178154246*c_1100_1^16 + 128775163057844025733490774220153164681/889214622082606665453544608\ 8712616984*c_1100_1^15 - 271323461416793165202752153152941868675/88\ 92146220826066654535446088712616984*c_1100_1^14 + 111276820123262996509229282259932479900/111151827760325833181693076\ 1089077123*c_1100_1^13 - 132902907645150734290270229124726754361/11\ 11518277603258331816930761089077123*c_1100_1^12 + 1723014385859672037026351889834184201811/88921462208260666545354460\ 88712616984*c_1100_1^11 - 1698260024974685762382056188851894004389/\ 8892146220826066654535446088712616984*c_1100_1^10 + 518332729902034078385393695961451967995/222303655520651666363386152\ 2178154246*c_1100_1^9 - 1540416598744861208761629385301825043213/88\ 92146220826066654535446088712616984*c_1100_1^8 - 185569312935017139331974042058356634315/444607311041303332726772304\ 4356308492*c_1100_1^7 + 2297448241698527960660349615046598262751/88\ 92146220826066654535446088712616984*c_1100_1^6 - 559008737188677229006982654842891331333/222303655520651666363386152\ 2178154246*c_1100_1^5 + 157646466764275841255548377339105918731/444\ 6073110413033327267723044356308492*c_1100_1^4 + 1058783839899245472154098026968595251067/88921462208260666545354460\ 88712616984*c_1100_1^3 - 168282694446736570430907652944516135593/44\ 46073110413033327267723044356308492*c_1100_1^2 - 23453986754595528574475034084073544178/1111518277603258331816930761\ 089077123*c_1100_1 + 4156695752683639464653436659990605348/11115182\ 77603258331816930761089077123, c_0101_10 - 58552719746402277977526325282280937/88921462208260666545354\ 46088712616984*c_1100_1^19 + 70941274516917520035437955034239297/44\ 46073110413033327267723044356308492*c_1100_1^18 - 992529412813017531840662138573677589/444607311041303332726772304435\ 6308492*c_1100_1^17 + 655530270992262424302033867446174688/11115182\ 77603258331816930761089077123*c_1100_1^16 - 8678153849212441438029208699117401767/88921462208260666545354460887\ 12616984*c_1100_1^15 + 19468273620364074768779674806094883359/88921\ 46220826066654535446088712616984*c_1100_1^14 - 28279251221804785072591603030874755437/4446073110413033327267723044\ 356308492*c_1100_1^13 + 23740299028372343962928696991449461711/2223\ 036555206516663633861522178154246*c_1100_1^12 - 118844169385878849486939218421260968509/889214622082606665453544608\ 8712616984*c_1100_1^11 + 159631061412954092012568249265909758345/88\ 92146220826066654535446088712616984*c_1100_1^10 - 74937991039314549548759274774904327433/4446073110413033327267723044\ 356308492*c_1100_1^9 + 161148608902601351842497050634700815295/8892\ 146220826066654535446088712616984*c_1100_1^8 - 1221270538054703511789605306094883787/11115182776032583318169307610\ 89077123*c_1100_1^7 - 162688800681177648557329522052474210353/88921\ 46220826066654535446088712616984*c_1100_1^6 + 105309782201176571802868033213720555489/444607311041303332726772304\ 4356308492*c_1100_1^5 - 41406335356769623079200911555161211059/4446\ 073110413033327267723044356308492*c_1100_1^4 - 71130671159723905301361728922254169593/8892146220826066654535446088\ 712616984*c_1100_1^3 + 12577168562448769597838762725216581467/22230\ 36555206516663633861522178154246*c_1100_1^2 + 2505575244815577036341036185614085192/11115182776032583318169307610\ 89077123*c_1100_1 - 197629302767492121410769023506716178/1111518277\ 603258331816930761089077123, c_0101_11 - 188607111525878051307348393893464587/8892146220826066654535\ 446088712616984*c_1100_1^19 + 133041237210549463129415534658145455/\ 4446073110413033327267723044356308492*c_1100_1^18 - 3140931435699868347963847006683582277/44460731104130333272677230443\ 56308492*c_1100_1^17 + 1334270941121091239204795232303624979/111151\ 8277603258331816930761089077123*c_1100_1^16 - 22316673793353542987145729405186429117/8892146220826066654535446088\ 712616984*c_1100_1^15 + 46393878690161020156843040848304660421/8892\ 146220826066654535446088712616984*c_1100_1^14 - 75468433140421895770239140596541509557/4446073110413033327267723044\ 356308492*c_1100_1^13 + 23097274413671007817948552507299848902/1111\ 518277603258331816930761089077123*c_1100_1^12 - 306767709405648833241847381332869372015/889214622082606665453544608\ 8712616984*c_1100_1^11 + 305843306926617138202688124590942358619/88\ 92146220826066654535446088712616984*c_1100_1^10 - 193918787857114558761551674105427427489/444607311041303332726772304\ 4356308492*c_1100_1^9 + 293298617242458156641444513079638652425/889\ 2146220826066654535446088712616984*c_1100_1^8 + 142408734569757867795674350150673934/111151827760325833181693076108\ 9077123*c_1100_1^7 - 355131390779162910870212842902846985567/889214\ 6220826066654535446088712616984*c_1100_1^6 + 183254132206759639167675805165996630067/444607311041303332726772304\ 4356308492*c_1100_1^5 - 47386733819835036702013854128345506843/4446\ 073110413033327267723044356308492*c_1100_1^4 - 147030156388983941471663881259988653107/889214622082606665453544608\ 8712616984*c_1100_1^3 + 11447397495771494062105903461991310895/2223\ 036555206516663633861522178154246*c_1100_1^2 + 5457201353384616482077966906688758829/22230365552065166636338615221\ 78154246*c_1100_1 - 1126377182779377261746194784368788379/111151827\ 7603258331816930761089077123, c_0101_12 - 432550749926292873082535203957444841/4446073110413033327267\ 723044356308492*c_1100_1^19 + 603865397103446102984932061161232473/\ 4446073110413033327267723044356308492*c_1100_1^18 - 3588437573238794573587327004451671894/11115182776032583318169307610\ 89077123*c_1100_1^17 + 12115636966247636406477698866364488525/22230\ 36555206516663633861522178154246*c_1100_1^16 - 49354817531727824565463703465045975863/4446073110413033327267723044\ 356308492*c_1100_1^15 + 25994502679814453543852007768704738745/1111\ 518277603258331816930761089077123*c_1100_1^14 - 339686015331299015929925613665643356235/444607311041303332726772304\ 4356308492*c_1100_1^13 + 204904042193630116841041554737803212953/22\ 23036555206516663633861522178154246*c_1100_1^12 - 664642604208181845652317043899681476881/444607311041303332726772304\ 4356308492*c_1100_1^11 + 165537524728802453229812665239861250906/11\ 11518277603258331816930761089077123*c_1100_1^10 - 808968734460436456649898604522861182717/444607311041303332726772304\ 4356308492*c_1100_1^9 + 611962399492047890203642763004237219937/444\ 6073110413033327267723044356308492*c_1100_1^8 + 112943422780678672014953517917410443963/444607311041303332726772304\ 4356308492*c_1100_1^7 - 853266672391357442549360893845386987413/444\ 6073110413033327267723044356308492*c_1100_1^6 + 853748499178450082080299918505225830061/444607311041303332726772304\ 4356308492*c_1100_1^5 - 35721113204011630914678295229778456474/1111\ 518277603258331816930761089077123*c_1100_1^4 - 379830704274478117208943180945921448987/444607311041303332726772304\ 4356308492*c_1100_1^3 + 124161116354791756131776997614814021135/444\ 6073110413033327267723044356308492*c_1100_1^2 + 17476318884987946153432697506692209112/1111518277603258331816930761\ 089077123*c_1100_1 - 2961448499683513347429067188818658485/11115182\ 77603258331816930761089077123, c_0101_8 - 278256834283060416603983154015372995/88921462208260666545354\ 46088712616984*c_1100_1^19 + 172402525228214791363772222730619999/4\ 446073110413033327267723044356308492*c_1100_1^18 - 2287941980906903474699509529761601425/22230365552065166636338615221\ 78154246*c_1100_1^17 + 7051645230014876962189611285186043057/444607\ 3110413033327267723044356308492*c_1100_1^16 - 28585815185780638724910073091668673639/8892146220826066654535446088\ 712616984*c_1100_1^15 + 60498023943765360042887843814207037683/8892\ 146220826066654535446088712616984*c_1100_1^14 - 102404107974725623004008794244493805529/444607311041303332726772304\ 4356308492*c_1100_1^13 + 111409942841816282806328379426347062695/44\ 46073110413033327267723044356308492*c_1100_1^12 - 366600440410092119437139038986034261445/889214622082606665453544608\ 8712616984*c_1100_1^11 + 330466298555574775838461771681581301045/88\ 92146220826066654535446088712616984*c_1100_1^10 - 202126878528629747855200215983939640029/444607311041303332726772304\ 4356308492*c_1100_1^9 + 256783521781317510660853462947539795179/889\ 2146220826066654535446088712616984*c_1100_1^8 + 102935277161867942709265976618278687519/444607311041303332726772304\ 4356308492*c_1100_1^7 - 603344518431082076938707234767044315395/889\ 2146220826066654535446088712616984*c_1100_1^6 + 248455226206123038320290070525977164321/444607311041303332726772304\ 4356308492*c_1100_1^5 + 2481784744516043416026643979008042369/22230\ 36555206516663633861522178154246*c_1100_1^4 - 311663387722883138375653715612934133885/889214622082606665453544608\ 8712616984*c_1100_1^3 + 40004407399786225651158679683748871331/4446\ 073110413033327267723044356308492*c_1100_1^2 + 12837720797920058903662696494327180371/2223036555206516663633861522\ 178154246*c_1100_1 - 237830607554978364070346616158766115/111151827\ 7603258331816930761089077123, c_1001_0 - 104571825470173521738826295388568449/22230365552065166636338\ 61522178154246*c_1100_1^19 + 250715013473156095015703176639431309/4\ 446073110413033327267723044356308492*c_1100_1^18 - 6858074922978851477888159410504863309/44460731104130333272677230443\ 56308492*c_1100_1^17 + 10309215116109830505779952010168801121/44460\ 73110413033327267723044356308492*c_1100_1^16 - 20718992970223915504090847191469815493/4446073110413033327267723044\ 356308492*c_1100_1^15 + 22030859493472943104181230854299240795/2223\ 036555206516663633861522178154246*c_1100_1^14 - 150863846868968814784055586356457536591/444607311041303332726772304\ 4356308492*c_1100_1^13 + 158766511156796944203281253480206226279/44\ 46073110413033327267723044356308492*c_1100_1^12 - 260663976248085427250035446535524960523/444607311041303332726772304\ 4356308492*c_1100_1^11 + 113788880425625454189484900394977990487/22\ 23036555206516663633861522178154246*c_1100_1^10 - 276285256464714209359684206270412557565/444607311041303332726772304\ 4356308492*c_1100_1^9 + 164226210790415177583074116833152324083/444\ 6073110413033327267723044356308492*c_1100_1^8 + 92580299488337337832346719919315742571/2223036555206516663633861522\ 178154246*c_1100_1^7 - 115982490531628696708048682146992470146/1111\ 518277603258331816930761089077123*c_1100_1^6 + 357447463900893877308708897919934104439/444607311041303332726772304\ 4356308492*c_1100_1^5 + 40263825909561707109668141271256834317/4446\ 073110413033327267723044356308492*c_1100_1^4 - 252930109978145679181793762490945097007/444607311041303332726772304\ 4356308492*c_1100_1^3 + 13535435965839021543384000308083234467/1111\ 518277603258331816930761089077123*c_1100_1^2 + 11275385453813962479237755808799455243/1111518277603258331816930761\ 089077123*c_1100_1 - 1205397149324526894567359466589979229/11115182\ 77603258331816930761089077123, c_1001_2 + 143408364669801897336345500101926723/22230365552065166636338\ 61522178154246*c_1100_1^19 - 392994647993653784808511491758331145/4\ 446073110413033327267723044356308492*c_1100_1^18 + 2377640602973046125085552570006540962/11115182776032583318169307610\ 89077123*c_1100_1^17 - 7908209241159802055514883703017700679/222303\ 6555206516663633861522178154246*c_1100_1^16 + 16204615969844067387979859234488175901/2223036555206516663633861522\ 178154246*c_1100_1^15 - 67970891277461012803952214253350154177/4446\ 073110413033327267723044356308492*c_1100_1^14 + 223467848714198681111714786564282369661/444607311041303332726772304\ 4356308492*c_1100_1^13 - 66404778806227283632444773640400703198/111\ 1518277603258331816930761089077123*c_1100_1^12 + 217111409947495372052452207327027265471/222303655520651666363386152\ 2178154246*c_1100_1^11 - 423791882981465994529012541440173234679/44\ 46073110413033327267723044356308492*c_1100_1^10 + 523370022730357663004010607273261073839/444607311041303332726772304\ 4356308492*c_1100_1^9 - 190596256403965020972514352580165871837/222\ 3036555206516663633861522178154246*c_1100_1^8 - 91178688948636090730137925337212588685/4446073110413033327267723044\ 356308492*c_1100_1^7 + 145354885570337942299755726736235596561/1111\ 518277603258331816930761089077123*c_1100_1^6 - 566700514018335392719691304962894157757/444607311041303332726772304\ 4356308492*c_1100_1^5 + 22841885117091905007525490703698072706/1111\ 518277603258331816930761089077123*c_1100_1^4 + 63816010535695768680222042809315929208/1111518277603258331816930761\ 089077123*c_1100_1^3 - 84008307124152486774423477114281763817/44460\ 73110413033327267723044356308492*c_1100_1^2 - 22773746992073829998374091646878786045/2223036555206516663633861522\ 178154246*c_1100_1 + 1290225651165739718138622139569525805/11115182\ 77603258331816930761089077123, c_1100_1^20 - 2*c_1100_1^19 + 34*c_1100_1^18 - 76*c_1100_1^17 + 147*c_1100_1^16 - 307*c_1100_1^15 + 926*c_1100_1^14 - 1412*c_1100_1^13 + 2081*c_1100_1^12 - 2413*c_1100_1^11 + 2726*c_1100_1^10 - 2455*c_1100_1^9 + 492*c_1100_1^8 + 2237*c_1100_1^7 - 3218*c_1100_1^6 + 1494*c_1100_1^5 + 757*c_1100_1^4 - 872*c_1100_1^3 + 20*c_1100_1^2 + 128*c_1100_1 - 16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 3.040 Total time: 3.250 seconds, Total memory usage: 84.56MB