Morphocompletion for #27144 ⟨a, b | aa=1, abbabba=bb⟩

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

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

Step 1

Checking up to 80 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. bbbbbb ⇒ bb
2. bbabbbb ⇒ bba
3. bbbba ⇒ abbbb
4. aa ⇒ 1
5. abba ⇒ bbabb
6. bbababbbb ⇒ bbaba
7. bbabababbbb ⇒ bbababa
8. bbababababbbb ⇒ bbabababa
9. bbabababababbbb ⇒ bbababababa
10. bbababababababbbb ⇒ bbabababababa
11. bbabababababababbbb ⇒ bbababababababa
12. bbababababababababbbb ⇒ bbabababababababa
13. bbabababababababababbbb ⇒ bbababababababababa
14. bbababababababababababbbb ⇒ bbabababababababababa
15. bbabababababababababababbbb ⇒ bbababababababababababa
16. bbababababababababababababbbb ⇒ bbabababababababababababa
17. bbabababababababababababababbbb ⇒ bbababababababababababababa
18. bbababababababababababababababbbb ⇒ bbabababababababababababababa
19. bbabababababababababababababababbbb ⇒ bbababababababababababababababa
20. bbababababababababababababababababbbb ⇒ bbabababababababababababababababa
21. bbabababababababababababababababababbbb ⇒ bbababababababababababababababababa
22. bbababababababababababababababababababbbb ⇒ bbabababababababababababababababababa
23. bbabababababababababababababababababababbbb ⇒ bbababababababababababababababababababa
24. bbababababababababababababababababababababbbb ⇒ bbabababababababababababababababababababa
25. bbabababababababababababababababababababababbbb ⇒ bbababababababababababababababababababababa
26. bbababababababababababababababababababababababbbb ⇒ bbabababababababababababababababababababababa
27. bbabababababababababababababababababababababababbbb ⇒ bbababababababababababababababababababababababa
28. bbababababababababababababababababababababababababbbb ⇒ bbabababababababababababababababababababababababa
29. bbabababababababababababababababababababababababababbbb ⇒ bbababababababababababababababababababababababababa
30. bbababababababababababababababababababababababababababbbb ⇒ bbabababababababababababababababababababababababababa
31. bbabababababababababababababababababababababababababababbbb ⇒ bbababababababababababababababababababababababababababa
32. bbababababababababababababababababababababababababababababbbb ⇒ bbabababababababababababababababababababababababababababa
33. bbabababababababababababababababababababababababababababababbbb ⇒ bbababababababababababababababababababababababababababababa
34. bbababababababababababababababababababababababababababababababbbb ⇒ bbabababababababababababababababababababababababababababababa
35. bbabababababababababababababababababababababababababababababababbbb ⇒ bbababababababababababababababababababababababababababababababa
36. bbababababababababababababababababababababababababababababababababbbb ⇒ bbabababababababababababababababababababababababababababababababa
37. bbabababababababababababababababababababababababababababababababababbbb ⇒ bbababababababababababababababababababababababababababababababababa
38. bbababababababababababababababababababababababababababababababababababbbb ⇒ bbabababababababababababababababababababababababababababababababababa
39. bbabababababababababababababababababababababababababababababababababababbbb ⇒ bbababababababababababababababababababababababababababababababababababa
40. bbababababababababababababababababababababababababababababababababababababbbb ⇒ bbabababababababababababababababababababababababababababababababababababa
41. bbabababababababababababababababababababababababababababababababababababababbbb ⇒ bbababababababababababababababababababababababababababababababababababababa
42. bbababababababababababababababababababababababababababababababababababababababbbb ⇒ bbabababababababababababababababababababababababababababababababababababababa
43. bbabababababababababababababababababababababababababababababababababababababababbbb ⇒ bbababababababababababababababababababababababababababababababababababababababa
44. bbababababababababababababababababababababababababababababababababababababababababbbb ⇒ bbabababababababababababababababababababababababababababababababababababababababa
45. bbabababababababababababababababababababababababababababababababababababababababababbbb ⇒ bbababababababababababababababababababababababababababababababababababababababababa
46. bbababababababababababababababababababababababababababababababababababababababababababbbb ⇒ bbabababababababababababababababababababababababababababababababababababababababababa
47. bbabababababababababababababababababababababababababababababababababababababababababababbbb ⇒ bbababababababababababababababababababababababababababababababababababababababababababa
48. bbababababababababababababababababababababababababababababababababababababababababababababbbb ⇒ bbabababababababababababababababababababababababababababababababababababababababababababa
49. bbabababababababababababababababababababababababababababababababababababababababababababababbbb ⇒ bbababababababababababababababababababababababababababababababababababababababababababababa
50. bbababababababababababababababababababababababababababababababababababababababababababababababbbb ⇒ bbabababababababababababababababababababababababababababababababababababababababababababababa
51. bbabababababababababababababababababababababababababababababababababababababababababababababababbbb ⇒ bbababababababababababababababababababababababababababababababababababababababababababababababa
52. bbababababababababababababababababababababababababababababababababababababababababababababababababbbb ⇒ bbabababababababababababababababababababababababababababababababababababababababababababababababa
53. bbabababababababababababababababababababababababababababababababababababababababababababababababababbbb ⇒ bbababababababababababababababababababababababababababababababababababababababababababababababababa
54. bbababababababababababababababababababababababababababababababababababababababababababababababababababbbb ⇒ bbabababababababababababababababababababababababababababababababababababababababababababababababababa
55. bbabababababababababababababababababababababababababababababababababababababababababababababababababababbbb ⇒ bbababababababababababababababababababababababababababababababababababababababababababababababababababa
56. bbababababababababababababababababababababababababababababababababababababababababababababababababababababbbb ⇒ bbabababababababababababababababababababababababababababababababababababababababababababababababababababa
57. bbabababababababababababababababababababababababababababababababababababababababababababababababababababababbbb ⇒ bbababababababababababababababababababababababababababababababababababababababababababababababababababababa
58. bbababababababababababababababababababababababababababababababababababababababababababababababababababababababbbb ⇒ bbabababababababababababababababababababababababababababababababababababababababababababababababababababababa
59. bbabababababababababababababababababababababababababababababababababababababababababababababababababababababababbbb ⇒ bbababababababababababababababababababababababababababababababababababababababababababababababababababababababa
60. bbababababababababababababababababababababababababababababababababababababababababababababababababababababababababbbb ⇒ bbabababababababababababababababababababababababababababababababababababababababababababababababababababababababa
61. bbabababababababababababababababababababababababababababababababababababababababababababababababababababababababababbbb ⇒ bbababababababababababababababababababababababababababababababababababababababababababababababababababababababababa
62. bbababababababababababababababababababababababababababababababababababababababababababababababababababababababababababbbb ⇒ bbabababababababababababababababababababababababababababababababababababababababababababababababababababababababababa
63. bbabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababbbb ⇒ bbababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa
64. bbababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababbbb ⇒ bbabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa
65. bbabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababbbb ⇒ bbababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa
66. bbababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababbbb ⇒ bbabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa
67. bbabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababbbb ⇒ bbababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa
68. bbababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababbbb ⇒ bbabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa
69. bbabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababbbb ⇒ bbababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa
70. bbababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababbbb ⇒ bbabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa
71. bbabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababbbb ⇒ bbababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa
72. bbababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababbbb ⇒ bbabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa
73. bbabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababbbb ⇒ bbababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa
74. bbababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababbbb ⇒ bbabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa
75. bbabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababbbb ⇒ bbababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa
76. bbababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababbbb ⇒ bbabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa
77. bbabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababbbb ⇒ bbababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa
78. bbababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababbbb ⇒ bbabababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababababa
...

Collecting factors up to length 14 / frequency 2:

[2/0]bb77616lf:305,lp:76,ls:75,rf:80,rp:76,rs:3,re:1,lprp:75,lsrp:75,lprs:2,lsrs:1,a:4
[2/1]ba5629lf:2777,ls:2,rf:2776,rs:74,a:4
[3/0]bab5477lf:2775,rf:2702,a:5
[3/1]aba5475lf:2701,rf:2701,rs:73,a:8
[4/0]bbbb10157lf:78,lp:2,ls:75,rf:1,rs:1,lprs:10,a:4
[4/1]baba5475lf:2701,rf:2701,rs:73,a:8
[5/0]babab5329lf:2701,rf:2628,a:8
[5/1]ababa5328lf:2628,rf:2628,rs:72,a:9
[6/0]bababa5328lf:2628,rf:2628,rs:72,a:9
[6/1]ababab5184lf:2628,rf:2556,a:9
[7/0]bababab5184lf:2628,rf:2556,a:9
[7/1]abababa5183lf:2556,rf:2556,rs:71,a:10
[8/0]babababa5183lf:2556,rf:2556,rs:71,a:10
[8/1]abababab5041lf:2556,rf:2485,a:10
[9/0]babababab5041lf:2556,rf:2485,a:10
[9/1]ababababa5040lf:2485,rf:2485,rs:70,a:11
[10/0]bababababa5040lf:2485,rf:2485,rs:70,a:11
[10/1]ababababab4900lf:2485,rf:2415,a:11
[11/0]bababababab4900lf:2485,rf:2415,a:11
[11/1]abababababa4899lf:2415,rf:2415,rs:69,a:12
[12/0]babababababa4899lf:2415,rf:2415,rs:69,a:12
[12/1]abababababab4761lf:2415,rf:2346,a:12
[13/0]babababababab4761lf:2415,rf:2346,a:12
[13/1]ababababababa4760lf:2346,rf:2346,rs:68,a:13

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

Step 2

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