Morphocompletion for #1136 ⟨a, b | abbbba=abb⟩

Back:⟨a, b | abbbba=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. abbbba ⇒ abb
2. abbbbbba ⇒ abbbb
3. abbbbbbbba ⇒ abbbbbb
4. abbbbbbbbbba ⇒ abbbbbbbb
5. abbbbbbbbbbbba ⇒ abbbbbbbbbb
6. abbbbbbbbbbbbbba ⇒ abbbbbbbbbbbb
7. abbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbb
8. abbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbb
9. abbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbb
10. abbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbb
11. abbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbb
12. abbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbb
13. abbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbb
14. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbb
15. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
16. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
...

Collecting factors up to length 8 / frequency 7:

[2/0]bb288lf:288,rf:256,rs:16
[2/1]ab32lf:16,lp:16,rf:16,rp:16,lprp:16
[2/2]ba32lf:16,ls:16
[3/0]bbb272lf:272,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]bbbb256lf:256,rf:225,rs:15
[4/1]abbb32lf:16,lp:16,rf:15,rp:15,lprp:15
[4/2]bbba32lf:16,ls:16
[5/0]bbbbb240lf:240,rf:210,rs:14,a:1
[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]bbbbbb225lf:225,rf:196,rs:14,a:1
[6/1]abbbbb30lf:15,lp:15,rf:14,rp:14,lprp:14,a:1
[6/2]bbbbba30lf:15,ls:15,a:1
[7/0]bbbbbbb210lf:210,rf:182,rs:13,a:2
[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 4 / frequency 1] abbb=c.

Step 2

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