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 WWq%T$ ]/]HOL-Analysis:threads=6elapsed=314.225cpu=1656.852gc=113.212factor=5.277zXZִF! Sb]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jm״X",AT᾵>M^ɳ'Oi<~UQGvcؗcKJVC@wAxd$eVV%_VWC{fωwetJWpܖP`EFѭ&b6b7N{z E BsGf\b(3 .?8Ha1JpN{RL'I*YQ+PS8b{8g. l6iWX%"@"<cxw2Fo{$ z"fLFmlV5 zBk,C5c/{I <avPD qIcj08 ?Q]}Jiel!j)o nwӓژ"w g1$5_kEa0þ\MC2OUL W73-!?\Ƀ%j\kSy[^ӂNUoivX3;*a@-Ŀ_-LԿ'7e Aw#obT~PRhd=%$ bG#Mb(yD3̅[%%9r2mb6ڸ)H(ި@r|~Gn4_8Ar!(dR6mt`c~08ze/v0+ZWaW͘3/eu`Gux܄g_RQИ+Z~[.͒ʷ[N([tՋw_t9S.oXPwƀ١Q.,8hueqǠC(9k:8ڦm7TPD̀ 5LVf#Y,мv߿s߀xdӸLb.-["Pv{ 3V_Fr6<NlFCz<77=\A \|"}Q§zrt.}I8qpC?|~ro|rKv(]QO QjVGj@{>V SO†VKK,ǒdtr킎LSl}ʌfq(N@2xRؐՍhYDl̢}osL< ({٥2شNq㹑|k9q8RAh b;mAEwN'瘈z59?UJ=p4y:Lf[ n '|2V?XpͿ/R$5ǶJ:#o (c]w1^ l:Q=7NAէqЭ:tֆ!]]r6ZcG)89'~YwE{KXAz me7%z66K(a<邶DvcqziZP"jznƯa#PHoӺNE2N;|PRrLp&L/IγX mEP:曅AcMjp/qJm}nPJX֛S?]|;z6,"_-s;T6ć;[r۳њ%95ݘ 3ET]e3*d 5a"! GHgT5Y>SA\LT%9t>Z54wv^̗WH.wN`#_.Z!Hq@=InbƦ/=߲>VBVv۔zY6"G;nЮ+7FUULA.T"kjpYyh<5g7UXbpM ܩ  }aaiMB2SiF{Ֆ\)|ѾtevH}7ԫ?!(d ] |Uiq2ʜީ+ikx&QRfu}ylf:9إ??_{v 33L PՕO YY]?wH-m}͘2f8 Gt}9؟+_ f '8q/ϬJH\Kܞs²7 wTƴ!;6 @ {p}p^pg,`PfR#g <=э? -MgG9 nu(^)t7(4/yOb#[14£irse5&#DϕL\!1l(_;uWL}.E垂 H 0VV8I#quˀW2L&}8s_y U;cu_:A;g}^ vڋ:1|=q)-1.ZخʏvG$X1G遬nJHuA7UB-ȍRyUOTȷfn9 w/5pq?d2x]FPﱲ" ,ƥ$H ЕUHK\Yp@SZ - dD3OědQB^#rU)+ 3^Al3Z=9ہYH`4v /e`\q㱊1PInȂ-3/La(w{,릂 f#u *)՝| I_JIr 1j{u>b40 ?, rVI?X% /Cփɸ'u!g!z\,.|@oEfm=R b+KS@?"wvGB**aITU7k<,^h &5y]^}fy+ 7VΕ 0BDa>bc&՞^ǢYwo`uu$Ef3Q 91Ͻ5vP$Q莛Qs=3*@$bꑛ "XPMś:?LPA‹ZyqEy-Nv?t`A<%!ĶVc-nleZjb*hCC*!mrWDWŒ1N;$Wގ%"bډlm^)sX~?u4*Yq yݳFpڗ, \շr? %ouܑ†ta~seCc H Jg"ɲ7@$gV˙*9@:S`,m7Ϭ#"LD P9^)]GhrhG)d9)A.XzY¬ bI;!w˩|u$lmQ6p(Rp&+@u"t%E&WTlg*9L4SzL)c赱B鞕IpZY{)"ݬW:OII+0" f|}ќLԧR\;cy27deC OSYÐv3ݐ@/^Dy=lWqW-k|c'w0t436B<$[SS{ĈX2Y!vM``U`SĒ&8~-Ǒ*gԬ⌢EK<#hZQ `7qBFBa]yp i窨=x "Z3$ﶨl[Ḿuw2zqjނ^+Cs/lltU?*9f7/w\m)X䤰ny=0 x)G٭ Ci:+Aypen_B = Wf4%1YoY/<""R56T%_NeIJ q~&'G^/߼٠P>43Wos+(.:tV^&M:9a;k@<]ٴS腕- (Szn+||+z`LZB Ķ iM(mEA3tm `lC)&/0L^UR[2b}.5hz_ksUm| e o+ƍ A ᧱ս'N|z~SE0K 1YaB,S?][Ȱf9yaa UL̠7Hͱ!ZS׬{-U˖ckS֞UD5G=m5K[ŲPp,3L_YuUsJ|Hǵ0Yb_*TKϸy*yTޒB4SI}LQ4NXUEC%[#~rnq]-}}vulh Qlj{-FA{<LU=>8S)$J{uqt_#xY]]qtV'gc` 6C^@no~T`%zQPVtQTʃKazg ^Z%-7Ҥe~ Ԕ,۝uQ,ڵyuhS@UNn[i:5LwO!W+2{3|6w}`@F8A mZ_Pl$h=sCT-T΄`=p #tL9Y0@, P0$ۡ*vS؈յ#l p=FƧ]WJZr!u1{e>27%#i//_Ȧ'؅M@GYڷ&Z kG4 e# ]pxlz-4\꽞ϔѵfA@sr>$odA }u&|d$mfb<4NhR1X'7;&hgib\It?h5i\nXv++$rt5N`PܱR0YW+gZ4<GQvWu 1{8ʈ*#v(7x>v/n% vյj,SByܠ`k6\ꡇw<)@*G؝^?WAgj~P1N5:*9'"kbfv3Jr7pf):9^S7x9U#mLhۿ嗀¼&Nv,9Dƿ*΃"l# %iڰū@|Kij8K-Nh  8@C!*_`~tkZ\T})wXD7Kئ,(oY$xL^1C)4ccHEc4˱!h<=pjAi#-RY1d C*2~isji&7=$)qL#mqd./6;7TŘp]WFN뙖H2z"\ < K"I(+@UXnELڸyB+Q`39ۍKIUT+ΝȵN5Q<{@>Ίrۈ0@zW5uFE~ϱa Stf1#BzE{L}E3&5sZĴciB,5g6ċlulI(.5-9p;6/96[ꬪ9|筴1ǃWv>Nds)rW61Xlcuc:㺀 lv{f6 0t|Eoécp -k55dd?Ѕ4't\EhE~3 @:~H2 9,X_:t0RK@%u=]TGUb{(ߎrjIЉ D蹬 c"$0󌣠U^ TbpF1]mOĎރn GU3A *J}(%¶FnmTԯ!\ dC(@ ׾7Yɘo\M3+_N <IAU#lBwi~^N]]L1 s}yl:$0cqGR pA+{~RrRmtt"kȜhu_ُ:xp, ĔzLf9c, K81Ш>:=%I*A4߶ʙh *؎]m}yUM!=4jzyş%i4#D7i۽Fn3*Q_-Q>z-PӣtTK҇lmS͂7eM{4 N3srA+g-gF[V-{v8k#G%::Ĕ|LJЕdXhhlHQD4 6Տci!-H&0a\޻bhdv_cFV_QCg't8&D/pLY_ʧ(:z>^oruqsxVac9Ȣm)-5o T<1y_C62^#c[zaaSA\kFmA^3U)*HI0Fyfko.P^pnw<:9&eQPpuRBr4]/B/HF!UFH׼`_N|;QxߝZձF;QT݊s*RRsPUP^櫇Q3 gx\ͯM^U9I"޶5lâv׀ҮyG:^u;Ϯ.>D6qcwmD!߬rHܮwc^o!T~snR;yt_ ҏ #\WάA+_[(Ͷȅ㜝J_$ ,UEn=ʃ/)"Z=7oq%NPL+ݢF9.ehXmp!2:ٱ ;—C;D^&я~<4bhL$xo򰥅HgoJzcyZ Xiփ_Ңhk*~B ^EY KYWŝ2MuMv[@Z]$+lbgeT LhLu WV$O&|BIbOs<+bqgIrs_ixѻ`., (hVH 6 Y.L%v̅u7ILbbn<WMu5=ÀDk֐|Fqt.a 6 m^̢ú{Pt!n dww ) ϕ{ ԓsASao2iPAbhy-x~SǤPvB)pU/'R "Y o.HYsfVd4sTG"GRq23QF/qp7GhKR|#yd 4 ?{ѝ!h{I6A8m؃ah:dR)JhTd5ލIn@PpD'p >5`#%f9qgF :u h TliM@.;A졾) Z5rMhߨ X6,=ZKV \jN:?//aT#&3ncU>wv2CT=)`UA|4"k}/Qi Knd'*D߫#1R9jg997%a j~iO6@Vct3;Ss; Fz)dJSN ACIgTm,]wϩSXՐ]-OǑn(`|DgC0zi$scxx̮5 `{4J<|-gU^_bJMJzpfy9\)_bռF_2Nxǹp\Cڦ8h/vZN5J瘻1W$&QYt̳_gR"ʩ lr&U?>+)!JؿhmE;/gn3i3P8jX CE9}`)K1=1/uYl}7u qt(IVjɳդ/)Ҧ s/2eD$eVkWXn첶;NB\NQLO֔/O RcDzdC!λvK'%ϲ&謿*{E4M q>W {/{QaEJFN= ,igmͯ1UB!}UɈdMXbNg *B?,HSIa2JS뼓MlQEͻWhdsxx8FT\2*LLFO^(<^JJzPAE2 h&BE&>J |dJmޝw9/30M=>wgb~,]k߷[:7G|*>yl*Kw0*x!g̈́)A pWM)]&|y*!U]&f i6h@coY?!3MƔkSv!T1M  #0wMpL|,r2be`)z0=Fe+r>4cqvغi&Tu7 5Z! U8MG.VdcKTV@i;7x>&N YզfkJ/3;.PY+ Kd1%Ŏv f "pz&0u&vT]!>ԲWx>7n02J{@zJ2a9㡁kLzaѦL,KEdm8&JReXM"ٲq[O kGvU&,ٞQ:M2sh4{i:7ޡlߨzثַ]ͪfw25#R9'$vאs ]FvClf*Oϵxt`0 ?w;{ B|m ٝ#4deDzW)+ >xbϙY:?Cy}}Q\u+SW~tpT8bՋgUgN3HEhȜv꜉QWP 4JJ~SMśq8pnv{q!-bΈZZxbKV-2^-//TN]a4_4S7QYҒ̓wcY_?ݐ/eoױr*DY]*)V]p|ŁSh"'ϋ T_TL;Vc ͐!'DآέT i(#ipz"OTXШ23xcADP.׈-Ifs% K6zK(u{@å5Mkuy8)($w׸^E"3\32i 'Um(2lpޑc~u4zRwbKa1\<'n|("3ض3 e3XViP$z :sVsx R4sr۰I1x[I5$ja0wiGL!re`,;yM#f(sHʪYKWЃq9l ɀ1_ua- ׼oV{&;I^]c cF 1(G\2QE!8Rbt]YJ/z4k9Ϯ?9b19s)D=5㸯t\t{31+[I_'f}"8 z%YˋYؤMu~dBCr/=7_ lz$#ѧ2;G;pI,h&>0߆O Y>3^tnQB8W6I賞KEN,Sb2tmt zگo2$;#Nc L?`EoFp0?gJ 6Ym,.$\=ro]M.; .lZ 5X;6w2켐 {]z覯ޠ'ѹPpBfg.\I_׌cCl:XWa8Dx7n)^D/|Jda0Cʇٍl (!ꚺe2fLL<U7)1?%(@:K1?8TK婼>|eISǝ{ޭ=Kԭ׭ %?_@XKK{N^48LCxX>@:e_.u*dsЯ,ރ{9,5xAB@m/pP_6&:QB}]g =@Xbߛ=hs8ikQZ6Ay ް!}L͡Jtu!bȾS/}l 7b5dDž}y^ZZ-hFcVb{F8]d4[&PB?slE-7#(4{q'^jdD"Sr\\A0i`]  ^#cL[63ռw~4[F2oEr ^g*ƺ]Հ$Zxde^^P,t( .0@{<2 qhhk(sQK;ݛ;% w~R':̣YrTϲ}JW9g+ T O)s 磪G9)K=`]=c [+*}]j(9 Pe5ҍHEF70gP Ҫ*-pEN)4 B|uE]f&LU}ehK^ (S]i`s ntGc`{ 4u e[ euƣUN;<ƤO62TaϝtyGAjrr︾v&u{8Y^~_4n76wCh[qv[Oa-;cqjƪ; O(-7DXinEp6S3N9ÈY}R/!OVLAh5ˆu [m6I9ΰ!;`Ky`Wf$kVM12WN#rìR$6 Y9N7bY<eŶ*磿ysЌWp5o@5E)Vzv o]?%-Hґ=mq(a^N`gi0;Z͢ܘ{ݾxOӇik Lν8%G^m a %.m 3˖[~HA䲗ph_&}h0`spE1|X?q}ivЁidʲǢAECjPPFhp$1+=!+-<6D5.t^L2 ؃xOgAuwM¢Ne8w4(d49KEOb 5q~$~σJl 7س|Fmp0!*i9k ]e%[HS_e3VZ/>Ŝޢ[dvui2d=8!˽8B^%Knq1`Ip#A(!8uÑjYx!FbPSRPCBFoJGJDy7t9Ц[FfTH }nT^j.#pAt3Q $DbA~{yW`JtuDaW^zN^ rQgTEBX 牤Gnj_y[ͺ ?ÍY)Y&V.őe1b1CI CރLXfb3Xȑc wqJgSER~u$OCp 7h`; upEAKbos.z,9&@K#DW6@b -L&̟5:SQ9Co{mw݊.›^T@Ϥ%&~}mzՅ~k"(Bm6EuwVcuPS0s-D]2*U\>\:Nf"C^]X"l["rᜊ8jѥoTS*rCmVL(_b<-~S6X(SlmչWg#r|Y$~ d7o,4z~ 2&X,!*'x$ ^whn!f9>^"N08uB"ªZ MЫfH⪤?$#Qn phԄP-'18G$!ύ񖴊nЩH8|OI%_^S}6`8gw۰,ƥN v7Z ޭ6GuNnƑ pXHwٍaRjSDܲIq{`!} 26M)[*>,VWxGby`>; ƻ!(:kcU OgG0wka we} {qc;LAcJ7N=| Vy-)$U3J7+a[%mнFX?U3`!+ !w=u}ÙsB&*D鏟j3Wvyr9 6p$sf2EC sd8j7{Xwp?eiQEs@G I{2&%Dj|[~,BiI#3|%$8!S]^퇂SJaﱵv^*eҿK۟cs +ٔ޸ *u7>\Dat$noys(>|iOqI8tw =oP箱0tnxJN9.KN,[m,~; a13fn:m% ĝueFjNHT/ǧ)Cr&kkkߌHċip@O0b7i?=jxW-]Og ao>uX;#z #ӲŘtEǦ~G] +Sfur\ d. (X0ZX-1?+թg)k=$"ܤ11Ͳ7D\ދ 5nH(dMCS,an ȵAGP噒fXRYJ P Vʰ|%w Xǝ9wemcH;$Qe7$zrG5jMD ,λF~ 9Un ݶS^[ҥa;əJEn-cXsC`yC_Rug=Ղ16*-`+f"C$rk\="Q 5GD(ڤcȍ]PFyyvB: gYZ7zXZִF! ( ]ŗXiɟ1˦r!cHkMeBd4ba''hR+5+0Y"*z=HNriG}ē3r#Ho!wN(ͳ`{.'Ҷ9uA{vr SSW 6&4vtP. |>-٦$Zjr2ߢAAzaaV,K}Ncϔ m$JiTYl@Q,b%7Mung~#ax+6 "?ؑSό,N2c׷^ݔ3b<*6?5Ob9 zJPtMY#?O+0#v**P=>rY,U~t/ZmEo$'ǔ2WNAhFۤ'ȁlcH~=w\MҼ0B3%Ũ]Y >뀜 r9UIǛ@8VC~T͓m,5&ƶc?UlE>]o1OKVIw\i'B8˃ܰhGaFʽhUpJ;>b+,(IJ9e) &c۽ x8@͟V0XN5>{!g[Zލ޳,=I!fh!#O= G5e}zau(/8p C\^Vw5AGF@5K##Xsk(yplc3AĚ 6(,6qhyߐU@(p A\)D[.%`۾6gD]=nz0BqlE5%q+ޚrݖcGcgx"]vE /"-z:&,t~X/ ݆O-Øh tn*K\#Vvt}љ)-ցn7!I9IHdlf)8/U°~d8DFlR,B)@6xHcOB).>'X\^5Fv+xRa)7}dV3rmn+wܬ=s;L3 r]ϧ@ӧPo+‡Or%C0+%#FNKش?j؊XEAEV5L3Җ[+l Tٙvw=v).9[:L iηgK@ ='A/w./\O JU΁퀏kQ`J;MT$mTE!z6ad'YjDKe6,0r㎞R~SR8xp{GL_vhU% O%UaeP2wUcJ^g'@MK%JQT=V$sL lyFL QE-4SC+U TĔ1Sؐt@v^Kyv=!J" zR%xbLN~Nn>^wo@+8 ]a[xPLgYZ7zXZִF! Ml<]ŗXi%Laɪ"0[9bh-gcz8HOBw{SrlB8~<̈upn?K('˴$7FlFڜR¨/g <+mRS]}ebıS3+Gg[-"3uC̶o,Tk=[blO {/V7~\:@m׭ d`Y~2JD>ߕ^#Rsbt6~+b;ϵ~RHWuOA#\(cR#a80|dqxNn´2us OB9f] xw_%d!X)g797Ԧ)䙹q\(Ϸ`QcEG9is*7 &[_*blKJS zUf3i;ʜ;U =Zo:H ^Ǽ3fPd ᬸ((fmW!2*G @ܤ7a ǻOr#8CBK).A.ȯ%lz#eE H 9Dq*Fsӗ[ۧJQNBA԰)׌޷bi2TvV5([q įiG#;;5Xqb%YQ7SWR}r]|;TM]x4sX)T~J4BnW2kyĔ0-(uq8n. )>>C"djtuӍa'+VpjneCPz gݲg03:YmSU}p}a#][ŧH^O$괟k۫o.X(TqDbe ReT+j.]gBO UdhuaIFFj`kg[䫒,aO%kڬm  yi W9Ql((^x D\j.' ÀZкR ^)! z>LO 'uL0q4Mv7Ygk!̽47p(wN^fiRC,J."59 z4ٹq[]q 4?ˮ?%ȕ"Y״`-|PygUmQ>@KGI;`5tlVYwCp;; rJu0!j:RK0'WB/:j@zY%(ۉ3my/ĸFcb;,)Wޖ{ߐ(.?[ZDW|fMUa(V}6/XeÇ;y~.RHmX;߄˪fēUK C>(|Cћݦ(josXFgz5HDnH9ڮ &vnM=L\yX!v/ޣ ~0ڀ[JVtZgзF3 F݃&$#:i<+ *rp=OAA h{!l*VI:._u~9.~[%w8Kkc{.H1* P0wud&Zy\sXa$Ӛ!mZ|K)TA0-y7 T#|j$Mݹqه_ 9MfT<FLު[R;dc&!*h]Py&{1iy}.*K?zNw+2A8k1KZx"Vw+CigGxTűP`uП'yW_ˤ [:P%D_W=3R+vfLZ0s9Z%“:LxR^H\0J+aֈ.j|{HAlÅƚ:֣/<7- ;h x'P ·lϨto[!Tk?j(OyfQ acL A yQŠ^lcc6C$u&Us5Z+Ƨ.#*nCGƉ:{?)K Egvۜ0+ R:jm哷qqfVN ]dO'Fn8qUaR0w:V~a%G`aOUsMkж5ҕ6'xo*7Z T%3Rm|//O%4Xv7$VADpL:I]8Z8]#m kmB-#r_N^_866T\,W'Z Y+*]kׯ؎J*&j]IR}`FD 忠,ڨLK{X,hm,YVʯB!,ò zN2jRyP~;+X: EqQ& УY/ K`vTy Pؚ?0" 2"E弔3mel_T } t+DsYNq"V&ދ0$? ;$⼎8C[d&>i~AowjxmՕf1F5 G$x,1vms.ZXUXٓd< PjeF^벙D3a{޿Hlؙ≲J7[>Mi˺7@HK*5e!s^g3cnw:Iaý' N1S PHꖭ aUw$3@ ܴK=@,'o\ !,2Ys^rpNg#2KB/ORJHy^>'JVO(SSuvcfvX#!V绝H}ARi$Lh{ғj>l=f`"_^)n>fR׾mN;I%* 3Se\9;BZ;) |d>{s?32p'Š^SbHx@=dR)0%hd^SLb 0s0,zT8wn?AUD!ŁMSZjA4쾇SGtkh2 pxY/k<~{q6( |F@e2> L0 Ws̑KIABid+݁vE CGG_ϳ I_:e?Tq, Jij%(~ EMFو螎=5ˠgٝ#}O: ; J];&B@9y yPKq6T^H6;&վ>p@2B ^s.2X!OP 5,?&pa]im!ӷ9QqvbC(e}k 4ý%`oքp+8/ȨM"M)X7R"} a5Ԏ˝GzAC<03F.+"K)7]O A =,"Kɑ% ɏ>۸TnǶ Ҏ-'vDĎN*agdplt6q*T(o(w8aUfаfoF!ᒶ`p& q%D{N(zbwes\J|cv'ݫfd(3-=I{tC#q3Ex_+{="Ly=1uyotlq)3,ʐ4ۮ VkI7Gؖ  06)3׼4|"X;ՎTԜ|輟A- j@[O7{J{kH^,{k|6Dyd4T:ZHGtd1Ͷ<2t^}6yI~L lZnRc-slsZ&Т)0vk nNFOnm~w^/BBi8 ?zl Lwv0sm8Zum(4:şH¡DPIp%ESҊPo9|=EԜUcq23s;S#Q[1'y=@N*i}MImOy~3D,E(fD 'Ԑi*2|~\l.Nv.8hm (,/I ,oDX ,TGhLhHYh1I:9um#LѴ"z?reȧnDO b"LoGtmC⠯<0ytxCd? V#yj  +Ъ1cثǂ @T[+%Y ,.fLBEy dTe)2 i"Q?FqX<ؾw5zIew̦ɣed)^U* _<鹕/Œ['F(<8iM.p4b8mMR~g/Әl%5R)zD $6.O .SƔ0Ҷ^Er0t2Oz[c'yՕu,M-ńM%Xֺ(g2;M ]wd@zwnQ=xG;nПżhN׼\v1FW3lN܌,$)yEWRS$ru}\_CPdu*l!LyL dv}꬗pD:e9X49&5D 0g@upKW\} P=*t>XGPeq`- GQSSWnM*QEr#-M"\#%\ 5աz WkPo!:Y·(1@U)//5ԛ[HûgGN3O+}D;S$"Ts?3o57iu `kJ|axK-%dMcvH<f֑3O!}OvYPVimCIgj2@r֯isΌ"A # xik>1:[mХ٨Be=4#@*b4'3ߗoRKy*K\U@o F 7X1RxH4PD w6.rC'—ȲW)kG8Vv6)_f ?\Jp/,^5#N?#RV)ThhϢ۫7Me9_֏[z>sҽr#(*сefN zХ`J.=E|^+, Ί˲.̞׿YGXcHyodqcmHY16K? d̆'z>pcg\ckB7A)Rݾ,$}<{H';`w UC^K4殁XOYM5+M]C(_Ї ~SNƋi&@׻pؑ2/u&;X"n)^L}wjit~G@$Yɧh"Èdm|嘱mdjz­۹wf㬟l  ֐ʓ;a6"8o|,`$oZ7+Z-Q:w8GS;q\X}CߊR.hK~nz;d ᷾/I}3wpP5K4Npg#ӁURraG :o+iPe%̐m^C"-^Ѐ 2yESP`k1%#Uw"Go]9)A𷫫" quZ`UwXjħkTg& ,x*(݈\1-{FcQ7}=6 &>G2%xp^!?̯L"`@E;7 ñ_f⿡e&L53+N 77 }5w+3 ܨt'>ڡ4qނ ӋR[+XҋnpI2pJۗcIyQD h$uI m3&%`j_!TB"%Ma(՜+"n=$"">2vH юG ZKIIAŠh%fLir; : ׵k&_j0Əq7FSCMhm_@>(y1 ;6E ӳn2zW38 reXYynLTQ}_#xG5Z&H eHks;ɜ1(7Ak"p" Ee׈IDVn3ILxdMbжEGh4z9rb])!Z-ar% >L~TN̅`${꣹*0ElPvGuu-y=s;;r4Jz~8w:㉡_g#-)0W /e~pgtL8yVHC2;U>^xb2誣ae3 M$W/A(=е|ShqV0Tzop̟rCثD@.T52# B` _,%azЬ* 8ÿQfbSM"'y!cC?M V1w=;}1Ѱ@Yi}vԧfO ^22H+ۺG7FsxO߰Nz<g ^%7[mį"gKn,'ÉO2u燕 7pSg`X`ǩgy__3pg45Jؒ%oCto$eN@)!Ke0)|?d!a&^vUvh]-E;@K~H kqK m9&m c4>5Rimhj"prBהYJ=UN×00e0G=P<[9YSytd`qg{(Q҈5{7C}Z=R(_wWÅ?>0W*˖8?}I4c< \&MX ;4,F6#p'epxr)wH:I \xwqfD{ { +O Mcp>"-?3U(EFˆп'cT,J/j8C/T+-dJ_e`/:yg AH-ƴݾOnPt/UǹW:IZRUn0WT57,\ޜ{/2tN_z"x0p|I_p zm(ɍ7v-ӎ'<Ib&_gē&f}Cw+zFxK2ce slè.5įx(7Q(rNIK 1=$3rxȇ/(ˣ52p܎guܕw6<_4t#+N^nV k ']pI]NX{Idx\ݫKʢ.tr㣱2UXyJ@:O 0HxE?ԓ 3@tLBp 69waH™5ʩWI"B_y:Y"Gq";qĦ^y锊xU^>u~']kg } M)aF2ZܶkMŨ5T p}YT3=qVǍ_/Rlow3Ktc~ #k߷8xV9Z9"HŷcWx],),WPUސXކ)=X5Z/9qВy\VIxdWbܭ QRfQN3ɣEU") d<! Y:7cpePrdiw<탛e9]BEl'<l|A'HcCxH"97ӯd$(qsXݚq0^%yt.| HqP^]#zkr0\!3jzVJC+{LP_] vCu!vK,܂xwowȭcXrc]Ċl;щqIǚE4׽HKCgT^OGhn<~yduP??|M#o˞Zu9=R& =+ Jҝ]/W wEMU)O٦k{CZ!Au]:{JՋfAnrxuE"h2^Ŋ ~r |>1EU478Dx[?~@hivj@^$;`2j7=lrҁ|30|^PNro8hj>Go9~%KMۻ_P >a(ZGޛlzBdG~ oSPa@,_2~[7dm,[j#)DXԷJVQ+l ҺQNu-qx6J=X=j}X]wr b77p˯熜ߗ=@Y.d?+NF+b4H!34K#1I_RRT7-oSQ@*h,CM6J|!7O{#w3ݒ [orj˻HD:oS?BA):>Hc=qDwQ~}&0\0ZQzreKU75{3Mp0fu͘]}ȶGs5v@ EH96[BI?N>1f ~|ii⫚lZ*݇pfC~͏?gh@7a_+a@䄏{_B!BRCg`hf^Eב]5?H@]g7f[BS/Vj=ȩTؾNN4GEU ̀Lgw<'zTH탷A|̈́\7f*?1G-w΁M7$dQĆ÷zv²) ޹ؙ?R6l̈́#O]W y)+D(@Skt'0'Ư2(G$= (E-7G{TnVǶDAHeLU rw Dh|b_v`T3W՜Gdk&aoť˂+];\ :ipƯK~Q/ ᕡ}87ذ*bL8c[dTuS2($VmpVT,A..1 T O&Z9Ƹ`0-LTL!]嶔Oi`%(LmAO HQUI. )f.ɱ13xyo:}l}dk"(*)lX/+s^9ŊVQQh>}ܬ50L 99s#CLJT>u1`c2Q4vۿ2?~?n̿Vrq+89v ͚l-pL2z>@f_&R[f&{Pq޺P5vy1P(h!v} %zѾ(jѯqw9tF@ЗhF""pgEj8^]F"q9CsFTJI40&ig+1d1jLm.Lj#y(m6x ΦF/;dh2dtK^RufPW3緒0I~Hppf{Nvq[s7߶k>OQ`o9 _Eo2OG`z¬=Գ()oL)˟W 1+zPYzGSK8 AImVI+t>2T(&i*8*Pp912?˘WyEX1븗AtdEgfo:"[,T>3f.Ugk&tO\i]pcr>TO) ӐG }M{V X*qQCl`YP#ĺٹ5Ot=vDr$Dt?i/b#3o4Θnt("AGV#&9EO~(:'j`$MF(+&H-N^z 0b7LRl=ojU)m?F _bh-7 %1$0۫v)pݝʻҀ6>E^O/DHڴ]aؿ6r (b$^dEd~uCksF%2J<0Kwû:>9k:eO M3 5wñ@ؠ0QSo\{U3Aܜ1CV^iC~E\cMŎg !mPgZϟ\4{dgA4*GFX J8ӖQ@)MttsA@04Y.W15 51tޏw"!AT r_A~+QJ{s%f9(.I)^S`Z]⧛JfMUC^!Hu˓k)*7Uw>`=};SicbZ173|F尉Mn42X <{ǜ3q-%*NG 1V_Mغ(x7ȅOuzZs5;_Wս)6P#ᾠM[0k{< -NQ3zꂂ=HF%`=K/P+Rg*49DS|:R{z>pJlʬ &/6 )hh뙫w-fcd2g3Sƾ_LB.'S[dZ&Y{zy鸲c$jY§ѺGIDcs!zBexbkTi&Iՠ͇Yd˻Gj]%p N(2a r6@|]=v)Z[vƳ0l :;W|B0KuE7½%tM q;nKSeL*Mp#LI=EũMK!j<$ ( _L ćP:' (';9*V8A?[1`40aXL `u/MVj4?[UN"KL̢dJ4&%sP=IdΘ-CUȚ*4Ny.ZcZY/t^! Ff(UvҢ˩ n.yn`T Qm$8s9jG[/HH~x{4rNj~]Ve-a/@o.7m0`HXnc@Xݟ+nyqv{;\". Pkf@b&.'0cMJx4Sɪ O9#:z&[S 9#Y*`Λ\t|cCV@wLSF.moI4[u{@r~p NvIH7Fz_160x%aDX~/ɤŖq3Zt="UJ@Z!Kc_\|]D RЁ:]95jS >̅q|$oJ/{H#y/Z}$a{<PqZqN")Y.OF VC={SKd.EcM~7WI9u]7n"k< Yz'UFd^Gaλ`#Tz%Ax@1|Wm"Erޓ/<_\d8:;6? 4 8kze#GrZ_GKWXG&Ict]@_ɷ&0 AFut*caB;v#m?ic lEDNhޒQ7#U{vU'V~VAɵMy .#2&y0ѭtb{jڝ-Fa0̫/$- IfiɎk8ߠ+oq@M%&ߘVa~7-~ 8-z͍ǖJwd 7%R# #1uaY.&a#eĕg# XFQ?gLm7t׻]>x%Gk#X1ڼYHSá -Uaó̇-jF5b i]o}ج0ODß03#섐HW: IEo&Fј.\F}!P2ڛ9\kK}.?y M(Y+9?'gն脞~Ŏ޼~FLӂ_14{,L*e1k}DxIE*$Ai#{-2 o.Ƿ$MȇɆX@Y~#DPĻi vE2S '5qLQƁ "g>X,WɄ-qfZ0m}9A$o$ҋR^5ocY-[3c7هYl|,@GGxcnHTتF: <9OZ_E=d"r*$wP̱]dlSU* :K 9qՍjՒ}4!Ɖ\ׂ ܱ:s <} `jE4r=seP>8:CJL)`mޡ<9|Nœ@aYnoy}NB0N"Gcُ*PN'5N 0a^̣)Siل$0 Ko&niDʷ۽ s_ZIG_?@֣ʩ\:qkW8 wXY3$n,:Yaig}W;֜u!LgD{Ra"7z-';U:$OIǔz}{׽Eʾ• v8`#Wgt 0hzv);+:5E(eo/3=̫X 69tH5﫛3a3G '~Rr{L3crH3q`C%Byd P]当r3CHOKdzU5W2a PIAg;!3xU)~5˫ &K+KWgKaY{;ڭ}.lq+!? 8xaQt03WukL#GGkOFIph7=~!tR6+}"~jF*/_H;u#ےrg n|W_Yڋ bO:Q҆ u&z}䢳3$B^8~S2ּ. ƽ^\4f^tNY =zOcA'cL0wxWȤm]@% ~0G1Z*])M ]Z^xN[&'v2wړ`RO2͓xF@x=53CXzb%G|B(՛biI m6?!dW/ 00<4EQ]ukt :u&'%(x tUtfT$uH~3BeŇrCf:PS~C@H*zGtt19و4c4yF8Z/s"ItJ2 N.y> F{/@+B`><aWihTqC}diʍ8YҐ<0L% W4j$ЀeHH kTAi@HCXat_mϮTgܱ]51{}d{VF %4Y4oV0XAgy(U~u0܆I='*xvjv *5mktswj=&'!@\ߌbm_RoV6vH>pP`&_͑0pB _'sBz0l񰵖(QvR(Kw{1A9GJ%تsJ6FD)dD@q~g禄<= /NY)} ")T4Ċ#2q.Bt:`_"P9l 5ʄtHql Tױ"; laZYؕzNݓD3hgA!@C9iD$*9&I^@$!Tef+@{2(8mA"m2V"@6 V]q l5ciF 7ߧ|.Klp[0:U2?X(7:pVfImX6?]#,6nui_Q\h#2a0~(8Y[3|2b$9An.iVHɴ 8 dP/b N?d0qUP7+_oe;CC㚌$LyQw5Tfkы(qqQC/iHE#C6XG{L!5W;ms-Ip[QZ&S2 3FFNq; iL0 u0Է޺c-{NJiZqUlI;ީ-îлUԲX8 ;@*ޮ *+w^}xڦ]G!fςWW)29N_mBKQy+ ˃t+AU$\/Mu$;N>S` ;<$PCvtתh+æ?-P3&# :) bSp\_/ @f  _Q1q>IIAl҅q> UC-QDG">%ny\:cHk 7e\KHC^I=qBkHT!28.@qϪ"``{1G%{Tدnmzz6?yEPT\XґCp+JhJHH/D1f{}ϻ+Va߶i3=q|`̡9kҠB-a kluq1a0l3vOaj6Ƞ/W{Z^l,?iҠʌ6w@nī7V[_:b2s,mZ A´buAĔ)g798ZGpzV\yo{ :>E\-4rOJQZͬ ,ڍIU]f&oϴEn!IK֨9E6 .r;e!WCs<i^ޯ-s黫/n .Bjˍ/OV%7":{ ; Ă8c_Q1yy.~HZX߼NJ٩u.8LFF pc1%T5y)?KS%$L4O?w7 zh% = :#_/u~s&l#:- 6cat[URUV"j[dTM ܳ-c}FLQx gVSUъ)Z|/&[ykŭqNFRof5`6=)zP[Kc"-8U ,^hx)8JqB3 IuI< ZφɞȊAV{#BO),]%Իڀ^;p^d.T:LUV˜qYBSp`{R9 [xPP;T˰! $ iVƇۘ"%8\R@qcz{J&Ep}a7A{E72g/z3tA_DznHuMjUœ'V}q ;`\=9eLௌBlʾyS* 0ZOi2sYOh{w.-6,gJ|:;񉚔\z l'l\w̺}BA=Aàh:E,^t?d[K\j##&BjUP%Ґ~E7e[Sij/hy9 aVp%jQ$JQ#~ٕ"$ 嗶 RQ4(w2}+vxlcR@~d?ihtA5۫ߏH'o J6fhU/%6?_y'B ~~O蚈! ĥU*y>/m* U>UTAG; E.Fᱡgnzl]BY'vōj?*>kF̪;=P`#X0fΕllY}b3dPJ燶NRU?q))*֡Yxg/Z2Y˪b."[HLݡ[`Ct9l*ކ/8&1jazy~߉<4BvdZ hR7D]&<*[TEX1 7?)b߂P<側pi7pPnʫ m!Ӱ&sȁD oEu* gzU駥p>BPP;6 5P)Ԯu*wxN=u%Jabv9:* *rSFNj9Fwnw7dhzVxCkkg`*}ߎ&W + D3i(`sS<,`f]ٰЙ7  _d/Sx{x[ ,"Wa,׽W7;: ‚Ac(A)smޕk/"h_\D'f`ЎGGE"U{tzK/ATJuCsBg2,{HHU2~^`LS%%(FZ*@ablR@8@ }wϙ1utIkRO# r9`_&Ub\oh[j`T*IUmH좊W-۹n6a_N2.9HU$ o^b tRv|T H`+8VX^,{{ y7] W ~sz;ƒДOehTc.AD/\MV]{jR-mI2"; ӺVBUџP!Cb<^ 3~tI@˅ m3x4x ?`S 6CE(rPq+3I(ZAqɣXDQ@ r~\ڂ `ϤKІ e?BuvJeDw[ѥ<Zfbڂ$dP|p]H%p^UU֨? FF%HN߲[.e|*4*3cKCR0c/Sts][\5I{e͒Kq]3ʴ+d^a>/{@GkF*'4>Ugu7_\vɮYSvos3Yb0$_*^,WzQGc#iw/CP=qmxzIgq:D:WoM|Fk&C.~Y`}EE 6 ~SXUA FE:tUḺ́_[+^Gm {6 `A^w: c@# !!Owu>0fDucO] BnP&'"]2Gu]T ,6n)A2N-e XXI#)glMTL77`nxkt(mL(Sw_P~4H2„K&RdR@8YiRb?>Om g;aR[9^dCPk7E(xDrP'Ȑ.!k :IrνR%t[ ǭ#*C-D.]}fWLwY)g$]fQ-y3gx==뀬y녦O*M!4ܒ` f̕uGweF.z݉@)R8!K6VMt.;Ww5+9i xβ䫇oA7OƖiR-kg:q A2vGnּ@1_,=ٹ_MY50fA(O(/7]|v ݝ&/LIF9̤s8ydkѬ5b-  P:`;y"Y/5z7T)G 8G`@l,Z/xCy+g4qYSq W1=Ze7M+"t3 !+Swe :eH­#~X2[) KJ y-KyÖ0Oÿ6pAJ\x%M՛?r6P\nWs'Uv-)|geLO_)c`Tin<Q {'LUYrA}4z8ST+9÷UT[H,7m"ci#=-A ؠ%L6C4 Db^ EH]qmwHA QxgܟZoG5?Y J[{ObQ) rIoDlSL\- fWMPfryJx=aK ^@p*Xv9ЍxT @F=tN $]K+_ Vqd4irm7m /tUFŒh2~شKnv~)!zF8c> +?mM F=KLS\ H%`@d>Cyh#x2D=Oݕ 75),־m5:}n 8 NKCtg"&X+X|˗76ﭲLn~"}W-&cİl)w (Y!gN\LqB DՎ%h}gh@+;r:P;L6UYA!F9+#%F)_ÙS[hĊ"Bζ6ZvgI)A?" EZM !cgkHHrl[9"-yL'#8]`2G+ޤ-c!] Ӻ7oB>C?k8oJ|0` ;]چaѼe+[5Izl]HvtzGIECm8?S7piuM 5~'H`|g^VX/nMV1ߕm3ٌ/vőa@/|e) /OAd;]Ҭ f u1DÊ: U0?/ Z1 Epz%E: mghQZ/X)m3v{"RLI,JBʫ |Bk>8.T2q6Vp vw%І,XhOLnyՈ%X> +ɐ}ρb=[=YJ\Uy>*sMJrZ𿘋9؊e%f>ބO}R_"Jy-}mra1t%8ĮZqEVq%go-poe86ԠN1N,19%Q~@ ,_D [ю-@+TU>Xd"It.} z;"3!VIϻss>j69I)0t Nmz _~|84]V-̀,,]PI䲶A/bq P/_ w< LP$#CG؛*:|+g8Nt#.#)=@zyfV2qك(;?hqPZ]ΘqYuV]PњpdO22LL>.Ll])R<vwkj` ݼ f7[gYZefeac35b18523c88a1de53b0578a6e9634ee12e4c27ff9c451f4b8c9cf6bb3a25c925fd9b57a5bdd 18dc0053a95521338aadd53e3b70138a41dcf2987f4511e7991c705f485885bb9412dd027911687c