Morphocompletion for #6186 ⟨a, b, c | aa=1, abccab=1⟩

Back:⟨a, b, c | aa=1, abccab=1⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. aa ⇒ 1
2. babc ⇒ acabab
3. ccabab ⇒ 1
4. bccab ⇒ a
5. accab ⇒ bcc
6. abcc ⇒ ccab
7. ccabcabab ⇒ abc
8. ccabcabcabab ⇒ abcabc
9. bccccab ⇒ acc
10. accccab ⇒ bcccc
11. ccabcabcabcabab ⇒ abcabcabc
12. bccccccab ⇒ acccc
13. accccccab ⇒ bcccccc
14. bccccccccab ⇒ acccccc
15. accccccccab ⇒ bcccccccc
16. bccccccccccab ⇒ acccccccc
17. accccccccccab ⇒ bcccccccccc
18. bccccccccccccab ⇒ acccccccccc
19. accccccccccccab ⇒ bcccccccccccc
...

Collecting factors up to length 4 / frequency 7:

[2/0]cc82lf:77,lp:4,ls:1,rf:62,rp:1,rs:11,lsrp:1,a:2
[2/1]ab45lf:28,lp:1,ls:16,rf:9,rp:3,rs:2,lsrp:3,lprs:1,a:2
[2/2]ca22lf:22,rf:5,a:2
[2/3]bc21lf:14,lp:6,ls:1,rf:12,rp:6,rs:3,a:2
[2/4]ac12lf:6,lp:6,rf:6,rp:6,a:4
[2/5]ba6lf:5,lp:1,rf:1,a:6
[3/0]ccc60lf:60,rf:50,rs:9,a:5
[3/1]cab34lf:22,ls:12,rf:5,rs:1,a:2
[3/2]cca20lf:16,lp:4,rf:1,rp:1,a:2
[3/3]bcc14lf:7,lp:6,ls:1,rf:6,rp:6,rs:1,re:1,a:2
[3/4]acc12lf:6,lp:6,rf:5,rp:5,rs:1,re:1,a:4
[3/5]abc10lf:8,lp:1,ls:1,rf:6,rp:3,rs:3,re:1,a:3
[3/6]bab10lf:5,lp:1,ls:4,rf:1,rs:1,lprs:1,a:6

Considering [length 2 / frequency 0] cc=d.

Step 2

Rewriting system is complete. See ⟨a, b, c | aa=1, abccab=1⟩.