MAYBE

Problem:
 0(x1) -> 1(x1)
 0(0(x1)) -> 0(x1)
 3(4(5(x1))) -> 4(3(5(x1)))
 2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2(2(2(2(2(2(2(2(2(x1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
 ->
 0(0(1(0(1(1(0(1(1(1(1(1(1(1(1(0(0(0(0(0(0(1(1(1(1(1(0(0(1(1(1(1(0(0(
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0(1(1(1(1(1(1(1(0(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
 1(1(1(1(1(1(0(1(1(1(1(1(1(0(0(0(1(0(1(1(1(0(1(1(1(0(1(0(1(0(1(1(0(1(
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1(0(0(1(1(1(0(1(1(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
 ->
 2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2
                                                                    (
                                                                    2(2(2(2(2(2(2(2(2(x1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))

Proof:
 Open