Morphocompletion for #7549 ⟨a, b, c | ab=1, bcac=cc⟩

Back:⟨a, b, c | ab=1, bcac=cc⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. ab ⇒ 1
2. acc ⇒ cac
3. bcac ⇒ cc
4. bccac ⇒ ccc
5. bcccac ⇒ cccc
6. bccccac ⇒ ccccc
7. bcccccac ⇒ cccccc
8. bccccccac ⇒ ccccccc
9. bcccccccac ⇒ cccccccc
10. bccccccccac ⇒ ccccccccc
11. bcccccccccac ⇒ cccccccccc
12. bccccccccccac ⇒ ccccccccccc
13. bcccccccccccac ⇒ cccccccccccc
14. bccccccccccccac ⇒ ccccccccccccc
15. bcccccccccccccac ⇒ cccccccccccccc
16. bccccccccccccccac ⇒ ccccccccccccccc
17. bcccccccccccccccac ⇒ cccccccccccccccc
18. bccccccccccccccccac ⇒ ccccccccccccccccc
19. bcccccccccccccccccac ⇒ cccccccccccccccccc
20. bccccccccccccccccccac ⇒ ccccccccccccccccccc
...

Collecting factors up to length 4 / frequency 7:

[2/0]cc155lf:154,ls:1,rf:171,rp:18,rs:18,re:1,a:1
[2/1]ac38lf:19,lp:1,ls:18,rf:1,rs:1,lprs:10,a:1
[2/2]bc36lf:18,lp:18,a:1
[2/3]ca18lf:18,rf:1,rp:1,a:1
[3/0]ccc136lf:136,rf:153,rp:17,rs:17,re:1,a:3
[3/1]cac36lf:18,ls:18,rf:1,rp:1,rs:1,re:1,a:1
[3/2]bcc34lf:17,lp:17,a:3
[3/3]cca17lf:17,a:3
[3/4]bca2lf:1,lp:1,a:1

Considering [length 3 / frequency 1] cac=d.

Step 2

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