Morphocompletion for #27156 ⟨a, b | aa=1, abbbabb=bb⟩

Back:⟨a, b | aa=1, abbbabb=bb⟩

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

Step 1

Checking up to 80 rules for overlaps.

Rewriting system is not complete: arenaWorkLimit

#Rule
1. aa ⇒ 1
2. bbbbb ⇒ bb
3. bbbabb ⇒ abb
4. bbbababb ⇒ ababb
5. bbbabababb ⇒ abababb
6. bbbababababb ⇒ ababababb
7. bbbabababababb ⇒ abababababb
8. bbbababababababb ⇒ ababababababb
9. bbbabababababababb ⇒ abababababababb
10. bbbababababababababb ⇒ ababababababababb
11. bbbabababababababababb ⇒ abababababababababb
12. bbbababababababababababb ⇒ ababababababababababb
13. bbbabababababababababababb ⇒ abababababababababababb
14. bbbababababababababababababb ⇒ ababababababababababababb
15. bbbabababababababababababababb ⇒ abababababababababababababb
16. bbbababababababababababababababb ⇒ ababababababababababababababb
17. bbbabababababababababababababababb ⇒ abababababababababababababababb
18. bbbababababababababababababababababb ⇒ ababababababababababababababababb
19. bbbabababababababababababababababababb ⇒ abababababababababababababababababb
20. bbbababababababababababababababababababb ⇒ ababababababababababababababababababb
21. bbbabababababababababababababababababababb ⇒ abababababababababababababababababababb
22. bbbababababababababababababababababababababb ⇒ ababababababababababababababababababababb
23. bbbabababababababababababababababababababababb ⇒ abababababababababababababababababababababb
24. bbbababababababababababababababababababababababb ⇒ ababababababababababababababababababababababb
25. bbbabababababababababababababababababababababababb ⇒ abababababababababababababababababababababababb
26. bbbababababababababababababababababababababababababb ⇒ ababababababababababababababababababababababababb
27. bbbabababababababababababababababababababababababababb ⇒ abababababababababababababababababababababababababb
28. bbbababababababababababababababababababababababababababb ⇒ ababababababababababababababababababababababababababb
29. bbbabababababababababababababababababababababababababababb ⇒ abababababababababababababababababababababababababababb
30. bbbababababababababababababababababababababababababababababb ⇒ ababababababababababababababababababababababababababababb
31. bbbabababababababababababababababababababababababababababababb ⇒ abababababababababababababababababababababababababababababb
32. bbbababababababababababababababababababababababababababababababb ⇒ ababababababababababababababababababababababababababababababb
33. bbbabababababababababababababababababababababababababababababababb ⇒ abababababababababababababababababababababababababababababababb
34. bbbababababababababababababababababababababababababababababababababb ⇒ ababababababababababababababababababababababababababababababababb
35. bbbabababababababababababababababababababababababababababababababababb ⇒ abababababababababababababababababababababababababababababababababb
36. bbbababababababababababababababababababababababababababababababababababb ⇒ ababababababababababababababababababababababababababababababababababb
37. bbbabababababababababababababababababababababababababababababababababababb ⇒ abababababababababababababababababababababababababababababababababababb
38. bbbababababababababababababababababababababababababababababababababababababb ⇒ ababababababababababababababababababababababababababababababababababababb
39. bbbabababababababababababababababababababababababababababababababababababababb ⇒ abababababababababababababababababababababababababababababababababababababb
40. bbbababababababababababababababababababababababababababababababababababababababb ⇒ ababababababababababababababababababababababababababababababababababababababb
41. bbbabababababababababababababababababababababababababababababababababababababababb ⇒ abababababababababababababababababababababababababababababababababababababababb
42. bbbababababababababababababababababababababababababababababababababababababababababb ⇒ ababababababababababababababababababababababababababababababababababababababababb
...

Collecting factors up to length 14, frequency 2:

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

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

Step 2

Rewriting system is complete. See ⟨a, b | aa=1, abbbabb=bb⟩.