Loop of length 17 starting with a string of length 8 found after enumerating 3098 derivations: .cc.acacac rule cc -> bab at position 0 .bab.acacac rule ba -> ac at position 2 .baac.cacac rule aa -> b at position 1 .bbc.cacac rule cc -> bab at position 2 .bbbab.acac rule ba -> ac at position 4 .bbbaac.cac rule aa -> b at position 3 .bbbbc.cac rule cc -> bab at position 4 .bbbbbab.ac rule ba -> ac at position 4 .bbbbacb.ac rule ba -> ac at position 3 .bbbaccb.ac rule ba -> ac at position 2 .bbacccb.ac rule ba -> ac at position 1 .baccccb.ac rule cc -> bab at position 4 .baccbabb.ac rule ba -> ac at position 4 .baccacbb.ac rule ba -> ac at position 7 .baccacbac.c rule ba -> ac at position 6 .baccacacc.c rule cc -> bab at position 8 .baccacacbab. rule ba -> ac at position 8 .baccacacacb.