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