Loop of length 16 starting with a string of length 11 found after enumerating 301246 derivations: .a.aacaaccacc rule a -> b at position 0 .b.aacaaccacc rule baac -> ccaaaa at position 0 .ccaaaa.aaccacc rule a -> b at position 2 .ccbaaa.aaccacc rule a -> b at position 5 .ccbaab.aaccacc rule baac -> ccaaaa at position 5 .ccbaaccaaaa.cacc rule baac -> ccaaaa at position 2 .ccccaaaacaaaa.cacc rule a -> b at position 5 .ccccabaacaaaa.cacc rule baac -> ccaaaa at position 5 .ccccaccaaaaaaaa.cacc rule a -> b at position 9 .ccccaccaabaaaaa.cacc rule a -> b at position 12 .ccccaccaabaabaa.cacc rule baac -> ccaaaa at position 12 .ccccaccaabaaccaaaa.acc rule baac -> ccaaaa at position 9 .ccccaccaaccaaaacaaaa.acc rule a -> b at position 18 .ccccaccaaccaaaacaaba.acc rule baac -> ccaaaa at position 18 .ccccaccaaccaaaacaaccaaaa.c rule a -> b at position 21 .ccccaccaaccaaaacaaccabaa.c rule baac -> ccaaaa at position 21 .ccccaccaaccaaaacaaccaccaaaa.