From ea63ce4d57cb8dadbdb5d517a947f203c590ed22 Mon Sep 17 00:00:00 2001 From: Martin Thoma Date: Fri, 22 Jul 2016 15:20:01 +0200 Subject: [PATCH] Not learning rate but discount factor --- .../Value-Iteration/Value-Iteration.png | Bin 28098 -> 28429 bytes .../Value-Iteration/Value-Iteration.tex | 2 +- 2 files changed, 1 insertion(+), 1 deletion(-) diff --git a/source-code/Pseudocode/Value-Iteration/Value-Iteration.png b/source-code/Pseudocode/Value-Iteration/Value-Iteration.png index f0736dd4f3f87dd66b68a68c80114907ead47c90..24ee7b0e2a96361e2e4ea940b350baf017a9b010 100644 GIT binary patch literal 28429 zcmb4qbyyqG({7MJaf-VIC{m<2#XV3YP+E%97A;!b-8BIUg;FFqMN4s~1ybCKL$KoR z5ag!6@B5y6pL_qhc}}vMvnRV}Cue5fnRzz`qOC@RPlpcx0EpDV%6b3*CVCg+`6C?k z#^U2nIeLTbrl_v}2>tSZWEqYAj^_e4bOQhg$p5`D0GU}d=uTR9l{fA$ovq!y-nv== zyu7^l?VRl0-oJIR;&*nn`Enpl2LP}D)Rh(Vy|ebddVFU3bKWP%JDbqrrx^X1L;evR zi@XaF6?+#qL>e4NWea2Do5EBv%57A7@sSV85@DebMvfT{INm!_Z3e%kiTwX*L=njh^-bh&+GdEJ5&je;%(qy;%gV3|J7FMp zr5vqf8TzkY{;QI9dW-*kYE`A&r%{e#Kx=>+mOTbD=INqWe#k&@TZmQXyj|im+A9KA zj#mA+3(lIyN4(3*7Ua3YM;}5)U?ls&VIhX{uV5puaI&x&u=Yp@0hwchT5|SSY8WW^ zOp5!6#xpKlV%#N+w8^e(RSXmW7h@jtQ>SsAgc-rI#2Ni9-PNxOXX31+>{^l!A8$4F z0h<6nz)y%=C7vd3B!C%9j%s@$@~sHKHb$s5f0ZnuGZ z{93U-fiDST1JiV8c_BM4xOnHtUvxz!SEic0+6*>A*>U)FOorBY{j}EyPof&oH%syc z*PF0W;Eg$sbQHzeJGV4cP(7-nS?cg`OxT%56_hX1x8IJw( zyI}*)AbN2Yt5q{gkJED8R)C2~-22PlAEh4VPde5lgvIR!WuQ2dCmv*8mFBC^pxlg}?EF438a z-NzN$rVdTpYA;vXIUBL=vk{LtQZOUrrTigHHfOE+UmtlOydr@?ji~Y3Lk<|i7H^1xpMYOERjTEW z+AR8rxgaaB7O)s1v9|?ml{Zlp*w=oSh_$&C8hn#5|7A*BWxVExY1VH&YMmf3H%5kc zl{_c1Zb6g?DCRk@*dn2@%I<7G(=eY2&0^YvHg$-CUd?(Z-PCEo7DhK=^J^xC* z%wg-hGlw|;SUvAmE~P`_#V=>Xw3aB>#V4-zjGJ#%Mg}nRCqR7R{C5oa+0B$`l|itp z728g&=E7Db$e>;E&IjLxe9XB@%!GtNFYHcCsiW#NWFCK%_@^M91a)qD+vfVRTabm= z7~+A7Eri(DF5(%$2Ga(6fEpew7Q8r0Fkj0zYc4dPe%|LCV|KtAg*lBgfFf%PZcym1 z$IgiRlCQhoqD&P&0JZ9Jd%Z^|U6lvmUbwy>YPXNVtZ(gE_GEkDL5$F6RyV+J5Te7^ zP95&j3E1$>x9o`d+}+)+sfWjSvLl2Id|=ii{I%K=0U2kQse& zrykdZ$<>2s06l++$1}VGV#O^FBP?FO61IF|jHd~I+On@FKjK=aqezfuxI41JK?cMR zW}{eAEdBHrfwPZ58*PVyu_$Cr_b*aS)qM4!g+#8v&eJseK9h!4ngsa|Ap2}m|Fpw3nuR24@#1~o=l%PU zn2M3f4Mo@i!#vx!_{~)5q!z5wz|&8NZect_wX)#L@hmCoIo5AV^__zz@5nS@qGh;x zM%pepZW$^c*}g;mcK=4e-Bi=|nN&tb9w5Q*YiycnB6ZnMUICU=<{m_r{Y2P~%Og~Q zEv$L9f!Te;i;p?L%L`291AY2*Htb}Ug$ED&cJ(NZdTDG!wxWEl3r*`~-K|2JC)|s! z3ptD=W=|>BM%w_~WPvxIJMRAkqsBB7H=*-v{9CI5tK9BiQWkW#hjl+$qa?Nu)W_Q^ z)Y}ZM&5%ZjliDoA!vp$?(Gw)x3)JLV`)3#lO)h2^T7V`aGx>vHlSbmE0e(e|-crc} z8yZzCwj3J3$T?!LIec>Lv1yTZ90YJV^nd zd~l`lcx(`(GX;F5bZ&1%kp=q7eaUa(U%jwc=lJ?$5N&v+?MD=ZvD6!IXPyiE3pY_|+)Yc_a4!%9w_Oqlb z%YR%_HBBc5} z5lE$LWmQQ7cIe4N*A}!r*93Cm)-%bLx1Oi1bZ%}wJXGON+y-ONL>x?5AKYj_W4xd( z!(I!LUTQUrg_Vc(E}K=Zj`2?-N|oF1_jNH#t6=n&c=)Y;OnAvF2oo84pt80Sf7~qC zCnGWxWYZ!`8=76^ym&t7nbV;#vcU^}i((eKK8(X&)D#hQw!gd+qEHXw(CZg-pI)Sw ziTjqv{z7K)BpvTEkCyHjxm#(6wfv~8<>jhL=u_NF4uA1E)4sNYne293oX$t?K`DXc z*GKf0+~Cc3-{h%6wMN~VWOml5VPt>s7m+#YfvQA5ZFAT4hy-KKV^kAZ_s8OVh{+1t z#t3SYZGUuxBgz+u+pdr*0_mPx5f=e2t$$#-*OFSsMl4-Bh6?QAnJpKsS~~-c!gQ=1 zG2s>*r4xsNEOgiPs-WLVqj6QZWFq$wvrDF%4h=ef@IX^}OOEXr)ssWgp;_k_1>t;( z0>&M;1Uuhcg+`7?L{wa1EwUzG{3ipq{)s|e(gm)fX zB>B%YzzIOShVA%+!!KYO1I(QKz_WwWo`YI*;;Pao_zQlZH=9*zG#+%hSX8vNg7(xY&$#mr!##yc>l0gy0$?Jm=j@%{}Z5Wm#46{*_+a+?j zHotHO)AEoG{__6=+4XpzgsrJyn}qAbEgpq}8M8xJ(ZknJO7?$XF+Ox0b7&+GQ_FB}g0BjA zOQrR;IravR!hg2T4&^J+@DH7qlSxO1@Bf;)xuNJLhmj?hGF1Erv_3nj07Ap7PNq0k zS~j>=hNV-1{M#r`#3z6T;VGYPg%6~+mC}||ksuYkVJ{+cjFrkdYRqhuugw2K7oJ+F zKe8}|!;y5&Q23jOJKx*qn&=;*)g@~Hq~`9}z0iH#`MRrqC`2wlwIV84zj&J5>ODQ7 z^m_XP5l=%ixdsNIhPc%9*Q#RUOPz*2``jeOjHR+@d=k?*?5n?Aln1=Z5zfuIMgXrC zF_{-1d{)0f6`}S%um6eV4aX6F=TJ%D-Fv5NqcUpBX6!=a^VcExsj6NAsd{Hvsm@CV z*}D;;SKTM2HYsI*VAXRk?17f#e|s0^xfD$uYM%xG_X!&9z8nSA8a2BFWeahsQ63W> z{{i$Olpj_xuXxA6cg!W92ZKf*E!JZ7Q_4Pnb17MtdBKFw)|!k6IFkHrWxV!_cY@

VTGxfA&5e*R;Xi;i=!_kP~5Zd-df}zj#vGvJ5Lj=rpwXTrv3_G1e%tA z!>}&Do^<(FXKmsF-_Y}-WybY|$cZ_b{Y08_1SGI491S=lYhp>o7dPXo;>8BeUecQ;4*@z$LO_+n6oqp%g(j zD$wWlpDE;XPy=)61tUtBI+ZP6US5A(cV=FmdZ42T+re!mx@G*MnuBeUpgNDtzuB?J zipmS_bc4DO`%v^e)^wfE+PYv|Nt`A4yj;JC-9zrMc7KUcpTOw+{JXbF#Lj1D5|eNZ zYSb=WSpNjwzxz$$OkbB-gyu+F%97pZTD0(ux_4ZLNG;yziL5fm``;z8>So17bA=}&0*{^_dWj9nyN+zsIwp2bQ zK2Xu|^oNopkm||4KA>NB3?9OzuBWt}^iDSxU*e9q$J_sP$A3b&Sakt?f!wdg*^i{d zHcmGc>0L+e4aldkofNNe4+y8yF@<$k^54}w?*B|vEG0R}4Mr9q3#U z=5X)h&I&FVNlEnRozI>eMj;hH)oE}*h%lsvWkf@S=fS31HUiG5+Y#;%O2%1X`pa$l z2@=#0g!(jX5@^I) z{u7=`e*GUn?J*0P?LKTd=rNwSz%q}nf2U3-U1wXTJwhM|vrOa)RL15_enM{mr^C#_ z2!mz>@|Qgp#7Pju&DHN{N?Z{Jo)ODO#3XO+%}qex0WK6{XZt$yN*p;l4Sbl2Ny^s#nb>m7RMwn}Yp$|D zwT5RsXV|jxu+{8FOu^4Pfv4h7zymd1#sQ8yX7k2qrFCZ)_|1d-u_)diEu_v5Z)POLyiNt%QRBZ52#Xk$oqf z%!VEEe2Ca;T2?(7zTubcRd>{+RJYuH_yfDX^ReUlHV=9bdC>Jxu-gKXX8GN?j<^(d!n+atsest0giY1rv66^i^PNO^ zyVQUN5Qevqi+AFt!y`@QfWuj$M#A&Uhfz_-hy{s5EG4KFXZijpeUA$v{3EwKdIqXY z3&1SZGHw(ZoZG1iW4>kNE`($Z;h$;jB~Xn;_Ef6T!vKH_?31Ff%J8GJ-JPoQoaY#$ zH>B(Bn=+3!A)N<2v2LnVtY&n@Vjm-K0`R=s6;N_Ym7s?M1{xI&@TH@ka(qn0snmWW zN6KxkMAq(?px?8}JFOZdccFNB!$1L%{IoM6q1IIY&xV|XYqY8ZMs2;!*9UUq&F*y? z4|9}3z5HD7m+QcSOA)I50xgFvEgrlfQHwRb`LNCR2!Tbq>q!GIq`9_b8S!z(UG@`E z)RG^Ux63np%|VZ{cUrWeb3T3!cU|CFAKHY*mb@`h@E9$jbgD}$egSrbex7&qRb6N~ zCo+#F7D~BgmYPo!53L)O!Ee})d&(yV?90S30klG0mYl%bEu1TK|D1IG@08z|&=^yK zMJV?3y!e3Y@4P|}9S3RRtoSr%pMjm|5g3p?8URQ}E;%T3?N7;FXJ)uq%UY^cWf}^L z+-?4-`$z)|o6**$q_?8e8Q&#KFZD8L-+_LL^+}#DX3s_-#oL@;uRDi5MkAYx2;NyR6g+$bV2kfPwDjt4C=7VfJM|>(xPvlqqWa_&F(3SZER1)ojjZHSpFOjb?%(qw{Qg};RJKS$m^^k!Sw9615#_`I;KJ7p z{BU-ubFp8a;=5=2b1NCLbQMw2N5VR@ZP$%d0yh?1mvdC?bXO$sGRh1fxA=h%O0&c% zjj`Qt-q5kd?X+O{=n>!2SrxPvcJ|5A6;|MIANT3H4UBN5>ehJCp|%*Nzc|_*Yq~?7=T|S90WXPrgqCBS9+@Z0P8ys=})P9#LNIS9~_OO0$Rk*j2v11{T653e{i0e=gOS8iE-O=t;r z7WU6MxFY(5w{>q8b#p!aOjn=ato)E8?!ik+g|np1cTj!6RF4dL5Y+b;1+R zRtL9we!=F}xh1`vvpA>xFeE$_qf`LVYRmuJ#vvkjfgta>y?w)kAWS;Mq6JApP#? zbk5<37%+w*ICZI>==Zj72QJgl%IEFz^|V};s%gmfYOlN;deJgZcCb#dZL)SdQUy>|}Aq>$Og2pT?p zGYz253vB(2@SPle!))axJs(U z?@!8uyP7~oj8hYdkbMJ5{p`pcGfwNS?4i1d$1x^bNHY~#?|q8~J6GHGIjP?63^UMV zLpCRD0W13(^n|on#CGB_`$$tDrG(7e09GGzyfOBB#dAY|4AdC(TSO|XB-9+?+j)$) z%L@w~7hP$&3ogamZ2&OgrzI(bIsmFmjlEduB)vdwpV+w%-qKTqjX@+rcJA+m*nf!k zS0mj;5=3G?c24W(d`B_(7Wsh;3>+oG7y30(Hi7obUUFVk-Hj_L33y;+^<9J{Z4yH`c825CfzOG0sYdJ$NPUExvsJ zS}&k%1-z`8D?mn53`%)c(xFC%HxGTxjw<#`c7WL>-c*=&dxb@Bghs`)x&92M_^cta z8iYBtu@#1Gj6ORH}ZHlr>KPi|Es-72%`MV`fnqzip zaJI*+=JYz){Y=doCFMGEk%Wjnwoj%EPKW7vV)x__qtUi*@m_2>@is*MXsFQ5XHPH8jqWkyZzh(lSsICmvzK>9toA0RoHW8{ zCuZfHaqBj47^Aw_Q$YEBaQ%gxCHEX*6SZ~Y2&)x4?&v30f|P$zs)$b_@Lu^Kzuq-9 zv}q<@#SLYzCV4=EnFTCzl&s}{s()}Q7)mv{YH`OW;6EnRo}Fm)IaC^f3*0l z>TLy8Et=p@nWBV0xoA8%;&JoXxsmy2)qicD&rflkpa!1X{?z3{-sp>%?tghMQEUUq zyu81BE^WiQ6%|S>l~?L3E7!flwb|_q9yWSo+naw&D5G9k3*o}a#|F#g?)YPkoqM=# zcKoRjM_<|1!Za0O`NrX{or~V0UXeRvD=vA#GGFdU;PSemz?$Ky$UcN96uOA0XqQ)7 z6G^?Y!RV*jJpOZ_`bSsFNi8P$dtogfwrr>COZd7vE*x7tsH=Yw4UE>6U+71(b1N|@ z=Qn45m--XoNM;PnYO11f(3p6keJY@T^2bd?*J%A+EiK(A1Kk$sQx3@kBsB;797CZp zj!ZsoKD)T+Zx1wP9$V(}?5&g;E7{K$K_Xv#h@D>QB<}oBv;RErtc@Hh$tZ#^gQXR* zD}N)o^~qM>Y`gxOOW&LM0Dgs{rMj^!w~p4d`5-|50rlZGYee(2j1p2^KmCfTS1y%T z$K7}0s+jzm;}au}^MrWiW9tVfeqb*&z}KSv^n4S3LlmH!xzZOxFXRwJ+P}}N7kX3V z%(Tg;AbE1=I#5?CYOb=+!=2Xn{xjM-$8##wPzIkvfh>zJPIZ*;AB1)5I-+2?a=$B> zLp7^)0L=LeTO79Q=CR>_*^>#bf=>pMR73sA$Smh`R~7c5f(x|Xcz@wl08hoHZ7&7I z0E$u-?HiWbGe!Ns2UMw0Yfyo5yzAypO!(z+XKmNL(pdBjk^a_}5L=J6P#IE|5^o^! zV6JwI+)y$NcmFW8+LU(Zl+jh9Xp?txBqgL)_g0m&@?&4lR@#eTIhG#QQhnFw7dTEJ z9&CMjAV5FL!epvKuT&mii-V`{i*xA*blT=s@|TbX*BK{zOQJ_UG?0SF1^(Y~wdq0IZSu@~3L1W-0;>=m{0G-woqVO~N(_+d0YA3(kOFq9A+5q{~ z9tV+}{W*%bB8hOeHd^}lK%L)ya#zQ}6N^drar32ZF*Ti5)U*^m9-_W8$!W2r>oN`@ zee*RmeEw;JG}HO3=LaK4UyEh%C;f4+=)b$JD^Y%5ZH-(2CjD)CC@twW!!6J(XKDLX zESd>}4wR>i07A}V2A}q8?ALDU!iZ)^lOAi zHD<<96r0Kl@%m;q^L!x1tky&Zm~OEG;f9h>chn%$s~9_vLRvld%EGfv-I?X8&k`_( z+r@3Ng*1tM4|V6b+)i2A3nFx7bWn7vB!sSt(=|SS(}3ONoP34%DR@|w)QCQa>Ww@=V);SG^0%{~kuT6S6|I1E#TZ?YD` zljb+5*=hsy@Mblia`2Q)BrU}4K2_p8P6+kbj~+aH`z2WeD=2dC+#Yv#O1@|VC|S=s z?7!@G*+e#zJ&50FIk~}JubRL3GG>A5u;n2iI$vO(cHzD9ARuy*vy#}N9vRST7$}%o z_Y5y%_WNGNz;SNnuA= zYNDB~GK!H*aJS|B5RNG_pC2yB%og+@R_Ry^>$v9*y3dDphN_Ibfc;ET>AnT(_F@-nD(7nXy9bc@Y@Lb)B zl6#xz3JZmDX5zhV|J$uR?AHI`0x(-T&J5P=K6CHbVEcw3m~>?0MysN#mhl-TGU^P} zG{q&spVhmO(h;wm|5GC1w=~=N#KWz*t+hF0!omPl>K*AxVbpwIdfT6ZU#4o~b!RSp z-HwNs2~Sw)C>%C_yB}!se<7RflVSyOlYgRZ=jE8C(~CUNsk!3Azt!{-z-2Au{Bq99 z$e|pPxm_ZU|Nd%|{Ncx=sXv}#q5nMCWM&uQ*FjUtU`RUpUy6L&^C}Z?2a)bJMrhu% zG^t$E|LYw?aI=a=h5S4I|FoJN*o&RXxoVEtV#me!jfrWX3}k1?$FQD0By{IBRhvp( zv2edSMB8chNU?uxvboas-fw*2UMMx^0WJjzIva#g*|?g z!Zm}h$LY8&wly9(Cz4@aGvM$=lhK5bvGajMAAMy1^JyUJcUE|Dy}M#hUeU|8>QwZ} zb^92|jI(j~n4XdV#VT4hMq{{Ypqu64`>*q_reKQWuuNV6OGvgh2A9g+;}cmJCiLuX zTYp4oHsWkMilB?Bq}baap;WGW_s0#G$u7(G{gcHOhw`xTr&a77iW+EX ze`D`q;_h)98j<%|ZW9zSPlIIK)n6s>eDB>j*o!M;^+e*d#g>OKtsFRxY^pIEz>s z6zRRP9^0Own8!E!<>;GaH}ds=eF3z)266}ZdFH)(?@@SvlF z15Mg$bvtVdaXjN8nga$n$U3FMw*j(O1iIy6o6IFk3Y;4($mUJy<#7uiexB9|0@L^0 zWCd7Zj@meho;gzRRfV?|AyUydH=6MAW=0q#yZ(K)* z-tIF!2Rd>~{71rU!-@0+wN>*EVw8c& zitXUqDrX%|*Jn*p0UeBbGgE4R7*H(00(@?_TIk6%l{b6TdlKdSBm>fa@*N+APynFI zgtK%BG}Mn1s@E|6)id8ahGdY5v z)a=Vj8t)yWb57L?ZiB<`_nmTDV1_bF=_~hgY{0yFe)#uXB34sqXW-B6oJBa0(+IAMQnICJ5v_L1bWA4) zPC6!Af3bmaKQCZDflWt3mMg=aQpw@$cHe)F2@jwVoJQ6Sk$0pk!9D@jb8=Sd1z34- z87{0EA0QMux)T=9kyVVr&+w3PT4hpL>o~R~48c!HqgY>bX-j4~i6XB(M9I}66qkm*azOu zJ9gmE!F7rF7^+nzQ$r(1zp~Cb=Gx$u{C-dR6zRUKXp68 zRM(_%`ffR4N;<^MV}0aTe(4Eg${0y#d z-<_5cOobISTjhgD{-DikxlJ2g zc!!R|5cC6|UtjJ;6j9w{w5^iauT!nt9O^9?NWyz1q3GpEBbG#hAtmsx(T*DJH7Qyb~-VcTPnHLUcPV1%_J@CI@#B+a<@Y} zCYRp)rnSSSku_cH+XODTfHzZ~FH)I1k|WiVW?Usd98Rf7Z#H*|a(!}k)LX1q#;mMy zQ*rPS(qIq)a>#sm<(RZ1qNW}*toDgu%|tKEvnMBE?u0m#Pw!>FE^z|omiX($6UVFP zvdqU@2j*T9hHE&%o>sFvxKjpgS~GG9G0-NJ|6{WQ3My* zz(xl(!cs{jLGUQZ0@=>MMH2}yaF2PCQ0U+VoemyKr4_=p!n-R)> zKR>GCB2qfX-3j%8l1<>q&@<=lN|G8n94G}eGxPM^ex7$Wfa9nCEvc$foEF5JLGJGg zGkB_9dh+|$AE+G^XCpF?$;<3M0-LxC!XS4suPe10n#3Fv$E_duezxa_5RD#sJ>xMT z+CKEqGGr|5CnmQF2+I~mlL_#)O#lF$$8GBxu+b0bY%-HWgV@Pi%!LSSKEw~1`GD+L z>{c5!b{3f=ta+RPVVK^s&)EK97?m7r|7i!eu2mbf1KuB&9h6JfE1S6T49*i40CV9| z!|%j(GUa?Y_TaMac9VmtyFZU5Il9G>_!)2zZkF~n)IP2Sz|T>qv3eNu6zDig5Qwi= zmhAsGdnklHI`#LdF46!R_@h2Y%BelPXt57!F0uYXZ&%TBl@5Omb0%!khO&TW5VVux z1lBz=*}ga)nd{nWy2y%(l?yrO`Jz0sdJL`sn*MaZ^dT#=d7S(kC`iMdBJ*|0! zH)e3*6~e#|@8ncALDe81CV$=&aj&MYa`;qFYw;4)b>?>_WJV_CwV;1RF7)h1caRz^ zAC#7NcT7F0)7jV6B>P0jE=gX|r^(nXc!Bvi-IJ4F5tw4c^5U1TQ-E**Al`KV$r@oB zn7M`~c22H^dNiNtA_%IoE-=sLO-b9p?S+=J_?(U5?^nP-&oL_f8Rmz9j zkhg!ste58;BY*`}5tJES5{<>ZWpyRchnKqMbsC3+k1tEloxLw765Y;m@AIb1nDc{= zE#T|jeQByDyJB=D34eST0Mk2q<+Ahu&Hkf{u$x(=J14H3Hap@# zLI#?gtc*t|>IuFYIOll4`hx}HwUcnWs$$pEmICd*246YwDNz*{z>X~7D11FZB+-Qw zUK8%~$=n13pd&-{0lNC2gem9GNyS!Jo7Fx2;|gPOiVf;gz5q_$b4JPDZp)AAYg>g0Cpo}_f^f<00(st?tecp z?wk##^j&d^$3E;`H)yYyqO+<9QAM=3I@wRx=fK#O2XNC_PLGoc%ur6?W81i!Sz}&b zHih;c{Ar(Ur0Q5LdAncK&IEEU4|VY<6aN|?)`EK$&(6p@yas+e5ByX+tUTUk78;l& zUO3yQvo_F6q~GCu2#T}7Wh=~=(&e`MDfmI%^bNp>?PW(Xb_S7-vOs-d*A0F_YAWdT zN77axR$K0pyrPS*OY7ZO+=J!iZ0!?Yj1jki99CXT+aD9SctkoJrT62p7T53DUIr4d zt(dESnDi-nU#={B`KhwaKG_tnltt*W-V1eI=4GE7xU*fkt6#wGbMdJ15Hx+S;dL)C z_Q(S{b5Z=OlGj-Ij=W%l+BVEYJO>11Gxh%|2PJq{_q1>1*E!eC5&=>jOzP9~S8Vw+ zA*%226`4I-Ub70}ss z;Etc1v4ylA<~-acf3U9a;bL`wl)JD4$TZ}Vz+%PPI{nq;i>zY5XK{EypaNB_Ly)@0 zyb#6vwfD9fkin6PuJd-~^Hx^M0<-+LG!|&(eurX|QiMf1gH%Z@T4IZ0@xDvQ+ z-YNd)E%}dio_NIg+ng6$9OV*VzK z&0VTFiW!bViQzN(BTWxA*?Q(j9{KPOo%<{)TzXa8tIeQdGC z8d*ShYzR<-uBP!0LE*qm&N;TXU*fp@PjdaaK;LcmHBYt{(OF|{rI<`JN^c6F-nFcA zi0YS&(DT>8K-I@+p_?N$%R7t$ccRjAOgvs!kR4@Q@`bj zeh)AB!uO6wmAtnMV~X)XrMvUXRv(M`75({aiE8f!7uTNJcQsTxsMe$MOn&3+&lrUs z)WtvNHdItjo^y-8>!YHWYSEoDOz5*+rd`byLleslYi%baW5hoj zOQZ56QOE0I*WX!7w=;I*?3AbHcu$LbYM+#8pqU7|g4xA^lmN)@iNb=S=JP%9d4J%! zIx~feEZcnKH=0edp*oW7Xo_N4uCY<;E-(6A?x;HTu|+}-zkZty#TsvFnV-dwEbhK( zitWb88Vv~Y4}hMH=&iilwleAMmg4a%;G&u3f zws}s|Yj1IsqUIDL)?LH3yC8nRU^<347aMnbq|w(*s4^|!x@i|vB1fcGoScE^Gs_0ORW7)F=$U2jP%HPN#~ zYAK0}eC?-l#;q?LW)rcS^Xb4ut!cy{-!8xrIxAJ$IPBHs;lEOO{!D-H1HK-yYw1sD z;vH1f`bla}b$cwxLv8w4R4+2N3r)5?%VuLl3TBG*yao)b2{_B)2AZDfwNq0HV*J%G z|LJ&2DFl)W5!wv#KY1Awd%qCV4~TLI70Ue7wDu6j<@3Us{n0#}dK?KJl98oqQ_gH! ziv-1Lq-r-3a-1|Vazq}}ZUlyzZEeD@Lg=9Y+7OM_8_D}!P{_-elOyw$xs1e5w(f3R zJ3lF%0+^E{`tQLKJ(R)rPyo$~^LGLQ@U!novOMEN&Y<9vOy_%~ORC<~hMk<_P{S{XL zFW1lcbEidlI2*?+FrXrg=R{_`UT)~?`&?sLTyCk^{-vAr>(^b)w6^ZFL%f-pP_f}2XwF&fIn*s@9mLTCf z%Yx5!^05zV2X5vCpS?B44$%e?r=P@jlIaA4?2Xx@_Gpn?y|eDmTT>m{=MGK=tX(sd z37LV4`NAXhTO1^0h*NdSdf~B0m2z~BrfNKgDRfxN-;PWv%B4PmF#ve=Ja9!(awudg zIQ46_$p`UG5DC4WZ4{*&2uts>J$^-I#T>jclPCnY?pY4XMj9RQdbHMwU+1K zx#E)o4k?563T77MKh!CWu$DMia=v{`UZge z$Q`J0MJHqdgl%ePE9IwLlRrsh?*$m>SXIfHBDy66oR4Y^cx0B|WaMa8a0w+)} zO*6dFjHwUG0X=}$s2{gW%6~OCStc&k4ytHtn-rPs!{w%fqVAgsy0yRogoQ?900+9(2{oD0=Y*G!r-MVJW}l`5eAS~qD= z*&hmu-(H0z8ON9??~nV-k!Gx+@=)GBdnmH?DZ|9dhv#~fb^b^EMeMIxay${jUoGnIN z(g!IRkYC)4LqvYNIXHv*3DZzOBPOyr%c$NFG(mUMc)tL?*hB|$}ve|xyfq+f>Q zJp)^`$E22eKXA&By9L|C+%~R_y=ba`IkdqVH`u2f&`iw}L=bD-xERn*kbrsk=mI&o zzgg8GxsyVT$eD&MGbw-AMlOLdd?nxJ)Ix(72)I46ol6hO>>^TY=R@tUvJkQQ^hKD| z$z_AuoIyYf4?R9IdaR&w1;4p`)QJbt1!Lqp1I08JtLIJ?q3f;_=%Tm0sa77XGP`Xb zi`(vBgnv#<+-P(!!R`hE8zqQ;g2DurIjXKtJ4b}8NS-Koa(D#ZSX%M~68s6s(Pa0J zY}{AEc*sYc?h7c@;6Y3uM~|?4jvIV1PRZ=J$AmvW$|zCX7y*GR9UAyDqk>vcEfhVv zmhVW|y%nY+U|n7u;4zl^;k7UUFIGJ#4YGOy?xCZvo5t<};+!7q)CZTMF!RL`ZX`Bv z>w32%YiBxV`*!6f0udnusvr8eC3%uorU92VN?c_mPTD_}b(IM>3AvHc*IrWX-*utr z8)dB@QMc6D5(XGTR@2I>&|9PCI^U!QzH+lj_x8$C+s0Cc%AkD>o&C z`qWwzRz0QB^!$OBTjGpMwe?(YCI#c^Ak-VRDd?D6@Mh&OQuXI12*Zmw69|bhd%p7M z(C3UzisIVjQemTOExJfUCfbY)7e0oZI=C{=>{on}y40YUUHZf5g?aM+ zQZ;Zt8>~>G*zIIrz*3$Re#}L|;6*||6&k%xk{?1 zCiNs2c9>EUqyXw78Vk4+ILSy-RdivG?M3#U>rmnkm%B_q>)iK~8YA$=#}6%c4-jHX z@a$tj9(h)p?wfXeBEPmoH6Bj6-hKZJ{v59`@u!)k=R=nL&oOZBrTqO;du0MM+lmiq z^I_a#or4+$t6A*9+Ktnfj00a{_ddIr@Cbo`mg1IrV(?KwTz11S;&PEOV^@xo4tS|{ z%)B;sXB@u(VFm#=cpDZKr|Vr__u_2P;#CMEG3`Mr2OMQBEyRikNmqNsBQQkW+mesmCOva%B)D^Wo+o<}d(nIl6tKCE2De1&3c;#@zlMJI#*_n-dNMtGrz?vg?;r`RP11nEG`Ea@ZElP1w5 zAPpydVglx1`gM|Yh{s!4&kO(X7ovz(A8JRs|>Ll9yZ^KW$`$&w_`Sv!Zy+b z*qU4o^JXZleo5hT#2A8IBRVDQ;n#nn^48U?xIB*aQ`PR%jOxEhYE-*ZWb(?2zd3xd zX}yce)Qd?z-%G^YOq4&}y;N}fEys4J8B3&__Vb+}h72el@*BxsFW==Ap{f2g=E#2y z;+k^~8AdymcpM#Wjo4Z@CRCP+2Wx|tLlcmUirh_l0}p)Uon7pt+26i*e1oRJ27v{A z51w4^4*hc1KimAM_mV0-f0p?P#WKUJ#K4{0{2g-3#Yf%HvBRM?0xm%s1c zT}k$w*!uI-&phn+CRE8+*PaTqBIxQB9nlL&Z_V7%rqMx=NGZO&X^j}&SntGzbv`Il z?C;C%`U01UL1{Hsf>;}+)M8m=edO8T$Cior4;aJff^##<-IZuQmG|ZEa=D2vaXh`*1JyU~F9;hMke3CDTT~z6fWZ4tJ1-^82IaDcnyf9QV9|RtnH;+mFqRD=` zHJToAUg-6u>3vkt+m*a}M1o+}ZN?*MwfhJNC){UYX`vPPhj*`so1s>~w`1{lD)@;qv#bEn@Ir_V)Ie&f7{!kGov}|(5 z;Q6S2e?M_Q=d{{)^+To19r>Ivr>%~aOS^(yWd-F}?T$Up53hkwb{A+y9&B8nBABW3 zSqb}IAb94ME@4yw^UfANw_%@0ZAp@PxI}$vNRC&g^X-4Q09JDI{d@-KXOShxJCuAD z)_}&+N|4ojrNt9%+sP(Q-xXQ4R3ne~mXTj0HezyA0v!~Gl1qPGqEh$lG9R=(Iat?U zu-j^@@~2A)IcJlL=eAy5f2VCW-z0xU8K0tK-DL_P>|NV3V_KVPkXK1#QV=EdR31sN zq46zhSBfnbcr!_0$a}w>Ca#D-A%A9)=(XFRdbtl-ue$VLzi=N&%5TIqPc0GU(K`dU zs%t4+R*Qd+zB=upO?pSk#QB}fH1y#8g9r*;ADNW=NZkn*>9^la6Xz6dv}fmOT%9GR z+=+1$g(bD(@=&a)$xXv}qF4EY*P?GnCPMGD6(XYijn;J_A#@`QaB3&9e%M2hV&Z&M zYY4WIY&@v$odu^aDWwlxrq#T^B#<(>KV1AyE^K`Ko-t!W*pOuPFI4#081CN0sQWbz z5_3;WSz@PTiI=JIzY6>6pf-cA-4NUzO3*^_QY^SbfEH*WXmMIB#oZ;iYw=PbKp{9S z?i5O)6pBNOyB31G-1K+9d*}P(%Fa8JWG2b(zGwHyv(GuNodyJ-r=%{!crizp{jUMn zd$U}FWVg9^7}kRnRU2UUrdG%dUpu^?H7>-v$U&)Go5mYMLq1(p=H~4SZ=#|X+S~Bb zYYvUJ*63TagS^^eR3=xgBY_{n&mH#c_5(8U3S+?8Ji>%%VHEZ=>CjBIW!OCii#h6G zu99JHWhb&Mz^^}`Oi15hb;u$g;K0PwPlA?6z>9?0(ktGf+Bbbz2Y6s zBhxxJp1&K4poM=L038u&zYQL!`-ncF0_NlZwIxsvmupe(M zMn5H3LX4$fL_~4ycx=8Kl>sS(r(9XxIG+w9i0xbM^jYHuRM$nV1(>f9cn@-|Yhl$5 z&a*PwE#m$AiICVnVhN|<1pA46trxoj0xp=k9}0ol?GqdQN$wch`XnlYjKw_hyw9o6 zcaX9BnTeO~SMGmrM5fP*#B-?Y#9$!tyU4H&tFmoA zD5c0vCWQvh{tiqP(?npk5LK%H+pv_sb;Smt-Xva5J?9r7g%o))r-`6bbT2#U2{z;E zBtY-{bUXsOOz4#T+=INSXkDdK4slz+DvvQzlg85$-)vvkaEg76nLFS~J6UEd6lye0 z(OV|b{cCMM%>pwwQ5&l;YRc)u`%&bPE7dno zNg*9l1^!vp2@_}9^;bTa*wcI}DXV5=2VnsV2B|siNbH=%3xQf%3J%qjVDSAXr==Up zPWrV(Uoo}&H9B~xfGUgmEv;{!@GoaAA%urxjr@hT&J%|w_kCadGe`I0AwI~UJ{s9G zKREY?|E-2w4-}5mwAgtmhBi^Exzr~}p#n}FeCw{b(6u9ga*x?pAA6YNuzB~u)^T#; zG_F(;TQ!u29Ie$yn%7yF)8i*i&8 zOA?Uu`;5Y^OKUgxH8foa?_K;mE#qX#K09nb-zKl0dIP#SPQDT;!Hw*G+`m-#JEkEg zQ^8()vqj`c1JE_g%6L52fODBtlDS#@wWzG89eGMjGXwqrc5!0f`$wo>Qn($>YYwq# z$^4dkGcJw~6o!xO6osGojJFu%ymvTv(p(AX$NZ6}T+3WWu%GliE29;qre&_FIYe*)+ZV5N^Gz8lH5I}o`*kgU!65Vz;UI&#l;vE<0O*t9)B2#vzw| z2__BJvvs!m1B)mT0Y#358>U+VatIcl54YP|*>IGN9e;w9I4e0N$_(T&_n;YIuPi;# zXF`q=%-HAOby zs1n(aahtxV&|~0Jr7Ix8R}j)|P7zFes6K9s!4O-*Gz+f0UVD)Al zMRko35J{Qi-=&y2a^?|zkI+(v8&a2G1gSc`FncC%tsMxtEVa@c)uB{_ZZ`S9V0P@l zdX&h6H!adO-77)QBlkX7s0bC}9XCpYc4R`wA5p_IU};kr*7Ek`Pj4!1_TT`)Cu$8~fg_ z)%W}*1$U_*d%sCyx~91|`-zB{(u*h~>)+qec~Gxl@eP1;g_f=0D3#HD_?%Y9r6%;% z1Mk8TFpV?_Jm_)`Ivz;`FhTG=7Ud&!50q@KE}($`t!HPSyCs}jIE7G7aaeeC9qK4~XinnnPq4gyX|G!@GPiK95-I8(o~zEtg8KNMa;kYvP=4yJL{aE!**K<^G)nROatEpHNztUgIEX%8 zKqU;`RVRHpNiVvQq`TyAwT)tX?8ntQ^E2dUa-40o6pCxv&^wncS=$}ls;LURD46WF zZI;d2{IzjoOKX8UQ%yWCVv=xt$q7w-tNu&AtJHK%W;f!gn)?vL#SsNC;O8Zfa*gjJ`3641d*SaWj!@fz6H4LUmw> zYdv{#=fdW~F{u2&0sSPc^S?YIYHvWpJ8* zm#M=C&3TD`J2UtDHV}|N6fDoCFp4}QTxMx%C#6txWx|tvcwT-bX`KDX3HfE-;Q4P2 z#iI5NSaBAiH8RKInaFhSs?-P@!jrg`{xI|D4Ihgd>8%V!LBYAVd}#m4lk(@8q__p; zk+P917R3M!#n6K}aKCv-UW)<6ERObQ$z$3V++TPCk}8?I3U$f-xShM5ZtJ=>G0x)K*j5`KRu*@#gT*$(fHIslV+X z@gS8|yl}+@mj@43p+d17UJLy(#>_!%J(fNoSa-?_3FX5ravQsUO=#H-3VHPJ)z_m_2}17Z^%-!FotQGy92w}%5!LPJ}XT_2A{Xs_dBpIxpTBW zHb13%{#p*pVZU<^%OuUFi@?Hron$8gYito_wJ_nh_H!kpK)%U8c@&2`oVg{il*L|| zBAu(+LZ_+yS#8Tr00s0}#KFM+IOW;bl7ULu(FRAtCj~dS{m;DjmlAb(Gf!mb6`*Bha4LP~Hn$&MNobt1Xe0{gi!gzw zl_;6qR3t}~GjLPaL6^54QQ=+Fxe@1J z^5eGwl(U`b98RbxfU?cb*s+8CjKP>x7U$FykJN?hU5%->r!f1T1*G?SI?7Y&ZmRAR zrX(AOhNHfO-}$j-hC83c4LB#-uXP-p;86)QQDyfidA|sLf;4A4oSd>X;I?s}Su9_8Ej7$$;f5t;QHS%{Jv^#9)yvh7sq`OV$&jm5K?SEY>ID2x+On@3(HD#Gv?2>Nv`G#7o{ifr@I{dJ<(A2FF#EC3vJIt_7c0LS6qU_5O9=q z=GAS4m1kN_chi=V11KAk&nP#K!VFCnvmOhauV2Q;36m3+6GaDF`&)47}L-jZ-=qI2QR`B*FT zv+*DKErt98PF9|0a%fr^t68o#SlgMzgGCIRWyW8CJp1A0dHY&?{v*L5O7^}Q|Aqs2iYH*jc=4cGz(}wv)fCz9N0q%RHC-rUjLFr42 zVoMhAU#8QO+PCs$r@+mYk(+5-rMDhfiOL+8%1#R-&!cU5NKPYf9w;eh!{7!X2_cPK zZ5FbxAG7{jV4>Uqa#cV@+ek2g34=*h;_d>Y6+<2V0MKmP_X3D2dDcYD{nA(-f2`!{~^6IOM4`QxYo3LRu z{{%8g_kdwWimrK|dzL=;IjPT$!y}Jqx1<}{T*!724`jaqj*gWOZ!n`< zaJCyIJh;^91|UNA9Xbye5UvyLA%>4{7QETVS&bFV!42kx9_SqNu0FL#FrA0GNRtgu zln!H?m9*wbAuj?M?8G6|rwrf)tr*g=w*%GIgB=(iFBWKIHu;8zDu?Z!nirc&;hq(X z5%(u_Pb2$-bkeu%(0=}1h~YQhQ(Vk7ccv5e-3XNa#>srV3VmwF$yU#a2PR4Nvb3DC z4kcTUs~8xB;ip+B6b22$0e|_7?LvCA9i5%sps+Z?C`JC7HX&9+IqoJ8LVbpSo!#ak zw}J$A*_p#>x&xUGg5z(we1~CzE5Ldk3o3$1;rQ_hoTLIArTWY+@~S~pV&vQes7Is& zM>?fBkf}V^w&1(MbhOg=9n8BY1%?c^X3LaU#?Y6mkh!zC1qE z_-+Xb5rKvlk&f-fp9?XC8m(yS1Ey8qq%iY9Z9pJHAKA1Dj(6{~|G5490pG0< z7T~&-&Jm|ydd1b>{Z{t}3U@w|r(DH?!bJpRl%JSNVXC$2D;X|SfoYCWUFdY!8OX>2kq;p!Uga;#P$u`KvDYh}Cquq!gO!!Is*7UlFBo#L7sG{$X z@l&l5&O<=0uTS;HySoVVGI~R)rQBs8eh}u@we@5WjQA#-8M(%^A~**7DmLa4n8%E% z%9&`6rT>$=jrA~&phjkd9JxiTrhRI&d+!eCE}J`Nf5jL;ZA3XnD1wzLSwtYEX?}Wd zn%;WnxhewqILbAUUM9qk(1@|I+0QEl7%frNb6A+IHuCozWt4qMib8#g?8QZ>fp`C$ zE2M9`OKd~|DuA|D^A{K(MlNftTEU~~t`#mN3rau6g4nyY$+c?MUu5F=;!IhZu9oYR zr}yjG3i&m}?9gX?D=HV$R} zxB&EieVUeRr|rxfv@+b4xd+;6frU>%@K4KT%fuEYtBn{i_B&=f@ugB2OzI19&fa3^ zUztl3Ld^?8Jkr1ive7(mEW(cZ;R$foZWp#71q%s;`FyohT`fx)P)jrWc8MoIpOw{I zWq%n9!hV3TVXbLfe+SM0@-xM|vJKmk4;~x-1OannH`n|Ti(5tAGO(2;EO2;`&><)I z=^_SkT#{1nUsGsA-qsS5q67E$vs`B{pH6>wCU-d(Q4mgW#Iek3`WOgJ;nx37+p~|^ ziEO6SfG6$sH>pjhZyt}JtFgEEC0qu$Zcko zIZgeV-iI|UKU#mA|LIW{N%sM=Cn0iq3%E4QHHTlt_nN92weNC60J{%XxV-8;bf=tU zZB|}oxYN=I?<$H2u!Jgq%sao7h-JAH+Nh$+^A?>o`z9BVt8`7}>Hl_sR0bnn3GiwpkUMo*1g{3S72Kv*q}M>%R$K zF6Cm!s~Rf@FQwAH#_iQAsNf$=Gmhx_O?Ng<|2p$8c#3Vb@sGCAo@CWWHiG4k*gCs3T? zls;Fer#=%+EBiuvBs%5y8@KO$)@Q7(M`5668$7{UmYZ4ZKGpSfD*;gjUA@G;`?v*I zuitTMx8I4R5`}e;53<_X=ojPertfDrSK&7^h~T7l0vTr1W<(gU#q4+^C;VpWg#P%_ zWJKyf`Rfd_-H5qXbcF;b_`ao&y+p2vi>H0Wa7Y^0=d_fWe9M?tzti8HWGAgk=^{9V zEjmYQ9q+)+sD<};eQ9;!TSCad`3kSPGgUupi~D9KRn(MdomVv>L2;ew_rRhtfq-M? zAJ$xy7WOTV^dcRA*1eim!c8+g+9mkO%+%?vl5Vh0L*@IK)X#JQ zo?nRbHB}VwN`*Md#x6f~p4Y@&Bqzk)KA`hy5wu2DEp-aFnP0C2<5KvOx$VW|5!lG9 zzGo-{vx`N}Tb}LO7A(PVQFN?U@aZq)P3)>PG1pVq4iDV>ro^ogA<9d$2HlIr8pJmx$*i30fFD&rHkWcYng$uS zTE^AOYa(y9$FKhRG_wxl*@s9(u(5}#_{>Hz3Gas@zH;@T?^Uj>0H~NF2)S0L5*NyDN zdsj$Dv$K{oq*bt1|MH4x83?v^VeIQoen%PdA!f^@M(M%fJ!n+1PWyYo$`!k5d@FbP z-y+16@tB;hmeNkL?$uFu@!<(RY#4%jO4{a}y=8=XN$o zjNg&r9{2b!jAxI3aWxbCd8q&3&LoGOfKHPs-1qzO5ffFgq^fOBWh7xpE=|l3tu4P~ zwAtDf39{nESbC<@*Z{$=EEi-DIVil~R8vU@1K1mkM4+28u}za5n)lUNRZ!S&1Gh%- zN9(7vFH`bPH230E?8luT#OG%}e%)R%k)$|!F5`56*%1am&9Wvdr)t!gZ%ke#;4TMz z&`N5am#Z1j(#2n3NW3XToL1(Ul<^q`6Ku6)u6|d_Xs7B78|$f`>pgN=wp@*mAmnz6 zZqK>&#f(+uKR#6{;)Oc5@!C09>Am%>xx*lc$~91w=@O=FvUVh&WB3&GO4Np?aHoLD ziu8dqFnn5ZUaQ2!9)v4xxM69d^ILrI+QB)Zk-w8ZQS7n5AA;?Qjx}FCp`(4U>#^&S zF1Rm4uZ7dvl=oYH|2r#G_;$GLgbm-IDYasLZQD!s-dk zv%iIE?i>;BpABmQS<2fDluvr0mXEJy+o1C<+p&IIW1tXjt`1jK0(T~Ga@UAIc|^?~ zCOG(GJ70zC48)afPv=zDfTFgi70XB zzJIEsuSk7YL3dI0dR21RZu6fQ{U&=Q@Xq9Glsn4Y$E43A%8oS)gBxE!+1|RZo?+>5 z|9vC-{LKi}vN^hXP&-29SzumPD@Q8yq%Qj=Z&!yh^BpZeI@%-CN?;&jv8p z_edC>iV5pgV;&_3T493SYTYh<4RoPTs#Lu;q_K#@oI`o?JI26@WrTg z#Ak#0$}-4xnns+{#V7P_dxaNH0<8xN(X@o?|aPr#*el=6!$2Lt`W5~ zf22qg<)M4!dhgitys$yPsvxw-N@DzFB(NLv2ZF&wjLv-Vya1Wre6Dd`Dae zE?6w&tg0xj`%GFOC$s5BmOwZK3)lsbt0CJmi~OYye5kJM2Bk1A)32lmaY;k&h9{?V zudI#njR)~2jZO1!tGo*kH+DUJ)5o*8+BZlA^*Ic^-Qba{oCN(UeiHLKZW5@!(iqMBvM>&C(&tiBsRO&nh!9{wf!|JDrY1mskg3W=OQG(H0LS+BuJ;@_};hi@5T z4}Y&EIq4L0vxw7)Ts7&!4O(!^L_4zT@7XYDKtw~tat80kOBVeQ^QRR6!d^#agf1dZ zUHTw@FwHAe-cXS$F|} z+}B^%u7UoA8h$kh@gu{TCfZTb4!L09J#@_z9mO}aenwIRVPwI1cA>~)Y1XtITxp!! zCk&*@#G$nCI>na0_0p$|klbhIJj?#w1BVR0C%d#M`OoS>?jdpoRK@98(JCZ`K8F>E znQRlxS|_eLC2=M+NWd@yoUymDnYMGn&eLEp$9`H^>y{X~z!|=F(tGp>Y*b5s^)AEv z<-9j%E#oNuYtGVJf^KZRj?lNga1@{hxKzFBIs$xnwcsTfK@4vj-Bup|)4hchL`MjY zX{7))W75m4o<6q|$_p7#(0yvNcYt2ZiSmw~RDs%qb9d=FzxZE_N>Y<7*CpWO#IFyT zD0s;eSkmr8enUS0*pOWH~z2le&>XF!hg$T9mNUae00 zh`X>++NIj+`Ic5qJ7H}w_Lc=5WA)qwjkeeUolQ8rhfMd3P zdj*M`l?3R7bQL15wnBR0#PGne_RA3DMG#pnan4CzJPlrFzWcommHD#iBt3Hi$f5{t zuWmBa+x@HiDR_J|yz$Uep^bDLq!qRzLQqPxNQf>`;lg<67qf-c%x|&>g|)t|ILr;~ z^$kKp7AhEt5Yz|;YJ#F;BP>>%|{^QtGV6uHpNc$(7L~Q#O~cnEqhhU9%TJj9!x}LyA9qQ(YhBXn|Jj ziiGo`h0Yq3X%Se8d^@gbr7S-`ck_oN#?0x<$0Ur?f%r=TkZT#o=G`0;7sH&1m1qI{ zY^j4<=hsul78_Ir(QOS*FtT62<0GyQs4e5v+U%>Z!4ykgfJOkkZu8AOO|L$4|UNJ$mLEGMiAoYQ5A9Bb_`>x6y#!WFob}J8n&a4f${R` z*LJW+A6=wzUUNe`CFbQ=8N3zCVxkax<{!n&S5iS?LQFvkfB#0iM^A_;-TN<4Cp-fe z?lG%-;@5poHq8zWT`UUG%l$c2S^W=f=@>N$Zp9GDS|#$M9Ao_gg~9xtEyR{@%G@*& zePN$Y@kWl+vfX?mF-tMG3Q}TKmW^SZcK}^z5bbZaG-kY8Ja!`BYie=AOF=c2`bXl_ zzdsM|ZOgl|Kk%g)UG?SmpO(6GbVI*_3?MZRHB_Z$ z_fmtI$>-Q4KOAkQpE*QP5U_j7$9SgZjLr)pSM!qmGUv2&We)w*s-NEgGRbVuE2bj5 z>A!KqIWe6%6HB4L>+*<9(6$!8T|;`S1N%@;Px^rioS)CM??ZTYe=;9p7QB8GF9aRj zut_8F#j^uAm~G~Ov@D;M&)*d34(@zEQ|LAjW(sEXGani<(i7?ZFfCL9^e%DQ!w$%8 z-B({8KRhWu%!=qX7y5ODu^VAS7wwl%ir|K;nczr&bYF59MBQ)O_Qq-Y?Vmbjq3D1+X1LUQx zQ|tM!KUT-7Xmk#6S=vmm&I6EL)MGtuNTKZ5##;73`J?%xx2v&E6cIW&2~_$53j<4b z7b-rtq+_eSzUk(EB_8KJr>-q4f893dwZgbQ>R+iX=fix0v{$9`5%mLx?hgPt`68kp zjy`chgUSh6ZYa-LB5)7cA1o0-sv)yNSJ4$+(gU5H%U$_DEUrPk1_Rk;58WUH^_Zov zn%%MzG*yTARU1d;mtrPG=6e^5YiY@Wsq(k&oF@_g-FBgpAX(J zI%1oAbZyHvG;P7q3Qhv{Bb0r%3R;#c%`QK{s%5{(_~vl?{7tuL%$nZlEIei9To3w53|M9RC}i`G6vh@N zXAzT!!57}45$;8?;HLzV9z;1jEp+0v*x0in&ECwuM6Y>W+aDWQNYII7TqC~EYAt7L z*#y?-z3H87d4@R+Nk~^3Lvh%DvtR@hzn_MjM~7!;^Q}o1#kv{9`q#g>0p2`Gq#t|R zrLf|I`2};iGCH!4cZ@%+Mp;ZZCJ91qDbjxj#pIG?3iVqUJF=K;ZV{56!K-(cv;SaW z#sJ6B4MD|$UXJ;Xr>`zvS}hk(I<9H0VNHrZ%0FTV<2F$zqYGDIkt~?$Adg7cOI%lF z@L&K4qrn@>BgJ|<2Bj6I3+t)D?g%7>47TI`oJ7&Q<+>_RBZu~vyREplHs)@N0ey%w zZ@nzS$e%)UtGFYH9)L!C7r(<|3$!Z$oRd378Ihm6ZICma*nijnUCJG|ZqHQQPkiSt zRdg2oXUJc2>Q*qjsQe1F*ACkKJ~T8NvWQgeqRX*2>(aP#gaz-3w-#u?ackHA0A>*9 zBIN0@(_+Q@2_P0;>v>xn8&84g-J+3(j02eX1J1I3JzBXBRrWPBEwbrO*O?i~LfUYy z5$FmWUmgEJg#^5Sq=IOBM?KB@DMv_4DB5i7|H$BC8M22}-)6#sJ;9k$Oqas5xIq#| zMAO840yp%rwPN(dpYtCv)rrMsU6`#(qn&V=)Sq*t>OIhCEKtye+2~Ct=b=fnGjLGD z8{b80%3vL>WO%#L{lSZ%SyS)F%&wHVLgx&$H15`vT5y&*CLaO%`ph-X@w&@aI=Kc- zC~M(8cXOPD^3qERkIiWjFjs(WAzT<*-{FKFT8r+MgWVhn+AQdQw)Q0M-rAl;L7>Ne zg+71%5qhhng>bPBcpDVek?R3&V8E}na|Ep6X#UrlF52JE)rE*s8wAsS;^O7AbZ#Tf>67EYTXYNQ8?Oyfwr=q4V8%i z$awY!6aEr2)-$yLizSq}DvS9Q34!PeIhZ+Pc@G`Ecc}21DQJC5L`=UdQ>SVXUKBcIHDslN zmS7T7&Ex%$<*a_h^dD?uWS^je4Y&h=INYV^pm#QLsn0@Xj{@^bQhM zt`0EuG0ku{Bl}-r;5<2KV-_da-^q{jyVkUB&$xhVj`j5Jk6wq!&74+e{U4qDKgTtx zEFzo*`*!G=HaavjH@|&nj^4Qc&!)HefMFdM{kTpoJ{0}vI=~C%SCDE&i_rf8dlPtO literal 28098 zcmb4qcUV)ww{7UsA@trc0Vz_XNpAs_8bqW^@4fdX9TKES?+B=fC?FjXB!cuVy@!sp z0D1dLZFp~fP0CFvengIZSi~Witdyf#i zv+~;gfZgHysAxg&VPB#5Y!k4*i9I1EJ^%nI&A&GeAg_QCdyvUj{e`cghrMrrwYME0 zARs{4$=$`r#@f?P*u&c)|L`$00Kf^*Qd5Qo7VH-We50G1ieENe84o$)9IqfrdZDaG zEhykmy|0nVmn1Y@oyeEn%lu4&-+5oiIi*9YUhQ+h1JEO-%6kh(>B~#Y`{DsQZKwiM ztBw($VjuhAqFnjS;g=yF8)tBTh?4#PY`dg=ZGKHG9$|D^-9UP6n} zlYXFljJrVdK?JWznI!nL%tTnxroxPW|E+xR7WofHtIVz0!zU{W619mFOo0;dVK*5r z?`ppbNRYf_GA*vCr_C64l%PEk7$tq7w_y|i!877KSD~A-yRiF<`ePlLdUe-DDP+-P zm0dNTfwcG4GUDelT+BYRTo)@ zS$AhE2{td_GU9&N?4;z&zUt-g znvi)ZiEczlc0r1t>??bI9?$d5d*m66Ix2{>j)5!>2fA534*Ed(iIF!`HHRQ0Bz3sGz-5-}315==z zTe1=)VSm^hY*6#p-R9k;5Ev#!!xz(<#TjvQ7*r4fjEQuCQMNy1){j2CYeYEzr9QT- z$c%j2p2PFzh%rDXCUVHEE%&hC$yno4smiao=Ed2EKKBfQF-o$LqNAiqH zzD%hrWLV*I4Bib!oO{9M{WIlsi~}AhzGUCIP#hMLQho@2HYUHwG23_hsMq|>I{ejH zs+{E~z~(@p?~s^Rhg`Z@ZhGCeRyVoYU5MnW?8=I>s}%KZL?O|FL1Z}AphsjlI`-x7 z6E33xK8YF_DQaTh(I~bflYh}vjzNA?q#k9PP3#3q($O3+bcnI1d!D#>q-jVQ!ipr@OT@4UPp64y}&fFD4iy1nV>7HtfcqQ{R&m5SoB`6#7W^d zzk%n(!=wee`MT~F#FV7;NT=<3pw-9&Hyxj1U9N!Mb7WAW=?vKqN6w9md!P+w+SJGR zx9cMm;b_KOd6Y8$uSXTFqz%*>zeAR9B~WukJ-t*2*e$65PMz*Qh&}gq7`%)KxA;c^&S@I0BlHu;vQAW_zQp4cpmQ>mD|$G zo5}40HLm!|y4|@gmb?~dTRIR&16SWZdvL(6F*0(e7isg^p%vSmyeCG0CFMVNWGf*O z+<#M)%cITVqjR8P@uK(}*zl z=Q0q}`Q;^t_0QB-y@0?vRr_hXinOALxY$Gn>2PMV@!vS35OFeg(mnEp=vZTjupzl> zxCTxzCxMj_1v)j|{(^{IvxlR$Xd+{Uap!4E0Kg_@Q@GBxm+bNF9XJ3nvh=24FmA%_LnXLkvG**?|p)R2> zeuy#yT6l4jP8Gyj*b_ehxZ1cmR;778rBp;diP2V1G33s5Dg9EtP`4ldi?oxb&3(k7 zX+JE4?S57JD-qzeI4zjhv}Lo{oP&Y0a>MV;JAxpUP?LKV#Uu8yGx7Io{I~OEt|$H4 z5_$PiPtVI?JrX$T{v#U7a17&+9&C{;fGzvmqjXO7S9D2&(!=Imx}(WHgg}IkzSXL4 z^QV@>g<_>?Dvu;euzKfw$0+jl$;=2_)Dzg+38UEju=h;W8}zOF#@gFN+Q?O;!ZY7( z|Z<8}~m_X9rb#453W2fh-a>Xr&=o#c(C==NAPL=;|2QoUOVR%~gZ8<_2erC*B z=}Hr@BtQD)8@+bJOTg3THtn1Ip2O3C2TFphl>H(tkZ?TMT!NPX~gAaN;wouUW) zTI?`V1L48R^+I{~tc@c8@AwwHvT8e!e!wJkH_Ht`zSD$LuE;j7AX)ttDs z-^^{$lUmRB-)pv0+5>a#n@K zHb>&2c}RtH2h&-N4BYNj?q0;Vf?+-}DzLsKu+QJNykO&ou81TNmCqwoH#_RIP|II{Zg zG0}qAOyU2;es#b4nwN_=GO83ys{i)u;Rl)5ljmUqfX`vQ|4t*(Hk43AKa{X@qHKOl zcqx?E!Eo4D}v#9}kDA1`>mQ4-Jp{e12Rj_v2+<296d`5(~wYQvP2lh|_e zqfL*;GrgWd0uZU$_|ZqWAWkOZ7E9U7(~^`R!Lg^YRUr6pW5?h%B9LlHv%*)UM6>L2 zHE>~dUdu;5ZT3?c?Kdn28h=ktSpGd$46i#5NO@`^yZl4sP)yUaNX7EZk3{9rcQe#> zHY|XJqi{v0EYrdy13=99Q21`z%+N=4j_HNuXngrok1VygcuW%hr5%Xwa8NDIL$>TC zAfQ!2{+V;onjl;S<`VS$zaHqAq&u}b{FcZ4>JwB*!1tkc^X^C7RDI?}d426MO1;h? z%b+?rk~Px7cSY*8xB%vt4D*wLCMMN2FVAzd>@dBx`LeI4!0hzC67@#dIU`m#X zHo!mp{kc_-jiK8zL1Xt$t^ zjyqEJB62ADQH);XvI?#5H^~Ov&;;5P@|dPOjU+Ac=Jwu?q&1%Cy%>$VJHA?;<*D;? z;{P%h$)*0-PuTvlo+PoG%bz6aFNv4WJN#j3QXPZg4dylmAb9W8*)ID2 zhh6=rO~}dtUvYw`{O&tP**ms6hIz>`VT+ATYEW63X4(g^){_h!9H}^KbhcJJ)V4k2 z+0B0^IRLJga4N^uOG~0ZSJlec9XtooS5`+(9OJNV7B{p; zLYLupucpor|%VxD4R4J9qGvjmGYAaK37A~OB(YW7%|9tJXrm)zxj#0 zcgR1-;s^Om7by(ta7VB~ho*|t7D?v|1%9iB1r^D*-EpY8|-f`mG%kyt0@+7Mr z%@KN3qFB$GTYS4bhVZUuU^ZdL3&l+tX!t}PNdqswla-(;aj7CFQ3D$UK5yxI-NP#3 zvr250YuXGx_LaOiCrxUs7HI@w2lTWwwvPJyz?;&N{Fqqz?sLcI-FEJC&89?e_p)z6 zfyNS&pTK#~>U%zVq-dPbM15IYhOBUp>q^NnroI{>n;uf7e{D9)(#LAMCbV)yyvKms z%#9Ps?fD|D{{v-;=FHL;K~He&(w*w|S4r>nc1kj}?A-b$RZ7|)W5us40oZ}h801Oh zDNs|jpPX3rt%Jn%s1t>wpvH5`4);dhF zB9#2;<$;j_UGY_2IwpKS@$h^ORN^gCtFz8}cHqBR;{F~;#0>7*2tQhz{)o%&iDpjLC`#w-@+I9cw4A>UXM)$r_BvdIWKZsg z9F?tnuLOxcoT*8gvg6#{{`mQvh|6x9Ph#ybMPr6j-2vbk(Su>;;R96w`&4^J=ximg zDEjnbKd7O~So^GEQ|9ch$A$q-@#LmdIGpnpx-qYh6w55ti1zwS4pPTdm|ViRc%l{u&BH{iQ@zHm?vbGUtvQZS71JFW;{HehPZDuKz4aW$G=Glr=KL z@__n-WdiVp5NOovq>{`o3P1m)E29Q(ND179?<&`4Fe-wsQZsHH-?r95>#yMDEv22@ z(=}}p8|#|%2Q_;X8(K2QE}8I?D%>M9D6@&VqWA9gu4(w|@{~MDYY!~49#_oA4lHqJ zL(`*pi&&BJhPHRT;UcOcaDGSI2o`3U!Z-`PiBZUQ7ijf&FsScItd^I3)GS zciuf^d{S7cWj}}8Ft~EwpET2c#&|dR-S&{0ar5H4!!OaG#d;joQP8C@v@A%X^)R3z zm;o;@tq2wKtM0gt{3b=fV5`Rglx;69@G(rjAp;uUQtkc|4n1mdi^lX12Mi9?&Qbml zb+cK|wB;<1I>j^uSi5$bN?X+!z7;rL_yR z3{d(`iRX>3KIZ0N6nRO%;sN4WRE#PdOFnYjBvTPfPaaM>mcn4Q{^H( z#BPe*@6NNlkQj^Px&yavnQD4vh3vvjcSUk#CuE8?y9l6@w~ch=6>qoCN3s^crV*o# zv-+U#zSdUc7(w>|K2^N~(RvAf8R8&2r2# zmw!%*x#CudpxXZ6n(!ln3c@(HG>ejO{BsiE@qEjAXH+I2qFqYQIzOTe@I}8{vpV*Z z$g={{bvSOrTTqAFlZ=V;aLUI8KNKb^e+eloTYM@T?<0>|0v+8cAg`~v_1s1g4>{`8 zzWZ()-epBHb#pADL=Z(gUXi z!48i|yG5DrVegylz9im48w42=)s9okar8@F@3kx0V>(k5pTL_vy7bZZRx#v=r5<>t ze~ffrn%DNr81TwMM0wMHzU`b1KE*XG0wrG>jF*QKtQIiump5JYhPkKU(#o^oMhyE{ z&Hxz7_5!Kl=hdB`sRs@(S(+D^Qaepck`lEZ3|Mz{z`6Z6JY|D*+F?+J=^zQ1@VPFb2zh0w!PMjuNCIJ|(lE)S!?2>EIp;iO1?)3MZTWcs-rU z{9`bRicZ!E;*=6{eo8Anb4rx`M&U{uf61ZszIkx2{8T2*rkP|vkH+))Bk?Q%!YyvdsQf#CgUO5|rya0IP4U%}QzGed*$ zezHbJK3CU{6>2`vN=y`YmhNgHKutK&94^QSzW0eHc(s$1OjX&<%R&XSy!gek$oWfB zts!|ljsu_r)-6q*o1#1u!U(S?XVPwnXl40DpUaPIZPdB^s5oYJ3|m!mXN2JzMrqun zm(H=u!#TuV^aU1^Iv0JeXG+4U9T2*oVX%f%0btSkxT|7!;-i~NZ+rCT5UnJd6AYi$IHQjhgEEY2ISAHJvn`Edt-X=z(UiBET z155f#QwR-$xV9EcP{ig2`az~u*Dr~pnUtRW3dnx`WNcewWo*p#T&#jsyBWWb~rN6gy`ZIKC!<^V%iEI6{rh z{mX0XpS^O)5J%C)44K?!OxzG*qgqz=O!}7Dr)uRV+RoVyoxJ@AA*HcurX`t(5{EO+ z%#AA977A?h?6UO@&o&Yb{r!VCi}ONox=vnuS&kxiLb-f&VhsANsiHW> zB1&VEuFl-1IsJSA1+?8YryP<&4caVRgz5WtT{b$$eqec%NJ8DHJawH%)Sq-DvJfuL zyVAoe-(fzl0kKNu3|I~Ti)QRk;GGtJx&zlPkCIk0h0|V!yuKhRTflJfA^)5WtbgMJ zX=2#iTlgEd1ZzzA`hd-pJ~&v&^HR^1z)IB?2Z9>Ep@HAskwFiRaCniro_j>xH2XH) z{UD-XV&jx+pC z5#m7yqftv6F<-?TEtvYp;^$Vb)ef3t-}+lliL!7uI@#7t$miUY-R7gXSUb6Z!#Ql$ zg;g*b)2!=g{JQRnLS}zLoWp$kSGNf$oQG!S+iiNlAYV5JYz+n#kYNkKYo?;Ztxd!Q z)T)Zgy1a)n^Tbu*W~~o3LmRQEk@;6@cfQQmc|sFB6?P>R3@5K|X!olZuA3&_J~*z) z`2L81ifLg>6=$tgj>M#93FXT0Fpfihv8Wt8T`D@CmSkH7rMH6^^-P%&af(3Di}3i# zU02fTm--JYXe;ks^n7H=b?Nqqe?Z$(&*e$E^Zu-|9DgdABRw|aafipFKP70221jUy zS&Jx^2#nUrUDHru=r)Hq1>xpmg!((MW=Gyv^!%J6_es_@Xpe0a`C#K2wDL#=s&kpTkNZ{N_enV~|b5aU4@v=}qjMh9^z|caiKM5J|KhIbin7|!^AncwG z0xKfjG%v<(f*`qQanE~3SrF{#CwzhpZ&~ywZ$)hn)4m9w9Az6cF1Yw?$i7H?dKm*N z^JF>kiC}S2EZDEwdCHr5_^U6S0!Ln)t7SLMebXJ!@9GherGezE!c zS+JpA@3Lswj$a+$hD8v(olf<2lJG0}eM1AMl@VA=c!$-ZEMl@=U5r z{uf+PrgND@u;bSd68QXD7)pk<~q*ch>ecN$3vThn`!dk^cE&R>7i6DHKi*+N7I_;7Jha#XqMNqb~yUp>UALr0R>%-8!nRv>vtLO1}`czJ` z*CpWis*RA^|JDM?!yB#3_GWmH;bBQ1xJUHc5-YGykXhp6C}}9ic>2c6l9g|s%=x+) zF|t&O^)v3%gh}1I(}>dCFgFQr5!J&43?hfUDP1Jwy;h=JdWFxJjzhT znF8;>py zx53_%?W&H|lT7(K@!FyQvb+feKqbyF^ljzng0{1fqMm;n%$>IC_^F#13`Aqq`BjPJ zMJuq!v?NwZAzs_@{hLPrT;ki-CVEiycLpkO;t^ zG@A$~f5sxfQ8)7i!pB~vtr67eR{{H4eoX>^l)N(pXpf!W3o3@-K(22kYVC9PA=hU= z;;aIo&s!u`XR&Rkk@9K=_flZ+h@+HSJlD}^$VQ5rIqUlLCL2m~2F)<1<7Ml814>y{{)oIpsHLLH$u0P;xnN}XZ)ol%!d%;m@f~COXGO_JE4M~zWNZQUT zjypkwM4V`6qA z*M1UZF$s28ddL;jTwB(C$4ls1p`vu*Rp}~{$=LSYC3-D?U zWzA;F2y!AGyEfNo=;bR%}6p2X&0sybHYE=pKIFwI($Y#=Xe;+!W3&{Lnv(eWC7wt9|Czz>BueW3hn zBdjt&2|+IJHnq^?POZ;~Ere4WP&w~%3y@w@jZ+iv$1g5N=udUffk0=_jk<3f;Cpk7 z$`xeH|FElGF>RzMvhLxrltfQhVl}TIBBeOd-f=Qqk-1L?$6tHGpFm$}F;>E@NTUh~ zTS91B(5OVUDKxxzKr$USWAg}jVcl)UF(ajWV?m+v92XW5p6z0(0;P~{&tAQV(R-}! z7qfHY=SG_H^zv5AV3CPaN{PiP!Zu2p)`X;L%d?%j;^n`TSjvORY}`@$+(6Tk96twc zu1T8Id+}7n*G34D#UY`i1l%?aE{+?3#7p)R{GmS(C&p;t#EtB1liYEMOBV$*JecOz zwYe@6LXF&MI#{1BjK;U)K%tepEu*AHzxF6VxEyzezYrzKIl?#d_IJ|e*}(!tE$6q3 zG8BBkOG|DV3>XsGtcsJMNrcXi$GuhR@uQ)Iy}M)B?R!&kV>RxVh zP2nU7{AW&R_ zWx9xpLR{B(&d>0uP4ETq8_?dR0`D%jx2O$1-a~N)Kpbp?f*1k`!H!EnQOdxjFpllv z9YNdAP8-+D)aHXCFai+E5vLu`A^$(UTS{=B9ORg3>YYr(+1ZbA40fb#q}n}wA9kT; zNE(5^q%wA_fmQg(F#RcU%3Gdv^1zm1W+VqM9_*@EmhEBq9{GLbPf`2AwEco%JnT08OAbyK6LzpBn4sq&9lQGf9?{EYO0|{Xx9f1E)!BP*X>>_&%@Sf zKcbTjow9-CTm7EWnrg9?mol!FX&HB{WM(WMED6lwPKY+1lzv*J>y{*#9XZlJBphk! zuE*VPek4Q27oV2~l&mbL~sBgk(dT{>jy z@82h5kj7&4-rJU-0e>j~16SpW3Y7fe{C)<7W5sgjq(HP}>FCVyOM|R8yP`zT&d+{V zIVbL452t}XPoE!tk^~-WNvQkX=af<(6-|+?P?*B4CeJR{H*e)u@lzJhB>yZ7!lBR< zxxmv~E!5)OKGJ<{g3eR_ln9x^t_D853a}T`wR`o>$-be(s zd=;G6q=+L`CXkIqz&_Z-1xyfK_O-E4@7nCHXO5(W;t!|wIYV4CS=_VUb^=R^9XM4yE+MuoUOuSE6HwitdVXzScBSy=T!~ zZR=UEmoGpY0m$H^LhG(v#&{re+yf=Mc+0vih0{tR*>pIPxlYYJ_RW}IAj2h3gYkTv5px^FuBLR;yT`SBM?<5@ zdo54o{zTi&Imp`M?zJ4fE4fUAMYNo^)Kl&T6eQD3+m(sy3lZoFZtODAd_c44FD5R+ za98#e$kf4kx01`aSppXeDo`VDycv4lgiis>rez^>VzY-7R(n=g?$A1B==)c~2HNt* z@D|vl6?E+nhYi1H2D<3bg5&5Sf5)RuVqREz;LSS@gIe(+&OfoxnRsmE0c-sV_^MRi zPm^eo@O~8GC06?_04QKJK}dX(8aZ!1Ukp>SNYL&N4p-YURRmt+5)=%PHt|ej2v8kB zFaS$tnNSiFk3!nN>y;p3~_v89dU_ zoaP(t=wt^IaPWFO7g8U=f^-w)xD_^#CV$%s1^6qMmk%TGmwtWhDg^1(;xUsesGTJ6 zEJABN!-M(eY}m#dyYQ|g@=M_xKPnh7xz~+A^#R4WSeHlB8a(ZK(j&h|{ed+`_zXM~ zm(Z0HvVNzi-y2??PhRBoqSW}3<>@MnWu5a~V0@cuwseV_=lyZBXhaH!1E)cDJLe6& zI&Z_D8H!QZ)tz$C6uUm{W)R4w7zx&Pf_EhVV+R8Kp0ty_590 zEi>wTF}Jk6BoYGWou;F{pDPief8wAtz8NKi=5Hvq*d*(`Bhn50Vh@9GQ(t)u1wYye z%BoG$VkqrGITq+4~7 z)m?|ITt=|Ty%~qDHF>apaM{VeMJ$gHA0@2OcY3?!l_-53(bqE$;Dss8cs5J)hq8gm zmsAXrXtUKF)#e3<{Flty-Cm#m`Y8?}KK)F@W~LYlSkbqAF1m)|Pb6vX;x&%j4)I+Q zg1=(YIc>)!Am$%>!V&!nqU3WLf@4e+c8a)2(8!`{F0jZG|q9dDQ158KBDg-kT`3zPUH<-?6}G_K#pXW8CkcesMQqsKy~`f0c>0p zKQ(w+ zC+2bcOI+Hhz|Xs=h!20M*&iAqTP3+~e@7c3CKU;;)-6fH(YUnI_Ru1>C z3!LyZtoYDt0~CNAA4J}4`zaGQnE9!Fv10#Fj#VFje*MZYsNoASGxaAWo=tS((*+l9 zaro7hasyF}pQdo3Z&ZSpHjKrdxn_O_No$S^4N3eh9L+b()pK;46oG}i#>axZ`Q_k{WgO$OEA(qe zoSUc(rFqq{ry0ij7J!jX$1N>`==Y(sv1fib&Tp91w*Pc=qnGeD>97D3#5iKmOacIX z{_UOlf**^6^y)fCY51;~Ue2)9I25RQ+jsgyymk|-EOp4j=Nb7@YqgRNH5{L-R%P}y z_Q@fc6cX2-%5+vi(2^;V(XAf{^en-?^5?t9oDG0|q8o*ac?gtT*p@~jBV~k7k;<+O zO>b94D&CN)zO|#BN#)QqkE#RVEwzAdk3kZthb{prI*uE`PhMj4@Y^IO^&|fnz*V%Zer@@``bW1)Ri=}?vYmnm zm88iRndV12Whad>3mE#+2LY7dP6=9GUwCf&3+FA(;$(fbh#S8b@w$QNqRKhf0oK@C z+|O`m#-VIi`i^U}gkMtlLVfye4JgLWoX&nXdU##1f{ZR^4l8>VXiN+O$WiQ}ypk}Kk3%^m&wc zXi3oDoVM^P8#?Ai*66xY5zP1-+tLOOppF;83NtT2qg3KEmk0n|5_J4!vDFyvvih<) zRD59jE@XwhxlRx`o=Y1^Znm6L`n4Zj-ii}a@;j8WWKa5Sb#@pJ6t|U$StdLc|BMNd zf|0Y*H8}knLV;EC2mPG+NxinVt8Jwht?RivV9QKN;xw3lb$Y1dx?mh>;LSjf@U9vJ$_xOgK3~ zsbU6lU|q)oysS@PR(EhvNzHxchwL=0>!7oYV@$Vkg7ch55`Gja$0OQ8Eo|Wg8;ypX zHbyuFF(`qxL59R;$mvGSK0N{R@G_MKA#tt!7G)EWFbZRGwVq7g5ah6AufnVQeibhEzXOXXr4Xs zP|~sDPvYbaE}EKd3y1H}MBC_%hls7vWi}$IUS9vax3ePKVQGww654Mihw7kifTeI| zeTVFv@Od?3MTSeNBuO4$OzMZ`kR}5^JCH59#=Z9~(=@mBqwA)&re^!2khuhlF#)xo z({;Lw;cK%wH$!J{;IF1>!I<>cqmBd;+tmxSw&b+~RulIZkGU~EG!j3XAzFmW$an7v z@3EyS4+16#x5BCoo+*}%;N8!VapBBxQF64GWH5g)&)xu>7%jtSp8sCUhzu(+>-dx}@bH(xx z)bH=zM&eWuLIX3Qd=wsuXiY^(;-M03Ak{&`QR(zpEH=Uu~^hl$; zqpOU1(?sS_j^ibF=~R0+`lFI?*|bymQT*?}9b;kb4=zH8z4tySZAS>zB)wD!WH1DF z?wTVEA)>EZNYNCcuMmHN?RRbjjB zKoD-CKx{cKg^6~5YOC$4;U4=uHc&o5*DNwH;x^>7LV>Qk{g@`a(U#C4c&&5T3wiz2 zXYh$W^h%ZKLIz0uTM8yd*VU;t(i_q}p%%XI8ChvIQDaXEQ{S>Fb7{TrS&qhVCA9(6 zn~v@+(7P&*xowYh5x4S>z!g7neP84NCl;|oaDu_s`Pc!lKm+zG@~GaebxOr z2+vx=-C!)1xJ+o)TS$BNFz?q1{&g|Mk%=Jf11v6;tR_F5BSsP^0&drjk~Ds7bKwL$ z$|KN=vXEW9cVu$LEr)+)hEm@8zD)HjtCg~YmqMw$3+#S(s!xl_N9aDLeiq_#nASm} z-W1@CW{ba>m4{iju^3PZ!0Yp)X=77iqU>qW>xU{Tt;E2SFxc|KIy!(+tmZIQ18JR) zrJwD!S)cAYZc9s?gt3}ijzTp4~OUCwFsnM(tyw9_v3r<&!@9fnePqMcsH#(ipSj+bk0f*gm%6g5*IP>Te) zdy4$b1SsXd95!ROrb!EW96SW}oi5F@=RyTppC1NmsOfI3IGArAh?4P;Ybi%+g!c~p>MJSb zh1PrwpN7hGegU8XL)#*>VKuUYTx>apegk$k6`U16mhQNZ2)1-&IvliQ;6yAbb^q)DU;d``pw+|zFmuOl9)9!oc1ipmJ9DgCJl(SW%WAd0alU~;`(Cu|KZzedbYh*JS>^xr>shRBbM^&bA)+7Hiot>`fgO-DtZZ>`f0l*e?BEwvc76DDcyKnT? za@`#<(vI#|zzo40x}+g}jdmXWjJJKf#`jXb2qdy4!F?Eo`2@X@QnF`LE33sWflk;}HWneml#H zz;b6-v?4E~JSqcyW&es_;QAC)15O?s+fQF7@l0_o*ijhqF2>Wh@4{kWi~ZM`ns+Fr z<1qR--SiF-Bg6UEX30RqxZdJH6`$MI@nj0`!5@$zs^@9D#AIHBe4xT(r83_d&IzQR!Rdu@ z$p-)Wug9`ycGh7#iyH3BtClYUtLeOX$habY;*G!}xHA7bvNuafd1y_Mgm`KHI+Dqa zuX2)9uW^J!pMY~)GgO@F{RDQlEWE_-5MJcE4n z(FiytR-=BmchBUWujI3~tYYWw$}^ zlW|Asq?xl~7a552Ez7B8AtfB@(D_iZU}b;xtHUs_Vn6+hFCVeQ4^>Q)RQXUvOD|Sgv4FUzP1V?2Qpfa zU?$vb=Uzk;p&9h|)Q-E=a+}(SF6E7`{r5tBvY+Kh3-*I)DRuR1OtLfMenJt;h}GHC zuy|Ts%lc}$hUYimg*=jItHO~jtb5bC%BTaXjZY{)-V4vc^s;Y6mYLNA0tROu8yR`8 z53MO}ssHvTi_`ZBJXW&hYh_&QS8!^=hG*4&Yr>J%j+rw9LLM5f)wIbu5Y6DPQ$GJ*5sBkB&%FZyXWckAA+94E3s zvMbTN$)u=Uq&9TJNiVzU${Q%an?>w#9YIoAc}pbr&Y^+5caY0rtyyiyd%jebp;W%# zMe4t`0Ki)s0lkR~1n?_E%|mLw>bJv;&5z@teEY_rHx>msaPRp9NBlcE+BQJzg|%Hf zu;O023O(MD#@uUY<%2_9#&`j@;3^xf0PIqiicuV0zh`g#{fMtR7UZq9mPPcf<|WQl z&bLO*0%6r@R~UqcWuh5b;h5uK`mu#-%aBhZK1b@|d;u$ZbtmBi`PKD}kBknO1hJnK zJO23)Jul-LBGJm;;wfYBpuyxRcI|1;AV}Iv{dLpTMx`QY?i8gu*w6HhY-&C0X1Aqw z?Vz>OF_s@Klj9yVQ24E`avRnhN)pT-9w$KBl-wwys=Z87A+got)9r1W8b|{Ethh0! z`)?)X`+Quz#rBmL2>o-_F{Gm`Fg919pzjKJ<^4&MKJI7~Ie_j_ed8;8DuHAtzn`}& z&E7(jy*(QL(7nwF!F@vA@{H+s{1T|=F5UgE#OEN(KN%`K@OhCM^7%3(?ckGF*fouS z78@a0kiqRcb(r^dg}2j;J*0od`(pAiX05MS3Tc z8^3dY+&y+UPdBM z2{Nw8Dji|%Xa1x9UC#Nh+`!0FsG`8zugOROMe?I6meqid?7{q#gu}q`vSmCwZJ-NL z@IhSI)yC^kwagVT5iFtt73Vu!3DPy8A+#?Vp$0pHuB znRl;m2YQL23f{n9*f1g+(PCCEY!kezZ$bGhWBUis;i=N3@d~7B*cVT2yJUz)vhre| zlo9H!P4j8I>xjYm{p447&R)YJJ^tERQdb>5h0oU|p=`dXbFi2wL%132Cd{*Cb*#OM54_cS&pA7p5O1%(OC3}b)!#+nT>q(gO!36sbA4LBXwT|DLxPz| zL~U2(ah6vv-tpe@tB)ON{o3voA}YedETZ{hoZc}%HBXOS*30Yg!TLT(e}x3+ge|G0+jT=`uW4K_QytW8dfWlKf!#8 zv;JIC+{|rPfEvs2P}hvZsl)B2+dB0zWeL%PS8OzjHm89i>SGIwDlsOYWN%B!))pPsD$=&kiV=HAPp zxII?Ixa4w=MMy)mU%A@O!xKtHA(7u8wOoCGase+c(UaWdjQL`fh)zxdn>Vq;2cz>Mn2 znc`4_e>7a-e`nUaA%k>0!ldzQ1mYq0QeEsh5jjitZQ$|hw z?Z(!}%+BpZv|+ptX2e>jzYFd1$tQ;h7afH9#*EWoEVQsmGAe{UJoP8Foq`kOA-deY z!e)rI1d1(V{@}M$YJ)h*3AdD>{TOF=t_3oN6Nd%0Fq)_v2bU(Da;{&Mw( zC))>k#=LiId3??lo%*ys#YO-GO&7m|&o&rISu&_MI6d zf0_A>OzPAtZOtUha6K$7uYkRdZ5RVxULiGbLT9By4? z3-uuP&*)70XDWrET8NxW3$2CZTjdfx`yQ&wZQmvZu<3*tf?Vaj_SyArx(Etw#h3N| zEE*U}Tfqto75kdD4wCrRei8*`M^f~PsA_imLXA8uexU^vL3T6B4vww)8#12?>pF_` zGJg3$S8rF!mJZaQ(iV~}RqsPl6SC4o_!G+G?dDi!F=jG(Et@2Gxjtw~1|CuM0<;&7 z8;vG$U`s15Z0Xz0**x9c_cJFOUy|oVGIx(ti{?_MChn&Mc9^`?sY~oCN1FGq1>9%% zANaoP7;%gLM^>SQB`11IHwF?>;C2+Q7@mfmJ@MTWB%W!HcgzcjY!*XMRA5ef+MVo7o@?Bma}{_?;og3q?%@ zfrx+^b-J?~?DGLD0l{Qw#;;P=<1c)%TvQ-Di#AOobnQ9UN3v5AQ7 zi}QHTo~Nf5Xw5y~r>4+XgnW4?9jCQkcvFTCtzo&AYJb`>!1&13+h;{1h^|efp{` zfpg48qNhScc&s2x3JR~);`w{c)8Y2)aq*-uF<`TXX0p+GfbH!iol$32IJjM3!>>xE z2>mKa6y@%fvq+}8FUU>N+pVvdx9?(+#fl|ICIJD#{nMK^KNa=lECv))TgR9Zo~zDs zWIsNvlupE_J9ou&Vv!BGwa6}AnrCl-El7iu#$Y@Qtck|?AkN~F<^tH;i z*)gZeV8q3J=SS4H`?%D|y@}MiXqBh*?=@)p#-pcGzUPkO?`9TtaA$N#7ko}R+T`5p z5maMrz291h=6@Y|@lYHetf6O$?`C^~n?+?1)0xNStKmOjXVkqZ9H$*_^%^C&e#i zCtC&+AyCZx`HHja7S)y3UpW4uKjx^|G=X`HnR~#$7SIGRj`3lI6pX21OM=@Nla7zU zF?0_Gz}&Ty&Qno4E#w%kw5At_=%p*aZAO_(hCQaoi)L~o?s0}1^+j7cXdsHu3l%C7 z;5fH(1PqH5_-}2@vWAi$(ME)yc@*|vy2BfgSNj)?`akQ&;}~lM4Acf+%5PI#<-#WD zt_pS4yRL&RW6%|{ZdRFl5MV2-uLdc{yK^=6U6;yu!6?%(>}3paL0?Q3{Hq}+vYhI% zVSZEC$nr5Rl6oJFuhI-|VQJJ7_aYWkw?7N6bTwteTIQbfZQi~2DfSQ$p7_9Wa{Ilq zvnW|f6k+&dn_`WtnBk73S*NW_8n}#7>#x~-%O+ib`rPUyPGwBfz|~$~E*L{7$;_jT z*LwGyjnGKafOoqPIhG71JB9s%{BwmVA^u!Q@1*BT^3{U) ztz@bhu2gkzu<@~&ml`Qlw>Hl^g$N#HCF1lR69p|%gZ#Z!zY(5zN>s&1hYjA81qo4j z3?&`ja$2>z^mDGGZ?KQEHn05}(Q;tWFu!`~;rPo*Jp4b;qXW+{b5XLl%^JS}Rh2$G zyn~2GU%p^hRtSCqj)^*4(y^spB{C-7us?B!%6HAesnuZ|*|LHxC6#yvDok!c@R;x` zQjLl3GgswbHBDL2xmu8i;zPyCOvZ8Vmba(m==fy8PVN>L=Ok-vgPCB(StsSwC;Tcx z;EWBz|16>X?~9T_?8OYAr~epoBEvF($mDq439r!~Do@!GK`tCM)c=Vd7xAJ&SlL>$ z2shs&!tNb~3IC(h@PDnsFZOs?GY$Tu0zsS-nTcO5wi90JU7;}h+cfo~y-cQZ?oi;J zQjOT)^ELDdt62Q-zeeXGmZY@&<`BMJxtj20_^Mb!y72GYdTm%S&gCD3*xUc?!NsUZ zYA)26SMQ6a?vx08M5L_E{rwk?U!?XC!~(NPst)?WPm0H+G&NZBjilNk6b)mt;~9R| zJpOM3PuQA3!M?XBwVrS3SPhxyvE(DT7LR@L3cERt;vbEQs0dd^!*Gs^Sq!AZ>t>Nz zSktOZ*k*xwU_;y!IPjZCy(F+vLDk-)fP7F{9wd>q^yJJHD-Sj9!sZ6c%&F$p!UV4n zb@#v120j_P)=(TYBp1}-fqWLnT1d&lPTG~FO&q@Gy7^Ci5vSPuAgQLUsnCEg%~g+) zN1}hne9F?>QE%3gAp2AQstX{*CNf?P62LYoV(IY2(R045C)YB2m2zkKRPs@L}J8` zGJ+MJuVuCDYsePjXU@z~Uv?y*t^d6aDv>{wa>F_#akE+W`P6HepNVsTbsu-@!|GW`Zp7NllRqk?#Fx)I-zB8HPqc881KkgF$4tCAnF|AQr2 z{y-S~CVA+#`f1iq-MS8#pvZN}>9VY=@$MBb$!QDvh8%zI4#|hKSKv#1`G~okEcstZ zau^SQJPPR4dJqD*Bb15pxIO@S;ihAeV(GT{NCPPK%8`u74rs|?8ePH^kQQ$kxB}n; zT40YAJFHS(vb*sf`rLg2^?P+vyda#zx$M~!q|cdXZp7-qHYxtSDyLEKf@DeCR`tIq zeY(DD4r}~ioH=UR2Z6*4I}3F{d*FwbEpud0e_t?@8&o)%RKqha7dg6*?nF#2ed}Or zH@<~%ymK0yMG_acU|U34HK;qXOUsQ*o(Y_hX+$vV`VOUB;-$){x$z_PYsyY zJHxL+(53N(m+W7KWxs7Ki&V-K4BB)!wy6%~J^SSl45y1StmZ zxyzHeFbcc5dWqPJW;+c4?3T{kQ$ZpQ(oybADl?I8UUv=BI)rNohI3DH5A9R$A^s#$ zY%lG=EGCTtEMqY)pf0(wI%WXH`M(=MB}mZGzAb0NFk)7nH1wF`3Q-p->=(ds=$nwc zs&;h3`>*8}5_j{DtGTW5U*#NgK{;Nrd#=+55xng4dlpmeN*i({nz|9idBBjQAcR)>tqwM)Q}%~_1Zu}MfJmqNGEnP zwX80GEru@Zo2(l=!{sWd?k7!y!WiQp%FqlNy{{V>ejTx8t8n&{jusruq?H}-N|S11 ziT~x-1)hsCl@a?Rx+Vy5#hAk5XaVSv45L!U&rm_E=lU%dLH-gKY17ZHs&L}4?-Gtd z#ZyGOxJ=s1Gjv-@FWwzLV8A-XWm1vEWlIe2`%uIGWxTI2IjmdHhRs0@ItBCt%(2PL z#?;+)4G%9=j;`%2B_JIE0Pp#um1 z8Z^wH(Jxhj)%uJ*1ys25novFxbYDcR`+YT>@9VxW=w5%T#|b%m9Z;lsI-h;4jF>>u z(OtABs^MwUVZByrJ9Cv7B%2F2$1AhGmpE(s`VNMpgPQ=P)?1>z!fBU(QyPxWd%T>> zu#g8hEjpCN6(z7QtccA^^CN-PQsvTPinO}S)%meR^iXs8+zN!s3gbolb{`q0rZln! zmehhes0Tw@yLPn~iR0~6sP>_2dX`2T$p}zS`>lrIm3qLf1;OfjVm!SqGslYVo5OZP zt|5biBb3D3!iB z30%M`A?k*g=}sKRCmH9cRmC2$?kulBWn0Ys#SBG8nk-(ZDN~cQq3YxC5>X$@t#lO) zkGSiiNc;`>8_l}}e-JEixExoLGrka}x_-Sv(pVL@eJ}q&K7=;dMadMW@kw@(U`+I( zcwLgK%$KsMDJFSkavY1oHlyy7QN=|<=}6T5^TH?M(~tZjCJ&-AGBWBB-8?J!dOEu4 z!BJtDYkp;IXu0bLUM5eeKR>fFGUh$X>C+Oi4Lr89d; zGUvXppWYxJ!?ny!Yw*r=aZX9xuop6$%Dolon57HmD2**#^Ho1Y6|fk#ciS+lnCiPK zXYdA4x<0Ll3euN}&d_pCa4%aos656KwNEgQL1|{ujru;imR^D`1+!=((tNOgELyM+ zJes2~dRS<0ui8>%KED#Zn28wDw_*9Mh5T0G^|D*vt*F6TqQY19wtuv?`eAmAe}?Q( zs*?i#rOJ`i6r`kWm&B=wySeX^%_4=d8q#C+ z?dGV>RNMzQ{G~n&D)V2crMb#_DP&MpRaW0vtp~g^e52~3m`oE;H2ah465o;Rp)+vJ zcKQ%rdd@Qt)OBW5MAy{Niy9K9KKoO|VcZ^yHn4*rRR5tMun7dvBW>S@D{V?MC4(yW9#n_?iwDK=w1}Bv2DT9}VBg^0>P$MM);?6+1+oq3 zO@Ga|LT8N!d^}ruRw!RBYf@FibX~q;-2FzXa4cY^a7uY1@cz?Ii>qSZZ2v73>{C(2 z>HvwLIzyE;<_Vm*_1d%oTMJ*%`sQDV9fM3>EJSrZ+OVI|31T#Idt;v;!k{m>PY)(d zcEK*E3YG&l0krAN)Q=w7E~u>8Z%EGWj>|6=mz{;lz+=me9)q760;%)~!ZM|d+HLzq_@a7Kp{1ooZIt}$-h;YPH<^FQqm(CB zF}CG3bkBNv4(6oKg!Mu$zQhYuE9<^srB`xp_GS1hRFMQ;a%2ogo2+1$6z3I!OebP? zlgm&kb>WlJSR{(E(*nxIxI=GbWn5P<8UWd)endxQO3X2hckNp1PMs8I8?`e}i*tZx zO4<5u;Q9NyEKeqRs(2BVmi#^cfgIpL{;IkGGuTAZnEZxP;z0?bqkh;sgjlp+2fO2C z>1(HGiWf#U5{^r%2fC?oybb_OM^Pz#d$}K`e^%H-o)3#bMa~w$rJbX~OnapoV^^Qf z6pKV1#0zoJ95t|z(LUCi3X&zj3%Q`kNKh@2Qd-xu=tXJ+Ggeh9OUggwAJ8Z&x)|Pq ztZsK^k<{Fu@A>LEcN5oTE)16Z`cpo1`93oF=o28pL=yNU`_J{(Fl(0=hm|ktU7kpSQ01J{$^*i|JZnz z;0Wa|H80I7RWMd(9P7b=*qYjdn=->`LtYssix!5M^y$4Q=+tiOlNQF|&o-ft$5m-B z+oQB=d3r8q}H*x@}N&b*cd?nK~F%RX)iou=;&57`O$R{hi?NqhBH!+toZ* zJ}XCNv{E#2<2L<5qvO01EY8r9zw)L|&5~Esbt$biPB3X2V>GIzXz(n?0(?q4Mpx26G4@WZp`a$B)RX7#q1rQ5s#`v~ ziwc7csS(F*T;%a@|LN{4;Xk3~vHnjnbl$&&Pq*?^?q9zzRO_Mc*~Kr_pX&}x>dNIo zcIt8dB)?@}!7_Sc8sQXE{`hKTnPLrmO4|8stU%RKR-b)GgMhEOd^TA2NT~w~S+pgX zHCjrTQRQe)@Xvoa-rv2yQ}6nCeWPXqtlRvsf_~i1+c2~uI@p4_AO;>!k@%AMOkgT6 zRx=PttoZzo$LUp>t(QAL0nMk%M4twk_{g8GY)ljuFa}HyneCT}iRyFZbO8@5gwWqB z<<0)mm^3kz2VrGeOOT6hmqu*n867s2k6GK|Ud7i6?Ocxx-`Q~2Ed*NBbxE3>it`y& z0*{h{Y?Vbk#szQMq`yE@#8_HAn8G5zi>s!My%vd2I$Z_pD5usqM{FH?skYZll;Nc< zb7u;rFKM%&)5@8X2Z?VJ%$;;3AAyvBQ+KY?zsx_haF#0 zs+S=v{;}rpC?(Ehy7xu2HWLSSd2UNsqM64XDO7iK;1Jv?f4w;^T`7`w9q4}Xl9qe% zj}xAi1lpj|zM`@24zL)5LhCdC)aKELBReOZ(lI%D4uiW`@DZ(a!f_N=17J&M`4t0E4&s)(mRjJV3oc1F6 zW_(2JD{$d%wll0|6LG+q(5O!Qb+PMc5Zch~LTAyc*VLMC2()Bz6mib+m(x?oFDT=d z!8KYL7<=toGaFm3W=Ht=eWXEftfTBril3MDlgpS=-x})cp!XZ_FnfCtiGuPU-TaVL zha5fK&zTWPD(fN+1Bd0&kG96QO;fev$V$`lCyAr}h{h<`e?@e`f@^D7zQ2 zdN4RXGW;_fhjJwbj_+gZDIc+%G9BbSZAiaZ9bPCy0(Ge-jLhR z#4tSQA5OsxdLTQLq~P`c?)75s&ZrTop!4}>;wDonYsv+ChKI{b;uQvLM}fJj#?$Gq zMxZ{|o?w)iJY~eQis{#>0YUf`?|=1Sd|qgdV{JQHfFSWkbnVD4ke}ZQ;|jP@XhtoF zy00!GQAXLjzQ`(*{mJ3s*TxHTy<*Gfx&8@i8C2>jR7h3RAq6Ea-*VzgF^cd%u$;KWr~L~ zZqJ~N;Ww!zZ{JP*Fb8Enh$9+H7Ox5>zxu88Rfy(NR#VX=IvW0qB?hk(;-51h3fPSj zmX6qDMaCk(@w>HSTDoHU+1fzQkr9%OfDZ+q3sRDhlV?a&E&>H4<=MZv=n3-0mImY? zygdi2h|KhU@45uF<( z^Wwl_VX2jzEJpB9;7@#_Dsi>hf*>wIJ-SFOLplNKle4ha?|BNxt1DhcZ zdq?JR+pAz_!_TWm>&-1#tp%2f&J(z0VL|Pnu{T@`*OyPh+Y-(%PgfFDt|0cn6KF!6 z1Z|0OMB9sNTfid>!;c)87#X$PO$48{|~!_VAa6%EQc(10IT znFPT`(>~E_o=%xS;8&JUb@PW~9W3x%SX!~X3EWgS{My}2oqiLUz4u%VG^t{>wm)Yc z1y#R(QsnnBgc%$xQNc|>L-YmOt9KcYg%_tFNjNCUAWG{vLB0i|4dp%iIsQm$-H)N# zu`tlHDMUqLKiq(lRC%^j%H6QLM3lr%<_0o9Pj11jvr2Sz;7udaGXAbIMCK>wFht$Q z?hfBS5%-z90Iasf1DJnyrs8?~8y9IA1KZJ7iS6&rFW8$$G9fPvwsMtX@w9$3EMkjvQxz)8^;6Dp=E_P0@cr<@?@8+nzT3=`UT-7xu#kjjs(?Q^Wg4|f;;Cu zf2zqE#qFV5?_lVkj_hm18(`#9L?dP2 z6whB{U93u7hB0h&w%n5yipxCS+z_J7G2KL;wg~_GH~R`z^2dH^8PF{cm}Zm=jwql3 z>Zwg!CPZVjf2+^C<+XV|gnSNT3SsoO7#=n;679~K5iZ5@Ep^$&55y=a6Ru4jp8Pue z7=g@#jb6$9iLj@8=buMfz=O~Q(^ zl}u4whH)$g-@JRKNO({7ug;-LQ zQSk4K$$7%5zOBgGp)^+o;zBQzExyo@{PnAW=##+6Nw!xbx4=N=cwvslb^bvpji~it z`>X?O;(@a5(`kT)eGtxV0=2Eo-KVneXG0WYR`xR+ZMgY&m8xli@CN}RKiV% zXJ(D~@?!udV)=t7?)mv0aH!lEA94czC7(YldIKyc3M)5_Ql+ZuSBd?N$6WK96m`zH(kY0c^Np1T4 zSLeKA0wt)%9*!z{em8DE6rV5)vQ-xmZ-X5^`l7&YG zVm9?igh-x)fmF47ZDOw*;Y`_AG`@gHUO%5Go1_n&fyF7D{LMj}gud4&Z6Tbe+P03l z7-4=JMuO4n(saQcRaFf2VcTC;X9CV>GPs6QztB;PFX<@zCIaYBibJ&y@TKR=Z{P%20n_$30QZLEdt;$DQ5euQ-&!Rl^66Z8To( z$9WxjT)z{;dz4&eUB2BU?+8%sQ`W1JmST#7h(C`+K|;^>UO7_^#{$O@yoa}XMLhnx zEqY7zdDz*hEzXS75?G=nGedp}-@%of?}(Jx$r#6XS3Y+2daEC^lSq*uGK{5Xqy1P- zL=#Hg64A$Bm@)D@D!PiMXrB@21?^Qb;Qe;Q$r9aY&NRY*|EJp8BBVmMY-XirO48wA z9T)R@Ya@OpTiG;p?NaLHP|YKzIfk=^MvefSHSw|!7NbAlE^@B)t1rF;97q-Z4tG2Q zjrKRYY7gozf5enLPI$H>uI@SVelT@4{k$>3hBFoaP$6B8eywG?gR9VB;ySW!z6`6z zu{X%x{u$oeGP!Frr{9s0C$0b&)mSvfWHT`f*p*eXliju3Qm%8#7c}Wfr&;R7Jor*A zeE1-yY3A9Pg6XnaDjys(S?9iv!0u{`*&YlDJ%6t5*}RJtqJ%~Ys>gnBDFoSvsFI&= z=d+$ucG=h$y?b*)iE8F&P+uJIQIS1HO~mZShN8y_PTE6Xbq7)E*|%sR7C(2ettM=k zVPT9DT!x6Q^4z%dK|v+*rH*jxKg=|Pq5$!NUI0|!j-o~#phJA2s=u9yAcZb<24NHQ zoG^lqy~$&!@!YrwBq&uEcVn=-vbDTNOB?nOnD0@UnqzQhwb@|qn3P%I51UoI3W^Xi zP}^_(rFj2?t>U6@LAmaW*5EmmJy@^o{g6HIHF!Al(O>Hd=#TE3BmxP^<`VK zbmR2v0jZA#Asu;y|eTOUmd&j7IJq zi<|xipXN*rM_{74uP{vzxKs8^b=JhAV9qhquW6z5(VhdY2{YVnb4r-?8#YuYBL--p zOPHzB)Z6oHJ#o!^X+Ty#=)JX4?8rsiTo`&}}{voS<&pW;PUL!TRvi<{rpdimr)T zy7>Jyv{cyWK!>tVb^x%4PCSSk39eLvRwF{ln^8XCiplTEz diff --git a/source-code/Pseudocode/Value-Iteration/Value-Iteration.tex b/source-code/Pseudocode/Value-Iteration/Value-Iteration.tex index c0b5895..047232f 100644 --- a/source-code/Pseudocode/Value-Iteration/Value-Iteration.tex +++ b/source-code/Pseudocode/Value-Iteration/Value-Iteration.tex @@ -23,7 +23,7 @@ \Statex Actions $\mathcal{A} = \{1, \dots, n_a\},\qquad A: \mathcal{X} \Rightarrow \mathcal{A}$ \Statex Cost function $g: \mathcal{X} \times \mathcal{A} \rightarrow \mathbb{R}$ \Statex Transition probabilities $f$ - \Statex Learning rate $\alpha \in [0, 1]$, typically $\alpha = 0.1$ + \Statex Discounting factor $\alpha \in (0, 1)$, typically $\alpha = 0.9$ \Procedure{ValueIteration}{$\mathcal{X}$, $A$, $g$, $f$, $\alpha$} \State Initialize $J, J': \mathcal{X} \rightarrow \mathbb{R}_0^+$ arbitrarily \While{$J$ is not converged}