Morphocompletion for #5415 ⟨a, b | abbbbba=babb⟩

Back:⟨a, b | abbbbba=babb⟩

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 ⇒ babb
2. abbbbbbabb ⇒ babbbbbbba
3. babbbbbbbabbba ⇒ abbbbbbbabb
4. abbbbabbbbbbbabb ⇒ babbbbbbbbbabbba
5. babbbbbbbbbabbbaba ⇒ abbbabbbbbbbabb
6. abbbbbbbabbbbbbba ⇒ babbbbbbbabbbbabb
7. babbbbbbbbbabbbabbba ⇒ abbbbabbbbbbbbabb
8. abbbbabbbabbbbbbbabb ⇒ babbbbbbbbbbbabbbaba
...

Collecting factors up to length 8 / frequency 7:

[2/0]bb77lf:74,ls:3,rf:66,rs:5
[2/1]ba28lf:20,lp:3,ls:5,rf:18,rp:5,rs:3,lsrp:2
[2/2]ab25lf:20,lp:5,rf:18,rp:3
[3/0]bbb55lf:55,rf:49
[3/1]abb27lf:19,lp:5,ls:3,rf:17,rp:3,rs:5,lprs:2
[3/2]bba20lf:16,ls:4,rf:12,rs:2
[3/3]bab18lf:15,lp:3,rf:15,rp:5
[3/4]aba2lf:1,ls:1,rf:1,rs:1,a:11
[4/0]bbbb39lf:39,rf:37
[4/1]abbb21lf:16,lp:5,rf:12,rp:3
[4/2]babb20lf:14,lp:3,ls:3,rf:14,rp:5,rs:5,re:1,lsrp:3,lprs:3
[4/3]bbba20lf:16,ls:4,rf:12,rs:2
[4/4]bbab12lf:12,rf:10,a:1
[4/5]baba2lf:1,ls:1,rf:1,rs:1,a:11
[5/0]bbbbb28lf:28,rf:28
[5/1]abbbb16lf:11,lp:5,rf:9,rp:2
[5/2]babbb14lf:11,lp:3,rf:9,rp:4,a:1
[5/3]bbabb14lf:11,ls:3,rf:9,rs:4,a:1
[5/4]bbbba13lf:11,ls:2,rf:9,rs:1
[5/5]bbbab12lf:12,rf:10,a:1
[5/6]abbba7lf:5,ls:2,rf:3,rp:1,rs:1,a:2
[6/0]bbbbbb19lf:19,rf:21,a:1
[6/1]bbbabb14lf:11,ls:3,rf:9,rs:4,a:1
[6/2]abbbbb12lf:9,lp:3,rf:7,rp:1
[6/3]bbbbba11lf:9,ls:2,rf:7,rs:1
[6/4]babbbb9lf:6,lp:3,rf:7,rp:4,a:1
[6/5]bbbbab9lf:9,rf:8,a:1
[6/6]bbabbb8lf:8,rf:5,a:2
[7/0]bbbbabb12lf:9,ls:3,rf:8,rs:4,a:1
[7/1]bbbbbbb11lf:11,rf:14,a:1
[7/2]abbbbbb10lf:8,lp:2,rf:7,rp:1,a:1
[7/3]babbbbb9lf:6,lp:3,rf:6,rp:4,a:1
[7/4]bbbbbba9lf:8,ls:1,rf:7,rs:1,a:1
[7/5]bbbabbb8lf:8,rf:5,a:2
[7/6]bbbbbab7lf:7,rf:6,a:1

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

Step 2

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