YES

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

Proof:
 DP Processor:
  DPs:
   0#(1(2(3(4(5(4(5(x1)))))))) -> 2#(3(4(4(5(5(x1))))))
   0#(1(2(3(4(5(4(5(x1)))))))) -> 0#(1(2(3(4(4(5(5(x1))))))))
  TRS:
   0(x1) ->
   1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1(1(1(1(1(1(1(1(1(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
   2(x1) ->
   3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3(3(3(3(3(3(3(3(3(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
   0(1(2(3(4(5(4(5(x1)))))))) -> 0(1(2(3(4(4(5(5(x1))))))))
  TDG Processor:
   DPs:
    0#(1(2(3(4(5(4(5(x1)))))))) -> 2#(3(4(4(5(5(x1))))))
    0#(1(2(3(4(5(4(5(x1)))))))) -> 0#(1(2(3(4(4(5(5(x1))))))))
   TRS:
    0(x1) ->
    1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1(1(1(1(1(1(1(1(1(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
    2(x1) ->
    3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3(3(3(3(3(3(3(3(3(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
    0(1(2(3(4(5(4(5(x1)))))))) -> 0(1(2(3(4(4(5(5(x1))))))))
   graph:
    0#(1(2(3(4(5(4(5(x1)))))))) -> 0#(1(2(3(4(4(5(5(x1)))))))) ->
    0#(1(2(3(4(5(4(5(x1)))))))) -> 0#(1(2(3(4(4(5(5(x1))))))))
    0#(1(2(3(4(5(4(5(x1)))))))) -> 0#(1(2(3(4(4(5(5(x1)))))))) ->
    0#(1(2(3(4(5(4(5(x1)))))))) -> 2#(3(4(4(5(5(x1))))))
   EDG Processor:
    DPs:
     0#(1(2(3(4(5(4(5(x1)))))))) -> 2#(3(4(4(5(5(x1))))))
     0#(1(2(3(4(5(4(5(x1)))))))) -> 0#(1(2(3(4(4(5(5(x1))))))))
    TRS:
     0(x1) ->
     1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1(1(1(1(1(1(1(1(1(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
     2(x1) ->
     3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3(3(3(3(3(3(3(3(3(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
     0(1(2(3(4(5(4(5(x1)))))))) -> 0(1(2(3(4(4(5(5(x1))))))))
    graph:
     
    Qed