Magma V2.19-8 Wed Aug 21 2013 00:55:17 on localhost [Seed = 2177342455] Type ? for help. Type -D to quit. Loading file "L13a4217__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L13a4217 geometric_solution 10.96282222 oriented_manifold CS_known 0.0000000000000009 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 1 2 3 0132 3120 0132 0132 1 1 1 1 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 -1 1 -1 0 0 1 0 0 0 0 -1 4 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.006258026819 0.989072440144 0 0 4 3 0132 3120 0132 3201 1 1 1 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 -4 4 0 1 0 -1 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.006258026819 0.989072440144 5 6 7 0 0132 0132 0132 0132 1 1 1 1 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 -1 0 1 0 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 0 0 0.353434724078 1.364461756010 5 1 0 8 2103 2310 0132 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 -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.195612094833 0.394392114765 8 9 10 1 1302 0132 0132 0132 1 1 1 0 0 1 0 -1 -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 4 0 -4 -4 0 3 1 0 0 0 0 -1 2 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.341133113313 1.476542777854 2 10 3 9 0132 1230 2103 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.101243420547 0.498787021559 10 2 10 11 1230 0132 3201 0132 1 0 1 1 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 0 -1 0 0 1 -1 0 0 0 0 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.031401698160 1.180248958071 12 12 11 2 0132 3201 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.662012071455 0.947642667639 9 4 3 11 3120 2031 0132 2310 1 1 0 1 0 0 0 0 0 0 0 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 0 0 0 1 0 -1 0 -2 1 0 1 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.280369903072 1.102248229228 11 4 5 8 3012 0132 0132 3120 1 1 0 1 0 -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 -4 0 4 1 0 0 -1 0 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.481509265560 0.986929930776 6 6 5 4 2310 3012 3012 0132 1 1 0 1 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 -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.419819002886 0.480405395511 8 7 6 9 3201 3201 0132 1230 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 1 -1 -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.685458409792 0.475578530975 7 12 7 12 0132 2310 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.824766520974 0.429916359116 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_7']), 'c_1001_10' : d['c_0011_2'], 'c_1001_12' : d['c_0101_7'], 'c_1001_5' : d['c_0011_3'], 'c_1001_4' : negation(d['c_0011_8']), 'c_1001_7' : negation(d['c_0101_12']), 'c_1001_6' : negation(d['c_0101_10']), 'c_1001_1' : d['c_0101_10'], 'c_1001_0' : negation(d['c_0101_10']), 'c_1001_3' : d['c_0011_0'], 'c_1001_2' : negation(d['c_0101_7']), 'c_1001_9' : d['c_0101_10'], 'c_1001_8' : negation(d['c_0101_0']), 'c_1010_12' : negation(d['c_0101_7']), 'c_1010_11' : d['c_0101_12'], 'c_1010_10' : negation(d['c_0011_8']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_10'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_8']), 'c_1100_4' : negation(d['c_0011_3']), 'c_1100_7' : d['c_0011_11'], 'c_1100_6' : negation(d['c_0011_10']), 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : d['c_0011_11'], 'c_1100_3' : d['c_0011_11'], 'c_1100_2' : d['c_0011_11'], 's_3_11' : d['1'], 'c_1100_9' : negation(d['c_0101_8']), 'c_1100_11' : negation(d['c_0011_10']), 'c_1100_10' : negation(d['c_0011_3']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0101_7']), 'c_1010_6' : negation(d['c_0101_7']), 'c_1010_5' : d['c_0101_10'], 'c_1010_4' : d['c_0101_10'], 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : negation(d['c_0101_10']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : d['c_0011_0'], 'c_1010_9' : negation(d['c_0011_8']), 'c_1010_8' : d['c_0011_4'], 'c_1100_8' : d['c_0011_11'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0011_12']), '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_4']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_12']), 'c_0011_6' : negation(d['c_0011_2']), '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' : d['c_0011_2'], 'c_0110_11' : negation(d['c_0011_4']), 'c_0110_10' : negation(d['c_0011_8']), 'c_0110_12' : d['c_0101_7'], 'c_0101_12' : d['c_0101_12'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0011_8'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0011_8']), 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0101_12'], 'c_0101_1' : d['c_0101_0'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_12'], 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_10']), 'c_0110_8' : negation(d['c_0011_10']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_0'], 'c_0110_3' : d['c_0101_8'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_12'], 'c_0110_4' : d['c_0101_0'], 'c_0110_7' : d['c_0101_12'], 'c_0110_6' : d['c_0011_10']})} 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_12, c_0011_2, c_0011_3, c_0011_4, c_0011_8, c_0101_0, c_0101_10, c_0101_12, c_0101_7, c_0101_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 8488512745778941181741615613/85164731759096481952768*c_0101_8^21 + 96468928497489107345806227017/42582365879548240976384*c_0101_8^20 + 1009483648186682759995127800805/42582365879548240976384*c_0101_8^19 + 12907750042425081186368864363515/85164731759096481952768*c_0101_8\ ^18 + 56485709715588105987887363929331/85164731759096481952768*c_01\ 01_8^17 + 179979398422260427283356523533253/85164731759096481952768\ *c_0101_8^16 + 27176868424154249084912641269449/5322795734943530122\ 048*c_0101_8^15 + 205528531133821961140943122845743/212911829397741\ 20488192*c_0101_8^14 + 312600689679672109874212259576433/2129118293\ 9774120488192*c_0101_8^13 + 1565915392668106387177656655413121/8516\ 4731759096481952768*c_0101_8^12 + 74451060035846957041737694291125/\ 3871124170868021906944*c_0101_8^11 + 1434465324989142406278811753091203/85164731759096481952768*c_0101_8\ ^10 + 1047042365265878830102332103722789/85164731759096481952768*c_\ 0101_8^9 + 57457287862175813895558969567213/7742248341736043813888*\ c_0101_8^8 + 2730268571246191051791985483249/760399390706218588864*\ c_0101_8^7 + 26769075013353940688683678116927/212911829397741204881\ 92*c_0101_8^6 + 2828770531184310582339494869261/1216639025129949742\ 1824*c_0101_8^5 - 1240722737788913150830988835223/21291182939774120\ 488192*c_0101_8^4 - 3700767006897910306138590889881/425823658795482\ 40976384*c_0101_8^3 - 3421251905203039498141418319401/8516473175909\ 6481952768*c_0101_8^2 - 1196118096877584686190592423869/85164731759\ 096481952768*c_0101_8 - 219431945815148793001994243895/851647317590\ 96481952768, c_0011_0 - 1, c_0011_10 + 36812444150631/831815765028506*c_0101_8^21 + 452795243746162/415907882514253*c_0101_8^20 + 5101186187022694/415907882514253*c_0101_8^19 + 69830651384248303/831815765028506*c_0101_8^18 + 325097153953505949/831815765028506*c_0101_8^17 + 1093797752848144509/831815765028506*c_0101_8^16 + 1382802156746312544/415907882514253*c_0101_8^15 + 2707918419502616231/415907882514253*c_0101_8^14 + 4220523159219724698/415907882514253*c_0101_8^13 + 10735363698658510151/831815765028506*c_0101_8^12 + 5667580356274486748/415907882514253*c_0101_8^11 + 9969997428946670465/831815765028506*c_0101_8^10 + 7255658788179982469/831815765028506*c_0101_8^9 + 4339302954182484211/831815765028506*c_0101_8^8 + 1039151590331198309/415907882514253*c_0101_8^7 + 354713183431349252/415907882514253*c_0101_8^6 + 122936224995051307/831815765028506*c_0101_8^5 - 12293134899770048/415907882514253*c_0101_8^4 - 21888038591517308/415907882514253*c_0101_8^3 - 17554715949091839/831815765028506*c_0101_8^2 - 5226801226959385/831815765028506*c_0101_8 - 438198127243311/831815765028506, c_0011_11 - 251219431350820/1247723647542759*c_0101_8^21 - 1916272137211095/415907882514253*c_0101_8^20 - 60550159282170577/1247723647542759*c_0101_8^19 - 389494086401578082/1247723647542759*c_0101_8^18 - 571383997373527592/415907882514253*c_0101_8^17 - 1829959524049044194/415907882514253*c_0101_8^16 - 13325050134191610802/1247723647542759*c_0101_8^15 - 25301972264888340554/1247723647542759*c_0101_8^14 - 38653222620043172528/1247723647542759*c_0101_8^13 - 48651685545413878297/1247723647542759*c_0101_8^12 - 51204067226772576011/1247723647542759*c_0101_8^11 - 45189014155777703092/1247723647542759*c_0101_8^10 - 33313620827359798904/1247723647542759*c_0101_8^9 - 20387144067257420374/1247723647542759*c_0101_8^8 - 10059453846459799330/1247723647542759*c_0101_8^7 - 1214433690634117256/415907882514253*c_0101_8^6 - 753771392781337340/1247723647542759*c_0101_8^5 + 118648064471877629/1247723647542759*c_0101_8^4 + 79159932915381403/415907882514253*c_0101_8^3 + 36906934644044900/415907882514253*c_0101_8^2 + 41471210157362536/1247723647542759*c_0101_8 + 7547908306454114/1247723647542759, c_0011_12 - 22590073137943/1247723647542759*c_0101_8^21 - 156683611447573/415907882514253*c_0101_8^20 - 4461985811415907/1247723647542759*c_0101_8^19 - 25593061587998834/1247723647542759*c_0101_8^18 - 33055305115154609/415907882514253*c_0101_8^17 - 91844503671708524/415907882514253*c_0101_8^16 - 570866322977913184/1247723647542759*c_0101_8^15 - 909945501930615890/1247723647542759*c_0101_8^14 - 1146826266610578668/1247723647542759*c_0101_8^13 - 1162426277850415681/1247723647542759*c_0101_8^12 - 939296581025049935/1247723647542759*c_0101_8^11 - 578509621081649185/1247723647542759*c_0101_8^10 - 249354849127977659/1247723647542759*c_0101_8^9 - 55880702201651449/1247723647542759*c_0101_8^8 + 17042005374192806/1247723647542759*c_0101_8^7 + 5409762946509912/415907882514253*c_0101_8^6 - 6996473681141309/1247723647542759*c_0101_8^5 - 10760198982918844/1247723647542759*c_0101_8^4 - 2411964357342399/415907882514253*c_0101_8^3 - 1592885565722849/415907882514253*c_0101_8^2 - 618766951190441/1247723647542759*c_0101_8 - 174707165660233/1247723647542759, c_0011_2 + 741254583352597/2495447295085518*c_0101_8^21 + 2763898616797493/415907882514253*c_0101_8^20 + 85411440585251543/1247723647542759*c_0101_8^19 + 1075349688609303791/2495447295085518*c_0101_8^18 + 1545414826867441737/831815765028506*c_0101_8^17 + 4856052579467068197/831815765028506*c_0101_8^16 + 17381345287613082368/1247723647542759*c_0101_8^15 + 32524260623677717957/1247723647542759*c_0101_8^14 + 49075810620760119370/1247723647542759*c_0101_8^13 + 122201342662732186879/2495447295085518*c_0101_8^12 + 63629614079156288425/1247723647542759*c_0101_8^11 + 111097274843582854231/2495447295085518*c_0101_8^10 + 80977672690453438805/2495447295085518*c_0101_8^9 + 48892963723846065625/2495447295085518*c_0101_8^8 + 11837573126732459948/1247723647542759*c_0101_8^7 + 1389483090258710820/415907882514253*c_0101_8^6 + 1583213633102387075/2495447295085518*c_0101_8^5 - 190146788334058162/1247723647542759*c_0101_8^4 - 94423099099807117/415907882514253*c_0101_8^3 - 86808154029647299/831815765028506*c_0101_8^2 - 96416606210131357/2495447295085518*c_0101_8 - 15529259520605489/2495447295085518, c_0011_3 + 251219431350820/1247723647542759*c_0101_8^21 + 1916272137211095/415907882514253*c_0101_8^20 + 60550159282170577/1247723647542759*c_0101_8^19 + 389494086401578082/1247723647542759*c_0101_8^18 + 571383997373527592/415907882514253*c_0101_8^17 + 1829959524049044194/415907882514253*c_0101_8^16 + 13325050134191610802/1247723647542759*c_0101_8^15 + 25301972264888340554/1247723647542759*c_0101_8^14 + 38653222620043172528/1247723647542759*c_0101_8^13 + 48651685545413878297/1247723647542759*c_0101_8^12 + 51204067226772576011/1247723647542759*c_0101_8^11 + 45189014155777703092/1247723647542759*c_0101_8^10 + 33313620827359798904/1247723647542759*c_0101_8^9 + 20387144067257420374/1247723647542759*c_0101_8^8 + 10059453846459799330/1247723647542759*c_0101_8^7 + 1214433690634117256/415907882514253*c_0101_8^6 + 753771392781337340/1247723647542759*c_0101_8^5 - 118648064471877629/1247723647542759*c_0101_8^4 - 79159932915381403/415907882514253*c_0101_8^3 - 36906934644044900/415907882514253*c_0101_8^2 - 41471210157362536/1247723647542759*c_0101_8 - 7547908306454114/1247723647542759, c_0011_4 - 1, c_0011_8 + 30123240827141/831815765028506*c_0101_8^21 + 407009306704396/415907882514253*c_0101_8^20 + 4929061939873651/415907882514253*c_0101_8^19 + 71392554137506321/831815765028506*c_0101_8^18 + 347430770357067411/831815765028506*c_0101_8^17 + 1210251148859548285/831815765028506*c_0101_8^16 + 1571999736581376435/415907882514253*c_0101_8^15 + 3144259828498050311/415907882514253*c_0101_8^14 + 4985803281617946492/415907882514253*c_0101_8^13 + 12880778581745884335/831815765028506*c_0101_8^12 + 6908489103691059348/415907882514253*c_0101_8^11 + 12361455824275139587/831815765028506*c_0101_8^10 + 9170083283934978177/831815765028506*c_0101_8^9 + 5615330431251959425/831815765028506*c_0101_8^8 + 1385662283004139698/415907882514253*c_0101_8^7 + 491792778570234873/415907882514253*c_0101_8^6 + 185156925342659701/831815765028506*c_0101_8^5 - 17821509836990261/415907882514253*c_0101_8^4 - 37074943782610218/415907882514253*c_0101_8^3 - 33236178678558061/831815765028506*c_0101_8^2 - 13216500975447521/831815765028506*c_0101_8 - 3297808522657893/831815765028506, c_0101_0 - 1008337121917453/2495447295085518*c_0101_8^21 - 3780975924147601/415907882514253*c_0101_8^20 - 117423017513119748/1247723647542759*c_0101_8^19 - 1484468621777264663/2495447295085518*c_0101_8^18 - 2139809884831538133/831815765028506*c_0101_8^17 - 6734887160778546655/831815765028506*c_0101_8^16 - 24107509905993167672/1247723647542759*c_0101_8^15 - 45037066623304806304/1247723647542759*c_0101_8^14 - 67748234339141756530/1247723647542759*c_0101_8^13 - 168025368178373825281/2495447295085518*c_0101_8^12 - 87094990721809169062/1247723647542759*c_0101_8^11 - 151275432760652344387/2495447295085518*c_0101_8^10 - 109596269473193684849/2495447295085518*c_0101_8^9 - 65770047409104044479/2495447295085518*c_0101_8^8 - 15823789274561859272/1247723647542759*c_0101_8^7 - 1836963423059633168/415907882514253*c_0101_8^6 - 2059735045106506919/2495447295085518*c_0101_8^5 + 252400207406855974/1247723647542759*c_0101_8^4 + 128513824950836650/415907882514253*c_0101_8^3 + 116068022897506995/831815765028506*c_0101_8^2 + 125321819651111665/2495447295085518*c_0101_8 + 22154176466330399/2495447295085518, c_0101_10 - c_0101_8, c_0101_12 - 326878373915261/1663631530057012*c_0101_8^21 - 3793846606082609/831815765028506*c_0101_8^20 - 40472330219830829/831815765028506*c_0101_8^19 - 526624211796167251/1663631530057012*c_0101_8^18 - 2340819092175427395/1663631530057012*c_0101_8^17 - 7560406954245131389/1663631530057012*c_0101_8^16 - 4618298283800308010/415907882514253*c_0101_8^15 - 8808257194447213297/415907882514253*c_0101_8^14 - 13478834310490469733/415907882514253*c_0101_8^13 - 67766793638598100633/1663631530057012*c_0101_8^12 - 35497660425527290899/831815765028506*c_0101_8^11 - 62139856248568593747/1663631530057012*c_0101_8^10 - 45191883444321994509/1663631530057012*c_0101_8^9 - 27070880205318228863/1663631530057012*c_0101_8^8 - 3230968448568307192/415907882514253*c_0101_8^7 - 1098668254058615279/415907882514253*c_0101_8^6 - 724256673498159563/1663631530057012*c_0101_8^5 + 65029479804220663/415907882514253*c_0101_8^4 + 162815137932787827/831815765028506*c_0101_8^3 + 143163663001290953/1663631530057012*c_0101_8^2 + 50750059651448221/1663631530057012*c_0101_8 + 7555501879551815/1663631530057012, c_0101_7 + 1448514597728365/4990894590171036*c_0101_8^21 + 5609006361711797/831815765028506*c_0101_8^20 + 179739242222348747/2495447295085518*c_0101_8^19 + 2342615204544131759/4990894590171036*c_0101_8^18 + 3477905195533991849/1663631530057012*c_0101_8^17 + 11259688961388610611/1663631530057012*c_0101_8^16 + 20691427159877428678/1247723647542759*c_0101_8^15 + 39591793394991799682/1247723647542759*c_0101_8^14 + 60815600517224168639/1247723647542759*c_0101_8^13 + 307134048510411119773/4990894590171036*c_0101_8^12 + 161755372921151590165/2495447295085518*c_0101_8^11 + 285066229176588150391/4990894590171036*c_0101_8^10 + 209115965867005807205/4990894590171036*c_0101_8^9 + 126715707627513319543/4990894590171036*c_0101_8^8 + 15378267278850624262/1247723647542759*c_0101_8^7 + 1797491031489866915/415907882514253*c_0101_8^6 + 3964986265120267595/4990894590171036*c_0101_8^5 - 249878083200781712/1247723647542759*c_0101_8^4 - 247656468584114421/831815765028506*c_0101_8^3 - 225238015858154359/1663631530057012*c_0101_8^2 - 239692675850586517/4990894590171036*c_0101_8 - 38619502559146007/4990894590171036, c_0101_8^22 + 23*c_0101_8^21 + 244*c_0101_8^20 + 1585*c_0101_8^19 + 7066*c_0101_8^18 + 23004*c_0101_8^17 + 56965*c_0101_8^16 + 110716*c_0101_8^15 + 173520*c_0101_8^14 + 224345*c_0101_8^13 + 242887*c_0101_8^12 + 221213*c_0101_8^11 + 169084*c_0101_8^10 + 107840*c_0101_8^9 + 56175*c_0101_8^8 + 22364*c_0101_8^7 + 5747*c_0101_8^6 + 47*c_0101_8^5 - 1030*c_0101_8^4 - 639*c_0101_8^3 - 250*c_0101_8^2 - 64*c_0101_8 - 7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.170 Total time: 0.380 seconds, Total memory usage: 32.09MB