Loop of length 12 starting with a string of length 9 found after enumerating 6927 derivations: .acc.cccccc rule acc -> cccaba at position 0 .cccaba.cccccc rule acc -> cccaba at position 5 .cccabcccaba.cccc rule bc -> at position 4 .cccaccaba.cccc rule acc -> cccaba at position 8 .cccaccabcccaba.cc rule bc -> at position 7 .cccaccaccaba.cc rule acc -> cccaba at position 6 .cccacccccabaaba.cc rule a -> at position 11 .cccacccccababa.cc rule acc -> cccaba at position 13 .cccacccccababcccaba. rule bc -> at position 12 .cccacccccabaccaba. rule acc -> cccaba at position 11 .cccacccccabcccabaaba. rule bc -> at position 10 .cccacccccaccabaaba. rule acc -> cccaba at position 9 .cccaccccccccabaabaaba.