Certificate for #388 ⟨a, b | aabbbaa=b⟩

Back:⟨a, b | aabbbaa=b⟩

Completion settings:

[1] aabbbaa=b

Axiom: aabbbaa=b.

Defines rule #2.

Referenced by [2], [3].

[2] bbbbaa=aabbbb

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

aabbb aa aabbbaa

Critical pair: aabbbb=bbbbaa.

Flip LHS and RHS.

Defines rule #1.

[3] babbbaa=aabbbab

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

aabbba a aabbbaa

Critical pair: aabbbab=babbbaa.

Flip LHS and RHS.

Defines rule #3.