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 , text unicode newline unicode end of text end text , iatest , text unicode newline unicode end of text end text , text unicode capital u unicode small n unicode small i unicode small f unicode small i unicode small c unicode small a unicode small t unicode small i unicode small o unicode small n unicode space unicode small f unicode small a unicode small i unicode small l unicode small e unicode small d unicode end of text end text , text unicode newline unicode end of text end text , pcia modus ponens metavar var g end metavar imply metavar var y end metavar imply metavar var g end metavar conclude metavar var g end metavar imply forall metavar var y end metavar dot metavar var y end metavar imply metavar var g end metavar
The pyk compiler, version 0.grue.20060417+ by Klaus Grue,