s

Set s of identities between relators

(^xa)a^-1,

(^yb) b^-1,

(^xyc) c^-1,

(^xd^-1) (^yd)

(^xya) (^x²d) (^x²c^-1) adc^-1

d (^{y^-1}c) b^-1 (^yxd) (^yxb^-1) (^yc)

The main table