From 11ee1f615f960ac4a0a0084802cb8724069cdd29 Mon Sep 17 00:00:00 2001 From: fedir Date: Wed, 21 May 2025 21:51:03 +0200 Subject: [PATCH] :) --- approach.tex | 22 +++------------------- conclusion.tex | 8 ++++++++ main-en.pdf | Bin 1315263 -> 1318704 bytes motivation.tex | 24 +----------------------- 4 files changed, 12 insertions(+), 42 deletions(-) diff --git a/approach.tex b/approach.tex index 46984b7..c7b9569 100644 --- a/approach.tex +++ b/approach.tex @@ -64,6 +64,8 @@ The dialogue contains three functional elements: Behaviour changes slightly, if the operation is performed on a directory or a symbolic link: If the file is a directory, only changing the access mode and removal require permission from the user. With symbolic links, following is always permitted. If a process attempts to create a file, it is automatically granted temporary access to the file it has created. +To resolve situations, where user sets conflicting permissions with different scopes, only the more specific permission's effect is applied. For example, if user first allows a process to access \verb|~/Documents/book.pdf|, but later also denies access to \verb|~/Documents/|, then the process is allowed to access \verb|~/Documents/book.pdf|, but no other files in \verb|~/Documents/|. + This model addresses five key limitations of traditional systems: \begin{itemize} @@ -94,22 +96,4 @@ While this approach increases the potential for malicious processes to disrupt o Thirdly, all access permissions apply to the child processes too. Since only the parent process has control over starting its children, it is theoretically safe to presume that non-malicious processes won't spawn malicious child processes. Of course, this presumption is not necessarily true in reality: programs contain a plethora of bugs some of which might as well allow for arbitrary code execution, and thus starting of unwanted programs as its children. -However, we decided that the burden caused by having to allow access to all its children is way too high. For example, the Neovim text editor may spawn up to five additional child processes that analyse the opened file, such as code linters, formatters and debuggers. We discuss potential threats that relate to this rule in \autoref{eval:sec}. - - -\iffalse - -However, if the above rules were followed literally, the ICFS would be \emph{very} tiring to use. To illustrate this, let's consider the following example: the user has a \TeX document in the \verb|/home/user/Documents/main.tex| file. Now they want to edit the file using their text editor of choice, \verb|vim|. At the first glance, it might seem like the user would be accessing just one file, but the reality is that they are actually accessing four files: three directories and one file. If the above rules were followed literally, \verb|vim| would require permission to each file in the path\footnote{Assuming ICFS is mounted at root. This is not recommended, even if possible.} to actually read data from a single file. - -Situations like this are the reason ICFS does not require permission for the process to access directories. The only thing that a malicious process can gain from this relaxation of the original restrictions is the ability to see the directory structure, which is unlikely to contain any kind of sensitive data. - -Now, let's slightly change our example. Now, let \verb|/home/user/Documents/main.tex| be a symbolic link to the \verb|/home/user/Documents/real_main.tex| file. From standpoint of the user it might seem like they are accessing just one file. - - - -We chose this model because of its simplicity. Having more options in the dialogue induced heavy choice fatigue of the user, since programs typically open a lot of files throughout their runtime. Even simple text editors open lock and backup files besides the target file. Programs like TeXstudio or programming IDEs open dozens of files simultaneously, since they need all kinds of temporary and configuration files. - -We chose to give processes unlimited access to directories and symbolic links because they do not contain any data on their own. Having to grant access to every folder on the path to the file is simply too tedious for anyone. - -\fi - +However, we decided that the burden caused by having to allow access to all its children is way too high. For example, the Neovim text editor may spawn up to five additional child processes that analyse the opened file, such as code linters, formatters and debuggers. We discuss potential threats that relate to this rule in \autoref{eval:sec}. \ No newline at end of file diff --git a/conclusion.tex b/conclusion.tex index 6fde9dc..565ac54 100644 --- a/conclusion.tex +++ b/conclusion.tex @@ -2,4 +2,12 @@ \addcontentsline{toc}{chapter}{Conclusion} % rucne pridanie do obsahu \markboth{Conclusion}{Conclusion} % vyriesenie hlaviciek +This thesis introduced the Interactively Controlled File System (ICFS), a novel approach to file system access control designed to address the inherent limitations of traditional discretionary access control (DAC) mechanisms in Linux environments. By placing access control decisions directly in the hands of users through real-time graphical prompts, ICFS bridges the gap between coarse-grained flexibility of DAC and the rigid complexity of mandatory access control (MAC) frameworks. The system’s design prioritises usability without compromising security, enabling users to grant or deny process-specific permissions dynamically while maintaining backward compatibility with existing software workflows via the FUSE framework. +The implementation of ICFS demonstrates that granular, context-aware access control can be achieved through a user-centric model. By allowing temporary permissions and scalable policy generalisation, the system minimises both user burden and the risk of overprivileged processes -- a critical weakness in traditional DAC models. Experimental evaluations confirmed ICFS’s effectiveness in restricting unauthorised access while maintaining functional compatibility with diverse applications, including text editors, browsers, and synchronisation tools. However, the system’s reliance on process-level identity checks revealed vulnerabilities in environments involving interpreted languages, containerised applications, and desktop portals. For instance, Flatpak sandboxes and the xdg-desktop-portal daemon obscured process origins, undermining the granularity of access control. Similarly, shell scripting workflows faced usability challenges due to frequent permission prompts, highlighting tensions between security enforcement and practical usability. + +Performance benchmarks indicated a measurable overhead in filesystem operations, particularly under heavy usage of that involves permission checking. Yet, real-world usage scenarios showed negligible impact on application responsiveness, suggesting that the trade-off between security and performance is acceptable for typical user workflows. Security limitations, such as the potential for GUI automation tools to bypass access controls on X11 systems, underscore the need for deeper integration with sandboxing technologies and stricter isolation protocols in graphical environments. + +Future refinements to ICFS should focus on three key areas: enhancing interoperability with containerisation frameworks to preserve process context within sandboxes, developing session-based permission models to streamline shell script execution, and implementing robust mechanisms to audit and modify stored permissions. Additionally, mitigating risks associated with GUI interaction vulnerabilities will require collaboration with desktop environment developers to enforce stricter access controls for automation tools. + +In conclusion, ICFS represents a significant step toward simplifying advanced access control mechanisms by aligning security enforcement with user intuition. While its current iteration exposes inherent challenges in balancing dynamic policy enforcement with system complexity, the framework provides a foundational model for future innovations in user-driven cybersecurity solutions. By addressing the outlined limitations, subsequent development could further bridge the divide between academic security paradigms and practical, user-friendly implementation. \ No newline at end of file diff --git a/main-en.pdf b/main-en.pdf index 82526d96462f45c2a77110746e31a93f6b3f7fef..76586c26fb716ccc5a6a56d65b3c3d33fd1ad6b0 100644 GIT binary patch delta 51587 zcmV(;K-<5+qfoHEP=JI1gaU*Egam{Iga(8Mgb0KQgbIWUv<&jz0yQ$1(B}*(f3+Fg zuG_frJzrt$OJyKdMBSCXbaO=)+f9?WD2k>JJQi&WktK(ca^jbMd*?=3^3fhNDT*W( zIh-NqK0`*W0{Ej=S-8s5!q1DPfJAi$4eW@uMP7R`)9e!{2A;!~Rb%e^#qQ zCzGA#iCP7IlJL)mxAVC@{Ex)%e~DfRyK$NWTiI$8rioufIdUEN!D`#|8^%w z`{)Tb^Evu>@+OG`J~{~^zeqwn`o;Fivo}$^QVJjd+U{2l&0%fJ)jz#gR`2`uzqY@S zYC*?OUT?>pZz*8k_g9HGPUMNi?^p7-pNCHOPT&+q>!oCwGi^308f3(Vqz|X^o zd5rwfUjv!)eqM)}_wwcIj~~~Y2#4=}+kRMwx%ci@2K?pStJlAxIJd&bVdkf43S7{Z zDw@gczQE0lY7?u#S3wF^RDK3(C*n_`3TEWDhruul5_c9cz1x|tLmpG_tJdY--* z`o3*C|7ORynC%$(DkJCee~Va5_bCXI$Jq$|BpXHk$2t!^13ZMFNIsOu&)1tch^}l2 zN^eeQ7-e2-wY@M*ix{-t%J*n^V9l4c@`m+Bc?Jd@4tgAwxE=z(QCyoTaWEquOxIV< z0Yw6yH!AmoBxByswk1~F>51h&^+MJktB%3# zxv$#hDQ=rOvT)%bhp+3pMfKd{j}ehrjA%jzD^vb+=KsFxk8Eu^2|ZN=#+?wZCl2x{ zNCM*@{HG36vl5l}lo9T2)f>Q4k2}pq9AFayELA_`HNSyiQI>$ikU2qMzox5H)rM6;vj51{FRCQg2L5aW;w5n?!-!Z~bqjtVlf33YW`%Th{GCu~-<75&2 zP|o@*dAU95#<*M+=J^PAoQ8Sfy*wHg_Kvd!j=y0}Q7NQ8Lh0MXfg&Has5Rr6x~3?C z<)0p$_7mfdG1tjH6s9ns=w7ls*&^{caT(iH9de$91r46mPb zFQ+xET*8u45Y1Bxpx?Sw#PtoAhGx;JaF?fyfx9j+eRcIXPOiql36)YBp;_pQoZ(=~ z8P4bBf01@Vb>pDw{~#b@?O4_2LmGqfWCc2o?w8oCFo$A6XXO;x&5;P%k=hG%lzspY zy5MY5dy4EzJ=PpRI3Zs{-B;&YR{QE?ghGr;v=lnUgT(AFx%E6FQmF~OgKMS8HUN;_ zW7mKnY?>|^!fCQ(M2fgLB%f|Uj0hALc&;$vf0h_KINICx#57Hd&T&8AK++lmt=U8U zyJ=D;$&*@8&hee>;@TUK|(x@eo$Y z9&QOb-xKu#A%`e#pm|!Nq%0<_+SzJ%p#&yrqlONXWy;_=pqQJeuA0x!F<+!qe>h@y zF^W?)W<&%cZ}`>xxt`B5#*hQ0H~`_O6|M%?J;TxBh~`|+Em3`dfi)+}bzj#BRE^pJ zzYK8b;+5~(6G`0yi*l-qLsz0;fUO`F6=*{KPQi(Iq^n#SXVMknqF$)LBmvw&T=T^8 zz%r?Wob?{5Ir2JQyVe5eNJ=@7f0PT0dMV;>3Rjv=ni-r?Xux*|_dCiSDLZlM9QP^T zgDB(ySh-z>zJ-RO+DYk4)0=vOd&3P#d6TRxq&o~G!{I&UBB9KQ_x8nrml_%hGvo(y zS7q)?4zML(+@dp47Qnlcdl$fKWQ~KbYf3v3yFK-suI22;D=%2-Xsn>|f7PA{OfQ*) zTi1lr#m=Ro?AD0{*)?#OAi1)F|OiTY~A_TV`WBhICF3X@0`t}YZ12v$a& zu(89_;vEBTSi|NC!3G(EDCAisQ0~`CDi4wOhE!^W;F~_3*;yc;V@g7(=m<%^9e)iAh ze(7CKh43~S6pj)zYgBl5SdQ`J8l20@;dR$Cu#^`E93xB4sX9gkZWlOIN$jWavbezF z5?@*5=hs$4EFZ(oTEWZnyluh@4|KY@YnzJ)ZF0`3CC(qdA`xB7e`LR}-Y|ey<8+aC z<=uUkdgDygizhcNe_LSPG81EgCbpX;Zt%JR?A!$U_i0ora+3OCoX%ruE4@w1wFK=g z&4VsWE7v_&-@mS1QY?DEIv07I?!Ms@<57007x;IP*~IX8A|FsHoeE zO2FgsY)I9}UANz+|!=o)pA>xtHY}lJr&YyLu&mtI@9z;7y zC3;XlZX0PQ_?>Na$<+}`Gvv-gYb(<|(*AB;>ka*xu9~rO_I#718!A^=yc*DJNspD% zR?={5D;sDCs7vSGv$?g;uC0B;w=Faals9*se(*mqueVSB13d*QTbD5r4->b!=M45X z0x&t3u^tUAe>M>Qu3y2A+ZT#Q9^ZhXn47l-YZ5QcfNe!TxT(5j>+HaBhW6j@IoW9= z%W;%gO*g;*CHhF69zJ(G-pLUwqa1lf&Z7;=M%-IgY#1#m=7csWAJ96Z0{$nXA_n3Y zz5E+hGPZCos2nlMB}l}e2rXGmhpCAI{$WyNb3{+Ze`w0+af-Z;%34Likg^yS7^>hY zA?3m`E~0bFd5ldVV2D@N$g~V?NfclipD_r!T6Q9nmGx0ZIlK|!g3;nR(9I@e3gB5{PZr%t1Vv>$png7-cQSW?(k`Gk$~+MlDfxoYnQd0k&Sepc z7GRP*f7&P};NoIbY%?B^@E79^p#yMc<$=2g*e+tc$3V=eI8rJc6yp?RI`rgvI>;N0 za2XR2P_@Y`Z-Fr|@p5A^$UErbQpANQlb!Nj-V1NzL!<(_Djz`rmoo;+`sJX4k>$sn zf$+9aUj+-zgH^!^^iVzsPHfQ0kYj_tAcG4Be~tt$7zl=pX@FVCSQ!u})w}{S8*31DKMG(-DlCTz~lRW+|)6o#}_^Y;-w3 zuasL18II?ea-xMD=G?5yPf3FItFqv1A`IQoT#&E&oYI;38udZqjTz4H+?=HqKrXN*} zpwC{5)g~sLGN2ibXP5%6jBD}RNTe@FWYCJ%Bhi-4wQP)}4UDaeEWD2D!| zvTZ@g<}na1oXZs+E`f%q^yab7#|Q|YosYGwB?K^5N6_8E^$Ea;o6w!tJD-brrOglf z2ZNpc(W(Pt>TY%o*?Y`xjjVS;L+?(q2x{;?{NyJ3SmO9Las0N#;RUfJf5=?4aoMJ2 z+bgkr(h?$ho3#YoFx)6{89R-LZ6mK<4bFyxAGg_Go0^a#9RbIUDv1BE&!#TAjE)Dx z{uHs40KykVtc8)ePKpeM!^5M&!CsHSPqw-~7bMmhuAX2iMh*?IT12jEm3jGoI-TQj zm8Kq-2XAk2a7xezmQUVjf653(8N800FxkDHd>CII4R%(2kf-jOOhb0L$(V#?=_G2c z(ZSozvJoB@j)F*3Nl&wP-P-;)h79oho^Nij`2O<*IF9+al@AN4<-%?5eAdrCCiJ3U%uUx?jzz=rH%r$VYgf6H0zX=ozne)D;i ze>r*krvM|P4*$-Q4_F8u{*45Q3-`p65Ca8v?&C$|7B8aRmKVO)pvb}bzN#$Js)Isvy$C1Z+kVI{! zP*3hZs4vvj!Gh?Ogybq&mZ5QKY&*3+%R%L+ zJe!RtSC=y7`6qxkDtD`YF3zjdgBS3KYCgNJdZC(yc}pTOe}HmU0yTn}Bj*|5r0g95 z+Z9F%$#}bfZ6$kWSVtq7N03PJm>|CdL5x6-a_B^Q+ai7H?jIYnOaGXRHtPbhHL@O| zr5t{`$g&)d>DvcwO<&sFr;+k?$@j7~=l0f|?PE;p7OL5Ga%W!;)rQ+a6@^l7IWjh; z4OrT8hsw+Ie|he8r?MGtLuyAj_i&y% zR%h8P`lS7&^yi zP1()y**aOV4j<@SR2H`PjnpP9ZB5oiASPASMY|*~xnUHL)-J%vybT+jCX#DCDw2{;QhApa$RHj? z#S}Glf0QnfJ6f;E_1iCDsO>WltsOp;i3U|<9KsyxruDZ1c;_6uC}Vr{Gi(3}s_&9c zm2VxepFz1SfNk_LJFEFirtU?urtET4BPmCAlVv!XWaGDvZ-aadvG$zkBnCG(W9q}k zR!*s1YUYQPn%U8+Q?g5^w0u$dBBRfp6gdTte*lu#BQDOjneAoHC3#^S}v@bqNo z_~h(xzt3zvQlrSr;Da6QrEDPkJYd3iJLuo&7Dqq5Iy~F!H%r7{xs9Yjme>~EU?%c>Jq-)VV;&L11 zh1}z0MpemAnUGn3Cfcg1w6)T%U@0h1nu?%?C7OYiUbe!Lx;D!i zF#;OxaMVW21|sR&zMa$r`@6a0VNK)7sJf+D3a2LfD5zUo8O;*&A|kIPwOPx;X-NVy z+ebS07m|Mo75pGn~@q&wstdNE}k=6ZLFVW#<@94$7t1s zQ`>8q));jg0wQ{(7Q| zJuwJjBOa+nWvmWyHgMijdpFb9>)*EiZhL6?7|lUU*CdxcDkOSes}Un6_zY z>!`q~{i(y=%f1-qeevwEkD5mFB2yQ9W9Z5?Bp~Gc{Sq~_;$T#-pGdpWJP-(W#SZk~ zw2;{Of61u5SOtuQ`N!(qvL>d)!%D~AC z6m(#wb@j`jdV*KyHhMZTvr)5Gjy>^YbxC+Hf8_MQC{m^tDcv1J0sE|S+SzEyj*TWQ z0KiUS2n^ft;PF{vXDw3iM*<^r=#!PjkFAm!5_yo^{`T#YhzJ3Ivt}i+c*{z~1rq6= zHA~adXAQb+z6)9cq-PH1JdqPB=_#Q`ty=dmA4qQ^WRPS!s!3YnxiXk3kU9z}^PVhp zf2L;rJcVirL%t?0T=+3(l#3O^3ym+>R%kO1D#cW|^U*C*mpoc6$)**e~*$}MwL7&A{6HGWFcbpFo@^T;oQav{4%3r;3G}- zTuXwpmpIEInS6Torbj{N?j?a~x;9&d7T=M<(M@B>=?~L*l8&bxb4(*QV%j_dCS<73+eGpNrwEA{kZx`L8H%g6FObO3pHf0R+BwkHNIK46)zXiSff7TQf99adwiPEFj z%Ff1RUG#lY1OJ$#R<&O%Ps#{f%jhND@|u{9Oly49y;-oFl)-Ihfes4bQUEJWoXF?% zNFjBTRSm_JOkix{DK!?guGxewVr8{g>Fjq*ujp!?+2Cp7-6RVBO_tUZacz{!o0x-a zSFgngyws4zGU$hze+lt4l9{svF>pcQwa5nD09~yZ8B0)I!sjx^l_g{sq$LALp^g}U zLb({_S*m;TGO%-lh!CvOY&OVSgp&}MQAFr)q{J;11u~c4T4${`j z6O2KwI+5EZN`m(S7TM%Lw92aR&L>y;IE+0TE>{^RpZ`eTPUf(t)cE|{7q@zz#@;7x+GR=Hjw(ix-^`^_jvv*jwNYHjPZ4H$LqEl`Bezh5WFMwP!sM_~hCce+dX(aYQGP zpUzdwWlkf6f2{<-dRO{E56I&7vXIAD>QztQ|XlE(XE9&VH3#-qpG^#$P?o zY`Fd%=Q~1lHbwGIf_Y-v5HnFM6KM_lq6ne<%nrj-UgW5Sz@58V+6SlJ>}HF_=u?W( zTAB|W;4d!QgE8!%=(`7fdcrp!_bn;Q&SlN$J+k&TV&|-Sl>n16b1q8Ce96F65QoHv zxMC~(IQefi@^O-<`>!4xO;$EzqnDKXGy+a2MP^^u6g0=flS^Q)N$WPJ+UF7@t~^`5 z^KS6%c3Y+?zJ}u)Z|N?Fx1U!Zn*RqY)qzx(F%b_Fm#`oY6a+CaH!_#e=L{)-R?Bkh zHVob8E3}kmB1KP2+V$SF$)vlq?sU=K1x?X5CzPm=QWF1t0fO>tJa^NHEt3EU8~_JY zvLJ=OEU5FKUbRWn2E4y}5AM?786P`%Bt_d)!DoPC_&kie?JtktvS4TZhBMk^L7G$* zJ^pyU+?(D1JpAg;XC7|3Y5-P$9mM&nO4_19)M=6iaRCqfre|N?FK2%m;c99D3l)Mu!~|~S7?PrXYqzv(V?gf$0$ZC z(@Uo!VXvLE6Ux%TNt41(MzCJVL3oFIp_Er~Bgcuv;!E&(0(bXOTxNC1qAUd0S=eD7 zkVBj`Nm|u}RQ971y%-RG?nGGYRcQ2PwiB&;!BM$qgS5RRnS%tsZ0@8tV*@5t*GK$v zdmxRSv~d~3`YL0aL~+$r;Wv!XfiEo3EtpKHL)7G<%P9+cu-q|^w=F^=?VGDs88T}L z0GDi{LKoquoc5%C{_BNAl2R6i@yXY|2tQ^ufMg>T77T(2yEveKQkS6-?@-X$>5U*Q z*Xkx}#WoI#Hq6H;vjq#RI$_@?J<^6+@DZU~JuDqr43Bj3^|PdKeQ<}j+HgcurpOb? zAu&=h&VhKe=9;`3t-J(|T>x)_&7@B7_+!*a;vM*>`w;06F%{^8p z4__Xi{v?$VqY>7Br)EjU=*P<4ApcE^lCxvxD4xVfD}VsvPkbPw4R*GHWRbu?HBVje z*L_4)1$5-ZIgoH_PJ9bB6(_Hn^Wu=;n)oQ&pyYt-*1;g20CWtG1{Q|Tz)UP=&C;7w zM^Q*5z}0NAQ|Qk#a&}XYAkp*i@4Zxl3?)?TMynv4IgurQL)MBT-C!%eh%?$cE~CM) z7netTo=S;fce0}24O37{Dlcri!@zpUY2!UB$qzo*RjxN?!qY!3LwkVk_PE9g!h7gz zDI86Dk;3J-7i7IPtQXM!2BztaM5A$>_>i3g4Q`mX)$`D~8ZbqQ)1|st7*cHKX*NED z90q-Jj)75saIv62j8o)P9QeiN#hsBfo=yn495&08UXTF~SgqXMj2B;772)>-ok1>j z?vgh6nsC(ybIKkTdYJtB#i2*+4`? zn~jm(PSD!na9$)<+Z#ZZK<^2A;^tCd1yI8{>x5%93GObcaD%}kGpv(4_io9T7YP`T z?rP>t-IKxCx&;A4X4~%=MpqF7-5EF+1A`gcFA`piGA`yoH zA`-U&A`@}~135J_m!RSh6a_OiH8C=m5%UQre{6blaHh}JZR}*?WWqPLZQHi_#;O7$OvGhXMrOl6LB&#ask@gi5j_>aRW5WOaUrp4ge-*z&{WsI5L2Uy@RI{(8AIM zJwRzf^=~IY-NwiiXbW@#sN37vy8%rs0laQ*Zh~&kuJlf>{Ph2HQZX|FxLBG2%z-v$ z01*X6Eh%{k0Hv3Iwh|hD0Os~i0Gt0b04DZ!roex3a;E<`0XsJ{CzpSSnLF9r0_4P0 zg~S!)RRLlm45}gkBRf-otmHr4?OdF>|3RCXxVZdlcC-MO|5`Ri|Fw+&YyCIsbp*phmVp8_)kQ`2QlLT#Wt^L&(nJ zANd&n;{rO113k=46@f1Q==xY0)?q>gJ^3ST8+S}Q9{@)S* znaaP%V^C9+l~R^}p!shS{5vdWXJT&(w6g%HxcsB1k(23v9sdq18Ug>4LI1<$e=-Wd z^#9s&MlMc34}cCM{l8L#@n7HnSbF~tB`j?3;Z4WP$PA!kVP^y|v9K}$IGMS8{}){o zS0^VkJC}cp{?AccI)*4hZw2S2l%&eSukO#A zQsHZ3g#I;z`cGREd5D|HJD1Fj^&my+Y1Zt#^EzqAay}FZrWnJDt^r8o?S!?(2RjKW zJqpw;?Jop>vwfOci1Ka^#WbFM}wG%nTMY<`Tue_&RMGU$^T z@W5GIYXQVFsvQc8(~Zs=ZP&6J?whuD%yH8OCUld3r8~tfDHaZE7+7&*h6|!PsPzcQ zI?T?QV8L+ql=wM2EntoNDBMqs&I6!*Q|$w;5sJ& znF>l)f)Tv3)8<^sTia;d?3qqXHDj9#S4N_w5G)Gbp<1;b5YAH>zP&meoHqXrOX;m! zobn^Wz`G2__p9=Y!CXE@R#Z>~yNqn<9Svv!o^fXoC$&+~$(9=z06J&Q8DSWq8(LwH?JCuUpowt7+fmrxY1+MM?I{m? z+>s<|FVrXdOe;*-2+abG7KFAlJYJQ5cf${7YC56fH8`QxjgW0p`oB&Rcv42gYRux< zVBpn-;|Xb_5+NiQyDr&J&4v}^8giFoUu+gf9xQ~A1iAkdQ+M&PWfdLIPn9@-dON;C zHXpCqp(7VO-7-bG?cHpEUN;UBXK#LmBAnOn`{M5jrMsh>BU#6iSTA~o&CfO3auSsG85v* zS;{Lt;z?pxt`|6=*680t@-jI>`Mnpo9 zGjy?XUZ~A+9a+cU(8WGumi5Bb^&RKX#;1=(C6I$3L%ONY8`z{qgZ@d)y?0_rhedX$ z7?Ta!ZvxSds#TUKHt~0~F`=_9d{NCbo3A?KMcz@+`51ZpDgLurvxH&ugV< z6$j%}&sMiT)<0akHI+82f4g>N>Zl*6$XSuwBZbZ8ycp5e>BN{*A}_IFh6ZmXlTZBuH2bD$8!^@QCb;KTfp-2L>e7fjrVr)hpz+ni|(eTOA4XYkfjuw zU=+COwALBR{7fVHVd2Dc zyt-_vgM%$L&AMlDS)vSeh#EDQbMlLVTX|$ z*Yt5QntU<5@os~A8HvytD(B&{Cg%jL71bHI-*pl(4D&k#!3C^Ik!8I(v_$&!q{3bS zPqycxGgBSUWpokKHXW1!o@}h_5a8@jVh*P>{5cl}qz*zFUIp5>(E9>&EeO(P2C@8b z>y46UVL_mO;3AP}=)hOBNO;J^{moOHc#oa!-Mn^VOBho+Om8&IDWg`r&|Hjwu2~iL5~IMTb{*=AwL#f;b?m-?zEo`i(|sP6f|I^WUmwC9glZ*|8MNR~3d}pjDFt zw|L^Q@NQ`>)f#POQ|N)^va8-5ySoAFB7NNS%FU*sKp5 zLe`g(=ZdIqO6A%#=W9K>>lQay^=d~&VgMjbgxET;$%I139_S4uI{PC{b5qrWWCCN zFol7o@e$ScEeXnC#y=x{Tb5D*fGOWdOO6&~I~o%{|{#WL9qM zZHeZa(?i;7l0>5iPZ%S>HcwVz^wyvoBadAXNr2BiYWqayquaZ07B6zo$%C`oL=vOy zkiZ&j5Z|Vj{t1BL(MaHX8Ae}KLbfWZ2@A&NdFo7qafFy6h)64Q1noSS@MiK(n8J!bYXz$@^#vscVMmP`fg<`eqpPxvx z*M`!-KN$|)JZ`97-JA0HW!{{*xQ{|~uwFeqXwXSS>#+jmXw{MdIeRj))?VMIRbFI5 z|Hpzrq+#!vHgGrtG*G5J98)HL1Ex6B`&TgC;#_yU<%V!%(vywNB;c90(3I-WXW+CTNuDv8} zM6E!P!j^Drd@*MG9DeWaOmIcNpo!;HD<54X#`V)rF1g49DFEP;SC5B$4B1X1-KmoD%*#D)%-dHSSj-~ z+6I28fqWqdU;M@`zo2sV?MI1U+?|s(|MaQb3$;*&0o$7aNM=0t9a^br+6;DnbY52* z3O|Ay-b@gy2g>shIqf}vMJrN+*6{@PEx>PILv1Qws-14?&<=D5Nj+vtv_TzO-3n}g z8vUdilQvB}PM%AWhnLLEG+V_s6ilPBKrM_Br{B-pQWXarOF8?h@`E>ORZ`43IQDmH zP9Ax-Bqk6p^Wc}#SSBtb7~0?NjLk7#9BmcQkz9>JAsIC0t~mmKi`0*+=wY}(+BkO@ z%3vRT#U({|rS9U4oJc4I5!$Ce3o0HL(Z3v1H6 z>FO12v3r0z#=ARw3JITizLIusTQo2VhPgV(AA^~-EghvggAa~=I4u+Fm-w9unw#5g zOaZjZUt^tNu6O8vw&q?P;}>Kb3J2zx6dvGL{!R8Z%mlx&=UfzCLg!B5^LDNVe}mHB zK|Y;RlKH49H%&51##v#t8KeOs(Aov?%nN&R;!g(AXG(%gCMs!YYsNy!f zz#e!h9VJ&3+CKqV9`CJd7c4-1IOR{KKK$k?$O&a<%;C|0K%-WWF%TnAN)E7 zn_Y1CG6Rp}RhC+=Vu&eEi()8Tp4-PG$EU&U!vz*k+UTTp;u(jd-A85Ni$(cnNx}i` zZ^oJrrPE;CgzV>>9}N1M)NDvMv@0)OAlfESwr(|zSD3ySU2*YNSx7wee@H!lb>NS& z3=2FWF;@nEfa0o5g{>L`KNIJFf1KpgWsH@tWAp0T(Jq`2y*4afdnhAM=`GjbiL9$Q zT3K>XV4Sb6sp_KK8VQ0~nK(J$wQj5JRvp*5c+E#J=WPxLy{d{^6biMlJGp6o3l;Jj zsLDZVJg3UU@*#Jrpw^iRD zdFL$Kyp&do&pV*_(%qnQ-eU*3&0}vnM+i3!_N`~NdnCmqUUp;YyqFM;j!rkVQ;d6e zgKiU9R!Piy6q?E-H&WfplMw~_T71*%(JO+x5&ngSHE2=C=ZYvg{6mEN!Lm-;oWdq< z-_VVJ&)iN9h|=4qSFPPlZ*XobW;ryw^S*L#E+18SO zX3XUWNoz353ZaPDOK)E4o$)H~?ID{N6c22f()xSqd4st`>TK%h4{J)TReUPTk4h)s z(Vbaspi%?0!?2AJ*h<+#t6=xf*rdl!fOYvD;2iEj%8whU;G)6Hh9c>QYIIvJhz-Kb z^UrAqSU9z?0a3n1_k{;#5#CZIj|_Gv6N;w8nQ_~n2*;uHPy_af%T--0qfybZ>>fNcHof_M8NuANY{K*YjIZCzHgB#KvD$#fMCv;` zYx@Rd>c-;`vgtcRW`EQ~>P|~g!yCd+}0O&GumyzhGMayIH zzdpC8pMLVzQkpRP%r+Zc#sGMK4j#N-Y6Rbm+d#5%pf>8MKUVfpgu$Aok&Ms?=j|l; z)P}oG6Wa|28DxQkc~LB8Pmx#dY=7V{-A!owOyT#+9(r6NM0ZPLf(O-ivbb{ zzSHlYi%NR2m)!_z%c%N!Kf%kotGI+3A+4?W-%N1wWmfQiqy(^hG};-YorJjrz23!X zqK<>V#nw>xvjqp?3l4QE%N3|n`BJ;+tiW8W?*E9v{3N|oS)Fkd;I=oP>EjK2bn4Sc z`LjnD=a%ygOO`7QkW<}%-uqU@ln0LIP)WUkLGz5koOciAkmIz4B;e_4i(EO<-2R@8 zHIdXM3s3gbs9`oVa2%f7W!HJe5Iq9bJ)kgF`GK(2hb&bZZ`2C)-1i+9a_umi#G%fC zl7QQ7yDM&KiAb1Rk97mIqdE=1k}mI^Wpzc)Bc6gOf|PI0@<@4qNDOIndZDFHN z47s`F-;Wl-5Db~_=rZvkKMNrqetlb?N**u#{AU}Ah<}h|K@<~`oc$=U)c#6feX}M` z?*vGn23h=>;lJ3*RHHOkf$k8I1GgwJnYCu&B=&h|L3}cK-T+|>OyfG60r5#1QTt$U z90oyxg$;D$4AGo_z&sA)r|ltQ473G_@IVTGDOh+~VKHNU$Wv(UV*NvJYTu(!@OIXx z@K&f8Le#Y={sI+*DP~J6eGvg5_74SI(p@#<6+W^b7ekt=UIrK^}>bh9DHLY zaXc#Q@k}6257Zp1z8`k>@WA)U`LH0AyttdP zq%w7=lc(T8B4aJs7OoU9=*{!2w+FXIkQ>Ft8{!Qo^RgSb9Ghxkov_vz9P2 ziis5n$uO9MF)4Z-K=pA!vxW^7dD<@2s!48O4ME25M37>vXeE&m*=@JKzv=fE0@+;` zwVcq>tuCq02Mh6tq&^N-T2u1Nx5#QLYFvILmo?^XDQMSy5-O1I8SB|J6kCfomei^l ze-HbAUP9{idw=IS36CojpG!j{%pWFMKWQ=LaIkjZ(FED_wa5s7ACKI$Wq+d|_C`R9*+)_Q~m@*o$*d%>nrTt0X;!q3x0nCUg> zgem>+f!IJft8{PwJlAf_vM<>&xjiGQQlYrr4y;hbQHVJ=U7{o^akWmBgfDdWK}J5# zg@X`3(!j}Ny{gl?d*~rF=-jl*DKnU9MD#o7%{L(X1coN6>+(*6^@XN^|H^0HYQp4y z0Gq=0tr)7n9t--SlEhGh@j!h&@1YVU#2ey$S0l}1%Z8hZF6}_hJo{1dk`#xsCW|oW zJxKJnzy!yDcb!B7qPyy$=IHtpk&!IC3xp|W>fY$#c;Je5b#XPUvxsQ?yiBnAxHCSD zLQL>m)tVT)SZ5~Cxedu_6P|_Q^N;9%KcLF?%x1jC_blhk`k>; z`BM*f9y(Q^=PcH=+)!JAZB=Ku}EucV6vYe4p3@?^F%B%KCzClJiaB7G=Qj`e+p`N_U8XLBof;0Fwk zPxhl>pp@PfI~L92lVJ9ut5SXE&OUnn4Ei+upkPu=&Ogsu8Xl7@Rzebg^!=OHZDElr zK7xl$abz?w_ndoSr+)k`nxJ%0X4QF0d4V#b+Z0P@;lSpPBfc<2KWR*Q1>(>v64V`L zrk>pxbw`T$_$~RqFTwF)$9jIr>x$@fm#cl+1^B#}#;%rN*YVxCaAVPpd9)Ln&i!_E zNy$bmen$WF`&0_=chKyAL|+n6kT!jaf97VWOCK*5_Er>3iTrqBBOSW^5k=C>%U<8+ zar8sPAiJuF7~NPRpENpXH?;$3FejqVXTEkt@rE{zC}afdbT?`|aQ+LFK8TyK4j7w~ z>nySmd%`F+1`0wyLMSpSq6HfdzON(8lXV5z=|g?gUk?kXa!?X~M1rKYN4~d1BE>e# z?IhQNnWl@ZLNF8-H=7DZPP=tn(e#|giTau)PUbwQIEFr8fVY=ozI_kq(^G)@7-tm*Iu z-<4cF&`;-2=4v_3VU*;dY$pWkJnt*lPo%OF`nNjFE=^;9$+U&t0;55T_kKX6HhGnr z@$qiROckxV<+f3R742^h#@*Nkcqkb9*Qv>p{**jd-}L!M)r9h@4- zD;CAW(Xo|(2n2JcIlFOZ5TT^%@0EfTs3NHl3VZ2P`DZXhPRd^jL%0&TnOJ)hpywV% zvrWRwv}WBPqPHvG_ZcUR9t^>)y|;w~j`l^ml$DS|s@@F2&{6JnRU`_|aQL)|Ue8Cf zt~EVgqW;|kS2-g3UTbO)COvTvn2LzBU;*^rmOMLu=b@Z@QpXrgdJ(rzhIr5kLJ$ax zbj8l)bn$599xR$8S&LfRTqD*Y!lRf((;RGhrov7JWuj|1sv!e{Htm@4txNM%skI2>zEt?AQ$fEVTwQ>} z-=N8Vg-E;!2X!!8BD)>+%kp2$^9W~!K1Gambd@tL7=9$UY`t#R`9uL2sPoylUVPlL zOe6ZObDIt;F+oU8Tm(FjfsvBT|ICIZ15g%j$-I@cf65x^vt?H!wcPAhoL=WGv+wtf8Ug z_zFwwcgVAQaWimkUtrLIP#=?d6KuE zz1%Stel5y3b1J?FiS9=XcDal>BmGB2d=4WvVN2GH>=D%|IC0xd0$aSl=LJf?U+=nq zSy^#WUykgde>0HP*E0y5$$8paTOnEY%M?ed0KTH2qD2xt56)Dy=AfO%bgX z2K|s1HZtrmqu{el-4Dk4c?gxHy+j$D6+DfHEt^QHIQ;>(|9L*ofUE%FjzG+SbTB&J zY4u!NZ_k1se{B=4K-e!}kNNaQ6`Iw5#zPOq1lxrv65j$9Q+PF|wwJjOVQh{7IY7q0 z>l%%0PhjL>M1YQ8?9dYO^nO}CtiJDzeL85X!{XCCDtQ8wdW2C9n9>vBYl~?nN_(5S zmoXl`e@K+*l=KTKzqyEB7fL2|&2Y_@5uV*>F&VJY&DsYYV<1q9yvvoch5qD~^aa4* ze?x%pLFr2BA*AjAWkl}I>WJ!(@IP3N;!?Oaqo_fqKlPD#|KoDZZp^?N7yYOOA?@CGaIW}tLA&Xa2 z+UMAxQ)`Vo(as=-$e{|cIYL4hXo$d>f9{CG_Q}#Fb2v@0fY+Twc?MrDAeCEA+8f3W zwz5DTv2>rF`JccclX&>}Wr7XHc>C&Uo~^6f{*`Uz1RWq|jsggQ=Nb1D9T%O&VHj!L zGn4p^vy^U8YA=wbQ4}Xgh08QR+zSQnZ^L@Y{?_HEy6x(v$%lp6vFKAP{ZDc;e{;fL zmO?$FGQmz$bJN6mJi#{s_SvX&6E~|C_UA|xsvaXQE3Qr8Z8MnsduDM8b5r!naf5kS zcCbReI4SMdPU(v~W~b5^Ft}X&4=FXD`%sfp{!{F~VeX!QW-_eZxfVHCkBotBhLMd5 zSZ+^ij-4L@eNZ=H)>{BC1=Xbne`pMB$P+0S9RUQ;sU!nE@L z`?k9f_W3+3EeHG8F$?|NGdJvPHKtukpi^;7U$NBw$n*TExpC8>Ti}2->`pjGZF0oX5>0 zr=`RAtlWi%?gCaAtH;u2SbOaL^K+*n9+7#8uLB=6gIX zA!o=-HgL}i`>)X?BrsNGSPzjo^fV4rJ7K~$u&A|=k0?OBC-y2+KdP^)*#a~I&li=~JJ!@+8!~8V%><## zDkQg$sf3_?{iRk!-zF@2zYJj32)th0-=t<7ECSU0#XpwmiMV|_33jO~xGIt!+53pJ zJPmMo-CVhkYF9B;`kVC`W6Z?EN9aF#?NwwW`IPzF!w?6rfAZ&`)9a2fv+IQVAS2U6 zNjaOFDZlw@VhL(__?B zYP(pOQJtQwNLEy=_i;hBb0Y?mn8#pnL%`}S3!nHId}bv%JKwUBeidAFJ#dC;6Hho0 zmBgEC{CHlXf4m}CG&_;-N-1T$c*6}QxZzLJCrJVd5D{8(K5$!gdk%F76ZaFs*A1n? zIa+f4#dLO4q0|Nia0xK3>25Vwn>F8i-0{h2q1WNVv`JXHIxVnZJA`*zeyhRBfnhphY0L&F>mA#9&x&x)Gr#F9!Y__pEg6+GvF`E>{rN>@F_|EZg zhzq0PSUjUiJkZoQ!t+ns2<2&t#vNI0FIMf=Fp(Nu5>@Et{Q;bm&Xk;!Ts*n4x~YuCyRz3^oN5N;WusY1+T)P6Y1Yuz{kBLKhbV55L8 zecTsH6(>PPe{u!76k#I{<>Z>rC3$57v16-)-Mc}$GutF}<>0S_`fm}sTjMebLztO} z1!Gtg;AQfX+Z5FM;}VPV$t^+b2ddFodwuT68 z1jnsKWN5f)GEavz>7Rz6IXstSHOr66ifEf0U~-5^!Xo~_a*SOhF$B)_u!TPR!EMa1 zZh6Pk9hiOS=D>ZGpWuDk*B#ytayRCAhK6OGNv ze__3k>QM9%9CJM<1I1H{jkCT>_gAEut+kcQN98+`M`~Z{CBf?xw8eyiht2C_T!N&D z9x_!iXz!g@_vv`>Cw#54G{Z_f4(*c5yKt+(ukL|33d(j+@qq2x0omR7Dlho^ZrG9)`O;&I>UKBEI8 zx}W@CxYdm&6IrGxi&{}(L)k-jN8T3B&{Re@O2@ zfkfde*3=@IIfG<&+hT50zd(N~$z_z7DNltA@}kScA=^0fe@i)Gv97&YR+L66rMhKw z$Mh*|+-^TRtm+973*yDab0|QKody%RlFa0S_Xr9dhwO)Kl=Z+z`#6Yt6=bh1)Ik-c zEBQUYd*0>9)3CV8h@nU*6Ii=|f1~u(I8woKF@OBLa&x@l{B z_anz`t@lf)aNExQNu%)zBv+2Gu5IR7&Ar)e2E`yJ1{WU}sRwy~m$+rtf0#8FS{%8= z$qFehhTvuf6GxeO#{z*J_Y zv&54-&aRkqTBOf8RoihY~y!{pF$Zb-3yRGN?zuNR7lPsA(hzZbeiKRrJbI zNC$QdaiuO%iQ)JUz(4zi#5sJuLH=$~cMOeCpU>j%5S($vY)$MUIq$I8+-=&QuODLN zVNeIHB_CCO+%7W;HxzUy_l4dCUy4R_M8!?uT)$vG_LaQZ-fjDJf2J>Mv!23J+ZC_t zg_glaX}EDNB;K8%s6LdB)iLpSN3x_~Uzpswa@x>I)!cg&p>(EMKTbRf*LXZB|AX)x z2?CZChww=w;k!~Jo$4b~LQb9}szxLdQj>6onLPPbX1Q5u)(Wpg&@iJS3X)Fd^!!E~ zyHqee#_w6yep(Lh&BDQaM)SNqjFy%o4_Pd@AB*YSJp5(u!-y6~H z2JEnlQ{kFAiKtBk)%f4D!7+YWLMc^7;>OGg;w)m=N*cIiRSGdpeXoO6&tK8B4g4tP z_h??lb=R0|e^pe?-unGy25*CMSL@NhJ?2Sf4(DeACNo($=g|NX&0; z&_k=%qFthGRw2eO^zth!chtge3z1YWA94PpaBopZbx}oXbThUzyr*#)v#9BKYR-LL zbKMu?=t2QYDlYU4)S^S5NTLmaG6Tj$mot#@f5F&hh02^A+-3vcn(sA($8XQMq!JIL zFy~!2R8n{af0m*lBj{Y`2i^tetW$LeP$GS*xookI<+FO+hi|Kr&P@i(aXe^}5l&}} zL*?kj-en{pTKknchY0syK?bM42}ddmj!ue69I#ZeXXrh?-r;&0px8Lz?ZUhT8jlbe ze=4eTgs^dNL?vL77a`w?-bq?D)d;hpTSOLguHD(z%XxvkKKT2+wA=6xy)V0lnee*@Ur-7fkd^&9c6$+H9GE3i zLEIAS?&4any`&hn-F?poj&RTN2&6hUOZdMm-}t+2K64S`fxvA-PYFlOvYL zXP%?5z6XhVr6izDSQtZO%Uv1weOU*-Ss6?XT21~j*U^oX*4$oh&9bxXxAYLj1NcRG zhfPItD1)NFyba0S)QB<1e*gkM-FHWGo+LI$Fss~D+P=y{V6=r82q6Hic$~z%1VP1d z1GBd?Gst_1)Bn7nuDA@A$?=8$I7|k~V@6HPJ}xO)i`g%q)UVVP@|~L!FGV3wNvG%@eS=8!eHV6X;K5w7md#GKUU<}(NF1Bn zjW*_VkE*v^S$Ptwu5b_)gSTUy!vi6nA%~b;pekM z=<(ot-26Wmj$p5uf2&+C1zxc;<_5AQ?(e6O_?G2H+sVXr%7VQrjRjAy!|>+$h_kw- z=iB{JYi*dRQ@!Tyy?gXFLUXz(MWa8sVdS*eSv=mexd|)nB-6Vn_v_|rgh2Zz@<^@-qp6aWN!O68f9N|Uhj-nCoGeFJ%^InS z$HUj-nOvis>(j{N0*VE5H_q8!+smJ&=3})CA~`G%9eQpM8(_rW(Egs(1MMDvb+>F5 zYF>@!lUWijjLm@shtmZbk{@I{p(8)ale|sTG7)7IOPkQW)w8Fhg~--dYIL;PeG+(sQs%Ne ze$>L`ereCiJsGzQ$gR{H7@${Q)|ElyskOC_r75Q{nVwHvSW+@RF_oO3!F9wyK_mL> zmG!Re@D=-c^1KNrSiLGJqQ{f^b)x0e>>u-iRS(uIo>{5$P0P?TU+p9|)yZGo!Bnp3 zNfBbhe`MS|nX$t%b=*zcf>@6HtcT+3Dwcc7EQH;|% z!i-)wz=hLOz}27}b7{=(uRR0Z>f!UkMDH0#%FtHIF6%o@UX$mjfV_Fap*J^CG= zS7i4_zFn6x;*lFB7g}|dzn8^i%?N9NgIZ30DF9cfFn3sMN*nO6g7JAHkjtgQtH{@u zX&wym{cw>WO_F<@`v^ZPVdlaze>RF{e*z*S6z#!*o*Qwt1jgLV=((zH*pU`nAJNhy zZ_OEXe_oY={*;48d;28Bm zF0^6Kmik{7vS&(wo!j67Y0GvN!LqcYmUSVFiXSXEo@(Vdw|xlnIGS6nf8>7m>faod zDV6}&h{3S2!Lpws##{h6s5%GYViu;u;_g>2XEj}z^EDVq>=dr9MGzd61Wmf>2pQMp_ zLN^W-^T23(YZKuzr1V?!><}o_U-Xn_L5*Ra2G07`J1TNPzmXCAe-X@uhChU(wre>_ zx-MFV^_vrDs;H@RFyvfoeVhP@o<%BAoVy}nWb{eVpZP%%VfaZ5KapPp9KnC&?GQb< zgj<8tGCz~1{G@^F=-yn-R9M%WG7hsaQ2DsYyAQ9AVNiAN!A4hw=!hZW6@Rj0 zmR6c{rC$2TCFE~AO*9_r5u@$=j-YVi!~yG$OdA^yXbGf-e`O2gX0Z0k7#nvgGTI8i z%I9@VNk5W6Uy`B>m74`MkmopOVLN@m8oo?d%Xe{&oKv8Qo_??ODv);J{!)3m zn(OY^5n8#HchZ+4b*5&xZVYVIbqk5BLc4YRH>rcpt}FiQ+Kii(^%WG;%foFz#S3#$8sII$>x7*o zM&+X_U^&0mh0J97B+?{KHN1vGvDDqTr`-3f8JsH+OQc?)_bvYc2 z`eXEvRf)f~1q2g3d4@RDw+w+&(GMY%bm4~sN}O-=lsYs~^JXdFWL{b1?eiYS1R<() z+aSqVe|#_+Y-eIcJAkdS%;33RCT12^zqEwqBz!v)=ckch`OT@0IKkJXh*JznSbTgs z`Ws(YzX9Sug{NbUey?xY*y)x8!m0`UiM9GJr6l8P6G(#ZK;C9`$T&o7RdI*Ym;fv7alsAtkZ?2^Qd?QagW8(nZ&9|AwD*e-Jn7PB?a-!Mp)tmGBOxCUcSNjHn^! zChleX_=Rowztjl6*_F7om>1x;W38Hr!{MZtBMK_!u8d;}<^)QCG~!CZuGxO&h%-vp z?LDK(0&Z=5$=r%K{^Sp$kF*>0)p{p)eB`!TSzX9^NdsXC3=}Mmtaw+smvtZ~HjH$9 ze~*vCD`bKwFr?_niv29`c&xsAZj^$EA6~T(3=W z-3Pxob=mhv+WU;5bLTw)kT&X``dfS8M8Auh-p-`;KKDpcJf{SMLJwOk|7dFVlv^am zO%N+3ZN1j}i^AR3P0gg(*b#>qKosD2e>rv=w$@DuPm^SHjBC>?N|y-b({22sQ-S8< zEKZ-T@|~ms-HgnbkLzjhr$@IRuI0fh<;<~B?g$KGEB607w%4E8mNOqOA;Obe{*r7 z;%D9mafM?@#m?`(;xz~bpLpm!AfhSo9-qAY(){~MxVEfOgR2=Yrwi(74~Z9ofuO2M1gSPz78irC%)5DA|lxw))vBK<3jmBT*W zZRr-F3}aXHjC~diSi`dLp_fjN9=w|@n8=ijc;GEjD11CPYxJS`E7uz~e<}Y2Xjh7p zKH^RyyXSpkr7i>+6KrKZ=vMW5arZC>IU{%Kb+~x#=z$Y@Y@%cu)0NGEG!TlmXLSip9;mE7Z)a0dD$D-ASCUK3l<)-*WqsSPl@*7f3j*?$5et7;0jb4 z7JoujTwJO-Vs;SE%`nh?M#)5`P-Cgz%ZD*4Q0676R)2uqP4?IKP)U@Q<ep;d%Hm<%^EmjQ)<-(rzT#f!I5uT)w2K;Pq_7#FHawjDLx$j?xV^V zzM!?t6SZ*80hw*XC}|mccil{W9XHZNpIos1oKt-|&i-08eyg zInaLRS`PI+19ZK#pK`EH=rEqB@MZpxk?wJgvr#fK#Lk}Ku@nbt&;*ZF<1prdPu3}W z7}($6kJ^4M49UfvGA+(-sMpf`bwR<5wrJg0R|8UuabiACM$3g~ud@{R^0&0!0^-R_ zo=GK}_+x&2e@B_t8O?Y;7TZfTk}{`3#RSceINC=f+_Q}gyDpOH6zSDsoQxpJMa5Fd zJ>6c$o=ROW=Ef0G+2=5=HhR7$H1fvAADPTFlIe?2LfR&f0DLd7-8Z8;*qx4ZW!$(q zB5rUsIGit1Yc(rfiyOSIGk1MC_3wJsI_+(yU4il)f5K2sQ^tgOuCueNCO(r}OB)Un z6)k=2No~)glXMr(S*aZ^wCz?INi<^O**%DgG8!YI!t+H%=F-cvrAcq}*p+1Mi(X1_ zA$+U4W3{ae2SEq7G{x@AHVvr%e|&bPTxM? zp#$J^+zOyHe+jwf+SPI*Q!3d+4HyIcTL-Dvo6e#HH&A!`Be}TzGo_)gGt)%Ld9UwP zjQhCYZ16%0Z6d_2pW&w^V>YWBm_oRj;TU4df3U^qk)b-+kf4!GFxX-5`((fb^?^W} zWYkzXHu5{=!Bg+sOgkDapb78$4xl2c>GF);u)P+S@cET)T|m)Jooda5&=vOL2nRw! z&Q6m3akC&0?&sAVxYW{^n;W_Qz)?F1+QQizF`jwU;guTDMCsP|cK=u6-Ii;;Yqj79 ze{!rXc~CnV2eL6^GQwDy`Uc}-|Gp?lSKU0$=+}l#!XjNXvhcR*w;~WM%AaCs+-#$a zesC#WrQ{7{_?*vJ&smANM-3(m@{BWew9y8|jvQl0PwZSg<54Wd#Y|tjsD5khR>ahV ze@p0=k^#*5jL|nrbUR^6a${8SZ%p(@e=)!0_wEU{!j1egabs=zg9>|K|e}yL? z;T;f(+)4ZZV>L4w`3BvZckqQgwsmNDq+Xo400XxGqC9< zcqD#c`ayqx4v49qMrt=C#yi}UG0AnhC;{ggiOpU`kSoO*l;h=r8ym5!hb%CWhtE-s$9rW>3^?j1Tq{P6g@xkLbsw{(A|BV!^l)0dP>(ei)UFA1e+4XkvZ~4p zLT&1~XHpDnH%(+0pLbq+)xdbFL9+LX*sMt+T+5P}e-?H4?JN&c{RT9vJ+{TxJhOub z>D|&x@7>wgB?d}G_(Zb8XyyD}CcrIw&`RTnvwL1hc)&ba^nTPB98K%?(JmBAF?`%W zJW1n%0^+_ni$?{WyoDaef8&LgkAcL`46|b_e{Ap*8RM3xlDhp&@Rs>ffMBDC{&#jk zYdqfjFQ9I*UX(R-b2is&(kmEGCYEnmqOS-IP~w{bvaYk(#wwNC?W}vCddgAMf}>v* z1t&QE4?`xev#d`+9q-Qs%@TsuZgiX5*g$TQWDi3ND*yAi=9DMje)jUHmSqFK=4NOXv6Aw%1DM6dVnzKaX3GFs%Db2blOni4a6W@i`SMC<7^2^l#}i` zqp<^oaa*9}AGq(+;>7wOeU+L;+ z{}VAuAQe9+xZqR>fA#%rw{m@c`Fpz6%n{?bZ0g-NTb~uwf=Lu{v=14hA7|`lP97>Bf`i&s{Ia0OG?Yp84&Jom7VUUP#qU@F*H66eDfKs|Lm{}b^0#u?m`Zrc;7MaGH zl1<4Si#o{J)*rHh*){jhtV0Uii9Ux^9xy&PeYQL~8t;1bNooUI!Eo`AP^< z4Xv8M^rL?3l`@s(NMw)Ykw)30*%Y5VXMWXD<+4J;e}URSch}uDqP|w>FYxkfv0zMS z#bhertXgCp6)el?;@ntJ_k|Rl-n0dfMcSB<_8$;~&cY{N7Y%)}?UlC+8UMD{#Z8hM zmp?}bZ{B?d!gN|OoEe*47_aCapBJxcr+uA6$E8Ic4sWvAUF5I)`}ygKh2@q!9TB-l z=J$9vfACJrX>-B)!TA&%Cp95|PqmNu;4$eaWJT`yla^C%iwXq~bCdQ^(h9O&6!MPb z*l#pFrqE}Sxoive^!63j5PV^a5Sb^_BTlu@C{#(grmeK z<1v^F#u9;Fj##X@1eQfmR*W(%>9?n4W7cWYTqp-IAl>)wmYjQ~yOn7ak#b*hT+%8r*(qH3ZvwtbYDnaqZ@;mi}<^;lWue_pkY>>zhAW~S>yx6N%|kmy`w ze!c`-zjW92JV5Fx-Qej?cq zWu8&Dc+XN}g%sdeHm?ErM+VkbY|+tDe@w%#M|v929jB6XSdodOcY~^NYvt0E(K3>? zJx;3dJ2u@FQm%(2Ab?yUQk{DI(tuZSEPXL%Dc#=OzdUQaz}ZN!L(-v=V;+^P5BT~M zY@c6D1yKcNlWmNx$^6&#el*To2iK^!pL_&`uEY2@DSr-C%cc@7Gnwo;spr`ge~2eo z%Dm25P^pxd)S0jwiK-XL5_bEjJLQhwWrT7ZM0He1RBY=w^>uIWGSU5=XzZ#-nt|>h z>g+iAQFwI4VEkQ*c%(JZ=q)6!H)ArflfT4~&J}W>`rdK@HNPV%&b=XCQ-yJrNMs+a zm)PCvi6}l389WCAlM<9)s)f5tMEYi+h&dR(=EftoC_?L)(7Asqbf7|^eT+)iB zOC~GZW;li%J+T+&o0a&%uYQees<=m0j?r{GkIKcDN;nZTt(a={%8^DcsL)@T*>Hw# zo(ej-N)hrs55RaKfm+kKIpQAx34Uj~YxGu_AzD2ucIr~#RGlC4G@)6b)}g+Qg~!5O zR`db4R)G8~8m=|)9cTD_e~If{8qSEtjxnaOh)9kvrD;?*fZ5TZocKYsT$gg>^OyOf zzg;@Otv$C*P5b(%O{&-*_jYJ~bptrwnpgI{!x34H$QiS{gI8IXJ29aCxFl%!Y^~wO z{WD|kkqO8I+J%BApWao2bFu`wt8^@^sf!ao|@U)Z6G2^kK1D?minkr;-{fl zFZRiz=J@JG9_=Tre|>)rO;%wNp^17wC#T`k<>+Fw9MnMW2ex4^H~U;j^d#ZzZ2%MB zJI4=iwj)F>sTIQL4P)Bf4|RpvGk@&}t=t_!V${9TYdkN=^g_~Z>nB_)6mjv92kKqB zF18I8Pz_}e%+nVk299p$u$a&1Z|Hlg9mnSrP_ZHRJ7c0^e{%Grsw^G7=*eh$xkK~( zL8NN7)Rz=+w^FC4;Hh2^FtyEp+T*X*Zbx#PsYf8xre_t7$hweU}drM8h_X8jQ=WxRnTGoj*4Im$zT}*Eq|cKwib0nTiZ|{Fy*E zk|9xCy(nz^YS`M@nM_cnz=!>ceGVhVf^}xhKYgbj#A_`V4%#RqGeY+e<3$SJj&-3u zF5pEf$)t6xF`>u`S1o$f_2|*>R_~kTB2X&1HnU%5(hlQcZREt+m#2T&q7MaD~A=~pwl zvqpE%1Ij*^m^(MrAjT<@FJh%3PpZItVF0j}#?zaB;6y|FRLtZ=WhYF7RUa*3`g8=#2 z-!2GJwey}nwso&^cj=RVPW}*&{lgU75a+&Re-yY2@@wZ$u{-Y|th|al+sqS?ZSx{9 z$jsfZuk>3#v(-Pi=yDk4068%G_q;k!ks^qR2003VJ_eozv@GgBAYPw57+(kz)W2i% z6|*kQ(#f0D2m%*~4*tZDudLpPhYeMm5q5dX%Xw7$1Sh*DvUwuZ#U=;%uk*)(*hXQ& ze|wXn*O)priTWtFPikg)SZdACzJD%kV_E9Ck@9%Q4=Gt)ymCa1l3DOiG1)+IV&(rK zM|hNh>bITC{AhmgGSW z-F*p>gm6ai8vCc51S7!~b5vMkX{9cK^QJ$i5+7BRR4{OY_|$zv-#$kcUf17k2p%YV zZ(Cezfo*I@uVH}qJ*hw4(yad!>B?ke2TglzOh)8c;-=qRCw^}i=@C2Z>rYBCf3uaJ zD7*G5q)il0dDdsooLHzcCfcN%Y$X!yv@pLj;{~I@wZ=JMchu4p)uYzBf;En zE?n(3Kic3v3QPAHltDUTp=a&^>?Zl{GDzn^J=CcXLHkfXz%Mgd1&cGsDqeuo59{U% zft15!xizviyzk65P{8e>d&Y)L>0Q#Fn)#(m%(X)xazCd}tE5Y943$KCf1uH2P8D7m zZtng!FAH>9fdPIT2et1R21*#0jGt&BapA?F`q9gr3PVf_VV@t0!QCwm)}7-Rz09>@ zvE~3HSib3X2vP9Hs|>ACn22;r ze1&%AfFP>jP<4?Gy--KvTb$)jv^x<&J~-i^zWx1C>Docb>jsyCN>s%0+$Ue1o1Fo0 zgYs^gmRnin&r`AAUddwDTW~+R49TF+mc3Agbw|V;JnaT z!uM5V#^u#`B@5f;9NS{|9Yw%<1T+xa1?>C2zCfV|4y$9jbQ7~zZR~|Mo0S+`P@xu! zl0FwMD?^I%wmWQ)O-~(o*sNcm{SeddVs^fu3ytc@dz2hAY19GmGT~PVqk#fN9jda^ zz_L;6n&PQppk%V?e{}&|$wk|kj$zpFQl^?XKZsv6*~=m+^30l>tCYmaC3bO8hmb2I zCU|>93BmDO9s52YdaOXEY2USx^hMcCA(DTSaG9&**{;Za*G)!?Gk++^D1W5KO0oVg z-(5PI@RIcjPdc;caiwLMtkFWwraaW{Et(FvfGivO@se4gf71Ba9^R_?UbOn>fhfwn zsimmwo()5|J}Q&7!6uvrOdIBf!Hqv;#dQvl?nfT_J?;3urHP1o^$`FXnC=j-HYbNxPJ`=)WRL)=$)~ zNkMs)xK8Vzf92T|c(%=&Z8S49Nr4he1N#z6JN*WgqENqstF0UtwO@~4mWNV)u--bf z1EJE6(k66oxvpn3L5pcWc=|EYT7sJ{@kEzF<+xM$5q3b)6x;Gvd%wwH?w-nPd}zrk zObSbN;+ta$Z{w7jUcy4{5I0KYqaB$tmq1$Elskuask>7m^R-3TGhC~{tWt~WF|{Or&|U$1 zZWdO&A?>>Gzop?t1uNqU45advMWKcB4KLMcFGjHNAZTW@y?5MCG%DH6Sr)=B7Xq-Z zfAMa<=r$8g#{*uN(m_(#+~VP8`}27xc*2<>8kYlbo>Xe-hQyRMzj|V}rHqcH8L&*0 zYQ~oWewZUn<;i(xmS^)`({7n3*Kq`D>9i|kXdPjj1r;2Rj_(qWUsJ}IRbHVD371h* zL&av_hOj-oUg6buLYzc4fi=u#%TX0sf4+XuVd23X$(*kN_I@Ib379gJ&~Ea(t5!Pw zeGr_=m6Q99PLG8BL}RK>`eU3BNmA8j+JRi3C!LM7!P>-))p+teSJbJu$o7Om>~TbX zAOooGSk=GqM~>_ok?!e#qC)uVw8^ zl^(3)6;h$Rw0WjBezNCWVR@u`xmthGberUPw((c{Mh;+=QizXGPwn$C;UyDAv^c!0!=LYIvSd0k7}e{ftMXGMn-HE@UqUmLX~RO^Wl-5Usco3?9OMb=D? zd?7ozu6cWx1qO-~IYD9J!nRCkhA{%iJ1`cNxZula)CMOW<32LoA1odY>7K2Ev2V=a z5?l!XwGZTn4YZ2 ziXbA}3mAX@d*#7;?#+U!f1<|Fe}AHGm;~|38X6|?s(-X-CtyHGey+FC5A~^bhXW#c zk|cG=iYu0CD;qC3IK*pj@X1Y`E%au}6yNANbCevFf1c)YfwVi@M;`Dbx^49~%OJr} zBn;f1gS4O?GtWLaCFdv4LYlpxzTR&(zDnO&JKe5W!KjdhO_o{>yr$n~~9}fi`+I8w5eq@M0 zpiNOBnuHov`HM_wzxOf=lnMEkM|;T^d~*(<;^ThVf^LIhICV;ZT9s%mWL*{uwYGN@ zdo1p1y#<|nGy9uYe{GQkbaYxZZ~+b|=L5;vMg)7FJ_%e8{22&=m;<#^0-;9K3=tZd z&HY=$6t>0FpXu}DVD}d$X@42k&{2A3! z8?|0@5sb76S%DFJUSpae^8e7wa={B ztovXYaNN8Hpvpi= z@|f>a&yM1D$0BW7XgX4rP%3^kTuthIt zRE9{Vz#`fvxzK=K?_0=y^3>m6<9FN7*PR450`w?{CVlf9xCToTQ2~9Uv}^4Qo8eBU z)N2XGpcUGiQN~0179?zs`TY!3wZhindsb}LFmQzAhjr6>r$~`kmJL3Qq7gae`-Vhs zA5$J=e-yH-CN9IBA>|TN{XDZ0_~K}`uZ&|ti2-fb*ysUY|MdNlCD&~s)B_SJd+&mw zz|Zrh>A%b6%3?-C>A!#dG}TnqR@H0yDfl7JGaTDPe$u8dAQ5kbaJ zYe2=mJaSZz3UQkoS962MS^Ia|@3F%oCE$S`f48i@W{eAl<6q1Kw;&0-I!KQIGuqEe zDtcO(I6cB?NEIkXi=`_O+xnDbbg4;dcP*Jnf~0KHeXj|m?BnF$F0 zcWzZ_N^q76v1$m`QtY8N<=&_!4eDLGri}%xuTo72!<1kKL|C&*0vhwVYrlDh;9YQ5 ze+-%g{!X=|Au+%G-BA!CBLCVP8TMaAm2CQp7lBBL>_>0)b{5e-w8mqCh`n7pir_eF|~#P!c4+K5zXRB zg-!>mSnQ)(j_N{v!Gv^PzX|0i+$qvhw_e;!JS zpd~NLM5@)4uBH2o0(bB^!Gn>+g||JLSyhltY(B;Y7Heq8cLuYh#?7KMU_veeaB~_a zK&E8Q^8iJjMZjm>N)J>6Z1ghuGTWVkzZ3%SIgih)>M@0<%=M4HCRo3%C{g681OTvH zHk{J76v8K)5`4=exyEBT03x_3e^&LMeIPQ}MvHRL)9GnhS4Ib1DD<0%pCC>M6|doV z&|RSP0?Y6>xVfJJM4v^WR9OYB zud7i*p#?Zv{pXr0kJU9$O-aa=1kiCQ52@Glk{ql6pf2|*;6P)&HuFWDf5W093Ib5J zASeSaq^fI%#q-@vZSNK(nJsY)oKFCpVdg=ZOfh@=;z=k%q*GmZcxd7^$w2?6wff9Ud}LK;5C8CF8ABC2kPAL(!1np(EhUT9HQ=~xxmvq(ye zhGy$DEY#@%09DwjDW`EXRh>%;P?NL=<3WG}|R{a2F7#OR)6cb4}RLq?tk{QGX8% zyDhU`*ZE8qLS%OTQ{?kj;PIhFl%OStr8}5@VhM8gbj|+um;@i2pE6p(k#~y9$6_85 zWM@XLQSOs2{A+TzQZu>uwY{#bpi=G>dh8YP<(b%p0LZ35^A)Q!{7KS;TJ=A6?ku*Y zesf^6+Kkn8P1_s%f94A#muw)KyLL5<2fpoxZ%a*!1tnXy$f{M_e)#|xd@(%HCyF}8 zBE6r~?*`ihE9d7_mv16QJm}{-g}*exq>GLPdMB52B@bv-Jv1pF^x!XKB_;ON!HkgD zi^V80<}s3}?_v%JF7jX88?CU4^2JPyZ9UIs$+0gQQUd@Wf9t^j$4KA*pD=GZ{kp1A z<3G&Bv)+>AjBHiky2Xiech$@AL*!y2NeVB}cP+shw!xW8 zx$MZ!h)XP<#TwYl48nR-aLGvYUIQBQ7sot927gHcWO9QR$QnrO^=bR53?Z3#eYmR&zqp?SA-e6Mk%w@)l?zw7bvWj%+;l}wu4_k=#A&Qe>bM-&Xe+3fz7+r^BIlo1A~2Zq4USd)TJ}^>$JTy1 zv23oQfTZYHgsZ(+;PLJCXtW%IPrbItkO_sF&427~gSKshEf%{Z9?JAG1pT))e5ghq zYscjZV0gGs@BrZZQA95XEwA&$Ep^=(0h`NSFdErtE&I|qwV!A79eOIxmug2S55Ph* zu>ee$PJC}N;UprV0n6JGU0A@im51KRW1UH)L?zfcB7fVGE}N1MImYUV zhJR5Y?yjAt)$w?Z7fFq26u_=!WWHb60-G#xSmFP*8NjwP{#O4B%;YH(H=-X=gzAw+ zAA$=p&_f2#TgrOOuHdBXx1@d|2}+{KbI*M_>J7DT>xwRR4X82_uh^$+_D(&QM$)FE zWL=du>tOk9wACXwMdIIZObVA$mPB1e_kY5J$1#F^18KY)$zOHci4ibLpO>0|m0??^ zC?=_z8}-3fy!CFyk{r9g7b|9Uie)L?X!3_szbBRUK+ZUqopT!9ez=MRT}j9^op{== zVRy76eGTdTknxc@WJZ#&7cs1XG7WP=5XK?d?BBEVK>XoMA$a%*7*1ELX6TH~n18~C zGNj-8ow2L~eEqFyAw++V&{-;-ca+Zg)&;*)n4C?L9u-`8q6nDMj>>mXP$&F*b)ul( zyH0bNhczi3retnF(hAVXi>}MF_{9BiER1BR3=AJX!l%d7C8fXWQd<5Yc&Ae7S0!;T zg=Fnqkl>TPmBPb1u2Jh#o22gVxqtc;9FlTcU@If|gJi|Q)-^Mlu+ZMN3xcHIkRWfY zrk;x?jW3q_i~mIzeZ$I|D(TBD&~4X@iCb`Lk0`aluGLBf5H*$Sx~V~MgW&y`ekKJG zI+uX!=jZ|?9hX$}V?*VJt`(R}hyKHrXAcmlqV&>F5z$>P8RR_l+e#Z-XMew1CP$EV zCsB4p0B}vlMVb3VU!~qt!kgs=*J;`RcqK_0WR~BT?Lk0eC8;0`Jowu|?PAsbMJj8Z zzKWw%F4<;V#P}zGLdN zAHpDQA2i7bmqPbOog+zbH-8cOjM-0BgXEr>z>xwsSIG!J)>*Z&9mugv6kNMF7#=Pd zRj>O8QG2Xbx{fR{Yi!hV!ibUg>NGSs7$`U@~AfJ|wrZmuCIyKR{{6ynmiNreESkOFs(& z0oBfKz$-}?0?6l&jMv-2BOD=jzhl~2hm%~-S7sVW;saz@JY;1U9rH(I&;0Bej}|!& zy$pV*eriy7Uc~FHN}jNaURK;Ovap_KGL@<}4smq!UJx@*6|0fRNCHDTl=3U7GU&?T zZVt~Kj<}a}KOsta<9}tn*4q=5rjzaoV_4Gb*uq-+E&J6w@==p};q_c~N>pgp+ZDHz%=Mu7BcCK>gFM_WNn6IwhUH zsG7tJk8ot|+E?@G&BFYfqefRIp3O1Hf!;c*1wTAf(=x&eO?Vi2z04YZ8(JFcRp z4ndO;(aSSQT-7=JSgE|Pf-o`o*=DN^Kl!Q31_@G?}K+< z%us@u$A{2;5dN}14p4zb@&HLfMikC>E6#zZm8L97?0>M7r)ask^I1VWXe%$y@9@*7 z3x5f&dU-Lp9N!t81c!}2&I3Lb5c4(2LFf3zv)K!RZbjWMEqvx* zoAy+!mhSHKu5QT9FQYQ(g_2=g5(%(F@strN!!+JP&~1Wi4w9gAqg=&v&!>cHP9i2^ zcM<>ZdVl0lI^hdWL?b=3;*D#~%^b5?{SKfUnhC*DVgy&!dXu!&fGyS@1#nG^3TpZX<@^`XScdH%R{irv3NW;1To+SYi? zmIuR}*IYBE`a@G*u#mS?1?*&|{om}MLY?N^f`3QE(Mb77yvNMboRocwllxebD^7D*ef<1o(f@oc9=y>m(=oPdMdUPq zypc8mURvGQ{Z_>-QqOOU=j0Nl&S^C|c~OU>@yJ`~Scl90UM;M|$p7FW43*Khmy^_k zdhq=VAKg0EJBvhzToJ8>0U58t9D-j;E5-L zKVKXAy3Uk=c1e3cg`gqT2Q86*u&Pug{Nx{kI65*684 zoZTE-^!uu59xMSOkl^?b|uy#x>3HYTA)zgruYX^(`|T_V6sHsc42l`{73~;YH-FbCif8j$A7W0;N;N&m4|PnHnYNJohjwDXz4-&7 z+)wWz5yF+AA?Qd^^5=CCX_tO;1TijVDnmfCuHA9>Z!aG?RUB>Vz0e;VRyR80X)hi! zuqo!OADyI8gb~!8lGrOFN%?wJl(afnV)i003=j>}Pf0Q!x(yO_z)Eh}(0`{{DP2uJ zR}BB8JaVml*SjLEc~5WI4hCz zEh=VKP+%>cNTCKq0xGMxoqrN(fj)hy!p!!4zrq~8SMlhbjfq0;P7= z8{L5F&^(h6oJNB>{{!JH(l@W^m^mE7iN*>xeNPk?$t!%2RmWf1DlYNx&rO`B7t%QoKju?ArxBV-&<#X~$BTOriS(!a1=Hcp zp>oHxy0#WaYiFKGMs3K7>&aHs|4DdrH}{K9@}2SEpqT;l5`Qc|vrE#AJMBb`-GgQo zRQfn=yCM(|wWl;zP5B%C16u}i=McY$ei**Lqybi>cv3nm(E!Z-t4MztWN78NUeHl_ z?t8}Mmc3xuAx%9TlHsP5kqbO4_agG|zx?w&o}M||C-(^7llJD<>l2KqGcPD?#g%KO zszsA4lTM$|h<^q0ypsoz9S@T&0K5G$5mIn19f{d^m_K7Dy7FH@>)B3PQAxlJ;sUs9 zMf2$Ecf<(KarZhwS);vgsAKdE?$?mwGT+v+7#$my)x#OQP^n`9bHmq|-t@qd4Um8+CoJ{7X3KT;>66xDfwi@4C@`mThdRYaNUI(_t?F2RPz0dK{E`8ppJ~z3w_0l8aj{3@$nx zlcxwhFn?lf+-ZB>%4r&Fuf7lmq1-;i+LMVqSc4{cZdqlpDn!Vj81dF;GhC+gsK)2R&H`tLRk>D&wZpTDxk9P+`h`Uho9i$)K@O_$pD9RLcTj=^9ifjw`rnjy?)ObZ5f8KnhAtM@ zh0{~cndb^h>;9M8vG2jUW+)Sp;M8^2cC10#;vm8y(6Ihe1EFTyUF__ERn z4u5m~h#coRm@P9{A#`TU7zaaiitxdUf%sV5vV`9cIi3lHy>AWi;lMWzl2$*Bi3X6m zGJtH?hT+H0&gPgZ4l>99PwNkk3^m2j*^g_GBn1Z>?=-ay6T==F8|Z6)P~FZ5LUY1O z#(4E7S4Kf{7er)iLA!uOP&~=ww)!X8P=9KUX^eO|kyUG5&Zx88PJAT~Y}zuO4CBK| zlc6|nz=e;fL3Xv|JoNSpaC*Zye>%}jNI3(zu0Sx=bkN>=mW0Fuv0HXRvOm7cpoN@~ z%Bld2g%oN!tc$$capA$b$kZ)Pzr3P83lpvbZUBp@Z%GGqHYcV{@bafX95tFYV}ID{ zZ&!tbywXVOWyVyA!(vpb`lfg&fRr6y*k>7PGI)RTy^gCpl(eX_W%)!*cJSpy&I~>s zz!}=M`T`KR@CQN{F``Nvo;dHvYN49(Li2U~guZMKE7U(bWdy6&7TT~~IUIFtMwYXlGXkt&l=SpYoxZ1-Ua|R5r<++3NHabf*2vV zxO(0HA#1q-JIUm~I{p(p$`=@jH~+X&^7zz`$~Vyi>e0fStdm+a%#bjG>3@yVP9ymZ zy;@vsCtId1yt5mgB}oBO{I(@0%jGJNxO6=bMfxlHCi4znhs5MtQBGML2EO!totl-E zlSpIP)Uv+S3y!nLyPLpTTasdd7oxp7S~p#o6NxqXWP#9A8!!KwXC>)a2@36x3>P0* z@a^P*k^6SgRmMV`JHJ#Bntw3Uv8x(IXf>h|zXF3^l zHK1pIDTflPn{&{)aiR=~Twae@ze^CBBvB4MbKFsFim_+}hE<2Hr?k%Pp;!hC`+uKvj|%4c5lSzedn?r7%=8Ed#{feC4jM>7+d_b zIH2HiZ*`BgrmJmEP70I6s$8+y*#BFzvJin#hDu+-pv<#6*f}%g;3336wt0G*@q@qc zP()|Xampu4o&;j7`F~)BR*E+I03XrAFbG`J7r%9X7`n!L6aCI>6NJM`l{m$sMU^V0ePu z9DSaIq#S$@&1l!yh3+y!DEe>QSqeX0?O-JS1$)ie4tpZ;YS*eP{1qD0rvJH1GU{X?%)%p{>D)+7R+98yie$b+rU2to$@%t&%~@{f z7v`W1oMDk5c!5*REA+Ht?-kFp($(I*%R@!Ey5(hCpCNRFl`B!$()Iu?B9te92IJx= zd+;|KYC2X7Mt_J?0TE^y0pe)m%3ZN>y{l?z8^CJuT9#uJ%5^d?`MW5Be~M@7u|Bu@ zM#_t%9U3GG&Ys7ME!~hWFS^s>H$Si`CXNtpjPz06;_!)7y`yFbq>_Htt1Hc5k5)f{ z8b4+IS|Y`3@NFe9mg}en+}iyVdpn2*#e=ir6@R6 z#tw^uUOBQGCW78}V zHk=((b4-ssRjASX}pn?wY`Pvf0?Y!aEvcyru2pM3;r4oLlQvXVSd}X3i`J$1T zY_gQ5)wC@7HI&tGfD{JA%(Me~g^Y}Ut0koE>VN7k_l!N?vF7!8K!cot72V*10$D826CFtRhKr^wGS>7FdpL)WSD zW#I~!Mde!rEyDFQ!x{hrEINaAcvAcCQCK*KeBtuFKDPC=0c^&gT)`CWX_&M0yh39q zsDE?R%lxvO9q*3RgWVbyuV4CxUmu}v-|LZiQZ^NqY4mq3NoY35qk3EUkJ)N(>M7H- zEKb7Y_K{17+Tu1{yAXA);ElcYj5rNtq3kwMM5NKCuy54${?iY9EAw*LMK)3BSdQc# zl8D$qqtZ%mhZ4A9rQyfLsUJhMzbv?_UQ7^D~bX_^Ib%*O(mTRC#y zRFW@G-V>&(ysGti%FD=n8j|xRYp0Cx+^l50E*jVC(BSu(STV>p=%dJF4^J1#l7FJn zdtSfJj0#@dGbbbdnU>$~4c1+vA2EJLsi4d>fKh==V^DiL_7is;{ytBau)Cza;=eRY zyB=_iU%W)A^Dx=$!lf*ZE% z`HgpQtcX@hv`1Q6_Zz6u(l~kLynlDfn;H$4ykqROvh>`5dVB(cc(^!0@*_KLw2?Pd zSd-(`wt5kEeD zXa{e^zrb51PAPql3Ze-qsh%tf&!{y4gyemb#E-}TMiE3vv1&B0^wh@W;(uBjRP3k+ zmZv#s3s)rCRNGPpmC^_g7lz)4YJzvyS|3C_XGERSsWY= zbYVO&5g!LDr4?(ABeWjM`2K>7z9C*oa6cx5rn0xoZb0JhuC{Kt!Xe{!Gm^~TQh_`g zw@GbhgD_7fm=l;f8QGB!Vt>pKYuyL7?O|dVJ-9A@dUajLJ4-YbQy4Q787X#1Vwbad zv~hVznochGiK(W>kS?MVu012s*)+}ecnhV*P{(~i<9Ps5B1#m+D+{6WT$9;|3dHnuq zA179ImRrSLr|4T37=HtoYLK1_oD5@m8gb}ZEA#R?dB${!z)IVF9LTy1{1sHsQ3AhH zD=3SrBGBClljRUg_&nM2;`~LMu;tk5Y)k$zYU?n6Q(jXoQ8|!8%z1!rP5^8&%_==3 zpMY?Sct(4%j#QIwK9JOg3TkA4(X#9d89=7zH!eJ-h=6F^3V&0nk+_0OF%({FXFOuG z6+)R~%%f(S2u*BGu~Y;+ca0DBm2*i=ptca1CoVad0ImXrqLNkktkT|>eo2p>mO;v{ z_QsQvt(kz9-cVWv67=VYCz8+mrfgz)r&3||!IZrBbDGCqmC%85Up*wSGy19Ci?YJ; zXc43Uts8=S6P zEn~(K;@24x<^6dLWAL)myAHqao!uPAMpiDe|C&*#=4=zXnaKJrNvqqw>y;B|XiOsz zD6648f%C!T0md2wKiC2l0jO_Y*|K|?OXxH>WCb(%KY#cMQ}V>0RU&kos^Oy9PB7bD zvp~b|QXUYbZmk=@tL(ZBzy0wK34=9;8brTbyvLHkv_aM($U*Rk{K?!lWr<`=H5L$d z1~`b7HHQ&6(t#0|)VSP}@@l4BF!fCRw|&!=t+gbwQR2#-xqJ z6Qz(#8{%w6#ox4wX z7O}qX*bkudm7ZvC9^#a4wOO&|(UIDRFMsY0FRsba^2dM5CO=?d=o{!Qz^OX70FZdx zk;Dk%X~>&iD;)FyI@-Ftu@_ zaKKgbTGuoy@nxo;W3!Ob`i|}CdA(O*xbmZ=6euj@~W`8ZOChRL2 zMzaw=brPi3aO+QM0?Ql@;il<8@Em2V=voZIiTOKmXZg^KGrDYdA3RYVMdT>T!=k$| zHX~A{DSGKJV#hr=ugYQiaLhOT1|2V{z5`W$9)iQ-o#EkDQ?x(AijR%pUvle}U}he; z;c|FPrgVy0k9I{8w0x+?oPRds&G6EURoB0jAYUAQ>737~sL6m`cB)1cJI^*P<+yJh z`AWlTIN3sx^2i$J50xFEC{+!>AP5UKPJ&L9@nN-Is z_Wp|ikWW2QIjrL-kxjK)Hl=b=v66-qQFoI`BOK=v%0?p6Aqy$RW`ANJTzdtHq@4vB zOiRD0`9*b;7%PQP*`2pLVwfo5o6dbCE+#fDY8BAgVVBL{PLG@bK$?<^MCA|`@k2h#N?d}K*Dd~5CFACf%Rn=u$vFG#wmDFiR|_sY8QVv zd3TAcP&NqqjmFCBZb{54iQAfps4nwDDJ+WFU|Y;I3Ml4=w-nh(lmtQf0TzkjD`Z@G z{~GU?Askvjs1rt=?a;4MI+f-#IZn~T#0BzP39+ILXTsZ+Y=5^Pf~mT|t>JvXYlUvM z6oa`1KzhaEe1qe69oM|5osw6)+gak)A5)2zk?l)@8hvNCxfhi&`LGSL=I^6gf#m7} z#vZ~u1I`N@yF2vBbz&I|HTuzR)9Lx)N$%Ek)qUbbW(Z1%?qpmMYyDqo+L9V8BN7VLC!$d-Q;(PeTJ0B;Xwz$2 ztbYzs!M_^1grLdl=-oOE8cmN~ba*)^psp}T@bksXsv>~{8%V}@aUQ{4pJ1b)*fi<_ z9SXK4vGp}cj1vLCcFVAY0&Tzxkah{iE+2<{V-I={z?5ZLU{<;{Ajy#JqvI~aURM2w zOLx- z55)`;Vlj{ld0*gcqcOVRxtv!%u`dKbD*>}LNvoI6``B;(GB;NVBcux2`w7}TLh4}9 z8_)vEsnl{+JjUnIo)IF!WV0uanP7}lZG%f9*T(nmjWLa--yB(vCUWSN+>>&~C4ZR{ zhJ1a<)hx@2^i&k z=boHG`Ma-rqvlDm%zmQ)<7*1L8z;Ao?sW79K_5U%zr5zF(P)Xt_q#qob3hT1-%N!6 zTwa<`13m6k{jS&uj)8JYaQPUtN`I5z@IKUb?&-OBcbr5=44~vFifDG63T?(Uws2<@ zc|n{;VtWeY(b(pL-W9#zx_p3oY{ zaC>;Pe>1a2*5DtR!=T|YqeL;2a||)6De5V|?>^e6HCWgU2dYxT(m~$Ti+}HzsQq47 zghOS`1W~m9P^8)11T#OH!7=y4dZ?VR{K>rE;C#}drVT`L&3*~l7)FEsB;+wL)`1{> z=Km!BqL0xQH7HKSKLqv|OGKmsb?1jC0=ujW&rUN%nX=D)yxI%7V(};~wrDNAnYpwQ zI>VxT5jAY_(*_tA*oJ{bLw}9lcKQ(=Wq4<4?Etn&es!ZsNDc+cLyAAdRoL8kZ zIP<5QILmeV8uCy#AuQJ9!4roeVqs&ylx1LiJdiF}36IztywpcEpj6i+d@{tM58f1_ zZwM-s_+!N{$CP6^{(p4qUtf+IMHin=(j}>8y-SKg@tkd^;#27dMpk(o?HM>3OR6|P z<*H+y6(XDg$2T64arOq*dmY*&ygk&aZ7bKjk}%S^T|OP23OxbSfTL(B5#+iRJQA%oAs|bSnl~L+4TNvL5l8Lcy{-6|P?w!`~ zuSzYN8H#e;{(sDsfKRe!K??U=7Rn+==Hkq;##8}e^j_LXzVlg_f9d$Lu1rMT@An4D zf8jf0w}ij$!d#~GtSUD3>(P5TSE}k1Drd(wIHpke7twbks}<0!YC-6NYDFm{0%4sv z1l1f6C{<$1_GHLGpmsB$RY|H~|NLq6>@|gtK3C6Yf3AkamoYG&ZK1;eYSO6(#yz|$-$h?JLmi?2njsZL;S!5C- zc4V2^%73naQaw#7&~kyqWuDH%qKtzUW$_{k+1ED?9ODR8mj-nK+G%l*kx87xC?*m| zPJ!c*Zulg~t=vrljyo+C+qEA0P+q&jm5N(W%z?2VFb&i!@)Mk{Lb23B zadtPfXVNNp(#FT?;BKSB%q3lb37_3!FS>G*T6lkO8KXjvMj(8?{sQ@OQqH>`e5U== zynk?{2HCeT34_n*%v8aSc`p$Ws#$2>x_CuQF$GspRVw?BUIha*2poQX@}sG+hca^Q zqLLtZ`1_%suN-3#R*21B@_eNCBF3DU-C9f|ErhVG3J0QuC|II2i*@(GOy;kB54pdr zUn2(3pgw?N-+wqy)GEq39BH9zx63o4xqt767uV7$LRabj{y{MbKL1MQ)L(K-S6=2R z0zADqQ91E^5SA*ZvK$FI%!*7u#R~nLyS(;&!NWHEOm89|7pD3a9u58mHH} z#Eiw^_Yzs5Kd)2r`U%k~gC&Az<9|k(BZOkpWWJ3-tm!{hS+{5lbrS%Ny&V+$&`Io5 z;B83KF&I+?=DBrj+=}~?)%~b;U~~3&4-2(#tl;$xLKOD|=ERlP34z+azU<@_BK!6hvsm_JS?eh8;lN zNFNtw2Ex7=vxRJ#1Uqw%fyZ8ur!f=>C3G+;Eyd{yWo~41baG{3ZI^3U5DB-{t`izT z0yH$2@$VBVf7@~!Ig)+XSMagD6IK=OK*Yqv%CgnI$dX!;-JYHB11-@ur*&(R>T&ni z@5xM55miOXq7=Owu{$w6DHM&B_*07K-5|r zEF(bH+ImcaC8*j*bPRE%R86fBi-d5PC!&W+Hg36y9$I@y6VXGn$XKj0wZSOXpaiK$ zRx>Wjf1^ZDMU0{$1R#RARwa~FpgN3V4dB&|>RfHNTumhpah1kwHX5F3q+DI=k#ST~ zSd{@V${9#%TtLYtLKVHRc9IejK=1^}sYgm~WFVvR_}>=wQr>7NgrxU2;Tfna?}4c% z`Fx-f#>8AG8K__RL?svi^oo+D@vumg0wf3;eM?y3PGH+rINpD$VPPH15LSq6abgEKquzD~jg(g~iVjY4x ze`#=PLzZ7tJ^r(bR6zw#7KMV-ev5cL!1tu&H5rUo7`L_< z$SaEyw1*NrtB#g>z_r*|y$UE{JzM`UwcB>&THEPSRK^h+o!hn@>Qve`O^vCyH3Ea$ zCKXt!w|YB{f>zrQ7Yd7>Yh6OEtu4*re*?-;1So6{bHEcDmZ%+dcWPVZa#Ug4FhT)C z1x(=bv`QIA75pI72aS#;4pNqSk-2Q8VQq{g2}*D?Si3LUG7?l5>$Y!F9%b&)a!R|k z9>T({X|*~)x@DW-BW0!^p|R+}Db%JwSO&9AmPIqbYqxzaOY38(j3ZQLDXH}de{mX^U!KX+WiIL?sTf!07=|D=7a#=5BWFMZHcnq6~P~qvc zg5PvTdkmFvgvu->wQS6}#*){Be>xJZ$dHJuWOQs~9yov_T9~Zx8A^D{u(GJP*A`_l z=RA_si^0kaaI%!~;~9jHDU=o3!G&@tD`1c^yKe!Pw8@~>vR@Qs@v@R9gDjq_m*9w+ za^Heqc(94UjE4PA6j!#=Vx+{B48~JrTSKYcP*_?+sa+A&|EB-%DQv;Ue?*x=b6q0$ zlo|~yg)h*42MM3t##3gCsPrMRPl~5;I`Nv)2~%t_$-UU8l?{|hr2+dV%72NXsm$RW z4cC;ZgK>uP7}H!Y(-_O~n1;r#kfemWH+@wd*;%~Cr(zGmvPG6H2HS>9 zT?Dw0(lU&uW%LjpQ_##)f418GXpaiD1uf&4&~kQcayhg{#++*m=@lDEsxed_oTqrm zoH!gHOp6-PnCn0N}S%#&j#kC10koU~+Lk(TocO=VxEZh)G73+gze{kgIR_!^xQdwFb zLuDMHGD}Itt8xu{hIknHY_Oajy=Q&L?6|^3-UZFoT1KUuM;R)G+%6+h-#j+ExVSZs zEnMP@IW`nk5=2S}q%8F%Skfv3i|>|Y2|y)JhJ)*IzU1UeHBmWMH1{p|g{M)Nrwuok zxfKeHfkK2(r#bNOf004TWqsyE$b{^Pwv4vs4J*^kQ?$bMb4l7BLuDMHGDk^mvhCa< ziYr-mZ%tPb*rGKV-6W7Pon7+@7db4xv5cAUIKi!y@Lm)dm*rasq*wsPNsUwEwJ)mtvJ{>oNCP0E>H5?>*C9+TzA z{SJ9_vEGdP5PhbEzu;Wb47Si@dSI83msH^ID4|e=f5=zT6zLExdT)^BRLZyuEmJRU zX89P-2}o#xg5?lmLR=x4@MWY+yh~bmP^WK!dP&89vxlLEsia0(-Zy!^M&KIRr`CLKkn=kBPtX&< zw|p+AJRv$kLbXAz6j(FN5^;@0UgBK?90d{F#gpstRhaPLIzA&~b2%u@XAb66^?V_hv{{bEBg+VR7VFq9$=mWQ!pW508?b>at32;uOE{z~ z^)hI#5wndv0q$ENI=uk%42Grad|VP|F1#D#YkzR6V-r&>5R6o34yw1gx0Lasi0?cU zyAF>poJ=Dxtf--Y$A`m`=5tDMa!G*_M4eA6ofA(`9ez3W2rbW9QZDPI+&QNH`w;to z;t-o#X+csFTHcLyq-5#k{;XUr1JVVYf#b_QCDCh1J3TqOmk^ggm$aRu>|J18QhGP% z8-EoSXm*TCYM6RwdHc7lDc5e~xS-Ptsf4d|hX&)4E?YYzlvo#(95tgZ_n!F%v%l^k zrR?V!rA7zM{{@R76^)f9zmC$uzUye~sA##lQ@w|WlfXk5N?OK%GRAbA=k7TqT9l44 zq@<9KTYvrQR(1OO&16*VU0*GpPv&Q{>3_}QdbY*S2jfe$ygPXDVgJovcHh2zr8F8Y z#$V<0+EGQ;m;4u+gLYf%@ZCwKG4PTrCixz_~lVc{!PW`HIJAwkn#2 z+MX(Ee6<)~OwV?%zFbUDgNl>Ig8#C0Rhd@XC&AKChf`v)|~~?<9|IC=;~sD)|Lz0t)5qV)vM}FwO<`qC(!YDe0IB- zkfP7Vv+FD9`+{ks^@+4kuFl8vudsp7pQqL5>2ENH>)ToNm2Kiex{_&JO|K@fk89AI z>et)r#e_j*bD2+mn_R(Y7GGzRNwxUbHO%K$hW~Aq9feJ>e);c3^%lV17Ts0Qal6)d3(nW{}=hA9A=kUjf$F-*3Lcmi!YLfBmq3a`KY# z(>SZG!4IEA34Z($oz{OQe$Rm49%FZ$O{*WEyUw}F(0VR8gsks{exqpqX6NAG-9A9u z-CY~;bWUQ(jiY3Xc0Lqk?KJTt*qZt13-RtASBU#b9xI$?e zuUD`l94@UcSCqOdQjc0ue`5e|;5##PB z*Az+VyH!sgV3ts+(!`$mH9%9lP)UfsHIXN_T_X!myi=eIw;f0i}I@2`=*FHR=@ zudi{#;Pm3?;3cmS=j%0V#FwkIMn&HhdwR?AXRh&C-jGQ~Jj`2$cO2P2&BkZHOcuNw z&1H$({g7X^LH}Z1y1eNo%SAWd4}(J3C`A7B{&eTn`;2RH>u`cad#RVOo!7jfryUj9&`<5I>V5Sy zc2<91Zu7@;%Kr0T$iBw2^)~kD_Tpl)`2MMYnJ1TgHpoYW$+xqM@nyD5HqF*L^RDE} zY%+!zrKwJ3ynnLI=HtZ0WImTOg*-P$i?iwM?Dq2W#pGMFe|cV^>Biu1E^go9Is~M z^U39S_DlD)b9;3@na$6xXYIkK`dwQ7sQ!@tLzmnrWu5FF9UfDjKH0y+T9Ka{mrRdw z$*1W-R=c#=f4;pgL)eYg?mgY zEbd~yv(+K!UIDTaFgW%lz?hG(&X4cc_{$vJ9o#&>;^L$<7=(k4&EODJ z=n3!BI(Hp%O8;kPxAtrQ^iusnpHWcGreB;Drb@3)a+0PC#GE_nXJt8U(htFM-lAWC z<@`iH;>xLJq_xZ21N<1vwQtE+} zZk?1i-A78bxs=1}%f6HYuQ2smDZ_oF)SF8=yf5raIdGK}ODUBrG;Z!ArFno|4(C}Csw3|ygyqoJu83x|tf7jZjtM4PF+g!@wWm;d#q4$*0+L^*E?VSYJqce0f8{g&g>f4r`<3z2eXVGSBdGs4r!_GZ~V*w?f`0@uUYN zp5f(APsliM9pyXeu~4|v-#$P6L9Hy^t z>1e)%=NTW;>#UtO({tL}D|Synlm7|`B$51;`RQMjpuZmv=ZIPUnCFtM z5B zoFsINR|^>QuegW-H44hgm-{dN*IPDNNa!vke6O$74RZ#%0i)OH@OE*5e`}3-_WV(v zhy0%Zkr;lGAw%19irWeL@shOe&_4nq#a7&$Uyo*!-$uP-Z|a5rGrfankyUGZz zm@TYWVr&%?!pfd3TJP$adxjR{&@k&p81A`B0M{aH z(;YZzQ%camsS%EG@?CYB?qs%AitQ?;8J_2|D;8*5gsocN)0830u84iMh1-NXhAH7* zC5>s}Hs+3DO6<)F>`jZkPV0x!rKy`0rmkC5^=ee5=ZXNXTU52WL;0#>L>*t&WyWi+ zr?T>WZ?YD9)x}T>{)-mh(+%+j)XDF<@!ht7pp5 zy_AvO(P4}6!}IF_#Rxk0v!^GE@oez~0?Yp9hnJtPuNPN%O|z|@KpfZKN%pFlm=7G>{TLh?e=#8G9jC`kxuvc}r3c$;OV_9Wr zQQay)-fXp(a+b3foa>|{Tw){86sxQMbLZgsu~J7bj^9H57W3S8boA=&&W|t9;_FV! z?k+Uc7*?)(etUH>zJGbUv-^bqNv*PJ@5i0py%W@1yJiI>S&w_Th}^utb9%J%hHN-? zXL)x5QEfiVHMRS%p5+GBUBla*gTtd22ec5~ZPDte-I zI;>mB$>GuQ;qJlV>8rgb^b^nSR6p&%Iwh%17v&Gn4^Iyd_kYPjx*h($Y{;;Do_@KV zO}5VfFy4P|s~UEePgsLCMQv`)vO0pU=sH+npM@;EvAceop|-HP%~D%l%?(ad9J%u0 zHdoZ7C0EuEPt^UTtPrW?AIL8aU@@sKhc;BxnT!Hqt;!k-f^|n`ie{=)6G*RvK-tdP za;*_8Quj~}h$T2Hg_mje6r+Xx&9jmn^=jLDFzgo z1T-=+G?&H(6dwdMGBGr_=>`<>15z+IG&M9fHbF8oLp3!vLNGZpG&DjoI5{>jH!wFb zHZVRQJTNyjH8eIhK{7K#H8nOuFgY?bG(s{sIW{miFgGzaFg{%hFHB`_XLM*FF*YzX zm(k}8D1RlES!`8R6o&V@L+QEP+jDPkOIs+E0;OdtltIc+paK_Y8CvE-X&FLdyqcIe z#28KVL48nsP{V_-YIxB2BEA@hY+}gPXowFcMhTLTNDvVM2mxd2`F>x%to84G_8Hc{ z_Sw$4Hzrcf{1_MqM^nyaoz*^g*(FgpmU5|&IWVPcB5@2?ErJpM$op9c7iUnqi7YG4Q&(YBG8SN zL)%EY7%V|+Kzo$52P{R?ckU-$29~4gJ8vLe0Ukk{gSMV@CFljKz*=)Ic8uyqtHByl zRbf6@j;3q-%%yhXwd^{eXW3vb{kSwehJW5|qq&-G(l$Bg-keBq3Vb?YuJ(Nm903(` zlTIqtr_(pp#~v^@?P(1RTKd|kqV1Nx?iB5?^o;|GRQ+9+zWJn5nMQ7s&E!8BQ;ywl z=?9mcWme|Fa|u3w72J20ZG5N&)B$P@^^BV7Fc?jq{w%NX8E_MpZ91c-QyYv~c7Mtf zT3{TgFOOMv-eb~^TkZW}MJFsueW%L=vncb9q7S;acQm~Bo(4ts5tgz_Mk2Q+D11=6YHqb(W9t@Z((D7lFMK|tgGF}UGd{_h4 zf4h`5lY@w591A42{OM|i7dX)lChV2&JzOQ?*83pVZc7IuPw=4~x z25l{RLEIVkSoHUE8pW{z|AqY)-FsUa#taxUjDkZJ-M^^;+!@9Izl4ed24tz@;D|*J zIyLzy0~w+dmPzX!mXb+JCd#K%?b43%X(&_gDxPkj@}l#43-1jbIblY`NYMXOrK$ zq|4fY_F`?)GcC7tx&~&kfHu_%skY$`%fIx8Mmrf$LD`Ed%K*D=Wr5{i8`qRYEI^Sf z%Ps#-yEHc6$|}%f`BR z?@Ogwz{$f;0=UU%tbZ`9@8>ywcr4}f7H2x7VJl>ny)k9|CD@^u#1OlV#iGy)9g zF`PdP`0x7`i|gOkJlSkD5ijGhk8iWM^+k!+@b zN3Ve4JPz|X!ViJnU@xF}e$e9HVJ%PLJ@)Z9#}5PSns@!IfVVTzxCS_5K8Z-A!=&OoDq{@vxxfbxzV+3;Mu1a2Sk&BVY`S1Dz*z zfIJSUOx0OK1MQcpQkg21sZyCLm8nvhDn+SMlqyB3Qj{u1sZx|GMX6GhYMnKdKT6hX cy6*l1X9=#@mz5C|9}6}(G&2e%B}Gq03N{ai%>V!Z delta 48107 zcmV(=K-s^rzEHoTP=JI1gaU*Egam{Iga(8Mgb0KQgbIWUv<&jz12H%^mm%p4D1WtB z-H+S25r5ym!nl{pK&35d-*m_R$&MfAno=m$L6?p)#_i~8>{yH z`ro_1kZZxmcMrR93Q{O^n0$zwSP+qpkP;7bg7m{hNnh(41T2lPLGI zECVfQ$uOST?4F>_Olp&afgc7LoMPzb;C2%J9EHJ5{B|=K=0WQABBjexcOB}OdGD-h zkks?*>!I)4rt@!BOp4ixv40=taKdrwN2$2wa}cG^s}cEWKAQZ`^)~V}=n#P;c~c(0 zT5pmdzN#fGy*`~`lzXjJ_QEtJX3%^q&!gsn)nC@3H>@|Ir(w|HpvO^#^AYG9C$*jm z2Q%S8cfDy2XcFkW3AcWbZdv!UZAlfkd+fDMeL;gDFp@Cw{=DZsWPiQb8#-;7)ahE6 zy@>Tk(=oX{_oi)L;If$$ixxI={Hm^7bk7t1XfcV+h$mt&Gu1z5{hv&KLRf8jV4J2CWLFvF8Iy#}uE`JmZI0Bj=6&*+Du=2tK*&Qk~&I!-V+ z^co~(7&mDgdvA1OFn_F&G+F@?eakeq7zpnCk+^TIa2y6rO6BsI8^VVK{Ykns^T*yr6GcimU)u)|1v81CxrK}u1W*Mq=GF@jdDUn!#S5?j9M}KBGD)i1*)7sl(zX7c{ z_Y>G^4i^6#X8nz#+@4gU9acr#?MQZ-M%%)>KWaAiktr2DQy5ToFF2O+5#ob^OWV$LsCk}B7c`ad}0DXj8X!KOK_`sm?q(t!3d^GJTK>+5jJ1~QD-|@+o=nFT?}Xm zi#YP^Kp7N=6uYB;URLb5iv%vrBW|HY*SD5H2F9l0ImNHFXijkkOTJ3@TjZ1#{r43+}&$dXl8q!@w6Rr8L50 zp(kpFgMX=J_&zU>v=X`-2d4jnkVv(osjKg0G}@CF7&xk5Qqv%YVnJu;6#31TNGZwf z1qMn#Km=XzZBl!R{3<=x9AG%1UPIlRb1k#IIcbrQLnT>Co#H!S_Lmf%BO;ZW$UC@J zip~ZIvU=hg5Ts4vk|_+66*E%CB@xAR3ueUNxPQQNg$b9$+`-Y_wkMWpS`3b-`2qrK zOtg9r_3x%hnSdv?A|3Y~&?$r?GL6s-)Bqbs&Nk$cMsdrHBF-}3SU@|p&0d@s_)SUo#Fk`K(_pRxHEKQG zYYavSx(si1ei&zL&THzca_p-Hstl0;m}(AOS7NWL&EZID@udUncanH!&-`4+fzSEa zDh@oP8Ck zi;N0K;x0x>7LJIBMAQwRiXYeg*~SDgP>KTxj$Ywva9uMRPaN4?=(#DX4=}L$L|FHA zokG>99r4Qmn=Xafq$iTP1t-c-mqe~a!2nx9EGp21{DYDc`N&sWX`IPd#EX8R0+R-C z198n0+XK_&4hq&Ml;+Iqc(#N5(;% zxxjtF_aI7nAR4#I(6`V~m{Lk#mfh4FTpMmcp*KNg5iK#1G^h7ei0)l*gp zbhxzdtpZR4y1OjFr4X#|UOiiW;2T^J3J&ByRD3>a=swJ-FO=qc?w$_=XFuMKA$j@! z9C*VSVt0f#AarmyJ@Zhqp!y@W9pP=;(J_-gX?vhBDd0#CsxgaK1&#{(F!FoX-yMBW zn$&)XEkWp;t_bUHoLA4Mt75P#vA|kG546e$AqMgKRsr*68k; znznQG6hK#*Mk+Ig9<_(mb`k;Mz|s|{M_{l!q3~#+ za=0G(yU(f*ySx7YaUd2txAy1^2{!^UFqZ)!4K05-68^4V!H;`iC=NM%1B&9@yfxS+ z@x?h{?}~nKv)aAfb?v}$7Ttfp&&W<2S&pMbYI+M8pezl^;qaLk&d?Dnqa1lf&Z7;= zM*O#|*f3gB%n5B$KA?3*1$-x?B0Az1y?l)-8Cy6PRF3H75-4I&gqAFZ!_Y(lUzilx z9Pxi9qc>%|af-Z;%34Likh16&7_4BHkaFP|579a0Jo=^((8VijWLO5bBn+_h&*%hR zEjyvf%K9k199BelV6>PAyxC+-;XFDg22bALAz_q&uO^|haB7Xb$-+Acp|Fez>iNOE zld%Jsb^&jrj1%#Yk}nu9v&{SstPagdG9$?yn0oX7k^w= zsvON`^JP&^Za*&T|L?A5|0~Kj^Tp5A;=O?ynh)jM^0?f4PxYUoJg+X7>OF?i5fer) zEr#|^d+cruNdrZo8>v^XR5?-Q(fner%6;|2<$tEv%W9$B-_+~Z1%Cb6plE+J!5~D+ zIzS>6v&K?o<1{7S$p#O{h6_e}Kq?y2UX%$^5aAGmySS4Jf1ite3v{`GHY zg$7E2D5oP3HM{-v>BE{N1`#G2~3GM>zPrJen-0%SuuGq9_mN zvt`Z6p~%XvUYCa+It?(&9}It9ju-RGNrh!$#Qj56UR0l#>O)gf8m6% zU`5*{(WcEcZH%N1^r8zbtdAy`fo*lVBHf5aic%B;V@{<$w?V$y%@-5;1g=X&jm zi>+O8zUQvE&3mo4Dj_-d999{uig3MJL*KJz2g96JZomrx`tR>)v;zo(f*l9#;J8|`H zbTJcD@yY1uV8Gxf zTV0kX@OC$CgoTBnAQD#6%lNK)?tf><0L$@v@3s4g;as2NG}8vIrp0{yZqDH$N!38q}TCpS@HoZ!sFkNAaUW5coJlQ zz}{oHh}^W~xsPrXH@K^JhCfbBbGTjYGgZ7aSdJ8Ryv(NTr!s5pHbbuH+wX+5( zJ_{X3i}~%fl7!?YSk|F&YPg-6pLM5lQeG^kvzu!f^70P|Z&L18zh7Ne=SOc~5!G^W zTMYs=3-y0y7|H<1Sqan#YL1*|fRVBf1Z+3xDInv10oz9Q&ajTicp~Aetz=9AehGpY zfgI(~3G}uF`qbS%HfY!OF&S;P1!7xhJwi)4{B)sZIUdvZ589fxwCSgjVRp$6;+k{Y zHD~)AmAWU@>^hmVZzt7;*+CVBQXjL!#jd3GN$4qz)OgC>Ek%R&;YjNLIEBcjm4%gR zQ!ltlWlLC+!q$LMGpe4N>QWl~gH%d`)w!;y;XEDe&YaIbCkMl26dTURM%NC^6vP}CNKLkVCWo@HEDN;WZP&(JA9z;QB3GvGC(c31yZ5! zh16BM1~0jFJ7`KEAy-(}ZX&EAQJF$;0`!?=DNa; z1U>dHK*><1-DxzDPaBYtlys6}yR=d<1|xqNc?(=^&`1|;XXN(d*T~Zj8GF_SAIwC9 z!ZFTW4yDridH~j(V;5%ZfOdurL_(_0pvv_I_%kqr|4JAqLR6#f73X?cX!YvzIn$pSnM?%TX+Y-x|)@874lLq8L|^vOK*T7$4!Vj!2u$}C;}1p=e)f2)@{Di0?DGBuZByb~&arBSg? z!!Qut{S`ODVCQVdj=e!kTZt{m8)B$}5+TvFv><+;a}uXXgjkU6XWi-Dy?3?*q$QzH zP*^XVhw8vSfFbN6Gz3C>XW$!Rns#<->bv#5gyu2?)xHlTpfIL~r`SL>hIbB?YabM#!RSIufNB5`{=7gbLOQzkkl zdPZ)5inyvO6EhQR0{2$Bcf2{wBI(huZqK9E(0+?7Dy8w(#%`NR<82+W3l%1J9 zfc-yi6IX}-hW;Vs{0~0>}?%fT}+(-a`q;sPIiEQ zY47fTWciQhzfeP4OB>JsU-17$NVypPBZiQj`9Jb8{>NqMENZJPfnf`5m_?2PSA zEbYtzDlY%%Y3O9~KaPKg6%8%_Q$hdb^52So0xnE;&3T)zK{uCc3=lc}A{zeWEim;a9cT}-B?9;U`H z8>{xlJRw%;tzi{@Vny?n;575I25K~`Ou%b1y|+5Zmcte%`bXC|52`r%?r`{Xfku3P zdsly?9$JVE<4xgCrlw>&fT?5K8q0&-M&7&p-rNXM zq@HHY%Dt$Sb}ZvVmSBo8DDNBqN7_wTUwX2Wp!!9DlBxX-XL>+WgEVguT6kk5@V37J z5}qHt2X{+`t#46S5$JFfuAP7IWY~#+d|HiuhsP4~mf+f`Lk^xo3qyNVQP$$IL{OEi zbJ|hGy^W|Wih^Oe|%u2?n^>W&5`q=E@wTH^w z)1Vmn+qw$e#9lNe^zQQwUuFq^82fWS3Z@LhbjKV&W#`fEBbR8zM3 zaAgEa3c}pd;AI`PWgU|H63JE!m5rmI%hU8y=(W9Ur53DHYS;o->E2Y;7^*nk;R7jhRVYv>@SzdH0r&pgL zW`v=HZfS)*b}LmEgC@cS??$2L(zJWi+ESkOxg$x`-l$Ixm{ysv;F<&)%n5C0c)Tj^ zho8>XbV9|eaYC&dz+0vCdQKB~Qbxn7P2<_1VAX}=32CDe!6X=eJFnQ!OotWZ>T_0N z-)xpfp3H?11i5#Ls5|-CG7C=@riz`vydB@cn@-m4(2(+9?wBIo_HQ?VZyE-Pv$noN z;V$Y9eDU{%(%sR_5UgWKte3n(aw1lh`bUR^)G;@mbh+=}tYKZ6ukL6(`;gokM&*9@ z!ngYoztY9oOWMbO5}j=BFU7>w)?e5*lZy{5Ng%2dR%M(o&D0%gWOP71L;3W@hmeN8 zeApAwDG5#I3r@UoLv{4^b>ZA7h1QHPnF{gaEa#RS^CYn=*9j+-bBV&M$gm?H%1c#8 zWGGES2Au}04+{Ha@Lp{TdlL_D%E>SCQU%X;DJ`i^sG z7vG4s21QLSj>M@1GjbVUpb|#$*Ba8-ul>Xcg+>HW0Dp7bR_%{-7++ z%U0;wvOd@~5ouxHVOJJ${2qrS2CySsDy**H$S@~9;N^g;+xlYZX!Q0XOBWs@J8!ft zgJ2um(&4s$RU<^pv&0s-6)9Rl(Ev!VL{hfjnGLQ^NQ_?^!u50}>FNHVm*3k!fs z&%~oKjfF-!_I@G57^vqaB4U72#LM%2yPYE)H!RChMjmz`HG0$PCy zY+c8H#_l0?4VL|f1~ADr6ePn9>2(q&p5S-9MMz?^rUG4m*+xYlk;kI4g(W@M%ecrgu!QyK?5LO= z#g!0OoKLf`*+`XdW|g!_jWed%xkmES;;H9&Rq0ea2U~2Kb@$|oL@CM;HA)WW=t8DlItYC{*;v^j!1+#M zHm5V}1s6KF4qO^uIqHwl-$mvcAcU<9V)@~gTP4qe{6N7aB9qX8?`VjiDrU=tbT#Pl1?= zwbiTcB;>G;1Y7%)zVvS0!)_%CTXH=edpP(sAlFvNvY(*z3uG5T9tqZNiN_+MzJVkQ zELxgQN2|KwfL@L%0!4|;K+q+JRMmp=rK(#TE$Ku~N{5pM6CLKlJdXT0OBBClaUf)p0Wdq#)^8`sr#url$X?$1Z zzj;YIgrzp_^8hhFl`oScjTRtqL#{SY!d?jM%94ffQvpx>-_PNo_FRJ4Hwjf`DAWBn z>EEYTYEJ9AbGdg%ljKM0y(&_F=ieDN8^Z?RbtU9EBC1sfMfFy_+EJ0{ z0B~GNXWFzM_}?~z>JU(~3Z75lU4j_o>nmo|p{KD!T~<P zt>T6VcdyK|Q^-PNsZXVU@f9G?a5Zo4PuN%c_}5H>+mUXx%wRf^+8Hx5snnYucHD$f zqO~!Czi6J_4Y4yz0f&7@s}vL2D^^+G6=|;|{CJGbccohrG#;mwljRZl0_WzDNms;# zgJs3gLjo(wA}AD%+fXz8>{X*iS+kb2lFLck&g|XX05Tk6Dz#Oa>-=&tu20-y>B=Efrqpc|+Srt}? z1;Zm#O!8~P@EZJXU20pe7pdNArH_MV(uVX>F|r%6f4H}pgc58D$LIj8dDN$F8xWx1 z)cVyKEaP02>KH74R9^cjh2QA|%?KISm`dUuhH5-#^?mKdeqp)nRY+3V#aM~48G}Nb zg2(o9&GO*XQi-tZDzn>l2Hzfi)Y!GlH~1ONv8>41=|)uWfP^pblMkVV!wj#d0&_yW z8yuWd!?auGQsZtI@ghv8&qtLRML5$-@(*rlfM7d`@V(!E3+@ZAZZ(3i9NqC+-4vgp z;C%AI=03g=*pnJ%`dqY>twD_!7W_mfwWyO>9bB&6Sxqa zPEj?$S<(N0r59Q)X>hyv=MzEp=)z`&WC8A2=oz_M$Y6$~)7d*2hu$UK!MCm2Y=v`% z<$GKa>LHo6C*-zdyGf~S6Xijcse5D&wmN&w9`$}rzp8t1Cvujn{E4XV-v!oru5grH z6=}=go#PQDxHEufON*?@ub{b5deI@M(>-KK61wew2n`a1+$Ej%+KvQuDpCDl>Uh{V zD#uXo?ltVk4>EU^TYS8y-Y%M;KA&*nec@P&58m@RDTBmztlti1T_n%jT`c(SUm-g} zPQj9SHzsKczr)T(bMs{nRe48Hd-a9Z9mVFd#30m^`FJA_r?!sFm`hOJ3Gu=RZ;jIR zLc7R+h13*~F}I)|BSQpvIV6o3l75+F%irY=TL(1X0Npq(DE0w+40wvBjX&a@M^w*n zXZa;zM3!foQ9%`yA96m-%vjx6JLBtmlh%?9>rfXTfG$Eta%B*KI7|c;tNtKSX^o(J zW`YLmlx*_G)Myh{)!9xcasffWD1tQvowt}!V*#Gh>=2d>p0A;7iHKO0 zE8;MTQq1+_{bjexfDG{UuoDxhIiT8{7I@idr!!bX03&=utM6GA0%?iTS}UbX?HTBQ z55Qp?l%$XAG%(JjcvY%8xiwnErFi~}BsDZ4N4Qa5ki+;&u~Vft1|c5HmEG~8ar02G ztXo2Ig33eVGuEwk?Ev#=_er_mRBVj3B@G^(F?U{`Y>sH$_+tsYFaDu~S-Ln_ahqF>4xHt-$UZDMyVsC^Z$ zf?Ec`G%Ss**&(}irczW8Jf7nDstLD?`_24l(hhz!-fPSGOba7Kl(Q6bu^Cfdw!?B< z0RNre@5$oN_WE_1Lx^^%tf`hS<&ExISU$e=o?qhf@J0;^CvU>FS?LCIM1P5YQfPiq zf{mo3WGdkceWMnT(P&-jLky$FkVb{Pj>T#;#U{mt-jYg+T;(~rdf@KrnGh_6J| zN=UcSenMRr9AsW^bs#4Z)(i-0meYzXcWxROk(L`b@T?jm9{np7qOdg{eThyN#`zn5 zB@0NsZ_~zYTSnAwxv`~R@e<>Ik-N=S3N`d?k|F9q{u{(VU2t3MQ^hu)C;^L)va4eUb<&{|$d;#FN+G67!6Fl<+%K|`75)^~3QKZJM{ zM-#h)7e0td;#RJlqv4koAZS5Iw{!h|a`T+D(vubPiw&$f7IzmX3$xpQt`!wmh+9G$ z>4M$T$J1Rp7ywiCoy=|*IKx!>n9uJ`z;{vUjdU?3U89b7b5DIJxNwl;cm)G`;aZuTuN zPrtV!AgV*0Q43SzO;w!WGUhjq(8cVXywJ6kF#=UEf=WKaKpck{gLCut@i@U=U?sOa z5>y1Xbc^)gsqKk#_V)aJIHhXzPXNq0tTEL6QqoBhXPqy_BIEFX0Rlqnv<4%P5{v>T z8aBJPES#l6u>$_*%Sxnc2!(TGs&&k^TVivv){sV;y%}p{$lNt738KPW0$~)Ai|ewJ z6~=_Uy5qkACZXO$lUyI&QdWrsMusToDT=GPBeIB|t@Ip@i(Ry1E7ueg|n|XfOolWWBbI8a$nYV&+RGOd7q~L!`2%q*&<3U^D*t3A%&BnQn zn`!aoZM1esc*1w0HkT6a-We^Y)YB@H{>r&x6>m!Z-F8lY5J&@LDEo8l>6{M@t+YwP zDKlo_z%(Km)lMlI!|_xsCg5_j3QLxnyC=E@j&fO}K%`DLP?)sU zQ^Cg#s=QO!*|k`CQJa*A>y%PXk?&Z2PwbrcH>HyXpCY%Mg$o>yG)dd3aAEV*Jb zzJy-ea777!zCU6>{^8|xM-g-qbl{>Gw<3To-A~|cbXckaeJNEU*xl%Yc|~%^F> zjEkUytKP_XIT10q>;Yn`fkhyS6)cZBRh$j7V9KfQrZ>4x^87ud^fzbg)rBkFPVD*v zTSh{Z(mwJWb)E<<{Ati}F` zWiB*qwg%hglYY)9^2lZj^rjRBp=HhwWWJtZqZ8trDQ(*`<+0{678-E!G2;S0bV&bp zdcJ}r6n}4dBWJW^Kkah3lA|W#RJLV&gr99&zn+Cy&UHO2u8xiWRV$B zRJBMXxF+EYGkNm6%t|xf1?WIcx4WytIrh|T$;9tGkGXx^O$IyjZ!F6QWvc*)ie?_c zgB;!UiW0FxP}(p~%Ude9x`L>4N2o!YAbA-QalhhU*R1TdnV@|y1peZ%@*CoR36QTV zyceuWNci`i9yky!F+3`$TY5r(DVU&7Tjv~}Zr2rBn+wn{%SS@E(i^Hwh3&R5q6f``>zKXW`7{<`;LKUEJ@_G| z@3kf%i6=7u%?oHTlN#zuyNmsQ*9Sws*D?Q+1k_H=@|DfDa);8t6f>V)QZOREs+*5i zzm^5Ivcu2mw)NmuU(;GfPCPXY-Y$)-Y{ckxH2!J?g#BJ9;P=(wpO1I0rwCe_m4x%X zhsIM-Js+;+oftOhPVqs^5VOAgAP<~m!**a^;lR5cP7S8K3}0EU@p9sSAAnFp`GMrv z$0SsNu)WZ0Dfk=a(rm7{Z}x_uZ!FHDPll2+kak8~6#dv2Y`lK1+<1He9(TH%yGU%i zYN|UeyKj z3>Y3^EJ!rS$6jgOhnXm&<%YRTsrv2hW_^Ua<&> zse&6uDd8=5ylkv7x$p0ZJM$3$m0OkBQSw`mki9`xoR!g~sc?VS*yy}czGNQEZ^5`d z)>jybK`jA))pAxqF@>?yJ_!G47l%)=TA2n%*%>@5FeU6Qt;rUVSs)w^)VBVTH$%! z@EM#>YHX?MovCnt|0X5t=?*4V0C(hg{-$sHptR-xNF6fSAY^>mS6*NX>&&C_LPbmc!a4U-41 ztl(gOwYTpv@7MT%7E9czC-84O;)AzdOh1k>6w^>lH$ zg(f8WVd6Em0eu*g4V;`_Rx347XaV2(HMX_`ZAMJq^aVyAxngTzOKQSl@kKpH&DRyvP?`(F>Xawg?n$ z&zO^@evsyC=SS)JHw7S@g;Yu`?x+Sm*x8QQsBgpdWVUVgy8LnmOO}$u5=(`L4M_A) zM_v$}$eM$#T%x7FMYAqVw0Oj#BLuQTLCKsTN86ik3aJz)op!Yj;u>&8w$@%Ze>D() zMXh-xZOn3|V2JV_LhQhCG14z;LFup66z|}x81(_T@^Z8iT?}8OBZS;R0_JW~Ce^P^ zWOdTBYsI-(*C|!Csm%|6q@1p7E>mx0C>X*zr|(0t;e|L7^yi@DC`R4zol{E{t)sqn zl`*iH56*e`g`i&tWFv$J43_!k7&#Sx>=Z4QjAa?Dp`qmX3dg3cJ#?V~`DvPo=gripb-#d@&i z{@o)uU(ES1iUWaQ@1jXl)>b-Acjn?fA)PJZ$^11Sk1EH!CYsFQYn>heMa-;!S>~7_ zD-pfTAo!Eo-TC*FC#9Y(nPSFqQ8H;11evE@3y0affkmf4dr^^Q%c;;5Z(~)PEQH?l zhTgj#9jzz(aj_F@H3BxpVe93}``EFc$-*%z`ON>sW}N?JV1FK7+DrifKyo)5i&Q(xx74JY$|R5{vbEyI2# z`W59S-=L`*9&)C)V=P5OtaUCqUilQbsb*iREzcF>TpU+apsKvYJ2tg-Xj|tO#e3QB zH&FJ8AW0j9g$qgn&FhJjh=!tDvGdP?loBpYk_GBoGmX8JE%k1CAdB#0l{|G-8Beb$ z4CS8u(Y=vTJQf+k-=5wj zu!xr>m_F%Z?RzdX1mq7p48YLNRZJy9fisx<4Pn$ld1B3R@AEigLrGeq7ZAdj5Hfg- zNhzGJ-oHM4j!?VfqZslalx399gDW8%l4$2#`6t34;(zvwlAt@{|A0&q4m z6QLSW2KmLRM}J0L-3>a3q3LAE#TXKE#%a=cIXG|l;3kwXYax- zkR;*Ox3>iTW4bRhzD@USz(K+X%`jr~b(Q3zF#~?(TnG|f`|qABw`%pfogP#anXGSD z7;C9O+mSyz<7oEPKYzY!hE*T?jh3IUK44p5hK2QsH24N`z4!tqJC6S z9ro(gdYguSToUDb*1%4^3jRq&2kLBJ7<6W2m93w$L8j+IyQL(Xu!#)RHnqHOCbTQh?FQ{kRIqRH*zcOfoDi%3% zm!#C=M(p)B1)&@%NNUo=CvxT(X%8Q*;FUEIh(z4A-7c4l$7gGxJANRO`nI^?0{Tp9 z??b%+r0-eD&4{S-%d}l{IFJwZ+?hZewb$rbd7p)Ip$tRrT0;iD$S9yk z{GNicK`j|$tr^R;5+=CD5*>&vyI-g~B^M4=;MrWg9MP�uQS06K4BuSMog7fyA|c z{3apWSEZTJO{LhgS9?)8$oiu`(xX$R9aGi%zRiuAD`J6@4ke+Jk)w#W3RibIeQ$ikj`YcN>ok!UrL^HtZy6*@&?jx71c31BLkWNt zo+0Y0TzjBXxwhvPHW3!lO)AmpChMht$48|Il4-I`SV{SY1((t7t6)O1F6*O6I7AkH z;+r+*KE(Qb+GI_LG2KbM4t9Pms|nHKuKN2_HEs#{_6HE24llzu0X9VKpg#cPaNmYr z=C)-@dW)`(3cEq&=IEj39u>p-&T2jZW_%Z)ph@Z7B}VqlN4DlKNKRo~3(S&#SkE!_ zeO!Rc-&jOXdz`;YIcTp@Nb;nf-1QeHXd7n?X?#GqleCzj%ofAD*=LZ*=6{ZFU+`9-O7u#~KgPglZ!AcW_`9cx2+ z@oA*Nk8-)xr=>8k+hBcmrW&H)R^0vmK8GZ6B@2DyFfNA{sDrCb^~kjt(vpm2x5Kh_ zANf?t+9wm&i;r8DX+*DOe#>E%+=Zp%)YDs_|1T+RHN+wv8EHx77)3j9c=X$xI6 z7htM_y!>{>Ngm2hXXYnW1dZIPM$OO;cUn+sWpeYssod9|#Rky3lyyK3Fyb2Lu8n~P znH^wcHo759+zm@}a*+~HFA}y&euPxvGpmz6vlvcSmjRlL*5w?O6c*wA^ zLukI7)-}oS^+}*~7afq_{TCw}!IWtkQR?r3>;^bgX$ZYSweOU$` zPjy%KMbQI~=KHEzd#sgBM^|c^Q^Ujp`)lcN-X9CQ&E_>(CMzKM zDf5}_q_jUw9~^tnz{{#Hb<@Z~lD8#K`7)M79n+Vn$u1XPKJdeHp$xn6&om}G9059M$KDj>o|L+^+9{#^iLe$w4dJ44EgEqtVTnoAvc2m(a=5D?DUy?jY zvFHdLDpV~u8{~IfpN0H`y-`gjnocBBrECErIX&DiZ{r02>8H+)ns}AC2NY0FIthfX z1SjTyFle*L!#vwD%34P}BfK2IR*!?~HZeuQxQw<>=)0x+VaJ04u=tdRZax~QWtic$ z909h@++5R(!jTZo_NSKva+Dm~F4kJMK5?9i96W(I4#Ouku?m4zz<$LD4tmTtrOOSx z<{tsd-_g~=CG}!N;`(*JgPJAo{OsKmsw|>^fh|9DjEKk@@bpPi+_vGDua`chz(Y)sg663`I@*Ob`Ftq`f&rnEJuvK68}Wi^$Gey z?Q8tT?Mp% z6qk$pBPKu&@!tFxay@=l(Inv>ei{=I$J{%Xcyb%$dLI&W#`SchO~Avb`Qjj^&%?H= z4DpAe2O;Wh%$r%JE9e9d9^euLNw)Mq{bX6;QO9t9?wyt|Y_n=W@DPhij*daneB(j+ z1AC0G1+MqS@=|#joLi?0H4#Xr^LX-q8jrTg-r@*dYaEi!=g;w6h{5^3QnbJDl+{QA zdOSP3uqW1{A?Coi7To zBwd$#bEk0;7v=)>2D4V3Skf#!1^!X6Mi#7%j{CKX>?B>fJYSVJIz)Wn|EDN_F~NLq zRx|(cv3CuEil^9nrt#8FVG`=@Uc{AA1F)Ehrj*Da?GP?~c<%Ujuz@_C3Hta=A(3CP zHlNT6_0p7<)^A;3G)sMA#*zDNZ}D++R65c$O)&Jis$({P7@IRcU$+pu-@mwdQI`@%2irq8>X)?8z+!ix9>yUE zC*(`eQybSYqdf6UVH<*AkF5!fFL%z%>MJ5xvoo~sIAUY-{vw~L1>GG2ps@qq!38x8 zra47KtU3VVriiVj=SWiKY3U;Zer$}71IzZMqLoU*av&ei1;_u-u&)+>fwD`Yx1T4y zi*EL&w%Wwn-b{E_w)Hn~=d`T5>{+a+ok9E;rxtfjRqTO$+zVvb8pb0lY0S)5D3pU%F zPGEu@8vI+4IpT~biuFu??6cOZ+if@vr$Did%($RUE@--gURZDLCKhiJt@&TPfF3hR1y>95fAw{=1s2i-l7?@IDccXCDrL3;L?U(lFcrqf7# z4337W;Ui4^z%0CB0Y{pv;@2mpaX?{JPrJ9TTO3S_{zUBnGeufu??SGwKq>3#O-maF zo*QV4PR!ArozWk3o;syIf1i`HZxn8hUWY<3o-71);gmDtT7_jbTl&qDZP0i{05KsG z@OZ&KkFY;3fE=%iZC}(X?l~PUW5ZOnt*eq#00_J7^qejY)C%cmQO-qPWk6-0UB=rbo^hJ^fuRSf1F!V8sB1d5jF<< zBaAuLD+^nby^q!5xsY*ak32M(4x3Oq|tp*okz>Pl5xvtd%X|fHyJ~L}qe3 zxlccN`<7B|@S3q&R`NBMElXSP66M{C<=a@(?oHArEPE z_OfEuxl{6x@8kcTd;ihg@sgmI>R*A@+OAa0){w7jLh#U`P2ZdN;UH5!RR zbmzJ+ND?4P`m|OUyCApFSJab?@u&j0Z zH^1Imfc(c8JZJtA9-b-2%E|V4{h^`R6BL>L2MvP7f53p;B@>PPyN#XLCui;^qwIDw zGA{Mijd++|*w?}q!CQiBTa1zuE{%F2Vv>91G1N%*Uqf^2}6E|OFFz7)0 zi)Gi}DLf00*?YE1#LYzfKDX46V=$d(q-~Q`7HqNOH2PsJQnCEq`$^Ulb_CvO&by+^ zk06?|f3I3`3J#6&23GA6+XNch&57kVH~j4LyG_D~x8wvK?(euk6_&!I)w+#8glegj zjjyq-&7A^Qb$9u8+(rES$M=QE5my^de3oWeElD-!Rv-JG2+oq4oTF9 z=1?L~_cF?2=*z-V_F^5uRYzkd^X|HIH!$<1e+xo7+o#(XtBQfQ>`({uTj3+I^n+Y*~^h>MMTzF$%j1dq<+mA`!+b5ls-O zP|iCPjc`O852UYIsK%n0c#?CD4nK*#s{TyF$-tYkOH{GQh~`u1Uj>PWWL0cYjd?fqV$}%~ z=lZ?WLpd;bw^&NbQ#exGV|aK}?%=faf9apoQAMH8qYzp5e6%&G<#ET*#y5X7f2nr8 zsm!N$`y-S`%$z|S!>C8a=E7_pn%#c~Dhw*?`*Ovy!&{5f)8Dc7-54O)uW-%*XkEXu zq-Ao+dl~5S{kRCH<+~@SjhH0+^6$-xWU_m(6cBVt0_=G5NbrdykNxg+Jsi)Z+Y1yj1~~~>$y}F*anupFb6yMz605aBqhGOXpg`S%?OTxxGwSZ< z9Y|U-f9DFPGw(@67;(H8JGQ0c^7JWC%9F=~$!qVPPTh9BaN#l)#o-!WDhc_e>i#sG4tU!~x!OS#5(i25b zxFoxKwAJaaR|oRw1m{4>>d@{==0HQUxJsL(jA&ha6Je#-!);Od2r)y7f3&+P+4ldf zT%vLg7g}g`={XBwi_+y||Lpar`E!NXzD3}Quh*xVwq2x6rAzk4zi0fQ>HEAL_d&9N0IpySHd-M6 zTBuCz-W&3>Rf4bYaMHjWEru!fUB4)n_ z&y)>EK#;JB;0Q;67)oY+pA}oxbAYci_bSoDe~(-8aQfn?<9R4=P!wKDi!`<)lMD?lfA>$_v*Upur-&F) zrzw+pKf3Kc?bK~|f?TvqFER}+=M#H5vTgdNFA?(%mcekmj&l@aiP^lhq{wG?DV~tF zK9Y$C{)!x<3S|n%w)Qbq13fC|VOr z@YVehQJ1%l8Eeetf6h98Q%6L=SjZiSiZBU>Eoe)%4m=||Aa}1Z7y4- zo(}8!;~lf-F?El@l32|Y4!WGJn98s`KAJa5P#A$==b^sG1(o-V1<9$1<#Vql3l%vQ z)MB%jF#)2O6v6N*s6hbI+JBqvmMARu$sFej2g#7KRnee3e<1eK%g+=2tUdpvtSed) zyzE`P-1OW+RnR%HAW-u2e&5B)ii`4gY!5QRB>l5}NqUQte#f@k48dtE4U(JnewxmA z3#)%1ByKT<7837qm5bH^Rk8}s1~HWApoeY`p+(y2bH7k9?{C21qS|^J4+@2K-xu-` z7{V^z?p}v6e~>4a3s{rNwpoeXr5+)R7KhU39D9D!8n)`YPMm=BemeqEf5pdT1}ozO z=Uts0j-u?AQgx*&%VH=ZxcpmqeZ()})B3CcN7JsXN;66spm_L~$1B(x4FiX!t7j_X zw6TQ;>yMxEiB^A6`_`v>FIcgX?TWG0@(-}UFo!r8e~rL7P}y!x8mHtmRnmsQcv+lw zL}<)y9?^TIN^>(U_Z^ZVgN!f{yO~J5F7fiWXugL%V6=W*rqyN0h@LL`gkc}UGw ze=>z7doJos{vDa^eTd$?>8CfpWaNql;Lrf;7G%NrT294GE0v(~dY^HsE7a(qe*zEq z8C%Y}egP_C>hkK`Iwl2?Fq1gb73$SDMQ`B4(*kXM&TrFIsaV9aB{{mqd!#{+Z)Yhc zoFth$D-|!tM~Iys`~-Hbgywd>&HU0fe@=zR&1o++#&)SHMqOIP`LL_}MToag%(h#U zz`)C>3Yh38sy^~C?pF@y935q*fw}t=+nZ0D@552RU~nq5I{5e1i-^`YM2!pyKj}2U z^vh^hJw&fp8%gO{ui?+m=jaZSxfQ(l&32hkzZ)^yBoee~oBL#lVbeMeq2heMe?>S3 z#PW5ERp@OEx|F860Q1Ke=hF4A*l&-0nhW`Bu%_QxfpUtbQS081(HY&yO)bI5r%t;| z3pHwAM|?9uH~vF4&#xPTvk3sLd^KH)F+S{b6}O06V_-5>G2S3iW(ClXT>jV(;RtKJ zMw+jYcNB?E7s%-(m|0uJx~l~ke@QE+BjQf)QS2E2om7IGV2itve!v5#I3K)KWxYAc zFAGn8J9ha)v~oAA8)v<Nc=zd?4$^1|moHBgNyk_&C_=i6wA*QEvmf%UyfJBmGMasX#rg%Am9-7dfv@tSc*A z`B1kzH9yBQe?KyL@r2{?VGL@&G5cWi#qc^tnc2)*(Z?(fdhnmgf03?I4$Hxrpl-?& zVlL~icSCoi;*EW0H$Y=FDY--EfCuwK84q_mwyFPjyMa$BE3QWcZ9zTNi?;cnJLI(|I{uta3)-N=Ul!YI z%BMf?k2u+To-GI+t>p6A1#-Bovk?sgLoKzed!y`uww*y>9e_?792htZ^-X`tCuZ$gs zPw8>)%eM?m?6HDoU02SlXCC@#C};)IJ!QObFVb9W-zgf}qE3Wi)2sKI=Cw~^Gu%fu zCV{H^*|H`lX=nblT_ej~3uZkO807Z#_;&2;iN(tg}lRlry1-Z_*KAyPdYLKBGc(&3O93@JZ7 zSv^FBDJYXb(#TFQvB!*ev1;&H)dJ-uGrPnb(Mk)vS;2588mtKg+Ls zrtWi=e<(Bk3|><|%lu14-q7t%NosW{9obB6qeRxpoiDCTz!C8KcM!E1d7aO>gqUdc|Oo|Cx~7<^0(QH zf96NX(qfj)h~Tz*Ah$(>7mJoJZubjd38XuQuiIF|WrFjN!(8hCIsO*KKGK8EOkRUBOqDrIee~u-YsS;O;aUb{HdaW?NFJ{wDx9m!(KOCxG z+#jU{;bka}}UiO=OVi=iuJ;n;O zhj955x2mk=YqiAe25uxU+!x>*BK?0k{sH{%q7vwTrmgNOl^SG&M9C}N_OFYfe=0IN zMB2UW5tpSHH3Se~V!_Mw6r^a-0b_wQLOH1G!)$j>(>ChfnGn`8Nh~a2#=C_kU_@y< zz^`MYgB~#Nb`Ykrh^%Zm(0e5KlBn*}%fi6W;H5qUUL7*&m(_V(pxOrG6GlE*lPK~- zeGU@T3PR!sGuMhxqakB9b7U&Ke>W9I>P?ASTXABt4;qCPX>VlPm-w_e!YY<70>ehu zklbS&VP?Dmc&KkK328PPe3*u3y)Y+qMRHGaQ6{shb8>FAZ+K-sX|JfY5hGA>g|i7I zEd2jw5)4r)v0@({0;S-9GW{~FA1*R)F=R=`!N^S(MlT;gu1}-~^g)Xne@gAN2>2T- zK7VG!VrJ178ITUsO5HblnW8zmT3lb znMm*i7d~-js;YMh$h1WX>km22#!B=qkkdsglP@+iQz&SQVa&_ zEBiwtSilNj(NwBKT8J?|e<%WriegFe^24^LEO@1d4SWhNHqt@e~PEDK6_f%pS~gM zENmJwWm1V=+>Itz4$D#9&SAE<`IJo_R^ZOj;(Co|79jn9xHzY6Q50oKPTN}3wr$(C zZQHhO+qP}nwr%w8$8&!oYmCf_*ktTiAzPa)NOEB#*C0NK1E;cQlKgft`nS`)bU0Y4 z&-8Ea0l!Wd0m}DQf0y!U0Mq4%p3YXkGEF;T7hvg8I`=cPe{bmkmdj-#k2BiLw^{L+ zO~dYlnqZ<+j~^{FL1Jg(&oo(GQLrMs=T-39J{1QjL}nNK&g1}%^Lq)UX8F(Ff=sAap7;_jFG*C}*@+wRM^E={=p<2m5hxeNvrZN{?Yj)yN=d?cG5AFlwYh+*q<;y;y2Ly@^JxDW{wSaXzD?o)ji}BOivZ zGlNFz<5gjsdn6xtWeo(p;zduJYlO>VVEdbfbrd3sWJY6fk^CwbxrxQKSRr@s4;-XZHe%JabMTa#~dxKzxTzo3EN47_7 z$XA@laxA!}sXcmk&&}Ro=*4t<8a#9D2rBJSHEgN0dscdbNhar7^_Z^=cTQ;sBtHWl ze-Z~}_Zbch5x||pI)pVFpK>6Qb|L_khz(}|&~Q~wrt&Ie(E_1O)-b01|9WN^Q*s~j z&^+qUKf9cIirF(t=Z==)$^*Nfj45$Z9D01e+0m_xM69{W=S6ub5aHBkrQy0O0o=7b zE}gGj#KQjh1bUdxl|pR3!{9HCxDy@-fB5w|ndjbB%0p0vU`;l#d1bLwp1$LyZZdZS za|5<2IrRYpq2DEpYAPz_?iZyuAae?nR}h8{F!|Fz51Z|I_P)n9DbZ)$7<25OSSV?Z?TxVz6z0@P=U6TlltVTT*~Dmi9{j6c|^rk zs}P2z+Uw@wfz$Qz4yyHu_AaG~+8eVm*2~WGyGaMzLSgG`R5l$lJ^j>h3)W$zLpi34 zoc7QvFsX{MsY&J@fBg=nPC*F2f1%RW6QoX!4Bm96#sM#qDK-x2TtG= z6|NNr9N=DS>L5Lp_l2Kn`|;x1)*b!{4IY%bt1V@T=PJvx2AKB-fB(^ics^s7_|L=40$nSPLoQx>~T5Kw@tKiiKCp-;8 z#r^?Yw&?^0_?l&oL}Stnf9t!u;jR#tY65{$pWo<4ae8TOW3}^z6nQ1ql)U()r(a#} z$_@*FmD*02KukzWdphJdP>-LLj(Y7@t)1t=!OOFyYCz#$551zDa?|f*3iKTsAaghu z1{~QX6lJ0=rj0_kD%0Ge7#Ylp6ZVS_;Sx&@X5m?)waOwIc1r~&f8EHQ6`myNug~Gt zuR$m|6>O5x&SZCiPHHsDYUBM+i!~+oF51iu)F*YWeUp8=(WCgVM6PD8UZ6CKSSqEp zh%8Q z%jSll;Lq^ypGiiZi#Jt`$q{iU(c_@Iw_gv*`|hj>x#!rTqTQHe9^hb2TbJw2N`X(O zx9kZ}4xVka$Sq0?T)P}w&A`8={v!Tr~>R$94+6Dc|tEkUDcEwj9HQbBTzZ$v_xXJLabh-7$YXrdOL4)pS3aUw$kD0)y2A? zB9vBlUmgw@CARmB9!k#zH+4dEu2$ZbSvznB^mu1qhUq6Sh-GL2ye@iofk+r1Xd0yRIbsgFBrE4GGh-LQ61-`>}f>bHea#hTG z4FR`+wY}k#MjdDZ&wogaxuMeebhITUM}66stVqst3qM1ORG*Juq4qG1qeuqHAia zM4>3$j3-?4Fn@hgiA$hx$@>2l3cD~$T7ei2btiWb0d7#J|Qe71wQW-~G-K@L#;oLTI|-N+Zg#v@?R4qc~XX zhj;1h)k&s3dz0ldNnKL~%+(*tSj97(bZM1Xn~d*7F%E~~pXrnsMR(vXE*1H?67?=( zsW2ME=pw2=>l;v!siMFQP!C>GenuOef8+4)9W-e{3S%z=Gc1i2Y}oIM3XV<k`>`FU9SMI2ff z+t;|$>Q4<{S`mD?u$_ZRR2ud;)?=>GZRtRQC{nxGu2A{&=wwXETy_NO3G<%Brm8}b zr@2WD8O|1K3@;K$hBxoI_t!tvdC>S-Ka(!`cv*?I$2}zq?W3=MWIA~Ef32$6Bmb0m zp!|ZGEQtDCwvotbh~ekV1KH;Us%XUBylP)x^2S-$1vBy{pJ69L|H;uhcqlS!y(Yhd z8PIHrq%pA}j{)<8po7)!w~_LPm`$gGt!^Cr37Gt{9B8DmZo5bg3&>qXq?!+L!X`NG zabY3V(Yg@Qwx#+^`gi1*e_O+usiT=Y2@Dxw2r=yw=e`Q|Y{(}ORBXJYM zeL(y_E|BX+lhs+33O}ligVq|lp}~&gs>w<#3rJq5-_!sY<8GAe*?Y&1ru5y?aR;=J zB+>Yf_D!9AL~r`%{^AXhKU}&&X6Pd?Gaim%w3bC*1#J zZE>C;7bVD5j0wJ>Z%HW~iPA!S?t|(ha~r3&??$;<;#cTIp#0+kRS%19gPS*8GTf2A z;1KtP#`|pwQ%4b{ffVf+rZz{ItwCwr+fO0<#u>Uj$tTRICb^v%T$;#P7RlIQvCrdXM1jhMFxDQi!L*bKPe)6b z@lKB)Hnj9U4;Ks{#|Ru9?4x<|ZPm{JfVR+8TH?SnlDgF1R#!cu)RjTy>`zx2_t2~g zumIuGOld~(f4i>qa#dIYxPjcUYBVAS?@?Z#2~6qvhzO{R2gqEyvV|$G64v1zr7wE# z4qDwePaeU^BniTC{h8+}It&lkPMP@n7%x+1wZpqxWpvz&<42D(vpGdk*YFi0W z1!k-*Wa{$2_;@d@b?{;Nna&1QRez!Rkm(VtSj+ zn~FY&c=Rc=LYuhF?6B-}L>47F+1k3?&tg-{2$L9Bme8{fUaQC$S~#>Swhjf0z>6!1 z5h93@iGkNSie$?o8HD~tG;EP7S36MVB&+7oFucvpXa5Wx7Dk!d%IdT>2^T>gdho)0 zf16E)e|ySc!o8UD)7G0w3g6R(n%~n5w-}am_xcuuRkQ7odBTaEK8e)x5Anu=aHQv} zdd2dTdN659>`!_UayW%CYceAaF5~8oT?yBvL7*BiIJ{#1 zrahlLWdJf;7og258sU$ashmwMhunVk_)Ftmf7L42(3r2N`hAbcsG?xR>nV8c?Q$n} zCq)Wh&;ibnO)^iY?oEPQUUjgOh*RS=*~Yvltr0-ht*l61|A0y2$EM&C%TGx0ElEkn zTR#W#-D+)G?sasGoKO#DA&IcJIxXTp5{8!)Ibs=BE!SU}C0_j7zr)@c`I!ObX*M~M zeel^Y;S$Vdz4KF%wJ^0PpLogB_q#8=UDUtYS^23LkF zHDsX5Nx8IK^Jq`%*oXzI{9K{i zCF|s2HPFjM!6BeJ)9Gt#6i(CVq~ghI?apepfPwJgT1DGje}A2}kO-sY zVzBTjtzpE#eFd!wVhxIhB`-!AtlZpt-dw~gQixEnM$q6d(G;pr7^HU=ob+<>y z!MKSi|F*+iL|^#S{@zkv_eNVYuMdBz`G?eWk^I!*&5e0B0mFL6f30M~1!GfIC86vAi>ZV?hbE6YBsrF7^ViNm8k2-ErlKiA z4=*2w&C}959HJH&DyFphKTFy%_Eavbf&JN!=hx{t=^3$Rq*<8tgIX5ka`o=k>Nm)B z^=o`Gl_noijJ5Va!mInfY{-u9un3|mzHv{)n0;0n*OpdSAcfw{e~bd+B~v__Zf*Gq zp9fsv??H&4vh~^*#5a9)7%)UyK%XGLAC4gjHDkYfz8d)#n43!**ArIjUj^jzj7oUi zCQXy=^>WmVyC0M2WpZU&)8|#Vsmi>|f8K5uQxj%){iSR-lIWNFT2ewzIR1M3b`VjB z8svngU~1A2%L!A#f99=&?0r_t@DF0wzg|%qHF12Rx_q`mov1Re&_!5LtT~sXc z)u}QXQ-N57=Irx`>{k_Z`{Uy#eZ)iBPKUPFG<&!~R-PZ1#WOn@KFx=%rapHFa4*)) zDgM!0*ZkIIS|D&Oe+4-%*ytzK^p`{8zhmqVpN%sXgvl-9e|n9+o%#Qn5|m}KbjQ=D zWX`L(C%&89X#N7|O{n=`EcdWval%=6!D%D~ytsQEX*!EO7zkh{&A4K|uJnLlLRzQ( z6O5KR1H-baq7ZS3mTIrm#E$@vqhW$E$6Qn+Ul6Kdcf#QBQ(ChrMIK>U7HW=%3^G9% z>xuCB`=8F&e=zwbSh;FY#+U{vyANqUqf%2i9-60+^n~TvG`zAS7_blG34PCfd#Ip( zE`7a??3dzgbdtP39T;s+cN#5+2Y2mMTygZ+#M#}(DN_o9$4cZ3y9x>dHn8#l1234~ z6yReudx95WHnKSRC6n@2*?as_lNBHhS|5hWYURTQe>azIq>i2kPLbUvanM!_+lBk> z0w7oGMyJiwkY3n=`emSTMX#EdsY;_SOB*Z&m*75h0Cf z%9Mp=B#9m$|08Hb0(mZscn6bMa3*f~P;u*RT%wiF?1 zy;7+%hyPfFIiF#02W<}+yj2j-Stz4UsY>hO_l25P`2CR~z0ue`Q<<+R3hL(N8PYN4 zZhnj+ZDAgd8j^R&v*&U)vG^u$v~AoB zHCpu;0?bx6ZxZPtesECxMS&xse8^i{5tU)*rwjdxTR18QVn^#Th8u$92c_*2GM!Q~L zIL~6r1}W? z2!~`lj3$4_UjGMO^JJyt3l;hCWvRyD=k-zpQ(9l}AHQB7h2m!@l zzs{r?ZiHD;gg{xE|HBrHU`1A^V_v({nm*F%&h&~)!4hPW1G5IIYtRh*e{%32O6+bI zm$1t7chv2VQhjm?foD13!K0=S;t?QHh3M`4r(QG;2w~>hE5K01l#bzD67MZU0~G(J zhpeqPrp4JuB3zSOr(fk1gg7Uw7%mUbZCD8#Hf~2t`tBy~2j;vazXAOHx7tZ+fHu$c zgpWfhAN zxx0-O*Yy4gkXEQuzG%>^X2Co4?Uy{RB$j+NAPA}STSPE7_=-?IJdTQoKOxuV_5`eDR#c`?Oqe;E&h{ew3n?m>m3 z2366aZ_%K6P5xBhUpyWa7!281aRIp$6%Wd3Qj7NpbWOjrr|{nIWz5?4A!Kx$YGM-^ zu*iK?$6N9_85%~R#V06~v;G^8;>1jk%VO2M!{c!$}ztUDXcXk^qoiHd^>U9cDe}FZ6`X&zJU8>15{5Tgp zi!O3VuYH87*LrX8_Pn|z8qQvIqR#Q%bPO!~I8|Q%zXObn-`~c`ou${Sx<>hOBep+F zJ#yPi`VWaAb?I1jQ}Rn+Fh!|B*9$6ZZOK^N7WmY>#0pTo{w|FDRh!vY>{^BN*2R&( zM_xZN2!%D0f8fZIVT0@|&NP8zK8ztgBj;1X9{=7+VHN%`T54J8GLcY%&h_8rRqKC8 z#3-@)7rMugJ7Y{16RK&uFZ@r(oikyBenm~6WO@-PqQ5Hz#78fW0HW*N7c<3an&Z4o zo$2cA{9_KtlBUdN>qqDo;?Y;>^ZS5>$%kebD0^iAe;-Q9qM*F&@GTt9-Z|(F+h5)Z zrDQ^1t%*PE?=8X8aO`gr{%3Yn+=^_<$Vc0tbSf3#48sK6Rn9 z3XDg5WMtvU&MF>>J_TgMFnvfeQ`C`|Q9ArXWMK(lr2Fp3k5Lc-B9K@tF(uwQ6KYg@ zAGd9-f3tA)jescz?Q!B*FZGX1#0T<8s>Jbe%uP0YZ*Gav;MSLnQVDva1>YM>gC~av z9>ymBdBA2_P7IQv3+GFe5E*eJm6yS6?HeL7=Gt#E&RpOyEZoiq(q>T2T-c4R)I+NU zY8GCY9$jDpTtfA@iP_Bdt)){dfyHwR3A6_AkJhD2y_ zh$k8ypY(-5%9xY2SnO?{^ln9zK!R1nKx&J1d9ol(9AHFvrVRit@$kqIAxZljw2lhC zgvgR|7qV}yGQOQ2&7rLYJcaAd+UE=SKLIl7vh}29o|-AOk8p)6R-c-A{JcYyg?hq2 ze-ppN2_ye$y#?BT#FuQDH=R*qmAUGeJR3w%;%3J(>;`lWO~E8}*_;(O0|os+Oeo8Q z^Yf@25YgIZQ2Fh$2MV)Z=J#HzSIL~aHV$Mrb%QPJH$-}lhk?@in*4?Gy15M1@UnXQ z>~Fb1dn!8^U>N&7h@5|5EZFUoD|K;Zf1ldd{al`cm_asH5G;;Mfjm0Pt94^cJacb# z5-rEng|9GY`X|-{4U%z)jkH1Nj4V^XWB`} zt7O+39`=x&Oze<#;vWzKS@vkljF1S+#LA$87pO)Ga&s3fNNyk!hC3W{wY|($e*szU z^6%;ebQg2xWBVSB_F<~J7Y^n74nH#{GafopPs(qQ0PTac{^yTqab;Qdye(&Y8HB{h zbGZl_om^2!l;f_1jMndkZC1bk)JoYKZyCEzX8Lz&1T0J{AqgWR_KmfNG1c_c468h# zJVd_&bM|cA{oX)xD&lf#dwGuGe_^HKokp2wb**1zH)S7F(n(={Igul%#FiG zVVb1WuYk`uvQ$7bDYt`4PqBz+6l=27VY>h|8KC7;$+u5S{l_Ib4!2)he^TDSI249d zLju96lcqN4h$d;e5wKzbSWj)=Mgg+YiLgz`0j4llg86tcLYVqU*^%gOs_t5zKW2Ji zpLz>zkTPPw0AJReE;ChR0dMh5CqZ+=9_5~t$S~>5|0T9zpa_)!5YrB`|4X*O{;lwG zdNVR{u@jP%yfBnG1N*D>e;%6AVQSk4$sMGL|8HHaUFz?BwqG9T^rA0P>Jc7BPD?M8 zjA9awrjKJU?dq%BBO&9+hXb`#d1j%Ko`WK}NelZ>xu<21A=C4|l4?zeC*3iQxjS&z)d+vkWr+#O_P%YWjSojO#I;POziP^0uu`RlgwRi*X#-%er)-n+EJ{A7}1k zvFKlls+HVE4p>YqA+lDy zJv3~P#hL_Ki#GU7B=e@69C{J8EjP6ss1U)5A))i+gFRs22n?jZJM%1==lxnz-2=zJ zL3k>Ey8rQ+t3$;+Kd&%nYLLRwY=sWY#7t$uc5Fk~G4;l3f8*8>FQh}lvlbr3-Fje0 zsYstJNv3H7KybcKXvSEw{MNC{q&;CkKGH4giAsYbI|&w!P_YZ1<%O@I?sy@YELcq<4E~U5> z2u?eAAA2$%f0a)@&&3to#Ec%>+s_>s*V{{7E?qC_-DW5oj5u=ftHL1U`S&*@;yMg@ zk6q7g28|F_twZ1%nDE zp0E-Bse^YYNqJP!RlR~iZZQV2_A2j+U>CTp*!uuGf4xJnkvOc%x>NCWK% zLtJq{Rq#1X4M`D*R}jpxS0_w25L|dlpJq}(e+jcGuuB84?~#;C8__)S_!_1RO)2v2 z|6XQcx_4F*0ldPaABKj*p2D)Al?RSOf2aIbRaQUIA%STX`qa#$vF+DYI&GeT9vjnt#u<^bYZbk^HBk|K1MW)a>wut?h7&$_tA0$w|9kxuRjPru9<@JrcjZc4G~;X$j!8eY3%OG?tTH=Zg7X90>YI8 zKT%#e>6?kx&`=vL?U|@m`$B6H7 zX>J!?%$x))UNJZIUHxH}HA^``=~@M2ihYG3aIwp!V9|1ClT~n>QG3*F(41M4S1`f& zqqJf9Isc2VGPl23*#fMRf1wo-m@w;);AN8PguPAopPCk!NCdw{zYq z2kAE>_@*Pc6oxIHm7C*+SSfh596-1AHX%u-4}yvr*;Fh`pkPsLy5QEK)?RPfsSmEa zLGr>3@43R;OgbJeE+XT=>~<-?tW_|H3E4h)JKENy0%g>g1V?u>e_@^F+glt@O#QO$ z2NkeGCBxEj!iW6$h-&M2+&xi9a@APSbhb`-8{4b9BfwqKf;l6 zB273fj5a0B$CJ|q2p3rnwYSBM0HhqN(cy0p*>9gafqCyi|8||pD(2#hlStN%`VLl% zmIm#vfdmk_I@PfsfA_d{sT!mLH{H?A0E{3Ly}8-4R{Y)b7|fYZgIEN&c@ie`{b#wb zIBLQ&AQ9K&dLioo$F*~Km9xoWnqTq&$hGhq6dB7N66jVH3IG(e@?}m}hbYyt&VcrpNKDTjp#bXon6?z$5SiM$LfA4w^w@%{k$0+>!)b5zWL3Lv|-oTI# zmcknw(aoDY$#v(EMsim`Ebt)ZTE&8LRqV(xjJk~P+4m^xvvQu?$rc=oJHa-a3w_Pzm(qbH`m@mZi^rajav#|E?GC6>>Zx)%)J%g>QTtS+m2f*a=0riSK`sEENrox>EN4DOS#}ExmtEC~XwDHxv zKWggH#=-jNExe>lG& zt_};jtc6`ua3I0Dj%_C!+qSW>Z9Cc6+KD#F#gukU?)s1v(VS5e+eL6kaid8SojcSFhlmvShj)QZi z{RsJZiSjfGNzt)#u3*A2G&X`}c^6yk@~4u+_;H1+hWKaXRI8W{p6Z8u^AFK)5Z07; zN{^oSGjQc{$6h*B&sOoVlMSYXW;nVZWhazO9)7f&Tawx!Sv4!E9RdkUuOIaf`ixOrrYAL}*->oOlRq(XSK6|?@;R0Q86HeD}BD-1Nm=NmuC zvnns`JmG=^=<2NzFGPAmT3rEFl~{y^LQk@UxEeGYD_`wg-QbcM&U{Fl_usQ3Tv+(%_N)J00d2i8>Q2f<6Q|cg_mB}^YNE=> z(t?QqA*3VW(4%1#j{=g2R<+Nr4gxVYk;xurs&|iI3npu8^4BJ%wti#}bj#sKY+cS+ zynZ9pv(e8ItX0dYI###t8k7(W)+~}-LeJTb{}Vx!?J{7XMXDgZi{RQmfz|b-0{xU2 zdFonlNTHj3v20Bq6qehD4+_Go&U=GOM?k&955iVw&WSH(NdkbGBrJ{R$k6+;ZZIo# zDBQpFBeJzqRHtWS`G7A#x;{R)4G-QO-;o*v+silyIZH5a||w| zI0sSXgDyq{9uBaMvYV3|?S&1OF;^QpX~M2NhTIlt`=;QYISN1BRZO&B2z2vwc2l6+ zGF=!=JGL(chiX5dZ+l5XFyc6L^}0s1?QJGNSPMEm*X$K!b`wvfF#5YhS^qn3-xN5B z>t)U}-|kmz?KLrd{Z+DUz+n=~N7LWM{a{qA-)g7)`VJKKLbEck2RG(&qD-H)9%>|7 zK8U%rT4$u)G!K?nj=qhv_GTNI_GxaUVUcQ8t`E|>z$|YN{I)z~#EgN_A^!U4dPB!O zDBjmnb*{NtZRTxNi`ZK)sIgnyIThvyZ1lW|!0?XoM3=6g3uV9Www!ZaIfp=|*&O#^ zJ;1gDkpO)9e5to5JtLN_?#csQp-3~6pD8Jg6rK6BD|?dTgV_f z(ve-e+2Aparaq~L*`nSc|Jsfocq2i+9ZV8qiwN6*f=$|2x!v^4QqPJUGEOC&CNR(_ zC`az>6@q;3tznzrvwl3oIpkbE5N$`wSv2hm%7DXp5D$f_kCfownTP&gYMG?i$LUR! zF>GX47Xyjv8XuF-f-n|ggx{3m*<)#DZ$#9?9~P$*$zM<~CF)rl@-i4QQ7<~<5>PjH zcAgOgwRm6c|H+q`_zja;-~Zl8Lt5e3H z{R$YGv`Vm9SB#&#PO!UyE#5BU6akJCe_g@KPtGu^%sJL;LWV|6KqS@s++eP44Ni#E zk-B-To(B~Fjc&Zs!cTlC5x2v3>DArG+#bS77MFRCU3WRE5Hb)q)JG}l6#D<xQ@S#3gx~blC0|3z<7L35@rE0;5TqASC@gxPXz*{j3-OmhpS2KQ@W>Xc2ZGbj{ zEW2B+&HJ0&U!a-%CM6}o7NhI>4HCtE2r806L6^Td(lZ9k&3 zFt*}Apv?=f<;MAj_=K<{;R!yr167hHIQp4HSOYtUy=QhHIpTsRXIAwJy|@yR!o^>- zHroM@(1Y(;X$PdmxiB@wU;3he17LyPXRvOk=H45Aqyrljxod{YQwlu;qCHH1nq*AT zznN}Q^$rZ{p`M{2kZWv1YpmXc#}Q-xZ`5zHqv-F}-#3ZXQ%`8&KkEa+*=N)_d_}yTW3>z0C>r(l4FTMny z*n@?!ykLY*mk1dy1jc=KVB2J-mWWY9VsfU(`v4Wrldyo}=fZ z?v45u&&}vJ8Toa_F5V;V>dYgo}@8&?wM4VB(CQ5F@f3-kMmTDgWm9xM$LTZFQL8_g(VI{Pu)LVg>N+w2-&9>~+zb z*MdF22|5-tna~EJ!VcT!8t)4@qKNxFU=omv;E|dyhShuy8}qyF&DdXY$r!55ocbYuPhm( znbr%ro6eQUGKGP?+u932dmoFgU+iQ#7-(I%zYs(o5zGsHQ+4VA=oQF^^Eow7E43(k zNlUC5X+ZjhY-4il9LYGWx`oZNLARpn@k8x{GvmtW zB)&%xjVJs}bi~kOpl}~gXRmeEeAyrd^^5rk`We&2=D4%>dFC@h#0&8YMd}}!Hd?w| zPyA8gN^a$X1>oBA(6t5w8&nA34#qcHOl;+=+hK)T(@aH{_&Lx>a`T_j*abQ@n<;AudECZa`$O zK0fL23=oiUpC=>P8GUKOvU~2ZP0VUU{z=Z3(iBQf#ZeddM3MlM)-83d+ zX=jN6$Y^g*tT54QfqkPRN+mAhvhCs^^!A^bn|`wuepH%_i~5UdkG07&68s+ z)RgUip|Z{usl;>Ed---6OTylUf?lIpX6NA1uo?{iAqo~gFKL2(ja?CB9uGmsgEr;6 z0EA0e@7_-@7Pcpg27IzSduReDq}&N->_$4eQti6#o&4uWb`>U&A zRmxOAxWF-XW09m?sH8I$Z|k<{^iO2a0vtJ%Sf01xUAL1WxQ=VG-R-UR-ZCEN9q`S6 z0q#|7qWYrM+>3hdmnvqaL_!7C>n}enOrJbgpi`norN>vc+}QcV%bL3}^R5vF<>!$? zD>FLX?EZ}2s9k8IdMf_B@H9U=bsfHcwWl=;FExW8YIApuAn23XB^2sXeeoe<1W0TK zYp062*K2LLcp4aS6^-0hD~ya)yDQ0b4fuWtv;Ck;aI*_a?WeR;bl)61a{=|6vryNB zH7#_?lt_qWpqL<1)Wp{w+8<+6?5k`u!`QlKUz4tGBF4l1QQ)j_?FJYnIT*Q*^6)%S zm1aYaul9+kk|mA}@PDngInx+%Km+!#u-NSZYU&K_Lc+TgmfVqcb?^DyeT^e1RygTR z$|Ft&GuJJ#@n|AUkbI##JsqJA*y!$%kw%yNj|7ut%1mXy-3m>T86Ab1%Ij9|-Z()u z+cG#D+O)v{1j}$~YfmIpnkOGt-R#xj^Bq?8;%D%*@hF7Z2a87TjLg%y_& ziUh}B1Z_QS+{r5`FS+M<9U^zWTf*0G#KdLH1=vJ|_>T>|10bXQ#pC5atg|MUIAY?@^MeZ@>!5sDke7V>E2#eVvfzw+ zXhn3PSr|tk=?fS4!G4SAvzHN@kP@bwm4bFmyIEXqf4FutP-Qrq&{~20UO^Q(U7A}& zt7^B^!0u0LIVWPVU_qErTxr;?n6tyJc>={YLh^JL%_kuC!9|hD56H{0mZc$iym|dk`BXd`fe0;uaMfK&47txbW{~Y0N%xdiDhTq=-Mt4vjRuV3fB_g?Cz23&x$XRI%c>KEuCP^GaK*i z6kAu|Su2V3n~eB-%~n?kd0f+29EVd+p&qY7CDPC%(RY_>BOWf9W>GyB#$eC$`u=m< zHw=^XF$Ww#|2B?Py)mC%Pe<`v2C=WDOJtM{k{+ns42*qOxS zhO+4IKseG1ulaung4>IBNAKl{;?@OW%GrMR!FIP^&!~oY+}!DpOi(MP#N;ovr-XQhV%<3c!c= z+R*+ko@JzM{ZjeTe^)zY2FbB-+<7LfC!|B&6c+G%p_mTIPhyR9H@1iSmuVD?xDhub^Pe0eaFCV>aZxA48_?)G~! z%!ns+VG!Xn3 zd3Q^fGU2%sYzZnB2^)&Jj$ukjjYW#@YSjVEii(O-@yr; zQC2+kHi!nPjXyL()0b=NP_^oEjkfiw)@Pwc*BtLdx5?yu8#p@#K^M0h?U|cJ@`#k^ z0HOV3#$4C*_bXvD?74sZ95OLz#qE*MWyAx^jjH)>4Ag(=_PmDX9tIJO&nrB|2jorl zc!c2IGMa36+|+o>FT3%|lWV~lmq>J8MkEMb?Ue#`?COUaa3YYNkLDGGV~ckQUq-JJsyVh#7Y>* z-b@wAO-!AP(ZlbGJaGkqljiBkd_~`Cg&aU;E5nnGbnzgu$tGe2l~q0Xy$<@M%-`>E z1^a|>bvnElxEgrOD(V|8emh6^WwmE#+T^|jg{};QS(29MGERYLv5FdN!t5}Y4K+ns zO;+=YKup0iFnf{99Ji2A7G#84k7Ad8ve(S}<*FM3maTd$RJ{Y`{#ow(0sIKgw&$EE z6mU*(Ic-9{`e%d1+I|)D^xMe$5pE*L?G;xc1a&)xo`mVwfl27y=UY3F@koh>NaNhU zxQ%hf@g2OI4liL&7)8OnB{DEFEol-Fj6_RNL@zpj1N62y_?ZNQG=Uk+)r9-nz%7tF z5|P>^W|*qpOI1&o4;|h`30M!x=It?a(&TD|DoA@3>*2l8-Nqi9CE_R&t(jkhJn=D}7^<*D}H;|E0Ej`iG=?hVY$` z0S>#5i*NE;k(1SmoCI6Jg~V*p=m3?)8EINS>c#L+mFzU_**xmocL0JiUbf@RL3TQm zze>Iw$Ml%+;KeC@bm5kiN9@xOKCZ}y5~1c$eDcH78nG4_x!jrNjV70bE5wQjhI0??>w4kTXEBaRrzRitqP z?^Zsi{5}Xblra*!VZc|8%Hfm%jpo>{%or&;!Kj~FjMuGK__j>f{tof9hzOjtM&KL8 zcU;PX`HrPe0{dGff)%Gz#VdK@#l*%`E3RZwL50dUjrLjoIk4Q(Hvwu&5Qz_MYe4v& zH&5RGV3(3uGt-$w<#13p4c)-S2J8Nr^UG+6U0=w*|7*NIfGJ`19Cd!--^Kraa;Gj_ zh2jk+N?Z8Jk+y3kF>_!bF*N&|E4HgUP0_kg!Br=d&tYUX?llVFS=FHWI7VP}3@oLa zU3n}W`G}CNiwR=k2a?_n=IFDnyiG5fKrhZkEcxqzT>iW+-ATb+!g+dTD!}hxTRB6U zBo3In|8Pzw1VZDth}0iPDY-o@66HCdMy)(lE8TY!Iu6VCn!yM958hMF5_5ORAB{Xb z(up0rq?nIVXQXv*jFg!L!_CU*o7EAA;_-?TeQE>thw^U$IezbMxbOj|1jRcOxoaE? zr&7{yCI>Tb4CaRZx7=@fcD?MD`1{T8mf{o4tAwekfY*YwbJw_2v|pPtQX3fC_IN6c zFp$JSC$!jMHm!|TM{G(Y^?XJs$`5#DZBX-MRzRF99hem2S_lmrPCHDsJ$Dm2L$2{? zn~&rem|aEs>HCMkj9ujINIfmO@bGvrf7aDNvx0D&VzitXV_eA2+U!BGyz}%)Gvtul zL~+ysB+QW@2g5=+1=Y4Fy=a4`HYW#OR!y4Qv{Uoyi;lGksjbMsdeTTXV}`T%6v4Bu=ycf<$$~G`z6F`xR@oOT=)UqMfk)qk8vUd_KWz|YLp^Oo zD9tgoJikMzVI1I}^QtU|<^eNBkL0nZyXglKS&~)FZ#l0j1-7dYo42EGMU@LLO}m?% z;H>+%dL-o~OmYMW z<#}bbNcHKP7?e-RUi?(bIo^Ac`ZJeN)YP|ZNnf_Fm43oCKkOW#;UzJgjBbLKA_FQ! zt4VWIUtm}rr{}B7YVpIpHyh^56(TXq5mIw6AIc2YRS-0gX<)%|RSM3R9DNdY+(?GF zEUX~ODeuistR1wpJ&7sn(h~8CmJl6S3~tit1K-ldnG2cvwo3R@7tCO0{*78P7pK$J z6m-$=#o%oL3XIYxgS;y6*L7rEi2NIdBPqRG&Z>aQln*RusG2xLnm}RJm~4vaT1+ob zs=ouVk(@h7YF;r)t%#zWflV<1ys7l0Vn0WS4-`HRIsDIPKXQ#lS1?anOm|QK2E2d6 zD4aVs=^j)Mi~6843%}(?le- z?LQ4Lzloxn$$ve0qB6+GtoU=(%S}b1KqMCm^qU!@G7z<^nH#NJMuWlV&^#`*BblS1 zVM?<^gRXAaDix1>kf;?|r1LWa!o%FXf8kZQNnLS71>u51c*mHIbe`9hDSMZjh#2)5 z<5~3F;KcKd_EM_G;JY9HlAo)ax6UG@=x_Ztkqg*Y@CyMCoi%YHSvM&gC$&t83Hynp z7aSR~@J5#1j!ROEDMDDGjSil@5A%C~3a-*wtu{j<$scV9eHW!N#5e&1V0-`K-dwQq z^fueRYv!L#{B(&(F|~Iev4_4-gtkY)T;XF?MnVk0)ogb+SF}T(O)SB@b`k5*VLG5+w|T?8!-2IMEvdwv;P6QLQrY)fw6#=O z9}J{Li+|fC)D$LnT88fhzBkDd8Kl{Ks%g5(6k`7dWSac@b;+RxF8XCTaGE^kh@L;j zSKgRAN1j;&d?XhCUFHtIM{L3`zpTX;r^Wt$wW-%{kA3R(a3#T)C`|&@4iEPp zM`f&KUFG;mTz>Qq4!3`yh)%lixwQ}xOU$V<7LFLBYQJ0R(n8O*TNTH~BoQJ7o9AR8uK z7avr!Lf?BqnDHn#aRw8Dt<>;_{Ei}|QNXe2;rX1(Y=W;b7~4b@WYhVm9a4l4|9r5H z&lE$}^6lwyi2!A#%5Vl2JbiO2Bto~JS8*;?QFVK}j>5cQ{5@uV7IN85hLe)$H#>xcS=$ESTT{g)QbVS4*eF&azP`A7 zD{jwEu?3ry$|W7KYp0_ml;j3GC}DNRf%f+RGwnXzH`8gQQImmNw)F_1-hQ zxI8Bg)NoS%^w#Tji7*4t1VxK^zuX>wk#wE?i_bm{{aW>A0SQRqKsJH-IpEEAJlHobye_Zd!44~nPm@W0qR ziWVq4A`YwOVnM|%Tq34#rR@O(1^BF(s6ethIsp<_42wTfV$AWuzn%!xcEnQIR zL9U5s+=HvMhQz!Er!GCeu54@V*$+%u`JehO8GaYUHP;hrq@+2 z+nh*uS1F+hxYzA>Q;A4Tu-s*N8o}4r52T#j^Ad-i2iwC!^?T$dlY|&z{cg zCs5eL#`4v8N=`GYWOQ(HLD{>zK~wXxZVJ5j?;?jNXM@g@vnOc1Qcz4&Bkjn%FsN8|Vfqg9lsg%cC4!a&{5MuN}+)K0Y;Wn8E~*$q*!RRD#w=>PBD^5zno*kpF2q+ ztuYkQm<=5ZiPFhLNsrNf8Rg1jsJN1uL^j>&qOL20nxawL&{LArZlfON`)A-mnl$$= zqc?oHqWuc|^9I=~Dc%{Z@`V)&IJN6cx;Z<)ZN&Jo+pbLtJe9$Vb z{w*3rEiNWt#N7+GSLTnV(fWX_+F>VI-IPW6-5ft}w$1Ku-ppaMwT)a?6)MhxyFVQL zqHY&~q)3GwJt$m6wynNsRTabJ4gfx;1W^j@w*MPZb|Jc*uc^wJr@YnH`r)$lkVj=^zM^j&ww_s0A|5dADPXEpPd%|co0!;Je^4b{Vd}I*a zVfQ;5w?z7>T5b|oNooD0&J%X6GZi|EUHdU~<(!!wt^Fr=2fW5K{t{h?D63j0G6TD((=heWkb5a5QA{As_KJx`ZZ^gyCE zj7r;(sMbllTx%H?8aE9!euDbuJ?AkIO{cf7KciP=t~TbCn5Qyw!AkltY1$AGp?kN| zPtl!fDyB>!QWz{ereYXKQN>#OY_FXRqIPS>-AZ^Qt5B_mo@6TSvK46PiTBHE&Cw-I zH*W@q`a6tUIslGLgj=Y$WT_A=H8=i#qN>WcslHn() zWn-cyKP{1hsjf%;@Gy?8Ur2F0IJlizx|@<53!n!w6Xy;_iDd=;ydcDsMtaHo+^M6j z-^!4%6VCvlG%xNP&xZ+k!{nV@td$X+ky@$k^l>v&t>>ELQxmfk&YRoVPCaq{TIcnJ z1h}fh*tGoS6+31W|Jh=brsW6p6iJgN)ph%*7&4=uJnG(?i!L&GjwobNaZ>J3snL;2 zkN~y5H8&F4W`lbejZR>~ZrtdB6=}{N`oG9&^jSl8**ZJCrAcC?F#(hLJ%nXU$^%1$ zC(=v_9f<@~Otbls#1BR81c7DK9Qjr2E!)_Hdc-$z{^ONB_3BCq&W9<3no`++%wC*& z#0d2(x%LFV=g{mhai_2cF|el*u2Ae#U;@v4GSq4$w@K{cyk88XZ)QA6te2wW3lSOG zf*~$oXgaw@Ji)0bno^X$xF={=@mPclC%U-?DmPo_c|Y#B_Y;O?&X<+cUBWPm5>KhE z(Vbq^6183jc*8ryHrXSXlJRh@s2nLZ8lPYZAS(+DFdL-% zz=h`kb`}<`9MQR`H{Ccn%$EFCX1Xn5{I>_%Z?(uL7++bOwnb+pRZi?*-je4OSSrch zaUDSz$UnrCqZ=7m+o#F8oVyH{z5}ZgEQ+H{{Ed(Uj2MR_j#W1k07*rFhhLso9v8bQTEzb&+ED5>9acK;K!<2ih-`Gayxq5 zG>kLV<1Sz%r!S(6)(!YklF6vI^hVP4KQx9LQR%;Zhj?L z@BhN&z_@;P)SB~Epiy9?Q3@=*lP+@Eg)JXoDk01};E^3O?@HwRv+xh!FPY?^*?r;upvjhU}JwqYe+qH6=4!}GrN)`b>aOTn-ZGWZ710W-LFX5}+{-Bh1%&4){qeik_R!3#MAec=<- z-q}D`16~AzUIaoxFEybTNr-ukV>dOfTv~YyL6=gtYI=H89ALk;nqLp#{Tg^P&s|Z~ zhfHJ-`|}+&YYCwIsp!8&XzCF!UqO`HG1WFUNXC+wPhyH3(N&czNcXRqR$7)bR z{i?;JtzS*;rddeX2;>ig7z}ttui6d!fonmT&w6V(Yg}C|5+$svV@E~hpU*#0DMq{F zAo?cQX!41}hZapstAmDKP@LZrbGz#RR)Ob^2ey&k1yZm3#~&5gLZ-7+&~928!?xjt z_Zzf~vh5nZXL=3i9TI_;V=00P1{>{;mQlt9Rvxwg=KJn6f%@U+501H~q0zyA4;=P5 znb`zH-P;_yzFihk&(29prNRlB-`=?Hi z4mbh+l5?Sdzs_y>bsbEJ92glXBd&7bQoU}IrlDTKm|xu8Sw7Pl66712raI|f_%k9& zB&^F-aj$ZIG`w&-v7}8O$dOD>&hGx;qf0D{qsgc6=vyXzUYhVhl0~`Ty~WJRc@! z#NbJS?!9O#-?Oq};?OSkDPexITu(iIv%?y_CkON%5s|s4riP6MuzqL%U)I6FWp9XPzJwXrrd$4L2 z?Go8TLBE^AY8Q6oA7eXj@#G{DM@V$b)z@DlGT7*r-BR>CNJe7H0P@lhYvQ zy9hN-3<%ot)w?EBC&lB(ou*n~?c~0Kp!lR9Uj>@DvL>-Hkgp{yE7pjPpx^f$DqgL< zyPsMANJ6JQO)mbGO&#NDn@-o?wL^QjYZV~wuXaJfCxQ|DFh~!(wMBXB%QtJ;MKIZ#sb|dQOwem3gcGE;8oW zZE5Q4gy-S{vx6#k6o7= zx$7SIvz@$(?_SYgst%LuXnAjSzeV|KC4=v**(HlNi>>2c{h@qn@_J#l>M9f6(~bM3 zc^f#e7?N`5i9d~882?P`vR_ecH8;?l`dg}Stf9ePVe0ZjzN%~P*+%jRTIr9cY0j=p=7n6YD<<#P_owGK zCno&5{DHmoJuf>$B^4Dz6bAD@DkNvxua-|Guk&VVIMlwqH9ew!jB9=9gs#Q594&s{ zpSjK^6b-!PG2PeC&I{KYe(s!)KjYOP0iU+I#-6VvrZrfd)zMu#wKmH&5G6>(nz%}7 zqK1dj)D(BZ$IT323%vIdiZK%1s^TjZ?YfZL2fcNbtc|7in8XgvYqC7!tMF59Drk&# zs8->Ni~qV@p6|bx?O9Sm$My{Iw-6BZ@UM7%A~1AcHlAOKibWY8w3l$DVDFs;0a+W8 z@5nYu@;=iZ?oSHJ4j1W|v1S67JEYEcpHmroS<7Yvb$sK0Rl{uVjH}BwfERME(n~xf zcchr;9D+Gf*B0ZagPn|md29$N?8^CpEYox@M2%VWs(IrLQH7Z3uYVWhn9a_0pYKA~ z=L!#dpW|HQO(*&9pC_{!1qFW2K&*XeP6{G!@|Pu@qn!S%!N^v3-$yxrgJJ&Bm4P4D0@ zMWFPQiw83yHoOVS#FgsWVj{JdBXYBHZZ=>iZYb1$wRNjG0>w`W$3Rgn$txL#h*#B1 z@+p(+6ErZ^WSKdNKvoZt4#H!S_2`#-K*yW398=Q1LLDKP*_hcz9 zQ;1IxXaI_2?H}su7$HyXEiD&qT`fnO(TSqEGIg!U+Q^Uwbc5zX32M? zpje#w;=~LZU7R`2UD170Dx2>}f1tt;I*U*kPXiRuHloh4mkL)%e50K7mubXbBblRB ziqiPbCxsV4uS2i~I)@i4Rw4OUF&(@%Vg3cB z9fZ79#7u}(MjuAwkX472Zm(LSx)q3P%R4X7{g4*P`WQJ$v-vp}}(2WgkZY1?fW>a>b>@iM`z z?lQqgcb6&;YonPtp=g>l)kV`S(Y>GANpB1Q^zmAwdfdw9<>F9h+H-~@QJ9xI|$(-8L>WhqdmEf2Ji*$8~}uOID~eHIwCra1M-G2VdnGrN`TEd1_N z?R377q7B9$sCR56o%?0BIcAIARAU7E=Hpim#O*0&q-Tmmd}d-<0%%G4_SvdYN!-$} zliupWMtbHUOR`q?gPh}9W;~Q z7qeHsyZ^SM0S`EM-ls7ysM`|!^O0;F~bS4_*OnluSTrzYqFn8=ZowG6B+`4COU5}i6`{sJ*a`3o_xOJ7J*X}Z7iji65{7!= z?|1}t842Zj{+!u;Iki^Y5qP}e{&NMo@`q?U+567a|MeB!YU;E`e}P2AG6`d*TN#wq z2x`VYkE~=W6?I0s80t7O4O+VCRl&MzW%m|491ct9ra3=H=W(OVfkKroMmqiO#0kM7}1UMg#v@RXGAPN3YDP98>60Wx-|$_@}`>d3wp8 zYt_D}kE6a|@u2^&X5IdQ$uGY1vm%G8RY}hArVGMBAa*-z2zK*>v+wN)O%G4*ddDm< z#z5BbAQ>V@LHhco2*OYxe!C+ZLdbE5>8P<&K}X&%m#7lFzz6{!bk7Lvn7<5s-$~ef zYznXZ*|u;@tys?de~a=MMv>hAEqb diff --git a/motivation.tex b/motivation.tex index e8275ca..989f851 100644 --- a/motivation.tex +++ b/motivation.tex @@ -57,11 +57,6 @@ Unfortunately, Android access control system is specific to Android. Also, it in \section{Ranacco} Finally, in McIntosh et al. 2021 \cite{MCINTOSH} authors propose and implement software called \emph{Ranacco}, which attempts to analyse various system environmental factors (e.g. latest mouse and keyboard activity) and file system operations to detect potentially malicious actions made by processes, in which case it delegates access control decision to the user. This approach avoids the shortcomings of other possible solutions, while remaining easy-to-use. Although this system is more advanced than the one we propose in this thesis, not only is it exclusive to Windows, but it also remains unavailable for the general public. -\iffalse - -Overall, there appears to be little research on systems that actively involve users in access control decision-making. Most of the literature on alternative access control systems either focuses on passive policy regulation intended for large multi-user systems, which has the same drawbacks as the already mentioned default Linux access control systems, or on systematic analysis of access control vulnerabilities (Parkinson et al.) \cite{BIGSURSTAT}. - -\fi \section{Requirements for the solution} @@ -80,21 +75,4 @@ The key issues with existent solutions, that our the system proposed in this the \item Majority of solutions focus on preventing unwanted access by other users, which makes it unsuitable for single-user environments. \item Solutions are either overly complex and not user-friendly, or too simplistic to provide adequate granularity of permissions. This either leads to slower adoption of such systems, or makes them insufficient at protecting user data. -\end{itemize} - -\iffalse - -The key differences of the software proposed in this article to those already mentioned and researched (to the best of our knowledge) are as follows: -\begin{itemize} - \item Unlike other approaches, proposed software assumes all processes to be malicious until proven (confirmed by the user to be) safe. All of the access control permissions are granted as-needed, not predefined, inferred or assumed. - \item Proposed software provides potentially high (e.g. can be granted on per-object basis), and flexible granularity of permissions. - \item Proposed software is intuitive and simple-to-use. It's usage does not require prior knowledge of advanced access control policies. - \item Proposed software runs entirely in user space. This reduces possibilities for system-breaking bugs, and make installation trivially simple. - \item Proposed software does not require programs to use any special API or be packaged in any special way. All programs will have to respect policies enforced by our software. - \item Proposed software does not require any passive action from the user besides initial installation (e.g. you don't have to reconfigure policies all the time). - \item Proposed software grants permissions temporarily, which reduces attack surface compared to other methods. -\end{itemize} - -\fi - - +\end{itemize} \ No newline at end of file