SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info *t tl ]/ PropResPI:threads=4elapsed=13.730cpu=28.184gc=1.0247zXZִF! ~]ŗXiɟ7KIxjbk- ELʎHDJ*.mz2䟥Ք_JY`5pPLbe{Vϵ LSrh!t$xZN>#A Bd.Bq\耰7#Z5 5Z}/:H8 =" D5K*+âjֲQsUɐTWz[ř%D'ȅgYZ7zXZִF! q]ŗXiɟ˕A|tYnUzݪ7PE |JT2}c{# /͐UZ(!6EFF{T^JM2&<[FY/mMo1<%#KRUiZcmM;Q M>QʚY}|#RtK hu4yB06h2OewD BiWP2ֽ b9u%Xd=DoEREJc\6C2R59.$52ttz]V]* t=ڇ#[XEEgha&U:Z.Ⱥ ftؑy:$70HH3R,V1 4+T5lM2 يJ3ǵdbyhUsjmA 8,iXuT8;=sߚƹ-8Wu |*x񔠦}@0[z]jxŹ{ +=E5N?`ȓ pfm4֐p ]4MҎ1٩.eAOrsG4 i Rs )}`sbGQ5Om~a1-XF֒ʐ ً^iԶp߱:1)2eDLWuXb#([_-?AP4S{$ 'pr@҅djրEx3.jn%<6'(g\Q5Ƶb3-ȅd sU'FTo$'N.(k3jقDyhc]h@V@{IjGEsm?3هˍsYj"U*~,6*iXXgGuxv3]`$C͋b4FZ]wph<D !>#f"}r:-Vve}Pr i5܍kPA7e4Q;N$ъ U'mFa`ksO_P]ɦ; ʹ$Az(FiҮY6儛E wqOuhqw}si17d˵#Y2p?YY;l}g޺}΁-o"Kp~q7Î>C/Q– Ek4FEv. ǁcEB/8 n=ŘjQS#4 l"w NI"ת.@G>ap#'C<"Z;mKE gMxPx(-v݉bL׭R6NswCRh/y9 nQ!UA4ז'!9sY0H?"MT蕀WT[3ygYZa9f2380fdb25425b9b5afd9ed70cda2e866e62e8c3d726d89c950dda47a94cd6c59e05975f526e9c 4182a48763908451de8961309829ff336f2a9af6   PropResPI  0 Q% lPropResPIPropResPI.Propositional_Resolutiondocument.tex7zXZִF! a0]A-MՋhvG"uIBm5LDj1F>[|$P!g֕Y P$kr >} 6!a"Sxګu^ 0+=e*}JնW9C}t5Mјܨv5CP\b]I|8%eZƾɄUeJ𥫸gj̸֧NrN/w iyPUh*3]|!$Et ]S,B1kRh]_ GW%D<=j& \*fo`cncO @2`!TEgOm4͝Eurl*Oپv dNJg'T؜0ׅ 8M1sYTw)O&8#yJ!l򥖜Kzbp 4$ʱ^sJuQʰ_kR5CиC|[FSny+& ff9F#@ :ߺ~A?FY\)DY#p  7.#UP]F`Omt(Fׂ36kh7Ӂ2؇%lq̼%S+d9=韚bkV{"V`)O{`|C-8q"L^{ɳPplr3(MTVh9 lZ$o8AN]4/jl34Re uݭŽ߆@MC=$@zPBvծ>oa* KeJu ߏ"12LJ'MR85FmJO f־"r* 4 A% PropResPIPropResPI.Prime_Implicatesdocument.tex7zXZִF! V4]A-MՋhvG"uIBm5L' D\L.[Iي? @lY|q-J$Rϯ3n g>Y !tP G!_H;JrkJ(O) hٖrLR"YeUam:D?CL7Sáz;FvcFQem~dcuܓRLgW`on1țb/v\ ),\  4#_Q&8pT~5A?2DQ*$@Ohſ+Xe/0:fG@ICwއ.]) *QYWш`8e񝮭NUkysh=  ZֽfpQ~`NH xT1>g}R\;k,_5Q%ѓ!4Y j|Dnω8Db ̓6bKʈslPY$Ey):!ZwETL^&2A Iwu.~Z!+I?d^9\.63(tqޠ_ZãnK{RE5QT xStpբV8G>cFku[^PG`6q&V;\e3&_e! )'57k˱߬/zKy ҥ'\g`JplEV\|:\Ta!~uk o" j]XU ?E4NFJ3h?Y"n u`j.V}YZ)om[B FsnFQA0*Xd{rw|uY\h`c"U7F_O)9kA!z0D# =Q%PropResPIPropResPI.Propositional_Resolutiondocument.tex4A% PropResPIPropResPI.Prime_Implicatesdocument.texq<$\R"}$nvRiqD&W_#Vz͞۞WK(w]A>,8eH\P 5)8lbWaTw#lßV[Q7uʏ` GRBQgVVeꎞ@%=/ ncډa$:qE_$ABCrK-j ^^K:\?,25C̼R+ͪZSzl-0˿Hq~ ,kt^wGjPw<3+ $@T`uMjTN0[n}lKfhZ[DTqfLHF6ޑ LJ:qZ&[D_,+i/cIEf_'tlLsDEtG+X"=.oqePoCm*Ɖc=?<9UO֑9o4,G>bϤwdj5Avq]m}au,$O.ROҊ4vc!ptHHB ju~hHYzu$D; 3н^BϣW/4b"Fq**7 M i5GOT%K6mnpHb=WJƇj:5DPmSOh=$ëW+hL}{2.3ѥ؝Juck >cB8V<=PYB$Y ,33xˎߵ _ ͓M߅{e543/"3oCoՆE&CZjv/)fK6U4-X (Dͻ$}$> ꊭ7g; R=Pp])w kRU:sMCsgNJz:#֫/ [Z,&~ aj7"o*$_D86wlҸ(- ;2u~$Dn7dLDJ,|+PYQ% I/W>j3Io`8:Kv̦ץBQL}fWK9XG.ke`j2biUB /OS'О4&KЎw֏!#ǼpƳ5ďHw[y&sݮg^Hk[?.y|3 Y<|1'P1ZDzp&v־m!V1v( IxIk!e7">n׽Ț*̒h^E(F q[3SObL)Ǜ ]m.Q$ʳ:Ni%G2iZ3z$Ł._:>e"|wM ˅ݓFWjαs@OȞ;G3 (cQߩRp.Z\JDbL9 +׃Iɲ[*4Xꮁ6&H+Z^/@$ rYf%^nK.{u~JE'Sˉ42mE$z3,g1h9]_fԧRžH2TR/;v :Xbȯ2gc*S%Pb Uq!&7j{ [wcFösiz>ra͏&EA*Y.$Bg&PWccɳ2/,оI48ttK_}v/}DuXx+p{G&' )p f />zwpg%LJ= Nf,tfbVᄖ4全e2;[5)lFy)e%{<#J I$Ips/GOГkra Z>,:*X\}oRcGO|: V|6eZcą5~e~"?H,XO_H)R-QxiBƵ0ؒr`Ǥ>b']֑MɄr^C$#5Rmhh]z]7>5R=ՀRdJ1\ˆ"c bж릛8n5.pY|p`ifNboK^'+VIT6\_p#XčT_1^=Ti,݉/SDՖ7 bXdl:oWOTUWͱ z|x,D/{ O @s[ ֹwddSI[6=s ou@ǚyFv(oOnvnyul0RnsS+ݱ1;7fP 6ٳ=#iZ%)"W.C=CD1(>ng;^fQ3p\ˌ=K4r٘^ćΪbXsI[rI L/+Խ0$\ie@)1]gcGDIӞXB\lF?&U,wqutRn+lI"\=^|TRPCǽѠ/M }E/> Q5>iԮ*fg &'ŨQ/w;:`9b{OF1lD7peUUkL͡{'|Gh.1?Hxn9%7 La"ҤLxo\Mmj$b^ aNM%] 5L񵄐Wx&; BP"0MDp Ks0=Ercs;LO01ۙNO~߫F ᾷputuE薾?*PKomNo Z{ Vy=l>gHި+GC[+$=- up"UЛ%9`^{T'R1nooz(cQ2RxyGһVnj0«̸78M<د}}޷8y'^4duj6{`+LBLwz_e122;\Q쯝j) zZpF:Kd.,2 `<=fqm1'c,yuYhUAu>|it.vtnV Y2Gctvt h(qf28XG# vN:4 5ϽӓzXÖk"IGXO۴Z9oc*VOmfAYA=WIe`alht37;5j!3r&jh\=wAv4l$ʚ WkdC#F%Ϣf)5By/Ibl8{=FgvK)Sbũ*!fM O Dɿ%C&/'7pzCşԖ~Wu&@ˡ%5P`>2DasC9<&׌h,"a"O:28Z'/p%xD7{6cwjLOhפ:aP:jxڸ<'wxKi~Ašk+<:+TY-;I[e3dc>s.'1e]Ήy8eJ6/K#_<^B|W?R)bΈ@qiX3+*1`y?D\;%YF) 0v#T|`2$o9tS9ݠq'3հtVJZ6&q=K~` b KPvv%hc{\8c:TVrrʀƳ*Xc|ˎ?Ў*MQlcsPXXeO%x:(Ά͓cXnZףM`$%b9Vzqp[] G2kQ?A9?cfXo{#y=^~7Xvfd7ҫr}1J UӲi_geI/Q̮<dޡ} &v U%d (YTTkyZxcM%ZMZ8_9[4٨VƷp+N=óSl> 8^;ݵJ2PTmapÈK|O1G?D"y"ݭXljN1Ʒm?]=hPFKL2?~{vn9堲"!-{RJXYG% n;5EP]xEjd vTr=@]vOhpEt绘ޥba?YcMҮ?堨ra߮v(9?х0u~A{C&D2AE#WԴlqؑqTYV@@Z9iWmsm+F aOW-)Gu[2tw1ajE;,JV"zY',;vd c<Q,g1pːdDQWIՃtr=Gk\L(Rf3uS6\FMciY ,KDږ~N/K1F 1|x-F$XR`/]UNE "̯&0~>esh$B/u@$J$2;H3'k;%ո=A3@8_ylȢdiMbT+f#?SC!Vt6dbd.X%)E+umk1ɵk' )?ԊoW9|Z%,1rԫ2( )BYd,j:*j ^V4C }{C:.' h䫼Mi[2T >A|HuԙT Y="nk&!Y8`%Lpd_fFJp@ jm78ݬ*'ˢLGy>0j(HՑHPZeGɳ[B]\t~maDb~J-9zul>ֶܛۜw6}w,!}1խCh.9mMw/gFE`,d k˳9Cw{!/&jq,4S4IeiC^{ƢsWr q!?drDiJGBFSw4]WIٴ`nDw V&H"HSh!Ŷ[`EmY|s .lIܺst 8ןcAV|EJXX-EJ}"FMfk e"f%Iac.#}4կ;#= 2$\l&h7M6NDm̭JaS.ٽϢ~=Ӈ"!Eޖ!EEc 9@ ,q)\@jV' |5B Vi-ͼʹI®Aǭ[Bc#y$DCd2Z7XtE#(=WE ֋X&=[Ր^@p ~W:]5TBzgf[c*$N(,7 5z} }єŌ?cl˳*ꅛp1"֬VUx}oG]-Չn:Tn{-.S@vpŞk xCq~Ӊd/ذtO{5[Fb xr s*SPrxDnxЎpoiV镳pZEߵ&m֏|J=Z5Č]M^9WH 66ѺkGv6sg@! Иk mabt`KO ؍5tBrnK˟:GLO.}Z*3 'P6ԫ-jRۓYBNs#;T\"iy"/btшECQ-85ݼʼn>~WW ]~42idD -t (d4 :'4L^{PdMo#J/ tU9! 3,7Ωh X.ch4콌 'Nru/=l \{G~A8Ev<a亍;2xA|Ċd i:i@`/qDK,"Z(`4'gU`Nӎ`H՝Y6,ien@S~[Q*}TsA͟ZUn!吣C6י`Dґ5$$HDpѭ OK6$[J4j ZzUBIdutƒ/|jsջko ƔBfj8>ش-ܳǢ_Rִԭ`|?iDw g/?Ѯ/|sa?{IİF lExonzq YMCEAdhr0((wg[~$ٷjKnL= i)gN# , $w }2TC'͊n&/RnN[=X 1l=848U 6vi8?H?)k; (fN-,&;Hg kF[z^WK#hШ~ WK< !U'A~+: 6s%gljEy1 -àGŃMʘٙB|%'50+9 %t\v|$cl!IEy}u-(O˾n-XuJeR43se&<KY> #00\jL=Xhݺ,3&]0W[1Oﰵz(QA z ,2ZܳߒY_+1404>*ܶ U1X΁>A?,f+Rڤ/0ll&=tX+qL7[` ߘap"iy&3`;ޒiX-9(4&}*"V$db{+Ԫor{ ȫkXÛi\36:%Ł|Tv][dMڢ]oGl{Ϩw!'Ba͖ex#`v3IĈ!pbR1SMPPz.w0RH~=q7B9 Iu@B`i5&?L̈́rIfrv1;ߒk~zE5B6 X%߅vu^N`8|4XEkn8 6=K_ lJeoKc2.VcEҩf~4A OysFAەΛfoK$Ë4{ -v'졗UtBvu 3i8pqgϊ*fg"` T"E4QYxL`U~Lr/Cvs0A68A%PL[_WXn={AUG~JCt6`Q,=*u,9EcBRT"UrRMg-v=Y)"# Ž]0}m>?2`fkȠ^ HJN]`oJ܈9+8(q k8]@)&$B(%Q"~65`AZ(TJ2mwK?rlK:$֜ŷ̯}/"_(r.? e`/_ 1 wWt̻Hn yn~UUM\foAI})S 9=N}s8[p"C8F9T(5ٚL`r_V(,ρ(WvKKvށՀJ6>3lP4 T$}2 @'zn7ZrD#so:UN* dR9vq! svl|ƿB)hd^肂\EH,֤xҌ9q+!Vh\µ 6ZW7s:Lah]yکX# O ]=xO>Q&W_H4hwb- c-/l%Lj/.Rߴ|V-Z~JnEo{8tLV1bXs* P VU\ #PI !}ם13'Cf<~~^oyޱvfTqE%e[G#p >S ATD-WO~Mh JZa/`"Xu5:3:;]MryRV1UL M\L0$dgx@ ?*vKmY˙AȾas]#NᾞuB6*`I$廋ԭg) Ƒ[Ikpqpm Mse# .IjM{ W>3`z"^̯N[x6c;Ejj]ş^:Ȕ@ߠ4!;6m ,{Zl}y}GH} _R!gmep CB3ZnQ6 VS نꊆ.QKJ:hyv70ww '1DsmzY'iխ vܱgYZ D󣭁蛋 ~xH.Ɨ -x{`g8 t}7-bSVʑR)M`ߺ`zH\09nej"jZ5^l3,Q O0ѥ )2\bћNnWKQ:>H&5߭trٰͺ@nݳw+<$yvoyĞ=r_ynrQ`݂@1Jj"I]XrV Ct\#˻wl$KvKBRi^W[}ō|{m=D̖lC`1= {Lf*:pƽ"3Q+&7Sqȏ wW1E rwg^k} A3D39T hQH> 0IO41Y#NLjx)ox3<;t?K;N ϸx)ltT#\Wegi VIrqW哃Ayol=OrzZq W:?s5a#GKYJTC.,ƒO:Jک:޻ڌoNmcH3Kh>w<ٱYNK#ь+M!ߝ-u )#KQYKM&A:^uT(APN`BgLS@ïEVk:C')rͩW0;guK6H+ZGb x*V芗g5N<ˏASmz}ỳjbiKRT!tE1JYxguӊ!7Yt#t۳tj8B7v!D @iadr#g>ZE@i~F-4f 5x8iS 7{Ӿ^o|e\) &Dz}Q8 .c}HY(ת_/}'~eT45E%"EI&TۭA 4o56~Un_Zx_L`p97zzX :Kl-xQt[qʞm;ȰHDE/aXau1`b!?u4Aw?E </L !ёPA>bta#)"ۘfWI0L4sv{3 n5D̚zҦX,4riϼoI.#g9 t"$()ihLiv ~u]Qj3,q =|C+ ,L|,Ua@TCBC+REOD+hQ\GKZ/gͨ<׾VP2=휻g : @:"8~6Ό3}4 r~;{:Ɵ,ˍ/È1΅# -a\ucɜir7^Q/Nʥ=Zc@,TfӍޔ5PShЌcy&X_ 2*Sx|=7F}Hc +aF˴㛌Pr4+.E;6њ %$˻8%J2|/Bg.=9Re/S$+SݎwXmv>W@W$Y)4bd_a=`49ži XҢb2rNBp9sv,Mڪ+U8^e\V*rwynJw "7@GN4vwQY "r{>%2i*I>Gg6g4Ṇ䀴')_S %I"XT(-DˀFĒ6!vMX%+zn"Md>tj⭏{!(B~Yh w P N9_8\Y̲kЮ>-P}գz} .B~| ٿ[nCi72[CX>huWU,boRiVy^@ЍNsv梥= loez=9+UV pdxD/cwEPeАru:ҭM؃{PZNtoVcg(3a"Paft\Y8\G:·CvERT4#ISzvXj>u`8eemO8utaQ!(\= GkE6nчl !_qC!G& :CenfGPȊsS60'cd12&7mVfnz'f\9觺?[g"E=`{݌kby&&Z`SCDl|̗oi:UdOC|bI{ "z)Ijrü8TAf]3俥O!dCŴ@1> ύDM&r+呷eo/@}üs`ˤx5kY`jCzmIQLJG1{ddxAxXlK;W˷8if8xol<'x8-kl9[*K<"$4ū91*] HBqֆ Hq^)[O4.\ rX;p%Ő LOzpz~s&ECrᜓϻ8oEtz1x+`=Qw57V:hg.~ʱuogw 4.0U We$l߹jw TM8T5겢MX/Δu:\7?`iYr_%<*Iqyq{ b0b ]8e'(z5Kk:g6-ϛ,RH{'U-o p7Y }V'8AH0Yx 5;L vNkg$6nE竡85MY̞SO?$aa]#5OSXXRϫq,+㜌x9î-(l_"oqƸxE+e ՟خ(mi7oK&F3RJe M_NҦoYmȎ?Ƙ(qQg$ Ȅw ?ϒb6!r`QO0Or? j1̄[C+VT!8 ņpNq DqZ ?JЏ]3_Z91w z+xcj"_g-;imzs2;h~y'Wi@;'ȝsʈkѯ3ʽqPB1+ :O[!NaQK}Ω Hn]%ĭH,cȱK fX:!Ik[:gf)Ną2%wG=ޠIW&߄6F v>ZU,UH؛/xB(Γo7' dVdٔ0g5mdL¢xN"O(GPׂ~eFf 3f2ģpL*JC{u7 )(0xnyVa"p 9wϜzV`MbĮJ\D'EpǓ=S0vVz,N_$E\OL,v=&r?!;O.2|RlRDK.Oyt5yYJ:(溺(p-<"1YR`hX ,ܰfH U Fh3FA-HәZ*xTv(c*o0P )#f&oGN̐:ܵI֮/ȲȾ5 b vg?x.% ^D8@w$Jopx1i"@Mlw'N:xQ`+Q9w$skB;ߴ$>Pc+܉[~/ue^y_ڹ.P_np>|)~hK7 6 `ߖoޥLHzKVf/~-^cq0TAe),/˓+KC5hގe r0@tp N_W\)ZB&Ɣ s_ajå>Zc d"2۠$2J++Dx񫙽lR d!f]G=G(XzJ.)[I,u%~A4` #V ,o3fO򐱷Ap֦.amߡc[Ϙ(Cxh{U{@5:hTޡN\10mj@Nj G^)x#3ІEDKbvIyQaprCq4=.f+fbʱgT\ y\@B~Zi7B !K_RHǹ߂M`Scm)kŦ.kdޒT|/!G >TE h>Lc]ǧ ȐQD{˕y! (:Ŝ'Z(3i#`CʟKt\&@ Stwπ<1WMSC\nt9[/ɠ{XΉtZ29>O^*ыJ Nݼ[C&A:Mm!8s gIvJЖP?Wxh46یKe7z&E"f^MEklj bx 5Mt;43,c}4X@q|4I`r5U%L}OiZ=o_#%N!22 ؁()8[( ,-:̉i cOuK LػV)s~c6rAf,.a}nmÝMzS?ҼLUXW16o3h1Xm[ f%cժЀڽNQQ:c\k֔ =^&ށHuSOM n'_2/F`=1ة"21U 0U]z@v FkT6X<clCѠ,d8BK!꠱Srt덨a2#w1ܢk 4w2 jiOy녨d5o3ą~XAS4R7$晰H"eKWt։'IKF$@N/;\Apәz7ʽϵ3݅Kٶ^nVlYTm i3rXEY} 2&F E|d{1*<,>h C™(,8ӑ:7S{okHeX | ss\V,}پDѷ\E5 L&q&JYxal[{zU/ZmHr"HBd|K|shd0sp^d} {y<3,ل4a+U𒥆 j0dY4\##-QIfT^ 4uDY'O75ZٸM5X4%Tudqu-i.p~Rn΃KQ8`i%1XSԿ72`$3G1Y5-kK[b0C\B\$d跌|GfJJLS׻iV¨ZXq.[>mIr\!/ B)zՄ^_JVEx!kV/Ϲ<d#`j\6[H0!N8'e}duNdd*UC)$Ww~v_4Â𠌚玞G=g#VnKy[hԈ~ڍOU,%JR-KDUiinD ]ƶ 5uܫAE/FMʰYZl`c7M;2\q`''*)﯊K۵h7S"$^G\t0)%Uh?r \;S^[=pjg*s,:"h9(jpLd *@] ,)uS!@NyVs]E*[ ~V_@]+^DSc#Jznڌ1hmExϐӖ2ǘ}#+`VKjL5$/dH#S£2%LJQbFxEʱY ˫|ݤm?s*{n+&oǒ\߀,, cBILDde Np ^[mؕ"a$Yp𨽃u5kIXAV\[ΚYZvyX^?7B/j\vb=w6>!V ϑ];0 PЍM[tZGξ:,[Pܹݭ@Ұn]2U{=V:9RK\%$ނtRP@N2QpW!7+W}rb ,2R/= +6Q }d91UσNRJ\Pb 378Q`5X>> 0=c@ 3a{|,!F”#kNQ{䃑K鐣ԆI{>n*r$&, s5l4|8T.O5:`;?g&95?=i*džS/5> S@ӎ @/Y_!$D[`o*VUHDZMlUh1%ɆNIE/wH eVI8-`~k7_!֯NUEAc++D$W͋c/ac 4*j[+tmMQ V:/SoOA2տ[y D][Q}RYfJ^ùye $Qe6Aq7fW]3#k$uޱ[%:bfZdD7{58$SŒoHQQƮّR%2^uw0tM";RJWOo5LmWk[c eOR{ΛH+`ˢ{ӹ #&(aYť@ܾ#z`o#=h@jzm8"1y_ڢDRS.%үԏiMmlM-?"N (+}$Qײ?arQPL<ټdPY]M8 aXU *ў`H_9:8k |AR>IAW!Vi@|oMrX%͕Š !L9Vp+z13ŰS܍|Jj`2w/AXYE7'pʨٟ+eQShe3( VY_:I",AD9a._ntc37'ZeW#ײ(og %Hf;[Ϫg\,_h 1.BX,_yY*G ]uoũ&5=G4~ lјS6R~Qo$3(,6J+N6>Ddo?' Oc9ɱǮ W,瘪O>Pߠj>i ys7G9'c;sLŦUd:9}gg;`\5R[EyĻFP<(,ˀRuZ}~BQTi$n8OYӍfoi+ 2~-@_'x"%59fQyKGO ? |+&'8 [TUo-3hknI gyȼuӎFW3rR^gM| vЬ 4aWw^Ycҭ ʩ|]owqEQ}3.ao\dpzI1*:cwmN s]lM獛5E>#2 ٸ_#qӆI=~^l8`]7qY/QMtJ:=lRy#%|!8xsR эm2I\݊)"{⿮B&9(`EܣŁY%i4Q0uBP{B)j1pOh| )H|@x (?SwU/BƉ'ʻyQp*ninw!E͏#ҋo1=Kb̮]Q;f)\՞OWr=Q*:3^;N!^cgϾRai?8TTD U>ҁ9>p4%zdkzKi_eTVgB;O&.~`*gpm?d|݋-K*ʭ*27H.XdPM"-Ptߴ!>lPx^c)OAUxZ=W'Q1Eг{< +&k$?=*?al!0-k O2hg1=V=V9V ByɛVH12k@O=#)h>;]w-(ӂdxAI:-[^X 2w9_KB#4r$@1zЫ֩.2P;Sҩ/ҏk0)Ŕ>?6Ա6dqu&/oW] G)@__M)M{zx(,/m5Q.p88qРV>s"f.!ה'BiV$-rBl q)paeWhy\iP`n[:^f?C4) ʙTz|??>vQgz-4q ]d}LM;*ee7Q<7HZ"Zj{ xW'.t=9J&6W\ PjGٽT I@Z3bcm|؞a}Bx/-Tg %7 |vBvr]qi^Kx<"w ̋4$-|kM\O|V2}} wef?\Oa"iS5wĨoإOge:~9Xf[+| Rrgykr7WC=$һO9 +ʫg6"umMq I[Rٞ=^I%u;牲.[˱EQ"7L2m@1 ޽DEW~Ot)id`}BJ(!0P# {gaw$ .ɲrj c>3ww?qhy5c]OIRg.U3fݠqm ?l O}!?eb1Įa 3GÎkB`Tq"MQR D\uKiPNs(ý(hcMI[,nySjLK%D CƱ￘Z) *dh.EKRS|_Ztn{7oPtPEko,Lx ՙ,rR"@ :zw$hP/u`vrFIM#5e7,= TrjH>&ݩ)iQEf&ޅwR (]tP;v3E c{ *7or nV7<`( ʒ*԰1H*]O&l舿F񗛰/O۸@TFq|EY[,arNYԄ }ՍH L<ǛzYd^B4S(X9VEӤ&F" /?Gw1zng. 5˰s?0EݝQPSY"^J$FO"^;ie/?'-;RM+̎րVT(ը

2x 5Dxb2XOyPG1˳[r Ҩ#N;i~!v=iTTF7XurrF|d^Ի[9QƱBρB { B56;i$D[Yt"ȋI(ʋǛskp ,]6sԦ8'IK @ߍ~2??&=Y'HbweIݘ(h}%'yЬo!>!st4w_.nKI1 Y)1pn<kI|v`vQeJ}fWB[!?SkfpFC=5`Slѥ[>x-':x zhjHIr'x^cF=ګQ&ز?΃;Z`7<[BoDe i쐚_rX%:"JASLt&v:]N=;{ UdXt1W,H\ \-\@t73ʛPyvYDU\UA]DξHlG~e;^YP!&BKq>˭>VX'+L;݈ ´8α))~'Gn\.} v6#8n NLExФ:Wܘ,2li"Z SߒKz4IBҫ|E}e/H_l*eQٿLJCVǞD@`< )]\۾^f.\yfx(k|K@>=ZiJaʲ;AQ>-S{wC>2 %t&b$me6+È=6`<*$vӉ̶|1bvg]4\9FqO]b>Gx%0SʇP.xo3Z`0Ħs}zKzd).sY6`킣J'Ch3"2e4+&;lto8u R5 U͛1mC*%2YFPtME)ܡҹBF!H[2CopK#<7Z?ć%>-䰾MB^M*\WIFs.#eBhg]y0me\ۺ#@&hyCG - ɐ\{XqFavlo)@=AwvD o9-q:_(sQ\v5OLzm;I" t,j:?5}L여Wm~O}(wlmx Y9 :P!IJ[ypʱ,_'aKA#mi"xIϖ1>M&-*ΟXS`4ߵm_=#OMa[jOz4 W"BO W[N|ta! -qlf崛U|$O݅VΆ >0{Nyi[ 8jp_WB(4siQ6ELON =:Ӛ֜hS1 PuCR!0}=z 4V~B";#~_TN~HoVft&|G^(FV{MˮV8&ة_O~E'-,)٨ Uf*i)#/@.Hi.Fov<6\B%#ٛ1)@A9#YM4։lio\=+ybx{%$ l%"=|/=[0Vay?<.F7K$^X#؍VDbg:~{,6QXQE*08(zjC[hX%~Nl'>bת!&gVZ2~Lԅ?1 ۤGGޭ]5I>!"֐;þ\~_S&n.ѵ#y2]vcdVj4S뭒Zi^G' OG`,cQ<&jfcKqV4{OT4TcIwWG}nGgvuA ߮[Qzkd{`]`G4G)Nܽ≢iO 橵v(%G8fp3mC<.{#ZK$ALrǷA/_Y01CpmrmG~D8/;][ax)Sx@8I&CP`-FsJĞ_>cݓ|͎oHe0}`!dnKMB(gYGgP⨨4=f zh t.C:c*rk^3}ݛRSn?h)z2HcyXC V[5nr̪-cb) ʧi/B0 {yKЅ9x5bH $+aNƍ yGhgH.Oee7j0Y R` n/v^4'n@hȥud[g^5;Ra CR^: oѝwE+>c?ʒՖ 4X>NSË9h&r 3xinʖ}M@H OOyHN}|RȒ%LgOFf*6K9D(kaO(&Pt~lFz)Wx`:\^T5N Krؙhct@ID#VN?V:?LXWb-p:V fX3PY x2bBa8[VKj!q7n6 /]H#Ck, %o`Rj"o #ȍv8-Pn\r/&ܥP[oz.ocnڻَ3Gr|gF. rJ_Pppn"ML˳lV"׺]wxc_kP?|\aҟS/jt?hHS} >/DN41u4?P7꥽&Z yh$ʕ>M#TF^knko^A*ղ!/#߹ToJ ]i S2syB} }ѻC3P'A|by%幘5(q56%J4 n;aʬD?|LNUu{i j9ԃπ!HU(Ljnu.gr+JH՗uN{z -x^C۝ D{K >qM5=pJ#mav ܛOS;NJ8)nYpfS34%z ~uT 5]'7'$U9V&ݲӰw%aH~hokS#7"4 {}l}h,zc}%ՏîS}//B.ܓ>>"R@Ug o5J!&Nù ;k3<< vsMW;3_6WO %(JC鲜BH;>d\o] X?_4qKT-nړav:~=0  6P<:㬇ܡ;ؘl`qg@xwS+vRI\F聁-7p˜Sml? :Hl mՁHS=JEp˨\}AFGZڽkZFn>eDKH@O'Rut*oo3> ݂ MĘs1mV;~z ` ՛LY,2Uh?NתXq+bmqfCh?ZER KD*jtwTsrTLSw(gdfK$.Tug|tA7OcWu]T2sR {k3^:=ѨrUc[0D _uK5hˆWˣAQrǛ WK:`tj((֥6aE1&t RtN5v^EVG@9"XgKqXxJ Hg2r: )phý[%_|Xˑqi5>a~r vfXm(Vuʊ썭wKV\9gz}6J*~.௛BsKw-\ ,1%$@߆ly^5KQDYNbP\]r[h΂Q;+QDr=q9 Kb)oB 3[\U|b?v@poMz:tKX#T,rgW(,p(&&]nu ]C~쯛8;maunF!Hy4[RO K}>N85Zyn7^J\!]!]s 390iu; -\i/1/8ۍƴzp| x6+rŝSHzqo4V\3T-bDUn.ɶ '‰3#(p|ip&fJYݛ("qXbh0ӯ011̡7c2LBdhLSٽg_LAjX@32tÎkf>~okvf&RIKZNa ՟D,f0ɳfp\r$;#<6Xr[jG[# ́ 31(..mln")aZP 7sMN>l -Y{a˜I0;ec,aߪ=(fkBLW5;&~⃕tQ֥fxsOe_N>kÄrRQ{,zu pgF8ϏF;Ghs q7*1;jLb)>DDkhVQ {xQ6)\+ݛ}^7Ycl)o ( a# #K:00Lԋd A>Z/T pvGuu#dxv?lXįyASI ncm) rCQ:4ʩ&Iu?w3h㌤i(BY$:haKZmoVNqK999C:[}dX#'ȖlMM9JM0LIRinMH0U%&=y&j : X>Sj~ .Xd&MOG=7|0ak?kΗ_QRQ⃄CPnt\գUԜ^s*>K@ȨĮl1:ң;|=)3yϭ"HP4cIg{v굳(' JYRt$c^X,!\U(f }'FGiiJa/vÔ" }UF܉ \l4k D))ƠcaW1FqWZqQz)_Ψ>X)P7WF-,C( C UYf7@*08:s h!Ji~~+ ߺ;&[8m֝oh$T\rau-Atk].JH)U2%jjΎj:'4^l'UeIZ"#$׸h8ɠѿ7a2=aIJ sBM{ʄ-?YKc(x\"_D9:ml9"8& e'{tִwK,Ud-@/[n=:aW"t# OI>ϛuMaXgOێc=gWeaqabaL1L9 Uc0&W̅)F~[Eٌ֣KqV)u18IFhD@sB!P,.Nٞ;҆lm%=JVWR 3&cpNd?RSв~Ws>jEJ @#V7X\?aL[C= wsgr7Qcs{,uIhpTy2g!ۜ(W縿s| lT5Ϗ`ky {Ⱥ69Xl۱VA^'k+nO>3${_k^E]Bp." n3-8[/`BW<:b[m<gv`UՐty F979;ӆ_flegiZ]۵:=3븖b/yYhT  ?W"6 FVS-=a%1T|c '/:L?D)V_I2֎O a!wf iJcN=kas>E_RF(rgﶱG 2#R4mٺEuƟ8N,G̭oIVс<)% &E30*TOGEH%z-P3׋[;S`j)Q,1RK%ֺv^h meqwx>cٳU1k|{h$C//(Z_^'apYz ^Drlnn׿2CgN4G;IE^#8"idG:Qp@ SGwi ֵ"8*^)9?Xrn TEZ鲺 jX;apA յv;2R䰸vDShThOg|;2Ŀ(z(wБFW E{ XA\ݽ\jW-O+Lڸ6E2G;zbkTSH8{5w!9cS2Fh~.4p9 9C(7ꔠEY,(4ԗ6mJ݈Xeh,M$lw%[s`G#e!81Δ?钻Vȑk<h,vgp7:, 4䛉H/ն-/㜰޾Qg|_oiJ3'^?ۣw_٬U)ZMJ:X4ěex4$nr`4Tq}5RF8dyofL?}O)(~ۻJcw \TXvkg.+{Va{+q Hkg*"z<0 Gfs`9^iP6?_ex>lx##TeƜT#{5pc*@.Zh%{sjA"5} SS= EEö@*ٓDeM^ž3t/\fZҲVDw]'Py4j X3g}F ѩ0cvή" ^!lD'dl‰k `y];A/PXg6ԓ M4NtIFy$݉N i X,޼(N sMj!&q?{ Ps +~<2Z߹x$6w'k !Lmcz>ogf@ :E]/tR#k޶5s~_<ſ)h=١/p hnĉE ײQ-f/͜BwyiyREAnp=`:KZomk9Ɏ!T? SP2䉎,G.TJD)%4?P [:WF_]lAzVjduC=ڍss(39 NI[XƑU1BN{XŇ y3%\Bݚ=+|t(BWuCP;o⇶m>O5o^-gZ^>v͡=@"=546" `q'8#lOxQ J=.޼JJ hC wtaoW~]ѿ/lhoiW39"wē$y-gLpLsǧ.l@S e}P*x)yXD-'X w5llY͆xN;A\$s4IE3ta}_[zj @j ZafvbvPK||pdNfӑJ Ѫ;tF@֣ 3q^iX%'l#_Y^&Bu6Vw?)BSeQ&3"'ָ7=Dy-bb]LMd ۾(;Zs׀&r g\'iNHu#m uPiaov̡'u[k S3 Ӑbl7VIpW,fO(z{u,` ')/gHamea {~#RYc[>uaI?,0a ;OESrxOC˶cRa#=t^ =eof T=XSP/<2o'Nn!ǩCwB lvu]y_ Wﳕ=_D $U.C 5:;b6ܢH(/Aٞptn{ʶ,9]Z FL(N_۞.R],x3Fw&6I|SsǮ&MGFVvZr3ո$ NNNپti r4ޏD/K ʬ~0!`YGv~TX) ѹa~vQsBn *1q% ^̞}HX J_4Nu>hM fjtQ8VqFj$Gց+*[dMZLIfv4w1jz1~{ta(> dA&u%G|+!9(Ët=UrDB§gMʸ|j7[8_M`V%̨ʄP=]47TvrSaIrt{+]ġCsT?\mn Vwp?!2_'/2>}УTmUKeX:J(^B:y|6ncwbD*9?Slb.cd0ݣb )y=DBriOg5:Y?bj&i1ZT|t)36(l$߼y3,~Ge94 z{)[*9#XtCZ:Œ.Bad{}XQT6FaI #ڔWs6njXBk2һ& Ýe?? byՖWWmyX1MHV55yd V3+xղfUY5F1A,*#sA D<5e39Dit65~,odCECV>EQ!i*ž+'I~l`&'ol<tE'_^VQQ] *vX[ڿ]HseR ;[ci:9[B n(j$1MЎh4`G3qnQ)fdڟqm8]|- 4*{-kpp Yݜ8-.ܥ?AeC -/XoHă^Cнe(QZP"v Ȍp<׻Al{S±joqcm2b}}e/`v%p^%8ێRuf &jVLҡ@Za8?14FNʳ$zMȑ݈loHQO+(LD!SnD_[zUs򖽍ߎɌ߿P LܧU7خZ|>6pA윾׊ <%* ?^n.39dMz.2ᭂ_mK7[A4*ѦvP;ț}VQYf 怲zbY:hho/MЃ?t62k-uفd.U3U?ɶ%PE`"Da^r]or]Ze#"yBs|R'$Rs6UխϮhX'8mqx>{e|mSih/| ݍhWe $ZA jZl^mnߴH0 W`} q }GS E2t!vY#GWF +>x|$L sq\7 PND kB2汔aM+g@u=Y V>4#s)*^0*| =֣8lYE>*Bf_ 1Ť"RBlPu Uġ_Ԉ[)f4Y@ qh9A:.ﶽ!Pw4 c{]%\LrL;-eU[R\DHX rNhgc4C& +?Mft;0kӍqhJH^wTROרVq`~ )7&M!+dlj\/[ctķ:H?Cx|˫9@IH'$} { >GHxC=(3qKM|$K͘<+:Kvغa̻>Jމm J;s ~lS ᐲtɍ_H|/gw5eY-}WK\{ cW#~]Jy_ Rfw8(7-r )䧤\UܞH*݆ܖJ1i9\>}/ nȌmk?%D O=bm*vz'_ߢ/R&~%kLL1S``^HnC_InYz=/g@aUщWF/!G%Ŀ`쪔׋9unK(Zs1L )m3o֞l8%&.Ε.u9OIg3slb[r~(bN4VF'+ʃE$T73[5xФyJ@(uIKi#dh- X‰0%H*4z_ GXL72o{[OZ( FOެ{pcaRU?,plxu\R;#.ylmkүnu\zi^{_1256w0;HA(s9̻Pq9ZkizT<2XTP'3Nj f䇰H klNlIgFjENY!jhÖ8PFpqۜ9\z܆DK > TO)l DUht@C6Qb Ly Ш6q=2iw)_*û`DRJ_˯ _ \L[tr `vry*!?EN8[ҽz,}Si% v#0'Օ0nNBɐIܥD@G]d͹xNDsi7s>QW1@Y B={2Ϟ"qnPfQ6RmGշM I OKu8ڨzrdG;fjI( )1F>]g[ ӝE0؟m,Ȣ}N;.4 h~!w2Th<_=qGH[T` !u ?McД|rT1Dv=Ld'iS~5]3{JHq7gtLpݏ( [bk 眎hMii1&5L( V3ٷ+ugz)C)" VQ> HalZ.r]X2OViHm/+o|HkHb"aLY8կs8ZgZ' A]+T]q: xOOucp$< nXӱPٷKJ̚Ɛ.u)"tmةTfJ29K<|C]qzMh(#脬_ [ &qS4扐0g!ɕг 'n5`)^0"|ϰe#L3lʸ͋4gW1X ͏~Dj`9`_L!kR;y}<2&=ۙ@=ܐ qD n4N 4jCC=q.@9N?~Eb rx56{ja2Yvbt"^2WRoI2HD85RbGAzx]*Ղ=j_ %g?s5KJ zk0$h*ې?&U3fr߄nh\vG8r<Z;~K-XnϜ ]]U>FM7D2c`*U;{r8s HBY/ "ЃXGȐ0E̵] Ƃ!USn q:̢)IDp'ʼrWOߌ ECJڪcI@8tߕڄvdh}n]?)_xFe^~-d8jD|*L:Fj<1OR5UEԤ;PZݟɁW۬uϜfaDfyV8g)ϔ̷]̮-p3LFwt4 Lc&5`6<4d{g& }DBk:BcxS/ѐ2mW0o:)GX#̧ &I[e9m+6԰17U2Q_L]\W%UXL!k J6:QdɃsc5Άdz)K|8kgb?rªqɑQy+oc10 0t10˟x8)/ao ׺qR2{``̢;n/ff'bIFqd& m3f;Кwۥf0.:U?l+fYqf+! D D}GrSYcu zFݹ[k665oh z+'Komy[x"^5k QG,W37>K;[,~ׯ2-#ܱͳ6V{\\GcCF3,}7ߖ|v=7+#::@Ֆ &jI_g`q@Yf'V+17[(y)`B޹ʝ Q8SJ Q( Äa¦4^rX16Ei 1(a ><+,hpgXY늟ٹLSNcLȿZ4*XW\g8aʆiSKI}idePf加Ξny|ߏjQCscv2jhC#=onqlL)e9໘S+4*cx*jL1 l_L/}dJ.놼GÅ@R-YNٹl{zO1D%! H/駑N!X9Slz|r@hyf>ҽOL {&-OYQL9b0Pk KQ _د,3=