s(s`k(sii(s`k`s(s`ks(s`k`si(ss`si`kk)))(s`k`s`kk(s(s`ks(s`k`s`k(ss(s(ss`k(s(
sii)i))(ss`ki))(s`ksk)(s`k`sik))(s`k`s`kk(s(s`ks(s`kk(sii)))`k(si`k`ki)))))(
s`k`s(s(si`kk)`k(s`k`sik))(s`k`s`kk(s`k`si(s`kk(s`kk(s(s`ks(s`kk(sii)))`k(s(
s`ks(s`k`si(s`kk(s`k(s(s`k(s(ss(ss`ss)(ss`ki))s(s`ksk)(s(sii)i(s(s`ksk)i))(s
`k`sik))(s`kk(s(s(si`k(s`k`sik))(s`kk(s`k(sii(s(s`ks(s`k`s(si`k`kk)(s`k`s`k`
s(s`ksk)(s(s`ks(s`kk(sii)))`k(si`kI)))))`k`k`ki))(s`k(si(s(s(sii)i)`k(si`kI)
)(s(s`ksk)i))(s(si`k(s`k`sik))`k`k`ki)))))(s`k(ss(s(ss`ki)(ss(ss(ss`ss(ss`ki
)))))(s`ksk)(s`k`sik))k))))(s(si`k(s`k`sik))k))(si`kk)))))(s`kk(si`k`ki)))))
))))))))(s`k`s(si`k(s(s`ksk)(s(sii)i)(s(s`ksk)i)))k))`k`ki