Loop of length 11 starting with a string of length 4 found after enumerating 543 derivations: .b.bcb rule b -> a at position 0 .a.bcb rule ab -> bacbc at position 0 .bacbc.cb rule b -> a at position 3 .bacac.cb rule cc -> at position 4 .baca.b rule ab -> bacbc at position 3 .bacbacbc. rule b -> a at position 3 .bacaacbc. rule a -> at position 3 .bacacbc. rule a -> at position 3 .baccbc. rule cc -> at position 2 .babc. rule ab -> bacbc at position 1 .bbacbcc. rule a -> at position 2 .bbcbcc.