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