Loop of length 25 starting with a string of length 8 found after enumerating 10427 derivations: .cc.bcbcbc rule cc -> bcbaa at position 0 .bcbaa.bcbcbc rule ab -> c at position 4 .bcbac.cbcbc rule cc -> bcbaa at position 4 .bcbabcbaa.bcbc rule ab -> c at position 3 .bcbccbaa.bcbc rule cc -> bcbaa at position 3 .bcbbcbaabaa.bcbc rule ab -> c at position 7 .bcbbcbacaa.bcbc rule ab -> c at position 9 .bcbbcbacac.cbc rule cc -> bcbaa at position 9 .bcbbcbacabcbaa.bc rule ab -> c at position 8 .bcbbcbacccbaa.bc rule cc -> bcbaa at position 7 .bcbbcbabcbaacbaa.bc rule ab -> c at position 6 .bcbbcbccbaacbaa.bc rule cc -> bcbaa at position 6 .bcbbcbbcbaabaacbaa.bc rule ab -> c at position 10 .bcbbcbbcbacaacbaa.bc rule a -> at position 11 .bcbbcbbcbacacbaa.bc rule a -> at position 11 .bcbbcbbcbaccbaa.bc rule cc -> bcbaa at position 10 .bcbbcbbcbabcbaabaa.bc rule ab -> c at position 9 .bcbbcbbcbccbaabaa.bc rule a -> at position 12 .bcbbcbbcbccbabaa.bc rule ab -> c at position 12 .bcbbcbbcbccbcaa.bc rule ab -> c at position 14 .bcbbcbbcbccbcac.c rule cc -> bcbaa at position 14 .bcbbcbbcbccbcabcbaa. rule ab -> c at position 13 .bcbbcbbcbccbcccbaa. rule cc -> bcbaa at position 13 .bcbbcbbcbccbcbcbaabaa. rule a -> at position 16 .bcbbcbbcbccbcbcbabaa. rule ab -> c at position 16 .bcbbcbbcbccbcbcbcaa.