Loop of length 26 starting with a string of length 10 found after enumerating 30323 derivations: .cbbb.bbbbbb rule cbbb -> aabcca at position 0 .aabcca.bbbbbb rule a -> b at position 5 .aabccb.bbbbbb rule cbbb -> aabcca at position 4 .aabcaabcca.bbbb rule a -> b at position 4 .aabcbabcca.bbbb rule a -> b at position 5 .aabcbbbcca.bbbb rule a -> b at position 9 .aabcbbbccb.bbbb rule cbbb -> aabcca at position 8 .aabcbbbcaabcca.bb rule a -> b at position 8 .aabcbbbcbabcca.bb rule a -> b at position 9 .aabcbbbcbbbcca.bb rule cbbb -> aabcca at position 7 .aabcbbbaabccacca.bb rule a -> b at position 7 .aabcbbbbabccacca.bb rule a -> b at position 8 .aabcbbbbbbccacca.bb rule a -> b at position 12 .aabcbbbbbbccbcca.bb rule a -> b at position 15 .aabcbbbbbbccbccb.bb rule cbbb -> aabcca at position 14 .aabcbbbbbbccbcaabcca. rule a -> b at position 14 .aabcbbbbbbccbcbabcca. rule a -> b at position 15 .aabcbbbbbbccbcbbbcca. rule cbbb -> aabcca at position 13 .aabcbbbbbbccbaabccacca. rule a -> b at position 13 .aabcbbbbbbccbbabccacca. rule a -> b at position 14 .aabcbbbbbbccbbbbccacca. rule cbbb -> aabcca at position 11 .aabcbbbbbbcaabccabccacca. rule a -> b at position 11 .aabcbbbbbbcbabccabccacca. rule a -> b at position 12 .aabcbbbbbbcbbbccabccacca. rule cbbb -> aabcca at position 10 .aabcbbbbbbaabccaccabccacca. rule a -> b at position 10 .aabcbbbbbbbabccaccabccacca. rule a -> b at position 11 .aabcbbbbbbbbbccaccabccacca.