Loop of length 10 starting with a string of length 8 found after enumerating 6337 derivations: .acb.cbbcb rule acb -> bcaba at position 0 .bcaba.cbbcb rule b -> at position 3 .bcaa.cbbcb rule acb -> bcaba at position 3 .bcabcaba.bcb rule b -> at position 3 .bcacaba.bcb rule b -> at position 5 .bcacaa.bcb rule a -> c at position 5 .bcacac.bcb rule acb -> bcaba at position 4 .bcacbcaba.cb rule a -> at position 6 .bcacbcba.cb rule acb -> bcaba at position 7 .bcacbcbbcaba. rule a -> at position 9 .bcacbcbbcba.