Magma V2.19-8 Tue Aug 20 2013 16:16:13 on localhost [Seed = 1065264126] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0471 geometric_solution 4.50122811 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 2310 3201 0 0 0 0 0 1 0 -1 1 0 0 -1 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.753203323602 0.069433408589 0 0 2 2 0132 3201 2310 0132 0 0 0 0 0 1 -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 0 0 0 0 0 0 0 0 0 0 0 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.718379818988 0.319530108460 3 1 1 3 0132 3201 0132 1023 0 0 0 0 0 0 0 0 0 0 -1 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.156726557591 0.176253556068 2 4 5 2 0132 0132 0132 1023 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 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.943895651637 0.515789305746 6 3 5 5 0132 0132 1302 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.406330283845 0.627226186507 4 4 6 3 2031 2310 1023 0132 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 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.406330283845 0.627226186507 4 6 5 6 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.406330283845 0.627226186507 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : negation(d['1']), 's_3_0' : negation(d['1']), '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_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : negation(d['1']), 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_2'], 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_2']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : negation(d['c_0011_5']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_2'], 'c_0011_6' : negation(d['c_0011_2']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0011_5']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_6']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : negation(d['c_0011_5']), 'c_1010_6' : negation(d['c_0011_2']), 'c_1010_5' : negation(d['c_0101_6']), 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0101_1'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0011_5, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t + 2003895721569355793937103042565413134420471645361630804195333865360\ 09470593172877305/9009634784074431764518101481133956982342994217247\ 37865565666283758549211001462672*c_0101_6^26 + 2364653414381297306252035974821638913809302446357681764629579360351\ 85927512127753709/5631021740046519852823813425708723113964371385779\ 6116597854142734909325687591417*c_0101_6^25 + 2359549209249099758873463140505426601480072897845906627227258613647\ 7182845916893867891/90096347840744317645181014811339569823429942172\ 4737865565666283758549211001462672*c_0101_6^24 + 3954298756757984138849946222405678902527983461231780990086114111290\ 51663590836579685/8044316771495028361176876322441033019949101979685\ 159513979163247844189383941631*c_0101_6^23 + 1213763911023755411180459736558265843527011455541878072221645959069\ 4028584625876447765/32177267085980113444707505289764132079796407918\ 740638055916652991376757535766524*c_0101_6^22 + 1846546154775002757136673806427458438668266004344082265385447799862\ 68308744382089612231/4504817392037215882259050740566978491171497108\ 62368932782833141879274605500731336*c_0101_6^21 - 1182565832913118324852464653816627602383986298940402914842149673746\ 51811119627960720587/4504817392037215882259050740566978491171497108\ 62368932782833141879274605500731336*c_0101_6^20 + 6092012947715333736342394918671181251282195145357226233331517685148\ 963238502113988768279/900963478407443176451810148113395698234299421\ 724737865565666283758549211001462672*c_0101_6^19 - 6309288095193258598135916782577343724104965392660163833174543807197\ 763109892686597718067/450481739203721588225905074056697849117149710\ 862368932782833141879274605500731336*c_0101_6^18 + 3046809486182894420873351514555391596114892321572661322942156801089\ 8763146754469242634023/90096347840744317645181014811339569823429942\ 1724737865565666283758549211001462672*c_0101_6^17 - 4468240627316920805823319574570708142425310643696741853988988053019\ 8125468092059031340691/90096347840744317645181014811339569823429942\ 1724737865565666283758549211001462672*c_0101_6^16 + 3008811410249216153917242375239875820794939580496558394411555216377\ 3335849184175315661427/90096347840744317645181014811339569823429942\ 1724737865565666283758549211001462672*c_0101_6^15 - 2601744933721433599237673239109087783288574909738302730383775898659\ 162259744951112432763/450481739203721588225905074056697849117149710\ 862368932782833141879274605500731336*c_0101_6^14 - 7723313811333692270239965857518589677007868807010005750032071038859\ 835008766017935872977/112620434800930397056476268514174462279287427\ 715592233195708285469818651375182834*c_0101_6^13 + 5946874557640363968722171582257913866219864573444710099384980781037\ 582740954479398315197/112620434800930397056476268514174462279287427\ 715592233195708285469818651375182834*c_0101_6^12 + 4369234965425827735909550111876944206065421140682409300260478250146\ 0130514553851124012181/90096347840744317645181014811339569823429942\ 1724737865565666283758549211001462672*c_0101_6^11 - 6158717384876476652196059249800339505614747233270945310957621920200\ 12456740557340119655/1287090683439204537788300211590565283191856316\ 74962552223666611965507030143066096*c_0101_6^10 - 3742418748293766090003826632588328701943505458519782740000634918739\ 0694510431311912995367/90096347840744317645181014811339569823429942\ 1724737865565666283758549211001462672*c_0101_6^9 - 1053787272076287795690546506228483787032863975216799689088003896510\ 0589085858151464815187/90096347840744317645181014811339569823429942\ 1724737865565666283758549211001462672*c_0101_6^8 + 1941913286764273306698803176867953187061045416616880376340349083451\ 6194400323067359568733/90096347840744317645181014811339569823429942\ 1724737865565666283758549211001462672*c_0101_6^7 + 1052408630089414982502252592199603143893981943041538537981220863578\ 304765753402042988073/450481739203721588225905074056697849117149710\ 862368932782833141879274605500731336*c_0101_6^6 - 2388315727489304907288143298373033170116375893472184043780172360525\ 24518757668552438096/5631021740046519852823813425708723113964371385\ 7796116597854142734909325687591417*c_0101_6^5 + 1855841793388820553493472215838865575822897919819041150204656734471\ 73229672823676718513/9009634784074431764518101481133956982342994217\ 24737865565666283758549211001462672*c_0101_6^4 + 9690347243404290571065439011644682116004752615487799062543335780119\ 0035903778900513649/45048173920372158822590507405669784911714971086\ 2368932782833141879274605500731336*c_0101_6^3 - 4013743414093818382314225914921119908456436636157289869842860918036\ 6474661744072677971/90096347840744317645181014811339569823429942172\ 4737865565666283758549211001462672*c_0101_6^2 + 5526835652961160100611695571626140061201802612687371729264163508382\ 3974573090614640/56310217400465198528238134257087231139643713857796\ 116597854142734909325687591417*c_0101_6 + 1445863448515424965278087778180675843192696104095615824184686446604\ 222647032804058555/900963478407443176451810148113395698234299421724\ 737865565666283758549211001462672, c_0011_0 - 1, c_0011_2 - 224990811198231111592588326092319165251742426003684850860172\ 7206554595352655019/80443167714950283611768763224410330199491019796\ 85159513979163247844189383941631*c_0101_6^26 - 4209579601127565431363187488944981190861966327586182491650268613190\ 0455164710490/80443167714950283611768763224410330199491019796851595\ 13979163247844189383941631*c_0101_6^25 - 2577936216328607324734557928985349721772526627020348914917758511813\ 18157712194595/8044316771495028361176876322441033019949101979685159\ 513979163247844189383941631*c_0101_6^24 - 4542110960214959806050402535189504395604452189959566135723179915813\ 13096152078130/8044316771495028361176876322441033019949101979685159\ 513979163247844189383941631*c_0101_6^23 - 3744284626410343202480772345318586678513525786695235046439952453419\ 298845313203424/804431677149502836117687632244103301994910197968515\ 9513979163247844189383941631*c_0101_6^22 - 3521727488961471597722081931981628655799125726725399927494257323699\ 767898827306481/804431677149502836117687632244103301994910197968515\ 9513979163247844189383941631*c_0101_6^21 + 3170423144253684952276488119818121911475330751049351040135902179799\ 122719092865482/804431677149502836117687632244103301994910197968515\ 9513979163247844189383941631*c_0101_6^20 - 6907129231444435815351949670376495277333696071367129654722979062243\ 3771719272866065/80443167714950283611768763224410330199491019796851\ 59513979163247844189383941631*c_0101_6^19 + 1534381189213136855703038147257999508049750591571467012547904195868\ 27952808142711498/8044316771495028361176876322441033019949101979685\ 159513979163247844189383941631*c_0101_6^18 - 3696420411418296248260704388721469372762422040974676524100790943785\ 55830014785205007/8044316771495028361176876322441033019949101979685\ 159513979163247844189383941631*c_0101_6^17 + 5668016140650597856366438460234189346233933889911550486182971343671\ 86180278602112758/8044316771495028361176876322441033019949101979685\ 159513979163247844189383941631*c_0101_6^16 - 4401413370086719581694744557521788967568679182179057680207531836062\ 55687770340131126/8044316771495028361176876322441033019949101979685\ 159513979163247844189383941631*c_0101_6^15 + 1402740157360019904667930920725631446894318952327700436051610015403\ 08038666243695718/8044316771495028361176876322441033019949101979685\ 159513979163247844189383941631*c_0101_6^14 + 6673361657759928068665272071207528712318139419285564276177096804279\ 90274357879847896/8044316771495028361176876322441033019949101979685\ 159513979163247844189383941631*c_0101_6^13 - 6490837019820920197084526092105679200588183439453506090495224579002\ 27424710087788614/8044316771495028361176876322441033019949101979685\ 159513979163247844189383941631*c_0101_6^12 - 3656685907849401275563541152647718771116533763734302875026875714534\ 37980862768098880/8044316771495028361176876322441033019949101979685\ 159513979163247844189383941631*c_0101_6^11 + 1075253748726548057249313938409415429389801333269523074725889138978\ 88966839637113818/8044316771495028361176876322441033019949101979685\ 159513979163247844189383941631*c_0101_6^10 + 3887743544925066089692861627783507608000081610127573474971601681977\ 17799309277358262/8044316771495028361176876322441033019949101979685\ 159513979163247844189383941631*c_0101_6^9 + 4677193317130453273447846436217274899932882157226087308139809001052\ 9037465159626477/80443167714950283611768763224410330199491019796851\ 59513979163247844189383941631*c_0101_6^8 - 2192856042617689481796394788348551984816503243324368422077730271420\ 20016263266184081/8044316771495028361176876322441033019949101979685\ 159513979163247844189383941631*c_0101_6^7 + 1989942290312433531815231869970026981442303701471420300943791454897\ 0154192858989934/80443167714950283611768763224410330199491019796851\ 59513979163247844189383941631*c_0101_6^6 + 3755810168729208129631260881716052105335815949492088414515131962602\ 3131238682333992/80443167714950283611768763224410330199491019796851\ 59513979163247844189383941631*c_0101_6^5 - 1035717478186906229304663203255615346658593075129293904927678831514\ 4610633661280815/80443167714950283611768763224410330199491019796851\ 59513979163247844189383941631*c_0101_6^4 - 1915715538978536776289640164389437502474214769502502076725496837450\ 68063559562449/8044316771495028361176876322441033019949101979685159\ 513979163247844189383941631*c_0101_6^3 + 6511481365209268927856867375539942540143413431066345320709968143192\ 35037383160070/8044316771495028361176876322441033019949101979685159\ 513979163247844189383941631*c_0101_6^2 - 1415773529178619929930440344338189965063198187315571555822459321298\ 31869861784293/8044316771495028361176876322441033019949101979685159\ 513979163247844189383941631*c_0101_6 + 6176793173103468795250774424010362231293720374618056412960680615041\ 133486722866/804431677149502836117687632244103301994910197968515951\ 3979163247844189383941631, c_0011_5 - 274581068224252169062669189074605804184823690686921631287794\ 6544157615501807899/80443167714950283611768763224410330199491019796\ 85159513979163247844189383941631*c_0101_6^26 - 5171135299270606006554448704637699358438173539899641560439489008882\ 7198352482578/80443167714950283611768763224410330199491019796851595\ 13979163247844189383941631*c_0101_6^25 - 3209957284775281223935141160649788691145982696018463470699245379575\ 51755147677184/8044316771495028361176876322441033019949101979685159\ 513979163247844189383941631*c_0101_6^24 - 5943358873963918753706481566940502977328881885718629981388940837119\ 58305458896771/8044316771495028361176876322441033019949101979685159\ 513979163247844189383941631*c_0101_6^23 - 4646290268817014935933401133167646382707523642480913808987910544490\ 542435362770236/804431677149502836117687632244103301994910197968515\ 9513979163247844189383941631*c_0101_6^22 - 4875981132516952326196721642147914003178758687792433741996565823716\ 738700553879446/804431677149502836117687632244103301994910197968515\ 9513979163247844189383941631*c_0101_6^21 + 3216426539820833704789790362537687627375795236227961594447260587689\ 299299053632219/804431677149502836117687632244103301994910197968515\ 9513979163247844189383941631*c_0101_6^20 - 8396516231698156699004670116918575557026473258668097186601667705465\ 7803865565054534/80443167714950283611768763224410330199491019796851\ 59513979163247844189383941631*c_0101_6^19 + 1769687514110022472876395454190827829625491017852336956073526522882\ 85224721559497254/8044316771495028361176876322441033019949101979685\ 159513979163247844189383941631*c_0101_6^18 - 4303247184106065958816774477046389745283603671745951914830300084058\ 11989291631978181/8044316771495028361176876322441033019949101979685\ 159513979163247844189383941631*c_0101_6^17 + 6407190943890410331219642763347798816590828353815347892191931963309\ 80359495182668190/8044316771495028361176876322441033019949101979685\ 159513979163247844189383941631*c_0101_6^16 - 4630314391701411263039760937685345477553179983724704630210800888015\ 83829459554733456/8044316771495028361176876322441033019949101979685\ 159513979163247844189383941631*c_0101_6^15 + 1208859388705702598307870230312437640724959949109176921965312218812\ 18726309384412697/8044316771495028361176876322441033019949101979685\ 159513979163247844189383941631*c_0101_6^14 + 8249411630574139691153698169087942994607729618291754654961504536586\ 82332612482596178/8044316771495028361176876322441033019949101979685\ 159513979163247844189383941631*c_0101_6^13 - 6896539889222551924849922846614955956580484087606263456891267569262\ 03565349973444818/8044316771495028361176876322441033019949101979685\ 159513979163247844189383941631*c_0101_6^12 - 5220500853717248901692595763681789217853973579885318357359794053955\ 65493895781356967/8044316771495028361176876322441033019949101979685\ 159513979163247844189383941631*c_0101_6^11 + 6149273771839129904960343705685785689386580025350115507366624060285\ 5394037755393613/80443167714950283611768763224410330199491019796851\ 59513979163247844189383941631*c_0101_6^10 + 4749885607851183823518627595080507729789088835336940816215434392541\ 42076469707732499/8044316771495028361176876322441033019949101979685\ 159513979163247844189383941631*c_0101_6^9 + 1144422678349833597540750310652924967875314945524700756853580622393\ 76191741505006827/8044316771495028361176876322441033019949101979685\ 159513979163247844189383941631*c_0101_6^8 - 2486925118764467549250176610238232707769042558998952543540631439145\ 97046388205294615/8044316771495028361176876322441033019949101979685\ 159513979163247844189383941631*c_0101_6^7 - 4065793169112926843795725174103894549069943310550145601762358280814\ 232026211276854/804431677149502836117687632244103301994910197968515\ 9513979163247844189383941631*c_0101_6^6 + 4340390092019277675685263081475846811900812501481799089730257546126\ 5616250417334853/80443167714950283611768763224410330199491019796851\ 59513979163247844189383941631*c_0101_6^5 - 7675329533940906688081228721720179237062909642188750224940817859178\ 396188645116087/804431677149502836117687632244103301994910197968515\ 9513979163247844189383941631*c_0101_6^4 - 7935624138941758687565809000464276539848982070814525540899652735656\ 35359211982805/8044316771495028361176876322441033019949101979685159\ 513979163247844189383941631*c_0101_6^3 + 6324253450906241983911119788323123591896662554735279061030565205472\ 71276214503932/8044316771495028361176876322441033019949101979685159\ 513979163247844189383941631*c_0101_6^2 - 1024445032010179018880795828763974258247385788580117559270872498900\ 09366011960968/8044316771495028361176876322441033019949101979685159\ 513979163247844189383941631*c_0101_6 + 3378157995973389993130192589344275548709475577324371817633391545480\ 818953038777/804431677149502836117687632244103301994910197968515951\ 3979163247844189383941631, c_0101_0 - 217096418018973771330933626058411078620484211191428912914282\ 8726903616672262788/80443167714950283611768763224410330199491019796\ 85159513979163247844189383941631*c_0101_6^26 - 4122076115572337968628553587258288629735980277085092007962057224886\ 9686633562078/80443167714950283611768763224410330199491019796851595\ 13979163247844189383941631*c_0101_6^25 - 2601669711359144190940776631445372604965632104220509291851780876567\ 24560952205105/8044316771495028361176876322441033019949101979685159\ 513979163247844189383941631*c_0101_6^24 - 5102295987829455605215675397467393265275567061291669543638553397846\ 64189539191299/8044316771495028361176876322441033019949101979685159\ 513979163247844189383941631*c_0101_6^23 - 3753653195196651554957744507137352494987350706214886312974511357666\ 892880234190540/804431677149502836117687632244103301994910197968515\ 9513979163247844189383941631*c_0101_6^22 - 4440588349159845486302748331021199069019875000284086389711263841138\ 317800455414417/804431677149502836117687632244103301994910197968515\ 9513979163247844189383941631*c_0101_6^21 + 1839061454468737895910788785659004629093923215084960980567144993130\ 482088840967175/804431677149502836117687632244103301994910197968515\ 9513979163247844189383941631*c_0101_6^20 - 6617710995901779694158801019340607804831827029314584851918823256244\ 5281638063886589/80443167714950283611768763224410330199491019796851\ 59513979163247844189383941631*c_0101_6^19 + 1296095285674174722423101203957221608203008855069061508785346360416\ 25650545943987648/8044316771495028361176876322441033019949101979685\ 159513979163247844189383941631*c_0101_6^18 - 3203769292266141101179540090578693254199521176454166912638615327252\ 35513876697940005/8044316771495028361176876322441033019949101979685\ 159513979163247844189383941631*c_0101_6^17 + 4562740921716659783900462315052601812683009062802504986141586325255\ 99721543508102627/8044316771495028361176876322441033019949101979685\ 159513979163247844189383941631*c_0101_6^16 - 2945026281690062486091116184995076799765232647310834674688926987398\ 35567694454380826/8044316771495028361176876322441033019949101979685\ 159513979163247844189383941631*c_0101_6^15 + 4594630193648644880907673593058435443987698036229979925891951452545\ 2139067968083383/80443167714950283611768763224410330199491019796851\ 59513979163247844189383941631*c_0101_6^14 + 6655454594060607744542480759447707140344372008743976222946242019752\ 20285645796656338/8044316771495028361176876322441033019949101979685\ 159513979163247844189383941631*c_0101_6^13 - 4475327722373346135380262331118399062830714754175667974608125180106\ 65284347945590674/8044316771495028361176876322441033019949101979685\ 159513979163247844189383941631*c_0101_6^12 - 4779997897500096112124782591911913078839427644296271274305715707675\ 37649244277014990/8044316771495028361176876322441033019949101979685\ 159513979163247844189383941631*c_0101_6^11 - 1728332817332786514361774285751599372526742932286485708055291260628\ 5310539798145393/80443167714950283611768763224410330199491019796851\ 59513979163247844189383941631*c_0101_6^10 + 3680889462421348293221143753738651648811420631683757743305143413218\ 29472630825472366/8044316771495028361176876322441033019949101979685\ 159513979163247844189383941631*c_0101_6^9 + 1418215763010742623756076699957668515439649990647156775570005198962\ 14096033317296736/8044316771495028361176876322441033019949101979685\ 159513979163247844189383941631*c_0101_6^8 - 1769981603109210021660607055486817033067679291659575349416215600011\ 24211376808552605/8044316771495028361176876322441033019949101979685\ 159513979163247844189383941631*c_0101_6^7 - 2704743853107341081633349149872929081714388426272809619427595267159\ 4769882450520687/80443167714950283611768763224410330199491019796851\ 59513979163247844189383941631*c_0101_6^6 + 3153017844383694000260306855282869726103908557213999197702650608420\ 0988779553238276/80443167714950283611768763224410330199491019796851\ 59513979163247844189383941631*c_0101_6^5 - 2366041002151709466369127493266995197176694089467172557178367605435\ 207591218197179/804431677149502836117687632244103301994910197968515\ 9513979163247844189383941631*c_0101_6^4 - 9713347892142562590119293619959615849228806503493510497204876886331\ 61098993426964/8044316771495028361176876322441033019949101979685159\ 513979163247844189383941631*c_0101_6^3 + 4810231203797400027601376858276627341213249744865713838436447469006\ 37701884178742/8044316771495028361176876322441033019949101979685159\ 513979163247844189383941631*c_0101_6^2 - 4164070723974092857871578331030088508119514790653995555136906959902\ 3318616442751/80443167714950283611768763224410330199491019796851595\ 13979163247844189383941631*c_0101_6 - 4073911541344781854576425906734224806762073921084709680222995823896\ 909357146548/804431677149502836117687632244103301994910197968515951\ 3979163247844189383941631, c_0101_1 + 716766277768445658020618368432455453001786967995589538160941\ 766664369240889380/804431677149502836117687632244103301994910197968\ 5159513979163247844189383941631*c_0101_6^26 + 1376388381350925924498139689359133907309891702044264198396472171802\ 9058761629151/80443167714950283611768763224410330199491019796851595\ 13979163247844189383941631*c_0101_6^25 + 8866837448376690402171012755583783295063530991720208523031393293212\ 1873232707982/80443167714950283611768763224410330199491019796851595\ 13979163247844189383941631*c_0101_6^24 + 1838365485987455741602514335077235345491157100458851662320997815416\ 32308471806834/8044316771495028361176876322441033019949101979685159\ 513979163247844189383941631*c_0101_6^23 + 1254805538498199178195387689749091495845671902576767837793816543548\ 070986305480918/804431677149502836117687632244103301994910197968515\ 9513979163247844189383941631*c_0101_6^22 + 1684805940593042196463853075179739648260138264338748065164929100469\ 941072022168880/804431677149502836117687632244103301994910197968515\ 9513979163247844189383941631*c_0101_6^21 - 5947918842907272620782281723890097809029296199591511427217818974626\ 89426255036295/8044316771495028361176876322441033019949101979685159\ 513979163247844189383941631*c_0101_6^20 + 2123568834695245467938125409356442987552554601027473606827212377634\ 4497482688353881/80443167714950283611768763224410330199491019796851\ 59513979163247844189383941631*c_0101_6^19 - 3821753744881867914835412142958889459083113777260107186341307038654\ 8214007408263816/80443167714950283611768763224410330199491019796851\ 59513979163247844189383941631*c_0101_6^18 + 9155367739359553851590309339343745352748504463201904162127834456249\ 1410099795529129/80443167714950283611768763224410330199491019796851\ 59513979163247844189383941631*c_0101_6^17 - 1207432899475477108696151273473086296706468381583819892477061649325\ 14128612761740635/8044316771495028361176876322441033019949101979685\ 159513979163247844189383941631*c_0101_6^16 + 4406755384985589865613899682725562675280334129152420896149952511761\ 1148275794136949/80443167714950283611768763224410330199491019796851\ 59513979163247844189383941631*c_0101_6^15 + 3016969319963481921792458916881413011338697827225210305302704973910\ 1289230937174669/80443167714950283611768763224410330199491019796851\ 59513979163247844189383941631*c_0101_6^14 - 2351510724510789141060017354274958532306939313495482920432797329473\ 53741982226686977/8044316771495028361176876322441033019949101979685\ 159513979163247844189383941631*c_0101_6^13 + 1009594419578059874683311961405113975303175783649745399697875646716\ 75784841055948897/8044316771495028361176876322441033019949101979685\ 159513979163247844189383941631*c_0101_6^12 + 2370356882636569994318478364969802879643684211390592414418635964922\ 67543924016667994/8044316771495028361176876322441033019949101979685\ 159513979163247844189383941631*c_0101_6^11 + 3066291655501712597099570594385978826314009181045220196392407849921\ 0630046098211459/80443167714950283611768763224410330199491019796851\ 59513979163247844189383941631*c_0101_6^10 - 1554147034083853939899298848177420455799134637189504652825246568220\ 88050151301040615/8044316771495028361176876322441033019949101979685\ 159513979163247844189383941631*c_0101_6^9 - 9347343635650815199397071175985015727813268071168166143086798403715\ 3351160733604091/80443167714950283611768763224410330199491019796851\ 59513979163247844189383941631*c_0101_6^8 + 6238776616495570012739301728074215333528922931606288150721669060832\ 5297647303068805/80443167714950283611768763224410330199491019796851\ 59513979163247844189383941631*c_0101_6^7 + 3740652475074255383489460162249761800061767583238879949760463320871\ 1369189095428683/80443167714950283611768763224410330199491019796851\ 59513979163247844189383941631*c_0101_6^6 - 1202872538215375866952830894050498923450942417933068999782821608227\ 0612276135936194/80443167714950283611768763224410330199491019796851\ 59513979163247844189383941631*c_0101_6^5 - 4033230986038218589075159293883833912888284175865148894529798027691\ 751415083402695/804431677149502836117687632244103301994910197968515\ 9513979163247844189383941631*c_0101_6^4 + 9546010274134699544552118838964877527658581541793412715562057191166\ 42255669642394/8044316771495028361176876322441033019949101979685159\ 513979163247844189383941631*c_0101_6^3 - 1440134727943022142038043505299657555444646599232083914328334182368\ 53232485730482/8044316771495028361176876322441033019949101979685159\ 513979163247844189383941631*c_0101_6^2 - 4724051894785564240825782658432394780005623409605269142508579785181\ 7879181528333/80443167714950283611768763224410330199491019796851595\ 13979163247844189383941631*c_0101_6 + 1130736877351940590286185197914085673506271105567071964200135549544\ 5104235442381/80443167714950283611768763224410330199491019796851595\ 13979163247844189383941631, c_0101_3 - 179195755255496077733128727990406713779872899342180333774881\ 3533765477660290065/80443167714950283611768763224410330199491019796\ 85159513979163247844189383941631*c_0101_6^26 - 3388280261051907106517153041966707300292933474058405860240872603633\ 0386914351228/80443167714950283611768763224410330199491019796851595\ 13979163247844189383941631*c_0101_6^25 - 2120588852495260623180418292884803905037564021773961747936696096948\ 37663300446146/8044316771495028361176876322441033019949101979685159\ 513979163247844189383941631*c_0101_6^24 - 4041774832609867720875793933315076461326284319452015948346903058778\ 02209790984473/8044316771495028361176876322441033019949101979685159\ 513979163247844189383941631*c_0101_6^23 - 3064702918622814573812974302209341749770425276983576395263635526380\ 754084309655442/804431677149502836117687632244103301994910197968515\ 9513979163247844189383941631*c_0101_6^22 - 3417440380733746785794138631568053910155778362503115875806024264924\ 596196261512687/804431677149502836117687632244103301994910197968515\ 9513979163247844189383941631*c_0101_6^21 + 1813173902847675390515514666261834938903684940489418204929909437864\ 526161455682141/804431677149502836117687632244103301994910197968515\ 9513979163247844189383941631*c_0101_6^20 - 5469733761724939717168601508363241843223097950878519737545429712690\ 9828170326813257/80443167714950283611768763224410330199491019796851\ 59513979163247844189383941631*c_0101_6^19 + 1113768941768935467009923275555758416440502302406971532066962571969\ 36815012753738039/8044316771495028361176876322441033019949101979685\ 159513979163247844189383941631*c_0101_6^18 - 2729087105971012220753281924446372633218639081616085888337854666977\ 84495695559963877/8044316771495028361176876322441033019949101979685\ 159513979163247844189383941631*c_0101_6^17 + 3984227191853641058252775910874669819854064318446350125351759404608\ 85994127720291629/8044316771495028361176876322441033019949101979685\ 159513979163247844189383941631*c_0101_6^16 - 2742428719315498639974658556258668228961876628690953507784114683795\ 71436455849772711/8044316771495028361176876322441033019949101979685\ 159513979163247844189383941631*c_0101_6^15 + 6111395758070979603097971210079442736207238866700988919840949369209\ 5157752272478101/80443167714950283611768763224410330199491019796851\ 59513979163247844189383941631*c_0101_6^14 + 5415623021835045635871672796134012757156098420029458696455289928530\ 85541413680754209/8044316771495028361176876322441033019949101979685\ 159513979163247844189383941631*c_0101_6^13 - 4091922188495862070202687949192172584115341803117437938204583167028\ 95511736299387558/8044316771495028361176876322441033019949101979685\ 159513979163247844189383941631*c_0101_6^12 - 3668984690497472123419582399948476179446759334714337912402699188348\ 96445109023439580/8044316771495028361176876322441033019949101979685\ 159513979163247844189383941631*c_0101_6^11 + 1048026544819422968068889940820922836491644102265079606128123932235\ 1752347274645366/80443167714950283611768763224410330199491019796851\ 59513979163247844189383941631*c_0101_6^10 + 3059030735801111858707098831066948033925922412841292195114243674416\ 28229957308600008/8044316771495028361176876322441033019949101979685\ 159513979163247844189383941631*c_0101_6^9 + 9659430096609451565297556345173589147335310096883193124809015717006\ 4371427275116784/80443167714950283611768763224410330199491019796851\ 59513979163247844189383941631*c_0101_6^8 - 1519981154838890125812799263175476538046078783793579327827505462870\ 36548669967693433/8044316771495028361176876322441033019949101979685\ 159513979163247844189383941631*c_0101_6^7 - 1214502674944330151027071116492688869911689182087235021955719537807\ 8433367803198687/80443167714950283611768763224410330199491019796851\ 59513979163247844189383941631*c_0101_6^6 + 2646271533681638763307221958335400222243263812449347476147763211707\ 5815062896968723/80443167714950283611768763224410330199491019796851\ 59513979163247844189383941631*c_0101_6^5 - 3680335880835482402235954721718131840779764620098704369005793865037\ 817446617740975/804431677149502836117687632244103301994910197968515\ 9513979163247844189383941631*c_0101_6^4 - 6019385677530322752074440357534447411908222711746798387988752562475\ 57535157399049/8044316771495028361176876322441033019949101979685159\ 513979163247844189383941631*c_0101_6^3 + 4178635300566398549987910154677645228721589099118740626480220119224\ 38908677732837/8044316771495028361176876322441033019949101979685159\ 513979163247844189383941631*c_0101_6^2 - 5920591425908678519109873436295992756176669752912899249090698196232\ 5614773110719/80443167714950283611768763224410330199491019796851595\ 13979163247844189383941631*c_0101_6 - 2535931345039110513932245778788021496664628400225208601290328038279\ 47330078100/8044316771495028361176876322441033019949101979685159513\ 979163247844189383941631, c_0101_6^27 + 19*c_0101_6^26 + 120*c_0101_6^25 + 235*c_0101_6^24 + 1722*c_0101_6^23 + 2046*c_0101_6^22 - 966*c_0101_6^21 + 30271*c_0101_6^20 - 59305*c_0101_6^19 + 144346*c_0101_6^18 - 204102*c_0101_6^17 + 121968*c_0101_6^16 - 5062*c_0101_6^15 - 314775*c_0101_6^14 + 202325*c_0101_6^13 + 247778*c_0101_6^12 - 387*c_0101_6^11 - 187986*c_0101_6^10 - 72070*c_0101_6^9 + 91727*c_0101_6^8 + 20242*c_0101_6^7 - 19166*c_0101_6^6 - 416*c_0101_6^5 + 1365*c_0101_6^4 - 259*c_0101_6^3 - 21*c_0101_6^2 + 14*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB