(RULES
c a b a  -> a b a b c c a 
)