Certificate for #366 ⟨a, b | aaabbaa=b⟩

Back:⟨a, b | aaabbaa=b⟩

Completion settings:

[1] aaabbaa=b

Axiom: aaabbaa=b.

Defines rule #3.

Referenced by [2], [3].

[2] aaabbb=babbaa

Overlap of [1] aaabbaa=b with [1] aaabbaa=b:

aaabb aa aaabbaa

Critical pair: aaabbb=babbaa.

Defines rule #1.

[3] aaabbab=baabbaa

Overlap of [1] aaabbaa=b with [1] aaabbaa=b:

aaabba a aaabbaa

Critical pair: aaabbab=baabbaa.

Defines rule #2.