Morphocompletion for #23314 ⟨a, b | aaa=1, babb=baba⟩

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

Step 1

Checking up to 80 rules for overlaps.

Reduction order:
- Left-to-right shortlex with a < b

Rewriting system is not complete: arenaWorkLimit

#	Rule
1.	aaa ⇒ 1
2.	babb ⇒ baba
3.	babaabb ⇒ babaaba
4.	babaabaabb ⇒ babaabaaba
5.	babaabaabaabb ⇒ babaabaabaaba
6.	babaabaabaabaabb ⇒ babaabaabaabaaba
7.	babaabaabaabaabaabb ⇒ babaabaabaabaabaaba
8.	babaabaabaabaabaabaabb ⇒ babaabaabaabaabaabaaba
9.	babaabaabaabaabaabaabaabb ⇒ babaabaabaabaabaabaabaaba
10.	babaabaabaabaabaabaabaabaabb ⇒ babaabaabaabaabaabaabaabaaba
11.	babaabaabaabaabaabaabaabaabaabb ⇒ babaabaabaabaabaabaabaabaabaaba
12.	babaabaabaabaabaabaabaabaabaabaabb ⇒ babaabaabaabaabaabaabaabaabaabaaba
13.	babaabaabaabaabaabaabaabaabaabaabaabb ⇒ babaabaabaabaabaabaabaabaabaabaabaaba
14.	babaabaabaabaabaabaabaabaabaabaabaabaabb ⇒ babaabaabaabaabaabaabaabaabaabaabaabaaba
15.	babaabaabaabaabaabaabaabaabaabaabaabaabaabb ⇒ babaabaabaabaabaabaabaabaabaabaabaabaabaaba
16.	babaabaabaabaabaabaabaabaabaabaabaabaabaabaabb ⇒ babaabaabaabaabaabaabaabaabaabaabaabaabaabaaba
17.	babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabb ⇒ babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaaba
18.	babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabb ⇒ babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaaba
19.	babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabb ⇒ babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaaba
20.	babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabb ⇒ babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaaba
21.	babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabb ⇒ babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaaba
22.	babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabb ⇒ babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaaba
23.	babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabb ⇒ babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaaba
24.	babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabb ⇒ babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaaba
25.	babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabb ⇒ babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaaba
26.	babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabb ⇒ babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaaba
27.	babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabb ⇒ babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaaba
28.	babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabb ⇒ babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaaba
29.	babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabb ⇒ babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaaba
30.	babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabb ⇒ babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaaba
31.	babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabb ⇒ babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaaba
32.	babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabb ⇒ babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaaba
33.	babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabb ⇒ babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaaba
34.	babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabb ⇒ babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaaba
35.	babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabb ⇒ babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaaba
36.	babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabb ⇒ babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaaba
37.	babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabb ⇒ babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaaba
38.	babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabb ⇒ babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaaba
39.	babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabb ⇒ babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaaba
40.	babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabb ⇒ babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaaba
41.	babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabb ⇒ babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaaba
42.	babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabb ⇒ babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaaba
43.	babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabb ⇒ babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaaba
44.	babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabb ⇒ babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaaba
45.	babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabb ⇒ babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaaba
46.	babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabb ⇒ babaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaabaaba
	...

Collecting factors up to length 14, frequency 2:

Length 2:	[2/0] ba, [2/1] ab
Length 3:	[3/0] aba, [3/1] baa
Length 4:	[4/0] aaba, [4/1] baab
Length 5:	[5/0] baaba, [5/1] abaab
Length 6:	[6/0] abaaba, [6/1] baabaa
Length 7:	[7/0] aabaaba, [7/1] baabaab
Length 8:	[8/0] baabaaba, [8/1] abaabaab
Length 9:	[9/0] abaabaaba, [9/1] baabaabaa
Length 10:	[10/0] aabaabaaba, [10/1] baabaabaab
Length 11:	[11/0] baabaabaaba, [11/1] abaabaabaab
Length 12:	[12/0] abaabaabaaba, [12/1] baabaabaabaa
Length 13:	[13/0] aabaabaabaaba, [13/1] baabaabaabaab

Considering [length 2 / frequency 0] ba=c.

Step 2

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

Rewriting system is complete. See ⟨a, b | aaa=1, babb=baba⟩.