Set s of identities between relators
(xa)a-1,
c (xb-1) (yc) (ya) (yx-6b),
(xyc-1) (x2yc-1) (x3yc-1) (x4yxb) (x4yc-1) (x5c) ac (xb-1) (xyx5a-1) (xyx6a-1)
The main table
Summary
