text unicode capital e unicode small r unicode small r unicode small o unicode small r unicode space unicode small i unicode small n unicode space unicode small p unicode small r unicode small o unicode small o unicode small f unicode space unicode small o unicode small f unicode end of text end text then ( text unicode newline unicode end of text end text then ( prop three two f two then ( text unicode newline unicode end of text end text then ( text unicode capital l unicode small e unicode small m unicode small m unicode small a unicode space unicode small e unicode small x unicode small p unicode small e unicode small c unicode small t unicode small e unicode small d unicode end of text end text then ( text unicode newline unicode end of text end text then axiom s two ) ) ) ) )
The pyk compiler, version 0.grue.20060417 by Klaus Grue,