Magma V2.19-8 Tue Aug 20 2013 16:16:10 on localhost [Seed = 3482211083] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0427 geometric_solution 4.48180508 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 2310 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 -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.654504235545 0.093638297875 0 0 2 2 0132 3201 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.195808774841 0.641426757177 3 1 1 3 0132 3201 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.221107585191 0.629667676940 2 4 5 2 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.261278761800 0.268679520134 5 3 5 6 2310 0132 3201 0132 0 0 0 0 0 0 1 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.196001827427 1.269026531269 4 6 4 3 2310 1023 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 -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 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.196001827427 1.269026531269 5 6 4 6 1023 1302 0132 2031 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 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.380070218537 0.623550335398 ==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' : 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' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : 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' : negation(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' : negation(d['c_0011_5']), '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_3'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : negation(d['c_0101_3']), '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' : d['c_0011_5'], '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_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0110_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_3'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0011_5'], 'c_1010_5' : d['c_0110_6'], 'c_1010_4' : d['c_0110_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_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t - 1787976407053751333934738583862389637790863454608166362797263000960\ 71065413884826296925163518296/7422244188880290083669099875545193339\ 12793235168779230546944832018022201305220804705092441555*c_0110_6^2\ 4 - 786822781259692280293979433044395225617940190069216821870239310\ 154889423371196546629871472489808/742224418888029008366909987554519\ 333912793235168779230546944832018022201305220804705092441555*c_0110\ _6^23 + 19074095296969804024440448924394853788710466613894253166220\ 838742115484934105490529809005243217432/742224418888029008366909987\ 554519333912793235168779230546944832018022201305220804705092441555*\ c_0110_6^22 + 13402950965329035315855601664828545469745020124283024\ 1842762386593459391715091389851944782325017781/74222441888802900836\ 6909987554519333912793235168779230546944832018022201305220804705092\ 441555*c_0110_6^21 - 3489998575043379495888420388699684984610180716\ 5470333289507624118838384666701219161570465361904478/74222441888802\ 9008366909987554519333912793235168779230546944832018022201305220804\ 705092441555*c_0110_6^20 - 1569823850451097066003635510298951510085\ 529055333389039940332751246543464782767320420775612615304898/742224\ 4188880290083669099875545193339127932351687792305469448320180222013\ 05220804705092441555*c_0110_6^19 + 9368863023694745183012894052412021674668828703707164290358065441975\ 9761267977440911520559077884658/67474947171639000760628180686774484\ 901163021378979930049722257456183836482292800427735676505*c_0110_6^\ 18 + 14146646022466880779217960355354097887445267160822134396147590\ 501857210625827778981365426907353171814/742224418888029008366909987\ 554519333912793235168779230546944832018022201305220804705092441555*\ c_0110_6^17 - 46883415404554809832804207600013564572313264972439436\ 95999847807714525709116319103632331027652548664/1484448837776058016\ 7338199751090386678255864703375584610938896640360444026104416094101\ 8488311*c_0110_6^16 - 259596286030342279351132089694290062963377922\ 28225029569020044686125368491389937444209716545639277673/7422244188\ 8802900836690998755451933391279323516877923054694483201802220130522\ 0804705092441555*c_0110_6^15 + 707739630188095546571142967367086381\ 94948437620963573014742591242399110071521378915185485861017448343/7\ 4222441888802900836690998755451933391279323516877923054694483201802\ 2201305220804705092441555*c_0110_6^14 - 6700715399805878040851479390677496539707035540200980260259530649874\ 928492049365484166176968774579004/742224418888029008366909987554519\ 333912793235168779230546944832018022201305220804705092441555*c_0110\ _6^13 - 17605920346041525415980865597397200203108673756166890798007\ 813620447710484950297674548885625026205360/148444883777605801673381\ 9975109038667825586470337558461093889664036044402610441609410184883\ 11*c_0110_6^12 + 78776167997152074353643934478669621574123006963475\ 75099309116826189459493049389800682883553436288405/1484448837776058\ 0167338199751090386678255864703375584610938896640360444026104416094\ 1018488311*c_0110_6^11 + 699622377901348410568400004354727371611850\ 20517882231734657875007652920510591182636255157890478478616/7422244\ 1888802900836690998755451933391279323516877923054694483201802220130\ 5220804705092441555*c_0110_6^10 - 356464714071047945082660204627136\ 0186084286853223647570863766645432714424388931839476171429362347243\ /148444883777605801673381997510903866782558647033755846109388966403\ 604440261044160941018488311*c_0110_6^9 - 8848675109024493616879664999234776976042969615494506772162874831564\ 830612665225672776744294272768395/148444883777605801673381997510903\ 866782558647033755846109388966403604440261044160941018488311*c_0110\ _6^8 - 638406998562302640285241957401699722461235557639429850116008\ 694882474031436611214055338902970771564/742224418888029008366909987\ 554519333912793235168779230546944832018022201305220804705092441555*\ c_0110_6^7 + 286003865580516018336465436648377396480521491388785086\ 9897053693958743928873144917814592489101688182/14844488377760580167\ 3381997510903866782558647033755846109388966403604440261044160941018\ 488311*c_0110_6^6 + 12263999236872693833210478319017738429468905227\ 0857036580502059021978391309426648877569622003606323/14844488377760\ 5801673381997510903866782558647033755846109388966403604440261044160\ 941018488311*c_0110_6^5 - 68639886161128083224252874383569780213751\ 0515685066404850717341723641403169389253275846923317976461/74222441\ 8888029008366909987554519333912793235168779230546944832018022201305\ 220804705092441555*c_0110_6^4 - 35745847978502572328002609888840038\ 6677484398235904720317323752679843278278424410839386399299211146/74\ 2224418888029008366909987554519333912793235168779230546944832018022\ 201305220804705092441555*c_0110_6^3 + 2119505651423576885505783482759952661660667844962168011126152250362\ 4168495625999489058588479032998/74222441888802900836690998755451933\ 3912793235168779230546944832018022201305220804705092441555*c_0110_6\ ^2 + 13892092818183700309061432926876769742815352480440213960350880\ 6652500198989800542608419743290031/13494989434327800152125636137354\ 896980232604275795986009944451491236767296458560085547135301*c_0110\ _6 - 38159628219106633277266403546409033261365410918408596338288534\ 90495568611575495245940939802405196/7422244188880290083669099875545\ 19333912793235168779230546944832018022201305220804705092441555, c_0011_0 - 1, c_0011_2 + 389158620761883851155350977208924167604615905105152908575796\ 577236119273020632050061756292/134949894343278001521256361373548969\ 80232604275795986009944451491236767296458560085547135301*c_0110_6^2\ 4 + 163244773026234353583605116690491653464439007873549793537268278\ 1032875542486540179376098062/13494989434327800152125636137354896980\ 232604275795986009944451491236767296458560085547135301*c_0110_6^23 - 4186287787302809828117984600743916156367557494174139573401696683869\ 8288489707425573124068467/13494989434327800152125636137354896980232\ 604275795986009944451491236767296458560085547135301*c_0110_6^22 - 2831563534437510232155430629291073214263790168190023223036133766673\ 91989817608577386735751928/1349498943432780015212563613735489698023\ 2604275795986009944451491236767296458560085547135301*c_0110_6^21 + 1354599440364429639074846091224358268534075454874429860746600801708\ 61385845996300062265776975/1349498943432780015212563613735489698023\ 2604275795986009944451491236767296458560085547135301*c_0110_6^20 + 3397796266226708960426904673108034758615445333964040345016864321509\ 622975711498506889865564787/134949894343278001521256361373548969802\ 32604275795986009944451491236767296458560085547135301*c_0110_6^19 - 2942927450531256347027721771983046609940856588806843228196595359455\ 055748955532376929218614293/134949894343278001521256361373548969802\ 32604275795986009944451491236767296458560085547135301*c_0110_6^18 - 3028739834597458164767440137304913953926380723525727142152303157311\ 5642506659524419542882394139/13494989434327800152125636137354896980\ 232604275795986009944451491236767296458560085547135301*c_0110_6^17 + 5729964375351970723450749852659046981154040554763956396780976471328\ 0449097643006143405845910214/13494989434327800152125636137354896980\ 232604275795986009944451491236767296458560085547135301*c_0110_6^16 + 4564232755977865530386530042891371058045736149195577656262954457815\ 7870833137529860770169729483/13494989434327800152125636137354896980\ 232604275795986009944451491236767296458560085547135301*c_0110_6^15 - 1647503245981472263138001394096472704084896438036543506367317733556\ 32217287529401398234429207266/1349498943432780015212563613735489698\ 0232604275795986009944451491236767296458560085547135301*c_0110_6^14 + 46426887785379562253906760585175773216278385261504527291359451062\ 926806410343909101392541311016/134949894343278001521256361373548969\ 80232604275795986009944451491236767296458560085547135301*c_0110_6^1\ 3 + 186290032413450305160544287580402666756109715393012509861538473\ 003787472015514834829725588472888/134949894343278001521256361373548\ 96980232604275795986009944451491236767296458560085547135301*c_0110_\ 6^12 - 123329755298959849486285078059556601767008240017538869447252\ 316118672471491111425670437560326780/134949894343278001521256361373\ 54896980232604275795986009944451491236767296458560085547135301*c_01\ 10_6^11 - 132812888885006390672541656844785460044874909671126814428\ 158859602667399658546340423223551156244/134949894343278001521256361\ 37354896980232604275795986009944451491236767296458560085547135301*c\ _0110_6^10 + 672627967737872386625101293301693606008911208910976506\ 72699594964822232086889832107811955478442/1349498943432780015212563\ 6137354896980232604275795986009944451491236767296458560085547135301\ *c_0110_6^9 + 87795944101319180424423036752940002212312170891938310\ 771222901131029788367428545120577477252460/134949894343278001521256\ 3613735489698023260427579598600994445149123676729645856008554713530\ 1*c_0110_6^8 - 1672780465303493813732718209842591003946878435876027\ 6460112431947176637032664798666729715821390/13494989434327800152125\ 6361373548969802326042757959860099444514912367672964585600855471353\ 01*c_0110_6^7 - 310220287049789712945257887507253898318425955716659\ 65197889988157861414418631172449131929915161/1349498943432780015212\ 5636137354896980232604275795986009944451491236767296458560085547135\ 301*c_0110_6^6 + 41775606545136484786487212216950006396465570915649\ 13378560976869215225238735036988573639552071/1349498943432780015212\ 5636137354896980232604275795986009944451491236767296458560085547135\ 301*c_0110_6^5 + 15283986274107289502702112905783633119622455549140\ 92439309662272129172617607025162698824224560/1349498943432780015212\ 5636137354896980232604275795986009944451491236767296458560085547135\ 301*c_0110_6^4 + 80549019902312482926261772008376599228291761517229\ 8112891937192064267671232530647032105887837/13494989434327800152125\ 6361373548969802326042757959860099444514912367672964585600855471353\ 01*c_0110_6^3 - 190698114889021849026640970266760366518906848594545\ 650759451151717597924881160760444029627029/134949894343278001521256\ 3613735489698023260427579598600994445149123676729645856008554713530\ 1*c_0110_6^2 + 1042973316711045450833559593727976916533614446327840\ 4408049543793230901153209862420392146675/13494989434327800152125636\ 137354896980232604275795986009944451491236767296458560085547135301*\ c_0110_6 + 10358032107829324299117998671058741380418550599831430185\ 82133154053452255104608486703612274/1349498943432780015212563613735\ 4896980232604275795986009944451491236767296458560085547135301, c_0011_5 - 455981406179784217339091099933240729297684397431829021894924\ 073263010810003459141577846064/134949894343278001521256361373548969\ 80232604275795986009944451491236767296458560085547135301*c_0110_6^2\ 4 - 195050717137158185770277983142501717264150907880777782766953081\ 6215978129895665703659490044/13494989434327800152125636137354896980\ 232604275795986009944451491236767296458560085547135301*c_0110_6^23 + 4887085066704752299151444870965877986016004292299908948460094135039\ 5892073909880957997278486/13494989434327800152125636137354896980232\ 604275795986009944451491236767296458560085547135301*c_0110_6^22 + 3357390962434911811384148184657094925273491555873173285278259506165\ 42204660762169860829735575/1349498943432780015212563613735489698023\ 2604275795986009944451491236767296458560085547135301*c_0110_6^21 - 1289188996456036066121072485584161149249557334677626818308123636453\ 89541212749681634139366880/1349498943432780015212563613735489698023\ 2604275795986009944451491236767296458560085547135301*c_0110_6^20 - 3977638032863653631097376587816449712710877579597914858913724348031\ 088051165988570112349699862/134949894343278001521256361373548969802\ 32604275795986009944451491236767296458560085547135301*c_0110_6^19 + 3116326607414245790856296330165976695353097251711580507424799832940\ 375203767899080202524111151/134949894343278001521256361373548969802\ 32604275795986009944451491236767296458560085547135301*c_0110_6^18 + 3558090833116140811949763084687620210776293745716309951447336663348\ 4569510193323311152765741213/13494989434327800152125636137354896980\ 232604275795986009944451491236767296458560085547135301*c_0110_6^17 - 6409552185894952608783927850735508737359719304495750682098267884352\ 7836741539366262354094184430/13494989434327800152125636137354896980\ 232604275795986009944451491236767296458560085547135301*c_0110_6^16 - 5729410240352196168802669227394210171630799793853831629601868584832\ 2674499829017405693298100743/13494989434327800152125636137354896980\ 232604275795986009944451491236767296458560085547135301*c_0110_6^15 + 1859291761440091881760808161330888936172649093359257915351194394413\ 10359064128675404245433652502/1349498943432780015212563613735489698\ 0232604275795986009944451491236767296458560085547135301*c_0110_6^14 - 41843256040620200961164447250657465454690680635810127678455732314\ 318230001298293374173208845519/134949894343278001521256361373548969\ 80232604275795986009944451491236767296458560085547135301*c_0110_6^1\ 3 - 214568215108988400695609380187831530063098948022276581082034074\ 336289530595134618013387978907162/134949894343278001521256361373548\ 96980232604275795986009944451491236767296458560085547135301*c_0110_\ 6^12 + 126415610789001184078641947562585315534096169780091743708784\ 131065463342450099630706420046916319/134949894343278001521256361373\ 54896980232604275795986009944451491236767296458560085547135301*c_01\ 10_6^11 + 157042710130052566282703514461852769405971016399212745294\ 660711078208402041542989340282533895008/134949894343278001521256361\ 37354896980232604275795986009944451491236767296458560085547135301*c\ _0110_6^10 - 622627716735654232887524801808024662540265268222840113\ 95249483739006507282335548405338886775733/1349498943432780015212563\ 6137354896980232604275795986009944451491236767296458560085547135301\ *c_0110_6^9 - 10072433166165492887740827836853054899542429211389005\ 1378780739859608796200618743142926345511473/13494989434327800152125\ 6361373548969802326042757959860099444514912367672964585600855471353\ 01*c_0110_6^8 + 991614746327524624509287473056811586312770295150867\ 2996405595349014198525586516776442134432007/13494989434327800152125\ 6361373548969802326042757959860099444514912367672964585600855471353\ 01*c_0110_6^7 + 327416973256902186025084746125046457647657388727394\ 78713963368118984800418091315039763139476039/1349498943432780015212\ 5636137354896980232604275795986009944451491236767296458560085547135\ 301*c_0110_6^6 - 25200972776758313005733132174279731745903357437944\ 03595694317956539040460021912756949676752334/1349498943432780015212\ 5636137354896980232604275795986009944451491236767296458560085547135\ 301*c_0110_6^5 - 76953616782111685629725855143828789601507055303917\ 7220427870760274974881232712746879784493439/13494989434327800152125\ 6361373548969802326042757959860099444514912367672964585600855471353\ 01*c_0110_6^4 - 904702491687084833194704991251676447375411165727579\ 354527183102609097957993165730711888860468/134949894343278001521256\ 3613735489698023260427579598600994445149123676729645856008554713530\ 1*c_0110_6^3 + 1525916710421718014259804957520895689403722355694835\ 51453448018356377597344870576309934300390/1349498943432780015212563\ 6137354896980232604275795986009944451491236767296458560085547135301\ *c_0110_6^2 - 12935750445920403476143575950419825394976710527603559\ 268654184985931790061193114226700492350/134949894343278001521256361\ 37354896980232604275795986009944451491236767296458560085547135301*c\ _0110_6 - 475550027897090853661578367080981651706341873974868543818\ 0040293125487420775965055357861202/13494989434327800152125636137354\ 896980232604275795986009944451491236767296458560085547135301, c_0101_0 - 461096306114437039415617361791519355135101022468536961341258\ 171133459026329363734685038616/134949894343278001521256361373548969\ 80232604275795986009944451491236767296458560085547135301*c_0110_6^2\ 4 - 188575551280304493084413231802375621278071019749734063987885005\ 7462892769452064477227826412/13494989434327800152125636137354896980\ 232604275795986009944451491236767296458560085547135301*c_0110_6^23 + 4980101045599365665710624318288832449481897810389305348779288730087\ 2214175978469325646939414/13494989434327800152125636137354896980232\ 604275795986009944451491236767296458560085547135301*c_0110_6^22 + 3302695210972668656739307720466923350093039077863160922806750565333\ 53150843116004041847757770/1349498943432780015212563613735489698023\ 2604275795986009944451491236767296458560085547135301*c_0110_6^21 - 1953684452690741297652793643228820980543730034352756834197427024184\ 90549367343117649878353182/1349498943432780015212563613735489698023\ 2604275795986009944451491236767296458560085547135301*c_0110_6^20 - 4006196446801004194230753259166258835926031910800379366481875316079\ 550445942082748671506626067/134949894343278001521256361373548969802\ 32604275795986009944451491236767296458560085547135301*c_0110_6^19 + 3909710271861338517497616945242171553647859190667778858382258498395\ 546364687175400311021609072/134949894343278001521256361373548969802\ 32604275795986009944451491236767296458560085547135301*c_0110_6^18 + 3548655870574298758209226137106472518101991751661334073781176856584\ 8939984428464166858172376909/13494989434327800152125636137354896980\ 232604275795986009944451491236767296458560085547135301*c_0110_6^17 - 7164785139048555877877340613878941479122681218688778638285835297330\ 3870494921867447920798027186/13494989434327800152125636137354896980\ 232604275795986009944451491236767296458560085547135301*c_0110_6^16 - 4664175482341260916209097346516808776514268873505551352582891035818\ 9128204755408763475850679912/13494989434327800152125636137354896980\ 232604275795986009944451491236767296458560085547135301*c_0110_6^15 + 2004570129215467061594198606662575030451168191885683171184668003916\ 97971472804168209742228978256/1349498943432780015212563613735489698\ 0232604275795986009944451491236767296458560085547135301*c_0110_6^14 - 76220456117711680657495639907112774889916445890859840464708150087\ 071554652997205965152324939246/134949894343278001521256361373548969\ 80232604275795986009944451491236767296458560085547135301*c_0110_6^1\ 3 - 213489741662988828537443872690795378599044166569285762851650652\ 408058994257329236499523096623812/134949894343278001521256361373548\ 96980232604275795986009944451491236767296458560085547135301*c_0110_\ 6^12 + 169615353863999651766901048883036298836515173039830584452959\ 557502330287903228743126830139787374/134949894343278001521256361373\ 54896980232604275795986009944451491236767296458560085547135301*c_01\ 10_6^11 + 139867149103654747726540924818157106227366442610407072102\ 319496494818149149048147688930090528002/134949894343278001521256361\ 37354896980232604275795986009944451491236767296458560085547135301*c\ _0110_6^10 - 958004294566189784831708169078217004662424388474042866\ 13872340125338589429153467436669677204771/1349498943432780015212563\ 6137354896980232604275795986009944451491236767296458560085547135301\ *c_0110_6^9 - 93654345999827911506025212334120176691071294421932278\ 585945692310154263187747035195118569744795/134949894343278001521256\ 3613735489698023260427579598600994445149123676729645856008554713530\ 1*c_0110_6^8 + 3054049475887561767035296778136831063809115397189136\ 8305859626485341549888314123265480811935946/13494989434327800152125\ 6361373548969802326042757959860099444514912367672964585600855471353\ 01*c_0110_6^7 + 333922801641783378117219849736944021274142711075160\ 71426067912191634032650876499767179518031275/1349498943432780015212\ 5636137354896980232604275795986009944451491236767296458560085547135\ 301*c_0110_6^6 - 90185633281649232709328160760489865687442128836425\ 30310800123804618259418380614688405750225162/1349498943432780015212\ 5636137354896980232604275795986009944451491236767296458560085547135\ 301*c_0110_6^5 - 90302260311927088635245254012798481171184289247780\ 8409418515046007730112013071362552637217320/13494989434327800152125\ 6361373548969802326042757959860099444514912367672964585600855471353\ 01*c_0110_6^4 - 613321037374797084307722151879376546731692856255610\ 446415652342812648465959892712334925204952/134949894343278001521256\ 3613735489698023260427579598600994445149123676729645856008554713530\ 1*c_0110_6^3 + 3033533371631932813991205344875482348821662109659460\ 93326911516064721841330641765847821380896/1349498943432780015212563\ 6137354896980232604275795986009944451491236767296458560085547135301\ *c_0110_6^2 - 55231611895032071045316193051300376157609089387079863\ 189840752284340290956557770594911156380/134949894343278001521256361\ 37354896980232604275795986009944451491236767296458560085547135301*c\ _0110_6 - 553476888588661475107907415081268958587549316436507491241\ 5739348094606101713200188217518166/13494989434327800152125636137354\ 896980232604275795986009944451491236767296458560085547135301, c_0101_1 - 147086761295891563516702750152599857561916430285695584454595\ 6912235758399782866885749110988/13494989434327800152125636137354896\ 980232604275795986009944451491236767296458560085547135301*c_0110_6^\ 24 - 63568206686652871889286814554134468259281796386057679944011186\ 98439806139739929177365163658/1349498943432780015212563613735489698\ 0232604275795986009944451491236767296458560085547135301*c_0110_6^23 + 15739921431734242799420094201381037339175720624403446504430956907\ 2898578206855262738455587737/13494989434327800152125636137354896980\ 232604275795986009944451491236767296458560085547135301*c_0110_6^22 + 1090127005754989356000353857526877584874030464729130426144007191921\ 738564239892934851932184892/134949894343278001521256361373548969802\ 32604275795986009944451491236767296458560085547135301*c_0110_6^21 - 3715342861773468777741956121767162581761222276143097231599756412017\ 17335748839807014174843743/1349498943432780015212563613735489698023\ 2604275795986009944451491236767296458560085547135301*c_0110_6^20 - 1287532103890665470194311379104162183610501666217912449390546127230\ 8015736319716183563479478478/13494989434327800152125636137354896980\ 232604275795986009944451491236767296458560085547135301*c_0110_6^19 + 9484755243754226986145984988060957880584005062280421686117310786926\ 427885629106966273504296119/134949894343278001521256361373548969802\ 32604275795986009944451491236767296458560085547135301*c_0110_6^18 + 1155115298490565853056357876695087863072400361157050542286632811667\ 31353040766875778451677602779/1349498943432780015212563613735489698\ 0232604275795986009944451491236767296458560085547135301*c_0110_6^17 - 20180303161483837509009820469836008816244398545909934347768626516\ 2620247410595435550782078472196/13494989434327800152125636137354896\ 980232604275795986009944451491236767296458560085547135301*c_0110_6^\ 16 - 19662306576564933590281447927107644620907279008354208014236381\ 8258879228016202686177351884918180/13494989434327800152125636137354\ 896980232604275795986009944451491236767296458560085547135301*c_0110\ _6^15 + 59535082802566399668674660142079377404132193604528642316477\ 3803864563194140338088138133174672651/13494989434327800152125636137\ 354896980232604275795986009944451491236767296458560085547135301*c_0\ 110_6^14 - 10296645292511723101464336748657184887097154528423899926\ 6051022502873728665543999447853459780142/13494989434327800152125636\ 137354896980232604275795986009944451491236767296458560085547135301*\ c_0110_6^13 - 70972314537801314080688509204652525159619039772029818\ 0867056387384587989902998271886032446629106/13494989434327800152125\ 6361373548969802326042757959860099444514912367672964585600855471353\ 01*c_0110_6^12 + 37630901711158264783957016160578097717182592472468\ 9860549438537091522180451697359557297096208082/13494989434327800152\ 1256361373548969802326042757959860099444514912367672964585600855471\ 35301*c_0110_6^11 + 53989539584729705986842780606106347859687377532\ 9176035855196020829072525067236784395678192259110/13494989434327800\ 1521256361373548969802326042757959860099444514912367672964585600855\ 47135301*c_0110_6^10 - 18247888614078984450871530924686267729051528\ 7752085589461929448672310464459459664963324623469927/13494989434327\ 8001521256361373548969802326042757959860099444514912367672964585600\ 85547135301*c_0110_6^9 - 346531307523686200984634768300055463643603\ 917741118093319284217586784943657695015991000125165174/134949894343\ 2780015212563613735489698023260427579598600994445149123676729645856\ 0085547135301*c_0110_6^8 + 1799775277908162343251810362719125551851\ 9723860964283341361767795925339363576479620070745707541/13494989434\ 3278001521256361373548969802326042757959860099444514912367672964585\ 60085547135301*c_0110_6^7 + 114119768514797942976366038958611677132\ 355172060985923329548363917335664004827458941525097813155/134949894\ 3432780015212563613735489698023260427579598600994445149123676729645\ 8560085547135301*c_0110_6^6 - 2221750828186224447739641616175157466\ 664944841578801070873288111631357659979213742566975188899/134949894\ 3432780015212563613735489698023260427579598600994445149123676729645\ 8560085547135301*c_0110_6^5 - 4646903656712333193107338904937176634\ 794903229918211377471635605234975412394686227666074603254/134949894\ 3432780015212563613735489698023260427579598600994445149123676729645\ 8560085547135301*c_0110_6^4 - 3171903904705270618502382646698273267\ 918572256304488386716723008898410767556097991543993403585/134949894\ 3432780015212563613735489698023260427579598600994445149123676729645\ 8560085547135301*c_0110_6^3 + 4428181663504000830681969279627445728\ 50156515083606175128997032500253961727718585898854881689/1349498943\ 4327800152125636137354896980232604275795986009944451491236767296458\ 560085547135301*c_0110_6^2 + 39480717581812941869387354132611456425\ 056385286261618058157759460034405794443936776040378144/134949894343\ 2780015212563613735489698023260427579598600994445149123676729645856\ 0085547135301*c_0110_6 - 174058417679050594652421922562658962537619\ 73211193543040428568383792269224432738202796105293/1349498943432780\ 0152125636137354896980232604275795986009944451491236767296458560085\ 547135301, c_0101_3 + 669147754294752512243547058199858206957277480480390351615286\ 664422286203400724995858727448/134949894343278001521256361373548969\ 80232604275795986009944451491236767296458560085547135301*c_0110_6^2\ 4 + 290852923331171398708372625613380296730397279795345297857276443\ 6150412960217844921635737472/13494989434327800152125636137354896980\ 232604275795986009944451491236767296458560085547135301*c_0110_6^23 - 7152361454922041997021662379945792248100620121314729282241005814309\ 1972706552417134312373248/13494989434327800152125636137354896980232\ 604275795986009944451491236767296458560085547135301*c_0110_6^22 - 4976604022579377709885450621795357504193325341736039933487497952185\ 30367568143391326329405049/1349498943432780015212563613735489698023\ 2604275795986009944451491236767296458560085547135301*c_0110_6^21 + 1555758327672537467538800426371178945403723002764427539889562372772\ 59164267237808369092522254/1349498943432780015212563613735489698023\ 2604275795986009944451491236767296458560085547135301*c_0110_6^20 + 5853088081286531565097479966676109384249931217682409257688438306427\ 747254334592539797567684060/134949894343278001521256361373548969802\ 32604275795986009944451491236767296458560085547135301*c_0110_6^19 - 4170284471934950757205259792999448711727727034107408649670855976842\ 877006038524106754980624205/134949894343278001521256361373548969802\ 32604275795986009944451491236767296458560085547135301*c_0110_6^18 - 5256273803754572809196793564610327969711540658928218117639632747335\ 8723997994951134136469970440/13494989434327800152125636137354896980\ 232604275795986009944451491236767296458560085547135301*c_0110_6^17 + 9046955611660722531332410019119250624406913027044257598657711024720\ 0397113389257928728627168954/13494989434327800152125636137354896980\ 232604275795986009944451491236767296458560085547135301*c_0110_6^16 + 9086820545787612957013214370128443533877428182777134656035904793149\ 3344086436006754069969124236/13494989434327800152125636137354896980\ 232604275795986009944451491236767296458560085547135301*c_0110_6^15 - 2674643282442419771793370148605017050229843740219774221573362944678\ 42313412200239689433694864057/1349498943432780015212563613735489698\ 0232604275795986009944451491236767296458560085547135301*c_0110_6^14 + 41922582116706223700681161559473754057841003594528579124476836747\ 949821043613545764682663868734/134949894343278001521256361373548969\ 80232604275795986009944451491236767296458560085547135301*c_0110_6^1\ 3 + 320510838656515127495266937128006983946287137536653616111312009\ 637551783278906663140334302507731/134949894343278001521256361373548\ 96980232604275795986009944451491236767296458560085547135301*c_0110_\ 6^12 - 163667310686007851481464299833523981065063509406034466232235\ 849150532867659547081443297397543811/134949894343278001521256361373\ 54896980232604275795986009944451491236767296458560085547135301*c_01\ 10_6^11 - 245275867500349431778439730711591741294905306642968745602\ 307850737299549940675751370445526434266/134949894343278001521256361\ 37354896980232604275795986009944451491236767296458560085547135301*c\ _0110_6^10 + 761370976682600727181741372950220520579390537752611317\ 09775411869724396593634801491956665076159/1349498943432780015212563\ 6137354896980232604275795986009944451491236767296458560085547135301\ *c_0110_6^9 + 15579470151308272922581021794065540200576156715066051\ 5179967227649858489244679957484784677792905/13494989434327800152125\ 6361373548969802326042757959860099444514912367672964585600855471353\ 01*c_0110_6^8 - 477297212870885604341186244780614267334232483359382\ 6416982365426297953002337158691018966499149/13494989434327800152125\ 6361373548969802326042757959860099444514912367672964585600855471353\ 01*c_0110_6^7 - 499674783299294396108610534066547454363000231797949\ 75096858749416338716657894964406467780872256/1349498943432780015212\ 5636137354896980232604275795986009944451491236767296458560085547135\ 301*c_0110_6^6 + 50403133647355412595089756513884817742162621486392\ 6224631612896627368222546653432308266467410/13494989434327800152125\ 6361373548969802326042757959860099444514912367672964585600855471353\ 01*c_0110_6^5 + 174864121625618026924379607950484670537082094456121\ 3409305577789622857507455339165683126187108/13494989434327800152125\ 6361373548969802326042757959860099444514912367672964585600855471353\ 01*c_0110_6^4 + 134326123999592587203263789774107977842856132439678\ 4369612636231015182722833624891088329069866/13494989434327800152125\ 6361373548969802326042757959860099444514912367672964585600855471353\ 01*c_0110_6^3 - 196897191751871290438724456453963021381578227191118\ 000192310875519819644313979084596183776806/134949894343278001521256\ 3613735489698023260427579598600994445149123676729645856008554713530\ 1*c_0110_6^2 - 6408152340524791866739412775290127942557944615851035\ 374852233670551888569496794112926001998/134949894343278001521256361\ 37354896980232604275795986009944451491236767296458560085547135301*c\ _0110_6 + 722922529633296262630497906654563525177785596190299378253\ 3804344607343384142724640412577999/13494989434327800152125636137354\ 896980232604275795986009944451491236767296458560085547135301, c_0110_6^25 + 9/2*c_0110_6^24 - 425/4*c_0110_6^23 - 3041/4*c_0110_6^22 + 243/2*c_0110_6^21 + 8805*c_0110_6^20 - 19569/4*c_0110_6^19 - 319039/4*c_0110_6^18 + 493121/4*c_0110_6^17 + 635267/4*c_0110_6^16 - 1529249/4*c_0110_6^15 - 12317/4*c_0110_6^14 + 498906*c_0110_6^13 - 684995/4*c_0110_6^12 - 833907/2*c_0110_6^11 + 247879/4*c_0110_6^10 + 260565*c_0110_6^9 + 55553/2*c_0110_6^8 - 326551/4*c_0110_6^7 - 46575/4*c_0110_6^6 + 16529/4*c_0110_6^5 + 2495*c_0110_6^4 + 179/4*c_0110_6^3 - 77*c_0110_6^2 + 16*c_0110_6 + 11/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.250 seconds, Total memory usage: 32.09MB