Certificate for #22793 ⟨a, b | aaa=1, ababa=bbb⟩

Back:⟨a, b | aaa=1, ababa=bbb⟩

Completion settings:

[1] aaa=1

Axiom: aaa=1.

Defines rule #4.

Referenced by [3], [4].

[2] ababa=bbb

Axiom: ababa=bbb.

Referenced by [3], [4], [5].

[3] baba=aabbb

Overlap of [1] aaa=1 with [2] ababa=bbb:

aa a ababa

Critical pair: aabbb=baba.

Flip LHS and RHS.

Defines rule #2.

[4] bbbaa=abab

Overlap of [2] ababa=bbb with [1] aaa=1:

abab a aaa

Critical pair: abab=bbbaa.

Flip LHS and RHS.

Defines rule #3.

[5] bbbba=abbbb

Overlap of [2] ababa=bbb with [2] ababa=bbb:

ab aba ababa

Critical pair: abbbb=bbbba.

Flip LHS and RHS.

Defines rule #1.