Magma V2.19-8 Tue Aug 20 2013 23:39:47 on localhost [Seed = 442269344] Type ? for help. Type -D to quit. Loading file "K14n18095__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n18095 geometric_solution 9.57888282 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 11 1 2 3 4 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 1 0 -1 0 0 1 -1 0 0 0 0 12 -12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.615955315833 0.987913118171 0 2 3 4 0132 0321 3201 2310 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 1 0 0 0 0 0 -12 11 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.665910177787 0.658731184390 5 0 6 1 0132 0132 0132 0321 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 -1 0 1 1 0 0 -1 -1 12 0 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.202327160610 0.894425683267 1 7 8 0 2310 0132 0132 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 1 0 0 -1 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.397421183579 0.970824643476 1 9 0 7 3201 0132 0132 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.340184679059 0.749902647346 2 10 10 9 0132 0132 1302 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.046995202126 0.571269353829 6 6 9 2 1230 3012 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.757987906494 0.997470033623 8 3 4 10 2031 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 2.184216071807 1.359544202266 9 10 7 3 0213 1302 1302 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 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.421398262264 1.092624498180 8 4 5 6 0213 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0.437290772254 0.353904459047 5 5 7 8 2031 0132 2031 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.856964940220 1.738721028525 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : negation(d['c_0011_8']), 'c_1001_5' : d['c_0011_8'], 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_7' : negation(d['c_0110_4']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : negation(d['c_0101_3']), 'c_1001_0' : negation(d['c_0110_4']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : negation(d['c_0101_6']), 'c_1001_9' : negation(d['c_0101_10']), 'c_1001_8' : d['c_0011_8'], 'c_1010_10' : d['c_0011_8'], 's_0_10' : negation(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' : negation(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_0011_6'], 'c_1100_8' : d['c_0101_7'], 'c_1100_5' : d['c_0101_10'], 'c_1100_4' : d['c_0101_7'], 'c_1100_7' : d['c_0101_10'], 'c_1100_6' : negation(d['c_0101_3']), 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : d['c_0101_7'], 'c_1100_3' : d['c_0101_7'], 'c_1100_2' : negation(d['c_0101_3']), 'c_1100_10' : negation(d['c_1001_3']), 'c_1010_7' : d['c_1001_3'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0011_8']), 'c_1010_4' : negation(d['c_0101_10']), 'c_1010_3' : negation(d['c_0110_4']), 'c_1010_2' : negation(d['c_0110_4']), 'c_1010_1' : negation(d['c_0110_4']), 'c_1010_0' : negation(d['c_0101_6']), 'c_1010_9' : negation(d['c_0101_6']), 'c_1010_8' : d['c_1001_3'], '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' : negation(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_3'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_7' : negation(d['c_0011_3']), '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_10' : d['c_0011_8'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_0'], 'c_0101_4' : negation(d['c_0101_0']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_6'], 'c_0101_1' : negation(d['c_0101_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_8'], 'c_0101_8' : d['c_0011_3'], 'c_0011_10' : negation(d['c_0011_0']), 's_1_10' : negation(d['1']), 'c_0110_9' : negation(d['c_0101_3']), 'c_0110_8' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_0'], 'c_0110_5' : d['c_0011_6'], 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : d['c_0011_8'], 'c_0110_6' : d['c_0011_6']})} 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_3, c_0011_6, c_0011_8, c_0101_0, c_0101_10, c_0101_3, c_0101_6, c_0101_7, c_0110_4, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 22808278147410383168097717107093467104318/2530924097864864223334699\ 77889891107781*c_1001_3^15 - 97693200631824076760775535312092042101\ 20/8164271283435045881724837996448100251*c_1001_3^14 - 301653995287395006198005488489089592463186/361560585409266317619242\ 82555698729683*c_1001_3^13 - 10110540573162759043953763601159455645\ 346072/253092409786486422333469977889891107781*c_1001_3^12 - 37184334564133559515081373506244014878694162/2530924097864864223334\ 69977889891107781*c_1001_3^11 - 10659590132728474896357476110237076\ 6654475214/253092409786486422333469977889891107781*c_1001_3^10 - 248649721120651587005964650510558990896798878/253092409786486422333\ 469977889891107781*c_1001_3^9 - 47421338468044392355522802627410927\ 0452882178/253092409786486422333469977889891107781*c_1001_3^8 - 700116593243552621210343641945714602293652842/253092409786486422333\ 469977889891107781*c_1001_3^7 - 10914108198245125647410318920543284\ 5486159866/36156058540926631761924282555698729683*c_1001_3^6 - 573733870384632762960650647650391551952631048/253092409786486422333\ 469977889891107781*c_1001_3^5 - 28599346281333981329087645741022303\ 9642437666/253092409786486422333469977889891107781*c_1001_3^4 - 11567556457716786856734310839464902809086464/3615605854092663176192\ 4282555698729683*c_1001_3^3 - 1396685769257866201250633965571219148\ 1144634/253092409786486422333469977889891107781*c_1001_3^2 - 190144714257090692042275775384813671566574/361560585409266317619242\ 82555698729683*c_1001_3 - 18757437836455996942027804532400915634014\ /253092409786486422333469977889891107781, c_0011_0 - 1, c_0011_3 - 42387605092780234159732240094/604592311301305116338670783577\ *c_1001_3^15 - 533116435553551861655998966798/604592311301305116338\ 670783577*c_1001_3^14 - 3537506749430845225525712052864/60459231130\ 1305116338670783577*c_1001_3^13 - 16140485551855950809610596217312/\ 604592311301305116338670783577*c_1001_3^12 - 56629186576853817627205403862634/604592311301305116338670783577*c_1\ 001_3^11 - 152939041787505272351616684640706/6045923113013051163386\ 70783577*c_1001_3^10 - 335106575335232174864456601071602/6045923113\ 01305116338670783577*c_1001_3^9 - 590774974977892120006230585108650\ /604592311301305116338670783577*c_1001_3^8 - 759761156687523237134732349653682/604592311301305116338670783577*c_\ 1001_3^7 - 650111526757381265580787533667272/6045923113013051163386\ 70783577*c_1001_3^6 - 273322263356108653116708373928446/60459231130\ 1305116338670783577*c_1001_3^5 + 8093152328884650240152434559624/60\ 4592311301305116338670783577*c_1001_3^4 + 81859482411552700126823424739276/604592311301305116338670783577*c_1\ 001_3^3 + 20601852417046797948210204003922/604592311301305116338670\ 783577*c_1001_3^2 + 4717122853789166827320057967165/604592311301305\ 116338670783577*c_1001_3 + 184406878100682269692135231298/604592311\ 301305116338670783577, c_0011_6 + 9634716677531267204863650862/604592311301305116338670783577*\ c_1001_3^15 + 135351156488150969016427793238/6045923113013051163386\ 70783577*c_1001_3^14 + 983103526747963140020130284632/6045923113013\ 05116338670783577*c_1001_3^13 + 4861961529504155807564201372636/604\ 592311301305116338670783577*c_1001_3^12 + 18343572673823730138118467905976/604592311301305116338670783577*c_1\ 001_3^11 + 54071228361911992449646848100816/60459231130130511633867\ 0783577*c_1001_3^10 + 128741492137569904387442244628188/60459231130\ 1305116338670783577*c_1001_3^9 + 250666653259609781118610020853212/\ 604592311301305116338670783577*c_1001_3^8 + 380985383310146535767792066639620/604592311301305116338670783577*c_\ 1001_3^7 + 423791455292130655931430901689822/6045923113013051163386\ 70783577*c_1001_3^6 + 315486344962471413687460362787590/60459231130\ 1305116338670783577*c_1001_3^5 + 135632637753829943407555635496072/\ 604592311301305116338670783577*c_1001_3^4 + 22240809685659133992982969737272/604592311301305116338670783577*c_1\ 001_3^3 - 3279058970521587847490148002514/6045923113013051163386707\ 83577*c_1001_3^2 + 2632985176890952275239363166542/6045923113013051\ 16338670783577*c_1001_3 - 32551824106440506072745623376/60459231130\ 1305116338670783577, c_0011_8 + 1375821918748222248540270982/604592311301305116338670783577*\ c_1001_3^15 + 16497980915843760608528966216/60459231130130511633867\ 0783577*c_1001_3^14 + 105067129759906306043786284386/60459231130130\ 5116338670783577*c_1001_3^13 + 461350175861162969741202360844/60459\ 2311301305116338670783577*c_1001_3^12 + 1561996371490280462896441057562/604592311301305116338670783577*c_10\ 01_3^11 + 4025786535256617437462412057768/6045923113013051163386707\ 83577*c_1001_3^10 + 8447432398537176614991826023734/604592311301305\ 116338670783577*c_1001_3^9 + 14070616173972175070806361287188/60459\ 2311301305116338670783577*c_1001_3^8 + 16150340424999210497665576401338/604592311301305116338670783577*c_1\ 001_3^7 + 11333505391471800071505425136386/604592311301305116338670\ 783577*c_1001_3^6 + 2235951088457354474297037335094/604592311301305\ 116338670783577*c_1001_3^5 - 957358417591907191092819441842/6045923\ 11301305116338670783577*c_1001_3^4 - 1052889928274844895760435215958/604592311301305116338670783577*c_10\ 01_3^3 + 591266188381834212409785890672/604592311301305116338670783\ 577*c_1001_3^2 + 294639269004088570793333079839/6045923113013051163\ 38670783577*c_1001_3 + 303029288040152967246149995923/6045923113013\ 05116338670783577, c_0101_0 - 1375821918748222248540270982/604592311301305116338670783577*\ c_1001_3^15 - 16497980915843760608528966216/60459231130130511633867\ 0783577*c_1001_3^14 - 105067129759906306043786284386/60459231130130\ 5116338670783577*c_1001_3^13 - 461350175861162969741202360844/60459\ 2311301305116338670783577*c_1001_3^12 - 1561996371490280462896441057562/604592311301305116338670783577*c_10\ 01_3^11 - 4025786535256617437462412057768/6045923113013051163386707\ 83577*c_1001_3^10 - 8447432398537176614991826023734/604592311301305\ 116338670783577*c_1001_3^9 - 14070616173972175070806361287188/60459\ 2311301305116338670783577*c_1001_3^8 - 16150340424999210497665576401338/604592311301305116338670783577*c_1\ 001_3^7 - 11333505391471800071505425136386/604592311301305116338670\ 783577*c_1001_3^6 - 2235951088457354474297037335094/604592311301305\ 116338670783577*c_1001_3^5 + 957358417591907191092819441842/6045923\ 11301305116338670783577*c_1001_3^4 + 1052889928274844895760435215958/604592311301305116338670783577*c_10\ 01_3^3 - 591266188381834212409785890672/604592311301305116338670783\ 577*c_1001_3^2 - 294639269004088570793333079839/6045923113013051163\ 38670783577*c_1001_3 - 303029288040152967246149995923/6045923113013\ 05116338670783577, c_0101_10 - 4308351476749858555798687520/604592311301305116338670783577\ *c_1001_3^15 - 57372509007361477099968923174/6045923113013051163386\ 70783577*c_1001_3^14 - 399058222253739458606843288700/6045923113013\ 05116338670783577*c_1001_3^13 - 1900214320183661194570051459038/604\ 592311301305116338670783577*c_1001_3^12 - 6933344062701088680489863667396/604592311301305116338670783577*c_10\ 01_3^11 - 19662882902230160486326957540538/604592311301305116338670\ 783577*c_1001_3^10 - 45152751780284399848138638132068/6045923113013\ 05116338670783577*c_1001_3^9 - 84434292402090363091032722072010/604\ 592311301305116338670783577*c_1001_3^8 - 120516813574080093173846320047948/604592311301305116338670783577*c_\ 1001_3^7 - 122701048184310339183138004636618/6045923113013051163386\ 70783577*c_1001_3^6 - 79641558601059497928593490706174/604592311301\ 305116338670783577*c_1001_3^5 - 28212307696812582737231639311382/60\ 4592311301305116338670783577*c_1001_3^4 - 2832936702268577337811073812522/604592311301305116338670783577*c_10\ 01_3^3 + 297513901597176511598841677974/604592311301305116338670783\ 577*c_1001_3^2 - 1544619825601794630679848441557/604592311301305116\ 338670783577*c_1001_3 - 296513103421029901415920621638/604592311301\ 305116338670783577, c_0101_3 - 124671792215867856326548716134/60459231130130511633867078357\ 7*c_1001_3^15 - 1612528869332521471505307464482/6045923113013051163\ 38670783577*c_1001_3^14 - 10982611989940787268895257142328/60459231\ 1301305116338670783577*c_1001_3^13 - 51422980363078630281708982964932/604592311301305116338670783577*c_1\ 001_3^12 - 185116551344462481874390179705082/6045923113013051163386\ 70783577*c_1001_3^11 - 516855128482073581611788344455470/6045923113\ 01305116338670783577*c_1001_3^10 - 1173576401535278589892081581382284/604592311301305116338670783577*c\ _1001_3^9 - 2166362647824220606891370164475744/60459231130130511633\ 8670783577*c_1001_3^8 - 3031005308998005374547948148757624/60459231\ 1301305116338670783577*c_1001_3^7 - 3038326844011233036162099352327558/604592311301305116338670783577*c\ _1001_3^6 - 1954512093701530478002370396216006/60459231130130511633\ 8670783577*c_1001_3^5 - 749548816666541051589507471040844/604592311\ 301305116338670783577*c_1001_3^4 - 87909159537036928437182890391886/604592311301305116338670783577*c_1\ 001_3^3 - 4303864524535910463893958550626/6045923113013051163386707\ 83577*c_1001_3^2 + 3453154492905750315615536246360/6045923113013051\ 16338670783577*c_1001_3 + 290254487465108321353934535676/6045923113\ 01305116338670783577, c_0101_6 - 228045401968961370406496604772/60459231130130511633867078357\ 7*c_1001_3^15 - 2964693366352536992203911147804/6045923113013051163\ 38670783577*c_1001_3^14 - 20287054909695960518402009893794/60459231\ 1301305116338670783577*c_1001_3^13 - 95425877529251940946991826737318/604592311301305116338670783577*c_1\ 001_3^12 - 345069371036185120693351741767468/6045923113013051163386\ 70783577*c_1001_3^11 - 968910469053371423808873321619080/6045923113\ 01305116338670783577*c_1001_3^10 - 2213096895339891918080446390006274/604592311301305116338670783577*c\ _1001_3^9 - 4115351227906492148255291766987458/60459231130130511633\ 8670783577*c_1001_3^8 - 5830270524147216733507159416749260/60459231\ 1301305116338670783577*c_1001_3^7 - 5967801338752839763926547236238252/604592311301305116338670783577*c\ _1001_3^6 - 4002036263020876459179654078804832/60459231130130511633\ 8670783577*c_1001_3^5 - 1664369216600017152991075519729898/60459231\ 1301305116338670783577*c_1001_3^4 - 286710463336351871717341782095626/604592311301305116338670783577*c_\ 1001_3^3 - 32739026583182892347508552660308/60459231130130511633867\ 0783577*c_1001_3^2 + 2108542711169113882690056026828/60459231130130\ 5116338670783577*c_1001_3 + 433894305581070048127819452516/60459231\ 1301305116338670783577, c_0101_7 + 91989005686306877499487607452/604592311301305116338670783577\ *c_1001_3^15 + 1181096718045019611086797942618/60459231130130511633\ 8670783577*c_1001_3^14 + 7990579458620405851726344856866/6045923113\ 01305116338670783577*c_1001_3^13 + 37171281833261167558433607619000/604592311301305116338670783577*c_1\ 001_3^12 + 132968433445203868036555729518716/6045923113013051163386\ 70783577*c_1001_3^11 + 368297838507600819260439954651710/6045923113\ 01305116338670783577*c_1001_3^10 + 829329998612755230806432139496604/604592311301305116338670783577*c_\ 1001_3^9 + 1515067366434679827790675453311888/604592311301305116338\ 670783577*c_1001_3^8 + 2081794805903747277122674436445640/604592311\ 301305116338670783577*c_1001_3^7 + 2023740149974107341549824283555996/604592311301305116338670783577*c\ _1001_3^6 + 1220364859409205678502014231593628/60459231130130511633\ 8670783577*c_1001_3^5 + 405665734018031505133745825969658/604592311\ 301305116338670783577*c_1001_3^4 + 3773335884077460532998638114078/604592311301305116338670783577*c_10\ 01_3^3 - 7767677762591518617397811542296/60459231130130511633867078\ 3577*c_1001_3^2 - 4263757385419258685809655632199/60459231130130511\ 6338670783577*c_1001_3 - 223066182075564765524324611903/60459231130\ 1305116338670783577, c_0110_4 - 9704818563219255332671131412/604592311301305116338670783577*\ c_1001_3^15 - 101684284266050001237489444934/6045923113013051163386\ 70783577*c_1001_3^14 - 545474218110463808356799767402/6045923113013\ 05116338670783577*c_1001_3^13 - 1888787022038488086335220871380/604\ 592311301305116338670783577*c_1001_3^12 - 4481068677595203789370953676268/604592311301305116338670783577*c_10\ 01_3^11 - 4381751813032510000268294836946/6045923113013051163386707\ 83577*c_1001_3^10 + 9139827587291184221192840814078/604592311301305\ 116338670783577*c_1001_3^9 + 60520306411648659094464126055206/60459\ 2311301305116338670783577*c_1001_3^8 + 189449346406734860290541362658302/604592311301305116338670783577*c_\ 1001_3^7 + 364475167279744429031487535104290/6045923113013051163386\ 70783577*c_1001_3^6 + 460824970936216146383647790693932/60459231130\ 1305116338670783577*c_1001_3^5 + 351976234977394196695914079630810/\ 604592311301305116338670783577*c_1001_3^4 + 165995306064512168031007677017084/604592311301305116338670783577*c_\ 1001_3^3 + 32673394704174227029501974096844/60459231130130511633867\ 0783577*c_1001_3^2 + 5527725746302675197514177353004/60459231130130\ 5116338670783577*c_1001_3 + 117218572711138713862525307525/60459231\ 1301305116338670783577, c_1001_3^16 + 13*c_1001_3^15 + 89*c_1001_3^14 + 419*c_1001_3^13 + 1517*c_1001_3^12 + 4267*c_1001_3^11 + 9771*c_1001_3^10 + 18233*c_1001_3^9 + 25993*c_1001_3^8 + 26962*c_1001_3^7 + 18666*c_1001_3^6 + 8422*c_1001_3^5 + 1978*c_1001_3^4 + 415*c_1001_3^3 + 23*c_1001_3^2 + 3*c_1001_3 - 1/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.300 Total time: 0.520 seconds, Total memory usage: 32.09MB