Loop of length 15 starting with a string of length 10 found after enumerating 3258 derivations: .a.bbbbbbbbb rule a -> bc at position 0 .bc.bbbbbbbbb rule cbbb -> baba at position 1 .bbaba.bbbbbb rule a -> bc at position 4 .bbabbc.bbbbbb rule cbbb -> baba at position 5 .bbabbbaba.bbb rule a -> bc at position 6 .bbabbbbcba.bbb rule a -> bc at position 9 .bbabbbbcbbc.bbb rule cbbb -> baba at position 10 .bbabbbbcbbbaba. rule cbbb -> baba at position 7 .bbabbbbbabaaba. rule a -> bc at position 8 .bbabbbbbbcbaaba. rule a -> at position 11 .bbabbbbbbcbaba. rule a -> at position 11 .bbabbbbbbcbba. rule a -> bc at position 12 .bbabbbbbbcbbbc. rule cbbb -> baba at position 9 .bbabbbbbbbabac. rule a -> at position 10 .bbabbbbbbbbac. rule a -> bc at position 11 .bbabbbbbbbbbcc.