Certificate for #170 ⟨a, b | aaabaa=b⟩

Back:⟨a, b | aaabaa=b⟩

Completion settings:

[1] aaabaa=b

Axiom: aaabaa=b.

Defines rule #3.

Referenced by [2], [3].

[2] aaabb=babaa

Overlap of [1] aaabaa=b with [1] aaabaa=b:

aaab aa aaabaa

Critical pair: aaabb=babaa.

Defines rule #1.

[3] aaabab=baabaa

Overlap of [1] aaabaa=b with [1] aaabaa=b:

aaaba a aaabaa

Critical pair: aaabab=baabaa.

Defines rule #2.