Loop of length 19 starting with a string of length 7 found after enumerating 2203 derivations: .bbb.aacc rule bbb -> ccc at position 0 .ccc.aacc rule ccc -> bba at position 0 .bba.aacc rule aaa -> bcc at position 2 .bbbcc.cc rule ccc -> bba at position 3 .bbbbba.c rule bbb -> ccc at position 2 .bbccca.c rule ccc -> bba at position 2 .bbbbaa.c rule bbb -> ccc at position 1 .bcccaa.c rule ccc -> bba at position 1 .bbbaaa.c rule aaa -> bcc at position 3 .bbbbcc.c rule ccc -> bba at position 4 .bbbbbba. rule bbb -> ccc at position 3 .bbbccca. rule ccc -> bba at position 3 .bbbbbaa. rule bbb -> ccc at position 2 .bbcccaa. rule ccc -> bba at position 2 .bbbbaaa. rule aaa -> bcc at position 4 .bbbbbcc. rule bbb -> ccc at position 2 .bbccccc. rule ccc -> bba at position 2 .bbbbacc. rule bbb -> ccc at position 1 .bcccacc. rule ccc -> bba at position 1 .bbbaacc.