Set s of identities between relators
(xa)a-1,
(yb) b-1,
(xc-1) (yc),
(xya) (x2d) (x2c-1) adc-1,
(xd) (xb-1) (xy3c) (xyxd) cb-1 (y2xd) (y2c)
The main table
Summary
