Magma V2.19-8 Wed Aug 21 2013 00:55:09 on localhost [Seed = 2968955615] Type ? for help. Type -D to quit. Loading file "L13a1403__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L13a1403 geometric_solution 11.43682651 oriented_manifold CS_known 0.0000000000000003 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 1 3 0132 0132 1023 0132 1 1 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 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.248263077083 1.181486630015 0 1 0 1 0132 1302 1023 2031 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.455266812022 0.127258687228 4 0 6 5 0132 0132 0132 0132 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 0 0 0 0 0 0 0 -1 1 0 0 0 -1 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.869483225997 0.595463114613 7 7 0 4 0132 1230 0132 3201 1 1 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 0 0 0 0 1 -1 0 0 0 0 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.234887715808 1.289311685712 2 3 8 8 0132 2310 0132 0321 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 0 0 0 0 0 0 0 1 -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 0.875192021698 0.883475489370 9 7 2 6 0132 1302 0132 0321 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 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.928467946717 0.637700244713 10 5 8 2 0132 0321 0321 0132 1 0 1 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 1 -1 -2 0 1 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.696551686507 0.785900487931 3 11 3 5 0132 0132 3012 2031 1 1 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 0 0 0 -1 1 0 0 0 0 0 -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.863238343539 0.750692309416 9 4 6 4 3120 0321 0321 0132 1 0 1 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 -1 1 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.434078453066 0.571277849006 5 10 12 8 0132 1230 0132 3120 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 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.711318054358 1.189389168688 6 11 9 12 0132 0213 3012 3012 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 0 0 0 0 0 0 0 0 1 0 -1 2 0 -1 -1 -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.562651602255 0.339244881573 12 7 10 12 0132 0132 0213 2031 1 0 1 1 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 1 -1 0 0 0 -1 1 17 -1 0 -16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.816378450425 0.536137782326 11 11 10 9 0132 1302 1230 0132 0 0 1 1 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 -1 1 0 0 0 0 0 0 0 0 0 -17 16 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.144183376565 0.562037895939 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_5'], 'c_1001_10' : d['c_0011_5'], 'c_1001_12' : d['c_0101_12'], 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : negation(d['c_0101_7']), 'c_1001_7' : negation(d['c_0011_11']), 'c_1001_6' : d['c_1001_6'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0101_12'], 'c_1001_8' : d['c_1001_6'], 'c_1010_12' : d['c_0101_12'], 'c_1010_11' : negation(d['c_0011_11']), 'c_1010_10' : negation(d['c_0101_12']), 's_3_11' : d['1'], 's_3_10' : negation(d['1']), 's_0_12' : d['1'], 's_3_12' : negation(d['1']), 's_2_8' : d['1'], 's_2_9' : negation(d['1']), 'c_0101_11' : d['c_0011_10'], 'c_0101_10' : negation(d['c_0011_8']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : negation(d['1']), 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : negation(d['1']), 's_0_6' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(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' : d['c_0011_11'], 'c_1100_8' : d['c_1001_6'], 'c_0011_12' : negation(d['c_0011_11']), 'c_1100_5' : d['c_1001_6'], 'c_1100_4' : d['c_1001_6'], 'c_1100_7' : negation(d['c_1001_2']), 'c_1100_6' : d['c_1001_6'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_1001_6'], 's_0_10' : negation(d['1']), 'c_1100_9' : d['c_0101_6'], 'c_1100_11' : negation(d['c_0101_12']), 'c_1100_10' : negation(d['c_0101_12']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_5'], 'c_1010_6' : d['c_1001_2'], 'c_1010_5' : d['c_1001_2'], 'c_1010_4' : negation(d['c_0101_7']), 'c_1010_3' : d['c_0101_7'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0011_8']), 'c_1010_8' : negation(d['c_0101_7']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : negation(d['1']), 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0101_6'], '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_5']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_11']), 'c_0011_6' : negation(d['c_0011_10']), '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_12'], 'c_0110_10' : d['c_0101_6'], 'c_0110_12' : d['c_0011_10'], 'c_0101_12' : d['c_0101_12'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0011_8']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_10'], 'c_0101_8' : negation(d['c_0101_6']), '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_0101_4'], 'c_0110_8' : d['c_0101_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_7'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0011_10'], 'c_0110_4' : negation(d['c_0011_8']), 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : negation(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_11, c_0011_5, c_0011_8, c_0101_0, c_0101_1, c_0101_12, c_0101_4, c_0101_6, c_0101_7, c_1001_2, c_1001_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 108972862945603381108451361502230976679/556098469059318370796712547\ 25627072*c_1001_6^21 - 61623786558743428281740312147704706285/55609\ 846905931837079671254725627072*c_1001_6^20 - 86795624459228895626912802829599295905/2780492345296591853983562736\ 2813536*c_1001_6^19 - 11256475526714816961545746285479608839/278049\ 23452965918539835627362813536*c_1001_6^18 - 25060323956721827790829724019983325467/5560984690593183707967125472\ 5627072*c_1001_6^17 - 140127550720248421337343279144920965473/55609\ 846905931837079671254725627072*c_1001_6^16 - 50092261199522894429993900611133824537/1390246172648295926991781368\ 1406768*c_1001_6^15 - 111473417981340237558577987894456775949/69512\ 30863241479634958906840703384*c_1001_6^14 - 106220082736077523402721461556033808915/695123086324147963495890684\ 0703384*c_1001_6^13 - 293971875995744629450765918557174160157/13902\ 461726482959269917813681406768*c_1001_6^12 - 457818133085026000239172248689679196167/278049234529659185398356273\ 62813536*c_1001_6^11 - 26490528479645854547189108421615957351/21388\ 40265612762964602740566370272*c_1001_6^10 - 625236850961338931766911552919230615361/556098469059318370796712547\ 25627072*c_1001_6^9 - 149921617673939593079564314260133045815/55609\ 846905931837079671254725627072*c_1001_6^8 - 143388851500102572364915422124584734113/278049234529659185398356273\ 62813536*c_1001_6^7 + 10967576786664414603231394747791908689/278049\ 23452965918539835627362813536*c_1001_6^6 - 43026881894153500324213843301261242767/5560984690593183707967125472\ 5627072*c_1001_6^5 + 72880209959083263071530892426772562439/5560984\ 6905931837079671254725627072*c_1001_6^4 + 2661052285880264580795475548023185033/69512308632414796349589068407\ 03384*c_1001_6^3 + 1343021639544542842346522983242374081/1737807715\ 810369908739726710175846*c_1001_6^2 + 6186251632868184067411832351087057473/55609846905931837079671254725\ 627072*c_1001_6 + 6582778573822995335162203082093346599/55609846905\ 931837079671254725627072, c_0011_0 - 1, c_0011_10 - 75305938328012654336867/758049163621781752939*c_1001_6^21 + 23386208201328603448842/758049163621781752939*c_1001_6^20 - 65157832270478721045120/758049163621781752939*c_1001_6^19 + 108760991738124952416624/758049163621781752939*c_1001_6^18 + 39194967180496331170231/758049163621781752939*c_1001_6^17 - 48915790163308102713538/758049163621781752939*c_1001_6^16 - 23317292650129020330432/758049163621781752939*c_1001_6^15 - 452296400958642803289332/758049163621781752939*c_1001_6^14 + 9447771578127166544324/758049163621781752939*c_1001_6^13 - 119534207140464570050680/758049163621781752939*c_1001_6^12 + 326385155252064237265902/758049163621781752939*c_1001_6^11 + 444769809812740594829896/758049163621781752939*c_1001_6^10 + 388284326120671899099658/758049163621781752939*c_1001_6^9 + 672822378904969676929030/758049163621781752939*c_1001_6^8 + 265754068105194279661554/758049163621781752939*c_1001_6^7 + 464733886842542018591944/758049163621781752939*c_1001_6^6 + 192829806982804922992497/758049163621781752939*c_1001_6^5 + 224185885688592788378898/758049163621781752939*c_1001_6^4 + 76859391909293437989126/758049163621781752939*c_1001_6^3 + 69125923442578387157036/758049163621781752939*c_1001_6^2 + 9826060145412070634761/758049163621781752939*c_1001_6 + 8985053676206563441049/758049163621781752939, c_0011_11 + 19360380493625359549249/6064393308974254023512*c_1001_6^21 + 610640470996590354022159/6064393308974254023512*c_1001_6^20 + 265326840036775623626931/3032196654487127011756*c_1001_6^19 + 601767644764342584601217/3032196654487127011756*c_1001_6^18 + 596459891363510094790365/6064393308974254023512*c_1001_6^17 + 562681174876022985606931/6064393308974254023512*c_1001_6^16 + 285587994418371098892239/1516098327243563505878*c_1001_6^15 + 207474328921768161583077/758049163621781752939*c_1001_6^14 + 711398867337669995443227/758049163621781752939*c_1001_6^13 + 1684434379542102933984735/1516098327243563505878*c_1001_6^12 + 4742699324267481788835329/3032196654487127011756*c_1001_6^11 + 4645022381144983162886705/3032196654487127011756*c_1001_6^10 + 8426977099650808690507799/6064393308974254023512*c_1001_6^9 + 7922584318056920874626093/6064393308974254023512*c_1001_6^8 + 2492966412192793033472479/3032196654487127011756*c_1001_6^7 + 2371251689949904877494313/3032196654487127011756*c_1001_6^6 + 2463139205127004276860457/6064393308974254023512*c_1001_6^5 + 1855260299853036060125195/6064393308974254023512*c_1001_6^4 + 91120443181879794970890/758049163621781752939*c_1001_6^3 + 57402976804883524201498/758049163621781752939*c_1001_6^2 + 79347003647125780467129/6064393308974254023512*c_1001_6 + 50110385919047055404507/6064393308974254023512, c_0011_5 - 10951159725887933038182/758049163621781752939*c_1001_6^21 + 223840460995416185742456/758049163621781752939*c_1001_6^20 + 193729843040976339853684/758049163621781752939*c_1001_6^19 + 448873809896355347021788/758049163621781752939*c_1001_6^18 + 231155624608538567946318/758049163621781752939*c_1001_6^17 + 166826390053558458077576/758049163621781752939*c_1001_6^16 + 394611350995966433896176/758049163621781752939*c_1001_6^15 + 518933388397198210508666/758049163621781752939*c_1001_6^14 + 2047731693893486795802888/758049163621781752939*c_1001_6^13 + 2483863351438116374090995/758049163621781752939*c_1001_6^12 + 3458528819738252667331916/758049163621781752939*c_1001_6^11 + 3418949649959926988083776/758049163621781752939*c_1001_6^10 + 3061146183503028576468666/758049163621781752939*c_1001_6^9 + 2932262497486061337863517/758049163621781752939*c_1001_6^8 + 1833919750040888031187856/758049163621781752939*c_1001_6^7 + 1713446685545307870890788/758049163621781752939*c_1001_6^6 + 907061088683431078747166/758049163621781752939*c_1001_6^5 + 677940422792245160723052/758049163621781752939*c_1001_6^4 + 264110478005406946665316/758049163621781752939*c_1001_6^3 + 160831885968429767168818/758049163621781752939*c_1001_6^2 + 28322057569913744046226/758049163621781752939*c_1001_6 + 17314629562732035311135/758049163621781752939, c_0011_8 + 1, c_0101_0 - 15389350021012984891705/1516098327243563505878*c_1001_6^21 + 158131697591954578862981/1516098327243563505878*c_1001_6^20 + 86814403058351931995261/758049163621781752939*c_1001_6^19 + 191386642389630879843510/758049163621781752939*c_1001_6^18 + 260609992489159218041435/1516098327243563505878*c_1001_6^17 + 178060288509398823657665/1516098327243563505878*c_1001_6^16 + 150292505135050173577820/758049163621781752939*c_1001_6^15 + 194903812063628877660888/758049163621781752939*c_1001_6^14 + 782422898693186005087578/758049163621781752939*c_1001_6^13 + 1082442652181159261442871/758049163621781752939*c_1001_6^12 + 1543563748609171776052711/758049163621781752939*c_1001_6^11 + 1611307260038712758569503/758049163621781752939*c_1001_6^10 + 2972718806211808661046489/1516098327243563505878*c_1001_6^9 + 2778946080515087962515987/1516098327243563505878*c_1001_6^8 + 947259937882458138978253/758049163621781752939*c_1001_6^7 + 816089067236505415752510/758049163621781752939*c_1001_6^6 + 953970899934586497822703/1516098327243563505878*c_1001_6^5 + 683385678090391682655003/1516098327243563505878*c_1001_6^4 + 148994493457485436749790/758049163621781752939*c_1001_6^3 + 79162078368232621202421/758049163621781752939*c_1001_6^2 + 35300034652730496502115/1516098327243563505878*c_1001_6 + 13867527241849087308583/1516098327243563505878, c_0101_1 - 231503536118785109360170/758049163621781752939*c_1001_6^21 - 236482454199816093135277/758049163621781752939*c_1001_6^20 - 493190670610633074169280/758049163621781752939*c_1001_6^19 - 307971751377067100886064/758049163621781752939*c_1001_6^18 - 243218942894076799018882/758049163621781752939*c_1001_6^17 - 461312787563437840809715/758049163621781752939*c_1001_6^16 - 663534382384703583276604/758049163621781752939*c_1001_6^15 - 2236441967315674444904820/758049163621781752939*c_1001_6^14 - 2899381471951008614556312/758049163621781752939*c_1001_6^13 - 4020765233273074305112734/758049163621781752939*c_1001_6^12 - 4142825586408666651212252/758049163621781752939*c_1001_6^11 - 3814650188461341878959900/758049163621781752939*c_1001_6^10 - 3590311931319175837973170/758049163621781752939*c_1001_6^9 - 2429046165858940871789995/758049163621781752939*c_1001_6^8 - 2135334146424855214008704/758049163621781752939*c_1001_6^7 - 1245901879002764220396966/758049163621781752939*c_1001_6^6 - 876643349541221711533394/758049163621781752939*c_1001_6^5 - 401284202088119323819400/758049163621781752939*c_1001_6^4 - 222751821305842503384888/758049163621781752939*c_1001_6^3 - 58003427780266247927086/758049163621781752939*c_1001_6^2 - 24906803381441336686814/758049163621781752939*c_1001_6 - 2496647990864128553160/758049163621781752939, c_0101_12 + 23413224294817005/3344134143233836*c_1001_6^21 + 18386887154930155/3344134143233836*c_1001_6^20 + 22089785907355967/1672067071616918*c_1001_6^19 + 12680039586456393/1672067071616918*c_1001_6^18 + 14772534831478197/3344134143233836*c_1001_6^17 + 46500093121937671/3344134143233836*c_1001_6^16 + 13219888231982188/836033535808459*c_1001_6^15 + 52099746378786282/836033535808459*c_1001_6^14 + 62657199663446608/836033535808459*c_1001_6^13 + 85132808936913127/836033535808459*c_1001_6^12 + 179568068018144741/1672067071616918*c_1001_6^11 + 147108344268621965/1672067071616918*c_1001_6^10 + 291376113678533971/3344134143233836*c_1001_6^9 + 170314743172363009/3344134143233836*c_1001_6^8 + 78757983522529641/1672067071616918*c_1001_6^7 + 44913822359376369/1672067071616918*c_1001_6^6 + 54500161497782569/3344134143233836*c_1001_6^5 + 36201434826877311/3344134143233836*c_1001_6^4 + 2515492520181409/836033535808459*c_1001_6^3 + 1185083390267648/836033535808459*c_1001_6^2 + 694729363410037/3344134143233836*c_1001_6 + 1563638131736615/3344134143233836, c_0101_4 - 330672750388550217643409/3032196654487127011756*c_1001_6^21 - 3312257734343397254099/3032196654487127011756*c_1001_6^20 - 197618471248509126702011/1516098327243563505878*c_1001_6^19 + 134678350433708318364713/1516098327243563505878*c_1001_6^18 + 49029710998507909774643/3032196654487127011756*c_1001_6^17 - 301785331981325428634003/3032196654487127011756*c_1001_6^16 - 74303917041513067433490/758049163621781752939*c_1001_6^15 - 571995500358689512422569/758049163621781752939*c_1001_6^14 - 238425431566425297754403/758049163621781752939*c_1001_6^13 - 450954864598887536535839/758049163621781752939*c_1001_6^12 - 130548022792164595051909/1516098327243563505878*c_1001_6^11 + 122703020488732093452643/1516098327243563505878*c_1001_6^10 + 164539657803472834338717/3032196654487127011756*c_1001_6^9 + 1524860577891197917941151/3032196654487127011756*c_1001_6^8 + 116898052452504909043073/1516098327243563505878*c_1001_6^7 + 618472286699682408738309/1516098327243563505878*c_1001_6^6 + 383388616454069777528459/3032196654487127011756*c_1001_6^5 + 668699558468863255085329/3032196654487127011756*c_1001_6^4 + 51395179642614464288435/758049163621781752939*c_1001_6^3 + 56703456309362728089481/758049163621781752939*c_1001_6^2 + 29997652176946536021083/3032196654487127011756*c_1001_6 + 27603202392037887507981/3032196654487127011756, c_0101_6 - 32840313257770213198263/1516098327243563505878*c_1001_6^21 + 20061953437045868017573/1516098327243563505878*c_1001_6^20 - 2376759647403749690425/758049163621781752939*c_1001_6^19 + 41166415011293243844997/758049163621781752939*c_1001_6^18 + 55037313590604322655833/1516098327243563505878*c_1001_6^17 + 2156515955687851069015/1516098327243563505878*c_1001_6^16 + 7616740043365704889472/758049163621781752939*c_1001_6^15 - 73815740341923338454737/758049163621781752939*c_1001_6^14 + 67458582919456828042148/758049163621781752939*c_1001_6^13 + 98020129484758496569274/758049163621781752939*c_1001_6^12 + 235779589158152520994773/758049163621781752939*c_1001_6^11 + 283213195122472267123723/758049163621781752939*c_1001_6^10 + 520257644315095311460063/1516098327243563505878*c_1001_6^9 + 598244026760636431061403/1516098327243563505878*c_1001_6^8 + 179292868176437923298711/758049163621781752939*c_1001_6^7 + 186966667112970063721196/758049163621781752939*c_1001_6^6 + 207562167451089456670197/1516098327243563505878*c_1001_6^5 + 174866514801518546502877/1516098327243563505878*c_1001_6^4 + 36058440424077506503746/758049163621781752939*c_1001_6^3 + 24722902109735968751371/758049163621781752939*c_1001_6^2 + 8986070323319317199881/1516098327243563505878*c_1001_6 + 4700999351132807044423/1516098327243563505878, c_0101_7 + 1261271451974170619855727/6064393308974254023512*c_1001_6^21 + 1408822024468758787530561/6064393308974254023512*c_1001_6^20 + 1386692643483831895494213/3032196654487127011756*c_1001_6^19 + 950139545922437648738299/3032196654487127011756*c_1001_6^18 + 1428070171586098999009947/6064393308974254023512*c_1001_6^17 + 2609370985476022846240173/6064393308974254023512*c_1001_6^16 + 961829191977071090878369/1516098327243563505878*c_1001_6^15 + 1557484818642998295192767/758049163621781752939*c_1001_6^14 + 2106611740467730025331621/758049163621781752939*c_1001_6^13 + 5774569883019928235539565/1516098327243563505878*c_1001_6^12 + 12135581375231579220873103/3032196654487127011756*c_1001_6^11 + 11244210170988191530274599/3032196654487127011756*c_1001_6^10 + 21091886600481430440739833/6064393308974254023512*c_1001_6^9 + 14708586519440165370460779/6064393308974254023512*c_1001_6^8 + 6248572924777726895632053/3032196654487127011756*c_1001_6^7 + 3813520202852986628212683/3032196654487127011756*c_1001_6^6 + 5217537398538177929131535/6064393308974254023512*c_1001_6^5 + 2519507578710312210439301/6064393308974254023512*c_1001_6^4 + 166918605081523197525221/758049163621781752939*c_1001_6^3 + 48935339305514476970520/758049163621781752939*c_1001_6^2 + 144126154877218862961047/6064393308974254023512*c_1001_6 + 20496437453767767872557/6064393308974254023512, c_1001_2 - 74101603378821303763879/758049163621781752939*c_1001_6^21 - 59501532495175494786432/758049163621781752939*c_1001_6^20 - 147002420083628487099944/758049163621781752939*c_1001_6^19 - 71961297903049597442495/758049163621781752939*c_1001_6^18 - 65668606473147540283945/758049163621781752939*c_1001_6^17 - 137957789024814227969633/758049163621781752939*c_1001_6^16 - 181614651218024766650864/758049163621781752939*c_1001_6^15 - 679964515302551287075196/758049163621781752939*c_1001_6^14 - 792757857591419248164736/758049163621781752939*c_1001_6^13 - 1136747660502312622512902/758049163621781752939*c_1001_6^12 - 1122398461845997504388930/758049163621781752939*c_1001_6^11 - 1014311218090787210673218/758049163621781752939*c_1001_6^10 - 969009040202926549539573/758049163621781752939*c_1001_6^9 - 603253965467160356843291/758049163621781752939*c_1001_6^8 - 585696647228775011470976/758049163621781752939*c_1001_6^7 - 302517818202819662247722/758049163621781752939*c_1001_6^6 - 226987489067258791992373/758049163621781752939*c_1001_6^5 - 91242151366755978601755/758049163621781752939*c_1001_6^4 - 58431128948151675525256/758049163621781752939*c_1001_6^3 - 10275375269746894272111/758049163621781752939*c_1001_6^2 - 6010630953915582960695/758049163621781752939*c_1001_6 - 47166342150070308666/758049163621781752939, c_1001_6^22 + 38/37*c_1001_6^21 + 91/37*c_1001_6^20 + 60/37*c_1001_6^19 + 63/37*c_1001_6^18 + 86/37*c_1001_6^17 + 117/37*c_1001_6^16 + 380/37*c_1001_6^15 + 496/37*c_1001_6^14 + 756/37*c_1001_6^13 + 798/37*c_1001_6^12 + 800/37*c_1001_6^11 + 761/37*c_1001_6^10 + 558/37*c_1001_6^9 + 501/37*c_1001_6^8 + 300/37*c_1001_6^7 + 235/37*c_1001_6^6 + 114/37*c_1001_6^5 + 73/37*c_1001_6^4 + 24/37*c_1001_6^3 + 13/37*c_1001_6^2 + 2/37*c_1001_6 + 1/37 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.190 Total time: 0.410 seconds, Total memory usage: 32.09MB