Magma V2.19-8 Tue Aug 20 2013 17:56:08 on localhost [Seed = 240105925] Type ? for help. Type -D to quit. Loading file "11_137__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_137 geometric_solution 10.33721383 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 11 1 2 3 4 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 0 0 -1 6 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.002081584675 0.672926315541 0 2 3 5 0132 3012 3012 0132 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 -6 5 1 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.441530272417 0.727081326413 1 0 6 4 1230 0132 0132 1230 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 1 -1 0 0 0 -1 1 0 0 0 0 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.441530272417 0.727081326413 4 1 6 0 1023 1230 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 -1 1 0 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.807933776533 0.576952561423 2 3 0 5 3012 1023 0132 1230 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 -1 1 0 0 0 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.807933776533 0.576952561423 4 7 1 8 3012 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.110926600399 1.346157959505 8 3 7 2 3201 1230 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 -1 0 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.110926600399 1.346157959505 6 5 10 9 2310 0132 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 -1 0 0 1 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.560452371221 0.890279833596 10 9 5 6 0132 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.560452371221 0.890279833596 10 8 7 10 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 0 0 -1 1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.042173508813 0.741867520701 8 9 9 7 0132 0321 2103 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.042173508813 0.741867520701 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : d['c_0011_10'], 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : d['c_0101_3'], 'c_1001_7' : d['c_1001_7'], 'c_1001_6' : negation(d['c_0101_7']), 'c_1001_1' : d['c_0011_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0011_6']), 'c_1001_2' : d['c_0101_3'], 'c_1001_9' : negation(d['c_0101_2']), 'c_1001_8' : d['c_1001_7'], 'c_1010_10' : d['c_1001_7'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(d['1']), 's_2_1' : negation(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_10' : 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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : d['c_0011_10'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : d['c_0101_7'], 'c_1100_7' : d['c_0011_10'], 'c_1100_6' : d['c_0011_5'], 'c_1100_1' : d['c_0011_6'], 'c_1100_0' : d['c_0101_7'], 'c_1100_3' : d['c_0101_7'], 'c_1100_2' : d['c_0011_5'], 'c_1100_10' : d['c_0011_10'], 'c_1010_7' : negation(d['c_0101_2']), 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : d['c_1001_7'], 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : d['c_0101_3'], 'c_1010_9' : d['c_1001_7'], 'c_1010_8' : negation(d['c_0101_2']), 'c_1100_8' : d['c_0011_6'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(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'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(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' : d['c_0011_10'], 'c_0011_8' : negation(d['c_0011_10']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_7' : negation(d['c_0011_5']), 'c_0011_6' : d['c_0011_6'], '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_10' : d['c_0101_7'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0101_10']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_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_10'], 'c_0101_8' : d['c_0101_7'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_10']), 'c_0110_8' : d['c_0101_10'], '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_0']), 'c_0110_5' : d['c_0101_7'], 'c_0110_4' : d['c_0011_5'], 'c_0110_7' : d['c_0101_10'], 'c_0110_6' : d['c_0101_2']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_5, c_0011_6, c_0101_0, c_0101_1, c_0101_10, c_0101_2, c_0101_3, c_0101_7, c_1001_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 53729706003155088055243398596904947/1094282629530860293005456969750\ 0*c_1001_7^22 + 6502936837238441012676652349586001/5471413147654301\ 46502728484875*c_1001_7^21 + 28702793980509568695158068626564973/36\ 4760876510286764335152323250*c_1001_7^20 + 180076384417656528621921410182169843/218856525906172058601091393950\ 0*c_1001_7^19 + 9751891571014053928474950591315873/3473913109621778\ 7079538316500*c_1001_7^18 - 261232693144969872480994149567918121/36\ 4760876510286764335152323250*c_1001_7^17 + 197811452087305891969843506648475421/218856525906172058601091393950\ *c_1001_7^16 - 2027839973864143759385436209817275924/91190219127571\ 6910837880808125*c_1001_7^15 + 239053638746698488065113930157391350\ 3/1563260899329800418579224242500*c_1001_7^14 + 757429348245745415580605854549088861/156326089932980041857922424250\ 0*c_1001_7^13 + 182015783303942639782917940057613579/12158695883676\ 22547783841077500*c_1001_7^12 - 33498722167553613909718285331918644\ 43/2188565259061720586010913939500*c_1001_7^11 + 2119260983499942233020106965453718714/91190219127571691083788080812\ 5*c_1001_7^10 - 12286554414616797481409373489367047/121586958836762\ 254778384107750*c_1001_7^9 - 11709335495354863071761608972770938123\ /10942826295308602930054569697500*c_1001_7^8 - 230493204141472724291382927846190641/303967397091905636945960269375\ *c_1001_7^7 + 7011447403636899909366493650386467/111661492809271458\ 46994458875*c_1001_7^6 + 938622098335468855692513780654702617/54714\ 13147654301465027284848750*c_1001_7^5 + 3708136696948388097069757926979230413/10942826295308602930054569697\ 500*c_1001_7^4 - 191725988247211350062761898681579219/5471413147654\ 301465027284848750*c_1001_7^3 - 2921395343182776409020755263654861/\ 29180870120822941146812185860*c_1001_7^2 + 169700290678533886014570982532342939/109428262953086029300545696975\ 00*c_1001_7 + 40370847416432081013255498415567303/36476087651028676\ 43351523232500, c_0011_0 - 1, c_0011_10 - 724680729604783100756556348/6203416267181747692774699375*c_\ 1001_7^22 - 1091797004826272860582678161/24813665068726990771098797\ 50*c_1001_7^21 - 2696822189891699827855140238/124068325343634953855\ 4939875*c_1001_7^20 - 1069856353844964744423399851/2481366506872699\ 07710987975*c_1001_7^19 - 2010357618182483621817024316/248136650687\ 269907710987975*c_1001_7^18 + 11135075295030800757529014512/1240683\ 253436349538554939875*c_1001_7^17 + 6956022937269488546646361169/1240683253436349538554939875*c_1001_7^\ 16 + 136299415868300820272404819679/12406832534363495385549398750*c\ _1001_7^15 + 661943681588816040555617671987/12406832534363495385549\ 398750*c_1001_7^14 - 1269200643013144524936098751851/12406832534363\ 495385549398750*c_1001_7^13 + 232476195044329477587974889887/124068\ 32534363495385549398750*c_1001_7^12 + 35155436628015960909287895214/1240683253436349538554939875*c_1001_7\ ^11 - 39858126722481648529604350189/12406832534363495385549398750*c\ _1001_7^10 - 119225859089464230233972542676/12406832534363495385549\ 39875*c_1001_7^9 + 449580161562727600150149715832/62034162671817476\ 92774699375*c_1001_7^8 + 226170787339015454747224392749/62034162671\ 81747692774699375*c_1001_7^7 - 9438898208660048865987892841/2481366\ 506872699077109879750*c_1001_7^6 - 200278310510271751694584974856/6203416267181747692774699375*c_1001_\ 7^5 - 21710414802760236667406341549/12406832534363495385549398750*c\ _1001_7^4 - 132583175588522504148400574441/124068325343634953855493\ 98750*c_1001_7^3 + 25294639730719279246102860951/248136650687269907\ 7109879750*c_1001_7^2 + 13458908474000166523487707763/1240683253436\ 3495385549398750*c_1001_7 - 20834858788707677844361299507/124068325\ 34363495385549398750, c_0011_5 + 451663236619549118169384967/2481366506872699077109879750*c_1\ 001_7^22 + 527066815939389161747828461/2481366506872699077109879750\ *c_1001_7^21 + 3097604146558177306639345324/12406832534363495385549\ 39875*c_1001_7^20 - 392281951746724205640852708/1240683253436349538\ 554939875*c_1001_7^19 + 10710569106668774047929299186/1240683253436\ 349538554939875*c_1001_7^18 - 46945231898785806777215760282/1240683\ 253436349538554939875*c_1001_7^17 + 183417663155901214366014854733/2481366506872699077109879750*c_1001_\ 7^16 - 180328226324811947274558601197/1240683253436349538554939875*\ c_1001_7^15 + 234037666116173643159592229882/1240683253436349538554\ 939875*c_1001_7^14 - 148054587620918694840545579733/124068325343634\ 9538554939875*c_1001_7^13 + 95839792489443989232399847113/248136650\ 6872699077109879750*c_1001_7^12 - 154708354576687532547963718231/24\ 81366506872699077109879750*c_1001_7^11 + 80391115203829945732672728241/496273301374539815421975950*c_1001_7^\ 10 - 37982045716525201942945878348/248136650687269907710987975*c_10\ 01_7^9 + 44181677133159849550634673491/1240683253436349538554939875\ *c_1001_7^8 + 33968732845168163482204659/19850932054981592616879038\ *c_1001_7^7 + 17841125578751114740472445623/49627330137453981542197\ 5950*c_1001_7^6 - 98312991945011498818414847731/2481366506872699077\ 109879750*c_1001_7^5 + 5868065908464336922813313418/248136650687269\ 907710987975*c_1001_7^4 - 20310161920017294964703242809/12406832534\ 36349538554939875*c_1001_7^3 + 11099431964067377078943148968/124068\ 3253436349538554939875*c_1001_7^2 + 2148520840723043373778009231/1240683253436349538554939875*c_1001_7 - 994424327401832120300946747/496273301374539815421975950, c_0011_6 + 451663236619549118169384967/2481366506872699077109879750*c_1\ 001_7^22 + 527066815939389161747828461/2481366506872699077109879750\ *c_1001_7^21 + 3097604146558177306639345324/12406832534363495385549\ 39875*c_1001_7^20 - 392281951746724205640852708/1240683253436349538\ 554939875*c_1001_7^19 + 10710569106668774047929299186/1240683253436\ 349538554939875*c_1001_7^18 - 46945231898785806777215760282/1240683\ 253436349538554939875*c_1001_7^17 + 183417663155901214366014854733/2481366506872699077109879750*c_1001_\ 7^16 - 180328226324811947274558601197/1240683253436349538554939875*\ c_1001_7^15 + 234037666116173643159592229882/1240683253436349538554\ 939875*c_1001_7^14 - 148054587620918694840545579733/124068325343634\ 9538554939875*c_1001_7^13 + 95839792489443989232399847113/248136650\ 6872699077109879750*c_1001_7^12 - 154708354576687532547963718231/24\ 81366506872699077109879750*c_1001_7^11 + 80391115203829945732672728241/496273301374539815421975950*c_1001_7^\ 10 - 37982045716525201942945878348/248136650687269907710987975*c_10\ 01_7^9 + 44181677133159849550634673491/1240683253436349538554939875\ *c_1001_7^8 + 33968732845168163482204659/19850932054981592616879038\ *c_1001_7^7 + 17841125578751114740472445623/49627330137453981542197\ 5950*c_1001_7^6 - 98312991945011498818414847731/2481366506872699077\ 109879750*c_1001_7^5 + 5868065908464336922813313418/248136650687269\ 907710987975*c_1001_7^4 - 20310161920017294964703242809/12406832534\ 36349538554939875*c_1001_7^3 + 11099431964067377078943148968/124068\ 3253436349538554939875*c_1001_7^2 + 2148520840723043373778009231/1240683253436349538554939875*c_1001_7 - 994424327401832120300946747/496273301374539815421975950, c_0101_0 - 199108481667146424882657851/496273301374539815421975950*c_10\ 01_7^22 - 1211652206923184593558950908/1240683253436349538554939875\ *c_1001_7^21 - 7906090608434339395847594179/12406832534363495385549\ 39875*c_1001_7^20 - 8208485942487661176519639372/124068325343634953\ 8554939875*c_1001_7^19 - 27091762322032426916507672101/124068325343\ 6349538554939875*c_1001_7^18 + 74165744035310326380623044942/124068\ 3253436349538554939875*c_1001_7^17 - 170129086535121163110375585883/2481366506872699077109879750*c_1001_\ 7^16 + 426336739403469437768793000771/2481366506872699077109879750*\ c_1001_7^15 - 279639720038219354261014349023/2481366506872699077109\ 879750*c_1001_7^14 - 172955278937574894019171774967/248136650687269\ 9077109879750*c_1001_7^13 - 1140501745195524683635334366/1240683253\ 436349538554939875*c_1001_7^12 + 341618399427765465042273451841/248\ 1366506872699077109879750*c_1001_7^11 - 227810111616215164925437853151/1240683253436349538554939875*c_1001_\ 7^10 - 646905116554392611042085999/49627330137453981542197595*c_100\ 1_7^9 + 28045380259110475537393472411/248136650687269907710987975*c\ _1001_7^8 + 175276215307967755017728432529/248136650687269907710987\ 9750*c_1001_7^7 - 15526370608619153755478373403/2481366506872699077\ 10987975*c_1001_7^6 - 15538987204953173150843199861/496273301374539\ 815421975950*c_1001_7^5 - 60877688339836548665462594007/24813665068\ 72699077109879750*c_1001_7^4 + 3452695908489354959748748329/4962733\ 01374539815421975950*c_1001_7^3 + 36949355396966472379077630539/248\ 1366506872699077109879750*c_1001_7^2 - 1581443234267544378497133643/2481366506872699077109879750*c_1001_7 - 2362094018453636286489303238/1240683253436349538554939875, c_0101_1 + 349828594372323777179552541/992546602749079630843951900*c_10\ 01_7^22 + 2675957417004643332006609143/4962733013745398154219759500\ *c_1001_7^21 + 12222842804257775734652412987/2481366506872699077109\ 879750*c_1001_7^20 + 1143805012495863909961521063/12406832534363495\ 38554939875*c_1001_7^19 + 38178087559481962765330311013/24813665068\ 72699077109879750*c_1001_7^18 - 86133497561907249262908926503/12406\ 83253436349538554939875*c_1001_7^17 + 556417545016937950054959844809/4962733013745398154219759500*c_1001_\ 7^16 - 279627824824613544589277496287/1240683253436349538554939875*\ c_1001_7^15 + 329001792173130124646785337536/1240683253436349538554\ 939875*c_1001_7^14 - 110266663254874974691271963216/124068325343634\ 9538554939875*c_1001_7^13 + 61383836726234759765616892601/496273301\ 3745398154219759500*c_1001_7^12 - 657345956437394390649209057403/49\ 62733013745398154219759500*c_1001_7^11 + 1320273119015384292735787302061/4962733013745398154219759500*c_1001\ _7^10 - 42364807255757629310536994904/248136650687269907710987975*c\ _1001_7^9 - 19116585597242026866772088923/4962733013745398154219759\ 50*c_1001_7^8 - 38708219687135357201246567007/496273301374539815421\ 9759500*c_1001_7^7 + 87384590601192923899254606139/9925466027490796\ 30843951900*c_1001_7^6 - 25384183674030640348842403823/992546602749\ 079630843951900*c_1001_7^5 + 59544311227615573092415677883/24813665\ 06872699077109879750*c_1001_7^4 - 14512482302192754744844136873/496\ 273301374539815421975950*c_1001_7^3 - 4893212670912631400309187863/1240683253436349538554939875*c_1001_7^\ 2 + 6008255807601318881564690561/1240683253436349538554939875*c_100\ 1_7 - 2585281846488177002229939927/4962733013745398154219759500, c_0101_10 - c_1001_7, c_0101_2 - 659765356789105689635406569/4962733013745398154219759500*c_1\ 001_7^22 - 609910184972161722392393199/4962733013745398154219759500\ *c_1001_7^21 - 4372768940618070224437180181/24813665068726990771098\ 79750*c_1001_7^20 + 887288740388640915745501206/1240683253436349538\ 554939875*c_1001_7^19 - 14946916641697876847316348409/2481366506872\ 699077109879750*c_1001_7^18 + 36364865998236664248519879414/1240683\ 253436349538554939875*c_1001_7^17 - 296071023781701942519545596817/4962733013745398154219759500*c_1001_\ 7^16 + 28515574679918964018323162314/248136650687269907710987975*c_\ 1001_7^15 - 194986933898027697699675916276/124068325343634953855493\ 9875*c_1001_7^14 + 133979030741066193941285729357/12406832534363495\ 38554939875*c_1001_7^13 - 7274280052677025360219975981/198509320549\ 815926168790380*c_1001_7^12 + 264880218644255379839033639099/496273\ 3013745398154219759500*c_1001_7^11 - 666375988704629372263545354809/4962733013745398154219759500*c_1001_\ 7^10 + 33431774698606799095295358622/248136650687269907710987975*c_\ 1001_7^9 - 94077974861056520474393712627/24813665068726990771098797\ 50*c_1001_7^8 - 10887833328700514845846681417/496273301374539815421\ 9759500*c_1001_7^7 - 31413898380433554745143093299/9925466027490796\ 30843951900*c_1001_7^6 + 179087973785843461759068233387/49627330137\ 45398154219759500*c_1001_7^5 - 44684793286276008565692993767/248136\ 6506872699077109879750*c_1001_7^4 + 38057297362124438553078755943/2481366506872699077109879750*c_1001_7\ ^3 - 10882142480755215964003326946/1240683253436349538554939875*c_1\ 001_7^2 - 470309128341633712225473151/248136650687269907710987975*c\ _1001_7 + 8946876880322551159267488303/4962733013745398154219759500\ , c_0101_3 + 199108481667146424882657851/496273301374539815421975950*c_10\ 01_7^22 + 1211652206923184593558950908/1240683253436349538554939875\ *c_1001_7^21 + 7906090608434339395847594179/12406832534363495385549\ 39875*c_1001_7^20 + 8208485942487661176519639372/124068325343634953\ 8554939875*c_1001_7^19 + 27091762322032426916507672101/124068325343\ 6349538554939875*c_1001_7^18 - 74165744035310326380623044942/124068\ 3253436349538554939875*c_1001_7^17 + 170129086535121163110375585883/2481366506872699077109879750*c_1001_\ 7^16 - 426336739403469437768793000771/2481366506872699077109879750*\ c_1001_7^15 + 279639720038219354261014349023/2481366506872699077109\ 879750*c_1001_7^14 + 172955278937574894019171774967/248136650687269\ 9077109879750*c_1001_7^13 + 1140501745195524683635334366/1240683253\ 436349538554939875*c_1001_7^12 - 341618399427765465042273451841/248\ 1366506872699077109879750*c_1001_7^11 + 227810111616215164925437853151/1240683253436349538554939875*c_1001_\ 7^10 + 646905116554392611042085999/49627330137453981542197595*c_100\ 1_7^9 - 28045380259110475537393472411/248136650687269907710987975*c\ _1001_7^8 - 175276215307967755017728432529/248136650687269907710987\ 9750*c_1001_7^7 + 15526370608619153755478373403/2481366506872699077\ 10987975*c_1001_7^6 + 15538987204953173150843199861/496273301374539\ 815421975950*c_1001_7^5 + 60877688339836548665462594007/24813665068\ 72699077109879750*c_1001_7^4 - 3452695908489354959748748329/4962733\ 01374539815421975950*c_1001_7^3 - 36949355396966472379077630539/248\ 1366506872699077109879750*c_1001_7^2 + 1581443234267544378497133643/2481366506872699077109879750*c_1001_7 + 2362094018453636286489303238/1240683253436349538554939875, c_0101_7 - 659765356789105689635406569/4962733013745398154219759500*c_1\ 001_7^22 - 609910184972161722392393199/4962733013745398154219759500\ *c_1001_7^21 - 4372768940618070224437180181/24813665068726990771098\ 79750*c_1001_7^20 + 887288740388640915745501206/1240683253436349538\ 554939875*c_1001_7^19 - 14946916641697876847316348409/2481366506872\ 699077109879750*c_1001_7^18 + 36364865998236664248519879414/1240683\ 253436349538554939875*c_1001_7^17 - 296071023781701942519545596817/4962733013745398154219759500*c_1001_\ 7^16 + 28515574679918964018323162314/248136650687269907710987975*c_\ 1001_7^15 - 194986933898027697699675916276/124068325343634953855493\ 9875*c_1001_7^14 + 133979030741066193941285729357/12406832534363495\ 38554939875*c_1001_7^13 - 7274280052677025360219975981/198509320549\ 815926168790380*c_1001_7^12 + 264880218644255379839033639099/496273\ 3013745398154219759500*c_1001_7^11 - 666375988704629372263545354809/4962733013745398154219759500*c_1001_\ 7^10 + 33431774698606799095295358622/248136650687269907710987975*c_\ 1001_7^9 - 94077974861056520474393712627/24813665068726990771098797\ 50*c_1001_7^8 - 10887833328700514845846681417/496273301374539815421\ 9759500*c_1001_7^7 - 31413898380433554745143093299/9925466027490796\ 30843951900*c_1001_7^6 + 179087973785843461759068233387/49627330137\ 45398154219759500*c_1001_7^5 - 44684793286276008565692993767/248136\ 6506872699077109879750*c_1001_7^4 + 38057297362124438553078755943/2481366506872699077109879750*c_1001_7\ ^3 - 10882142480755215964003326946/1240683253436349538554939875*c_1\ 001_7^2 - 470309128341633712225473151/248136650687269907710987975*c\ _1001_7 + 8946876880322551159267488303/4962733013745398154219759500\ , c_1001_7^23 + 2*c_1001_7^22 + 15*c_1001_7^21 + 10*c_1001_7^20 + 50*c_1001_7^19 - 170*c_1001_7^18 + 245*c_1001_7^17 - 529*c_1001_7^16 + 500*c_1001_7^15 - 28*c_1001_7^14 - 15*c_1001_7^13 - 324*c_1001_7^12 + 604*c_1001_7^11 - 217*c_1001_7^10 - 214*c_1001_7^9 - 61*c_1001_7^8 + 194*c_1001_7^7 - 18*c_1001_7^6 + 53*c_1001_7^5 - 36*c_1001_7^4 - 18*c_1001_7^3 + 12*c_1001_7^2 + c_1001_7 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.120 Total time: 0.330 seconds, Total memory usage: 32.09MB