Certificate for #701 ⟨a, b | abaaabbab=1⟩

Back:⟨a, b | abaaabbab=1⟩

Completion settings:

[1] abaaabbab=1

Axiom: abaaabbab=1.

Referenced by [2], [3].

[2] abaaabb=aaabbab

Overlap of [1] abaaabbab=1 with [1] abaaabbab=1:

abaaabb ab abaaabbab

Critical pair: abaaabb=aaabbab.

Defines rule #1.

Referenced by [3].

[3] aaabbabab=1

Overlap of [1] abaaabbab=1 with [2] abaaabb=aaabbab:

abaaabbab abaaabb

Critical pair: aaabbabab=1.

Defines rule #2.