Certificate for #1926 ⟨a, b | aaabbbaa=bb⟩

Back:⟨a, b | aaabbbaa=bb⟩

Completion settings:

[1] aaabbbaa=bb

Axiom: aaabbbaa=bb.

Defines rule #2.

Referenced by [2], [3].

[2] aaabbbbb=bbabbbaa

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

aaabbb aa aaabbbaa

Critical pair: aaabbbbb=bbabbbaa.

Defines rule #1.

[3] aaabbbabb=bbaabbbaa

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

aaabbba a aaabbbaa

Critical pair: aaabbbabb=bbaabbbaa.

Defines rule #3.