Magma V2.19-8 Tue Aug 20 2013 23:39:49 on localhost [Seed = 1242312438] Type ? for help. Type -D to quit. Loading file "K14n18351__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n18351 geometric_solution 10.25183504 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 11 1 2 3 4 0132 0132 0132 0132 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 14 1 -15 0 0 15 -15 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.331750620271 0.767768455036 0 5 7 6 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 15 -15 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.255057477579 1.346944664306 7 0 5 8 0132 0132 0321 0132 0 0 0 0 0 1 -1 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 -14 14 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 0 0 0 0 0.582235251907 0.569055828855 7 5 4 0 1023 1023 3201 0132 0 0 0 0 0 0 0 0 -1 0 0 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 1 -1 15 0 0 -15 0 0 0 0 0 -15 15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.702825325512 1.323975233169 3 9 0 9 2310 0132 0132 2310 0 0 0 0 0 1 -1 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 -15 15 0 -15 0 15 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.033017731434 1.295856707022 3 1 2 8 1023 0132 0321 2031 0 0 0 0 0 0 1 -1 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 -14 14 0 0 0 0 0 -1 0 1 15 0 -15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.475287448633 0.395723916223 8 10 1 9 0213 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 0 0 -14 0 15 -1 -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.055648334965 1.119496976782 2 3 10 1 0132 1023 1302 0132 0 0 0 0 0 1 -1 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 -15 15 0 15 0 0 -15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.434228911784 1.070883511355 6 5 2 10 0213 1302 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 0 0 0 1 0 0 -1 14 -14 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.769301785136 0.775566487960 4 4 6 10 3201 0132 0132 1302 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 15 0 -15 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.277342451606 0.385245909919 7 6 9 8 2031 0132 2031 0213 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 -15 0 15 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.653130569550 0.768203089923 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : negation(d['c_0110_9']), 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_0101_3'], 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : d['c_0011_8'], 'c_1001_0' : d['c_0110_5'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0110_9']), 'c_1001_8' : d['c_0110_5'], 'c_1010_10' : d['c_1001_5'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], '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_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_0101_10'], 'c_1100_8' : d['c_1001_5'], 'c_1100_5' : d['c_1001_2'], 'c_1100_4' : negation(d['c_0011_4']), 'c_1100_7' : d['c_0101_10'], 'c_1100_6' : d['c_0101_10'], 'c_1100_1' : d['c_0101_10'], 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_1001_5'], 'c_1100_10' : negation(d['c_1001_2']), 'c_1010_7' : d['c_0011_8'], 'c_1010_6' : negation(d['c_0110_9']), 'c_1010_5' : d['c_0011_8'], 'c_1010_4' : negation(d['c_0110_9']), 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : d['c_0110_5'], 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : negation(d['c_1001_2']), '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_4']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_10']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_10' : d['c_0101_3'], 'c_0101_7' : negation(d['c_0011_10']), 'c_0101_6' : d['c_0011_8'], 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_8'], 'c_0101_9' : d['c_0101_3'], 'c_0101_8' : negation(d['c_0011_10']), 'c_0011_10' : d['c_0011_10'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0110_9'], 'c_0110_8' : negation(d['c_0101_3']), 'c_0110_1' : d['c_0011_8'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_8'], 'c_0110_2' : negation(d['c_0011_10']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_3']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_4, c_0011_8, c_0101_1, c_0101_10, c_0101_3, c_0110_5, c_0110_9, c_1001_2, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 21197304354600030858044270295821076003/5987639547965252354579988479\ 762960*c_1001_5^18 - 15218433617680942671872036532247418317/1197527\ 909593050470915997695952592*c_1001_5^17 + 81492822156206186231658737655330536313/2395055819186100941831995391\ 905184*c_1001_5^16 - 91213835753411449951901733659320850739/1197527\ 9095930504709159976959525920*c_1001_5^15 - 2122266316492760837881608113547890017899/23950558191861009418319953\ 919051840*c_1001_5^14 + 212040304755653875086303585417860036703/342\ 1508313123001345474279131293120*c_1001_5^13 + 119016201131073704187179365180025524763/479011163837220188366399078\ 3810368*c_1001_5^12 + 72169924397275570598668164166627421051/184235\ 0630143154570639996455311680*c_1001_5^11 + 203770751837078309152819470395358318927/239505581918610094183199539\ 1905184*c_1001_5^10 - 1703480738774051710629043697381028941343/4790\ 111638372201883663990783810368*c_1001_5^9 + 46194651388182594703743833232669345587/2138442695701875840921424457\ 05820*c_1001_5^8 + 713123785459208411468761068692884493089/47901116\ 38372201883663990783810368*c_1001_5^7 - 1337023179810902795374842625051616126281/47901116383722018836639907\ 83810368*c_1001_5^6 + 3670128180085954907868267178056532682401/2395\ 0558191861009418319953919051840*c_1001_5^5 + 402010094772186726144354685266943925/937399537841918176842268255148\ 8*c_1001_5^4 - 2007064995044095593285903717846348425/21674713295801\ 818478117605356608*c_1001_5^3 + 85313953767229726598831886021813410\ 483/3421508313123001345474279131293120*c_1001_5^2 + 314889377307947990642363281902049799381/239505581918610094183199539\ 19051840*c_1001_5 - 292857547997749073829841923404031731607/2395055\ 8191861009418319953919051840, c_0011_0 - 1, c_0011_10 + 16934367241090576066104/17116046762029295047679*c_1001_5^18 - 64988824109243835036272/17116046762029295047679*c_1001_5^17 + 174144651198368478537338/17116046762029295047679*c_1001_5^16 - 66637626554786696997478/17116046762029295047679*c_1001_5^15 - 442002354479051633775531/17116046762029295047679*c_1001_5^14 + 387390984416924921584135/17116046762029295047679*c_1001_5^13 + 245789638184106712294739/34232093524058590095358*c_1001_5^12 + 323491710995315941374683/34232093524058590095358*c_1001_5^11 + 331627569877190712614986/17116046762029295047679*c_1001_5^10 - 3736591911945542060734805/34232093524058590095358*c_1001_5^9 + 2666916922006159246485459/34232093524058590095358*c_1001_5^8 + 717771040118009038667467/17116046762029295047679*c_1001_5^7 - 1525153378786917598785790/17116046762029295047679*c_1001_5^6 + 891153705182500291997968/17116046762029295047679*c_1001_5^5 + 3416761476149808369507/468932788000802604046*c_1001_5^4 - 961780409549872554786009/34232093524058590095358*c_1001_5^3 + 172699132801510772325840/17116046762029295047679*c_1001_5^2 + 110059819939784465792705/34232093524058590095358*c_1001_5 - 54915391937902541505010/17116046762029295047679, c_0011_4 + 2993499743392250675856/17116046762029295047679*c_1001_5^18 - 11720510227547795474554/17116046762029295047679*c_1001_5^17 + 30091278980851728229118/17116046762029295047679*c_1001_5^16 - 10004910598735103315513/17116046762029295047679*c_1001_5^15 - 89987492330193829873335/17116046762029295047679*c_1001_5^14 + 142034508642690632379099/34232093524058590095358*c_1001_5^13 + 78013655442734454240597/34232093524058590095358*c_1001_5^12 + 21802611381693707198649/17116046762029295047679*c_1001_5^11 + 163443555579597684106531/34232093524058590095358*c_1001_5^10 - 689222089164119045003365/34232093524058590095358*c_1001_5^9 + 200735678829827964685752/17116046762029295047679*c_1001_5^8 + 184126672359479507426639/17116046762029295047679*c_1001_5^7 - 351901246096070467083346/17116046762029295047679*c_1001_5^6 + 377918926143239273902239/34232093524058590095358*c_1001_5^5 + 2493386133741068868339/468932788000802604046*c_1001_5^4 - 145146301493963539562517/17116046762029295047679*c_1001_5^3 + 114915036380517245473473/34232093524058590095358*c_1001_5^2 + 23714206991468735668946/17116046762029295047679*c_1001_5 - 30769635361259042259193/17116046762029295047679, c_0011_8 + 10694372046602998335436/17116046762029295047679*c_1001_5^18 - 35641424118007357145058/17116046762029295047679*c_1001_5^17 + 92829972329468590810418/17116046762029295047679*c_1001_5^16 + 4700441117624245359277/17116046762029295047679*c_1001_5^15 - 276765766115233068767193/17116046762029295047679*c_1001_5^14 + 251794077232205052304557/34232093524058590095358*c_1001_5^13 + 129422129827202399479246/17116046762029295047679*c_1001_5^12 + 248387407935472651424237/34232093524058590095358*c_1001_5^11 + 573813370503033255960829/34232093524058590095358*c_1001_5^10 - 1020998669898061126179468/17116046762029295047679*c_1001_5^9 + 775278387052963974528565/34232093524058590095358*c_1001_5^8 + 665588042754435871368189/17116046762029295047679*c_1001_5^7 - 777588562651811051506024/17116046762029295047679*c_1001_5^6 + 527818731442872225560213/34232093524058590095358*c_1001_5^5 + 3413301171126064191114/234466394000401302023*c_1001_5^4 - 560692190396962221038255/34232093524058590095358*c_1001_5^3 + 60814352130902722900043/34232093524058590095358*c_1001_5^2 + 95507918282525831318311/34232093524058590095358*c_1001_5 - 25203830028345135519145/17116046762029295047679, c_0101_1 - 828060090851439140140/17116046762029295047679*c_1001_5^18 + 4868845895699762708598/17116046762029295047679*c_1001_5^17 - 14150185636992596945624/17116046762029295047679*c_1001_5^16 + 17675454470207987840891/17116046762029295047679*c_1001_5^15 + 21561807152721339093274/17116046762029295047679*c_1001_5^14 - 120906349336064352095361/34232093524058590095358*c_1001_5^13 + 2483432882183442091721/34232093524058590095358*c_1001_5^12 + 14197016240079197990496/17116046762029295047679*c_1001_5^11 + 62030063374580222027773/34232093524058590095358*c_1001_5^10 + 275532097809337221773351/34232093524058590095358*c_1001_5^9 - 223332804409033493112576/17116046762029295047679*c_1001_5^8 - 9184246228713888571178/17116046762029295047679*c_1001_5^7 + 138763060321584999289443/17116046762029295047679*c_1001_5^6 - 163670531677282864991789/34232093524058590095358*c_1001_5^5 - 117601972257636391879/468932788000802604046*c_1001_5^4 + 64783502529165339237682/17116046762029295047679*c_1001_5^3 - 22789803744264258011077/34232093524058590095358*c_1001_5^2 - 29896252739683754534128/17116046762029295047679*c_1001_5 + 7363232217986873099001/17116046762029295047679, c_0101_10 - 20095401036826253554/17116046762029295047679*c_1001_5^18 - 2329686862689297788268/17116046762029295047679*c_1001_5^17 + 10536441837006160933827/17116046762029295047679*c_1001_5^16 - 25496723032067620675754/17116046762029295047679*c_1001_5^15 + 28552445184829592697819/34232093524058590095358*c_1001_5^14 + 88849617759426851781371/17116046762029295047679*c_1001_5^13 - 62931736537050738011238/17116046762029295047679*c_1001_5^12 - 63784890419514566082451/17116046762029295047679*c_1001_5^11 - 46659739404624566336699/17116046762029295047679*c_1001_5^10 - 41701822685241139033108/17116046762029295047679*c_1001_5^9 + 706946933869169610341807/34232093524058590095358*c_1001_5^8 - 160796502779897735632584/17116046762029295047679*c_1001_5^7 - 424035621587973544635297/34232093524058590095358*c_1001_5^6 + 243295597746841044023109/17116046762029295047679*c_1001_5^5 - 1649551836593786752113/234466394000401302023*c_1001_5^4 - 52994546488973090455627/17116046762029295047679*c_1001_5^3 + 178279335640550975217045/34232093524058590095358*c_1001_5^2 - 13666136813735390068163/34232093524058590095358*c_1001_5 - 9302110622553676471547/17116046762029295047679, c_0101_3 + 2365587846528512833056/17116046762029295047679*c_1001_5^18 - 9358170192738728307482/17116046762029295047679*c_1001_5^17 + 25978149441484332472182/17116046762029295047679*c_1001_5^16 - 16912248176558591105121/17116046762029295047679*c_1001_5^15 - 47028978424108406907611/17116046762029295047679*c_1001_5^14 + 77649983066182538618163/34232093524058590095358*c_1001_5^13 - 15470145079996692822411/34232093524058590095358*c_1001_5^12 + 89391531640797101137843/17116046762029295047679*c_1001_5^11 + 82882971419740226314407/34232093524058590095358*c_1001_5^10 - 543177461464379288891749/34232093524058590095358*c_1001_5^9 + 172141547942294800179177/17116046762029295047679*c_1001_5^8 - 76459717527539797177023/17116046762029295047679*c_1001_5^7 + 23339342554562866747539/17116046762029295047679*c_1001_5^6 + 269934543364054245740909/34232093524058590095358*c_1001_5^5 - 2956063336154690794107/468932788000802604046*c_1001_5^4 + 43434505459442679269603/17116046762029295047679*c_1001_5^3 - 48068810183981780304475/34232093524058590095358*c_1001_5^2 - 29012907689006256963529/17116046762029295047679*c_1001_5 + 9221566282956085706369/17116046762029295047679, c_0110_5 - 7620518193809968371542/17116046762029295047679*c_1001_5^18 + 28211433023143853848616/17116046762029295047679*c_1001_5^17 - 74654473645310932966531/17116046762029295047679*c_1001_5^16 + 18840078018770766487088/17116046762029295047679*c_1001_5^15 + 404987537101303298173885/34232093524058590095358*c_1001_5^14 - 154261137008520405426336/17116046762029295047679*c_1001_5^13 - 89538446495978601954707/17116046762029295047679*c_1001_5^12 - 73102461454455712526777/17116046762029295047679*c_1001_5^11 - 146536340428958050416834/17116046762029295047679*c_1001_5^10 + 828256071778726312769760/17116046762029295047679*c_1001_5^9 - 986864223053195654235325/34232093524058590095358*c_1001_5^8 - 437484742551699045281180/17116046762029295047679*c_1001_5^7 + 1313558958747908329713299/34232093524058590095358*c_1001_5^6 - 294492994539482424854362/17116046762029295047679*c_1001_5^5 - 2048464608313504256927/234466394000401302023*c_1001_5^4 + 225975516301922233010097/17116046762029295047679*c_1001_5^3 - 90187032221883056540975/34232093524058590095358*c_1001_5^2 - 70099745829075623409221/34232093524058590095358*c_1001_5 + 26920920480819052821890/17116046762029295047679, c_0110_9 - 5398269050107690739202/17116046762029295047679*c_1001_5^18 + 16962330722426159189488/17116046762029295047679*c_1001_5^17 - 43593535844196683244899/17116046762029295047679*c_1001_5^16 - 13069588749854286076218/17116046762029295047679*c_1001_5^15 + 285116236614989338660901/34232093524058590095358*c_1001_5^14 - 51410708411981091660891/17116046762029295047679*c_1001_5^13 - 180561273339568455874263/34232093524058590095358*c_1001_5^12 - 90041213162416429068151/34232093524058590095358*c_1001_5^11 - 137409247617139574232017/17116046762029295047679*c_1001_5^10 + 1008318732085505789514247/34232093524058590095358*c_1001_5^9 - 116682968739003711587468/17116046762029295047679*c_1001_5^8 - 451376279925030984268020/17116046762029295047679*c_1001_5^7 + 799954555665325438381783/34232093524058590095358*c_1001_5^6 - 59448242888581114502611/17116046762029295047679*c_1001_5^5 - 5260431972239225876883/468932788000802604046*c_1001_5^4 + 328815439066440839688941/34232093524058590095358*c_1001_5^3 - 14526416205374989308557/34232093524058590095358*c_1001_5^2 - 43573527051860903119159/17116046762029295047679*c_1001_5 + 15626679333120790163246/17116046762029295047679, c_1001_2 + 2283665887276565825300/17116046762029295047679*c_1001_5^18 - 6100304075658116918368/17116046762029295047679*c_1001_5^17 + 17530006328853928390518/17116046762029295047679*c_1001_5^16 + 9138995646633268356288/17116046762029295047679*c_1001_5^15 - 44885566052926819321569/17116046762029295047679*c_1001_5^14 + 17205567960654306714948/17116046762029295047679*c_1001_5^13 - 2685208969261828322641/17116046762029295047679*c_1001_5^12 - 1592491698392614273698/17116046762029295047679*c_1001_5^11 + 90214482940743745296613/17116046762029295047679*c_1001_5^10 - 138377789263492883628035/17116046762029295047679*c_1001_5^9 + 70345239134032505735324/17116046762029295047679*c_1001_5^8 + 94286476267375116188224/17116046762029295047679*c_1001_5^7 - 202638864733061514750998/17116046762029295047679*c_1001_5^6 + 108872411947867953043389/17116046762029295047679*c_1001_5^5 + 779552954896545250254/234466394000401302023*c_1001_5^4 - 77884868619140984069878/17116046762029295047679*c_1001_5^3 + 35148065301586736089497/17116046762029295047679*c_1001_5^2 + 3896788748862684073871/17116046762029295047679*c_1001_5 - 16309407356027994939179/17116046762029295047679, c_1001_5^19 - 3*c_1001_5^18 + 15/2*c_1001_5^17 + 7/2*c_1001_5^16 - 105/4*c_1001_5^15 + 11/4*c_1001_5^14 + 69/4*c_1001_5^13 + 61/4*c_1001_5^12 + 61/2*c_1001_5^11 - 345/4*c_1001_5^10 + 2*c_1001_5^9 + 311/4*c_1001_5^8 - 215/4*c_1001_5^7 - 13/4*c_1001_5^6 + 149/4*c_1001_5^5 - 75/4*c_1001_5^4 - 33/4*c_1001_5^3 + 31/4*c_1001_5^2 - 5/4*c_1001_5 - 2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.470 Total time: 0.680 seconds, Total memory usage: 32.09MB