SQLite format 3@ .  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   \lL ]/ PropResPI:threads=2elapsed=16.154cpu=26.288gc=1.128factor=1.637zXZִF! g]ŗXf1-/6vR[3 GoݹZr!WK{;ŅL}s F!=ڤJк_/6~#d'^OY!k~ N}}$\gh5期\[o56><p+wKGCJ&@YPv!,୰2XcA?S*چ!R(%a~~;CٿΟV %=hybeDVͶ{`|#eiL_w{ӒV!RDroM3xdv%b<5Eᥙ*W*s(RtPkVȆg;|&IFq(P QIT%^H̱gYZ7zXZִF! p]ŗXiɟ˕A|tYnUzݪ7PE |JT270W,=Qax@d];!3#\4MSzхy(#=eD90 [>5T됋|3Y3ҧ_0vKUCOmfڭgpue%Ĕk>E(e[Lִ#\u'V 3}xgݚ1Xx1(Sa(hJmn>[j4cQdQGoH]$Px3 K ~THR'R`!j>z[mwWÓOZMÞlqΎT%Fߡ6}zMTe2EoUxy (]sX2/~Q^F@(J02B0S+B{+F/d71S=DgDбE~ѩ}Ґ!*P4 ŻVMA\89ŴhI&rBg#B綖ɃPNGѬK26GNiE8vZlSc,5đY8@khcn*UӶNm!&zOB_CCz`!mja=u&o[|$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͝Euro50:`0_0A'?hV-0 H\-Qieϧ)l WEOq􇯁G]xzwHJT@LDr¥g_#_0d].ҵN r4Iq!X` R9Ƚ C4" m*kS3F0az婋Eeg4Va )GSChJ9HUb(s_a!6| JL1LpIprK?Ѭ'7WW^E0Q]/ݍ@gw>. KE8[ -&`z;ý~9J^:vYmN:ԌvC*;ʈjT+wpIv',f0!ALX [NYvǵ ,؂ ~L׈ٔ.,W[Q3*.*hصKuxl5!kns:vN-ɽ<]jlgE vK6Ts%}CYUڸO;+'b@Yϓ~k.`], _A% \PropResPIPropResPI.Prime_Implicatesdocument.tex7zXZִF! _4]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&8pZV3gzW8K~;&{Ƀd_WJkYkuw>v\^#էubas6mt${cw(czB~~!,b80vYmf.] PPC4X͠m"( #?ÿߔ>\5/6յK$>o6sB3vq-1SO?\,}&}=3Huy!RՑ?IJv#Oj_~wUk\z!¿C'?^Fnu8ݍtAtue@[nRC"<?ٺ!fd X8Hcxx ՈJ?jeop̈́n'3@ G?fzVx׉zυYxIԝN7¦6.?^8ϐ{UL:Mu!L'ʶFnX#×04vRQ@["ߦsqv / 7Rg<ǍCڄ~6 =Q%PropResPIPropResPI.Propositional_Resolutiondocument.tex4A% PropResPIPropResPI.Prime_Implicatesdocument.texJIU8/;h=).nNy 7$qA0=}k cô@R)f8w5u#_+d& $g+fGXIt,"biL Ҟ1a e}ȬOɛZ5ZMnL,rkYMFkΤ\n;@,h,igB-[$JUt4WkA ik\j cC(;IezpCPETsΓ}2^+v 0o>Fj;2𨨡QlP2ذ4# (D J.XY^6s`L;;zRlIbL 'a@)M-U>+ n.Zc77h@bh5JLQCd oU~( DIܽ-6|kJpPue o6OeoɚhX%T9!D(ֲ[׫ۗO~܍@wuz~ʨNMO7[p[4#Djj$t> 1,b u ra[L:F]%twfb/E4{| Q0L!^UTWxޠvC}T;K\ѫ%!~G8zŁRjc^3% S+#['tv2$}{e/l ^#A587"t@r^ɰgHOqml]TE ];%#v`lͽsO [\F %R('@0t;iqTEec0tR]he5854׹c)E\1K+ %JtKwi bCD^%=c.*H)CD.ti`y'#M2š Z-@g9\#o|%H!3X"8k,ς;&A]^%FΒaqD5P wق774zZaJ]#*̶/Qn& $,eV(•p;mI`URNW2uY3)/Ϣ.:0^*y1KgO(/6+Dܮ[7,ѼȚ52^TWrQ0ȡN_&3hl3/\enb0Ǝcg4pTwe|U7k:xxg;@q@<{&R ޱSuQ~sIO@(o/a_MRh-ԟG29o~~͸ڙ'C*. L4C8qĉG?6SkW΋?D0.v: fnT?AK8! 30UahDQ"1ql52ct!SOP[ŖUT -P P3'D{i ծ`ȋ=9ˋK1Ae5%\ch!,|b{;UK$za{i_h(Wz/1,󯥑,P!mF(8{D@AvJ z헿qr?u7P鄜N o9GEfeD? LZMKCVOdd%`Q\;"Ѧ 2,zN ]&a,qQ2 iN<ѻ8,XwuVƟe("BW:Ư0qz՞пD#"Xe$W<6Wq$2qK-).(xcVȭYqZ`_Mf!)ϞO( 0ϑQv>Gp)%:wlO{5$%bi#C/<]p5`KkgڔHR!Ys7v#ΊR竪St5h,Ȗߑ4HԹ7x>@ 7D*ǓkO=ȌF^%UTyd}g^a@!kL=9[ õFUofP!:ܚ*uq(+{ķ{TԈDFSrJl !%Bq2;iЕ(.AƸ6sJHɱ2}=~7AU<. ᱑[|H A glMN^\J,-0jY^.;loh'&gד0N9zdsMP&J$/HǎD#>F?(}չZ9GɟS;xƸajk`|se//VDi;e!B_~s B[)T0Ȉvo閌Zc!Q: owιG98x΅> :V) /-7E^:|[X90.+ N˞񐓥)z2>}I5+OÜqoTW,A\"Csf2q@Wڥ-0asUVjqCO$~i cۓxDL-g3@@c`|T,`"ߢqB jΤۀ >3 l4N (!i'@ 68AƁҘɜJ-~z7Kp}zj*fΙ3+ дGs>̡NT~m8WH+r'+]>%7mHגVp*RLCcu` >U@LOL"ɤl(a((p+?. EΝ,ѷc%|rUs kN=JӧF._GԌ'6n7**O#i6{ %(W*Znԥ"èJdigVQRQ Q:a#i-uee>+d;K|{ju'R`B)&4՞ ՕwRvpV9eJ!>q ~GšR`4:QIFҥ ]N|SDOPM4#=X%hKmx`)rCt0)lR` sXW- >ʝܩnʲ!|gikG$ۍ;ےfi^on:wPYiA (bTDm1[~iu\:^/˪dRyM˰JS3s;gaֽ늝ΏwaIpْ֔Vv׺#4/s^GE^>*BG^HѫX+,Kt1dxN]"F7\3hSa)xy7Kp+c`C4*#IWYTs'\.XaC;2q?/dI ؍ RGd:4] %A:7Ȭgw& !9j{ Ux ]Zan=ȩP.8u}b4%J >+sʙ[fmE+f@y3ՙ%\\%!y)eCY]S%n}?Y:*D*~ 9cZ$!ɷ f1 f͛|وҿHy.fKsG~> *LI! d/T`2$|0̄UW2?* + FDNWLR6#ooo*3>h'U\Κ8;X:ĴGm&SlYn|JP_F}MwʻdH&v Ay֞noވ`T%kغ< {?Ӎ "?P RqQoI6 ^?'gQDlå?+LZL 񨫑՞<4&I#J@pKBKvy#Bmh,\ GRXjRt1ՇZq%\z7VPG5WFGJ:2XvfFPh>QuS/7Ѝ|ND*MTP ̬ ađvYp:-h5;slsp5iWW]KԝMLݹC38g oo E_ׯ6!v8 42$q[T>^AmXDxR%THZ%s8+||ȫXkԌT'|; ɵ]/) q!w B/斢K(@KЧɥ\AmyhNG@ di $è<ޣ*pϽD4ޫjULK:ߤDyLh鿞\æ#/'9t7$^W*wvΔ7 cce!CɨHb H)Q`y(I~e74bdؒ:ea\Y "P v:yd, y"9UC= M+tBҥyRy$4г-8:KpjeT2,SVӍZMR@:P]a =*#u[!I x@\5mkFC)f&84 7;4:yfscBY~X|A<շc$">c I?'}]B*lu!ŊH8ʬF*cN6-+4Bv.+PG<^[8kEog1P?jD{d'퓸`.Tvj?fZftz~%<7\s}Yaa4 T@h}ĢuġüzdR~G;=e's^|pKZ"H|ؔz [$:"[Wyǃ'Nʵ4NT4H}DWj凉}Ӓj Fny)6YJvD = *cr #) =/3OCm14ˍ$:C=g\EXD6u^#"6z}Qh~-g. o*11%Hme؞bJ*)z `czC3Sܶ͞ΰiQBvSOFV:/<ǦIif`%B}7PB\&| ;t>4](ne[O0ϾplCa kd5Q]QY/"s3pq꒒xͽp}m{FB=#;BmbWd(2## pC;]Ox,D$ښBO'.{'Ic4GZg$1;Aq&xӝ3*_KeVjLؿHXEDaټDv> NLәDQKW{@}A4CPdz ; cI>\ r-U]9kZSfpTW7 d{{DD0jhsw !{#HsW05#V5{%E8)pF65yUT|"\A}(Uyȝ)B7kOT*Yf x4](:-ebC ]G_S&E1| 5H٭RB/tVZWTaK΃5VhJ{1?(: ,FMYꕓ ^lt{>-$;ZjW۶745@j_n,%Xs9oLl_~]gpiG}W}ՊL-^\El7:k,l;ph/"M o 3@m3 +~U(;lDI eKwy#v5K)8u Qz~Ll#2v8do?̗-^E$l`+~2׏|ʵN(%:?S] 7&i}=?TD%hb'41[Z 7Pû4MWrCR;:#E)/9تg=$v޳/&}:J77e HqK`a\-.~o Z"=v䲾LǰA ὘- ʞ!yTqe΄ -eS[ < a-mq6NӏpTx1BbUO{g‘Ӛ 33BZ3 gap`H~yjAHKȾDj;ŰܮlU#|R deBp g02s]S\Q\kgoUXw:zY=Y6TF$'u4y9>gۣ+ݤ%=^CYM#Spiтq ю˭t\U]5e)x X[9^{ẠbaB0Ap _opY w V(iSY~"hF=gP#O*#"h?r P4ׇ&nVIJdcw11H FbGC#.,˨Fzmu;M)9y_gyl%xa;Lώ5daZ ܙ &? D VVbj [-хKʋI{Z>)baIG@tDҲ[}_4R-~Ҥn]BY?!zpVV\Any=9e}(4 @#ރS_V13#8:xS = atWp }?]UH6wgCNN`(c ;.>̺U[䚤1/pRdy/N-*F8bya@~ ưަ_Scȁp_r$rh:.t5pT0+7TDMY4Gl5\,tfFCñbl5g4+#Ё,0;Aۯn+av~}߸{[W2@IcP̦돹x8HC؍|3j&Փ,^:a-h}' hRBxp%<7poC ۙIEKcXUsU^z[M Ar{NSHXZaC:$iwi,r1+#)@G&vۘL `ɑh8ur8(Bsa-ӕc#*^*}ɤ`ER*K؃C69!mS ̸ Md%2WkQmVZB) [ `RIdDo܆9D[/za̿ىwb~<ݝMHNZN|@R1e#]9Ieo) P9@&!8BH忟Go6V]< ?ÿ+:u=* ΅NR.?qJhD!6C @sFIt4 nEWp6nwb-+ C=@JNł"nX@csRZq/hSvN*#_eM<#;]-#1gWxbrɍ@ΐjt!;?14>ltXnkmu="}3~-f8n) [JNY:$RGO[w'RrTRJ^qTa Xjss39FȂOVncc]y!0Ah&Mh6bl.jBF*ڔ rIVbu{2ġ7[9i@ 'bA>n#jIԛXB&?$ XDMMYNaz/)c!4MzǴDϸTT7·1PUpSs:3(J+_boTpAv=7DZf)3fW2ܰUwX!X>ϼ[B<|'dbKird ~9D޻[IB\; 94pʷti3dg A#1GR?GVqH4=ju!1,`5" %nC'*^XWHR>HIxz'yٸPM۟*TKZŏ71OW8`+a v>ޘ7oYG&,YnZkD K>D\mhhp'6/6P8-->NsA ޾ ,:N,7%85*ٲF:@(]xp_ rُuIѸrW>4K4:.dJdk4+*r˒}p;ŎHI⧫ëXrqAZ( 'z c +;rJ-g=s[X |fi .x){i%ϯO@zUCӒqw͐?Qa#a%/c8[0e*wuMcR,xqYWj~5teWut9! bFf§RZiz2ъˊ Ge?S|.Wb. @:$z mp'8DdHfX.A)e.2Z)[-ŻtX3" ]˙YuK4HpEԔ;2#<2HJk5A0;;y u*7-eo,؜N-mb hmی0 N0o l{pBz<~h,vD#/[o=Ն[j9:D@]v1r~Ro@Z=).)qu{]..khx} (Njoky'*V9R~<EĢ^BEP_p$hih D3|"U7U_)"@[|P̊U9i,O[ Bq 7Ww`F&; : ^_[5]9iHt ҅UhZذ7.&[0cY=&Ҡ" ۗt$(tgzþ4C k4E:'+ҥmKIC2BZ<ÄҁKw/iHټ+ #oТYwYZ#KĶق蜯+}jyqOu~}qJ)rANL ٝ2=H[8褄koQMq%wtZgUeI04y?uK>S, cN,Dq) pǀ$x0y1]MbAS{(F/^jQ(c,RݱZ aZ h~̟{ P]lx6qKtj[XԽr8(5w>?XCW3^M2%I,OnoEq+%c\ii?Uˠمt*_ZX̳Lj_ E{G /"bq'T mwiqbbȶ3Rfv =GQ9 |@_5E}M QuIE6rlfM.]mr61Xy_}m=Έe妟ز]kWQJ+qpɸfY WuTf?m!<AYV|(wLȑD]ɮ夤7$r!6y |EB$tW-ID140v@S~,kǍ4%tI]aC0WVػmOcJi'Wt&kk(?,%-Ҙcg WhZR&u9uCCEG_=}Ӊnz~=_ O9+LHYw[7TL9U 5FhBJ\ާҎ+ >Æ;' יYKk@wrmt /ux~ slY>ML^6GQ<)]WID P=߫"toZhn>FgJ#ue/$ہ%>e|C໤cMHtԄoWC` CiVnT"Q;plV!D5tNqX*DuM D cxڞIf&mS[0>fL A\7 i뚏8V*{Y^b"g^EHe~4YRe+f#\@%c̢gK+j&w+~+a۔SR- Ɖpmdr¥{ÐucĬRa%w+AOmUFNkYo9"c8T89$7C)!!/2%ڇj,uRC:b4ȣ*_~Q"1@UnBJ>j#?l9HQ0 ol"m\1][:isF?ajfp:Q;&̩'8, _ -_ kJ_$\d⟔Mk*\k~g׎Cw(&XXY %Aj"* i!R<)t%l9!0zP" D{%EMA >j6_>+}hУ5R:B@BnFY]3E\M0tOq*3@0*SMʍ%檞gʹ(ȒgSNu- cc96wBsyf ɨp/6Z894T@ }n7y&߽JME?}05f>~2W wc1.kÄW5`F%̵ҽA.Dޒdg1qy4zz4e/Ii0\JYw#nY*)'ǜZ5xj {?ͤ=Cn*7ӭ H.%"͹^pjRJ@M?YH(BYe^u=,6F<^P SzTic%Zď1Ey^+G t;>Ӌ]ϨDxS29ă~BX 4b#)%CtNӄS{\h< fSbCTK,2ʼJU-_WO'wv)$tݪN(CMxz+4݄; Z6#Cͦ"~kܘ7&I[OK"|S/ y]kDnw ] xhfƓMU'pd~CM%!C.TܗKn+G5bs~m%cR5׽{Z*s!tBD2|_ :΅DN>uxmߴop<|ck]a EVD be\Q < _|;^Z-+:PZ,d#C/lXwV]A51 ?iniE!&}K3I"byG௄ۑm, ISO Ң/BoH;Z@ݏ{ubtG0O{;&:tϩ=Ol֕Ҙ*_"ɥrp}ͩLl@Dg"2n4*n۷{jC XL?otp\cE,"1+68z^ \[:QxEi>}KxiY'tuRIUTp7?gkK/K- NMdŠLt¹0[6[j|Ĵqu7z"iY럐(2k/WK~1[C}W}kdl\e]s/xE(;IzcS6p$ZVGn^翝W嫎AߠW Վ*Y?$T_"\=BMf@ ,HB7 /hQ'x?q)aF:{61IY_~rgEr <$v\Mcc3]qnTOx)%L~7IUXp SCg!.Q[L:gE @!3Uk!ׂ<5g;81$(c!b6T⃐3㮫@f~ԣoWy;uQmA㹞>Q9k])!GԜKSU]4?0>Bs⽰(<#hkAQD+OvN|"`rQSe`m߸ iA n nRPۇgJ?,}๰rO "B }4; C.LHJvZm~jrPWZ&9C][vkNuldLӭqWJz%d-CJ3D>陿ٛp}Dz iה?V(^Fr7SB;(ChڲàUiLj#^lNom&Cr`*(9ʄc G[W7`>KϒK%ew@dvHF?5eFG[ ƎqT7yFD_r_K)6mA ltϲ>qڷ9V^YtŢ: ^04ؿݟQꕆNjtXHhsy3J{aHĄSo"iP H^,>.NB/r~sJ/Dv!@_5$`1wJ[lm2Ӄj l?[:&_rOծI3DBa \' m”WqxI=E0 JʓŤ\51%M=( F=NYH '4*lr-L̓9#\81%9m uˌB;2G$v4_'u~1aOoHsLNlb\!݊pHZކG%ƙ,=C rq:sjLnJVB7USЀ~hYSmr<S.c]QY) >ܜw^l1Qÿf·dDGnU^4'khU)p TO6UNvmDj@ )dMژ=V8<4{ٗ0-\Ū (p* ĩ]J>kQ=#-#C1a+N#'6 \ۺǻef<~PXTxfhi;-τn=( gzѣF<ֈ%xꟴ[!~zZXnᰠWcc̊NAW:d\#$y e6 Z*F{ӌCAfjoT>M\9 Yt?a hÌ pEz=ϺCsZn  /_O)H,$OuP㝁)Np}'J.INcI9?D4 gBqc+iG?d*]s5 )c'E+VuIiL2hQ ZlJR!s (EώFwVPb?Q/IU=kܣx+,0C]p_}#h]PQ@' aEHLlj1Q?7)Q|"2.ݍj*%\tv>das('??>ٮXZH k'r`LehyXiCdeԻv!λmi\TOlu- kBQb<:St4,"!)3aKdXΊiюK$h=SۦV>>isY=$jDGs2[.7\ulоS-.ӐxيEm|Z~`{t1/˹,tԆ%&e' qgi3Jލ| dW˚¬1 R#( )S4 d[=dyx}o5Ay)GɸcQ:^*䢂5=܇ ~GhHhz{.G]@<YP%W {nYc[ޣ2es@~}d Φ?1{Yom3Eo@)J=e.Kʗ]`p}AN||E''=m0uԋR hTH鎧o,?vtb"jK+bSv/CFWtivE'ׂn_|+dd/,Yi$^da,\3٧{7@O{&Ne_9!z$_O5/iC} 2ddfe? P0EF>~VKUKcua+Ɯ^Ԯi1&)G6)5"3M ?jKl Lzr .(v݇a$)UP}D"Ml8^@Ԭ`ϠR#iu)AVD D*k]E0‡v\$c  w*rOGmGA,b,n[wiR䕂T[ )>D-捫}%b^q1PNr%?M~*3Y*l?7ߏ  xZ)=%>M2)'e;RJ*J]X46@3XI#6\P~–S(p.uT!mrux7=Q^(lɾeǀ ֚>9rOy& S?`5&WtG3bk:x&2H \^ )г:As{õUpgIվeYyMսŝk933A/R!o߿cHnJBu5d봳~6EMWORIPiD|su$;@4uHK&2sڞ_)hUhcX>=N<ԱӉ!x+ E{p9L<"?B6SOfp4ĞyIe޲ Qoqq[/E(+CW;t,D4[hPA q3YeVf,VRךZ֑eO jD|)-/ *fX^S0Sg9)`Ժm`9yFl`c3}͎ /sZH'@Y[jZɼ%K=_A:T:]pe5<fL@)5U<V03ht:-$눩g#㗐e`8ρ9%?T?, kE%PgJ8 )h4)x 8Trp MrCF 0|b`XH9F`ģOy|c· d"P[dEQ >(1c #AN6_9{Mt{k壽D={3*TaEɰWѾ)$Zb-9 3:EFH ;Yi7B xOmt =s8sϨPoq|0X26lx7]Fmil/XwKd#;ѸGAw2g@D("ĞTS4W7f"=cxQ ̘̍X kctn8o1El٬q H#;ڤ@{Fg $``,o2uS w 5,WAo&\~#?yf$/OM!tJ.*'_a5 ~~?B@@eXkFry6RG:0rx%sfбRBތv!}?M3T=Eu! $ă"VbYQЁOB”[ef迫eIDIr&<|PAҸ횁7 f4!X5۞/I0Nb^3Yn B]ϊsѵ]RB @P8F ?r¨ Ww~vs4sy\K@h-ge |ѽ]G1`(Wbl>-t1qKȏP\EtȞKڊ` 폀%)CWOE Ce ' fĴQۛb{z(VLQ GE=;8NC{G&;| _P3Q7S}*YR[-PXOU| ;dPɆbUcFπKb9 awT^1>B{O(D2e/Qx 7$9aʂ^7̖S~9+KV%ύm-#AUps%rgu['q|!PTQN߭/FX3X!_ M)n[ΤZGիdU0U}gWpZ㝓91Xy=pu5-cp)FI>]'g5s,s[9}Pv;tۑCEV)Szs_6<& :aV-[;٩k%!LL+dչ,r0B7 Go /M0$\NNŮǔ)&Υ\>)7M.'ۚewH&1!mhN%ϫ{6g#SGFU]/~yBfntKNq f셏 嫶 A9c6KA $pDrkyAR굝dOJ0N5,/`k?wV~%g}'3 ӭ֣ti9"~YӠRM*Oo<q^_C,D3)jj6ǪӁHF,kŞkr  ɶmRVQYsl%j$Hhf$v2OGK_a]'v*J1} `QtUH))FʟJL4K.dI¤8iЖŠZ˟tb7;η.PEw2.331m; VBFIǛ(~<49݊ x~TfQtk XtŬLu; ^w"u~C~#ngՙаxGO|vHIg5gv"cMCT}rixZC*TK'њILvBO$OJF޲>bȈQM٥PGn]w@m]]\3Y 3; ώ-ڿqNg શe\J81)[U{ O-_ݛpE–nWԉfc EE%/ `#JGq<58}^HX>,\bc݁U>rӹgl l*8bj98(%vGG,EYD.ђA.('A*ƟNz!3i |.ҁ̲©څ|+* /NP3wcGSG4NlV@#M?tdgaz$#` Ä 6GbɪR{9UWw Sdw3L6DPBx{Ru+xz3tя5L*=0 xZzcQh2]9B=Õ9;1V1ʴfii |}F%H(qKw6Bm8aq7ӭgV&̑3]F{f:7o%58 QWvrqD+N.JpZ7~ +z\$`*zBirB_==&6 h z ?-5{|D<E-/I;,bb gΟ8g ft^u . oF`veX(/;=z^ƗgO('şp8ncSl\A FFF/0JZGVӥMWx Ptl?^~L:O9nNS KE>Vt8t |Xse`6Tʹ%ʛd{<Ψ J k 4rH ^-ԧw`-L]#Dٵn4G[vdRSBQf&Fbxo)du\ԜAPfFWÈF JB^t2/S̆8&w?%)GA Ēfl69&<:E'jU]J {^_ }}g1BA" 5JX.Vl1i Gz:YϘb "w1mZ\Zr6aD7ipZcCʠ6pu=xy70ekZi_ V'< u^` V|C,q1NQsS`IT!ȫ؝Xqupj#%kS ad$-[3S(w:;41rsap̺!-0Lyf=3@P4g*ާ*TUgXmQ S#i^d > B,ើ4Jj<ыF1Z ăG H܃fy~639)]VLibڨOWJb)5>0LMx>4P Ҵ&YoH@~!hE_ BU0ebڟg\GTA! `6**PzVsuۿ'8:ٓ_8FR˔oO?wG0aD͐ =WayQ?rJt op2s:R.-CDTSw.?5Zh.éw]AfKϑ%dni4(DӮ.`bCͷf>бہp)&=5AdP-ŕ#ktpnCff4:$)5p&:?DιnRPv}G?MDhz<=2j{ߑct2̍X8|Ӣiqo~U5ֿ)K9Z9AJ;њY%7b]"hsϐ(0 o;mq5jYl1:-?qW1i˓0ra#&wzMTab}ݺ_^DݰaDi32 f>11_.sۗ'j,x0 %G X&7K3Y֬0,EҲCNҙ;.J̊o,iتH/L3-f}-ѩR{=; 'x*DWomƄ>sIC91.# 0L.zs ܗE5kP.w./-P }bcreǛ ^՗҉F(|5mX,Eڤ0FB0x4}e:8]&<#u^% ^-J50@cB0g,U;*e=.shq{}۳83+5]\oJ'*+n߃$ ] x FL\enolEuS/&/3JЊ g5D6YTwchۀJ1LTt3oݗR"H[Fc=3DDdZIz1-ך0מi5Z}lX,EOKrUոخQc>yXQQͮq:?ĵ&N*(wwƖ>rfF;\F#')/Q+SpW|&mXV*,d~-Wji҅hm!hBXyta{3 ݶ ?;78ǯ0=|(IRXcYt6rr>jԫU` 7/rn4Mcm6Cf0`H H>?[vdnVX?AːS88< \Wc^S6=xyN:o=.$[_1{{Mx#Dfyu"0[øŀj*qZJ&= U]޽mWlw؍(hGCTS’e@?"I2I8}EXw@wlDKrDkoInh9^e,"K#4qd89Ρ (6JUNp}/yy~b)؞ !%L]6a(Un?sO+A)9eԼ?OPD1RE 1=Ԛs ?)4 dcKՁ2It ef݂@]qf켫f6t*sfF[ 9E|v~.S?[]0JG)vSAh2:ZVqјuYRc(nlrrt\wʅ_{ u&}ػ!WX Va<(`-*x؟}.* |oo?]Mad^9U݇vG4Uœe+,XHCà}%i>LZ-/da7%m#ᒦ'wv>&0I9|)%/pYL oTн/~3^nb4U{54gY0<$29M40s f g/1./}d;&P~wYIDO)WôݵΗ? iDJW?!O.JZnE'V_ma*Ýƾ2ԍʩPmGMtTt~&˧j)HcD}gC= ]_GGxqa:GҐ^hw-FL"%n/۰W$vwBt4uPypfK<`a Cv T5>| K8qhJ/Hgo+JB)=R!/eC0zh1ΪCM0*b' Xxg`4Sk@^G\ C6~ڸ(tK:DŽ T>lOF;+]5˰f>";6m&Q%"0x"wm iN-}kIN'HR#~*kJ&S[4 ~unj 3Mι#5V,RI66r~psIA8r}z}캈%o Rœ^5Z? HH\rR~i]/R=];,?t|<9R{Twv=T7vt1ݲ#sQݐߣ2U;J 7P9gAJ!$c$%ڠbAb>䭭eK!N`_V5 Pڡ-mWeyv؇Y\x+7`iĹ$z1a@g QKnIF#&;[R:~0+NE Kۗ_2 ַ[5: X Xs#z7 .7>͡. .Z:; 9aBvs /U3ҕ5k%FKG[jhʍ2H0^,`Ti17U2ԡjlÎ9Xrt"-;%:?a0vb7'LtOq ; ݡ.ۯF6"g?wY.ƺ Slj:l0mnt\\r<:2TH6 űk\dH >~@$"urZt;X0 >#;jIi,U_cd`aL>^u"lKU9xwILNph ~ ,А<_5iϸwTn 05~kuZ l-1Ct/w䤶1$ ՝XCV_v(Σr**o1^_h B2Z ]O)'G]-2mѝ?oaR E16N|윫]:* =\pSvӚ-uGVH7ױ ΑQ~ ȹf;w3Z,y6Y䃣_pE'wbV| }J 0W!p,YkD|z/z8 f>Vzg&\EAHfN/Z_:o6EɄNh/ 08XsT%oKnqCU'Lɧ'dIcq(:zZ<e0 ~V$غ<{w|D#)!w[PdwʙP7,`1{Gp)ܛ|(a4]0 =y+SC`b*C«j*x=JϹSUC\͛ ?*3 RUW~&^@e`g>r8S%r =W"H2d8#v!䢺=u'?SPzK*njlUR Dl|0G{+)(i6J--F@,׋g_Q<5 @.X4B1=D@SH0¿:1Vvt4˅) qM0Iݔ>afQnICoaL%_kr+.}xhBү9i}OOU܋:TMf^<ыTBލ!ub@ 2LS[gz/&G͞ 6͙';$̉L9FVs( W.z"HG#+>v s^M\w0р @pT#zrP\E ʻ{<= z6fLi$YMq}ƛdW;)D֌?HϢ,F~4!,-DN]e?<c؅:ݩAauUaPF RZ@6φo`U⒂SR;𛶡:Bl* C,u%hnw쥙{l,ewtdwZk(mi~, aq°OwġV]χMe i%aô'fTJqd ^j@NN/4/oc1sf(0LS(L~f|g̪%1'/imQ^ ?dt,g'gj mKqƛҾG\iOӂ-'vl]qiwfkcPkɍ? 1x17]pgK$L F+ o+DR,62OlGƠ}wC\P/,..ad?ab?ζ, =ƉG~/z`+a轗*-5|=aoEߣ !9w^3\bcw>QSJfDn3[s>?l)^4㥺c_*IX"wvE2FP< - ˶B?F{:Ư34P͑G^3Y1 e~"UAԬZk"֌NK؍ċv#?py" Ŭ7IF|O!)?JkФ;Cla/dtެ-D>}";ѨX,A1{&Ԥ>9P*6ρ3%44?fWeY6/L)vU 뛔u'S7MW~& 4h7nFH) zYJњԧf_9zI<&H(e={H&>P,%"Hc p][74jp^^AدcOK 0:`56x7<粗X ήX b|x%Ï%QϪ°IK DH֤yfDQqB7 Aa4jZ1cemlou_a^PX\zDORO0w#+JkxO^hOT^ 4־b-1j93Qx<8b%`r `ɡ^!Rf%KIjFМ@DB4e[%$J \7Ϝ\3!a377x:O[L׼خ}{FD|^zG)>2_3e{dʄNR."C07<ME5b KV:4g}.H:ϼLĥ,n$qu89֒CK>m1yl̑"W#$o.;vTZg/fġ/k $5+jRk6M5[*Obq`, Z,n|`<4x|j2LnO1`&)1{f8rlzhs|@S.Zx _VMYP1٠_>T s[9u;R<E7Ο^Â"\˜M ?XS; _N︶iһPwFAgs!Z,[`)2ƩKxϣ<1ی(s;ԹjNEi6-YfVe]X@v;պt߈y9e^MΝ%Haw<Ό`y3}vS;R1!~NW7< | v>V#&jsN_d:nH<*ZPA14 Lq^eY[]x7ֶN!Ķ7!{ltVb &3q4&XR;?PUi[{ F99Wq.IRT:\:(2-Qq9sƘcܐG^.e.dx_p6o о{}K8K~K YK0P) k=ǀzc1Ҭ^݅桓|*2n9p`'0|K~5{ & Memoԇ%yr} 8"R+z%Xn&]_wOJ1Ded4өPsﻓScAfi/4, 2 V5?)`+M@sc%xRS*gX9nBKCnVlj."QvDx .2L5CW`@iN5TtjFj흯Gg<7i0҉֬Npsbӈqln#Gvt0Wd`dsd~Yu[09LH%3x1-1lf!/r UE8?' /XP^0u O11u [+1 @Cw5 2փE"A#;*_X s Uhr<ُƐ4-4`A놉Q 1i+ƜhwHd|xǻ(=bNϔ8.UtR{WuIB2Ȳ ;.O}[a]1)H{_0H 0M#H "ThvuM4[Kç $9 ȅlbU8E![LќNR+z*/<kA 8X4ӸP"+\]t %.vR,HoܥS!4WFrE\`Mäq Ca=8"(s{=(J &6KVvZ_M=:/G(]@_#6@F9|,. LZ,EZn{>jY X7^<*Zo Z{چ]%9/Յqa9d|nzQAY~?|tKK& r!_g;.IC2ɝځ-]moV`<ݞ]ln`G/n j43`ĮmI?k,=b뎸$aM nJZ ByaN1OwT o@ϑ`f +qݱF=&=쨩b}͘+ə%M#RXslPQ``p(='~Qܳ1&u{PjHcy²ea!gqEO.'YY|u[M9C .9N s\* d~*hK9= TڂAJ0 ]Cm*ɧ΢Q>I|J6,%kGFlr1iF3M+7HR:x>~vD:.\'ó~- =` h yGvAط&7l\O`9^x܆V|Cw5hχm*UpoP򍖃$7@ѻ{O^ik3:ԵYi 5-( qezS |z}/S%VǨ('+.z=Nÿi> )v!Y1F?ҝҰ`U@-ݹ9lS\3^sQ<~bf#`9LS*| ݁jFKyyCɶ=y+Կ殓7hiAWI0^u3]06..(eJZ}Ҕ)RCGw7U W6X՛h8Ӄ ]d,Ps7xKvoq7:l6SE6c\/A&˕@_R+3 ~9@r`|s0א_ji3+yQͽjGTc&ݫ! Web!Cvh$eB &KZ;׾+ǴdU=XXŘ6wQDZCbSA(\Pu`%edIǢtm(+S*~`Ô4s$xقЁ{&ǯ!L >Z[O=^C,#3( |9EHo"ə/-KObd+3죊RI8Xxʼn@3pJ%DZ,#FD .؛#(UrfsA0Wn;R#F3!fh;0(T$L:8r@2=5FR:'[8$žJ  &ƹ-{pgB\:-yqq c{yA RbK3EdsNK歟] ,{.ݙq5dzb$ǔD)Cғ]HgF3eӚ|wFDcSWf:vX˨򂿽:oȄ`4d,H? 7[ DZ;e:Lz ~F%fZ(޳7ъq6= <勧ؑBk(E2b9,q沊$6?{6 n bl-Ҵ խ-_laX N !/-<ٝ%Cw*}f2vj Gx<+őT]6T2gi%A+Bw*8QlLZn0q>c(,yKڈ/q!y)Y4􊂲X]Qde}0{өO$7׭WsL @zXypTs"\>$!kp"?.XlKa}8&kЇg^׼4Ws^譶saƇO+GRF1e#>Ƭq,TXpY1R dw,A͕_*l"Ʌ=iH,ߨ$Z*v1jPI!bmi.)3M̑ڲ)km SSt[^hϡW߼bs0]bf̎h/ &3&K־M|y>Ե:I0%: \:@M5cJU&JlEz\|1i9`yYEmO="v-"L G&s6[չZBS9@xՊZ *S` 8*)Y֌bC>h";,tUΘ0(rh!X>UYS韞sf:TWQSqGZkeNqa@ӦF W!ut%T|JSm?{3v@7[ _a:QT:om`YhF,ȧ&<=s肄a/&Gsζ薑>Dn $"m>A!>X:MS$GlrqF7m@Վ$:x!Vc$ʻBr69/?]>7-m<-4ZЍ̹нp{lWHx{cf*j t8ǂZWfT)VUan4 +ˢuMu.Km2UlRRR#o͚CxnX- ,Ts_Q/(?ZYkCŚ(S;Im/ZA&Wu:եS)+N}HK2Djʾn VM}'XU,4;Aw" p{w(]4r%h Àh # A[_T+Pi)9rCMגA!,j;@;2ۂ:u X\%ay5ahA]?{֓趩= lF/o>6\_NbD;F1j!%ϏPpCnZvnB;Y%Bh jkNB]4nE@Yz6c]"=^[|_N3./5?7Z Ιk\W % o=5 \,V i7P~:77[OM}#T@fпJHWtqLհl ˉJ r,+xw5ފڶ@as KhЎx;N1x[*0UKcUGQZ^7|'|'8KT RG Mj5 n0ٔGLռlúțEVwY:!ѱEEͤ.g|:$(cKTg( XM,,2.T. 2FYh>8RRſe' D BaG{ XʥDŲ=.&eQ."hvAspǙIkfe>XնbCi#n5*gܗ.{ qCbMA,*O3^~_8NLi.3EP15^Bt ? ZT Uvh_y@ xpAJ,;/n0QEYC9Z(3D"SCFy3#}n#2f s3!pljd9C ´]:c4TMitt_eEFTO 3'H];$s@e,7/5[gf62qY-zvȷ-X҇I0xݠ_ل#-bbRg=qr>#U#S2`=UGb#I ffSy\DcaOp(+tD0ζb4D63%~ّ`^kvqvOgO0~N\Dva{6:!t}>QI\>F/m$cњ鎈]Bi7oU`&>D3{%pwL* *q SZjR m=6w*%vZ o;Bnak*^93[_5ZU88iMz|0S/g=2@W 6 lߎE& G3#}w<Ȣۍ!.@bW%Urf@Ƥ`yNj0{DDV[Pd1JU *w;nlQ qA D)HYaK(> 0IÁw߹?ѐν{?ZsNxz؊XTIǾ#g3AP|*eH57pnwL/ m aUw/tZ"BO8~<ѫx/pC9%%Is=u+4[^q}xJؠ0\,rl!=wY ~Ā 1hZ/۞p>T$CB#b\>=(8D|X&qc?8n_s,8&m|bѫ2wW XO]jKC6nXfRz9 ˦F*]*IlJ}JVEN68lʬcG״3֢vbbWBj2A" w=32f嗤) /QS6"WŤ6WHО1#I}|Ïc͵wpGØ|5&.8lS ~&ݙ=SkjŽ"+|qxK!jq%({x A\ԭ-+ ;|VY=ljݗ+jM_6G97yâhhƫ;e2_iif@xH(zT왷E+_*M0ϐXQb.ގ r?.K@u*`#IϋcRţu3E%2=z(q_NjU+ ~Rg:6RV 0 @ 25[EZgng9c5]_Yue"cYn~,ͅav:%#"HA(Tr)#l?ޔ-wnhҚ#9nr *V: WӌLIl# Y9tl=膛rtw)Wi+l׼;cƜ.oH?r:ӎapL0BkZB6j[2l;Rћ_RECx1u@QAn{Rb\Qb]]f ~<#1YE + 02@ KT!<ӅHIŰZO_xI&!w ܀c]RE]^sODݜ%`~/`a*F I;Mӌɡ+Y5DJM%_]24lxJʔ$9'!gYZ