Morphocompletion for #11025 ⟨a, b | abba=aab, bbbb=1⟩

Back:⟨a, b | abba=aab, bbbb=1⟩

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

Step 1

Checking up to 80 rules for overlaps.

Rewriting system is not complete: arenaWorkLimit

#Rule
1. bbbb ⇒ 1
2. abba ⇒ aab
3. aabbba ⇒ aabab
4. aababbba ⇒ aababab
5. aabababbba ⇒ aabababab
6. aababababbba ⇒ aababababab
7. aabababababbba ⇒ aabababababab
8. aababababababbba ⇒ aababababababab
9. aabababababababbba ⇒ aabababababababab
10. aababababababababbba ⇒ aababababababababab
11. aabababababababababbba ⇒ aabababababababababab
12. aababababababababababbba ⇒ aababababababababababab
13. aabababababababababababbba ⇒ aabababababababababababab
14. aababababababababababababbba ⇒ aababababababababababababab
15. aabababababababababababababbba ⇒ aabababababababababababababab
16. aababababababababababababababbba ⇒ aababababababababababababababab
17. aabababababababababababababababbba ⇒ aabababababababababababababababab
18. aababababababababababababababababbba ⇒ aababababababababababababababababab
19. aabababababababababababababababababbba ⇒ aabababababababababababababababababab
20. aababababababababababababababababababbba ⇒ aababababababababababababababababababab
21. aabababababababababababababababababababbba ⇒ aabababababababababababababababababababab
22. aababababababababababababababababababababbba ⇒ aababababababababababababababababababababab
23. aabababababababababababababababababababababbba ⇒ aabababababababababababababababababababababab
24. aababababababababababababababababababababababbba ⇒ aababababababababababababababababababababababab
25. aabababababababababababababababababababababababbba ⇒ aabababababababababababababababababababababababab
26. aababababababababababababababababababababababababbba ⇒ aababababababababababababababababababababababababab
27. aabababababababababababababababababababababababababbba ⇒ aabababababababababababababababababababababababababab
28. aababababababababababababababababababababababababababbba ⇒ aababababababababababababababababababababababababababab
29. aabababababababababababababababababababababababababababbba ⇒ aabababababababababababababababababababababababababababab
30. aababababababababababababababababababababababababababababbba ⇒ aababababababababababababababababababababababababababababab
31. aabababababababababababababababababababababababababababababbba ⇒ aabababababababababababababababababababababababababababababab
32. aababababababababababababababababababababababababababababababbba ⇒ aababababababababababababababababababababababababababababababab
33. aabababababababababababababababababababababababababababababababbba ⇒ aabababababababababababababababababababababababababababababababab
34. aababababababababababababababababababababababababababababababababbba ⇒ aababababababababababababababababababababababababababababababababab
35. aabababababababababababababababababababababababababababababababababbba ⇒ aabababababababababababababababababababababababababababababababababab
36. aababababababababababababababababababababababababababababababababababbba ⇒ aababababababababababababababababababababababababababababababababababab
37. aabababababababababababababababababababababababababababababababababababbba ⇒ aabababababababababababababababababababababababababababababababababababab
38. aababababababababababababababababababababababababababababababababababababbba ⇒ aababababababababababababababababababababababababababababababababababababab
39. aabababababababababababababababababababababababababababababababababababababbba ⇒ aabababababababababababababababababababababababababababababababababababababab
40. aababababababababababababababababababababababababababababababababababababababbba ⇒ aababababababababababababababababababababababababababababababababababababababab
41. aabababababababababababababababababababababababababababababababababababababababbba ⇒ aabababababababababababababababababababababababababababababababababababababababab
42. aababababababababababababababababababababababababababababababababababababababababbba ⇒ aababababababababababababababababababababababababababababababababababababababababab
43. aabababababababababababababababababababababababababababababababababababababababababbba ⇒ aabababababababababababababababababababababababababababababababababababababababababab
44. aababababababababababababababababababababababababababababababababababababababababababbba ⇒ aababababababababababababababababababababababababababababababababababababababababababab
45. aabababababababababababababababababababababababababababababababababababababababababababbba ⇒ aabababababababababababababababababababababababababababababababababababababababababababab
46. aababababababababababababababababababababababababababababababababababababababababababababbba ⇒ aababababababababababababababababababababababababababababababababababababababababababababab
47. aabababababababababababababababababababababababababababababababababababababababababababababbba ⇒ aabababababababababababababababababababababababababababababababababababababababababababababab
48. aababababababababababababababababababababababababababababababababababababababababababababababbba ⇒ aababababababababababababababababababababababababababababababababababababababababababababababab
49. aabababababababababababababababababababababababababababababababababababababababababababababababbba ⇒ aabababababababababababababababababababababababababababababababababababababababababababababababab
50. aababababababababababababababababababababababababababababababababababababababababababababababababbba ⇒ aababababababababababababababababababababababababababababababababababababababababababababababababab
51. aabababababababababababababababababababababababababababababababababababababababababababababababababbba ⇒ aabababababababababababababababababababababababababababababababababababababababababababababababababab
52. aababababababababababababababababababababababababababababababababababababababababababababababababababbba ⇒ aababababababababababababababababababababababababababababababababababababababababababababababababababab
...

Collecting factors up to length 14, frequency 2:

Length 2:[2/0] ab, [2/1] ba
Length 3:[3/0] bab, [3/1] aba
Length 4:[4/0] abab, [4/1] baba
Length 5:[5/0] babab, [5/1] ababa
Length 6:[6/0] ababab, [6/1] bababa
Length 7:[7/0] bababab, [7/1] abababa
Length 8:[8/0] abababab, [8/1] babababa
Length 9:[9/0] babababab, [9/1] ababababa
Length 10:[10/0] ababababab, [10/1] bababababa
Length 11:[11/0] bababababab, [11/1] abababababa
Length 12:[12/0] abababababab, [12/1] babababababa
Length 13:[13/0] babababababab, [13/1] ababababababa

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

Step 2

Rewriting system is complete. See ⟨a, b | abba=aab, bbbb=1⟩.