SQLite format 3@ Q.;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 |Cz\ ]/ Propositional_Proof_Systems:threads=4elapsed=133.903cpu=353.004gc=18.0407zXZִF! ½]ŗXiɟH)0!h]<#KYWƮqjXԿolδLsNiF[qrcAЙ+VV ۾IoQBC$2)$XAPX/#3J)X3UWҏ,*G2{ryñj } P'ޭgcw^-w(y`((r;ok<:(k/)ԫ9'nBp1ZЏ\:芭]>AZ٪%egKmAib>{mrD^\B[L$7ɜ{Wħ]6il[ (P) `Wj% +(ޣ8lUwԛNa.:Y![0ϞΘXxY@ːA6L%&|lpSoOj3Z6vRqa@Wzࡻ}0BtOwaM._9[l}eT T `{cᇱax[ '@iCUq)ɇg6SZQbBCEGxV.LzD/gqC@kkcee"^ \ȾQE{0%y,`WBIZdQ)Ljc>s k1z;$wXTܖe*21?O~ՈOwM |}olFdgˣy`XɅ_"1K4&Rn~. $<@v[GZ#2~hu He%Y`KEoho.yy/JC*#$VZ*4*0pk'{+Ƭ?|Ej~j"Lxۢ$ϥo/O^2k$U,DXZ-WUPfK9綁 |0]n=k$u&B#2 3qXK Ċ'kWV*d`QxF*k6I@ am.pɋ6mh{عj@eJudDZ `1؂ps0vtТ߻qNO@H2'Q{6ϩhq TJn4c{q^"pdS"6F|3Xc7"l3 RVx=f%U}, RCZ p̣!ʼnj Zz>@85Cg2AI8(8kN}$3g- Y.foړ( !ߝK4mu;+넂_o[VgecBw7shyޡ)\uu<MZb,Bdm1Er!DpDIB#$PfmyvV˥ff8A!FuY"lହa_'1a" )ZF\Lӵ fxtyaf{+»bF_c, bE8hPeի~:,-=QS;޹=AYxPtksŞ= 50L3kb@UuF]aN V&t3HU=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_<.8Pt CU% LPropositional_Proof_SystemsPropositional_Proof_Systems.SC_Depthdocument.tex7zXZִF! ],]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Ѓ>3;/:,9*8(7&6$5"4!3 210/.-,+*)(&%$#       =p  Oad ;$ b /   z a   p a mI FLCK%Propositional_Proof_SystemsPropositional_Proof_Systems.CNFdocument.tex/GCA%Propositional_Proof_SystemsHOL-Library.Case_Converterdocument.tex.UC]%Propositional_Proof_SystemsPropositional_Proof_Systems.Substitutiondocument.tex-UC]%Propositional_Proof_SystemsPropositional_Proof_Systems.MiniFormulasdocument.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)TC[%Propositional_Proof_SystemsPropositional_Proof_Systems.ND_Compl_SCdocument.tex(WCa%Propositional_Proof_SystemsPropositional_Proof_Systems.CNF_To_Formuladocument.tex'bCw%Propositional_Proof_SystemsPropositional_Proof_Systems.Resolution_Compl_SC_Smalldocument.tex&]Cm%Propositional_Proof_SystemsPropositional_Proof_Systems.SC_Compl_Consistencydocument.tex%MCM%Propositional_Proof_SystemsPropositional_Proof_Systems.NDHCdocument.tex$MCM%Propositional_Proof_SystemsPropositional_Proof_Systems.HCSCdocument.tex#YCe%Propositional_Proof_SystemsPropositional_Proof_Systems.Resolution_Compldocument.tex"FC?%Propositional_Proof_SystemsHOL-Library.List_Lexorderdocument.tex!WCa%Propositional_Proof_SystemsPropositional_Proof_Systems.SC_Depth_Limitdocument.tex WCa%Propositional_Proof_SystemsPropositional_Proof_Systems.ND_FiniteAssmsdocument.texEC=%Propositional_Proof_SystemsHOL-Library.Cancellationdocument.tex`Cs%Propositional_Proof_SystemsPropositional_Proof_Systems.Compactness_Consistencydocument.texRCW%Propositional_Proof_SystemsPropositional_Proof_Systems.MiniSC_HCdocument.tex\Ck%Propositional_Proof_SystemsPropositional_Proof_Systems.ND_Compl_Truthtabledocument.texeC}%Propositional_Proof_SystemsPropositional_Proof_Systems.Resolution_Compl_Consistencydocument.texKCI%Propositional_Proof_SystemsPropositional_Proof_Systems.HCdocument.texPCS%Propositional_Proof_SystemsPropositional_Proof_Systems.SC_Semadocument.texUC]%Propositional_Proof_SystemsPropositional_Proof_Systems.Tseytin_Semadocument.texUC]%Propositional_Proof_SystemsPropositional_Proof_Systems.CNF_Formulasdocument.texSCY%Propositional_Proof_SystemsPropositional_Proof_Systems.Sema_Craigdocument.texOCQ%Propositional_Proof_SystemsPropositional_Proof_Systems.SC_Cutdocument.texOCQ%Propositional_Proof_SystemsPropositional_Proof_Systems.MiniSCdocument.texMCM%Propositional_Proof_SystemsPropositional_Proof_Systems.Semadocument.texBC7%Propositional_Proof_SystemsHOL-Library.Countabledocument.texSCY%Propositional_Proof_SystemsPropositional_Proof_Systems.Resolutiondocument.texPCS%Propositional_Proof_SystemsPropositional_Proof_Systems.Tseytindocument.texKCI%Propositional_Proof_SystemsPropositional_Proof_Systems.NDdocument.texKCI%Propositional_Proof_SystemsPropositional_Proof_Systems.SCdocument.tex WCa%Propositional_Proof_SystemsPropositional_Proof_Systems.LSC_Resolutiondocument.tex ]Cm%Propositional_Proof_SystemsPropositional_Proof_Systems.HC_Compl_Consistencydocument.tex UC]%Propositional_Proof_SystemsPropositional_Proof_Systems.MiniSC_Craigdocument.tex QCU%Propositional_Proof_SystemsPropositional_Proof_Systems.Formulasdocument.tex FC?%Propositional_Proof_SystemsHOL-Library.Nat_Bijectiondocument.texEC=%Propositional_Proof_SystemsHOL-Library.Old_Datatypedocument.texICE%Propositional_Proof_SystemsHOL-Library.While_Combinatordocument.texTC[%Propositional_Proof_SystemsPropositional_Proof_Systems.Compactnessdocument.texSCY%Propositional_Proof_SystemsPropositional_Proof_Systems.SC_Gentzendocument.texTC[%Propositional_Proof_SystemsPropositional_Proof_Systems.Consistencydocument.texLCK%Propositional_Proof_SystemsPropositional_Proof_Systems.LSCdocument.tex}Š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Ѵ\ⰷHiVH:[Xj&@s9M#91ҭMՊVZ&jEI`rjknF32Uc6ӍN e8QPD9d]xcu[9cuOEhgYBJ˔=.aEO?P2 +} ~Wc#6W'q=55.tɖ<>c[a/7MEH-7 5JO+wi]qSnC`<;^W<(m_Tr{4^o PP7B7P_w"8$:2qYtXI%o]?21&]1PDCba֮|cj $ZzqBJ=5*KeHh =Nlʏ@"X6%a"&@#4smK? Nn_67k)5=8ȈDxʚ MKZYF_,vz̦wCgԢݩ1k̻fc~S!gaQ'h_|cv} RyuGlsU[DuabX$O?66aR\;A b+?+$e56ٌF>9I'{QDM-1k{{@RպpeCrA %9c\T\D$rkgJDX=u 94@-+ѩY)Ϣ-锺aW` JAxI*uoYsB_~q8#ߙVqv Am~pB,=N,ցŲń\i (PDNwyM~R9lYt [dss8Qi0RӼKdf y $ٰRiM&RVG.y3+FrzK2be3tT[ӊ 5Td+uMd7 2 ~'6Tk('cmmkoF'ABi.{llQ0# V{mʤTmMF$Q!V(-)J5$sFfjsNڻix+@0 #JRwG-'It΃݆ԸxƼ<\ww;0Ri@s<+ď:/;@.5TKPs=Mkx~Tp4\ޜ%(FA  jGf**xwbg<9':y¢Q2 tDِ! 1!;3@1~5y}Uj'Ɛ='j\)cFit²ˠƨ4p+5Cg TE-}}py?+HX(rŚӌu!iq O"͘57gD[T"s1HbQMW6_#]fcJG&a">j`kbܦ;{iZ\&V@kp9pèiڎt.Sa~F5BIz{ay{=ɔZnՄ* Brg'nvɾ=!q_mGn% o`ƶ^tnՉ5|?]s.BAN9NOQbО|=S…q [>rҫAVoN?}`L}:W*P눋RZ%6%1%19Տ>6UTМ[w5C xԿޛUܓe3.+HH˯>Y0_ &+c_2*1/q-+7ȵ}ЉBI:3<*+p/%? њL#,Ppa t8pmSifh3.~K&jw>8wykW~H]#Sp}1_.Y e9gYZ ߈@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ℾ|=ݱClahDXcgDo1Qa|bP3qjvUg596LG1fVoһ$o\f&K>9W;m,zћ~S{AWGV}ɽ5M:F?I[~-wsp&26O˟,2aYx_ /IBTs> Й8h}B~IĤ#xGVz:.jG̣+Fj=x^Ur\cHa"FQI+bxuwĜ lǷx6ϫD({2/>H&wk {8: -VS$yԮxh =7^B JT tfm'~jBӺ֫.461@!Oʡ8>x7j x3έcT!vVG{,i+.ѓΜ1\N`j\TÔr Sܘ!E@ZAuaSu;#b'՗Qz\+D?[-pf ;LZ'mQ*E{i%k&•R>r.w}2 )[`}Uv~_8knKzk N1 9fψm}%w"}=C&iJ#N™ϩvF']8 _?Y9}^2.Ey%P4BsKDd"օ hBUivvҝ% @S A%O獊8Mmi#oZ>0;RJP :Xpy,'E@>`M`IP!E& xm&$^,Sy:)YT)4MsB'>k6"3D 溮/#(z ϖ#qR :<ǫ,-ZY1hlEPDdȴk@o*TQ5OF&ףɨ}3='ݝ\j!N#{@A3ǩG!GA Y*U 0H_CoriC'ylܜ[^9^K{Hg*dP\fރcBp@9/mk$xjWuOOC^*`&rSB[bz liskl=֜(u,*5Xv?HYj[ɏf&NM93$ދhe)o[BfU lyڊ^FjtBC2< :GN{嫌:jSք ǺHf-S֚F}0#*o]eZ[@>xgܫ{S!'@h8 8M8F޳`cFbޏlΏ}l̆K/n(h/CT\gYZRn^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י`HJΓ `І:۷"q"u(΍/NJ]WksŔOqx ۚDq)AFV}8;6v{i*\u1,.Ƹ~ʌ/a (*U}Q:}gEwQiW+6>ΰJ'5YçxW"I_lWw}@D#ac u9iRۘ5H 'RRD4DۚC byVMmK5vg`\fk-Ó\F;BwրK+k.)$o0j xea|ɞf״):݀ϓvD:u큨 MS-tL:1rLd}eq2֒9)d&6H^Z,Osiją5@%:=aɇ$qGv7qU? Ob,LJHZk)1lwٝ+Kl`SGl'C3]f${d$<2şdWF!\DyG>=O~C) 1N1)pi6_]E ~69<46 'T Jkv!t! qT$8EfEv@[ZxԎxxJ;$6u3dTri@ uscl¿*[M\ Pꑵd'[ z>nH5TZ9w4b\ @oװj Fdq Q;ݿPEdȋB=.&w #sUX P GaTeHș [#[7=9K)"gA AYp+#e@,vO/|!p}uXXcRb j{LJd 6\RNx(!m@xE",. x.͌I04BAHm0:_nŇ AHp^Rd@խ\ 6.V,ۂɆ"vVGUp@A$X%$->|n,ўX7{ W% -d/Ƹ 5ow]$V(\ xJg$nY9ř9(gYZ W}W CK% Propositional_Proof_SystemsPropositional_Proof_Systems.LSCdocument.tex7zXZִF! !]A-MՋhvG"uIBm5H7tqr?Dy8o:sYd%TQ-K?.Y>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_<.8Pt CU% LPropositional_Proof_SystemsPropositional_Proof_Systems.SC_Depthdocument.tex7zXZִF! ],]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 NC[% |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޲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ƖlVwo_*;m:2, Gt"fV}p`9Qv#8TΎ^*JT婨-g;YL*ϑA02uҚM@}>Vg(sgמT] =-?Tڿҏ|c1J^dX@>Jn-08QԞm^+eǬYϊ"v[ޕ%amSŮ9LT^3ZnBSR-gy(:wWZIc2[TcJm!yZBzBP*L vYN`-l 3\B'P-dcҡv=MpX/P 䌿4ށVFD\}IYV6{{TiBqܟ[o$ _kp1]#W ř DMjy{lkMeQ2bȈ#~"3ޑxtTās5RhGnß  n=<=rqN9s:M L!;Oa"Ab"5?>o'41]) pNt Ō֪0$I -A 6dehZt*&9g-.Pyig;zX7'"튇' Q7Fq#09V]"IhN:xP|^qA:s6bHB( -%Y/a%ȺqJ̄?;g)AuR"QJ0^}@R >r5`R"m@LOdtOefw},}Pve9U 7Oe.{.gYZ ]CY% Propositional_Proof_SystemsPropositional_Proof_Systems.SC_Gentzendocument.tex7zXZִF! EF]A-MՋhvG"uIBm5ȑ^ c`m*~ 5DX7> _>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? :v]-;9Le+NcѮCiJ*9{g`Ubոjz2 sʣ ГE ݵ"č3\fE4mZa"Ԟ֗p3x]ָt}y1Zc&pf+zJ Pnf(!giVswDgj!<SaJ2Ǟ+^R(Yn)t̫Iu8ה,Çb5駌l~Xt,[OdҁZ:N|#6ŏΟ */<[4E MXݣYikɮLHM_ iN$c^сʤN&ljj;r贈\' t(ă)]$" ףwUᚋI+füYK)oFcz4*[?KbzgW,|[<'d[` Y%lMA~^Ӗ=GZS> X ϣ$;ɶh}$%99 EjkgճZv՟{ [G8ӂg4զCzfܓo)yW>`f[ =TLpPrF}ش5L$v`uI1x_Si@ e/mn~-}OvLWc\%Q[ EO?]0g@v'Rf٧DGGQ]'F'!.B|eM.$xzL/Hۯ3IcNxָ$zuW(EMib:y̡)oDYbOVO*F j\2ІzI1*.O.*uj*^rAfsC7$ha c % PIÉ7j@CnJ/?ȥ_#>ZclCs׵nF F 'c&he-78qU|Szn2ycRF70͟,9P1".z8/vx-H }O':z|Z<79хZ{oߴ.4LcrD?Iའ!3#LqѦ.nm0/$u,0GX*٣hjDJP[-l7;FQtJ:, &IvroݛiJ.{4~YÄ ;ِS,,:vt!aB#IA!G\Bx5 οh ~|2 \gؘf$TKXn=dLh&$v"Ե,ep"6iƽٔ7?n0/D7Qi`>9#RZ <kfi:=#'6V3e@ɪ s*mi.RsbTmIuH,CItTo "psm : 2}RXmj*9gxLFh.p`tse[UEJr$qC/;<.mU],-"d[)2+3ekFf-p8jm/FnNe)L:5 |.Rxw$BDXCSŅQeWv!a&BQ~MuQxcwݖSrmr2"R&Ytğ7{y5- f@ \.`E,tĕFc"uelwqn Lpm /zp[.NW~D[laqAmG,NzQɃy1Y^yQʧh^_D8N:I m$dY cEԜ/#Wt=<t6M6rA~$6IM@{DTwrrG0顥qs"R9 T\[Q+=vv;J({ '$͢9L%WZ\9kK`պRBYa~_Mؓ>X 67m邪vUj?5‰ť<7 .\_IS v:iyl#oyV7M`E+4wur%>ka7okf8^ {\Wm >Z-dPuO e-j~r0bhL{5S]C [tKM aaf+@ň`Wة7xd2s4aMlN<7t?_H|?kXUᚏ9*mqXYpE*Zp?@.R=RZ8[/ڟrTaVtz +"8HCJZ{aC5IZ|V U#jsMvd:(E$@IQvz7V%6nP< k* P2H/m1^f*R;U~ĹgU)<7 K'U$)HF$h*>fyRE9JrǦ'%k .ˀ9*96vE6 ֻadk,>4 >.T)ߟ / i9E ?Rl>: ^Qvv&ӑz%= j/zhl]fVq΂Ŧ$;DM1 ' 7xOB4yuQy]?-j5B>hϭ1W=X2&Շͯ,'BbGPvwCk̽)7@křG۰Uq뎂)6 AN+G9]75n+Ag\BISḞf+O`|OYLgQw8&@pH9: 7gYZ //d CE% 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'^1rŌj@P<\H@˃vdQƧs78+pza\;9{TnDs_ 2qyA|/zsNa {60O^0Ṫigy#pFhz,jB3V 7JKݙmw;D T9Qd,” 9 Zhi3 ѺœW[}/i )۸%(b=2 rB\h BdĞ,fLizЯG3Bղ;Pzˁ7覤~uejZ/^laoՃ4֊ߨ.}ƚ ڭUcv H2z=Ͳ1j”n/H!x aU Kf`M5|PC%ʲb AIgGukfOj aAjh[=s } ,FĒʶtYoʛ !o 2w s&b7?ML;:a-Y6LN{=)hCx: N?lgM3b<Ǡ MhFe3½ɹ3#-6T'Da8y p@?\ 0OsY̶5CLh1K&kTCOŜaK=<`o#EJ ~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@ŲJgYZeֲ| _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 Z Wc1 ='8{荗?j9"~4i-۳PNh_ûZDt۳YM  (1XQ7Fb|`UY Vq/D@"/'2 j<ʑ(!9VI6j*RSrUf *EVJ6("O(̩jWȅDJa@Mwm*fH OV\o1+`r5$3vqlS:a S:zI:;/^k"?dBw,,:1xri~|_Å*@~ (IMNO[f;)_z=#@ =sQ7.8=46ч7nN\o$gr>N3;NzMj dv ͚|meG}!oĽ*0qpS1KEQ$P) .ma&2wkqspl$!+G w祻7Zf@G-a<Ζ4_Ė$:,>Pj$Z LL[yg ΰ S@UNEpX-Hj;ᠻw!poԾym;UC W?wz<3Am9nˬB]OoWc3Ʀ>3\ $bmoq4I Er\eBȓt^pMk"cbtೳmQnX{KxGCG 4+҇w!GȹPz0oInZtT7#j[:ZS̫`ZY h@uOz^hMÖ}13xT]ttN"QD=8/ܓԛs:6Tۍ!X;Ing.ݢ;T9Zl';ڥ"k20SUB ?O١~Z(hEv:>{VS 7@S?MIܽc\^5w7&kձgYZ OC=% 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,M`iݸ@Fb!u9y5EPg2mS!iN=}~8Bށ%7Uf,Nz60 (PvտfELZd`7|77M^MhuA&|FPǧ_W"$PX+ur`O Xk?z"g XVa0/d^"eu*h&rR,ʋO[>0!|Qx|t|qr ƣOO BelGdq$c]1V*Fa2O ,;1"\ 1q葖)KCϣyk:sp>/W2H~>:} BGB;[聽kS)dP!|ute嗚ӜH,=Inμ6 ? 9{&A+:6^g;XE26AP+VVe6:jҦf[@b+@1J1Gf8 g58\|j+Wx ⹒1ꫭ=Ů#BO6ٷZlNG¸[jPʹOW%lZloyL FN~=ZEǯbo_rNTZb&u mz 2^Df f,HSq.bQ'D . ~41fyԀH\a{jm&\[1vO`*/q: At2\ˬJ6|܋QoOo5֫n:c# Fh=$0jIjx2k[RZpXK#߮e3Ɇ7iG'Nk&FvWBa,ī味ncN*K6p@%pVm_d]lyg0Y4 S7bqeAW^E9ujocfL/tmp:`pUZ-'CХ9.k0_35|{JFB/&&'DETMg^T̴ 8IuNUUkSޫ>OH,uŗ7QU߽ijnaˇB8<"5ZN[H3jPrjұe9w6-2l l(/J+ߑbAƯ]~qhxx[Oy*Ivx. i!c :<)_J<g( ~E' <> n)^Prc.Qz9`á_O6-]h,I},.x \P& a /qXWtxeKQXj5Zo +ebC})LOW.1z6[WkuMg†6ޠقxQв(\}'S ێ_0 ~آ~DDvV*4_h6g8EZR:#N"jbQo_ ʽcV^C{ZUj4 GMJ>:V)~)Dl7D-R&@"B k;[nHd寋K/l8eZNj-LΰT! z?b0-{5MͰ\&JV2~`2,A30}\ʿ|} u}^hȰթMxϋX^!ʭYzeZ_TiY}#rUpfSͽ5aBMiEHfW.雄`\s~/֯ˢw.x>Oid V$cdsŎ` ,"f(BC9Ϝ6$vge>~THaDH 6@z<&}̺sR&93;@?YJbN+2_k/Y^{>O(iCL:sxn*\[85; ֏Fib]'lB]=R4۰΀zU^F;ȹF)Mcۏ4+9Zq _Eq|XJ@3K&'9U@wZ7˰13"uL7Q J&{O߹(>AÑ)}M\:ɭ#4[8 nD)Y+ AU>08ٶ(d)0`Ji=m]+[i^>Uc/ 㠳dnFcʀCWɦK}O`ۧ@s?ƹݒpX3+$ZO0li6CGFqGWZߍbuPχX%]*ͭX)!_2=yiP/nv? pBRDMO- ;}^0A@sb dWQaeyC-#͛rVdѡR ;Rж%+mH$<%yt' 4ߝNbrkkkqG;ѼxM45E?/$[^t[SM`m+}.ySY&P UnAޯ?@.;w͗iokH8?ҋO^~`Ҙ-sD)u.ҾrS{N5r:CrbIa=\ 8qG(,&+$bQc]@`Eo%Mgԇ٬g]}.qgYZ s)s+ CU% ׻Ӿ"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'@͹LC?% Propositional_Proof_SystemsHOL-Library.Nat_Bijectiondocument.tex7zXZִF! 6RA]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ﺤ~% ?&tloZ<#&0@hb<!(_8/Md{ԵϞ$ t鞠< ,gXC'*zj&_X+c͚ޟ3A3TErAŤI+B~b]Y\iZkZϝxŷYkzZ7R٥g^Ĕg.W wT &fp AQ\z^ -F߫u8g.qm:Ҷ/ /8:w *{3|K^{j5׽AoG\sm-CJ(evc B~- O=S8.l?9tJu~_E^N?HUB?gfdbIw*5jS"sK$%2D c!"lJj/Lќvcyz E"{Q֍pAVq)2RϚ%aƷ@j{ ~yzJ2e'XC07.:{g$'OпjZMv3襠qEU&Ve9?P|BE 9Jq ڋo"Y]|Q&S._8LH?! "vY,?f[ 6J*G>׽}ii=O.(uk&N`"fo}80b lDF4U͞r86j+‘FbrЬT"Ow#eB>IDwuR~#T ~lp艎h<(ȆJdO|ِmWa6J y(~%_AUR43bMĶi;A=jaI_`0$*|cڤrj;Z81<ܛQ;M! .E*:qUyG\^kЮp -x~p 흮x]AA-}W &l?ڂ:<Op-u`ͩƼ3 Sї3)9 8F$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>܃ɞ^# 8tȺe ]sx3J<ʂIlI_F1N$ )߲LD`сwEKxubT4owTDz A/B>Ex<)<.F9zriBVʼJ^Jv?Ա~m\|WYU<iAw2-)0*N2"xgved~7öAHCBc傞p&91(X7X{Gȋg|7NYUx,Uưl9ACGbZ63}t65, i/qX7vRd.njr[Q+e3zk duɏ{T}KshY612f +60oDcj݇%:Nt4S{AwIe.R/:Iq E*ya1?:ei(K?l u|4*}7ڥmP"x`5.zBSƮML_<=[apOPS?ne0@/Ɏ(sUgɍyFS:Fiן bBYx(Ť BV^70@ZDcuZ˓79ī;S 聊 -^5-ou ]"|;ja+KNiQpR _*ηF/bUϽuY:^wUn`n!,N$9_l0VһU44zqAH&Rݝ\._P(.qc") ?]) Mn؁=:2ҽiE57 18UtGN2X%ڮ#Z]QI=SċC}s:Ыʎmg+R:E7[NLf5kf" ]si层B(zR,.3Ŧ?\XJXiF酓aR+Bɓ#WK$ӝafQSoL>X-5d1\KNF+PmnPi~]d@W`Xad-i;e:(`-)belX@[tnz1cMqaH}DUEHQ6yr2yCVM-߀cv%NUpMXu/O1߰>zfKU/?g^ޓT4Pyc]F:e]r^йbuMr2wO/㳃aCASz;"Wr/w1.w{M $ 0Xy< ޹ hՊ $GewjٴPLyn?T "KKVz\ZPG#Z+z ؜WgzI×HT;s 2ni´:2(# !zLJ{^^~]5##>IH%4ݫR$X iyobefÂ1 YA$NDVMȘFvy7'JBO" _H1AYmJ7A%,}wEqO;tr?nͫsy?)x̤+?uj# &GuAZ ߛBO˜zZS?$[ gYZn!ܷ0ae$NWg14V#MTѶliU|.:՛¡ e@6oQA#v6u*5GaTOyJ^ B{7mk p&!'u|UR 0Wh+CӨb4wy7QgY#q?KpXbX[ziiL$b2WS{14FW.'<kk+&.Ck&~*&`:U8BQ79[+Ւ}{H sஜ7yxtLREm]M֘/>&'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  M"MD)-Vl %,l}av+@p?$o[ލbS9 [(v |^_t~f?\ܜeq vD^'mT=DZd* K Q3*Qx,P#bS N^U5lȦ3-㣿QL12DCH7(f7Xg)0952t9WREؘݥ'j ~t67^C 07Y:`%Ν"j0EwL0#s ʹaDK@*yE1K<ʹ^'􊣮ְ뇶oG?;5'\a˰tixiI#Ҡ<_k3ت.Q[@j3$KQ#'[f惘`,1zNp`SFONN/0Q,fJR^ EyGMy_UKLG&43/}9bSm[s@ܬG-blwԸYYghؐU9*}=Dv)I+>0F:A&)ԕp>~㘤-8:Hr馶a*[7Ӄ$h T_-gsĥ"Ȅ4+ NxM3jɲ)yċ "A54qDC*7LW:E*EWx雽t}^p~ n"r^DB'K`(vJdWs]ǐvD$3ain`0˩OLe\lHC5bvkѼb=10[…$V}p2yLya$o2:O""9)d@~4QF -](yLq7R t)Cf';f4 K3.yO,^ 0G(Z2\5]8O]gm[Ӱ;]Ym9z{.T(!?3H P XACKf1)\MFE]F>EJ#`ƭ%pۑ,C<zGK;b+;ՂJ8^zw-O=ɚ9S,ņCkl;u~/K3wՄ+@ͳPmAoPLi[\))Ƴse4MN )w.Uͽz͊eOh1nER]rI ؔE7e'nk.o}7WH6NF&I>ݻyjo^ٹr@3`{z>]5gHAi!\-Ӽ&]ՙ "R x:,H>$O0v"B! ܡ cu0_ s\Dɘ:-'vh4zԸC tE=_pH.| zY#a23֘H5wo$02%G:'q鼘q6Sb5lchxV=VD2.KxzG#쯖d|V}MYcz)VW`Z(vɠ؛m 9!b(A2*] S 7=f^KKy͗S/ WBa-#[]cЂg)[9tE]>[~&"o(Mb?Fo )dxb4[+^'sC*B>2&+sm; ͖ /U0T6Np}A6ssG4hsG 1g _MxjSx'WCyASMX~k?MplE |g#Ā+[&v4MX`2JA `lpO<m%gYZ jj C]% tPropositional_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 d >>? Cm% LPropositional_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'[8m3Wb;F6P5w4׋' |@x[Z].ZɃan[w}fy{@N$(X"9/@OYM9JqK} (/ޜgX:@W^ƣ^AN$' 6 U g1Q;YGd|\m~ !ۗ\"F,.-In H5nB /ݏ G R+7:Ԓl$nJڽ/Phqt+( h"{Os} EB3dne%U?xG HQ_]~CwI͠;k8ߎ&Y@~S?H=e#(_ve[[ : 1;jU x2e*f+/T9q:i6 QS5(͍7FJ@?2R]7s,aPx˯'9PpMe}(y}vIiO/pԏkkn&C/ͷ3)0:?ҒokX++ ckl1o[q ݧR`[)n>D<:A`0{!ZHQAC7Ex4]= HU˫+ͥX-,LJ'-.ghDž~=3hn @t"-6?d w8~_Q]>l#/gVQkmŚQ@mݦ>jܦ^mqF)+ˣ5Bo Hv2@v_GڱgYZAȫ<]Luvb?Ս0 )㳾[a# ^ FzV9RMUL J D+`hk&Mʗ|K~QY#. 5^pm.]O2+͈W`+BѲ!̜k Bw$ s ƻZFV BMW ʚlUO'c mO/KuAak液x?f(nn|,SXH1}s xLVpqWK\o~,] B57BSZ iM>KuDݒv.N Djci(14MrN@J|4gl]aw@ eDd#1g%~'bC a TKpӍ7>qyfIkÁzOns V  'NW޺HV918{#1 r'\=DSkSu͖Lᾬ'Db=gZW5"?ئaAMnzߡ2EǶ)AL z_,X_Ø :GD=~4ՇNۈbOQ: !yb-u4Ջg\cB- 둟[؄uc5jMnL/2e U/bKқ&G"?"kfmzT/yD(*ɝB/wD |KT*(ݗQ UF7|e%Gخ@6.TU9Tx1O#<{0^Iv1QG6np%~j5;^.߈J [=Q$ԯhqz?*&40(7~ IHPo!}M u> 8a !w16ug": xE.9H࡭ nqdᑬŻ~)d,}E ȓXg1&jObSU@k)7d ҋSfcH%g#y吀RI/6p54>\|+<#Saנlǯd ОsIF kّ7MQ")Lh(,!o '\1;~4pp^#Y%i;36ŒB0)) HzKq] 1^g3  pY󈘑,sk};58AI=E+[EKSqG#2Dn-W[:kn_ʑCOً"X,_P)M^P;8`H NZCQ.di9($(U{([%ϝpLztS1HFr(I+=$ $ O*!yK :&i nV&L MRTG;JU[p,' ZR{pϬBQ%ws#9ECX~} [WbxueTVi`ɲlN=yݯ\R(-dSW3ú緉]AkN1O20(3ڏp4ZD k@OoZ kiƘ!sː֫MSMJ, &4n(igiYS '?G8o4y0u[@VDmICLz\wd]>czrqW.Q1gb2,:Ǔv;ګ& O FQNQYhnTd4c5ci- Yi̸#;GUՊ:oˑDʂh֏ J?v𥔓B2@+7h3۵o 8pxg hKSIW22E4ly8W(_[. 'DT#nYZd>шso.mҏD.bȔE\G'MS|c~Jel6OU'Y"\xMp,6柼OBcKKajWqa@_[1ZN+:ꑀо veKb{}sVe)g!?`I'׌.s ԝ)+ׅ#pVb_s5`u I;Q Q 7v L=饗4i㺑M}g^GBs[|5\F =1=~Bf` n!XaJJ8qo<'uR9MbP1)*SqA#gHƍS`}v\!1⸩(@~4!(qYm{_stMpt}?2h1ˊ7fJF%KBbrJ e6*f x$2a|?F?te8}V{Qf"kuJSʳxnoo`e|sJiP*8 ưa,r5gU@\n$Dg2[ &O>˲m Lv˪A;`lq$#5oiddm:.N#A sb)2 jkȉyTx@ _taOGIo{6d v̧.E|ٖʭl #[a.'a1{yQ3f>*f>5` < E;~0\d5Lv7#ȚCsA32(* `*7fO.?2^bQ#x# 4v+պ۹>IOUG ^L6Eo-˰\4>hV6 2d$4 LU0b)ӉN0!]XMY+ņFn5 DI6!$$ĬD dRl-Eߨ3p5%lx<č2" v sz0mC!u|. N]j |/|I ㎄)Hi >%EjXfee?"LeޤV>814'xߟCŒv7uo7(*nKL V[y ). >6dN-L5=kaSy=v"?=ErkjJC~ -7^`&"-t2f"{F'vKvu\'$I/15/tt +/,.M,D6$ƋYMZ>¯Ѩ@Tj[eFjA6A,0F UkB{YQ}) %=+Ɖ4P.8NאM`{xC'*XƱ"/+ L0cQ;X$>b QۮwytP[Rl0.W?b>,l':ʯbhsV W?KӗgjɌ-Բ(9mϾxON%4S&G+ZgYZ  } CI% lPropositional_Proof_SystemsPropositional_Proof_Systems.SCdocument.tex7zXZִF! ̙p]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.Y9 Ca% LPropositional_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;GSW 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>Ҥϳ5z\-Z嘃:tZ<ʭv1*d idٖ3#¬_!Yl:5?ߐon-["P"b®Hl|lõZU':|U#V9\1ϯ>5r{80=*) &Cx1(Ict.jJM. IͣӀoP64Р*!ex q.4I4|[&Q` IE=|+'q1\ 28҉eevD]#F[TRO C_ HHdn"`Z -yoaѶx\|H嬗ocQӭ@'Uwb~MB;|]pOr݅ N\ʑ#L rY{x10L=1 i9uv_e*q($C1R%j| NO&z9C|rk_h8AZ7lsIqn!`БԜU h\Jč]tиBK {*dTD"itx:F0@\YǽMB.5;U~eiyU48"c Fhn6kִ: N+ك[֩³x>Jr@9n4t,@LտD|)Hݠ_Ш;CT<xs!ה]gYZ MCI% 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 'CDp3`q bN5IrtXAlI cL ԉ;8U;~%Yoլ2 ᜘1p$& }I:= It;(D݅?;2bECj#?^2H1WQ?S)m1"4 i<_oQO~w,dVL%PR  fgy ~ {NVoQc^2sJD8 *06L%-xKvk=4s[vAT TL@Ud=8 4Ƈ 9t$ fb3ViI﵌Tt=EE}w2"ᖍDy2fPb؍v< PPO&4[L\Y=^hΝa<  D79Y9`n b>y';gYZM+J\͠$idb|'!)JySHL?:cki㐾a͈b+C!'4V6zT~Zy Ҿ=LT 2zXSnT)t; j,.8ҼxL,q//N;JcD0vbWC FWvɨ&zwKlHF(K=v5aTw)W_Ոm"8ͬ,˕? ==dq2Y䛹Ϥc[jL(v Y9Nlӊ%CeV>w&$z9uILY~Cx,܇zUdB#舖q9P bFenQ6ewWjEzR}~pSuwbBNB\~+H٭xgN.DGA{m7{<)X4z ~ܕ>)N܈8ֻX;RF^ݺ{r1hfA mlӬ-SE#VM-'λsJ K>[OH&%#vqr w[.RZx6!-n8nl%<*>ЎNd:=h_R*~tVuFAQftQpaWB Z/Ϛ) Ș_p.ʈ{Oew?29v(7 N!mYb:P8Id4?4m!=E=ą8mkgTM(lFޖ*3۞<W*­ o-bV3]T*KI23,d8ƶ),Je鞄fN:ڎv~SZL6fO2\:tKGlj!lq[Թ+&ГQŨ%9tԠQ[>hL -g?8YvLpc: j3dd:UwLboGvUeL.WT)vtO%;V=JiO5R3]*^=*!wѥ*F RM^$]!)rk5"o-,Gt*8j e Kb_Q= GHIY#Z{fJ~Nm!:oCB Y:Et_sG@ǴMnE|F54߷mс[;)%5*.џ;~(S"'[\v?q.\2H uzHj|MvL$|?V`WV56YCh{ʵg~>l?ETbXu)||t Ed32#ѱԔ{*&1B%b^J˾/RRB悅%Of,#`F{ZRx;T-%\@a#ڹEz'AʹCdOaѻfEK8f;" jigڢM!3'd_A;ޛuQ$f\&qC..O)hc͸}UHz굒P6Aʬ9C?trj:Ww{HuT3T,NFiG<;[ oe"}j/ve[9}bA2F~1W֘^Xš5_R $p]%⃐ -'8P2X|Emb~ٳzwΥ2ػ9*8!ۊCNn·mcPՙKI`2. T{f0?3Fk.62ir-z|v?fPϖ^Z =fG_zLleb*BIq// SEm19׹0qY)߄)Ooz@=e&KN0Eu]*C/5m=ݳGcb2M)Lz+PG gu$.v`rkuKGhj ܉&*35Iq iwbp 7HpC-[GX0~p~"I?$kJM$I;RBto`ZEfS_Jm)} JjZM)l `#\5"8vq={E6x(3 $ VN!ڼ$EjjGSAy?%XY^E:e`d<^e){ʨ_exσ)Ջ Ņjي<~=B?2Pb4~rcP 9; 'Ðwp㰪6S="NF2niiqieuw<^\ JI;+FWg,3I2EKup\=x9!/y଻m-BֶܫӮxj'*Q',`I1&GkgDat$avY`ΠpdXI!9j)@ڵd%Bcz@:g#qUUAPGdF$g PgA￐[0co6kXӪ\^;JM8l5^2J%MifXܢh?mZ<~?CiaB*o^2֡!—A(z92@ ff/yEY0@QD( a\(s6^^f#:ATӲirihGmV{$֯@GoңLd"x8 O쓢ch>Bg$-hjѸ+pҸ`]b~ R~bC0"weEi#evS]J$^]SKJ[SB xhLz`)v5aJv S[mm-BPtJã/؉+˷݃h~08nt!(rQqZ#]g g6uTйI<_mG!?KI ,# \0_ބ i"(-VRE(N8E [y!4d)htbtW P18>,7gYZ  w-CY% MM'\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\>fZVpsDC!~CS% dPropositional_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:@'mndHUJDG ܷ 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>(c0iiGru1>yNTڧȀ͵ |D&&H>I8 :,3R:tf$3u7z ]ud[Zi-G)nRO$ML"՞,sue~f1d^ᚃL嫺mGUMZt7}&ʌXGn9bBߕ&WnJNV zPg.N^c/M;h0 d `% \ CLg0!<:m3U3(O74 m@/7/+΢Z}1u MI}5olN=trlu{ wGY^&Ol4I98bJ nzǩ~+Xlщi yڧ <#$Q5%Y/(F7Tj[|;yh G6$ eJ[ !w}+R}x<=>azHTR fX&ł鼱BwҠmYlvv̉1Ts;N$ bPPU+~E;9vz sm_JBci1+J:p|hٽ\RQikoj>Pfށ[.aꄙi/ø\6GBiMOO~)[7D|) ʐ(?4O|hG |&긽 d Sh6y9ϭE s/Օ ldpϹ៶8ʧw. \lz%<_$sj(e\L Jӻ)I^YXRv`H],SᅫwfjKο|fٕ TrJO$#ª̀;7*OwqWi[:.WVۗ[_XO%2*#8Զ΀(\{_aTTrz(>(Uܘd92$SePBG-'[\4Z;eo]9ޡ;'PwUq 4<73qDXp ou⦱+4j4z!HqC. exۆDR~~N$I~DdbkWGCOn ([_jCgQVoZߕ81%MaXTrS׸U/3R))06nqD\^#5d#㉛SKi@FD;!S&KK̸{NSG Yn}'z|Vp%oZi \.Qv~H׵,%$pf&TEw?B%I2 mQ} T(=z14CV/!@RD".)ɋ{ 2x 26^.-d&Wq[WɷsmzOç_1)uO^֚Y>, 9r,t5WߒVjݝbVa |iZaU?ש'Ņ/M=k}qaZo+~j = Wtw[] s<@^Kzgw4>Ϣ>k(: R À*!ig{x}5ֹȝxj3d SN-P ]sjN|c(GU [0. lG ; EDLԅe($#Tvq,2] ^BwBm|<.* pgYZw\7-'^>x();HN|R:ɇZ0[X'3{P_6g~֗HTdU߶{rF'~˭Sm}mtH}#QЗQ6'3қx`ܼI;T yq3t׍SQhNЏ9sF{^| 7qrP5{@ڻ1;z$qښc[5EY~}6{1H #7p-)_䙣+NiBꝷƆA9"o8 'zK`;J)]Ǽq[:nLçX}-]X3|"ʱ?QnRR kF㸌xST!ܪX'h:Ҭe:MP$Kst3j޵0W\oxs#"F͂q#\"2IXy嗰n7YgQL'_dB<3igHJz h彔 j,m(T& c3tx"{{rG 5$(ŦSl.+[M͖ux_Z՛^Mh.gʲ=\,$:Xr/4zM`拱e+-2h"|w r]L3+>гA{t ?2vьT2s(n_V"_~LJ}e x\M&iw(˯  Z 0FrJ<3.3['o'N1ڐ̱R)n{AS {&oXhrS79iNʂpW1FJQHsLXUan]j.B9DK}й o>|ЈZ؈q@y2;Au_U/gc7D'aYycK0ۛҫ +XITF0%B쓺8ǪLJ^hp:~'9FtlUm ˍ 88b2\ΜT&:Fe7uFcZԶAXan?We^4\S:7zHGub!j[Z&U9W3.@Mi5o.|| _]s!:0fMg% tQdzRB&kH @H\>q)˥^-ΛDVdBp7[k+6^)=';]ܑ(jmy9)=Y$rFiI߽k&1Wޛ$]PT" rȳQLV<6o9p}r–6]q- Cz-))|HEXTGy'o cD15u` #xιKRa>5s[ vlUM_"6;ZD5˯Uf%Djl|.x$͸@mȳh`GM M{LK,p Oq[ibڪ7ǥ"o7Ga)~czwhuwb!tpum׵I5)dٔ۔qv8f#=ęƗ)?Rj:X[r6I(8VHY&%j_scpȠތkVQP(Q (G'@1ԑyRMߖ򳤼 r?ˣ=kM^ujCEnٟHV`x,) 7jVN䎼Dz`EXJs/U(hĻqbH;fW/,odw)Zj8\\/PŲp}h˯|%wH3-M};ȫ z.#j;Vm4Iџr&5F³BIt#4Hl=4=dΪRQ?K0j٨iHİѝNxU<¸0q|,_kx-'܎bkkn5lM_ӌxe|(eaO(K[(~"]؅>^u: V[ͽOI(m5ovex!rgCˌGUXD8BqX'tcDAw᥯pKD}TdYfm˪;4ңP#/`x8jfMoTS߬QZvP#Qm)m2[s'jPٔ0p#eMSdnğpZ(J9&!1v'i 1ܠcؑMMB gA,7ApTt_}9Ef9i8&Zɝfn6F /-w}h+W5uVP*mTҦ 1%{ hXD@S(긛uuo#7oj-1~0{M2:{ܙ wel}'*h@7G+bQ1exeL5)H#|&?GKIW;=(_թكxo#jIs;=sd0Fᇗq"};쭤+[oL :U9,iIgYZ  = =8C7% tPropositional_Proof_SystemsHOL-Library.Countabledocument.tex7zXZִF! 2]A-MՋhvG"uIBm5`''bN\7eg>|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!LKUm3p޴!mK[ jeR% zv0h"SÛX+w-挕ֳ`:y5s QKlI\?:+@m'ņ+vM YR秖1U(@Hs% dd/7 h>[-lxd;v;Z ˚e~?Y痸9_hT#g(rbRuzm=.m3N$8<>[x%W9 0Ep];[ðsҏX,J:9)o=e+qk ro$>u$@^2k)Ų-{9鲔 4s&([Lƀ d(BJx$ idמAd Pv ߿SDz5)v, xx%gf'G(" kCM% DPropositional_Proof_SystemsPropositional_Proof_Systems.Semadocument.tex7zXZִF! J[]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 `(lYhun*&4NB_b ¥(xO.bU.Yl|8]a >5 O NCNk0;2hcт Yj"M!D20h2Ӵocsr(~AS'g{&UV29@hE`U@~ #g>2 -dgZ3% *Ҹ4`Ұs8OI$HW-JJ H zi[ZY8{\Ms]a ,|Z1OZkR3P2 ? vm6q. ]1W]-PG#3t⋣lC8b'_x|5o6Xu;Ey*P+&fp[}az "S2FIIzXH x nWk{--f=!{8PG0=N&0]c"5QLcAk ˷S.VhOR&90ǽIwk8z  Ro#&tC̦JkgYZ iCQ% ,$'ϲ#()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|זmXrGCj0iǔ&0~hI- TO.;r#I}ōnC-QF_bL\d@{`9mmmtOdc|==|-5A1<jsi̎1ɡCpgYZ iCQ% 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 &W50Q!s+] a(YI"q*/ڇLUp+m~fɱzgBX4W-إnSJ+$>AbbcxLP.׌bC v@"@qXD\ҵ=Wf=/YDRy%}Oi#ya~抁8H.YHs6U*$!GHǫ%z^ e8 >ۭO<<@H ˣW*l(Db1bP@V^Lx(4wG)JGO"[9:3cXʰIfLsNg kO #fܥ[i 8OǞcfA;UpFB,;y@imAN}p%a>{ee7VUOr"ȹL׽K|/ӕR<"{Nt$܎nVbP|GPw۵T7ٝvD߰^/B%MK ws+[ۇE=6ae' :$_ r0g!!g êJ^24NS؟tjA+--J- 0=kg8Լ UiƢЩx &>NpAqgYZr `(fkz{NtT*YO <>;_)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.SwɊ'?G[P@njD}a0߄,8 h4oGswk;"JЉ+}!(k;ahPX4B1S8,a㌯{ȧϧTR;o-X/ċN*WyG{BY8.PƔkDw7HHw+Օ,So$ UWt [gF3`u"ʻkj7 R(*r9g~uAH5g(F )3JAR٣07"N dRo͔f[M8Qk4?BG7I@٦oP|0HKGN Hh:)Om†<ݩ}:טc]N$ ϫBj{ ׬0F`CS9b DK98G\H&.Q+,?I;P/z,*Gc.tr4'\~JfXtwYfz >|G?3j9=%W[ź"tM92&sx)ӛ*+$PS&r(DDXJ"qyvX`lJ'.Qn9ݏCRi AM^8uac|a G^6j}c5pוOm}QnZ/YeFnm Mٺҭ.(6YK-h-;xfZ)R4ɨKN4t2~7)J,sfhOzC*LՎӐfxb3y`@hdL)LU ,HvT9mZPq7KͅځpXh\g"C}iS7Fۓ_pn:^hDg'=ۤ$Ww-c@:#?aZ/PQ S8:DD$<'~e` Xm'='%PRA>{uB54E?ɐ @ unDKP5ـ},l8]wIrCg/"}O{@?xX*h&ʞS ֔AG h9rB҆L yx(\w׻uz)y(n j65l\u2BT-A6_&&ٯzjC31"m,&3Lq|גEF{X堙ѕۚ)yuƔ7c>; 8 ] Qˈ$Vfܦ7r~I7o?`Ǵj`)ffG޾zcBj̠/Dq<=ܯmV!F:k!gVsR3|BŸR(z obJ>+=t .mwvs,A+#r O.ŏY7r*q 8|h}n}dQ6E~03Nwp|$z}\ 8u!Ūicm!o'e[M$hg?ztv|xʼN ݁ϑp׎P~y,arc_؊8I7:_} ;Zqf݂[حتPٲeNG-Z"Z/$HNj2<󙴚k xo b87)'_ti[dU+XPxES̓^ŽKcTq Wԥ\7 h:˶6%~^C.]AX^99#ce&@B7!X"mRM1Gu5Xb>aJMoy?6`Ǐ^yc?gYZ iCY% 4Propositional_Proof_SystemsPropositional_Proof_Systems.Sema_Craigdocument.tex7zXZִF! Q]A-MՋhvG"uIBm5Ȣ?NpI4#H.ذ9UƟ;C:KU!PAs$1`|Қׇg>GΜإFmzdKLz7ٰWyz/$ֆM`=!@@GE@@(.>IxR2sevqm6j_zl d?w|׮G*ޭ3we.H6WPN5rpܮ[-Ty`#3Vzp+9!ln,|<*pkEG;Ih_[ cd\[xIX(N?p' **SC]% Propositional_Proof_SystemsPropositional_Proof_Systems.CNF_Formulasdocument.tex7zXZִF! ;]A-MՋhvG"uIBm5Ϡӂ.~M{{iɦF?pj|)m[S @9u06t`@lf0GЃ-YDZEQ4?gaf kcgx4^@Bh}Fw?J#_HFao )`U#\Ȇb&$!ѦZK污3opc9}^PN8#-H G2s]{#v-Q%_K*Tm1ޏ][1Ts{M+;?<;yL^R|88{#IqT'I_?Zgj1 r{kC mɯ(0^C@2},  ̀>Lح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)ͪDRp^.Igq"˓K%HÏ7dsԑ5V]lm J}KᚯmKi;<1Bu9*o_J@Ɖ d/pe+lD v}Йp`q ?'6TK؍ǃ *;qD_/ǜNOi)$nD+ WܔoD@sȡ5Y۰ &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$d$Τ6Fcq_FbB]\Q鹄t zۍ+EDen sp:+©R,>(9p ,d4?zj}$?A ]rX2xD@ 1ejNB," Z9Fh v+G}!J~I%yL⿋f#3]ea{m Ud^%n*OpN.ܟ8l^t^3hBHA pO3A~u2v#3V!ڔvR;A߲~!,/9(P8QuTNWQ) $DsxȀ`0mDtg匙 xXT T2{Ne|#6&tLays^+ScO\VFuYŒxX*_𚜋j9%Q uw)<R5`eO,cWGkO֘Wy?wUaLG_^7o4Ů징f(7qZl*blY^%44%ʯr+Q-ghbLH?G}?Ce^fbh l7}Zl&"gYZ CC:CS% \Propositional_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>̷3GQb;gLC&`rK 5i>%צe o.Hcy;|-UOVMz=@aCfߦ Kp[~y"&=H(lK#ލ%D%+sO_I3;iARO $VTilZt&`-!   =9gjqn{*ud?O-;SbV\OzE-Q{^`f epuVq;GmHgk&~F|6*}1"*{q%>R3$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[˭67kGG%]3`+뒷'5P5/EQt4OdLJW̒L,Ӓ\ a \̓K0&2OB7W6=NGχncj-v#͗f1 #Hn$#݀u8χ3egtH)+:|E)r3L|:o_7"8^@R2\_v h+r'c03XN#}aL6^R)/UQ=z7$z% ΖQkQ5vr,˥9h,żBp.le1#]!Q=p&u(&0ؘ/hVB j/'u~bk ƃr#ڣ"Zpvk' [6Cb⵴֦|JJ7*CÊtќjyLKI:Df4 7kR2K-7%^m60%sUtik(gr~S3qS@S&ƕz_ Vي_}Y!VLgYZ /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#);goB6dA8Idog*]o'q*ydm}+> a`FzY9TWnmN_ da~Tny |/^/I절0+geb@:8ѩ72f0JI/( Ri^ ;[?X|}ObWT#c|'5aAGqfghȊ J|-e.jҥIefYȈV+,Vf/USxi#,'37ZM[~ )<⳾._mdںH0MjI[&YǼtJYfXp@c5jщZsnN@ge `QRV%#KtVy[1UY~gzF &){&}v+{_KajӃ̯V+d{*T!.Bvr-Cg-77y'Dz E\S.+%ùUnN 6 ( "|R%`aMvȂEOʾa3s)DRJKZ?;)7%n.+yl=ήYHhk<~Y +Exǰ-{#*U*ǏDw 6?XA^ e^V0 ᓯnz~J*@X妼eЊU%g=_p8rA܂L8Rԁ%[FZ<xj=O֖VkNV*g VM8ek5JۛN~\^bGP;zc~lde nZČtlukI`+4cX\ƯDĺP=peSrOma {w2'T)5_1L hGQϘ;4@w)xx꿀C ABhr4lx1aZmSۜWZ.vB ܁G'ҧ_p޽ TJmGY` _)j#.p*`(7nCz/)E/+%tv/HrdX'U2~?IjO]*¤^Tu_{r *^ϗSIw2q)Wx6O恧xH4LJezqABkZu%O$yƇ=aIM^Gdyf@LTĬ :UYxSzHCErA[tZ蛇%9.Q5#+Z/okZf4oa:a@<#R@%1SQs0[j)x6*3 5/ ɯ HFD`pH;YN{@3וPWos},YĤN?@DN$]UR1|UU\aSE>"z8=qq ? ,t܂7 .96;kGi@>: SP!̊EL&~)A]B@9p CJY=8G=j:l*cQ)vK1pi)b =Z3iWUgYZ RCk% tPropositional_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|/Kߙ9W=FL~B}0Ѳ+&# 1xFFaB腁^XݔI2ۥVFq c1|P-DK!n!~ _.Wx ?ry@zD_t% &dJWN*_$D:%J~5CdGZ)x 9$՟[ *jCO-`~V 5P7;-y |X#kbkR<ڠY|ÑjMG"tfTSʵvYXzނD\SV x5OET̤GKnKA6PO':FѴׂ ,`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?H{%]N9)8aH/)(I`ٰ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ޑFngan q&l &:EvoC,H5G(I)"G4.Wz@,!77 @v{I٪y?k@;tXҮp?>N}I/%6**-G)ղV>9S}2Z ~}~j*!`=m2EKb(TN3ž,K*gIC# 1ISdq3T 0ņ3HP}ↆ(|Nf]jA; SƉqLz(N6\)kZ !MK}꽊5U欃VR}5~ߧuFPXq6,zd%vzNxvD%q#~yCIp,'T@:y[#M)`F +nz#Dy?:z5bo_:MyJfFJ6X1}wf@<[y*[бgYZ ,,QCa% |Propositional_Proof_SystemsPropositional_Proof_Systems.ND_FiniteAssmsdocument.tex7zXZִF! U 8]A-MՋhvG"uIBm5ģ5zaLAG*)l<Ќ+'ڠx^\ldiKjf/yf>R>ĽBMSC{-p@"DL~Z.ZfPU"<{.^s,3Қs`o65.~u,2o&IQp9 4s%OHЯP-66~wwGbtSrlvj|7zbCӿb'ԭ.}ȎL6鈔J+62w䊽],H޾7?t뎏&Ͷ"@; j9OK7C=3rx6nX68L͵q޴|Vr*_YJ3Xsu)A+ut:@FϠސ' v" v@X HHM%MCb%352USR2]NW)eDzMJ6euDq^9m=H_CX*񰲤yyeȐQ'LO$~ܗf"ռ! q![k#G$!c*ާC(uN+<|m^sG53& AyL8cg-yui@HDHI9og9_LtJޔ#̧̋[zp] N~ŕ!1e ~鸸}8UVy qbm"mf9%G-<_Rd ut76qF}µÊO'Gujwi\a^ÇX+%GW~"+e>=$ડ]w:5P6^ B5/Br0ԅL&8Y@WZA0uo՞1=7IF<) K>I,XRJ\{.H},mi%Uiswʋ,4 g_e@4ZWAt =_4}%q&e MjΩYXRDv]_G 6Y#0(#պ2I {.͑@[OmY]<$<'Zk z).oM?|Lmy.vN$T}9ᵥ"IbR"P( kePr1/z@Έw?x~}bn'`I"i [Y<1C+4 -B,ل>/l=cLM&DY][l$ hF.D-@28sjNS Qܿju<^L5ՒN͖^AEq2G?8f16f'G!`eTB7I&4>K7_3u:i$5`[$nHVtau[d TJVTk%SPl#^£:9{3R ,N)0_:%SecdWB?*Λs _5c|~-n+6Ioo/tX&YY!Y{U6;*=M;ć(1sRإF;+5nDF7؞0љr#z̯X`g2> q'TeN5c |gPeU zHb0D̠lGU,0Z`,ݥpBg&!Jd0+=l-tM%?;5gUa\8lV؜*2eVЎF 43vO?|IZdTQɛ0H/[ٺH;!H?) LvM'LVX`qqHtcċ*SO?vsy/H,?>%Qu^pMXMm]@8bc[O2x"KCK6l1%$'?L [RDHoth=`L}IKi#w{?JWmr;^7l9%y1&]Xt#1QczH^Z @Nj cޞdp%h8 u I\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ÌSHX2I$$zZY30W4Eu]0(Q=֦4#YA F2<,eُk1G8Gd|QAbڕ 7B͍E&彊9(됸u_*Bd@׵,`D^栴QOh[?lĬ3xHƜi%.:+ʇ}[2Iߗ bԾ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/;qK tbXշv+Jcg~¢wk' Ruk-_t~\ 4@UuzQhޘol.Zز4@|5*]GvMUq13fӓ+j퍮Xs/XF}0l^ RTVxY ߜsOrreJ ~È_#8N!j, o7Q(jZ?Q+״yKέ+7Y{?3>P`KvA=ΐ$hyCk s k{J\58|MG~]K?XIu.&Z4HѶP6̚:<^\9M_VcC{NhfZvGS&cD1F&EX!-cux(YI! 2;]G$T>5-pN7i}vXo?$WytI҅_~ rmkRѸ֪ PcR[ Lz5LOZy-t84G?oqeCvPه]^ CNrqFa@eydRtlZΰ:~X\lv *©T6N^`/6LӍmvkVwcIxBu#2Ћ#܎Kڅztk *̐뒸ovtmiYt*"zu .L Av|dqowKuoYU<Z` Rd\b^h(= 2muP}[# EXKm=uS.c^PDŽ  Rߣ>}/h!rOs1M=i|Fȳ4"Q/QSA{f]vSx #;->=*6ޯ& & ^Ζɴc)c &|B=.Jz(q[lY+A}>7h0O7sMv{u`L'ɓPG ǠmH >j@+fb1cAcV[RlI|0]W23Yݩ@~ /_1cZ ZI_Kɀjyz;C[JuYI{痏X(8? y}S9JRGDڑ2\qhR]\(P Pp,B=ڭqV$9T1)}T82tgYZ "Ce% dPropositional_Proof_SystemsPropositional_Proof_Systems.Resolution_Compldocument.tex7zXZִF! ji]A-MՋhvG"uIBm5+;I'h{{qyGymFz[å5?χ 4쳞ٔo]; s3S$r819QtQsh;Qʐ˶%O=G[˻dgQV|@DC bE7=Gr,Q6{Į ϼcEUe1GuIh$Ph{ZP,{r eY#I"lIK4ɹJPRO+_ylVZh[tJߝfe;e L/.->#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-;hCgCJ4$gtzKTk$IqPO1%|ljL73X٠2N%Xƛ> ܬ˻VL\T}nMw{f as{=  N֍=zm vIC'aiO4 xvTg}LJDCI] lH/ D% Xԛ%FyJjU \SaXfFO9 NsO#Q;[ |W=oz479};pJL>j*-]LQqZӢ/YV;ƴ'36ʧz!xRL0+ˆK'5$K6Vmp̱w}y?nѻx}yS yx3#L!U]'`1f;hb4x=LLm X*?:bK8HMYïx^) !Xshz#lhI^(lq-zgYZ T T?$CM% lPropositional_Proof_SystemsPropositional_Proof_Systems.NDHCdocument.tex7zXZִF! 30]A-MՋhvG"uIBm5ģs'm{ րT24_^7Є;JyF ,9t- +O!Y DVcu9qv!$ >bMU} ZSy^U4CxJMd,BXNL! Q0\Yh'/7+`1x/?*L0/FYӗm) L3x:j _%Lz͚M=y뿖6߶kn"}vSfW̢>Df3< ƻ9 ov ișדչmb9u:w)P>u;;\tzFODVآbdxv%Mhd$OHnr<pٽk8Ed9ly/B5ijƫIa;X<0DnuSpסD ~yl>-G\{Pˡ8q?9,ˆLˀ.a3&NW-([1gJ(w}|yz Bussq6EYTZXpĮm-=b^O 1A/"Lo+(%$(~j+\F) nR׆5@tj:ꮶ qpW*$ysw7;j$=Aj)hlxi? Pr~%0X;w_JWgg|JKqgv`a4ѻzJl7mKT)}^R&V2LHnjѢ0 ,j)vrYA+sENWe򳖬RJKxrvӖ ( ܖ:$\o++F Ə ggYZg#CM% 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=s*Y3qI `2z(W v dpgYZ  L&Cw% \Propositional_Proof_SystemsPropositional_Proof_Systems.Resolution_Compl_SC_Smalldocument.tex7zXZִF! +p]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*?J3kGX'}qLW{ATZOң};h3_A?`>Fa"<?ݡ8ۮ[ ld;8qmmY )s-J$O% `Z=XWqSĽÖh.\PJu *P Bjsa Ԍx%il@<ަK0`WY!2wgEd'*pdI tD\;>i)!?l*"P7 VugYZ#%Cm% Propositional_Proof_SystemsPropositional_Proof_Systems.SC_Compl_Consistencydocument.tex7zXZִF! 7]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.,Ix*TXz3QW'_/8r}4DVsjЯ4Z%:fnI'붅%m7#U F)mU&Uxv|RW_p@nG~A2LEoª!+'3alIm]v`u ^¼,Bw>Ϧ̅4]ӽhǧ-'wr,bNU/Q 81YN-7s{ʢi>6 <КgYZ  &(C[% ,Propositional_Proof_SystemsPropositional_Proof_Systems.ND_Compl_SCdocument.tex7zXZִF! )]A-MՋhvG"uIBm5ģ5zaLAG*)#7†|Ekl>ϫ$jljėgJL ؊ٲ s9y"~*BB1jSV쒙Uz:Cl94i ;}1'y̱KB->‚aK8bDq>ٻz)$ɂZ\%l&f :@ּHiD /ܜbm:M'?æw&mN}- vծ/;7mt\JO.uд[bP1|S$|F Hs&'\*شGi47A.dKǪkfܹE5p1螞TAN{OR a]$Ȼb6E*=4,aDa~ @ZBx e`=Zkâ󗴜P'-ڷ+&8'!]Iag)gomQ3c P꜂Xn|2PMvz%hp0i=_2I FwPc[L_M3KG+_N׊RCe8BoD,2zD GV,?y s[sm$KGD 5-j%a!b0 ljX Ts\,0knT ^ 1uԅYD\/qb1̢9,څ%3UH2I,9ާM*[E5PR-c|§#*6a-KTgr!3p7"f YXh4:&eX[:V~xjł1L=%6t[B FdOZ}&: ҞxT7KMYB S\AgYZ)'Ca% ,Propositional_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-wTW(-Ip̍Mg p˿4VMK9e+I.@ ؕ`Yrk cgsUpvOuk#wB{#}y N!TnڈSS]xkSp$SE)|`mNoᳲV~dvW[0-\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%,s7 } }V~=DblME01,,2xdTi|!htDHctXkeKRkRV|tnAUxPx)/o.jF/1}%,8Ndk[r_#Ǝ"!3O\(z2eX Lz!I+o)vzWtBvP;]^;V EcvX}MTrOQEF AЏgYZ7)Cu% 4Propositional_Proof_SystemsPropositional_Proof_Systems.Resolution_Compl_SC_Fulldocument.tex7zXZִF! #]A-MՋhvG"uIBm5+;I'h{{q}5b\uJzYVޏuxعtD*Vʾ9]^/bB,&H٫q3s&,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?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:-[їLQ|ѣkLi^k>tD|ޣK/%PL1F(pI ;Rfz_nm`Vh0 oKhB5:l^%Pk)V]@N؄5@"e MB6vY4dbBphiH AQufgYZ/+Ce% 4Propositional_Proof_SystemsPropositional_Proof_Systems.Resolution_Sounddocument.tex7zXZִF! e]A-MՋhvG"uIBm5+;I'h{ KV3c*+x6YAM%2ۙlXB .9)Zʁ]H4.ɐOL`1 &ڃ枢DhO4,NY!Нa5-$6X?5v<[E3sFVíxR$݇u5hɄs @+v62=yxQfn[ .<&RBxQ9-`MOW͟S28,=2)Ȫ!(3dR-/9DnΌn ER&AJĩ\RI#4CGzÚ8!w7>Pڮ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).Ir/CK% TPropositional_Proof_SystemsPropositional_Proof_Systems.CNFdocument.tex7zXZִF! db]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]8g9:)1-r UۼI[0wgYZ1.CA% \Propositional_Proof_SystemsHOL-Library.Case_Converterdocument.tex7zXZִF! A%]A-MՋhvG"uIBm5 1alɋ1^̻[JKך8'wh 8~M%_Ёk>>LME[^TgEid|CXs@"v77N`liCGs(5ԩ7>~ I(S 2ݱ]N~ P@'{~nʟjq箉DJ9J@*qs*% NX~S#h/`4 aa.?W{dA$Tl#$2F v[CgEG0<'77c縜c0sɥVxI4[|yUEΞ{z5zB&3%g6 N9wGʹ%΄m @CۗRȢ7iʼ}pH%{Aļ}0zφǺÁZ H;,{x:'1F KΏEw(ĖqC8ug$")q!ʎ E/5BEDd5TqzHH{:ZD11\qwtx}Atp#mVK3Һxvɝ%Bm»+r6VCG##䱾So9+ޤ)&EiêY뜚%)sbH%.*F(ܒ1;Su}4ohֹS#t 74?޺W c}`@XPHN3_O$J8.a(<1#b-l=u@ ,B_^}n"`T-S*O4Gsu~VZ>C;!U u]Bf}k,+3ȂZ@SPɲjWϔa7SO808.v)gTZd@NgnyHBjAdn/z9Ffs[ߖwYox)קxg;Wŏ?8{H("Lr:ҲoԋllK>k,P<ў(dߚph.wfXˢroJ~Csa_]] 蛃Z"⊾;$GBgYZ 2CU% |Propositional_Proof_SystemsPropositional_Proof_Systems.CNF_Semadocument.tex7zXZִF! .w]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 *$je՝q7;GVlKg>xlޞE5A|7YP-PR nbng¾]ĺӇ7œe3d>8n5W?jf^=`gYZ1C{% |Propositional_Proof_SystemsPropositional_Proof_Systems.ND_Compl_Truthtable_Compactdocument.tex7zXZִF! ]A-MՋhvG"uIBm5ģ5zaLAG*):cS4-NjZNCsAޓ?($ yb셪}m ݾ:2 بk&N*bp0Vc+ʆ a2T 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~ٻ:}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.UZ/*$WKO_=2a0=kJ>C<1O&3}%˵LɇY0 S CNInÇyF!ρx^/)X) A6gYZ6Cg% dPropositional_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:e )mU Qdp9`mj ڜ}cү7Bn>HBf#ܩLPMz'Tn<L=>_$z 0gYZ!5CQ% ,Propositional_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*\iAOΒ [EU_lg뉳JP 2NհרHht! Xѕ" yլp qDUUR*_;M%6ZjV$^2Z y{gYZV4CC% $Propositional_Proof_SystemsHOL-Library.Simps_Case_Convdocument.tex7zXZִF! ]A-MՋhvG"uIBm5ȤP9~X^yafa[uU(jzu9| NGPrwQ<R5|e|hI)W8N 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,@6bPa,;ȗ:VQ-`[1r+(<}M@CQ+ll~ \֑D@H]bPCeÀjU Pj8zd8t4FGV旐a\5 H\oj L-O ًx34 d9W:MLڃK<Ͱ2B@Tjss?vU=Dvj]_մ0,hj;! K!2j; (d¼-L_;Z;S0MÎ?p_#̤[ú :]`&vg.SyO!H2VׇQGOk00Sp==qȲ9:^rroD 6Yoh=ۺA;C.OlZoĢqlrM(3oe bnT;!dz:,xO0B8*m"`HDb.ə~?" ]pXr/?UBעfjm/hS&REaUƩxyr׶z"ES*2vѤIás߃*tIz9MҨ1w5i{^K'R(b#c1=Uu9zI?bd 5? xNX3h,6ɶ+CP=az~L`܌ՃL\$E߸Y;+2lt^qH۴9-?MڎU\j2eY@9ٌdFQH鰯/Tq~t#P^:m'Ifn |IH|6_ tSZS/ T3qi;U$H^KIy3,.4akahBʃۯBӋYKK u~sd5鶩M|,[TA (&D֕`'*>Dr^}$UpmаqNY֎0 qDUk఺a+7;rڈVaͮ6r4o.,x_B͗LTzܤe*v%ap) @O0(ڀgon%|Žfs5JfT%0Kivt\2E-j)*i2*q~yX -#@Ân|,x5!]^Npr\h'WBlW#u~ @zĭxV }ޥs?BTn(Qt__v9LpVKU++{4w<|9̕ Z@ !'"eVs]Ί#nP])0qa蹭d0UlzNRq4\K "Ff3e_/+C50Bu+-PڀCA~Q*Uov3[b:5D*Cwzй]^.tsj?:u!hTiޠeԄ,ڮrُDl39bDΈd*>_D(Zo7`!},j, 2ih^P<LJA{^87<&{bOdSLԎs˓>CeaU8N1:Ǿ0D)w>MZP-a܇4%.8s8"d`a7EAsauIS??JM6jɄ{Tˑˁ2\Jj)7n3?5ae "͎KbtXJ$}mB`)ȭ7j1#Љ%S8C+CkJk'"*_#eJ(-^G4 KU7g:wm<Q#mlQ8x~LR:_I%f!P6th& X&nNH5diӌ*'gk oMhr79`eiڂh,#:sV#k*PpC=jjǨ#1厥7oU&b4tx~9:5|z瀢AIQD[LD?{`a@C4!~ 1/Zw])f/MƦ\BNWա/<9TZ$-E x@AG!IB7KEg^IA=YOWA;luZ\FԿΓ> ;E [ܨߖz4iU֩6bpٴ>oݝDj525|gPn;Di$taք2Zd+h60mufTu Zqa/p'WsN5ɑ[W: P h/p.j5׷Y`-@'yֽwKp;xDO,Xxdxe c~-|K@LV}x$(u`3yjIk (4::&j+|rA;rˑ%_,'ͨ~@l4*2:5= et/yNq'VSb=_Iu|::BXM󇇒%Y^`>g xz f,w*)yuWl]g*6Tۉwu)Wv / 4x3?+??"uMT1?W6kvZ.p=T#&'pq/!v_!x-S2bq\V n*ܙ-7=!%^h؀WT})Csj=y 2`H0%]q&x5)4cK$1]y12t>¥zHa\sXly}Qg`ᜟU1QaRJG޷/kS@/Z1K4X_24R9w6kcFP <]Q-"kŐs!Ys+Q8f"c'K]K7u@G@MI4q#U@,D>>zqUU$8;CYqJ9˴GPpq z{7V)L2|j'K/߬ic .( aB(+oi7qg 5+n~E2q4Qkuet+)%;_x1s>fEZBEƄ\5Ii{ Dɐ:2.1bd/7[. &{< ;Tyx׎vO&dKwRNrǭDPS&@B^֥NG-?dKjJcsm8nan>(zLd)h("6fp ].d5hvMZfTv0 MCX[>%j/tUԠ3_GeNa8/ݴQERt~A+ P a!, `iKz/-l"[16X>;#Ko,߁ZN/Aݎ-t0oyݷU mvT9x?n&_,00I(ozF"~ʟ;5yK1y$y0@Tr5mMu@'֟qU@b&e4DLJh*5[G? 2m󶺻g{Uv=E-XU' @L@o𿟾.;zKȴ7Z B:^;4hIF(lJnxQؓg}] S' k7Fx:a*BuسUYC\S;,7Ð\AFo9Y{D f h7;0<&yLk⨵"@{{ќ"t?yMLu۶ge juwKѝ ^ͷ7%еer?!r{z'dԮVv1ձ!dwP d>^UDzRLVvcriނ'1q!Qg5D !Aux"Kh}?:d5w : }H&J@{?K{ûHsHA:2+^A[h*7 hkf'0\'153a^<"qeGdNE_c7*xu=bwp=BzF(2\~U!H "6'vhَߎU,lIa٠yf],"?V)H'ksQ >wbW$>jc+&=`X_6韨%<4[8 Q̗'b^,8G~WZd=6oQ|;PwrDX)EU k!r ^!(%`]ʆ@%G2!Y}ƟuXy҄ +Qfp.!{hfȐ()ORX_# ;Eca(d0"tȫ޷dB26 wJ &\(H#eOa'3G^~j8!ۥL},| $98*]TpA /yk|?Q2rC5K_ښTui3=A'ɦ{;`IBrWo%~E-lxD+C$q3t0Q)t:idi #;ypu&';59W>k2yxG2\Gp}q|Y>"3:AC&!$sN @D酏yk]b,gᤎ@/I;f/H9UЛ0Y) a.zuQ-<1GlB'V (Jo|\P:y` dKOξ'-OCLBk l W`J~1VGTZ"L@hfME,UZKGD`+o:FujXG=i_ep] /Neʠ0[qݶ=Dk#$USSx- kzFg_,=.փ>C]kz3SI_A^E \&oɒ;YrBL+L%퇅ܑ:lhm~+m?Ev%'bNY>[$ݚlײD٪C:. +1OfH}P-Iw! ċ~GeW&JÉ`f*Ycvpi,<ꑗ(c `(ЫD&~lb"1* م3cV5r5)Cx Y^܅"mz~j Xo>Am)гKfNlleӯLfKhoS$bκTHpzJ^2r[l 6bA.IߩvA}5R^m + ҆/&αoj/,bW-/L1ѯtoD_.6/f3.#&ZyK$ /QYI<gsҾV3] >1:fKzE߱Έoeܒ/i1hE]|XKDotwk U&;cW>i.hUrXq^0pS`!o*M1qph~%v[i-Hѣ2o!7v%cZ*t^kðoXt~TYqPH WZy3&ZUkl՘˙UWxHo3r?%'/d}uLP8S++-pWM*YA lb`@ٱi &Bi2spW~ /h3 Ox vm%TZ:'fSȃsU.П |2NK)ZS's Ll}@3l@xG܍_R^b~So.ɻPc'@%GICQuaڲtE:ApPm\UmĎD WD7 G\bmse#4Ok4Ņ,RyS\/q<޶8o/ȍ ٰ3yQv6'"M$$ Q0)5}JroN;3%csn'z7iP}~mbOb&Qp[FZ[⃴;WExC9Ї-KPut%`#BDdvο$I3oR5p Ƅ*NrRy^[rpxlj*qeGv=ҍ]&EGdSN"qݻص, |H%zc̙7t2q "2 tҀۣ<#sz }@&C5M4 w*`OE,mY]CKH:$t P()bnTlApub v{94?yh߅{MFK/)b3h#(yyiNJH#_@3v3A9`6&#!#?#r䡳1. Zdܸ!fQ,\'yb﹏Z,1AL֍PVra;oJ@W n 8(Z*xji'WLnx1 Qqr6ھ>oI޽-WiC|MѪ$p! `/v ET(Q m/ GnMdQ&<[V!*K [d) 1 Z%PKQ3{1֋rݦ0WP [X7I6Ƀ&f̦ K㐱%7#{+ 2EE~ufdiQfwd"%LTI_yYDW8p\Ѭ#Z<•fBvR@ >J8S))HXPR;7ѶY~YE_WN,4ֱD:}g'E;aI>9e mh/}x$ڲYA\>yN8}Sb6E e#6I&  ^WG#~|:'H>5``"LFM[LXz{c4Lb׃mڳP?PwuEqcA,,+RE֙>.ߍ@YU3@nI+ `)\l="pSq181uD kA]]OE ]mI5D]Ft2\C# 5| ?I>hr٤t &Ni.J"nRؘ[ـ1| ۮ_./[r ؎ zz(tQVhG `$폊OAjDUhfvWƿiqB"Ƙ_Dg}!..`6c2 dQ ػg;"u*OIǹ$['>V܁~\.#GlOsw~6ٶ-%GљXUĺ4|_w)H lɽ.ѲLhE^YۉT"qcSfՇow@y:%^3NDVecgZ :f|+fdXt Fbcj{](}%<qoKC@)2vA/:/"*5H zT$eRn}~YQ:x]K;Eh;*O&ol LPpH^+'׈Ql8FdV|bk <O[u/!8";Ї ¸ rIsd_aB?!'6aR,gɌ-ÂFv,-1",󠲙K*,I: ע!B:)*'%tv8?ƒ!QrkWz`&G>pjxn8[gk3YzԘO}iHPB|cTJ~؉0nn %,y0,17&-c* .Q& )/1lF5 ^PEՙqֹ֧@+), LWG+ۍ֌2^F{<m3U4>oNIHkj)H ,b4yP ؛W^̅0 @7RGKs(GwRQz'lan/)L̞{ e㍜]:_OazԚAFS`ղPMhHf ˓%Ѧ}1k7"Ĵ6x=Ш(|kvsZ,.Deif>673<%peaniGaM=$jP^Q~w=_K&:,iuhID#mAF,1 /=(.e^;Ao7%Wmz-d8\TGj|bKd'x&hDGYO}Q7a<a!`An^>Wc~^cA*s6"9q?C{<@!&!8[I΁$,#}jZE_{Z:r[9Qe~@Y b$|Dt=JD ʛA x{gpc7s~!9jSWHHȟ-jub1BJ Xw9RFaC':y`(4 >~%54ljyD˚Vo ;u!MC7:@-C& B;_fEu|v_]ޖB.vj)zguNCg0W>Y,<ӦSaۦu6 0Sx 䟣=סllqf_)i3ξvb E!!];̜/.ܞSPCr?}ecs]%lpaMK+}V ePf;cw5а\HG"瓏 0/ /~:_kv}[MD!|DW-yu6G)2/+j`p{hc Ѡ *׍ ML %%6?qD,?f+)JX ̊3SV*Cųp1B;%;C8|tlkVr#iDkDLP9џUȁ&׮~0-p`"7}۳4Pj!zi}* =gG P'dH>^zxi`*)`ǼŚ] c빟 e6UwJ<>;O0dwTYMl@z]|/G)==1Y9i#o*{n{'avޘt݀Ҫ]`|'O%U&cLk/J %ߤM*4jvJᇇpmcDzUžLK'27ލ)>ﰃVr$*y?r!n] ->e,uv?osr0*_n]t_nЍ%=>UUٸAF\jO~]mܳ[kXYGDp~ń16X=\@{[xˌZѦԘE+\^,|Rxޥ P=k5 =j3,ϡ+~0h \]/7 *!9Yx{?Q:Q%9L,g'kXZŦ@. 69eݜ=RAVrozu#裂$bH+npYioMŤFL^!دIdF Bv(93 {8ADtwQd-xm#$ ZH%%\m!H80IEDzD q}Oͩu:Oq= x|&(ǥ{3E $3;Ocax*HGq}ɺ%t[&F! Ӡhe!,YH(RP* WتFaHL۵T~3l*CDoWE{|L>J rqGl%3 UKO F\OUB3cp‰c$C{gBH'\LJ=B !k>ͅ.lF j` Ens$SHM-_du.ҳ,a_"xJT%ɵvPIY騘;(M@tt 3b mr ~]?e^v/:!d%捴_ngJā/#>E!97<ԑ*g01 WV.eEH)w]8,)~{I0C3QyS-;3ٹWOvcwiu^)f$aOP}}<&)U,ʓ<jFy!{Nww2" Z9w\NH]a]:~TM!&v{!&å~}xLWω'hۘS-9yE\|9GRoFlY"i*\]w#݇|1;3FW4 | L5Q29|+BudZS.QS9[֯4&4NmvPإoI-#]6@SVP_QH<ß=5IJVQ)5G?+˻J#נ/!OL@OSnԭڬjšbQTy>ĩO?7YI߱Xs&iN#ozuTm ^uZ<ȾUwYS(-LNp5&69RR(z3yG/Jد3*!ì Dv!%2 }gKr᪶t 1y_/ \cQr0raG"9m$ q^F8T*,WqazK쮭GWx"K``x,-!g%Y9oNf#ӌ;9=ʲW) aC0[Yx^xs\]VU9B/fw O+{YjӜS sOj>-\ WP\cJhhV,_%Y!j0nC1_ecNO|W}F06^ό}VB{ׯJhq‘l:f_mߦ%a-p#y7IJsIK칹hvnE4 41xsc ǢnX &G2˜WBD ]Wӭ>^!}ey\^LJ6][0{Fl쟎A~e}[mT}mۺ˰[Ў*! /pߺf>DDenO-EtA mj-ߙl>SS j>4OB;yL.9S&ɓ&J'%A\B`(6#/Ə_=^FoyGuRqk:k*Veڢz}~svdžŭxWr¡o?W l{f,A7;3"4P@vBZ6qwmSojd-6܆vܽ`p(A^NNTF=j>C=pE5\җ/[YvzMmnjÜ;(dXDFoF8yP}D, ]h]cJ55&D|P#"<Šte]R) J27}E*eR&S;Q  k+yq:iChd6CPUAù*4g"l@k<1ڣCx)(󹖣󠿚Fd}-KLr؝9%s)o?U}"-+g ӓCxw\MK. w$u+c&wUG~`Jb.\fS0S]SsIݣLۃ?Vs*5$Cfu30"h2je1u~!O|ٺTXg*I $t߻gs+ x y(M85uZqS%пG&hH7ȾQr/}sz5:P:D)I&6jns~vxՙWGڦGHMOkINrP/NcId)b%͗  uJJöq\)fm~TB*uIT6Opdp!ˑÕjGdalG4>T&eVHٷsKb T!Vc] h}4F.`jV}涞F:B& l/۲ 9p5ƪyRbۙICVSv\8kPF] )F( *ܻ1A- }rON2@[ 4&#&M 7EIYiS n*(KhaoB#ygT(_Q2@<vT)oH-P.{C=J"TԿhPh-Adfs߾Yҏ0Z#Os"n;\!I]K#'ȏ]R3-{`έR##7wKKK F%$x93m\tlR |o<+붬0`̳.;~ 9 JE2'j={Z=<7NOv(XS+?>74bFbv̽ˮ<[W5PFsExibXŰG;LzV~7J d>X&tDgkh|ipJ2ȴI_hrMG|Xzs[WwLjۇ#~ O8&_k'ےQ!E"3ep7_/(C$$SIH5q0 b쾰qMw_!tM}<-#}8iɋmnn|7G9 R,YK냪Ң^t$s_ou&W M&Śv7d~^`y[IjardA":aȱ]u'Q_okbmee/HgBX*^L+1 8N'NG܌0?xu716h\4Th. D+b>=Ѵ^ҡB\_tsjԨ`Ӈ&_1xrd:I+*^ P6NJWBjd5m pm\UR(:^Khkk5^e'_vE.wۍyrNxqTݿog!CWV,UFKR/Sayʔs.5G:}"MzhZKZN)s\`5I6(hsK5DwW*f#2> CWox~!D>"#P?PZyJǧ@"{a;dGLvZג8ⱕ`~*Esp3Y݊=nj&/mWfϙ(fUtojsOaM?DDbFǭ_k 9nP%oFL~ȸD>237S|?Di\g23xC 3YVP!v +vW$5WlTW*@.HA+$Գoz(?c]rq(.Q.aVpc&V/teEkIOT.N5N+oQJ:GFcڄf*X}rq5ۚGb8ZŌ\:[qJ  C˴%^y> HND[ ! a9׉="{_u3F"s[S/9IڥS8[z'FnMI]0_>U @$'^B#ITKMY{#8m璏+;+3dB: fYw4rM xi XxNB#gwhUOؽ0ֽx.7][\&6 ;? d *gO C+ ΅IҰ3Jbp:hV^q9T] ECa$:Q~mrQIB,v"yI{iᇘ@Z1&DDB D/NִV.Y'Fۅwטwk%DmK9IRM]ՠ*]cL̿l'XWYoYLkǣdvH(WG"bȇa>mVȶ8<dH[Rr m/9~J q]vhș0c,qϧ +cXX3p'-Lb숤ݲNmy(4;MsX>H,EaX5ߵɦlyb@p7g;oQHph0/b#0{/n>FJ6?#I/|ٻjw so 56ύ7b웜=.4hbDK?+G lm*w̨눓<CN&ˉ$O'AԊhTZ dŎ x}'9{~}Bp11D$ߵgK%!E9M:dV1Tk$kth/%efH%:{wki57ًsr*/[xקطܺpL̀N)C&q`e]iBKܙ4U64ic@PuZ~XK:77k|ډ#.I-U V̊ѝ<Лd1uoz,άB- 9wg{PL2*OE\ !`y]3;<<#_rwJL2**OM S8M Rfy*Tg DtsYյ-v0GEc,'Q01.RK̑v `;f+{hY4 bu攄ɣnz(n~0uTޤwqg9΃S^ь% .0qHkC>˰M}KRW B F Z/vsM|3"(" V5rM7Ex}Ct7z`MU>!/X=wQz@)eNcKӎ?u뾴-C&1QsIe>]rew%% ًݵnJTsw_~;+߯|ӄf0lh-fP4,jpݣf'^h*#FW~C1ɮaٺ[fxNvPvZ (neO3v$>wfT-ֽ/p,p?%0Vn]w+Q_>Rʆ~_m. tj!!ihvEgv։Mqn>OEn>*Wm UkĢU[MSua[ya:\eHݬ \2vR5 $rƗ fѭG )l,|ɴ) xqu:BG#1A-;拀ea?e?`9lBIj$iSۣƬo)[Ynn;/9+$İRW9^Ug h1 8r7KGڛzhܜי>EaJNx_G^1ό{^Qf0%NWkp70 ;uX4bslo!}Gрl G qϕg k{33gڅy$m8/$?QT'?B< i =+c]!R6Y7w)cfc S_0%S#`RXL9@%32:QOLb[|7^ܡE=CiXT Ki=kvC1tIfSʑ7(4wj_pz/Ͽ]IsQZ@[!y6%@pNdvJgO򌖜eO 3 h6:cnd3~Z&*an| 2;ng7J19ŧ61{t?]M3@%CAQ40p@̸l6{& `+bh_+U^b֙2=D$s \'HG:CzO`o GtM+}9l!Af*{A@yOQɸ]!6SY]" s_Hbmp̡Uu *cN XZ"$N FߓUmrFL[0X/i䏖[|{ f?rf9{7n.  TIAk#"?׍1sAKpײ=>oAK'9g?2&D̋JuDev6A7 B7#jbjbİA( >i`#NPȸH-j Q\ٕ5iSQECIwke&;qSq)ę/5׈81>ė%3]uc!̼ȋWrLbWQ̵&G]py:v,V쵺0fU/_B3;R_MM:gt*WqvZT6oaȡ2MGUI)֜vS GIE 0pJ󥈯j;gA!2v4#8#y8АA_{XKž֠o/ 'ƺ7ehş\䧪clR/4/,g܎χ{hW2syHQ+I/Oa߃c`7k 2){Y`"rG:IB0"ص2M9[Vc6|D96%m=UjghR7 PѲVqO$TB퐳6.jhކ@tSm۬uֹ7Snb][ jqFN..e Huۍm Ŷ`PHuJ+6 wPt!57+i-qF|F#Fa0aQBϫR" gYSN, :۵ZRP_uR5k*%BJ`,"ǽPV,cٝPN=ȡ>vֿA}Tq3m5zNzt{mz^Q`R:CVE4!rN tG,q>AҐ8'=6VbRZ<ډ[FӊZatLvLŖ :x(AƼMHԨ)J8[-_$*NM3w (V^_߉b7Nz78V7z ǕC_APML|gYNqOf^  -&Pg$#i]j4^s ;k52/4?pe(fxHt㗸 1fJ(R*tKxۨHY]g*OoF?a ‰S, :n(ark Yk[SPD LQ*9-@)A8 3#||u {W2]G{76"&++IiܖĠ,G,Ȕ]Ӕ4[(6 -qM M K_sĔs9|fH _H#j)Iܬ:Ɵ !8{f7XK^,ؚv`HīzOɺ <Fo"^dIQ^~Ox9T1$,Q1ito":jQyAKzlDS!Do&8:"IX<yWIrRqX.K0=ެ2gߘPXD!k[YobC%yЊsEnJ(yMĴ&zWr}+;cxŔ=K"b?ޙD j&]Y|w.}Nw4uYw׳G*3ݥQ9Ybʺ%;tAa+!MB>ؒaU=SyO_d%p*/:i3x M 2_(IDsK1Ǽ鈿2Av ޜBx->+E1YJ0 jB@l_, ٠zjf;vh@.np 𕖿1T>HVV\'~Ƥu%^6Ƿ[7G 0w#Lt<`Mpǹf=B3vD[ϓyM9Tj)i؛kLðtzd}+c-^7:d~!_ßҲP"g_jґđēKoSڀ P]p^փsSyiۋmuU\B5R&gnI]pb50\UpNVk5hC%o\PeVr 3\AIPqɮh%M-&>/~#Cr,Z/,%)L&o[+b?z 8y>1KtM J?O"c6jXiJtS} 'I>*wm]1|}b'9*5z?n<Ns}]@ 761>geB :&X<"`oWKSGp !H45 ł5$}*S\ {< x?rRvv-}p#c| x:TOE^.ׄYڤb4oaVK^J@s/سG 9BV*!J;-<0ǖSqAȾ/b]MxnСM}o[(؉e?mF1\ b$ĜձI4)qX3s«V:]$VE҂{ݿC K3ݸLW Uc* <İ`$%WNOε)ѧPJ;*QOPlIu>=B oq[z4TsϠ$o8: pˋ$Z'-(Wsb՟Y̓HSV#|_L,G3.`F.L+{j#j򏲏'.?;nk&tI3B\SX cF=,1\F7?^Y" E|yzlX,>D Dvס?H|xo .A:2jpf d6NA;ϔW`v,G~]v2Kj'e賩GԊp'ܗ^Nj#M'[ tԌ?* w;|8l|Tg޵'%-qvL_L,;Pq?mW7|]yL"J%& ޕnBtҨ'l3ipnibKG5D(5fPx9Md1G>TNק n6_5Aevwy(&f ƈK6UXR ]PϩX^%;Ir"_S_btR*MK_Oˁ{j~ٮ=2*izĄkE{mQq-GDzV)o%~tU+dfmg]pT^|\{Nj!]Y.j]g;˽SR+G] 7lN5Gcf*򰹆dk:fI.nZ豮-akf'V`.oXڵ{M5MD)@)=N\0J KDK6EI qm7'S\Lvs>[7u+ -+הy=7%?M_5zHХQ$حeJ ~ bqMҚi@idž^I絰k & haDCou(Rh)Go)B<7 sxP4/? &ũL5,Py'mO59I;S \G VXd Ŋf nJ"- }/MUc瞛I(9_^@;ԦmbiN퍚+ċ^hpfhZōdadvm wvӸG:X0{fZ*Pu2W~F8] %I3IU\F3Sz~L?H^ڛ-ܝu={:\S瓒L}^̙{Hˁ1KzG\KsJq^t5Tt$0/xoB8Ə`l*1^vh@&xVTp1:GQƀ&h6=DuOokޝА8(QCP'(ƟN//JNbv"`u:912s^]m"8 q,'8&5=\IIa940|)};Y'&Qd&lmR4xΑ 0"ϊ AqX7U@!-de֧c0S2u evLqbpEW9Ql;rOqhaM((;@|r6 JyGe>]k٧|čR գސ'ۨ%(񛍁iۻt|F a#<wĒ˛O=ٽ&dEM7N=Cc-/T9SxJ mgW.ǧxӲɋRدK@ W]}S]p<ZL(qcnƺ).']2ڰ簵 T*8#8C!.~&6dj/^rR}tWU+4F4ŮX;]:(nTSv:nLWq*+yg V񹖭B| KTj}`>Nq!A FUw#m@"d:9<ĕX^-ƋIm 4+/"{0%@Bp^*ʞ4%᪰{gu9fx Y ~low&*Oאơ `&J%^wb{XWؒEvb\s*]?p:} !l4L5I][sI.#4tl:qg_3VF<{|r}u.ȮK[G/j L<5 񖺀ΧP/}Q( )pvʼn%?9xkv"in(QpBė' DTn碄9llɶ)r{[.D&ƃT~7j6:\}`ߞCyaYT1L|g|R!Rw_WY0jIfuQm (6bG6Ŵ_'ٝh[`pͬl>V9['8gYTٍhX"i8z `"kȐ@Qﻧgi #vaHkUa9(RԘnu!HjR)Q*mIE1hZAdG\1C[ $1 ,HL}h?*&"yS894˿6= ^nSB&17 @I2Z95Pd31RT%~#&Oã!dp;%%`s}3ͼ8+ƋfpҕF&h;`U >*j(H2ܓ@L8JЄi؁ע̙5^Y]ԄvvN'a #XlofUhKAŎ Y2<lD!ΛPD/U)zx)g'r(1V-{œ$ԬgAA_2I(1 *iߒ0I7~=+-X'nOFOUTW t. v -I{|}c$iҽa)9u2餔.G9\ضժTıN}99+u;1ƾ%fI8#ͽyMF9 i98;)`$ҨwEv]t:5T!ġcqy1YξzOFXx{j: qU㽪mF JXsHQn0ӅU*iEBxS:]wn.i51?Wc SN_p8%h?35}hGA z3RZ):Ҝ{#%P.O:d=D*.0ǀVG[S\׃I2'X]X,KA5Ļ^^v`Ai!ϧ E5 M8)-vl9ZѮPE,y:Pdtygxf>нl E!Epp$9(rUmdWz:D4% 6ABb8 ӄGC\da5n\1m@_1xڸ\4ZP*Eض,I:k'#ۗ57tZ"}&1WMZ12O{x `3'qaZτ`h? 9/G?FSA(C9hw(UQs\8!av!i&ZrdHa6&1@*mT_oNo$H=Rl~[p&ːey]οN0Љ5у@ `^b[0Z̦To 9@ Nlh`,~\^Kg. d],($ձH <~D"t\\Z\jO SʮD}4-1:%ӯ %/%CުN_oz1dxCwGEuB~DlGl9UM]syo(^T}Wǩ%޽ǟ J?MN ?%(mPײaHHUy"ab;r:>#d u'>c8T-7闀bH-.||kݲ6ƾC Onj!AG& -9Œc?klfT4^cل 6)=m0*ҕJꤳKJ4ڑ43ݶ_-8݀891pE-!ggqkHQp(B})klluBF pם3C wr@$?SBr&9QZm k*Be0 M*Ҫ-6Լu)iJk6S6^izcA/s2!S`<(bēʉNpa"P/菆*-dt.8*L`I֮gǕ9{ÄBoav-64Kʎٖ ,j>{=9 ʶsu,(bæ7| ,683'pThN@崳>KM6}⾐M %|3aN>I_.gO* щr2<¥`+3"Y#6Z<ߛ\Ke {69g6پ5n1 >;aZq h}㳱y^ o۵ª:N|p~} y@|.RR@?H^?]Fo_X)?|&W$8tW 6%b`SD}vRxR?h(aNEoI$*^pҞט\{./QEI58' ȂPB +#w{h_+6&zTW$FT_>Uf)#p+wGYkYFuPqޫv;m}3PgG"J ٩݄m1ɯ#lXbRJzpo%*P?1&,W*>$ʹ!{]H,R'B:Lh4~|ݯZ7uפcaPvb: 9 .>$(&;O>Fi2cL}baHG~#fa".^lQgEHFJ!W՟:fKt;IimJpetA"Lo˾ ٦JBy31kLK O`7@_4Sl dx`ʊHvqL\CUUHI7L4HgHʾMq._c<,~Vj!)c"Kl*+ v$?.7wkJ4.s@ `ϧv^E^QjRBw=;Ŗ˝ypWi X>{eS.Io [DGTN"7":vT:fsy[sGaC&Oy B`_&Bօ7` (,. {OY·h'k4!ŧqS}%x$h[g9ۓQOg(1g V(70$DlGI 5dߜB5ġePoIU1ҠK|A|՘:h{lȦ{u ¬A.w@:0{?G30OLo3cL~? <,>|A?h-@IЀ ѺBmq]fb+vdDe{Xs*'E!G>Vĭ at6OY=QJ8 Зfֲ"嗶>T!f=`6O*FPʾdei?ß 쟬zGT.#]VqeoIyF,#~M6 Ī'tƢyRC"ؒ./q;Bk tU xTw2_T<9/@VCx%@ҡOqjIzzO/5o^!n/PF9|5䪆e϶g`R>6Wt ޏߒ"J [U, ahg> *OQ?wY|H|:޸^U<;=m-;cE|%DNoM`yoJ É} f7E(WB2QVzTGvְ01ë'rQ?}Uio&[Bk֑r Xy? Ͷky4 +*_䅈4@o:것'X#Cş+7/Y}C(rYp(]C@mg f3~6!mPG,V n9v%H=Ig@S )QXG2"['&Tq_F; _aIp5a͌xx=s6(?wA #jP_c  o^mTp0:VFŵ.'b8qTɠoysl!Š62f| 6Hvn}W#:&r]k7E9wW 4kQOzprjϵw@`]TgͻLiJ3~fk?ddbdb==kY=o u4(5a&nVfO*U# D@>'PX۔IĬEGeEh\ T;GT{N惂T͍6ii~U-qT\U㸶];r}XCS&N6Rݘn_pB/o$9t{GF;8#GKW }oK;=j :RBӴ#.ʥbh֝^W0@w ROJ]?e 1{yr,9J*5)ArX2a6N@fcɇb&fИKfV$Źyml{'AL(9Ȩ%3"Uv϶aܸL:ehܯIy'#qN8gq0j2Y!7wt A7GJqe6]#6Gk?A.ޢ{? ig0G'q `]ܧcc,p'=ZׅNt?D;vBHr-']y]mOdSs{ېM(cl4cIu߱X?ӈJLu1g'+RAoDp͌dER ^ziEbIrLɂ"i8zTPvY/ZAC҈s;tnQ<3i <ȋP탾_N@R.e,h[x|ZRwr=BΣì11D{?LYox?բpr,?t7ThdA236ރjgxuL_`k\FNuԲ;]#4Gig4p>jfCLJyzS DS{v=%~/篛DŽBszDZߗM|C!ݫgE02<~uKg+1PA( #pp2]`PVEâMRs)moMyk/p- )HЀ'3he+w3#8wQ'.ZHz˭s$= 2"{ Kxd(m=DոkxqpNĨ`J+YqJ2gً C_ RiGt>{ٲ+'g:S_7(%{|DVV@=H6D{KW_+M3&܈3ຐPzBQl#pgb^@p:sxʅB/ &tQ]SuPbS-HTz2-z/3xb@Ԯxχܞj:_L _+(WdAc o͜(B^;L: 5׬! 2,F $Թ#ovN_^1)jK.]EQr!g3!sCSF,b *+~(:s8 ޥ(+b9M%qQV ,/0D%)В`"LI%SǯgD${\b. raR D8X–psց;4lHgC[ ly~Ѹ9Y7@|MnQ,r*d{ۊneqxYځI 5ƄJᦚ0a:O!LBi R0Y"^[C=Gcx6l$&N4킽aesAQN Ja1CgfkQwhA͇YP3R[ i&}B5pz\8S4NPu\w[5(dCp!6Uύ iot%|۷& Fz*Zf(ԇI}R{4', MYvIfR&)k?y`7w_)9{c÷e@㯵_e:ۿwl&Mf+O[o[{+!dώk{6*!otguK|1`{:a!@/k rgN*' >f6ڽO]Xiƞ3j$JV{6R,iTyr"T (hTbm@`ߝ a~paŵԃ,RH[b6agas(NB˩B#bjۏJ5uiZ(w |z\z&$_>'/]'WNB\r0| HK;Piq8ɬxjz8Q,幂?xh $zhw n!JMy٩ 98e(Mdfl gGxS sI1TKcWPg{bR w0SQQʆN&r#tc[ظd\|xeミ=&jzCaB6Ө_ڗ Bt:}WrqCGOo+4)Dl^'@ )WP ֶ`]*;4u ?Wzh&LA;(V11 oWe5Bߐx%Bx%qf3>G Upy3F3qУ[Q>s+uQu?#.9_鸵(Ɍ&h̉\cdi[!ӝ2J”in3mMNyrH>xDo!|TEʼnT{;7jOH}oDw&E3%U 7 ˡwVgN+t)@e Ԉ#}yawSg[]Pb/۶0.[+ ROO*9g2 W # OU7tR^g3--~aٸם<LNzd$\+>7Dobpz8!5&^$JsN]L&lNxTd? +ssЈ5Jފ<:8S (*jɺw/=!Lu#DB,I+=RRסh^ X {th)zF%-ǏYR p|εDH/!sz>-w!4H>TBh͌< 6(]|*!ZX-5!}Ibv3ȘY$`?޷AG!E؈< @8<83Ay#`Drx!u7t"Ox~&C!/Ѩ!"{PIʽ.bٕ<q#9" b5\a=]V f?/"|\3{zTM$v;ydd$p*֡F[A2 ƚVK CQJ|pf# /"룯6Vea/inG%*9GP?5B>`̤c^ThS 2ewl# yۦh>1VRD-@gtžU l_[AȿXU?0^?B)od)|F3_@\.O)a-D1 df@9+Q@%1\r42p 866o]/1@z#F]^G{3D*`x4.n)M';.4{H}YTNSed$a?4z&6b۰z6_ŹAoS:Fhc#Re;a `B<@کaNݛ8&Y~:^riIw*+ɏVLfmg;Bu'pۭ2$,s\j3  (|S:f7C\Df:3\]{ҭ??T/jqؕN*#Fɟ [X Z#?3C%]fRD{FD9xgJ$1n(oA d8@bl<2,kq,W +k(a4SbKe{3M џn vz8:ȘW^3V2w'z½ Z,U!ޥZ߉}a3Fa6ҿ &x!ijnqaoJNk+pJI^D^ ʀ<.gDH6s3NREԲ~h!>(2+U9l+5y8ZґU?y~{ v/G(iΛcD]kA&Lg#eٕ0'b+4'Đ/IFGDㇼc";ha6׭ nZwrLG 3KiK YqJҤUs&uξƃp& Ҕ}cX Z[#&OC}c*-[*)]9tt4q yRj3l{- 2=f8e^^ O` ^J:A0AFҟ.MAD=i#$ge*WgS9oZrOm޴zZ6rdGk%?4,qVe~H0JӜV^2I\A&pd'})}pC,zJQ]w3y Q?@Reb>ɚ&ڬ_Ug<'MүCj b/ӳ=V(,D)]bdd[ox&dc(({}xF4F=f#2Y|`!ic#elrs85} 'YI=,vU 3hy7[ BPgc[3!XKmM7<":t\4YLKp;/hZE_n~ -F ʀNlfGբ*%u%{dsjT =*QpWuf pŅ`rȋ&.).CYm FD-fwdHIf)vWu/c !Bw6m4CtAlDk,wn9nSMiN.%pI.bOQd"WZ89Y6#.Cҏ+ô 2)%-W)3@Wi1qZ7jD>S2 |Ld nt:.fF̕ %gq?C@%0.گEͶ$.S;キ?$3T|V(QF炿ISI|K;2a jlj-oO5{9j{fGA>cą<ςFZ9p$3G JExZsjCdl szN0)./\9k8Z|OCs"$!Pri0AQnqX|ͷagRnOr6 )Ql3%͌JՈg{to ÙI9$׾~~ ^ЋIt)h3,WA|8,bbĞ(+p+Ms:k"?t;6W髱@ytgtU2rCm_=^̤8!ӤG'f}6:ǚZAF\NbDz)vƆ= ?-PkcM[$|-/2 tOH5$$>PTA:tP9ՠ05TpH1U$zwC؋1xf e1o 2Z;z~>R`B3dVݸ47A@#h{V4\N^>zA4U\f4D]ȥ\w 鞏Gc<Er|c Wo˅olrĎy=qY(nE9JJb< 6T/F ])k02Q2W,vOs~K`ƈn?@zߓwsrX}[2J=WtvLʹ, '|UWqu5,, 5Mk7.|)T7gījcRjǝ'UqXM!Y-qjZT<-T1ֶAڙJyp_Ѿ{.7$PT>X; t*j;r"| xUk]eFn){s_TW,mAWǐ$^bӰ_ɚ8܍O?vb%DKfj.7('oA " ,mѯ[Cm ^1AEO7?w{7m$޼y&!,4yPSp<O{Tϩ}s"LMNVUy8-n@Aef='d|6 NvҫdƓwڤ''lYiIHIel]I29p!r^MKl$ 7q͉]QMpC=`nZL؉ɵɄSʲ)Hry6[4Sr.*S@"w(W=g b|@>1o<*vÆ^^i)8cP/eBCC97%>6,iPU>QKZ\xtIu09㬖,g6k;e=;OzII0ᰖ-#>vaw1%09 6gzn5N_;tMVՆ!8x͚҇* Tqj.-dP˅ wwHQΞO_x_WK ՏҀZ96br_:@:I W1+/8{39w;Zw 8p$5b"+yJ{O ˚&EGzglYh s",jI: vp<}s2m*o#L͂` J` 6Nxg :Vu|:R&@30 LCjԚn]Oq!nj\S?{%h!黼š"Gw}hjg؇+vo)B跛l)-fzOԩ=>2&SqCAsY"px8"=MBH[`+a%}Q/NX޳oGkȣ+xLJp&mu@x"cͱۤVH?l[@ƸhPnDsH2q9Oi[qpYnJu弢o[,5q$6Y,EƈqKSΞN;Q eK,O#U3"g' )AEc<{2p yQ$!6cME'<0O20V>-HΕ[I`LƀK t͞=YQHUH1 +$,SO^l CWݾ%Y*z! A$7e.)J̯Ml *b(dxT |m`|ɐЧ0A'RCk}_M{ =R=$z -`bh 5 KW-vC k{ r8R€Vq uBwbwԗCS'û*kY.q wA:s;UƬ0l1yF7~o^zzTZ`* SO{ mUT\-b+`vjB z熗DeG,V_ 9kD!cjr[c:.}v 5>o Sr,jQe\Lc`L̓|* (֨ܣ+r &Ʉ)4` Dv Y7ԁ4 .CUs `ͩU3\XLE!'{ ާ6hH߱yGs,ۇ j=UMBJ"Ÿ1JN$o}UB##~.1|!ZUʂ< ({s6ΰ5)-^ u%A2[,R1Znd<7 rbf[}ڢlcTӣ Zy)5 '\mi_Ͱ˝A/qgM!-3yca2bK/o8e{ɯ6N|'!>h?Dd!3 wUЖt78q>)<ϩ.UkQn L > 9^ggXbۯS5qw k4=rFp`(Mj3Dג&2dp1kv^Y./}RdC_c/h2=CEQIy:`7|:$D>Fr~(uGov8^v66ݯH4cYts%0ҋ-8@ufww 4"w0͐~6ɥ>k)ͮLWX-K%2yt,B1,R.~i06s͔TwTbz`Hb7PU+$*N,oUk )̸V4v=_d߅s)NjEf41˷,ZQ|igvrپx'w<~yH~PN唅P]\0ѽ4j43lKn-,ͷS""l%ԆW(u&6WP::x1KCM|%N]KYp0=CƃI#/E|ۘ*j!%б_~cԂ|5>zxl۝j+BQy]*H<5A.#?&C$c8:.\o5HZ t~Eȝ Hp_L[|BG܌Yf2]brP^0\Iks p.Mpӧ*X^R1fQl{_V䑑v9LwUJ'u8*U0ZLϒ@  x)u:VjZQfGJ< EvJ L0K dz9?0vNŮy(j,eʔ=9!dMss>u1f` ]6tڦCUQ1NqtlYB R{Lw#A0RZ wxtD/.`sFyۻ| [._jE^reg~ַU@!_PZA݄#=XLJ:f?/x Ū`h a3d@ʔe-xO2K0 .3c^eX[yER>ڷ.`yQN<{+W.3y ,~Jϑ%eٝ0tgU r2~e&Ке쎺v@jT{G<5&P [vH> T_ԽkiInۣ e <Ͷ2kYa-X.82I>NK}Pae"Nxr% ژ;%"F;N+l+Rw~>$GJfRT\M 1Qwӓ H+J *6'TU:h6ꍄ#UZtOxDJT2]gQ,05I _;ƙSGHZ4 -?8W/r*]~_pYؠh_FPy-(j>alnc.Vo6=ˬW98T S no C@ʴ##L1)ͪ ^nʲ"g_&%9*|e+jß'qͥڭ$ָKCgYZ7zXZִF! ]ŗXiɟ1˦skיl98XNΌp9[I@c- yA?8Cbf%< sAL֚8N efgC?hGksr;3,b (orͷCzdnGfTB/OӂP4_dEͯVI i@,7[L6h$#GҬҸ􊾈m->ӈn(u_a;M7|1t~9&BjHPǤ˴ b,tj\Kz~;U5`= 6KoIS|."m 8PS$7U~28%eh#tgid>#{vbSOB4,?MY~QQd$oH%•(JDZתOC-P"ߥBF9cRܪv4be#r)GHZ>ʽ染qFp'h[ {~|L&-:ǣH2d)VR\F4|t,feJeU1KѢ=vSLZOAyu%KOT ʚ-p4֞FZg]]16'-)@)E(3R0vƉG~LxMKU34{V3>{2o\7) `r;u"HI#T()Xhd r0ΌWq(+n~U=̲>t)dgpZ~-3U^+=e'ԒJ`HljZ S:2z{Kț:RڰD\ [{闥AeeR,[]Хaڂ  RT_ƾZɂl'n cgYZ7zXZִF! _5]ŗXi%D64plsNWA}c΃J9 CZ3&DHi;@-Sjµ$!ae'?R׾I0Ȧq8:=] 7u`%݂;ET_a_D=3i&;וw_8(I)REA.{> qr!wo\ޠ'·#O6 Żx;,EtaQǩ[NGFDNFSZ> ϕ*my>9GHc0]lxM=FHZΎUpk)#(C^ ilժ ͹&FK"zEI,zq=!"Fj f-8H6uJi]WУtЂ!D+;OvDH~pQc>0Ou^~QwfNvQ+kގQ6ti Xޒ)!]FlacVd!Z#6χX݉J9\qD>AmJ:޼4u6 }^zOˆIb *rB4~p:Qo-Q(sLw (̀j1o` ӒE"dc(p41߾, wףdIX2n N[erj-$cUuTݎ3L6E=L13j^OͅG[$"Z6Y_*vHSrQVp_| ÂeU<Po50~:$һq›%,eED 9^խ>4])@L'@)s,p-+J\Za,^M7F SgftoI>MӔhQ]$pU.$~ OO$vbU듿 1)^Fbe4r"m kޛG[2jTVYYS/<\f 9E=.Jk bPeۮƙ2{O2EPIjHbEwťuyGыLi8$R2})2h~o>A>2ө=E3=PV1ʢ!@`sN$b`ue[q RS檠HʓJShœN'xFc"<tYNX#*}Hz, Roպ_Vh( =m:=:6d]4"TVW"{h n؂LU%a.,=O>IGFmh-ATrj8@fԷ1,l`2Œ3eޚgӂn{\g\9~'dM(͙d"S+g| "!9̦6R]PhYJ5,2-.Yj*NRu|΅sE;Q'֊`IZϲ^UAgDw.:>﫸DC=Or5hFј&thya Em*'RK,+PG{n#TFS]xN1Fლj[~֬~NT,Զw]1FJ^c7u]޽޸sHF7k/##sYș"ӄS41ag??@ n{ f?Y>sC *5B;FOز.+`7L&KdZl(nr3nULgbZqJaУ}1S_[f`\֘gs~B\/ h>|@;`+ܝxf~  ]We%H2qUL  )4"O,4ရ߷)9rea;Ә BNi(%cXZJ XJ%E!c$euuKYR9ea{}-2#(%s>ymHWEG'%lέ;\R(EܜMSh7 "x^S˜ژ4QQz"cӮ?9̏ QAU፣!=V5 <Gvsk)G'lz\"ʨ_y9RS# &T oޏX"*o~Q! jƀ`пR;;$ץ?^ "? W-&bIF7VΩ+X|Z-nAP} l*kO8wBoNբkQH|`/v fi#ظZ@35ZGQ- aL^ ~h kC:vWhJt"cƤR"?[ϺJu(c9~n%k6WABc~Y0lyWk"D߶WROyI^N=jz56 V'|BPC|SIآdΩE1!&7"́o t8'"9äWӖ% 76VkaR*(9cd(|p vVeP >+#)F5B;Ayx.w=+@3jS?&1P^k9[TvQEqݭI\o ;"(Et{waWyN-hDzIyeBwH-U`US˙97dpu)/aGW(SQ~A34/Ъ%T[_\xY9i"6rxcBF3i. jtjT* V+DP Ydj"x]/E)atdFvzM61h5>PQ :cs.6 sfO4yY_qS1^:xu/Mٺ&U\?v4vzAwI~kk&r~Dh/Y}..J;^ /oV9|оn0 y|o(vhU`LQ9K.H+Dt&Zƙo/ tSAEXSKA\Af(6>I8 @|!n~$MSSghgĭ"ؒb} prz)|OZ1tYk._(74EZLuRA+ZB +jZ8tS4iRj{XAP|sQMm@&Pi˚{V?--r\&(b.$wy Vj.%C&3ґ47k(܍MB?hn; ˮVq5Q:3+U]AFdqQ=Qjes |*NtҔa/S ĸ6ioK\W1J U7YL(UA.;t+짼CrNC$Y5F_*v#n3wk(llj27 p\A@9`}8.%4Be4#l#vF~Ei߽}@LT7@ۅg5!p]Np'd:Ӂ*b1%[r ֛vn hig:9*%)6(y8r|O^e-V/˛J'p[w^l{WncueբNa)8Ts~T M(:6ĽB!P2򨾗ɿD꾞Ե9U|> z΁&:xzI$b42:н?X<>rKM$eNѢ.RC^+NST5w+HPHO9/ąә<|&9Na KU.uPD_5&Sݩs%j0Ov̍ UM6dj(˪|`"1_w`m˨^}U_'~A _~VL'啺¬csߘ |ɨA+j-[o3WZ%W(l!lR CO~ 'uFns*=x)enLqRg37HulDN 3sP'y@p;聺8 )B2K~ǯ/l`'';22URpfu%2ԯqԂn|e}LV&*${L^ E6W1TeYHx4d ֆnr9dw~ >̓(ВqմKwclre q]Y{H2A 4ѿjo?K@NIG}{7O1遙 9,BjY)W\8 *}Ӎ:.~ 棾ȹ^e IT?4"t UQe 41ۜ0йQ[p|])%tš_Ü3m΍3{fge+PeÞ ,^:ѵ% O-N*D|J 1Fj'\ynD Aq tQڣ k}0<6eRJ\hdi#,_|P{3%Y7m'isPJ!"rLPB >RE#}hݯ^X+c)/xB‹R_/H=苾C^!!py!J L aLR9DxE5/Y]NKbڢۖ-ɡ.N+H$KN /?mj)l3Cz.⃱u Txryƒ RvTޙHܘ2EK\ ?Do;G;"'E`VA$,t ZJ)9C>?. B`R˼amCmGaTNQRAh rqnӚrՆ3t85~FmʸڐQf,ͮY kEn߿3%SHRbZ_.J#[] ;6Mm7G?F5,S o`> b 3hz\sMU \sד5UBy|/o:xTS/Agx` T T q-nZ7GPٶOHΜ5t릁H\4g^9s-^ /^ƸH{%IīK}.9z4q—5%@_ ;t7F{[l{sQ-"iͩBOw|䜰2Җ5Vл,&KC J h I{ayB*<-=+4Jʁ,*x"ꆽ-7E mr[c]#I!{4??iXDmn}NZF:PX=:0g=T9ۂ>T+ uTXM}$u?x82%ojWyW]vK-44E*^d5>NG=kwI&o2Ny:YFʤӉ?;o^JB&5ӊϙ(q鸆4kE$\wE5ʟjCR]ZdWtIQi QK* R 7[Z'`U.W>Fka g87P%9 m?L啥.r`LDTMշݺKqioC[Co^*ɯqG%(-$ -sd]j>bHO6;ÌlyW62*4v2\>J$1 DJ4jvkP-X$Cdzɳ$6(_NjR'zʬ<̉,ɴA.:cA Nq*olqx8-ìP)ꚇ$ `AwxM㡛WFR 5NHE X\io(et݉COL{ٶlyfàV LG9aaH`>Z 'ǟ,e(mKA%8ǫּ`iS||vrN Q{u,<ӼoQ}ʃA:`qqN*>ZQF}q.R$NH1|P 8A ~7ϗtkdFwd]PMxּu2$ oF~YDI{W1zPCcF)LZ/a(Gt P YIC-w2эfUlq F݋5H@y(NkFSj5ɔsAj=Ti5KCJhSC EM|w1=#!\j2 hD,@?BpD$f{9B]p* W!%s۸Hw*WM'kV,2mgt-W(\;HtBңh),ǶbxτZZi%(&)`akf&-zeUaS^9)=.x϶2@خapjAhu U8__`/8i C|Of[t^&ki\L- oEx[Ea,iB9([8(zt+ {G \~Y BgCbMjܰoVGr~jiqȅ+5I5) lOZ㨉x~A'ΝX>pSDE"i[J w!YHqqzkVaC0pc$PWs* cmoۧn--{(8 Jة,D">Ћ\{C]n8 n]&z lUgWȏ̭o& zF SCDcj|\EoS ?aY,yO ]~?.hf#㾟 Q5$a&ƽ/p0e[„\D6rg/EbEP`M_dLw`rܭThyshEO Zjk$;Io>V^'qڧF&). V(7}Y"H9e&ĘYCC{6en|aE:upŽmoP3e;aƇ)b%^VhTP3[_\ $u[iDY}Bzҹe.S~I-R ;sW4qb܊4Us*֨x)LT.k;Pfr⮪YH&~ N_[s -T@B!NS=c!6:#U1"*@A&v1,wO\ կ~v%s&vv$9v/^}X%%0ڂd)Scke*4vG&/LÅ! M p$l=6~p-`ť xmr A ˣ+p9?pFlqD*nUG=5B_s,8jV(Ўj!tL3jz;X#{/8b,9ZhveIxrdQ`{pgwz08KT V~d9O:5& \&\NUL#ן\ ٬ q|@Nl?w=!2xZǸ#ү|g}mD[ߩȕ3$lz΂_4teC^2kig|Gق& pn=_DjwUvWCJ46o߈;_[ZI j+%ߺm%|__Kf$5|v!wɝ$Ibmgj/,tJ+j6TWTdOV>pDR2]r'w{ɉ/+ ovmهm`IYO#6kv!qFDZ_5h&-MRmͷ]E|+2.XU+n摭|%&EerFM\+?|KB2(\:^J; C`ׅkrd5gWmKֆ7S36Ub2)to._z"ep#2]nЬc\=D8>{"+#/κFHe󤝗V1:ab\J%2F u0m?H)w6#8y/aLS[,ڒgO=&rynm2 Mwt&;n!!پJgN$IxYwҴݢzɡ8넙A.?)\rHDEH(TpMraޟFf$ &u=d">צZqgNL Ughg5$t,GҖl>:!E.r{‘KxWjGD>NCwSO衻DK]>99?T^ޗ\zxCXs=GLxWu4(۲r h{ܫadha;eh4r%2͠7y_f1>BWgKaa龻gcNEB,dw]'ocf_+= }D?EL!_ؖ2d߳vn-LAd>>{|QplDlga f/XXʈrI <[4WJ-w ǯXjy{KCpm8>`a)jqgo [{?1+qҒʇOhfo^L/|Wǥ95!Jc|ԤԾY^@)[5t"}ԛKсt\`֧Ux)=*k 3i3j#!&qXpBC7vl{ Ǥ:آ4Vu;GKW6EİJZD̀b\x`$ץ0I ›ʾV }M6ﰰ͜(O >hϢKujFnek"@7Q"{>9.8 ޣ峺:kF]f%]]w5U[X?U;0B wx)'`tA4LHTj{ &qe! eF?F~jFX"dCI}$ %*ڳ@x?{X_'\MS#/̑j;X" q}^z ؘ[zSO$/Z2mhmU{.h۬YnG*(t~ס6XYwA/0F{7]c Ѵ$0F(;LbtP5vJ@ ._2C_Wr<\y(Q5Ai/TJ6⪌W&ri_N9FRdzOF;{AxQ'ߵ[A,VfL"9aY ԎK`Kݓ6]q|MX2M0.}%Vܣa6Ie՞xRu~WqVP̜PϿfm/(Xhie͉*e2EL>6>)=jPZ؛fyǡ=u{G#I굈m;#\eiy( QW8\Q=(,3+g^A9D5sv@â7.ణs')ӄfdgXJqajЏ@_(ro ̃MIHX6c0;|asT8s-5G9HU7:|_eGt ., pW髆vќ4 `L[[rB=JOhyl5=.}=jsywJYh fi5Vi"xJC^.b8SX9B8Ǡ!~s^װz ,ܑ #z:*%7&`*B;^u/ U>Dg)m=hV{}YM]K1$NN7. R|.?1x:bQbX C{ |`N'&lPR񧥝=Q{+NcRɟ9H }̧忐!*Ё/)- Ѕsd}: ,m$wSa/}R2z,͊I9q$A7}ޔT7ᦝvgre?߻A SAVxꭖk 0Fvk#` wZY|_“XJ]5t = `dDه$(eg}G+E;H OꕃT B,mz ;<]K/1W{4A٦4A,~'»`UR wSo\ pls'þH\դjyqLbp3A ^pɡ[8w1WlMi@jʃ'ugC~2@oT]~h'%_13r%K ?ӯPA3`="Zl}22K|j yA5}Xs/QČr)/km@G.m^<bk/,z8SJi*h׼^bh-73 $hHKOx:%fy경W[#:45ڊh0Xls_d+)>v_Qo͘lPC3P]Br>i{/Ѧs|KC12Z`cwSJ3'Ӛ5rJ{<*rX?\M$ "j9G[!9j.MMÂIPݽvwYT֨BR{𑥬>0?߹lՎ#J=7MLHh'y\ c.CE x`*}!7 $<:qnFՕ#YL|cN~AjM>>ǡjrE"kowB AMqԽˎ^omf:Y=Wbbcmy%݂QNpN tS OZ{87Ҧ+fuTjMD&dOјEiqsjUmK fT Bhsy9NܷB)5Sy6~9կw\:nVԹJH YP}XV޺`e-b#7n X45-p'%#[| H2;2#N43%[QTBW){uZ>bl馠ZQla&l ݏkNQt.H+>xMN*%SNY ǰZ: JO: