SSI`S`S`K(S`K`S(S(S`K(SSI(SSI(SSS`KSK))I(S`K`SIK)`KK)(S(S(SI`KK)`K(S`K`SIK))
`K`K0))I)(S(S`KS(S`K`S`K`S(S(SI`KK)`K(S`K`S(SI`K(SS(S(SSSSSSSSS)(SS0))(S`KSK
)))K))(S`K`S`K`S(S`KS(S`K`SI(S`KK(S`K(S(S(SSSSSSSSS)(SS0))S(S`KSK))(SI`K0)))
))(S`K`S`KK(S`K`S`KK(S`K`S`K`S(SI`K(SS(SSSS(SS0))(S`KSK)))(S`K`S`KK(S`K`SI(S
`KKK)))))))))`K(S(S(S(S`K(S(SS`S(SIS)S)(SS(SS0))(S`KSK))(S(S`KS(S`KK(S`KS(S`
K`S`KS(S(S`KS(S`KK(S`KS(S(S`KS(S(S`KS(S(S`KS(S(S`KS(S(S`KS(S`KK(S(SI`KK)`K(S
I`K0))))`K(S(S(S(SI`KK)`K(S`KSK))`K(S`K`S(SI0)K))`K(S(SI`K`K`K`KK)0))))`K`KK
))`K0))`K0))`K`K0))))`KK)))))`K(S`K`S`K`SI(S`K`S`KK(S`K`S`KK(S(S`KSK)`K(S`K(
SSSS(SS0)(S`KSK)(S`K`SIK)`K(S(SI0)`K0))(S(S(SI`K0)`K(S`K`SIK))(S`KK(S(S`KS`S
I)(S`KK(S`K(SISSKSK)(SI`K0)))))))))))))(S`KK(S`KK(S`K`S(SI0)(S`KK(S(S(S`K(S(
S(SI`K(SI`K0))`K(SS(SSSS(SS(SS0)))(S`KSK)(S`K`S(SI`K0)K)(SSI`S`S`K(S`K(SS(SS
(S(SSSSSSS)(SS0)))(S`KSK)(S`K`S(SI`KK)K))(S(SSS)(SS0)(S`KSK)(S`K`S(SI`K0)K))
)I)))`KK)(SI`KK))0)`K(SSS`KSKI)))))))`K`K0)`K(S(SS`S(SIS)S)(SS(SS0))(S`KSK)(
S(S`KS(S`KK(S`KSK)))`K(S`K`S(S`KS(S`K`SIK))(S`KKK)))IK(SS(SSSI`SSS(SS0)))(SS
(SS(S`K`SS`SS)(SS(SS0))))0(0)(S(SS(SSI(SS0)))(SS0))0(SS(SS(SS(SS(SS(S(SSS)(S
SSS(SS0))))))))(SS(SS(SS(SS(S(SSS)(SSSS(SS0)))))))(S(SS`S(SIS)S)(SS(SSI(SS0)
)))0(SS(SS(SSSI`SSS(SS0))))(SSSI`SSS(SS0))(SS(S`K`SS`SS)(SS(SS0)))(SS(SS(S(S
S0)(SS(SS(SSSS(SS0)))))))(SS(SS(S(SSS)(SSSS(SS0)))))))))I

# # list of "51b"-numbers
# xlist =
#     15 [f.[w.[c. f cons2 c w ]]]
#     I K
#     ?%' ?~' 1' 1' 32' 1' ?_' ?^'
#     35' 1' ?&' ?$' ?}' ?{' ?\'
# ;
# 
# isalpha =
#     [c.
#         nth2 c
#         `(65 cons1 0)
#         y1 [f. 
#             `(26 cons1 K)
#             `( 6 cons1 0)
#             f
#         ]
#     ]
# ;
# 
# y1
# [f.[r.
#     ifge2 (car1 r) 256
#     r
#     $
#     [n.
#         (car1 n) (cons1 49)
#         cons2 ({addconst 48} (cdr1 n))
#         cons2 10
#         (o-cdr2 f r)
#     ]
#     $
#     15
#     [g.[n.[x.
#         ifeq2 (car1 r) (car1 x ucc)
#         n
#         o-cdr2 (g
#             (ifge4 (cdr1 n) 9
#                 (cons2 1 0)
#                 (setcdr2 (succ (cdr1 n)) n) )
#             ) x
#     ]]]
#     [n.[x. cons2 1 (isalpha (car1 r) 1 2) ]]
#     (K 0)
#     xlist
# ]]