Composition Calculus by tails

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

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

download

return to the top page