Morphocompletion for #6260 ⟨a, b, c | aa=1, bbcccb=1⟩

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

Step 1

Checking up to 20 rules for overlaps.

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

Rewriting system is not complete: roundsLimit

#	Rule
1.	aa ⇒ 1
2.	cbbb ⇒ bbbc
3.	cccb ⇒ bccc
4.	bbbccc ⇒ 1
5.	bbbcbccc ⇒ cb
6.	bbbcbbccc ⇒ cbb
7.	bbbccbccc ⇒ ccb
8.	bbbcbcbccc ⇒ cbcb
9.	bbbccbbccc ⇒ ccbb
10.	bbbcbbcbccc ⇒ cbbcb
11.	bbbcbcbbccc ⇒ cbcbb
12.	bbbcbccbccc ⇒ cbccb
	...

Collecting factors up to length 4 / frequency 7:

[2/0]	bb	34	`lf:24,lp:9,ls:1,rf:6,rp:1,rs:3,lsrp:1,lprs:3,a:4`
[2/1]	cc	33	`lf:23,lp:1,ls:9,rf:5,rp:2,rs:1,lsrp:2,lprs:1,a:3`
[2/2]	bc	21	`lf:21,rf:6,rp:1,rs:1,a:3`
[2/3]	cb	16	`lf:14,lp:1,ls:1,rf:12,rp:6,rs:5,re:1,a:3`
[3/0]	ccc	20	`lf:10,lp:1,ls:9,rf:1,rs:1,lprs:10,a:3`
[3/1]	bbb	20	`lf:10,lp:9,ls:1,rf:1,rp:1,lsrp:10,a:4`
[3/2]	bbc	13	`lf:13,rf:2,rs:1,a:4`
[3/3]	bcc	12	`lf:12,rf:2,rp:1,a:3`
[3/4]	bcb	9	`lf:9,rf:3,rs:2,a:5`
[3/5]	cbc	8	`lf:8,rf:3,rp:3,a:5`
[3/6]	cbb	6	`lf:5,lp:1,rf:4,rp:2,rs:3,re:1,a:7`

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

Step 2

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

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