Set s of identities between relators
(yb) b-1,
(xyc) c-1,
(ya-1) (yxc) (yxb-1) (yc) (a-1) (x2b-1) (x2ya-1) (x2yxb-1) (xc) (xb-1) (xya-1)(xyxb-1) cb-1
The main table
Summary