(((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)))
(((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)))
(((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)))
(((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)) ((u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o) (u f o)))
