From 807b9268d0dddeab3ade37984205664ab098c954 Mon Sep 17 00:00:00 2001 From: Martin Thoma Date: Thu, 14 Jul 2016 01:36:58 +0200 Subject: [PATCH] Improve quality of description --- .../Policy-Iteration/Policy-Iteration.png | Bin 24409 -> 26151 bytes .../Policy-Iteration/Policy-Iteration.tex | 3 ++- .../Value-Iteration/Value-Iteration.png | Bin 22336 -> 23591 bytes .../Value-Iteration/Value-Iteration.tex | 8 ++++---- 4 files changed, 6 insertions(+), 5 deletions(-) diff --git a/source-code/Pseudocode/Policy-Iteration/Policy-Iteration.png b/source-code/Pseudocode/Policy-Iteration/Policy-Iteration.png index 9d73b6ae96cf87ce4c5ba98cfeccb8cfcc11f8e3..a07805ccb1fd3121ccc2a32a66ae026fe75f2a11 100644 GIT binary patch literal 26151 zcmb5VbzIYb^glYrh!IjFrE|1&!$ypOC>x<7AgGj*(gK5lwA2()LSU4L3J6Na1Q7&* zAxe%0L6DG^+8v+Y?|b8M?>~2svwA{_eROx_khDFu=?hZWEgK=VizXPTTGFnWV)_;$MO0 z2o#JJ1@FQp-x+w=ul35YlW(NK=Y%ihr`kr2V^IH{0WDGJ3ly4_6(s&`Gks92ePePM z)A_BHV-1u4a3k>G_r@^hIQZx53TvA9+dTh&=m&RljYj}W^;Nvio%25;rW?2qF-^3k zcKnOlg^stH?*4bwd+VWN2;mY_=l`aZBbXVNH!W2+l{*zj^d|xrVZSHtlI-KV{Im|t z-$1_rt^_o}lu*?etj)Y0{S<4B#Y9JL-Ehc3g?6azeylr| zv6e&@akf8*x;}f+xwU0a;aL>$z;q-P)Wp3Kk-vUtM30XD*6a@7Ig?i*%fw){YRL~R zzy@YbPLF3@XLGo-5E#qsDgQtL;~SFG3p3bb;LAZ33Ad>-!bckYs`J$rjTIPR{G}c; z_z(#QRdKX8cI4jvS`30bG*0t~2yJ>}??YqL(5_rx*=nyah%Y$BKArj}gABq1g6aaj zbz7s+8)3B6@^_EM?p zXbQ#r!FeD#gyA}3)^s*#_KtIBET)@^h5BOSlGUu6xPuezfZwFLp-+4Qt_v_*MR*A- zkUJh{f05$AWsRMp2kokcR9?r0&qD((gCCrZv5YbFzXECUt)zcD;ua?BLoGY#3*YIS zrTJi@MrZCCo@%j4Gp17;fgPY2>`wF>)Jcc(tiSW9T-ES7PYfN)1bJxTrVGSF1N!0g zn)4vhpWB)CQ_tzG7#;wYF8bXRxm#@M(@qrO>IV4=GKiBO`KtvqN)=){(l4ThN7Feg z@RdG#3!I_upV}U+Y?sHj`An%1L^jB51Ume}9!*=y@4ml;(hc%^0wZp{o(;-m?O@Ov zcgJaV|Ha+^q?g(w$%cCI9Osv66&pL&g%8>xCWh+GzI%a@F(O;iY%t0TaUPK$9%xO! zY-hTWX6#bas`CMAACrEe_uciiV6{b;&a^fP2qPn>|6E#HY&Fs-0pp9;E# zW`h)$W`BOIIl_%H05gc#?VG%IGdX`qOeQ6kmm}1YOMIy;su1KNCd1-Ct^`N?UWmzr ze5%|`yqjWPoEs#s!0%)L>g*rsf&trZqGheBFly%}g?7Hr2U@X9wK%$KxHf{ghCQem zBj19^3%S)2$@QW;haReil^6O@x-jr1{w}T$u#O28c02j`mGnE*1I8*$+9IE(Xd7j- z*uKT{z)rp;9#5&o@|ypYe*E9bQ8i|uAB;53>+z8I(w=&uB|8^Br)1FjSHka}Jbjvf z8@XZ}hsF@+>r5?4F{_dyLZ_mT!+qLnqCj}uFFaa@tn4f=?j?)L znAe?EoAt_EaK<=0)~`E{CP+Zb|C%0F_8nu)zWrBp{93G3|`MvjqbyXabe zpY@VX57h(HJV|>3bNm1J?HDeYn16M*ar&!tuG2Cu*38wM?D_dWkz*1=bSC3buuI(S zbjclb;GSU6@L`(?aAI>(0Nl%oTMz`2jKeq{^4h*4VK}r$gvI^ZFL?W=%|qI#+YAp% zd_9hVK$8+4o_Gf--{SD$FOH84$YD^O`8%rC9dvRE;ytuud{iK>TWgOymsgCWkN9hV*2b>?dt;(b?@d)UA?(hB=A*_XSd9ZufnYgU$z&YRQGnf;dag1aHh6q{eR~L z7cpR$AJ#{<-`r%|H8Mx4XZKI~REVo$@MpfMsL_iQ^ zeF~Tzn-fs)u=42C=>fb^)1TWHz2SH@S#7^S^0<-ciBb+u1bXfLin?5zEUq z3C`CpjQX5kL27E(btVpdo2oJGyqewX z)YVE`SvpQ3^&9-o%zn@9H!iLYgX%ZLOOPa52Zk0v%VHffwLVB8c%3Yu&4nDgu`uBM z-zIf3PI_WhaKu~S6UNkEog~^5L*cE*83Y49TcSM{)S@v}Z@BcZfLUO{(25g)lAf+6 zPRH5M09-^4X>Bj+f;9WzMLqsu)v=!O^G=QZ*_*Xd!q^)P%J!rnjDs8iA*}SP{|HHh zaF5K*asJfL>CEr!DHa;4a(V?BN-ZbRzPB-B^eKt#*T>m2wI%HrRz9V?hzR|@r$%x* zm%GP@AF8yo-UnKgHJv5+9G&=XE|X_|V6HvU8K*ry<+s~^Pgl!vw3t4{B&~2R^r3R; z%DJ=0Q?E2~uLJHzlL4*Rk4E0%fCN0DxeD7)4+_&tmZq=$j5!*MxdlCdslQG7yQtd)i+U*ki=@L{K$Cmyll zREP|>3@?GniKqcs#K%TW+z!$+=C_z%Kcu}`*bv>-6J;PM%``(@P&`hXuZSiThIqd9 zUn>ekB!502#jtOpL0s7XjD$w?A~(!?%iS52b74%-8uY*P`v3Ln zaRY*H0WYjJiG75HJBJ_Kqv*~LrH^bNO-TQ;laR!*9eCF`;B1Xr53P^w0wtxwhFLJr zJ{b~$Kd&FMF3H{y7@wvsRq>INGd(y^ME?C(?$dmpmq4D(m0J}KYBnfrDVPi7F~7`U zRe)G$z``y{ux~?(Wn#z*vyJs2!9+U)HqI+Kru`~vBc@-9N-QX%MhIAWPz7At5{BQO zwkuz~Rc8Sc+co?v?#Ewox0>zKDHQ%YSy6GeF}FC@932VVFaBDj4}KtIoTV(7xxh>Fw}a=DD(CQlbwu0-`^X|>l4fr+qqvY z(fg;K;Thme3cfXWyNATAoHR&15xaAH`UK3RSS}JCj6HoCqtli+rd={`lUi`j;ZFSZyX+5E)VBcGC*^m{DY zdD*8K&D2}37gof!7s9m28Z?JIH2h~&SJX~~WHj>9TBE5mw2r~5HS76HLC+e`N{(eO zkA*1s2kbtGVvfu9i0@EAYEg~xH-`GVUbGR|Zfx28b}pK1!*0Nzn6lBhM-#tT4@p&~ zaoCN(zJAiOBq(5^wb@yA(cEKc-|5##y^+tOR-Ez!MIvVdb>qeP1_p4=q|sU%h_;FR zm_F8lzgg^!k+weYjI*|l-A>&HuEKiZt6$!wvs=aiwAi*jTdlX2_3!cy`9YN3{qcd$ zPtuAh-!v;Pm9*@>5;>jlRy98eJzwllIeG56oJo%nWACQ?!R!%h4NJ>JD8I82B&c1> zuh9NL(Iv}?G5a^XZO1@Z#Bnw2G79DFG+IXIciXVwNLZvL$mNs04O z#!=e_ntE&=SkQ4TCp>ZRO0~TC4ai4rh?wiW=Pxj4SRk~R31Jrg<+E2V+%FwIlHw1% zy&oZaShUL;LaEn+=Ze|nz+Ql19rtykClG9>VN^o#tj-`0WP!C*?~?qS zt`2K~#XZ2^(VJ--gMvzvSJUM-W91aziLSkRnzua)0h~KEvs%5s3^2)}UX;j<+)zfC zc5+4xD!N851`_Lr3oZkkyA&%DNcLj+O-55j>PqJaH+SX0Aef!wA49lXP-z+L5 z)mGECwJ1O3K|KAO{$kKXpX}vf-LP>Il}vv}ecQ}_v92-chbHhp_g!P$znF?+fAR`( zZu0+|aK@K&5KN|l@zIn+IJ*1xSg#oNPpXKUxV&)T0wy{ilUk}8vk+2-G_Vd(iAXBs z6Mcl5FOK*w?dHh1TGwL*-m+I^{7ktZ2C`9{zrO@u=Cv3rI@72Ben>_fR%sXocIfC(}vd6GJuC zV1$ZB)6(xyMzl!jMfASu;GNlk*;3t?QrB~e!vs+}?NptYwqf2f03G}{Olt{@1=@8EpVn7 z{g5q;O5t*|>F^z0cI6PfHd8C{v^~1QEQXJR4u8j{8^31RZM;irf4cO3xhT9r%=~u* zTXjj;)S|pi)q=dsy|2$0b|-h#WNu!o6{2XA^2bs@pw!mfG*w>0$+NZ!$ADRBXCapn z1NPMWX#fS&IL}H(fz8{QJ5iUc0NO>|#0!MM9&s{2`Kf+tO!ZY`hA)@Pfpd7m3|gsZ zyi#CM^5g+Vm-)twe7*23s+H(fL6>>UlEKW;wAJ=Mp1F6#3$FxQAuA$$qQQb(3RCzqKDaP>%Hyvk{W`4(#x~->%C7*-1 z`Sp6b7jEH`#(U^ud{Z>R82{C`YCGkeTU8AC^lPK3)9dK{xP29TKhBFf0qyZ zmQO#OVm9gq5i#K1Z5=v0;akQMakZ`?B_40Z=>cA*Ez)NfZJ1s+1sWEAouu!T9t{aA z6mED*3^~Qwx2tcNrFCmxwB>EdI}&1T5b{Uc3cJcb1y*za?z0T<#XbVZKCF{|rr1|> zg|P(s)^McOYvV7pWaT9Bt<#&K&7Mmsv@q{3z^>`=$c2D{O;HW3yWZ>@;&wQ+*T5cu z+H-B79~1t-e~m{5TzMKcDn%q3o4rKiNcd<_rYEE5}1APtCWv?Ey8_ z5h>;zLDBh%NVqM>@=X_at0`b>PbExj#1vA>~+-# zn8Z6WY*NdP8;SDXEP+ZsasE(%!Or1K0cd^YhsKOktCyf}V~H=4BvR^ryfc zXV@7f9{?Q6+Ah=9n<|Dob+!QynOb$>Wdog4WDL0IwDZ~{Sup6nfs4|X)}Aa1^;E-D zFe!qV&w<;b?c$5&_~>xCg}0Vp;^fhZp?kFfQn%g|OKWT+r#zijI#< zFtf~Mepi{~^u+J9T~51?$M@}3*;AC6X#&Hp8Yw(yD_`_u%lSSoWHJ!N6~L63{zfy_ z=C=KF2;RNb(FLQV{KoQX?WPt~QXw|`o!5OnBeAxrV5tsceJLN>D+gsRE3D3K| za+ix6EfY}|okV&D;{X$M@=5z<3{Ks0fpPddOc27suT2aEJn=8EAyC&uft;p9C z(A#7oWPZm#39G^)^WPFHZKgN1B-Z|J zs=t>lo?9OZmmeVO0OCV0UFM!z23LO3rxWX9aT(G|Jk(`F*QdKbzn?cu-&1P1&;*T_ zx;Klm=(HGf;koi;;u|%Qr$<#~?t08`RNOqbzoJkJr}7}z69t>i2_aZkt~V~IoY&U$ zxIeL8`$OTqOe+O(*#HlnzEg?!w3iXCl*I4SKCDA`()o=QWZcn%){3Xrmqpck_wx(y z(;jb-=Xs=L&IyK=%klAyj6n?_h+cF4Ldj_UZ&W-z48CG1`=D#r^-VtuBp_eFHBuS8>M(|Zn;CYmXu%3b!8%km8QuZ@EDZcL?$|%3zg1%b75e7`)$@8G;sL1>Fz03J z^$MZNiPBH5&>GWo%qT5<>N!f4`fDH7Yb4FLzMd3oFI_DmvuD3}RHJ7b7e*(Zw=d-< z&19;^aMTzOWZdCWqjT$nlTP7}u9rq@QjKkDM!laexEQQ@J(g2gD?CgV4|`(&r)$(h zX8MNsNtGmqEr)vOfTxTfOmvXbcU=k3-^lVT0@xHmKK{h>S}|#}I+cH=~bbKTRlF4YX_;v`5PsvHktII`JeY$rqRm4&_-&YG>v7UH6P?6dy)g zi{@;7-jnCzt|$JYfQlCXz4C$N4*M*J|7H9!rP9-GZYz6}NuRvF5>1jXJU-RPBueFK z@8pXO1JWmkNfr zT2RzhNY5@=zCs}C*6k*~zU7SoiKcj~11+l5t5ny-qH*#V)Rx0x*m5CTu$0ZRUW8AE ztN2T^C?OZ-zomg12=tCw%X1ThQMeE8cqlPar=;cW*E>#wPSM;M&lWoQ_ho^R>5z7` z&(wV@&bmwQqHDh@a6VuZC%zJSY^7a^;Cd8Ql$i^_Cr-~rYnQ88=imJ zE!Fd934~Jxz8mUUH=nh2_9;2lguJyCNKQOR>TdmWol3Sx;qX$W<>e`NY4-bto{m@U z``uB9aSL74)v&q@|C z671*3)$L7nBIJ+z+<1S!0obK?c<-%-YvZ|_X)Plv0cL=vVt9cogaynmVe2(xD^tHU zs*ob#29XsBvXE-n4*bDma18m#ZRK)c;2~qQ>8u{8x>f|!ON}?6Z zQ{^Hyg=_a|kfG{E=tHB7IKZyqtr*d6`@-4gW?U6U&gz0W8g}h+jMizpuu9Nnap8G$ z+y#Vr&n0o9Z%XW$@Z!QcO-t(P_jD7*Q#-KKKVD_bb}U$!u8 zJD6epcHu7*VrGxUWw|5K3iQYHsHW$1D6!ojOtP$KbIWel8S>aq--^D73wmyn(V`G~ z_2@Cy2l+LOQmmhcCo!BM9Ti{PE2iwS16VDif)VcE z|El}`&jRp&J|M)TazAUR&B0U)CZrnf#r;ZGL=2xMV=oVp{!KXRslLJ>a@0+r>+2lQ z1t-ia+1{8@s{Vk%IAt4>JGA!`>vhRSiJSs*qJ10BRQDrPWWqJ*0fDTX=P6#D@dMKR z@0T-VY=TchNSVUgYN8H$TM$+AJPs)h=#L^BWIC7CHN31yaxSv|)g&TuyYuF6bmWSe zkL`X(X5prULID->uuAxakyGrG*#+?biTBD$Q@Y8DxN7s@XD z5J^B}MZt!D>SEBp>L-d)gx|9wk&b-Bm1VB(p1BunoTvb$Qdg}2h4-zB?LZ7L(*EW0 z9Glm6-~asr=fWB= zxoq_1qE>M~*?M9HOEW8Yk0uHOJ6v&l@8}`%X-eJ6old^Ie|f2On%e5hDssyVzM4FU zh?)m^GX@$=l#SPG{k5gb#p$~n-)K1YZ$itMePo|a)5@qg_#kE5-fWQqzn60keaS&T z0JmJ?*JW{yhn|aknkj|%XMgqN*(V`>H#hHX}QCVX?6x%<&`B2kuu zhI^b@4SO6M18es-22?no-JF&-3a6-R@rA@DfNoV$jGjFB)?t)!2dj8Qn^chM2{qiL zO?fdv!4!CG8-w!-0nW8)ZTYS6(6JS0klTpw(?JR>-kujCjD@SKV4Mtk8hGaqfe{qk z9>(xl9=|k>Y%B+;`;Trby-x0WkHp3}0Q!)&^k+$O{DpUnrxm9eq!E;6>jCt}Z~z~B zTRyLc%Vts&;8*O?wOB}MIp-bInByOP0-g4pM@2*7yfSV+T%Kk<*Vt1<~{EwLf}Ge=PZdaai#-CilgT zs+cVnQSYwOs!aODt;*-ab(34+IQNQBk(|_4qfnxQP*t&VtL*DA#m-Z^G)UUBp<~1U znFYwv7jpH02$ib&KO!xiojsCcc!QgN&uoQl0lrAuQzExhg4NX@QZ&LAj4r_j3|F)m z8Jq6$?t7W!5In%y@Z ze76qu-(Gee-|A*${LALC5y_^!T#)!yv=jt?JQr@qHGZHZo)J*WF3r=Q;aL=Ak=so= z+S<|JYqU)>?jW;NMrGdtL_}Soq9h$X(Gw^@GRk=(4Vmbj7VFJjkKyM#^}c%Prb9I7 zkVm|F-}qCsPSMbB7jY)3;`05k$PC{k5+H$Xk^2P}@xqY;R9XU~4jw}%TBxI8f~m1< zJRyH(s5_?~^rAB+XnGR#Sf%O2P=E=5^Ce}+?$n4*{>94MtPH`s(GPQrotxfKYF2JQ zLa}pCaAnjaKq@ZnKmksi0*yXr#K9sN8`0(&YKwLuRV^KtI2wg-HhNBgH3z&Wf!WI% zLEY1ke!`1C6TV9uGoOii5&Zu)y2U<``qxM4z-KHOR{m^F-3uhl8{-FzosKhK#2Dd{ z2!OBK(0PZ^52DRcXwcpBV$TV`@|O)1b2s0fg?;5I5xIS@p2U*_l#fY|W%Ie9V1pv6Mf6yrBTRCF;kR$!@WEF+q8^HEo^)785R7lV)KW z6Ab;7@^}Dhzwib5FDy=&aUL17yogcd{H_>fczM&J5frsg&IE_+gQ_O%@3!GY4 zB@ra^5_eH-=uZ-3hJE*WEteu`$o<`2UG+S4{y(VPBpF=xiLd(F`NT+$=x>=8HIsc~ zYnpaZD4)&bTg!;;JYV$DO#G#v-VCof`3zvgRLl>!UU$9GeTQm`w}ak$`ie0}`Q~u= z7`Mdrri%FP*U}jDtwdk+K%yIA`p1+nMIMh*he*dcZvWnZDWzS9xlMMJkoifiPEJ9= z6}OhAGVTh*p=|FsQ6IA-+4Tu}0MCprzx4BRc_sYCWRGQ0@o{wcwqITjD%Ss=7h*MN zBR!J>`KD+un5J5@(?-8tjed)^-~oZw2ToveC`l1guWvC>9wI0G z09xNgXa6>(hm`GQJUsS~(Pq>Uo8#_g&usi_T~E4LntUd}*EsrF_f{Iar5-ZlR#PR< zqndz9;g3yAe3=hb6gF}D#Yasqdpl_Vesm*LWW)jc6`woi#X4^wvl?TXYkek@S z^r$?-AV_SNJ>-f(W81BbeXWU)Reqz98tnXoBJivrjogwaImY|k8=0JNFv#eXu!Q7DMOUyr`##;HhHR(_5d_Wfx$MySP zQq&CrQ)17mVo!;oE#%)Hjh|?Z_Ft|_N8BtZdj8`fGBNgPt8T)ro_xBDnd$n6Q>W3f z-}#&c>PgcAz86R9rLZhR^x)l^m!=hrh19PZ07&6Dn!tei6Md_zw~Q4VMN3{pz=SjE zO?wTs+Z(O}(%@oSMrd>qC6q@Bnv|v&>&BS_!fR{+$!LH}o}#*(uzk^H&vg#nJQ#k5 z(!>)1;Wp7U&W$vX zu?2iEZP{;^X#i%D5+P)6=zS|mu6u~C@!>!ZQNccpy@4gZXt_eP@u8dmdIt01?3s;0 z#+I7Z8_#%N^A=@y9t0J1R}QOIUh+o+6z8dLQvCH%^ukc0i<)wD+rrs^I4ic+j8oiK zba)e0A4xYmgIBj_br_9=e%F+HYhW1T$`;m0P7- zGH${;=plzc1i?wBchUrYY1!~;Bq@1-_+7c!b2MBvBQtLyoj-$H`V7hB7)VMpZhKc7 zu2d|pZ(i$t&E+AJ6=DEZws&20(i9)qYlMU8$;~x50TltwfcnDYY-1}@H_vSCi@gH8 zHfWt#3knO~r`a&>DlYmU-1ymFT87m&CQ=L?SJ9Lg|CaM9ICEeF3GUBg#994owcm($ zFl@An$!u*{W(*Ya4lB9+gFT3ox|+3ht79js^NjGb=MD;9s2O_Ve|_r)h&YvJAg{p;yyM&k)ry+gdkSiT0%YR_qL`vy!VSC~qhS6cAFwI^QL>1E3% z_a1N9+7z~@L8{j7>?c`E!j(YnCR{J0L}e`wV(S_&fu+@VaD;-?NLk0>KOEh+dcOY} z2iev6y9!%ji`(y6-plbm@8(We0Xp=%?}&riC7^E@ZD~f#Rg2Qv-i8&j9Uu3QnqE|V z^1e&#TXYrwCTRF;x*4SlXB5X?XU}|{x+V)!JltwsMd}WD9s;C!-WV;nGlCl;Qnmz* z&&Dp5_N@B3=bWlbO*82VO}&x7Q|B#IyCG}ESsxKldQ8Gr%y9I4RK*e&H^#Bft0X64 zxysW`y`*m36SkmnulS9hPhMaY5WVYdxIF{wz3>?!X_;lVlNoa5L<#)zt-Dcs6^~7+Ka&T zWNKy}c$5UmZ7*CkZX11?Q5E_6ILc_z*E=3GuY}|&_%q>jZ5saqBepDH1(C=-W~Yhe0n}?#9d*uiu;Zy2v!#4_Y+r?%vGMenh1i;gpgJm z1;X~{>(p5Gf|5J~xZr^ij8@cZZH6<#$g)lhI6H(s99?Meaw!vsE~6fsCyw-LlR6 zI%winSI-eUWQHj9VS}jzNkNc9nWR4pk-}b5F~zEY-!XOJPF&5#WA3W6*cpzO;ok<?eXtEcPaA8vJpMl&D$Y`DxL?W-i z9?&Q@c`6uXWjJM6RYUAp>O$5NirxmIMU>d3b^A#AGYNI;sS%CCIMMfc1glGsE@$1x zpx^Vv))%pD^=e3@H#YWo8Hvw^3425u8=kpBHi_RIM=L8WeMRAAJ9jw<9|O;$Z_&*nYZjM+0jz4lXLZ7?u;?KV?Q`P<8v?C;>3yPe`UF5{Yg^~><= zUER8uD=sc@gg9}Dx+?u~yRk9yT!hg&^B3~B!))cJ!DC;Vy!lGk)Mmwk!tfaZJzulG zV6q8A_f6!dBcW&$XZ-O=d_}TF<}gw9=R@!$i%I3n^2^V@PFxUA0FH7t<2&Lj9d=i`XIp&0Q`o`kQI2xmcG#b#c`g)fySy z9LMLB(=Zj!-Fc=-eP4`=f<*t{lG7Yv=AqpY;6H)Wh%J9r+c$OhlFBMR3b&7g){@g! z!mhEFASx{bVZ#&Ga9Zotl%#lwo;TH>(WWS3ar~Nu4x25A$y(6PC+(L@_tJxO<>`;7 zMjlg+P$#&Ni?5B%z1rAyZ?t~GZG2D{WZ?Pw;4;VZpZK!EbyVRFF9mOsUajDQT?wV; zB>Xk=tC2U~2EYC}2^)Uhagxm5=VI;wG_Uq|a+!JqeTX(%4F3M=-YJblHCXB%@70XB zOEYo-%R56G`f)WBws3SgR^r=a(LQgq%#2^fPqiO!nLK}V5MSJg`>vTVp0&yu_ci{R z((>h;3O7m)zlgkx28_TZ|Ik1;k9ihV&NTSo`!MMT&kKK4h@pHA6rf38L&~cMF8IvQ zff2bE@tN%cL%J&(>_^o~=E1u%GCPxWr7NdYUG#y0%YPsK2r*VjtSfi!Gkh}6Q`(=p ztq*UShfz7Rnr)QfGn4*BOsrhe|MyMC z2JY(}!jD2Umh^^G3KImiI}LkLVJu=8n+~oRSx?wL3om5d#%64L4OBeP8o;Jk3vZ_NaGhG;LZvLbYK*!jqGlAwfBRf-)o%>p$uXx1DL?f zzE9N%4Qn9#8tDhl3=U5PF~iG(oJcEdAzniKVKg!mpyc#WhM#&{Ej$z4Az{UG2QjZr-k`b->5+0znwYK(nMA-wA8`tnLN^LPSR;s=7v}bV@ ztZgZB9PUk)B>i`|Sq5%4psVFEFf}pVNNn;Q+O@?)*C>ehAX;ez&)9I-LXCIW7K4BqUCy1 z4552^a?f3reI@%vT17i1S@d`Df#`4Tj;zEgoLv+v{8_Wt;gbr;Y;RrT$WBA7ZjX|w48nF zlS}lG+b%u+tg=?f_P0cJdG|ON-~;DmTW(&06TD`9tT2<-(UnT0zqJIjf5FWs5%(ry zAkQqppm}X%M!Heko=1D%PMYrAB>O72O8 zwLN(eJSzO${0HW|^e(}RxB>Z7e{ELLY8RJp7etF?TzU-yuCYR>X88IqXtJlaTo)n# ztM7rds$0>z;h&V=%@B&B-2y8Atfw6@g1cFRffIES&%(SDES7T{127400{qe6 zRyIXEJFjk>h&kknQ&Dg`>|-1!o{l}=_f?~5EeW%_Ub)E`;^@?@zy7Q8eeK%Q`uIRt zOc*uf?+o>!yz=tq!qLs>7S$S^)CW7M?dOz!T$gdv2b*}ta|XDTTVg5T)#C52p@4Z{m)OA>-{Q{&OCmi zCD}o7+=)b1M?gGP&OIWd1o)`!e*+Q}IsJbTB=M`q^dT@4t(atlKEw8twv#*}&+6m; zH~=T{5!8q&CC(+JrlfTz>l7+7o~E4s$$1~B6z>N77AFepwle_XawZ((MyDD1AvUn%7xtbV(qDcF$zqe$Zo z`vg}`z}ia70{HtL-?*Lzy25&xa??!l$h|}c0w~jvTXjC?F=DgOs#+0`zM+#ja4_C; zc9%4xK`<)!yK*^GyP?!RQnCM^j>wK5cP7I@Z=(2S#KVemKz-P5 zFato1P90G^`x_)3p3rdCl4Nz^fO;B6gPEWbaBPm-;A?KaD{uG_qAg0}s#Ou+z{ivL zowI#YA2V^A^sl>cg7I>O$&%S<0T-dHM|9U=@hlMbI?h1q;{~{Od}H`u*{_2G^rLi6 z*R+4@oP$E_V}PGeos2Rp$@=1|5g*%T3c3GiQox4Z5OPT7W|VN)Z*rHnFW6yaA{J90 zWdt0k72p%uOaiT|m2Y646s|HGa<}zA$x(;K1LnwOh38DzEH5fP&!S{t}B681M>BVtzPjmEYrV64&b)riDvKX zB5=lPPV?yiNq?1HT7CFO{-dG}vs#A&_{^N=#$j=^J^D)gUUV~2uV69l0gaV5SCgjz zSQpz?{CMae0HMXQM>vD;*Nt0tHojiOQS6il2aU)=brn6vr2)wl}A?C4K%uoXyKyuLG`Lco&}gBSyOuSp|R; zvmNge_Zd`+E^m(trNn+liF?RqIQM-H1=2X1il5wUT>8qpkD(ir{h*s5TsfyMzNjmY zwp$qS`NvyAUsBA$hdUliWX47{kcAApo_2T}NU;W{1Epf?+G8p?OZ;Nfn`z+0Uz4C- ze!^YQ!O2y~0u?-{`yzeJ0WE7LjJ5&HDYxx#fuC{Ll)>E2W3qtKY(1gXQ_)EnNtLjr z8k?3+cw=znE+3&t5$^qG@q8dnfz*==riy=XgvTpgw?JM=vBsIz1Sc~eg^Zw~o@xQV zrehtZ?7XLlKCPs6PoIXWO3Zb)SZ`)Qr$(ryPg5kVj$-$yE7PUh zoK5b+vV>RoI{QL&gTV;9OVbRkG(gtKyK|&K^CSglcW)vz?mpb(WqR$HZs%W0g2;d{ zN}&Rz=2udk#eQ2NQ*#vywY^6%E>>l$Uz1x)30*@m7=z<t< z*S!dehkICzr`&w#gNP2K6DI$4qzo2nVD3^4Xt4ZyrXg{u`_VjAoq6p{UC*}*e63Z_ z7amIC0k!{n+Rs834XQ4L2s<^tqO2m%>e2CJ>wCGgwb77Y`q06tUMa zlq|T4|A}JJ{WBtOXuaK`fF0<0Rqz?P*w)C~W%=!bce8~5TPv5wP}WAOj^P6t<=um; zC8*e{hu#Oj7YsLGT=7bH^#x+kne6}UX(ep~e`@)RF&z6QqcK$Qwc^MX?2PE`Q97Ee zm)O|g@cO}SWOe1jL~BY!JzdlK>6DgW2w8|Sp4BYoN;oDgG*HGWmz(ZdBH+$uOvcfn z#Tn!lUIqt;ln7EM$^u4$e7x&0$pt<1by_S?FvV@NG_MOxeH8jVpf?d#`{~o9o1$7Wo>FPy>t>pL~L&rX`>o z{~}I*MF#_*5fhx<=o1B6pIE70Ttpqz( z9?5g=AIG}mJ8opMh*+;K8d4C@i5qd-PP)0r| zLjm)$XDsSQNj)Ql_ug8viBrG15??It71dXB>JZ2>AW62nohtb`yyRN&8()X`$gRDX z4y(+NoM~jXtO+=7ep}GX5S7N8`As@Uzd@S)RIm>F-N&6 zBwO~jNt>EEDoa+UFdD9(ZF(R6W}*aA`fyM!V4WwX$T=RTLeY>S->mgD(c1ZORVJF* z`KAq6;>+lEHxHFON}E#auUUEy--DUEQmZ3>B6PCb2ak-ycW?1>)vm7)$&?#nD;}JP zmW=&c)3M`r1-yH+OonCRKWLMT?uYq`85>p7pe}mFSeVtSs2Q_(SlP`wtVBn849Ptz z?O}SEzA0y|u4lWP3;521$_HpqE(srpH zG$6mKtx^edQV{5YAj+NdIfK3Z+qtkCv~ z|8A!^F#PvB+d<2pxbH#N6Q1MV{7C!+!R}fZKBG}V$KGeOsQT2{REUev*zIKQzLfPH39^IsXf$xfS&eY4xK20O3G?|`>(@xdypfFf8;UjV@1(l)#v6gdW3aEw z=`9-?uJVT$`wvY;s~9d%0hShK2zyewnO&`@u(@T@Hml8>St^&K{MDo8Addnif^Clh zMk3mOtbfnl+XbjE|6%YobYoW7=6F`?$@rK+2>q73O&RYlP>)+v=qGH9u`vlY_)`V+ z6Vi?EO`MzHr7LoOnBlqn&dJE3J*?=suGYSty29=Oa)l?MVPO|AAOg+R#c!I3Zz?8yhS%$ID{S<>UeP?nExo6t9Vwp%4Xk~CJJV_GJ^}?hcs5!Iy%9D zdzWLh>5rS+>izoYp0)voc_2)`qzx5;iXQvGvuwAh@>L*D90SusbwniEw{;9G4HoWN zQ;FFu*Q*ibYz#PFfZz+O^zjS&>7Xl~;tmTd*jOLWdeXDP`T2WDs@)W0TV=iGqK<3% z)JSIS@PgTJ9adY*T`zcx;R$z%S2QT(@K9nUWYN=-KOtYo_hSP<8r(3r<*|NAIe=%& zhikpU$W+{=sbT5PVzX~t{)}dgQgeH>#qcZYgC|Gf+bP8rq{b>W7(cd#~te)(p2XE8Mm1 za~?>z%Ev3=5RrTzmm$HQuYJ>Qv4^`oAVsk%hB_e>$$A-F;V$?L1#e1qyhw_0>63pBbZEpK&)RXdsuao&~#uXz-gY-q;xSzC@55QLguUSOp`|w zklB;kWsY=KoEjP1A6fOBgo>BtU!#6n_MAex_g7B8=T@|zLaB)dJ61XB1?XDX?*QDh zq4vA+_~Q%yaKvWkO$@{ zeOcMar};4!#fnAS?>TMMqMosCYS5)Zos7zQC3C6Ikx1dekl?JXK{}@Q*)xG zYVs)+xEe!ztn{a1jJK7)p3Vo6b25dyd*F|G3p0<|wERK3*!pY5U;E@^ytD`pZuxPE zzHQ+#q)n1cMi2@z2#s{oR_IT)iMuv{843P&v7b>F9%nQ=bB0MPijPN3P@n1-F&L{4 zdVa_JAANmgR2*OMs_t!nOi&)GSk%brS1_ryo};#R9J^s#E^$jga3bVq%MN-x z_ICw`!n8^xvd@UVD8!l>Q=i3@VaYmcn3Ef#oOX^BBIKC%V3>NSm^NSu0K!?drm$tT z*adbf*1gWHI=)8!l?8&r=2OU5NJJEZu|Vqrf$A>VEs?Np>Dd~8+-z8{?BqrCdjp8aY ztH3s;gp|;nF2tD1fFC_sIq}#|MlWPdc$*pr`#FKzU;oJIySdcq7y%t zA6wZueVodxE*JC^i0G{}Tv~DrD(a@yeDz>$tjlFjK@c4JC@iS-%O#YVL z-R();AG+i{$YPNNOT+Qakq`9=aMyoLwU&Il-7GP^a|!f!N6ox7TBxupw$+xitjK3b zLG0*9BFwHVnGKo1?7FIKFYj82-7@B~U^^Me#fdX{7@i(d)`d(ie$=AS0|0YMAul{8 zDy4*0a8u*YRJ^WLAw3aShpHDUpPmoXCcB<gKuQz+U%^S7Lcqwa)(20b#_L=B0lD+z<~EcM^)>bPXmm-?jZLqKZ&r zJfHlxTsB*9>n!<>?PprxK0v=aIx}UmF6aGlIH=)D;rC$3igxMLBTcnmd*J`wj8FJw z!=^*n3SyM&t0&0M^y$x&*EOIoR%hd#T2GyPI9`%lC&%^kNZ~<;mFapXyz_Z@Q#PF? zaMupPyQVw?KB%niJk)afvIX(p1`;R>GOv1%D6CmwzgIkx8xNdgS)H5dB+?3l=Lj{l zy^9J0IHlCRx4+$joXg3cQqM?TF`Zk^(PgWBBE9a?Ncp-Q9%j?ALjRoD_(D{kiE7*C z4C^K4y`LIvl=*k;IO&b}0ICo_guxm(=2q54r7tr>Ot>Zj`J4U8K?+xI^{#H7w8_%8?*;UjTsc@{VS)DCY7Yz!#ZBMb z%w4n((to2phWx;5k^Q0OBy$^t#CgvUniR;Qn^C~FWC9HfPh0+lLN?-xrIB&uJqeO9 zr&#Bdr|jv4>KocXvn7lrI%!h%dJLxT{W}=1q{i=7dC!sQC3nZr;Vy3$9up34-ED2OFUqhA{c2TWuPJ>G>nubh-m9>7 zB~F{X5@3Cr!#Wf)aZDBQgr&7X44gv{N&s5$S|TSN(VNWNC_;EPD*lo~Q4nDxgXizX zw`3e}8kPA9HOSu0aR+*oGPv`(Q*QK-V+iZ+N?w&-{RE^-ve}!v(dkCJuS!{?iQuym zr85f$G2hpyJU~?BtschGng8!;V z|L>7QxDysTEw|20Q5Vl;MnD<)?ju4-}SfVwwc1)gZ< zd{e>YHp=5QpHDM|J@P3qYMKtM=%%w3=adA4dic2;YJ1FXd<4U<1g39)=q59B6HaR#3mvgUPNd?ksi_rvmmmsvfxH_(dnnmgMz`dRSi!8pfR@YTYCFu8%@fxuX&lh zGPbNwKWInlQbJlJ`|>Z#VFS?fzJI*sc)vIZ zV8@rTAJE8jyyNXvXi+WK+;zjk);IvHi@KbTzJ^4}GMn9g+juqMM1%Mc$R~d@QHP`P z=j|G$h?78-fYQkAQAy6`Lz~>k4sLZ`%y<9t_KOT>yQ+nO%G+0hG|FSDVU1*3y}6+K z-h(O7%xBZBOZ$wi>&-#^CG-|<&v-3${wz*F@Q~}iK)>DXa%jp$xBSJVH}D~=-;JYm z?{ubBOhFHa2UO+mw4dl3E_uYXBDvD@|6;mVT~#pm)fS6$$Zb@(t=mSMsWUl z)PIi2lNZ;pg=DZf&xL+p{K-R9k^|EDQyi|^`dm~xr|7jVpK*x0h?HqU;J-Lf%H*jE z@_4WO5_1_-ta6HBGpR-=dt=D5*(7WdtF7qWDaU`@bL)f|AeU6vdsu+JY|%5; z1%+`uaTFc!(u;5lt$WD*(Otja^_jecxi*hEz4@!eK*Jca*m_vC#9?l&0ICoXNrK9y zdm0EehVWd)X#@)sCa;~b--T9T^P$(OehwN6<-Az_m*#a!qxstjRn zHb1UCsOz_)}c8!ZfH+^*qGpEm5-s`2TED@8>{GL8I zlj2r8r$*ElDrv8vrE|BSgQF!s*#}Ej5kO7+if?h4`nP%qFFlf12&T~I`jNrH$JouN`E?{5dZO#e1|cicVCh) zEE;K+Evw+z!=8mZ!>hDR9xeRy?Sx-(AY^Wh9)aT0Z|4=rIx-VSlEd7qj1CjiqqgkG z67Pa-th?_PZ3S}(Tc5f|497PbMJzC><11ddIOm|KIdT>Y(gnmj)u{SXS|3@+pMkpt zBb8s@(Yg}87^U=|L>6abcDHTD45p3~CZq=^HWq>cLM;LA<$DHkEsSHG^_c9lgBPm=s%6ps5_lJ*U-c zJ^AOuqyycNCY!5#=@K#p6o`8g<}49Q5`DYczB zx@KX|&v+*SF8s#_y=AR+m%;2)t=QS0TvSr_@)rdQG(8geLnj9DyP1!15wNF}T9WbW z%GP0pk>M7C;|!pomTYuKbjr3MKH!qu-mDwaIfg9jC?#T@k}Ui>+0g*i6qyMqYf}pkL%)4MGD#iZqC_)gg&SfCShmZDRDA?dXxUbZD!F=Zl z4r~~uRj{=Kqp8fon5azg|4p+@Z>i#Vj#a>nbOEFjoJv=5{NyI1hnmKFLTcke zYM?pqP!aNr9Z?=8-G^P2xRb_hMt@^x_y!Hy%?6#wY`2V?41xq|_k#7VB}!qE)<#;2 zMJqR>ac(kji%~wdM=Nsx1vTTMGI> zZqxqFwJxR3L$}r#l~Oo+E%t0*AG<@X3Tb8w@z_jwsi1RAY)%WYv;K68N(nGlNxn1q zzN?|Sy1J@5s=z`eXiUPRt@^flx310c)};H&shvY30cKMLyB zsp6{u6>oCUp?di(=B>GxCYIg|0$*0fAjxJdksDkNOV$c?-T=gr0~ zXT-oEOsgI#tH@rFI}t$J2+7#Np%$Z$1~Adm+e0mj-_x>r2-ksaTVqPS-=nQuCeWMRiAsr=DULrav8SzA6D;gv>}mLm^0NE{(0sB^ zAL}6&W;B7JB#^s8#bSWfA37dDewq$fG4IgG5+f3(qTqtRD^L6h&pnP`j$*(&rC%t` zl5Zysy7&MWNJ=BE8&mMQt#)HOJ_D|w+My^=uT~I)n8DUQP9n#imI3Hs2gcHXn6wmH zU#$MMD^=F3E8Pu08P1bi;YxnRPJ4w`{4|}(CGzyG-17K)yo*5bx=m z+BH(zj2muqKwpx`=2NLoDCe*>a1{Y-TD>T)6!Dtm(K~10?Rg5N92Gaxxe3O0FcqZ` zt$xO`dEwh=@_I0fzaBU)@tfhA=eNlj2a_YO!yjQB(cPGDcn&h>U~ss!&f9ZsE??q? zImS0ZvWl81UH7C4X*y4acDR)vJoSF!zQ(Z>ZaQW5}-NX*zsadpxebqA}eC^18#;pqO zyyQl-SAJWk^Q6}%ld6^63=0@>tz|P{wz(9XrgNbC$fLK!KEFN_|EiI!7&5%`qwhiV zbH|k&?md2^A+y%_*ibggm3nOqBso7M1C#q1xGt%9J$4D6XvAlSreh?RyNft1=<#M( z;l&<3+P+)PfLTDS&JOFQQpkPrZtH8|#*_2x-sq!68)8lvh9R<%2TSRH*j4WnPaS26 zkW`N?FeyGc=Zol+L2m8Tj}~3Ln}v%A{YcX#m02=d(v7C*D9Dmr#v`A;%i6hB`p;mN z3#}j{3d2g1n?0@1zAqc|JH8vC1grjH;u;Mrdl9TXQL=~@sbFSz@v8cs#1PY=@slv4 znq~8u`nd^;-qgV6dnQ!j{2FaLZhWCHjXwM}D_V^IFd>M1~Bjwjk%Zv{!zvK{lIbf2%dup#olMe2}b%nM+y-akGqd01P31@#p3t?+|ecPGL z@~WoPDhD`DzDVk#*Kk;R<*X2E7*KN`a8BPxopd;+Z8=W_PfWt_({9*fTc8 z!vX=Q@nkUfD+Va$nrQNAr6)DNin@_b{m1-qqD}LSKk?hjUTCh;Jz> zqR4%Jpf?_%8fC?bcM6-!a?@{{p=8Z;774;V7LT>ij!tl_xD*?l$%?8v>E8*(=pP0S z6oT%x5fWAP*iG!)2T@NJCNSa6P~8Q&t94U56C?plOic#^g6Usu{LyFOfu6g2IT($9 zpt;oF^C=>s0B!YJM221Z2SvK%8KArg=@0F4U}4dr)_eK|;Q69J zo^NevJZZUeFh`v9n&Kn*0K+HU!5~J^kA&p70Ag^6Hymz^buZwyz{6!=E^KaF<{1#4 zp6H`6hZD;lZ9=lOVEB;uq~|lNYgMooASG|pd~r42SjwkG8lfB z25yqzD`||5rrY`xu}a@KzG=aRX!eeKH)Dgz@W#E$Y|>TtBWs0uSf!KVKGzQRx03W< z#C?_6EYu?^D|;e$)=3^=D|dKqR&>W}n(D)>8@}Fc)2(uK)>g@W0ZeC``{2$KC|(ZL z;q3@J{9O+Fy#2_dg@%&zJ+c9QRR2JNtTfRPhJP`~mjk+ZuVkiYG?u>%ZqGb*u&!n* zFA|hu#QTyi{ta^ecP(flGq?HY{-%YxX>@dDTLnpl3V)l$THg@a#S~t3*!HR`@@pD~EgFx+vix+u3 z+GtcU2>c^O8!z}!vcd&GV_4!qgGgrq1Bk!l@ zccy$jnt%jB(bJ=C)lJ<7ydh(?&)eE0@8#ZHHo0RROyL!Qe8A+35>#)htF7au+u;&g z3KYgQdCv#7F~{-maeeV7!!NPaa1Nt>4F)<5i}2vUTzyEdgGCFI_us~iOAi-IrxvxdMtlN6#6OknM%jB2!N2XlBuRk8 zx1-g*_EfIjX+Ff7OSrd*y{N!O+>RO5&V;YkIxP}>W!#K$8j8z@28Ng1(?fLJYL%K8 z-WDH;@P9cGDDN8>n$U=97lywwa!T3oEGx?cZ;8uVEhu@q80=xSh~6gtsirkI(@$`v z_*kvXLIa&!UwWUDCin^vFPJTrc*U`Y$>|agV2Wt3ABj%<`yy5E$ z&u!*cq?!rWyJ4}Vf^bj2Kc&7R-iES-5C+~go z=ow})A3$`GWFfhGGI}VJ@_{@6_EALwRhm$vP@@pDQnB_Zpi4=uhYLVfp%v|s{J|8> z8CX%2=pUuK8=ql~|CP`|^bXrxeD_n36a2ac8aLj{#Zad$MAZMtSxV78t2gW~Kyu*} zOuC7W|AP7(x&!SUR$C%vNVWQr&s)?`da4Dfwi*SnXcW+rHq(Z*Cre7jelSC+tS!A znf!Gzysdk&{@s))Y6$*hmH}O5KOU$i$t$?J&poKmF+`Jvhf4fSy3z~Az4r4dV81s| z#2t7K30`+!;vD6JfneV%>->6~xcdn_iR^|KoQUQ0{7WmDpcV`4qN?2~Si|_I}WDDuVRoz=)uj{lD#Y ztWx}v* zU^GqwnTew$Fa|G~zvz``Rx~4(g+2C_*;8uznifat^`tt1(ajZ4e~;vgp%pkrNubR8 zjGoCl)If2|BHvizM&rv@SGXt#0=_1^CZ5o!=`5P=jutp|z;c$D%e)b4_!u;{lqj z0&BL|6mMml=+e>Pv=FbJF1N~euAb7omA@zG$m$sI7G6NSEs(CmMi#^3)5i8#xGwSX z^wdYn`~nm@Qz5!HP)1iJEO@Vw%H!%)rB{FNK9CA-?f!4JVBulrSzb_ zRlMCE{0T<)OUbFMP?aE`0&Z#)R_m4!_E!j=#qTD$()^djJa|P?EkreG9?;p7MWX*6 zoeq4t9BJ7Zh0b51qU2VftQB{<4Wz@oFL`Oe1V;&{t|Hk4(saQ)?OZBB#NhqeNTh$E z`FSM(fEn`d9|1sY^rt{cU_1J^WFW~2vqr$Zb4%hpbhbw`WzroRTr?1Q5(i~jLbLE^ z7I;F}4cW~TClvnz-`i91RiKA`4>hWM=Sx>Fvl;W=kyV*vluZNoXQvu7O$d$DODo5f zcN-CNfNR<55bja4@xW9z-k1s0lt~H#L7?Oi;I%2DWj^#rOrTr!nZ5PJB}ODCyaw-{ z!{>}8sfuZFIHv1@%dmTT!G@Rjt+tuOSU3R+Q#FaR)4(;PSx&nmnvJYkd80oxbazugZ z>9xZ;E1@zEZlczH(jUq0Jhug(^l<7XuhCnx*sg(knBul%Uap|n=&G7UtQ5XcDX~K8 zm!n6ivg;arW8D>GydV$NE5M&9WXj$5&{S2XQCUa?dTP9a^O;)cHui8_XBYQPO<
@EdbMpWMc_^H*I+N}-wNgPH_Yb3*2T3d<;e+Y@w2lu-F0F?R@Pp!=)*|~ z-B`X*2KnM>JEzAxt`6c&=W~_i30f{sG5Tv4jryzdbh1JbIMm^8fgGZT=ME?Ov`{U` z5TSd^iuuIy<;qCiuSVTOtl?(rGcQ5Jt$wFs>EMy2D6%%UcBo` z^0+WPHMH#lA0&Nac%93;WnJsVqp*dmG@ZmB72Ae~fLe{bzrtkCqUUgY&1rN9`@UHO z2dJ<5!Ls!!HvOVf-6t4lD1E@b9&7k4ovzc7udivX++EpW&9;)}23QKKk-Z4el!`vvV*uOceI{Szg{sH4A$ig3j z8+Z>8N2T$q8qRm(0};rRi?d+4pE*r+gwdt4~_eL-jxT;OLNcv2j4L&2=W?{@@h~7 zPHJDx&$1aBH%_phGS@S{q{hv7`!Av4)(b*Maqgg9!K9MsDio4xS%pbo*4f@fgvhy_ zQemR z|6#wJND*7-OT5IRm|b*FYj$UGS2pfsQu3d_nXaOnizVGVKS+_<7ykC#5Ub1ZcLgHs zU-PVAJiv$?vy8O4&z{8!P_SoKxRHIl0sTXN0j41@YKgi*xS$L-L5}r~iM(h*3FT(EtVkT-%NN@4$v1N^tQy z1_}OUE=#-}_fon4&i5O<_Zvn?@=f%AhU*X8phK7f5w`>(SLG*i%S@~@A-%Q}Oy z*j|6XQZ|JRO2eH>Up$C>fmT63MGq<)!rJ$qA25{Ga@J6tx3XN>{}Xe3UCkb4-^RUv z$HzMDCzf)muYK=s2r#LlVPVZr(&w=U=9O})*ps0;^R5nFxLSY6lYb)c#rHvHgb6M1 zXA|LD2ug&71`|pm2rD~G8uT%0E33=zjJ6hHV%^u93Ay3{WMy8o{+om`w3H9v_S2H> zb%%>YjqG$+Bc3RJ_O==UKnXPAGh2yB*{yc-@z5%G1i9J9V~Vs858#?S8DV*ge@t{* z2}$zVBLv-x7$N|fB0-dgoc679;e<`q(QRdUUmA1aA6JE|J?X|Fp13{JUh9=?_&xQhhRlY(wP9wt?I52~!YL5>=!N!hh~Q;0At@ zCUzfhYH){jeRr#;Kqo8FI~URTtM!Hb?vp@5tQR?xNbAD&C*9&-j|n$%olBp3Rz`T=nw zpKwRlKP%NOG6SpK3hqnO21^te-5rv%ZP5Lt6X7knU5(d~w=ChX6#x;Ke7hLZZh zm|}&P%F5oOh+omzb)QOeU(iRNv69(J{98opvJWcoJl0{77dQ48Yqb1gH%AJJbc(Oh zdu;J0ut#5!X6v4Mv_HSNYN+u#UbsfufN!q>k@L4Q zFg9Y<9?`|YQLpZQQa;zb9}j<3SkUlf?i7Z82ialKfCP1@*4Wj_>l23BO4V4Pa8W};7uNJNP_+!1>;3~IoN;*d;?B7 zcax;Pn=oDFEk1X$(Q*{BF?b_e1E|E`OwGvOFiz?`MF;nE?Xx9N%8+mF%*f-_gQfg; zV5&3-J)@AWTkYNh;n>i$u6>%!$!VOV(PV= z!k&A(rj|@mwMRRN(2M_Kta1M}G2~@_F-k#qu#TiTi?7b^iP-Fk+t#b*#{VRx`A!WO zTJgf}1}<=}&0*fm2tIfGcjPBI?hlI&;%+N-OsD3G4eP2 zG3mGaZ-$!6bD&`g89K-=sz6mf?;-jL8e=^ERS85!u}1keE|c#X+(J=>mjYyYk?)O& zy4L0T3=B&a*qGmLBm`o8J$YI~%Zj>W!wH1(^GF6|>8STxrcVC6Sez*s!up(vb(EL= zr}$40Ti{#pdj$RgnReWdej>X>=XuY$7hnP65K-NoEti9Z0L@f!@6Di9)M$wvnU3sb{U{hyYSGn@Am<2!m_DEb?2|&CEx#$9jo-?e;ayS=oG!j&E)XUf;F>)-p!c<{<+iBjQD3ZfWS^~V|`^p z2})@V^#9>T|KoxkJf}wyc`Q3+%O9hcO%T3wEClJn?{c!ibJC|J(u3#T-CjW8j_s`^b2paEX z9)c5UJU3?o#P?l4gC;0@HVnd#-z^5@zTuw~x|TKj5X8DjroDLC3fyZ6T`QvQOQ$O% zwI-MroX9tij#fA4z!_N5tD+AL0HP7Z+^;YI4C(%S=oxlq=OGL6+!mv!w;BqEumre307QVb_=AxXgxi_$$$ zQA_x?q5V;YD2SRaMTkTMNNJpdY4O5_EE;N@9*Lj5%4qxXQQd-AEdcaF^$Ue1+m^on z8SIh5X+KW?t_9opU*q(r`w_(PA+v;q%W?(u=d`Oiu~@>Sl-#{AvtWQ3^S)$B&$YPg z7!-2!jDF*?$uw=}3=n3%=)DKpkV(3R_T@?1g!g$C@<%He4{!b~M^bJEU)O#=3Lsqg z-0nq>(>`f#13aJo=+xHBj+bk37H_K<-DI@*lNwIZLGXmI7oaN z8kKpE<{JyT2jpoBuF{)A;e#(v2vRfzxfzIGBSDK7_kCzYS=Pih|IU0yL|xg}|GqEu zWsYoWBGmbxn-a!J)XxK39d|ujMimH?ba?QGsE_UU&*o@*8WW#o58zkBm1~~#Pg8AV9u|L*V!RnFjZ??pG(Q)R zM`FnQRe?VIF`%jNlM|olBigOY_l*c*S5Bn8z6S9ogG^4N@cs`Td)KiHOPhTT0`ajU&k9 zPK*$syK4Afgh?__5F%El>8>&>hbRn-p-g1yDwl&gJq^|R@zs8Ta8Yms;HquB{)zF3 zPvMS_j96RNJKSpO$$tQ~JpWK&KXflGn$32_o^L*)mlFZK8!r?J3JFvjXnVJ6kQRF;69oZh`NOlUH)O8wC;J zc<+8UYc>278M(ah^C#3ab97cu95s_^yOlasOlEFg!ZK?b=&frm!!( z|Ju6sVc-*yu)UhhDj z6(du;^EKPn6h9wUHPDK1swU<}_6~QWwa%sYm}nA#W=kS4`dGEw*O~L_MacHiI@(J+ z&Vs|#MWo&$jH?#(ORW#>T%NIgQ?5+Tx3g~s^YE9@vrZvs;zy71f%laqTo;tNYRcMH zDv+fd{FpF?4%MZy&IZ~npX-Xj*4;e|$3E5=KhX7?RkMLlL|342;9a$8vN|imQh(vb z2g|%YzdI;&<3sr`JuPFikm-j?ld&dl$tK>IrN+nRb-4BUeLt`i5Wvn*;Dw)}0uBx7 zxZ&w(x)Cp-V}j#jefeCjKk~VBh^Wai4m{}4BvO7{Lbr{W1G%@I$`#hv&$jq8$5SQt zBMUl+_?i6?!D#^OllZe2Tseq~zwkUCK!w%218$AFLJib3qG<|&tR+dm^jxpN zJ{lAo*E~+))C?Z1%I3t3ct%P1Qx}?O;_wE7hsqXls3OqgXu617Z$*{9BckIgX_8`!e}Zc}TAzJQ zArPwuB(Y2PT|smmg!WxMFiiCUzkZTM)%~Sb$6H?OkqA|&HM@>jCYVUkX0wYX@X4P< z3GS@s|>Qq$fYg+yku_sa?!yvvvraCOO$rZkoq~ zOui@~9uI1d;)*H4ph>l}6(KFa1jx0Z=G$=6YhwPfqqI`tL>_JacWam6)>L5)n|_@2 zDnH=^v=9HCs zAz!4~&pO}NGy1&;%STPD1=9c(jK8Y9&qGsy2O-u+d1m_?niBh{_^3`8#FK$zXIT7j zBDYYR{uQxC4=S}|YhXm^P~q&+dlcSd58wZ7 zY%88F5_w^YSOzHHhKP{A;7+JT!L^Ubf9^g5857x*qN_WaN-)5?Aq5zK2_VD!Sa9)OqirBH8YhW4&mYH%O)%!0v{R#Rx8SsGc)+) zX}M3HX^Ah~8_{>O<%e%3=M4k>n5p`853?9j)Q75Q{V3mq zj(zhb)gl7@x>_D^9tFIgC=pc2?KS*`e`(wFa7u}s8-6Gs>D=c4*Fwq_FkdPJu+87R zmJsxewD9>Y?at2atXFihU$D1msVzIt2sz?=B0ZiR&jP1X zHL6+Ew+~QltCt7Jm2OKX6q9zhfqrrLc4C2>BUI~3ytPx8tMAd6 zUY<2_M@P0k*A1?a-fCmy2biXrJ1bu7Ch(wZqa5C)dvuB>lw~wv4O>tWnMfwofB8Hp zwn!%W+2mvCLLZKt8GDK7tQ;p}>fn=lW%v1^hceEd`u~;K7M!mNgQCsb8SKFcf9Q-c z%=d9u(EoEJupd8}bdr6BRGQ1=m3$auU+Rpz06kA`g~q5Euh$G2@ib-f70*w&Djc{3 z4#%z-McpD?cY;hB+x_m}S>trocMDOuxs~lh`0yD&SbK`@-K{hHTfj<*z!pRqOX`%_ z#HsM*cRj1$uHo%7n<94Vy&|qK_%{QpP98q)J^0k^6Jv%&7D*YHQpTNf@*70k+*NUJ zRg#72gMyHKcDW));pAjWaZMf<7*Rm$y{nRPj?Zaf_Fl%jo382Y(0OW?NcAPGsBkkU6ZfW^G(}==59MCZ!?88 zVRYih>%Dqq=bN24A)+V7eDDj+JE^zby$H^*)0aE@#0xw_UcAQwfYI;GQVeCxjGSg$E)pkSnOx6mJXFKxXbp? zqz$f4{0z-_44fh#uQL3Exs~IBXsh%G@U*kST0IlD~P++!Y^G)BySCOsRZRhZ_3*=`L0gjX`3s*v*O>BHJ+3RX22w z0@bPw1T1$_SeJHhbj)P;Vd~(pAH{RK!G+Lo2K-gakG&VI9jo$V{z3yDx>`mbwq&I@ zo{8IsmcVm0mi&4xIXZWquv7C*tk|h@MaUCk0VlJM_RaLgn*IGiYVsBszf`;HZ^xe&k?LsEbwBG#gTaC zBbOzi{xizOyQ80uON|kq+1~*-UOyofiGNsreXl3IHvRb7gYHp$bN!^Oyt|Mm09er? zDj2czg_;YeaMg@98nnBkr8{GsbMaWOC6%pKLg$4xU;vLrZ7p~!g2*hMTmr9>!#buB zyia@6(y zKGd~vGb5YIAe*+=!=JBS`BA@rCPVs2^Fiy@t+JW$gNKZcD!LUWbY;{PGR=}L7TH{b z8p3&c#=Q%(2{O2Fp;=roM}!u_rDq0Q?^P#&3*0T=Js+D9HGtkU@1zo}FdDC7=d7-b z%S~(pb^Kzlku~0>SAslyp(goX0i=7ALq3*N%`X^MdZ^FenY^E6OZG(eVr@#UJ>Z|& zp2TN@Xu96rgjQY*@C*4Uh$G*v*4ksBqm^vL#&23xC4jead6uJl_v49;U;drmJc9+l z@W=V+50w@Nz=DQ&i`{Dx(b*zZVL|x2Ug^ENYF>zWp_g(I)d-UuPyM?`2TSLfXC z0TM?_xjkpMQYJ>4oa}Se%HaaTuv&~&LhwF*Mr?aK0ii}6rp>!dpgf;DHqwy zwE6YUg9T$Pby4^WDhQ+l|Gl_>A)wRb^r}t+JTpYA6kZ5 zIXgSJmaK+Ub{PuIm%}7phrPZ|?|oAx5;+13hqpQR@Rdw`%^%%+CPNP9`!K>P!*V0s zTD-Sy;MgKV&~5%ck*fLGJ$4*M@JYcFNj^=jvCBIG9XRab4pp@BymQeTr5qVJak;;) z4Lk@h{L_xZ<{$;e+H}(K4c-j1cPn|^ISZ-F1dWaCoqRlEt=c+vMYy(RqHUxqk+sMM zb+TI1zn5!Xz5=}|YUTXAY~4kceH(a4xx&^KfPmQGPQ21yin>LSb7#l1N)4P4F~(9c zNV!=QDY*F`DxxV6xC9dI>u>FGs<|_8o3DAF`rl4ZKNDn($^Szb|F1z+LLKeTFF_MC z@vp~L&ayU$KQ$#oLx=x0T3~XVkTUKsqmV{?^n-%H4H#bjq$x`GsbSIDD?y{X@Qtl% zIno5(MaRWoQA4ka!y{D2#Wt1}h)^VaXDO{$rZ6swbFcV5qYr<|(4 ztC*NI;~81Oep%nI2ub&5y?ai*%BwpQ{kKf&A?LRDeNY);srf$fUNPrIzawFh$>@PZ z-#r~e^4~(6YH}F~GKnX{u)Qbv=H)zHt6lR$j~MWmy@qv|%4iE_`)N+ zS@R&NoCa=KdQDd1x}AEs659>SVK4n7GrCtzSkVP5ki*DloSunhoVL&lFdP%)fQQsA zqKM-Y?j-x&+}zV0yD~LfXnNcy>8<*wRDlo_t}2`$XoSe0H|ng|N~_5QhJcw=%~)Ec zeI)xdn*pU@#boUoGF7+Ad~TBx&E}(gof7Tsh*52qgOuQ%cp;NAPT22Aa7usCy~_c4 zgo*v6lt>Xs4`*Q5)S+oC6GKpVync2#ufWbL7Tss!#Mw|*o<4RAbRcY3Ir5A(4SrN- zGIvFYXfsm0fu+F#{C8>Fj&ATvbJ`PJm3I^Mi|UY~Elku~2Q=_Z?eot8p?FgiYsY8e z#{v@N)%b&clfn7r9=_pbVQ1D{68UNoB8d{j==|ZjBMoK0C~VsWSzW+Vo}; z1?i!Y)ghDF!koK#uSXPK0;lNLF392^118vU&enw0y-W%EpwzWa^Y#(OnH9fBF&-do)fq(DRNN~f9RZFInBC@q1$<(xXp zaGxX_sM^)&S|f8kWw={}RaY?yBM)Yx-ae>12#$*=4U4Qe3k;kc7~T%FJiEPT<}^rL zE5J3UMypKdM-70R_EHZI%%3LiewAi-Du7bc65+M-v|bqsdJ?CBe7JJb2Jr`##g|1r z9pn`LhYR3ybU)nzbQ>L&TV@3=;Lo}7LJoUj7DFim3}c&jID2RXe8B}u#`mI{LBp?I zX;=jSw!^XJ)GI`2Z*Adyf4bR(jSDhQaV76-^GeDyjs!8TGf-GVO7ecW~as*~n z`~jTu22YpdfRA3K2n<(Q#S}g>XA>OK9j$!gcC2!?c8_C&g19b=H0|8=3gBb%F_5K#o6q3Pua2WxXP>nKwTGed0Y3XZzK1WRNQx0SxI{T9_XFSaa|4OyS7C9?bxhf3!D;TAJ7gh= z&Q{gMz_5VrDbF-GiVV^NLk9$7Ik*i5(Ch6$w^6+7y-PS1oONZqUgB`8Q*r29+_ZtZ&{vj4^e^TN74uzbc4Z;_f*X|l#e0-sC!R_n zZU2p^dJWXrMz1+siPsY7s(PA0w8s)W)?Srr!;1Ma6IkNAT8>M%jd6$&PfxWRIe0TP zHDpq7WN{t>>81a&a#sy+`=STeB!hYd7t`-TC5l-A?-TWRV*#&`NCg@Q)*Y81;FAvK zvmNc<_9T79WAG8-vTmvQxb+R@+9=L2pjt)=j@n5fIL@6rCHKp6zvmaq5~=^C*ob_o z7ahw#R6$Mj7Vo0taaldyxg>P;wxvNsul=EBAEE2%%-7D0;bbVj$zf%fUWP!td%*6hs<6AR4xO@3=ih z9WyK8=RgpqT$QjAALVB1II{Wh_Gl*|swh?G9Q24>n5TAAUjtQEJpaP~Sk78bW=OyO zkke7Br8DZyW?LNb;)W5^50PF&?Qwd3S~=vPk0bj_xhYG84Gr5F617h6*rsXG>`$tN zbt$6&|A`^t#7aM-)5QCbAvrqkq<9#gmx@12$frGYbt26<`JF+;X%^)4gAq>95!{;} z8lbsV7tE3WlJ3jG_s~YEoCAzO)yEDw=xJqIx4odm>@_)Q2pgiFdPF~rz9#x=`*2Z# z&-K37!rtQL@XvXy!s@$9g)OA}n{#-VdsA6quw6pN8=u8gLGxyJjOOkGtaMMZ^c0c8 zyVA|8D~T5=Y3g;qEqhPK3^`#RuEdC9@FD3>J6%Lt+#~h-btc|$^VvQVdKFWUy)&zg zn8q8(VO3rax4GiplsnR${>is_q_s-45nhbZr1S%CwX0WARbSszMxnx?EjgNnm`M{V zvL$+b34a29fp=_^(Jo>{EV;DXp8_T?nfOV4Kd^BNe%$sau0QsNm;_x5#93&kT@B`j z3%|0RPmAzZZ22O^ZoZj4p!NvAngh0`LF`C6ExQ(kL(xpviv#Clp7wM@o8D&Vx*X24 zNIuO<8k%6QZLU`#a+`bhMY=_|<|!RP83$^eQ6i73F~<1ekD~Wfl1se5ZQ}QjIVa~S zU8HI^1GFZpb{z7XcqfZ+c_Ogq=T_Z%sgt{S(s(leZy~pbCieC%gX7fTXs?HUHH*NW z_Wu|U|5r|_d1Lw*p&qD1R{ymk_G(Mr&CS3)(bl!{1!Mh(jxXXw+}hUg%mhh^m|`vo z%xe_MZ=8eirCsWRZ78ja0uK#~)fKycM-yrY*s;#i8Xn9*$2q4my6Qo9wR++5hDOb! zc50<~x*QTX04c>4Vr9iwE_;!^^E~nVi*_%!3;lMK8nVuGUS zYo^6LzI$728F|N?89z>fGIme!9Z8$%S^z0p{LfqplU!#Dp!JHF3kyC2ADCnML%}6E zh?9C7EkEd+F~h>7vEpS1U*L`saybwH{h(lEy-+^`VC(OC0J&l%+|`$Lme+kZ3vCe; z)=&)r`Q^&T=!zQR3v=q8%z{h5op7gk`&S1S2GnG+IsK(A_fnRF4Zcfzvq+cGbqXx8 zpHCb;eW;F6bI(Y`WWAoppCT+ZyzR@~I^)CK((Jy{`G_h-(Az6xG(ho;xL3^zPiC?4jm*8b5|)MAqP~m4?$_vz&1V` z`?r5_M4tU#yIa8a`T|U~+iEo9i&`50wdh$B>%M=6{s-^A`vpu_cym`uMSgX8kw&){ z3+TN#fwlSQsE-?5W>!7^ge@(Hth^YoC@_?ak+al;_jucuTR_vF8hV-cZA5$%LG{Mi z3!D38D_R&%v)KlD07eU z7M}ohdg6V*Lg?yQ3j9J%g~c^3 zqjir4RY9ROa^7!EZ=|`}0GUPE57ftRe;_?t;_ApB@!lr>x;zLAPxrGq|FzC$cgkj&T^N6eqXb_*Uf{S}XUmYL4%uDGD3EeA^dD6r#>Lzep!*b@W;6%9SYKgEcn0{; za!NUWyR@2#GH`fs=#&~b8(ir3-C#s0?8~fOy#9=vK3AV)4NcBdmw^;sj?!oN)?+9# zKSB~VXnlX;X1LtsB+NvSEc*IX{Qz{}Z>ZTXs>P{c&jX!_9I5Spc15`nyt+P31|}9R z{~?Q;w1pnSC*lJBzrl4=9Y%#86FjBar4Q1`?&1#|u51uo>|)qVXb3n|b|yba`|iB1 z8X>+|fN7{U)B5RzM1U4gNmFK%w<83!KxZvyf;}(P7ORdZj8*ehHd!VELzB+r9If`l zlvZ{3GvDk_!#~rs4=Y^lar~LPF$Sy^S%v>-J}N!o4QoG#kr3I--+e@b6DWzpEh!ry zt-5BUq~(0z<+=_N6$>WA?@*>#N;EE*%i4Y0?Rt70;XZbkEL5;v|5hpwKCJ!ci(D7Zk^n%YHFXgrL43) zpKEv*N!8*mmKXb9t^etcVhUR1@jp5tiG$=KvBVK3^~Y8pjtf#Q%}`8?7FE`xog`o( z==iwN@qb|h|9evc-y(|+e(HKLCw3_QJ6eKQfWtIicchU`cgo>&n1o8daAK*X_48J! zpf-+RW?ZeW*$cBMYPfJ?iY4%{vso9-c;aRJmtxJq&@XX~E^tVyy#DA5H`5sD_xs@9zCk5rW*71Je+;iy34~w%WeIn*N?XJsdG54t^g++1K+Bep>8?3 zYC_WTT#R(4vX!;WqD5?Fy&vdyUQz7RW{9Ae#ZIKuoLP0I zZr&?Hm&B7OncOrsTj+5ppKfs*eklPC_O>=n<6f~iPHHWx{aR=;2AraEO*A1#{XI1V z4XS($7c|Pj$kLxlGEi%PN>5LQ3dD6M=NN(*g8FwbRHcXQj0)ct&>k5PEo2pB0Nu{( zl&x^BV}*8v$(`!hycOnh@?rcYEHGmt=)SQ5ykqw$bv`r+e7iE(L|`nt{Bsz#M8CPa zQ%vA5&9M>Ob>s)5_ihA=}f60~hO5$1z7d2V!+O^%=wIm4z1AxnJwhl{vb zJYKd!f(ip1P}>1*mR*xUqTk^-%2DCcW)5gURy;Ukd;)7OoQMK}zblTT4bqkHl^jr- zJ#PjnIM`hV;rl35h#LXl8&H{kVKE^XR0g3cw;l&i4q-S{Fk=n*z`4E4uk@Ey0wZVP zWJLDNVENRJvZZnYHSWtWufVg=B)J#(70IFiexu5fvoKa;>!o}UFNa2rhzU>aGk`T4 z_YS0FGZ4RuLz;lk!`*_- z2+%6R{F3Ta#Lgb08gPZ|AC-6PUKpMK=EEnLEP2OADhJn&Q3+NIl>ptPCy=o~Ie$kyhr}G-;+ir)nWqR9^q1`jz#o9nG<~ zm{@giCP&@HCHJulQ?1y!$+v2XfgI_CTr8u+3bU~~rbA^SIduMoh#9y>ur}gY<-;le zW*h0eus6X5UW;UF+gWH@?Z)(-(AZm>Jx=M-_05YIUsktI2*pZC`MO7Q2R zLiXA0uw>dJhkau=Usf`|H)4tP)%5t=fNg~N_te+YS2kqgMvoNE;l1nhp6jiXG@Xjx z6xo)`Cpb%ap8VrE5O8ngiXc0}TUi&K)l(AuguY68C>I9JQF(P&t&1m_IbMjYvS&~O z`CVpJ(JJ9HFg)Q2imHmB@lGQl8~f?k+1r>N=3$XFrqn{2xP8SBoEjU}5}!_!G$Uq* zhKa%B?eM%Kk+e1dSBQ*5;T)z)aBc6>HfJ+6e4v~+wwi-X}mORVd|`;pmaI#g7Rpn+ON^|b4} zWaISw#-1cB3DM~cIq9v!@aJn7ADzcNs@`_eLrkM`!rP~Y;=8@y8&vq2 z8%{)Iq~}0)C`YF80sBE4U9SpiBhF#x9Vkil-PnWM5L~f89Rq5dV50Fy$Q_^M1Fw@@ zc^>sVL9x7 zEabm&IG4CAbJ?;XPTmdN25(1!2x*~}GFHoqN>nm^?ZT=FgRgr6ltvUHlM#>S6n?$9 zsZ_`8z1n@*9&f?>Jv(xag0QvGG_CC!a|v7f!+J3%L#p>O15d8(sqXyC#6K5BtsfHA z4s`1TaaTT)Ofe{quz4Mz&Hd*-sqaj>hekz-bErX`z9c6mnxc#wdb@PfpcR2~si{ur zp&eF4yN= z2`>o-kfYQ*;nwguz|-_RR&B$hZ9I}KPSSc@9g=J0QAGL8RX<7j!>Qqj_g7v&{$Eu; z75_o?|DWTNw1b{&n{apavYW?ey#vG+XV1W&r(E`*0Hcp+E4OUNJh8-;THe|o5GHu~ z)US$-4hgAK4M74awG;ZTafVQ%Py{z09w(oO8gWsHj^=j@^vdc7xhlaA#WVDtMl6Zp zh5AU+Hv$=1MZA5m1Agn1(aiF$%{7%PPyTyWS5Fr8Gs=pkY74!RMqR4oEhgq7I<{J! zL6@vTr`WxFW}kP|i>Q`jjKxG=KbHSc=u0CI_Ir5xv(M`X-z@Pzt7cQb7GO=`g^ie+xzOIE{)v{rLV#y|2`T&-jMiC}%hElkYA+AL$EEV}yydiWunxlbEUz(lQ!=fcY05u=yGqtBKi|HUw&9qN|jC3|P z^Yw_R(1te!6|Hkg0@6}66UueB4U~$+f|+^oV)_=bvme{d_P!w{KX>T=jV%b6A7AqR zJ=8qM=lZJw@HfK1m}rWOSW?|B@+XzY8v|3Wpv!{oK=vKugz0*cuT~fKnY$u!WHgWWo!`S}l{$?n5^bWe6a6QEnSf@N~VC*J-pXmzlq@2ZMj1CkJ z^xQnO<^WR!km=A9y({PxSM<5uYkBMu&aHbgN0l8#T>955p`*V9SjBHV5VwC>85zdw z8TqT7v)3}Hk@rG+VeUk_MAEOgd$0Z8i2t_ctwN(Z>PWH|%Zf`Uvp=#56nPqKst#b! z92%5mkA;ImlAm)1s773IXSAUR z``(4;xCgT{#HG8&+Ysl?BD1fJV7G*6!|stGerL_M*sk_4@HNr6C|x2!Eqi&?Aqi}d z2kkxI9-w)jWXITTSq|Cj&B~>WO}hRShU?iTZgKh2)d=>1f<$ZH&7#;D$fW{q{+KVy zv#mMNq!HWGRY>0_p28ztv@Gm0%;R@$v_W(zDc!j^kLa#4d@9-NU?jViT|TJ7N3!ez ze!sPlAGvIpMs!k)ZJH+>YJmATE1GfiJ@!5RPloB_v3Z!tzs8R z1shGkOWRY}Rj}y|U4=pXk2lVnu)lR?ifgvPh1QhpZ_up9_mV|Myt`2gld915U3a66bv9)hjRp5)im6ooZvc_iq$Jw{ht5LbX8!b;esh?JSl5f`MrjzW0(-P ziFACVQ5ySD-fp0hAK~VQ@}P&7P0TRh`xpYq(8y+fIoT!QL8OJ!s2-7_GH7b3uZi=L zP>~4YI7Hz}U={BS3CsMQTYk9cRSq}qdD>IGE6W1WG)gNVi+8>Z=Fm&R{#+n5XVG_n zRuGcoy11epN|r86WEaBllVOi8af%C#8~^FM-PCY`uVit~-JWp6Vey&xIS%DL_NN;! z@u|66h3fBI;Wd|sl>~98Ir1> z>lUfnGtO03658{`-R|rb=7nWh9gNB>>4PCOH2(OZtXn0-M#?Z)55&R*>}aP;xnkQHZ)Mkwa#XC3h_*M4F1Wz@&}8j z+J%o|^p`r)mvoPB?(y6-NrNFL@tqxDSNJ^bg}y>{W{{mjnrbas#owuR^udAuwn~+< zZ9LTk^N9Y8cQ6gXWb^C|b0SspGtgq!bO6Iu0mh#J!v>bP6&lp)`c~~_6(6;PU-XK? zmqjzPsLoVzFNtd836gkG)34t&_(7VT`^w$pc0-N6V3*OK`_(!kj2(Ckat~fVX61~3 zTJ>b2F9DX;{jv3Zv_Q$_8<{OA|Gv)968kZeW}!Kifi`OLf@do#;sLb&{Doh z0(+@KU67EnfzD&w-vp%AOA3{Hw$fU4g^|N-VGX5W!(?71k!&chRtVD=qbYm*yntT{^}Fzzi$2qI*y zfZlq7Wa5bC(&gHTv^t!Pfoo4QY#3Dx_}Z5CVe6xELRYxhV4&=wWtGZtYKU~sbTsDT zk_$WL6+w{oGfw|#C2~kat*e7mbZEz&lqsIzz^)iE_O2!idP8~j=m3=_EAAMX6f6)O z+!N{yi2T?lf0wKPV=Uv7tR6Yi(lhyIUSvV2RiWFT6^ed}%rgY|OQ+QWFFK?89ezgN zCx6GTvFs?(^D6O&&++Ud)!nnVRN61e(!`eOS1)bi@(VG2p4#XR^{@iRxHIe|*C|h8 zw|W)z5Rqe}q3N?c)w)p$o;3IAN4kDagF`wUXH|T$XcGy!-TYw!KkV6x5L@W=6e<6U z+hAd5CXe;YbZWfe?Bjxoec4o1RJ+LB>4y65ATqPZ`lM727MS<#c`84ELeH3dq0BW? z>dwILge5_VPszmfCgrMKh4-LD2E%|LmQf$x;_Tl;X%klhCioL-#$%z8{x^g-V_zw@ zgQuBc!iR1TakoLajqI1PvAT*=-J!m_7^X>{YNSXG;V@cEKD$zi$FE8CA-n(wb7~YS zFzjb>`0w-VhD~ThE^6-DYPAhX`-LVDGYkc4-=FS22^X1+ZJR$>8G%U(ubtm@rJ2Da z70XSVZjghn=8kxm#L8*8NYrgbN9~nqzkL!#@Z$tI9Ym4vnlAPBtWk6QmUINBxS;TQ zU>KJ7Bbe`WMOC8NYq9DJN%l~arfM6r3BDTl9{=Q!#U}mT7emh^Oq}1f-7p&~ySPlE zUiKu9f*}PK+H@((k*BS$HSJV4nPtT;;i5$HAxxoVjLlo5zGuxTTU+*%m@(x3pNJ^s zbkRzmp(AZ7KIym1p))v6wXx6I%qHxZ-{g1M2j&b_Uf8by$G`3S!rfmhc(qa2+x{LMi`A9iYGxnwN!6z%xR^hMO zf`de5EWywMg%PD2rjq9KM}M9*4S9#B;*VH&p1Sj&0dm;y`kws>-JXwFVV524z=KBM zD6z%%!G&9(VcrQ_fK0^ki}2d8@;1gY&$Pix1A2uy9%Cr`;Czn_^kKO^M$R=&=ujE z{=e&|Pn6Li!k;*|3LC~=kEEBhOb;;1R}R-!QLFPCsPxlZ8C~BPDD%IN=8)#?_*Z{P zyn3Ml@zN{~>`qode7Da4oj?wcD1WJ*SqXhJ5-WJ~cKN@8^4YoSy#kwQIp_LHcL8I+ zH~hQaCKNyGxpi}D)93JIXmLHMr|;`T!MK|b9p0c5fNP_feBzUpC(~(kvxVHELxs9< zLF0+fM5Cq`s%H2r24^#jPBwBx)aNgoNkS!Yr6vRL13>+K;;5b!_%`Nn3KP-yZZ~Dr zyHT|cGiDru*3bC3rIyinq{Vl$B{A9`{ZIp9eOb6Hfj1XusN;qrwH|9_obFOge95;{ zaklio`nbxlsDg040gH5p2#YkUq;z-Z(kQ7&N{MuX)Jh9TD2L?e?+l)Ub1{{#t!q0j4-K?X6+C;M>NJj? zbZ{55f8owfm?h$Nh8IDFZN8rmT++i<%!XQ-@F$tk3t?{z&A7fu!n+GBG*TJjj;_kG zXFLivu#p={P$0ZD2XJ#Bb>H}^KaHYxqv4pN4CfW0@~13@a& znIO7(a+BItQra^#$u*ePswMjv#Nr)?m`hMI`Mko_6zr-&pFWB6z>k^U7gxM4uf5L_ z`eiriDX|{AA(b3kWvfZt!LsNaVlTOkEl<%4n4!X{Jcpz6zW?K18G%vZw?%OmLj5Fi zcV=|tSw`Yw3m0}eMV@=uAKC0CIcIob9e7M_`Rp&d7WP(|XuoMZ3qfg>yrxm+G&FVi zae5GocZG9?Atc7scnmxR{6=BOcN&FR=!F;I>FN3GRo&)uo3GifTyPRhQ=884{RVJg zWXssQS132Y43TV02TDVS3PXRzNRlpOakxbERIw*O>~UY$onAn@L4ijx9J$P9|MC`S z!OYK=6A-&gE~D0POHh~`kDFxsA1gACPr&VOugk& z8W0AURmJz?SFc|Zkpev_e$}hr>iw~o@e}biiA1LTYKYJ-fhGAh&Ai0v&rMj!Ua|{U z@Xn7u(!3K6_}^>Km9Ei(lr>p%_x`9 zS8uvCOuy~=u!yBJ#N#Ts-z~JC)fdsNfm}}W`XGm7)^J9LZxipPOkg1*QMLRX5qI}* zbnJiLktBt&A3kgJJE&FkqU=cNnPhXC!*6awo`k(|VLbL-q)wq_H|7{spo`;o4+=4k zWnB^YH!%;fb=JYJ#@N=q`e%D`>iEG5h;A+81_E2=BkjL2OW+r@FT!*<&VL^R`4t8= zu4}CZg}n5XPVOkwpEQ^LN?vc1`bcnapiHF2X$VrvNpbtbkd!yV^7Klc%@EMaHiXQ7 z>SkTiOiPGcPAW#$q>@eo!Y9x^=0>ih{cE$N!Q)MOihql3 z3N0JI`Pz$!;1hz@J?sAMajKCXMfZf~U)J_t)n?R;k+arctAFtw(iGbYifNr2BW`e3 zIueG`?o`<^{BVhf0eq6_{i~l{EvDKmdpJ{W-HUN(v_`oT$s{-&KTL_2UFR!ddT(YQ zrkun2ixIj=jZfxFu;P8S3D`3l6#`|5oSH^;u0x0$)x3bt{-xz^YPp{ruW1p4xCJw> zuHaqzUj7{W#-Zy8^~Eo7HLfe~DzDD7__S3K@Tnr#u`}|FaPJ*Jp!j)w=}RiiyZKIm zRLxHHPx|1!{ULSuscesE zTF6JcO-XP^f;kuR(G)#?8=ng33oX@X)BT7pdPLSLjRY<`=_>%6pfhc?Bncg8{t=6G z;sEp&{Ja$uAr9r-$l^`~VV;$UG^l~vWd+3xLj+KBJOziY9ItO~n3HL;MI-c=SCwoX zUyfjL( z$`JEq!3dXaBe1Q$&rqj&dL(#v(yw zARedHIAislDf)h*=LnR^+w*{hupF95NPcLxSh*Y9&RA14LMVJ_^>WhaF(`> zofQim2q2d#D9u{gJGzVb381ZXiOzK2M@&liDZ}!HRD}`R!5O{D;~rPBpgl2=HHdB+ z6WCh^x$N?nD%QmxT=p{iaNLi}502DB!jP#>pXC@Om`TgMM%g>m6x?1ux{$=~%RvY>cvwE|i-X|?1-K!Lt9&$(aj z=-N+!no|~rUbn)wZ@VHM!rh7VAEJIIxL)Ki-0!uoeZ2h^r!^8g#oy&ao?V3{K`<$M zaSzTja!uFie^=;>flq6TT}4$}Xb@j(Ojw5$CFh~pd+M|kz9d@d>j4Szr57Tbjht}#FPqJP@C{Jjqf=^5IQrfqTO+1m@hcWxpmT?Y; z>gkkqCX{Yvt#g^{4m#~jBRaW7tERZx8{;uKPty56Zq~27?f>9IukD7_Pf+&}?`f`V zL?&|PIZDh_P1!MUKKlw_6fgtL0S-8VHy;8oWv-&&3Uf#1ZCb{fpW7Cpn$8YK*6U`1 z$4jw>r1VAjsRu0|kGUT`3kobK(m0%tBeGXKtgkLye_~jNjxZGDhVOR7hQOks8r}U5 z;?^Y@Lk{R^Cr+Vft#?W-PMJt7lZo_531-zQ^521!5j!uTCK`u}6ojLCGcx4;epvfK z$DM*zRVo4M7D<;u4ix<58hNAFRT?_-6NQ&`MX%glHLi~U5xpOUioXZb$J&a4zR`l?KGuAUtdpm}_xSSpQA7KEdD!WN@W1C@8mSe88ReTj5F7`>oO%$% zgbDr>g6|2aboB&n2i-%ll;pZ9Cn)L1CoJeMYL#xirhO!5kI3+LWQx@%+T}g~M_R zlXi0F$i}-r$3#j94P$;2DUct91>N7kfy&mftM!&P0X7u?(E#{I8RRQtGTcsRK z&`&!jJ5;eYQMcfU;e|$~#|#l!wh>*NeGBh7NzIn1aAPcE`+KbG^qK#AkW(g08NMfD zj_!qP64xU_ZWD?2SoBI?@s&jco;~X*ySV=gFb$fPdvB#IzT3yDlBOqX3t=l zr9?l{*U!-fj;>pAj-h!c;_H)e(4DvQ z_^@vucr4`tdFvkZI$kkr@DJ>DRV8X-M?!XzL=)<8IC;&U>`(m;=>)P)@3V(oPDPAA zaGvo(Bj0CHH?>wg@#{pvg-w$z#f9fqN>`>d)SKcZSDoA|@aPzBe+o7HyVe`kfgY5k z?G|S%c(U9cKlooAxE4BY3<>)wgRW%}U1wLz`DN0Ed87T!{7$o1Y=N_RoKBgSp%I}` zc+-}sUC`d|V>Qma`pzMVy%f-~PlRvrKoeF(eP>f%QHU!af9`bR=nQ{v>n#ha8DCD1%?2GzDv5ISjep1Hxp`q;%0`HK7Z8h*xIpIpC5(VS~q zg)9e&A2Z30@N|&8WZg^&%D=BDlx!KzmMCm6tZ~g0J)ip9l*0d12^ggbboWww>k33i zM{;u)m!{{ksZy?Q&eKZ7EXCc9^(R|cymq+Gb4ykF%--@gucm(??R(w4q!O9ZSUc=8 zKN~o#<#cxU&&TTt4KJMsLCbvqB`0WHA^?~j7ZwZYYMUtVXQX=SWwidnwqw3?Ekce* z!G)hO_)ImzGw+STxJ7@^{$+8>8PlzSymaiB@g7y<>@};B1x|HP3Qfdvjx=&Iu2M7peZ@@%Kjl#m%h4?@in)nI2 z$UgKVnB&FTsz?7QTF%k2L38b?)=-w8?9cs*l+<;s=@V8QU4$4rzn9uu1U4j+N_928 zrGr`iGWUImxWN(fRyQwNMO!k{PO!Bd(&TAHGHVjpWh>w3W*kKK?jz{o?HSs5B1J_! z2�BmBa9IIJM3v^QVIhoGz3HhzgD$0h~ntCWtw`(tmM0_`{#j<+dMG3ma^sW%9t(%}4XHIZ_SN_8+|7Ul0cSoX{T zo*M$#o47nMfc7(f*=DNDBWO5z1>7O5owqyPnQhww}6NuunjQUjkyo^Jm>V5699EdNTBvECebn#i!i7F1(cKL6SUx33uz+Wy?@}xuk@Dc7yu@KX@Jj)y| zf}T$Xy-$^^9#sm(T)U-754ETmX-*liZ7PWDWuA6e>WHL>3qQ2?YgpPbtP{_yXrx18 zU%epc@J8o^oCOuCd{TyMoIV|tE*@_&$(vFcWG7U8uh}=(;P+9jfy$oe&xcdGa%vey z+5!vJi@K(7ai?201f(UWdKcmmlW6z~z*hcPTq^e{gX&&k!0k%+U#_jwWUip8@(P+- z{Ba#D_WDD`-DVm8>LGZ;Zz>v5ZASe-!vYK4W=7OPDWO|TT|rFk7s+kjG}ju}is<7F zQ?Cw#tY(cKOLe!nj}SUDmw9}$lGcuW8?{{a-WwvfqXvqQvbI$0ZGs68G4?O&oX9xC zBlL%>sKGK8=va)N{e)twPt!hAoQPtZ!Ff6YLDqZ?MfMBP_O&7v$^&hFeiM?}0RUTv zY^eG`>CCIySc;i~b8hBUn4tUp!4UtHQ5!2e2M34pdRgY^ZO7VQ-a_?^gNqd-!?SYv z#fl2%Yu&^DSDWP#0P~7dxIL7j^3NEQ9zMalS3F{g^SO!^fCN;|E*`k? zWqb0}vu*=_O_KwSd)I z?leJA7GZD#qOqYEh&yK_Db&LVeYkocFNWjQl}R#SR@rB8TCk%O;k-oSR90?%0P2TggxR*_klM&@v;zIDdTD#!vCPRRq7IO0HQZJ z%sMDS_n=YDcTJwX*#a=d$mJJyd$D5}Jpa1n)n;c~ywf5B?3c=DV~wW?_wO;?K9X3W zP$d@|4Ztox>k>#{7I$b^1vFEVGNs+dY_;nx*&8pr5mr`NtH>f4uOE6{nWU2e@*vo^ zPTry84tm^fBh+LgX!plWrc-zo0Ry3$YY{LcZxL{~3TcYZaw{}Q=~O-L z4%>)AV7te*1aX70rWpZ>;g0@Vp6zn2l^>FifC@$c)wI8i6SP;hsHa7bci7=YHkmi! zKflaXl|V<%!q~m8G;yT{<-P^r=WS8YJik*0>qJ2CtH!aQg4aE?ici87c{Gp2@yBL{ zhi6lYJ`66P`qD?AutZ6nRvUZ_vpEjnQ@FxwD5kjT{L=S6K69?L0z9hdeW(rJx{%ra zbWrQ*P5@9ZELWT-Yyvi=%Hey;d5V|byL&?J9!5?2c%>4PQ_wvy!DIM^sXFowH5)gi zR+dQuq00Fh@T6NfKsisoxjR#cKvX+f*k^*n&nBQ$UypPfI7B)LO~4OUL`0hp zZWuc|anq%RmYeH~Y709SC%L+L%V19QLPvwbWrg=$6?#)gfv12@$aRhrxTINje1-69 zBhb_CM~HNRZrSkgCxT`?TAIoq0OK5gH*bE=m)!DOVe!5a39gE?_sO-FR*2oUMc90w zuw$i_d?p0+GL~)C65AMnK035Fp|HBd_bP096+d#cjlJZNMoJQNC1s$6tt#W zl4sZu<^|^|vL5S?`}W*KZCR5o(KoQ*C8+w4(gAXdertIE1d1@%i^eO~EpafX$EfCn zt9Qi@-V{0`ond=DV|yMvujEPmvz}hut40f(M`9trnXl;4Z4BWn_1PA7C$5)xvmkn) za6~;kA`i1=T%_2oF}U?YT=m0{4C)ch5mtO#W{s|pOi*9e^MR*T>`KHgXc*wG%6wuI zhYjsiIB=D!wDwo_yy`}th37_mo1i^1H2y6yO(%1fJZ|dw9fhgz+=N{BH>ag6C+atBG7XR#pQO4`5&+1@GnaLAVSw=>W2GSz!OOLIb@_B89rnlwdlDyL-amErE$>Gwk-V>dzl zqr;4a*pJ1f-c!^~9^rEJTf$IrGFk^BZ$KUP2~k&{7cvSh9bAJ9_z(_J{bfAht}=Ds zi={ZiZjzTK-dUCKqk{vd3;@ljUUVA}yVL)6rBs9$Do$kO77KojRlFL1N7bh}1wX$T zLT*IkLc!wEgF%ly`R(F5$T4ut72^A|eO0@QwQ=Ou^!qLSO!At>_nxJvxy8XzWpShQ zs3smmFM)+9*5JIeNZ*dAH98U9&rBi7^o2)bcKuz6*Pn4n8URqG&xs&^xsa?B^<~^2 zm0S{b>roUOzQ;h=4J0LVqtzSbdi(xi9w?w6^zaS{X>6ZOuDzrkpuQWHb zjdkPisHS)U5a}@UAu#^g#LT`U`dXaKJ)i1YXR*tc!&4R`jS6;Y6VhG55(?-Cku>3j#z060fF{zVQQLgu_Y28%U0(-4jpD?9F(!PB zPP^sf2ji^r0l{w6N6AzDhM`Mr)3*;@*&7(W@UKnc+vc0aWWVjx%}?z<=?drQlbeB# zRof;z5~N1<#%IuC$b70XoFlnfUb)i|uHIY_b+9&t`nsZ~>8D>bL!4Zs(xh1~d>PKe zw3_r1>`;($ibJh|&btAzh3KBfZr4u;=2${s?xHg+;kM4Vt5uc!84?lQBg#SftccB@ z@+#S<^nkL0hsQ9a3GBdw3jz85_L2_o;PC$O&DVm6;iUpM;ZkV`nfegnDp8U;LH@`k z52Bv0^{GuvC;9mOKQhP5UC^MKE%>DU6HI$Y)Yv|=R+)5YxYG3idWcuVKuEY=w1l3B zIX18i#|dYzc#*1j?{*k)r)_2?Z0Woe9WgLwM{vA8V$%Q{th3^ZTT$?lzt9R%aoc@U z1S=4{WE!OAXANQjjMJXiI8jj5c+NAb;{W~ul-FIFRidFqD+jvw7^H9HPb(aMm@&%R z5sI4(x%0c7JUn~jh(=-WD=@z=>Fq#hK}m}=oPg@F<}1;Km`D9@W2iYZX%FEWTrH*s zt-c+yWo`n;XSDhBVZ+_ImVx&U`VS)ev0J8hKnq~k12zLqOAST4U z^ec{<;$HBB)bE=U<9;HEU7q3IgZ*`_g8%>$hTC6Y>f4q(xDOehYFRyf;OF)f<`n1( zfWctGp1xi|&QAWW!hV77#k-13000NzzNVUa=&SA5uy)#CC%q_}_GA4$4q}Mz13u}T z>c^IvsUKiknNm{)n$GvVKb+mPeEFUEfjP7L3zGmpzqXq9Gh(ijo163P>teYew{L|( zdrEB|7S}r{+}%#MXC&4|y>?or>`6#Ji~j!^9?-l>k04&rvfp@Ox6f5fwNuDSSSB3O zyq?EzuFafeNOodKHsy^pL*f0;#1)(-FU!XV5q_}=ag+#m1PJEMiuQJNcVyfTP-mY5 z&HDXG+u_*pOzxxn*G*Pbz zUp-29hCCpw!w<>WMpf%hj|OL+#D%Hm%eS}Uh;TAb|DLz=2SkAvG03t7Q7kFXcJ(BB zNM=z!b2>77Q=cAci0sZz+m4{#Adj?J^4Z2^y*DlC znFHbFx&mFK*%R^I3#9B~d`KAHtedPhZQKdEQFT;A&icsc=(A!#LUAn`KBIAlxe=V7 zo|H5CH*8fTC{P?5B!h&wrdi?y@78NzGhg+;Q!S_@(Y%4-vw-CTbB*Q^6%m;P+X11R%~5(AK{3s{NFusL;5McFje@u{z(^+mSaKBi z-~75KLPdQj1mHU%(MpR5f$s>##c0j4JQHLriOLNGQq5yE^dwFBdo#PIg zPgpmsjE$wqx>g^O=Sb?GINl@tM$8%m`OQ^r{7@ zBV#S_9rhfIBTo~JIZ#4lD2DJ6Z7A98BG6~*w6Ur|)U_jaz0 z8AnL>J#yHi(-kd_?eio|ev)t-<`b z;auRlZ<$SkVia3aKW~z(Y?7_ngT}yJLxZHPJG;OO~VBt8dJov1iKUe9#oVf10DB;YAp29*1TK%;W2m(dDlu*lw=IB*NF?;(!P9R zY;yNbJV438x=|=@l!IM>dk$3wNn*|2>i>baK{7^=MHm7&eL8n5o=F$Jaa3X!RCOYM zl$9VOptMxW?f6EwY%kqlbBK#GT*{1GyJLc6a{J2Pk!#;;dXJr05U*rC=Y>8 z6Dep)L-~fXVaLN<8}D-`%mb(F1FI~Y`CnFT#+6|e-J-+q*rbu`%o1^|HR)8N3XL~dG$c-;Q@{R-889o`WM$x*^aMc821Gv zS9VusBh$uibSh@{v!QqQ@rI4<)1HuDCEAj-0Z@2eT=kCXgaxBAc-p>SYnMA=isxcU%^v+D_3 zO4lR-|N3ZGzKybAtP9vH5iU>(zK3DQsx#8zI$x(5cN6lfh?ZR%@Y2BrQIGR#*TiTOxeDUk+AGuqu z9B~-8h+_klAPhE%M$#CDetOI*B69f*7j$HVFWK{K^uHoE2q{Hr^fNU}dXrPFV%np! z%htliC+pbJW4@pf~;&$6^PQ7$Ky9t&7=}W)-(C42aq4kLNT`7e|`%fhLNW-!<&IQbBjcLKz9%Z zm{O*0?4%9Arv9D78Dxz{nh&rb_3C^Gq#s8mY*m z^F=M{s!pg{#9B`3#aY@pkjw`g88Q6GhSI^qT(DBQ`@7Hb;x3mRT~gag`1B>f&uO9z zKZ!bI*g|T#FtxEFxg_^SBBvel9FQ={EOcQ+578pT$03{MBk#g#y~n8vNNJ)H(APYw zdK;Kke9avN<)ptpl6fokf~U(kP>h`Kg3> z!U`UBn>EjWe$TK34&DFo_6P9yt6vqzA8==A;c`&hjP?cr$kz)2zx@TQ=d zz(~FD*sc5(q2UWNN1434htzou9Un|n18oKC_Tqj5nJd<+UZTH>W(fLfKD>F7pi)uR zl-%D39a8;p!94Qf&XE7AyWf+#ba8EI?FRKQ(I*MJ(B6J#L@WGy2RV}d`pIAUUrtmb zz+4f6HYWzM#7;r!A1npW^hW4Lc5`>k9F>^9jaJ_siL|7j2x2Jw8mhXrldV;iFH@Hw z_EQR5|)S4!LnO&7dS0GRAD@9yc zU5Sys$tyE#zu8?w4Qz0Mdq#M*un<6FGJPNKc|E|{R363W+eJl7%#`Z(Ksg4hdiX&x7f>+vS`kv2m4@t-EUG>p-f$(EdQGr^zE3=?)eGgqQ-V- z3L#fR<-{1sDXH`8f(_)WW06EOIa*sgXPN5eEkfh(r&E#NSgO^+qdfe9s&Mn@K>VNs zqeLs&z)`z1-%Ag~YR50L@Eo)8mzBP_D3)a4&uuzld^ee63~Z+@AY*yigbmwe`Z4)& z>@0#o-?#6Ivx$vWZ)xHJfW8-ximU}q$dFc))CiCu$nhl-=O#%NZSVR+AU&*P7(+MqODZYx>zT-5mjv z_D0GL*DEr$JlJ=G25AV|JGn&PEcbP?wgXKga?}Tvo<>#=+0h@xGZ%@jRF-{)*e)Fe z`OEIV$&1S7s!6^uexkz|NyPU#A6QJ|Z%^-%6iUK({_v+C3(f`!Of2bQ4UvaZB2Rnq zqmxGFmQQ=>pJ2~Gm{RqS)R~##N^Hj5jpS2rxj3mMx3e>){d<3-HfV>3B7ot1uwYDA z87BRZ+U)VW(Grj3c9ofjSSJ3`uHKKa66zS4do}(AFP&o}a+dvpWNqbW(bb~M%(-2H zW*v$BN_le6mszdasO$U^PBN~w#;Eni;M4#Z z3~Eb<;DeJ6hbI)xw}fA5w}2D1O>^B7yW9pRahn9Y0NqgCz2o;;WSz=?;PU60f{ zZw38j2C`>uqw31d0K+!ilAB%pOyoy|0Dl*znc2bF8jE7FcK&oy&3ow3o7BVI`?N_! z+$%=+s(T?N@>f#3`)0z9iE7OodI)mM=p;zfJCWwk4`M+>6}bD$KVd9-H#B4Q3#jVK zQS0~lTM}2r_69rkp}3t7yw7aTDQplUnQ$bL0@t;&Oq|``xUr)jH&Fe6x9AhVrnY)S zhgg9J>63)ndbWu1LOA5Q`b3rlJbaFk zX%lIJu6|xGuqr(-`y3I+Y=VX7|bwi0ny7LMkF1nuWF;&IqFm@9@da zOOOrcpkA*)Tz_eV^$_r}1@wPxeP%-_%d#+Jg9sXK`aaES!(O1l;r&_B@K1Q)gxc`z zohs@y6$Z+n?Qrx=!8I?Sm&9i;t>lbz_=yDmMU$FdpUUIQ*mKv|7>*w!4;+pO8&rKO z6Vx#nI2P|H7sKUw@_Bp%lkO}S{%5k%lD9Luk!Y&sTN$feY|w*NyVz)~2*&{T$eyXe zSe%Q%Z6!yJPv_&F?9!~5D|^x<$Msmd#07UjHj(f>x$Xqs9Lx3a?iK=rYMc_cClW}Dw%usfbAS%TZBY}&_ zA!stlM4HTtb4D8E?*Umo7NGVO}>#xFzcJf=qP zFUt$O4NhKUut5`S8PhJF4XPRNT5&PCL6byyC2s?L?fc-v^*x;f_mdMta3JNjQRJP9 z|8a)@r(?`4dHMUhIPUI86%F<^FFc~61e))4L+W`KLG{@;t>lBEv_fJmNs#l^(PPWv zr<%DKkzY$vUJ23&Wshs@1-|})JU8m<7k=SY+SgfVZ{MBf({3wL_0+7F<*Q2d^Xo}a zk$w`%d73Y{<;b#t9y^zL$Q~**50A-m({5E2^WV*E7+y(Wsb6*bUp7M4)^V*vT#bn55Qp&)F%1 z>PTH1YEwb)Sx4+jviWqM{Ul%pDGY7G+iwF=6UF~sRCz#xGrwY$mF(o(fvl!!Z-y=m!(>c z>+o|(lVMx^*QarsZBf=JHy#l+FXNm*`eQ|7BM)YG`CYY7CSGfUX4*^E1VO)|8ihYj z%G$s?L8D*oqyqeww`f@mmOQlLx5s8rtLqgQrV$ZGq&LwU8j#9Zi0!|1?Q z310;}x*Rr+NGgMX-Z~-oIxbwM$j*}-rzp&bKjnBQB<8f;vDGk8uBnsdQ zNm=zR(F&^Mi4zohxB)Yxp5^v3ZwRM!qDL&~7G41O;x6_rH1w|TH(wI+Y6lcp)cU#)iaZ>wBI1-G6?a^k_*0dYW_H>n5hg;nb zB?!GUKA#V$CD!9eun;tV&I0Tu5G4&A^T}47@P4R{IXcXsuTHCN#otcv?zd9`QF1*-G|KGe5a%V`kSVa^SNlJv=l;g)4omKX3Y08~15!fbAp~ ze=$@Jt-&l*kvk@DCq-#>(b0r;sfqJhy6?%jyJQX6(dn~H?atO?JrKz*yQ1Z*cCi)> zh+6wzpi7aTh9lpzt`MpRu|r^*%mai3!7FxG(V`Xy;>gtarCE-A_2&w_S$H{z?3?*yN z9Sh$t5noMk$Z~tE!8JtGe%<4H)$L(;i8q{`tuRfrktyWwEkI0DW>iTbiXq_RtWd`k zQD>;23Y4|<49}yd)obs*E2eOg+fT)8dl9Uf0WSZmyUGN8Q( z7^j=sLDk`J#C^WFyg_q$<`1i%g!fuPKS3VndDavy`&2qiV1bv>?2acjy^gqaSN#Jm z06E%AO0d`h!*rH+?nToggoZ!K(}Lf>)h$~{!T(k|so(yB`J+s>N@k*W47xUP3#JCD z?8Qu@j)D;3zTQ7_1Rg`e`;65geVQ(y((OU1namXv9?~gIi4_gv__?cs&W?z8s(s$$ z^EVGYLL#URw_vJ$uF9=W&Xo+AT2t|c^S#B-1tWdcAX@A+svY{y{QyQ@mxfb2y_HU+V^?bE+TBQ?xdYzxWh0 zMcAV)vgbO?j~-vG(rp*!m6PwHFO-;w;a>XLe_|as);Gt|)*s|@?=XzIUhC}BGb)CM zT)+R~cjf#E=X=#i-JPytoQ{!JaC8C`l3E+p|NKh=b-#Qsl8(Mt zVGH!*5*Xx){~~wm$tcqwT6!_nWnN8xgbM1RaE9~$93JvC3WSb;zF92KBK& z6vY=RzQR8@rfhV^@qBfOG7l0O#8Vlq{nbTUXRF(R7Z%b!`$xKodljSA8c`OIRUUw3 z5yHC?clgYp7fWVhpH#`CL5&=V55ZM*^@@Iu`uN4s#7)72E}z%iD#!L<9#2xyrp&&$ zlDoMrHE;zPxL|CK<4-fR!?w24D0fB1Qge5x%xm7uGM3uY`G>8|gbM8PdW76)l1U)xU8HWrrOrrbXzE8kg-hgr8~FHHmEuZ+Twh8C>x? zqD$=4#%1xwU<;_Qtx-Mf1_nIUk(l70p6*1j>z<~TrkX9@Fc$uby1#0(aByTgGFvhK zTi@hi&!63BY>HcZP+W}mRXH)Dv`6qfg7-`W?n;L3VW&Y*? z^6b69JMf(~$-E2?UYV)?O!?QSP3i`;pjroeCX_r5t!?z--#+H--H4+j^6WcUN8Ck$ zp#}4AV{8DuYH5`s%u!xhr?>o4y3+y(y-COaQlu*ivW++RT4sB-Bwkmg>#@7kDv*nS z2FIKw%{J(pScC|m;m8ly&)NWr8Tgb?2kZjeIm%QCSlWm+n|{*>2$i|0XDa1VTf1QP zZ^qchCt~7stuW$kXIxbSL6mWSySdF|rvm4yd^38kJrUNsK`QZ^(It(!-&Z?;VD|}c z$4q3%PmpMSnW_=kEV-O6_AfrfiNyRGnSZu`PYXPJ$gWgD+>;U+sdeX#u8h2H_I zoxtx1&luJIqDM`|UY~m0>rjp}u}<3j*t^+E&$To;#mXEnNZ7^wmDzaB<19@;qUF6Ek2K8&QIV$O8{J#8RE_3{wyvoyH5=N6BC_tLT(E@*XCK zr*ih^R~;LLzkX_&$Io+_PHCcCW6q|T3o({luu*zw?6HQp5XJpEoodiOgNAeR0R%Kk zM{^i&)FuC;D6acl6}IA$>Ne`m;cyvUqv*?0OI)HR`F!C>m_LcR`puk!4XJj|^#wd? zY5hQ1JU?Z8^I{N5)M24I6<-`HVCo&a$NSg%R80&t8945FFww#qSH)vU&Q$z=VF7TP zdqlX>@!4HmUXwu6OJ;I`(lE32Q;Ltc<%*d}K17w|jDG!%PZECo8%BsOX3@u3_2c)f zVHW%3_~k3J?!dF@epZZ7U&ajy&$0hB@x-w^oUx|YEmScYW4_vZx-v%tUR+oA`K(W9 zlj93s(meBH^cU=V{?!Z?eI7QZ9_JH*OHk85yNaVZ{dnOa3fvOW;P5{;*1n{XDa-e+ zo(~T|r~0zjIpWXLsl-c*QKx4cLtELFK=umj8xEI6-tR-)&|QQ85iOz-+@pZq?gh9# zFQu$uy6vOpKJTm{v`PcbhI4Sfhk%dXvnjLXIVOH{wws!AY)CJmknQ(0}niLXAJ zcq5DvlqD)B>V!75ra zZ4iYdjZ$#&sR6O+Nc{e=%f^0JE(+7PO;6Xcl18r%>vC9+?{JMTT zXAf(77RDxi!ki>Q-{Iaf6o~!5_e5{qo)g2&Q>`#yd1?%4g*>T-zSdR(-$n6Ha0RmI zk%`5S&t|}F2Ag_CxyBt@%{JuE@M!vm`rRw~Z@-Wv^?Rk6&rg2J%vIO|9wLN1>U%k7 zD@L*dSTYX$&;VNqLy>F%gr!WH~|2k7;Vpykgpm~Qk;((;St31o~)SE@m)Aqk#a4un;;8ZK#zZwIRex%HJcI}-men)u?*A#U>v-5}`AL+D8 z5~tfG%+Q(P_6s?~7i9sjvFGMQXK?5{J2M4{Xr!!yhb7Q+F|2;U>vWKUwp+ zmjdy_;SR|obII=ShX9t`@DEb{V&P$7gxn7{!w{vW9}1v0oDYs4Zmjj#Z&<0ISM%{z)Xld2dcT?IZ zKX`^t+E$FM%8T5U1SHlH*98{+oNIhd;<6~HCDKKUux~JQFyH%5 zt8!Tnc#Ef_S+dN)K1b@H zV=@md&F{&MMd$9sP!s!ztimW*v-tsQHQVpkS>yMr8P(J(Dsq;IsH~JG&sO%FV#Jfa zSRLDGm)fwq7@pHzE31OqyD^{c@n>!q>Y0RGfI&-(q!;5UI+yH;ROA+y2SJ!9{=9oeqlD*Ikm+D}34xPX#+;>15exm&UJ z?e3gvAD@p|LvHH+1btotgi3jYo(8T zeH9#js`E1KC^wL@N}47XFZc0LTY>W703eYzR#b;mU_>6js`zs#L780mx3)6CS11uD z97anOYg!IbEqD(SeeTkGL4mKgK_gR=8Ama>E&UEKA8X5d|EaoGX$kNqx5ADyL+b^< z(#NmnU%tO*gBToR9ik0SvDwY@#=9?w_ts?HaAB*7gBSqkY+U_ZSobmSa%M0w9@^50 zV^2akN`2%GsYO)pt%Si>vXhl5bVmBY@F>5Io0RfG-B+cposru&QNOMg$iZ)x9Sh7z3i@_^T z+=ZY>zf7@_>;1DzSHgEa8>OgF^vshiPbC^;L1GoB46eu0Ljz#vkW^_F;lGn#@x7&< z3)2n05{O4Pean@0)rCgxHUtY7s>2E5-gc1vCAOjDr<&E=>mzC(SMLcn=KEW6-8-4# ztpYQWJogi%vi-4eYCL>=WtF9@!?koQ40)PP$CE~V_%R2eu;Al|A4wMZa+xjgKuDY* z#%SLF#`|7!Ozi_1R{czw%$iKG7```)ijm*}IF$J>hO9RlmJP=VviN{Oz|XHzH}7m~ z{gJ?CdH2F>T*5jTU)T^XIK({pRCDZJu0kH%m1L%`mhbn#-t9xcgqa4;fK9)0G zGbNj*|NLe4swED$mFPO!(LnPX?|i#}%FkjpY|3X(D7e_SEj{R@3(;D$gy8hR)%2bC z@-IqrK%LGbc5Puik;o}EiSGT3r<_!I_LO|Q`}NwiaT{YtB$5IP$&Q59@%Bxgqd*4= z7V=1@Aa4blVOTzix-?LYEB5e>77k`8D;efBB{(m7;HsyZ?-KYY{p)f_OTj$IF2V>mBBU-<1_ zp6J;Vt-7W1&jr-!@6N=e6dd5VGW0WvahKJVZPG0>mRap?+_diYH@_{56Iv z{NS5vHCidx?;tdu@yq88f*3&2wa?Bamg#~KrLDXzH2(ooX;r6wGi}s>%FHdFoXd1K zq#3qMvX8gvieN}jJm`e}-d1)gvR}S@L^3|FMA31;ntb&|p(D!Eu$H|8Q>s>-8ct~D zUBdmo(mOkHLcp}VFlwQ|vOVT3(7FA~!nE!2e494prW{VZSWiyttCV=>vXK| zD>j{9J&UGrplmOvHi8}%wQe(;+*f05$SuBn4y-&RF9$m0rMkUPC5moFhB_tjxJy__te<3+ojygOF zyA&g>$fc&o_n^_U`arFQ%y(QOxoIy}LEoZM7+VK!8E|o-OkW|6e|4ujS8My5Zn5X^ za^9C1lhqiK=XL<4oPiNrK(grs%^bnLyG#EK_+r^-r}0DQKA(8-M8&0gN1IXg10l-0BjaaG`41+8A5_<5s8dt2%7FsURvwPoEfI^86` zeP2W0`ST2L8+PK=4!hRvvY7ls?bc8j07d2hE4*?I=61*e;ff3Q?mHU{$&uFwDO1+7 z?iqx1qGhEuZ+^EY$~(E0DQ;eDzV*xE>W(OvnlIx~&_@;>J{AMli>WZVKEV`ntT+l! z>3D5XXkE~amOwn9m&O(s-QqB5yvLX2nKM^mIxR-NaArH6~0AWvj^n z2+I*IrBvS*@|Np$Pz7b6wg13A)n$qVErrkJ>6f-L)mNDH-M-zDN2t%I$0IJ}@cE8= zj?ijrrgxiWf6U_%;-@4cMoi6K1gm4Rf_D_|&@gO1Eq zn?%CgqLpe*_&}E0w6C~wGq~d$CXXWy8U1*NL!22~N(|n(X_}iu!8@9&!QG5#5#=xo zkv!`O?6=SQe=oZZj>pAH;JcTTTUwrm`!**h>wl}nVQB`D+76Ai?R3&VKi zwXq(nUkmNW_(n*E2ZZRnSiRSAU14Hc=rbP@l(&vGbP0@M>AthVkU>?(ve^n#ubv`9 zW?V~|cd@O)lquGt9rCvWn=T4;14~ZSzhRz_&5{Jnt4H7E98=`EGFB7L?}Et6q!xoq z>^Ke7QPXlfsP%WC%Q;5Ago*M_0-dgFTpEeJZ{FxgFRoADm;jNvPKoXCNC#j`C&#>FX&j?X5gfol+?ybVEc^G-A(C-p=!PYimrobix;ZLr)8mI!KTaDHyQ#=L zFJxER1f2_o_r*u{3eB(o7aK!Wsa0ZFowV%yy|`o46j)?oRNQ_tdtatpFr&$0zFBnl){-A`) z+`v6=ZZUaGd?E!7NikhiRqtkmc;j1>d?KmfRePaByzHXQb$6KL*ypQxa=CEqhZ^%{ zcfY1u8m8n){F&@YfL)hKX-v^p9>>x=E4XT9VZD&=n^JO_d7yHG_Ma1p z!)6S9ljf&nx7Ch$iVKT~L^)PI4GE+kk;7L1gRGuWhhYP37te7Ags=PopQ6-h#D=|c z;M^O)R>whPwyl-Zh{-ON7XRU$qXSSHHRHOn%$xSwN4PzWx2OnYvT(JWkVvlRt6_Tey>c=1zx zLK3)4T1jtW8O?sAxDZQ+ZgB$I-{pRXvMUDH+E}WB_G6oo9}JNh9gJplJ%%&uGaJzq z>U7Xya|TPUrPAz&mFcz5ZiFke;KG`E!=%#=4_D7c@LfNWEa|N-L*JYxXp(*Q;E;U5 z5WD$4kz@FYi+VBRF#F}Zx!vs>LuYLfwf;@*_;}%!98?T>Au!eJxu7V8CJ063x?}Js za8P(ygw>VAMS6Fq6$TIYx=x`gcvbO~phOiEV&Q=mTn*&owu-i-#wCc?!7d~nJQnbR z459hZ)~7fWhI_b-__)LKre2HTrU208&bjI&)ghLx-#3}cWuQX@?sE?7h|W@;gEQo> zAn0&XGU70+m71R1&1+%*>m`2N&2IZBp8Ue;duR|H`XZ+ z;NcAGP10U**xkL3D{$t{1!LL7YsXGt(@e=@^HPR^M+!7HIg+Q4RX4_zk^@QDxaH*8 z2?^vIF7$@k94iUx+)rTRIhq;xz@qe-4jLNh4y!-ikn>A@Y}TVa#pV~t9+wzwLsJnb z*d(vGF&IeP^z&1ag?nT+K1N@+FP#2*5vF5Ny0;+p5{`oLHAx$4Nu266e|J`(S;rNU zj-1C%9&vaLLU}f#%Bx*<`J%`M1aOdHe9sI|lWXz26M@I^Tf42bCZc&~0*#vei|h`1 z9667;OAqIKV<_U=(<3sbCfVnG(0=tcXrzfEeU+7oG@Q17Y4j)&~#HB}GE zyW~1%eMu>pYm*p1TSSTPryTD#xmU%I;;?LqLk7}rD6c>F?7Mi$apb69X=~0^JAr{a zzreSs8o<{xkEpcjNi{gXCaw!sq00MvqJK5pj$`iiI5)9+BD#&Gdr<`cWro9W2F`!i z7ro6QxrG7OaECPR0VTPj69l0p?z!)!Ty|!G9fBdX>mP95)5T()A+}l_=JH(n`vFrS zU8Px?WkuPCNtU(x-w9(?ssD7Yf&?M@WF)D^UQNVBx%VFI=vNx#d%fuG8KeyDuS_nD z#WJ|d{}~?Yb>w1zt#TGXRgKXVz1-|hX4>(XhF51BrbT40nc@`v2?IcVcz4=P&fvcU-#AVfR7|?b|)GjQ~p1UYS#SIOYa#Wi< zDtqEf4?o!mkkknSSN}R}`H|DQKe4GwgjUF7=Mqwi?S-Sv8n`rX`va`+WiDuAO`-Ci zB0Ny8KYKtX@l*reMQ;}F#2@ztfAu`^A5R|Bp{WMMiqjW?92v9|+=9pPkkW1_gFKFV zhHD=odCn@Hgr(_}9)D+Q!)CjUPXp^_&54%>7ZdvH$?x~VHx-MEY(?1by5!#&{;=en z_IkY@3VsxBRp*W?R_7KCT9Nt3;~-K z^x%C9p7=xKC}56RQa6tdRr$0Ug=rNy)$c< z3uFuqKBKKB{T0oS@`RuC=~_Kfl! zY?pCqcAI^cJ{YK&fL|g~F8Qj=U+>W_o{{0??vu)l*mvi_VAgc%o05~9bSI&yhD4AT0U3vo=YaRe_P&ckqW= z)ds2qI{?C}7l)ra&ir_O5TI$_`7g#{HAe2Ivqa$vzciVHo1k`9TJyrCRv9ezkU@S)dC%M$CZuat51A1wx?+FT(ci39P4L}in~u%fdy+Z5#yHSz zzMp!&FLTKx^XMV{cAdp7^EE9=Sz;mQiI__Otz1z-1rE`dQ9j9F2jEzWA>sGwloHSE zO%cRvE2ocsCDMCOzbW$OJWxF7t6%o~9Z#$LvOpWoSLt=M3LNxb5>{J5JOsk099@A9 zwEQV7RRmQ20Z}Ka{Zk)nVsCY-%lyxjc4&G6Au{0mkdfOG=RYz7C`LSg{#NcUsAh` z%>G1&qtnu*Wx*FOJWjW;%4*d|vX|xRN{jQKG8Nt+Ul0s&5TG?(ZrCi*7bVlVIpjp} z`Z$B-J7Y*SiREbU^{0(NN;iO+_hoLOL%ClKR?;?;rlW;ekXD2XC+3aD2OIJMQ^g|4 zy)qm=zK`^p%tg(LZL=0qxbARoZoYI2JFF+u8tuaW!!w9O` zkx=Wlz9iG6t5NB|{QjKT3+a#;iM<(K_LnouYt{Hbm*NV$&Cg^cPYq%#O#FW-_(q6Q zpmg9W^-lR&p-m*&Y4aol%6Q9Y*cYHHYwN~+j6;96J{V&>KS?(-2( z)9_Ob0Vex^C`p}Kb!GKh0#yN`DcI1Sn(y75@8Yx__=~t|3uN`trTmh0vpPhZ{diu_ z4qL|2x29V-OUg&8Qnt5Wn|Slj57rP4<-DFKV=3IaMcIG$C_mP!Rn_Jau!J?w2Ta@Y zGU9MoMv@`)u}(auX||epIiqNT@ASw2j`jYJE48qx8!5(Znv*pj7-C&!;U|AelAuC6 zR_O5fmZM-Tn0W2XxQ5rye@K2url5O>$3GbB*P^K&u5E3d8WZ@|rX18IK^7z9r%-K; zDPp(HsKF;{jC!+80UoGgeCw0VB16+K7PB=S*!yqgXZ0Z6YSO~XHVund$voTviC)5JW0NB#`qFaQgh&I` z7Z`bXyz1>VrasU0UNMbuqgX=gV}l-nw%~UYx2hG_-M{kzsB^KX#NOMresV3C01L@| zF)rp!E%Mv(o4=+L@7KKSUYA2}Fr9kd(yN{Lx28HuKhJ+%!@Re<(-zWP-*;h24FzoB z1-);<-rgZ(YJtM@P#sgdhh;Uanx8$fYhD;}f5rPvj&y+FrzcJ4L z+jS9fJ(voFlQB+mU;Y9W$>%|l__pS~pWljAA^hSj<9fBTUK83{t2$utNMiW~V-o+} z*$xSvj*6xUEn^!pW3D6ej!!%@%UePQDf&CaUB6D?1K=h!1PKu4-B&^DpM}+iv*_f} zA=D5aX!33Dn6Bpi zIZ)o8P+BCjH9j5QQ29)x@FSoC$g3QaR(xRz`Vrd_+lUN0FE3j82W^#i$3q9_b;Shn z9OJya3TQkhCxZU`wSqe*|7(AwA5Fn}V~YS)Losi&AJEovnCuJkYi1a^zdCTeJIR*lE<9@b`CEV@ zB$8Ebk88Dh!~S(24sOU0oX`OXlprr0{oJ#+mutd8@@f6_At$xFY_PKw7@Y>s-Gy49?a%|DA@5rY<7_QaK%Wg8EE4`^2qg|Bum)xkXag{uG1x_fA{v0U z)V^v2xq7#>lE-vnTc{f68EzT*1ea_IzVGsrP!S?E?0+IVoD80ycH8AXi=B07I= zE*g5jLDQ7Uw(#c4p*U2K`*)$WTCx#SQ5S(#REoFO8|jj4983Pc#=t$kQcW=b{a48? zlMwK~-C4XYfojW^U_SLFR*E)D?HBcm?CWiVwEKA#ieRDJ$|V;XjDGdx)jzeRk3C@;U%HmRnQqvGAfkb&7Ox!eZwI`tb{&10t~!iN7A|; zM-Wzx_&_}aQz|4sFU+4(&`75*GKW&}flSHqL-_p_KgKN%s~_6!Rx=86$l=}M!2gdv zt}`0Ws9P&T7zWXMFQfM$`sg)7^e#jRQIm)ko#-{9B^d@05rpV%5Ph@|qPJ*abfXOB z&Uf$qdDlI^-gSPw>#Titea^G@eVonrmGMa+aGb7yEzDU<8F=;$p9BrvOgD;S6&#Qmpil}H)`qP7F=+C)R%Q0kx~w5SN7 z@kwk;3=bXt^#_Nhb>af31q+f0dSR#;?Q86@BCcD3B4DMP#|oJOD8?rp1G+Dc z6Jmn>@FZ>1MMLJ)fq7nT{FWt+@RE7-SFd+$74e2WhYD4|tZthzAW4%It1d~_3&9Kz zn#nI~)8`&Z`@}~JV~IpYCUL>I|5?<3bd{#tv{?__j8dc}Z&L76s--)M0AJsF@K&H- zZl^%D&~{3R1Pl6^M;vc+r$F4nf=ge()lMIBE+(0Yrk1pw`Y$kY+C5=j(VMZp8Tt6N zv_x!Z&8@3X6W%woh{u^;-wYaqRgsk711FwUi8Iz3t?G1VFcv{g8z@Ojq~t?tcP|W& zHRE3z?mi3T`OcLi`HgL5ywG8K61Kjn01G+ZJe60Nk&L?4{B*!Gu^Ba!s~T<^?9AY= zBlEPthb7=^d|jvYvDUAN zw74Hj2gK2#P>6`Y6t=S)?G~?&SUWD!Os#c=*>WONf{LC^~>P-v58{dXSuzgb2~Yss(Mg{;NI zd|WPB`bQ}8cRIS%K*G%aVe{S8Ux^B@r0_#jR2;8>bEUzxsg+V6fte$|8QhuI#`9Rj zX7`vvi1l}dC)thR9q%Kyio$=Hqmvg@mQ_NdzTd0+J*&#C*dxo;Iev78`j=2J_h@k*JqZ_S$#VVRaK*a>y0<=96VRTD?K6WMAh5J1NnYZU1*z zf}9WlMC^~hwR%cs(0TGbIcO$;SKzrY&h{39tN3Yezs>> z4RIQu=!~Ft&1%0#T1DX#NS%8dv^xN5J)uB}0-X!LYnASyRE<9>Yw%H+XOgG;K zuLyFq$WG9h{$q*6oG2B}cEr_<-3&N0WR8Y-;v!86ZFBbilZP;d)6cFmAKHvc_QvXhY zAsd{hg)Bg|{=Z1C=7Nmn4}_P`A-lc<#RLi_4zxC#q(u@Fw| zzBg^Dx$&04HPP8gSF=q}R$+rlM~pbMyXwKGlqbvDKjq@yd%#1viA2p!Vo^7ge-0_z_!{M#9+9tiHmwrg>hH+ ztPUg{%W1qSvdS-0U#Ruw^koFC%vN|cWi~1ataZ0-_d+dN(B@$?G#)M#A-af`2DnY# z4nCl~;Hh}*M}4CHo=3|$RcZELA}!k?Wmn84Q&{IU=p#e~k0xVbK=`0by>p+sGy_-G z5fE^cITN|Rf+QIl?HIMc^kVi)#VisC%9(t^Zj}b6m#(>F(FKglx)xrl=ho%!D7N!% zU4o{SW_l#*B*@e@TmhAN?`ej!MEt*I^~QC`HZrW^!@lqlP1w`gY@cxC3)qLq3*W@?hUqdC9KozC>_U9uew z!={Jr`zoC+Z#mFyhUxaZ@@m)dJ7E)Kvg7eD*4xIF)E|Y9Ud=rl@7MKT{%~Vp6AGWh z1P0IdrP7s(h^Y^E-;*5JrZJnBNwMjrjqKM`7%F>%OXN0qG%)M5MA&svb^4ee-FEhq z`@yPBOT;Zy>y;OqHk4T9qyh)M)`qcD8gxx!|6%x|eP->A$N*!H%Mw5f_PH1&_4^t< zI$@w_e96CrNq1fLB{j9{!K@p0*mBWC{Hd!Yu@)gN5lU{!OV0V`d-~(6K_wgy$v^d^ zF3J0A|Erxh9W4=$d5hrD?XiCkJtYI)mkzm0lD5ou4o!*aIbV!BaVHtPHO<#cZD zjwfU6KCZht=7Yt!Z5kC4 zK_(*oy*ojf$uFZKVjB%I;^1u5tEi0Ke#O^J@qgmofC$C*Hqx+O+Jhg*On8izE-QBJr&H2<6?-QDs5ke0{+gi!&_&+B@^(gM`w1zo z{IFs85TCEBd+AiWF-YE@)OPVXGowJC^JbR7CT{+Q@SP0BMqJPruTaL;3q4n0mV>KG z^8D(Gt9Gkp31iyTAoYamK+95w7C1!J^O9^gPPO{E0k7TZcd>l>$e|q-RWpVJWG=0=Nc11w_sx2#*+vlN|S z_o6;$&ZJSv6q`PrUJjYkQZB!Oab2SD$ZU22u7)D-Qv?Udq0lSns@%iSQ1BqQfzi z!IsE@MIAPxO07Ew1CvjNPYAsQO2J2_mP5J1qN!C-aZmUkXm>kr7ayt&X_>Cgv+7VO zX8c^8!1eRwu-}Sqy3p?;w?s3kPxU-jvUgPaVJn+DfbYyToMq2M@^Q{}QMOkfLAKLY zlx7DBg@+~+yQP(f80`CKCiPbDG)d&Y=uSz`vO5kS$j4qNiDtz4m>?x_1(2G-SUG%d z((y@}qh>2-6Znd|FuR$s<8QK25P|wqp<&dz0-GpCIOpFoX0+7t{W5)7wt%c%JWxa?sUKRK3q9B-TorMu+X#U@sK^uS7f|ekz$4+-$=mRC)v^t87 zOS!fopTY00&U$s6oI3K5X2CIDV(K)!01Y)lGb+f0X-nB(+F@#drj{7KR%Hg239n7$ zTLx2D9w#h-k?JQm07A{{-^&lU*$8ec|NPm#JhWa>u`pc4+_r6LYHDe!-u&=9bj49x zXfc}~YV{NR)k5a9Z06we#FR`#qUq{*dDLEsYtJJxDUTVV5{~| zr}p&x!LSYSJ0U#jN$+@JK~#QzV*JzcgipQTyD@%~H(Vd~z*Rl(`}zcDYvR}h$-gee zoG=t6#rI^z!?3pX>?V%_qo1Q>;ILA66Fl>R4ruaKw^WTlYWYczPHifTONQ>Ew=ykP+mmc5+YehCDg*riD^p$wkCw&l!h%%3*@HRCU}PZ#Y1Xj;{lMM~w+j_*>|m;U!Z{T}`U`ki9k`3tV>Q zbZ0QQJwN~Vmk`0#e>i|mm>EGkO><=PXPJyKA*)1*LWB&{M2S&^dW8rb0gvqB_GAd! zU`hQLu<}kJn8miB8!?LDm^`V%j$VAnd&-Vsq`O%lC?s?&2`S0M-)Zs2Z#Ub@BhImZ zZhNM{e$V2?8v7^`8PYe2AOqttiRo|^0=o7f*pDyw;PhuhYsxfHT?7#t!EIepzrMVw zL(0a-2KtgNrvG|>5Ys<1^75-AXn%S0k$Ej`*~=x_jbqyq=Zr(RS*tX(46FjEmDE=a z1J%lg#EU;JvRuYV?Lb-IfA4m|L*A+5Pp3hYd4)Oovkws@`>7!SAH0H*q6p$R|H~F| zZ8b<9jy#TuY&!{yl-iajvxtOeow z#|p$wN)k-XMDp|?d{;?8pPEvtkX&Xu%>Wxv#Be`?WwiVc!)x%yIqvNJcK8+Ed}a2h zCREFne>#oLI4!4`-uT9?lhDVbw5O*s&cu=go53Ta{W9>^QJ*7g;=;+IMx{EtX!>Ny zD+289m5mEre;Phf!u{*L%o!Rq-J(z-+iv8&a)1a$@O%#+%Jo;6idw5MS5e((i7x+F zW*sMlujsB6;Yx7?IP&ve5eBbP(XK#;m{;8qR!$z?*ovS2fssa0AQ#Ll9e>(Kf7_l) zOV=+SKQ;3c#rM(JxHCcoL18NjYli|R7s?1dFxc+vnRu@%4#8PS?O2~u1Ag|ta& zgn~vSN1WHYWYM=?Y8_-lS}FXn=-d0NNb+rKj%ESYh=Sw^@8>;`S!N5)hR8(}m>~E)eC~8* z#IfVF>GhvI)$XGceja=wlz)G=oWNB&KIh2MCu7#;uqbin?Vv-K+gKa%W;B;1xCc1h{8H*TERezBbPUZGS*MMcWf%3DR$h8M#dUj1nNDbi0_3yKEjn z_eG~4`s;jW`;~E+lD@11gMD93F9UDVu+DomzHV+W|LU57`7LMKGH<@k??r)HH_Ag0 z9bl|_P)I>fQoJ6`BryKi;^G0=#aT*W(!9c{I&K82{z(SU+_0UuDc@SvUr?xG9j*Rt zvc13LMfEJ4g=OFymKBZVlfJ4YTz`r9{aTZ)!s990N3l(+{`4C6GC+Xkp0_2C!L>QM-b zdF;#sw{B$BLi65tbOBT>>XaH21R)Jwe?VLg^G99ugf2{G^#%>3g%X_uZaR8ivP9le zAC9<)_=(ms=CPpJQUdTbHJGxa+9HDyGYF8!?ix*$JyiI{d^N~JZ$q$x@6Ij_qnm82 z!0?)oJzh_^Qi3w>y?{#59m@g3l`M5D6!W}fv1mHTBe>$M zDTS#AECX0^qvSj`Cb5K3-=JiQqfV=wNj#`R(=?2EbC)FI#IG}8J7ocM&RWFQ*rdk9 zqpHi=l(YWhSLQBaa|hFrAC_2vM7AR7BIgSMH{9QS`6R&K4>hLeiH!I#;c5I+!5(rc|ZSm{dd%T8{^aI*5hfml!@{>a#<%C_SC@lDf_w$uj=i3m$^^?_62F9Y|9lyc7G zU_dn)&04v>jk(EShW9OZ0|@VFBW1F4dNa)Kx9AE`GhUg>-NU{P!mktctdwEgjaZ&( zIQ1yGJi$5r57^A5AZN|9gmt*`u1`X96_4g*L0^xy1+ zCr2im@F9>@Zg%)P!J-J!wZjqU(VT(cKzJm<7`J=LYCYSe685P_>mMr_Z8kZI*PX-R zH$>*FHUW#Fb~Hk-;gPNUW*+@b@L8RojXJQN8YXiOo8E2DG`5xK{^diW1AKP1CA25m z?F$%eu=zA8S@6OVK`e1g6}+8`G#k5x}nS& zd%psfXW)N>;9UK@cK+;@cHF-`1yw?DB^GZw>p;_GCc77{Pixf_@#hZDT)qUQRYCQU zs?ib#9Qj$>!P-z#LqwrL7uzzEwtyeAe>%5+fz7X(408yE;d;;7mCb$A3E!HllLbh7$XD220M6i;CFF_j@ zias%tE-uGi7?G)lFTFw-tsPq94pxz~F)RwmIb(j-uo7Et)h`Rr#}7v7d5)+glX|2^ z%Q%n>B17U5@cs=bR{T~{83>Ipfi)=nrr0NRfP6dCFgd$@qCcyJH>##9R$S!91njrf z+&$72IMO&VFJgvjt*5dc;uFmq!=WvSUZ9I#`KLv0ZjBTLT4?`kX)uVyZuU8080EJj zE6=AL&ZRY792eF}gg{{?-RraNXDS*YHQhtt2d>X&-Tu#9uKtd91ftfq9z5*k<`zE0 zo%5!nN@OTGzc Cu&Iv# literal 22336 zcmagGWmFqc*ESpifs&xX-GT%y6l-zU;uLp^l;T=66n8?ABE^CihvJ14X@QnvEn2i_ zaf<7kKHqcS>s#yn@n)?|CbK4I&g{ANzP6pj>1e4Cf@#430Dw?URZ$NB0AhBrh#uf# zKJIhss4yQm-tuY&4=}Ib2lla;@Aw|7Cf)!5gzVoN3y_mXjX6l;qh#!(@9yB^Z{zhG z;P3Cx@9gH{ZD-^0oZsEcF?U~*764!ds42=B1mx|$^KWA?{28-k=B2O7nRKGerS{m&IP#=X$EVodd8w6&bCq&;)FI3!XVFFvUrfP#OU}v@A2MZklWXT zko>>D9(kXA+lBj2&AHTkq@=b>6#V@E-jsdR(O1sh31@%5K>F_&&D7Ia<>W3pR-d)L zgRYtt-T#d;$=x+R#qba_oF->+viZ5(<60bjh8Oc4*qB347&E{r76^@SCafh;GVn8- zm>ir4kPn!8fB4q<8PE;)yVFK!)yQYG1)8`jAki-T0E-y=wkjZxHxqdFa@~&BF3}k~ z6w4eU44d)=xyin+rFX+^aSHF=1(_SjUDuc`zkRwAu68+SEtJtYyrTr?m9DSi(7w@% z{bi5Amd4ecKWK_*lgxx17pojgp|^n&^5t#njFs1QQtCCz#WtkT9TiRy&ad=+6m#Dh za22fB$es5}bM#DiTFTM~X5$HWU@+c;DU|LS^|IEolQjcuMoU&6&zkzs+kS(;-yM;S z#zwOj^%UxQ$-uabSf6qK2~R*Whfs^loUkRRq4&_)s$)|?N0jcl&hl%IU&MW{PWb8z zj?f3Gql_@}dz{@jPToY&>hmJ%n03gm%R}gAw%%8#*rM2sieNRW5(BBo+AwUrO(#8ETqkRQt#uZO7SCr zIHrW_`|L`{KpC zMC{0T5MUY>I{(^S4&*@%{Y83>wW<3yME6F%zsM<4f<7QQKsX5Q^+xd~^%pgwfP_c1 zuq~df@BCeO4`=8+{eTgW;B!=gCnD=o1J~Jmpq0y*1nLCE{F(2 z9w=|)1~Ya~14miE%J*Llz92vHd%?#BnZQ zH_x0DyC@D*`j3&%PfAJ5SmnZ)8>!Qwyt!BhtopwF)vSAUIHCB7KaDX*cM z#p9mr@->1#%V*=HPl3`k)>i8}3Cf$1cD}?*K>)hK9lR&4r#v$U;`Z$U><#-$YnI!L z$x46D-I36v=b$hDbXGnc1wedT@1(d4p(z3ELUxIFVRw31{9Lby-EUsHx6aD1`#%mB}}O_KQs5VDc#j zoL`F71_asI34?OwKJFfB3M}r0Ta47X8^5LD<%)axQ zoh1#ZV+802WK`liL#)0mT;PM)7TR6?Vgw|%8nmeTvy~0#0<_4B5j9s%RY<5 z>$}ucl)j|WO*OY7uRaHPA-f`~fzFvgBBJSogfV{|9qTZd&$K+a|FwrJk+NH~fWkeo ztS4>(3ur@&9Q_yq*Ue=sEhL4D%(L{|UKfq%4q6;>bQGL3gAU2ab=ozY{`!iaC9BH4 zVli)G82b=L#DkB4!XIJwr~_)@zCRvsnR(0fD(#VsT~MUP28 zcJHP;GCzM@v=Fn>hCB$gG_F0oVjyOu{V*IrQA}q zpZEVSmuZS{eF2VvsPg`?+Y=~+%f^DwkrKT!c;kYhs<+9XP-`2L|7E^!tZI)10l(w^ zPIG1_l~pWgg!TuxG++;7AF?$I{8b1rB@b10lAw~s=1;?l+mxawU6 zR^z=3BW1_08dk{IiD@Y_@nY7w;3Fdao8x%wXWKCj;)%>lBjYkB@b^wB6!@4?IF#mq zItko|BTCLM-(+uhV29!CD_6R^%eG&!*>nqY%LH+Hv6&;(0ZVkDOQfZ5T@`5na_eDq zapfYs5ffLU#m%jSv?qUcotKudwMnvmFhIMl=&pQZ+Diik6tmAW`~HdUo=p#Mhnts- z6To)pc+7_%CL1p&e0=bF;$lBadDguc{fWzPAIcSb(A_Vs#b$&BD6M|_-Q`!DIS7#M zeIFv+D?0^9}3CHoi5nwP$0(!M|y~ zi!b8>sO`&@x}P%}VQqzjhhYgn=n={rWPQieBa(iC6QH0D79OPz?Od$7n1dzT6^w`C zKw8u;hd`28aop@BSM4uEf4g@t96u$ifbHd=f2%&IOPkRq^aNNd+B3vn%@q8K_Zu)y zHNAt;`-^ik(VuR6+ZNnwBiF4pv%mava-Q(6a{(fBUC+5p!$Pe44sYGojF<>tzWy_$ zE$_QhAa?|$1DXNDy)yw>nc_orm@{djAei` zSnPT)1mtq~hMu7JTo*8UWAdZ2Q`9F&rClIjC*Hw-lyQ zN>$I(kwt~-e`=w-7|kD!?u)IrAsu zzQYFp2%-g1Sr#}=LMS-6v($>hIErbxRr}h}$^N6au?&vkhKp?Xo!Ah?g)_+7*`9AJ>!J%WOuF=X zmGF${nn6dohgK)AH{a=5uUkgGG1*oEc~TFH&0D1)13;$A?G=fIn9h1XRc?Kq9bz(8 zL-3y;@VtrvyZ+h5`~ykI4URbJjHu_0a|N%5yD(v01G<}bEco&DJ1`~j{WNN1m`1czn;4;J3%wl|Bx|GdXVEVJs^`^AG3t*5a*yU8Rh~W?Q@umf zOH#mJ%BTpE=p%EPhrG}znrl%EuHy|P$d;|wb{46!cf>&Za=o<6TGrlcX8UnKV5{P@ z@VeB(8S={$ciGq1e!_v~5ID58IQBj;UC|NP2*}fLbLfe6Pu;#;a?%RyPf%SB#W$CI znN&fkQFIaQqPNo%!@A2P_bhrv_3$;$mGN@R57ED4yHR-hJ8bN$EMB7`S9{pUAs2sB zb=+kIsns~x-aqZ1-m?7lx_0NU&20m^E_Gld;fFLX8|=GJ|S-cklSreJk1%A zU0bS4mr51c*skvq%;A39PYJ*P3eTs6x%vBNszF0te6rLJsJWMrn-9INFH+Z^6L}fF zjCOeWP3^;u%5^2S4F=!MPkhm{Tvng9gj$`GOu!;&sNsyen6=B=qMBn2M(^z?9|y9? zggKT=JOpQ9V+4kIhX3E@t=6!;>6erR${*NxA9_8N3(dikI=%0{YZ9t+oYJM!SFs5Z z{LC>XpUEA@HcJvrcrab;gU*;pHLV5JqI^WVr`BM{n_Wf`Va40N&M$PKsLGnLm?;Mw zPtZ{EXF_y}sguxTuwxgXmG9~<88c`27z;*GzQRxBG`?AC@N!p9D}QY z7LxV*`;PW^FIcXyb5jfA>Szg6HuLR$(-#A1)xS;72E_dNrdc6MhXOw1`+3g7RXO!^ z?T#sgM*5(6%#*v6aRz?0KyBwW1IajYEotQTAQa}a(Q@$u3K>`901ns0#a;QZ--5j%2nP9S$)fy%BK6z`3 z^q>2W)35wYPKrCC+h)cxSKN(+E%qA0-(AGj`>rj;-HgoF`G>rm7VkfB-Pt|%sjFjc zRW)$5lS#+DmL11a<5&~JS$M>^F3pN;a2;Wqv2)Z zHlR5Z_z)o;u|VO3;|=r_X?wCZFO9XHvcz=3PCIL!2wgW<;C+~n+ns{5r%;iM{y8Xc z#S&O#8Al#Z)w{%pK=ob8U`dT7cpIfR>_3B{M@xl3%MX^*Jv7H44>ho;6>FD76F!fX zrzA9Q%YC6Gtiu4CT~*Z_J1;sN{gr2C)chpR2dC6V9J*D&T-uZlSUAKeoG|p0td`vi$xz86%Pl!hi*nLVJD%P zAYUiL&&M^^d4zkl%2M8`?K^E>qu;AuM8r=BNB&+!R1xrN@W@L1l! z5sMR8{-(gP?PCKcw+3NgvIZQ`S?JhB?}wF1yi~yLotw)gWmm!j9t&Z-P01v)dW5x* z&^rFNon#dFu&i&)6pSXfKI%W_al)a71KtDc*h71IdT;B9BvVb#S-AOv6^!qgkLKlV zv3#Vxw0|LZ@nu+hz?PIDy0l9@g;`$0y|k*KsfW*epS0!(2Q)R0(Z$r(e`{$YoSo^dSabp7L z3ztE)uR4bUtKT(*T9j0mY)A8Qm~iYl+kX*%8LnJSs=^}I0;{()_7{z(pq5>^yfg8n zkN|w4bXua!i_G7Heb_Rw>KXLI!;+x9a1|+8F3UK@OVyJivWVI6paw_s4X~^nB-?NP zZF`+raAciW3H|vETPGoMhjPU|rM{cfgNs&*J`radk1OZW09H*bFZZgDbjek9W>f+7 zh9Oluj4<77*?Bp}Y3+mAMYn`dNG;*ZSY=rWW}aTtt$}vJz;?Ij*I4C1|H4^ZXI$pL z*PTwn_pOPdDXas}ryFZ^CY@kmRV#XfGSal|`pImJN4}6HvB8OUZGFBAJD^=r~m8F!6n7Ip^-ukznXvZE*Z zPPDt+pcbaY{5oC-mV}9|A6MSUQ)k*hhuqMg2Ua?_KIkRA%aD1@g(^5cI?q)ch{6m+F^M(D zH8b`)RDhS>Z|c6YPkGN z=?4jqi1T_GkB3msU6up2y|0Up+g3cfchUalnuyU*Fu$9SD+D@O#c0in&>gXcN~6BP%lrj_nDOQ$tBiLKH~{uc1HC^Y|q)% z+Ef_z>HZ}LebK{?B(qg_%f+Kw~VWD_Z|*m5)rCcTp6R?)FSCwCC)H) z=PrD1Qyle>U}inha#0j9#yxYZXdw>uFTuG%p%27Jsl>37y8UoD%I64`l+>r#7=4rF zUY*AjQw0$>ZYSZW)Q#10sxx&la?_Y+8P`GzhPardS6U5+3JMk(l1}_twalAvs`jMC z>EBaze0~GHPS^@hkE$7Z_r3L{(>y4tds>lZYPg88^f7<>GtuIS?Fe@^?~61pyqlzo zCsr(FMWjAyrpscg=u8d14rQ^J^^G4n?l@Y`t1Z4Z*SNdDho60*RW*R>>ffR#%2Zmn$Dy`k>sj)oQEgqYhpsxztv`a`p2xiwmG z2wW!eZwJK;9vmMsDBznn;IzzY5Eg2eE)#l`=;ynYZ(v*cHvGFIVLEZQfl@bQOe8U0 z>Sy6~&?7yL;pZ}I{sm;2xtI*-AChX5MnnFDBHPCy<6HON9nL=e1LIxv&3)+%7XBSf z3`Kf|RdH-Zj@4~aJfe`k37nyAbl*8X%5`yoeBihm4FZbqNaUUGGj}Woc3P3MQl&HpvjB*(DjhvLA)v9-EH9e-0I-xTyOvK> zVVkNMG9tHB{&}UPGW=;1-G_GOTN-(-_&j#A5a}%iU8XBCAuJ@le|DKmX)oRgfQ_C% zFBv>xPxcC9Ke}!u=SKr+v%jlQLdUpTjo)2#4sUH*8(eJJ7-(H^`|Pj(h))qGOzIF| zH~IvRd4qgjVkN#0^rC2iN$HC8d%caR9hpjJ9JvR>%QsngWLbZqiL|J%}>~KH(pyr)t)vZ^Bo~8bfR}3$2y&KE=`p3~fldlth zE3y3o#rc|i;qR|P_mF+v(Q8LPZNzTmxB=pS%RmB!VgtCX;V*j6@QP)-Yv5Lh{b=RY zp_}`qLh(pmha%_v(yiCSTeY&UGT}O!Uu*^mo7g-;vga{U>nxiS1h@mfu=RwP&Tb_H zcO*IaWS@;_$+O*CAhmB9mg(2rQ@*WOkx@ld`ly?F8AwsWY1bbz4Pe8{uTE9ug%--y zXy$uTB2Q`Ke7_bMzpfkJRmdUk3zhT4p4Tw zzhRtx&CbHgpYz-+m`t<3>m7h>;T#eD%#np zBHbg7LG4BAx!vT*%b>w{PkM0dH9dY~CxT5r>~k@4op?<3?6BS(Pm-#3z;A`VfXz%T z0DmOEg7}LGoj41M!KTMQ>hB)`I1b&&P z6^cJMHmcht!Rm;R4B)Gf`XdH-qDx+b^iq=|g(R1GlHk=ls?9 zIBPgi;5-eh)f?OoajuiT`!T8RQ~Z9rdi=S#B@b?D6g&0et%{c3XUCu8sW$MWQ`wU1 zt%2LI)O8h(WYq_I&TnJ+6fA_M{$+k$KP!4|wk{=ZeE-K^AZJ1Ya*_nSo$gcb^}AT@k3U7j0eIY89S)v~0_J^#>C>nYy;lFLSy`HU@ zN@-efI210@>W(1_ei~qx`rnDI791HRwTMRYW(LGPn~blQSpzShenojx1AB*&^A%Q@ zVq6Ywcqv)WUQ(L2p=s^ok%K|)j0Nbf_WDoqB*C)2LuS`H0DNmWC-n-$o7DOSp zXscZsAD%y;N0C*GYw;bQ~6Q)&at zGr!gJI!+d=t&BmRS9nmILaIL$=$~l*3dtSUHSo+)(XFA=iSRpPSw70{C9GYVGjGC% zLMvz+-Q`3N+0_MB1E`P=+MlEv8y>m*-e$r0q&V>fSstmhJL@N~9y25U*K0ru$`rfQ zn8^^2KEt^65ma66g>L8-jeU8=ZKUxlHE)hf5o{v%^Yt*|%kH(3`jJLJu*}gd4LK(O zswxq4paR$|KkKCP>{z@VO7ffm{ESeAl;JM7s=ih3ag~2*$`rBh+s+lRheQTI5s>&mXR z*lq+%m{=imu-_sj@>BO#)HQ4S#vQG}A$xnRKsy+q>KsQ77=yHu!dZP)Js9Y^d!ql0 zs#L!QFWCPSQT;1P`$_pm7&TI+ir<0#9H^;Z39Ju$@wgH|PkxuIeUtwT@Mq}Mg_8mR z-AeOpb`{agbnpIRSl#%#WoS9c!zSs6iqc!3e9brZAVG#S7KTBiI4MFxu zxnna;0xx%%GG*$EAMdTG@T2<1J`Vj+=?{)K+6m%63Xz2F#;`;!HyO+~Y<1Km*j@EIJ9Mw?CZ<>w2pJKAAi7h#};!OA#mi=Jat97fG zt7%oy1>J3HE_%`>Li`g>=uV4*x}2~~kYyms;qcYxBe`dZ_Dr8yiVWj>faOKj=s2`V zjYnt6Q_GWF{16>NQJ5AX&?Z^im$=QU|;% z{N`xBbjm$C|7Xmjmh9x}N1G*6qs%hazEtGjF34=zHwaI7eHGl|eCW{+SAz^=X-h7C zrJ2e^{6fr_s^cB-F}Lh1eyU9=o8#50)fk|jlyl|-S@V%obkoK+hEipp%Wd4qIW?yd z@jt=2Ai>Y~MWDu21B`^h*$Lk&u~U1(`0R5mp!i8ltp0r&PCiXi(6mw3QfqB{%R9@N zGjriNv-laY8^U9Xy7+3`Ymy#SVr7BhgQ#_i)FokCE%DFdYwlLWNtDD2;gRbe(zGIr zZ%t)DAbySvlp~TUV5nY_7C)7AP`ev+2!YW9_=z{6aJijSmkma0X$|J4Gw2FEk>XUc z9G5YvwW}9Mi>hRe035QHaZ!T@cB7|0lK>>$j4B9{Eu>zCiRX|4;$vn2Nn@>wp4gqp z_w|wqwR>CjUB*t+Jb8AFd&`G3De2wH)-u+_B|5M7FF)BVydJAdO4TE=IEUy0OJKxl z1z3kV#~=^#-9UKY*~EQ{zwWOkX;Su$?Sdz*M_V~sEYE~n<$FVXkhiz^@BVVxzY0ta z&YB@F;i9p7B3^^k+<=_0N?={;F3HP3rah{Yze$U^DMURvnV?C~{7%gFsh|We9z-1- ziH1}zaiXYJ#0JZ=>DA7alDei1 z{t<)@JdxD2nO3I6OJfr3@tZmD?gxe_z!W#4{w8L=!6bh(Vgq41*TvpJ97pq2_S$AQ z;3NW0B+rQq3uQF+;Jb!HUE3wp5Ft$Sn3?vua(LvUvBy)a2`bo)@zu%uefleHBK-}F zOT|I$!tESqn{g_2@5wf)0+2JbKS3Er`xIwER1GBbs=PBy9HLPw(_CJTr?SI_LZo9e zV|RT&F13g@Phgj${W!v>N34w|0w=8yFQlR;9v$huyI8chlkDiXV6OX8F=(9idNXycfcSwZmHRW@Ll%e)}?!LhO1FLXHQimAE!5lY32on4MQ3GmNkZ+9?my$PVIp3?MOa1Iv=*QLCvV~->BqBxDTX{@ zsu3X^YqokZ_;jJOVx?E~^IN5~mSLP3`p?MgiMyO#7@zYCWW5IGj@o3@aU(W=LfP5J z_^KttMpy5*h%&P8D(45T$NJ+Ag1~jL*p_SR^$;tjbra(%(A5<2NNZTyuWtb;-HFm{ zn)zlNi@}irCPBKV_)i_3Uh;h|s!Tu7Z|nDw3gqC)rktZs`$890MiZ)ecVdR=`zvQN z1xPE%pINB}WaMV-Y99YxOVQ%YUPyqBC9`xZ|HI(p)N|^K%FyxkD?S;W}##raM1Qi#$yH9ODq#}nOTv4 zlm@W7#aGSMq+R4|RsS&WmX-4jqH^{&+_Fm>=bMSK{gNB!WK^8p++*E8 zt#+41eU0PuNYu;AyE2R5=1OMI?^z_tM2*%#m)@@s&5%8Z@b;^(S>^t&8cUJ?GEWHy zVV*}~@)ppEdmHTedx(EFQ2$Y~r_rO9n#fb6^EC?GYDQ`jQcT|bl|^GX3)IS0z}2_# zwg0)Z3QNMEzb@`z*|CB_XsaG=-=^8~hdmKlay_%NWU5*|rX&oeQP9+#h|glcMwipI^mc7aOsJl9w;!I=XZsI(g~k z@`KZa$^>U$@zsKnk}sH%aK0v4Z^bfE?}9P>cu^bRrVLN~`aEQL5j>~z5}~)I92NWw zwse!{!2RcbNuxO-fN20o|GHZE3({(QsTkZJH1c*eP^bFpn;hSG6i~+#2QT z2^BC9apw*EE-D8v5Wt@oVKy4abZqs2;hJ9y$!8A$GRmW4*+mNtszaSLCc>if(_XLE zK3~x2)r-o*5k`s)^zOwsboW$OL4jMNE`xL4!K(qzegHq^(J!M&p>qiXmt{>aJ_$?! z&;R9ju6C8=uT<&X< zMmr%(*$k#HY%9ci!YL1yj1;zm*g9hFc4LpPRHm&}mgf{Zn<2}C24Q}j66gu)$xqw7 zlmMMEBQ{T#e44eZ-;;(T@q3)BQU-)>((zk&)NrW3<4Y#H=!F`IsDOTs8O zmGC>2RX_2bIlPmz@#3abbzYr&{$0d(o(^~YG2eG7K>eUXr+ea|q^q#-wt(+J6$FQ& z=vjj^bLlu?VwRdw^AmebBK_f&$kPLG_)o058|+8c?zS75s%9IxQ|cyFr+yppt+?xFaose;NntWca+7)sIQ>W{7nwCJcZhd+~> zM$t+yFX)ggA0U@6dDhF5Zr>i8BX%UoivIvt&>cFluM;zsbV*XjAf-te$Y)qY-k(hH)-=nRRk80dW3 zdI^?g=VcBRJdpK+ogh_pR5s2Q`j#lTMwzY{>>tN|s|#X&<0A#V(7l|(wSD7}^HZm* z_w!a%H{2tL<_jaCd9>!l0ScaQKGygO{36xlhG}q^^oZY+;Yu&vo1qis(n`}#nPc0P z5;@(3w#0Z~G##5^vb9O2Nc@{>p);d|@7^kFrcSCilv2bHxV!Yd2Uum1Dv1BhW8RL) zyO+`5`L-ENu-X~a*SokBOPWKqJa^&*%djU&{{j#jnbR0+zav-6^ijfd&Hp5*F>Tg| zyxCBpmbIDs=<7$~qX$(ydbokm>Bs}Qm&e*nb|!1@7Z~st){#1Q)F3B@cQbBbV93T# zq?sK*tw?PWu#xplR(d`9hu@o2zzq(_b5Cx4BP@0H`UKchlM=izslQVo7ysqlDf{up zl9IZP;L1|e1+C)wE$bStIN<=^iTw0|Sqbwm!k159QS8&k-u@{>4Ev9Nco&=hG0>}^ zJ$Ag`En;Ykrc;u)yx^-5a^k^}w~4}CQ|A6?;2?Lic+PQ$@r?AXc}Ysvq5v1iy2YCO z+Z4eveZAU(7O4gyp}jjiB?V&TS%AMB>W|u%QX6)BuqAEMO&P2A0kbgo4f#jOX?gr$ zX<7M32`KqN@q=AYuD9;Ihi1a8VGpYdVl7iY*gPI?J{QrWv{Z8V{h`luU$z13Jm!?H zXlpM_H$Z(!qi9s4czhALrd63sh$*jZl(e7wmQ*Lo4TXj(PZqarvS#(o)AWSI)$T>C zU1b)?0WaB29g;8Y{ykrIQR;*{Lz1~s{=IC0VsF=cg|>9J|Cv5?%v{3C4yN{3|o z!h`W3dhbB?+>a!luZ=;9O{{ns{bl_AD}hhJGsV$goT`Fb(dOy}tOF~T{g-Ee+A^Wm zEKK?3nS~=%e zz&EZ7#^jeQIks2enyeqgnCv6jc8tn>#uy%mcZ!+m{JHD=J3l2WVU(SonSVdEe#r1U z4o6K#Tj21Inb=jyD#KEYxAY%h1=FLHnk-IOuNPRzbx`CqXIgZ5b~-40qlT$m#eX1> zo2>X&tP+;q@rq-eO88GgSqzcVB-U3o0((pl53Y_EDitZVmy8l;!&L5h50W=5N8LVk zYXZ7cjwx>NMpnKTL#mY9)FF(W=JYz$-UK=RJ&K_Dmr=!AbmIir|I&7Y(&^6tp|N^@ z-Exfm`T5=h6eUxH)+vf{FGM^=K25FFi;6o0ZBTIQ17rt$ssWhkiZF;!c!-E&KeyI! z$a^1s=||$lNB&-ZI##)$?%B%4Kn05tmQX$%(~45!)2}GoStPm3jCCnAyh${?7fRv5 z4Q(baj&~p>9K?~K#h-not95Z#A?zZ>9qFZw{Oyjj8>!dFFS{MiqXuijQb%5gB1LnH z?L}HyjpT@Zl9vh%1|UNFxJ@9kEHe9l!6mR=(yAI)(_<^A7{X zhz(D96a~^lA9F_q5qd6O@X5*8Ltkde3oj#Az@E~JAe|XpgX@dA~GF|2xaTs`hw6RnWad(Q^neBlcJ?{ zt|3&c3uACX{zqYrqE#Icn}YL57mR4jGy?&fY%Jm+{2Z&o<&PD$H-W0LC&XWokY#Rz zxEjWFs~+ha%LK13F{sf#Hbt*m2S7`)ef&%Gy0dBkM*>O4YS$rLSsQlJO_w<;3nYh~ zgqm1)@>iHHK(>Nq<7c6niZN7#OMr;0Vh)37h&R6;Enw+fau67J}H zd=z9*_fhAe6{P?al3<(nv>ITZs6M47*XxPnP$e}2Qlz*fU1AUwP#u#_QytMFju`5%Q4>>60LZs-T!IjK$$D`k*%OXS2-?R zDrpV8{ls1_wn{1gbuDMnLUp}G|5sJD$9N_wXFrcjNx}-i|7dWovN45K5qc@-B-~A26_da5vHx6|TjJhR6`wkRJY`Zh>f_E( zSUZ(%+*s>1k2pU%1^KX(A*oO$-RYk6sQE)w|D=?WVrI%(dP_>2%G7$JQ2XnhNnr{2I+5PHcHO4#>AA^uB(rZOc0)&%XrR0G~mlG*`Szbl1qx{Sr{Xc#b_ zuGQC;zM@OAT*67#sIFt{#FezU#dkV+jGbW_l6|Z^tM-}2MV612ut04R=L_DNN|{Qj zJ&RFnlH8`~yWm9yb)&SL`g`fh)1lieTNV!%q0t_|4Sf7yc5QKbZmb(J86T$ z(2F*gMYlu#$5Jd$skkh5V8^}i6BxBe_PT|VKrj;DNl9`~=!VVI8U zrRkW^B(3Iax7A;b`M*UFj^U1jHQx8UjYKd<2}P{f9(E!wkjcv{eMy@sXAITq8Sh8% z;*;=1_s9xT)mydnM`JA}5?y z^_h)ea%XAMc49wyfnDwKuUGCX#*b3d8U&9EmXuc}DhmpAH-NByCI!^E-Y(6R6b@X3 zP1kzv?buQn;K1Rf7^65CKUc1(E{2U|iU~h=N0+ysD;>7&x|$9BoBBAU&%>3G-^=n| zZrT?nG;S4T3#(PA&DKTdYz11SL~i4&I#Y*}BkfX^Y;n92gjtnbBx!F|9F8x!&RBCk zHJCcdFtyuILZ&xv$69H9>ilK*W2DBU!uaXW4{R2MR9^+*4LEdBeh;HN2~JcT{w6dy zaAf%TLjd=UpX}Cj$JXOrvg9xtJ$Xi~GiAy=i!lNO3Z9oefgwZALZ*D}#hl$F2OJoU z@_GXm#({L+9^^+P_iu`G2D=>Nx4S(Ui@nPb-Acg3oEnncBJVN`Q(aay(v55wbCTN% z`6T`u%Kw)r%Pa)*e*L<_G)8E~px7LN)uQhUFAv`r2{#xOU!F@8y;iIlF-ZUEW+Ci& zYn~3p^hhKM8d^W8lBV($Q!kvP7zil1C{>ly_n&gk3c%5c|cl=iTK9AH+)B?`jtfO#3l`Kqsm-UN~u zHM*!RVvD}-{b%#2-z@tYjFm#80aQq5=GpV+1d;~IorGNG$nXCKep*8Gvn@p(b`Ue%_Do%DnHU{EvOBuk@4GIy?x*d( zA^ks>unjVRgnAfv6aI8@2cJ6GFXh>4P!-Z113v2N=EjZ86kz7@SLTnpm`O~A30n@e_JW*DV`Si`<@t3Gk_}{4IGa#M3O7t`rf`9cXY*`GOAF|U?ggg*Kmnoh3 zbLueyo?#~|IQ(UUG&4p10&hCrh(g4pS2xaz(A}7&rcG!lCLrF9PtPdt^<jju$< zRGzxCmO6}hm}AheN5TUbfcu4Xuy>Ej_4bf6#q{(c-S0m@_j+U>krHv+EjgF5wDt-h zDSqF2{PJ=lnE%EzUi)hY^V70-E0@18U1r(nH*A}wwBgD zm7raFGtrPim<%EQAL+sJFg&44CLB$bGIzuWL=Y04r%X?ks)T*W_z;>jET9CQv2;3< zW5LBX0`jE4V*H@$dExouR#cUyjYPaA@itLbefSl64n4FrCk*@&BdP&NDGZ2ys)JsA zPwpS_Pr!ITntk!+NO=mKLrBkyxBURW#|OhWpz%$8SEWND?`0_G$ZaWLW9}-*W47?? z!6d=KVyc|ddSNdyVN9$vZg0kvDffuB`)Q38#pUi2w`W(ZsgFf;aRA~I`t9Mo$cp>Z zt!bRK)quR!N!ovg;D1%{|K6Llgo_Rcs@+dusy?5a$@eOMxjL3%%@CGOGengA@Xd^W zMOWmEn0yqP8{Y`Z)K_k!^5A-^!Q4z&Pmz;$8BEq9h8f&6@5wSt`Zq^B*u~eH!RbY3 zfTg?$;RG+_roQ*q6#->49CqNs`?U9T24gf6E5W~!V@m|=v{&$lg-?UX^<$t=S9~ZRh4V~N{j+1mKH3{Jw;vICoBvdTPqysJ z3JZnE(CcwcoM0`VrH0e~4i78*Ye{s0@2T0}6CM%nl0e@{>;bG&I;7;*YZh;ZX9N}J z;9)D|9u3MLIzG|9iTY=FzNxD&EB3Y!WxsdVY^I4;KVYQJypD3s$Dzc&gXCGQQRfy? zN8}v7qMNCgoex}g&&XGdCq(@0Jr5ZYaJl(ARu0<%==YvOkha3W0NMel;)#-5l>85@ z6yPYVWd{EIT z7$`bP&-y4m5A#=6SD+GR4Q-RX#xJsXhQI0_o~v=v1JQG+Rb;y=LZ=$!%Bjw9Tte|( zQ&|tOmlUR z^mk=E8zXF1si7oyl+ZiCPSN$nQhgUR2Q1bpd)iz?Mz+vzqYy_|^*Xp*1rX$dQkqEM5$hD*K3=B$r|5#RIm{wS-ybRJ#z6d^VVGrc40lBA&j8XKGFUna zGk%681d1sinF;^^%F=)T3o!h-qo{}UYV_ zLJEgZ0GaqpUkbM_wg>M&@(AtugF+*5rbxH)d6`;FfZ0t6N7SD3Tl^CS1Ax<8&hNAW6MW zK6DpX*pAuu33O&)h86?~O=MjZ!((JwDo(X0TxMRTgBego|1Nkl?gs;(nIUe@vZ7Ca z>qw&MVfO9{;30H+ww~{`GsT+CF#{#{9e``ub3qp&sg| z!sdsuM24T)`1JX@<(sfFVL_keay+@TR-^R@|JkX@JGg(DT2|HBzeQjFtQDoNBm_O?+Xy4*^0m)X;mACZH5S zKuYLH?;uEr(0h^ITj(MPNDEyBX(C9AC}NNxRXPbs6QxKO0y+6#o^!r$U+jySwP$9{ ztUdG2v!CbpCaZp>SG9sv9%OYtK>1Uy=WyX>~$zt)Wx^coZ3M*V#xkg#|MB#TZ zL+Sm+^dM=CdusL*g=pD?-wCXr-*LbCNb4w8YN@P%piiGNeOw+H4%T zQVZYKFqi0l*Ijz{%ZB+g9Ct>xU zkXpzaFpggEr9xdvj1sNjfUP1&jfg%d)^_c_x@W~uemza;sg%NOQulKY`b#uU9PRX##Fkpoyp8)EQru!Wj_HcN zI8I`i_SIuVgprJt{j035N%9ZuhvlCy`{T1seI=pL7IyScXU8)4{hvUY_Lf4i4EQ72 zV&6PPLFbsG=QV3zOHC>IQAUHl`tXS-TCjSl4@84xIYPaO7^RIl&eW;hmQ*c%Pc6Eu zFnq??TyVmmnL_-U|L0gO0E6cZ4qwrzjMOg#^-xDJXH#R) zFcru@C+~cUNN<_ME5+g0l8NJ?qN1}nVbh@kf(cDqH&4QUu?bSAy*^)AjqP)`%hA7@ z<1veCgX;Jv4`P6E25$!M{EhLDNo>}%e7>*~X*Eh)%hQt9vT_Goar+Nh?alzf!A}yT ziB`pvIUu(A*V_)SW(}153Qkdb_%AzgGN>O&bjiH(&XiL(Bi%8X@klY8QXc{FY) zoEEp($I?cSMe36`lTe(K2}h^eA0r$1r(OL|3OH=nFJg=XrmY3Y{eXHf@#qu4m3#W#QBddx-Tw4aH<@syu+Z1l; zinal=)M`Eo47pnW@0&p`zeZzfvyF@!sClltwyHA6v0kaR{774Syo)k?;JceM?~_;R_I z&wI$$sRv~6d`YFow>r2oYy2UCnQdjS!1`S9aAYQoowvHM&%ZJ)ls(Vi&+wRp-d$`W znzX9Ux?(h#YD|@XJ^js9FR7_=P0U-6lHmYF40VbNOOZy0O{|e8soTTa=m8Uiy`=-u zK6%`nHdB*KaMPQR_xIeKNUL0q_##mWPej@IgReZ0L@-F8CE|JnQsL515=o7i#6`#; z?tF%Aoaa6X6XSPMq@k$Uc+~ph`w_j2^QGrbu*hH(@0Xg%Aem7I279=0>KZ>~Wt2Ze z=&z5n!|-^F@CVCD9Us0@6}(_(cbxcS*F=vBw8h(%{4Q8?mf7VNJq$IU)uZ!NR0tVN z-hQ9MSZhfjikIPv*{$oX`uDAnjWFRakfWG&?`n@D6B+MK3uo_dM>`5a1~)e6;lQ4n z>(jhpFA~!uMAUTdkY(Kx%A%_vOKtilM_unsYeV#Titt(7Jfle3ucLV$D)s7EwrSUw zmn#PG(l&hmI8 zpTXFy3g}$PFoI9n4NA&v5%%|1dG5asQ@j25%5<>d`?V4T*(FYIPBjUCI;&A;hRWTj zq*Km!+vEw^7vuS+uHn#b(2rizJtCI2f&%xzncqkJRR{KK(yyLKNanH2TV>kkXAHb- z#EER!0)D8??b&0YSc7$u0JDiJFVCO`gK<^A1cB)c#-f3*?{8e^C7NDj*Pk>#gqP<_ zO|hH}^4E#q&AYy%^@i*6#ik{zfnR*{J@G`w_#9LNY$ouQl)qovlRo0SLnEprvI#0N zl=hC>Nzg@%hijs~;R7#$IXiHq8Xkle$B+X@^$lbp5?=Bze^J==dQI7Sjn@+X_* zJ5Nx|QEnc$>M85)fe`HMV+(91(hXt2|F4JGou6TkXlGfHkVx3flT>te8)c`nBp9tW zdgVTh^a8?(@KB=cVW3D{%DzpLNpui*sLsWJkz13`+p116!9~1qkc$Wx)wgd|FLD|( zws!}UNj5}im5jd8keyw*LB_!g@F5rM8Ug4=f@A&AR?4>qZSp z{qgc@j|BhBe2&G@iLh)=a9_kS?b2bcPlJ#V=nYWE=bA?2`L z3ncI@SQ-c}IqeOjaNxi9Vg~XZkU->P!8_T>(05JRTdQB+T#8}Sv%)^bJD7JLm~03Q ziiG!?mA2Z;&I2w2S@%G^PTk?oD*)Gpi$@GOkM)V>sYv^;$%nlK{<&RThsf0V$ps~0 zEHy^$N*7xP3RHVMSx5ZA_sP!4G2aOSDC{xZ>%L5<;oKM^^)*o#7pSIqF~-&C z5%Ir84DpTqma-6?_H^+hxmwsujm?{_`T)og>$%4E*<0XVm*#DpA|6CP(8*L#nIJQV;v zt)em1*&=@xBAw0W;yzpL@tZ`d@2{NoxQcaG@g8nyS5p&g$&@ZT@ZUuRzZsUhV zd8|d@);q-j9nz7??BfDgMTiC05*?%Uzp5@bATDgf`UB-5^_|CD_pZ)NitPC(lJ%@q{EN5yUk@ zK=j{J_k^=hq#I+o+WjRS_?IXK9Gs0BJS&|BKWRBx2jhB~|Z_Sf+ zQ$;XYBXpJo>?eEh%pyc|!Df5)2!*3#`roS>dg#)%Zo*YB@>&8i&3ryQe*gLWfzCzo z`p?7gh>I)Rj57zGk1=+vSBAknnS`KpyK`T$yq^f0Nge@hwU_x&WhE2$ACxQmZ}k59 za;iQSm47S+6NvV3UV)CfghH%ZCH_MC6ezzF9(D3x{QL0jHVaEnj*&rMI&!8!R=0H^ zJ*k)|wMMONxF%_FciugBeLJlT>YP#*D?5hljK}8d1>M7LQh`^W-j#M^<*D}{k;!Q_ zWP*MI+u{THcew}8(Y?#Zs{`*(y6UcD3P1--=VujBZ&44nA8acbE#xSM@v|u{7kNDv z@=`?3`&Hnj7mM#^_(Z61|A=GLWc^`e?@ja}zS!HRqol-U@CCRp7kU(IqWuum{7VH+ z|LbLH&gAujNJI8k+Rzulx@V-xw{maJw#sp zT#^D53I0j$-|dm?0@@e0U&qHC)XUa0|0F7)J&aQa0+DdnbCzV88Z*kJn$1+qM8T(p z9F{3=hc5OVB)Y(9rfVIj{pnQ;h!y>vAcj&p8jW)emHuCDnPd-_h-j+x;cfl#+fDig(f3D( zCzxBH6y-;$)ywo;>18Egx^2K-kGEn~4#Kh-nc}^IxSY>ll?3CccXy7%fC}-=z`l|f|yWg37FN$)CRi^nsGY&JXCPbsbxyzXwS$7$bzOk&yk22 z|Aj1T8u0+8oyShU@)BAmK;s>;w8?g zZvP7SB7GNPF3ldA`ml{(R0T(n6ehCtZdNm#~&-|5IgliZZ{dOS2=Whn$k3SRcH$45Qt{4FV5$X%@O zCsfAtfw&)&B6w3&QUZobPh8>;XWoIZv&jBqpX&SS!(D@_fQBApRBGYVn6S6>P@LPxT3aWAsS`bwCvOEjP3IqCohyy(pQv=Q(0D zg}~G~f2rSYgniT*?kEuulM!YgPsy7wP*XV(FTCduJJ4Pwn|ZP~Ip)*+061}eMs#B! zWk!PDJyu*yt1jppB-jgbI-b?iJ1kNTm5r&EZ=N=`uc-)2JbZaZdH582DcMMF!r_?? zXA#f1xu&023Xi+_hpFZ~{Ch0d@Unj*=jJ$Jv+1`1%;sl7;`2s*gXh>*ecTq zws_VA&E1F&v47O63J4NgL{Zzq9kjYWu@mFoV^8CNEm|Gem3UIw!K49c`tlV#WoQ;& zAVVse+Ab9Ye6MvLuYk5P*|`=hba0ZfP4d^e65YznZp9@Q*%Pt>IGcl1J|2L}6qZN^U>y&l$Lrc-XfN&`;=B=ac9xs6V`Gu!-?`^7kWNo(>@CPvj937Mt-bme zg9({DS4wwrwT&zL^Ntmiz+@udo+_31`=8MQ3&$sJT)B;F=jSyG=QXf?rNW&C_~@UQ zZQ=$54uGjTy^&6MJQ2UXw|re$O{DIl;z-AKw=+NFOByk^HhzUN+Mr#7_Hkh(O%(C8 z$>%!3aLmR|5J6+_s2ELmuGhV5;YQ+)4mHf zg6vi#y087MAL5)?jeoEszX8J<4|$v#k#ddqr`5sE;*>7?Y!O|YNql6}sPWb^lVskC zp0`=CT~L!$OGow)yW^{!irGmchJ|S+_++>oov*P^?kfHm)=IC)*_|_baHG_zT?3;S z85;xj1j4@9zE&qckZ_pO=VkrO0l)u+lcoEuFrD#gS|dYc?$BRPw6Ke#(V~3YQm?3i zre~V^OEToxWlAvslv9VqH;J=OMDAQ*>_a_GFuSVdS9fHB_xU*39MpRF6u`olt%3{h zA|~{2?hO%VdAU!-w4@j-8j`etaek1}e|V0Ia>9(~&2E&}Ul0usrf3-89ILOXOWQ0d4R4tYoDBuEqmoAzK;nTLXehg4?(Rp7jC6Hnv7@K!BS|C*N{8a5+*DtsJwp$m_wo-YvflRe+GLKC)NBWc_O{=Z@W f_fa}Rkq3T9GaHXcnD+>@TY#>np+*bTG4cNZ8ov!C diff --git a/source-code/Pseudocode/Value-Iteration/Value-Iteration.tex b/source-code/Pseudocode/Value-Iteration/Value-Iteration.tex index 2124523..e8aac78 100644 --- a/source-code/Pseudocode/Value-Iteration/Value-Iteration.tex +++ b/source-code/Pseudocode/Value-Iteration/Value-Iteration.tex @@ -22,9 +22,9 @@ \Statex Sates $\mathcal{X} = \{1, \dots, n_x\}$ \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}$ - % TODO: g? \alpha? - % f_ij(a) - \Procedure{ValueIteration}{$\mathcal{X}$, $A$, $g$} + \Statex Transition probabilities $f$ + % TODO: \alpha? + \Procedure{ValueIteration}{$\mathcal{X}$, $A$, $g$, $f$} \State Initialize $J, J': \mathcal{X} \rightarrow \mathbb{R}_0^+$ arbitrarily \While{$J$ is not converged} \State $J' \gets J$ @@ -39,7 +39,7 @@ \EndWhile \EndProcedure \end{algorithmic} - \caption{Calculate value function} + \caption{Value Iteration} \label{alg:value-iteration} \end{algorithm} \end{preview}