Morphocompletion for #7557 ⟨a, b, c | ab=1, bcbc=cb⟩

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

Step 1

Checking up to 20 rules for overlaps.

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

Rewriting system is not complete: pendingRulesLimit

Collecting factors up to length 4 / frequency 7:

[2/0]	cb	33	`lf:21,lp:3,ls:9,rf:18,rp:5,rs:11,re:1,lsrp:12,lprs:3,lsrs:6,a:1`
[2/1]	cc	27	`lf:23,lp:2,ls:2,rf:22,rp:5,rs:1,a:3`
[2/2]	bc	23	`lf:15,lp:3,ls:5,rf:6,rp:1,rs:3,lprs:2,a:1`
[2/3]	ac	12	`lf:9,lp:3,rf:6,rp:5,a:2`
[2/4]	ba	10	`lf:5,lp:5,a:8`
[2/5]	bb	10	`lf:8,lp:1,ls:1,rf:7,rs:2,a:3`
[2/6]	aa	2	`lf:2,rf:1,rp:1,a:14`
[3/0]	ccb	24	`lf:14,lp:2,ls:8,rf:13,rp:2,rs:10,re:1,lsrp:1,lprs:1,lsrs:6,a:3`
[3/1]	cbc	11	`lf:6,lp:3,ls:2,rf:2,rp:2,rs:1,re:1,a:1`
[3/2]	acc	10	`lf:8,lp:2,rf:6,rp:5,a:4`
[3/3]	bcc	10	`lf:6,lp:2,ls:2,rf:3,rp:1,rs:1,lsrp:1,a:3`
[3/4]	bbc	10	`lf:6,lp:1,ls:3,rf:3,rs:2,a:3`
[3/5]	ccc	7	`lf:7,rf:8,rp:3,a:5`
[3/6]	cbb	7	`lf:6,ls:1,rf:5,rp:2,rs:2,a:3`

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

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

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