S(S(SI`KK)`K(SI`K0))`K(S(SI`KK)(S`SSKS(S`K`SI(S`KK(SISSKSK)))(S`KK(S`KK(S`K`S(SI`K(S(SS(SS`S(SIS)S))(SS(SS0))(S`KSK)))(S`KKK)))))(SS(S(SSSSSSSSS)(SS0))(S`KSK)))