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