Morphocompletion for #27144 ⟨a, b | aa=1, abbabba=bb⟩

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

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

Step 1

Checking up to 80 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. bbbbbb ⇒ bb
2. bbabbbb ⇒ bba
3. bbbba ⇒ abbbb
4. aa ⇒ 1
5. abba ⇒ bbabb
6. bbababbbb ⇒ bbaba
7. bbabababbbb ⇒ bbababa
8. bbababababbbb ⇒ bbabababa
9. bbabababababbbb ⇒ bbababababa
10. bbababababababbbb ⇒ bbabababababa
11. bbabababababababbbb ⇒ bbababababababa
12. bbababababababababbbb ⇒ bbabababababababa
13. bbabababababababababbbb ⇒ bbababababababababa
14. bbababababababababababbbb ⇒ bbabababababababababa
15. bbabababababababababababbbb ⇒ bbababababababababababa
16. bbababababababababababababbbb ⇒ bbabababababababababababa
17. bbabababababababababababababbbb ⇒ bbababababababababababababa
18. bbababababababababababababababbbb ⇒ bbabababababababababababababa
19. bbabababababababababababababababbbb ⇒ bbababababababababababababababa
20. bbababababababababababababababababbbb ⇒ bbabababababababababababababababa
21. bbabababababababababababababababababbbb ⇒ bbababababababababababababababababa
22. bbababababababababababababababababababbbb ⇒ bbabababababababababababababababababa
23. bbabababababababababababababababababababbbb ⇒ bbababababababababababababababababababa
24. bbababababababababababababababababababababbbb ⇒ bbabababababababababababababababababababa
25. bbabababababababababababababababababababababbbb ⇒ bbababababababababababababababababababababa
26. bbababababababababababababababababababababababbbb ⇒ bbabababababababababababababababababababababa
27. bbabababababababababababababababababababababababbbb ⇒ bbababababababababababababababababababababababa
28. bbababababababababababababababababababababababababbbb ⇒ bbabababababababababababababababababababababababa
29. bbabababababababababababababababababababababababababbbb ⇒ bbababababababababababababababababababababababababa
30. bbababababababababababababababababababababababababababbbb ⇒ bbabababababababababababababababababababababababababa
31. bbabababababababababababababababababababababababababababbbb ⇒ bbababababababababababababababababababababababababababa
32. bbababababababababababababababababababababababababababababbbb ⇒ bbabababababababababababababababababababababababababababa
33. bbabababababababababababababababababababababababababababababbbb ⇒ bbababababababababababababababababababababababababababababa
34. bbababababababababababababababababababababababababababababababbbb ⇒ bbabababababababababababababababababababababababababababababa
35. bbabababababababababababababababababababababababababababababababbbb ⇒ bbababababababababababababababababababababababababababababababa
36. bbababababababababababababababababababababababababababababababababbbb ⇒ bbabababababababababababababababababababababababababababababababa
37. bbabababababababababababababababababababababababababababababababababbbb ⇒ bbababababababababababababababababababababababababababababababababa
38. bbababababababababababababababababababababababababababababababababababbbb ⇒ bbabababababababababababababababababababababababababababababababababa
39. bbabababababababababababababababababababababababababababababababababababbbb ⇒ bbababababababababababababababababababababababababababababababababababa
40. bbababababababababababababababababababababababababababababababababababababbbb ⇒ bbabababababababababababababababababababababababababababababababababababa
41. bbabababababababababababababababababababababababababababababababababababababbbb ⇒ bbababababababababababababababababababababababababababababababababababababa
42. bbababababababababababababababababababababababababababababababababababababababbbb ⇒ bbabababababababababababababababababababababababababababababababababababababa
43. bbabababababababababababababababababababababababababababababababababababababababbbb ⇒ bbababababababababababababababababababababababababababababababababababababababa
44. bbababababababababababababababababababababababababababababababababababababababababbbb ⇒ bbabababababababababababababababababababababababababababababababababababababababa
45. bbabababababababababababababababababababababababababababababababababababababababababbbb ⇒ bbababababababababababababababababababababababababababababababababababababababababa
46. bbababababababababababababababababababababababababababababababababababababababababababbbb ⇒ bbabababababababababababababababababababababababababababababababababababababababababa
47. bbabababababababababababababababababababababababababababababababababababababababababababbbb ⇒ bbababababababababababababababababababababababababababababababababababababababababababa
48. bbababababababababababababababababababababababababababababababababababababababababababababbbb ⇒ bbabababababababababababababababababababababababababababababababababababababababababababa
49. bbabababababababababababababababababababababababababababababababababababababababababababababbbb ⇒ bbababababababababababababababababababababababababababababababababababababababababababababa
50. bbababababababababababababababababababababababababababababababababababababababababababababababbbb ⇒ bbabababababababababababababababababababababababababababababababababababababababababababababa
51. bbabababababababababababababababababababababababababababababababababababababababababababababababbbb ⇒ bbababababababababababababababababababababababababababababababababababababababababababababababa
52. bbababababababababababababababababababababababababababababababababababababababababababababababababbbb ⇒ bbabababababababababababababababababababababababababababababababababababababababababababababababa
53. bbabababababababababababababababababababababababababababababababababababababababababababababababababbbb ⇒ bbababababababababababababababababababababababababababababababababababababababababababababababababa
54. bbababababababababababababababababababababababababababababababababababababababababababababababababababbbb ⇒ bbabababababababababababababababababababababababababababababababababababababababababababababababababa
55. bbabababababababababababababababababababababababababababababababababababababababababababababababababababbbb ⇒ bbababababababababababababababababababababababababababababababababababababababababababababababababababa
56. bbababababababababababababababababababababababababababababababababababababababababababababababababababababbbb ⇒ bbabababababababababababababababababababababababababababababababababababababababababababababababababababa
57. bbabababababababababababababababababababababababababababababababababababababababababababababababababababababbbb ⇒ bbababababababababababababababababababababababababababababababababababababababababababababababababababababa
58. bbababababababababababababababababababababababababababababababababababababababababababababababababababababababbbb ⇒ bbabababababababababababababababababababababababababababababababababababababababababababababababababababababa
59. bbabababababababababababababababababababababababababababababababababababababababababababababababababababababababbbb ⇒ bbababababababababababababababababababababababababababababababababababababababababababababababababababababababa
60. bbababababababababababababababababababababababababababababababababababababababababababababababababababababababababbbb ⇒ bbabababababababababababababababababababababababababababababababababababababababababababababababababababababababa
61. bbabababababababababababababababababababababababababababababababababababababababababababababababababababababababababbbb ⇒ bbababababababababababababababababababababababababababababababababababababababababababababababababababababababababa
62. bbababababababababababababababababababababababababababababababababababababababababababababababababababababababababababbbb ⇒ bbabababababababababababababababababababababababababababababababababababababababababababababababababababababababababa
63. bbabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababbbb ⇒ bbababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa
64. bbababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababbbb ⇒ bbabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa
65. bbabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababbbb ⇒ bbababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa
66. bbababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababbbb ⇒ bbabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa
67. bbabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababbbb ⇒ bbababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa
68. bbababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababbbb ⇒ bbabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa
69. bbabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababbbb ⇒ bbababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa
70. bbababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababbbb ⇒ bbabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa
71. bbabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababbbb ⇒ bbababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa
72. bbababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababbbb ⇒ bbabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa
73. bbabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababbbb ⇒ bbababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa
74. bbababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababbbb ⇒ bbabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa
75. bbabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababbbb ⇒ bbababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa
76. bbababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababbbb ⇒ bbabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa
77. bbabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababbbb ⇒ bbababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa
78. bbababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababbbb ⇒ bbabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa
...

Collecting factors up to length 14, frequency 2:

Length 2:[2/0] bb, [2/1] ba
Length 3:[3/0] aba, [3/1] bab
Length 4:[4/0] bbbb, [4/1] baba
Length 5:[5/0] ababa, [5/1] babab
Length 6:[6/0] bababa, [6/1] ababab
Length 7:[7/0] abababa, [7/1] bababab
Length 8:[8/0] babababa, [8/1] abababab
Length 9:[9/0] ababababa, [9/1] babababab
Length 10:[10/0] bababababa, [10/1] ababababab
Length 11:[11/0] abababababa, [11/1] bababababab
Length 12:[12/0] babababababa, [12/1] abababababab
Length 13:[13/0] ababababababa, [13/1] babababababab

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

Step 2

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