Magma V2.19-8 Tue Aug 20 2013 23:45:05 on localhost [Seed = 274101705] Type ? for help. Type -D to quit. Loading file "K13n2255__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n2255 geometric_solution 11.19503677 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 2 -1 -1 0 0 0 0 1 -1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -5 2 3 0 0 0 0 -3 3 0 0 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.186992193571 0.900329736507 0 5 7 6 0132 0132 0132 0132 0 0 0 0 0 -1 1 0 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 3 -3 0 0 0 0 0 0 -3 0 3 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.417560462779 0.890375347490 8 0 9 5 0132 0132 0132 0132 0 0 0 0 0 -2 1 1 -1 0 1 0 -1 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 -2 -3 2 0 -2 0 2 -2 0 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.037358291647 0.964453546181 8 6 9 0 3201 0132 3201 0132 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 2 0 -2 0 0 0 0 -2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.354533490191 1.084705365669 5 10 0 11 0132 0132 0132 0132 0 0 0 0 0 -1 1 0 -1 0 0 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 3 -3 0 3 0 0 -3 3 0 0 -3 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.582150403532 1.007797983779 4 1 2 11 0132 0132 0132 0321 0 0 0 0 0 1 -1 0 1 0 0 -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 -3 3 0 -3 0 0 3 -2 0 0 2 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.680064595555 1.024395450389 7 3 1 8 2310 0132 0132 0132 0 0 0 0 0 1 0 -1 -1 0 0 1 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 -2 0 2 2 0 0 -2 0 0 0 0 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.317323966933 1.125375285341 11 10 6 1 0321 1302 3201 0132 0 0 0 0 0 0 1 -1 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 -3 3 0 0 0 0 0 -3 0 3 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.610769686933 0.974243613695 2 10 6 3 0132 1023 0132 2310 0 0 0 0 0 0 1 -1 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 -2 2 -2 0 2 0 0 0 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.542610704769 0.163857720500 3 11 10 2 2310 2310 0321 0132 0 0 0 0 0 1 0 -1 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 -2 0 2 0 0 -2 2 0 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.219924329225 0.707669369366 8 4 9 7 1023 0132 0321 2031 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 -3 0 3 0 0 0 0 0 2 0 -2 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.729339091111 0.628050474629 7 5 4 9 0321 0321 0132 3201 0 0 0 0 0 0 0 0 0 0 -1 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 0 0 0 0 0 3 -3 0 -2 0 2 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.246492473920 1.077063959188 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_10'], 'c_1001_10' : d['c_1001_10'], 'c_1001_5' : d['c_1001_0'], 'c_1001_4' : d['c_0011_7'], 'c_1001_7' : negation(d['c_0101_0']), 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_10'], 'c_1001_2' : d['c_0011_7'], 'c_1001_9' : negation(d['c_1001_1']), 'c_1001_8' : d['c_0101_10'], 'c_1010_11' : d['c_1001_1'], 'c_1010_10' : d['c_0011_7'], 's_0_10' : d['1'], 's_0_11' : 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' : 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' : 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' : d['c_1001_10'], 'c_1100_8' : d['c_0011_3'], 'c_1100_5' : d['c_1001_10'], 'c_1100_4' : negation(d['c_0011_9']), 'c_1100_7' : d['c_0011_3'], 'c_1100_6' : d['c_0011_3'], 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : negation(d['c_0011_9']), 'c_1100_3' : negation(d['c_0011_9']), 'c_1100_2' : d['c_1001_10'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_9']), 'c_1100_10' : negation(d['c_1001_1']), 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : d['c_0101_10'], 'c_1010_5' : d['c_1001_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_1001_0'], 'c_1010_0' : d['c_0011_7'], 'c_1010_9' : d['c_0011_7'], 'c_1010_8' : negation(d['c_0101_0']), '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' : 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' : 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_7'], 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_7']), 'c_0110_10' : negation(d['c_0101_0']), 'c_0110_0' : negation(d['c_0011_11']), 'c_0101_7' : negation(d['c_0101_11']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_11'], 'c_0101_4' : negation(d['c_0011_11']), 'c_0101_3' : negation(d['c_0101_2']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_11']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_10']), 'c_0101_8' : d['c_0101_11'], 'c_0011_10' : d['c_0011_0'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_2'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_11'], 'c_0110_5' : negation(d['c_0011_11']), 'c_0110_4' : d['c_0101_11'], 'c_0110_7' : negation(d['c_0011_11']), 'c_0110_6' : d['c_0101_11']})} 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_11, c_0011_3, c_0011_7, c_0011_9, c_0101_0, c_0101_10, c_0101_11, c_0101_2, c_1001_0, c_1001_1, c_1001_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 1109334958630983878652243796703288335/49101637729130803498149253490\ 240646*c_1001_10^19 - 97187221198590347647604916932544443/962777210\ 375113794081357911573346*c_1001_10^18 - 106935350978528240885328467591997868/818360628818846724969154224837\ 3441*c_1001_10^17 + 3777843756332284295008770572475924077/446378524\ 8102800318013568499112786*c_1001_10^16 - 2602556445059950616263793219677743817/54557375254589781664610281655\ 82294*c_1001_10^15 + 1207708819222859655218439863720819602/81836062\ 88188467249691542248373441*c_1001_10^14 - 181598659571706507702712182413882973925/491016377291308034981492534\ 90240646*c_1001_10^13 + 9323150354564384973012697056056304235/28883\ 31631125341382244073734720038*c_1001_10^12 + 413412069533650610031424000195509559/163672125763769344993830844967\ 46882*c_1001_10^11 + 3205900164809578375743742655049908719/50620245\ 0815781479362363438043718*c_1001_10^10 - 344180249380201124025032276325643406381/491016377291308034981492534\ 90240646*c_1001_10^9 - 11690809816630382506267313502974546645/49101\ 637729130803498149253490240646*c_1001_10^8 - 15049938476024469199529262610090670077/5455737525458978166461028165\ 582294*c_1001_10^7 + 16007791229428161255815273863121689463/5455737\ 525458978166461028165582294*c_1001_10^6 + 37565107124009536607434525750973073671/1636721257637693449938308449\ 6746882*c_1001_10^5 - 28172153720887180898086313720112148/826626897\ 79681487370621638872459*c_1001_10^4 - 700131634421606029410687548948126474/144416581556267069112203686736\ 0019*c_1001_10^3 - 9600067387928525208105955834460269252/8183606288\ 188467249691542248373441*c_1001_10^2 - 11299226568541625676037867740485947540/2455081886456540174907462674\ 5120323*c_1001_10 - 2209538363264760247377849538277908337/491016377\ 29130803498149253490240646, c_0011_0 - 1, c_0011_11 + 44528009143870477138014/52885820921833701189091*c_1001_10^1\ 9 + 216450985683184125310145/52885820921833701189091*c_1001_10^18 + 104187362321778587340180/52885820921833701189091*c_1001_10^17 - 150811421410416939986972/4807801901984881926281*c_1001_10^16 + 274949513212336643712880/52885820921833701189091*c_1001_10^15 + 66560215418851384600217/52885820921833701189091*c_1001_10^14 + 7261203499864045848338903/52885820921833701189091*c_1001_10^13 - 3529357745215454184560733/52885820921833701189091*c_1001_10^12 - 2521430413161028522139444/52885820921833701189091*c_1001_10^11 - 132774664838042753771616/545214648678697950403*c_1001_10^10 + 9178268392562413559786293/52885820921833701189091*c_1001_10^9 + 5940867193678756328375361/52885820921833701189091*c_1001_10^8 + 6255848778146453063806923/52885820921833701189091*c_1001_10^7 - 4327691961703726884754301/52885820921833701189091*c_1001_10^6 - 6948905591130778227869610/52885820921833701189091*c_1001_10^5 - 115920019972375641026230/4807801901984881926281*c_1001_10^4 + 1648195832784970323178779/52885820921833701189091*c_1001_10^3 + 2855986753566616102421024/52885820921833701189091*c_1001_10^2 + 1759581378866291149751773/52885820921833701189091*c_1001_10 + 332239765660280000526732/52885820921833701189091, c_0011_3 - 13578505351444284883326/52885820921833701189091*c_1001_10^19 - 71851558536619016995614/52885820921833701189091*c_1001_10^18 - 59501047220968852637225/52885820921833701189091*c_1001_10^17 + 45036548963169224940929/4807801901984881926281*c_1001_10^16 + 134183966698471829671442/52885820921833701189091*c_1001_10^15 - 85965897093013063450556/52885820921833701189091*c_1001_10^14 - 2216314110771512700443593/52885820921833701189091*c_1001_10^13 + 145817426203272737527489/52885820921833701189091*c_1001_10^12 + 1345513901527053173841581/52885820921833701189091*c_1001_10^11 + 43147762830353706613701/545214648678697950403*c_1001_10^10 - 1232060839784233438177813/52885820921833701189091*c_1001_10^9 - 3182329938562221108998751/52885820921833701189091*c_1001_10^8 - 2488659115785828099184952/52885820921833701189091*c_1001_10^7 + 732081419640808147304572/52885820921833701189091*c_1001_10^6 + 2680205729308078416648094/52885820921833701189091*c_1001_10^5 + 107928319959785389589998/4807801901984881926281*c_1001_10^4 - 505592813236834136685953/52885820921833701189091*c_1001_10^3 - 1027987579627101218625063/52885820921833701189091*c_1001_10^2 - 858873360746176009366950/52885820921833701189091*c_1001_10 - 219057320420373560817838/52885820921833701189091, c_0011_7 - 46978585562065540600770/52885820921833701189091*c_1001_10^19 - 228946368064138324650503/52885820921833701189091*c_1001_10^18 - 111222542698171163737009/52885820921833701189091*c_1001_10^17 + 159613090245984114136684/4807801901984881926281*c_1001_10^16 - 268330435130955016309064/52885820921833701189091*c_1001_10^15 - 136805429875425006984570/52885820921833701189091*c_1001_10^14 - 7635668569952711325666930/52885820921833701189091*c_1001_10^13 + 3656979806220787082748266/52885820921833701189091*c_1001_10^12 + 2972888822775369423553435/52885820921833701189091*c_1001_10^11 + 137962229790572345301199/545214648678697950403*c_1001_10^10 - 9667729391206009123593751/52885820921833701189091*c_1001_10^9 - 6828138611618775161755815/52885820921833701189091*c_1001_10^8 - 6041595478466839180739281/52885820921833701189091*c_1001_10^7 + 4734828693981035804722230/52885820921833701189091*c_1001_10^6 + 7487396686885650379526128/52885820921833701189091*c_1001_10^5 + 86237421205335480657217/4807801901984881926281*c_1001_10^4 - 1884513090539646058118479/52885820921833701189091*c_1001_10^3 - 2934018976739037004543021/52885820921833701189091*c_1001_10^2 - 1754606328442673705976543/52885820921833701189091*c_1001_10 - 257660705384584209825919/52885820921833701189091, c_0011_9 - 51906453196697685178720/52885820921833701189091*c_1001_10^19 - 246857060045459734105184/52885820921833701189091*c_1001_10^18 - 96134735901469959805383/52885820921833701189091*c_1001_10^17 + 176526363622749560964396/4807801901984881926281*c_1001_10^16 - 522772795826094376515343/52885820921833701189091*c_1001_10^15 - 3431009096725854133119/52885820921833701189091*c_1001_10^14 - 8511389504999675593805822/52885820921833701189091*c_1001_10^13 + 5070962812632077883692598/52885820921833701189091*c_1001_10^12 + 2302277977980323355925813/52885820921833701189091*c_1001_10^11 + 154286903436087618110114/545214648678697950403*c_1001_10^10 - 12539300600753310525603316/52885820921833701189091*c_1001_10^9 - 5391901632731165404170507/52885820921833701189091*c_1001_10^8 - 7000837878630226677963109/52885820921833701189091*c_1001_10^7 + 6253623190848257998703617/52885820921833701189091*c_1001_10^6 + 7197421855792190697695683/52885820921833701189091*c_1001_10^5 + 61378617575260834469766/4807801901984881926281*c_1001_10^4 - 2054713339748327208909784/52885820921833701189091*c_1001_10^3 - 3057263498279893171139781/52885820921833701189091*c_1001_10^2 - 1677370571425913103243681/52885820921833701189091*c_1001_10 - 186380732098296889398969/52885820921833701189091, c_0101_0 - 9928571289739277302464/4807801901984881926281*c_1001_10^19 - 47377560799325190839720/4807801901984881926281*c_1001_10^18 - 18963078029819812249081/4807801901984881926281*c_1001_10^17 + 371834595833735569440743/4807801901984881926281*c_1001_10^16 - 94365413584603729646698/4807801901984881926281*c_1001_10^15 - 8753969378832346029929/4807801901984881926281*c_1001_10^14 - 1619355245716514831450417/4807801901984881926281*c_1001_10^13 + 938495234214755194122942/4807801901984881926281*c_1001_10^12 + 481064653245950941264702/4807801901984881926281*c_1001_10^11 + 29178143632564747843384/49564968061699813673*c_1001_10^10 - 2330226618705912837545617/4807801901984881926281*c_1001_10^9 - 1102852069483766302630053/4807801901984881926281*c_1001_10^8 - 1291599554816957185176724/4807801901984881926281*c_1001_10^7 + 1128665346528465612943800/4807801901984881926281*c_1001_10^6 + 1397141454507190171640808/4807801901984881926281*c_1001_10^5 + 155869565874899738239131/4807801901984881926281*c_1001_10^4 - 389456890775168261626294/4807801901984881926281*c_1001_10^3 - 577438945377864252017148/4807801901984881926281*c_1001_10^2 - 326841917070488031172014/4807801901984881926281*c_1001_10 - 42548988497131199467315/4807801901984881926281, c_0101_10 - 192730548747843912316466/52885820921833701189091*c_1001_10^\ 19 - 931450861108255275572777/52885820921833701189091*c_1001_10^18 - 423917080715529073343380/52885820921833701189091*c_1001_10^17 + 654020087341021213066066/4807801901984881926281*c_1001_10^16 - 1402721021406242844881739/52885820921833701189091*c_1001_10^15 - 294607542684634798989265/52885820921833701189091*c_1001_10^14 - 31337145758062056320236043/52885820921833701189091*c_1001_10^13 + 16194271090802615797250321/52885820921833701189091*c_1001_10^12 + 10576072756646931037366139/52885820921833701189091*c_1001_10^11 + 567653499229743827330459/545214648678697950403*c_1001_10^10 - 41361155246961370607718850/52885820921833701189091*c_1001_10^9 - 24532675041643796924928071/52885820921833701189091*c_1001_10^8 - 25708428562507919119397802/52885820921833701189091*c_1001_10^7 + 19486488956287225204483315/52885820921833701189091*c_1001_10^6 + 29038745004933294282819546/52885820921833701189091*c_1001_10^5 + 419701085135719513898717/4807801901984881926281*c_1001_10^4 - 7329919752466046448711018/52885820921833701189091*c_1001_10^3 - 11653828713290155035951190/52885820921833701189091*c_1001_10^2 - 7196805128801005097200984/52885820921833701189091*c_1001_10 - 1153135637413264316256218/52885820921833701189091, c_0101_11 + 294648858723021512230681/52885820921833701189091*c_1001_10^\ 19 + 1412964336428325103992969/52885820921833701189091*c_1001_10^18 + 596124876834833731648535/52885820921833701189091*c_1001_10^17 - 1001606930193654255338552/4807801901984881926281*c_1001_10^16 + 2552976496625217515958848/52885820921833701189091*c_1001_10^15 + 317716103615897584151491/52885820921833701189091*c_1001_10^14 + 47967019487104325624790782/52885820921833701189091*c_1001_10^13 - 26605522718749002792216452/52885820921833701189091*c_1001_10^12 - 14992760397463030642418672/52885820921833701189091*c_1001_10^11 - 865470974304112423756093/545214648678697950403*c_1001_10^10 + 66621798868565808647666972/52885820921833701189091*c_1001_10^9 + 34669311184372630026431568/52885820921833701189091*c_1001_10^8 + 38582649076315909691950082/52885820921833701189091*c_1001_10^7 - 31666003355659395212344828/52885820921833701189091*c_1001_10^6 - 42898941582501972939075525/52885820921833701189091*c_1001_10^5 - 507373140665541482090332/4807801901984881926281*c_1001_10^4 + 11405904455467063002401920/52885820921833701189091*c_1001_10^3 + 17388607585537900084813251/52885820921833701189091*c_1001_10^2 + 10349334181009400280503427/52885820921833701189091*c_1001_10 + 1464990499990995294413633/52885820921833701189091, c_0101_2 - 15696035053037077732836/52885820921833701189091*c_1001_10^19 - 72962484611200205790044/52885820921833701189091*c_1001_10^18 - 20730504585933194057238/52885820921833701189091*c_1001_10^17 + 53686468459495797410396/4807801901984881926281*c_1001_10^16 - 226280583043679902723388/52885820921833701189091*c_1001_10^15 + 3488410829554312962016/52885820921833701189091*c_1001_10^14 - 2520486888323618828517268/52885820921833701189091*c_1001_10^13 + 1778294270153946274140232/52885820921833701189091*c_1001_10^12 + 582346281967310377199262/52885820921833701189091*c_1001_10^11 + 43624140055866133538033/545214648678697950403*c_1001_10^10 - 4098143180158870375670183/52885820921833701189091*c_1001_10^9 - 1291675936734574188964854/52885820921833701189091*c_1001_10^8 - 1609167842200813067500235/52885820921833701189091*c_1001_10^7 + 1765536317692799490450212/52885820921833701189091*c_1001_10^6 + 2024616881375138617361496/52885820921833701189091*c_1001_10^5 - 3683013121240964142032/4807801901984881926281*c_1001_10^4 - 596130662130288197996977/52885820921833701189091*c_1001_10^3 - 847017730058249561918441/52885820921833701189091*c_1001_10^2 - 426269534785509465576023/52885820921833701189091*c_1001_10 + 1757920694190799617826/52885820921833701189091, c_1001_0 - 51127900227642901571265/52885820921833701189091*c_1001_10^19 - 239943466085177430123489/52885820921833701189091*c_1001_10^18 - 80421216071728498923751/52885820921833701189091*c_1001_10^17 + 173860255728065504744913/4807801901984881926281*c_1001_10^16 - 641679053282096673085621/52885820921833701189091*c_1001_10^15 + 72896882360751198009593/52885820921833701189091*c_1001_10^14 - 8337336147935347269078211/52885820921833701189091*c_1001_10^13 + 5434777201299264218079373/52885820921833701189091*c_1001_10^12 + 1800658745781056835848318/52885820921833701189091*c_1001_10^11 + 149488497785436552436329/545214648678697950403*c_1001_10^10 - 12821028823663022417161721/52885820921833701189091*c_1001_10^9 - 4337960357402208383588542/52885820921833701189091*c_1001_10^8 - 6582020698322432653009956/52885820921833701189091*c_1001_10^7 + 5750527760639888094772700/52885820921833701189091*c_1001_10^6 + 6823950920551207973522308/52885820921833701189091*c_1001_10^5 + 39047484504701878005384/4807801901984881926281*c_1001_10^4 - 1748963363633850949431923/52885820921833701189091*c_1001_10^3 - 2829438653121786207277778/52885820921833701189091*c_1001_10^2 - 1608879401562800513120105/52885820921833701189091*c_1001_10 - 187265267946205353279157/52885820921833701189091, c_1001_1 + 123477932190687021859173/52885820921833701189091*c_1001_10^1\ 9 + 593150614333808356955509/52885820921833701189091*c_1001_10^18 + 253629795097259748981496/52885820921833701189091*c_1001_10^17 - 420021570059909529711728/4807801901984881926281*c_1001_10^16 + 1029036015641837448380903/52885820921833701189091*c_1001_10^15 + 178655650945890127599237/52885820921833701189091*c_1001_10^14 + 20084682457372910779055765/52885820921833701189091*c_1001_10^13 - 10963230680093318028814053/52885820921833701189091*c_1001_10^12 - 6546631606165166856087466/52885820921833701189091*c_1001_10^11 - 361730490621719563158543/545214648678697950403*c_1001_10^10 + 27564340048048063535533919/52885820921833701189091*c_1001_10^9 + 15057435621803005146713671/52885820921833701189091*c_1001_10^8 + 15938852041143629998330973/52885820921833701189091*c_1001_10^7 - 13009884196950275659188074/52885820921833701189091*c_1001_10^6 - 18219756003902201440811217/52885820921833701189091*c_1001_10^5 - 208365380819591485168367/4807801901984881926281*c_1001_10^4 + 4709412442509350611240597/52885820921833701189091*c_1001_10^3 + 7276526395833624306438850/52885820921833701189091*c_1001_10^2 + 4399212494272222099686429/52885820921833701189091*c_1001_10 + 633492828668198836747066/52885820921833701189091, c_1001_10^20 + 5*c_1001_10^19 + 3*c_1001_10^18 - 37*c_1001_10^17 + c_1001_10^16 + 3*c_1001_10^15 + 163*c_1001_10^14 - 57*c_1001_10^13 - 70*c_1001_10^12 - 295*c_1001_10^11 + 168*c_1001_10^10 + 165*c_1001_10^9 + 154*c_1001_10^8 - 81*c_1001_10^7 - 168*c_1001_10^6 - 48*c_1001_10^5 + 35*c_1001_10^4 + 67*c_1001_10^3 + 47*c_1001_10^2 + 12*c_1001_10 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.330 Total time: 1.530 seconds, Total memory usage: 64.12MB