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:

[2/0]bb31487lf:209,lp:35,ls:61,rf:151,rp:26,rs:5,lsrp:26,lprs:5,lsrs:5,a:4
[2/1]aa5216lf:74,lp:6,ls:1,rf:93,rp:10,rs:32,lprs:5
[3/0]abb9338lf:142,lp:20,ls:60,rf:102,rp:9,rs:5,lsrp:9,lsrs:5,a:4
[3/1]bba8325lf:116,lp:34,rf:123,rp:26,rs:26,lprs:8,a:4
[4/0]bbaa17140lf:38,lp:18,rf:47,rp:8,rs:29,lprs:17,a:4
[4/1]abba12170lf:52,lp:13,rf:74,rp:6,rs:25,lprs:12,a:4
[5/0]bbabb9116lf:45,lp:13,ls:15,rf:31,rp:12,lsrp:9,a:8
[5/1]ababb5166lf:56,lp:2,ls:42,rf:56,rp:5,rs:5,lsrp:5,lsrs:5,a:13
[6/0]bbaabb11036lf:16,lp:14,ls:2,rf:2,rp:2,lsrp:11,a:14
[6/1]aabbaa10008lf:1,lp:1,rf:2,rp:1,rs:2,re:1,lprs:10,a:4
[7/0]abbabba10015lf:7,lp:2,rf:4,rp:1,rs:1,lprs:10,a:8
[7/1]bbababb10014lf:5,lp:3,ls:2,rf:2,rp:2,lsrp:10,a:28
[8/0]abbbabba1026lf:3,lp:3,rf:14,rp:1,rs:5,lprs:1,a:41
[8/1]bbabbabb1014lf:6,lp:5,ls:1,rf:1,rp:1,lsrp:1,a:72
[9/0]bbabbbabb10006lf:2,ls:2,rf:1,rp:1,lsrp:10,a:41
[9/1]aabbabbaa10004lf:1,lp:1,rf:1,rs:1,lprs:10,a:8
[10/0]bbabaababb1018lf:6,ls:5,rf:6,rp:1,lsrp:1,a:24
[10/1]bbaabababb20lf:6,lp:1,ls:4,rf:8,rp:1,a:24
[11/0]abaabaababb1012lf:3,ls:3,rf:3,rp:1,rs:1,re:1,lsrp:1,lsrs:1,a:58
[11/1]abababababb1009lf:2,ls:2,rf:2,rp:1,rs:1,re:1,lsrp:1,lsrs:1,a:237
[12/0]abaababababb1006lf:1,ls:1,rf:1,rp:1,rs:1,re:1,lsrp:1,lsrs:1,a:244
[12/1]abababaababb1006lf:1,ls:1,rf:1,rp:1,rs:1,re:1,lsrp:1,lsrs:1,a:148
[13/0]abababbbabbaa14rf:6,rp:1,rs:6,re:1,a:225
[13/1]bbabbbabababb8lf:3,lp:1,ls:2,rf:1,rp:1,a:225

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

Step 2

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