Magma V2.19-8 Tue Aug 20 2013 16:17:44 on localhost [Seed = 1292685741] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1970 geometric_solution 5.54598295 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.575673749700 0.125717061544 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.766303831269 0.236365987411 1 3 1 4 0132 0132 1023 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 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.029528011554 0.876669742276 5 2 4 6 0132 0132 2310 0132 0 0 0 0 0 0 0 0 1 0 -1 0 -1 0 0 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 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.081730837400 0.961018519542 6 3 2 5 0132 3201 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.081730837400 0.961018519542 3 4 5 5 0132 2310 2031 1302 0 0 0 0 0 -1 1 0 -1 0 0 1 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 0 0 0 -1 0 0 1 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.721490979695 1.373537007186 4 6 3 6 0132 2310 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.087860275565 1.033090503372 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : 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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : d['c_0101_5'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], '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' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(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_1, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 48 Groebner basis: [ t + 23430930891479102075460794135275616273464290266357/8972200379128184\ 87816911609748382012455846504*c_0101_3*c_0101_5^23 - 30773151119270635925756245510158259289784689909969/2243050094782046\ 21954227902437095503113961626*c_0101_3*c_0101_5^22 - 85773706639752053226159416011303079859582270553421/2243050094782046\ 21954227902437095503113961626*c_0101_3*c_0101_5^21 - 1064130338705017405414904085223731899628229586156737/89722003791281\ 8487816911609748382012455846504*c_0101_3*c_0101_5^20 - 1803180215984112486525618561300130509668808137456259/44861001895640\ 9243908455804874191006227923252*c_0101_3*c_0101_5^19 - 2748931433999053547645137305399495205628260273956009/89722003791281\ 8487816911609748382012455846504*c_0101_3*c_0101_5^18 - 2313173261109424895058060620318142002099457822586505/89722003791281\ 8487816911609748382012455846504*c_0101_3*c_0101_5^17 + 9756247017156685696553680602460173513186809060607279/89722003791281\ 8487816911609748382012455846504*c_0101_3*c_0101_5^16 - 2805671432837554671556417321544021915363096668184375/89722003791281\ 8487816911609748382012455846504*c_0101_3*c_0101_5^15 + 6520631487723903268852272410213590711929694992851253/44861001895640\ 9243908455804874191006227923252*c_0101_3*c_0101_5^14 + 82949608921881456776726222490136083184200555254892443/8972200379128\ 18487816911609748382012455846504*c_0101_3*c_0101_5^13 - 10821579451905783155202453344386118412335945833875649/4486100189564\ 09243908455804874191006227923252*c_0101_3*c_0101_5^12 + 85002352035501539760914984210796987485991571946707255/8972200379128\ 18487816911609748382012455846504*c_0101_3*c_0101_5^11 - 113087841495360567025237868885806959235470947301283131/897220037912\ 818487816911609748382012455846504*c_0101_3*c_0101_5^10 + 135497253555034570848827291177709465504781371735546375/897220037912\ 818487816911609748382012455846504*c_0101_3*c_0101_5^9 - 182081914278940000364621234850593506653615866083684565/897220037912\ 818487816911609748382012455846504*c_0101_3*c_0101_5^8 - 63530554869331989046982508602781118917225831208965979/8972200379128\ 18487816911609748382012455846504*c_0101_3*c_0101_5^7 - 99427791337236006078545577036826803700800198093003615/8972200379128\ 18487816911609748382012455846504*c_0101_3*c_0101_5^6 + 95228175446831864801141824616698182014746214882849209/8972200379128\ 18487816911609748382012455846504*c_0101_3*c_0101_5^5 - 4764499981370931897809015402083743312412715002986113/89722003791281\ 8487816911609748382012455846504*c_0101_3*c_0101_5^4 - 2348680853020642780043329240226183087519416751260231/44861001895640\ 9243908455804874191006227923252*c_0101_3*c_0101_5^3 + 423710033009573297805085378942192867607267188462077/897220037912818\ 487816911609748382012455846504*c_0101_3*c_0101_5^2 - 267817478376321592019754102595786255672597047572685/897220037912818\ 487816911609748382012455846504*c_0101_3*c_0101_5 + 72549808041822736109315271063217645471134700528139/8972200379128184\ 87816911609748382012455846504*c_0101_3, c_0011_0 - 1, c_0011_1 + 1081758909876692539571407041257681486522448019/2243050094782\ 04621954227902437095503113961626*c_0101_5^23 - 5621280093253093692113550706177579169192434501/22430500947820462195\ 4227902437095503113961626*c_0101_5^22 - 16149925053613869592894075315980265123315883853/2243050094782046219\ 54227902437095503113961626*c_0101_5^21 - 25051419601886608659784484394205113468538599605/1121525047391023109\ 77113951218547751556980813*c_0101_5^20 - 169515213514612909295009782683897246684488202513/224305009478204621\ 954227902437095503113961626*c_0101_5^19 - 68535277485218290644687238542188957710385480044/1121525047391023109\ 77113951218547751556980813*c_0101_5^18 - 58139910682647705207045272000763436630930099316/1121525047391023109\ 77113951218547751556980813*c_0101_5^17 + 442363531087467704107780188671466363271882202065/224305009478204621\ 954227902437095503113961626*c_0101_5^16 - 52736646877554548179335366973592842577138502906/1121525047391023109\ 77113951218547751556980813*c_0101_5^15 + 600379613374752371493402386432232415190283901265/224305009478204621\ 954227902437095503113961626*c_0101_5^14 + 1931634647052889540627835708017567060866079107308/11215250473910231\ 0977113951218547751556980813*c_0101_5^13 - 773382718649263510509564809326165477744226393977/224305009478204621\ 954227902437095503113961626*c_0101_5^12 + 1959043706329214484988191310818290437701333571026/11215250473910231\ 0977113951218547751556980813*c_0101_5^11 - 5002421504122891305107311773244483305400840033113/22430500947820462\ 1954227902437095503113961626*c_0101_5^10 + 6006325641145395898992912839824823084530154497243/22430500947820462\ 1954227902437095503113961626*c_0101_5^9 - 8110498022953203937965882050669274655041989024315/22430500947820462\ 1954227902437095503113961626*c_0101_5^8 - 3342791936525380642200012709212893824166620615933/22430500947820462\ 1954227902437095503113961626*c_0101_5^7 - 4854377564699974797074918429174640887273146226893/22430500947820462\ 1954227902437095503113961626*c_0101_5^6 + 2040048503379835189793066410048286562814162764076/11215250473910231\ 0977113951218547751556980813*c_0101_5^5 - 17864725149899444008375785303465167344207720428/1121525047391023109\ 77113951218547751556980813*c_0101_5^4 - 90051019315793902569162641178085011260821172371/1121525047391023109\ 77113951218547751556980813*c_0101_5^3 + 15888809846448948999930078378386277381507890745/2243050094782046219\ 54227902437095503113961626*c_0101_5^2 - 12090319517613311719121764477830262757176403689/2243050094782046219\ 54227902437095503113961626*c_0101_5 + 1239484035937710838569922847075430434513009679/11215250473910231097\ 7113951218547751556980813, c_0011_4 + 2428856201987165984509570101106493191161071389/2243050094782\ 04621954227902437095503113961626*c_0101_3*c_0101_5^23 - 6325553833135766701184861549306329893886687228/11215250473910231097\ 7113951218547751556980813*c_0101_3*c_0101_5^22 - 36126954924979871140245339114148708778622044057/2243050094782046219\ 54227902437095503113961626*c_0101_3*c_0101_5^21 - 55976762064786388741698986404613318717563128567/1121525047391023109\ 77113951218547751556980813*c_0101_3*c_0101_5^20 - 378891178232208438522191444495599811802558526053/224305009478204621\ 954227902437095503113961626*c_0101_3*c_0101_5^19 - 151015944078086834015598320060141510456473056071/112152504739102310\ 977113951218547751556980813*c_0101_3*c_0101_5^18 - 253723599170138575507277584982986910278995810621/224305009478204621\ 954227902437095503113961626*c_0101_3*c_0101_5^17 + 500185106220042645196218610090990732358763400277/112152504739102310\ 977113951218547751556980813*c_0101_3*c_0101_5^16 - 122669690841665261175013067063542006876628381975/112152504739102310\ 977113951218547751556980813*c_0101_3*c_0101_5^15 + 1343953098581416822822502363355964933929087593323/22430500947820462\ 1954227902437095503113961626*c_0101_3*c_0101_5^14 + 4328425364527642812767238318294840255397796470735/11215250473910231\ 0977113951218547751556980813*c_0101_3*c_0101_5^13 - 927035325785475712487402324105362345304609417184/112152504739102310\ 977113951218547751556980813*c_0101_3*c_0101_5^12 + 4370779185614335613747844448969627493758277664700/11215250473910231\ 0977113951218547751556980813*c_0101_3*c_0101_5^11 - 11354629468718596263925655943759196747359416693459/2243050094782046\ 21954227902437095503113961626*c_0101_3*c_0101_5^10 + 13545561338574568792538705423512466975867119762949/2243050094782046\ 21954227902437095503113961626*c_0101_3*c_0101_5^9 - 18311446831053912965494324710032004622839700107701/2243050094782046\ 21954227902437095503113961626*c_0101_3*c_0101_5^8 - 3684495859236074616700319251531964343978290511855/11215250473910231\ 0977113951218547751556980813*c_0101_3*c_0101_5^7 - 5345254197560453045114110259220905447350912951144/11215250473910231\ 0977113951218547751556980813*c_0101_3*c_0101_5^6 + 4702249697209484602052360314146469154462898452054/11215250473910231\ 0977113951218547751556980813*c_0101_3*c_0101_5^5 - 61243633884311419019186260528925468369997734037/2243050094782046219\ 54227902437095503113961626*c_0101_3*c_0101_5^4 - 431152747734875408153531441239527079077708931301/224305009478204621\ 954227902437095503113961626*c_0101_3*c_0101_5^3 + 13769996578381381252382205773483973825844839354/1121525047391023109\ 77113951218547751556980813*c_0101_3*c_0101_5^2 - 28466074653526623012082851444488284027366114447/2243050094782046219\ 54227902437095503113961626*c_0101_3*c_0101_5 + 5701216970936323537471156437982364572646530491/22430500947820462195\ 4227902437095503113961626*c_0101_3, c_0101_0 + 2172009344715942291139617152047297370988616829/1121525047391\ 02310977113951218547751556980813*c_0101_3*c_0101_5^23 - 10915506840166035005809098131310258831854910891/1121525047391023109\ 77113951218547751556980813*c_0101_3*c_0101_5^22 - 34287125548532697823540322120441145061352054125/1121525047391023109\ 77113951218547751556980813*c_0101_3*c_0101_5^21 - 212965388591575387994321973103402242588107892971/224305009478204621\ 954227902437095503113961626*c_0101_3*c_0101_5^20 - 717271320410558600064663353666759659479330481713/224305009478204621\ 954227902437095503113961626*c_0101_3*c_0101_5^19 - 673492408154457699457249121457785301431617058403/224305009478204621\ 954227902437095503113961626*c_0101_3*c_0101_5^18 - 583664007288593361027371294724542294113770584315/224305009478204621\ 954227902437095503113961626*c_0101_3*c_0101_5^17 + 837545129891749242888977944501933038277255105359/112152504739102310\ 977113951218547751556980813*c_0101_3*c_0101_5^16 - 138666853163157747475218134151045621548147826217/224305009478204621\ 954227902437095503113961626*c_0101_3*c_0101_5^15 + 2390923305480957296254196729449252067303172936477/22430500947820462\ 1954227902437095503113961626*c_0101_3*c_0101_5^14 + 15922088470699817639745116903242365096233135774083/2243050094782046\ 21954227902437095503113961626*c_0101_3*c_0101_5^13 - 379329608341390016419470502455338915763370938295/224305009478204621\ 954227902437095503113961626*c_0101_3*c_0101_5^12 + 7852483377377279173856377749517242824495798561341/11215250473910231\ 0977113951218547751556980813*c_0101_3*c_0101_5^11 - 17404147703194026742775012546388111591013795740657/2243050094782046\ 21954227902437095503113961626*c_0101_3*c_0101_5^10 + 10590470943123909449023964168323666849895529078246/1121525047391023\ 10977113951218547751556980813*c_0101_3*c_0101_5^9 - 14493502153222715974089831532035026716013563000105/1121525047391023\ 10977113951218547751556980813*c_0101_3*c_0101_5^8 - 9165290784742039268678353007022656968003019142600/11215250473910231\ 0977113951218547751556980813*c_0101_3*c_0101_5^7 - 22689852618248394383521706125714376827769011922113/2243050094782046\ 21954227902437095503113961626*c_0101_3*c_0101_5^6 + 12463648263813182186760539900128128812924248176987/2243050094782046\ 21954227902437095503113961626*c_0101_3*c_0101_5^5 + 1934834926374141866120838268562575296734257829033/22430500947820462\ 1954227902437095503113961626*c_0101_3*c_0101_5^4 - 183817743476047808724908602990656877996116117531/112152504739102310\ 977113951218547751556980813*c_0101_3*c_0101_5^3 + 4660943140280945452695408266613879694908894711/22430500947820462195\ 4227902437095503113961626*c_0101_3*c_0101_5^2 - 49574209188467218773724948024248679365395400251/2243050094782046219\ 54227902437095503113961626*c_0101_3*c_0101_5 + 813069833530071082239093469884678967890871880/112152504739102310977\ 113951218547751556980813*c_0101_3, c_0101_1 + 2153046593362462025014954045786921896751054753/2243050094782\ 04621954227902437095503113961626*c_0101_5^23 - 5747806944167071478933083305772759102625874012/11215250473910231097\ 7113951218547751556980813*c_0101_5^22 - 30610219270686788553685218276876303965171681109/2243050094782046219\ 54227902437095503113961626*c_0101_5^21 - 94808663118486110850620231718258041422240452767/2243050094782046219\ 54227902437095503113961626*c_0101_5^20 - 322121907543254220653313345289647412357512323613/224305009478204621\ 954227902437095503113961626*c_0101_5^19 - 221442448223038652768950476860181304324539563821/224305009478204621\ 954227902437095503113961626*c_0101_5^18 - 181736817048476572912686047823410269436017131715/224305009478204621\ 954227902437095503113961626*c_0101_5^17 + 461910374720822901938780172771790103716447329056/112152504739102310\ 977113951218547751556980813*c_0101_5^16 - 326671084304231929868915219752203784861199354689/224305009478204621\ 954227902437095503113961626*c_0101_5^15 + 1200369903401259803490457738782858402104627552887/22430500947820462\ 1954227902437095503113961626*c_0101_5^14 + 7519800446764715679414645579917701142333239475893/22430500947820462\ 1954227902437095503113961626*c_0101_5^13 - 1336377381605975511893305316762290885485217936063/11215250473910231\ 0977113951218547751556980813*c_0101_5^12 + 3890427651971884230592500792563924086294251661553/11215250473910231\ 0977113951218547751556980813*c_0101_5^11 - 5535938447840013627073694299606137852887765882437/11215250473910231\ 0977113951218547751556980813*c_0101_5^10 + 6571562312680958606730767387268002170493494764768/11215250473910231\ 0977113951218547751556980813*c_0101_5^9 - 8799347073938292696316095864009168959313025382618/11215250473910231\ 0977113951218547751556980813*c_0101_5^8 - 4654557081664553390111675473910060406192134426519/22430500947820462\ 1954227902437095503113961626*c_0101_5^7 - 4145620414933097290258422705948309220384469268870/11215250473910231\ 0977113951218547751556980813*c_0101_5^6 + 9784885162020950926828987946751088144512972243901/22430500947820462\ 1954227902437095503113961626*c_0101_5^5 - 884826548002716981710250250466946669470032433519/224305009478204621\ 954227902437095503113961626*c_0101_5^4 - 522162975321038130431881793988503733394336057751/224305009478204621\ 954227902437095503113961626*c_0101_5^3 + 48779266451759997725097206639721338153613045689/2243050094782046219\ 54227902437095503113961626*c_0101_5^2 - 24639843962908748555729973077333567110377066697/2243050094782046219\ 54227902437095503113961626*c_0101_5 + 8624422917853575921610921755100328368751335553/22430500947820462195\ 4227902437095503113961626, c_0101_3^2 + 106242771934815497128257749944585868290097203/112152504739\ 102310977113951218547751556980813*c_0101_5^23 - 1158217504413211040248437344142638661043284451/22430500947820462195\ 4227902437095503113961626*c_0101_5^22 - 2903347380184717119429976233216165902522753721/22430500947820462195\ 4227902437095503113961626*c_0101_5^21 - 4487503307520679867136189561810099295857860311/11215250473910231097\ 7113951218547751556980813*c_0101_5^20 - 30602076060450762344193614310562714990208482857/2243050094782046219\ 54227902437095503113961626*c_0101_5^19 - 8929141729707232246381964557212815533461677862/11215250473910231097\ 7113951218547751556980813*c_0101_5^18 - 13987002776297458437503000333424494608992786541/2243050094782046219\ 54227902437095503113961626*c_0101_5^17 + 47327852328171085481478331767304435144526262811/1121525047391023109\ 77113951218547751556980813*c_0101_5^16 - 20555128484251164267492473051005543329089137721/1121525047391023109\ 77113951218547751556980813*c_0101_5^15 + 118685253150326156906677902834391430156972943323/224305009478204621\ 954227902437095503113961626*c_0101_5^14 + 364515301672159558193568560317300268398403012599/112152504739102310\ 977113951218547751556980813*c_0101_5^13 - 351528286794973667009453606610005014338156023409/224305009478204621\ 954227902437095503113961626*c_0101_5^12 + 764090095226009935066538985596887241205888694671/224305009478204621\ 954227902437095503113961626*c_0101_5^11 - 1179517385275593787425294621733048291666991436465/22430500947820462\ 1954227902437095503113961626*c_0101_5^10 + 1386284639159683111990015882211526534818452138211/22430500947820462\ 1954227902437095503113961626*c_0101_5^9 - 1847487313062990162663598274741461948168084979229/22430500947820462\ 1954227902437095503113961626*c_0101_5^8 - 307775953231602001759835971707015166411975719775/224305009478204621\ 954227902437095503113961626*c_0101_5^7 - 354668121791948213140814239768818806812188750474/112152504739102310\ 977113951218547751556980813*c_0101_5^6 + 549008349899355480937936642560986777226729697757/112152504739102310\ 977113951218547751556980813*c_0101_5^5 - 145507393241296649272668237062392104921614508977/224305009478204621\ 954227902437095503113961626*c_0101_5^4 - 32283980395450056640321697617490972137509025800/1121525047391023109\ 77113951218547751556980813*c_0101_5^3 + 5375461048874951859739094327847078334927753949/22430500947820462195\ 4227902437095503113961626*c_0101_5^2 - 1239484035937710838569922847075430434513009679/11215250473910231097\ 7113951218547751556980813*c_0101_5 + 1081758909876692539571407041257681486522448019/22430500947820462195\ 4227902437095503113961626, c_0101_5^24 - 5*c_0101_5^23 - 16*c_0101_5^22 - 49*c_0101_5^21 - 165*c_0101_5^20 - 155*c_0101_5^19 - 124*c_0101_5^18 + 396*c_0101_5^17 - 10*c_0101_5^16 + 517*c_0101_5^15 + 3681*c_0101_5^14 - 41*c_0101_5^13 + 3297*c_0101_5^12 - 3918*c_0101_5^11 + 4462*c_0101_5^10 - 6216*c_0101_5^9 - 4798*c_0101_5^8 - 4772*c_0101_5^7 + 3116*c_0101_5^6 + 982*c_0101_5^5 - 301*c_0101_5^4 - 45*c_0101_5^3 - 6*c_0101_5^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.080 Total time: 0.270 seconds, Total memory usage: 32.09MB