Magma V2.19-8 Tue Aug 20 2013 16:16:42 on localhost [Seed = 2783197548] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0995 geometric_solution 4.88569257 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 1 1 0 3201 0132 3201 2310 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.556218557186 0.530739420050 0 0 2 2 2310 0132 3201 0132 0 0 0 0 0 1 0 -1 0 0 1 -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 -1 -1 2 0 0 -1 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.292811153542 0.226010706542 1 3 1 4 2310 0132 0132 0132 0 0 0 0 0 0 1 -1 -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 1 -2 1 1 0 -1 0 1 -1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.840455749243 0.924838015145 4 2 4 5 3120 0132 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 -1 0 1 0 0 0 0 -1 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.716989686882 0.716570606563 5 3 2 3 1023 1230 0132 3120 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 -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.716989686882 0.716570606563 6 4 3 6 0132 1023 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 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.950231174564 0.369093280363 5 5 6 6 0132 2310 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.474833025018 0.374006359745 ==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' : d['1'], 's_3_4' : d['1'], 's_3_0' : 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_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_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_0101_5'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_2']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : negation(d['c_0011_2']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0101_1']), 'c_0101_3' : d['c_0011_2'], 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), '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' : negation(d['c_0101_1']), 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0011_4']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : negation(d['c_0101_0']), 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0011_2'], 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0011_4']), 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0101_0']})} 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_4, c_0101_0, c_0101_1, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 33 Groebner basis: [ t - 1353996907450576181913004415740088029223108167146222272439039612139\ 076424137/796675382040405788859885663135852091578655238152410166587\ 797638830799529*c_0101_6^32 - 1531776373073879938045315090372273232\ 56403566062126647460612188446424642483/7966753820404057888598856631\ 35852091578655238152410166587797638830799529*c_0101_6^31 - 9793902887770601131484693432638113878344120701427557800559867901924\ 7023355/79667538204040578885988566313585209157865523815241016658779\ 7638830799529*c_0101_6^30 - 216452422853117552808568284935341114482\ 48397861577012347311326426512803563134/7966753820404057888598856631\ 35852091578655238152410166587797638830799529*c_0101_6^29 + 1058529963204240163924777836186038180480679675936372482392152486423\ 80999044869/7966753820404057888598856631358520915786552381524101665\ 87797638830799529*c_0101_6^28 - 38049083131830558761169516288591777\ 683543038745092304151653618713699035223909/796675382040405788859885\ 663135852091578655238152410166587797638830799529*c_0101_6^27 + 4237094935859030178436690592845907206647919421580216269056247597613\ 97942153523/7966753820404057888598856631358520915786552381524101665\ 87797638830799529*c_0101_6^26 - 15938274580095767747875299805641883\ 7983127801963104043986592555888953454535233/79667538204040578885988\ 5663135852091578655238152410166587797638830799529*c_0101_6^25 - 2336772960538096234343352524186201497647287758996328978750043037657\ 420033484408/796675382040405788859885663135852091578655238152410166\ 587797638830799529*c_0101_6^24 + 2553577302494206753857622512824311\ 751836397926457917622064783451917699580424737/796675382040405788859\ 885663135852091578655238152410166587797638830799529*c_0101_6^23 - 6581586301970876455155490878341994685059442409820039982425042224548\ 510016812616/796675382040405788859885663135852091578655238152410166\ 587797638830799529*c_0101_6^22 - 1390971977346020207991813903353260\ 2375210825285553536080150928786574481772288/79667538204040578885988\ 5663135852091578655238152410166587797638830799529*c_0101_6^21 + 1518417060375957583139990428217538223672291900690036373705357590831\ 4039294237284/79667538204040578885988566313585209157865523815241016\ 6587797638830799529*c_0101_6^20 - 295389012831327088876505086503488\ 70014341922740661413873082021778806669312730623/7966753820404057888\ 59885663135852091578655238152410166587797638830799529*c_0101_6^19 + 4617622327218945646675082346884300521572220970781010234431266501008\ 8455313031152/79667538204040578885988566313585209157865523815241016\ 6587797638830799529*c_0101_6^18 + 114471095656143401115077856969469\ 502225930263280797010460164383215817054315315221/796675382040405788\ 859885663135852091578655238152410166587797638830799529*c_0101_6^17 - 1376650357708498770198924688934102188910858573546503816296480636605\ 61271232620372/7966753820404057888598856631358520915786552381524101\ 66587797638830799529*c_0101_6^16 - 2069856548914348735825890394165863972913069709595304622917141480433\ 664314812695/215317670821731294286455584631311376102339253554705450\ 42913449698129717*c_0101_6^15 + 26883262284275751636994463272920001\ 0891796149970573483676799291748767540012181784/79667538204040578885\ 9885663135852091578655238152410166587797638830799529*c_0101_6^14 - 1965275152117193823498898160403235010316596723193849010417313891269\ 94823753353120/7966753820404057888598856631358520915786552381524101\ 66587797638830799529*c_0101_6^13 - 6370490353507430273987556202177308018656541413053463368028187545998\ 06345677084622/7966753820404057888598856631358520915786552381524101\ 66587797638830799529*c_0101_6^12 + 6022410819789918604024741704705833427330196887187084873854651252269\ 2399398090494/79667538204040578885988566313585209157865523815241016\ 6587797638830799529*c_0101_6^11 + 558683278395156955627470441832548\ 830046658303058966899280158367045789891389868665/796675382040405788\ 859885663135852091578655238152410166587797638830799529*c_0101_6^10 + 1166755620022843500525100322059400401698403249021363625962425654094\ 02784032109071/7966753820404057888598856631358520915786552381524101\ 66587797638830799529*c_0101_6^9 - 205199963859066257681592576531248\ 779946302914745519545916459737528411050545382051/796675382040405788\ 859885663135852091578655238152410166587797638830799529*c_0101_6^8 - 7416284156631852050701757903308146865715947577776343849517904191569\ 6676829235114/79667538204040578885988566313585209157865523815241016\ 6587797638830799529*c_0101_6^7 + 3200011354939742802775472264249728\ 2197868633036673015166254076734471511478969931/79667538204040578885\ 9885663135852091578655238152410166587797638830799529*c_0101_6^6 + 1534374211224113678975886982301409241793345870503557705537782938861\ 3592803717693/79667538204040578885988566313585209157865523815241016\ 6587797638830799529*c_0101_6^5 - 1595749484622891581743098844874112\ 421328882204138388504988256523350895060056852/796675382040405788859\ 885663135852091578655238152410166587797638830799529*c_0101_6^4 - 1188056395567845576471223894459133585896798337411429160201255745690\ 951280448709/796675382040405788859885663135852091578655238152410166\ 587797638830799529*c_0101_6^3 - 56942443481580559474300449233878860\ 240450206701802374724250914663045269640716/796675382040405788859885\ 663135852091578655238152410166587797638830799529*c_0101_6^2 + 2231902897609549080151520844996707678653940417167906634386902395000\ 5535834117/79667538204040578885988566313585209157865523815241016658\ 7797638830799529*c_0101_6 + 543911378331466905443092093975752790502\ 2526421591579634732458272471400588832/79667538204040578885988566313\ 5852091578655238152410166587797638830799529, c_0011_0 - 1, c_0011_2 - 331333180344324121235528668427641978514696946317308299157827\ 1179764405200/79667538204040578885988566313585209157865523815241016\ 6587797638830799529*c_0101_6^32 + 209517128022479128896342044155493\ 4120759513857535202981596233588492174250/79667538204040578885988566\ 3135852091578655238152410166587797638830799529*c_0101_6^31 - 1378953612009307313946880116749299002608737375250060162300949442645\ 498098/796675382040405788859885663135852091578655238152410166587797\ 638830799529*c_0101_6^30 - 5207819512408084146691449826169436669822\ 3478635159344475323499412046722218/79667538204040578885988566313585\ 2091578655238152410166587797638830799529*c_0101_6^29 + 8052276732115526672397641574058344919012427671305668084075511801032\ 336378/215317670821731294286455584631311376102339253554705450429134\ 49698129717*c_0101_6^28 - 30848444552361361070729284071683580135162\ 6700997001193476169360028569054108/79667538204040578885988566313585\ 2091578655238152410166587797638830799529*c_0101_6^27 + 1230800926474005697161725169819350381811323238071496725098149489195\ 271289850/796675382040405788859885663135852091578655238152410166587\ 797638830799529*c_0101_6^26 - 1279952063829397462298457579490879120\ 080735738049145302405675612082123248344/796675382040405788859885663\ 135852091578655238152410166587797638830799529*c_0101_6^25 - 4907546062931587370916412744576122051171677401022501019776458642950\ 431446912/796675382040405788859885663135852091578655238152410166587\ 797638830799529*c_0101_6^24 + 1001920669004140953099870296170494702\ 4939481552563253499998188100156618610367/79667538204040578885988566\ 3135852091578655238152410166587797638830799529*c_0101_6^23 - 2289034256598471823354805836400814571938911482666337659629767043495\ 3854077907/79667538204040578885988566313585209157865523815241016658\ 7797638830799529*c_0101_6^22 + 159263639829147332359841588024858978\ 27950219692581152310092248212153970729026/7966753820404057888598856\ 63135852091578655238152410166587797638830799529*c_0101_6^21 + 2781139239114731923729641024467603645142098556895600081745540964433\ 4926140974/79667538204040578885988566313585209157865523815241016658\ 7797638830799529*c_0101_6^20 - 940970361948554045645182853908356163\ 93112560609261268946899513453461116309674/7966753820404057888598856\ 63135852091578655238152410166587797638830799529*c_0101_6^19 + 1788017247363046708111299305188085966292358028277879616266988053328\ 51217568001/7966753820404057888598856631358520915786552381524101665\ 87797638830799529*c_0101_6^18 + 15802965232710301650054305854846151\ 7203538646987807602812968736021626099211637/79667538204040578885988\ 5663135852091578655238152410166587797638830799529*c_0101_6^17 - 1281042232302430247759283896132002704011038856698749870539675382190\ 3479481440/21531767082173129428645558463131137610233925355470545042\ 913449698129717*c_0101_6^16 + 1384557077334321373200638792413885395\ 95920738241357703485514066688519866469722/7966753820404057888598856\ 63135852091578655238152410166587797638830799529*c_0101_6^15 + 6103253136136283364073559219799730818093849820531005563489181150773\ 87830741766/7966753820404057888598856631358520915786552381524101665\ 87797638830799529*c_0101_6^14 - 93617760209487685094042090474307848\ 7962430266463070578614244693773422242148322/79667538204040578885988\ 5663135852091578655238152410166587797638830799529*c_0101_6^13 - 9460726482827930107870954283642882562672671757992355406254743169053\ 26411794581/7966753820404057888598856631358520915786552381524101665\ 87797638830799529*c_0101_6^12 + 95204639567107301762403364079427334\ 1654345947418267897462660762774915972833685/79667538204040578885988\ 5663135852091578655238152410166587797638830799529*c_0101_6^11 + 8138188312483874282096570559266924510102264753965089613659709232615\ 06502343197/7966753820404057888598856631358520915786552381524101665\ 87797638830799529*c_0101_6^10 - 41163497289582739652568181325293528\ 4638578651183820216596892764417599693352124/79667538204040578885988\ 5663135852091578655238152410166587797638830799529*c_0101_6^9 - 3322987492081694158263253415242456786088275404201558125558398755602\ 56667932641/7966753820404057888598856631358520915786552381524101665\ 87797638830799529*c_0101_6^8 + 921998044869437891866374170432305649\ 43301849850850460239193507834785842068503/7966753820404057888598856\ 63135852091578655238152410166587797638830799529*c_0101_6^7 + 6423273890709574182088226066706465333909818883880701012340523189073\ 1851263298/79667538204040578885988566313585209157865523815241016658\ 7797638830799529*c_0101_6^6 - 1158235851471903465998686159857501129\ 5052047019183544038053063003362790204082/79667538204040578885988566\ 3135852091578655238152410166587797638830799529*c_0101_6^5 - 5323473397206032328400500379240522278503541578423328497988264108113\ 071928759/796675382040405788859885663135852091578655238152410166587\ 797638830799529*c_0101_6^4 + 62989412294610687802543461482576786952\ 7729771257678070358331903689317763290/79667538204040578885988566313\ 5852091578655238152410166587797638830799529*c_0101_6^3 + 1373304752699889869325019678472666445007329742380321487146515400417\ 21956839/7966753820404057888598856631358520915786552381524101665877\ 97638830799529*c_0101_6^2 + 140158626545540461660792104830343558427\ 12423688576843605617778661235152449/7966753820404057888598856631358\ 52091578655238152410166587797638830799529*c_0101_6 - 5963582993818566723222340050636421471823090381435090421023221254840\ 460466/796675382040405788859885663135852091578655238152410166587797\ 638830799529, c_0011_4 - 197381291100894134397193953703355737639954491985949009276004\ 1898182198445/79667538204040578885988566313585209157865523815241016\ 6587797638830799529*c_0101_6^32 + 183941426093864141657163144499773\ 7550651931359555407460903016366357339696/79667538204040578885988566\ 3135852091578655238152410166587797638830799529*c_0101_6^31 - 1051547460566347194019630015728921785335323020660196132940622055132\ 449955/796675382040405788859885663135852091578655238152410166587797\ 638830799529*c_0101_6^30 - 3082549413780381468929870863502784955028\ 4482055930840469203158400894969748/79667538204040578885988566313585\ 2091578655238152410166587797638830799529*c_0101_6^29 + 1868340302214076414833999178186317621288334428466310186223597956556\ 20382000/7966753820404057888598856631358520915786552381524101665877\ 97638830799529*c_0101_6^28 - 23467754027535071221091149149029860235\ 6637122698559675102799270160310985105/79667538204040578885988566313\ 5852091578655238152410166587797638830799529*c_0101_6^27 + 7760360718440661092207490067606808817960318448408022121337981316901\ 04377065/7966753820404057888598856631358520915786552381524101665877\ 97638830799529*c_0101_6^26 - 97229635452341365267169440520081635522\ 2033189008037687510271933255957172076/79667538204040578885988566313\ 5852091578655238152410166587797638830799529*c_0101_6^25 - 2746594608833383188365777712390174679086487468548610218643125412276\ 162112422/796675382040405788859885663135852091578655238152410166587\ 797638830799529*c_0101_6^24 + 6886537683347328901892926604440451187\ 595396046130256604471709802738948564349/796675382040405788859885663\ 135852091578655238152410166587797638830799529*c_0101_6^23 - 1520468509024083115309817987222334091410878699760559197547051988920\ 2022477985/79667538204040578885988566313585209157865523815241016658\ 7797638830799529*c_0101_6^22 + 132142814854868311954417726763258642\ 87986398300575289320602142184542283978253/7966753820404057888598856\ 63135852091578655238152410166587797638830799529*c_0101_6^21 + 1461377926463127658857564325776276409651178306733072811011106382852\ 0162989412/79667538204040578885988566313585209157865523815241016658\ 7797638830799529*c_0101_6^20 - 614747680273517757216816843139730091\ 48260959636217531763900062746966466522934/7966753820404057888598856\ 63135852091578655238152410166587797638830799529*c_0101_6^19 + 1220731974501483162833190316903086718617602497129676435944625674950\ 05385440030/7966753820404057888598856631358520915786552381524101665\ 87797638830799529*c_0101_6^18 + 65772354295988951103956556947005710\ 434618467668201846968932994090479130227136/796675382040405788859885\ 663135852091578655238152410166587797638830799529*c_0101_6^17 - 3171388119109936302545726669546353717268271517612302514128058040279\ 21676008810/7966753820404057888598856631358520915786552381524101665\ 87797638830799529*c_0101_6^16 + 15838493192867875447017440120445874\ 4149894209321287296128229579026608075671903/79667538204040578885988\ 5663135852091578655238152410166587797638830799529*c_0101_6^15 + 3560760102534765358450968729997290826236326672727488506280359163398\ 25687812672/7966753820404057888598856631358520915786552381524101665\ 87797638830799529*c_0101_6^14 - 66700978537328077915260568280563889\ 7185015532073221529757552516874795303306274/79667538204040578885988\ 5663135852091578655238152410166587797638830799529*c_0101_6^13 - 4223276639030799712712628551189841127996174011638243711117801359096\ 34142676153/7966753820404057888598856631358520915786552381524101665\ 87797638830799529*c_0101_6^12 + 76726074310933576064343528751554141\ 1518219336828153063889382234948884706806212/79667538204040578885988\ 5663135852091578655238152410166587797638830799529*c_0101_6^11 + 3657108289503850099439582556368495146607593849488861097522979535146\ 74369911755/7966753820404057888598856631358520915786552381524101665\ 87797638830799529*c_0101_6^10 - 41394231770234996610637410212026030\ 1053387213901619340180561478841162947942633/79667538204040578885988\ 5663135852091578655238152410166587797638830799529*c_0101_6^9 - 1675451796359304769999253860690036428794732974365503147010364314853\ 61161626132/7966753820404057888598856631358520915786552381524101665\ 87797638830799529*c_0101_6^8 + 117804398468575567116544840032166825\ 791838400342713198160041535327070970151231/796675382040405788859885\ 663135852091578655238152410166587797638830799529*c_0101_6^7 + 3782502596423277968966769648492860082702264713198081071095371211328\ 9405173864/79667538204040578885988566313585209157865523815241016658\ 7797638830799529*c_0101_6^6 - 1737222994913678970788149516375877335\ 3509875356033740550872317712442925150001/79667538204040578885988566\ 3135852091578655238152410166587797638830799529*c_0101_6^5 - 3815409654628085381105719099415393143918054601046324181102939209875\ 623678159/796675382040405788859885663135852091578655238152410166587\ 797638830799529*c_0101_6^4 + 10547208728630092376881017093185136476\ 22617324594002729164803315937221234443/7966753820404057888598856631\ 35852091578655238152410166587797638830799529*c_0101_6^3 + 1551298380351378388400413679634703670272593225239909314174014373478\ 84635175/7966753820404057888598856631358520915786552381524101665877\ 97638830799529*c_0101_6^2 + 233511470377148958064201845484363499432\ 9843478124531969264250382563020897/79667538204040578885988566313585\ 2091578655238152410166587797638830799529*c_0101_6 - 7242139877561092890579705270643418863800322359996383818710108593821\ 259898/796675382040405788859885663135852091578655238152410166587797\ 638830799529, c_0101_0 - 228544468495000744242132935492261373844303265837334767182171\ 5267175748804/79667538204040578885988566313585209157865523815241016\ 6587797638830799529*c_0101_6^32 + 133666234035085390154528310616090\ 548721009443118102927127106048729435230/796675382040405788859885663\ 135852091578655238152410166587797638830799529*c_0101_6^31 - 3244172216689880921577227274035882287419534122353659748376055960020\ 79454/7966753820404057888598856631358520915786552381524101665877976\ 38830799529*c_0101_6^30 - 36383150973018012507617718784670306812671\ 395078011647987946370420319568291/796675382040405788859885663135852\ 091578655238152410166587797638830799529*c_0101_6^29 + 1848269552428933601107396878508492149679080287807396230551927812538\ 35459511/7966753820404057888598856631358520915786552381524101665877\ 97638830799529*c_0101_6^28 - 98037172089185883105886302111270529139\ 467468716700716749391713093261126048/796675382040405788859885663135\ 852091578655238152410166587797638830799529*c_0101_6^27 + 7443788559525515573565254847061328456667931303367802653722236895610\ 71114037/7966753820404057888598856631358520915786552381524101665877\ 97638830799529*c_0101_6^26 - 41076452461425725767783077733999893263\ 7533291235105001918004847232985251045/79667538204040578885988566313\ 5852091578655238152410166587797638830799529*c_0101_6^25 - 3819572438665419088762753695212844387538719343183167427232960176805\ 326643012/796675382040405788859885663135852091578655238152410166587\ 797638830799529*c_0101_6^24 + 4904243187314440211143142741143433655\ 117109730785857732167083176310313534792/796675382040405788859885663\ 135852091578655238152410166587797638830799529*c_0101_6^23 - 1213460588594249493778109531795393624097582191995048839852485128912\ 3192171783/79667538204040578885988566313585209157865523815241016658\ 7797638830799529*c_0101_6^22 + 246351594386010298943276782741622891\ 4769109220850072966232871934211688056728/79667538204040578885988566\ 3135852091578655238152410166587797638830799529*c_0101_6^21 + 2421656401101384154296786250054803947053055869624789766673380722602\ 5655878510/79667538204040578885988566313585209157865523815241016658\ 7797638830799529*c_0101_6^20 - 531887975670748299856296429178997717\ 62367851648351947326535641582400248463752/7966753820404057888598856\ 63135852091578655238152410166587797638830799529*c_0101_6^19 + 8789335075827315140543321789926011035515118239723259149577781181370\ 9884941691/79667538204040578885988566313585209157865523815241016658\ 7797638830799529*c_0101_6^18 + 174552080784148332232059129778909917\ 381922502222515779151274559185187769800450/796675382040405788859885\ 663135852091578655238152410166587797638830799529*c_0101_6^17 - 2547820430131433984096035345544065011678123872084779876120939701008\ 12703006568/7966753820404057888598856631358520915786552381524101665\ 87797638830799529*c_0101_6^16 - 80297980886483207540264405219749825\ 890787655671672770946764926121554526841612/796675382040405788859885\ 663135852091578655238152410166587797638830799529*c_0101_6^15 + 4496130124656061846863885067488826267103260546320609865342131147213\ 95862254225/7966753820404057888598856631358520915786552381524101665\ 87797638830799529*c_0101_6^14 - 40236998095417784677566827682789094\ 0930279547000095995652172497835101012476011/79667538204040578885988\ 5663135852091578655238152410166587797638830799529*c_0101_6^13 - 9849590340346899189826296544849491764657529984519571700345133354087\ 65436067837/7966753820404057888598856631358520915786552381524101665\ 87797638830799529*c_0101_6^12 + 23461553863584194685730416383025167\ 2035328761140895693788595382002454999134465/79667538204040578885988\ 5663135852091578655238152410166587797638830799529*c_0101_6^11 + 8679284071328506931511306213907190647720429579322018705000907701426\ 95936624689/7966753820404057888598856631358520915786552381524101665\ 87797638830799529*c_0101_6^10 + 81315859249922148974802882708599571\ 713703303671102082138513837795370379507500/796675382040405788859885\ 663135852091578655238152410166587797638830799529*c_0101_6^9 - 3289082497697475882531981649216846898443432104191300962815689744729\ 99964192681/7966753820404057888598856631358520915786552381524101665\ 87797638830799529*c_0101_6^8 - 802040140719933854956798493873702575\ 62729588308634590385469680038209613276071/7966753820404057888598856\ 63135852091578655238152410166587797638830799529*c_0101_6^7 + 5458410607966730430609401273014343668259046912021043923680544948225\ 2264298615/79667538204040578885988566313585209157865523815241016658\ 7797638830799529*c_0101_6^6 + 1784391602232417547382046072290335422\ 4907272817831971594510479859375720746462/79667538204040578885988566\ 3135852091578655238152410166587797638830799529*c_0101_6^5 - 3172250936684320069401942063021631841341033317262810588732985335606\ 523237293/796675382040405788859885663135852091578655238152410166587\ 797638830799529*c_0101_6^4 - 14107148730315377368396155059196515059\ 85675065222921584410033004596574681229/7966753820404057888598856631\ 35852091578655238152410166587797638830799529*c_0101_6^3 - 5871420733840594764363205574125547015611772651750572294118558108161\ 8778278/79667538204040578885988566313585209157865523815241016658779\ 7638830799529*c_0101_6^2 + 3070734417289168016680937631311122373589\ 5681530371465173375139502957345741/79667538204040578885988566313585\ 2091578655238152410166587797638830799529*c_0101_6 + 6389304538186933641944152650865315914257000795836775787071662366005\ 468986/796675382040405788859885663135852091578655238152410166587797\ 638830799529, c_0101_1 + 209943446919475200371984417469840312744746191588378729266381\ 1352330414033/79667538204040578885988566313585209157865523815241016\ 6587797638830799529*c_0101_6^32 - 818995545925498273238698799077507\ 120608298871021676401418231023704430958/796675382040405788859885663\ 135852091578655238152410166587797638830799529*c_0101_6^31 + 5899106438327962804156785311137430073953305226215808678585797495516\ 22195/7966753820404057888598856631358520915786552381524101665877976\ 38830799529*c_0101_6^30 + 33192850979094450948794353578586424648881\ 918237697703947410481702077936241/796675382040405788859885663135852\ 091578655238152410166587797638830799529*c_0101_6^29 - 1807702453047423589028177367760443877171578268328289464325572688698\ 52815813/7966753820404057888598856631358520915786552381524101665877\ 97638830799529*c_0101_6^28 + 15031062493622321229144573132983908939\ 5869462635240979593994728450152348691/79667538204040578885988566313\ 5852091578655238152410166587797638830799529*c_0101_6^27 - 7357871120130623767497521735541914484702789203477646361710017891285\ 60081368/7966753820404057888598856631358520915786552381524101665877\ 97638830799529*c_0101_6^26 + 62506934722366874112105294791219416463\ 9550915930356482549828077834996925153/79667538204040578885988566313\ 5852091578655238152410166587797638830799529*c_0101_6^25 + 3291915299556792346862042726137783696158342590165564354789156207198\ 957804506/796675382040405788859885663135852091578655238152410166587\ 797638830799529*c_0101_6^24 - 5580843501647537837235842123927492936\ 496029894353586610385378783174439389810/796675382040405788859885663\ 135852091578655238152410166587797638830799529*c_0101_6^23 + 1301941893747133555450405536749478896359390656010871531614864747981\ 4121294965/79667538204040578885988566313585209157865523815241016658\ 7797638830799529*c_0101_6^22 - 667064278851064243579602298234614697\ 1906035180467252985075100118301479135578/79667538204040578885988566\ 3135852091578655238152410166587797638830799529*c_0101_6^21 - 1983362951349630445293090992431259391978205522391479544750396653384\ 9562864022/79667538204040578885988566313585209157865523815241016658\ 7797638830799529*c_0101_6^20 + 551920526569509685175665834801209990\ 29882092176968394795271615426457630171503/7966753820404057888598856\ 63135852091578655238152410166587797638830799529*c_0101_6^19 - 9910275476933821548384378944825416570665407615570629840647387968870\ 6157021104/79667538204040578885988566313585209157865523815241016658\ 7797638830799529*c_0101_6^18 - 126764561714429543853097864432400008\ 682437911209210266712550414684203887479069/796675382040405788859885\ 663135852091578655238152410166587797638830799529*c_0101_6^17 + 2744354145755426635978234219392014770349612447123602128584182019525\ 31961450476/7966753820404057888598856631358520915786552381524101665\ 87797638830799529*c_0101_6^16 - 17089313462240905678366180953738768\ 044758456548409081858715635829716694595727/796675382040405788859885\ 663135852091578655238152410166587797638830799529*c_0101_6^15 - 4035575177966595678575824538070540047209552840242092329951960651536\ 72064249366/7966753820404057888598856631358520915786552381524101665\ 87797638830799529*c_0101_6^14 + 49992296568150840280015042665877672\ 8536642802972613704834857476005382345561845/79667538204040578885988\ 5663135852091578655238152410166587797638830799529*c_0101_6^13 + 7362407282248416820881776488167940404819364705919027040840275608157\ 79874563501/7966753820404057888598856631358520915786552381524101665\ 87797638830799529*c_0101_6^12 - 45068896648009445098827078231974653\ 3686464683701701908999569427426614188580296/79667538204040578885988\ 5663135852091578655238152410166587797638830799529*c_0101_6^11 - 6475517820500601943477897765906038290408433295852582779009476866875\ 73678651619/7966753820404057888598856631358520915786552381524101665\ 87797638830799529*c_0101_6^10 + 12885697784112411743889400508611365\ 2952752312306131124695025958722220401082748/79667538204040578885988\ 5663135852091578655238152410166587797638830799529*c_0101_6^9 + 2590394648277069659684581955510003017888409821030485983742347056490\ 00707985335/7966753820404057888598856631358520915786552381524101665\ 87797638830799529*c_0101_6^8 - 562864288047032400207427130151187043\ 4691077337688510075321870763449722347426/79667538204040578885988566\ 3135852091578655238152410166587797638830799529*c_0101_6^7 - 4770790480757784622061535784096216575595014997356768530429513755393\ 3700114237/79667538204040578885988566313585209157865523815241016658\ 7797638830799529*c_0101_6^6 - 2351778363512438806260278659478577212\ 430789238501494149988984662481925575447/796675382040405788859885663\ 135852091578655238152410166587797638830799529*c_0101_6^5 + 3523658300839237472085294002371562916313332794505703906678431268908\ 250546523/796675382040405788859885663135852091578655238152410166587\ 797638830799529*c_0101_6^4 + 31171557195906172192320540987494552419\ 7853459765863058388293757587025872276/79667538204040578885988566313\ 5852091578655238152410166587797638830799529*c_0101_6^3 - 3706962264102553770426651868373548917076142914242606079667218871873\ 7602057/79667538204040578885988566313585209157865523815241016658779\ 7638830799529*c_0101_6^2 - 1820951447241146890032752386439980727519\ 8979299515120567361378921378676878/79667538204040578885988566313585\ 2091578655238152410166587797638830799529*c_0101_6 - 2948127743640615726002590997353043279652996351367098087363383915445\ 18341/7966753820404057888598856631358520915786552381524101665877976\ 38830799529, c_0101_5 + 411814351246969991713566787543322227877295432873463218837752\ 612967937884/796675382040405788859885663135852091578655238152410166\ 587797638830799529*c_0101_6^32 - 2668342477889175590073041236968471\ 60807752451336018259083079239110573890/7966753820404057888598856631\ 35852091578655238152410166587797638830799529*c_0101_6^31 - 1491610144584000925580750550938984386115851882848902769995008357083\ 74396/7966753820404057888598856631358520915786552381524101665877976\ 38830799529*c_0101_6^30 + 68057432964613235227273334087286125123346\ 05698309867604439471873792709424/7966753820404057888598856631358520\ 91578655238152410166587797638830799529*c_0101_6^29 - 3747445125310018187533351279004050476964307314338326062445298519457\ 4353279/79667538204040578885988566313585209157865523815241016658779\ 7638830799529*c_0101_6^28 + 340308206218654467873766190084418542340\ 23894524464873754847691625278623756/7966753820404057888598856631358\ 52091578655238152410166587797638830799529*c_0101_6^27 - 1225036812320997703290603658190246228052716311586460604677351906706\ 19876760/7966753820404057888598856631358520915786552381524101665877\ 97638830799529*c_0101_6^26 + 11767247096882776504518868924012003995\ 3656172496066248961236812859476093628/79667538204040578885988566313\ 5852091578655238152410166587797638830799529*c_0101_6^25 + 7526636119056067087660568936393182673599992075156465694547409986063\ 81393421/7966753820404057888598856631358520915786552381524101665877\ 97638830799529*c_0101_6^24 - 14484596015247776475394144450750383661\ 78455657288142108874966515787198991422/7966753820404057888598856631\ 35852091578655238152410166587797638830799529*c_0101_6^23 + 2494579280828283846331914152834109700756782919342997738230166545494\ 794764596/796675382040405788859885663135852091578655238152410166587\ 797638830799529*c_0101_6^22 - 9380234067925602139072116399719079198\ 94622926054745100708522769977669113946/7966753820404057888598856631\ 35852091578655238152410166587797638830799529*c_0101_6^21 - 6186180392212981447427327731664225143488232106673733938511661832973\ 027317254/796675382040405788859885663135852091578655238152410166587\ 797638830799529*c_0101_6^20 + 1466115015574342200858430617871159995\ 9498162725894176910170258494983166091324/79667538204040578885988566\ 3135852091578655238152410166587797638830799529*c_0101_6^19 - 2147770199370336921833174308283140436488314662121730356860947427136\ 8399742029/79667538204040578885988566313585209157865523815241016658\ 7797638830799529*c_0101_6^18 - 282168791085758529807665056976832352\ 28413386137980432057335553114970722186555/7966753820404057888598856\ 63135852091578655238152410166587797638830799529*c_0101_6^17 + 8049567211889552938718973534598015964765522465217185641641609410551\ 2388333128/79667538204040578885988566313585209157865523815241016658\ 7797638830799529*c_0101_6^16 - 131700380848623649351057184617388025\ 94017707532587192196451999035066555370875/7966753820404057888598856\ 63135852091578655238152410166587797638830799529*c_0101_6^15 - 1192083614107166253789782717462126284497347013116336368348280000924\ 05124242789/7966753820404057888598856631358520915786552381524101665\ 87797638830799529*c_0101_6^14 + 14965034755070198155824029580566433\ 2084601278934988477441568107909511490933898/79667538204040578885988\ 5663135852091578655238152410166587797638830799529*c_0101_6^13 + 1530475422152023480657888924951085956363003292304077562309497849999\ 50598267694/7966753820404057888598856631358520915786552381524101665\ 87797638830799529*c_0101_6^12 - 21954295453298096675441893894889812\ 6132352384490437948393155069742398749082973/79667538204040578885988\ 5663135852091578655238152410166587797638830799529*c_0101_6^11 - 1440630650228747589983014448685588636744217011360285192222240177190\ 13537970858/7966753820404057888598856631358520915786552381524101665\ 87797638830799529*c_0101_6^10 + 14185353204757702009553182979481888\ 6651878832873176143778029229798304687628971/79667538204040578885988\ 5663135852091578655238152410166587797638830799529*c_0101_6^9 + 7466175918627724315457353074877098528986985040016691712209954136763\ 3216980323/79667538204040578885988566313585209157865523815241016658\ 7797638830799529*c_0101_6^8 - 4692975368731166120173500579654261926\ 9607206776245759761446557141325720665850/79667538204040578885988566\ 3135852091578655238152410166587797638830799529*c_0101_6^7 - 1918164560135909954089447638942438509625930548900580989647419067757\ 9399816830/79667538204040578885988566313585209157865523815241016658\ 7797638830799529*c_0101_6^6 + 7843111535677291360587817116782558507\ 147126443180747079334087999048212584152/796675382040405788859885663\ 135852091578655238152410166587797638830799529*c_0101_6^5 + 2147406092099703797777939936974973270505369960980547382982804161590\ 619987068/796675382040405788859885663135852091578655238152410166587\ 797638830799529*c_0101_6^4 - 52248200151570597739145476283345601051\ 3346813432329694069233859300700039381/79667538204040578885988566313\ 5852091578655238152410166587797638830799529*c_0101_6^3 - 8557168509634966366909370872388544679323512485038229814633345853681\ 0964320/79667538204040578885988566313585209157865523815241016658779\ 7638830799529*c_0101_6^2 - 3012195893430187295139896855728067305595\ 107115134083136949008025302046703/796675382040405788859885663135852\ 091578655238152410166587797638830799529*c_0101_6 + 3874563032011384999429082991019170053891525430421984533573203027086\ 606258/796675382040405788859885663135852091578655238152410166587797\ 638830799529, c_0101_6^33 + 16*c_0101_6^30 - 80*c_0101_6^29 + 36*c_0101_6^28 - 311*c_0101_6^27 + 149*c_0101_6^26 + 1733*c_0101_6^25 - 2098*c_0101_6^24 + 4979*c_0101_6^23 - 381*c_0101_6^22 - 11579*c_0101_6^21 + 23256*c_0101_6^20 - 35977*c_0101_6^19 - 82275*c_0101_6^18 + 114022*c_0101_6^17 + 48786*c_0101_6^16 - 212868*c_0101_6^15 + 167962*c_0101_6^14 + 465892*c_0101_6^13 - 112041*c_0101_6^12 - 428939*c_0101_6^11 - 26232*c_0101_6^10 + 180044*c_0101_6^9 + 33585*c_0101_6^8 - 37345*c_0101_6^7 - 8362*c_0101_6^6 + 3849*c_0101_6^5 + 790*c_0101_6^4 - 160*c_0101_6^3 - 29*c_0101_6^2 - c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.260 seconds, Total memory usage: 32.09MB