Morphocompletion for #22833 ⟨a, b | aaa=1, baabb=abb⟩

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

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

Step 1

Checking up to 80 rules for overlaps.

Rewriting system is not complete: arenaWorkLimit

#Rule
1. aaa ⇒ 1
2. baabb ⇒ abb
3. baababb ⇒ ababb
4. baabababb ⇒ abababb
5. baababababb ⇒ ababababb
6. baabababababb ⇒ abababababb
7. baababababababb ⇒ ababababababb
8. baabababababababb ⇒ abababababababb
9. baababababababababb ⇒ ababababababababb
10. baabababababababababb ⇒ abababababababababb
11. baababababababababababb ⇒ ababababababababababb
12. baabababababababababababb ⇒ abababababababababababb
13. baababababababababababababb ⇒ ababababababababababababb
14. baabababababababababababababb ⇒ abababababababababababababb
15. baababababababababababababababb ⇒ ababababababababababababababb
16. baabababababababababababababababb ⇒ abababababababababababababababb
17. baababababababababababababababababb ⇒ ababababababababababababababababb
18. baabababababababababababababababababb ⇒ abababababababababababababababababb
19. baababababababababababababababababababb ⇒ ababababababababababababababababababb
20. baabababababababababababababababababababb ⇒ abababababababababababababababababababb
21. baababababababababababababababababababababb ⇒ ababababababababababababababababababababb
22. baabababababababababababababababababababababb ⇒ abababababababababababababababababababababb
23. baababababababababababababababababababababababb ⇒ ababababababababababababababababababababababb
24. baabababababababababababababababababababababababb ⇒ abababababababababababababababababababababababb
25. baababababababababababababababababababababababababb ⇒ ababababababababababababababababababababababababb
26. baabababababababababababababababababababababababababb ⇒ abababababababababababababababababababababababababb
27. baababababababababababababababababababababababababababb ⇒ ababababababababababababababababababababababababababb
28. baabababababababababababababababababababababababababababb ⇒ abababababababababababababababababababababababababababb
29. baababababababababababababababababababababababababababababb ⇒ ababababababababababababababababababababababababababababb
30. baabababababababababababababababababababababababababababababb ⇒ abababababababababababababababababababababababababababababb
31. baababababababababababababababababababababababababababababababb ⇒ ababababababababababababababababababababababababababababababb
32. baabababababababababababababababababababababababababababababababb ⇒ abababababababababababababababababababababababababababababababb
33. baababababababababababababababababababababababababababababababababb ⇒ ababababababababababababababababababababababababababababababababb
34. baabababababababababababababababababababababababababababababababababb ⇒ abababababababababababababababababababababababababababababababababb
35. baababababababababababababababababababababababababababababababababababb ⇒ ababababababababababababababababababababababababababababababababababb
36. baabababababababababababababababababababababababababababababababababababb ⇒ abababababababababababababababababababababababababababababababababababb
37. baababababababababababababababababababababababababababababababababababababb ⇒ ababababababababababababababababababababababababababababababababababababb
38. baabababababababababababababababababababababababababababababababababababababb ⇒ abababababababababababababababababababababababababababababababababababababb
39. baababababababababababababababababababababababababababababababababababababababb ⇒ ababababababababababababababababababababababababababababababababababababababb
40. baabababababababababababababababababababababababababababababababababababababababb ⇒ abababababababababababababababababababababababababababababababababababababababb
41. baababababababababababababababababababababababababababababababababababababababababb ⇒ ababababababababababababababababababababababababababababababababababababababababb
42. baabababababababababababababababababababababababababababababababababababababababababb ⇒ abababababababababababababababababababababababababababababababababababababababababb
43. baababababababababababababababababababababababababababababababababababababababababababb ⇒ ababababababababababababababababababababababababababababababababababababababababababb
44. baabababababababababababababababababababababababababababababababababababababababababababb ⇒ abababababababababababababababababababababababababababababababababababababababababababb
45. baababababababababababababababababababababababababababababababababababababababababababababb ⇒ ababababababababababababababababababababababababababababababababababababababababababababb
46. baabababababababababababababababababababababababababababababababababababababababababababababb ⇒ abababababababababababababababababababababababababababababababababababababababababababababb
47. baababababababababababababababababababababababababababababababababababababababababababababababb ⇒ ababababababababababababababababababababababababababababababababababababababababababababababb
48. baabababababababababababababababababababababababababababababababababababababababababababababababb ⇒ abababababababababababababababababababababababababababababababababababababababababababababababb
49. baababababababababababababababababababababababababababababababababababababababababababababababababb ⇒ ababababababababababababababababababababababababababababababababababababababababababababababababb
50. baabababababababababababababababababababababababababababababababababababababababababababababababababb ⇒ abababababababababababababababababababababababababababababababababababababababababababababababababb
51. baababababababababababababababababababababababababababababababababababababababababababababababababababb ⇒ ababababababababababababababababababababababababababababababababababababababababababababababababababb
52. baabababababababababababababababababababababababababababababababababababababababababababababababababababb ⇒ abababababababababababababababababababababababababababababababababababababababababababababababababababb
...

Collecting factors up to length 7 / frequency 2:

[2/0]ab2703lf:1326,rf:1326,rp:51,a:1
[2/1]ba2652lf:1326,lp:51,rf:1275,a:1
[3/0]aba2600lf:1275,rf:1275,rp:50,a:2
[3/1]bab2550lf:1275,rf:1275,a:2
[4/0]abab2600lf:1275,rf:1275,rp:50,a:2
[4/1]baba2450lf:1225,rf:1225,a:3
[5/0]ababa2499lf:1225,rf:1225,rp:49,a:3
[5/1]babab2450lf:1225,rf:1225,a:3
[6/0]ababab2499lf:1225,rf:1225,rp:49,a:3
[6/1]bababa2352lf:1176,rf:1176,a:4

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

Step 2

Checking up to 80 rules for overlaps.

Rewriting system is not complete: arenaWorkLimit

#Rule
1. ab ⇒ c
2. aaa ⇒ 1
3. aac ⇒ b
4. bacb ⇒ cb
5. cacb ⇒ acb
6. baccb ⇒ ccb
7. caccb ⇒ accb
8. bacccb ⇒ cccb
9. cacccb ⇒ acccb
10. baccccb ⇒ ccccb
11. caccccb ⇒ accccb
12. bacccccb ⇒ cccccb
13. cacccccb ⇒ acccccb
14. baccccccb ⇒ ccccccb
15. caccccccb ⇒ accccccb
16. bacccccccb ⇒ cccccccb
17. cacccccccb ⇒ acccccccb
18. baccccccccb ⇒ ccccccccb
19. caccccccccb ⇒ accccccccb
20. bacccccccccb ⇒ cccccccccb
21. cacccccccccb ⇒ acccccccccb
22. baccccccccccb ⇒ ccccccccccb
23. caccccccccccb ⇒ accccccccccb
24. bacccccccccccb ⇒ cccccccccccb
25. cacccccccccccb ⇒ acccccccccccb
26. baccccccccccccb ⇒ ccccccccccccb
27. caccccccccccccb ⇒ accccccccccccb
28. bacccccccccccccb ⇒ cccccccccccccb
29. cacccccccccccccb ⇒ acccccccccccccb
30. baccccccccccccccb ⇒ ccccccccccccccb
31. caccccccccccccccb ⇒ accccccccccccccb
32. bacccccccccccccccb ⇒ cccccccccccccccb
33. cacccccccccccccccb ⇒ acccccccccccccccb
34. baccccccccccccccccb ⇒ ccccccccccccccccb
35. caccccccccccccccccb ⇒ accccccccccccccccb
36. bacccccccccccccccccb ⇒ cccccccccccccccccb
37. cacccccccccccccccccb ⇒ acccccccccccccccccb
38. baccccccccccccccccccb ⇒ ccccccccccccccccccb
39. caccccccccccccccccccb ⇒ accccccccccccccccccb
40. bacccccccccccccccccccb ⇒ cccccccccccccccccccb
41. cacccccccccccccccccccb ⇒ acccccccccccccccccccb
42. baccccccccccccccccccccb ⇒ ccccccccccccccccccccb
43. caccccccccccccccccccccb ⇒ accccccccccccccccccccb
44. bacccccccccccccccccccccb ⇒ cccccccccccccccccccccb
...

Collecting factors up to length 14 / frequency 1:

[2/0]cb1166lf:41,ls:41,rf:41,rp:1,rs:41,re:1,lsrp:1,lsrs:41,a:3
[3/0]ccb1158lf:39,ls:39,rf:39,rp:1,rs:39,re:1,lsrp:1,lsrs:39,a:6
[4/0]cccb1150lf:37,ls:37,rf:37,rp:1,rs:37,re:1,lsrp:1,lsrs:37,a:8
[5/0]ccccb1142lf:35,ls:35,rf:35,rp:1,rs:35,re:1,lsrp:1,lsrs:35,a:10
[6/0]cccccb1134lf:33,ls:33,rf:33,rp:1,rs:33,re:1,lsrp:1,lsrs:33,a:12
[7/0]ccccccb1126lf:31,ls:31,rf:31,rp:1,rs:31,re:1,lsrp:1,lsrs:31,a:14
[8/0]cccccccb1118lf:29,ls:29,rf:29,rp:1,rs:29,re:1,lsrp:1,lsrs:29,a:16
[9/0]ccccccccb1110lf:27,ls:27,rf:27,rp:1,rs:27,re:1,lsrp:1,lsrs:27,a:18
[10/0]cccccccccb1102lf:25,ls:25,rf:25,rp:1,rs:25,re:1,lsrp:1,lsrs:25,a:20
[11/0]ccccccccccb1094lf:23,ls:23,rf:23,rp:1,rs:23,re:1,lsrp:1,lsrs:23,a:22
[12/0]cccccccccccb1086lf:21,ls:21,rf:21,rp:1,rs:21,re:1,lsrp:1,lsrs:21,a:24
[13/0]ccccccccccccb1078lf:19,ls:19,rf:19,rp:1,rs:19,re:1,lsrp:1,lsrs:19,a:26

Considering [length 2 / frequency 0] cb=d.

Step 3

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