Set s of identities between relators
(xa)a-1,
(yb)b-1,
(y3c) b (xc-1) (xb-1) (xy2c-1) (yc)
(x3yc) (x2yc) (xyc) (yc) (ya-1) (yx2c) (yxc) a-1
The main table
Summary
