S(S(S(S(S(SS(S(SSS)(SS0))(S`KSK)(SI`K0))`KK)`K(S(SI`K0)`KK))`KK)`K(S(SI`K(S(S(S(SSS)(SS0))S)(SSSS(SS(SS0)))(S`KSK)))`K(S(SI`K(SS(S(SSSSSSSSSSS)(SS0))(S`KSK)))`K(S(SI`K(S(SSSSSSS)(SS(SS0))(S`KSK)))`K(S(SI`K(SS(S(SI(SS(SS0)))(SS(SS(SSSI`SSS(SS0)))))(S`KSK)))`K`K(SS(S(SS0)(SS(SSSS(SS0))))(S`KSK)))))))`K(S(SI`K(SS(SS(SS(SSSSSS(SS0))))(S`KSK)))`K(S(SI`K(S(SI(SS(SS0)))(SS(SS(SSSI`SSS(SS0))))(S`KSK)))`K(S(SI`K(S(S(SSSI`SSS(SS0))S)(SSSSSS(SS0))(S`KSK)))`K`K(SS(S(SS0)(SS(SSSS(SS0))))(S`KSK)))))