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