Morphocompletion for #16056 ⟨a, b | aaa=bb, aabb=aa⟩

Back:⟨a, b | aaa=bb, aabb=aa⟩

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

Step 1

Checking up to 80 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. aaaaa ⇒ aa
2. aabaaa ⇒ aab
3. aaab ⇒ baaa
4. bb ⇒ aaa
5. aababaaa ⇒ aabab
6. aabababaaa ⇒ aababab
7. aababababaaa ⇒ aabababab
8. aabababababaaa ⇒ aababababab
9. aababababababaaa ⇒ aabababababab
10. aabababababababaaa ⇒ aababababababab
11. aababababababababaaa ⇒ aabababababababab
12. aabababababababababaaa ⇒ aababababababababab
13. aababababababababababaaa ⇒ aabababababababababab
14. aabababababababababababaaa ⇒ aababababababababababab
15. aababababababababababababaaa ⇒ aabababababababababababab
16. aabababababababababababababaaa ⇒ aababababababababababababab
17. aababababababababababababababaaa ⇒ aabababababababababababababab
18. aabababababababababababababababaaa ⇒ aababababababababababababababab
19. aababababababababababababababababaaa ⇒ aabababababababababababababababab
20. aabababababababababababababababababaaa ⇒ aababababababababababababababababab
21. aababababababababababababababababababaaa ⇒ aabababababababababababababababababab
22. aabababababababababababababababababababaaa ⇒ aababababababababababababababababababab
23. aababababababababababababababababababababaaa ⇒ aabababababababababababababababababababab
24. aabababababababababababababababababababababaaa ⇒ aababababababababababababababababababababab
25. aababababababababababababababababababababababaaa ⇒ aabababababababababababababababababababababab
26. aabababababababababababababababababababababababaaa ⇒ aababababababababababababababababababababababab
27. aababababababababababababababababababababababababaaa ⇒ aabababababababababababababababababababababababab
28. aabababababababababababababababababababababababababaaa ⇒ aababababababababababababababababababababababababab
29. aababababababababababababababababababababababababababaaa ⇒ aabababababababababababababababababababababababababab
30. aabababababababababababababababababababababababababababaaa ⇒ aababababababababababababababababababababababababababab
31. aababababababababababababababababababababababababababababaaa ⇒ aabababababababababababababababababababababababababababab
32. aabababababababababababababababababababababababababababababaaa ⇒ aababababababababababababababababababababababababababababab
33. aababababababababababababababababababababababababababababababaaa ⇒ aabababababababababababababababababababababababababababababab
34. aabababababababababababababababababababababababababababababababaaa ⇒ aababababababababababababababababababababababababababababababab
35. aababababababababababababababababababababababababababababababababaaa ⇒ aabababababababababababababababababababababababababababababababab
36. aabababababababababababababababababababababababababababababababababaaa ⇒ aababababababababababababababababababababababababababababababababab
37. aababababababababababababababababababababababababababababababababababaaa ⇒ aabababababababababababababababababababababababababababababababababab
38. aabababababababababababababababababababababababababababababababababababaaa ⇒ aababababababababababababababababababababababababababababababababababab
39. aababababababababababababababababababababababababababababababababababababaaa ⇒ aabababababababababababababababababababababababababababababababababababab
40. aabababababababababababababababababababababababababababababababababababababaaa ⇒ aababababababababababababababababababababababababababababababababababababab
41. aababababababababababababababababababababababababababababababababababababababaaa ⇒ aabababababababababababababababababababababababababababababababababababababab
42. aabababababababababababababababababababababababababababababababababababababababaaa ⇒ aababababababababababababababababababababababababababababababababababababababab
43. aababababababababababababababababababababababababababababababababababababababababaaa ⇒ aabababababababababababababababababababababababababababababababababababababababab
44. aabababababababababababababababababababababababababababababababababababababababababaaa ⇒ aababababababababababababababababababababababababababababababababababababababababab
45. aababababababababababababababababababababababababababababababababababababababababababaaa ⇒ aabababababababababababababababababababababababababababababababababababababababababab
46. aabababababababababababababababababababababababababababababababababababababababababababaaa ⇒ aababababababababababababababababababababababababababababababababababababababababababab
47. aababababababababababababababababababababababababababababababababababababababababababababaaa ⇒ aabababababababababababababababababababababababababababababababababababababababababababab
48. aabababababababababababababababababababababababababababababababababababababababababababababaaa ⇒ aababababababababababababababababababababababababababababababababababababababababababababab
49. aababababababababababababababababababababababababababababababababababababababababababababababaaa ⇒ aabababababababababababababababababababababababababababababababababababababababababababababab
50. aabababababababababababababababababababababababababababababababababababababababababababababababaaa ⇒ aababababababababababababababababababababababababababababababababababababababababababababababab
51. aababababababababababababababababababababababababababababababababababababababababababababababababaaa ⇒ aabababababababababababababababababababababababababababababababababababababababababababababababab
52. aabababababababababababababababababababababababababababababababababababababababababababababababababaaa ⇒ aababababababababababababababababababababababababababababababababababababababababababababababababab
53. aababababababababababababababababababababababababababababababababababababababababababababababababababaaa ⇒ aabababababababababababababababababababababababababababababababababababababababababababababababababab
54. aabababababababababababababababababababababababababababababababababababababababababababababababababababaaa ⇒ aababababababababababababababababababababababababababababababababababababababababababababababababababab
55. aababababababababababababababababababababababababababababababababababababababababababababababababababababaaa ⇒ aabababababababababababababababababababababababababababababababababababababababababababababababababababab
56. aabababababababababababababababababababababababababababababababababababababababababababababababababababababaaa ⇒ aababababababababababababababababababababababababababababababababababababababababababababababababababababab
57. aababababababababababababababababababababababababababababababababababababababababababababababababababababababaaa ⇒ aabababababababababababababababababababababababababababababababababababababababababababababababababababababab
58. aabababababababababababababababababababababababababababababababababababababababababababababababababababababababaaa ⇒ aababababababababababababababababababababababababababababababababababababababababababababababababababababababab
59. aababababababababababababababababababababababababababababababababababababababababababababababababababababababababaaa ⇒ aabababababababababababababababababababababababababababababababababababababababababababababababababababababababab
60. aabababababababababababababababababababababababababababababababababababababababababababababababababababababababababaaa ⇒ aababababababababababababababababababababababababababababababababababababababababababababababababababababababababab
61. aababababababababababababababababababababababababababababababababababababababababababababababababababababababababababaaa ⇒ aabababababababababababababababababababababababababababababababababababababababababababababababababababababababababab
62. aabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababaaa ⇒ aababababababababababababababababababababababababababababababababababababababababababababababababababababababababababab
63. aababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababaaa ⇒ aabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababab
64. aabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababaaa ⇒ aababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababab
65. aababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababaaa ⇒ aabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababab
66. aabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababaaa ⇒ aababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababab
67. aababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababaaa ⇒ aabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababab
68. aabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababaaa ⇒ aababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababab
69. aababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababaaa ⇒ aabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababab
70. aabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababaaa ⇒ aababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababab
71. aababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababaaa ⇒ aabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababab
72. aabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababaaa ⇒ aababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababab
73. aababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababaaa ⇒ aabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababab
74. aabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababaaa ⇒ aababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababab
75. aababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababaaa ⇒ aabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababab
76. aabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababaaa ⇒ aababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababab
77. aababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababaaa ⇒ aabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababab
78. aabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababaaa ⇒ aababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababab
79. aababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababaaa ⇒ aabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababab
80. aabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababaaa ⇒ aababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababab
...

Collecting factors up to length 14, frequency 2:

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

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

Step 2

Rewriting system is complete. See ⟨a, b | aaa=bb, aabb=aa⟩.