Loop of length 23 starting with a string of length 6 found after enumerating 26067 derivations: .ba.aaaa rule ba -> acab at position 0 .acab.aaaa rule a -> at position 2 .acb.aaaa rule ba -> acab at position 2 .acacab.aaa rule a -> at position 2 .accab.aaa rule cc -> b at position 1 .abab.aaa rule ba -> acab at position 3 .abaacab.aa rule a -> at position 5 .abaacb.aa rule ba -> acab at position 5 .abaacacab.a rule a -> at position 5 .abaaccab.a rule cc -> b at position 4 .abaabab.a rule ba -> acab at position 4 .abaaacabb.a rule a -> at position 6 .abaaacbb.a rule ba -> acab at position 7 .abaaacbacab. rule ba -> acab at position 6 .abaaacacabcab. rule a -> at position 6 .abaaaccabcab. rule cc -> b at position 5 .abaaababcab. rule ba -> acab at position 5 .abaaaacabbcab. rule a -> at position 7 .abaaaacbbcab. rule bc -> at position 8 .abaaaacbab. rule ba -> acab at position 7 .abaaaacacabb. rule a -> at position 7 .abaaaaccabb. rule cc -> b at position 6 .abaaaababb. rule ba -> acab at position 6 .abaaaaacabbb.