(VAR x1 )
(RULES 
        3(1(x1)) -> 4(1(x1))
        5(9(x1)) -> 2(6(5(x1)))
        3(5(x1)) -> 8(9(7(x1)))
        9(x1) -> 3(2(3(x1)))
        8(4(x1)) -> 6(x1)
        2(6(x1)) -> 4(3(x1))
        3(8(x1)) -> 3(2(7(x1)))
        9(x1) -> 5(0(2(x1)))
        8(8(4(x1))) -> 1(9(x1))
        7(1(x1)) -> 6(9(x1))
        3(9(x1)) -> 9(3(x1))
        7(5(x1)) -> 1(0(x1))
        
)