K(S(SS`S(SIS)S)(SSSS(SS0))(S`KSK)(S`K`S`K`S(SI`KK)(S`K`S(S`KS(S`KK(S`KS(S`K`
SI(S`KK(S(S(S(SI`KK)`K0)`K`K(S(SS(SSI(SS0)))(SS0)(S`KSK)))(S`K(S(S(SSSSSSSSS
)(SS0))S(S`KSK))(SI`KK))))))))(S`K`S`K`S`KK(S`K`S(S`KS(S`KK(S`KS(S`K`SI(S`KK
(S`K(S(S(SSSSSSSSS)(SS0))S(S`KSK))(SI`K0)))))))(S`K`S`K`S`KK(S`SSKS(S`K`S`KS
(S`K`S`KK(S`SSKSK`K(S(S(S`K(SSSS(SS0)(S`KSK)(S`K`SIK)`KK)(S(S(SI`K0)`K(S`K`S
IK))`K`K0))(S`SSKS(S`K`SI(S`KK(S`K`S(S`KSK)(SI`KK))))`K`K0))(S`SSKS(S`K`SI(S
`SI`KK))(S`KK(S`K`S(S`KSK)(SI`K0))))))))`K`K(SI`K0)))))))I(S(SI`K0)0)(SSI`S`
S`K(S`K`S(S`KS(S`K`SI(S`KK(S`K`S`K`S(SI`K(SS(SSSS(SS0))(S`KSK)))(S`K`S`KK(S`
SSKS(S`KK(SI`K(SS(SS0)(S`KSK)(SI`K0))))`K(S(SSSSSSS)(SS0)(S`KSK)(S`K`S(SI`K(
S(SS(SSI(SS0)))(SS0)(S`KSK)))K))))))))(S`K`S`KK(S`SSKS(S`K`S(S`KS`S(S`KSK))(
S`K`S`K`S`K`S(SI`K(S`K`S(SI`K(SS(S(SI(SS(SS0)))(S(SSS)(SSI(SS0))))(S`KSK)))K
))(S`K`S`K`S`KK(S`K`SS(S`K`S`KK(SIK`S(S`KSK)))))))`K`K(S`K`S(SI`K(S`K`S(SI`K
(SS(SS(SS`K(SS0))(SSS))(S`KSK)))K))K))))I0)0)
# K $
# cdr1 (
# 99
# [f.[n.[l.
# car1 l
# cons2 (ifz2 (car1 n) 32 ({addconst 48} (car1 n)))
# cons2 ({addconst 48} (cdr1 n))
# (f
# (ifge2 (cdr1 n) 9
# (cons2 (succ (car1 n)) 0)
# (cons2 (car1 n) (succ (cdr1 n))) )
# (cdr1 l) )
# ]]]
# I
# (cons2 0 1)
# $
# y1
# [f.[k.
# cons2 [z. cons2 10 (k (3 cdr) (24 cons1 32 z))]
# (
# [g.
# `(succ k g)
# cons2 (cons1 ?=)
# `(k g)
# (f (succ k))
# ]
# cons1 (cons1 ?+)
# )
# ]]
# 0
# )
Note that non-ascii characters in the above source code will be escaped (such as \x9f).