K(S(S(S`K(SI(SI(SI(SI(SI`KI))))(S(S`KS(S`KK(S`KSK)))`K(S`K`S(S`KS(S`K`SI(S`KK(S(S(SS`KI)(SS(SS`SS(SS`KI))))S(S`KSK)))))(S`KKK)))I)(SS(SS(SS`SS(SS`KI)))))(S(S`KS`SS)I(SS`KI)))(S(S`KS`SS)I(SS`KI))(S`KSK)I(SII(S(S`KSK)I)))