Morphocompletion for #22287 ⟨a, b | aaa=1, abbbba=bb⟩

Back:⟨a, b | aaa=1, abbbba=bb⟩

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

Step 1

Checking up to 80 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. aaa ⇒ 1
2. abaabb ⇒ bbaaba
3. aabbaab ⇒ baabbaa
4. bbbb ⇒ aabbaa
5. abbaabb ⇒ bbaabba
6. bbaababb ⇒ ababbaa
7. abbbaabb ⇒ bbaabbba
8. abbabbab ⇒ babbabba
9. abbababb ⇒ bbababba
10. aabbabbaab ⇒ baabbabbaa
11. aababbabb ⇒ bbabbabaa
12. bbaabbabb ⇒ abbabbaa
13. abbbababb ⇒ bbaabaababba
14. abababbabb ⇒ bbabbaabaabaa
15. bbababbabb ⇒ abbabbbaa
16. bbaabbbabb ⇒ abbbabbaa
17. bbaababaababb ⇒ abaabababbaa
18. abbbabbabb ⇒ bbabbabbaabaa
19. abbabbbabb ⇒ bbabbbabba
20. abbabaabababb ⇒ bbababaababba
21. ababbaabaababb ⇒ bbaababababbaa
22. aabbababaababb ⇒ bbabaabababbaa
23. bbabbabababb ⇒ aabaababba
24. bbabbaabaababb ⇒ ababbbabba
25. bbababbbabb ⇒ abbabaababbaa
26. bbaabbabababb ⇒ aababbbabbaa
27. bbaabbabaababb ⇒ abbaabababbaa
28. abbbabbbabb ⇒ bbabbaabababba
29. abbbabaabababb ⇒ bbaabaababaababba
30. abbabbaabababb ⇒ bbabbabaababba
31. ababbababaababb ⇒ bbaabaabaabababbaa
32. bbabbababaababb ⇒ aabaababbbabba
33. bbabbabaabaababb ⇒ aababbabababbaa
34. bbabbaababababb ⇒ ababbabaababba
35. bbabbaabaabababb ⇒ ababaababba
36. bbababbabaababb ⇒ abbababababbaa
37. bbaabbbabababb ⇒ abababbbabbaa
38. bbaabbbabaababb ⇒ abbbaabababbaa
39. bbaabbbaabababb ⇒ abaababbbabbaa
40. bbaabbbaabaababb ⇒ ababbaabababbaa
41. bbaabbababababb ⇒ aabababbbabbaa
42. bbaabbabaabaababb ⇒ aababbaabababbaa
43. bbaabaababbbabb ⇒ abbbabaababbaa
44. abbbabbabaababb ⇒ bbaabababbbabba
45. abbbabbaabababb ⇒ bbabbaabaabaababba
46. abbabbbabaababb ⇒ bbabaababbbabba
47. abbabbbaabababb ⇒ bbabbbabaababba
48. abbabbbaabaababb ⇒ bbababbabababbaa
49. abbabababbbabb ⇒ bbabbbabababba
50. abbabaababbbabb ⇒ bbabbbaabababba
51. abbaabababbbabb ⇒ bbabbababababba
52. aabbabbbabababb ⇒ bbabababbbabbaa
53. bbabbababaabababb ⇒ aabaababaababba
54. bbaabbbababababb ⇒ ababababbbabbaa
55. bbaabbbababaababb ⇒ ababbbaabababbaa
56. bbaabbbaababababb ⇒ abaabababbbabbaa
57. bbaabbabababababb ⇒ aababababbbabbaa
58. bbaabababbabababb ⇒ abaabaabaababba
59. abbababababbbabb ⇒ bbabbbababababba
60. bbabbabbbabababb ⇒ aababababb
61. bbabbabbaabaabaababb ⇒ abaabaababb
62. bbabbbabababbbabb ⇒ abbabababababba
63. bbabbabbaabababababb ⇒ abababababb
64. bbabbabbaabababaababb ⇒ abababaababb
65. bbabbabbaabaababababb ⇒ abaababababb
...

Collecting factors up to length 14, frequency 2:

Length 2:[2/0] bb, [2/1] aa
Length 3:[3/0] abb, [3/1] bba
Length 4:[4/0] bbaa, [4/1] abba
Length 5:[5/0] bbabb, [5/1] ababb
Length 6:[6/0] bbaabb, [6/1] aabbaa
Length 7:[7/0] bbababb, [7/1] abbabba
Length 8:[8/0] abbbabba, [8/1] bbabbabb
Length 9:[9/0] bbabbbabb, [9/1] aabbabbaa
Length 10:[10/0] bbabaababb, [10/1] baabaababb
Length 11:[11/0] abaabaababb, [11/1] abababababb
Length 12:[12/0] abaababababb, [12/1] abababaababb
Length 13:[13/0] abababbbabbaa, [13/1] bbabbabbaabaa

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

Step 2

Rewriting system is complete. See ⟨a, b | aaa=1, abbbba=bb⟩.