K(S(SI`K(SS(S(SSSSSSSSS)(SS0))(S`KSK)))`K(S(SI`K(SS(S(SS(SS`S(SIS)S))(SS(SS0)))(S`KSK)))`K(S(SS(SS0))(SS(SSSS(SS0)))(S`KSK)(S`K`S(SI`K(S(SSSSSSSSS)(SS0)(S`KSK)))K)K)))