Morphocompletion for #22256 ⟨a, b | aaa=1, abaaba=bb⟩

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

Step 1

Checking up to 80 rules for overlaps.

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

Rewriting system is not complete: roundsLimit

#	Rule
1.	aaa ⇒ 1
2.	abaab ⇒ bbaa
3.	aabb ⇒ baaba
4.	abbaab ⇒ bbaabaa
5.	ababb ⇒ bbaba
6.	abbbaab ⇒ bbabba
7.	abbabb ⇒ bbaababa
8.	abbbbaab ⇒ bbabbabaa
9.	abbbabb ⇒ bbabbba
10.	abbbbbaab ⇒ bbabbbba
11.	abbbbabb ⇒ bbabbababa
12.	abbbbbbaab ⇒ bbabbbbabaa
13.	abbbbbabb ⇒ bbabbbbba
14.	abbbbbbbaab ⇒ bbabbbbbba
15.	abbbbbbabb ⇒ bbabbbbababa
16.	abbbbbbbbaab ⇒ bbabbbbbbabaa
17.	abbbbbbbabb ⇒ bbabbbbbbba
18.	abbbbbbbbbaab ⇒ bbabbbbbbbba
19.	abbbbbbbbabb ⇒ bbabbbbbbababa
20.	abbbbbbbbbbaab ⇒ bbabbbbbbbbabaa
21.	abbbbbbbbbabb ⇒ bbabbbbbbbbba
22.	abbbbbbbbbbbaab ⇒ bbabbbbbbbbbba
23.	abbbbbbbbbbabb ⇒ bbabbbbbbbbababa
24.	abbbbbbbbbbbbaab ⇒ bbabbbbbbbbbbabaa
25.	abbbbbbbbbbbabb ⇒ bbabbbbbbbbbbba
26.	abbbbbbbbbbbbbaab ⇒ bbabbbbbbbbbbbba
27.	abbbbbbbbbbbbabb ⇒ bbabbbbbbbbbbababa
28.	abbbbbbbbbbbbbbaab ⇒ bbabbbbbbbbbbbbabaa
29.	abbbbbbbbbbbbbabb ⇒ bbabbbbbbbbbbbbba
30.	abbbbbbbbbbbbbbbaab ⇒ bbabbbbbbbbbbbbbba
31.	abbbbbbbbbbbbbbabb ⇒ bbabbbbbbbbbbbbababa
32.	abbbbbbbbbbbbbbbbaab ⇒ bbabbbbbbbbbbbbbbabaa
33.	abbbbbbbbbbbbbbbabb ⇒ bbabbbbbbbbbbbbbbba
34.	abbbbbbbbbbbbbbbbbaab ⇒ bbabbbbbbbbbbbbbbbba
35.	abbbbbbbbbbbbbbbbabb ⇒ bbabbbbbbbbbbbbbbababa
36.	abbbbbbbbbbbbbbbbbbaab ⇒ bbabbbbbbbbbbbbbbbbabaa
37.	abbbbbbbbbbbbbbbbbabb ⇒ bbabbbbbbbbbbbbbbbbba
38.	abbbbbbbbbbbbbbbbbbbaab ⇒ bbabbbbbbbbbbbbbbbbbba
39.	abbbbbbbbbbbbbbbbbbbaaba ⇒ bbabbbbbbbbbbbbbbbbbbaa
40.	abbbbbbbbbbbbbbbbbbabb ⇒ bbabbbbbbbbbbbbbbbbababa
41.	abbbbbbbbbbbbbbbbbbabba ⇒ bbabbbbbbbbbbbbbbbbababaa
42.	abbbbbbbbbbbbbbbbbbbbaab ⇒ bbabbbbbbbbbbbbbbbbbbabaa
43.	abbbbbbbbbbbbbbbbbbbbaaba ⇒ bbabbbbbbbbbbbbbbbbbbab
44.	abbbbbbbbbbbbbbbbbbbabb ⇒ bbabbbbbbbbbbbbbbbbbbba
45.	abbbbbbbbbbbbbbbbbbbabba ⇒ bbabbbbbbbbbbbbbbbbbbbaa
46.	abbbbbbbbbbbbbbbbbbbbbaab ⇒ bbabbbbbbbbbbbbbbbbbbbba
47.	abbbbbbbbbbbbbbbbbbbbbaaba ⇒ bbabbbbbbbbbbbbbbbbbbbbaa
	...

Collecting factors up to length 14 / frequency 2:

[2/0]	bb	20026	`lf:495,ls:20,rf:466,rp:45,lsrp:19,a:2`
[2/1]	ab	1232	`lf:91,lp:45,ls:21,rf:74,rs:1,lprs:1,a:2`
[3/0]	bba	2197	`lf:45,ls:2,rf:86,rp:45,rs:19,lsrp:2,a:3`
[3/1]	aba	1053	`lf:5,lp:2,ls:3,rf:32,rs:11,lprs:1,a:2`
[4/0]	bbbb	731	`lf:389,rf:342,a:15`
[4/1]	bbab	124	`lf:20,rf:61,rp:42,rs:1,a:4`
[5/0]	bbabb	17120	`lf:20,ls:18,rf:41,rp:41,lsrp:17,a:7`
[5/1]	bbaab	1047	`lf:23,ls:20,rf:2,rp:2,lsrp:1,a:6`
[6/0]	bbbbbb	584	`lf:313,rf:271,a:36`
[6/1]	abbbbb	108	`lf:37,lp:37,rf:34,a:28`
[7/0]	abbbbba	1006	`lf:2,lp:2,rf:1,rs:1,lprs:1,a:28`
[7/1]	bbbbbbb	516	`lf:278,rf:238,a:50`
[8/0]	bbbbbbbb	453	`lf:245,rf:208,a:60`
[8/1]	abbbbbbb	96	`lf:33,lp:33,rf:30,a:50`
[9/0]	abbbbbbba	1006	`lf:2,lp:2,rf:1,rs:1,lprs:1,a:50`
[9/1]	bbbbbbbbb	393	`lf:214,rf:179,a:77`
[10/0]	bbbbbbbbbb	338	`lf:185,rf:153,a:89`
[10/1]	abbbbbbbbb	84	`lf:29,lp:29,rf:26,a:77`
[11/0]	abbbbbbbbba	1006	`lf:2,lp:2,rf:1,rs:1,lprs:1,a:77`
[11/1]	bbbbbbbbbbb	286	`lf:158,rf:128,a:108`
[12/0]	bbbbbbbbbbbb	239	`lf:133,rf:106,a:122`
[12/1]	abbbbbbbbbbb	72	`lf:25,lp:25,rf:22,a:108`
[13/0]	abbbbbbbbbbba	1006	`lf:2,lp:2,rf:1,rs:1,lprs:1,a:108`
[13/1]	bbbbbbbbbbbbb	195	`lf:110,rf:85,a:143`

Considering [length 3 / frequency 0] bba=c.

Step 2

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

Rewriting system is complete. See ⟨a, b | aaa=1, abaaba=bb⟩.