Set s of identities between relators
(xa) a-1,
(yxya-1) (yb) (b-1) (xyb) (xb-1) a
The main table
Summary
How to use the table?