Magma V2.19-8 Tue Aug 20 2013 16:15:58 on localhost [Seed = 1831661909] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0211 geometric_solution 4.02425995 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 1023 3201 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 0 -1 1 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.739917973190 0.022291414947 0 2 0 2 0132 0132 1023 1023 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 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 0.528686210949 0.069177713269 3 1 3 1 0132 0132 2310 1023 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 0 1 -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 -1.731491961630 1.374436262926 2 2 5 4 0132 3201 0132 0132 0 0 0 0 0 -1 0 1 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 1 0 0 -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.685818417606 1.120186937263 6 5 3 5 0132 2031 0132 1302 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 0 1 -1 0 0 1 -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.748838961773 0.435772347486 4 6 4 3 1302 2310 2031 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 -1 0 1 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.748838961773 0.435772347486 4 6 6 5 0132 3201 2310 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.504766994571 0.294994057322 ==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' : 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' : d['1'], 's_2_6' : 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_0_6' : 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_6' : negation(d['c_0011_4']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_4']), 'c_0101_4' : d['c_0101_2'], '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' : 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' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0101_3'], '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 7371116335153066258982197707731323209043362104965854728/17352374623\ 1758564221086175311304024411211075077665109*c_0101_6^22 - 22316547665036296140481456945337055244064743460352442904/1735237462\ 31758564221086175311304024411211075077665109*c_0101_6^21 + 375602118576902801239421435182418316472120101218667585425/173523746\ 231758564221086175311304024411211075077665109*c_0101_6^20 + 4315588295742362633553929268071807150796450099852281320858/17352374\ 6231758564221086175311304024411211075077665109*c_0101_6^19 + 1950464638924591399818872083827938621085214945579285031/19945258187\ 55845565759611210474758901278288219283507*c_0101_6^18 - 34752810545498649567558824110783886599054845615590982689066/1735237\ 46231758564221086175311304024411211075077665109*c_0101_6^17 + 25377026990699459567253708550994469907079341066036652726959/1735237\ 46231758564221086175311304024411211075077665109*c_0101_6^16 + 37749146843284781491256413697712765583771266243490213634930/1735237\ 46231758564221086175311304024411211075077665109*c_0101_6^15 - 177252893457436324013245731764648016248969577683962230763757/173523\ 746231758564221086175311304024411211075077665109*c_0101_6^14 + 35788469336938906897828731757783600227066439509629921395384/1735237\ 46231758564221086175311304024411211075077665109*c_0101_6^13 + 127150125090279819220782035939878817173619587326650529883218/578412\ 48743919521407028725103768008137070358359221703*c_0101_6^12 - 19375626122654064578837370793561518454296144976960026774314/5784124\ 8743919521407028725103768008137070358359221703*c_0101_6^11 - 145251464500890698832155213753761017558012212008138930435391/173523\ 746231758564221086175311304024411211075077665109*c_0101_6^10 + 192556075216861211112914770502058108353467737813777315643418/578412\ 48743919521407028725103768008137070358359221703*c_0101_6^9 + 489781142828659219374637829638916804912402981880139348599056/173523\ 746231758564221086175311304024411211075077665109*c_0101_6^8 - 117190745096729269873232966200058371885358455907341602113578/578412\ 48743919521407028725103768008137070358359221703*c_0101_6^7 - 558338592163255477392516029429185711990927805534260318702828/173523\ 746231758564221086175311304024411211075077665109*c_0101_6^6 - 195056240381191560116278213336016655207218503139723250978409/173523\ 746231758564221086175311304024411211075077665109*c_0101_6^5 + 7120463108348134999737504581160078998832646700577213148773/57841248\ 743919521407028725103768008137070358359221703*c_0101_6^4 + 8667949587273189310206116069843569597245719105038746221623/57841248\ 743919521407028725103768008137070358359221703*c_0101_6^3 + 140485842146388761312934199803196152678195660893440039595/598357745\ 6267536697278833631424276703834864657850521*c_0101_6^2 - 142832251074120278466605433243460113537631189037472359408/173523746\ 231758564221086175311304024411211075077665109*c_0101_6 - 12636625617851830030988284743383915313124804723072554053/5784124874\ 3919521407028725103768008137070358359221703, c_0011_0 - 1, c_0011_4 - 110116478881264252363882975611503124362849969431357/19945258\ 18755845565759611210474758901278288219283507*c_0101_6^22 + 350571565740233795401315271842234211828575559359235/199452581875584\ 5565759611210474758901278288219283507*c_0101_6^21 + 6966940868487686359194061449225456126371586269557531/19945258187558\ 45565759611210474758901278288219283507*c_0101_6^20 + 28069025730051424574382896287399240134672289622116378/1994525818755\ 845565759611210474758901278288219283507*c_0101_6^19 - 360124738636675068105251721395305013165897264585104237/199452581875\ 5845565759611210474758901278288219283507*c_0101_6^18 - 148827282462972124007481098905684802361084438463592195/199452581875\ 5845565759611210474758901278288219283507*c_0101_6^17 + 3287203363698427335272311058659303413528861503969904857/19945258187\ 55845565759611210474758901278288219283507*c_0101_6^16 - 4898958205213998678597990567317079511883225451848438208/19945258187\ 55845565759611210474758901278288219283507*c_0101_6^15 - 1007135077414808772870490851298478412375096476973635991/19945258187\ 55845565759611210474758901278288219283507*c_0101_6^14 + 16300478449654675441713579388659877779084856559295516807/1994525818\ 755845565759611210474758901278288219283507*c_0101_6^13 - 14371169395358739143507928042970334799341846712609472587/1994525818\ 755845565759611210474758901278288219283507*c_0101_6^12 - 18360556520693163964701224862386894817129552800934581428/1994525818\ 755845565759611210474758901278288219283507*c_0101_6^11 + 25274783364489386086125628347089965293442585682191775507/1994525818\ 755845565759611210474758901278288219283507*c_0101_6^10 - 3027073242577808675678479582907717444554280539908075447/19945258187\ 55845565759611210474758901278288219283507*c_0101_6^9 - 39297620994200101080832543509507715704294617839851487181/1994525818\ 755845565759611210474758901278288219283507*c_0101_6^8 + 93401279567556862570009230206184791521184930026954613/1994525818755\ 845565759611210474758901278288219283507*c_0101_6^7 + 27816505191358571099730879588755367779768841111516339681/1994525818\ 755845565759611210474758901278288219283507*c_0101_6^6 + 10407771613379145202764527725305256879764299141722566862/1994525818\ 755845565759611210474758901278288219283507*c_0101_6^5 - 2514475392426742466164479149456291461763583713797646000/19945258187\ 55845565759611210474758901278288219283507*c_0101_6^4 - 1481008091187170582921691185127736577261433544569375361/19945258187\ 55845565759611210474758901278288219283507*c_0101_6^3 + 11559463479253964880865176372136089931537013358178828/1994525818755\ 845565759611210474758901278288219283507*c_0101_6^2 + 42528010068780906346410076782480113309154945047971910/1994525818755\ 845565759611210474758901278288219283507*c_0101_6 - 2165183027722935874711245609405119587277824389307518/19945258187558\ 45565759611210474758901278288219283507, c_0101_0 + 3860150346172345874283981591144497109456100476622183/1994525\ 818755845565759611210474758901278288219283507*c_0101_6^22 + 10417723191323841700408401069864103413021152275752833/1994525818755\ 845565759611210474758901278288219283507*c_0101_6^21 - 200124650247684673758073931904851675646635810842880484/199452581875\ 5845565759611210474758901278288219283507*c_0101_6^20 - 2194226392843897932200426703329555548504930718861589366/19945258187\ 55845565759611210474758901278288219283507*c_0101_6^19 + 632609828819416224525866132245019658366042387203889374/199452581875\ 5845565759611210474758901278288219283507*c_0101_6^18 + 17992891569439505675874100268211720171407110246705567248/1994525818\ 755845565759611210474758901278288219283507*c_0101_6^17 - 19201117579205452124297671991240664600799338221770572257/1994525818\ 755845565759611210474758901278288219283507*c_0101_6^16 - 13450302634368775253116431903636352995118940458020764698/1994525818\ 755845565759611210474758901278288219283507*c_0101_6^15 + 97208269820161453503967517695158081509783675111947329217/1994525818\ 755845565759611210474758901278288219283507*c_0101_6^14 - 50785244158425750763023394544770632597739994516962210888/1994525818\ 755845565759611210474758901278288219283507*c_0101_6^13 - 182786863052516558481273775492931639541502343413211946639/199452581\ 8755845565759611210474758901278288219283507*c_0101_6^12 + 90177887332136811955054469835644090245665803006391538672/1994525818\ 755845565759611210474758901278288219283507*c_0101_6^11 + 46044264614794725390858655986710818783503797752953258079/1994525818\ 755845565759611210474758901278288219283507*c_0101_6^10 - 316289753516487248247654186400618894340998569642958711874/199452581\ 8755845565759611210474758901278288219283507*c_0101_6^9 - 152568961195570125797998449473886257062990686072185790431/199452581\ 8755845565759611210474758901278288219283507*c_0101_6^8 + 233215975283778279518476172307414312132335153678819536250/199452581\ 8755845565759611210474758901278288219283507*c_0101_6^7 + 217380680271500331435101600682856359272298457901573257097/199452581\ 8755845565759611210474758901278288219283507*c_0101_6^6 + 32078594656897956359188943371268594017008841454458747835/1994525818\ 755845565759611210474758901278288219283507*c_0101_6^5 - 23012648020869395087606370742886906564535588064828533870/1994525818\ 755845565759611210474758901278288219283507*c_0101_6^4 - 7367002413106727996769751035453249071150837165735084447/19945258187\ 55845565759611210474758901278288219283507*c_0101_6^3 + 151940920274997583950298512997064578336516089581371330/199452581875\ 5845565759611210474758901278288219283507*c_0101_6^2 + 159622194546995218943359853036497975778193324637931964/199452581875\ 5845565759611210474758901278288219283507*c_0101_6 - 6080839792537911361684723495720563795058795269602864/19945258187558\ 45565759611210474758901278288219283507, c_0101_1 + 4617470483447708877174872042293445151120245199594588/1994525\ 818755845565759611210474758901278288219283507*c_0101_6^22 + 10663584178392826701203449773997281360361262475341626/1994525818755\ 845565759611210474758901278288219283507*c_0101_6^21 - 242982080319393372941710219548343399566819280804894040/199452581875\ 5845565759611210474758901278288219283507*c_0101_6^20 - 2529227287278384366103156202214910638688832550145481194/19945258187\ 55845565759611210474758901278288219283507*c_0101_6^19 + 1711529387403020660566209590599474475283994334223980123/19945258187\ 55845565759611210474758901278288219283507*c_0101_6^18 + 20573680780860235532156035286036652893350237875358312929/1994525818\ 755845565759611210474758901278288219283507*c_0101_6^17 - 30556858459074584116786040317969392265353200571775637674/1994525818\ 755845565759611210474758901278288219283507*c_0101_6^16 - 1987875438285640804874826447461573304225098562175351942/19945258187\ 55845565759611210474758901278288219283507*c_0101_6^15 + 111673567639878166317297554463545702511790831544878347869/199452581\ 8755845565759611210474758901278288219283507*c_0101_6^14 - 100733078734096736784381027010144983710008932361539749959/199452581\ 8755845565759611210474758901278288219283507*c_0101_6^13 - 167995630009030949965994154153623354945106071034157896953/199452581\ 8755845565759611210474758901278288219283507*c_0101_6^12 + 152339334866566929101130096726028949563333096421484337335/199452581\ 8755845565759611210474758901278288219283507*c_0101_6^11 - 10376788639437953865646580764957885280880952452295406618/1994525818\ 755845565759611210474758901278288219283507*c_0101_6^10 - 349181711397441274063691926390268431714382650468996001091/199452581\ 8755845565759611210474758901278288219283507*c_0101_6^9 - 65013403411737600115053466802300892103627086640737215878/1994525818\ 755845565759611210474758901278288219283507*c_0101_6^8 + 273233173903729536378247506451322552156739064067675229745/199452581\ 8755845565759611210474758901278288219283507*c_0101_6^7 + 170459773946646295322526870583997898588408140349440441597/199452581\ 8755845565759611210474758901278288219283507*c_0101_6^6 - 3063982708758694591663556272122141180776063683982741776/19945258187\ 55845565759611210474758901278288219283507*c_0101_6^5 - 25144167197196297786382583838152462664562468000348474845/1994525818\ 755845565759611210474758901278288219283507*c_0101_6^4 - 3828904468003197007911500282733746290892055916450938851/19945258187\ 55845565759611210474758901278288219283507*c_0101_6^3 + 950754637996789066406995144555091547380911373259763360/199452581875\ 5845565759611210474758901278288219283507*c_0101_6^2 + 146912499390603713641608620582817779043037133842821631/199452581875\ 5845565759611210474758901278288219283507*c_0101_6 - 17585513278029004911426422165720142007243447435618094/1994525818755\ 845565759611210474758901278288219283507, c_0101_2 + 1050529538865772253225692765619755420098345630276193/1994525\ 818755845565759611210474758901278288219283507*c_0101_6^22 + 1473892134782458292763349429793260645603389900013582/19945258187558\ 45565759611210474758901278288219283507*c_0101_6^21 - 57031385442674219942146450569508759287467275898514503/1994525818755\ 845565759611210474758901278288219283507*c_0101_6^20 - 524493514320123157230930838338323131352361153597212847/199452581875\ 5845565759611210474758901278288219283507*c_0101_6^19 + 886940938847769002706933227802418707525023308923036003/199452581875\ 5845565759611210474758901278288219283507*c_0101_6^18 + 4093012150326264659017107627902087211920564320189409868/19945258187\ 55845565759611210474758901278288219283507*c_0101_6^17 - 10918792825502012200296572485756571326296424389310493494/1994525818\ 755845565759611210474758901278288219283507*c_0101_6^16 + 7728174247193775891200330827700422471086023057766287208/19945258187\ 55845565759611210474758901278288219283507*c_0101_6^15 + 21964029432290414707836171774903662724564156159836396797/1994525818\ 755845565759611210474758901278288219283507*c_0101_6^14 - 44404040444430294402376408770751050888233762170633588399/1994525818\ 755845565759611210474758901278288219283507*c_0101_6^13 - 7167020827491508327937828528697572635783903703054423553/19945258187\ 55845565759611210474758901278288219283507*c_0101_6^12 + 54619870652379824334735885841061706167008362198694039747/1994525818\ 755845565759611210474758901278288219283507*c_0101_6^11 - 43525737580375679034660706511286201717008764209094373849/1994525818\ 755845565759611210474758901278288219283507*c_0101_6^10 - 57443665450710943785824885514788834966425781157278822222/1994525818\ 755845565759611210474758901278288219283507*c_0101_6^9 + 46983325432945467337644535998510031594924667076746853816/1994525818\ 755845565759611210474758901278288219283507*c_0101_6^8 + 45864497343648920790885776776494144568960645676215613111/1994525818\ 755845565759611210474758901278288219283507*c_0101_6^7 - 9559862228451900503083803440048643088982920983579187642/19945258187\ 55845565759611210474758901278288219283507*c_0101_6^6 - 12478605165711614910982045373196050263854214197813495247/1994525818\ 755845565759611210474758901278288219283507*c_0101_6^5 + 235803136483004754202094916060250646278931271349082460/199452581875\ 5845565759611210474758901278288219283507*c_0101_6^4 + 1159130794140387894102124085627845004176494488644768053/19945258187\ 55845565759611210474758901278288219283507*c_0101_6^3 + 12144428510022161674851226829030407006613957649867776/1994525818755\ 845565759611210474758901278288219283507*c_0101_6^2 - 36276725371498129886650936511730205638590714742967214/1994525818755\ 845565759611210474758901278288219283507*c_0101_6 + 1308196263588812509548417611439379719744276715533393/19945258187558\ 45565759611210474758901278288219283507, c_0101_3 + 2669462601187248233206326285315535891792934522416523/1994525\ 818755845565759611210474758901278288219283507*c_0101_6^22 + 6275329609685760175062146831106065550093883685085039/19945258187558\ 45565759611210474758901278288219283507*c_0101_6^21 - 140174096682522253758165801359128319970247579719389813/199452581875\ 5845565759611210474758901278288219283507*c_0101_6^20 - 1467881588042556231183305631501365649547815790489976356/19945258187\ 55845565759611210474758901278288219283507*c_0101_6^19 + 926678347961033052813377836976834915032932897549963481/199452581875\ 5845565759611210474758901278288219283507*c_0101_6^18 + 11909119566082586991596047541720436478679600939758022456/1994525818\ 755845565759611210474758901278288219283507*c_0101_6^17 - 17172924267602113558738176280199615361569760143534869923/1994525818\ 755845565759611210474758901278288219283507*c_0101_6^16 - 1654063176406046478706400009291336196905556777239088021/19945258187\ 55845565759611210474758901278288219283507*c_0101_6^15 + 64335333976766106293482230342652384260304523688097691070/1994525818\ 755845565759611210474758901278288219283507*c_0101_6^14 - 55928239136682693418334952516206435310072674068771653403/1994525818\ 755845565759611210474758901278288219283507*c_0101_6^13 - 98108506881642167561638553269129480510116123539196170630/1994525818\ 755845565759611210474758901278288219283507*c_0101_6^12 + 83536188881991563170211249365503347132925393207810142328/1994525818\ 755845565759611210474758901278288219283507*c_0101_6^11 - 5241539832905082402241610623506003220898480988943847082/19945258187\ 55845565759611210474758901278288219283507*c_0101_6^10 - 200442057371653627104881876559141849952883789196457433113/199452581\ 8755845565759611210474758901278288219283507*c_0101_6^9 - 45012999231393618115175782389068429895273958383187027809/1994525818\ 755845565759611210474758901278288219283507*c_0101_6^8 + 151669582164919273812526961835227897275634177014208221587/199452581\ 8755845565759611210474758901278288219283507*c_0101_6^7 + 103447628594678871407680931902736683060223808595804317185/199452581\ 8755845565759611210474758901278288219283507*c_0101_6^6 + 5869170692478296479799618844760068202730613318893195245/19945258187\ 55845565759611210474758901278288219283507*c_0101_6^5 - 12191922857862725844353466849578186394684867919148769926/1994525818\ 755845565759611210474758901278288219283507*c_0101_6^4 - 2764800701841731788829797108329576381365572469670321813/19945258187\ 55845565759611210474758901278288219283507*c_0101_6^3 + 189191552436557048399525138521511367401202809317933576/199452581875\ 5845565759611210474758901278288219283507*c_0101_6^2 + 55587098510389152637143049380263255857120393810626101/1994525818755\ 845565759611210474758901278288219283507*c_0101_6 - 4887939692542944749905991841632819922520206678809567/19945258187558\ 45565759611210474758901278288219283507, c_0101_6^23 + 3*c_0101_6^22 - 51*c_0101_6^21 - 584*c_0101_6^20 - 9*c_0101_6^19 + 4695*c_0101_6^18 - 3546*c_0101_6^17 - 4863*c_0101_6^16 + 23830*c_0101_6^15 - 5354*c_0101_6^14 - 50714*c_0101_6^13 + 7925*c_0101_6^12 + 18715*c_0101_6^11 - 77011*c_0101_6^10 - 65285*c_0101_6^9 + 46909*c_0101_6^8 + 75453*c_0101_6^7 + 26553*c_0101_6^6 - 3409*c_0101_6^5 - 3938*c_0101_6^4 - 563*c_0101_6^3 + 72*c_0101_6^2 + 13*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB