s

Set s of identities between relators

(^xa)a^-1,

(^yb) b^-1,

(^x²yc) (^xc^-1) (^ya) (^yc) a^-1 (^x³c^-1)

(^xc) (^xb^-1) (^xy²c) (^xyc) (b^-1) (^yxc)

The main table