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  l lhtD ]% HOL-ex:threads=4elapsed=433.397cpu=1536.644gc=95.468factor=3.557zXZִF! 4]ŗXf1-q恉<:P _X7D *-R~x=Ү` 6\ׇ.ӡִh,Ц q~fnKM AǦ٘.W1VkOx.>uQ4"` ~WS9N{fQ_D4#EX] ܅,~H 1IH/!^i;2ZJߐ[Ա{Cn:79gQ%O"smKP PjB~LFDsG~$J?W3d8uٲ +:ӳch&y4žBN:nS) @kXbA)v^֧H%!=sCxz _#>: q25_SW_1LTֲ̀%=y!r}䗕y. J}~0Q'icU(>óaQd-~$ Ẁs8 Ԁ"|VeUVrMtSV$!r @0³RE<ggYR8@ g]N+AY a2"՜   HOL-ex  67+ HOL-exHOL-ex.Code_Lazy_Democode/lfilter.ML7zXZִF! ]9IP3mE?,J.鬿X=gm9ZAm{&>;/44o_%(+ jհ4 4͊T9Xt?̡D::v1&y0,D^F,bC6,Pc E3A6jq(QnM8 I޶T;*.>*KA_71P5j2rhK^HRqm<{Qn*Pn"omR. -UƦt^Ls^ )‹E {oLN{dv5O 1Vh +?Jȑwןb*S/nΰFbF ! ԱGagKQi'٨Enxͳ(]YPEls1:!kSv1B]wS%:y >":Iz,o$ ! HNb7:}5 BE$Z `&b{&4<-l:3;KE%4m^wg1(q s"HcyX Rc(Z\`0P'ƀ RYM@E.TeeC&&´hGIbTJ 3n}qiBo9|`ѳpF9zf54"D=&^ ggYZ /7+ HOL-exHOL-ex.Code_Lazy_Democode/lfilter.ML#63N' {-Xߟ}ˊYI7Q3'qnxL/.}\i]>꧷b6;bQnT&9S7;e4 Fp_mīLaE!ycO>x,_%8Y1"C䴅h ҳwr]^DNč4ؙRuG.lmp8VG#Q vË(X+e˭VQi6#LN5+&vOS87l,@I|st¶ZrBo&ƭۻ ,AjhoWިս'=R05Q2$cRoAM|-I HJf-.AwO@4nm݈<Ӵ\tCFfԒ~tMM* V;O._u&2rSTMr y;fbuuhLp5L2 4U3-B^q$;bc ,a)6 oIVma h'Fulp|2{ S)&'⼢~0nNFީAXEkw {ƞx8CP48eu[iЭWJ6ET#ȗfeV"2/u'X .6d}R23[ s^ GJcO9ω斜]Ssz4l&r{buQ•EWħ 0[O5gbsH:I?^zշ$@=̷q U(n/ވWyT4q 64 p(۾J5T(ڹ.7BM~k] 0 fB'oT2]|=Fd43H&˜7s)Qϩr5M90Ȼ0λsȸ^zaqy" JcU4.`L9b-LW䰔3Hrs{jTxi8}dn^I>7b+P^ҷɂз$fC k}l 5{$ԛ8P2O{62@}`0~Vyd~*mسmҾ\XjFp S-T\ Dw*Ԍm 'C NiYո4GZUJ靭0D)w)a=&-uύћIx||G NB^Va-BrfFΤ䶍ҎeMp}<(y  JF<9ݩR}Ae0!\AW ,FNsKM>HiԆ%W52CdK: yj*iPCi &,vn:o rhoaYn!Gy+M@`_hNسIjFlWOcF+Tk*$T|CaG.hM0PO Rt6 Iu@k3ʳh]vExXpd uI~ylg@8H@:kKW%)7E@38j##ZG9AGqq.m<ʯu#FM#у,m颫YZXk9 wrN.;o«_z^GpO'N3<,,˳y YӵdG{i3P 4:"F79JrY3<Ϩotbd(qXkp^qp<ﯖ3뿤Hm#0<=h!&:\Vs}'D39wV%7fLvb 8tLMvY;? Ǒv(*ӯ5v-ww5F1eD{GC j&Q|[ 7])_\d#=sFaes5_@/B^&„Y8\!xh~϶\ ky;?G0Z Pː0-d]j0H_AV-N3"8n nqŦUuP30 AMܥ—4 fVjk 왰cz=|NEрXrި؆ J>L?UDxA;%Om^eWP;i&u&-h~t4hWzUޣ%գ?1aLH5uf >io."3c1ջ_[&:a G݅ÖC$f.!50 ;9%@.]D2KlvO4"9ԇvS3u JĦ:vS\rLokT=&!)+hF{/%FH[ywq,|ҤLY' Dsi:0>薝*P+jlR̶i6:nI@s3W($OM¦:!64[dcIa>y8> #| `A{PߢTGS;oGʦJZ yEh|x_g ;h⎻N?%=&Ѽx'2UE_ ]:et1 c>/cZ*{zC׭!d :6ڑ*=<{blJ HHg0JyMf^'2[~ 9});x`3Dg=T&g_e\Jt?[ND~:""lo1&zN:&SRu^haoˑ=)3٬qJ>[2rjSm7U4 Q,j7-,C RߤM?_~clxƖ]*8 wrZw&L*b6@0uܲY /w\/DUўu8J00@:l(XP: Ts$]$.E9g!!^[.~|ܯfL-<\%uO6g3/sRq\,?"(s\둾QE5Wmk)nX ےyfcU$d^m033d쩷\vYn=?+@\q+j\m T~ZuHbCp/{AU/o/I5j9|C,ZVdQF^G\*dR=.4K7|^>zSF'׶zEPH4U* nQ-c\;#CmF'?jFC!bk0F pݨk\z;t xKK!&]QGuCJU4l)r=| vü-B]kEV]3l˖fR:alSRtYsZ?K4nƿ'1<}̼L[bSs vvqѱ6@?ziH 6&B3rOlj!leF`lN"?Yd3  llipZ+t8e:Fz@a,*aN7,B:_إL;RiA3omB'|P)9,snzē֋OG$ DᕆMqm )5\>THX!$~`xrG P@O^Dޙ,  E)aMq55pkf/m*GlU b\"Lp 11K6q-t-0L %1WaÅH9fMvSϷ/ IVN)$iҗ2Ag89嵿/ ARcISĤ2%^y+ۥyf!K! GwzX=P2c" gYZ7zXZִF! ]ŗXiɟ1 Uu-Dٜ4H5пl#Afi F >A?{xjX5tx%*V3~;s(2m)k$__9FOurvsuhei䋥 HUh+3 + G6U̬I>>G߄rPx59 >gUqT4G:rPrwXo~#[yyJa7U#|oL5B|Pu똩%|Nw%."vZ54޲ K ' AMC&εDE%kխ(dAZ)ldbdsҟuY"*Wc1WZ&HdOPct޻"snZYIT"ځOHA]mmTd4lLnkvƩYǐK|"ͪz8-Ood[M]6Y)µr=.vJ_OAX'7UzXVa/gO"fUYR~[ݧ&IyiGq"w@i'\2!\3` CmG>g6gWR@ ;z]iC9T,d@6mnl`̼@HJ< B&c+JQ/GCKX/ƶ >[ ;Ĺa2;wVچn/NNHc߻BwW BXRԛ$E9"1FrBPw~>\1,[l!e;..zqHʐmٯz,)Re+3e j%HvSrѭs󟡳YwQsd/7"}Drۅ[JDAc[QN4ؗRsD(k߫NGt)x2o)c,{FTQ[Kwbۤ+Jh`3}=tY4s~sfr!<V\IBdAΥjfϫ?'T-`HP5CI̼3/+{-%ݴ,?L!޸8㻱~_@T8xN屭-MSPs\*0 ʆ;e6v^v>IeJm>Cm! J Y?y>~^1y4䊬u9_Mwz׾f䓭,&g.N \#J6T9fXn tm̡TYkޮB`;(Ca"M ׅVV?_e[GbxbC? 2KWjqd1~[uЦfIv7,:e@Ӷo!.ѻ~/Jp=4#;DX43̇{0ˌz6OAǵ3F2%. uPPaΘUXA$]{.74!ࠡi]0q2bXm[6CO:* (JBxTCPZ z$R 5'gYZ7zXZִF! q]ŗXi%Ibc ֘XB] x[;:.#_=s^@1u79ָ+r؞Mi%u*sTIԲ<.Z5 ԞO*a%~qp W2]9-|Y"%F_,HsDy α̊$wSeHjK}jKT]PP /_DnfZh* F{զԽƵ5ß?Ǵd3%'/;C;QL2ri=n+38b&g@~ˎ["nocB$?-O"W1B&\B5i+)'GdcPoNm:&ki.%c?|fJgaIxD&s4F]UOǙm|!3gv+@bFwAGAfHt|j%wpHno ԙ0aܙ.at&0V38=e%4#hDZ^ڮRL `,;򣟈&gШMߟJN%z^ќU{t~>/Jf.V gU(ٹk] 3Fg~kLJ-$lzJl|5lH2: hR_n?ESBJ,O\TR-f]EX՟ b9hFiV%L3i]Ұ%*7P+;˳,Y`DBylgOϟxv/dvo~,HUN^罰#4ebުN THP8Ik %(*gszJs*'7} [Cj0k"]ZB>A,QWu_e3{Q_[Yc"?O`Ҿ[#AW(Zwԥ^GඵS[5$b~=pæAIeSQ #9u$7dOf@2 e#Z\cSX&pքxS"V!Zh]Ҝ4$u_T/HAOhEe~'z1Gcc5锲]Aq>urlIVDt2W:'TEnZ6R3e]V[t{!?"fWTrSY{EV]C#Eh#v|-#HloF}ݡjԐ_e- t\ܒޭvh `)gTOҍѐ(O9(@5[נN_Deu!5@é%1t}Bn$rj6T);NCj^MUtM/ZtbpeamC4;SX@ #kU:x?t_GY;dyPW,C(LAˮa5ŗ<;)b_VYѽSXR|N]yk͆PԛŬp,x{|v \íW X3cTTӴ.7룠gz3B @?sg8D)U8TR>p3.w'a4i8ۦ x4 EY T5|\t)d@:/)~|hEYIb5z8K )~A"r1Gom œ)@5iQkXܿ~HX~>UKͥnz҂xJ^I7mBM}u;aFgsNp,$y i+ɲz/\bű> [qA9/u_ӺlvP93S#h3'-J0ƌ7=mpWȋt_-OI Xci&䷒ɮTDs 6@xa qf%Xҥ`0*4Դ!!u"B7fOİ|rZye{Xgs,4k4!\S)n>,j焊E9s@~t&zdai׳Ҿ t6; wB#TƇyWX$gaOxI#&ؖ/fNKT Q,㕻Bk[>Sh>t`7%S Xȥ0>>uUM!}`ɀz8@U30_SwL?\p4S@7) VETt>%Ƶw4*b ^h~=*et4,/F_ Fվ%ZvkxԎC0'jŵlIs[P;AbRoc(1@e>{WZpRt4TDcP麡lp5(LU7SAi4gxȿ64<*:;(`Y,%O1 z IjZmH?ʌhv~Tt/ %5 ~vU_+ Fa?#B*qEň} ";S]Y\/*If Abs ѷl{62  8-*cݼw1y _ةuXl!L)6an=?ZCVX]e-yRo WCt8'ʛa{|dnSwNʤŪ8okiWtE^f^դ h>mLZdR D߉9+lVǁ MoÈ@}hH4BUvo"7h{.O: b+l% ^'{Zz8ɍ|g>3u w 2rַڰA@Rt{%^LYz4ؑi|Js<"sz^3x ^ު t`ӛ g >|n1&"W8#>SM?g]"WrcolFM7E{N0>tz~ n4ю^ bKy0%KUfwW7:Mp`^d>Srk7vg*zJߩo(eiNl7́Ӄx-[wnlw6G"~;?qliNB&&\>[ U{_6J=`o[&sLK\akl_ڠYʪ4W|굠WҖ{h72,?aӻY> U%x]21] 9iϴTOpTi \~K?P^ͺɐwQLvJfm$QX&ՐZ<=3_lo|S4{`0u}7dΊ >\7*) z4M@)^x0'vRsJZ XyJҸxDE$Qux;ڻhOI L{K 5Qe]ݶ(P+]*jH F`ǖ{߽W #+]OqÜHT*UVoVn t5Xܦ&+L#tA#$dO*#.PUb9KܸɫJ޿9]_5 ?.ܰfV|xB&. %Q{B\jQ`m_Mwzs^62iHmFc̜22[\uS,X+B"0U3VhR V09KcZ %]*})sc< ?eb@q*;k]Y6 E4,q)/XUv^.],օʟ8*eve| MG41Yee{]km.]U5A:ٱ)4 bt:ޓڣreO9Ϡ熂ynX'?f]DJ0P0);E'~5HQSzϵ\V#|2qM'^膆q vN'`V gHt',uV_qkZvlt9iԧjM"h@/c0W|-"3L>,bMI P5Av ,ox%=AY RQgNBѱL9'ʂ n$Fu3&ڡ-j&0S^w;0_ݡGJ;|}ܱ@#O"_H5Y[aawER>4 Vc9Օ<:hmY8@cPayʙ 2k|d+nͱVVaMleS!]=O)+%nyw58OUMnFXZ*b?&I|NY?!p\=,Ap0\%VHkҁ.a0K16B}[NR1Þ;$~@KmxрWPGڄٙ=_ >Cs׽;ۥؒq,*H"o.Ј>if= J-grܛ:<7oxOhQ42'Na"XlΔM~`$-]u/3C-Pg򏺳ڠ%>ֺ+b(ة xuF Qg/^cz!7k aaOO{Z"#:9vE/Bxg?0DZvf^(f mKy朄6q?\& {M|p$v̰ ȩ(~"MhL! |m Mu&+%Eo683] FS8%KԚ( LBLގld`cqϼ-5^r-`#UNKmf}\ȍ6e^Rpn+v>̱8}\Owk-AltF٭K+@zv""Z"N``i`a odJwyViʆN6 cE}7'wIBnϿyqZE ML)r~[kVEw|A,LB`-0dvg+L= :\l6v/| mW74< n^{'XՒ$xvM$Xm}VNo'!s“cDw|kʐ]Z{E#t6Jv[>`ZiOJ,n-gs k_; kxTԦr{zG?NӰF̦X`Ujub 3{m5oisSQ~h?OpBqf:Iq%KD+|C<pzcnQBʭ:7);-bq[unewa8"42O9ymҒ#e;R~U[a0~f3iɗm>`ș=yMZjzoep-i gnfװ$!Ql}5ւ/ͣJ[*E +M|ߋT7-VhpqAqwuFʕtp$p7zp4.e7$"_ɡ9PjOY<ѥu(GAGt,bM SߊAS7oE}s/i刓/ _Qo֍*$:4 h&Xy:Dy)M-WgIDBOjQDr*L|ݯ(HKNSO~ssVU3QQ }n-3ȓ6q~M|vQؑ]Z3;.#G\Ker|QP1I" 3Hk<  `P\?YNu*-wHL63ޓGYvP1*<_ɘ`@6-Eocߜ0drFIf& (00&*$t*I J]d[[怹Mk:dv~g+4_N_)?!$a~dTݟNz  I/mWQWU!~,z|W}zFu q(>(x! U?)U &ϽEibM:,nڸYm~eBe:$<ݍ x.ҏs%h@`^Oo#, ;K?b嘺P|kr`*6BzG0pQG.|,$Klm,сx@~\ G6;5/6g X #z ,{2g3Ԩx!DURn5aOzs}:,cr8Ѝ!D13A-}&oMRHrAJb}M3:/!"w473[hȂ ǐ/⥖4)wq5_V \%=7fQ%&tX0@։,kmӢHec5{tAg)T$2Akpo't>%E/rr2\,#xԉE7uK 92HlCGhp=$`éx}f(x"_Iɢh<\G1IC˘-d6u kzeqҙ"bAW\ 24Wa9uiMCYe'LA!?LzoA'Q%iuقiUڇ(-W%{_)b"n[Yuup`|A4@^p1 䴶LRnrdphm\A푃Q Dp[I36rYJb›nqԼ4t(X BҢҔ|6|89٘h&TJYY=6쌜6ڭ(}Og,.[AY4:,R@~?%}Y:vf?e2VtgopݦkoU9F]L,۵鸜-VӒ6n4cG$Uk6zo;p?Pt(DN4UA I(9D*k(iQ٘-N,^4&LjEǐ_/|:eΌM SY ):#7yve.m}ff)ʐ } GGD[1;+ji**+M CPԓG  k(R¢HK3Ci CMnި졼X,^N֞!r_X98iM8-$ge튫9zuǸ̒ _M.tZF򎞊 2?KfAC ؚ[E)~6˘!G.J`iSNradh ʟMd^!FQ L79A]mxÈyHcNܩtaq#UWOoYo6b̥;>OK$e*U+Y y)A,),5;ZȄӄ:|>(:`.8+˭yZfKV$ .ImgcqmďP1*~ NKc'w%i M2$%*V2?P@ػqWl^åHgyu:Wq9Z!Е.b.si̴L),_)4SxeIsZdL q!xW404/- _{q},cY{G_Rem8Qa*B?phJ0pe3\.$ I #_n\rG&[~yzM":2Ԇdpu )2&O}hzUUbV,.ɞVwB%#wNxU+׶ìL^p-ɽYIڃYe+ )Ә~&?'D1OZu'?zim#٪F@l /nNe ML&r [r$blo"rq) Uf XPB̮~4Prdp@1iʄ?/g[M*=JW7pd))=hnUlف9 V=6[' A  Jn dV0itRpSܒ4>PFE|LP9uTw&lBvډdxy fI0z#7џ#2޲ConlB-@ʷw.%0uf"vw .#f+xɐT}]ꬑbG$n~͇ٓPD@ykIdQW|l_84V`ss(rogQ4,@eRo^ihXo[3{ ٱ)}DU?)1+)ڥUm\w;]JkX+B4|_U_Hc\c/CROkx* }o$' & F3ynj֢C҃5Y FwUiq|) `6tgD)V^B:j!k}xap5%Nk7'?zGFv TƐ(P)GT FhPDBNFwg5 ASVo %L~dfls|33#`eSDiU{aOA{:?1 s(f 3I[Ə9QeIGI{Zsoeм3G)BEגv%Z2<HHnѬ)ܺS=T;gn>>T;1\K-83cFR$슴+f?2{[Hq $9YC4 6A?u{K2Û];g'4G5BIUBx+ó=v'Hܟ(^N z @'^ y|d>O1=9c6Y=4 ]%C%YϔdeUujPKŷh.׉&yHC6wږQ[u˴0lxu !n G|*,^,hE#aڬw$#ZtT'B1if&=#~\4us5wfϴ|%k" YcY`Gȁv lǙDh.}Ooi\/,xO96?꬏E 64$-֎N7ŶkKAoHR::DH @y&s٠/@l=W}K45JP>,^7>,JJ9n} І2MA 18/9nۀb{jktwJ;t wNƅ]׼5GN, [XqYxp4gUOs8U X4(ԂvR `j0)]y­{|/F-CkAx :01Y(7\.9+*F(;ڌVs)X jG-/ z*Kt0t]t.492!7δQ 52*Gcjݥ8;4wkru(zCe.Mk[ c(<amaVVXc&5cA>[BoŸ& _yɉHvOB3*g5VSכR&)/Zjwlk]:.a-Tז g f7'Lp)Zq|*R5L8N{(łsn>rƱfVAʺ$3+<,XleϏVX`E v7!aWSx0XƔ&,r".S .'H*UD:(▁ .Qɩ݂,,e| ԆrB0V6i( GOIp&l0,[k2N`#݁ yn/AaX?^jaxߟήQvȏ`{"JUi_1ɀz)k\ydQKŴZe.zY$6=_oaZ~ ~R;ğvaj0&v~I6vf4VDIgLs9eZ "NbfJ>R 1z[(1+8x2z[7lIPaIT,qj 5l pGVZڣ0)b"Fߺ8PAՍ e@FGtH4VGb%v<  #[Y`ɶߨH D w96͜#85N5H;8C{EmnuSU{KCKFJ( +Wl?jb0at{ *< 9e)nд"L{d-D@T?:yml]ouܒFtIs'%)\NB8ѾڞJKyDv[3nKۗƂ ڄlZaN3.Cߩ:D7b7^uʾ]HUj[(2DBw )ZռJ౬R(^6/|A{ap&Lnaa j1e+_X_NFȻCYNq#tlFFb[o;Vղ螩G*ڥh}/_/C˜+/E(y<#Aizn? V ~n(t  +d 5ݟ2>2{k D1#[9o<E{#2 hSޒ 8[7+Br^ {W242?aFX cIhl9n TK#X&" c{]PZTaD^/zZ]H~H;:QX؝|,l;%O2?1 OrB(_0ei8= #/aĤ[ V.JB=bzElb3֤.yA|6.T{Y /;}IiEGti`:A7:;rV<"ɝrvRy&c_߮Fx(9 zʼ[(KF 駱fvV2,$/F(4,hA -#QҗuD/RmEpX` ir=8 VT;ґ 8 -HjamGX}!#)&~rD9`w'7`yu4`"ΓkgSuqv(|RPnj뗡7*c梉EyJ^oAID0ldբ)(gYvnE$s|(mPEjĆ^<؏(_PJJD;tUy탂l<6GjBqyCLJ@@wMoZJjtN窉'Eb!r^h"km=]o9'< f@*$,L*L3"cSk]q"VUp mۂք7FSTu p>)Y֦ۀe9@*]@-2iWUӡ7aj.S\ʾ͂/_)ºTr[c+[sɯ3/Q ;P|b-ns*gICH˪,q.i :u״:}INլ]Dyy_[Vlmu(s%Q JU|ƪ}V+:EY(|~^2b2]ԟE0FNSk>eћ<5Y46p"! ۵Gv%foj]a{ 77]W?pFfH}0bX 1_t0,4I Qė$XО ⥐NDfi~ o]}l$6/idOka!Z >!yF1x h;j46ZVrm_h["m'<l$'WjAV q-!lHP;vwuIW\r {\wRFϢ1 rC#hJ &QX@LD]jC^|n$eY("iK? D&kVzI<:T}bW76%q_HQU1ڱAWB4!$VaZ41 A$#T["TaNMj/u.G*P<qa~G=KSnRzFC^R81|+auã(xy:W2◖^r8+h(xVstr U-W)'{>Bg k^5w˯~vX9 Y=tlMXMGd%/ . k4aa-f; Tp/2DZ$֥lg wR įRq,h+HF;nˏ' Yskb /O)IƦ/e?ı!P${2U#g .R*hl+{$ 4B[*M!#VYXº3 /2w\ѠJHSLkSҮ|% @۸ʍ~PiFvz~1Sa ދ6 UXNJN!SRK~, КsՌt8Z'΄HZq&~\kFjR#P|,o^ 3׺[+j,#JCM{&9ZVYuE,$>_KZmX4#cvޒT,O7+;4W[RtH{ ;A\sɚNC^b7 oz"~mvS?[1u@ EgH-SnZY!Ao}!R#Pb%b.Y}EЫ+f~&ٷKIr$vL4ak؃:NF"I8KG Cyoxiճ╣{ Jb_pGzT0G@>SG ?{}t,&P7R Zi)ͩ~%Y9!m gm"AH8m?eG..a1V4䬻( v4>) ?1m&E3"CɹZ K ЃŢhƚ>rq/_&q?iH>T2h(>coЉbzVдCAk=Mwd1Q`Odz}"Jjz2'j=uHYAT݊> /2D*{]Eާ6 9^ߧR}ZzʥjѢtv2Pʚ`ǁY5휔l"mCF;BkA<Ws@5e徜\MSa C9C o?DjZ- ?p翓ZϲYk)5Ƴ@v0o:I$ЬkCkkDEF9O<%zrb8\Yvcἐ#j'mSol?>\ pD| CxXanaW|>CҞNٶQ{*T0:Z-廦V_1\ӛJ\F>Ο&8?n._DX- gMq|'305!Q DXqc@z0hḦ +J~iUn=P\`l+[fU"g@k,%Jz$yF3hCwZ4yŖfhzѨk9H͚>#IQ/G0Y话SUDE|R/_A$UiBCI16)r{'Mqp?g2 ,?-A<9pd9v%?3YԀ4Z ^?4  {G GeR4Y*%2!/&oqhOa(M%Y 3+lkq&C$EޖnvRS_ke p_3O.| +_CƟVA%`d|[򶠘^~B@qJ٦:>YAXW#UۺG4B@b)Xiy$d|ə{GR* 0я? Zq4a%~О C{͟N9O]C[,zpx0bGKN[ Á2gPm?y\g&WE;,* ѮV=$2^B0m<5lM'xv -2p5YaZ?KӾǎwVi,۸ZoF,2WJP;E<;qȵr^-%%\DYQ7dYTb'w26 /(&<=|eIVHJ LvoMNc ̶ך Z ə*=ox0h7A%7 mYY2w==$ *!igynj,S*+!F |>|Aш dSAӁo\[9^,%31O-O{WočQלʈA'IVԃXsc&o*Eu%uƼ%lYStW^kdI=ݮs"lKU (lμq|g"+wH E{ >pN (\|O}}Cr.ΐP͋Iaw78H(g$j pXdW=…=f7ܷ ٤?S1V3]h$sǢQ}]? jJ_o8cP)&sWLk!|V(ݳzO,4x܄FyOG+O~*uq2_We,v<|mn_Gߠ>ʛ&e;@I.ҟgGX–>㘁hmEeI9ďT!XUVl\Bj%HRaHU>iBURkDۛQb?DX|aIӽWp{f^Ո@qSLX"__ cb9& uqΛy\0{=c׎_c (gIPw(!ۃUY|+N^J1n{2 oS%;yyb]‡;JOBv5˦r&jKo Anf.gKߟL!~0X횧~ZwC021VK U"ΚK|$T>+:h{LOiyĩy_ RHhj?ݙ6Z~4hA ]PB 5e0Ĉތt 0*.a3k#ă}j HO0 톜W`Oq%ynFPMz;KFE"U[.yɘxЭŝ{Hʠ)a'=%Ͼ yb" 8C`x9BIGXFj+9tU48VRGPrه*ؽ.l Hy<2P~*"'h3=Dce 4U6j;gsjx%1 &4/wBQߚhڗA"|{)ĿYPE:/HjX:IT؊w_{ r94j?Jmi~>+lx,; v8"! {=^~˧#v7NvDD JP办=gHD G%0Ɩh7;`,,gu_πKs%I#*ܐؒd `UѓV"LLB_W8yJVET|=a@~6 C}IqG9z'<9\>~c8"!-#M!kaFޕR!aJ ԟ UxGxߖીIo_ZzSՏD)g ‚wc4 RjBh 0Eo3 eh-3YC GXʓCz^ ԕmBކw]:a>$ [/,1&YVn-l_֑Fdt΂M ``aq 5MK$&(zh.^&@-}2~~LhI>Qi,'ڱPok]x/Cݲׂ}qkRyiW%=,ZhL z! $y|>hA5F&Hjco`G4yr$Ƙ*'bDX}%Kcud_kH8XcjgLrL] " XuƠS?룅=x*lusK'42, ?=1n5椯V?o8%l|R+挽N4w*\τзH `ˡFm?G-[č]R揇3:Zj"VQ͑ +3'B.lrW\h}(q-wsl zY/ߩ,[,K3Вc9SNVZy #WG""8-21ە;y?uweFUd}5Woso~uK|^iFٻ p"G%o+5H - i3"Rkn7gkEh?&_44G~h2!ŝz y ɼZt0(,ƣhX쟻?E|]ӪLznݹF>+4f-PsM*o1$_X =9AB# s^}ߟHxߛ5ʌvƌ-@yΨuF~%<hl$mLAߢC8D~5h -lո7!׻]LV*(a?Mr[0Gu»Qm@iW'upQȀ3}Hr(ͷsCKFsKi2B_ c :J4qR 43jخv /EHCS̿<`&`NGE H:LK}T븱]Dd{1ٱAĒ8)c61j3vi6 AU~SQaRӔEYsor+w8aUodTp~ SPmUz쬊&b@5-h-m0G2fFៜmWeuMۆlf#bg¶0j{XZEpTt`)NYc:"!UൔnoQB$~Ih]nxxPoMtԍA;ŔFտG [+kk0 <"؄ )DDCkAH^^M/Zڑt7x?C6!=#I[NcĮں= s.rY .y/(x|-*Z:4ۻ8O3ee{)fLP(~`ʦ_'wLٶr,tx* A-CO[ՐsƇu~(.ͮ莭/ld}b?~;Z8=zax8Lj8 BVˇsǷ>X4A09 8QqxEZw 7 [بe|HGX퐸:7 )^Jw$w\$WAkDkDtV0BIw+n) {kLt8+INH2*;N@QuZp`Az>4 fN!ӳW;\]1{yCe68;8x~l(NӉRpq Ye :UԪ{ ebS( q[X0G_[u_̈X$B#AHL;"Wr8 6 Ag SY~9^?NߓuepZGKo] yEVȍjڦd2Fh~53bz+IU <:puF $D-x4VQo:[p0pu=e׳NJ~S>p&Z -" p,;د"rV8 .9b Tߵ: `=+=Hu x8nJJݾdz;f|̔|3>_YV)P!SS{7 wpMnOlc8~CQUCЩ vzqM @$c] z$\Oa.aP21pdAn_a٬ZyDbG@}n7:vX" Bibm饭O 2Crŋ5q3MF@oX+S|}ed||.,XI;܁p))x_@iە&ӟeEG wybFUb";)sèZF ^t˼C:OFyM\&hn'X:%QeK7/ K6*D7)7X |Dߥ6l MxsJZp\/aVsfh4.=eFlK@A!̌S.+2Z9aN9{4 %0` q!#-~t*ݖ}2Iuql 7d*JzG k҄Ǩo%]GX5,@a Sp-%bE_a GeKۼ:F9 'baDU ]ۿ2  '!%3Es߳kQ`q/#LݠmV΋OGM`\:ǍhnRY ,BaKF׍GD nW+o@oaX47Sc<}j04)J}9JXiAH.bU/gehV/}\ f.'|iPA4X|XhlR#~Uw e,flܥI7s *Kc6NCZId2{R1/fp3,9e%KN-^STaO-@xO "Ǟ8,-$>l={cCqVe J͇!4K_v> 0|#X˒n$[ re+`Yf(x>S NTiU&,M?Hݚx>Р4@YG&s*5آ*fI-L@P;XKo@{^΢dm jX|]?Ӳ3e^h/Jw18|Ik2J_~u$wfE>h|`u JP.QtK *K_^:÷[|\pMUq=Giri^^\@T!b5@qQ=ӟE_ա /2#݊am<=yn%gHHx-u+`=( S%%ƣr}a rR^K: O5.,t b!ADQKvUz^f#6~:l#}:aUD_x҉#EFϫ wKr|aogllz~gbE4a/>ͮ9`ERzrbbnay{{ŜxX-}>"#j`_JOQͻrHC1WbJZ(EU7]rFiEI+I/EfXz|fts҆اUY~QA>lIy_+ /]4 f,08 ~;%<.&L6൵`9DDYE͙< 391L>4a iSHI3c$3H]&[h lbsGjf9] ]̿E(Q(Kq#Nյe~n2O1k: X3`rqKIG;ni6rCLzlx*%wnPP햇6OPY4~߹: ?K6-6s"tb<ƭhN{=#6a]S(%>Ijb8,10H/QsVUּN,lAm:lڗEo({@R(|aB5$p|#T>E; nP emUBQ@D^ȩ p7ugrQO0 ]Hji"1@Vv :1RK:^F⽛.^9H F9|c9Y9t "Ky IDnNŖ&jeqF GQDJ)֏Ɗ6,BɎ4x!fYY%0MQ1ے–:OFl1Rz5&НFd?}?^Z_֞!3ҊC vl,0CJY,T Q }:0[?F͑妻+gx;cVھ@IN13zS=Iv㇣s6n=rgQ.5~=?URJgN@QTRӄ1ÊM>Mr~7߫1ryVSY4|ގ tw%էge(>Aۂx6>v!%xԿ{3dW%*Ad LbCd/!˞4ٻ+ QL؞ZOmռlq4zp<2Th5a6fxKj `tTP%XisK"9h2! "_ذq  8 &F}zQw<UY–#Pcᑵ Dڔga#Yjl[ex0W {{]T6G)iȑs.9i]-B\C͊o (6ĨFIOSTV5(b1ԓ"EA 73b^ս7}ϕ7U~KR`5ftFs[DpqV=mµ+, Xԋx