x (x (x (x x))) (((x x) x) ((x x) x)) (((x x) x) ((x x) (((((x x) x) x) x) x))) ((x (x x)) ((((((x x) (x x)) (x x)) (x x)) (x x)) (x x))) ((((x (x x)) x) (x ((x x) x))) ((x (x x)) (x x))) (((x x) ((x x) x)) (((x x) x) (x x))) (((x x) ((x x) x)) (((x (x x)) x) (x x))) ((x ((x x) (x x))) (x (x (x x)))) (((x x) ((x x) (x x))) ((x x) (x (x x)))) (((x x) x) ((x (x x)) (x (x x)))) (((((((((x x) x) (x x)) (x x)) x) x) (((x x) x) ((x x) ((x x) x)))) ((x (x (((x x) x) x))) (((x x) x) ((x x) x)))) (((x ((x x) x)) (((x x) x) (x (x x)))) (((x ((((((x x) x) x) x) x) x)) (((x x) x) x)) (((x x) (x (x x))) (((x x) x) ((x x) x)))))) (((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((x x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) ((((((((((((((((((((((((((((((((x x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) (((((((((((((((((((((((((((((((x x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x)) ((((((((((((((((((((((x x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) ((((((((((((((((((((x x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x)) (((((((((((((((((((((x x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) x)) (((((((((((((((((x x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) (((((((((((((((x x) x) x) x) x) x) x) x) x) x) x) x) x) x) x)) ((((((((((((((((x x) x) x) x) x) x) x) x) x) x) x) x) x) x) x) (((((((((((((((x x) x) x) x) x) x) x) x) x) x) x) x) x) x) x))) ((((((((((((((x x) x) x) x) x) x) x) x) x) x) x) (((((((((((x x) x) x) x) x) x) x) x) x) x) x)) ((((((((((((x x) x) x) x) x) x) x) x) x) x) x) x)) (((((((((((((x x) x) x) x) x) x) x) x) x) x) x) x) ((((((((((((x x) x) x) x) x) x) x) x) x) x) x) x))) ((((((((((((((x x) x) x) x) x) x) x) x) x) x) x) (((((((((((x x) x) x) x) x) x) x) x) x) x) x)) ((((((((((((x x) x) x) x) x) x) x) x) x) x) x) x)) (((((((((((((x x) x) x) x) x) x) x) x) x) x) x) (((((((((((x x) x) x) x) x) x) x) x) x) x) x)) (x x))) ((((((((((((((x x) x) x) x) x) x) x) x) x) x) x) (((((((((((x x) x) x) x) x) x) x) x) x) x) x)) ((((((((((((x x) x) x) x) x) x) x) x) x) x) x) (x x))) (((((((((((((x x) x) x) x) x) x) x) x) x) x) x) x) ((((((((((((x x) x) x) x) x) x) x) x) x) x) x) x))) ((((((((((((((x x) x) x) x) x) x) x) x) x) x) x) (((((((((((x x) x) x) x) x) x) x) x) x) x) x)) ((((((((((((x x) x) x) x) x) x) x) x) x) x) x) x)) (((((((((((((x x) x) x) x) x) x) x) x) x) x) x) (x x)) ((((((((((((x x) x) x) x) x) x) x) x) x) x) x) x))) ((((((((((((((x (x x)) x) x) x) x) x) x) x) x) x) x) (((((((((((x x) x) x) x) x) x) x) x) x) x) x)) ((((((((((((x x) x) x) x) x) x) x) x) x) x) x) x)) (((((((((((((x x) x) x) x) x) x) x) x) x) x) x) x) ((((((((((((x x) x) x) x) x) x) x) x) x) x) x) x))) ((((((((((((((x x) x) x) x) x) x) x) x) x) x) x) (((((((((((x x) x) x) x) x) x) x) x) x) x) x)) ((((((((((((x x) x) x) x) x) x) x) x) x) x) x) x)) (((((((((((((x x) x) x) x) x) x) x) x) x) x) x) (x x)) ((((((((((((x x) x) x) x) x) x) x) x) x) x) x) x))) ((((((((((((((x x) x) x) x) x) x) x) x) x) x) x) (((((((((((x x) x) x) x) x) x) x) x) x) x) x)) ((((((((((((x x) x) x) x) x) x) x) x) x) x) x) x)) (((((((((((((x x) x) x) x) x) x) x) x) x) x) x) (((((((((((x x) x) x) x) x) x) x) x) x) x) x)) (x (x x)))) ((((((((((((((x x) x) x) x) x) x) x) x) x) x) x) (((((((((((x x) x) x) x) x) x) x) x) x) x) x)) ((((((((((((x x) x) x) x) x) x) x) x) x) x) x) x)) (((((((((((((x x) x) x) x) x) x) x) x) x) x) x) (((((((((((x x) x) x) x) x) x) x) x) x) (x x)) x)) (x x))) ((((((((((((((x x) x) x) x) x) x) x) x) x) x) (x x)) (((((((((((x x) x) x) x) x) x) x) x) x) x) x)) ((((((((((((x x) x) x) x) x) x) x) x) x) x) x) x)) (((((((((((((x x) x) x) x) x) x) x) x) x) x) x) (((((((((((x x) x) x) x) x) x) x) x) x) x) x)) (x x))) ((((((((((((((x x) x) x) x) x) x) x) x) x) x) x) (((((((((((x x) x) x) x) x) x) x) x) x) x) x)) ((((((((((((x x) x) x) x) x) x) x) x) x) x) x) x)) (((((((((((((x x) x) x) x) x) x) x) x) x) x) x) (((((((((((x (x x)) x) x) x) x) x) x) x) x) x) x)) (x x))) ((((((((((((((x (x x)) x) x) x) x) x) x) x) x) x) x) (((((((((((x x) x) x) x) x) x) x) x) x) x) x)) ((((((((((((x x) x) x) x) x) x) x) x) x) x) x) x)) (((((((((((((x x) x) x) x) x) x) x) x) x) x) x) (((((((((((x x) x) x) x) x) x) x) x) x) x) x)) (x x))) ((((((((((((x x) x) x) x) x) x) x) x) x) (((((((((x x) x) x) x) x) x) x) x) x)) ((((((((((x x) x) x) x) x) x) x) x) x) x)) (((((((((((x x) x) x) x) x) x) x) x) x) (((((((((x x) x) x) x) x) x) x) x) x)) ((((((((((x x) x) x) x) x) x) x) x) x) x))) ((((((((((((x x) x) x) x) x) x) x) x) x) (((((((((x x) x) x) x) x) x) x) x) x)) ((((((((((x x) x) x) x) x) x) x) x) x) (((((((((x x) x) x) x) x) x) x) x) x))) (((((((((((x x) x) x) x) x) x) x) x) x) (((((((((x x) x) x) x) x) x) x) x) x)) (x x))) ((((((((((((x x) x) x) x) x) x) x) x) x) (((((((((x x) x) x) x) x) x) x) x) x)) ((((((((((x x) x) x) x) x) x) x) x) x) (((((((((x x) x) x) x) x) x) x) x) x))) (((((((((((x x) x) x) x) x) x) x) x) x) x) ((((((((((x x) x) x) x) x) x) x) x) x) x))) (((((((((((x x) x) x) x) x) x) x) x) ((((((((x x) x) x) x) x) x) x) x)) (((((((((x x) x) x) x) x) x) x) x) ((((((((x x) x) x) x) x) x) x) x))) ((((((((((x x) x) x) x) x) x) x) x) ((((((((x x) x) x) x) x) x) x) x)) (((((((((x x) x) x) x) x) x) x) x) x))) ((((((((((x x) x) x) x) x) x) x) (((((((x x) x) x) x) x) x) x)) ((((((((x x) x) x) x) x) x) x) (((((((x x) x) x) x) x) x) x))) (((((((((x x) x) x) x) x) x) x) (((((((x x) x) x) x) x) x) x)) ((((((((x x) x) x) x) x) x) x) (((((((x x) x) x) x) x) x) x)))) ((((((x x) (x x)) ((x x) (x x))) (((x x) (x x)) ((x x) (x x)))) ((((x x) (x x)) ((x x) (x x))) (((x x) (x x)) ((x x) (x x))))) (((((x x) (x x)) ((x x) (x x))) (((x x) (x x)) ((x x) (x x)))) ((((x x) (x x)) ((x x) (x x))) (((x x) (x x)) ((x x) (x x)))))) ((((((x x) (x x)) ((x x) (x x))) (((x x) (x x)) ((x x) (x x)))) ((((x x) (x x)) ((x x) (x x))) (((x x) (x x)) ((x x) (x x))))) (((((x x) (x x)) ((x x) (x x))) (((x x) (x x)) ((x x) (x x)))) ((((x x) (x x)) ((x x) (x x))) (((x x) (x x)) ((x x) x))))) ((((((x x) (x x)) ((x x) (x x))) (((x x) (x x)) ((x x) (x x)))) ((((x x) (x x)) ((x x) (x x))) (((x x) (x x)) ((x x) (x x))))) (((((x x) (x x)) ((x x) (x x))) (((x x) (x x)) ((x x) (x x)))) ((((x x) (x x)) ((x x) x)) (((x x) (x x)) ((x x) (x x)))))) ((((((x x) (x x)) ((x x) (x x))) (((x x) (x x)) ((x x) (x x)))) ((((x x) (x x)) ((x x) (x x))) (((x x) (x x)) ((x x) (x x))))) (((((x x) (x x)) ((x x) (x x))) (((x x) (x x)) ((x x) x))) ((((x x) (x x)) ((x x) (x x))) (((x x) (x x)) ((x x) (x x)))))) ((((((x x) (x x)) ((x x) (x x))) (((x x) (x x)) ((x x) (x x)))) ((((x x) (x x)) ((x x) (x x))) (((x x) (x x)) ((x x) (x x))))) (((((x x) (x x)) ((x x) x)) (((x x) (x x)) ((x x) (x x)))) ((((x x) (x x)) ((x x) (x x))) (((x x) (x x)) ((x x) (x x)))))) ((((((x x) (x x)) ((x x) (x x))) (((x x) (x x)) ((x x) (x x)))) ((((x x) (x x)) ((x x) (x x))) (((x x) (x x)) ((x x) x)))) (((((x x) (x x)) ((x x) (x x))) (((x x) (x x)) ((x x) (x x)))) ((((x x) (x x)) ((x x) (x x))) (((x x) (x x)) ((x x) (x x)))))) ((((((x x) (x x)) ((x x) (x x))) (((x x) (x x)) ((x x) (x x)))) ((((x x) (x x)) ((x x) x)) (((x x) (x x)) ((x x) (x x))))) (((((x x) (x x)) ((x x) (x x))) (((x x) (x x)) ((x x) (x x)))) ((((x x) (x x)) ((x x) (x x))) (((x x) (x x)) ((x x) (x x)))))) ((((((x x) (x x)) ((x x) (x x))) (((x x) (x x)) ((x x) x))) ((((x x) (x x)) ((x x) (x x))) (((x x) (x x)) ((x x) (x x))))) (((((x x) (x x)) ((x x) (x x))) (((x x) (x x)) ((x x) (x x)))) ((((x x) (x x)) ((x x) (x x))) (((x x) (x x)) ((x x) (x x)))))) ((((((x x) (x x)) ((x x) x)) (((x x) (x x)) ((x x) (x x)))) ((((x x) (x x)) ((x x) (x x))) (((x x) (x x)) ((x x) (x x))))) (((((x x) (x x)) ((x x) (x x))) (((x x) (x x)) ((x x) (x x)))) ((((x x) (x x)) ((x x) (x x))) (((x x) (x x)) ((x x) (x x)))))) (((((x (x x)) (x (x x))) (((x x) (x x)) ((x x) x))) (((x x) (x x)) (x x))) (((x x) (x ((x (x x)) (((x ((x x) x)) x) (x x))))) (x (x (x x))))) ((((((x x) x) (x x)) ((x (x x)) (x (x (x x))))) ((x (x ((x ((x x) x)) (x (x x))))) (x (x x)))) ((x (((x x) ((x x) ((x x) x))) (x x))) (((x x) x) ((((x (x x)) ((x x) x)) (x x)) ((x x) ((x (x x)) x)))))) (x ((((x (x x)) ((x ((x x) (x x))) ((x (x x)) x))) (x (x (((x x) (x x)) (x ((x x) x)))))) (((x x) x) (((x x) (((x ((x x) x)) (x x)) (x x))) (x (x x)))))) (((x (x x)) x) ((((x (x (x x))) (x (x ((x x) x)))) (((x ((x x) x)) (x x)) ((((x x) x) ((x x) (x (x x)))) (x x)))) ((x x) x))) ((x (((x (x x)) ((x x) ((x x) x))) ((x (x (x x))) (x ((x (x ((x x) x))) ((x (((x x) x) (x x))) ((x x) x))))))) (((x (x x)) (x x)) ((x (x x)) (x x)))) ((((x (x x)) (x (x x))) ((((x ((x x) (x x))) x) (((x x) ((x x) x)) ((x (x (x (x ((x x) x))))) (x x)))) (((x (x x)) x) ((x x) (x x))))) ((x (x (x x))) ((x (x x)) (((x x) x) (x (x (x x))))))) (((x (x (x x))) x) (((x ((x ((x x) x)) x)) (((x ((x (x x)) (x x))) (x (((x x) (x x)) (x ((x x) x))))) ((x (x x)) ((x x) x)))) x)) (((x (x x)) ((x x) (((((x x) (x (x (x (x x))))) (x x)) (((x x) (x x)) (x x))) ((x x) (((((x x) x) x) x) (x x)))))) ((x (x (x x))) (x x))) ((((x x) x) x) (((((x (x x)) x) ((((x x) x) x) (x ((x x) x)))) (x x)) ((((x (x (x x))) (x ((x x) (x x)))) x) ((x (x x)) x)))) (((x (x ((x x) x))) (x (((x x) (x (x x))) (x x)))) (((((x ((x x) x)) x) (((x x) x) ((x x) x))) (((x x) x) (((x (x x)) (x x)) ((x x) x)))) ((x x) (x (x (x x)))))) (((x ((x x) ((x x) x))) x) ((((x ((((x (x x)) (((x x) (x x)) (x (x (x ((x x) x)))))) (x x)) (x (x x)))) (x (x x))) (x x)) ((x x) (x x)))) (((x x) (x (x x))) (((((x x) ((x x) x)) (x (((x (x x)) (((x (x x)) (((x (x x)) (x x)) (x ((x x) x)))) x)) (x x)))) (x ((x x) (x (x (x (x x))))))) ((x x) (((x ((x x) x)) x) (x (x x)))))) (((((x x) (x x)) (((x x) (x x)) (x x))) ((x (x (((x x) x) (x x)))) (((x x) (x x)) ((x x) (x x))))) (((x x) x) (((x x) x) x))) ((((x x) ((x x) (((x x) x) (x x)))) (((x (x x)) ((x x) x)) x)) (((x (x ((x x) x))) (((x x) x) x)) (((x (x x)) x) (x (x (x x)))))) (((((x x) (x (x x))) (((x x) x) (x x))) (((x x) x) (x (x x)))) (((x x) ((x ((x x) x)) (x (x (x x))))) (((x x) ((x x) (x x))) ((x (x x)) (((x x) x) x))))) (((((x x) x) ((x (x x)) ((x (x x)) (x x)))) ((x ((x (x x)) x)) x)) ((x (x x)) (x x))) (((((x (x x)) (x x)) x) ((((x x) x) (x x)) ((x (x x)) x))) (((x x) (x ((x x) ((x (x x)) x)))) (((x x) (((x ((x (x x)) x)) (x (x x))) ((x x) x))) (x (x (x x)))))) (x ((((x (x x)) ((x x) (x x))) x) ((((x x) (x x)) ((((x x) (x (x ((x (x x)) ((x x) x))))) x) ((x x) x))) x))) (((x ((x (x (x x))) (x x))) (x (x ((x x) ((x x) (x x)))))) ((((((x (x x)) ((x x) x)) (x x)) ((x ((x (x (x x))) ((x x) x))) ((x x) (x (x x))))) ((x x) ((((x x) (x x)) ((x (x x)) x)) (x x)))) (x ((x x) x)))) (((((((x x) x) (x (x x))) (x x)) x) (((x x) (x (x x))) x)) (((x (x (x x))) x) ((x (x (((x x) x) (x x)))) (x (x x))))) (((x (x x)) (x (x x))) ((x x) (((x x) (((x x) (x (x x))) x)) ((x x) (x (x x)))))) ((((((((x x) x) (x (x (x (x x))))) (x x)) (x x)) (x (x x))) ((((x x) x) x) ((x x) (((x x) (x ((x x) x))) x)))) ((x x) x)) (((((((x x) (x x)) ((x (x x)) (x x))) (((x x) (x x)) ((x (x ((x x) x))) (((x x) x) (x x))))) ((x x) ((x (x x)) (x x)))) (((x (x (x (x x)))) x) x)) (x x)) ((((((x ((x x) x)) (x (x (x (x (x x)))))) (((x x) x) x)) x) (((x x) (x x)) (x x))) (x (x x))) ((x (((((x x) (x (x (x x)))) x) ((x x) (x x))) ((x (x x)) x))) (((x (((x x) (x (((x x) x) x))) (x x))) x) x)) (((((x x) x) (x (((x (x x)) x) x))) (x (x (x x)))) ((((x x) x) x) ((x x) (x (x x))))) ((x (((((x x) (x x)) (x x)) ((x ((x x) x)) (x ((x x) (x (((x x) ((x x) x)) x)))))) ((x (((x x) (x x)) x)) (x x)))) (((x (((x x) ((x x) x)) ((x x) x))) x) ((x x) ((x ((x x) ((x x) x))) (x (x x)))))) (((x (x (x (x x)))) ((x (x (x x))) (x (x (x (x x)))))) (((x x) x) ((x x) ((((x x) (x x)) (x (x ((x x) x)))) ((x ((x (x x)) ((x x) (x x)))) ((((x (x (x x))) (x x)) (x x)) ((x ((x (x x)) (x x))) (x (x x))))))))) ((((x x) (((x x) ((x x) x)) (x (x x)))) (x ((x x) (x x)))) (((x (x ((x x) (x x)))) (x (x x))) (((x x) (x x)) (((x x) (x x)) ((x (x x)) (x x)))))) ((((x x) (((x (x x)) x) x)) (x (((x x) x) x))) ((((((x x) x) ((x x) x)) (x x)) (x x)) (x (x (x (x (x x))))))) (((((x ((x ((x (((x (x (x x))) ((x x) x)) x)) (x x))) (x (x x)))) (x (x (x x)))) (x x)) x) (x (x x))) ((((((((x (((x x) ((x x) (x x))) (x x))) x) x) (x x)) (x (x x))) (((x x) x) x)) x) (((x x) (((x x) (x x)) (x (x x)))) ((x (((x (x ((x ((x x) (x x))) x))) ((x x) x)) ((x x) x))) ((x ((x x) (x (x x)))) (x ((x x) x)))))) ((((x x) ((x x) ((((x x) (x (x (x x)))) (((x (x x)) ((((x x) (x x)) (x (x x))) x)) ((x x) (x (x (x x)))))) x))) ((x (x x)) ((x x) (x ((x x) (((x (x x)) x) (x x))))))) (((x x) ((x x) (x x))) (x (x (x (x x)))))) (((x ((x x) (x (x x)))) ((x (x (x x))) (x ((x ((x x) x)) (x x))))) ((x x) ((((x x) (x x)) ((x x) (x x))) ((x x) x)))) ((((x (x (x x))) x) ((x x) ((x (x x)) x))) (((((x (x x)) ((x x) x)) (x x)) (((x x) (x x)) x)) ((x x) (x x)))) (((((x (x x)) (x x)) (x (x x))) ((x ((x x) (x x))) (x (x (x x))))) (((x (x x)) (x (x ((((x (x x)) x) (x (x x))) x)))) (x (x x)))) ((((x x) (((x x) (((x ((x x) x)) x) x)) ((x x) (x x)))) (((x x) (x x)) (x (x (x x))))) ((((x x) ((((x (x (x (x x)))) x) (x x)) (x x))) (x (x ((x x) x)))) ((x ((x (x x)) x)) (x x)))) (((x (x x)) ((x (x x)) (x x))) ((x ((((((x x) x) (x x)) ((x (x (x x))) (x (((x x) x) (x x))))) ((x x) (x x))) x)) (((x x) ((x x) (x x))) (x (x x))))) ((x x) ((((((x ((x (x x)) x)) (((x x) x) x)) (x ((x x) (((x x) x) x)))) (x x)) ((x x) x)) x)) (((x x) (x ((x x) (x x)))) (((((x x) x) ((x (x x)) x)) x) ((((x (x (x x))) ((((x (x x)) x) x) (x ((x x) (x x))))) ((x x) (x x))) ((x x) (((((x (x x)) x) (x x)) ((x (x x)) (x (x x)))) (x x)))))) ((((x (((((((x (x x)) ((x (x x)) x)) (x (((x x) x) x))) x) x) ((x (x x)) (x (x x)))) (x (x (x x))))) (x x)) ((x x) (x x))) (((x x) ((x x) (x ((x x) (x ((x x) x)))))) (((x (x x)) x) (x (x x))))) ((((x x) x) ((x (x (x x))) ((x x) x))) (((x x) (x (x x))) ((x (x x)) (((x x) (x x)) (((x (((x x) x) (x x))) ((x x) x)) (((x (x x)) (x (x x))) ((x x) x))))))) (((((x (x (x x))) (x (x ((x x) x)))) ((x x) (x x))) x) (((((x x) x) ((x x) ((x x) ((x (x x)) x)))) (x (x (x x)))) (x (x (x x))))) (((x x) ((((((x x) x) ((x x) x)) x) x) x)) ((((x x) x) (x (x (x (x x))))) ((x x) (x x)))) (((((((x (x x)) (x (x x))) x) (((x x) x) x)) (x x)) (((x (x x)) (x x)) x)) (x (((((x x) (x x)) (((x x) x) x)) x) (((x (x x)) ((x (x (x (x x)))) x)) ((((x ((x (x x)) (x x))) ((x x) ((x x) ((x x) x)))) x) x))))) (((x x) (x x)) ((((x x) ((x ((x ((x x) (((x x) x) x))) x)) (x ((((x x) x) ((((x x) x) x) x)) (x (x x)))))) (x x)) (x x))) ((((x (x (x x))) (x x)) (((((x x) (x (x (x x)))) (x x)) (((x (x x)) (x x)) (x (x ((x (x x)) ((x x) x)))))) x)) (((x x) x) (x (x ((x x) (x x)))))) ((((((x (x x)) x) (x (x (x x)))) ((((x x) (x x)) (x x)) (x ((x (x x)) x)))) (((x (x x)) x) x)) ((x x) (((x x) (x x)) ((x x) x)))) ((x ((((x (x x)) ((x x) (x x))) (x x)) (((x (x x)) x) (x ((x (x x)) x))))) ((x ((x x) ((x ((x x) x)) (x x)))) (x (x x)))) (((((x x) ((x (x (x x))) x)) (x (x x))) ((((x (x x)) ((x x) x)) x) ((x ((x x) x)) ((x x) (x x))))) ((((x x) x) (x x)) ((x x) ((x x) (x ((x x) x)))))) (((((x (x x)) (x x)) ((((x x) x) x) ((((x (x (x x))) x) (x x)) ((x x) x)))) ((x x) ((x (((x x) x) x)) (x x)))) (x ((((x x) x) (x x)) (x (x x))))) ((x x) ((((x (x (x x))) ((x x) (x (x x)))) (((x x) x) (x (((((x x) ((x x) x)) x) ((x (x x)) (x x))) ((x (x x)) (x x)))))) (x ((x x) (x (x x)))))) (((x (x (((x x) x) (x x)))) (((x (x x)) ((x x) (x x))) (x (x (x x))))) (((x x) (x x)) ((x x) x))) ((((x (x x)) (x x)) (((x ((x x) x)) (((x x) x) x)) ((((x x) x) (((x x) x) (x x))) x))) (((((x (x x)) (x x)) (x ((x x) (x (x (x (x x))))))) x) ((x x) x))) ((((x (x (x (x x)))) x) (x (x (x x)))) ((((x (x (((x x) (x (x (x x)))) x))) x) (x ((x x) ((x x) (x x))))) ((((x x) (((x x) x) (x x))) (x (x x))) (x x)))) (((((x x) (x ((x x) x))) ((x x) x)) ((x (x ((x x) x))) ((x x) ((x x) x)))) ((x ((x x) (x (x x)))) ((x (x x)) (x x)))) ((((x (x x)) x) ((x x) x)) (((x ((x x) x)) (((x (x ((x (x x)) x))) (x x)) x)) ((((((x x) x) (x x)) (x x)) ((((x x) (x x)) (x x)) ((x x) ((x x) x)))) ((x (x (x x))) (x x))))) ((x (((x x) ((x x) (x (x x)))) (((((x (x x)) (x ((x x) (x x)))) (((x x) ((x x) (x x))) (x x))) (((x (x x)) x) ((x x) x))) ((x x) x)))) (x (x x))) ((((x x) ((x (x x)) x)) (x (x x))) (((x x) (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