K(S(SI(K(S(K(S(S(KS)K)(S(S(KS)K)I)(S(S(KS)K)I)))(S(S(KS)K)I(S(S(KS)K)(S(S(KS)K)I))))))(K(S(SI(K(S(S(KS)K)(S(K(S(S(KS)K)(S(S(KS)K)I)(S(S(KS)K)I)))(S(K(S(S(KS)K)(S(S(KS)K)I)))(S(S(KS)K)I(S(S(KS)K)I)))))))(K(S(SI(K(S(K(S(S(KS)K)I(S(S(KS)K)(S(S(KS)K)I))))(S(K(S(S(KS)K)(S(S(KS)K)I)))(S(S(KS)K)I(S(S(KS)K)I))))))(K(S(SI(K(S(K(S(S(KS)K)I(S(S(KS)K)(S(S(KS)K)I))))(S(K(S(S(KS)K)(S(S(KS)K)I)))(S(S(KS)K)I(S(S(KS)K)I))))))(K(S(SI(K(S(K(S(S(KS)K)(S(S(KS)K)I)))(S(S(KS)K)(S(S(KS)K)I(S(K(S(S(KS)K)I))(S(S(KS)K)(S(S(KS)K)I))))))))(K(S(SI(K(S(S(KS)K)(S(S(KS)K)I(S(S(KS)K)I))(S(S(KS)K)I))))(K(S(SI(K(S(K(S(S(KS)K)(S(S(KS)K)I)))(S(S(KS)K)(S(K(S(S(KS)K)I(S(S(KS)K)I)))(S(S(KS)K)(S(K(S(S(KS)K)I))(S(S(KS)K)(S(S(KS)K)I)))))))))(K(S(SI(K(S(S(KS)K)(S(S(KS)K)I(S(K(S(S(KS)K)I))(S(S(KS)K)(S(S(KS)K)I(S(S(KS)K)I))))))))(K(S(SI(K(S(K(S(S(KS)K)I(S(S(KS)K)(S(S(KS)K)I))))(S(K(S(S(KS)K)(S(S(KS)K)I)))(S(S(KS)K)I(S(S(KS)K)I))))))(K(S(SI(K(S(K(S(S(KS)K)I(S(S(KS)K)I)))(S(S(KS)K)(S(K(S(S(KS)K)I(S(S(KS)K)I)))(S(S(KS)K)(S(K(S(S(KS)K)I))(S(S(KS)K)(S(S(KS)K)I)))))))))(K(S(SI(K(S(K(S(S(KS)K)(S(S(KS)K)I)))(S(S(KS)K)(S(K(S(S(KS)K)I))(S(S(KS)K)(S(S(KS)K)I(S(S(KS)K)I))))))))(K(S(SI(K(S(K(S(S(KS)K)I))(S(S(KS)K)(S(S(KS)K)I(S(S(KS)K)I))))))(K(S(SI(K(S(S(KS)K)(S(S(KS)K)I)(S(S(KS)K)I)(S(S(KS)K)I))))(KK))))))))))))))))))))))))))