Loop of length 23 starting with a string of length 4 found after enumerating 1865 derivations: .ca.aa rule ca -> babcc at position 0 .babcc.aa rule ca -> babcc at position 4 .babcbabcc.a rule a -> at position 5 .babcbbcc.a rule bb -> ac at position 4 .babcaccc.a rule ca -> babcc at position 3 .babbabccccc.a rule bb -> ac at position 2 .baacabccccc.a rule ca -> babcc at position 10 .baacabccccbabcc. rule a -> at position 11 .baacabccccbbcc. rule bb -> ac at position 10 .baacabccccaccc. rule ca -> babcc at position 9 .baacabcccbabccccc. rule a -> at position 10 .baacabcccbbccccc. rule bb -> ac at position 9 .baacabcccacccccc. rule ca -> babcc at position 8 .baacabccbabcccccccc. rule a -> at position 9 .baacabccbbcccccccc. rule bb -> ac at position 8 .baacabccaccccccccc. rule ca -> babcc at position 7 .baacabcbabccccccccccc. rule a -> at position 8 .baacabcbbccccccccccc. rule bb -> ac at position 7 .baacabcacccccccccccc. rule ca -> babcc at position 6 .baacabbabcccccccccccccc. rule bb -> ac at position 5 .baacaacabcccccccccccccc. rule ca -> babcc at position 6 .baacaababccbcccccccccccccc. rule a -> at position 7 .baacaabbccbcccccccccccccc. rule bb -> ac at position 6 .baacaaacccbcccccccccccccc.