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