Loop of length 16 starting with a string of length 10 found after enumerating 199930 derivations: .caba.bababa rule caba -> aaacca at position 0 .aaacca.bababa rule caba -> aaacca at position 4 .aaacaaacca.baba rule a -> b at position 5 .aaacabacca.baba rule caba -> aaacca at position 8 .aaacabacaaacca.ba rule a -> b at position 9 .aaacabacabacca.ba rule caba -> aaacca at position 7 .aaacabaaaaccacca.ba rule a -> b at position 7 .aaacababaaccacca.ba rule a -> b at position 9 .aaacabababccacca.ba rule caba -> aaacca at position 14 .aaacabababccacaaacca. rule a -> b at position 15 .aaacabababccacabacca. rule caba -> aaacca at position 13 .aaacabababccaaaaccacca. rule a -> b at position 13 .aaacabababccabaaccacca. rule caba -> aaacca at position 11 .aaacabababcaaaccaaccacca. rule a -> b at position 12 .aaacabababcabaccaaccacca. rule caba -> aaacca at position 10 .aaacabababaaaccaccaaccacca. rule a -> b at position 11 .aaacababababaccaccaaccacca.