" 2 Р,or_and_exist@АB,or_and_exist@#AND@!p&axioms@@+proposition@!q  @B!r@ACBA!  @@"OR@+)"* ,-@@%Exist@!A@!P@'D:FIG5?2!a5<8565T@@,rule_Forall2@!W_!Hc@'theorem@^Q!xT[S@CjD fa_jbt g@ElihJHFD@''@A/Forall_P_then_Q@XVTR!Q@}N'minimal@@&rule_C.!b1/YYJ@D:e; vtrpiSi@A#OR0@ķŷƩ,@'rule_C2B@@@Gշ֩Ġb٩Ǡܶݶީ|ΠРʩҠ@A#OR1@ʩϩyߩ@F gҩ֩ککq@!B@AP@A#OR2@(&'+,274 5@)rule_Drop  " @!I'DB;Cᐩ3*,@A$AND0@RPIQ@(Cut_rule:LXIYG?II@SUaRbPK RJhLmj kTVQPXVU3ZsdVvtmue]g^@cb@A$AND1@8y{s}tuuuw$ {@"CI>)@A$AND2@] I % $@"KIĶũcN@A&Exist1@ @ط٩ǠѠg"a0jΠh9zӠϐvӷwѶԩK)@ @A&Exist2@÷2)  Ͷɶ Ʃ"@A@@$"!頠̐ˠkjCB砠onCB@@@@0*edfshW@@0Y!=A@#_333DISCHARGED-HYPS-MAP"@#_34(@#_35 .@#_364@#_37:@#_38@p@#_39%FK@#_40+L@#_411R@#_427X@#_43=^@#_44Cd@#_45Ij]@@ ͠ؠ㠠  +%1076@Šؠ ֠)@E@0-<+od