Certificate for #13204 ⟨a, b | abb=aab, bbb=ba⟩

Back:⟨a, b | abb=aab, bbb=ba⟩

Completion settings:

[1] aab=abb

Axiom: abb=aab.

Flip LHS and RHS.

Defines rule #3.

Referenced by [3].

[2] ba=bbb

Axiom: bbb=ba.

Flip LHS and RHS.

Defines rule #2.

Referenced by [3].

[3] bbbbbb=bbbbb

Overlap of [2] ba=bbb with [1] aab=abb:

b a aab

Critical pair: babb=bbbab.

Reduce LHS:

[2](ba)bb
⇒ bbbbb

Reduce RHS:

[2]bb(ba)b
⇒ bbbbbb

Flip LHS and RHS.

Defines rule #1.