Loop of length 15 starting with a string of length 6 found after enumerating 10805 derivations: .a.bcbcc rule a -> b at position 0 .b.bcbcc rule bbc -> acccaa at position 0 .acccaa.bcc rule a -> b at position 4 .acccba.bcc rule a -> b at position 5 .acccbb.bcc rule bbc -> acccaa at position 5 .acccbacccaa.c rule a -> b at position 5 .acccbbcccaa.c rule bbc -> acccaa at position 4 .acccacccaaccaa.c rule a -> b at position 8 .acccacccbaccaa.c rule a -> b at position 9 .acccacccbbccaa.c rule bbc -> acccaa at position 8 .acccacccacccaacaa.c rule a -> b at position 13 .acccacccacccabcaa.c rule a -> b at position 15 .acccacccacccabcba.c rule a -> b at position 16 .acccacccacccabcbb.c rule bbc -> acccaa at position 15 .acccacccacccabcacccaa. rule a -> b at position 15 .acccacccacccabcbcccaa.