Loop of length 14 starting with a string of length 8 found after enumerating 1692 derivations: .ccc.bccbc rule ccc -> ccabb at position 0 .ccabb.bccbc rule bb -> bca at position 4 .ccabbca.ccbc rule bb -> bca at position 3 .ccabcaca.ccbc rule a -> at position 5 .ccabcca.ccbc rule a -> at position 6 .ccabcc.ccbc rule ccc -> ccabb at position 5 .ccabcccabb.bc rule a -> at position 7 .ccabcccbb.bc rule bb -> bca at position 8 .ccabcccbbca.c rule bb -> bca at position 7 .ccabcccbcaca.c rule a -> at position 9 .ccabcccbcca.c rule a -> at position 10 .ccabcccbcc.c rule ccc -> ccabb at position 8 .ccabcccbccabb. rule a -> at position 10 .ccabcccbccbb. rule bb -> bca at position 10 .ccabcccbccbca.