Morphocompletion for #2174 ⟨a, b, c | aabb=1, acca=1⟩

Solved by morph:2/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.	cc ⇒ bb
2.	baa ⇒ aab
3.	bba ⇒ abb
4.	caa ⇒ aac
5.	cbb ⇒ bbc
6.	aabb ⇒ 1
7.	baac ⇒ aabc
8.	cabb ⇒ bbca
9.	baabc ⇒ c
10.	cbabb ⇒ bbcba
11.	aababb ⇒ ba
12.	cababb ⇒ bbcaba
13.	cbababb ⇒ bbcbaba
14.	aabababb ⇒ baba
15.	cabababb ⇒ bbcababa
16.	aababababb ⇒ bababa
	...

Collecting factors up to length 4 / frequency 7:

[2/0]	bb	22	`lf:11,lp:1,ls:10,rf:8,rp:7,rs:2,re:1,lsrp:15,lprs:10`
[2/1]	ba	20	`lf:16,lp:3,ls:1,rf:12,rp:3,rs:7,re:1,a:8`
[2/2]	ab	20	`lf:20,rf:10,rp:1,rs:1`
[2/3]	aa	14	`lf:8,lp:4,ls:2,rf:3,rp:3,lsrp:20`
[2/4]	ca	8	`lf:4,lp:4,rf:3,rs:1,lprs:1,a:10`
[2/5]	cb	6	`lf:3,lp:3,rf:2,a:7`
[2/6]	bc	2	`lf:1,ls:1,rf:7,rs:2,a:7`
[3/0]	abb	18	`lf:9,ls:9,rf:1,rp:1,rs:1,re:1`
[3/1]	bab	12	`lf:12,rf:5,rp:2,a:9`
[3/2]	aba	10	`lf:10,rf:7,rs:5,a:9`
[3/3]	aab	9	`lf:5,lp:4,rf:2,rp:2,rs:1,re:1`
[3/4]	cab	6	`lf:3,lp:3,rf:2,a:10`
[3/5]	cba	4	`lf:2,lp:2,rf:2,rs:1,lprs:1,a:11`
[3/6]	baa	4	`lf:2,lp:2,a:15`

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

Step 2

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

Rewriting system is complete. See ⟨a, b, c | aabb=1, acca=1⟩.