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 @~,T ]% HOL-ex:threads=6elapsed=423.614cpu=1474.028gc=138.6767zXZִF! E]ŗXiɟ fftb:u t=rpRNM"Q_X_Yz~XF7FR.h8An*nJ͆/y(H1<3Rw P7i6R}jo4Id#$K;pgG6t_>zlQH.hig -=6G򾲯s+ճ/@A!-g{N(@H{P?= nI_C"Q]{}z> kR&WFi|rۣAԲuC} -7MJmJP]чm2\"\7w(eȠ5TGfrXQX{!'hF䓌asש`6֯C$)j >g ~ 8ڝ8u`MhZrlH8ħ>MDzfsT#D1Ch}Ə^OSVy bM)XS($ ا9X,joQnJM4 JQ{Me{E@0-;}fޕI[F=%/9һ+ xE㔞D&w00ql@YբbnlBb"+1G''Ryn$ C)`Nnwbj(Vs~NA9'Aؘ&b%q%؉XT17yDpc]߻9RyC_Jr1Ҫ|-ۣxD/֐8nuE} ,h^Lc!|g"!0 ׭(0KϞl07~J %KGcr֒9576ÙX2؀h)Aq$bod>:8yQxUjEC%̥"Dr_3]aw\:/ŵDoX]ڏS`+Df;S9JeC5P+\hIpPḵ-{`j|”aTZ>d4 LyѪF ?Xn<Ү h2/2n+:w#3LCJ`TJf%"zO/G:cQ ˼LsrK \iTʏG/cˑԨ.u0gOzmBWvE0"&MH o7ai$N|K!̇UduciRN]e75D)oU>Ka"64MsyR =vBL嗡cڹ^cřivw4B8@ۘE9_;0 &j{KAY*iN[k3I刦O'yigf| 7yK[xKT!]9Lq!/3PXob͙eM(Φ:t:h/Gs&3=``͞L //S#)Y,?ޛ%qc @9vO`;|_1E 47c?1-wpEESt5,W1 [Wie:( qi"uk[~Y5㬔& Qv0&YUE/{HAUR3!ƜαV}>iM)=LM苊qW*2ҔgA=fa7+r͚V\b;L Ϳ,ƫ>nfB~b@R+[.P5<$%nuHږpŗ\Ba3Zݠ22iřWZ&л=KOhpVw89k\4 ӊJ)NSaύ-2bg{v3!lRw6-R SviϨhEっǸ s;*+xތx;?TI!MK(9\vt B#V$Ǧ\_i'Ck(#ʹ)~_6H(eA% " :rǂWOEy4܍s-=H¯W@yM(#u">f!K=e]g80pKR`NҐq=W$" Q2ow=D~$qm2ҮƵM:X X=6)/g_   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_p[esꐻlg}3INtiXAtOO!ԸMaW4*ҙk9 i񭶜#R-yת&[`3o4f" |'gE<';vr0DO~0%"OzP<i)Ln )CWv  7krw Šw剃H mX֞D (ۻ2H4l} '#Ck_ǘF9Z]視$kzɰ<9-sIrbQd{$rO'9ݩpCB&:ϛ@C^R;)BG/UP(S`2Xޣm,)Ԧ3gBrĕ,(#hB]du&bH.u}Zi o JK@J6 ;bA=^_ԕ&q2?TxԀgg}l2H/' tؔURc1BezrwN1* d~6r8{$朩tTM2$X'w(]Y^.oזnϱ~XsgπQKyqW([KcsW?G=:&$vphZ"`˶߶V 7]Dv.r9 hRl}g*rhxhӪMP2Ӧp PkXׯG.I7XS')< }-={ Җ>0G)oG(#FB&18 KAڌEӮ7/ꞥX%oKjyp;.li_14=:_(P pfF"-QŦTj 2-rIeȢ#9JjU)iQ0n"4Olot Qg>k`9c |J'ЍYK)PO~cHb^91/ ,茳y7ۍ L1\'̑!xZRߖhĖcم׺ύ:ZXy N9@:_/Pv}VAcC _bܠ|+0U1'yAb# ?Wn6xe?BvlVP8JL_g-+5Ӕ R ^8lљ$ YMĈl2uۀ+64޸`q1C2>)ܻx41*ӻzʠe `tR9=$e7M'XdA7{G0 w JY9r%[y%I_\m?!%;lٖvn-mv84(izՑ@;FeN_%1eii~/d)pXyzHrRvBt YO9,X } x*_ۚ%Q3w{{h'/Ov&)-JBv) EFntVzFS}O,"ۙϒŰ9@VLS~:Qа}lppl'eSCek]jOA/<ɲ$[Ey)D$0X ǑCjDEiBW!&eBD9{2c!S*lwVU?N`-wi9zCU|Q*l %7F.V+;YȦl8 E:S~^zKq Y;WK8 v.˭7@@#Wnamr;T{/хUgFҸd`1v: ox;'mC,H0`$S4#qku6Nrl`M:#IKX )X!./HJk)+kȌ?q!j"er0HY"֮dZwcjڌ̺΂ ҚݾGjBWCםn7#}OXm8SC+&ill[$4ib Im,v&}y/6oQW!&:A{6~Y\pjA 620Ԏ'SofE=b]8]>& 7Uze%z,f@mN;63lO;Ӡba[Yq_\}:`UU瞛O̻6=ϐ/KPiI?*Tz,@w7? ByMvrh5 }SP'66#VjW@vWs7jgyTx2&w @TA2u~aVGML=rya "s3pO*-D @] O`atj~ogЪH]JX"-(iuO=$Z-9ق ',{\^nKR-bYIJ3BY;"B'dӨ࿵yX-Ȳ`d}@%JW.z!D~=sZ!B*ףWdw蹫(l!3x$bR'Pj̚s>o9d;z-LN):R;;8~,؝ÃA.(C׮Bpw/4~'Cۻ>~Z5pU Nv@=H= 6p aZX=LO`GMm vtbo7K4r`q ͷ['@&/"42 j2} @ {]-&i``nQ-Q|1:cܜS|R4daja;ө@ +|!R{dǪR(b(C]W x5:_ aU/C1i&\=/G*~"9-O'[/21M(W8!YrwLuHHlh1>%b>IS]2-gYZ7zXZִF! ]ŗXiɟ1 Uu-Dٜ4H5пl#Afi\6[1SHdX7i9 ! Vm묆l\rƬI( Eԙ>[!FJB$Ĵ:ljTKЕQeh1ULuvy*"yOH6Aw~x]x]^vYjT0gOݎEq}]F7wLB|Z9{Vg_"rSέ]K 0_ ف9=@q*VJ3j;(n߇l?ds-5u6HAOZEtMMBkCLqň1¤F_\6 hrUR!8F;z)Fnr)plTU,ꑄY697Ccͼ[Χ!'FRʯNCkB @ Tlps<<#1(ٳ+U;y!W[|#+/h c'zW^+#`o6ID7,t2qQ׾q:y4gj0z Vub\[ݘf%aTXw_C.uLػ̃ˌH}v ~8AlVj6.J,WIDJ`<\XmrjXet2fIC m#:4j_T)x%LOrpڍ$eOJ9iŜT}%=ЧI?C^NB{瞫9MO}MЪ>gR(R' οQQCzפYoU̾(_#@5FpF>2(' } @xKX0/%2XD'YDz=9HB͇H%$_jst&v =9=Ԛxn"6}zIюL_dA&#5D(>G\Y?Uk 3 ,3f J}F1R@a'TK'ڝh,@Udǃ+ebd3p$;Yp8I"ىI'NM6'+ lm3ڸF{6힯-Lq]Lp@\D0߲u>Er( mޒ百:q u{bt3gt'A iIY "bA 34\ =x7YR{Ry_</n~adT>;belvUn4c3{]i9Lՠ9=W{ ̺Ca>fU'H~P؆Hퟫ}D(N4(ԋпB02 FZvL).1ع+ /Co[%pESV9y+ƕC0>YTpN.rA]4A-Xvs 34gYZ7zXZִF! b]ŗXi%L(qnyJf/~C5C[N4NJO*l9:ܑ+$ą-n 2͢ےZ k!j:2f5b%5JxR\xn@f8X/gN!,}ڿ$Υtawf=[̱'guxq"Xb,gI!VQtw2/6 E<~_ }?="|}=X09RD,hvA^ĐY@AV =׋J))C?oZ%v9QsҿI> "-9,1Id('Ȅ{~BsӤ&$ʕn%<)%"2R0ˁ?~d@s`z,K"+CZ@7dpw#NCUSQ=tOHq=d[RTyNDFq@$@;A% AjFg* j(uYkp,ܒQ;"cf(XI-{TeY 6A hO'K "Kczk6/+(/dKDyW0¹ˀ=&|_S)|k:!狃!&e q"^QK3=Iew *HUJ#4,ɝ;ilz2JaRq[řn I-o9-}!*) ƥ!tCeWZ YۼAǖ`}(~<I*O6eY#:8',pEs,`o9whش)yr4gjNQ\.Iy8Xhݣp/ 3"O'Cz $ \!@ӕ{ W'-I@JX^9Aف1J?s M,n,ǨF6$n1\?quH$YU/q3ۙ3l[Yz(02.q䴛dW)[BdѩT`^LK3s)5aT8KхM-ēB[Z#4KjE2Ax^,Yp%ٟQл<=)3`n 4LjV{ 1΁`"T]h8Ϟ2״`#~3OѴC%<FklA Cݙh?M8MJҖmCVzM:Xxlـۓ/]&2 P{Nl|'88nc*v#oJ"qUv>SL7Lqnpb3)f۪[ 2p8Duyĸ3 x35.qyqe5S44cSI>8EWDUɈ2*R"FeYąUz(P,iC$Ȗ@J.qJgUFܳ+Nm'CK;ZƑv5=)T>\J[:HѧV%P|_ q{p>$xPaf W|RF  W{!٥@ѿVĔ`慰kN.by= [?}RgN0PjpzC+ 9 T9MPw*</VMyRcĺCc+B.Ȗ1>WhSRyn#3twWŞPxqE[9F'#@Q7rQq 8" r/fub΍ u8{FCC;ă VwFoC;#^3 ]Z:(x5R4aK#M'zNI$lOz&<ƬPi" H/*,ԥ% . gWc"񬛒 =)*Sz~{.rqT?\ê! 工Zu] 05T1s9B߶ $5-k(t#e=).͟3 u6B̷ukQXIJd& >2AI kb⿍%;߂F|;%@Aź<-K3(i+6z%0NExagmdV/f\¬۳5\(t%@]P+_VkN lS77wbO~9l*_[Ebq7i>#,X!>d'cyas.R4<"a**W߈ M?*u5s0xH $K 퍩v lc1u6,ɓ^2DO NUpb4_n& 1O|u/6QZKcp*Wqx Ƃ~u-^z#J=I[#YIqG_ڽ+ĔөW7j.>I{~!7CbѴ7׈YRہ˷?t?FP B@|~) avy o6m:$kۭ"Q_fвP#?05~yRMl@f&&PvEc>nD3)Oa.;Pk=вl# @]lu=FeS3Bnt&q1 96/A5VK{sLřtp+"lZ`M \LjpO_$%%ª Wp[ @_z:G}!JENARDbD"[-kh}_dۓ'Gd^7 n'#1Dco|)`eimԺa'މh-+Mp:?dX%̋7|JTӕz&>n )M5@{ϸF/+ 8ځ PhV|}1~]ߦn0iJ5]Ng_6HӁh !^4rkchoƥ, nC 8a L3ᡥo6/#86[ F2V. GkzWи.y[gaFaK BgWq1,%0 TنG,E:{.+e)P}M:Ƌ2XgTJvtLK_u"-.f:}ʊf!ӟ@vD?jr=]j%~prq="wgmdP,}xC̶ܴ%Ȼ% 3IvKPCIxXzgҍ- Ycav/%@)U-nQٺѰb M _{38~]6F.Adq{Rz'n<֞tӯgqI:)؈8uXf򪒾vI l&K ۿM.C|pta855eUGo+C쨂be2WgQ0aFl6]u0qkJHJ|o"H56.}@$8mA>zݽ`os^'b`dpXӄ΢̛ (_቗}F tH҃]D,7A|bc ,HPe*ܨ Ӽ#'EQg*` 4y9bbT -!j8W%dd(ݤg33*1•zf%sudNlKU1 .{Hup$[@>KґX9;2dmx Ъ):e0$NNȋv-5<$XA:{\Vے^][$,bG0|' E(ŷX$@dfhQ0LQO9˜K\y?DHt q ^q -D[ ~+%\ ^fjTTR$+(Ď,J8-o/Dw S*岥8  X<(}Z6]i8 n2k짛R#סӲjk*kIF1ts"pÎ^dƽ=a2j𮮌!K4L$:1qشWc"!E`tz!~Zd bdgrޛy8~,@42"F}(p7i7J-uo7 jGwBBG0 |˓>#pJsȩsjb !] lHjY!,s>[?"f&֭@RE3 ;a=y|# bĊ4YF) T8T$ATdM (=ԞaO ^Km)RqJdqq.<4Q+RCryX\pةc&I|OFgA i@*BԔ=ňRtÞ}4H,uE=uBQ&j>IojU ZRyfJhieq?* #NuK,1y dor)U̓Zv*~j%Po=Fj8;[rrhYl\ң;l`e@t |e isS㹳^N?`8T01 (bzw 9 I}+̿]zguCrNS>;Ŀ1yՀ 3,]uOYCҍ-<ƶ@LqUTˌ!9adhӦS*XH0D+/±J뀤(ce >h<렖+E|L;G0.v]ϑii ϷWSkSmb_g-ffDNɸ"&r>vmoإ~7(ʩrsHhmN- 'DBBznTmRYJ \&O[]X }zF5+3|y}N8 %fɣ1L}qЀbUE2hvx]ڇT3ZUIX6l0LCˋ+3Ӳ?WI&"۫.Xz[SBdYU7.szO~Y٨Y }0aj/LqF4  ?( 䐾g1,5px_sFsb3fv_!j,Bo}^ ɏ .x t榏v`[d]E@$#8/4}5=s >Y JJc*dE aGXd?j+PyN!Wf®r4ܝ.6I@ANg^Pdb&?R[eTo0Y7q2pުP9s8?P"\FW E 8PwU|?xzCD xf’p`:>JCzlSa~&此TU: Ż #7Lw$5%D:tyFDz B_JvYRZА,Jfդ*WOKV4qbӠL М kxƝuFP^LXr&3H+.˲/1KJxҎߍi_VgH|OWMSs%TP #v~Ȝ⇽ lږ0aaP<^Rgd{QD3 =4I ըa˖xeBfg=Vf 8nὄD7jqsSIpQQ2dY@s}yP Pq˅_yTK g_>EW(ˮεhUƷiVp{7X='7p P0ƥ!qdm>3&-9t}c(걜P;5ޢt wZ8D)訓V@ԯ!zN>XV[`}=c$@t7F8ӑi&yTm 5CC{!v ! @!tt5<7 4*I{g0w"iKf!0{ew :8Sy#JifϋßKʳ 8{qGm{&4B/]-wq=ٟ:_> g}vASdžDo!h\R [_ֆo3 yJ޳JBc7v SeLZ؆%sP6rsx* بPer$7#)cuT>m[HΞBI=˟`LV*pm;S0@&ڛu`Wv 6|):r|;3">WfX!$m.{}UX:GR^,W(z:gn6rZp_]}-jMkNYF ^1M|\J+yu`+X-}A!Z橀X4wB ''qַb gX0Φy{yU JEO!O_n{zf\;/@S S2DF;{Cb!c,Y΂:Zr=D_mlK^SH#i*y*K( 8vviʣ~ӬY, {mI٧}]#J$w"TKhGWP-zy'cӔ}F+Q :βCm7;v0.N=6TCcQ6 T;Ze?ˉϣ/7S%ർpq:#@?u7rE! Iy5݃B OVs G+h̭5 ^3|ג!<_?HZn+YRv|V6:j)NM :RN%nkorsnɉiGJu?Uz7 w?G@ sÓ">cӆj |*$"y D]PKb4uN͏"b7u>kưfJz[~횏ګX,&դ"T Gx! 4 +dY7e@'^L?ܢkZkRr|3Rw1`E+sދL;HZǻp:2݁]].劔p#E& sP)՝%>?|]V1!V };ISۜ{XO"HGSȶ. 3ЊXz+T/w!6kX@}BʵɎR^L{b0~ޒP `͗) *CUUy="ݽQ k ;^oOL+ٍYPfj!gش$s2@JohVܶ`r jT:>:Np k!7+w̓⣘d$cbsma҂YgQKtY+-ׁ[XꚘg5TORq"Ow𹗽;61;[vX|6?ͽ 1a%5.S'}^.K>.c.6`Eo\,I5p ;;ktcgmNuOػ,p'@2S K`<]5zŒ;PON/F&S4f8ҨDI_k+d[J=rЏA2$N(ľ~@C[/ nTߣkzǪv\ i7A1jMQuz*DH#^[O'7T[g5Ѣ?Npx?:]U)<5_S"\[Gt (&w|J&Uf8/o8i o) )QGGu- kihe>拠OcX .JD[w': Ե#PR/H`X8Pbi>0ٙ3-xM>r,<駩(:44'FZ `fQl@(hkm!+XQ:~m-U]a 4*Q`<ϓ !Qkodbm|IqY`$&SYwLcQcK*x+&WmTx<"8}qJe J!E Ln'V⸑p]`F}NԢu-&g?l H5 TXޟ 銲K\Ċ3 cXSM!wL(D%`b;QJ )GO}}99ȢӆN = 5|˥_0aG]VՑeH:< x? ӂPmRƲ}ş/v*,K~J{䎫eÜ!oC".Ķ-O.4ݿ/kmxR[ƟJD#ɳb+24,]OB/m^޽KoOpbCn&+pl3tPpRK3R*`i[ݫx&t*I\§QM%MUXV h  +aeD>-Qq/.)(0-{JRSk I5(ߋ|j(,fV As(\{Oq6T"M|VD%3m\'&QZ@- h".)4O.rthxp7`;)V?1?'|p HؼgA;1^ NZy8uPx4{7.qhJ"Vv^;vG*%y´5~b<x48.Q*B'; ;I i=11R_XG ~ÓtQ,=RtVpğ l89,qFGar|Ao&@ϱ<#8k etg _LW.>lϕ($#H9=!Xh"9)]v l~1+VRF-+b3ˏ$I_xb`my!ZiT",s:i$.1 Fڭ8zʫX U?r=Qy ki㳜܊m0NTE%䕘S4W6!,m>ހ>Of]-2SW p9Ŷ5D Ix&JUB ga<Sֵ`ɐ?X=gD1{;P*4jcy<Sޭ N>oebM*ik>.%o"Sylѡ ݀!,rk3;@Uon+B@pp(Pў<5nTKe+$&oރ Ӯmkp9'0=3%@o)\8>']0vx3I 'q%Wȫjj)u'{#W=S E .UXwMSH7zŀЭ6歏,ʷ7m4aNp|M iH9BY'aqsjzpq |gfIGUCb_j6wFfxk4)fy .tޙWw3j3N`ؗDfʺK3'mC6^2- <8xP1_W(aS%m86PhFCPAv"Y-RW]GɶJB G5䩙DV; I e#S}tk?Rph^^/ڡ;>rГ)͟Em,57M@/#Dz8| 6:t&h| k&meId^EBϧ@Rp1Ry1'J䃕 CRn;5 {|?Pr2{QZ&&Fy_aNd E)Z7vH{OeL(-W!e %RZdH§[{}5!^D"BIƀ# B"elXb UVRfW&94C;^uC } v;Ez)ak@/c+ibw;|_uli8@ױӤ{UX+hʬྠewޅjm귦N[U$3C;6LÛkP$®ҷ]#Hnt ΅vYaA0r)~zAB?7TރsD@k I _Z .8s؎Vugӕ.yfb1`[]whGl=&-j`+FMo %t^v8nT,nӸ&nk1VesV%'w_P<0N6 7y&Mg0>rh=LT&IYeK; .JA<(F29phv5U$D2r]?Ǯ.#1jgÑ}H_18ז M!ކ AyCy \E9"1] `Q€8RljY;t" hWn7hXc^~ K_&`8ǗH Jfst4#&ޏق.ZeU-kˮ@c\}Y#ϟDj 7Ob*B݉l{Ϟ1| a̝!UEF%b&S" : W&U-h%x∔Tb @'&hձW 3χims4N\c*0%:Nωv~qݭ$Qi0+eÓU…؈?L 0 ˖;8.|,#nHX&cR4l${t&&f" '/tH<'6)pܑ(Ekd8؁Gᄁz=KرυbC+U9|SANl -c /_ԗF NQ&£;w } /v}d!LY`qp':bEMJ~)h")g{a &lFl a{#f&h'uV,Ei\t]N+۲GB5CqYgIX4#"jUGSoYb*{|NaW Fkla`XaXB60NKԚP0pgUHG0htmGW1M8]'5>@bTpHl/+`ȲLWEUϓXi:VRczuf=ItrXl8KSiRn}u/}&DVa zA{wYÀDÓBnhGR& #XJfsgSzwTq3ޫş5BIX^y+ɛWT0yh: QnNaǂU4Wq(̔{pؿ_I Rd+q %5Uq>bv?'n4вHzbS 2RzC^-e^u EX 8RG~(MEk1c+QʐSS#sCß} T9٣? 0Md㽚h A| s)7X:e3'8$[3i[Dl;UbqtϹg,T ܈;Lh SZ"ܮT$Ӗ Te! wZKi˖0YQ 38F*\5aAk@$=w|QI?VKg`U! {:C=eBlm" Byz?G„!CI2Cڮu?p9A #\ܳ'3wLyl}!JM!TY{\7lUJ;85*jbD$4&:G%]~ c)pȏZbYobL:p*:b!mj%gK obSЧ̐aiQ)œV{IF=Q%`h-vX6zWQY&ѵxH </gywz5lzdU2kCOV }~dw~B\tzӊ3x&v9qt#)-|B~&GU*oC/Lu+ 'Dmx2fҳM|bOjo;HH:5%)YūjH&`XO7IxAA.,ӴxK$]I;Պ\gs;#"Z7 tOpS ֗gJJ)#Qɠ3^u)&{;޵ZiKۏeb 逸 AC؍כDH @vw/,Ԕݺ3z+TjT, nNh.Qh3H{Wc;«W iS(4,!!ʛ4b)LXtl5_? uqR>`y,!tJ`!߽2CKo}ҏ+#f۲:e  "Wa2걬jL%*¤l{@7 o~ Ƚ>| 's*<,zI?SY%[5jUۿέ`jKً._lEO[ @c^fYŸ +%QOX &2m`LC$Jk@ˋz˹sʞ-%$/S7>$Z4jbx]Q$l|ϧxأR S3jb޵6jlz^_ hUU`5ś|b '2U&hS=nNQO|^X 0/Z /5na'Sw %_${„(}/{Z dc/ON0zb=e􇌛7Q{zx pvԱtnYHlO(z ՞XY+UI,qU*T&n!DY%K8}Si~?!̥PH&x9׾qQm{юdXDD\B-Po$jm+&vt `zr~&&.J?d iaB7霫ebrs]?6F LJ;.;LttdQ-2 |?CY)Ia1M"Мs:^p/rxloe|4u Ev `w!'j>.h+ GȠ ?8t^d),C5){Hȶ.r=;v|q]"Z5{T>i4\2h ${;H}^xwVu|h1eC H>b8qE>ëV-]sE!r:=,􍮙Z~m'_=.eJq{ցg{_ 1 xi&_,@|2\5WssjjTu!;aHkA0G?FEFƼ~]l#ۃׁNΧlk(?ΔK_H<&xeY M^Ҷ$,4 ni*RZfFc3Cַ];$R7έ+rn x}+8 gn2J/ѡ~>bGf) zE(^ϥT3;0ۼ[l txw5hB}kC$X٫p:P5BjklBy?E7e^rp"7GװWp2В9ӝFc'0zr̂@] dcc9^.8 Jғ(TN Es"Mq~'+K[U1qh-Y|CҹtL0ЖKC(ڳgv4c j?QUUOE#QŬ`2+[xҷqk8(C 2Tb,%D]A6kC.S-+?uUįr"Ba$ޏA~oy&m~{%sK?d7{5foib\,|sq"qqjcpS{U&~hZ*2bKK@h:ן]KX-?CڙfWV֗U6bdpSц1[zZq_o P>,&"#8AXgpcէ۫'A_*zyH9uQLgvq lYO=sNJh6_/lSfꓘNŊY1\_Xll6U- G0h[K V2;HYU+L46PȬ[2?Y$﹉ڹ'fCS3~8~ǿ()Ioo8Z8)6,f3yW!/tO_Ω]+W6>F.F_h]jzz[vޤq2Iy-FO~*dڗeӯT5sTW9/BkS-]F5}[)R* +/uǙݠxʁ{3dY҃P a{USLQtdWBbQt8BT4^R 3($ͽSŻ+s ϑr"kP|T(kz13.Lv]w eڎ2\L9H>{@p@~ȔP{Lq$9QR"#WW<R_\>^HH|_`1VOS~0Ɔ L:}1i mX W Vc_~+t,m9#W\andM y M} At^qHLdܬW3?^H ֎=%" 7Ne%l!^aV~ib1'LhZHШKUPDi:Z?  ŀz_,m!jsl)+wmMK/51[ƨ&1nh3z;U`@ nE5tmKƢ-x=VSź0DpwSR/~2kPNF"۰ t|l#V3Mb 6Rn l :\1Rqď59p xsnkK,n!Gd~?ce:K"c#T.QU8yǴM#bXtW5s\pcnip2l]t)0am4sgge(˷ 6(B ̕r DaÄ!qD̚Q?DSHN;u(̟ Sr W+ 7|$˷͞@n^n e)B_d9|Gew{SΛ0YaxBWO =pVom=C|ӽhE0\9)9 \wia0ЋqV*8Jk"dL͵jTpEkTw<:38 հ"iI1*2Ғ',KdT}ٔIGj8ATh5_PLasFqd.U:ܳeFj 8ȰrB?DSPȯfQOگ0!PW;g VOˀUtR3KDoھwY5eIyZ^~큌 Х)͂c=SE=/$77FF[1 O?dž ƒe\sX=kr#i<(-6Cә20XS!B9N좑8d ϓ]눓VI瘔GfW$tk-oE1i'UYJ:1TSw;Ma0yS6Š/U/X$dp[Y@-GAivU,IdO֓*k/eLZ.];TׁHYqT5v3:sC0ߐ{0<ԀTm4E6FI( ĻAJje~x^ ȺBۍa> 6.rhц@inSFjr _qO irW l 1WUҒƗ7]gJPͨdGVUfTՖM+cDsW)o{T袄)ikN5<\ֱHDFIrZbg+DAݦ&(B+34{k6anj qA0&\x#W|`{?|JP\5G.&U W 'M֢#f~`ąOC#+U{Y5;|HV #=BKs u5_l&fiF1\dk o3v1̴:_ztR|YL{[yU0Ah9NRs( WH7]Y-m:M/&2q'RT=t;EG|FTU+tѐv b+3L#ܑ$'RB!|6Oş#^q+ cQcKr'Qh{b/ ~_Jl6P9+.y$EShhw/ hxW#'.S+v 9oܱͤ A ƭ, ahZUvY ,XsZqD@'6$`t5u*&/JTE4|;6;34MF)k#m$'my _Px\gE{Gj,|bR_/ޒb]| VLu^ǃR7V-_l#S1S-:ߓ_TSumF3^8l^GgȕPVQ9ÄGV#[-t lc7b2=lu?dc$IJBL>ڙQ}7*'-bn"HIKke7i&l$Hq2QnD}No}&hcZ+ܹpeUEU pw- ?yײ+-.%%cW+c  <ˤtKΗx PYX2JfpSqi.a$õNsP~w msR 2k}2#e{e<$StW>iTɸRWݱi8,i6"rg /rx^ ,5'JBhWqj11k;OY|S ĕM W"FQ{[d/gk(Xq ǤI%◭pf-:9̅EyćTL͗'ŇaТ$YD`:EaZ n/351t #oP[e%+}QV69UͰ` t3O6O&牬b["QJitU}/GA?a?9#ٿ٨ʤJMmKV*2Ա~N(+ֹ*N Dtci(hb_T=lZ1]lf*EN|dUSB#J ' ;[裛pw voftx})K$ףU#"DȰ ͽzqX03nk9F8!r]b9+4,;c$L"`rքgC @O~<-[ڙ+$*bKD>cj;6؃w.=,Z7錊k\!}^AWY:%ñN;W%# ̱/r:Ib0cuzBE0 Q>c,7Qq HƅӱͭT%cln%. /ݒ:'rlچ&e_l݊{73xC4T7DOCQ2s~2_SȰ鹚[Z2[w&H>Z!^ْ9ëc7KZRn|}^Foh0H m L&{ #tr,@p%VJN0$:Vհ @s+'3 8/mdږ* TuC3Y,nmJ9;u,3rJդwJNAQF;a +*U }2,`)obO|GoE!- F,Ft$vP-Q$6T :Q(N1i߿6.>?:nIP*NTvcT+3_ ~c .Q8@D5;Bx1T:۸5zF_T9׸W\@k[뎒7]Xhr1g°Q$sY z$std2aevֱmzڸ}hE-Sn%$!/<g-`8 xM7 3@{Zp`%liUuD?*S_MBE_ښy#^gw¯'L[QF_LÞ7| EP ϯ%oTOR8r oExNRiHJͫgˆ4b0•+?% l@ss༒ җ|a%t;rxૅBRdo!@OMED<*T:A簥2K$-ѫkh5Ȳp[N䥼KY*dSGiQ"eꕆ.%ʖ9?&6a]SySa.za`\Yd[\^ _@<WoS+2._J~ZYXCޗ_##fk6~o4' E񩃄q 1>b+~R!~G eK7yō\:x8.gq/!N#{x]0r)b&!H9#:3}E2cĻJ'soЛ[O0/í֙yHN[CwG.vVhHL2(,!8>|Mw5%3-EB.4.cKiW]C26mg{OԥVRs[Fo?Wzz+"gI+6.,2 "*j#`ez3hWJ4F^+O.ѫ'A6v?N\ n8S($E)\O'I^ؚ/4&6)9Llx r-n. X'<'m<&~Ć"1gROkF7 Rٿ&BJ7@*]Ĵղf&p =t=]4~dR;N=(ga:&qM>CksfK7țO #ϩA2Z=P@ .>t[+-I#>-QC1[YPO ]2c#GuM"bА]%wF5D& ] Iy4 ^"QnĖ`e" bH88P]!WOy>$+1%@tfUٜgwW*vRfSCp`) 8R,baZ3!iX=G{w1DZĪ5\Lަqb-f={ع3fق g1}?bNz4=M|g HuWʸ/S)M+Ibҏq"1_;WGN?ax݌thX*?v7C5TswwA K|Pvv,"﨔T4K8p!%$&~Mç?)ͨQ(oWԥCaH]&'p-0h$xE^y:=:"WCh' ix너_)kx[1.ķS)]5\hC uq"Fa(S@\:>{ .v -(PTuK%̚f~%ά%+ʶ`F󖉿Zj1v] Y d0DȰlx߁GUj*nZVt/B7D7̔wa:36e5p +~d~*LX{)?gNR>Ċp2=xQ ΡB%*;Td`Lհh;N52;Iu0u_X81r4ffmIUE郴vMHs[pڿ7+#0TsdmoEk q8[9b{?o=4\](G9Y&_&-8Vú`Ӷ[ޞo ﻭ݀^ANd0n<2زYG~a6JC=hDiu5h)J=N5|aU !нԐ{%smBb,p(OcGn&L-Q֌>‰yc} (3l_~KЊǬ(Nېb|1#o G7X"uflMB1 `O. d'֙ĕHt\FrCotG*"M#7icE>ejS^Is6QoXʣ2-ӸC !ʕշLLSyB(-'R`eSӷΩ`o³u:pS.yL^tߢD@2e6Ea(GV?0æV:&.d@uqOg-F8׮A_" fɅY\pc E32rR??+ooh9>i:ӵLS1bd~]@lā8p i[R7|4O@}ޖ ([2"QgN;٘OV\: U؂,'`|ևmjVS![[o[$Ei"'ۑ\:jqj?DƮiЫ_b91ѪY<%k;䧇lׄ稄oN{{]Lm cj[bkK'*Pj,\fAm/=mQ[f :$sRcJ?(Ǎ1U& L=M)fs>8wCG(`DT9< (Q[iyݒ[}gHY6Lq֗| \e##2YMEc7erMϜU)U}\H8\*F#͵oF6 UN$R/ z X$6jjQ0]~_O*bɈS26P RFm5hl ꊣLϛM'>hmP X ahPH)hn?WC/:E4f1͙s_C=DjXO %E l;raL4O8/LBX\ e ڒz?ȶτƍ|і1>gԕeJv)};%U퓜x/*ydej蠒wv,+;7nddyYhsux Qp/G%$Glp[ZtR*g_V0,hĵsSP[խgzG8pFLbC Uۅf_$$k5uQQ6wy2T#W9`E QW)+zH)uSylW4'gz0ھpjI2 6NaȜ/b\h )W&cyV5Ɇ7͍dy"duERP;+4 dža>`|E,@^=ݫ~l1L k b3^hi/ھd;2t%Ixy<)^f"GVWrU2 ,6OPi!6c] (J>r5~Nv(ݐ-'yX7'!&;}C6즆o}] ť2' "o8DSTVݪ)R8wC ԷM`I')ߡ7 ղ#+E5-Tꮎ~88 It}~BTqyL8w;Yp'9ȡ;(~W R˝ -m&3z0?Wz:{!{f4er]_ =p";6.W+bCZBP!y\kpH̩L PϠ|IF]3h$Ɏz1K.n-~A'G doܰd i\vYs>Y"B zJbʷ=wA m c'|}3D=(\^9j.D䪋u\>+ iڠ.*ҌpX7$.|on3K'GZP'xk3z? Z\1_@.̎:hN(uvc4 ຋m u}p{ w"ܷ꾦&ݳpRX5On}{"1Ng 2v2(QERi<||V63WĄ'8y(IE!,M)W0+NOm&:R~4Z"b v)T~qZX&}_Qk4zW,kQ~Mr%xÝ(`Vcj2:Ias Mx}/R#^zN!Y?]0[tpr*q$aW0v/N<#IzD8ABTXK:bD|00w]#HƓMl8䆳d+x}N.| TS,z-tTNer*&JF!c7_iJA5 h:f#D-N& +rQ`1 MfC