sii(s`k`s(s`ks(s`k`si(ss`s(si`k`ki)`kk)))(s`k`s`kk(s`k`s(s`ks(s`k`si(ss`si`kk)))(s`k`s`kk(s(s`ks(s`kk(sii)))`k(s(si`k`ki)`k`ki))))))