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