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