# K $
# 410 forward K $
# y1
# [f.[n.
# n
# [g.[d.
# d
# [h.[w.[m.
# m
# [i.[k.
# o1
# (h [z. w cons2 ({addconst 48} k) z ] (k pred (succ m)))
# (i (succ k))
# ]]
# [k. I ]
# 1
# ]]]
# [w.[m.[z. w cons2 ({addconst 48} m) cons2 10 z ]]]
# I
# (d pred n)
# (g (succ d))
# ]]
# [d. f (succ n) ]
# 0
# ]]
# 1
K(S(SI(SS(SSI(SS0))))(SS(SSSSSS(SS0)))(S`KSK)(S`KS(S`K`S(SI0)K))K(SSI`S`S`K(
S`SSKS(S`K`S(SI(S`SSKS(S`KK(S`KS(S`K`S(S(S(SI`K(S`SSKS(S`K`S`KS(S`SSKS(S`K`S
`KS(S`K`S`K`SI(S`SSKS(S`K`S`KS(S`K`S`K`S`KS(S`K`S`K`S`KK(S`K`S`K`S`KS(S`K`S`
K`S`K`S`KS(S`K`S`K`S`K`S`KK(S`SSKS(S`K`S`KS(S`K`S`KK(S`K`S`KS(S`SSKS(S`KK(S`
KSK))`K(S`SSKS(S`KK(S`KSK))`K(S`SSKS(S`KK(S`KS(S`K`SI(S`KK(S(S(SSSSSSSSS)(SS
0))S(S`KSK))))))`KK))))))`K`K(S`K`S(SI`K(S(S(SI`K(S`K`SI(S`KK(SI`K`S(S`KSK))
)))`K`K0)0))(S`KK`S(S`KSK))))))))))`K`K`K(SIK`S(S`KSK)))))`K`K`K0))`K`K0))`K
(S`SSKS(S`KK(S`KSK))`K(S`SSKS(S`KK(S`KS(S`K`SI(S`KK(S(S(SSSSSSSSS)(SS0))S(S`
KSK))))))`K(S`KK(S`K`S(SI`K(SS(SSSS(SS0))(S`KSK)))K)))))0)(S`K`S(SI`K(S(S(SI
`K(S`K`SI(S`KK(SI`K`S(S`KSK)))))`K`K0)0))K))))`K(SIK`S(S`KSK))))(S`K`S`KK(SI
K`S(S`KSK))))`K`K0)II))
Note that non-ascii characters in the above source code will be escaped (such as \x9f).