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