# K $
# cons2 ?1
# (
#     98
#     [f.[n.[c.[a.
#         cons2 10
#         (
#             forward
#             (f (succ n) (nnot1 (car1 a) succ c))
#             $
#             y1
#             [g.[a.
#                 nnot1 (car1 a) (setcar1 c)
#                 (n forward g a)
#             ]]
#             a
#         )
#     ]]]]
#     I
#     2
#     65
#     inflist1 0
# )

K(S(SI`K(SS(S(SSSSSSSSS)(SS0))(S`KSK)))`K(SS(SS(S(SSSSSSSSSS
S)(SS0)))(S`KSK)(S`K`S`K`S`K`S`K`S(SI`K(SS(SSSS(SS0))(S`KSK)
))(S`K`S`K`S`K`S`KK(S`SSKS(S`K`S`KS(S`K`S`K`S`KS(S`K`S`K`S`K
`S`K(S`KS(S`K`S(SI0)K))(S`SSKS(S`K`S`KS(S`K`S`KK(S`K`S`KS(S`
K`S`KK(SIK`S(S`KSK))))))`K`K(S`K`S(S(S(SI`KK)`K0)`K`S(S`KSK)
)K)))))`K(S`SSKS(S`K`S`K(SSI)(S`K`S`KS(S`K`S`KS(S`K`S`KK(S`K
`S(S`KS(S`KK(S`KS(S`K`S(S(SI`KK)`K0)(S`KK(S`KS(S`K`SIK))))))
)(S`KK(SI`K(S`KS(S`K`S(SI0)K)))))))))`K0))))I(S`SSKSKI)(SS(S
SSS(SS(SS0)))(S`KSK))(SSI`S`K`S(SI`K0)(S`S`KKI))))