Morphocompletion for #4827 ⟨a, b | abababba=baa⟩

Back:⟨a, b | abababba=baa⟩

Solved by morph:2/0. (See Morphocompletion.)

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: arenaTotalLimit

#Rule
1. abababba ⇒ baa
2. abababbbaa ⇒ babaa
3. abababbbabaa ⇒ bababaa
4. abababbbababaa ⇒ babababaa
5. abababbbabababaa ⇒ bababababaa
6. abababbbababababaa ⇒ babababababaa
7. abababbbabababababaa ⇒ bababababababaa
8. abababbbababababababaa ⇒ babababababababaa
9. abababbbabababababababaa ⇒ bababababababababaa
10. abababbbababababababababaa ⇒ babababababababababaa
11. abababbbabababababababababaa ⇒ bababababababababababaa
12. abababbbababababababababababaa ⇒ babababababababababababaa
13. abababbbabababababababababababaa ⇒ bababababababababababababaa
14. abababbbababababababababababababaa ⇒ babababababababababababababaa
15. abababbbabababababababababababababaa ⇒ bababababababababababababababaa
...

Collecting factors up to length 8 / frequency 7:

[2/0]ab151lf:136,lp:15,rf:105
[2/1]ba137lf:136,ls:1,rf:120,rp:15,lsrp:1
[2/2]bb29lf:29
[2/3]aa28lf:14,ls:14,rf:15,rs:15,lsrs:14
[3/0]aba136lf:121,lp:15,rf:105
[3/1]bab121lf:121,rf:105,rp:14
[3/2]baa28lf:14,ls:14,rf:15,rp:1,rs:15,re:1,lsrs:14
[3/3]bba16lf:15,ls:1
[3/4]abb15lf:15
[3/5]bbb14lf:14,a:1
[4/0]abab123lf:108,lp:15,rf:91
[4/1]baba106lf:106,rf:105,rp:14
[4/2]abaa26lf:13,ls:13,rf:14,rs:14,lsrs:13,a:1
[4/3]babb15lf:15
[4/4]bbba14lf:14,a:1
[4/5]abbb14lf:14,a:1
[4/6]bbab13lf:13,a:2
[5/0]ababa108lf:93,lp:15,rf:91
[5/1]babab93lf:93,rf:91,rp:13
[5/2]babaa26lf:13,ls:13,rf:14,rp:1,rs:14,re:1,lsrs:13,a:1
[5/3]ababb15lf:15
[5/4]abbba14lf:14,a:1
[5/5]babbb14lf:14,a:1
[5/6]bbaba13lf:13,a:2
[6/0]ababab96lf:81,lp:15,rf:78
[6/1]bababa78lf:78,rf:91,rp:13,a:2
[6/2]ababaa24lf:12,ls:12,rf:13,rs:13,lsrs:12,a:2
[6/3]bababb15lf:15
[6/4]babbba14lf:14,a:1
[6/5]ababbb14lf:14,a:1
[6/6]bbbaba13lf:13,a:2
[7/0]abababa66lf:66,rf:78,a:3
[7/1]bababab66lf:66,rf:78,rp:12,a:3
[7/2]abababb30lf:15,lp:15
[7/3]bababaa24lf:12,ls:12,rf:13,rp:1,rs:13,re:1,lsrs:12,a:2
[7/4]ababbba14lf:14,a:1
[7/5]bababbb14lf:14,a:1
[7/6]abbbaba13lf:13,a:2

Considering [length 2 / frequency 0] ab=c.

Step 2

Rewriting system is complete. See ⟨a, b | abababba=baa⟩.