Morphocompletion for #27156 ⟨a, b | aa=1, abbbabb=bb⟩

Back:⟨a, b | aa=1, abbbabb=bb⟩

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

Step 1

Checking up to 80 rules for overlaps.

Rewriting system is not complete: arenaWorkLimit

#Rule
1. aa ⇒ 1
2. bbbbb ⇒ bb
3. bbbabb ⇒ abb
4. bbbababb ⇒ ababb
5. bbbabababb ⇒ abababb
6. bbbababababb ⇒ ababababb
7. bbbabababababb ⇒ abababababb
8. bbbababababababb ⇒ ababababababb
9. bbbabababababababb ⇒ abababababababb
10. bbbababababababababb ⇒ ababababababababb
11. bbbabababababababababb ⇒ abababababababababb
12. bbbababababababababababb ⇒ ababababababababababb
13. bbbabababababababababababb ⇒ abababababababababababb
14. bbbababababababababababababb ⇒ ababababababababababababb
15. bbbabababababababababababababb ⇒ abababababababababababababb
16. bbbababababababababababababababb ⇒ ababababababababababababababb
17. bbbabababababababababababababababb ⇒ abababababababababababababababb
18. bbbababababababababababababababababb ⇒ ababababababababababababababababb
19. bbbabababababababababababababababababb ⇒ abababababababababababababababababb
20. bbbababababababababababababababababababb ⇒ ababababababababababababababababababb
21. bbbabababababababababababababababababababb ⇒ abababababababababababababababababababb
22. bbbababababababababababababababababababababb ⇒ ababababababababababababababababababababb
23. bbbabababababababababababababababababababababb ⇒ abababababababababababababababababababababb
24. bbbababababababababababababababababababababababb ⇒ ababababababababababababababababababababababb
25. bbbabababababababababababababababababababababababb ⇒ abababababababababababababababababababababababb
26. bbbababababababababababababababababababababababababb ⇒ ababababababababababababababababababababababababb
27. bbbabababababababababababababababababababababababababb ⇒ abababababababababababababababababababababababababb
28. bbbababababababababababababababababababababababababababb ⇒ ababababababababababababababababababababababababababb
29. bbbabababababababababababababababababababababababababababb ⇒ abababababababababababababababababababababababababababb
30. bbbababababababababababababababababababababababababababababb ⇒ ababababababababababababababababababababababababababababb
31. bbbabababababababababababababababababababababababababababababb ⇒ abababababababababababababababababababababababababababababb
32. bbbababababababababababababababababababababababababababababababb ⇒ ababababababababababababababababababababababababababababababb
33. bbbabababababababababababababababababababababababababababababababb ⇒ abababababababababababababababababababababababababababababababb
34. bbbababababababababababababababababababababababababababababababababb ⇒ ababababababababababababababababababababababababababababababababb
35. bbbabababababababababababababababababababababababababababababababababb ⇒ abababababababababababababababababababababababababababababababababb
36. bbbababababababababababababababababababababababababababababababababababb ⇒ ababababababababababababababababababababababababababababababababababb
37. bbbabababababababababababababababababababababababababababababababababababb ⇒ abababababababababababababababababababababababababababababababababababb
38. bbbababababababababababababababababababababababababababababababababababababb ⇒ ababababababababababababababababababababababababababababababababababababb
39. bbbabababababababababababababababababababababababababababababababababababababb ⇒ abababababababababababababababababababababababababababababababababababababb
40. bbbababababababababababababababababababababababababababababababababababababababb ⇒ ababababababababababababababababababababababababababababababababababababababb
41. bbbabababababababababababababababababababababababababababababababababababababababb ⇒ abababababababababababababababababababababababababababababababababababababababb
42. bbbababababababababababababababababababababababababababababababababababababababababb ⇒ ababababababababababababababababababababababababababababababababababababababababb
...

Collecting factors up to length 14 / frequency 2:

[2/0]bb42290lf:124,lp:41,ls:41,rf:41,rp:1,rs:41,re:1,lprp:1,lsrp:1,lprs:41,lsrs:41,a:2
[2/1]ab1680lf:820,rf:820,rp:40,a:2
[3/0]bab1600lf:820,rf:780,a:2
[3/1]aba1599lf:780,rf:780,rp:39,a:6
[4/0]abab1599lf:780,rf:780,rp:39,a:6
[4/1]baba1521lf:780,rf:741,a:6
[5/0]babab1521lf:780,rf:741,a:6
[5/1]ababa1520lf:741,rf:741,rp:38,a:8
[6/0]ababab1520lf:741,rf:741,rp:38,a:8
[6/1]bababa1444lf:741,rf:703,a:8
[7/0]bababab1444lf:741,rf:703,a:8
[7/1]abababa1443lf:703,rf:703,rp:37,a:9
[8/0]abababab1443lf:703,rf:703,rp:37,a:9
[8/1]babababa1369lf:703,rf:666,a:9
[9/0]babababab1369lf:703,rf:666,a:9
[9/1]ababababa1368lf:666,rf:666,rp:36,a:10
[10/0]ababababab1368lf:666,rf:666,rp:36,a:10
[10/1]bababababa1296lf:666,rf:630,a:10
[11/0]bababababab1296lf:666,rf:630,a:10
[11/1]abababababa1295lf:630,rf:630,rp:35,a:11
[12/0]abababababab1295lf:630,rf:630,rp:35,a:11
[12/1]babababababa1225lf:630,rf:595,a:11
[13/0]babababababab1225lf:630,rf:595,a:11
[13/1]ababababababa1224lf:595,rf:595,rp:34,a:12

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

Step 2

Rewriting system is complete. See ⟨a, b | aa=1, abbbabb=bb⟩.