Certificate for #3338 ⟨a, b | aaaaabaaaa=b⟩

Completion settings:

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

Axiom: aaaaabaaaa=b.

Defines rule #5.

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

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

Critical pair: aaaaabb=babaaaa.

Defines rule #1.

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

Critical pair: aaaaabab=baabaaaa.

Defines rule #2.

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

Critical pair: aaaaabaab=baaabaaaa.

Defines rule #3.

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

Critical pair: aaaaabaaab=baaaabaaaa.

Defines rule #4.