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