K(SS(SSI(SS0))(S`KSK)(S`SSKS(S`KK(S`KSK))`K(S`K`S(S(SI`K(S`KSK))`K(S`K`S(SI`K(SS(S(SSS)(SSSS(SS0)))(S`KSK)))K))(S`K`S`K`S(SI`K(S(SSSSSSSSS)(SS0)(S`KSK)))(S`K`S`KK(S`K`S(S(SI`K(S`KSK))`K(S`K`S(SI`K(SS(SS(SS(S(SSS)(SSSS(SS0)))))(S`KSK)))K))(S`KK(S`K`S(SI`K(SS(SSSS(SS0))(S`KSK)))K)))))))IK(S(SS`S(SIS)S)(SS(SS0)))0(SS(S(SSS)(SS0)))(SS(SS0))(SSSS(SS0)))