Morphocompletion for #28258 ⟨a, b | aa=1, babab=babb⟩

Back:⟨a, b | aa=1, babab=babb⟩

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

Step 1

Checking up to 80 rules for overlaps.

Rewriting system is not complete: arenaWorkLimit

#Rule
1. aa ⇒ 1
2. babab ⇒ babb
3. babbab ⇒ babbb
4. babbbab ⇒ babbbb
5. babbbbab ⇒ babbbbb
6. babbbbbab ⇒ babbbbbb
7. babbbbbbab ⇒ babbbbbbb
8. babbbbbbbab ⇒ babbbbbbbb
9. babbbbbbbbab ⇒ babbbbbbbbb
10. babbbbbbbbbab ⇒ babbbbbbbbbb
11. babbbbbbbbbbab ⇒ babbbbbbbbbbb
12. babbbbbbbbbbbab ⇒ babbbbbbbbbbbb
13. babbbbbbbbbbbbab ⇒ babbbbbbbbbbbbb
14. babbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbb
15. babbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbb
16. babbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbb
17. babbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbb
18. babbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbb
19. babbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbb
20. babbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbb
21. babbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbb
22. babbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbb
23. babbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbb
24. babbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbb
25. babbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbb
26. babbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbb
27. babbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbb
28. babbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbb
29. babbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbb
30. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
31. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
32. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
33. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
34. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
35. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
36. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
37. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
38. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
39. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
40. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
41. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
42. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
43. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
44. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
45. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
46. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
47. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
48. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
49. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
50. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
51. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
52. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
53. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
54. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
55. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
56. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
57. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
58. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
59. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
60. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
61. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
62. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
63. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
64. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
65. babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
...

Collecting factors up to length 14 / frequency 2:

[2/0]bb4160lf:2016,rf:2080,rs:64,a:1
[2/1]ba320lf:128,lp:64,rf:64,rp:64,lprp:64,a:1
[3/0]bab64384lf:128,lp:64,ls:64,rf:64,rp:64,lprp:64,lsrp:64,a:1
[3/1]bbb4032lf:1953,rf:2016,rs:63,a:2
[4/0]bbbb3906lf:1891,rf:1953,rs:62,a:3
[4/1]babb256lf:63,lp:63,rf:64,rp:64,rs:1,re:1,lprp:63,a:1
[5/0]bbbbb3782lf:1830,rf:1891,rs:61,a:4
[5/1]babbb252lf:62,lp:62,rf:63,rp:63,rs:1,re:1,lprp:62,a:2
[6/0]bbbbbb3660lf:1770,rf:1830,rs:60,a:5
[6/1]babbbb248lf:61,lp:61,rf:62,rp:62,rs:1,re:1,lprp:61,a:3
[7/0]bbbbbbb3540lf:1711,rf:1770,rs:59,a:6
[7/1]babbbbb244lf:60,lp:60,rf:61,rp:61,rs:1,re:1,lprp:60,a:4
[8/0]bbbbbbbb3422lf:1653,rf:1711,rs:58,a:7
[8/1]babbbbbb240lf:59,lp:59,rf:60,rp:60,rs:1,re:1,lprp:59,a:5
[9/0]bbbbbbbbb3306lf:1596,rf:1653,rs:57,a:8
[9/1]babbbbbbb236lf:58,lp:58,rf:59,rp:59,rs:1,re:1,lprp:58,a:6
[10/0]bbbbbbbbbb3192lf:1540,rf:1596,rs:56,a:9
[10/1]babbbbbbbb232lf:57,lp:57,rf:58,rp:58,rs:1,re:1,lprp:57,a:7
[11/0]bbbbbbbbbbb3080lf:1485,rf:1540,rs:55,a:10
[11/1]babbbbbbbbb228lf:56,lp:56,rf:57,rp:57,rs:1,re:1,lprp:56,a:8
[12/0]bbbbbbbbbbbb2970lf:1431,rf:1485,rs:54,a:11
[12/1]babbbbbbbbbb224lf:55,lp:55,rf:56,rp:56,rs:1,re:1,lprp:55,a:9
[13/0]bbbbbbbbbbbbb2862lf:1378,rf:1431,rs:53,a:12
[13/1]babbbbbbbbbbb220lf:54,lp:54,rf:55,rp:55,rs:1,re:1,lprp:54,a:10

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

Step 2

Rewriting system is complete. See ⟨a, b | aa=1, babab=babb⟩.