Certificate for #4956 ⟨a, b | aaaabaa=baab⟩

Back:⟨a, b | aaaabaa=baab⟩

Completion settings:

[1] aaaabaa=baab

Axiom: aaaabaa=baab.

Defines rule #1.

Referenced by [2], [3].

[2] aaaabbaab=baabaabaa

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

aaaab aa aaaabaa

Critical pair: aaaabbaab=baabaabaa.

Defines rule #2.

[3] aaaababaab=baabaaabaa

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

aaaaba a aaaabaa

Critical pair: aaaababaab=baabaaabaa.

Defines rule #3.