Morphocompletion for #2453 ⟨a, b, c | aab=b, caac=1⟩

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

Step 1

Checking up to 20 rules for overlaps.

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

Rewriting system is not complete: roundsLimit

#	Rule
1.	ccb ⇒ b
2.	acc ⇒ cca
3.	aac ⇒ caa
4.	aab ⇒ b
5.	ccaa ⇒ 1
6.	ccab ⇒ ab
7.	ccacb ⇒ acb
8.	ccacaa ⇒ ac
9.	ccacab ⇒ acab
10.	ccacacb ⇒ acacb
11.	ccacacaa ⇒ acac
12.	ccacacab ⇒ acacab
	...

Collecting factors up to length 4 / frequency 7:

[2/0]	cc	20	`lf:10,lp:9,ls:1,rf:1,rp:1,lsrp:10,a:3`
[2/1]	ca	15	`lf:15,rf:7,rp:1,rs:1,a:2`
[2/2]	ac	13	`lf:11,lp:1,ls:1,rf:9,rp:6,rs:2,re:1,a:2`
[2/3]	aa	10	`lf:5,lp:2,ls:3,rf:1,rs:1,lprs:10`
[2/4]	ab	8	`lf:4,ls:4,rf:3,rp:1,rs:3,re:1,lsrp:1,lsrs:3`
[2/5]	cb	6	`lf:3,ls:3,rf:2,rs:2,lsrs:2,a:4`
[3/0]	cca	16	`lf:8,lp:8,rf:1,rp:1,rs:1,re:1,a:3`
[3/1]	cac	9	`lf:9,rf:3,rs:1,a:6`
[3/2]	aca	7	`lf:7,rf:5,rp:4,a:6`
[3/3]	cab	6	`lf:3,ls:3,rf:2,rs:2,lsrs:2,a:5`
[3/4]	caa	6	`lf:3,ls:3,rf:1,rp:1,rs:1,re:1,a:2`
[3/5]	acb	4	`lf:2,ls:2,rf:2,rp:1,rs:2,re:1,lsrp:1,lsrs:2,a:7`

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

Step 2

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

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