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