v:Р'minimal@АB'minimal@!I@!p&axioms@@+proposition@ @'theorem@C@AA    @B@A-+#@@A"KI@:8!q;4/B2/1BU@@R MKL!@A"KS@YWX!r[!t^WRTDWC)Z\^ /`]M_T 5wu=vwxM @A#SKS@K,*z|y*~{&p}.(L@C0-U]><m@A!B@kLDFHJto@:PxRTc@A(Cut_rule@Ƿȷpɷ!Hi"H0ŠErȠqp̠ @C|y @@@A"BB@JLN֐@A#BBS@  !s   @5 " !"#@A$SBBS@0./01* %' ) $"@9,B@ABC@A"KK@PNOPIDF35G][#\]2 @A)Hilbert_C@jh0ijc^` b3_d5fh9jg6@V?k?:@:CK,Z@A&rule_C@X9ɩh'52-U@;96^fG@v @A"CI@tAAtEGxsI @A"C2@ƷǷoȷɩWkam[e]o:n¶ֶ׶ض٩@A'rule_C2@ޠY@4@ΐ @A)Cut_rule2@>ݐ<Щ<@TF EI D M%#$%&@@@A"CB@75670+-DB@AB @A(Drop_hyp@OMN$JE2DZX Y@ / @A,Drop_2nd_hyp@ge-fgV[ҰZ.pn6opEd @A)rule_Drop@}E~&yt 1@@)$!IuQ2@a @A$Cut2@"p1"p2dE2BB.F:<J>K8԰sKְO<P~_@A#CSI@÷ĩZZ`  9 d׶ة@A(rule_CSI@۠@2ܶ@ &@A@@ǐƠedDC堠ɐȠts]\BA%$ᠠ̠͐xw[Z@@@6@0Y!OIZTe_pj{u@*4GQ[eoyE@0*edfshW