(((S((S((SK)K))(K(S((S(KS))K)))))(K(K((SK)K))))((((S((S((S(KS))K))(K((S((SK)K))((SK)K)))))((S((S(KS))K))(K((S((SK)K))((SK)K)))))((S(K(S((S((S((S((SK)K))(K(K(K((SK)K))))))(KK)))(K((S((S(KS))K))(K((SK)K))))))))((S(K(S((S(KS))K))))((S((S(KS))K))(K((S(K(S(K(S(K((S((SK)K))(K(K((SK)K))))))))))((S((S(KS))((S(K(S(KS))))((S(K(S(KK))))((S((S(KS))K))(K((S((S(KS))((S(K(S(K((S((S(KS))((S(KK))((S(KS))((S(K(S((SK)K))))K)))))(KK))))))((S((S(KS))K))(K((S((SK)K))(KK)))))))(K((S((SK)K))(KK))))))))))(K(K((S((S((S(KS))((S(KK))((S(KS))((S(K(S((SK)K))))K)))))(KK)))((SK)K)))))))))))((S((S(KS))K))((S((S(KS))K))((S((S(KS))K))((S((S(KS))K))(K((SK)K))))))))