K(S(SSS)(SSI(SS0))(S`KSK)(S`SSKS(S`K`S`KS(S`SSKS(S`K`S`KS(S`K`S`K`S`KS(S`K`S`K`S(S`KS(S`K`S`K(S(SSS)(SSI(SS0))(S`KSK))(S`K`S(S`KS(S`KK(S`KS(S`SSKS(S`KK(S(SI`K(S`K`SIK))`K`K(SI`K0)))`K(S(SI`K(S`K`SIK))`K0)))))(S`SSKS(S`K`S`KS(S`K`S`KK(S`K`S`KS(S`K`S`K`S`KS(S`K`S`K`S`K`SI(S`K`S`K`S`KK(S`SSKS(S`K`S`KS(S`SSKS(S`K`S`KS(S`SSKS(S`KK(S`KS(S`SSKS(S`KK(S(SI`K(S`K`SIK))`K`K`KK))`K(S(SI`K(S`K`SIK))`K0))))`K(S`SSKS(S`KK(S(SI`K(S`K`SIK))`K`K0))`K(S(S(S(S(SSS)(SSI(SS0)))S(S`KSK))`K(S`K`SIK))`K`KK))))`K`K`K(SS(S(SSSSSSSSS)(SS0))(S`KSK))))`K`K`K(S(SS(SSI(SS0)))(SS0)(S`KSK)))))))))`K`K(S`K`S`KK(SIK`S(S`KSK)))))))(S`K`S`KK(S`K`S`K`S`KK(S`K`S`K`S`K`S(SI`K(SS(SSSS(SS0))(S`KSK)))(S`K`S`K`S`KK(S`SSKS(S`K`S`KS(S`K`S`KK(SIK`S(S`KSK))))`K`K(S(S`K(S(SSS)(SSI(SS0))(S`KSK)(S`K`SIK)`K(S(SSS)(SSI(SS0))(S`KSK)(S(S(SI`K(S`K`SI(S`KK(SI`K`S(S`KSK)))))`K`K0)0)))(S(SI`K(S`K`SIK))`K0))I)))))))))`K`K`K`K0))`K(SI`K`S(S`KSK)))II0)