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  ~  ]% HOL-ex:threads=6elapsed=424.377cpu=1428.164gc=107.5767zXZִF! B]ŗXiɟ fftb:u t<׻F 3%PQ/}Hv+8Kڝu GYu26b7Im;;"ddʿϠaf' eb䵬yFfyE/+K^ۿOFR5oңB;3$OӝR vV-874njмy {4{kĊ:jXof:&9oy9%v lYėNFv;7fsa\:iY8:㿷lzvZ#&08xRcP!#rx8!)攂nUϡ)j1"vk2Fz0a=b }xd=03(fsX?4/*b+zx*/pƐ_cKzp޾"b9hko;BiuiCbg&I2 * $8 L_Eo[o pBJ5Uѣ$%Кo"LU-]auU95 lBr>-vPNJiV { ϰhJ|[XJC<S׊* 'lL ~թCo-ۅq[>F^bS r.?[#,uE5kqfx0 ctALYRuΥ93 .ULu{|DVP48=04|?9V#ǐ%Im1}X&/[O-poH唓vEƨ{S ʍ^)S.)5(c N y3\p"2ey8ǂCYZT_)9P7R!_3+Z/0FJ&Y]I8h!(kI*`k59c|ʍGĵƣ%EżtV%QݬXs]b덃Yt3%`c/˒mT~6: X1A&VQbRwiSTyY6$Q!̆x+gL]} /qžJfEFux3ɏ %\䎟1RPڋ!q*^`@xHpǪu#"N0jPQqv* BkG)_|R\c惊P%-eO|HwX{5ꪧmcf"~;YB7BA 0!;   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.MLb ]z.ҥ6yaߓn)vIPKk5yme-o>g)r&$F3ú/p|K:= ZJJwSďhn e?pYؠ`f?H6R fӔZr]oPK(||=xwVUua{a)"B ,*_<"~:T.}ִ*g?y4ON.Sш`݃2bjY.ATQr/k5鴟lO#ɉRZtzY¡}\\3O!LOJkq1k"'[^d<[;X2ih 0:nG< o›~ی DG$0"|0?I}M[SgW퉨|n:i7>8!lVIe K"{0(C& *烪 sukX bPT$.a #Fg*_FVsf:`JL+o,ӹ.-Hc~{O{}O8~ ?E̮TƬ*⇪eQ@ҀƜnc298nګBp鷪 HH鮌~8L$'@~||$)ob)_cl2e>Ou3Z˦NY~pb?C'={v/lX׾cu/ʴ@RZoʥB$ꙄXa<LU:zcnB'ј*%lQi,_NVMJz`C\&DaOnq#ńywd6vW/W/pĴHȃ@\1:_x&-Q3|q+Dr%O1mRPx -'hWZ*wzf(*6la}1V271PG`2i2"pgppkujqX?E]Ck4,|jyKř(>^qʺTGB8SRhPnêI$m<_)Gڑ~`o0i]ns'pq[[S2[slxe}.H.5l&GͼCm{@MDZ*p mR}\(h3iR )퇶SN9?e߲{U7%򘍢);b,`}VĚw9T$uXr ڍ!'(l?TF-@5R |6syS} 5up-sgm m?eul'#9cEFГpqdEE)t2kS]Lt.hQR0 u^-,r<$Uӄ:9`iVt{ls 0|ki90Vq,˗Rؗ%i5J\Z,Զ/@z(@/8h' X/p Ndm}.=؉1P$yptL"?@t{8U3%xY{eltLyu~F#b8Fc/)Vi`s ҰDCJ7wL9߻Udv[ԟxԖDvnmGm'$lqJ;=#GshzcŽl%ᵓ,ﰕZs pSjWϪ(BJ^aqG乁R$$B% :'ș` orLE {`4ijoq [ۯ^N,8/ac18`_%a;do K#LS,.jGHB[~mVCX`>* WskIb2w{uht#,çKis 4`tORM 0|X3<VQ;Xbv(9` O8R'Gll\Ck;(v|^SOA.<^eH?_q*K-}WBgR(ׇlrwsB}s o%}ð1 "ǜ'79 NmiEYDQ<lDa wθka-N*;alo^K^f1=|7|*cGxj ئ#)VtNyWQ`H"+B)N9R1BzJ 8wKGBsiG gm.`yM=7XzDz_׶j3uak4ZoHC`dGN]>ҹguYg{Œ %>6q ^t2 f(؅a=ҢC@#)fyvr[!"DAc̥NTeX]8L85r@d}`Pɳ]9GgFTfۋM =UFE鄧k卹А$ִlE ' ULˈUgY#apy䧉ex@lYM4/WiQJ|.=hJ泇Ͳ\&QmsTA{ocM7 Ф]S BGi6bQ̻+cnqo]cAyߝ/Mx\l5ŪД(%8 _(E]98v` \,0ڋcX:mN:02 ܌dZ왴19#daSXz[ej)ԓkNJ]RaxL#caEEK2=T4rGG?fڰ*|hHPMrG0Z^c l/L_E4TjDr_8mQoJÃɩ>jja`o^ٸ8FfQx1JP4ݴ(Xqc`&2LMEhe1%I2pdc?,Wm焸üjxJί P-B` 6f,SLWF~y:cbfG/+_QRx,,#pD߬σE TPg5ʇֲB^BB=ڥZVPbްiӭ"yqHuugUV iZ)O#t`FҢN[;96$ꆡbGx/3Hy> Ϡ~åD:A0Υ,tYdh3%8I,J3!Mr dT=iZg/9q!Zښ|/:,|@S/(ŃmY {Ύ=P5MՑ׹151]j Hs!7{?7_JClu[/+ss>Ugte,ׇoۧ‰T#v%bvNjqtF y[ZD5L1_oKVshBmSð;42dp_U!?G_z-}rݰȋU ~o3YӟίcQh{0gYZ7zXZִF! }]ŗXiɟ1 Uu-Dٜ4H5пl#Afi!KrOPe$nTV5{e!S#rANs^rD)_6gzJ exo*<j^AB1,q|ȹ|eӾpG Go !S1pG8e]TWR=|z~81KyCE`D+,8zשxx7O_VNs/qÚgL\}ul„Aq!\_R@? sGqyj :@,u !R29lRcm.H!!4K+ֹjb'79|95Ƀ%lK8E%Jm#b(3mKպ}WbFAV<j3r8.qW_N {Oe}x bW8JKTAvbUw6y{_SzxE@҄0J [V,{3ZqY?d.TW&NMrL|y>] Dx':|D@Q+nj Im#%kj2JH*Un%,`u#P}Ox&88dqeW8.< 3'-7$nJ5L @yj_l Dd ]B7s}.١D=JOɚCweOchXCӍvVvGaS VҮl_cOdnoQ=) ?Ģӽybh[ "0@%d:-ÖMȺ4тkǽDb[u|st=Sp(Pa%Pq|ݳu׳٤u[iN9Y9;m*^ zBe-k0Tj }HuXuj=)jeɤ&JvGݟfϠ \ΣO\jR4UEcHҘ8-'U:Rel*e!=a?R:ŕ ! y u^%zS: :NY:zÝeczC`ߣZIqX  a!’ȸH/hm GfWz,>Z^@01(`5o}W3fa ЮmpiI#$Z]k's>ӝ@vno ayՁX?E\D6܁ce];V~mVaZ$-"Þnwx9k1gクE}7(wB3Fh$ǡh'-ЌuhqYg t#PӿJدb(.\1&UeO8%f:!B*,↨dx^2p>Ōdn ͙$ }uyPC^!zO7V])'L8&VE쨼 TܨV-B,(YKԷu9<u TUzGS1Kn<}x",ZINQ\.d!9H,6<ox/V(P67պN5 3ź_xgYZ7zXZִF! vC]ŗXi%L*~1qܶd5Zfn(F= 1AjAll*w{E7gjXsK÷Yӳ0*@WT&FwbGGԆ,͜+, _?2Jꬩ] Q/ڄݚ|̳IR 9AնMB~a(aug~(XoE2;(V6pdS1FJ:r Lg}OP(H+A$=L]A{Nʼnl gROEt]L"K-ʝ!ZkLn /sJug*mt⟬9f*j6v'KO[.:IϧݬvA<:k( XaO\ˑo,l3E3e*1v;" UL6j5{)_y9ͻ˧}x׆XF]A/-CbX֩h~tYeN2m)p jL%%`mGHBY"EhRz24=S4]i?}^X~ ZbɵI8H,NpĎr gB<:x$-#w щdTњ6 U;_{c1n,_۷Ȧu`aDg-s\.߁t*(x3_m)d9k̅y{s)Pwc52tnR5往+.̕kTyTZW 0G*x id^~##zpwA\CET?Ԍzz ېiЮZN/ujA(iIefљ]'QTtc^j3$'T%p2]B( eX~JY6~TճxeGpE߰mD)$3#2yX E 9s?##֟`UFI9SF> %AP@6q V[&Id ֈ  & NgMn)UԐ#Ul@U`_Eu>9'Y͑] 3oi eWx lI.{bCk&.h~n`A4 HVrTU27$(Ig-#בC$pE ΪyEf h} "|@2Fh;;6qo3] .7JߐڢP˪>NI>M\KE3Yj[2yrp=lJ1vzl .IWdu^mmk?PEȠguׂ>XlZnZopo3fַv{jd[Q \) p%wB&cEa2\}Aj!a(I0#-BoL?Qf8ZPheG|[o)_YןbTNǹ5tm}fģ7ν[tw3{ϫMviW/7Ƴ=旓[[a԰~3r^tQn)u:!` .ۂB\Sg}G>YRumF'c{TU14Bp+D`Tӟح/hփw,,w o9@I T;m>p><[r)c ku( S }sTsrT_ehX`_ZZ ,g֓s*uS(iQ m̞갌nZ[$ܸPX+w֬yƫq! Vp"0I{|e%d ˂/6so˱ sg.ٜBG,`X.#wKA>WW$To1VJ>v%k߲FL=]\FZJ.nsvL\^&)WWj9?ɐ Fwͭ"P32uyjd${} jh4Tgr8b|+ٜjlAa;5ú_D>"+lx_pAY=lڭLNv^ȇ Y F<Otsҙy-B((s{ }X>K4^u$ S{4'3o#ZOfLFat7+O`y :._kjJ@O8O#IN8 Cb^A $ _9kDbqܘywb3x7sRӯ# 儶fllzjE6zYW]Lݾ*YNqTKl2T\^6ͮ3NN!#{ *C=-n B*VX6Q܅2^ \_eER3:CFwĠ-yRH0QUh2%ގ2 O\ei+Mx(eZA^8VJ!?zb8$-s* EJQ텰UG(oI*UYg42?0 Dkl*@Y@)QSqs}{ZS^4؄r_{nm.@mf x8=(U,-c?)qi(ΉyE! +A$CRXz9w}*%o9!m™G]?~91yA}:3`X r~֑0[I7ޅ/"]=BxKZ`1,lTRHɼ (;C`}X<. =U'xYhJ<}Zԟ\7ʚzk,`Ζx_}ʧcs Y8:sބ Yf3 f@x}sW@F~Ic(…B4X*!.Or8Ǝ0ԡjSnAohm!B̺xHaݎ.o>6}O0#E, Hġg4 Qn -VM=9ɲM:E3ƕ!)}p T.`%d\Ndy݋A+Q3@vV7T!ggAh&ff`) U7Պ;q`-s"{gX"b:ܮde(].ztsj~GUcAS کmÐ, D7R<ٴ)`*܄ki. 8$oM%Su~d݄{h0*d+W޾r?Wő>w^s} _}qi2ZrF!ڭ% ܡ'I ŵ]XB& 74[ʭz?@dJCoY)kߌg %4>6 APM>!:/1VzC$cJYV{ieԄ|!`U:`/֞84ێk[V9-&1\7E?m*q~F Sm]hR'Jy'oGƭu|Q|\&;Qw;X @E%!!yb<8uCĆ8*ZI=%DZȏCf%K֦%ۯ{"x&?-\[ cOt^)_㘇n(sK kP3hW8pvԷT< Hje:[ j4l}2I i/A8,1j jle=6 "\zh ڪz8 BBFJ$ їJ@)!ϏYHMtUK60oydSs s 3OGԋ\cZdեuK\yzU{L(K\5%N5y-vm{ɷ4Բ?RY!|#2fW# ^ o<M_l)=&ZcdnX2p 47hibqzy&em*OݳjLKh7X³vܖlfg{/MAD;S@F+R,&=ќgJJʍJ+4Nc%PqJQ S0MPN{ 'q^mTj ΉfjOۼcwFp42Zv|0>5+ r6{ "-H ?Cbi'24 a`.l$Aj W+8xKSu%bBX1j< \=*3r| ){]y"PMtQ=‚{ &&`x"'+{^/t4IۖǞٙ6~GEʁ_ڢ&2 ~\j uBEAݤJCNtj.]*YP3N$ʿɛ/~V90v2|^5&E3Nm?vzY\qSSvJk<:*j/x8TtLX?{g+IJ_[\2ÀS^؉ELv+A8;7680R{WazA:b)@,T2@L܋#a£Xڵ40Pތ8žoT_: =q-G螶i5AP( 9 _f*V; 2ڍb:9C|>i7S>eįo`uGmЊi?z-  3GTI5,ӉyQw7dÏoR~0/bH׆H겇*Yad.4 TV[7xT fk^PO Fb=U(]+)i=-\5CՕxWESgwe]Uh+)@EcX6<,k&8AWފ/XE㚹J .qȧ *c2׎>α~ W?p _5w"Ak.pA_KB(?ak㼬bS\#vMns1 ^#Zd"|0a c(ޚ6"!9_zp$mص#`wkv=?w҇Db7Ú8YaBR>?$U#I%esrP5B$>kvt)"s0l6^6JA2` (I 1IlUȃ6{dk; d)& OI`n~y8KJl-q>e{%E`Y냾6E6sX{9bQ^oʹ9R]q%z3,>-t\^aNmHB[r&?i!V =ul9Z 놭y+@Ӥ'4s.u;>{q=[}v䳖S ,'!u"1nѢzQnWX4k d| K.L3|ۻ( ͤF:iŶc |A؈HwOɣ` ; W:In*(a\,%kb5n2=%|΀A3 RWv`G$-?~ 2*/Sl UCK%R垤bRؙf/E/ʹv_~?"Ѭ>5뛎?O`KſHHOr䖄M<[ H4M@O!ȮٶMlh=9ML[:.` n߼[d@%kfdwԖuWBTOx. ~}Q\bkq*E~teH"|:o$W: Ϫ|f&8k+ Ln# p A!c\U឴4yr B!V<6AG%(Z|ѯr?JaX28,aOX25o'Ѥ\ToTVyPYq9+m<_Ү#GoS\nH/9\~uCc&6L~6N|Qj(eBq[~zŖAd @|u%Lm1Uֳ嗰D5 %%bÕִ*`4R"$u ڧj/>qiikXhZ=ahM'O1GXfw?sż:2Z28?}εap/E4aI~83g7F&C= vQ]я~"vo4MыopAS-ֲNOA tbj<PȤ~UzlZpG:O! H rC>R[t9 T+q>vd0*řKZ* 03z]}xGH~gL'@cq;VqhǍV]"U jlZe|O]L8۲'@epvdF1x =5A(L2Utv_btRƫ쀳^~bX>Uoi+bn*ŒX/UW_>~[rWR&A/)t/VGU*(o V$D#{f p+y -;$n~5m\90oPQ4VYAM7Z0BDB:N_̣kD;_GƬq;\"|փ`i6 va1eQcqFM&m-uGŧBAo>qgֽt \SE*-&Q FiűFOpG*w QupA|S`M/|̯[ ,N e(cV&> l|F@18+Qs,T+Kԗ.s6"LCg&Q)jL|K\p 玸t5"g!J3Ԍdz:0DTG& o1"C㦬)a%*cX 3=#젻5WO W@ DjA<3gRN&ۿvj2#dtԂX|\H7P88Е^@ϖf]׳sZyFpgxpjw/ˆSUhE,MuL"n4b*f 6O)Νdm۲!{9<ҹʯ.fX/싎ØQb*^`퇐 QN)nϟffPdOT)~3/H8{I54Z>/~Ubr/#w(sᥛꅗ}p~_X7w5y.󀌵Ls<gc͋qk tH0Zo&صCٶLM_vT}R7'솋 EC"3||t/2i$6c4!ndD\:bz*c_l%SXjM p1&h6Mm;$^ɿ̕9یGO/Yxk9kz%f-ρgP@IN?ET@tjU5rR?gByp/u 4uӼ;7P"![}|J&̸*FA$\:Ǒ?̧jD ҆dw%;:ƮJ!F`Փ}줣®Ł;kQOu$]r` #2"WqC|PEc>M>OI̢`UᙥbQ6QnS,>A !׸KR|HT_P+Ď>f7k׸v'ѳdrt8og&$k#hf> ȍ=S>uk &`Ĕ"W_,6 .s6~$Hy י%c%@CLKeiKu)XX:+BgPKhQ6`.T:XMIO^UZɀf |[RAqK^{dc*ZCZ2^7IZ>1RdU5G&g[KΞu}AЇ=숌PhZPhM=T@8%2m335OA6+L͈5oWρW/߹v8`ܔYN\|qshDp#Tz|j 'äGS dJP`SI6mR`Mږ5 [tҋ|~.⠝NGo^fUa~A-J1QP%kɥś%D)Mdb/wWWA3ꂬi[s &)铬S1r#ϢU239pjwKᇱhʊd"ʞWf]FWKѬ<m0=<WkTt#tM'֬ԋa6ۜOhh'DweuqJlؘ# CtcM d%>d< H(O:G@'0}*R;£N+#k7,ZyJqP(h]:taUp>vK|}JkM?)kI/9J*qNJ-8 C> ͛mv͝2K(ȫ7hؐ#q*= ]Cqk#Gm+Y7z;_P#tTT'_,Kz o} )fd%g2N7~ri!`ŸN]N}l7ԫ^Ak83_ޣpcֹ^ZYGSOrgF2 axR^207Z?ޜk2aY`O3o)ɃYSVZі0ax(e7^Kr|1N_V^._w޾IJ^܉:o4݂ kB5x)x٫>C@e;t_< o]Iv֗X^BWk>Eiѵ;?hZ< g0\Q).I3 FKZ}TfhKý5nbn>`,Pzȴ-dҳ/%БӜBG&TcDy4* 7<+Y+dE\Pq[QU5I;2ۆAaN'r(Nmr3!(ƜgXT#9[`N{d5 :r+2 ]_ᱞW򯣎נ? hdz1d֌InǗ֨$]Ndik2}d.sJma!j[I=:0 fam9.[Y8 AE섖fy9lj:pF Sǃ pQ rC/o퉻29n@lS76{Jӥ!eZIHa$j dd{Ur20m, Yhxa T\I!&fVL>:do>KäXH l~?К->4#Fh'\̣:k*?ycW[n^P !IpCUY#6VU`͞"'٤VvO]YZ8)9ŴZ= )ʉd)w'ӏҥǨUXvU nc8 91HU /aShFu!`!5# ~x^N]x6OhKbTч8sS$jVGgPk>FBA߅r8imdm a8:~&n9-ϙDTY\Y΁$&H>0,`B!В+ҚN*e\5DQjiJWUָ3F'!BKc\ni8_,fX9&IiV^YP:E];@ + &{`#V,o,Н详MK*Vo@W+@Di+0TRν^옘E;xWXKDA pR+ 53?5gh* [h  NrIՋEkOT=;u  ehveP_ȻW,.$ T` ʌ<2XW~Hҥ<#\]-[1yw,gL7ry ~d &!ݙԃrIIމuYmנC$!ug IiffG`UM(V`)SNǍ ${~d%?L0l $wP=Snm; pr]`>5].7oufda."aF0$:D wRl|=I~􎌾n n{8Z짅jU`7 3xǎQi./.H¾ =~G^W<.?7qkunh5uҝ ́2R%!C Q*rV;k8ڴӐ$q̼ μeK&YftڟRǔ :dl8fq1))imh~{Z-$/ fv"eW_r0jV,Ř2rR[CW,jhwnP`x#؄l޽gBGR`hf^!b5]_4rűAc8mcDG K2nϕYщ!spDPFW\K/J?9@eH}`؝`wzmvn`nO %|``oʈz??J֠:Ǵ;eTOF.$>di& 3BeY&{״ F%s['k'j]Iꞁ,q(\gebuj>cP  و8I4~KxƮ-<bJYw=jBh~sZF{.H_ GQ$hff ƾhʗj=V Z3>5 X' qۊkA1qVw v> W¹0 .豐o+fD4uǚQ͔Q{q،V!3&ۛM x C7* @OhMT~H)S(OF9ʋ=@${~C~BgDgkq,ރsG_ߠʢL!͈k:fz.5j1b`ۭ6Z_;g[͙X:r< J m-gю9#ZbBl` pYt,&s}p!V)27гCA0 /pV1YHPٜKKgN}"BX7P՛Id\u2dqC'꿤8Q#Ld5L *${ }煏,-کDlO+5L?P6}VT!8`SY2o; nPv|ֲ  Wa _s`Kr8naHx56Y;WؘfT*>N5ˇL ʨpM0lkSc(gB4ȮMzҞ|ޠVhBv$n:Rݗ㯭-_T{均H%b"IVՀf,rel¡/OQ sICد;@'At/WpYwSU$'@4NpJ{[13vjr9k4'v;Kχ/§ CaWA3K0)--= q'41lI'.>AgH#Axܽӄ >C, b!0=AC8]L +_=v . `p"[vԠ'A-I$K~1uEo}lLIfLCN&D'YGg8Cd{EVn50]z#}\?!7ÊH68/5FVdS?N@%mʁV0/"&Eۯj]aS2BdxyM3 g2C5V!t8ZI>=fs5O5\a}άgD]ifWΧUEz职B7i!T+vϒkД-$)Unoоq<=]<5%4Pv~)UgjR%|@6j9W˙^3ܕc'pa([ߎ%r"`\e]{ONw蓺ųM6a`#Jh@sl|.W,/Z;-X`q~dkz0neFs$RBS4'O,Mp2Կ {IB;kFÛmS2-k@-A]F=_恇@$`c=TRdž W6qxW{)6:]?9>bm#z^|,A UuX3˦! frF_fM`d~?O޼\ˆviGv*,T Wtʋn(p Zr6 Gܐ~؍sbh S 7sKɦRm\+bo^m]zS)]N,l<UCHA|f>vP1ql XnfXeHrgq9fm+uį 7706QOwxQ $>evMO8 S 5{a>6j_pY825&B5)Q!^x[/T"FP*MQmwz)EYB+P9a7e65AO&@@Ya#Ew`u>C0l_Y*ghs}1#V# ܁&^M jDCxީ7ma3"u:?: סً$4SpFDA@~ NcGAûD7wD 7:s=nG30-YD#Œ jP!U&/12 sO۔Ւ{u7հP9w@lpR%YE2^[@]'ǥ~2|9FT{7b^.-fxZ g$0ILⱰ%IoȽ D_uCaE:96b˵ߞ~LFyܔYA@]d _Nn](|Ƅ'uTsik ɥ8/Vʹ`:睃pT!G'"e:1&l5S,a+QCMr;BiH-R*w__FxY\nnEêߐ:|!Ajo(ÈV9:%k?u"U}(T)-bpc`n?^X~":yxY7Z1!DyShdփ$wtE>6h&V#1D S5ssZכZ; z>6@BjR*U*~wq^Z+Fͼ+$H90NZOL`, +h֯ D't۹oϤG+0;݀&)hRu,G_B|@ٹ]IF˭~ӼơHx2jTs8BX@Sn}M\!WMuYbeVL5hOa|\sTp@7ZAxa̿ ZGӦg+[b C-_4̐p3Ӥ49F\ (Cyn]w"z3Ź1F*sKyV!@=Hӑ_kc 72: BX:-{NjOwQ!ƫJ =8ѣ7,)i6䈜\J #;3%:0u?Rej㢼1F?'LM1JP 3sCLld@ʼb{m06|C+oDi m2#uXJ9EꄓQ>R4.zle^o3w؍*2}ʇĞ3 4 DA TƗc򏎻[| !XuYDY$)d nIpW+O_T,v{Vtuۡ*ohyWmLHשN lfo'w]ܨ]˲S[vP** b :m6x_g#8.0awQ`ݓӎtHz8d|փ^.A1jx*o2.}5DM^-Wd<1Ds>gR#,M|3pEĴ$V.qphc龪ƖZ!)TQA tvyX+9Qsm4sedj7Ga(C)x=R6†PcΔ1(SI8AnѕğoB1b@fRFg)o;΍XI d q7Y߂X#P׆]XoŷԀ Xs;L _X NP#EބH^(3 ~}1)ȤH˪x cemUZV B&{A:1 H˾ 왫(7\9~s2x B ~\}aNdCB`m۴1`f:ږ|zhS4=@`wE@nK'͡JbIS<}.tShŝ lno1񜽲si](l5|l]6U4}-/u *Jc0Drxktč0.Nj@(vz"~.w8jB\i]nќ8*k 9ӯ15 7n y^52z6hl: |F\&gqƌ>T?e?ͪsx9>e *,y]eHh!0!Q#yMQ+6n OClX3Ԕx`a̞Ԍ*/75U1ukD(wP).º:lhB_(7bętmQIPUZƂwبe&Yy×Ji3iB!5Ya5D& %#1I\_(*N!VHiϺ~%_S 'k曤'P?[k4 }wcN{ 5/qcay\`ф48w>|(kQdZk@5]ٻ,lLL:rW>]1F!2k4]rjXH[1-2e( vtD;}$;#COWu+v:vۥ"s[Ŭ$Us_PPU͵ ׵7TN&%A@14DU{r}`¹/$~V/9b-:˺oě&mñr[_ R$^ب4Ū_ Ž,, IkҗY2N`z P?Y;hmE +le6',bL KWJψϤ> OT% 87읞 ߹WDuz15:O,ߕIDIT]=XA#MK!żINb^)RO֩ICe~ftO|Eƅ S/#OXUs>_Tqia(W ;!CڥJT~# Jkt!6i! lKdC1JW|Y=)mV-!_/pkZq4{;OkA]5Z ,~^ 0KpG>׻ 6x hyrP!k;#`w껀&ɜHt,2劄+W+@^T\S|%/>+R7%e!q-=np7,ՇW^ )-$Ew.p^̼/}.Ǿ嵆ʥ\;KUXK)Nu*BCitiMd8x6Â@c,r!›v0Z x%M$W-AJw"}7B:DzTYoh\@IFs2ol}dr(շ:p}.S?a"wPiE6(L)+oCf</TXN![v1ɛ XOyOMӝpU+yQCܷ o}0Iw=-hLu*:+GcdgņsvE\bgmbr`0&%VJKiJOYSGV= a *f+x(&LE~/T3Fx=,z)|:4XRپ@D=мi`+gr#O d>qpdASg2L-ĈȪ\/j (WP7 +ŠVħ.2_4`J@ Rnbӈ#brhShC(zj6pEKVhL*&b*ea콒ʸHS V$8jƕxorc%Vc=rF|Tw7OD FUq89ӼilI5‚4'՜:zБ!vb7|&mxgd¹q00zή@kum3I)I؛kf]pxN42Orz,yϘ7\qQ*`! y rbRs)Qq!CK)^Q\BmH#@}SZ嬟}2Aid(a|PkUSkƭ*]Z}1!'`Phu]=u8<*|weZln7 G\ "_Rj1wl3؃#˿սk;:xٍ%gtٌ( &Z!DJ#sF½z_)Yl`}UiИQexuyݴ1YBx~ӉP7bV3;H "lF+ְ9bƻN~x!؆&FeLK9xJvҺ`spi` ) Y eqz|$`%c"ЈSK/^~̪+$_ R1W)~XY{L9I! ƄES/YQlܼmj.=L\knM ' ~U@6y9E?cC̥(ٓ Vq=ntH0w:2s"gx b=MYa+&xGhOlXly4U_,~]kD4hlw9bARb+[%}1{2#Y1e7μ )6m񁒈 Y l(QPg1FAp Mx1 =eY0ں1GJ=bgkґHgS) 0pV^:[yF(O \FC@V Q`VB$Бrѳ3+=Q*j=Z.پ(YvB JG\* e)3oFw%z-Mɮ֖N5*Ffo!icyH{B=xz-|jAO](3k\#c^ sOg[>8nѩ4aec܈XO:t F)х 1MؾR,`cD~UazZWHX Uqy)Rt'!=!_[&x"2vK8u?`r&KgYZ0e31f350c70ac2b330ac14331a42c22d90a71c29eddcfa062a672f0dad34c5be0cd823fee08f5bb1 6803283bac8240f6b1c8d22324fa1bb842ee176c 521298a7f472fd1887b13cd77adf687f3f4f5b78 8c7f9d12876d8fb07029c14af7eae2a1deb68405 7f14c6ca9798098c05dfba0f717626c101b4b3f1