Set s of identities between relators
(xa) a-1,
(yb) b-1,
(xyc) c-1,
(xy3a-1) (xy3xc) (xy2a-1) (xy2xc) (xya-1) (xyxc) c b-1 (y4a-1) (y3a-1) (y3xc) (y2a-1) (y2xc) (ya-1) (yxc) a-1 (xc) (xb-1)
The main table
Summary
