Magma V2.19-8 Tue Aug 20 2013 18:01:23 on localhost [Seed = 728407606] Type ? for help. Type -D to quit. Loading file "11_272__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_272 geometric_solution 11.79474143 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 13 1 2 1 3 0132 0132 3120 0132 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 -1 1 0 0 1 -1 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.393197243457 0.518120200559 0 4 0 5 0132 0132 3120 0132 0 0 0 0 0 0 -1 1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 -1 1 -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.393197243457 0.518120200559 6 0 7 4 0132 0132 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.176389022160 0.628472495075 4 6 0 7 0132 0132 0132 0132 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 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.393197243457 0.518120200559 3 1 8 2 0132 0132 0132 2103 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 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.636096744274 2.276576342199 9 6 1 9 0132 0213 0132 2103 0 0 0 0 0 0 -1 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 -1 1 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.704892798565 1.046638895937 2 3 5 10 0132 0132 0213 0132 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 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.181951627863 1.138288171100 11 10 3 2 0132 0132 0132 0132 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 -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.782762724430 0.525929113605 12 10 9 4 0132 0321 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 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 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.102409850238 0.884888787957 5 8 11 5 0132 3201 2310 2103 0 0 0 0 0 1 -1 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.704892798565 1.046638895937 11 7 6 8 2103 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.358103192936 0.630395753098 7 9 10 12 0132 3201 2103 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 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 1.109600383709 1.458497290802 8 12 11 12 0132 2310 0132 3201 0 0 0 0 0 -1 0 1 0 0 0 0 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.189249834472 0.676624740830 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_10'], 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : d['c_0101_8'], 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : d['c_1001_4'], 'c_1001_6' : d['c_1001_4'], 'c_1001_1' : negation(d['c_1001_0']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_10'], 'c_1001_2' : d['c_1001_10'], 'c_1001_9' : negation(d['c_0101_8']), 'c_1001_8' : d['c_1001_8'], 'c_1010_12' : negation(d['c_0101_8']), 'c_1010_11' : d['c_0101_8'], 'c_1010_10' : d['c_1001_4'], 's_0_10' : d['1'], 's_0_11' : 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_0101_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' : negation(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' : negation(d['1']), 's_0_7' : 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' : d['c_0011_10'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_0']), 'c_1100_4' : negation(d['c_0011_5']), 'c_1100_7' : negation(d['c_0101_1']), 'c_1100_6' : d['c_1001_8'], 'c_1100_1' : negation(d['c_0101_0']), 'c_1100_0' : negation(d['c_0101_1']), 'c_1100_3' : negation(d['c_0101_1']), 'c_1100_2' : negation(d['c_0101_1']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_12']), 'c_1100_10' : d['c_1001_8'], 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_10'], 'c_1010_6' : d['c_1001_10'], 'c_1010_5' : d['c_1001_8'], 'c_1010_4' : negation(d['c_1001_0']), 'c_1010_3' : d['c_1001_4'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : d['c_1001_10'], 'c_1010_9' : negation(d['c_1001_8']), 'c_1010_8' : d['c_1001_4'], 'c_1100_8' : negation(d['c_0011_5']), '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' : 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' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(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_5']), 'c_0011_8' : negation(d['c_0011_12']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_10']), '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' : negation(d['c_0011_0']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_12'], 'c_0110_10' : d['c_0011_12'], 'c_0110_12' : d['c_0101_8'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_12'], 'c_0101_6' : d['c_0011_5'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_12'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_10'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_10']), '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' : d['c_0101_0'], 'c_0110_8' : d['c_0101_12'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_0011_10'], 'c_0110_3' : d['c_0101_12'], 'c_0110_2' : d['c_0011_5'], 'c_0110_5' : negation(d['c_0011_10']), 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : d['c_0101_10'], 'c_0110_6' : d['c_0101_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_12, c_0011_5, c_0101_0, c_0101_1, c_0101_10, c_0101_12, c_0101_8, c_1001_0, c_1001_10, c_1001_4, c_1001_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 81318778795744994258050560853389027/3759653318868402876806899475*c_\ 1001_8^15 - 13177006551302273575933594931803204/5370933312669146966\ 86699925*c_1001_8^14 + 2082257643512673264886628483876465531/150386\ 13275473611507227597900*c_1001_8^13 - 463136292233841855230993987703823571/4296746650135317573493599400*c\ _1001_8^12 + 16395321666189188887552643541186802779/601544531018944\ 46028910391600*c_1001_8^11 - 1056878884547425443233716450682242757/\ 7519306637736805753613798950*c_1001_8^10 + 67661511103042505869131994184283561691/2406178124075777841156415664\ 00*c_1001_8^9 - 12347171788311099929880915128831236553/962471249630\ 31113646256626560*c_1001_8^8 + 355834153115424144068732775809596043\ 1/24061781240757778411564156640*c_1001_8^7 - 86851506154370867828245818065080681921/1924942499260622272925132531\ 200*c_1001_8^6 + 44963451166592307430397490490193531119/76997699970\ 4248909170053012480*c_1001_8^5 + 2996195780201781989507812555279403\ 341/1099967142434641298814361446400*c_1001_8^4 + 260196181694391068707407773452681001/192494249926062227292513253120\ 0*c_1001_8^3 + 23052401240814446495723572054339582789/7699769997042\ 489091700530124800*c_1001_8^2 + 87747401901557410752393787635450137\ 1/962471249630311136462566265600*c_1001_8 + 581834960189798446557569319031147729/769976999704248909170053012480\ 0, c_0011_0 - 1, c_0011_10 - 773564473838701588115841024/1953066659152417078860727*c_100\ 1_8^15 + 954128509340923765544642560/1953066659152417078860727*c_10\ 01_8^14 - 5053920358428466455987726336/1953066659152417078860727*c_\ 1001_8^13 + 4365469540668156411887644160/1953066659152417078860727*\ c_1001_8^12 - 10228897682729372597423920384/19530666591524170788607\ 27*c_1001_8^11 + 6085508689047131357514960512/195306665915241707886\ 0727*c_1001_8^10 - 10758595275366836710702763392/195306665915241707\ 8860727*c_1001_8^9 + 5719351090103601523857118304/19530666591524170\ 78860727*c_1001_8^8 - 5956592819851463470008017968/1953066659152417\ 078860727*c_1001_8^7 + 2264383210844826876478406768/195306665915241\ 7078860727*c_1001_8^6 - 2363643198607718048402817460/19530666591524\ 17078860727*c_1001_8^5 + 160893858045830857819788694/19530666591524\ 17078860727*c_1001_8^4 - 38774763346399304066360827/195306665915241\ 7078860727*c_1001_8^3 - 101662777834855070454174792/195306665915241\ 7078860727*c_1001_8^2 - 20927015525984870947331661/1953066659152417\ 078860727*c_1001_8 - 1951242054168126090251132/19530666591524170788\ 60727, c_0011_12 + 2723008572492063467271723008/1953066659152417078860727*c_10\ 01_8^15 - 3188330919544844068484380672/1953066659152417078860727*c_\ 1001_8^14 + 17569615869865754598049340928/1953066659152417078860727\ *c_1001_8^13 - 14240846105135505487162471168/1953066659152417078860\ 727*c_1001_8^12 + 34976655388109074546949472384/1953066659152417078\ 860727*c_1001_8^11 - 19106775780699308429932073088/1953066659152417\ 078860727*c_1001_8^10 + 36394915395821256311245553120/1953066659152\ 417078860727*c_1001_8^9 - 17674901600804157342683713456/19530666591\ 52417078860727*c_1001_8^8 + 19580128161635331333433965488/195306665\ 9152417078860727*c_1001_8^7 - 6583886645566044555570464180/19530666\ 59152417078860727*c_1001_8^6 + 7775409597372283522298161786/1953066\ 659152417078860727*c_1001_8^5 - 23158493253678142118521703/19530666\ 59152417078860727*c_1001_8^4 + 94054866074699131240671387/195306665\ 9152417078860727*c_1001_8^3 + 361112405954584302430174540/195306665\ 9152417078860727*c_1001_8^2 + 105976298435544840598769592/195306665\ 9152417078860727*c_1001_8 + 8065918275411510431950966/1953066659152\ 417078860727, c_0011_5 + 42241185541738928394213376/45420154864009699508389*c_1001_8^\ 15 - 50935465810038276766410752/45420154864009699508389*c_1001_8^14 + 274444922793432149512879616/45420154864009699508389*c_1001_8^13 - 230714175200382840079109888/45420154864009699508389*c_1001_8^12 + 551495252817071565000723072/45420154864009699508389*c_1001_8^11 - 316799029314379771379049344/45420154864009699508389*c_1001_8^10 + 577695411795022688287718112/45420154864009699508389*c_1001_8^9 - 296289400746119381866897008/45420154864009699508389*c_1001_8^8 + 316462368688395277615868048/45420154864009699508389*c_1001_8^7 - 115034389145128418666850644/45420154864009699508389*c_1001_8^6 + 126222476712183550849127202/45420154864009699508389*c_1001_8^5 - 5607428004834912006139795/45420154864009699508389*c_1001_8^4 + 2258586397176058966662565/45420154864009699508389*c_1001_8^3 + 5356606545852877226029194/45420154864009699508389*c_1001_8^2 + 1514066589640751937838579/45420154864009699508389*c_1001_8 + 105797469547122622723010/45420154864009699508389, c_0101_0 - 2022982123437544771823480832/1953066659152417078860727*c_100\ 1_8^15 + 2497476853266546744864899072/1953066659152417078860727*c_1\ 001_8^14 - 13203293564671383597038136320/1953066659152417078860727*\ c_1001_8^13 + 11408491910510856132403059200/19530666591524170788607\ 27*c_1001_8^12 - 26655187665023509251990218496/19530666591524170788\ 60727*c_1001_8^11 + 15835429815391075344426672640/19530666591524170\ 78860727*c_1001_8^10 - 27934997113367252403755101376/19530666591524\ 17078860727*c_1001_8^9 + 14825933870209286766395031840/195306665915\ 2417078860727*c_1001_8^8 - 15376036235274854994596077824/1953066659\ 152417078860727*c_1001_8^7 + 5784697019984115701134112648/195306665\ 9152417078860727*c_1001_8^6 - 6080858031250825339384005596/19530666\ 59152417078860727*c_1001_8^5 + 363477022412845576466607186/19530666\ 59152417078860727*c_1001_8^4 - 64284235275947729934588164/195306665\ 9152417078860727*c_1001_8^3 - 272822990950608643511859586/195306665\ 9152417078860727*c_1001_8^2 - 59632920990774795590903403/1953066659\ 152417078860727*c_1001_8 - 2680180739549377136118696/19530666591524\ 17078860727, c_0101_1 - 2022982123437544771823480832/1953066659152417078860727*c_100\ 1_8^15 + 2497476853266546744864899072/1953066659152417078860727*c_1\ 001_8^14 - 13203293564671383597038136320/1953066659152417078860727*\ c_1001_8^13 + 11408491910510856132403059200/19530666591524170788607\ 27*c_1001_8^12 - 26655187665023509251990218496/19530666591524170788\ 60727*c_1001_8^11 + 15835429815391075344426672640/19530666591524170\ 78860727*c_1001_8^10 - 27934997113367252403755101376/19530666591524\ 17078860727*c_1001_8^9 + 14825933870209286766395031840/195306665915\ 2417078860727*c_1001_8^8 - 15376036235274854994596077824/1953066659\ 152417078860727*c_1001_8^7 + 5784697019984115701134112648/195306665\ 9152417078860727*c_1001_8^6 - 6080858031250825339384005596/19530666\ 59152417078860727*c_1001_8^5 + 363477022412845576466607186/19530666\ 59152417078860727*c_1001_8^4 - 64284235275947729934588164/195306665\ 9152417078860727*c_1001_8^3 - 272822990950608643511859586/195306665\ 9152417078860727*c_1001_8^2 - 59632920990774795590903403/1953066659\ 152417078860727*c_1001_8 - 2680180739549377136118696/19530666591524\ 17078860727, c_0101_10 + 4001809381682187417427341312/1953066659152417078860727*c_10\ 01_8^15 - 4635313003525853951158484992/1953066659152417078860727*c_\ 1001_8^14 + 25743166109548628293826124800/1953066659152417078860727\ *c_1001_8^13 - 20577385640433834210832620032/1953066659152417078860\ 727*c_1001_8^12 + 51015070752096657583993508608/1953066659152417078\ 860727*c_1001_8^11 - 27306479004774084404837222400/1953066659152417\ 078860727*c_1001_8^10 + 52878539538071102149077505216/1953066659152\ 417078860727*c_1001_8^9 - 25112775185707145157357454496/19530666591\ 52417078860727*c_1001_8^8 + 28178550204793732019637832128/195306665\ 9152417078860727*c_1001_8^7 - 9123669805378244870634219400/19530666\ 59152417078860727*c_1001_8^6 + 11147503884520750582177007900/195306\ 6659152417078860727*c_1001_8^5 + 195044401998494901514682142/195306\ 6659152417078860727*c_1001_8^4 + 71125609633080528476539056/1953066\ 659152417078860727*c_1001_8^3 + 549036509285364351464419074/1953066\ 659152417078860727*c_1001_8^2 + 159304149062291594059354562/1953066\ 659152417078860727*c_1001_8 + 12157863538968411288471384/1953066659\ 152417078860727, c_0101_12 + 3795198236539416566555035648/1953066659152417078860727*c_10\ 01_8^15 - 4328061180090953107249248256/1953066659152417078860727*c_\ 1001_8^14 + 24341004224994827125841811968/1953066659152417078860727\ *c_1001_8^13 - 19089603263539440201831286016/1953066659152417078860\ 727*c_1001_8^12 + 48074178958207225627034382208/1953066659152417078\ 860727*c_1001_8^11 - 25093407449901339229709671552/1953066659152417\ 078860727*c_1001_8^10 + 49784445131889825341694282656/1953066659152\ 417078860727*c_1001_8^9 - 23027285547580991811238994000/19530666591\ 52417078860727*c_1001_8^8 + 26410395823119873962524080368/195306665\ 9152417078860727*c_1001_8^7 - 8285451518634651172174684444/19530666\ 59152417078860727*c_1001_8^6 + 10494212351893817929305471990/195306\ 6659152417078860727*c_1001_8^5 + 317402020203439261717278143/195306\ 6659152417078860727*c_1001_8^4 + 103960589435703334108441187/195306\ 6659152417078860727*c_1001_8^3 + 506547599806429428671814830/195306\ 6659152417078860727*c_1001_8^2 + 164776091426069131795510056/195306\ 6659152417078860727*c_1001_8 + 14026973989945306929442118/195306665\ 9152417078860727, c_0101_8 + 3381717432218991149204049920/1953066659152417078860727*c_100\ 1_8^15 - 3805182457493782102893096960/1953066659152417078860727*c_1\ 001_8^14 + 21586473534636362243525016576/1953066659152417078860727*\ c_1001_8^13 - 16616362530565680849525520896/19530666591524170788607\ 27*c_1001_8^12 + 42275311384068527308773382400/19530666591524170788\ 60727*c_1001_8^11 - 21392982232282515401051938816/19530666591524170\ 78860727*c_1001_8^10 + 43364716561664552214843536064/19530666591524\ 17078860727*c_1001_8^9 - 19355446896793617772743622304/195306665915\ 2417078860727*c_1001_8^8 + 22500182218056946995895585792/1953066659\ 152417078860727*c_1001_8^7 - 6550977074635345075516587720/195306665\ 9152417078860727*c_1001_8^6 + 8798807392322272509309733228/19530666\ 59152417078860727*c_1001_8^5 + 641440083811844460156542194/19530666\ 59152417078860727*c_1001_8^4 - 81214674798775644712393268/195306665\ 9152417078860727*c_1001_8^3 + 494359211911258609357563809/195306665\ 9152417078860727*c_1001_8^2 + 142240015090668593836520669/195306665\ 9152417078860727*c_1001_8 + 10320869650387447458673040/195306665915\ 2417078860727, c_1001_0 - 3601026134922483358578212864/1953066659152417078860727*c_100\ 1_8^15 + 4054344932021128131738486784/1953066659152417078860727*c_1\ 001_8^14 - 23005466288122120074878189568/1953066659152417078860727*\ c_1001_8^13 + 17738474901429329938632886784/19530666591524170788607\ 27*c_1001_8^12 - 45147317771396666774907789056/19530666591524170788\ 60727*c_1001_8^11 + 22961118032801949789116839552/19530666591524170\ 78860727*c_1001_8^10 - 46460916679383763655555091200/19530666591524\ 17078860727*c_1001_8^9 + 20884436300984621322721995808/195306665915\ 2417078860727*c_1001_8^8 - 24270316610648985421345094256/1953066659\ 152417078860727*c_1001_8^7 + 7227175418388763809738832128/195306665\ 9152417078860727*c_1001_8^6 - 9564555516272347324088583276/19530666\ 59152417078860727*c_1001_8^5 - 568567171186439840091045038/19530666\ 59152417078860727*c_1001_8^4 + 12273210642767501564052501/195306665\ 9152417078860727*c_1001_8^3 - 499134907013196830325816798/195306665\ 9152417078860727*c_1001_8^2 - 154400030563872062573386401/195306665\ 9152417078860727*c_1001_8 - 13948773095489712624759608/195306665915\ 2417078860727, c_1001_10 + 3601026134922483358578212864/1953066659152417078860727*c_10\ 01_8^15 - 4054344932021128131738486784/1953066659152417078860727*c_\ 1001_8^14 + 23005466288122120074878189568/1953066659152417078860727\ *c_1001_8^13 - 17738474901429329938632886784/1953066659152417078860\ 727*c_1001_8^12 + 45147317771396666774907789056/1953066659152417078\ 860727*c_1001_8^11 - 22961118032801949789116839552/1953066659152417\ 078860727*c_1001_8^10 + 46460916679383763655555091200/1953066659152\ 417078860727*c_1001_8^9 - 20884436300984621322721995808/19530666591\ 52417078860727*c_1001_8^8 + 24270316610648985421345094256/195306665\ 9152417078860727*c_1001_8^7 - 7227175418388763809738832128/19530666\ 59152417078860727*c_1001_8^6 + 9564555516272347324088583276/1953066\ 659152417078860727*c_1001_8^5 + 568567171186439840091045038/1953066\ 659152417078860727*c_1001_8^4 - 12273210642767501564052501/19530666\ 59152417078860727*c_1001_8^3 + 499134907013196830325816798/19530666\ 59152417078860727*c_1001_8^2 + 154400030563872062573386401/19530666\ 59152417078860727*c_1001_8 + 11995706436337295545898881/19530666591\ 52417078860727, c_1001_4 + 3601026134922483358578212864/1953066659152417078860727*c_100\ 1_8^15 - 4054344932021128131738486784/1953066659152417078860727*c_1\ 001_8^14 + 23005466288122120074878189568/1953066659152417078860727*\ c_1001_8^13 - 17738474901429329938632886784/19530666591524170788607\ 27*c_1001_8^12 + 45147317771396666774907789056/19530666591524170788\ 60727*c_1001_8^11 - 22961118032801949789116839552/19530666591524170\ 78860727*c_1001_8^10 + 46460916679383763655555091200/19530666591524\ 17078860727*c_1001_8^9 - 20884436300984621322721995808/195306665915\ 2417078860727*c_1001_8^8 + 24270316610648985421345094256/1953066659\ 152417078860727*c_1001_8^7 - 7227175418388763809738832128/195306665\ 9152417078860727*c_1001_8^6 + 9564555516272347324088583276/19530666\ 59152417078860727*c_1001_8^5 + 568567171186439840091045038/19530666\ 59152417078860727*c_1001_8^4 - 12273210642767501564052501/195306665\ 9152417078860727*c_1001_8^3 + 499134907013196830325816798/195306665\ 9152417078860727*c_1001_8^2 + 154400030563872062573386401/195306665\ 9152417078860727*c_1001_8 + 11995706436337295545898881/195306665915\ 2417078860727, c_1001_8^16 - c_1001_8^15 + 25/4*c_1001_8^14 - 33/8*c_1001_8^13 + 191/16*c_1001_8^12 - 77/16*c_1001_8^11 + 777/64*c_1001_8^10 - 537/128*c_1001_8^9 + 775/128*c_1001_8^8 - 603/512*c_1001_8^7 + 2487/1024*c_1001_8^6 + 991/2048*c_1001_8^5 + 55/2048*c_1001_8^4 + 283/2048*c_1001_8^3 + 125/2048*c_1001_8^2 + 19/2048*c_1001_8 + 1/2048 ], Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_5, c_0101_0, c_0101_1, c_0101_10, c_0101_12, c_0101_8, c_1001_0, c_1001_10, c_1001_4, c_1001_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 1896011593353043645640517541351915158594054248883885717/13870986110\ 31112577216096410918331877863494200745365625*c_1001_8^21 + 5027001340070855414828380028160723409838684580933139986/13870986110\ 31112577216096410918331877863494200745365625*c_1001_8^20 - 58842475062064113814617365838395846588619552586264040364/1387098611\ 031112577216096410918331877863494200745365625*c_1001_8^19 + 77895603890287593248497011611827927063087160761386301354/1387098611\ 031112577216096410918331877863494200745365625*c_1001_8^18 - 40869658829047949032106856360821790730658976360249783132/8159403594\ 3006622189182141818725404580205541220315625*c_1001_8^17 + 23972588016415163050918331624298223912961756326488864999/8159403594\ 3006622189182141818725404580205541220315625*c_1001_8^16 - 4671133022583976004276674198555695068157186699041192738051/13870986\ 11031112577216096410918331877863494200745365625*c_1001_8^15 + 481015051966252861265411216162687885819500253210267711824/138709861\ 1031112577216096410918331877863494200745365625*c_1001_8^14 - 18878980536456703585198537428668453233485937597403776919556/1387098\ 611031112577216096410918331877863494200745365625*c_1001_8^13 - 1201230645915766871284542592478140018505278517099428065892/27741972\ 2206222515443219282183666375572698840149073125*c_1001_8^12 - 2726054644139565495786667842282222950048225237511608024162/81594035\ 943006622189182141818725404580205541220315625*c_1001_8^11 - 26649580360943352824213692500701421187591638165408807658164/1387098\ 611031112577216096410918331877863494200745365625*c_1001_8^10 - 743220401124381777219161957413134588541734722019733345208/163188071\ 88601324437836428363745080916041108244063125*c_1001_8^9 - 8423946365724001758721902294612350788423252999161388614233/27741972\ 2206222515443219282183666375572698840149073125*c_1001_8^8 - 62478721619640215877620180802189653957776862219412259865643/1387098\ 611031112577216096410918331877863494200745365625*c_1001_8^7 - 49440601768332615948290544512332549084470446424855850120726/1387098\ 611031112577216096410918331877863494200745365625*c_1001_8^6 - 2251541044948370120594542769746161526995079689285448300951/81594035\ 943006622189182141818725404580205541220315625*c_1001_8^5 - 5099310377891461683853141232753661955313456427234184035249/27741972\ 2206222515443219282183666375572698840149073125*c_1001_8^4 - 631851640256732596823860469530247617108849660753088269608/815940359\ 43006622189182141818725404580205541220315625*c_1001_8^3 - 520755551200293323781600751505189428421881021770774719579/277419722\ 206222515443219282183666375572698840149073125*c_1001_8^2 - 64758634508911548571061032316831689892606800113221783398/2774197222\ 06222515443219282183666375572698840149073125*c_1001_8 - 13253765216195617448790300741893388782488040986433292268/1387098611\ 031112577216096410918331877863494200745365625, c_0011_0 - 1, c_0011_10 + 3185394473635422251459250912778282227266631706/232917854609\ 83157092362431206058991494795515781*c_1001_8^21 - 10464706737951291744020819473681304961203913134/2329178546098315709\ 2362431206058991494795515781*c_1001_8^20 + 104925496968929009552507167863035079133770481552/232917854609831570\ 92362431206058991494795515781*c_1001_8^19 - 195606036034920575368656692679191218234197413344/232917854609831570\ 92362431206058991494795515781*c_1001_8^18 + 1272922447684038554353562020255736667127459735934/23291785460983157\ 092362431206058991494795515781*c_1001_8^17 - 1459746620016264722223797418771542254343926788032/23291785460983157\ 092362431206058991494795515781*c_1001_8^16 + 8552745473023442835725551493068057673357019048290/23291785460983157\ 092362431206058991494795515781*c_1001_8^15 - 6006241118992893620836078142731093909564664395342/23291785460983157\ 092362431206058991494795515781*c_1001_8^14 + 34050925341232881031134181203712288711198151984513/2329178546098315\ 7092362431206058991494795515781*c_1001_8^13 - 10668981088570976945316215163924218227268807771444/2329178546098315\ 7092362431206058991494795515781*c_1001_8^12 + 78770557206974079536299911608381290285120041937647/2329178546098315\ 7092362431206058991494795515781*c_1001_8^11 - 4226883074179411108062190738129079305510395707487/23291785460983157\ 092362431206058991494795515781*c_1001_8^10 + 95231427873006043928988519464904057794475341605913/2329178546098315\ 7092362431206058991494795515781*c_1001_8^9 + 8942175136439700204279544193781237585576650474944/23291785460983157\ 092362431206058991494795515781*c_1001_8^8 + 82722027090188957536004740315337710168097336692034/2329178546098315\ 7092362431206058991494795515781*c_1001_8^7 + 26409992921041993042059965465200347473171196205791/2329178546098315\ 7092362431206058991494795515781*c_1001_8^6 + 32796819649941150461223045344011167668099235882798/2329178546098315\ 7092362431206058991494795515781*c_1001_8^5 + 15091122026672594129422815996846971329508259300882/2329178546098315\ 7092362431206058991494795515781*c_1001_8^4 + 2098714148156484662716600627730829933020592984039/23291785460983157\ 092362431206058991494795515781*c_1001_8^3 - 353497730182925391298938808738706621446725721655/232917854609831570\ 92362431206058991494795515781*c_1001_8^2 + 73679317811410447970171593583126469372708168847/2329178546098315709\ 2362431206058991494795515781*c_1001_8 + 45225854466246236779789689385975258312818044584/2329178546098315709\ 2362431206058991494795515781, c_0011_12 + 5067455106232335466679336530870273406705873028/232917854609\ 83157092362431206058991494795515781*c_1001_8^21 - 16292893900423803142624839615803167896818247588/2329178546098315709\ 2362431206058991494795515781*c_1001_8^20 + 165585727886050484294347369903916291392762499812/232917854609831570\ 92362431206058991494795515781*c_1001_8^19 - 298843031506521782024420244623583655728156805676/232917854609831570\ 92362431206058991494795515781*c_1001_8^18 + 1997338029583199455358539776587272251275443181684/23291785460983157\ 092362431206058991494795515781*c_1001_8^17 - 2166864324068917969107933869536259688474684690580/23291785460983157\ 092362431206058991494795515781*c_1001_8^16 + 13369278286294468428255667288427060565812205901836/2329178546098315\ 7092362431206058991494795515781*c_1001_8^15 - 8485105802477326956524638867040610294159063688848/23291785460983157\ 092362431206058991494795515781*c_1001_8^14 + 52992107886755040741349218084691864912408163191504/2329178546098315\ 7092362431206058991494795515781*c_1001_8^13 - 12590738617990445005479049579811167683122501248136/2329178546098315\ 7092362431206058991494795515781*c_1001_8^12 + 122058144021791457171542141366484204697652096627112/232917854609831\ 57092362431206058991494795515781*c_1001_8^11 + 3703969056635753265665974829825128232144464055888/23291785460983157\ 092362431206058991494795515781*c_1001_8^10 + 146206012323786530875357120477483120997856459297284/232917854609831\ 57092362431206058991494795515781*c_1001_8^9 + 27578082791356219918263514252704138542637543646040/2329178546098315\ 7092362431206058991494795515781*c_1001_8^8 + 126662156761876805696280091436659936574140887129712/232917854609831\ 57092362431206058991494795515781*c_1001_8^7 + 53809013099155752482124714748376230410937485906029/2329178546098315\ 7092362431206058991494795515781*c_1001_8^6 + 50105391238548025934426042242593415187493253432380/2329178546098315\ 7092362431206058991494795515781*c_1001_8^5 + 28872251747734524516913560996745089249299316703770/2329178546098315\ 7092362431206058991494795515781*c_1001_8^4 + 3313978337047474548129205769618463095791468154102/23291785460983157\ 092362431206058991494795515781*c_1001_8^3 - 217596246733952260486163710395734079073606783471/232917854609831570\ 92362431206058991494795515781*c_1001_8^2 + 192002948697960682274482867433541289834459750046/232917854609831570\ 92362431206058991494795515781*c_1001_8 + 95088896812793399046216472315382722414283300588/2329178546098315709\ 2362431206058991494795515781, c_0011_5 + 97531585256606766033500836483813814758436786794/442543923758\ 679984754886192915120838401114799839*c_1001_8^21 - 313951649408148077754614677041527973580804647388/442543923758679984\ 754886192915120838401114799839*c_1001_8^20 + 3188048416392645441433012841553352293034914436902/44254392375867998\ 4754886192915120838401114799839*c_1001_8^19 - 5763516857667606823412436858506848448552692469352/44254392375867998\ 4754886192915120838401114799839*c_1001_8^18 + 38460713016087502036878512283050857979402997628074/4425439237586799\ 84754886192915120838401114799839*c_1001_8^17 - 41847350851303496972961490382236968941619714131614/4425439237586799\ 84754886192915120838401114799839*c_1001_8^16 + 257437675442554435951766740722269127705462651684130/442543923758679\ 984754886192915120838401114799839*c_1001_8^15 - 164280790125506087589047500754666997438149513858700/442543923758679\ 984754886192915120838401114799839*c_1001_8^14 + 1020325670527054844523942354427190310621317445695098/44254392375867\ 9984754886192915120838401114799839*c_1001_8^13 - 246303795766021533194443373035611541120309680272000/442543923758679\ 984754886192915120838401114799839*c_1001_8^12 + 2349346154406252054727736050849598932937719196695566/44254392375867\ 9984754886192915120838401114799839*c_1001_8^11 + 61496272381533403207446389200867266059207178501930/4425439237586799\ 84754886192915120838401114799839*c_1001_8^10 + 2812008868303013953400985060771003803839333149803532/44254392375867\ 9984754886192915120838401114799839*c_1001_8^9 + 517440454198367485957648046874537100212335994599676/442543923758679\ 984754886192915120838401114799839*c_1001_8^8 + 2434063925425723888102083442468741232970511607277596/44254392375867\ 9984754886192915120838401114799839*c_1001_8^7 + 1022785984412117903103345883154057048351828080724608/44254392375867\ 9984754886192915120838401114799839*c_1001_8^6 + 958956246109699173337026936585461748493041683143538/442543923758679\ 984754886192915120838401114799839*c_1001_8^5 + 548071630391487491748460605836288144134920229774915/442543923758679\ 984754886192915120838401114799839*c_1001_8^4 + 61350437922591874100857024868936438424788120498398/4425439237586799\ 84754886192915120838401114799839*c_1001_8^3 - 5811660625552857212765810622200645849631800430752/44254392375867998\ 4754886192915120838401114799839*c_1001_8^2 + 3963482749803308596163528714440599587109686830196/44254392375867998\ 4754886192915120838401114799839*c_1001_8 + 1781859231016830399124597481230169298536035226132/44254392375867998\ 4754886192915120838401114799839, c_0101_0 + 35933570811703095534797559575719282415397635356/442543923758\ 679984754886192915120838401114799839*c_1001_8^21 - 129056436305306434227016902987678002033170901686/442543923758679984\ 754886192915120838401114799839*c_1001_8^20 + 1222398793542818265072852477931944225916582376006/44254392375867998\ 4754886192915120838401114799839*c_1001_8^19 - 2577829583001111962453237263545254567259643574052/44254392375867998\ 4754886192915120838401114799839*c_1001_8^18 + 15121433810497921139427270504867611796018478514672/4425439237586799\ 84754886192915120838401114799839*c_1001_8^17 - 21029228964805835459178395274503239669497842221178/4425439237586799\ 84754886192915120838401114799839*c_1001_8^16 + 102568494024573782469888101667902860051792078403660/442543923758679\ 984754886192915120838401114799839*c_1001_8^15 - 98541969601613618206138005057068234619094704161437/4425439237586799\ 84754886192915120838401114799839*c_1001_8^14 + 411857568484812893967065956004139214986721407317286/442543923758679\ 984754886192915120838401114799839*c_1001_8^13 - 243164362075040573656205852572856255433445852799410/442543923758679\ 984754886192915120838401114799839*c_1001_8^12 + 953080297959286350402218444777616960716460566677362/442543923758679\ 984754886192915120838401114799839*c_1001_8^11 - 329377307309938089718675998728147568169443424264189/442543923758679\ 984754886192915120838401114799839*c_1001_8^10 + 1151881741357192053938624644711674783172874709137279/44254392375867\ 9984754886192915120838401114799839*c_1001_8^9 - 232955110176188768739756576845577010330871855065948/442543923758679\ 984754886192915120838401114799839*c_1001_8^8 + 976159021758276239731677365449802262632988649582093/442543923758679\ 984754886192915120838401114799839*c_1001_8^7 + 19155165947675312357191412693435950945960176225482/4425439237586799\ 84754886192915120838401114799839*c_1001_8^6 + 341134737602304901717514236220780044747205809136599/442543923758679\ 984754886192915120838401114799839*c_1001_8^5 + 78838651895326686162972735672960524749788886202246/4425439237586799\ 84754886192915120838401114799839*c_1001_8^4 - 6951982013028572977180582006258060241118323934380/44254392375867998\ 4754886192915120838401114799839*c_1001_8^3 + 1980843711886537650443665372003815651065493995091/44254392375867998\ 4754886192915120838401114799839*c_1001_8^2 + 2176024872736466840621727981705724149692555322757/44254392375867998\ 4754886192915120838401114799839*c_1001_8 + 195189998542999062653045985774089631883665389132/442543923758679984\ 754886192915120838401114799839, c_0101_1 + 31483954757657118002008819495561631568706/102981135672308150\ 5853369866673308399404083*c_1001_8^21 - 79502783239443524253147767700977782119256/1029811356723081505853369\ 866673308399404083*c_1001_8^20 + 9536669958983787936732300213444567\ 65164770/1029811356723081505853369866673308399404083*c_1001_8^19 - 1127658899253395759182488632153273114342840/10298113567230815058533\ 69866673308399404083*c_1001_8^18 + 10948086148665032447458861315718660972523914/1029811356723081505853\ 369866673308399404083*c_1001_8^17 - 4512920935973786282627398703720009633122398/10298113567230815058533\ 69866673308399404083*c_1001_8^16 + 71534688968492794762019729379635155449176058/1029811356723081505853\ 369866673308399404083*c_1001_8^15 + 7796599818988848235690816370039894302676315/10298113567230815058533\ 69866673308399404083*c_1001_8^14 + 277626780824810654796189026964852980914417966/102981135672308150585\ 3369866673308399404083*c_1001_8^13 + 164195016788536521826497972438561512579681698/102981135672308150585\ 3369866673308399404083*c_1001_8^12 + 642946336248120780648531747505552069021805304/102981135672308150585\ 3369866673308399404083*c_1001_8^11 + 585096725570908847037448518514557416802427505/102981135672308150585\ 3369866673308399404083*c_1001_8^10 + 781478803318133161581991899829378347496901828/102981135672308150585\ 3369866673308399404083*c_1001_8^9 + 853402757513005784108372010431990222089999556/102981135672308150585\ 3369866673308399404083*c_1001_8^8 + 731151404885026430352862246117996356816269110/102981135672308150585\ 3369866673308399404083*c_1001_8^7 + 918936472674786062155228136790768927577269606/102981135672308150585\ 3369866673308399404083*c_1001_8^6 + 394626591790263088167669403829154114903469032/102981135672308150585\ 3369866673308399404083*c_1001_8^5 + 396776937278647734796781179493520359374493990/102981135672308150585\ 3369866673308399404083*c_1001_8^4 + 92631311598911669351042484451040154675907850/1029811356723081505853\ 369866673308399404083*c_1001_8^3 + 2385700507959594537251839197443105451183897/10298113567230815058533\ 69866673308399404083*c_1001_8^2 + 145393876162938867016722563642539\ 5553781940/1029811356723081505853369866673308399404083*c_1001_8 + 1159005009234556426382647486917237074126540/10298113567230815058533\ 69866673308399404083, c_0101_10 + 7066410618266212487306843021319510473820/542005977222674476\ 76493150877542547337057*c_1001_8^21 - 24004456249596570835356713109972204367882/5420059772226744767649315\ 0877542547337057*c_1001_8^20 + 235384285358600958904861985097129376\ 195523/54200597722267447676493150877542547337057*c_1001_8^19 - 459997895534243961709989114042788532530932/542005977222674476764931\ 50877542547337057*c_1001_8^18 + 28730377452289093894677039916968858\ 51834747/54200597722267447676493150877542547337057*c_1001_8^17 - 3554412815627972866062392832448945619373806/54200597722267447676493\ 150877542547337057*c_1001_8^16 + 1934271172985888991583378673030558\ 8431679776/54200597722267447676493150877542547337057*c_1001_8^15 - 15443195679597584382220681590069230292870460/5420059772226744767649\ 3150877542547337057*c_1001_8^14 + 770717381206536536628308117114556\ 61142278359/54200597722267447676493150877542547337057*c_1001_8^13 - 32066893893617656218828608285852497027163032/5420059772226744767649\ 3150877542547337057*c_1001_8^12 + 177534183762952214002024865161285\ 628260728381/54200597722267447676493150877542547337057*c_1001_8^11 - 28612543504933929036556955626244213247623208/5420059772226744767649\ 3150877542547337057*c_1001_8^10 + 212542981933545041754164975487482\ 072939047917/54200597722267447676493150877542547337057*c_1001_8^9 - 2890509989426379583499612379118933382413204/54200597722267447676493\ 150877542547337057*c_1001_8^8 + 18129337774954084646784918284569008\ 5397597848/54200597722267447676493150877542547337057*c_1001_8^7 + 39356650427506405305496243317903113142054144/5420059772226744767649\ 3150877542547337057*c_1001_8^6 + 6600838922346130138133156884025462\ 4678056538/54200597722267447676493150877542547337057*c_1001_8^5 + 26609040541929686335869426504186453053265893/5420059772226744767649\ 3150877542547337057*c_1001_8^4 + 6503892791214115737081542295250522\ 40736955/54200597722267447676493150877542547337057*c_1001_8^3 - 834875446500225835467470081699062892394498/542005977222674476764931\ 50877542547337057*c_1001_8^2 + 131122958837332260105839769215319581\ 909181/54200597722267447676493150877542547337057*c_1001_8 + 59404916263967352156612065965825321573260/5420059772226744767649315\ 0877542547337057, c_0101_12 + 2603329744293440096060779768631866791279598466/232917854609\ 83157092362431206058991494795515781*c_1001_8^21 - 8590600308165379907099729086585383540875007386/23291785460983157092\ 362431206058991494795515781*c_1001_8^20 + 85906366983748225221812138668124298156901814864/2329178546098315709\ 2362431206058991494795515781*c_1001_8^19 - 161180096039682709591263455310861951710817643988/232917854609831570\ 92362431206058991494795515781*c_1001_8^18 + 1043483563969589027798479439718702059564426192086/23291785460983157\ 092362431206058991494795515781*c_1001_8^17 - 1208872632493929397882669221139418451008864720048/23291785460983157\ 092362431206058991494795515781*c_1001_8^16 + 7016279501003741928492375054389558647812255438746/23291785460983157\ 092362431206058991494795515781*c_1001_8^15 - 5010079651136846499329993866627467406353826488818/23291785460983157\ 092362431206058991494795515781*c_1001_8^14 + 27955945152052697425505087112043493738632472794756/2329178546098315\ 7092362431206058991494795515781*c_1001_8^13 - 9084439206602758343270494704363994786739026193304/23291785460983157\ 092362431206058991494795515781*c_1001_8^12 + 64703976624957896728034417801495808841758317125326/2329178546098315\ 7092362431206058991494795515781*c_1001_8^11 - 4102207165272353587091164974806908724983465539896/23291785460983157\ 092362431206058991494795515781*c_1001_8^10 + 78300472207552809045512566831634369925145306441537/2329178546098315\ 7092362431206058991494795515781*c_1001_8^9 + 7041064053586723467499286963862812830448943375400/23291785460983157\ 092362431206058991494795515781*c_1001_8^8 + 67913626759670173827710732476885641633511285422617/2329178546098315\ 7092362431206058991494795515781*c_1001_8^7 + 21792236482085744800281266610575971289501209253720/2329178546098315\ 7092362431206058991494795515781*c_1001_8^6 + 26879937198532106809740595375604943684579908771845/2329178546098315\ 7092362431206058991494795515781*c_1001_8^5 + 13123515551731148062126205383171026807624648000364/2329178546098315\ 7092362431206058991494795515781*c_1001_8^4 + 1729197337595080812002681998123198870959136008930/23291785460983157\ 092362431206058991494795515781*c_1001_8^3 + 158213576224923057353711051886243878206268610768/232917854609831570\ 92362431206058991494795515781*c_1001_8^2 + 147412123083565732737826334532827297747680512883/232917854609831570\ 92362431206058991494795515781*c_1001_8 + 36486984114546984180617907277341824813646621208/2329178546098315709\ 2362431206058991494795515781, c_0101_8 - 3503009843653068249389061967177898826505093662/2329178546098\ 3157092362431206058991494795515781*c_1001_8^21 + 11276580387491811389835585378889890859326608208/2329178546098315709\ 2362431206058991494795515781*c_1001_8^20 - 114533519243326018215832526846076586809154845800/232917854609831570\ 92362431206058991494795515781*c_1001_8^19 + 207133418979078657243997427528279939712578489986/232917854609831570\ 92362431206058991494795515781*c_1001_8^18 - 1382394227121611449397750160966297948569616462610/23291785460983157\ 092362431206058991494795515781*c_1001_8^17 + 1505574085293891142963741949827725972663313275494/23291785460983157\ 092362431206058991494795515781*c_1001_8^16 - 9258915989477919576310638230129264052980428155552/23291785460983157\ 092362431206058991494795515781*c_1001_8^15 + 5922411139415417141213467043171797667242327229384/23291785460983157\ 092362431206058991494795515781*c_1001_8^14 - 36731964023477500720504547943792520404911589638168/2329178546098315\ 7092362431206058991494795515781*c_1001_8^13 + 8957148837448271802558118197156932810669775426078/23291785460983157\ 092362431206058991494795515781*c_1001_8^12 - 84720351558051510905956353616255172169668840897046/2329178546098315\ 7092362431206058991494795515781*c_1001_8^11 - 1894095779629142726185063179427183188900158992418/23291785460983157\ 092362431206058991494795515781*c_1001_8^10 - 101763469090492780560942549904648444583417414406034/232917854609831\ 57092362431206058991494795515781*c_1001_8^9 - 18058829410411054687691230563653151787629608152880/2329178546098315\ 7092362431206058991494795515781*c_1001_8^8 - 88296678163631270350388759969852141164126220052240/2329178546098315\ 7092362431206058991494795515781*c_1001_8^7 - 36251754969134299162418218423469208188686877983296/2329178546098315\ 7092362431206058991494795515781*c_1001_8^6 - 35110419814445898681063262143749051916019799552042/2329178546098315\ 7092362431206058991494795515781*c_1001_8^5 - 19454598418116079720940302315097406671557721076180/2329178546098315\ 7092362431206058991494795515781*c_1001_8^4 - 2328458470213315097940769571720408186097786011775/23291785460983157\ 092362431206058991494795515781*c_1001_8^3 + 229457230678721761628529462601075316273883768530/232917854609831570\ 92362431206058991494795515781*c_1001_8^2 - 36340865908311811403242807812051940256978799515/2329178546098315709\ 2362431206058991494795515781*c_1001_8 - 73475009188146462917387421599505608825815100094/2329178546098315709\ 2362431206058991494795515781, c_1001_0 - 2002990670577754907208639654172910959842510220/2329178546098\ 3157092362431206058991494795515781*c_1001_8^21 + 6348529233445376327176384555949006005733961812/23291785460983157092\ 362431206058991494795515781*c_1001_8^20 - 65220623111465458934676823533948002325619745772/2329178546098315709\ 2362431206058991494795515781*c_1001_8^19 + 115383159506767125280114854631900444698720006163/232917854609831570\ 92362431206058991494795515781*c_1001_8^18 - 786345558089552386598698790968801940953587187732/232917854609831570\ 92362431206058991494795515781*c_1001_8^17 + 825697414838994166354996780178313661657334544066/232917854609831570\ 92362431206058991494795515781*c_1001_8^16 - 5273823343327324251751255322990668323610525059248/23291785460983157\ 092362431206058991494795515781*c_1001_8^15 + 3158234591046858406767396473606147336774314091769/23291785460983157\ 092362431206058991494795515781*c_1001_8^14 - 20988350239608591436485467437529777594337335326328/2329178546098315\ 7092362431206058991494795515781*c_1001_8^13 + 4250888917866387101178406060913557262888196742790/23291785460983157\ 092362431206058991494795515781*c_1001_8^12 - 48811924774650807319568433985605513792621732821328/2329178546098315\ 7092362431206058991494795515781*c_1001_8^11 - 3015502841929634543230219246867581628425686939247/23291785460983157\ 092362431206058991494795515781*c_1001_8^10 - 59705028730425053957221048500920936186631429189600/2329178546098315\ 7092362431206058991494795515781*c_1001_8^9 - 12457456023866286646615670796634100317970015038782/2329178546098315\ 7092362431206058991494795515781*c_1001_8^8 - 52817418973758898275089646283728939147848808548304/2329178546098315\ 7092362431206058991494795515781*c_1001_8^7 - 22559547045047046388455549377721279511267764370994/2329178546098315\ 7092362431206058991494795515781*c_1001_8^6 - 22641923718783067308337741178460390392882433878436/2329178546098315\ 7092362431206058991494795515781*c_1001_8^5 - 11863560369675119722735197132473528308473614794024/2329178546098315\ 7092362431206058991494795515781*c_1001_8^4 - 2413279114808638714520470262602604227296261457480/23291785460983157\ 092362431206058991494795515781*c_1001_8^3 + 39622646838819530291958919023620529421990661219/2329178546098315709\ 2362431206058991494795515781*c_1001_8^2 - 2005775042565984636042748092195977640914518440/23291785460983157092\ 362431206058991494795515781*c_1001_8 - 64777291955294681878028677512320938228916660646/2329178546098315709\ 2362431206058991494795515781, c_1001_10 - 77003304507050905297617485454607448741284/10298113567230815\ 05853369866673308399404083*c_1001_8^21 + 248931565920950992199424883132196684310402/102981135672308150585336\ 9866673308399404083*c_1001_8^20 - 252405035333562181210450027763477\ 3900961316/1029811356723081505853369866673308399404083*c_1001_8^19 + 4598133281719863542073878260825177404482535/10298113567230815058533\ 69866673308399404083*c_1001_8^18 - 30551685579138983387254750256650921431249920/1029811356723081505853\ 369866673308399404083*c_1001_8^17 + 33721521307933069539386850554293009324364260/1029811356723081505853\ 369866673308399404083*c_1001_8^16 - 205247146564897125957837977054452959423112154/102981135672308150585\ 3369866673308399404083*c_1001_8^15 + 134690298465388730016904064052837678481815637/102981135672308150585\ 3369866673308399404083*c_1001_8^14 - 817886187603747358416788366210554442058326372/102981135672308150585\ 3369866673308399404083*c_1001_8^13 + 216011362957637665582458277320947255440758044/102981135672308150585\ 3369866673308399404083*c_1001_8^12 - 1900317872306331568574212886622388910483873544/10298113567230815058\ 53369866673308399404083*c_1001_8^11 + 3805210796550045959870430088562287014266517/10298113567230815058533\ 69866673308399404083*c_1001_8^10 - 2320281671101177778195906174747601343565293214/10298113567230815058\ 53369866673308399404083*c_1001_8^9 - 339306635589003249830029440350857741540515074/102981135672308150585\ 3369866673308399404083*c_1001_8^8 - 2042226259902060799525769611666842775766098796/10298113567230815058\ 53369866673308399404083*c_1001_8^7 - 750806953586100423552250236979330976184789538/102981135672308150585\ 3369866673308399404083*c_1001_8^6 - 854612960954247339407348436313507257773730103/102981135672308150585\ 3369866673308399404083*c_1001_8^5 - 418731634706750160444587877279122881261631906/102981135672308150585\ 3369866673308399404083*c_1001_8^4 - 84661417514719478967112523818412123580270087/1029811356723081505853\ 369866673308399404083*c_1001_8^3 - 851049425684524071878015970669047500482863/102981135672308150585336\ 9866673308399404083*c_1001_8^2 - 3876318659642218787262047254712151\ 656353951/1029811356723081505853369866673308399404083*c_1001_8 - 1852682344996942858745584524047934635889720/10298113567230815058533\ 69866673308399404083, c_1001_4 - 4965961685248836550703098552420485467069497008/4425439237586\ 79984754886192915120838401114799839*c_1001_8^21 + 13647946817554117485515853259982836370183291762/4425439237586799847\ 54886192915120838401114799839*c_1001_8^20 - 154524108627866951577756429336187751404965961040/442543923758679984\ 754886192915120838401114799839*c_1001_8^19 + 216310421075253260796148311346922487715186903942/442543923758679984\ 754886192915120838401114799839*c_1001_8^18 - 1811498104721362597420131436365866458702834695548/44254392375867998\ 4754886192915120838401114799839*c_1001_8^17 + 1197000365718887388375609374139961795502329794674/44254392375867998\ 4754886192915120838401114799839*c_1001_8^16 - 12001171488446224154034263743281464536827720850830/4425439237586799\ 84754886192915120838401114799839*c_1001_8^15 + 2125591199463414612226298840898705311685888608690/44254392375867998\ 4754886192915120838401114799839*c_1001_8^14 - 47305969495042073718702166336305582243358604381556/4425439237586799\ 84754886192915120838401114799839*c_1001_8^13 - 12060321598413152021356827730605038927447538409242/4425439237586799\ 84754886192915120838401114799839*c_1001_8^12 - 110797270498548555113698019319605708390846493921480/442543923758679\ 984754886192915120838401114799839*c_1001_8^11 - 58929778647896897221847165223732188225589844995654/4425439237586799\ 84754886192915120838401114799839*c_1001_8^10 - 137293942510753595029738573324686819371653005870538/442543923758679\ 984754886192915120838401114799839*c_1001_8^9 - 90880406021890312726489703645752756196000121441616/4425439237586799\ 84754886192915120838401114799839*c_1001_8^8 - 125918943154926773664095726860422497250834428516308/442543923758679\ 984754886192915120838401114799839*c_1001_8^7 - 105984869270478188066276287088865472325269360515532/442543923758679\ 984754886192915120838401114799839*c_1001_8^6 - 62941159107126706952879016808435003059887885337785/4425439237586799\ 84754886192915120838401114799839*c_1001_8^5 - 45464845446391408033634663250207724727793817225358/4425439237586799\ 84754886192915120838401114799839*c_1001_8^4 - 9470498248511189720914768791391783216108762395349/44254392375867998\ 4754886192915120838401114799839*c_1001_8^3 + 1118554312785258658527574898572311848542824728740/44254392375867998\ 4754886192915120838401114799839*c_1001_8^2 + 1627672320755275898021669139157493492562576574723/44254392375867998\ 4754886192915120838401114799839*c_1001_8 - 434609804988027710165228598461406731464619507514/442543923758679984\ 754886192915120838401114799839, c_1001_8^22 - 3*c_1001_8^21 + 32*c_1001_8^20 - 52*c_1001_8^19 + 382*c_1001_8^18 - 344*c_1001_8^17 + 2553*c_1001_8^16 - 1117*c_1001_8^15 + 10143*c_1001_8^14 - 285*c_1001_8^13 + 23737*c_1001_8^12 + 5777*c_1001_8^11 + 29435*c_1001_8^10 + 11435*c_1001_8^9 + 26674*c_1001_8^8 + 15808*c_1001_8^7 + 12591*c_1001_8^6 + 7755*c_1001_8^5 + 2008*c_1001_8^4 + 100*c_1001_8^3 + 10*c_1001_8^2 + 24*c_1001_8 + 5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 3.510 Total time: 3.720 seconds, Total memory usage: 64.12MB