Certificate for #22809 ⟨a, b | aaa=1, abbab=bbb⟩

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

Completion settings:

[1] aaa=1

Axiom: aaa=1.

Defines rule #1.

Referenced by [3].

[2] abbab=bbb

Axiom: abbab=bbb.

Defines rule #2.

Referenced by [3], [4].

[3] aabbb=bbab

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

aa a abbab

Critical pair: aabbb=bbab.

Defines rule #3.

Referenced by [5].

[4] abbbbb=bbbbab

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

abb ab abbab

Critical pair: abbbbb=bbbbab.

Defines rule #4.

Referenced by [5].

[5] abbbbab=bbabbb

Overlap of [3] aabbb=bbab with [4] abbbbb=bbbbab:

a abbb abbbbb

Critical pair: abbbbab=bbabbb.

Defines rule #5.