Certificate for #14504 ⟨a, b | aaab=b, abbbb=b⟩

Back:⟨a, b | aaab=b, abbbb=b⟩

Completion settings:

[1] aaab=b

Axiom: aaab=b.

Referenced by [3].

[2] abbbb=b

Axiom: abbbb=b.

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

[3] aab=bbbb

Overlap of [1] aaab=b with [2] abbbb=b:

aa ab abbbb

Critical pair: aab=bbbb.

Referenced by [4].

[4] ab=bbbbbbb

Overlap of [3] aab=bbbb with [2] abbbb=b:

a ab abbbb

Critical pair: ab=bbbbbbb.

Defines rule #2.

Referenced by [5].

[5] bbbbbbbbbb=b

Overlap of [2] abbbb=b with [4] ab=bbbbbbb:

abbbb ab

Critical pair: bbbbbbbbbb=b.

Defines rule #1.