Certificate for #17649 ⟨a, b | aaaa=1, abaab=bb⟩

Back:⟨a, b | aaaa=1, abaab=bb⟩

Completion settings:

[1] aaaa=1

Axiom: aaaa=1.

Defines rule #1.

Referenced by [3].

[2] abaab=bb

Axiom: abaab=bb.

Defines rule #3.

Referenced by [3], [4].

[3] aaabb=baab

Overlap of [1] aaaa=1 with [2] abaab=bb:

aaa a abaab

Critical pair: aaabb=baab.

Defines rule #4.

[4] ababb=bbaab

Overlap of [2] abaab=bb with [2] abaab=bb:

aba ab abaab

Critical pair: ababb=bbaab.

Defines rule #2.