# [r.
#     256
#     [f.[r.[a.
#         ifle2 (car1 r) 16
#         (
#             ifgt2 a 1
#             (
#                 [fr.
#                     ifgt2 a 9
#                     (
#                         (fr (8 pred a))
#                     )
#                     $
#                     ifge2 a 6
#                     (
#                         cons2 ?V
#                         (fr (5 pred a))
#                     )
#                     (
#                         cons2 ?I
#                         (fr (ifgt4 a 4 succ pred a))
#                     )
#                 ](f r)
#             )
#             (
#                 setcdr2 (o-cdr2 f r 0) r
#             )
#         )
#         (
#             o-cdr2 f r (ifge4 (car1 r) 81 7 1 succ a)
#         )
#     ]]]
#     I
#     r
#     0
# ]

S(SSI(SSI`S(S`KSK))I(S`SSKS(S`K`S`KS(S`K`S(S`KS(S`KK(S(S(S(SS`K`S`K`SI)`KK)`
K`KK)`K(S`SII(S`SSKSKI)(S`K`SIK)`K0))))(S`SSKS(S`K`S`KS(S`K`S`K`S(S(S(SI`K(S
`K`SIK))`K`K0)`K(SI`K`KK))(S`K`S`K`S(S`SSKS(S`SSKS(S`KK(S(S(SI`K(S`K`SIK))`K
`K0)`K(SSSS(SS0)(S`KSK)(S`K`SIK)`KK)))(S`K`SI(S`KK(S`SSKS`SSI(SS0)(S`KSK)(S(
S(SI`K(S`K`SI(S`KK(SI`K`S(S`KSK)))))`K`K0)0)))))(S`SSKS(S`SSKS(S`KK(S`K(S(SS
S)(SS0)(S`KSK)(S`K`SIK)`KK)(S(SI`K(S`K`SIK))`K`K0)))(S`K`S`K`S(SI`K(SS(SS(SS
(SS(SS(SSSSSS(SS0))))))(S`KSK)))(S`K`S`KK(S`K`SI(S`KK(SS(SSI(SS0))(S`KSK)(S(
S(SI`K(S`K`SI(S`KK(SI`K`S(S`KSK)))))`K`K0)0)))))))(S`K`S`K`S(SI`K(SS(S(SSS)(
S`SSKS`SSI(SS0)))(S`KSK)))(S`K`S`KK(S`K`SI(S`KK(S(S(S(SI`K(S`K`SIK))`K`K(S(S
(SI`K(S`K`SI(S`KK(SI`K`S(S`KSK)))))`K`K0)0))`K(SSI`S(S`KSK)I(S`K`SIK)`K`S(S`
KSK)))I)))))))`S`KK)))(S`K`S`KK(S`K`S(S`KS`SI)(S`K`S`KK(S`SSKS(S`K`SI(S`KKK)
)`K`K0)))))))(S`SSKS(S`K`S`KS(S`K`S`KK(S`K`SI(S`KKK))))`K(S(S`K(SSSSSS(SS0)(
S`KSK)(S`K`SIK)`K(SS(S(SSS)(SS0))(S`KSK)))(S(S(SS`K`S`K`SI)`KK)`K0))`K`S(S`K
SK))))I)`K0