From 14c675ac00e78d3bc06aa652ccb3053768c6e964 Mon Sep 17 00:00:00 2001 From: qiwang067 Date: Thu, 16 Feb 2023 21:10:24 +0800 Subject: [PATCH] update errata --- docs/errata.md | 16 ++++++++++++++++ docs/res/4-10.png | Bin 0 -> 13374 bytes docs/res/4-11.png | Bin 0 -> 18267 bytes 3 files changed, 16 insertions(+) create mode 100644 docs/res/4-10.png create mode 100644 docs/res/4-11.png diff --git a/docs/errata.md b/docs/errata.md index 35239c0..af36cc1 100644 --- a/docs/errata.md +++ b/docs/errata.md @@ -31,10 +31,26 @@ pip install gym==0.25.2     举一个例子来说明预测与控制的区别。首先是预测问题。在图 2.16(a)的方格中,智能体可以采取上、下、左、右4个动作。如果采取的动作让智能体走出网格,则其会在原位置不动,并且得到 -1 的奖励。除了将智能体从 $\mathrm{A}$ 和 $\mathrm{B}$ 移走的动作外,其他动作的奖励均为 0。智能体在 $\mathrm{A}$ 采取任意一个动作,都会移动到 $\mathrm{A}^{\prime}$ ,并且得到 +10 的奖励。智能体在 $\mathrm{B}$ 采取任意一个动作,都会移动到 $\mathrm{B}^{\prime}$ ,并且得到 +5 的奖励。如图 2.16(b)所示,现在,我们给定一个策略:在任何状态中,智能体的动作模式都是随机的,也就是上、下、左、右的概率均为 0.25。预测问题要做的就是,求出在这种决策模式下的价值函数。图 2.16 (c)是折扣因子为 $\gamma=0.9$ 时对应的价值函数。 * 55页,第2段的第1行:$p(2 \mid 6, \mathrm{u})=2$ → $p(2 \mid 6, \mathrm{u})=1$ + * 96页,删除图3.33上面一段文字:事实上,Q 学习算法被提出的时间更早,Sarsa 算法是 Q 学习算法的改进。 + * 96页,删除图3.33上面一段文字的参考文献:邱锡鹏. 神经网络与深度学习 [M]. 北京:机械工业出版社, 2020. + * 105页,删除参考文献:[5] 邱锡鹏. 神经网络与深度学习 [M]. 北京:机械工业出版社, 2020. +* 116页,图4.10替换成下图: + + ![](res/4-10.png ':size=550') + +* 116页,图4.10的标题替换为:理想情况下动作概率的变化 + +* 116页,图4.10下面一段的第5行:我们可能只采样到动作b或者只采样到动作c → 我们可能只采样到动作b和动作c + +* 116页,图4.11替换成下图: + +![](res/4-11.png ':size=550') + +* 116页,图4.11的标题替换为:实际情况下动作概率的变化 * 121页,图4.14上面一段的第4行:每个动作计算梯度 $\nabla \ln \pi\left(a_{t} \mid s_{t}, \theta\right)$ → 每个动作计算梯度 $\nabla \log \pi\left(a_{t} \mid s_{t}, \theta\right)$ * 121页,图4.14上面一段的倒数第1行:$\nabla \ln \pi\left(a_{t} \mid s_{t}, \theta\right)$ → $\nabla \log \pi\left(a_{t} \mid s_{t}, \theta\right)$ * 121页,图4.14替换成下图: diff --git a/docs/res/4-10.png b/docs/res/4-10.png new file mode 100644 index 0000000000000000000000000000000000000000..0e72d77469e6a1e9d56eb7d9441bd24b7ffd4ee1 GIT binary patch literal 13374 zcmeHuXH-*Lv@V38Afglj1q*_JN>^!81(e!$Mwt_s5{0DuM3a7A*dWF zpX#;O%D!2A%kITf2F-4E*1g?4bX5}CM5PL$f~%5^HS0S>@1e$&?@8MW)gBA-XocGN zp(KyC&E%nl?d_dG;$}@iTlv*2CT^t=Dry9hj`D$l&D3mia+g56J|@GbCM(ufYerzc z9G&~pkVz6=)_xqr}Y?=*{ZZC(l|AY=f zI^aa{LxT35loJQw9n$g;p;1Sz2F<=a?v|*rAJL@WIyYC$*M5S!(eJsj)>{USllHAOO<=n3?-rnaBuzx^%W_ z!^1Yar7XOzeT)iT^K^=RTwku1~RdwBTer3a!iu0P(>`)g7+ zZoaTi@X;Hd>~l1E-_o)_JN}ro@6{NA@hPu9^bRRVLYA~T{*<9{JEf(Y)iKpnZ-QbB z>^JSx1$G?|`j{uvu{m{eeirIIR&G~HTuFng%jzZN*=WzXMR)&~zq{G`GT1Zoa-Wy3 zwZ-+6yP0)6(_E2IZ1V#C2mPM?`MIkikx2}j*k6gb~ z6K$C&EIhz_;TYfe;oqJt5BVV%TfoPJ;7I+u#`B*5CBw@#1l^4~$xYeGQyOjWa~SuM zmXn3=x&{CB6GoCwy|up}d|WIVTgAE}SN0-Jai+3eDu~11#YXF2x1`M=o~`7Oke*IN zj+!2)ZQ15dTyo3Sk(CRB;DHs($@m53W2;LE|3+KM1h~=Ca&up6z;@WI&#TwjnQ}n` z-*_~M`zjWct?t!`|8h!~p^`hQ&5QX;J)&^qP0_%ExL}#v;umV$4Ffs0bQ~+^I`O|* zb`Go_Z1!TsA3%6%H?J%j-a&2L3es%f-jp%_mHWsF-r<1O%EF%HMEfP#=9Pfz^|_(v z$!G_goQn=7UWX)5oPzZ)jviRwP_fbyjZ(c+6Fic#9oxz98(=Xmz&C=Z2|JdL@`-{1 zJqqtoZtE3^`e_@gYn~dKPfDK;J(WL@lBMu|;GBS-qPL{1$MpAeu@)TkTgD}JEB=Zq zodx!g4=b6=mP$se2P~{&9e-z<9zK3IfDLOFkVPjnSxfwkmCK+!D?kP*SDsG1zwKU9 z{!MVz?|p%y(|W}J#^2l zDrvTJaaI)2GfftR{HRK=M;l)ce%Cg`Q~oT?J^DAY}S_0O+(cm$jSsAFi7HNcaT! zNpLEoi)D3Bpw|T$FU@M!3pIpqn7g6lXM6WvdYaTmbtM)_*Q|r>?DNr(kBiF|aLo=4 zw+#BkAmWsSOCe1dMp!Z6Zn5~|4cQvaD3dP$d{LV|8-ZzDQ+3jx7$1{D}lcMwFWZ}d{K%Ed>ZCQ zv=R8PE82xIK?4acn@%%N;wGMs(Qjp>5;VPuuOnyPx5yJR979cX-v(WmceRm44S()` zy#BegqHAQvPQkNjZ1=HpPwQO)*)_f!&QgPG#aF}krR?2?9a-M&Dvn?J(sCQuPiwaJ!>w|4uz+$|&-x)$P zCfr*@apRej{lbkUCrXJ9ztqF{FL6>Myf`ME+)>)ihCG3j34)ysf2-x0kf}xLX86q4 zwiMk@Sy5$Z1%;8|>Zmfkl05oAQ(Qg@9JeM5o z^|dV#-|{*8-22s$-xNeSo(gKfq;>e-Nph=Zx8*xo~}q6 zyPj0)bU`QdU-ii!5(KzqTn7`v;{Ld5#t*K3yOXf*4-x0|0IgR^u!{e2wMZLWeNQWK z zT5N1BE3U}GD#x-NkE|}%8t4hjb<%q~)I*=ZLDv2S!(j#gKtIP*vc|zBgKD5aEzr$y zCI6_ZapXONKzbk72ic99f0j0JpoEdx^s#h+fk}Fv+7)uOPrHjSIa*P}TsSCAy5YUH z`YG~Zaoz>Z)|rYkBRoph4TySjifLxpJPdy^-o5Nffle7>VFURDv{=gsXa0ziYY!h=g*4D(5urvE67WGsuo@KRo z=e{uJ0o_}P6S~(ZY$&V*?e|XKZTY5jVLB> z&m+xd4^}db^y_0PdFP`ad=_zn!({y^$vzAmmm5F zPrDmYx`JC605RH#TYHcdC-iNvr&MYHrtN<~Uq-6B#=vg@*(s(8^w(^VK_DIY#3F$H zX^@$5pd<${MqDj}(Ww*$Bq8gMBaqVqVohLGF1!l+?x9caHF1Vm*ck_b`ujtCHA0jK z$Z>Ke=01Lst` z5~xfx96Em^D|iYX*2$GdL&8{Yll<HR2Vb*u2bS|*U06} z`7Uz)v8l4YrO;^G$iYo%mY#ymKtbFlkr7L~w3$u=WF zJ7~W7wa2%qhF0Cq1xvMsz?S8(fTO0#{$d^r{k##nx#mQgFA5&p8 zk>O!}(~CQXT;JjixooxveZHmGKbw3vX8QEnnJPSU z*0^zV@~@fAJymiKwDv!oQL~JKa+*v}ASH3P4eqI?2_is4I+*I6w2Puwb6djVz;URsVh+(|?yke%Y|j^=#B>h; z5gYgP9SC{nRJntuZ{!|-x92(ZyC*>P;OjBTs}RPYRP*gMmL~HIxQPed7S2&#RRzkp zo5Hts_O?g-wk=4l{6=NEyO5k_11w>}qfYVw6xcXbkSk%&Bq1NA1tHX~YgVu6G(CdO zJxXVR%UUd?3|PtgU```DXhw|xnp8gqdlWkl^sQX+08j-NZdG6h#4*uXddfSnuqhC{ zto*bM$T+YzFS041a^_<<4cn6>lbP32kpJ2}F{>eEW52YuCu^G<=L>7=L<>yaDm)=VC8GIDLI8omTk$eObpmsd z;cyt0f5g6z8<4297GR5HeqK2YvuQYNGrD^4MoI?OR!bLS*IcXSd|f*>U0ilPN374v zOWCiy?hhg~OAWY>IxC)cldGqW`E4Y_9@P(@56&``$!=Lh_5GU>Y#d*At%M9r( zxSW5hzaZk_P~SC|C+8WoWIIJnk>`j9)%JXAwwbfvAlpQt#>m0LUZXqDzkTc6zyIhO zeCBPw%#Bw1{zYi_S1AaOlL_PwvwC~YZuh>UoR#Bxsc4mwBDd51eg0p2OJwZ}-YtE3 zXtPzrHzE7g8|o^JxIw;_mRJf->T*zA1te(1lBTk2?K-mHb{LaK_nnQ^GO91)CnHoI zSS(tzL{ua}G4(VB=x{0jv?ApNfkmI(6P?jK0>`42o(yhTDMwa*$oR9My1-{M5Y{vm z#1yp~VP6Z*2u7hc$gi{4x=+FOydblqu1?<#=%!LM2=ZwO{6z>I6@rUBaa#^P*{TCJtA4k_|xZp)5``}Y!i|MI|u14G)(O#o8@twysxJY;J;!v zDJy6jF)MQZ7H{seKL>9s2ew`5(FQFh*^~ANpNrVPbQsL4U?o$4JNz8DBH$3249~}H zx&Lw&FetDnst{Tlq9lR9U6LX=RCF*v=H3DcUKQl%a0!;22gRsjmw*VgZ-F{UQXYIH zoTL>3WX7KvENX!p?nfZ~qt@JF;B3!9S@Ts`(C^4x4Et7MI9b zRR#xN2)Lq9zgvJ367AtZ>95DUJKSJ%uK;sROa`mqwL7#5EGl`eXj5KT@)m=7>rCw> z9=I+$Gn?8ssW!v(ZzK$gfteASVr)D%*LL?2I1`Z~Kq0~jN>M3fR}b?;_uQRKg|t6+ z6}bOLH>)h9Pfo2;MO&2>N$es#xMLUOma%$U`xS;}BJJhtH67#h30&}EP`OainUq-? z<^rbs0}Tp-12tj{1je014SJ3WGeDoY-Hh|W-Tw;~F_a;DE;yc}R*atdHi&SO&Z=W3`3r>pxyPAnaq``HA zm$rxVP;nZ(B_r5U!W4NN7QzlnG!}0zw%-u0v<%Eol0@$fq`_FYg79f@+R9CM+6b?f z0dAkz>mm(@=nTd)bjSBNeOW>)Gr5Qe7Hkk#r)`hHqJ6es~U|n(%Qwl4=<^pyo=yz*ou-nBPF1U9% zXTr@lF4)3o^#fi^P6z+Ih#c5{OIqU@&bTu8m*=3e=%D1^!RflWha8Xz+03u-T`6)v zOzjF`r&h9+$)BHGC}D-G_RqPtYmN!83m5Avm*a2F=mcHVYn^4mt0ctbO z^V&U_%^Y|NjGs&2gNIpW0I;t3hx^0NnYv{vQ>VmBawHh#_!pM%XbtsWS!}{w8?mth|rLRT$|oG#AyZmBt81u*nukStcwYT z=TzVjI)V5X;`CM_b*+;Ch$30tQ=shV0!MJv-HS{JX#2RQ*y^vY=u1H}KPw3sfTE6P z<-yU91P$J>vEzX#xDTenkaM3|S{H6Pb}_s?C++r@;l!rJ9Ycy-EgVDD7|DD^Pf2Dz@NqzrqaE$#1henE~xXjVL5H zN6J@HVgCe!)Yd0#GTNP>pqd>BzM3-)GhDM8_kdlEWa`UD%CM`OF9TlCvJ8Ul{zjkl zD9_|3t~v!`c`A$_0OiDMXCXMC$yf(3%c(HP^-QMZcHpa^bs%(4tQsPmttJb~Y`yCW z@I5Y?85%S(o#ZH!+PB`MC!+~(dk)+k?22ZEdQeXTZh0z~;s{nLJ2>LrAmaTdy*p&L zrs*IAof96FQ;dxTPK*_rg=2P}>|!?9&a_v+&KQxm_T*biqqH#$XF(}LJg|gCUIHSy zOuCaGk&K9$`x>hZ+muNwh8(nHS$%(qxkHPS_C46pgQvmBMROEx`b^8P z(;s=6;5*!69GD=FL-pL02p1v#>O`fo$m{ybeb@iBF(^w)U{DLVHYfs!f@xnjC}BWF{{iUSBt<2b@18!bBwS% zU^g?}$^#i$?kM2?=T-7dhmXOY6V{tz3{bey&jY6m7e9&s?shW$YO!~m`)L65OjW{;vD zCI&Pq=I@_mQLsf3-vX-P|4#>753R`=+f=@<9@=UVAQ39})ePGXJrx$7YdN|}*e~f_ zV{Xp%&Csqk$=M|d?WUcM>kTtH?90_ts^!?YB^ z?Binh2Yk=_e5akfr++L&C)v-wyvyuo*W>#Abg@&Ad2NZXX?{=s*D^&9))cGcg5;Y& z{i3^P!!$r3b|CZ5Fz6z*`ai5*pGn4@&wXSHJligU*%?aoZu#QWCse@s+}wTz8R5}i zNecID8sh2{MsMf)URyHCSYs$XoGe4QzdN|l;6s~OujE@-T#uwx;i}C$yCKXWqNfqg z%Pb=|GF#O1VCvu52E@YmK1q2 z_bnPA(9>jCh9tH8Zf%|@7WXH7y8wJq&+jw+33c-8puvG+DUUzkn?r^#Kg038e_Wl+ zQzFVwRC7=I#C~Z0!yh5o5#;iZs@gK9N0edfPkdGg58KQQpwNYXzSHBR`>~LO<30d) zw*avYyzLR{Tg73QD49;l7)nC^l=er4{LG)9YvPizgWtSz?Et@&$=zJ0F|ay{zu|b( zmgkQgR7#^p46%z7wYv-rO4AjN{2Yn>EBdBTf#Md4!9ek_1mBPP(=z*+etQp0&aLLl z!}zb8HU<&&er{HP+Jj(fr$*>7tC#K&^t*U<=uMNzo3;yK79QVLWW&=K9D8V{-P~F8 zLyn0uQcNpExNOeMb|gvznd}0Kk>ac0a_W(m?lon2u`_TE7aXK6-4Xsg0L^3dnKne< ziOPtE^ipQ3=lOz&Ev7)GN{Jan7Rlhef_HtuZpZ@yF$8b9KIX4{> z2vN;9uYtyt_0MmuxbRy!O$Pa4314^(j)iZfW(148={SnP)f;srh^hriPcNtv77S7! zzUk8ACLF5foA$XFbhS$`BTF$cHEgT4#L?-eD^;=Cd$jZq^C+dE5L2vluHjo#IrY0A zM$cvcm8T5)>JAljcUv)I?COY~w3?zPi) zzZ+3DgEFVZdeF{Cs??(uBS=#IE{691iW<0TExVcwaz|KwJYp`PoB-;bLu6wl&grQU1w<;3=<=B6xn}b zFGaXLBDNl_w?g8QuZ%VUFQ?SWEq2}7+lcuH6Df|znNfM!b+SRCH%@CAkc_)hbwx{> zY~K;?=M1snXV=6NZ_-uqehgf=_p*k+FG$XzFDpt{aD~G(>^RA}Yjp{4bonxIB7=xq z<@tiiDODqsuU@ar)ccr;i@GTPE~xndIoZ7VpSTFPHx0GUCiq926BCNvr`mGJKX0ZV z;dw$_K1Ey;o2&I#?|)IWzl4A}?tCOKR7v#XL5so>*>N<}1j)8*DBQmy(>Zufv_Zy} zh&XjzuhF+=-<02e(L*es1sLX**HSqu8jn~r}g(|fpMR_A?|M01K1XB9?kjXKr@_>XBe(bBD6Z~lPS$tM|h znWzfK5SDoOrfuh>Mt%L)E#mXBZFRTn@f#7m57666{W}$7%s6T2JU0eXPSD5x(^r%> z4@v5b^U9C!!sr$=%hDYQ$7)sCmrA02Y@|Dy>u>gHwRWluhdXx?hoatenWS;NWX!v| zbzggHqpe^$Pg>kp$DeR4)N*)38|e~`>b$$TT&!N(s8<@dS1@!`b+DxD$PQm~!ORhI z#$mJ&q~qQZ=-A+MDDJ%cdiJfw zF#)o=ikv;YOJ;PdJmDh=W3@+)a#&QPmit=v>4jbQ_pywR!iL(!jc{g?q#p@Rt=$`u z2!44+x7iPbM9yT`%PnWa$G*>}X~-iv!9SA&vp>&ui)0YoER4pZu9og}2L!2>YGGF2 z<)%h%g#v!W$K-taGBc`5gx7$^p_o@1~*ImI;}U!&_O!;Io{G^@L6NnCpbMN9CDn!%QR5C-eOq-8ljo z#L=7~&MQ+fSdviuyrAY|8KY`!X{_hw?MCrXa(PJe$9UHIy$cjV1y=i}6_9RSQykJs z)ig@red5xuwf~Av?Y%?B#A`_#u6zQnkv0HpnE0k@8L;aS`UR#jjJ3J$}=SvX*&pGS9qEui-@k{p?>?<#hH=jMHt=7(^^I69TJ< zjX8F}#slidRyc)hj}37-jpFBNYfL-p@q7({%R%OB(q{t9U+R*&q?0OS1ZJ8po7*-t zogj!*e?LM62WZspk3H;h>jQbJP)VzHsHItKJPLA#(UqFO~}h^8~w!5@gJU4d=CrpY4u6> zo=QNoRf?9aE`P+mCK&xwJTSkf+?Qro>x@}hkNv#y4W ztn5Ungoq_8Rg5jfrVkpI&EA+L-OZ^zjDMXo6{Gk{7BRzTsBK&0kSPZ^eWllt~;jL74!pb}3$&G|dOReddB6Fgq zK6{Y5d)W$GS@DmKPQHdqM@|PPf5`D}mCzc#$UHx@TUmGEv% zDWl*!X+DA-=--VFTFk^j!M}_ZM)Ufe4_Z#ty1773;6sN`2aJ9cMxPBCbdCitOc}DG z{@xeEwR`^oR4l=JTIrviv3IpbzRsoPh$)QJZiaspS+=JfZC`BC?|3%qPqp>CsvU_= z%l2tfJcxgjllo|@7Our&)8p>pr6Xnd3N(}byU?}1h z)5G-J6nw}(v2ppZ)^N>!$SUtXJy)(7GmK`5$u<|T8ez`TLUNPIXO|OqUk-(}V08Q^K z^aXD7^5$uiZjR3_&n+>}C7V?#i7Nk%JMG*_isTnwzxZjSI5londCpt-_E<;|sDs|m zHMIO!PFeb_XL8(9vra*v<#sip3nKdU>X%kqEw+xfy?7CH!eJ@UjnpU|%d)=uG{tkL z#UOeMu=$G-|5t>lOTybNu7_Ju2l1f!#J#A#o7i`{kYnSlxT>4*m$lS~l2g2ki8RjW zvnYsF0sJ)Uc9Zf5&v`2VUWR1Ts|_PSD@0c>k#bH(&lUBmzcn039PrI;)*F6#@XciE zTJ2GrvjD(23upWACVoh9#a|8cNKrw=69lZ44;*Vrw1vvzES|% z?OeWhxg=#uG`sW?;q#n+XEv`(c!I(%ODB@Y()naV(Ao-$d%EfHf77cK3ivRhEJ>Fk0WdAHd%lq>xcQua!jT5|YN1y*)y!~QV3Ae4YdE!S z^?Z=SZKFHEI!UC}wc`DsjgRY_V^;6Vo&HBxaWP6Q=+oNXqYs_G9Se_YSX$+}_zLub zg9)n~-!crEdW4T`TXZ$-YE6BFQ#^3xbtrZyOss?TdT8#or47Q@`Tl9Yi>{R z&eU>B44|W9r9SJ5Yp912wlfqIU9HWvFoHa9d@kwK-a2G4F*38-Ek=@asK{4)9gEFn z*8SE{zKoaUn&_;Q-JWJExkcXpB*;?8OYm`Svx1(=8BVD)c z$TcT^u5|b{5&&OiaM}E;+ui8sBXiDlN>46NZ5)3ZWdvh0@k#(=Z3utD2Jf@xQq>Xn4! zVQo=_v|P$9hjCda;|qmO{SwX!i*TuYPy#`R~r$Id_f@lZ0oNRer1Oy#h>2Q|Zh}rjul3WM@>A<#ou& zD7eYU$R(*Lf!}fN@x9-_pm5cx=&`}zFif6V0BB4(enr#!FEx-H$R@Pm$tLf{7N z@#&!FBR`HGZ}d~B`VcNfdspzCy@}M3SWGHr88e?-Xs(aKO0O&;2Q30u%0lvD zbM`t5(J4`PACr-TD5%a|z5QRm`KV*n+^S&;jH*=lQTyUb<@aHKzx}mso_N=sGDXt7 zM6*!OE8fGq?;BE(u~PqN+BZja?l+`#_H^D$sp8>BJ#vU?PFtbCQ!io+bE3#XhcAk| z?SI~p3O~yye;+dYJ<78yaPtX&-7dqp;pj;cO;%~gJ)S__T{k%EY^VakA?GM>Tb&_? zMTl7G(Ix7Ky2eZj1T;Yn?Cob`*m)#l=w-MKs1I2QgH=6(vPL>;=x1I{n!VA;^-MFZN7|ldR{Sv47KVot6m3t!skvhhh=j z1D&|lD8soT8*EKSKWMoQ>--FNOWuEb>&sjEA&F8pu}2^Z1FC#Yow4oZEN`C_zq_-a zq$V;wM^ZFZMjPyXe7r1z#}#OjEZyIo`CHJZwQr|cKTp(Du+lk>=imxx_E0OauG+M2 ziLki5@RveP>jL8vlR6cwK*!g-qpE7fJ-1UXV1LQWsB{1t#V8+dUKkjWUmFIU0-}1ICZ^fVK9x&20pTXbXj^0kT&zW^BW=VkC#;< z!pdXlvk?B6wO;y^&YwaHgQ+ul;Ps9WwLdc`s7_x8<~)xPr2uPLNyT13N@t2iFj;eu zi<*vbHNZtwz_6Vv2Tyz_T+ZIDbmA}dlY@}Ja3s?JwR-k#^lsKd8$_qiP-czd-s}uB zO(A3Yr5VM+h3%8Ash#gr3{?$YT3<|#{TDs;zfLVC?OwY?4tS3_S(V}}?MlppLD4)X zejW#{l~g$V4qk5-!-$b7uV=T-&|F?#M7NWnywIbpJ_~5XNc%OoW8mD6mI~AX&Z1m!?v9j?*Cy+- zSG>;^OuM=J_A|97SF$euCBa@EKukzaCmUV zmuoDh;BL~DwSlwLVvCxHPRpVtOfch@)PC>szl=N498kn?N+278HdI$rD&6x-VJsz6 zM}a0jD}AZ31|OEb&|oHk-6%aFi!L)Xmw04)=I_~rSU8+$pPsB4dW>-(HP#m)`zUQv zYxZY~0Cc;KtykP@&L;)a^==yPB-<_Fw;uUKbTH}<07Dti0VoSq5tRo;)_;D2TV#=5 z0$8++PF%kh`5n!Os2vc=&B*ikTkR$!8=^ zzYl*sBK4sMg1 zXPSMk%YFA%UJ{X#Oo2zCYkV}KMq?kG%|}~r1onh`z4t6?R4QHj5LuYG$(hyR(zEHw zT((pp*NjNQOU-W4Y>pO1)$>v%`*t5=kd&h7vXq5>?csencqvQM%1!YT=PCmXFC~BN z&|3=;t?i6BY=zNbobW zPG8Fqt`wg2(~cKVMHRW6RYq4CPr!|ogGG1ZS=Eq868 z?o{;e1XT1ce;qEYLh`y4Eu!sH>U{`oJ&E^7kx98HwTS?dgpihqB`x2`^Cx*{#&(qa zLbAXFr$$ZxZ&GF*0A12|Jrm_y!p=<@8)%#)BQBPaV7EOIBGx{P%UsMuG;TL`GcV<5 z`P*O9RtZ9a%`khTxT3b}5EZBy6}U-uqW?^Q`3f^F4su#V`*lcP)k;z}yFAKh zZ++vQ#LS9^7W$i;o-3Sk9Y#khvYDy3mq!cftV&JvH1A%VGnVCEh||m7mf%@Uhw;Uk z<#pnuU@NV7XqWe3X)R~U^N4frOl?(aDp}RWVm_>`w3<9qr z&|6yZ%yBcQao?<;Uy+eQQF7`N7Ae)IXrXXyR_3x;lIXB3-@-%>I>afy%XzcFB6I0L z6MaxtEjubK)i8?W->OEpL#ZT}fGy=Uwp>qz!}#2!T5oP!IK zaw$&yVSJp|meC|$UWRK8*4Qtjy%M+O{4&0X@hN_!8BN;-LBF&7{E(L3a5k~&W|p`~ zYoKLX=T3yMk$Me{FHZJaTZunpvOC8uMg)!KxhT+PkdhvALk*^yuZKb;R6a;k^*1cB z_2vr4jG;Xuqw`1n@A>Yu>SINzU#h{Xz4pPyKP5STAE_%R8`HtF^rSbS&eDzVjoWy%`q|7(Y74ThVPfsMt5#L=y9z=@t9sI^;U-lnCd}2 z3b*@^qQye)S@QnLiPI2{x>wmn_CZ{2B5Iq1wLyk%PmX*kH-|Gg{EH}MMIk7wAbrY_35oZDx3JXhHAn0QGUOwO}Ymkzfa$+BPG_<|0a zMT7XyjIb=5 z5ZR>73bk6k)fDvJ0)G#GxVJ@o_EU2Xi7T;wikPnU63d*BftwQv*%A(_XSJ!Eqw7sn zB4#ieCDynl&BELnr>lYRy?6?+x)lUpBX~b}z?=m07ogN^qho@;sZyRw)svKxqo`E8 znCpvvBU>H^qrteAx>*}!>WKJFcbqdys_hAk8yf%3K?(v1j$@T5nOkhx zJZKG&!MbZ&Tb3`R&_c)1sDZRP(Y06d9Y1|D_i8-GN=x^9jb*t;QL)%@of&=Z`$Af` zY^uuSs7|X`rL!w|z6Bd=kJeH4WE*LItlysB(Xp0&PdZT$y83ba%`R{(1E-hB?vl^}b zzR>FT=`uEmPamderZS*v*24>DKIlAn%licy4{ce~h7I~u81nX%yADCGYs)bRv{$AM zj9%SYuubi6=AQ7easSozsh~(p*xS=#R7|B?W@f;6-+J;(BMzLzDPDJd0jE(bqD>9Q zOLjzq`8A|(u9m@yRHbEC#~NK|`wL@4=ucFSdhfE)ImK^ObYj(Dd9<^cs1=N8VfBIX zuFpvAE$v_z)!6LpqGlFctWZY_FSWCx)ptNJonYgiEfI>19$$`Q4t6~0WGT^{hY_BF z^1_gaRgJOp=9klWG_2y69oEHImR~F@?nZWFQx&zcdUP-O|U~Nv(z@wefSo*yw?$q!>=yE`cXG6@?g5pjy z-HJ+(S`^9^`K08)*Rx&0!4uKAUb^4Yhm|#6o9r8`gg@25-qeUk-PNX!Vz7DeHBqM` z%?8RrW|1M_dQFq`wX`UlhRN;;rlhT2HqRH8r|Fk{bXsRlC~oiWz=>NBsb}?C$3@{85BbO0c^pS$=_4bi zpPo#98`8yjkxuPjuVEcpU95+v`qlJlJY4JGAKhsbM-nHscavC8|rumc@Bi6Aeuq!t5Ocok$}jZ#Zh=Q4Y*Ef&m2&@ zr}H{RGd8DG0-I3B8XpfgeNYZoj0HQL8_pkuv@eP04Q z@y3?F!d)dD$9W}bYonYvvJS!y@NO`xVdyZjXpR-Z@Rmu(cZ=0>aO9` zRPGaBfF*I$X!g0^Q%UTjrUyNtau!kPHoI4n_WENoC^VR{;md`W4d;mUXQ($2>IXj0 zFXOA0*C5qxN_NI#vn$GawCORFs5rm-X>Kj%>)|C+AJ8dsiA&*}bu!uu-cL{l4yl>h zqH)68KO4>Iu==oGI_CJXPl%Z84Ask0S}F)k4y?v*`=#uOu~*en9I2z`vNCO|jzOj) zma)^_F;1!RTOExuQ3h9P)>35j<4))P>ad(iEK(WcUhQe*31Hjd(bk(juMs@3;1K0W z2T|S7Fvx&fw%0MR=OR$4Tdc4ejyj(1H#8s6bhKTnUm-p`o^PjdmVG*e{I5Y(M>r)e z{~jhr zL^wIcRyP;z2CkD`{k@oX6Z&a*xO6uv6$|YQz+&IS*7lR+WvJJ-SLG^c#Ec^Kjln-){^oqVzD&#doS$} z9HH7LPfGz{FHE8FTjDZe6^j?Vm#felu<4H{8 zDLQ+wMQS#DND6Sa`TX9!yXNRtRZ+d3Nt)`>W?qk!(X5g}e-B@KWb=JlZIy_<`L3*< z%ouk4@x*LS7Vc}mOJV)f+vo^Y>pp+O1cc_-0~2$J`pw?nOzT%322A=T(+dI2_NQ@O zJ{;hrHCX$jRMZ5^H**T-LNMfQu;4C6la8RjtmI$?Vd*Jc{LuRNL*E7>&+djhK-7oyW&j(;HM zZG(N7Hpw?!n00Jle05;)AjlWWVc=trjJcto8XJ7D^9>Urhlnd+YGa@UGSiEF-i8U1 z2NfH7b&?AV?A-Hfsj2uf10L;?>OMn(+@Kro(IzUamWYr8T>gMAub~0DQWd|NVOEox zxrKIR^@++8D3oFbrEBU4N5s%aKAnDgYEk8Yfo_NHC}mXuxz=W$lP` zip`jl!MhA^c~o?C<5>)0VfJ1;7()*We=qxkxPb7x926L?aMkM@@nW+?beYIsh88)swsszr3Ag6lQ?bCpaI& zZli;Eo>1>TN($DuE@0jlm<=l*@BjUa*YcIr$V|@D=1f<&G}k^vtWoK&%BsbD=8dfB ztpuBzZSH1)jOA-ECHC=n{Ep3V5Ozw)AH=((xGRC>n*;d6J+WRIzb!wK@kh9Q%yVRK%XNP2TTH06Md+nj!iG`Lp z?+3pAVQRP9{E?!ZV3aj~jPk}KcYN&|Bjp<;S9O7^@~6oITF(aoI+M(FzK}(=QU)J* zoqy!L-0CV7ixArD&HYk5NmCYY;WN<%-p(Tf9UdHa_?2tGj4}PwIx5itt?w+Z7|+&P zPV%Fd0@Bi2S=l$i7{%JUO>GFd-rb*ClL|16gyi(X156_$tcw#v9f`RYH-Za?MT0}Q zTo$Ndp{gU}qGzDD+^=f4M1{zO7eV$=h3Dl`@!Z%9B{w*#Wixf;^_mOJ(!ye4|Ml6y z+A;pNQO@OYc}x-~c)Y)_z+{|fG;Xd+AE#Hb%+E*VY;0ww5|KHjQSt@IDxL#bg;`9< zO3GgvSA92eW-=EnRI}~PxXsEb`^HGUFVasY=Xa<4L=1em!mhc7wyU#aOU!1wr*R$z z;pA7%H}-Jm09{F(b_!s!T~}^V#iqNC%OzwdI1SXH+F1LuxUs^`J9KghPAhFCDw?(V zfzG+2<`|VICGY55iq_D4`(iU6n-8=%4up!uRx{0Tjl3tguyN6<2GZc!O8z#0?}=1= zwGW5s@+%*2`Jnqb(+89`|+Q@Kb+A^eZ7aJ55*@n zrq{SY*_+ML=9ZqXMOlr?g!J1!yv?fqEXTPTsgx@P9WWm_<0m8Gu9D`O$w23;93;5f z-k7Ntb2hr=P8%f5W?M)CDkG!)VZO~{Voga#VT}{E2Q!?moW|$l_=ZtZQX$+o5n;Aw zA0%d97woP&fAI4KoBcOt+ z6a2h4=uNDk-tjzYKXd)9DTN0^knUt$j(=c9dFo4}ii}_xZ6F?G_I3EkymgoU@D?#` z+v#aOIVI6ug^s9^Yxf;z*9yUI&eIOqujKk%0ELSxA%+u=9dfv=tg+NMg ze!I1Vi19(evuzq68OIU|B$pG}?~DWqyQC&&XGx~U`}uZyqIjdZ90ISdX2_Shs0!81 zjA`tdv}KxW3iWw(ZPZwV;aeL6J!hQg4B0UYe7+rDxwSXiU`%dqj6QM!T`s|`6fqe_ zt*NndzmjDlXtWZjrndDvzvrKY$WlEr10;8%9fl43-}* zQ2KrE8GD86)Ljn=Lv&VQB;zu~gMBzf^` z>;|QEt`6z#`p4&~^(JJxwe9q7R(M9~maeWfO2BY-I|(I08k_w)A_F`cX=xI;02e3A zURMQHQOWGhEJ)n9DkY%UuJnzcHkjUMRHH*E_w{n4OxiY3<%2vGrfylm6ilJZu@?dz zYhsSGLJz_ws7y8Oyez$jlkL>n?iAHbURR2tw?90rjR;_-7~#@_a(4bl#UdCw6Xy1% z8X1i4h+I;sGC^(?wtD)RvQaH)j>6#yysZPl{d(aKdlz^X|ka z&%#Tma$wOMvI#eEZYp|J%iq2rD5B`aSJF=KXZX1Jc7-l`Ait(!ea<>eDDFMPKe`Gr z;QiGSA<+_XtwpLM`#8ql_gb;s(MbRu_^NjC>eGG=ui(TY8W}N>4jNxcd;7hA8qFr# z zy!y_5x3k=hHU{=ijlMFJ+-%NX8^;2xGTg0Ik%Jebh+l@Cs?kPmTW^QSxTL{_JJ$~^%y%D&wk1Ybcs?2PN5Ui)nKHKyJ%v`t_yysF=O!G%@D zc~KmS6g3_5{jsJtQQ`Yy_K|p~=&41u*^9KE{}#JfLuV-6|EaD;ns=O8Oz`;XrdG?l znpH&&RZrW;?lr&=8oV4B%b}I{a#VaaG{q9geKPg*ZcQ@K8T$HOX&5ZLky?JM3h6aXRSyaPGi?#atT(Xg61$T)K5Y*Fil*Ye(IVovhxwoUKQdm zC$zfXxDAuaEDVuxL@s&(ryRj@GYv4-j@3X~0S#f>YgmM{C@;Y~yrTzU4|b{yHsm=; zRblAyBzR{iP2$(ED)PPPmpfclPYyowLfKb48$D@PTI-lg#y)1CvwE}ZC|AdL1(bts zdY>{bG~DNvl1s|=RoJ~_E%Eu4txV49cb0=fUNK$=+=;4X)1KcobkM}5Y0i5kyMuib zb;IMo<&~KF#P>N?o3JCZ$%wA~=EA{D`w69zeM8td^Fb=QIe$OcF@$Y(?ZIZg?rYh& zJ743~I=#&`*ZQ{5B5kTnNUJtZZxA6GU3ymkL1JFV`sTkdz6!t?rqbFm@0R8N)jc73 z3eU0|b4T-4IdyYi7iV_5^=-oTp5u{81UkWnRtU63OLMi*5Qd71OHxq>dzKRiMVwHDfx=aYBnvv0MtI$;>(i`KC3KX)mrw z9F=(w7$iBXg>4uEsMw^V3SM@iFlt(82ZOKoxHZ;0V~4!Ftf zPEg<=F@6t(t&4cZ$W-+H@H#%!0B9EY6cFG=x-%UDhpv03Y`av)w~>xF7pRo=@}E3l zAkEhWMRz^Kb@e?z6Mwk=C#~CQY0qNQ)JR+!QFONJGtdV9TXKN`!QcE`!%Lk1U6ov5 z(0TgP+y%ntc0y|aZ%27CsWspURbQLP>JQo;8fAYPa@o=6*6XdKAi*7Lq?93K%iR(+rv#bEMTRz$r- zbhY#T_n$3L&+VwoDSP2kDIZe8B|QzzLVosa$(z3=@M@>^&Z4j?aR@=YStSc~0q&NE zD1W(|Ul+qM%z~lZs$tr!7w8Wc7d#spTs0RY*5n>MNbFn@;s79gtT(vT!QM-A$h)U8 zYGWj?FnOqML7c#zdSpG_t(XsucaKVN#T&r*yJHuV@wf3Gfm|gE;*~aebj!{6qwhFj zpTzs2HFk^Zu&<3e|ITCoVVlJEkGBblNel(X>G=y?G45kTQ{tloz&reO?krKL-yK6$ z4R}9Qhf69QS^}8RXYqwo3wMd5JmmqDF)XL;S$v zOEEr|NwhN^-?Y_Q?-dt(K%{+&_Eq+!gxUoXUV5)Ta;Ll{#`omr*~1BfuE2EnuEz_c zvZ43tBNfVGC=;di=|kGA#sFiPN+lm89Z_fA`H_Fx`u>0YT!El*@jvSm$a8P0;U|ht z&;=AObX8z5x!hRf$|3naz;hQ)-#aAoRge34HDjOh&SrYO3{yB1uOdI7RS#0O#ER^wEuI7jzD7udOzpN`_JbIOog5Y z8ggDz4IHJDH_K6P&m7w$SIotozC5CODJTJpxi>w@SbjmV`D5RqhdX^&1au+V z86kTpI&zQ;LpDx_w+tDJCmAE5g_71@13@xIccAcpArMu1tdQ97m1zt-PqH5zB0=Lm zfv1`9V4Yb~+mkCGu*$Drn23PAZ6y2SQS~xB$K^YB6;0EH`moD<7 ztzAL`{Ab2SYL-a23*!SU!CCu=(o7Yr1K~4GMnq4}4mfW0FTC?dp8srUfWWh(xLFE- zNc2e!3yH4tAd6Iq^Sv3d1kDOY0?O(Y&ufw=HpDn9yc<_5u8gA-C*f5*1mJ3_!jqje zI~Wv~F(enLUfkxkvxB=7qV3b&JjhXL|nukRId;@0{yGZKnKIP{> zGZ$$ddT81IkuQ*gbismhwo^A*h-9wQk%K@#&j;wm)WfFpS28QJp&9N2{Rre8n z+nGu~l9kLwp>vPyS2Cg>5}S$QYNTkqX9_EKzkE<(jozobDkud|Qz|s5cqqi)YaazK zH;CI^7=4>P1a0rvKR0*&TgTqlsun~<%>Bi;5uukT$U%qUQMcFSALu_n zmFzLXm_p~1BK&BlT%>k0muGZk$+@c^?*bNeJe<_X zY<2QDw@NYeWV5X@kt}XPo1llu8IlK@JD<24ZjN=LfZx%+YkOF+Lr=yicuosRfmZb~u!I*Rwx z2O<0&q6M8MM6Aj~^T*h^%L8(LUWV?8Am&(Vx0`;Ze1A&?*jdP5 zcBTgkS!m9-Nl75av`gXjRaJA7;{1zAhhlqN|A-JIr{;J`AGeP4t1w(_o;V{z@;&81 z`*AV7Of$*#yPO9cYkS2Xu2@ij6ImUVATYr%vRMy!cJP zxxFMubC5prozjc3K8Wv{q#$m6dja6hM2tg{1ntvT1;uVNYmj704b&cq^(wu#L`$6_ zEdGH}j1=t!%YeOgrOGIY0W(wQ$3HI}-MN+Qv`B3Iot#0h-FU z##o5C3YBxw;{TY_Q>&PB)T=I+TGF$GD!a*N@6Ghp9PLdo7^O_5&(1qWTLiBs$p^d6BI2QWfy<8_b-D=W|0D z1g>b+iOtJ`8i2%lh2c%a=mNILTcGg zB-E8HZ+T>hsX#CP#|I-P9ujT)aeWi8G&8dU$&g-J0MX*8grtzHxkNHkiYDHVf-?&> z#1!f3_v_>ky-yEsc^x%(l3aRwHNZvw0mUUbV&o$I`rO0UK+t#rzGq0J_vm4LK0)Gm z$m3N~UP9CpS?EPTi~qCye-q)<7hc3F{H57Xia&s&aWVPhLdL*`ed%RF$1_|;o{)ll z0wPx$eeXLulA?iZlCE+-4CvPOE_5-i*sxay#U?+GdCJs76WaU9z)Hy}P;@tHse@}a z96GX@y85X`_II}wWTN81Q z?aK~{6UOjSm6TFrcoyF-#74H6-{q%YIPJr{`f)Gkx`GsD1(a*>2qW&&SN~@3P66}v z7MjR~5tmxmb(}l%PWiBGN9*jAT_<>{uE{<-6q+{M>ycA|<>la>x%Jx+cXpiUNiL<; z4@(U8oa>s^qZqj^m=Lvfx<7vSI}O0GI->q2;(e{UCmuZf{C`7#Bj8We7yIT9YwIIJ z1L|d2z+UI!x@;u3ax{yM(C=QXn>F>X@DATt;R)f{O*8VS*diI7dOl!_jhZP@|C?>i z192g-PC|s3OCDM1Rl#CV4Y+(3zOtorw#sTfT;iX@uy&gLqp%iFB$aw>XZP7XTV*nOq@0IzwZoDK&KlApFqFa7f1>Ub)g4_m{yrP4*=M) zb7_i9s8f+rU2LuY|8Xss#c>GtaCzsQ20rf#LZ?rSv0G41pm_Sf4UR z0-}nk#mqo?6c~l1f4>4&KSL1|Hj%f8)$H%@TWC29eeJO?SVysO@@8g@;MJ}81!eb-5>uvmhU^xpewJxCXkS^#gUQ#_ zAJCvv^A;;(BG8t7Ka3O7*Aj(I+Cfs=?tZ{f6)-Fiwuc3jb2U z<1X!V?B&5>29KZPD9_+9ra^V*y=vKeF6i%!R4)~NxKuf=96XklP5S8{BXhW!V{7)NNwZT0vxISP3y; zqY|a^yW^nC4uhW#a3UkQhu=XcIJL!6=G{=9djHyGr+t2xcmVa@<#-$*-F<#XYW1h} zMOg_Q2SM;@lNFAw_p&Zf>+6aVH7RCuLiQqE(9}w$w2I`!NL3SIxf95?dpS@mw+9QO z;NLt|IxA+*EI#c$P8=lxT&8 zOod1nz^Q+e!DfejcHEV6D)r>sdkfAhmLIVp5oN8z!`-9h1BeQP2iSshM#=&Kv-wwy zSu$#QA_JoHu+{eqv-saE(QUmj%k{m2*}Kjhhi8JU+@w`!h7AMzg-$X2mcVQ+jfDKV zD><}-%jwc`K@`XBtus1)2GUOefK3o*T1LzR}a$`!2K3VU{a2YB-|2?sBsE$0D9ddxU_Ll|_rclS&IWf`0*^9^*X z9+2`av+!1ZLE%%DEl_>S7=)FL$l|<`QrU0gZSEG%{ySQtYp_UiP{zPzlqID;7@v%f z4aVpZ^5WY&6hTpr6Uol@(STRdTzXJ6E!0;GF38JKdQ1<3pZD`)8Vuy#2d^H3sp&v<)dk=euQ9G_ni|wDwGY%ZwVL1}W*?@;(n_==RsDV1( z(Jpnf1T8z=cOh-fn6>$S`f?@kZ$xlskPkxgFlGT~V~F&og^8xTozo)Y#;c5uwfo1+ zgJ*9S2q)Qw1_)!K>5wWB_O?4*)G85I+aGP`%04*I0w$-Q-?BpVrVeJgrssxd+zEbe zK!`0?TOe7bGZS7+opVBce)iq=*@Sbq(Dzie0`~L4Jj;k8&jCC}$!*jGXDT;9?)16v z*~WX{PS+86M2KyFv3DvS6IvnzqG`1am@OQj;aEn(+7NHbSpnBRdl)iKTh`A4zO{V% z<*9k)m5BzxP;Bi)m&3cXn3*Gy&p5f8WRDjt*QfN^)`7kL*Vumy3QjDe_*2KW!c#oS*WmVknZfQx-1(P7O4_&BKr*?WIc49rPOu(NBup#^{0OpiY`(J|_Ii^LJr&ym6v0_k#S{KS&e+6paU*6Gu z(hS}Ut?lBN(ZO{DV+;+^JoE`(JWyY(=IEhK*b;0)T|ABx2(r7q7@@wcS*wOCz!$ES zg?rE7W$uO?c*}P#m#+Lutv0m}R_ZG6Z=v@KsIIHY+CjA9Uj&vHxJK8X!kcC8!vmeH zk-#^M6;|UL9biz+UDLxGl+d3iw^&5Xx*R0nU0O?tDu6G$NfU7AM`|RWbso}c;eY+_H(=-uN zSn&B~pY83x$o}0m)J+{1aByNQ{~!>vVCe*WABwrpmpv&sFTt|24rms2dy*X-t#)JS zypgh@LD#U9uI~Vo`EG090XFvm-Zo=U+zd-aQ5V=Bl%Lu)vTvPM2i6f7T|^%=IUhP4 zK_)=Bic=%;rTiIeNNCnTHQ?mlrhLZ#6za3mG&%n;<+d%;0Y@<&`em6V30dyHiR=Ho`5$TgTaW&K`X