Certificate for #3426 ⟨a, b | aaaabbbbba=b⟩

Completion settings:

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

Axiom: aaaabbbbba=b.

Defines rule #2.

Referenced by [2].

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

Critical pair: aaaabbbbbb=baaabbbbba.

Defines rule #1.