Certificate for #916 ⟨a, b | aaabbaa=bb⟩

Back:⟨a, b | aaabbaa=bb⟩

Completion settings:

[1] aaabbaa=bb

Axiom: aaabbaa=bb.

Defines rule #2.

Referenced by [2], [3].

[2] aaabbbb=bbabbaa

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

aaabb aa aaabbaa

Critical pair: aaabbbb=bbabbaa.

Defines rule #1.

[3] aaabbabb=bbaabbaa

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

aaabba a aaabbaa

Critical pair: aaabbabb=bbaabbaa.

Defines rule #3.