From 7ae76782ef394cd0c96a66ddccb2c55a790a92b8 Mon Sep 17 00:00:00 2001 From: CyC2018 <1029579233@qq.com> Date: Tue, 13 Mar 2018 17:28:00 +0800 Subject: [PATCH] auto commit --- notes/计算机操作系统.md | 12 ++++++++---- pics/7b281b1e-0595-402b-ae35-8c91084c33c1.png | Bin 0 -> 45056 bytes 2 files changed, 8 insertions(+), 4 deletions(-) create mode 100644 pics/7b281b1e-0595-402b-ae35-8c91084c33c1.png diff --git a/notes/计算机操作系统.md b/notes/计算机操作系统.md index e23543fc..02b222bf 100644 --- a/notes/计算机操作系统.md +++ b/notes/计算机操作系统.md @@ -637,15 +637,19 @@ void philosopher(int i) { ## 虚拟内存 -每个程序拥有自己的地址空间,这个地址空间被分割成多个块,每一块称为一页。这些页被映射到物理内存,但不需要映射到连续的物理内存,也不需要所有页都必须在物理内存中。 - -当程序引用到一部分不在物理内存中的地址空间时,由硬件执行必要的映射,将缺失的部分装入物理内存并重新执行失败的指令。 +每个程序拥有自己的地址空间,这个地址空间被分割成多个块,每一块称为一页。这些页被映射到物理内存,但不需要映射到连续的物理内存,也不需要所有页都必须在物理内存中。当程序引用到一部分不在物理内存中的地址空间时,由硬件执行必要的映射,将缺失的部分装入物理内存并重新执行失败的指令。 ## 分页与分段 ### 1. 分页 -用户程序的地址空间被划分为若干固定大小的区域,称为页。相应地,内存空间分成若干个物理块,页和块的大小相等。可将用户程序的任一页放在内存的任一块中,实现了离散分配,由一个页表来维护它们之间的映射关系。 +大部分虚拟内存系统都使用分页技术。把由程序产生的地址称为虚拟地址,它们构成了一个虚拟地址空间。例如有一台计算机可以产生 16 位地址,它的虚拟地址空间为 0\~64K,然而状态计算机只有 32KB 的物理内存。因此虽然可以编写 64KB 的程序,但它们不能被完全调入内存运行。 + +

+ +虚拟地址空间划分成固定大小划分的页,在物理内存中对应的单元称为页框,块和页框大小通常相同,页与页框之间通过页表进行映射。 + +程序最开始只将一部分页载入页框中,当程序引用到没有在页框的页时,产生缺页中断,进行页面置换,按一定的原则将一部分页框换出,并将页载入。 ### 2. 分段 diff --git a/pics/7b281b1e-0595-402b-ae35-8c91084c33c1.png b/pics/7b281b1e-0595-402b-ae35-8c91084c33c1.png new file mode 100644 index 0000000000000000000000000000000000000000..9308ecb618a3a7ebda47272b26399cfbfaaa52cb GIT binary patch literal 45056 zcmc%xby$>Z`vnXONOv~~C`jkfA&t@?NW(~XhqQEqqLhS$g5)3|T|-HOz|b*tNq4?C zTlaqUet!G;zW2ZP4-SuknYr#b?{%(ot#uixrXr7xL4k4a-aYK63Njk^?jdXeKecEm zz;8;cs0@LB5L`9nrS6puP;CG&?psPKOWwOz9*=niMh0G^J1OY8-n)m>cK3tOZYb}dOF@dkCrc=8+XMXYC-zTjyP5iA6cT^?8_gy#f{ zDrO4It7vPErE>fw_C!DEEYky;%K4yNII4z^QwfyRQn00DC*h1Ep;{U*9DLFy!a}jO zZPRjMCVH!PF#ch9#_6F$US8|SFj1_fLCfKIli;nN=4j<5_WobXgz?ajhNpeJUVUKJ znJz`UG`O!>kbbLP3gNencojc^u%8~@N(c(6Li~c?igwf(8_jgm_9}(@VF~VoXHUV( zXu}Rfu)Ow%hLphK2*0)J%P=`s9?I1TPD^mq3$oSIDBn! ztPlO24C<&+GlV6}s6#PCd1aqVAwDM!x)LXlXg|l=Gno z&L;Kdq34Zu|4m>@h*$~D@kMT(_$E3?D(4k9qX{&@%XzJn6 zG@@8~nmLjDoB&IGw;chR0SCBAuA6i!Vsln=m(!*HnZ>!k-A~;Y#631^@(gDa8pYzC zIJQhGEgrW@-%TA~E-l}zAINh0R%}w_oU=BXqX|`zNefp6yO%jaHf@L|>~z1Av(fxO z|5-fgT1FpLiox{9fonXp&Wz)-7eyk?Y!2H!-yN>}Ozj{2f*v042!@$F^e}FY-;#)x zLyF|s9_X}9xkWM3jHTn=j7k;ZY!R3uRp~!AsW`*hd6m&|pn|dvIVQgGuONl}pmEyw z!ZEI<9V)c&q`Gt@JJC}dZtFlA^qbw2E=pVXXOr{t48hAW1TONM#~KWHRO`{xq^c&( zhg@WedP`59V>qbV1)fZP;$ESf7?#VzTyera)YbWr4R4V5t?lc}k5)6Dr_moYZhg=C z!pXx=V7+Q8^7hJ7VCqFe&h)6epf@YoQyw9r1GQ}jV}u_Ln&ms|?Dv_v9}N0Q^8p5080`jUB&$DG*Vk%@rg4R{6OBYTiW3)Zs+fg$;_*;;BD*$ds%q76M!2#e;llez+Hi7&5YjM0;WufM>u!3rZL|LDgc8XQkGTV$+cK*2RzAD0#iuiW7E@L#Vv;r3C=k3?@ z)RDU=8`|_@{8Yo%g~4;X)@fNE=s^@^LG%fE&zxQ(S`W9PVJQY~`zhl+{*i-EMHUv4 z&Wlbb)2pTfJQ{SLr~sGrsw9M`J>;7A2b?h1o?$ z2I5Io;)a5lg?b)>mOPpE!dqE^c3?=TSm|Jg)$15XceMLBokpFsu2b7;e1?D;^*GF$ zSW&4tF{V18Pb!)PWCAN7VR^n4Q>8jmGjMELyakS+uwWm4&hk2QmS5Bou8Kyd7XeLs zS2MHZS>XzUaZ&prMKZtfN_?Oh%RZ1uC(d@Co4imc>PV)6(!n4zM4*fz;q6vlCE}Oi zGCZO;4~Y{kj2dc`lml+BtM_(*!VU#~UDf|VAlLhNQ|GJM)6|rQ1n6(yuKPPn zDF7W+rl=f}DePXjS8#O4xC*4f%9Rv%t&$RWAWG!!`Ys9)Y&rLxb@rZUE%t!z$--t) zr6)t2d51XEI@w&Ob_?-}K+99P*NCR2a-$TD;F-EKNs#dxcGrY^HGcA7>{wb-Hog34 zmHos{X`!xRig^Sn%tgjnFXBz2N1KFU%BPs{@DVblsh{E7x*f8>f_MFCnR7|#+f-`K zdBV9<+9`2b+JtF<0?9k)7u-!AvV4?{_YP4$WJ~2D@2MdF*cl9z&7JgW`4NpdoSVBT zZBucdX8-(QRhYS1BJ!?mnGFG-(Fs=S%o3DMx-YYe=bU2|RPx%R$oEa_PnCxTt|71N zQK`@g%V4B;=S_`a`?l;1GZ_4GDd>T?2rr(K7dy^*KK;QH{pVJVr1)&K6^ILFg~8&a z1oOyWJn1pjUCBH=f?mAb@pm!WOr|^1;=L;WQq3MFsMErtszYi<{*o3&wYC|p|5(^$ zj9Ng++9XD@i{WgpN$2jyZK~-c`sOXcMHTrx4Pudvr?XAhUZ*T=Mw^*qIA9e82_I%1 zz`HjU=c&|*tJcKjs7Uj$`@>us?KKrxPTRra{fD{M&gzoPQPkfy=N%K zti#$L)Xj$vYp^~qR70o=&yahU^0XfS%Rg@ML2KxN6_NrLHDm>bd4Fy?8sEa=>?B?- zy`t#e$e5&584vZGW?q5N0Aaa7LYmWShM!`z752yK0S8)Rua=2$`?f8xZMS9;?dLlt zKnAlsH|<$8uHb1~Ohg{ueKu8{BEv9>#c+3$pn$K^?hfZ96}xC6#EXBe{w5B!g589F z182O;oM)k;g&+xYccJsXp91wRCaLzLwvsX&C2f=kZ!mwLd|rYNtSD>m(M)Vmf|pYt zenHdd_0_qGe2PYKN9ZukEiQ0N}XkW-$wgMNN>Af$8 z)7YBjfHU+3ggIxuowMFcW~4Ue1aiTztQHl_}lgpdiZQ>Q4V&As*|AN%1C6#o};f%p(46x_fud|3(0rqPvb*i4Y1Jw!y){@x7Py ziCI`!&+BxzqpQnwzR6EPMTKM)PpXFy!!~CO1&6ADA5Za+h>(z>;qr8%VK`U5ZDxiF z4u?Yxq!eBOji@s18#RijiwktQJ26x~B;g?F4!`U%w*qc2=dI?O8uudbG>q;*=(9ce z=h|BMH~VRfcr>~dWZ;Hn(c_$|Zg=d=)@zM4&EqE&QdG&Ll3)xbPA@cA;FdN$Tk86r z)F>KgJz}UO9nSL=?@HKFu(Py2WB0M~rcrcvlwZgQM=!)>9Qo`~q0vXKUOdj?m58QF zJO-wpavsMjkC)(ZK9od{OLWsb()ljv)cicH{Zu7B%}RnBDQk1;>qMb&gO$1Y>AO2EDY) z`NK)f+Juc|)T;DqoAulaE1Q?`*L1qI;fO0zN9zR_2~%vZ<$cAUmcXn24g30eXV&GD z=qv{HQhiAe(_l~PwVF)!lbrhTSF5O<9x62mr_y3>tqo@7x^Katxl}}O!6Dr!4}Bv# zk<$0v`Fo!#nUgLo=y}ihJg9J&=R8$(y=q|?*!kw9X3R17)6b<4i*lWzrcw$|fyy|4 zi|Qy-l(euawIFC5ouYK$XxJ!RlZ^jYz8+)kgO&9E2Ao%gb=39XQ(*o5ju$_%>e)ZJov^ic#E zotQ!veG3X#YyW#PTELCTLtSi#!q2{*I=ke5=Y;1wk!`*|R^>-*KP_}ZSPFP=zu1_@KcD%9`>Tp(ByQx3Srsa6xu3KP zo@XQ4;EKdPe#5(L3hr0R5~nt-_vnDPg@+2U^i1$NaoL3Tvz5H(797jxpK?TB^qE4p zYzl1Oe7yLhfon_$F}IYr{JLG}O0-sd6Ke{0x4;TOeuU}7{VUsUV@EmHwl_6z-lC|= zYw~3}BMcf}E?%7~tB>pmv=?F9BGaE#2g_80ET|h}>n$^e+J*=eGtD0KkKlifwOoK6 zj_--xilxCS+Z^|qYYq+l$WG_)SNjM+0(==1#J6706Y#)yN2$E|qn%eXNe4J~?+4@P z??=s})8+ZzRoSyTZfr5s66n~+#|<8yLH(8&XPwvB4l(?J?L!Fq4vkM18XL*L7GaLJ z3hl=KZ<>>Bs0&;j;d4=NNT#iDL%xE#YdX_Q5W6(?ep}l6&dT5YX;0+wOBMwk37?ag z0Gbaj>YYoAYJ`>ZR3UvSn(L-lLjD+9C5;APdl=p!O*zt{5No215}3x(_9( z>UQ`cm#Kmt?UQ#Jn!m_3>53A?jxbEVcZ_q-)8>8$;AU9xfKx9m-XX?6_e%#e3qXEfox!r3m?{RHnt{OXfC zRXe|0Y{g(c9gE9k}T&F-y$IJBjk7`Dn@&Y$3}2?}@D9un4}Z~|wL1!K;qNl!J#T6+H8yPVa&f!dN|cz2b>-4z?6gUV$nk9d){6>YZd-&`IpBI||~fHUCX?)(}$ z?0)UXda(d^W}S5;tkX_@GXI0(rxI&!(zS=EB^@(nN92CLiQTzS zT_ykPr)9BwD^eiO1eaxeLGB4WQ2lPZ;!PAih_8WUIa`qDNfgG9u!6xx)I?`e{N7_C z%nGc1s4#Z?i*KR+MJs#Y-Pkvc&;f@Ft_-h7^V2^tmH-%XnAPwBor!GJNc0lD-9&Ou zGOXfMqlL}H{Wxz;*yL*;x1`5&bztjrv&oTkRjgch2%pk`Rm4Fz@ZGa*?Ls|fuHu5d z+bW|TeV#`j_abZf3YH!PmCI~(c0#UJ$)qZXB80^d-Q8osW2HiDA~;fxBP@_~e^f`~ z?beTB?%>Hf=FKrjjK)HbGqE?AJ6&5tZ4i_`J^s+=IjHsagSGy`baz#AE;y;*u(vO{ zps$-L-Q@Bx^rBVbAx&z>j)9Fg`=cKWNO)vL!ezQT0M>HoBBR?@o$8XN5_}ys%d?~f zCv`B03crt@P5&*-Z3e67G0}rA&ubx&Z($qjlnP3b?H@vBe#(;2h9!`}GaY1w2{dn| zA}(Le#41P{cwxOYa*z}`jI2p) zPTez}#&=J{?mT)Gw{EFRIt!B^ELDFHvJA|I0DlSvQBpQYhvPtVf5`ta7%q#79bTEy z!*&_{Z^y9b$`a39M?(^D0p@l`q8jZcd6ZIlWW8k2m^mL8M{2t|IV~VT*p!EdhoSWW zoGdIDZDH6;W%uJFBJfrTqBCMT zh48y9{69xWQ2fCsXYv`1A5!pFE|lrx+pS|StgiwoLUqHu!0hrzpF+umtOc$r9Pev) zwzXMfG5$Ou{5faxo9jLdcuG249fmKAO%~G{Tx&f_U=XhAlZmH4d5hxI)}7{RCd^Yp!c0VdfA1W%`8wH_=*hdi2-uxV!V$%Eku^u~uU) zVn!=H4CI+2)pAQ4MryHG=Op>tSVP00x14XfgGNQ(gcb;4iHNkas*fqcWUhGve~p}o z+L@_ZP8fm>B;hp<_8$Lpe3YU79{lGF@uDYIor?<+R`Lm5Db1tpUGQK+&U1QDA1(rS zq4a!D`*g}k0ZnI3{+{I2klo`|Z2r(Z7gef((%}@`<6ecXwpU43J2e!TP2Z%u29UVB z#*)iu@22#C0pNL0(#zHe#V8Ql=F5?xaf$wG$se)S>q1t1@p;~xUgjKokbbs4@HshpO z9V1Y~J#~*j8r81$81eP#$;*&b@}_HsH@l6$rbrNLtabS2%mKT_JlvC}9Vq=@3bqsv zhsg8S-7k&5>*)5Pvzv@sPS`@`nj<#yJ$(&_)*wCnudC z=Z7BYN7k|^68|L-#6S1)A4lXbx^AJ}8#rpiz%+Cd**6ZMf=CC8i@>vzL<+wSG8Ne< zThbjlNhn}nEGeXX<_S+r!jGM(2sXJm=O5FWKX9VjF%O~%pL_5LuNMzg%zFhHki#hY z6ra#}3h{YjBaS@2)Ddm_XF(fp_R(ZGKT-uWTA(hS z5;L@ABKX!7nOUCZHDNHedc~zmLtoPv3vibg{9C+tmp-&k9Jsn!+ao3#QNlkYd4>lj z4)U~PZt;m4O_E%cB(*Ws&wbq{_V5@9-)Lt|14hS(zgJ&gGIQLAcA>s@G|!JnhByIALo(a%cm91&yt97n0VnKlg3{{3LJO*iZdy)mZm1`qld;?>P}o$0YW5G3 zR+$+Y<-AS-r5-T9Dk-Q@0Mp%YV)pJhICQPK2HlOGNeW`isozt1u6iCL@9a8cU**krM#uDzu2omSHKu|tk? zENoe$2z6RiPAqzF{tH%kX)J%p9+iMYRFF_i_e>lps_u_3y-R4ELh>P0#4>C^uwC;- z*JMDg2{R|QA%A&N{Jz_hyUZH9Qhy~H%R!zVp2pB;E3%-F;^of6{98AQ@7?SAJok-k z(FB2&u9#3oPx|Ew#!a1hDksT!QREu|&3_71H%lQs!2&s2y~kefSr5&;c4jDI^L->i zM5p@cUwNO%k1I6ESO8kW33%__W%Q6i8Ity_bK5(VPBJ%9Df_CjoIm9Oae89h7jBZL zT623wFpQEA$bh%sJ)F+Y^_?0bOnJTRv~Hc6My&(z?BC!f?#wGR`W& zH@PPAZ)%ggj%C9{D8ez8$(Z9qlqoXlaVtCnX|3>r|9{Z)AuKak8*ZaUWK=KGy2|V4 zyOi12jHKNqeDswUg^yoy4LKPv^;2QpCl7L)2wGS%-)HJV*WT(BKh$p7#~g2I|Ezf4 z4$AH7k}zTZ6EdzAgjqJ0?6-^UqBDH+0I;rvFpEJ)n~|SRgz*J9A1TRZ;#H*s-j+haTJ6_ywgvbPsXyJo;O% zb8!(znjOx7=AbZUcKD^F%@D0Tw1%Tx@5|m*DYBjR<-VAQ*#$T>l%p==j8h6{B3m*m zV^6i0I-KoJSyXQmZo}QO%Y*1$L`**g|JJqK{U1gA*^`(*&V;vCNX0MOx>7$EaE!E& z6CSb_rxYM~zE(Vs`riN*@7Aomu4jnor)XQrTN0ypGQBSJ38_3+7DNVG2{mw$ik zu%>ZB!dXM(yP%(15dOYH!qV{TZ}Ig%8uz~WpwQGNBEdgFw3ou5oV&)8m+)dbT&GcvJ0KV*Avx_^Ox4Q&H$n2duIc`)8p<8 zUSxXAxoD%YhgNJ@0%`2KR|ajdE_B{*&;1nalUf*V0KT^B$Np-a##en3?RvEYdhnF` zqkacMehzV{-rbn9k0sJX8LXZw_vLeImNZLw3$%+IN*ERYyVsxBUhm57C7)Jf|T< z{e5o^@c)vlJ>#Tk(pD=T*jw=v0g}FyMlBPLJW(Dr^kTf{-#~>JlX;!z8B6g94cn9G zB+PxazP!~t=kD%8oU73fn{wFs*h@aK7%0?FTP=c4g#(8$O^9qXEX-&v(`lM*$ICoThKo1EYHmS-xQQJ;T7XH8wV0-`ZN* z7|H)bBnGl6m3q2ZwjQr1OAYIXJ}XmR?FQTu`U9TV;N6VDS_HlhxIGP6pQ>U_&&UYP z0@P>TyNRU7Mu)exwRLD@r0sBR@VpBUmjUK#1p>x)@q4{Lh^VRA8+^tFQ0i$7v+*wD z9HbOiQ z<7v$OAy8w3`-^oeP%=b3!!&e5F2~X6%xUi4KScm@sipckRn-6HKP;qF``>1F$!Gb2`lM*kgX`~&0D0h5gQ zY+TE|cc{`%>tCF)2fEAA6_^CDz93}Gp=w8CI6j@sGyv}Z17$9eW>P-lelhh>UNfsX z9(�bMK*xO^qLv{66LH={O=s@{_& zpIw{e*5>4ycATv~QjT?vUJT5^nw9|w{^$8;%O0%lnnRGA%iZSlx^aoys|ujVbNT@! z5I2j!{J$pG*+@TvaFs=?NUR}|-!J{l-+L#zxyHz99qyk%an$t&!gfO}k!MZr95D>p zeka8yJqj7vYZInqE>04cqL^>nLHKe`WDrlvS&B&k>udBm1sGz2t(S&Wga^Pkk>6da z@%=}TGB!lK6Qqj1yME%oZ9q#Wvx`WZ^;|SRDbc1_(d`tWr9t6b|HnuZJ}n9FHUe7; z_@$^cXaoXM)n_hne_t9XnpWdIUd}9VYTS?C(2xhVOw0`Hr2$iKof$EI@yL%KLlCfZ zy0H7R6lt_!xw|pN+DC_1z;R9nc%Jb|Ntyb9)C1)oa3ih58y6QxCghU07eN$7k3zbJ z6V%w)XyZZ_0BQPwRW3w;Hj6%!Hxd{lP z->|LV)51`kYR>$bn3uZg`3iXv$E9l_{F?~Leu`X$o~l?WO|(tSx)F7ih_0UI@#tBv z*L<40o>g1rg{QYJ(q#+{)R8vny1%F8W4hi)5fq-4XF2WbOPDV|vK5(_ID)nVS`5-I z^I~JUt4)C0x1TZoOBrwy4&Wqdf%#1@){wb`<1d2{dU-PKcpgcFNDI?A5?qf?NEr9p za3!zr6bLfv%J8B-6!G3v7&3dyD!OCb!cs2`aq*99M|B+@a^u;7+*dh;#)QRk&x@e> zl+=zp@3*)b3tSBqGS<;X!(C1>6^i5NInGf!$4VpTC^_H*9kJ`2pq83x?tcr^0ID*; zVXdkTT*yQzx3nteKwIXCh%dpj&k(6K6)UZV5!v;1bH~@;*L**9s)fL+TeB5BI2#f1 zFGZkkN7#907cV0}2~mlSB(<~J zV~kQ5jx0eHi0F(vyKr;CnJ0IjVd#{fBXa_G4cwVfDIQqh1$2DMyH>KoUQF&WmzL3N zu~z;R0nm){@~-zWE1jYCG__5;}Nb2*!`@h zO59gEXY~*qQ84yXOpXZGxa{1B)= z_a66Ds(EG3psay>oQ}09B;>yR5(T3^Zog?aqdRk-bBZzatiPA*+l}vTPx-B0zL|1O zg!KeprJk*=$B=X(xxo815b)TBXt&RHMK;!#`&8RZo%-Ce$wshV2f+yEH9#I*?)YbqcP(+&IA2%Gx$Od931*)6wG-Rh zX&!UYE^QG_K3X1HmBS_}O+ue--0mJRqQ|5;^73QhqZa6*ixO$03BRK%Bw@r_orWD} zQ^dn|M~Hotc3~K?BrPKEXD{^j%p<5_Pf0Ix!ql0t$VAERbj`P05v-x${&dk-Z)s;^ zVqN5(1=3S=UGleooS!=oDV!v-9!A5#k`7YxYfE5iY~6|=YH%#!X%7#5z$ks}E9*_K zQE{q`j(?Xzd5rh1mxLtIA$WeqRV<;O9gF)&k7tn+D=ab=Gw3YZoaa{*rkQgYp7C93 zlqxJEW1(Y5^*rT21HxjP-k&XBtLzc$J(bVG>uv7N7!_E~ZF+GFu_Z$;*Q`~89OZ3kvlaGMR^MN&)6>6|g>G$PpOvc*pq<~pqr+w`0jJM> z$G+g_kx1`rw&>50+24!IM*246{kp}+ha1|5HGlIaqPgY)2#zQ})gFHaMXtx-GNgWZ^l}6)CL5KuB#K{T4M+}@u%|WL zB}^zKbx|J+#+^LBwpw1yw}|PUm80qCL{k^b$5Fv;jVmZ7LK4140z8EQQ$3T^IdRsp zM=`XkUAREx7)8`Vzs2qcwf}QQl2vg`HgN4w`0nu^3Ph=E%D<_jjBQ-ie*Y&+bAnpK zElI1*iH$q~CyW@^Y_J!ONhIrpc}Rvk77A**eg&i?ffN zUEfwHCh1*h!yNn0u0x^e;|lG5Ct~p2g=koC@&!gOXmEf2w;)P9`5!?v6!XVv)#nO4 z?;6@XlxydQF%q>UVOY+uRTq|)+LVn1L6e9iiK?wke8>THLQnExY+m^YJ!ii&I`dhi zoZs)FH_ugl$Dt@i*UwQ`d9Srwq^c=ZAo|WSP-q&pvre@`2A4b)K0bcJvrk?}>u>JJ zeA3-hU>KKb@png8>NJ!o&T;C+tG3L*X;wB=H_X9R-16WmF~B^T&cYN6 zaE3tq_ZAS2j*jri$R76*cg;2W41YCO{BE{LjXs32p$hTq#z_}DVrU}gBGWWb$RflcsAsis6VOn@{Q?3K)KHExOpn~Mky`atSy$E=+t5?)2v)oQ&)P-PlBLhk$) zFms5WkPrmZRb-vl9a)s{^3_wexaMI$Y(W{F@ zxC)Z)|8QV+9-gM&svnc9kLBD?ZYE6Inl#x@_1P1yr^>(*HrZm`@o|RXXt|}moKX=l znB_*RdZ^*1{|bL@XKT2`L&VNEHI%Q+x<*L)SWSJU-v_0JKA%|et)T3%7vlO|mIwx{V3ZmN^@i5a=>5c!rXq!* zd_z5-#(b|HzAxL@s&;LI$6w_b!t80fz+J~;vru57g4R_>B5{0G?|C;Y zI5SC=>$ry$ML+Qgi4->O>|QJ`Zp(e2keV9)U3CP$O%hpc>C@H@r+?n;O_tFwFMV9p z>a@`Uy=bl(t*57`2|*A3XtvNjqc`+nJ&sbdf7r$TK{b)wwa!wA*&kPkEgV$gvhvJr z3l=L8!cOu@BT^+p7~G!*f~LFdPq9Yzle>!{@^TDN5_qIM zzsbq6k~X|d#xN5F`sAR=sqN#PRSa7g`5-S$kWT1sbcU4~OWe)m?I=9mN$=l>YM1E2 z^RxU3RwEc5KaSX~YWCWfO3{q-<15~!XFukK9dpTGS0q`nyniz2K$&R?F}~K($w$~2 zTzJVOD=VfsTBMENDQ&o~mxNL#3chXy&SUux1A@{))9^2cfhC?+BCM%N9NN|vDzrEO z0VCPj+sigaDAzM5P+Vh3;y;xYmdQxnL&5JpKS}|`fK<@#VzGL<5?Gn``->fC2fdu3 z@{1;<<>fwglfv}3Y!tTXzF5B}{?yb|NM&Vvwsd%i(Bj_d=^Ac0AUt5YewPU9q+p`` z<@1JsTyJmu$jHbRns2Ym03;e17+C-D2{QmrPM7Bf)B$a_%v5jhM7;-kQn6UX2gk3D zH_!iWSKzJw77+`<3g_g1@*{oIa_oM3IIg3+;Tvtt60ui7L&Jg{Y39sdPkDmmq3Amr&!)e`4FHPrHbF9Vb z7J(!CSDK@NFj*u95h!mT>Y#*p3?y@bTmo%%w0E+f)Z&Q=7mDZcD=y%dozpWa_de-# zwX5QlJ)}E?^X;e7 z@y1K~akhd0e%ZFbd`g;KYlK={w-m;V9mBou6;iMy5WrRpTv6Q7LM=?k`6lAkh@~#t z0GTqQMw!O^dONiTb3RO;Pj<1U2d=s1Cb509h0HOo{BLO5eqO>qtX!5?SsH3RwoT#0 z6c77UGzg!WicEpb(xx8h%*+UqU)TG-HkvPnR$0L`%>LYJ1EMs&DlF7XXIsW1!QBY) zfHm&*7Zye2XpTR`1+w_}T-wD&}@Z=%sp5x>Ag_k)0BW z--XXQ8d`tJBgjo)zFnRh=>PG9NxKagNr3|TXZVc$LayooxZn45){~6iE@e-FYMcJs zYX66&me)uCIMDYK#(j?EUV^$doQTEmet?C{Iy%1D>#F9m;@{7m2J9+ZGc`;&RcbofPI@GR+68uzzkg}6A zxIdPo3vhkqyf~f6}fGt2>_Em>kK+?>K=InwpRkggJNqoCHvx}HN^K9~X z{qs1+w5Vr}A2M^DvSD~`bphPF6H9TweyQvO z#r@~FF=Mw_>|shoodj#2HwK)RPOLN$2TiXlTOpuxEP@fZAPGk}&m+9Gan&{xeL`PG z?v6dvMVvtC9&uofj>i&B0b?XG8{obbdoHtNX3Weseg+>y5aC;|AiS}z&1Jdt{aX09 zm{`dEH6DnMeM#u%&rI3o-!f%HFUfPl+{0*LlM3LfBm5sVD=4?4NE(OCH3OSI(RqN% z6hkXPW7-*mPZP<&z<>lO$(=w9I#g(ieWT~ey1v5`yy@v)-?*wI;@V92`%nX)oSVSJ zh(!(ER3~i0m_nCqs&E0DwKa5GS+Wx+`%hchPX0_9_M>cK-7?Kv__mT2B8;!&w}-C54h57CbuF#*lLV-L^16h9R5^=uH`dVDbCIn>sicTPWj+pgH?!zB2 z&CLrh&TFA*i5Fhf-ej;q-QLd$&yGy0e+vD0`#(2{S%f9^E34;z1|`j{c^abM*>is} z*?Xzq*R1A8DzSv#N?k9|62$k>v*};C!X6bt!2JewZs?4Rj0!3wo=6gY7j9VOJThK+ zD`xv>n30kw^PNNrs!GHvMSxyN8Mj{9;A5J$x|aPr#kC^3nfpY~jSI2OrP^Iqk1q(R zEkVu2m`5Y*E`Fs=15G0b*$^=*r#%!Ukhig6>Fe)zUhN|X_Vz4i-MJ5Xuh6&7&b&sy zXrkU;j5h<^!O7Ee%{aMH9C*VY^y3w}?ds9Sh_7nOaYP57^P)`CnhM(a+TUr^AJ)bt z)O0OnvetsT+!el^e%2998Y<)^&@)-qeA9z^zCN6*c-=miKk;IK@Zihchxx6B9{jR1 zQ*z>sI{cFjJNipkNk&$Blh2C=bjxmmnPk`FvHuwy^@hI;P-v4btN{)5>f%uzTTYT9 zaOA>RnX$99{fO^oIoTOuA{jj97&frtNcni0{X-p{3hs{Hp!Rkd0GKV*dmsIwFSW@% zFlBfX3EyqL?c5wII_F8-zAoRGC^x+VtR3`ozJe8k5^bZlwAi2hooB#=^qMQ*OG;XL zI7c?x6D;=Xz|3D9FcY&-stoS5r0}_rt-2MRra597$FI>|_pHliAk)@#Bqid3`uK&} zZNFWWF}&=nn7_6H3_dpgrwZjjzM1^r+mrq~0a6Z41CLec5VLD5D`IU+RRF~NV7J_1 zw(d&S0&shJj?`w{48vD?$J@r1u)mJ$=vpo1`2vFH`P+X>dPvgLp&CEumuh}h1o72C zUDtMQ`C=t|N1Cwv{xoE~`t?(allAvsDZ65&H>0SG)IBL2$L*pgrugGvCo8lW=Q|oc zgN7X5bMn;0+Cf3`DdQe3Z@Ana$wbNZK`g*Mo0`$&pSKaeg<(@3>>keF-c);pRBaQV zOaL+5^_O-!BB;h`6s@fwEOPU_*u;a^cb-QW5UU^dsv~{g25$b%m1M4-+A0(qv>I2l z9d;~wgSZbYHtSCb0wXy zwWynT;rtOl<_@{1wP}x;jI}aM757{E9AJ=d17edWhLQ5V)$~X=_4$iMDzOi$$fB|k zpHp(V_rhwhK<&7;+7u%=W3?;#eNDk;Z$v~M;lrMNA~39TdtFgc0rXwKHEXM$_b(z| zD^86W>UE+SB4f-TT_6}A>Ul=Vw1NciWm;BEp={)sshBpLK^=I4Ba1_9AIK()=tPD#ZH~JL{<>i3z+J$UX6VO>0Rk+i80BYb6NQCO<>f9BqvS04H2qaNQf*?tB zNA343xom=+MMUv?1@gX*bUr-?2D$?}`H4UKwh#j|uvraT?bQM@*` z^!!ZszXIPOD{S~Fn!ofXqSE9Z8kQXAuVq9@wpV-4ety-W{0f-XfAggl`4@`AXMgqb zvir`ESf8gMpf(ut)&?`tqWdrjn~vIQn;wnFJrC>)ll%a^IO?*$jtoD3ew#%yM-v-l zGm6K^a3o9?7xQmM`FX=BC3&1EA`=Q_j>Tz)SL$r}cLvrYfESkFERj$T^*ssdv0qz~ zyV8&C9cV0HUjAnSTiv~?24|9Wd;2r)NaPC{5gFaL;C`to7>tBcz<~%TP<{gwlG_i| zEKl9kej17tA>_Lc?56c7BAko6GQegngJ8NwP_Et-!P%M21s5R zetpJMocbT1JKw9)U+o>w(64I`r1_4+Cx)^!gxwc8MOisYaBZcYq1)8nhjB-YJSb3sOeF%{`MP?Pd?h7 zOl(FjDgYRC*@@%henL8P{3-)rLm4(jo=31@8WaD`N&bVx?jb-U^LI+j*_>+>xy_tJ zv;O4A0|Kqgv;KbnI+xcCjhJ_P@{gFiFf$PjkS1In`3Q6?;OM)`Un_6_{23}A3iQ?Q z`I79(K(cTv{t|FKhx48iQVF>L2kCT2R_}Vuy}KT>8NJlZ^gDCdAFppP3cX58QlDA8 z{pVP%_3ZapJ&ikA5w(?tX1faPQRCv`dVJJjKgG>2c&h$6eDU*^Fq?4`O(~7zbK;sg z=2`pncer;Yp5^+K@k*4bk^@V4&! zRkXt?96nw0gx~ZblKkbZBa9erBrasE_3g3DnBO)@_YmwKbBv>Ru$hCB5YG>baJ+ zDji2C+Nl9QLo&q@rfEI>)_$NG=B}qlLBVeqp_#9O?#gExJ}}wB;=0<$d)59bW%r79n$UlYMBbVgB*Y{_>?SW#QO{ zA@6^G!w@P@E9`yr_*R@rIW14?MX+UvQP^Q%C)Y;9y<~dcUZvmYnN_!V79}v@sE_S# zx6N%5h*YQhTam4$2Wr#oC5y_grD9q_S=JBoBt>{(RmG=`zk=mxcK>3kvJ$R1v{Y7 zMMJc51g%QC;uSEe$@oWHkBj`3iG3E4--S!N50p^zeB13F9{e&EYc2PWyU0*^)^XeM zw{)@m81~|~wK7P>2XQ4PBmAFu=GFkCopx+qVPa%s!vaPTZ_-h_m!x^t(mGwY7U9nb zsGs|c-`KPij7x?z+b(~q|5ZHi96H!;IB$fu-f98+XhSKt3@eQISx;I^@6n2SaY@kB z#Ki&sPtAt`-CNVB$-gkmeLr0yAX6fsf55atzitA&cXZ@tHvs|2PJ(KL9>=f^5v)T1 za6Mxv1#sl#slax*h`58JKEr zg#N-`;FKslsywS5W+66XEMT0o!%^iA{44VeA}^Gy9q1({ z;1nGRgCvQ0%58Q2Kg_*lT$J6~KCB?!(k&&@Al=eRiiD&vbVzp%5<{n`Gzdr!-3>E@ zNQ(?HG|~+s4gZV#_TGCx@3Wup??-s&{z@gkpV89$bMr>FpvP=LO2u zMr39Nia{%kTYBR$vNEm?B@=)F1HnSEETy0yi$MoC5t?_gr723J@|5Sy* zrydH&tR$INs)bZ%r&=;+QeKC594?EIXaoeAkk2TvCQE6_k(avPCYHlQEqE1u4v z!T;zCbBb-G5`M1T%QUE296F)+aG1>3S|UZWU)Ui&Sx^Eu%z$0pO(MW=L1!9Pj8!nJ zNz14!pDk}v%z|hg{nbE9hiqhJW;UI!wk*;qCA&FWAy{H%iN<3nDJ*=wLHoc##F~ph z{9X%sK;^i!ng_oAOWi*`m6QPaQ1Zb4^6uw|`JaNB;B1PZo71+4Twp;x zEv3#=2)E)*&{jmA3ls7zdq{JtR*&eLG`T_uc1SsN55hB4qGWU4#m3?p85xC&q7~wS zX#dsJUH;wFW$FLZ)cp}M=@DtnL_vY6W6kntYLXxatJ+ACkMAe0ec0UOY>pg;|M_b2 z+3|=pq-lAk$&GcU!D%Gi6J$FOfJpmz^Y^EiJE6=BRe3pIY4wz!|J<;6aB%S8U`Y;C zF2cyflv7c0Th6NlvJKQDekBG}2m>{0m>80$;|iAjdcMv+8Q8$-v6T57uVKYw|GP-e zkRW2Rv+1dX9R~@F-e+Y6$kx~ZsL*M-qK75`ksR6H{iQPC`@KSM{^Ln|&BMZi7J@;b z7){1?_DxUWaMC2OtGoL_GLH$_8VR1bK*ipF=@AQ4QYe<@?0ebYROO++DkiZW&LCPN zn~kC5=k-5xUeX*p*%%869C1L_bDa>2M|IBs(=-B3Ht#oCSy}$1P=F0t{EKiC4kVzH zco!7ZrQ~;jCKKNE2b(C^1$L}iBBhdZ#agUaryaMXYbAXsZ91j8fJz&n>Ae5d``#fx zi36*8jm`{PKZ--rg`Ke7q-(*~zEVG?LGFA20Q1+Aqb03Hhah>F82c8x|5FO{(XL3b z3g?)-;Vdu`QYV2uS?>_;SKF8;2+ZJ`%)1q>yUlZVh5+UKWP9?e%;f(4`>>4V@$yRb zko~UR#*Dng)aUAxy}5LH zx7J71)!0JlbpW*RFjaHJ`Fc@6U{bJWc1Q7z;-3%X=6km3?r7G=_j)pBQJC029Lqw1 z^`pfD1Dc~ilb@f@Am*W?rK|1X4G|(z{Up)Ota;rZ;{s4m7 zFaS(D$jc#p(83a9%mqH#n(*f_8jq_~?@Owa8>>+<{PDh(V7vPJ-z@+(^PJz~E#a^D z+yBLhpE&5CGNq^p)CQtP2B6g*gNvOo=(=yl>CDgTAxd&gYo2AirkqNOOG+^l6w@k0vz%&o4`W%ZIX|NgFC zJ!*oBp$RKeKQr5S$JOxW5%6kbc=_QCfy~Q1Kv`4=-F$(O-@XPmqq>h_=H*F(j%IJ}ex`leU|5UI52HS&7iK+UMzV*tb-tki9tCP3PG zn3_x9L#1i%%6-M6_lqWc7ks5mgl5QUMuR@GwzSlRAs`+V++nr{+ujqLmRV>eX&PosJ6!(In!$ewh6c`h z%=4zT6IkgJ6A~T`YHIkwn|J=fT>5DdG?bHC6brb$pR)5*?1@u;&0v~1h9vm`l~^4F z_Bo8cP3}gsYJDhy%dM-&W73|nPrBZ-2e%4uBIh#bKK(qwwh=HjLygFI`ey<~$;5qm zDSZ~+%~aFPt5y8836Z%1&)elzo^nyQ}t`8JM0E}GrDT{OnsF8X6%<$On=bYPFC431xA zi80i7@)MUKQ2YTs{NJ0^x+5|Kv413rkbla3Yv>8^2jeT+FOlJ90Z`D61yrmA~7)$Msrwsyk1{le|2d#eur*n-??)Bvx=?+ z7=urGensmD+=f^>tFT!e1|Gu2aH`_f;g-|NJI#yX@`s94tANgz6dMg#|Ke%IJu%(7 z;q!gM3;uBO{jd1;Lc`v}GTOBq(D6k-XL0Th`*;6p+%!@ni>xPIoDJMI){3mlic`Sl zpocgH0w(aM-A`_K9Q8PeygVfAUcU_+!&w7W>Z1u5EOL?f5-NeION=y8Ox_mIg39Ere()Pfi{K4;EKL6E8)6Owlt7*~8t%4+IPblv zDb;#@F`XX;y=BrW$~_0bHTAG6*{g|A5ouUQ6Z?H4NmMOp41}A!H4RM$ltp);LVT9X3Q{_GFf0m6B!>#De!UO8m zT(Y4N!!WIwG`U>MX8{1r@aK1aDq>k^js&bX|u1{n~TLKK8r{2```M>mtPHsqPw`0<(gk*l7B?iv)=2AdZ{u z4T!3J-0OoK_zqJqWiU(9(EAG|HDfK1x$yNXp_5V$Z*_Hbr2|q3JZEREXU%c_Po3*cL)(IH|gLW9E!b`+?jQ;{oEGb zHK6`CX26y(OHDb{^DD{C!9oP`BrV&Il7=YiHkukSn=2b{`mPq`3*L5KbN7Q4?%pHv z^hgK<>rPdbrY{rMYVPjmiNx*3#D`0FW4e184^N1olEx{i8X+8f&fb1FBCfBO?RTPzKO=St-1~D%eS- z)zq#&XVEmpTt1-u`-`W^od6)Wb3AwbwCWK}YjM|~n0K9Ea_4N5TOn_QyXpFmiEF%k zAI85qrJ2R95a5>~*reaOyXWmyRbvkJbS&BJCrZ$Oh`R^q=tr-ETbi1%q_5Zi?&fw{ zeQmR;1Z)6s_#5ZnHvwNX?~CjCD_*J-*d?F&RqE>xet-Ax;=>t!(s6UbLqSOy;EbP6 zOIGo^f{u}qF;w)H=HJgU@s}H7tVomT&J1w&!tu`XQmR{a0Q923M4|jsqFyBCx4FU{ z3n6;77xx?$io$drHt+@lt4uUKLir2CcloD~H4uhMT5*J{pl>t{8bYZA1`jq%P~}$! zY#oP8p0Ot1x-lu*tLYWC1tT3lm z0&YH(7W5w>K|0bgG&ZQ_#!R@bcnZ0_o}W z>OyBdp8M-N9-!6(wug{|&> z9qsL`u|$wcJg>#qSZTFl$f?|3)czTf=i#T?sM>Vi_Ya|3#WB5A<;^zLq9Ph)3(F*H z=dBJk6p%5O%%3*tf8+dL#Ch1iZ4 zEY*xi!2#m*%x8uWu{o~=dg=3syNHTEH{Ju{m^5^7!fE`^)T{nKEW}R!A`0AtJbx{F zX-qhhL5D*zpmQJcS|L7}ir9A87@7--Ffs2- z_WFwGVK&=Vk7W!6=o*ml5qNrfQb>bac?)gyWQfQHr_Ddr^oJs4Kr0`u$D=COT*T87 zZ@kaWSj<%H%^$A<37cbfEDsSZ&todB-X|rU!AApu_i=EOfWd1`9xhpt zC7DwnCVd+(eM7j0Vr#p_lgH1`uXXt!0Ok(Zv_8mc-EaVQSDtaD_wtLTh{AefsgL1F zc1OQ=4R2rqhK7c%KF5kF=^X$SbFkk8z@+(LyV1`;h#*_dUk^1;5VHPj&TApZZGHIb zpf;XgDlzr_*om)MeCCQdj_0}X#XtRDUL`m_R(SZEV;q&>)?C1MTtlUu*7|~(>2tt% z@ei@%;dm#$GH7s&1*#h(3kyVAZ8TQ_2UsnzN1pss(!Yd${bL|GUZEkc`wE`n5Z>`L zh)^gcSkw*OO2#=hU?D}=wqsOXyM`V-mtdhq;I@>c>uj2hr|_94WMxVE>n_J8+T zgOHwH@@}!ev+ZjBO4U>j<@Dz9)k*q%SZ!@;{oD;t&Y+X=@@Q1@EVr8IV#pA(nk4qD zAqrJpfdl)*zzm>``LRdJ>AP#!nt3xXpQmtSX%Hd8@o8m&t*mC9olY!iyG8Ymc7L`m zq>huq&rc`h%i&Xr6{=n72`j9-l+*|wIDNV=(kvnb4SE#n0gBpT&8Q9Q{ziILH}=$o zv-~wNlT!iNRvlpV`^9R{S8GjPTgJlX2D%1%?&FoPn$lc)X)vy^urLJ`74UJ8!}#a@ z&W~8a@M)t4l6ltsx>A3KdZ1qkpM>oaV(96u;%{rr{kbyd|A>Ha1uh=FW8Efo55wHt z-ODHn!c_Kh$bxfrz9b4l@~cjHjn`YO)f%A`@(|lzC;?=gdPugufx*!} z>$-N8nL@4YI66>Rd#lX*&fce5N6JQJvmK;N?}iB3J0Qtb zz;my5{@kF%|IH5dDmx@z-^J4;ixb|F=;-O;x_8C@W$@E~6@P&?GN6O~W~LYIL6M=e z06^<>^e_Omf4ByIUaY+gaDK1^2D!69{v9D6R8&;$5^b!2i(g$OI;CgF$l~JStC5u1Qhqe9m!@F-Uel@)UR}LsqJ#!x4zt1wX3-LqD2tktIgq=&Tpb%0MR zW(tt}SLU8{et>V-zjIZI8b4%U8Ran4sYdEROpp?AAh~>FCDHV{P5t}beF^pVrntK9 zjnaC@c&VSGbXeDfUy|M+&(B1=A&?zQja70Sh!#+GM1c@?oLwZy=P_zb*k>Rop!Mv*At-@$kuj6ha%8nEUvG!4w90$e0_U% zu(YwzAuWBi0W3*QORW1<^9{`%IRYAKP@|?-D+i^aSL1i4P;;I9DfA0q8Rj4+_N&+_ z*|`E%p3eY#3@CXiOcY9)s~D64_r}+3oNP(IdfwAE;GvH8&qMCZDlb`pK#5Lz0MkZz z#{~du3`8{a1KnT#SS09xm{t8Cysg0j`FM~`6ly)h{nT92{&)LSk(G}v@Z*F8LO>xM zE&cx4bK5)7TUvdnAWr;#`(>Q;jz1uX2LY&v%#fXN&FKfpRY{Wa*mda8&=3(31NdA^ zHtNoqDd>Q?U0KNscCP|dX-wSQ>M57Dm8ApIMOM=wNy~2}ORVfO6bLB0zPESdK}5oL zfZvPY{vS5M65W@r%a^Y5#>lYUy|F93ZxA1@F}Oi$+-Q2aUW30VqQ!SHR>VuWElC)v zAE~U{>)I1Vy5GBd!@7fPi04`EiUKpUvf{Ya@k6J5?CV3cU*;FL5$^)Y)$;iMihC07WWmV^ehSBrw11&n3Ue z{|u@x8ujHlb8XYV@BDN^CL1SmUq}SP-JZP^uh!m&3A&4&ws2!7KHmrtR4I0-^6GrkB%h2WO<9h-^n=xp~j0{#^s(JhIVc%oW3=|c^bi+LS z{UzMp-OtvmL9Yd0KjH}3&9vbGieIk4Y&zhzUkPxm>0$mSGcysnSj5$yeHYp@zd-dt zax(=NKKpy(WnV8HD!Rz$bOjde>WxSj{+{Gz);%CxEBb_e&M`;=Xm#g~XuM`{q~t8Q711IIK+cCo4SW-Z}vy^BRF(^J+RH z4Uc+GE&rPvABdd3d)-I8G?n)6q{Ocib!7{2r^8yHp@Mm_pt)LGt()ecw?K|@*La}@ zM5*ax{crVJz$`(OEJ31#{#;XLhVZ0R#q{YOqZw(5oX@_n$c_($t^IZh)D_(RsR*E+ zsCU?1+CJL}zRU~br96RkIUin#kRVtJKZ7z)5oLfi0}kjs1JJ5pA?72016~o9XMg*| zs?~<1O94hI`4RT^d##kpVbLep;<&@$cw@BetgOrw(T`bw-^v{g&!R#N7u(0Q+G!QM zloYCh@dAO+x1rgD02>XcRTV+T)wO)k?TOOx+ndu47*qKIR9jX!S9U}mv%^i`rMtEd3ihy}ZczAd~!+v*?j3r=nSbP{@21y|@9=aU^bkdB)R74I+efbM(r%ZsE};>|R7vluvB0&|D4<}Ozx z9`jt_E>q?U;gsYQl*+)}y_PpT;XQ!!VlqH#{m)%vXvKBC<)8NhR;nIn zFF2qB)JMSWoiRL=+_${e+rP1}iu3EjinLr|UDbjzIM78Nsr)cyny2&p_QCSh_X!a% zN3O@}Q~0;PyuJ4`qHZ!B#+nwqMOq+k9bH^o{hplDE@a{0D|A$J4afjqpb?Un(&U6T z5-mKN;bScP{l07D-Kis?ANWfuKm8WLTu2~n1#gB7wDjgBzERro&&2#M!O2W$UhSm> zD>vzjp8M#(z zH@~?Hs8mdUcs%xebD$6!&ZJ5`(g|6wSn|8^6DYF{Usw(bt??|%9Vc1wY+l-mlPO|J z%td~SKJYY&cdSE#Rt7qxs*Q3T{u&QloNe8NjTBh50#2>XG&Z75(R@__QL6JukdY#& zy}{+M8!SS=ANJ+szI?t^=Z@khy{*y`!SV=^2h@_>(7Y@&&47R@C&_q@*X4`f^tn|} zfQaIh;6OSJx)?5p!6k1VyywR-?V7NZ(?=H*Q<|(Up8isXx^RUU9Esr3t=GlVtd>Ej_rk7bH(>mT&s>cIANY5pKZ12^N#JtEiA(-`xK+f!(r#= zQ5$Z~wb`ig89Y!vXwpB2@N}gAmFR1A3YC6{Xh4-}H_FxdYgAOhlH33N$dRZRazEZ8 zkg;C9W0dbnx@<)WEqMLAz{#Q5FJ9>VnonvBA2+%jk#0r!t~f`V`bwE}LCwv*m3EUf zpJ*|18f;1R)H^~B;vpwLDi(|W7f%qA`ojT*X8chH*F(!Q>bOzYM9G>_zr0B{nJ&XWMgwZA zw%(K2fX}Rn&tCPDMHA4$6SH;URY_7MGuLrH#FIeX*Mo2O!)8ZInOJ!!j zBv!*2p+RNac_TUYQ=2a_3bgha)Xrkx=g2Eg3356WhKP-~;xvMjmV`#{ed4%o?2yHE zZEb78H$GA2y99;tR>Y`y!k?k4Kz|Wi;~jpW#B8aj*>&GCP4nVw$4Yf_w$yansGkZO z&A9xWwwA1!3Y@d1>1JFzMfPnsm?W4HOG=#fWuH6y9_h+J@{SN8`X>&}l*gY3G2wNq zyPvhJsiKaFlGReZ-7JaHw(C3VpHAHy7y>!_Y^c{-=GZ(%J#FHNV3fRH>{Ma8_9gn| zV@X(+g7o5Nr>(+GOIH%7{iU4{?>!Z6r42{>=Z&WbGxz|3FOBVKK`!@c&8Hpf$o0{} z_YXeqf@OXxAq~*|8*bhm^X>2`ckWA;ejW}*K3}D?MBD80c+k*`=9r-Gh$&-qYEw}>K-}P-6%>8=w7b^$UroE+4%te>)9dq2INwr?)o?*JZSo6@!?HXr(?3jyKhbr^m;8>iMe&NRRqeSPC} z>TETw7n9+K+f}U^+Ux*(RXCxy=T0FNnMQ>%i8?<@)$D=3vbf#a@>N-$wth8a_WQZ0 z1=}74%j!*7nw*QEzPGZ}Ps-F;6ZlVj`zJLCS*bzy$Ph^ti#Nq5XP`}dqj*A3(niT! z>yF({s=^_W!zT<2c!`YXEajPv@2un1O|J`%F$Z2f+MITps_Ml`*N~7!xgDVN7TFHa zH;o)1 z;{=^&{88c?g`uhk-PN9?k8DLL?c*i8J4T#(u?vkG$*7_W3x!P2mC3JeIEjvaJjByp@BQB90Vo>X6i)hLNnfl=eKZisf-oyEPACYO`_q#7IDXg%M=%UgYS zGn%Qv-;PIjwbvM0@BEZ{NLV991<+0Hjql{b!M#DW<&DHl(C2$@_-!}*zv(4nS>_o3L^Wr+~~+W(%o(f+$zx1-C9r?M{B>(?UQXM`DI z6Y|^H^EOv;7K)OvX_MK-?Eo5kva5UK4TRviQkd`4@>yxfi8N&Nih)6A(x z7jp3NlIPFqg_~{eosMCLx2x~rbZgbmbnkBa8ZtYCRU|p)V zqUL^(&v24Y?I|k0!g~5VM-C>*bH)v&NhvA}il0V!gIqggncvS)lI2gG}m=PKR zT#|9wr}W)Ra_Sq}HG<$*f`d=LI9B`B+c>s?#HfjEnO7zb-OlGM=KHzSih$ z_KW1S+pR=CdagctKp@~e}C)SIbC3_pq z7g*m(*}N-TN$ot4VdPj9&c4-b?$m0XpG+#2&uSHUcLK={VTPCYaJHL2j`|)wra8An z4Vz5re7k1+rC_#i3v1h%hYytj!>_Ay^YlPnCFE39i$deqv-d_=(>0bhFQ@T4TzI(s zs<72ce|1(kHBEl#=$&`5UrH|qXXek2v~af)UTz6IPT$HM3*|aH*>X{}w}`m07HqeF zlBbc|P)@XVRvD`=Mpuy)BbP%NaX1q2MT?V8ggbbvYis0$ZZ<@cp$AZWpc? zG+lf^cm^TP3u^L4QuS2#WhFp@gUmYAH=ncEM46cSAG}leBK~( zH3X@%jP*=uI(_PxeSwen>ta!rW)krR8kGNq(&){xAFg-xmf;Tew+m;9 z(=tXU65(iE_BkV|B2OluUKI@$E{?i#+5)uELxpoL9&%pKhtSQZyGjov8r~uIN^XW@ z3QI@Zw(TTdyneLWVY&u zdyN}jm0m&W4j*K+`H>JCB0F%lYg@ETIYT{ul{taFUL$=2A6Qg02)0jVfQeboMY$9Jwa4 zE{@HQ@mlYf%?o&k&G+1R%+7N(kT>ro2tTyYY-}wOSIq|k!HrCAW}5-dhWk}%qojgacL*fMv= z{r=7sG(1z-Ut5<=VVH8@gk#LnuI8+C(*VANS?#TeGxH7J)(spIg@rAvhN+u+~@G8c-}rZhtD~j zGBPT_{qt#Z#F22D1Ja_jxC_tI^*T-7a))phYm-NOq8|-4`WuD5QPk~zTHJ}2XD+mI z=_uLbzd89MC(cGVx%WrdWz>*-0n}I(;%wbu{fXi6yKV*ByT<={Oec$ zU_Ab~V!>HC$CzjAfZm>T&}L2&Y;Zj*VI#+aP8akpuU$vnIZX~uJU z-|DgaqYoXUA|#q@Y4y(eN}`gu!wyf>p*?sxUTOT$@$u`bJn4pjnn*Va>x|#7lU!2O4AUa2_S7k)?Fm|CZ#pM?%PJvAdn=HGt`m0aQJBXL&&H$Tcv4xt zkV_c%)6)AG4WYB3q20GBwetsum1MtNEk-g&YZ1JS<+kx*aalgYNNZ=1Lzu5tt2SsT zV8}f1`r)hX-GeD=Al;CX_bs>MxmaC=jl#^WU-S!ru(g0`L4lt{j8(NoP7n=_mpfzw_ysWt1*^$z`g~%u6 zSp7uXE0LpKZ6KCc{+?#TJ44Rv8ljep{RCWNZxP0hHJ`I2mIV|kw{yFuRxno^#8SQY zp5Eg^#&qW_?g$sZKpA$gh?!ZDbcLL_ks-_-OJEmk6jIRaz9w_k%oz$_S&ui*Q#WFn z`cNCair$o0T1h7Gc{Ik3VYO;rKW&YtQF^8rSGg8!QSKwD6TxyDlmkSjh^FA!XZ!H- zr@a%uvQE06ea?B8bTv+{!sQNX(`bxfJ$c+-d@JhdVpuvWxvgn5(!2=Dba%i_!#k(# zn!VlrK^H|_A{-;X&m=;3!0Nx2+GPXFJf+UH@QV4gm3zK19--VEi}fAbW_bf2e4LW& zm?_!G;<3%hr4jEyGHHJKTu+V&I7(_b+wpSM+YA0Ij9{&%vVEWpP5_(1I3A4Q4Khhh z^=>Yb!fkH{c;cW@+D{3!;!z@a*>W;4v6V5Slu0c#`y+Ze%>g_9;3P*7w4Hk=PVp#P z>w7+U)Cmr8jS4&Wff-zj{Zcxc(>hpcCyAO;NtyaA`srF6#Y^M-AW&r|KhkE@pK{Mw z_n7h`Jn*2^+AdzvMcm45NHd-w)8dM+mJBL{5ja&tCRG?}Xr5DHAD(w5TE=X&RTwWs zk7K|2D5o$bR9aDgxpbWG>{1kGo3F9>;s^wQo$IhuJ)*el?7%Q~hk`{aLy6NZ7oSPg z(>{x{!FBkBqXE^PI-laih%h`p;4P50BR(azbVDq_Njdcm37qBrytCJa~ z+8heLaA>SV(46P%G-28+yysEp-09v0)wC7$Qmnh;w@;J%vprm@tEOdll`j46z(MCT z7{=z8^@9YDT2Q9O^Db9Dfca*hi#t|u32Z{JiyqUJK=zTL81Vq^=?ybCCf5dan2Qn@ zhG;L`^Xb-CwTDY8nMIIgUVyg1w={mAvE?(Vf(>@Oa9cp%Tv@L++_7cs9%?2oM&pRD zt!%f;@!eXRFn8FSzi1SDpD8Td<8^NQszg<3BX*ZUH{4Kn+*V|nv}b>aJt^DlG+BqC z${+}tNYq#dWjQ_l)ziL?g(>xj2>G4N(;Tr9=iD`nL4tK4${TYj&dIw{D?P+0i=DmG7TLU}?tLv}? zVb-x0SDh*KxuAh~C(~>4Y?qwn81b<{rqwR?Dg6LQ-TIu%j1O+_-meu|=?8^$N?rA&{XANowQBE7{fFagOgs8ft;c4arS#Q-gaJ>Vj&gwaYV0E@{-4gD%HJzc+m2}E8@LT>LHX;vO=-U(; z)6T_jJy0>iCW5=o(A6(lT^BGtws~<9JNzL$>-2qP=}Np#vtkm;aos#70g>l@PD^Wv zJ`@dmM6V_S!u0L3SX*yr8#B=-rHY16+FLXX@Cy?QiV#+0aSNirc3T;%CsK2*$PR(J zFnC61o<8vmp4hTr{Nocj&UOJQwJB^(ZfaeC?7A>ZUeD@j*51u~B%MB}XZN}MtU=f( zqy6&z_VurHTMV09Hnmya(MUB@68iG+vnR9qw`fvHwIRouHeZxXdL``lj-j@3x{{Aq zI*;8?vd8-|oJ}n8UZ5F5Ph-e@>wTW^6M`+dsj3|YAg1!tlA#RWqimXfJ!Z_^H`iJ( z8TC5DiZ>6D*4sZUUTS>Wz`$Ivuq5j&kVQv@V%zgc&zB!%>{K|%4WLx7eo+KImg-~| z=kTxlEitPhZaz4bd2qQ6-+fU(yDf+6Sg12szbf6u%KNRAebCoGgmNKXp@s^N&(-U9 zPlcsY)22T82gW`2f;xvN^#BYYK<}n<{|BL%n8~7beR|QL{7z}IcM`jj)hp$jHij_! zUrr&YM4yWGQk5;*@q+i0?zQ%>`$sYgK6F|Zz%^owR1oszdqoAi9$twZYS}ns;_1xG|+mYX}kExD+7=?Iz)mkRZ?rOWt2n-1u$$9jl znuHmL$@i;UE1#tzP44u?(6KKNZgkQmrp^BOtLn2smN_~wQnUn zJ|yHb_?RQ&e4y6rF=|?2i;)@ z68^b~IO|JQykTVRddt|tFqQ_+s5&MCGppz6GvezT=K&wR*LkWB=rZv7rU8%NAj6GW zF6RJIS{M;N!h^%-o5F;+y?Jm*FS(Nj zNk}^8^9?5Ewv6|ASw4306-d?n&lA?mGr~OBO0KkieiLo_DF3m<>%&uKmj0+~I-gnl zfNEtE7A_8~L};3!&4Y(WM!M-Ai>RC#1fCYV*Va@&i}8H?{j}J9+(@w06nUSo)X}Bl zWQJgb>HEA%Viaq#p@M*miOZ>O%J zYe7nwV^XbD`HR#XCN(XV^i0OZr5}!BBF(!R6)_ou=?5mmdQpJe)O4DFpKox@?Mm;1 zEN%V=y!t{CxMD=#E~DG zvDi- zD5G{MaoLvcG8%6675d)Jnl;2|*Ol~;PET-#tk(f?2%PldD=wCX+d~Q#$a!Ey^A^1Y zPLzP=1gYD!nO#H`BW++!$?f@OZIt241s_54ETFAiPP`Cbjn2o_Sz=cL8H;h;{w&GJ zvl6BM>K$7e?rGllsZ7Lup156x=((2F>tbvrvjc@jPLr?`*6c@#mzT?J@un-kIWUt* z>rg&a5@mW41@5@P%nCyq$p-@XlCBRghhwK2w}sETInFwcCyg&%GUDb<;T-MUH}64R z)o;t)Zdgey%sBP18a{&w*RAOMnG?e2*aN6DYyo)`zuZ#2En9{zPxv?}+Xz+4UlpC> zNfJM_CUktc8Vir)E0K?mul*@cc4G>Edrk1LuAj2;uVD?}`s3f12{cVkBK|!e_3GMz{yM9; z0yF>ccK(iLUvK>Er2+e!=H1|$V-4r{!R2-n9sykyKVcMo zJMhHTQ=*d%PO!@{P?(N7toeiPP5(Dz(RKJL=Ey)nOy6o%8Q+#G zN_DXDsDatLob>W#X(w0h;#Z2mp?k&@Lx-BXAEn;J_J_+RzWj;(@-34A`9}kd-U6l$ zQ}}^zLdsD0oVH_Tc~$6_R2=DfUg{dZiG~&_nmzs@aV4}OGwqA_=kQ`Sar5ju!17mZro|4eh@AGlZ3HXxnjoLh_!imock7XRKdBmZmO9OIU5uUek z^w-0|I#dIch)q5baTp<~p+i@xJb`Kv2L$diagdJI7488MJKO5Ro2s>C(jB3E$9>#- zmPfo*>dNBZD7D|lCab{YX#IPd0r#WwXt#^-aOOgMv2HUj#b%gD9cku=hz<#|G9_b0 zSzTTu0~J$VcjEH)NSg|3YuB6Owd>Q(3V~KJNy>ueSYFUTMWe4j6&2-g z4EuTd%dFxu%o9eLmF?9}x$SAw;HFlQixMv$ zeI8M7{+S=dVGpn0(Gab_1|hGRzerxZ!Q2*@O?}d1?P;w8|K++Ic#ZOYX58iYLjF02 zXYYuS->acpnujY*ji+BD?ely$PT*E=jl{?hCylg8{7y$Z_lot`57VS?s|_Hf{-GXr zn`KwW?XLJgbP@e5D@1Fll%>7?!`PiARwsPBQpmg^&9h*?4_l&Gudbb(Iau)KOV?JG zkquj=Akrcf5@bYL&LIJ?4O5ahwJc)nnKGPx%)G}*Q!)vsar6>7?nfUKDK9AJ;b1>3 zN73eE59ohms>aWKh1;=u!@cL!%8%vIXbKhFBg@U+>D>`+Iec=(h96%v1hJOm^rZ_L!mL7TJVx| zt(>$cv{!vg!2woe`MH`16{v&NI~m#gC+^%ds$byFlA6W}g}4%F*68M7)f3JKP`j{; z@jWJE_$m7-`fE9HaWB=O{r2tvkAWpH*ZS!T%3bVjs?5)J^LuB_Z|vVLdnz8?X0g~p zF+Y|pow$y_9O6ut&!|a)h4FARD1AkE@>2HnI<6bcx9yvb*$JXp%nm2bpm5GEq%ge| z)Gb}PDM_|Z?=l_LnW*Q=MA`}^noXU2py{Y6R;If|3+gTL+B^q>Fg7ZjFE+7m=f{sj z>m2uS_Td-qtWwZ6ViQnB04>EyM(jjsvboiWU4lROfy}J64$_9x@n|4{$v==)yGHM8 z!0DL@d6CKbmh|m|Se-`Y7FQy~x3Av~&so=d73N%BSA5ku98C8rQL_l*I$h3u9rv?` zMraXG^5$HS;1s=7NIr)nQtN(Oo%B%YTgnpYt@(#g{itoUV8)lChEqhtXuS(Vl@I&0%%Fm_*zLJ(4C;61R+S>IUdaYS;cfZ6CKTj0u zWcuNS{ae$ewEa^~U2}z^2Wl0`(P4I0O+ab}+WeITo)!aie1GJf0uJjLIU{sJw{(CS zxXRS`5}~j+14Ib6w345zpR2ZvUrB*7<1iK)LiJayY!FaN&LMl(1tK<1D6LD3pGLNa zNH9fvP8Ab++2`@4M-5z71pGwQKf{xqvdoM**ml5?@>_Z5HgCn$buwd;mTK{Z&H9)5;lY$2r_5qj7ynh(07-At%t3>e$gmB{^7EL9m*dZXSPPDw9|G-I1;=9 ziQVsG&*g(w6XMw8TrD1xIb~&bf2NwPE)!bO`5rJRuzHip3bn3gqQP1ptB86qagnL` z_ElWgNp_aA#i~x}DLnGYo?KENtdIYLNp{pvO!?N^M-#8Sf+#tzI`%GWN?yeRLtE_7 zcmJ&P32E$E29^JTo{UB%h|Fw6PPjNia-cJa@ z-C1OTgkX!aKyZiP7FgVa6Wk^E1}6y;oZ#*(?iSo3xVyV7aQ9dB{0+~2bLY*Rn(CUG z>eFXV&zbJeHy|nO_UGZ{%=Bnb<4eh--ZX3YezKH;KbLIIlKfX*S}!!21d>_Y6Dzwg z-9O)g?MR*dIRGUqf8&X3(aRbuci1_G`X4jEw#um{_PolU?W6Qyus)rv#pg6x9jZ@ zLU%53>g+81I|te`vEp5*zeuSB();5#mkojYkipiQe&)z0F#njRJ%|^cr4yS^Bx*$> zf+^!*OVq?@RBl(Y=#wY~PbKV88kN7-r&Ue0UQxa#@r#D9&OP5_GP|Xsva=I43 zdjJ zv}g#y(Y~da#Wa>|XhR(`s|a^brIF#m7kwEv-(IBesE`O>IiSi^_EuBJn)83RA8lF?TD^+ZK4Q_X4#Yk34=0P(qcYbNt zSUa${_|xjTnDNQ7(Dfml|0GTI#Vao)afDfa`+ezWd5>-2s4Vj#qXy6{^OD^Y06;d% zL_KS|rkEXDcx_U^jk_KG**!wzH8TtTM0}}D^cjCD9fswOy+qqvrwh$*lkZpMjXvT8 zuR^0`9Ib-JHFgj+845Utn)OnuMlRjP48{8)Vra7fwtcF*#Omue99iwc0^sSuQBu(o z@0@!rDKmtCbU<{W<_xfO7%F{M!dOUxAE^EHN24WU{O??W5VlCnzDu#0F|gW~7HLOg zGG{jR_^vu^PLvuojf4{8geejA3C2f`yKS-_X{XG97}$fjG=l{*^{GoAyNV?K)?qNJ zA?$4NL1&(pXB?>&hhIdq4l;5EiWv8P(?bcURRg;pk&4Zh|(UF+`!ng zJ=cd(ZGcyFV8AQwO=(Ktl7{i4f1?Nn`~z-NAt%T&1qZZaG>;A$6PG&^&srF4@=qEFOHhE37Qi8zhm&_?^OHVzoV=l22c9t)O7Qm2mNz7^pt(Tc{<8FE6L2 z_4boAiXy=XGLzDMQDFTaw9+6tTo#&5W);y4e-3!qJ?G`aQL77TTDXg4SS}#x^zr%v zx19Sn!{?-N*JUi-XY6r)MqN{LF#acH@Y$2Lw5&xt;~>TS;qIIEys0xo%?Up@Ij!vB zz6WuA$gMBt_u&U>21X;8I(G8Kg9pbH=e*yNI zN(3K1wnE#fnai{phvBjBER2!j_V zw2m0A&l1_xh#qE2j;+~uL(a;~Gkd|V2hGu%1_&)pQTGgf)u<=uq)7TqLXVwtXp`+T z`*(-K9`#l{5~;2(V)d*(KfCJFXBP^K7xZ@4!c--YDuDR0p$K40%NC}d-LxlgQ34X} zo#;xRs>8U6pSDuuvvX)J9rHl53B3=O47j`*=sa%zyHb)+_;rs)BP&|W#6B_etHs20 zzHwtSQD@g9hU&_E@O_3qS|m>JX)QfJP2rcU0i1ByTt76iiW;5Z+1sll zy1?8>st08iG3jQ#49LCx5U<&2pT)$V-16RSD#G)IOF9!%atg_IDk~ys{zfm1w17Fx z$yY!wNrqMeC zb|$UfyqxMr6m9dG^Qg_svz5dU+d3)_U+gF)Y$e8z`>~`))cpj{p{uCmO04RM&5{6L zNzZOEuQxtBK3(h}fJxg_<(62LBW>A$OaqKmBqq*evHEW^eoFSOqa`6m?48+j*Y$jA z8fJ|tqr;P$Kahs;fW}lL6LoB+U#(nFQQnK0&R51H8Fsc(N5Z{m;olalnn>L*JGRix zTADn;7Vvm8a4e+$&X>a`8Me{`QW{v^jOKJ;+hdLI*jIYKRvxL)D>p*JuvLIlBK(gb zisHRaUtltyn~uKr0RfV2J0sHME)?MkGRwWiOZ8zOJ*qd5O)gRj+-hu3P+zuzVfxAuS znh*gjxMu#F)gCo_LK}%4*%LBCR>fi`p9-QIza$CBw$jn4SskOed`W(`h(I3jhSrThf9Etj8dxUZ6Luk#MH7z5B`r7eP z81@4CXQF|XgV($3hf2FL#;O4}C@5`SnvejE4-R#*hCCW2p zZ;}tjsRCju?q9K&SJT!G?#&9Ayp0Fr1bd^R?)N`j5*TU^x7s*!7x{<1zx_! zCUexKqg-f{I}stZH-Z1HCU=}WIW%kO1CeZ75Vbpw=a*ViBm#$sHi!3L?(k~{D-$W^ zlX)4kq zcgtyvR-i9aVb@5M?T&bznWfz~8ZBHwX5fyLS`YvBlSTg=A%1yaY6qMo zmekvg(MmE7Po>ILn{#ySlJu-rTGxqrnq(s*`!zH(Me14A|Ejdjk@Vt+bL3Y_#tPqv zPFw|i$83@aTfOs#J7X){yu>eCc6aY67rS66-{}^KZ3gcyu@*jmrBv$WC$6FJ$;rXv zIKan>HXgoTRXbKQv%}d;m7`UbI_{WV!#fhz7>r);wI2QVO;lh7)AsX>(yuzdY(RM5 zP2UjLGu@x3-S1@+pAaPclY1X8#4sQ!gHWGQZ6KZ?g0zr>i;Y7^>i$)RC&hc3wER!oPwnK64P zy9f8T{vrRGmkjGuh3Mu_RwLtO5Yq#e&bRKo zd`nx3rDp>iFYH)3YVnr|+j!la%#*(LMX1a0asFY~qB8_mveK|g#(S?6qOT^FGu+oF zP9OwR@K`q$L#>m=@pDPeXTl7uh!I!KM>=?jJo5;^GV8u*Xf-#ZoJHZu+ssK?2~+d| zEf}%s<+y~@L9hEg%Z(JYNFudBvp1XZ^X|{UE=G~kDH~P1dlc#b zQ%ZPH&|144rMJ9{L_T2*8c&Y#E{ms~6tcYHXh5QUzE&>$`p@Hxsj(RW=Q(`r)3B>^ zNdLmucs&hNLz*w@KrOwYDEulXC*U+GH&0#w8YzPbwfW4oSc6C%GW^#P+}?3c{za4nL9%`Gu`#pS;71(_)}B!!H$B83C0f{zfcS zgWMlW!P~~1^=;JYxXqbxIH)?c$O@i&9b`vlKFa-Vh!)h2p))pTZ}`e05g8wqKSHT( zxnPLBE+HiH3cpL73&YkYs@)pqvDzx7mX9xnH}2A_b)u=PjX2aJD$;!^`g~}39fmY# zWEEVsM7ic^yBaJY4T;nVSg^OKGVWE^*Z)q-HfE*7T^{`Cq&-T&j}_Ooi%_Xru;({N zq)UL;`=#SBvx=;gz-l4jKd-!jg)JP^SjamVm-ch2iRZmas*=IP61tgbDig>gsl8Uy zwH?b&(KL+hM9=Ma{2BGan;&f%&>fGJLJYv>3 zM9DVj%fXsVv3{{Si+dPWPNF_Hp$g>Q=*IqH}$ zd1!xD>-~$Kwdb2dE2sY>_}KrIhf_x|AJM0%=Z|Y;ckhQi{HUB-#H4?R51=nWU9ADP z!r6oyUr+O9l4z~hU%4I%Q!iG0zjC0|qWTJ6ET*TPr5qfB?8AK&h0flH=q0>L3>o1l z{nu9%0IhxJ=Ea4y^I$r+8hO@@#n2G$oa3qHLYdQgkkbH7kkmiJ3W(B2%>nXB{Nl&@ zHoeQ@d$NGtZDG;n^(X$_JTm9UX@avY;DIw{F|CJgeLlQCZ)#;*ez( zE7&B`u9EyCX)d(w300_FZ{Fh#KwY3z_#m}=&@5c?V%pmPa#=7h>*(c47o}XqJ8x1Z ze%$M5H(wyS8}K+}Ve1+b59YJ^^4kZnXklSp)fJH!{tT5*2xnC%9mdz>*3TI3{8rVB zJ|m}*O|W?H<0QRM%>=&mOZ9!(W=()o~)rnl>)I`8#< z#0N0u|A0FXeYjb0N`5_DnfQA;6&f8`g5eiQpnI~mHOlUE1i7|By>pw|7)U z66W`kxCH#pen9JMRuuo?(4pNM&7W~Y5T*EEL(AF{P|y*3%-#kMc2(~YSl6Y6d$g)d z_e*yQ%TU?!yNR+#4v;x>i)Sf^GAFAYIX~vq?9$teWO8+Q#U;TWf3z@av$0L@lBs8Z2fOUr4!p38v8hPjm*i$us!6PLyUhpR?Rb7 zETfsxt#EN{RQS-Z_vIfv8{(V$r_OAA(*7yl0qnIq)FFJdtyI@qe(ogRi$2Ef?1PQlnu9LD>!TW5kL zMPl&GV_JliNRlqMY-Ea>1OA)%6AHzvh1V|!vqd9>>oog8yIMW8Ir5(fpMGHI`OUId9e1su&OMq2lXn>Gv@5RC!gn8BOj|TMLmdj=(>Px%SL&bK_pR zyA4dUfPz6atI3!YwdzwhxZxye#ptbUhpXik@FRp&+_g~YfmKrIar>gH0=&7MM0S2tUd|602Z!Pg1on;YheRFXd|zac8!n$TEQLB~A6=r<)|RYX97f{v z)d0O4TEcFV%6mX_;S&Mg{FBiMnp88?A9=iYDz_$?^|7uxTz-nmN?g#|`F;BO7=PIO{o^!#r zSyfU^CoIK>fkk()CN6QrfG1)`*kg2s>FZXTH8y~;WSg<9mS;Vdc(G2-=O8+~xv;op z=vvq&vcENFA*bqNX(Js_N9XMwwlZgGo<=D6oJJ!!_mi^cc}2ftT`f|=1?Btx5VIG* zl0=@u=8ULc1U2z05HT+^cDOIR(sjWH%5_`wN*qrV6T@~RFgtHU$h|Bh*kd(4+Tt}= z8pF(wku2s1KuJpre%$m!jG#Ck6?!OG98uGlM?e=4l?`N*O;yMXNiz3LB^Fn)%yhM@ zplCm6idr&y-dT_17}3y`jg~vrUT@L{nPu zGo%hBLT}fRpOZ9?w7qY3tSc^g6&luZTIsSWBlUiDR=Crq%unun^)PY|Worx^=uSsN zLtyDP2yk;lA=t#-JR~D0a6Z6(qcE-c&RB>-MQHgoWQQQrtP3G~dGnU`~F`%`}w zXEaQ2Fye!8ApAFh@0zl>29_0G7{cGWh%ivKDU!_aq6%QyfW z>bnjx&sAhciyq??zKfRv@(pcHrHC-0UwD{R86>4iQOX-v8uyctrwm1Osk9OpX_#Y%Q7t1gx@8h% z=j`!K*3K3WkZLhZmKuXzb6nG%Vo|tm0)nafJ3ykxISKLT3kpA=1?|ZRSVC4Y!fV~k zmjSaM?Gy+XMa+e&GyWpdWu=zZ2E21f_fpYoQb_3OsDJ}c@q3C5a*u4A{8m_WaHK4M ztvVY{y^hSI(Vxm$_Im1_3&EYC3g-C;Z6S9_hGBfwIdQgj%Kr5w|W2i|#Fg>hh6JJ^hK#nL4f< z;rh#AX;r_X`ZG$t>N=H46u9?RPj++0fWAp@2Pxs)jCLPP%5*Cj$|sH|#gIQ0Ra&+q zax4j`0}LK;X(p>ZLF|jInPjzec~9IMO!uFSlZ=A%BLoX4Yly7X=5k8As&$}W0I;^I8ml