Morphocompletion for #7602 ⟨a, b, c | ab=1, cbac=bc⟩

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

Step 1

Checking up to 20 rules for overlaps.

Reduction order:
- Left-to-right recursive path with deg(a) = 0; deg(c) = deg(b) = 1, c < b

Rewriting system is not complete: roundsLimit

Collecting factors up to length 4 / frequency 7:

[2/0]	cc	64	`lf:64,rf:64,rp:15,a:4`
[2/1]	bc	52	`lf:26,lp:8,ls:18,rf:19,rp:2,rs:19,re:2,lsrp:1,lprs:8,lsrs:18,a:1`
[2/2]	ac	20	`lf:10,lp:9,ls:1,a:1`
[2/3]	cb	19	`lf:18,lp:1,rf:17,rp:2,a:1`
[2/4]	bb	2	`lf:1,lp:1,a:2`
[2/5]	ba	1	`lf:1,a:1`
[3/0]	ccc	49	`lf:49,rf:49,rp:13,a:6`
[3/1]	cbc	34	`lf:17,ls:17,rf:17,rp:2,rs:17,re:2,lsrp:1,lsrs:16,a:2`
[3/2]	acc	16	`lf:8,lp:8,a:5`
[3/3]	ccb	15	`lf:15,rf:15,rp:2,a:4`
[3/4]	bcc	14	`lf:7,lp:7,a:6`
[3/5]	bcb	2	`lf:1,lp:1,a:4`
[3/6]	bac	2	`lf:1,ls:1,a:1`

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

Auxiliary generators:
1. d = bc
Reduction order:
- Left-to-right recursive path with deg(a) = deg(d) = 0, a < d; deg(c) = deg(b) = 1, c < b

Rewriting system is complete. See ⟨a, b, c | ab=1, cbac=bc⟩.