(VAR x1 )
(RULES 
        r0(0(x1)) -> 0(r0(x1))
        r0(1(x1)) -> 1(r0(x1))
        r0(m(x1)) -> m(r0(x1))
        r1(0(x1)) -> 0(r1(x1))
        r1(1(x1)) -> 1(r1(x1))
        r1(m(x1)) -> m(r1(x1))
        r0(b(x1)) -> qr(0(b(x1)))
        r1(b(x1)) -> qr(1(b(x1)))
        0(qr(x1)) -> qr(0(x1))
        1(qr(x1)) -> qr(1(x1))
        m(qr(x1)) -> ql(m(x1))
        0(ql(x1)) -> ql(0(x1))
        1(ql(x1)) -> ql(1(x1))
        b(ql(0(x1))) -> 0(b(r0(x1)))
        b(ql(1(x1))) -> 1(b(r1(x1)))
        
)