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 E-t< ]S MonoidalCategory:threads=4elapsed=484.741cpu=1189.436gc=91.508factor=2.457zXZִF! v1]ŗXf[&MoRy x()DmXkӡ[:>q,c3On&%IGޗ?_!F\F*I CtCXyyɠD` A5 X0cFL9Ox;ղh~͋B s*jhPoBn}(Ǖ6'RW;V<'gJI@vF5LH=_oA˵(:l?4aAwtN?H7'9u?وp0z ՚[q] fږ]m'34||lb ^=/&zd,Nuv>Zpc?tz}h_8.g(e7nI- x?+nͼ}i:%eT+w wNH#+G^ϩ.0]w;U+/k¼pۧb/?߳KA-Т!gxڠOCC3ظY [@r\w`4פ\pSnJ[_(yz;1Q*'/yvz8WEMFGh p5pܑ͋-n%|N_'G2Q+Zy˒mBI8NK뜘f!mȓhdJ]Alt8oP`h7$9( pt!I*aĒ 5NJ0+oiX[wȈl|q40G^/JJ0=_bs#Fl9D]hRC>Z^tkpΉY|][3R+-Y ӈEK3s4)Wm .іHWR4O4XQ5sU hP(ݾEN `x$֤`#t%Vc2&Q@r iء fdQ\n2D?0[-k{UJ`vtQJ&*yDˋ[+%omuu^mDLX* -v;{N2:oK;F=NC+ {Mjk"!cMn 9GKGkzúϠeF>}yfCr,_8th(1ﳞEM q@23XT;34s~/HskAhǁHf쳸yniƠ&]|c"{f ܗ E" B |M}K]£~dYn$n7c#pXD.N7lqft]}1S88aG'?p9m2t4^)4gh yCĻT/NCxxC+u@L[1LC}&a &V!)D0~Z7<ō\:]nH3o`0c"2c&%T*[^ȷt$^^"E{Z .~ΊͧtT]}PYBEpR~;~bu_igGkCȲFp놸c>9+[>Jixφ:!_#n.~HEw>4|Lr.YЍfaXUҥ]vڃ$k"=)0Pr9xE b$C{gIY%eeMlXx#[eXT ;1I-S#L3- $oX,>n&BTS#-h Ph6grܟIP)6\G{㙁CK w0opH_@('ʜ9U RHU0H~h#_=NV5l?+FkL|A:cfl8+`&ȿW`zv{ykܜ:J1G>VW34iַY;, f6E+ԇXyF0mo޽l(B.b>O^pGu4uEɶYOl_~(s$ YN2wV_dVαbG㘔0|snz”l &XƝ`%[tT̪A-G;WqJaNETdI7'sg$IɨQ^V|[{ @`M@*,f,M q4&^@/o~c̄rc.0)v1#:YiSf18zʄyIk!Hyj ~ -7z&noNuN<#Qӣ);sAVJ$eֶr6-}@ Vu%u0Qɡz3s{_e~ yX2֬~ [:gY,uIgٮmlc\gJ&'H_} 4+m@->9T۷@Er~MH~O~BJ@ հ^~&B{DOf|cQSu(F ̕O 2bٙ^g0<:BĴ}= P7+ fƛ]F!V" 4T$_.fRF6eb]B+fM%6y `QO&*ؘg/5T˟HO3 qozr(dˎ]BL4?߷# pr9t,nfR+:@qx?F{?B!A~dlC4@-"Da'**Etĵ<*&ra) ¨%A?n8$dNIr :XLa#wV\FEnnizvkٔ5̹|eV, %·uUC+] ]*Σ:{*Ы@Mej{kH{wWC=%Y<P㩔1:wSc,I?Gh"Ț%䎻X談0GcJZy@Yr̕Suatzk@_uaeyJl-O'K; K8y0>|cQi喟riV3l_HNY,6:Vu6(&@!,9_t :oLm⊩ej4U@{^q)5Sh&6zD9!{uڦ!At;tتΪcGe n!f5hƏ¦a ;Hn$ 3|přbZ wg@? ]2޻NiԻ$Gr;jn6 t/F7oT `V, %_iyDKu2v6#} (ܟpQA?*vg6QU=!Z*sXeOGYgS4)p=T Nׅ(4\j8Qx S0C0y p*͹"e^-_@rɻgc}1r<1:@m(> gYZ7zXZִF! ]ŗXiɟ.6VPKDM=Ƕ?:ԥ..JSHˋ6s>t .k-:n= 7N.ž l ۜJ3zϽ'D"o34#GezW!Wɰ,gYZ7zXZִF! _]ŗXi%B{$wq$ dOwT_*Mc^ʃ::=H%F"^9,m9;grv}|@aYoLT+.Pgֳ ܌|92_(&"q~|ks6I N \?Wm V)* ѶI wDM ,~Q8}:Z6-1%7Ԣ~&~t/tkRէ;^1/4ch~ed6 [@!F9_*h8%.'^A" > v(55|8<}PO+|d\eaNf[rf H-VW!:z% MCDiD~ },<3{Qf-"ZN8vۊ3ur_QYm>\ %=S` D2qV q9RX) }pG\gDC]ԭ`i{ɉVv rIV*-ɶygƢS#sv\EwA栈^,\f3h~QmhᲚYhDgD]/qzMq ﶟ,@^vq$%qx\7Gů^^2ذ+ ?n@}XYY ix^X{>{-PO#vn?nKfW@4)id{~)"E4#8WyMB3(!0q/rQnopG!4Ef*P GO5O&31=&㭳QԼNܞ`[%[d+ԃ~60@}e4I ;JeXYmK9 +1oW/-f[FCcIG8G`,A e[kcŨ6;ܵ,3 mN4iGۍqv-c>p LW:e.╡bٺ{' \yxU?X1qx\Ip'TnX O.'>_%b>\ Djq- ӧs$vH&sՂp&t*xZ kuWzgğ6goƒ]}6ZR%~W~I>OZmN0$ZVyz7LGrrqN\#u8]6`aDkJ,+%ww-8[fUu¦)8ڏv h]ŗ1Z@h>EPiH #*nӌۛ !r.52ͺn ZњCSG Wn sش _{x@ۣUY}GΕd0#w{N Aup[2=m Y~|6y7UW˅Hƶ6rĒs8Lx,6SUfх~2-aOȝ< &ʰ|e4[)m|Zgt~ka)Im~Ԙcڇn H)KUjKMu d9h`8L*Ukn+(Jcy ָ6✜涢\p0#qMbX%fYaW./ύF!ar"d.Cὰ0;)/iSĹ-/r:7ȵu|m1w)x >O=O&3z[m-eLRkEWdɖo/t!#NËb;z5ͳ"LΚb@K! ûSXk }_, {O(0y$n=^4ňV)sa*o*uEn:.*(EV?lG^BAˬmr:bd{h P.g`&N LotNl~8~Ywn0,u YLN0lvĀԈ$Hgc2z+߅ʼJne\;>Yݜi/pp쐂 #mhX*5<=h@H#E/j`4(ϛ昅QIq﹌xD;iy|i3u<(BQyqr o;d/Km]?&xY_q Vet͎KJu?.װ dl|[/"Eo$E(U*Kx-Ax\Ԋ{|򌉴ً/`U)kiNYdKGGʙs/i<֟Hu^w%iΓgȴ,($uݚ|ڼf2Gr|pR ͋ON ]Jݝ6WԌ%1 N)_$o  [BM y% pg#|' : pĊߒl.HI|e"7cwFLRf/R?^0p%(O'-aw-._Nsz5I)I@CdM P wzXMYڴ~Z)o}@Ѹma֥#pFIe[*o? O_3u0Z4_=5j7us86Ppd2H/-ˢo*A0*9Gt+֏7 ulE&yj3%9I:$z;jh^RͭaeSZ iKO;0ZxaC}s- F֛B9kwIU+T#rp~X3JTm쏹c] &[%U;iÍ՜͈h]u=FohF@&B=$a= _Ʋv%J}ՏA@I'fP;/cf q+t L(J&+=V uE܎`&jo{g _f8_pMNlQxҬ: vi}(g)~ ~>-Pbw5:60 z(] K޴ Y a o^"Gs3Յ866ҾmRbPؔ+ ^L&U#U6߽"B'>#KU$)"Q\iZJdhk{lLl6֧/Gw5>c}^ll5RMtOTkI8K9.Qݑ=`!GGuf?@ػ/[! \A&: LGRҫ;c,*Y8BB3G^'"sHÕ{p4Ǭ^:U*B]n6Փ%&ؚɓt-2Ů ^OT;t=.HOJj0V׼5} ñRT7|ه) r:յ:v抎0E_Bjh ,.|#\hA5f"A&=4R#P떉LQH{U\eveL<4\f\dETǰF ui✌vj^砞22lJ6(=u A^eJ=z[نcȞi0jyvEԉ<_JkB L(E.'#Ƚס3;~ZThjAji yȴ,u=>3ƶ&~$Ϛc[kMx.܎DJ\3W߃JjDҍyL`wm UlwNadwmn6'yuTZ>{*QGw8"w1t`>w2y(9)W+ rӱ%o|;Nf;aZbo'6GLRl҅Q&h զ[lӫMKFrb0 p(勯nu1|bPYRTAFLMR:ZPt\Yl;-VGH!T=^W+F-t-P C C![%"tG뱾.ԥe#|p%8H)f]fi H@| V9'( Aњ/: n-d٬j#״r0B <::Y.zs'/Dk/TU!1GR Lxʯ#yõG]Ghaadxӥ^NJK}*Y41[_Z)? A)ɹV5Z1v~6w; 0\UA6 fjz| *D GKZT JLFH 3Nχ@4BlY*;Ԁl@-T%l>DH4~M3FKA&ÄzvS&6.;uoeFz#Qy0j3!R*(c+Ue2(/{ Sbi`1xl$ ,Qj\[=v<A-,"W l@aMݯ?ai Ä| ?Rس:>ub] EM4=jUVH mGeBCLnI2YVb҄L5>a|>#*lmJAA,cu%GGG(2k_-#g%Wd~Ff-&tsd['PmJs@vm>R@20I^Ha\m Uz ;.`6B&nAedܿYHdYqUh7} &g ~ݤFMrwvV1_]5g歘3'}sc 笤_Ce:͍S\יTf&&cyI*zDx_FSk=z=d?΋l }pS!z EM$,R4rgnX|⽠JD.R4?W5F|&Gt6Mܟ 0p|.2U2c5=3 h_75%fo>z)Ɗw>@0^:ϰAu2c[)X94U:{Co ΕI\H$XծwxM*snFRJ B v*#0G¾]4E[:Ν+?10I+(2tN_xriXw J ]kك N`ó t&\ΒdjtN xg['m |jW_[JօБ_% mW,δ$|ai|_Z n![e*2l 9aV6B m;aPǛM[0hO,:251~HH\~fId>`ysj]'W,>:|;̡g }r'_TT+{Dz>[ 8H6Rt:2`~3uܙ(gofQ+Odrꃿ:P?_v^F]ptі)/0 g9 (fQ΢}vaXT#'򭬪>0ɢEg$gz 6j@_5/7du4Ws+`$~zuO6MGTgY%/-\*IӍ0%:0LA #?S/b52DR>셱[\WXF8mcDsRhYfaOL@B~ fvCk]xLWⵞ1e%CXn*xdpH0zo$rZS"mlsC~L sj"0!zVFwH=1VRUE s/>=}zFItdW8Э|M|UV׵T#nALuEr<I ^3EE)H`t3k]qU>4yE,%anO(V~3Si3U=G('-^% Qum$!AmkNE#d\#3Vz||U1qfJ-Fe2ݪ7XQv + dsӕP.E ն dGR e*%i>^S7Ѩg?~v'dAz4z=۱m #(9%Sn٥܄Z4jS tȼP`,YPzpe`#ymh:Ʈ[y4ד4g 9b[c^+T4U $TfxH LCPb٤8[*/0xKW""`{L` .:.Gh.-DX{SX.Lxol?"/=tku0G`=6j(F'D>&kT\m:.zF(i5?Btm[W2/,> X1N²xнtk6NjJ3b@?~v˙&w6kRjKo~Mr q.V #SCn`:{R*߸ٷ;@R <;PxqBfIm q"&TUu"3 a^w||nV~|*;;V߹ׄbARKX`㯚%EPe~ɜ㿫ڱ= AYY$B Jq a {G D֛Z(Po]@g{n"#Rd1L In}?Y$ O ) Gxda\0ԬF::){cllA E^[xdě+p `3.cbG?C4i JH]bYm%b6n^b26+,h.VD?ԕӶ2z`RiGlE}؉R^ 7 Yx:>3 : Ǟi +qrIm~7s2ϽL9yHĺnOԮ  ?*H2n|G%ϸA!jTET>1# e[~AGU0{TE64qHr"k j0+jz$aĩS=\wS[\ Llht:Z/u. ^BSDGRwm P@LͦHkHZ4^{XF~6gy; ,~NT<;(~5R6g݁3Հ}atE8+f5LYkk_;^⾃3kv`hmr>Ƨ"PlC38:/+)} Y~z(4`򒈕[PdAfjcS6d,`x. [OƙNz| (vY1d0Faݒs^P';_dX+q:4߅ж{L?c}:T%/} 7Sso$bƙf6zo_8T5^í+3v+!$J2yM:-xB}#/i_D\`(H(A]>*"wN$)S9s\l i˛N"6%Uڔ;F4XhYXryۆp*3CJJDgOa1;~tc@ e c'Bф6`9Fnd"HlO2>k>/òPc8:8S?A#P tQJU#f+`fx떼/(.&/ϵH_.滝NX?g74eC &34P@pd|BygdəMdۇ^RYF2`M>YL9#(\ՐI⁚+Ccp`Ukn[He:)Q/!zAIdGQHaqu)`dJCqYp 0Z6FՁ XuDҏLjcne1jq3*%X!'weNoHP>1ҽzH0eSJPL&[#$o k>Qv^O{oFui /ȁ:AB~wglxKONJI"k%v3DStgɄ'%0:0Ht"AUƄ1cg8ckPfC6\_sqF":-#<=z.`[9I5#gcYUZx:-$spB9rN]6~f]zL{= /Fh_0F?mu*m[^HёYJFg )}^kpX6 hsVSkX5k Ar`d⁾1ezK[,Y-h05[%>d=nK0|3|KxW85kX0Wz0<2!.Y am˝H4ooYkjvf%v/tU 'B-߭Y˗@X QQ:yJg&) M:f~[vBJ_7W.s Zh@ Yx"?v*fy?r'6LԛzEQۢ *{hYKHIev//O qoȋbxw{U.3:|G@**0<`;Xy~!#I=?S o{*?t|E `*XY-wiz&* s">QK5#.PBưsOP'H yZ ̷dGg9 fNCTfKyzgJ5\" ˏ5b[mZ']s]ƣC yy_߯o /zyT&X#p{NO*">L /T ͡h/ ;_aO&KJLE2,JnIŐFYWR%1(-S\o^_K_ϞI(~'ۋR9HB5OWI8vDv.lPz,Ub(f|*~)@\8\mixLoz쨝|ӡ}˂7K¹gOX{ǿ3WiBIY^΁5/tm)q֘S u]ӽi~ 6cEӚU b_ioVITt%sF ;} "X N5I0װ$:U{j؂uE+L係Prn-u(='/~Iodb޵,H 3gq wGF1邋=: WF {Hfԝރ1~9uW_26WO$,qv "1Rr3|ݎ༄D"Q-+ǿ55Ȝ'\e/FvP!Mƶ _kCIm*M; <|"1IC'%Js­wQsse诠W: ]HHbO(s!X!qČ &4"͎+^i|Bc^ܔM#Tkn8MvsH^[&YPD ґ|kD\Ocjk$ckT/Mh#{ovW+$)Cz>o,)PIM9 Fϳ2?u=S^fpWwnާPHG=h4տf>^ _P5&rZ]gȡkOϿaYR d(y[v17`yթq~QTz:,!zr;X('yBaX˥_HfI576H7ziQGQ~z?aǃ_ψfݣŮbY:RN6r*8+;׵+O;NN7 g!$^[tբ3Ueʼչauu8'Ԧ%NXw`iAQ=>+ӓ7 zI2-FI k?/hql[=(hJ RT5޴߫ӌ!rbc1BDBDJ:c(kpHW8ԓқ{nc\qh=Z*@MɖJi;H/Ƶy} ! pw>a~PxF9_Ty uyĭaWjKJ8^>lϩ=`nToC) A w"pF>aB՟w]([ӋˠUQ(MtVWt^W?"Y]A8eT=$`yhK- 2Yd䊶OõR20b究?6O-6|Vz. 7ޤl=\[=1.bS:T䗤0=LFsf&<{ߣ$¤;XA49<+33?Zb9HN,T:7;e(=hh2әh?hVL, MXBn2;3ԟUɳ)Ofx9A穹Îi!/aL ^A1zI@`?h$Ɏ} gs|YlsUitޯ O8JTmST?9BN$ 1G3#1Wsd9X'a"0HuR^:8IW*UU(rˋ3o wC'&zPsMXa\V.DfBH kamEqN#t>MR%WN1YqJG[$9pѶzIX(UBS2;z:XַI@o4Gk&+Ύ+O7Z㇧gsCDL&7&|^lc{!@ePuK(?|Fэ2 Iً/92y]DR {ߚJHhG J{I6%aw5@ 79gH/&eWF8*ZGpHZkoaHY28=ƨW;xd!1Jk_5kbQH|zsv۟6dzi!Xÿ\}zp⌻EZW;`LQߦ0~@Z l ܯ3.j4H/gAP}q=9_}S[='GcUFi2^Bb˻•[ 1&[FW|/-u#֓X x/Qj9*'5 u e|R[i0`u7 HUd^v[m栅jwi$#C LmԜ*^a2lu/ǴuF~{9X2kW"-4ΕHNҿ/N]&ΛLW>USC7I`/N]xדǒnRRR]JYdK$ ӕLI mnjQa U/ v=;oZO}8.5*BG- 7nutYb HUC:K lzt򫡉O㔗ÄN]KU jbVko5_ZbIӳwN!jݩ G=!bP #GM@=dR-. y82Ԩ/LL?yNjEPa PHrY/{x ^Y]ɭ OeF?Q#!㑄 A ;MT;%!QLQnn_;_<4>ӾNFa!*'d>/RI/t++n.#^q`jsLP8bX6&͘UCw}0Ε%R&*z)>x[x܍% J~*3I Z~p'beIӢB*PU {gO6&/ڔ8:3.O? p@.`%ѽ,^/&a 8# 3 Q^(biffI%3lZsDU[ mvi[ w24zEJM_$);Ŕb/q^h({!/eB.VEtsϽUKZ Pp3n-/22z~q—2r@ƪIOx"QnAWI,`C{:~Wm B|9+<|j> ypd$bdwL$a~n|1K;?Vi=| OJ[B 6HКhprBEKW@b$ D+ O|;Ţ/|1{D$MF4}wNxMC(Gۆ)>\0eiz'jϭ'ȆɂHb}a;Kச|k"O^Cf9A F3'-t1IP Pn0Ug ᳷?,'V8:LyO5U?\lь0:{j-3IZ,u&0&:+PlPXDq1K<,cD-H~#;_IW)KASoy)$Dg%ᤅ4dʊ_`P&Q@TRk9~4Di{_  ?QNQ.T.׳"ZF=‰ ՙ ^z{J3On,vH̵+pq˨n{U^c!T>h5}j>8\C?ݧ\(&@ B{E2U<6Sqeo5k>({1̧MxU(Wwzy.E !E[_+|?Y62#Z5:νշDB a>tx^200'!KcN%,e902N.c:\oyO9CLF: Hl0RGo5~~##Fct XwRc 1J!uƥK!2J/?sbCڿ[c f?(ofIR~g6"CX)$+Fnf[ӌ2mv"o`MmYg"솸mlW <1i5\ @X(81"w?d0mcE_tDžGPuP.VFhdc3}Ppy;[&H c/Ʃ{B.+{\4Yr2y[b쟐 S85QENN-ԻuQ09z@f׵BQn8 ǘn\l^S- ӥiEĒ4jOF5⬚Ƅlx٥GꖎjP#q6 ,Oі]Ee{w2U#0̗-4Y??#>5C"kMv-|^qB"$2ao g Ф?)@JzB{Dt#~-,S]Rh9s6W%LmL&~m4v]/^4ybSKyۡ$RoMq0\Y +>lދyeSЪix!YUj3H>Q2h&t9dwQS1g[j f'-ݗ f7*!vπL"%[W]|h"); T,'w^eASo R|[J& D<{7Fi#7ҹY[4ܠTJ>çkp%\ٝ_^mcm8V+FWa#3Wdg0ҢLi|C&U^s\ml[f2ˏX_{VqW=L(ƽNaּ ˻ʝiT.!L8M&= y6VL6D h,^E0- /{EQ5G4դXl"z0ՑU묄gV1\] HmN/$L I\a30-#26 ս\:pObl` ٱi>#Y{z.! oD49Be@GqOE)%8a kt?`ˡ+M Bi]56@Y QZ4}p -5Fg@c޲ҹYԸ-d zseA})KgPjw\~[Ԩ8r7ɉ7uluR \3W)rBsgi~A Z,bhC}BkQ+ lnxIDZ2ٵ#DW=RKf5ޥ5]qL?$["J׋4K0q9 !PbCBzN,??mMu  u-)$Q1ާ)HY{ It8s(QRcVLzIqV>ⶪ[^ߕċ(+ ;|{]\M?^̜{\M:pO!}H5/$II=R]XPakcyXA1T~: 7 jB(QnbFZ .OqƻĂ9u;'߯ \ޣj;d ){T;O6ɮ8 PE❯/ZN{[1#RN]0,u4Q莠&PΘ3z"/Z7a1638fS?eW}Dp\9͕#? WO-[!sl}albsi@$'^go1l3ƕ>yqV+p^B Q|wIA!Ylh)*qE'~gka.8"s"$nٿq&A˨tn0EfϏXz-d6U 2&: Oū\z/Am9Vʘ0aC Ǔ]_˫2x/F34#2+?YՓ\1÷LޣλtKu{RJL#ΕӡgQxyƷP HT̵}U+/iS"2rmS D9}z*&j/69: $Iбj{ ?YW" RLZx̺V42 B ^qy|ϋ4mmhm\ҏel߈Q:˘Q W#vd;6n\n~CjaP_j\8^Ǵmכ?9>99 nm#2_k7!fijbqOS2k.cٿb%F=3&{Ɇ blS/+(C-^^} w\zz_?0L p$e4 !w[Z=:5SEd!glMo>Ͽ^ s窟8ۘB [|`HmV{kAѯob ;&&gd'nM]hΆznqG`(#^uiy-Z2J|N~k' dB15|xi(jZ>MCzX?:ӵOcd8q`bېf  |#XHru0Ѯ1v? hOYa_2O@rzPzh++~*a^]jv RSM'BL w`{7̎N#ZQ=^,Q@j5eJإ $;|P xln{*vg*˚}2Eg:.REB"e|96אжVdSeqs.-EU5;DILțah n`DOj%jЂJL'΍<}1+a t^/n\!h>K B3M.BFz]@Eᢿ0 J[2=ٓfDžwin/f'|Cݿsv .UlK ('V%3[ KJgE M wCɒ: ,|Oʏގ[* u,c\60*RjĦbQ[g\(n #+X!^*/A8IT힇!fj E+-R܇a#EhW.vTbPi/m׆1 ;3oYaڬڮ/ L!3(ߤ( j1aC,?0ϯI"lډOVWq|Tj$x\#x~3l Zov9 @!%-8smUtaG]GSF_ƐMhbxݒR]1`x)2:OM0Q3~ruDzO^ U&{o\Tj8\q*' vφLX"ZGU'3a/1P4Ufi WmaFzdX 3p)I-M;WD!+ j" @r 6iR)mA2`Pt8=.;U/?ވVd΋h|/2R0O{i&M(-Wo iaVi܈ J`%I!{pDH yyhN:)LsĞ0ђu`9U{h|XK&1BD泶kļ;F &Ҷ[-s,u9K_[3= '0G*"0TW+G<"n;=DK|rTQƥӄЖql=wM&$7WK2VkwIOavyCJc`]')K?k2*׷a46_`V~Ek#jb xl[ WxQͭ,@Š/4L>j$nGG~v5qI ke RJA_H)D)b#xݐ|21I{qѐ).z~ s`mc^ .vI'dK> GNUcĕެ4z%p+5nI9e `kCӸ2RT겅Z,ڢpZX{?,/+lz0cU7> A]lUͳBT+FGC ^:bNTA8^O+#ԭgraFnnlenB(0{ۋk'Re4G+Ip֜=D3GVұ 8^a͋kt4(FC0SOH|/0awQbNJ!XC Â|T$?bh}tAN9nVdQ `7rtv,Yl_ZXӭ`c >DآdkRcBfH$Rwf8r;WHJnJK6*=4"5n#> R{2w0xBy?8f !V=n=_& }Q($sYʍ3"ӻjTOwIPx.) Kfj}Eh=:ɮ #PU2MRhk_=^ZtYˉhQi}Hݰ?G xxJ-*58m> VY+ {"~m{z=`|~/Bd8$!L1\cyn8#vBrz69@Q@;=_Va׾2fP]xX'E_|b &q@wW%gpI&.MhPܛQ3)4z""0h؇0-` Ncɟ}`>Rm4q$bX̸=)$h8e̖|=Iͺ曀Nc]ҾԿºUC:GEbIN`Xo^qL:=y85g v~=5 B ߍtʍԚVHdr 2|Ys>y:'Qx6(Bsܳg #%c7)wStׄ1Н .u[r$ȇtz$ Q\%&,]_5-q!!?uLKZA eNQ$[׏?bd./=NYnD-Je珞MaReǀ(RߖWe<ڳ~hs?lVkݛҊxn !U힓-F` _g01;x.PtOQvzOZؗkNGՀ2?i̒J 2RSe!Vwhv:FzU܊hBێAۤ$wɜ'9 hEr(ّSc{HMv&DΰfpVvʡ[S`.:|P_-zE9VBR=]dvQ8[HӢo<3ь=_aWc [UKu[blB^bg+Pϫ(%k hq$)r;Iu`kOE 0p @LC9E%Bs^96XĬeO{ky5q Q3ѹ FothVy.Xa6eBkvڇ5L?Qn"_3jCPYd߿s%BQ)?ir66=9(4":2,hgFY|rUSe]@M+$aFWFXӌãgLV5 aɽ*$eAfJtg<Ж߁ֵsQ yHSRj8Tej]‰d2'cvu6Uh[CaEZQM8";o{d.Ѕx/fX* ŏՖ(+╳4@_Xٸrz)\1*6X.ntvӕ>o,a;.,j~:$9BЫ;Kqs} s<*j(LuY9U;[P \eMޔp SQpkQ+へO v҉p|]ė|-᷁ ~Ϊ9(~HYueѣc.0n`5Wev. {İE@҇5*T7>+pZ*zeWM-`Њ~"̙whݤFVbxZŋS2$&-Z#p +,V}WXp4_>sѢfĢw%ʛ7Jd$dvHMMm+`_MW>=/rvLtܡZ-98|_$T%6%0`A;gTmӛm/ë7};S>$2]&PӉkQR#+\4D&~CT1u%`~R/=n_Vb>K7 ΢-/M9ֻ DZPĽxvUW'|p)aIJنw: ps8{-y]R޻&| ei,a@]Fuk^۵ mH=Wۆg>@W1u1ƀ"2;CUp; 9 }"Y#e,JΑz&?(Y*xdOĿcx6B5x%o5p Ex|t*v~{}:J<Vjm. gKdma{iEcWyg8(`sJi+Є$%-{$7)dB2Usj2oP=v';&]HpyD}m9v4[Օ}%qۧ'/̟۴hߊ~R]a]gUU }? XDК#N f~]OT H=OđO|۸]d$~LnqIaSs -tIy" ѧ?>YmyU~/TbxBuPT3|AuԱ'$xhȶebzD!nշ 1,4(SM!4Yjujz0"/L|oe!a . M%/~W*Qrf@J5*XNOP3i': `G(bcYЅů%&6yD:pD\J87F =q=]f %zzZ8;9IsM;*Eo'H)!YZMGaLQIj5ȟqNa+=|ŶfR6zb-5heU< AS'g= F6:r%jM]mt-}BQq^[nqunb^s.x@?+D}my) ]2Yx㘳{X)IᾱŬXӞ 9@^MbOW|fs #/Znn4edB E߸ص?ccQ SJuZ W^קc:z=?4ƴͿo"ogc6|'4*4ns+ƣ¦c("LhcOKwJP EJrT`~+2I#QmOl8|ykOmC1Wssz]lٰWq٘٘ ϮAU(I!M~8<>78oS'{kjׂS k{3.떯X)}#cVZLHӸgtFo[3+BүHRaK yi ŅA=Ew pc \qug} J|L毙´{Nz8EXac#Ck@B'_hg]rѝCmLs(Sen8 z@OLx uhcnE-']t0F㾂g,zQRxVQG#-dm/3d|lB&;$GwPt[I FIAO v `=:Xrk D}B<k؂Bj-5yOscq^5*r:Cʖ#c!e 4M[|ofvA$$?TDUeWVTcHuj#a=>\>iA`|W_gT.p~P"]'}&: rgAa@ sB+:Z6~>/+}9ͧU$:7Ƌ) y AT`!< 1u]|f8㔅`I+Fc6؃qj5l\ e'?ԒKH5G/a;Ж)G'͛ ]eCJ 'pqH .KW,Zg.F׏Z@Ody61!o|6^E nw20W!UX%&ݲ$[WDuw$%sjz-S/tE6K>Qad0f탾 @&Ē!v62D?I=]l}R,.iFyE\0H^(;lOpOv̚HdNE+Yp|BA S?59l}LTS#f ^@{Nu(X]B)F+W֕JĭW8SFzeԠ0\p|=qϮ66GŞm WEPsBV;4P'^7b\5R&qcZY{j\nWF1DsxޛK,b?G5^IH Zx{5- <.2Z^ uJ,P} 9) r~8.TTH CƤsbUHcV\{mV$4.h3mW%LoDSN\pT0u_/XƝƎ\iCَOj-z!v\{A>Gf&ow,bΗZyl)>{ X3C3/ryDV"efo :\ϖ{磿Φl| pkp''&&3 ^ D}':pկ.^dA7j%SCpS)v m&}Z3ՙ-|OTSټB! Z\ikXe췎0rKѓL5z-2|P_V;X#d5eOhd-#ewSǮ"v99D?Ч_X%` 3&O_/Fxm*IpC G}; }r61En.Cց9G"BAzd, EO; p׸܆iתY 9rHZɇOZܝƕW1'F ec=NN3y.GFނ|6)ؠ/Y6}ʅd`(uK; 뀹M ƒW1 H'RE UK<'3_чEѐrcZR |xݗ Hd*7+r#lthF;M?gTN( c4w!7$73$TsZ#jtZtP/3c ;[MI ŷ\YG.&7%Лq#2f=d:A`6\HL& \$EO6gT[T+ƛlpǽ,/_Rrq>V&9!/3f.R1 mN+I`GWSלyxD0IIzN% %? ͌֩2PI`!o횉F[ҏ*+~٣EgJ_!?nۡfLA4Imv}T9yb})6:lenFQ@ē* EӯNU7CIsʙ1|2 LD-%D+9Iĉ)8؇CwOnjoV .F >2Q?h]!s}Mi>~$Gn6*n(l\+8vx-Cj9ֶ)M}&d^iytBX'U^ X++O4+-ﻱ_'Qx('kd˯ABnS'- ۙuD)YL!*؛ӻ"Zu{fBM:e 9ƔtHv"H07Əwo楗&6Qw7w5^qSS}ڐ4e,o*=2*3i61#Pɣ㊼K?{HN!8- t d'f%f%_u,\_\gA?6zdà}m< bѩ,HaYFʱh^a;=l>& fO| mJgB8+f tJ]n%<ՄN݋z}wQ26c%]FEGn;Ki2Cev RaU%pVMPv)HX(&Yѵ.k-#%LeqWob_Þh٠?vs: f7z$)Ȯc6+%NqR_wñPۊ cR@Qb u(MW<ɘ~ƾP,"1Jine?KprT]G, c#y^˪Gr̨5~|;qłv44S@܃T+HP52tBBá0sPoOHk8{'[a%kmw&s YmuH4n5jT$^q&zxpfU$a(3[kZ}X@2'd]dGyE`Ii$I&$އMH~DasJd4D+i]488s3tEPi?S|gjㄑM7spFhaUziɞTh|d#Y9%~[Ri>a܎Ug5`OrJaϕH 9Q|d c?/ς e7yCÃʏ?vch8'fuc2=óN|v* :R 1`3o褭 Ň& K&\)?ec]b._2ulv_#p+T?PpJ'W1{ˏ/..2Ohrfz2fngTVb@AiSÄOGuYfL$MX?WT:4vKsAmۇ'nBHѬGx䰫;]{_HDS =26x`='ߢ-`JKR9 h6PRua fbVVjÃRF$ʔ b>3%i&yh W ;b~u;؅Uk!tm#_xP("pm"l1]~VywP7o~h$@ 2 _l13#ňCIY %CCͬ^DauxsWŮ=z@nozPr:Tn(bby6yiυa},S<2궂'?B9J̫b:ȋńh,~f漖nJ죂PNi"< ,( WHO/yu—͝пvr4]U4fic<vܥdzLM&g G,眞"-D /ZtkU^mE|+HD0`U:.pr~\qq;Յ  \䆫թL?{lu$ =G4CkɟW aѨ2;:Y1c8WN ÏHhbk9K.;ȃK)Lz (t{]4ܦ_>!⊊zΖ1m5$;Bh`.Z9TK]KܘE_ax֯Rmz #I!2S,; 6n? aG{5 ]89TT0I8rFNFxI.) ྕ4:׆_mXq@ѽ6EWa}S6?Bd |%Rc8;B, ;![4wm1\:|bp9BYHchFl<°l< BgD)ݬҤ6Żo.CL)˽˸Z42u<;`Є!>18eK"טQ98)%=BlfC'5qJ0L2-Mcƣ6Nv/of֩9J`xIu6RmFC㜼 YoūY#ܖ]u+h\*W|XT/<&N[EH)ozQf0Dc:~ۧrT]+bMrWhZdm0yjX{p 4]8IvK%h FF`bZ1z ޢI91'%BS.HmK.n +aC u-o}*g "{?/+*q `Hę'6?ղ;/dMlg@ƖY< hlh90XUx)$*YHMapX '`N_F6'>cobr5 -AwT_!NJ$IٟQ maCӿ%'B(*W~WdfgA b7A~{SS"C{(,Ց{Gwomddȅ*\y@hw416i>@k'[) kd0nA<`QUL+'!ר|2wV &9ar*]p4#KMиJPYr32㜙a_ZW+{1hQ*&Dܔ[V*eIT}aRb8VFrS\`#aW P0@-N@s; Z> 壚SZh;/@?˷A?T\:'P]DZoYDӇk*F T2&jd2pf*@ӂ:ZSw7@fޭVSJRDp*KxR $3=Zr%m&uN(Gz="zN-ԩ} sn`j 8`%>88}궡mH`@c+ktb*7/$6^\|"hV{r v$+?cdA7*y$#]Ƃ>O[@Ѫ$"ȧ;SwΡØv (Ec ٛ؏lqT/ _ӆ:0Աv|\nȶ-Ym@_cpi)j0Vttzy3[ŸP:uK.rKV9 eGZM=c ],-CEK_ISh``jKh. B$ t.Ky>"d'\UT4%Hg׌?z_FϦ@4׹oZ