Morphocompletion for #6258 ⟨a, b, c | aa=1, bbccbb=1⟩

Solved by morph:2/1. (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.	ccb ⇒ bcc
3.	cbbbb ⇒ bbbbc
4.	bbbbcc ⇒ 1
5.	bbbbcbcc ⇒ cb
6.	bbbbcbbcc ⇒ cbb
7.	bbbbcbbbcc ⇒ cbbb
8.	bbbbcbcbcc ⇒ cbcb
9.	bbbbcbcccc ⇒ cbcc
10.	bbbbcbbcbcc ⇒ cbbcb
11.	bbbbcbbcccc ⇒ cbbcc
12.	bbbbcbcbbcc ⇒ cbcbb
13.	bbbbcbbbcbcc ⇒ cbbbcb
14.	bbbbcbbbcccc ⇒ cbbbcc
15.	bbbbcbbcbbcc ⇒ cbbcbb
	...

Collecting factors up to length 4 / frequency 7:

[2/0]	bb	64	`lf:51,lp:12,ls:1,rf:15,rp:1,rs:4,lsrp:1,lprs:4,a:6`
[2/1]	cc	32	`lf:19,lp:1,ls:12,rf:4,rs:4,lprs:10,lsrs:3,a:5`
[2/2]	bc	28	`lf:28,rf:10,rp:1,rs:1,a:5`
[2/3]	cb	20	`lf:18,lp:1,ls:1,rf:16,rp:11,rs:4,re:1,a:5`
[3/0]	bbb	42	`lf:29,lp:12,ls:1,rf:5,rp:1,rs:1,lsrp:1,lprs:1,a:6`
[3/1]	bcc	21	`lf:12,ls:9,rf:4,rp:1,rs:4,re:1,a:5`
[3/2]	bbc	21	`lf:21,rf:6,rs:1,a:6`
[3/3]	bcb	16	`lf:16,rf:5,rs:3,a:6`
[3/4]	cbb	11	`lf:10,lp:1,rf:9,rp:7,rs:3,re:1,a:7`
[3/5]	ccc	9	`lf:6,ls:3,a:6`
[3/6]	cbc	7	`lf:7,rf:3,rp:3,a:6`

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

Step 2

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

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