Set s of identities between relators
(xa) (xb-1) (yxa-1) (yb),
(zc) c-1,
(xc) c-1 (zd-1) d-1,
(yc) c-1 (ze-1) e-1,
(za) a-1 (x-2ye) (x-2e) (x-2d-1) (x-1d-1),
(zb) b-1 (x-1yxe) (x-1yd) (x-1e) (x-1d-1)
The main table
Summary
