Loop of length 25 starting with a string of length 11 found after enumerating 354146 derivations: .a.bbcbbccbcc rule a -> b at position 0 .b.bbcbbccbcc rule bbbc -> ccaaba at position 0 .ccaaba.bbccbcc rule a -> b at position 2 .ccbaba.bbccbcc rule a -> b at position 3 .ccbbba.bbccbcc rule a -> b at position 5 .ccbbbb.bbccbcc rule bbbc -> ccaaba at position 5 .ccbbbccaaba.cbcc rule bbbc -> ccaaba at position 2 .ccccaabacaaba.cbcc rule a -> b at position 5 .ccccabbacaaba.cbcc rule a -> b at position 7 .ccccabbbcaaba.cbcc rule bbbc -> ccaaba at position 5 .ccccaccaabaaaba.cbcc rule a -> b at position 10 .ccccaccaabbaaba.cbcc rule a -> b at position 11 .ccccaccaabbbaba.cbcc rule a -> b at position 12 .ccccaccaabbbbba.cbcc rule a -> b at position 14 .ccccaccaabbbbbb.cbcc rule bbbc -> ccaaba at position 12 .ccccaccaabbbccaaba.bcc rule bbbc -> ccaaba at position 9 .ccccaccaaccaabacaaba.bcc rule a -> b at position 14 .ccccaccaaccaabbcaaba.bcc rule a -> b at position 16 .ccccaccaaccaabbcbaba.bcc rule a -> b at position 17 .ccccaccaaccaabbcbbba.bcc rule a -> b at position 19 .ccccaccaaccaabbcbbbb.bcc rule bbbc -> ccaaba at position 18 .ccccaccaaccaabbcbbccaaba.c rule a -> b at position 20 .ccccaccaaccaabbcbbccbaba.c rule a -> b at position 21 .ccccaccaaccaabbcbbccbbba.c rule a -> b at position 23 .ccccaccaaccaabbcbbccbbbb.c rule bbbc -> ccaaba at position 21 .ccccaccaaccaabbcbbccbccaaba.