A000217 by tails

K(S(SI(SS0))(S(SSS)(SSI(SS0)))(S`KSK)(S`SSKS(S`K`S`KS(S`K`S`KK(S`K`S`K`S(SSI`S`K(S`SSKS(S`K`S`KS(S`K`S`K`S(S`K(SS(SSSS(SS0))(S`KSK)(S`K`SIK)`KK)(S(SI`K(S`K`SIK))`K`K0))(S`SSKS(S`K`S`KS(S`K`S`KK(S`SSKSK`K(S`SSKSK))))`K`K(SS(SSSS(SS0))(S`KSK)(S(S(SI`K(S`K`SI(S`KK(SI`K(S`SSKSK)))))`K`K0)0)))))(S`SSKS(S`K`S`KS(S`K`S`KK(S`K`S(S(SI`K0)`K0)(S`K`S`KS(S`K`S`KK(SI`K0))))))`K`K(S`SSKS(S`KK(S`KS(S`K`SI(S`KK(S(S(SSSSSSSSS)(SS0))S(S`KSK))))))`KK)))(SII)0)(S`K`S`K`S`K`S(SI`K(SS(SSSS(SS0))(S`KSK)))(S`K`S`K`S`KK(S`SSKSK`K(S`SSKSK)))))))`K(SI`K(S`SSKSK)))0I0)

Note that non-ascii characters in the above source code will be escaped (such as \x9f).

download

return to the top page