SQLite format 3@ :M:.  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info iiC`;Gؽ8nt*q* .#lw gh,jkNS-M,i^eKn jqu-7Y>vp~IM>aCGTbL{vx|Б;*1*¦ނ0h2[FS%1O,=зL@4QK?E^D%g~ٿIZe3M#ty I^s_E,<_ԣ5og9t2>PjA1@C,"MƔhZӄwx`rwx( @U)pgEn+6W`__\TD9BPZ`:{ݲ+xD#x r{5ɝ!ZBZHe drr sJC8Ec\_=.@i+k2ƛ91~A:yd.Wo M]˴HRN(Tzt:X @,2++/nmɵ ,[>d%XxW2\bl_9QTLE~iÈ qZ !$_q-rK  {cOQQ*ca2`u,Q(%S~&K}X\{́H%De(2h3|~6N9ُQbRU ; "{$R*qg~-orx̂@L斓ފ7Ma"@͗ K/g,sr#/oƽ=. #83wA6r%غsK/3,vŅq]ȋt1Je74cf@+SP}z(l/7rJS: `εC@df/bܾp3<#=Lb:pKPʌ`[TOcz9qUQ %@*c;]Vb:)ﻱM$*U2CTBjKNt ߟ6Y1Yע5E8G"s]K#h.&ER0r2F7,2F8le#b\ϫN},9-ܖ#eIʯL ڬU*b0_Nj/X*$oa+H-HiNp٩:Nq&!pcݭ:HUvmmjNy(F{~\qza՜~'}?/ir-˛-/P aL-~n}TN̪S6雘HႣaQ)8V&I^Ʋ\h=O[t|q <8L S}r]N!:?Tʴ4֫y09;cQ4UB2K`G2Va)L\4, L+#<.iɂAM4#Z1!&J EXW")? vZ^7"5i`yu ۯGië zsI2--"޴ud!ҿ jS%7.ay{4|BSϐ/~;ؤ@/p+͉ NaXfjѲ=SKGBَVqlק=)n ^w1 $jǸPhp ߩC`G#' C)=UGxƒKD̦&V ۞W1lHs}8[Tllj=oQf>/cm5d/l_^QwaUΟDz4\uoXSgJI[uYovEV:1h- c"Fe{i3u|VYӼDw"r@{VmV x J!p~[tژW?@&5g0 5^ R#-@ |.TIqlr APb:Web<wPv_(dueI/9N2VU葡%HPORl\D;&HwCɞ~I'mǭ-"K7RVpnv}7x&2\&]qrYG] ƒkg㭇{oK-[lA!j*ܑ( DzU{f4"B} =L C Propositional_Proof_Systems"VK~ytoje`[V{CU% \Propositional_Proof_SystemsPropositional_Proof_Systems.SC_Depthdocument.tex7zXZִF! d,]A-MՋhvG"uIBm5ȑ^ c`m*~(K `pZɴmXÀ-`K/"Ķc1)#ȃ3f^0<7Y_HY,Lfw 8Q!|8/~LYm?^T4Iߦ3%*eJUI.(A޽)y@e:y"°"(SrЏw8jJjēTĢ5RA.*a=NN*&Yۋ)ȎMy%qN,+*b54gkqD}u_[MUrO'=g!w4c9v2pE3} v+  ԑ68EtHup_CbC%ǥFIJwX`!qf\8$YPP3fS{Bh"fNJsHTOQ=͏~Ul 0N?V3qoDw1'A&m2BǃK֤аw<rq'C#8HʏGb*OY!FN|ϾqL3=O畺f cB~DibZJ5 {G3{(sŖ#&˕B4z;q1/J?/_Yۋ,]ǜrI4pOczυ>Era[ N86oB  z]N_^ra2M8}nE@K5?w‡.5B(cSzGt^frb} N*T$xͬ`857*܉9Cq)(X S(L@r|Hd{4ma_dǗ/W-ZǦe8);A&t9SgFw[/5DjVc #m]xdF.E^PvX.Q㉭C#針gJV={oZzԩ_~}9 jYa6F,n8/~ 8(8ɼ wԀA=WTj)Q(`ޙݘk'GKbn% Ю ౲aċϭ*z?bJ(@Mkd)%މGgߧtDQqBgcƆGHIG<+k f˅D;u{0}lO1I[,ޤF^"{5lx̢k"\T8'-X&xs58J!%Vr KiPѵFVc_XN"#'QֵAcA@$xԍp Cu+ð:H_7,4O;(76 ͎m]'r0ruݞ:LpByo/?b1c RSEzΤAGU'~)*U^@FYT!uq̡+NxE|/2E3 !: =m` Vrū#QUIjS_X‡WHRlHb%&cnvqP0rEK0m.Vrb٠2\ !f'=uNP_8F;A~hNUDHљbZ:% u9erBˍ,{A8/-!FLK|& d;In-H"[t"z9MbDT#6|Գg.d34xJ9I =h6s젢n/RCk'9 *nsM`rfqp̭7$c5 OfPc]H={mwM/ـ.vӛBju4K&>DwWnGu-W٤39>AJRd'6}VՔsQ}_ r 'ga߄ t JߐF|"e`پt(E&s_'gITVrJEm.iYo]xQE6k_OV8Azx''eBJ<*z;{ЍEkϬ$Ϳ u<twme6j_UOH {`q"z6d[UN nYZ%Y Li-_-)лAy? +a(\=#LANOE}]C ɖV| *0rp"j&q>$!\ XlQz7L]!םhg8Y)rD8O?*B'ae'zn,\!'c PIKfp iJ`gj<=ld˨A֪ޜ[q^蜂c۽PL^89RwmQpIR_*a AJфܔ]>39&).RepEhЃ_q[KH*ysofJ3G/F,E*D(C&B$A"@!? >=<;:98754321/-)' % #   I E < )v  3:   Yr $s My_  c  LCK%Propositional_Proof_SystemsPropositional_Proof_Systems.CNFdocument.tex/UC]%Propositional_Proof_SystemsPropositional_Proof_Systems.Substitutiondocument.tex.YCe%Propositional_Proof_SystemsPropositional_Proof_Systems.Resolution_Sounddocument.tex-ZCg%Propositional_Proof_SystemsPropositional_Proof_Systems.CNF_Formulas_Semadocument.tex,aCu%Propositional_Proof_SystemsPropositional_Proof_Systems.Resolution_Compl_SC_Fulldocument.tex+WCa%Propositional_Proof_SystemsPropositional_Proof_Systems.CNF_To_Formuladocument.tex*UC]%Propositional_Proof_SystemsPropositional_Proof_Systems.MiniFormulasdocument.tex)TC[%Propositional_Proof_SystemsPropositional_Proof_Systems.ND_Compl_SCdocument.tex(bCw%Propositional_Proof_SystemsPropositional_Proof_Systems.Resolution_Compl_SC_Smalldocument.tex']Cm%Propositional_Proof_SystemsPropositional_Proof_Systems.SC_Compl_Consistencydocument.tex&MCM%Propositional_Proof_SystemsPropositional_Proof_Systems.HCSCdocument.tex%MCM%Propositional_Proof_SystemsPropositional_Proof_Systems.NDHCdocument.tex$WCa%Propositional_Proof_SystemsPropositional_Proof_Systems.SC_Depth_Limitdocument.tex#DC;%Propositional_Proof_SystemsHOL-Library.List_lexorddocument.tex"WCa%Propositional_Proof_SystemsPropositional_Proof_Systems.ND_FiniteAssmsdocument.tex!EC=%Propositional_Proof_SystemsHOL-Library.Cancellationdocument.tex `Cs%Propositional_Proof_SystemsPropositional_Proof_Systems.Compactness_Consistencydocument.texRCW%Propositional_Proof_SystemsPropositional_Proof_Systems.MiniSC_HCdocument.texYCe%Propositional_Proof_SystemsPropositional_Proof_Systems.Resolution_Compldocument.texeC}%Propositional_Proof_SystemsPropositional_Proof_Systems.Resolution_Compl_Consistencydocument.tex\Ck%Propositional_Proof_SystemsPropositional_Proof_Systems.ND_Compl_Truthtabledocument.texPCS%Propositional_Proof_SystemsPropositional_Proof_Systems.SC_Semadocument.texKCI%Propositional_Proof_SystemsPropositional_Proof_Systems.HCdocument.texUC]%Propositional_Proof_SystemsPropositional_Proof_Systems.Tseytin_Semadocument.texSCY%Propositional_Proof_SystemsPropositional_Proof_Systems.Sema_Craigdocument.texUC]%Propositional_Proof_SystemsPropositional_Proof_Systems.CNF_Formulasdocument.texOCQ%Propositional_Proof_SystemsPropositional_Proof_Systems.MiniSCdocument.texOCQ%Propositional_Proof_SystemsPropositional_Proof_Systems.SC_Cutdocument.texMCM%Propositional_Proof_SystemsPropositional_Proof_Systems.Semadocument.texBC7%Propositional_Proof_SystemsHOL-Library.Countabledocument.texKCI%Propositional_Proof_SystemsPropositional_Proof_Systems.NDdocument.texPCS%Propositional_Proof_SystemsPropositional_Proof_Systems.Tseytindocument.texSCY%Propositional_Proof_SystemsPropositional_Proof_Systems.Resolutiondocument.texWCa%Propositional_Proof_SystemsPropositional_Proof_Systems.LSC_Resolutiondocument.texKCI%Propositional_Proof_SystemsPropositional_Proof_Systems.SCdocument.tex FC?%Propositional_Proof_SystemsHOL-Library.Nat_Bijectiondocument.tex ]Cm%Propositional_Proof_SystemsPropositional_Proof_Systems.HC_Compl_Consistencydocument.tex QCU%Propositional_Proof_SystemsPropositional_Proof_Systems.Formulasdocument.tex EC=%Propositional_Proof_SystemsHOL-Library.Old_Datatypedocument.tex AC5%Propositional_Proof_SystemsHOL-Library.Multisetdocument.texTC[%Propositional_Proof_SystemsPropositional_Proof_Systems.Compactnessdocument.texICE%Propositional_Proof_SystemsHOL-Library.While_Combinatordocument.texSCY%Propositional_Proof_SystemsPropositional_Proof_Systems.SC_Gentzendocument.texTC[%Propositional_Proof_SystemsPropositional_Proof_Systems.Consistencydocument.texLCK%Propositional_Proof_SystemsPropositional_Proof_Systems.LSCdocument.texUC]%Propositional_Proof_SystemsPropositional_Proof_Systems.MiniSC_Craigdocument.texHMCM%Propositional_Proof_SystemsPropositional_Proof_Systems.NDHCdocument.tex$"u X,K| fiM(E^\i]o>}ŠVF1׿9~8SsM6rK^W[R'"hW076:r]dbjb{̜IzӽEwu#̨mUAF>i:`obGEgo@-&d[Z-E3b֖Bt{C`j/ǵ0MuG< pkA$9s3{VܩwoNU/ @Uk m_f% Z uQ-Sg)kᔺhml.U*xrVᆝw: [hf5uT _Kr[șnwI0LW,A<{iəp*t>0KgGc'%4uS%͵ȋXO?DjINAjeHR%qN_|Hi)Z'xև5, ]_<۲ 4 N~ $/]s#J*9A`PM?0[vfVGLqjNEY$_)~h=BU\Tc՘N ;nHGTx}ӵR! }n胘@HF J*7 r,Ub"" 9)-ҽ*\jTlBQ/惬G ˪6!WxAfxgTQ`Z =]Ou[h{<%d3c9;"݃SStWʣ 3펫iׇ 4 $tG-mbo҃M.m_"JLƥ;:X)gP0v!}lػC~zk!)ц Njy.~ öU6(69,.Ă&Ti0>1wxeB0Շ{;)LF ۉɀ3+[շJXʱ-s iv}*]3%o{]Lw#ZD{:&ngnv=Lo%pxzc=5[?3.w <2K]h8 MPza$&m p+f&~w“wkYCm#~{ cO=m=2 ]C|b󍂄$^† قȾұ[ rBv'Зi}m]:f<Ռbqg3V ="]Z|#my1u_<^Q*.uIfaf+ih6aD\] 5.ܺ.,0ڏC J)ty8;!:3:)[mOtCBd$Ph0iqV7dة݌z 2@ɨb{h3e?~sJ>h@o \q Nnҽhf% ;rk˝`ͬaL΢92:zrZXn\#sy_Oso(5(avS.5l=.vZywV0RD"t64?J5ZԄAv&2 X\d/u&3J{}]u=1L'݊~oYlJ tQ8R!#?k>e#.=V/7.zy)3nI'hB@P97De<3 lMkEn5؇m #ԉ+|076 Nx7NEGIJ4ؐt [JRTcޏgK<22>"w=FhNE6J!T{( o 5d)\ uiKNQx骤5̓ψ. kP^m$n.KD c)P)ӑ"i+Zy{prgL/!M8GYXY\k{Q f W }[7%QvfkĤ:—$")J" 17%PtwjG"Uh/_)ͰYĩ 6ڎ #>Kc)Q/<Hgjt-sJ|fw^. KaPJwr*Rd-=4ʟC!B81bnjJ~boz?y@Lm-:Cj1^O,uu0:3-5$ >(ԉmy/]aOF#{-@|9y 1tӚ [THO!Tz2;+S\f6kVz}l H\8ž4+x Ú )FD{A/F `J0G)2Xr"3HǼbԳC.hT{DWU}H[r|aMS8TJ2XTC?3uAN P(}"0=^B+kuq u=zG{O:,LŦ)Pqw{l_cz)+g.ΰ/2+ |UtG3hMb`%jP]ne&&^{dm\?FuGH԰^8v4&S؃*#}N )1>"\&iF8[pbupc]]K`gj%'+3H1.O MER}X) sHWg{hԁb/c~]Ec=/zom8e6gRf@<};HdN|sp{ߍt%+5h ۈ'lWx|X΀ȯ- \Yf'×p"}9Ѣ~1nW~qώjO] "<ҽC`*|y8;ajTCm[;]0:m ͆뎹 'gpېvlX~t6U0AaO FabyTSyO7M-կ4W0d5vd!VeQ":o]},%Ycqv5>Ue6_eT|tG{E}wQ0R}U(TgFY=\UuG| {)0SwQwkܩ^L| Dym>nKDdIJuëQi.9*c߿r -. I ;A75WMG!'ߟIY< lzGuao4B(GW;AKv?%n8^:^1.-CЛ1ڦaCEQe?~۲!hgEPrmfR44A)I]"uiBևNѕ3`f הpΖg-#@b5$:nz|.?; ̔ A>CcԺ-VwR4KnŠM9R@}S%|sVHW/ow47)Zb2HvoG_j+i*Mg`kM7R E 4QдJpbd2M?D@ Z,S}R0RIJBMz ^N׸4U-77wd>!Ɂc 9TJ}ցI9m*  uT$*ta#?}뀩 n7%fB2q}*_2TB IXW|Lv}+N]LإU@IQ(.|jhKf$70DV?҅Uaj g#yɢ﫝,( 6ZPϤq!x˸U 6>0T~I8CVK^ ߇nC쏋GSM3&c1sx.Y{nnMA̚hՇe}Os=}d^o A?OG62UѴK?хމ_A/9,gآqC @j=а+"iDݞf L-r8LOA Z/5Pzg9,;_wrBYC{hAzmN FA? OR0.alG. &+]lŧD),%t=:GLgNb #~CN]۪/N7O6:cKJ5-b#PQ琪xTrWG|gJ~/aksV+.7ΛG1HċmIcUɮ_0/w'Fax])+7+DĨ=p7ȁPm'm`d]*z0JG*]LޱBnHp4 vweN*o].HHvlNꉸ7,;kK7AE16)Tb%&͂2닔eJK PD>rjhΌ64 ;UHBm9겳RgC{T9@ PNJQ'B Y9|_LnwBO<9 )W9v=^1DלoBr WBʴ^!1(MjhS^f˓DC9f> N[n #oꑩGFl 0XMiˆYT8Yϻ-1BFg:4fB1WdJW>JM80 YFBugIq2XYW >,)GWc'*l$Q:1)-7_/d&q :kr4JWk\Dm^CeO"T]55l{Ӄ<"xLy+ˆNsxe1(-:o25ljPO4V\{ߒP{!DP_喙/7 S :*a崻8mWlD>xPWEY_L(uGio9[~[Q=`P9T$J:RN`R8 -$%\^J(-8&V[F7XF)_7ѼqG l `ԓ]*Nhqpn"̹ƹyN-ys|.tI)H`#PWwR=~?B7oG5,ӡBV?h` CdIU՘?瘻T~Jv;*)ޯFj+ gIrS2|I=G9A`Y&p'ԳV!ԉ!J&0{N @!J#?*h0l*  de nC7>O!e oXx&s\;iM#/ z/וim;yfӂgh4L $٨T٪ 0n wR/L".Jp"bм$C!E3mH)Ky5Ru7Qr S8yu?Sڽſ!P&ºoQ!pΡ|j\ܵ DW A@jq$Kq&(UJt_p)ֈBxjB8;Ch #I(ּoWZ{rrz]cJϑ d7{p8 {Z7V42.Ylx<[fRHn+5M_ }w?Ok'?KI!"" UR!tuO&a{$vN݀{flxfϱ#&'m< Ls\TK 7@||~X)ۺejp!-']۞JD$c٢f>}ҟ3t^@i0Q|%yEJYqs᰸Li i/7aּ`U;v]¾ǔn K\q_O 6}ľ)D:'6 $_D}؄"G!UՋ^̴3+ivD\FmqTfiw),_Zۉ#⋐řL,.`Njo?]jnA$\M2@[L6-ԣ0 H>}>Ce0`i7SOI\L!miA)Ev6{*"!F%cࠐ6dnU=a!^ٴ(_i?ݢGSR3ON hEk:rGr:9~Ӣ8A<bA;}墎1n-D+AN%[=U+{*x^{{!Зc5<Lt дHW2Xbj5.RճvKJ(Zk'DRRuzw̞)FܸoNSn#*b]IK^ע+g5gin`avzs}2:dN58оz!nB-:.Zo0'uY@Ө`wMt!$c8s%/|x!V kbPkv`/ ӟ=~)UVj?eڬjrmEzͥ_tV"|AZ|EZk='82 U>,z&6/BoQ)חLacJl!u#蒀fz(kumW?W`DMDZݐoi ߁)Ͱ/2 ˧9Io&3埕Q[u2ѿaمM/%u3+ HZ$Z_@A{M.ugr68G#?.\6B,?|UPtط<%j%+5AnIy Fq.S/:L{sj05z\˽TaW|,2bJi.eHޱ@'D%w@N5t7["hT'a:bY ^ ,&Z\^ݺ w%?!=>^&!S:6<'m3-4ܟ&dm?e0MS "v&7w+ jtGO%!i/(D-'7^ѿŀ*F gt߈Qn.:k9 >߆HMhX#>YqxP Xkas_JzC,ĥY8iWYlJCqr]tU"写c=p+>x$xsyCU*ˀk'{mF%+E$E'-,(FBsWa׌]. p:HZk}$>ay29|U/i]G`wdUr%d|FC7YteVc`Lו5Ct]~S:/'^h p{SȠ<+J؟AuG [!a c6RiK-s@4rD6W|olnT D] { &emW# qF,mhrs·ޣ)m%?|P}I~f4Aafh (:\gX\hRνbmHt mڣ{]~)| taGe?;,1ލD}Z*ޢ9:@{j,z _f%b|_T4qXx1h$4.3ƹy!WklI}lMrL:vHNw],Ġ)ˊ!c^V).6}粜|ưŽJ(oۅ7oC}d`qSË:zk4)jΕ W')s9QﷷT4}Xq5GϴSE@-)WҜp]S]Wq#ONco6;YП ?B9J8ZDs,GkON9 ߷4ZMx2h^ )+A3 n)h9C+g\'Pg5W/„ ?T1:4 $rq>ʞcmB&bAs;(rB 3YP=QcnN_<Cmkbj<9rqn ˩lq=4xb 3Xx\ި*2vW DɿdA`o|†Ex5\uжR<-1\b6U0W| `\lbrR2ŒV~aa(toBwQZ߿E\~y9Qdu2GQv{㔥Br Z;U@ -> q|8֣ &Y~-f|UP=Gy7VGj4uޅ| {ӌ3ϻ w?x5ඃ;Dse7NXbxUřw yɀgjWm!ɥkJv oCFTA-tKÁ{lNz^9Ԑ?!*M\~I[Ccs R4t}ݷ;D21SEtUhab0Pw-r9x˒DX!c9z-؁(b/.y)9@I!GMnY>LNa` SL !fK\/4bEGjn@ܝGlF'0O0V+ <rNgYZ vv{CU% \Propositional_Proof_SystemsPropositional_Proof_Systems.SC_Depthdocument.tex7zXZִF! d,]A-MՋhvG"uIBm5ȑ^ c`m*~(K `pZɴmXÀ-`K/"Ķc1)#ȃ3f^0<7Y_HY,Lfw 8Q!|8/~LYm?^T4Iߦ3%*eJUI.(A޽)y@e:y"°"(SrЏw8jJjēTĢ5RA.*a=NN*&Yۋ)ȎMy%qN,+*b54gkqD}u_[MUrO'=g!w4c9v2pE3} v+  ԑ68EtHup_CbC%ǥFIJwX`!qf\8$YPP3fS{Bh"fNJsHTOQ=͏~Ul 0N?V3qoDw1'A&m2BǃK֤аw<rq'C#8HʏGb*OY!FN|ϾqL3=O畺f cB~DibZJ5 {G3{(sŖ#&˕B4z;q1/J?/_Yۋ,]ǜrI4pOczυ>Era[ N86oB  z]N_^ra2M8}nE@K5?w‡.5B(cSzGt^frb} N*T$xͬ`857*܉9Cq)(X S(L@r|Hd{4ma_dǗ/W-ZǦe8);A&t9SgFw[/5DjVc #m]xdF.E^PvX.Q㉭C#針gJV={oZzԩ_~}9 jYa6F,n8/~ 8(8ɼ wԀA=WTj)Q(`ޙݘk'GKbn% Ю ౲aċϭ*z?bJ(@Mkd)%މGgߧtDQqBgcƆGHIG<+k f˅D;u{0}lO1I[,ޤF^"{5lx̢k"\T8'-X&xs58J!%Vr KiPѵFVc_XN"#'QֵAcA@$xԍp Cu+ð:H_7,4O;(76 ͎m]'r0ruݞ:LpByo/?b1c RSEzΤAGU'~)*U^@FYT!uq̡+NxE|/2E3 !: =m` Vrū#QUIjS_X‡WHRlHb%&cnvqP0rEK0m.Vrb٠2\ !f'=uNP_8F;A~hNUDHљbZ:% u9erBˍ,{A8/-!FLK|& d;In-H"[t"z9MbDT#6|Գg.d34xJ9I =h6s젢n/RCk'9 *nsM`rfqp̭7$c5 OfPc]H={mwM/ـ.vӛBju4K&>DwWnGu-W٤39>AJRd'6}VՔsQ}_ r 'ga߄ t JߐF|"e`پt(E&s_'gITVrJEm.iYo]xQE6k_OV8Azx''eBJ<*z;{ЍEkϬ$Ϳ u<twme6j_UOH {`q"z6d[UN nYZ%Y Li-_-)лAy? +a(\=#LANOE}]C ɖV| *0rp"j&q>$!\ XlQz7L]!םhg8Y)rD8O?*B'ae'zn,\!'c PIKfp iJ`gj<=ld˨A֪ޜ[q^蜂c۽PL^89RwmQpIR_*a AJфܔ]>39&).RepEhЃ_q[KH*ysof1qG#yr!Xy)\c̮oKř_Q.F}K;Kv6wb8}cھw4q(|t+qOڈDX-e4ea$!'IߖʋK$iBfE8{ 2䰻x WWC]% Propositional_Proof_SystemsPropositional_Proof_Systems.MiniSC_Craigdocument.tex7zXZִF! ]A-MՋhvG"uIBm51dqMaEHR'1VXYq/4`I:ߣjW0?B. S0Ą0f$eLc}F°'q95q 8Wq+OEUVLmX_\bTM\w`p-ŇAeZ,6B8tsg|r1¦6xP PC49+kUCiB&R6* i]d/doA%Qr as ,-2`(bBM -4` Q$~;>t]S!sJW^%̀^TȈ$j'h'Twzf4eB'0BJzuՐJ9=5_l͂4k> k)cj9!+R)1hxojv5aSEP._yyA{;5gvXwa,GEa^`;Я,gA11N] Ώk"?T3hc/mh7D^l ΈrNlLf0S^.[ST)-W7l<$42V)X{A Si le1 yg/7?tLP`2Ɣ̍d7gl!K胥 Vg(vc@kyA]K CS= *F;HYn~1} qў{$&Uɻ_ׯin4 }:ޥΨ Af)} t7k?)4+k4EcG/W:|Y4\78I{ x0ؾCLx.f?ѨPbI(jb+2Q۔p9ԉڞ$y-r, ݻ $C #eڥЮ(L@=0RYJ]n;+#ػAR0N=>_eUd`3M3P [ke<%w|& i`5BaPa9LPti8 D2dR`3ki.TғX2KOӗ2=ig!YDnt=^9W)\y0z5 v.ۢxPzː~~brkx&~TN:,+%vܒ$6ډ$d̛c5[!ssP",K+T])VO:5\WnK38a҆ d[Wtx4O!kY_Nhg:r)fX0ԜDL@L#67?1sHiSj6:^<ͺ3FVp>Kρ<"fT}hz8U4jF㼉+itNrʈv,*etxaKQaPjk% lHPE,4dA\!''](z #WW\huӅ!Sw1zAvpf`V{Sy mR;V[WӪ T1|)$Ih]Z|LCˤ7rP<2os R|('S`6o m}lrLt-`&*x;c߂,qh(:._(D="\myɀ`;7?!IsP!0x}@K]rQs]WiA\V#C2*jAFBryemU,3|fOV|p8B7=*ٸ"쮰eKnji^W@fG u(}hp@KݥrF4;cgmiopʄG"`^nG@~@Jjk do}! 9N>OqoIM `tHנMBA%ړ@ d~{Lt('#KطaMyeA;/1vߕ'0նALbN)Ԣtz&4[Js;Z^Dd>JB-t$|6m').9~<|2[1A~P}JΣ59EotթeLEhl/ r02xF!Eª7@Y 򩽭\(hDf%"N۹xɧER9_)"(Qn]_?:_WrȂǥmXCp;Zz |Qѣ3, M"_e> d0ٯFLZ{H)7Wޯ5)g2M( t2x&Re|rn55Z=H]ua803[ֹ', wx@(q\{&N0 KHrE֏UL^*E5TS7T~JFѵBmӷ#_a_VR?>jw1ߤ P+%Z [V:&&n*<%vx2zAU)Xl)NM dn!ܷ0ae$NWg @gjar6YHi&3[nO&(}V+H$䰿YNoVDf因>^-{u+C # KE#ʱ _ L\m%вnMyfH 1D T"FWg@RtG9"xD J.\'"-"M̼'̖iqMT)aD`wn'r%?[DOiAh Mjto6zR9`%etpGT7 Gf2؝~sB-RXmG.0"); 7up^&Jɉ} WqGd.T&mB0ůZ͊ }0A~6DG$0c: G-M岿_=O 3K9s f˭-϶1&eF7{E wXϨ"LӶ¬C0 zT30QIPl*A A|yc>6-"*<,/`a]L'uj^г{/|܁~zz{kH<RvqWt{KA4;'i Xo0O+{ Ky$0djYv8dFe;I =I>3Y*MN>8DC_i2ޭ|_$U*gɻ*B*gb:d/D j ]<ؿY MsSm !u ChpK!*Xɾ}TӠ>EjUVZeLy\Am ϳ"*>غGբi{lm d%[y2Mgq$qq=Wlۧ}XӰ/-۹ ߴ1<<&\sKK8?Kzg#r::,uQJv.,jՄ_:]gA\0NPQ$ -D5^uav (նsTZ$=|r;|f 4`hA"  :*9Hڣ#W6_=}!UW2}*Sԝ"x Z0E$ɀ~m")m`95b@voOeq =҇šR`Oک9(jCN<"' 5&WvQr7u}_Y]sb3oàJ3zң|$#Q*/-W0$ cF%>bp'jҟ~Ra5r |WaJtd$w߰n59,8jl!5.k8A$])gGɾ#jq(x%n*%ACPeaEJb_X)$UR F:m6-#jȸ]iC3)@Xהٌ 'm&gz=/6Y &Iű6l3y䏽2cSV\{a͎N⫢=yz3ݿD[Wo98"36#٠O'hqzf2SuDTڊY(yH1b\KX,@-!H2h+->YnlQTڈ#FW@N+1ܾR ؗFu\~l;>)1qΩ9-` _D[= Mю媚tgR%#**ޙɕ=bS(@s^iQ;W6Y–dM$t] Z@O*+Oe B:8?C$G6ʖ]o ( [FUg^#KƓ@>1|JRWv==y/>!%(-Ȱ<, D܇x(f%gVru](a"#*g/$nLĆ=ڍ]|,Y& q֓ rޤ,Uu8C#ժ1Q97fbƚ,ߡWs<d:{MKW"/zfjч׊fhXge0Fs?o"j2^M$ vm19g_^[V/X K,Wܪa2bpcy\("+n TО福" HLv ܳq KPqc| vR-^'S-ǩxgQY Rglszo_꧆g~A:_w/ k]jZ:+bz/t*s~ @jj^~^1C 3O3Hej(8Y<~+bɯ7,Kvp׳BovZkRQ)ӓ < n{oz }KW9yT_DdWutS@)?H,J9&" l$ͭuF)#Z)ğb}7yrmHp p!笗]Zvkp,#+c[D!B3s[zVHg;Q-(Oߋ.~f6G6Rp@A_W^B`{Sdo.l^*)PC̝]A C۴`&C 77ӴWC I\?cVWN`hET*seD%Nn3?} .c9)tOS> I BtɚAOEF ȳI'v6qv)5dE\c Kcȅmj8ǽ{;}xfLB 2 @:18>b%ʖ朴uj}:4z]Uf>R@SW`d'~ u#v?Q*MkX{ע Z6ܨQ;Y\Ӳ}|Q5Q>^HR)時2v*Z"A\GRs[ ݑ]!Fcil (yC'=h(Bn1W|]q2:)IKޥxz˝2(vd?P }-'dn?q $Y9Hi.@l.ttQHlgX#n7*"MI9u Kr.i[檶t2j| Sc?Ol9$Y\¸n ʛ@xRn9:/_{%Ä fg%PwA(ڮiWś隫gbt+L1 “-r_ K$lLvF q⛣/&k{U+OPBL͹K:S^#EɻXkѪ}NU(6Dtk :/bqgkp\–K|['tC]cQxTh!fVq2A]7;<{|΄_\Ȉ% lʦqpGS({9.2%pPfBK*m9p0cw4hNhԟ u˄Y= {f>u! 6=PN_Wt: T'Y0,Z?^WcNbI'jh/,Q͏6>j V."mUDf;Ӭҥ/^a?q; M\YƤB^BC2|bD˭>R!|N ,}2"E;^c&B7KV& A,m(Szj.vGW~bIhTÇg ρwQ c ZBTc&S4SGj |m%d\tuFeg2cjaLD*֢8D_U -뢚3O= ǟnDNz||K mĜo\x uɸJD+7s|[PHu;ђ2ΰɌK Ug;X'}OuNblZ@cr#v>Ϗ!fk}nwb9Χ>73μJሐQAY- &~fpO~9GQ?ӀX{.j\s#RÛ8V@1}.usr~Z#IznNyV fmFc eZãnM.ռzۜo< jqˉ/ \ l{va=)kQ%i|ddwz Cu@֯HP>.g|mykR{-\• yި>dWT{&{)Xg?F`^G^<+dW;zKFEKf ߢ]NKRQZ(zRXX![(rIMU%!OabN]b`Y&W \SҚizQAAb}_@>\fW*ي 5WsZ8GSX.)VV" PO EUo,JB2_"35g_#9ҧj߱Υ6R/5ԔۼUPF &=t;^գIΫu9=d<T([ڍ,@yY(0!6vT൦{vг[SőDXEu_;OCΑe`ҏ_ɢepPJmΎ yuPpgyV&sfBDmtG:#eɯg~pI/ދ;xTk ~4<=A8?ib\^[ly%i˵ y{$6dYe;?ƯM}׎fbRȔdh2Q44Jնf FG%;Fl{eRng"`罩ZSDEy>PO)cׇd+yG|m/var&xtޭ``ir}||:.q a(^ VƉ~$|U~L]ﭯ݉Cdީ-($|WݩfER;{uh c^A%ķ^oLo278ℾ|=ݱClahDXcgDo1 l!:2=XE~- (͐w.Z٘("0H& 88F"IA.ʦ͛UzO F뷄vg6 _lc+q!mOYGNPy=" ))Ü daSyL1 y&ƜpX&+M3m6&99ev&U+7ǑnXj%Ф7w^Oµe zMוCh-lxx @DYV;qȞɾCmhAW'<'I3Z0)֛(4@12נOZ+嬘h"<k_q5 vUw["yx5Q~5PTgH漚V 9vp&.T!Тx)t"@μaEҞ3R3I>ֹD5HpRMsBU=$7ۑwɅIS@tVvكCw q*4 |:,M1W 'J"%uNTJ_N>';k 窩@}Lx3pS/;oqRɄOk'VK4I+wd^"ْt)*/+;8vKl_fwZC\S`go70؆]7<Ԙ\4Z:gF>7LBd9K 3 r% \k+9u3hWElCy` }0RI1E%ίǛbQ5#e K XgIR/jt#{sl\楂p8S'JiL&$ e0ͨܗW܏ޏk;dM_X>0m!) 2v._/9[sػIAfQ`nBS N- DXBb gg8L򂼍{P)6 yZ,f|ەF+ƀ"T#Om<2ǿEGѱ"CVC'\_۴/#̱z56 v` z=ʍCjbZzj:C9R}%Q-~6j|('҉atʧAe)-iE^{Yh%7D)#lЩi)/mNrp޸4r,C.gYZ { {QC[% Propositional_Proof_SystemsPropositional_Proof_Systems.Consistencydocument.tex7zXZִF! L]A-MՋhvG"uIBm5T>?l+܍Ʉ"cPqJ,}Qa#]TŰ6L~m,}pOvsr`F_Ӡ !{!= `লI`p&c)jhV `ac%su*#8H }ӂsN|5$]('hL2}MYc2I5{*'cLdezUpcO%'Ho0 }tVױ!툲/NFOS\-F+KB}(DB`H+qtEB6^u=-d=Z%x Y/˽!Vkm#JOC48y?g=)z `ܱmT,gK2 0\Qy['˪-[Ѷe?`6|oȀN'z#r>M8 lmۏB p|{~?fB2N4;sБ,Y=y(1'j3U Fk3:ցTu3Ffu|'xgdSdVw(`Zg?['Зdh\7x_bD <Id`+GK&_BU <@l+MVǏiX$r c滸Sbk-b|VU)VC>D ?VeNVŜc>؞s-rn?SwhZ;!=%Dh,u3Y-߾|cC߻~Պth ɻЫuI[3,0 X߼-H+kXA}8԰Q=W{C 03xDիO"pqsꆝmS뙫PtyX7C/P{#p-U5; 쾭RJK*9cNݏ4OSǨ5>mQ`b2] (FYˌ!qiqI= CnCךyQ;n"bUh񒛵uar`s~ۜxRwqYsd\.]lE"6U_D%%5CbN(99]6 pe 4jDEHT&|,Uh t0RC?Yked+,YhlDžI͈Q'RQ3ȑá\9$~NmlD7nNj[o/V sPHd?v.Zs-∍KmԿv i-I,ko,L*| $jpK.%NCD\кwqT sQ­\KXD]/_ >U4 a;ps:L3}DzKBF/ ۴տx-pYo ד|W#Ҕ?V?HuF^y|"AXu2ɱР-)(Ssu$W RYǶ)QWo5[V%Txg;6b!U;AejV86L3G0+GfLV)=MF+'qS zwY"PżH5;#4ܐ_r0`DC/U*%5rmneU$uJp2+UUz@Q#SrRUVGD a~#$Fz "J--GQrQ٪R-ʭedÓBsQ9(O=?2Ny):'.8v{8q2ZTrnrΟ8\ "}*(蓚?Hs[^l“[wCe?pǵZ\Xh5`ƞ@׹ aZ2zt-kiק+`1[jT$ @g/@y=Q#aš=å^ % ,'޹o؏~Do`b&t[:qulOs7So|=hӌgAPUA~!ː(BÝU9gAZ?t&M1fzm-㈫ v1ѕG+[ŧꔇqTh&In:>ˤFXLRk^VW _%x8`9 mIvݫp@;fB޲p,F+D0RqZ%5>B|⏱ɸY+EN%4gtL{iV[#WG߇<@7ܓʴtn"z+U:RŸ+M= Cf4Dhؓc #'#gw)11yq),Tg; +eh`zA0M ֧X gx,7ϒ Oϝu^^F: Jk"]? xy@3{D 4>I:z/A(uܩ!VO4+/RbeSN_<.8P߈ Rn^Lj17vwP:^*˕vx}=PrwE,<>y3 lGhl3AnA51Sԍ%-I,ji>Bj!?>|4mR4yId` gںgֹ^ɪ>ksB3V+{.S==oMF\خhHGp'⣡#U|H/?tY"W4CM=)*ED0+Q7ip`z9e~]diAy]oRN"e^z~[?j60sk7ZI7s=A]$GƑnCXMJ[,L7h}pIF @0fUY{N&FWAó6 ~PjlZMkġ G䴴GowHI'Ԇ٬RU&c|@Zcè"5e l:0$s*rb$1"ݺj;俹P]@'rD%N,$Uq*I5^iBq܍nY֬9J@* {B9#s{Mؿ`?b m\%A=HXFW 4,bf/(_w2]^.zd~ ^vv{ONE`L_qАm6Rg9jRO4;f!sW5F$ԥ]e1L-&(7Mm{HW2K$1-)X$6xN0DTs'-ݒQD%l3y`כ)&}q'шS=pQC @fGj,v'nKmJBR5O[O (5^7%~ū:>=?җ9,25| z4qwt./Yݣu^et "{X8O]Ya3Iɂ+uvϸO Fqt3iuQgq.'s=&}Uv;'E3fj˲UwwrQo݀ON֠7 =㫞VlG'[bNF1kL)B5!-|o"Fv H&c,r&wO+՘| f^eYiK@4ͮhBPQMLUlܬkIo'Xzo_-Mm.3.%=,W.h :r=}Dds_Oݿkq?]ɇ`Ǩ⻚!>K )4yh 1o |9 诿@;:vV~ov݀ygX#Hj_Ke^A`5 `,e>%Ru٭W3'lK $p~nX3#dPh)HOӟd/?WC_ Hf|<(ߗ_[41e*oe} D 83Ȧ$,Ʊ]M#(a?$Rmc!B ]6H-TE?x0[YaO1_Ϥv 4"r B[|?0h`mWWTdTqaO^o!j9/w6Օg1'CSi~[ø<=4B2/"9cs;`l4z_ #`Bָ,9̦z s~A{rJ.J7 7Ԯ-&& uB BLկ-O3rvӯXcaO0`I w|,m(J`!&ڠԸ8dæX3G.WȞe 5S8!|パ }0v`.I llnVO9@ 0 HvHl6=RT5D_G_!;I9ꚕFH0yWR="Ktu%峕9 H\6OWwc!.Le'yRWy$` _Q̎얭,&F%Khs\`6ʕnON.T XlWyT.ebۗU =zdxMG@?&&oz;.{<ΞRD#=:fV?{S"`_^ypk$cTkxڏ^Zܬ=FF|+1WW[qJwg#RKNhrYNqA+9)^GS6/ӅOA6/`Z5ZZ؁h'y/- OOE(q1 DFsCE\0&5g2 Fύ&lxo< %T=m,#ek1:oИ#yO#ФG<< 5|e2Bn=e:۝5,ՅW eabĢZ닸$ůwLfilxTw.ac5:0~U~!RHdO2@GZۓ6-L|XJCZTQ `Ei=~+6NB*w_VP1١*Ђf)OhFItˆ-WL\$rFr(Iβ57$ j,Φ3= {2'ijh99KX jLiK 2Ck?9GdB5?(QTG~ ejoJ[x5d+:/H@_6(V2w4!oP6K[ `>Z4;Gꑫ5Fu.OWW< SƷ=qW|fsfhR;$47Ѻa驠+GE?Q%!ϛɪr "]ö./khe $%k;ݤy#Af"AΟI8aq01BwS!K%n.PU`4Թ^K)`Z &dK6ȅ˗M;9̙9qӱgYZ%BCeA-ĪHBHoWOzB,1zX 7=.ڎ2}@*QhBxT9MtIK4df&T QW/O/9 `H8:(f a1O4qvk #P3挊L9 idwx߭MBTvztL& WNG놇ùv6 rQp³f;1_6#88D׆mi׸dHuۉX^/XRw)->x>#%fԯ wSf+nC=j2Q(LR̩`2ޑ&O)sp>fY[5}`b6ލ>ÚmמNx*NBXÑH8FNMؼf>*{ajO-S Xx|m1wv+͹j@P;̄3Db ^NP+VJ%O#uzOJ!9pݧP.|*(Ӧstޛ|x9]Ju;\Æ찞&! -)hgE1zta6+߱Bͨ Y֛vZT< 'U}`{"$uj=Tz D=bi?SKh3؋4OZ;]2o QDInZ*q-s Rft!7Q*ۢjbB=6S6:L^h3Q 91[G?ե!/IV8(q5̅)}*z/t$jKuyHA-jQ@嚝9/-pe}ĤP $Ɨaɰ~(K'j8)ϝ\,r#{#0!)Yy[M79j]Yu 65+[h 0,*z|v%jvM_(>g!S~<AenWӿ1^b7{9"F/b|#*ܖdc49Q'TT>ǩ2%L7CyF˗d, !D Pٽ07 ҮN ,݆H , Km\df6E9k[U 4>w3y:%F7Q 2RhaN Mx1w &|hol ^;ƢoI 6e^G4[' 'C0K\ w${_Jv2*&~ ,΂bl}f*#sg QHi2>[*B6CAN8wIaaa&X|Tx X5:Ëo.G3Y^4NhE"`$n=mȕP˩绡tH2RR10|0QNSH:gkQQgaHLVcM8l*ncD0q)Qʹҏ/IxdJ37MlJʜeK #K)֥?Ќ K"b\LF1.^ߕleJ|dF0gy;YO 7UN V/_b$[}6@eeȨ P.q{66m$ȭ gku,W 8A5`gEY@ߠ LE ;$+2O\IIaRL#U dbR?(=qVlS 5n0YҹbWKR3xޞa ӔIJr6 ́M^4[Dl9r3VDd;ڝ;nDoLtֆg;L*G/'VC`6lrͽ,4[v_VЂwp:juevax{`ݴr}7'x"I+~|P˒NJEM'svTzu;48q@UM]`,ܴΎQ xp845(̙c2C2y79tVǹiU PIMY0E/bd uA7{60_zT@0EjªG';g g|kX}݌A0iUwxoxh)FPʩ}8~AFYyT]7#b@ a6Ż޻oA[䭤ͤ#'cuB!}* kmTf9&%(ulƖlW'7\X 4 D 1r\(y͋kCGԞ~c9H2i.\R7fow VeG!K!^:ܑ\))KH7":Yu<Αz5?GcVzk!_̪I7O¼ɻ|r0ʇ}*nquWA%'  GZ$bOjάG*'VIh?|Equ$z) ׀p$-plhm+z4"7xD61H~Lن7m`IZT,I"-ϥc?JYLje{Yp3J]q/[ O}aEډ.ˢح}Tl* 9L?G0FoPTCJJ9wFHee5j&QX6s[oIPQEDy15KtO][3=n)/|]Z/)k+ jT,uMӚQZnbʁi=ec1VA$lA4#Su5ś2҈/:S@-FPwJ2 bJ,ȀqTĞC`ZWUY]:'YL<u9w hS6r%TKN?%6 s-ӖD!E= q`]w"?" _>JTz?|ry4_hLgQZye|QטXvNuY=g@oR`Z];J6!yj#!@'>NU$WKBɥ ΗF&裗M폖:~I<ۖh4Ku+?/D =D16?"|Q3zKR6-D[=&Z(};/@L(ڨ%qvƟHH*عقOۍvdxZF⤿OFnjD94/#,?>[@}$登%b&*̅D ؝4 2MLdu6Qah=U7d7QސUtzRELs> tËm9Kuȍ.UZ4\~sm`q) fՒH&b%m1n}[^r13]Ij?YQȳD]OENJZ0Rں7(0:2U#-|qr%* ͓1C„bTB?Rbg./kR6yZ>]Q.ywWaJk*trߕK}]ws{S܂AbWvR,fY-Jŕ\VKy zc-oWGlud=4RA=p7i+;fP OԞ%TYۏ T^C$N 8#|r !J̓_wXW^7?ŭWcpڋL 5aU:] x&|LޱyӍѠ,>.(QtY<0Nόiy|6a{RO\xJ^N!ŴxE&II#>mf>$K*1 Kύ*+PjK>uJH! 3At'aWMkᦓ+oe0J?R[#^߰⅘W."JRQDZU$ÔĚ1.(: sQ\˛Y%Q椱 _ P7"y6‚gE8:Hh"egOc‰R7?s"yBMQ疀22;Y~*شd뱙 DF8G~a^<"LZD^`R=*17&}"o5iÐ^JjH} Aq۱td$}Q@gk؞,Y|\QeP&0 m&ɦϞ@T,S&5x+g^2 y1XuiaiS @z(JPH,xUW  M IUs o >~gB9 z TkDr')Q{S2슲${TWSW[拾v_\j ꉹBY'Nas{(-j`5/t$?r^s~ tG>@lt4ӉNBӢ!Xb]K^K_mL45>B,CE4=CCnQN囲As#Ypc~pj^z dމ=9͡AC'X+׫0]dj} է1XZm4{_}XGM3p+oe)sE\hec7q|pҋ;Y<%- f7Kiv `h7pG*k Dh#{<1/# HZHGTᚑgyZ/nUV ^dw9xmc8 _PԺW'xdHޑ d.Sfv_Gj]뿱nj~ngNMg.*qshuT؃._o r%T{ p4kI@uzZF,5&n;cpzrܗ*xDq8>@e4h6^U_(nrhI|i 'u5$" z ;nz[~^r,$-g x:b.G< amv-+WIs+*9/G! ,, ;/\:;c۫tMw(ݝ־;jfBSI{OڊH"|quNbjxa5Js(|R6zy5(2}aiGVEH_;TOS1r#(~2)NΒU&*Nh汻w/m\ ߮%~:זnjPr+eLwjJҢ NN9UKnDr|C%=$Q$:7O}Gq&[c儕6oWD,~5"xQ콪uNPѓDLG*:( mҡ--a&ypi};ܜ`$| $t>fn/{Hu=>ugi䊞rr>1JRM{ 7 ph7e9ջK,&ʇ $* %i sC2!]I,98v[4{cQ5Լ @AM5nVOz0ܥg(7`D쪖&qH]Ԥ睱cvAYPAwR~]pc }2 6js ܢ_oOed#I!}@YCZ#6l\gN|Pc%i2h;>5|$Y( YA#.> NUW᥄?& UØs vm|Y r bxB?}vFPzS D?r#1?f=` Md87 ؃@`# 0?kR"Q k2]@"\?d`au-H ʙ6^hon0Ky"(B .Rz Fcs1G@ٛo&4QsЊtlPT?b/X"[XlG gOg|m.WTb<q<*>Zj_;_}{Ј#Ѳ+pd@fӫ "R` 3Zo)b ,`cU}\=KcKugF~‹3sGD^;G"=?SųM@Y(z {nJ_"̐EG5`X PZg%|GʲnVF+y]U5R Lf "5*/w bi&5:BNBosX-/N?E/ p,S(5L =e.-N>Nضe9>^lJod&hxtU d_6o1}"+),tMY-mt-] z%&A|46(&$f.^z'M 6tf,w|ʅۙ>4 gѩ+юПv|ir[5x3`6R=-Lv 윜3L!7"'91OҨAbGs c:hXPF{o\a&cU' "b:gjr/ qCxo ş s.I)/(0Lk ΢?ƋB/L9J l~v;`$,dvPv'M/zv|>$xJ.K8}Rz5ڷpñZ[GV߈c/ph@uXuRnr!ch/RNE`Tjd`#q&u tscN~$ 74EvTcMxȖqܦ5lY΍ېSK{hvG#fE2\퍥Hbg8[ eNTn_'!#V8:WkqrOwWUhCT&n@󨶸ZFQV97C K56 /^eTJNT/k,k^]nQu` gc|QbIC'HIGYX&@p'rG:@\4H+Jv>i{>E8z-1( rQn&7j䯲}`n+4#ZpL(?PHQkJf("*D& 8+=bFoMa&Β1rÏD \S+vəu?_\JӅ/rYXk;e ӳ͓d}/mTFGDUh1L[Gs7Ќ8Lε{8 ssGqrG#NI08Z"e>H7~<wĴHK,gsZsJM;\lg9~(ߠE%0)f 2JϩnGJ$I*$=zqM&qXD0)ܶ V[?n0d[X3(} N3Fa1Dz; GtE)3ѵf;xVV4GbbRJuX[Gvr\P^Ϛo!,aPd]Gn RMNnwhoqW7p 5r)o!Pl?'xCӍ*r м6֌/h1cGXEƆHe4^ lY}mǷʙDT (Y0UcjoͱkQc9bأRmDcoK? #"Fqp`[G^kײ` ÂBz?ޖU [(t3ӹQ#` "b m#Q~L(gF'#q7MIZC1 ̀:*dt3WIOM4r+"rdy!ʼnZVDqnB26%Z1MDEnpxYӀU<ʧvbn{QsHln25=fҶ[zb ς/jt[_tߦzӉ]L"@Q7@ŲJgYZ\lv3=\Gn W zshn_A^݈:_/җ h~togM0LKYDy8ђ4&!Y]z!K+#~ф"UҎV\3e>!_H=!f YW` qv@)~ISƀ`!DF6m&k/Gb1)yWFI"Q9ˡ ^xdeQCq y @͎;&+?Y!\hBJcfXVYՅ!:8 ae?Ck,ǚyo{rJ̇SVv7"7oThH7}滫ص @64}FC=VG81RCJ{i{+U<.i}(!cHi@ןWKzy͍>up f@2##ح+<:l>nKN=MB*`7h<4Pr j_@/ )!ti #'IuA%H,(`ס' q7xR!kIv:3RѼ/٦E"vA k1rPKGmnn7=9ST Z|;}* ?Ի4%e { ӝ)R;>KCh$rr܁HB=r')+j=Wt~=HH F0 '"j̇=Hb.+z[_Ix*pS3#aN{:ȃgx@Bf!Vu">w@Q-WPR%Lڷ ^UEyh}S]IǻN*{ȡ-^(Z[TYfj81.vWbJ)/!&en>ԒsU2GgK·~jNOZwo;\1mz]7jT1!$T}@Jׇ@"NAx1SJ?,l\tRRAm2smW!C|@~y}'BҞ $ʇŘ2tW>'z[((AJ2HMRa  'Tm=tљISsa9!DP^:lU9ê_lijyCg$5L#<j"f =v3E}8Zl4zQo2LWtopJPqz,bVә% yqS· z}}Jٞ /.  <5*.'C\6+̴X:ǎcM" eAQ/_c dk])hZ~b+Ç` ;"4:QsxQTKQĸ>Ph(BWt7F*x5Ф Gro>[5,@3&o` 4;۴)uf=֑L*GysL{zzOPˌa=%SM UEFfPT2({cl.?.2-W)Zv=[u'2abk:3YToM_?JvP!Ï- oV! xQ-DZ|IǙ\:tk}-`zH-͸PbYNC!CGU(㦝8ẄnEHڅ;K?f=keHBA8ĥ^p:Bd$srƭO w*jnZ^.S\%H z;ʚvbKvJc1R4)4"9v>P✢P sKbėGz [db?h2.EPkpjǖ#{ِ-([ov._5{[YA{%AGtQqef8OvV FK^QT鱟Q4t3 :G:]cfkW}Ma7ݰ:q.pH.?)Hb' ~75G SBElQKΙn-z:{=7;րͻǹu'fcQtJL{Wޱ5VD:a mFj}M7p G#@K`)0|!P2z]G; <d̡@#c~cuҔb:=&N]Iu ~f|]8&)FZҘ֓ >Ǡso^5Us_!g*~^#՝0N}f']]^?݁ǠQVfREV k&z%鶀?pLȣ]:hZIm͏z[ʹ":$S[ B.7%$UDDÿ, VXP9C|[2ZϕV4)'E:8\ݜuNe)?01-8e! ڱvZn u?\++0 9^OkLq͜H9Φ|pR-r݁`wOߑ*V|ijI|gC|FopjaɎT_5| +qS>!9&x84gG4mj!흔WQf2132 iglcrV6@?({$( [bXIAB,yLH8,א+,L hMt^HYUb{탷J0*P,= 8hLOW !F28t0$ m)N쇜{V6Z?Ze>x{ r3itɮZ'!h7G>70 J*G0BA8x0L.ad1ҕZf_Fp;:Oi$0]瞱=Iq?W).ʯ O0fB,:B miP. Ti soZYypϮf-nXj-\IٛN(5y=(w ht\#*CZŞͮ"Q>0[-. R̓92p_.DYKնV*tħqxg, ̔vW{WNW¨㫚X!jcsΒMlM ,qTR@3 D;c2 PB,ףkxGP Vs#ͧ( l:EVF'PҞ-;B16 ٳPE l&/ $ GjP وPOok\A9)(gPf^־Z|CRдԖ/`OI5goWUDfI;놘Jl]4"}?y:6ӚzgYZ   UC[% Propositional_Proof_SystemsPropositional_Proof_Systems.Compactnessdocument.tex7zXZִF! <@]A-MՋhvG"uIBm5XJxmrPyzǕ~5h'bޒA}R`=Di4+*`7~dxiұp$J@'_c߯:$.'rT MIw?n)DR7 ItC*S '=cI* m𿋛#Is'qf)&3%JT$\rudrD讽H19 t(нRdyc9HwYGv2=] j9s˒6^q>XpN` 'Ѱ+Ij#R+i싐yS2or_$?ɴoF49{(-@A&\rC7MK.cb'-P@&Cᅴ}>y7/y_DY?#`'o&L*Đ,]or4'եb sTaCkbDb5)aZʎO? >P2%^O6))˷l@M9NJ6?t8u%y![C/3f`)Iֿ;BzW6H R$ mipY'/%= 5&灧%]l.*6oQ gi %SѤ9eP\ԪUkf"焀os%Œ"H>g1xi$Os5]RWEgSf[k RN5 #! g!!Ď?T֎Mi:[QD#U*FxvcF!j~{-/Gtu޲L$ s[>ztUAxtz;}<1*z;|XT^ir<$͌'Eg׆6 LfSE.,`ؔTU/ vo;"ɔ=q 8JյnĎtt[h3o8%ȅ 򳿨)J|i}0UӖnWsڮI)NHk~ԓT"iU/@||lCa(ѧ$X >G] ,JcRx]ÿ(~~#]!6;+vUp*=iq1.:^}ܸԙ4x%=fWE{+{U0Y[ġGKw"(hnxdfvZ{N_?3op At_ 5! J-sBl$Cwu\~%J u3t̚F7#GY\=K*Cf 1@n9MS\4X30f/d-P"` 7'k[`(\FYv\= eAdu:M@.ȒXy3Wi/LIC4JejnBr ']aŪٺK_K<5DAsO%hm8)Nճ\s*-& g$p[mi@@Fo$kfosI@]h-y ל.z9ĢKhm Ű7jw` it/fǍc1ijdŧ"J+MP{WP[)"[M=pxDJ λ|'|*d;<$1%DJi +j~g"tQjDKހZP" :v7azE^H &FMYo/f K1›o˵*Fj 6Dz[O(F:~O$X5/m9ˋO֖|)Q%"MԿARCuP!x.Y4tOd]Iu3fw=K (f>ƾvR߿(Gj7s*Ljmݰ1tUF YACs0Yz޻h!F <(Q^8 eS~ 20E7L!x bOaPe i6Bh/p NY߯Sc k{,rCKB'2gw2p+)eg@25ǪLQ\yH#'}*CmDfiu0Q%W-n/#^I 9uB~y y"f+5W(9`pI2tŖ7/=Ujڐ4v^.gw F cP)`lfG̩Uson^Y;;Ȩ.~`IѴSPӤiyy`O.C".6IЀi<^.-%?o_9ܰ`=ZE^0HUdYÍϻM`QVAJ 05ø 0 90'ڶ6^]J?KP/~2yb,ᰴ |q]HjCZC="|&e)ϸ۟#lR: E@,C~:[d!:c\"t4`K}X[^!dphSt*JÏ5NOk^ݯP!)l_¹ZreV\9_g<*; [uazi&_zLAQ {D\\ T xs}W!,&s,9>) ^a٬A~jPĮg%ځ'[|qn'qu4&>UHx*y -ѯL?ovRzƞur|vQ~A3=$;_* u^]ʚCI1 \#AkGֲ1e`Fҽi6э13nʯEi,mϖ/%[(r_" X`74s l=f'O[ Mkx,Ңmyp(ꊉ tqB+"J39->0'X,lf`ljrf# IZP #$_e[+a`Hhs rMejN<"f\8'@dd9[k0{m}am;6KnNq;dg|^;1XNUgK#tq__)I&L;$lɋ3~N s7BPJ9 Akmxgx岣GJul鈒 yxeMԈqd\_jor:V-ըz/~5@(!k*ۢ=AP|?ح5$ >fpܛAG 5*5 M`P"!{sq"{E6SkCH*~L+K'"fNsV/3X^8hہ4$ ,|ffL6@lp|TWxna%eukjJ[05 ū~-A}SAD뷔Mms^41Dw9D0*-kCP vԱ[NNnCHB[Ptkڈ}m;҈F檏2'w,._,96`+Z"4̎enq8f&80z >n[,˽k1L!쌈(Z/$>NHqT*޴M=;?)ÖbZ[ڴcLII4rwxVwod E+3=q` |23*5'DAʪ<ldqʹklDSM*0Q!ՙ^hoY=g۽Rl O$U[{v^ O*z:#qEg ɨ#Q*uE=>y+zD5iMqueDU+ 6F23-VCml!=_!H.F$FZjǟp>N(]P%)8cSxB_!vM{,̦.3jPPG5th}=&nI㞱΃X] +aj\pkvh1qg0&Tv/6k b V]";Msf=2[`a3I.)RuAP ŷHXߍ}ZQ74=⌗05wC*:.QҴk- m؂)ٵ*k/yKt<_S#ug5b3тkV"o*))zt|"秦'Y,je#V{.'kyq'd$q٤B!MfdWE)9QGszzA!c |si?䊷׿%#:#a9Qӕ7;')V:_ՀD'd@˟Ţ4 A='AM\c fݗ\(;NdTMTL)u4)wޘM\ o__@z\]gb]G+:\e(P؄wC& f / A%FJX Ŷ*MY÷E_W7LJDoŸכ)qeK$$=(DȠk5ݓLـ "8{ ʳ#NtECER!߫% ."St>5Q>q(pQ^q$ _`er͑*0L2}|!ɷ ߣ"W2kV &nOS}i7ؽbφvGc,>8ƅy s .Q|خY0:Aϓ_,4a+ 8JSq P m'[V,NJFsmw) !1!M3n\rS$spt]QxKݬ?h ukRoĞ𤏄mO | XARQ8XK) s]`8ú, ϷukCmXd7Rꦅ!M4h#.8:ME.Lcx&\X-g01<,搐6ʊ]]X,)Y' -߭ѕI}Y)@=[cFMmLsן7tjI;8MQeW xєՃͨE E!XrAiUjɊHqAԻLY]I=5fVi*1 N3cR22cg΢^쇜.ZD+Eu7l)66yX! $ a V9wb548.;C # vNh NL#Lg4a78]9LLtof:9_}f\\Dx?BS6eSM6}l#,afǻ[ݨ%PƮ`dsӶB7& *ك- _V5D ,"KTT K9_egDNaI`/< u=)5,3+wF1Uc$FyVht}= o". s@X81.i- N /IiDC%5O4C#|z FO m\}k.[}n!3HؠJ"]H}H7es5L toXqdQģ wnu;M5W`d1.{UФt\<;^4cx~$=8uWXMnb r"[rX9FZ/~L')(HZ3_[6]D bIqk,oS|uɦifiJפ H.RVM,gWLkrcMgu_t 1jܫZ6Iľ@"E.YHp~_׫Ȧ,Ԥ 9 u {ʄ9A[~1FFq\o_ڢ+S2`1>AH* ͖$ ^<+GZsoak_'{$"'k=ͥ1նZ\IɴI%/g}=l*Ij/OMYO͎j.,kZ8uXvP3tP1 HB|B$xwE۵ʓJC^ō{ UG-{P75UFbߩmPENiY `0 # eG:(*:ObOXs,)"j1If7Ȥ䍺%@?57c ʻ[g&JW"}vRFYoX3a5:cM3~Z> $`S83B{uE D%6eڅ|ų5%4k'QE7.R>}gԑRyɳᵈex`!{o4(u8^$* [ %u{O-!m85ozcVg5٬XW SxOM}33En7l r8 䗫 >RΙ,ܢTłlo/Qܵpx9oork/ڦ,INjhLVd&lkX/͕RIl±;-v[濧K" iN 1.+iXg.Bɻ gDL928g|#ugZ gvc}Ob%uWY|NE4o6@"#]䆃j*,10pN-܊}(UE=۵f\Rȋ*Z;Jnl0n?(Tkf'9,Y~:6=3jZr#s8,K?Lāi!fVw mym4<@^#FM nCb /7u#0Gc2#(UuY+Y=G8'r#SIh3 0H_i fΜyʏ0[\A &z>M%UofH[)& uO IܒV Ѐ 54IŖ jȇc%0ewGIã;M+MOpC}dܢ+HDr7 pn\n98/ Vj[0DC@ʜB\Mj/.;6$.v%.{z'sZ]2"_?nR很i\}4 B9{W=I'HI8yzVz:ym{Gsmĉɨ,_|;~`3gBAyGKZ)P餏 IRK˴,߷Z5rC#㴬4!|TZpٞ6g =1yZ^0Ֆ{8z# Uk"M^u=5Bt]3ь\1d7Box" ku5 8}׈U@ ;(h'ѡ9g8ɷ}Yh9jM>s3t !5~ 4&x`>Č&R6S4r$lL PN靬}p~u@+s..sQv/#0%`m|RL7qd{܊ O lRem%.M,嶽H33q.dz ʬʯ1>jR$h&#@ 1!]Vldn= =}*.*S 4|FgpL\KKD`pɬȿۆ]^Ai[tN/" y7\?#{x _jg1qclPr?GGVڈor^%쌩4wD,myeoU;$F_T!SMςWr:n/} ӊ]P:gH\/Ia]sL'Pf螏O8(Ƭgm.()-TM/VcO:֤B`4c`.Y@*7=ݺ+=fW(DJ wE! sh}w֩bb-Sjf`U0Ez2ow[e GfJ.oo̴MWy2:yJc{%=#vH{Wi"R \dN$8qwcq|2o_^MRJ _s@ Xc7ˆ0a ,S@ZO2Il:h'G ? %b +AX;Y߶~7 W#yådp K:8;>y9Yʧ>5)G&x T<}J2/!aF0LŭO癀DChV'ONk.M4MVT.@5v wv"]Q°DrDAJ\[TX'bVN =QР4Q3ׇ0Dv|hY%:Z%D?I}i"}:N }Vؕ$&t-fZ6)|DpTjf4(:/^6-H͓!ٷMmcDCȐr#caɅGu;NL_kDBiG-v8l269kP)51v _Cve a@UȘG}Lo*[$D&_X3z9W0eCHT`(:h-\x^\MV? t/B.)?NF7:qu;6X5EM$<=NqJT*ih0zÇ")VponɰUBFTE%r!ws:X+a@p*m[ Ӊy %En5%8Zv NBgVךJiXbx#}.Ysǂkk]g_ =[W RzkrvƯu3 v/aBԱW'/aA 䯀hοhn`ߣRo#(ix68$,#dž ̙CUM]P-پ&1wרepқʠ#禶)r0phe ly"%Gzn=0XBPKsuӜYMc<}3 %ymD&5i|6Ή>4G|Bk|T.pw͠*=2 +^IZB`+hlYњhC]wX±JZwg/ (ezF1`aσYۖl*B$ca[G0qͳXM8vN0<ͤ+INcXM9/-|r'2è)x-{z\uťiC\eBf~~ڟゥvbnb1!]1.;j+b(䑧s%og@D^rn;wjP>*Xuv@aS(A^+wlk^@$P, qW^^L@1`"I|vq2П tE%eICg.EFC9>P^F>Vj@#Ko|ދscevZJ1iʄXN7 ε +bΞL2[_ȫNL?M}åJftQ"sF%AuG:`Z|Ń`½{m0N!ĠiHqW:Զqd4? %b#ʶM]HGƚ_CPEdݷHNêy PR z@FT]HEfEL0(K"J(֡tHm-M^?d1u-T2QYCaW|gۓ*%z Dp?F2M[A i/,2,B XW}Zh}, "V:/>U̲ؒj\Tq0Zzh1`ш>~"|h䅋?l.¹T{̙ڇ])cU晐([ юo:d~(iM4> Sf/l]܊u ` '}brv{be.$۫@ ϔ: d44 !!lګWU*ro?ȯ 5ssphi㾬az>WlWaLL'Uq]QL"˹KsFxDcpQl{:ѕ% Ԋƶn ͣJY]jkaRʴw>7(;o/ xv$!0?d ;x8[VDo|&m:#c0[+&kY_ZX޺r`,dQb6e8wnlý] $>'jL]T؎\S u`MdKc<Ss"s׋mR/Ρ2vQ%;[>\qݗPɄhнtBѯgӮޮc}BAUP $KJ•siXvRy|UY3c{Y \ya6 "yUB P b 0r }:'L€x9tyjۿ !HNnxdcdwmlLiPJA`v NmHZφ9V,S2H̱Yjgʪ_V.J+T8JU %1ԓx<5TZdl߲ݏZL> ~ f[Xtѝ(z}2UaS6pqTEr0U"hƘcVбtyV"Fukou, ,>GZҩR<ݳf[sUB ,._$^eFvU1wsxْZNݖ{yԱn GJ$ n^%63pɞ]qkc`啕 tz XP@miXc? 8&Nn%,̪g.$y|l JQJw%QZGIfi/RaKhܟ`zG80bS(p?ˈ יxGɅo+pd*ݫxWj[.sz0IƖy@~W O5IwFs~d:s-ÝbqmeϒA g:@~&I-A uC-A2g~J{I~N2F5}qH9WҧƧ=xhs`ˑ Cu.RfPy= )Ȟ-'x1>4;a/S$-M^/}f|pmwݎXm![P(s@^ְ$]wҟ)6G9J#jgOӆ8LdkVĕ0wi_t6OzxThJkMGUL磞0 7]~k);+QS~e)O*͂]/>v#MB"CVdo OTbqdȩYUqNa'pzoӇڵ~)#kN^P*[IN*K۳Sx,T*=y34WG6r Cw̵JÔztFa6_UsXEĘXW "'Z!| g,x|`K:Q\ruk}Ͷ~#הn͏.Xuo$WAtq'Z-kSd$4ľ~H7tS iƷ|?i!rȤ7{ :]XSRa-lAƓ@x|XSgS0&5G80WJ2CO\2Os3 9z3{gpE}:%=*‡Us%ke{.1 7V2an~vmd ^l%d9)z_IuO;m0{⪽%ՠWDIJBr6Y.#Xnܛ^IR6@4q-r}Ph|ҾIY+Y A-?v=4 SFrLv scLIg^s/;)3p8'eNGoubUFXHFxs9(l_N7tN&cF uhp6I* cH\(T +dMCYpnIb,>@/nb2VwB0)\lSDGuT[N2[K$??y ?j?UhRKw'ٴ"e0yy,nƗi6wdeԕ _PyE q?6w4t&/ x: =nI,Ur]U&X~:?Ǡ#xb)Mw(d&*ѿ.F\xKPbذt\owgw+Uw'kY^\zwBe@k25<1´6|rn/[3,nA;o;&в@CO n3mrFBqk3߻nV2p%}Ycud:>fL9Dԙ4rԻRIäw@ Dk歖hc pSN#K 'aV %Tն,駍+ư[8 QgvT7z_>2Bbwa_X\Gf,]x-h5,Z.st7Yl͐f թA-kS C\m2E:SnUoO:A k=g(ԐG䃰AO{^M`r~]9l'.HZL-"25{8i&8u{f^a|@S<@H h*ހf|C>(e=a nVM>r-gta$SS3Ic'rշe/:4'nF ~U(cKI!vv,% g::Dδ:RYJ#ޘDMP78@Hwc8Qj$ ➂aD[z=!S,:lyǤp**Ff}vrFQ (`Yu';@Ф c?1{~(!kw`UYqZS!L؟yZ! b*7 T߿Y"a;jU[/O*(NT u5R<MǑX]4nvo<ÈIAu ;,_8r>hM-YT-.GdkпrjE'ϥ8_HdyGWrfGyG4bIT8. ׌1T٬&}xŹL)7,.6pZ{(6ǖ>0 d&lCRN'F] h 0()v왑 va;ֻkޫNxOnNK ^3(oĤr7@6 0ΐ*&TYT5krBekޏQ q7 zpYlVn\5n^WzW6#{XNR! \GbfPNo%Zsml}Z` ΔUoLh7#\<ᴣIKm~Ai"B_iW Rv:,oعrl4\BTr)~,'H1\ӑյA )@US:ͲUvNdh>mY g`&tHT͚ޔНt4Y] M..-6k"g-mg6 {էj Bǿy {$0)W[3G1Nď *vᥱm`&'Tt2?RQ(J9S}yEEetJ9~^h^iK3"^>pA!IsmcAo쓁/;kBGRB<H݊\ɂbGk4ahhvygƑ_W_rOfq7_!p С5;4" IƳX@t?t ؖ;]@\Cp <*5y)$6WlFř&4՞A4Iܪ+(򿑆C{i"v7C,=zN~e1I"NEyqZDU`wly:?k=; #t._8R<+{i- ?I^ yMíqi[[|ro^6MA)BVM~-he뱮-0`$oQ7c;vtĦ4@ۢ9.7 ibt*Q^#0B7iEM5EDm~]Y+aP#q_X3>ftFþ jmKHV~f@p TYx\Nǘ5*ڬ'q|'[%˱σkxsu)=;IN %E敝:*5='>z#b=_UhRϑxL܂A&n !B [+t._ #Ń>|,lW+V:N, 2"sq^Ξ *%Nw/_.y1l^HMˎk2: TFʧp  8[5 _OA?tШ,Rd</[XrX<mO{юcR~! F@ Tal+>fZGkptm/79Ecb<2Zk%h'5ru-y[NhRi9NQŬ)?ͮH7khVT&"T-_LX_0252PTG(TVuj)C|~ǁhZ-(zΧ]wcȝ]Gpϛ T(6i<9C]4tOJvJLtԌ gOa6DeߋZ1 igHз QH$K]`?ڢ;IfWo]&gH.WBZAѸi\H)KA p)q!xFoG+ F [za gb\ l&Q"H/b$"D֡ˉ2gwG \U. @^fAV6Gbze0#p-Dh>(i_{]ב=d ]~fN1E Xf; Akyq)lôZ} p.%|^M6΀zS\]gDAqpC3z;dRmň7\k:9MmENbVLP\2=å\Efh`(_|šs)w݌[lxkɨXi\ityҾb#EjIx dYiȓQKgpÐ\bs*ݍhdנ@ށҢ`aH7ybl~-2OA? 'G]jl}"xGM]O\b}vmֻꏻNTYW؏^%bLC՚Hf6\z E׏ tY?Pnzn'FW[1N^>&ɒ3g)Ԓ) 3`EFp֞2j PѓA N]˫߈x N v0?ҜYP'\OBb~g$E#fZ?ˋhɞU]oXE eQ=3-U喦 iG`+&CR[yIW[c 6|UEs|7ϫiY~׾C^iʾ!:<áqo.N{|\k])$XZW5 ֥y :)"= 3ϩRTCu> J;H~&GjFԭr l+;%s Ư3b)E8)i6zFI?٢-ux鿦9 V9tSDBHJnxvwXC={pVtqbK+xʺ)PP(̄ܝ{Iw6c:g4ǩ?J).h)v*3@6T9Vt"([} 6b Agf|j2Iի'tS-r$1RLdFmڞ#=|H7zv;,Vʚl Mk$,/H4E2aOhO_n+}](\y!Twa 7i|ȿivcJxz3uvS DP02k x/it} CƷC>GSlF{ «fS.ۅ#Q1W"ٴ1jWq w+@QEh4ˍ!ݳ^w.A+޿ C̡'eL/ ܉Z 2uڨIpݞ]1L`oq Op} .: 0\lxb<&m2'i}$o(_"W384IyRH0A. sdD™ThvohH#CF~o8uþ*~Q  '[r!֪qOsaQ~ؠAz#'Rq~ ,abn#ѪerYVVn^V4~tb^ecmfZZA1WoXX\nّ8% v2$Ƙ7-0{S(= V _|V_~%&U0q|e0͞`VBkҰ@us_)ԖBĂ;Gg`q]CGոq87bhDBn "|^n턄v`,ǸPpzQJܜd-)MHR)4@P'^}Wut/Y0HnzC!4)V1#:Sv̟WV-Р8G3_?}  :y!S3W UdXoיJv^LV̠xqRs{!Dq;!TlkFb..D> f˜uk2WtB6"S瘞֖$ן&`aR{k0 B0(y{nArB/x gn]_T6Wivjq27S"_N$SZ'Op0zٳ<4δXrgPi|?%1 >w@ƒPtT4K2QD ~DBx<*tp9 N0&͂<"& QΪ3+:"Ռ*(x7]nBv*h)N,=!Ywhs{<(1KlHhF4E3 H,O7Rqie ''ʚݧL`FzU~FV+j^%3V #~cf }a d`:ptT1Xo;+@W'iS Ѵ;lㅘej |wv/%*0{hhu t$v˶DŽwVW-PW\qd 5Ji5#6.A_;sP7K"ʨLѓ=gd_ .w09w[2~SR .cpol @ 1)9#tzYHZ$˷~ºmbOkeOv&:?R:KQYJ~t<.ꚡpap+KIuZ4ji\Dv^>U?IׁJmZOdp@ImY) 휵wHb-_ #x8s34kٵL:xe}J: 6rQh.. e۵Gd3l~j|#T=1NUɖz㧬o7ZbXC=j^P4tS۵+޲rR"bqp,Qbk)4a:(^MJe쮰8b\aWws־!/j4o`D¶PJĖM@R$IOd)$KBc%fsX;U[~wiZ/vzHjiꞵ`R?k,}iJ" b SKBL8 h>!fA`Ϙ{PCFz4=~;E~-S}nAXp /j+- ]DWWr\]D:b`MO{^ UYtvo]]fֽvC8攘[,wXLw\DOA? z(@՛>s],;S >uHhJ39bWNjN& ߵdPu{cVdwj_ \mx[>SzA(bjǁ66ZOZXr-c WKO`=x~=k? LF< %؆ $L)mfMn?wr>yj7i[cvf+Mˮ!t0;̯(|#ia^/R^TnbWZ62nk9)E0= wYoyY-Ym54Byo9.atA[V[z:K*O/U=sĻ<ȍ4Xk'-d``X[FFBx'+>7/ ?oۍ1 bМD4{`4䏟 zt:  sٱMS7gDX$hziy uޅ֗ڝƚkqT1ʭT ?pJ_$*u,i W/؀Po0F@&0,Y4!V)]+v{:4atҁ0lu7bp&BN֧"[`fyE,(! cli!綫 djƅ ,0MWu:17? Y|ڋuʇh0åeך#0tWCфz9,*y6fˍ~A{v#@Rc怭o(T*Pp %`;'04:N pf=La# T [)?݇/n_/BkߛuUF|F59 (- t 64𹿱c0r`سM 1&M4>h_myjjficLh(g|E"hi ~ټ U~7Ցzen_4'4ȝ?bp}p:p٭SM3gkPk9])9ei)$ qMi*욻.N5۰U iś۠>cW~ն}#;H€&;F-x̟왌,iyĴ,^`B]0M hbUn8HW#MB a (e*`.Q!U#X eMr͒玔n{ @yEd8!e#Y>ѫN߾2io"A+j#sފSal*|}L;-X ZeYr4R~0%5rfIy=U&B]ZCSTphxਸolseG_BgK}_8b@lhNEP@)G9Cg )7:a3ŒH%a&K"_Q`Xma5xЉIg/,Qq B| > o,3KnIJQT5B{Hw1P xcjY'$F(|t9sHz#2%^˂#z? ʓ@ayzsvy恀G kkBBĔR7=K%σOu`t f0Ds>BޝXCbD r q;v-L4LSipy;` SAAMRx)gJUg9/p&uJ>@*&g}{ZӺa4]2M_^Ӧ 2NZtG.1Z7M$?> !K5J+皼7,Nv6%_@saķz=P>ęae!yp^q",RY/C-ұn *t xasnj\mP(^ TꁓhfqaMX f1K@ȳ1F7uTzb|x˥nC6.g Ql(7wb?ZfSm5Pz5s4.=&{ ;0ocGw"cjsA7\W9t0Bg'k%simqvf,?-1t;|+9Cn䐟Dg?=$>_^ {ӾTMGBA¸m>Ã%cCgSkq@!q5zQxQj(8^m}t<<Р駶4\:EJH컠6ݴ#mOlEQ8ge>%/9HCl2\?wyydD =W/ 蒑n;E$v(8_)*-MG|.Ojϧ\nR,# !뵷j,( }zB̯N AJD%kwxf{w1AjAwuIgL:ʼbz\yj;'as+1a`괨!(ӫ%(G|nqk:pVfOL'5G3}Ҫ"4Q5F^XSJ6Pqe:i(xň񃁺Ԗͼ)Ffiuɯ࠭螥<1ɣ@z'Ь״/#̝|&"N[MlrD81À1 y:yaŪ ۡ±X{}EG$&Y]1NRrd7{ƟBy-&-o!Ї՜Wc޸Y1T98S/=p}Eb!dvHjM#={S KB]@{xUJYd[ыiH ;FѯS`Ѐ@PBIK!oM2)ri jXs1HW#o$49ث:J>j-2 FzDnL?ƈAS7>vJ#ZfQv@)ޑvO^ro .+dóٸ/֔4uv#h5&]"͚Yxə?'s;1vM3l\0}5uw˚xjncE3>2r}ᢿ3bw|10x'>X1Ap"ASyl-ke D[Kp]qԽ0,fSkfp$i#gy,7.DGˣ~^ WwBD#D<%ْƖLZCCKe& J}fA" X0%;4<mG|.\Nv"b6jzx/]["V;{,[ Y_ߓ9ྎ\u*].aP{]KuȢY ߻HZ(2bp$L" ҩ ^ƝLC|_ZA!,@N4gYG%/:pU6NskTqg~oST> #3dUߴ NEL͠fjԃi7D&^$ς^<{vG$^,1)ս;4HY`fҠ1LU蓘1YVz'kDXTOfzX6֭GVpG-dcsM_>%'2MR]<-Jq?O =wQ`Vv *bM%*$xpEn\7\%LY:C)3 cuhyXI*x46'`q<lݣ}oeJy%#bYs*n$k}t4Am^tּּ܋'ǐ]sN9(>Zlbᚆ2н[}w-qf3ˣx,X)O2h号$ X8\#Sg].Egz%s, mKȗtN&$^W$ާOQ?rsxHmMSkyՊ3JCS'*X_bß95ND0t8͟(&xh MfW`y}@'d2zd> ZL*2 -4VF9{]OwBEj{z 1͹ZW1`NVo`v ȟy޿EHoP-?l*ar562P[Ԅ0/}xl=,\zLo6A 8gkYس)*:TtD9;/|`_mHmvcWwklRB7 F+R*  5,v@V C-c/P ¾ }",99jR$ M3?!|_Js>}@Xz(O~1ہ"l㊏+Ry\M2L4eG†@S4X뜸Fڶg81Xh:_TTF} 9}EK5w_Iw_qj_HB$t3q$^6qHW`@<ni T>`ܔҶ3R!wT v:wl >bU-T4;'ޑD ֆv!]Ǯ>R{Ioȩ]Ge)(Lsy:jdƯ&Kր\' ]t g(XIeu}LتF:EOOv"gN3{#0y]&8cqc{BS Myh.U[8=G*jzD~{Goi]96yJ<˄M/oɑ룢۪{/Z[?#.ۓL O+ɄHqgkE_<k!`PqC=LʰGOעҰͶw^7~]r\Ukqs=?XsJ~~wɱK ?w@*mRlǤU`EUc8$1<̤Z7I=>$F9LB Fi&#[v-.s-H4Hܝu@\rIB}ib >;*`㦕#u+cΓ]65puÛfڣV]W>#N'H s!CMt#h>_3Lp>dj`e N!|6TbƵ"Δe!T4tZ;8Ձbqv.$vVT)ìsGJ(m@ϸ=0s- {n`˓:T=3SW32tX A>]5XqMy;bόOE݂k,[6f8p̵M2+D{A7B#MU+V ½<66 +k*KfJdRYҗ geVXNBJojQdw% r Ze&#>vTCn ulz/l.~GSjynPy4I, ,>9"r 9I#}Ze{</{kIԅ?[px #EnaL3cQ蝑"y4ڋ-tGA3! 1{Զu*=%T6Ϯ+MظYL8 ؋=raXOl8 (mv Pk>~@#SUK uEb/ߞRo0rh߬?+{N9ӓ+Z\cF.F(ȹqu 'O[N8Y-Om] j]"PXGIH0)}L})w+q*!Bfၩlu,y'Q+:P҅C*zu[ qݡ6w< C;6D1-W'H "ajcdM% {-SH)rfG%9݃rdKC3iTE,-U^nNSɄ<.STMqe8!f-wF-Cn![ Ό"pw59>Rv '':%&fU?@7{ -,Mmau<񓶪i]c0*E͂xS2Kͱ9@OEX% YE,d,3ɛ,1a< ηM/ܰ\09<]5Ne䇪IB !?Ҵ;"~g\6eGzd4xBmd>-vzǨ$"kD]7qM Ln+N:( J+ώdV&[7*yxa'}kr$R><spмA׹=Yr:?Sķ >H{z+TcfcQ(-u=1"0tud"@΢,qgG:z"tkI+Yi - t jk.|aˈA`w;3#ª73|chr&զNRUߎk} r_$٣-(~N97x+*6i49?Q!D!t/pjcUeC j,lCƮ14+nppTabM{!J('zǷ,EùuTithڣ4w%dY)Vڑ'Lm,?Eꯣ)&UK`0Eyq7#l)nT18xVǤwЮZ!,Zz6t̴ZՑ3!b|-7Ŝ0+kbe-L8mHcz)蛗:* au<EXX_lę:pvE'S"ml?Ĝ|`ޥLũU*Ļv8uFyWXrhi^Zc#Ҽ`Ӣ ZGӁ Op7rmABT@F{js~/x#]DȽ]l-$?*N(gh$P뤒>cErmA=-}rTJͦf_W ؗYT"m 髟/m\UzOy#D ={DԀl .íE( 05KffZd1 97aWoxc`D=/A֩ݕ:.ҩvD1GO1R G;],Xs~´$x˵d.f4Y9:i:Ǭa4)kwēIXUR8o<.237= !WwټC7gp*{t[uaU|])j';fz+7:C Kqw t:"ϭi-^KnrU3 Y_lF|Lbu"pqD1UTb('D[8q .&/S2]F\<!7e-2JX*@ s =DC\ɥ=FltS2Ε85ªKe ݻbl,]p RQ:Ađdf.Uh|ŚO C1"#@wu\&&q]|5[A9![VD11rofzGPAb\-]o>3&:-cS|E,0\KIč(3{L4qS95 x׳Jl|޳URv),xuO3or+ouRFd$ggn5Aq~ps1(y{@v; \6f>e3a簇V֒RӪ`Mr\<9)JIO 6h 7i#2qύWX76t%>RiS U bK]G H(n*"ز` UaL#ȡT1X@V`y'&L{2AJ̄d.G͝!Wkߙ<@@8,%sAM Xw;":zQٺM>W Y^S~mF[`fŚaإ{crQ^Zm3N|7x?U4lbwn W~Y4>~"Wwwoxo< ^4g+wRliݡ^?3yeQ,m=&lr2jt;aU>YU *M,( x6cQb[v= v2pzd PA:DK$5 ;MxkŝW11&_Fh:w2oʿ'O.oFA:0_ . =Pc[26 &t98uiZjO a E1௫VdS21Id 8^{T R]I 03S,ZivP.ЂRݢߎwS皷AtU?U&ũzjh"E 2+POIT'?嵐$H&\"9 DNE|Wֲͤ)uR  ?u b @Z՝ CG y3["jõ#'ym YPqz:#{t(5wiR0UMl8}Icd܋0bX9f{:+o b!M] 23k'xXIB qsi:ŒQwa U26>J 3ep$6?)Yڽ_}˄(C]LJJɃӴi939ۄ%+Sm}NUy4L]>cS䌵$c; Jx|t6皲ZCf6QBJ[0zRDumc+^!,99̱^D3wBS4 ,s?z>*<h-Hi6ga z@+A |zVabΒ_A/4;>C@S5n[0a^! ?UKC\Q6:;{xx,'Lu\pXe^Dvِ6cM;sNz#n$-?u0Q[D'0;3HD$_yNabW7ϱ?ANOf1Ug&<8dOQ}M3:EjDO y){G) ~J :YeOEMFw|S&vmG{Z޾l,`__ 6I088)Y!ZHМetw7[ނ7XXt P4{k'Ә6gRBq}%`}iH DnYj/(ʏv!n=iEH+Fn?9"ym<?XѰiJaj{-4{- oUZncdC| cW*${hD6I?*Q)dݯЉ&HOxpDM.POA.BgIRu.bAg}O=QN@Nf|+d~ʉ jv[somo]czTauG6%l}+UMx׊EkZDo6 ffg㟬L{/u 6#NFc%?,#g%/u!u34b?[q(,gn&zSŔMwj:CD|T'gyUU=Zz,;:Ol]tZ= ) &f]OeV[ys~VQZ٧ mil`Vߝ؉T[D>v)~?%W6=ԙlzt*bdI&sXX.BlN~䔖Hv}T]GĶVZ#Ƹ]jܵF z$s!3Dn/ MZ,'lj9_rl~mC h+_T@HWEX:7m}Bp8~Fs]=\6PѓIIQ,4ZᥡiDREL<|F|׹P:|_Pdt ] FroԇE6GᲢYLyI@U]ssm͞q=_dPhL|ذ>~gG}co+^ w+O@mYQ^; QjʇCu_q~HnT]/T)۩aO؃]M eƬ9؍ASV *4P `v'T-EAWBOL6L~l:KGOl@X{BgϠj|H4)2ɫ6{w߬w!/& @ ^}[!w}91:,U1܏~xȅpӰ* 1Պ7?%%xFX|Mbv dECoE DEKE!`{cP,A^§UF3ݬ؟);D2d]8C4W6\(OVq4:sf4o˩G2x2>0M.tI[Sez duV)'Mr9~?ސ/ҋW'ʿߌ -49$b&NhX{ #'3 {&T{jgc$|qAaҙZ5A R_=k<`!m,+Psh`&j:r80מolr㕇}1fl!tAW1#̺Ez̸k|FF qepplj%u m 3cI٣4_oJ 1Xd6z*r,y.e> XwQ<¬q!RIm!WJ'Lb^1.o 3}rqg~mN{N{ o 2nA3 j(y;{JD2j*A,L0V^Ҽ/ x9Z#S4fSfI4&¹VXFpL桗 \Db^43צp-*+v1 ۽Q mQ(E7MgƛŊW:BDlnDF,A>*?_g3I̳@CIZ~8!@R}af-b6@.xvSI] t]Bd)c\=5 X4dhw;-#mV@aXwȶa^P[H`~fOc=) {z@HTt&P<&*̖zW`,d ]}~O~Y6P|ۏqwN"d(ޠ<|IEz`8?mmWy8̊"#%zŀ;:q=bME,2ŔӶ=eE*Q#h.ĝIt#ﮟ|j0cuUaPՖD(/]/7vǀ0+0 0[;jm@q4s0IH5M)(iHL}Peo6~Z"v?qei p Gywwq[q+Fb #$aS]cE{\v[ eW,:.G^rO:"vEà}^,fA$UOb3-/Aoω(0 sHcjMc&CVp}&$yKE;pцඣ:Xw[t7DQ8;D'7*G,h})xtDF[gTmKWt Si4is!45EZ-dÒ&/ vb- )P%԰q͘bzƻ$ό԰!9k1~?LYڇCjMhMRa3F .Y3&[G6-wF,+WBA-mX =[]֦!M(4s /oWrͬ1y! 񑱉n ̘'O=ZHn}KcjһowIz۹0/&FB] @貲wĄGH ;reީ·@y7 }Cp {pP0ۡ-y`d*(sΦcp4`LOOb.E29~٫i".uױC6QȮXS \؝ݩ[a<ڋPAji_gގH4/g_8WJr-7q"۲CUZ 5ѽk}VoĤ(nWxs.InmBԏ`4"[6SOLUIg?Yy1^(e$g`#N+8VtħeD3+;P9X=eơFAR)%W4uFq:AUh_:$͎<X?j10֋v&p|#}s򠎊 L޹8QNԢ'??<"u X2JI5Wob _k~A6O_:OEާxTeo`gMrGAsG zX茙-nrN1;q4i"B/\M^ Y3+!9hl6] ~Kpyl~&{t"A6{z-.udTZcW\IrN./{Dg75aDZ5M`8y*8Y0m?_hzmI7Y 9Y^&HD5ԴKB튅f&4tP(qEHfp7'<*~<.Iހ)j+][mna&z6l֛=FjhkQ 90:xXױ#;px |r՛Rjd߾FqnY8 *Usm-&Q6B!HԞzNuDyA_sq9ޣF>zd.n%.ꐇa[JKze'.0L:Y;%9qѨmxD7) CƉ0eBZRiZļ}fd>b _Gk\bUTzIcn@aN>h1[+́F qhĉvC )Tv[CXl%R_~C)5D~g/L‎l(N%n$]d%:L'h^ڷL+;u"ݐl:QR,`{L9g_$dUkn_]⮼gRxEVT>ÌXFm+bPYt/v?eb3̚yX3ȉOU6Rux|G;M!rkD"}ဿ.?^zR ̰sWL2QƜAB:<[ hy(n+ER%zP0,}3Po̰js!ctyLT{72 zZu78D@d7%SJ VW-ws@UNՑo_\EtMGI?f,:uc[ taybGco3;`Ər^F8٥<uLSx[ea,ʥk~9g #WnK] _Q%8/xU?'8PU/`VC옇 Vl[`jDjmXN֗Ƶ0*ϸzySȇwnpʹ~QLt4c^u#x.yPV-^ Tx9iP{/o"0(ozPpq B24kk~GBˁ̽%U" J E^Mb,2J0*2ڷ]rE.`ިk_ 섣FE%ɾk+r!1c|JR'^UBMMm e!*,@"פ=VMZ}b~GULCGY7jˏ3yPB/`)Ot it " ~d:3iiq>hHh{'^0h~я}vQۍDܾ̈́¬V+M kgmש18l(;K6O(' ޭ_]lH/\/ukۊE5QBCWxs bVmH|vi 8AOt>yOX=P-{ķiq$)R78Jf.R>ͣOz A"Fo;fNE5Ъ:A@p"ǞrC-gA,t 4oR4Ҥc < (6-@GPwM ZQ;FgŶl\DтA"2)Hޕ#Ԇ' vq?TÍM' hq=i!,JGHOVl4gxHX.> 7"\ Ls`!Zհ͎~ T@: vv"tjpգBu16,OOznlB615' C^\l3v:[JjGwc[%P(ib[P@3W T۬?vuT=P褹)~t+f6 aioR|bn9ϗ #/d(C_*)4ebӹkة?Q}o6@hi} 8@[g= $I QLaI.ǯ(#eڢϴ$wP 9~SہST 8C#"w:D 1}S ߝ\r)O%ɷi˾VE86БV|Bug95IAba_M,H:+T$Ird  ֡*  :i\"5 t"`N3U ǭF"//M.WF'("|# Y(wѦ]tWnVnq>WnappwZF/y9\ [Ѐ .P,%̹Y?T^!D?s(zF%vW~&ā$uξmQH7^݋yp7&Ɍ\RQҼyPmAhbpjj$~%_׿WQ?`b^˓6W0Vg9O`uY!cQԇi36ẽ%\'t°'XZfPQ*CF&9vT껗>8;N催+ܰ* 8晻"[ ^ =pa!#|bJrT MxFa>rTod9jP\j9߽| A2ILa:gřўŘcD ͧJ 6@WJM|sZ8,}O$>1_(O)irЧt܁eu9a-X}<h5<яhW+.~)|l<2 I7X,<ړvx-@q^]%IQ>7?C6ԁS}"f6"e~ =V:]pvI6FQgsc̠KMNj7$XeCCOA3̽cl}ŏNoSa"J({ ^<}}v(0@׮\_Lb Άobp&U1h\p+!$ۼ1EJ_:QƵ.Qȓx.b,UЌ/` hC:Xqa?SCU2dg٥;¸`uݺ.Ka4^l9"1r{TN2LbJ PHfN>Ϻ[u-+d1츶O4 >PdZ _Gֺ'EۗJ9vm!`ƀ&(rbڈRd~S%9}$*[< w=Oԙ6%w\]FzmQ4gy pzj]V 97@F]G[̍/K E@􎺠K^u[د!K ~Bx\'4^8Oi6^XRab׹&ϵtwQe*QVz/)8cN%kPOL6Dl'+;po|D.vc#E>r.ϤTT J30?.g}e+z }7gJlYW0OnM5X#HM&CZz]#}8$8Z$!!H:TÞR]6hN "ژ-$aon2G-92oxgJdʀ3+qZB &Bh9[k 23eQ3zRjl]j<Ɉ+piO$֟!rf J[sm(cKbQCN)|ŐU՜y0eז:.#Ap2_J+ BK$Ї̌_@(0Fg4?kij윘_672»V~lPPȘVazt6u^@ XUXnvMg3rѢݻNm${6x-a*S` Q]Z$%N ˚3B$[Ov-B ). H|2œDU;e^i!ٿ J326K ::;|S'b|d8.xʨXՠ僃"ttM]S謭66Ժf4oCo;aX#B$:`yh4AJʪ8 wkA BTd+>tՊ T0 ,dչiԦNKH3?}[Qw@I sf׾x7ɲf&}|k_p 1P`r|,/&u O]|؞Ю/aSՑ$-kҊ=O<)4GgVyz\%.7"./̼5H32ֿ.Q$LL7AŮ?zJ 8Y)e=LY3M=Ų΁ǰj9d֚E?!Q@I顦PN *ѾEw1O:bؙ3L8ĖjfВKkq1{6S*-o4i6Y9nx agfO6  J^#,424[^QQG]xu͖jEe( QضG(HT=@![F:5V12`24D뚹 >:jՇD\fЄ8yf׀л@./ޘBo\߯x< uqHŊ/VKsi$%a ƣƟjz6~w hU9QNmʜojO]ϡ dYWei1&.GխN(u߿m8!@xzEmņ?,8fmǒW׾7wJtKa%񟃝6!Q!T2("S'} 孔I Å YiH`ߢ .XL%6e _or4t4ؒ\9DbaGV As\&Xnn8L:mbpt9ꑏw-2z ?CLeS82Q=~{PQRٮDIDiA,n$8Nf{7M\Y:ZõsbT1Wo)D~ ) 㸀6 ,^ ( W[BQƠcN/Fb02OiIO4""+ %sNbf! ׈abd Iv9hͱDa!.)]csGQs:{vWX֍ 5TIJi;# `4μP 8=*/XRy #%H *J nP#$ރ 7|mGY_M  nVjىN=d 6{6xPݷQXŢIЎQ-ngE(y:ͳV Ks3RL>lŘ+&;Ӥ:q<)óe%]/&*$EOKV—3/qrkILA`ح!pɕ-7hPT!Q_ގLlUDam%Ybާoiw O": E:1J=Ljk,jtqzÅk'`NT3wb6^mUl9W&JP埄 ϭJ7z"I ?_#41≼?Z6owT} XtF.OA<`#7w78cID6u^¶\&BAe1=鍡M۵wqH׉p;RNvln[<ϖy 3K" P{xڃ^Blia9E4gSJg /`H$ -%x3< Q hmN iѝKxg@!8f6y=_/t>^zտ|5a>\Öv8.waصiX%h cIx ԭ2?j1a~L/O۹G,Diap5r6M>qt($&*=g@qFڎ{@S?QUiYVؖ?.7G5Gݭ{Ɂ(ۥ3M*読"4u)qx:[Nioۜǧm}D#q G -kz&NVe^mem7m7.-ӵ=z3OV g CL %}@O"K[cp*lfjPw:n+9d#7xv.xN HrfzS'~\'5_h\,0퍨`GU;{M#"m2" tlAWt'$6|H<{ETy ]o? X9BT*>a{Ybj-=1*J ޗܲt<{lt*_9Mp l O^G1cuΙ=Jgc6Bv V g0S$ z1HƜ7)9dSDiFxHďhD;; u /O ]]/׼u8p`T ap:Fdk`py AHv˯5+O\b#BҥEyF6ϙNyrª38W U{Z6:>@&ЅsUL㪒H<|b,Q?m_40:{WZ36/Q8ֻq3>l>V } qFi@>~T)!OldqLNi] cNK x4FtH c䡶W.PmC#ޖ>C bÔLOl PB'Y vܼii!ic*gR'kbPf{#.\R9 ϫ}^ IT v!CWȦ'g\JOm.G_3Alm{Ս3[8"k%915⧣J["a0l ̭jD |HU,{%dz)7s*RC%NHA %7Z~VT*i_l8p.O_T5= 1CgWH2\={ W!i)7=P0j\_p{^o=`Kt"ruٳZShpo +17wHF/SKbf Fk8M!HF[/RfLƾ?>x)'~ܗSp:'?Oo &=u214bw1#tBv!qp9=yW W:ja*Jl1yi27;]R>5/M5Ӑf.U"3pо!іFokX`={ip1-8ں-5l0]Q72Jg}f,uR`'{$-gl6/"\Ke*BzlX"oI6x\ˍqW<ʠ n:%2Fa'~:I~m8⎭]jNnSUy1PMq{W{y~*~BpW z\•uq$M?7]r,G:)<>3ߎkpTY~xΦO1x7te-΀aAll{e:1LRO&fgxvw:8$`-D2*©hqc_pd]iVQjx'zo*]O۠ ͶU-*GwY] f3'*W7Ei-) pp\pX1@*N:c zJa $i[A5HHYk̴<Iޝw1\%d>j>!bN χ7R-CLG:³D 1[ qhր)/٥DŖs[gZϥG;J-HzG|P?4jEb[}(?Sbl*5.\؜hѐE"QLd8dT x ɺ|IgRPy߈ s4 C!o81K5_M:KNq7Iρr0W:4k{'>+=<+G5@%DLy_+^[@\yȟc 1ƁvHmgryă pM0tٜ:I"|foؽֳx7IHAmLjuwpxoipvU H657}̑AOw#KexSނC2lirW{^?~>_0*$ "'0&Zѧyz+lH}DžNuIY}naʿ`Fu>,$PvvA17kz~76; ɫ$QV?tW/zJҒ+1,n&z:; b’ޭ\F:c-Tމn9qe'"weĸ3Ia"4isM+Mq?JHcJ4eJD52b@_!'G x# -C߭У|~8h}J%Y%)=M!(geaMggH ǻ@o/Hzk7K}+QZ_u{2s A{S% lKyaߩVv_a0` "c|U J2^; i[4`~HYucs?IצF3fIP̓蹌Ѹ@ U k4 u`|)Dӡbݑ߽in8hba_WRDm2%|٤ȭR%PRauY)>V2l %wfb.>g1I 5Xk:Qahxޫx7d)n+b'{rXu:s강x<HCnRŞuY9 W Ԭ}aJa"f#F%V.cKJ5}u*Z[||^Fs@U{ci6uL/K0]VeFge^ 9:I? mL!=(ypJZ+[`CWn)"/ e]tfI pOr>{A:"l_vso`& "M`1)j"iRd\?3}-uPk1B0 $4.[ {ḣ֤g `W_qUd=F O^f%ѢH>!f3rl\`z>Gא(TFl?M'9z]&ƎPo'p]K0PZ~ֹzi7$R:m ^ly#eD|s6ˏ{1e/ B2Uz:8\}ƯFlBa8 SiI~ wsK[7q?F0L,7'&Ḍb{HĒfhmmħHq$sCq ୖua؉Fc̅S9K'mF59zmAʸ TUDגC~`ulmH;T=#~džcjC.׹u^ER,x-n]<-K;e3Cܡ:c:-mA~BUӇM5VB v/l#]do,k51B/tL,KёKYr}N\@BFl~Z,a*G ӵ ^zPv0PsS$hûY+EhhU)jJ48R>a ~TD`>雋`[n( < vd | zKȗi<혇]+;E#b_C!R#:˸ZxuW)JڪEsX/$#<6Xcljm}J\nD{nx+sٓEҚs47fX<5V(Nf8 31#9h\fe E2l% K`q(]5dVwvJc 6-w:bפXO wJ'D*uS=b =ڋu31aˏAC>tw&6g,%I`A۲K/غqؚq?ˍ"-:HԱ;[BNJOl/Wr4"X gYZ  Y YgC5% TPropositional_Proof_SystemsHOL-Library.Multisetdocument.tex7zXZִF! .]A-MՋhvG"uIBm5h\~"EY$ Sht)KߏEh]Ι>2T pY*X+3 {k3a]͗RR9Yk.rҵe4fGwؚsi蚊 c^{+w'&৏#71k?"^b/;7QU QF#%YςT皏,;/ʲ?fj8??~`9Ĩpg+CRK]'*I6#.=5Yb/%nq cr~OdVUc'ZȰŅ~t? pX[-˲DY=xp^䱿4a-HZW2!/l¹%s~)p"174LW*Zua2/3It[2 _¿GOAJCJtZ{NC(E(~ٓkБҸxKkl9DGi959Y`dm']fUХ7E,Meֲ| _D$7^́,WDҧW@-R*Rv N`3 ʵb1/towgNȄ1S`}`E H, I*^"/ 4SZ[2!{"wLm8"q2-ـdN/c-8 2huw&:Ez>KEw qrWwnYbܟ Th?H=cQӕc= ~8L^ړS_̚Կ%nIUwP6FK[l~ 2KNn95gB%r a; V$pk#HQyB$5P>i]날gpBh} RyA:6jw C _Cd8'g3V!Sw1l1t'A=S--H[YLKSbUӼ٥\-`؇nl eW1DToM`^y|ǰ}gt^x<}Zd\cĦK.2j]V]]hDv&/?kߊKcb5L,܀v{DuK(Hvi? q1=uyG~dl5f+`&} |>k|\=|QjІL SGY¢Ч}`U\YniI_+С y ER .Y{le"Ck:G ] k!hvC^S(y̓J*˿(ua/PW9pN ~{;EI6 .6Cr\߈bŠWZexcG%SM\nL%t-\hfCn{zj JĈڇA'Rx]HN(/!v{k; h[ JF* lv-@x1! m5SFۏր$l3-E}{H.odn_ݰ,]>BvA̖h't%1!O)JF4 +z`4{ ke>lȏo+,@^4&EXlBzN\iu|25\$5'؛b3rE!7vBrȍD]n=+6fG[:Hmj`$`@ 7x^R3jCQ 0 !(y[9OOB2% Cf8>_TBJB2}i@7w"k)E'1j$vvD*ʞ7?=cA[HOE@0"\ ty>(%~`aр1'S )" u+cRߏ黼^yV GD-{YDе᛿.VxO1:RّCk*ʙՠ@h;Ƴ (`'\Q)Q*(;dx_8t|+N]vBV?nnmUinߠ\_g b\|@!&ͧZ#fh<>JU<Y;Tv7>(LsGRw3S*\. OFcSLbzA{ %ݏ|%N6/iֵL%f14HBW)k}1Tlך? u\Do;V jiiUgĈĩflY~X0Rى&V_AY; <䱾%C07,sCXE8hnF*zKIš[Pafƫ.UW:ukt=dI΍َCD5kѸav|gekMZA@uLBK^&tM|QtV6/K 6^{rs ?KrӼoDL#(O;OXMHno@J ֭R_>'lפA;F@mɳZ%ì-ha9Ywa~7ˆUb"H  }.+}_,~C+2̑•ETZ]@z- =}>ﳜxQM[E)_6R]eY^t)KH7Lq[^,]SӕF]V@N2ژqvA[p!}}{Y؃eoM_ݫ#V^2/O@آY7-. +1RTg6m/0 eRh?ŲZyqUbRDPR y m>Kؗo8O>2!OxXȖ;4zPyyV$ƕDj?Lr|2Щҙn(MܛcX_qAG^D>J l+ 7ts\bk>?By7e`yiS] 6Tdj^JAc<#,5T&NřN8K"9{ut kAA v!!'pM#); &> Jւa2hJ<>_g@=5`/`@%V~׿]9\N:3i*=vi[  cn)\E J&G91ek7УY^7صtW-܏ Ȩl:Mє밊Dk`>6K|&J>N?})ŋDgn[wk=o ~1m'% S=E#hG#xIobj0(О l{y}7yWcX> bN }h{-1eȨb π8MEUg,@豕ݢ@* ]gt!'clrnz l0rö TˬmxjDH @tZ'Ƨt a=.'SvǾ2<כּȃRVx⫰aI(,\ n_4J6* 6K όE`՞/K}iL@=wޫv@RKBK[t,;Ul Xe|D?AHTXKRHnlj u KP;܏oU KxUar^Xlb/1@v6\jqyGz|څlQ[h (lL4Ƌvh B ]7QȼgYZ 6 CU% TPropositional_Proof_SystemsPropositional_Proof_Systems.Formulasdocument.tex7zXZִF! ஬$]A-MՋhvG"uIBm5nMJҳ%IGÙB'W-g u(trFB)bIyL7"O| XӄfzW|TӁ#!G={ֲ˚VmVdӦyXF>׻Ӿ"MҘ4؆k Aq`EX݈N r%Y5.9JLp~i0^7LxhZmc 11 Y]R[ŵY{/=cm3Z&HDc Clt2_myhڡKWxƷ{Gh5uHdaui$Z~Qo*'ʼn\p_cY3tM1pI{nXhR6$6N]c]^3CfTSʩX@]Z6l0w2fondSsC{nc3ACG(7I6Fw?m 9hlpPׁaGIoII'@͹)9 8F&J C=% Propositional_Proof_SystemsHOL-Library.Old_Datatypedocument.tex7zXZִF! z ]A-MՋhvG"uIBm5ŀ9"*'d>huG\sO3Ӎ⪸}H7Qt2@I5 QH/^ŪjzwT9Ǟ aV>pFF|>@v YPkuƸD>A"@;#"/ꖨw:8>҇iW)Cçuh È pzJ۠2 =-\7# [S`ieNWtkt#Ve{4 eWG\nr| &nCGrb(o-v[-ъ׈?bӖ'ߓ"j{514qm|!}]JE\/>Ws8qc ڭ,Jx"~;]!"ʻo=Et9<1\o7Q;z Q\^UJ_m=f-)6g IsJn .#Al,,p=plAeN1S_: Q_m@5[+~`X/0G13޽qkdg &q9?&v\)DE[6{A JCُH,۶--@>Uf6)k[3诈kё(l q'\f"n͋¼XT86 MUȠM`v%pP KoT{e|gs~Og$D3d?1;L 78Uʅ Pl)c埂V hJPPJ:1%%-@qb|s 4fq,_[)Tk+ Sjå}D䫖!V)47s,)^{hNJ'P GWl_? ̲߫~v4RO~\[Z8O5 Xo}n"i4V#b qU!̖)HxAd)rJ=sHhcA翭y VVas%ee *)b"L&oq\cB3ouK 62^h}{DWb+EN^YHw>cژ7| FF. e`9eY)]6i&/^75<0r'N7$$ny1-z1#}ʹ T('t5J.'7Ms{7wp`Nw&>ezJXm/:7^TU8f"sRpYq j)5t1Gq'bD7[LRM Lj} >>>sC*_ُ#>+R~εz4M+[䏢J2~}!D'Ũ"GHND`)#t+hR?' 34ߗ\_ϚLg_X3}02`½.xZ["<^}wn_m/Iħߌ?y 9DGƝe ]%>,Jq{L JEuªiHx>+jcq_Wz)JFe.nf#q1) )B6 m]qn;fcK&T YDxCY=sFPRR8*fq)63:P}5>N,̰;qWa*gގ&Sj`!waR)3 Cr lZxүћ LP3@IӆRShŢnP- N{Y1sxTak{A|z/.RXMKc[+v"+.`f|1'r2F% rHGQ]Jup;&<ŚYBcTmJ&ji3˯TjŬ3/2>+zv Hm5;K‰6z4c5$$5ߠ' SϓԱ.u%Dnf.z^4"5)%'?njjfJJfÎ~/` A(Ptd7)[ {rk;&=*p:FۂMj[bt3l38et3#X}\9Nna[e伱İ"G8-ٶ}{]\c}yKn b} :!YrصpiS`oؾewZvs㓠T mٌ AT~ Z@FqB3 Oκ>Қ%9wc`72!Ia+Y1 BjԵxMy=~(bu?a ^fujNe,_R5' 9'V`VɄy}{x]grHLUP>eM8#PS//;$ɽaH.rm~)|s›Q<4M|L "?nsL c~6Fj,UIOo nt0q!Rrψv+p2cmwhi.0aNƔ|"*tDu@ `:t czO]aAMt $9FutfU5 S*s#bf7 ]߆Qz4%1etw] ހ\]Imw[5fvoC.(1> egÎ}]N)GDbN!0&E T7 OSBHͣV'!6(* T[VLr?r]|n6gfO'Bjv`Nz2U-H4aQ]D6H Mhm>>3jUklHaE,(+OAڃ3&<^챗O'~=mC%E=X9|Rg("һA M"| )v.NtEMuu>|D׃)yef)Fl`?p(]` &tY z ;ó:_SҪ NҶWtyN&ebR7t!%J~ .ޙir/\jgx-b+ #sU#eu#7ٸ{RA/I[@iB!)º8B[k['_N1#a#6^ly@2a!m:nr֧=3 WPD+Hm+ZwfEW! !(~l6( :L֚MTi`HJ{#n =E\ǝ4s8+>ξl"*/9RJxu!ePE U.Σ7 8a$k]z_Rqːz'~K %*EJԀ(a~|cr_SAfVT_+E'9bvA2ZφV&_߉FU^`q pZǏ^Qd'2P ʅLހ3A6$tgWm֠aLD8MEi'=;utMsJh.Aާ-r) 5W(Wʍxu@so+XNS捐GD qQwp;& {련t4m !Fͽ..$EXe,m\V;~pP>܃IJ  +<\0 wdtD7J:]p")^\E/޺]FO?T_QEn~ɸ).~jm2Ie嶼eC!Za~ٻc/~ tNSu}cHi_اB69ŝ'6}aaSxyqH $Fj@ mC4qfA1Q67!-/K_3-!E#KLIY}'2w7_(xl|)pe xs{-5G=:Od 3squ)aJB,zD!*t GZl=^;xGd/s94y~T0jE|jޝ4c& ?8ˁQA헢 Go^T&hz˭}phnZʑt95Krxӆj8$46 95F7hgBfot.Ra@|ee-UP֜?6XHZa NB^ BY tU~,YMS~9v$Y 7IY׸2JYKZ}͐d2ɩF&n,Ι5'ƿ!"d5в:^{ Ǧti"`(N}S4ح(=2_@,l@<\}I[U Q( B)>oL xF%关$r7seCnQ+( jq@Y iOGgN ~bǡSډ=huKLL ^o~yanx^0dE+[Iƫ|bGK=HsfJ"{!`7e=?|^ ^i't$FgYZ ;;B Cm% TPropositional_Proof_SystemsPropositional_Proof_Systems.HC_Compl_Consistencydocument.tex7zXZִF! ǡ$]A-MՋhvG"uIBm5F5zaLAG*)  * "&ƾqzԂTm\sŢaHcL?' J5 t&'=H9Ȋl0ktw` gwՕPU6{v#n!m̏s/sy_uQ-m0"*l:tü&z}N n,w6SQ뀂f +Phz}c YgCL/y  ޙFU*#rO-v)1 k`'B@ ~6߈%n"Bt *'ɾ?<$vr7ҾM H`?%Sp_.1N~tzeYS=dd!/v >Jn7.[28uRgn;fq.԰\@FbGH25¤=5kon!6V=^ٰt U䄺ꂅQ~J -ib umW'vuU`]RI<ކCҭYq[2 ȇ}fST?˥]II>œf v{nJ\"u?"8.WY2t ȁ#v8R'xpS̗Qe-u^츃gpy~SJM EJ_D,׫۾;Mxi,`ˤyKpoΙ88]74"3XBԵҢm4 gt9NhLqWA(%3}R/5 ؞lɨC`uIÐ `艚!1C)գG@3"f ^ f#-q9>͑EځR ߋ-ףk{ZOђGUW\4OYhu׊i#;,R3 8گN'x~+-/fQY=2>ź|IT3#1,#C4gY> FY O%9#}n#hRy"XyT{aܠ@=]{NS㘕/0<`xտmix-.:?O4b:wA\hY'}k[NMxP|KthVh-d/Wjg.[ ;də)Ŏ.9ᱽ'AwH\ IQF6DYJoJFE䥙n.uŵtɻ6dR4"Yy˘&_}lҔA" څF@%uRW6\8 BhqÍ[YA܍W4 \/,vMa AUE}@Moxu3*&޵A[ 8J_@3O|[ozdlWϖvvu`便Nz&kUq1??ŧ҄)TFqh-z%@) gnu5e0j[=u.JIcbƿ= O2zU|ʵlbY ;r\0UuI?W/,GBx jֶj\QuPa"=iR,,Z|Ȣu]xȽ<#u4k Ke`%ʥo(x(+ﺹU`([c;ڴݮaj`BXxT%øTu/X"߄[ !J &NqsA]'*w eQE\}Yq+=_y侵(&q1ÅO"Sx7VODžd"dYAtxokAr09>?JM9;_wY)I*Uh_V#[.=z|<Ϻ#2sawRtÅ K# .US})}*Γ~Ot[){5x}RX9-%('Ȯ Y"sڒӼkCH`NZ끧0V+n }Q;8~k/.ǭ'T|ӳ3e7L.X+闧fc{ry>\ÿFajS~O+e\DWvA C1çM6gfИ6A/I=o}dT8{&'Ә)㕜jC'[8m3Wkwh_ C|W $/,PVEyN" hrzcgK悖O޲2;zrswě$Sx<6{iaUv+#ߊeHHC4?B1#X&6M)Q A]|)3`%bz5}$9Ns畒js%Ǚ{[ "f;S0DMl]MPIZY 2o"]6텐a8z=K+gYZNF撽}yldfE6w7>27|ZK=u6i)B6d6`XH2kϨ =%xxTw@:<`KPX('b cibX-SqtX"wY ;|~FNo0a[5-Gs%Qʧ*PĈAdQnqxnޡMA m6gؗ=6MoP\XiBb;j1"Yn8%nLL_8+f\ْ)a),ꃒ2aAMk=F3|gGqGI?x'dC%K5kVe3w^%vdPԯՕS,%_x}#SDn31yڍ^2Tq&{;wgzԌrnVWQ瑅@؏> ,hzYBwF-閲1ۼw[GS=m : CBؗ__;6VӃ8A/Ok7MG-^!sP.s<1)*T)҈ZqCҖJDgרO\WW_LxU}FpeAl(P‡]Xp-: k!t/'Y:{/Խc#lZ%` :}ޫ㙳M eWv 97a[-ʅP8-<0{u +"[D&+R"N6 0+[)_f(ty >H"<HBᵻ -9;b3ڙJVcTa؄7o>9#JzD ߌ6=-[}<5̲Ϯq2Oo I*Vm<:0 H9+~E"g͊K2?9ŴAږɊlQ:G 2+Sc.k[-DZ:&N}_ jGM6|ɋ>iT.ԁ8o]By$+iʁ!>@xLhUνu-bItlGΉ'֥Uc֗)qND~")@)hv1 8S|RG.@.s\D%[JUq9W {U'˻Fޫ.lf *Gap6HslKCwKC 4bq2.%;jBݸ-[LarsPףU 2ZI\0$#qM&l`"' kɉq=ČHM5&uŃvgVЖ}G'FFENѧ9J(io k8 VVh~ ,=>X'pbsvd'Nދыl55žt1 qI݃{=&`bTqϿC\9׋潉90/QYXNRF<fp>DZ ;k?R!sQЉՈX"w&t4z- -,2 (|݂sEaSm&mԞAg# X_>BMJ- PbZ+Z rTk"d\9*x3~cHƅ~oW&[wzzd1jpm:6O;^ yw}FTQl50@#}4PhX{G[ꆃ /! u`-:$pD`6@7g9u:0Iz>+f`ĕ`lqPЙ#9Q,%&o+7|gb8pc^#S0)kŃv35G.ىeޤ&pE+ z63.) 2ƩWj ͒8::m(c4ò¨~ku/ݳp)'C|r"Bd6=>h`w_t'P3.cHh9ZcH32'HHGP5i?TIeߴ𔙉{ ˔ Xx4;|X=F.6^eWΊwad;¸BrӸ7弢kX:j)6?)F0~0)n<x/1:?!GI@d%dg: ;ӥ%sd𔧎/ZFԮbiK&}v?vӈ6+VTw'h9͞_ u(խP.FBNw Q;h^UJ.>Oٔ>W5|X j]2AoOsމF9,R)@O:niuDz)9!9}e+W7}Bg`k+K (,pD;@͟:#%,. L4C}_80n44-!55gSl| N0`;J!0| XX~;nM2>F* )i'7Cvm72 ò#1]ͻCUF5ݷ^T%Yฦ`B1&=yI67{qEz$]ڤ6μfE$RU sٞh~u] Gi`XT@Y6u?DwH?B|PND;i.P˔!o %ruЫ}/mE~SaTXq<@R,kC,80# om/SgC?']ΑD+zXܖ?JOJ~lOƻmCq?6^]me|wo9dp!?"T!Э-)&I^|d:]6ͲeLY#C*)oXҩK؇Y{bV'BAU(ce= w_Iy&*JW~D4ϊb},& H`ګ& zhD[*O4u5w}lH 9v<,kkB zJSX=2|$q6TĈTsj j䫺@q Y'@C_'5zƺ !_k?g^ٻ5.+㼱냙Q:Bg}) YD1QaGP4E é\#l[V H|хiJ,`Ǽ5o,PoE@0K8RBq%XֳgIPiw6|4G` iȻ p5>Ih t+l ߹XÚiaTciRDJ{#33:{jv{9;PweP/Oրx&!C랗z>-g|Czm602.HP,T%e/Q zj UnϯvhJ;GSA+ CI% |Propositional_Proof_SystemsPropositional_Proof_Systems.SCdocument.tex7zXZִF! ̠w]A-MՋhvG"uIBm5ȑy=D1b(6iPԝOG|JD>GnQO4X3!4$, _ύDŽ{dVb #D<̄{3{ R(JHCE ;r?~/uJ CI☽>X|)D)M48,!!_UpB%C{s]zElvܹe賴/ZwoRMv#9o#0~wp.Y*' C?% LPropositional_Proof_SystemsHOL-Library.Nat_Bijectiondocument.tex7zXZִF! )]A-MՋhvG"uIBm5ı^gi,f9WӰ )8I MU+hT lzk"fںN (~[tfS}ipS•Ҽh=!Jd;ǟ-ǢqEkZ }vl 8\:`;%`OP$mt+e} bw0B;X܈#hF/ YQoTYW,ۭnuɑ&1-9'[`9ԭPHksyFBGorǓ, 3#Tn4]WQ.2Wb.~/R ջew>G5^ FCRB$~1(,DkU )J{mud*zxF3"+.$~ `Ym*sKg0QBV{aytFp\~hب;.xZu](_aK<}!W6ЍBі$Hﺤ~% ?&tlo\fRLgu{Ho^<3EpT:mQf" W5W+h1a,{Ozw| nC5 WZr, !b+gZZy6pWY8ʣĵO(”G~.h1kEE0_ _l)әp#lFcx2ԢD@} Ɇ&:WZolP`d8 ]+l#VY^wuφq"03x>mn:)۶iVN\"Z]8etlc"{\!aQ53wG~Tl"}ϖbEB*ޡS !fc(Ͻ8cJyf0p}-Ø?nR  V&(xoM}s_Sctv4$"p= U#URB3#&k%WTs2pF-8!Gq{ŵ75bjLg+'V햶DHî`%"sO̸EBڟHi!ՀGs:sglPY.`_A#Wq#FÅo.L@Q \@F2:!*L>b1vD=&hʸ="}gemVa2ϱdМ[qtrIVBtC9qz(E#<p[4tL-zn;(W 5rouSڡafMʏ;#몉E+ dKm"&f$+#HU2ۆ ߶-` GydMQK{g|g5.AB};檵BD3w3G4zG]ɳuS|Q߽LK㱑!9ocY9NoOAkj]roЪ`~i?N:T%7!ҟhj$74soqBSi%t5=hqAlb ,@\m.]vH]pBa8lˆ;gNVd(X3 V+ZQXи~]5g:]Vޓ7jfRW]̇>QWZ(Rں}t<@ڽZ.kdReLTXz$ &|'Px >3@btN-poAj>Ƶo@ǕI֝!e嗎10Ap}pyGݫR5֓  |AaqnxB) Ȝ "ƷBCeԿl ]/fzhx m{1xS*{Ƹ5LPhKڗޕJnQ-rSNɛ:`Ueλ*f_>Ԭ0 he&x-7;?!#u] I)U 8PXr7d=m7T]> D$E#qE#F,w#]ΝcmrR'FHQRyfZ0 \+ *\f3g^ur}oȰK/cnSȶ np"Iw8oՋ@>y2ZY0C3pY@ hگƀ m86JGȋOkJ"g[uף?Jƒ>+ʴOalS ˜ymY!$D1o$v389fR'0sXaϹ~Br~[ѩ`TnduN >+1u@- >Rfm,^xεc鏿6 z 7F]db/`#SQr0S*Vf*xG!@$Y"%Z`Esak2ڽ'l !v{O@/v\[6y,$gWSu/D5}?e3|5WW_:*u)GrW9V'0g㐳( N|CAA2FdznQ"U μ5&ZQ gkD~#7!b~#x:KMvdrوpOM>=(ۺ 4NNߩAD.N^G萸;z n|+eAz .S+ [B@DG~u-2Xm^J}?OZCr`auTѴbVŦH"um.V'|1D[.p JU-_təUs'@l.5l±X'I_ \I=tɏĺ2\[RXXÑuz]ޑ n5O|[(jn^~>(C)SD o,]x3 qGC#2ϓ'̟h7 Y^x>p=Ϙ6>)ƛ iV`i `-,-AV'gDw_y4̵e(=8*6vF߬ % ;'w<9) ׶'GFPуi_n:eOzw@LK#9VC*RѡaB)wuTtgҢoޑK%vā /% Ь&:FF$d(he?8Uѣt%ZP>>hhUAqɜTS(1d+ SXh[DHKJ~Ѭ7c^Zd|p_glgѷF|3hq#.q#1.+տ~/ӏ3Zpb]u, k`VrX&e 4k"y>Ҥϳ:M3 X:@  IG`|"eO;@$,a˰8p Zؾz52V0T&@amTCY=[tnaGA\c9=It{ܜ(A~,g}hczG9h\0ڼ@i,R@jNHLb 9i3JRnmo4UZӓCf^r^Xϴ|ێ{NB[S"\ js{IM"#$On 96ȯ$DBEcTOg8 ~HͪNGL%j6m쑠vpeG csp$eRG,cC[/9n d1X2% 7:Ԕ$m &k=zZZۣ9//Ț_\a !;^yuAStmBae֩@JV!۔FXFP'#|W|zNufo%~m'{ɵ҉j#\wZls#fO͡[ƶR twjKi u5w1Yp 4ťO*E_=* _?8z<6f;]2 O}!"- X$(P>! %PؒH p Uc2ĤZmUC۩,E_΄:l~ q? T!X>gYZȫ<]Luvb?Ս0 )㳾[a# ^ FzV9RMUL J D+`hk&Mʗ|K~QY#. 5^pm.]O2+͈W`+BѲ!̜k Bw$ s ƻZFV BMW ʚlUO'c mO/KuAak液x?f(nn|,SXH1}s xLVpqWK\o~,] B57BSZ iM>KuDݒv.N Djci(14MrN@J|4gl]aw@ eDd#1g%~'bC a TKpӍ7>qyfIkÁzOns V  'NW޺HV918{#1 r'\=DSkSu͖Lᾬ'Db=gZW5"?ئaAMnzߡ2EǶ)AL z_,X_Ø :GD=~4ՇNۈbOQ: !yb-u4Ջg\cB- 둟[؄uc5jMnL/2e U/bKқ&G"?"kfmzT/yD(*ɝB/wD |KT*(ݗQ UF7|e%Gخ@6.TU9Tx1O#<{0^Iv1QG6np%~j5;^.߈J [=Q$ԯhqz?*&40(7~ IHPo!}M u> 8a !w16ug": xE.9H࡭ nqdᑬŻ~)d,}E ȓXg1&jObSU@k)7d ҋSfcH%g#y吀RI/6p54>\|+<#Saנlǯd ОsIF kّ7MQ")Lh(,!o '\1;~4pp^#Y%i;36ŒB0)) HzKq] 1^g3  pY󈘑,sk};58AI=E+[EKSqG#2Dn-W[:kn_ʑCOً"X,_P)M^P;8`H NZCQ.di9($(U{([%ϝpLztS1HFr(I+=$ $ O*!yK :&i nV&L MRTG;JU[p,' ZR{pϬBQ%ws#9ECX~} [WbxueTVi`ɲlN=yݯ\R(-dSW3ú緉]AkN1O20(3ڏp4ZD k@OoZ kiƘ!sː֫MSMJ, &4n(igiYS '?G8o4y0u[@VDmICLz\wd]>czrqW.Q1gb2,:Ǔv;ګ& O FQNQYhnTd4c5ci- Yi̸#;GUՊ:oˑDʂh֏ J?v𥔓B2@+7h3۵o 8pxg hKSIW22E4ly8W(_[. 'DT#nYZd>шso.mҏD.bȔE\G'MS|c~Jel6OU'Y"\xMp,6柼OBcKKajWqa@_[1ZN+:ꑀо veKb{}sVe)g!?`I'׌.s ԝ)+ׅ#pVb_s5`u I;Q Q 7v L=饗4i㺑M}g^GBs[|5\F =1=~Bf` n!XaJJ8qo<'uR9MbP1)*SqA#gHƍS`}v\!1⸩(@~4!(qYm{_stMpt}?2h1ˊ7fJF%KBbrJ e6*f x$2a|?F?te8}V{Qf"kuJSʳxnoo`e|sJiP*8 ưa,r5gU@\n$Dg2[ &O>˲m Lv˪A;`lq$#5oiddm:.N#A sb)2 jkȉyTx@4J"Y W1dZQW3 -tNݾzES o{9y:r<bp8LV/gG.Ho]ҕ 2ٸm 5@[k-ě dޔoÈo 9jxC+4Afn+^^IDjvK1&&w@܊F[uk㠃,tNhJѧƌni cѻySW(-$G@EdI[2;1P ӝdk#t=ƬLw2>bsKd=n 7͓,}&-kܤ#<(r-3O{@/eMgb  E 5lQGEnw9-eҹCvDS\g+[|MxxMftL}nٟLL*IbqnW/.^ICCdr-0 @dfφCaXהu.Ӵ8]Z7Q1oHYIXsBj\pv7ԄM%]8*艑'ۍl?^ 8+:C]$5D#9w\H'v,Ye pR͌@ԟ8$jY-,ājfԮuҽ Ɯ7$uD%^!Tp,kJZXNCNV]$C!Q~{*ڋUEœ*e!(Tn>OK/-PY̊;= +Q۱gYZ>fZVpsDCndHUJDG ܷ k8eXH6f`RGSLLSmЌ}V.'.; 𥀖1WG4=Qg%+ԡc!g=VajfΩ)e+c_{8\Hؒ z+3LE5h}53{Sx\+CB"l%_]X}'L2 ^64^:FN\mĸޙM\pEԌAs/زn=llZٹaPu!V]U[ v2~')Y/^Ow:iu1̾NrR~1@=jaw B@frg ׆9T`B ~q6MP@_yQ9ܥƢER:]X>|lVJ46P/0Z â- `+P݀,΂dzדۥ,Jx'rH+% C{uxڤ10^1[N0byI $'h9b:eb</3} "]S$'bj-yŃyQПN$Y%w7Ϻj؃Jpw?Tn鞰ĕ';q>81dh%lV%^cYBsb.Ui7ܞɏfu2iHzK w.Kr;MXa,;ޒpgԲ4qM_dK[qcxZN%tHЫ˞Kxg# a0[K8`uCQRYJ^ٮD 9,+=+2ڤ6Tѕ:(tLP̅KW_BLΗ3E J26q)S8FfTk#T xǯtPEpڕz]0X,45`$xf-rl0g$^8z`s w.ZnivVhȐX):x0 b+KtQ%6#մža+m-y((zw/4שet}'$g۳WdDj5u'Tǝ QFG/= gg>9j>:?7Uy"bRw:Ν)Q`6)P'.tKE>(c0iiGrXLH`WW" ڮ {'b vʔr (.̧/1gbuA}X kl/5} Vv2a>PM#,mrE%82is4&G~UTslS~z9h6S? 4Pm+zd5B&Y::ܱk62C I(뱬s!Wrz=Gۏ?{O:Elr7~עgC? ǃյf~@"Y߼tX%k8 k%,eı˜2dr X;H*ߢ[4dq_ZX2@aRtَlQ ݺlMSZ, `z dg ADSL%eϫˏ5$M9#ǃr+N^; n_YLs`]ȒON EQ:=_H<ا7 r0+Jt ݼi\!e1([Riy7 p<ӯ)$ <q`/'ihsZwjڢu:&n|!e +ը 7;ԃ!j-PZ}6S6vl(v)*b1GdmRDm0e!Qk7NوTfyPݟ}ԲK|Xt7{'V,n<A%&h7@=Sd g`Nvq;_eVz?T,Z& n΃iWvivn*%ќp'7Cȿ mr7OiifbUQWqtVgo!S `V*(qy4BS1w's:e0Dn~WY_=.WcuQ`{-bwEmDsa ݪ,BTv cnz]ɶJXebs.Ĩ8D%* RBbDkp~}]L9{tvv8'0pмja#3%'9[:d{)2bvqӝl˗08Yo+an (fܥil6KI ^7~?#⻸,sD~)&E!H\ԟ*Bɾnc'zd=GAtUу{t}֓A}Wy=\} D@8fQb|ˠMZ[gbV;`[-@s%^Q!{>^wu:9~^{o,ҡ6KYhK b2I h;.~HHgYZ YCS% lPropositional_Proof_SystemsPropositional_Proof_Systems.Tseytindocument.tex7zXZִF! ׸]A-MՋhvG"uIBm5ɲ"=USpGy+EOЊJEs%w{4 %R.쀲'56%6͠: o[Zԫw]J4,;7|s$b֨PjkjDE@eDzK`7II4?r !0+2Y8c GkpO/yWor\׻V?sG&@uw3S=6mjB$5[b/(n97sԬ0NγpN5bO)/Gw5w܏\ D[w;m9Z$Lk1>'-X W]z}lq'+DOi ךzaK![d 'ΑeM-Sq&FɟD|h@N PϺl)l$ `4!~bo5 jv$aźXAMTƙV!4v^zP6G$dbiԔ@zG3d2t߅X4'Kxұr]xG-^k/ }~AƊ*Ա)ҧMpdB[kxUiϠGd2rp)Eg. nN?UʣE_zz#N8@˔K/CK% ,Jx7|jۃ R3l<ѰG.S 2L;UQM}zJ%.8*bS[=$ Āy?"@] EmYG)5*Cde%$Ϸ-((¨L*6)o(|j«A720.509Mb h,݂$,%1xQ嚮3n6.U/tR,0\H-1X D:@'mM+.CY% Propositional_Proof_SystemsPropositional_Proof_Systems.Resolutiondocument.tex7zXZִF! ̆]A-MՋhvG"uIBm5+;[Z'!ԣ/4ȕވڐb\.𢐑uW(`PԒԪVmMM'\0A8Zw3yqHVRařh`ЅweR]~h|""qL‘xz{ۼ}a(uG:hI,$1g/Pl[)#'WAQ?L d5'k=ZvpМ_D1HzI+hܵz*&/=i]&>E"^DDż„XbteZPa$-:uF]/y+rmfкctjɵs~̽ NAnҋ0R 13`"qG7YܣXJۯTi+E˪Vu%D(FC;ٕJ#ie*_9jӲ >U!'I.]Udss={}LC:YOa`\DbE.-3,K48,V@[Ce/Y8CԄf.>0mTc^BYC*.X;\*MwY6D2X.C;*KAG o5oU^D+9MsJA{ '֒TR\ܥ>XL?jޖ6~%O)I3|'=7op L"qn1:4tqKʞO |H ʷ+O'|[},NG7QM5"e\R@ f1b4h/Gq@>PyaD[ Ǖlm,bH0bhԢ`x> =@ S۱~T8:;_A,Ikڥ+b"?6!# `D-M@D\i#G?#:.|y.ev}gu=@+0zըVkS~nBwR&юlл\U9!C8b;5T3i-Rohb5t*^4X~l7Kbԉݭi^\ - UYgF 1!Xd+;vi\{pY+c* .AE6FUJH@Wَb oOaX+,Aa\ ,TQG"|G2w!dUF4(#]ڥYU7&1C̖Q"̑ ̝weQ?FP}Njx`x F D2D6XvAFIKE'$MCh'z*O8✲3&>ee xe=#!iNwg0md\/ ~2ggmi:^H&l0ݴ62<ihNi&FvgʻP&d1fXI4=Ns~x=`#!$weKHVZ87T\,J\͠$idb|'!)JySHL?:cki㐾a͈b+C!'4V6zT~Zy Ҿ=LT 2zXSnT)t; j,.8ҼxL,q//N;JcD0vbWC FWvɨ&zwKlHF(K=v5aTw)W_Ոm"8ͬ,˕? ==dq2Y䛹Ϥc[jL(v Y9Nlӊ%CeV>w&$z9uILY~Cx,܇zUdB#舖q9P bFenQ6ewWjEzR}~pSuwbBNB\~+H٭xgN.DGA{m7{<)X4z ~ܕ>)N܈8ֻX;RF^ݺ{r1hfA mlӬ-SE#VM-'λsJ K>[OH&%#vqr w[.RZx6!-n8nl%<*>ЎNd:=h_R*~tVuFAQftQpaWB Z/Ϛ) Ș_p.ʈ{Oew?29v(7 N!mYb:P8Id4?4m!=E=ą8mkgTM(lFޖ*3۞<W*­ o-bV3]T*KI23,d8ƶ),Je鞄fN:ڎv~SZL6fO2\:tKGlj!lq[Թ+&ГQŨ%9tԠQ[>hL -g?8YvLpc: j3dd:UwLboGvUeL.WT)vtO%;V=JiO5R3]*^=*!wѥ*F RM^$]!)rk5"o-,Gt*8j e Kb_Q= GHIY#Z{fJ~Nm!:oCB Y:Et_sG@ǴMnE|F54߷mс[;)%5*.џ;~(S"'[\v?q.\2H uzHj|MvL$|?V`WV56YCh{ʵg~>l?ETbXu)||t Ed32#ѱԔ{*&1B%b^J˾/RRB悅%Of,#`F{ZRx;T-%\@a#ڹEz'AʹCdOaѻfEK8f;" jigڢM!3'd_A;ޛuQ$f\&qC..O)hc͸}UHz굒P6Aʬ9C?trj:Ww{HuT3T,NFiG<;[ oe"}j/ve[9}bA2F~1W֘^Xš5_R $p]%⃐ -'8P2X|Emb~ٳzwΥ2ػ9*8!ۊCNn·mcPՙKI`2. T{f0?3Fk.62ir-z|v?fPϖ^Z =fG_zLleb*BIq// SEm19׹0qY)߄)Ooz@=e&KN0Eu]*C/5m=ݳGcb2M)Lz+PG gu$.v`rkuKGhj ܉&*35Iq iwbp 7HpC-[GX0~p~"I?$kJM$I;RBto`ZEfS_Jm)} JjZM)l `#\5"8vq={E6x(3 $ VN!ڼ$EjjGSAy?%XY^E:e`d<^e){ʨ_exσ)Ջ Ņjي<~=B?2Pb4~rcP 9; 'Ðwp㰪6S="NF2niiqieuw<^\ JI;+FWg,3I2EKup\=x9!/y଻m-BֶܫӮxj'*Q'b څp&}0XLbLDO9}f +9I=i %jŕ&Vk%t1VP|9X4[rdKK¶*v^i )wiUlv|Qiʺ8ȝ%&3ZsN&Xp#zLc1:6&6 p감|Ah1I.wB ? &CPoUspGֳͥ7V_I#>Og~: S/*p}H#H->'$Cx䐾6윖_˭q C!W/v%DGݨBJRf%Or|!:c<Ė\yeTrIIM\C ֤9_h݊7~P8Dg# *L6P7wN8r{f!~@yK@.r3 %0/'}p̿ړc: +8Ufo1A,ʄ8^DT$|Y[_tӨ?eěїP&23:flB^Ck:v> Q^!F.Jsc<dG- W Ƽtf-Lfy͢ƨzofA NJ&&Snt HvzՍFf/=BTIZClEѾ$XMNk{,(HVp:SOe}S/IHyЇ]sIF#7]qnP|}CLj,e7gYZ TCI% Propositional_Proof_SystemsPropositional_Proof_Systems.NDdocument.tex7zXZִF! ]A-MՋhvG"uIBm5ģ=D1b(6iPԝOG (*}tw̚4uߜ$T/K2]v'MR|1_4pdѹ+u9FJtb_LEúЧ.Wx0jB3V][Qkf0c j," mkS(&M\rVN񭹳#7ӈ0bϋK4_ [Lε njDviՄLk[>b{E LJyOJ̀]e95W剋ڇ b2#͟0(㚱AxUY$1Be-WUUzxGfsӂKoSob!]3fempi?-?#FFL@>n6Ӿ6Qzc@ mÚ=LHz[.z+oƒ$F{e.P'4^ƕOuJY|YG-L?_ SZhX4HyKp|Mjq\nEv;+B`j4*kvYC]I~~9jé"]T*s7 E ۭZfV}~>hkHE:%3l4bN,5A갞1mG+b5cs@7Vfy!f2BfI|Lk!e:Dhz]8P8M665}Eީ;GʰLv]m thL2Dhj <{4\ϛ%b+Evx%Ƌ=pxq<12kScS9~t&ld nc{bLq3] tp8諼힛20fЧjUGG"q:2z9[c^{Q0f]Ɲ/kշbxT'5myQW?f9挨_7r%T0 vgkesreܽ8] l:敚Ð ^s"Op{tslRŤuB/龾nաj{d ʫ}*%@Z*%ODQ.D&4vʚQ)y{(VNoU߄5#v5R 7&L\JxqH-=/%'ԝ웋Kh2<عTZ+L@.g`M?97xTbj/WGOQ`_{G}wD.gȫejUA&z/2\fX3Y%"&`? XӬ岱vSJm \hԂ_t0nU^="1i~5>3Hi`ܐ7#/;7+a7cʙLll_Wޭ#RF> }}QrLjMk(#ia%[P >LQzby<”\Z.^nURb96u}Nt^p⟪ d 2Q#ޑFsrf< h )A(ݓp ~WgÈFM$v.%d" hIEJ.#']T8&TA1#a` Āa/аUw7yÝL>wJ-ݣiXhJo1f^NEH*Nvspq^K$R:k{RP̰4\lɀsڕt{,$J@OϾ aRGa) j F %%и?Qa?aIQpEV<ܗuE1rl- #k$Y/bڣJ4&Y.5Pg#G9c?;S߭v\3 (:s?}wg +F_7 &u'l\p8>2t0}6#>Q #IYNWPn$mH1R_`.F;P'fcL?Ч#mgm|gȋ+asL$)j5 ?ȸ1CGͻ -@Yu}$ S5RTXj%fuo’irz6<*V ]X#FObcC5ݼ v,˅=o)g5/Ug(̜c>+l/SUv%=H˹x ' |&󗺣9e{ ]pa'eřܝ]?uJx"HTOkg .–hZ&Hn/ȽBQVq\H[N+1~3!W afG&} Vض#tkZ҃r_;uM-3!N$/ W*NcNKzmr PtKe[`eΈ/ȏziZcH7Wґܒ o38QsbY0cpHfd-2ưѬ ƢBG#Ӛd9͸9{*w(p(WemJwC"غ@sc-rVջ&Q`&j#]\H}Bd%jȻV.LJ5D8u$e^5JiZs˪wHj bFrD&8!^]7{We ȗu&5a{7F/Ÿ»SiVO3E.zGKs<](F/Wd`לȶs JGW1/b5;;>FTVcrs@w wo` ueM-lO- N.$vHx^#KyJJ7c*7P1I-]D4;)kzp?\eHs\6jHӄGbG\2_TfQI{'i&CwHeפj߾}?v/-} -jdec~(1ޤŕGHo64,lvSl4^łMtF*JYFC I'gF9^S&è`я`CAZsh(A iS[$]]-MH"y0n3,-`{cU7kBɇy Me~ӄr=F[V巍}Cvq|Fw< }Yug)uEyH#6j;FĒ?2gSAF8zW~ŭ|(X4)]x A\\ԆP\N>+j[TLK1HbOv ̝l[}&YGcu#5y m+S.E#J-BfZź3筢0;ہ@[kBKڛ^ ${)7enو€V3+QS1?ߗW#i:(4+\kc,3PmHLI:ZIB%j߼}ye c YmwHHw8pКE륀pZFd{~\%|5f͞bᒑ&_{aG#zF#U_7rǀ%Z80섶;Qm/vYғ8&(pÑO>CWF#\SuCЂ 4w"} a4 {eeߔi%.kxYi ap&^ng<87"c9 /,_Nj}^#π=2: wSw)8 X4vREΣ]#o$)L p.֤>0e=pg1% P-3,c^2Zh xk:ZAi<("D h 3BvqܒGz> jR% K}M8{w˓MA+ҘZ4˿n>sRknlxRb=Aӡ,6bez|XUF!pZO;۷r1yQyė4Ed*. C1wA8Ok0bƇޱ}; ؏?dfɮC12DD"mZ@*J,z&۵- EWdȧ3$"2z\e` 56TCEj% y|46f6a;.ke3D'~9Q?esu@C.Ey)%|e 'd8Tx" f6HqbOXD8q7 s g;ÿm7mP͹X֨5Ͳ F㡏Bܔs8$`KvJgd ''CWԃWr[O<U#疉8X-K鑶;Pպ}<_H>Z'7|+9f@槄fJcRFW 3 3$/A'*{Jiis6B2;|)SʈJ#ئ &'7lU61swQ5MȽ3P(3J @cwA >|KKlL6tV4y.[zB\W}z .Ԍ_:GRǍRB;\&xJiQefQS#"5@@z3tiC P 0+XR)R% PvG/:</{t2!JU6k.cbu)ay0XÏ|?=,.i{_ZUs\:dDdm§:ߧ%M1 b/Ř-ݵnWձU si{# 6U5wB_[YqzgMhƲRs\G;UA.jWE!>I *'baɧj>5߳6eez\D+8 4jk-e7snحDTqg1$AfvzŎmk&QGVCa gNJn9=$0'6]&+F`dvNv&}0:{6‚m `6(ͤ9hӯqi:rZt?3uGrT(_Z]y9qQ~8O`\EZ:|BR[>}Q~4Ar= 7+Q-ƅt,Bbxb\0zߨp=dϿv*{Qֆ~Qp}0pɈajX[BF±f  #x]iQR3S` tIo7]e.G v  9F5)|XujEkm@J.իG#? aaTEꂝ=Ewv1xm1@Bh; )O5䞜83>0GhI.L1!\Lsk퇱ZK ԮOP"cs5†cHۀFO)ʋNWlAs@#[=!=mU]i@ S&e6 tYH  zn~qxɣL?>Ρ: vg{`< !qLƤ#D y W+/اeWG - -l0= N0e@6{J;cԕoyb;Q3ʩr(z^)=/wWc5Lk)]|yl5q"huL 稀z P i3 gt!U1E{Ew㵨\hwzPڢ9m@Os@9û2V^̸(P-,;[ü2zIB [ddجį̧FD. PSN.5aE?`2[kO~}<(˻h%Uc`=XeQjy}cz{AZɽS)KDŒfky-.z#*|!F>Κ“WÌLl7/fAq$-L=~cGM;H?J _ZhpE:U..*W_y|g.;HdVY/h^"إ`d̍XWI`{ԗ8dNĭ=CUW>S|ʷM mN(į=0WӾxȷz7qؓ}Iˍ(Ƽm4\{[Z.a 'z6AZƙ$S5{NӋcLG :xAs6QqN7z /u4MUzȝt:N< rNA8e[*suLgFR=HDi|!Q>w+DXcoEiqѬrR%KRG 5zbEuGzx^fR Q8Awlw0߃ "$pXGFjva[ r Y$.\:'xj =@rl0.xk!LKUm3tRQֱ{xK1h PvYQ:: +amƎz@.]n}'?nNcqך~ƧdtMFe~1Ua9t[ўNLhH8'r Ɍ `_KyۚJj~ I V8dGNtҙZgٿhlӄZWA6U&<]nl/$ .&-1kNՈtbE/5.'gAtuky 2!N xdO+0 nCM% LPropositional_Proof_SystemsPropositional_Proof_Systems.Semadocument.tex7zXZִF! Q^]A-MՋhvG"uIBm5Ȣ?€aƋ?IחY}i.Q8IV&|K9-D]2i] }j&Ur/p{{m6i  Jxhc9ժ3;^LV=x9vGSGjba XwYNn_NHI}y{ i^Xт(/3׿6^}DaH7:B]iUKs/ eϳi޸(`sDc)R<=^ N6EdFg4tRUY[ni++K2z--p;Gq)DM =Ay*snlEW#9dΉpW-"pM]Ns& ),Eͽꡔ硰wINhRVL}W0REGK!;;z>-,YfU#M8K+Q;'o8a#,-゚NՖlٜA/͋|oA$5תaNW8͆/!gk4mwl/+7,=|Nj"Ӈ-_UkCA#Dc,=B6k.`?uv'zq./۷N3%ǫB)0;V&N8 ihCa;OY2ύDW~^EYJb⭵TBjA/Ho)ZŭV9:*؃Vhp +0E+2[MSjqe؝ςkp#0`yk1yTv/qվ f+?wt&omU21/mxuu@i-ʜ6ǹ U:du9tɰ_蒆;hKZ'`1 . ~7ZԜtJ6ِG `98\)vB;o)@NF5 X!XD]Hw>j ^S_|gb> Z Y39Vn\Ae0i΋VL^3\j㜥7{'jkh 6+_ 챏a)=Tsp35bu$}jޮ"Mޥf@ڛXA0x""يKD#( TީM5Cfbu7@S iGp%QGCUi>Apo=U@X[gd~v0LڋR#drjqM"* ]ҋ;S3_ס8' s#{El.X #prcO"N36'X}8 /Wlɬ?80Gs@|{^;D7a:y<O!(X.J\)U, /])H@w]]Yt! &S?QYwC u$*]#\wSv:YB, -J0fǃc`hBϒ21MOǦue6U0%&s.tK [QBvm {&c`4^yRɋl|ўUYL:JcP|cT*g)˚+8VjɟrXU 3U2(|M'\KBcݟl%>8 6D:CE{1k;͝y m,[~l)|d Iqݕv4٦al^<`dD|^ƧPNץh[ Q!25*"^|Wڡ?`8Q2C,5Zʷ ;$c1>rgFûe99 v? %EA5]RSyL`<.[ #vA~G[]d܈[25yDiz|Ch8@,"*XzHQ)5H0>62NRw1!(fIaV0a[]Znz?LV[ ?&  w+G|Wlxۏ_wZN?,fiPYEq\oȤނ3?8H$ /4RlC#F#بs?J4#gJ$% 3u(܎:zqgFl'栞4񅜩i#0"l6$bE.C(1uFc^rQTNL$v$rɌ$kUF5zAI)Y8<" #hTm0BOǧqRQ&S:$ ۱s!XQ>ayKӅB5b; .9 he˂/mHV$l7&$%-ΕA `(lYhdk~ڄ,[Q)Kp4njXbY7JUx585mo`h'a :LD49HK{ۉ"DK<YYSaja'jè'r %?ʎR3i;_-m6_|J㦩nOkΟgާ~=N l< M.h _@ Up_LwE)LK ]QT8(DFV:MY9Hd9m"pUÍn?h5Dc xT讑-Tw[0oT|^Cjxv6oKGgrl(R MSn=_'„]KhpF³2.md&J U0!$dzCQjMwD=y+3g=&jJ!S֕R+X=,'"<9X8:U5 #zIЭ:®qh'6tX`mhݍe?YÙxceoE %0̦WfBvS`A#=$d!uwBBIa^xn'Y̊8OȲO#f? i~Iۿ?I)FU+ԍ8"ggVAp,A-ks|LPWqpP!籟X"zvR6\n)S]f8\ta:V;K(k7B>&r2Xkh Խg(t[FKJPo\d:ؚeAJVˢc6&9?Ν0C(k튎Dfn)-3}6޻Fh#(P@V>KEWDA~p -.fFn(6]+ʉH@(2l.%CՏ=oȽ؋Y<,25$*]R9؏BmE=s㪭}_`vD}t,XS4KǽێϘ*3!7^ƸQΒɾ;zPg!Q5W69Жnn\.6;iNؗv4R[th";~Ch52HACoKE@7IXjnL<8cMufF:%^`t@h_^t_k]lx 9#7W|"*W ?-IŌJS@Z9*&̲%sgSgLJYzIqDK\mf?-`~$01&*rkoXwUxʛ; no 7&KJGdPon?{ӕ:6|OvCf Fb ;)ZM~1B.K1'QirtZ0̙P!M((&E]_*վ_re'ZXkp!l&+!y3!QһlAqSl|O:N'`ue`mD8|<-^@f'1  /?_΃ ;(x:Bt`NJT_2]Lj 1S4[L#_ce.==bR4QᵅX=Ia#+WE_n>w.Lчk|u)BG=|}mR_ESn@QiQX#sgnhbԥ?w*E&,z&-N;gؠ+q/SoeB<;V'~1;.ۻEnnF]DeAص(lOS##-աKs1Inu137}Bv`۠ڃ AΔTֺd#mT8z.ANm1L_'K8ƍ^r$KpDO̳W06K$G:1b!/( |f+$N!l<5O[v6d( eu"W@+( @5RN+j0l hε*|Z ([0zXK|d+h t㕟Kʯx9C9g(sCwm?wvCqj!*Pyj$Ajw)cԫR\<]FU:00*= (ɉ~ÖK];"D`~To#8qtoTNh1V#sjI}nݟ@NctE&Y\#.N8z7=bɯ2n/ۅˍW1_B0ء)AUa8 wfp,:7YVȡɉ踊raftE/LBEc㕆\h<(H)wBgȠy,b z% 赔iRJ-fxxvՑdCq͵_MNh$ݡ}gTnp V&ÌL? {FSrX~wC=z$Hv/"WzWR@Ix|`ȡ>X6;Č(z 2xׁoF^DA1/_}\t<fn£Y KQu`U[;dylpB#_E_~,_PG &W56wI,6@lfw#jiK9K4,gx~Ҽг0=WkCuo~-K0ԢG*WFOrK)~t(hfm^l>&f=x&xF ~s)?MX?pkJHg =OBɸS< jNÑ s-<V^fHoY]gZt)3 SZ)]&DXwQ$<. C0m' #bz,D:X^]f]|4IڔlE*UPgME1c=%c/Ib^H&FEJLGzB{BKNbJ),$'ϲ#()m*oFףQԀ?F&9NpJ@p1!1A݃kٍ%5]Cl` I BQ~kSGR.lZ#nfsQ$ 9|ES6=0Ltv)TC[+s"ހ|XKp`퇫Of[F,Vú ebY+.sI%Ha Yq^KİL肭,Fis\1B[}\_ |d"; 1rb$U1l3񤢢O\.I#;sy/UP"}gGUTpWAK7{w }GneO:` Q7#t{*SR&f>2b YA(`F mLr/eUXpŘ QZWYF!P>@zc_n }1znLJSDum#!~!~g·&]ol #LR,r7DkEB9&JMҹ*rDmĶ&/Ȟ jG4|d" "cssPsk{ǔhbKm$fS0M mX@Cj~cՓh<G,oHRp, ZB Ig|20 #ݽ].3mGLED5St&nfnDP8CXy4( Rˠ +{wG64e2Pb 5]6[Lv'g=;y.gòz< sv 6ְjNG8KݔG+f\4r0'M+Ώtb47*u@K|3 [=HԜzʩ ߿tEO3s@)B6vo!`BP 8 ΑFh3 > vmUsY̷ d0ܔ̞W/"kgv*3N?=iScIPQt.%~|"VpF~.߹\@F 0`%|0o_lph YlV /廅’SjDp. `Gtﰭ';5\zY.ꡓ֡ڬ'36XIYn4lT7^Q$[U"^U{mi2.HԋĜN-x!1nJq8RO7B>DS%bcR> &=:TEuezmY--03SR2zT7N]EnM;XևT{YMRfoww w`䆌Ci-,ңغeˆV_Cavg{7n0TIlć 4E8S_%WLiH8㎋gJZnuD$T)לCSՖ vĸ*PGZc RRf!Ԛg8Kۂ3_mvXBJcτoea#9=LRzW?qkU3ͦĢ 7 7*^t /t Blb1IB|(48Y;joG0_œ,1a4BAHzLbP ݲUC6?~h[SB]*7E3'tPg}7(Ipڏݖ_e7Y-u @&AW;KSl\ MCCc8lQWҞKq̚z^s@I.@?p#(olLu U])_4}Qa!Z2wrml]]qFDUr%!LO C$:'@F!A yޓF`Hq%e_N 6MolvO\|^:Y!4|זmXrGC[߄|}RZ؅BntaI"QL[r`gl'!Q*H0 iL~Tq0nQ33UgLحv%Fx } AC.}bE_frR=[yg,3 ~U2mΓI 7wkLU%a{NͨzwЉ**ji;UozX6hEEZ*\6u 1 7% \6])Qxb>5n3K' QMDegc:cHaXwZ$Yh+xdG')ʾլz/=v<G7Y 8 5g }5#Do=lf#)-PzQ" `֎=:{4a¦)orݦB_vYF(n:z?]}Qeϱs 6wM + uÒ.^RU#[?&-ڙ^4%rAY`WӃ0Uu~a N>sҋ=i_IK6/ޝťsKQC/)m K?qyncNR|?:+'&y{i=[H45fofAшÃ|R=3B"vIVA*l) LnL;hj.qnY`<ƙC2+9]/$!"tCÂnSoTG+u`;JsH`A,X(XAp)W;2"COZ6BozJbҭ`XS.ݟIcVE-fVãLs?f[bϹ;=k \m ;t@+:Xcck+=BY"?>`*a"<$-]-Ue@m2CN>~y)9,|7P dT%#yFP t9\6N[QfqޝӚofW̥8Qwr*8k^uؑUMgX6oRa٢|1苖Qs Yp z˥tD1eN%JۢYx Uyo-Vv~]q|~_E0G_T2`͔wFtLҸwYRh6~Ç/mFrN_*4}YG[\f7֭$V;(?fCrXWf#Q۝UxE@\3qؐ9z-WiQ@{KaI4eˊ kdnPC"Mj.\>WO[?-ZS@zqbNYg@KGUwIcXBoY 3 ClP¾^VZr q0hXa1=*i1@#uj7OVg+M2  OALNTf+k }&?KZ CƇ F)+ á-9ogR0gA:?,LpHK×P(c)O03yq9 ?h{j<| MԨшBqg:fd(GvRvf/ ` T,0mMKU-m^o㶤[PIb? "S'-l#O36;RΞscj C ٗkb"a]CTx>II8d 5K\O'z>2pm ^璻b-!=]gHy8NQ,.pir:u* 'jGǠ,f =\\*ǧ X_P,ۚk$3)G ~ yqaH rm' DcOYѪ_&^w>Z#0Z.,(_ E ʟ-N $${"Fs^r;̶W\+n2Ukv1@lX wIX@H }=6v}%ZCwI-56+3N(bX@aU#5q$πCٗ4RF A<#lΩP]لe4|Dl/ :!mFj7SOeՑ\%5,qޝ^\P)0Rq1nGA27Bw>WrJ{7X]ҸB}0p: nJ׊|gi])*SdmlmuO ZK|[X<__/Z{?IL|w)%X`ѦD}XJNi7I63Sq9y( r%č[UG1ox-"fhtAQԓ/e̗uÿf bV.>AȹLzmjZTJ!ۙ }DXRMF8QzLx}$S',-Bqyu$1Aguo LP:<}<Q{RNT♦b=IL 8AT)Hx>1MJ=.ʯ02Q+f 'B)dS"+GXL{6{=Z^e/T=!+eyK-YMjX\\sk,v lb%sF:ˀ cDe{hiBD<0nfElu-hPh|ѱob| ,h1bX~[™/gUM}A}IUTĴrb^I&8z0(+-`mHvEfsÁbebVa}b4oCcnHmD~ /F)O!e/^Sj ;dvzmcAecڕ tú9 :l2峰RۼUx#|H}9`Ij:l? 3y2D ~dL.ʼȕjNv#جG<1*Any>HoC{^t/}/OrCc t._T.]5"3_/^< i3!Rȧg`rn=?[l0DGT(,V n4\IY_I'Er~ `\ `"btn1?w&dX)\:T33m;_)J(װNÜr-V@Y4G^Hp&C&@4Oq>l쎷L0şT ҘP&\[]Dh.$%pooæNE+%FSMH92=}u|GGOKh0nR{Og1S!g"-lȞHޒB<>NW[`rpxˎH sר`ij@vhX/!;6Y[6G\p>k&Y>4VNQwXJ^ NBսbkHL[:Ȁl=6uf&1Z}Ƭr<d Al<gʠ{q{^q{zE R;pPʹ$M]({Zt#/ImBIVx.X$(H-h!$ww|fh;\H](ax錖!ٌ;7= {Ҫj0V-;i~Eix3]WC9߷N80< ~h0C~§Rt>M64S@PyտSIMQDtaBJ/q.Swpҹ>.%uԡ~0N ԑjRl 4$IaǨטyB`u7CyZ +GL>3M}u7m a Y;\% £`j\5klT]lT'ioqG ZeeD/ẙK4S\hq?My Jo0)F^ZyE"#U|"/z9߇]"^lVN7z5b}=p蝞_)@lIk\:N5!azC|8n>Z.CYd] tFXn* ګ!qqs0wWBs?cQNҼ6Ƿ-BȐZz_G[[';}H ߘ_&SρAhxk\U Ճ- &;O9%,D0/`WM`Bҽ`#J:Vo"O|{ Eb +m^Y᫤f NOmM#PZYy2fLQȝNWCcmMo(%ipYIH_hUP4!j#lMA/g\ N7,n@ PfEv}llҘPmX MMgb]`XO{ ϧ K@*#J \^4_ኞL>#)cؓS~Y1dO@/^Fm/?$C*V홄Q0!b1v0)qʖR.g,s >Q7X'ߏC8IJcjx"iG  Ix PL(}ٽTr+^ CE]6ph9{2OzCA_ }΄J{ -?ⷓ?hؼcXfe|&FzG/PWp ts.tq6m ־$YkjQ#A'lʶRr .ކU%gնxQܧ*hX2&qFB4:8L<e ,]~ rM 8Q;iq鲲\UhZW*SWmR܊[=Uk"4B+Nd iWOM~6?a]0J|qv߅,,;Ng|EƏK,=ZUȷF-!>GJV;NkgiXfP)Fkkku;ҧ@h\G5O辤J௸ܨ uq3&ɧ{7N*^_7= :LrW.* x{l 0E8uY/̓ʮ!> _.{$(J3gQ !%"h665QJόǖ:v{h ޓ0 !6iHfsc9WW%ח8Pql0qny1SY2-A}5;f!퐊2(3ulWɶ_dH"˧ mn7Nd㳥rfgh͝ғ*h^jle7-4sڰ8q123?9_S*͖0?*^b DTG_(]7J4Kd qPOKBn&u\_!6k.x+{$؛:d^+ p$qhDd,}(Ag4x."]1Հ^5:jri]ai84 =[&q=yctQjɸQ6 P-AViLREϨP 1, $-@oIO~lK <,R,MH;PugA||"ښmK%v b(5Dw e@ylB?*hh5̆`1QX!`X9Q H0Uj (&5ts?w+Q<o ҈^1E@@ S!sP[]/\KyKhUdCZsݑ"%>ϥd UwY8mwj"%*Hꯎag?Y4N)`32Е,@,:h/qgYZ ^C]% Propositional_Proof_SystemsPropositional_Proof_Systems.Tseytin_Semadocument.tex7zXZִF! ]A-MՋhvG"uIBm5ɲ"m𰿯-Dʏ }/LK:j"/>&Cz4gf#-Ͱo$mͫze\68KM!&u4=*9= + W)ـaҳ*ا|bO2ଡ଼4+z'$f7 Eyp9?#ecj]NT}ґK T#,ndK2X bL!B{+ \PAw9F_ǍVC &BjZ0 HV.ӻ6^dKihMa`ަ)(b|' P7SQgG_+an*h|*Y\ gO^9 T;|k{i8^L]<+;m@ ʝLtҖ?ƔM2PX+YiCc`O6Myf9U6 +~Ƅ"|H-} }$|m(۟'Z2z~3pF,bKZCqkwFf&4JZY,`2L{ecQ%uVV:a{C=V.y=~!!ڎLlСvǂUuQwi=1|$H<áҴ1 h.MK3Mg|х.駱B_(O_-<"\q~ mBA' xi[<ÙT<q&nllȏyg'v'Be6Zʥf2Sm2F;SL%9 5Tk#{忣ɛItqV0F!!/E6Ybʈ%9ƀ46C'ڽg~$'LLxbk۰^L_s&K}]DaLxyh{'ߐ;IpaN(i;E sUkp0Fߪ$߽~"\bTOjmڂM+<s7d׀$ <᭝8nxڛ`A bχia׀!hR"3AkWզ:Pq;*GX=򄣥(|(R *B@4V#/6ґ'yUV@*h5 5#M ֙tW3:c)ax`eූOg(Y.Y0t[|;D)'B/TCĭa7;UV;mX1B#]॔&G 8i>PJa~en@sPpKӯG c'S`* z*p=Hu-O;4V=,3FJRRݙMUG=Aek1=Yu2ĀGޔ^ ''ukMV/ujp&V8mvi3fit f#6-*YraG?h/'WL %I=D8^eDF/ȅR(W`@nh90P%X҃~ƚ1'kԁf;$,ܴ?K htfv3ǽOyB*je< ,0h1d +uY)fNe&^]4SIƝT#A!M"0*򬖉z )Y*Ss^@2άx C 㙘iyE:Eay%%"dgTEݸrfN!gqa4rK킄oyT| +r7,. % naăUJ{N()oj"3viOV79>Hp*sp>_lká=7-mEiT<Ƅ{eE~UOHbֺPc=G;/LZy Jp0 J&L#'CPIxV)o. RQ+wJT\Dߛ6`}V %ʅnaf%  kPHKJĴrjU oE am<MC3߶LCGZ:\Ɩ3{rf$ÓĵiS!qbp'.Q5 [C}ZT[҈I= 5i:3z&$[03Z"=SRpsh Ax"FE(pg4u9ϜH%8@~3<@)6J Hj@ 9߮jN,;θNڌX߂cJL! PY^޼s qA8#3NNX-QBDnM@)l5O( ,\) `f$ XZ,@oI@$Y=gql)ma'NNn !i5稇 j+yc g&KzG|v1G -!il|́`Pԗg&At.J|Z4ӏd$5 zsF?!bl_o((4WwT dJ$!C yjG#8v:ykM &-' S*|!)Aۺ[yRf^ )  S&ڠ:j-XU,+6)/u>kлE~( sI)$Kl?+Ub[+&|Ɩ,?sF> $u3\dˋqB^nwu \*$`o0Ƭ=y >,]A8Z jʬH2K/`/b6\dk.ʼ򖸲b, rddhPD* 2 Z6ژ24#'\٬2Ӄ#"[9tbzJȎUnq 氽§+wlgYZlCY% GΜإFmzdKLz7ٰWyz/$ֆM`=!@@GE@@(.>IxR2sevqm6j_zl d?w|׮G*ޭ3we.H6WPN5rpܮ[-Ty`#3Vzp+9!ln,|<*pkEG;Ih_[ cd\[xIX(N?p6 CI% Propositional_Proof_SystemsPropositional_Proof_Systems.HCdocument.tex7zXZִF!  z]A-MՋhvG"uIBm5jy=D1b(6iPԝOG (*}fxYYY3$+< ~]K3}TKb*&gAjI Tm5=7\ +6]GXŒ)F+(' /|5+8^hR;qBfÆ(b ˁAYEkMnւۿ/o($!#c/1n[ck %+2. aIt怸( E}4H2qL2s9Po0VzI=={<ϗwFCX0B W}0SG|q\q:eZ]r}$J+d_@LT^@%ZyX,{B%+RǺA*6?b'bһy\~n~+Atÿ¢QؙZp0HĢL.뭞XlْU6bͫjiv0耋-3 /$;kXvT+HNE+75/Tst1*N#ID;Ywf˜yd-ZŅ:rnAT W\94+! HEe{OSow#[\aH dLs}koj pr' ʖ[ \իE=1ەl sqmb:sU>xfCZ&v:8͖ʪR>sqq*|@}61AW}$gKYnOe 0n^9}usg)StByǯ]*.y@C[cոIs@ NGe>;Հrzf"|kAl敆?ԳaݲUN:JFyܘmL_c 0ᶇgo@c4,|/U)Cw _E_sZpjKOfbtopȠ+yۆl_:>"dAQ#XE)ma>,c/^1D OH6W]%u 5Dzս!Q)V)V E"h6qdx*ґ{X8==*< a=#2yV ?[x e9.>Քki$͚ ko)QKo}LS0 g[^KI{Ϲ I{ЋP[NK0o" nӭ+=~ߧl>KX&iEacF2m dǠG`zvCAǛ̜p .h%g?npW[}^D/XWzr&<Z#fIJR o~5.8mtMTEhjp x/o{DI>\weC ܠ`yRZ:4mU Q6Fz!%2u?a4iݦ<88U9RQL~W ~CFT{,ΰ & qVθFA+!dTjej /]nb0/|X9ٻPZ]h1Pd.S"Lnk]'վQ)Pi;Pjr(`Ntf53tO|7k }*A '\YK3Blo# gww]SN,t?-Dɛqۯ!` G `Q[dHP?gՊ]l7$`GҀlGlJybXΜ *̫vm/XB[g ]EP. otcM3X kY\}N|Sd9 /E'yS!U֤ץe/W{nI2Z}_\_ulFK|U ˞k18?4t(YLT$i\Q)~zQߗl~j b^;S1If^ȭCq 8„gR[7$ (JQ:2kIU`zmlDmGX{{C@†i:,_#Id3BOaTκB phOBQJ&l> ~Oͽvw&6UrjԀmu Y5y\KHc摆TgbF;T2"cY4o(x#@dF*ǭuHTbS; D"$:x!`IXUr21Cg"?7?0{2Z@bSL ?P%K ~.a>F3 #d+cJ&;^cAx2?|澾XV!lI1<أTt>OoΨ|g@'"7=׏qf)'ñ_GHs[HX_txõ1@߅OZy?ΣkuM1Ot$ !T) AXa~p5)1:nSB)%zz :{Ih('_>'։wovAww$ӱgYZ @@=CS% dPropositional_Proof_SystemsPropositional_Proof_Systems.SC_Semadocument.tex7zXZִF! x +]A-MՋhvG"uIBm5ȑ^ c`m*~x`zfǸNH0*yoK{lMeB3|O4Q8S@wXT &J6Ya-.7! .9ΓamG#]J-jr /~o{HJ; ~WU^aي>Q=5 ̂Bxzq !"9+KDLXTu[WeY?J>Ui&*&QIW^s|?9:tB}'_1I6ckzw=MVOSٻj`h8S%,.*dLgV'ggQMÛF)sRK?b8Pl ~\f$6qAT<\c<⃺k-TMe+gp|W^tlxA< @GAhϣnXn7#.eH [CV)yGЄ D ̈?TMX+! ~ZN $O;2@.9AU{McT={ .UU\E0]j )?1ںvf^PzZȮߵVyn!iG2 z6r; 'eRrU<$<晼{qCdN!aN %Gո=w&X|ylϦk;aW@0Ҡ,k(?ZY+dqOqURJ/DM}rRfje§^;WCu뾒k pJ e+탃+1p0=ҹ=[4cR9Rv`h &kx@iR'#vmf0ѧb\w\ ( (YfpA0TFa;xOH_K~TWN@Sⴎ`?#[m+tjZ-k̔H] RSSq YZPϏ?7Lz՗V  q{e1~֥aR&V/Zb6|J'԰.+X{-`SY3QXz4VHdxrc)VvꚛġEއQX.`NAc_ʂG`g٥joÑ(؀o@H H`p tjŃn$fYp'Ugb7_ĊmXE!XVOJ5@+i7?%>̈}G|] BFM1@n8vc=_.MBۺBo̦1FsJ@.0{zXp]*ƳQH3= ^.6h" 6;W_B^,6#;%ޖڦLjzGI7G\?@h*M`2f (ɹ%a2hX]JsŸ0ڻg#<' 0wVA0P@\e|2wqNP䳶}H!V:jR'0TcT`o-D H@vES@M'oV81ҽo0|V̸8x t51Wrl֣6Fm^.mx$fMюP'Pnue8Hm w#\VQza3 )_Aw~IFRO!J5|9C9(}jܔ8=~÷M?1f,V46')nx7 *2ɦA1kzBX&+gJN";wᭁZCLv%d墘S &rAhv`d-WxX±#gu.an>HVwEWl=.2+g,5 AV}\eC.=U\D@O&I@99)c{QzZ={쬻d$VBAUp{z)Lbo7\50 j zS|TJ엜eioӔa Si h sbPmH5BaV &}f4Ȩ^_+ѼwXԩ# -~O%X'ob`p$)VкXq;l&M\%5m]ElT9}w d)ruF${Tt@x[8վ/-dj{b4 tч2:ph/ĭ'vY}ϫL91\MK #傥QM*`H2kd~2Q0>ZȸD]pw;kil[]vzVXWS{1h$R`DM3F_^let(ky>̷3G:ڪb2_G3)_Fwi]Co{4RX'^,֬އ)Ț \:7=;%NX]RS(\DWНݕB6r/(_]_YdxAbJb {MS| Ǒ1wUQ9b/nwO }yK .+mI.@{KU6wPT8biQۤ 4G3y=x4ݰap"V9d:9G j?w:=GRߊӆlȅ-kOB${p"y7X,}yJZ"x2d*o 3UЕb:n+kn7LDZǃX:=Ix) r}M#~;̔Rqn!E K}oC[Ԥñoxѓٲ{ũ=wM:H x^gYZ UCk% |Propositional_Proof_SystemsPropositional_Proof_Systems.ND_Compl_Truthtabledocument.tex7zXZִF! l& ]A-MՋhvG"uIBm5ģ5zaLAG*):cS/#B| #M폮)MPN:|Us͉mw,v=Ằ3+A%Q»%{D_yND{]!nTNK‘(?ϴEQVikH!*@;Xo+vWZaq1SVOKpYѶF?9>K~pqo:R3 (EV./3iuE"(ҋ!uZ $[~e7a=~L8%0ⳕހH2N)s>ujw80BusEe?)!#dᕪ6 c+1q +_yy[M"?e&O$CaEudJ%vf]1dѠ@D;[zф3?m'N32bg-5!->+|2TkndsQ?ӁALsХ! *P!*K'Xl +qafN-*Iq]Pr#I#T%~gcC?z6 I<.paS!aWήڬa>y2q]!qΚН/ 䤕O@sFiы], Q12QT(/tFs@YSm fh ?y#~b2f9<'3B(+/5Wad=˂S;oahZP~p2sYLkU B1g[\w9̘_dE[XEA=mɨ߶➙ Ghu~൭2,·832Y?[Wf c$xzXS[O0Uiؓ鋔6#L\e$A욭>q6c1IUo$m ؿUA^e}:'&"|O%Mv GD׬lB!U^C]"_. E[_w?hD03tqiwc_FHw)U -3#[|#'yn`*:ܩTb4T%J Lүya^3"tkf:ux[R@U&q*)rLgIRmp$gܜ-(ꮂ=1?M@vwd_6σմ^5z ,+ w:*("g<5_orH7յYU|B ]CjϣusĦ;/,/&$~_yѢOmff5ԍv+Id6-JZfH1Y\?ۭzz5 =Eo>6]}.=n0y$̔L0Aed{Z|qE|ن{؋/<`P֝0l"]B*>QM3B}@ c96ݭ|7W1Iڸ/&Fb Ԛp7k3$J+]8f[[Eu&hg)aغ5/'t%{p,@Pbz&wyUXL.|f.CnVHuXl 2{.U,izןA$[ޒgbA/-ϽuBSQo t%D9ĨކY|ÜU9]qM#GY HDt鈂ϓ~BZoBQ HE8SY񶰢D'ò?jJ|/&0.:M8HJ4 A<}LFYIlw~J'KLwԙ 'W?ٻ]==G勐ʉmߞ>#=cFk)n'&-/>7Gqv ;w(j&2UZ&W]hҜW8:nٙ\O`\H[kaTMZRE~]);5\'H:$ ɯ0G`m~i 3uďD, 7"҂Y*@ĝUuZT"zdAeSbQAA. tBpHT=3:\ɤ67f37 o3ͿA lkg7w$t 䂶)Ġ^\lj59SA8V/3#"z%4ƫWް[hp:{wp>`ﰓGB' *$hMo!,-0P} cSe^P{ % f<]TPpw Pњ-ӷhq2Z-,uMBm9~6m7)^dzΆϮ[ђ.Im(Y.ECNM7dnvԤ1ve(r](6$,HVFFX3%M BL|/nsJ=16,'qC#m@OR_x%uYuA=R5aʋ=0uX0XU]Q&%RonvʞN?ؔiۙȅc^ФQX.NRP gx .=">[>mS%͒BtMȥ?ۭԸjK?d81rNX Tzd'ApL&o" pEڃ\ ~QC;/!va)dQg_3WΓ~‰"W ۔/fP㕾k@|͜@IJmvB8tq-s 7_=> -gٯD ]SuuSoJ7XGiG߻9UU'oR#eZ`kj30;=˖ID>L+%vԗ5se ?n\$9$|GɊe7[\lmSngYZ .C}% Propositional_Proof_SystemsPropositional_Proof_Systems.Resolution_Compl_Consistencydocument.tex7zXZִF! \= ]A-MՋhvG"uIBm5+;I'h{{q?uW4=RNWWY8lSS70 &tV4gHV۷`LV$EA w?M.hseh Mu[4;:FvbdȿF̸E $%q=VRsnC)y8+B<7gۏ)%1R" &ׄd.V]Z氈?ـ뎭J=qzRЉ|f#);goB6dA8IdogZD4cYo J5|tdmYQ#^,=Ed]H7ZSF8b-E* e|!Y5kߐy*O붓F>ƶTTe‚~4>>V4,/ROcjzFaj"::^~~B;+b:i<2$e#d-Tz%2ePV#o+L SmMtU#]2K i@Gv?tx8g-$QCcd 7Z%ᶭ4cН[F=oӉkV~j3 `{!ӗ6܂Ojaj=6\*Z%dp aQH*4Хxy"5sA&4ِQCiB  VY.)cK$WqI"]k/دanB)֧q[{!8^|;5s):RNF!L~q;lSRm'}J}S1!6{՛yn)HyH1*n_ˎY~nbκܹ`^\v0E8IѶUO)mj\?<"A'$$Ѐ[UNw{6: &o7]LI#.a\v@zSPx^0W̜n $Z#'偠 v!/g:|{AֹfCNV$6@(Fwr6ȡ=܎حa ^L|_fT|m/[wp:&9qy~tūy< *2,rndf>ovFL9nx8X+5YITA8KX d5IQ97!o7"$eu*QD@#/ŽK#-5M>Ɛ;,)UEdk@F@S 4X :C||.2;Sqt3V~AsmP:P~wQ 54ϫۑ`Dd\F9tvSC~!) csis#Vb//k8OAu,ߋY6N {zߡ qqyhi" "#'t_aF➅Cu/;(ٲ>4آyOj3"J5wЊ<[ Jc12LTyŠܣ0oRFZҎ^A^E]zer09<-v$1{ Y %"{lt"ZLtlpzƯ".X<`bmm5- N͂.H^vϳ1qfq=Ӣ9`k?рQ~[2,qRŰՊhMtL,n~SSQ.V$VonR͕NLz !+'\]2V#?S|U~Ed|7*/\}q3_w 7; DIor[F:42ҟf^ N`6Dŀ;}`KY8L8 6s)iE7 º6n=a痵㳽a-0ܕ8Cq68em6|Z;<`SUb2)lt"KX/Dxo 49͈|"q|mqr^i>&{JJk4yv8. ͹ٿlf0EZU ~3Ubh[N5 '*D5$VzgP, ?5[-#Q 1.NMԫfy#V(p8}Q|؋ߘrAnBΊ!.+: ;J +x|ڽ.ORk7|[U>$6&fNҤ27.ɮ)N:d0-Ct$M5wm/ْ`ұ|pLǟ+ [)IyA&;ۼl# $p,Z@=Rŷ.!itH0WD]YFa#TFˢaڙZ[oS_S/̯_tAcUc ƅBQ pB}er=-AH +s(ۗ5LzJkEdA)0BFW;4v WL_q%\Ѭjy)K(O։F1Rv̶IJҼs8XlWBHZS ;?ubѦωM`- VS}qu)G֛ޤz|A|\4{F-, /nmv(Bt2V1cq+)PmhF_A$#fhURN|٬.p/g⼕lnM9s,_( -\p.}‹%-eh@BN*c% 3x2Dr8FE8h.z%(:z1jC3 n<9oC^rպ0;+YB!Zۄ{KimKkaꚿ4.sAagڞf#} x*M?5|c}S|n^&F ,͉ --Rmw)`7+GAݣͼ/K8** T&I٠txMIp J2,4Eb_ ]ܙܑم+:'Y}5qĤ'=/ cI&`UH;ljmDl轾Z=DHJZl^z42Prg]S8Oy{cωTu;sT)71 hFK^Ax4G ^eCW"/Ei3_Q ƢGS` i& ߩI`!=PFp(Ru"O~/9eJ 鯚Ab,l!@^AÒ2/x{,DO\_ulwZ&V8bN/C4#SYhH&*D +U"mȗ!E[>NU83;X`μGfbEyx|s&ja:r.TeLR8Aб5sCѭ;)ck._vp5?G^.؟M+$lia4H*z2k^#+4k_O$8 f-ǹ/Rp`9]`'2z J`a$ +f[ J$#YksIj(1۠ 7*x\W_sY_T|x][| 7"q;B˰sRWDj G;Cl/P_Er`J ?~&:KXE|  r%ɲlpZx=ƂSWBB]px&Lr!蟃\Pq̿QݡcA˹YXє|__״[%HfkKY3;J{V[@'s%*yO.;?t盗ۿgMn~, Ы| ƀYyJP<:leRyW0!/pB.ΛS[A"ԅBODO(U4`zZuE/T*D쇍(JT.c|Q?>yI-;hC 24IүԷIn~36va4]@Gw7ڔt=X6iSOjg|()[-:l[7sx9|m2\s#nt>Dl9 dM 8^,'DXUj9krV+LbF 8 @;hǸQ=OosHS~FTﭧ70I٨/KSvZ__ qo3y 2wI.Y]kdx}FiB8T #^^ Z]R''9O~م sdmtp #r&;lgYZ jjCW% Propositional_Proof_SystemsPropositional_Proof_Systems.MiniSC_HCdocument.tex7zXZִF! O]A-MՋhvG"uIBm51dqMryh֕u*5ྴWI<;)/A#/F(qsHݞ;,b{IqM C:ϳ6&]_mۯ(!:()5-9#`/Pm sKv2]Ή~հ"4@JGa-unƅq{_G\V3-s I0v$O;6y\>1:YOl2"AZ5M^ޤK9sljѦoF"^p9Q:m&ASDq.fT[&+FpB/ bPB_(ެ5̔VMf ֤ Қˀ=.b}?;;¼%\A\kR)LAmpNb:0j-]f(nu@Εi4g]=;-&HZWØO2⏽~R3+ejjlQG^>t0%( gyj_|F&2{TX&*٤/_ypT h=rbÚ @G:'ǂ &:M,j Q[`~;4k7Вvpq"/<ξkzRj $/qγ;6_5 qV[E=FQvl~ 1K8GRX z ~7y4DnO|Kn^E-FyT4v> {?*Zt8$dz'_)w" ۛ? 9udz`@ɭ^dbZUk<C v.S<`ƴ0g$5PPQ=_?Xo:.vkc\9VC*t!*W}bȡ F?EsFڗȆM`ٰS J:>pv݉$]}٦;Dt4yBW(5y3ps !%8=\7')bgzFd=i޷|`'2pl)gUрH=iP0H4N,z'LZ(tp9A ; fZJ&%[)r* Oc$Xiy<%&sC1 ]fsC'tۻpޫvGr+gG3WQ*w斈|D03F@[Z)Z- wFț<(ƞ%̑6fm.꧛(3 mČ: {&uTxߨO%խ)r&"kw칰!!Xk~@&9G]w-HW:.~r qNw^[%kʻMkqa4H)U0OvStkم"Y w@M%ЗGǰ;/̞­=;aFnKeTcx]?mN.]J[)o@., 'V%eֱZg ]&jU%x/tt8?^D3 "c#P~BuU%/x#Kwv6zp.=/]4stYgs,ڧlޑFngcK@/z@Q0Fo0B[! v} DADfw9Sm!;bK9a$K)`8"kp%3WƟniw!ԊqE0_D_rfPaéF C@Eݮx; $r:+,_6 /ā}%$f6)ؖʎi9z!%< 0K)BRW"kOc38!C0}(Va?pg( FkP H3ƵRr/ [[hڈSV>%9T $>-;L ( D.c*Ph`t" 3ӛPS@Th4IG-ƒ㭞)Lj{xZ*}!lsId^Ob39Zf|%q e|0u.tᢚQȦܣXڟgYZ %%X!Ca% Propositional_Proof_SystemsPropositional_Proof_Systems.ND_FiniteAssmsdocument.tex7zXZִF! U =]A-MՋhvG"uIBm5ģ5zaLAG*)l<Ќ+'ڠx^\ldiKjf/yf>R>ĽBMSC{-p@"DL~Z.ZfPU"<{.^s,3Қs`o65.~u,2o&IQp9 4s%OHЯP-66~wwGbtSrlvj|7zbCӿb'ԭ.}ȎL6鈔J+62w䊽],H޾7?t뎏&Ͷ"@; j9OK7C=3rx6nX68L͵q޴|Vr*_YJ3Xsu)A+ut:@FϠސ' v" v@X HHM%MCb%352USR2]NW)eDzMJ6euDq^9m=H_CX*񰲤yyeȐQ'LO$~ܗf"ռ! q![k#G$!c*ާC(uN+<|m^sG53& AyL8cg-yui@HDHI9og9_LtJޔ#̧̋[zp] N~ŕ!1e ~鸸}8UVy qbm"mf9%G-<_Rd ut76qF}µÊO'Gujwi\a^ÇX+%GW~"+e>=$ડ]w:5P6^ B5/Br0ԅL&8Y@WZA0uo՞1=7IF<) K>I,XRJ\{.H},mi%Uiswʋ,4 g_e@4ZWAt =_4}%q&e MjΩYXRDv]_G 6Y#0(#պ2I {.͑@[OmY]<$<'Zk z).oM?|Lmy.vN$T}9ᵥ"IbR"P( kePr1/z@Έw?x~}bn'`I"i [Y<1C+4 -B,ل>/l=cLM&DY][l$ hF.D-@28sjNS Qܿju<^L5ՒN͖^AEq2G?8f16f'G!`eTB7I&4>K7_3u:i$5`[$nHVtau[d TJVTk%SPl#^£:9{3R ,N)0_:%SecdWB?*Λs _5c|~-n+6Ioo/tX&YY!Y{U6;*=M;ć(1sRإF;+5nDF7؞0љr#z̯X`g2> q'TeN5c |gPeU zHb0D̠lGU,0Z`,ݥpBg&!Jd0+=l-tM%?;5gUa\8lV؜*2eVЎF 43vO?|IZdTQɛ0H/[ٺH;!H?) LvM'LVX`l;:^[Ow]np־{(n>/<\|ڊ-q(q*,k\XcrۿNzH,.qCe$YYy<+cYoRif L } `LXҐb[QJWʺ4[(X 2y~6e:ʝ`WsX<t 6;|yL>Gw *!vI"p:6f5&ޅ:Mˢa9YY^$_2B8fC׷1GO?<`tEQdavkFGp몞mAv݄l>WTf|0}WghߵK:7Ū;tav) q)'2?QzcC9 nue#*=s}WL~'X*9@E/~PŒ SB U dY` gYZ A"C;% Propositional_Proof_SystemsHOL-Library.List_lexorddocument.tex7zXZִF! PL]A-MՋhvG"uIBm5gq3P`J깻y RpזZ3l/QP>4ٳ4T_Rڽ(Ov!/lqOoRעGi:W:lk?23lECPTt`]G *a.\]i~q\ hWK"(| *'5s&~.V)ȨխumY0/$ηUy. 53"?+*P}sUJfyɷ}gi$¡3c=v{϶~e@tٗrQ l ")|*Nϋr@>j[-O_q|K~91#u2"vC+yth 0hguV&9hE iRlM tuzd%k T/5]'ȽB9~^XR30a|2ɚK( aǤvR"n5)r-y[ SjG#M L6%G 6f!I 8 q03cMCT$n܃*m̒T^kd+]qe"1tity5Ee ~F9Y6Kuqfkl'ԅnq`j͓&%PREJE&jsj."q's#y /l9~to mv W[l3L,8GMUM'z;"4w݉itX7*ZqM6aF9VQ!hs%7gg[a Q/0kg%"`ض?]-]Φ˒D:N J_J8}-^_bul:#DO3$fa8 uV˶.,"w=@\*<: ,=1S` DDgHbszwRQk͟'<啥[SWT'}wCaPmm9Yԩu$"odjڎuۋp|Q7gv }ddHOŬrIteX6A%ʞ:%x JzH9A+pxߨܠ.ÒJBm(^lۋreTug ɗ}RfPɛ!^٭W|h; :=y͝wh![tڝ $(C ^1F^q8G"f9T=򠧇JzMu9#㯍=B(p.#r-P?Z_j[g0z]pX25bMlEٮ?!.Qn]eu\&8τ``/ilivP8Zo vPfcT`ԏRQ'y3Z#72LcJep[>m qc~\c:4ixۜ>PI!XI̵At>o\UMA v̠R{{)>Ε;L4KޭAld-o8h8ЍoĨ'ϰ "ӝF"kYא*Bސa1O@k)ڷ(9)rrxkծ&aN8 ';rf4x8UQcТ5v~@`s/K불`ǴEGsibwc3i/B6[Ae5DÓ?\_ ;@qQx7L%AMraDFecaJЪbjWKv]0H1j&PڗؙOa=(X-7IKLi|͠&gYZ QF$CM% |Propositional_Proof_SystemsPropositional_Proof_Systems.NDHCdocument.tex7zXZִF! 35]A-MՋhvG"uIBm5ģs'm{ րT24_^7Є;JyF ,9t- +O!Y DVcu9qv!$ >bMU} ZSy^U4CxJMd,BXNL! Q0\Yh'/7+`1x/?*L0/FYӗm) L3x:j _%Lz͚M=y뿖6߶kn"}vSfW̢>Df3< ƻ9 ov ișדչmb9u:w)P>u;;\tzFODVآbdxv%Mhd$OHnr<pٽk8Ed9ly/B5ijƫIa;X<0DnuSpסD ~yl>-G\{Pˡ8q?9,ˆLˀ.a3&NW-([1gJ(w}|yz Bussq6EYTZXpĮm-=b^O 1A/"Lo+(%$(~j+\F) nR׆5DlZ&f^EbA}2%͇pVTףHD4lxx'iF矮VVs{xTHCu Clz gűgYZ,#Ca% 4Propositional_Proof_SystemsPropositional_Proof_Systems.SC_Depth_Limitdocument.tex7zXZִF! 5,]A-MՋhvG"uIBm5ȑ^ c`m*~(ow@:w|]N9|;CN cؙI"n43JGp'?z/Zdt^ۣݏ蟻0G$ۑ ءܔ}Bka-F)CTY)tի_銰ff[r!`'Z[f۩lp%.KϴMFf Ca Mɪs~Yc̐k'q| r'WFW6-@BJÛBoc+Os+B{Js{e-R/)ǽ\$ axT@4Fd+LKkv`ՅMߝ=`lt[1Y<%(d77@ {-/H]}.6~ALrR)k?:2dQY[RABtY×8h^?'h^̄ qn6D9M6,ƚ r%t#dƋ!U0/+[,@ hnvy-aEaװlwVe&r "Tۄ{@* AJUg$~Fj9ޢupө+}nI2[M=l|l8g(bOx a!aYq*0T4`Q0.hR}wZzjqPW<\,}ZM~Pzg,\֡\|dJ,Ft"B:eH]!gȓf՚Fcz/`@XiX] (FF@bVT{˄} 9xDE@=tE8='F:so5fΓuN 2ըRW=LU Z%3&e:S-yGhZ3+ !9 VM Nm[8&]2Z+e-:Zy7XfcjCBT%BW c0 s/R/^3,1.E(aM3U+EE\NR|2ChʵUwLz=Fg4C|*`^UEUIؕ彼6joP#mx`!2G|Թ x Lx- | B6.Sܺ)6Q\]p\'el#"G8}f3=I6? *8yI1RkS1F$Y.*?!6:ρx,̸%!+!|%"9S^*n"81/h$>u/S7ܸQ(yY- wꙅFe M>O6r^{* 8Jh\IߋWG<\ rT/fAxD+gSPBҶxzY{ذHNЛd,/s`:rla__b~ZSoh]a'Ɩ3@jOl PuY Ht씩|Stuݧ06!FRAPZÌ\8q%y!7|N֑'Rm!&C:hqam7OlZҩMk hxS&YTTl+k^/+5] og.(lWZݗd RL34:] TR褫,K4<7,C|&';%B A,N$¹F-5TĽ[bnSt蠆rkm%~=`5/<HH[rjAvgYZ  &&Cm% Propositional_Proof_SystemsPropositional_Proof_Systems.SC_Compl_Consistencydocument.tex7zXZִF! >]A-MՋhvG"uIBm5ȑ^ c`m*}xytqh8XJ yΨO[U5sntg]\N; ~߃~5h^ݬD"2Iyof[Βy~jBO5V/؍~֎ͲxmS0iq|1ϪJBsg(G/H&~=):T0K1EI4D̚`s8e Z4 5-h%r&g4NI\ϵ3Os^v\X@_P+l1Zp=_ -reroYsy#D 9OUm%}[ $(5 yY7fjX̣{[1)FE&i8%͂6>X ?Ojr84w۝+yf2wd>D^(Fàt&(4w;IEFpAgE-f,0]{ ETCj%W[*-"lff*I$kXhz%%iC\e$roy8g=?9,(TQ!Y sNO^e5}:a)F]*7³-v3.znF G+?s~I|M?n."OLj;z $% )<оx1"|^&gh5m.h٠eGU9BR=Oѵ?\0*SךpP_1Kj/{\2T{hp\N&rm2>O-Sq~sZ?)(3^qpe} @ vzw&]f^73O 29((<|4h(%&icV ۄC+;}6$ff1E(L-f)[K9?bЍ 0ZӍA8]p(7+IW^ nPm c\9+Xh{ÿY gVa]elR-={\L3 ƴތu.,I{2V V`$L Ö qlnlտ%tjGws~:`?6cihn |i]̾i hҹb{tB#Gws yҟ;ldۭp-:6 JƐZʹij> j?/2-3əyˤTxnp;ig$'6{ߖv|nS!E v7Z {̸$(rl-9[q},۠ XKcjy%~+aZGe8> wXN?gTF':xn7𑉚]yI4+$Pxg) e ldJ_ #P%yvJ=K`]!7bK|SjC])-j0tu )ٴDh*q`0e4I]ڰIk6ꞕ=ؾZBPQ_Xgt:zۑ@^DRՃ@mW͗ҦrOdKi3w=,>ܣO0bil%;׌ r6܋:tNS/K3ӥ^&Kni=lK|  WA^[;sN;+s6q7}YÖ=DL;'ht%D#nN٨J*J>Ԡ%[nxG^lEᵒz0GBʧׁAM.1-Jſf&9/Nݷߘyi]t5S/s%}g( _T]MU GΞ^u}Mn9Zͬ6,:̲o$JGL9=ȿ/y&pޛG HWfRݍRYZZ"@lA燴>۶IvnB XK߽ 0?A*$^ }Ih۶'ј `h\]gڿ1ideTSiCku9ZЃvH6׷pmʺu0KK}KYڣqڽO/ {0ߋ  暔- d%gYZ ~ ~)(C[% 4Propositional_Proof_SystemsPropositional_Proof_Systems.ND_Compl_SCdocument.tex7zXZִF! *]A-MՋhvG"uIBm5ģ5zaLAG*)#7†|Ekl>ϫ$jljėgJL ؊ٲ s9y"~*BB1jSV쒙Uz:Cl94i ;}1'y̱KB->‚aK8bDq>ٻz)$ɂZ\%l&f :@ּHiD /ܜbm:M'?æw&mN}- vծ/;7mt\JO.uд[bP1|S$|F Hs&'\*شGi47A.dKǪkfܹE5p1螞TAN{OR a]$Ȼb6E*=4,aDa~ @ZBx e`=Zkâ󗴜P'-ڷ+&8'!]Iag)gomQ3c P꜂Xn|2PMvz%hp0i=_2I FwPc[L_M3KG+_N׊RCe8BoD,2zD GV,?y s[sm$KGD 5-j%a!b0 ljX Ts\;,rv L8{3vT-';}?Mjפ_ ՊOVݽN_./VSR0MAP\S藻ӥT;SZ݀C?"%IY{ ?ƏP=+~kSGLǏ;n࿳6Cq%syJFB8>&s'٫\8/rJo?9{ ]}Cyz!]24)T 2]Ch: T2 gYZS'Cw% lPropositional_Proof_SystemsPropositional_Proof_Systems.Resolution_Compl_SC_Smalldocument.tex7zXZִF! +w]A-MՋhvG"uIBm5+;I'h{{qR8 gPW",@㣡TvĹӒn_Q)1==:̺wx ŵ6|}A=i:&{E>lBaeRx Ev޳rV-C4YJ}Q /3R4Ǚ)` Azp g:d&um&uΎM,D0gKը>8g{ *,-IS ,yIiw/5~pƽ107f!"Csl po)u%) P͇ 4 @L1n2[NL3`򜌔߄&=+=X">Tw1_^8 /XZ4V}F笮CuU/'L^;,%]Bkg3 |/ <yM -= =ox=a!nAI&aa'IP4g~@f$E6"׾_JSO'2$r}apް߭Z_ؙ2"w9?Ah+϶x s;awz-ZCr5Ȋ0("} 'Hl<v۽U(,@Ok+ț6r$~eO.Uͦk^n5?%0Gs"|BŜ}rPKG 4 @A$[˕eT"~|IÕ/fP/ h.^:牵 ^l7Ə@"[ ~^qW1uL} ,CMI9C9}2"]ٵU^CT%\P5 2gd_ZaG9:G 1>FG|fww/| b_əq'=f[oqW&~tx̐RUe7DP߃9`Z ~NXO"Fӳe@p3bUhuvv@J;Czu.F*?NqݡD`xzR9L~݊ΆЉ\54}=.|P!32ʱƩiXՠP2qbp  -|wW믴Ƕq-hJ#e L/l. tivuYBհbmMMh?9p[#{c%f\}Fe'{MsT>z>BF9c9LW ol̩w媺^0DKkqI VƁgYZ  ,*Ca% 4Propositional_Proof_SystemsPropositional_Proof_Systems.CNF_To_Formuladocument.tex7zXZִF! ]A-MՋhvG"uIBm5Ϡӂ.~M{{+: .h ώlRM kԟ:"%.C uEN;fXd-Bѷ!']NPM|@ N?/w*0.,>䯻6 "ϾF%,Gxj2q7.-/YnQ!5ÚJѾRh}e,_b|GRƵ=eɧ2%Sls[= )yn3Hڛ:t34]"a7 Xgߵpڹ8wZFgbާm|oVֲ|kc m|u yre(Ƕz($,/tigR`=51~jSl(/ST閌<&#+|ǗoЩnZ!v0l|#.5:RQ\ 5E3Sאh *y>E *"W@pvL y'2aM̴O-2xWH{r$Zy}De6ԕhQ|U? F #0l!S:41y_D敚t2T([ Jms%#\W3#|=kka%ou kbI%CD>Ϥ/p6W݊>ZҞ }I{|y8YYkp J 棨/_ ]Hi'1@=GdɡY9f?섴Ibs܇r|'Jfg\!XA6&!T2rϏz;*Ye;Dղ fiT1bw1j"NX@"RiX69{^41,/JpH-w\g m~-gI[Fŭe(Sqt.#I7 ξnbipDn˵k/>]:78^]lR3x;!"/6.q$ʇ<0#UtG?FNw ,? ZmSnFӦ^ccڎ+dNP.(hMe$I[;{[ 64gYZ:)C]% TPropositional_Proof_SystemsPropositional_Proof_Systems.MiniFormulasdocument.tex7zXZִF! ]A-MՋhvG"uIBm51dε#dLj5HVA*7M)yW0 IWݼ:t)iޔ%Iȋ*n7cb/QUՙinc #wR3ok*pUyC7lA%=oƬzb6#EOґ!6v V֙ 4>?p9T1i㩲rSzH i/|,sYoE$E)nl;'#I^B#z5r߷a-^3i2ʎ0үN%m&Z^k}4ГyP)BѸᔾJioCÜ @ Μ5+Q|H FأJ3W {`-@7*e5!?UqfvQ _bVTr[SRU(ɪs+RX}QH.^NiOR^%A" wҊ(XdP$ێ,(aF,: *w#zosVf A P|W6ĩNAR؇zäj-}d= .]jnY}>`2)g5M~C+/=P8lZm.{6vvt G3O Qlilz@Zm7 \0r'҂#:lWZW4 f,&g25C,tW3zS&(ӗt˞WiODK ;)%𙮄"ee/96Op gՅ!PZ8pw18u;MKk 9=! LI>mf091!R66cf}Oagw >IPVD پ+ QG{M:+][?ͪI t>Y,\FJMku/g`~MctzkGl@Lh) :aH}TfdvH$s={ !kNÇQz~*+[&c8Kg"ˌ=3`fM(.$bl~DU r+sɏ^NG0ov{ph\Hoh*; j2\P_҈/t1ҀGCi7(DWP|YUS:Ǟu.AѮm{Q(Kʋ5r^]C1ZIfGl jUXJ`Rz)ߌ*G$M'ѱ0Pk ?`v.\/V,(ba`ƫZQ&b+ykGy-O*;B%.˭<}l`JƉ2y!N5#Q^oq4bޞg َ5 AgYZ 9 9,Cg% dPropositional_Proof_SystemsPropositional_Proof_Systems.CNF_Formulas_Semadocument.tex7zXZִF! ]A-MՋhvG"uIBm5Ϡӂ.~M{{iɦFAv Iv [=!.Q7)Am-+Ɵ]8Z0$RBEsuRkV m"']WF΋_ j1N7@ƞMlT웇} į*'eRr'9>-\Mj= *#r2 x5 ʐ%j=_b'#Ezi^x#LUy_2Jk̏1p(J&<]Mcߎ&؊xVG<ж 6rVdIL*%ȵxtma';fCBI_4HI;jf+l^ڼ +|Ya] * +͘$cab"63 岩Ve(vXQ>Ũ0D-Pz rj Gk1-~~<@|#qds@c _B[> 3lܺ"2q'e]4M}Az~s-+d1zxґK`5=0N:oʔ;1?z?)ª+%3pGTtWQ) dGZ0t::<qAJE}KMߐ>wǮs+B8P9%,E ΠyFȏA݅6uCYCqهبᬁ{pe2ON+Ԝv0dqmH?ܖGi_ I%g ڪR5_;kRQ$}DU6zmPAbc#>^5Nah4h$"s<Wצhk)_a&nċ'VY'F4L)X3^<ځ"e "ôJ'܁ A gYZ:+Cu% ,J슈˕X`%ؕ 6]\Mv ԭjZGjhȾ#,ͻfESZ_v|'?U˕`s2Mo҈f P [Ć>FkG$iՉdHI:n8 .ܵ5jB|3PeEJPDA+/u 9YjWΛツK#L]|[bBBndx1_Cv<|X$u`bwR*F\*i1Wpo :[9r*颓asTt. mbBV7&mv2B$6MX,{o$zigԓۡՎoSd_Pӕ3 YF;]UC) ?iXҊ%=d]\\Džy%S-4Mbn0d0&L@g*:1A.ڭ}*#}6oD܋Ju&]Paj .֧q4uW~(>TRO ^#H ij}6em^kcEִ^6I];J;]9o,o 8L$qZ z"[;".!nc0x=&N'Z|CcJ]lMvP ҴN )uNp3|d9 Mg K6>u/CK% \Propositional_Proof_SystemsPropositional_Proof_Systems.CNFdocument.tex7zXZִF! kh]A-MՋhvG"uIBm5k3–8 .+A[;ƫexPT;"rm +>js&5o f4{X Zڀ{2߄]ZK 7}A(MA_Ẍh0׊+ S*7%@OxE cj"5A#Pݴ(C #7 xx'A@*'!rALAK67UdLoՁQK* 3 iK΀28}S|&y|DI@؉FACΆ!#М6%1}*AMg0 5;tpEz+9ڣfEsRzR? v| kL F7aH{+h(tJ;3, 5WqS,8n2AGv&VDdDtg\dj'͞҈^tb9IW?^ fea+XN}V©hSi6p'zY q7rsPln$]`7dՒO* nTvȭlB1h! !N,yo#IZ\đO2!}7 )RJ}_-Ԓ+::~=芬s:䞦X96)^[&ݎܯ-8BK%lpS4WQ}VA#rl G'[b$Xen:i}Dqɖ 1]8g9H%.*F(ܒ1;Su}4ohֹS#t 74?޺W c}`@XPHN3_O$J8.a(<1#b-l=u@ ,B_^}n"`T-S*O4Gsu~VZ>C;NyPڮ3ۯh&qvԮٛAJ&43p{""g?Y¾U%> uSki>(\~:ȳ"=Mv68 *Kpd |Ye6=ۋ 6hȴ}St6:aPw&>eD`yМS™BDD}c$؎TȌ~ y]! u9ĚCA[ rzǵ o][(n lc\G{;:)Z&h ԿX$<I^Q).q5_ A0 rgYZ   m. E <- )gv  3:   Yr My_  c  LCK%Propositional_Proof_SystemsPropositional_Proof_Systems.CNFdocument.tex/%PropositOCQ%Propositional_Proof_SystemsPropositional_Proof_Systems.HCSCNDdocument.tex3QCU%Propositional_Proof_SystemsPropositional_Proof_Systems.CNF_Semadocument.tex2ZCg%Propositional_Proof_SystemsPropositional_Proof_Systems.CNF_Formulas_Semadocument.tex,$%Propositional_ProofHCC%Propositional_Proof_SystemsHOL-Library.Simps_Case_Convdocument.tex5WCa%Propositional_Proof_SystemsPropositional_Proof_Systems.CNF_To_Formuladocument.tex*UC]%Propositional_Proof_SystemsPropositional_Proof_Systems.MiniFormulasdocument.tex)%Propositional_Proof_SystemsPropositional_Proof_Systems.ND_Compl_SCdocument.tex(bCw%Propositional_Proof_SystemsPropositional_Proof_Systems.Resolution_Compl_SC_Smalldocument.tex']CZCg%Propositional_Proof_SystemsPropositional_Proof_Systems.MiniFormulas_Semadocument.tex7MCM%Propositional_Proof_SystemsPropositional_Proof_Systems.HCSCdocument.tex%s%Propositional_Proof_SystemsPropositional_Proof_Systems.NDHCdocument.tex$WCa%Propositional_Proof_SystemsPropositional_Proof_Systems.SC_Depth_Limitdocument.tex#DC;%Propositional_Proof_SystemsHOL-Library.List_lexorddocument.tex"X%Propositional_Proof_SystemsPropositional_Proof_Systems.ND_FiniteAssmsdocument.tex!EC=%Propositional_Proof_SystemsHOL-Library.Cancellationdocument.tex `Cs%Propositional_Proof_SystemsPropositional_Proof_Systems.Compactness_Consistencydocument.texRCW%Propositional_Proof_SystemsPropositional_Proof_Systems.MiniSC_HCdocument.texn%Propositional_Proof_SystemsPropositional_Proof_Systems.Resolution_Compldocument.texeC}%Propositional_Proof_SystemsPropositional_Proof_Systems.Resolution_Compl_Consistencydocument.tex M]%Propositional_Proof_SystemsPropositional_Proof_Systems.ND_Compl_Truthtabledocument.texPCS%Propositional_Proof_SystemsPropositional_Proof_Systems.SC_Semadocument.texKCI%Propositional_Proof_SystemsPropositional_Proof_Systems.HCdocument.tex %Propositional_Proof_SystemsPropositional_Proof_Systems.Tseytin_Semadocument.tex T%Propositional_Proof_SystemsPropositional_Proof_Systems.Sema_Craigdocument.texUC]%Propositional_Proof_SystemsPropositional_Proof_Systems.CNF_Formulasdocument.texOCQ%Propositional_Proof_SystemsPropositional_Proof_Systems.MiniSCdocument.tex %Propositional_Proof_SystemsPropositional_Proof_Systems.SC_Cutdocument.texMCM%Propositional_Proof_SystemsPropositional_Proof_Systems.Semadocument.texBC7%Propositional_Proof_SystemsHOL-Library.Countabledocument.texKCI%Propositional_Proof_SystemsPropositional_Proof_Systems.NDdocument.tex %Propositional_Proof_SystemsPropositional_Proof_Systems.Tseytindocument.tex T%Propositional_Proof_SystemsPropositional_Proof_Systems.Resolutiondocument.texWCa%Propositional_Proof_SystemsPropositional_Proof_Systems.LSC_Resolutiondocument.texcL%Propositional_Proof_SystemsPropositional_Proof_Systems.SCdocument.tex FC?%Propositional_Proof_SystemsHOL-Library.Nat_Bijectiondocument.tex ]Cm%Propositional_Proof_SystemsPropositional_Proof_Systems.HC_Compl_Consistencydocument.tex QCU%Propositional_Proof_SystemsPropositional_Proof_Systems.Formulasdocument.tex EC=%Propositional_Proof_SystemsHOL-Library.Old_Datatypedocument.tex AC5%Propositional_Proof_SystemsHOL-Library.Multisetdocument.texTC[%Propositional_Proof_SystemsPropositional_Proof_Systems.Compactnessdocument.texICE%Propositional_Proof_SystemsHOL-Library.While_Combinatordocument.texT%Propositional_Proof_SystemsPropositional_Proof_Systems.SC_Gentzendocument.texTC[%Propositional_Proof_SystemsPropositional_Proof_Systems.Consistencydocument.texLCK%Propositional_Proof_SystemsPropositional_Proof_Systems.LSCdocument.texUC]%Propositional_Proof_SystemsPropositional_Proof_Systems.MiniSC_Craigdocument.texQ% Propositional_Proof_SystemsPropositional_Proof_Systems.SC_Depthdocument.tex |N= }  ^ ) d  g  t |wZCg%Propositional_Proof_SystemsPropositional_Proof_Systems.Substitution_Semadocument.tex6QCU%Propositional_Proof_SystemsPropositional_Proof_Systems.ND_Sounddocument.tex4MCM%Propositional_Proof_SystemsPropositional_Proof_Systems.SCNDdocument.tex1UC]%Propositional_Proof_SystemsPropositional_Proof_Systems.Tseytin_Semadocument.texPCS%Propositional_Proof_SystemsPropositional_Proof_Systems.Tseytindocument.texUC]%Propositional_Proof_SystemsPropositional_Proof_Systems.Substitutiondocument.tex.SCY%Propositional_Proof_SystemsPropositional_Proof_Systems.Sema_Craigdocument.texMCM%Propositional_Proof_SystemsPropositional_Proof_Systems.Semadocument.texPCS%Propositional_Proof_SystemsPropositional_Proof_Systems.SC_Semadocument.texSCY%Propositional_Proof_SystemsPropositional_Proof_Systems.SC_Gentzendocument.texWCa%Propositional_Proof_SystemsPropositional_Proof_Systems.SC_Depth_Limitdocument.tex#PCU% Propositional_Proof_SystemsPropositional_Proof_Systems.SC_Depthdocument.texOCQ%Propositional_Proof_SystemsPropositional_Proof_Systems.SC_Cutdocument.tex]Cm%Propositional_Proof_SystemsPropositional_Proof_Systems.SC_Compl_Consistencydocument.tex&KCI%Propositional_Proof_SystemsPropositional_Proof_Systems.SCdocument.tex YCe%Propositional_Proof_SystemsPropositional_Proof_Systems.Resolution_Sounddocument.tex-bCw%Propositional_Proof_SystemsPropositional_Proof_Systems.Resolution_Compl_SC_Smalldocument.tex'aCu%Propositional_Proof_SystemsPropositional_Proof_Systems.Resolution_Compl_SC_Fulldocument.tex+eC}%Propositional_Proof_SystemsPropositional_Proof_Systems.Resolution_Compl_Consistencydocument.texYCe%Propositional_Proof_SystemsPropositional_Proof_Systems.Resolution_Compldocument.texSCY%Propositional_Proof_SystemsPropositional_Proof_Systems.Resolutiondocument.texWCa%Propositional_Proof_SystemsPropositional_Proof_Systems.ND_FiniteAssmsdocument.tex!dC{%Propositional_Proof_SystemsPropositional_Proof_Systems.ND_Compl_Truthtable_Compactdocument.tex0\Ck%Propositional_Proof_SystemsPropositional_Proof_Systems.ND_Compl_Truthtabledocument.texTC[%Propositional_Proof_SystemsPropositional_Proof_Systems.ND_Compl_SCdocument.tex( ? X?$3CQ% 4Propositional_Proof_SystemsPropositional_Proof_Systems.HCSCNDdocument.tex7zXZִF! %]A-MՋhvG"uIBm5;[BXRhw?v;W2Fnv+&I^zE-D.-F +/gv^+DSm_D=V<إo)e]L4WgTJ0قE{;t柉k.+&pTw"[@>tǻV/*[#-P}z%Hz>ŐJʩ/VѴsIx+5% p]* "#,C,UF /R.: %-_auWwl0/˃8&ГVg\Qk~V6)̭Hq^b y xdkE"tvZ〭Ģ o@-ɫMTo08'߹,Em_Yٯxxu1*B- l>oͽU TώUqM+ֶYXԎ7ܓ?X:}QInrUt(fO6g8ÓaxymM 䍪\$1IdC\HCڞ./}dǗbT p+Sܘ.6*\iAORuS]:jdge"i BgA]n _pA,Acn eGq&h~⊪mۮgC KBL=&FmX M K-F]NW9ݱgYZ2CU% Propositional_Proof_SystemsPropositional_Proof_Systems.CNF_Semadocument.tex7zXZִF! 5|]A-MՋhvG"uIBm5Ϡӂ.~M{{!C v/1U,K'QQA[ٯFA"CQOI_w "|ޔU^>MlrCBіQ¦3F$$Pt*‘ Yh_ϑ‹៌2qq*}T4CTYB9T87hvҽw ]BMjSG |; r[utOLj_ 9$:D ,HaȗeX1zUͅ Qlꏱwʹ<чk٥ =XUX6T< &#Z=V{8mcg\FyAhi#CR8vJ$„Qp on+?tȆGXh *=34 ѵp\$I(GUO+;j9[D8Ϝ`L$`N`L%4g55f`)o֊NnS Xk F9:np&&0 +3퓀PsIiնٱgYZ^1CM% ,Propositional_Proof_SystemsPropositional_Proof_Systems.SCNDdocument.tex7zXZִF! ]A-MՋhvG"uIBm5ȑ&5_w<Ͱ/4._n.1~_v9t- +O!Y DVcu9qvJyj86 dĸ/lҀk0 H8O=0& LNABnШK !e*@ϫ93{vOYox=RQXCòH`PIY,ZGNB*-Eq+O _>'1 GlP@2LI^e(?@_Wkh06;-P~dgYZ%0C{% Propositional_Proof_SystemsPropositional_Proof_Systems.ND_Compl_Truthtable_Compactdocument.tex7zXZִF! ]A-MՋhvG"uIBm5ģ5zaLAG*):cS4-NjZNCsAޓ?($ yb셪}m ݾ:2 بk&N*bp0Vc+ʆ aٻ:}Nw;qQȧ=7p,(4VfEwH [kXI/ܹV+Mȧ/X{ΜQ8zlu^XOk vrvAV߶H4u!6OKi4xl^80]:+/&#ZVħz< le82t3e=.ɧd7AT(z4?Q_Y7a橈 F1mXih^ 7-yT!.O.UZn Ky|聃b |adQ1Y\#^SĠdxh\ïG:rv25L|)'̮  ~'sgYZ 6Cg% lPropositional_Proof_SystemsPropositional_Proof_Systems.Substitution_Semadocument.tex7zXZִF! ]A-MՋhvG"uIBm5Ȫ_˛AC j@u&,%0L?nzG ?D7UNtԙZsHK>8m9gUٕi%[{\T(պaFgڒ_~20}ꛔw̸V\ 1:X8*,mi68:pvn+CeGubY yX?|O48ֽ.%RUsvԄudP'݀F$՜~e[4^r p+E%˦Z%h}'rPDy:nj%Y: Rd`9@<]Xq0N:PZ."F%ѐ;͈B'HUsS׏;@4s.۪WnGUZMIcEK& gYZI5CC% Propositional_Proof_SystemsHOL-Library.Simps_Case_Convdocument.tex7zXZִF! ]A-MՋhvG"uIBm5ȤP9~X^yafa[uU(jzu9| NGPrwQ<R5|e|hI)W8W.Zm *+Y_cP8l D8b5vHʰIVL &9{a.Go/RG_ϖ XN8#p[HInIt,dFJY/s7RŀƊY wcօzs@(7;bS]M ~aӝR oƵ}1+r[ȷ3&Uoλk[_4fF.o ogYZ4CU% lPropositional_Proof_SystemsPropositional_Proof_Systems.ND_Sounddocument.tex7zXZִF! p]A-MՋhvG"uIBm5ģ5zaLAG*)|ԃ8×A%BZܾQKg/(EڜF\k|4j6O5!Z$G'٦uHV)tlhَw"xvb1aE4DXȵv|z"Ҫΰ0XSk=5P G OBoo `O!U u]Bf}k,+3ȂZ@SPɲjWϔa7SO808.v)gTZd@NgnyHBjAdn/z9Ffs[ߖwYox)קxg;Wŏ?8؂שAǠkPMH![Jec^lP=q]IrSMDZV)xt4"C-.؋f0jm2-KDuÙT.kP7G.ySz.fUgYZM|bһ '^SQ3|D93:DG ьOs.GI,[=&{mKVszOG=p%LQk9U Zh dQJ P2 6poK=^q"/P[Lrk{NXj;Lk"yH&_r _@gYZ7zXZִF! n_]ŗXiɟ1˦sS{J4jiMߙzt EW'E\AB|2K—KbtH}ցR;+e?y@0D__+L4D(Q ~ +Ir\5 ~2 &Evq,O<05!096OZWGr"qRMCḁ9 wcoE_jMy a} SJQ/~MiTo7F5+(PwK4)*qo\Ϯe1 U~|eؼhu[Z" ;D5܁X?@ fd:GH JGzO]) A!'Hr FZրH^N(ch(8DL`p3g!T4kl&gYZ7zXZִF! 9d]ŗXi%;?h_ٕҎiXgb7ɒitQ܂4c\,K N[@9WܟczICa  :g}zm?۔~qز07X+U,i=vo~8WusC6[C `6;K2*B^Ԉ02(Nt Ud oN6Id%6U{~c,/1}l3߅5xFٙΕ0{^[ߍhɒZZ|Rf.@vm\@Zu ˧y؆0T!&' 8!GRrx`ζ^yuȺVClY/] ># LZmȿx#@ocRۯII NݴzK4GA}F| Mm^Q(~(U'eWĔtn ؁J~W"=jbU'Xخ'eMq/QJ1Ɇ{mمBہ8~=YAc5%D`B.P0Pr fY_-@]n?cz2p c"N,Tt XI"'oE3Pk>: aލC7f]UÚ´dAY 1M0m*+{QY: n8S:|'0/;ch;bj;Fx}ȁ 8e&<(y%WkUysdaV5/n"6zmt2&Haߝ%mq/osʌ|S7`I+%.I[qُq$QՆFrȕw\}3ڇ**S:5f>|>"O?;$Ffl<d8"'UAscJ午䷉!ys,bnx%j!3,pm<;LItnO{N|j .-Q-JuHF%C 7_j7$\*MacJ&mEPaӋuuMR۬NYW@P]0Mkwv%Y}K0QO^Oe g6|9N۟D(lEUe:`^ȡg4aqFZTi&%sEos+'sZI߈E1m>c,2]Z'Qh^GϜJ>˷W[\ +oI"Fb r[ y}zV ubGoդ!r>7FM6T}7KP]D> ȫ.X>Q'˫mw5lʉƛxy!lͱJJnFӭW`nS i_U[_cm66-j^+^G4ܭE&u ~]*ԇxG!mٷ* &)fo݇,%X5ڂ ٺ鯼?A|[8g*ՃsB0n.[}au|GEws0qaT(&ϩ qBpv;.!XJ}τvuՐ1z 4opI)a ^h 9*˒`ϸ0!>oxu᫖848VcY‰iKZz{a0'f{ʨ4$Kz-8-E ƵoX|OfF Y:|0_" s, ɍ0S˵9]5-;w+unUٷsMa͸ Y+ RtX y[ëS;)? u-ƹ6m!Z nݝi=]ݓ94;Q|&1kߖHP=+ ,¨uGDyk vn8Fc!-P_M?D|K1^2+dW..SVB‰kUĿm€=S?2865J-)ӍޙH=D.(wFo [iG:gϣl\# $dⷩi)=40܃:+t L nF"Z7j$}iYJNX?-OdFoY3/`M5̸|x ׿0:W؆h6[: hYFV=>zZQAT7T푑/$t!=dlpLI7q'EHHUP >nG~4+Xt9ip_f,xJ@o#NAm2J/䕳󈠔xhEbn)|+n:4{ϝe|X/%1ڏأa#CoX Y/``1ORta~w%kk| SZY7 ghl:0hTf*.:ͧ:J﮹ɸݬV_w~c"vipRڞE1ZCװd:NP"83mCj# @8Zɣe{M8ƅ>)J[ ؓk@G~_h`f yav )V 8䔗;qiP$:fX\qg%5 ̖V+Q|r ul{$1jT;,cp7Nv͝gӀH(x EXLAy!<.5ak:=1 AQy!Uv1c6-c1ܼOż ~#$8RF"ZVl7fI&g t5p| )Gj^$$ZkR$uG֡-k$(bcQ"mM+sJqn 9iRbMF !>Eo9VȤ{YPFۄ$KW\tm:c]V.J5SMbaZ֮mS?XZ%&Bg/cIj7b(Ü CD귔ςS֘Ht0"M5xDz(8y?%{ X7R\eslxKaK#JS)|"e5c/GBeWWnW!u{O W)o!!̨}^e ظY-k ٻmۊWaCt-̡RGLhh>f ~rNJ!>yRk==ZU䄍qu m']GOL?L`T~N iWߋvzuf) q˧΃j:lܤSSH_P~h'wyy:SE %5Vi7||J%(q7s&$^CǠ!Aʱ`2҃ 5$D@c:0R0tZJo>k.lAg5#ҟd>Tt4gqʽm˸OcA BX4m{x#1xg#{AR bVG@O\{(Ⴥk'Q Ҙ _ܼ}- $͌Wkt\T픍"[+Iqs46q%A]Qu6T5Sg6\QTZϗȚa1h\.n8vcz+OLL'2=nE?_KnŦ@AxXm2w)P: 3/yHV.al)zjX$$(lY,~H4kbd4mX -vGxvO YE|0&:B_ V^ ʲxG\ FUC^\눌ܟ+$6kɍ<n~R/_kɵipir'E”'Pġ]z{ H oWK&䧋YTwL݄)i'Ojq؃U6靶<'"5X򺥴yhjz#mTUz ԶKSz16S,$ܱ.*Ɓ>L\;xK㰐 g}FCP c"NSȗt-Ջz6lD Kmp9-|XKeZy_>X#r밐ΊXR~n-rh2}J:uB %驡 H9XYrMU<;Qp@oU4NZpgj g3߉:"_N-'M_4MPYRvި%M 0ND"|yA>5=j mg _FUc?н_3n;"[dIsuL&%)5E#&H4yB80Tܸ@oS=l)$V'bsőw&t[ɘxSő#.u&J߿c8f)ra0T"j ߵ *l?8|&}D@+W!/f!˖4k(]q;WH%|kDc^ O o}'Y쑓0b"d0#dǫ@>f\5]_bcpL[` j&r<ԙsn;vL2L8`Ms+䶰}*"DPb`?zMh˨{"n׉g6tt)$tJ?]k{͗!/^Ώ"Bb0VK=Bxce{ i"!޺Fez2 m?8! ְ|ѥG͂dlyх1n,<~·)GozySqȋLEyϓa&cuz;MMzoJ_g8{Ac[r"d4P3By ݕrX]%BgMa,V w A [g"^\q@4{O}dJ DfLjz2^A))-Ayœq~s7+OӠ7LY߯5M"Y_99M[:.*o0 5ZxGB_lzR3y')Ap򎯺~