Certificate for #3473 ⟨a, b | aaababbaba=b⟩

Completion settings:

• Reduction order:
  • Left-to-right shortlex with b < a

Axiom: aaababbaba=b.

Defines rule #2.

Referenced by [2].

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

Critical pair: aaababbabb=baababbaba.

Defines rule #1.