Certificate for #5554 ⟨a, b | aaabaa=babab⟩

Back:⟨a, b | aaabaa=babab⟩

Completion settings:

[1] aaabaa=babab

Axiom: aaabaa=babab.

Defines rule #1.

Referenced by [2], [3].

[2] aaabbabab=babababaa

Overlap of [1] aaabaa=babab with [1] aaabaa=babab:

aaab aa aaabaa

Critical pair: aaabbabab=babababaa.

Defines rule #2.

[3] aaabababab=bababaabaa

Overlap of [1] aaabaa=babab with [1] aaabaa=babab:

aaaba a aaabaa

Critical pair: aaabababab=bababaabaa.

Defines rule #3.