Certificate for #4290 ⟨a, b | ababaabab=bb⟩

Back:⟨a, b | ababaabab=bb⟩

Completion settings:

[1] ababaabab=bb

Axiom: ababaabab=bb.

Defines rule #3.

Referenced by [2], [3].

[2] abababb=bbaabab

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

ababa abab ababaabab

Critical pair: abababb=bbaabab.

Defines rule #1.

[3] ababaabbb=bbabaabab

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

ababaab ab ababaabab

Critical pair: ababaabbb=bbabaabab.

Defines rule #2.