Set
s
of identities between relators
(
y
b
-1
) (
yx
a) (
x
2
b) (
x
2
a
-1
)
The main table
Summary
