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:

[2/0]bb42290lf:124,lp:41,ls:41,rf:41,rp:41,rs:1,re:1,lprp:41,lsrp:41,lprs:1,lsrs:1,a:1
[2/1]ba1680lf:820,rf:820,rs:40,a:1
[3/0]bab1600lf:820,rf:780,a:1
[3/1]aba1599lf:780,rf:780,rs:39,a:3
[4/0]baba1599lf:780,rf:780,rs:39,a:3
[4/1]abab1521lf:780,rf:741,a:3
[5/0]babab1521lf:780,rf:741,a:3
[5/1]ababa1520lf:741,rf:741,rs:38,a:4
[6/0]bababa1520lf:741,rf:741,rs:38,a:4
[6/1]ababab1444lf:741,rf:703,a:4
[7/0]bababab1444lf:741,rf:703,a:4
[7/1]abababa1443lf:703,rf:703,rs:37,a:5
[8/0]babababa1443lf:703,rf:703,rs:37,a:5
[8/1]abababab1369lf:703,rf:666,a:5
[9/0]babababab1369lf:703,rf:666,a:5
[9/1]ababababa1368lf:666,rf:666,rs:36,a:6
[10/0]bababababa1368lf:666,rf:666,rs:36,a:6
[10/1]ababababab1296lf:666,rf:630,a:6
[11/0]bababababab1296lf:666,rf:630,a:6
[11/1]abababababa1295lf:630,rf:630,rs:35,a:7
[12/0]babababababa1295lf:630,rf:630,rs:35,a:7
[12/1]abababababab1225lf:630,rf:595,a:7
[13/0]babababababab1225lf:630,rf:595,a:7
[13/1]ababababababa1224lf:595,rf:595,rs:34,a:8

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

Step 2

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