Loop of length 11 starting with a string of length 8 found after enumerating 13909 derivations: .bca.cacaa rule bca -> aacbb at position 0 .aacbb.cacaa rule bca -> aacbb at position 4 .aacbaacbb.caa rule a -> c at position 4 .aacbcacbb.caa rule bca -> aacbb at position 8 .aacbcacbaacbb.a rule a -> c at position 8 .aacbcacbcacbb.a rule bca -> aacbb at position 7 .aacbcacaacbbcbb.a rule a -> at position 7 .aacbcacacbbcbb.a rule b -> at position 9 .aacbcacacbcbb.a rule b -> at position 11 .aacbcacacbcb.a rule b -> at position 11 .aacbcacacbc.a rule bca -> aacbb at position 9 .aacbcacacaacbb.