Certificate for #2774 ⟨a, b | bbabb=aaaaa⟩

Completion settings:

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

Axiom: bbabb=aaaaa.

Defines rule #1.

Referenced by [2], [3].

Overlap of [1] bbabb=aaaaa with [1] bbabb=aaaaa:

Critical pair: bbaaaaaa=aaaaaabb.

Defines rule #2.

Overlap of [1] bbabb=aaaaa with [1] bbabb=aaaaa:

Critical pair: bbabaaaaa=aaaaababb.

Defines rule #3.