Loop of length 16 starting with a string of length 5 found after enumerating 29285 derivations: .c.aaaa rule c -> ab at position 0 .ab.aaaa rule baa -> ccc at position 1 .accc.aa rule c -> ab at position 2 .acabc.aa rule c -> ab at position 4 .acabab.aa rule baa -> ccc at position 5 .acabaccc. rule c -> ab at position 5 .acabaabcc. rule baa -> ccc at position 3 .acacccbcc. rule c -> ab at position 3 .acaabccbcc. rule c -> ab at position 5 .acaababcbcc. rule bc -> at position 6 .acaababcc. rule bc -> at position 6 .acaabac. rule c -> ab at position 6 .acaabaab. rule baa -> ccc at position 4 .acaacccb. rule c -> ab at position 4 .acaaabccb. rule bc -> at position 5 .acaaacb. rule c -> ab at position 5 .acaaaabb.