s

Set s of identities between relators

(^xa)a^-1,

(^yb) b^-1,

(^zc) c^-1,

(^yza) a^-1 (^xd) d,

(^xyc^-1) e (^ze) c,

(d^-1) e (^zxb) b^-1 (^yd^-1) (^ye)

The main table