Magma V2.19-8 Tue Aug 20 2013 16:15:57 on localhost [Seed = 2244221369] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0198 geometric_solution 4.01254363 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 2310 3201 0 0 0 0 0 0 1 -1 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 1 0 -1 1 0 0 -1 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.774730443590 0.059752618733 0 0 2 2 0132 3201 2310 0132 0 0 0 0 0 1 -1 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 -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 1.636650899773 0.253970641860 3 1 1 3 0132 3201 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 -1 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 -1 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.133574397097 0.123861106573 2 4 4 2 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 -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 0 1 -1 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 1.085669215936 0.387196348825 5 3 3 6 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 -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 0 0 0 0 0 -1 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 0.505315402859 0.297771619518 4 6 6 6 0132 1302 3201 0321 0 0 0 0 0 0 0 0 0 0 0 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 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.507709020134 0.852442999863 5 5 4 5 2310 0321 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 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.507709020134 0.852442999863 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_3_0' : d['1'], 's_2_0' : negation(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' : negation(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' : negation(d['1']), 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_2'], 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : negation(d['1']), 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_2']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_6']), '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_2']), 'c_0011_4' : d['c_0011_2'], '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_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0011_6']), 'c_1001_2' : negation(d['c_0101_1']), '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_3'], 'c_0110_5' : negation(d['c_0011_6']), 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : negation(d['c_0011_2']), 'c_1010_5' : negation(d['c_0011_2']), 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0101_1'])})} 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_2, c_0011_6, c_0101_0, c_0101_1, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 229297399142906738685854026632203356817847890827039/204867949264022\ 3005779678736796824394478114397907*c_0101_5^23 + 965538927179427784710870754251036281698660610688809/204867949264022\ 3005779678736796824394478114397907*c_0101_5^22 - 2755719223320782648616717798232003625345272712465385/20486794926402\ 23005779678736796824394478114397907*c_0101_5^21 - 15160139015253509075380409046391537009989825528833033/2048679492640\ 223005779678736796824394478114397907*c_0101_5^20 + 24542715735501562852987812857516312349814834151721507/2048679492640\ 223005779678736796824394478114397907*c_0101_5^19 + 25022340466515022652868473294208017861873368173087445/2048679492640\ 223005779678736796824394478114397907*c_0101_5^18 - 463072797626618759958324726341050789649162094722139100/204867949264\ 0223005779678736796824394478114397907*c_0101_5^17 - 435397672999129912564008057490058666558400238118047171/204867949264\ 0223005779678736796824394478114397907*c_0101_5^16 + 62436334431003010638387791759848879383007865419582275/2926684989486\ 03286539954105256689199211159199701*c_0101_5^15 + 1968979201649806489627003080587957295268604870547584253/20486794926\ 40223005779678736796824394478114397907*c_0101_5^14 + 2097722153407788368606301839479435053516677484442896157/20486794926\ 40223005779678736796824394478114397907*c_0101_5^13 - 3176421639409189508346083458899138887339654315950654325/20486794926\ 40223005779678736796824394478114397907*c_0101_5^12 - 3054621021525059885470166783512987780239229327999814946/20486794926\ 40223005779678736796824394478114397907*c_0101_5^11 + 343403118616959481303771443189983844561259468268310956/292668498948\ 603286539954105256689199211159199701*c_0101_5^10 - 299846084590555873483114344660015670202283692425933471/204867949264\ 0223005779678736796824394478114397907*c_0101_5^9 - 1163829505710134711052357390757374543757357605781473054/20486794926\ 40223005779678736796824394478114397907*c_0101_5^8 + 102175242313193690066170124688352033140966466619656154/120510558390\ 601353281157572752754376145771435171*c_0101_5^7 + 362157655044962617856390357980031444265472422469840370/204867949264\ 0223005779678736796824394478114397907*c_0101_5^6 - 677481170714701310179850774121407994577603051755052129/204867949264\ 0223005779678736796824394478114397907*c_0101_5^5 - 2922126245774001250335420655421002013611220589733387/12051055839060\ 1353281157572752754376145771435171*c_0101_5^4 + 60784020993582112126977592881470572046080757244181219/2048679492640\ 223005779678736796824394478114397907*c_0101_5^3 + 749911737877974750502778913744964052547368381063407/292668498948603\ 286539954105256689199211159199701*c_0101_5^2 + 2586035558899840519660030927166213859930946073919276/20486794926402\ 23005779678736796824394478114397907*c_0101_5 - 1447855506587439578624471383868402612532385608277613/20486794926402\ 23005779678736796824394478114397907, c_0011_0 - 1, c_0011_2 - 323467420024259185915627376639016828986292524702/20486794926\ 40223005779678736796824394478114397907*c_0101_5^23 - 1482213651239997419744687638434511089926098649164/20486794926402230\ 05779678736796824394478114397907*c_0101_5^22 + 3357074000697700757707278996255478141133014961036/20486794926402230\ 05779678736796824394478114397907*c_0101_5^21 + 22715784511800888101106681935162374887588822023422/2048679492640223\ 005779678736796824394478114397907*c_0101_5^20 - 26430691811805670365559032066065362570418813647395/2048679492640223\ 005779678736796824394478114397907*c_0101_5^19 - 46402382005272694923573604778078980785209285516449/2048679492640223\ 005779678736796824394478114397907*c_0101_5^18 + 638242226341665374130217599803486187306750227086600/204867949264022\ 3005779678736796824394478114397907*c_0101_5^17 + 852954790605504947120409196108483076246071547623064/204867949264022\ 3005779678736796824394478114397907*c_0101_5^16 - 48574252732652502990004052181808134309964704722961/2926684989486032\ 86539954105256689199211159199701*c_0101_5^15 - 2937933796853718414042850634437864136087945296822599/20486794926402\ 23005779678736796824394478114397907*c_0101_5^14 - 4017724446883906246033846230758632402496437626733206/20486794926402\ 23005779678736796824394478114397907*c_0101_5^13 + 3151841017765668006913663456910061333619760696639988/20486794926402\ 23005779678736796824394478114397907*c_0101_5^12 + 5650991267590505927112618887408098502784802155172664/20486794926402\ 23005779678736796824394478114397907*c_0101_5^11 - 222234991583722654649357129983530278823857670069516/292668498948603\ 286539954105256689199211159199701*c_0101_5^10 - 361897309238607414394147098805084984439436938390690/204867949264022\ 3005779678736796824394478114397907*c_0101_5^9 + 1689353403937986843995192031996966405323301156021346/20486794926402\ 23005779678736796824394478114397907*c_0101_5^8 - 110871146720842206901721794276697107878700403293241/120510558390601\ 353281157572752754376145771435171*c_0101_5^7 - 1282516233567520196788276922109527733487921231354937/20486794926402\ 23005779678736796824394478114397907*c_0101_5^6 + 611533658981984644188278609876924417248423972439410/204867949264022\ 3005779678736796824394478114397907*c_0101_5^5 + 18507141290741592234812737187871097514788821420062/1205105583906013\ 53281157572752754376145771435171*c_0101_5^4 - 14777338729614672642638489995281520623251000980469/2048679492640223\ 005779678736796824394478114397907*c_0101_5^3 - 1678351786305307158449021731463541652692813189323/29266849894860328\ 6539954105256689199211159199701*c_0101_5^2 - 7813598537380330575746277188169448228983167387406/20486794926402230\ 05779678736796824394478114397907*c_0101_5 - 407238114081568533127588720742405026635034568065/204867949264022300\ 5779678736796824394478114397907, c_0011_6 - 278331698124082586205227667313328317671077886421/20486794926\ 40223005779678736796824394478114397907*c_0101_5^23 - 1235100510657701643939722265703927632227103995512/20486794926402230\ 05779678736796824394478114397907*c_0101_5^22 + 3066960078935704091030405719780782828517765157740/20486794926402230\ 05779678736796824394478114397907*c_0101_5^21 + 19101026817014065867279914507078976822577124001050/2048679492640223\ 005779678736796824394478114397907*c_0101_5^20 - 25501692960090713177508998678822197303407976744979/2048679492640223\ 005779678736796824394478114397907*c_0101_5^19 - 36228446612337931578373594076526990053577677720468/2048679492640223\ 005779678736796824394478114397907*c_0101_5^18 + 554360840961703402951640205447897072478443897064584/204867949264022\ 3005779678736796824394478114397907*c_0101_5^17 + 653919097129449777237757339132475941878886742193252/204867949264022\ 3005779678736796824394478114397907*c_0101_5^16 - 55221633105210902197111152384929314319424268313740/2926684989486032\ 86539954105256689199211159199701*c_0101_5^15 - 2472908698110975571713751281742166502563218476347565/20486794926402\ 23005779678736796824394478114397907*c_0101_5^14 - 3095400847433225931079702915199481495747417717045536/20486794926402\ 23005779678736796824394478114397907*c_0101_5^13 + 3162439682127591142638195021625648931366229000339585/20486794926402\ 23005779678736796824394478114397907*c_0101_5^12 + 4406960974037518722414278742619895124947103314321694/20486794926402\ 23005779678736796824394478114397907*c_0101_5^11 - 283131875188978508837548393722664650743258395151273/292668498948603\ 286539954105256689199211159199701*c_0101_5^10 - 54050748374532983027879591128326890821729263125938/2048679492640223\ 005779678736796824394478114397907*c_0101_5^9 + 1473162512119816752186389754897965846576554613895446/20486794926402\ 23005779678736796824394478114397907*c_0101_5^8 - 107235175278182824487491954590965393549354065190735/120510558390601\ 353281157572752754376145771435171*c_0101_5^7 - 854555041670849852053941017529566590736071467233503/204867949264022\ 3005779678736796824394478114397907*c_0101_5^6 + 670194285637788455458533090996789006989426740595667/204867949264022\ 3005779678736796824394478114397907*c_0101_5^5 + 10609037285019928951411095868795989546086906656713/1205105583906013\ 53281157572752754376145771435171*c_0101_5^4 - 45773911025277977224497660925130616361233607535472/2048679492640223\ 005779678736796824394478114397907*c_0101_5^3 - 497241567804818637451586389494510969605966206314/292668498948603286\ 539954105256689199211159199701*c_0101_5^2 - 7091328468479663809913728212274429250206795622331/20486794926402230\ 05779678736796824394478114397907*c_0101_5 - 229445175038841415349095984043761977167785451428/204867949264022300\ 5779678736796824394478114397907, c_0101_0 + 1774248905921781979920774278755708754408320019/2926684989486\ 03286539954105256689199211159199701*c_0101_5^23 + 7288107396622491904693287081653879000274941764/29266849894860328653\ 9954105256689199211159199701*c_0101_5^22 - 39876051113420422820083338763094128532972547051/2926684989486032865\ 39954105256689199211159199701*c_0101_5^21 - 184475729388110357250900316182243024361649036018/292668498948603286\ 539954105256689199211159199701*c_0101_5^20 + 431094788091402612903686743481901588213845684620/292668498948603286\ 539954105256689199211159199701*c_0101_5^19 + 1254856582475900565179654942485398224785501232122/29266849894860328\ 6539954105256689199211159199701*c_0101_5^18 - 5762096844670995905403218701284984816824782929340/29266849894860328\ 6539954105256689199211159199701*c_0101_5^17 - 3895414413392420755385298641196707819796028628654/29266849894860328\ 6539954105256689199211159199701*c_0101_5^16 + 39177086534894855806594963088704782160541985472570/2926684989486032\ 86539954105256689199211159199701*c_0101_5^15 + 37311477724310592600288036045677719701464079006554/2926684989486032\ 86539954105256689199211159199701*c_0101_5^14 - 14002433745769236436341948200097188392312323768873/2926684989486032\ 86539954105256689199211159199701*c_0101_5^13 - 162200670591138921153968962484184097674377432045164/292668498948603\ 286539954105256689199211159199701*c_0101_5^12 - 152597874787052359792321549049017759260058760276085/292668498948603\ 286539954105256689199211159199701*c_0101_5^11 + 258343281163659887090268233290148929298775369181422/292668498948603\ 286539954105256689199211159199701*c_0101_5^10 + 110672381462677872743084853416228111042824052981271/292668498948603\ 286539954105256689199211159199701*c_0101_5^9 - 148021350220849727343180876937735963217961647703812/292668498948603\ 286539954105256689199211159199701*c_0101_5^8 + 7644925295251308760344204438170418213935564158399/17215794055800193\ 325879653250393482306538776453*c_0101_5^7 + 13247939955847532594909685774322161778830065960283/2926684989486032\ 86539954105256689199211159199701*c_0101_5^6 - 107331806858028936606947803206408084976257216537810/292668498948603\ 286539954105256689199211159199701*c_0101_5^5 + 548646463988002978147993031165710956872277392238/172157940558001933\ 25879653250393482306538776453*c_0101_5^4 + 15576470966452467695368131684909896108799655287662/2926684989486032\ 86539954105256689199211159199701*c_0101_5^3 - 970233907884035538279632536528935249985665795121/292668498948603286\ 539954105256689199211159199701*c_0101_5^2 + 543917198440324334004820578158568575978037760161/292668498948603286\ 539954105256689199211159199701*c_0101_5 - 87995055665230740158623600955827382364319542734/2926684989486032865\ 39954105256689199211159199701, c_0101_1 - 551459872110784981268362670823421731151131491557/20486794926\ 40223005779678736796824394478114397907*c_0101_5^23 - 2081025872492980801416522142314809523670500144447/20486794926402230\ 05779678736796824394478114397907*c_0101_5^22 + 7559311948997042714117820597081108675445956906005/20486794926402230\ 05779678736796824394478114397907*c_0101_5^21 + 33303535566034397619956123024787044767745783484325/2048679492640223\ 005779678736796824394478114397907*c_0101_5^20 - 73618214273895520176942611921343275667156051542766/2048679492640223\ 005779678736796824394478114397907*c_0101_5^19 - 30096674598256880635994060156178470622920810197170/2048679492640223\ 005779678736796824394478114397907*c_0101_5^18 + 1125696532134987431030565339863448019710063040967399/20486794926402\ 23005779678736796824394478114397907*c_0101_5^17 + 563180778170173434319934823809290925920738848743482/204867949264022\ 3005779678736796824394478114397907*c_0101_5^16 - 191150052429474752813181793736013004863174154416598/292668498948603\ 286539954105256689199211159199701*c_0101_5^15 - 4301856769608963211042254225791072378827410041974604/20486794926402\ 23005779678736796824394478114397907*c_0101_5^14 - 3220043825685371678349959352604475935523192715743195/20486794926402\ 23005779678736796824394478114397907*c_0101_5^13 + 9284562428931692928263742950274760506619297041654451/20486794926402\ 23005779678736796824394478114397907*c_0101_5^12 + 3895320281163327720211238580848047214872121793555414/20486794926402\ 23005779678736796824394478114397907*c_0101_5^11 - 1042278735892695538894265445610157558492604860487969/29266849894860\ 3286539954105256689199211159199701*c_0101_5^10 + 3035478285102230957919059538665260527859139667174044/20486794926402\ 23005779678736796824394478114397907*c_0101_5^9 + 1296652605247868301468711868057484578138711417309352/20486794926402\ 23005779678736796824394478114397907*c_0101_5^8 - 260464149676494403198299581892033376074803793648386/120510558390601\ 353281157572752754376145771435171*c_0101_5^7 + 643793616489138911680189996404072594014974272737650/204867949264022\ 3005779678736796824394478114397907*c_0101_5^6 + 1434929917703893094629335016954745482069015387166131/20486794926402\ 23005779678736796824394478114397907*c_0101_5^5 - 11594829624700527378021180842094120971726555533280/1205105583906013\ 53281157572752754376145771435171*c_0101_5^4 - 119982244429141825744540217361730973858167887567955/204867949264022\ 3005779678736796824394478114397907*c_0101_5^3 + 365984317329125561870155918836696356004111324534/292668498948603286\ 539954105256689199211159199701*c_0101_5^2 - 2562129244857032083176403916698863186716201231556/20486794926402230\ 05779678736796824394478114397907*c_0101_5 + 1092580939896350346385393220306950593607600492239/20486794926402230\ 05779678736796824394478114397907, c_0101_3 + 291591848824680082457253390722532997971259147222/20486794926\ 40223005779678736796824394478114397907*c_0101_5^23 + 1240409316021787080722388039952419839538736938445/20486794926402230\ 05779678736796824394478114397907*c_0101_5^22 - 3442975252566656416085697819447331483599339787902/20486794926402230\ 05779678736796824394478114397907*c_0101_5^21 - 19398746379115590067632958287084336337933451082114/2048679492640223\ 005779678736796824394478114397907*c_0101_5^20 + 30267684401113696061671830924944967165928281090726/2048679492640223\ 005779678736796824394478114397907*c_0101_5^19 + 32698746221070695843600153371177145960168990511615/2048679492640223\ 005779678736796824394478114397907*c_0101_5^18 - 586422010779823140889038115269067908979389813662490/204867949264022\ 3005779678736796824394478114397907*c_0101_5^17 - 579249788750939177436104769393708547812922681159462/204867949264022\ 3005779678736796824394478114397907*c_0101_5^16 + 73675951135775532040513237837469543345627211606946/2926684989486032\ 86539954105256689199211159199701*c_0101_5^15 + 2521593252343955618242186135879987585566497394931748/20486794926402\ 23005779678736796824394478114397907*c_0101_5^14 + 2779459872935823101376688787345155185490412105341591/20486794926402\ 23005779678736796824394478114397907*c_0101_5^13 - 3866190931480248949942529881662792376101607269609203/20486794926402\ 23005779678736796824394478114397907*c_0101_5^12 - 4004633124437596543749161248746449784278178986669946/20486794926402\ 23005779678736796824394478114397907*c_0101_5^11 + 400476853362040621337735115813540865741371788979253/292668498948603\ 286539954105256689199211159199701*c_0101_5^10 - 238739550559544571240288084013098890419209212817205/204867949264022\ 3005779678736796824394478114397907*c_0101_5^9 - 1496543493113174669664453870022314947412652748683369/20486794926402\ 23005779678736796824394478114397907*c_0101_5^8 + 122335609656013389467626301236144909033484546047184/120510558390601\ 353281157572752754376145771435171*c_0101_5^7 + 592332278059016899181331906272052363169471038009474/204867949264022\ 3005779678736796824394478114397907*c_0101_5^6 - 865479936671565231388584992909031625713760625287443/204867949264022\ 3005779678736796824394478114397907*c_0101_5^5 - 5868544701032397167156367597835091790487450681225/12051055839060135\ 3281157572752754376145771435171*c_0101_5^4 + 82766860734814340737374429514186624531593362293774/2048679492640223\ 005779678736796824394478114397907*c_0101_5^3 + 146689803421785191731623222704558564688552189306/292668498948603286\ 539954105256689199211159199701*c_0101_5^2 + 6664908255236820643942924985796124675570169862636/20486794926402230\ 05779678736796824394478114397907*c_0101_5 - 95749652026325751132958796618620831412739176913/2048679492640223005\ 779678736796824394478114397907, c_0101_5^24 + 4*c_0101_5^23 - 13*c_0101_5^22 - 64*c_0101_5^21 + 122*c_0101_5^20 + 93*c_0101_5^19 - 2051*c_0101_5^18 - 1485*c_0101_5^17 + 2493*c_0101_5^16 + 8408*c_0101_5^15 + 7221*c_0101_5^14 - 16607*c_0101_5^13 - 11466*c_0101_5^12 + 14299*c_0101_5^11 - 2071*c_0101_5^10 - 5386*c_0101_5^9 + 8698*c_0101_5^8 + 438*c_0101_5^7 - 3894*c_0101_5^6 + 138*c_0101_5^5 + 495*c_0101_5^4 + 17*c_0101_5^3 + 6*c_0101_5^2 - 8*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB