Magma V2.19-8 Tue Aug 20 2013 20:38:32 on localhost [Seed = 2412368344] Type ? for help. Type -D to quit. Loading file "11_433__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_433 geometric_solution 13.72756285 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 15 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 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 0 -1 1 -3 0 3 0 0 -3 0 3 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.823233513160 0.999242523305 0 5 7 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 -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 0 0 0 0 3 0 -3 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.757732627159 0.694619815803 8 0 5 9 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.765285024073 0.941907666188 10 11 8 0 0132 0132 0213 0132 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 1 0 0 3 -3 -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.060689077061 1.165114342800 6 7 0 10 0132 0132 0132 0132 0 0 0 0 0 0 0 0 -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 1 -1 0 4 0 0 -4 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.757732627159 0.694619815803 11 1 12 2 0213 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.539210254225 0.385856474657 4 12 1 7 0132 0132 0132 3120 0 0 0 0 0 0 0 0 1 0 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 -4 0 0 4 -3 -1 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.601129317632 0.540463523794 6 4 13 1 3120 0132 0132 0132 0 0 0 0 0 0 0 0 1 0 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 -1 1 0 -4 0 1 3 -4 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.601129317632 0.540463523794 2 3 14 11 0132 0213 0132 0213 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 3 -3 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.776639593988 0.566575251988 12 10 2 13 0321 0132 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.267815169304 1.974945575804 3 9 4 11 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 -4 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.395652046538 0.750870424479 5 3 10 8 0213 0132 0132 0213 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 -4 0 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.301631158307 0.350125912807 9 6 14 5 0321 0132 3201 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.182842831890 1.007391915059 14 9 14 7 2031 0321 3012 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 0 0 1 -1 -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.776639593988 0.566575251988 12 13 13 8 2310 1230 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 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.159641550219 0.613059524818 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_14' : d['c_0101_7'], 'c_1001_11' : d['c_1001_0'], 'c_1001_10' : d['c_1001_10'], 'c_1001_13' : negation(d['c_0011_14']), 'c_1001_12' : d['c_0011_12'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_1001_1'], 'c_1001_7' : d['c_1001_10'], 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_13'], 'c_1001_2' : d['c_1001_1'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_0101_13'], 'c_1010_13' : d['c_1001_10'], 'c_1010_12' : d['c_1001_5'], 'c_1010_11' : d['c_0101_13'], 'c_1010_10' : d['c_1001_0'], 'c_1010_14' : d['c_0101_13'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_3_13' : d['1'], 's_0_13' : d['1'], 's_0_14' : d['1'], 's_3_14' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_0'], 'c_0101_10' : d['c_0101_0'], 'c_0101_14' : negation(d['c_0011_12']), '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' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_13' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_2_14' : 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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_14' : d['c_0011_14'], 'c_1100_9' : negation(d['c_0011_14']), 'c_1100_8' : d['c_0101_13'], 'c_0011_13' : d['c_0011_12'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0011_14']), 'c_1100_4' : d['c_1010_8'], 'c_1100_7' : negation(d['c_0101_7']), 'c_1100_6' : negation(d['c_0101_7']), 'c_1100_1' : negation(d['c_0101_7']), 'c_1100_0' : d['c_1010_8'], 'c_1100_3' : d['c_1010_8'], 'c_1100_2' : negation(d['c_0011_14']), 'c_1100_14' : d['c_0101_13'], 's_3_11' : d['1'], 'c_1100_11' : d['c_1010_8'], 'c_1100_10' : d['c_1010_8'], 'c_1100_13' : negation(d['c_0101_7']), 's_0_11' : d['1'], 's_0_12' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : d['c_0011_12'], '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_5'], 'c_1010_0' : d['c_1001_1'], 'c_1010_9' : d['c_1001_10'], 'c_1010_8' : d['c_1010_8'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(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' : negation(d['c_0011_14']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(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_10']), 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_12'], 'c_0011_7' : negation(d['c_0011_12']), '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' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0101_2']), 'c_0110_10' : d['c_0011_0'], 'c_0110_13' : d['c_0101_7'], 'c_0110_12' : d['c_0011_10'], 'c_0110_14' : negation(d['c_0101_12']), 'c_0101_12' : d['c_0101_12'], 's_3_12' : d['1'], 's_0_8' : d['1'], 'c_0011_11' : d['c_0011_10'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_10'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_0'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_12']), 'c_0101_8' : negation(d['c_0101_12']), 'c_0011_10' : d['c_0011_10'], 's_1_14' : d['1'], 's_1_13' : d['1'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_12']), 'c_0110_8' : 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' : negation(d['c_0101_12']), 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_0'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_1'], 'c_0101_13' : d['c_0101_13']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 16 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_14, c_0101_0, c_0101_1, c_0101_12, c_0101_13, c_0101_2, c_0101_7, c_1001_0, c_1001_1, c_1001_10, c_1001_5, c_1010_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 109641398805024763115/23223480657758752*c_1001_5^16 + 404224289879612348917/23223480657758752*c_1001_5^15 + 750724191832697069467/23223480657758752*c_1001_5^14 + 642997810377372835365/23223480657758752*c_1001_5^13 + 12080745542510739928721/23223480657758752*c_1001_5^12 - 8824586175632519598899/23223480657758752*c_1001_5^11 + 47521047324438704630293/23223480657758752*c_1001_5^10 - 24082347654255242208011/23223480657758752*c_1001_5^9 + 72074559851803669485991/23223480657758752*c_1001_5^8 - 25359474114187984351705/23223480657758752*c_1001_5^7 + 27192546140894665917389/11611740328879376*c_1001_5^6 - 10891519197069826056207/23223480657758752*c_1001_5^5 + 10764355527525573623795/11611740328879376*c_1001_5^4 - 1940211078303711953703/23223480657758752*c_1001_5^3 + 2335851785765475430639/11611740328879376*c_1001_5^2 - 28992743663989571243/5805870164439688*c_1001_5 + 367130705217869772289/23223480657758752, c_0011_0 - 1, c_0011_10 + 68964491137035/414705011745692*c_1001_5^16 + 62048941712453/207352505872846*c_1001_5^15 - 72575190258451/414705011745692*c_1001_5^14 - 172436742407395/103676252936423*c_1001_5^13 + 1642961511862888/103676252936423*c_1001_5^12 - 19828258083845513/414705011745692*c_1001_5^11 + 33810871705254801/414705011745692*c_1001_5^10 - 62016776472698383/414705011745692*c_1001_5^9 + 23948663733963769/207352505872846*c_1001_5^8 - 73063199308310849/414705011745692*c_1001_5^7 + 29569052395060235/414705011745692*c_1001_5^6 - 34455004334398053/414705011745692*c_1001_5^5 + 5105758247131031/414705011745692*c_1001_5^4 - 5315281669639429/414705011745692*c_1001_5^3 - 580509863606391/414705011745692*c_1001_5^2 + 33183564015214/103676252936423*c_1001_5 - 5458072321181/414705011745692, c_0011_12 - 173457935826479/207352505872846*c_1001_5^16 - 1422380276779833/414705011745692*c_1001_5^15 - 1387736659202889/207352505872846*c_1001_5^14 - 1223558423609347/207352505872846*c_1001_5^13 - 37863060118413499/414705011745692*c_1001_5^12 + 13368557034194139/414705011745692*c_1001_5^11 - 124516519129578259/414705011745692*c_1001_5^10 + 6833387321437189/207352505872846*c_1001_5^9 - 152034636956390185/414705011745692*c_1001_5^8 - 1114583717412634/103676252936423*c_1001_5^7 - 21101489351331493/103676252936423*c_1001_5^6 - 8888850252453513/207352505872846*c_1001_5^5 - 5895420088898729/103676252936423*c_1001_5^4 - 1608418168715090/103676252936423*c_1001_5^3 - 1805370061820671/207352505872846*c_1001_5^2 - 235733528234522/103676252936423*c_1001_5 - 75367128996707/414705011745692, c_0011_14 + 275250108421191/414705011745692*c_1001_5^16 + 952393063516195/414705011745692*c_1001_5^15 + 728625291987877/207352505872846*c_1001_5^14 + 430920457226799/414705011745692*c_1001_5^13 + 14285311609892893/207352505872846*c_1001_5^12 - 7524599256202406/103676252936423*c_1001_5^11 + 103012461580274251/414705011745692*c_1001_5^10 - 74089845785676801/414705011745692*c_1001_5^9 + 118631634042882741/414705011745692*c_1001_5^8 - 18541044603120680/103676252936423*c_1001_5^7 + 25743802693748771/207352505872846*c_1001_5^6 - 14499016031399185/207352505872846*c_1001_5^5 + 372134938071869/103676252936423*c_1001_5^4 - 3240759314909831/207352505872846*c_1001_5^3 - 646912304718412/103676252936423*c_1001_5^2 - 906992900342221/414705011745692*c_1001_5 - 430131495082869/414705011745692, c_0101_0 - 88270570332703/207352505872846*c_1001_5^16 - 255669484645643/207352505872846*c_1001_5^15 - 502951193022743/414705011745692*c_1001_5^14 + 619610589476943/414705011745692*c_1001_5^13 - 17432604092149197/414705011745692*c_1001_5^12 + 15150608507452437/207352505872846*c_1001_5^11 - 67417633125949397/414705011745692*c_1001_5^10 + 20625083541475828/103676252936423*c_1001_5^9 - 18178971473332493/103676252936423*c_1001_5^8 + 90600773495244935/414705011745692*c_1001_5^7 - 24074821751642999/414705011745692*c_1001_5^6 + 41927865155700043/414705011745692*c_1001_5^5 + 7234958114448707/414705011745692*c_1001_5^4 + 11038529457690697/414705011745692*c_1001_5^3 + 4219475256063971/414705011745692*c_1001_5^2 + 1573874905977921/414705011745692*c_1001_5 + 637174813805381/414705011745692, c_0101_1 + 66561196358183/103676252936423*c_1001_5^16 + 1162275548083009/414705011745692*c_1001_5^15 + 636303929521096/103676252936423*c_1001_5^14 + 1520566458315413/207352505872846*c_1001_5^13 + 30860540457894855/414705011745692*c_1001_5^12 - 1199573817238381/414705011745692*c_1001_5^11 + 106661356518390797/414705011745692*c_1001_5^10 + 4653917526407527/103676252936423*c_1001_5^9 + 150973987444545981/414705011745692*c_1001_5^8 + 28864391718939889/207352505872846*c_1001_5^7 + 51966097127954289/207352505872846*c_1001_5^6 + 15086208121529398/103676252936423*c_1001_5^5 + 18640834818268919/207352505872846*c_1001_5^4 + 12608523212727993/207352505872846*c_1001_5^3 + 2032261490851084/103676252936423*c_1001_5^2 + 901306605236794/103676252936423*c_1001_5 + 367114014328889/414705011745692, c_0101_12 - 50621263584157/207352505872846*c_1001_5^16 - 104785752232087/207352505872846*c_1001_5^15 - 44062548595627/414705011745692*c_1001_5^14 + 726266284212179/414705011745692*c_1001_5^13 - 9720173795736765/414705011745692*c_1001_5^12 + 13403738145343689/207352505872846*c_1001_5^11 - 51688302058504889/414705011745692*c_1001_5^10 + 23194875576766675/103676252936423*c_1001_5^9 - 20074179110864691/103676252936423*c_1001_5^8 + 126377738705668543/414705011745692*c_1001_5^7 - 45885173898743363/414705011745692*c_1001_5^6 + 79862979677713639/414705011745692*c_1001_5^5 + 462857142382895/414705011745692*c_1001_5^4 + 23007587896309917/414705011745692*c_1001_5^3 + 7243759873232227/414705011745692*c_1001_5^2 + 3333454882396817/414705011745692*c_1001_5 + 887073267706721/414705011745692, c_0101_13 + 66561196358183/103676252936423*c_1001_5^16 + 1162275548083009/414705011745692*c_1001_5^15 + 636303929521096/103676252936423*c_1001_5^14 + 1520566458315413/207352505872846*c_1001_5^13 + 30860540457894855/414705011745692*c_1001_5^12 - 1199573817238381/414705011745692*c_1001_5^11 + 106661356518390797/414705011745692*c_1001_5^10 + 4653917526407527/103676252936423*c_1001_5^9 + 150973987444545981/414705011745692*c_1001_5^8 + 28864391718939889/207352505872846*c_1001_5^7 + 51966097127954289/207352505872846*c_1001_5^6 + 15086208121529398/103676252936423*c_1001_5^5 + 18640834818268919/207352505872846*c_1001_5^4 + 12608523212727993/207352505872846*c_1001_5^3 + 2032261490851084/103676252936423*c_1001_5^2 + 797630352300371/103676252936423*c_1001_5 + 367114014328889/414705011745692, c_0101_2 + 226972416606829/414705011745692*c_1001_5^16 + 444102822285755/207352505872846*c_1001_5^15 + 421823411866817/103676252936423*c_1001_5^14 + 1416191623665805/414705011745692*c_1001_5^13 + 24697141735565575/414705011745692*c_1001_5^12 - 13334309799606685/414705011745692*c_1001_5^11 + 21945975503666309/103676252936423*c_1001_5^10 - 29288361179556775/414705011745692*c_1001_5^9 + 29391071716042270/103676252936423*c_1001_5^8 - 6743334846584601/103676252936423*c_1001_5^7 + 35814609596334415/207352505872846*c_1001_5^6 - 1781292144784388/103676252936423*c_1001_5^5 + 4796754448792536/103676252936423*c_1001_5^4 + 588487972322013/207352505872846*c_1001_5^3 + 584364293499945/207352505872846*c_1001_5^2 + 1276319896551551/414705011745692*c_1001_5 - 13095152881229/103676252936423, c_0101_7 - 173457935826479/207352505872846*c_1001_5^16 - 1422380276779833/414705011745692*c_1001_5^15 - 1387736659202889/207352505872846*c_1001_5^14 - 1223558423609347/207352505872846*c_1001_5^13 - 37863060118413499/414705011745692*c_1001_5^12 + 13368557034194139/414705011745692*c_1001_5^11 - 124516519129578259/414705011745692*c_1001_5^10 + 6833387321437189/207352505872846*c_1001_5^9 - 152034636956390185/414705011745692*c_1001_5^8 - 1114583717412634/103676252936423*c_1001_5^7 - 21101489351331493/103676252936423*c_1001_5^6 - 8888850252453513/207352505872846*c_1001_5^5 - 5895420088898729/103676252936423*c_1001_5^4 - 1608418168715090/103676252936423*c_1001_5^3 - 1805370061820671/207352505872846*c_1001_5^2 - 235733528234522/103676252936423*c_1001_5 - 75367128996707/414705011745692, c_1001_0 + 10197524853283/414705011745692*c_1001_5^16 + 127949206970773/414705011745692*c_1001_5^15 + 419225694341977/414705011745692*c_1001_5^14 + 368065309217965/207352505872846*c_1001_5^13 + 1757664522843321/414705011745692*c_1001_5^12 + 2304695523729664/103676252936423*c_1001_5^11 - 264970339829438/103676252936423*c_1001_5^10 + 35363560076530421/414705011745692*c_1001_5^9 - 5718486499428295/414705011745692*c_1001_5^8 + 52260779050214869/414705011745692*c_1001_5^7 - 3617218923243431/414705011745692*c_1001_5^6 + 37516512918368643/414705011745692*c_1001_5^5 + 4021020149250453/414705011745692*c_1001_5^4 + 12863147768454693/414705011745692*c_1001_5^3 + 4298989186132045/414705011745692*c_1001_5^2 + 428818525398467/103676252936423*c_1001_5 + 458203492146583/207352505872846, c_1001_1 - 88270570332703/207352505872846*c_1001_5^16 - 255669484645643/207352505872846*c_1001_5^15 - 502951193022743/414705011745692*c_1001_5^14 + 619610589476943/414705011745692*c_1001_5^13 - 17432604092149197/414705011745692*c_1001_5^12 + 15150608507452437/207352505872846*c_1001_5^11 - 67417633125949397/414705011745692*c_1001_5^10 + 20625083541475828/103676252936423*c_1001_5^9 - 18178971473332493/103676252936423*c_1001_5^8 + 90600773495244935/414705011745692*c_1001_5^7 - 24074821751642999/414705011745692*c_1001_5^6 + 41927865155700043/414705011745692*c_1001_5^5 + 7234958114448707/414705011745692*c_1001_5^4 + 11038529457690697/414705011745692*c_1001_5^3 + 4219475256063971/414705011745692*c_1001_5^2 + 1573874905977921/414705011745692*c_1001_5 + 637174813805381/414705011745692, c_1001_10 - c_1001_5, c_1001_5^17 + 4*c_1001_5^16 + 8*c_1001_5^15 + 8*c_1001_5^14 + 112*c_1001_5^13 - 46*c_1001_5^12 + 408*c_1001_5^11 - 84*c_1001_5^10 + 588*c_1001_5^9 - 26*c_1001_5^8 + 423*c_1001_5^7 + 55*c_1001_5^6 + 165*c_1001_5^5 + 43*c_1001_5^4 + 37*c_1001_5^3 + 12*c_1001_5^2 + 3*c_1001_5 + 1, c_1010_8 + 1 ], Ideal of Polynomial ring of rank 16 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_14, c_0101_0, c_0101_1, c_0101_12, c_0101_13, c_0101_2, c_0101_7, c_1001_0, c_1001_1, c_1001_10, c_1001_5, c_1010_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 1718975102366614356366768756455567321583/21964396971991673951526337\ 852913228*c_1010_8^23 - 1647885060337122101214152033323402400589589\ /1954831330507258981685844068909277292*c_1010_8^22 + 21417221098349104689770869466161491065183545/3909662661014517963371\ 688137818554584*c_1010_8^21 - 1238188351694780847505073405653762978\ 9223400/488707832626814745421461017227319323*c_1010_8^20 + 167418880608591839606639419342537916195645555/195483133050725898168\ 5844068909277292*c_1010_8^19 - 436282349962829314219826845744269271\ 344907545/1954831330507258981685844068909277292*c_1010_8^18 + 1871129226490732018235868597840873371987973575/39096626610145179633\ 71688137818554584*c_1010_8^17 - 17335741679884959379571645677963083\ 52336767391/1954831330507258981685844068909277292*c_1010_8^16 + 5696452948894851338196281107878419895437797425/39096626610145179633\ 71688137818554584*c_1010_8^15 - 20976607136394091055262949779916136\ 03648731909/977415665253629490842922034454638646*c_1010_8^14 + 114011815997774963351808186469119115890423719/403058006290156491069\ 24619977510872*c_1010_8^13 - 64237198461219614766074724484921281310\ 64615027/1954831330507258981685844068909277292*c_1010_8^12 + 12945792127691960307797299078579550223561278815/3909662661014517963\ 371688137818554584*c_1010_8^11 - 5136478957190664322697945212423723\ 01756258655/177711939137023543789622188082661572*c_1010_8^10 + 8672762349703914396485029051092632557834609723/39096626610145179633\ 71688137818554584*c_1010_8^9 - 148736569974887438250955678351697912\ 1491923837/977415665253629490842922034454638646*c_1010_8^8 + 3660506761916859373240381361784637859239582241/39096626610145179633\ 71688137818554584*c_1010_8^7 - 999760019522116558743063844639725334\ 179873435/1954831330507258981685844068909277292*c_1010_8^6 + 946807011768532437195838729049439499484197169/390966266101451796337\ 1688137818554584*c_1010_8^5 - 1853229998335664624903950530221866794\ 79987609/1954831330507258981685844068909277292*c_1010_8^4 + 14009518883160430785325753915239359202448618/4887078326268147454214\ 61017227319323*c_1010_8^3 - 617383325321744793845605898438322228007\ 6423/977415665253629490842922034454638646*c_1010_8^2 + 203833158643750925381941591347344754216525/205771719000764103335352\ 007253608136*c_1010_8 - 186213365023069629944554017256110968540751/\ 1954831330507258981685844068909277292, c_0011_0 - 1, c_0011_10 - 2851622064882103144842749/13259559981866433551128*c_1010_8^\ 23 + 15289214004362064232357029/6629779990933216775564*c_1010_8^22 - 49533497278737250400635923/3314889995466608387782*c_1010_8^21 + 26873516139800025300728377/389987058290189222092*c_1010_8^20 - 769297083389304168039789445/3314889995466608387782*c_1010_8^19 + 1996775878705358376424966261/3314889995466608387782*c_1010_8^18 - 501960696231408140387260409/389987058290189222092*c_1010_8^17 + 31529110827359808196401580019/13259559981866433551128*c_1010_8^16 - 25829736406353376723866282587/6629779990933216775564*c_1010_8^15 + 75883451665295755131758740235/13259559981866433551128*c_1010_8^14 - 49855094947364110203443284849/6629779990933216775564*c_1010_8^13 + 115386018323809256182294999845/13259559981866433551128*c_1010_8^12 - 14464396753530078333743585131/1657444997733304193891*c_1010_8^11 + 100495033879398042433901715243/13259559981866433551128*c_1010_8^10 - 38387078128109502601584099929/6629779990933216775564*c_1010_8^9 + 52448656022971219659826573581/13259559981866433551128*c_1010_8^8 - 4015934224218492950055893854/1657444997733304193891*c_1010_8^7 + 17458139813915477473410847209/13259559981866433551128*c_1010_8^6 - 8211303034720195346167369683/13259559981866433551128*c_1010_8^5 + 3182723703360472031839660971/13259559981866433551128*c_1010_8^4 - 474654171461961095202268091/6629779990933216775564*c_1010_8^3 + 206335315711820711832459433/13259559981866433551128*c_1010_8^2 - 8003769323651324619966303/3314889995466608387782*c_1010_8 + 2979609893321194891831409/13259559981866433551128, c_0011_12 + 262221680382155416229935/13259559981866433551128*c_1010_8^2\ 3 - 1395016251079061198165277/6629779990933216775564*c_1010_8^22 + 9012831715226559286244181/6629779990933216775564*c_1010_8^21 - 41445131236496845884597411/6629779990933216775564*c_1010_8^20 + 278333170530568442486037737/13259559981866433551128*c_1010_8^19 - 180283808773327359072105899/3314889995466608387782*c_1010_8^18 + 1540042559331350090805470341/13259559981866433551128*c_1010_8^17 - 711213964342229497817968889/3314889995466608387782*c_1010_8^16 + 4661554068582968124066657299/13259559981866433551128*c_1010_8^15 - 3424658352440616892917551883/6629779990933216775564*c_1010_8^14 + 9003485521774320436361694147/13259559981866433551128*c_1010_8^13 - 5213403444963014653127730801/6629779990933216775564*c_1010_8^12 + 10474903763650246913473535527/13259559981866433551128*c_1010_8^11 - 2280903868441130185682492777/3314889995466608387782*c_1010_8^10 + 411375407461074623046368121/779974116580378444184*c_1010_8^9 - 2396454950695581702325860851/6629779990933216775564*c_1010_8^8 + 2946342286993349824570853411/13259559981866433551128*c_1010_8^7 - 402093419738844619296247373/3314889995466608387782*c_1010_8^6 + 380649750534646832410556379/6629779990933216775564*c_1010_8^5 - 149110732629794860812291377/6629779990933216775564*c_1010_8^4 + 90597202093466570545892087/13259559981866433551128*c_1010_8^3 - 10098214607054332470237801/6629779990933216775564*c_1010_8^2 + 1609040311382592169987517/6629779990933216775564*c_1010_8 - 162891030852871357350875/6629779990933216775564, c_0011_14 - 742238825518262986664745/13259559981866433551128*c_1010_8^2\ 3 + 4010915566433603029333333/6629779990933216775564*c_1010_8^22 - 26109803452610383426110555/6629779990933216775564*c_1010_8^21 + 241917878284234327082649541/13259559981866433551128*c_1010_8^20 - 102419211675981518191568715/1657444997733304193891*c_1010_8^19 + 2138869979843307419738579803/13259559981866433551128*c_1010_8^18 - 4592114951844633716252806535/13259559981866433551128*c_1010_8^17 + 1064540022503559260954516355/1657444997733304193891*c_1010_8^16 - 14002410250391113234081625873/13259559981866433551128*c_1010_8^15 + 2579850690865344987740823734/1657444997733304193891*c_1010_8^14 - 27221840137826397674245565939/13259559981866433551128*c_1010_8^13 + 7912398877365129964443470999/3314889995466608387782*c_1010_8^12 - 31915449334313465175711808993/13259559981866433551128*c_1010_8^11 + 13934746763019245896003391095/6629779990933216775564*c_1010_8^10 - 21391520793897898163840777775/13259559981866433551128*c_1010_8^9 + 3668965732825427902133575357/3314889995466608387782*c_1010_8^8 - 9030241330401720709886838619/13259559981866433551128*c_1010_8^7 + 2466132957486831253663051303/6629779990933216775564*c_1010_8^6 - 1167621759078612720183006401/6629779990933216775564*c_1010_8^5 + 456835476276570797717212863/6629779990933216775564*c_1010_8^4 - 275725464180056298687695193/13259559981866433551128*c_1010_8^3 + 60615784781372349968487529/13259559981866433551128*c_1010_8^2 - 9511512614432696584310457/13259559981866433551128*c_1010_8 + 911511136491265995117921/13259559981866433551128, c_0101_0 - 12775470197351145164963/389987058290189222092*c_1010_8^23 + 2343389231254612981366569/6629779990933216775564*c_1010_8^22 - 15254839196575481261258659/6629779990933216775564*c_1010_8^21 + 141352799170208967490315351/13259559981866433551128*c_1010_8^20 - 59868054069448171679309547/1657444997733304193891*c_1010_8^19 + 625831284937998865894599967/6629779990933216775564*c_1010_8^18 - 1345723624622518560519068449/6629779990933216775564*c_1010_8^17 + 4998947977399764056243911773/13259559981866433551128*c_1010_8^16 - 1028878075971661169703520527/1657444997733304193891*c_1010_8^15 + 12150628212013460695881285611/13259559981866433551128*c_1010_8^14 - 8027101587845880488887643701/6629779990933216775564*c_1010_8^13 + 18708496553254930709878339957/13259559981866433551128*c_1010_8^12 - 278331099525390746774054363/194993529145094611046*c_1010_8^11 + 16591986611855854361428336213/13259559981866433551128*c_1010_8^10 - 3196043108060956865923333767/3314889995466608387782*c_1010_8^9 + 8800849921128118794323236453/13259559981866433551128*c_1010_8^8 - 2717606164608174688146215837/6629779990933216775564*c_1010_8^7 + 2982026334798548614432237035/13259559981866433551128*c_1010_8^6 - 710044120852336088430758977/6629779990933216775564*c_1010_8^5 + 560604937051228498306753275/13259559981866433551128*c_1010_8^4 - 42871967797948288266643647/3314889995466608387782*c_1010_8^3 + 4781133257943503897411254/1657444997733304193891*c_1010_8^2 - 3025627824824083311383369/6629779990933216775564*c_1010_8 + 590364517823680319945265/13259559981866433551128, c_0101_1 + 146159446933919785245929/3314889995466608387782*c_1010_8^23 - 3302396525121252723141769/6629779990933216775564*c_1010_8^22 + 11006160794751852515512487/3314889995466608387782*c_1010_8^21 - 104333375934216458012002145/6629779990933216775564*c_1010_8^20 + 726029664829800123740176529/13259559981866433551128*c_1010_8^19 - 243063744817067018248481058/1657444997733304193891*c_1010_8^18 + 4261340040196751775705778319/13259559981866433551128*c_1010_8^17 - 8032256610847011925975885093/13259559981866433551128*c_1010_8^16 + 13397217684780146532264860965/13259559981866433551128*c_1010_8^15 - 20020542389777907823912146539/13259559981866433551128*c_1010_8^14 + 1576734204485019805131323765/779974116580378444184*c_1010_8^13 - 31733528407301141120331996997/13259559981866433551128*c_1010_8^12 + 32665733619588404612460175855/13259559981866433551128*c_1010_8^11 - 1711540083545105170534229365/779974116580378444184*c_1010_8^10 + 22708853562336028372435032507/13259559981866433551128*c_1010_8^9 - 15809472331690438345122011161/13259559981866433551128*c_1010_8^8 + 9876906997778874283041657219/13259559981866433551128*c_1010_8^7 - 5487781159449569311784127815/13259559981866433551128*c_1010_8^6 + 2653945523041404008023420733/13259559981866433551128*c_1010_8^5 - 1068852886746135982934617557/13259559981866433551128*c_1010_8^4 + 334031472589937972716618407/13259559981866433551128*c_1010_8^3 - 75722548962044477599644183/13259559981866433551128*c_1010_8^2 + 6107454541424042243569077/6629779990933216775564*c_1010_8 - 1254804274036889751626693/13259559981866433551128, c_0101_12 - 643128714885364268565863/13259559981866433551128*c_1010_8^2\ 3 + 3465739553411251541166241/6629779990933216775564*c_1010_8^22 - 22511330820678580326943015/6629779990933216775564*c_1010_8^21 + 104057099604664288357653777/6629779990933216775564*c_1010_8^20 - 702813566509531137887430183/13259559981866433551128*c_1010_8^19 + 1828468530081675446801357603/13259559981866433551128*c_1010_8^18 - 1956590490345329646636453371/6629779990933216775564*c_1010_8^17 + 3618683686466460600469447031/6629779990933216775564*c_1010_8^16 - 1483710668503651136960074956/1657444997733304193891*c_1010_8^15 + 8725410488748473474258332395/6629779990933216775564*c_1010_8^14 - 168761580169730358142327776/97496764572547305523*c_1010_8^13 + 13294137828713394626209731737/6629779990933216775564*c_1010_8^12 - 13344380162132524344376392411/6629779990933216775564*c_1010_8^11 + 341015729716186253469374907/194993529145094611046*c_1010_8^10 - 2214702551528945285705756195/1657444997733304193891*c_1010_8^9 + 6052518005185094319792405423/6629779990933216775564*c_1010_8^8 - 3707588890094828168874783467/6629779990933216775564*c_1010_8^7 + 503610023000746782934791928/1657444997733304193891*c_1010_8^6 - 1894562743489010045143206407/13259559981866433551128*c_1010_8^5 + 366823915409680586933597331/6629779990933216775564*c_1010_8^4 - 54545912659235378108058729/3314889995466608387782*c_1010_8^3 + 11808188450688205792907603/3314889995466608387782*c_1010_8^2 - 7313873453068779769263269/13259559981866433551128*c_1010_8 + 668177274488190724899325/13259559981866433551128, c_0101_13 - 180465178791551096789318/1657444997733304193891*c_1010_8^23 + 15770605200597970429837783/13259559981866433551128*c_1010_8^22 - 12912758748630906948142213/1657444997733304193891*c_1010_8^21 + 481534347292403592390971799/13259559981866433551128*c_1010_8^20 - 1643286270058689069001554461/13259559981866433551128*c_1010_8^19 + 540352427316571518487633116/1657444997733304193891*c_1010_8^18 - 2335610736936810674182206749/3314889995466608387782*c_1010_8^17 + 17420745657997030114149371349/13259559981866433551128*c_1010_8^16 - 14391903936461522338597550345/6629779990933216775564*c_1010_8^15 + 42630992935770329375223916965/13259559981866433551128*c_1010_8^14 - 1662630967967236013293294877/389987058290189222092*c_1010_8^13 + 66159412489246974500421294013/13259559981866433551128*c_1010_8^12 - 8405612748658015336344687677/1657444997733304193891*c_1010_8^11 + 3482414776809471411429115537/779974116580378444184*c_1010_8^10 - 22884232382560534993847349803/6629779990933216775564*c_1010_8^9 + 31599483394675708330557929063/13259559981866433551128*c_1010_8^8 - 9786903415400947156208185421/6629779990933216775564*c_1010_8^7 + 10774413930537288902712690821/13259559981866433551128*c_1010_8^6 - 2575560635030285102710968997/6629779990933216775564*c_1010_8^5 + 1021800834279624388358175127/6629779990933216775564*c_1010_8^4 - 314043057508431552650651689/6629779990933216775564*c_1010_8^3 + 35074286527335444475303225/3314889995466608387782*c_1010_8^2 - 22250175063318515624577937/13259559981866433551128*c_1010_8 + 2214745454874996660333041/13259559981866433551128, c_0101_2 - 43096181757568979441/2698872375710652056*c_1010_8^23 + 486548806337763466081/2698872375710652056*c_1010_8^22 - 3251856274041468486233/2698872375710652056*c_1010_8^21 + 3864260781688443871927/674718093927663014*c_1010_8^20 - 54012120271847464974743/2698872375710652056*c_1010_8^19 + 72788163859305819325679/1349436187855326028*c_1010_8^18 - 321255510650153768872847/2698872375710652056*c_1010_8^17 + 609339007136258186988375/2698872375710652056*c_1010_8^16 - 1022123552562294241690509/2698872375710652056*c_1010_8^15 + 1536247466064556308962899/2698872375710652056*c_1010_8^14 - 2069856908218443928096449/2698872375710652056*c_1010_8^13 + 2470006150838483990422297/2698872375710652056*c_1010_8^12 - 2569174793106929392914643/2698872375710652056*c_1010_8^11 + 2315857518290591767896079/2698872375710652056*c_1010_8^10 - 1827564647375755305375055/2698872375710652056*c_1010_8^9 + 1284426904251023494765757/2698872375710652056*c_1010_8^8 - 810372298988132111140761/2698872375710652056*c_1010_8^7 + 455493484209028780656179/2698872375710652056*c_1010_8^6 - 55856266483994422476941/674718093927663014*c_1010_8^5 + 45939988058161542460799/1349436187855326028*c_1010_8^4 - 14788681702361265955237/1349436187855326028*c_1010_8^3 + 6893494873098477374389/2698872375710652056*c_1010_8^2 - 565854420853839616977/1349436187855326028*c_1010_8 + 126208434384746604255/2698872375710652056, c_0101_7 - 1041045589756641429741757/13259559981866433551128*c_1010_8^2\ 3 + 5650605159316692799483999/6629779990933216775564*c_1010_8^22 - 36903169635234302884940137/6629779990933216775564*c_1010_8^21 + 171518039297170903602827457/6629779990933216775564*c_1010_8^20 - 291677880661278395950805263/3314889995466608387782*c_1010_8^19 + 764999583698753866943519617/3314889995466608387782*c_1010_8^18 - 1649626772662713276617797797/3314889995466608387782*c_1010_8^17 + 12282955716195680071524425215/13259559981866433551128*c_1010_8^16 - 2533032248711729600811063458/1657444997733304193891*c_1010_8^15 + 1762964545950160449210408583/779974116580378444184*c_1010_8^14 - 4960023414513421750926851375/1657444997733304193891*c_1010_8^13 + 46355440564448442525535697253/13259559981866433551128*c_1010_8^12 - 23512563993885804367223396231/6629779990933216775564*c_1010_8^11 + 41329701458644230107821297935/13259559981866433551128*c_1010_8^10 - 7977421029272952051645991599/3314889995466608387782*c_1010_8^9 + 22006113041260975669091057013/13259559981866433551128*c_1010_8^8 - 6807848271457059648556420739/6629779990933216775564*c_1010_8^7 + 7485478822864384703314778161/13259559981866433551128*c_1010_8^6 - 3573505252773708167047904873/13259559981866433551128*c_1010_8^5 + 1415281686352257888412804963/13259559981866433551128*c_1010_8^4 - 217181291605538463998623773/6629779990933216775564*c_1010_8^3 + 97020037541299307344259101/13259559981866433551128*c_1010_8^2 - 7707131463281043176852633/6629779990933216775564*c_1010_8 + 1536905308735118084201281/13259559981866433551128, c_1001_0 + 3011398966381743928151499/13259559981866433551128*c_1010_8^2\ 3 - 32567419922743826104067791/13259559981866433551128*c_1010_8^22 + 106021835340082966460650951/6629779990933216775564*c_1010_8^21 - 982554714325845268544906783/13259559981866433551128*c_1010_8^20 + 832144142216952089459280535/3314889995466608387782*c_1010_8^19 - 8690436838682257923994537693/13259559981866433551128*c_1010_8^18 + 9330384152591967822953517311/6629779990933216775564*c_1010_8^17 - 34612263925000964816870860865/13259559981866433551128*c_1010_8^16 + 28458123516764307643440671025/6629779990933216775564*c_1010_8^15 - 83902071086358580367434160117/13259559981866433551128*c_1010_8^14 + 3255309789578233414206046213/389987058290189222092*c_1010_8^13 - 128706493463008456738824221421/13259559981866433551128*c_1010_8^12 + 64908852355839841827432549613/6629779990933216775564*c_1010_8^11 - 6670323243998078139076094511/779974116580378444184*c_1010_8^10 + 43533127541154840927853489661/6629779990933216775564*c_1010_8^9 - 59748247973403320029884508159/13259559981866433551128*c_1010_8^8 + 4596728146807058336132221359/1657444997733304193891*c_1010_8^7 - 20093292035795710769286365819/13259559981866433551128*c_1010_8^6 + 9517415887737746414341249537/13259559981866433551128*c_1010_8^5 - 931522663019670964044802369/3314889995466608387782*c_1010_8^4 + 562864501505614158941831995/6629779990933216775564*c_1010_8^3 - 61898901163938875477983499/3314889995466608387782*c_1010_8^2 + 19398041921483952316937317/6629779990933216775564*c_1010_8 - 1858682572508836898574363/6629779990933216775564, c_1001_1 + 603624077805546753496393/13259559981866433551128*c_1010_8^23 - 6544613519603629708748431/13259559981866433551128*c_1010_8^22 + 10680362417689468247911623/3314889995466608387782*c_1010_8^21 - 49618524544607960188317919/3314889995466608387782*c_1010_8^20 + 84342521466235149018711256/1657444997733304193891*c_1010_8^19 - 1769270400963696137680634195/13259559981866433551128*c_1010_8^18 + 1907626445662944216139587013/6629779990933216775564*c_1010_8^17 - 3551417477976800790813106527/6629779990933216775564*c_1010_8^16 + 2929974849325206604707600657/3314889995466608387782*c_1010_8^15 - 2167094382632419255272106424/1657444997733304193891*c_1010_8^14 + 11479488184670956395398555499/6629779990933216775564*c_1010_8^13 - 789136542885847233357865877/389987058290189222092*c_1010_8^12 + 3404341992897263284220693029/1657444997733304193891*c_1010_8^11 - 2994791358260499516413378817/1657444997733304193891*c_1010_8^10 + 4629404492374879781312515099/3314889995466608387782*c_1010_8^9 - 3195901809147203984027920135/3314889995466608387782*c_1010_8^8 + 1979499363393117920187769487/3314889995466608387782*c_1010_8^7 - 2179534937991144663185959139/6629779990933216775564*c_1010_8^6 + 2084889126403337549636136925/13259559981866433551128*c_1010_8^5 - 828126591814609334253592617/13259559981866433551128*c_1010_8^4 + 63872008462215415333313031/3314889995466608387782*c_1010_8^3 - 28747952689894825104607203/6629779990933216775564*c_1010_8^2 + 4586210814850467104320363/6629779990933216775564*c_1010_8 - 54571991568553060093555/779974116580378444184, c_1001_10 + 264496897579816870871943/3314889995466608387782*c_1010_8^23 - 11351171908012741657010925/13259559981866433551128*c_1010_8^22 + 36793968670396113901236623/6629779990933216775564*c_1010_8^21 - 19971731267239463041463255/779974116580378444184*c_1010_8^20 + 1144203037807625120225308867/13259559981866433551128*c_1010_8^19 - 371520277635471687873164994/1657444997733304193891*c_1010_8^18 + 46730036386735144373286973/97496764572547305523*c_1010_8^17 - 11747559799750903638374336445/13259559981866433551128*c_1010_8^16 + 9629041002979323228020812031/6629779990933216775564*c_1010_8^15 - 28303291717347280143299960469/13259559981866433551128*c_1010_8^14 + 18605888357102860598354257211/6629779990933216775564*c_1010_8^13 - 43093566077945881560625078561/13259559981866433551128*c_1010_8^12 + 10813820845397194747287548833/3314889995466608387782*c_1010_8^11 - 37599821804674043204078064537/13259559981866433551128*c_1010_8^10 + 14373154764620598650245129725/6629779990933216775564*c_1010_8^9 - 19651009835969043752249459471/13259559981866433551128*c_1010_8^8 + 6022922252149887959965632287/6629779990933216775564*c_1010_8^7 - 6551067737607877079827419717/13259559981866433551128*c_1010_8^6 + 1542193433360888339006107405/6629779990933216775564*c_1010_8^5 - 149654802556988251526305181/1657444997733304193891*c_1010_8^4 + 89415871569860916578888813/3314889995466608387782*c_1010_8^3 - 19453207220782847396903217/3314889995466608387782*c_1010_8^2 + 12091369803061672842912271/13259559981866433551128*c_1010_8 - 1130827064871968226672193/13259559981866433551128, c_1001_5 - 409175107068550702592978/1657444997733304193891*c_1010_8^23 + 34748691734707316127898061/13259559981866433551128*c_1010_8^22 - 112017160456385179726249511/6629779990933216775564*c_1010_8^21 + 1028032207105919023129771703/13259559981866433551128*c_1010_8^20 - 3442078510412981171237457859/13259559981866433551128*c_1010_8^19 + 4443724244731600051571431609/6629779990933216775564*c_1010_8^18 - 9458445132265582917006314527/6629779990933216775564*c_1010_8^17 + 34843153699672650711472788307/13259559981866433551128*c_1010_8^16 - 7117364914240869206952888723/1657444997733304193891*c_1010_8^15 + 83429865651932887437388624031/13259559981866433551128*c_1010_8^14 - 13665790881130653914595307798/1657444997733304193891*c_1010_8^13 + 126099192559726684457604219615/13259559981866433551128*c_1010_8^12 - 63013038975364694342264998365/6629779990933216775564*c_1010_8^11 + 109136896795062590697164262531/13259559981866433551128*c_1010_8^10 - 20798868504704919980539139761/3314889995466608387782*c_1010_8^9 + 56723848054754523899078587381/13259559981866433551128*c_1010_8^8 - 8669037616908039669969274819/3314889995466608387782*c_1010_8^7 + 65061950766317307924621375/45880830387081084952*c_1010_8^6 - 1102546096211231257057223158/1657444997733304193891*c_1010_8^5 + 1704202400313806639680003969/6629779990933216775564*c_1010_8^4 - 29833153670175474177447957/389987058290189222092*c_1010_8^3 + 110054765457306714391668797/6629779990933216775564*c_1010_8^2 - 34009366166329854142634561/13259559981866433551128*c_1010_8 + 3149911832650807222414257/13259559981866433551128, c_1010_8^24 - 1029/89*c_1010_8^23 + 6990/89*c_1010_8^22 - 33762/89*c_1010_8^21 + 120327/89*c_1010_8^20 - 331483/89*c_1010_8^19 + 747080/89*c_1010_8^18 - 1444096/89*c_1010_8^17 + 2465073/89*c_1010_8^16 - 3769784/89*c_1010_8^15 + 5176657/89*c_1010_8^14 - 6323060/89*c_1010_8^13 + 6773997/89*c_1010_8^12 - 6323060/89*c_1010_8^11 + 5176657/89*c_1010_8^10 - 3769784/89*c_1010_8^9 + 2465073/89*c_1010_8^8 - 1444096/89*c_1010_8^7 + 747080/89*c_1010_8^6 - 331483/89*c_1010_8^5 + 120327/89*c_1010_8^4 - 33762/89*c_1010_8^3 + 6990/89*c_1010_8^2 - 1029/89*c_1010_8 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 74.570 Total time: 74.790 seconds, Total memory usage: 611.00MB