Morphocompletion for #2289 ⟨a, b | aabbbba=bba⟩

Back:⟨a, b | aabbbba=bba⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: arenaTotalLimit

#Rule
1. aabbbba ⇒ bba
2. aabbbbbba ⇒ bbbba
3. aabbbbbbbba ⇒ bbbbbba
4. aabbbbbbbbbba ⇒ bbbbbbbba
5. aabbbbbbbbbbbba ⇒ bbbbbbbbbba
6. aabbbbbbbbbbbbbba ⇒ bbbbbbbbbbbba
7. aabbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbba
8. aabbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbba
9. aabbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbba
10. aabbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbba
11. aabbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbba
12. aabbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbba
13. aabbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbba
14. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbba
15. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
16. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
...

Collecting factors up to length 8 / frequency 7:

[2/0]bb288lf:288,rf:256,rp:16
[2/1]ba32lf:16,ls:16,rf:16,rs:16,lsrs:16
[2/2]aa32lf:16,lp:16
[2/3]ab16lf:16
[3/0]bbb272lf:272,rf:240,rp:15
[3/1]bba32lf:16,ls:16,rf:16,rp:1,rs:16,re:1,lsrp:1,lsrs:16
[3/2]aab32lf:16,lp:16
[3/3]abb16lf:16
[4/0]bbbb256lf:256,rf:225,rp:15
[4/1]bbba32lf:16,ls:16,rf:15,rs:15,lsrs:15
[4/2]aabb32lf:16,lp:16
[4/3]abbb16lf:16
[5/0]bbbbb240lf:240,rf:210,rp:14,a:1
[5/1]bbbba32lf:16,ls:16,rf:15,rp:1,rs:15,re:1,lsrp:1,lsrs:15
[5/2]aabbb32lf:16,lp:16
[5/3]abbbb16lf:16
[6/0]bbbbbb225lf:225,rf:196,rp:14,a:1
[6/1]aabbbb32lf:16,lp:16
[6/2]bbbbba30lf:15,ls:15,rf:14,rs:14,lsrs:14,a:1
[6/3]abbbbb15lf:15,a:1
[6/4]abbbba2lf:1,ls:1
[7/0]bbbbbbb210lf:210,rf:182,rp:13,a:2
[7/1]bbbbbba30lf:15,ls:15,rf:14,rp:1,rs:14,re:1,lsrp:1,lsrs:14,a:1
[7/2]aabbbbb30lf:15,lp:15,a:1
[7/3]abbbbbb15lf:15,a:1

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

Step 2

Rewriting system is complete. See ⟨a, b | aabbbba=bba⟩.