Morphocompletion for #4734 ⟨a, b | aabbbbaa=abb⟩

Back:⟨a, b | aabbbbaa=abb⟩

Solved by morph:4/1. (See Morphocompletion.)

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: arenaTotalLimit

#Rule
1. aabbbbaa ⇒ abb
2. abbbbbbaa ⇒ aabbbbabb
3. abbabbbbaa ⇒ abbbb
4. abbbbbbbbaa ⇒ abbabbbbabb
5. abbbbabbbbaa ⇒ abbbbbb
6. abbbbbbbbbbaa ⇒ abbbbabbbbabb
7. abbbbbbabbbbaa ⇒ abbbbbbbb
8. abbbbbbbbbbbbaa ⇒ abbbbbbabbbbabb
9. abbbbbbbbabbbbaa ⇒ abbbbbbbbbb
10. abbbbbbbbbbbbbbaa ⇒ abbbbbbbbabbbbabb
11. abbbbbbbbbbabbbbaa ⇒ abbbbbbbbbbbb
12. abbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbabbbbabb
13. abbbbbbbbbbbbabbbbaa ⇒ abbbbbbbbbbbbbb
14. abbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbabbbbabb
15. abbbbbbbbbbbbbbabbbbaa ⇒ abbbbbbbbbbbbbbbb
16. abbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbabbbbabb
17. abbbbbbbbbbbbbbbbabbbbaa ⇒ abbbbbbbbbbbbbbbbbb
18. abbbbbbbbbbbbbbbbbbbbbbaa ⇒ abbbbbbbbbbbbbbbbabbbbabb
19. abbbbbbbbbbbbbbbbbbabbbbaa ⇒ abbbbbbbbbbbbbbbbbbbb
...

Collecting factors up to length 8 / frequency 7:

[2/0]bb228lf:228,rf:200,rs:19
[2/1]ab46lf:28,lp:18,rf:36,rp:18,lprp:17
[2/2]aa40lf:20,lp:1,ls:19,rf:1,rp:1,lsrp:1
[2/3]ba28lf:28,rf:17
[3/0]bbb200lf:200,rf:164,rs:9
[3/1]abb46lf:28,lp:18,rf:36,rp:18,rs:10,re:1,lprp:17,lprs:9
[3/2]baa38lf:19,ls:19
[3/3]bba28lf:28,rf:17
[3/4]bab9lf:9,rf:17,a:1
[3/5]aab2lf:1,lp:1,rf:1,rp:1
[4/0]bbbb173lf:173,rf:139,rs:9
[4/1]abbb44lf:27,lp:17,rf:25,rp:16,lprp:15
[4/2]bbaa38lf:19,ls:19
[4/3]bbba27lf:27,rf:16
[4/4]bbab9lf:9,rf:17,a:1
[4/5]babb9lf:9,rf:17,rs:9,a:1
[4/6]abba2lf:1,lp:1,rf:1,rp:1,a:2
[5/0]bbbbb146lf:146,rf:114,rs:8,a:1
[5/1]abbbb44lf:27,lp:17,rf:25,rp:16,rs:1,re:1,lprp:15
[5/2]bbbaa38lf:19,ls:19
[5/3]bbbba27lf:27,rf:16
[5/4]bbabb9lf:9,rf:17,rs:9,a:1
[5/5]babbb9lf:9,rf:8,a:2
[5/6]bbbab8lf:8,rf:16,a:1
[6/0]bbbbbb130lf:130,rf:100,rs:8,a:1
[6/1]bbbbaa38lf:19,ls:19
[6/2]abbbbb32lf:16,lp:16,rf:14,rp:14,lprp:13,a:1
[6/3]bbbbba16lf:16,rf:6,a:1
[6/4]abbbba12lf:11,lp:1,rf:10,rp:1
[6/5]bbabbb9lf:9,rf:8,a:2
[6/6]babbbb9lf:9,rf:8,a:2
[7/0]bbbbbbb114lf:114,rf:86,rs:7,a:4
[7/1]abbbbbb32lf:16,lp:16,rf:14,rp:14,rs:1,re:1,lprp:13,a:1
[7/2]abbbbaa20lf:10,ls:10
[7/3]bbbbbaa18lf:9,ls:9,a:1
[7/4]bbbbbba16lf:16,rf:6,a:1
[7/5]bbabbbb9lf:9,rf:8,a:2
[7/6]babbbba9lf:9,rf:8,a:2

Considering [length 4 / frequency 1] abbb=c.

Step 2

Rewriting system is complete. See ⟨a, b | aabbbbaa=abb⟩.