K(S(SI`K0)(S(SI0)(S(SI`K(S`SSKSKI))I))(S(S(S(S(SSSISS(S`KSK))`K(S(S`K(SSI)(S`KS(S`KS(S`KK(S`K`S`K`S(S`KS(S`KK(S(S(S(SI`K(S`K`SIK))`K`K0)`K(SSSS(SS0)(S`KSK)(S`K`SIK)`KK))0)))(S`SSKS(S`KK(S`KS(S`K`S`KS(S`K`S`K`S`KS(S`K`S`K`S`KK(S`SSKS(S`K`S`KS(S`K`S`KK(SIK`S(S`KSK))))`K(S`K`S(S`KSK)(SS`S(S`KS(S`KK(S`KS(S`K`SI(S`KK(S(S(SSSSSSSSS)(SS0))S(S`KSK)))))))`KK))))))))`K(SIK`S(S`KSK))))))))0))`K0)0)`K(S`K`S(SI`K(SS(SSSS(SS0))(S`KSK)))K))0)