(RULES b a b -> b a a a b ,
       b a a a b a a b -> b a a b a a b a a a b b ,
       b a a a b a a a b -> b ,
       b a a a b b b -> b b b a a a b ,
       b a a b b -> b ,
       b b a a b -> b ,
       b a a a b a b -> b ,
       b a b a a a b -> b)
(COMMENT: encoding of z071.srs)