Magma V2.19-8 Wed Aug 21 2013 00:32:12 on localhost [Seed = 4020895511] Type ? for help. Type -D to quit. Loading file "K14n18918__sl2_c0.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' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_12'], 'c_0101_10' : d['c_0011_11'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_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' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_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' : 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' : d['c_1001_2'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : 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: 11 Groebner basis: [ t + 35048710658760719129696/10866998097710635*c_1001_5^10 + 52679645237349525487871/10866998097710635*c_1001_5^9 - 1161197548537166564/758074509781*c_1001_5^8 - 56049937436847813872672/10866998097710635*c_1001_5^7 - 1696729735067553581353/10866998097710635*c_1001_5^6 + 31111549307147647367722/10866998097710635*c_1001_5^5 + 8440243863421177961278/10866998097710635*c_1001_5^4 - 6488275927585032266733/10866998097710635*c_1001_5^3 - 503479384228324917732/2173399619542127*c_1001_5^2 + 471683941928919677959/10866998097710635*c_1001_5 + 220286052675968223823/10866998097710635, c_0011_0 - 1, c_0011_10 - 101773393454/923479*c_1001_5^10 - 198598080615/923479*c_1001_5^9 - 730573506/15139*c_1001_5^8 + 138219037414/923479*c_1001_5^7 + 64117404190/923479*c_1001_5^6 - 60848536907/923479*c_1001_5^5 - 47010559832/923479*c_1001_5^4 - 949860049/923479*c_1001_5^3 + 3666782988/923479*c_1001_5^2 - 1167916828/923479*c_1001_5 - 612960116/923479, c_0011_11 - 233812808069/923479*c_1001_5^10 - 458089621953/923479*c_1001_5^9 - 1715349982/15139*c_1001_5^8 + 318450195525/923479*c_1001_5^7 + 149181982851/923479*c_1001_5^6 - 140061247747/923479*c_1001_5^5 - 108938581958/923479*c_1001_5^4 - 2329054875/923479*c_1001_5^3 + 8526011075/923479*c_1001_5^2 - 2689454058/923479*c_1001_5 - 1422903886/923479, c_0011_12 - 140567424374/923479*c_1001_5^10 - 275803239172/923479*c_1001_5^9 - 1040687693/15139*c_1001_5^8 + 191554116940/923479*c_1001_5^7 + 90176711306/923479*c_1001_5^6 - 84176971806/923479*c_1001_5^5 - 65739737044/923479*c_1001_5^4 - 1472189202/923479*c_1001_5^3 + 5154878720/923479*c_1001_5^2 - 1614655208/923479*c_1001_5 - 860322619/923479, c_0011_4 - c_1001_5, c_0101_1 - 545873266335/923479*c_1001_5^10 - 1068524541073/923479*c_1001_5^9 - 3987760219/15139*c_1001_5^8 + 742926758567/923479*c_1001_5^7 + 347398552845/923479*c_1001_5^6 - 326791137893/923479*c_1001_5^5 - 253885322160/923479*c_1001_5^4 - 5392286455/923479*c_1001_5^3 + 19851804087/923479*c_1001_5^2 - 6272594788/923479*c_1001_5 - 3315807088/923479, c_0101_2 + 294466435721/923479*c_1001_5^10 + 575807789145/923479*c_1001_5^9 + 2142045489/15139*c_1001_5^8 - 400324913505/923479*c_1001_5^7 - 186950634596/923479*c_1001_5^6 + 176075563497/923479*c_1001_5^5 + 136741856423/923479*c_1001_5^4 + 2920606784/923479*c_1001_5^3 - 10692468174/923479*c_1001_5^2 + 3375887000/923479*c_1001_5 + 1786928337/923479, c_0101_5 - 209263806575/923479*c_1001_5^10 - 410331478560/923479*c_1001_5^9 - 1542670622/15139*c_1001_5^8 + 285126975365/923479*c_1001_5^7 + 133901685924/923479*c_1001_5^6 - 125358856933/923479*c_1001_5^5 - 97690802629/923479*c_1001_5^4 - 2130370656/923479*c_1001_5^3 + 7650015953/923479*c_1001_5^2 - 2408653149/923479*c_1001_5 - 1276877852/923479, c_0101_9 - 155755563018/923479*c_1001_5^10 - 306649293840/923479*c_1001_5^9 - 1177242630/15139*c_1001_5^8 + 212639133269/923479*c_1001_5^7 + 101138485101/923479*c_1001_5^6 - 93333641934/923479*c_1001_5^5 - 73444956939/923479*c_1001_5^4 - 1755550522/923479*c_1001_5^3 + 5773570405/923479*c_1001_5^2 - 1793953558/923479*c_1001_5 - 963829968/923479, c_0110_4 + 515286499541/923479*c_1001_5^10 + 1008289126232/923479*c_1001_5^9 + 3754819807/15139*c_1001_5^8 - 701216517400/923479*c_1001_5^7 - 327469887949/923479*c_1001_5^6 + 308487299275/923479*c_1001_5^5 + 239432296525/923479*c_1001_5^4 + 5036770266/923479*c_1001_5^3 - 18715972629/923479*c_1001_5^2 + 5918448108/923479*c_1001_5 + 3125200588/923479, c_0110_9 + 233812808069/923479*c_1001_5^10 + 458089621953/923479*c_1001_5^9 + 1715349982/15139*c_1001_5^8 - 318450195525/923479*c_1001_5^7 - 149181982851/923479*c_1001_5^6 + 140061247747/923479*c_1001_5^5 + 108938581958/923479*c_1001_5^4 + 2329054875/923479*c_1001_5^3 - 8526011075/923479*c_1001_5^2 + 2689454058/923479*c_1001_5 + 1422903886/923479, c_1001_2 - 210247293754/923479*c_1001_5^10 - 411788957378/923479*c_1001_5^9 - 1541915716/15139*c_1001_5^8 + 286241743080/923479*c_1001_5^7 + 134120448517/923479*c_1001_5^6 - 125880185652/923479*c_1001_5^5 - 97943711434/923479*c_1001_5^4 - 2106927146/923479*c_1001_5^3 + 7664331406/923479*c_1001_5^2 - 2416459920/923479*c_1001_5 - 1279826723/923479, c_1001_5^11 + 844/347*c_1001_5^10 + 477/347*c_1001_5^9 - 399/347*c_1001_5^8 - 445/347*c_1001_5^7 + 103/347*c_1001_5^6 + 260/347*c_1001_5^5 + 80/347*c_1001_5^4 - 11/347*c_1001_5^3 - 2/347*c_1001_5^2 + 4/347*c_1001_5 + 1/347 ], 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: 16 Groebner basis: [ t + 36339099696945153392868694792437761908002569735/6300054293732544558\ 577193687477757739008*c_1001_5^15 + 1877580810027680953249446922903560093302645630629/10710092299345325\ 7495812292687121881563136*c_1001_5^14 - 638937737111979233683187814759841278022511452783/357003076644844191\ 65270764229040627187712*c_1001_5^13 - 454345808878750931630482712686011393244808481701/973644754485938704\ 5073844789738352869376*c_1001_5^12 + 11389838799889203447174712932340569500048970750707/1071009229934532\ 57495812292687121881563136*c_1001_5^11 - 1257082099087718160116839922201134458055390966085/97364475448593870\ 45073844789738352869376*c_1001_5^10 + 492105100804203144119154869028307199775402348111/324548251495312901\ 5024614929912784289792*c_1001_5^9 - 6027429327644251803851665999302760142531399048785/35700307664484419\ 165270764229040627187712*c_1001_5^8 + 5263986805504786776464756173265440435463587009895/35700307664484419\ 165270764229040627187712*c_1001_5^7 - 10104393437153035137657618928854508551258605175809/1071009229934532\ 57495812292687121881563136*c_1001_5^6 + 4854464232121991188909691748569497623754782120073/10710092299345325\ 7495812292687121881563136*c_1001_5^5 - 582090903437108534464654222005310616677612166087/357003076644844191\ 65270764229040627187712*c_1001_5^4 + 484052157051864247679847124427875907763311874145/107100922993453257\ 495812292687121881563136*c_1001_5^3 - 26881277027623839641210039515796972408974041999/3570030766448441916\ 5270764229040627187712*c_1001_5^2 + 3420913368610974289332920941276328927385444743/35700307664484419165\ 270764229040627187712*c_1001_5 + 5624521271228570937219500409137072\ 62437570933/35700307664484419165270764229040627187712, c_0011_0 - 1, c_0011_10 - 11641133726297294775932967297557/14409666671718699285665970\ 176*c_1001_5^15 - 37779806388016763919230247617533/1440966667171869\ 9285665970176*c_1001_5^14 + 28569443835782844687242186255297/144096\ 66671718699285665970176*c_1001_5^13 + 101430469265988099422442165411857/14409666671718699285665970176*c_1\ 001_5^12 - 192008976110825028285559856366309/1440966667171869928566\ 5970176*c_1001_5^11 + 218606005521382031629265868751315/14409666671\ 718699285665970176*c_1001_5^10 - 263054749334177916996559577341943/\ 14409666671718699285665970176*c_1001_5^9 + 288910139806767017900009982937561/14409666671718699285665970176*c_1\ 001_5^8 - 239312409566979534388457392420695/14409666671718699285665\ 970176*c_1001_5^7 + 144367635300809672987453945513585/1440966667171\ 8699285665970176*c_1001_5^6 - 66059984310719915046384227384757/1440\ 9666671718699285665970176*c_1001_5^5 + 22411503123026097275076398112315/14409666671718699285665970176*c_10\ 01_5^4 - 6022713342932725530231066605487/14409666671718699285665970\ 176*c_1001_5^3 + 927956571703215058583432334265/1440966667171869928\ 5665970176*c_1001_5^2 - 138437201260471617100443232789/144096666717\ 18699285665970176*c_1001_5 - 9800079045723217993699731493/144096666\ 71718699285665970176, c_0011_11 + 19136172850810363087699647888443/11527733337374959428532776\ 1408*c_1001_5^15 + 68687169287099043415709671341577/115277333373749\ 594285327761408*c_1001_5^14 - 24804599466980093223894028498393/1152\ 77333373749594285327761408*c_1001_5^13 - 180407005055527472893052510911203/115277333373749594285327761408*c_\ 1001_5^12 + 255881536371698328373800699197383/115277333373749594285\ 327761408*c_1001_5^11 - 258179508176920399810411686535939/115277333\ 373749594285327761408*c_1001_5^10 + 321992202688355384212808247788339/115277333373749594285327761408*c_\ 1001_5^9 - 341513084294306607899867061291567/1152773333737495942853\ 27761408*c_1001_5^8 + 22728454030729444947977653602147/104797575794\ 31781298666160128*c_1001_5^7 - 11190124681298356992542751741023/104\ 79757579431781298666160128*c_1001_5^6 + 44144537068407581160180768568357/115277333373749594285327761408*c_1\ 001_5^5 - 10761517023374519931983204203129/115277333373749594285327\ 761408*c_1001_5^4 + 244604011623720557514205702999/1047975757943178\ 1298666160128*c_1001_5^3 + 212182781537292989509015373583/115277333\ 373749594285327761408*c_1001_5^2 - 50783809097465753031311698815/115277333373749594285327761408*c_1001\ _5 + 109241596935960448382035580299/115277333373749594285327761408, c_0011_12 - 364995585209748904339518058043/450302083491209352677061568*\ c_1001_5^15 - 4871166199329643270552773204207/180120833396483741070\ 8246272*c_1001_5^14 + 6260624669313323953314956036139/3602416667929\ 674821416492544*c_1001_5^13 + 25992381658334859325595420527109/3602\ 416667929674821416492544*c_1001_5^12 - 22815654819035335864103105656229/1801208333964837410708246272*c_100\ 1_5^11 + 6338805648268391101111208296175/45030208349120935267706156\ 8*c_1001_5^10 - 61989614759230565159784762103427/360241666792967482\ 1416492544*c_1001_5^9 + 67892044391525326145497905830703/3602416667\ 929674821416492544*c_1001_5^8 - 13776047998727383655160860878797/90\ 0604166982418705354123136*c_1001_5^7 + 16288020595987167102243159547885/1801208333964837410708246272*c_100\ 1_5^6 - 15002144280752736804065522795595/36024166679296748214164925\ 44*c_1001_5^5 + 5366480264041318521696794591299/3602416667929674821\ 416492544*c_1001_5^4 - 818840830238729363142377505109/1801208333964\ 837410708246272*c_1001_5^3 + 76367876100548682266902753763/90060416\ 6982418705354123136*c_1001_5^2 - 54896511719087737383926857821/3602\ 416667929674821416492544*c_1001_5 - 1350677304215284575073860727/3602416667929674821416492544, c_0011_4 - 113374970713119015599361397426577/11527733337374959428532776\ 1408*c_1001_5^15 - 355948408942985129723360072214163/11527733337374\ 9594285327761408*c_1001_5^14 + 316627912137588210314196963448763/11\ 5277333373749594285327761408*c_1001_5^13 + 954620804843971442404502701471425/115277333373749594285327761408*c_\ 1001_5^12 - 1980625932334121970622007815750613/11527733337374959428\ 5327761408*c_1001_5^11 + 2333804625458786070011764212922193/1152773\ 33373749594285327761408*c_1001_5^10 - 2776142804941974535789202533088585/115277333373749594285327761408*c\ _1001_5^9 + 3069485427792187699763487247923621/11527733337374959428\ 5327761408*c_1001_5^8 - 2618278610517431627090837139885859/11527733\ 3373749594285327761408*c_1001_5^7 + 1636655216437134605178189050854423/115277333373749594285327761408*c\ _1001_5^6 - 771755579183920020780540523224735/115277333373749594285\ 327761408*c_1001_5^5 + 272464715719120457998364785854963/1152773333\ 73749594285327761408*c_1001_5^4 - 76758341392656499780387242699127/\ 115277333373749594285327761408*c_1001_5^3 + 13910647181719285332181566225707/115277333373749594285327761408*c_1\ 001_5^2 - 2041585684322751930579162406355/1152773333737495942853277\ 61408*c_1001_5 - 80052405714460961631496490073/11527733337374959428\ 5327761408, c_0101_1 + 3594338007335819140240539659621/5763866668687479714266388070\ 4*c_1001_5^15 + 11154250033243050992988232856355/576386666868747971\ 42663880704*c_1001_5^14 - 1017121474648942651961629141245/523987878\ 9715890649333080064*c_1001_5^13 - 31821841342809512933850544168457/\ 57638666686874797142663880704*c_1001_5^12 + 67260237374041771053975338619593/57638666686874797142663880704*c_10\ 01_5^11 - 71131719108812806202851249331729/576386666868747971426638\ 80704*c_1001_5^10 + 73981091746206655195486466895973/57638666686874\ 797142663880704*c_1001_5^9 - 78432863713106193998578354928349/57638\ 666686874797142663880704*c_1001_5^8 + 61283687425869929685606100140351/57638666686874797142663880704*c_10\ 01_5^7 - 26516363091254709114251275003847/5763866668687479714266388\ 0704*c_1001_5^6 + 211316011105090451148074517843/576386666868747971\ 42663880704*c_1001_5^5 + 8388341312070562384250524782805/5763866668\ 6874797142663880704*c_1001_5^4 - 6049688273334658241339818980205/57\ 638666686874797142663880704*c_1001_5^3 + 2464784382532614745072574744757/57638666686874797142663880704*c_100\ 1_5^2 - 596320088278189211782378379481/5763866668687479714266388070\ 4*c_1001_5 + 49831721930065748062836611601/576386666868747971426638\ 80704, c_0101_2 + 203508423563899027397809885197055/11527733337374959428532776\ 1408*c_1001_5^15 + 650390485949479503709508725008885/11527733337374\ 9594285327761408*c_1001_5^14 - 524394272911248273101516109238757/11\ 5277333373749594285327761408*c_1001_5^13 - 1720935951597263804980449583432551/115277333373749594285327761408*c\ _1001_5^12 + 3433772565346309239526676229803099/1152773333737495942\ 85327761408*c_1001_5^11 - 4060138314728692918856951106675943/115277\ 333373749594285327761408*c_1001_5^10 + 4891583150913729339382427560419959/115277333373749594285327761408*c\ _1001_5^9 - 5386978096696419951619443280791043/11527733337374959428\ 5327761408*c_1001_5^8 + 4572656567881106687007305920088013/11527733\ 3373749594285327761408*c_1001_5^7 - 2877388237638150311268759473653265/115277333373749594285327761408*c\ _1001_5^6 + 1388973531753831119451019031599041/11527733337374959428\ 5327761408*c_1001_5^5 - 507737712993307460744294536540485/115277333\ 373749594285327761408*c_1001_5^4 + 149362755609653079121796312077017/115277333373749594285327761408*c_\ 1001_5^3 - 28367779418270963662989224887549/11527733337374959428532\ 7761408*c_1001_5^2 + 4690857614702046185934418695597/11527733337374\ 9594285327761408*c_1001_5 + 9571890968975843913543785581/1047975757\ 9431781298666160128, c_0101_5 - 110029987245766228187913696044871/11527733337374959428532776\ 1408*c_1001_5^15 - 352820993670236240983231430740285/11527733337374\ 9594285327761408*c_1001_5^14 + 282356629714657767742357976161757/11\ 5277333373749594285327761408*c_1001_5^13 + 941467365242399841588043622837983/115277333373749594285327761408*c_\ 1001_5^12 - 168663249607129905765251285368681/104797575794317812986\ 66160128*c_1001_5^11 + 2150604255407388177358123716940863/115277333\ 373749594285327761408*c_1001_5^10 - 2572910531219207251242419297329119/115277333373749594285327761408*c\ _1001_5^9 + 2836996606959903658247046704624027/11527733337374959428\ 5327761408*c_1001_5^8 - 216993972250509154378254993030159/104797575\ 79431781298666160128*c_1001_5^7 + 146722357166197961293693596249836\ 1/115277333373749594285327761408*c_1001_5^6 - 62306340491888951343095518717227/10479757579431781298666160128*c_10\ 01_5^5 + 241603740483296868912783818802093/115277333373749594285327\ 761408*c_1001_5^4 - 6335902681882445364292899218259/104797575794317\ 81298666160128*c_1001_5^3 + 12683470247522522949154914084293/115277\ 333373749594285327761408*c_1001_5^2 - 2056743912993840605446222865189/115277333373749594285327761408*c_10\ 01_5 - 80920724693089029264407593511/115277333373749594285327761408\ , c_0101_9 + 25896252445168365646579621835955/115277333373749594285327761\ 408*c_1001_5^15 + 68643370920662053417830723983369/1152773333737495\ 94285327761408*c_1001_5^14 - 117257573619319371423672284528801/1152\ 77333373749594285327761408*c_1001_5^13 - 198308323757395674580629901432995/115277333373749594285327761408*c_\ 1001_5^12 + 576242100162278581641131006194079/115277333373749594285\ 327761408*c_1001_5^11 - 64592075023426732625725544180649/1047975757\ 9431781298666160128*c_1001_5^10 + 796282861699981654966968754567755\ /115277333373749594285327761408*c_1001_5^9 - 897997165382822830964254867175471/115277333373749594285327761408*c_\ 1001_5^8 + 811424227959183620421864836690473/1152773333737495942853\ 27761408*c_1001_5^7 - 521529524081804178770310410448789/11527733337\ 3749594285327761408*c_1001_5^6 + 235250112625612883510218377693261/\ 115277333373749594285327761408*c_1001_5^5 - 74286864444744366706801943220537/115277333373749594285327761408*c_1\ 001_5^4 + 16171011423457142648353539385733/115277333373749594285327\ 761408*c_1001_5^3 - 2258460725304570739619854685745/115277333373749\ 594285327761408*c_1001_5^2 + 55004050499309366237953881097/11527733\ 3373749594285327761408*c_1001_5 - 3429981604841356696085542901/1152\ 77333373749594285327761408, c_0110_4 - 1365433656905233021088972725699/1047975757943178129866616012\ 8*c_1001_5^15 - 68037870810613224511828523195691/115277333373749594\ 285327761408*c_1001_5^14 - 32825656131336856122456586530565/1152773\ 33373749594285327761408*c_1001_5^13 + 14237211336383714304906920650635/10479757579431781298666160128*c_10\ 01_5^12 - 57226642936118193202532937995397/115277333373749594285327\ 761408*c_1001_5^11 + 24095367029067272370813976846073/1152773333737\ 49594285327761408*c_1001_5^10 - 108115716707195983689371051092265/1\ 15277333373749594285327761408*c_1001_5^9 + 86128215511948053504517155141725/115277333373749594285327761408*c_1\ 001_5^8 - 1232526976720654945906895289683/1152773333737495942853277\ 61408*c_1001_5^7 - 1754691952563165578836313045235/1047975757943178\ 1298666160128*c_1001_5^6 - 7850750610922096732678375462815/11527733\ 3373749594285327761408*c_1001_5^5 + 15339220969491300789306614979803/115277333373749594285327761408*c_1\ 001_5^4 - 11054060726310401380856923208903/115277333373749594285327\ 761408*c_1001_5^3 + 2886975486050685531553433320099/115277333373749\ 594285327761408*c_1001_5^2 - 952107882488581765001857679923/1152773\ 33373749594285327761408*c_1001_5 - 2831424748440368289220438067/10479757579431781298666160128, c_0110_9 + 915246782393285832616063414491/14409666671718699285665970176\ *c_1001_5^15 + 2079812528935355339181769788155/72048333358593496428\ 32985088*c_1001_5^14 + 1495949826941271222962008256611/144096666717\ 18699285665970176*c_1001_5^13 - 5730293686373228744073663787381/720\ 4833335859349642832985088*c_1001_5^12 + 4416364275680137062012068766983/14409666671718699285665970176*c_100\ 1_5^11 + 1952794048954724530326171730051/72048333358593496428329850\ 88*c_1001_5^10 - 1950954390108005987348321670241/144096666717186992\ 85665970176*c_1001_5^9 + 1632485760323406249272522763139/7204833335\ 859349642832985088*c_1001_5^8 - 910786010366036832005855502973/1309\ 969697428972662333270016*c_1001_5^7 + 6105046311968012168738890251785/7204833335859349642832985088*c_1001\ _5^6 - 7772272084882326708383313342631/1440966667171869928566597017\ 6*c_1001_5^5 + 1525311732037691453524136386649/72048333358593496428\ 32985088*c_1001_5^4 - 667920742802018247372574770819/14409666671718\ 699285665970176*c_1001_5^3 + 5738537966360455298427861771/654984848\ 714486331166635008*c_1001_5^2 - 9121958814598510332337364827/144096\ 66671718699285665970176*c_1001_5 + 2168568481047255770854755993/7204833335859349642832985088, c_1001_2 + 4276156069237997143857610481545/1152773333737495942853277614\ 08*c_1001_5^15 + 17770627582538104630389575690051/11527733337374959\ 4285327761408*c_1001_5^14 - 913433129905776803213610409267/11527733\ 3373749594285327761408*c_1001_5^13 - 57053791160977619107304164676481/115277333373749594285327761408*c_1\ 001_5^12 + 43625136636893639945320232005197/11527733337374959428532\ 7761408*c_1001_5^11 + 13525240407678108574772504171263/115277333373\ 749594285327761408*c_1001_5^10 - 24596970704292630446909756996975/1\ 15277333373749594285327761408*c_1001_5^9 + 27933242249111430281245997021435/115277333373749594285327761408*c_1\ 001_5^8 - 63628808191174437465784583786165/115277333373749594285327\ 761408*c_1001_5^7 + 87484197266432611042901983874105/11527733337374\ 9594285327761408*c_1001_5^6 - 69223830132037320380943380357769/1152\ 77333373749594285327761408*c_1001_5^5 + 34898760165683105674029096884749/115277333373749594285327761408*c_1\ 001_5^4 - 11352732748537987278409388972321/115277333373749594285327\ 761408*c_1001_5^3 + 2533287931515343612007414341509/115277333373749\ 594285327761408*c_1001_5^2 - 311784053648731890492505989333/1152773\ 33373749594285327761408*c_1001_5 + 28911613779213350087710065273/115277333373749594285327761408, c_1001_5^16 + 55146/17051*c_1001_5^15 - 41982/17051*c_1001_5^14 - 8606/1003*c_1001_5^13 + 282526/17051*c_1001_5^12 - 327870/17051*c_1001_5^11 + 394730/17051*c_1001_5^10 - 433510/17051*c_1001_5^9 + 362996/17051*c_1001_5^8 - 223298/17051*c_1001_5^7 + 104742/17051*c_1001_5^6 - 36666/17051*c_1001_5^5 + 10194/17051*c_1001_5^4 - 1642/17051*c_1001_5^3 + 14/1003*c_1001_5^2 + 30/17051*c_1001_5 + 1/17051 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 17.820 Total time: 18.030 seconds, Total memory usage: 135.88MB