Morphocompletion for #4459 ⟨a, b | aaaabbaa=baa⟩

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

Step 1

Checking up to 20 rules for overlaps.

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

Rewriting system is not complete: rulesLimit

#	Rule
1.	aaaabbaa ⇒ baa
2.	aaaabbbaa ⇒ bbaa
3.	aaaabbabaa ⇒ babaa
4.	aaaabbbbaa ⇒ bbbaa
5.	aaaabbabbaa ⇒ babbaa
6.	aaaabbbabaa ⇒ bbabaa
7.	aaaabbbbbaa ⇒ bbbbaa
	...

Collecting factors up to length 8 / frequency 7:

[2/0]	aa	42	`lf:28,lp:7,ls:7,rf:7,rs:7,lprs:7,lsrs:7`
[2/1]	bb	15	`lf:15,rf:8,rp:4`
[2/2]	ba	10	`lf:10,rf:10,rp:3`
[2/3]	ab	10	`lf:10,rf:3`
[3/0]	aaa	21	`lf:14,lp:7`
[3/1]	baa	14	`lf:7,ls:7,rf:7,rp:1,rs:7,re:1,lsrp:1,lsrs:7`
[3/2]	bba	8	`lf:8,rf:5,rp:2`
[3/3]	abb	8	`lf:8,rf:1`
[3/4]	bbb	7	`lf:7,rf:3,rp:2,a:1`
[3/5]	aab	7	`lf:7`
[3/6]	bab	3	`lf:3,rf:3,rp:2,a:2`
[4/0]	aaaa	14	`lf:7,lp:7`
[4/1]	bbaa	10	`lf:5,ls:5,rf:4,rp:1,rs:4,re:1,lsrp:1,lsrs:4`
[4/2]	aabb	7	`lf:7`
[4/3]	aaab	7	`lf:7`
[4/4]	bbba	4	`lf:4,rf:2,rp:1,a:1`
[4/5]	abbb	4	`lf:4,a:1`
[4/6]	abba	4	`lf:4,rf:1`
[5/0]	aaaab	14	`lf:7,lp:7`
[5/1]	aaabb	7	`lf:7`
[5/2]	bbbaa	6	`lf:3,ls:3,rf:2,rp:1,rs:2,re:1,lsrp:1,lsrs:2,a:1`
[5/3]	babaa	4	`lf:2,ls:2,rf:2,rp:1,rs:2,re:1,lsrp:1,lsrs:2,a:2`
[5/4]	abbaa	4	`lf:2,ls:2,rf:1,rs:1,lsrs:1`
[5/5]	aabbb	4	`lf:4,a:1`
[5/6]	aabba	3	`lf:3`
[6/0]	aaaabb	14	`lf:7,lp:7`
[6/1]	bbbbaa	4	`lf:2,ls:2,rf:1,rp:1,rs:1,re:1,lsrp:1,lsrs:1,a:3`
[6/2]	bbabaa	4	`lf:2,ls:2,rf:1,rp:1,rs:1,re:1,lsrp:1,lsrs:1,a:2`
[6/3]	aaabbb	4	`lf:4,a:1`
[6/4]	aaabba	3	`lf:3`
[6/5]	babbaa	2	`lf:1,ls:1,rf:1,rp:1,rs:1,re:1,lsrp:1,lsrs:1,a:4`
[6/6]	abbbaa	2	`lf:1,ls:1,a:1`
[7/0]	aaaabbb	8	`lf:4,lp:4,a:1`
[7/1]	aaaabba	6	`lf:3,lp:3`
[7/2]	bbbbbaa	2	`lf:1,ls:1,a:6`
[7/3]	bbbabaa	2	`lf:1,ls:1,a:5`
[7/4]	bbabbaa	2	`lf:1,ls:1,a:4`
[7/5]	abbbbaa	2	`lf:1,ls:1,a:3`
[7/6]	abbabaa	2	`lf:1,ls:1,a:2`

Considering [length 6 / frequency 0] aaaabb=c.

Step 2

Auxiliary generators:
1. c = aaaabb
Reduction order:
- Left-to-right shortlex with a < c < b

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