Certificate for #3371 ⟨a, b | aaaabaaaba=b⟩

Completion settings:

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

Axiom: aaaabaaaba=b.

Defines rule #2.

Referenced by [2].

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

Critical pair: aaaabaaabb=baaabaaaba.

Defines rule #1.