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:

[2/0]aa80559lf:237,lp:79,ls:78,rf:82,rp:79,rs:3,re:1,lprp:78,lsrp:78,lprs:2,lsrs:1
[2/1]ab6085lf:3004,ls:1,rf:3003,rs:77,a:2
[3/0]aaa10167lf:81,lp:2,ls:78,rf:2,rp:1,rs:2,re:1,lprs:10
[3/1]aba5929lf:3003,rf:2926,a:3
[4/0]abab5928lf:2926,rf:2926,rs:76,a:4
[4/1]baba5776lf:2926,rf:2850,a:4
[5/0]ababa5776lf:2926,rf:2850,a:4
[5/1]babab5775lf:2850,rf:2850,rs:75,a:5
[6/0]ababab5775lf:2850,rf:2850,rs:75,a:5
[6/1]bababa5625lf:2850,rf:2775,a:5
[7/0]abababa5625lf:2850,rf:2775,a:5
[7/1]bababab5624lf:2775,rf:2775,rs:74,a:6
[8/0]abababab5624lf:2775,rf:2775,rs:74,a:6
[8/1]babababa5476lf:2775,rf:2701,a:6
[9/0]ababababa5476lf:2775,rf:2701,a:6
[9/1]babababab5475lf:2701,rf:2701,rs:73,a:7
[10/0]ababababab5475lf:2701,rf:2701,rs:73,a:7
[10/1]bababababa5329lf:2701,rf:2628,a:7
[11/0]abababababa5329lf:2701,rf:2628,a:7
[11/1]bababababab5328lf:2628,rf:2628,rs:72,a:8
[12/0]abababababab5328lf:2628,rf:2628,rs:72,a:8
[12/1]babababababa5184lf:2628,rf:2556,a:8
[13/0]ababababababa5184lf:2628,rf:2556,a:8
[13/1]babababababab5183lf:2556,rf:2556,rs:71,a:9

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

Step 2

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