Morphocompletion for #27760 ⟨a, b | aa=1, bbabbb=bba⟩

Back:⟨a, b | aa=1, bbabbb=bba⟩

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. bbabbb ⇒ bba
4. bbababbb ⇒ bbaba
5. bbabababbb ⇒ bbababa
6. bbababababbb ⇒ bbabababa
7. bbabababababbb ⇒ bbababababa
8. bbababababababbb ⇒ bbabababababa
9. bbabababababababbb ⇒ bbababababababa
10. bbababababababababbb ⇒ bbabababababababa
11. bbabababababababababbb ⇒ bbababababababababa
12. bbababababababababababbb ⇒ bbabababababababababa
13. bbabababababababababababbb ⇒ bbababababababababababa
14. bbababababababababababababbb ⇒ bbabababababababababababa
15. bbabababababababababababababbb ⇒ bbababababababababababababa
16. bbababababababababababababababbb ⇒ bbabababababababababababababa
17. bbabababababababababababababababbb ⇒ bbababababababababababababababa
18. bbababababababababababababababababbb ⇒ bbabababababababababababababababa
19. bbabababababababababababababababababbb ⇒ bbababababababababababababababababa
20. bbababababababababababababababababababbb ⇒ bbabababababababababababababababababa
21. bbabababababababababababababababababababbb ⇒ bbababababababababababababababababababa
22. bbababababababababababababababababababababbb ⇒ bbabababababababababababababababababababa
23. bbabababababababababababababababababababababbb ⇒ bbababababababababababababababababababababa
24. bbababababababababababababababababababababababbb ⇒ bbabababababababababababababababababababababa
25. bbabababababababababababababababababababababababbb ⇒ bbababababababababababababababababababababababa
26. bbababababababababababababababababababababababababbb ⇒ bbabababababababababababababababababababababababa
27. bbabababababababababababababababababababababababababbb ⇒ bbababababababababababababababababababababababababa
28. bbababababababababababababababababababababababababababbb ⇒ bbabababababababababababababababababababababababababa
29. bbabababababababababababababababababababababababababababbb ⇒ bbababababababababababababababababababababababababababa
30. bbababababababababababababababababababababababababababababbb ⇒ bbabababababababababababababababababababababababababababa
31. bbabababababababababababababababababababababababababababababbb ⇒ bbababababababababababababababababababababababababababababa
32. bbababababababababababababababababababababababababababababababbb ⇒ bbabababababababababababababababababababababababababababababa
33. bbabababababababababababababababababababababababababababababababbb ⇒ bbababababababababababababababababababababababababababababababa
34. bbababababababababababababababababababababababababababababababababbb ⇒ bbabababababababababababababababababababababababababababababababa
35. bbabababababababababababababababababababababababababababababababababbb ⇒ bbababababababababababababababababababababababababababababababababa
36. bbababababababababababababababababababababababababababababababababababbb ⇒ bbabababababababababababababababababababababababababababababababababa
37. bbabababababababababababababababababababababababababababababababababababbb ⇒ bbababababababababababababababababababababababababababababababababababa
38. bbababababababababababababababababababababababababababababababababababababbb ⇒ bbabababababababababababababababababababababababababababababababababababa
39. bbabababababababababababababababababababababababababababababababababababababbb ⇒ bbababababababababababababababababababababababababababababababababababababa
40. bbababababababababababababababababababababababababababababababababababababababbb ⇒ bbabababababababababababababababababababababababababababababababababababababa
41. bbabababababababababababababababababababababababababababababababababababababababbb ⇒ bbababababababababababababababababababababababababababababababababababababababa
42. bbababababababababababababababababababababababababababababababababababababababababbb ⇒ bbabababababababababababababababababababababababababababababababababababababababa
...

Collecting factors up to length 14, frequency 2:

Length 2:[2/0] bb, [2/1] ba
Length 3:[3/0] bba, [3/1] aba
Length 4:[4/0] baba, [4/1] abab
Length 5:[5/0] bbaba, [5/1] ababa
Length 6:[6/0] bababa, [6/1] ababab
Length 7:[7/0] bbababa, [7/1] abababa
Length 8:[8/0] babababa, [8/1] abababab
Length 9:[9/0] bbabababa, [9/1] ababababa
Length 10:[10/0] bababababa, [10/1] ababababab
Length 11:[11/0] bbababababa, [11/1] abababababa
Length 12:[12/0] babababababa, [12/1] abababababab
Length 13:[13/0] bbabababababa, [13/1] ababababababa

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

Step 2

Rewriting system is complete. See ⟨a, b | aa=1, bbabbb=bba⟩.