Loop of length 27 starting with a string of length 15 found after enumerating 14077 derivations: .aaaa.ababbababaa rule aaaa -> baba at position 0 .baba.ababbababaa rule baab -> aaba at position 2 .baaaba.abbababaa rule baab -> aaba at position 4 .baaaaaba.bababaa rule aaaa -> baba at position 1 .bbabaaba.bababaa rule baab -> aaba at position 3 .bbaaabaa.bababaa rule baab -> aaba at position 5 .bbaaaaaba.ababaa rule aaaa -> baba at position 2 .bbbabaaba.ababaa rule baab -> aaba at position 7 .bbbabaaaaba.abaa rule baab -> aaba at position 9 .bbbabaaaaaaba.aa rule aaaa -> baba at position 7 .bbbabaabababa.aa rule baab -> aaba at position 4 .bbbaaabaababa.aa rule baab -> aaba at position 6 .bbbaaaaabaaba.aa rule baab -> aaba at position 8 .bbbaaaaaaabaa.aa rule aaaa -> baba at position 5 .bbbaababaabaa.aa rule baab -> aaba at position 2 .bbaabaabaabaa.aa rule baab -> aaba at position 1 .baabaaabaabaa.aa rule baab -> aaba at position 0 .aabaaaabaabaa.aa rule baab -> aaba at position 7 .aabaaaaaabaaa.aa rule aaaa -> baba at position 5 .aabaabababaaa.aa rule baab -> aaba at position 2 .aaaabaababaaa.aa rule baab -> aaba at position 4 .aaaaaabaabaaa.aa rule baab -> aaba at position 6 .aaaaaaaabaaaa.aa rule aaaa -> baba at position 11 .aaaaaaaabaababa. rule baab -> aaba at position 8 .aaaaaaaaaabaaba. rule aaaa -> baba at position 5 .aaaaababaabaaba. rule baab -> aaba at position 10 .aaaaababaaaabaa. rule aaaa -> baba at position 8 .aaaaababbababaa.