Morphocompletion for #5867 ⟨a, b | ababab=aabba⟩

Back:⟨a, b | ababab=aabba⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: arenaTotalLimit

#Rule
1. ababab ⇒ aabba
2. abaabba ⇒ aabbaab
3. aabbaabbabab ⇒ aabbaababba
4. aabbaabbaabba ⇒ aabbaababbaab
5. aabbaababbabab ⇒ aabbaaabbaba
6. aabbaababbaabba ⇒ aabbaaabbabaab
7. aabbaabbaababba ⇒ aabbaaabbabaabb
8. aabbaababbaababba ⇒ aabbaaabbaabbaabb
9. aabbaaabbabaabbbab ⇒ aabbaabbaaabbaba
10. aabbaaabbaababbaabb ⇒ aabbaaabbabaababba
11. aabbaaabbaabbaabbba ⇒ aabbaabbaaabbabaab
...

Collecting factors up to length 7 / frequency 4:

[2/0]ab50lf:44,lp:2,ls:4,rf:39,rs:4,lprs:1
[2/1]ba45lf:39,ls:6,rf:33,rs:5
[2/2]aa40lf:31,lp:9,rf:37,rp:11,lprp:9
[2/3]bb31lf:30,ls:1,rf:26,rs:2
[3/0]aab37lf:28,lp:9,rf:30,rp:11,rs:4,lprp:9,lprs:3
[3/1]bba33lf:27,ls:6,rf:24,rs:3
[3/2]abb29lf:28,ls:1,rf:26,rs:2
[3/3]baa19lf:19,rf:19,a:1
[4/0]aabb32lf:22,lp:9,ls:1,rf:23,rp:11,rs:2,lprp:9,lsrp:1,lprs:2
[4/1]abba30lf:25,ls:5,rf:24,rs:3
[4/2]bbaa17lf:17,rf:15,a:1
[4/3]baab16lf:16,rf:12,rs:4,a:1
[5/0]aabba31lf:19,lp:9,ls:3,rf:21,rp:11,rs:1,re:1,lprp:9,lsrp:3
[5/1]abbaa17lf:17,rf:15,a:1
[5/2]bbaab14lf:14,rf:8,rs:2,a:1
[5/3]baabb11lf:10,ls:1,rf:5,rs:2,a:1
[6/0]aabbaa23lf:14,lp:9,rf:14,rp:10,lprp:9,a:1
[6/1]abbaab14lf:14,rf:8,rs:2,a:1
[6/2]baabba10lf:7,ls:3,rf:3,a:1
[6/3]bbaabb9lf:8,ls:1,rf:4,rs:1,a:2

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

Step 2

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. ab ⇒ c
2. acbc ⇒ cccb
3. ccccba ⇒ cccbcc
4. cccbccb ⇒ ccccbc
5. ccccbcccb ⇒ cccbcccbc
6. acba ⇒ ccc
7. cccbcccba ⇒ ccccbccc
8. cccbcccbca ⇒ cccccbccc
9. cccbcccbcca ⇒ ccccccbccc
10. cccbcccbccca ⇒ cccccccbccc
11. cccbcccbcccca ⇒ ccccccccbccc
12. cccbcccbccccca ⇒ cccccccccbccc
13. cccbcccbcccccca ⇒ ccccccccccbccc
14. ccccbccccbca ⇒ cccbccccbccc
15. ccccbccccbcca ⇒ cccbcccccbccc
16. ccccbccccbccca ⇒ cccbccccccbccc
17. cccbcccbcccb ⇒ ccccbccccbc
18. cccbcccbccccb ⇒ cccccbccccbc
19. cccbcccbcccccb ⇒ ccccccbccccbc
20. cccbcccbccccccb ⇒ cccccccbccccbc
...

Collecting factors up to length 6 / frequency 7:

[2/0]cc122lf:105,lp:17,rf:124,rp:19,rs:12,lprp:17,lprs:11,a:2
[2/1]cb45lf:39,ls:6,rf:26,rs:1,a:2
[2/2]bc31lf:30,ls:1,rf:25,rs:6,a:3
[2/3]ca18lf:9,ls:9,a:9
[2/4]ba6lf:3,ls:3,a:2
[2/5]ac4lf:2,lp:2,a:2
[3/0]ccc78lf:61,lp:17,rf:86,rp:19,rs:11,re:1,lprp:17,lprs:10,a:2
[3/1]ccb43lf:37,ls:6,rf:26,rs:1,a:3
[3/2]cbc31lf:30,ls:1,rf:25,rs:6,a:3
[3/3]bcc27lf:27,rf:19,rs:1,a:4
[3/4]cca14lf:7,ls:7,a:11
[3/5]cba6lf:3,ls:3,a:2
[3/6]bca4lf:2,ls:2,a:9
[4/0]cccb53lf:36,lp:12,ls:5,rf:26,rp:6,rs:1,re:1,lsrp:1,a:3
[4/1]ccbc29lf:29,rf:25,rs:6,a:4
[4/2]cbcc27lf:27,rf:19,rs:1,a:4
[4/3]cccc25lf:20,lp:5,rf:49,rp:12,a:4
[4/4]bccc24lf:24,rf:18,rs:10,a:6
[4/5]ccca10lf:5,ls:5,a:15
[4/6]ccba4lf:2,ls:2,a:4
[5/0]cccbc41lf:29,lp:12,rf:25,rp:5,rs:6,lprs:5,a:4
[5/1]ccbcc27lf:27,rf:19,rs:1,a:4
[5/2]cbccc24lf:24,rf:18,rs:10,a:6
[5/3]ccccb19lf:11,lp:5,ls:3,rf:19,rp:3,a:4
[5/4]bcccb15lf:13,ls:2,rf:1,a:6
[5/5]bcccc9lf:9,rf:7,a:8
[5/6]cccca6lf:3,ls:3,a:19

Considering [length 4 / frequency 0] cccb=d.

Step 3

Rewriting system is complete. See ⟨a, b | ababab=aabba⟩.