From 5894e994650d2666b3e57e1bdfa66e460dccf775 Mon Sep 17 00:00:00 2001 From: Shine wOng <1551885@tongji.edu.cn> Date: Wed, 28 Aug 2019 19:16:10 +0800 Subject: [PATCH] add more to lab2_report, together with two images in ./images/, not finished yet. --- thu_os/images/get_pte.png | Bin 0 -> 38057 bytes thu_os/images/page_remove_pte.png | Bin 0 -> 19029 bytes thu_os/lab2_report.md | 223 +++++- thu_os/mistakes.html | 1064 ----------------------------- 4 files changed, 220 insertions(+), 1067 deletions(-) create mode 100644 thu_os/images/get_pte.png create mode 100644 thu_os/images/page_remove_pte.png delete mode 100644 thu_os/mistakes.html diff --git a/thu_os/images/get_pte.png b/thu_os/images/get_pte.png new file mode 100644 index 0000000000000000000000000000000000000000..b1f9f9a903219b2f588089ead4ddfc1442fd2f45 GIT binary patch literal 38057 zcmb@tb97|Q7dARcCbpeSY}*rOV%xUuOw_T>iEU17+qP{dU(fqncir#*dwVs`S*KQ4 z)y7kMKf5YSURE3)1_$Qbw{P&jBt#UyeFM1$UOzxV0Kcm-ig$oNAWn+nLf@(;@lJp@ z-^~PN1iyW&je&hP00-Vf+e>ITefx&u{O<#@X-eq+?OP)MFA+gycir=k;6URMk78KA zuaR);E6a{0`z5y}$_CQ0A6nL0`a6*!o-Gc4i_@^f)Be3^VC#OA$ETgV>>8^`v1}}` zT2cbUJt^9l<+6Dxh-Ke5Ij+A#MTp}hNaOKC(d@(iUAq2I>?T72Uaka4fTT!}qJ$Yk z5`%01uMyz?hemb9P@z3XU~M|9P0Wy-Sx9iUrimiN9;Co-y+Y)nXfaaLLz-ldPlIhO z)_N1$?JLUyHRKYxa_|;6ymAI8gdHUW|VOgAnar3-+fWt}WR_LKu1c=}>fv zL&T>A(;{-)0u<9Zc7ea0o-fU|2C#AbkSI)x@zf7+@3((~^KdNimwJR#>~3cG_mD#T z|NFx_qHP1fh8jMz2eWg;2=`vlU&I>r^6&BuP|4^`&OoB{$!T}z9%2yt)*Gj-c=VFkXM4o|14flNnl(Lk5kwTtvNF5XvG)WmLv#vn%*xpb)Ag1?+mf1B-~RRd}b zH*{P3HZSglVt@b{3OuGr%A2K`-!e*2BM@ zTcAM>PMuHl8X4iRVi1LEZ8t%hOE1ZL)FgyiJuJhV)u3CO?AHI5H3;ktVYm6I&Z2sg z#@2-(rHfy*&OP2L)9V@3XfRnikg3sOu+j@N;02DKs?_gLO1GP8I{p%s8qxoTzU$q{ z*OD%N(;%~ZlG!~c5N&1-GBwXkumF=C%+@Y+-)Bm*EZTD$?u{U6CUfikKRGIPCsB?y zO1pYvE7Y2>!pAW477m`@qe8tps4ps%i(%mqnChAhoWP=7FEdt6u&}cBU*Gd`mj^F| z@l&HDaJiQyx4J-fzEMB^pf68zdEjM1HHws-%F~@;puLU$tbd9r_;m%1{m63qL?bUDz&CA#&-K#Zbzpw`p@pQu+5lY9eZE@3ZH zX7W${3-QvCQ^riyI1?}P*zG8&XB&P#QZd^DaaovxSdpnb1AQGM%fNU=xJpK7?pBDY zM{*dnL)2Zl`nq5*KhIe@x^e=lbmSCcEj6*`5>9Y4OAETnuY+rD-Gf{9>U(;6Gr+4M zuISQ0qe_{+?(%vEJB_uhcM-BFiYc-whACPTrF5{LBgUIQj8O`VQZr1wp$x2`yM=YBhEx}0V%?9-oRT2%Ns-|ExeX-Bvu`8QRgUSAzA zkLZZHy5kY2I;%y<#0@h`R6+aw#qGK4%QHND#zi_iCgfHU{8DIPNmg*4O%~rfrkS62 zqOu>49*?iLkY@x97G$<`wblDoXVcwDfFggilyG)i`<&$U9iN`iH%7R)+M%=rF@nLl z3lJI@#0$$>sI#-~Reie%S=_2VA3Sp~Xp))thc!7rbZaLo@QCU}&r}C+vntI~IHKmh zcQHmvp`Gh#4EVcf>u9%e*xS>*{L}+&yY;tkLW$7v@|{f46Jw_OF+STq8SHKAX#Rm! z(=@7Oad3D{Vz2iPiMRbV+*`ux%y_fIO`+cH#usnzpGe<(;I!FAz413MRouTNmWx$MwXWq-<^Sf{Seo8LN>mkiSs{-6(QW?-!=aoYV#?WG32)UTmTn8$?{8A4aY@kw*rlFMV{ z3yqvdq2DSks{NC`oG5Lp*EyP`G-BM(R>QA3)b`~PJ^l_+27@{rE+BVV0lvidF}jm0 zF5*vy*M&DRbB4WtxESwMj9lpu^>jp!jYY$Y z1$H71u7M-G_P}|k>S~CEGsa66mkV;z3${Sy*8ab>D28I27*qgNYPZrbL{-F@J9F$M zkC$000YF!=t6GT@YLgUl3^vb(iLA0R7+j&sia>LQpO(0gtf;LkDC){ZVF)>+C0fwv z@d}R?SHmo?D{CMNUln9O7j!{Cda_djH-aY%IF9|Iv(iv)Kc?E?c7S>Jv~ccfBEwLMo?d{{Pjl`gWZ^aUd<7{0QPdvfOtHuGg-EU`$r zluZ`}ANz9L+;GrxXz=ov>M?rU6X3mx2P#9Pp~JMhz5o@pBihUvd+M6`G8-DX=gE-j z^koSZq_5)|Qr-QQFt~u@?7k7-C2CQnttuSsEMcjJefB578&ighGpI3b_ z-Pi&sVu*?mec4AVM#@p@xwyqXZ!)2-#z+3GB&KZvo04#<(WIqeJ5tb)mpOZjL+wPv zMZi+i=pRaZuePA5xhke}#TsY=o*9O#pIe-fp658JEkV-3o0NEt5^slhwEQ;24WOxK1T6TZ3@J^e{%fB~3*LJIQFpNd5 z6)!>bmoN3NgD5yS7sXgrQEzDyE1~W-yZ6kzLCN^Kj9+1;e>{!TcEW|2sY5NUa1C;6 z)B7Oz+@F>OqqUad-0epH5K4l9UoLtlj!CuqFtt)4=M2jSqir3$z+hP2Xsic zbH2x9horHU+FSFQkYTTWO!UElNF0$Peyd>d9(0q*j07~Wn~G20oYFquZ1S;A8RbU|jyK*A^*%D~Ph+s8g&1)u_;Qw(Xez{c zE?aX!RZuMo8?qk4@WF+JXrvqa<6d8)LgEYq9xKMAW^u`Cf>ts_2XtWL^bE7Qx-yGV z%G5Yo5}rq11u){IY+X^bJDKxQRg9`iVzv{MI$%a{jqDDu(#TXdGyTPwO3KPWY(!_v zA~7fD4hy%+Z}NedFy^RCnVRLRDx&Q4e{P{3^;ET|`Bmdl>9)cG+KKKyew|Asun7IXPr+vvVAhE#E}sD`GcZ5r+}T<$gc*u|~14Tn#}*tkS4 z_MW{TE~s(Y(*;agu$kr~wTC#$UbRW?6(qA|;HHc{XgPUhjz1#Kt#S0k0{Rc%{tj2C z8QGd@0-m8n53(9K4xIKcn%&>}NHRNILuWHlOd&Ent`6qBYp&oo1)LISOh{TleI4|k zGWAlotc(hFF`DJtC#|mVkFF;q2W4dO4yiOp4WISD_#Zp`lIsH4oDm2iTo4ylI6OWc zl<;0AnkCRI;DW87$AqZ+q2+|gj z>j|!>g_yj|%lc;bhYu%;jtJ507tQ1&)jEr&kS8KhaZK#2c(us!QJ=R@d+bQB{zzYMGUe7UQkDlshq4VVP8S)zyky>@jTR0*XLbTFgFzsttSA}g%QEqBEIQ`B^A9NDTrFG*lI)^`KmX6V% z&M}v;kf4uHkaJK@+A??7ce!nZjN5lxY9tV2S{QPW2+3^TZFi)<3qSJ_UjQR3dSn}0 z@(1xa&`$91&rN(~OgNNB7zfwC(CHP(f*h(3xgAPTm)_tZR#EDEZ8aDVhBm0k@8>wn zP1#NiD}4XuVFXg$IT%9Mf&7s5K3S{_s!9q9$hD)R)TbGc3Raa*td#4b zm>O(<uF00}RN=slZ@U~b6m<7o{sGY9t?f_q$bI3MU!ck*O1Z88`x>7&_1tkNJR zIW|%5Z2O-psexebD5;B-m~PB$VLvpEESp>A2Z&SrcRZ;Eex>s=-Agn>)>WSV}*Agj1>ML=w96R$OEByav zu!`B4<+*=Z0n zk`^3yKJ8|TZtoO(NM$aBtsX_m5qojhbbT%&NE+cL*P6}lXC40k-Aw?cRL|dzpryqd zIGLRiOa%`O*u^^4bCtdp&7$k6YQdlUjBD`!aR6x77ZJcuU|qJCz6HFO4?|Ift8|#m zas;;nqTG&x6?ALR^4N*_8tDJiddv>|J@`_LycIL2C&b7e#7L4Z-N?awZ`59f7KxDy z$^$gc*JUK)KT#neU(-vVDr}BYf8XcKvI&gmkg1G~BLVm3K~`;2QBlQjXuY0d*ekdE z>BWp8tc>1th|PKVJP&#i5dmBS}O6=Yu0GVaAT z*G`u^Z1+&@DG>5@4a}Wc`bgIxP0p07V`?`2-5e3j&Y+rRb!k^FQtK^mA}5jRc-Rq> zc^Upg9m#~38l=!5Wg;{oT1S{4T~N2#$>{4d9$)@fX`Qk>e0|bf=O3y7_sI zu>2>3Tv{SJP^iD29Iu*Au+10=a>hdK=ws-4S?FeDdkyKCdM@%0c2v$E2hb3o57hW( ztCZC6;@`EypNC{dBH)O2orrOsM)^2hAx7IB+iTejOX z({iS}yzz=3#y?)omr!K+_%g?Mhwzc8%x2c@}x(3J*3nFt*eK;IE&8&s72B)M9J^`t^KcKOKG18gv<|V z)r=pdT}H3Wq-xnzk~q`q(HdXJrPwhh%PJL}V&Ax(vc)NGLOCr$Ou z{rqo=D9oG==x|JLPoZhA`F>#{TP$BwPwKBD9=vl>LEer7SR(|3J3kot1KB!o#5D*n zLC}4(eu?bWX?#2ZNiU#`a__Am7wI@@LQ~%!Op3m)FVWlC{tPH9!B@HL30s z@@;#Rnh5j7vi9(-@WWo@Cpr;)O<&%GPV8m!7j-E zC_2$FPZ7~F>mG9&i$R6805cC2ku`d6C(U&*%XXGC#db18L4dV-m?Yn`YE(;+sy!n8 zE`jQfEpE5YQfQmyH#HB!#dlA*mC9o$oPI0#kb75K=9d-Q4*THbC* zZbJo>p}XEjQY{Obpb)UjIyLYZ8qlr%eC12_&e4YSHZh!?AQ3)yN+StB{_%(?-g&b+ z%{!Loef0fn8?)l}7Hq_)C?m;~5oycq?uRa%5Jxr5a{6{yeY#6A`JPx>qL_<{Cb4RS z>_qFM?AeQo1}3{cMB9(yst(cuP3fP*2nLUyH=10u*4oRt&+SU7bsxnwx4Jj0ba-O~ z)&sjdWLa@ntL2_GY7u*<{Z^sR7ui$}d^o=!F)dEYLXRRDu;85pjGPoojdBedlSC^lK!x)9dcs^BF2p0YV%0x-m z*<(}yWeQ>0M&(TFRicC{(NvYcplo0#|Jr8aD{+P@bA}$-%TDZNY7G`HB5N<9VjT6I zLxe)|_R{uB_a;6?kqdF-Pl|Rh-f(yPuJSlLgnvz> zrX|~TTMM<18Q;y;9qcmwVXowgeP>JCc^jEEJG{$aD^PVQS^9m zMD7DBxk7faIys*!e)4pM+FFCnJxJcmOWA#>(LLq<8D5phP$*S+%3h?2<7f9_Z#l=F z&ccq4dfyV8KV3cE#)-S?RtJ3*1HO|k*yN=GFN*zLf0{YTAZS*Db zIT^e^te{?H~n$_gG?O)gjr-uffuKcqq=rli)a$2L=eZQ6y<&LYXHW3j!rkbJ}#g)xNS zm=t77F7uUMnMj>ItuGF386DhHCGi;Y&jCf;6n^thX z_ctfgP^3HEikGNfi<7|x7GZr|ObbgtO`pTK9vcjbrf7?Ewhi}Ca%hbMs0T7xoZ3Iq?^fXUE6fJ5RigD>;N6eB zv{+``z(?)rY4+Kv6q!)TY-b!TS5kuAjmy5nLbT)GrN&b;^(Pw1+H~vAhIN=w*6rr{ zZAc97pjo_l$*Q16`)^T;wELh*6}o>WT9~q@WG1(Q{{upq!~kx|{R09;qluHj>;*8K zoexOkfm&RJ??n3#5m2+J8tCI(oPmukuvXeEe_7I%7zxX5KNs!)JZ|f@FVGY zI}(nSU}wBjgP4lotSmCzUCE(O@8i&+l0baB{6 z?FYoB&%>b0E$)SM+WYl{}8 zg#k7N*dqAy;iQH{_OX-R5&ngDa>ECGJROl-`8Zm?P_t*a6g+qaAc5}g%0CLQ3x)ie zrEW?#fD6x0Rt}?6QeXHn`3T*vMDx8NS;C3#lW&^!6AhY5s?Acyy$Hjh0nUJ-Y$#DV zq_qV9Xc`aXjsh>Ts3Cs&VmB>QFlQmiOCP3xD<1w|EXHb34<`48*VIdohhF(?h8dI_ z0i#{V1NBPcrQ{`^?644HFj?7GrfvWkolfK}oDg?-7dtyt2G<||u1jfw#kvMPS?o7cZ9TqPBQEeHkDj6 z91hMWyTgfH9}K{R)3+iV;%OEerbhYtrO8PQwzj^!CQdTe`x=VbeH78&mGZBeq6L7| z4MPDXmYhy{%o{V0xc3<4YjfkwBZ#4m+{Kw5FqLp&X4}pFam#^U+wxy38*8(`rr-rVej2J!NP-Xeolkl=( z&m3PQT{(=I2@S{twL!CZ_!EMdM)rKU=70iQI8!N(lqUS-sxNPXR8T|6Fy)CE+4^X= zbEuI~NSea&uq{hMOLg&PJ{lZS4JXOVUdee6icUnnMXdklP4NlU+#K zSCaUxz<(*OZ_v`Eu0kFQ(WXfyC$1-SRfWyCQqs9ZudJGJe|=>qM||<(t*>=sN6VWj zlqK4MN0V&Y?8o1-fZ0)an(|dXRoxB;xfSr~xh|r8IsBNI?sx?83&zDd_Hz}V=a9pn zoGUSb%)t{~d40O;!5yyOu6kb&DZF5T)7^-;K2E~#^Dc)NcOk)w;I4I(3y1nSNwyJ2 z8Rsl7GT*ttw*HZ?4uiv3lxS3K-N)7}dCb*Rv}`@S0UH`EtPEOUBJ4SNSp#PfW?_E| zx*i=|nl_Q)3lSs&xFX2tOP`CTE5~*_Vhm7`GM>ZijRBMi6TP#PFT?WGEFtc(EQ>r| zRW7pr8%UUYY#%)$e-ea~EzRROLOYOE;pZClF8*`x6(ZXC66KniPc4ldT%jk|r#UO4 z??8qU#b=jDemIE1>5D*K#PMAxExTRIS_c+>!u|jQE{fNyi&EcF--5t^t_)Ahlq29} zVVIaPrv6q_-x%D>Lf~-l&#+{;mql(KFuS27bC=JKk6)K<$&7M6c_ce@H8Aq56s%zkl3Q+ ziu)9|!deTk&6d6gBvIg=P_IBx3K8c~`7OaUowHZGY;dL*-$YwLRcSzZCAl}-;V08gKy7?v&^eD<$jk?#jc|K)8F@I_?|fe)$5D4DV)fA zFCr+(G)U)Pt{W|WLikXrRr54%G;%tWyow$+FJ#-wITkIb0EMgq*3UCRTEFtNCwUFv<`|tjantSVVDe3CdT(fzJuJTte{1=? zN{>JdNM4BN^X7h{vowV;-Iv0rj<)S@Ztz6fGfGJ8YuNYrcQnBIXtN!@v;RJwm^`on zpj{t@ZW;D0PXnmhV2-ZwK#;QpYP12c@L|Ji=_+B3xddJIP;NSh-rs?ynH5n-wqFAy z<%rvq2Ld|wI{Y(rt)UjMm>d^;2=S^UjQrrzuey&`^S;F8Y+W5R@(v-n#_`Mv1f^xTHzc}d1G>n!Vc z2_VU3gpWmP`7ERc<7uY^w}+!%V)`OXM2iQAxeO2{KQinL5xg{L9(&o}_h^DHp2U|& zb9}SF&BiDfk2TxJtb!5`?p(3|^#L&u@km#(ZB8(#JsVhRL%wSv;2j=jyta*q%*tsW zMmd^C>zBR}((HsF&0{zI8|@lXygy8j#fa*1P-`>BP8wfB&xa;aWuu~&P94W9D8D+Q zVxTkQAMx`ESS2}!MM~A`O;?U&D@6NB^t=-uk^OQ0ggU?Mz$R zxNB!u`9}a|_XccTcTg!-5q{Nefb;%#R3Jd?1Yv86Cqg!fLA|AX3-sGJ91su|>L-Ei z+h^ZB$zG;(Yx`$ZHc@(3y^G9|^!dmIX$&aSrzP$CT6Ns+-Kn1O#-h6vaynsle`$@A_>lU@s%(<`MnB`x>2xbaf#gsJM zMs!{Xw#-9*Q-K2w?kfJt7wr$3Wi=l4B(JC`MnckQneW9b}}oX%}oRz`WLHE@2v<5a;SFe9TPiYKSr6sNZ=xus9R!i^8njGEyaGPsH|N{x%1KBMnymqo}U-pv7(mh~KRRGZRl zXorsy{rPd%^^u@iagd){E+)ueD_<(Lei?;)y7mD<=nq7hMp9Z>)%8-i$qeZwpH+?e?j{RgI5ixH3C(3EOOs@ORfoi%kZRk2aJ3dgG9jPK^Om|) z4IzGUvv2wx&c_B_yYreT6oFt@Taw@9;G`f+VAQSa10%)iP`%NkRZVr{lnBN!fy-+j zZmCLpyZeC_0%K7l^Rk$lB7`Iq@#avAVx%%dtdgysbyHB`-XuCphUoJU8m5i=Sh@7L zd~EmlCJ>MJo@mB{4Tx9n&F&Sh=|Ed;Lwuz;s@Y%IJI`EJ_f$i+K!*Fi2-ng!$b{); zKzlr}lou|tJNZhGN%!%r`jBC^q5%vatZ|9g#Qr9tx6Z34l+_*~Y-gab6&k;h+|utq z?&vbDpY5ZQ#!~d(zptP`R1#$Nyv>dAZ;Fhca8_+mni>|R#5)NP=XYexma)Uk-L{}+ z3_tXV1EMR7yZmAo<6&%lV|yzUq;^KshG~aMTN{$ghbC_YoiRo@WF6^G$t@~3u$t5v z%qU>ozY{HgS`h7O&=G&bA~JUtS&XbHNX-4b^s2y*>Y3q>KG6iniQ6ozzA_SQw;L_n z;O&_d0;2uec5`bD;-r4$=z!u%u-z}Y#i<1vmvQ$% z_a+IJH)BYPkq6^MS%X?y7WLX3Etv_lr3HmdtclR8&OVy28=L6N$^6c`;IduQs{W@v z1c)>`P6=Tr2&O`=_WCas-`XprD?;A!(q*_&2-6xnrUK(3n3kW|Bzw3E1`K%pnTmm2 zl|iix-Z>`%@62NY0+C#`I2)bcO+R-9(%#ooQom-Wm~pWa*HHFUd`0CB69Pf?T@ z&0_W}GCS^igx!sZprZUmLBf=*wEOYdNgnPvdva2eU(_BJaYT*f^6cQ_{B4mudISTd z+7u;WdAN6$)1}!@)YA!_qYftQ7hP^kUHJM~wf(*~!9pYcJm#YPo;0!*0*%YkWY zM1Q;^y^ni{Rx3WM+L4m3mhf6XZ!}%M2L)`4kVHX#ep%>(T6F&FXcyxLq@L-klAiJ7 z*9U@=o=;fo*Bxq+z}u6w&*@d_M?GQ9t0|gphs#h@EilpWaG-4b4dC=nxLc;ttW9y* z##TnH@gkWxiNBEI+#c%69bDlGY;4EWQo+ow9f@l;i%xuQ&N9v**6 z6%P#)9*Y+QC1BNBD;L}Om5QW+31IdZMxptipRz4jYU2A3K=R8p?3(+ zACNkdQHK?@V8K{vVynJ(bNKD$pF4vfV$ot5IVpTRJf%I`ec6e$7YjU?5G{xMklp^h z*~Anv{* z?wSaOO_3%A+Cp%Td3*Bs!kd}s18!c8x zeaXcpEZ}BIqfx7N&Xf~`1y_B7k9N%E$f8?oy{YImq=ys*yFL7k5j`QwYzjxg&yxp)_Vez;qAV*fK{z*P<1@eX1eL4 z^p^Or+`<0`lo&_JRYd7hPN8ONbq}fqS4AAGm807J_Wl<_X1j=R4ou+2(@zhmzZa!If}mC+|oYRIZ|KmQ_|kb z{f2yr0%Ch8ZC#HN&46qEQS_GKz~)9MQyZ4}7OP+e3-M|Eg^aqZ+*8bE;v#Va5JzN^P%P)*RUIv-|dF9r;1 zej?MF_?Z}4FdU8w@*0f=S+_aInABtY>Cjkh34|QJrA)sMv9Sv9g&w95=Dj36Kk+D- zBMdP6)P|R#@uk>?YAjkOp&7grU?N0dC)h((&@%*xC*IWn-a&OS*(1OcM(&a8x9uYU zikyg@LupCK2x7i#7%x@W8AG98&_jvq=-2CO+(qGLH<9$)DvMQaFTusNGIu&7-@97) z4|efg4G?Nppe^9PLx?dB9@O9O1&)7K+p)Y1ef7MaSXVe4m~XX?p6h+3rgc3dTn@?# zarX_nksP^$6lr%cL)|lFGyGGmKXcbwu%BYEFrYc#5$$T5nG!6UbPbb;Q!o%)?TE4I zR<$AutVN|fCFEmw7J7=nLrRU9-Kw$`*0CL+hJa%}^5a+g8`meQ^^19D_BS^FMF+?5k#Z zI#5&hd18kx)nQHIYPA=huP<*?>qgDfhQpw<1GtVrkvnXKlz75Xxd2N=_HJ?jGp#_s z1r&=U1=p`|=W^bw?+QV-hIsUuAw0xN@u)xez-QzA%&<#i(?uAmVU|{`zBA|&XCg^) z@+JM0=B+~Ay*gX^K_%<`M6%_ziQ$ARONePmp9z)Va0k&W2Gg>?@<+sebeGnLdQmBz z5v_5LW2L{IZorEN72*5MnKY**caS@#_+mbyfN8>JlbCiVF});Vaow==@a2zOmR+rR zC?cGJScSgRQ0$8LBNNllZNgxC8qiO&B7r-VqOYT_+}F1yCQ3Se+i`8l^Ia-Y`anu50c#Y}f?ukM~1MBu&8Z@^~ zP3udp+D^ zgV`^PuBdcJ`K~&kv~+^ktqnACk-vPQfHo^f*qk$60O2JFR#nFSj(QhV+2& zd}xC+gs&J`?d&^$V?eG~sI5>Ql;axOyc1@qh>~@d#@=xOpYHvfFTg+!!9c8Xw3&N=e_zK8FYR&ys4v541_;q{_BY=w znSwv61qZxUm&kaHI_kH$4rtE1)aU(iTA@s>(wyQO-w!eR5tljSZoiB4t8jv9fr9`| zV3vz$`>xkuxo3|x5ySsI(~M$UvXd(CBRSbX6`ZA>XF2g~s~xh#cdt{Im0!WkQiNdB z%V%w~-(^zvHPueT=s}gG&y5?qS}`BTP5jb~lv9@?~;W2vcu!WfGfHi{$K6;D$A9Xp49GUSR-1}yX#(BTiJ3jny<@Rej) z4tM!8ALd%#=36M#ZmM7)2dIb}V*m-W9eW(h(}Rh1uI%Vi8a(__2Ev^Dz+@is$1K&k z{kER&5DR-uvl^%PgwV8922)|8!ARMlrhI5)0hrbVR+YgHXXP3cS9@I6d6V@YQ~`op z&)Q~J!%`rv$SpVRBq#cz0Fr}>{7eGjXJeJ!=uZP$Ulx%08=i&|L$%JSvIcEdM00`7 zmN$|CXMm}!BKY3g!A48_%C#w8o1(G#$ilZP>^CQv2RMi$%%29sKB^T2gxRY=#m6LO z6sorut>PZpdZC+lRWhs6E>6jn5$Ic%%-u8ug&)}wmC;>Gi4DUHzYm*+E3(XJcEe-8 z|BlO=`i(&m;6m~lY_c9W$GH|-qvEPRS^+F*hJ31mHRTzs+a$PC1f`ls;m&OlFuCcR zkUUjm2SHgtuLLt%_vnChx#O$4?)_kQSn~lB>Q3Un-ZCRf8U7|%EFsqcm`<^Oh%}_P z79-S(+K~;kuLABfmD@JYK{4bHbrTf+X+~_`WEa^61py5Un<`D)^mVga)(ED@vu0FeIc8egS1FLVp1QNwURt7>+!BOHEFJ%Pc!E;n=h`qHKor zGVWoNrP-B^helg7r?x(K?LWh38&4tPL}bDuM+ZXPHW?hP!c1XxdP;~6zZjWZzCNy$ z?2A37z*%j?y1C5m$&O|?ZeLSKYxe6@t&bv$`z^l z=>4+}FFj%H44IgCK>#8r9qfT@Bgy{V>*svdlC7U22#_l277MaLA?B?fTw4s~>VVmc zvc6{$-Q7xB4$r7rfbCJmK*rV@5U}fJ$h+|$__a)tS7S!G{FJx8*I=2SB#r#{8BGGo z#E?VX5T~EC7n*3(t*tYgD?FcEgu@tlrb#Tu?^mFcJBHR6R#87WMyCfe@hUD4z{Xng z-#!=SJHO7cTe(U77VRLG`tS612!;uupZb?#+Z_2E5Y^`pV!=ykSpp*$D!gHh*tjifN?0EBLHTp_o|KZ-8`wO)o-M;^S7g4J5u< zm~S3$`7vo?MUVSmQoZBz#>|50o1UO$&SpE9-3xoiZTo z@LYo!kb$Z}l%FdDiE}Q+?i_fEX=|6Hb`D7kWG1F z6Ru7w)Sr84XuVHV zFgic24!d5I4!>?v#{JG@4! zO2n-Z6hF-!p_dw+@lwhh`dPP!EqZiU!a9lwz0ODu9~`Z%R%pt3m|Yh%ZhG9f>I z;it)+J4=H20Z+{d;1>8_`J#cSL2&DIp&NP*hZ+5n)AvSk)8KoJu&C(pL7yl^i~Mx} z489y5Wp*<)$nxw=hX{U)+)+ljG8hTUddNYHPE>TnJ8q4ka+ILwFoZ7Ok z0hB>;!P-Io0)?($@|;0(oX9=f2>^#wc}9Sm# zA0Xg^7r%j_O`_NzNFQ6;bPr2vl?qF|7(HcSdS{w3<-@3am)9G+&W~lF$p5ct6XM?{ zxK8*}*ApsPKmtq7+6hu|CxWA^JC0zuBP<8Cn2rjM7R|Xj$Az6$p@KxO5w9+AyU+es z!JW~bmbk0fnVKT?%tPiqGMnxs(eZ~Gk(XXePKY}W>NDdqb6bldGB$jCEakLx(Q``i zgHi%*(t=wsni<&#FGT4$rzJMHh6Cq)Z#CJ(RNHdVXxC;dF zmR^eO2#Nl>`;(n@fbD@|VHBB-Fb`r z-zu!6SydfBIgTuj&&lq31><+^VpsSj)=#7|qsD$*E{f)%*rKS!N@)pl+YyWuSJ^?g zed!L(PdWO*f-hCw^$ZZNYQg*pZxfL}x%7z3U9kl_0yA&*Hv&VWtC7s$X zZdQ4M$L=HY%k#y>_ipvku&#B3&s~E6JD0jVa()qg{E_Vx zcaMrXCO@|!V6NCoV_wFd=Mb*T^MK6vW)!#mVY1CTR&{c_j^N4_!#-!C|8$+0kA$0d zG}$TRNgQNJtKE(e{Xm;dSyZ^Gm;@}c7#7q5}Q{r zUjvx27nJ+-QBOOk)E6McCI2n^9d?iTSRH9cb?TTIRd~$2lE6XhsrVuq*}hP_MRXJ3 z<)i-T%?$EnG-HvLqiei*Jn$t#qR9dEw$b7u6<613>gZ%=w?5ZxHuneL#@JkTVt1Xl z%mW^FH_Zd>A90mAgl6CD8y8R}8GXTExT2p&aYtOJ(JWzQeeeui-p1?-TRY{0u&7%+phxo9O^37^lu1bkk27IQ@KXK(ZG#cL=(V@WMSU8HgM$o?hD-c4_mwu zF7qP&(kzTeG5h8_g#xOJSQL!y8O+H*lOf*1aocC;1`PtU!)l(EfmK{o74ckN*dSAt z?-s$j_5P`Y29mRmcD?IZW2*$B_85TRifGUg7s1tvqNc<^v;az!9~C>qP-nL{3EV~B zCkV>V0pv^~R0>kIdS>^rfG50^X(pp*!pCssn-rrHBVxCLC#a)c+;6Pe=cocZ+w*wW zDu`q7iMuMuX_a)=BQH=ut-8r?=klfhgyDTCh-e^9CCVj&H!EUTyW&Z{tiI1PRE-f` zE?mmr&WOvu%X03c9`uBnmZfaoBT7`A>6<&ppRAxOm#el5#bxDHw65!dYE}4>12fZJ z4{4C6HfdUf#stSln3L9|b^cFshY>eQg7iG{2ZUxrrC*V#$j%<{7kx@4p*UQxwx9=e z)Xq;)7f^NFv%hs+=3o0d$Q8@P>mc*L(@#dY_O)PsJcA3D8$rL)VST0^^cxTLHVDo z$5+)Na&l~3!s6omgv(V3$@F6NS)OJLhZyjUUfu~ARB5_N#_1W^gc2RxRY+`wHE2%N z6Pqj2yG4BZ%=W>N2H!;ywDu(ZsOaF~ksAdiB1=LdUAYBb;xeaI2hrmC*Xl082Mz(l zmm$d7tf-!J?a)eBtfkcS?!RIFD`F-l+X0{i_B_+D1~$mDznpyFqc-v*8L(?tCL*1m z=H}GJg_T$;@pa%_U7-RhjYLG0QTOKHnj%AYrP?Rx%p7W}=!B1-*C{93wF{uID66I5%#G$$&)PT5(*4u6%yj}G7L`KrEW3y#5xikoy>ehd!{BE z422S)exW<{S=K3PcyCcxEQCTGx8f*p?tv9Snz^&7x4({(;c1b|UwR zv6G3NOl+Gw6Wiv*wsvgWwr%U|`JeM%?{&UFclGM(uBx@3=UzdgXo^qFEM0@Et5>q+ zb1X9p@|zdh1nyTqiYK$ln^fj2BY4=#;NYwJ;}xrg*?C2^U7&HMa`xUIerQoNrs_Pw z@OGJK!va0ioAMk5+I7S&tk4~z_~)MxXZ2FXa{I1sFY({FJb43nNLnurUfMr5mbh*w zso`1YT6`{$Lmmltch|1&ss%gbG>5=VpRgy=7s&_l&$w@du&HrtGkvaLuij6QHrD|` zGNt)kOK&Ysm&jM|`#A5nW{h|Fdk3e(@_OH?GX4LSIOl|mO|nba zJHqev$c%p-xTU_^0R|H5g0G6d(n_a36IZIw%?`4tDyUU8XnCn88e)_1R~=a~LQJzS zE4X~$W2$dIJGZU}Ya`Za%zwKZ2G)0Z=Ah{N1gZPp;k`W)Zr}G9wZE3@JIRL*4$L)k zzpSnixLu+rKt8Ki>cd z3u_G0!vuCb2F30oh}%awyPl`oy<7YbHOZa?I7aI^`7tOc`y_l?vDcn==j67EjW?TY z5$&=J4r96~ZV&CqGRS2Chx)0XeflhS2Oky0^4;-TBT9;bST79dO2XrIijN{-lo44` z##uZ)XVo2J)qq!y8IML4Rh2lOOUO6h7ks_f1A%CrvcI`rf3Oz*!*!dye*E*~@zO1| zJBqJ((pYiN?s&05M%tx!P$^;t#M2)()@LoAOpMc4mh`lOI3c7l$t{afhXmtvo!~Ol z=k2ZK+}z*be7fmr$xu~F(tbZGbN<$| z#GS4#k`(%L)G55hl{@)K-!mqlnvk@k1S0A1lj0v2!z_4KcwdR&9LoUOUyDqrKI!j5 zi-9YrkO>AsebDr8!JP=Hlwt>)9V|D8eH4bXG>Sv z)Hl^NDM_UUT2?evR8-HENy+NJbbiS;h3?mj5?bP*>~-W-%meVLDhqZb6*kCLu;q?r z@>Rt3clAF%i!iDuIUv-FU zIm3aTBuNG5G`C)h#LIyKnUjT~@;sG*G2qL@}R1}Dy-2zW6StaZXdfkP!79s!AYdg+$wR3nu;;)}*V z96!xltzq4nIjavG?tjsQokT@4&@(Bf%BqHi4q9nZjnN%0htVPX#L8_XB6m=_>#x#4 zxyxhau?@(sm2xCkA4af^v@k~LmFSL{JOpqRb=Ae32tKchXRlA>C;-Arr^31fzvN6m z_q7pyoCL+1*?;_iN!>D}?DSI<3z%hdD~$K3huavX%6DRAQ(aI>kChUyzaD-&8>o+y z(AE=ZBxm+MDHq&dvTGlZ5qzh4oAUnY?L%2Pf@{1a%h~~)%#(bojnkvZ2!B~v^6keD zsa9TR4_;^s!XdVYqqK{6vfIcl@CZy>Ver&qQa53?(5z&0n_}A7l6*{4FS(-H z_cWw9h}xiwZklmD!>UT80oN1LlqXrLDhjVl_<0wJoh8DNE0fLYO8n=MT9z?K;;G)< zxl2mu$(FR0jM+SfJikN9pQ9=AVP6=rdGCghr?Vw(WD%SQeJaGkBzUo12j0o4^n^&L zu>NM-fOhi3%5$CnPTOs`Gm$wXesGhQ<-PmAOCtjAi9*3%5JL=8ro z7btArvKAj*(HUaXgv7bg;dMSa2kL$HiRq0^F%uzvP8JFx((M)k{$vp)14iXw7d6Y> zQY!PJj=Z?KNTukU(Y=6#!UjgI8tWO(T-ayXAK*_)Nxc_$ z=s6yr-9OYL6@Q&&V{D7!f}h#6>XZVXaz;7zyX1sSAlSul=bPuJ=hqZeWqF`;B1SKr2aI}U#3_aDmr-&u2sGG(T6ivZv$rjbGI0sU&K%4Cr3Y}&BT69myYv_{k0gExL=X3cOw zCDSBqZIcis6J=V97^XP+t_Zdqmd)>*(QwI~w`K0gfOZ4Gjfl$E(OSvp)zhz!3x(8= z*{Rf*RmNXmXJbHpKu*nRPexi`pOCjLC?m>K)*=>;}vtF#iJd-_2(IAK8n|BQBnDwkw2MLQH->VA+Mys ze{<4w^;Cbb+r=o+biony1Z83}R|gO($*xTGbwPgG*tnI|I{{D1VG(lVEv}h= zN)?N=!-siYGJ=fXqja|R14tlGqcW1`{WM&N#_?oe*~jvk`x6)Z&W zNz||(VeJZ5+{?((WLYT_+9NL5tJ_y)(A1W&wlqpT&Y0ie6g?88 zi4B8S8Zjos$|*0eM$4U6xWAv|NZXNt6@s#bT}a0gb*>pDtX`$+9+(~Jy{N}C-ixwn z_Oh||P0ZvJH=W`~dw0xjjp8x#1i{7%-23}hOhhuxA{QHVJW@fpvaC z!pVkHj%=&~u^~21t*?@I0aF!)rK3UAOb@rwCn6FNc}8hX$g?H9o8RKhWm)6Y{5x4= zdd6;B(1X!L4s&@lEjpR-Sz=Fc??9*yxdb|7>SETBM;o&~;Rrzd~94-6)PpD=MNj8cF;r6SP1ZtRr0 z%sjWKH48flZcms}_eBhmqah#fg8XXG#Bi=2=s+8s2Rcy(nRT&DOCM&ju_!A`P7G7f zR%cFDao83=&QgeWmNjXHesWQCh29Fr+lBkBsSk0#jXLaji=i=&N{XvNBPo|3s})m? z4S(0uS*tu-;%fY2Z(Xol4Tm3AkRs)I#a?>q>Wz|i$dbEYi||iPR|IK0I4CBFbWlpN z+!Fk>17TerdI!#86QR@ch$dp23aKsf`IctjVl%-ocDcVgT$HK%c7GU@j0|3GgN%}R9dThy&6zc~Md8m5sWf^Jhs7(QWFzfQ; zJP-(D9R6Ss^K=DNy$;s(kkk}E8k}`H>ChvG0 zMiMFNWsOf%8My*$zfBxBQaEGdFw|$8Jn%R%x&@qdoGYpTABFH_-|Mk>2^&%SEQR{ z-57b8ahOj}qBuO7<4Ki5C9*fovDQY?eh(Db7H8j-Qgy%%Ypz1`I$<;NY#UC%G8Jzt zt*$K2Z;Q~3YlaR0F1o~hjh&5`KP!%83hDpZe-$zov5Fc0Qr!az5ba0Pp-N`aJ#&E!fps zWTfJXwUJSOJbFaBk;t|#sq9dpuKD$wjFEGag`pMAVgo>kENR6%7qcaMY-kVaa@W^B*fxkA5oRHv_%mIE|!r$ zMOQkRu|U2vy0k3ws-#@*xY5-K>2q!fcda9b7=|5lV$;WJK!1O6=jgcpSK`8l+qJU- zDyo0Ab#lNQTwh*qBKW8IKO6`tNpn(TkY@1P+sRiY5)*%OxFTS9Jz%u$#w#i+@D=B*Y8_e|<}q$df{F6TN)$mzwjDDjP|Jk>36YwK=|xsaE>BG!RwwsqCYhI!+rsga&#YHc3Nj3!J^O;4d9q;h3TneM7O zWxR`e=8*L5a^E17dN6UtzrF-cU5vLXSTA$Kh>LOoa?v?ZF0aY$jdZC=_ZMWlM&evz zB$7cqAAwkZqbCsK2^N$liyDdYawRf5`ipul(0=go4SiKqv$QvMF|yJ5o7)({B^rA+ zH(IJiMc}xtusn*d;t?n{Bl0n*={zF_q)dV3-RN?HCw3x9A?&fmxIXHUN4w4n{{JdF z1?S?feG|rac!N!F=Xw53OZSG=M7?S=e;O;WtfVj&4GZ%wyY*%QDwW#R8YA|2YB`a9 z6YG61(E|$*6IB62)3j-zqke1$(r!ybGC;l0Pz8K0Hj;v?L$=?!$sNae*Yi4*tJS*6 z8CByC=yCg3sw4*Nim$5@K4*xFZYmhs5%e)L#klo+Ct@OLm)5zhr9+X>YRK#}+SSQ- z$6gAWa#KhH6@H%oe}&0_<;0EQLs6gWwTG z(^LZh6Tn)%jy}2J4w6$6lV6FmjAf!0#52LecsFWjSguIBCpnl~>~>uL5rgVd3212c za-s89(5Z0k!u%NHB)$$chh)t7P z&&bxFd`Kxu0WHpNkAvX%!Xr4bQp z7LXm^|E(qzeYgM}BtkfYx(jv))FhzKH$V`Wgq^#<>G4)`p6TvmZIHRIx^IyQWc#JL zwW}}eJK93EEo5<51C;}}U?fn4)nQ5&@Z})121JX>2KriC>uxp^Qsvtmq8sJbPE(6* zAU^E(!b{kcIjUYrKxIVH|5LoffP3EiJO3nbLtKpNh*s*Qj^u8-bS-Nh7zXPtDY~nx ztfBo@v*2bxivg}T?MGjXt*u61)L<&>@Q@mh$8^w?H)UmT@*8{ZYfB;RGavBtLH+B` zs|4}iuK4IK0Gkq*`cj~uI%o>(ypsYJ=LPB*DyP+JB3-l;x{uetH9R6dyb2^1{kKqo z+Bt^mB4YfT?=#TY8pn|7oHy!XV-M0+LMRw@pkZG^+Y|mzDiki>ZwZIoFFuibu4)2n};d*CsU$-VMUp_%gzFR5b*4}EcrUR?D|oD z_k^J5A1kN^Uq&7$c^z4{6pQZb7#zg?042TVaY$)B<-T?VnZAO)M4tw!38a!r#;~cz zoTb13vZQjyRwQ}(5YEma_CQWS_f4uwZgGsBRtj*3k>#xy)Qu;7lanz)gUhL|kjtZx z>mn18{1P2}OJa*pknAFavG$ttYveT-!TlD#->q5Tu~b_(>X}|~BsCIW?h6GpWhp>& z?SC2wM$vBKK=cPFk-(rjNL@W};cW;jWPb!t@2mjxud__lYXHXX2YC?|SWJc2SBfm) z5}(fJ0Lc`P_H!c+Oi4N57$hc$5B0O!Q6p#&7~#7vmK;9lsb<~7)9ucj2|ux>kokJ2 zsL%N_1DOigK~xusZ${xDKu~BeHD9EJ#_~z`4BPnZn0o3n@mK$C8ZWT;U+TM7VPid` zTDq4e=?DZj>I@^@)(rPUfH@Y+*8$baFGlR3_&}3Zw<*a_FxK8!&}}2bV*K+ZCdeF+ zbTZ|wDY^}q8b9iqy#IRTRGj&u-2;3o^K`ieG>HCFYHe5fNfgC(dk|D2-AALm)*kug}w$bHjI@HDp&#QygV<|i1I(1{dghIV2JpQ8w{wX1SMX7xjlOtkCO(t1q*m+3xx8&j7izAn(X|&Zmy( z`j){fqp$xd%nu(s5dW+U4PgsgJV_G{#GR}hG5)=Fkv>aeqF%?l3j}xeO{kcw9`O(JLA9s>&_xs zEC653!0ojmre@K%$qFEV9F8K}0qw zl6;nvQCUB-*vfgH;`&mYax4QuXXT}by0&uap(Us8%h~<>n#C2Y5(7bci71x~TA;Y? z6g6-M)gS`N&Hz6ecsu-^Q`?5~G27yO&I(dJ5;BS-*(@s&(?e1oMFtFj2s*)dX}xL! z4#4XH_xweq8Cg`iWTda3Ia?+#M>yAIYL^)dK=K~c&QdY8O<>=B&SwbM(iYPLjK1*! zj+p}r+>|r^Z5X7E=Dw*SJ<;lfu6d%lLvi}7N|yG2&4zz#Fb|uB>Pu!3)993JDt9a^)J@s%5N2*|(c(hIcJ;*|np)$O>r))oboixMlf;i~ZhQ`g|A=Q0vsc8TG} z6D^FzPzZyF2Cp0pW~%eEvrN6MBe^RHGdN|Zulh}OjGc`GXIfMnMx(WIV^O(rtj6YK zWykaNbO&~ucHrQIZcfrN(taCjMQI&{BCdC$n53=v;RgUy$&0f0>77tH=M9`z@DtVT>z-`thV&Wq)%-Qi ztizB~Aa;H@_ddJaaCaAEA-@mGEvTI3Yg=%+WIMxL6r>Wh>y`U$4X^D>zj!O3`9TAY zclRiHO(}}|jfaC|bew_uO~H7V8~4;Pze?9wAU7r2NtaCrH@C|eYcD-yI-rSejfBsW z$Q^d_V5zW4-U5>%S8S+b&% zp7@mp@fbGQm{BDr_CZ{{uB7VPe=^ulA5rZjIll%>(!*(~N2v;Ga|6Ow#IPw>sY1P* zL(`*$u$LYx5M6&|YfIXSR3-eWH4r~ssDQg+V4NW5rA_cpSA#xWB=wrw8f!weZ-dZ(`#zZ8oc2=w zg_%d2cP;p;&h}QdgX^2=Tg3!cPw3==QU>r2DE;c30T8XYy*uff9Ke`?#QS0G%f8ts zl-MBJP8eEJpqmGwgag9jTH$gXFI*~JU`JlOCwzvbWHuQoV^WZ!_ecKn+*oaa>MoJ~ z593-f?91iSmlty|l)80Yg~y~bg7@#iWo0T1`aBXIHuM)4SwD0;L{v=S-vBNkpe#l3 zAO)@s-QoPsnz0E8JNyo}Yg9cWz$1BoQm&&QeXy8>5*F4W-!r`Xq1_aIob{kL`SFT+ zBu}BVuuM)+0?m-qI;nclmLm8=;F8CKKFgU>XJ>hbDvv>T@3b_c{bkT4{SKYWohG5= z*jXt-3FykJspABnqR>C1p(ZY8g0-|)HuKCEiMd`>P?I{^imfGG&+SeUT+pv!yU8aZ zZ-RSDk2j%L;zw&TebL9s#&DVljTlx~kri%s$k;jYp7I!W+@_SMcy!oF|4qc+#uH9txi})tBD)P$~vgDK5)9Al&PBl zDThoBj644!3RM>B^2-hjYn|)xPIK9?j&v*$x-v%5!B&Kbej6+qy0v7yoV3yatawaV z?uA@hTgKw-qL`dL8KSyl-0kaDpWBr#E_~E>6<#KcM!B}3bMUtuAJU6ism0V@o8U8; zplZ{fj{ybuv%Un;MmbopE{PtHyt%PMM=(jw;DZbAjBn0|+WTXxb1DWv-T8KxbA1_> zuufx_$4eH}ziZIS+g8F*b?{zEu|7zWC)TM0q$h|twHzIi1?tkW{U9!CZ2ptGqxb4$ zREnQXLSG->bSWkNdN$I2N1^}z$oRa%sK2Xj*U{H_Zm9D3_7PNeKabr}5Yrx+D z6(Pw>9{yO3Khy3M)R-{B#X~_l#GlS2&_SdtPZA;M9+M^rNE?~@@C#G$Nei2LM;Zfo zLAt$s2R3a%|3g|&5#RixK2v*3K>}tJ)ljGyj9vA!Hlb^dY1Q??2EwKhx({J9tGXIU z+w^M9hk2PN*RZ@k)zZvd^z6YtJL>adt(X)nhJ|t)=T{wrV=c@WCnwqOXfcQce60I= z334(PD(lP&wS`*d-2N&W#l!K6NFjhwd98+58`=- zgiKSH?{4%VpxK*Dy^

#$%rc=>mhXZzBHNzN~A{E){EcDu<-c(9Y+FCUKD8TIHD> zBvM1}ufINZN#1Omyp2Km{rq6!ZA12Mo05I;504xng4<~1ymOh}t;XtC*-ot92W#*! zDqjDJT=q;(+9vATsvgP3YgViJWJr&LWvz-cIb!0EOd`trU68mK&d20$R`0P!bWU{P z-|ul&wahBbiNDmcr~W)K#%n9~uPo{B_8wqLX9VNgRUe!laLvx$wK%U79EYpLzG6)qql%1_Q@ zB*=MA6#1!hIMLU_bh)G+(~|$7IEYV9=$SYcb-YWEik8WD(+OHJ`R!Yh{PEQoGaqky z*kBrIMZ;rN$L+=+bRWsaf-q`=Jreob7D2-oZP)!4PtMtg;YjS8;{_K?*N0p8F)Q|M9d%M#7tf+mYRPNmr%U zG5&|OIgHla&~hSt!Fuo=tv=P6t5G=-^M0DOC0bQ9RiGT(MFKj7LErEzjrRw3GgEzm z*utXp-8MYU0$tySQR4h0s{N$0BFj(pB_VSFTcM-qodB8aGdf^m-8Vy@-#)h#s>q)h8UCj-G|+*?SUO2SRDDq^FsPi2GL_G zRsMp@h$4(shIH3H$3MW z6&#uJlzKbfuYB_3cvurjqSDj0hy82Pfku6bzOo!(5q4~=(xXsHtw!)=sgn>7G3FL5!z#8d#< zbev6+s{Jf=s%1<$8^gi?2z5cOUKnBm@*-e#kLp;_FPb5$JnB4|Vz>!=1kM;D(4yH# zu-Tw|RP}3_FJkksg%b9C!)@S;a|``z^S!ut;|cKgvT;SV)ci83OS;tda@FR2uE(*} zmU2Y04OR}JJ@!5M-jFX~FHrOck?&|dLE^{0Zou3(TjSlV%rEmi8!Hf1tBIVX4P)y) z{5p6@ENCl8pq%LGz4f}kS-+6cgDvhvzzSMNTHn&9xg-*wIoWwHU2h}RwMovs!7t>d zZG$T?R6{q$wi5};n~UD_kb*KbGgG*d-B6kI&kD8jBeSTLkTmESt%BZ+th+fm`O@wTG4w{YQtw}h<<$6o~{9a60I{lWZs zXfHQ|h7(z>^aL*#Plk^lV(ZG1jm>gJok7S`hRQu_Vi3b9ys`$)?2hRZYp&@V@Yx(J z#XHfAbUP0gl0dKBh?a}St0swUhcJtrZqp0fXJ+R&Y>Z{lgG?H*Ed)+8M@+CABuoYx zzvbWWSX^-3!ql2H?v)VtvNlRf+F_7>A!eJ8)QeffBSFGWFmBUW^^lShdwnov$KiUP z6%D^{;sk-z&3hIIKo;adyP92s^ggxKm=0UWYR`)_9#^5_S#N=W8)@uLv56*2G|zvM zUS9a6cb3CmHM(Y+8x^sBCUzIWwTLccM>vzU=G7MjjKQ2q^16~6bntIzR23DD<2tq*CGuy5KEuvu1&tkHVQFMK` zpT9XezY4`lKHvS?>$+6z0)NH+XYd{`av@;-faEX7&Pn#5;&L>5C!Bg8<{wqEoudYc z(*Few*1h|pkCiQ^1H>C}5&YCdGB62gIGO>+fZfK;>`&JYF|rPewKIbP{}(lEaz_Lz zvJ9`mT2&Xra_gZPo6o675(3hvj3{P&p4Im z)!7Zj{t9ntVq_^}YY<7kO0~tHR$9|)Sf($iC1k_>aNxic z(7~%jlci~^8elSJ>vL5}uQkklWWm(4hy1i6%G+W3R?y##SVUW(i)FLo}bft{aU&!2oicB3+R zsvX;|b!vY#yA9F3vxeTEbzz_{jH$}+TKIZNuUKlKyJyJE7D%Lt80_m`RFP&XWTN#5 zGV%yQeTSbnQ)@kHzEgXHsLFxl3OdioXK$VVTG3pReWUn`p|}=`XEuSFJZ>r*wc-8% zeUls6??!{4zp&w6v{>U-R+H>%IBC_r&LaJt<>LHlO1mC6eQmot1T_QlguAz{kbgKa zIlR1iM-34%#{Wqu02uT;I1t0e>bOs7k^I&UeXGo!D2eG4>TiX}_T{f+v&#Mj{-&49 z$$!A*CsLY+?RYS=Bh15HY-^JbcbH_@w8YMv38Npp=v@mzUWPo)=^ZV|&q zo|QOrtbJ0;!amK}6Eut+jt?-m{`?(MS=C4j8&tD^VmNu)zsVN` zXdACZ4uLgatTjnCC_U>duDABBVf{C3Cn^XHaBEdu&8)$JU=Q_Pa zf?xrvTqc&*NF5sS;SPtYd&FsxuaO_lk6DHPH=sw3> z=$`bQEd*gK`3&lz09TO7{S*}@S-{s~xQcJ2`ODlo3J{+XK!+kpY&>~XGZAOa0LGA zKPPlT?B-F!8EM$A>Cayow;dQf9Uxvti?xLOwE2W?5QEdD70~z>_v3*DQL}Pc0vj&E zoNuT|$ncfM9{T$i^E#QgmSRPo8o;Tsg(IyVck|E<1g zzt~_TMcuc+?XO^iIu&H^+O(HQN3uv#j3A>2vDj<+ZZ#Sn`Hyb)4=Ih(fq%7({y0ix zU04~XIPq8o2Leit`<&3L06v@+k+*uO1AjNW-+Mt9VhtP&@OMR5R^eD_!ZeKvozt^w zq*H1NWcGlprm;Z)Z>WyYdHx71mY9JL+K<)AT+JIqXM<|jCdRAVT^R$Vi~fMu~AlhfhkD zL(YpRmgu9$moT;*4n3n^F7aW@qYRQ1f+Paa$~iAIPG8qFug@&t*hft^M81d5Npk*l zK$v1?(?vsU@Ebq!FHIaQY(?d6uSBHMpt;C%CRq$*#WXmQjOeGY-2PRH*yksqGT_=p zMIV6Sbp|O^UMG6C8QzaI#8$$-ZE-0C;KKtMZomReBz}l2Ukw${{B2A4Q*Py7=QA%mxom4(VOu~@z!M5Q6g}m2to-F;-WyB z_WE?)BX6mH(Z;xXhkwn`l>Iz;O8Yz)WV$;6pg+2RQ1p*6pFv3go?zOpfEuBd3Zc4s zSfi_NA|H?J6rUOv1}}J^7im4oItD8^*%QTM4y= z_>oP}GG8W=#$3Z;X=a`(>|5iAmUQ|A>HI*o8!OYeF56Mi@*a{^cPnlEqQk z{mgiJqeUk$wQL`Ia_OD+;g5n|0X5m&X?NKu@$W?AEGJ<_udMR?!MpC5vhbFT``$8W`J zY#l4|zJ|a5jW>(DP)L`|e36579|{8-%lnt6%*O7I8e4KMI>^74nQ3D#^B+tRuhrr+ zZxb2!zJgJ$A`tug);{{YD~^E&2Qbu9EYt4>v_UwgBXTaW+CKzn{bU`cN;P}auqGp{ zK;02=AEE6Z$A8OKg4%zPd~Rmlz5M$%|B$}l#>9$MGSF>BhNJ$aggg*qK#oP+yc-%+ zT6sU6W%8GNOBU(F2dfEwUSh%sE)bWVAXxO`-c> zrO}H0-%=!%7{0QDij@%BiKVRt*8Ijie)s#%z4uv%q`kN4y{aKbQ-ag@KuF}yw8&Z{ zv1+^YBx=z=o2cfSNF3iIuvdF?&Xzfbm!Nhl`D)^cP+oE>_>@Our3#z~e*2Q3Uu*S` z(Ql7EgRR2<-AjOGyO7jhZ^_p8yNB&Pk~P~Hhpp2;E1dm-Cl=URIn`9;RM(F4!aM?) z{>J-nUJ{1cYF2|Wsy@9{|1Hw?Xx)ElmhAm}kO}&z$|k{gxkJ>h3-ucGgxmZ+_$H>+ zd3>xyjK+uXVCtmT7ZlsO;7OgfP8#PA+oa>sY z5IYkn8)w|hXoDJ?DczZDP_2{P3q)mR1TndIBQ6-Wee>azO^_ZFwZPk~N9O<0!RshN z_1s-hcbxiVkcu6CH%s62LrK~=r6tzK?a62BU)NCu5KnXf)LF!=Ru@XAh2g3dS9^%+ zv5vxDoOOr4j`GjH2LYA3BS2o&Ny9dH_vzE_P44K@njk+<^144GdjF1z|Mwb%P&zA{ z3%q5$TFc>$dFmxE$Xewe)c;Oj|92#=;0z4IcCLmacD;(TA{vwowlV+zq1u8IJ;F@m zG#Y@oq=L-Nw4Aj6bA5WnZ%K6b<^ESBh7~|IHeT)9i^sohY+;-B3C0c$cqVa)L77Vr zUJ3J15hwnmP*dc@wLi4S#yVT?KXZOqihKp9rIA7S+wyOKYDf0vBW^Mx^1ARd(EtLD zeKT?yV8O6-0;~E_#91RO0V-`Y; z(FBr`M|`|`-GjnHO4*fp~=)z@MFdzUGuW=)h&;6 z=64a-^?5`5!MurZIO^d7xN=r@FpiW3;KHZYcljL{%CS{2Tb{M_|q%v z?qY|*17G02D6ZvFiBJggafbpssL*|2-~uo_mDrUl)U(_`lXNjion~RDJxm!2eC#%) z`kwE%T8Torhoe`}{PF~*HyOKbQS!}HwD?_TPc5~Yh~|wvbPRD@J>Px1a6*P@Be+65 zT>R_Cd2YjB({Nq@S66m8VCv$jZ)%aLEW98tx`b==T4hEOAN;?sY-A7Kor|EqQs1zo zGL6Q;-o^*t$dVqzWk5$Dp}(;FL}ihEhRGT=sfswoB`7S;mZsdQ)b`Y1<~L4K1I*nm zc)m?kVxsCVy|tqXvO)s?vq3USxD z0e;8jlqcGn#gz`3ad8fwyu9WW)_)sq5EJUej<6rB?CfIKtr_JS<2G2ct5@jUX)-k4 zj<%RSUI2!lXIaeEX%_w{O=*SYUx#thOkQ5AG6T=_GBT5z29s}5BY(8t zFIR8rvTR&b)YN8pip0r8y<7~EA6HG&t?-WNioWMt zee!ttxGTVE{F|L&1Y}DSf!W-7;Cym8S7O6W^Jv)Q?pFW&RIM^~%VlxrQ1DG*dL7Y| zw$s}^AimhU?oszR+ef<9hSt;~D5k&s(dBuDNZk49#2~&!+EJf#@<)90?VvW-oLIk$s{ArS z1oxv-^p3V?+*aI}GkR8_JWpjpTkR85HU+x7-nU5$ZSLsk%gxJ&x3BT-ZV!2JUatG! zFhNEf-gOzNUR6DAcfX}gZb@fF!hEd^dz8zbN(t8W!MNtRFon>g-da`y?*mVe0vF@Bg8}MOS{Cm29q9Nx+kx9LzwxXNqncJu$8DH`BJ zx4VrDXkKh-=x9QqGR;A$cCMM@pWHefTRr;RzwII1XksQEZUHB0BvqN*lOO^6(fj#< z{>`aE=RkFkBxZ7Ae1?j=ur#M>L>l?S4^}7T{h=S%mt9@sG7@>_TGIyi(3}}Ng5e0N zR!A>P`I6SDKl3jON{%_8dT(iEJkCrhEu;R#otMua3@NWKitBljvXkLqQ@$P3$mek} zhxcS7Bj;4*+X;s}brQqn5?&Px@aAZ@kX4*D%%|uSw^IbgpPJ?gN)}p)O^Lp^NY~q8 zD5uI;T(UdzsFWn*nA1m)bADp#lJ)6)GKB(~sZsn-%OIj5@32l9H{GvtjLSKQ{MZT$d?B*ncw2|H2Wwric z&ewUHXd(L?P2R?8FCNS25OZ2Gb%cPpkt*qlX6^g4m*Box@5$@KQ)l;B@nrlWXIr6P zbyS1HeFx&MEqPq(hOo#LdpP>F!MV2K@ANKrp@HO1!cRN z3F6OiAG`McuCLqTAI9WyDXNo62`h-&=c$V!!;&SaN9Sf95hbp?us|ohh{6&WGx;`m zJ|BFX#*lvrmju3SKd| zlf(TeclmY6{JPw<$8_(}H}T`Lathkg`2I||n?4e7A~LP0@c0Jr=nmINRvd+d1@4eR z8q1+KRPaqDnVSjGTTgaiMS_ajCPno%Ixd!2JDyaGRBC~6**hpo@l5lP6;CA5ssK7jEh;48SLOEBsDJ`TNmXw=?CK*DSO9G)W~{5Kp{{@C4NW{TgGavbzfw;Fg{_TtAe}{p8XbWHOM;CZTaxv11)<>e& zR$l6gv%*fM94m*)L^s(Qo(<{GPZZp5xMbYaQESYl`$LmcD)=$h z(yGes>rz>*R!^#!HX#!OqKOV471JNFYMa8kE@*{m)R<-nU_|HJA8stAXL|i~q#rRD z!kjY_a?&(rRVkrf)+GEVGy{!64bIN-9=F)sQ4lKPgk;<|JhcZ0Y)SnX3A%DdUaZ^> zI8yD8xv1A93`CPZ9@S`Sg}Z5Ch#0mzd<+~NMcC$H;KD<%JhX-{yH(YuPPe`i!xR8< zrGhWmWz}EtNn4qN&Xt%>@+g-UNCM>vBO}`ouiZ&)2ux(N)Z8=)&ymtv+G9Z92gu5f zfpsa_qg(o&chy6OW8SS@C2#r%7n{8EL`TZ1$f|7lU54}GJesK4RmaJk4k0}s9FrC5 z`6d^Z(neeA?erZrio1)wdzWS-~B5FS2!^c#_RVN-jUj5=N_3LF@xLIOtCROPWJw9Dk1?^_TY@Oh(# z(XY(`(n^zf60I?`lZ=e+iSOU>Djw8;T+u1;-S$xQKr1y>%F!GCL{qar$$3^uUBUF` z`vuwE@q7T=dZdY=(3rh4Hx%`aPK5M#l2e`o2-a~%M&`v|3OkitO7(S8kyC$5nv%}r z8AyItM#`f6Ld_6b>!!mCiTV92blh%YAU+frj$v#6ek*5~UmYK-D(&^f#VYb)to#3T zc9mgK1#Q~}TxwYwky?{;*HY z4{uerQj>|oWn`O=;9zHuDc0wwpr;>buuH5dw2O4*;Vgn=S@gTN-un>zKq7i@y?YuH z_4}F1>x;8g-d1mFxDGj1FHc^1LK#4=nEz4AnX1thHI8rcV&^Y?nz&o~dQ$z2UZbonIbB8#n@ z08(_bSC3wWRn5{?Dm!Ny_YdIzmz&c0zKdDkkMR?N?+8W^NWDy9d&- zBopIL-jP$|$%_gPXuH3AHzD4P?B0!4-#ru`viZ}abTXlQ+edVJd$!kwjy{&ez3?w? zP%W6)bk9df!srT46LtFVtM#(NIB0p7*40M#jKFYewDM|0}-#X z(C-`EQ_tR29*+xGp&9CESZT9_Z*V_&$40+mPT|fqIE7VHr_^)GOT8L>x6AFQ9j{Re zY4<38f#5fb`Qyey(`#}@@cw6(w?K9r&m+_Pma&Ba`lZi<(x;_rH@1ot71d9Mwu^Na zw##uJxUHMnI}n`jxv$(xgp$2Ry~*9^Jn=33f@^3Mm7HPP@n@C}d_>`%8!68bp;|P% zkGTX+``>c)tkb|;)pZi22Guo$H6?OA)bw?!{2S5=sfoRHURp9RKq2e43xzh&BC858 z%{i&L1lV|uY;(waHY=B8C{JqDHg`0S+T;`Qi_y^8t}foGab3>*`x*%!^S$eBq-|{# zBqZ9-dcYJa#=e$Iq0 z-psWw^(XKM%(nVn-)ACGfeChbbbuXtL)7*OrE#O@9!%u8Gz#P|CMRx>pV)fEnvj~% z^kU%j#UqV}YmXtfHgv5Q1+j-S`p?Fsg+nlCkj_G|8enyrk;+qV>}uxm#k%P=!|lbK z%ra(!qRMcE&UVCJz0+l($9+RYNJj4YUg|XZfF2#*QZOR$ZY0vjF0-cg@XtNZk13gQ zUXr1GdS5PAF6cg7MjJe)8$jWFzI<^Km9f~ZbB?$^f=G9a`28bq*`Ui4Ot4{%onp=G zh)m4W*p7zJcFJ$?m-(ICxHh`3SvOp6>Tjf~-XAC!8(B6yUGW&T=M8FX=t)m(MMT*~ z*$-}t9NKPr>|b~!)o}-%kAZ;OS;>qPzE&wMk1to)g)h*+hKnn~<*T^8=njxTM?o~^ z0gpJbGqO67tp%kCSz1SOue-j77#-3kCMKHH{H#TMB_>MKZ++z-C^0Dyd`@pKlhX6j zog@P80BawE1%ZXM7{4}5{j-VQ+rXI#hHO$O49^8`&nZ|FBWnoq0jCz?Y zT7~JVF6M+;wlGCMqKjft(nbGrJFaT9kfrG4^T+CwA!pY|1cku3-xFAg> z!3Td_`2qakg%`j<+oI-7^)`bUA}~qCCl~BUy8wQNVr{7dU+^0Wn=L8NPDK0bf#zlV z_?{*f{t$dIdsT*|2eG)#=rj-Hl`g)O18Mijta-QR(l&?2$wktR;(td;1nk)ZQGITG zq{?Q>o0UMkp4W51i!y-8F;}y0@`r(TR->U+fbaRx^jI}y<(@U)rV{{j zinjq4X+d=*iPYEIiq5Ld|;?G0_jOqjWB(sXj zhgFJ&D;w#tkxMjiPbg1(I;CVkiA4AO1fWA*O?AvQDr+^IZOBo71jR z4ypFs1+?t4-%xAGF$H#7WDV7C%QTyd%4K@b^pCN;_L6Ib?;;4d7n&@RxaW^q7Bi98HlVW(@U=ros9Vfpmo)9NYjAwPmKQ_+ zifZ9+C4&go3l2Ve4C0@O3-W2tFgOH_HOAgw=j`)@F~-R4(FRNikyP8$8QPFvu5zRW zIaH*=jfn?)l~X_OPdpJe-(`|}n2e-IQTBL4qFE$6kN|n!z~t=%ov$qR;_Oa8P@9J?x@m~r|u;>DWZmXQ^Sl+a5nnAa~7)(lyV zqH$Llrtt5c3`?lWW0jwV3%Pbi=Vn!N4J!Ln5SR?583RI`q^e3b;{u$@X@pn^s*6G>lTDklDVO4J~EtCu4~SVkaa9r zbLGKH;C6EJ#?{OZP7#Aer_11WMe-sI9T>H&X+xZ@m=}l@(!GbE4@c#4J@K1}1x_jXjE=vP6B|79i9W%^*5hfWtQXYOmatEnt*HC95<#)GLW}AXMRk#v1mQ6MK&rG)+U0qd#-!K* zM^?(pII=;5S?)Zj@gZw$lH1cX+kE}-o*9Lfr$#?7sZBOZiN3pi!5O!TS<*HaSt5+L2A zdfWs+9EhLFfn03>b^?g`6K#lkX(tAQUsMBAU>V^Tz~aNeo-Cm3r&$3z?KYRrNLtt<7TgI*ey?x&27>mdS?A$^A3~P4$8-wpw=a>hVvzNvyg^ z)cCu9xGq=7m%4!Fs)D|g`@urobV6%WgV1$RTa!fGQlB{epCiYk$zOQduH<==TzXOL zov~~!JGf2>-%+_V0_VG&8H^meRovOUPb<~gSEs>p-1P2k8Ag6@_Jht|u=(j= z2Uwup5EESc0gneBs*!EN!&6wSOC&?=F_G<}MH#C}eeO|!e8A^b*dTVuV?%Y;{_WIh ztjlNPd;5xbw^(-rqn)V6<76h0PNaUkIfTXxvD<0r3-)1-JX#=JEjwp9-ZcGqJ4BM4 zeuH(43&bDtVwdtd0NHEakrI2m3x+4IJ0`~&DJab6B_ZNMa|UDD>jxLTnvS#0R62W4 zfL_!pyiJ*fKv>V$nF^ozWG~W(V#IOzYCs5g^4WPen?tIaQqV~{L$f;5sTP3q8}cnq z=>3K>t`ypsP<_xOF*Wv7#U?_y#wI?$@;-tW7+qw?CqJ>nAREHHeZBuY?&efuRT>?l zZbaKtZR>TYF}d+H+-GpwcDCI&k|fH^V!1)UVB$A+BC7lp-mf3r=m@knOMOVF$Bl3A zMylr!#yyX~9x07-tU#4>punW8lVQ2d6y&%#VV(u>r4Qaw5Le$hm+?M0$JHtRUwWv! zHNp5U+1EPEbX|YCpH5>hY%^T8QAU2{Vdym!ijlnuXJMgOIQL)@#aQREh+h9(g6bkHx!Y&vr{2*`H4zwrx8(xt}v${DE^mRL!-j zYOESn)7P9UR8d|65e^UT+qZ9sQj(&|-@bjH`WlD8Kz*Gx9$Oi{$ag1Y3E^*569mU! z6A1HPa=*TPtBr<#GlKk@!`e$~Ieq(v=KSCBeZ!3S&$n+JRqE$I>`Mcb94@LkAsL90nYcZIUiAnyzF@N zcJRF1_k7j;iw19^9P@Z5~JjQMz2C}s{eBZ z_ydyW>kitmKnz&o7Y#Kbmh_eWqM~)k1w!Oslyn(dIp;qbdj?Le_#c&g@cqBJ43UF1 z2NPbmVT>5HIQo-U8}A`58Opa{lqrN3=^y zxLd`RKW@r0fz$Kw9`8{xS>y|xIhE*PqozQCGOE{N%{dnr{xQbCi*0S_n9EJ@?gKx2Hi zy1;Xra&k;4osuO57?pD*Fp5>~I>i|INFcR&U4tB=J(iV!83^hk1m-H)hsqDs`)x9^ zlv@rBW3MvRJU$FN`rzVYzm|W?+wGatBW_7Aq3d1G_r&=diAQVmI2AM_;!9xd$C%Q}- z=9OjYnFe$NC5#3b)Kg?59}sx|4)1pw+U#H7o`?sfkx7fLJ^297L~HulDZAfM zu6A9P>|1mJ+zbS+lt@jVv1mX`NE#4j4(FD^YM*(-?qeuY_l1UAEZFLQ_-U)E1C%RX<#Sp{l&G)W7sbK~X$J1GJ4OlX~%3`F)XX;yBvM zx^`4s!^bSD;RLVOkzY}cVEwr0L|L18Qv?fgK8>it^TRy{hE%{Or#AMJ4+O$^wzXPh zF7@o(z-l!s+R-yDt%~WqQibct;OM&29nh?P#qtcs8$5!d317=V{U@gC^wf`Lg{arH0{fQ$NO@mKec-k z_I}A)TgxYgrQ)e#+2y(JDPVuxvPP9Ho-L#zpI`h0=gO6BY#=J=R8SYA|)d7 zslO&1eIv;s`-%t?6N*?cV-VQ=)aFEVx>FhF;B)GY$3=dMyJj*j=OJ8D2Cz z;yBip#q!qHW8++TB4pImc1H53Z{Q*Gm^ZNYub}j6Tl6Y=!tdwk48jbZsaki3q?&KH zm#ptS24OdXDIX)7bx(r&X6MPAn!NG8wd&3UJL;ulP0VdIZNDDTu67zMN=6xe9Gl@R zRt2EMrpVnU;Klck2|0a-ZDMrTnW3Mcbj`2jVYZ8yQp}i$jKLQTq>Q01;H~c%J`=_6 zKW^d%exRA}h8^oE8r=$Hthe3c%d%-Wy^qn`8pssZyQSoIQozlUaRIl{4&!NXG&Rj? z+JZBNaPovFoGv`LU>&6Tf;UN7D16^KP0dy(FoWQpFJH%d~K43d`Igrd`M= z#?kyEapxwinOS*-)Ev;T8T9sc?zv9HHI(4H1*iDoN&i1qDn_gIn;6q?SL+p58UGE- z6P*cz3z4rTJ*eCjEmVz5PY_e`K#X+pr$d^*z7CZHpw&x;wTpVKVbUalO5nqP(1Q|2 zZtzem!nmmY%*^G;jgpPIu`@+2-FV4P)%lQ-s^NU=mnELsG@8B11M5Zrj@6y=%9B)j z^z0bLdno9c5+YhyhZ{c8BdyAgvvAE$?6FA~6g}Rrz#bOIVFsH#I_7w)+KS}QdyySw zD_s4hfwQYKh9eaW--+?pA*4++hC*}+C3d3N8U9*j3TZLKq$k}4p9j=ggI8!X{ihBptzUGD z^&_b%c$ECLAx}#tfB>rK_Z_5J8v6B?WfSp&m=s-6Jr6F*JeCqGo1d)w*|*rn!^5K# zFMEtqRu?8c&4VAh**WCwS;-&gr1zP-bO=px=@|pKrYmm*c@yoT-cIz#uv!6KPFY6< zEG$(S`<9Y$Qnkx_g#}J0mL!V`Yd_hW{NnQX!jzRICr%98D>G8|m_G&9c%x%OCW zj9CF6%WF}xJFd!b%SwkWX)0q^L3oEm`H%mP>)BTVbFrqMQc)XCwX(53qSLIP7{g*W z79kVOk}C#S#~*j{@JNrA(p2PCbBA@kOqaji6>|PLJ$Gxir_HGIMFlXJDXnphpMi#y zZPeLF^JkC}Zl@J|M$0dCDeMfPf)_up`bEQpnxI0$smO}G66PzVDAI+Sm9@l-Tm}03 z&*$zKjWvl2_>Lh=3l~GHFqYL`VbpgyZkO$p)>MU+)X*`7K@OqZ?QVH71F`IPM5Z`T z+aaxFih{V?+E6<|nv=gxY1^J*ldwRJt4m=F#{1^QDerEZ=sRy#BolT__dS~|&pn&W z@0UJ(JDXlZFI`y$=jO+3Vv{WO&HpK>y)kQ5yfe3dMVizAHZ~4n^`WpU+&gRhoSC`9 z=@_;C$8-7Hk&fN;jG%G=>Rb9B=hTH}H7rq-zhT=Z6B+NEFcRi3VOlnM?PXH-c#tH<(fykqxNm@(Aln2JF;oYu3; z{GtXxT#{lthm$#a7P#_My(U2~-^nT=V-c1ix)WmyW53~<=w@|FmJu&h#oM$}+wA_D z6`7UBUDbqslxz)AfCI5>xo_3MyOQWd_f4t^kp z_<(tjPB(JH&J|=nmC@ecll{(E)cHb>^?5^S{ju}24EZvrMJ=MG9p7^h=U$3d6-)C$ z02&Vkw*=+)&9UT6STJs8D!{SXPo`9=;Ss}uzc8%e&G9BK-~Bv$Gtb*T_N@fWaYp9| zN6XN&BxUt@d5-e{#g#JFZK7~`ep=pT#Re~^Sd+uk4f~EdYMgr-wtU<953+VS{;n=! z?euiJi-7;dglic~-f#S)yqucAge5$l1I{CAsvk`r37`$77t2v@AcgNDLy_7Q9mS_Bm%}1D74hajBLfN&nmAgc;k|H=%ZgF*rrL1GN+mc|#~=UW zEx7}%W^1QrTbfRhQfc#5=T4t$~SKZMYwQST|IP zf`mNd(fcKB=m~UGR#n8r9iNio?3ia~&mkaUQgohIuPm)9+FmkA8W*R0oTeq#7Mz=* zb9=WKM#ou(9EnmQ$1Y`TL4*oe0b{mtw1fi2@6M^a#Aj(LEcQTkQ~LlLF3IC*m&2@!WPz|^+RwMbba-QL?cYuk1ng=teooMAFZIbH&!bcvpgp~xCH?|A|@J{S#W^F(rDCE+ZKuJsF9!0Ra?9Wn7Uw5xlnGD8Am zf0h#c`8w?1#dX-`#=GR!qx*H3`yWAf`<{t---I2fWoEmvSuF!fmROoHzrwVYG(7RP zQJ4-TY4Q1=G||}6A$}uwNV^=f{`|swS|;Q{sMx99PdyY!%pzTzvNXM}r-eTTt3UWt3+sR;6tzX=Ial<+wLNOv;CXjY`!Xk_D? z`(PI4G%MNRl$f!DlmwC^O;&p-WNgmn-wAdd=ZObjSM^c$k+#UO`-7AilUcVZxIb%w z2}^UIoA7!{^HjgpfFf40m8ThY{#&_NZ%#zSMov=&K1YABkCJDN2 zUd9HvRSV$}LzNmmXa;aH4cspzPjVf-8KJ?;|DHJ=B&T(_zDfHh)Ai00lXi5pqQdTc zP1eW2tWGe?&KE8> zePxa^eob4S?@dA-2rH+IM+hLjb&OJiCi?)#R!88agp>oc{|%0|iD{ z3z7+A#U1M9#6fH6*efNMQ!-i;-agS>+}o_-@e}1kX3vv*K#|rEE%;Wlb&eyVYQBg? zyGkbY(usgGu~VZV?;c_u=fckIVxDq=TWF!A!{BnqWWApyHOPj@1htcD>a8C4@j3L> z64f+2V7b=bAltFtHfA%u-WxE#Hu@Mp&~9RWzE_WZ6l14;KIn{fV#rA)ghe1!V;nJj zCH~=!)UNa zaNpMKd2nehpcStfr~)y_HY6P^tA*5VVk!j4fH@&ed3+3m*t;dX3#L#E28WZ`GW)rQ z4SyYeW>Y_`6#>T zOS3x@=r~xF_1VWC`#g4AdMjR>E}T2`D&y#elwpM%A zgxLSvE%a}HnOmRuEtMrR4zgcdL>1!hfiHu6*pbOp6ynCxVX9B`*B*V1_k!Mzr&9?S zJ$114enxssF5bvugxFO*bFbD&YhNm2dXZ}Z;csp6(woS^KRF> zeM)M&#-)2ABo*l}$C)yAFto%q+a0$msoviq&_=%j{=ip*;34&MFB;-2r*REJyF~nw zcWW)}mF3H8X2aKtw!X&$MM!O$1?FlLiegtmuOOwB_8HV646PDJ_Ht!pXn)NZjXOg* zGu=_V46<9UmEf8Lw|u!1A#9C6fpT!CVHi-Wg*AUYSCRVk#*p!~PiNoWVrTc6&ok@5r8?t^u&)3ZS3}Kf@mnrrv(D9-Lgog&m_Vzu%`q#I25j@Ex z-G+>`d*C$;rbe1O>uXRS>12tkQyl{sqyim~jLjRT$h0wGHvwo)`V^T$avQK^4iPT2 z5P$1IB={RZe771!(V?`hxhZ#BZq10Ow@@9Mtwa9-G4dkqyD_Qf3uR#bg@di#KHC{9 zRhc}XUr`s!5J1d9wX@R5>Z#z!Kr`((8l!=+C$kwdoc8Ln{$=P0Y+NKu@!00=Hpfx; zJbu)AIpkC_==85_$9+8F@!p^J7*Wh4RV0s*@g-t7%_C9Okn$y>Fp$gv?EH1yQ05LM zRqp;f>?>i_-I&|U-W6o^2hH3G|K$#E4z=(%sq|Fw9K3s!p+(j|j`jf0-hV&^+CSf- z7Xmum2y{lj$wyNE+1eca`em@bQIft;|DmW}e?wM@1|&L~2?5!VtO3Q@ZD921V43k? zK)TMmSE0mUk>3%T;z>1Za)zZBgD6VF1JR7IzTW8yn|Zg%WAB5PH4pxa(^*6R)H$P? zs$35Ju&AecCE)I^o^`?005vSWaqppdYvIS3Gk0ZodC+YUO%7-_^2nz~Vim;UfcJHK zRU=5!*|Yu))@Wl}_@))KF}f}~KQNmZunz2fqnq$>?>e%%F_#ku3mb?8=p7oD$As`Z zbl)&8rl!SLA#&tgmNGyH4t5N7b@lt$Velk9NEVKx|3evqlYG^*UMQc7^4_0(Kz|WGSw#WB( zQ$cz>ePt^GUnn;N(!Ujo=>xqTkv8O=7tW-J5%-Fd(E zBE2Zj-%2YqolmfbW5jlRC@|p^=>c?tjd!&A@eV~a+I`myooU|h1vMBqGEuhFD67>O z$eo1vKd3i`t0_ zlM1LQ$)vjz$|&TEcQe6q(&R|*YVBKq)>!5vj^?Ptk#VI3t^BekBqN2A-K{Fa?r>0Y z|1$npv0(gO34hsH@P1IP{}Ne&3TmaUXdIcZeJ5RV&5zsB(3%w>DR4wxOu7(y2muT?eUtZp5{~03Arkq-_KBHPhX&}~FZD!pWhUq62VNsm4 zCg%065K#ac3gNa5VOFOFfpAh(H!eZ_=^s%_UPDxV+fDw#&yx0#qfnABrciyi@>)}n zic5Ns$+Xs^GI|w_x@q|?(#?^ohz(dKA+PRy(MbCN^2 z$h!mg@E=C{V)+tRW-v#Ql1XWObK|OTUQeg=Zj2-mHuV%`_?M34H$3OYe$!eOz_VKC zI`7QXFG9$g&xfZP1Wh$VD@9~!UcN4uH0F!fg2k#oxSOkx??EkD16z1 z!NJ{{Tpj%aA1{3W=WgD8a7}g^tV0bP0v%(331Q^8zh|_Qu5@~rC#LQBVF$A6&D)mi z?kui@Ts6QBuU~V@pQHmxM4Y}TP5;ZUy^XvxJE{ubXnmDVV4Imw5hETejh$bgbScNO zpnahdn&x=VQ$#2A>MMnfT@4?fuHE^U=+q-tY}f$MxN;O@;{2ACNNq6sNT?Zf;@}>Y zP>tOY<0hiTvw(&b`*RY3rtt_%v$&)S%mol)3ZjSeswL>&Ojkg#Xk2Xo8k(BHlJr3x z*TzZvPX1EF9CU$sbm$%9x7Q-#4whhGH^^V!zsBSz(54ll>i#4~xv+q$yG#3Lf$d2) zDRY1BU{bq__Id6Ywp1!xUcZeJ zck|p1@aB;9ptp>~%SS7Y6u;xi)D(r@}!DuN7O zj9fPpB}?k4WZ%BKcxPDsG3hVFuTGX;AJ4YPHanvzB69hYHJztHo1HAP!!$ zLW1)>laP(0i3!xu{WSCw+{UJXeL-b)rr%xxxl&HfIZC$PTJeIug_sNye6YD=*x7)$H1@jvW``SaVy?-?_2-I|pIUL)Ja?`Bl#|;&x)LB+ ziM#(;^pg&RZI1qEo70j zih5mGpXRt&g8Tm(@3Y4q-)Sp~(ihjbTXKPyrLV3jV+{=$rbA0|5Lf4z3KKO0x(8)V znBj?LTxM+u8M~Zc*RTt^`UmY_qt>oLot#=(5NDcu=Or(k{qcSdr`>y~tfgCUbF~aH z+x9C031ETbmICe`osVvRDAt!`tnhBXo%wW#nW$0~Pw0_!6ljOkMap#ji3~4haM;Ow z*%HcXWy`Xh+>y$-RW3*l@%Ge&h932t1KMjEF?B8f8b>2CrCOpu4t70R_uDF+MpD zS9iI9lruYpcRFA#YJX(-_emh1dNSqji7>J=e{@~s=-oR{#`q1=pQ{TZN|ty=rKNqF z?ZU1=+FhD=k>T$T^b{xX?w3AYJ}RXquHZ75C^l@KIuIbRej9b?4)ZO%XE zoRlpt7r+g#Td>0@y`OJoPiKxKd& z2xR!YE*k%wM^aHyk`os%N--d?P%2@w=0ta(OKaVrKB;pWma6_yT^HSbf+k#zZU3^Xsmx;e+xEPOlqM-4j%1~*e0ZdS zvc>wtcc7MRs&)h*EaJp{uSAn7Mi?O*&8!+D?XE=(B*h0J|_8+K31pe+>#&fxQ&hM6TSufEMuB=v#zObX4MAY8o#KYN zm?(g+>vO#N`Fz#xcA@$skh5o(8sEU<$tzc{U)74=e4|xl_l}2V{#(oNqWg7n*MXZ| zS3kbs2hye38VPxI$jO*6Y28c8WhKR#2kLW+3qk{jZ4qsb?k5_&y8?2 zYhA0XmC<)X()bI4j2tTN=&Wtim$G;mRJ4ypY@f+hyRL~zgJ(o;LVs(j$^1@aiwE(4)!Z5#kWJ1_~^V|q5EkV(r`RS zRhBtF3Im*y;hJ&O2V)j|U7|A?AZeD7N8*bTprhIj7HeI{jOZ@Jv-Kkd%8@)TSuW(r zyboFL@NkB)52NAOP%w_X^hlcW@k>rMMLIa7-B)<~+(78*>aw=-B!S$eqC}qAM|ZZ` zqn1NbRb(B8aK&nJdQZe9wzT`&mPnVGol;pL4vm4-7#wa)tyRlp;A+h4%OipDkO(x_ zlU$PO>U7na&0ere7ON@JC^Em6fgL*Az`6=%GS(?_n0Q;#Y{Cde%-f* z#WTGt_Qdncg#~POhEBK^RiPOAA()xru2p(=MyqTRs@53h)%|f92EX*QIB*dO$1D(< zA5ZcH7;%5Am|YNLj@1xh%H`jKOkVw@y42H znUstWCq0Kj%cSId6amB@pS~`%qYs9Od-PijRYSy)%Yh0du%6pTAU>>?9%PdhEWYv|UKa58w~%)e_TU;t&*~%(S``;Er25c%>O5OIp{1q*1sA7JFk~TN;`Wu`;0u zE7ra^!uLZzZlX(ANrpYNKQUlaKDQ1SauI~K5=@~vqfI0bZnz03E01(4mcgBa@l7); zWt`kC(^OX*M5)|waYl-qn%$5BI@l=Y=)}{Dk~b)kK=3Rt4g?yP{xlnKqHIbEGuzj- zgiSSCOvM;wJsF^uk=weH;H0)Z@7=Ozp4E_YRp)TvzDGc4P}b8LKP$pp6`?)E#Qn{Q z8Ct5VU~Onvl2{=d>#J^}q_y7DAMJFMolZ*6A9>Wr2WPc%WK~&^>l23ZdGd}Re%ilNIqy9ZXwY&RU&n}($nskX*!k}s4>&?X6OJ(&PE72j_KUndbj_FyL^&?((9N#^ka*k`#iPM*#G@Zz57q$i<7}Y+@+Em7n*G=*= zJCJ7S9rheAw&+g{K8>+;2>%I9u0|ok92~TJ4;x!x&|XQW4sRRo*SQWb;8#$$fksak zZ%6Kv?6OI3@zp2oIl)=vuHlxWyPs3Er;LE#h7HK#mC(20&CGmvo@>n`2H1X~X(|pUZ zZkI>o(o(u^q-?R9En&Sz!?ow)_$3zDc@EbO1#vsJwDlOfZNI7V=Jcqd0y3vyyPWX^p~jH#(5*-yVT`f&W>-id=&r1GP} z6h!emC|2=s@Zjlx3q|tQZAh8jVe__wCDVDB9j@ie0cJX*txp@)wT90Hnzbo(Db5}o z{cctO?aJY(_47Up#r(z8+7QztXNv0%sQERvd=;Iegz|3J#ao6)IMoekn&%nCs*Ozj ze$D9~bxppLDOFuLJqQrUziDJGT!8@kpw;_7z{qp+r*}E<5r3GqpBVG^x9ZUWFJo%X zo|_Q4$|AQveiq{sHbe*at}_CizAI-v z?h|g0oiWQ zS^=Ui__ERW)6?^lbD)q%(hDAI(CfmuB|D4Yl$?|{2WMQ_Z_8s7ulXMbyMsm?H9P_n zOMc($d4%)}NHZc%YkxRIXMu4Ro*ClSh%Edm0!#vr6Q}kSd=SL<| zEj<8NKH7h}$Pvv}x6^KYBBM*(835(ZZjht9#O;%db|gK>)#uUVDo;Pl zsHXnB(?x}4qPvzFi(}3@#JKm-RF~|E59UsbjB1LRWC{a3Ggjp22A??*WLS04zrq#O zXpDL~MLN;q;zfh_Jv@&6kN;t%AG!}wf|Je&H&c`6;ihK}fz!z8@B*i+zExvxf}9po zeuy`*`0Qcz!erolkhvwM$~DSC9uZrq3tbn{$e6)fNGf*c@E!c7;X&6s!F-^J?v7g? zFL8#fJ8$^S0jeo~v}GHNZPQcv8T39E_mqbRN-QC)r|&Nav;8Lxun+xFV%!heuci&0 z|By>=m|zJK+FlWxDkS4if++P^T$oTi<&&jWt$uY;^417(Yxd0M7YY0Esx56L7F9Cu zaQ;7+*^cBzEY^>Mt)AZDY7qTe8Dy;8IzNbbuqi&AwEATC^E2o{Tt_4QnBobpY=)#(h22fzh~kGXP8Fj#|RAzgi!TpUsq|SX>~vv-$Eg@d<;VB zl6NktjM}pAFmMn3*!qhmTOgDT@gFqg_zfxYOkZ@apuzpx*YRJ7e$ma9ef5!p2c_&% zdGYjGDd0Sxx1!4{wGkcmC~mZtzgVw(I`L8tGUOAyi9W{fPzvqD*MaZ)- zAn^0LEpzNPuxlf+B<5J7Yw)CLbI`jDvV7#1m*roT8z-Rkp^re7>=oeVh?%K3$YsXUlYNkk=_4PE;bQ zD;>_e@cIf5b0v_7nKoPMB>6L*5IRtVEft$^K@-12kf(ao^P_=-(RxcC;DJ4 zA99L42R%J*h8w=isCPO=MV3It*&X>0u8plt+n|rQGSXiX6iZ78<4&kegb;A;EIB`h zAl^RxB>~U$^Jv?AZ(6wVatCW&njiONG+Ys-Dp2%MOwyF~O~kgM zVSn5e!4O@u#0Hml$#VFb*M9eDt@b~ZC#QIA+qp@=egqw3e`qJzF~8pv*E|^*7~S6g zt}x1jPD&$%eEAvk1sOk(PeG&lGHo^ND(M%3%DUNGeLGB%jI}sh=cJuO3rplFYwzBp zQ&3a;i=nrgQa_Ld4YyzI@{osx)HsAqi?SLJ447V3Cqku>pbH794ttQ*a=@~C{dMfR zI|>IoC`Rhw9(#B$uF3hf7Mtbl?+OQZ`v4r$aRiu+zJR~h%&Zwj%#A1RgCf&=!Y zFcPC|ok1K!(#ayt|0A!5GN?!TRF9pld`}ffUY3MGLo8Syub2KE3xvKG8K-a$fUcV_ z?b{P8@^Oxwd2Ah$uc;+xof6rXg1u9s!e&j4@HKozfKzRI?MK~*hh@t#NhEsXaFE42 ze?kyWv!uUxHm%T8(Zm-kJ?V`z2q&Q+o_{6)DPZKcstpW8q9u8IvT`*DysME+3Vs^U zd0(F^ zi{u^+DhAJ+vhTx!Ecb_>!uxKd)XmL3Mfz}eOzvrrWoz1GkgdJgXeBBkPC#&-RhWS_ zeS~8h9JG$&6XneqO`7FNx$R&%bbqGyOHhJabPH z*xqZ|2n{Eu0SrS~>h2V!Nakux5eL@vz)Drou^6JZbl(w@H4zaDc!drjG3ywxb=0GK z$t6Wt-wjX9swJ&o+bv?KyyKj_(fJ_o@k+}%lEji;>8ZYC!x6haW$uVVR}7g|E>Nu2 z+Gu)Sh_$m`umpWkW0;VeM#Pt31p=-0O^RAl;L{!C>2_I{T`!!HXq~u!eP5(Rg{tD9(AZP~a&62m%a(CtQ!vzZW%q89|2k z4n<{{*rp%kN-%RE9g^t5Tv%0H7F@z$UH~DPSW!l16S{NOd>jMIB+Rst6iVhmf1!VS zwXEpxLMk5t@O@K4_Q<>s*00i#$(R2^#PCJBbC+s1GGw;H0e1f#qH1H>hgC9D%Tp-( zMZ6dxP>Coah78(n*#cKcXj-RY6wx4ZMX5OR7asN-2_w0inE=Oh?CY*TI397VA=iMo zNs%NeTAiAHXkpD2K`)tkzzC)3E~>@F%eq!(449v8B%7p+L?cKrGWp+i&1E5X={d>l z__gv;x{VScU3E|2aN5uN<)A#|U=N47BgRuyNgu@R`_94e5F>dI}x$eWWpM+^b zmw5zB(!4MeAi~HoIu`T^G`)i|*)4vZ$ynoab z9C-98qS0OkPitJ2SR75VT%rmetgjB=i5Y?k?~}gQ&*FOtZXSv+jhs3FW>#yK*L=-ElH?qs}T{6tA(z<@|kd|-$n-_Ee7)!cuz zJdv-~&mtg>v$O)>yuIzNp7)w|F7>l%eZb|x({Jk&5+ZAzL=ooy3^SSJNXD?CMB)AQ|?Xy4|UL+$fu&_gTeqaD&MeYvphdHPIavvqJ!{W&#H< z0%yHWPYqB;L75$BZ_CE8cN^zz=HQ9vSggzS7m1S>tJv8SyV3XId}j3J;rL?=xT5Rl z6QA8YE0s;b$!&vn{-c;KlzkO?sl}b%QF4uP4JW~|V2K1@5!dARXj;Xtqr!AH%Y`Hj zExmO#t>VPc0c}T?5vgiCfQt=c;&kZfF1A)Adbkt>A4!K=B2oAamPcXnWkarpO-*ZE z&r1?kyk*w(0!0)dqq(ZFVXrmjtqbHPiVv{>yc3y7fLDgB{47&%eR;{fSq7=+jpurb zi?HD-AZry5fkT5y)8mX(XIb0a-6m5mk|=$C%u$9YR|9^yG;QE+3f~&+sjuCd0{mp$ zWkFqIS@D#an~(IztHY|ZwT*3UOAB?K48K{eb@pngetrMUAM{9f&SuveAXE}IE{=hz ztr2{r{3xi-E0%jz4t2JS`ZcYkIngwBg%sO=T$(Ct66LqaQ9fnj5e;Hk7&hh1MSr!oQIR#S*;X=XZ%goW zpk-{y)-koVM6XneHj``UO+=hVqRS)vBbHuotQZRH0QCg@hW03TlE?tG@I;11M#_Q2 z@ZqcSM;T7!dJkH|_JUzP> zyKmCxnI(Bw`pAI8P<>Lx{#NeeY9!kId5#_JWWZsGj;^W5{(9;1xoNX~GMfyr%!ESKU&Ls+xCaqmVP=3cXD~NtEXE3joeN@imcd*ux+--Yn@)e0kUa{1d*Bp2#O?wnB2Q)j>;W^`!1e5(;oUzW^qwWwUH^30NmQ(O4$@h57^?^!f<(rNIJkb-}9Wf^~{jkMcAHGY$ zgFUe0g#G(2h6WX6J3E8z*E8uETt4A_S+*RqSOYxap`8w48qt}%e;mn9g_}3{5iIpm z3mPk8hj_(ADb^28?DY2*1%ctC%xVaX<;=DXXs_4!URNWGe{RQIcFKYr;7il6Rzo7W zCUxw5{yo>Q@$|VK7x9E}`=q+*^K?rv`ur=+{s8~H?)pqBUtS+OChEle_0>F%BIzpt z{e=mBzxMS^A9x~gM3*kLI?XF4i7p8Ge&SRw87)o5QkyZcU{K|%nmaSQ#95E`GRN|^oMgnorx!7vN!qY$Ju&6wk`SGO%dl75>yh? zrObY@f)`ro!VFW^Tf*g^cFXqq+q#Fn9KlpcB&+D?h&y=mr9K}=FpS50(8T41xzg0{ z4n^~b2p>{KE(37I5>=BhRT6%hxZgndlkxxTS3}25lkCa-gL;OanzHc^;C7knE8p;& znwMW_@)|B;Sxxg+beR8doI#-2n2sB(fB$7?&)DLJ`PDvHHpae-me0%N*hf=#-ID?% z^Ybsb(A;#@xpQ(w=uu;EQJ{Tj$sH74nWO)Gtp4oS*&83X18$#qpwrE|qVU8)9aUY& zz|o(XSsH3unp_saKr7t-h{y&MJjZkubKw^6dpc}^H^|an(%U9}zJIn_IC(t98Sv(; zF#Py34sy_qfq|+A^V4fn^ecKCUEYT@$p99~QR|#WTZ|5)&^vriF1LHEWCnw+mqvKq zF>2G2!VD{ObV=C?(}u3-sxwV}L4BdyDJT&CMkOsI4L8hJWCBh^t=I))R)jlacMz|` zHdOY7SGA8kjZgp+_c8W36xRg&y{$t0Sea!(2{9S5W9gK=Lo{?h7!OF7?_E?E*%gyD zq%7}AIf|hpUE?DQm3XA#-9HB}9cg|h@Wejv?#UaY9}i=fUf`P=nT9?y z)J9zG3g_tciK*Gs{!HAvLvvi^tZ93YJ@p48ykt|tV39dZv~^D8PdW8qnkNz}Jw^PO zFHWkzdFM=de{pj&V7am}>%38r{cIzyy{cT)`aI_b$!{16)Fth~WF8%zktj~*YT*%+ zoFp6x-IXk95*BuLqzvT|yu9#+AdOP+lKJBg3d6Yb`gIBLp9-@P2UEmn$4i^(!tBrLl$?9QID5y8jG;|rOzfQW6W|@N(IK$UlJl50?w`|5 zINS3I#E<4G>3;RjmXRJcGRtST_4Th(|12zwPfwP2w1GDs$6RYylXBnXQ}5*nA5Y9c zyaZTx*BnAhf3<7-f9+`I{%UEq%p&J3QyeOYAErm-nMd1oqHWMn4Ij(*AMq8FUFFBf zY@7J40&B5+On}@Xq6G{eVygd*M^Mz3A0Fff7Z)b6ytYtN3+fp;L!mb%_j+ohU5jd$ zHv%Hho>HtKi+@3A?j%#Ej6{^>?s28D6eD;yu#95`wanp_;MRt6RfPx# z2GaDK3s^JpHr%pFl9mE#6C(BiF?QvZhJfD3Ew0=lAq}%q1xbpkKPl74N@?k0L7CW6 zItIwO#Vi&_S(vMoNvV#0DF^B#p(rCft+-ifh7Ih=1vSP92ySRjZ3#6o2+EFD)VMQS ze}4PBHuDCgX9DsmCPN(N14LZ@n$G@pvJN^=o~(Jo7BuOrg;OLb9Ek zeDkXOppa(uGMqrWFksS)#0O z;BSY9st*9a$;au%`Y4lB<~hPAZiP@(g6yHwVBgQHxk?eH$phn);(yr!q0!fOZsV0O z_V(lAQ>5f|VO7Gd_JY?a*y)oiDiCgFS*WZ2S2brEl?2v@@oF@44O2nfO3TCr&$y9T zS#G8DD!FS43PR;pU}~XliY6|jsH8HvV}epD?uDghn&J|STjs8Vl1pk$X^Z2_Ebn}O z&w0PR-|xBSo_p@O_xbCDoZV>@PUwjGEOO1iNRV9K8zet)H%e+`19SBf9St zf=Qiy;nnVu)(L4wg5CS}>n{8v^)l);-<|3dgJ=XeoAwC2;h)>ZuF2?Z0Lo>{VgrSS zJ|y4qFYXAUW=eU=Cq=4MMeH7G@MuIU(-*kMIC$?F&B8V&a4dK5@JR4th);I-;?m5? z>KC5(2xnuGZ+;A_n&KVMybBQo^A6ROr6gC`yO@jP7~H)d>#H^rkeE3Mb-Rc~_ipeptJg5Z~hu8m>=0KM1uFcOHP`Fe6olVPENL{{JUHgPcm26j+W>mpZ z2dP4;0`XBwjOcrD_mrn@?;QS}z@|0Q!;OqVOAnoRrPaih?ak%`u8z6gdq;qa5Ph&i z(1nN3A3x}tbr?B#AX)0uf`N)J=?MA@CHqo!md8kc{8VB`Whuiv&2Z8BkkK=$OJ*nO zq=KC6C);QcJZi%rS>>m&RN?VYX37rCEI&@j{{l=WmuBrae z3!I2WsT|(2FHZV$NRq>E`&n_P91^X!TL^!QcxX5>fpYGwyYm|i*a{F0L7I?>#0Bzo z(%QW2OHhN^v+&N!f}`Jtq+L+5Lbo^0wS%&vVG`lZ#e_Du=IAB!MI>q_2QYcBpZCFD z9!$(7txd>R<+xza7k;SY=EZJY_EKHeDr2!8q*U(i>Z~1NEA`1I-^nn>z`_It#1uAj zYJn_!-I1lCqG_UMybTb0KP-t$Cq|Wcs?!mHXfTsSOS$2xyYLREE`~L@zc)eoVKKpU=K>pu52YjY zESJ-M{+tpi*<=$s?`3aJbOP&y_G>>c%cv>=do|L=q5jQ}{OXe*9s9Kmu*{jCpuEOm z$F=uV_-w9P06`0R0T&c|1u3hbZ#{ty)n*ve@fu3n8ATylLfiu_v@cs>oV+sH+{=&* zxfC1`&q}4^M)nUL=X95MB}_6VU|6xkyX^%}rk5ScA~(@2eJ&g7ExdJ@y0sbZlIYJY zy^0>X4`QM+LW1aHot{9?GmWo~_c*5r-wt!5ln~v+kV?NZ^Z*M=lnGO1zzr+? zLHGCYYbh|jw{anH!bI>w4$L0)hP;_-;7wpRdHMMG;PCE-<+7AUOvmN=AWxj;`fSvN zF@JwMM$;S>r0Ap|tui!256yY^9z>!~n!p7Yb z3@;jTZiICHmR?;_XMK|>z=#0~e;ukqgSeEiw$&O8OeA<0S)@!Bq&btIL!c(+Y1|8) zbM<*?n^3!}KVpGk&fsc0w6+eJs~g`kor?NC#TpH&@o^~sBwQ)G;$**DmELJQ=HN;Jaz5kIZ|APV23Jvnq9Qlxbmvx$k7Gs`T zuoEfcp%{yYiav1zG+e`ABK3qCM{#MKE2gzvyE`nSG7Pva^))Gwq~bM-gQwN%d~W#A zm`zb-k$4gzrgm7XvWxF=J)z67S35qUX{&|#@ujBC00W7q+G5f{#2<|#0;PD8-(q&+ zeoliKj=9fM{GY;mo}Q*ecUG3845WUWUCcYBNGri}Z|Rw(12oxOx(GeK-jZv;nS3G% zP-%7dR(pJ+U;D4g&c_Sq4$wR(hqU+D-!wf^)*Yd$>$0-^tK8)<$y_Sa4TO|M0IjU{ z!fmw#wp!8^`>S^{Az1F(k<(sUeSPmEBMQr7vQBWt6`mgCWC(tXf3#LX_ajvZNS%L| zy@;ZfAn*xutR`9fH_g(*7PLO{kB#{MqZ0l1jHK7{-*?iNlwH5Wy`se^s9jDDF7{Qn Hf${$a0Z{Ob literal 0 HcmV?d00001 diff --git a/thu_os/lab2_report.md b/thu_os/lab2_report.md index b4df51a..92692e3 100644 --- a/thu_os/lab2_report.md +++ b/thu_os/lab2_report.md @@ -25,7 +25,7 @@ Lab 2 Report ## 文件架构与执行流程 -lab2的文件架构相对lab1产生了一些区别,在后面可以看到,这些区别的存在的必要的,都是为了操作系统可以正常地运行。下面简述一下lab2中各个文件执行的流程。 +lab2的文件架构相对lab1产生了一些区别,在后面可以看到,这些区别的存在是必要的,都是为了操作系统可以正常地运行。下面简述一下lab2中各个文件执行的流程。 + 首先自然是`bios`的程序,在机器上电时被加载到`0xffff0`地址处,完成相关设备的初始化工作,并且到硬盘的主引导扇区读取`bootloader`到`0x7c00`地址处。 + 此后机器的控制权就交给了`bootloader`,首先是`bootasm.S`中的汇编代码开始执行,在其中完成CPU从实模式到保护模式的转换,为此需要首先使能`A20`地址线,初始化段表等,这些都是lab1里面就完成了的工作。与lab1不同的是,在`bootasm.S`中,还进行了对物理内存的探测工作,是通过`bios`系统调用来完成的。完成段表的建立与各个段寄存器的初始化后,就建立起了C语言的运行环境,程序转入`bootmain.c`中开始执行。 @@ -126,7 +126,7 @@ virt addr - 0xC0000000 = phy addr 需要注意的是,由于`entry.S`也是内核代码的一部分,因此其中涉及的内存地址都是虚拟地址,在访存时需要手动进行虚拟地址向物理地址的转化,才能访问到正确的内存空间,具体的代码如下: -```R +```asm #define REALLOC(x) (x - KERNBASE) .text @@ -175,7 +175,7 @@ __gdtdesc: 在进行对物理内存的分配与回收之前,肯定首先需要知道当前的空闲物理内存有哪些,从而才可以选择某一区段的内存进行分配啊。也就是说,首先我们是需要管理所有的空闲物理内存。通过之前的物理内存探测,我们已经可以知道哪些区域的物理内存是可用的,接下来,我们要建立页式物理内存管理机制,将物理内存组织成一个个固定大小的页帧来进行管理,并且建立起一个链表结构将这些空闲的内存块组织起来,进而实现内存的分配与回收工作。这部分的工作都是在`kern/mm/pmm.c::page_init`函数中实现的。 -首先,需要将物理内存组织成一个个固定大小的页帧,这里页帧的大小固定为`4K`。为此,我们就需要知道物理内存的起始点,从而确定可以划分的页帧的数目,对于每一个物理页,都有一个与之对应的`struct Page`结构体与之对应,来表示该物理页的状态,如是否可用或者被操作系统保留。这部分的工作对应了`page_init`函数的前半部分: +首先,需要将物理内存组织成一个个固定大小的页帧,这里页帧的大小固定为`4K`。为此,我们就需要知道物理内存的起始点与终止点,从而确定可以划分的页帧的数目,对于每一个物理页,都有一个与之对应的`struct Page`结构体与之对应,来表示该物理页的状态,如是否可用或者被操作系统保留。这部分的工作对应了`page_init`函数的前半部分: ```c /* * @@ -334,3 +334,220 @@ default_init_memmap(struct Page *base, size_t n) { ``` 这里,我首先写了一个`insert2free_list`函数,来找到`first fit`算法中合适的插入位置,并且将新的空闲页插入其中。在`default_init_memmap`中,首先进行一些权限的设置,比如将当前页面设置为[可用的],而非继续被操作系统[保留的]等,然后就调用`insert2free_list`将新的页面插入到合适的位置。对于参考答案给出的这个代码,是直接将新的页面插入到页表的末端,可能是老师清楚`INT 15`的中断调用返回的`e820map`地址顺序是有序的,但是我并不清楚这个事实,所以我觉得我的实现也许还更严谨? + +### `first fit`算法的实现 + +在建立好`free_area`来管理所有的空闲内存区块后,就可以着手实现`first fit`连续物理内存分配算法了。主要的工作其实就是实现两个函数,页面分配算法(`alloc_pages`)以及页面回收算法(`free_pages`)。 + +对于页面分配算法,应该按照空闲内存区块的起始地址从小到大的顺序,遍历这些内存区块,直到发现一个区块大于要分配的内存空间,则将这个区块切割,将要求的内存空间分配出去后,把剩下的空闲内存继续保存到`free_area`中,这其中涉及到一些标志位以及相关状态变量的修改。具体的代码如下: + +```c +static struct Page * +default_alloc_pages(size_t n) { + assert(n > 0); + if (n > nr_free) { + return NULL; + } + struct Page *page = NULL, *p; + list_entry_t *le = &free_list; + while ((le = list_next(le)) != &free_list){ + p = le2page(le, page_link); + if (p->property >= n) { + page = p; + break; + } + } + if (page != NULL) { + list_del(&(page->page_link)); + if (page->property > n) { + p = page + n; + p->property = page->property - n; + insert2free_list(&(p->page_link)); + } + nr_free -= n; + ClearPageProperty(page); + } + return page; +} +``` + +我这里的这个实现其实是还可以改进的。可以看到,我在将剩下的空闲内存再次加入到`free_area`中时,调用了前面提到的`insert2free_list`函数,这个函数会遍历所有的空闲区块,直到发现插入的合适位置,其最坏情况与平均情况的时间复杂度都是`O(n)`。实际上,直接将该剩下的空闲区块插入到`page`后面不就可以了吗?为此只需要首先添加该剩余的空闲区块,之后再删除掉`free_area`中的`page->page_link`就可以了,实际复杂度仅为`O(1)`。实际上,老师给出的参考答案就是这样实现的。 + +对于页面回收算法,则要相对复杂。因为不仅需要将被回收的页面插入到`free_area`中的合适位置,还需要考虑该新加入的页面是否可以和其前后相邻的页面进行合并,从而组织成一个更大的空闲区块。我的回收算法就是这样实现的,先找到合适的位置插入新的页面,再分别检测是否可以与前后相邻的页面合并。具体的代码如下: + +```c +static void +default_free_pages(struct Page *base, size_t n) { + assert(n > 0); + struct Page *p = base, *front; + for (; p != base + n; p ++) { + assert(!PageReserved(p) && !PageProperty(p)); + p->flags = 0; + set_page_ref(p, 0); + } + base->property = n; + SetPageProperty(base); + list_entry_t *le = &free_list; + while ((le = list_next(le)) != &free_list) { + p = le2page(le, page_link); + if(base < p){ + list_add_before(&(p->page_link), &(base->page_link)); + if(base + base->property == p){ + base->property += p->property; + ClearPageProperty(p); + list_del(&(p->page_link)); + } + if(list_prev(&(base->page_link)) != &free_list){ + front = le2page(list_prev(&(base->page_link)), page_link); + if(front + front->property == base){ + front->property += base->property; + ClearPageProperty(base); + list_del(&(base->page_link)); + } + } + break; + } + } + if(le == &free_list){ + list_add_before(&free_list, &(base->page_link)); + if(list_prev(&(base->page_link)) != &free_list){ + front = le2page(list_prev(&(base->page_link)), page_link); + if(front + front->property == base){ + front->property += base->property; + ClearPageProperty(base); + list_del(&(base->page_link)); + } + } + } + nr_free += n; +} +``` + +在主循环里面,我是试图查找新加入的页面的后继页面,将新的页面插入到其后继页面之前,再进行合并的检测。但如果新加入页面是被插入到`free_area`链表的最后,则没有这样的后继页面,同时也只有可能与它的前驱进行合并了,`while`循环之后就是对于这种特殊情况的处理。相对于参考答案的代码,我的版本应该是更好的,因为参考答案用了两次循环,存在大量的冗余操作,当然老师的注释也写了应该对这个代码进行优化。 + +## 页表的建立 + +我们知道,页表的本质其实就是虚拟页与物理页帧之间的地址映射关系。因此,页表的建立其实就是将两者联系起来,填写相应的页表项,从而使得操作系统通过页表可以完成从线性地址到物理地址的转化工作。 + +为了建立两级页表,我们首先要为页目录表分配一个页的存储空间: + +```c +// create boot_pgdir, an initial page directory(Page Directory Table, PDT) +boot_pgdir = boot_alloc_page(); +``` + +对于每一个线性地址,通过其高十位来索引页目录表,可以得到唯一的页目录表项,从而得到其对应的页表的起始地址;通过其中间十位索引页表,可以得到唯一的页表项,并且进而得到该页表项所对应的物理页帧。可以看出,建立页表的关键,就是要将物理页帧的地址,填入某个线性地址所对应的页表项中,并且设置相应的权限标志位。为此,我们需要首先找到任何一个线性地址所对应的页表项,这个工作被抽象为下面的`get_pte`函数。 + +### 练习2:实现寻找虚拟地址对应的页表项(需要编程) + +通过设置页表和对应的页表项,可建立虚拟内存地址和物理内存地址的对应关系。其中的`get_pte`函数是设置页表项环节中的一个重要步骤。此函数找到一个虚地址对应的二级页表项的内核虚地址,如果此二级页表项不存在,则分配一个包含此项的二级页表。本练习需要补全`get_pte`函数in`kern/mm/pmm.c`,实现其功能。请仔细查看和理解`get_pte`函数中的注释。`get_pte`函数的调用关系图如下所示: + +[get_pte call graph](images/get_pte.png) + +请在实验报告中简要说明你的设计实现过程。请回答如下问题: + ++ 请描述页目录项(`Page Director Entry`)和页表项(`Page Table Entry`)中每个组成部分的含义和以及对ucore而言的潜在用处。 ++ 如果ucore执行过程中访问内存,出现了页访问异常,请问硬件要做哪些事情? + +> 页目录项与页表项的结构 + +由于一页的大小是`4K`,因此虚拟地址的页偏移量为12位,其余的20位就是逻辑页号。这里的20位逻辑页号又划分为页目录表的索引和页表的索引,分别是10位。这样可以保证一个页目录表或者页表中恰好有`2^10 = 1024`个表项,每个表项占四个字节,一个页目录表或者页表也就是`4K`大小,恰好可以容纳在一页之中。 + +页目录表与页表的功能是一致的,都是给出某个物理地址。页目录表是给出相应的页表的物理地址,页表则是给出某个物理页帧的起始物理地址。由于一个页表的大小也恰好是一个物理页帧的大小,因此这两个地址都是相对于`4K`对齐的,只需要20位就可以描述。这样,页表项或者页目录表项的其余12位就可以用来表示一些控制信息,比如访问的权限是否可读或是可执行,以及该页表项是否存在。实际上,页目录项与页表项的结构如下所示: + +``` +---------------------------------- +| 20bits | ... | | | | +---------------------------------- + phy page number U W P (PTE_U PTE_W PTE_P) +``` + +这里的三个标志位`PTE_U, PTE_W, PTE_P`分别代表用户态是否可读,该物理内存也是否可写,以及该页表项是否存在。此外还有一些其他标识符,在lab2中没有出现,所以就不一一说明了。这里需要注意一下`PTE_P`标识位,若该标志位置一,则说明当前的表项是存在的,这意味着当前表项的各个字段都是有意义的,其前20位确实对应了某个物理页帧。这就是说,对应的物理页帧已经建立了与某个线性地址之间的映射关系;而该表项不存在则说明了索引到该表项的线性地址还没有对应到任何的物理页帧,可能等待后续的操作添加这种对应关系,特殊地,如果该表项还是一个页目录表项的话,就意味着该页目录表项还没有对应任何的页表,后续需要分配一页的存储空间来保存新建立的页表。 + +> `get_pte`函数的实现 + +`get_pte`的功能是找到与一个线性地址相对应的页表项,因此`get_pte`的流程应该是模拟操作系统查询页目录表与页表的过程,即首先用线性地址的高10位索引页目录表,再用中间10位索引页表,如果顺利的话,就可以找到与之对应的页表项,返回其虚拟地址就可以了。但是这里我们还需要考虑特殊的情况,倘若索引页目录表得到的页目录项并非是有效的(`PTE_P`未设置),就需要调用前面的物理内存分配的函数,为建立一个新的页表分配一页的空间,然后将页表的物理地址填入页目录项中,后续的操作再查这个新的页表就可以了。`get_pte`的具体实现如下: + +```c +pte_t * +get_pte(pde_t *pgdir, uintptr_t la, bool create) { + pde_t *pde = pgdir + PDX(la); + struct Page* p; + if(!(*pde & PTE_P)){ + if(!create) return NULL; + //else allocate a new page for page table + *pde = PADDR(boot_alloc_page()); + *pde = *pde | PTE_P | PTE_U | PTE_W; + p = pa2page(*pde); + set_page_ref(p, 1); + memset(page2kva(p), 0, PGSIZE); + } + return ((pte_t*)KADDR(PDE_ADDR(*pde))) + PTX(la); +} +``` + +需要注意这里的地址转换,还是有点复杂的,比如说查页目录表得到的是页表的物理地址,为了找到该页表,需要将物理地址转换成虚拟地址。此外这里的`create`参数,是表示页表不存在的时候,是否需要新建一个页表,只有在`create = True`时才新建页表。我这个代码的问题是安全性不足,因为即使`create = 1`,也仍然会出现内存不足,分配不出空间的情况,此时贸然调用`boot_alloc_page()`,可能会出现内核停止工作的情况。参考答案就比我优雅多了: + +```c + ... + if (!create || (page = alloc_page()) == NULL) { + return NULL; + } + ... +``` + +实现了`get_pte`函数之后,就可以方便地设置页表项了,这个工作体现在`page_insert`函数当中。与设置映射关系相反,有时候也需要取消线性地址与物理地址的映射,这时就需要实现`page_remove_pte`函数。 + +> 如果ucore执行过程中访问内存,出现了页访问异常,请问硬件要做哪些事情? + +不会......需要后面更强的我来完成。不知道这里的页访问异常是怎么出现的,难道是访问了未映射到物理地址的虚拟地址?我不清楚这种情况为什么会出现啊。 + +### 练习3:释放某虚地址所在的页并取消对应二级页表项的映射(需要编程) + +当释放一个包含某虚地址的物理内存页时,需要让对应此物理内存页的管理数据结构Page做相关的清除处理,使得此物理内存页成为空闲;另外还需把表示虚地址与物理地址对应关系的二级页表项清除。请仔细查看和理解`page_remove_pte`函数中的注释。为此,需要补全在`kern/mm/pmm.c`中的`page_remove_pte`函数。`page_remove_pte`函数的调用关系图如下所示: + +![page_remove_pte](images/page_remove_pte.png) + +请在实验报告中简要说明你的设计实现过程。请回答如下问题: + ++ 数据结构Page的全局变量(其实是一个数组)的每一项与页表中的页目录项和页表项有无对应关系?如果有,其对应关系是什么? ++ 如果希望虚拟地址与物理地址相等,则需要如何修改lab2,完成此事? 鼓励通过编程来具体完成这个问题 + +> `page_remove_pte`函数的实现 + +`page_remove_pte`的功能其实恰好与`page_insert`相反啊,因为它要清除这种线性地址到物理地址的映射关系,按照前面的讨论,其实就是将`PTE_P`标志位清零,为此我们首先需要调用`get_pte`函数来获得与当前线性地址对应的页表项。此外,对于物理页帧,也需要修改某些属性,例如`Page.ref`属性是表示有多少个虚拟地址映射到当前的物理页帧,因此取消一个这样的对应关系后,应该使`Page.ref--`,如果`Page.ref == 0`,则表示已经没有任何虚拟页映射到当前物理页,因此就可以将物理页帧释放掉,以供后续的分配使用。 + +需要注意的是,取消了线性地址到物理地址的映射关系后,还需要`invalidate TLB`,即更新快表。否则如果快表里面仍然存储当前线性地址到物理地址无效的映射,在后续的内存访问中可能会访问到无效错误的区段,这是非常严重的问题。我实际实现的代码如下: + +```c +//page_remove_pte - free a Page sturct which is related to linear address la +// - and clean(invalidate) pte which is related to linear address la +//note: PT is changed, so the TLB needs to be invalidated +static inline void +page_remove_pte(pde_t *pgdir, uintptr_t la, pte_t *ptep) { + //assert(ptep == get_pte(la)); + if(ptep != NULL && (*ptep & PTE_P)){ + struct Page* page = pte2page(*ptep); + page_ref_dec(page); + if(page->ref == 0){ + free_page(page); + *ptep = *ptep & ~PTE_P; + tlb_invalidate(pgdir, la); + } + } +} +``` + +很容易可以看出,我这里的实现是错误的,最后两条语句应该放在`if`判断语句之外,即 + +```c +... +if(page->ref == 0){ + free_page(page); +} +*ptep = *ptep & ~PTE_P; +tlb_invalidate(pgdir, la); +... +``` + +因为只要的确取消了`la`到`ptep`的映射关系,无论`page->ref`是否减到了零,都应该使当前页表项无效化,并且刷新快表`TLB`。然而最神奇的是,我这个错误的代码还通过了测试...... diff --git a/thu_os/mistakes.html b/thu_os/mistakes.html deleted file mode 100644 index a129cea..0000000 --- a/thu_os/mistakes.html +++ /dev/null @@ -1,1064 +0,0 @@ -mistakes

操作系统错题

-
    -
  1. 在使能分页机制的情况下,更合适的外碎片整理方法是()\ - A. 紧凑(compaction) - B. 分区对换(swapping in/out) - C. 都不是
  2. -
\ No newline at end of file