w Р%modal@АB%modal@#K_K@@!i)Datatypes$Init#Coq@@#nat@!p&axioms@@+proposition@!q  @'theorem@@A@CCB  A @@#K_T@@;9.,"@@&K_rule@@HF;9@02)@@&rule_K@WUJHAI!H"H0E@2gɶ@@A*rule_imp_K@׷ʷ˷V@/Z@ضٶ@@A'Ki_AND1@"p1巐"p2֠˩ݠ,or_and_exist@@#ANDݩ砩 G-@$AND1$"@A'Ki_AND2@1/&$ - % j3P 5@$AND2G*E+<:"@A&Ki_AND@T7R8IG-propositional@@,rule_AND_ImpHF#@h+*#@;/.'gJeK\ZB>WaW4@A+rule_Ki_AND@kiy\w]TKHsIBQyy@=TSL}pq@h @A&AND_Ki@~F@,rule_Imp_ANDoa$@(Cut_rulettq{k+}l/9|yz ~ǰ@$AND0~@K@A+rule_AND_Ki@·mA@|jΩgW  p֩o_x =4ӶԶ@ːq@A(KiForall@!A@!P@נө@Bѩ@F!xݷ!aI 4 @D0.!,*@) '@A$ORKi@0.>!<"@(rule_OR0:@"OR " $!# h" M@#OR1&.+5%7&"($Ӱ3+${5 `@#OR292ecsVqWMI2H:6@A'KiExist@wu|RtS]ZWWQ^[@%Exist'_jdejf ia@&Exist2n  pq5xu $$ {$ ð}@&Exist1Iz'@A@@vuml)(ݐܠnmONrq@@@*predicates@0Bl]I@0JGT&*] %false@0:+:S/8@0-<+odr@0*edfshW@0Y!AAAˠ#"A('A-,Al21AM76A0<;AA@AנFEAKJA[POA@#_343DISCHARGED-HYPS-MAP@#_35@#_36 @#_37@#_38U@#_39@@#_40%&@#_41+ @#_421@#_437@#_44=@#_45C$@#_46I*_@#_47O09@#_48U6@#_49[<@@ ͠ؠ㠠  +%60A;LFRQXW^]eckjrp@ )3=HRinsy~@0893qJF