Magma V2.19-8 Tue Aug 20 2013 17:59:26 on localhost [Seed = 3566559309] Type ? for help. Type -D to quit. Loading file "10^2_65__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation 10^2_65 geometric_solution 12.93966462 oriented_manifold CS_known 0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 14 1 2 1 3 0132 0132 3012 0132 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 0 0 0 0 0 0 0 1 1 -2 1 0 -1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.404168047998 0.513375479800 0 0 5 4 0132 1230 0132 0132 0 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 0 0 0 0 0 0 0 0 1 -1 0 -1 0 0 1 1 0 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.963240793004 0.829939050113 6 0 7 6 0132 0132 0132 2031 1 0 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 0 0 0 0 0 0 0 -1 1 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.468789966264 1.008943691696 5 8 0 6 0132 0132 0132 2103 1 0 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 0 0 0 0 0 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.168151459454 1.112190521272 9 10 1 10 0132 0132 0132 1230 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 -1 1 1 0 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.160638468384 1.357385158920 3 7 11 1 0132 1023 0132 0132 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 0 0 0 0 0 0 0 0 0 0 -1 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.631821351974 0.514095676275 2 2 10 3 0132 1302 1023 2103 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 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.621250649222 0.815155604218 5 12 8 2 1023 0132 0321 0132 1 0 1 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 1 -1 0 0 0 0 -1 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.022107561001 1.498467596784 13 3 7 12 0132 0132 0321 0132 1 0 1 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 2 -1 -1 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 1.175915945612 0.869074542303 4 11 11 10 0132 0213 2103 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.238484109761 1.164063863421 4 4 6 9 3012 0132 1023 1023 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.329546210866 0.532930232039 9 13 9 5 2103 2310 0213 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 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.393558203483 0.601598586057 13 7 8 13 1023 0132 0132 3012 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 0 0 0 0 0 0 0 0 0 1 -1 -1 0 1 0 1 -1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.144324730200 0.571415047170 8 12 12 11 0132 1023 1230 3201 0 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 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.144324730200 0.571415047170 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_0' : d['1'], 'c_1001_11' : d['c_0011_11'], 'c_1001_10' : d['c_0101_10'], 'c_1001_13' : d['c_0101_12'], 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : d['c_0101_7'], 'c_1001_4' : d['c_0101_0'], 'c_1001_7' : negation(d['c_0101_12']), 'c_1001_6' : d['c_0101_10'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : d['c_0011_0'], 'c_1001_3' : d['c_1001_12'], 'c_1001_2' : d['c_1001_12'], 'c_1001_9' : d['c_0011_11'], 'c_1001_8' : d['c_1001_8'], 'c_1010_13' : negation(d['c_0011_11']), 'c_1010_12' : negation(d['c_0101_12']), 'c_1010_11' : d['c_0101_7'], 'c_1010_10' : d['c_0101_0'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 'c_0101_13' : d['c_0101_12'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_10'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : negation(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_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0101_12']), 'c_0011_13' : d['c_0011_12'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0110_10'], 'c_1100_4' : d['c_0110_10'], 'c_1100_7' : d['c_1001_8'], 'c_1100_6' : negation(d['c_0101_5']), 'c_1100_1' : d['c_0110_10'], 'c_1100_0' : negation(d['c_0101_2']), 'c_1100_3' : negation(d['c_0101_2']), 'c_1100_2' : d['c_1001_8'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0110_10'], 'c_1100_10' : d['c_0101_5'], 'c_1100_13' : negation(d['c_0011_11']), 's_3_10' : d['1'], 's_3_13' : d['1'], 'c_1010_7' : d['c_1001_12'], 'c_1010_6' : negation(d['c_1001_8']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0101_10'], 'c_1010_3' : d['c_1001_8'], 'c_1010_2' : d['c_0011_0'], 'c_1010_1' : d['c_0101_0'], 'c_1010_0' : d['c_1001_12'], 'c_1010_9' : d['c_0110_10'], 'c_1010_8' : d['c_1001_12'], 's_3_1' : d['1'], 's_2_8' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : negation(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'], 'c_1100_12' : negation(d['c_0101_12']), 's_1_7' : d['1'], 's_1_6' : negation(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' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : negation(d['c_0011_12']), 'c_0011_5' : negation(d['c_0011_12']), 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : negation(d['c_0011_12']), 'c_0011_6' : 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_12'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_5'], 'c_0110_10' : d['c_0110_10'], 'c_0110_13' : negation(d['c_0101_7']), 'c_0110_12' : negation(d['c_0011_11']), 's_0_13' : d['1'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_10'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], '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_0011_10'], 'c_0101_8' : negation(d['c_0101_7']), 'c_0011_10' : d['c_0011_10'], 's_1_13' : d['1'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_0'], 'c_0110_8' : d['c_0101_12'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0101_5']), 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : d['c_0101_10'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0011_10'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : d['c_0101_2']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 15 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0101_0, c_0101_1, c_0101_10, c_0101_12, c_0101_2, c_0101_5, c_0101_7, c_0110_10, c_1001_12, c_1001_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 8327808644475851/121354585549719600*c_1001_8^17 - 132737356730411959/121354585549719600*c_1001_8^16 - 3838266164488511/1555828019868200*c_1001_8^15 - 134335772367206419/12135458554971960*c_1001_8^14 - 202086360934795427/10112882129143300*c_1001_8^13 - 500234545466472933/10112882129143300*c_1001_8^12 - 2377146009825744233/30338646387429900*c_1001_8^11 - 1033464218671363304/7584661596857475*c_1001_8^10 - 21679845272070238519/121354585549719600*c_1001_8^9 - 10485887584299696389/40451528516573200*c_1001_8^8 - 1736110867496900137/6067729277485980*c_1001_8^7 - 29624207622344227/89759308838550*c_1001_8^6 - 11167155685368811079/40451528516573200*c_1001_8^5 - 9013518664059493743/40451528516573200*c_1001_8^4 - 303660886727032439/2427091710994392*c_1001_8^3 - 1797865093702090379/20225764258286600*c_1001_8^2 - 5614391166721956167/121354585549719600*c_1001_8 - 1072893888072739003/24270917109943920, c_0011_0 - 1, c_0011_10 - 30488104767311/718074470708400*c_1001_8^17 - 21031636396539/239358156902800*c_1001_8^16 - 3986073492127/9206082957800*c_1001_8^15 - 56838702997471/71807447070840*c_1001_8^14 - 173572541074343/89759308838550*c_1001_8^13 - 137254175545828/44879654419275*c_1001_8^12 - 316582644928737/59839539225700*c_1001_8^11 - 1190327973584831/179518617677100*c_1001_8^10 - 2297739184154877/239358156902800*c_1001_8^9 - 2443335991355151/239358156902800*c_1001_8^8 - 2055798391535387/179518617677100*c_1001_8^7 - 76236662524523/8975930883855*c_1001_8^6 - 4362833580084481/718074470708400*c_1001_8^5 - 1312966875501283/718074470708400*c_1001_8^4 - 147511568984207/71807447070840*c_1001_8^3 - 383955832442257/359037235354200*c_1001_8^2 - 1316438552733319/718074470708400*c_1001_8 - 7591858367491/47871631380560, c_0011_11 + 730806379621/47871631380560*c_1001_8^17 + 2878451064449/143614894141680*c_1001_8^16 + 315590337327/1841216591560*c_1001_8^15 + 1206746210877/4787163138056*c_1001_8^14 + 16057189356029/17951861767710*c_1001_8^13 + 12221963576296/8975930883855*c_1001_8^12 + 106672454363011/35903723535420*c_1001_8^11 + 49035094053701/11967907845140*c_1001_8^10 + 200547694714699/28722978828336*c_1001_8^9 + 78794055749891/9574326276112*c_1001_8^8 + 135198833116801/11967907845140*c_1001_8^7 + 102005258154896/8975930883855*c_1001_8^6 + 1733171082977857/143614894141680*c_1001_8^5 + 1347148322159683/143614894141680*c_1001_8^4 + 98398927919095/14361489414168*c_1001_8^3 + 230414533446481/71807447070840*c_1001_8^2 + 261545812085159/143614894141680*c_1001_8 + 14772370029881/28722978828336, c_0011_12 + 936697523396/44879654419275*c_1001_8^17 + 1515449143873/29919769612850*c_1001_8^16 + 290159356834/1150760369725*c_1001_8^15 + 4589693739467/8975930883855*c_1001_8^14 + 59270296581034/44879654419275*c_1001_8^13 + 101113635599143/44879654419275*c_1001_8^12 + 62102840530858/14959884806425*c_1001_8^11 + 259322035952414/44879654419275*c_1001_8^10 + 130504181020802/14959884806425*c_1001_8^9 + 306515915594027/29919769612850*c_1001_8^8 + 572256139485638/44879654419275*c_1001_8^7 + 108308522496152/8975930883855*c_1001_8^6 + 489529882191796/44879654419275*c_1001_8^5 + 641723132412611/89759308838550*c_1001_8^4 + 45491670023344/8975930883855*c_1001_8^3 + 129778241946779/44879654419275*c_1001_8^2 + 88433532440449/44879654419275*c_1001_8 + 3491612875057/5983953922570, c_0101_0 - 1, c_0101_1 + 26233312887731/359037235354200*c_1001_8^17 + 54697165881857/359037235354200*c_1001_8^16 + 3699340160867/4603041478900*c_1001_8^15 + 53344331685751/35903723535420*c_1001_8^14 + 175274552160628/44879654419275*c_1001_8^13 + 284721799135051/44879654419275*c_1001_8^12 + 1042350964293931/89759308838550*c_1001_8^11 + 1403737465170101/89759308838550*c_1001_8^10 + 8366589270878651/359037235354200*c_1001_8^9 + 3221288689527871/119679078451400*c_1001_8^8 + 2887225734060527/89759308838550*c_1001_8^7 + 87432422126622/2991976961285*c_1001_8^6 + 8995385963433101/359037235354200*c_1001_8^5 + 5733499651898843/359037235354200*c_1001_8^4 + 127535862697749/11967907845140*c_1001_8^3 + 1100396485216097/179518617677100*c_1001_8^2 + 478164813653633/119679078451400*c_1001_8 + 74011563923993/71807447070840, c_0101_10 - 25577184843113/718074470708400*c_1001_8^17 - 8046616309871/718074470708400*c_1001_8^16 - 2384820414161/9206082957800*c_1001_8^15 - 3676864777873/71807447070840*c_1001_8^14 - 56919082213369/89759308838550*c_1001_8^13 + 4765072901461/44879654419275*c_1001_8^12 - 65562598918573/179518617677100*c_1001_8^11 + 320851598220727/179518617677100*c_1001_8^10 + 953020908983887/718074470708400*c_1001_8^9 + 1336144960154127/239358156902800*c_1001_8^8 + 1030830904686439/179518617677100*c_1001_8^7 + 32654048847059/2991976961285*c_1001_8^6 + 7162983853157497/718074470708400*c_1001_8^5 + 7619046476224531/718074470708400*c_1001_8^4 + 137640421444013/23935815690280*c_1001_8^3 + 1468706782615369/359037235354200*c_1001_8^2 + 217610773637061/239358156902800*c_1001_8 + 238961812989721/143614894141680, c_0101_12 + 4513572367/368243318312*c_1001_8^17 + 17514994625/368243318312*c_1001_8^16 + 32073848921/184121659156*c_1001_8^15 + 84205916707/184121659156*c_1001_8^14 + 46100874533/46030414789*c_1001_8^13 + 89075920743/46030414789*c_1001_8^12 + 301997648091/92060829578*c_1001_8^11 + 452878425605/92060829578*c_1001_8^10 + 2527066964231/368243318312*c_1001_8^9 + 3198563061933/368243318312*c_1001_8^8 + 953422382403/92060829578*c_1001_8^7 + 464069418432/46030414789*c_1001_8^6 + 3263463886033/368243318312*c_1001_8^5 + 2285754645883/368243318312*c_1001_8^4 + 876733346947/184121659156*c_1001_8^3 + 531717594961/184121659156*c_1001_8^2 + 967533908615/368243318312*c_1001_8 + 295306520109/368243318312, c_0101_2 - 20725100230813/359037235354200*c_1001_8^17 - 38743582255931/359037235354200*c_1001_8^16 - 2782012589381/4603041478900*c_1001_8^15 - 37469948080313/35903723535420*c_1001_8^14 - 42309747975748/14959884806425*c_1001_8^13 - 66121331142436/14959884806425*c_1001_8^12 - 741555103300633/89759308838550*c_1001_8^11 - 962927192195173/89759308838550*c_1001_8^10 - 5953454960166053/359037235354200*c_1001_8^9 - 2206593692551213/119679078451400*c_1001_8^8 - 2041890444143701/89759308838550*c_1001_8^7 - 178241920679419/8975930883855*c_1001_8^6 - 2171448165828961/119679078451400*c_1001_8^5 - 1341451414383283/119679078451400*c_1001_8^4 - 319753104289841/35903723535420*c_1001_8^3 - 256004749945777/59839539225700*c_1001_8^2 - 953046571225357/359037235354200*c_1001_8 - 48318712625939/71807447070840, c_0101_5 - 803641442051/17951861767710*c_1001_8^17 - 337253273531/2991976961285*c_1001_8^16 - 22544539585/46030414789*c_1001_8^15 - 1862008480474/1795186176771*c_1001_8^14 - 21059323229702/8975930883855*c_1001_8^13 - 36933135406157/8975930883855*c_1001_8^12 - 4066038925400/598395392257*c_1001_8^11 - 84159191215792/8975930883855*c_1001_8^10 - 76453850667949/5983953922570*c_1001_8^9 - 45097173188161/2991976961285*c_1001_8^8 - 143631834551476/8975930883855*c_1001_8^7 - 125329123351844/8975930883855*c_1001_8^6 - 164379803614573/17951861767710*c_1001_8^5 - 7870844055556/1795186176771*c_1001_8^4 - 2972595224555/1795186176771*c_1001_8^3 - 11010353573932/8975930883855*c_1001_8^2 - 6862350102623/3590372353542*c_1001_8 - 225100308609/598395392257, c_0101_7 - 714937387821/29919769612850*c_1001_8^17 - 1857083591437/29919769612850*c_1001_8^16 - 273454132791/1150760369725*c_1001_8^15 - 1573449554301/2991976961285*c_1001_8^14 - 15342106522492/14959884806425*c_1001_8^13 - 27850680477214/14959884806425*c_1001_8^12 - 39548132604142/14959884806425*c_1001_8^11 - 53824640042182/14959884806425*c_1001_8^10 - 121260891298141/29919769612850*c_1001_8^9 - 144455816287583/29919769612850*c_1001_8^8 - 48634344423914/14959884806425*c_1001_8^7 - 5673533618564/2991976961285*c_1001_8^6 + 52386915436909/29919769612850*c_1001_8^5 + 82726976544937/29919769612850*c_1001_8^4 + 10209564633523/2991976961285*c_1001_8^3 + 24908824692373/14959884806425*c_1001_8^2 + 31689207051291/29919769612850*c_1001_8 + 1240609788967/5983953922570, c_0110_10 + 2754106328459/179518617677100*c_1001_8^17 + 2658930604321/59839539225700*c_1001_8^16 + 458663785743/2301520739450*c_1001_8^15 + 7937191802719/17951861767710*c_1001_8^14 + 48345308233384/44879654419275*c_1001_8^13 + 86357805707743/44879654419275*c_1001_8^12 + 50132643498883/14959884806425*c_1001_8^11 + 220405136487464/44879654419275*c_1001_8^10 + 402189051785433/59839539225700*c_1001_8^9 + 507347498488329/59839539225700*c_1001_8^8 + 422667644958413/44879654419275*c_1001_8^7 + 84055345700447/8975930883855*c_1001_8^6 + 1240520732973109/179518617677100*c_1001_8^5 + 854572704374497/179518617677100*c_1001_8^4 + 31427241901703/17951861767710*c_1001_8^3 + 166191117689383/89759308838550*c_1001_8^2 + 240723934867771/179518617677100*c_1001_8 + 4282141883009/11967907845140, c_1001_12 + 2754106328459/179518617677100*c_1001_8^17 + 2658930604321/59839539225700*c_1001_8^16 + 458663785743/2301520739450*c_1001_8^15 + 7937191802719/17951861767710*c_1001_8^14 + 48345308233384/44879654419275*c_1001_8^13 + 86357805707743/44879654419275*c_1001_8^12 + 50132643498883/14959884806425*c_1001_8^11 + 220405136487464/44879654419275*c_1001_8^10 + 402189051785433/59839539225700*c_1001_8^9 + 507347498488329/59839539225700*c_1001_8^8 + 422667644958413/44879654419275*c_1001_8^7 + 84055345700447/8975930883855*c_1001_8^6 + 1240520732973109/179518617677100*c_1001_8^5 + 854572704374497/179518617677100*c_1001_8^4 + 31427241901703/17951861767710*c_1001_8^3 + 166191117689383/89759308838550*c_1001_8^2 + 240723934867771/179518617677100*c_1001_8 + 4282141883009/11967907845140, c_1001_8^18 + 2*c_1001_8^17 + 11*c_1001_8^16 + 20*c_1001_8^15 + 54*c_1001_8^14 + 88*c_1001_8^13 + 164*c_1001_8^12 + 224*c_1001_8^11 + 341*c_1001_8^10 + 398*c_1001_8^9 + 493*c_1001_8^8 + 460*c_1001_8^7 + 431*c_1001_8^6 + 298*c_1001_8^5 + 225*c_1001_8^4 + 124*c_1001_8^3 + 99*c_1001_8^2 + 30*c_1001_8 + 25 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.860 Total time: 1.070 seconds, Total memory usage: 32.09MB