(VAR x1 )
(RULES 
        1(2(1(x1))) -> 2(0(2(x1)))
        0(2(1(x1))) -> 1(0(2(x1)))
        L(2(1(x1))) -> L(1(0(2(x1))))
        1(2(0(x1))) -> 2(0(1(x1)))
        1(2(R(x1))) -> 2(0(1(R(x1))))
        0(2(0(x1))) -> 1(0(1(x1)))
        L(2(0(x1))) -> L(1(0(1(x1))))
        0(2(R(x1))) -> 1(0(1(R(x1))))
        
)