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 hht1~dt ]% HOL-Decision_Procs:threads=6elapsed=236.474cpu=1127.348gc=135.3767zXZִF! *]ŗXiɟ{k˷=Ïo^_abe7~vL)r`v_AZ9IIS>Y:Yt/v,ͷj㘤y#ȀWr`{2ɍ޳Ty(\oZ(ZN ὞ uti:p:!ΤmU?H~N^܍37<\}#NI2ryᦠ٤h20 6[ z4nI&DG.UQh&anH5L$'+@>jWA.q('E7xiwcAU9{EvӁ"~.x2~zTcvJkPMpY>J*}H8 [e|+ FÝˈ"\& ػmB_]h0BeA* Q*_ym~idRP{R+W&VsC|ITKW>8ܱ& fT9X2YJvխ[A)L3>! [HZ>ڪWP,W(Ct_}V9ו<:m `X@-z4<\oﭷl Xf){b2:ar9,G บQøGh1z|h!fb}sJqȝpڟّWS|BdVYxhgʹh[\əҜ=i[KNK^2>]3U8xX*4_"XqREYb_#Vc)kB>[*H5>H ٥뗘Y%rcde1׍ѱ>Mʛ2E^\&fmjeS ז{Ɔg[ M8g3{1~&N̢oaC/#&oW-,JqtOo|#rݝ 1_sS9ׯ TۏJ|AŻ" =!rTBkFh(#0=1W)Q(Ny_ԇ&sGGp`G{#MMѵ$j=a~LtF.S8e9HȢ(kѩɞo!{_P( 6ܐFaKft4cOCL_uI$ dB,k_u_6a疅sg]%g{TS2ͭ:P!]em䐯K:_HȍUǥh^U Q2NTAo:,i o* (91Vl$D'v7{npIX"" LᨈڢuáM1W\ٸ߶ժM.+񠼡|Iq76B[ݰ(, ,rO[ $Enl7vHqf)O>mGDm 1`Bfo`mz9@io87jn|M!eOƮ.&Rvǯl>vtɐxh-)Og΃̰sB%> t js~8AB$]ׄ2 yDgQ0% x\=*yrmA7$ |ͅC{c]_vzaB ~Y~x#$,m1Ȇf (6d#mak`݂Lf3~^cqE`Ɗko"a( S՞啊B8,؄٣ҵ NFݹx@M]}%frq죰21i?1l0CbpWG%%RYg$3ޅwj!\Z˞. {0\t]{ok 8*q>ԤSo "EwW#eXA EP8M=̐cZRIs\`gkP0et nv[dس^ ~`3`IEL"MRf/''@ [E0mibN&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 ){^QxTP@H)<R1OL${(HGƘK1r 9ksvn,:ɹ> -@q T)|2dF@Xi9KkbQFY|d DHY r?O@_=M9N9&jWf]3=Rv \awxEJ L˵#-(s ]8ۖ1ix!6b%*dyzzPi#[uܺq_|Ig:?{7;3"ZxKݺO1P7wnb'w"˲t;0y=wGI?v[A-wȮ өz㍶ʿ-z޾UFCOWC9z7g}RO.LKs\Sx[ (o=,7b{eƲeI;=&3Y$p,vvfx3*o0QMC0.y$t gP%oȍT솞fvtNVGkctD+< NmwOP5|ؿiM޻Jf!k W0_2zfe(z‚/fMlm,>#r{$uHs^ Oo$`#ջYj@טlW`SXNuĪAcX{d ,%oxS^|rZIlTYh9SEĩ ŕTRh1QDU'.BӰ3hJ?{.$TN|LptĞ$(™.hN 7Q[(rXvuVv}':M^'hm^ ,@U=95/sR]Z3QH .VO/he5]yUDP0[ .&7bz]u>z&HUOlw}MI~!BCjjڨ Jf>ϙ6-Gu'[-)q -um@wao;F6W҇s: o#pDGȦl[Anֱ?oY(P.cFL腣ӊ[?^ZGSWd2d; }|(q6]6#wm ęݭB 4bz=Ś~pPpvmK? K9#~M"BQL0.Izu-7[dK]Jh5-~'x?ߨQt . Bk'mY.C z}{Lk7}66}s0RNycHNv0K$ 6m#Vh 55'޳O~eP8Fjٽt=Nyp# 0 I<;K/uR+irYTowl%^mKFp99Ug W($#gcۂ!]~f_GlS' T0L@Hjy Wln:YyioIdw.8?6JE<kŸTixEQԴi8Z">T 6lU -˥gO, qúVI>a$aGqq*vixc@qʚѪy,b/xuݏd_?b&{C/!rx=;~@C[NOx{ A"ڽa `2 ^-aS%Tns0>FO ZqK)pϮu_ʩge/Ne1Wg6!$Ȯo~>AAمK}wt-QLKr\Gog8,ԇUC:!|Z B;FD94{V!D^SsJp=K{=.u) h|M6d>XYgaϩM6&8;ino;;!.yRE8 }íBp<?4O8ѕksBUS4(, Qcs#4WU7 でGrl~H3ޫaYCdŃ \xqңmZ ̶(J#FJ[L"6.Q|+ ސ HLUhkkP1?)"P g~G% =ߨƃU1 $iA앱nG1y&f.󃏸tl{{4v_g̕KdJXaHJz9nBr<ZY+C$DP!Kc \)"QnrwkYڌ{QBѾuWdl0>@oWiߘQa퐈@Sjab'χ'<uezyF- f̆0 ~`p8j󘥻~R%;e(~g9cG۬ͣz>y蹝?t> & j!Y*X?Sª̘nlP5™ZU7~m}M_ZJ|T/EL=М$޲P_6lLֆF{>BVqO0ۗFȮ4q&<0sOvGHOz'^'(sFb,vN] /qYzSl_!^"XAgf,MRxK0(]I8CAX=f}_q"xTV/~/{E2.]7@bX|F)aWOKΌ mv[C!?I&߫a6pEC F$_\d$fR!ElέPuv:!*BJ"XQFX5e0)pCcuR겤t (Y&nUrpHtYe(Mf`Q'HFpea &M6}Bsd`-B'E!w[y&3yWPBҍ媙zS?8&U"xi$K iA@^B.c. ۀ%Ql?aUײD]u! s"UoM] ްg-~Jrw!W`Q/BGjT/3kiWn]VF=Gi/0h< '7 pS6_aZ 1͸Fo ͚\B)Z}fٺd4O`BŔ^-7!Fh^QH1T19nݟYG[O糎\Jމ '|( M!ȩ6ؒN O _CS?+#}HV!sh×n|s?[+KHGT"_ETFr+6ʸ׹?23YrMa D;Hs;mSEC>G3'C3eqm0Cׄ#y$.PՕP+k=@qôNz&/A7I3gρrWx,9i/~xé:T>`;˨ 3Q+·8Lw Gg~&K3Z.g>otԧ_ n)iC 7ui>@l/^tB s`>#L~4^0XqFY D/ @#5;ka@V׶KpRAHpeMTinBq ͅgYZ7zXZִF! \t\t]ŗXi%L*(`Ӂ#.l-E%(?W_.-`9̆tg@ Lohia&Yer:*qLa_8.mUYgd\)k*KhL%5"̿ e*;ݕǕqH,wu bHț^ 2SIf^C}w!v }֪ޚbx ]9+Cqekͪ~Hfʥn <ƦL+eO>+5?XM.b0Ovը$x}%,5A|& f,pvjZ,^+9Ʉ Ԍt:g1VS*Pj(:JN4j4/:ło|ꋮo iunAHCו77eq=6Oz$>Zѫ<_[,2䊨oNG\T:SZ'q՝;^t2z(@ŝhOPYWsmesH#2 _BQM&G>`iS@:ըdDG7:8eR 0,D0QX&:z^F 4O,6[-'K2TIum4OZ9_{!GCy1,$tԪ0APOPxZ~̕U i(DŽ(=nK$] Xѿq1>Gl"xJQLX I1q_>ȽAj)A*+c߱t>&7}+fCIpc1T9Rz⺖U.uw}iup55dK,,dO$~^`f#H^\.WPgRq7oP' W$Тݳ\JJeS$Z0r:KӖJ]WsTs_Bۛo ;Sr q6C8C TmQc9Q==@Z|Db!焸֘ugVО6Yp1?W6cT_ioyv-t=lq^`ys*_L|0<ߏ64ƻ(G{K Rr"2h6&љ8} `hSyp =:ELNr8SGЉ(ycЮ7jaZL7r:s)!z@wy FYƜ}}7L6]/#شYl@jPM$%TJ{nTX8i?ҦW>N(!P5s]Yiz$Bn=Xtpn[:T-fڐ6GPE|`cv0GkLͤ+f6۹r?"Kq9ī*XkwZrH?1iAZ Om&ޡ`A TI95]\-fܱm>^״8$<*K`XխtW8RPG8xxdͮD\^ aɔo x-h\ڪY}.Cb*&—i|-l{x੢蚒AN.yQB()ӑz!z9yjt2aLת񹋠3|:K ;ȴM:o|0xUgq =VZ[b.t1Eh^*UY\6@Y~oyT3.RZvAt$#@W e=dOrnX qIFz`yb˞WQno&Z0 Ѱ{yO's_G_+➮9',AF1CtpET)&dR' #ZrMԈg=|-n$ٹ-SM%P.@SD׆2;+'}SsMydMW`N;@IJS,S\ũtO^6^"i1oZY]^j= AHŇ$~e7lu/9H9a`TbִǠP~N0CyuCyM%F )67/S l=(|Lj&Gy\߈9ө2'x}ww7Ll6?_)b[rwl'YN%XMp Š4Y#tߍlRMj 8e_˗>gtG4 K.R]R91%)nԳBP24YIG̠yx/',=G)E>8w5{?њτ$*NaK4:c0r흗_,^ȏ,.{c"~{[ O,o؞C,D$&p뺿]&t6Z:|%,szSr_/{BPxQi8=1Ee vphh2Cc#e3)W͊Մ.8pL8d0D[=.(OMHO8C!M'l]Vaӧq<+lx{pRBGLht=x57tK)X6҆xs&ī:lΙ_>QZTR#{@ 8GϊQr,xo05d|aԓϦCvOIepOЋwx54- uhz[!0'k9[}ԁ%U=kKu}35aT _8/@ cM6%凔lkvQUg\ b7f gF"X "aKOMnZ 1"xĐ96S2d̕'j|7sϝ,{6k(Mfʼne[fW``\%l|:&k&R3" o1msEީtх6ELgx*er[ yQ=~EKV^&1v ub"峟VXmSߘ]ܫYDE@4593yD 4oKд=b(^5\"(O+)*VL}RAϘI &iK حg_?]/wд[v(On_^XS bZrYxn3 y'Z=u,˒+*lkf}N5V]\ 8M%1zkQ&I A;@0|\;}3hPh;{֬р[Š-GSuyqlrc Eg'[*":A:R\c gh BCeV$)#&n+V_PzV8lĆD{Yx=]%5 ͥ &T9Jx)H-]& EȌCIB9ΒSv+^&zw"Τ,X3])&cg`x?%G-W#q{.1Qa+#CgD-P;bOSC,=]V3q ɛ@OZB2%ofeLI.*2VAPD,>Jj+Mka73mˮ] r7v n鳈q+110Z[8/7+ԏFB2Ltt.쉋Abz*YFFK%H.,!Cz#qgMŔ;Yrt2ktd(v KzSCL?} j_'Oᐧ>j`LV4ihؠM 4x]J+M.sʹ2ߪU tʐ{:Yc>Gi܈UpڸIqyW#NRD ite,;p?/3wՠ$/1=|0촥U1myP2 7Z%Ȇ :\3Nۨz41k.8ÊdWq^2fmx0Œ*a`|(AԔ9-X57"!:ˋ՚#A5wro5coJ@Of7{64ڢ: 't]# z/9ЊPWM:}; 涢<`Wđɉd8 5-Pr|w |0v'12^J5<@쳡D~TϹcxoe/qhʹ>ZԹsN?c&uɁ2)>vxF398܈U5tJ]3/f6\F ^hIY!NT2oh a8 h(ce{$r`4Hh*ߍ=nɯ_6>EP2^%dC"w xy Zj^Ҙ&O-.\Nb PM&yJ(j4B{]i#گ;(W4&xH։'bκfV ~` Zr(P_c/q:6%A$ȊqY k'%rq^<ݎmS\@F%CԩG?|-E+` I qtI }xlʲ>їyF}gD5o ]::%p+no*eu)xg'1g~**k \q!LX{|ER|qDB9N#4y]}mB3( iB[hw`g{=PއpQp}8-o:xf~z6` kcuyG+ҧ'iNH#lg~9~^L;~1"ǥ'ğ!;#bD{*iG1ܨ[GfZN;q@bUkv;=!Pti4Yhsܐ9XN?H4Rq/(2˛WnޜWVn WClWCFMCs(Ik&A@I?P-%K^2{ 'xsX!>Frn:8o0Ċwd֠ܦlTApx^ď@w|١L{ f9 #HC;2ٍ:X0i>] a}̓+th$,D[qTܟPt\Ҫ\Q0[fix5q#NK#t!턃zLWt,]{=oFǻ[ \\eA8K3?^9LP뻡@75<gUV߬8#8E/_V딈1N0u鍹#7Y$cx+`b@^,}z 3` M`1+X5!1IhMyeL1eiHώ7oO2 44i67r!4dE<0Ly RvFY-x/-Zew>Hh˭B]Q\C#`dh~sew, U7$:?m_Ҟ-{ Mx-`"E4dўsSԹIɣVQANbn6^O:r.l2L,rpȕoX~bJ۬'M:ɀ19Ǟ'Lے^xH'֨Bb]l_bn$җqʌ@$G٪}H8Q=xM:+1t^]o=gpE3VT<5,2r{BgbL-$ǾO6^FBiqY/ct> DbG_MdjV1#bӻbW{ |F^=_dmOmd@wKPw"1<јGlF82Ă/vD%e6+U`f.͏~<Q&-HlFp DI \t@j `4HN!!Z?. E'qR'Z?0 p q/ޟ5B(Q(]j<7"54D t:뼕 i)7 T1arb{uHd[=`0~DX> :Fr+©Bs^B]LZ0F5r}7zўJ&'2Ti#ǃmO՟ c hb~;'*? y|iac}lV.< 1X`NZQQ/?"0 |睦"-lSm*GսcnYrQ?B}&^&ƿ6~{+lb`E#qhY:.x/a}Fm^V| _j%Y.uWl1ᮙsŜ/Ba➌I:o[&jW7HQګ[sc5e<pWg:)%+v!>wYܥS~rKThiJ@Ũ{S Ke1 kن]Ay1XpBPkodr69]::F*[Xso~s w,#QX]oqhB͂"8Wn K~/$JlQ@9mNݴC>bɄD !i1sK3khmo͐^"6:WZ#|u& _=< E$杫_\,z]]u_6$93I}BDvUx}舼,X7HWLZH r<1* |U|Ɍ R=- w՚ "Rk08-S=HhcN)=Nk,Y:uf=کrIgaK̴J z4\<%d^i~QCUmَf?]o&&`ǂ7CS[\W' &zORJfXl}9cJx'K\UgZS D"v1sM Ɠz*v"\!Rͧ\$tv-KfrVJt P_0P-e{~9l0 TC`?fL >dDgfG,>@Rbt%\jsK7wb@UfEQyQ3 gmt*M3K Ih8L{5~&J7i_UeJ7~/$)2m2#LEIF)eW1ݛ>5-³=T)./HNQ_voIgYE[QjjM1g}}QMX4* [OC#ƅcyܒBȅwrˆ~wn)#'8d:W}FF6sv~$p̏W$ 9,9UJvF/cuxt+R}  d˾!GfC Ҹ5}&!ӽoJ cd#BY? çf*F(-SeC'N?ni3W*YnCtkJ%M(Ϋ.{(o)D#oPZ4:۠NV;RڗwΩdm fTqLЧp>g(ao_koE1Q,᭚F# \=o,'=)a{ .)OԵVs:s<oTWGNjzl":JEyj#xî\Sm|]FDg>0#l0PUK=0}÷^ >T(Kohz%3. P rуU5@fUEJEH\Za#$\; Hg2&Sd{P{t3\\KbH9('߻ֻY&@nzS.Gg*5Zɫ[Ld 7m?d,6v֮p櫼JUszr>¾TB7Q R`XIa~tooUE6xclb.F"(4A]lq݆ަ@[ӣgh]@V҃,?q$NhU?' ț=~W|^ޱ*(zUKQG1+S㛰 hA~y,j"yY_-@;V@XnmsubiwJ9y!UtA5碖dAWOf [yAj.[< ߽4砺1w\KG:{- ſo>D$&Ptp07 Y.6vkleFj0 q,t?I|(Փ>ERMM 3;$cT,>x ߓiL@kKvB+poa!NC'׬%K.O(؎u5wPz~kֲOW"wC2|Jض)UMb\fh-vn؁ev,<1єs%ЙP'kJjp ٪t# = )Asn6+bd !LX"60]zڒu>^wP[<'X7{.[8#5fJfEm|b~LaLG^霓8?˗E;+Ow>-[Bjqnj7^lhp{IޮtY6I:Cdz=G`{k`1))Ζ0F*΋NkMYIt:}h Q\:h?~i`5{7ل}o &v*S֍|a3q+ 42/|:AiaO9Ԉp\k (@(| 2u&cbǤ+x[ɭ>N-D<)Su[@C0 Ywqp5 d/ cdzW Aj}tn4='I 0[]/_`vL[7'D& {w慝'kצJpj iAP£]C*`SWY Q+Gt뭔 췜_>/>IU?my .WN_WC*M̤叏|$=|kEsEGhtP{]OJ͖7-c MmP#oP8o@v~0qEkZb}km*%,?׉,/7}1(Doᕱ6 *ACO8sI9PZb =40!&m|jP=5kävZҧlݙu!3qa=X%Al|Kn0LJc}4J԰"4th'}޲ȇAQwtDži'Y;|*FϣQ>3YpE@ذ2`3gyтXljUĒOKX^_CF;+=:;y(anwpר KpԼ.= 9I >ʌ&Zo&Z-Nf=^ʯfKr0A8t1 f*왢%Lc `{]»4B Vdp\ܲ9.-Gz/nck6ko9֝#m/`f|S*?AR"%HSlz"ȨR. >Q&U٨CӥX0I&ĀQb)Ϧ_HмgOV\ȋK+5wΗT[;C\̓5䍣`3ǫHY>;.~aY,ZoB.W-zkU<+}2s7\TT6g}8Ž?Ű7uxͻ1,et9̐}scYf ^1^|"zڔ=q䮵o"*"_k`1#Gk*P.AX֖60>(˸_ &2KRfWidk1$ v8sCfDZ1Nv릊spA .ܹ,hMooL joz.`55?;ouWfX N-h׷%c &Û.YS=սo>4IKx+o KK2p"3΁#O|qa[ dx"R+cޝLO{!eKKzƶ?;眶$xGgoP~.mPmЂ.TrU4E87+/cp ?`'Dg@R9s8S@b% os, F 70phbyQPvs& z} 8y+1JOtF!C$36^Ѓ?tݯN,+hCRH"tXO$N`Y9Fp\=9$uH~]@OA: ` En7>Y'/oyʍ\dA%8(Ñ7*/ `hp ؅Z UB%j W3jp?BsaaSXHOpެLٯSv 6tM7o2eFDMd$\i:ͭNIq`T|cՖ9Lq?G6/G|0vcFO rp:!NETnS^3bA7}< ٯ~K2t4Er$CWɏC5zXX#{LJ,VRJvl yFWXUA1?o4 EW 1- * W'r~k 6 ˪n2Y &yW<|#o\d~$Lu #;X #[&%/,HGVրRLw+%GDHSFs[g! ^l8 EH+uC&7y(`wYN VͲQ|ozjֹF-'V|tHE hr!ε'F4)헸Aƈ}Cnl\`gwx;WB|&c|= {(vĺA9 5_chp] 4[]Hdnrnyݲ2{3tǹ|1KS"c7߼b $4b#Ng[b7{[7d=~"K ƒRdN)e3&vjzixo^"f4"svjc%Ő41yD'g/ޣLY! +=Z$n!9wh(;(sIݫ6ߖi0NY^BX] _: k < 7kV]8qɏ56{dݧD6Q}Ym4Vd 1cG)dϋ*Yoy盫YCq{A^]e}ǏDŽ'qm} hwJ\!R[B+w^Ǿ[E4ȭ 1v+R*3yl hrt^wE Lilq4pv/JFeUksDmL1U*ېn-+;Xch6S_<4nQvWxm?t* UUHTW5$Kbjrz$.;E8w'#~yhRߕ-Bgש<ܔ4!|QNw u`) m+tb"yh +$0BuiN$x=<*q3m]fj4j%xR. YAOF2a(wJ~tīAU$? >ryXT;ɕ?yMAȣ"Lǫ2倃 0U^ [I );haT!cN7YMLt.(-d͐jNhE8T( #=],3^Im3>am(PźK91$~I^Jc^qy46 '0Ab2W#0%K$)I>%®u&n7# υcȤ/ Sص뛡V%g,htJK_Ipz̰V1aMFscH;fo/P_N(;+XXLZBa@[eu EQLhwuJN F=ؙk"9Ajl ځ[Cb=lcpz}$3^:fwC Axt 9Wr?7&Uc Ǝm6,p?vQk\u,9i3ږ]S|x i_l0W{7bá"]vh E^uq:U:M`XYOONB!CTQ/\tbV3'{GmHah4.$8B8Y v38* 0 Q?UD/QqzTnɏPTt:f/*֬ЊS:Y` oלv}q,Ž>la:Qз9hZ6!Cis`YYN9RX#;`E,bOHJ?OAl*\6fg;}%.yyfa&z>xv w\_BBk VI[DܹwŞ!hPaiMv< #1jc̔Ovmᾱe% 3bAdAN٢!7> ETd=Pltg1\-\@哋{qSVuxVD9հN?DM(0gu {[wWpInYw<|˶yOw:`HgZ~?,{`i'FA﷍0afvIލz-oF5 e+;)D+-BYξq#'=*Ϡemt~;hL|PCTڀre1Z\UNޡ88}wL9i<.9ACO9́9<كsXn5n|:gJfJ*|pbBO!=V ~rE?#eu Kz , ӛm.D:f;²ԌK,Bp||gygC5Ae,vc[$ D\E"MZrs֔[TaC7GU}?{b#줖+!Q䄩VG6L#k0G`Q{hАGwG9vRk$ˆkU3+3pDb9CO-58̀)&{l,cX›4[̈]5l{QSzZFn1~ʩZVO\'lxFݾ4`=9B<8,@ׁ6Qǘ!>[AsV(˅<л<@JH8dz;u:yX/':[AS.m{)oe& Dҽu04)`l7m8V4iB+`՜FnG WF.GW= +?$T:cĊ- cTxTK ۛ4.Zfh#e%@cmqWlWSkulf%`;j<\s;geX. |ޅ;$2Kߟa ݫ"b"E}z @[+7oΟ3֋6Kfl7ۤ[c#ORCvE鰵˳%]m1֋¥ЩN=C5Gz.wւ S/L!ˊ [d;Hr~zCY}8O3"@3lrRn ہ@XTgpc.,ߪZx'̲*w( 8 .!C85|{gyJMSW6i 3ZE5T(T"#[;b;%T~e* `!c/~Q::y7yz:X6 FIDW0wRhΟ3G=xp8]ڝX:\Ys4y?Q(RcHlt( kxy;%J) UEJ W @99)<|eg>3Z/{a s ߧVhY4#ѻٱDel'{oC8ލtW4[dس<;"z־ lw{2՛нB`N IT<oF&9ⶮ؂ :pw(A1mq(zn&]X1ؙ6Iblq1=o *<|/iswBhQ折&m^b6'X$cOg©NK4>)+D vaP)t"X '?|Do00crc+Jh/U0؜\{A>,< 'xg+c|S8S6F ز{|D\EeS.WKCA0[7i~ a#Cna23[l8pk.ϲJXzrL=f[̱́؟qt3p. zAýz19)Ҙv<p_VP]q#š!ogЭG'xY|r0L%b:|\Yߔ>dޚ<۳T*eXf`Q)rݣP>&d4FQ.s@_b S#;%2Ù:f_E!xiMr'&F4a]1Ąq,D|5^V&{?̍ q!fL+=vj/wɫTk#7A%' kUd fU6.!M+E0KN*51P*Jf\qe lĥC 2Vn O7\XBd\)ӒaXH{9I^tϏ ΄ Nn"l8.h`.+hwHn#k9ںCqk~n4p8sW Dw^2]*"+d8+_W7*3 8R(sϕ(u6p:&HÉZcnK>hMt98Pk>K'mH- JdGj/3 Zw:+U+QȎo\ QP`ƺFiGW!mM1οC2&/) mznIؙ} IW _R* tm쵓͐XVW/JafWT[2-V0i@5eDBP%$,X8cRi&?O486 Ds1zh*s'#~l(`kK=(~h>Ϧ9cjm .۳KQthj2%4+$cdud7!ΠC}5pm z B Ш}b"Kvڵ!_9Kcܗ^ǟSЖ[-?EV=y_ZSt=N5Z OͯR%aN+gUyFj ೩%I|Gňd0AF!; Le*p&و*6>]BA$eSbiP-&l>ŭbi+U!wp6% 1wcJRIIh*GJ cOˍ-(Lp)WMpCh(HoθǟF⻫K+:АRW8)|yv8af]Y$ "wRQ㝓14:VE:I5}ތK/a #0HeE,8vCYȽǭ`>-'yM+1czE$MFXYWr X*-zς"Jyo0 q=ͧw&#NM)?bWjrwKh@N%v_jh{ɼ.uUd 縐-eJ-5=ǽUDzڐ2v.;#%nػ F$tH㪛%!.]q/kD-2: C_f,22jM/잨6"1{ԙ,,gR;ҋ^ $p?^_w'-e !sؗ?9vߑ˰dUq7+ccveft7e8"&YkpK R)gq{)%qWBkq37WB~4քR+IWS'Su)=tqy ΂:. MS*=<(%{u B(=*6M~{ֶ͝kS97Sݙ6p'FXˑ;nY3֩/bdm؍Hwʡw!3J]LO]f;@Cf3$gkmy&5+Cašۘ$lL%NW(~px]IFkU]ZO0XQj")Y휬lǞwpNMMO|$G]vt2jd.|PɅERTr$JkP[Z>bBCu葧XŽB !BBYNJXg|Mlc ӂ.-0'E4X6o瑾p ͩ+[9d;JiL|7i#H$ I[*r[" ∻ 0QQWQ&lB޹RJ"Ft2qRV d8 _;ɺwqM^?oan>gYZf2312d28562b08e8069e3660899c5feb0f5e9b6e80c594587f7c0182fd41f269932ab98b52794770 f36e5dba626524370b16749666a8ee92b5ffcb3f fe8c3462a51b97f3e1a44c91114cce0c5c222a7c 152e657eea46c9e1d342e532c9f6aad6aba7abbe 57094f18a952949d5dac7c4832f0a570e682313a