Morphocompletion for #1777 ⟨a, b, c | aab=cc, baa=1⟩

Back:⟨a, b, c | aab=cc, baa=1⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: workTotalLimit

#Rule
1. baa ⇒ 1
2. bcaab ⇒ bc
3. bacaa ⇒ abcaa
4. aabc ⇒ caab
5. cc ⇒ aab
6. bacacaa ⇒ abcacaa
7. bacacacaa ⇒ abcacacaa
8. bacacacacaa ⇒ abcacacacaa
9. bacacacacaab ⇒ abcacacacaab
10. bacacacacacaa ⇒ abcacacacacaa
11. bacacacacacaab ⇒ abcacacacacaab
12. bacacacacacacaa ⇒ abcacacacacacaa
13. bacacacacacacaab ⇒ abcacacacacacaab
14. bacacacacacacacaa ⇒ abcacacacacacacaa
15. bacacacacacacacaab ⇒ abcacacacacacacaab
16. bacacacacacacacacaab ⇒ abcacacacacacacacaab
...

Collecting factors up to length 4 / frequency 7:

[2/0]ca59lf:59,rf:59,rp:1,a:2
[2/1]ac58lf:58,rf:46,a:5
[2/2]ba26lf:13,lp:13,a:1
[2/3]aa24lf:15,lp:1,ls:8,rf:14,rp:1,rs:7,lsrs:7
[2/4]ab13lf:7,ls:6,rf:19,rp:12,rs:7,lsrp:5,lsrs:5
[2/5]bc4lf:2,lp:1,ls:1,rf:13,rp:1,rs:1,re:1,lprp:1,lprs:1,a:2
[3/0]aca58lf:58,rf:46,a:5
[3/1]cac46lf:46,rf:46,a:7
[3/2]bac24lf:12,lp:12,a:5
[3/3]caa20lf:13,ls:7,rf:13,rp:1,rs:7,lsrs:7,a:2
[3/4]aab14lf:7,lp:1,ls:6,rf:7,rp:1,rs:7,re:1,lprs:10,lsrs:5
[3/5]abc2lf:1,ls:1,rf:12,rp:12,a:2
[3/6]bca2lf:1,lp:1,rf:12,a:3

Considering [length 3 / frequency 0] aca=d.

Step 2

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