Certificate for #1496 ⟨a, b | abaababbab=1⟩

Back:⟨a, b | abaababbab=1⟩

Completion settings:

[1] abaababbab=1

Axiom: abaababbab=1.

Referenced by [2], [3].

[2] abaababb=aababbab

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

abaababb ab abaababbab

Critical pair: abaababb=aababbab.

Defines rule #1.

Referenced by [3].

[3] aababbabab=1

Overlap of [1] abaababbab=1 with [2] abaababb=aababbab:

abaababbab abaababb

Critical pair: aababbabab=1.

Defines rule #2.