Morphocompletion for #2799 ⟨a, b, c | abc=b, ccaa=1⟩

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

Step 1

Checking up to 20 rules for overlaps.

Reduction order:
- Left-to-right shortlex with b < a < c

Rewriting system is not complete: roundsLimit

#	Rule
1.	abc ⇒ b
2.	aab ⇒ baa
3.	ccb ⇒ bcc
4.	baac ⇒ ab
5.	bcaa ⇒ ab
6.	abbc ⇒ bcab
7.	ccab ⇒ bc
8.	ccaa ⇒ 1
9.	bcbaa ⇒ abb
10.	abbbc ⇒ bcbab
11.	baaaac ⇒ abaa
12.	bcbbaa ⇒ abbb
13.	bcabaa ⇒ abab
14.	abbbbc ⇒ bcbbab
15.	bcbbbaa ⇒ abbbb
16.	bcbabaa ⇒ abbab
17.	bcabbaa ⇒ ababb
18.	abbbbbc ⇒ bcbbbab
19.	baaaaaac ⇒ abaaaa
20.	bcbbbbaa ⇒ abbbbb
	...

Collecting factors up to length 4 / frequency 7:

[2/0]	aa	29	`lf:19,lp:1,ls:9,rf:5,rs:3,lprs:10,a:1`
[2/1]	bc	26	`lf:13,lp:8,ls:5,rf:6,rp:6,rs:1,re:1,lsrp:4`
[2/2]	ab	17	`lf:10,lp:5,ls:2,rf:18,rp:11,rs:8,re:2,lprs:4`
[2/3]	bb	17	`lf:17,rf:15,rs:5,a:5`
[2/4]	ba	14	`lf:11,lp:3,rf:9,rp:1,a:4`
[2/5]	cb	7	`lf:6,ls:1,rf:3,a:7`
[2/6]	cc	6	`lf:3,lp:3,rf:1,rs:1,lprs:10,a:1`
[3/0]	baa	20	`lf:10,lp:3,ls:7,rf:3,rp:1,rs:2,re:1,lprs:1,a:4`
[3/1]	bcb	10	`lf:5,lp:5,rf:3,rp:3,a:7`
[3/2]	abb	9	`lf:5,lp:4,rf:6,rp:5,rs:2,re:1,a:5`
[3/3]	bbb	9	`lf:9,rf:7,rs:3,a:12`
[3/4]	bbc	8	`lf:4,ls:4,a:5`
[3/5]	aac	6	`lf:3,ls:3,a:9`
[3/6]	aaa	6	`lf:6,rf:2,rs:1,a:10`

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

Step 2

Auxiliary generators:
1. d = baa
Reduction order:
- Left-to-right shortlex with b < a < c < d

Rewriting system is complete. See ⟨a, b, c | abc=b, ccaa=1⟩.