Morphocompletion for #5730 ⟨a, b | aaaa=1, bbabb=a⟩

Back:⟨a, b | aaaa=1, bbabb=a⟩

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

Step 1

Checking up to 80 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. aaaa ⇒ 1
2. aabb ⇒ bbaa
3. abbaaab ⇒ babbaaa
4. ababb ⇒ bbaba
5. bbabb ⇒ a
6. abbbbaaab ⇒ babbbbaaa
7. abbbbbbaaab ⇒ babbbbbbaaa
8. abbbbbbbbaaab ⇒ babbbbbbbbaaa
9. abbbbbbbbbbaaab ⇒ babbbbbbbbbbaaa
10. abbbbbbbbbbbbaaab ⇒ babbbbbbbbbbbbaaa
11. abbbbbbbbbbbbbbaaab ⇒ babbbbbbbbbbbbbbaaa
12. abbbbbbbbbbbbbbbbaaab ⇒ babbbbbbbbbbbbbbbbaaa
13. abbbbbbbbbbbbbbbbbbaaab ⇒ babbbbbbbbbbbbbbbbbbaaa
14. abbbbbbbbbbbbbbbbbbbbaaab ⇒ babbbbbbbbbbbbbbbbbbbbaaa
15. abbbbbbbbbbbbbbbbbbbbbbaaab ⇒ babbbbbbbbbbbbbbbbbbbbbbaaa
16. abbbbbbbbbbbbbbbbbbbbbbbbaaab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbaaa
17. abbbbbbbbbbbbbbbbbbbbbbbbbbaaab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbaaa
18. abbbbbbbbbbbbbbbbbbbbbbbbbbbbaaab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa
19. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa
20. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa
21. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa
22. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa
23. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa
24. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa
25. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa
26. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa
27. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa
28. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa
29. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa
30. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa
31. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa
32. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa
33. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa
34. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa
35. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa
36. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa
37. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa
38. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa
39. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaaba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
40. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa
41. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaaba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
42. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa
43. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaaba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
44. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa
45. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaaba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
46. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaab ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaa
47. abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbaaaba ⇒ babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
...

Collecting factors up to length 14 / frequency 2:

[2/0]bb5615lf:1803,lp:1,ls:3,rf:1801,rp:2,rs:5,lsrp:2,a:1
[2/1]ba5183lf:50,ls:5,rf:84,rp:43,rs:1,lsrp:5,a:1
[3/0]bbb3517lf:1756,rf:1756,rs:5,a:7
[3/1]aba1014lf:6,lp:1,ls:5,rf:1,rs:1,lprs:1,a:3
[4/0]bbbb3433lf:1714,rf:1714,rs:5,a:7
[4/1]abbb126lf:42,lp:42,rf:42,a:7
[5/0]bbbbb3349lf:1672,rf:1672,rs:5,a:9
[5/1]abbbb126lf:42,lp:42,rf:42,a:7
[6/0]abbaaa10004lf:1,lp:1,rf:1,rs:1,lprs:10,a:5
[6/1]bbbbbb3267lf:1631,rf:1631,rs:5,a:9
[7/0]bbbbbbb3185lf:1590,rf:1590,rs:5,a:11
[7/1]abbbbbb123lf:41,lp:41,rf:41,a:9
[8/0]abbbbaaa10004lf:1,lp:1,rf:1,rs:1,lprs:10,a:7
[8/1]bbbbbbbb3105lf:1550,rf:1550,rs:5,a:11
[9/0]bbbbbbbbb3025lf:1510,rf:1510,rs:5,a:13
[9/1]abbbbbbbb120lf:40,lp:40,rf:40,a:11
[10/0]abbbbbbaaa10004lf:1,lp:1,rf:1,rs:1,lprs:10,a:9
[10/1]bbbbbbbbbb2947lf:1471,rf:1471,rs:5,a:13
[11/0]bbbbbbbbbbb2869lf:1432,rf:1432,rs:5,a:15
[11/1]abbbbbbbbbb117lf:39,lp:39,rf:39,a:13
[12/0]abbbbbbbbaaa10004lf:1,lp:1,rf:1,rs:1,lprs:10,a:11
[12/1]bbbbbbbbbbbb2793lf:1394,rf:1394,rs:5,a:15
[13/0]bbbbbbbbbbbbb2717lf:1356,rf:1356,rs:5,a:17
[13/1]abbbbbbbbbbbb114lf:38,lp:38,rf:38,a:15

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

Step 2

Rewriting system is complete. See ⟨a, b | aaaa=1, bbabb=a⟩.