Magma V2.19-8 Tue Aug 20 2013 16:18:51 on localhost [Seed = 1865347614] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3022 geometric_solution 6.19417117 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 2031 1302 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 1 0 -1 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.545590226280 0.719116896437 0 3 5 4 0132 0132 0132 0132 0 0 0 0 0 0 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 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.728348083682 1.118635174068 3 0 4 5 2310 0132 3201 2310 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 0 1 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.728348083682 1.118635174068 3 1 2 3 3201 0132 3201 2310 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.091476192793 0.783179517394 2 6 1 6 2310 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.134386031187 0.917919909201 2 5 5 1 3201 3201 2310 0132 0 0 0 0 0 0 0 0 0 0 1 -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 1 -1 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.211469547528 0.652540917871 4 4 6 6 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.511341021478 0.228633451677 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], '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_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_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_2'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), '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_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : d['c_0101_3'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_3']), 'c_0110_2' : negation(d['c_0101_3']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : negation(d['c_0110_6']), 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : negation(d['c_0101_0'])})} 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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 3132622390734699718435943383442620782496540/68318978130471304374964\ 294184263078141787*c_0110_6^25 + 3367886873601494542743325163710553\ 7528760552/204956934391413913124892882552789234425361*c_0110_6^24 + 111872293795441611596341993079850192682082401/204956934391413913124\ 892882552789234425361*c_0110_6^23 + 251792443690413082979777151308853854362640887/204956934391413913124\ 892882552789234425361*c_0110_6^22 - 66564639023812357974482242354683776104806483/6831897813047130437496\ 4294184263078141787*c_0110_6^21 - 148738345928829386195225999457121\ 3997694732430/204956934391413913124892882552789234425361*c_0110_6^2\ 0 - 907101054050418893199311575128526163672524552/68318978130471304\ 374964294184263078141787*c_0110_6^19 - 4733358984119226106102501593368082765042873884/20495693439141391312\ 4892882552789234425361*c_0110_6^18 - 686642886267619866581676629052197509447847027/683189781304713043749\ 64294184263078141787*c_0110_6^17 + 13976863820699710316510998440342252906467119078/2049569343914139131\ 24892882552789234425361*c_0110_6^16 + 18755904504310062797558603172377187423695078198/2049569343914139131\ 24892882552789234425361*c_0110_6^15 - 15261707711865562288240591311627735838938894064/2049569343914139131\ 24892882552789234425361*c_0110_6^14 - 33741083271285042019492494574097500685706457139/2049569343914139131\ 24892882552789234425361*c_0110_6^13 + 16891164165080742676404627088521628950220632421/2049569343914139131\ 24892882552789234425361*c_0110_6^12 + 47449132861944440422892345589326288599799294665/2049569343914139131\ 24892882552789234425361*c_0110_6^11 - 3508725388153952611792440561944431683563983271/68318978130471304374\ 964294184263078141787*c_0110_6^10 - 42004648371210860621371509141038250967258162432/2049569343914139131\ 24892882552789234425361*c_0110_6^9 + 2952846143217639052237054706083475666528979640/20495693439141391312\ 4892882552789234425361*c_0110_6^8 + 21266459371282881134410732477383754263098420858/2049569343914139131\ 24892882552789234425361*c_0110_6^7 - 482682640389098392606303929170749033337515847/204956934391413913124\ 892882552789234425361*c_0110_6^6 - 7149601294859729066895315429446080155418638646/20495693439141391312\ 4892882552789234425361*c_0110_6^5 - 680270970449888785706804870894575466584013826/683189781304713043749\ 64294184263078141787*c_0110_6^4 + 411820640700670072945048980891467\ 49834621551/204956934391413913124892882552789234425361*c_0110_6^3 + 29490343935190128046288365168330821168995579/1863244858103762846589\ 9352959344475856851*c_0110_6^2 + 1664500011869103688524195696984215\ 25834419485/204956934391413913124892882552789234425361*c_0110_6 + 19250247205387202463915909861323331267140225/2049569343914139131248\ 92882552789234425361, c_0011_0 - 1, c_0011_4 + 12605282696169791884651885492185608899284/683189781304713043\ 74964294184263078141787*c_0110_6^25 + 60659747784506194281587625693910729097494/6831897813047130437496429\ 4184263078141787*c_0110_6^24 + 180136873292724362835416451454758151\ 366420/68318978130471304374964294184263078141787*c_0110_6^23 + 453424761467919006163152729072184819530789/683189781304713043749642\ 94184263078141787*c_0110_6^22 - 93278239908868203941462008133907629\ 827304/68318978130471304374964294184263078141787*c_0110_6^21 - 2788879398553582144531460476046944397211117/68318978130471304374964\ 294184263078141787*c_0110_6^20 - 5135154147977605316896716463656019\ 458716352/68318978130471304374964294184263078141787*c_0110_6^19 - 7634607951368262781591756536761737572917279/68318978130471304374964\ 294184263078141787*c_0110_6^18 - 6081258525938901937549675298926117\ 288829261/68318978130471304374964294184263078141787*c_0110_6^17 + 24018524778456429467023565669420478750668003/6831897813047130437496\ 4294184263078141787*c_0110_6^16 + 458115197323850724278699440824584\ 06132272570/68318978130471304374964294184263078141787*c_0110_6^15 - 25825536208705318722906262351546839688380433/6831897813047130437496\ 4294184263078141787*c_0110_6^14 - 890484479281777543401831375076990\ 53771127696/68318978130471304374964294184263078141787*c_0110_6^13 + 26711382418820530484271896873525704547581922/6831897813047130437496\ 4294184263078141787*c_0110_6^12 + 131200184214005507957623554336450\ 013901293155/68318978130471304374964294184263078141787*c_0110_6^11 - 19805052864529157661185218338167847088582490/6831897813047130437496\ 4294184263078141787*c_0110_6^10 - 130346968991189366561524056580312\ 164969445499/68318978130471304374964294184263078141787*c_0110_6^9 + 17595845277213403804685071584867859090124684/6831897813047130437496\ 4294184263078141787*c_0110_6^8 + 7741265000812847245520247577754314\ 1825552641/68318978130471304374964294184263078141787*c_0110_6^7 - 16491961512760769946777454374978085481284221/6831897813047130437496\ 4294184263078141787*c_0110_6^6 - 2605547023344419936579104025763658\ 9042034627/68318978130471304374964294184263078141787*c_0110_6^5 + 3338308108898042552630621445875220107551504/68318978130471304374964\ 294184263078141787*c_0110_6^4 + 18305614615506595804737334089170458\ 18767405/68318978130471304374964294184263078141787*c_0110_6^3 + 35125213102051991692602069227455403773554/6210816193679209488633117\ 653114825285617*c_0110_6^2 + 34146771650978742737684516928336801363\ 1309/68318978130471304374964294184263078141787*c_0110_6 - 135562698936579738148715217176484480007775/683189781304713043749642\ 94184263078141787, c_0101_0 + 25139902947757876591365491381467730918074/683189781304713043\ 74964294184263078141787*c_0110_6^25 + 51775230683291398706786215375253881652495/6831897813047130437496429\ 4184263078141787*c_0110_6^24 + 202637032197983258978447416466784389\ 963091/68318978130471304374964294184263078141787*c_0110_6^23 + 320230175611778412942052382245964851215888/683189781304713043749642\ 94184263078141787*c_0110_6^22 - 11845913221895416068974495384340319\ 45439944/68318978130471304374964294184263078141787*c_0110_6^21 - 2471399552941411029764897628085637623449382/68318978130471304374964\ 294184263078141787*c_0110_6^20 - 2809589272928122461362666938915748\ 314162819/68318978130471304374964294184263078141787*c_0110_6^19 - 6318710637719514927542571659354649739054494/68318978130471304374964\ 294184263078141787*c_0110_6^18 + 6992818975915359144326231084147786\ 102111361/68318978130471304374964294184263078141787*c_0110_6^17 + 32425144130699235515912489406724860514247704/6831897813047130437496\ 4294184263078141787*c_0110_6^16 - 162719047921929006821115288011439\ 2149219667/68318978130471304374964294184263078141787*c_0110_6^15 - 62298191507169201723190068137813330141614745/6831897813047130437496\ 4294184263078141787*c_0110_6^14 - 456492912314969071130626005419734\ 6269875262/68318978130471304374964294184263078141787*c_0110_6^13 + 92812256826708404922129864473609562721962556/6831897813047130437496\ 4294184263078141787*c_0110_6^12 + 683675570534544832531929072974890\ 6099318654/68318978130471304374964294184263078141787*c_0110_6^11 - 96079267977440838863630375318988699487287399/6831897813047130437496\ 4294184263078141787*c_0110_6^10 + 332238705647479447301740910450165\ 9699150515/68318978130471304374964294184263078141787*c_0110_6^9 + 59166442390510075987726339014020502599273480/6831897813047130437496\ 4294184263078141787*c_0110_6^8 - 1025724907167393285638250754223610\ 7687123744/68318978130471304374964294184263078141787*c_0110_6^7 - 19759857515863898986797736908503140017469302/6831897813047130437496\ 4294184263078141787*c_0110_6^6 + 2572407313900308959668753088967278\ 122070784/68318978130471304374964294184263078141787*c_0110_6^5 + 1997770655284154149047365416679122756263891/68318978130471304374964\ 294184263078141787*c_0110_6^4 + 24012270211189727158429041934719188\ 3844723/68318978130471304374964294184263078141787*c_0110_6^3 - 837219195513708651418944840430132684149/621081619367920948863311765\ 3114825285617*c_0110_6^2 - 4422472906284474960360067770713691306006\ 4/68318978130471304374964294184263078141787*c_0110_6 - 28019103261638170638725184127247055952517/6831897813047130437496429\ 4184263078141787, c_0101_1 - 1119646241594928479705054501001438418402/6210816193679209488\ 633117653114825285617*c_0110_6^25 - 940327938221155882860963568767625581895/621081619367920948863311765\ 3114825285617*c_0110_6^24 - 571259713410186657476950607944838748782\ 7/6210816193679209488633117653114825285617*c_0110_6^23 - 1745012642414657089072174478822529888653/62108161936792094886331176\ 53114825285617*c_0110_6^22 + 75221400274344505196553234325385109217\ 953/6210816193679209488633117653114825285617*c_0110_6^21 + 56340522450342128556756684860037913932249/6210816193679209488633117\ 653114825285617*c_0110_6^20 - 2569414463361989541501172711290065884\ 9570/6210816193679209488633117653114825285617*c_0110_6^19 + 60002742537770756289827399876934510260505/6210816193679209488633117\ 653114825285617*c_0110_6^18 - 7572327268399555631602860951455226652\ 01161/6210816193679209488633117653114825285617*c_0110_6^17 - 1259860773253292265347641363424030279516684/62108161936792094886331\ 17653114825285617*c_0110_6^16 + 18279437282486186920006676329060821\ 96086190/6210816193679209488633117653114825285617*c_0110_6^15 + 3416238586259447004223458965377072337784537/62108161936792094886331\ 17653114825285617*c_0110_6^14 - 26516809607552386589947095366055794\ 02676762/6210816193679209488633117653114825285617*c_0110_6^13 - 5522587870310883005812634029377296084390084/62108161936792094886331\ 17653114825285617*c_0110_6^12 + 36861764542407052160160983255108367\ 00395978/6210816193679209488633117653114825285617*c_0110_6^11 + 6233012971689584305495181147958243362508184/62108161936792094886331\ 17653114825285617*c_0110_6^10 - 38670993706729332856077593118403047\ 46097971/6210816193679209488633117653114825285617*c_0110_6^9 - 3977430386230756035516987383288271614442214/62108161936792094886331\ 17653114825285617*c_0110_6^8 + 247734255814234772838608443409055505\ 7081348/6210816193679209488633117653114825285617*c_0110_6^7 + 1288465973841867203118739544404810148880238/62108161936792094886331\ 17653114825285617*c_0110_6^6 - 707261161779906736011419831579354420\ 301116/6210816193679209488633117653114825285617*c_0110_6^5 - 296527166757776691796595478670771904341761/621081619367920948863311\ 7653114825285617*c_0110_6^4 - 3743614801096192643609997607667206178\ 7360/6210816193679209488633117653114825285617*c_0110_6^3 + 11328783501194569797138296148449351430255/6210816193679209488633117\ 653114825285617*c_0110_6^2 + 59208746775012478761079895015367511364\ 57/6210816193679209488633117653114825285617*c_0110_6 + 4600965224356982281891329737599896407096/62108161936792094886331176\ 53114825285617, c_0101_2 + 31342941895580621690906600643509292283682/683189781304713043\ 74964294184263078141787*c_0110_6^25 + 117577384654680751693849744980705057805957/683189781304713043749642\ 94184263078141787*c_0110_6^24 + 37381756989947442363239479091653680\ 5974674/68318978130471304374964294184263078141787*c_0110_6^23 + 857043918664563581376495733286770080428447/683189781304713043749642\ 94184263078141787*c_0110_6^22 - 69059323384954089768709032025753031\ 2896477/68318978130471304374964294184263078141787*c_0110_6^21 - 5374121663156028797610019110004837287587903/68318978130471304374964\ 294184263078141787*c_0110_6^20 - 9181886239902173047383562096827045\ 366825383/68318978130471304374964294184263078141787*c_0110_6^19 - 15199401014370064442612265169972793100535979/6831897813047130437496\ 4294184263078141787*c_0110_6^18 - 659328186370237549920265839558326\ 1561277882/68318978130471304374964294184263078141787*c_0110_6^17 + 51225831739836273405461606889182227891868387/6831897813047130437496\ 4294184263078141787*c_0110_6^16 + 677985816491812845790274126044609\ 19007493396/68318978130471304374964294184263078141787*c_0110_6^15 - 65064333853732006539199346622736347464783184/6831897813047130437496\ 4294184263078141787*c_0110_6^14 - 130576193067529125438217830739845\ 364454399464/68318978130471304374964294184263078141787*c_0110_6^13 + 79146873185383241308697747838263070848786297/6831897813047130437496\ 4294184263078141787*c_0110_6^12 + 189372690133000231544072036486806\ 548129704026/68318978130471304374964294184263078141787*c_0110_6^11 - 67658807750521570396812013026687276137931998/6831897813047130437496\ 4294184263078141787*c_0110_6^10 - 177032862564335507870216121770550\ 216954773985/68318978130471304374964294184263078141787*c_0110_6^9 + 44574094569020362156324991166790774596189523/6831897813047130437496\ 4294184263078141787*c_0110_6^8 + 9592236798904334016457349192871580\ 4602504001/68318978130471304374964294184263078141787*c_0110_6^7 - 24976605044260160452909788382777933640880645/6831897813047130437496\ 4294184263078141787*c_0110_6^6 - 3181144584729674606237559553146349\ 4691919764/68318978130471304374964294184263078141787*c_0110_6^5 + 1515893513243107509267183138011914042675068/68318978130471304374964\ 294184263078141787*c_0110_6^4 + 17279452803585334258229163249880409\ 15808298/68318978130471304374964294184263078141787*c_0110_6^3 + 63075191342129483285810239258582027192457/6210816193679209488633117\ 653114825285617*c_0110_6^2 + 42788467417659178756873048670350152520\ 0868/68318978130471304374964294184263078141787*c_0110_6 - 129886469237730123459467058377641791981066/683189781304713043749642\ 94184263078141787, c_0101_3 - 34150261373675756295967926796934596073746/683189781304713043\ 74964294184263078141787*c_0110_6^25 - 114354200066876888447168170870171032135535/683189781304713043749642\ 94184263078141787*c_0110_6^24 - 36885696751399316760371693766591413\ 9946565/68318978130471304374964294184263078141787*c_0110_6^23 - 796341861615023476634624444672373336194332/683189781304713043749642\ 94184263078141787*c_0110_6^22 + 10211344961739802489946562331100724\ 04730452/68318978130471304374964294184263078141787*c_0110_6^21 + 5386943207961491846085396024453370199937658/68318978130471304374964\ 294184263078141787*c_0110_6^20 + 8254136269628698483001578972713104\ 193118259/68318978130471304374964294184263078141787*c_0110_6^19 + 13789525791367947428054091187118262593698411/6831897813047130437496\ 4294184263078141787*c_0110_6^18 + 205256333062426904469106922276868\ 0296658946/68318978130471304374964294184263078141787*c_0110_6^17 - 55378160598131803945741105311386369423878434/6831897813047130437496\ 4294184263078141787*c_0110_6^16 - 549699217063104800539757072372505\ 54308593235/68318978130471304374964294184263078141787*c_0110_6^15 + 84258183012385128172228393956346171598516927/6831897813047130437496\ 4294184263078141787*c_0110_6^14 + 114175752647745402093945728337218\ 149568179967/68318978130471304374964294184263078141787*c_0110_6^13 - 112510866294390846881081354308580312274317023/683189781304713043749\ 64294184263078141787*c_0110_6^12 - 168536645287423751420510628228481586305888299/683189781304713043749\ 64294184263078141787*c_0110_6^11 + 110976942743023432101525886541476301916299669/683189781304713043749\ 64294184263078141787*c_0110_6^10 + 158440221083181426178798155669280705837240437/683189781304713043749\ 64294184263078141787*c_0110_6^9 - 795386789794346318298652137968272\ 06435250413/68318978130471304374964294184263078141787*c_0110_6^8 - 84449731538632169882455878183641241698496862/6831897813047130437496\ 4294184263078141787*c_0110_6^7 + 4056194310159241278975363596810106\ 1057757589/68318978130471304374964294184263078141787*c_0110_6^6 + 26807871865267112707430869911995528362069514/6831897813047130437496\ 4294184263078141787*c_0110_6^5 - 5415324719761713788784523277741577\ 380917601/68318978130471304374964294184263078141787*c_0110_6^4 - 2049477897374396770613578276326785205217969/68318978130471304374964\ 294184263078141787*c_0110_6^3 - 11106896688023874979868650982417475\ 6772558/6210816193679209488633117653114825285617*c_0110_6^2 - 224503598680705902493726936384837328395158/683189781304713043749642\ 94184263078141787*c_0110_6 + 19815399155868828911628809318589587558\ 1845/68318978130471304374964294184263078141787, c_0110_6^26 + 7/2*c_0110_6^25 + 23/2*c_0110_6^24 + 51/2*c_0110_6^23 - 49/2*c_0110_6^22 - 317/2*c_0110_6^21 - 545/2*c_0110_6^20 - 931/2*c_0110_6^19 - 315/2*c_0110_6^18 + 1542*c_0110_6^17 + 3729/2*c_0110_6^16 - 1946*c_0110_6^15 - 3549*c_0110_6^14 + 2353*c_0110_6^13 + 5100*c_0110_6^12 - 3799/2*c_0110_6^11 - 9333/2*c_0110_6^10 + 2093/2*c_0110_6^9 + 2477*c_0110_6^8 - 473*c_0110_6^7 - 1705/2*c_0110_6^6 - 66*c_0110_6^5 + 101/2*c_0110_6^4 + 65/2*c_0110_6^3 + 23/2*c_0110_6^2 - 2*c_0110_6 - 1/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.240 seconds, Total memory usage: 32.09MB