Loop of length 16 starting with a string of length 11 found after enumerating 31506 derivations: .aa.acaaccacc rule aa -> b at position 0 .b.acaaccacc rule bac -> ccaaaa at position 0 .ccaaaa.aaccacc rule aa -> b at position 2 .ccbaa.aaccacc rule aa -> b at position 4 .ccbab.accacc rule bac -> ccaaaa at position 4 .ccbaccaaaa.cacc rule bac -> ccaaaa at position 2 .ccccaaaacaaaa.cacc rule aa -> b at position 5 .ccccabacaaaa.cacc rule bac -> ccaaaa at position 5 .ccccaccaaaaaaaa.cacc rule aa -> b at position 9 .ccccaccaabaaaa.cacc rule aa -> b at position 11 .ccccaccaababa.cacc rule bac -> ccaaaa at position 11 .ccccaccaabaccaaaa.acc rule bac -> ccaaaa at position 9 .ccccaccaaccaaaacaaaa.acc rule aa -> b at position 18 .ccccaccaaccaaaacaab.acc rule bac -> ccaaaa at position 18 .ccccaccaaccaaaacaaccaaaa.c rule aa -> b at position 21 .ccccaccaaccaaaacaaccaba.c rule bac -> ccaaaa at position 21 .ccccaccaaccaaaacaaccaccaaaa.