Loop of length 24 starting with a string of length 11 found after enumerating 1150047 derivations: .a.abcabccbcc rule a -> b at position 0 .b.abcabccbcc rule babc -> ccaaaa at position 0 .ccaaaa.abccbcc rule a -> b at position 2 .ccbaaa.abccbcc rule a -> b at position 4 .ccbaba.abccbcc rule a -> b at position 5 .ccbabb.abccbcc rule babc -> ccaaaa at position 5 .ccbabccaaaa.cbcc rule babc -> ccaaaa at position 2 .ccccaaaacaaaa.cbcc rule a -> b at position 5 .ccccabaacaaaa.cbcc rule a -> b at position 7 .ccccababcaaaa.cbcc rule babc -> ccaaaa at position 5 .ccccaccaaaaaaaa.cbcc rule a -> b at position 9 .ccccaccaabaaaaa.cbcc rule a -> b at position 11 .ccccaccaababaaa.cbcc rule a -> b at position 12 .ccccaccaababbaa.cbcc rule a -> b at position 14 .ccccaccaababbab.cbcc rule babc -> ccaaaa at position 12 .ccccaccaababccaaaa.bcc rule babc -> ccaaaa at position 9 .ccccaccaaccaaaacaaaa.bcc rule a -> b at position 14 .ccccaccaaccaaabcaaaa.bcc rule a -> b at position 17 .ccccaccaaccaaabcabaa.bcc rule a -> b at position 18 .ccccaccaaccaaabcabba.bcc rule babc -> ccaaaa at position 18 .ccccaccaaccaaabcabccaaaa.c rule a -> b at position 20 .ccccaccaaccaaabcabccbaaa.c rule a -> b at position 21 .ccccaccaaccaaabcabccbbaa.c rule a -> b at position 23 .ccccaccaaccaaabcabccbbab.c rule babc -> ccaaaa at position 21 .ccccaccaaccaaabcabccbccaaaa.