Morphocompletion for #10016 ⟨a, b | aa=1, abbabb=bb⟩

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

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

Step 1

Checking up to 80 rules for overlaps.

Rewriting system is not complete: arenaWorkLimit

#Rule
1. bbbb ⇒ bb
2. bbabb ⇒ abb
3. aa ⇒ 1
4. bbababb ⇒ ababb
5. bbabababb ⇒ abababb
6. bbababababb ⇒ ababababb
7. bbabababababb ⇒ abababababb
8. bbababababababb ⇒ ababababababb
9. bbabababababababb ⇒ abababababababb
10. bbababababababababb ⇒ ababababababababb
11. bbabababababababababb ⇒ abababababababababb
12. bbababababababababababb ⇒ ababababababababababb
13. bbabababababababababababb ⇒ abababababababababababb
14. bbababababababababababababb ⇒ ababababababababababababb
15. bbabababababababababababababb ⇒ abababababababababababababb
16. bbababababababababababababababb ⇒ ababababababababababababababb
17. bbabababababababababababababababb ⇒ abababababababababababababababb
18. bbababababababababababababababababb ⇒ ababababababababababababababababb
19. bbabababababababababababababababababb ⇒ abababababababababababababababababb
20. bbababababababababababababababababababb ⇒ ababababababababababababababababababb
21. bbabababababababababababababababababababb ⇒ abababababababababababababababababababb
22. bbababababababababababababababababababababb ⇒ ababababababababababababababababababababb
23. bbabababababababababababababababababababababb ⇒ abababababababababababababababababababababb
24. bbababababababababababababababababababababababb ⇒ ababababababababababababababababababababababb
25. bbabababababababababababababababababababababababb ⇒ abababababababababababababababababababababababb
26. bbababababababababababababababababababababababababb ⇒ ababababababababababababababababababababababababb
27. bbabababababababababababababababababababababababababb ⇒ abababababababababababababababababababababababababb
28. bbababababababababababababababababababababababababababb ⇒ ababababababababababababababababababababababababababb
29. bbabababababababababababababababababababababababababababb ⇒ abababababababababababababababababababababababababababb
30. bbababababababababababababababababababababababababababababb ⇒ ababababababababababababababababababababababababababababb
31. bbabababababababababababababababababababababababababababababb ⇒ abababababababababababababababababababababababababababababb
32. bbababababababababababababababababababababababababababababababb ⇒ ababababababababababababababababababababababababababababababb
33. bbabababababababababababababababababababababababababababababababb ⇒ abababababababababababababababababababababababababababababababb
34. bbababababababababababababababababababababababababababababababababb ⇒ ababababababababababababababababababababababababababababababababb
35. bbabababababababababababababababababababababababababababababababababb ⇒ abababababababababababababababababababababababababababababababababb
36. bbababababababababababababababababababababababababababababababababababb ⇒ ababababababababababababababababababababababababababababababababababb
37. bbabababababababababababababababababababababababababababababababababababb ⇒ abababababababababababababababababababababababababababababababababababb
38. bbababababababababababababababababababababababababababababababababababababb ⇒ ababababababababababababababababababababababababababababababababababababb
39. bbabababababababababababababababababababababababababababababababababababababb ⇒ abababababababababababababababababababababababababababababababababababababb
40. bbababababababababababababababababababababababababababababababababababababababb ⇒ ababababababababababababababababababababababababababababababababababababababb
41. bbabababababababababababababababababababababababababababababababababababababababb ⇒ abababababababababababababababababababababababababababababababababababababababb
42. bbababababababababababababababababababababababababababababababababababababababababb ⇒ ababababababababababababababababababababababababababababababababababababababababb
...

Collecting factors up to length 14 / frequency 2:

[2/0]bb42249lf:83,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 3 / frequency 0] bab=c.

Step 2

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