S(S(S(S(S(S(S(S(S(SI`KK)`K(S(SI`K0)`KK))`K0)0)`K`S(S`KSK))`K(SS(SS0)(S`KSK)))`K(S`K`S(S`KS(S`KK(S`KS(S`K`SIK))))(S`K`S`K`S`KK(S`K`S`K`S`K`S(SI`K(S(SS(SSI(SS0)))(SS0)(S`KSK)))(S`K`S`K`S`KK(S`SSKSK`K(S(SS0)S(S`KSK))))))))I)`K(SS(SS(S(SSSSSSSSS)(SS0)))(S`KSK)))I