Magma V2.19-8 Tue Aug 20 2013 23:38:16 on localhost [Seed = 3869278921] Type ? for help. Type -D to quit. Loading file "K12a802__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12a802 geometric_solution 8.61910506 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 10 1 2 3 4 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 1 -1 0 0 0 0 -1 0 0 1 -3 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.683317954668 0.650559056539 0 3 6 5 0132 3120 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 1 0 -1 0 0 0 0 3 -3 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.892334992042 0.736863314770 7 0 4 7 0132 0132 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.287774879508 1.240623752111 8 1 7 0 0132 3120 2031 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 0 -1 0 0 0 0 -1 3 0 -2 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.238040426744 0.347165228888 6 5 0 2 1023 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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.452922710088 1.484889819913 8 8 1 4 2103 1302 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.515223241302 1.238593940994 9 4 9 1 0132 1023 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.503268007080 0.673730947469 2 2 8 3 0132 1302 2310 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -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.822576030099 0.764890916223 3 7 5 5 0132 3201 2103 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.515223241302 1.238593940994 6 9 6 9 0132 1302 1023 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.523477365255 0.118866392915 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : negation(d['c_0110_5']), 'c_1001_7' : negation(d['c_0011_5']), 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : d['c_0011_0'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0110_5']), 'c_1001_9' : d['c_0101_6'], 'c_1001_8' : d['c_0011_5'], 's_2_8' : d['1'], 's_2_9' : d['1'], '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_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_0011_4'], 'c_1100_8' : negation(d['c_0110_5']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_1010_7']), 'c_1100_7' : negation(d['c_0011_3']), 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : negation(d['c_1010_7']), 'c_1100_3' : negation(d['c_1010_7']), 'c_1100_2' : negation(d['c_1010_7']), 'c_1010_7' : d['c_1010_7'], 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : d['c_0110_5'], 'c_1010_4' : negation(d['c_0110_5']), 'c_1010_3' : d['c_0011_0'], 'c_1010_2' : d['c_0011_0'], 'c_1010_1' : negation(d['c_0011_3']), 'c_1010_0' : negation(d['c_0110_5']), 'c_1010_9' : negation(d['c_0011_4']), 'c_1010_8' : d['c_0011_5'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(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'], 's_1_7' : negation(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' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0101_7' : negation(d['c_0011_5']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_1'], 'c_0101_8' : d['c_0101_0'], 'c_0110_9' : d['c_0101_6'], 'c_0110_8' : negation(d['c_0011_3']), '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_0011_5']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_2'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : d['c_0101_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 11 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_4, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_6, c_0110_5, c_1010_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 396438045788046018857546630796623395048763927501364508157/274854114\ 2806078723552734856378621387052471574915908916911*c_1010_7^22 + 2374666773823093769391819616731930361337382944659790609428/27485411\ 42806078723552734856378621387052471574915908916911*c_1010_7^21 - 11311342521890009334538654369066280997376153100058340445983/2748541\ 142806078723552734856378621387052471574915908916911*c_1010_7^20 + 39911427691825945071189573913187339163446324747886588787159/2748541\ 142806078723552734856378621387052471574915908916911*c_1010_7^19 - 120415567577916579089025544872393445285756931544346854105430/274854\ 1142806078723552734856378621387052471574915908916911*c_1010_7^18 + 290525043843412735694999315619461302163272328742824164710287/274854\ 1142806078723552734856378621387052471574915908916911*c_1010_7^17 - 702536385854453264662096131057501610577139521207525875600635/274854\ 1142806078723552734856378621387052471574915908916911*c_1010_7^16 + 1210009775474967019869127044962686696600473223369879070076240/27485\ 41142806078723552734856378621387052471574915908916911*c_1010_7^15 - 2515970561018075273723659370000325610132289193110394865056407/27485\ 41142806078723552734856378621387052471574915908916911*c_1010_7^14 + 3481818002527697985013991967699513389121120404623100184020621/27485\ 41142806078723552734856378621387052471574915908916911*c_1010_7^13 - 5566910394207481926976367801620714958123194794292561965666807/27485\ 41142806078723552734856378621387052471574915908916911*c_1010_7^12 + 7476794853781621986513930561422852888612549642870684375659987/27485\ 41142806078723552734856378621387052471574915908916911*c_1010_7^11 - 8689461543669871327188688752189975459580579272938211696487440/27485\ 41142806078723552734856378621387052471574915908916911*c_1010_7^10 + 9992466769586176386782174187957113307366471146207583724349707/27485\ 41142806078723552734856378621387052471574915908916911*c_1010_7^9 - 11827556072141690999309010723924526228096277359761368670252353/2748\ 541142806078723552734856378621387052471574915908916911*c_1010_7^8 + 9875308749633080686571280479050965417803801178730636949102908/27485\ 41142806078723552734856378621387052471574915908916911*c_1010_7^7 - 9382605840261348309221647691090135228416944115258847694460823/27485\ 41142806078723552734856378621387052471574915908916911*c_1010_7^6 + 10220814861009296320503179727249344334276848266404748716253838/2748\ 541142806078723552734856378621387052471574915908916911*c_1010_7^5 - 7649191274619784306492319583275317186874897882728349596016898/27485\ 41142806078723552734856378621387052471574915908916911*c_1010_7^4 + 4514226439967312552113124283039252579754712501370940685370575/27485\ 41142806078723552734856378621387052471574915908916911*c_1010_7^3 - 5236788444087862420089952102096198862086568052124369174389737/27485\ 41142806078723552734856378621387052471574915908916911*c_1010_7^2 + 4375186817593612747512466954103461156945254765974224189616586/27485\ 41142806078723552734856378621387052471574915908916911*c_1010_7 - 1437990874865437560215432030787287092967847134293691173521803/27485\ 41142806078723552734856378621387052471574915908916911, c_0011_0 - 1, c_0011_3 + 3159255210386614171330287523690689169412750851/1914421664010\ 58472675449049033522039735171176381*c_1010_7^22 - 19784677859378218047533256482056839885646630699/1914421664010584726\ 75449049033522039735171176381*c_1010_7^21 + 95681474156301502371083613137103926604295315770/1914421664010584726\ 75449049033522039735171176381*c_1010_7^20 - 344837428358239959157425208889444911209906508398/191442166401058472\ 675449049033522039735171176381*c_1010_7^19 + 1055483212888646778921895083401028833865215962679/19144216640105847\ 2675449049033522039735171176381*c_1010_7^18 - 2604768647056827960124387348275703488145568557091/19144216640105847\ 2675449049033522039735171176381*c_1010_7^17 + 6296474210305945786081795326802256325362303685475/19144216640105847\ 2675449049033522039735171176381*c_1010_7^16 - 11270060675850286605199136024226366996225743757939/1914421664010584\ 72675449049033522039735171176381*c_1010_7^15 + 22808059370576127834225852816936085116657448231828/1914421664010584\ 72675449049033522039735171176381*c_1010_7^14 - 32970458823404460189902159197668226954228855089860/1914421664010584\ 72675449049033522039735171176381*c_1010_7^13 + 50982237977323260599835468604728347407898141686293/1914421664010584\ 72675449049033522039735171176381*c_1010_7^12 - 68512396014391336126434534794403537269048352236848/1914421664010584\ 72675449049033522039735171176381*c_1010_7^11 + 77917947096500562520706326571443712769803326206159/1914421664010584\ 72675449049033522039735171176381*c_1010_7^10 - 85485957257254382435739750616399183369477525214435/1914421664010584\ 72675449049033522039735171176381*c_1010_7^9 + 92224177295576334965501051027413638212820456106911/1914421664010584\ 72675449049033522039735171176381*c_1010_7^8 - 69853054426139226684996612229366598490299682801340/1914421664010584\ 72675449049033522039735171176381*c_1010_7^7 + 52843403908431318364246023396335275768037855259297/1914421664010584\ 72675449049033522039735171176381*c_1010_7^6 - 48079383649904483666439900246669033811028323442312/1914421664010584\ 72675449049033522039735171176381*c_1010_7^5 + 24630861941521800882738262900764019540834813060559/1914421664010584\ 72675449049033522039735171176381*c_1010_7^4 - 2429543746600114989608055663169827358479009120186/19144216640105847\ 2675449049033522039735171176381*c_1010_7^3 + 9022202423329816738366008142927572438391509366542/19144216640105847\ 2675449049033522039735171176381*c_1010_7^2 - 12927604849244137886001975984548866455444409544300/1914421664010584\ 72675449049033522039735171176381*c_1010_7 + 4562598753393770179340606278321875521321129398149/19144216640105847\ 2675449049033522039735171176381, c_0011_4 + 877883910709808901258566008283206461623895309/19144216640105\ 8472675449049033522039735171176381*c_1010_7^22 - 5021455941364153692155661235973988586010901048/19144216640105847267\ 5449049033522039735171176381*c_1010_7^21 + 23916174833117179399607017873224184562561064055/1914421664010584726\ 75449049033522039735171176381*c_1010_7^20 - 83225042511098834496653367018366156886470994090/1914421664010584726\ 75449049033522039735171176381*c_1010_7^19 + 249776965126496640737542214903137741332215335963/191442166401058472\ 675449049033522039735171176381*c_1010_7^18 - 593956616881568976472666869418601574380022501858/191442166401058472\ 675449049033522039735171176381*c_1010_7^17 + 1442984357636001597878040940230002919034591611365/19144216640105847\ 2675449049033522039735171176381*c_1010_7^16 - 2383517887974983775547150223290496502143328007564/19144216640105847\ 2675449049033522039735171176381*c_1010_7^15 + 5117156690306605452949550686207690463001148771930/19144216640105847\ 2675449049033522039735171176381*c_1010_7^14 - 6505367760452833323490216749941326812249860855217/19144216640105847\ 2675449049033522039735171176381*c_1010_7^13 + 10811238025653841459999953462990716664622674808931/1914421664010584\ 72675449049033522039735171176381*c_1010_7^12 - 13498557939474863726856298116033016192095957248206/1914421664010584\ 72675449049033522039735171176381*c_1010_7^11 + 14511437088091647364893361166476804494925648026280/1914421664010584\ 72675449049033522039735171176381*c_1010_7^10 - 16532863057546632136187026370255881445518180928171/1914421664010584\ 72675449049033522039735171176381*c_1010_7^9 + 16951641456574917895117121710197280864475887461229/1914421664010584\ 72675449049033522039735171176381*c_1010_7^8 - 10664548093229756520910947205459646099942989365255/1914421664010584\ 72675449049033522039735171176381*c_1010_7^7 + 9637667411230674817157452864474076967070646546584/19144216640105847\ 2675449049033522039735171176381*c_1010_7^6 - 8595907105207214521648192483782891963640057204661/19144216640105847\ 2675449049033522039735171176381*c_1010_7^5 + 2152010656211780061007945335259201542336088622833/19144216640105847\ 2675449049033522039735171176381*c_1010_7^4 - 143743661168860860151688463819210258120753922233/191442166401058472\ 675449049033522039735171176381*c_1010_7^3 + 2636233245063156950215877066631432864399794769101/19144216640105847\ 2675449049033522039735171176381*c_1010_7^2 - 1926042379351472895878296067924147559495636417326/19144216640105847\ 2675449049033522039735171176381*c_1010_7 + 267477500740813964074247959726306583898536018025/191442166401058472\ 675449049033522039735171176381, c_0011_5 - 2558472208246559922602959641622176728430574615/1914421664010\ 58472675449049033522039735171176381*c_1010_7^22 + 15883448370429529107162145438787582795473432227/1914421664010584726\ 75449049033522039735171176381*c_1010_7^21 - 76768446691059020697418240897813859597882463847/1914421664010584726\ 75449049033522039735171176381*c_1010_7^20 + 275895737721217102635281308394353666205112781842/191442166401058472\ 675449049033522039735171176381*c_1010_7^19 - 843562549290499353078529883246244692358372688718/191442166401058472\ 675449049033522039735171176381*c_1010_7^18 + 2076465051317394372586590540617286907534294565675/19144216640105847\ 2675449049033522039735171176381*c_1010_7^17 - 5024145248362490407565843556587647873666362623816/19144216640105847\ 2675449049033522039735171176381*c_1010_7^16 + 8941027004457844471281882767012016040770233887358/19144216640105847\ 2675449049033522039735171176381*c_1010_7^15 - 18194295429436233231359724718715733659373439009243/1914421664010584\ 72675449049033522039735171176381*c_1010_7^14 + 26034880762961274863266797567155404777860065020479/1914421664010584\ 72675449049033522039735171176381*c_1010_7^13 - 40583636607956385400016126868827614897946252089163/1914421664010584\ 72675449049033522039735171176381*c_1010_7^12 + 54085816986512734676674564544677379981001468332647/1914421664010584\ 72675449049033522039735171176381*c_1010_7^11 - 61571815595193566130292677178547533260296489775934/1914421664010584\ 72675449049033522039735171176381*c_1010_7^10 + 67511103357545787359366356273464960927931504665019/1914421664010584\ 72675449049033522039735171176381*c_1010_7^9 - 72725006289716533966509815870958583328630703368028/1914421664010584\ 72675449049033522039735171176381*c_1010_7^8 + 54550292817934003446188488913501388609977017182075/1914421664010584\ 72675449049033522039735171176381*c_1010_7^7 - 41823969284902157303790874135156568484655890353621/1914421664010584\ 72675449049033522039735171176381*c_1010_7^6 + 37758786654215599616261807844901226596575807322294/1914421664010584\ 72675449049033522039735171176381*c_1010_7^5 - 19056828402585000035555524825740725488900398981570/1914421664010584\ 72675449049033522039735171176381*c_1010_7^4 + 1960673387392751986322643849856816513046497959240/19144216640105847\ 2675449049033522039735171176381*c_1010_7^3 - 7400707997242440808422233960265822263505643183669/19144216640105847\ 2675449049033522039735171176381*c_1010_7^2 + 10113482523405678613516339537387319964550807269479/1914421664010584\ 72675449049033522039735171176381*c_1010_7 - 3519907785645089472240877199629716523215048088456/19144216640105847\ 2675449049033522039735171176381, c_0101_0 - 2067359722003910773682214922013211024529304214/1914421664010\ 58472675449049033522039735171176381*c_1010_7^22 + 12323960235924938739814215896260147088511530754/1914421664010584726\ 75449049033522039735171176381*c_1010_7^21 - 59211805012309358950802759226107176228152711354/1914421664010584726\ 75449049033522039735171176381*c_1010_7^20 + 209578436734356331117946050295802826300498183966/191442166401058472\ 675449049033522039735171176381*c_1010_7^19 - 635958298510669135185180531572219547337135991271/191442166401058472\ 675449049033522039735171176381*c_1010_7^18 + 1542206139509064501125889117630518431771757234650/19144216640105847\ 2675449049033522039735171176381*c_1010_7^17 - 3743870503842283358576818386354112705663087919730/19144216640105847\ 2675449049033522039735171176381*c_1010_7^16 + 6457471024041205221671136457159875232439995866175/19144216640105847\ 2675449049033522039735171176381*c_1010_7^15 - 13494452027381103084005478227770572946602903929187/1914421664010584\ 72675449049033522039735171176381*c_1010_7^14 + 18360305302182513256012735137330221712962900820723/1914421664010584\ 72675449049033522039735171176381*c_1010_7^13 - 29674459198268617603904033995811470265361589992080/1914421664010584\ 72675449049033522039735171176381*c_1010_7^12 + 38223213228483858542505189808514335236605661540274/1914421664010584\ 72675449049033522039735171176381*c_1010_7^11 - 43363911276263751832917598740489153869825594335820/1914421664010584\ 72675449049033522039735171176381*c_1010_7^10 + 47740381068358494003705845154813967472794349960237/1914421664010584\ 72675449049033522039735171176381*c_1010_7^9 - 51028599939016227762521699477790414326709681622929/1914421664010584\ 72675449049033522039735171176381*c_1010_7^8 + 36275147497491893224222966261185135145230132350803/1914421664010584\ 72675449049033522039735171176381*c_1010_7^7 - 29505106114434521586717936882887098996698944537014/1914421664010584\ 72675449049033522039735171176381*c_1010_7^6 + 25999586432085908260801591893595353996818383162834/1914421664010584\ 72675449049033522039735171176381*c_1010_7^5 - 11601965446144056829020112701642631312426595128886/1914421664010584\ 72675449049033522039735171176381*c_1010_7^4 + 1075700205839831686367427445984081992666864014558/19144216640105847\ 2675449049033522039735171176381*c_1010_7^3 - 5914917351672150341130895632165441974322323396918/19144216640105847\ 2675449049033522039735171176381*c_1010_7^2 + 6713951972236682257795709422730285109314874590539/19144216640105847\ 2675449049033522039735171176381*c_1010_7 - 2097019012752277105079005792282981645748565815791/19144216640105847\ 2675449049033522039735171176381, c_0101_1 + 994053197180443624411700145951406349305957/19144216640105847\ 2675449049033522039735171176381*c_1010_7^22 - 8133353739474448187642845666779683081483470/19144216640105847267544\ 9049033522039735171176381*c_1010_7^21 + 39733344950971190999245041220187309200275293/1914421664010584726754\ 49049033522039735171176381*c_1010_7^20 - 143488691466197191429941636954481306581753692/191442166401058472675\ 449049033522039735171176381*c_1010_7^19 + 423547623428795189118312032582023255469614244/191442166401058472675\ 449049033522039735171176381*c_1010_7^18 - 1017734911032532489282717299357805299745739913/19144216640105847267\ 5449049033522039735171176381*c_1010_7^17 + 2226071130392353359257522289205249020540359241/19144216640105847267\ 5449049033522039735171176381*c_1010_7^16 - 4051513474941606921091373728099513262813739258/19144216640105847267\ 5449049033522039735171176381*c_1010_7^15 + 6849483753526317169154107045501490947799916567/19144216640105847267\ 5449049033522039735171176381*c_1010_7^14 - 10505477343152930860643515883457513584986997184/1914421664010584726\ 75449049033522039735171176381*c_1010_7^13 + 13890618502163971088153981065215585032250183092/1914421664010584726\ 75449049033522039735171176381*c_1010_7^12 - 16880930406156237485345203033280338465696030207/1914421664010584726\ 75449049033522039735171176381*c_1010_7^11 + 19480765351889816148749616209301367650162320398/1914421664010584726\ 75449049033522039735171176381*c_1010_7^10 - 18972812386766890908517647091170727482113849455/1914421664010584726\ 75449049033522039735171176381*c_1010_7^9 + 15526782076485495935977393817700806460419279284/1914421664010584726\ 75449049033522039735171176381*c_1010_7^8 - 12991995528324047629231403676454663585101432339/1914421664010584726\ 75449049033522039735171176381*c_1010_7^7 + 13290943973668743500813437662819673473626814143/1914421664010584726\ 75449049033522039735171176381*c_1010_7^6 - 25282114173253893479053170739678836832767087906/1914421664010584726\ 75449049033522039735171176381*c_1010_7^5 - 116138465240539335581122842742285504831602021848/191442166401058472\ 675449049033522039735171176381*c_1010_7^4 - 193988688130057835838709259563253242003128744433/191442166401058472\ 675449049033522039735171176381*c_1010_7^3 - 697543417405153092741425277428087529597234778/191442166401058472675\ 449049033522039735171176381*c_1010_7^2 + 19047846818680539206262968419761532475350696594/1914421664010584726\ 75449049033522039735171176381*c_1010_7 + 118528264438589862094727163214016079046569424938/191442166401058472\ 675449049033522039735171176381, c_0101_2 - 71385069009491295695948416920810426210965/191442166401058472\ 675449049033522039735171176381*c_1010_7^22 + 797469703734432595361955377435822661640200/191442166401058472675449\ 049033522039735171176381*c_1010_7^21 - 4456011963138072154571257477674433314114446/19144216640105847267544\ 9049033522039735171176381*c_1010_7^20 + 17720404364554228739113388111429972439406924/1914421664010584726754\ 49049033522039735171176381*c_1010_7^19 - 55868960491743928203956946037814096399383295/1914421664010584726754\ 49049033522039735171176381*c_1010_7^18 + 145165398136922575525373018657548461575427759/191442166401058472675\ 449049033522039735171176381*c_1010_7^17 - 324493605353191546665745338457413458829522667/191442166401058472675\ 449049033522039735171176381*c_1010_7^16 + 644874281328266190640841742243870925498994379/191442166401058472675\ 449049033522039735171176381*c_1010_7^15 - 1096169454797044242007802783577541480262621312/19144216640105847267\ 5449049033522039735171176381*c_1010_7^14 + 1767329816911988339690413991919862440143695973/19144216640105847267\ 5449049033522039735171176381*c_1010_7^13 - 2486895588752251445902298447862464201986764362/19144216640105847267\ 5449049033522039735171176381*c_1010_7^12 + 3072732558914396641241831852680805376984354440/19144216640105847267\ 5449049033522039735171176381*c_1010_7^11 - 3614090055416922751533801280387328410311623381/19144216640105847267\ 5449049033522039735171176381*c_1010_7^10 + 3864237349491075069296999108951779614946287337/19144216640105847267\ 5449049033522039735171176381*c_1010_7^9 - 3339399524880560347408737547089599920165898313/19144216640105847267\ 5449049033522039735171176381*c_1010_7^8 + 2705458142432696029922629880784471730981158226/19144216640105847267\ 5449049033522039735171176381*c_1010_7^7 - 2358805910346857440480671348885118063106980704/19144216640105847267\ 5449049033522039735171176381*c_1010_7^6 + 1674039598833810786823161756440098975006366397/19144216640105847267\ 5449049033522039735171176381*c_1010_7^5 - 446303196552529831063309289781122235784056753/191442166401058472675\ 449049033522039735171176381*c_1010_7^4 - 3100239873161548880881656555443685152248910786/19144216640105847267\ 5449049033522039735171176381*c_1010_7^3 + 16608631272667429144111917102479700169498276381/1914421664010584726\ 75449049033522039735171176381*c_1010_7^2 - 52574319237679469465224212291826844395207281039/1914421664010584726\ 75449049033522039735171176381*c_1010_7 + 118240200304441855233594266393937587930109836364/191442166401058472\ 675449049033522039735171176381, c_0101_6 - 19881418951071735687770009998733151096719719/191442166401058\ 472675449049033522039735171176381*c_1010_7^22 + 135083886244149440819245834029911314696088168/191442166401058472675\ 449049033522039735171176381*c_1010_7^21 - 599139606552122375959382137455819557941373361/191442166401058472675\ 449049033522039735171176381*c_1010_7^20 + 2043592083915805308804522481058880527057841393/19144216640105847267\ 5449049033522039735171176381*c_1010_7^19 - 5809169476806440254465440056537320032334106470/19144216640105847267\ 5449049033522039735171176381*c_1010_7^18 + 13019353889868020578902589708801977699482804549/1914421664010584726\ 75449049033522039735171176381*c_1010_7^17 - 28754501469321285188813681029861918735128795930/1914421664010584726\ 75449049033522039735171176381*c_1010_7^16 + 47151356831462496266454142110259978745409605601/1914421664010584726\ 75449049033522039735171176381*c_1010_7^15 - 80842631661753252698597861423648465769581417359/1914421664010584726\ 75449049033522039735171176381*c_1010_7^14 + 118933272748188613929231195986722858788684880040/191442166401058472\ 675449049033522039735171176381*c_1010_7^13 - 141399972666831239654114771561494486085429357297/191442166401058472\ 675449049033522039735171176381*c_1010_7^12 + 152863070168088226833642910843981369814062680002/191442166401058472\ 675449049033522039735171176381*c_1010_7^11 - 305696402859636720093933793457388489657999083739/191442166401058472\ 675449049033522039735171176381*c_1010_7^10 - 120570548674448651169026284096711150357823329216/191442166401058472\ 675449049033522039735171176381*c_1010_7^9 - 479215267508999363874387799825076312723473876007/191442166401058472\ 675449049033522039735171176381*c_1010_7^8 - 13558203312618375296235953608219781564198925885/1914421664010584726\ 75449049033522039735171176381*c_1010_7^7 + 164333741614443133825862794115800373005850920609/191442166401058472\ 675449049033522039735171176381*c_1010_7^6 + 284709579338332849311000193650068705197049670946/191442166401058472\ 675449049033522039735171176381*c_1010_7^5 - 127391817452876662254647925598562400153359591405/191442166401058472\ 675449049033522039735171176381*c_1010_7^4 - 423518053541844375539988732168702222571827211141/191442166401058472\ 675449049033522039735171176381*c_1010_7^3 - 131955164380330260512890184161012530104843235040/191442166401058472\ 675449049033522039735171176381*c_1010_7^2 + 87578711117914019188149163310269685952758627316/1914421664010584726\ 75449049033522039735171176381*c_1010_7 + 137016744051525610317660758895980469669262047658/191442166401058472\ 675449049033522039735171176381, c_0110_5 - 1196710490237857331507040712654949434370464485/1914421664010\ 58472675449049033522039735171176381*c_1010_7^22 + 7885860945422352171628540268975680336691980994/19144216640105847267\ 5449049033522039735171176381*c_1010_7^21 - 38325379023820416235398495400395794496004355502/1914421664010584726\ 75449049033522039735171176381*c_1010_7^20 + 140409143032647506012313892398746641967171559527/191442166401058472\ 675449049033522039735171176381*c_1010_7^19 - 432710973442325735721100719078563074227869092369/191442166401058472\ 675449049033522039735171176381*c_1010_7^18 + 1083646368186817842802747577280665294664494481868/19144216640105847\ 2675449049033522039735171176381*c_1010_7^17 - 2607106125066045623745280447732473789459931942100/19144216640105847\ 2675449049033522039735171176381*c_1010_7^16 + 4813375071770962483044826138605467351811130453534/19144216640105847\ 2675449049033522039735171176381*c_1010_7^15 - 9464401554118128348155548165294874344424479397057/19144216640105847\ 2675449049033522039735171176381*c_1010_7^14 + 14404442864102024292824151445878452057519559958484/1914421664010584\ 72675449049033522039735171176381*c_1010_7^13 - 21405489452001171548367026887690088190305122785744/1914421664010584\ 72675449049033522039735171176381*c_1010_7^12 + 29901043728403642922941009509942940978316917770387/1914421664010584\ 72675449049033522039735171176381*c_1010_7^11 - 33930126319787891715175575235984091320890479499507/1914421664010584\ 72675449049033522039735171176381*c_1010_7^10 + 37223725588887737298031047372118878409569019505086/1914421664010584\ 72675449049033522039735171176381*c_1010_7^9 - 40435782474679308992458707135019512588040913535568/1914421664010584\ 72675449049033522039735171176381*c_1010_7^8 + 32106500579903521563236927007085702617940691036016/1914421664010584\ 72675449049033522039735171176381*c_1010_7^7 - 22878531728347565551230100415174802633819018343393/1914421664010584\ 72675449049033522039735171176381*c_1010_7^6 + 21495388441693261041990005124508781729614898671553/1914421664010584\ 72675449049033522039735171176381*c_1010_7^5 - 11946437878992024524362753525676020745687106823905/1914421664010584\ 72675449049033522039735171176381*c_1010_7^4 + 1119567706113304573712534582074618520790574182341/19144216640105847\ 2675449049033522039735171176381*c_1010_7^3 - 3295136560847915358998876805431003853876398501423/19144216640105847\ 2675449049033522039735171176381*c_1010_7^2 + 5914667026060619270748201438957827012963632588489/19144216640105847\ 2675449049033522039735171176381*c_1010_7 - 2235779147361073818346024601235122031214584580925/19144216640105847\ 2675449049033522039735171176381, c_1010_7^23 - 7*c_1010_7^22 + 35*c_1010_7^21 - 132*c_1010_7^20 + 417*c_1010_7^19 - 1079*c_1010_7^18 + 2625*c_1010_7^17 - 5092*c_1010_7^16 + 9984*c_1010_7^15 - 15964*c_1010_7^14 + 24300*c_1010_7^13 - 34102*c_1010_7^12 + 41608*c_1010_7^11 - 46320*c_1010_7^10 + 50310*c_1010_7^9 - 44959*c_1010_7^8 + 34389*c_1010_7^7 - 28256*c_1010_7^6 + 19809*c_1010_7^5 - 7165*c_1010_7^4 + 3493*c_1010_7^3 - 6184*c_1010_7^2 + 4709*c_1010_7 - 1189 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.080 Total time: 0.290 seconds, Total memory usage: 32.09MB