Morphocompletion for #2360 ⟨a, b | abbbbba=abb⟩

Back:⟨a, b | abbbbba=abb⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: arenaTotalLimit

#Rule
1. abbbbba ⇒ abb
2. abbbbbbba ⇒ abbbb
3. abbbbbbbbba ⇒ abbbbbb
4. abbbbbbbbbbba ⇒ abbbbbbbb
5. abbbbbbbbbbbbba ⇒ abbbbbbbbbb
6. abbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbb
7. abbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbb
8. abbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbb
9. abbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbb
10. abbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbb
11. abbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbb
12. abbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbb
13. abbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbb
14. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbb
15. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
16. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
...

Collecting factors up to length 8 / frequency 7:

[2/0]bb304lf:304,rf:256,rs:16
[2/1]ab32lf:16,lp:16,rf:16,rp:16,lprp:16
[2/2]ba32lf:16,ls:16
[3/0]bbb288lf:288,rf:240,rs:15
[3/1]abb32lf:16,lp:16,rf:16,rp:16,rs:1,re:1,lprp:16,lprs:1
[3/2]bba32lf:16,ls:16
[4/0]bbbb272lf:272,rf:225,rs:15
[4/1]abbb32lf:16,lp:16,rf:15,rp:15,lprp:15
[4/2]bbba32lf:16,ls:16
[5/0]bbbbb256lf:256,rf:210,rs:14
[5/1]abbbb32lf:16,lp:16,rf:15,rp:15,rs:1,re:1,lprp:15,lprs:1
[5/2]bbbba32lf:16,ls:16
[6/0]bbbbbb240lf:240,rf:196,rs:14,a:1
[6/1]abbbbb32lf:16,lp:16,rf:14,rp:14,lprp:14
[6/2]bbbbba32lf:16,ls:16
[7/0]bbbbbbb225lf:225,rf:182,rs:13,a:1
[7/1]abbbbbb30lf:15,lp:15,rf:14,rp:14,rs:1,re:1,lprp:14,lprs:1,a:1
[7/2]bbbbbba30lf:15,ls:15,a:1

Considering [length 5 / frequency 1] abbbb=c.

Step 2

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