SQLite format 3@ .0:  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  ? ?1 d4 ]% HOL-Decision_Procs:threads=6elapsed=255.662cpu=1145.148gc=155.280factor=4.487zXZִF! ,]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓т/|Td`, v[+p˰:`7gAXuf4S_RF8~0ԶjA j2@a@6xo1gde D] "F¥@]3 ڱV)y={,/ %o SSXXK?jOa9qb<.Dj>xZӖ.|0P+eؕ5rbևv`$(;Q2U2/@wt ]?aٹq V.u}i#w蝈c2~*h K>VBn@^9/K3АA\, u?? R8GLG|7riyzKܳOjÔ_'Ky,b&>f(z!Q^H|(B?YG 1 HOL-Decision_Procs l 1?= LHOL-Decision_ProcsHOL-Decision_Procs.Coopercode/cooper_procedure.ML7zXZִF! Ti)]9 ! kG GŤ٭$`_Ol5cD̳Ȧn (w1s%¶^GWQ1Z}B.Ev uW|y0l<`SuSJK~Nxǧ(4j (cr-۫ly򌙑euM UsE6.&yg@rMWXȜk2P`ey|(P.#Fᨏ T~nҖάbu^~5K틭3R ̝e2&$B@IqapF~O?(_GKlU!G-CG.*_S'5<ZH/מmp_0|Y {XZۥR>0mibN&OS>'}\% 8#+|lqo wxprg S31FrAը64wffAj.ZD$O $OXYjGHrۢbs ?DΠSvA 4D>` jtb?W$mw:kz0L] ~ Dp9Z>KF%MF`g*7hX%,99UjIWeI'l@}dQrUCϨ`_ڏ^A;ф>wW:׀Ȫ#A 0K|!zwk. $>@bBxaozDŽFb>Xogl$AoMx|'3UXVAt)>խ/&pe` Pm}DR(q޴#ԁXgqK# GWjA ?iw=YYa?o爲2j=ߍ %3D{% op!kaR@7Z;:Ӫ9LKt)'#z,Ie?<ݘ7(ģF)Ln95 i/BYüS R<]Inaڿrz qNft=9s[*d{H;tG!o)w/_K;S!B ;?^]U`Y4{n;-Ѕ۶:Y5n}cUj!L"??}#k;aGS=/V⪊NAڰބ%|eؕl+e]MYdkWڐSbjՉ-{Kmil(azs 3{v?Đ71pdƁ[phR"=皉rĘE::Q]am7%o,>1ʟ? 3*'~[zl9;E,&?Gc\X-+Wy|%.ޓni ʎLKb5Z$ SQBTUjq0ot2C*ʓ_w@Ont:YRzl'd\fL{`Cir5"q?|m (rџYP~{M7.8G2HǦtfF‘GbQUhK!T>6mX2$5i3ffK~Nj%ɧ'bBQSЄn-?d@0K@pXy Y3U9*1YF~uDV=Ny:qt:{k]+Jt;3sy; f`l@!»HYRچdfjBÍJj۶x-x;''߄;9KkJCs{<,ʀlw=ZY$ܳ%VtTkrW A[RdwRC }`F n1zb/x#͘YU.!lBoۅ6 Oḥ~o & g5?Exͻ`$`i 'ZDradL*H?@={u`/! ԬQIޟn G؆;҃}ap8ՀnP/$'ݣS)nBiJи!wQ,ailƲPVGSKrX}6#o0]JU|#՗;BkM&^Rq'+v?,BU s8[C_D 溔0li:F..&uPza+ [C0@޿NoCUr:[ xN' SDw#3a+.Kv"ܔokR|;iZVۻW)BI㚄Xʱ~8 yJrC]YOQYGϸQVԎe(\E}ԀiFk-LgJ+\@XYD^B.f IqXz{CEh|`Logisdl赮`E\!|Ĵ!oJ֝;> y=L8%TM@B7Zv+N0Yye= m=u|xRJx]ͱӏt˸iJ؈x|+LNj8gdoRE0u@7S/֟6OŁ^B]8_tup3~Գ䠇"B=Ţs.(T&#i#DJ){ŲsL(0F=J8h6(L#d&'gJ\+ŏ6_+!5@&gYQ7k~:M,1E!@g*JEkƲ=GO+&_ꬬ\ E", ]7F./Iv52@9AXl~32*UyEAuϥp\:ڷ7'Pf7פs כRe fjb%VBQjB9 8Y`6ѺG3!{m: *>RrF;Ѽ; m&of Y e'8\qWXb 5{GN㱂в, L#.b{PZy*.Ȕ,vx =%{=n^[rݖ*TjVq} NsτxSw&y5 `-^o[o`9 +m:KWC%B$ ;QlL+%s{uy$r0؉Z5ˠӭ $1Vm ܫ#WVA=[F{K=]U7wRphAn=l%T ?W*_h1JZޟ.pջQyl+p K,> |b\g #v 9ƪ,!y$f_=aNhRѰsN=ߞ21i5BaW^>JFӤcd l[ =h@D*̔>|NxNΣYlgb j"a,^eqvpPgz )ZZl5_Fq{P~)PKH]Ӑ̍So}ĪOy#f)k#[6jZ1QSC-<){Yނ!cb{ J2uՠ7rd& HQiw\`>HOXTohچ~*jRVt۞@\dzrpW뽧cm\AeDJ OV"+pqps̓~ XY@9PEFZoBLj$Z0ljvP!u4@R"ϳ.wS6OO4"!ۚaPdmcNWz{+Vl6"Z>7M E<1^AW.LDDUj(18 B R?0!I ,/Ehjj9]Tڂ$3W =R8?Y>h+ꂨ$*t|v;b C7U@ g̫*qO}P}> Ban$v^d.^{GJk@.P[:Ӱ35K8÷"69 ֋yЉ,Cx0ţ H){3䶄-rE"; GpYib6+d6߿c6ِHKgHWVIWlv"4$] Ξ5/LoB!`#qFw|9l'M]ӥ7g0`KnX"6|W({8LE92A;|xGE99L bNDAm gMl) ßi|KGQeGP>xe lNkg|?w1k ?Gϳh+]08K+sO7*E)ؠ:$Rq:%M㗰{~󞜨>BI`'Jf~Uzz&V\ty3XTt[0x]r-o({?"z̥+v,KwJou@֧n "m{[`z݆K#U7a=$xQIJęWeh}b)ouZm*g+(ퟌDl\xֻ6ǤB́ldKSqWXQܒ,I`c~1-Sj݇IB"0];8Br:w9V!g3JTre!=k &>$v' A|Xf^ Y%\Ll0(L;]^/a]h*`I@DKDKT/Ԃ$DBQMʯ z_/`[ \`,SIH^Ju-k]&芨0XhBzᬸ{o=@@C 3͢_vw "WŸkgb`gK'-vB5yB)_k >qkKJW %'$m/n>jl+uYi=!=7vm |!qM ^*'@o4qAåTR=5/zgsyb8{rf&Bj]Xdvo$()*$@=I !nql`4(mvοqy/.p@ bjU,t,UBE)כU:޹Q?@o٪B$(6zPo0r>,( BʜK ?knEK:b(qX{/3X.Turˆ6Zжvei0r_m+'q})$gt s[ѝ  4\b7>6r#>3M2AXDkˊV.#16"?,r+S9ԠL})^=-u\7O D@<fj}OD:E:O3ixGG~u[)RV%zv*0dֶ]BF 'J }Ɂ4Q0>J)]?|:sKʚ::?r5~agf̬rU)wM8>n:rgHtKҌ!hǨ%zUɝˆ ZV3ZaJ+ztPnP']Bz3oe X4ͤKg_BE!AMgG:v䃯Cl47Ȝ2MJǺ#z$//Lp,ޥ+1R-:?!#x@l(BXSO- į˛:YGK#r\'|Ĉ2)wq]qVsI`>BigmcW!U= uYQQR_:uM|Ѳ_ü5믐yr#~=h#q!]^\AOs6oVk4.ogX :-+sƸVYMkQ;ߋ&\K5!tnHB)oF$;\rdnN<fIe}9?Zc--wqϱ90'TƯ*#a p|doD6wdI῔BDtY:K` U߉iE?hW- })նUa[gxy˓!މNjɺ@ߖHnД< 9jO('^wN]\9+/kߺΓiVʠvۈN'k};˖ci&G~Dkt3C(!h&xXJQl뵋6kVrUT?ܥjIJvx&ЃSb.pl޽b:Y{!m+~L0U3%D8o0LSBVJd%ܻ[򗚤|0kC twܘ28霥q$F)z _F+.m;#"ld2S\9ދ鶺TT_b:M¡Mue"8)%J޻ۈeyŗq2` n!>ݻ9IIb@C&w6eDؿExs'p]5|n[exd҂D?*uQůb3I@wb2('CD3f2 KGwnKfpoCVb~]4iky >+ <ێ5UDtG0 mEgfGiش-thfogmIuۖx[e5nzXRAN4lwJ ;Ŷ#+h&XOt% +qT[ NfH\TU߰0;%H\E˟iSx1gYZ / zop5aMW-m<*Kcl\8Ad"05(L?[+Br}E[, ƍE}H{1M'&n-c',qmq YcrästK&:67 *5v֯k` !Gq@.e%J]}b#+UTvD5S l6 z-m8J|\r5JC($zl?CN )'ʶ&VǧZM4$[( }: 5%AΈ#k h] :w\so]HY*HCmQƾv@qe%Aa %*e_h dc|_gߪA[ AncH\:ȧԥTr+leAxwv00,epL*][`%]W,T= TE$D*۸-TL gY#;*A5p.tH`xxBUFnP꒴opvfcI`Y:&v N̕mV8.Rz>[㐒_cUwh׷x44PJHHan2CkL @v7=a.}G̞YRQFmW[ -bW#:2;;ڻcRo_ӥ5Ykb븉@2v*]=+q9RD/V &ϣDvFU;&l?H".2OբJkZt3O6ab`}-({O^ǭnqח_ujDfőnG[vW]-e.oԎ3[i =ZI@Ecni_6PV""Oc_17)Ɂ0i_ץ_yza*ci;5hCt@ג*J6\Bp6.40UP;`Wɔ#xX/%K/ťLŃc\ zKŞ{tk(Q%W=\?3{ :`f~tÎY (lnE% )`g1^H6fLcaT>VV^uwu'lyZ(xI:bxv{Eon ݻwqdu{gCŗlGA~LQ $ MP; Ț,qobG_JZZ-d#m~> !n`9; uQD آ!uFv:9<)8l3Qyf 5̷xw]Olm*wOy4ߙѩ=z M 3τI "@O>}ޖ"k٧f fʴ&?Dgߥ[nQvODF ؈qm.״3m`I$ E{ ޜeI#!Zz9i 0S+@il c*p`krPv7JVGl k.6_@HD?ӷET5w;-2u%>-\|xI,%^ؘ;*WR.4K㣉{[B:?z"Wp,/HA K:F4Zmv"s$+|ǡyRҫumeRjǬO!c0=K `<:0",]Fvg[ *| 0y{!f ,Z"q\9eDJXStWfQ(ſF)އD$G}B43٘I8L7~5: 7O>e>:Ū2"{|ܺL(7+3okv[Qlʼi#u8+a"$wؓe[gpr5bP/&_֒頊Ia?2wp]Rvtw^ /x.hX,:m/:^څsa`4^,{DpFv*];7D@Foaw|@hGaSz_&HMPU j~qQ@[4e)\p5b7P}3'{~j!&A/o.0dH[vސ01z$z+ks2 iH]}U)iѼ?INx2롿a!h*5k$￝7-V|H qEO'ܛzàƋ:S81&߳.cZ͇䟳UKeyy<3&.ȼƕi,[];UOyJZM*6`s);PD'0UU 5D!W.0чo+A\NGg^ (_/ˡ*.0;=p )w?!=GdI=%[:r;Wn4zL5@]d[n:O%/H DЙ8j_[Vl UZ ,Kuf+*29\`E$Z';^@C_+I$,4F r*-s}rc|ȿaP*ke}_)6}w<҂L.4Ƽv#W!íxۈT! ԉ?[aAK& f^s,F-IU(WILh^2GҞkrLAل!" {@)E=/ ^crj E |v[E]i{#dl% Vq؟V-'7*j$I!r0Ő0W,H·`2s[m$zR?VKSlP :[&Jv8[sTBv*<΂Luc.ə!]m[xHh$`: W]bwd7ʓFnB2ң?ٰ3ܙx 3fƌs7ޑ4Y}~ ڲ~*=ׅs((s3$jN U\^MG6j9$^~Q:IUA;.UZỷ=CZEzBr4Mlo:(К yشȤuz~. 9@.S,fY2 d0 vmtM)P;2M$X(=D̘S @ύOvske0 6(,;Oj+(TK\'7&}WxOQqǐߦ)zUzUL_YJ? e׻؉=8v0t>|eFW8kl͒C0zY 8s-[7DKd(U{VuJl}!8 |nb.yD )ČlR +ջNf?D ёT_,1:Ң5p+-.f6YcSm,h.H$3Y˨dDtZdg@x}D㯅TP0l"8a:i qmnG6#Oz426JlaLGRè{i]АUjgT8'`"Cꂇoq5ˢ"Č.RbQ}q'j}F絋_oV|CAX7#갌I|%{VlК`cҎ:3 \h!2bm6hѧXAnkyR |!F]X'4ߋ^8bre5+4[׆2w:kGqL = v0KoΫ/!D/ h]*M;54=&3ĘNi}rJdTi Ptά_h)_w'F@x?w.|I& h)ucO"CJT4 0ZJ=6Τ(x.u0ĞM517^dTB#R|H<}ǡNXC|܌"݂m\4}6gl܍"ψ ^;D`|Ab0q)!@r]1f;|j3V,gYZ7zXZִF! ])]ŗXiɟ17L? KxlWP8SաM~>fٺdHl-pfmW>LwJwklFM(w6fSOn2d܄Am850me1rn<)+r NDD4yհw.vU QG߭T%B1- 2#SF<:;a땧.D~U{. tC:q4yI[Zf@Ik-I, " PYVy&WT֜h=kKdv ^' &E#\ x|[`be}͠dN;rX_MV0$` *$L]ڃ>ziEUl3"G[\ue[|0!DjmƠjw6c8T~B̙gJ>`3hlԐ[*l?϶'SkUu͞Po_LFeMdM{}7XIL=廱gYZ7zXZִF! T]ŗXi%Ed}F3{qH,-,x`ղB bl,Ug\X)QdпBbs+6R( r9`uٍ7iZ(;Wvff k>/ :8CgQBKEW!TL(B; \=8*1=X C^2ohjP90aOEB+v-;yvv݋[F&A¹.1Q$+p-*8,9p*"Z 1Ue5S"<\/ţ&zšPoøuM6dO5<ܜG7ZMl*`չ-q%BUH]DIi+z1V֢*T11~3]1AaOXM?!ƝG| 09~,S$1"Z` 7OF QF %4'.6$_~EwVtD5OfEyF笟g_JfHRc/+]#*_ h܁Kz}F@h_xq=/F12jFs\4ـCUG[N e&RoDCAZkz8"]9J*կeߘNPEN\ݒ^Ր|?XAe{a+V%"\٨CNrF敩pKKNo1-=A#ax N .3-lb6I/e >$¿&SHMKsӗ]fPYu'EP7WFo'̣,5*OTiwRObxN0cTҳd ~Mnmb6(\S.@b[8>'XAeu4̭eiq $̋st;Z u24{+")p?A*h/P2X#ۉ MHyO_B'S9LeS<.Nm]y,ˬ>h;B|* *H4P \*Ckh X4 b~ya[P=Mhڹѧ ÷j0pd%3[FxjjNDDl7#O* v^~cwzӼdP$40rfQÓ XAS}xq]qF<6hފ.J z< ʁɫFo=UB(,3C|YҬT2 ki1`7Q7|s.(I[Np*uRtvxA$ȸ'S l'e)FQ5^׏\xN&hmU 4=Ju -u %n6ZX6)]v 6XY(ލ-$"O~!x@]p2Y9N+ڹlzanl1A{"btQ Ԗg x=c zs7d+hO5ώ*<#؍>|b"11C&yz N^5Tz `F=wqmߥ Ⱦ331*tN Zi 2\vyrlqsaF'Oju)ht e0@fIz^%DH݅iB~K 뗍9 0gw/ۡ $Z163FJxX*%\:RGnC# -StpRR%obf`t3Tξm: "q';}&9K7Z,מ(Z`Oʢ9CtkqbфDo_yMBU;#94I͠= zD$|/~Lo}q' R!? эhF;%?Bv_p^ @Kډ- \iks"kЫE@#Ľo*CIGnBquw);B%te(Nh<׶7}Λ+yoY:2#!4U3 k7Qm);[IЃ6d_oeХj2XşL$+Y=QQǖ%mC$g@fOdz ;,[Q[>0 ^vG[9Yf&l{Y?-%!{JÍ! }^{HGn|yPQJHF3i KV~6I2LyTN60*cWtqŔ~7i?ؚm_@;#fϒ'l jW152$+X 4=UU^St:t%-E{`@`>8Cq sJ8Oڀ/:R@E7AAN jrM?|# g (dw[x'W$4ǭ/OXҍWQda|k5K2Z&WVm¼r`UY;H"y(o)Cz t]ѮO™J{:VM%1)FW&С$H+P.3TG몓TFFZtSKS{Q{/f?'62JYFUkcToԏy0uAk#D:޻zZ%8ޓ Bz}([$}#ghuZy^ZUsLN:9j7$.\d-F}.=ɔk?ƀ 4%xGspڷͳ83wMʻ> ^ )s(`93=XK(| XŠnm رv񧃜iQ.up0\N"  W.GS'OG߹\<]9״ZCeL^]2b00MXe' c@8H1='E#J8BկL_:5r ʆ@cu+h/ϖjÂdz'־4O®Zk297,kCӼ&ck-8aO`}zHx>XL{/8Q?!% f}XE,uڎY#0L[m}4ٲnIQQlq7Z;H7wSi*pO6[7DtmǗuEg!fzB!s>zk3K*%ra MϾˢK]"K!۲5Re6N{ 2Il'CK(3 8 XGH]쎋b5ݟ&Y]5)LΤ[-` ˊ T s"^[2ww˥zh€- ݶ%SEȬv sIЇו98vj?/'lD#u=Z "Jk/N#8^ y~$E\^ZzX A4}UGv J~~BqԊdJV%*, Oo<d3|<%#Dp6U 1r? ӊ6)q@A1LaGnKe˗0lnh8'-Hm ^ՉgbFd̈́zDzY# $ b2<{CI"IC 0r IZ+`iNb23^zSRN[~peܧ@*2AC/.M24E~{ጘrw"'W9W뭁*iلSg_&Ԟ&5 +|)d}05m\kГezq&8Z,;p3m"}n5 1Nzg""l;v&%L74w_;!k|BIGE8}\QD s91-7w Z:aqHe 1>${X~_~^#y1챾. ݵaچ,K t ÞCtH*5_ĔYuno2 9ؐYnاB# 9XQxʭcz-me^h*g{` 0K]|^0M8@|M9&ߔUgy᣾$Te# (i5]G$m)p7ҤT[&,s^ADt˝yC‡D`i@(40B(戠i-ϐMIS˲ԘR#9@b װ@BlXwin^tmT,#t"YO|WrtG|>~ b19jaoh"Yt(]dU\{!F2D.v}RĺoaQ#9J ʫj]ydWЋM@¡x);v+VE bStό w%ԗU [M;YV|.Mx˙' }Mؔxl$Qbw]:ueBY +&r)/qj=d@opI5 ƴU[u-Z6gUC;Lp?*X)9PʍKF (M{o& Lay j($hߕ pwgcqӛ" к؂F t° o|*%W's%--ꠑ,h Hטc&ֱixwWϨYkVƥ` 9T44dK\󺀒n+<)`X襢dP*3)l)}#> b)DZowuUMif6 +*@SkCJTl+ok&eڷ0oUv f7tӒ$9/)CL;יˇMYIjwQԙHD%5BG'вX"v5퉈*urک{੼w&8jx1spY6&J ^#r dذ _kX:RXR8Af21roI_Jn2xu*h7Nx-"w )?ry5de (,̳ LXi\:y.0lw񺠝{[w8{Xp׹_u=+\|5s4Wu>*qX<}, $#WX[fռ#KPq D6"e[ ޕ|2>]}{_G!N]$'jͧ_in{?gVlcQX ^ޭ X-is51Ov|5/ 8&kH|+Pr 'b7XQbHm2BN?nDEɍwP ~fp/w."C.Kʾl2BqK'+| SVKjXB]~ )nxRyvX( s͜ff>2}W{d';K;K!OrMxK-NlMSbvh|bB>{6ohu}nbg Uޕ]$^KkC\HQhBB~H#XجujiAl|S,&*߮L(Z? \3B3i`:erԯb+ֹDbcFE ܣp;nDLwXA6Q=G2J3 %?4aXy߉C~3|6͏`oQZ ʛ]]pf)FVO5+|PK3Q$3SJ#4=]%:PE'MMy2mEci8XX٫/25uġ8}2ScVcNza;}kH YhlQMZ;*R{pXKmt=P4Q}9"8& KK %G/Ay+5"@si[G_/ <3'mWdR SiѪ]s1Y(Z&n5'U CW+=[I= 9sۅ3@z P*0Pq59+X4ψ{$GaUF :Qb5y,|I2s}zbLj󒔞)UGQ I:gAJHpL!MV{]sk7ViwZK]?C5vy]mv7S"!+"rd'ԅ %E]+ӿ*.,qĿM_ tk ]`'?GfkIтks`:ī=u:x[AqR*EeJ.Dj)CV_StⰲbXT"?KsC֟/COњ3bDt-W`$O~߮ɟ __{Z?(,˪Jx Xn6jce|"8"nU*|@F~ t3۬ `L\ (0j@JC=Gt]_Yʋox4|d~R+[d"Ph'*9lbZ}G#=0SS\5fHO5͉SP] Ss@ :rЙH\O6qb)3vк5GvՏ$}Cw.O65O1cּ #ktՙ%Mߎ/UX(h>. 8Vh3R"VWNv7 Qe%WvRrcNc| ˘M#!vRe'){{teS`6,]Pw .nRvQs'm69^~ <`GxK~U/zBT8PqD44mmdwֹ.*"wM sca-V zVuP*|43!-Z,s6jF5-[ɮ/&=U9y?Z$D?5<_-^ [i- ל[ZJFj|w/i_m? `o-SXYUd7jG* BžY7v%ǰz~> A@7)nxV=I=Z*=<}2̇͡,O`=Go|蜓3AB @wgeB<+qf5D~j:fb֋=$: 2 0ʏe%z-iTW?|/N#v,>ہ ѹl6둇T |̰)j1=|@-Zc`ޏ)ZYyxy#YA͉!)PKJ9zĉq]riZm gҞl0U\$Ag(I*>F aȸAXfib'{SrM{Hw8b]vٝ7g0YčB+\|`;f_h(ڑ^>J6tR,vΊ=55tSu(w@\@ƤXGõ,`zS/C.&=sgAc]jRƩ9kfsS7K Q3mjD1{~eG l 21!.[Ui|dw`b=oF7NS-wm`ap"JC+y!$p~ Ge/!Z?]`Hv3 }ˢ\0&ph>:ۤWÑ] x㏟CL0iiŽ?Wey&v \N'<7zZn`TQ^D!̳FGJjHbjgސVr}R%iU/\~'sN?ChhA? T*/]sՋJ0wN&-DI&$+֘%z+1qdH0$ _xf,N'є:Lnr:;bi1 oDRIc2/.6>TI hQՑa@f$;#Wb֜ 4wC":rb7#,>UQ9}E껥$jKҽ$l &5J/](pd/-jLRDQݴcaxE/*$qPXt"y/`};~ ~ h4բO]ECYӜ앤9]쩺6a//Pp.9M㍣3- 7(^w'W8ܵD@}D>.Ţ*qcL]Qu3F|C J{]-"j$2Pߚ:o[ u{0l/'6XZll"CqDM.ռAL^^_ֶ >Zv/aZ}?o'ś. T|cOaDnI= 8,[>Cqj}[fv`?=g6 eD 4M oPqP3ĺZh/E;;ۏ1kah3~>Ċ7CNUHs$j3RcVyJۊK#$cU=װ?.u!g%Sl4;kL3D 9!P;{Y=>DV.|z\F gN4V8px"d!["2n  M  f/wRuC$JXCh$c1ɐA]`K  !o㍢Mɗ7$ӛv+a]KXZr3ᾚzhx- 5_p=؛&8PDgqd9A#bۉŶD>Moí(eV| ݀5.S[~pOu~Sz+׈搮H89hؘ@Εq9<Jy=y楐1>qs 5oR>it[q.3),U3+hfReeERJV7 殌'. c!ezvz7,I,&I5|U@þWY&& v27|~qe@꾀gobS6+ɆOXqVP6;2cJpIvG \*ΫBqV$Q2d=$r9b¥Zw:i*9tn:2_1sE *z)b XΩ@2jk%Jplf'=wLX|Aۨkw_I·6PkCLX5sXu JBDqypFMTi$դnmZ1OQpufxCg\|@ d8"CIsh|,NSؙM'$ <]'c΂[keQk΄xp*WȻG3 9/(@y[sTB$ '[{)H)*cJZ[E}(Çq# V{8_⢞WZl Mw-I1RB\pD0/БKwBi&K-dte>!~U hC3Absp3@ۚ~ 6&"$ZݻļdKNDPw+>ě}ͺ.?u?%bH|@(FYuDdL38w*Cґ(lXEZjIԍMdV$k\`8hœc]^  H\P#z"pNVyY < Cª]ݲ7FT (€o_#QT𺷧Ťh?vQ'g0+X:D!L=zw[ C~~`,YX 27$QvBA*Y^m.|8N^IXcckVrjg.7Bg$fr" AÁfl'gNr1/^+sQw.=j2HgTft 쯕U[ܳi@n*]1໻G, S9Bfb:%F`-1#`)K{]=BGW,H&{0@ N3OQ?+*B1ޏ}pedžG"=٤>f@d/;٧=gm Y<*yO :2'; ZN @2 c#ؿu3V$P +pMW̨DNͲ{+ɨ)BW빍1c=o3j5Q!dŴבbRI%hl/6 ",RJ!)yC~SQ+4byC: .Lh%?4}KZK30u K`)$ѥ5XhB8o嫩Nt|NC%0 0І mlaOGK lPh2V\6)a|ZFrߡi[䛏).Sj@y+Dʮ\ ѼIQ#ROaxrY\iHQy iVK{H\"@ɧ"U}%;(Ɇu{A|``Cu\PDdF'-** UZC Qc#H%Z%XǫznÏO%𡕆#0xr&YGC%nRvobQ_ZV,m5t?쫁4Ӹ/G-,Zډ%yXDyU Ym|àBM!E-w?|_F5D6p;M{!ؽyz\q{l_ at7,O! ;d9ƑNEWS 8삘Q,H[|Y˥\k82QEw+ve.X)v`xkRzND3^.~wsTPqo ϪjjZpa|]JqK˟ނ(C.v8fga4+ހPJ+4(J~&ìc/nZl)MyNb8zP!>AAxb ;>gFoňRj_O2t-s"6Bl Lؔ]\])9PoJXR*f6}r漴&SK7yCR;?3rZNaH''=E Cuu?V7k1XB,*.AkR5yxU @o- r8+YĠw(& 9tIAyd*CdЏXѿj@F c-I9P;+l L-hEc"r~^X sh%B :w,AqVY$b]}q- 8edp$^C7Β2ЅG3P\J99\3MFd_jZP2M uX 7!"8HRK./ GF*|ޞ |sy Ft i5(gnjNu#>B%{,yO \0 *ڠ Hڙv[Qe9eeoϲ˅3!q >XƄYH2q&gZR<ߒio٫ Jxf-vxZ#(ðFP;Eyeuz^ IwzY(߬VW`]{!!^р!l5#Õm;oI4\S%93jR -6UM- >dy$r n4U#yBxT91F0AdE 4*\6ӽ47VIZ)5qqs3"X\06-vn1rhuA"@>C F&ܙ'AG9`l:8 "݉!ذuˡiCcϏMbWsR)̹`K9B{Az$yzD2$k7K׬So`l{z'cTʅS:F2Ze}qF+P5[ ]\/v_y$ 셢Η~1*ټjxF(JB'S1~>|;js@W{AYzd3I:HⅱC˫1V+k%Ska5)8iV:}Kɰsϟ@ ԃg"&ƜyLsk/.ل8r4SXOulu5VvuQ؈-{ M6cN0Nj