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