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 @L$ ]% HOL-ex:threads=4elapsed=673.405cpu=1749.292gc=86.444factor=2.607zXZִF! ]ŗXf1-q恉<]d %S TzA=0 e"[akKϞ͘*uDMeBd48L# /WXp`~5"Rxo ~*/dGooi] <]whn5(=HJA;(#)t?Y W",1wIZbӀjGqMpca؇D+[Ckyd7g `Z)9X X(R~)E?2)N"¹z:fv$`pP$ xb!~3ۺs|@f9|4UI7:]VʾM ofN` *jK. mb|w5B<%04O3@0Gċkf,'ćN;`6טlqFXoq#)aq&ju$ ZG0Ȏlz,ˆR9ӈ}'|DO3y2/ 8'Sל\J:HbѮ(G;L,pb/K+v?Fv3X*9= &)cF}$(‘Gzк v3ܸ|*n$kwW㻟z3l{f!ci7>C 3|_&{S/%0<_N8HG޿44ĚpQE(kma8\ߍ &Ikˀ7`Z9Ө'<2/80iZ8B9лSqCrA5aoežw12/Ɖ 2-9vG-A's&Ɔͨ![tDbX UPP==M@'ɥa?M`hS90-v'J]T&܏(]Jza$ޜj?1gj+Ԇ,eɈzU}JތVc>vovmAPtf#&_sʠEW bcm %Bv{B2k4ZTFZ?BDɬ`S@%xngWW@;=޶br) 5.1-&zk86IQ@hTë&-~,jOw>o"J5Ue}ʚeEB{+%,Q\gbQK3kc QcXcg{d;T~19EPeQ? |a 0USaA u,u'*M3 ܬK",U`sǵX>~>R|9J}-[Hp"Vx܈ƁXK㐿W)QN7Å_lj&ldcYuYrs=X0Qhf M3BXJF501  a_hL6 7| 4F!!ExsڻnIVHF(m6c.rPZRT+rK&"9 ŵeinW E ]=o)!0ޭOweŖaR!_*emUyzp (r`įH􉐇 Q|X[RACW1 BDg݈Ob>|Вg[p-۞GgO^}LKeÓbG?Ns)tug))LU FF>:=@SrܡmQ1xqx_kAy P*θqNPM~8.ɮSH7#2~/ga㡔o9 SUȿ㒉 A۷U7Orv:c.5ƐP&sz`{.hz32S+hT#\ Onj"F+[,H7݁6uu+gr : :mC0SHIoO/cdlS_]'㒄?T_q=8}}C˂M*h~Y}7@gyEjv"ş`~E5ƶ~<{VT)%sѤrSN?o.d#[Q!(";Dm*&c[ Gk=&DqK[ FqokZ>jsҝZXX al%38ek=X{c|%/BVFCXJėnW"eJ>y^/'No:9m]=V3>oğdx?o$S+ɾ <{PB[LK˨`}q0|>HIБ,K .gerjP k)# ҽhɚO2FԾ_C+Lx">S[i'Y gRJK*F0|IzFtd!g}jNu2{TjUUo7r zTnIH5(VB/;@T/JkX8'iU\Y"VA/n /JufkbW pӠMa@ K[xm{ܲ鄱=   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.MLl=7JJz }v۫0fYsÂAay(nÜ.?ͦ51Ɲ3aU({PamJ;R"e -)4(i?C F[D)ϔ3/8udxJ~ DaCA3GD'#\a#xhBJRp!(bR Mmab-VWcK~dԨ$Zk> {4Ը3`,:Oĉk8c6~VHYC>LZTLc>9ƉSb^49{*{#MO d폼5RXx ER6ńi6[j){Ww-i\2[`44 0BOy i,o O61F|]*3x='Y0R={P:nPY@P6c h}?+aG2 yZ(uCXE+q֟)~b>~ w5FNyF}g};Az/\T'5" ezM+,FgfR2H;OA֓)g[†;!7MGg}b2I+Kq %G<I.n.=]!H$.9ꇏ9TL- ?Tҋv,K A%f݈/krp>ضi6\973 c*;GWjd;1agl'jSw?cx(㣎&|eڦXHxuoRi˯AXT tCrm0AxuNOjD}4)9{]1/'~SHLT73$ UW}#|)|}>|`fd=j~~hݚ/v|~[ÖNQY(O)WVzc>I!̖ Џ-QN^ku"f=LR!}:f,0!O*%V6R׈tz67p)^ +`s G b\y-0i/w6{f{ZM^I~FI*؁{LW'izL3+_UKc YY6Ma k̼Z. ^ }MD1cyN{#L|vk4@żoHփoL(9B=n6Tl0?]U6,t!}\!qU.]ϮcrqLcU0l!d>nQ= i@pM`8U6%FnT}W<.2d0xGp@v{hGN~}8['0?- j؍QM;Ku@QwjdUbXLjs3J7GDWP?-Y*Y0ci-C<.Fr:; NӦ81w8(hpύniYۖTM93'HON(?Q~{չ.|b!"k¿&+xϷ#q*TTm@S>dV7i.?E|F<! 蜶V3^V#)僤¸^گ5'GloKw'qMƼ[W0vB3i4MįIͷ93hȡ<y$yaMr>';B qCR/ea$8x˂ћr[p tE-@]<{RYHe:T1SUw5ڈd-9mhC}&tPRL,?)8d0+=] bK[A^φj$MKrKM.[ԐPcŮʂ<9_@ ѵr{D[aL vi|3_y~!|s~m ^s=3O;F23*nRTw]1%AkmJ/! ՋR M}/Č5 _ %u ^SpL 7lOeqE(ʠ@VðԀZY[?jR-6 = G!$?,_f lNد|{%*GS~H}k#ECE`"?cT몘'WRtvB\&{%m6%Ow_lJ0D4~ 3-gYZ7zXZִF! c]ŗXi%L /J$m-ˊq)`A\j.m}WZ$u dSZ%B K*̔˥n3{?*HA5.#a:J#A%~~q341+MjLH\5 ;gv0sc6͠hu#hR`8"u'!+]/ st%-`[JdFˁ)wBNz Kcf3V1 M͛~BpB;W؇VYQo/wn$i[x%-[eeOoyӄ.]\GdlvN'$`b9ٖ&Vni^t᪬)f>ڰQf8V3m9*_5 IcˆpfQ$ Fl[MpuȐ]jj4`;nwƇZ9JSAte`sߡ o ؑd W6h1uz9M偔O⿧ d8.1dnl^ZP?F~Rͻ`(4ˇ/Te}`ɦuK>"M+JƅH#?0jjG0eD4w'{#!:D@kM@GuߢY EZVuFlJM9 @]M Cjb![s'q5-Ka8/QS9W")JZ{ZsJF@-uur66C}BĿq9Iӗs!R J’oxshrO^(ti6Ras,i;t}@~G*[NY=3rnWbHpy!bJ+\œgɦ陥kxfX9XҕqF rphlB܄U[`8JV~o}5o!t|N^a:3”K4v6s0Qe5*Ӈ|7o=J/SSa#-R>Dƭm iGaꞿqO.~k->$B2ٗ#/wcȚ-r-qoO1A}-s)J #r6 lוrEvV6pT G%Ts>z1e+-s9iǰa3|CϦLq}8aơnƒA ۛ#7{,QϝхE wWY\䬝1o_&ݫU,MYJ<-J0meCXVV~zbTK;?fKZ L99$TtTbg0^ hO 2#y{;x< =}oՎBfPHdA'f=`̗-@\s7jrXu!*C:` , )/˞>aԀ̶XbQ^YP]3xjŘ+2*xUms8썟@'\xtsXx_SG kuK|HC(#?lh+|u%#TyF+oiLwU5Cם k*_ԌfA OZjDc]}zw&YcJ镣_\Fb?aL<eHg٢xcF`AQ|3s:Z9r8g05L~vEGz[.GRySH_f0J)kwOK}ibY^-kwɑ%2ZAVqH,Ö́1~*0uH#Wd"SL\h6l/cyL 5g\1|=֩]|"%MZ"u+o s^yIw#h>aZoQw:SeRu$ xC |^0; *d\1yY`OI Pnړy<^JwLe3 Aol=gqCBԊB&ETX({GRv&rd=Ey&SETЃk@l/D)go—TBxZO7G#D% 2b@GPZZVm]u0.7({7\X)TA%/k3,HSi|@G WPƻ7VOC?h[\|TѹUSF+E[tKVѰsd9yw B3~q$yE}2\VVqe' ƜNU77*#a$6dzޙ8bڏGdݥ<12Ӆ b_l9 ]@jDs-)0m>_nmTmw^r= "Ccb e8匌Xq~}Z U4"#ǻY"F1wFǀI'"8 sr[t%spr:©%n.wTާ-ݎS)K׶e?$!+?te68Q k@chhyR $#s  DzĀ!"R/yg^%7GFE='~/aNOpRİՅK؝SيgGU?jm 5{Ւ[T4MSd~`.JZ1ogtxVh$@!R[.< W|pos7JّhP˭*k1f oվw<@``P(1O ם/3(|/U\64+R[X%cn9Yu)h߿^/3"~6!7?&1VxSM 2D:K8;.Yف*kWL5ov#@[!AW}ZNڛU}o!p-B˞EI"\ ^Gs03l#Je<3$}R32)F35u{/#J1Gs@6w9F6Hg1W^; ;7h6.^2R_M_1l%BF gM(!i6LyCatU_.AB` ۵܍R8Ԥr3l[5n7&BM5hO&_*<ۛB4[ H ^Ug̈́}h($}!rhGjQ}k jhAԱG yCCyCf(PXisrJf5*i@+ѥ݀"Z',Evm'[ f eD|={{Lv5u$  }SZ0˔v߹/基n*{ z1wHʎ N~ƽsKyLvA"=qB ~dp^3j V\ 0_Hɖ{U˭c95<vY[#:g@|kԯg-_Eo4KY+)=VB;X |3X_Iə8Uo8ک7Q 1I܍ű?uY3Uܳ=@lOG cmrO.r%`Ka%rlV(CW9e*[sBro':@"LC10Lp0fBр!*ž(x̴J8CkbsUDP 74tzddq8!՝F5pv'&/^ZɭIGLx,ڃ.my0HoJTz=/ hX3<뚽9DA:CXފ>O|Z~҄MaߨLMZox5l.c/mo;)DDP>tz!\F4ouQVUUu0g*n WTʄCX3W] Ew!$ ;swm1MjEs+R0[3 n5`u$#Ԛeҳс=b 9ЙQJqCW!beTQ=yw.^aNzJ [åL -_I 4`DI[6w�co sl:`{'EAXq413U[Ϛ:9>ř~LKN%/ U^!az6Syod~NG/;܎3Լ Y'4ǑL~Dc>8ц;nH#lmɚf> AxL>3|V/xp%!R. .ZXMp/< 띠H#Z*SsπuG`y| hNӮ?UX(޴Y½3\/M M >ni&κOȱcyOciJ3VT jM%0UR}>sّ#U)/0X!T4L>$ "\nfa-{é"Em&1AG{|ɡ]YFe(nt蟍q2pW߷X0>E gB ࠌkȋ(YP+Gm5*Zɀ~i+ަL1 yWC'1px,/]4\4aS)zD=4b'0#%Е(U#$Q?UŜwܛlcDOƻd] )p6e^dSEj5A M>zEKсM~lYoY(fsL8T?kci#qѩ v<{8fq Wq]>kCŮm>tj,f4e&ƬȄƅ>GZe;߰wPk4^|p9%__wz!SEѷzT^ӒwـZi x霉9k$V\<Y |u{ަY)PiYVahѦ/(P5~.-sma;1?})?h"0 27D:n/6V+ ,3SR^1~@:Z?9YVQez*Ȅ|>N; 9,/&P:ڴ?Yӈ5!>%zW4,R7/6 0¢ XNc[} e$78J)V<\mzeg J %djZLW]^6vxx uf_OulhqUc;I?[ܵChA}+7˱ޞi}*!+4552NЬVM{m&{xRR nq"My"^jGX=ՐN-aw IJ3b7 Uj#"}Q+H J>.~N_ָQtg~xytn/u18be.ނ]93pfrjw1Z> }x'e..={ a:RI%,Z2M'rhv > I !E\Oe>ͳl9cd_6}rp'DsD/4olB 9Y+9=FwYVcR?fEٱP'Nքi^Ôg l; $r^rkhSҤ(BDpRI|*A?6yl޼*TX~~>@srFԵoA.=ַZf]t:ǶjK0^fg`L{΀H[a`DeA~0;0Ri,▹}gzMKOKCwuD]Ya}k9>]&)]v>ٰ9 g3׷4/w,Y&Dб ikM>(']ȶև`x"{&bk[5o=Ys.>Mw!4-v3߬#K DT+F[?ApJ(Hљ^*foIu%p !`*Nۜa8(3DO60`́SsP(D` ;n/_XX9$n4-פ YPE8htMcb( ¦dAi9hέ:7pTT۠>rZJ ۷K"iK`ұ2a m%?9mkV_Ë.;yoc-܃#6Lƾ,`Y`כFF5 خDQ"/,X*KHz">vr6:^Ifʓ!a>{s-ZMHB˰hv&s=Tk236M~sS9wL휌כ X-y˛sY+Ifpk~y->· k/h#)m00 1V]Qkq-ٴ$kPmnjWZފ>߀BMCc/3k1|hn2Xa{7;Iѻz qIH9eb8q"wIKRq×GŹ<:buAKP#438|^<3\>qFcc  lw"Uߏ&`GіYߒY (C{mܭ7el>8awFM6ᖰIں!W/^DUHyZA+OhI@(;$J]{@ #4oސ:L)Y8!eAV)VIgbs؂kըK ǓIg |bS+W O޺JʀwAj; mϛ)D+f(9:8c#زɀ\Iw\+կ8sN^8(gW<;Sp샴xw9$Aݾ)3zKD]I-]|B䝲 )9i(NA@ۨ_4fċg'3<0}.NK)\V(eypz Tf iʻߌ`l>Os ß]u=dg|E/% /G7_ w : (ρzd8PT5v[ڽ*Y=7<-(Lblꔞ]8 4zw=~W|`wu  .F*6lϊm>I{~%|o<|o,&qs61"`@lW^1 x1$ ߽^Et xL6r"3eH̹1.u@f"0^7wi:!%_bCoq,%D!kE)9=od,-y |3s͞t>{+Q ഃ)αDn{QMI\1 Ӗ*c<}nĵHS;+$#}`Ž'TiSY;( eF|+ q{L'&+͖e(;b=WW~a}Lh.6ffb:s؟d y/ ZmgL3 %mnҗyX88ixiY+=FN80RWJ85}0%?5|:-W{YdMEٸ1b25O>ߚ}=h [F&-'4Kr)+*z({@C.HJKt/RK(%c!E;suxCQN $ռH#vjBAwg+wv}"p1 Rv)>Rkߚ$ˊ7H~JBC*@et~1N3a,jRTw O 7]0؉-zs!6=⚌Oc>~aJ[ڃ)~3,s32h4.?] 3~b D=bK{h%1м>V 'a}_O^Zm {Z;:^~,p;ϳ}\P#y552pQ֤)b dPT+-~wk'[bFw|:EZ4~H 0^ R y 6v@VBb 2dRÊSC9PAen+bKb:Ή.3zƼ hv\~ʗpP#p8 RJϵ(, oGqԕu4f ?wh{Ue |lKMYu!+eyn*T4 b"]9}fc H.cDFhboU,4ӱ`Z$T"GzL-H T$;!~~7+cv;`y:"8NL_Rz1BG0veHO>.ORW0TOøW/"1N[%_nu> -e1~wOH6<T. 5<jGIWuSn :ᕛ 5YeWLsl#7 Ka&2|ף[O8Z`tJO Vj1#qrlV˯V|p] +fPNrE0gu ?gž~_sYXX ,3N9kbp>hO_;\Kphߔsj߿HRbµXnG]zMpfKGәWR LzXř$/rL[)L`ۨ`ݙByyP:ʊ j1/dKY bdcml!y/; ۠wح c:VRBAì#/a_@P,Ìg/U `ϵu~[BXkQL# wVĒäT~`YӐ`H@wy ;\(S0`fTIehV\ʳ4&k1AuT ,?Mݎa(ֆ2 ^t_Į𺱤'=t^ >ܲ+~2WL wk8tC3Qwۜ`{&&`x8Kk~)Mt 1SøiiiyX킳Q^t ?#`Ks Δգ[A2/?Pi%K XMEQ)ko?4s1Vkǯ}iNgD&I3`̂/>LPTl4^SpCvǫZr>dži'LY:n1(Kئb9;`/X܃YLExJޙ/>AXm+ ÎeXQ lm]@ӷl) ּ'? KSvis$#x$oST"&kS\{z)ف4Pͪ!L]-ӣMr`ɶ 0-06D19^}6ZrLYa}Q]-j,g}nlP'o1mCx}wC6NrgCs/ͥF*71vϰ+Itk_/0AERzih<dte9;sw jb~t= 68ZcgB=9yz:g~-'L*NGClMoX'rƧO  9pO ]v/S-G~!A3hKH]c2Bɟf!9JTiIJ.ZP*i|H4'2b?RϽ,{ZB̛R:U֟T֭NN z!iWR!~G?Q70:M'y` #y 0>8{ΘInY˩R~]Cɣ<@:6''l65- 19^͍+Ҿ{lxgde3%)2"T}RC9/kLy<qQ îa^0)[; n,b1_@, P2tq2{LM"蝖 Wo: GF[#&F_^W,9fC\2g5YLZ inzT'yo:0a'0}݊7W^c]cWajpD7R&6'>mӢ1bA'C- |v0]!Y'Skp|GС'r wk-{$gq d|}' :d--@ xS?_>rE6x#G䬢ѮS`5:7-l$HV|m./: ``]u〮 >)3Y(7C`Mtd|ðzA]!i 쥇&0 R+3FZp|`v(o/O8| hAUKbӨ, ,iծƶSV$6l."u8S *0_<`U,үi^ӎ7*U4rML$_B8,bWjJG!ɹ 9WJDgţzό *Yf.`矖hDZo_Ŏ5c#܄/>`=}w:(V)$Ńƅlv@%jPm泲%sqq%Qd0*Fgf¦q9 @rDU֚3_@cj76Zx`)V> q %w $%*=|޸*ފ~e^m⦭<}Lcw{ʭX7Rf{\~+Y` p}!rl싹"wu_HHfCF0Fܲ8Є-y.3w1,Lk*DVΕW>\d- EbN20{!+,\aGX+iWCn$ 6mY-[ƄwpSfEcc8A2^]$WLVI_G=U{q!879pf1m,U7Bۧ[HZISLBpGq3kḑPLwT C3SLTBI٩tf}Ca+hE*V[6E*C:oɲ&] \[T5 k?Ї$M862{6ig ՁNF<1lis7}RuBGA%'EP rW||MPM1VCo?,}MU.2ASk puv_3U/+5.ҋ]\qZN`5qF6Ol^>.XV dW@1BiFҧQoqn $et᯸{mo!5bU '(?ߤxp(9Ue4k&yQ  XBvtgD]D3o`9n8dGӳҦ >z\0cv7,1kIpr 7}KWcn7vC(UCT? m6u6'm[b_2sXws*uV7ۼ;+P{b6rvT2fGL6cz ).sҽ*PS*ppq7VyMİ[[>2|I _Dm=G~;EʗCI #xA=!mu?*RȣW[b\E 9ԴK"򈎮$o[3<S 7fV Ex֯Mjl @d0xY![SjnԽ!c ۢڙGTbH$p87KEEv3Yօz`o2}n i1 #W6Nnf"6_܉:S5=Sb%WZ^-2tR;G*8wtQa.ozZ~VtNk!|k!9?)Q4]ze%GAAE )ET<l txXq+f1ip=99̆ҥA4Yݳ&.٘&/]묲xv )Þ%``QnvpV<_13DAjeBIKw7Q2-kJN ڷ҆<^HI'-9x`p>F޽QMwL,etyւrw{yЫ)կuӹHg<JA8n,0~5(a$^YxTzL(osp?) "OO=|B{7 AI*ߐCm"e8;Rk/_s()Đ+" ]Q*7z}ϻRq}9k׳xB6QFI8ܚ)>O0ߜI62@_N=sKEhK=+LPI t=d Uj~]jH t̀ΟjQzL,EEcYצ$HKy}%/Dgdi?BD)o71 GVn?$:}KXHl[/ϛλprj^מp+"7^/mn|Fb<CQ{9ɐx9ABMƢ[*.fG=f{@ʎ`ȯ7%9lte2`DM|,۶>A֎uymus,=byny dmR7^]Dg6L7TX/GR˙Z$ۣWMdݰ/b:jZ ڍ ACL'F<ժT\ rމ9s?N76&C~ow Vj L{5A_T޴hZbI9S:+`]^׵eͲ&.ۯ7G`O+so)l^)>glz1rNCwIqrBL_Ng"]_|q k*0j A} gQFS\ð>@(Ol2vL}_ ZW$/YَZH]>LQuw@5A!93ӘLNp"ļCƚEa JUGo+eғQ8Z5 I,@%-t2|!P_{ERM;Z,S!n+WOu19T_gKv';!}γ1u]kδ^Yrf5R^?.:2%Q.\t|JuI׌Xkacy[oh?VhQh:W2n #S@D '}&{~+=uH(<>ۘM ~v}i.3)R՝fog9VM> */G!kkb}uV<< ˋ{ι"ܸ["SzHm=،Rە _R]ݛ:.DRB {>eJG9"(jw1MŹ N,vE &ʫzf;?wD`Z))!ÄvxK#ާ٧ֆѸ 967 |𛚗'C [M"t9;T(xZ }>/c@9]FZjO: 87T0G`"0B |b?8H1V-ZgziۅfSP:-@ j}RCrZI-+tdu*S41Pv;?dTfd:΃pf;2H AL{p9j'QC4p*Tϭ_/jL`yʹ^w0>;eZ;/I?l=g,F]: G[o Z1N.)jЬO$9,{^"?35/?nqDLݠWNjC(G`Ȅ̿É#,UGu Wc+=Z-)U[)ͫ$) 8)`[5 @~`hД:5ápk ;?lT-pa/{2ͮ8휐c`i=ZG) }?B*yJUӂ\2xCPg'DIoNgCxEse1LG8-X1_ՆXأnwkT &2_ROW$=+;PKkݱ>$lPaNr/ C!QZ<>;wD>DEge),oU>Q ]].zkתzoIJ>14b$d5jn ‘N: ƛOhL~*K3۱^#|C\}vSIep8~t63z(^RBs^O ӪdiV%4 9.6R,* %dvy^i.Da%qP`h7gB]msH] W Inc*ti0BoT8e*bq= gהB!oP@5"Fbm^(E|{"wC'{q`,/6kQ:NBdyXJ$5fOg]E޵hoX,B*@y<߼V7YA6QRmrQSH4oxDER+07sQ@xyzHTp{ͷF]NTy7b.ez$`P~E#,;u݅"'Ų/x)x=D& b]Hܶ4y1sJӆ&AzONا;.N iQhGE J:L, Wi2+G뻸oZW}<8 -(Vya(OtŸiAPII_xS yp|1I 5@#}pzSA 'fT 'u V >9G M 7=[~Wք2D/SifKm W- ]xǓFE ĵUP%ecV0+D -63ϳ4-@9JCvE iɗ3N ;`O_xaV|q* {)\;<ϣ\ iyV>%H$9OaHu+KpX֨:zn2e`w|n2bmѾ%ЫX}DHŝ8CHxQCR>]a  GQiegFMf]p`ez" 8G Nb,`P֝ǖb>L%#0Rn$TiwF{t#U\ GoslmU>W ,ŶwhXCް|pil}Wݚ3C7Toͫ%9Cםi蟅k> tЖuO.x qV'Ew(];-InסnJ8W 3DitհFW?v}c'PHN[i ۉ UvAvvCq$ӼjT2E+DuJ"U|b` :/!))* |Jnis0vF|ZX&Ow}W_ ge@%5 _{W5*s"U$NS` )~5WSn 37(%Q:+['2~/%HP W35(J,6IAUb.I%Q=NXB0Y rŦU NR-'ZoP!ŝ,sp|b",kpS4 J>T3kq,TXB愪oխ4nX-lG%+qFP/i%&9jRpd{Y> !m9R}*X5{Gu+H[,"K-[U[a?JKio ߾n.hn6u^y;-a#-yq 9َG[Psz}t83\!Cy<`d][hDx6f WlJUX5eqMrQ`A\VeP/ObIɒ[JaO~U{PW '9ޫ.$(u%JGʔo%,`m;b9M _f^MRLT%KK*GQQa{zXE̥m}Ecy!FϙHˢb^h˕Y?Z[^;T"nBkwYeq>fKS<43 -L7Ƞ^o7(ݞaq㈬FVD_>w06{&퀔2*%Urw}3,1ENԾch"۝(yMMWwI/ˊ4fg(kµP7;SU*Mo/9||a1S:m*"ud~DsŞziz0\`ܷ3-Ni^ oh 4+]=s:-YoaajXԱ)E;I+L`j; T߄D&6$?JëHߊMf ą\B*WWBxT|gw[0S7J+:ȡe& mhB(p͇K.EnϧvPȏD ;b!61\U'nB"kϯ (R3=5脼Nl8rtڍ5&(%$:B4aݒcᥱc<ڧ_%VV2 o4;i1e!Ƙ*/;|tnoBH4b咨2[tInTL aD-L,jw0Rof0;dQ$qLwă2IҀ$C瀰74Q5! x {ڍb$U +)5"ػ~HS:8W8x]H2{³[g ;MJTsu.ˍ^^ rQ$=zIh&p >3=Lq" Qo_oQ9GcU_׬v㠦|=ݦCR &Ll'n=- :k:7ZϗPL̤W`-mVpZ;F3C![ȿrY甥 S#DB_y,t<4@-ʚ4\ $i' DRJgvw[t_࣒JwͿBu:~>XR+ uɶ ®,מwTVܼ-("_i^PC4ҿ_@ɱW \`v]z{h4QiYhj9˦ D)߃z);yUP~1\ 7jJ5 uT胺ZHq&Rwa1ao#v!9~\lD]?O8\ʥ!X#O!yhax@xdlM~2Hֆx.d*_) RŽxtF.G\FπO8`J.po9"# h>rr^>z$Ǟ{*:5uCuT8bT:ve 7W)Aϓt#wD9N`|{J}}nQX=C.e܄YѓCp]iX?ܻ(:^o)elK؆,hjEuk?)'>"b&"秠Z|m6gնZHIN7"$Bݜ ēcH5(4N$.3Uɣ h)_[:Πۑ\ ENU9@2y~hk]zskO#'A~dLjo#U<$ VwV+NAF"Wx+qe*WX(  SI-QH}) ɆϊrqrirH ̖Q"^;ʌTdڵ[ą1aI*{G-r/ƚJ1lym(0Kʄ&Rjsbr:poU R:uAZ֛ߌ$TW%YՑ Z%66L"?M*2tißEv!Xbyk)""2lX-ȥS)HЦUt >֍"=05Rߤﭗ7 pDBݙd>J}Q6i Q:2TܤݥU }VTws/.#_ gܱ  UC@UBeCYaǷ;n:3|58Vuu%kWiF5F NNx" aQ Nkv]:?\߱|9CpjN2@7|Qg}ўpZeNJ)\a+Y?IvsCSYST ^Dg.;` hNg+Q2+`՟DJ|eX]L #ʊCՒeb,e;/("37iSv>Mhu MUbV0yN5$= e0ʪ;y-uљwyծU]ċ )?hM H;~| MK5f2ȅK[`A| S9[GE1dzfs6;8OxBuylCe+oY@&#[mlr*0@ f+cڶw<'Et{]ɮd9Y4>:9DV~-%(Vqr\ƏUO#"s+_Q+|;w9 -h7Hr̎ :\}x˼v.BRbldN^; J蠯Z-e0;Ā1/~C^q: 1Lh\i_Z6\d82X{FH(!V?#&` UG?Zk3 KU;UA6p2ř{ʐ4 ;'lh#mkGѰ&0a󬵓ҷ!&8pkI%:/bNRC;u1,!``^sxQ-7͑6fRB\9[ XmG~#7n~xLNi <},M AţA 9V#??uo4eb0{]Aĩ%.@fA&+9O>'ްaP{BYT.)1\w$ ':#  %R6v\ XlXS.;;+ zNaعMHŐ^ܭW|žq/US5jSB[ 2|fTA ej Ĝ َ>m_t)  xxkQ7(ت<jWb[$L lIHE1L7nonl ٟ$ӾEK (E.21ޫ$2H-y~@f1+پNΈ#8Z`5hM=lƔg!Xp7W TSEnn_H=u a>[T2)) K`ECWoDgZjG󆱩~Pf*aP+g|_6M-*l3H 0]WR7)Ie4b2 WD =e ht5.7fJI.@~M|n<Ф&2Uo\x3ϛh@;X'd;/}ylՑ~L ry?|H^{0O:2}p iq}s¶|2枲(J께DAgMag DkNrh=iLX:ɅgS;t""+Ş8.\%5GSB5UHt9| ~&ɑv]w>#J,j#'#EDe{#0H:6ОIy:! j׌O' 0NlmRjK vx+țRVJAyng2} N,R1xVSjVJ 6!&ŭ1_:Ov<\x^YFl]֘ypp^:gfzɔ*ld ~J]f=> aFKh&A8a­ Qx+vŠ0Hƻ/bg#C/+aE'Υ`Nܡβs%3lҸ P}U =D.gmULô5o K3lwS]B,{ql[@Hx0(^[³cL71xm XjܔJՐo]*=gX4]J6aII z4UH (ipvAʝ-'oRRSUC>c}J^p_ۀcтX jĚ2<[[D$OIynhSޭ~5 \Z^nqk3NS-azvR3wCAC 0n˷iUyGhd6(졳̍T2"xu+pN7')1$0/"/ a`11Qj3崔>&o+[տJ-qU9$OȺ%K֥c] i_` ߳ T Űl9I@V6fZh,&zU#F"09u!2me^`:]p|BBhzNm8]-o߹#`$8 zB|s>r9Aӧ1+Ҁw7e1p4JV$[6f " Wqyx' ikI+aΠ*Gz&K0'HeD.#C։h׀_)9n qՐ ǥax 2b?lK<"U5uw?9.%t5o|vgD GhԳr gPŴ)؝TL(4AMM38^XwɲD׆UiiSp=`ۈoRSͣakt-Z08ɠ4 6b1E pI8}1MNu~^PR~ˆ!8yGRO=wV47y4d[2CBil¬l,kɄL'[dΌ&2N}RFUg.#L܎k8wao5.8j-#tK5{XZ[l[/N^ o6`VXR0ߞk~ _B"deY#a>3k8.2+86q;r#L ,w+ʇ7p {t;yG`L61V\kM4˃f힬\#H;.i$*Ju zG2DO+:swy:!,!/7GRL'3=`Ylt))Ae]/Dok_hڂruqhCcz>5-7uq*գ{kGϺuwcـi8Ph#dd{gJt8B>mA`H|uK2 z'8kGYU+GDP{oL۷/=RRhn׊^6'F#d]<E`]~D\27EQM k'=m"WM$[A#j/BxX^`la^AHM`c%z)YIe=n4J<q^`__[A.°&o? 'yPe񹹺om|U/o~lq ąY-\m%7(],\OZMQ˜ɝTr8i@t M'.b6}t@ϡv4"xL[Svd ?B˵jRaITpՖ:ocD| $+6u4YY1|D7 `/+ɀ*6u{(|]r,; y? s9+qRv0Z!֛U)"3߮)fpg@u*H?7ՐAլgL'b-&ϖtT0N&s2'&a5'[X0c48[QJ_-|"n &^"~?ۢᏁd|$6XnZP*?"LX<9LWPªʼQ/oux0\RuzuY ,X66NY0DrObMLE6.y#}HmV;ۢv)](ΔE"̵{&DJ'Qmec!>sH׬`ۭ~<"(^E95n] >ia.Q Q 7tO6c^`$\QG8㛾͹%fvtiXΣ 5肁n%ve'YKf+(sfBULQ")0G=oW ״7z*W;x^hاX P7+/\*C$`ॿt툱d}.dR2n͒)P?Ss awd!-; E1烮#1 I!)4RSWlA|k^3!jksGAe%W,mTb2J?_K%S_xI/{!F {\6Y@"toNE;nszO&eCi>fݡtnE'A}7B-Qn yͧn|J-]*ۣBxWK2h*MAfHq``0ļ7Ӂ|Ax~κOD&sREQ fvJDv69oX# aPyTW'aBngRajjZkNǎ(kzѤ! 8Vm+e *7F OL> oA3}\?5`Y H_Ҥ3/?0/MJHϥ9])|?=5XIi |TX 'h@j!gn,g{AjH΁K _GtڼƱ*T.%WNy#Krz8 %pa='s@;5_差H4ļh;A(uP3oZ$+٢"&]CUz1₭.v"zZv S:Ro"~j'rLP5.'OTo9';S^&|B%< T"7>^a@O>@?lBf4KS_H&g&eV/։JQ'-.頃ǖx< RU/%A-PouA돌%ӎ@F(/`F{OFU@)š %WfRQT/& `wjuZ8hNѱ2wYz.0]02B[囸{FiP/?L~/p$";Lw`^Ed0{Ω݂O5V*بJGmwO{Q<#sұ t_ga$51*szH=E2_ƮN Ch߬2f?SYƌ0٢CGG;r;GFW ܓ~$mMɆlKcT' /?jwyFdҽ<d(#/A~alJ8]tևn& rN8J{`D<+Ġ(V zZ^Ĥ/:KV٘*)TР76]Vkbѭv[ɶf<˘̨ g]mN{J2Qn~1:PKsbK-D^JKI#ݦ7l_gCCWbyG}8q7Nnj o 1M]4/&Ė8 "ޗp6pWߦlGc0 RL7S& oJpowj.2 :륆<×힡"g4=g2{RdG!AN-ki] .3bwȽ! <rƨtOG}9D,?c >߲b=ܮ44(X4AK9LB2y TBPiyr~9ȘRC5Bd#qov@v<mϫkI鎇OJa> 9aœƴ~cʎQfi YyH}~Frߍշgnnj]e!0<lT-s@PVUCwGյWȏQ+Vݎ$`w+' ^X̒ "bK}O،57m{ZP0A)qVksJe'x<'!3G@7NPq_ϸAK/LB}8/8Ld4Ue p.Aooj%Iws#Wp|&ysDk9rR6ṀW+Ժ*%g?M!/p${x2@5|Ft ܗ$=}N\I#ǩp+ Ċ `ʺg*c$Ca.? L|2}AU%}t FB@ERH!sxRn=| +`^ߒЊ,eo#q[yB.JGn[)3pɄ+ fD/@"LWC@ k>l$:N(gYZac2c946cba71149da6b49af2943fabd4d161b682d3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3 2b11f4ccb587528b98467ed17165aa165adff39b c7a0a4539cbc380eb066dd96bc0c5c4425968ead e1f27be7ab66da2b46d1be3708d387d61a70699f