L FР%false@АB%false@%FALSE@&axioms@@+proposition@B@!pA@@$TRUE@,or_and_exist@@%Exist@@#Not@)@AB;@@8&))@@"FF@/2;@'theorem@3A@@#NOT@!P @A"@@@4False_Imp_everything@OR!@DWURUX&;8W@A3Everything_Imp_True@beW@&Exist1jhehk9NjK@i@A(NOTFalse@!HJ|N@C`a@<Bf@P[k@A'FalseFF@I@V@A'FFFalse@+tt@F@e@A&NOTNot@;@"H08@2EC?¶ȶ@@ @A,theorem_True@Thhɩr'minimal@@!Irt@A&NotNot@쩚@&rule_CͩԶנAC@A.Contraposition@!q-@"CB    ې^^@A/rule_Contrapos1@ !b sf @3j+.1.2@ @A/rule_Contrapos2@;>;?.D+-$ " KNQNR@1@"@A@@kihTSGF76)(  ߠ֐ՠʐɠjiON@@@w@0-<+od@0*edfshW@0Y!