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

SSI(SSI`S(S`KSK))I(S`SSKS(S`K`S`KS(S`K`S`K`S(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(S`KS(S`KK(S`K(S(SSS)(SS0
)(S`KSK)(S`K`SIK)`KK)(S(SI`K(S`K`SIK))`K`K0))))(S`K`S`K`S`K`S(SI`K(SS(SS(SS(
SS(SS(SSSSSS(SS0))))))(S`KSK)))(S`K`S`K`S`KK(S`SSKSK`K(SS(SSI(SS0))(S`KSK)(S
(S(SI`K(S`K`SI(S`KK(SI`K`S(S`KSK)))))`K`K0)0)))))))(S`SSKS(S`K`S`KS(S`K`S(S`
KS(S`KK(S(S(SI`K(S`K`SIK))`K`K0)`K(SI`K`KK))))(S`K`S`K`S`K`S(SI`K(SS(S(SSS)(
S`SSKS`SSI(SS0)))(S`KSK)))(S`K`S`K`S`KK(S`SSKSK`K(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`KS(S`K`S(SI0)(S`KK(SI`K0)))))))))(S`K`S`K`SI(S`K`S`K`
S`KK(S`SSKS(S`KK(S`KSK))`K(S`K`S(S(S`K(SSSSSS(SS0)(S`KSK)(S`K`SIK)`K(SS(SS0)
(S`KSK)))(S(S(SS`K`S`K`SI)`KK)`K0))`K`S(S`KSK))K)))))I0