Loop of length 19 starting with a string of length 6 found after enumerating 69742 derivations: .bca.aaa rule bca -> cabac at position 0 .cabac.aaa rule a -> b at position 3 .cabbc.aaa rule bca -> cabac at position 3 .cabcabac.aa rule a -> b at position 6 .cabcabbc.aa rule bca -> cabac at position 6 .cabcabcabac.a rule bca -> cabac at position 5 .cabcacabacbac.a rule a -> b at position 6 .cabcacbbacbac.a rule a -> b at position 8 .cabcacbbbcbac.a rule cb -> at position 9 .cabcacbbbac.a rule a -> b at position 9 .cabcacbbbbc.a rule bca -> cabac at position 9 .cabcacbbbcabac. rule bca -> cabac at position 8 .cabcacbbcabacbac. rule bca -> cabac at position 7 .cabcacbcabacbacbac. rule bca -> cabac at position 6 .cabcaccabacbacbacbac. rule a -> b at position 7 .cabcaccbbacbacbacbac. rule cb -> at position 6 .cabcacbacbacbacbac. rule cb -> at position 5 .cabcaacbacbacbac. rule cb -> at position 6 .cabcaaacbacbac. rule cb -> at position 7 .cabcaaaacbac.