SQLite format 3@ .0:  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 \4T4 ]% HOL-ex:threads=4elapsed=423.623cpu=1533.008gc=78.632factor=3.627zXZִF! ]ŗXf1-q恉<:P _X7D *-R~x=Ү F uζ.'{X dkn/\L *g 8oS'W#rM2@*Hx ,(AHM}LNZ|X,ZnSVFQ@nrE~l E`:g]⅜c.,2C{>e?{7:;wA-ښ(Fݍ=dq4P*/U:k >XqTh/Df{|uf5wvUU YR53I    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.MLGn>(rGo? qf 7?Sbyp]^웰sʦ{E)M|ʵVJ4;Uc ͞un+HQ_)ѬbCкSd\s"wW=y$}!s|*dC. gκ9̀g^ ?rN((BwI :_&wd0bҤ^KX]+{|ڝ<#MXJMb@Z ^f1M!KM6 tIp("4׳h:[  Rϗ<2]=f$lVU\`Z Η<6a047I6IEbԯMq^"Cy6m0$~^3Q+@tO7K>堄X S ^?3nfܞtxXE/q|wJڇ;Į%K =׾-@xo-bM]&y|Ν ]#j1Zh;9mvFnbqb)qL,A~䀣j0ZەYrvlc{kna.Pr E#֓+:X9O1قmXEB]uu7l&;:<"ql ]Fk`*sݨ҅ y P`*K8(yG3"^DF7 /6…|`JH0۷YDƻ&X[Xq Nl/{{p%+>=z&Oȴİk?$҄E$1esZ;Ou^= 'q#uۙLt #|p0 3gƇ&bU ~ֆMy{?Ûp]4N wsx*H>$/\my ^Ne:uw3d"onHFd6Q]h^\e]E2ɇm4Gt;P7XҘSQ+8 ,#/[RZR;|2`۳ɼI>Zp9,p'zk-ݎ8G-ذpzWzG |:|a,HBBum @W_z0S'Cb$HP(q LdawP{(2mDD!XTb ڻ tиɑV[5hKR:Ok!-'Y C- nۇALs/+yNr26rZ 2dbھMw}@MVmZW-@\Q~r7V.ekYTR~֭My}:-Ь^ [uynnFH43@_>LFƉEk@~PLc43@S<x$B$8{n=sKKr@Zڔyŗ t%ygSjd'^0…׏970ؗcAIp#m#oV?V$T+zd{9K6γ Rp^:ؾ1ʘ'qf.{a} #[#Nw9zaw펵gjO 1-Uji[QCh}[hӵ>ٝu%U1uԃ/6Z}CadkgsrH\+iA(c챴\ȴG 6 Sr>~i*'U& `d ҵ+z.BJq5 >ihIFg#^g{b3~#<8䙑pTNR!bsP%$M@oi mspeJy'!TH ~$ KۭljF']p^~Sg㧬ạ^o\A%z)e ($ف>/CD(&9UQ'c: ;iˋ$!Awl7YWz/*Y9#X& x¥:J$8,|jB̮z|?soݣ2XBp"ˌڎ:N/F49%o+!9cogU_(f*r&T4"Dۖ8Wndln\ y:w}%Ȗqh{4 N^*ޛ#u(Ի%y1-Hq`e^BYdLKJwG$bDTEftMl3 !ԹTipj0H6蓇O(BP) %"HL OGwjoq29wJ4a^Dw52;_=? j%lz pӢv`("/=Fe+ewʮi) .5e5{gRE}7 3rǃ3nl{EN4ɃJ V*-g <]Dm*P vCg|TuoI R2ax h4-_# Mf30a&} 89OۃtuoՆ$D;\8MYG'q޶pw|D9W˂= *tuSSB9 o7'j\t$k0Qt95V`H#.%y]> iu i0~sNc|Fꉘ}gO&e/0)ƢUBã;*u$!\)J?W dNiET?0-yRi݅("&ftPA&wq:p W /h%+kǮTCqN>ڊ)K6Բ*nQ3{Mw %hqO|X0os)PϳG|*(edƷ(vA Оpa7|s`^O 5;C=ȁ'ݨ>@;˒ I:dAYȘV2=x!bU}?yiO(%>Ÿ).x ,OjUig^!擭N3(8@mh>pov?KH y$֮_\ZKI 4,ffe(VB #P@؅`BXqE ^d<{R:sE𚁠fYRkw8{sƇyq ,@sU9闛&R,X/.RFyvt[;\`piw<&Hg9Z!bpӾWaqYOs +y9nߒh׋L"WU]ɤXeݸ$ɟCt?K˓63 3]3Љ7Kc܈{| 16P^d`wqe̶t[93G wQkr5gԿSTO+b HR<0vӪ97aKSWZ$N,5 CJ.aP{-jA:vJI3L`lO}]6ח-V܆[ʽbkR1<͎vdHoTx4^GQ W\jX"#`bFtݑ- J$=k/S*%p9JK, +3[r4lʫRypX&*Wx,Rd;j} DE4~cv'5j{dQ U)6d@AO3ˏ*amG#-d\~Z Jf*f`CMj۾?mwnĦWS^v%(+T2Y Jb.Hlֆ[deG_wXx2Ρ[l\ /.S8` 2Q~~+C=꘢|1QGS, }gbmWpMhQūQ #L9> iN NةShpfL%k\C}B;^w[u#9‹XtEA 1 /6+[Nؗ;ߞBd0Ѳv`j A8>G s{o±]`oAfK]RbʉH-|@`DŖ8nկ|!v-rL0)Y@!jK Pr䱀JJƉNQo{?KΠj6_Fpqģoʯ6g:pC(Qhs1\gYZ7zXZִF! ]ŗXiɟ1 Uu-Dٜ4H5пl#Afi ~kqsnІMiT̗%ewΝNҀVq%X3X1:mP|$qD Ob3`YBDޯ^h)c/i2?ݱ>VU00W=^tS2~+굈&pTʯg2莄 η?9DdqPC\zcew4wْmZ=swK$T~ @|wz]DGl%3~MMPh]=K /-a;{[rěyJ|jfBhI$uzfL R-b}X iQPv~YVP2v)}A|7[qSQqo;+"1 00 yS:Ϸ0qwqߐ(DžTRvk*DÚĔ8rU`S5{P’83?L}O˯(mq4yoZ ںRI/@S:IJw ȪH&t4Dh5iHy'රb &qB ԇP`4}~<_cAT Υ)W u M~mOC[e)W)i.yK̓N0$EY'*XHGi\ݓ6:u0ں<h5.&&?H`I*T==EJ6%;L7<_n!C<%pY`3."%9j_`_ìdO8\fv ?lKq eA%U<>bS&rTP<3p*:r|et;wɚ_ڲ yd/ 6r%?5گG+.22/ 5 $gYZ7zXZִF! o]ŗXi%GOso1 $SvAuxl%fXuUAHBSţG9οu 30-qDTQkc}&|yE=I3nqfn9 SFo}Qv0nB SʝD\`a2v`f-^)G_2HJ ־<9Sn .i 8A~qn.eJrHԋҀaq}k]W&y .9`T&(51dNܡ4ź ŽhXx2A]ZW:6( ̶><ѬN;n >*f ]l-u뒖"=.o%, $8 [ҷVɿ.o` P,"nAҋ\=h[BJyAQ64ir4sf0-tְS!**k|K0¸֐Q;D/yұwRaz s6 x#č>Wr*| v`}KHB[׊"չ=U2/^(p-rTP^D ClZНj- zJO#_ygVZ%dۃu.,;N QS܋ԞJ-^zn>Hd w(K863:p*Bx[Ca+>;}fAȲY/® KiЬ@zD#F=xFg\hBC^7f~Ҙʰ߹t 'X::\dTkI겼NMkֆ k=A&WlWQ_<$厓%#ЏL lȮ:%e ;,2L]?yl EZXdh|?6Ys=_Xq@|#8!W =Ѯ;02cn@fj)f!>BG|͹ :}ӉsvYӏldT<KYA! JƄYzkJXKIjEPɳw7C=鄸%4$"p9ߠPf/ ^r\;g2&I5GeRcf*}p*N-=̦ ?h]`z&q:9u#\@aB >ɭFoڿur8SW+TQLO\S`e4鉾 Rؿ\l?Tƒm* /uʑ˼4ߓXu}?3l2:7 O1Gt4X9> 3{ @!K€~ B с~mDc#)GeEJy |v\Ą Ζ,]r=ʓq|>*/3;OEryJ& qC ߊM vC2=#S w29m׋6 #IXp*X+?F44Mf_)-|ʯC͖aN4^S!TZü:\ؑ."5C`҇M1\Zs|`>yݖ-y6 ͍zB\GT'=K>$φ-EY*)$nak%$bKan;NJ=?;ɐ(7G1zd<#b7i}:'}Ѕ)c,8xjgջ^SW%;rY^~Mݛ[Zol'[8 ̎-0:lLg_V틲zQ 3cޥțS&HQh<п{Owl{nC Uֶs6`zL#{c_Jm*iuX1o_ ۯK*#1#볩_G I-nO"Ԭ$q2C~0ٰK4Rʋv ˧4 QPaw' 23v 4?>Qoy$>k3ɑ:";<+ݺG}=b)FqՊtIĹ&tqVeuޕ 4.ny{d<=7 x,G,wג?Lp ߘ>ɿϳ U"4$ [aրI۲X|bv0"r?4F?uYx*CTrKgN,FJ)'+ Ԍ&c'ͺ^L;@T:'IITumOwuHYgKV,$ P&*D8Q ,N)Cq4 2dRztƍ@UglT_*صz]KifuA>eF!kÐ_ qcNswk]||=qnR 5ڇYnXHEg)&#Iqg#Vq [/RmgJPbR#SFTSIygp0|Gc;i_p(ׯkR4eb㳞>FE0*.o1牻ʝ QEqaGms#cH{F~v&[F E I7J* F' 6kj!u̦fpZ;O.%ܗڇ^}PŽ-7K'ɜG|Gn7"_ՃMpa8N lvWUqt-@V1,Ֆ\b:j.LRMYL`q/J ]ԏiF 4'.N$rtC?|w4lIZWR iomyioo 9΅w"; RS1H8p:;/1髗Fe<{-7"DQ ~YfB#N{!6`''S?q /g@_硸ΟЫ2n8L>w&upʌEVn"h*,;{h;$Nž.*cfsڞJeB'b.e(T_g.HU f |/q8YY {N'cL*T![rs綌 vrRdmA5Tp tHjջC7]ܯkqKW*<6Yq/<?tYQ79e$SVD9k؝֢Igr¸*(nu0IhXZNde{]fOgY?rηaa秲*2\αɶ;KV6LP<+t;uVK?‰K~WL8 q(|9fQ%au7PL{k%2%׫$N>'".;P^+yfz%X8>h=XPd m~XTU,,M_&lAp="1ơ𥰛.̎IxXuPm".VOPyeQ:C`}'_ X:q *0ٽ,IH$Q@_#V9FSۤYJjw=j*1J@X B> |Wit9äYs^I_%SlN;K8g7QZbD`By&F,76E.%< 83` /[Dodzт&6G|Dj$&)ﺈ!r@Q!_g ɡ(<^_.u Ȱ9nc! }߶*gbVl,n[I|,.U*}&!eilvo'_ŁwFaY0[zf/'o?$ 0n+!8ν='gݑ yylN!M{c[Ay5gN+^ЊwF'L*-,P1͹)SłħM!p"i }HZ8Ȑ7:6a2L}-^^eSx)<y/~EњeNR5IJf%Qww"Ç#_zB*Hd %9I$T0v \EX ͩl!c؂VIdOX*cβ}Td eW~šQi^vp Rߠ?X·Xz$Fd -@%doBߑR ~OovP/p+ԞuѴ5#,c2{GSb}dPzIůڵq v=W*d#1F<&-VbOSf '-'YQGT YdUbOJ11|z7h O"iE32.-ȩ I4t]Fn,VdU_$?UФ{1$QzXqX/w.YDS^dDN 0p& XU٧1및)xbnKHnc  [J7x*)*IxZrP|LR*&d 3QGo0e܁aaӡ4d$]gE:${'FϑV*#W Xi:vڱ0D4I8*K"u~uTsMxhbrMӕ`e1WO*\UÌ=)-ęc鳹<*hXlcdv) uT nqd F[F?z~8_:ǮFhD'.wlUZUُe"yoG!E ӱ{[opg .WktWUrF~/r괨A)@T8Nlj8`u4F|0={\^1k@Gp#H7 +PeFG= gh:ͣ^&d?ZǷMyGdsJE;7cƺA ]W,$$F[wuiU'ct&DoO!j5u.^:N``iA=p_.+ *2+h<R ""#P#d Ab\(HpoIbIĐ{bS^9ȒELw}G"O^1Jh_$~Oes7 W켼gx>Dxr:{ۂejj[ 1͚#:`mH<%lnv IVIFW,;sU;3|[ /KEUA}ߒ/Jlw`Z'pVPjN(XA/?@^q;CI^F0ĚɋtmJ)*@n}gJӫsHOY~`j@p5u@e>{^ք~21%nU?$YIR5s G;WE@I`9,a#lHV1b{0gQ^]X-#y%q~ m-Ұ6:IԈA? ]8^h{E]ؑ$n1$o L#P|'2So4{rqeh7( 8eK[WlyYܟaT&_#~,7KR4hAc]vWÅ.}wZ:-%1ῡdaVK$qyi{_>(_[? i6)/rD{m#rV-5"2P!*Eeu9fX-6ZF'Iw%-BuD4 REYȴbbn9PNl'UR<"Z P[^\؍-QI սwLs3NyRs(;rȵ. 6ոHTk{DFAmZ{,f&穠X9kmFL}594a)}L^Y7*]G}o յT'-I;5= )x_rx7H5*  kHc< (bWL@Ja/lv:@{ }-Jա+g6 iluIa,1ѯs[lNmZ? jҺ~لK.'`e(m#gj!sDH3q 7/o3չmH+nRbe\XVTM4b3GDs iݰDG:}u=_٬z"ؠ3jpƚ5wN>WPF.Xs+qZ-owk.sm}]]]ˊdA74Svn@q~G=Qz.G`?L 鮘m-Yن ?eGIKeXИ[/rÅdFWb_Rh1=7:"2U*A?u(>VHnc 3-uCtu?}vS.SjcRԺu#00%˶ P'LbQtcJ%,% ,8y!LQ륩QC ӁpWϝS/cpb;˚|H DŽb41cSa+bt><-Q-;s ,TY/s!V޷O)<Sf&Y֚4I>0eHfr$ђ?"FAi"Sn'vXN2훅u$L1}(gN +D>xjC 3+$|x/Lu23N}r%$o'3tXBN)VEa3NB&SdN\P=5B"ҵΙd^˖D)^IoWwN^cgXfFY).'RLsYIzsfLcWEN_֋7[*E&\9\^l-~Vis!BT0R؎y9_>b#Njp*l Ym)6>gZƈtPXt*efP+}Cյή-uؘ`!kRߢ>jc´ @4ԐH.&k#Hb&<ᆘ}NbmT+cQty" 4)ny3cY;u W6A49F,:CmA)qqqLįvp <CbDpL]zսqcY&q3U9'$H *5{"?*ӼI r"™2.ؚzr/*r@5ȠӘȬt@^iGd1.vY1cȦx 4tF;#.B(m3 ,d)n n&*Ӵ dz7qGYOCKʽ,C/QR e`asܓc_$@WŖ'lqZX /?m Jou5jg^G$ͱLWRg' 4nA7b7Dm#?)%PzudJ\kyϨ!섾cxз!Y ԣ{թ绵2ǀԳx27ubQ:z?L>n0 {Xz{mv"55wV04yL^S4U!»딮U1N%sYpye YqUƊJ.vVoY PI;xR%g|xL}@@ȘBUjWMd_.JENҕBҫcvV]!R"pAi_ [0:N-@_gEP=}!Rmm@+8*ѯ/ô`SìXo>ikxBO&d)q[ 8т=UXQ}Ql1]hF[A]wdZ^J{!Z0nM}؅L/'De90v"NnuL_Yb,46|vT/'-\niwVpѩWV*O3ssg,6:93sܦ~6O#6/h5?Oqv-rhShFz2[y+,G|y7*CPߙX׶Lm~f,ToeI˥K]o'J2A nD^+-btzk`ٙDXOSCQ>?y#  9%'6,D$TqTg9I7wa>6@9,́K*b2l(W1Q1Jh9mB~B?'f_p_ $AT4@rv,N) WBۯ:M Иn`{# ڿi&\),/11F+׹! )7!Dn׬fW0 B1g߹-(eRu&+apZRfu%N5+0X|x~9vjx^r(pzhRK')8jѶ찻8MæB^,󨤆b3xvdTVV.%_{/;SCyN;(r?l"@nae/# !n/y -8Yaas[R:C ͅI^{4dT]vPVZ,Je(ڝD.̤: ܐD*d0+l# M-.V6'3,{˂/*m݌}*Ǧ+q$ܷT,Vpke-p _:,b2>‡mȔ-VF=KE/nK$DM(N@%9,!؋3)Uo {iz6&OhU.6;\IV4- "m`!quP.Pzy":.7m3&2nZٽ1p[j'nAt qm97r/=6W%:4KUh6jXs1jڭ+sۆrp2Hkt  zqhpGDW`{eSd|րFE cP"Fƻ>R!pA{P9xF<"磇?c9/VJ^w&;~i~:ub1h:Bcz)ajGc0xeGX̨@:'Q}ڰ 4I!T ˋjIx>,G152;6Bv2axz@H᷆zEfҽMMQfT\+Rl$ p!m!IQ2dAB#{-}X&!n6w GnY@54D̘kEzJ)`|ޢ6;ֻ~z.=%q}9"P9+6KqkeӀrs;f6_N"_>RȆվo?CG!`Ϟ%LIm>7.6fējK+GU@Fף@~ :V zn_@%}|ފj芎(BW,x LۨƎd&;ŝ_Grybe{yzȂ32޶*k$yo!eϒBEƚߡ'{:Ŭ6w눛FI 3*I(<~\!bJ=;sH'CtD֬5jZF7hT}d a/UYL ( (Jٙ,tE6C1cdt#V)/?\dY;v,iQrGyi/uM7H]6IU͖Yىk d|L&FWu :S5M⨈| `D&"y,seUyuW,`DȦ8Ů@/^SfV?A _tqQ"7Z[(g}sl2oխI/fQ>4-YaKE٨#գq;͉[E} BkXI\ͣigx&b>  -X&KJbuF \~{~xk:HiXy .Gs%_hֵƉ{ 9޻xvG2 ҴC+|)Y\[?Z6 ÁBG[~3rX|ע5JP}ᇶ8 F1P^nTFOog+WXXO@b8=/ezVTP&qŠ5Ȕ E >kS04m=of$uK/ HC ,tN>ЄT9C˿Ǡ` >YR͇ٜ4p9/6b* ?227?@a8YOj]CrNDWQ CXORTƀŕjN@gNB)t@fOk6{{t6$BFQCQHȌ#6602`ry|s$30sycPb"VnSP?ptƿc_YZY(A[8j镓G3*#.xr?A%rBY<>hOw vhUU,)0*J]iԯLm &Ո j2rIuqoE{_ѷN35_iH峕KDgj(6/`9QmvB} xC\EFB O8aJqg ,D 4ALpSZ] x$a[#ڹcR.z)Po;c_Hn m[Cw_g^e(jZ!eل<7 yps V>ߎ'j%X2͓1risom:/S|3&ʡ rwE@QT"p!Pa$ ֌8&u<rt#JW>VM? ;.6>1 ՚mGb8H x^yl7J&Qgʞ0hށux)P=Y~v0LH/Q58Zk!;WxkF]?C4keĈԃ c.>SGBzܩ~G(3W|4V;TSgR?H5ZnJoَsZM;L B3Y_d?Mϖ=|-;O4:s ;WkU +zƲ`T#" y08t>4 r['^<% Q]HMfgݒ!،?^it$;nID8j)J.涕WǶqL*CLFIn D;&hLXV~+}ӘW?lT oH\jnu7iJ0TB%egI>GUY#5J|jMBsJPU V* 4bzOh ;p2 u'Z]mF kʦ+iϑ^M8T )HXFS#QшCjsXe z% X!/+1]%α/H|iruXRYcudhUcG-;=0 s8><ߑkX#a))i` ++<&%Ԑ>+EZ\X\<\J>ǝ}2FG\oHP;k>29bnleR+epOdrQd4Jt]@zEzk% {c;2fϬ=ƨ:Ĝ,0#$eZL8@cD)`2wad{K4Jnsqڕu({v+kYP3:m߅>ہn@$GE$rd]F1X׬=~cRKKTQŋE-/bx`=m?/Bٸ`UiﳔL/_ /Rarmi6;J\ut3 q7q{s;gD8ztU%2oh|,i?bsS Ʒ})uҴcRqn.#,cyJ1L,<_.ް7rM! ;a@$|PhqvU X|q9'AX4IRjnF>MP`9'K Yr+Wdqr{"0$><(+SCV.i%>1o^ EbAK1lp%eUl7m,;mN,u˄@PinE?H-c@K}3~Qe%&ᱰ 3tKacTA;݇ `7#,|/ 9 vjf}k;ґl(.[Rw>SY2o\Pk=|_!+gGЖaԚ:*"G#Jj2!fJ+oK_Yy՟2\L[,nC ]oAN.Q7LѤ-<%W .UXRƀyϱRWco 3V>XuxV[нGe7]F@E"2 nBZirCnЮO?(C{L#nt |z=堯 ka !oHif>/,' W'w[GLouPz Pjuߧ[N00TPt1< C#IFǥ~Ҋ:7H3l1Yɋ}<:O|z%|U{z52rW pl4ۧ=6YHʂ$;?+uVx=4'J{ ~xPiئ 7#Di'.fa,4u9:&t^*l*gBSVH)'qjzj"$7qokQ,r7x Td?k TM{P T09ѺlN- SS¶KǤڊilU/E)m7;J?}U KS"NRdnz+1$[ҋH^ I)3s}Mٜe(2O#wV< cGtx;C@DC9pN?d묎h]n#-b\qmc-㦦ϕ Fg $V[)ёWt-,~+Up(I@0 K`7U >/LIlo]Si]s$ZI:m@].ɼ?߸guN'-R͢;OȺ*P$bץ@pv\ nD΂%zXvS4KR~:`<+HC_O֨7͍Zw8YƢL8xB5wFSvO̶dUM|U ;v;VFDGQ3 TUa:dN~gn8c&u`$) Kfפ&ጴ46k]SKic/0 lUi79C%vhYsD}c`c񳩟1&%'F l>խcD#{iy\xyK!JsߖG/W@wgbMLs G$n'E}ɖTEicQOeSUpT\ǝ;osKhx82&- nTΡXb7iӵzpKUKfěRG k?V!&Ļ"l{»ta TYzτl8¤42{3~ohv271'pkvђ+Ѧђ4#@"158W5fPNMペNI.BW^N3| +NbB A%7zyR࿛(l=iR=8 R^IXA ƅP֌S>Ol5[F~Es*R J'K*'q?/ҚЃSlqm Scd3_C9jCEOPFpmڊ`q˻m!/QR,y :&ևĊ0_j[br*^`^0˓:w(';MULO@Ufœ=M:SN$[o yNvNyT e+_rχJa+8!QڽãocV I昸As gxXpvQ=##Kj$ZU87g #a `|f˻@m5FbY3! c⹑񤿣>X]#sAvDP |U p `4^'m8N[ѿÞT!c4%d$Ch?2$NqT1| -zs C=G{]ѵg3D`u!gi[Jf .7K Vi*d @UXBSypt(k \j]C*BK2<Xr,%!!4jney~OˡVĵɤ:H̡as0~^mHمQbW'nxj_|z%Y/?5Url߉ GǬn];^nbuJ%裡`.zw\b\@}CX,X9i)CRIzegFwM={`P3KtQu=֕ʯ= yfw4 ǍyBz;rX]$aBwȏwM4I;vd-@WD)ע6-Cqn=+Pt &3=9?_qlh[AF,9ֵ֚[DQCMlb7@gRr[XLU{uNn=Ff:7pYEogiͥ݊ig+|ܺcNcL;eT_a,V Qpj[m3+QUHYyEHɍ ;2%5] _0eT;MBY(p2*Z99+c EãM%NX:bcnxNўxM^")ooк Lf4崈:@<`}s.U33y(:^EՊW>_z'TU!Gl#98[3O Fؠ*OD=I]wpYsy"y,VxU0ꌥAֶzMSXWMus. D|>RxbfD2\x. z{QŲd\込Q,=ַk(v^30s•"q!v=B*$tR<>k AT\"/ J!uTes(>weo̵e/$9<ΞR:_rHO>SOI=_q;U}ǐHj"UQTDj7yC Ԕo39}dc'\۱'9ͽvь[V!"ɻNYZO?"M3g◎@M>B@0 e (wX!+uvm:h6oX%FdgVBS3$U+֨}-fAj",Va'Ǡ,y.MJMō:NdqZ?@}M5!9Ì\ MT5,rX쬮ja+k K"'sr.DCFl^&ƻ$Z5&Ŷ|b C-xK2(s#IKYlcJB&+rd÷A}|8&#pځ6#/MƳvPįNy^g`t }gi l3Fڂ~sL+Lڃ,5GPtP( DR9  5]pAs@3L#{5 Qcz `2YU76 {jP \X@qO='x>kGŊ8'Y6]e ':'z]f=M:~H7}7 a(x3[QzQx s2c*xK0f 1M"!#Rg@8lEw U+^ @yg]-š)-y}߶jr'Ţ>KurŗOI+hB=g?~)Ԃ7PH&d7KIuH}e΄L8E7Kᨾh(IERw-_ ,LPs;wjwJM}Hqp<9.{RD)έJCd Ϳ|Vc:9ein&?D83ፌ҃JMS0Kdne :| .&F5Q)TqY2`9Β:'"5Kd"zYCMhkOs0Ÿ1I~0n<-FJ(>(,cH,lgwO,Wq΂ro8>Ka4oxb]qk3 4N,AZ׹b L}kAW}e=ܘd,Ҍg Ew}%ʵ[xTR|L&Zp^00+r{wb+9E7nE42OMfa&_|ug=^*m+Z׵pn`.F@؋41-bⲴk DvŔIUĞZP2":a6~}0+b#R?<3\&>T5,\2Ҹ G7fg vзbu@|ITV*ƐoR,:y9z&sW.ᎠHꦮ`:h`9`&T+[)p6$$f=CUϚ}6GbN?'xSW Mw|"h8:aS,H6ĨA^ڏL\HJM/25VuS\unI\HvL_CuN&qȒ,< >(]P_H`GmQ(ܧ=kګb7x)/ ^* w;ΒFڅana3.+D!1kn#}4kѩ0+lY5=vQopc|b=B)n23)-Tw&CK1LڲMG#! 2sbs!">sr <*:lta|={P'it\!_Ig `|>P)x4Fx|M6)-غ hHrrW ߳E2(:Ԟ5*a)vǦ\CD3!@|6JP1J(cͰ ͼk*-1+m,%@<1[7&H3La"&Wpq32 WPH џlß<0:rBcvӴƆh_CcoEꂨ'^B1Ky|ԥ?~-?xsV؅."54t;0hd]BzpTokQɋq璩LU&͊0+&7P/ps:p5mFjbw`> eyd. V@_9zO WMBLzBT֝ٵ? >,k{1u '<,^#B,^Ivh\t$#4@ghgPFSAh~@ե(N ܝ&72^ׄ#Q~js:ϒ$袱֮/Q.3Ic?Em4!Um3яUi98<[}s \yl6Z0S~>2|{,Α)QYn(mЂ$IO_^R]?ٴK@..ё&O=]KfP},Bnɧ*T*wJȍ0${jSj=XT݆lJ%hD7Xpɥa/fr:xemDZ &َ^8k8b']5zA2'ib;+8ԸsF!sV5$8FɊv#˻ef K1 N+7{q'= TEkYO᣶,imԳ#҃F&;/Zf,قdI8ɶrx.Hd_8H?aB Ce򡩜u5~Qx4N81YyQDNjG>T:X{_Z6EuQϥoZ@Ґ*$&l3MhZdDۡYؔu:x>NR#̥B:BI8؀Gh٭G@7NYuTă6Ef@]YY gVg K;.B&?\b_; ʱ!9S&wxUAx0{Rkl-ni/q!8l[>qEZSlġC&pҹޟsv/d>!Rܾ'o:+n%ѥ^?s2^٭fMt?wΛp\!{0Դ;%kM=5+\'cmeu 43d`ǡuW̞Ӫ[*~uQ䌛X d3ٍjG˝浆->o}[A:]Ol?yfK;OD'pŸ!vjv+ȿw@LTqug$UhP6D!9? 1@%rRm'ΛU׬-I;Ro);Rqڑ\#:ǿҧMt>sj~*+N }tK㲚0E {IݼC?oeLZ\ӬR f뭬LZ!pT3I.hWV qNjcȿ 9=r!9iMGaƇ>vԢw>Xڣ|E痢&}Ұ xL՜ T{>uRR/&2㋛+Q4E- D v&FI&>|' ~lBSToo,O"s#*]y:m@cn?6E?4![NqG 27)o }D2fP$seτDC;=FuBJ }ufS9)B44=Pwq4D/酐)z <-^JT(*6f$86zu+]w IX2|D @>G%wq[4z(y~Bb'cЄ75raJۀ0u: JMĥ>Eǻ`R[d$60D@NIzla2D, uvf$_Ol*{ ҉07hH0\I YY^X =k_Io=yIƓc".@rДSQ" XER(3:w̒qjh${$_K@ VQԓs^Xv<.a/SU-Ь ?MSW W.y{0=,Cg|WPPȿpǧ%qc!B"vp0/dH]m|"m ~KNLF7K$M^aʉ e`&'8gSRh?*W֗$# "gYZd54e4453f195efd3f01cf93489443e096184cb344b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 4f0f038ecec92406e0882716c4c085a6c2f252bf 307c3e48b41d32d3a1a36b9c4d32d64c1ad79212 2885011409a8cdece7ffbd7069aaec074f4f92ef