Magma V2.19-8 Wed Aug 21 2013 00:01:05 on localhost [Seed = 509114252] Type ? for help. Type -D to quit. Loading file "K13n1621__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n1621 geometric_solution 11.41639461 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 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 7 0 0 -7 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.167021963493 0.832862303542 0 5 7 6 0132 0132 0132 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 0 0 0 0 0 0 0 1 -1 0 0 -7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.596753382879 0.483123718881 8 0 9 9 0132 0132 0213 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 1 -1 0 -7 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.478916133505 0.564681281894 10 4 6 0 0132 0132 3012 0132 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 1 0 -1 -6 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.342309059525 0.658331358878 11 3 0 5 0132 0132 0132 3012 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 -1 1 0 0 0 0 0 0 0 0 -6 -1 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.750799066383 0.879382742372 11 1 4 8 1230 0132 1230 0213 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 -7 0 7 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.152336842234 1.640597549418 11 3 1 12 3120 1230 0132 0132 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 1 0 0 -1 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.722267435953 0.756325784288 12 10 12 1 0132 1302 0213 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 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.099642970172 0.591614881997 2 11 10 5 0132 1230 1023 0213 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 -1 1 0 7 0 0 -7 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.698024858152 1.523814619787 10 2 2 12 1023 0213 0132 0213 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 1 0 -1 0 0 0 0 6 -7 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.882604571999 0.956449265018 3 9 8 7 0132 1023 1023 2031 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 -1 1 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.250372362564 0.536969176646 4 5 8 6 0132 3012 3012 3120 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 0 0 0 0 0 1 -1 6 0 0 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.193006992576 0.752708529256 7 7 6 9 0132 0213 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.499051653872 0.327232105659 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_0']), 'c_1001_10' : d['c_0101_8'], 'c_1001_12' : d['c_0101_3'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_1001_0'], 'c_1001_7' : d['c_0101_3'], 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0011_6']), 'c_1001_2' : d['c_1001_0'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_0101_0'], 'c_1010_12' : d['c_1010_12'], 'c_1010_11' : negation(d['c_0011_6']), 'c_1010_10' : negation(d['c_0011_12']), 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_0'], '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_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : 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_9' : d['c_1010_12'], 'c_1100_8' : d['c_1001_1'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0101_11'], 'c_1100_4' : negation(d['c_1001_5']), 'c_1100_7' : d['c_1010_12'], 'c_1100_6' : d['c_1010_12'], 'c_1100_1' : d['c_1010_12'], 'c_1100_0' : negation(d['c_1001_5']), 'c_1100_3' : negation(d['c_1001_5']), 'c_1100_2' : d['c_1010_12'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_0']), 'c_1100_10' : negation(d['c_1001_1']), 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : d['c_1001_0'], 'c_1010_9' : d['c_1010_12'], 'c_1010_8' : d['c_0101_11'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_1010_12'], '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' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_10'], 'c_0011_7' : negation(d['c_0011_12']), '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' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_1'], 'c_0110_10' : d['c_0101_3'], 'c_0110_12' : d['c_0011_12'], 'c_0101_12' : d['c_0101_1'], 'c_0011_11' : negation(d['c_0011_10']), 'c_0101_7' : d['c_0011_12'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_6'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_10'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_8'], 'c_0101_8' : d['c_0101_8'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_12']), '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_8'], 'c_0110_5' : negation(d['c_0011_10']), 'c_0110_4' : d['c_0101_11'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_6, c_0101_0, c_0101_1, c_0101_11, c_0101_3, c_0101_8, c_1001_0, c_1001_1, c_1001_5, c_1010_12 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 25776359893704262298639885622863/23496844083128705341274550705*c_10\ 10_12^16 - 11669804415461138035863066088600/15664562722085803560849\ 70047*c_1010_12^15 + 198910366986652730691988865722379/469936881662\ 5741068254910141*c_1010_12^14 + 1170986677504972235728037366776/234\ 96844083128705341274550705*c_1010_12^13 + 31520519266269034646403423941291/4699368816625741068254910141*c_101\ 0_12^12 - 19271920930769373764666004357791/385194165297191890840566\ 405*c_1010_12^11 - 485263669627921227360409163474956/78322813610429\ 01780424850235*c_1010_12^10 - 35564876569087030420223433781028/1807\ 449544856054257021119285*c_1010_12^9 + 642405843912633575455249846741654/23496844083128705341274550705*c_1\ 010_12^8 + 307442281379327994586837264846154/2349684408312870534127\ 4550705*c_1010_12^7 - 194085603608141059665186668949922/23496844083\ 128705341274550705*c_1010_12^6 + 194575854329862292915681282922963/\ 23496844083128705341274550705*c_1010_12^5 + 1562942342889552381910921549762178/23496844083128705341274550705*c_\ 1010_12^4 + 817018721838265068457857350584948/234968440831287053412\ 74550705*c_1010_12^3 - 81618380204088025115787118527884/23496844083\ 128705341274550705*c_1010_12^2 + 22569909768957531210239085798607/7\ 832281361042901780424850235*c_1010_12 + 120843258016872522754977364147309/23496844083128705341274550705, c_0011_0 - 1, c_0011_10 + 150320108624664259/415662323780843523*c_1010_12^16 - 351215362640610994/138554107926947841*c_1010_12^15 + 6067260594167404874/415662323780843523*c_1010_12^14 - 1592305993055434831/415662323780843523*c_1010_12^13 + 2852656217277168629/415662323780843523*c_1010_12^12 - 8334742123158311620/415662323780843523*c_1010_12^11 - 2076170054124571613/138554107926947841*c_1010_12^10 - 3561508474082421559/415662323780843523*c_1010_12^9 + 3232542784175726069/415662323780843523*c_1010_12^8 + 1420012664842589389/415662323780843523*c_1010_12^7 - 196932516561719969/415662323780843523*c_1010_12^6 + 1610725264964197666/415662323780843523*c_1010_12^5 + 8189269724955183493/415662323780843523*c_1010_12^4 + 3379793252342151077/415662323780843523*c_1010_12^3 + 813435267851185727/415662323780843523*c_1010_12^2 + 181696069511247842/138554107926947841*c_1010_12 + 174825555881467268/415662323780843523, c_0011_12 + 44618956336552331/415662323780843523*c_1010_12^16 - 111177340696931333/138554107926947841*c_1010_12^15 + 1939492945135717723/415662323780843523*c_1010_12^14 - 1261265052503992433/415662323780843523*c_1010_12^13 + 770484548173896391/415662323780843523*c_1010_12^12 - 2725638217146044948/415662323780843523*c_1010_12^11 - 378390777078212152/138554107926947841*c_1010_12^10 + 408526403396251477/415662323780843523*c_1010_12^9 + 1316105862529204804/415662323780843523*c_1010_12^8 + 243791011850387645/415662323780843523*c_1010_12^7 - 666968735957359267/415662323780843523*c_1010_12^6 + 606625513875337127/415662323780843523*c_1010_12^5 + 2343337577532308528/415662323780843523*c_1010_12^4 + 495736930948762582/415662323780843523*c_1010_12^3 - 422238895969640261/415662323780843523*c_1010_12^2 + 51980472940465645/138554107926947841*c_1010_12 - 1405327549183169/415662323780843523, c_0011_6 - 56570615017596539/415662323780843523*c_1010_12^16 + 422601786573679715/415662323780843523*c_1010_12^15 - 818838280089205580/138554107926947841*c_1010_12^14 + 1569249269292871256/415662323780843523*c_1010_12^13 - 284010664693603414/138554107926947841*c_1010_12^12 + 2892967286583157361/415662323780843523*c_1010_12^11 + 1349100298993136350/415662323780843523*c_1010_12^10 - 491256914210019851/415662323780843523*c_1010_12^9 - 1364569588684531403/415662323780843523*c_1010_12^8 + 169687955271401248/138554107926947841*c_1010_12^7 + 433470978255057043/415662323780843523*c_1010_12^6 - 321932834602427465/138554107926947841*c_1010_12^5 - 3055803876742367102/415662323780843523*c_1010_12^4 + 258017935627926670/415662323780843523*c_1010_12^3 + 632889286247561941/415662323780843523*c_1010_12^2 - 659353241249114977/415662323780843523*c_1010_12 - 70407038667966634/138554107926947841, c_0101_0 - 92423424463099213/415662323780843523*c_1010_12^16 + 638381863900818853/415662323780843523*c_1010_12^15 - 1216484832221177500/138554107926947841*c_1010_12^14 + 490972583551752637/415662323780843523*c_1010_12^13 - 349711251330886667/138554107926947841*c_1010_12^12 + 4753557816215343142/415662323780843523*c_1010_12^11 + 4085343072566311043/415662323780843523*c_1010_12^10 + 1888857913544329205/415662323780843523*c_1010_12^9 - 2689425815889879049/415662323780843523*c_1010_12^8 - 85405794113828146/138554107926947841*c_1010_12^7 + 663895223384856536/415662323780843523*c_1010_12^6 - 138601973424492052/138554107926947841*c_1010_12^5 - 5785766165586789916/415662323780843523*c_1010_12^4 - 2394663038247303376/415662323780843523*c_1010_12^3 - 84688657679631055/415662323780843523*c_1010_12^2 - 145169600741586680/415662323780843523*c_1010_12 - 181023831583584845/138554107926947841, c_0101_1 + 11811505343561294/46184702642315947*c_1010_12^16 - 767035371125580941/415662323780843523*c_1010_12^15 + 4420447402161573167/415662323780843523*c_1010_12^14 - 608154848317974106/138554107926947841*c_1010_12^13 + 1141070020952504534/415662323780843523*c_1010_12^12 - 576500815792207814/46184702642315947*c_1010_12^11 - 4405143392009171251/415662323780843523*c_1010_12^10 + 576520810989143971/415662323780843523*c_1010_12^9 + 2341960154877082417/415662323780843523*c_1010_12^8 + 988565401238113282/415662323780843523*c_1010_12^7 - 135858958434742486/46184702642315947*c_1010_12^6 + 1362290975986418074/415662323780843523*c_1010_12^5 + 661568743534007547/46184702642315947*c_1010_12^4 + 1042848673531659676/415662323780843523*c_1010_12^3 - 1009478794763363861/415662323780843523*c_1010_12^2 + 457614092936494615/415662323780843523*c_1010_12 - 29077167773893483/415662323780843523, c_0101_11 - 83943000639765355/415662323780843523*c_1010_12^16 + 555033997223358440/415662323780843523*c_1010_12^15 - 3137212988270494414/415662323780843523*c_1010_12^14 - 595211219193266186/415662323780843523*c_1010_12^13 - 430603885545434485/415662323780843523*c_1010_12^12 + 3172162031706724204/415662323780843523*c_1010_12^11 + 5482810472970036532/415662323780843523*c_1010_12^10 + 679440102811849964/138554107926947841*c_1010_12^9 - 389787111769686554/138554107926947841*c_1010_12^8 - 783186423489783179/415662323780843523*c_1010_12^7 + 895928836657658222/415662323780843523*c_1010_12^6 - 802320149735010380/415662323780843523*c_1010_12^5 - 5131617328773710404/415662323780843523*c_1010_12^4 - 1207557557926085165/138554107926947841*c_1010_12^3 - 101863991224952498/138554107926947841*c_1010_12^2 - 566084456844669046/415662323780843523*c_1010_12 - 480055785461687932/415662323780843523, c_0101_3 - 28847889175156082/415662323780843523*c_1010_12^16 + 224241165491623559/415662323780843523*c_1010_12^15 - 146761612636004588/46184702642315947*c_1010_12^14 + 1185950761971482120/415662323780843523*c_1010_12^13 - 230539693969923590/138554107926947841*c_1010_12^12 + 1036132253415182699/415662323780843523*c_1010_12^11 + 555494971036788784/415662323780843523*c_1010_12^10 - 948649201498501274/415662323780843523*c_1010_12^9 + 445549538051935321/415662323780843523*c_1010_12^8 + 173792114959592420/138554107926947841*c_1010_12^7 + 801134217772555018/415662323780843523*c_1010_12^6 - 350837442280608475/138554107926947841*c_1010_12^5 - 1273661195739140219/415662323780843523*c_1010_12^4 + 658427848243647667/415662323780843523*c_1010_12^3 + 149967925249061137/415662323780843523*c_1010_12^2 - 781162698331463353/415662323780843523*c_1010_12 + 21251491257835342/138554107926947841, c_0101_8 + 53012129078096962/138554107926947841*c_1010_12^16 - 380753900803375196/138554107926947841*c_1010_12^15 + 2211315502073277049/138554107926947841*c_1010_12^14 - 984000646097534830/138554107926947841*c_1010_12^13 + 1402535794276676620/138554107926947841*c_1010_12^12 - 3210095859654299926/138554107926947841*c_1010_12^11 - 1629138619664094643/138554107926947841*c_1010_12^10 - 428607933284105172/46184702642315947*c_1010_12^9 + 303651211403684324/46184702642315947*c_1010_12^8 + 321322758659915054/138554107926947841*c_1010_12^7 + 13566014539692538/138554107926947841*c_1010_12^6 + 876610830685977194/138554107926947841*c_1010_12^5 + 2811698569319842735/138554107926947841*c_1010_12^4 + 265554262995506276/46184702642315947*c_1010_12^3 + 176534058689686819/46184702642315947*c_1010_12^2 + 272136070153912447/138554107926947841*c_1010_12 - 4196048343053750/138554107926947841, c_1001_0 - 17155970112052687/415662323780843523*c_1010_12^16 + 15970499791428077/138554107926947841*c_1010_12^15 - 172824159399373292/415662323780843523*c_1010_12^14 - 2821347098607635900/415662323780843523*c_1010_12^13 + 912994268696437975/415662323780843523*c_1010_12^12 - 350492204569044299/415662323780843523*c_1010_12^11 + 1619938746270683389/138554107926947841*c_1010_12^10 + 2865200051718494203/415662323780843523*c_1010_12^9 + 512749138756730926/415662323780843523*c_1010_12^8 - 2091099558835208755/415662323780843523*c_1010_12^7 - 500578460470315987/415662323780843523*c_1010_12^6 + 195810583585403666/415662323780843523*c_1010_12^5 - 1869005928227344486/415662323780843523*c_1010_12^4 - 4073150274276366380/415662323780843523*c_1010_12^3 - 979417503050091422/415662323780843523*c_1010_12^2 - 18745706233633918/138554107926947841*c_1010_12 - 276556765297012382/415662323780843523, c_1001_1 - 61485072433959224/415662323780843523*c_1010_12^16 + 160700302824284555/138554107926947841*c_1010_12^15 - 2838020979698473177/415662323780843523*c_1010_12^14 + 2658680565193076252/415662323780843523*c_1010_12^13 - 1308128252918073331/415662323780843523*c_1010_12^12 + 2494024261622358068/415662323780843523*c_1010_12^11 + 390509965009357051/138554107926947841*c_1010_12^10 - 2035149576458899216/415662323780843523*c_1010_12^9 + 132533499247033631/415662323780843523*c_1010_12^8 + 1085233239636623494/415662323780843523*c_1010_12^7 + 835133145823167337/415662323780843523*c_1010_12^6 - 1767866614883469536/415662323780843523*c_1010_12^5 - 3022975789543181042/415662323780843523*c_1010_12^4 + 1735887971723138138/415662323780843523*c_1010_12^3 + 414371449054574456/415662323780843523*c_1010_12^2 - 457807695117603127/138554107926947841*c_1010_12 + 162080507740370468/415662323780843523, c_1001_5 + 92423424463099213/415662323780843523*c_1010_12^16 - 638381863900818853/415662323780843523*c_1010_12^15 + 1216484832221177500/138554107926947841*c_1010_12^14 - 490972583551752637/415662323780843523*c_1010_12^13 + 349711251330886667/138554107926947841*c_1010_12^12 - 4753557816215343142/415662323780843523*c_1010_12^11 - 4085343072566311043/415662323780843523*c_1010_12^10 - 1888857913544329205/415662323780843523*c_1010_12^9 + 2689425815889879049/415662323780843523*c_1010_12^8 + 85405794113828146/138554107926947841*c_1010_12^7 - 663895223384856536/415662323780843523*c_1010_12^6 + 138601973424492052/138554107926947841*c_1010_12^5 + 5785766165586789916/415662323780843523*c_1010_12^4 + 2394663038247303376/415662323780843523*c_1010_12^3 + 84688657679631055/415662323780843523*c_1010_12^2 + 145169600741586680/415662323780843523*c_1010_12 + 181023831583584845/138554107926947841, c_1010_12^17 - 7*c_1010_12^16 + 40*c_1010_12^15 - 8*c_1010_12^14 + 6*c_1010_12^13 - 47*c_1010_12^12 - 47*c_1010_12^11 - 6*c_1010_12^10 + 29*c_1010_12^9 + 7*c_1010_12^8 - 10*c_1010_12^7 + 9*c_1010_12^6 + 59*c_1010_12^5 + 19*c_1010_12^4 - 10*c_1010_12^3 + 3*c_1010_12^2 + 4*c_1010_12 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 8.940 Total time: 9.150 seconds, Total memory usage: 83.56MB