(VAR x1 )
(RULES 
        0(0(*(*(x1)))) -> *(*(1(1(x1))))
        1(1(*(*(x1)))) -> 0(0(#(#(x1))))
        #(#(0(0(x1)))) -> 0(0(#(#(x1))))
        #(#(1(1(x1)))) -> 1(1(#(#(x1))))
        #(#($($(x1)))) -> *(*($($(x1))))
        #(#(#(#(x1)))) -> #(#(x1))
        #(#(*(*(x1)))) -> *(*(x1))
        
)