Loop of length 12 starting with a string of length 6 found after enumerating 1867 derivations: .a.bcbcc rule a -> b at position 0 .b.bcbcc rule bbc -> ccaaa at position 0 .ccaaa.bcc rule a -> b at position 2 .ccbaa.bcc rule a -> b at position 3 .ccbba.bcc rule a -> b at position 4 .ccbbb.bcc rule bbc -> ccaaa at position 4 .ccbbccaaa.c rule bbc -> ccaaa at position 2 .ccccaaacaaa.c rule a -> b at position 6 .ccccaabcaaa.c rule a -> b at position 8 .ccccaabcbaa.c rule a -> b at position 9 .ccccaabcbba.c rule a -> b at position 10 .ccccaabcbbb.c rule bbc -> ccaaa at position 9 .ccccaabcbccaaa.