Morphocompletion for #22855 ⟨a, b | aaa=1, bbabb=abb⟩

Back:⟨a, b | aaa=1, bbabb=abb⟩

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

Step 1

Checking up to 80 rules for overlaps.

Rewriting system is not complete: rulesLimit

#Rule
1. aaa ⇒ 1
2. bbbb ⇒ bb
3. bbabb ⇒ abb
4. bbaabb ⇒ aabb
5. bbababb ⇒ ababb
6. bbabaabb ⇒ abaabb
7. bbaababb ⇒ aababb
8. bbaabaabb ⇒ aabaabb
9. bbabababb ⇒ abababb
10. bbababaabb ⇒ ababaabb
11. bbabaababb ⇒ abaababb
12. bbabaabaabb ⇒ abaabaabb
13. bbaabababb ⇒ aabababb
14. bbaababaabb ⇒ aababaabb
15. bbaabaababb ⇒ aabaababb
16. bbaabaabaabb ⇒ aabaabaabb
17. bbababababb ⇒ ababababb
18. bbabababaabb ⇒ abababaabb
19. bbababaababb ⇒ ababaababb
20. bbababaabaabb ⇒ ababaabaabb
21. bbabaabababb ⇒ abaabababb
22. bbabaababaabb ⇒ abaababaabb
23. bbabaabaababb ⇒ abaabaababb
24. bbabaabaabaabb ⇒ abaabaabaabb
25. bbaababababb ⇒ aababababb
26. bbaabababaabb ⇒ aabababaabb
27. bbaababaababb ⇒ aababaababb
28. bbaababaabaabb ⇒ aababaabaabb
29. bbaabaabababb ⇒ aabaabababb
30. bbaabaababaabb ⇒ aabaababaabb
31. bbaabaabaababb ⇒ aabaabaababb
32. bbaabaabaabaabb ⇒ aabaabaabaabb
33. bbabababababb ⇒ abababababb
34. bbababababaabb ⇒ ababababaabb
35. bbabababaababb ⇒ abababaababb
36. bbabababaabaabb ⇒ abababaabaabb
37. bbababaabababb ⇒ ababaabababb
38. bbababaababaabb ⇒ ababaababaabb
39. bbababaabaababb ⇒ ababaabaababb
40. bbababaabaabaabb ⇒ ababaabaabaabb
41. bbabaababababb ⇒ abaababababb
42. bbabaabababaabb ⇒ abaabababaabb
43. bbabaababaababb ⇒ abaababaababb
44. bbabaababaabaabb ⇒ abaababaabaabb
45. bbabaabaabababb ⇒ abaabaabababb
46. bbabaabaababaabb ⇒ abaabaababaabb
47. bbabaabaabaababb ⇒ abaabaabaababb
48. bbaabababababb ⇒ aabababababb
49. bbaababababaabb ⇒ aababababaabb
50. bbaabababaababb ⇒ aabababaababb
51. bbaabababaabaabb ⇒ aabababaabaabb
52. bbaababaabababb ⇒ aababaabababb
53. bbaababaababaabb ⇒ aababaababaabb
54. bbaababaabaababb ⇒ aababaabaababb
55. bbaabaababababb ⇒ aabaababababb
56. bbaabaabababaabb ⇒ aabaabababaabb
57. bbababababababb ⇒ ababababababb
...

Collecting factors up to length 14 / frequency 2:

[2/0]bb57339lf:113,lp:56,ls:56,rf:56,rp:1,rs:56,re:1,lprp:1,lsrp:1,lprs:56,lsrs:56,a:1
[2/1]ab479lf:224,rf:224,rp:31,a:1
[3/0]abb1222lf:55,ls:55,rf:55,rp:1,rs:55,re:1,lsrp:1,lsrs:55,a:1
[3/1]aba368lf:169,rf:169,rp:30,a:3
[4/0]aabb1106lf:26,ls:26,rf:26,rp:1,rs:26,re:1,lsrp:1,lsrs:26,a:2
[4/1]abab206lf:95,rf:95,rp:16,a:3
[5/0]ababb1114lf:28,ls:28,rf:28,rp:1,rs:28,re:1,lsrp:1,lsrs:28,a:3
[5/1]abaab162lf:74,rf:74,rp:14,a:5
[6/0]abaabb1102lf:25,ls:25,rf:25,rp:1,rs:25,re:1,lsrp:1,lsrs:25,a:5
[6/1]aababb1054lf:13,ls:13,rf:13,rp:1,rs:13,re:1,lsrp:1,lsrs:13,a:6
[7/0]abababb1058lf:14,ls:14,rf:14,rp:1,rs:14,re:1,lsrp:1,lsrs:14,a:8
[7/1]aabaabb1046lf:11,ls:11,rf:11,rp:1,rs:11,re:1,lsrp:1,lsrs:11,a:7
[8/0]ababaabb1054lf:13,ls:13,rf:13,rp:1,rs:13,re:1,lsrp:1,lsrs:13,a:10
[8/1]abaababb1050lf:12,ls:12,rf:12,rp:1,rs:12,re:1,lsrp:1,lsrs:12,a:11
[9/0]abaabaabb1042lf:10,ls:10,rf:10,rp:1,rs:10,re:1,lsrp:1,lsrs:10,a:14
[9/1]ababababb1030lf:7,ls:7,rf:7,rp:1,rs:7,re:1,lsrp:1,lsrs:7,a:12
[10/0]abababaabb1026lf:6,ls:6,rf:6,rp:1,rs:6,re:1,lsrp:1,lsrs:6,a:15
[10/1]abaabababb1022lf:5,ls:5,rf:5,rp:1,rs:5,re:1,lsrp:1,lsrs:5,a:16
[11/0]abaabaababb1022lf:5,ls:5,rf:5,rp:1,rs:5,re:1,lsrp:1,lsrs:5,a:20
[11/1]abaababaabb1022lf:5,ls:5,rf:5,rp:1,rs:5,re:1,lsrp:1,lsrs:5,a:17
[12/0]abaabaabaabb1014lf:3,ls:3,rf:3,rp:1,rs:3,re:1,lsrp:1,lsrs:3,a:26
[12/1]abaababababb1010lf:2,ls:2,rf:2,rp:1,rs:2,re:1,lsrp:1,lsrs:2,a:33
[13/0]abaabababaabb1010lf:2,ls:2,rf:2,rp:1,rs:2,re:1,lsrp:1,lsrs:2,a:41
[13/1]ababaabaababb1010lf:2,ls:2,rf:2,rp:1,rs:2,re:1,lsrp:1,lsrs:2,a:46

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

Step 2

Rewriting system is complete. See ⟨a, b | aaa=1, bbabb=abb⟩.