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