Set s of identities between relators
(xa)a-1,
(yb) b-1,
(xyc) c-1,
(xb-1) (xya-1) (xyx2b-1) (xyxc) (xyxb-1) cb-1 (ya-1) (yx2b-1) (yx2ya-1) (yx2yxb-1) (yxc) (yxb-1) (yxya) (yc) a-1 (x3b-1) (x3yxc) (x3yxb-1) (x2c) (x2b-1) (x2ya-1) (x2yx2b-1) (x2yxc) (x2yxb-1) (xc)