written in Lazy K (https://tromp.github.io/cl/lazy-k.html)

permil.lazy

K(S(SI
 (K(SS(SS(S(SSS)(SS(SS(SS)(SS(KI))))))(S(KS)K))))
 (K(S(SI
   (K(SS(S(SS(KI))(SS(SS(SS)(SS(KI)))))(S(KS)K))))
   (K(S(SI
     (K(SS(SS(SS(SS(S(SSS)(SS(SS(SS)(SS(KI))))))))(S(KS)K))))
     (K(S(SI
       (K(SS(S(SI(SS(SS(KI))))(SS(S(SSS))(SS(KI))))(S(KS)K))))
       (K(S(SI
         (K(S(SI(SS(SSI(SS(KI)))))(SS(S(SSS)(SSI(SS(KI)))))(S(KS)K))))
         (K(S(SI
           (K(S(SI(SS(SS(KI))))(SS(S(SSS))(SS(KI)))(S(KS)K))))
           (K(K(SII(SII(S(S(KS)K)I))))))))))))))))