x
((((x x) x) ((x x) x)) (x x))
(((x x) (x x)) (x x))
(((x x) ((((((((x x) x) x) x) x) x) x) x)) (((x x) x) x))
(((((((x x) (x x)) (x x)) (x x)) (x x)) (x x)) ((x x) (((x x) x) x)))
((((((x x) x) x) x) ((x x) x)) (((x (x x)) (x x)) (x ((x x) x))))
((((x x) x) (x x)) ((x x) ((x x) x)))
((((x x) x) (x x)) ((x x) ((x (x x)) x)))
((x (x ((x x) x))) (x (((x x) x) (x x))))
(((x x) (x ((x x) x))) ((x x) (((x x) x) (x x))))
(((((x x) x) x) (((x x) x) x)) (((x x) x) x))
(((((x x) (((((x x) x) x) x) x)) ((((((x x) x) x) x) x) (x ((x x) x)))) (((x ((x x) x)) (x (x x))) ((x (x (x x))) (x (x (x x)))))) ((((x (x x)) (x x)) ((x ((x x) x)) (x (x x)))) ((((x x) (x x)) ((((x x) x) x) x)) ((((((x (x x)) x) x) x) x) (x (x x))))))
(x (((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((x (x x)) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x))
(((((((((((((((((((((((((((((((x (x x)) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) ((((((((((((((((((((((((((((((x (x x)) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x))
((x ((((((((((((((((((((x x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x)) (((((((((((((((((((((x x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) ((((((((((((((((((((x x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x)))
(((x (x (x (x (x (x (x (x (x (x (x (x (x (x (x x))))))))))))))) (((((((((((((((x x) x) x) x) x) x) x) x) x) x) x) x) x) x) x)) ((((((((((((((((x x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) (x (x (x (x (x (x (x (x (x (x (x (x (x (x (x x)))))))))))))))))
((((((((((x (x (x (x (x x))))) x) x) x) x) x) x) ((((((((x (x (x (x x)))) x) x) x) x) x) x) x)) ((((((((((((x x) x) x) x) x) x) x) x) x) x) x) x)) (((((((((((((x x) x) x) x) x) x) x) x) x) x) x) x) (((x (x (x (x (x (x (x (x (x (x x)))))))))) x) x)))
(((((((((((((x (x x)) x) x) x) x) x) x) x) x) x) (((((((x (((x (x x)) x) x)) x) x) x) x) x) x)) (((((((x ((x ((x (x x)) x)) x)) x) x) x) x) x) x)) (((((((((((((x x) x) x) x) x) x) x) x) x) x) x) ((((x ((x ((x ((x (x x)) x)) x)) x)) x) x) x)) (x x)))
(((((x (((((((((x x) x) x) x) x) x) x) x) x)) x) ((((((x (((((x x) x) x) x) x)) x) x) x) x) x)) ((((((((((((x x) x) x) x) x) x) x) x) x) x) x) (x x))) (((((((((((((x x) x) x) x) x) x) x) x) x) x) x) x) (((((((((x (x (x (x x)))) x) x) x) x) x) x) x) x)))
(((((((((((((x (x x)) x) x) x) x) x) x) x) x) x) ((((((((((x (x x)) x) x) x) x) x) x) x) x) x)) ((((((((((((x x) x) x) x) x) x) x) x) x) x) x) x)) (((((((((((((x x) x) x) x) x) x) x) x) x) x) x) (x x)) (((((((((((x (x x)) x) x) x) x) x) x) x) x) x) x)))
(((((((((((((x (x (x x))) x) x) x) x) x) x) x) x) x) (((((((((((x x) x) x) x) x) x) x) x) x) x) x)) ((((((((((((x x) x) x) x) x) x) x) x) x) x) x) x)) (((((((((((x ((x x) x)) x) x) x) x) x) x) x) x) x) (((((((((((x (x x)) x) x) x) x) x) x) x) x) x) x)))
((((((((((((((x x) x) x) x) x) x) x) x) x) x) x) (((x (((((x (((x x) x) x)) x) x) x) x)) x) x)) ((((((((((((x x) x) x) x) x) x) x) x) x) x) x) x)) (((((((((((((x x) x) x) x) x) x) x) x) x) x) x) (x x)) ((((((((((x ((x x) x)) x) x) x) x) x) x) x) x) x)))
(((((((((((((x (x x)) x) x) x) x) x) x) x) x) x) ((((((((((x (x x)) x) x) x) x) x) x) x) x) x)) ((((((((((((x x) x) x) x) x) x) x) x) x) x) x) x)) (((((((((((((x x) x) x) x) x) x) x) x) x) x) x) (((((((((((x x) x) x) x) x) x) x) x) x) x) x)) ((x x) x)))
((((((x ((((x ((((x x) x) x) x)) x) x) x)) x) x) (((((((((((x x) x) x) x) x) x) x) x) x) x) x)) ((((((((((((x x) x) x) x) x) x) x) x) x) x) x) x)) ((((x ((x ((x ((x ((x (x x)) x)) x)) x)) x)) x) ((((((((x (x (x (x x)))) x) x) x) x) x) (x x)) x)) (x x)))
((((((((((((((x x) x) x) x) x) x) x) x) x) x) (x x)) (((((((((((x x) x) x) x) x) x) x) x) x) x) x)) ((((((((((((x x) x) x) x) x) x) x) x) x) x) x) x)) (((((((((((((x x) x) x) x) x) x) x) x) x) x) x) ((((((((x (x (x (x x)))) x) x) x) x) x) x) x)) (x x)))
(((((((((((((x (x x)) x) x) x) x) x) x) x) x) x) ((((((((((x (x x)) x) x) x) x) x) x) x) x) x)) ((((((((((x (x (x x))) x) x) x) x) x) x) x) x) x)) (((((((((((((x x) x) x) x) x) x) x) x) x) x) x) ((((((((((((x x) x) x) x) x) x) x) x) x) x) x) x)) (x x)))
((((((((((((((x (x x)) x) x) x) x) x) x) x) x) x) x) ((((((((x (x (x (x x)))) x) x) x) x) x) x) x)) (((((((((((x (x x)) x) x) x) x) x) x) x) x) x) x)) (((((((((((((x x) x) x) x) x) x) x) x) x) x) x) ((((x ((((((x (x x)) x) x) x) x) x)) x) x) x)) (x x)))
(((((((((((x (x x)) x) x) x) x) x) x) x) (((((((x (x (x x))) x) x) x) x) x) x)) ((((((((x (x (x x))) x) x) x) x) x) x) x)) (((((((((((x x) x) x) x) x) x) x) x) x) (((((((((x x) x) x) x) x) x) x) x) x)) ((((((x (x (x (x (x x))))) x) x) x) x) x)))
((((((((x (x (x (x (x x))))) x) x) x) x) ((((((x (x (x (x x)))) x) x) x) x) x)) ((((((((((x x) x) x) x) x) x) x) x) x) (((((((((x x) x) x) x) x) x) x) x) x))) (((((((((((x x) x) x) x) x) x) x) x) x) (x (x (x (x (x (x (x (x (x x)))))))))) (x x)))
((((((((((((x x) x) x) x) x) x) x) x) x) (((((x (x (x (x (x x))))) x) x) x) x)) ((((((((((x x) x) x) x) x) x) x) x) x) (((((((((x x) x) x) x) x) x) x) x) x))) (((((x ((x ((x ((x x) x)) x)) x)) x) x) x) (((((x (x (x (x (x (x x)))))) x) x) x) x)))
((((((((x (x (x (x x)))) x) x) x) x) ((((((((x x) x) x) x) x) x) x) x)) (((((((((x x) x) x) x) x) x) x) x) ((((((((x x) x) x) x) x) x) x) x))) ((((((((((x x) x) x) x) x) x) x) x) ((((((x (x (x x))) x) x) x) x) x)) (((((x ((x ((x x) x)) x)) x) x) x) x)))
((((((((((x x) x) x) x) x) x) x) ((x ((((x (x x)) x) x) x)) x)) ((((((((x x) x) x) x) x) x) x) (((((((x x) x) x) x) x) x) x))) (((((((((x x) x) x) x) x) x) x) ((((x (x (x (x x)))) x) x) x)) ((x (((x (((x x) x) x)) x) x)) (((((((x x) x) x) x) x) x) x))))
((((((x x) (x x)) ((x x) (x x))) (((x x) (x x)) ((x x) (x x)))) ((((x x) (x x)) ((x x) (x x))) (((x x) (x x)) ((x x) (x x))))) (((((x x) (x x)) ((x x) (x x))) (((x x) (x x)) ((x x) (x x)))) ((((x x) (x x)) ((x x) (x x))) (((x x) (x x)) ((x x) (x x))))))
((((((x x) (x x)) ((x x) (x x))) (((x x) (x x)) ((x x) (x x)))) ((((x x) (x x)) ((x x) (x x))) (((x x) (x x)) ((x x) (x x))))) (((((x x) (x x)) ((x x) (x x))) (((x x) (x x)) ((x x) (x x)))) ((((x x) (x x)) ((x x) (x x))) ((x (x x)) ((x x) (x x))))))
((((((x x) (x x)) ((x x) (x x))) (((x x) (x x)) ((x x) (x x)))) ((((x x) (x x)) ((x x) (x x))) (((x x) (x x)) ((x x) (x x))))) (((((x x) (x x)) ((x x) (x x))) (((x x) (x x)) ((x x) (x x)))) (((x (x x)) ((x x) (x x))) (((x x) (x x)) ((x x) (x x))))))
((((((x x) (x x)) ((x x) (x x))) (((x x) (x x)) ((x x) (x x)))) ((((x x) (x x)) ((x x) (x x))) (((x x) (x x)) ((x x) (x x))))) (((((x x) (x x)) ((x x) (x x))) ((x (x x)) ((x x) (x x)))) ((((x x) (x x)) ((x x) (x x))) (((x x) (x x)) ((x x) (x x))))))
((((((x x) (x x)) ((x x) (x x))) (((x x) (x x)) ((x x) (x x)))) ((((x x) (x x)) ((x x) (x x))) (((x x) (x x)) ((x x) (x x))))) ((((x (x x)) ((x x) (x x))) (((x x) (x x)) ((x x) (x x)))) ((((x x) (x x)) ((x x) (x x))) (((x x) (x x)) ((x x) (x x))))))
((((((x x) (x x)) ((x x) (x x))) (((x x) (x x)) ((x x) (x x)))) ((((x x) (x x)) ((x x) (x x))) ((x (x x)) ((x x) (x x))))) (((((x x) (x x)) ((x x) (x x))) (((x x) (x x)) ((x x) (x x)))) ((((x x) (x x)) ((x x) (x x))) (((x x) (x x)) ((x x) (x x))))))
((((((x x) (x x)) ((x x) (x x))) (((x x) (x x)) ((x x) (x x)))) (((x (x x)) ((x x) (x x))) (((x x) (x x)) ((x x) (x x))))) (((((x x) (x x)) ((x x) (x x))) (((x x) (x x)) ((x x) (x x)))) ((((x x) (x x)) ((x x) (x x))) (((x x) (x x)) ((x x) (x x))))))
((((((x x) (x x)) ((x x) (x x))) ((x (x x)) ((x x) (x x)))) ((((x x) (x x)) ((x x) (x x))) (((x x) (x x)) ((x x) (x x))))) (((((x x) (x x)) ((x x) (x x))) (((x x) (x x)) ((x x) (x x)))) ((((x x) (x x)) ((x x) (x x))) (((x x) (x x)) ((x x) (x x))))))
(((((x (x x)) ((x x) (x x))) (((x x) (x x)) ((x x) (x x)))) ((((x x) (x x)) ((x x) (x x))) (((x x) (x x)) ((x x) (x x))))) (((((x x) (x x)) ((x x) (x x))) (((x x) (x x)) ((x x) (x x)))) ((((x x) (x x)) ((x x) (x x))) (((x x) (x x)) ((x x) (x x))))))
(((((x x) x) (((x (x x)) ((x (x x)) x)) ((((x x) (x x)) ((x x) (x (x x)))) (x ((x x) x))))) ((((((x x) (x x)) x) x) (x x)) x)) ((((x ((x x) x)) x) ((x (x x)) ((x (x x)) x))) ((x x) ((x (x x)) x))))
(((((x x) ((x (((x x) x) (x x))) (x (x x)))) (x (x x))) (x (x ((x x) x)))) ((((x (x x)) ((x x) (x (x x)))) x) ((x ((x x) x)) ((((x x) (x (x x))) (x (x x))) x))))
((((x (x x)) (((x (x x)) (((((x x) (x x)) (x x)) (x (x x))) x)) (x ((x x) (x x))))) (((x ((x (x x)) x)) x) ((x x) ((((x x) (x x)) (x x)) (x ((x x) ((x x) ((x x) (x (x (x x))))))))))) (((x x) x) (x (x x))))
((((((x x) (x x)) ((x (x x)) ((x x) (x (x x))))) (((x x) ((x (x (x x))) (x x))) (((x x) ((x (x (x x))) x)) ((x (x x)) x)))) ((((x (x x)) (x x)) ((x (x (x ((x x) (x x))))) x)) (x (x x)))) (x x))
((((x x) (x x)) ((x (x (x x))) ((x x) ((x x) x)))) (((x (x (((x (x x)) (x (x x))) (x (x x))))) (x (((x (x x)) (x x)) ((x (x (x (x ((x x) x))))) ((x (x x)) x))))) (((x x) (((x (x (x x))) x) x)) (x ((x (x (x x))) (x (x x)))))))
((x (((x x) x) (x x))) (x (((((x x) ((x x) ((x x) (x x)))) (((x x) x) (x x))) (x x)) (((((x x) x) x) x) (x x)))))
((x (((x (x x)) (x x)) ((x ((x x) (x (x x)))) (x x)))) ((((((x x) x) (x ((x x) x))) (x x)) ((((((x x) x) (x (x x))) x) (((x ((x (x x)) (x x))) ((x x) x)) x)) x)) (((x (((x ((x x) x)) x) x)) x) (x (x x)))))
((((((x x) x) (x ((x (x x)) ((x x) (x ((x x) x)))))) ((x x) (x (x ((x (x x)) (x x)))))) (((x (x x)) (x x)) (x x))) ((x (x x)) (((x x) (x (x x))) (x (x x)))))
((x ((x (x (x x))) (x (x x)))) ((((x x) x) ((x (x x)) (x (x x)))) ((((((x x) (x ((((x x) ((x x) x)) x) x))) (x (((x (x x)) x) x))) (x x)) ((x x) (x x))) ((((x x) x) (x x)) ((x x) (x (x ((x x) x))))))))
((((((x x) x) x) x) ((((((x ((x x) (x x))) x) (x x)) (x x)) (((x (x x)) x) ((x x) x))) x)) ((x (x ((((x x) (x x)) (x x)) (x (x x))))) ((x (x x)) (((x (x (x x))) ((x x) x)) (x ((x (x x)) (x x)))))))
(((x ((x (x (x (x x)))) x)) ((((x x) x) (x (x (x (x (x x)))))) ((x x) (x x)))) ((x (x x)) ((x (x x)) (x x))))
((((x (x x)) (x x)) ((x (x (x (x x)))) x)) (((x x) (((x x) (x (x x))) x)) (x (x x))))
(((x ((((x (x (x ((x x) ((x x) x))))) (((x x) (x x)) (x (x x)))) (x x)) x)) ((x (x x)) (x ((x (x (x x))) x)))) (x x))
((((x (x (x x))) x) (((x x) ((x x) ((x x) (x x)))) (((((x x) ((x x) x)) ((x x) x)) (x x)) x))) (((((x (x (x x))) (x (x x))) (x (x x))) (x ((x (x (x x))) (x (x (x x)))))) (x (x ((x x) x)))))
((((x x) x) ((((x x) x) (x x)) (x x))) ((((((x x) (x (((x x) (x x)) (x (x x))))) ((x x) (x (((x x) x) (x (x x)))))) x) ((x x) x)) (x (x (((x x) (x x)) (x x))))))
((x ((x x) ((x (x (x ((x x) x)))) x))) ((((x (x x)) x) ((x x) ((x x) (x x)))) (x (((x x) ((x (x x)) x)) (x (x (x x)))))))
(((((((x x) x) (x x)) x) (x x)) (((((x x) x) (x x)) ((x x) x)) ((x x) ((x (x x)) x)))) (((x (x x)) (x (((x x) x) x))) (x (x x))))
((x (x x)) ((((((x ((x x) x)) x) (x x)) (x (x x))) ((x x) (x (x (x x))))) ((x x) ((x (x x)) (x x)))))
((((x (((x x) (x x)) (x (x (x (x x)))))) x) ((x (x (x x))) (x (x (((x x) ((x (x x)) (x (x x)))) x))))) ((((x (x x)) x) ((x (x x)) x)) (x (((x x) ((x x) x)) ((x x) x)))))
((((x (x x)) (((x (x (x (x (x (x x)))))) (x ((x x) (x x)))) (x ((((x x) ((x x) (x x))) (x ((x x) x))) (x (x x)))))) (((x ((x x) x)) x) (x x))) (x x))
(((((x x) x) x) (((x (x (x x))) (x (x x))) x)) (((((x x) (x ((x x) (x x)))) ((((((x x) (x (x ((x x) x)))) (((x x) x) x)) (x (x (x x)))) (x ((x (x x)) ((x x) x)))) ((((x ((x (x (x x))) x)) (x x)) x) x))) x) (x x)))
(((x (x x)) ((x x) (((x x) (x x)) x))) ((((x x) (((x x) x) (x x))) ((x x) (x x))) (((((x x) x) x) (x x)) ((((x x) (x x)) (x x)) (x (x (x (x (x x)))))))))
(((((x x) x) x) (x (x x))) ((((((x (x x)) x) ((x x) x)) ((x (x x)) x)) (((x (x x)) (x x)) ((x (x (x x))) x))) (x (x x))))
((x ((((x x) x) ((x ((x (x x)) (x (x x)))) (x x))) ((x (x ((x x) x))) (x x)))) (((x x) x) ((((x x) x) (((x x) (x x)) ((x (x x)) x))) (x (x ((x ((x x) x)) ((((x x) (x x)) (x x)) x)))))))
(((x x) (((x ((x (x x)) (((x x) (x (x (x x)))) x))) ((x ((((x x) (x x)) ((x (x (x x))) x)) (x (x x)))) ((((x x) x) (x x)) (((x (x (x x))) (x (x x))) x)))) (x x))) (x x))
(((x x) x) (x (((x x) ((x x) (x (x x)))) ((((x (x x)) (x x)) x) ((x ((x (((x x) (x x)) x)) x)) ((x x) x))))))
((x x) (((((x ((((x x) (x x)) x) x)) (x ((x (x (x x))) (x (x x))))) ((x (x (x ((x x) x)))) (((x (x x)) (x (x x))) (x (x x))))) (x x)) (((x x) ((x (x (x x))) ((x x) x))) ((x x) x))))
(((x ((x x) (x (x x)))) ((x x) ((((x (x x)) (((x ((x x) (x x))) (x x)) (x x))) ((x ((x (x x)) (x x))) (((x x) (x (x (x x)))) ((x (x x)) (((x (x (x x))) x) (x (x (x x)))))))) ((((x x) x) x) (((x (x (x x))) x) x))))) x)
(((((x x) ((x x) x)) (((x x) x) x)) ((x ((x x) (x (x (x x))))) (x (x ((x (x x)) x))))) ((((((x (x x)) x) x) (x (((x x) x) x))) (x x)) ((x x) (x (x ((x x) x))))))
(x ((x x) (((((x x) (x x)) x) x) ((((x x) (((((((x x) x) x) ((x (x x)) (x x))) ((x x) x)) x) x)) ((x (x x)) (x x))) x))))
((((x (x x)) ((x x) (x (x (x x))))) ((x x) (x x))) (x (x ((((x ((x x) (x x))) x) x) (((x x) x) (x x))))))
(((((x (x ((x ((x (x x)) x)) ((x (x x)) x)))) ((x (x x)) ((x x) x))) (((x x) x) ((x (x x)) (x x)))) (x x)) (((x (x x)) (x ((x x) (x x)))) ((x x) ((x ((x x) (x x))) (((x x) x) (x ((x x) x)))))))
((((x (x (x (x x)))) (((x (x ((x x) x))) x) (x x))) (((x (x (x x))) ((((x x) (x x)) (x x)) (x (x x)))) ((x x) ((x x) x)))) ((((x x) ((x (x (x x))) x)) (x x)) ((x x) (x x))))
((((x x) (x (x (x x)))) (((x (x x)) x) ((((x x) x) (x x)) (x (x (x x)))))) (((((x (x ((x x) x))) ((((x (x x)) (x x)) (x x)) ((x x) x))) x) (x x)) (((x (x ((x x) x))) (x x)) (x x))))
(((((x x) ((((x x) ((x x) x)) (x x)) (((x x) x) (x x)))) (x (x x))) ((x x) ((x x) ((((x x) x) x) ((x x) (x (x (x x)))))))) (x (x x)))
((((x (((x x) x) x)) ((x x) (x x))) (x (x x))) ((x x) ((x x) (((x x) (x x)) ((x x) x)))))
((x ((x ((((x x) (x x)) ((x x) (x x))) (x (x x)))) (x (x x)))) (((x x) ((x (x x)) ((x x) (x x)))) ((((x (((((x x) x) x) (x (x x))) x)) (x x)) ((x x) (((x (x x)) x) (x x)))) (((x x) (x x)) x))))
((((((x x) (x x)) (((x x) x) x)) (x x)) (((x x) (x ((x (x x)) (((x (x x)) (x x)) x)))) (x (((x x) ((x (x x)) (x x))) (x x))))) (((x x) (x x)) (((x (x x)) x) (((x (x x)) (x (x x))) (x x)))))
((((x x) ((x x) x)) (((x x) (((x x) (x x)) (x x))) x)) (x (((((x x) x) (x ((x x) x))) x) x)))
((((x x) (((x x) x) x)) (x x)) (((x x) ((x x) (x x))) (x ((x x) (x ((x (x x)) x))))))
((((((x x) x) x) ((x x) (((x x) (x (x x))) ((x x) x)))) ((x ((x x) x)) (x (x x)))) (x (x x)))
((((x x) (x x)) (((x (x x)) (x (x (x x)))) (x (x x)))) (((((x x) ((x x) ((x x) x))) (((x ((x x) x)) x) ((x (x (x x))) (x (x x))))) ((x (x x)) (x (x (x (x x)))))) ((((x x) x) x) (((x (x x)) x) (x (x (x x)))))))
((((((x x) (((x x) x) (x x))) (x x)) ((x ((x x) (x x))) x)) ((x x) (x x))) (x x))
((((x ((x x) x)) (x x)) ((x x) (((x (x x)) (x (x x))) (x (x x))))) (((x x) (((x (x ((x x) (x x)))) ((x (x (x x))) (((x x) (x x)) (x (x x))))) (((x (x (x x))) x) x))) ((x ((x x) (x x))) ((x (x x)) ((x x) x)))))
(((((x ((x x) x)) x) ((x ((x x) x)) x)) ((x (x (x x))) (x (x (x x))))) ((x x) (x x)))
((((x (x x)) ((((x x) ((x x) (x x))) (x (x x))) (x x))) (((x (x (x x))) (((x x) (((x (x x)) x) (x x))) (x x))) ((((x x) (x (x x))) (x x)) (((x x) (x x)) x)))) ((x (x (x (x x)))) x))
((((x x) ((((x x) ((x x) x)) ((x x) ((x (x x)) x))) (x (x (x (x x)))))) (x (x ((x x) x)))) ((x x) (((x x) ((x (x (x (x x)))) x)) (x (x (x x))))))
((((x x) ((x (x x)) (((x (x (x x))) x) x))) ((((x x) ((x x) x)) (x (x x))) ((x x) ((x (x ((x x) (x x)))) (x (x x)))))) (((x x) ((x (x x)) x)) x))
((((x (x (x x))) (x x)) (((x (x x)) (x (x x))) ((x x) (x (x x))))) ((((((x (x x)) x) x) (x (x x))) ((x (x (x x))) ((x ((x x) (x x))) x))) ((((((x x) x) x) x) (x x)) (((x x) ((x x) x)) x))))
((((x (x (x (x x)))) (x ((x x) x))) (((x x) ((x x) x)) ((((x x) ((x ((x x) x)) (x (x x)))) ((x x) x)) ((x (((((x x) x) x) (x (x x))) x)) x)))) (x ((x (x (x (x x)))) x)))
(((((x ((x (x x)) x)) x) ((x x) x)) (x (x x))) ((((x x) x) (((x x) (x (x x))) x)) (x (x (((x x) x) (((x x) (x x)) x))))))
(((((((((x x) (x x)) x) (x x)) ((x (x x)) x)) (((x x) x) (x x))) x) ((x x) (x (x (x x))))) ((x (x x)) ((((x x) x) x) (((x (x ((x x) x))) ((x x) x)) ((x x) (x x))))))
(((((((x x) x) ((x (x x)) (x (x x)))) (x (x x))) ((((x (x x)) x) ((x (x ((x (x x)) x))) (x ((x x) x)))) (x (((x x) x) x)))) ((x (x x)) (x x))) (x x))
(((((x (x (x x))) (x ((x (x x)) x))) (x x)) (((((x (x x)) x) ((x x) (((x x) x) x))) (x (x x))) (x x))) ((x (x x)) (((((x x) x) ((x x) x)) (x x)) ((x x) (x (((x x) (x (x x))) (x x)))))))
(((((x (x (x (x (x x))))) (x x)) ((((x (x (x ((x x) x)))) (x (x (x x)))) ((x (x x)) ((x (x x)) (x (x (x x)))))) ((x x) x))) (x (x (x x)))) (x ((x ((x x) (x x))) x)))
(((((x (x (x x))) x) x) ((x (x (x (x x)))) (x (x x)))) ((((x x) (x x)) (((x x) (x x)) x)) ((x ((x ((x (x x)) x)) x)) (((((x x) ((x x) ((x (x x)) x))) (x x)) ((x (x (x (x x)))) x)) (x (x x))))))
(((((x x) (x x)) ((x x) x)) (x (x (x (x x))))) (x (((((x x) ((x x) ((x x) (x x)))) (x (x ((x x) (x x))))) (((x (x x)) ((x ((x x) (x x))) (x (x (x x))))) (((((x x) x) x) x) (x ((x x) (x (x x))))))) (x (x x)))))
((((((x (x x)) (x x)) x) (x (x (x x)))) (((x (x x)) x) (((x x) (x (x x))) (((x x) (x x)) ((x (x x)) x))))) (x (x (((x x) (x x)) (x ((x x) (x x)))))))
((((x (x x)) (x x)) x) ((x (x x)) ((((((x (x (x x))) (x x)) (x x)) (((x x) (x x)) (x x))) (x (x ((x x) (x (x ((x (x x)) x))))))) ((((x (x x)) (((x x) ((x x) (x x))) x)) (x ((x x) (x x)))) (((x x) x) (((x x) x) ((x x) x)))))))
0