Morphocompletion for #1120 ⟨a, b | ababab=baa⟩

Solved by morph:2/0. (See Morphocompletion.)

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: arenaTotalLimit

#	Rule
1.	ababab ⇒ baa
2.	baaab ⇒ abbaa
3.	ababaabbaa ⇒ baaaaab
4.	baaaabbaa ⇒ abbaaaaab
5.	ababaababbaa ⇒ baaaaabab
6.	baaaaabbabab ⇒ ababaabbabaa
7.	baaaababbaa ⇒ abbaaaaabab
8.	baaaaababbabab ⇒ ababaababbabaa
9.	ababaababaabbabaa ⇒ baaaaaaabbabab
10.	baaaaabbabaabbaa ⇒ ababaabbabaaaaab
11.	baaaababaabbabaa ⇒ abbaaaaaaabbabab
12.	ababaababaababbabaa ⇒ baaaaaaababbabab
13.	baaaaaaabbababbabab ⇒ ababaababaabbababaa
14.	baaaaababbabaabbaa ⇒ ababaababbabaaaaab
15.	baaaaabbabaababbaa ⇒ ababaabbabaaaaabab
16.	baaaababaababbabaa ⇒ abbaaaaaaababbabab
17.	baaaaaaababbababbabab ⇒ ababaababaababbababaa
18.	baaaaababbabaababbaa ⇒ ababaababbabaaaaabab
19.	ababaababaababaabbababaa ⇒ baaaaaaaaabbababbabab
	...

Collecting factors up to length 8, frequency 7:

Length 2:	[2/0] ba, [2/1] aa, [2/2] ab, [2/3] bb
Length 3:	[3/0] baa, [3/1] aba, [3/2] bab, [3/3] aaa, [3/4] aab, [3/5] bba, [3/6] abb
Length 4:	[4/0] abab, [4/1] baba, [4/2] baaa, [4/3] abaa, [4/4] aaaa, [4/5] abba, [4/6] aaba
Length 5:	[5/0] babaa, [5/1] baaaa, [5/2] ababa, [5/3] abbaa, [5/4] aabab, [5/5] abaab, [5/6] bbaba
Length 6:	[6/0] ababaa, [6/1] baaaaa, [6/2] babaab, [6/3] abbaba, [6/4] bbabaa, [6/5] ababba, [6/6] bbabab
Length 7:	[7/0] ababaab, [7/1] baaaaab, [7/2] abbabaa, [7/3] abbabab, [7/4] aababba, [7/5] babaaba, [7/6] abaabab

Considering [length 2 / frequency 0] ba=c.

Auxiliary generators:
1. c = ba
Reduction order:
- Left-to-right recursive path with deg(b) = deg(c) = 0, b < c; deg(a) = 1

Rewriting system is complete. See ⟨a, b | ababab=baa⟩.