(s(s(s`ksk)`k(sii))(s(s`ksk)`k(sii))(s`k`s`k`si(s`k`s`kk(s`k`s`k`s(s`ks(s`kk(s`k(s(s`ks(s`kk(s`ks(s`k`sik))))`kk)i)))(s(s`ks(s`k`s`ks(s`k`s`k`s`ks(s`k`s`k`s`kk(s`k`s(s`ks(s`k`s(s`k(s(s(s(s(si`k(s(s(si`k`kk)`k`k`ki)`k(s`kkk)))`k(s`kkk))`kk)`k`ki)`k`ki)i)k))(s`k`s`kk(s(s`ksk)`ki)))))))`k`k`ki))))(s(s(s`ksk)`k(sii))(s(s`ksk)`k(sii))(s(s`ks(s`kk(s`k`s(s`k(si`k`kk)i)(s`k`s(s`k(si`k`k`ki)i)(s`k`s`k`s(s`ks(s`kk(s`k(s(s`ks(s`kk(s`ks(s`k`sik))))`kk)(s`k(s`k`s(s`ksk)(s(s`ks(s`k`s`ks(s`k`s`kk(s(s`ksk)`ki))))`k`ki))i))))(s`k`s`kk(s`k`s(s`ks(s`kk(s(s`k(si`k(s`kkk))i)`kk)))(s`kk(s(s`ksk)`ki)))))))))`k(s`k(s(s`ks(s`k`s`ks(s`k`s`kk(s(s`ksk)`ki))))(s(s`ks(s`k`s`ks(s`k`s`kk(s(s`ksk)`ki))))`k`ki)(s(s`ksk)(s(s`ksk)`ki)(s(s`ksk)(s(s`ksk)(s(s`ksk)(s(s`ksk)(s(s`ksk)`ki))))))(s(s`k(si`k`k`ki)i)(s(s`ks(s`k`s`ks(s`k`s(s`ks(s`kk(s`k(s(si`k(s(si`k`ki)`kk))`k`ki)i)))(s(s`ks(s`k`s`ks(s`k`s`kk(s`k`s`k(s(s`ks(s`k`s`ks(s`k`s`kk(s`k`s`ks(s(s`ks(s`kk(s`ks(s`k`sik))))`kk)))))`k`kkk)(s(s`ks(s`kk(s`ks(s`kk(s`k(si`k`kk)i)))))`k(s(s`ks(s`kk(s`k(s(s`ks(s`kk(s`ks(s`k`sik))))`kk)i)))`ki))))))`k`ki))))(s(s`ks(s`k`s`ks(s`k`s`kk(s(s`ks(s`kk(s`k(s(s`ks(s`k`s`ks(s`k`s`kk(s`k`s`ks(s(s`ks(s`kk(s`ks(s`k`sik))))`kk)))))`k`kk)(s`k(si`k(s`kkk))i))))(s(s`ks(s`kk(s`ks(s`kk(s`k(si`k`kk)i)))))(s(s`ks(s`k`s`ks(s`k`s`kk(s`k`s`k(s(s`ks(s`kk(s`ks(s`k`sik))))`kk)(s(s`ks(s`kk(s(s(s`k(si`k(s`kkk))i)`k(s`k`s(s`ksk)(s(s`ks(s`k`s`ks(s`k`s`kk(s(s`ksk)`ki))))`k`ki)))`ki)))`ki)))))`k`ki))))))`k`ki))))(s`k(s(s`ks(s`k`s`ks(s`k`s`kk(s`k`s`ks(s(s`ks(s`kk(s`ks(s`k`sik))))`kk)))))`k`kk`kii)i)))))