Loop of length 17 starting with a string of length 9 found after enumerating 4339 derivations: .b.cbacbacb rule b -> ac at position 0 .ac.cbacbacb rule ccb -> bbba at position 1 .abbba.acbacb rule b -> ac at position 2 .abacba.acbacb rule b -> ac at position 4 .abacaca.acbacb rule aa -> at position 6 .abacac.cbacb rule ccb -> bbba at position 5 .abacabbba.acb rule b -> ac at position 5 .abacaacbba.acb rule aa -> at position 4 .abaccbba.acb rule ccb -> bbba at position 3 .ababbbaba.acb rule b -> ac at position 3 .abaacbbaba.acb rule aa -> at position 2 .abcbbaba.acb rule b -> ac at position 4 .abcbacaba.acb rule b -> ac at position 7 .abcbacaaca.acb rule aa -> at position 6 .abcbacca.acb rule aa -> at position 7 .abcbacc.cb rule ccb -> bbba at position 6 .abcbacbbba. rule b -> ac at position 7 .abcbacbacba.