Morphocompletion for #16324 ⟨a, b | aab=bb, bbaa=bb⟩

Back:⟨a, b | aab=bb, bbaa=bb⟩

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

Step 1

Checking up to 80 rules for overlaps.

Rewriting system is not complete: arenaWorkLimit

#Rule
1. aab ⇒ bb
2. bbaa ⇒ bb
3. bbbb ⇒ bbb
4. bbabb ⇒ bbab
5. bbabaa ⇒ bbab
6. bbababb ⇒ bbabab
7. bbababaa ⇒ bbabab
8. bbabababb ⇒ bbababab
9. bbabababaa ⇒ bbababab
10. bbababababb ⇒ bbabababab
11. bbababababaa ⇒ bbabababab
12. bbabababababb ⇒ bbababababab
13. bbabababababaa ⇒ bbababababab
14. bbababababababb ⇒ bbabababababab
15. bbababababababaa ⇒ bbabababababab
16. bbabababababababb ⇒ bbababababababab
17. bbabababababababaa ⇒ bbababababababab
18. bbababababababababb ⇒ bbabababababababab
19. bbababababababababaa ⇒ bbabababababababab
20. bbabababababababababb ⇒ bbababababababababab
21. bbabababababababababaa ⇒ bbababababababababab
22. bbababababababababababb ⇒ bbabababababababababab
23. bbababababababababababaa ⇒ bbabababababababababab
24. bbabababababababababababb ⇒ bbababababababababababab
25. bbabababababababababababaa ⇒ bbababababababababababab
26. bbababababababababababababb ⇒ bbabababababababababababab
27. bbababababababababababababaa ⇒ bbabababababababababababab
28. bbabababababababababababababb ⇒ bbababababababababababababab
29. bbabababababababababababababaa ⇒ bbababababababababababababab
30. bbababababababababababababababb ⇒ bbabababababababababababababab
31. bbababababababababababababababaa ⇒ bbabababababababababababababab
32. bbabababababababababababababababb ⇒ bbababababababababababababababab
33. bbabababababababababababababababaa ⇒ bbababababababababababababababab
34. bbababababababababababababababababb ⇒ bbabababababababababababababababab
35. bbababababababababababababababababaa ⇒ bbabababababababababababababababab
36. bbabababababababababababababababababb ⇒ bbababababababababababababababababab
37. bbabababababababababababababababababaa ⇒ bbababababababababababababababababab
38. bbababababababababababababababababababb ⇒ bbabababababababababababababababababab
39. bbababababababababababababababababababaa ⇒ bbabababababababababababababababababab
40. bbabababababababababababababababababababb ⇒ bbababababababababababababababababababab
41. bbabababababababababababababababababababaa ⇒ bbababababababababababababababababababab
42. bbababababababababababababababababababababb ⇒ bbabababababababababababababababababababab
43. bbababababababababababababababababababababaa ⇒ bbabababababababababababababababababababab
44. bbabababababababababababababababababababababb ⇒ bbababababababababababababababababababababab
45. bbabababababababababababababababababababababaa ⇒ bbababababababababababababababababababababab
46. bbababababababababababababababababababababababb ⇒ bbabababababababababababababababababababababab
47. bbababababababababababababababababababababababaa ⇒ bbabababababababababababababababababababababab
48. bbabababababababababababababababababababababababb ⇒ bbababababababababababababababababababababababab
49. bbabababababababababababababababababababababababaa ⇒ bbababababababababababababababababababababababab
50. bbababababababababababababababababababababababababb ⇒ bbabababababababababababababababababababababababab
51. bbababababababababababababababababababababababababaa ⇒ bbabababababababababababababababababababababababab
52. bbabababababababababababababababababababababababababb ⇒ bbababababababababababababababababababababababababab
53. bbabababababababababababababababababababababababababaa ⇒ bbababababababababababababababababababababababababab
54. bbababababababababababababababababababababababababababb ⇒ bbabababababababababababababababababababababababababab
55. bbababababababababababababababababababababababababababaa ⇒ bbabababababababababababababababababababababababababab
56. bbabababababababababababababababababababababababababababb ⇒ bbababababababababababababababababababababababababababab
57. bbabababababababababababababababababababababababababababaa ⇒ bbababababababababababababababababababababababababababab
58. bbababababababababababababababababababababababababababababb ⇒ bbabababababababababababababababababababababababababababab
59. bbababababababababababababababababababababababababababababaa ⇒ bbabababababababababababababababababababababababababababab
60. bbabababababababababababababababababababababababababababababb ⇒ bbababababababababababababababababababababababababababababab
61. bbabababababababababababababababababababababababababababababaa ⇒ bbababababababababababababababababababababababababababababab
62. bbababababababababababababababababababababababababababababababb ⇒ bbabababababababababababababababababababababababababababababab
63. bbababababababababababababababababababababababababababababababaa ⇒ bbabababababababababababababababababababababababababababababab
64. bbabababababababababababababababababababababababababababababababb ⇒ bbababababababababababababababababababababababababababababababab
65. bbabababababababababababababababababababababababababababababababaa ⇒ bbababababababababababababababababababababababababababababababab
66. bbababababababababababababababababababababababababababababababababb ⇒ bbabababababababababababababababababababababababababababababababab
...

Collecting factors up to length 14, frequency 2:

Length 2:[2/0] bb, [2/1] ab
Length 3:[3/0] bab, [3/1] bbb
Length 4:[4/0] bbab, [4/1] abab
Length 5:[5/0] babab, [5/1] bbaba
Length 6:[6/0] bbabab, [6/1] ababab
Length 7:[7/0] bababab, [7/1] bbababa
Length 8:[8/0] bbababab, [8/1] abababab
Length 9:[9/0] babababab, [9/1] bbabababa
Length 10:[10/0] bbabababab, [10/1] ababababab
Length 11:[11/0] bababababab, [11/1] bbababababa
Length 12:[12/0] bbababababab, [12/1] abababababab
Length 13:[13/0] babababababab, [13/1] bbabababababa

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

Step 2

Rewriting system is complete. See ⟨a, b | aab=bb, bbaa=bb⟩.