Magma V2.19-8 Tue Aug 20 2013 23:43:52 on localhost [Seed = 1048075043] Type ? for help. Type -D to quit. Loading file "K13n1588__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n1588 geometric_solution 10.95896093 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 3 0132 0132 0132 3201 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 -1 1 0 0 0 0 0 -1 0 1 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.927778478301 0.779599592326 0 4 6 5 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.855639270363 0.442443224216 7 0 4 8 0132 0132 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 -5 0 6 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.507596531448 0.366627989038 9 0 10 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 -5 0 0 5 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.014407028670 0.874008281455 2 1 8 10 2031 0132 2103 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.642394378021 0.541079257442 9 6 1 11 2103 3201 0132 0132 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -6 6 -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.354254379678 0.985234202849 8 9 5 1 1302 0321 2310 0132 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -6 0 0 6 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.065186931979 1.599129909192 2 11 8 11 0132 0132 2031 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.416336048837 0.651108472319 4 6 2 7 2103 2031 0132 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.436875979223 0.737642253136 3 10 5 6 0132 3201 2103 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.978354157188 0.789145549807 11 4 9 3 3120 2310 2310 0132 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 -5 0 5 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.192676634076 0.837305020110 7 7 5 10 3012 0132 0132 3120 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 1 0 -6 5 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.763352713945 0.851560934038 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_11'], 'c_1001_10' : negation(d['c_1001_1']), 'c_1001_5' : d['c_0011_8'], 'c_1001_4' : d['c_0011_8'], 'c_1001_7' : negation(d['c_0011_10']), 'c_1001_6' : negation(d['c_0101_11']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0110_4']), 'c_1001_2' : d['c_0110_4'], 'c_1001_9' : d['c_0011_5'], 'c_1001_8' : negation(d['c_0101_1']), 'c_1010_11' : negation(d['c_0011_10']), 'c_1010_10' : negation(d['c_0110_4']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : negation(d['c_0011_5']), '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' : negation(d['1']), 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : negation(d['1']), 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : negation(d['c_0101_11']), 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : negation(d['c_0011_10']), 'c_1100_7' : negation(d['c_0011_6']), 'c_1100_6' : d['c_0011_5'], 'c_1100_1' : d['c_0011_5'], 'c_1100_0' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : d['c_0101_4'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_5'], 'c_1100_10' : negation(d['c_0011_3']), 's_0_11' : negation(d['1']), 'c_1010_7' : d['c_0101_11'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_0101_11'], 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0011_8'], 'c_1010_0' : d['c_0110_4'], 'c_1010_9' : d['c_1001_1'], 'c_1010_8' : d['c_0011_6'], 'c_1100_8' : d['c_0101_4'], 's_3_1' : negation(d['1']), 's_3_0' : 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_7' : negation(d['1']), 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_6']), 'c_0110_10' : negation(d['c_0011_6']), 'c_0011_11' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0101_4'], 'c_0101_6' : negation(d['c_0011_8']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_6']), 'c_0101_2' : negation(d['c_0011_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0101_4'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_6']), 'c_0110_8' : d['c_0011_10'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : negation(d['c_0011_0']), 'c_0110_6' : d['c_0101_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_5, c_0011_6, c_0011_8, c_0101_0, c_0101_1, c_0101_11, c_0101_4, c_0110_4, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 46584482134151537249870214962138028563836208176219611/1635036986830\ 318703119699297936343086241331779949125*c_1001_1^25 + 71959214161232269010193629456443661577133506724249013/1635036986830\ 318703119699297936343086241331779949125*c_1001_1^24 - 18861258972571235978747972267995604066855752475014884/2335767124043\ 31243302814185419477583748761682849875*c_1001_1^23 - 8309548863197502076756046903221829784337290803091694/65401479473212\ 748124787971917453723449653271197965*c_1001_1^22 - 1004287145191310161493688858112347644502798889055957214/16350369868\ 30318703119699297936343086241331779949125*c_1001_1^21 + 1248090863827931323775037685412374754300204582014929788/16350369868\ 30318703119699297936343086241331779949125*c_1001_1^20 + 503175471132882299505526476331046049324086787651526907/233576712404\ 331243302814185419477583748761682849875*c_1001_1^19 - 12306991227614224611753267973939245077165377560652293446/1635036986\ 830318703119699297936343086241331779949125*c_1001_1^18 + 34937482803939539610119065163864621910838996279696761/4671534248086\ 6248660562837083895516749752336569975*c_1001_1^17 + 38008585684458082527704780955564968674943283405546451574/1635036986\ 830318703119699297936343086241331779949125*c_1001_1^16 - 4091913069271835705368514747325720228669921551594686363/16350369868\ 30318703119699297936343086241331779949125*c_1001_1^15 - 31501601348472630677074794020424206312166236154452715143/1635036986\ 830318703119699297936343086241331779949125*c_1001_1^14 - 39706717564044513038639076785601281660463122493142258239/1635036986\ 830318703119699297936343086241331779949125*c_1001_1^13 - 11008215153208037950148330740436824414239415419547126226/3270073973\ 66063740623939859587268617248266355989825*c_1001_1^12 + 31227411814026937885183019219356200354839106886008905936/1635036986\ 830318703119699297936343086241331779949125*c_1001_1^11 + 38955415219270420171649730152307027210445855084045166261/1635036986\ 830318703119699297936343086241331779949125*c_1001_1^10 - 3413459198020277099688273208677575934085997988677139674/16350369868\ 30318703119699297936343086241331779949125*c_1001_1^9 + 1917500654598290051067613473955774315835124258595027112/32700739736\ 6063740623939859587268617248266355989825*c_1001_1^8 - 895119056947795947985478914716784567273434891347991372/125772075910\ 024515624592253687411006633948598457625*c_1001_1^7 - 88285590063420675071208644569374883924493723489685103/1257720759100\ 24515624592253687411006633948598457625*c_1001_1^6 + 9841502995721578864068274829216017366139059954915681351/16350369868\ 30318703119699297936343086241331779949125*c_1001_1^5 - 542741344898178104884539246186296839975007723915011788/233576712404\ 331243302814185419477583748761682849875*c_1001_1^4 - 1421586261666581378980550393939274126647231435465818352/16350369868\ 30318703119699297936343086241331779949125*c_1001_1^3 + 1778818186684630599144405876424315358253484727406646781/16350369868\ 30318703119699297936343086241331779949125*c_1001_1^2 - 45083710012277241964258156293490762825191166487461583/1257720759100\ 24515624592253687411006633948598457625*c_1001_1 + 84237054557643546882841821683063193966179337983701498/1635036986830\ 318703119699297936343086241331779949125, c_0011_0 - 1, c_0011_10 + 2220054448110083823304917351100719340/430152130370121745286\ 6415104434150351*c_1001_1^25 - 332159775156173457371653577413848042\ 8/4301521303701217452866415104434150351*c_1001_1^24 + 5041473825571905822044423623355912694/43015213037012174528664151044\ 34150351*c_1001_1^23 + 11578888797935930915838784074074755952/43015\ 21303701217452866415104434150351*c_1001_1^22 + 45830328118858851354388611370404225069/4301521303701217452866415104\ 434150351*c_1001_1^21 - 62838445095292396647852371240973117564/4301\ 521303701217452866415104434150351*c_1001_1^20 - 195362850861450974215176101232035836540/430152130370121745286641510\ 4434150351*c_1001_1^19 + 601701722267205410801793893685153736827/43\ 01521303701217452866415104434150351*c_1001_1^18 + 63185863200504711818002211243211485990/4301521303701217452866415104\ 434150351*c_1001_1^17 - 2076769816022708881445249513337311846824/43\ 01521303701217452866415104434150351*c_1001_1^16 + 46047154746875451841503038873395478181/4301521303701217452866415104\ 434150351*c_1001_1^15 + 2415407091936141483928308480503643556371/43\ 01521303701217452866415104434150351*c_1001_1^14 + 2149620194803284927632103339622768714552/43015213037012174528664151\ 04434150351*c_1001_1^13 + 1887553821323984090810898709219830261595/\ 4301521303701217452866415104434150351*c_1001_1^12 - 2606608582830080820171218538788871555724/43015213037012174528664151\ 04434150351*c_1001_1^11 - 3434661875721096900014804746219557545858/\ 4301521303701217452866415104434150351*c_1001_1^10 + 621316119906671628779575089510180750217/430152130370121745286641510\ 4434150351*c_1001_1^9 + 939728713762239753505069446797337625222/430\ 1521303701217452866415104434150351*c_1001_1^8 + 898910653784359633138914545488868908762/430152130370121745286641510\ 4434150351*c_1001_1^7 + 193850611562492663899293263537253222299/430\ 1521303701217452866415104434150351*c_1001_1^6 - 815591606065192407039465562892060010038/430152130370121745286641510\ 4434150351*c_1001_1^5 - 16887733005243708105767210250846256929/4301\ 521303701217452866415104434150351*c_1001_1^4 + 262627459315167011879263316600787711916/430152130370121745286641510\ 4434150351*c_1001_1^3 - 76693900585662489811063274894243080331/4301\ 521303701217452866415104434150351*c_1001_1^2 - 31402394878781245082252244799890225228/4301521303701217452866415104\ 434150351*c_1001_1 + 13569805650130595924604064831223059461/4301521\ 303701217452866415104434150351, c_0011_3 + 130144735882466035310101772720844124/43015213037012174528664\ 15104434150351*c_1001_1^25 - 1007517311386592625497036420624995302/\ 4301521303701217452866415104434150351*c_1001_1^24 + 1008069380573199111313150760805755199/43015213037012174528664151044\ 34150351*c_1001_1^23 - 862041851676460348884640467041060360/4301521\ 303701217452866415104434150351*c_1001_1^22 - 2276274787347077605551613129613858507/43015213037012174528664151044\ 34150351*c_1001_1^21 - 23887668523120072965280500465908408711/43015\ 21303701217452866415104434150351*c_1001_1^20 - 1595297205235861819238511152621475996/43015213037012174528664151044\ 34150351*c_1001_1^19 + 110228507578637400455771504356880198572/4301\ 521303701217452866415104434150351*c_1001_1^18 - 165745920806033932769263855366527131779/430152130370121745286641510\ 4434150351*c_1001_1^17 - 238371179995467171774345486292464453689/43\ 01521303701217452866415104434150351*c_1001_1^16 + 651895441063846307089345526908756262394/430152130370121745286641510\ 4434150351*c_1001_1^15 + 530557678781676397448158463474587102556/43\ 01521303701217452866415104434150351*c_1001_1^14 - 391567279169960450188968733424701865843/430152130370121745286641510\ 4434150351*c_1001_1^13 - 1020951402560649302409608293675270102096/4\ 301521303701217452866415104434150351*c_1001_1^12 - 1685212381234653922622121563787168922330/43015213037012174528664151\ 04434150351*c_1001_1^11 - 321306359558407649109098687675831016180/4\ 301521303701217452866415104434150351*c_1001_1^10 + 1114370313886900095574535625107362392122/43015213037012174528664151\ 04434150351*c_1001_1^9 + 696990100685826469318089963032145159345/43\ 01521303701217452866415104434150351*c_1001_1^8 + 304965936978426022484636189845034443475/430152130370121745286641510\ 4434150351*c_1001_1^7 - 181150173677878332833232365111480099519/430\ 1521303701217452866415104434150351*c_1001_1^6 - 266372451678965162296150638976867028306/430152130370121745286641510\ 4434150351*c_1001_1^5 + 84400588835232184625082009424542431052/4301\ 521303701217452866415104434150351*c_1001_1^4 + 66359673776158642946542705677628309746/4301521303701217452866415104\ 434150351*c_1001_1^3 - 36437942434858275817186623206944884058/43015\ 21303701217452866415104434150351*c_1001_1^2 + 2197276692741674159922764769127524839/43015213037012174528664151044\ 34150351*c_1001_1 + 6565005157921115317883746811639520740/430152130\ 3701217452866415104434150351, c_0011_5 - 6782942810770640136200924885491755785/4301521303701217452866\ 415104434150351*c_1001_1^25 + 5832817383621060335238913367828712842\ /4301521303701217452866415104434150351*c_1001_1^24 - 12313594869439752034788381439897381305/4301521303701217452866415104\ 434150351*c_1001_1^23 - 42491728605929018951296365957258322066/4301\ 521303701217452866415104434150351*c_1001_1^22 - 168081480532340998961581676573513564653/430152130370121745286641510\ 4434150351*c_1001_1^21 + 81457223860062470519905060376174585333/430\ 1521303701217452866415104434150351*c_1001_1^20 + 634778892784744069973246113249802386193/430152130370121745286641510\ 4434150351*c_1001_1^19 - 1420354144863929399491497971053048426906/4\ 301521303701217452866415104434150351*c_1001_1^18 - 1033016413770809848236280851986305813496/43015213037012174528664151\ 04434150351*c_1001_1^17 + 5541948214286967180589670270269343422268/\ 4301521303701217452866415104434150351*c_1001_1^16 + 3302094120732010924469492072694681428644/43015213037012174528664151\ 04434150351*c_1001_1^15 - 4703905121433913336326043557458577457191/\ 4301521303701217452866415104434150351*c_1001_1^14 - 9326035048860011819074049637735300469460/43015213037012174528664151\ 04434150351*c_1001_1^13 - 12419696437630050495994510304662643260661\ /4301521303701217452866415104434150351*c_1001_1^12 - 949087478927252477104891554614980300566/430152130370121745286641510\ 4434150351*c_1001_1^11 + 9125537886833059605214553140441827937598/4\ 301521303701217452866415104434150351*c_1001_1^10 + 4632721251265665785647055333583020843216/43015213037012174528664151\ 04434150351*c_1001_1^9 + 1652039116203832310758771967254701233991/4\ 301521303701217452866415104434150351*c_1001_1^8 - 1107706017036585393517144591906756042954/43015213037012174528664151\ 04434150351*c_1001_1^7 - 1573077132235689689974679601333153346240/4\ 301521303701217452866415104434150351*c_1001_1^6 + 975051682027003394161528067978229735756/430152130370121745286641510\ 4434150351*c_1001_1^5 + 379801437555084511726685064109361079934/430\ 1521303701217452866415104434150351*c_1001_1^4 - 487343274868233215850156481684907413566/430152130370121745286641510\ 4434150351*c_1001_1^3 + 25109150738974798805971219696463285660/4301\ 521303701217452866415104434150351*c_1001_1^2 + 66476247904984236300021865621644194649/4301521303701217452866415104\ 434150351*c_1001_1 - 21424452093518657312809835977106443224/4301521\ 303701217452866415104434150351, c_0011_6 - 432175965791782807013953771698784898/43015213037012174528664\ 15104434150351*c_1001_1^25 + 1314484198472000278022297251059105146/\ 4301521303701217452866415104434150351*c_1001_1^24 - 1613151423891524604119409283429930597/43015213037012174528664151044\ 34150351*c_1001_1^23 - 927514869730603691742175983740793570/4301521\ 303701217452866415104434150351*c_1001_1^22 - 4978060545568341239261605647298425778/43015213037012174528664151044\ 34150351*c_1001_1^21 + 28609593056483462587034833040457290701/43015\ 21303701217452866415104434150351*c_1001_1^20 + 28852152020749752462474431002039435492/4301521303701217452866415104\ 434150351*c_1001_1^19 - 177857050264527356385382575012273720566/430\ 1521303701217452866415104434150351*c_1001_1^18 + 130177581099974080283663807615292314549/430152130370121745286641510\ 4434150351*c_1001_1^17 + 488881592284981397219018214640202919225/43\ 01521303701217452866415104434150351*c_1001_1^16 - 542217146677635526348974724864616500078/430152130370121745286641510\ 4434150351*c_1001_1^15 - 755712068828437785184074630722398264353/43\ 01521303701217452866415104434150351*c_1001_1^14 + 7267593215848213226194326572471775106/43015213037012174528664151044\ 34150351*c_1001_1^13 + 546533744297440314712400989987139071030/4301\ 521303701217452866415104434150351*c_1001_1^12 + 1734552675226920889008893233769009644203/43015213037012174528664151\ 04434150351*c_1001_1^11 + 686310478162637932958539355072739077617/4\ 301521303701217452866415104434150351*c_1001_1^10 - 1018617397862371749810190644403215303342/43015213037012174528664151\ 04434150351*c_1001_1^9 - 691448551955838529525568499416433171316/43\ 01521303701217452866415104434150351*c_1001_1^8 - 387833583544116266537449417400674377935/430152130370121745286641510\ 4434150351*c_1001_1^7 + 140937117970806581731702659427811934483/430\ 1521303701217452866415104434150351*c_1001_1^6 + 328814344378169184918789515859725133534/430152130370121745286641510\ 4434150351*c_1001_1^5 - 83532084434264428707355400660285694070/4301\ 521303701217452866415104434150351*c_1001_1^4 - 83186436515388010938491909461282754697/4301521303701217452866415104\ 434150351*c_1001_1^3 + 41838635754576716840431251126815167682/43015\ 21303701217452866415104434150351*c_1001_1^2 + 6999195089361894514024119791062543840/43015213037012174528664151044\ 34150351*c_1001_1 - 1413068724298943596332437302582573133/430152130\ 3701217452866415104434150351, c_0011_8 - 5349969279385428721884898244652476319/4301521303701217452866\ 415104434150351*c_1001_1^25 + 5721382017990310948600174431852271726\ /4301521303701217452866415104434150351*c_1001_1^24 - 10158454013607280814370979882574473924/4301521303701217452866415104\ 434150351*c_1001_1^23 - 31831867593737367945845220610706470025/4301\ 521303701217452866415104434150351*c_1001_1^22 - 124600219380059783194682460680961288968/430152130370121745286641510\ 4434150351*c_1001_1^21 + 95332873429219581354666061676701902423/430\ 1521303701217452866415104434150351*c_1001_1^20 + 500874026156623599322776138894194580054/430152130370121745286641510\ 4434150351*c_1001_1^19 - 1228641860486669458875206438033516040801/4\ 301521303701217452866415104434150351*c_1001_1^18 - 627312102625384012678424329544365655512/430152130370121745286641510\ 4434150351*c_1001_1^17 + 4640071979501773053422830702305764826791/4\ 301521303701217452866415104434150351*c_1001_1^16 + 1780325229499568649600543428442612069067/43015213037012174528664151\ 04434150351*c_1001_1^15 - 4644764260405876411127485280673413624088/\ 4301521303701217452866415104434150351*c_1001_1^14 - 6901835756904062215296186193422800115142/43015213037012174528664151\ 04434150351*c_1001_1^13 - 8004222740949508039788645932964899014358/\ 4301521303701217452866415104434150351*c_1001_1^12 + 2052191828885208797558257956626241013965/43015213037012174528664151\ 04434150351*c_1001_1^11 + 8459600496193661132801747476588784918749/\ 4301521303701217452866415104434150351*c_1001_1^10 + 2497505204804817368230341820126238829750/43015213037012174528664151\ 04434150351*c_1001_1^9 + 19620767757923613108151412244145245373/430\ 1521303701217452866415104434150351*c_1001_1^8 - 1594147340443558196945972523585100347838/43015213037012174528664151\ 04434150351*c_1001_1^7 - 1285617947177333538946679467412035972483/4\ 301521303701217452866415104434150351*c_1001_1^6 + 1057073715099979445629692225411652758372/43015213037012174528664151\ 04434150351*c_1001_1^5 + 227055675046897545645608711871541415528/43\ 01521303701217452866415104434150351*c_1001_1^4 - 503055157209370166320341091157865630503/430152130370121745286641510\ 4434150351*c_1001_1^3 + 50051293676780059835106964648694437388/4301\ 521303701217452866415104434150351*c_1001_1^2 + 60951134327620583854937157961682182553/4301521303701217452866415104\ 434150351*c_1001_1 - 21281918999526505768268686734443341781/4301521\ 303701217452866415104434150351, c_0101_0 + 6143749624124159314926660689341641914/4301521303701217452866\ 415104434150351*c_1001_1^25 - 1750116237481771941047234568194131427\ /4301521303701217452866415104434150351*c_1001_1^24 + 9545658254242059894988047752287640416/43015213037012174528664151044\ 34150351*c_1001_1^23 + 44377580249890171748194150374583173285/43015\ 21303701217452866415104434150351*c_1001_1^22 + 176697369559614154823866174633231320801/430152130370121745286641510\ 4434150351*c_1001_1^21 + 23906644060130968776723286402981946774/430\ 1521303701217452866415104434150351*c_1001_1^20 - 576936750040857128740269421810575974894/430152130370121745286641510\ 4434150351*c_1001_1^19 + 958536528411608019469345156415975740351/43\ 01521303701217452866415104434150351*c_1001_1^18 + 1542762886008148551456893184283026214945/43015213037012174528664151\ 04434150351*c_1001_1^17 - 4246893336509876052151530644178789794148/\ 4301521303701217452866415104434150351*c_1001_1^16 - 5541508528399020656719378033719976331452/43015213037012174528664151\ 04434150351*c_1001_1^15 + 1531921752381481944146486005944896087163/\ 4301521303701217452866415104434150351*c_1001_1^14 + 9701291430296914021118737707674091843999/43015213037012174528664151\ 04434150351*c_1001_1^13 + 16532884024107004684119854165758730147940\ /4301521303701217452866415104434150351*c_1001_1^12 + 9499147921963733316179826175325415834598/43015213037012174528664151\ 04434150351*c_1001_1^11 - 4123560627722326754179476003777075134173/\ 4301521303701217452866415104434150351*c_1001_1^10 - 6962242220095338686503718683424554926586/43015213037012174528664151\ 04434150351*c_1001_1^9 - 4849394847974990860232781274833123920332/4\ 301521303701217452866415104434150351*c_1001_1^8 - 1228199831611172915514513225349225576863/43015213037012174528664151\ 04434150351*c_1001_1^7 + 1060347722809537693661489294871875052571/4\ 301521303701217452866415104434150351*c_1001_1^6 - 307282659018609257121150196736911656651/430152130370121745286641510\ 4434150351*c_1001_1^5 - 672727804393185548367190665138812777079/430\ 1521303701217452866415104434150351*c_1001_1^4 + 96518684557266304382638587621943836698/4301521303701217452866415104\ 434150351*c_1001_1^3 + 63957841699378446136441940341536734533/43015\ 21303701217452866415104434150351*c_1001_1^2 - 39264310089093048694480996456981103838/4301521303701217452866415104\ 434150351*c_1001_1 - 1000549130374717584661679779638200306/43015213\ 03701217452866415104434150351, c_0101_1 - 219235070771433279403274943677440840/43015213037012174528664\ 15104434150351*c_1001_1^25 - 147434562956220814656912818877886787/4\ 301521303701217452866415104434150351*c_1001_1^24 - 75896965704478873649173386077644270/4301521303701217452866415104434\ 150351*c_1001_1^23 - 2056816002348714275856120182540627317/43015213\ 03701217452866415104434150351*c_1001_1^22 - 7410674804034418816453084509486810233/43015213037012174528664151044\ 34150351*c_1001_1^21 - 5601635432054130286514948083822301268/430152\ 1303701217452866415104434150351*c_1001_1^20 + 25147770445696927783526440466248635695/4301521303701217452866415104\ 434150351*c_1001_1^19 - 15818338130762426804376719931522529175/4301\ 521303701217452866415104434150351*c_1001_1^18 - 105736961895855941721022491372905275181/430152130370121745286641510\ 4434150351*c_1001_1^17 + 138526869292236786275820384696465705013/43\ 01521303701217452866415104434150351*c_1001_1^16 + 374210394320845268031031036191254428220/430152130370121745286641510\ 4434150351*c_1001_1^15 - 15384567997602593935223082778109857372/430\ 1521303701217452866415104434150351*c_1001_1^14 - 512336173239135669324208279647418627791/430152130370121745286641510\ 4434150351*c_1001_1^13 - 843449851886067114901669887749430960449/43\ 01521303701217452866415104434150351*c_1001_1^12 - 633291152975908864784055476714330023355/430152130370121745286641510\ 4434150351*c_1001_1^11 + 269577395949026158045913860223886993741/43\ 01521303701217452866415104434150351*c_1001_1^10 + 555795260765148998781546683038037177930/430152130370121745286641510\ 4434150351*c_1001_1^9 + 276864989056545933467348899186541118925/430\ 1521303701217452866415104434150351*c_1001_1^8 + 55878686291644287089605604578363383830/4301521303701217452866415104\ 434150351*c_1001_1^7 - 132777322187999620895065258310751856988/4301\ 521303701217452866415104434150351*c_1001_1^6 - 44995584487640805308102739949671983297/4301521303701217452866415104\ 434150351*c_1001_1^5 + 47138015108224725735240102263761808511/43015\ 21303701217452866415104434150351*c_1001_1^4 + 4478061779916849387769174979414645075/43015213037012174528664151044\ 34150351*c_1001_1^3 - 10100171930872942437900416373612205852/430152\ 1303701217452866415104434150351*c_1001_1^2 + 7518865817941364699683224736064964469/43015213037012174528664151044\ 34150351*c_1001_1 + 1787878482318301016290963579401934442/430152130\ 3701217452866415104434150351, c_0101_11 - 578712688544697574246735330463247536/4301521303701217452866\ 415104434150351*c_1001_1^25 + 1793775297265104867012284937816608979\ /4301521303701217452866415104434150351*c_1001_1^24 - 1526123658729973748626647787099399467/43015213037012174528664151044\ 34150351*c_1001_1^23 - 1491809748655129562204382131013283125/430152\ 1303701217452866415104434150351*c_1001_1^22 - 5203584063058980996716224899286993804/43015213037012174528664151044\ 34150351*c_1001_1^21 + 43690830827321472068298170431016076887/43015\ 21303701217452866415104434150351*c_1001_1^20 + 56643390754204496986434148935599291485/4301521303701217452866415104\ 434150351*c_1001_1^19 - 240777801847933804518663875303796312840/430\ 1521303701217452866415104434150351*c_1001_1^18 + 123836071049359150659353597685539834843/430152130370121745286641510\ 4434150351*c_1001_1^17 + 775235558226175129449568289936091100791/43\ 01521303701217452866415104434150351*c_1001_1^16 - 625105589017576238489822007558288198503/430152130370121745286641510\ 4434150351*c_1001_1^15 - 1486382616224450371795960728032858578242/4\ 301521303701217452866415104434150351*c_1001_1^14 - 428880054002357057657719719149847767627/430152130370121745286641510\ 4434150351*c_1001_1^13 + 908977756515459218723993231928952999735/43\ 01521303701217452866415104434150351*c_1001_1^12 + 3231903380372091278900771854069986277315/43015213037012174528664151\ 04434150351*c_1001_1^11 + 2604650246442269469811385126165461098174/\ 4301521303701217452866415104434150351*c_1001_1^10 - 415200995545087919723838198885961442524/430152130370121745286641510\ 4434150351*c_1001_1^9 - 1112441873669698570053874285442961985168/43\ 01521303701217452866415104434150351*c_1001_1^8 - 965960793348676487059970660442689110499/430152130370121745286641510\ 4434150351*c_1001_1^7 - 370191196723918794109772686378675462464/430\ 1521303701217452866415104434150351*c_1001_1^6 + 230736837807143922771633258946431300238/430152130370121745286641510\ 4434150351*c_1001_1^5 - 92562937406054286672146661212099868373/4301\ 521303701217452866415104434150351*c_1001_1^4 - 191763621567678656236809924518015383240/430152130370121745286641510\ 4434150351*c_1001_1^3 + 30364085511356269290272438542172520370/4301\ 521303701217452866415104434150351*c_1001_1^2 + 17958189357735181209350592939171375515/4301521303701217452866415104\ 434150351*c_1001_1 - 12132912090156068858085823130144232104/4301521\ 303701217452866415104434150351, c_0101_4 + 5738235715678752789719039385773546781/4301521303701217452866\ 415104434150351*c_1001_1^25 - 3249449700202129748938669792959014089\ /4301521303701217452866415104434150351*c_1001_1^24 + 10006737678907967755216569842292988934/4301521303701217452866415104\ 434150351*c_1001_1^23 + 38287437472441607522322230043446827700/4301\ 521303701217452866415104434150351*c_1001_1^22 + 154735392324135239993665143958709333338/430152130370121745286641510\ 4434150351*c_1001_1^21 - 20439792415457915632950168535007904650/430\ 1521303701217452866415104434150351*c_1001_1^20 - 529976102441979957723189800023514690664/430152130370121745286641510\ 4434150351*c_1001_1^19 + 1037532156416731228055285186020267823476/4\ 301521303701217452866415104434150351*c_1001_1^18 + 1134411183649647825656022180972373737603/43015213037012174528664151\ 04434150351*c_1001_1^17 - 4230219726176914020914695585531145122355/\ 4301521303701217452866415104434150351*c_1001_1^16 - 3997948053630240609617937301222619030170/43015213037012174528664151\ 04434150351*c_1001_1^15 + 2380402251969370888904018420990856629856/\ 4301521303701217452866415104434150351*c_1001_1^14 + 8462672476989818773764582682904121795232/43015213037012174528664151\ 04434150351*c_1001_1^13 + 13281053775110692955719516102316665250580\ /4301521303701217452866415104434150351*c_1001_1^12 + 5253985395627459422803417558945917659982/43015213037012174528664151\ 04434150351*c_1001_1^11 - 5278990229622549607506259370134935635933/\ 4301521303701217452866415104434150351*c_1001_1^10 - 5392362163465613047630760017638135946910/43015213037012174528664151\ 04434150351*c_1001_1^9 - 3287110252437396370696711636963650684939/4\ 301521303701217452866415104434150351*c_1001_1^8 - 48788689080071518816896854752390705026/4301521303701217452866415104\ 434150351*c_1001_1^7 + 1145705542182446688636262001726094926845/430\ 1521303701217452866415104434150351*c_1001_1^6 - 472807334256764399622623224281109182247/430152130370121745286641510\ 4434150351*c_1001_1^5 - 491407865466103603117468396225368696035/430\ 1521303701217452866415104434150351*c_1001_1^4 + 133122430290601907198951910060098309239/430152130370121745286641510\ 4434150351*c_1001_1^3 + 30910775149294959401124369242835362176/4301\ 521303701217452866415104434150351*c_1001_1^2 - 28480506708710353120149938964554734452/4301521303701217452866415104\ 434150351*c_1001_1 - 3304184248580578421198684866721311956/43015213\ 03701217452866415104434150351, c_0110_4 - 3147790379238429139797352157620569206/4301521303701217452866\ 415104434150351*c_1001_1^25 + 1337193643654873951722588723739571444\ /4301521303701217452866415104434150351*c_1001_1^24 - 4998379666127161546233349511624677961/43015213037012174528664151044\ 34150351*c_1001_1^23 - 22159130980995137266311660359988075273/43015\ 21303701217452866415104434150351*c_1001_1^22 - 87299509378361857478602117520106785020/4301521303701217452866415104\ 434150351*c_1001_1^21 + 401847641287777632718027433188542725/430152\ 1303701217452866415104434150351*c_1001_1^20 + 297068243294516830636498624361181534352/430152130370121745286641510\ 4434150351*c_1001_1^19 - 535341390307709632947297744142394244701/43\ 01521303701217452866415104434150351*c_1001_1^18 - 723923637401269892718650414560804600161/430152130370121745286641510\ 4434150351*c_1001_1^17 + 2298940841457540777919041556281037575993/4\ 301521303701217452866415104434150351*c_1001_1^16 + 2523700828855490295847748507284860937625/43015213037012174528664151\ 04434150351*c_1001_1^15 - 1221495800286631991840765150767964080970/\ 4301521303701217452866415104434150351*c_1001_1^14 - 4805452178998093915901020730810713545750/43015213037012174528664151\ 04434150351*c_1001_1^13 - 7676728896292195850681648924620446479653/\ 4301521303701217452866415104434150351*c_1001_1^12 - 3680861632127974983263093155714785047878/43015213037012174528664151\ 04434150351*c_1001_1^11 + 2687340336956271631753367785494254042906/\ 4301521303701217452866415104434150351*c_1001_1^10 + 3024389841549696942511506122768716660598/43015213037012174528664151\ 04434150351*c_1001_1^9 + 1796672279414128059350642467313358678048/4\ 301521303701217452866415104434150351*c_1001_1^8 + 319089417821858877729287344396387985576/430152130370121745286641510\ 4434150351*c_1001_1^7 - 530877741402935011732630640718296814604/430\ 1521303701217452866415104434150351*c_1001_1^6 + 329556326135412361049297432007128261333/430152130370121745286641510\ 4434150351*c_1001_1^5 + 359624779930914165119148542148814203159/430\ 1521303701217452866415104434150351*c_1001_1^4 - 118690900730426442868106637731798837875/430152130370121745286641510\ 4434150351*c_1001_1^3 - 27207931527199167472976334192186651153/4301\ 521303701217452866415104434150351*c_1001_1^2 + 29813075165426188459009887473007350412/4301521303701217452866415104\ 434150351*c_1001_1 + 1059809400061395232389528668023563228/43015213\ 03701217452866415104434150351, c_1001_1^26 - c_1001_1^25 + 2*c_1001_1^24 + 6*c_1001_1^23 + 24*c_1001_1^22 - 15*c_1001_1^21 - 90*c_1001_1^20 + 223*c_1001_1^19 + 117*c_1001_1^18 - 829*c_1001_1^17 - 355*c_1001_1^16 + 719*c_1001_1^15 + 1215*c_1001_1^14 + 1648*c_1001_1^13 - 16*c_1001_1^12 - 1183*c_1001_1^11 - 373*c_1001_1^10 - 172*c_1001_1^9 + 131*c_1001_1^8 + 156*c_1001_1^7 - 198*c_1001_1^6 - 31*c_1001_1^5 + 74*c_1001_1^4 - 22*c_1001_1^3 - 8*c_1001_1^2 + 5*c_1001_1 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.320 Total time: 1.530 seconds, Total memory usage: 32.09MB