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