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 CL\4 ]/ Propositional_Proof_Systems:threads=2elapsed=133.485cpu=249.384gc=19.536factor=1.877zXZִF!  ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jk᳴O6ҵ $5:ńQ;uk_}nQ{Rtb?MӀ&|1!@`G/{P!sh7al.-7 & ML$ dı. B]!^ "-}- NDj%K [Kv\z>IZo$ P4m*SLa9s;A\pJ iWA,ҽc͂?Z(ʼ=ŊF-!_ƥ-};\νjqfh:C_WGIk4b9cI Ax!sЋsP*j䒳H0tAv3VhxD [843^s6^\Jc qB![kBc9=:NCʼnfNBH"j0zs"?hO*[?Vu/3.% D2JyJ dbG2p[\% m}bxv *Y);#?򖮀`YyEpitCac(GJ1 d@qh?zKl;*E!މz1ЄT-NaX;!ro"ܺ1rvƶiro S;"kA*(.+Jc70ɣͯ[B!->[MCAEGoeY@MhU"j?%:I)i|>\&RK=-|>Y*:W۲`vx1lW݃K%E|M+Bh3U}f~S^x~xf́syvMÒRn0~qedV2,&Cډ(5gH7*5ً,o}Ap_C0/xہģ/K<.A`ZLsF.uYVP1.[Ķ. ne6|@ǰXX]]8AĶ;NƳܙ }9m׳v>D'sa&({[,o8XILuҽkN*]=("ڍȁPFN'lCyX}uIԒDm: *{ SWkwM'0μ@i1+|ʳ*T8'jۜgBŞ(q !\%VzL/f;3TI{998{9F2V*)9`ܣndT{.7_pSߘ9U n̢iNWE卂%~i]J~-\,ן6?踞2^d@]57aw/C ]kf`w;nxCyяX}:S:biE}rX qA0`\i9F'L>A|NZ]7785'֙/Daݳ@zNz~ۋ6=R` BscᓐDs+Ȱp8>Uݢ d*\r^WCƜ63^+ЏNSǪ M֭c0(-dKBPր!EʂHwƒ[CHnT+PDTOGyZ\T$3H4#7k e ;H6z- 29bؼ9n0A(ItV0j/KJQLoe=ԁ8ۤMUNK<9\oAϷW[3Y!!.v6Z3K%dXf7Hǵ@zpE1,q6egb}E3u`\ 7wdrB%TdR},3Ůže{ÇmDW'G;F}kq 9쒼 Xm-I3g9ɿ;(F<6A(ZOUB C˿/I]TYW=IU-G{^}_uUZ\\ٜR/NlGʪ$!H;F\~GÅZ?DrtV' z-ⴄ6|wևдi9N;pbR`(;쮑6(AqF6+c# /y=閤AnSހnn;nM1-mm2qSD%|9b>vųn?lo8NwrOZ=QMJi.娲Gkk07rVGjV  [SpO)( 2Dh{V@,5^՘F3GR/:b-|Qˤ#5nƔ0< 1`h(%{}5z4̓&98KGcI}Úx+WY(s cqx.S7ÌJ32OV9y 0JJлoTgYZ7zXZִF! pg]ŗXiɟ1˦skיl98XNΌpz^/@ ayS߬s!=Aq5Yj#}~tʱ<夸|X 1T[丠r҂O8liЋKfQ1ňU|iY bHXBqTDTTz#k,$ N|a=XTxaQcz1jYDvs4xGr$[߽wUO;Tc'+> T|wV*aڙN0Re=M<$2SSK)\!cuuZP#>PWdaADgF.Ӛ 7:LSdL Q|uV 'kDA0*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*ysofH3G/F,E*D(C&B$A"@!? >=<;:98765321/.,(& $ "   J <  8   Y t M+r!] @l c b + 3MCM%Propositional_Proof_SystemsPropositional_Proof_Systems.SCNDdocument.tex0UC]%Propositional_Proof_SystemsPropositional_Proof_Systems.Substitutiondocument.tex/LCK%Propositional_Proof_SystemsPropositional_Proof_Systems.CNFdocument.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(UC]%Propositional_Proof_SystemsPropositional_Proof_Systems.MiniFormulasdocument.tex']Cm%Propositional_Proof_SystemsPropositional_Proof_Systems.SC_Compl_Consistencydocument.tex&MCM%Propositional_Proof_SystemsPropositional_Proof_Systems.HCSCdocument.tex%MCM%Propositional_Proof_SystemsPropositional_Proof_Systems.NDHCdocument.tex$WCa%Propositional_Proof_SystemsPropositional_Proof_Systems.SC_Depth_Limitdocument.tex#FC?%Propositional_Proof_SystemsHOL-Library.List_Lexorderdocument.tex"EC=%Propositional_Proof_SystemsHOL-Library.Cancellationdocument.tex!WCa%Propositional_Proof_SystemsPropositional_Proof_Systems.ND_FiniteAssmsdocument.tex `Cs%Propositional_Proof_SystemsPropositional_Proof_Systems.Compactness_Consistencydocument.texeC}%Propositional_Proof_SystemsPropositional_Proof_Systems.Resolution_Compl_Consistencydocument.texRCW%Propositional_Proof_SystemsPropositional_Proof_Systems.MiniSC_HCdocument.texYCe%Propositional_Proof_SystemsPropositional_Proof_Systems.Resolution_Compldocument.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.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.texBC7%Propositional_Proof_SystemsHOL-Library.Countabledocument.texMCM%Propositional_Proof_SystemsPropositional_Proof_Systems.Semadocument.texKCI%Propositional_Proof_SystemsPropositional_Proof_Systems.NDdocument.texPCS%Propositional_Proof_SystemsPropositional_Proof_Systems.Tseytindocument.texSCY%Propositional_Proof_SystemsPropositional_Proof_Systems.Resolutiondocument.texWCa%Propositional_Proof_SystemsPropositional_Proof_Systems.LSC_Resolutiondocument.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.texIMCM%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`d _>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@ŲJgYZRrWUkp-S6"@7"HBc o:BiB5{Gdʨ/2>m']fUХ7ENq;dg|^;1XNUgK#tq__)I&L;$lɋ3~N s7BPJ9 Akmxgx岣GJul鈒 yxeMԈqd\_jor:V-ըz/~5@(!k*ۢ=AP|?ح5$ >fpܛAG 5*5 M`P"!{sq"{E6SkCH*~L+K'"fNsV/3X^8hہ4$ ,|ffL6@lp|TWxna%eukjJ[05 ū~-A}SAD뷔Mms^41Dw9D0*-kCP vԱ[NNnCHB[Ptkڈ}m;҈F檏2'w,._,96`+Z"4̎enq8f&80z >n[,˽k1L!쌈(Z/$>NHqT*޴M=;?)ÖbZ[ڴcLII4rwxVwod E+3=q` |23*5'DAʪ<ldqʹklDSM*0Q!ՙ^hoY=g۽Rl O$U[{v^ O*z:#qEg ɨ#Q*uE=>y+zD5iMqueDU+ 6F23-VCml!=_!H.F$FZjǟp>N(]P%)8cSxB_!vM{,̦.3jPPG5th}=&nI㞱΃X] +aj\pkvh1qg0&Tv/6k b V]";Msf=2[`a3I.)RuAP ŷHXߍ}ZQ74=⌗05wC*:.QҴk- m؂)ٵ*k/yKt<_S#ug5b3тkV"o*))zt|"秦'Y,je#V{.'kyq'd$q٤B!MfdWE)9QGszzA!c |si?䊷׿%#:#a9Qӕ7;')V:_ՀD'd@˟Ţ4 A='AM\c fݗ\(;NdTMTL)u4)wޘM\ o__@z\]gb]G+:\e(P؄wC& f / A%FJX Ŷ*MY÷E_W7LJDoŸכ)qeK$$=(DȠk5ݓLـ "8{ ʳ#NtECER!߫% ."St>5Q>q(pQ^q$ _`er͑*0L2}|!ɷ ߣ"W2kV &nOS}i7ؽbφvGc,>8ƅy s .Q|خY0:Aϓ_,4a+ 8JSq P m'[V,NJFsmw) !1!M3n\rS$spt]QxKݬ?h ukRoĞ𤏄mO | XARQ8XK) s]`8ú, ϷukCmXd7Rꦅ!M4h#.8:ME.Lcx&\X-g01<,搐6ʊ]]X,)Y' -߭ѕI}Y)@=[cFMmLsן7tjI;8MQeW xєՃͨE E!XrAiUjɊHqAԻLY]I=5fVi*1 N3cR22cg΢^쇜.ZD+Eu7l)66yX! $ a V9wb548.;C # vNh NL#Lg4a78]9LLtof:9_}f\\Dx?BS6eSM6}l#,afǻ[ݨ%PƮ`dsӶB7& *ك- _V5D ,"KTT K9_egDNaI`/< u=)5,3+wF1Uc$FyVht}= o". s@X81.i- N /IiDC%5O4C#|z FO m\}k.[}n!3HؠJ"]H}H7es5L toXqdQģ wnu;M5W`d1.{UФt\<;^4cx~$=8uWXMnb r"[rX9FZ/~L')(HZ3_[6]D bIqk,oS|uɦifiJפ H.RVM,gWLkrcMgu_t 1jܫZ6Iľ@"E.YHp~_׫Ȧ,Ԥ 9 u {ʄ9A[~1FFq\o_ڢ+S2`1>AH* ͖$ ^<+GZsoak_'{$"'k=ͥ1նZ\IɴI%/g}=l*Ij/OMYO͎j.,kZ8uXvP3tP1 HB|B$xwE۵ʓJC^ō{ UG-{P75UFbߩmPENiY `0 # eG:(*:ObOXs,)"j1If7Ȥ䍺%@?57c ʻ[g&JW"}vRFYoX3a5:cM3~Z> $`S83B{uE D%6eڅ|ų5%4k'QE7.R>}gԑRyɳᵈex`!{o4(u8^$* [ %u{O-!m85ozcVg5٬XW SxOM}33En7l r8 䗫 >RΙ,ܢTłlo/Qܵpx9oork/ڦ,INjhLVd&lkX/͕RIl±;-v[濧K" iN 1.+iXg.Bɻ gDL928g|#ugZ gvc}Ob%uWY|NE4o6@"#]䆃j*,10pN-܊}(UE=۵f\Rȋ*Z;Jnl0n?(Tkf'9,Y~:6=3jZr#s8,K?Lāi!fVw mym4<@^#FM nCb /7u#0Gc2#(UuY+Y=G8'r#SIh3 0H_i fΜyʏ0[\A &z>M%UofH[)& uO IܒV Ѐ 54IŖ jȇc%0ewGIã;M+MOpC}dܢ+HDr7 pn\n98/ Vj[0DC@ʜB\Mj/.;6$.v%.{z'sZ]2"_?nR很i\}4 B9{W=I'HI8yzVz:ym{Gsmĉɨ,_|;~`3gBAyGKZ)P餏 IRK˴,߷Z5rC#㴬4!|TZpٞ6g =1yZ^0Ֆ{8z# Uk"M^u=5Bt]3ь\1d7Box" ku5 8}׈U@ ;(h'ѡ9g8ɷ}Yh9jM>s3t !5~ 4&x`>Č&R6S4r$lL PN靬}p~u@+s..sQv/#0%`m|RL7qd{܊ O lRem%.M,嶽H33q.dz ʬʯ1>jR$h&#@ 1!]Vldn= =}*.*S 4|FgpL\KKD`pɬȿۆ]^Ai[tN/" y7\?#{x _jg1qclPr?GGVڈor^%쌩4wD,myeoU;$F_T!SMςWr:n/} ӊ]P:gH\/Ia]sL'Pf螏O8(Ƭgm.()-TM/VcO:֤B`4c`.Y@*7=ݺ+=fW(DJ wE! sh}w֩bb-Sjf`U0Ez2ow[e GfJ.oo̴MWy2:yJc{%=#vH{Wi"R \dN$8qwcq|2o_^MRJ _s@ Xc7ˆ0a ,S@ZO2Il:h'G ? %b +AX;Y߶~7 W#yådp K:8;>y9Yʧ>5)G&x T<}J2/!aF0LŭO癀DChV'ONk.M4MVT.@5v wv"]Q°DrDAJ\[TX'bVN =QР4Q3ׇ0Dv|hY%:Z%D?I}i"}:N }Vؕ$&t-fZ6)|DpTjf4(:/^6-H͓!ٷMmcDCȐr#caɅGu;NL_kDBiG-v8l269kP)51v _Cve a@UȘG}Lo*[$D&_X3z9W0eCHT`(:h-\x^\MV? t/B.)?NF7:qu;6X5EM$<=NqJT*ih0zÇ")VponɰUBFTE%r!ws:X+a@p*m[ Ӊy %En5%8Zv NBgVךJiXbx#}.Ysǂkk]g_ =[W RzkrvƯu3 v/aBԱW'/aA 䯀hοhn`ߣRo#(ix68$,#dž ̙CUM]P-پ&1wרepқʠ#禶)r0phe ly"%Gzn=0XBPKsuӜYMc<}3 %ymD&5i|6Ή>4G|Bk|T.pw͠*=2 +^IZB`+hlYњhC]wX±JZwg/ (ezF1`aσYۖl*B$ca[G0qͳXM8vN0<ͤ+INcXM9/-|r'2è)x-{z\uťiC\eBf~~ڟゥvbnb1!]1.;j+b(䑧s%og@D^rn;wjP>*Xuv@aS(A^+wlk^@$P, qW^^L@1`"I|vq2П tE%eICg.EFC9>P^F>Vj@#Ko|ދscevZJ1iʄXN7 ε +bΞL2[_ȫNL?M}åJftQ"sF%AuG:`Z|Ń`½{m0N!ĠiHqW:Զqd4? %b#ʶM]HGƚ_CPEdݷHNêy PR z@FT]HEfEL0(K"J(֡tHm-M^?d1u-T2QYCaW|gۓ*%z Dp?F2M[A i/,2,B XW}Zh}, "V:/>U̲ؒj\Tq0Zzh1`ш>~"|h䅋?l.¹T{̙ڇ])cU晐([ юo:d~(iM4> Sf/l]܊u ` '}brv{be.$۫@ ϔ: d44 !!lګWU*ro?ȯ 5ssphi㾬az>WlWaLL'Uq]QL"˹KsFxDcpQl{:ѕ% Ԋƶn ͣJY]jkaRʴw>7(;o/ xv$!0?d ;x8[VDo|&m:#c0[+&kY_ZX޺r`,dQb6e8wnlý] $>'jL]T؎\S u`MdKc<Ss"s׋mR/Ρ2vQ%;[>\qݗPɄhнtBѯgӮޮc}BAUP $KJ•siXvRy|UY3c{Y \ya6 "yUB P b 0r }:'L€x9tyjۿ !HNnxdcdwmlLiPJA`v NmHZφ9V,S2H̱Yjgʪ_V.J+T8JU %1ԓx<5TZdl߲ݏZL> ~ f[Xtѝ(z}2UaS6pqTEr0U"hƘcVбtyV"Fukou, ,>GZҩR<ݳf[sUB ,._$^eFvU1wsxْZNݖ{yԱn GJ$ n^%63pɞ]qkc`啕 tz XP@miXc? 8&Nn%,̪g.$y|l JQJw%QZGIfi/RaKhܟ`zG80bS(p?ˈ יxGɅo+pd*ݫxWj[.sz0IƖy@~W O5IwFs~d:s-ÝbqmeϒA g:@~&I-A uC-A2g~J{I~N2F5}qH9WҧƧ=xhs`ˑ Cu.RfPy= )Ȟ-'x1>4;a/S$-M^/}f|pmwݎXm![P(s@^ְ$]wҟ)6G9J#jgOӆ8LdkVĕ0wi_t6OzxThJkMGUL磞0 7]~k);+QS~e)O*͂]/>v#MB"CVdo OTbqdȩYUqNa'pzoӇڵ~)#kN^P*[IN*K۳Sx,T*=y34WG6r Cw̵JÔztFa6_UsXEĘXW "'Z!| g,x|`K:Q\ruk}Ͷ~#הn͏.Xuo$WAtq'Z-kSd$4ľ~H7tS iƷ|?i!rȤ7{ :]XSRa-lAƓ@x|XSgS0&5G80WJ2CO\2Os3 9z3{gpE}:%=*‡Us%ke{.1 7V2an~vmd ^l%d9)z_IuO;m0{⪽%ՠWDIJBr6Y.#Xnܛ^IR6@4q-r}Ph|ҾIY+Y A-?v=4 SFrLv scLIg^s/;)3p8'eNGoubUFXHFxs9(l_N7tN&cF uhp6I* cH\(T +dMCYpnIb,>@/nb2VwB0)\lSDGuT[N2[K$??y ?j?UhRKw'ٴ"e0yy,nƗi6wdeԕ _PyE q?6w4t&/ x: =nI,Ur]U&X~:?Ǡ#xb)Mw(d&*ѿ.F\xKPbذt\owgw+Uw'kY^\zwBe@k25<1´6|rn/[3,nA;o;&в@CO n3mrFBqk3߻nV2p%}Ycud:>fL9Dԙ4rԻRIäw@ Dk歖hc pSN#K 'aV %Tն,駍+ư[8 QgvT7z_>2Bbwa_X\Gf,]x-h5,Z.st7Yl͐f թA-kS C\m2E:SnUoO:A k=g(ԐG䃰AO{^M`r~]9l'.HZL-"25{8i&8u{f^a|@S<@H h*ހf|C>(e=a nVM>r-gta$SS3Ic'rշe/:4'nF ~U(cKI!vv,% g::Dδ:RYJ#ޘDMP78@Hwc8Qj$ ➂aD[z=!S,:lyǤp**Ff}vrFQ (`Yu';@Ф c?1{~(!kw`UYqZS!L؟yZ! b*7 T߿Y"a;jU[/O*(NT u5R<MǑX]4nvo<ÈIAu ;,_8r>hM-YT-.GdkпrjE'ϥ8_HdyGWrfGyG4bIT8. ׌1T٬&}xŹL)7,.6pZ{(6ǖ>0 d&lCRN'F] h 0()v왑 va;ֻkޫNxOnNK ^3(oĤr7@6 0ΐ*&TYT5krBekޏQ q7 zpYlVn\5n^WzW6#{XNR! \GbfPNo%Zsml}Z` ΔUoLh7#\<ᴣIKm~Ai"B_iW Rv:,oعrl4\BTr)~,'H1\ӑյA )@US:ͲUvNdh>mY g`&tHT͚ޔНt4Y] M..-6k"g-mg6 {էj Bǿy {$0)W[3G1Nď *vᥱm`&'Tt2?RQ(J9S}yEEetJ9~^h^iK3"^>pA!IsmcAo쓁/;kBGRB<H݊\ɂbGk4ahhvygƑ_W_rOfq7_!p С5;4" IƳX@t?t ؖ;]@\Cp <*5y)$6WlFř&4՞A4Iܪ+(򿑆C{i"v7C,=zN~e1I"NEyqZDU`wly:?k=; #t._8R<+{i- ?I^ yMíqi[[|ro^6MA)BVM~-he뱮-0`$oQ7c;vtĦ4@ۢ9.7 ibt*Q^#0B7iEM5EDm~]Y+aP#q_X3>ftFþ jmKHV~f@p TYx\Nǘ5*ڬ'q|'[%˱σkxsu)=;IN %E敝:*5='>z#b=_UhRϑxL܂A&n !B [+t._ #Ń>|,lW+V:N, 2"sq^Ξ *%Nw/_.y1l^HMˎk2: TFʧp  8[5 _OA?tШ,Rd</[XrX<mO{юcR~! F@ Tal+>fZGkptm/79Ecb<2Zk%h'5ru-y[NhRi9NQŬ)?ͮH7khVT&"T-_LX_0252PTG(TVuj)C|~ǁhZ-(zΧ]wcȝ]Gpϛ T(6i<9C]4tOJvJLtԌ gOa6DeߋZ1 igHз QH$K]`?ڢ;IfWo]&gH.WBZAѸi\H)KA p)q!xFoG+ F [za gb\ l&Q"H/b$"D֡ˉ2gwG \U. @^fAV6Gbze0#p-Dh>(i_{]ב=d ]~fN1E Xf; Akyq)lôZ} p.%|^M6΀zS\]gDAqpC3z;dRmň7\k:9MmENbVLP\2=å\Efh`(_|šs)w݌[lxkɨXi\ityҾb#EjIx dYiȓQKgpÐ\bs*ݍhdנ@ށҢ`aH7ybl~-2OA? 'G]jl}"xGM]O\b}vmֻꏻNTYW؏^%bLC՚Hf6\z E׏ tY?Pnzn'FW[1N^>&ɒ3g)Ԓ) 3`EFp֞2j PѓA N]˫߈x N v0?ҜYP'\OBb~g$E#fZ?ˋhɞU]oXE eQ=3-U喦 iG`+&CR[yIW[c 6|UEs|7ϫiY~׾C^iʾ:h4+߅n2`=jZTf8rBfk:V晝$q, *\QViYAײwE3szfHôPa R̯-ްD1ժ.WFqwˈD"(?ISš7!>pӆ$bIW,+S~ͼ~n)2ravXB?@jы>.U!hVK"K}F}04TB}a5xS]1z>sR%RthWM'7Gݳ 50js؍\M OP|sP ak2ё/{=ct0Yct GR@-.PAwP켴P%6P!a֣yE[Bg#e3n鲁GW3@M{ 'iUmyx5 nkr 9ż< 0Lp1$Iܥ|UW @Iem~;,s9i,:_ /,__]]yqtdhnBr9OS$szɎ }qԢ5b(ڱ1gMyY 9P͑QsL;S[c +HM$ZYNhxL+sDZh@ DMĬŷn_l3}=-7cΎ\Js@5a{ҙMlWxA'ҹܑkweu'2NKQu7eUӋޔњz&9+ڃonw{&{<)Ꮯ=Z(Ѿұ`X/0Aʙ\VfaD2w n,$eCCP-WC^߅wgW'e o{ԇh?};)n7XT^U7FqqÆi;8G(F#a1S m/|d+hw.Z 2L+|ͯA ,wh?!Ƥp4& L+3 }g1iqO,X~orي{mڗuo}d`' C˾y=adV`ȼ}4 e~ȿծ^b$V)n >nB*{ zbն3 Md%Zf-6f5cEo:$]~G}><&0v +qCc!ʻ:SeO/AF"'g@%9_ u^VIh˶!lz2eituK꟰=Rn]Dȱ%3јǔl3*=Y|y,zGkIŬ \!+.Ms9pRxǷ_qejgSul(}#)}r`Ye\_\E.ȴk{g|L2%"p{ٺk܄m:*8ϣ}c›|]Mw8W41gi ˩v[b ?֩,-?TxU1ĸ\"C02d]Wc]n-īhf*[ ,ߌ(08儻`R 9DsA^^\n _Cb.7Q#9=&O.5x8TKWN< CsU^CH'hdw~%'NNp%r9Cu_"\sB<@Վ2gkm&]泙qP"^6Y8S*,.\&G[=HVn1 6qyY%uWyWbV\_:,mh|i)\yA}zI)ymg%:'Uɠk8r]Z;8֛LxTΣ+!}QP`Qhj.)o iEӓ5iI+ JVȨ4n)o^d_N/wv,8mEQjmNW:^W:Q{]${rOe3" og%UudvLig e4|ї*nHTY;Jo:PTR#3z/V}g!_B߄FL+CqZӍi8 wF]#B$"DAwd^_Rp_yˎeZ_tQG;aF F&xFN pɇ|-YXDM\#OU+eNy4-Y>Um՜0&޿Nvi@kz [opNG `>%7x,DBLBA硷gWT\)Inr ؂8rQqˇMu&>w[ET}$Rw8yAyk&'hZӧ4{iY1( Asڗ6{65%,J@@(dW4xͩMXf}:_ݷ^穢!~>x>whF 4* $g a~|ց!f9sHcQxs0R%̷EDPF{)MVGtz'JGJԠ($`ua*{_Feid˝z-D ;<ڹmXu8rqmОI}x5d >]#]E= G֝ySG^=|[kq5o1_V`]>x.NQaC7 n 9jhV.; c~;CL,%sAUZQW$C2s0Q<=ny:Ȗ䮼vK/}k%4e2S~2ߙÂ)Vb^\3(%\;1r8ðME= z {ʪ3$(Clbi+.Y߁e>Mznֶ%!3m'*3( Wu(;2'S)M:u+>^M/B;$-0鴖DCX#3T1ЫA6'p2c~dsZRNS=sCJB/eH::߀~YLB{4ā )|gٙ,_| FI)|0X!3if KK^ F˧d9!UF#|IJP+l*-#G|Se1a%-_2EN۟8=4/:1pU@>XճZ.3c!ꋇ7XǞ 'nx !V[4gPi&w{+^s׆?yL%.%c+qh"F-ކ`997l"vēy|՞Ry*k =Ʌ|hѨ&\jll&<*JԟL <7abX1V8* ˨TzuJN#a @ ,}Qg~ dfv3 eЖU_4!DDaĽS5A9|3pxhk~{+z"Aa!I:o ގN7p5@ i8^IJQP,w~:uMeP@ P ƌY0}x3j՜M E v݀ų zwL`ӂbo2,;_AK?oosӾ"E¤q2wwSDy_WFS?%Qi :i) ߙTGa} eٕI/h~}1Svȸ j,U"o|P)jLXf,ynGslAuA0:!!:vH 0W`/&",n_7G[ QH?oWxsar:9o WO`d^ |f!ƺLH؎Jh6Yto$m]3aEhٵrm kr )ZLB5APCeJ[UEbnI.rxЀ_0g5Cƕ>b9\u5pY&Ծ)A0vqڹU嚚>"ۼuָF)`!Ewi>1q.:Uꓙ._ܝ1,Wx~T_خɊ 4f HM|hSʛ^[P'$8D"x ajA+@$>$ʭb<`T>ߵJCP1P).qHF&߳ R_\姴Cv` QW `n l-!c#T}'tK f,(é"\^Vys!S̾(-;́!oE,-<~BDrJH,ʺ ҙe  ;]ct+ӶSBlkލJMqog^zȪ_@nT"&ZH'/@iҭk~vIJY?ƂJ-sdX*s;ɚ1xP@<nB%!KXm0rJqBx:؊5Jj@j9}\iyBӤ5(ÈҮJ=mdB (Xa?2"Y2v'\IHKcFNNl˓?h>P!3K|&¸̬:8݊&Ð SAsΉ[ LJMQV$6J.7 d?l\d4UF;詌6k[Z0Oì|1.[U:M(Ϡ-3r&+[/ejYk o*0VHSy߾<ck~-7̜}g׍G›:Oŝbޟ{L.xjĴnh B-m'Ia僐&B жɟXT\ѧ3NgGXnM i17S;,.ÊL0Ë[-i m\#=m\<)1P, zyAvC%~.N:u,vϟ1Eq"R) EHnƍXs_;07K[xhn3/&sBu_.󆅿6 l֎eԸR.yzBFⷙ*mash(d@N FsrM X}Yk 9!T+.,)veaԯ2ծ֨Ҋ7[ `ĂO pI`7 d咍Zˈ[9jJJ\<(sOUϟ(Ӣ] xLsdN}Q,9j{؃`|ɝ"G@SVS!8(O|MʧZ|Գ5k6v2/}0LGf : ވ1ץriVYWJqS`S0u:a"S;ܥĞXnL Ub0\rN6~Q ٤(suX4:wqL+wն"ԣZ[(mmNPdueZ>/Z! kfGz<_ψJ=lFⶈ%+=0HɈڵ]P՘CW!t1QqƎxII7'7IAk\6pkvR,J`K]{8 Y >Z v9K]*Iɴ 9bu_N0Psrҋrw=v~59+Wua8hĪ]-OuǍ^p# cljOW{DŬA_+ƪx˟Q}-y:Fl>tl\Wrzn\=;>A}Q}O'ӿ Nc~%+EicDM2?xX#?jmq H=g)N`@g$YO%-^Рkr${ 4sTR$}( 4 WhȎ[ee:6r_rWӵe2\x/|䦼DFA$^5ȶϧ29?筚FbPO\S^BB&Z7~{|T@QKˣ[jH5D/Ʀ)&5|I^pG5tMAlA2#F0D!a]0ehM'7J!rM.c9:?:oQĄ !> Jp,uSG)}6$Fq?Rk1՟8zʏH0]Γof6=#y7 L1m>K޺&Rig4N]<(q7u{DNs?/&Q(%Qި FDOk%pEt"܌5")~u͹A0uWe3p{(Z4 8\EDu/*$j_JM]F.M+`~Anh)[5 @ӹ̧Ft㆏Mlr fٚ=:J.a,|ãvD>N(Y\E H) v"Q=_;#qv Wb"VlppJuq:Hdp&koM&| 55Q iuC?ؚt sGh=ϰʺu/Z=Fqa9x`ڧI~"u|{Ò̍Ijk"ºcW+ؒ)R%nU[k0xd @ QǍ`tf` 隲|f`A9 frw4',a.wHscO32'k#):ZS`6nbMՌ̠8h/YY`2]STv{"$UhA˕CD2Bܫ]>;髱$V]A_D  m涇=_o<@CxܰT͈hM8kMlq@rl fyKe6%~`~wA O N HqI=zBL2`GN\7 ;Yc\dFխ_4#;-aRf'i%~eUJC$[x%HLr&g\::NKn` trAL83]%4*^ a4&C%"H`%f:Dyjt\07% :1%Ym 8Sue>LcKz _OAo.5 e`,R;IhArSjI '4Q4ɰQ )muW\)w|jXH1 &{Yޖ8ϟ)] AhUn:D[4OjdDTGі:_E-`ԂjoJ!Kht=۫lyώ +)ӗnHpbvy#eM9$xy{Ԫtah(!"ޜW2Qjܾid$\vVUk(րI?f(7|v%2t:Wi5WO0qkrԯ:ؖ] ҢoP- k=ay'L\7K]d2}Q+g[cBtV%[B`u)G5?ґmW%"Hhں>ľrT( kͨRIBPsz{7VTEIM1HbT#U~|Vڦc-),@@ ]zCy )' +K4ˑRoS63.? {Icdr'a`]t,^Ml(ivd2 8H4##Ŀ#'Ct[l٠EBo._pUX&Oujڋl ޹RGopptj4Pv}x%xñ]Io5x TKRi!j8R/rY/G6ʏI?R3#P)xJEN lFjeb _Wſ2-F sGp;fS(Yel0 6i#$fuA8bfHgIRu0OQk~uOSŏe_/aԭz~J7l+fǕC.b1_3 K=-EJ,^KcizQZǗN\=T\~M;K'̍©vj*zQXp>n'Qe&cGH'= l{YwDt )J`{ O3>l 6Fv&e{4hRPg|ĺ)SjBH/mOq0P%T*H&Xe7f=>_x0lp1El89= tj .zShj8M^}slpZŗ>Q!HRjrG/74}]TL{af\և:1YmB+!rYH>սW[H={xٚ~D\|"al4ǢB!µ_/\`*<*Q>=!T.|gAGR9mpFaݪeh4I1NiDHcP/Mx5cj:%][s>fFl ;8fЋLYA ^huGBtO#jv"hb3s3*J0!k-G}lyM+"/5)T.B >y\cy0{S7?{saq%w*Rٹ$@1DHPl|;ⰇAe՟f<$lV53+L\P.\6>$<JWAO(b v%J;6.ѕޔe`Xo1'F=#vCC!"8}:")9/Un r)rg(+iFmAN14X KY;6z˒ uk8j}]B2::>~@58Ox^`aMӍoq$ys܉@>v/Ϭ1iRA]14.|A{aLf11!Op`R~B^,3ݎLބ}>rt1C3۶(>|k5UŬGf~$c7e@7ΰKvf܉g "i=" ,RIUuAP0tEd&gW8x~`mW;lTM<9 QJ*/<S %"SY,wa 91tI(D)%ԕJzYdٰ5 5U<%~;j$@b ;jP_OM˱2s9q=[R;綽zűkz<<=`׋ Y#eCT'?ׇؗ~cNg /QrZ[,]VH>iZ ^w :K *T3T3ǿ夶20񯹟7n !a#9ҸR0OdY 28p@v} Y)eij9ۘr#0$^u uV4V=,a47GU6Co֨x5@,%Ma7;=P*cY@43єO CDEz/䢸*#28ee ")\Inڧ))YiGU*;iEZy3Yꂉs[bUPzQ+ iVw@9?pQe9}=ǐ;N,m1`> x >{k=t?ڌ&~!z) c@#tt6_ӍO;d̙pLTDcͻ),uw\Q?|67HNY'f 1D,E hK(ZuJp| ga9c&vS6mX$#Fia:[rn3un/wJ27Oyxm+<:N !䟇=>71mt᥈=2L(}2ꓦw݂U-3ɵvx-qRQF83ŕaBI$b}H_ u]'$;W Nܑƙ*T\ц8~ԩy*H+c]NU&0grE]~h\ugxC*b}2kkF&KZG~yG|l忒T(E^r*̔)Iq(쯜NU6aѡ39wz4λ:'cYMO +Z$QJX&n?Yq9e~+S3 γ)HaiKUǫ Yef+ ̋|v=K>phN&aXt;&l[x֓RW,|Nӛh)Ɔ:|7)2K_Qwi ?۴>N|% G3؅<.|0=HsoBOe{S Ps{yK7 {d fMPkK@a 1hD^,pp+7d ~_1衴` &gX!tZvccD}gAkr""3=GLYn_TTy-ag`$ Pf!T϶7=:vƽ LQ,Xo."}yY^ (צhyPpB(^StsSg+SHZX;E=h66M('fUf9FlM94 r3mOT9#yC4p#TquOf1d,~ذX,X8#mV1~=P ) rܜ^(GYsXSQ=lX'6,9Ga#) qG`RLX2=4JyRշ o5z7o[LuvX D gUA/RhGSJ$ !#V+.:DHavCQ[MP5WE.',[8*Y_yTHNM[`7S)3P a\]XOS7? r|a,v=#t*?y-⪃POQE 4@$Ra҈z! 3Q3E×QPrR,յ;BQ ӓ4v]XxTCԻӶ^qj(vDq%:xspwt|wY͂D_­A!XG2ޒy8r,s N( =gE8v"xkYgkׂz X (XbȒom&`H|Xu{.};ӳ 9FvA-&/xƎv Q&vR֔5˴Ly8\"^&vN<הaAvWl!W*#OA69TQ rq<w[=tnԒTmz biUG x4D/S<ɾ->Ev0okS 7 K'Rđgw"@RQܸs;#Rȝ{R[SLs*.yvn AX670Ke+^2^,Rr{Evt}wd~U%`OQ?˿@J|Y8oCQ-ix~I<ѽ:PaK\bωۤA4*7hmey䙲Ň&UX9nח^Ή>鯵VK]zvJUw[om 9陗*x) 4?ǥ0@_4X ?%߸7kc_[GE`h4!$ {I=(< )&s"t|F)Zq蔐V7J!᧥KPD|^D^ϻ+/Cw^a2)ZI)\ TM O euЏ V.n2p꯯C즣G` vP0.8$םRn,4/-р`ɑz|qE<]hv6 gwG؏]׽/GxA`34\5׋.,7eJI{k4ae%~Kޮb!.V61^+a\:s gZ8eܳ"'OBs&`a(B` A;>NJ)@p` /E؍*,Cؠ[:z3 s'e͙}m9¶$pK/܄fQT/W"e*kׇiۑ=MlGcElXM1$,Ŕp Oa͟qjz1*a>Co} 0gePiK,y. EPGŚu FƧ[0areѹy%Ǝ Tߕh6^vVij]3MM`̍^- RF&' otB"mW T*9 UGɦwJYlI4pRLC $! gEVPto> 1>:tй}9\O!F3WWi{*1Z@*jA1d4iջSn 9LGyw2q^ 2}dC5Op,c>a25U$axlbTf" NdJthzɇى^]hУ\ xȜ:lhqe?]q%[w5Na,N%*Ɇd,z[p_ϟFǼH`oվ w8N||їES/=sM]3cG1#6e<$!k򈕁5(N :37'_[.pI]C? bAf+#$-0Dž^@+>Ix׼jt jlÔ4K(]I5y+@sɮneOŭ}ؿO=-cO\KBNB$3Ypw]=t/3b;8}oK$7Z$Z!0Pb#A0 r|DH2W9*!D}疸y#l<|[N4'vNؔه>E_@g4?Ō(\RZW0>8 Cg*h+*m6oHl Pmyr&c0NU%Op^K,azH '3TQdiye%KAC 'l4sn,|ug*Ce?5qy(PZ|MxL)b8I*q{;%&5Qhmn s~YళBh RPpTE^#ߤSǶhEӆ)OaCT#13UJ4{LAnm#cPiOor)VQ05il+̈} ju00wl~}TJ Ĕ-50my3D|7E? ]?r۱Ty):0;$v=.\fIs0HX |,A$Qs}hʅyu'/kt9c+ d< 1>``s _!ACtC©?-f\B= ZokfTg/}Xg۠<R^)^NyUa? m]CRNiaZLMU@pu <'.q\_ќ`E_?M?V'ճ-\@eU ˤ0'CXt$Yf\&0,ALh=kEB[%ijא']e!s2@{5:܌`Ern R EH8yD>Q5(d"^S٧.kQϰ *Jj-VmEY|Ayq+ (]GJT,` ޘb^_ s"X YB\!i}܀0Eڂ " b "ʭZҗ[zDTR[R|Ue,mbW1y!5z`d0Mx6d%gڳ [dw/NW+=Gp*_jy548}Xt0h|jH ZwA9-+Kܪns}_-_?$ش}3^3eQ Ca(Qf\(̚mmpt~BhcKZv>vH*d*\Ja7eaw.6jގ5oxn/[5y"5\QBnnڪt11(/ud`hpݡΟAV ኵѦR&vL08S4'HgryUii rk5C鳾w`F>7/Dq=[k-o= 1W<"v|Fz rTWt)R$m#Uno)t4;#/p*e+PZ$Y[\-{\I2Zf8&%Hb$Ecxp)D;cRc ?@ p .ȴ|S1'5~5 tOGܳu>=(~D㦎Rbʻ|0T S##ʌ{ĕT5~*ܧca\K@߄[=T u0>|~6/\:ig2$"$v$`AA|F_2'RPk~WQU 쬯"j00W", TCg;8PjEUȓ9dTux~>q+SO=a}X8{- 8ݤ'v.E?&$sKhB*ƿ fFPV4\͑[S0!՗\d7T,[dfj6{>Zu"&a ]US*NS׺8^۬u?dΘ)_ҽ JV201vVMT* f{zbr=R`sr7a[B0xDN?ܹ{.\'CgARh^n=PKmlO\О _=f,PnR/( G-II/ mʍ^Ί)xz*~DWQM\2% d(\ܧj;GXƕfI!Z~f8OGMc.b>2~FoPN!':Yxv|@#J̈́ߦO@1QG!>6wvདྷXB,Gu/1dj%'SY۰喛M&زz@j ѝ!\\q@w絒Skx״\sih圄Pyyx>fW6Cֽu[;(*:G zòda?<MLKgdI3ssJlu l͖nK?âWTQ#ǴD|>#0^2tWg%6aqMgl452M- ^#+X& urDZmRӂlX3XSlBP88MKT=f:ŧOĵIp}P:<6^,rB@i㭇\^71Q1/'yM%M .,^bLN#Ж \V=;{ ڤXk؜Ey߃&ey7183[P۵ENw[` Z0զb*.y-_A;LPx%l}=L m*g\,?>,q*$O/vVga$iPG'NavK9w9P>%q2(G6)0n~E]`! 9;`x%ĮKdR[n:<=t!nb]kSnֈa߆dVNhd(ù,S΅V_:Ĭ?F`jA[Q)9: ;,\7{OCL=h!>psǛ8Jrau^{y=s}e~;h ,Q$V-P?WFoB3iyȲɃŴeR2JXSeg}naȆsr6ő>L-#a12Y-y?(),kJ5Cff?ZmhjJk> t_*E˹ʍ ۆwf5s%gA [R0e'B|^Q*|)pE6)oy Uo6V+xcB GI(=_U6MPqb'8 '+a}W80Ol*ITFm[0C3׶Ź\,Mܲwsܟ:hS_)}bX u"3Q W*%M]ZRz;3HUBH'9@5ީN {UOa2EiUc%\~؂E:ӑSk6 W@E,)^0St'& q-yMBR zI{j۩ud+9SL 1BN3 Hqw$oPoӅV($5aS~xlݡSRH)RrjGa,CrӸe{U$AwiXh_xb~7:`<~Oz N˸qNwom=hPW^yJ]cہ@;HG~`1h1Vۇ\hzHn1އ00SrMk QBЂoo!Fdnh3\GO4<; kd][zOԠi6u߁o殂qD Ni+h^>0>C"$$dphu$ΧOf |C/ӖQ*"/?۽ |J`sNT7oW,mb컜ߝ[<ϸ%aZgv2bEv"mgglbgąC|Ar~;V=3˪" R?4Vi9%{jX Nk=X[dD`i1ߨ˟ijfȞЋ9AK'g^*va/f~}B;p gxUS^30BBr(QzVt25 9B u| )~cyznIHQZv|I4*Y|L(Q^=::w{m.~>3az7hª<ܳ^kd7%YqǠ2|1{r0'AH5f*JF 6Ǜlq;ek^{-'WK4r~aLSEV߰LㄳB @c':*K&w^}>x F>s{GRvϼFX \/+(# a ){O{jbOXQ P}Q6e>%[tv gl\n!]|@wWw1]\d4Ҷ%W9`Σ޲w0̂U0뙹M];@[?,|<0<$Q$ [ު*B,Gh7tVv[$ޝE^Z"y Ђ>29Agc#ܲB6mw]hcY~kQ8s!4MQ at_gAw F)2-YSօ޿~6&jbӁ/a{?Pܾml7l'?Z-N"> Y{&"\A(ĝTt#tΌ2] 3xT>}:yOΎ ͞B 8:?7kZ.o?MuL,Vh?j2Y!F Õ3dR$7lB7+-A*i`cS6ȷkN>@[*ں|y8YЏT΄|Ue%`|m.ՇJN#Um؅ pzOL 5}eF5~65^o`jKK˄xrq=ay\֢"Qy⫤B߅h)zS4\G-Q6mwʬnjS!omEᏤ9 2Xmq}pGG *O R_O6xs}{|3ɓ90ԑ!:} 1+Cg- Ia8?nL҂D՗2>OH$ gs8܁euDž_/PK@ >)c1R1ׁIW3/3GnfNG TIZ)ߠ ` fo~~PX'n1% [P/MqDSy8֝<.#' ] EB^$5^>[/ i4G#\" bLOF* ek]x[ rʜ2f33Kef ;ꬎKW8zFZK5#_q5r_;hhD 5v uߏJrWh|qGQX [@FF=׾ 9;[ ] gq6d1NTXs{ L<F=h+pI<`V擂]f-u9}m[hG4\-P^.޿!F߭ԢK?]Ewx4?du1RXk\լ;/&Rگ JkJeLswn G5MqV5%6pʉ +LybxX3*1| NRko翾MDItAS1V4cinHαmbI`|Lb64O%Fh4 ){]lkɁY"QuA%Q: :>ᨐkD-iܕe tq='(w9;*HdG~Îq:]Lb4~KH.&3KVı RO>Ghϋ0,=EBX!kujʁjΒۉ|1)j,N rii@ Lbz^avΛ4j/>TE,EЮ tS ؋ 1T `:؁9ߪ`b7\Z.~ò CYXV>{yvKX=='DT_l\}̠7E 5dxNs~wH p暊PvDϡչ(M{=:瓘3-E.8^F^W(h@ ,COd=t66?we[j[__1'Mr d۽MQ\+Xlg@2BEK=DuyҬIF6/@CHo][Q$9q5y/=bV HR =Qdlz\URwK;$m6c/LR >?t{ȶCtŐꊥ},"-=BOnnɨDuCG&b[uM4. 00ľ‡mE"ʕ\/9$G)uKI^wa%?}1rѯe'$'OԸuK1= g)#>ʹ*rW}`]HY)Uyž)" o=3.4:9bMmq$Bb>C~YTvϻ+}֬:-PoC s]銄x^s@OH$meٕ%9,οnçlpYp^ߗpu/t ~/rK2`Q $ڈ3h'xmJTp]lhѼ;-!72^Υ ul␀jY1 6[n]tRR.p>ݩ0- C}@"WCEy&m=IcS2HWU(XUU=h^1ukx׶H0m$~n`)l5 6w-~@us7oJc-jaX\`[X40wFoz͓I6УG>آ &_D6iWd=3lS-2?1*iO z֦?.=C3]2/)/{ )!@|æeRvqL(?{IA|qn%3|!&v+Vyi0e qq+2FakZ??Waj].@]> p8GLlr0k9,88-҅> +; nuw ,KO0 &nG?z奇JRߪ(%V~TDB\o`1=鲊/jݓM~ѵ +Б;Cg?h,ԁoN-Pœrg#CT׸[6\%B&~7n̓WYT/*&~i֍}Z?u5";ʃbqeQfɘԈu օWufdc 1cգX:&\ƄKAgĻXxYEO654m"b'wH58B=xeMY3CG|Xbxf}KRyrCԫ+EFl~Y-U8.dIDrot:nW̼d޷6;7bWxvOl:ԙ3ƴNLz<>5:al?W+yH}if#C˝gLy:k*ŌLٟmH+X/{aQYثؼ` y$+Ff| #bB 9kd/ԕH"Ү𿶲N}Mvΰ&ņk&Z79ܒ`AYD[*QDlA8RE<ŢiSu,BG]%! {KӠN& M#ƨٳexjwC"o&>1֝ʍ_ߍQ ~8!O]yN{vcU t%1?='.ׂ,Q/MQHXǣlv]`l Rکy|!%aMǾwī7wr}rl^59NIB ?S`h內Qų:@zL=0B1/1&Uisʡ%$& Q8md.TX«Po.ˉv{1RE2ŬcڿF!&2Nc]' b8XwXy]`c|ńx/ۂm^iVe 6@C"$r,#JV?o@D) g4c{a<_&>[쿧cO @1,''yh㣬.CJ'+!*4˿@~DiNͬ'Bha$-(_x\_L0x ٬:ڪ3(2BW@NܹցrEyRw!ZXѻ'߼ D gej}S!RNW& ~I 3ȮD iз۔k2pi>N;oѮt4yR&\^}l5N ?އ40|A"l)\?y'2܇3 5+?&-m>: Fkœ^Ӓ `0cǏ  _͠+C)?+ \bςL.M\yM欔VأDjQuyHүJi h.Aàj8T@'/}q+{CpД\$W)>u齥~ HQv!Y@y!jt-o躵JvK6Bߞ=i fGߞfʵ'NtY ;qF $! ԭ^Y2M R 5foldnM47,q=2Pb<|S@#}%Br941sB" ̉8db0kےob (TIo%> I#72!:ʧ-{jG $W3{ Ã8l*F)L3ie?*KSK--Зс Ú6xR+^PY ^f}&A6 㭝uP.H'pa{2neܝ(='WV3llzE9 xNFVOS4b|ADHЫw M#V o1} N.fdtk,OU>jCwu]>6Uw֝TU4ݟs6۩)1ٲ+So2wW̤~OVJ❓ 4H*|tP!$E}Oڑ:4~&%vm gBY4 gLA %{Ho y)aY1{`*bvkUKxe~УJH ƶKc\TF;e= O5mvHXjAʂ}-<_4箅>dǂ_ŭtk| O,uFA҆7'KG>WI 2N7$:\ gGcT}~GۚXsڕH ReV:.:#|ɗ j=clT~M+֧J@&!)U߈="%vRǠ go`Z;yFl;e럠/$xV-8jZB$eR+n\OmKcWJUZXJT+7||hŌQdzs8Cyi$([s7EYwn[Gq_R(S$!%n)5f1"&Qy{l[E p v1Ws[ca<^߁W"~00C)& g@޴!~ 5m"+*U0m ´:^$y<)7n@^1z!$:DPO¢#lal@׻-/'a)Ɖv /g" 1=. Y"Gwl9m=1f}EvF|A%2'بX@l%a68_MNj\Luk,5" ~iͧ1l5ȵ)e\(d0 <:-5Khi6R+>0$S~牁4PV3O%/Ϟă1rr}g }Z FPH|dʖ@2R^VvjMGRr*zلg/&x./{ ) 2i (˂L[{[E ɟ @ѝIy+ZY,eqt#c|yzɑ&Lγr-!xu|$PA܎ L^?@zCyX}hO8mC]{FQ'BfᤘW ?cR^R ɩg4pFz k6XիUtщVB?}Me8UjJ̪ wp= Wps.ic-Ѕ|/XN1Bp'9ޛnR)0t~-=k)l@DŽ1q L2 D_S9[v(thw&_Pdqe㲴Rhw<$VKymIA?"M [s֚\=ITȳrvR&_(5 ף L gN6-vl bzv>ز]0)(|`/\˗ABGP=&f줙xw+mv%krdбtYi dw7%,~` [k+ ?(WLH'VЍ۬Y@lqn2NR9y^W(<~?Jpu.^a/t-#˨Fmn|-;AMZB$NTܮ~UGEo卐Ĭ[LQJ's/"]DhS?5b|*4y%y2pJH 14X4r/!RkgFg4nzktv%,#s}H\nihCԫw= aثг4R'*L')kY˸)%fDr mדA=vvQkihzDM0ha) ^coyn;ഔj,MN刈'h︹48# %~%m>x TBx=_[_?U@ةs7dz%9;"@. /ux JW,S Q p9]ŻCuHW3F37Gtd!v.ۅlU5 b96hĶHkeL'iE**IV:~}F?8.)ćcnɊ OzΡ'J )@}~ 7=F$LPEǢl!ĐLj SaʆtkR&mt m.3wHi;Fr v>:J;ԉUL~B^8Ylh8v&0dYW.4Թu%T[Z/ȺzB,V“?b N>m\" *\!T z&)i9'd"3@ķkжVnmPIQg? +2 iblķdly×4aCaCW -1'/ɏ'S.݊ZCD¢iz<Ύ=12D *- 3*[&+{A9ih~<2CM'7Wy9d'wL1l=aI`Z- rH0ĕ"Ogr \^W{mOg\ãl#̀%su-jzt`ݷ*%:€ 6nc"#hGw#u _2_>~61Fω}}8@XSOp*fw8E55z/ÄmٷkЫ^E 9IZ.'>5yS팹 {R1Z]գ-_cLI?15LeR^H ^4I"%teeP՟HRYdCٺXn*dlN1@9?Im1Nij@=pjE5s"K|Bfږ$3ѠdU*Aj5ʕr*} -g:e-S#Õ\+(% 5p s4P™Q9a#alr6ƨУؒh $(tK&>+)f_Kc \5?oi朚[+s7} ]Z[#qz7E6,Sj>FpsN|h:ZUXU2YSqȖ+𑧊^ٲ\oŷa+\(xCH i SlcW LdaJ}15 \Q4><w6nXڋ"=oKeNQ f\C6F:[\zvQlb2d60$sGW8CߚVHGmFE5jR y_Aq_gtf+v&763 !h7/^2iƖwS5nnQADR>xx&ZaE2 {@m}Y ȗ z5 "w}tIylo֮$lj} BkOqൄolU){$UW&O/r=]@]Cp׋B v͹(.F8obBn)QoslVj "v0ڮ ԱoW2=fG$;38L;5?6K:a}3j ?N\o1] 0!&-jYM51Nv=RBc.݃o)ȜS2-ig)+]z PJ6LTAos7q16N|NFS/6tnXٯА-ja6dv1Ik]\VF3Y|[;ﲛ?Y!u D8r؇ oNH˒ Hjv̀r"tmO0 UIU)Zu@L?E*ur5e\ѨChIJ< &c#|ʠWàDIҚ)|R3oZjx? 4@#&le[`\b,߰ -j> $zl 4&wBVCA%~RxjN;cPǢ1Ju fC ,:bhG+wco"pJm=kvIb#u~),ڵ|A1h^`Gęt\&\dvZTG deAm'_>'G0$EkxZ?,o (聮p:΂淆ݜUoaj87α{:bö}<}@q T \뛛.#)rT90oۂ+84a5(޳rxXՍ mlP ٶҩ IEU/K4ߏ9DSpTwa8vĭ.Fn MaB>`V/_:AKȭzD; HlTO4q9w^]Iba⣏OA/T2l1!?4[Ȫ-.irnŶhŎҌxl}mel~ 7fprxFE9gA^j=X *7 X)-/S, ό+tBy \-m @B=kUp܂g\ܫ_@߁I`y؄kkJOFZt]17/yױW@ s>лL߆2feEto8,=4@V$+Uvk=q+uKPSp'e$VWUSaolHe9niqE Ah3?I2:j]ƉJUu|n;/kTD/fK<05!NzN ^E yKj|<  (Ɛٵ~TeFUjRt'\H$R؜xi]W$+4`n7Lq)gč%~gAﰲ.gẘĖnZ]li}?휯l ԫ鿥d9ZX%|7 F4wwd 493'րJv3.aD¤-ձ/\UhxЄyE6Qx dǍ`]SA6 wt(PڏdX({hLC 鹈)ZLo3z"yvJC[5b7/֫t$}1{eR DpL/9AsGL~(D ?*ƍ pbfpt@E,:z_'印R1N %0 ,Μ]\ӁZ!-7OSZ8HŶg@Q;u dvܔ= 3zpXRE?Hx0 ʅxJ'8 a_ iҕw"| DYlϾrŧ2#7!y bN4'`wIiA4>% ;^%.إ мmgI1ExCXۜKgSK 4ٱgYZ\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۱gYZ>fZVpsDCndHUJDG ܷ k8eXH6f`RGSLLSmЌ}V.'.; 𥀖1WG4=Qg%+ԡc!g=VajfΩ)e+c_{8\Hؒ z+3LE5h}53{Sx\+CB"l%_]X}'L2 ^64^:FN\mĸޙM\pEԌAs/زn=llZٹaPu!V]U[ v2~')Y/^Ow:iu1̾NrR~1@=jaw B@frg ׆9T`B ~q6MP@_yQ9ܥƢER:]X>|lVJ46P/0Z â- `+P݀,΂dzדۥ,Jx'rH+% C{uxڤ10^1[N0byI $'h9b:eb</3} "]S$'bj-yŃyQПN$Y%w7Ϻj؃Jpw?Tn鞰ĕ';q>81dh%lV%^cYBsb.Ui7ܞɏfu2iHzK w.Kr;MXa,;ޒpgԲ4qM_dK[qcxZN%tHЫ˞Kxg# a0[K8`uCQRYJ^ٮD 9,+=+2ڤ6Tѕ:(tLP̅KW_BLΗ3E J26q)S8FfTk#T xǯtPEpڕz]0X,45`$xf-rl0g$^8z`s w.ZnivVhȐX):x0 b+KtQ%6#մža+m-y((zw/4שet}'$g۳WdDj5u'Tǝ QFG/= gg>9j>:?7Uy"bRw:Ν)Q`6)P'.tKE>(c0iiGrXLH`WW" ڮ {'b vʔr (.̧/1gbuA}X kl/5} Vv2a>PM#,mrE%82is4&G~UTslS~z9h6S? 4Pm+zd5B&Y::ܱk62C I(뱬s!Wrz=Gۏ?{O:Elr7~עgC? ǃյf~@"Y߼tX%k8 k%,eı˜2dr X;H*ߢ[4dq_ZX2@aRtَlQ ݺlMSZ, `z dg ADSL%eϫˏ5$M9#ǃr+N^; n_YLs`]ȒON EQ:=_H<ا7 r0+Jt ݼi\!e1([Riy7 p<ӯ)$ <q`/'ihsZwjڢu:&n|!e +ը 7;ԃ!j-PZ}6S6vl(v)*b1GdmRDm0e!Qk7NوTfyPݟ}ԲK|Xt7{'V,n<A%&h7@=Sd g`Nvq;_eVz?T,Z& n΃iWvivn*%ќp'7Cȿ mr7OiifbUQWqtVgo!S `V*(qy4BS1w's:e0Dn~WY_=.WcuQ`{-bwEmDsa ݪ,BTv cnz]ɶJXebs.Ĩ8D%* RBbDkp~}]L9{tvv8'0pмja#3%'9[:d{)2bvqӝl˗08Yo+an (fܥil6KI ^7~?#⻸,sD~)&E!H\ԟ*Bɾnc'zd=GAtUу{t}֓A}Wy=\} D@8fQb|ˠMZ[gbV;`[-@s%^Q!{>^wu:9~^{o,ҡ6KYhK b2I h;.~HHgYZ YCS% lPropositional_Proof_SystemsPropositional_Proof_Systems.Tseytindocument.tex7zXZִF! ׸]A-MՋhvG"uIBm5ɲ"=USpGy+EOЊJEs%w{4 %R.쀲'56%6͠: o[Zԫw]J4,;7|s$b֨PjkjDE@eDzK`7II4?r !0+2Y8c GkpO/yWor\׻V?sG&@uw3S=6mjB$5[b/(n97sԬ0NγpN5bO)/Gw5w܏\ D[w;m9Z$Lk1>'-X W]z}lq'+DOi ךzaK![d 'ΑeM-Sq&FɟD|h@N PϺl)l$ `4!~bo5 jv$aźXAMTƙV!4v^zP6G$dbiԔ@zG3d2t߅X4'Kxұr]xG-^k/ }~AƊ*Ա)ҧMpdB[kxUiϠGd2rp)Eg. nN?UʣE_zz#N8@˔K/CK% ,Jx7|jۃ R3l<ѰG.S 2L;UQM}zJ%.8*bS[=$ Āy?"@] EmYG)5*Cde%$Ϸ-((¨L*6)o(|j«A720.509Mb h,݂$,%1xQ嚮3n6.U/tR,0\H-1X D:@'mM+-CY% Propositional_Proof_SystemsPropositional_Proof_Systems.Resolutiondocument.tex7zXZִF! ̆]A-MՋhvG"uIBm5+;[Z'!ԣ/4ȕވڐb\.𢐑uW(`PԒԪVmMM'\0A8Zw3yqHVRařh`ЅweR]~h|""qL‘xz{ۼ}a(uG:hI,$1g/Pl[)#'WAQ?L d5'k=ZvpМ_D1HzI+hܵz*&/=i]&>E"^DDż„XbteZPa$-:uF]/y+rmfкctjɵs~̽ NAnҋ0R 13`"qG7YܣXJۯTi+E˪Vu%D(FC;ٕJ#ie*_9jӲ >U!'I.]Udss={}LC:YOa`\DbE.-3,K48,V@[Ce/Y8CԄf.>0mTc^BYC*.X;\*MwY6D2X.C;*KAG o5oU^D+9MsJA{ '֒TR\ܥ>XL?jޖ6~%O)I3|'=7op L"qn1:4tqKʞO |H ʷ+O'|[},NG7QM5"e\R@ f1b4h/Gq@>PyaD[ Ǖlm,bH0bhԢ`x> =@ S۱~T8:;_A,Ikڥ+b"?6!# `D-M@D\i#G?#:.|y.ev}gu=@+0zըVkS~nBwR&юlл\U9!C8b;5T3i-Rohb5t*^4X~l7Kbԉݭi^\ - UYgF 1!Xd+;vi\{pY+c* .AE6FUJH@Wَb oOaX+,Aa\ ,TQG"|G2w!dUF4(#]ڥYU7&1C̖Q"̑ ̝weQ?FP}Njx`x F D2D6XvAFIKE'$MCh'z*O8✲3&>ee xe=#!iNwg0md\/ ~2ggmi:^H&l0ݴ62<ihNi&FvgʻP&d1fXI4=Ns~x=`#!$weKHVZ87T\+J\͠$idb|'!)JySHL?:cki㐾a͈b+C!'4V6zT~Zy Ҿ=LT 2zXSnT)t; j,.8ҼxL,q//N;JcD0vbWC FWvɨ&zwKlHF(K=v5aTw)W_Ոm"8ͬ,˕? ==dq2Y䛹Ϥc[jL(v Y9Nlӊ%CeV>w&$z9uILY~Cx,܇zUdB#舖q9P bFenQ6ewWjEzR}~pSuwbBNB\~+H٭xgN.DGA{m7{<)X4z ~ܕ>)N܈8ֻX;RF^ݺ{r1hfA mlӬ-SE#VM-'λsJ K>[OH&%#vqr w[.RZx6!-n8nl%<*>ЎNd:=h_R*~tVuFAQftQpaWB Z/Ϛ) Ș_p.ʈ{Oew?29v(7 N!mYb:P8Id4?4m!=E=ą8mkgTM(lFޖ*3۞<W*­ o-bV3]T*KI23,d8ƶ),Je鞄fN:ڎv~SZL6fO2\:tKGlj!lq[Թ+&ГQŨ%9tԠQ[>hL -g?8YvLpc: j3dd:UwLboGvUeL.WT)vtO%;V=JiO5R3]*^=*!wѥ*F RM^$]!)rk5"o-,Gt*8j e Kb_Q= GHIY#Z{fJ~Nm!:oCB Y:Et_sG@ǴMnE|F54߷mс[;)%5*.џ;~(S"'[\v?q.\2H uzHj|MvL$|?V`WV56YCh{ʵg~>l?ETbXu)||t Ed32#ѱԔ{*&1B%b^J˾/RRB悅%Of,#`F{ZRx;T-%\@a#ڹEz'AʹCdOaѻfEK8f;" jigڢM!3'd_A;ޛuQ$f\&qC..O)hc͸}UHz굒P6Aʬ9C?trj:Ww{HuT3T,NFiG<;[ oe"}j/ve[9}bA2F~1W֘^Xš5_R $p]%⃐ -'8P2X|Emb~ٳzwΥ2ػ9*8!ۊCNn·mcPՙKI`2. T{f0?3Fk.62ir-z|v?fPϖ^Z =fG_zLleb*BIq// SEm19׹0qY)߄)Ooz@=e&KN0Eu]*C/5m=ݳGcb2M)Lz+PG gu$.v`rkuKGhj ܉&*35Iq iwbp 7HpC-[GX0~p~"I?$kJM$I;RBto`ZEfS_Jm)} JjZM)l `#\5"8vq={E6x(3 $ VN!ڼ$EjjGSAy?%XY^E:e`d<^e){ʨ_exσ)Ջ Ņjي<~=B?2Pb4~rcP 9; 'Ðwp㰪6S="NF2niiqieuw<^\ JI;+FWg,3I2EKup\=x9!/y଻m-BֶܫӮxj'*Q'b څp&}0XLbLDO9}f +9I=i %jŕ&Vk%t1VP|9X4[rdKK¶*v^i )wiUlv|Qiʺ8ȝ%&3ZsN&Xp#zLc1:6&6 p감|Ah1I.wB ? &CPoUspGֳͥ7V_I#>Og~: S/*p}H#H->'$Cx䐾6윖_˭q C!W/v%DGݨBJRf%Or|!:c<Ė\yeTrIIM\C ֤9_h݊7~P8Dg# *L6P7wN8r{f!~@yK@.r3 %0/'}p̿ړc: +8Ufo1A,ʄ8^DT$|Y[_tӨ?eěїP&23:flB^Ck:v> Q^!F.Jsc<dG- W Ƽtf-Lfy͢ƨzofA NJ&&Snt HvzՍFf/=BTIZClEѾ$XMNk{,(HVp:SOe}S/IHyЇ]sIF#7]qnP|}CLj,e7gYZ TCI% Propositional_Proof_SystemsPropositional_Proof_Systems.NDdocument.tex7zXZִF! ]A-MՋhvG"uIBm5ģ=D1b(6iPԝOG (*}tw̚4uߜ$T/K2]v'MR|1_4pdѹ+u9FJtb_LEúЧ.Wx0jB3V][Qkf0c j," mkS(&M\rVN񭹳#7ӈ0bϋK4_ [Lε njDviՄLk[>b{E LJyOJ̀]e95W剋ڇ b2#͟0(㚱AxUY$1Be-WUUzxGfsӂKoSob!]3fempi?-?#FFL@>n6Ӿ6Qzc@ mÚ=LHz[.z+oƒ$F{e.P'4^ƕOuJY|YG-L?_ SZhX4HyKp|Mjq\nEv;+B`j4*kvYC]I~~9jé"]T*s7 E ۭZfV}~>hkHE:%3l4bN,5A갞1mG+b5cs@7Vfy!f2BfI|Lk!e:Dhz]8P8M665}Eީ;GʰLv]m thL2Dhj <{4\ϛ%b+Evx%Ƌ=pxq<12kScS9~t&ld nc{bLq3] tp8諼힛20fЧjUGG"q:2z9[c^{Q0f]Ɲ/kշbxT'5myQW?f9挨_7r%T0 vgkesreܽ8] l:敚Ð ^s"Op{tslRŤuB/龾nաj{d ʫ}*%@Z*%ODQ.D&4vʚQ)y{(VNoU߄5#v5R 7&L\JxqH-=/%'ԝ웋Kh2<عTZ+L@.g`M?97xTbj/WGOQ`_{G}wD.gȫejUA&z/2\fX3Y%"&`? XӬ岱vSJm \hԂ_t0nU^="1i~5>3Hi`ܐ7#/;7+a7cʙLll_Wޭ#RF> }}QrLjMk(#ia%[P >LQzby<”\Z.^nURb96u}Nt^p⟪ d 2Q#ޑFsrf< h )A(ݓp ~WgÈFM$v.%d" hIEJ.#']T8&TA1#a` Āa/аUw7yÝL>wJ-ݣiXhJo1f^NEH*Nvspq^K$R:k{RP̰4\lɀsڕt{,$J@OϾ aRGa) j F %%и?Qa?aIQpEV<ܗuE1rl- #k$Y/bڣJ4&Y.5Pg#G9c?;S߭v\3 (:s?}wg +F_7 &u'l\p8>2t0}6#>Q #IYNWPn$mH1R_`.F;P'fcL?Ч#mgm|gȋ+asL$)j5 ?ȸ1CGͻ -@Yu}$ S5RTXj%fuo’irz6<*V ]X#FObcC5ݼ v,˅=o)g5/Ug(̜c>+l/SUv%=H˹x ' |&󗺣9e{ ]pa'eřܝ]?uJx"HTOkg .–hZ&Hn/ȽBQVq\H[N+1~3!W afG&} Vض#tkZ҃r_;uM-3!N$/ W*NcNKzmr PtKe[`eΈ/ȏziZcH7Wґܒ o38QsbY0cpHfd-2ưѬ ƢBG#Ӛd9͸9{*w(p(WemJwC"غ@sc-rVջ&Q`&j#]\H}Bd%jȻV.LJ5D8u$e^5JiZs˪wHj bFrD&8!^]7{We ȗu&5a{7F/Ÿ»SiVO3E.zGKs<](F/Wd`לȶs JGW1/b5;;>FTVcrs@w wo` ueM-lO- N.$vHx-,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*7P1I-]D4;)kzp?\eHs\6jHӄGbG\2_TfQI{'i&CwHeפj߾}?v/-} -jdec~(1ޤŕGHo64,lvSl4^łMtF*JYFC I'gF9^S&è`я`CAZsh(A iS[$]]-MH"y0n3,-`{cU7kBɇy Me~ӄr=F[V巍}Cvq|Fw< }Yug)uEyH#6j;FĒ?2gSAF8zW~ŭ|(X4)]x A\\ԆP\N>+j[TLK1HbOv ̝l[}&YGcu#5y m+S.E#J-BfZź3筢0;ہ@[kBKڛ^ ${)7enو€V3+QS1?ߗW#i:(4+\kc,3PmHLI:ZIB%j߼}ye c YmwHHw8pКE륀pZFd{~\%|5f͞bᒑ&_{aG#zF#U_7rǀ%Z80섶;Qm/vYғ8&(pÑO>CWF#\SuCЂ 4w"} a4 {eeߔi%.kxYi ap&^ng<87"c9 /,_Nj}^#π=2: wSw)8 X4vREΣ]#o$)L p.֤>0e=pg1% P-3,c^2Zh xk:ZAi<("D h 3BvqܒGz> jR% K}M8{w˓MA+ҘZ4˿n>sRknlxRb=Aӡ,6bez|XUF!pZO;۷r1yQyė4Ed*. C1wA8Ok0bƇޱ}; ؏?dfɮC12DD"mZ@*J,z&۵- EWdȧ3$"2z\e` 56TCEj% y|46f6a;.ke3D'~9Q?esu@C.Ey)%|e 'd8Tx" f6HqbOXD8q7 s g;ÿm7mP͹X֨5Ͳ F㡏Bܔs8$`KvJgd ''CWԃWr[O<U#疉8X-K鑶;Pպ}<_H>Z'7|+9f@槄fJcRFW 3 3$/A'*{Jiis6B2;|)SʈJ#ئ &'7lU61swQ5MȽ3P(3J @cwA >|KKlL6tV4y.[zB\W}z .Ԍ_:GRǍRB;\&xJiQefQS#"5@@z3tiC P 0+XR)R% PvG/:</{t2!JU6k.cbu)ay0XÏ|?=,.i{_ZUs\:dDdm§:ߧ%M1 b/Ř-ݵnWձU si{# 6U5wB_[YqzgMhƲRs\G;UA.jWE!>I *'baɧj>5߳6eez\D+8 4jk-e7snحDTqg1$AfvzŎmk&QGVCa gNJn9=$0'6]&+F`dvNv&}0:{6‚m `6(ͤ9hӯqi:rZt?3uGrT(_Z]y9qQ~8O`\EZ:|BR[>}Q~4Ar= 7+Q-ƅt,Bbxb\0zߨp=dϿv*{Qֆ~Qp}0pɈajX[BF±f  #x]iQR3S` tIo7]e.G v  9F5)|XujEkm@J.իG#? aaTEꂝ=Ewv1xm1@Bh; )O5䞜83>0GhI.L1!\Lsk퇱ZK ԮOP"cs5†cHۀFO)ʋNWlAs@#[=!=mU]i@ S&e6 tYH  zn~qxɣL?>Ρ: vg{`< !qLƤ#D y W+/اeWG - -l0= N0e@6{J;cԕoyb;Q3ʩr(z^)=/wWc5Lk)]|yl5q"huL 稀z P i3 gt!U1E{Ew㵨\hwzPڢ9m@Os@9û2V^̸(P-,;[ü2zIB [ddجį̧FD. PSN.5aE?`2[kO~}<(˻h%Uc`=XeQjy}cz{AZɽS)KDŒfky-.z#*|!F>Κ“WÌLl7/fAq$-L=~cGM;H?J _ZhpE:U..*W_y|g.;HdVY/h^"إ`d̍XWI`{ԗ8dNĭ=CUW>S|ʷM mN(į=0WӾxȷz7qؓ}Iˍ(Ƽm4\{[Z.a 'z6AZƙ$S5{NӋcLG :xAs6QqN7z /u4MUzȝt:N< rNA8e[*suLgFR=HDi|!Q>w+DXcoEiqѬrR%KRG 5zbEuGzx^fR Q8Awlw0߃ "$pXGFjva[ r Y$.\:'xj =@rl0.xk!LKUm3tRQֱ{xK1h PvYQ:: +amƎz@.]n}'?nNcqך~ƧdtMFe~1Ua9t[ўNLhH8'r Ɍ `_KyۚJj~ I V8dGNtҙZgٿhlӄZWA6U&<]nl/$ .&-1kNՈtbE/5.'gAtuky 2!N xdO+0 lCQ% DPropositional_Proof_SystemsPropositional_Proof_Systems.MiniSCdocument.tex7zXZִF! ]A-MՋhvG"uIBm51db-Z /-掟MzR s`_£CP4/L)nD/C<;^T)F~ClG >,$'ϲ#()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~Tq0nQ33Ugdk~ڄ,[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);_)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 lCY% GΜإFmzdKLz7ٰWyz/$ֆM`=!@@GE@@(.>IxR2sevqm6j_zl d?w|׮G*ޭ3we.H6WPN5rpܮ[-Ty`#3Vzp+9!ln,|<*pkEG;Ih_[ cd\[xIX(N?p4 ##ZC]% Propositional_Proof_SystemsPropositional_Proof_Systems.CNF_Formulasdocument.tex7zXZִF! A]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)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)\:T33mq\q:eZ]r}$J+d_@LT^@%ZyX,{B%+RǺA*6?b'bһy\~n~+Atÿ¢QؙZp0HĢL.뭞XlْU6bͫjiv0耋-3 /$;kXvT+HNE+75/Tst1*N#ID;Ywf˜yd-ZŅ:rnAT W\94+! HEe{OSow#[\aH dLs}koj pr' ʖ[ \իE=1ەl sqmb:sU>xfCZ&v:8͖ʪR>sqq*|@}61AW}$gKYnOe 0n^9}usg)StByǯ]*.y@C[cոIs@ NGe>;Հrzf"|kAl敆?ԳaݲUN:JFyܘmL_c 0ᶇgo@c4,|/U)Cw _E_sZpjKOfbtopȠ+yۆl_:>"dAQ#XE)ma>,c/^1D OH6W]%u 5Dzս!Q)V)V E"h6qdx*ґ{X8==*< a=#2yV ?[x e9.>Քki$͚ ko)QKo}LS0 g[^KI{Ϲ I{ЋP[NK0o" nӭ+=~ߧl>KX&iEacF2m dǠG`zvCAǛ̜p .h%g?npW[}^D/XWzr&<Z#fIJR o~5.8mtMTEhjp x/o{DI>\weC ܠ`yRZ:4mU Q6Fz!%2u?a4iݦ<88U9RQL~W ~CFT{,ΰ & qVθFA+!dTjej /]nb0/|X9ٻPZ]h1Pd.S"Lnk]'վQ)Pi;Pjr(`Ntf53tO|7k }*A '\YK3Blo# gww]SN,t?-Dɛqۯ!` G `Q[dHP?gՊ]l7$`GҀlGlJybXΜ *̫vm/XB[g ]EP. otcM3X kY\}N|Sd9 /E'yS!U֤ץe/W{nI2Z}_\_ulFK|U ˞k18?4t(YLT$i\Q)~zQߗl~j b^;S1If^ȭCq 8„gR[7$ (JQ:2kIU`zmlDmGX{{C@†i:,_#Id3BOaTκB phOBQJ&l> ~Oͽvw&6UrjԀmu Y5y\KHc摆TgbF;T2"cY4o(x#@dF*ǭuHTbS; D"$:x!`IXUr21Cg"?7?0{2Z@bSL ?P%K ~.a>F3 #d+cJ&;^cAx2?|澾XV!lI1<أTt>OoΨ|g@'"7=׏qf)'ñ_GHs[HX_txõ1@߅OZy?ΣkuM1Ot$ !T) AXa~p5)1:nSB)%zz :{Ih('_>'։wovAww$ӱgYZ ^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 Ce% dPropositional_Proof_SystemsPropositional_Proof_Systems.Resolution_Compldocument.tex7zXZִF! jl]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-;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"uIBm51dqMZD4cYo 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ԫfyryh֕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ڗȆMR>Ľ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 GG6!C=% lPropositional_Proof_SystemsHOL-Library.Cancellationdocument.tex7zXZִF! O/]A-MՋhvG"uIBm5 Q((2B}77_^(ix6kضHү>`ٰ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  &&Cm% Propositional_Proof_SystemsPropositional_Proof_Systems.SC_Compl_Consistencydocument.tex7zXZִF! >]A-MՋhvG"uIBm5ȑ^ c`m*}xytqh8XJ yΨO[U5sntg]\N; ~߃~5h^ݬD"2Iyof[Βy~jBO5V/؍~֎ͲxmS0iq|1ϪJBsg(G/H&~=):T0K1EI4D̚`s8e Z4 5-h%r&g4NI\ϵ3Os^v\X@_P+l1Zp=_ -reroYsy#D 9OUm%}[ $(5 yY7fjX̣{[1)FE&i8%͂6>X ?Ojr84w۝+yf2wd>D^(Fàt&(4w;IEFpAgE-f,0]{ ETCj%W[*-"lff*I$kXhz%%iC\e$roy8g=?9,(TQ!Y sNO^e5}:a)F]*7³-v3.znF G+?s~I|M?n."OLj;z $% )<оx1"|^&gh5m.h٠eGU9BR=Oѵ?\0*SךpP_1Kj/{\2T{hp\N&rm2>O-Sq~sZ?)(3^qpe} @ vzw&]f^73O 29((<|4h(%&icV ۄC+;}6$ff1E(L-f)[K9?bЍ 0ZӍA8]p(7+IW^ nPm c\9+Xh{ÿY gVa]elR-={\L3 ƴތu.,I{2V V`$L Ö qlnlտ%tjGws~:`?6cihn |i]̾i hҹb{tB#Gws yҟ;ldۭp-:6 JƐZʹij> j?/2-3əyˤTxnp;ig$'6{ߖv|nS!E v7Z {̸$(rl-9[q},۠ XKcjy%~+aZGe8> wXN?gTF':xn7𑉚]yI4+$Pxg) e ldJ_ #P%yvJ=K`]!7bK|SjC])-j0tu )ٴDh*q`0e4I]ڰIk6ꞕ=ؾZBPQ_Xgt:zۑ@^DRՃ@mW͗ҦrOdKi3w=,>ܣO0bil%;׌ r6܋:tNS/K3ӥ^&Kni=lK|  WA^[;sN;+s6q7}YÖ=DL;'ht%D#nN٨J*J>Ԡ%[nxG^lEᵒz0GBʧׁAM.1-Jſf&9/Nݷߘyi]t5S/s%}g( _T]MU GΞ^u}Mn9Zͬ6,:̲o$JGL9=ȿ/y&pޛG HWfRݍRYZZ"@lA燴>۶IvnB XK߽ 0?A*$^ }Ih۶'ј `h\]gڿ1ideTSiCku9ZЃvH6׷pmʺu0KK}KYڣqڽO/ {0ߋ  暔- d%gYZ m mS(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:'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  )*C[% 4Propositional_Proof_SystemsPropositional_Proof_Systems.ND_Compl_SCdocument.tex7zXZִF! *]A-MՋhvG"uIBm5ģ5zaLAG*)#7†|Ekl>ϫ$jljėgJL ؊ٲ s9y"~*BB1jSV쒙Uz:Cl94i ;}1'y̱KB->‚aK8bDq>ٻz)$ɂZ\%l&f :@ּHiD /ܜbm:M'?æw&mN}- vծ/;7mt\JO.uд[bP1|S$|F Hs&'\*شGi47A.dKǪkfܹE5p1螞TAN{OR a]$Ȼb6E*=4,aDa~ @ZBx e`=Zkâ󗴜P'-ڷ+&8'!]Iag)gomQ3c P꜂Xn|2PMvz%hp0i=_2I FwPc[L_M3KG+_N׊RCe8BoD,2zD GV,?y s[sm$KGD 5-j%a!b0 ljX Ts\;,rv L8{3vT-';}?Mjפ_ ՊOVݽN_./VSR0MAP\S藻ӥT;SZ݀C?"%IY{ ?ƏP=+~kSGLǏ;n࿳6Cq%syJFB8>&s'٫\8/rJo?9{ ]}Cyz!]24)T 2]Ch: T2 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 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 KS>/C]% Propositional_Proof_SystemsPropositional_Proof_Systems.Substitutiondocument.tex7zXZִF! y]A-MՋhvG"uIBm5Ȫ_˛.)xv$= Хd|?'2%8k*ԜIZYج8n0!ۡ8 k&uēBOn .-f=ߠp+XjFwM ]&TH%.*F(ܒ1;Su}4ohֹS#t 74?޺W c}`@XPHN3_O$J8.a(<1#b-l=u@ ,B_^}n"`T-S*O4Gsu~VZ>C;Ny .+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]8g9Pڮ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 ? ?$3CQ% 4Propositional_Proof_SystemsPropositional_Proof_Systems.HCSCNDdocument.tex7zXZִF! %]A-MՋhvG"uIBm5;[BXRhw?v;W2Fnv+&I^zE-D.-F +/gv^+DSm_D=V<إo)e]L4WgTJ0قE{;t柉k.+&pTw"[@>tǻV/*[#-P}z%Hz>ŐJʩ/VѴsIx+5% p]* "#,C,UF /R.: %-_auWwl0/˃8&ГVg\Qk~V6)̭Hq^b y xdkE"tvZ〭Ģ o@-ɫMTo08'߹,Em_Yٯxxu1*B- l>oͽU TώUqM+ֶYXԎ7ܓ?X:}QInrUt(fO6g8ÓaxymM 䍪\$1IdC\HCڞ./}dǗbT p+Sܘ.6*\iAORuS]:jdge"i BgA]n _pA,Acn eGq&h~⊪mۮgC KBL=&FmX M K-F]NW9ݱgYZ2CU% Propositional_Proof_SystemsPropositional_Proof_Systems.CNF_Semadocument.tex7zXZִF! 5|]A-MՋhvG"uIBm5Ϡӂ.~M{{!C v/1U,K'QQA[ٯFA"CQOI_w "|ޔU^>MlrCBіQ¦3F$$Pt*‘ Yh_ϑ‹៌2qq*}T4CTYB9T87hvҽw ]BMjSG |; r[utOLj_ 9$:D ,HaȗeX1zUͅ Qlꏱwʹ<чk٥ =XUX6T< &#Z=V{8mcg\FyAhi#CR8vJ$„Qp on+?tȆGXh *=34 ѵp\$I(GUO+;j9[D8Ϝ`L$`N`L%4g55f`)o֊NnS Xk F9:np&&0 +3퓀PsIiնٱgYZ%1C{% Propositional_Proof_SystemsPropositional_Proof_Systems.ND_Compl_Truthtable_Compactdocument.tex7zXZִF! ]A-MՋhvG"uIBm5ģ5zaLAG*):cS4-NjZNCsAޓ?($ yb셪}m ݾ:2 بk&N*bp0Vc+ʆ aJyj86 dĸ/lҀk0 H8O=0& LNABnШK !e*@ϫ93{vOYox=RQXCòH`PIY,ZGNB*-Eq+O _>'1 GlP@2LI^e(?@_Wkh06;-P~dgYZ ]s , <0e  8y  ) Y M+r!] @l c b + 3MCM%Propositional_Proof_SystemsPropositional_Proof_Systems.SCNDdocument.tex0UC]%Propositional_Proof_SystemsPropositional_Proof_Systems.Substitutiondocument.tex/LCK%Propositional_Proof_SystemsPropositional_Proof_Systems.CNFdocument.tex.%PrQCU%Propositional_Proof_SystemsPropositional_Proof_Systems.CNF_Semadocument.tex2ZCg%Propositional_Proof_SystemsPropositional_Proof_Systems.CNF_Formulas_Semadocument.tex,!%Propositional_Proof_SystHCC%Propositional_Proof_SystemsHOL-Library.Simps_Case_Convdocument.tex5OCQ%Propositional_Proof_SystemsPropositional_Proof_Systems.HCSCNDdocument.tex3WCa%Propositional_Proof_SystemsPropositional_Proof_Systems.CNF_To_Formuladocument.tex)%PrZCg%Propositional_Proof_SystemsPropositional_Proof_Systems.MiniFormulas_Semadocument.tex7UC]%Propositional_Proof_SystemsPropositional_Proof_Systems.MiniFormulasdocument.tex'^%Propositional_Proof_SystemsPropositional_Proof_Systems.SC_Compl_Consistencydocument.tex&MCM%Propositional_Proof_SystemsPropositional_Proof_Systems.HCSCdocument.tex%%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!rX%Propositional_Proof_SystemsPropositional_Proof_Systems.ND_FiniteAssmsdocument.tex `Cs%Propositional_Proof_SystemsPropositional_Proof_Systems.Compactness_Consistencydocument.tex+f%Propositional_Proof_SystemsPropositional_Proof_Systems.Resolution_Compl_Consistencydocument.texRCW%Propositional_Proof_SystemsPropositional_Proof_Systems.MiniSC_HCdocument.tex +^%Propositional_Proof_SystemsPropositional_Proof_Systems.Resolution_Compldocument.tex M]%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.texUC]%Propositional_Proof_SystemsPropositional_Proof_Systems.CNF_Formulasdocument.tex b%Propositional_Proof_SystemsPropositional_Proof_Systems.Sema_Craigdocument.tex bP%Propositional_Proof_SystemsPropositional_Proof_Systems.SC_Cutdocument.texOCQ%Propositional_Proof_SystemsPropositional_Proof_Systems.MiniSCdocument.texBC7%Propositional_Proof_SystemsHOL-Library.Countabledocument.tex N%Propositional_Proof_SystemsPropositional_Proof_Systems.Semadocument.texKCI%Propositional_Proof_SystemsPropositional_Proof_Systems.NDdocument.tex @%Propositional_Proof_SystemsPropositional_Proof_Systems.Tseytindocument.tex @T%Propositional_Proof_SystemsPropositional_Proof_Systems.Resolutiondocument.texWCa%Propositional_Proof_SystemsPropositional_Proof_Systems.LSC_Resolutiondocument.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= }  ^  f  m  z &|)ZCg%Propositional_Proof_SystemsPropositional_Proof_Systems.Substitution_Semadocument.tex6QCU%Propositional_Proof_SystemsPropositional_Proof_Systems.ND_Sounddocument.tex4UC]%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&MCM%Propositional_Proof_SystemsPropositional_Proof_Systems.SCNDdocument.tex0KCI%Propositional_Proof_SystemsPropositional_Proof_Systems.SCdocument.tex YCe%Propositional_Proof_SystemsPropositional_Proof_Systems.Resolution_Sounddocument.tex-bCw%Propositional_Proof_SystemsPropositional_Proof_Systems.Resolution_Compl_SC_Smalldocument.tex(aCu%Propositional_Proof_SystemsPropositional_Proof_Systems.Resolution_Compl_SC_Fulldocument.tex+eC}%Propositional_Proof_SystemsPropositional_Proof_Systems.Resolution_Compl_Consistencydocument.texYCe%Propositional_Proof_SystemsPropositional_Proof_Systems.Resolution_Compldocument.texSCY%Propositional_Proof_SystemsPropositional_Proof_Systems.Resolutiondocument.texWCa%Propositional_Proof_SystemsPropositional_Proof_Systems.ND_FiniteAssmsdocument.tex dC{%Propositional_Proof_SystemsPropositional_Proof_Systems.ND_Compl_Truthtable_Compactdocument.tex1\Ck%Propositional_Proof_SystemsPropositional_Proof_Systems.ND_Compl_Truthtabledocument.texTC[%Propositional_Proof_SystemsPropositional_Proof_Systems.ND_Compl_SCdocument.tex*  !g7Cg% $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 6Cg% lPropositional_Proof_SystemsPropositional_Proof_Systems.Substitution_Semadocument.tex7zXZִF! ]A-MՋhvG"uIBm5Ȫ_˛AC j@u&,%0L?nzG ?D7UNtԙZsHK>8m9gUٕi%[{\T(պaFgڒ_~20}ꛔw̸V\ 1:X8*,mi68:pvn+CeGubY yX?|O48ֽ.%RUsvԄudP'݀F$՜~e[4^r p+E%˦Z%h}'rPDy:nj%Y: Rd`9@<]Xq0N:PZ."F%ѐ;͈B'HUsS׏;@4s.۪WnGUZMIcEK& gYZI5CC% Propositional_Proof_SystemsHOL-Library.Simps_Case_Convdocument.tex7zXZִF! ]A-MՋhvG"uIBm5ȤP9~X^yafa[uU(jzu9| NGPrwQ<R5|e|hI)W8W.Zm *+Y_cP8l D8b5vHʰIVL &9{a.Go/RG_ϖ XN8#p[HInIt,dFJY/s7RŀƊY wcօzs@(7;bS]M ~aӝR oƵ}1+r[ȷ3&Uoλk[_4fF.o ogYZ4CU% lPropositional_Proof_SystemsPropositional_Proof_Systems.ND_Sounddocument.tex7zXZִF! p]A-MՋhvG"uIBm5ģ5zaLAG*)|ԃ8×A%BZܾQKg/(EڜF\k|4j6O5!Z$G'٦uHV)tlhَw"xvb1aE4DXȵv|z"Ҫΰ0XSk=5P G OBoo `O!U u]Bf}k,+3ȂZ@SPɲjWϔa7SO808.v)gTZd@NgnyHBjAdn/z9Ffs[ߖwYox)קxg;Wŏ?8؂שAǠkPMH![Jec^lP=q]IrSMDZV)xt4"C-.؋f0jm2-KDuÙT.kP7G.ySz.fUgYZM}%Dq>7DFqq~ Y0azm; P]f.e!l: /1LY=BŇ5ZWO·˱B90GT$Zٯ'6.?M r$((P$/N.Mh}Tu*7( c7p~FQ_I'l.pLږSO?+sqfC鸽jH1) zm>u[:Cd]&+%KgYZ7zXZִF! ]ŗXi%;K߬, O70Sΐ!r x0 |7>AֲE}%wJ]s Á m*Jpt1q]p S 8[8O9֖'v "\\iW8("((4Ty?zXC!5ٴְ-=Ӥqd#MXP쇐bSaڏy0-'p)3Ot ǯ5M]Yl*/s } > U^|7nE@;峯 Vy]F("[*-u{Jle0qt_TF#J]J c:,R3az8ۈ " "dwaiq'0 4\,xNk<+9^ko$E5A>9kD&wY!.L SosɔRxOn`B0$|֣* \I=Gy+naa=^ڥJ $X|mU{lAgfܼ"e~OO+1jQIl<;ڜ+x!/Ŗ/nm~'%E6v3X?ҝ~xY3h 곥}/KOG_qT) %܄ v_Ҍ /-p=HL~dlvq0DԷ5zR`Uƚ5>Q?3KH8~!'~f<k`}՟0ᏚN.Pk ;JUK,ZMC~ t׌_-֦sU_. h!㒎CtmgHLn.Oq$eؚgE#$s '$7N+iqPh ʷ}Q%O[qp π 2MC[-Q[I>,(}L&tQ.b>$iƽ 9q&;] kPl9@\1kLJXk2I‰d.S=.2Uv7l Kn7zǛ"1d(sB=W]dKFD? pL<*Ό ~^!lv[ j?F9J2ɰ'o{lY-/1Ba tԥ#my8z? ^W;ij}S(D6a]gcV`YOؗ~BCIv`qL-փjFluKc5^imBhe,O-u}TMH73bHS uW&5L` <0L8@Q;:P0ڴYK;_ /i #S+߆ rJD[,ҬO˱1*1N ` M хߪ!UNw9Yoc({4TT,N++Z`YOͰ|iii#L"_vP!b +\ 򹌷S1 L:_l&fT{~,irQd HIٙ+_NʵuV8Z.#dG QHOLgaq?1SB87a:Zo8TB%_Pz`=5 dLRz+^BCX6# Cs+쪝8 rNu;Bσ*(IFOlpq^#$E7a0Y'I&LؔVo&u$]iJvn)hȠ594LCJ,9ɫ^J_ݙK!$1МqTn!r^ W=3:r$)̭WevإeI g.ah\[W9asmη{p^zkX۶yS7堫$0x@ͽI"G45p>q1Mj1yd<&P&[6M='`{RD;xL tO6o<_/eEۛަdxU(F;D9pe=>RڣBz6A?iBX[\|۰RPOSc(}9}Fu]0vC悝~*k=Yp` Ut~=#&衛dzp hTA/% oN=N"ʚoyE Fyh[1(o>Ģ~'CC4,*eW#w _-ߐaWoTPp;@)sRY!KŽIJU&T)4B=և1MuYnABI ?LĊ>`:jT MM3 ̲ m/ *@,֨u?eY,[fdJ>WK*\ 艔F7uGƹBρLh~8@qTE얗qc (w̪#;l*gyH5D=~5+Z;U߾my!&om3"NC1:E9sҬxCq+BƳGkE5•@b?lL${ŝM3_V,IdCs9 ɬ< Ծg8u) ZjDn7MbnB ]ARJs҄o:I1@7a M27Α#K;IFliS pBW 7G atѐAOj;VJϋeZéצ{$,E^ObUw~Y2aE!z av$,*-ry)b@w>q|U$"EA) !ئmJí+%{d8. a*nYA`&ͨ.wEv3K^3)\N}(n!dϡ L7YD _ sܦ UwK|pͽآj'h9*rcZM=u:r)b{ ☘c>wc4q6=4W20b>< ;x9ot7]B `. 1[R cK8 #G$"&YkokW猀(cJtH>pd,*-ʔл P`n d-e osS]$&&;<K9Lqۦ|?T+Eu^G!D TFIx88KOP¶ 18FԮ4:eF93ԉFY؜+c%[nٗ ~Ԧ#hբmo%9ିrXvbWZ}OMP-_,Wt ĕyf N+|\cFDF?Qs!oAm kK0NB ,ѷu8Q]^wK I1y 4zPy 4=𫑰Xp^mP4B lr D EU=aImPZiX3Gd5NY1w ڃ6i9hwv*aԧ=2bє 7xIL  oף,:{p5<*k]/|@߿o- | y}ٙ6c*;ncpF]IopɹW%]4on4GgcC)a`r bGL*;W!7V; Je׎ .+bK6-$I~ -^M㢦0y2n߃_j|c]{9c~"3$brb[X{=biDLGWв95~Nc\xK[^; q& z l-*IJ29TC2\!G:&g0̧Eݞ\GZڈ&` [2=QӁ?tq'+3[Tg8 /G,?tq58߭84@cR<8mJKIBo7l^ s0hgÈd `|S7 p? '+%+pnUi$<_w6Z-2է~5KM PvcVȬ*{ " ȵ=B _a@}g}p0 ;QgHbPb23Kٯ` 4ֱ+ORLsj'RtF0{FȦ:QUQ0-E"G^?-qIw 58o{MN)92+V3\.p@S0 @IXr7INpikar%{&[4=B|vō? }PC)bKu  dp3ŴK1O&}~˺Iem S sNI鋥MJl%+Aձ6PvIZ`[0U>+=!KzCݷ3a)ym:NI#caE%qVzADN@2~6W̘R iݖH5Qj17ַ\ 3gȲNtxtmӹN~\-6yLsA_ndJaлޙs9 yȲa&b|iS)ĠƌidnAOԮς=b!4)r{ޱяLRrbS*Q_ 1Ͷ@Q>Pfz;%aTǗ+fL04yq.fV|tsL00UI"`Z#~KM([tiGVK!픷=(}?thLeTt*ɲTGo@hL,C{P/xD ʘr5MDT3@eqAz :?Iˎ۷+|m8#X$MfkДΦIĢ5-1s0lFd uBGWV,U{Ni&WFM^Mz:YH2d%3X5Tr;adҟzK];Z0{$ièLݑ2:[}@!AB3/NTKVWLK#T{uefUAi19Oa$D}1jmO]&-$><[Ldl`;SCL=n CaeBKc6Wr*iǸ3=V|(bi+dpheZ2\@LyV1سB( g8k }ưfY')wKcT@{l [sE{1H/89@f?vIŤ_;`r'X/;z|ʹ D'u4.ǦTs¼K̀")أh