(((S((S((SK)K))(K(S((S(KS))K)))))(K(K((SK)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))(K((SK)K)))))))((S((S(KS))K))((S((S(KS))K))((S((S(KS))K))((S((S(KS))K))((S((S(KS))K))(K((SK)K)))))))))