Magma V2.19-8 Tue Aug 20 2013 23:46:10 on localhost [Seed = 3203978431] Type ? for help. Type -D to quit. Loading file "K14n14433__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n14433 geometric_solution 10.26229047 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 12 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 1 0 -1 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.495716155974 0.768146340663 0 5 2 6 0132 0132 2031 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 -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.786327985543 0.854078296456 7 0 3 1 0132 0132 0321 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 0 -1 -1 0 1 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 1.193212340317 1.773151856960 8 9 2 0 0132 0132 0321 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 -1 1 5 -5 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.943840683938 0.748113715988 9 10 0 5 3012 0132 0132 0132 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 5 -1 -4 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.591750030501 0.965199259815 6 1 4 8 0132 0132 0132 0132 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 0 0 0 0.987791826543 0.490823171857 5 10 1 9 0132 0213 0132 3012 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 -5 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.676507579929 0.266919815579 2 11 11 10 0132 0132 3201 3120 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 1 0 -1 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.662019364778 0.562019749028 3 11 5 10 0132 1302 0132 0213 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 -4 4 0 0 0 0 0 0 0 0 0 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.963676801194 0.544413417367 11 3 6 4 2031 0132 1230 1230 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.128717192552 0.910709854547 7 4 6 8 3120 0132 0213 0213 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 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.255116065577 0.248229666482 7 7 9 8 2310 0132 1302 2031 0 0 0 0 0 0 0 0 -1 0 0 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 -4 0 0 4 1 4 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.471694837322 0.804245702849 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_5'], 'c_1001_11' : negation(d['c_0011_10']), 'c_1001_10' : d['c_1001_10'], 'c_1001_5' : d['c_1001_10'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0011_3']), 'c_1001_6' : d['c_1001_10'], 'c_1001_1' : negation(d['c_0101_7']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : negation(d['c_0101_7']), 'c_1010_11' : negation(d['c_0011_3']), 'c_1010_10' : d['c_1001_2'], 's_0_10' : negation(d['1']), 's_0_11' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_3'], 'c_0101_10' : negation(d['c_0011_0']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(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' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : negation(d['c_0011_0']), 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_1001_2'], 'c_1100_4' : d['c_1001_2'], 'c_1100_7' : d['c_0011_0'], 'c_1100_6' : negation(d['c_1001_0']), 'c_1100_1' : negation(d['c_1001_0']), 'c_1100_0' : d['c_1001_2'], 'c_1100_3' : d['c_1001_2'], 'c_1100_2' : d['c_0101_1'], 's_3_11' : d['1'], 'c_1100_9' : d['c_0101_5'], 'c_1100_11' : d['c_0101_9'], 'c_1100_10' : negation(d['c_0101_9']), 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0011_10']), 'c_1010_6' : negation(d['c_0101_9']), 'c_1010_5' : negation(d['c_0101_7']), '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_10'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0101_1'], 'c_1010_8' : negation(d['c_0101_9']), 's_3_1' : d['1'], 's_3_0' : negation(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' : negation(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' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_0']), '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_7']), 'c_0110_10' : d['c_0101_2'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], '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' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_0'], 's_1_11' : d['1'], 's_1_10' : negation(d['1']), 'c_0110_9' : negation(d['c_0011_10']), 'c_0110_8' : negation(d['c_0101_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_5'], 'c_0110_7' : d['c_0101_2'], 'c_1100_8' : d['c_1001_2']})} 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_10, c_0011_3, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0101_7, c_0101_9, c_1001_0, c_1001_10, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 70605900078433412992014253494845528096573/5328653801943052083699898\ 67139210936320*c_1001_2^20 + 73134083968427152106950506725413726894\ 819/319719228116583125021993920283526561792*c_1001_2^19 + 642376560132087671203080563475464435771725/959157684349749375065981\ 760850579685376*c_1001_2^18 + 9978214790923905434223247676344340083\ 4053/359684131631156015649743160318967382016*c_1001_2^17 + 941746130577961923200628714486093969584761/799298070291457812554984\ 800708816404480*c_1001_2^16 - 4671769056861840271977921839023519719\ 043469/7193682632623120312994863206379347640320*c_1001_2^15 - 1236728420444367008395131660404398149067963/35968413163115601564974\ 31603189673820160*c_1001_2^14 - 23077566796873300740254422561364607\ 780832057/14387365265246240625989726412758695280640*c_1001_2^13 - 2607177430062536689438507469377782095293957/28774730530492481251979\ 45282551739056128*c_1001_2^12 - 21013331268501778840285953491697040\ 33761311/2397894210874373437664954402126449213440*c_1001_2^11 + 310416801457180383915055465326528658922903/399649035145728906277492\ 400354408202240*c_1001_2^10 + 7897867950648768888740471371002836094\ 506263/14387365265246240625989726412758695280640*c_1001_2^9 + 3426409530334254608217053880418703108854669/14387365265246240625989\ 726412758695280640*c_1001_2^8 - 11264224922009787739961749831238318\ 16068483/7193682632623120312994863206379347640320*c_1001_2^7 - 465664367274501020628076212653700069859433/179842065815578007824871\ 5801594836910080*c_1001_2^6 - 8215231634666460811789530175057895641\ 41623/1598596140582915625109969601417632808960*c_1001_2^5 + 994764176831369519871293033277395665188827/719368263262312031299486\ 3206379347640320*c_1001_2^4 + 2839923412709382488183915272546372418\ 194963/14387365265246240625989726412758695280640*c_1001_2^3 + 47964231013777237628130490167437099642269/1598596140582915625109969\ 601417632808960*c_1001_2^2 - 11380794502722236004679856049282164360\ 70271/14387365265246240625989726412758695280640*c_1001_2 - 509711123928655410571280554454255487981347/143873652652462406259897\ 26412758695280640, c_0011_0 - 1, c_0011_10 - 82268231267377683514485/17929316632271297671168*c_1001_2^20 - 127306742140332646737693/17929316632271297671168*c_1001_2^19 - 406159041631015533596561/17929316632271297671168*c_1001_2^18 - 44156948362988624713577/6723493737101736626688*c_1001_2^17 - 1178429942218031336092241/26893974948406946506752*c_1001_2^16 + 777198385240649668083805/26893974948406946506752*c_1001_2^15 - 42211145470722000324629/13446987474203473253376*c_1001_2^14 + 3340126457428999748561353/53787949896813893013504*c_1001_2^13 + 712355626498501285355689/53787949896813893013504*c_1001_2^12 + 1173904408006332349777453/26893974948406946506752*c_1001_2^11 - 150023874525087144513941/4482329158067824417792*c_1001_2^10 - 54525439439828807819143/53787949896813893013504*c_1001_2^9 - 749350132213723846500701/53787949896813893013504*c_1001_2^8 + 288252011329294449353651/26893974948406946506752*c_1001_2^7 + 8466032477608572525497/6723493737101736626688*c_1001_2^6 + 317089680449675698149877/17929316632271297671168*c_1001_2^5 - 49996022237441652878553/8964658316135648835584*c_1001_2^4 - 50730559510636604631233/17929316632271297671168*c_1001_2^3 - 92759758350696358082005/53787949896813893013504*c_1001_2^2 + 74052534693214380157477/17929316632271297671168*c_1001_2 - 216468883768810790031/17929316632271297671168, c_0011_3 - 50377205641227441378039/35858633264542595342336*c_1001_2^20 - 161928703292789187872175/35858633264542595342336*c_1001_2^19 - 359413829228588548537963/35858633264542595342336*c_1001_2^18 - 176754075492832709860339/13446987474203473253376*c_1001_2^17 - 805362637674138307076011/53787949896813893013504*c_1001_2^16 - 267113871616136875742683/17929316632271297671168*c_1001_2^15 + 152068129119635015481315/8964658316135648835584*c_1001_2^14 + 360412106115645569031793/35858633264542595342336*c_1001_2^13 + 3732573657138966502727411/107575899793627786027008*c_1001_2^12 + 870410358480159271685983/53787949896813893013504*c_1001_2^11 + 105596083597005106104105/8964658316135648835584*c_1001_2^10 - 1495817448878616943771165/107575899793627786027008*c_1001_2^9 + 464312760216116102410129/107575899793627786027008*c_1001_2^8 - 43838237016153022014143/53787949896813893013504*c_1001_2^7 + 59828341618414758863203/13446987474203473253376*c_1001_2^6 + 197611542934658263737719/35858633264542595342336*c_1001_2^5 + 177841294571690591148023/53787949896813893013504*c_1001_2^4 - 726175612042360953967985/107575899793627786027008*c_1001_2^3 + 64399894375775399901673/107575899793627786027008*c_1001_2^2 + 54202827686817811095175/35858633264542595342336*c_1001_2 + 24709026454367928216843/35858633264542595342336, c_0101_0 - 193473854041078765315215/71717266529085190684672*c_1001_2^20 - 462893434754104632771591/71717266529085190684672*c_1001_2^19 - 1192260615518222239974947/71717266529085190684672*c_1001_2^18 - 390664544490880410593003/26893974948406946506752*c_1001_2^17 - 975130613066426909477665/35858633264542595342336*c_1001_2^16 - 296875618930805650797881/107575899793627786027008*c_1001_2^15 + 876342215190831686609681/53787949896813893013504*c_1001_2^14 + 2571773962091318742279449/71717266529085190684672*c_1001_2^13 + 2841666096950521056220153/71717266529085190684672*c_1001_2^12 + 3011927869611550074495287/107575899793627786027008*c_1001_2^11 - 151146049308976990303309/53787949896813893013504*c_1001_2^10 - 4332157466761318263913381/215151799587255572054016*c_1001_2^9 - 1969290087967695270896839/215151799587255572054016*c_1001_2^8 + 102240438821572020300905/107575899793627786027008*c_1001_2^7 + 181122948210460779217883/26893974948406946506752*c_1001_2^6 + 2473151230265019272562989/215151799587255572054016*c_1001_2^5 + 314669409380040568543631/107575899793627786027008*c_1001_2^4 - 1278301614008645182571545/215151799587255572054016*c_1001_2^3 - 666964657636920768445615/215151799587255572054016*c_1001_2^2 + 127821533746291797704351/71717266529085190684672*c_1001_2 + 129823028126731944138179/71717266529085190684672, c_0101_1 - 50144339658121530473007/71717266529085190684672*c_1001_2^20 - 157454002356379382544039/71717266529085190684672*c_1001_2^19 - 325930123525271688250179/71717266529085190684672*c_1001_2^18 - 47777401308654505970777/8964658316135648835584*c_1001_2^17 - 169820304055344062041985/35858633264542595342336*c_1001_2^16 - 125718926669376148422195/35858633264542595342336*c_1001_2^15 + 781756828432180633225585/53787949896813893013504*c_1001_2^14 + 2130143693850888077777771/215151799587255572054016*c_1001_2^13 + 3965022558989876598002699/215151799587255572054016*c_1001_2^12 + 223319011566901129008285/35858633264542595342336*c_1001_2^11 - 117647197567786534693165/53787949896813893013504*c_1001_2^10 - 1319778975171338890468823/71717266529085190684672*c_1001_2^9 - 1330721896417902707494759/215151799587255572054016*c_1001_2^8 - 552494140601852620975159/107575899793627786027008*c_1001_2^7 + 16444020577045583180969/8964658316135648835584*c_1001_2^6 + 358487853727008800430255/71717266529085190684672*c_1001_2^5 + 168371325769241022745189/35858633264542595342336*c_1001_2^4 - 871432641625420941421945/215151799587255572054016*c_1001_2^3 - 205497111665101359361615/215151799587255572054016*c_1001_2^2 + 44033218975112105544255/71717266529085190684672*c_1001_2 + 18716989385327727898339/71717266529085190684672, c_0101_2 - 573962590262433946937697/71717266529085190684672*c_1001_2^20 - 604204962025967677546857/71717266529085190684672*c_1001_2^19 - 2393330644789463134391565/71717266529085190684672*c_1001_2^18 + 69248952831047283180905/8964658316135648835584*c_1001_2^17 - 2492832532514975094777327/35858633264542595342336*c_1001_2^16 + 9482196762633967530095273/107575899793627786027008*c_1001_2^15 - 1269294527089271336459521/53787949896813893013504*c_1001_2^14 + 22717785856029745674057317/215151799587255572054016*c_1001_2^13 - 862442439566724306932073/71717266529085190684672*c_1001_2^12 + 5013771376155108785601337/107575899793627786027008*c_1001_2^11 - 1517711932361595621058689/17929316632271297671168*c_1001_2^10 + 1751358165906230667702869/215151799587255572054016*c_1001_2^9 - 3815347962375933346481321/215151799587255572054016*c_1001_2^8 + 544329859837211862106893/35858633264542595342336*c_1001_2^7 + 46597998905302216427335/8964658316135648835584*c_1001_2^6 + 1882053429051367344818913/71717266529085190684672*c_1001_2^5 - 2548450928450151659160479/107575899793627786027008*c_1001_2^4 + 167415304761224433123209/215151799587255572054016*c_1001_2^3 + 98110480315596816957845/71717266529085190684672*c_1001_2^2 + 193054025156882647494737/71717266529085190684672*c_1001_2 - 77046485520448348274835/71717266529085190684672, c_0101_5 + 97762566425509781782947/17929316632271297671168*c_1001_2^20 + 156126376275424842000315/17929316632271297671168*c_1001_2^19 + 503411717371044251609767/17929316632271297671168*c_1001_2^18 + 68067919994928609228175/6723493737101736626688*c_1001_2^17 + 1489794062891207995267559/26893974948406946506752*c_1001_2^16 - 287518094797239048253993/8964658316135648835584*c_1001_2^15 + 29030025023366631132161/4482329158067824417792*c_1001_2^14 - 1438731893346472940088037/17929316632271297671168*c_1001_2^13 - 1273377714143637040340687/53787949896813893013504*c_1001_2^12 - 1593710452918371903726635/26893974948406946506752*c_1001_2^11 + 146280581497440560353411/4482329158067824417792*c_1001_2^10 + 189204518077341470292865/53787949896813893013504*c_1001_2^9 + 394019651475019138971945/17929316632271297671168*c_1001_2^8 - 174723134568971176274165/26893974948406946506752*c_1001_2^7 - 18978913153844340263359/6723493737101736626688*c_1001_2^6 - 1014156683569363473533033/53787949896813893013504*c_1001_2^5 + 152521382853016367807837/26893974948406946506752*c_1001_2^4 + 153584913991504136250341/53787949896813893013504*c_1001_2^3 + 201350300394325243296067/53787949896813893013504*c_1001_2^2 - 63591911054268906048115/17929316632271297671168*c_1001_2 - 22056992949103196350407/17929316632271297671168, c_0101_7 + 63793447909309969737885/17929316632271297671168*c_1001_2^20 + 111778440495943673873541/17929316632271297671168*c_1001_2^19 + 324262801840110569354905/17929316632271297671168*c_1001_2^18 + 52970964161410220694961/6723493737101736626688*c_1001_2^17 + 838258216672739040012121/26893974948406946506752*c_1001_2^16 - 467839069429707854737861/26893974948406946506752*c_1001_2^15 - 173318478983102145158339/13446987474203473253376*c_1001_2^14 - 800167761061886624677083/17929316632271297671168*c_1001_2^13 - 1677215158951584877777009/53787949896813893013504*c_1001_2^12 - 212185099667219977307143/8964658316135648835584*c_1001_2^11 + 274005037998310043508535/13446987474203473253376*c_1001_2^10 + 369336435337019188314901/17929316632271297671168*c_1001_2^9 + 687644089638447375654085/53787949896813893013504*c_1001_2^8 + 18700680181362316191847/8964658316135648835584*c_1001_2^7 - 36903575273965928043265/6723493737101736626688*c_1001_2^6 - 259577964068680827655709/17929316632271297671168*c_1001_2^5 + 52814517231044323225187/26893974948406946506752*c_1001_2^4 + 276840454103872523784155/53787949896813893013504*c_1001_2^3 + 10566194631199596891903/17929316632271297671168*c_1001_2^2 - 9904432506939163629517/17929316632271297671168*c_1001_2 - 16994593077286225109369/17929316632271297671168, c_0101_9 - 22193655673217222247039/17929316632271297671168*c_1001_2^20 - 21921636223334631042423/17929316632271297671168*c_1001_2^19 - 104180645535973004823891/17929316632271297671168*c_1001_2^18 + 1258956851965975930231/2241164579033912208896*c_1001_2^17 - 130379439833066016387121/8964658316135648835584*c_1001_2^16 + 123508392113418346738365/8964658316135648835584*c_1001_2^15 - 171715826641083157671647/13446987474203473253376*c_1001_2^14 + 1233240939432664052828411/53787949896813893013504*c_1001_2^13 - 438696780202489629701221/53787949896813893013504*c_1001_2^12 + 183197824096255165005965/8964658316135648835584*c_1001_2^11 - 206846365045380009221149/13446987474203473253376*c_1001_2^10 + 213071421867541813730905/17929316632271297671168*c_1001_2^9 - 447567623746734474161719/53787949896813893013504*c_1001_2^8 + 195129918800500235665913/26893974948406946506752*c_1001_2^7 - 6134351297526963275303/2241164579033912208896*c_1001_2^6 + 128138463306153953799423/17929316632271297671168*c_1001_2^5 - 29410336701929947042859/8964658316135648835584*c_1001_2^4 + 116384523213653032209239/53787949896813893013504*c_1001_2^3 - 72110174655161398743199/53787949896813893013504*c_1001_2^2 + 31085802289676492891535/17929316632271297671168*c_1001_2 - 17952557867214159449357/17929316632271297671168, c_1001_0 - 269207315750404433841129/71717266529085190684672*c_1001_2^20 - 598605618867632640997425/71717266529085190684672*c_1001_2^19 - 1624961236226665595553525/71717266529085190684672*c_1001_2^18 - 162476688557824044250319/8964658316135648835584*c_1001_2^17 - 4299073891594163938313653/107575899793627786027008*c_1001_2^16 + 7197549354835846609531/35858633264542595342336*c_1001_2^15 + 733188879406409734203767/53787949896813893013504*c_1001_2^14 + 11297653543112796602459917/215151799587255572054016*c_1001_2^13 + 10568574456165862933946221/215151799587255572054016*c_1001_2^12 + 5005445769350206203409537/107575899793627786027008*c_1001_2^11 - 107671870723962024017435/53787949896813893013504*c_1001_2^10 - 1397395424685387138116737/71717266529085190684672*c_1001_2^9 - 1172451043033435130647675/71717266529085190684672*c_1001_2^8 - 350622150456711247961377/107575899793627786027008*c_1001_2^7 + 20360117658003068683519/8964658316135648835584*c_1001_2^6 + 3133835870439244994331707/215151799587255572054016*c_1001_2^5 + 322546193481398682042089/107575899793627786027008*c_1001_2^4 - 910048004102468968923311/215151799587255572054016*c_1001_2^3 - 555462959020592862635209/215151799587255572054016*c_1001_2^2 + 139730561540349717860953/71717266529085190684672*c_1001_2 + 93451271883847961977941/71717266529085190684672, c_1001_10 + 59790468736556531658837/8964658316135648835584*c_1001_2^20 + 74213373506914039940349/8964658316135648835584*c_1001_2^19 + 269816734840323154130417/8964658316135648835584*c_1001_2^18 + 570971627950882202921/3361746868550868313344*c_1001_2^17 + 818353434071903465852209/13446987474203473253376*c_1001_2^16 - 837673330224384616991933/13446987474203473253376*c_1001_2^15 + 28678558028469352410087/2241164579033912208896*c_1001_2^14 - 2466128377311156168214057/26893974948406946506752*c_1001_2^13 - 87609281732557463942659/8964658316135648835584*c_1001_2^12 - 624842345167555528969613/13446987474203473253376*c_1001_2^11 + 395122160405044789452319/6723493737101736626688*c_1001_2^10 + 33133194723836503131917/8964658316135648835584*c_1001_2^9 + 177101605973561501470399/8964658316135648835584*c_1001_2^8 - 28051408078158747467377/4482329158067824417792*c_1001_2^7 - 23027555993162832470009/3361746868550868313344*c_1001_2^6 - 598651869191413227967615/26893974948406946506752*c_1001_2^5 + 67153774825070748181305/4482329158067824417792*c_1001_2^4 + 9136950549146938650913/8964658316135648835584*c_1001_2^3 + 1514929159158375855335/8964658316135648835584*c_1001_2^2 - 21506736057957081458181/8964658316135648835584*c_1001_2 - 2675187301953685355729/8964658316135648835584, c_1001_2^21 + 4/3*c_1001_2^20 + 40/9*c_1001_2^19 + 5/27*c_1001_2^18 + 226/27*c_1001_2^17 - 76/9*c_1001_2^16 - 2/27*c_1001_2^15 - 107/9*c_1001_2^14 - 52/27*c_1001_2^13 - 137/27*c_1001_2^12 + 230/27*c_1001_2^11 + 13/9*c_1001_2^10 + 26/27*c_1001_2^9 - 43/27*c_1001_2^8 - 34/27*c_1001_2^7 - 83/27*c_1001_2^6 + 61/27*c_1001_2^5 + 25/27*c_1001_2^4 - 10/27*c_1001_2^3 - 16/27*c_1001_2^2 + 1/9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.610 Total time: 1.820 seconds, Total memory usage: 64.12MB