Magma V2.19-8 Wed Aug 21 2013 00:30:39 on localhost [Seed = 1982883373] Type ? for help. Type -D to quit. Loading file "K14n17562__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n17562 geometric_solution 11.66113518 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 0 0 0 0 0 0 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 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.501094653310 0.612959709427 0 5 6 4 0132 0132 0132 2103 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 11 -11 0 -1 0 1 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.172385057985 1.782231088874 3 0 2 2 1230 0132 2031 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 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.663942403264 1.067692538539 7 2 8 0 0132 3012 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 -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.798726320409 0.981322522435 9 10 0 1 0132 0132 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.608941435553 0.675720719846 11 1 10 9 0132 0132 3120 0321 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 -11 11 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.508866505533 0.176817052624 11 12 12 1 3201 0132 2103 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 1 -12 11 1 0 0 -1 0 1 0 -1 -11 12 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.384543960173 1.312865775480 3 10 8 12 0132 1302 3120 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0.417151112690 0.627335595148 9 11 7 3 3012 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.730370748761 0.444139892112 4 5 12 8 0132 0321 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.384543960173 1.312865775480 11 4 5 7 2031 0132 3120 2031 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 0 0 0 0 0 0 0 0 11 0 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.297682953554 0.424189074410 5 8 10 6 0132 3120 1302 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 -11 11 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.538359571134 0.421101471601 6 6 7 9 2103 0132 1230 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 -1 1 0 0 0 0 0 12 -12 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.794525305221 0.701508078248 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0110_10'], 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : d['c_0101_8'], 'c_1001_5' : negation(d['c_1001_10']), 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_7' : d['c_0110_10'], 'c_1001_6' : d['c_0011_12'], 'c_1001_1' : d['c_0101_8'], 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_0011_0'], 'c_1001_2' : negation(d['c_0011_3']), 'c_1001_9' : d['c_0011_12'], 'c_1001_8' : negation(d['c_0110_10']), 'c_1010_12' : d['c_0011_12'], 'c_1010_11' : negation(d['c_0011_8']), 'c_1010_10' : negation(d['c_0011_3']), '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' : negation(d['c_0011_10']), 'c_0101_10' : negation(d['c_0011_12']), '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_0011_11' : negation(d['c_0011_0']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0011_12'], 'c_1100_4' : negation(d['c_0101_0']), 'c_1100_7' : negation(d['c_0101_8']), 'c_1100_6' : negation(d['c_0101_9']), 'c_1100_1' : negation(d['c_0101_9']), 'c_1100_0' : negation(d['c_0101_0']), 'c_1100_3' : negation(d['c_0101_0']), 'c_1100_2' : d['c_0101_2'], 's_3_11' : d['1'], 'c_1100_9' : d['c_0101_3'], 'c_1100_11' : negation(d['c_0011_12']), 'c_1100_10' : d['c_0101_12'], 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0101_12']), 'c_1010_6' : d['c_0101_8'], 'c_1010_5' : d['c_0101_8'], 'c_1010_4' : d['c_1001_10'], 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : negation(d['c_1001_10']), 'c_1010_0' : negation(d['c_0011_3']), 'c_1010_9' : d['c_0101_8'], 'c_1010_8' : d['c_0011_0'], 'c_1100_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'], 'c_1100_12' : d['c_0101_3'], '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_10'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : negation(d['c_0011_3']), 'c_0011_6' : negation(d['c_0011_12']), '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_0101_12']), 'c_0110_10' : d['c_0110_10'], 'c_0110_12' : d['c_0101_9'], 'c_0101_12' : d['c_0101_12'], 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0101_12'], 'c_0101_5' : negation(d['c_0101_12']), 'c_0101_4' : d['c_0011_8'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_8'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_8'], 'c_0110_8' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_8'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : negation(d['c_0011_10']), 'c_0110_4' : d['c_0101_9'], 'c_0110_7' : d['c_0101_3'], 'c_0110_6' : d['c_0011_8']})} 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_12, c_0011_3, c_0011_8, c_0101_0, c_0101_12, c_0101_2, c_0101_3, c_0101_8, c_0101_9, c_0110_10, c_1001_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 1531653764310822818628683054358267583452834301448722880299266336/21\ 75762452451508551951511893923680650925197010015488421*c_1001_10^19 + 12408194062912011320829112232853472264232602921380052855120942144/2\ 175762452451508551951511893923680650925197010015488421*c_1001_10^18 + 9815339513378614759854502776247020642535778079533396209409123278/\ 2175762452451508551951511893923680650925197010015488421*c_1001_10^1\ 7 - 568252806677188791408829446613361179823128433227833806619094127\ 71/2175762452451508551951511893923680650925197010015488421*c_1001_1\ 0^16 - 705449528913926156162696469083350286194779941516183581767404\ 82620/2175762452451508551951511893923680650925197010015488421*c_100\ 1_10^15 + 300452674170641687731755773741019334374874337682262810063\ 766795379/2175762452451508551951511893923680650925197010015488421*c\ _1001_10^14 - 51739655150861668206502208857104363046289641506274289\ 836341026741/217576245245150855195151189392368065092519701001548842\ 1*c_1001_10^13 - 50111513638004119051068836829523189894390336176629\ 5504803043761879/21757624524515085519515118939236806509251970100154\ 88421*c_1001_10^12 + 3647040879785492337061943246987621812632351146\ 1893601052884465213/21757624524515085519515118939236806509251970100\ 15488421*c_1001_10^11 + 1728291812124945821738138655234113231903245\ 808654880746490975908680/217576245245150855195151189392368065092519\ 7010015488421*c_1001_10^10 - 31589351811090712432601585574836764926\ 21790441498720565612492387400/2175762452451508551951511893923680650\ 925197010015488421*c_1001_10^9 + 1529691704128319074127191569241622\ 31156762055323255255101292568263/1145138132869215027342900996801937\ 18469747211053446759*c_1001_10^8 - 1777195751937417092781703573393949837905829202562413398032965925873\ /2175762452451508551951511893923680650925197010015488421*c_1001_10^\ 7 + 772804633758687179051855304282779319203484048938002169213512071\ 758/2175762452451508551951511893923680650925197010015488421*c_1001_\ 10^6 - 243510642356888789456716157469618659371949390813567799080911\ 102528/2175762452451508551951511893923680650925197010015488421*c_10\ 01_10^5 + 537444650268809351422184747623577459594289971116322462498\ 28116862/2175762452451508551951511893923680650925197010015488421*c_\ 1001_10^4 - 7550941337087868351267998368947080553867735273529752357\ 734658063/2175762452451508551951511893923680650925197010015488421*c\ _1001_10^3 + 381633332962637897871949030161073777536401346007689868\ 748653995/2175762452451508551951511893923680650925197010015488421*c\ _1001_10^2 + 684808936627046153882392040363743522235989036306428338\ 73058272/2175762452451508551951511893923680650925197010015488421*c_\ 1001_10 - 126010118838887220398004077823910752986156135381312641668\ 77704/2175762452451508551951511893923680650925197010015488421, c_0011_0 - 1, c_0011_10 + 318290858534464894677774668891839093069568147851719872/7025\ 38731821604311253313494970513610243847920573293*c_1001_10^19 + 2365164173237687486020502063806251274251310181553856992/70253873182\ 1604311253313494970513610243847920573293*c_1001_10^18 + 305090533093033137913431659117556924135045510413964660/702538731821\ 604311253313494970513610243847920573293*c_1001_10^17 - 13237638125311787551166874228407865187060201719336626856/7025387318\ 21604311253313494970513610243847920573293*c_1001_10^16 - 6883131312377717945002236542482982205004225113586710837/70253873182\ 1604311253313494970513610243847920573293*c_1001_10^15 + 72392026528241275164437670895271225201334870507216109410/7025387318\ 21604311253313494970513610243847920573293*c_1001_10^14 - 51897823573184185411054461141494061759467570509420314786/7025387318\ 21604311253313494970513610243847920573293*c_1001_10^13 - 97478306072938167489951131511852284672376626797632817720/7025387318\ 21604311253313494970513610243847920573293*c_1001_10^12 + 75365988940391710408864473657168782825740916149373486330/7025387318\ 21604311253313494970513610243847920573293*c_1001_10^11 + 355986799496013576529708327896611272805735619879140571433/702538731\ 821604311253313494970513610243847920573293*c_1001_10^10 - 893413679817709304186924098092833916244266112188621163535/702538731\ 821604311253313494970513610243847920573293*c_1001_10^9 + 1037720854123754217776222568981753114787974980765216780212/70253873\ 1821604311253313494970513610243847920573293*c_1001_10^8 - 775098490141017074144383133928677869963612867385711966586/702538731\ 821604311253313494970513610243847920573293*c_1001_10^7 + 418444884451955303353573484928332747432329906668473755115/702538731\ 821604311253313494970513610243847920573293*c_1001_10^6 - 169130362696801562712228061019154332724983580987284643277/702538731\ 821604311253313494970513610243847920573293*c_1001_10^5 + 51944635628418073094894895062106271209117573200027313902/7025387318\ 21604311253313494970513610243847920573293*c_1001_10^4 - 11975712789198528764165969669024937007225632705595219263/7025387318\ 21604311253313494970513610243847920573293*c_1001_10^3 + 2010476591806813298607184385265750549661942562218137850/70253873182\ 1604311253313494970513610243847920573293*c_1001_10^2 - 222861407967107135166325705611930038010587268079423821/702538731821\ 604311253313494970513610243847920573293*c_1001_10 + 13325738763795235443832520192796013024690097720955628/7025387318216\ 04311253313494970513610243847920573293, c_0011_12 - 29790104387892727193803077907934915785122814384676512/70253\ 8731821604311253313494970513610243847920573293*c_1001_10^19 - 132394675215456691760502148537904508472898602572828704/702538731821\ 604311253313494970513610243847920573293*c_1001_10^18 + 701220837026838932539424893126297868283878482100236106/702538731821\ 604311253313494970513610243847920573293*c_1001_10^17 + 1887543814493260947019312472750161505710425406984808693/70253873182\ 1604311253313494970513610243847920573293*c_1001_10^16 - 2553955135052160082273993560492628482416715989173931407/70253873182\ 1604311253313494970513610243847920573293*c_1001_10^15 - 11165229659101948020935609356581320048650528396495776115/7025387318\ 21604311253313494970513610243847920573293*c_1001_10^14 + 21699320737091551167785222561750674695210029161375946906/7025387318\ 21604311253313494970513610243847920573293*c_1001_10^13 + 7600162614392072061372688413239001064223148847033454038/70253873182\ 1604311253313494970513610243847920573293*c_1001_10^12 - 35445189872585041707135549998358396788368871431368328187/7025387318\ 21604311253313494970513610243847920573293*c_1001_10^11 - 34147202760559447020601125506807435073170702678787141655/7025387318\ 21604311253313494970513610243847920573293*c_1001_10^10 + 182424806904363746134981888820016807779745042286289797883/702538731\ 821604311253313494970513610243847920573293*c_1001_10^9 - 270642216249555273972419083601407087077189769169207175795/702538731\ 821604311253313494970513610243847920573293*c_1001_10^8 + 228931747913997734167766090933330632486633137335918677001/702538731\ 821604311253313494970513610243847920573293*c_1001_10^7 - 135430084510334970576115199268960170395906603128875118515/702538731\ 821604311253313494970513610243847920573293*c_1001_10^6 + 58691623395917014861188306866659280653605983956107791381/7025387318\ 21604311253313494970513610243847920573293*c_1001_10^5 - 19134125973142569762062085973943652036050438316713690562/7025387318\ 21604311253313494970513610243847920573293*c_1001_10^4 + 4641094123646071612064733019911771645162470284648744163/70253873182\ 1604311253313494970513610243847920573293*c_1001_10^3 - 818873198957006967384380313976866781876361347210288344/702538731821\ 604311253313494970513610243847920573293*c_1001_10^2 + 95008427402234027733648265115478996171750408845965260/7025387318216\ 04311253313494970513610243847920573293*c_1001_10 - 6027482776473910753602320914885467731769030999468986/70253873182160\ 4311253313494970513610243847920573293, c_0011_3 + 45716168719217861233232910337107184768427290855350304/702538\ 731821604311253313494970513610243847920573293*c_1001_10^19 + 368619779049566247932300151115830964392037234188579520/702538731821\ 604311253313494970513610243847920573293*c_1001_10^18 + 279481234452277343470873500121774598570072784513477022/702538731821\ 604311253313494970513610243847920573293*c_1001_10^17 - 1703158347163272192142284484312533333274430821571795059/70253873182\ 1604311253313494970513610243847920573293*c_1001_10^16 - 2042301149814436306890974601085051963759379098037576788/70253873182\ 1604311253313494970513610243847920573293*c_1001_10^15 + 9022242036634420849531744512638265250538512717230535555/70253873182\ 1604311253313494970513610243847920573293*c_1001_10^14 - 1888965544283148971652174684843238458516631568919983436/70253873182\ 1604311253313494970513610243847920573293*c_1001_10^13 - 14754527840823669400796123576220533614871946130417785414/7025387318\ 21604311253313494970513610243847920573293*c_1001_10^12 + 1524928472827767653454466784685249877098053497317888673/70253873182\ 1604311253313494970513610243847920573293*c_1001_10^11 + 51348007516933760357059630638954330126583946790399324614/7025387318\ 21604311253313494970513610243847920573293*c_1001_10^10 - 96022520214192726709576554424010595018510065898235075829/7025387318\ 21604311253313494970513610243847920573293*c_1001_10^9 + 91007337812847179059647136790460830874511668600477533678/7025387318\ 21604311253313494970513610243847920573293*c_1001_10^8 - 58200478437331294991050628032026160884258643750227310184/7025387318\ 21604311253313494970513610243847920573293*c_1001_10^7 + 27203778105513252644913438982828964657524884603396215074/7025387318\ 21604311253313494970513610243847920573293*c_1001_10^6 - 9580240232854978060115982527193908972997515251451731042/70253873182\ 1604311253313494970513610243847920573293*c_1001_10^5 + 2542336525247616515910672004705815231977641169272896661/70253873182\ 1604311253313494970513610243847920573293*c_1001_10^4 - 516785789858956717347019257637761245503552074973888958/702538731821\ 604311253313494970513610243847920573293*c_1001_10^3 + 69431276458993740811065391314573648352807787192167335/7025387318216\ 04311253313494970513610243847920573293*c_1001_10^2 - 5392066595483129936120348396660546627310498779702970/70253873182160\ 4311253313494970513610243847920573293*c_1001_10 - 381010366849162139845008079515843202221984094051339/702538731821604\ 311253313494970513610243847920573293, c_0011_8 - 16548708777093984701845952481520723585413730296077792/702538\ 731821604311253313494970513610243847920573293*c_1001_10^19 - 132212471192159746551919293718617709311702320756803104/702538731821\ 604311253313494970513610243847920573293*c_1001_10^18 - 91856575909583930965266525739032413626221840472574690/7025387318216\ 04311253313494970513610243847920573293*c_1001_10^17 + 618978906892343932250181697923599406799099301123783851/702538731821\ 604311253313494970513610243847920573293*c_1001_10^16 + 685443461124422952045717034313973712606419034311645795/702538731821\ 604311253313494970513610243847920573293*c_1001_10^15 - 3306274413581906666696246819611045514393199880053509064/70253873182\ 1604311253313494970513610243847920573293*c_1001_10^14 + 967637750211693025629327004147048195826459291956388850/702538731821\ 604311253313494970513610243847920573293*c_1001_10^13 + 5217336682126183575682744949899964527594863946998001788/70253873182\ 1604311253313494970513610243847920573293*c_1001_10^12 - 1015390990853590856887359317909815454546589192221199085/70253873182\ 1604311253313494970513610243847920573293*c_1001_10^11 - 18400981765748163566155720185349939892232727994910896887/7025387318\ 21604311253313494970513610243847920573293*c_1001_10^10 + 36283344423309441972370384012930396713352325986533810094/7025387318\ 21604311253313494970513610243847920573293*c_1001_10^9 - 36051189448577397886185392554050503157948520252447655132/7025387318\ 21604311253313494970513610243847920573293*c_1001_10^8 + 24069228234138938569677600479216875121647363440716311856/7025387318\ 21604311253313494970513610243847920573293*c_1001_10^7 - 11677741685801494614596386196306877009397635929065148958/7025387318\ 21604311253313494970513610243847920573293*c_1001_10^6 + 4300888096126897592879370135323320802454929791078230868/70253873182\ 1604311253313494970513610243847920573293*c_1001_10^5 - 1186500443293588962575942203098274507469707510507047211/70253873182\ 1604311253313494970513610243847920573293*c_1001_10^4 + 253068704698176409755179841263012969349778200080988173/702538731821\ 604311253313494970513610243847920573293*c_1001_10^3 - 36269236496489887561228986802584010703008893905341670/7025387318216\ 04311253313494970513610243847920573293*c_1001_10^2 + 3028731016609081972270510863702287403733269022194223/70253873182160\ 4311253313494970513610243847920573293*c_1001_10 + 508712895296441712023487386018130832923357786144355/702538731821604\ 311253313494970513610243847920573293, c_0101_0 - 921718438011880552475921588275801865770389205273678464/70253\ 8731821604311253313494970513610243847920573293*c_1001_10^19 - 7405693731349100830237941951815670500485309606596735168/70253873182\ 1604311253313494970513610243847920573293*c_1001_10^18 - 5455851435652833856261978683191172854095298702696142136/70253873182\ 1604311253313494970513610243847920573293*c_1001_10^17 + 34216591008021775351205957622437768644645872827198531448/7025387318\ 21604311253313494970513610243847920573293*c_1001_10^16 + 39875489904769312566944805541411473880273753236612217776/7025387318\ 21604311253313494970513610243847920573293*c_1001_10^15 - 181927046666698949217308470224201021049302350351331299657/702538731\ 821604311253313494970513610243847920573293*c_1001_10^14 + 45333571148868237502889473013818976380299264954973002861/7025387318\ 21604311253313494970513610243847920573293*c_1001_10^13 + 290520292958937314480910598321499240171869277229217884189/702538731\ 821604311253313494970513610243847920573293*c_1001_10^12 - 40776794974422376434712976250370868365500890872431801749/7025387318\ 21604311253313494970513610243847920573293*c_1001_10^11 - 1023386330512845063442313780140350261540458462514898652300/70253873\ 1821604311253313494970513610243847920573293*c_1001_10^10 + 1969588371097836244384695312970949571710056393482422258594/70253873\ 1821604311253313494970513610243847920573293*c_1001_10^9 - 1927557401827538074460254073460603701679151384134888954720/70253873\ 1821604311253313494970513610243847920573293*c_1001_10^8 + 1278736359797113374305632098771495863849387532834959058619/70253873\ 1821604311253313494970513610243847920573293*c_1001_10^7 - 619516838181952813508912528754159768416221262335361131358/702538731\ 821604311253313494970513610243847920573293*c_1001_10^6 + 227058221244229051999481151530379275521159936385841637045/702538731\ 821604311253313494970513610243847920573293*c_1001_10^5 - 63179407828839259885681715195237519415379993982515537745/7025387318\ 21604311253313494970513610243847920573293*c_1001_10^4 + 13205140751940958225156072378925841870003423463907940883/7025387318\ 21604311253313494970513610243847920573293*c_1001_10^3 - 1975968102017281638386030391603160576956231702432959016/70253873182\ 1604311253313494970513610243847920573293*c_1001_10^2 + 192813574034551206093353384611149648979646790465096971/702538731821\ 604311253313494970513610243847920573293*c_1001_10 - 9217080439122123490717514550043295397138715365068420/70253873182160\ 4311253313494970513610243847920573293, c_0101_12 - 7124763719756272848047045274873640468388114776404800/702538\ 731821604311253313494970513610243847920573293*c_1001_10^19 - 57536223217584227395302305677012453857442884578753120/7025387318216\ 04311253313494970513610243847920573293*c_1001_10^18 - 45366246694719466932800602742986069233750469037660012/7025387318216\ 04311253313494970513610243847920573293*c_1001_10^17 + 255221293712463792520673830933358102682015649372801820/702538731821\ 604311253313494970513610243847920573293*c_1001_10^16 + 308094256083558247812244664146933619003541658259206863/702538731821\ 604311253313494970513610243847920573293*c_1001_10^15 - 1369320031501815197200232633208684399286650453821164021/70253873182\ 1604311253313494970513610243847920573293*c_1001_10^14 + 351566623855124374544225942666214847586288186360325066/702538731821\ 604311253313494970513610243847920573293*c_1001_10^13 + 2133862785206125655053280699925871416631379600949798951/70253873182\ 1604311253313494970513610243847920573293*c_1001_10^12 - 294179620781243717928170932605568350254940653934483270/702538731821\ 604311253313494970513610243847920573293*c_1001_10^11 - 7687137102672639342205864159829887692071737282998547695/70253873182\ 1604311253313494970513610243847920573293*c_1001_10^10 + 15068094011955279508299089584656297774411487209511092752/7025387318\ 21604311253313494970513610243847920573293*c_1001_10^9 - 15137481800897432269462917465870400312255061841216347974/7025387318\ 21604311253313494970513610243847920573293*c_1001_10^8 + 10375475777005139560557249454075295529674073002688804620/7025387318\ 21604311253313494970513610243847920573293*c_1001_10^7 - 5121392520095656107386037238484657998544187585198296046/70253873182\ 1604311253313494970513610243847920573293*c_1001_10^6 + 1947538661260233834255076932568889384876374126347679392/70253873182\ 1604311253313494970513610243847920573293*c_1001_10^5 - 548665460737445393274210327811934365773467887233346615/702538731821\ 604311253313494970513610243847920573293*c_1001_10^4 + 121425576796463017052374721113020388135499969418412717/702538731821\ 604311253313494970513610243847920573293*c_1001_10^3 - 17953897822069988457477373651928784453538755026540559/7025387318216\ 04311253313494970513610243847920573293*c_1001_10^2 + 2622415796800928993263933614267627623441379667616015/70253873182160\ 4311253313494970513610243847920573293*c_1001_10 - 105685145075224364062022311412474839525901094073583/702538731821604\ 311253313494970513610243847920573293, c_0101_2 + 278884863170863167541381735744730348536966436768619872/70253\ 8731821604311253313494970513610243847920573293*c_1001_10^19 + 2082938019493152898846633001652345412191805119510840896/70253873182\ 1604311253313494970513610243847920573293*c_1001_10^18 + 339165356535795585660064663749198812908005723217800874/702538731821\ 604311253313494970513610243847920573293*c_1001_10^17 - 11647703841663453126596575969565061525605109605847564273/7025387318\ 21604311253313494970513610243847920573293*c_1001_10^16 - 6545051881755811240940494208454424191886955769542644966/70253873182\ 1604311253313494970513610243847920573293*c_1001_10^15 + 63420935749370173961174050704484667509822043616585202436/7025387318\ 21604311253313494970513610243847920573293*c_1001_10^14 - 42631777710269916767792938538323507774115755870343019079/7025387318\ 21604311253313494970513610243847920573293*c_1001_10^13 - 88275215927983550349339260457741999778716044419490009232/7025387318\ 21604311253313494970513610243847920573293*c_1001_10^12 + 62428282058902916855128834119248319684751429389077267571/7025387318\ 21604311253313494970513610243847920573293*c_1001_10^11 + 316531169137549188802130883380180147431325106667465313117/702538731\ 821604311253313494970513610243847920573293*c_1001_10^10 - 770038407609726507327131556145603652773488307135082532362/702538731\ 821604311253313494970513610243847920573293*c_1001_10^9 + 872153922339676056774616446645268825829300443316748364315/702538731\ 821604311253313494970513610243847920573293*c_1001_10^8 - 634204316495775632804834641249467630707381125051938578523/702538731\ 821604311253313494970513610243847920573293*c_1001_10^7 + 333350810793275785692635619530212479721880776681049593688/702538731\ 821604311253313494970513610243847920573293*c_1001_10^6 - 130518577986584968544819169003892693127335004596016806734/702538731\ 821604311253313494970513610243847920573293*c_1001_10^5 + 38726323376500299644780798350166316708566502049639675415/7025387318\ 21604311253313494970513610243847920573293*c_1001_10^4 - 8585092848003627958370795589642614705030443890584232561/70253873182\ 1604311253313494970513610243847920573293*c_1001_10^3 + 1384969846991241508079314827598130358048667950866454121/70253873182\ 1604311253313494970513610243847920573293*c_1001_10^2 - 147308359410670511875160695821221544504405497144362252/702538731821\ 604311253313494970513610243847920573293*c_1001_10 + 8732908678232590870468099522343215418036317449263731/70253873182160\ 4311253313494970513610243847920573293, c_0101_3 - 16548708777093984701845952481520723585413730296077792/702538\ 731821604311253313494970513610243847920573293*c_1001_10^19 - 132212471192159746551919293718617709311702320756803104/702538731821\ 604311253313494970513610243847920573293*c_1001_10^18 - 91856575909583930965266525739032413626221840472574690/7025387318216\ 04311253313494970513610243847920573293*c_1001_10^17 + 618978906892343932250181697923599406799099301123783851/702538731821\ 604311253313494970513610243847920573293*c_1001_10^16 + 685443461124422952045717034313973712606419034311645795/702538731821\ 604311253313494970513610243847920573293*c_1001_10^15 - 3306274413581906666696246819611045514393199880053509064/70253873182\ 1604311253313494970513610243847920573293*c_1001_10^14 + 967637750211693025629327004147048195826459291956388850/702538731821\ 604311253313494970513610243847920573293*c_1001_10^13 + 5217336682126183575682744949899964527594863946998001788/70253873182\ 1604311253313494970513610243847920573293*c_1001_10^12 - 1015390990853590856887359317909815454546589192221199085/70253873182\ 1604311253313494970513610243847920573293*c_1001_10^11 - 18400981765748163566155720185349939892232727994910896887/7025387318\ 21604311253313494970513610243847920573293*c_1001_10^10 + 36283344423309441972370384012930396713352325986533810094/7025387318\ 21604311253313494970513610243847920573293*c_1001_10^9 - 36051189448577397886185392554050503157948520252447655132/7025387318\ 21604311253313494970513610243847920573293*c_1001_10^8 + 24069228234138938569677600479216875121647363440716311856/7025387318\ 21604311253313494970513610243847920573293*c_1001_10^7 - 11677741685801494614596386196306877009397635929065148958/7025387318\ 21604311253313494970513610243847920573293*c_1001_10^6 + 4300888096126897592879370135323320802454929791078230868/70253873182\ 1604311253313494970513610243847920573293*c_1001_10^5 - 1186500443293588962575942203098274507469707510507047211/70253873182\ 1604311253313494970513610243847920573293*c_1001_10^4 + 253068704698176409755179841263012969349778200080988173/702538731821\ 604311253313494970513610243847920573293*c_1001_10^3 - 36269236496489887561228986802584010703008893905341670/7025387318216\ 04311253313494970513610243847920573293*c_1001_10^2 + 3028731016609081972270510863702287403733269022194223/70253873182160\ 4311253313494970513610243847920573293*c_1001_10 + 508712895296441712023487386018130832923357786144355/702538731821604\ 311253313494970513610243847920573293, c_0101_8 - 1002075179007798386935342138134570763061571981644656480/7025\ 38731821604311253313494970513610243847920573293*c_1001_10^19 - 7947721493681666331637609406485867373557799597340398624/70253873182\ 1604311253313494970513610243847920573293*c_1001_10^18 - 5073246992610591194602645352370288122375580947858715594/70253873182\ 1604311253313494970513610243847920573293*c_1001_10^17 + 38021166535321287901447032472386725909635590082158447743/7025387318\ 21604311253313494970513610243847920573293*c_1001_10^16 + 39666362313614443608956883402149685357261366844862365459/7025387318\ 21604311253313494970513610243847920573293*c_1001_10^15 - 203228676755112672393771758370979199591731742896421549698/702538731\ 821604311253313494970513610243847920573293*c_1001_10^14 + 68570760381342131061114148693945357125144251528199497047/7025387318\ 21604311253313494970513610243847920573293*c_1001_10^13 + 315827063818404894738296719150438802301404945642540086914/702538731\ 821604311253313494970513610243847920573293*c_1001_10^12 - 77976102395704135996498107980032128958165631596923233297/7025387318\ 21604311253313494970513610243847920573293*c_1001_10^11 - 1116402743973340572324022948365546485395939330727839214203/70253873\ 1821604311253313494970513610243847920573293*c_1001_10^10 + 2257128931490658845210096613300066023497756622986663139149/70253873\ 1821604311253313494970513610243847920573293*c_1001_10^9 - 2287997789846009735229265100482309733562121736152379763146/70253873\ 1821604311253313494970513610243847920573293*c_1001_10^8 + 1553121090278165147767960548755101596832005119510036962518/70253873\ 1821604311253313494970513610243847920573293*c_1001_10^7 - 767027874472895716154802797072046996619437755698193881577/702538731\ 821604311253313494970513610243847920573293*c_1001_10^6 + 285196581455562718544513321510434605744679724912604898679/702538731\ 821604311253313494970513610243847920573293*c_1001_10^5 - 80263279831532236401881186697389804682449658734647490311/7025387318\ 21604311253313494970513610243847920573293*c_1001_10^4 + 16899129166512440294423484528644199948563944473403938722/7025387318\ 21604311253313494970513610243847920573293*c_1001_10^3 - 2547232460089747794430759641385258393499355327040284375/70253873182\ 1604311253313494970513610243847920573293*c_1001_10^2 + 249578004262651343044179525719381762248178105742189355/702538731821\ 604311253313494970513610243847920573293*c_1001_10 - 12215489363448951894565632989434345438940113422458832/7025387318216\ 04311253313494970513610243847920573293, c_0101_9 + 7124763719756272848047045274873640468388114776404800/7025387\ 31821604311253313494970513610243847920573293*c_1001_10^19 + 57536223217584227395302305677012453857442884578753120/7025387318216\ 04311253313494970513610243847920573293*c_1001_10^18 + 45366246694719466932800602742986069233750469037660012/7025387318216\ 04311253313494970513610243847920573293*c_1001_10^17 - 255221293712463792520673830933358102682015649372801820/702538731821\ 604311253313494970513610243847920573293*c_1001_10^16 - 308094256083558247812244664146933619003541658259206863/702538731821\ 604311253313494970513610243847920573293*c_1001_10^15 + 1369320031501815197200232633208684399286650453821164021/70253873182\ 1604311253313494970513610243847920573293*c_1001_10^14 - 351566623855124374544225942666214847586288186360325066/702538731821\ 604311253313494970513610243847920573293*c_1001_10^13 - 2133862785206125655053280699925871416631379600949798951/70253873182\ 1604311253313494970513610243847920573293*c_1001_10^12 + 294179620781243717928170932605568350254940653934483270/702538731821\ 604311253313494970513610243847920573293*c_1001_10^11 + 7687137102672639342205864159829887692071737282998547695/70253873182\ 1604311253313494970513610243847920573293*c_1001_10^10 - 15068094011955279508299089584656297774411487209511092752/7025387318\ 21604311253313494970513610243847920573293*c_1001_10^9 + 15137481800897432269462917465870400312255061841216347974/7025387318\ 21604311253313494970513610243847920573293*c_1001_10^8 - 10375475777005139560557249454075295529674073002688804620/7025387318\ 21604311253313494970513610243847920573293*c_1001_10^7 + 5121392520095656107386037238484657998544187585198296046/70253873182\ 1604311253313494970513610243847920573293*c_1001_10^6 - 1947538661260233834255076932568889384876374126347679392/70253873182\ 1604311253313494970513610243847920573293*c_1001_10^5 + 548665460737445393274210327811934365773467887233346615/702538731821\ 604311253313494970513610243847920573293*c_1001_10^4 - 121425576796463017052374721113020388135499969418412717/702538731821\ 604311253313494970513610243847920573293*c_1001_10^3 + 17953897822069988457477373651928784453538755026540559/7025387318216\ 04311253313494970513610243847920573293*c_1001_10^2 - 2622415796800928993263933614267627623441379667616015/70253873182160\ 4311253313494970513610243847920573293*c_1001_10 + 105685145075224364062022311412474839525901094073583/702538731821604\ 311253313494970513610243847920573293, c_0110_10 - 399131121243512770452922715925114296293947832060981664/7025\ 38731821604311253313494970513610243847920573293*c_1001_10^19 - 3127950562340968122833965018296312812136449169057665216/70253873182\ 1604311253313494970513610243847920573293*c_1001_10^18 - 1709618635731833845972295640801380459826387526635238726/70253873182\ 1604311253313494970513610243847920573293*c_1001_10^17 + 15434062909572862690673270052667813523694328020160632903/7025387318\ 21604311253313494970513610243847920573293*c_1001_10^16 + 14443058853931426245544039332665969134409669271893300336/7025387318\ 21604311253313494970513610243847920573293*c_1001_10^15 - 82903110278632783743260079052365656086549132973675427603/7025387318\ 21604311253313494970513610243847920573293*c_1001_10^14 + 34407304307447961638749542057564932391563858000596588457/7025387318\ 21604311253313494970513610243847920573293*c_1001_10^13 + 125684995118830571736060559759079893307320328753287473684/702538731\ 821604311253313494970513610243847920573293*c_1001_10^12 - 43483761543636008071629856184154551578899416656336388819/7025387318\ 21604311253313494970513610243847920573293*c_1001_10^11 - 445790342349842133770574742015130693456190091103544618830/702538731\ 821604311253313494970513610243847920573293*c_1001_10^10 + 941519419191785918335056785788618507159206466036051145425/702538731\ 821604311253313494970513610243847920573293*c_1001_10^9 - 982160235747511499735633581335497144356121635941563545247/702538731\ 821604311253313494970513610243847920573293*c_1001_10^8 + 678275769892727495085992682592147529687510135566544112154/702538731\ 821604311253313494970513610243847920573293*c_1001_10^7 - 339066610175188167912827156477818711033553800612638887078/702538731\ 821604311253313494970513610243847920573293*c_1001_10^6 + 126938610620660031903327936830728785476354537289940305695/702538731\ 821604311253313494970513610243847920573293*c_1001_10^5 - 35784396802892710261102689483147452195199861840261995948/7025387318\ 21604311253313494970513610243847920573293*c_1001_10^4 + 7499596062694684364583720472814177581691976302584427077/70253873182\ 1604311253313494970513610243847920573293*c_1001_10^3 - 1118255333760918073184545045973222654103421531126533190/70253873182\ 1604311253313494970513610243847920573293*c_1001_10^2 + 107168951693438366291865553923700871081842489396265816/702538731821\ 604311253313494970513610243847920573293*c_1001_10 - 5048066334497103480576842554083749297143715926625729/70253873182160\ 4311253313494970513610243847920573293, c_1001_10^20 + 54/7*c_1001_10^19 + 377/112*c_1001_10^18 - 1243/32*c_1001_10^17 - 499/16*c_1001_10^16 + 11789/56*c_1001_10^15 - 25439/224*c_1001_10^14 - 66231/224*c_1001_10^13 + 16291/112*c_1001_10^12 + 7627/7*c_1001_10^11 - 558627/224*c_1001_10^10 + 313463/112*c_1001_10^9 - 234575/112*c_1001_10^8 + 32141/28*c_1001_10^7 - 53791/112*c_1001_10^6 + 2489/16*c_1001_10^5 - 8735/224*c_1001_10^4 + 831/112*c_1001_10^3 - 115/112*c_1001_10^2 + 3/32*c_1001_10 - 1/224 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 12.080 Total time: 12.289 seconds, Total memory usage: 76.16MB