Certificate for #3735 ⟨a, b | abaababaab=b⟩

Completion settings:

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

Axiom: abaababaab=b.

Defines rule #4.

Referenced by [2], [3], [4].

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

Critical pair: abaabb=babaab.

Defines rule #1.

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

Critical pair: abaababab=baababaab.

Defines rule #3.

Referenced by [4].

Overlap of [3] abaababab=baababaab with [1] abaababaab=b:

Critical pair: abaababb=baababaabaababaab.

Reduce RHS:

Defines rule #2.