Logiweb diagnose of frozen 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 , h one , 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 a end metavar indeed all metavar metavar var a end metavar end metavar indeed all metavar metavar var b end metavar end metavar indeed double negation init modus dereference modus at metavar metavar var a end metavar end metavar at metavar metavar var b end metavar end metavar at frozen at not metavar var a end metavar imply not not metavar var a end metavar imply not metavar var a end metavar imply not metavar var a end metavar imply metavar var a end metavar modus modus cut all metavar metavar var a end metavar end metavar indeed repetition init modus dereference modus at metavar metavar var a end metavar end metavar at not metavar var a end metavar imply not metavar var a end metavar modus cut all metavar metavar var a end metavar end metavar indeed all metavar metavar var b end metavar end metavar indeed all metavar metavar var c end metavar end metavar indeed h zero b init modus dereference modus at metavar metavar var a end metavar end metavar at metavar metavar var b end metavar end metavar at metavar metavar var c end metavar end metavar at not metavar var a end metavar imply not not metavar var a end metavar at not metavar var a end metavar imply not metavar var a end metavar at metavar var a end metavar modus modus cut all metavar metavar var a end metavar end metavar indeed all metavar metavar var b end metavar end metavar indeed lemma a one init modus dereference modus at metavar metavar var a end metavar end metavar at metavar metavar var b end metavar end metavar at not not metavar var a end metavar at not metavar var a end metavar cut all metavar metavar var a end metavar end metavar indeed all metavar metavar var b end metavar end metavar indeed all metavar metavar var c end metavar end metavar indeed h zero a init modus dereference modus at metavar metavar var a end metavar end metavar at metavar metavar var b end metavar end metavar at metavar metavar var c end metavar end metavar at not not metavar var a end metavar at not metavar var a end metavar imply not not metavar var a end metavar at metavar var a end metavar modus modus