6o >*)Р-propositional@АB-propositional@'rule_OR@!p&axioms@@+proposition@!q !H%Logic$Init#Coq@@"or@@'theorem@BA@&or_indC,or_and_exist@@"OR "H0 @CD@#OR1#- @#OR2#++QOHP@D%@A(rule_OR0@\ZS[!r^TEc@A;C0M@K2 1DCE6I;M  L@#OR0 AT_\y&@$@j@A'Imp_OR1@5+'minimal@@(Cut_rule\olwYq|C@9Afv@A'Imp_OR2@SQti[@Y@A'OR_comm@©B@@t϶Щq@A,rule_OR_comm@߷֩ǐ%@0ȶ@ Ԑ @A'OR_ass1@9)ϠܩmgAs U    >@A'OR_ass2@[]OQޠUW  0.'/0Ѡ7$@A.OR_idempotence@?={@!I!GE+栩(((@A/OR_left_regular@VTMUV@&rule_C-:2<4@J@A?1 N G@!BWLzxqyz`%@A4rule_OR_left_regular@/%S!-brT@HXkvs=@3@A0OR_right_regular@KQ{BשLF۩YHݩxRTNVG)ZVf©c]e@A5rule_OR_right_regular@ѷҷwӷmiu@?߶@{Ȑ@A+rule_glueOR@"p1﷐"p2"q1"q2ߐݷ<АF©o©q @@@A.rule_split_AND@-+@#ANDŠ @$AND0  A.?/@@@A(rule_AND@O<M=31@#and@*#6@'and_ind //,"-%"H1(41;88o\m]@ @A,rule_AND_alt@zgxh^OLMJ0@AIX9)IF@$AND1NYV@0[M@$AND2U`]@E\k@A'Imp_AND@4:G1i3vss@(rule_CSIP: z @'rule_C2WWYyCE]4RqKMO @ {Um &@"CBrBd@A,rule_Imp_AND@˷̷qͷé>qks@R۶ܶݶ@Đ @A1rule_Imp_AND_left@*@+Щ^@)rule_DropҶ@@A2rule_Imp_AND_right@s@ 3@A,rule_AND_Imp@%àǠɠ    53,45@϶@>@A0rule_rev_AND_Imp@DB;CD:+@)Cut_rule2-,!)$OMFNO@ 6@A,rule_glueAND@n[l\j]h^Tf)gʰCdE(Ij,lL 0O4StKS :MYPyz{|@@d@A-rule_glueAND2@"r1"r2y4a@`}HG>@Щ Dh{ Fj IJn8XNrPQvJ^xV&YZA h^!.`Oa%Rn'SǶȶɶʶ>˶<̶@:@;o6l@A)AND_drop1@۷ܷtk޶߶@w@A)AND_drop2@r@@A(AND_comm@b۠ܩjީߩ r @A-rule_AND_comm@ҩ]@2&$%@  @A'AND_ass@31*23ЩЩ ޠ  Ϡ"ѩ *Ԡ.0  54$9ީ =<A (  @$Cut2NK%FEHROS Iwunvw]FB@A(AND_ass1@}*Oig?USmomepYst]_wm-@q|yq}~}uWIFpt@A,rule_AND_ass@X~r%f¶@ @A-rule_AND_ass1@ηϷtзƩ@[ڶ۶ܶ@ Ð&@A1AND_right_regular@͠X`ѩ {թ    T "|@)Hilbert_C)©i&$%& Ǡɠ@@A6rule_AND_right_regular@75.67-ѩͩ٠󩚰|@`"EC<DE@ߩ,@A0AND_left_regular@SQJRS[k_:80cq>?< u#8C@fd]e fL r@A5rule_AND_left_regular@wunvwm? ]^@a@7DWb_|)@l@A/AND_idempotence@ptrrmtt~9y @A&ANDAND@H@*@Q@A(AND_perm@·gé1=~ʶ˶p̩mH@A-rule_AND_perm@ٷڷ۷ @Ͱ@@ΐˠ@A(AND_swap@eĩڠ6iȩޠ=@k@A*undist_AND@U-GY@KM$"#$ Š>@A+undist_AND2@53,45Щ MΩ G@^YK&$꩚@<( +,*PNGOP6@A(dist_AND@_]V^_s69 8;EB<?>IA" CK@*"EDOFNI*KPH**MLTzxqyz`eV@A)dist_AND2@-PRTl_jVPX@<phsR*<vtw>;cg@A)undist_OR@M}}BN[ zT VVzRg`mffb"dyfaҶӶxԩu1/@A*undist_OR2@SЩȠ>YB+@ H ȩ ʩ3@X֩䐩@A'dist_OR@    K7y9={?pCڠvGx5KĠOuQ 0.'/0Ѡ\@A1p_or_r_and_q_or_r@?=6>?Щ"o,&$s&@̰"*y !8. @2<4 +-q:19>@L=Bְ<GD@V HJ"LLy0rpiqrX5/@A'AND_Not@xЩ!%false@@%FALSE)l+k Uݩ/@.Contrapositionwr^8xǩ: |tB"@#Not֩ @A,AND_Not_rule@@Pʶ˶@ @A&Not_OR@׷ةPNX`XݶީĐ8=@A+rule_Not_OR@ӐE02/@$Ҷ@ ސ;@A'Not_AND@B|zxѐېxv@A,rule_Not_AND@1/(0&tw@@@>7?@& @A+Not_p_AND_p@MK_*3PN431@A(OR_FALSE@_]<< @4False_Imp_everythingAgeK;HH@A)AND_FALSE@vtS򩚰@"KIX~|ba_@A(AND_TRUE@jj @$TRUEQ @3Everything_Imp_Truer|7w{y@A#Xor@@@'Xor_Imp@U f4_>a:0RBgcɶʩk @3@A(Xor_comm@۷ܩ 9_@/rule_Contrapos1|Rϐ@A@@poUTDC)(ԐӠutLK32 頠dcIH32⠠ih^]SR43ϐΠts*)א֠ƐŠ~baGF ܐ۠~}ONِؠonVUGF32ؐ@@@(@0:+:S/8 @0-<+od !@0*edfshW @0Y!