Morphocompletion for #7184 ⟨a, b, c | aa=1, abcb=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) = deg(b) = 0, a < b; deg(c) = 1

Rewriting system is not complete: roundsLimit

#	Rule
1.	aa ⇒ 1
2.	bcbb ⇒ bc
3.	abc ⇒ bcb
4.	bccbb ⇒ bcc
5.	bcccbb ⇒ bccc
6.	bccccbb ⇒ bcccc
7.	bcccccbb ⇒ bccccc
8.	bccccccbb ⇒ bcccccc
9.	bcccccccbb ⇒ bccccccc
10.	bccccccccbb ⇒ bcccccccc
11.	bcccccccccbb ⇒ bccccccccc
12.	bccccccccccbb ⇒ bcccccccccc
13.	bcccccccccccbb ⇒ bccccccccccc
14.	bccccccccccccbb ⇒ bcccccccccccc
15.	bcccccccccccccbb ⇒ bccccccccccccc
16.	bccccccccccccccbb ⇒ bcccccccccccccc
17.	bcccccccccccccccbb ⇒ bccccccccccccccc
18.	bccccccccccccccccbb ⇒ bcccccccccccccccc
19.	bcccccccccccccccccbb ⇒ bccccccccccccccccc
	...

Collecting factors up to length 4 / frequency 7:

[2/0]	cc	136	`lf:136,rf:136,rs:16,a:4`
[2/1]	bc	36	`lf:18,lp:17,ls:1,rf:18,rp:18,rs:1,re:1,lprp:17,lsrp:10,lprs:1,a:2`
[2/2]	bb	34	`lf:17,ls:17,a:3`
[2/3]	cb	17	`lf:17,rf:1,rs:1,a:2`
[2/4]	ab	2	`lf:1,lp:1,a:2`
[3/0]	ccc	120	`lf:120,rf:120,rs:15,a:5`
[3/1]	cbb	34	`lf:17,ls:17,a:3`
[3/2]	bcc	32	`lf:16,lp:16,rf:16,rp:16,rs:1,re:1,lprp:16,lprs:1,a:4`
[3/3]	ccb	16	`lf:16,a:4`
[3/4]	bcb	2	`lf:1,lp:1,rf:1,rp:1,rs:1,re:1,a:2`

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

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

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