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

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

Solved by morph:3/1. (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 14, frequency 2:

Length 2:[2/0] ab, [2/1] ba
Length 3:[3/0] aba, [3/1] abb
Length 4:[4/0] abab, [4/1] baba
Length 5:[5/0] ababa, [5/1] ababb
Length 6:[6/0] ababab, [6/1] bababa
Length 7:[7/0] abababa, [7/1] abababb
Length 8:[8/0] abababab, [8/1] babababa
Length 9:[9/0] ababababa, [9/1] ababababb
Length 10:[10/0] ababababab, [10/1] bababababa
Length 11:[11/0] abababababa, [11/1] abababababb
Length 12:[12/0] abababababab, [12/1] babababababa
Length 13:[13/0] ababababababa, [13/1] ababababababb

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

Step 2

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