Morphocompletion for #23326 ⟨a, b | aaa=1, bbbb=abba⟩

Back:⟨a, b | aaa=1, bbbb=abba⟩

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

Step 1

Checking up to 80 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. bbbbbbbbbbbbbb ⇒ bb
2. bbabbbbbbbbbbbb ⇒ bba
3. bbbbbba ⇒ abbbbbb
4. aabb ⇒ bbabbbbbbbbbb
5. abba ⇒ bbbb
6. abbbba ⇒ bbbbabbbb
7. bbaa ⇒ bbbbabbbbbbbb
8. bbababbbbbbbbbbbb ⇒ bbaba
9. aaa ⇒ 1
10. aababb ⇒ bbabbbabbbbbbbb
11. bbabaa ⇒ bbabbbabbbbbbbb
12. bbabababbbbbbbbbbbb ⇒ bbababa
13. aabababb ⇒ bbabbbababbbbbbbb
14. bbababaa ⇒ bbababbbabbbbbbbb
15. bbababababbbbbbbbbbbb ⇒ bbabababa
16. aababababb ⇒ bbabbbabababbbbbbbb
17. bbabababaa ⇒ bbabababbbabbbbbbbb
18. bbabababababbbbbbbbbbbb ⇒ bbababababa
19. aabababababb ⇒ bbabbbababababbbbbbbb
20. bbababababaa ⇒ bbababababbbabbbbbbbb
21. bbababababababbbbbbbbbbbb ⇒ bbabababababa
22. aababababababb ⇒ bbabbbabababababbbbbbbb
23. bbabababababaa ⇒ bbabababababbbabbbbbbbb
24. bbabababababababbbbbbbbbbbb ⇒ bbababababababa
25. aabababababababb ⇒ bbabbbababababababbbbbbbb
26. bbababababababaa ⇒ bbababababababbbabbbbbbbb
27. bbababababababababbbbbbbbbbbb ⇒ bbabababababababa
28. aababababababababb ⇒ bbabbbabababababababbbbbbbb
29. bbabababababababaa ⇒ bbabababababababbbabbbbbbbb
30. bbabababababababababbbbbbbbbbbb ⇒ bbababababababababa
31. aabababababababababb ⇒ bbabbbababababababababbbbbbbb
32. bbababababababababaa ⇒ bbababababababababbbabbbbbbbb
33. bbababababababababababbbbbbbbbbbb ⇒ bbabababababababababa
34. aababababababababababb ⇒ bbabbbabababababababababbbbbbbb
35. bbabababababababababaa ⇒ bbabababababababababbbabbbbbbbb
36. bbabababababababababababbbbbbbbbbbb ⇒ bbababababababababababa
37. aabababababababababababb ⇒ bbabbbababababababababababbbbbbbb
38. bbababababababababababaa ⇒ bbababababababababababbbabbbbbbbb
39. bbababababababababababababbbbbbbbbbbb ⇒ bbabababababababababababa
40. aababababababababababababb ⇒ bbabbbabababababababababababbbbbbbb
41. bbabababababababababababaa ⇒ bbabababababababababababbbabbbbbbbb
42. bbabababababababababababababbbbbbbbbbbb ⇒ bbababababababababababababa
43. aabababababababababababababb ⇒ bbabbbababababababababababababbbbbbbb
44. bbababababababababababababaa ⇒ bbababababababababababababbbabbbbbbbb
45. bbababababababababababababababbbbbbbbbbbb ⇒ bbabababababababababababababa
46. aababababababababababababababb ⇒ bbabbbabababababababababababababbbbbbbb
47. bbabababababababababababababaa ⇒ bbabababababababababababababbbabbbbbbbb
48. bbabababababababababababababababbbbbbbbbbbb ⇒ bbababababababababababababababa
49. aabababababababababababababababb ⇒ bbabbbababababababababababababababbbbbbbb
50. bbababababababababababababababaa ⇒ bbababababababababababababababbbabbbbbbbb
51. bbababababababababababababababababbbbbbbbbbbb ⇒ bbabababababababababababababababa
52. aababababababababababababababababb ⇒ bbabbbabababababababababababababababbbbbbbb
53. bbabababababababababababababababaa ⇒ bbabababababababababababababababbbabbbbbbbb
54. bbabababababababababababababababababbbbbbbbbbbb ⇒ bbababababababababababababababababa
55. aabababababababababababababababababb ⇒ bbabbbababababababababababababababababbbbbbbb
56. aabababababababababababababababababbbbbb ⇒ bbabbbabababababababababababababababa
57. bbababababababababababababababababaa ⇒ bbababababababababababababababababbbabbbbbbbb
58. aababababababababababababababababababb ⇒ bbabbbabababababababababababababababababbbbbbbb
59. aababababababababababababababababababbbbbb ⇒ bbabbbababababababababababababababababa
60. aabababababababababababababababababababbbbbb ⇒ bbabbbabababababababababababababababababa
...

Collecting factors up to length 14, frequency 2:

Length 2:[2/0] bb, [2/1] ba
Length 3:[3/0] bba, [3/1] bbb
Length 4:[4/0] bbbb, [4/1] bbab
Length 5:[5/0] bbaba, [5/1] bbbbb
Length 6:[6/0] bbbbbb, [6/1] bbabab
Length 7:[7/0] bbababa, [7/1] abababa
Length 8:[8/0] bbababab, [8/1] babababa
Length 9:[9/0] bbabababa, [9/1] ababababa
Length 10:[10/0] bbabababab, [10/1] bababababa
Length 11:[11/0] bbababababa, [11/1] abababababa
Length 12:[12/0] bbababababab, [12/1] babababababa
Length 13:[13/0] bbabababababa, [13/1] ababababababa

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

Step 2

Rewriting system is complete. See ⟨a, b | aaa=1, bbbb=abba⟩.