Set s of identities between relators
(xa)a-1,
(xyb) (xya-1) (x2b-1) ab-1 (y2b-1) (y3b) (yb) (ya-1) (yx2b) (yxya) (xb-1)
The main table
Summary
