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?