Certificate for #3628 ⟨a, b | aabbaaaabb=b⟩

Completion settings:

• Reduction order:
  • Right-to-left shortlex with a < b

Axiom: aabbaaaabb=b.

Referenced by [2], [3].

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

Critical pair: aabbaab=baaaabb.

Flip LHS and RHS.

Defines rule #1.

Referenced by [3].

Overlap of [1] aabbaaaabb=b with [2] baaaabb=aabbaab:

Critical pair: aabaabbaab=b.

Defines rule #3.

Referenced by [4].

Overlap of [3] aabaabbaab=b with [3] aabaabbaab=b:

Critical pair: aabaabbb=baabbaab.

Defines rule #2.