Certificate for #5078 ⟨a, b | aaabbaa=baab⟩

Back:⟨a, b | aaabbaa=baab⟩

Completion settings:

[1] aaabbaa=baab

Axiom: aaabbaa=baab.

Defines rule #1.

Referenced by [2], [3].

[2] aaabbbaab=baababbaa

Overlap of [1] aaabbaa=baab with [1] aaabbaa=baab:

aaabb aa aaabbaa

Critical pair: aaabbbaab=baababbaa.

Defines rule #2.

[3] aaabbabaab=baabaabbaa

Overlap of [1] aaabbaa=baab with [1] aaabbaa=baab:

aaabba a aaabbaa

Critical pair: aaabbabaab=baabaabbaa.

Defines rule #3.