Certificate for #4425 ⟨a, b | aaaabaaa=aba⟩

Back:⟨a, b | aaaabaaa=aba⟩

Completion settings:

[1] aaaabaaa=aba

Axiom: aaaabaaa=aba.

Defines rule #2.

Referenced by [2], [3].

[2] aaaababa=abaabaaa

Overlap of [1] aaaabaaa=aba with [1] aaaabaaa=aba:

aaaab aaa aaaabaaa

Critical pair: aaaababa=abaabaaa.

Defines rule #1.

[3] aaaabaaba=abaaabaaa

Overlap of [1] aaaabaaa=aba with [1] aaaabaaa=aba:

aaaaba aa aaaabaaa

Critical pair: aaaabaaba=abaaabaaa.

Defines rule #3.