SS(S(SSS)(SSI(SS0)))(S`KSK)(S`SSKS(S`SSKS(S`SSKS(S`SSKS(S`K`S`K(SS(S(SSS)(SS0))(S`KSK)(S`K`S`K`S`K`S`K`S(SI`K(S(SS(SSI(SS0)))(SS0)(S`KSK)))(S`K`S`K`S`K`S`KK(S`K`S`K`S(S`KS(S`KK(S`KS(S`K`SIK))))(S`K`S`K`S`K`S`KK(S`K`S`K`S`K`S(S(S(SI`K(SI`K0))`K(S`SSKS(S`K`SI(S`KK(S`SSKSK`K(S`K`S(SI`K(SS(SS(S(SS0)(SS(S(SSSSS)(SS0)))))(S`KSK)))K))))(S`KK(S(S`K`S(S`KS(S`K`SI(S`KK(S`SSKSK`K(S`K`S(SI`K(SS(SS(SS(SS(S(SS0)(SS(S(SSSSS)(SS0)))))))(S`KSK)))K)))))(S`K`S`KK(S`K`S`K`S(SI0)(S`K`S`KK(S`K`S(S`KS(S`K`SI(S`KK(S`SSKSK`K(S`K`S(SI`K(S(SS(SS`S(SIS)S))(SS(SSI(SS0)))(S`KSK)))K)))))(S`KK(S`KK(S`KK(S`SSKSK`K(S`K`S(SI`K(SS(S(SS0)(SS(S(SSSSS)(SS0))))(S`KSK)))K))))))))))`K(S`K`S(SI`K(SS(S(SS0)(S(SS`S(SIS)S)(SS(SS0))))(S`KSK)))(S`KK(S`K`S(SI`K(S(SI(SSSS(SS0)))(SS(SS(SSI)(SS0)))(S`KSK)))K)))))(S`K`S(SI`K(S(SSS)(S(SS`S(SIS)S)(SS(SS0)))(S`KSK)))(S`KK(S`K`S(SI`K(SS(S(SSS)(S(SSSSS)(SS0)))(S`KSK)))(S`KK(S`K`S(SI`K(S(SSS)(SS(SS(SSSS(SS0))))(S`KSK)))K)))))))`KK)(S`SSKS(S`K`S`KS(S`K`S`K`S`KS(S`K`S`K`S`KK(S`SSKS(S`K`S`KS(S`K`S`KK(SIK`S(S`KSK))))`K`K(S`K(S(S(SS(S(SSS)(SS0)))S)(SSSS(SS(SS0)))(S`KSK)(S`K`SIK)`K(SS(SSSS(SS(SS0)))(S`KSK)))(S(SI`K(S`K`SIK))(S`KK`S(S`KSK))))))))`K(S`K`S(S`KS(SS`S(S(SI`K(SI`K0))`K(SS(SS(SSSS(SS(SS0))))(S`KSK)(S`K`S(SI0)K)(S(SI`K`S(S`KSK))`K(S`SSKSKI(S`K`S(SI0)K)(S(SI`K`S(S`KSK))`K(S(SI0)`K0))))))`KK))(S`KK(S(S(S(S(S(SI`K(SI`K0))`K(S`SSKSKI(S`K`S(SI0)K)(S(SI`K`K`K`K(S(S(SI`K(S`K`SI(S`KK(SI`K`S(S`KSK)))))`K`K0)0))0)))`KK)0)0)0))))))))))(S`K`S`KK(S`K`S`KK(S`K`S`KK(S`K`S`K`S(SI`K(SS(SSSS(SS0))(S`KSK)))(S`K`S`KK(S`SSKSK`K(S(S(S(S(S(S(SI`K0)`KK)`K(S`K`SIK))`K`K(S`SSKSKI))`K(S`SII(S`SSKSKI)(S`K`SIK)`K(SS(SSI(SS0))(S`KSK))))`K(SI`K0))I))))))))`K`K0)`K(SI`KK))`K(S(S(S(S(SS(SS0)(S`KSK)(SI`K0))`KK)`K(SI`K0))`K(SS(SS(SS(SS(S(SS0)(SS(S(SSSSS)(SS0)))))))(S`KSK)(S`K`S(SI`K(S`SSKSKI))K)(S`SSKSKI(S`K`S(SI0)K)(S(SI`K(SS(SS0)(S`KSK)))`K(SSI`S`K`S(SI`K(S`SSKSKI))(S`S`KKI))))))`KK))`K`K0)K