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  m~ fDžar23T9ʱW6 ޢH R{80+NĿSMl㻎nd0uHɀD;0DwN-RN`"jۆ6}u%h*d>xܼy&ޟ>xc& '"fiCr֯tAP᩹\̋OvطTJxn@sa^upB%Ѹe;́5nSB @Λh'k3d/.eX'3z]=.ڗlo4 a`XjDϨh5J.ⷂO b\R|Ű$Q4=I,;LaB=H9\d)؄'6cJs 8De))e)/<?"8Ickg3OlF ޶W nd'xj7u5d$xm6Z16Khhm mz,MzONa4r9%v4bۜ[&R83Ψ,e'ǚtu,Kϊ^۫v$c+8"ןF@gqS0=2aXD26DGcd54=&XP kqh"d'{͈9N/qﱩhBIvKp(>RdOQQ7 {N2zD32~- wLޣg,J-tqZsufeJF^XG>ΜgQ1+6f&cY҆عrO+,{WqW3K".p7>h#>cW##":D#,S7|O JUߏ"_݂  7HBPpYPhQpɼ1z4.k ܱ&{UKZN:P4BJ:] \,`u4`mcHeŚ;HM 1 =Ōe4bl   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+NՏt$n ?,2zC;: %vXY,UcȲ $ʑ!QlKWw>'ㆵxw='o`\=(deOړ<>re?y,elҲ^9XZ uv'} DZ&Cm/Ea(eBzPHumI >vMQԧ⌉DNRR&&;Ꟈ*r^c!u#ko] 4U@6]lճ8ǫt6g%ݒ^t ߪW4Y+Dٵ' so{e=N_'jYp56Y!:jHucy  xذtSV0(f 0T{48k3fy~\!3iSb#]uZ ^U(S9l.m*Η'˖KUaB0~~ȱp8`T?#]sq igm׈܁]_@?| ~ Ga~= nY9v-ύyԴc,. l-_ԗcN'b}%nWA$)'/x񓴓Yw2At[ӕw9Uu> 2A}@s/q_[wG*&ϧ.ǦM%abS"xbD-3`[]̀?67VߌbM7dXu{2Qq .?"Ӆ̽Z=ffKCE9~DxRosY\^?}EOQ5;g4o=#&c_4O]s[fsLxq3=*t|kTB17 >FL^P#ЀiӶw Vndq ?07Cj@ڭ%)- n訽!$[9itP#0iAJ. >TP++D#ʜ,()3("F.'U< D!mLo;[fuə 6&,&.wH$ozvሊJ SekmR6^ za5 QFw]yҽ Hp%?A2^h;ur N1m웧-5ПҮ+T8`Ӥ ]'h~=m^M>6A=-сqV4Mv$V m N2Bhy~J 86=='{ 6 JF4+J\l"@k9c'>LY\@B6c|y9g"UEIJ'{GFڡ,3N“!_ȣPvKr)E4:bt2*CcKHٝ i^qVt_]Hk@@nf5<y"YSILl@ѸhFQK?MQsJV׻+7M*t޻~8~`ViKU7 ;eez6e[Ƨ\nΎbrƦQ_-0$-b78?mM",lKxO&(_əhdp6nlōfq}C󬒖.4V &0?O= tBV%2͌l 5t?p]_s0s5i_z9ł^_<2{f a(J?7!=2!jhTdɎ)F7w/VS3N9˓N<2 3 W\._h;ޅ _F$&XhTdZkUXEr@0{C\ s,3lIVoUjd!;oe j4TgV!a] <)bqj05wP Kr~lJ,3x:]K,#;(yB\sUT:@j6%Rz+q,,+yI[f>o pd2K| A "i:KG6zJ`rH ]a ݶiiibYDwrJj-V 2#xK L:}Tb˚iZ'[:|W }#6ߍŬ4;^ouL VfzלOlA3!ΟQ](i1; zSjUH]\qrk0rڳOzYY;렻;^} lMӰ#*R=>jVxr~0s/0 䎝"w̵*ӊe_5y@oRݤ_ut T޻̦n}Uf;+Rѥ\'Gb;E;x꜋,a< ӜLs8 fgOުu: V(q?k5hi;NԤM_Ovg$jۙ\o:h,^6.DMk\MӒogc:ߧd]Kh;f[^Vm Zך0+;^MXKeDs'A0Ra劷tcI;wcN!3OTÿ ;~rj[k2E]}P*CG<ftZYfKF@W } +sZo0rLk6"j`̠3J3ڦDړ%必)RڰM1 Jm[p]Q@L k vi|;faWRp(W61‡{ݚb`; mmmSmöP6 ܑ8rFD;WG-zNCBYY* |$kFͪl*rF m<=ݿ";~ov[#a3kpsE\a"B@v*R\xe8&źLNX r5򂛨OSmXKX1.t@0dUHtȓ7f>*ØfZ?@b4YvQFCOCt-ՠm=bwCjYJ'pxbDZՁE1z. ʢ|?OqJJ*)f,;ز8Gnũdum(h.MPHze39jl 1nU9B]~9og gj*uth@Uh#vNu &Q&Ňǀ<1HQ};s)TN 0iϠ^hlMK7.'8b!g]Xc'5/HH2KoY%>XB",.;4d &rv`>(Zڎ9vһ)W ҉F:G_zq葿Uu/q? Gy^&(l+ڼd:|Yae A+*4FTCj9>~_C4Mxg[4%rjU2xHj)=ox \*w>??j 1JgԙWcp Բ@U j3cY,*8uP"_4dwM'MG0lLeE '*3&:٦wAXG݆QD262'zׄ5!MN;^:.8Oh+Z`rB{ΩQ*ެ,r IްК@:. G]>Q]Zj`d(2#*Z&r՝e!G;׽ G!_Gm-ߴx'@1SWT;Ztfuy Zku}5ŹdОY4w2%(bc/L؞1+?_}gӿwum4(V]|O W=v[1F~&SE 2iyH tY*֤_!!1C^PǠ'Պ?5ܱgYZ7zXZִF! ]ŗXiɟ1 Uu-Dٜ4H5пl#Afix`ejH1=8*a66%m] <mXFS\/^!ʭ(@eDNIncEA*A x?K.\apwk*ɟJ3y`ƨP{F9k u6SGP\L~# bIX {(Hkf gULT7}ETc,fL5qB!'f}VaXhRi,6$Qӝ ]|dgEcL_,Zk.pb6-+ 9K6TMt{>U@nj :a6[BLo9ee~F|m'Z̟/*FqyRS %|_ x\&y}ߪJ!Psf[nߤ=b "=yS5]yh3(`< υJ*6ػ D4lEo^9zBkyʻ2IvIfH/+r#$4c&pdkC_*V@Kc=&J^V$ȴՑX) y7Mne [_hI(ŵُcx~d8x.m|ztPlԩtB[sb3Y>r浕T/vۺ굃)W6ε5 M6E"qjKN:5?h] 恸s @ ;%z!QGs~@e3u SSژa&KfH.RԦXobn579xtDvcE0)q5U8V3sd-mqM<F(6<\݇ȷ!Α3KeIgZ+agSyy= ؜X AvqN3Z4<ˢzL0IÌH5 a SwzCʏk| ]أ W aؠڀ-H;>Ūߵ7,_MFI>`'P&s~V6&XxG4uj4V`BjhdY=5 '67f6QTo>BmJ2PRj_7V'R/AePev ~1:|m5]75 Pg8hWD)@?yjfb>po=$0C CUpƶMObB+%kT >mỚ3yF6Ak|݈߯ `ӽx^ƷV'N,bްc9L˻iNZ,\L4Bl)Z+Rn@1Cbу䢼b^1pg[wкEB+L3gO]-<ZK%a%{QfV9nuM+#JEf_/JdDJjߤo%|0.^l#W54L1tv=|TMlgJ7~~ӹ}#do$BSMm()# a WӺXX Ql$NP7m)t|k|wgU,0.PQΪȘ&-IX<_HMA!fipO"3t/3cM"lBw+Ey &yB}7Lr_ek2.$7g%H$VE-)Zh7Hەɰ֟' R-54j~2oC$"'2 M[jwLدkۭKlw k1RT4Vl(Lc|ZDY>~PV]ls-=k,yKX2I\&'ٰLuwL#YoH!g.EjnAChz~E LE`_ka+8eN :8GPU!~ϙ%lg ޳hcCkGex"íhRCX.?wNS=NP捳gZ DX@-n^'7ӥ7B#S前QP^bpȆgվMeb`cl*="^w'Pku/*&UDW9aPל9ݹ>oHR.Y^;-Çan)mj.bֽ6 cÀȴ)?5E=zfp;?d]L4؃n-2P`4[E[o=?mݕ ֮y0ՠ 2X˅+Bm&&#bGWM9'\,8^u`/xj)Dڪ IamXr"gu ]q @e6ksW U'=dn´D]$Brr7|]c# *,]|K}1:#=֓F9z EK:0ԳA"Q}H8P$u<%o_*HlILt7zt~1ra :,Z!}ؠ4뫡t0! <)?*['v?#D:na Vl(ʹ:|^Po(QﭴI_]ɵkD.13e͋tăחbjE6D/(zɹpRαkĂB_ı*SUi,@Є3m+I7C^.esxj`]Ho2dt"$ 鱮W$$vbdկEx+ nD 7>SF)ڪ~%;'B&ˊ(;Pzm,w$Vwq(5./0:$~YQf!&.rUޮJ S~B욳a:[#+-)պ,gߏ SH|ZE'3 IYKEs."JW#y1xpȧH Clc*o_OLUQ5fdipVЍK%e(]h-e:י.!2m l2'PN>k XR irt}:>bX8K.h97<$W m%WB%$LdC`瞶'-f<!\q5Xث.M͖ jk*ذ!{C9KA ˲ K@LYg@5ϑm"[`>pQ1-`= ag(`n}\axyݹE%!D 0ak(nj$`"cGiQ];!(l*=R.OB L>,|knn|" h$y,]p q=a?mDȞW>B_oiW;4.e;T@#yq9m;r83+%Z-־ q aWu3|FmBLwfC<Xx\! ~^^Lƅ^QS3oHohL=bB?BX/_O97I?<{L5VvhqPNG  SSMi4) c:oj m'0(Em't+1GkqTŠ̕+ %?jvDD5#l A(8=݃ÕwҢ]y@}`v=d`Gb_SvkLmvZ32,483uT%S:}h;#R[w K dmpyWњ9=.7*R1FďQ93{:{WoېGfVkķDzlY ߌRLu;~{77 e mO=8 emA]L9wCiB)oGq7Q<%RKV8*j ~[E\p$V@Nf)]:]v  `qڡgn u^-q 2w!4ҏ2:5?bY 1;,D i(~6 )\]}6(ٖvvph:Ӂ9~ \#3m6;E;\0!ւ*kDQTrzccDthuoL3e \ua=="P4|x]l0sqGi7$7tZ6wƷbFoKqՃ^FFwgrqpzcW=NŘ£o8b/>blsvH#%&7Ie=qsUd٣Fă!ZijNy9bD/*]}?:4u$^'P )w/NNA#)>le>ɘ g-Gcy|OϦH3ȈO:z.e2M)BWy\"u8fhhO V(RLƘAw+"9M=r:*GcI\ 38T7# $P8\<]M g,v;꨸ӛTql{A_d̓ ik %u tiۑsmOHE)ȸ2bHд-<S)ebwϸx:cXe{27}W8xj`@BuǨjr;c4#nr|\)<ן8ѮܰK!Ӝ~YT~u[$9p 1ylm0$;88;aU"+{  l#3e?TgWF',\sf (b6e9&J-mDamDwݨKΣa!os=VίCzIq,"ua,xѻN &W>1bvfT+ lx.W!ϩaa‰ nB,vmw-6c䔛| C*]"*%5J]DZG32;M$ :E.`H)$f6,WE຿SWo⅗PFl@.Eij ^ xg"*!`?rl=w`9Lr&%@#/`Zֶ!p<9q/O38͑d8UԵhi1lk~c v. ny|w!1 o^%X'(ސߙJ0uoum4ׁ4|(]"k'l-3I'ӒI ռc"fj2c'W"p'H͌+LoGJg.s;NA@{E戽4MS KH~?:Lo"1Np*2w Tqeկ?S[cڶ<@eO׻GӏzA`q1"E$9SDT]i ~U0_-;3 {4 oi_|3>/fY㹻݆f^(1m|)M*+yX.}!Eeh+x/POF3/-ffH}b;߬.:"s7!t3(pHQq#O2@`orMπ]f:ORJ VW:eߘTWW8Ub+u}Q8^e|JlGvIv-gG[V fxnxC1!'BtM2Yh5ek0+DG$ʯcqR {ʍFз5ʐlJJ?ʽa1D=`(Ƴn:qj1{8ݠ:_ۤLcg1e1&aQ li&pGà8Օ{ԉ`r8[J+z[б`QAg}\ǂXxtIf2Z XZH5豍>q9\hyPDjQ!?Z;ҴFyzfݚ9$b3e'P^ ތ {ױtݓUѨ6A'cUw8:[Ǻ|ЂH= jX;Վ9́$G~J;ρ IdZe]Fe!DV^!2Aqؕ{Gsk:}jE+oS(|б{ 4b+8H X>,1's<"N "_()AؕM1 ze>0pwK:t &E(eҔwz2û Lfz+iN;.~߰+`_::쮝B3Eued~Zc) X<ŝ.q o-9a蟥~L\(1j iUSjqG|xbv QH~܈#NHT0!9nu22E O7'.I<` $-(~fpHN]r20&"ن٧k?+K++Ӝ䱧܄~@v%GlIr;1ۀXLC kvƤv@~p G5uQG-=de+ V2?FYn_pb˴(@(ʠFg/ͷw8 iEkͯ az_<\Q|SU~jp^2PD&7-oA=FZmG m\nnDᱫɪN>̙LW᎙ckc9򛃳ך9&)30"1/L5x{0#HOiYg2N{\w1XfvL?êӇF;UH8LCYƑf͠ 7 vx,4pNN}[`7pr2~@N qϢ-{sH5嶙WmF<.m;9Sh#oƸL9f(U$O=cMx vJ,>(R֒&`;4K Gԫ`WZKj߆lL$__0%A7kv`f+~=԰cb/XܪSӎ&L6t[(Nh\"O(rV8_+zwq"wh_X"W C(LEt#.:440.J|Uq뷔Pg_K%*NR#%hԨǐa;$Ϛ}Đ q_jFNcu{\eeǐàUze cPB_чkt>YZd8kʹ$[+ÿO% 6>h"yWZ~MQJ_ҙT_~sB;= ObGc* ?Di7< E~FKhCsR5S44dD5@?➽0$lrw@!Ȼ?#OkI8X҈Om|[ %11L C. a܏`xf'MFkPAoeui7v۳Q~p ;:e΢M ۼq3xa Q=di@~JvL?JA031y"J$ CF}OhZȭWV=|LSzWk}y/%\5X ^/gCFU?RцbvwuRF,`HlhjS-.l_\]P1f8`XclOȢͿ:4*RACy-WIe[3 T7cjԠXH<OYG bq: ՜2Yf0!S ڕ:bq3HS;<6lT=i>ȶXxbu8 `X&ʇlQ;Ѻ4H*8:vd$61~/ gL k^&Z^ߨ9L.jO6"|7u#3˾A=-'&Qɾ3l/=.dEQ #n:T,>p˜>. $X,u}4)Y~d9?EG=\ W}2;R o @:.Y(Uzb"ԇsTZ6=vE%ofiT/g?]W%?H6RN7IQOH6;Lb`Ca?9F[c?diW#O!"T–] 7$a:ւ ;b= W /qL|{>^gL- ѐ^-3% ʊfXQWAS5'lAie.N,C2X(J]-/3ju=2MFTd981-\?Ų͸po$t )֚Bw{.POcҒ^ `6OOQTITm)Po5h$pzꨉ҆*_HEbCGZ g_xҿ0З@e*.E-J /mI /PҞ BHa4/v_Yhk2whJ0nK6.}MM%M J>q;j΢xކԆȟ\S-6wZ Wwv eiw// ^N@gpr0b3E!`.FOQsf.BA6g0Z4h V M|՗\pl.tC: "im9l[0 PѴjC9}-F*=+d$:mu:K@w Ӵ1O!pfI qfW3$Ryˀjf'#'1QotW]L y2S R+a|wbaZqGHɁnM+ ʜ0u;4?7Oq{XjSx^(^/N>~\I%a_Ϸ%a?^p\)(C-gRG4_N7fEFAnU?D /Xrw`"4cUy" 8oF>Eo{QxA< HXҩk_Yb(e$ܰl?H_n~mlv "iWlJqO'5Hs6/iο4& @ew cB4*oM$$h8ǚWx{!96ۜ1OE)M넝[IRv3}+lMc7 B5F Lm+xle(Fc 8K總YAc6V=?ȸޮþlmVmmjɇXu*zfr\o xnG*d޵'g|&-zg8 -1X:hIY'tejLkf%{`Y5LYgje^"4H͒\p JVĉ@(yk~-;Lm#Lر˜>V7cL8N᥍(XoaHaQzv*BEwypo:4MM_sbg*b΍ G 7mzhk%7Ox| J0ዃ'"f;S@'N^~o/Ô`zN>y>] FQS:]&R ?~tIUW=?ͺ$*b~EМKy ,@<#y(~EftVuV(#%_OÓgM ̖9!s_wѦz뷙k˻94J1i~Fd܀O,膑w-hL-?%RB5!2;O{&sR]W,c6z1NLT 3`dbG Rev`Ar T= >0BM:$`%tz9]X Of.USBVtvkOuNA6v2O穀fwo}`<+4v5@١m P0V9^OC7 iD7)Ȓ55c#Ln;fc2t(uO(ȤFSP.+ P"`X(?lKT# φÞ$ YԦ,m"Z ;/:&/SO򊇢}*T|<+5I(|A06^ĦOg`Kw!ok#km̒\KNuE1 ?t]/ԊojR 4򑷂X:}lޕs#H`GXrьu#GiY~%3*1cN <1ex إX.Bc7FGp2hBP#ڨ=rK?fVu2q#3qwۚeC5+`{6"ցѰd-! 0eJ/~K0aʨ}ZOsqxau2)UҐ3'wGN PIYQB`L >t^uƫL&}Q Q2lJ"5bF?-o-)%Uا=.i,ĐS hDŽVl:shk?Vej$c ]e#s#ߦϠ 5,dt5-%*# IM0)6{$ƼR/ݫKSNw}-׹=էpwH'98~<{@ z2N a\w|aVRO@wuFßhf s테qL"n^mhemϽh%O폈NޱP:&N~[02a]ݍݫQX'ZXHK,!il5Kd0d; ;(/.meXj;ܔuSBV D .bY'ȏq7JlY~ &XJ[֪qmbTeC6IpuSO͎{B࢔XNd`0O A\BI"ߠQ&4Fj F.FO6RF;utUpc*sI[/ ',us2㱶gtKcȆ1m vamVa\(<۸{Yd,#S'g܎9RDHRL7P}@dK3޾yvJ?\6j7ꉺwYXtӊSܗ+ڄ=do&^zBYy<*ve,[Us"L*tPxTh)@Ә84iJ7tqJ^a5CpD^FUn|GCܵl +/N|U vw-_/_AfGz֠os6 2M6jk ALߤs_6m 0zy{|{gc5'/ +=Cl^OW?6룴iK7MIi_6boT?lTپ[_K~jMp+~oQ- y;:Q IJ͓^DIўRGa,ppZw+kAA΍Йug" U\8pyr! $\TGO}\_7@&.Wps bAf9.]lۤ?e!s*WIk8_YrfkAz.zLF5{ 55Z@18U[y%. JG(' ~R⎡n+mR(vniU!Md?s'1SSQnB?ą̺Dx)y'yoHXiXXG#Dݮ{ d)8"VV|P[KaD)h@<,1fԽUFϔ*}#PaU(VožTSH2#a*fu8TQǬVDԽ\# қ1(\([JhXŹG- c.AxTUGPGaX/GD?Dธ!SmL̜\C7|sA 鳣0bZZ<>uF80vDEHڎ:<}X/_5}ZA|?d)U)mb+?atBoC! fXJ㏬o#^SgHdXwŴBicwe|}6eHʚ'/t;< 6#O}3ڲ%Sݨ*cNDVk(H[C}yf\?lE!A&jf-֩S=`).-4d;F%,9w  7бsZ$C < .fd ɺٽuN7$:ipêRcu"Dx_">I١y7A]P\{/_9sмtg~/=Ʌ 蝪V 'k9B;D]bЂ2tv /K.i[:3V<cN SYEg/QGzU}.i](%HH\BWXE#qDrqjl)le^c'dDpn#r`LC$m/&͗v v^ ?l\By&n]jd煥;jE뫹j\hg-<_64ZlzYkI3+sQSQ9ˆm}g9)g0F ۚlB#?,?t;s3R(1* x}a?S3`~Ҝ߫>#@v CNmqVē ԅ}krDCMX2tZѳZCe׎uO1Erm؝ƥE6NDoɺﮄfdSD$[وqW)b4iz,SE?D3)Uao1]& xcbN@,>Xurߡj~%_y9"/P<}GuHzz# B|g &ĉROyLÆ<޶ @w=%$y(H2uHv+IKc~δxH<:mbމd,i7cɲmjR'Hl`)LV<"D Uȉs bQ$AYi\q]X`J/0Y Xb)h ( Ż;atdɣQb, "׌y%`ۋۡGҏkhNW ȡ̕1g>߁ݲ9ջP,+ AKi8qӆI, ߚw0 ꀳ2yƞ9oxW[>!AoVN4ѥB aJgqLpJFqJRYk$@6AU\>?K%Q8%mc "@K(ga(B O =oM/E4$𡡱s~}#߁Tm$$6!`c7twPUͧ~& ÁB\(}rx.bQ0F>νl蚺bW 﫬.54nӂ|(e;Fd<9%B Sc |ǤYqkPbU;p9bAp669t,PU2D|ll֡z6S;tO-)n~ʳn'w8:;AAwx.U<(^ 6üt]`5΄|gsMQ7X۬DG^ X]>skLTk=*.DM?KA?pO# x &}*)eH%.&@reBիfq[=G m%_'vg |cTz/qpl`k-"A&&F!ozQqK[g N|zv@O|ŴB_!{l3R bh#2; ,A14JƟr#:9#JgJ<}rDOz~j LAmۜ%'&7Yމۥiwq∴(`<l.` vzI;)(>l,#7D Ğj !?'mh(WJ='HfUJch(N^.2|ژECqltOX P#$4_<% pWUƫX¶BڍdD`k=q rN} qE~9}@aٙ\l1'K.r_90dkNi#.Mm7Y&OY@`xyѮ]S!ō5f܄ s }=vJW|F(-X5o1S9tS%gm(I'$@Kci alZ! d)da[&lKY ! ;z My̕g}&l7(&5#̱Z+ wB `Ͱ@aq@?ǶFV;)0x0o!qV,|^ft7Ae"c faXyEEke/% nډ?jp.{!#KCA `$ky3.BS T橩Fln(^(xV#}pՂJE-)dIQIbceKZ_c)ɴt4WbW>[(EŰmi!|W5%Zῒqgd ( #d5]w{Wf]'m+ )9 %&([͘;H϶ ALҽ/*v@6 `ª w@@rSkFf,l C@;kpKeUhy־ᙰd"Ϛēd珮hC 3)z=i4E.NJ("a}\tuqٹ.=#0RBa6FO 2qwʄ;\v1c}.(=#V.lA81.gd'3._Y@U)v: fE8`" tzCQn,bW@f'@>KpzK)BrЅeUDY H~oCnSӬdU;rZj,@".bIM1st02aoa 8~jKx\|kTzSz(]=CR" ɵ)Wl$,Q唗 f nW-mѠ<u؅syߘhE&yAO+^ SLCTY0㹕c|r܌6I:M&y A+Jw&ؚ,Olgm:?Qf6ddMwNҘq+PJeUN"`ЗvM5 oDGɠ5WW;xPI #62|QNg,^OfNja; KTe'S<h[֏;DoG7Z^Ʒ:퓘*qeSjz}@FtܲoƬB j"!j=JR#eG)QKBw-]&<z@qǑWږ5&&l3k2nyTXm͠{] t.KMpEâ1*U ș!=*M@ꌒIϺ<;~dXѐAFᩇ2 STSr#`K#Zgbv} VuP%{Vz1&GBAEy=ٛZYqqO^0CH\E8c_Yk23}a3-c],QJ*QƙU?R/MK$mPԎ- ]Q>0W>~q&.k?[oDȁִL+Ӭ*^gJ Q9-mlHFx)7Afp.1ZjzLWkd&[v6GR^ *T{:trh"v ZL˚,eQ%ʃ 90FQ:b*ub8a!߼Р']m t* pla8RGmѳ6Ig1,l%ૐhG%NŘIf#wndE}Ra#})1wKv9ըo gŰ% 17_mۋ䝍'Bq.&3G Z(0Z3. ڒ{s-O"h^vI.SOr[y-$8PX"3CnJKf| 0_Ucп?gš8N AkcTϋv7em!VAHmryGbmC }6-nivÓw3þ[ QkMؤFt U Q7x`Aƞe?ي6%`v$#ŀ}$%YnR{3ܞݚS,QiJ`٥en%6C#y-w.qB6ΜDsҧ C")&LijVkV-LCE)u0f1婢Z[qJiE ?Մї9Ogym?..g8Q3!J#[|sMĈЅξ׸sCX`9Rd;XT%S]B^I.ԇfhDM1Cc3ԝ] 5T:mZ1VKt՚[Ԧ֍~ >/,0 n3! W%9WrЌdVz,·_ P1:C6]**3G@߻Oqp/VLo}=ls]p$CCqN5E[0D}L[@:B6"ssўv_xu1Фe WX&vB_utU4 .'heW73hQɣ掭,;m(XXqs0pD^"J,qpܔ!zPtЙ'4 E)l_\k&ed9+⽟<slS:mD4[}RO 8QSγ\MeIVӿ@.6?Ibn/QZލȄ2We"o ˻dzgMPEtu]j%Jwo g2йZgs;9 H G8@U1QCbv[`'AQ SoW/>qxx5ayq;oB}A{oc/{goDcaE(Ēʫ67 p|x@Vq< Smpw=zYOxdUDq}3g 37IQ\q":_r9&Kڸ|CL7t!@;}TI9Fj ŢUi'"J׆^:IcRyFax[ޢ+8_Zêՙ GOZ^{,ɂlPH!R1u!o^_kRNTYal:Avlޱ{͡sŖlE NN`Nsmc%b&4R ݹwSl=7G; `^CXL\pTUӹ t!+Bblr%`:*E" ~KΗY+ l}݌ٙzH( ڠ{?g?Y 4IswvxZ⧫:ܝ;U8q+ihK~cXQIR9gsJs_ߨDubE{VEMTp/'9\kd'J?ŨϭpNJJhtZ35bȊZ졑I HŖ=)rLLSd5`FAz$cy{*aA0`5>EˈJ^yҀo}lpsM9H3"ER$Olh57g=̉ \[ 2P\C/V}{a䬃a9 5]dj}Ad13pGex!*ZObŊP cIQG6#2X3RN0a򏰝Wc'A< 0J4} !͆*?pro3'h[QHpK5|+xq~lJ/Nu}1~LNMw;wQhNr[^ |lAHUU=t 4!# ydi*qݩd=u] TOJ(z C`k+"@~Cٝl*۔Lb_XB$L2&GڝId +aqeh> v, ںǟ>DBfc (Ԧ`o>ڕf@S WkUZ+?Ľ705I/خD r\fEKAeذGR~΄дL%04Ƚ7せ]FنJ6wgmO!L=L!Jh* eڣSOjkf۝T@!dɀvҾ3`-&kvO)soTMx.7K];@-Z6d3_~s#!z0}q\h:s5qcy9)*WB% LVϑk8Ѯp;/zWnTVX8qvGImel=\'x톄 sn^wQ!k /uSBNTfKՍg1d`#d'jF&)"&HsHR#/$D\`?RUmRF]sI=9 (Qe!PIЊr]^|:u wW,;) !rHQhŢH۫H>*0-륞G"^1ѡ|@(ah^w3%@جRaP C)aь5&f] _i$ISvڏ wslώ=ݿc:WᪧC䡰!=|Êh9\FD . &n uF7مL).@lgV%!zlׇ2T$GghhǼ5_.*0\TT^TCNck!v[KMhݗgTB8ڼW٥2u n>,l,u8_)WS<^,<.Fq 6t}k0_S+:2 Ce- Ng Ϩcmli#JI.\FRiw6IV6$3kJ7c"xv*||R>p8Mϸp5dL.1 ;uihE 懞Nir 5ǚtmBK@G D KC4H;涻fJ x*f1X ('hpK5 +qv=͚R x8/n-ɘ#G%!X~;3^ }baGjٜYWjMi[8_7-ҳnFEHzib{!X\f,e%c7'qE7&U^x7D# v6F~ b殴臂ڸ ?Y9]4ہ$'>bi r@b&ܪ>P=rp^{bT(}|/Uk8vjd(.OUyąM_rbio4t eW6 ;nΕ!|V=18<َZQ.mG9(@XJt,׹@ohI 0W-ߗt c2Hrm9y6'!3[u%(Q&客*Gw;eÄ% ;c+NR`^&/fgdIۊ4&<ϼ?M9Bh\5fLaT-'PnI:bA=QA6171tnw gk \ WB<-UqY|:;4XJ+e?~̔G=e +UW"8!Vu'| KBۢy&($;WX\UޖY~#3(fXv.$nߙgTݨM"4x@CSQ7@Wz yT@3z̺?k0z{G:Obr|hV2 iɝtbZӅ6(}%y.E6! xQŋpZt9Ij^ʔx<-G.KmeA]|h%*_c`';SHT RbxBi.BÜb.wrv=sf 8&(`Ah$S_wTg#:Vq Y_wm_HuE"U{-+yW*NU.EYj~<;7lu]dXuA7&6N d,l['7c}p uw s>em(i\A2W vAR=߈SXIl\%C5A|} Nxd8F (@?hy:Xn\Wñ|}mrP;oDЎ\- Dz<2DpPr\(amzp<9#!)C:DIx2e֍܊#< !vާ=lMaQQVTI$D eEr# 8,֡,B$l#N #-8Z>5*t6Y܁bCP ܢ\mXU ĂSN ,؆plifϭURNx#S/a8y y]sY-zoɝzH"wTaQJÓc!k O~!IzD6i]f䷔Mq5%XtsJUWOãDE/..F}|OhHkpɢ̰^ɕUAϻLI j|,Zj`I{w ͜{YxH:W6*!F,q)=ɂyh-S@NmmRhIGY-!z uUtyqI:4ak8*GCcx>J3t /{߉ ఎ".H+3s3icK';+KOzW=)$C5m+%6ٳN 0Xk)lrxb"T@nP(@{RmF"U4UfyeIηkǛ.kƌ4y.1kI`ܕ?z6ߖ4 V%TZ> h·bxL,ݖUMH]-S౗qw6%(_19Pn1_XUg*f!$k!&Tg4vkD Hծ îCɰRi堛tغv>RE3W 7z}B}SZtn;"JۧX;^ÅcI Di(U|5l&'3 X^Fn3W5ETo{~Rw4Y `7i@k,B1*ku49P. C bP{e$Dq+{^NkffEltZE$<"ji.y.HD&/T6dF$;LI1~Zr xFD9oP nт7r!>fp8'q'vm3 mO][sCM-H/!JiB/]bnƀeL3 *ُo,yŚm0r5G-^ۺYSZVbQN7ky6vvJrܒs˺>!(b*TBCt2~bÎ DEk$fbV ISW4܀q ]$?zE ʪN-+divci-سQ`~4CÄCE5Ozau=Ո>VЋiY;; nj'JNBs&4U[g;!_o'zînKDc r~B^+*]y{_]5K1I.Ѯ,m '.!MbKHe5܆ ڲkZ4?ʷod|<.M m8⧊q:eS,/|$ǰynq:P)Q9; d_si2Nw ?ʌ\C5t͘5QwkjK V9jn m3|VOS([u% q纲q7f|l<}IkO_X&)Ԅ` r ^6u2g{7ŎǚKpdQO w֟cVYHcM_"(+{{$>Fq?ok6Qr<5&}?vZFҺ:Q ^ TfWqìF9W;&7Oed"|񟵌k>f;|O%s4ȪӧA=!8=kesa+kJPNQ~ϻ+ɯUR9VmrB~Дk!GzRX>k *GS5ZZ*?цfEڲ1>p0bo_lzUZ/Jy Y"AߣC ЄAW:V;5MW,-Ч}Ɩ<fT4&mPE2Pt9-7˗ ]n~#Cj/5uV7g>~J 5C KcrjcvSڠuɘwdkFi_NvC.D /TOjT(kA%x,U%(K#qW-`p}YxoAEȤŬP 7Vi Վdpa&c\#Ĥ-L+{Z!DAWc%h)sX!>.K$V)|N^^wZu"nvcNOc DRoJfK~4HRkH?[x0a+"^#aE4'N4Q ?x T&v\HDD¾U3kY81UаTCULoNc3mqH΂)jB^CH5YnpWi~Kۼ}.͑wPLyρ"sōTFhF"jNX( +ԗF(\Б\⼩ "pL5z^ȹiz<LɘX8DvaI"b3}RVJ!-F3N}YɁξC>f4Bzj#4vqtu<Ӓ9G ]V ܹ)vT2`A} 1Cgnbս0qƬW =}cD^ ZAŸV =2^?"}U(-n?c|y뤮|EF-d4ytݪ^8|Əbf^$R889;t"@Zy vK*>䧅P߰hѬd)Y\R__ `\.1 /zf/\!h$RR|r+kLWst4Q 0Qޞ_;W8db!1deX>2BsUEhakWemn7fJԟU-{RI{ Rv caU:c 㸡,<˯Xxq<"m0Aή UG̮0n VkDžgL"":c>"GT$V^+%!-'j@<5e_# (ǕI_EI _$ GGFw[k>ʝe b)L;Egy1c~z+RRR-k0fw*f:) c7[4dKې/ }i԰?7ⴃLݮSCX˺t !2 C[ 9ٲ: bw Glcd`dw:uPRUw:ꆻ[-u7@kݫEvU][fJ/ 02S!+,˦Ɓ\5X3 FE̊([󘣂(abcO7ΨsfMĩ)"oτХyᛆW>hޠ ϰ䌅 ҆Wv]V >Ñ> \+Sљ%—եXbDT[V }in@yBaJ-[t{1pz[嗓.0(};G3:ܧ4s&z44H>!Y(S9JM{ƜLJ-C: '?`4Pt#|aLď#IS?g[8v u, BQFNB_kľ@l gYۺƪU]*m>v= ( m0uKYM7-*eRihxuƘʧ?DH(*ALr$"-V&Eg<dז{6Â$BӶO9 ôC4#Y)M72~IuҐ]o l2|rcFE!M֕Vꔢ/i°0 )ɢ|6X'y񷒕sqkK=5_I٫Yvվ5%v4pT0lmlUh%21.QU2 mNfvc`%G+ ol5DÄ$CIᙴls㕼݃;9BeDyv-#f/>xC -\'6##(SgGo"{S<+ΟEAq|$]dP'1i-~ ;/bA?(bÓzzwY n( y> NmhvfS"*6@]8!MӺX~xl֤iG4Eݪ{39+\VQF4@}Fzr&ǵ@7tNcMA,e>e}n2 k|x1àL׽oo:Mٺ`O<6Cv, ~?j8AsԆ2Y2Xg\kf@DB `&l`"!i41k]dEE(6 1@I\1Oc_Fzg(W7qMƊZA&.WgYZ37df1a9974d21955acf037482709be5752704f4487d722a51b70602a06e4a7b7d793ad6a8bd08e87 b7feff3cf6fa551286ad5206b08f8a4505f29591 5cd5e5862c7bf9500dffe2baa45af19637eaf110 9eb98cabd261987872a337a72e13ea3f0bc2900f 11458ae5f8dfef2194168db47e1ddfc68657b7e1