SSI`S`S`K(S`K`S(S(S(SS`K`S`KS)`KK)`K(S`K`S(S`KS`SI)(S`K`S`KK(S`K`SI(S`KKK)))))(S`K`S`K`S`K`S(SI`K(S(SS`S(SIS)S)(SS(SSI(SS0)))(S`KSK)))(S`K`S`K`S`KK(S`K`S`K`SI(S`K`S`KK(S`K`S`KK(S`K`SI(S`KKK))))))))I(S(SI`K(S(SI(SS0))(S(S(S(SSSSS)(SS0))S)(SSSS(SSI(SS0))))))`K(S`SSKSKI(S`K`S(SI`K(S(SSSSS)(SSI(SS0))))K)(S(SI`K(S(SI(S(SSS)(SS0)))(SS(S(SSSSS)(SS0)))))`K(S(SSI`S(S`KSK)I)(S`K`S(SI`K(SS(S(SI(SS0))(SS(SS(SSSI`SSS(SS0)))))))(S`KK(S(S`SSKSKI)`K(S(SI`K(SS(S(SI(S(SSS)(SS0)))(SS(S(SSSSS)(SS0))))))`K`K(SSSS(SSI(SS0)))))))(S`K`S(SI`K`K0)K)))))