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
# )