TORPAcyc is applied to the string rewriting system b b b b -> b b b a b b a b b a b -> b b a b b