Certificate for #3704 ⟨a, b | abaaaaabba=b⟩

Completion settings:

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

Axiom: abaaaaabba=b.

Defines rule #2.

Referenced by [2].

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

Critical pair: abaaaaabbb=bbaaaaabba.

Defines rule #1.