(s(((s(k(s(ks))))((s(k(s(kk))))((s(k(s((sk)k))))k)))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))(sk)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))(((k((sk)k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))(sk))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))((((s((s(ks))((s(kk))((s(ks))((s(k(s(ks))))((s(k(s(kk))))((s(k(s((sk)k))))k)))))))(k((sk)k)))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))(sk)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))((((s((s(ks))((s(kk))((s(ks))((s(k(s(ks))))((s(k(s(kk))))((s(k(s((sk)k))))k)))))))(k((sk)k)))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))(sk)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))((((s((s(ks))((s(kk))((s(ks))((s(k(s(ks))))((s(k(s(kk))))((s(k(s((sk)k))))k)))))))(k((sk)k)))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))(sk)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))((((s((s(ks))((s(kk))((s(ks))((s(k(s(ks))))((s(k(s(kk))))((s(k(s((sk)k))))k)))))))(k((sk)k)))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))(sk))))))))))))))))))))))))))))))))))((((s((s(ks))((s(kk))((s(ks))((s(k(s(ks))))((s(k(s(kk))))((s(k(s((sk)k))))k)))))))(k((sk)k)))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))(sk)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))((((s((s(ks))((s(kk))((s(ks))((s(k(s(ks))))((s(k(s(kk))))((s(k(s((sk)k))))k)))))))(k((sk)k)))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))(sk))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))((((s((s(ks))((s(kk))((s(ks))((s(k(s(ks))))((s(k(s(kk))))((s(k(s((sk)k))))k)))))))(k((sk)k)))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))(sk))))))))))))))))))))))))))))))))))((((s((s(ks))((s(kk))((s(ks))((s(k(s(ks))))((s(k(s(kk))))((s(k(s((sk)k))))k)))))))(k((sk)k)))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))(sk))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))((((s((s(ks))((s(kk))((s(ks))((s(k(s(ks))))((s(k(s(kk))))((s(k(s((sk)k))))k)))))))(k((sk)k)))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))(sk)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))((((s((s(ks))((s(kk))((s(ks))((s(k(s(ks))))((s(k(s(kk))))((s(k(s((sk)k))))k)))))))(k((sk)k)))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))(sk))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))((((s((s(ks))((s(kk))((s(ks))((s(k(s(ks))))((s(k(s(kk))))((s(k(s((sk)k))))k)))))))(k((sk)k)))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))(sk)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))((((s((s(ks))((s(kk))((s(ks))((s(k(s(ks))))((s(k(s(kk))))((s(k(s((sk)k))))k)))))))(k((sk)k)))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))(sk))))))))))))))))))))))))))))))))))((((s((s(ks))((s(kk))((s(ks))((s(k(s(ks))))((s(k(s(kk))))((s(k(s((sk)k))))k)))))))(k((sk)k)))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))(sk)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))((((s((s(ks))((s(kk))((s(ks))((s(k(s(ks))))((s(k(s(kk))))((s(k(s((sk)k))))k)))))))(k((sk)k)))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))(sk)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))((((s((s(ks))((s(kk))((s(ks))((s(k(s(ks))))((s(k(s(kk))))((s(k(s((sk)k))))k)))))))(k((sk)k)))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))(sk))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))((((s((s(ks))((s(kk))((s(ks))((s(k(s(ks))))((s(k(s(kk))))((s(k(s((sk)k))))k)))))))(k((sk)k)))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))(sk)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))((((s((s(ks))((s(kk))((s(ks))((s(k(s(ks))))((s(k(s(kk))))((s(k(s((sk)k))))k)))))))(k((sk)k)))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))(sk))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))((((s((s(ks))((s(kk))((s(ks))((s(k(s(ks))))((s(k(s(kk))))((s(k(s((sk)k))))k)))))))(k((sk)k)))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))(sk)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))((((s((s(ks))((s(kk))((s(ks))((s(k(s(ks))))((s(k(s(kk))))((s(k(s((sk)k))))k)))))))(k((sk)k)))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))(sk))))))))))))))))))))))))))))))))))((((s((s(ks))((s(kk))((s(ks))((s(k(s(ks))))((s(k(s(kk))))((s(k(s((sk)k))))k)))))))(k((sk)k)))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))(sk)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))((((s((s(ks))((s(kk))((s(ks))((s(k(s(ks))))((s(k(s(kk))))((s(k(s((sk)k))))k)))))))(k((sk)k)))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))(sk))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))((((s((s(ks))((s(kk))((s(ks))((s(k(s(ks))))((s(k(s(kk))))((s(k(s((sk)k))))k)))))))(k((sk)k)))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))(sk)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))((((s((s(ks))((s(kk))((s(ks))((s(k(s(ks))))((s(k(s(kk))))((s(k(s((sk)k))))k)))))))(k((sk)k)))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))(sk)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))((((s((s(ks))((s(kk))((s(ks))((s(k(s(ks))))((s(k(s(kk))))((s(k(s((sk)k))))k)))))))(k((sk)k)))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))(sk)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))((((s((s(ks))((s(kk))((s(ks))((s(k(s(ks))))((s(k(s(kk))))((s(k(s((sk)k))))k)))))))(k((sk)k)))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))(sk)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))((((s((s(ks))((s(kk))((s(ks))((s(k(s(ks))))((s(k(s(kk))))((s(k(s((sk)k))))k)))))))(k((sk)k)))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))(sk))))))))))))))))))))))))))))))))))((((s((s(ks))((s(kk))((s(ks))((s(k(s(ks))))((s(k(s(kk))))((s(k(s((sk)k))))k)))))))(k((sk)k)))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))(sk)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))((((s((s(ks))((s(kk))((s(ks))((s(k(s(ks))))((s(k(s(kk))))((s(k(s((sk)k))))k)))))))(k((sk)k)))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))(sk)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))((((s((s(ks))((s(kk))((s(ks))((s(k(s(ks))))((s(k(s(kk))))((s(k(s((sk)k))))k)))))))(k((sk)k)))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))(sk)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))((((s((s(ks))((s(kk))((s(ks))((s(k(s(ks))))((s(k(s(kk))))((s(k(s((sk)k))))k)))))))(k((sk)k)))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))(sk)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))((((s((s(ks))((s(kk))((s(ks))((s(k(s(ks))))((s(k(s(kk))))((s(k(s((sk)k))))k)))))))(k((sk)k)))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))(sk)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))((((s((s(ks))((s(kk))((s(ks))((s(k(s(ks))))((s(k(s(kk))))((s(k(s((sk)k))))k)))))))(k((sk)k)))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))(sk))))))))))))))))))))))))))))))))))((((s((s(ks))((s(kk))((s(ks))((s(k(s(ks))))((s(k(s(kk))))((s(k(s((sk)k))))k)))))))(k((sk)k)))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))(sk)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))((((s((s(ks))((s(kk))((s(ks))((s(k(s(ks))))((s(k(s(kk))))((s(k(s((sk)k))))k)))))))(k((sk)k)))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))(sk)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))((((s((s(ks))((s(kk))((s(ks))((s(k(s(ks))))((s(k(s(kk))))((s(k(s((sk)k))))k)))))))(k((sk)k)))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))(sk))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))((((s((s(ks))((s(kk))((s(ks))((s(k(s(ks))))((s(k(s(kk))))((s(k(s((sk)k))))k)))))))(k((sk)k)))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))(sk))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))((((s((s(ks))((s(kk))((s(ks))((s(k(s(ks))))((s(k(s(kk))))((s(k(s((sk)k))))k)))))))(k((sk)k)))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))(sk))))))))))))))))))))))))))))))))))((((s((s(ks))((s(kk))((s(ks))((s(k(s(ks))))((s(k(s(kk))))((s(k(s((sk)k))))k)))))))(k((sk)k)))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))(sk)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))((((s((s(ks))((s(kk))((s(ks))((s(k(s(ks))))((s(k(s(kk))))((s(k(s((sk)k))))k)))))))(k((sk)k)))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))(sk))))))))))))))))))))))))))))))))))((((s((s(ks))((s(kk))((s(ks))((s(k(s(ks))))((s(k(s(kk))))((s(k(s((sk)k))))k)))))))(k((sk)k)))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))(sk))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))((((s((s(ks))((s(kk))((s(ks))((s(k(s(ks))))((s(k(s(kk))))((s(k(s((sk)k))))k)))))))(k((sk)k)))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))(sk))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))((((s((s(ks))((s(kk))((s(ks))((s(k(s(ks))))((s(k(s(kk))))((s(k(s((sk)k))))k)))))))(k((sk)k)))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))(sk)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))((((s((s(ks))((s(kk))((s(ks))((s(k(s(ks))))((s(k(s(kk))))((s(k(s((sk)k))))k)))))))(k((sk)k)))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))(sk)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))((((s((s(ks))((s(kk))((s(ks))((s(k(s(ks))))((s(k(s(kk))))((s(k(s((sk)k))))k)))))))(k((sk)k)))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))((s((s(ks))k))(sk)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))(sk))))))))))))))))))))))))))))))))))))))))))))))