K(S(SSS)(S(SSS)(SSI(SS0)))(S`KSK)(S`K`S(S`KS`SI)(S`K`S`KK(S`K`SI(S`KKK))))K(SS(S(SSS)(SS0))(S`KSK)(S`K`S(S`K`S(S`KS(S`K`S`KS`S`KK))(S`K`S(S`KSK)(S`KK(S`K`S(S`KSK)(SS`S(S`KS(S`KK(S`KS(S`K`SIK))))`KK)))))(S`SSKSK`K(S(S(SI`K(S`K`SI(S`KK(SI`K`S(S`KSK)))))`K`K0)0)))`K(S`SSKSK`K(S`K`S(SI`K(SS(SSSS(SS0))(S`KSK)))K))(SS(SS(SS(S(SS0)(SS(SSSS(SS0))))))(S`KSK))IK)0)