Morphocompletion for #3125 ⟨a, b, c | ab=aa, cbbc=1⟩

Back:⟨a, b, c | ab=aa, cbbc=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. ab ⇒ aa
2. cbb ⇒ bbc
3. bbcc ⇒ 1
4. aaacc ⇒ a
5. ccb ⇒ bcc
6. bbcbcc ⇒ cb
7. aaacbcc ⇒ acb
8. bbcbcbcc ⇒ cbcb
9. aaacbcbcc ⇒ acbcb
10. bbcbcbcbcc ⇒ cbcbcb
11. aaacbcbcbcc ⇒ acbcbcb
12. bbcbcbcbcbcc ⇒ cbcbcbcb
13. aaacbcbcbcbcc ⇒ acbcbcbcb
14. bbcbcbcbcbcbcc ⇒ cbcbcbcbcb
15. aaacbcbcbcbcbcc ⇒ acbcbcbcbcb
16. bbcbcbcbcbcbcbcc ⇒ cbcbcbcbcbcb
17. aaacbcbcbcbcbcbcc ⇒ acbcbcbcbcbcb
18. bbcbcbcbcbcbcbcbcc ⇒ cbcbcbcbcbcbcb
19. aaacbcbcbcbcbcbcbcc ⇒ acbcbcbcbcbcbcb
...

Collecting factors up to length 4 / frequency 7:

[2/0]bc64lf:64,rf:44,rp:1,rs:1,a:2
[2/1]cb60lf:58,lp:1,ls:1,rf:56,rp:7,rs:14,re:1,a:2
[2/2]cc34lf:17,lp:1,ls:16,rf:1,rs:1,lprs:10,a:3
[2/3]aa24lf:16,lp:8,rf:1,rp:1,rs:1,re:1
[2/4]bb18lf:9,lp:8,ls:1,rf:1,rp:1,lsrp:10,a:2
[2/5]ac8lf:8,rf:7,rp:7,a:4
[3/0]cbc56lf:56,rf:42,rp:6,a:5
[3/1]bcb49lf:49,rf:42,rs:12,a:5
[3/2]bcc30lf:15,ls:15,rf:1,rp:1,rs:1,re:1,a:3
[3/3]bbc16lf:8,lp:8,rf:1,rp:1,rs:1,re:1,a:2
[3/4]aaa16lf:8,lp:8,a:4
[3/5]aac8lf:8,a:4
[3/6]acb7lf:7,rf:7,rp:7,rs:1,re:1,a:6

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

Step 2

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