Loop of length 29 starting with a string of length 6 found after enumerating 41897 derivations: .ac.cbcc rule ac -> cbaa at position 0 .cbaa.cbcc rule ac -> cbaa at position 3 .cbacbaa.bcc rule ac -> cbaa at position 2 .cbcbaabaa.bcc rule a -> at position 4 .cbcbabaa.bcc rule a -> at position 4 .cbcbbaa.bcc rule a -> at position 5 .cbcbba.bcc rule a -> at position 5 .cbcbb.bcc rule bb -> bca at position 4 .cbcbbca.cc rule bb -> bca at position 3 .cbcbcaca.cc rule ac -> cbaa at position 5 .cbcbccbaaa.cc rule ac -> cbaa at position 9 .cbcbccbaacbaa.c rule ac -> cbaa at position 8 .cbcbccbacbaabaa.c rule ac -> cbaa at position 7 .cbcbccbcbaabaabaa.c rule a -> at position 9 .cbcbccbcbabaabaa.c rule a -> at position 9 .cbcbccbcbbaabaa.c rule a -> at position 10 .cbcbccbcbbabaa.c rule a -> at position 10 .cbcbccbcbbbaa.c rule bb -> bca at position 9 .cbcbccbcbbcaaa.c rule bb -> bca at position 8 .cbcbccbcbcacaaa.c rule ac -> cbaa at position 14 .cbcbccbcbcacaacbaa. rule ac -> cbaa at position 13 .cbcbccbcbcacacbaabaa. rule ac -> cbaa at position 12 .cbcbccbcbcaccbaabaabaa. rule a -> at position 14 .cbcbccbcbcaccbabaabaa. rule a -> at position 14 .cbcbccbcbcaccbbaabaa. rule a -> at position 15 .cbcbccbcbcaccbbabaa. rule a -> at position 15 .cbcbccbcbcaccbbbaa. rule bb -> bca at position 14 .cbcbccbcbcaccbbcaaa. rule bb -> bca at position 13 .cbcbccbcbcaccbcacaaa. rule a -> at position 15 .cbcbccbcbcaccbccaaa.