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