Loop of length 16 starting with a string of length 11 found after enumerating 12723 derivations: .aaa.caaccacc rule aaa -> b at position 0 .b.caaccacc rule bc -> ccaaaa at position 0 .ccaaaa.aaccacc rule aaa -> b at position 2 .ccba.aaccacc rule aaa -> b at position 3 .ccbb.ccacc rule bc -> ccaaaa at position 3 .ccbccaaaa.cacc rule bc -> ccaaaa at position 2 .ccccaaaacaaaa.cacc rule aaa -> b at position 5 .ccccabcaaaa.cacc rule bc -> ccaaaa at position 5 .ccccaccaaaaaaaa.cacc rule aaa -> b at position 9 .ccccaccaabaaa.cacc rule aaa -> b at position 10 .ccccaccaabb.cacc rule bc -> ccaaaa at position 10 .ccccaccaabccaaaa.acc rule bc -> ccaaaa at position 9 .ccccaccaaccaaaacaaaa.acc rule aaa -> b at position 18 .ccccaccaaccaaaacaab.cc rule bc -> ccaaaa at position 18 .ccccaccaaccaaaacaaccaaaa.c rule aaa -> b at position 21 .ccccaccaaccaaaacaaccab.c rule bc -> ccaaaa at position 21 .ccccaccaaccaaaacaaccaccaaaa.