Hp lР'classic@АB'classic@.Classic_NotNot@@!p&axioms@@+proposition@@'theorem@@A%false@@#NotA@@,Class_OR_Not@(&!q)'minimal@@(Cut_ruleЩ,or_and_exist@@#ANDB *, @"OR3 -5@/rule_Contrapos1#> @-propositional@@'AND_Not@@,rule_glueANDM$CBm@@j*K)ljDkd`>/@A1rule_Class_OR_Not@zxRy!HuMx@CqRCMHxG-@p Utk@ @A,not_p_then_q@xvЩ^Ul@.Contrapositiong.`u @!Bg|X@A.r_not_p_then_q@ƷǷ!rʷQĐG@,rule_Imp_ANDLD̠ɐVРU @0rule_rev_AND_Imp ]ȩ@Pa#@!吩ᠩh@A(Class_OR@Щ쐩͠ Ġz@+rule_glueOR@A-rule_Class_OR@"@7/-.@( @A/Excluded_middle@<:@("$./@%FALSE3/7 z3; $@&rule_C@8sB:@+Not_p_AND_p?0@!Ia_X!GI@A9Class_OR_with_disjunction@nlFmDk<m1YW3B<][%@,rule_AND_Impxx #zU|m@$TRUEq@3Everything_Imp_True_ xYrtePg@"KISN U}YYr@"CI^wq5_V@6rule_AND_right_regularH]@*undist_OR2yG@A(Xor_Imp2@÷ĩ{B~@(rule_OR0 ̠@)Cut_rule2@4False_Imp_everythingJ#@)rule_Drop(ҩة 2󠩚@#XorA@A@@|{WV%$렠ih@@@@0JGT&*] @0:+:S/8@0-<+od@0*edfshW4@0Y!