Logiweb(TM)

Logiweb diagnose of problemtwo in pyk

Up Help

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 , nontriv4 , text unicode newline unicode end of text end text , text unicode capital m unicode small e unicode small t unicode small a unicode small g unicode small e unicode small n unicode small e unicode small r unicode small a unicode small l unicode small i unicode small z unicode small a unicode small t unicode small i unicode small o unicode small n unicode space unicode small o unicode small v unicode small e unicode small r unicode space unicode small m unicode small e unicode small t unicode small a unicode small v unicode small a unicode small r unicode small i unicode small a unicode small b unicode small l unicode small e unicode space unicode small t unicode small h unicode small a unicode small t unicode space unicode small o unicode small c unicode small c unicode small u unicode small r unicode small s unicode space unicode small f unicode small r unicode small e unicode small e unicode space unicode small i unicode small n unicode space unicode small s unicode small o unicode small m unicode small e unicode space unicode small p unicode small r unicode small e unicode small m unicode small i unicode small s unicode small e unicode colon unicode end of text end text , text unicode newline unicode end of text end text , all metavar var q end metavar indeed metavar var p end metavar imply metavar var q end metavar infer all metavar metavar var p end metavar end metavar indeed all metavar metavar var q end metavar end metavar indeed nontriv0 init modus dereference modus at metavar metavar var p end metavar end metavar at metavar metavar var q end metavar end metavar at metavar var p end metavar at metavar var q end metavar modus modus modus

The pyk compiler, version 0.grue.20060417+ by Klaus Grue,
GRD-2006-07-12.UTC:19:00:11.024866 = MJD-53928.TAI:19:00:44.024866 = LGT-4659447644024866e-6