From 6d0bdc864ddb67b51e22820de8f7d989d15ca0bd Mon Sep 17 00:00:00 2001 From: qiwihui Date: Sun, 3 Mar 2019 17:14:34 +0800 Subject: [PATCH] =?UTF-8?q?docs:=202.7=20=E4=B8=8A=E9=99=90=E7=BD=AE?= =?UTF-8?q?=E4=BF=A1=E5=8C=BA=E9=97=B4=E5=8A=A8=E4=BD=9C=E9=80=89=E6=8B=A9?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- source/partI/chapter2/images/figure-2.4.png | Bin 0 -> 55258 bytes source/partI/chapter2/multi_arm_bandits.rst | 38 ++++++++++++++++++-- 2 files changed, 35 insertions(+), 3 deletions(-) create mode 100644 source/partI/chapter2/images/figure-2.4.png diff --git a/source/partI/chapter2/images/figure-2.4.png b/source/partI/chapter2/images/figure-2.4.png new file mode 100644 index 0000000000000000000000000000000000000000..ef24a67acb375dbc8f5a527f5216c8bdc6116751 GIT binary patch literal 55258 zcmbSvQ*fY7*lcXuPBzZQwryJ*Y;4=MZQI${$;P(rY^?Wuf7M^->Rg?vnyHy*Zl=0t zdb&DNNkI}34i63l1O!o9N=yX=1d0&^1groC{J#qCi|g2bi!UWPHE{p{s;a6$K!E@1 zUtixfH8njwJ#=(*q@<+j>FIB8Z*_HbySuyp{{2HkLu+bkYG`OEFE59Jf=WtC`uzOt z?(TkhdHMJNo}QjsT3XuL+D1l3Kp?;0-hhsdj^*X$kB^VLyL)hm@2jh;o12@L7ofMd zcXM;|;^Ol3^b~>>7#titK0fa6@1K~M*x%ounVDH%Uq3uNoSU0lU0wbA_wUmau)V## zu(0s&A8`Kwz#{-i$N(htHy$p4h=>S|^i56yU}0g6jg1}b12?w-3=DvY0bE`J=jQ+j z{5J&p_xbs`w-+EI3#h9Br>8(_YHC3~z(5a(i2-)DfWIF=OazdU0)m3T?k)fe3)|ZR zP*VX|xBx8HcS$i&Q4T080}c)j*4DuI_&6RO-p`+af;_Ok2B4t;eEh)F)YRYrASnrO zaRC;;03IHImKG2e0bE=FV2z}+1{BLN&8fa4=T zOB1-h23D4V*%^R?4KOt|jfenJk^wVQKvxIY+yMSg0oz-^_!y9z4b;^Dad7|~KCrY1 z`1$z>2nbYH0qJSL+ zNlA&0jt)K*5Fa1!>gsA}XvoRQiHZS;ii&o&135W4)QmuIaBzDoKt)BxzyhG)0xT>n zO^pB%5m9XqfWix)V7%q$=c}u$;|K#&O8~C{z`_NbTmtiRKyh(HZf&eOgF45iU%4=i8V^Y$khv$7l(z_w@*a!&7 zQiimcu$srl)j;5Xj{qc~;Hwh566}Ab|9{Qs`C6mhmKve|4%!Dy=%q6|@OvC7WI$idP^6BT@ug|5MLBFQ{k>svm^37S_shdQ^7asEhMXBRpo=N0BR|xQ-&;^@!Vl7Qp#gEgx3rky6@Jy7fG&=XOKLTtsfnk(^1(d`sYV{&*ckrk^eG4`f- zFn)PcilMw)r{$mf(P6rxB^7J-q&$i?6}zUGU*>i7$&3(OQJ(jXlSqhrhDRn(G{`jTw2m$o-6^nDBI4n{RYNdpCW^`k4*>czb?DjxZJgdNwBrH^DF&Jn)4ts*GI? zW}%-Go;`M1$Cc5@mGwcq>nyag>#Cq}j!)kY%i+Dw%v`LQ{d<|OzKkZ@0l%ojFSz2y z`o_i0E8R%r@zei#>ZPgYc{qWIN><|%$+5F=NbYmBucp`cAs*RhYGTLx{A2xkcN1ai zZFVo`uT?W9=qE-_w$wZH(&JICHq|>oi!D}#6S3)GkkN$?Re^6`lBgK(O#=giq*u~V zrq=jL+d+OqCI-r^>`96u4U>UW6d>iZ&v_?D)7p{?cSG~lb74N&1K!CEaL+o=oKJ`b zCV0<4)w>h%pE^ab3_1$qK{g9xQt8|{?9Fu~B=?yOfuhH;T*(?m-A6!WdyI*m4rtI~Q|7;p` z-PUH4Ou~#pc9PBYA;m?9_N-@Hlvzatyt_KPZ3pzYRv)^KbmqIexmEUC$=O(`{himM zQ(fX``&6%8CiXfaDfwz8Go@!#NNcwDc&t^t2_b3E@$6moUIn`y{C7yija?LDq~}0q zwp=C3#rRyN>ABcf$1v^J-a!=(Q$c*%x4uFAm~Ih=jg2wYgmLF{ogxoCJWMbmx<_8eeHnrw4`eJGhAYsqQJ%~=7dj`L~6@g`HceHU)?xS%3=hC==TTpZwf5z zA8?R&XXK=g_oJ%F1HH+3*uPN^O#D1|(fkV*Iq6W}SJ?~$F3L#e?hlK+eeU>vV4@S_`&%kDvkH!l{11+MqShx)|k^v@)$E>tpIBk;C!1^}SLHcr}8_?q@Nx5KJyV*s9%*@%J30|0n9s#y|no#vo5wTIS zl+`hidUkb9sUhOTr_4b)@(cI`nY(PlSmd_lv4evW*w|?M+wR+%`24*iI|7`5zGE{JThP5PlZV{wlf z?;`w29UUjKE%?!}v0o-EH1)8i9Z{Q9BJ<(zf_bOxFOZ@Fwp)98xCzj(`|rw;XOvOW z0%y@6KOy7TRl?ux{7%EywhnfwR)2!Zq|mcJsJETipUvLXp^(I> zvzH|~*)97!UTHIM7w^o;hQ)%S(0>cs#J z)=)Dw0+y&tSB13hEZG~?Sj@L6iC^ekArH}a|K zD6GV}^EKFvJ<{Xx1GC3*pZ_K@Xb9SiUg%X+XuNe~d(LFZ&+tZ z?C*AIrWWBvUq4>2rL_$IHec9&ei@D*r=k%T@mY+$Wswk>DvMCZJDtQUwvB2SVc{Hm zO@_H+e+$Xt5a?`58W#m9sGgm8ib~-vrJ~+ zU-4y&NR%W2?ejQ!rXt;r4id(`i??VZ&tn#UJ-&B@+x^R;UsqY*=XXN0_u;)fpHuk= z0~V1?6GI~-E+Ok9L{=*B_GuZqJ1}jGfgtpPfOd55=lyN6Cw=fr81%G0&ga?kevki|v2G%_`m1#`Ejp4|}td@PDK*?x z5}`cf*;DUzmsEkDIF@k(4a8)yn2bIik#)Vw{Ki%Tb5&U8ABROVWs-j$))Zo>f1qFs z>APxd6|a7H?K(Q1dgr>1nxjx+1$8Yg3KIT>Tr+=AQ#61=+WKVd{OKqxexYA83pG4) zkG-J4^N8O{YWmch8-s%rBQp1bq$6YD?TL6@HV^T;JCYU2ZkB>vG&e0(kjseXNKo6Ka= z)T#)1q?8@FG==M>njIC4eGu-kCh%HPaKeeMo201Ef(88gI|5p*))XqfFj(E5)RL zWT4SOU$s_bUwWSHm?7r(Plz+33qdtyi)=RfPxY3Xu}KjM{R;~HLQ0zLaq8~TBaAye z9&b~rOWl2DP4TO6S)DC;8+S!cM7~LVW8Bu2C0*uMBU{{uGLSS&4Eiu|jIsTBmBf)K zc0^>XW2~;!C9^l0@?ggvLr*+Zt4?}?GG9CY>QH+f62eo_!Jix4sP?KNT8|kMITQyL zaCqAgQN*hO@s$-q>icE)4ow2gjWVL3>h;x4CckgzgnT_k{Degg8iIC*$~hhP#IrXP zq@^PYkCu#Urt6B@u7A;EAFU89b@TL&O=xvFD8h^se4pShUZ?m1m8EkV~!3 z=ViJ@1Z@vcOEZayRlp8AOyE{mcM5DtSpFyLTf;F$jsJQqvV0l{?{+5y%n`TcTX_RDO<2f@)2W)|+yb;D0Gg5AO!K{xMzJt9+&o4F8b1 zzF1O7ZA0?OC^UQQke3cD?zLV!N(+c@+F81o5G7=Ijh;z)Sd!64m4*|BenCLTw5wIcjFcVj+4PH)nXQ63!dB(9-fX2il&WG)d) zRj0N6sT2^ttDafoTlMIr+E@|0B`nTKL?iheTo>ImkheTK%cNkwTqOawJmTBP-l{Ca z#W=$SR9=4eM8oIp>AUU#PmV9ITD@A2i=#U;k25<9eA3aF{`p3MyZD^loqxU$XMa!O zH-D}x(Z6ou$$oHfoKB>|SRgn}LFcc-ZOtsOfrCM;s{6KgVvOGjzHiI6%pSWNb0MWu zO8$7v;WfEAE2J^?YEuORjVXma3Gg*}R1==Z07soS&D$C`E+A-k7gOk(pij9ymz%(M zvJ#Z@&rfv6r&-h3h{Dnq13v0zpBHo>@tNDCH>}+{x-V!wCvT@cy z3OacWmT)_9^Uv6ca%oGs>#7n0>SwzXkOlSq{*pJ<5~5=Tb{IM3)A{BnK2izp>;-_3 zk5Ka#G|grtO?hcYM6jl2N#aBV)OcRRa7h-vTPp|3=O$$c+AOvsHr2-F_V81sM#QWO z;k&jmLlM_N)1s&&8^MTjXjc>lV7xk4=`ct`evpRCTScH;LTv@xVZoSRNJ^D(#cOB0t7K~l}4E^nF73GwJ%5ewkajbqzhkpUk_m|?H7 zwJ&>%HSFjJ zWxbz|Bu2iJ?A3P%w{!FC!3qa_pL31fw4b|!m3?aPTt|lXx}HIH@qp~BP5;Pr>~v|X zEmWMlqijw5+mfN8ehdXSn$scwXg>lahiig>*$`E_M5MV zoT5oG{>iI!kYY;nOzC0-@Byzp(F@UVTH{c;xE}X9#!BO#wraUf&n^^{JgLy7KMbCZ zJUXX8g7I9+(TAmWXAsqr3C2A&PqV`k2t-Ummh3{O7cX< zs7Wjr@Qw9-r&Ur?*e5{-VmDFITzvw$@jV0SHEIZ|*l02m5o+lR1X;A`$uyg(e&<}| zv=xcD8isXhN=vIaqs%UlDNbA2jOTf97Pl8NfEJp#J|C)AdJQKFtQ%E}mv6AsL;ZCs z9`W?u);DV!%zlMQ9Ysox(g>79$op8<lElByu~GuYkG0UULO2OOv6p_7N0l_wJu zsStpWvL$GEIIDs^Yy{AwSyvSTkbvJ#{#*35uvLi}H9Ac#o=|lvf9bJBkDfY{eZ>SE6p*+1&0E-Qim^4I+ zCg!SW%CgG2_rq6c*ja&}EUKIj5`El;Ms+>vz?DHuxHr6H?!Nm5dqZ&zP& zHb#-5vDh~i(dtaCxXoUUw0f1}VlftB(=aC^;E&0VY{}}~weE!-vklrB@^|6b?jpyC zsDmWS12p9fV>2|P0!*lNC>VrjYTY$=YM2zXv^IJTE34AT#)^41`C1P4`C&eR$gEd< zxyNd%(P1%kL5~|y>ss#^*_PAkk6zz12iCdr)2>-p{nM=?rrr~F`}NO*&%Mq3?|J;b zhv`}W!{d7IbGp9oA@}I-v3;OrxqKk6{{qui~>@N0Uu}7?s)${xdFQp9gZGKf`^b`0;J)$hzZ%bW#{VFV` z?i5Yo?c67^mGzh7j$W14tTt+vThm~`j`Ia2*z8+12BtN{q#Dek)Cw;2Uf$8(2pa!M zVw^1mmaMiTiAz$t8p{KNQ*M#)!y1iWnC$YPlqJ@Y{rI8R2=R?&pC<#%)cd5Z`w4D~ zD9xZ2vYqixuU}u@8OWakDNJZH`8jlZe%XI|g8L!Rsr<*;<}D97v?|1ZMZ!i4S$dH8?Pzdr<9)cf zl1UbD=ujY;pHQiR^JuNZ&}~LmG9mvQJfLvo{#y@Rg>PN!KN*rUT_bvm*~D!8c(cK;p~ zCgS%HV1-JFXIddXeX!H!AEQ!O5H*sPn5cd3l{)w5;7f>Ei?H~*O1|gXQ>?Bm^)pE| zks=PzdZMBpH5@4!s?ah~SZkm7?aklwRe>sZ0$96J*(_c&dY^M#V-Ys!W|xITCoyrc zzeBQ{nYDYHd6R1TpF(#gwW)UWJD0m(ppFv4gLSB|m~tyDj-KQi>H-OW%*K^09^gOp7k`xa)aR;KYfVke zz+-V&PeccUPnr&DGBG!qDTHgPdiBT(;?@nrb!D73%AYCZ(#F7*TGb)10e^bf*L2B# zqUv5#Zfs*l-~Nw#N6mQ_VYpB>(}82Qh4GVG{+ z&F&}hoVpwWhy$)o)a>;9*4U#bdu@x44_+9x_t{>|__a11(FzI=Im}Xf0KOL#`e7@jKS=t7^G<2r=Q+rD#bE zJ4`&A9o!Nm1?xv-PNR>Tb#`jGbo9oJ8JZ261TbJY9wA80q*7@mOtPh@D6;q_Ut>g> zsPDN6;Gy$NZ$Y(u@>D|SKz|&Q%she9R9&WQj4|3r!5T0KCKDjH?N2CVv2?aI=uF~Z zDpqBJ-6;$x^N(4e5{Y3YybhU;Mg5!D_K<^^GvdKaRopencG!@`D4Sg13fAGk;`o!I z1&fsaEPiSBx@;56NaWrvoz*{)6CE;o?L|Oc38H3irIzEF1mS6oALa^y>$X6@1;U=! z@4fHYw2se{`%eOK@9fI59~)gMpNkumT#e_vt7~AtZ`}cbyaNYB0cA_GDr!$+6W)$_ z8YU1k55VqZ$vZH_viB~AdH=WboY&s>=>P3e0$j}DXio_$8c+N%6n`8JPFPl~J#8AR zC{ml8#I>&cB=6_pc~u=aCYfMs5!t_Ec=#3zElz4zy2I3o|ErMe2;uJO#*p6#b)inR zCKo>FaU{~4u5pT{Go{(nQ+Y4L_?q%F7ker2SBqA)o91NOf_<~7!6LSx=mpDRaI#OV z(1bH=XfvZ=LPa-N)x<Pq zAaTpd+S)82s5{H73bKUn2SdMrd9=JixB-VBXQZkE*r8?F@Hc2%O&S@O`Tl6cW3Dd3 z&6eBt&CvMI+U7JY_k@?ofiu1vL{=Vk4}-!1kgM?Dlj1tz>laX+XHbY93;Jk(XqNu! zImIANK}k>&r%f>rafF+H@n;#Ej0B?zN-iUUYE(>*k@yG)Wq{4-%E^Gmp=ivhW|#_V zIb$#BHM+pEyrJuT0;B&8s-zq9INt+?`IZU6f8My}e&+jENZk8}5dqA4Ir+bcU%;cc zu%?v1vY2Vj=fxzO{Hn?`^J38AWpdE*xqp&hSfA^jSMhrPI0+svjeJTa%KTs-;j&2v zul=^@84Ik5dv?;thkcJr`=IWjA`u%?ka6(rV$l>5e7MXhA|iOEI+=>6cXVG z-p=2b3#Kv?im-;c4z{gae0BIoakLh9P^|)CNa-r^q+gbL5ISp! zrKK>6@X$A`NsS9{p(VJ}w8cF7-HODji?fY_;ec?nh=ydr$ebS8+zBJsRp-)`-25{) zRIs|Ktoan_2i84y8?${f<^HyU@bh?FYaRvtKCSxm=e}IuRYBvpdU4uuQ*3Xa4?WDe z!@AEb__Ao*SMsm*E#&H}^Q;Lh@Z}==Rvptf9@!_}I17p}gEMS(P&P~5)PBoyB+&xW zB|MdaB97qS?%4vjYcrzQyZ@Kl!aKEs_!r_Rg(SyM8a--$)A*~~5o+5dTdoiKmof0j zqvm=6Fq9)knJlWq+2IGBp>@SFodGX8zr63N)_EMAqstMVpAVwEK`Cfkybmr&v6~4t zM##HXAy|bwu9+!;;ng z6Ut#XJ#12vtl9i3+5w^`92E#h5v`o?slg+!8>}uM@bf-_3wAHAsCG!4$%NOS-+)gb zcfFn|PzVm!N;r0WG10^czEGa#xW&LEw9)E!YAr)JVsB;!&d^+|5j!C{LtsTB#RR5Y zN~*{#$e}f(6lx*g^;6Z)qHdAKzqw<|l^F-dDl$}}jA*jY`<>g4|FEJPQ4K76z%j+e zPtcW*DMr@A9AB?2+@j=FmMt>dU@PjDc^-xWkxgf(yuI#2?|%eRZbPz-GZ?**roy{c z`u$c5M2oUhybO|0lT#GIz-l8qE9ik}i(JxKsJdH*r9PFI2GoLARQU!*`k36xS4&p} zpHtv9Ya0JqP*=s=-?}bNPR5?kKQ^~^9>o99@DB@?B%&i&X^x7A$t<4UFj6C?Nf^CH za4xe|7@P5G{A8gOXd1(%cNegIc|oB}hNQ<`A3V%XiTWo)?(aa~Noe9Rhg$Vr6T zUimB3uoI!k)DaM?d581!V~ugPhFX5iN(XIh+-bKAoGHU8>s3 zCitH%w*QY}K}@Iu4K@JB*EJ#P7{I{U0yq4)7qR5Z)%ZM(W9f*aNE4{4_$+=O25_s& zKTZEt^W81mF!j`$f{#$(R%T@N3rXA6;Ed^*o(~t1qhd8vnniLwXwE>hdv~@#LJViV z4WhX{|I&ydVO}Ig(1gBfk2$5^5Wa*vKH;$HR($KsoG(w-0Vl$b+XKT?f~5xKNX*i- zh9qfCv0ytvJdSp^nlX4Z$xb-H=)SS;{VT^b1NCpk*bjfAo|f;o6PZ9>${@OSl>=t( zB7|hE!6VnS|I`WPf(5QcYURk`T|-oiI%^571c)3W0UH|E^M>wYqZ8D7y;Rzql<8mPJ2@AltK41aoS_35@i zuzxi>=`#)mJ^KcE(ZF;>N|B2W{X`xg7VSnqN2Y+)_Q4M){PLjpr-u(D^M{g(oJDC}7hgD7p{#;cLdwW}Owsx6I#WC)q=d^4cE``{TNH zD}T)>HQGSv9xT&O^3wrSwDUoGHPtbDSBk_$zKGmA(CIT1ajKP<^?jc%QNZ|d-fc0h zZptruRh!is`wD~7eHCZ1G(wMBYpEDkIUiOr#Wh9P(pyQt3fl3t%75YKz1rawhIx%( z3hu2_mVkxrvehW6NM@B%t>BxyRMBB0a>xnmmB%TYD~vy6kS+ zz#s!AGz60ti^xsAt3WaUx$9goJilf1MmN_3;uap1^M=r^2kTDo{9w;T9`oT1;bK>n z$FB4KD-O&7g_a5WA!(Y0YmgFlkZ=(6NM$$La}19=%WacU61rDb(o3Cfu8r1LmsmP z0{Jn!`(U>&>4DOye9q+;wDG!7TQ7`_!&y5m#@PEMJ0bMrfYs9t{WVu7l{p4!;p7Bp z1!lqyXX-5BtAsW{yUYI0AG36r0w;lr$(XG^zPZlc_?4H}kO@aXrjmdLDx31^)NGQy#bnc|C85<^pECF#tn0AD7Lh9?Hfjf zJbY#6#y^vbYW5lC!lo?@l**Z6{vcTpbbln+z!y^@Yv@oMl?9VXh|xOU;KmL+mAIeQ zNkDF#p&H~zpmwqAN}&9_~SZvNkH0p|oxFzk=6rl%)E|@bWnU`n)KAy_gyRPX$_DbBfM+L*{z>@s5VQFvm zN3e}dN`RBvSRS0s0v>%DIqN=4Cd+lya)E~~Slh-@)%3c%Slj_VOnM^yGuZSIslcO{ z@CR=M()EaR4TNBfhLnD;a4O4;$$I9`Rum!*PG4==-Y`F>ASy%cW<{2>{d{$rI}X7S z!1h0R--Vl3M!H4^K10gV^snC~b3(I<=7rHi1sTrrhoC&F5>jIqp;b((_f6S(zb(dP zT9CvC2Oc2O9*~z_(4?k3E)lNrPx2|R=?I)Q+c)usS#zs?Qk{mHb(a}XA2Oz(vm5VH zk3_N=MfIMU65PBov|SiFGjy-`BpK)^kTOY#-2G&^_lWTw@TtFE{lg7)a*P{G#ZE&% z*~p!zIRMyd-;$i?g8M@Xb4WhdKhP=mu{VpaO+SF-hO~q7k4MZECgC=)(>!tF_g4KP zP`3+|D-?;vyQX9^EqwQKXJYtU06kp|o?^9otUMx|=@e8TH&5#!i8nEf$Dw>3>AP%! z#fnGKta`~}WHo0d7wW94xUW(k{8Zr(TWQ(){i<WtgnWiIIMED{A zl2p0HlkdeCaxn^@g_Hu9q98dpv)sdiirx6mHvofwk)wsB4DF*ZB$HZsR!HkWIkD$y zVq-`)aq4-lQr_gw_myWA?ScbltY5)ul1btPy&s^$h)!1~Wa65FM)KYU(PqgXf#RB1 z9^00c>IkXBQm6u7_f2F;$Va8s_E;Rid~9||OVcmO)-!#)DPY-`Aod@<5)?EKb%F>U z7yV^Fg4$#SJ6L6X$t>PnNgwhSkmpa!|bULwV{*Y$cOqRL?0Pi^q& zfHeiTfT4DUo3Yq7+H$^)sUZ}*rpg}ThmiH>zv9HqKWj2-12-T@%C1GR$eS_Th zR-OfeYlEo!eKQC*#VnCEw5AJT!vEAYbJ$)Dh*zm8d30O~_8K7iIGw&33u5D6UEiv& zT>ZDn3&&1@D^-h_cJtOexNsg|TkO0UwizQz$306XskRQq78@Wp$hVQa9DqQDDH8y$ znNEZFIaVGrV_mf_q>I%x8gWuo>(=TiwU`EecI40{Ggcv%Xri5++^{_^uIV@l|8msG z8`?_C%XIfy;$pEDS_fHCUEy=Pu^HRglftg{Qyas?y^qa(ckRw0=|`RHDV{7Qe%dMb zih!2eaD`_4cCyv9jQb+=pJW>1&$Q}Jgd`kPMO#=n?sRAjb<&2VbLw!3#_FY_K;>Z1 zFxs0f^E)H(mGnzqWlEXrMOC@f)hiqYIP0>C(CarB?2RQ+RCXx!7#sGfv~$voKA~5x zEp+=1atj}B83ZOK$RO(^9r*~fy+My^I#MmvDYv-MDORk!^gr*m-z>b4@#tr&VTXZ+ z0N6xh>sNS_R`T=qtT!5TmDxN9yf&1n8m|~QmNAGne_RFXw`wa0}^fgWPLN^vSj&RWf%ijva=+T zi@**k6dCDL(?ZQbMTe$@H|iTNV}?j zT{!(~T)rfGV=NuAg20xf+`l$^FD49NE^5H(RQ5!>GVkDug|G`VA~*)cuA0NqUuvPv zPnG!0gQpfVVWwBrKKZ!AdJYr7TwkL8f$M_5rFI{*GL3oX&WWp+HF<9n7+><+7~edL z{-%gzr(^1aCAK)t%Gt%Q5OsI>eqm(iud~aXa)A3jmg^y`D3tGloMlc&GsJU|gb>|I zNm;`2BzLYCGu2eV%gXckJaW(Nuu?Q9r)JQCVF#_`zH+07x%sc<1-|zjVKhOF6wzS1 zOuzjXa!ajv*_zEkupx9vNc>%b{6-5!4lwM8A+|koGy*=+|1uj*mY@T!)jV9W-^ra=OV4};ZP~EY|wVN2bnE8p&rYV zcDw1jT%UNxVx*luHyoDc$Ut5m^mG0O<9GZaEaSI^)a0s|AJc&;kR!2gcWAu!!JmR} zV-$f&gT&q>2#tMA3mf-7u0sgT;6)Lj1Z~^odadEoA&$%26x^YCRuOK`Q}295 z9Xl;K!=CIyc6?u360I*?Xv=L6w~lAjmd2Z!AzzY;OlP>sG&XM_8B zB{@aE%T{GFi~+TQ15VHnCV3$(WsD-Hrp7(_4Q{h}RcQ(AMNo0U+EC-sV|rE&8SM9;3fcW;Ixx2-=efHD%@y z7+{ZSTXFV<+0ii=WSz&=jbYkUos%G`uIy^)Dwu&OsCC$gTr*!9OVaJ|m{MmbW?5Nr zWz35r=&rIPjhY?_vF@RwL=O8Hh>B7 zrC6R#x+MCcU_1t^NDqTNUD4ki!vYN;OPmJEjc^7^v>TnURsN{4YYB@!+PETI8+&c) zG}X-dvrx=1xtTM8kOtzUfXZz>QOR@ty-bD%&x1B4-nLXT{?N34KaVHZOwF1x#;T21 z(5#Wnuc3=t>T(G@lZ&-f4X*QcSt4;z(`gqr5EB$H1J({m*XIQ=v4PqDv6FNZd8*q+ zDZ`;@=VOjI!_Cp*4u!C9L3W8(!)wmbz?RM`j{+t8bu>kIBzz=-RC0eJ+TYd+S2?^b zMKcHevI8Ri;<7=%v6{kDgsJkA|vD>}(%M!&^(G?R8l$+*dM#;Jf2Rqm~*G@I=Fey)`RQ(R8 zy|!E8cV3@cN)b~@71%lwe``#(gwbAC`Wu2|mMv+e#0}LhQZ2RCciSdfIa7~5Ia-s(uRH6xUd$}BGt>?NH*bS8TR+Sr z)F$lHO$!B?Vp99$dy8T{?qERn?5oi5h@j7BdDj1QH-BL-_e-`sp93+%`hnUcs68%!t=~Q-tR8TZ-H5DDcIil^Qu}v{^7Ko)Im&*uvBUhLQa01=rwe zmL+u?v-a%e%Eo9X39|FdV=g$B4=v^gV>38uKS zNy?P22e|*5x=lLYOVE<+?!6t(*)Kc0a^9pdUw#GQQk0CMjr)B0U9^8A2cJir^)7Sg z?8EMX)zkq`nq=lhC*on6ECja7X5iYkQEb9Tm#h+8MFI9zBfCI)IK~pFEaE-|3L#q( z!P*M?V*;KmFbomdom)&c9w|EewaSGDAtu#$Bf`x+Qj$YMy=L4~CToI1s0}9&W2MLD zbF{%`P1xU_SVLe6{wvXQ0(r5aEQd!+{M=Y+Byk z-Hl>=A`+!q*-ds1x{y1ip8KggOq|>%&Aw`fRd`0J8T%o+Qd%GJVaMbYMHi2NFBo+Ne&ZTCH!CiWo|8amHMFjJxTN`4Celg{)N>Z~Y^)~RwopWcJ6KnW94 z+1#guHh$T|t94N?-coC@`D^x1%Jg|IKeM9Z|Hw11TQpU;8|%jt>s;~`B;|X74~4hS zMFspJ*h4t-(N7k8%W1*vo&_R)|G!^@1xUi{ppqf(v_`=Ax@IfbnBYFl#;FVu!=>&#v#(720iTnRgRu_5%b7-at;T&47|oqs|*FBwmQKKVRlUd-ef zzqs*m)H(d8hE#ISkhzAR*Z}OSCDIGd>Ms6}50a-*uZ)Wu|2+vr*Q-ZF`PYPxY)dC^ zUA`8RUd%L{{*z zDIG*Fr`$67lSv-$w-pd3S8Fvqt0B1Sh=r%JHiE9l_h0|Kw#2jx4-+hTwJ8oe4;sm* zZ;g*_q={)B2gctauy-)E+4*@VH~HZ*sosrb%UfU^KwU6fj%#`ID&25wU(^j`MuHuF zPX2?Os@!YEOz*}~g|WRXfgqk@k7E_X5(*MmC6BPNVKBts4lGo~POggzbPhe$MfPbf z6{RL^vY35AtBCC9S$tGfzayXn&E04ccik?L8)RVWi;_ql|5c8&9na$fLNgfE*=ZXr z(CQX3?IZ;G)p>@|c6PFDe2>*1!EcD6*tpcvFzu$3dL5f)l*b-48Fm5dN zrsl6%L#L$tl3aF=agy4n@cL|wo;%2pmm3rWnvPT>FZlo}%aj%YfruZs6#?SeEX=%i zGbQon@vpvZ)CI1+Al$}ezbOu2+ZXYdf<@JIa!%w-rMx_#+}ZV5%-Uq*yQ~jAqU~#J z7mmQ#fPNSn+kKXOO$hzKN5OfVLOF=M`aFJtYa+#) zEk(wP^8X1$2|uK_O5Q}HPB+>!X4pUf9)`h&Af+_as@>$`9L+a*I>t(?#@gQpkR9(f zyPGq|E*Wo;vihF2WHO)YZ!Dyxag=hFJ_bl}!NJk*hmnjy4LUJ6T@R2oOrbhxhUlYV zxq~bIK9~x#;rQ)yH*uEyZc=nF9y@Dr-+Oo~xR_S7cO9I_M9cr{o0Z|=>wEY1h49c; z(Z)rfJE5)yQ>G#`W>I;QRRl#T#-R2-6Ac3TUPVO#dVgI9}X+ zP-P({LS8SoVVI6iHv46NfR33+zM(L*cH`}!5Vj!TXJPZfh_1F(H0SE=ZgY-r*__g@ z_xF8G=8xhj29z#zI!lu-8yrIPO?UUg!|lguU0AiRN>I{Re!??j10Di&NyX%xS~H*d zWm_x0QCvimrI8zxWgTn*5yQ8uXEBWrsI#}Y3+HXR2~vWKk>9!ev!7v1(MWL98cUcW z#q?c&oGt$St-Lkg*VCzC=xi#{xXr`5n7H7~?*abqEcO}HTy)}>`zb@CYwr-mexKZW z85^}8fbh-e^A&~lp*Pn-mauO5gAwA6{C0g7@kh0}KZqUObzWT7y&R(%Q-IYi@jA25 zjOq_PC_LUcF`Qk{;0AYkM^42N|CLN!Ve$FbPW{o$ZYMIge}vfT>XF2otCKQzr#BJP zZ~y}AQ4cKSlZ^Qp)GJux&ZzP&ay~Blwl?V`uav^S>}Y-4J5BbQq12{lzf7?9skCObRgOW|n`Hj|M>gi}x_^7Ou zXo++8Y(mYd8nd`fS8@qQZG^*on+9SlpY7S!(i;i0y5f-%g@2r}grG}gO20O4W?4*6qzlxE&{t3V>J$;-)S=dnTO zwl|ti&Kj)V=e)M7Hu%I0escs&lq~(onXg$UL5Y7RPIfAYAh?gGXVIz1$980+hvuph zxv`H9M<5L4qUn8k6;adn`FcL)FD@7d=6kcJYtP2k1vIyZhPLeE@nyiB<2Ts> zW-#r;MO4%InBy~xG!-0psID>@e(1AEWSufjuGv)=tAjDSs4bw_&Lr3@?Q=8J~QDA$IF#eTNigQssAvG$6yqEk}4JV zAbz7W8zT1RBXy9zmt|f+FWJ{dwOz@lbivl5Ba2S46RX!Z#I(3K^gci>SvP^(Elt|U zp2apiF91cP%ibjBulVg(Xlv{KCpG3m0#jm}PW?9%0)Hz{{P}kyli8>jmvK}X)(nYSvO5=Q!u9WO?m8pXF!{ggb-+%tJlj@YTKJg*ryw9bJoFtF>MTw{W zpkpueNtT$W5uGdO+gm8HunqI&+w?*GN)*P9sdY-PqDnSEVqyh7t{we4ZJ18oaRt%*fRe6Y~(6?cP z^GX0k@~ZgAwzsKiZ9!r%*bCKAiQz{KF9=Iadts$yn&l97Ra!YQjlzFuuu|$3Qh+w{ zbUQZBxpnd-S@U{8J!aY74rtvz*UE6c@KQVAT(8}(_j+0tl{XW{@`MyC)M{?!L6_*s zu*v^U1H8hZ5N}9K*6R^&-;+}b0H5Bx2gll>j6vC=(#V4GRaHkC_|33g>K%T!l z=NkUj_%)}IGXXCCNdsIk`rJb|mHEUP(jWL;TE;;VAfb;pUfU#Hk5CmEh&jqN?LApN5MdItuDSmD&U5m(#n2y2eg7nFJUcXGW+#m75RX_ zZwhJ739y{l30y#k=&9WvZP@<}dK+Lu-x=;|KJzH@kIuq7SI-f+NL+0s+Q7oIJ-6pe z_o}OGVi?jhkG`F|wX0hjH!2(3NP<#g3Y?UHFXFf#(pcy@G!PsZjoxp+cPX3DOR=%x zuJ|Pj2`VC;FPAjNNL!H0B=TrQB!OCPq197t{QL_O6WQV@0+2`~#(|e7S({|l>510q zR8a(kYxEf`Y3jP$Mg)#Cy&L1%rDx)(+RJQ)eua2&TXlWp{ynrhC-l^rK{e6q&p&bD z@{7H9aB#Hq`d$>*YV6&-Rr*x>OYbs1=|k1eb=PeHGtgJ|ShsGA*u;ESl;uS*xRsQl z|H?E4c9ZJQ!9_sF7X8z3p$Rf>he+Xs{czLrA|-B%&J72MBX%meqM8&RMdxw4v=`R+ z#PiZ74{=2}QD*mqIA!23z=a4$IezY8cg-Jj(ee@2mjPK0H!FUlxvrz&A~$S;^y25J zB1b?x9?4kUcX^U47HxcV6^8p#h$Dy;xN(d ztghzfZqWXFRq*&0LTh2{8z`oBygjyKC|_G`X+w8G_;Xwlkp$@!Whp^Lc1i0%Y+wb^ z2`T19mQ;4@M^80G#D3*iZ|dx1OM4P7POsBwL|%He&0?_-+2rz0U3TNtdvid8lvO`F znJPw8cMd?amVehQ0tiuKstwUun;3ne+icJL*zS|}9|%uBI?HP z*k#-W^o^amyHkrt__`45(fm1gD$}yTe;h7+45@&I)wm?^v2qXV)6fc;vfoM*rl0qO zTw(E|3O}z6=cHXVWjsXq$orX)Tp=ysm2Q^2^QTQ*Us}LDtjzy|a8bsHs<_H(&DAJs z?2MR#Yjsmx_*Zw}wR84>)WlOkubT>){Yu}_5=my%kz>+&a!=sm#QxWCK?_6i%Ih%1 zq5D+zv9ZP0>6yv1!|^kBgcxC9M@>drkT#^KSF^;>Kx3f!g~a)>ncj|T0!0M4INfq% z;K`Q95Dzp?ccToWb4GCCr7N+Cmy5IFB}1o(*wEHckBnSctey1u!wl2M?$*s+)5y!q z_wSMHsj7{pt}N1bVSW11*!b|osewl;+s*@XW=JNzdUU4p%>A8mwWz~G#kkqq+gW?I zOB`cSPI7b~f8z1j4EQPN;Y(Mt$F@h8qnUKkW-48jMo+4#Z+zdNFyeADWmSZgv?4Qk z_37Q2iM5@tK4v_shYW*zqtV%odD15LcdUA~`|*tk8h&&^lmC^;Jxm!kuD{G`%~c%l zPQx7Q`!fLvZT|fov^+#5y|YuP&C7WxSI>ZCg69@MBw*zA_7nq_C}NVdEbQPH@SjD()Q7>w}JfgrwkV%o?Yg5^q%H z^yW(G zON8+OKoit53J$!royltU$$Zn)jhl-)YFhjqtE*%>P{W1hZEgr^XsOINi9k@sva--(WU$Jr&Fs( zhFR)soA;|bA3WYrk#A&3IADkr(l#g@zu!X$b%^NFLExe#`fERF)-(EFdLLDu`!@)x zoIIWh{TaB(kx4?olVp?;CFC1P_YJF_@yKZ)gFq;Gb*x><2E~g?3s@X+;Ht^i{-7kI z#znb2#xfVfu#_&WI0g~&^J>i28Z(@-Q*&^#R3oK{jKcB-nj-#Toy?rlqG?*1YgN(W zQN(9wn$<;>344E;kzu%yNy+#$Qkf_0wNtzR7r7p#-sF(tTzR0Th@&WF*uzp~BOKKa z+;BMn0dl!Cd26zeOyek!71&+Q^kw9F%3dS0>%%69@aCXBe3DdkV*fw5Sbi{cbM~1B zS>S8VmLGnrsw3I9h^`j%S}|g>O~F{mKT z3%82f#-=VjIa*QZG%B5nJM9S}85gAy1G@&WQkbh+UNu-dJom~qGWiIM80mX)CRsPU z`0Nc!Y+`N+B8y>}T&wi_S_LUSAGm${=JNX1;I%3m8BS-nj+OLx+FO6L^Znm--Z|R; zlWtJ2H23Y=oI2zXiP=AfCtsetZxeK3*^#m=tukxq$j1CYFZi^%(;JZ-N1pSrs{z5T zH`Biq68Qe(H?UGa&y4&T{tC>H+e#n*b}m#2vnLe`1O&KnxG5yo0vYhCKz}K92x(Hg ze*_u_uA0(29l6Qp8m~u3+1;!}!cY_i&gvk-2{@z~$xB9`N$)mkyl&6Ioe5c1G?0s7 zO!6Sm#$+lJ9kW>$@P<61`<4cRGUuUism4wT5ds1STvX@MQX{$M5bq01DBe#%!f9t% ztv(=qNL3)|ckvv{>6Hv+x3jqQkU+vYf3R7%xqn zXm(*ZP^xY-pU#m1nY{?{dIK;F53ET-Vv|^&1l;`YPqm(c&M=V`IY_pYMUBHL*M8= zeeKvk^QR}av=3jc0*(8rF#l^40fIRq|@yO+3$2oXjlq<1zplB}*CoWeAw?BD4|VaxjHTdIB5&d;2fKMd9e)mf=q- z7qsERt=Qb<20=a;UqVLd`t>z&kR)Bd@cdJY;%Ez`Fu^S6>mRZ$_ijwaCMrwMolTr> zD?YXSMAvi=DOD4jZ{Weua4YE~-U@X&@l?~Jm5`XBau19mhiGPFlT4NF9eq%Fb-z6u z5YaM!b-$@~u4QhjWi(p9RUWkoe}e&D8&K4*wd~qd;j%B@d~_J&B&x1=caaKf8w!{W zcjl5~vgyKI^$_4paYpkuIZ zdZR3dR)Ls9q~sCK;=(H2yjCXs?@$x;pM)9zd;2fKMOE|JbQf54B%=QP$fCTVryN7^ zo>+fQNN!zuMU8^&m&ZFvd=a_7+FpFB+O{60A?Fe#h))RKI*Rh?Sa$quX<~XJHr=s( zal7O8StPb5trE&Nmb%_Zbc(u_yJPXhMO4_W?9{JzH!Y$3u6Si{XDr^la|)#sH!pS% zJb@XcgVzSpl88?Ak;w7#TCc)zxub%{pZBY8J~9agX?EiV$}dvTc&F!n#V)Ou5p zz*TIo?h5^qc~$ z0Yk`=nO9{lqex{rS;Ld>!6J60$TBGkI4r0eLGu$;4pves(8aI*XEAUet;Da~7W-z@lX^Hy zytrgxCcaQrRbFK%e-Sl!#D-q}=(O;t?#1D3k{sJwGF_Tj9i7P<-kRNCxL&0mtgUUh zcBlPr%NAC7yl3M<{8Ht>ZlORGr7b7Sa)d8e3q9gqefN>GgEZ-wE)GwCLG`SU(7$SB zZ9C{&XEP)p&29}wGqQ$v29MGu6dDyRO!jnwq0S_2K(XtEJttxUd&+Z5^LR>YWcoAU zf_5k=#$%SbiZqIRyFOzHxHfH3;Je<<4s{AY7-bn*ETf2m%Gmnn_A9Z+H}_K#r@Vld z$ecB4@KIRv0veDx1ac@lXqjZxLp$}J;|dgTEXQ+pNjgVKljk$J8GTwtpamBXn#roC zc$A9g5HNtIP0MgwUX>;YmumE?gl#+6DZ$l~$LZ2MzzU^=7gqYM&aliJP*NGj7Sx1X zUPTgCbasv`rXasp;=vj6AL!YN49Qwwqmg2bhxIZ&%d^=3D^1}VskDe(QwzbtU1SRB zD2{_Hq7dZ{m(p+2iaEC`vMf(l)oB42ZXC%3&0!-YT1cL!HA+A-6_v4+qzo8<+cDvD zhZQ&zwHj$v+ou#T&sQLnetU3nzzmc8Ogba3pbwiBB%0C6q%?hk82@Yg55fgKI97Qv znwn<%GU0F12KMH5&*GthMDLxS>T7yrVs!6$^iw?*8@P+C*wMm{hPp>fYU_r#3ol=V z0x|w%^QF=U_qt+d`#!2`s24n~SfB@MZ5h8SB>JGa_BO;1B5L<^qWfysdrz&Q!a?Zw zH*s_Bi6@^Pw=`WdR4;WvOIYftFbvj}UjMH4F_cbht(Ib1(X!W@8PUTZv#D%(xd(9Z zSRDih+l$X*AYUr2#`DX(AxM(PHFQls)R^Tq!%@dreI_$4a0^Dtcqr9B*Ubqey;+}h z=`^iS`B{qR1lCHLE2mQt0=B_Lyk4FoHpochh=gLeGRJJhaF8~u18-kLXB1J83|3fD z$p8~XP{vpkv{TBUzAOzTD!0ALvHd0^ zrS*r{hs*E)2F)9vTQ0~Ynp7CXYH>NRUu8ZmUN!4+wSK#Z79!b&cZ~&dl^h_WFYwDw z2&wqX!B?T9o^KAzW{tb~xr1#~zK{_dMY%d#TSLfqhcPq0>@AuAQ2c}U_M`jlce94BA|QxfK1F)x_1!9tmp-0da`R5-ZfbkHh|E`FUA4nFF4=A1;%s(PLs{pOQy47eyn|JPXGw=R1? zaVYVJLHc8g7pH3kOI0e5-Qv(g+7bXpJ zcENqqPTfHjuyB&qE=Uq|K75RcWcFyney53r#~^GF?eHMyQlR3s6x2_&(J)KHJhsc3 zp#wJGHByZn&RvSv5jSvPQoLr3A{9%4kCDl1{9@IxL&+D(H4c;`yS1QS^xA{f5L7Tc zhuFpJ!J?=~&NqdFygru*3!MANf;g$uB%!Db6(J{2EBbM5l3a7>?J}7Wxmma*C@B$M z5Nrrh1~XCfD+0)sRsLW zA)3HqR+BGi)b%UDVc{c^+@%c3TB7IlAuU|J$qr90h9Hu#*Ts;Jj4PxKVS~d8&J4%s z%XqOj6mjgV-Y#64L=G-;GfG$LtbUn`H#uFPzk)m!%2Nuvw#oqbKcx)vR>#HaybL|o{vGJDM4GVos zHXDRv(JG!LaACPr*Klrb*OnTDfh5_i613x6nk>G0*`U7M_eg9Yo|RawFc|2;y2>ln znaH+S?a+Vl8kx3Q-uy_(T0jTx>5!7k@cx_>F+jcg#@9Adk$11HCj}Qoxy{52+U(Po z3FM3_kcw0k4u3#MwDs64xK1>$Z5D?W4;DSH#q@qYOhOcykx&_RiYwK z$XumZr3CfOR=2VM$^p!1$~Omj7Th&)`8?caw_1_ z;Hn|vPjJdGPqI+#0taNZ`qs8xlx0mUli0AuQ zZX^|9FyuTiWy$;DpnIR#|JVM5Z~=(0EL5mFb_UgGnSEm@McfpY&)qtIZS}Ddv6_tD z8jerRF4l^0QL=IKMpkJvrr1DhDCw(RErNF z$<&h_9oH6jpL#$jvFh5#TCZM;PwtW!XZ>^>IaY^E?t1&RtoAJ= z=609vd3h9NDGtL0oEtH-OUOmR6MFf|>C_N^O$a;*hBIKlo^-j`GrI-2u)6JDMKT1@ zdE_c9m=>ci?1kQnNJVchVC|V&wkpqM(tt41dL4RKKJM zk=gHuSL98(BciL9=%})M;j!CcE(qr3%cTXlPf{DFCqLK_HsMJ#dWu}hCoTuDS}!6M zZz|A&?9u0&Bqq5-kJ}sZLZ3-RDx8*)xH+AclW;~T^y2xcA8`8zW(TU+115ZRJWswB z?}%S!$32=xQn!GQD*AS%9bt?hvA7(NUhGc4mi6b`3C<;fji@Sahg_Z`rg}jFmuUh7 z0foF=NGVpCKA7LnW-d&OC67)zq5r?_KL{6*wQfsaMWo?9SWXn~A#S-Zf6L3KSabOW= zHi;d9#P|N+PCe5B3S2-lk8PI3aRR*Wf8Y1s_hwCyN<-7^g{`<($GCPB5$mN>Uu)v% zqR43*er}$Pv;b;KJ$ujioQJdYwc89`&2)=pN7ZCX(mlK-9hfl5=p&y-Cs>%pMy$2l zEH@LPAcGHTjj&Nw06lmUqo!2D$Tp2l$TA8HEr>KtbVHOXe;fdoWu`N$>0ANnB&y}0 zMld|wNv;S$$n9=hrQ0yc*Ti=`rD$ryW`uvE>I8_WNh*n3Wg#Sz%IMW_^hlqM-^I0x zUsEzHG$S>`!~u!o&XW7!VvheIT-OC7*vy8oA+oc;8bI;!4AZ6gpoSRWQ2p5cpPNa0?A(gCK1$N4=_`2Py#dcf_2gtTmHB=H2kDgfO z)rXqhBmSCtMC*kk-4F&xQ8rOV+O`f7o}_E1WvHFXPy-AFKoEt^d)ckfgk8iyqnp4H z6Gc!*mV-!4lZGzah5;NJ=&H;Uj~Qr$WR|NJk{+m%j%w&>&gq3Zx~Y(ZvP9D=F}6t0 zk{fC1wWJ^eC-MRGV7rh6^n;qtFcvkdr)N#5nt|&yBW;uv)Sw`WBteI5ucCB|VbRq+ zdK>1jNGUCDluOjb6m(oMR&X=wY}+V=MU(OTn#$10wKS7%*cwJzqpLcIwO-Sj+>aT% z?Djj3O1Zx|&{UO@bYIij15L-XCw)lh!p#(Kf25+SV3*WwII+ZekJ`skuB=V>5w=9ZDbEncH7}Bc`mbC809REMK zIQpC|8&_O=*Sgy`ZCQT=qzQaYO|QFNSw$^NXPr8|f^F1>nIN26?|$&wjkMT$YSrz0 zZN;`7yJ!>}+Vlh1e|q98XTEebv~R>sdzUX@KqMPKXZsoi#sGcu!SoqVzwzuHlLsI3 z@O{61RbaG_H1p%HCqH-0T*ztY?|rs%&jx1XM}!UGLvCdzM+ihiXNN;+uAh>tvDD_^ zjM(vAu>2PAL$3?CZiKv8o>=BJJ=q+qoC1+%Oy~_RuS+JqMjA+XM@HK7RLxO5lna^x zioVS)EIcUHW`9Jl7WHETWkW22j-M#G>TE&nNHaR|O(x59l%9D04P1GEX|E`yM#R7| z!Qen|NT1Cm?1nWV(DiP)jA|sO6!Y9Gii}875>;#0NT;BtB1AgfU=F*sIrL-A)fuDT z=&M#E3{0zS8p%MU>oR)9wwy-MfQlUkC_!di(sDtOc}B+fkXmA(cp=8c>K8~TAkts$ zwPkl~=HZLq9DA!~WXdL#X~Lwa)mK$DyBc(J$)QWow@K4d`$IcBtWWgqD&7vl7sbEL#99WOJP8)H16Ers>4&f?&hI5y|?%_sq$?#v_@tnJBYV89`i~ zfXR+{)U2UOio7=XuTh|pLawQRYCVn(x?$7{l?kg=NM`7EONqt{mQi9KX}0^Z9u(^% zLf0j;+Ql6IFSro4UU2@yyUv_iv1k2yY-`wX#9h}MKXv(KJB~f#4sc8eSjJ-M5cNtu zcquf7{kyK)0(5w1#nj4cnIrj{^C3CoVE~TX&wmliO5x+g2f3+*b$(zh!ko$4dYb*P zRCd1lVEW7_*5w>rg=5$LB&$xB{ZFU=1iz--HlRjX@a^|LIDXI8QYL3Z4V7{XQTDA+ zM^Z=uAcrO?F`~B(EeXvuKif^f1$`H>S+d5^#lhQ=Rf}i0q})}J5b;f}S5_I|;mrhT z*K#zRAp4qXAk`V^6tLzXzp8{qz!RlDmi3V_M{%|Lmg#CN$hYrtBL=st2(k`z0wbyo;FeeDY{) zfKF;!=_NIS77_o-K)0E=bACZwJ5|01#fER;occRf0GSS&+SDJ+b?{7Q-I&>Cf|11q<(TIG^5JxB#gj_Gucoa%ajA3FA+n+@8N{j_duo>KLV=_UjvLrHq-)5? zZBf%1Ya#cDX=0Jvn4`qVrriOJ54UA;45uJHVt61D0x!dnNGIJR;x$ zzp(B^`BZAV^r~iJX}vJ9CYe?pBOy+{ZuflBqCwR2+p`ZQZjwafkq|_>`7gr`>-#G|8 zI^Gv@Cr#nG1EVk;i&k4j%4H8x^G&Q&c5tExVZ<(;7FIDpNMx7n0(DH2GBeG8$8D7= zjaI=J`stfT(Ui^RVayP;6X(K2_=%^5mg+$)!C-|CZQ7-BP9BU^HEZ&Uh7E~kPsG^L zNbT-1V-MW`MP)UifMD2?2U0qq&g!8x4#H8vJlKULAW9DIuI5Lm`IJ~RiZcPT1>w38 zJx&0W1|H36c%Zd|?cin#5q=Wm6|YOF{0 z=(xys94=^w9V24gVUTehV4Gk^Cj;$5E0;~RHXA?CB3h31+@8><<# zaS;p`Z<^IOPS_S6Mg&hsOGS0|1J-d>X~IL>5A{qCXIHjrQs-ok(El7rXMXmKjXpe zYX?fhqMl#}?z32h;)3ePZf`n){Im{qGR|Z>bP`=rssTYEDweD7fx~MWD0UYPJX2n`>8?i*Rf>-Eqg|({Lhx_>y$}=v613boonD zC%mz3)5UL`b<&f^9R2c(zzqyktOi_s(L8_m_Ir2kx^^>-zug6S{6x%N9K+_W2|HHo zg5t11pwCq+mL^klR?QI)eE#OWaGc7bG9YdsWwu8)<^J67KvSUfV8>sVj5Ih&WX~wE zjI+Jn^zc1@$^=T7%bcQA$bJvR0cnzkLq!28scFb=A@&nZcUc=$&0=nFjL)`uGRl?u zhzYbNJFJg=Asg#36ITrkS>;`;}{Vloc{N9vJM?yFIod^+fp$rwd`R@Wo^BPfnd6b;Dx zBv8ZEgMetZCY8y(2_m+ww<=|93<6hmpUgVmK)s0262jK(JlJfu~%Z%$+sNy=WyU^8rkEwqhDE8K10-1hwoFXVaU}sIG4oFm#`k8P z`wSczwIv9dk&Beb?hF?I<+Kk zn-(OKyj4m)f|@S1MQ}}=pu@0?z%3HF%>bN!xy|mxLd+XFrq~D9Y2kH+6hcH1FTJF7 zFW&fn!NqZpoi}yjiKjoa`>N|sA+cinlUMBAd>#jdD<8dS>f(FW-tab71MS&x>?ym? zdIOp^hl}p5FP?bf&iijUYB_TqeBicSo3?XG={PLV{`jMBq=n%E$&Y0nDWql+x84?) zee}Wiztqs2NTj&#)ZJX}GgUFFOiY*r-@r+~mT(oo?zH=j9ut$bP9qRa9koEf2cdKW z=5PivG6uF^kc^?(vK-HNs*MCI+96;j7b5;JdPt#dk%Wf2o-Q=V1nUvHY-H-1O_8#vSlWDE`-`zIZlt{j-`O@;<3R9zgw-N`ge(kv&<4N}DWD4YBHMRw>a)M%3-m z{7ctfhH8Ls&YPk3vZ}wbOfP{0>SJz%D5AJmlqL8MS-G0T~4If&t0BfO+@0lkow8oDfBD+ZpxC-(s}b8U35DY}}fo(`dTlORn zvaXjRMAx-Za4Zd8EaLdD!-cSJ>#?~BJ#v6rc_R#;Ub&MtPprE7+%>mf%sXLEJLl5r zo9;R4sO85#v+vR!w>-J;^2^TR!p6Jr6(4>DYDMZ6vV6na_uO~h#eB{JRmh6Z4#eP~ z{X<(mDxg;SRrUq3*}6X_U#GA9ra@;i#S*R1&eP|Nb0YKYYN|$vqgs#8DPSnVg|mXL z(h0d9fukn|n?H*R6Psl2x=z>LtVkCluq&eO54HTOFkoZ*-H7vv7NlFA$lOSPGnOPRh= z#T2jz5;3thkvSJj3F}@f$si^x)Kbwj;$dz}hM$c1 zkQ!T(hf75;PXv|Z$F|I;z^RtX*E9k}scV^Jq07y4Yt14l=_#6GNSo>g`hs-}bwOi= zu56^9gaWj00vgYlJE=gdmgXcXR@=2@+ZMSy`XoxNS#k`<(||buzPvp=^*V)xBjYYy z$8(z}P;d zF~@%$F1Fr?mC#y6lWiPs(C_aAA+X1Cx4G9-Q4U2u2-}219o7gTPsrc=SD?T_ds|@vc{z_=n4>&`! z_I0JeM2B#e{liB-97+m$M)X`SKR@HvaF#WBQVmtsb&AZ+d@N+W7-<$Wsi?d3@O)_a zHd1OXv){iE9!Wlw=_jQ&x1f)<9% zlmG>Mj6oV`sil!5Aj<(`*>%zE+iEh147rUJLkmPusRgvQr!tW$uq&d}=(KnNk&QPS zu9(UR7`;GZEo!_t&`5S5USBiGEKrbIx+-RBut+o9tOY4%eiC52tBpu>hfc9f1dmHTPWx|XeyYt!r@&O~(!B>{4L$U9?a6@VOx&3@l=$j1*U6k_p& z(Vw?hTA+60%w)xnsE5`Je4=f-orK(TnFf*1uqkKbX$&r^N)3Rc!SrMi1^nR`f-4UfDsb|6p}r55#t@ zH5leT9zUYFZ2r_7Lv;u34TH!TydPI_KeIS?bc?dw2B*2Lix_&XP?DDmH7U ziOfM+iTKd9&?IFS=k9>dlto9%scIqTgl>aL&T)SP4k~myN=hNA33IMusCJazIcvfZXVI>WZT$G^wLryraYPC$ed;>_n6$k`;-)te>gx?nzSYsZ2)=p20umFSE>ipB3msdc?bA> zv}}67T+~k5Go^-wa-^)})n@w9A>djxS?TlVfnm{Rz{s|RgN*Ly|88h3jdd^P_)o&c zG0$9j{Z^Xce(QwCu9&|1?x#O}`k5D}&RToKhRvjJ-*DOfsYz_#d+e>dSD$vm%99_u z==jgRt1!E$jr-p^VdXVvKYi_%*CBMHXYv-9o?r4d?Klm@U;srLqBlZlm@oi*{{Zzo znRT|}Gq&hRRRQ5)I(?mnuEEV0HBSFTjPe;9U~gvU_5EuDJ%tUIs2-!x>~Jh8zy@1Y ziCVHW+b^LdpDP}+#@4cl6Sx?W&B8!R%?9!Mo+2Ea?v|O9ZkiyFxV>mpBNTC2KauO` zmZt;H>XtU~5}_u~w3C&>bjgjQ;()h--pfQCd8yCV;eEs$n6~m+%o}uR8H*^bdiH z#@zjJ)uQF_@5%LJRO8J|lLNOv9z<9|9<}YRv+sFgKZA?Gac}J2`SdzUJ1!l?-AXoiZNLEV{R3`eaHQH4m_Ch~UkV+a zD1KX|%&YW9bfC8lH7Rg4fR9ql4K4M?VAE#CtY{1!S)&KeHrlGr@IjX`v<vv zRgX}pRZVj&-)_{l`D6ve12ppx# zVTG2;rV-e1gcw;kj8|I*y0hR{kqI9X-9oeP{9!&@s7$Ez02llhLQy4kn%q4iMhAtV zXA{lzXHmkZs%oZJWwaA6bx8Tao08@~4Yl1|H6zu1nd?Ui7dbH-!`}K($tw%gNi{#J zHDBTLcYlz4G4hgUsV1;i4n4m*?+*F3@U)g!zji*1i z?uM^FvhlwTjHF2W#@Y+vsC!%TNnn16hE=pu++h2IAO*B#Q^i-EvOn}9 zJ}wbdK-XwG1{^qnG?cpPM3jgnoVzW>kI41I(otySGPdlhn&rwtAX@dAn$ja0zT72I zdsZIRD@5ybVDC_>w#fS^KhR94@>Z;2)?gSi9X-peQrPcSS^6e<+F)2vcR_N^gNre5 zdJ^h!{Fg)o;DYCqrcEOyF_iRDi_MSuu9m%S2e(k6*|ftC+TNY9I)Ea)1;&mA?8fL& zPhj_FAvA-aUu@OVs_Ia<0K1ewkpC5uVT_y03(%l*nR&*Y+Zx++A*3&S8G;M>52ziy zp9NVep@ep+!vNQM#IWoyqXNYB{|;RE=-pd_i^UuNO}M!2_%$zIu>0I=Ute+c8B?nt zxcvAFS@+X46D+RW@%C#RELOa>Ywb}-EPwvBou};Bv3@zE2AlpTS;xG}S7Cb+WQ^&1 zzan$J=67GkIL``olUN{RW1O^^5# z&MOZ2kjFk7U&wMl?f(yC-H_uDoI0Dl=I(+t+O4rQ2=PEPn^LHzHrG+qmvHVj;sAfC z+PHwjcy29*W|`VJlC668ic1qhOJ0bGV2|U!P9{1vU1#T0{CvxR|jKmM?Kp7IB9K|QShJRnOEmi=X5uqgOjaG~^jOH%hDj{hWFth;FAs#Bia zcj8SeS8U%2Z}BTPUJYZ}EUsSr_)SykioCr?6Zv%Aw!KGFsU92&0fG8;4w&T#y>%_4pg2b>DyA*ED~KrYVRj+c}%% z#CnW1e1Ca?39q#fT$EY?Et5LzXql-hQIaO=3zO03T-%R0I4>MnU$pRD&sfpF;(V}u zcW_v60Y&I*0sm7JODA*SHhX&PNB})%`}I%b<4)jzM|yJ+!qq5)XFpmf{TVO zGMxe4KrZxfiFg^55ne*w@m=5Kl>&zYr8W{}Q8qXoH6JdpHMQJhuwu}V1D~XTG<|hg zl+X9}q9_tdvj|8^!_v95fOIztNT+nCq`=bM2-4lKl+@DQ-Q5BTNd1=2`+fi0>)P2l z_qk8bJp0UW=18Ub;02%og`)hc(j|QI63j4|8#wGlG4`v8#QilOl4B~PQhF|F9Fg{f z1SnbJdy^9>S%CBysiBJ&fWg;YBe3+17|^Y|ErThQk>I@X-EOr!Ya>^P3_6Ya6)z6M zZt-i*jBB1rPctx^EZXPn77jxeO#J>^E5!Onc0xk@vc7QY)=Q8vPOYw+Lz zPW`WV)Rw+B6$q!TT z!VfJ$G8}Sw>C%Iu<;!Hh+mVx{30vB~pZh6x8>*AO50bqq&zA|hchaq+ zOVn0L64BGf(A)y8AHc_7-7qdX8~%LUH~O=oOYxb|>+ZC1_9|fPn5xBmND;{dLjZ95 zZ=85E+0$+Xo7ZDDjJclKsSC@QZP&OicZD0Z<-+!>8DxNL)HyR-GMRcH1GXD}Wg`?5 zCgV)4zW$aad_f0dMyxfJ{wd6UVh}W;yzY-Ab4BG6PTSf9}>3g{XB_O{+|*Puf9$NNAl-EcazB;Uqha_SLQvo^zKMec^lWnE>NceNURi*RD2fst|V{Z zF9mg9nk!~!`zI~#@+n55-9)1JgH{(>|Fp54x64jW75anb>*lTkcR3_ogorfruwzcd z-1Vbq-RT*}ZGv^;@SUhb|AfEpda;cgm))B*M<{#e^dcOOT}f?G@$x<98%!)142N!n zHGruQgJ?cS23RK7EnQNRu#_(A&eXQ>lg4C`MTh%9zDQ>HRU)Oc14W9rbljfMwq!?e zg=BGX{~`fM6!^2qdMtYvr#L^fTm;BSNd9A5X-=J4Susn-sv<{A@!ERpqMH36cjq@1 z@tQ%K)zEH7Vc*#kUIa3@s~@*%y}#^}q3^^4AYy67`(^9FeR1U&imT6fMC`by&8&%q z-CzKNLw9NPwaU4U1E-J6>5}DYVsC;7aK7v`<)!syz&K5;L`uky?e#aAn~j`Z8F`1P>tU)AxTUWo*m&%ihL#Wm={tSI%iFJ9R9+o%ecno#VJKYmhX zch!r0OtDu}L9VlllL4x=6gO4O*+y%ADxO|Gui#p*2cf8uaPKP3ST>d72qSJjHMNs$ zN(t4|>`dO=q|j|{Q08%-SiXdpkK_^5U#8xz>a?L9$|(fc-?XQnvsN8RJDM500cfu} zL|pA{rli(~udY%%(8rAV3hUK>$~DJ`#QhCq5Y@&3G0G__f^XEYT=s&Cd@m}a zM7kcs-HSWWk*&!$fjjYM;XRXL4_%Kg^i}M*M0`E&zzeC$IBP@Cl}U^njgWK`VZ@H{sA$9_`;w0lw-6*z>g6 z1EHv^7-zZJwsbXdu@`V^?v%I=y9VYrcVmeFc|Z-P*G7G882}3*Bb^ zZ_kRNT!pav{(IWZ;JIv6H{R~2d*N)$VO$%wb4>9M`K%U=UV%m!4-!({+hw5e^v1YXaQ(iV`V+j8`8{_al@2-@m z)XR9PfBNf|mTn;ExTc(mBGE-mb}W3S8p2rf!_JAd37=B^<3gP$4kQKd95tM+syu8% zEF&CDUtJR9>>tPVZ8V(iMgWs6ECeGDnrk^!*e5|AoC0M7R}ABqkur01z^NF-|1_w) zK>i+wiE@{l@jW4x^SH+Vq9@F*N%lo0_>IesU@kJl!q_jhAM_J4XeKJgu%_cHpw*12 zv~(}%HyE$g(TLh-jQf#H%e6U$M`xy%s_JLqb-df`3q4-DwSDBI`MRCXj(;Z#ds+H4 zZWS!8PrtXMfaVHrC!V#i+e|9r?|3-lpTJ`o=~2Dox11@s`|IDfStEa8+l(fY<>N;( z(W{6hYGuSo-Vl@Phn^W3 z)o}F?Sbcfx5+=G>5%|P|HE2sW!pvAiER zv8rrJ@T#h@w&eF$P51NL6?@ke znA1ZvNx>VvesSG%!Mh>)jKG*5bkl%@4Wke0;}Y`b6NMS!Qcc)1HC(|T(u!36^$eP+ z1WKRtg8g;nRNo4iP*c*pcdCCis5vB<`03S)^0Q6S(!7s58Y&d#)L(870vHsUkfaDr z``{5}o2s^mFqkGwN(Iff3h~vz1-$>l#-dNbp6B#?6_}(gwZ>;H;%h=Rq*_Kceovpk zFOC}OOW}5R-AnHnqz-g+9#H(0QK-wtSoIBBh@XeI ziLtp;RALvq6K^sp5fLUkjtQN@FR>%sCK;t;Mb6Oc+3`X#MTkB%(Q`91#E21psEv9+5Ea!?F&bNpd{~731x_e`c7LCDW4`XtZn$fB&>KDRIu&mw^!~b^nKaWV=z0aO7|r35J2*;> za`Sq+v1mHmrvH155s012`^}4r92BoXORbXkYS#Z1eN94wS?MgPXz#HvzI9Mw=+Ih6 z*D@ChjyOrgA6}z%yqD2htFe$_sMF7Ty%j$id*|@Q>+Y_K$>rgV zwx#n`hYopseVd@-bs%*p%k7_m(NCQd%iVhBiW6}Lc|BtO-TW$(SHtJI;$Ii9xuiO< zCO(cZMxkw!Xh&JT;n(y^;2hcaa^7a>YP6~c{t5N@;?veBM?7J`>+Z1EKxOLC~) z{7dYsN%+5<@~XMb;C7c7i*EzuqIcgPmh7yte-KAR=>gMd;QPI$zi`rY=Y)3Zu2Q3qh12s&C#VPe&?_;1d_C!s6nxgO zW4EK5MGOu5@qBe|^-Qmx2ys$wYjl(7hoF_uN3$qq{2A$9MKVj%Ip7=%IDMf)_U(I& zMBlsLjMG$NRx)2AnZ^T)iEi%gKc!CR2f3}ygvM%kwD9W^`XyH-ikdI z+|PejV`!kE9aOcqm19&Q|I zo2$1UdFpWVd8B*it&4PHGpmk2N{J%bfaEov=4B;G?f=qO?%rd^8wYd}p)1M0)vpE^ zf5Gy`7jM(g=Gz(9F|sobZj`Uh#dt4TcPj>Jg~c}oMyB}BzEBh4+t8;Ze0Zb5jY5*5 z!3mIl^E66B`0_vuFyd9r;e=uQ^r^j>Ft~_0G})WsyFJ+mlr&^W%G50pM84Vpdrc1D z_(9C`p2V5Np_<0sqK^)8XJUo+sO7IJXoMDooQEDyS$1ISM^%E3zI=$|4`lgnW>DYB zh$swYB=_B`sUh4daHM6PR?U66@2NGZ4rVwUsULUAEuGSvt@BmJbfVoE!%^@mOOAY6 z^h2-TW?2Yp-&1OcpMScOurai}$RD4?)RPtV%4s1jT7ROR;#{#!Xe!TJL2TkJCA(&r z#$TsjuRh(ZIV1Vkc2Uo~^Ke^sDz`tetUURE#XARC_8Up%S!L}Q@)r2je@RQ(AO$z@ z(@If*b_5uO6+7Je1-M3pyy>bS}VjrJ~Y)z!?o8=(m}RZUg^ss>3v~6 z>5NQEN;;pg!0HdE9riEq}c>=}HA4@`y930F%0}oRaRRjb7acBZjPB@_kJRUi6khU~lFeU@UasFS7NIReYl@tf6#j&@awi0=2weMXLFOj_tTK9N?S z$Cp>ol&m!6N5md>Wx!lT1NaDY)6+Nv>KjDGy}-oIu|*F$08q~RQetrpRM4CW>+7Qg zolC51G`>f9J0G6#v1y4hzqT3B%}IAm#2DK93zv@7WIb3nr^L<`9C&-plHldIu{-0>$>}6cEfX<2=w(5pT+>u% zL3Je{EKWBfC!Zkm$LXb)&B^c9pK4t-{`bZR@`+bUrd+YPwy`( z?ia@^SQPlJd(qcHf{Y9t@z@n1RmoV4qtVQ*4)JPXLB{vgsvHjs-O*KWHBDuTq^0Vm z(51M55#+^Ctk@BC-sO)AbOddpsuG> z+I;w?W9X-mY~!NUs>Fb0LZ9#Ss~V?g%J}VPXJ|!kqsJFerw-Y1`U>(2;rrNiy*R32qOEe=BVm}e>bhntv$>j-nH=y2Mj-w zJRB|7KI%XOSg|s|?gx`H$31g@QN30}dI=!FKuHYTQWI#h5vzaL4X=P0Nw9AZp6_e%p!enVV!tu^83~8KnA)jkpdK>K9SPd6>%_ z*6}(zp9f=`2ZY^id!o_!VMS8UeK_upYrRADE_B|6b=bO#=+uthR-+L-r8tkBZnwsZ7{G%%#v~K*`H->2PbPm za_$e#%^r!1-U4cJ!wF{YCTgE^}1iN2WwyDL%6NoI^b&GXBn0G5XNq)Rd42f zjPUwi(FDP=^_;l9j1-I)%IUq}WXp_^=2by+X3JGi3R!70M+{!;X}XMOCL8fReV=WRf5T?Lg@n=G@a<1(+@+1;foYjVZhE3DIR zRSOOUaS!K+6&g1gQvgeEZ|byQ!;l^KKIOpJhvv*#+j`T8HxT3SbMT_X`tR3>qD;~t z1?>BE-yz@r=o^~Rc05Nm$~>0r8x-8@!K#I**2aiz7dVgD4Z2!)!@Lv=NY3`yQbc*3 zM6mZdh~e@Fv}xqyiz4Z23mkUAGe%9dq`6G{@-TS6Rcl#nBeBtXF)7*>tqnN0?_@Q| z%rb1kqRb<-Ha21x4Q3&*?tj32`uEV*yM3-@5<8Jzhd+PHk0g%`oWq(=dp54ciCgei z+sW8rakIQ3YJ$sxEm!=QYsG{kHKOVC&BwrE(f+^2P-lnUw?arwrf1#eA9VgQD^@}n zGdyIm2H&{ia_yL=bz#pa9+=DUX^&ud*O zDdL08ZB0_%^sJjh;um|H2Jam7NcJ`S{_T_;V>&Ue>V`+|c(;~?RH zfg2nI-mL!#3mO1d5T*M(h>nbrzY>VBV@I|m(;H9!#rJf$(!v4;GGXJ9{&O(pe$z~@ zlFO5tSs{n}Emo8baVDR^iW573s8s-{>Jz*=qCY(=>V#~M-ZMXHBzuOMR0nLhwfRDH z@i`VQerFAl`ds>IsU4@{o!&S&RABgAyfKc`O9++K!MOVE>EDOsiK)yfhIg#wAoufg zy-ssiP}))e*S8t%w73hzL7Ae9pMkWQkDD%cL1U-BWF-=)wWe!{D20qppB@-7NG6gE zd*JVoZN`HgAk2(oGUrZq_jF`aQNV27E1g zyv#z4}G(3BE=9#x#Pd=NJe6m1C7LEC9hU?;R zud3K)Fb97)Bh%VXLSr!0&@s~UPwD#D#dhg4e%Bu#r;%>0%KB>Xg(z0u$btaEH`bmm z7OW|l82S}i-aY(#;4~zP#|e(;Q9hltjVM-rRNN@bYh+|@J#^uQi%N2E1%yqYuauY zsGU3cj!G#IrH=z2hcAenwG!jht{JQp@SIAULrXt?e}?`2Qf0WP*xfPv5F1#>~BYd!ABs8*ZXL*p<;+^1zhV z>4J?|WWEWoA&yc3M&%a>oEP%S?1q?8{Pc>#FngC2_`UT9dg|j8OATdG{HJFHN%BEr zX#U#S?Kd4`KcE*M=OpwW9efYIzo7EHB@^s!Rsz1c;PJY~-xSB{bMSuJDl;{1r5m7O zv#ybhU(S)fnw}^A3t^h~I%~UL?O5%M3VkIiQAW29C1*H<;{2v4ys;HU#`m$;{7E>b zOC`kjC=}FDGjN%_u#k#$V}5T63MZLXO2(npPgrGlbcn82u`1#8y0|eFp-Jwu8tvA^ z?kj%*xCb*icBZqGQ)_QI5OXcH-mUbwj@jnd5Bm@>C6+Qo?i^NxMlyKjUC{r53iiJO zbO?7-0>et%=9;NxTXWC&`M68oqS*Z$4S?xtwe6(-zz*gHUR+8Rn;$1scrMgsTh*sByA^l z<;cdd+oUVxmoy?F6TQ^0sTF@n0el`e2*)dh*efc_%=w7-GC+?+3k1E*e079f^D_Q? zn9ixl_C^5x##%-yDQ|ek?5He!Sj(u)-gwU{IAno2HE^WZ<&sH{0zbx&MF#-@*n;h&az5sk`Izx~t9YfmMiDfB=_0!c0-nW=!gC3B;9_pvG_Vqn{fSHL zh*y=h^hc49I_p}cjn;}}B9B953>W}_72*Q=mmH678(o-&#U+K0m6-OK(lieDUmb|~ zD~~;NsYyHjh1IbC)CB<0W0(ouksb2F*(uqh4Ci*i613^lDyTDA@0cCSPR0P+?sh3g z&Xh!M&Tqd2h!D=gw6qmK8S+v|VXbUi;7l8zhmFgl_!ehh(`_T>b(S5IOt^gx<}{=k&4G(T9I4a?W354;h5li0OWoNPd+QhZ zO1bUYXQ3OVak$Y^*VpsbGJ%i8fdGC&s0{$Tf%5||XA@c;+>!7(tFgJ}UHNWGa<>M2 zdUYbh{r0!H?T*l_kO1TaP)J!CoV)xMhU=pCXu5V0;JF=n7xn_|_UD%HTA0<5%_BAZ zvl0M6xpBLjYpzNEeX?J3P3lE-|6{MA!HUDjU#GFhjf1${P7^!!%%}iBP)<|S%m4=v z*KaVm&lI}9T+EYek-3?G6T71*`)jrL``q2x4 zd{%wJpD86^kDMb@{)JkqIiJQX%d!#9?H2$MJpV&rg?bUe7$cBFYc1PRc}aF;`gO%? zWvc?hIjilFhos($dIKl6FFCp|001^TE^Fr^$yHd&r7GwUPwAys3d9$dW2^5aSwYw^ z#>_`ND{F1DPVnE%khorq0T$o~^D6pM$0x}453QVJ67Jh0{#Nm)xUgQurZ#&U@T~6# zM+9LpY+o-&;So_V7+pgwixCy&=Wy8&ecbq!}%DGHCK8BC)#k@XOEm&9cVgf|S{bHa(x=v0LN(C<}ZKy7m@^{lwz87Q; zw!c%i?n9e3$N5jBa6kNbM1U5ElxkAKHzSHKc*?v2EGP1002^+QdWJKv{>NsX9O#sU zZKb?>Xxm8Z^pe{AC3_FrPds(&NP%BBH#7JP6v19YNZiI%$N<1*{{Z~N3ZDT|YSa9& z)YNg}u?b8IWTT9uvQjlLrgqNVKHi9Jsfpk4zBJ;_|M|aPR5#$adzi4qLy>fsO`~8{ z_zsF6z;;3$@0VNrG}rVOB!~j%f9T@?0HIX0K=p_Tc)m;lhhe@PXz_SxAQ*=_H?1Bf zddRJ3Y}^t}n7N`}qKY}9_2L}@4jqS^!=!16`JPHtCsaFm*+)YZZ4-9i zuqAOrNX7E4lZ*t6u>dpOyvHO4&nj_a^;~I_<#J%umm1702Lgvnn9CH?2yZ5lw;a1c z!&g{4Fa9+GpB-YlX?xu|Z^nqGq&A{YYu0cyhj?v8V@T|o%tBiZpn9eLcwR}CB1r43 z2Qz&_M3C3bPoePQf)oP)z#z8))%nz@|Df}APcaqY0`ciiQfRG>Y(6^b>5KepA*e;qO=ET53T8#uuel3SrsL_7@_UlV)8Foe~NAAHGmZ(6LO`yI2^yomd4pIU80;Z#(1Ra zTx_gZ*eM!Cex7s-wY89+nADQGv(RCX>m=< z+QzNt-c*zf8Ug@c2>D_APZVM8R>W&*bRK8z6+eMsezy(5&u(9yzcqBMmK=buW4cnt zndWjjdF9SdS%>H|xNPt66|BF(0syEc1|$wzEGTQ}g^5yXLl?=)1{kxqQ@~3T^(67n zyiW|khuyd-Yx-i3*;+ztl3wkWF*^#d9L2j~eEtRi5QZv%X4@LEVr%gSn28(X2kL37 z+%E$5)Gynhjcfn_YZNQ2NXe1ycVrs68@u*DZiV>bmHn04%ee&2vh$>O&nQXwVT8Xm zXmU?a29k)DI>apR+{Qk{ObVF8+$50@+-)Ja>(lmsY2J z{Y)MWux}b7Kurmg2lF+DCD_IA@eFzCN1h#hAl@2 znoZgx!3p1V5cmhzw!17(EF5(5qgk@s(lwhoK*>(u z?=c^A0stNMUE7;canMmkNa`t*(^ii={f5f7O1i^ZZ+ZmQZUmpF@mDklBOhtll4|^T zeyJQ21~4OxjD0!JOduPmrEwiJ0AKXU;PJUH{#4eZHj)gySkCfBdIv%Qgw7Y&evTr6 z%?Hg0^2647{<%z6IBERZ2!D$xFd}(norDxY1Ko#NRWOUigi811~lI?*GtNmvdoC)9=1BBx6PZAQeZQ*#Bk_ ziV{{JABvR*mUQ4441hg7AV4okDYxV1yBXIBsDmes>)nW?G$^DK(@ zzhFhM-`lBf_R870tMxFtRmyzM&&&vEF4gH+cr2M$=ngX0FEY7OXA5iW1W@D(bbV48 zsyE85+ilr=vx}RR(GRR`187u3QcI59rv7SB2aoDUhhsk${p(aJCF``%_E_%^qFdW} zd97=ri4tgub2ozfWDNQ{yX^jN80=MHJc&34%=qt_e)1Tim>A90vTZu1^(cs=V#}G= zL*|0dVIK>W{kR(5t8x|#;81bSjWrpi=C&w?=B3X~-!-`JERtS9?e0ad8};jix29|r z2(6WqQgQB9aG&fz`al98*sP4ispTm~*?o-x(ZSpQYi}TbsKHucud|C!a0qEi?dNQ~ z?=rZnCi8L*i2LT0Gx%rEdvH_Zv-FTez7F~?mVq)8iXtY=3|r?L{rW*7{??Xqr!oqiu)o>u62SU&bD!>NP+lLq{IdbJl!{%z}~j-x0)zqCAk zHc$gk!ZOoz<=Th90UcX&GlDT7ya^{k99dnoKB#~)?xG9*b8AAV<|EQ-jC&_B$C9Nw zzVuh>?Q4(U`>NKhOLnei=GT}!dPNGsSV>VTp0l5vqX&WQ>6bA*4?#{kbR&Yg_!k~t zzbwQouM*XFyK+l-R0;?L2`L8NM6MF;G&T#2v>0r+(a9-QGb#(^(qkRA97;&47xzp2 z!G1depY$>AOXG>KmdRhl`i?%z7XlV`f@R3g7_uYaGu4(YdO6+I(b*>R~0rvCCm_Z zAfvcL(CgLU_Zli+c7E;4?xGn;HS*!-8oPaE2daPOyg1w(lFx!_qwqu$g4ZIh_mKe8 zqn)}~2PZL?5^JQ$lM1+Qb2y#W^uDb{lQXTvD*F_6qMCf~xqjT#&-h;3UQV*W{fKaY z!1%CjXem2zMv{{b7^TQ_Nd^pqFbN5j2YRHuKbv?7DAIfSo}izw_nTm|^(>Kx$@C_y zm9=nsn#Q&+k@g9EuQhP06JzO9|HCPDL-&NEwUM=+8ebp(08^pX*D$ zji!Zv8s1}B9QS|ne@1)1PykiKjIQv&l{xssEuI{4J_h0g&V2lch6Nd!GO|;~(X`A{ zqyS1|(wm>G9e6Ulm(@~BMQ3~1R+Ca5EZEEa7y5c9cLbaT{dDb4yQ{az^IVV{^6ip!8BhHO&?)wo1u!NHycfWEzAS`}=n^n7bJ@^{Ik6Ss&SUkAk4+7+jk) zdo%(s)dW-$WuXKrqXcH3T`FK?5BP1$BRWIBhJ)My0yA;@Fw<9T9B|r%T)`DbjYAYs zNl72!2|O9IZHHJCMoMkd+v@a#sSFbnti zF+W1)f}9Xroi6JM(_In7f`;p0DroY%xj|wNWy0!#s51prh#22ji$O{^a*`40%ng!9 z38at2O#RB!vD7^ndY3aC+;m{|Ef8-dF-nhG1em?BLeCiT*=U9HQla~Vm9lx|Vjs@!paWeFLD{wxisY#f`b^&@0wq2+3 z!=$LtDgEM*UM%`*@MK$4nKmwi)5a!B>DZ3wMiYaRvWs}2#RLNwZ4wH660L!=B>8Cr`F^d# zeJr*&wgVhSd`r>4E0<_;)pm0a5#CK%wrAw^-IAClP4TV1rzbCB8Kacmkmk(_Q}cF& zN$4wR{VDx+@#AWjt%|y4ZmF$be;Y+eYo}uP6%0S;%4%}DN&7HFqJCS=%91*XO29~8 zrp2Aw>!|moI{pXLs>A2V{4BCeiI3XCV z3A*?M5_3}{{YH~oimAT1&7Xa$!u-$p$G^Oue&vx~lqSkW zY%_$5F#y{P_VzxUxnC?tmE+p69P;koa2-z~l8VPvF!MV3+JwQvL(|3*Sj%#Xdz)DE zj*(mEOUuOQ;Gh%5AGyy(3efsm*Il-ly~~P|Nmvn`F7>S{#f)^|q1?CG0Z9akX!-hwyKH@(eH%^Q90%C0MK9}){ z0s!kQs@|Q-Z5qK3?=CoIm429?RYhY*-L~pKN*iUpF8yggre0xCj~zLL@Rk%PeLR62 zEdX%NVvnp*et1NK11-G>DMstv5j&WR+S`<)0IJd=dh8oum6kvjoxJrQ2s5dN{urbx zq<2Jr?{k)6kTb;f>dmS%65u>KRHFEw6e!^e=mnbtAErYIMpjRzoJ46zNFoz$0pI+B zqy_Xo?zmJ}ygWvQ;a9c8EPjiQy#fI4WxY4$rIWzXQ(^A7iId=m4}V62D@~VJ5G`ZJ zFWNe>pBW`jQrBuyK28%qO~HuGk97k)E9ad~E1y2Me~#nwhZ*R8wF=Lpg$E{DHFfV) zy=r@XmRMEJAXk>V+c4fxM00r`pVAeobPeIO>v5_kL^PD&40gMgiog|!YPaqN+g~c0 zBSlON@QsI#7GxnN1KfjvhN^dhS}lmNYul7x4kHoMbl5p=5Ps2#e*SpoII)Dc4%31@ zPY=BRTd4R@_70|HiuN2_PmzC9Ar);Z-ywB8E|Lf#kHiX*lL~(jp|6Ss`&N0p+!l=^ zO4#>%K>!LxZ*hwtc|n7MOhwo<1!jYMuF=uCnS@35h6d9}%HkT^ z=gpRT9by*m|IiFNR+p7SAp-wlLl1Y%(LGSQJqeV3=5Z}qF<7k6rNMPWXG<+f zdT)}fl8axS*`1xTmJqGnGjLw;hG zs-OgtG7&t^_q5`anh;c*PK_Zjk8m1xvNs_tXTRJJ z%$gYBpkH}^GM@nfFCUhr++nt_S_Yq_;o7!UlnexC36sBgUMSEx^is(DN_V8xkz-A= z{>yvo8j{+?Yh11{%|9x@q0l3%O(W4Q?!!V=oFt3X=rX))cfRRrA0-I3U>tyZit7&l z5=T&gObxS8;EO%VlP5TvgHN~?F3h|3be5HHnAtkj%sJC+W8gF}(O7a%#L>S~XyjGC z`;((d#vj6KCGn>%aID|yc(!V)A|AXW9r-f8s^AeUnW0=UQI{*!NHvYM4xNC3h+NJi_k&$t}oi=k_gTSadFP@PeJg3hbiF z)D=U-eWa8@Dtk3!F^J{6s5Gdb)K06}-Oz=PFWn;(HEcYns1X$Pj<-|2kU8B-e8Yvt zFv$M=FvR) z_aQ%RKx`G*22!l9)8vaneL<}$HSj;#q+#J@#7q#ej$Iz=mZ?^Ck^&U9qVOd=;v2&M=n@{JN zxN(CKZo6TQ%H1=+RjepCJIf`~k$Fzyq|~r|g1|LTyZ6|kjl6#bFWHp_uSPR72%9fQ zpixKJrRfFl6Mne&C&A_gwQ9qJbeLEx=m#W3b!GY?5HkSa2PN=<Go)NMDm#0r=|*|+;_CpTf!-H*fl?}&$i`vmC8?gwf;MUE=c*2|cT`uNV^xm`!jhe?HPjSh5S;^t!S`JYxzAsb+M(OeoogT-dYZEeA*%q0-cQcX(IVD~A<9VXo|=DheUe z(x3|K!sk7$>_JFXj5`~;2AW24{Lva?Iz9zk)6+F6`nwtHp6FrW!D(q*AFr!W(YqbW z35Q<~EmAdGB?EBm6Fdaj>#Awc<#Fm3)jyufFf-h@&^6MYUGcMcIbKqloW@g4Q?YFe z)U)%MP+aB4CiC+U-r`l3!OmN=Otl@OZUOICh`bt;up3aW5PE#-&hcQm+z?hUSG%@y zCv!UBZa)&fzo^W8-7GnMWQ{_p8_0^O$Qz8fa!@aDi;`y>qc=Sk^W}F*nZKYKYUX%+ zSkrS|c_ZUwXvM6soGM4lj@hOZa9dXFt@qeGeRHZPShAGS&n?;ZL7~^IR#IS@@r<-} z)maLIJA%J3YnN^S9` zl2;+_&SUErrKle6JnE~;vFMj64I$6@G%mWwD3R%|pm~9$p`hH>U?}A{{Vg-W()k)M zLwmeT%{P6I8Ovy$TC=Dt@?HnC!9e&gOZ!}*Gx#MrV=W^K9-d4tq4M!pr{?1Wt>iE@GL1#EP zXmOm#T29K%zgd|nd|k2z3*#NACzAXId8Ryu+~~*b7uhKl@t{qyWbO)|w`-lLkh0h2 zHDlhtMhqV>0c7T*@0)gVj}>S;vHixDSm)y=?Z-x7sZ)->BHtba5`Tn%(@Mep zD?JPO^z(*0>Lw{OFUEnm$(is?jI$n~g zA!VtDMRbpbOfI>RZQJ{=6N$iYqt*(2k`ZQb7p<%y7;^>cZW=63wptMceWlG)yPI#g zQv!bKlrYf71!f`4nc{*%v7?Bl+pD&w(Gzs++HKW;b4+a-+*E0wwLih+v48@?Qz@Bu_n`PAlT132KxCwMb3Ho z5yxiNX;1VZTYF+T4@*!S8&o?v#6tibWp|`$jOa_QTY92$;b+-peIJ}+qs1>YK>CQP zm*Sy&;`!0C+?saxJi1lnm%+4*@GJ^u*tNmijTC62R34&B>>!@}oEh2F-!MFtQI+Y- z=0|v!y_EgJLC|~NU?Rh*8XtAJP%~z6%?lxnhPdvI1S|&9B4;k2%vHs<@m- z;c3Dd#)t<^q}T?E18r@x!ODbI)nL<;%`VGE7S;E9Z;~Mi-(ffQmq^b%ydiM@{dsge zsDC%y!)rGUn#O|v5fLu*u>OA2PYB%Kyg)KFCAu*8XWt)1c!w!9xF7!2(SPlDxmqT` zkTAs1pg*LDVmt=fWwMh~UZPJVEw?)AM?*+RE^}@Jf4>4XUOxQnDTt)<=;P^u2LJ~) zuS+tivHjxPCM1Jda>Wrz!~s;WGerdhkjFz6V9JaLJHsGqiUhDGL=d7mVjn@CpZ*s^ zFpLdAfc_mLlCLlTf~|Q`P}+p<&L$#R_3v!%{?i2kq;`x5^#1>slF9~qo3+S*bSE~1 z9t{KV`!A``Ax(ssM5y%D&Wmqfoqp2*0eMan(Vzd5E%SekeR(vL(ckz(sZf|KqezB)*rXhP=XC0iwL{SwG}55K$c&dv+GD42oa= z*`2@3dlHhI&>5p%S;D%|yIPhRZdP6}wKBSxf$g^AMZjPeZ7nhAyvE=ajlszk9i{sS zqD$^|Ku-zISc=jG+zgNk1mEZLR8u5`n{xmfJ29U%*p{P0tO7!RB7X0rgD^A=`^4`u zsX&js@%RHV_zJL)9K2Qu&J1oO;a{Du1LRqU=b+9e7>Y1v)$#~d#phC&r3R7*h^&f? zEj3mCOwL6?2J!d`6vWa=1_wC@0rxeOSavEP5{W9DB?hL{01Dx#*V&>VOAJn0ro{## zV^0Urs3xKc=ZJwoqMMi!qZumbmQT!3H_VVoH;AQ;T=$P;5+KhH5B`TbuYs(S0rb6* z19;RJFd(SIp${5py4eSv46I1}4Lkq<+{awHwG6I-NX>tU+ok{P9gd0ynJ&mAt#)(d zRBEll+&@i^=~za%jbUA+jYkZw8QgYbPwnfq<&8^@7D$ck=X2On)JRwnm>iEBNp}u9 zY-D^fK`yt3SjIu);PhX0g+uE8XnQ#HVwj8`BA0@aVRDK!WZ(pM_NT#GLy{5JivnE3 zNKJMKx0H1Uc+N@|tN*2%5=JPCG^BrP5i}5M?nrB;Av!3|+GCgwiX6Acrgd zU4JNQ2KdvcdcZ|H+g*pq1=f%q90K5nHF!D_lxYVq_-PNnLxOmn;l}~oD)QJ@>(|dl zSHQg^oZx6s&IqjqP+a=A7HJ_8WLH571k6LnG|DL_NmYQA18K-(z(0o+SjGrp{0%`) zlt0CNpy(5F0!Y_}U}pZLl-%JBwIT}9#Sd#6(@ zA8IzIL?g~vopJTMQvL{coJUEBUSj|J>9BC(lj*z5>dm7&p*B4d#IOe01RtpYazmB} zk`HuhRWlBSl|uPGB^!3XMZhyKeuK(yhSyIO;F36DP_pEb$E-U9iJ06gJr8XX+*txk7GyJviH8FW#3O;Ch zHB|?|>o$4zbM$vw5hfm?FciV(@|Fp=llsjVAng70-TvC=Hmvz33Mq>4$hdK49fA%J zCVEpThk-Uouhhi(z6|{Hpj>tS2B8J_dD7I=oU>-_Z%y*f{xpu$Dx#@aIJ38Y`noVF zf#85kE-&t= zY0Ft6GdxcWA{9W8X)vb?-CW&HHO%Ao(v*LgSl-EHItesrSNNl1cj~LVdHLEg%)Hvs zB7q9qx;UYP_^@|$(8ZmgV;Q1@1w*#V-M~5t30&t}Sl0(@3k3na@n>?I*5}$2|C(LevG>cv*x1#3 zlM4ekE5#FT%ZRZ?xNj=!Vu=MwNnD|+EsI-roYRD4wezR4NvpIIgr zS1h{5VTSGiCP{`bA1W>0^7(KUQiyp zS43^_eM1EH8+6b)ITLMZw9_GO8Eo#!rrg)YBWX{0Q_a>#zD{o7et6ID=r!L3^g=i+ zoRacl$Bv%0LcXl^1Y?q7V&?;rB_Mu!@C`M zP}zrRGL$YXM0oK&4sKX)z^60(8cOJV@o9~Uu!`a{db**I7-R6d`ZAtt>-=&DU7GF0 z<3V|q!7{=t;lt&*zeKKk=dpI4!xZ*NbkqM8BS4;fc9*bIOlYDI@DxZ!1giZ`q&z4QYrInxazB)pgJd%#7xBts$ zM)TIQsN&Q7%2fAdL6X87GWF~0Z? zrfJWuGV{Rd$BQ#;l%aUGlR1gnDwHzC_z%NXPB%IT-gLzmVSK`dCtRbS7JL*d-g?-P z86l}*W{p0mKiAUjv-X?E9&2yi>g?;#aoSXhQKEx zMQ<{~ULSc=8z>TW22Rh z#4|DfYKht;G|;BmUJ`mj=(yGRQh~tT@uXc)E62ab+1A~_jZHQ{gD=cT8RHnEoM=Vi zTpo71lnBe{P&+!WD)eE?)b6RL;AvM+eUVc3m6}UmpWWK>*seyi>nN;F{9ZoOni{%p zb^G$>f(xN&_8&fND<#y%=?Vuz?zkGdzmk@*PIJNJPEfs3KGIS?ZAHNQfyZpGRKHX9 z<=FX$Bt53!%2C3W#=Y9@@2o`WnCXc;c+FQW+Y3CvK7S>D7~!QDMcxF{tO#M4|a%(obs=1TOOFze_ z!I@Ku!~MkmnCYHtJ%+Zp?5Z-*BmSRK!yz@aO8{)xZO#6?P;Os3PKcgd20^dj#jR9B z3HzL={!r0njBO}*dltHpHFs^NhQ0K%(NM@%7l`~hn5K`Ho`zQTyOw)JwIn;pdXZ%p zygZr%^J$>un*+*scHh4B727WN-YCeB%u&LS11zr0N&TdSBonJ;<`n9@?mDf!w@SYn zYcT*;yC~rB;bIUVxSF1bcaC&p%xB=-2S%#X3-Zjz5x zjq=7tz8rd9s0;Yx_h4CG05Nhlo>BJ}IjZuQT|L~{D}b9-dueed!D0FGcHsEO(UN>V zM25c2IXA?ERd409HnUOj=GsonkKa-xH**>XR1jGN7AVN(^yhptW@dT4F%p^%d;ZyE zyMq8p<6og7e09cUu}U9{B@4ZCL5Sjdw&t7< z`%XpDxB{#cXS36x&UOk`zG9S6LX-UUF&jCu*KlgYhLi}g^f?V1`00K(T9N5bU1*p& zHy_0U^Q;SkW2sC$+h^%YvNm=+9BGOB7Qg3&6QKPkshZjQt6JQWVI793_xbWlBjVPf zJ$`+~-!C+~)6Lzfeb@eSXYZ)w2L>R!Z@W3IexFmN)SAO)As@nB_N}8^R5S+$FB(p<8UtD+TnS5MTlPCrHe}%C|~0%KV4z2 zy4Zm|N#rLij$0pl&qSLhv!*|*+v{qGoYRqGFpBAO@CR@|dk~j(x6`()P;K;fA;KKJ zNm2Ktqwwd4=XsdeJMInbJZVsLj7-J3?78HY>((#vN#03=4}7B*()(_0CyBA|<_aO* zdPlOyEG=hFPYd6jSqgFL2Zq>tC%QQnkxjdhS;hmGKO#vT=ciM>!vmlDV7|8DJ@#T> z9G0loLNJbrWJF|%ZydD9&}54d$YggqiPtymQJfj-E~`Uz0*^xMT1~o=S>4U;Gk9Q> zmQJ$68NEUglF0KLbvVX=K1&~kXN-6GkvzV3UKO|99PfE{HbgswIphI}zs6Lru9lel zc+v)}S)#Z(vDTtRlq{Lr>av0Nt8aMKMwYv6^4ZO3{>0gO^8>XXVRf@PU2vOWs$Jsd z_}h4Mcw+UWOF`^3*Q#rA#03eif}L#DN7`QPaEzm zdJmu417EEQnqD*Lr8{@HX9*OdQG6=rV)n}IgXw`g+I`r0KM(N zG-oP)#;=Fd``+R=q{s3mrFl*2KN4gD{^mVwA(Z*EY@~8KUAdeM>e*-SlcoEmRXZkj z>gq0*8u(|7x#%s_sAms@3()Rub#G4$9Thm9!qV$b_nm1^%NFS{h-N>aSKP$mWF}pM zCn5-ZAx+J!;|D2hQg_c|^8(4HP*-$Ty&Dw)_1X8fD5RJJh|G6?pqhGL}k8 zVjrY=kg@IZ6j#x>8cwil_uA}qh26B}PgkkSKZne?4TcAnEgDO1l*Xk+_`FKkYKVH@ zYHb%%8T2!}iQA*%t$M#dNCkBzCOEwD^&aF3I{)_k**{xt3}U(PPC>I>q(5G3q7QR! z&(E4Q?&b&Cg`@g=<;zzwlHxGRfVOGJCNr_ierY|}Ra|?;bYYP?Gp8dh-t2}t zVc0RrJrGdZ+wo~(c&Ghq=q%zHhr0R|Jfn;W3k>${Ar8k0S6AN0` 控制探索的程度。 +如果 :math:`N_t(a)=0`,则a被认为是最大化动作。 + +这种 *上限置信区间* (UCB)行动选择的想法是,平方根项是对一个值估计的不确定性或方差的度量。 +因此,最大化的数量是动作a的可能真实值的一种上限,其中c确定置信水平。 +每次选择a时,不确定性可能会降低: :math:`N_t(a)` 递增,并且,正如它在分母中出现的那样,不确定性项减少。 +另一方面,每次选择除a之外的动作时,t增加但 :math:`N_t(a)` 不增加;因为t出现在分子中,不确定性估计值会增加。 +使用自然对数意味着随着时间的推移,增加量会变小,但是是无限制; +最终将选择所有操作,但是将随着时间的推移,具有较低值估计值或已经频繁选择的操作的选择频率会降低。 + +10臂老虎机试验的UCB结果如图2.4所示。如本文所示,UCB通常表现良好, +但比起 :math:`\varepsilon` 贪婪,UCB更难向本书其余部分所考虑的更为普遍的强化学习环境扩展。 +一个难点在于处理非平稳问题;比这些更复杂的方法将需要在2.5节中介绍。 +另一个难点是处理大的状态空间,特别是当使用本书第二部分中开发的函数逼近时。 +在这些更高级的设置中,UCB动作选择的想法通常是不实际的。 + +.. _figure_2.4: +.. figure:: images/figure-2.4.png + + **图2.4** 10臂老虎机试验上UCB动作选择的平均表现。如图所示,除了在前 :math:`k` 个步骤中, + 当它在尚未尝试的动作中随机选择时,UCB通常比 :math:`\varepsilon` 贪婪动作选择”更好。 + +*练习2.8 USB尖峰* 在图2.4中,UCB算法在第11步显示出明显的性能峰值。为什么是这样? +请注意,为了使您的答案完全令人满意,它必须解释为什么奖励在第11步增加以及为什么在随后的步骤中减少。 +提示:如果 :math:`c=1`,则尖峰不太突出。 + 2.8 ----