S`K(SSI`S`S`K(S`K`S(S`KS(S`K`SI(SS`S(SS(S(SSS)(SSI(SS0)))(S`KSK)(SI`K0))`KK)
))(S`K`S`KK(S`K`S(S(S(S(S(S(S(S(S(SS`K(SISSKS))`KK)(S(S`SII(S`SSKSKI)(SI`K0)
)`KK))`K`S(S`KSK))(S(SS(S(SSS)(SSI(SS0)))(S`KSK)(SI`K0))`KK))`K(S`K`SIK))`K0
)`K(S(SSS)(SS(SSI(SS0)))(S`KSK)(S`K`SIK)`K0))`K(SS(SS(SSSS(SS0)))(S`KSK)(S`S
SKS(S`KK(S`KSK))`K(S`K`S(S`KS(SS`S(S`KS(S`KK(S`KS(S`K`SI(S`KK(SI`K(S`KSK))))
)))`KK))K))II(SS(SSSS(SS0)))(SS(S(SS(SSI(SS0)))(SS0)))(SS(S(SSS)(S`SSKS`SSI(
SS0))))(S(SSS)(S`SSKS`SSI(SS0)))(SS(SS(SSSSSS(SS0))))(S(SS(SS`S(SIS)S))(SS(S
S0)))(SS(S(SI(S(SSS)(SS0)))(SS(S(SSSSS)(SS0)))))(S(S(S`SSKS`SSI(SS0))S)(SSSS
SS(SS0)))(S(SS(SS`S(SIS)S))(SS(SS0)))(SS(S(SSS)(S`SSKS`SSI(SS0))))(SS(S(SI(S
S0))(SS(SSSI`SSS(SS0)))))))(S`K`SI(S`KKK)))))I)(SS(S(SSS)(SSI(SS0)))(S`KSK)(
S`K`S(SI`K(S`SII(S`SSKSKI)))K))

# [r.
#     y1
#     [f.[r.
#         cons2 (nth2 21 r)
#         (
#             ifle4
#             ((car1 r) succ (nth2 16 r) succ (nth2 21 r))
#             30 1 0
#             {pre_str "KI-YO-SHI!\n"}
#             o-cdr2 f r
#         )
#     ]]
#     (21 cons1 16 r)
# ]