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