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  ( (,~ d ]% HOL-ex:threads=6elapsed=414.867cpu=1417.044gc=102.0807zXZִF! O@]ŗXiɟ fftb:u t=rpRNM"Q_X_Yz~XF7FR.h7UoFhzÖ-ߊa͢"TVmOvS${` m=^ V? -d`]nDxS3K)?2٢ 2íAl$SAZL00b&n\T>Dȭ OM5䯫% n@ ,v-/@!ۭ `- ȗ/qZ^i7=v21slLVDG۬r:ͰBa\'?ݧa 4_KX2TPanF}Љ: n\( gij8ze?6SgFⅎkc# Tf̽c71|p%5Z8iBԞ M_qe!q^jFǝu #g@ 0jh˟tWբ+0B'Mh҃A}̘,vքjltW* 8kžm{.[[f]\ۢP_]ZSGw[YTo<w~ܗd5g*̕J?7 oن"{̯ QYVuoobc/QL*`>{XJp? wG[,nTz{Kh2>]jCaڢWlQU#|5^,*9UI3.:;ESokԞOimbi)cz;DpZ ZV8hIidި,yu>xN:YEjzm>`]8V}8x7zfӫʆ/Ӱ=e]z3z1 Cp1"W.ᄚ%O PĘxv)ƭQ. ^#('?8x˜@ AH<ՀOFnUO1{N$֮y|C !?Wg&ed-Z  ]5kK36ݸ?K}C^cDP p@R/YxqƝ)qF[m5)^DƮ/)ܝ:͆x)BFN]m3SW^==_xjy,~aIxCn;cVXN]2B'O=S2)+JЧ¨ŀ—OȕQۼߠhri "C^E ə6Kjv o7m~ '}3xwEIUwt%)Мڂ,ی Ξ&?X|Q33uMcc4&52*vʪKYD=̎Ee7rTj( ب `ć3F8HӖ@]~\]I WUz,Ҁvۈ ]`0pXPzL:Tb=3fz%f.!   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.MLKOV6S=t1>S2lYnwrV K}ĺ6#{ G%y0[p$TtϿ#D8mS/4&$".zº6"a6{=mݔ_:ZlAEٲc{10kQAZ%/L8QdG[`Q$㣣įZP+y5m4]:Z(Dϕ >Hb $,˘I?@OkϤԖd9ocVk׺Md!!*tQ ɄkHs]yTaCu炓ǧGyΗ`O\mXŝK. +蹷qůmEFԶwg=sp J@F@>$f*a5\"5<{1hIL65WT+@+ ZUk[um+WiK@A[MGb/ke(gL$0 狼ֵ(l>Ԛ#:Բaa`B1Z dyC!G#7.֚T+mpvOBwk4²`3݀%eypT6lTK1y8|< “SC]V2NKOK!zo^́ ?',MN̦C"[1P4ӜW>>46_۽)M b7HشpvϾ t r(mړ \m\V&j :CKoHZ5Uy,DM}\tgzfs?f={ɖ#-ŀ 5nt$^^9Fu7bs[^h{H!bɭMMQ[M0ەX;^S+cV1&UԻ8)~%ll#hFWĠ@-% zisQE@cN{:Q- '=]^E+ȪAh؛V~JŽ8,h^ku1U[.$ m|榕y5rh@WC$%.J}q Jl dzJd \ce6I$7L>#8(5Y^ R9|6!`)$[BkXhE:udp@ӯJҀ2a9n}/C_م9vxTr;~ȯ`}h\X#xJOf{ ̽d"HLͤ0 sȀ. 2}1#k`H0s5%Q절:Bg 7*t!Or"Kj`3ğH PTy_ ܁ѩ,okzp )6۔]p82.w#%C'D.[>}ꮧM;Q"j.6zSs%>ITcC\g}0?d^}0< 'r_Xmj/h&$VRc{O{"VGA[c0KVYQiZ0#[!`|(6iʨ'B2W~ 4SL>VNCcMsT=dQX"M{B7Э\vMJrG2p偗79v)$H" ~z>|0 sg}Yy7`"2~wlT2<T5JC24='4hYV'ŷ:1/4"Spd\뷖_Sב簦GѬqbA-^YW EaO,|Ea@"o t9T8ҡۓa5!1TnftzO"R0Q=뎋.'qm]In馧cu6cjG$m/ It8Nl)U "Нߴ@U_2k;VC*/֯4%hNoFwL׽N)?ZM^-TZ{DC@ˁS#W sqì-ķfN}F,stiu O4XjY`Œ0kAUXCY5ZNH뫛J3Dۣ}nTI:?R㥭rlTv GItԾ*FQx|eӮ1ܔjԤ!4ԞVTxd0>)u]CɎZa)uXc@kSu{KT,lGA2-*plY+cxtDh_d<]gBa8, -mJE4>qi+87}noM<$IA0R9y|ZqE!;S5g o@42khO ,NOX}֤0uOzE2vo9_~w?7h}_\54,Z =7ΑGgs/pc\\5{8>񸯃,$qx 7OyM@02`i9m4HtSP*D699s|zir [.sٍpԾ|Xǫ U͗jEfE\^=q',I_lJ=VP4neo~eTg0o/5n}S rL#o>޿Tl#$h'z0'Zrktq}ޭI5H?L8l-"5s{^Nrcf6\YRE,LqW@@+L?>a7_#]G! 3,%B ΀- i$RFl*8h17+U,U&B۷vFV?[o:=49u]ib[N;X0_~9G^[umѽ=RpAҹ?4/6Яq|DfCmmՒDA+0Y((zf8y/v14$b+iq,ed/ ^<[kNiE^$\^eqa"5M*ʿM%dIcїD!i>5#wے ٳ*nUԅ|τFBFSz߸Jg*JISM6y+na3pYKU+liCj_k\LzԀªNa۫hC V]8w8YEI/M>ɱUtcW2V_eJ-ZMt傧/J 48(r xŞf{ݴ2 $úF 5  {YI">j)rxvt`ll[2TIp70{ژgYZ7zXZִF! z]ŗXiɟ1 Uu-Dٜ4H5пl#AfiSŰE]9&G>1A2`t(@%AjuGw!yyEpH#w9k;K',$g/ -dn\Ma¿*d܋X2V&:V<*t=5[b=Y[NVс( 9ɇQxOҌŒ&5jJx:>(ֽ;9ō[`d& d%j`Ks!c"q3EJu$u#wj?Yq5<:*8ðEŝ_8:\yf"~Rg^d3!+C=OY _DN_Kg=gwǠLxX@v2^Iҙ,,ުۨɵ=ir1!U$NBr=Sgu̧LqB$Ys6@Bs쪬 >vNT ˜CtzqA#Q]/^KXEm?$ ]Q9ۜMZèdxqK@gT[9\KD^zqbiE Wx`ޅ@BvJ*H RLK%{%jYVu9Ϗ3z4oVr= Mԕ &3G1vtd)=PѴ4x 3$眔DFR[ɑ(^KMN#rtk*U×<קr6m_Bϊ6G61ZM榫̳cR[]CCuq3S.<{ECBQVGHj}} F-LdU*Z`mkRO]Z{ցz2Vy9|[S?d@KY@įo2S_Gҵ dpdy/Z2IZDZSAi{TC# J- 6e tI|7l՚ψɢ9)ߢ_`7"iRdO6R2̄J&%ee4VUқ`_(QRc梺t9mo&]0G!'/ybgս0XL˜2iMρi6JUꖜ<Sa\9$5eOQyh߳Bz2XO~yޢFAGb㓽XB60by#\[P%hS@ 3 gYZ7zXZִF! gu]ŗXi%L*p>?ds#:Lmj~:[1S}did-%4:Uѿm_E8Ȋ!pȀ$:0ܬF`_ =ZoP.ͺI0! 7"#Pl(+лM`1!5f|ٸe fz@cU=O**ElO9I͗C-*g]0#,.,\XJc|+`sV¢֩[xO `cq"g.=s0[Hi5c)n0GVsh'?794O"w숼m&/0L `t)Ft@I͎Aro]2ZԵi}ҭ,qϖh3夠޷uQA~/?Rw+Z]n)P.ǵoy  8`mL@{5ceѳ'qcVah;so045FFW@ A1SrZK]STF 7aE]ȫRiCbدh۳QrQ٭IwgJtt`fpw3IK/#WB+ۓ`ׄT.c |L\| 4v ١A߯;ṕYYsaFտK*/%y$@ =sz2AP x10WIVQF,v7 j[<, ܪa{ώW@^1F1aC?LOOC9(g໖NCL(picBmbֈSkNɻVa>}s4q$D({\bY&۠吆՛!Ib ɖfmj*.! {[ 4mYzq@9RPaC,x ϒEJ|I]<񧘝 jԦD"?͚3fh'tمԠHuF-xAF$^ FT0lF<0@ DŽ@7ׄVX q֔{!l`vPHUjKaЈ$S$l{` )$RW[7bHڑ%K:ۧ?q?c/ci%,lB!?ʛd,eu[ Lw?f;t` J=S߷Zun/2_W [3CخMYlDOK7J!*" ?ˢ\X\>gBN\mWawIМ(#VQ'G *\t>!2vL]?*ܷUrAR;̴- aӖ$,0pYf<)omq{ =W|Oj)K~τƚٖ78ֹ#PcTچ;^O40 `12oߦrO^LX9 iL\ԍ+B\"cH|}fMnD| @ yLq]V!!K/H8T)Nh#WA*˼Xܾ\kS5.:;—X+'[u@l%4wqɤM+OzEI\bb1&g-Ƞ\z+e N xD- (OQ&a'B)@Ù.W_ fBy jFhS!3f]%1I^ ~l?peom+T3PaIÁ"18nyc\qK9V&HLZn{_Ϗb %;c}F9Vx`9EcWC/! yUIhj߳q/=$jh J+6FS5ZG餾= x ;A"~W+VKK+hSYAlfIz0U-+j^;Wkmo~nzB]o7QRi=1yu|f1MQn!$+CK% ?HZ_',g!ZbYt\(P#w3(^&w,yuNЬy$3,Z->yzv()¦v~6 ALEAA>u;m%彏1 '*\J0h' zqK*쿅-b՗qJW拖kfS,1;Z4a:W|E;o޸C2eNE D55RKL}1lp蝱c;#A GHRWO e/_G1;RlZVgl^Ǐ5KѰgf7HD rH> %KIGrRt@gB]Nٷ)~ѩGP| }jPEmՁk8uk}C=n coCe o[+X`|O Rʪk<˰*&]n޷w;A/yȵ>3ѩ}R=:*R=q]BG^Sl`?̽S&uOUqZ}`ͩKw@<L^2edWtZi!d?v3J$H4iEk\:?*.!ԇF|\+}rS%1-ԍe N[[n͸SLhU~|S*$ @Vv$qr$E4#%'#LJrxMۚF6M6yu^AՎI; f>++2c͆.ޭ'0xH{nmJ7/ę = 2" /YwgpXc}}y1/#+2b}{9;d*}UPI3Kw`)Y.cJݠYES 4"dqoNR:< ,\l3`jwmHMPtqz8ted82YG)_\Z,} $Z:dIb1mO<  5f tIj)RJǟ5xs>Jw@n&!@j^t/[&喍* PUP!ubGe @݋Z 2QE4Uu; VmnpѨGZ 23JiSV 9 ̠D 99*F2ڕ!鋌gl ıժnruJq! f j:U㯐C|3—(AiUO-FmE-H |[lt0Bl~t˘퉳k:z`,*}O&GJ.ga':רwO:F[a(,1`ɍM Q_O D^52p/Nx~->G!՝8EYLS KE.ENC4x@UǾ QT<:a|QP-EKAtC긧SO|5@gbXax?E}"c`bKAٜy"K7gK ^ ̸VgoX[h!CJD)N2)>ߦIG/b`N~ 9HOzi:F'+%'P8b O ,\e>-YԘClb]?cH\2!x 9_e8-D`'`b֯z}d~Ǔϫ0>}!SkԺZ3p'6lX~^xBc_<;! u%M)p镼YK~.' R 1`BLKh IoY 2F $yVh5+BeA}?a20AZ.BhC;if/WԔ ܝfٴ F!$@;FP@6g:ա.!cP9!f}w- S0gS#ݣC{+M,g2RUys8l:kxLct_uNTac:]!:L@5,[BVqC[1P G"Q _uOakEJQnsz>ftԑ*E°TT6/"U<9z93>stp~Yoӛjgeƣ""1<3/H>_>INyZ-Kj|RDgfoڣ%CtD0E/= ?3ӦE (Z?/!ډbh"(􁱐.-|Nj#y<,5IVvez{9dk b]$"0L,{2Q.'%JXqr3LӰ8oF /nk`8L`"OuSR Oc$C }6`Rs`aCɌ%Mn|a&5$=q<8~RY9yV@8;oޑZSaҳ އ LWJ+ "1,jFVvuR.]‘,],4EDF޶fF }]n]h 1CN# Ţa/ڷB/ɏQCwne:NF).͠.qb0p],ܠ` >>b,y^XA,]At&np2.1'cLٙ)e?>rnS}Hqo@9 &|+u 7v1×*z&ѷhrjJ\Fgekۦ\ ^㪢ަ⑓;k 4;iȞn-X 6,|8G嗈I |Fw;maZ,i1Y$:a68ð0r}ιҶL"uBCe4*",Sp$ a:"4,'XxkOqxiUN^5P>]14ZW퐶Q?]v}j59E_Ѿ|ǟMy$V"3,Bnfx6J͉Tخn~ |'+Ve~^q٧#37גV jsxROx1~yp#\4Um iAs<5JD-dQVbUDyA̤5;sv U(ʺB.x6(d!Rh8n}mK>jȒ~b\c \N@6˸/%\FSӡ0xggDYC#&3Yخg{%Jf.Z,|6Μ ֘veFnsFpzKscD2Y e=A'QL7OT#.:բόKsI+=W<MjyEѪ2+$Wfe!~C:Sle50u ytoSqK1$ȝd,ގhVSŕ' PYLj锢-\%-`Y^(_Lh\Rv PB7ϮTGXۖk}Ս:Lg4YfT4:.Vv\qO) 1zδUs[j?2OEiX,hgy#A3(󑵩N]Mo +-5\T!\]g|@2CF]qQC)QTtQy[ #l#@M[-cA)^wJ,]Yj:>)ِ:igr8ĵڄ}Կ*3]yW{,| TF1҈gM 4B5 lQ-߹,:)xP"=*f O]l{ίF رO65tYۗl*sB_> %f^HuH1088=bßu n}*.e) ͢kT O4g0T®U@vxB'aކk:HEuzzOV߮ mH^"D؞{E3m<[4G^"++=3>#?A[ҧk.RCRQ<,Pʼnqde>ŏw+xd4•@qxpUgkϾGX o&=VNm GT%l죩WbK֫t9Z3,%5ǟ0\Ö,JBvzj|yƈ-HGs6 .!Uj9낖V24Y`G+>.۰2%[;JD ^o>U!*#ICkc@"f:ݜ`\A+xGؒ&lBbe(@ږ3pDؓ o~_zŵK(v>rf$=|>C8whT#^܇@EB1 w+O,,WoakFt:[0M~MLE:[t70fg{݀ ?TՎ*`+mP>vWsv⪶;\*zX*Y5w;SO%C- ߞe^=W 6j-?w4O?H m& ܀9v4,d kU0;HƁ?Ed]MMWGA8|8oŠfW~2 -+-GPx98oDʮJ1?"q6>M#ُ Y݄76U=)߽z5MdM6[{kSq[qI\~G~5+ *-/1'84Q>v"6x::łA1FYmIC ! +9; |V r$%7+S/f2t\ƔxcMxb%B^H(8pYk,e(Hm1ph@X:'#~BG]zF\*;(çs٠ Xqۏț/ҵjӿrKy-9J:6M&@.T݆ܵg9{6E/^~" >hG򽉪aΪ| :%qLͭckT[H?5ﭡ!⩽" Z(Q{Vve  m.uzO X-n9c[&./%ޞ`|wCWϯ iٗJiz7vP\3+iC6.o1mCkh뫏@LK)߬F P>mK*'=,xsgʺ}qvۑsh eua$D xBfo6$ Hd^hY7e7܇ 1s#]3ǸE%ѽS`2ң0H_I_gaKV9ܢ&<8šʁ5xҺ!Z#ZB](Z'7ly8۾9{.:ѳ* % }sO1j/1j;Ɂ%AEOL+xGtF+buMzy1d8o7jsM4o*Noyqi>Z+n|}T 3ꡯG#b>Mhw_ 7T:#gX.\*BtJ3PTw,s"Ls+^l:O ]2 ֥$Л5*(ք$l?p* B8F[~~8M|dD{ ~r z{&V ӟܛ:R5 4^J,H^PS|+]+TādMB̓D_hW7avqU=;6P$dD:WU6dTFNk!Kbɇ><~wȊ1cбXu%)]/>f]a~Z?7;G!֫/Fߜovִ)NqAYj&P,v ;.U[?9|B6DŽEQJ!bvC@Z(֥^K "jz.XC94(0.;Q0&)kf˷l!\S=8N ׅWʹ뵊srO0lpĂ)'[prGku)lwt D pŇ)fsuN}MZjQ!Wv氶iԮ ݟDB]Ak=p垓FۢT |%?߻оINB7szZsx}{#us/qW*q/d#kT`@`8[ Ci}bigdml0h}f|V:JCa)Qp+;Bxұ=>P=(n.WYRG2h­*"e!n(/ңYKR&wn.+TeY,N35~Nǔ&q>?~pM r%O/uQ{`41 tѪ{yxw<`YC0k0Dڕq"i- }0X|Baw_О>ojәvfs xwߤ3΢썦5vc8z[vR=s/@!>z>10 Q)RHMƈ!]LT|B좦Z[|K(:|'םu-"RYKZ#Q.ߛ(KJ2@WU#"W31 FFQ;+bI5Mð8($$䌆Z4g64:ƺ2Ϸ@[Y_"g#)R]ڸiۏOlrd8_>dڒz_8_ S?c~s B)TQ(cvufckݷ&;lvtiӈ8(_*<7||"V2 {8/- Չ$Ge9Z QoSeL~it 3˗HfZb@ɴT B ))HyU\݋ZR(W^ܵt9W(2>`@ЩT2wRU`jS/WT*&82֟M5Fw]k&o a#ySNdY&[! Wkt+xҮ?`-AϚKԞu޺{47sZ}3:Hoy&sa& 6+/ϽZ.X-ܸNNᲗ\$D!Ea'H—FEjPEW[#k|R~^p(9,L5H3Ts]JՑV_&dAϕgXȗeEuy4VK^ (ahpr0u;TvHg#4y4[('ܾ![v  jMd -I}b[8rv㙃6Vp.j 5&c140 dIwթi.Vp7 jm+ymVx̽'X~,-υ4,ßV:&\WѾ*Apul׆s$ʒIfv@~(m"}νs捴h+qd7sƦ凔; w5RZma40݇S6&yv JI _Sˊ9d8MM j*\uj F$CJO$| -#q  gjF"GGrW+fF[e4B"wd"wqdq%6~5 e%7^ ",&R9_] XbV&e7K`m z{/o/L I@2uPI/F1'b Bu#D E>6JXjf4}kEjA6LvI(zvG oPg`\_jK &`j]F_Qg\[uC4̉~IO2<3FuDفşӼ)1+p-BF`Hf`uS XHt`%9VĴߓ3%~- o@:0Sx I0GXxtuX7^@ȉVqv oa@$:D0Ek7H\_1d3b+| UKBq/gVcbas|vg[w\N ;njx. Ԕ=\h a7Ny|GL4=a(ꆢ@ <ޝ*8^l_QXJ4BRFtYx< ?Ɠ%̹⣸fٻ]n;[ho>)v~v)W6M[>03 w#~|ļȇw3Ky?9{+wY=RPZ{?eGqy #ho(x3×s~-~+D55 'jk5NVθ^u2}x$0c~d sH<~ +۩G 2rmֹ"ى33:sFSaE콵;+$X Iu +@k_aL /an'x"̦LuJæC{ZS;|$dLv.iO@RP|JBdRB+PؽрRW)S?A#c2u!Is'O2WqާG@ ̞iJS/pg w Hw-z!Q2+ e=w>>8?)B YNACKpӥ X2 1bF)yqTa2Kyt[+5XAS|UIjUJ" JoY@oi&hMxA``q{>izXh]bK{ W襺n*YC$߭dbGBjEl l$ըwߘ侻T$=11#߸ {&*n Mg#_/IJl1 ڻjx6/d%ACP4On1p"UXY ze˸T mýS+W۞*d2̉\y_-qCf?^z>BIP9j>dx< LiېBԴ12VEfF1?;韥jsHhNZ M{Oawvg$r8hԏ<ޖ1 =V3_ۛkhI%}6Ez&y붆%ܻfy׮:i ?r'C Y\1#o5r6nmM:RF4AMllG? ΏDʆRy$S#~z!>ڄB#嫖{'-)3!6F@FrGP'aipSfk ||Xím4[ uE`~=R!;Ad#/L%MK9"@mb2e b+L$]w.m9h*ݟ[$W%B>d$:)[kPJ#o4=;N&B̡3a Qz]n䗤ObL|Ay4.T'C*|bHYfIi A']#4yYM;65Q=|^^2\15)bM(SK⩅rWqfa%=A4-htډ) YŎ>f}7/{6,{6.5(N,nE~gcI ؏٬xt_?b*U·j, nӁG<'"Ȭ Jq!rks"xh_Xd:Bh ĨvWCUmr H_)!6:^͆eJ- C A},Rnt.|Zy-=g=:X%-9w^4f+n 8|O$UVdK0E>(v=26}ê6u˄M= )ނTj0G26uj.jP5zwCk1:';jUI!qR{XXǞ)aw vLQ:b:EoLMvJtN{* \ꉒT Rr2V^\ϛGZW?̥S>*jrZ#;/=>AlUK~:3;R Q(o {&a=#5."` :I'uӌ8:HL۷cA2כ>jjFd]a3i `N 9ʫ[vqPOf]"unJF% !cn޻Lﻪ@[}m>r']0:cCSj|qdW` 'MM±1&7FMуUH| I'D ZEʕ,1t4p,3㱝}]q;zLonDR0d<ٮ+? 4ў/𙏥"NR@4\vl7\׊$Z:/ƨ{a){o2%TP@lj}>(X^Sq@.iNQ`CՀ&6<9n,YCtC^N: V$6v H91{2jߘ2/¡eF=Aa϶˴svj4n+;iOEޟ}B2\IiZw!I#WY >N5MK!&<&l,콯IX#p: CJhuC+?Q2" ~ft .ճԲЦT3kғI7[ICw-V$V-G!O߶gmU<iKE_롭u(ky u woyoMuD}aP3ʮybF\\P MѰ(zf1o6Yǂ<*`>`;4aq/S\! ξxl-sf$ l&c=YH[KAc\tx1c zV$#&LQߔNtM79u~YtAf7D$I(/XDf-]t'e$j0k$ 0 ;BxfՀ7f]:.T ޡzv&mN8H}M^z&[EyxsvGDg>g1 ;ඝjإ2O I3tP`@ Z6gמg~& FS`sel>kqf1 P ] ϝ>`Ļd&(rhk"kDnߓ:=y>?!kEII >i#Zh_^*dDoĠNe,s&]U.w%\:u.EƐV0r$2Nd>K֘z wY LBE脫9 wMPBą|er6B"ZZ#=,@Wd6[>@x2s( C21*QpP^+K[tT[ڴ^o6- yL۾ᬒPq6'Dδ tF||P>XWܚق\5Jf߯gU>ug^ȧ^|"cF 3 C#]$O7/g͗Z>vtĕL|ib;i&v$P~eJ% w!3"Tq I>0g^PD%cSnoegiwDD:ɯ5Ӽ dɜ zZt|hݳ5Y<EnW248XhՀ8 "'pe!声29 -x|L>/-\\ 0NV#EPBz%Ppƛ|6bsR԰:rdW=E2<Uj@TХT#vs/W6c)y IIp 4dr,CQI<Sڛ0<+66f!C %Vu8UI<ٶ檉/&vݲRy^Í.Y@b+CrMʚ5 [`d} &=n+v8 "O=,V~-^c6-_s#ay.j Kg&uF5 +xsqK5t:NQ8vCȭ^CN V(cr+q-F IДʝ9+p0:SuKM)PH7_Psx(_>88Wߦb ʥpTH IX z< ! jPB8 CVKqpQؖوX=a$hd.{:W-; 3( EͧټYc|2lT뎨oY*Ըw{{ au@AKxoϹ U-| C8O?ґ4|Pje3y~ mi3J2IMS-g 7NNVf^dspEsx5 H y<@"0ݾ4{bBgm\ΛVRճWyda۸Tg:ฆL~zqTi<+V]$RHE5á1r#kO}\'2p&ȰVBQ6jfk 䡂yj99xmHF:yq8]#\5,GH-moo-=&R"hK-Z՝8Z?ծ 0-qƗ#njr0h`91 $+iU̟ZU={ߓGsU-qIT&iz_`ᮉ}|?'N_KNc)(̚Ii#\ h) ?;WdżiIpd{ϺI`MC]33ٵtq`ή&$:Xf5:}Ka`ozt04 H9v^[ݕ0,d9h2Jg(E:9)Rd=C4Bg|+,J1(ȟ,FDOcRE`2EN56/ʞ:"cPk_*\b#1Ƞ5O*;kmY@6ۭEw^Tm 6tV6'^_0udiT*z|U]{G0'SWwxXVziab(b h+45p l`][ ߛZUkg2PD4"o(8AbfSSki4MM_̚Uof"pp#K7X8-̼t2dlyzϪwyޛ(O]'s&'981mZ1G\.:>ގ`$x\"zw =׭?)n֏C[j, ۙ=>~\aAcr}T߮-͞b6fW&CiǠ~!VlxAT3o~kܑxOM#w/$@+׀):`yEVh漢BZ*9˝:ufGq1dv Q0QnϽ8#+׹bhO{6B]KUQ+6_%%E+[ʀY<Oū!S{(I&}Y[ Lt쇸>h; D."bgȟ5=QY޵G7n4N鼟;ͦ&ֶp+*}~ 0yh02ہn$ *GJTr恢 wZ1ysQ#lp̅K< ĥZWx&+A@~8,`FlpAnѾa<g_^y؇[$\}EK=V.S5Kj/_Lv^p%/<vcgw)s(nT|JNsbcm:P2<1i1 P/2[ _!jټ&ZhjKo~{.lTM0숄tϘO'XźfO(AkyuυDwj8VY_瞠oKC"dMlyѤ>4fuBd62' ]SGn>vדP6c:1 Xw4Bw9"HR#ÌNW9 ;a^Wk Kb/=尩#8#vA^8ںv[WxƢVQٷRDoҸ !!QfǨ@| Xquv d_mm~2K!7l5ΩM#߫%%0w=!0C)b{[}>+bC`_;$qmu i\*4\.2d=b"@~i'sYl9}UUO E(U}(b8eu1F s4 ϕ&0Ƚ&fT1 9+~C*5p>G5BɄ_`&[BR0£}/h k}2{3E צ-{-=˗\a$)Q;ݡ/0qgZD& k>sf8DzGDQLI V~~Nc nۉ"=Ԝ3Jڎ \YJi'߰pDA^T. 8S,KoDow oֱɹnplWuO QZ,+( ?."Jh֚Fl 䝭čN6bq1gʔ /h ';d<"k҄LqPJ88EtgԒcX8`W$O0,,P\"4s+8, Qg+kλg+$uZh挲Is_K^~:4/V' Q,>N@3t ⠙E@*V>DG1kDk pH/68볹Hkc{KNAu ـ}!(Uz},Va5?G+?(lL*;3Ob{>`KTֺk}:quİ-9˽U>[Uf-AF5`(y>Q޿{e/yIƳ&*Br4imDXX19FGčFbp^9̧9}E`m ? ]\a4zӿ7g.a{ofW u'V!-(fR HB>+6lbHMw-KnS #| F2M^SP_@vdF/aqa];>C&IHIfaBs;ßJyzve KP~?<㎂uFucLoaܔtTfq`1|/`'XZ b,$u!o5a_Hy !Al%+N侹F qyg8/VJSHmjd"+?WVrp `IP3xKnR+EGS9M{A\[5MP5B֋<tξAOI*ցc0 ԇ; 1EWn/MpK'D'Nnm6ه l@}1 Ϭs&,y^V uĒN0]yVTrlwh4pZ ׃VXjRZytܑ]@)$CZH\Xq`S3-gF-ہJ99Iٕe=WQ^tb_ )+5j)#L`CۇVcW zg ¦ऩie̲Ї;ڙq/+)+q0ӳ߷)_Q^q!)a7kI{ʣ0E>RL߯EƜR ֏΀m2,=vDJ^QNI{[u.Ɯk}ձS-sdHkN3gR`K}7jrm&cmӪKWľ/Κ_a0٭`CI {GPŽD;]L55鶘&1ӇA{^(L+$6_bn%.GF" gP%Gb.7m̈́I^!lZ2 7&cA7EhSY7Vy:(xǩ?m9cZ%!j lN$DZ7R4^TS.;InMŘ?DՑ;Q`z0 s/lRyiE奄3 &}q;u VbY}0$6ێݫ31peE!OoWW7%$#K `Ʉf\co\s}V2 Ɵfwx' !'P"}/ю>b8jw`n:lVAAѻt=A<9ju5C2jfV} I: ޴dG$T~]_ԵkZr|u/uC 4 /Lrx H*7Rݾ{5 _2\:ʱA$VLJ5" Z`mLGRGfv= .~\e|,_jTav zS=H*G*\0A +CEX#/P#q"2Dݕ vͥ+QT.A vy: G33ޏUw];\MF =njJ jnR425R;_cUVO]zK9Bљ"]G"TJ7=:g-BDk 3{Lx<)?%x-M);0Ҩ- %j_ E0L@11V3PN||M\JIaCOSSEn%!֧&ѣ k>`7C{ZGy˗zYxh JZaQ{AŤ,~y^on9Yހ'yc; *j/+ S7F'#(7)}tvZNT[HLwޞϘH _];/g{ $9J(r_3ա7F5Z/Cr3 oS}+&$vr`Н/ ɶkVb^R:W@g"]6&!],$dPT=វ?uvNJI\񁾆"]`1x>4`Z,vdWƋ~uh+$奿o#sD7RLcwjw|g8kp R?\ָS(JW6!t(Oɒ\)uƿ (Zbwx{^n*7@׹,*sلOJoS3g$ԏI W6*aa&ŸϿ;BC<11WEK=.$eL,o%yn-0Rv ~cؕI_5ӳ*9^0Q#})$ք_1 BĚ#5|E6X.sI?֪v TF۷J\yRy8P |#C49Ʋ8YmVtQSh}{@gV漲=x丬C';\ؚN#X%߀Υaz'͜ũ,@+:PWk7YəJYV"6@lX # MLrAQIm E_v 筙wQ6'&ӔvJqm$4bM]j^Mʨc*K4/Pާ QI5L9iJXwI$Z((Z(x\~V92ж(E5!yi q_} 68@#ϥ8x|T;H(Сc܎u<'{xÝaI|\^:] iN.<Mc!0/lq4LT@F (wc%$ZyӜtM=Tג]]އc0ρN?{bs_6›Vr'd:/o*S3; pBIc!.wf$KNFTc΀zU~f+?b 8&xDZ :gs[O6=>!#x!;3/NqV ̀2pnOРS8ɮ0RUg)cmr=Z1<duYPwǿ+iy˿k w) |15-ŚJ 3Zupl&Ŭ*ȥlOգh4pF'naRM@Pg~vˀ_uKh-Al'hk]͈%g9[a"#/ D 7VM5ٹ+%gp ##V*dՑ:M2X Tm?(yޏR 9? Wd D-@ߐu^3Qwu+Ko“^wei[vס0A1v +.? @/3Sd+ݽ"{DvY}Y!)ڀp(s_j"i%TfgYZ83c23de0fd9c9a855ff546729c6ff3a4af46335b2378b0ecfe5f199d8fe42ea5ccea70a2a20923a3 229a1d829501cf0a740156509d19e43499ab4bef ca14f16b93325bb5550fb25e064a375284fc566f 6a44ac8898e209cab0a2756e7fa73edd4b7341f9 207ae3c79e6daa4c692ebb9fa0e00134648989b1