Magma V2.19-8 Tue Aug 20 2013 23:46:23 on localhost [Seed = 998068532] Type ? for help. Type -D to quit. Loading file "K14n16559__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n16559 geometric_solution 10.58404207 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 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 1 -1 -16 0 16 0 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.035481127097 1.221013842990 0 4 6 5 0132 3120 0132 0132 0 0 0 0 0 0 0 0 -1 0 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 16 0 -16 0 0 15 0 -15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.600633424389 1.180923617963 7 0 7 3 0132 0132 1230 0132 0 0 0 0 0 0 0 0 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 0 0 0 0 0 16 -16 0 0 0 0 -15 0 15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.046384419159 0.481860795409 8 9 2 0 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 1 0 -1 0 0 16 -16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.296791018812 0.649522073654 10 1 0 7 0132 3120 0132 2031 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 1 -1 0 0 0 0 0 -15 0 15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.998531281620 1.324627077080 11 10 1 8 0132 2103 0132 1023 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 -1 1 0 0 -15 0 15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.763805913300 0.687048624448 10 7 9 1 3120 0213 1302 0132 0 0 0 0 0 1 -1 0 0 0 1 -1 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 -15 15 0 0 0 -16 16 0 0 0 0 -1 -15 16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.336254822251 0.491269419241 2 4 6 2 0132 1302 0213 3012 0 0 0 0 0 0 -1 1 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 15 -15 0 0 0 0 15 1 0 -16 0 -15 15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.140964120070 0.847620156927 3 10 11 5 0132 3201 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.139859346940 0.843528690477 6 3 11 11 2031 0132 3120 3201 0 0 0 0 0 0 0 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 -1 1 0 -15 0 0 15 -16 0 0 16 16 0 -16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.696818594247 0.973802180344 4 5 8 6 0132 2103 2310 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.615961287645 0.946656321760 5 9 9 8 0132 2310 3120 0132 0 0 0 0 0 1 -1 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 -16 16 0 0 0 0 0 15 -15 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.291461827328 0.936159532058 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_1'], 'c_1001_11' : negation(d['c_1001_0']), 'c_1001_10' : negation(d['c_0011_11']), 'c_1001_5' : d['c_0011_10'], 'c_1001_4' : negation(d['c_1001_1']), 'c_1001_7' : d['c_0101_10'], 'c_1001_6' : d['c_0101_10'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_0'], 'c_1001_2' : negation(d['c_1001_1']), 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : negation(d['c_0101_10']), 'c_1010_11' : negation(d['c_0101_10']), 'c_1010_10' : negation(d['c_0011_6']), 's_0_10' : d['1'], 's_0_11' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_11'], 'c_0101_10' : d['c_0101_10'], '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_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_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0101_9'], 'c_1100_4' : d['c_0101_2'], 'c_1100_7' : d['c_1001_1'], 'c_1100_6' : d['c_0101_9'], 'c_1100_1' : d['c_0101_9'], 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : d['c_0101_2'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_9']), 'c_1100_10' : negation(d['c_0011_3']), 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0101_2']), 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_0011_6'], 'c_1010_4' : d['c_0011_0'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_10'], 'c_1010_0' : negation(d['c_1001_1']), 'c_1010_9' : d['c_1001_0'], 'c_1010_8' : d['c_0011_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'], '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' : negation(d['c_0011_3']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : negation(d['c_0011_10']), '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' : d['c_0101_0'], 'c_0110_10' : d['c_0101_1'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0011_6'], 'c_0101_6' : d['c_0011_3'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_6'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_0'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_10'], 'c_0110_8' : d['c_0011_6'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0011_11']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_6'], 'c_0110_5' : d['c_0011_11'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_2'], 'c_1100_8' : negation(d['c_0101_9'])})} 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_11, c_0011_3, c_0011_6, c_0101_0, c_0101_1, c_0101_10, c_0101_2, c_0101_9, c_1001_0, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 9938598809772371876060701816799980808804015912/99208202836173409891\ 9031859449364804875*c_1001_1^14 - 255467218490037912181992334538250\ 328495077956378/4960410141808670494595159297246824024375*c_1001_1^1\ 3 - 156298727010997965447251143649338463184169001872/99208202836173\ 4098919031859449364804875*c_1001_1^12 - 338699585203686975541088515872649654996752925041/992082028361734098\ 919031859449364804875*c_1001_1^11 - 2734954811429632208182723863685745107450446531823/49604101418086704\ 94595159297246824024375*c_1001_1^10 - 3234128681456011905390502894599273645847585428509/49604101418086704\ 94595159297246824024375*c_1001_1^9 - 2432457046311910982036432471694551209612728217213/49604101418086704\ 94595159297246824024375*c_1001_1^8 - 6901290514141845718988191445111329358798378067/12098561321484562181\ 9394129201142049375*c_1001_1^7 + 2365930635651975469032541337672007\ 249171081263413/4960410141808670494595159297246824024375*c_1001_1^6 + 863300432426280588075638781920997734126307212327/9920820283617340\ 98919031859449364804875*c_1001_1^5 + 4727824104902887997392546328820445848041698385329/49604101418086704\ 94595159297246824024375*c_1001_1^4 + 3615085775376564244073395097905022781200357465448/49604101418086704\ 94595159297246824024375*c_1001_1^3 + 1855867871923565011909629954340922586752221802072/49604101418086704\ 94595159297246824024375*c_1001_1^2 + 557983175934546444535286455583473069408442200917/496041014180867049\ 4595159297246824024375*c_1001_1 + 719379959963340933290991661827029\ 94370008481411/4960410141808670494595159297246824024375, c_0011_0 - 1, c_0011_10 + 193632674084958755541657829930/550134074447558699944164149*\ c_1001_1^14 + 873599950541751773700193025154/5501340744475586999441\ 64149*c_1001_1^13 + 2527508519121550012312037572001/550134074447558\ 699944164149*c_1001_1^12 + 5146193318510585763375023331546/55013407\ 4447558699944164149*c_1001_1^11 + 7806988388680652735768797813024/5\ 50134074447558699944164149*c_1001_1^10 + 8455269284989643587672613852246/550134074447558699944164149*c_1001_\ 1^9 + 5277853065158963711056419795630/550134074447558699944164149*c\ _1001_1^8 - 1074715720021442169978731756942/55013407444755869994416\ 4149*c_1001_1^7 - 7936563634309683514827436216353/55013407444755869\ 9944164149*c_1001_1^6 - 12154158743399256470903408337372/5501340744\ 47558699944164149*c_1001_1^5 - 12025883320508291941764839324601/550\ 134074447558699944164149*c_1001_1^4 - 8251941014076641944185035002547/550134074447558699944164149*c_1001_\ 1^3 - 3631053222749529505108062850426/550134074447558699944164149*c\ _1001_1^2 - 880584818227312780814551613058/550134074447558699944164\ 149*c_1001_1 - 87217578000112690728923316224/5501340744475586999441\ 64149, c_0011_11 + 110890807725168339758905303000/550134074447558699944164149*\ c_1001_1^14 + 570272510908774772671381227370/5501340744475586999441\ 64149*c_1001_1^13 + 1741526339034065037632898295926/550134074447558\ 699944164149*c_1001_1^12 + 3770617064975565353946174114707/55013407\ 4447558699944164149*c_1001_1^11 + 6079278216709394833716330576264/5\ 50134074447558699944164149*c_1001_1^10 + 7175019824370767039246332049531/550134074447558699944164149*c_1001_\ 1^9 + 5371829982226068239214037138274/550134074447558699944164149*c\ _1001_1^8 + 585474671630940206067414641496/550134074447558699944164\ 149*c_1001_1^7 - 5288455183642027785156251499483/550134074447558699\ 944164149*c_1001_1^6 - 9595089844787000413569360306272/550134074447\ 558699944164149*c_1001_1^5 - 10477117619103097407153903147957/55013\ 4074447558699944164149*c_1001_1^4 - 7987297813493267829257776656006/550134074447558699944164149*c_1001_\ 1^3 - 4081477219835614493796137929906/550134074447558699944164149*c\ _1001_1^2 - 1219815437997486971028492201407/55013407444755869994416\ 4149*c_1001_1 - 157313727436195964814602562214/55013407444755869994\ 4164149, c_0011_3 - 235895689592955006665038947670/550134074447558699944164149*c\ _1001_1^14 - 1187827185083118900913332598326/5501340744475586999441\ 64149*c_1001_1^13 - 3601457809240249276970938350329/550134074447558\ 699944164149*c_1001_1^12 - 7733858961585510679133457697584/55013407\ 4447558699944164149*c_1001_1^11 - 12378229618011829471341308201427/\ 550134074447558699944164149*c_1001_1^10 - 14467083382385281068469052786054/550134074447558699944164149*c_1001\ _1^9 - 10639227720676495697688593472479/550134074447558699944164149\ *c_1001_1^8 - 859648636661185159681634367177/5501340744475586999441\ 64149*c_1001_1^7 + 10974249368358339123752471297334/550134074447558\ 699944164149*c_1001_1^6 + 19502274601460791842110642849813/55013407\ 4447558699944164149*c_1001_1^5 + 21070475433749721203844240607715/5\ 50134074447558699944164149*c_1001_1^4 + 15899240156183451443464240959293/550134074447558699944164149*c_1001\ _1^3 + 8023062542199981487217308068381/550134074447558699944164149*\ c_1001_1^2 + 2363056272175722500576925664986/5501340744475586999441\ 64149*c_1001_1 + 299475785713444907129269423926/5501340744475586999\ 44164149, c_0011_6 + 32116409939060687289004796090/550134074447558699944164149*c_\ 1001_1^14 + 190815632202036878047601342792/550134074447558699944164\ 149*c_1001_1^13 + 617770965874749483255967825135/550134074447558699\ 944164149*c_1001_1^12 + 1413737352339725149930028976693/55013407444\ 7558699944164149*c_1001_1^11 + 2403086462795664841069944079506/5501\ 34074447558699944164149*c_1001_1^10 + 3026870028923144312907386936034/550134074447558699944164149*c_1001_\ 1^9 + 2541555380534432338116515606000/550134074447558699944164149*c\ _1001_1^8 + 714723368398692141721338312465/550134074447558699944164\ 149*c_1001_1^7 - 1778665711147195426314074369123/550134074447558699\ 944164149*c_1001_1^6 - 3822559801570016847148970375230/550134074447\ 558699944164149*c_1001_1^5 - 4510884976645735505157139387946/550134\ 074447558699944164149*c_1001_1^4 - 3689565709982238392407712541613/550134074447558699944164149*c_1001_\ 1^3 - 2056056292418459400111370099167/550134074447558699944164149*c\ _1001_1^2 - 680985114181754343889726683365/550134074447558699944164\ 149*c_1001_1 - 97129144371173167409089028576/5501340744475586999441\ 64149, c_0101_0 - 173740203740647827913014439960/550134074447558699944164149*c\ _1001_1^14 - 842639887411605483245254529198/55013407444755869994416\ 4149*c_1001_1^13 - 2509190234492917115705165504150/5501340744475586\ 99944164149*c_1001_1^12 - 5288023346913373437635319126975/550134074\ 447558699944164149*c_1001_1^11 - 8298609201230863945310421670046/55\ 0134074447558699944164149*c_1001_1^10 - 9441142116544720946427288045570/550134074447558699944164149*c_1001_\ 1^9 - 6565867665789394508905912482159/550134074447558699944164149*c\ _1001_1^8 + 83916915318105222636534738719/5501340744475586999441641\ 49*c_1001_1^7 + 7787690513702765981240751066600/5501340744475586999\ 44164149*c_1001_1^6 + 13040895694867950067865957991865/550134074447\ 558699944164149*c_1001_1^5 + 13626268308236532238280640855830/55013\ 4074447558699944164149*c_1001_1^4 + 9931150347788299254701703084221/550134074447558699944164149*c_1001_\ 1^3 + 4767414802328935370928081419626/550134074447558699944164149*c\ _1001_1^2 + 1303264035511861936935155029185/55013407444755869994416\ 4149*c_1001_1 + 148860735607769614207478579854/55013407444755869994\ 4164149, c_0101_1 - 82585293538522462776467178270/550134074447558699944164149*c_\ 1001_1^14 - 428284874966664396369459185766/550134074447558699944164\ 149*c_1001_1^13 - 1314891004545692629829922711067/55013407444755869\ 9944164149*c_1001_1^12 - 2860352297748066315030164429238/5501340744\ 47558699944164149*c_1001_1^11 - 4636394527335841166980616482794/550\ 134074447558699944164149*c_1001_1^10 - 5509596923877829884582243007044/550134074447558699944164149*c_1001_\ 1^9 - 4182015297974094419417985005031/550134074447558699944164149*c\ _1001_1^8 - 547284714490358658284562583136/550134074447558699944164\ 149*c_1001_1^7 + 3967391052889347621398357244720/550134074447558699\ 944164149*c_1001_1^6 + 7322186961217538290411047135608/550134074447\ 558699944164149*c_1001_1^5 + 8066601834372804722768618014412/550134\ 074447558699944164149*c_1001_1^4 + 6202976557456136667900490461605/550134074447558699944164149*c_1001_\ 1^3 + 3207948905255522994985111206524/550134074447558699944164149*c\ _1001_1^2 + 973480330553789230342223251930/550134074447558699944164\ 149*c_1001_1 + 127048000782948086064662429345/550134074447558699944\ 164149, c_0101_10 + 556581012030551371822334103450/550134074447558699944164149*\ c_1001_1^14 + 2748822852927819681659001686350/550134074447558699944\ 164149*c_1001_1^13 + 8262019432883751446535691519997/55013407444755\ 8699944164149*c_1001_1^12 + 17578967285641725569330934861138/550134\ 074447558699944164149*c_1001_1^11 + 27874148463690415824296607758360/550134074447558699944164149*c_1001\ _1^10 + 32166158253163151398385991556935/55013407444755869994416414\ 9*c_1001_1^9 + 23060053430508278312771523002223/5501340744475586999\ 44164149*c_1001_1^8 + 894438349954406711196609325269/55013407444755\ 8699944164149*c_1001_1^7 - 25388077357900405645261330638974/5501340\ 74447558699944164149*c_1001_1^6 - 43856853747068989122029071703793/\ 550134074447558699944164149*c_1001_1^5 - 46657662359496302384196696043222/550134074447558699944164149*c_1001\ _1^4 - 34654384246643990114963898212798/550134074447558699944164149\ *c_1001_1^3 - 17108733260019686191735226047956/55013407444755869994\ 4164149*c_1001_1^2 - 4883897087984629157625291062194/55013407444755\ 8699944164149*c_1001_1 - 592808057270006762146440007531/55013407444\ 7558699944164149, c_0101_2 - 80309786803926723036402299940/550134074447558699944164149*c_\ 1001_1^14 - 394045938006893373170725194332/550134074447558699944164\ 149*c_1001_1^13 - 1180294674808743518404134374708/55013407444755869\ 9944164149*c_1001_1^12 - 2503037076475320249987796418400/5501340744\ 47558699944164149*c_1001_1^11 - 3954534489715961894326263884241/550\ 134074447558699944164149*c_1001_1^10 - 4541651265162108790899548884337/550134074447558699944164149*c_1001_\ 1^9 - 3223381106541782555625055230253/550134074447558699944164149*c\ _1001_1^8 - 71454491886815807954927145627/5501340744475586999441641\ 49*c_1001_1^7 + 3637096298457774907353670254493/5501340744475586999\ 44164149*c_1001_1^6 + 6218306819055567573161972279304/5501340744475\ 58699944164149*c_1001_1^5 + 6576317432963847093944714622826/5501340\ 74447558699944164149*c_1001_1^4 + 4855787975159909992794495309558/5\ 50134074447558699944164149*c_1001_1^3 + 2377176157633570240517082669011/550134074447558699944164149*c_1001_\ 1^2 + 671238791565275153057753724052/550134074447558699944164149*c_\ 1001_1 + 80939781934889095380976383240/550134074447558699944164149, c_0101_9 + 518183127954835772677153927820/550134074447558699944164149*c\ _1001_1^14 + 2537242481004257683585921629226/5501340744475586999441\ 64149*c_1001_1^13 + 7602292669633951902072507139618/550134074447558\ 699944164149*c_1001_1^12 + 16117840550679880178547602920677/5501340\ 74447558699944164149*c_1001_1^11 + 25473335218960863325422323689441/550134074447558699944164149*c_1001\ _1^10 + 29265250954788537234825887626260/55013407444755869994416414\ 9*c_1001_1^9 + 20800815675878204699947706855466/5501340744475586999\ 44164149*c_1001_1^8 + 518948956437581704847369233725/55013407444755\ 8699944164149*c_1001_1^7 - 23381062548525314467891293422371/5501340\ 74447558699944164149*c_1001_1^6 - 40040280151198531449441594287655/\ 550134074447558699944164149*c_1001_1^5 - 42397716548918867547565306957843/550134074447558699944164149*c_1001\ _1^4 - 31343407238828495669241284903130/550134074447558699944164149\ *c_1001_1^3 - 15384679809506643627650412411794/55013407444755869994\ 4164149*c_1001_1^2 - 4366439048842535102011091323487/55013407444755\ 8699944164149*c_1001_1 - 528408530070509439686287730580/55013407444\ 7558699944164149, c_1001_0 + 93430416936721104876612140020/550134074447558699944164149*c_\ 1001_1^14 + 448593949404712110074529334866/550134074447558699944164\ 149*c_1001_1^13 + 1328895559684173597301031129442/55013407444755869\ 9944164149*c_1001_1^12 + 2784986270438053187647522708575/5501340744\ 47558699944164149*c_1001_1^11 + 4344074711514902050984157785805/550\ 134074447558699944164149*c_1001_1^10 + 4899490851382612155527739161233/550134074447558699944164149*c_1001_\ 1^9 + 3342486559247611953280857251906/550134074447558699944164149*c\ _1001_1^8 - 155371407204921030591461884346/550134074447558699944164\ 149*c_1001_1^7 - 4150594215244991073887080812107/550134074447558699\ 944164149*c_1001_1^6 - 6822588875812382494703985712561/550134074447\ 558699944164149*c_1001_1^5 - 7049950875272685144335926233004/550134\ 074447558699944164149*c_1001_1^4 - 5075362372628389261907207774663/550134074447558699944164149*c_1001_\ 1^3 - 2390238644695365130410998750615/550134074447558699944164149*c\ _1001_1^2 - 632025243946586783877401305133/550134074447558699944164\ 149*c_1001_1 - 67920953672880518826502196614/5501340744475586999441\ 64149, c_1001_1^15 + 662/115*c_1001_1^14 + 869/46*c_1001_1^13 + 2013/46*c_1001_1^12 + 8742/115*c_1001_1^11 + 11381/115*c_1001_1^10 + 10237/115*c_1001_1^9 + 8241/230*c_1001_1^8 - 5072/115*c_1001_1^7 - 2672/23*c_1001_1^6 - 17091/115*c_1001_1^5 - 15102/115*c_1001_1^4 - 18891/230*c_1001_1^3 - 7871/230*c_1001_1^2 - 1923/230*c_1001_1 - 41/46 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 2.770 Total time: 2.990 seconds, Total memory usage: 64.12MB