# 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))))
Note that non-ascii characters in the above source code will be escaped (such as \x9f).