SQLite format 3@ 9M9.  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 (C d4 ]/ Propositional_Proof_Systems:threads=2elapsed=113.199cpu=211.164gc=12.168factor=1.877zXZִF! r }]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,j lAjj^ҭ3h`6rA@5pUGzk }qwmgW^c2M؁ }d-]gC!Nw#R={-FVsX V )VE8s ȊD1'hH*ㄸy]b '3;NF>[LW . +)ο"kc65eƶUeU9ܐ1@CO 1dw%Jjr`S[~qRx{SC)}uGP!v0z+{(YA9iS|0ź.tV.7ě]WItC&]ТR ϲ?Ɩ&2mkvdd}RuEbc\cšS5_*9 Fzy!Iإ(\#  ,Rt8լ '@+!l%Nh,5⻸hK)ON̸pQoA?"X*sZ\i.7cB >+:u IrIH1!.nuC%W^̈́RI+XT-$Xupy J>lb _Q/.TT,{9<\a)J9LAJ,@=~kX7je L==NSr0ERq&MMf0[l~8Ǯ> CKc7x ˡdaa@.d|Y)AJ#\{ig,bh09oͪ Ɍ Va+IJ3jAMGڠxش[UΞ4lPKڤt-R$Nt@cη.?]0w#|Iy,?y5e;*P80Q3,WJ/ýV71#pzk0@>7]v6U]mb"eݬ0(<2ncx#Q~cY.ķhޒ/5`@}Mz˯ Ԍڐôn1j#L>7P\OPO~F&%PdZEl<,SmkHP8<,;xV`Z mO_n*o!n VY?١*AmңLw˰|͕?] /X]x&m)!YpC^Qm[IVvSg\hOi-"4ihJ[/`c2'1\]Qv-̚pIs: Rg(vpNo u$njT nnrAh*D+HH&Fn?cZ4aEe;uM%/?gzzڂUYtZ';;3ݤbS'z:@5-p4&8dOx[:$"FJ~R% w}Yj8Z}mI+>xD]6=DG_f;YCl4<e1 Fz#r{yL9h;SUVmd?wd޵A .?i.`ےVj,_o"C}> agjǀXwBc㭳B @l,“s7 •CшvpݠžPsf|G$1'⯡k.Rb3\[D7m=x}8HjqsG_8bW=۹Zt[N'7VgCq>fg2ioĝ\8L8ڑ|_J۹R {3+Wos1A2E C(ƽiI;ҽplL 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"@!? >=<;:98754320/-,(& $ "   I < )t     Yr " w] @( c b P3LCK%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'MCM%Propositional_Proof_SystemsPropositional_Proof_Systems.HCSCdocument.tex&]Cm%Propositional_Proof_SystemsPropositional_Proof_Systems.SC_Compl_Consistencydocument.tex%MCM%Propositional_Proof_SystemsPropositional_Proof_Systems.NDHCdocument.tex$WCa%Propositional_Proof_SystemsPropositional_Proof_Systems.SC_Depth_Limitdocument.tex#FC?%Propositional_Proof_SystemsHOL-Library.List_Lexorderdocument.tex"EC=%Propositional_Proof_SystemsHOL-Library.Cancellationdocument.tex!`Cs%Propositional_Proof_SystemsPropositional_Proof_Systems.Compactness_Consistencydocument.tex WCa%Propositional_Proof_SystemsPropositional_Proof_Systems.ND_FiniteAssmsdocument.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.texUC]%Propositional_Proof_SystemsPropositional_Proof_Systems.Tseytin_Semadocument.texKCI%Propositional_Proof_SystemsPropositional_Proof_Systems.HCdocument.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.texBC7%Propositional_Proof_SystemsHOL-Library.Countabledocument.texMCM%Propositional_Proof_SystemsPropositional_Proof_Systems.Semadocument.texSCY%Propositional_Proof_SystemsPropositional_Proof_Systems.Resolutiondocument.texKCI%Propositional_Proof_SystemsPropositional_Proof_Systems.NDdocument.texPCS%Propositional_Proof_SystemsPropositional_Proof_Systems.Tseytindocument.texWCa%Propositional_Proof_SystemsPropositional_Proof_Systems.LSC_Resolutiondocument.texFC?%Propositional_Proof_SystemsHOL-Library.Nat_Bijectiondocument.tex KCI%Propositional_Proof_SystemsPropositional_Proof_Systems.SCdocument.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 TC[%Propositional_Proof_SystemsPropositional_Proof_Systems.Compactnessdocument.texAC5%Propositional_Proof_SystemsHOL-Library.Multisetdocument.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"?"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Х7ENq;dg|^;1XNUgK#tq__)I&L;$lɋ3~<cCE% _>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@ŲJgYZY0/2T\~HኢՃN}T᥸U "?T YS$Gso8鈸LC(a %A2RjV-Q Ppg.U):;)TZ-_Sm{$בdBA8a]TBPtIFr{JjolMwaMi2e' $D%]]?q%8/27 sV$:%kt2+3WQy]no%zE]&7ԗFX #U}МɦhiZ關TMb)rrקtsDUD"oo>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%eukjJG#EϷY>I#ca*pQo-Lm[{R_s\gÔ2Z~={Vi¾?O"AWf+C,!sw|"aplS.xL0w)->+Ixwŀ̧64V30cF ox?5yw/˧}A_DZ/C{,g͟s %o1ʡ45/XM$ 5wq)]9~J3J[Wd"O*16h$%'bfSOe ռ(LM؋[)Np# nry'͌, rq6E7|yL ^w L.ȟW#l"``A2,+m< zxylWbsm{*@9ρl,@6bPaWo̮@vae^Dh/P$ SωYպċ|`ܓc@|X>_2^i ؏~'VeJǰ!eNfK~B}\ݚ@n ;Y,#*$TȘM'R1׊U[C\I5CP7[ۈf@C[3%^mUΞ-\}1/ƢZ%fP;N3y|IhBn- v¾ԀڊcI$o I k'<]gȍ!+F4<LC3sG΋$TiZ;6VIc\cQsU!n9 ^ޚKHRrCJwS飦K^h*\qk1E)NF"oq}ũ}b/-: {r8,ơ #:,?~2]Cv|*=Ugɣi0:e݌>[ d=PõGMRŗ 8eKBYMϼ`0\ ueJ|X~C IADs3Pµ;a7Cت"|Ʋ_B,+fMgҭ &6cY[Ϗ<$?tL?qu3KŶKjc@V [/hF%CBEOCb T螥ejk;pmCNua47`Ԙ9/`0mVŽRrhB ӟ -2gJFa.fo 1Ce߶$,*Dy3bH,*`fH|-D4V.ő:ܳbA~!E 璑 YWb !_;Kg pBN`}Ay'j]eY7A#F7\|u+* HC.A͂ CQaQj&c%R3rz{NZ@ R^)L۩,Ǟ0FߒQ~>+O='R8hK\!hxRi4Z-ՖMZg̀e+c?ʩa +J+NS7ڤPNf(ǟIFt3ڶ[#ǫ ڳjSkFDiwe|\EfDO<71N.Q2Y2X!6}NfGMř-:̅F]QZM !?EkکE Zr:N xՎoǼ);-32*)rDB'{l0uAӇRAT9.|<m4rl?C:-E+Le As$%]a/VlR%FT!h2+dm9``+=:PޒqaH]/ ٓ̔>VPtQc*d(Dmݶԧakuf?Q) uQ*TFu#2;Vl"4 ZLO#^ܫgDԾCU$]QzQbBټ{}-f&pPb{T< c#~A1VzocfqaAڅV6?.'&N9:C}.|-!ۍ:QЇL, UVI*F[ (x J/Y%7$lIA|㈐IDedxmTko[9ʚ~{K!a+{JoGzkҬ)j{`u8k)@R%/blܫO|B]6Ar}gR6|w+Dxzb)ú\'2ԥ@RVK1YۆܲZ5͝l8 K0r8aocL1n nQ ('Ӯ|~ـ{a^{NW-qKkF["[-JA%W¿-z$885'+"ȶfW= FDӋ@0tsx ԨvwX̨4ftK[X^¥d< ^#gZD*<>aaTF1.Ďһ~f]k<qU\t ?VROU$pX;%L.q0˟8,M1%o* n}KiuѸ"q*"TJ+=xRFo`|KTӜzc^3[xRZ5?K検PR"@S<ր„)8q8Jn:pC T/?W7.< {N8:>Zc)IMWnG6>4<˳uqlrJr<ڲҐO!lzф".)I>li/9lJX|VdGvcOK۞뎁2k_K%At>]rNq}BtJrZγDwbi9"ftB}n}T;F^i4^B!Cp=yg]Ǟ%?$rIH Io9D@N)S!0ZTp@j> 5针>l EЕsZ>,b/Aτc0ĦF- eſf3׍% T?۪6gX(^"2B pf.:q9 LMbiwqt,ؕG3iٳw r+ze=žQ)ڕ)JBGEԛ7*Qjt )iPU{!ܺv3YLkbA%a%)/*@D_]=lApM`O1xDCp'fdr1 bD jUJJ,pzH6qIWew^3촵Z~i˝OZ.p_zc0E^ƍ*YG`KaECk|;ь~vN7N7ҫhx=v`KE%7FQƴkFS\/Onʿ-)} Y™\mtdJ@X^0> } Fz(W\jD+ 7)/,so@\kБ|l3Z聤qGW}^u-U8HD!([Y_ނe0X5̒"Z)fQ!+ ¨gfEE55,/߅$^ KP "嚮Ř`| O-&ϗ߂ 4_ i}fW!ZPyvڎ:m\&_3A\rm"8=gtl5"P!թ \\uZbZC ćW.Pc\g'%a,&Gfu jKrjw|:H/0DFwXth `IVvfE%O C^;o$ҚZkϸwzbݑRi.I㕩+!F).[oeTHP`vl(Ib/;:AP ECnv\$F-L9zTe]4\&_XJT_(H#%0qO!(\q;ƌ*eE Z tZLeSh ;&DS}}":\Jᛉ?Lߏq'Ʊ[.)å>8F!7T=Bc@4voN Bڟ\43e`E\pJۻDfDW{]O5GWJY`^oo s@JL59z5C8'|liEKi81B©3jiʧO6!qWspXrIs5~ܐ]M,-56X/|~Ly;OwYߵHüJ u$jh\HUf;5=pz$93gl%JЌE?VYAC =itA1sO9́́_3SgW589Hݓ =T !Օ%@E6[$DOZbg ?<WU^jW'+R%lZlobSާmDFy[5M9 2C-6dsF| $Һ˶3=߀b aG40.%*J !)AxpFd D?8)iig{[O%U,N]L I@qr JMoНw$Ih?A-Ţ)Z^-U.au+H-+#igΓݨ(jMβfN&Lb@Q|e[+7b'c{ȌZKT*=bG~~W?sޣo9_ᆪƭnT.43pN!w#XA܂?#B 1BRX_:d2AӊI[X?znVPљ=s3;*ͬ&eN:8?V+Nf Q` qEXmkYfsO Oܠ?O7.dh m1bqӟD O3vjL~`i7tSixh[INjpoQDW--A:3dIoП;[ɿ;:6v0 cn M6ɀC!6֗$S>vhL#cbZv/bX5|(uȶ,LT(u7@)'W"2Iת02HQ` ݞ8&BkMowI}l3O5*% * ( }wdͅ@À=5k֖>d6BȿqZj0O*1U2'HUm\$fg;@ J?ܯyܳYSG-ж<++g;+A@ExvgO[Sqb9iLۓ5ij6 .}&iP>NqJdɲ\Cn0*dT7u*Z_oH Щ?Jݔ NN }aJ\f"J iP1.p>y ?}\YN߭6pRڀLaKBz2Q`#cډq7ƭ0":"ȬOMT%LGÈ_fр9Il']e־&Fyi5I;O:(0 R {H*;rW82Eam4ɯ$! {r$E"D-٦Auxvaf>[xuЎ`"~Lzrsc`eYfrXQvCE1`m oDQJGNo]F|DA:ht` wg*>2dM%{Vzj o規;g^0}v#9sD;bYquH.Jh#)JDgSw8 `UֻȇpX' `'Jm/.>v/w50kL|6~1hz j8 Mj'e'efyDwci;0B FkT=S/&9+|m.HOwmV o1Dr\E0>Y6(l'`>['f]ڻBJ|!%1!9CWC5@+AY,Z- !Gfy ۸yp¥HeA8>t-Lq\ifr FYASXcqaoӪQMIrTHC`~3\ѥ6Ok|D-X^v͘W@WsFP[c b뗵3 W}fs[bbRbGo.z0M:tACzSx'm n3r#n G[KYo%ɾ՛!!= Td ax&,4InKI5J[l]؃L'MD0˥ RʁKQ|h.q]SNEK1w[Yׂ Q'N{)N uh5TAmB* |܍N}N)zfpMS "6-VYuLn.YE?&K.w-L|L" 0i/%`<+eXU]S,PRNi)kLǹ1SCm~huLhW,Ӭ`,vr:tNpޕ'·vjX|- &Ƌ&b54pg2;/ )'(}:x*FB=I!Qh3+R)Y>Oq-sM`(B-SO#:;Ev%kIwA0X<"sǻvObO?%{߲:r(\x ')DaY0\Qчm|Tx Tk ShT=p5'2u IB<0Vξ_e1[g797Bo8U{/ 2!45+ϩ83s}D2xؽRu`(1 /З? ^m!\Z)FBg$F@;^pG?7,&i j =ݓ ; + |}_FLr|"} %^ǎ)sܑ*? DY\2 S.LҢ( YɲN&8qaצ^ft#ל2AnC2͂ i$|URA7& U:!Ȱ [a= [=v1v0E003ϑ(٩۶k-CKV'P7P/w5piy ;r''9x"D(g5KRMĹ-g-~n.~1麛>:[@D W9`ET4-ہSxỵ~%S}m??õ3Y9@OHulK~qv9ro`SqhE0snKHRV.wzNf{[cj%H K&!|&C9q 9;!{`rDr$HgqQ,,rUΨ޿Rl¢*2F32Z]wa2Ox'eD [byZ7,7+[6AqXhfx $bmA:42Va3~/Z^5K0]ٞnG=E>lw^[CD-T D? D#IPP3[>EsTQ(ujOU?p$]duzQ0ɀ·Ym3IN Iňt!WY PӜ4r2")I=Dσ%IDW }¨XH'{x $6H 5QM=ֹcʗx yqr\'W~Hjo4Η'Ddd ьT?ae :!6No &7I:1̋BaN:m& LQp8WȐtPBODà %d7az0ɩ!{gt}$h5hvr,m*83i~4{an(s}΋eZ<;a)k,/͞<u ]{:s.. $(0j/ig†הp@\SͿf\?Xi^{VKH)vOEʤ`|^K֮h-kMuBLXf'KmĩB3TخDNI|Տ@7:9#l1^5e uxji6Ł&o5?gOVY|+"9`I5FPƂI%PU{Wz>M4'ԄMi8Y>}ݠq{̸H TeP6E3e5j\*\}Z ZHMLޗ 2fcX+dK@%)hJ4 {Y! }p1Lalq4B*E U]bGpp.;6scÛmy8ٺޙ#^G;a 2 &9oHSC5P%7W\Ϧi Ãu쁞Nd%4uhuW`KTw߂ ^rZêvnۮ.ӰSr]CڠkI:RRN[Xd{rF  M4J4X_^є:/ϭجQzJ)PoI=> \2hIO`^AjsD@jc15}cS8< j5b MTDžT&& Ic Ư9wqDp7< kw6kF@1RA±]rwclL -v#Z0ַj4.xw2v͞%mތ#'!$l$+䔸ӊ4Ϟĉ? z-c2TRs)H"qF?y*WحH FFn@+B&d̜BfrnDIo0/a-m,7;yDZ[| 0fH;ޕsxp&jP;Eڐl߱9^>ϭEb~5Q+v 2yӴ'za1C mWcvy;_7gsj i_^~@Jܾvyyo>xP,[OUz(j TﳦDbZ["߽RƇϺ˃ߖ^i qn;rjNl_x3Y?Z L) Ώb,#0I!$KڳXȒ0,53tUB\_#9}.Up~Bz-Yqnk$ ژQŭ!OV5)j:KngџaZ}))K5g9\Mh{J=-0 Akme.P5*|2=<l;j_{fCP ..*ZgVцKO!Gr 3W<]Јqa,niy *.#+!-\pϕ?[Mx m!۩d]ґkI)2|3Pd{cuѶZ;/5A/12n57{"zpXY3_2mܰYVU}jrbNST-]]/J,03ש8})=Z.gȾL|"T`D+_-GS^Ll`\"P  +p$n!?^eM:@>p5 *K:s, 3&%PFIyK9{˦5ʖUfSVw?xNM2,tJA*7q0 A}9K5zQzuxU& ԔiȞ[q`3՛]@˃2bսX"xf-|ul -1ߏ7 տaq_,::@I#% 1¹kULeBԻ73zy"JRq.5?e,z(Ceyi0p֓*b^q]aٯG$|24z"[B4+.MY‰dTa56MFr}J&q0~8䓩AWCxRVڷ}qn/O}q>rD@ i{$QQI"@U^+*U"z^ F(g A_ "<,ݷ ~8(:; s?]Ss(:5&C1b>HfqܡܑJ ,u.Yqg%Dgg#8QN͕CAŠX@_5 SpBh{a GZyKXqGx EZHZjQC' \n)DTNrZ6#(/?.IH<;Hl|5_'jNu1%Q5&kXYxBTyvX(#yr 4C' 'F!ͯ ^~nVc&R=nT"A6šAJ$}#^1:)IqjECtCЋ:U w sD/۟n}դfbZ8_=:t* H}SLփ~>R-^PV#o9(óa!ya3v@,(s냧L~Idpw$LڑTnp+xb:e2#;tx%[&Qi`}eAAM#3O!7Q`'U}{>A;D +&5 H2$*AnMj4?5׺NJOv:f SC#_f%y\R^T8 d<ݏsB@R-rX~׈#[ov- 㗮DynY$&n~U*sM ]S4>(,Q-mBPSJyfyt /o5 Z$s~J9m%'XHEnJzp ۲`+In)Lh%."g.utZό%g0j^n..9l_J4L(s2| -H &N_K>o儗a= 7mD]J^3j7y0G.axFEGΈ_{oY N;gfsP !D^ ~5jOtl/&c],\m:C}t+5z+o9Ÿ!g:+gɡѽ-0HRλ`jkҩvYYT~5\]PTY蜪"]Q_α}J;5(HՇ&IM&/Tx`9 Z0.ň- gl٢s*4P4w"HW7CFfu,M"jVr`|[@bfu oNq YSڄYOYݒ@MlGEq47#19F >Hp0CY"x_AnӐ lؖ\R_a BLy0#6eVN{o(^{z; %쵲ϥD%Q xc~M(\/g[w>[OFVVU=W hCd{[Bu?3ԣ5 {eW}GQp̺uC 6Q@)2DMᵛUwYp0G2$*ju,T 򆡾}˝uRPI̟/ ܸ3tBsrE @D>j+}ygh6$#g%Ka_^),^J1"MdǺk&C3_bqv' rkb xAW5AR*d#/5\ǫa!\s):p@%j \Oo;H!}}R UJ V#H|Ю!k`򕡲j!l",#?뷲9& ;=FUd}D=~Mqi=Edm0J֑{*% N}$-g7Qh9mjUsEHn 3/ТHj蘤a0 ~5":cC;3Z|miev8yN<ļOg 2u!Y$a 0x5W:}N;OUP"b. % WDz҈DĢbrEMXm:LZ9i6T1o"C* hRJ(=JcE3"Vod&5$ft?(QEdVCslz7*naaHapE+շ甓, M^֪w?i2w2m_2nᨋhQ!QG`L u|?bI|=8lH}4*wF:%]s9?a:4l4qeQx'L2SDc?T#iN)hMhO39?܊a8%WWϡ4`;إG"I힇ak6>SW 8& ?_Knmؔ$ %q3h7="^Nʆ*;pؕ79Æ>+U~1ti}-(l;Zq&xEaCf;Ƌ1 ,SmsXYOڝ(3ْ/>_kt.)x-Qvqo-`G ijxH Hڧ]u7P2XLHM@Xvq{&$qV/2Խa:D`jv{H[yLoDo˞?Up&f)b@pknZ)h/gf1V9 D$u}J'$B?W Y⩭ |"1=BE1eLhW'Ȯ% )IV,¤ppFے7<}=]h'Mpt䀰l%vz~'RώL?_2qd֥k :%CDZH€DuswwZMYqo0c E~ѥv4;Z(]y(]tlyPnNEKc ࡥNf5dښYrCYgĬk$jp=5 *%SB)ٗZ+Cd%?և,BgR&.6x]qsl^`X //+|2;F<*Ҋ5nO]3Cc"YlCz@MHn\'PRi^:pO9 gLy"sG%d$nz~sZ]RBUPEB:so_%PIכAmd1XthKWp0VSW:ln z`r"ze A k}8{Bw5A]$ή,'LNyK)sM JnA6ąiJ^˺M"@ c]]46 ? =^,:W$(spźFIVހ@ȗ$/9~E? _\}mqha(bz]9Gͪ)q&q-;xm)Q *,’䱆 mA=s}^)G3} 5O}h hw%|`!1dɍ(U(MF6: oyW[,^E j^W mAә֛߱07ψ!/D⋹4'V=A|VV56lZO>,E-<#ʹo&zQp [V=IS j#gqzX׸FtK$c9𯿸+E>_ ;fdrF %p'tѷ*W.JXش^GH٧J2oqtܬ⎤MCtm9zeuoTմEW=m6 L(1K_s^477E;M B $uϓ }uDw.ߊ$ 9ѱCľ:$-[K/$qSkmk.d1| 7bt`F ; 7TƋ?7cZ HQ"$[TsY,wT!^ 6ַ _ZCP$i8g-[-)ۓ3]ClaB?1c~D/%4~@A`yZn+>%Ld҈IiuS/ievZ!ފbîuQE!`B8ƈ#-L$ WN~\g8Fk b)#mb08qxN %?( D,1LeATƶ.'?׸pG= [RW2ŗhQTs1胏7,t b`KOSg%UVȾ_`=!Q ^Pi:{b`XWr:J"~*[2+ Ws9a B3*L0&ko0B.o]8yaI1qH*.\wȻzUl:[#H0X\>O(uL ~&_)Ci $ֲ[[+3@6# n%vJ叝;ۼQȈiU՗+;7(͍j/N(Ai)bi3t/DX doXc4#alM\J\;Mw`sX$IZOWX1֔~`ejMITw ;nҧxxiy04c؋Sby{Fؐy \IcRJ j ~v\R)$Ƶ7=D9ܮ"栧dKds= , #gd pS_ D#3F)iw1jS;@ ȣy<3UF빁X~_L]dO IL8bV u &F!ta= k=&GW{"!?@lD_ "j7Cg6voٿa;_3eH c:Fq[쎷tƋ8DYJ3'qtr\ٌ6 U%7D ^ΒT7FaEGQ"yx$v]ӚiM<2e#.;GbTǷe]|v6Ex ɔb~1,LNrnւ2ZwɱfM0vj w4m 7Wg̯QȞA(Q*UQ,EU N,KO\҄ԃ\.纮j9!t |?<%+\'[ũ k($u,$ϰ!MϵgQSj;QZ4`_"I aֿ]VF&;_sjvK2n="͵DLaأ'v XB ()d|ˣ. "9mـc gAMqXrl4dP׶;&2gM=D*ƞԝP/)92N}۶m)#2D 6yQ߾;yphq jQ9/OLm]D:.)ar(i8Oћ֏ l ِ\'r LR[L̏*Ov¨uE&%˳3~,zEs{ռA|Yx^=:=<9=cqʼuS~(z r@ÉbVw9Y<$hEWjZpu_Igz~ԽA<O\0b ].Z~SLZG-Knm{8hQ&

c'JZh0qPe$HۃSQ @sPd-'?x8bJH& "N~@W dTPc)">-fbWpGu`Ʒ<^Q\g|v2}֣S,Rw WfJ<q{͗ :U2P]!gwֱ&g@ -1% Z\wԄ+lJ'<IhhX Ԃ,:"2ՌuÉAtj5P9NGW(hS{ug]D~3ESnp F?n?FJ>ǚw.HykUo\&zF ʶz.:-OuLlzHM:yC6m lq}bF*ɗ}al!snh۴mXBUhqhA#.E7(/Ao#ZVNw_r<ܱ\*éaWH2|/1 o.G8p0"9nZXnܠ&j``4EeSO!1HD)W&ckʼnPnMnƊЧDɦv1+ˎ_F2V !/m*3PY( %1i@u=0)7G?ʋGL,jMf~pYkpʴ/ <纴+a_Adc"0KdP)> K!Fe1\@gRYe+VzjTC}AS Q~nϲ7z$aris?iL#?I#w/Bb%ѡC7:T=mxqpXCIp1PEKxtsYPF9ⵛ)'ΆDh_\b`1},@"- ;}=45W=zS:޷ Z)읺,%/͈NՊC1/08^Jvt(tD[1I S7R K\|_֊Z?dwɸ{)cqMzEւ:aIS@Y. N :t泐pQ$O]}f}gAKj( 0a }+d:ڢԜUgBU;{]9\w)\9 ~09R_;˄W:Oj |i,zښKsڥbRj[?[GvĪ5Ǽy`OwbEޱqSb#rjrD?e|)p[;IȔRn냮[=`IxNg3%x}\YY”3nRg=FIfN2խ)䡄 rhw`( !C: J1k˄8zPr6!I=毾܄gs,v)nKLǶbԿ^&& KWnFR̒#Rޤ|v5v[4=e ^8G ._>^ xIDD <%nm&2crw9-XsPՉq\̄{&R8{VmsEۼʄ&v:Z̼]+ig*ʻ22h+`FNVYq9 ,f_|x`X}hx3F{H70@[ҜI\@T%k G{.0Npw*1B`+OJY-&Teyu]`>^{~щȷ[Q$YӢ8GLut^@d[#\<ݘQc6.,&d1a#}^ήT e aPjxJrc+8Sgs]m,_A̮w7X|i폼XK!!Fc͂f]?sÉx)xKqUB ̶?ƴd=d8ߕq1KxYoe -S6"E-Sv Pwt5C -$%V]XS bDz;F d; |=ɸEA[QG(h㎯ r7}++)WMZz*jݍNԏmz!4_ ߯ kO.E(Z^k<[IHc0cp3柟§{nÏ`zWhK&orHKߝY>_zAB3԰'(%zpP`^)6. ,d U!+0$KnVY VJN#sP.<ҕw?¹\m\=Kޕ#Ax*XKƒK@Gu yOȑ,HR&ڨ27#_Ds_#_^D+R'ag{{ L&dzx갰r?]RH(\c[4OlZe,2J5D-`IYcJ2XEZ>> IGK ޲*Lߣ'G{$yv]Y]R6kLq<]$#^+צN- IowVQ5UۃIƺt4(ml&Caj<.ĺo~?dԍ٠7xB\(\qpuFވ&85jQ7unLury|ys҄5八Uml.lRy;m<4{ahM#;7?ÅpY&ZARsKu*#xyf؊aߡa[Pu9TI,jШOTVN+rt`IJCӦ$d4*WTPo̙EN3G #DNag57ʨbh$ebiŜRhEpdz0^-剉v6^,m 뭍"D(VUPvjmLa[}0mAyDF7uQ_/Kdq0u?R&e,L-Z$ۛ&gWIsm'QH,duxcħGgu~БϼZIKu~50"8p/2zZ k.ڊkJqJr^2xȽN-^dF(v w)H;ku|5SUH0YNC816_ \lL'qH <䦮5MOSvfq+aWBN3T- $tᆏGo„" R*|cogkW|/GV@q>v0c K)}mG^s"l1pypȽ!Mqɽ#TȲx$1Dz\m%i__7^]$*V>Vpt`($͕?8T?`>YVnb b#y5@45ز+Je3ű,6= 3aoxR}@ ̱QVǣrXd5LZ4Em\w~ `}UKCtdxʠc_e$C?ld^CuaػV߬7e-eDx %'D1z-'ڮ8 ::+豙E<ާba&%H+=xG^d@3Mu齶ƈ/:&em4 5d3JXYNwWn[LKݥFvX x} =c#K gEі lW4̜ [=WLAr^)pcQ'`)hu6nH8Q",NqRw)/- D!"d?'틽hyb0VçTxI,E3FviyyG3KqS7忾{}ZZuVPn&3-`讔gWjM Rɚgt2јZRGD;izCv(HM{ MS8a y&01*v ٸb[[T}ݗKў;q%Ya:Ҍ/8^^?xoR.nƨ3𢐡 ^{:ivۂbqꢌN0`@Q[}Nj#* j&n [mc=Ihҳc-(V|BJ03!Glz y'-9{8!o޾JXܸ >mKUJJ~e#!J&'UnxbAa~ '5GbJ誗>eG5Υ3k󰃎ڒ"-\8,^oI Y1̪ؒ +Ɏ̷?ʹ53pt@|^%ƾ,>bGs`&<qAGB7dvN%yR+xO2cQqNɉ3@|pJHmbKj1dwc 9f.λZl]9WW(ØG|ڦQY^gs  9,Wdžk"8[s(ng)fhP'PJjz^~M]ضa;٣ܖfIsxEk&ځ#G :4'lrw 1uAO/I'yC482PZ$ ?+jO:FkaIi+2/[\\q$ZtA;3b{C<}s0Ėle! V|HrSl^ө^7pz] Vj x;dj-q߲3*H`sfÉ/Zb*i&JVz׼ixG-d|^$ANt-Iw5M:t'g'"Ufs176R4:0c-f%6ri`V2Fg+ ld24B[)3](@L.ytrFCSubʭrO͵k9E4,I .*'# QJj5(θx"sc'Q_BT 3DylY#OF]! 9ӑ*)끇0+zb}uDά$5;*9U'w5w>q;#[^yWW1]K?+ Q,uj]K{xy!SNTrVG}čQ߲W8|}"%dsof6pÑr=*ԡ"ZզJ3Q;]m4OHT~3Vw$zP)T;nfIC溪gSl} 1H3 \N2!/6E:2LjM= VlAZYtN3gDve&o'ZrӉ9So e[6f8KRеA D sg *cKE di!Fvc'gPd&;hf~+=Oq1<#a.4>h=voo=9߲4m TW)WKvT1 N8NYB|,k-K)mFDKț0 a p;N:e'Ñt)+)ϞٖYbXk0!:}I *yxe}7BOrEH^Lln.ŀgߡ C &PZԶ)kz%eC93PW9ARԨzb'_"x6/_!ݺ|DS0n]eIڢrg G)&mՕwEߊ, h}=w2w޺2 Quk\jLs5x{ݦFCu,y9bO 7$? J8GpOpUDVncd3W o).`u^"tcvGY?ίotE{>jbǂ|h!OEJxf,6:P{54RC( fh+lh)[)MIz-bġK*pwqYSuݷ 9B9♓n߮q\B^b17X6Qm`Ed6 A h\R*돐ZDN5ڨB@$Nݱ3_nǶ&;"zʜnU8Q,Wak:A\07pX37kj3Xͨ}@e9o>jDIXU.klш۸:wpW *MLSn')Gm Sz-^Y8z.Qe_$#aX#œ })J"^B|)*0`6YA(yZMCs "pIJe_w88i\Jr 8ؠDK/*kmXxdXm^/7S_m\!n=j:9V^I;L4{> =̊zF3q   A YOlOJ٘,"I$Д?V˄&}Р36vxb*q]`%G fs#KVWnMi+"23z(to_D*ΎR(h|)CHO &FL w|>L\Nbr[vocU(QkZrsò^G\cYSg ;֩4YXQuԯLޑ_%$v̍wWV/pP.{w6䘻TxGys4~qג]Ey0e#ij9At~pd^5}zӾ\  C.UBR|ӵ3oF/?ǗG^`8,ŕ XiLYg7bL3 rEbp$X%wLk; e^Jb MJj^K}o7%?9 λݕa+rC*6u*p'+Ԧ-E:cg[yNH7%.c`Mދ|4:Z/Ebp洫h߿~YRg6zeN96#|;QAҕz5wwy0F G ]6Li%H]K*X )+Y!=&JP "L\/Ԩ79/)rtt{} j 6@^w!ȅ] K+R)%(D hIh `h'r"Td5֭6o!:#~ ++q?ና";X}" ɒZݼ\.zn-ʹ]]5;/Ս[Ѻ?b2eg_}fł)Or9J#\]@8}S>nj #LlrI4l-r06o^Tt|6fuGz32kzDBĞylz9¾sfn&jo҉]`).{dMH е xSgiTt<)0!g9zݔltI, 6zj@cEz.-:'=g Zia<#7OY!d2h ⸨FRi;@6Gqe$D*`T̑LJ7vXm=}v.IWyÌΧ\9|׽ȵJȗS" 7'Ӽ5-eJeR1zG?j`*qm읂Wsx[sCR*qRzS&1VbZO/c)z靏mjޔ_%{gù"nyU[B>ޘIaCfR\[.9ǡQsiWA9l7X;in#9c A^>AL+5YsO f8{dW ayMWgx0Wi=lcBu6v-JK'>*砡'cю%":d-'EP]mRbY)C+*@/(ӝ[)Pֵ}$Q9Oea+OCIA pT+ic9UQ>$_,mpm֕6yJA)ibKĺh/ZCJThApr]riy'%ad/HoBZ$r(8+"1'ܟ9X(E#Q}sa7G̷WAqWyW Px-d44̯hQm %fQVLQ6<\dx>Ъ؆p*i$%Mv [7 6uT7ueR*'j"u9XdjFuw 8I̽Gc #FאoGRzR@}=-8N RRڕQү=u!-%%ұy=ZЊ>H37-,7*0 ?4ȶo^{;Ѳ[) UJ}SA4D!aն KM_wk _5фȍb/ }^嚟g!< 錒k$- cf 6| -@sܸ3cz]%ק\HU6L`o:Y=ιd-$t/ vFPp\# $HƄu&L>>?4|Mm"],F7%&SP@K_$py5*Հ[}a>_05ƔCY2۴Ho&4VeYz)(4EgK- s O !%ICߺ1Y'}{ Zʁ#fPF\ 1)5U@UmɀT2we+`J㦻2sF SN@I\bwAQ7ʺ\%\l^;MB:+ Ӻ=9p\zn+G\ޒwd#^}m8oO xR)8+֓)+7sD;zձS@l50$) 7;6b Jum!UDEz J갉x)R-QR[Lԙ>Qw-G|][s$,D9ֺ!ޝG9X~^GP }k z;a-UN͚ m[َ"v# 3wrI!)+~ӓE?YCß7Sy_4r7eJjepm_ZηpY[lYV4"~,кl;p)V jǽ0LhitkGDJ'員sv4-jq` [W/4oFV:eC%y#on7.߳~3~0710{C^ĠV 5郙in(gv̻ ]QS,4)Yf U-Ӥ=c&_Cӱ e{]d%A8Fy9 ּHMlkL/FuȌq7ʅDb*J-m}ҥwvyDcnpo&%7_2{0  rJ->'Tݷ'RJH}_0P]"1Jj ]ɢmGsgCqm{~ƔmtO)1KHsIsLyszfLn?=n\+zI$aüb 똪h@["(O"~)cJ6?ThϓLkk˼fQ1]c߳i"m1òq^*RH(:"Ϩޯ{|vWy P繍7oLŠw Tt/j#Wl).lGPv%W[o4'?:'>mt?z=W&+F&zE5kDU\DwC%}nib[S/d[̦ ) #\4~}53 c2Bcx.x6z`[;#+JMaR-EIY_)U~~.\qZ\fֽ6q, ~!4<8sW {6[ W<Y> $촜 .JeW2Om{9W; @c8ϑRD"-cS1*4o]5D'l f(H = e!TyN\hi1& ިFS&]m]`y݈JJgKoi횇Ι2v YK-OB;eg>}PuաvdQf4i4EtcK-f_E\kfyN Mja3A !}Rq^0K>nDyx-rngZlTV>Wx[ayԪ0BD 5Z."?z T_Z`B9b[ϰ遙Z1qcb+3NGTG\JmfNd\ -`!n1R5vr~S0mKV!Gߙc I3uɚ4aKs7XX8gqK8djgQKϡFL ;>W yEZTҹP˂+udKxPPTڤ'k=pXYO(nEHbaI,g0^1mF%.K/.* gT6@uyK}ڨ% 0>qVŏPC Gy-wJAiijJ cJszSgJ5 Ku2 ``4F E3(xjↅ [ ~6*Aܬj!CzN>>,Eu<",Q߱a̒@r[º1RِV+k _##!Z+ $EZ#j1 *?!*3}`EP/W'XP0eb=qn}Q6ƸĬĸ`{HO'8h5uAY,4Ÿɘc8N=ajc:Y.itqƳ+!Rh& /q1]S.Ef<T~N(8_=mI8D3nbIrtKn~h9G*< :Q$\^/sr@E$L &N63 F;<\T`c'ؿ} ow\W)i1Cn#7Ct^pb<軬6zB]AAs$]f,u8Ì(?q϶BLm:,tatnm- n$wQj18G0i[en8\q9_//j Fr ր>·EʷZ+'xNw#>,q]ڳ!7z$[> v]ۍm;;wX <U"cpx%]_␂_,7lLV:2yylژ$Bl%/#?:}Nvt l/,L{Z_LTR㊱/p9| px,f+2/XI"h"t%H2$'!3V: Mqɱ_kR5ճY( *_:;{6t KTqu2 9=)7UM!փhP^ѺW83/% [}i^1t Z$3rؔd?P{CJ5eh}+ɇ!PƊX!ኃYkͤ{2^XGYm*+#R_oQkJ5,^a"iWHfl6>mt %nGmЂGFOʡY?~Bnc(bu##2R` *ˬ+KI_ !׺L8WI"BCDtaPW73PutmSy<,B+ޭJC="ac/zL윂.JDv-~{f7wk-AgȂHήl OWbU7L{&>i}?Ӑ`^ FME`wz4ͻ m4![ Xo2#DE7(]\c[\>V ^aq(ǦzUl. Z:H `ntTKzW/[n ^_MjY )JdJo`D rF^\Rá-ywC3PՋvk^B58N:p4.LUQgcȈ?Jz 2!$A`>uR?]!+Q[E.LfWg]j9P9nfC\gɽrCo _m b-3`8 ޣzfpjzy )$5;ohxыE8A'^mӶgEo:sI%`::zK0×&:W Y`SaذD /t-FOE=KQI>x✉tEu3\y;Xf?q D RAEȦ{e.'JQqFs2k5/ d׮@E t0c+.ָnhO-C,KQA2 E9.]Xj,MSC7,nuzA(HCך48bq7CG@AZfQ>NXCs#,5@` a==Rߌ=k/weTTmgLƏAO%: yղ5,e;߹E CKFߚ`$oEeji/6H4+43i:H8M>\]պ-zB>o# ͒Y Fj~ZAԡB4>(6Oޤ Xt=R#C|iDX b[`Z̞})7VŹ=v1!@5 M(E gEyL7ۂ-y /E |8cC\(SC?unu?A|IHų(5C/!HGɭ>m7V"i6q|"%X]JUC%Ј DO|Ы\;dT_#FI<1#3Hf˛h֩Pg5Q@K<*Kӑh OԝrEN5q1D}e;%mZ„)eum} SXUq7${Y 2!?¥{նeI ƨ*cxwjdN yUm;*fej1T_W|aqXksfWh^5 RHvs*kGZ J&XNx 9}RW}{GQxE`9AtSȁ=#]cRNJ_Qdi7qu'QӐԛ@R.Q_.99YLM/3$q5\CQ{F0ȚXs*'؄,V+^Cmؒ/k03xH8-&9s+}8⫯9*Zn^dOX(};O&Pvp8ax|Hun]R|uCY2McMm֮\sB.8;IW_]cKiQPvb5#R| e.#ů#h+sX\x7JMomEټ"Q# Sȏp"M+Ed<5T-{pa$ HY] Fmu(Ai|rq %X)}2>.z4 U+t(+wxβ7G'%<\v?B/@9DjR4rhN5XA K*9JLhxZ'MF}XǦv h ߻.I':dܬ.%}-c``@]btektjv~o鬇nnmLiT0fUs=`P{ںlɖD Nd O{|J*? }%d < ݎ3g϶FvuRVUI4P'x(h@v(evK(ayίqkAydXE=38.hL& %(nO߯ݝ\쉩̊<ɉV K O y.[憫<u!8NqAdIo#J%@ݫx!8_Ox=`Au؈KaRʣHcϭ"j(H:Ò #?2oڵ@1v\,w%H2*0Tx\X=zv0ZuZ]Xbx+@>K6m6d=Vo&a.d^l[?9CrNiN8jȇ^{(E׉Ijec5YU1E1fr8eYdgoxZ֒?2#͚0S`H)õ4WHU{ LYɢ!eр _lذӼ綃 ċfc0T<3-Q_ 6׆xmȺ騋f+'CS~Nh%36l #k;8b9# I[ZH ۭ= >`xJ[!usH^}n| ׏B̛/ZKLE06, #ce4{-] hA[XÌ6/[ |M mD'!=ޟANO\D ȐWTfFDt"%/0+&Uݘ\O<4ۥ˙?_@`=N82)?,PR^W9d-7 9yK, N(Ubjh262O)2AHRB8T1Q <8e ~9B7dH=?yYAH7R+6B# (RuouכzV.ogZ]|:"BCœ;BȥZ2; v%C ^R2GB#.eMD>P(INC}}~/з }h/LJ j-P8W U4-pL;{@.7 u] tn.3ԡ謡,SYOq2#6VgA\˰S٥[G(R?2e.J$!>buQ]wDf H"04OD|G"*1` SK;Mӽ9fljM.uN|*ngըNa_Uk?4hB8 Y^'2mxxYUx_ yR}oae-6~-AԨ跟)EplF?42g:!);t#5* %4}J:8:3J"Oi1[0 LVdGεXK!TX֗@Ž™7Ħ(rcnGrpZn;'-hu5 G59 g6=wT&'RTnpIJ%"=TQ/ _b:J7T{0s '-b.@͎=)m2<8 _U GS0p![*WS.ێג88 YIζioiv*xO` o/u!/%E!kJ,_kڻHceB⥊7iyv}B&thq?((&9|\}梁ٸ~/pܒg4L(ZvdMd:kPh櫜6D *Mxs%+Wx} h셪͌P:?=7س#,=]g*Σ!ٺ K Ia:snBd`q.c_t.?jfϱ|,+g 🍺ƈyv lFHd2Xh5Y}1+=g4Kl"8h+ہL vϳSsb"nERs(6%JNt%shl0N`ҶՉ.bhbt%9uKuRem\𖂣+ (*>"K*3'9:K,ay 883/8\c%aAd ݹIZXb`=kT(WfϱQ3vG 7 )Dk?'5xY׸oow?-!~vN9:/@<Dc'ǖ L BgLЦu ERq&;1-4:OdblYF䨂 +ZLmuƫPSJB8pF7Oa. tdhZ'GNgSUK*cF pJTCmp!ҥ 'C(TBd#|Xkw$ÝB" JWF5Jq+[XϯX ?dIa d.({jԊEX9oqA12pz˘eȇ5ڙ3)C+usvM~r־BdgVQ{NQaU] 9Qs7/éM 4ɷY-/ -g[wm?A$͓uTBK{Ƣ^><~J)H$I`+ ރ%Pfe $`ç:8u}Ov6ĔrZkJ\wGUsnoLu)Zɮ!Swq_ "K63ZBg|dbB/԰>3"hL:,NNќMzP NG\)- AT$+ew5jbocng9NU+"<u-3Hj*_AB39Id>sEi:,n[LǖE?r=# gM}"#="- ;d$RH3!6LF qBєpSyt-#n:_xCRg,?lcR?vԼĐ QtBAJ'7<>:#xKpͥFC8q Kd$VJ&++2rn4_L)dLh].vJ[~7M8gV$4:: )p2nx{e`uD| ٓ,c^V4^H8ڄ39`vSp6PHEvvl{n"x"JQUޢau͌@EZ#Xht;=ngi/q|#+G`hFCn" e:\-/qB75Έ~*--{Άr]r?Y5eP EkW\pmua@Av a 8qcmʴN#9!Ǹ>DPFcF]gkKڀ!o.G$҆N0Ej2s|,Uyc9?Cxj,2ؑŝgXgE<.0 Q{.qf5ڤz9;uJCFWljs)Le12BC>"9n W5_eB\>vN$U{wW$G6Lz{]gWFCk Ci3yC*(31U\pg26Xb4~ln0RZ|hv2J #hx5"fv^!ų 1RkIpX첀Alp+;瀟z&a&ʉ#1 B:+K,R*F>n,>*C,83ymc4Sx_NYiٻ_>iwef\` и<03ѩ0BŔc7+Ĥ 4H[F,DJ%A)^?̑Xc oey}LjkPkw#4.|mS r T`Eun=πE-LZ었!h^+WTT-u1E"By:㙞++l;4 q">L5HT猵MB)H i 0a"~Hf||HLKЕ<,>+G/xn$70O@`Yީ$EM,Xo<yzVTQ'c*k=Bb8_l %_ظaÏ`SHCՁ܉bgOi6؉3V_GӀf/Sq8ȎNzSS`S.NfXN ,y/~э<&z qb>:4Eʠ6xoZB@IRo &ػ5I +aM)E5 _ !-dpj=ΒJ/MEְ KRkk4yuY˝yz DYh_VHh3' oSUzpM T^+މd( 9I@z%vf_5CJc$Iw]*w&2awM}lg_̽4&E#o~ t>|^"Nᅲ(5_/b&~8[jw<^Q$lU$pwCfߠT{&?p{P @נݓQi(2=l( )4|˺W\nGQp UϸB7]%I+8҅AbT㩡IozNt,,EӮOvO9%ਲ਼aCfJ Пč0Jx֋X7֬_a R7:{Irޛ$'f{#s?{ ng{;<$4 g*=mmQpĔև{=Սt+FA5hDZVMi[R@5/ј}m ц(Mv"st1j6߁TIWw5֎kHssR8chq\+AZkY tR^8 a |6șTuft ΜHr/‚E!r?b- s6W: kȢESir^4@"Xa>Q.}OR!ɪ0yٛWzjF!N|d bNX+0>!sBLE|LTxfF̟Ï]bua-s$SwRAiq1s,#bc]1=Dm-@\P{΃#wt? YZNl&m,ݺMO>˸M̘OXz)ZFt +S{4HT]E_t?\,Wd^Ȅ jd{/dFVg)UTWPkй6h'cz0jMS֘8-^x,:%›K@]N/GT#nC=`>~C\Gc?=G?ɇr;/!.UgԀxT9r /?=qR̶;`ˡ󺟉}eMfZCLNW^e9 fpxvXyE]`Q>o69>WGfs }i5=C m ڌ|uԣI1OFWv`fG,,_c?@ZYGLI($̳ % .ٓ:,]x3apѼ_28:i4b~^4'KDlGE0j^"5d1ǣ:Jr@KouH'Lp*Y.٦15%Ua}c~Z@G'֫xa*c 2W{8 #uCW, 3Qwi96M+ JS(?0zhюP5 Wq8sixeK4vsHPo3ggъCHLj;l^'giTX5~'i1B< p֌+_ڪIUgɱ4¡=E[6nxNh:Q'b?5hy&Kgǚi]Um0O1΂eI,_y86RRlx7MOqCRwb蓫+cviEj?5!/{z9EtT"M)[.F fO~qcn1VУՔE6N2 V!9XP yrG3y[yԾz*v-stAĭ̏.h̹+m9f 5(ޜL,2bx%a0PBf3&IP! D*Fo 9;f r. aMF&z}Y$L7U /":/Ъ搂g} ߪټ?3(Ǵ]} nNde0Wf~`tVx29CaD~z!ΔlzZqE&nmcs1^$ B6-'fw~3l͍(/UwsDpֹ/BOPnUe ukK\`۠OĬɨlkpV +zb:Czߕ?XkEaqqakcҧ5!D_3 Bvb4!jDG U*9傺6WBp;ȭ?f /2YvqdZ?I* ƨogqF\~'O<_a;BiKw~eL^H|RJKF}Ŧ^VƲ^e·78]|B%Ϸ<.,>.ӠanT 4p#)98C\5_\+z9ľN4&Qw]Y֭!^ |SQjIYHI3;=/ON)f̃+򊊓+ؘ0U.t a)CʽBOַ](nJ3jy[ř.ʻ>=)_~q-wPFNF1{_rB ɕ&OOZTW\$g6ʏD\NKE28H-ZB ]eV to?#$ z\ɸZZc;o\K -,/bPc#td~x{eK/z8)NcfV6hEF a꿦YW;*$0Dv$@\6O*ykAӶU9~<{@]!10NR Si$8'G0LhAxPsiܸ=9@ť#wlpa7s6@u`el=nD5tCM9N׬n^) Jmg;e/I9z$S)ydĽ`pJVCï]1~xcA޽Z_{V52z}8r4ec@rSiqȥTee;M!(ǜA 31ԯ 6t;/L<*Džԡi>΅Zeee^I]~SNOS F$owd N=6&4NgYZ\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;6Kn!,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+gYZW 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 ^<Ca% TPropositional_Proof_SystemsPropositional_Proof_Systems.LSC_Resolutiondocument.tex7zXZִF! ]A-MՋhvG"uIBm52KVeUDrĦ\$(h@eϖ}VZ@vrÊߝk3p mic4]b.Y2xY߯( m5>%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*' 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;) 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'NF撽}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: ;ӥ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۱gYZJ\͠$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  t tCS% 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++ 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.$vHxfZVpsDCndHUJDG ܷ 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 YYCY% 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\. 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 `(lYh^#KyJJ7c*7 )TD|\v&tj?%\>"ٳBd^Vy%.Wق)$k ͘{>qם*'}Po]y+r LIo6I<* &_3p_SeǤL>`Np/QU?,HRB!1%Q7S*شc&1ZTUY[Ab.q*R┅l*z3y:Y`$mfͅ|uh1G6X&4;) ҭꤽ#9`.[sԣHV%iԞ\]*r҄sF %=7hKk|C9vz af ydcWh׽ < J;ՁJKVE5t#14BA $t! Y u]$f /}6( `͇R$"Z!ЦsގqD *yx5 pd6 |K67/Rh'5b/g~/Sb J R N{-Bfqd8|Ig s;fwN[.>ia|ԇُe( ĽZHX+vϓS= ?x5bCխ' \yxŖ`J'C>q DK2ȃR<j3~a UY۔ =CwgQf׉XtM.5Gctؚ-cՊ}OcK:W4ZNP=2JF7}2C3˲ {=6 .RR3͵оH([:Z~a4ښ\8OE51fUKfZ!q[qBw2T8Vz/Rng0UjZ&y}ֺ AH^-EjO7i#;gTsfW%3UlS*MXHriz!8n_=*%m/g!6y;C)/%`3`2_s3z[@y>PފGJB E2D=?WD%wm96|mC{ ~Dt2Ϭ[ƹXkEpW=öޥ4:$:w::szhQ▾3Ӯv:n:*ٌJ8D!C  JǾ{.p[J,;oDXVpY6;6x{ܚ J:z YƟć cj.+b5J]+ u%[#Lj֤53 ` gZ^>\k|wi եJOC-XK]f%($j92EBF0|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 1 lCQ% DPropositional_Proof_SystemsPropositional_Proof_Systems.SC_Cutdocument.tex7zXZִF! ]A-MՋhvG"uIBm5ȑ^ c`m*}Jȳ-2=J+>dk~ڄ,[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 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$ӱgYZlCY% GΜإFmzdKLz7ٰWyz/$ֆM`=!@@GE@@(.>IxR2sevqm6j_zl d?w|׮G*ޭ3we.H6WPN5rpܮ[-Ty`#3Vzp+9!ln,|<*pkEG;Ih_[ cd\[xIX(N?p6 ^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 氽§+wlgYZ @@=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"uIBm51dqMR>Ľ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 ,,Q Cs% lPropositional_Proof_SystemsPropositional_Proof_Systems.Compactness_Consistencydocument.tex7zXZִF! T] /]A-MՋhvG"uIBm5XJxmrPnN}j1lzCWwQh< nJTg poi*?7o5nΠB4Dnc(RRDKI%,gZsѕ,dyA@q<\ryh֕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 ?"C?% |Propositional_Proof_SystemsHOL-Library.List_Lexorderdocument.tex7zXZִF! PR]A-MՋhvG"uIBm5gq3P`J깕 ܯS7j.$I-8RI1zU"5}.8 ъPÝ]hipg+ 76+fydUd1K١5Vm kw*{>Ծa<LD~[ij&joo^2V8%)-Hg8-pӏyA^`"Ǘ,3 .а|6 `6ә|ܘ蠏:^><|-LErPmUDw'Rp6ݱc[6b/a*G F^zFWlwJ$8:Ve3!4P"p)R^U!1Wb%W#KR4&q()8lkg $ո((\X>38Ԫ| -SB'H%v !s/Ŀ.HbX_;#Ƥ%6q-yfGL~H.5Vy{M Ǩ!K;}U#V'Br ąFa;H! aWpT%]_(=19u,T&FTx:;vcsFa^s>!&/Zt?NSJκǩE:QC!Z:;aߣ,~*StHn4R $ӑ\cd[Z#52UZAB]UFox<1,o?WCDW|]eN@0E@JZR,`^%mzl}kqMsmg#|8 }]rb#DNo杷 a|1)h '?US&?)P1RE:=;!?rȻ,"V[&(`C(\: 7lJm~?nl F+~XO0Pk9 ӷW_;[D9(M9؅*b`5dOY,}C h U^9å->ன1\A &4O:xGj,\ ulmby+b.¤~Zx'A9;z 2 Zr~w*.לW@`8!#/sqS).&n+lY =X&q ѳ2MV,b5_C~9=!I#^ot9d*?JW L6GN<1Ѓ@}Y ػ[ tK3$T& іmcfm)?Nsg$)' s{Qp @O፹XGJw-^JzQbIF*4|ޢlȘ筨걌]i1efyTP&xI%1 fn9zf@V]!4S>g<-1Pv&F4!5 >;+ʹ]d3B\Z.zW `[K9UoT˘J&|( Lps"ơVjOKf_& OAw$U6Wjr{Ӡcg(!$ >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  j&CM% DPropositional_Proof_SystemsPropositional_Proof_Systems.HCSCdocument.tex7zXZִF! 2[]A-MՋhvG"uIBm5; 1Y3d΋ gwnp@q>lnlտ%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&%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 Ö qϫ$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ɧ6RrB>ܜ>ШYmَ'^@pz$FZ4LVw_c6I9|DU;1-nQ`~1NK^)rdpghq< 'WASc8CGڙixUՏ`vGFO'N 2u~MnP qɁ_^L_ [ ﭱJ DI>OL)v+~Q~9h#(hs^BR_^}$ +.Ɂ^T1+'?~ zBd`/N56;.XBFs+qXo:S貌6d2.u3x\ֶAXBCc7IN敤S;3@mQ8mO2r‹B#(&6n0u'ѐA{я<ͬ|v"R]RcO"#=#灏eg`U8eK5[\ zUusEzvVJ^_]=CxV#`G5(_J6{d˱+wRNE:. z#ttoӿvkG -覃 %HZo$TI޾uTD-wTWJ})Mpe񜨴m:;k-xQ[ ,K?I?ϯZh酼N*^(Nl>"#;\2ߖ&f%g D"4[%ޡ$t3z)%H}CM$*S eT  "` fß}gqx211 &UQ~9ae]3KDƂ+OqFe<_! 6!\!gYZ:)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 s , < )et     Yr  w] @( c b P3LCK%Propositional_Proof_SystemsPropositional_Proof_Systems.CNFdocument.tex/%PropositOCQ%Propositional_Proof_SystemsPropositional_Proof_Systems.HCSCNDdocument.tex4QCU%Propositional_Proof_SystemsPropositional_Proof_Systems.CNF_Semadocument.tex2ZCg%Propositional_Proof_SystemsPropositional_Proof_Systems.CNF_Formulas_Semadocument.tex,"%PZCg%Propositional_Proof_SystemsPropositional_Proof_Systems.MiniFormulas_Semadocument.tex6WCa%Propositional_Proof_SystemsPropositional_Proof_Systems.CNF_To_Formuladocument.tex*UC]%Propositional_Proof_SystemsPropositional_Proof_Systems.MiniFormulasdocument.tex)(o%Propositional_Proof_SystemsPropositional_Proof_Systems.ND_Compl_SCdocument.tex(bCw%Propositional_Proof_HCC%Propositional_Proof_SystemsHOL-Library.Simps_Case_Convdocument.tex7MCM%Propositional_Proof_SystemsPropositional_Proof_Systems.HCSCdocument.tex&%Propositional_Proof_SystemsPropositional_Proof_Systems.SC_Compl_Consistencydocument.tex%N%Propositional_Proof_SystemsPropositional_Proof_Systems.NDHCdocument.tex$WCa%Propositional_Proof_SystemsPropositional_Proof_Systems.SC_Depth_Limitdocument.tex#FC?%Propositional_Proof_SystemsHOL-Library.List_Lexorderdocument.tex"EC=%Propositional_Proof_SystemsHOL-Library.Cancellationdocument.tex!`Cs%Propositional_Proof_SystemsPropositional_Proof_Systems.Compactness_Consistencydocument.tex X%Propositional_Proof_SystemsPropositional_Proof_Systems.ND_FiniteAssmsdocument.texRCW%Propositional_Proof_SystemsPropositional_Proof_Systems.MiniSC_HCdocument.tex%Propositional_Proof_SystemsPropositional_Proof_Systems.Resolution_Compldocument.texeC}%Propositional_Proof_SystemsPropositional_Proof_Systems.Resolution_Compl_Consistencydocument.tex ]%Propositional_Proof_SystemsPropositional_Proof_Systems.ND_Compl_Truthtabledocument.texPCS%Propositional_Proof_SystemsPropositional_Proof_Systems.SC_Semadocument.texUC]%Propositional_Proof_SystemsPropositional_Proof_Systems.Tseytin_Semadocument.texKCI%Propositional_Proof_SystemsPropositional_Proof_Systems.HCdocument.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 bP%Propositional_Proof_SystemsPropositional_Proof_Systems.SC_Cutdocument.texBC7%Propositional_Proof_SystemsHOL-Library.Countabledocument.tex P%Propositional_Proof_SystemsPropositional_Proof_Systems.Semadocument.tex @T%Propositional_Proof_SystemsPropositional_Proof_Systems.Resolutiondocument.texKCI%Propositional_Proof_SystemsPropositional_Proof_Systems.NDdocument.tex @Q%Propositional_Proof_SystemsPropositional_Proof_Systems.Tseytindocument.texWCa%Propositional_Proof_SystemsPropositional_Proof_Systems.LSC_Resolutiondocument.texFC?%Propositional_Proof_SystemsHOL-Library.Nat_Bijectiondocument.tex cL%Propositional_Proof_SystemsPropositional_Proof_Systems.SCdocument.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 TC[%Propositional_Proof_SystemsPropositional_Proof_Systems.Compactnessdocument.texAC5%Propositional_Proof_SystemsHOL-Library.Multisetdocument.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.tex5QCU%Propositional_Proof_SystemsPropositional_Proof_Systems.ND_Sounddocument.tex3MCM%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.texdC{%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(  X3CU% 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.fUgYZ2CU% 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+ʆ aW.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 ogYZg6Cg% $Propositional_Proof_SystemsPropositional_Proof_Systems.MiniFormulas_Semadocument.tex7zXZִF!  ]A-MՋhvG"uIBm51dε#dF" Tu/:Kf)0Ua>ٻ:}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 5Cg% 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& gYZ$4CQ% 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ݱgYZMc˴ QCUꐏL@0Rq PySlnj?>CuҬU5~6SHH'|'ƪBM'zCLcq:9vhO1Wш9N\ckPBMa]IS؅Yt)#vuQ~2;s}h6+<ǾDao):3 L tXzpvA_ 5N`8NgYZ7zXZִF! pl]ŗXiɟ1˦skיl98XNΌpaKC{ 4T׆;q㾈fR;65aк@#xE@1[ H'ݒM eo춑nm'X~oZa 1w&վ,Ip^h<ꊭPk*\][7FiyV5])i{}Mi_*рȣ=u_74yMF6!E a8?҅.'^Q׉n2!+*tD7Q)I;3IF8|R>u sXk4q9WЗ|`s6DŽ"tSB>>FdX^~ךʍu kRms/ڈo8~ح6LŤJGfCS5I AúG-< NAH7JffJ6m৤ W2"a1~MM=^.HPRɼT\:|pnTՒl!OmAOiK Hy}Xqot*BKS,U~HaZ 4h|nN^p>߇`T/dGJ֓bf`jNDH'A"Vn X[K5M%:7*ĈZT,Ê x*AG\bkT`_{"B]&ՌgYZ7zXZִF! 6]ŗXi%; Kzx]_&r\ZX1`(]MWZrE[N'~peܣd5`FK'D;C_?nRfDG}c69\4%7Bo3=m8/lg(4OJĿ%fV!>cιTʀإΆʨ4y2hMuU*F 3{n C%V_1ҥ\nh\Qt7ftCzԥN|J !tv[cIVM<“eQeMPKR0oDbnӳ` 28L:8'd)p%&"EYS6[qi%Sqc;qOLex 6MDZݕ%Ӝ9IǨz2Awٮ(INRx=u#̠m a^)~Y<ѨYWvN-=R̈<<p*=|:R^Aף)V v,LJ䫈wBVg D% 9.pRM3`9σ%2YT亶=^Tz<x5Ο\n>˸M+=FtHu%H"AE2IM_fRBZXc ~؅S`Sju@EV;iRn.T 1?PAFp`Fy or6cQJ/~aXtuG*N\{Cc{ ;1v'T%!/m”mZxD lKC*M!FPc_$7Nqvya{ j=ec 4y:Ȟ".>L&l*]̭r{ovQD%8!:lv1I7]Oa~R:hEGXߵcM%]-PG6Iv9tش@\dB۔p;pG)izIh$B<yO5*2I1obU: AJ [1`Y(*[ICBm&ؒ# MJ>O%=\a[B!s) eǐl>ZZF#J"mf~ՈE&gK  ``y)6i{Si'\rtl rQ^R (}o+ϐc8BrtW W7_ Yew-iF(̷*77FS,C\GMEgy,Uv4(F|Mj{]~yBHr=&NTcwC1tH206{p@ 7'.Fu؄EUa)!c:x2@ ((GM7Ms^;7f8h/xS7+t*dG4'%̦#XOf pCaYsp xx?St]|B\/'LZˁaLug.4 <ԖPWCMϷD _CNVT%P [ޒUȋ}מ`Qw\҉]f GEvFW#ܷ^8j+VUd'YŠ nܼJ aKl'g w kSaةMq/|C[}CRHl(dTM?$NJAi'M:]}Z+ź \1| +mP"[:)bg|)` 6Ko{~r' x&*eXNH@u|Js-+~,{eKVV6zi l<]iW2?O%>6POs3j43޹A h6"X92ߌg)7-@++bt԰;؋C1޾7t%DٚjjX%ݺC;g]IGR;L^ # L,Z(܅1Ej $TJQ)c$銂@vL- 1Ϣl# ~s#2i|Baq(?#80MK; K aNU󕌩APۓKf+f $> í0 9UV[D|'Iմ™;Xn,v٭`Îc7I)=|#qI7"OZy'U6˜mIޣ)wQ@ ؑxe-/߶ּ!c\eM}4`voBF$4 ަzJ,,\Oa١_O!!ƴUv"dʪԮX/;thf\qHi*;Z)_mkE'=F,kj5Pb cFh_B.^w|ּkux_B*K ,U]/iẍ́oևp9s]gHg.h,o_RVMYX\i#r:_!B;jP0 /,ŌR,N!!(smJk[I}&Lc[}+/}#Zc)&Z/2kf**S ~ݚ.V>@% e%L:Q,D#[cmC T m E y;.iyp3v}S|gOfzm7N=%N39){UgIB0аUH8ϹȷZ1͸5Q>*릨lNup,)tSot`TLcs>\Ę=7D@T R~}K5h *Cs 8[5*ڹnjJkTz`:cӨqsuhFSP!~kږR[d• #'m_cG߹WSxՔ%]c+<"Q[הMӽ+;܊-T# h%~oMlCؤzsc:W5^~]u]Pz:Df‰b0LT: =d#[L}N]XpN"ze*Ԭ<~}3N)J_p L|)wcuH4sX8(9tMbr_MCOPh勌1 E޾1]/o;b5KGu]Cz#5'=OnGq[Ějj8i,|nJ`2Ț3ݦ ) 9S;)Hb,?LvG쬇+bh!1=DYU`KmvQ֐@q#"wY:(Ds`>fn& 2R| j p~4I wiᾺA"Z=wl,4|N⯹zs)u{u],bDp=ZI"V$u@W|sX 0+?|HihQgƃ(;W),h? p8} Maq I#J [!BFhԩcr'C߶&ڥ4d.^GqË(2F7%#'g{zdPMSQ^`m{okm>ԧc4 :]i6[È.DӪ >., D hDiDUoCR1/ȭ@l˿FA$Nw'J`}~|R `P_LuJW1?GuNH~ GbHV l . )k .f!rou{§RxQ,wHŃ%2 OB ̔0?y8z=qoVYΖ.AGw:L :[%4Qg2[Ɉ7$n 9Ip]EMKI@Q %c͵pslCZYlA8c7E7}woaU{\& /Dcc[]g3rwFtCڿ o3b?/Mӈ?dGۜG}MYo'k6Ɂ"Y%5:O]fiasD̝GD%% mE]utd~ 2gL|:khGQAoq $x#6i2(L ǥnyyZl1(.ȐHw'  #dDn1 2QJo_[N6{5 !  F7 fC:Cy&KJ";-ज़*d*[^٨8mB(?o8u1NO2p4+ a, ֽ<ދYcrS>hUO¨ d){ .P++{Tv ( JoBoTp;5R( aiQy.z">f8zY-wi Ӂ!om7W-D$ J6sviҴ4PxŴ/d/R.ÈZqMˇqqxiؕJtsT-ESqKd,vs(K#\o=¯YE6FۢmlD`S|Lx~HzDF^ԶUO6Eve_MjҵG9mఘ~ja+Ϻ=edUZ/6H}/xN M#]Rʦr Bd5~1!6qw!x_wQ\:}.gK=]ӓ~iR7HEjm%D:Գ>0O^oJEXyzd j"pW~,Wu;I)XUy<ǚU!H_d$B!k\Im 9}u@ַ8"@ ,)ҙV,Q4U9s+9)߯L "sCӾ8~eL܆Ti'>^6 |T{J̸ci\Ayhc),ozAQ[2N㳝 ֡PȪtS"{\ODiO%u.E1^{v,ިZ6_hl ~B H-Fr~0R[D)x=MM׌dmE:ı퀐w9pYhx&N#LY;d A7(gq)ʼnLjE16B!YުZ#K`9Qs|[U11<o9MDB U[-l[?)%Pa|"KIqxUEP_ߺ;Yһn]z^h3C^g/I?6s4"r H ϚMBiP AX]_i9PTA5&ylKAK &<~fLٕC 3BPzF6oSiV