From cdb55cf99d4bc8217a7a7e24ca8c46c4b6a29ff6 Mon Sep 17 00:00:00 2001 From: Fabian Posch Date: Mon, 3 Feb 2025 23:07:54 +0100 Subject: [PATCH] add test results --- fault_injection_async25.tex | 54 ++++++++++++++++------ results.ods | Bin 23957 -> 0 bytes results/aggregated.csv | 5 ++ results/aggregated.tex | 37 +++++++++++++++ results/deviation_num_injections_dims.csv | 9 ++++ results/deviation_num_injections_dims.tex | 24 ++++++++++ results/deviation_num_signals_dims.csv | 7 +++ results/deviation_num_signals_dims.tex | 24 ++++++++++ results/results.ods | Bin 0 -> 43098 bytes 9 files changed, 145 insertions(+), 15 deletions(-) delete mode 100644 results.ods create mode 100644 results/aggregated.csv create mode 100644 results/aggregated.tex create mode 100644 results/deviation_num_injections_dims.csv create mode 100644 results/deviation_num_injections_dims.tex create mode 100644 results/deviation_num_signals_dims.csv create mode 100644 results/deviation_num_signals_dims.tex create mode 100644 results/results.ods diff --git a/fault_injection_async25.tex b/fault_injection_async25.tex index 7c6680b..b8034d4 100644 --- a/fault_injection_async25.tex +++ b/fault_injection_async25.tex @@ -12,6 +12,8 @@ \usepackage{orcidlink} \usepackage[shortcuts,acronym]{glossaries} \usepackage{subcaption} +\usepackage{pgfplots} +\usepackage{pgfplotstable} % Tikz because graphs are fun \usepackage{tikz} \usepackage{tikz-timing} @@ -20,6 +22,7 @@ \usetikzlibrary{positioning} \makeglossaries +\renewcommand{\glstreepredesc}{\hspace{3em}} % Acronyms for the document \newacronym{dut}{DUT}{Design Under Test} @@ -31,6 +34,7 @@ \newacronym{sed}{SED}{Single Event Delay} \newacronym{prs}{PRS}{Production Rule Set} \newacronym{uvm}{UVM}{Universal Verification Method} +\newacronym{eda}{EDA}{Electronic Design Automation} % Simple citation required command \newcommand{\citationneeded}{\textcolor{red}{[citation needed]}} @@ -76,10 +80,7 @@ As a leading toolchain for asynchronous logic development, ACT offers a comprehe These innovations eliminate the need for additional injection-related logic within the design while also reducing development effort, as testing infrastructure for behavioral validation can simply be reused. Additionally, only the design under test needs simulation at the gate-level, while the auxiliary testing harness can stay at higher levels of abstraction. Finally, we also achieve a reduction in necessary injections by targeting high-fanout signals more heavily, triggering more errors per injection. -To validate our setup, we benchmarked it against existing fault-injection tools, demonstrating its performance in both simulation efficiency and the overall number of injections needed to achieve representative results. - -% Alternate abstract after test results -% To validate our setup, we benchmarked it against existing fault-injection tools, demonstrating substantial improvements in both simulation efficiency and the overall number of injections needed to achieve representative results, thus enabling better scaling as target designs grow more complex. +To validate our setup, we benchmarked it against existing fault-injection tools, demonstrating substantial improvements in both simulation efficiency and the overall number of injections needed to achieve representative results, thus enabling better scaling as target designs grow more complex. \end{abstract} \begin{IEEEkeywords} @@ -88,18 +89,18 @@ asynchronous circuits, SET, fault-tolerance, cluster computing, computer aided d \section{Introduction} -While commercial EDA tools offer convenient access to the current state of the industry, they are usually not customizable enough (as they tend to be closed source) or not even available for more specialized applications. +While commercial \acs{eda} tools offer convenient access to the current state of the industry, they are usually not customizable enough (as they tend to be closed source) or not even available for more specialized applications. %This problem is well understood for asynchronous logic, as the commercial offerings' focus on mainstream synchronous designs limits functionality for everything outside their scope. -It is generally agreed that this EDA focus on mainstream synchronous design is one key reason for the hesitant adoption of asynchronous design styles. -This lack of EDA support has somewhat been mitigated by the publication of the open source ACT toolchain by the Yale AVLSI group \cite{manoharOpenSourceDesign}. However, the local compute currently offered by ACT often does not suffice for tasks that are more laborious. +It is generally agreed that the focus on mainstream synchronous design is one key reason for the hesitant adoption of asynchronous design styles. +This lack of \acs{eda} support has somewhat been mitigated by the publication of the open source ACT toolchain by the Yale AVLSI group \cite{manoharOpenSourceDesign}. However, the local compute currently offered by ACT often does not suffice for tasks that are more laborious. Especially for those tasks that lend themselves nicely to a high degree of parallelization, cluster computing offers high potential for speed improvements. For this reason, we have augmented ACT with the tool \texttt{action} which does just that - while offering a simple \acs{api} to vastly extend its functionality. Our goal was to create a framework to build on, and we here present a real world use-case to demonstrate this capability. Specifically, we consider the problem of fault-tolerance assessment through fault injection. -With applications extending into harsh environments like space on the one hand, and feature sizes in the nanometer regime on the other hand, high-energy particles are getting more likely to cause erroneous behavior of transistors. Consequently fault tolerance is an increasingly desired property of digital circuits, be they synchronous or asynchronous. To this end, studying the behavior of selected target circuits under artificially injected faults is a vital means. Beyond a mere quantitative estimation of the error probability of a given design in a given environment, there are also more qualitative, conceptual questions that fault injection can answer. For instance, one may try to understand whether a mechanism like the temporal masking provided by flip flops in synchronous designs also exists in asynchronous designs, established by the communication protocol, and if so, on which parameters it depends. +With applications extending into harsh environments like space on the one hand, and feature sizes in the nanometer regime on the other hand, high-energy particles are getting more likely to cause erroneous behavior of transistors. Consequently fault tolerance is an increasingly desired property of digital circuits, be they synchronous or asynchronous. To this end, studying the behavior of selected target circuits under artificially injected faults is a crucial tool. Beyond a mere quantitative estimation of the error probability of a given design in a given environment, there are also more qualitative, conceptual questions that fault injection can answer. For instance, one may try to understand whether a mechanism like the temporal masking provided by flip flops in synchronous designs also exists in asynchronous designs, established by the communication protocol, and if so, on which parameters it depends. -In any case, to produce meaningful results such fault-injection experiments need to cover an ample parameter space, spanned by time and location of fault injection, fault parameters, target circuit properties and condition, just to name a few. In the literature, multiple attempts have been made to create tools for leveraging this ambitious task, and they have produced valuable results (see \cite{behalExplainingFaultSensitivity2021} for just one example). Yet, we feel that the chance to integrate such a fault-injection tool into a design environment, as well as the availability of cluster computing offers the opportunity for further improvement. +In any case, to produce meaningful results, such fault-injection experiments need to cover an ample parameter space, spanned by time and location of fault injection, fault parameters, target circuit properties and condition, just to name a few. In the literature, multiple attempts have been made to create tools for leveraging this ambitious task, and they have produced valuable results (see \cite{behalExplainingFaultSensitivity2021} for just one example). Yet, we feel that the chance to integrate such a fault-injection tool into a design environment, as well as the availability of cluster computing, offers the opportunity for further improvement. %Exposing digital circuits to environments like space can break some of the most basic assumptions we make when designing digital circuits. Given the level of miniaturization we have access to, having high energy particles rain upon the millions of interconnects in an average design can introduce unexpected behavior. These undesired deviations from design specification, or \emph{failures}, need to be well understood to make predictions about a design's robustness. @@ -256,13 +257,36 @@ Points to talk about \section{Results} \label{sec:results} -Points to talk about +\begin{figure*}[htbp] + \centering + \input{results/aggregated.tex} + \caption{Failure type distribution of tested circuit types} + \label{fig:results/aggregated} +\end{figure*} + + +\begin{figure*}[htbp] + \centering + \begin{subfigure}{0.4\textwidth} + \begin{center} + \input{results/deviation_num_injections_dims.tex} + \end{center} + \caption{varying the number of injections} + \label{fig:res/deviation_num_sims_dims} + \end{subfigure} + %\hfill + \begin{subfigure}{0.4\textwidth} + \begin{center} + \input{results/deviation_num_signals_dims.tex} + \end{center} + \caption{varying the number of selected signals} + \label{fig:res/deviation_sel_signals_dims} + \end{subfigure} + \caption{Variation of failure type rates in percentage points when} + \label{fig:res/deviation_dims} +\end{figure*} + -\begin{itemize} - \item Compared to Behal: how many failures were we able to find with our new tool vs with the old tool - \item Compared to Behal: how efficient (failures found / injection) is this setup compared to previous attempts - \item Dflow: how do certain families of async and sync compare -\end{itemize} \section{Conclusion} \label{sec:conclusion} diff --git a/results.ods b/results.ods deleted file mode 100644 index aeefcac2c1e518d428982bfcb2c532b6364f27fe..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 23957 zcmc$_V~}9Yvp(3iZBN@arfu7{Z5z`zrfu8yv~AmV_rK@v#omqg{yyB;jXe=3qN3tt zW#&^^Sy@?m}{-0h6@?d+_~4fUPO zZEfgWY>a4a^&QO}X>IL{ZH#OUovn>+oM;{G9E|mi9L3*6!S?k+5(*4iGSpPumWNT|>r*C6y^)Ki!{s%e(eTRQR z^-tU!o%EfY9sf1mKXEg$vekDo{#V>^{y|24LqlUL<8Pd7{}tsw$!TY6=WO>qE6)Ey zzklLr=U{807D)e4xHtj!y1Y#*VaZ)>a#uXO3$vh+muC zKl7!yE~L!6-eZ+Cv)i@ibUekm#BE-0z=#MTkz=<3VvUcg`MAZeDKuhm+8s#4Yuc9w zd41Fn?jJ6^L&#iX8HH{$%-ztW$mnIoB5o%p?w6*nI#%voUP3MFbn-!H72?ksQyqWZ zfWxc^K^$4h%Z&^WY+Jh6z2wuGe{(o%TW8N+a${=UDu8;tzY&n1(_HY{-~zP0PMO@pZnuW7j|0x)UD=&J5jqT zb&l&D6swShGL5syb=38#Q)yLE>yu?95xMqw7jk=WdkyN z8s7o5p(Ut@RlGO2H=k4pieGcrS6oAon9|#_76muBQB;f+PxCuJFfY{-F)0QcS7CZO zO8{;NN>WD^ErB?G?e{OHKrZ91ah2GZn5<1Uf^!G0?GCgB`K6 zlc<9Fw4u4e4UQ$D^K{Ete!5^tlW|LHQ4a2zt-{re6E3J7ve?K@VG{p?Q3RioxOGU9 znYA7*HLB|n9(uTXEJ=SiqQ@{U{y0h;-{k;!a?Ok7g5fYe|A3lq4sH*<Y1iqzw1Uv3VdHtKpa_O!}|7>Qs2&s%^f9VQLsn2@)Z~)K$GRmXN1Z}XS-}@21^=(n(~}DHWb*%D_V=cz63(KiINNlsSYCkFt(a_(g+f|WRw|2H-{$$>f0PRN_Lr^98+f2C9_0L=u90W4z_7@+#S6V39=TDc+3_P0c&-oOCW(U%^gXgeGQac zG8qGtIFHg1QHTQxzE)1s7d)XzfInx~2aRnFR}f>S>KQ~^UWwGszRv1%H*PH9BH(ykVJ4EZ;brW68 z@qnc>xrw96z<-&l6r{-~fyNg9RKvsA7r#hIb{NG_L;WS1XaDyX)#&CyBF+bN8A7?G z_!d~LR>5q0pKQAIDzL6kcfmFMIdVqgf+8=)_30~^ojh?8kjRdFfV{;t6|mC&?^KzG zEG?(izPN{=Zc6R706V)FOi)u*Zo*a=NsMm`uOTXP{c*XU|k?uR9 zYX;VSHmo>k;=<fL~>lLPO)aEw_dqV8z%`W%xOv>ft~lueYF!QDo_ z3&ND%pRLhx7FfIm=knEFv0G!WtZd@Ub1!WxhGgWDHbt{@ds(t4sHnCW zU5n+c{@Iy0<4@6B)k{yc#T;7zv?AVDXb{MR#FY>j&in<&TTFxB)8z}bjM&IZz>Nn; zMc5qW@y2a9o1FI^$q#QE-7=W8nXa_f23F1QosNo>mEpqw>ttA%BNwx0;d&EbJz~3o zP4q#ER-R@ebpG=&Y0P9(hQZeG4uYIj6vrS_Qlv#Urb6U&z{wl1-9r) z6`J?-HL6%wSd3*#@q-UdsREpp7+g(rA6~J8J%`my3qeYQj;ok+P*I&X%w!b^v$WC_ zyE_x~{!~IOr%KLEmA5Fwlieriq}O+6-RwUyyFrbwQS6hr>~TC7{11XeIW3(XAHSEpw>DIPO=TzS_GjjVc2kv{ z@rW`Rm4DeOO^wd7pSA=ZAmbc3HPQW%zxkcNd*q^2#w*HYv3|<;ll6VzO4#669;+-D znbl3X<~YNz&%|G^@J6B8mlQXL?iV)@r|W0OkOK zRH%{A7oZNnp&vdB)SXN5<$8u<+D-*+$?N*g{Dh+8lXhUc1iaMCP0U@HfrtV2iU;|=Ubh#r~U|6Z`md>9C@l)*iL4cEK1*M)?y&`AAeDYTqc}epXYhV zT`=DsJ^=ne)e2TA+snin$(a>|3oWUEwK|ZrY^)~E)hU^RGi~02t_q0-RFRSI`eOoi zASJl8Z^PrnpUvv)Ug-n-oBpegCMez0-P6<@hfBO1F>XzVAG^vBCf%L z4K?gXwN}#$k!lHpFQ&#^W^Hn#OPPk3h?*sPXyt?E34)A7q45^7yo47q(FB*af z+HL~-;W0LtAYHG>AVW~2E$?RoSedxl8jMMbp^?`P_IR0t@(5G?(Dq~KlxU~2t;bdS zRn=F@MjfzKS5PI*@F{n#RKJJ2e1o4i#Ex9Qp!RNE=8uB2Cq*^uJLn3!4P2^D8MZEN8g=jw736@EJI zjYVK#4rQCG4JC(eaxe`WjMY?q9=Tik9k*-;QSSn~y%@|;Lkt8YUi44%hkY+Bj>%m} z6IFSqv){4qPXs)X8=R%T>!9?T6goqj2;%(tqamfnf}8?z+GHdLnUe41IeK$1c8B#k z=K}M%^{%O6rj|FuV2TcOwmWMswF0-ilFU3V4LzLa25+{A6ZJ9~FJ({Lx!k{wK53`E zFn6mPT!gInC-Y5TV~-kc@s&lZ|H9YsWHt*52mlZW{IB5qw_}&Flm6c*Ia+btW{n=9 zdLeSKoY+nfM+ z^|pqwbhw$29Ds;gsgz<~&RX>jZd-L1%HxYV8Os2f7xX0Ck#Yt`u3riAEID za>Jv0BN9+B*!+?~<~+B9>;^`6}P4R(G%0u$pjfuj;r!$M+b(@eN$-XsdUXPQL)5ZBqJiueiTLlNB^ zbRFctX=RpRQ%90(?ytIf4yEw2vn#mLdQx%v#v0u%|7v*iTY zcM?nCM~gIHmKG1hmQN>vh#5O4rGu`=U*5fVzZm)6ey*_Vk|#;L9G?_X6yCS$hjq?U zTWBdI-o2l`wmLgCmK&VOi$qlVei@|KYZ)7cPFz!|p4C=#$;A2Tm}Mk9T*xgu%amzl z6SDg@Y0y?}jq|eZnuX<#5zv?BtZ}1A>hcN+?Ng2^f3l2(`f1vc?8ZU|SL;53`SMq# z4&>(ew!eF{vUvgL-H_(H@A6KpYRRa295C2>C?$MxOju z7X6LM>=hLRH-cf4;qx<1h^`2D%PbRxonpfSxSXujX-sZw8!wrkwM3Z`Yd#vd&Vxp$f&P3neX6d`{5lmVdh#&!szSjcUp zT4A1PDwA__2&|XA?q$-0~y+MWod01-1C9#@6tDPIV!x;R~D0Ob|)=7 z?T-?dw zj-5n-9h*+@$_2oN%g2BRl+;S0^5T+BBaMl=MkfveB3e3Q#HhM5-rmYh1vFxw&B4$1 z`S}iqsxGiZaR&tBhFxQx7sfM@081BIf;E^p*k*KdTcOq=rVig}mjwgU&FX<#vmAWq zTv8PE1-3l|@{^E*8h9b&ofm=78(Y#=jDbzhV0Kwl3`H8&92;j<^wuUiC^3^%w}X!Q zj}PerV9E&vFd&s4N6~_hxCxTe2nAfcDeho3MVb>fuTP|&tQ#>#n_0-SKbdrO&t8)3 z87GySvwur%qBBuG2+t4ClUj(69Q53?&WUF*oQMtA8dWwRus*-{5tXKh!ZRmh3aZOv zIp6_*c3{^B?~cUk#0>yIMn8Cv1ppT#IMi^jbUd9505F^rQmh9rFn2L*@ahuFO@uZ| zQNNK< zKj1kU05HL~ABZ+RUZKP_ir{{}K$axO-NHcXF#_qJ_E62gzkQV3MTw>6D-h3zy_tM@ zr+xCgV9FToOYswd*6$f0AE()RWTGaj=^ zid4=wDfu3{VZev;+S}e(J=afTXKzr%s6J^gd~tA>zXtlW&tHyi4TAcfpS8Tvr@~<4 zR=5X;@3nqTm&*dy=B%#;44fpbu6k|GX1bq=eB7u}+lRB^-j_qQ$S32n^u;kcpL;wX z^(Y-;RXyHon36j8)Z{J|M1`{s`p?y%N;Wy$zL%{nnX1ej28PDuEtV$;%&-b<4L{9+ zx?pp<>@QpHoko|Uc<^ZApE$RhE}jo}DIA}&j4N4s^tNj2sZsp_YhFCyX#$q(NNpXw zYZ_pJIqRFfXpiHlbiLP+)m{lH_xQM+%w84IZ7oSpb}nAzY*Mz>t;*Kb#YeY~iDd5% zz}5qs5Z{J{7IgD;w))66OTDG`I@;=t&$&SpO{RKDyZWRK2Y@CXJLkk1M5m;f z@~%G3p`Xf_zJqT}jCW%6VXyaShsRIYdXX!vIN2nR&3lmm(!{w(IQ}dX$(Lbw zyE`GvU{rj_;&~ewoP96n12{l^dBkZ1RJa7hSVYt~r3`rF zjCd3+1!?j4>4?NwNkzDs6nUv-M0l0?X_SA`%L{QRi}Pv-Gir;o=ty$t%JJz*vg%85 zn96ZWN{9bQw(*(+(8NEx`P=v%3py6MUCn<@(# zYbn`liCG$`JLpM!7)ZODshOFYnOHknI(j)+nz}hy**m+)nEEMO_-ojOYCA+|yTqBg zM;d#^J9q?H`z5;iN4bV)I7jC@#umB6mAl6lc_owvS}KP-XeGGmhPxPrc{?O}8AtfL zX9ilPg}LU1Tjxi+mc)C6g@p%3r-a9)rN;zj#)l?+Kgnqc={c#%iRo!cndxbvsU^Xg zwF#Mpk$KJOzYCK~T8onc3escivqCHLQ(Fq68;g<}N-{f&;<`%WJ1Vn^ic1PBn~H1O znk)0V8%mp-8e>X&QYv~gYX^#2M@u@V8#{+8`<5Dd#@l-a+Xu#*$5vY=wmawc`--D` z%92LwGpCz#Mq7*fyP9V^i~jVrF7#C_3^i?!*6vPsoGf(p_4W4*jSr7aj*SeCjgAfd znH!s3ou3$5ogJB-ot;_USXr1`U0WYoIvCuznOonR+d5g@+#TP!U)(*P+q+#jdR{ty zSUP!GJ-l5zdDu96*}VPQpX=LR96wqf++7|&UF^MB9XMMb-(R2K-CQ}|m^s*4Ki!@` z+h4!kop?B2`nuiP-P_+gJl#9FJU`qyKiequpI1>ZcFI~wk*dLngT{dIpTol28fVPXMpUN5-Ldl2xY3GEs!y{o zF++A5lg{>>Y^T0-(b)g&-M>sM>E`f$eab+C*e3yi0Kjb{_yMznYy-dnvj0~@@Vo!J zrzI5d>uu_Gs$BKt^w-zEa&(Tf$8&%47~M(BovtmXi}K5ZcjNKrQq$houZy=f#qmyC zqlt1Vz7}lmEbUIm9$@q_z8nkz!<_u|W>3$B&9@D_u*7sRBeJslvbV9Pb@yt==r`N@ z`>I30Pt${~+CIqPHC3|D@!OE|ocC zXyLSjr9kz>p7gWnRO;5VjYfI5gp$QXaaW+$c|;_lj}NoA9P2NaT{wW0eTe4q9(WuJ zsT*A?Hm7Yp`}MivlS6ElIf+s$hj*2{rGCEb#D1m-MD$|m}#8sUbNmFcUYmBVM1Kv0r+HlWw&_BVL_ES{emTRvM z@hx79s>8_9n%&t=ksmKV)vmFfI1HaV&V+vC(2U~qrI^iW^4uGA;h=%uSRtDXRH76v zsS#OtUNC!FuHP-4IE>bglAX{c?5fr^!O5n3IAO0XS|cC8QC#^5U(zo8iP6+AKCIN8 z+Dt!e)UfiQu(_3K0&PFJ4h1Kb;Ss0vG{vKPjp?is>zGI+;!qg7$}ohHxI*7z;-+K% z{aNl$NLUOVy#M1T8Y)!p9VsLi#UPb!Q%wvSbR1pq%aZq~Lc|ohu0~7|grkMD)!C5D z35?hEm|n7?NF{_<=+Mg%j|scDd0&V5&z5B*tZZ}_->iwmST+IyAM<{Mvw4_Bx%yk7 zP8xcWeS*kpVE^QYX#cqK03x9XSXNu(p1F5fm$L!)E1pTe3Y6WusBn~iB>A)*t$x3e z4#GI46Ld6tR#i8T@L2IH>;zNz+V`YntiuTe7xF8K+WqLd`IRW-TQDJcK{+w88KEn6 z6iamm!DZpdJhM{U*|KFHgLDL6?yz9f)Ba}E9b(Y(6)RMvlhGp_3gH4_@2c9=mugaf zZ*&1_bDK-zuJQDu8~8aZG!$9hGp|9Q47%|hU9W?;@i*$i0;yao-oh;Zw@wxpSY?fJ z>6{L_OoP^USJoHDqPIDR*1~C)D|ZH=DJnXaN&UCDTwYao1A)lcgXLCriP6icY}U&B zxPCPWcYXJsmCH_YriL$j>bF8$B% zZS#6t$dui8SJ3i_jVM_B4UTG>c^QI#syh`vL&-kG7LNxrjny8CQqbq{;5JkZwn$>N z1RDHgjAx9Z(~|G{1?`SmWCpb^bKkX-@)UG`e?Q!Dx-3c;8QU*~g&D`dA*eP-WILjh zd|#4!0R(*zc&P9wz4k7{@_Z4u)mlA%bE@LNKGT9oyDdScX+A^Dy2a!)^9*VEr=ghI z&);BPv14}Wm&f8u1Y#o$d!${C?tY-j9B}*4`CpU0c$nnjVm(}`a zCpv5L#W@n{n-7~27Z*`2uJ509heai+`<%Pm2pN^vMMPt4(&|h+VfdQo3g-DMrizhq zP368JXhvBVg5;mbI-{EEPPh0zg%Uw*!ypB=b)0^p6g}NHhP~(wJkDbm(Fy@*a^()w zRpYMougtbDyG4;;o-Hq>YnYZ$N1wI4r^g8a*K$@a593tKO$#L5ym+e;A zFnSeanaHR(nI=F--m_9e-(HM3vnQd0`-L#bO?E}jW$q{h#nlz#n;hqLB2{>RW$71f zn9M6hT))o%yT+t03s;f2^}xAiZ@xQulQw3V0XEumW!Rnz<6oGFnB`|03UbvpAwLH6 z;~_d$@y=vioTIERc)yH!XC4)Jt;njH?Gc=GnwRjlAGR+BOyBuIl9~h^dUU}&q`P+c zbL@IBrOWwhOOaAOjXv+JX1XEJVP$70;s%$3yp1z-Q2*T4#g_gtUvg;w)M{s*SN~yW zg&KDh(Pm`pdkeh_m$fQFj=`CHER@jS%suh`ln^Kn_u)#xRVi}18v3CqBtOc`%Ic-9 z_GVAb)yE2owXCX1$gRs#KSh_+r7JfcyT6AWg}7^?@415T)jiYlwzX-JSsnzs*6^b* z%|Tyyfn5@JZ5+d{T6VniuAC`|!y$;yWUFZ6Xr8UeD{c}Rv6%yIYMJ88%bl<@Q?@Zz z{uWYdH7H7e&^FFG*$b&{z{2|#Omf3L5LhjgO*8Q5W3ag4T9)Y#VSA~IN+*r>=Mp#R zI~khVi}tML_&KtZ`>du@0(wgX$HUsQSH%k|ERu(%!_nuq`6dOcjf$lL_;~6&39bKiur@i>)$N+HHqm z+H1Y+t|J0Gr_MD6g3q1VOnqg{y9&nul-lYYDdHXQ+@TffhAPW)ueiL5cpVmzXnwUE zG^@UPd6<$`lN@MmurLxlsU>Og?dK@a<;2n$JwChE?kN`d0<9~po`pCoYtl`KW$D;n z?QERu*COzZnilVU<()~jr6jlcYHx;XgNwWBHPt*vYq~FmG&VbGY;>Gb7q4`V`+m-u zHoqTQQ)w{poYmg#RDNOk6|AkwwY&I5hS^QVIi72x=4Gi0@+qycfOW9m>)0;Q7gGBx zmZRQytx{Ywfa559vdyhovA!88r2kquZ3)$#XC@#D?yl3 z#8*Nx0Ur?&(Ui6*Z{{E#$IVrRcCBH{8iRKQaUQKg7$KRjSuq4b3rmAF+cWmTF| zLeTSKWj8Hb|Kwc2#s+DN&Io?wYTfw|cckF^b7qs--SonN{t8pbAA$!?hgPfn|yc zvMQ=bOEEV_X;f;#5aa+rq$x|n6jB1&%G86^>pv%xa1^8PPL(dyxo67MglHsGB{0+E zlsub@jtf=_ZYey>Zz_U*ho^rd*XPO-JR(u%+7GL0>WxSK6uG$go%m9C9318J6 zhzxjl1fgDbz#NYT_4(eKjR3}^euXY!wqwHkN`B4{V@{vnOBabbY8+BeF2K#vh&eRG z2-v{H_s0;t*??cmt_eSiTC^5SSoOYT>681y#z(Rd@XwQ6K@EC>F&O6<4m@G6B2(-w zn?}V+Z*G?@qfo#dc5Vu=AooqPMp%d?ua*H@-pnS5Gxi1~Ce^M#zW$B{d9c8J-8vTF zHb-C`q>Hgr`B^T&eR0z?rfaZa#bUz1yO|mFO^H(i^-^N*tw)kvS0yOGeYDsJm8;AI zBr;$^lG9i+otlq&p@1`a7zi9?*a)RhxHNWb1T7%X^D8GOckEh*#TW>`8n6*=ox4zf z9_l;8hOvHv2@URt+uQe>-n5j+vl956n(%j&K59jXN=R?J?0OT0u(+8c`SMk$2VX2}#i9@CttGgr z2nO&d31CjK5a5PI^Pm@z8SQ9yzwcq&0du3mIbp)oP>W5+55y%`{A%VD2z{KkJa?;4 zNc*^8Amn|f_4%n6LjdjFls7H&1D3Y7QFgfZZTOknF%c*=tm*)3GY=Zp#f+~97z(dr zMPS41R{T;a$IOlQykr82V^9$^zR|qp)^ED58rif|0%Rw`=^@MlSaJppDuNB$8-94i zwRC_idV~r)4EHHA<4ut)G2_Q*Py}RPdM_RaW^@n2?f#M4hKcaYV$iQfF)+^i233=T z`E&&=s2pgQXM7Zv%6E6JA`}~;^=b4--!pi7M?XY?2k>gpZ(0a6DC==lnSjD;5oEUm zL=heMCp0Pob>BG5l3ME9;u&e5Ckp|y0-*k#z9&}7F5?0$1gsMOzR2R-AHR)^AeIh4 zN6i57d{hKQVGEghwIv5E9QPK$op6P>Q+2MBTS^TKgfKgRP;R2oGgT~Bf>pSj!v#u8 zf_;HAg8C^XczS{c1;803_E1_3-F-wCdV<6|J>s`3WLf)>;}So+bzlRnzL`D&u2$wq zCbpxaAeKBpgB%o()&XdH z3*8Ct`X?vBJ?Cq{4zOh$^g?P9E^oN32C}>_wdo<$@!vczd z2nE3Du~n_ic6*)|0v)K$r}P@u0_)ybN}K&gOWhU~;UWu$sd>x1y~m8zvzl;1i64Y_ zI9J*ROsL%l`-cj7R>RzVNqpXeC?qO^7Uw8Ry~sx5Y$MPv7w?2aI=rj%?RWlMQm38U zUE%$!1fs(cbYQxMw~!O0Yh~-8ZaHeFya;mbo7A;20oN7HoVrye5ld#Z#IIyd6*Neb zY^rVJI4=(Bs!|jbBt<4d35SmJm%2uYU(NYuUNsa%vkd1_S{-IW87ss~K@t>1CnmxM zm%C8|i&5vQBLyCX62IMP37Q{qA0Ytvb$jBf6ICHFj zG&{c%`!=5lK>K9b`VLr#l=0a|rkTMW=K>$lAZ_&kiuvD?z$>afh)h(vb zRv%(EHwzO|vkyABfLlTfQ2>rg7HvwkiaE59do~UaH6NNm6rW_uZ1|o2OsK*%q!yhv z0QDWzjerfHSbuvLBq?-hXpV-`Jir;fOj*$=%53vCWqxu=dY;L>rmb(+r}$TOX4)M! zdtGgs-u=^pGnusrKn6K$V4@}aXos}RWIczg0>>;03#`H>Ktc}KFpUqI-uanPxZ%*4 z3wWgkKfB3^=2?+Qa*i?md$gS@D2QUfxO_n1fXqVCSB-#DOR_as2-Kwxhks-1T~hxe zb)BKO^5lnM&OmxF=XYwM#`TWbSu?%n_lY zm)I-ww|x6YU&PJJIjcex4ej zL90DH6+n6GW~^^;P`u@7P!L(z2>0Id@-v^}{bEe02yJWxsaE=wn|aNSphC{I?qn&B z_zT}&XatK*br9#$9ThD9 z%8+xtD#)tCS8>I;)B!~Ni0h&vP$LWfS^tfv4j{uMFeO2{>AAcw?I2S@EmT-`v&8VM zNKhomc5IBlB)}xsw-ZdS@Vf>9&g=Xmi2N-V3jwEAa-G2Bn|#0D_N;gYMI_}yht^6y zCBgZv6wO*Nx@epVB>@!p$()~E8@2T<%ZiZXSC$;0{Sw!SojNUK`AI-&PKggF$Ql|C zUGIJy_<)G5cXGUYWE3AXw<}4#j@zUnI4%4Q zscimfD)uc23o`iG7wLRsK5z)Wf+sB~D#EGw5-LL0rKA6g-Bi@K3;%YC-!9|tj{IK@ zAiIC>`ELCE01)Tj8-Kt2Uy%HNI{5!Wp8rPj|F*LKZSeoZ_J7CapTW=7t^NYeN4*uJ z6T%DmPWS?d3(E*q{nQKipQ~h0zrT_eRuZ5Qml2`+&vKdXnvco^0h@jT1mP!+;K3%w zf{UV`_H`xm$OYiPP3&T?{q(}(*U&ZXcgrGBBv%;zTz}@!)vjcDsNxcmp4IACdreUG zELuit_jf(%K7g-Tt7horvc!tXgqC&mJJDb#6H8RbOCu@6iz`rh1I%|#@DPl4-#I9? zsW1Uwod>w!$sn`2H~?Yh$Wu|yp%b!$hPjwgkaaRNfpQQ>NvtV5Yxb&vJ7fMj$^cBr zDi6#P>>tq9ZAReNRG#DD?^lADY|1CJ7n&G`dG>P7{s~ez2k4ioW^gcR9Zk4@0f38@hgJzjnX%6vuvgtoRmkSv- zX6xxQ`zCnlE2o|UA}xwn(@t#Qx!{lSDr`*r`SE=5UE>Z8Vcp;-&-h(~K@IXBS6Tm5 zngsm~x}mL&)8GFUzM;PGwss_Di$8pNLxtM77}^Av7wgC$ejF0=G)<>Yrt5o@mKqou z0u@f4hfyp@rgm=s`uH&tuVGRvM6RY1_s3)!qGh(U<-82LH9!KKSt9q}7>0J@nMP(9wlKcgXVT9@3p% zy}3bCj{0e>RE_V@o!PA!r82kB{&L);(OEuxh32~OzSDfQ+U?#vwBg08Qz`WE@iN@j z<>~7F@^W{yX*#1xZA@iOb{DzDnTlmb7?Ha=?9B$>`cN^46?mha(oW3J)-nFHVb z{9)+beuuuD*{04nViaz&JhBq<1u%s*f_;o7(>`~jH?L2Zf zKCuMfmoR93lpw#G_ZmcZFYm#kBXe~+eYh;fXAJ?5`)Wz|cHi8b|7tkQ)s*tXr}a~n z!z*^nsamd~h>5pXlN#-p-6uG9cxW>*9h>i$g*y4{Rr$)`1CZz21+L3{`3mdtk*Pc% zU9oecm(}Tt)2F8E@ZA%GJMi+X~ewnrLSdQ{GW5qEktKK`fj{iP3wCbaZW%0k6$ zNHuLP_^-1zaqJI!sKkmH$XjcViH|dclrwr~qmgXfCrUrd!No9Y! zxU2Hz7q@AtxJDX(%#Zup{>BS-Z9Fm92~8c`#{%a*Ux;jnThjGzgS1(bWy7sv`DE7s zYrfTZhSwfw7P7;~wASBJc_6M-wCl2L{qxX} zF5S24W^doVYNPjcHnEqk%L|D<@B$BC+iL=*uFdOX7tPQ&_+X}`Emd}7_0aE%J&4E0 zyY{|ucJuMFm8|?QZWdFI{ulwCwsvwpj^E|+3h;F>D9s}JU@xTUt-i2ufiHAf^nhWS zE1Q4dbdjDiWqCb!|9I--yqG)C9dn6R-pw7i;&t62lT%#25UHdwAIY-3@+M&aIR0kS z*#sh(2<@StqHVq6#oJbm&b}f$jDB{+&3gN~4uV!9ORsyc3Qzc#2GEC|OtEy%}Ri}=Nz_1qHpP=MyZsf&Frlyj80_mb!s zvc`TOM0+qjo)zuo$e81>PJvvUIaY#$fmob5S&SowTADd}gn-6FB*T$$Gog-pf2;SNm8E7KLw=v-IqvtWAA+dU9dr za&y1*aN7m7)Q)$t__oup88uS&eY<#E)VBP-JACTl#8>`ZR&6j%N}eU9>RLaOB9e1x zo~=Zr+0vpdbuC_hAnd)M;*8AP)ju5VZ4}yL-RKL%?wh#&Zol{rd-VLkC2()w`1*-M zHhh?|cJjXaV(WeF7I-LA#5RZ34O*>z*Lh^f_df2LBK!6F+-z-}b26l?N-jTP0>8B$ zo$Qlq@sU!wv?*4x6q4<8wKbBET8z8KtgA&ss@oOP>AKuWTK-EpxXEgD!g2F$g>$o8 zO}WvwDwOo&_0QRfmjeT~wlb5K_)`7~l%^Z;p65YbTQ3HU%=b;t#hXAGgDyW~>=hm-2QCCDnw+x%m8akf{d9?30*Vm-qRM$;66kQ(wV1 zLJw#}vSnO5pV_Thn4CsgzzxRXuVa081LpQ>+EY5$=V#^4ftjcGbA3#QVb^DZuZazK z-%breIc;y(Z+qN0UDOMw>)GweQ642|Y zrG3q^&x>>d8wo()b_5#lHpFWdA-?`<3VrFS>+0)*&*$^y>;2vKYvrx|xqAHT{G+-% z{OfgmrTg>gBkyzkaO=zS$n&jDe;UsrGjRy&A~iPV4DQPJ)=xAt^IZImE{N5epgtUu zSb#l03&6%|xTI~Ie1<80wutxJq&Urkn&N>KI}DvxjT27PMa}2@rb#Dp9(gAd0Vj!9 zNAKC?R+Z#dP;7wGr^ux-eBMYCop>Y}Y;eu23*!2O@2P|HhwoTBh0ih&D5!ZoA{P~f z&whWWMmEDp6$GJZ`#JkXm=Ud~S^p4r=;g8X3Iq!WT8;`y&>Qx-^=sV9Vm4y0un=4A zcnXY_XxkjJi6b;p1mhxiuF z`O^V{errWLO)O8Z9oo=~JKIIsckR_s#d?>X7q*xs7q9*o)7|BYD6E>;HXN_pf7of*{E9R18}0JGNOYWJmfwDWAYF;e%{%{ej(&fr^*>` z7`?;+C86U`!Zy|dLe4a4j6CcDtFZw2_;HAQdLc6Di<7w(BS1loK>@<2*doJrYu6~5 z_Gj+j^`m<9R4nmuN7G$lE{r_FSTJZxthn|9A8Ty61!w9b?>!<4msy5wj@IE z8OidOG(x^fgl#j7)T|HRW`FEdX^kpJFVCo=Hwpf0;u%8c&yjw%pF{YquhFuYpTj7p z!Loxtx|cG}&I`hZ6)BS-LLOITkkTTSjR9IFgOF>(UwNg>CWGZ9%txccM&J>7q|@Wd`zS-!ODKLLe1PhkoWZcSnCG16^uf66lxa&$7AXzTkuY z-&#bVO22_975sU+h-5f@8Z-PikOrzpy7)Cu3V?9!Ng(%BWjtr&|B#YS+JD3u0Hk`~o6 z_1u=#dhpb_geJC|)RcuIU9#KLtBT4#u zLG|DKT~Kx)H4+vlS6?@wG5IlatG4?P2RU2^dm}e5@|EZTp)|7|y+V`#@LXLdpvWwM z@Rf}5CGd8bLo;%;aX|hr$K0&=AB_Wt+ALQZo|pv((tg%O4DWXbGaQpftM1l)KaVjImhFJ@4L~>>+i5u+TIKV^dXh}!s??J4+WXzKeaj3yd z8B|oYDMH#SW_e`B3ZOX4V=(f&!H6ZsJ_{2~B+7?8i8@3sXtwXsit+grcwQMFBSzuZBvev8ssjZG_R&dL`*qWuBArx+b&TcqUHv3m}QQL>=FcHt8#&v?=WI3@+|KO z0+srlE;J6*g~=Mm&=H#TXpp7$d~xbg2n&^yF((-69-O`0w7ii;(*2l!H;kq9Bx*gk z*IFxaAV~k=`zse_X*bYcxqi^xt>^(^7-m7s+J=&MFQ_Fw^ckQedIm4%3`a6sENhz5u#tXf>GE!APsqwIw)nTA zMj?k8NrYB4#fbdU{AdNINx>&n6gkBkx{Qo0E}4n+hi2>j(G+fJC=F%)I#olqB(fX! zo(AJWKq0-ptv*ef2qb#y*KYhlcTLaifeyXA>U^#%?a4BBijMdI9CuBzhrn!VXX_vw zIqeb35SE^v*P@tEPY^@kWN_?i6XS6avE<6+Pz7MmQEqB}ZOgk`)J1A*(A!&AFf%Y;RztW*$etQQ3R^lJ@ zo|yJw8ud{y?!YkZB!cf{w&AlVhvsU#q%Qut{U=HZziC=fu`^M3yVo>3ur#{}DfWIT z_Jdyb;!9EKa3ZrM^1O$9ZuSo;_CP6iVbV-}(#%`EOvR`Cq9%ZbNa*QTdAv*?(o6x; zOd{k-dSn@Q`pNJ&L|eG8o5vkK1-`MMxv3zgksw8*K1`E73iu%oXFdysJ9jRYoc}?f z0gg?X%=~}mX~LG#>{@UBK@Km&hdfDuEE5N5nhIIWjd3*pQL>_Y7=DMzxbqM2d>Ci5 z=MWNhP`gRNV5QZLG_1rBwUghx_ zX=m1|HptGNH z(!kwqJ!#0Z|_q_5s}qM-WSFre|*$&S8r$OGWD=?_rCJ<@+(PQgc59 zm@7@w)_8UPRSMz^oIFJYaEV3TR@V?9{HGDJn|QsrvnUh%c__Cs8w#rx$u}Zd^iqI{ z`6Q4NGp&!Kt;?gcoRgLIdQm;SM28~kOW(G#!xy^}B;Vk)osZRT_Z;4m-Sg=8D8ay( zv7H;tj{HYtJsxbDsi61BuPQ5(9wy3hma?3X=(o!NptFE!g4`r0aEN2BvJ^j!NBUzK z5N8HS9Y?H&eKE5uVu9vkCh-r*AVUxZ5KtsL69D3TG^FRX!X5!f$K^loB1lM;IZ!js zS09g1WhqhxAT2$?=Z!{`Kio>-xRapDESJ|+06~#Ud)oWj7o9a&5w&BrBTd#^uUCZ< z5&NU*`v&4K%A7W+7FJc_;%HyE_023m8YDpmkijT8<}@JXD#n|+AOaH$g1*BClOGt+ zdc7|f!C^n#))ESyRv$;L`flbqqQ4+wZZrpgxb1e&iol#M_8aVfV!~;uFEj!)X3(3h zYJ+lS1P$qs1sQAXj$qF`#nOL=W`tSN5tjZHG7#3gHnWO6GHrKivnxgwhXeqA=6Z-A zUSGkR#eL{~ha!odUj9^bjjBzZ>1RKXDSERYJBU{#Nfm&8+Jc8DH3K`21L*=o z6`jIUN7cFY3Sm=gTQ;v@Q!_5ak|?P$x%Db#G1z5{Ln|PN@>@(*)?%QM zYl2K~$)MKXvr2)7yaPZyxq>;}h%AEy zme?3zzSyeUp22{j(4;ZFLK5o*z4b7?mlk>KIf5b9+#K?My1DXrsQPd}hOv`<$?^`y zU_^|uWGU+~cEgNawlJ1gvZN@6A%w=7?7K)sAw-D~AzK+!M4}|6NW1Qt_q|=!<#YeJ z|J?h`Kj(Zt^L)?mIp_S&dA`r@Io~j~`Oz*hCn*KBtYje=S(!|=!=`iN>5vjquq2@~ z-O8R1T8|^L=P3bCg0tuIt{zrqp6FtOJ7IG*%^~~qOcJ`pI4}6e7(lS_oD?ODSj%-F zHR+?{ZEg0zO6w=szA&`ligY*X6L&aK3`13kKh65ahpjqCkQvYgXAFU< zHpgfA9qrhYkmeBow8V=G!*eeXOs1SUaO3n>lfqjc~i*9n5IY}iWDjOV2Z0l0B<1^iUqknzB^%7cIu(p=%=vq!|JvGgp#4%`oIYzxD%~*USz7e2U?pxOkBo(ia5ch!b#s zg(>oQaoh;JERFy4{t`K<_LdHUEqQNX3bFg;?PM@^*k7HXZ>F*f67?q~J_mPNaT z6umTVEML%B-9U3&5+z9xxa>z$xi}PYtPyx}fTxIU%d&ZB$QW+K`|I6Q)8`N*S$e<@ zhDm9_g=L%dj)RTCS$_NGh%)Ub>Ud|6Ya~*tj>J1{j34mz-_ucUE1p(fON4u0`$hB9 zH;zx}WWvbPcT+vhLkhQwj!7zltearKP3dm(tUd?rOt{%s#F?pkbLn7dfDDrw5Bed+fy z&4Mz(7-1vpj|#Ak43aIB#kghbCG1Y^6|s%gz@vQTO>y<$m6^ypD1?xRfMkVB-H|}< z*3{IvEEx8<#7e{16s76CsX>K<&=Z*om{ z8gChp-k2YfD=Zjl`1k`#!L_uBm8Fg!|AoHG$%uy$dnqv+@9{Jg?S5zyJ*_e5?q>$I zaaz1tG*_C}qTd@>o8OsGG;7i$M^3CLv1UGtw^77ZE_I`5^%oF#Um;MCz%6!73Kk8rWDn9B~tLv8|a|m2;-?Tx~=K!Bjh~&N4rpuy$ zstvgT!5ETI=XV()dzlBTQlgs3QB{-<)i0MxmZLAjr38$oI4`eMMJ$3=W-YE6l-Ba<=dJd1m?Tzf4?K}r{efdYe zrN}SFexAs4#YEkV2T`9F9W2AeD$Di-fY7Ym#{=n-)P8{MQ`fN+d>5)=DYLe@%;0orFn$Lfa%?kF%lF(aqn!zyogJ>; zg@?pkkQwp4w-dM7Jb&U@bfWnVgvsZB(TVVNY{F`*v_HP0{?u~K$DWwtw`+|jC*L_DywDtkzQ;tr^ZM;?-}3O_W@f->->ySkbgHZZ7e z;Qrai#O{``c_|p41Fl8*1s{A#r4ZhKW`1>t5R=w9=AMRCZYCGP6*1pvDQBV5I8y$5 zLb~#zyTyZy+{>?cr}=P*y@x@|9M9;lCDOfNxUuyL-7m4EZ#So7d{V++Z)%#P1d4Oy z(70!qZNjUg=M2vuf%RSpeIhr<7&vAAG~_b-a-KDh8ZRfqBjrVqF{5}m9eG*>-Z2(u zVJIMQu5&C7#p+N^ADnJXdkId2+w^P}&Cp)-!##ddXw8M1xP5b_;jmocf2ATzY$MZ4O%HJAvs#r%w^8`XzeVWiMWPhnLDC;FNNKWoGFb;kfw%9b9%7g zJ(PyqmR##q_Lu>yBf>!n$AtuA>3KudTO~NrUk%m7&P$V3*^xF1!ptS-76L`hN;_wo zN>>8)9oTiM&`d~hxnj9s<&9X*qlYL{cI5xtkdUNl|oM z-`bgUH%>J^HR)D9eEXT}isECoT-iLoF-lv5|sc zS8%0|KA$(V04WAq2` zW!w<8MmpX93vKKIWYts|2E23UXO(hS-Hq6=vQFCAHC||NDwzt47_-5GPI4Dn8 zi{=jI`fzhpWn^WIgS#WHQS3eipY51LufBV2c0iloY3;?qbWs7$@+b0D5SKwEjt+N8 zeiA!dKaf6I3gxYF*7D3+l?k`wpEzND)J9^2o80q@NKXI#c|ie3uvUMa|Q_!gfldI*JYuBLGgRB<=xWKlZBJj znLuVQ?In=f!@d7a>z&7X&x2#RNDw_BUuPkPA@?;-11#iDSkYSWk@M?z(wTM+N-4*# zwg}rn<*>CT++mA8O`9y(hlbW=!a)P?r@@XAXGJ-RWgx?+UaziD7BIxj^nfnKZc>Vd zVREJJSSA=*kT<`@aBUK*I-yL=Uw)?}!ztxRN1Fl=Zw`9*)Qtg=KHsQ*Q3Etyw|&cH zG+eDrSP3!`vVgI&>%iOuK0VIz9P~TV$_v%9pN+T9Sw z>8Q#kQ;96EEsdl@aKX?(`wtolX3!w{Be8@RR;^H6nvl4m)$07kVC{Ln$nLQR!XyQk z3YYS(%Ii<&BD~AJ46@cJ7Xt!=A;$Y`BKs`z7-c{D7wEljco>>(hT;j!iGM842IaS9 z)qV@EO~0w@ju*ZQ&sp_g88y$-4H?({ayR&j*f^=RNzyD|e~mbb@Tu(kToO{-mXu;> zVU?+f`v{b?k!Ga{&_8s%l1}cLGkw+8g(lXLJ*?;yq=^lsq5w^=%(T=9T-u4UApEX_Ib2lMdhIy z!4skvP@LZZBB8REQf(>^OmL>x7i|rlhqH(3q_P;=`}E?VIr~uo7d(}7d@^84<3laL zHDF1H>B-+V_H-EPl!(*th%q7LWZqlWbyPqtxb_c4WHDf(r1lb=55$O+FiI7@rtWzQ zWqE4iIH8_-)G+g?-O7;{(Nj*^mJzH($Rm{xakb3)?nU|D`~{Y!!jTjnwZSSUgFOmT z`6cq`W1QephpfK zX}pq4@0|>y#{x=#0M_Y&09JL)e6`Q4bZGkCaMVFl7g+}tWynyFFZNT=f{-cVWZYyO zuy!&Yas=hYm>jo?nC{RzQL^c|lG$`Q)q|53ni*54(WzHrQM zO0H(-+_n0OOcPtw_zrdZ+OIaY9BkCZ2EUyP?6rTXKl(6`cS!(W)RE9{l z;;Es}PTwt{&+RzXl{tBC#{#?*bH^zL;x3u?KAqW-@&A(*f9mOtjVvaejvwZVbx+^s zKJ-_09kSo@7=D+|e_A8I{vaOr{X@^C-sktHZd(W}e0}WiR&jhd;M@9{AA4wRgaHIC z0Zv&EXxbkPD4fxO`9QmCBh&gkx9z7=@}FMY{{Vq#>c`t=2WWe$`Ii9q0Gar~@6He~xBbOL=z` znzr$_1?_&HVEg{^|FtZXHdO$}IvsYezP2c6MyrwrzXgJm=Oq-?>%qdB3{f{qL^Y zYuDU!&!OL#V@-`EF9r4;83Y6p1caEF}+D`}?Ib_UKS|4thAztGXZ$jHRntHgTeLx3S*PK1*0@ zLazG#gg&oJblXa#GjTrDNv?J1MMQl(!ivLuuSkf$0-XpKIJ zc*&l%ym%YhyE#SIGl+k|+kDA9RB)H`naGM`o)~J*#}EA&mjeag#0eNO)7?-_=h*rAwL>M9PT2^O3&Ap#%aM>?`RXw3yPL98GWt2`rdrOlQ>jx_B*H8 z!O#i6lO>Y*w`kRb-tHsrAMyR+#GoFt(wlXv5b-cY%r^#bEjs`_-C!9`CywOJQ5|Bd z#Wgs*QROO>6Fzr6fdF=>eL?Guw4VD6^|DEiku({L)m;t>X|ME~NuGgJ?fK*H)c23r zS}y@3k$=l+C&$V%pqNPOOWz>j*#YI=iMdz!~Gg&b03DuRsRL!IQmJCWtB zJ4_OQ^K5_@bgQJ^rPp!r61Av2FqqO8Q^OCS{yJK&z0i-{;ri}`^FivHFHZj$zA8jg z&e*JpHS5SpVqsl$uWfkpi>3i?fUt=#Asc#cX zf8TS37|FJU=>kcF#!h8EF#$mosH3LUpAT0nZ)$VRo{_ZMnb?PN1By{&LUE0R!Cdyk3knib6~Dtx4oK*y zj?z26eK-ED>{V^J0uCi|?oA>QnK2PSMJK`nPO{Y!SPo996>~Gnm59VHw%gJdubeLz ziTncv#fXEv9&C6SfqH1b<8c(vOS9m5zuRl*0{g6HE};|hX@OON=V z9Y$jhMo~ZdlV7BK{Iyv#RQ99se+@e=nZ}c|xnH{dcU!-4vnfE=8iRWPAUq#WrAd2bf;mZ<~Jag zQ@iUVzT$i26I6h#o6rcmbBqGBtSjMeknyL&qqwZ9sOh=bQu6*eJ?}3IRaa9;=Di;k zhlOk(gN?ja?V$84Bg$BXvZLB_hH-{mBAuUR{0oF^*hKom+&Z$mj!$wcIaLyQ2 zSZSFqI6gJRiu3OI8xg^Ca|nK=UqrxGFCuOuoYE!=gj&zVZ6iehPV)EL`pl~DHai!V zmx;SLZxY``c0{Je(0|#%D>N2+y4;6Cht2jTYk({I_UzU=5`hesTPeGeYe`dd`J$5? z+KZ8i3-_8^h#r`|gjf>K+F5p?$DN*|g?|n^4VlEmt^3ADRz z4%${C*wI1GcvQF63bwc43m^HI8w58u|5G@e(K=W`$Z|^)!;>5&@HJhsU8m5(e9F<7 z8lSX5HF$dLKw4@9kk@({oScus z!w$`r^VlvAU25|p+v%Gyj^C`H z9N5v#!$s$ODLQ$(#owAUKyvFDR{dQAZs}Gw_N;*F(lkl8M#k=$o~iSi{mrwaYsv5d zK60+UhN^ywLQR5jY~jH1;P6it$Oa56x4a>CS!XS=ZgoCjca1q4=#dK?+=$PXHztXUfFl{1}8Gkx*-;2KGJvAkCO|Cgv+T8hAZ<>VQACoZk3WkTvy_Aa8R_fE;$1r%p=^;>`x>0zG344SlRdH$Qa(CS@W13Y%scyZiJ5*BW`1z?k5(WZLdMfZ zEZ_0WAvQD0AdiTo`<8q*o)$T7jvF_i-8oLnm5sO}Uxaoqd3$W8?Z^Vl%>khcfugFv zm_(K2aM}W2xbYNCpF+rYryj)oupT-U$LY@4DS^qOu5Tg}ulX`2m%?eiHhu=I8qKR;le=v3Sq*fABTk z1@>!^Hb^18Z`dG_p(mSP#-zb$W#uN)(o6ST5Gv5h%hyP>UfC+l?NO|5nixE(TiPCd z&@ie4&oaL4mNR86j3UPxZTSX2?ly zt*~E{RvQCb3sVy(XIe*N(}{!$+dz7RpeycRlgVX%I&g4D^3fK{oNkss>fm&@>AyBR zqZ3pW3d&A%=J%>ZnYN-EGA<0Tha>7rdX$-sC`d-d%>gG=oNcr%g=?Iv%Z*fc={Pr* zfrUAgt!}oI9D2#YG;FZeQ}ub|?&){ja_xjY3+xW!u!9ZJkWjc$f))?^-k2PdyHKWT z3eIPLV?Cbmc_KDAOaInE8#F3*gf!yE`SV9XNsk6O2V%F%N)0e2-zjkP37Tp z=5gy^Q$P5%ky?gggRm!EbW`I66M4U2ygzVqys8NN*zq#9 zQMAh|DGP~SEHEv0;sm=gksZMHF z&*EH?7L_zK*GC4V3V*LYZ<#qSE-G*1VJvPIIEc%e@$MxpO84yio_*?k}#;Qiy< z9Q*gqqA%Yn{9E7t6B^)0)&18^k1^kjeP{8wY~`(fSGKR@5@S)w#S=_}ZlB>ay~wjSt!}&DyeY zA-^o6Tc)i;*z5_={FHCO8;e8`WBtP!*q!J5d62vOd`mz`=vVGT(GLECU=JZH!aA%M zM|BwTHzEh%cw+sGDqQ~}us|1auv>bKhI>ti;IM<)`j)qSYEL9$QqWg3K>^*TvbHf7 z4@1g>?}zo;H^lr?;OV~MH}kMp_@}yX&IEcUC_%2b^Z-=0Iy`!Dg&fDPI-*E;jgM+$ znpdLRIRQV3KNVcxXmU@Ch++9n?Yj^U6D6*LqM!5ZM>meZ7entZm>lK`&imfPM(}*=lXosPz)f%zE|plN-uMS z5=BAjz*G(7V{a9uR&mB7Wy)k$P;_(W*3i^YaKQJ$5!OhAsVg)N^DAfl`i3L05-XGd zvK5Pl5o$3N+Mp`~Cj{d|iGTJ(9UoiurvUbvw%B*vW)JVwu)W7N*CpwYX{6V4sGw~7 z68WGiNFBsh!h61$X(x305x3H5&(chcYO(^|fwS->lxiwnAecuM=x&kl*-G$P_##Rr zm8M!lmHCITCNSnVcVUI6YlUvR;#ZB%OlzKt$Qju*r#2yi>nL{8L^_dwiqO7>roiTI z%ND^&HvL8ZvF=Pqo|njzAM=J&Xd(FDj6HMFf@fqXzMWlEfVC)MC!x2c=;iFfLCsI?cAS4w3+0M%*u(mm~O@hq5lfR`C!V{hC%k zLLJd8oeXOcPT>q$$#t4U>R?RqgwtT~4q|Df`hTBngs?`2-OdBc?xCn?T;#8N znoTK{(ASWVk~W*75WQ`A>~S^hb@BEN#2RwhkKt%T9I2&~F@7~}`8K#vFoz$Pr*G~= z8HpR9pp3uazgL2t4>KtD-zhcvGi?fv~O_{}pG{kudZ(Lg+pJIa&l7S7Q8IXKB#h8@p}$ta;vG0KyDRSOh9AM zUiUn|pX$8?!>c3B&%V#o2VzNtyRbvTvs3FWAb>hnwCKQT0%^_fIv3{sBDw?|n9+Uj z){+}>+wV@*bgoXVA3Zk~GZJ#&b(ZT2PE=wYw&t^?eRRkGKc77-Wd<+8S4x~iTDzRN zBW(=FH@w;#aw5RqZUvm$i>^*T>wPrt$o6atxnhASi|-cJ+n-A#>$VT}8&s1xQx7)P zEg;7C6CHGtnF57cdX=0mW(zHIKo3fl=6)^dL6)EE78%*NJK||STzTHPYa3K>mVSul zHzjiFFEe5)4r*^^$Vn2xMEblps~a_$=$ol})kstxvwHnF!c=NqKA01^i z1#n4G!TlgIvSbzmD`)V;v>ND~LD%%`Bj-Zop}&8F{s99A1r7@Z3jvD^`wI&h77_st2^$F(6$RxdDlrl!2{Il% z1_2cYDH|aQED078JsuJb0V*pAItd90F%>HXBR4w@2`3{JBMT=R2RA!6A1)0)F1-)| zEk7}%Fe!^PF}nmgizqppI5oQnC8snMmjWxV7(Jg7t$-@Kpfr<^BD1JAv$zh2kUWpH zHiwKMmx38THMR%?t^h5*7z?QgH2wuytU%yMMTINV;8U zu2XoPcYN`06R7}e)lf&RI2UbyJN*a`^I&hM1TUjM{$7dxHtB&jDIp&Dk!-(>mT$Kic21)K|GO4A>p3-Jfai?d$6q z80{Y!A06nK80i}upXeE17@1vJoakSj8=ae*n_pU)TV7jUnB7=e++153S~>1tznNd# zo83BH+uWVpzMR~?ncKP8+&Ng?J6}G2+`I-JE)VXk%uJ`Xg51)bOH}|IxALp;Y`}4h<%d_W; z?faXH_nZBXhcn>o+5P>)?Zfl^`{&!^&GXaq=g0l$=jT@x0D-{2B|rMU;^;s^SU}l* z^&-p58D*hkh)npFGXc#5HfU3^#tO7bm1fg?JXpB0B=ra6k6#`v=!)dbH{dNpd1tN? z(_{I64FeF@JVB}Kni-(u8lj16@sC9$Avlr-)rNo0h!P8?E%83=WC1Z&w5_w z6~7PEBjudwP7k+z^x6Ok)JlvQt1K$u494|n!TbRz-Q3YV$yz#Qu9bnO`AkHkdhy4U z;hT!v)dJUX)k^2WHZoqMMo~ft}&j?M^_kA*;|8*^eR(GCADiLU;&!jx`FO+iibC$og2hq zBaGK&icM?8>A2maiubzdh_`vMYJ+90NzApm74;&jL->JE$TgU`22iwN-Zdve2YV$& z>C{+#0-(9jlV$NimMTGOAVQAK$T`hXf8%62L7>I|)Zln36wLP#AduEpQH;632WqbzpUlN(`Z(8&#NifUWlYC+{VcZf!H zHLgjPU(uGo0p#A#BX1Jm;vZIXI2K&2nYy4>K&N(=*AnYX+J%>pHycyO|=8QzG@8`+4D;^+# zms?7{t5VIy%CKy(w!1aAlv%d^xvGHV6h`iXaeyw0XwvUFB#I4R&^pZ)nHav^kCLQYzR0@RuZPhld^C%?Cx=n&v$wwG+J`X%xsQkKL){j9By%I;+5jVO5qQd+818+=ErADE4p*}y|B~}h#;!W&Dy;;Bn zb|inQn3rB61!GH!sX6T8l!g%4#&$^ej)Ip|CKNsMZLv|LLW-f_JeI~ZQwzzp@hl^3 zaWITGlOu%kknxoPZ4GI8x@k{`H9&rpaWv8{SEsh3$!z?T;c@*iGD`+*MZDP_{ik7D zJ^Q|KzOMzEU3q5*izAc9h{k>>+aaJvw=edx=6=E&Nf^c#zn^MX+u?2W^v;EYTI0t? zN=izx4K1E1#tjqcL@0GdIK#`eN`8*D9C|`Z3YOxCta4Ejv7=$s<3}O&+uRYrGy2zu zRXaP%O+&7mDesy5#daVwm!xvfuu8weiMS?~+m}3GiwG-^jj{92j5yy zqmdr+TCUMO9W~dMC%0OLmMXb9J|1Vgv1o6TPMO(#{+l4#!NEaIgJGOP z_m8BU32aQCFr@{z_OYkkXcI#}DMC}@De+I)?XbOEt#c&*7Op=6rO`eaHko8-`I@w= ztwwhDBoRfMq^e{3D+@Qb;}8uv)CwY1m-y+)B>i|1?(9!H`x!Q6bd~$%DWZPau~!eg z9aX^!=uaJH?VBiMqkA%)FFvm$s&b!mn>kfn8N*y%PCw-{tjwt}7MQ@)nRG+Zvf>JV z77p!q98N7D1`ye8RjEh&Gnp#;^)l^8zr0`9*iH+ifnUUd>o$hLBsMrOSYeFGk~R=V z9i57NN@nJuMps1`9-{^u^Rf7Z##r{wxIwtDgivK<;Z#Gm*UYalv_UF+AYH&`^uH=tU{#b`|GijbCgbC0CEg-_DjWyFy@5Ck8@? zH7M07g26{PC7Opfw3?*=G_GcUsTHT$M?+>?ZQ)!l&~dF=RpvNd^f%PbVolEp@D-Oh zKW3eHu(=b`(hR2{=9&#YI!i9TR@iTXY7)azGu@d!WD3Ngq~eboH8z2ErLx zBqWpk2p|8ZNnU5xmQe2fT|CD;;tuikK+U>LCeYUN;DIDJ_}=N_NYc2O9f0Q*Aqsv9^Ryf-NCa2bvQ1+gil{=F!{M!JJWhSHHnX;a zm38FS`)lUMS_kk<(Zws&8>*3R zY%wz5Td6#acY+SR_0L3zB zg$&TbERA_r=UM102fR2!!x+(JJ|c(7s#w!qLK{4(HjUz(F2fxCKnX+ot*FpenB|{$ z(o|N=IWRpcUewk|=IG_3zHMlV+GYW16^l{!k(bOk^Jo?7_$2lMY5x{e!0YRY-?mlu z>xYa|i8`~=iq1sZ@Wih?zummHhlooOy>4-CJ?Isr}P=IY5^Gw!z4LSd1+^JHj+Ma7&F$1=C^1WqlMP5VT)njRfz zkOmJ{Nm%Nr^*tDb4J==Qfn3hjrsKhF`J}L-VVa71QQ&~iI*LpaTKo!fi;iSs49E=4 zd3SSO>1>{%{3?#m2+9VH@P!RUak?roUjQ}sgA5TKR6Un60oK&cqLy$(5YRFn2(3anBI*U@>iM_!(bAKU}(nZ}}%*I}4< zVI@VInBr}3tgvKy5 zjZ|H4SW0_ZvLdSpIia7;G%OJnLUa~V2e|aw9$Y+&xtuQQQbconI4$!w&VGBR*^$Rm zk2_{;%EdfRC9WH-OS*E@%7TDImgc0TgtWvFDs@GZ>>rSL7CYpf%h}DDCAPsey(D<_ z6>Nkd98-eaR0A|zb`6PKUyZHmH-w>{OY)Ngqrh&-O1t56T?s4W`mC z$g(&t)nzV;&Qkbz4JhGJ)LK(h#x#{e&s7no`+7%gn3pc&?Co1JrKKprl#UgU8nt1T zrL|W@sOh@Rq=Skbi`X>wlekU%{;?!ohGD+$Y&I;qgcKiUOX(&GVi0;6&3HAMCp%-F z_6D6oxtE^*6V0OyUutG0oMn3d=l;xAB^aBs_4= zu7V-jxj&&2W>6E6GltX{tFpT&C#AKMx16C#)_!uTw2?KKx)+}ZSbsXqi+aKoMdZ3< zd7-gatAcSGxPSV|k<$B4ctj}vC-l59gJ#i3$6XcG5e2kt32dPXA5i_)il`#{An8-z zOZq~U%H`?V!{{)~RvV%M%>AgZ*V2*F`M7)IQxX9P%GqmM<=9X;$n8|?S4o85csKbo z<~j4orrcJ7Ra_4yqEA&$^g`=VdOYnZ+azp3>mgeNp~Mm{t(t+nS+9MDR4=BJn-FG6 zWs01o9Y+{w84G`rHLQ(0jnoIBRFzS#n*}eKQxJw~KR2K*izLl%S{jjxzV@HkSmUO`)YA*E#oLJ6Y9f=?{TO2!v#xzXkg z2NY$Ty2$(n?Rm<%rPv=-m3=|@G_H?UQt4twQDLw{>$vHlzwB9;pUth3OM7V*VDol0 zAM`?*s*$;x^EkDR6`tbWj9?z@8-0+xXyv>)tGIs_SVmZO&Cs`Y?Ec_{WxTzdUN zz}0m-T>~OlqfJ*|ss15g@yNGNT{R>JS!wkicuF=6-Bc1T7h9|5EwUZ`$*0f0|4?NQ zT|vj7Fa*t3%5Gd}&!F7AI0O2_K79WmT&IUyk{cGviLqj&UPqRx8+z;Ps>0%K-};9i zXj78;+0`so;s$sFiQFd<+i#{88?06(#fj43D%^Gc(tN)r-)ZBwndbR0l4)o;tj>jO z$pYY%T7O3YMOm*9+jq?!jv1!ATSqFDmc>DzugA#UOUZ4amD_sVF_QBuXdk&gzaDkG zZJt#yFnv-+!8CY{rejnX=R;+0D5eXTLA6um9qa>g^hYxa<5Zd6Eq+u|w>;)53!=x! zflO7PO45{HK8yc*$qz0s6$KSeaSb2ZvZzaa$n?pn>ISQe95GRatU5;Au(o4Z3*``#*3odwdYh@t=0f6fxl|A z5}rr!&oUTM@yix1lyg-3HkG4rZL6K?^bO@)6FwehRnp3@)(S`m<0iT0jPSP$Vzi5b z1=+#i^O|ko>+l@J$SsSP^}m(0JlqmW8{zFMeeP@%C8iL5=?7=fE=-*jKfSfc#AsT5 zIaSN0Y8ZfOGKMobAR0Z+l+1g$(Y%r6CZu{#_t=oj-PgKlT0Flv{Mo9?V_E4zaF3|a zJt4lVawKV4skQD<-5kn?p6H2t+PYZa_$L-bAtM-FAzgVv69Uzq?ZmF63P8J*yeJzH z+X|^j`~%$(G?174a&*fjAkfc!YE=2#yaLpyF|H1eHP#rc zDs2zcd)W~sp}BHf*CuycqN0kXl@0iwx`x2yZ~SqDT_)hfkXHdp zVkYGeH6tjbTQ3r}ElV}fUL7kpR`OIr-(~`(S?NNrb4Et=4pLYMvhZ`FkS zC|}i}Wna~hUrpsjzEJz$H~s(4;lBwh`9IU)zj63qmi@o7;$L$3Z`l0rarobH_-~f| z{}nRK_h-FxJ~ivXvf+P{c0eRVWQD5)^#lIrv^SKmRx%>W0yGk`qICb2|Mr!{Rhb}Q z+lP-J^28B5(8ySDQ6%V4S2B-O0P)weO>Rqbc8|B6hyWYch?_WWY$P?&#VYw^1B(A7Et|pBs_N>%4dZ?S1Qs)wMwkC zfc!k!^q-&0g$fm z#;=4b>hJ$~qWiCM4Pm}OH?p&J{^w%>S$j-KA}}6r8YhU#*S@4evW6S zDZLS!8HVLuEO)laE|ivP)d`c84aZjtlQ985S)0vch#WP#6~PLGWf^4&{m*?-H(PTS z==?tMfY0_G*K6m8kGrp@bXx*uom{CpSvom-+8^&JSD!geeq69yA2D5@dVZb0z|URl z$Kt!QdO18(wY$Fhv+|brJAPgtm$%{=wtB6X>baL)Dc%k3kCWH?$K6LcwPHNeCcpHY zuity;r*~$+hSxMcn*B#UzP66S7ro9m6JFqRvDuU_@Z;&y?X=3y*Z1-9q5i(D@8ult z&MZd^=*~wN$Mb$+`1t1c@*d{*&Iqh|L_#p~ZhXE-$!$Ud)B8E~ z`E*5P6?u7OA^SRq`)#v6t^ZW3)et8J#u}ek_so&c7 z_r>t>a&@|K$mYWNIIbom44eFL#(aA)&aQ0{ue(FlR(>JH9f8Xg@@ItLB5V{#e`coy`9F!d=!h z>&o0Tp1L)>#!D7Y4?AaZ^b~sxS$SuE>a#ds%IRpwt<_4NdM~$oex<7B^>Jrw8_|Vz z+^V!rdqS%pyKCp@0<{|a(olj2X$TST-x4KDH6KxFA&sb zOV=XHicbTJ2}s+wb0OtdyneT5c(}faChTo#dgHe6n|i>LjfwO7r9L+%4#$0%gyX5L zX6(2F}_=nN}s(^hp#) zYZMTRD3n7NtirK43PsxH&-(#X>jwhjY|=S1%`?9elv+ zz~zYgjJ}v+zA3mjxp#Umzt%iRos2I9KXAr-P7x}E*aH}DZ;Dw z-J^(>cht`J$D@ohIXtwWr4+F?(E&Qj5hHe~$2#sBmew)MNoCxwQtr+C_j)?T_>{LL z;N#b!t)K5pb=#<~(c8oy*RAv0+dDhn>`mfVyBj>W>je)^#;Sp&SGub$tQWnW5oWA9qOueAE<~$N;OH-&kjPpHSppxg zA0gJk5RwDcJh3WrMlTU=OGm)>6r@*$=()Q!JyWI?un&$T^b)xgn5(yIS5~>9xg(-; zy{(r|LEMjnleU#Y>#C>XlqSc#2cuaEZ>Bem&YeT~%!7;-n_HiysMn9(+xPSP!}mwM zBXQu^K+c%I)Untc8}Q28l?(X(QteQT^ahWoqw8Yzhc>h9z+s(l!q=tJYkaD%3yI2` zOyyZtYlllG`075V%gH0_UdYZw!zVLq((EXrPgjRh?RipuhigwXTb42COu*vR{W9m+ z8L$;c{^J1CVPv=?Kh1l|2l^R>{X{5dq<3yiuD*aX~=j3mE0vuq7J`8x0bMSTCd0<4|$7v|1D zy=t-*;a9RB8Zhgf&McU0mDIGi;Ww@xl*c%r)3t)H=&I$e__gS_&IlgzyYS;3;CZE& zC}YVw0WU6gAG?31A_ z^hr=Ein&pY|59T7wwl^_Xd|_on)eX=9{UtD+szU{G15X5uIIS$v-c;lC+43M;bfN=J>QL8gKJKnUSk6sdP)FNA(UOJh<$bel)35gA4`Ibm*ZE%kBH z(~j_9Ma;{pBN+e(=SXwlYfi#Kojaig`!OwP8wl@#MfkJgo)|$po240DLjtNV^N5XF z^s-=K()C!hnTYS_e8Z}ZUzY}W`36VJ=5KC}N3f9Y-wT)RWeZh*Br05608o)he!qTF z?}Ck;)|orJg}QmgnSf!!CYCT3m_{VH zEQ*_`OFF6Nn#8BrB)>fZhLo;`$U&i7Ua&>r;v1{rGO7^|-4Fi3i>QZUiwdj)={54G zihSXFh8SHrFe>nX)Ny%ar4d=UL^I$>vt(lJlokZzrG&=t3Kj8OOl_gPB=T4Rn zhWw-KZ&HM3^nOLWUAZ69&Ks#{Jkqe6FlEC5)cQSC*q8h+7c%#cN|6HEx{>E$(mk_t z#WMhUn`zT6QOGsJd_ECOog3NB2B-_zeTs(J7jcjHaWHM5i>(oI2{E6K=ry9UPE zB;eXb->T&Oy&j=$03VpIfjs2P)w@3a@T{5;o%kdY=W6p44a$AS;*Ulk4EjU_>EAe$ zIaPnAvCsDP3sg8TQUeK#6cmPq<)bS3RQrwl?F1dsX}S?K=n;P8g zI&YWKrGH{y>At;bd=d;rL`+!6NgEMK%t*Q>yON=bJUHGZzwRHXu>IZ?u)8B|fk zXTrsi+MCGF9Q58B88)H2k z|3F?6zFVuYu*p6vJg`q8dc)D57)2sbv>sRGQx!H!B*q%Ok1KpDR$WDGx!6oo1jffD{?6!8btZ1xW!FU}>m`+VFJ3s!%qJlrq0Z#yPO>$N`hMf^5 z!>MD)L7|)?0Q)z$)O=E-k0)VrD~@Dr>zPct!VG_4GAHd7!#ug5dACNiKM!(|+^K4s z`#&oFM7x4C1c`7Zk132QtO^YeBs)}YqXP_4xP#{52K)n_y94qJopx-L|1Lk{`8cF*p8MEmL)Qe z3d4oUL<-f<6I&=FsellsmFZ)HBulFv^EY`mlTuz$pj5iirm742zD|}0q#ygQ7L0s; z|MF={3ih{SoVHZKVM$G*W-qp=>=ECsB*^;>&hpP}E5j95DAhMopC2#M2ivwpME(wO6&X2mC+8!~OS#Kt6l*Jwh^yWs)ioaV(R9f&x-C}lB6(xQ{= zFW$^G@*q{MkWVi2SskM>M>uSW&Auolh&bkE92@^HX5KO?u4Qf1#Ts{a*M`P|6A11E zcW>M+kYK^x3GNWw8-h!45AGI%I|&*g;Y`-rKhC%I-sg_<=iWO;kBrQw=j=J&SzT4{ z^FCDpG!RFOUI%yh&42~DDGdhUk@!6o;6wI|wjzd8>6Z+~%#U9jt_n`X9T@-9ee?3s z=t*CD-D^+?%g66g3Z^`>XFLRM{n$=;y(cj}*t3mXsJt_AZB!UIzb!cz_*xd=8{{We z?*cyf=fqdLHvQL=FEd~s&!rju~|db{y67y=?wPcc%0hktb$*9+Deo&&|mzo#H45D`0FXpi<^)7tHA@GqltRnf&I&C zzvk8Tzy5i7Axi7`+`aB=UQz$+;rQoN-26p+0nhK%ZdNhLl_`4-im+$T9}ad-4sU%{ zCq4&=_dNdGnU4%zkHtZ`UOj)fo6eS%KQlx;3_kfY(rJXpS5WD2^3fuuHm5H#FUUq8<>%IE_# z^YZ@>(_svk|A*-?g%{x&*V6Byj*t5C7i9HK;)r2*uyB*G&@wpTjF%?3`Uc6ZB5rS-Qd^UDuNfUJJWr}ouUDNUu9F?kp_v*h ztF$uIL2tm?^wU6WO2pA~9yyxP;i4WPM~olCety^K7QS^6W86b_p|*}8Fm-j$EYa$9 zKVvL{%x$*u$6yuGljaU=eA07HHs5PPeQdeiXiS+G3ptJfME09&D+FRHd%{VUBf~sc zX;Wrqm+RHKJTGPktQe4(W47Md78ZW1JTG?O%BkET>+3T_ptbo>XMXNJvU_lRVYJ{X zNmRpibQyVd7%2PeKG2VQO*>-CFl&ewxhR)`iKsc+s5hWJ=$9t^g+)IF=7=2vhHkY41F_^3Tdk#QhM(C6p(HWS0B@8zJKf>hj4c=O1qQKH0_ZMo-2 zKin|7>Pg<1v7eiV3LtOeYGDWoN5sbL2xfg2#OQMUpv#vmyK8AK+~(g051}b@Uy`KT zY6bq#{B>OEZkA4%Mv83Xmm%?maJBPx&DC=+U_K$t4vV<<%`Od2J4%u8@t1viI0efg z2E#hp$m5PWOuG)XpA3i!uN;hr1wMio``m}+p+dOdD7&GL67rSF> z;h_@~uq{?X{SoxiTg4<_+kl;4g;^h)u5jfWd_23`tdy-zRwx6%in-NWN^UX%c;uxG zILFf1V|~|rV%1WrpxCQ=CMSin5O7&Ebs3jmw9{AV)H~lL2SzdOLBnGU54(^zs#D|? zP=ihgj(*@6f2*H!&D)Ufk5UiJnXUjc%<$S2wm< z$t_uuxLWYoDjJlVcHDrrrl*_M*ogcd<%1ntD$gs1&vU6)I=Zp-N_LVG%olRNT6GNX zx{cx%G$ZTgm8zjVsJYC+sN|gsyzvk2VP>Z^9qa12=Hw9mGiwU1F(d$BW_@YZO{;HI z2|DU}Q#DJRS#AHg;PjcmTx4nl^{F`p6*M*NhO?js$2NucweOX zm}*+iLtK{q#8h_hf`z_|leXtOYebn*usnv(GuHHuR#~OI7&?Y9)D)s^WW3~`jL{lJ zaF0WBs)!r>B4DBWGOfuY%wyF(DYlrgK?r2e7p?eX%zjv(jHGw`R+3FcFg=WlrB}6| z(M(ilO-YxJVRpwF)nm*k^yV8g#~DSrlCi;|gp0;YE@CB)e3{+2CTt~p_HtPx$VJkz{kZrNQFQcUKxS@~ElF|j= zE?Z&n_G+4yG$;Oa_KdD+Y>VNHQ2LBv>O?(blR|DPvpd@hADyX~5b1`kclwZ?y%U9K zOI4{vQ$Ld_us*@4sBj}~SPDJ%@vf?VhoEU%Q;5~sO3;?bi@hUEDt%{7#BOHWaJm@# zky)mxDx}NbuvhE-hR#BBV6M?JL;gw=+uBU&{Q6vAs@f-?(~3Ixl$UIYB)NMLMoF`Y zye0&axg|-PT)gF&XZ@32QO)Ue;gfcq>c@;XS>gNs_9pGFzOFAgDd_6%Bq{Oi!-E;P z-%%2SUR%d}n6s{3;LaK{T1lNq-D=HP=s=~aXru#L^!7Do5uMgf8r-Xz@d(P(Pg;xu zy_MfHF{sfozg6VQ3C<44?9j?1zihTP9>Z`y=>l8&7DtYi-ES_5#&LFIaf0ni$>W7} zo-?RF_&3lBBDyJx58K&vrZz)ADX>eQVajq%iA!l{H0mA;a2aHL@Q|ERR{HV9!#h1i zSJkdVuSU@@dS2N+8!OU${Ddl;nQuz1X2QsahJ*+XQ`2HwBM0BP-XNpJV~L!7LZmTP z7F0VoGLpq#`hlo=PM1x9uX`cond9grjZ(A|Z=b6HzvK)OyBuyx+Oby;W07!Z#s-02 zh7qnyv&9VsOI~fMw92lOujlxOZ4c>-1rCyZ_Om=r$ zzCnx)>jbCLd5MG{U2jRVfc#8D_)gA@4SL^iUd+#AZ6E4Eln->yaPTvw9wt-5oZNeG!@6I{itBC;*nAVAIWd-5U=|Xc=Bp0H z5Z}zv(oy15HbYp~L<*7)Pu`J5iVjJZ70B1Sh(j?6xVD&zeIF!-{Fg)>7zGr} zPzTLn>?>3ej68V|E$EkES6O_5vLaYnwT)s4#0ucZ_+ zufx_?4)3GA`HMz?x78aaO^B?_nGo2TGV&qkr5UQU*1B0cb6~C2cieVV^{Hj8;YL?E zJsXLz`~6~sNNcTS;!90lL&XHGs648}4NP}^hfI}*UOJdKPnsQ9<<_FXB4araU61_X zqkUJNQzx`dM4=@Xik*h1=qBuu5{Mo~^!uO)acqvC0nwePVn81@686DZqV_WNItSwG zk;&RFu}9VrhT}$6b>*Q2Wa-bPl!SSyRWu-7$>+k#Y&8{%7DdWfgk%9q?CjrAhQu83 z+rRNv5!*z{3i3MU;^+^W#rsEUjGM{I{sA-nD$nc)vbF$o3jix^yJI@ebgsVk#danR zwxo7DG`=>IH@S=1y9pl^fCkN}HzlW0DXmsl44K~k=rPB9m+4YjWKOob#k_g%ya4%> zK>B{8ku|oXgkA=EO0Aex{aj6TSZu7V+Qhb=+iPVCa;a6_o9NUy$*UHdoR%6?#OwXq zD=9clo78Gluj#-+3}kzS`hl-O6HedeL8pc&5VUtyMu%0?O!`bqe_lfM54y_b=-3OI zDRW6eHKRDGNazI#kA9(1l?k4X5)O32gBV@>8DZrzBepVLnh+bj7G=6>^C#sL)OZiB z9?MVdDH9=m;S$3+eYt11&xxx&DhO1y_oy@sgBtHu6$RkDO!=d4WeC!gHE=>kkh7{% z%q0ZV(a3fhU#Z1z!-?@2e8Y_$Z)rW=x|LFQ_-3$9l6cc7UoK_lOw*w!CPLKV@N4Gx z!h0=yinf3w)B7X7whD;MeVKfDzbNpDRxy#ZD(&o}8`jeO-fA_Ptxqo4({)@g0@^yn zy0ZRe?>hyVmrJmhpZ&8#&4!OVv*#^ZuXAFn3zlE}*}v?0{`0avFlTerigMDn^_mC6 z30E{s{*kuz8Q7)OXDGh775Ule(nPNkPqMfcu*59|JvBpyWf!a}?J_dqi^cU!TFVh; zXa3CRxl!!!#J*?sY&(xD-nftsadJ8}pV&%h!tfiUAal*o>lF2pS*|n`0~s-G=A`|g zEhL&eF826Zqx9bjctpJl>Xkt~ys;I+dXtsCUP^2)qZODuOO4E(i=$(52ei>LdfV{H zb41Ej=)oZ#!*82mF$g~`?J95;-LyYtgMVXH}*f8vl46%+3 zHG<7*>dor%=!+tQ3cdgO}slg_`IT zpqz5ar@3m5B27tfGeW<|ZXcLUBC9=4n?22acc{%g%2R*rpk}aG(nd$5LRay{v!+a? z>zI$n62DQsk0lJ^jg?puM|{-!QmvpR#!5Q2_wDpmd&I?U7nL$GC}1~l`OffA$`op_ z0+SgfLIV?6!7p6q#j&PBj22Ny?2;j(IhwI#u>xt%qJRP&TQU9DSy9J4%TOjdqlI7> z8aY+%rKZ<}V>!K~7%Rlpxep>bCc#%3k^_~gZj=tHjc-9M$4+-r>R@+;*aa$_2o({M zeM(qejnW6#lxm=L)%3ALaJhKX{4s~+QR-;dZgI2SRdr(>4f&E7k;_=!l4G{8(6$BA zwgOM!t7p_=rMB^?CVr$Q7_qJn)mB+|U%)$ZYfez7A}tAd@7XnUP4;q@2~d&w4U%&# zW?X;>rBtk${1v|>+MHu--9_nSvcpdvL1|HVNBVF;sx@Zw{%Y9g`4elN2E`JlA@Ad= zhb#u4W6kv%ia)m=mLBUhG}g6YRjSZg7Ha|%FIL6KO2<#?9uyL%r5Y8~8v3*piA=B? z>(*i#P3=Cj&IM=erzhlUZ8!R#EK^#ZtW1JR)S|{$&8CSovfy^I#(!T1_oZsj0mHk< zrhH6=X5QPBV|3z>R%?Sajpl;|*om=hm_p@hiL$!}(BfhpfCg71Xl?}>ACBpv9giI* zKA>W3BGeGR*``9yG33L}qEiKj*%$9*Lc8>BCb-jZ6E}wBtkSiZnluH+7cM4+)3Z2= zya#JsWNd_Wcrj8)CW)yGg(WAHF5?(8V#hej6>Z24H8TW5CwB;b@s0#qDcJDj?DMU1 z;1+!L^&TGNUU}`%z5Ak(%#$Z;Uwe#$2gScw$V$?W=gW9ikzkegXKCH&cEg2V%3`lf z8i>0gY>zG?PMV09&WU=l6IX2VlDgN$x7w>IJ@unUe+4mT`LhkoD@Mv$>b&uZOwBYjAr|IZ z0%v{DO=Z%0dE|IWLwNiq^*b*?I@ar;sp6-RPD5`wCseu>o z^|_P#mfSkfU;RT%?o$4yFXNf6X-7`ndXtf#x8tIIv(GR~p^%*eN* zC3;gcw;BR%CDd@n>nx3Oh+TomY9|J5?rd7Nz8P78YzceEzK+@4$@|yg)3r`vO-2+h z&F!|WcW1!&tl4|BbBJ|*Em?txX|E5u92c!Idn>!wwM1=d$~4QKrPEja^#x)G-t1@8 zokZSoo9Ln=F5!95*8VA&k;TYLZNvMsB{!qNTa{(8Emh;KGxvR)N6agiz(Myva{mB* zl`Xj<0b-Be_jxZ)U763je>C6F*j%c;FqyhuOBV=WuHFIj#RrJ_z39v`$@_$jG}w1O z6uHjxdh9D-ZxjQ5hDoJcGke+z-m1d?q>ojQ@*0I;GUjH2PN_s?EW^wa1j(thU+ZXA_k?s{k z2PVJg6hOc8GmcS`TEEUofX)-fKVY;|MM~RGd}&^zBB>L5M-rTb47L+wo8z=;A&)7o zjaWMI*7Qa{yqk;Iu~~C$&LO@)8{Z@-fw7ok+TWk|SK`7WqU_H6Xk?aP@TnJd_(=J_ z1@j&GUe5IyuzjNmvy*q)C4 znSN2QTe06rh3XbwDL*~MV^J+AytOdoMMaIInS5#FMzrFX;F|lU| z-hsdd8;wjOd5mfy$ikffePfum#IQ@Uh8P;x%2q3fe)tCmc9>Y*b8on#{9Pa+`^UXh zVz0R)z^uebx##^^R`b4S%XQZ8S_Ljg?!+iXM4ik8{PR&;hYaMZuavTD*2oT8_PKY4 zn+f9wi--K0$?jlE`B~42R|{SbH;Sv`pPcNlN`KcZ1HmexIKbBfcP)NUY0V_7rQ*Nq zkEPqZz!;H(Lq%?=AS%`r@`eh^RX8K8E{yj91Nv)_FG?EqaP%f=kwC9PExa~D6+tJ@ ziT$(k?_Bh@SXi@Xrv(D+gTyS}mT_x)lpe2`!=dTi=6o$&{pjsHa*noVda<1qw=o(; zDO(AeIlqQrcJ@u?LvaA^F?582asR$puRl-78qgvuwDGL{BN!H(A`yBUmUZd>px#Kaw0M~ zP0;K=-_DQc+QNY~$^R4aYa6{hKKS*MCGh*)^yg)k4rM#I;w&>QZf$n{6C(Q&WdBEo{0huAr@I69Qq^5gibbj&hYw1H@DB=;9+93%bN$`|WN~dLgx42smFKp|XD~PF`di&=842Z8!o&d2~ znJ;DTCzpeA62183$HSr3hn<1Zuy-iqZ~eqxbgS%(i<@u~`&%p~Mk;;$PWu?(ChpQH zb^|N_Ow|SOxQa6c>_0w&1$3OOO4b~yQ?|v??ra4ur>0QS^ zKO|YcHrqpSXx)|*G!*NmZa_I@yG=SbP^;z=7vVj4xhVC*Y9TQc)gHUIsa_ zdoQTAK0hsoGk^E0X?Ea)Shv#+w{sv1g`q$rPvB##?L?r@oBFWPN>v10Ln&#{Se=JX zoKb%1rjy<3WLe~IO;C%zdH(wcDls||4)fJiRpwtr5Tmu53NtZEFNXjrCvJV^1WbL7 zV<%~7|;`o-l*A1W)M) zt$X=T!&(kM_8i~t|M2(wQ=Nb?NtfuOhx z#%zLH{1mZ7t?TTHBcqKmlY{ZbI`QkGL|#noQvx63UL_^1c}f6oq)t2ChYxQdpn}*>r{cAp@4Fppx||3O8b_0PBM%wO&bGDqPbV(n`Og4K58& z*%o2Gl`x6$*u8M9NUxcJGq#gEkzA+@uGqjf#%^$RgW~1qf*JwDrDuWSNEG{j?w8Vf zUrw44)r9x-dWNPq^H3`$CR!V0T8P||CW5C|uOYaN zu3))8v|F3o1#(OjsqeUZdBZJy zbF3q(;ZYg+vMbn*dogOZlA0NNM+6U!6o=_ImXYksE;s&B?o`WJdEv8FMrczQ#(=wM zT`GnrQAnS91FyafMJR-}0_LfD@H1`xuy0V~jyjsn*Hx)lQ?jfBjppWEbzdkM$v!GJ z-usMwQz_4hauWi%qvmSKFtT7LW0575B=+Voavl>We9--{y_QAnvrjU%WL?q2*j_8- zLUY*-8?Gj4>fG(k#4Opl2ZYK}+qtCg60=b!JbwcEM7e7Ldb=V$CKV3o@^gHjA_F^H zuzN-8iV4%)sFD)g9wdUV!B9y1z!J4o73+FAbZmDAporl8Q5BxSP1X; zCe7lq`l9U%nTZbkGG^G-EpUgd4{86@T{C^db3e=3r30&AX`%l#=OGy6jDvEg%5<`^ zcu-YZAP^uJVo#N=M5Od`zt5FPV$~3aTL$F+C57>Z_B+)kac3wFw;O8b-um?E^VZD?_h!wS8?*E97Npkl zfwG!co$Q@kTstgYaQdayw}83I3otGCf@Tph!+o)5)Z_%YG_bUkhTV3w8!_St(M_k~ zr-aFi3l_NH^$iB1=wv6`8@mRRhvXuTSpI_7h8X$IR(iO|q@tRo{LBE9`VoZ(KelVW za^?GT?09K^ZeS0tRvrg6KbNg=!5F1#)>>=mSwBqH=4+qaDf*UGB!I7#Ucdx?e~4O! zOShbTBTSoY&sq{dYl^srWa*wZIG7qkHiw7KHq?Uqy=}fMwQL7HI$EHNL`D1!&)~ip z`5s}$m98-p503~AV-shqwIcZ=ofk~;X4A0_FCm;UDq8)IlH@w54fbAOk9b)@MTUKZ zY<%;Sj&KMa<02UiRO(MseQnY>?i|H~?3&4zs(<;)mHb2wwE-}89o*V%EAB8C^NZG= zY5PSuOpsO0_&I!GVk+wc>TLOVM$_uyCe{`G zb-daZEM!#;IhZ;t8WG?#R%xO;%rt1!l1uB$4Y!uPe7JQ2b3X(pwIJstxY%w6(gJ+= zvIzTFRBnD1BblJ%PxE)U=DwLNk#O_CNQRWTLk7D=(%;ZQ;J5(86TeP@i|tel8lqzA z-ATYVcUKEKN8={?QZ~V^3E9nOg^x&Gg+ZRAmFTRYU@LRT9aEE(X0wBdG?uU4N`_%` zM})6u?W80VD58q)b21J1HX%%fn$%&oH_3pDM(K1va31RcPvsJ&f8cV4HiG`Ck}9XQ zgE9;&eHDqyEvp^D=Cyb2q{E~M?{0Z?e1ao z{UE;lLGQ%;*cc)hxLI&kMm8U@)FTb3qUv~2vZj?9&Yb~ZEgm;>u$^~{jI}U*C~v8> zUt0|WdkG(o=RL$CqkWe-cLqb!pvb!mWKgh0hwfq)vL1I{r7<3U+txhRp#5x%345kP z28*a|0*0Zwv9BlQrpjAm3m*`76kwIU4l9Z9hr+KfBwZ%66F|*b%h;KJ$1@!+6>a1# zltuXC7&re(pKK%bru!C@Zu| z))^=%Ta2H%&|vY~PnoV2^=`&jLRBN6MTH&*ThBFtA&C?Z}Kz#FOv zCYdA28p%v1FwVx>^HfO2!V3`yXD?j6lS-a`&bw8gNgPW4A@fYZ zLnbK%!8!SqROEBXx3y~OHUUU_9oCP5A`DDvx?9KKi9gN+OiPH%*aV)*bVyAPO;*Du zBsnv|^?uuH!BE-*HChq~{iqp}zd1<`cdx7O_F9+z*RAZMef30R!uy=NHw>nj;INor z{yoc>ASSJwlbfw-C$$)79=4XJ!pBfC#rR|UdjRpV$&H40QNs8d63{8HSn0_0*wyV> zNqv|!qrrHgc-N>GC8>at!n!g{lQaZ4VU z5!PhsGf;-}W#9qf5ec^khTam^z7GG839bS-a^oHSyBg_f&eU0GjZ(21zecIGJSu0n zZd*!{flI0;!1#0vhgfkZ9<6_Y4)F6gUo9|uHjdP;xoNmjxUP^MYBA@2}-5x0gi9PI=Xb5RPA)W9v`4XxMqy8~PM09F#X{rOGzQ;}{It{)wH-S-q?`c@c zC-OtD(Wj=M-@U5=4%VBXe!41oL`}+xGvaKzDo+pw`UGK!w4NZ$&=Z7VF9RTqKF_Cl z=r04F&Ze5oO#|J@3ubnk*QrEJo#Qd9Ce}k|e_aaP-x@?T;W=b&Oa)TNjhtL))>j4< zKGy|IzQHIfV!si?#Vxj`6_GSzqv?V$6;NRc0=Jd?XEC&fIRiLp#pmp|7mi-fNB2Om zRFa1>`R@#ErSeCF`aG_PKUud5?~R9Jd~{y!w9|tb?j#xr2N|K<(#~v4zuFnPyCs2p z*HJ=d%BnM$?8?U1on*}reW9CI9fcdM;x;9r;Vx>e4YUud?qJyfg2N#iw#JufTC7AG z!Yb`Tq%{La5tB)`HKbL=*$%~qsmj+*DO{3F?PCC`1l^m&6Dnm08KH7=3QZM{L+ccS zYcs@Lyk5o`E7i8nqD+KdW}*nel2!b9SPsB$P&r*eNnedr2Mo;a)h(;JGc_?6XHAZz zporAz1X5)sFl9snxel=>zdny}dA#E3Mxk*%6Z>X-Ev3<9jIgtAjVmNMMm5SrS+0|HjC|?6Hm+kdV3BZI) z^z)JRt2@ZUHw-ES&?q=hL74`ISdK7{tlRTKT_4f$IK7g&H$$!>VJ||=M8Zsi37cM0 zCtgFDa#CU@fcbG2;k-0cPb~ohcZi}p505Q$B5@2M-k?c{TscPFBLI$ch`70eyTh{ zPyL8Vj?Lyl@~2+wH&W~=ELB}z)-XgnGHgFIJXMQ3zX5|glBJ+Z90*U~n7<|EMg zjpvf$8ZsR6%T6%qozkgC#>brhLJx+T7jLK`AzODS8%mTzw#vHu*MT0DErNHJvq44J za&~>2knZ)gb&Kr~@FUSJZVml#znKal(~m~`ngs@GzS^W6vzHDMY5jvvE;v)Z5TR!V zih9umVJe1%Rj^{_cSQWngrs0=AHCoTBm07k3)&YeTrq#ub>Pl%2igTZonOs=VBhe_|B zLDM^nB4`oY-&J9Jl_5xdc2^y*L&)T9Hhs^lt);5HQQsw7nECw^*3mUoF3yn~n%rG8 zmnwUR;I2{hTVU3m%Wq>m{Ej4fAOcY+Mn8oIol5XTe2hqHFxUE&p@=26sH7f%w?eH`p~sH%yH zAl9tQZKu4}SE91Yto;ZCm6r-RD7Ax#XY^IZ3S}gec1u2}YTiPxK)fqwlQQ4L?CnoC zFTXd>ehG=@O-~Kg8mq-`?&61+is9pns=ZA4EV^UCC>1s$*CmlgAlC z{xWG3t|v&Bz*bSD&n65w<#aU>BDOw$UIfxibfW11cKoVtVzNnLV*~86xnIYbWSrF1 z;jxE3`JoP%hq$b-c{IO3A6m$mr_Oc^wF_&ds&2!BL*0-34F&}&?z{u)qQ;T4I506(ZO?Q*aemzRD@3M%h($7MO+p%NzsG6@2iD^ziQcm;N%oCr)Nt`b-w z605(;!l)ScuV`7aEB2ClS>HH0G#TJWU5IGQ@-K=(LJ)5Tt%8*VbV(^XHdgRv_Yv^Y z6RA%c;r;`=yFVD%ALt#=ssD#bs}0nLw)`i={o2-S)m~r!)1-Bn@Y%?5HJGB&oA`0+ z((~`nCDHF1QjNUhuqd(lY55-}Z50Hdf<4wg2*wb#!v97aC&PLdRZ#!y$)v2h*rG1~ zaBvsXuiFGa^ZvwVm;WX35C0Un&bk* ze=`OA@xS|XGr#X&^zdcb^6gO|tkEa(9}B-eZ?THGh4mJQgM?{f>*g_#?yhxG!>g66q|Op zH@>~pHRTJ^Ew*B{!)F`5YjNufL?qv(@BPFU<)}aal?;Ska4jWwD*o;s>|uyY{~G@~ zjK{=OnvhIS9zJA4d`!JsjW=R4pW_M4`P)$OnpL8cX_&qEuX=pl=pb@v^WJFCP>MI}0?d96CE~+6AXvW8J<$JZ z=sJ;&C~dpW7hFUxW-j!70eP*A*-C$bz#!p+dzrC44r$da!Z6Zdjj=MJvm4(+r6+EWkZV zq-=&<%?!Vac3%8UqVa77`W$E=>9w6Y;Ov1u8Aa+ll4*{LqFDolm(22@xcR-0>H7`3 z)fQ>Xx$>Bl!C89^tZY-%qLj8A*x$?m5eJTfPWa5}!Q3e!@;0-vLI(X`2^L9V3HQ(M{5pdd@Y-2^kGH!wx?(f$R zrouPzlX7#T9@Plyo?)4N)zv;&-_D2k3);;(^ahxxk~^12>Avg>$kSj0wSk+1T0xk& z^-yX`LnyA$E~;n|*(-yjH-?_{Cn};d^@af|EP&Ms%*|6S0jO7j09=*&i#7>&cy;biJJ{=WmA$=9f} zL;n+VCIMR#{X680Hs0a`1Q%jU8#gFAxt@UzG1Q1i1kv>r7s=~0Cf-U5PqrU>O^?wr8b?-TmSx+@xUuDhjUl8t zu?jO}3r%u$iIC_Lf|eM6o|o#`_5dW4y?*KyKsyV%d}DU+g8k2%6>A_!KZdIbbk|X? zYL^enwIyAI$(oNF3dP8p$3`yyUSAi}4-;4W%UsHmv}n;)$edu@HHLtves-C2km(&$ zZco~A*QJqWsg3Ib6lKk+<%7Vw;AR6&#_trpbzq5-S_C(F?-6{2lo-kp%ln*+iU>9) zOCfjgDo73;#C0flNQpJ8=8y?jQ)4lhM1NpxV7fC3WstskxAk1s1Gg45Ezro0iWo;# zIY<5!3je{VpgnhPCm*rjd#_GC{x?fk-JuR~@u(441Mp>q{@Hi)_g)~^#(@l z&RfGlN4N=?T^D82C?DaRIBq?>a|o@xgWRm8gq!?tZH!{XQCUvYZ{=DE{MjesDACzGYEG;}o*jUk^@Q8I} zWG+tI#oWKR#f^c6gYHMeLNt3~7k_XX>$b@_zQ1N ztDloqiAgu_W9l4{gXk+QUL&}VCo8Kp@ zOb1{aob>qFN;aDvLB&{Y%yK0c4OrjdeYCEaB3i$a>ut?u=ZAXkHS%1_G<#ptK4 z+O<*BAcRXGU75iKZlHoakD z!=2#eQFvjEy69F&joKwHsFkbFdDwfAb-&+tW6esxitG{}#m=NS0)1nDC7k)<3P?Pe z$(EXe#N}?pc_+^GHKoO2LCy}N_oHcOJluryMDP9#r+A*KU%YhClI}sNGYnL=F~;mn zdLyCC*%5LQVROc>trT_J&`btfkjFzzrgV`DB2j6(tWXsk0&-d+AJ-av&CDeq(h@Y} zpwG*cum56i>4z~BZ7fPL22*>XPbzoe^jQH5P>z(4wtaXS2uf{}#xT|lKNM1(QV190M#UTaIaaCVu|tg z>hZ-JVpU1E1;yN)O*!7Us@`~1$aBX0QuXV?<3c8q8tNs#;*sr5Ve|F!z0_%88EVNS zT<887{|-8fwg0#=`&8>;*po6%&?ncI2Vwi9CdE|~RqzqUb>Uaaq(${b`5?jKss~kU zTC__HAw=iuOt*d}Ee6r3_Vw7J-z|z%N;GsmPXO+>S?=X|_DOVy=+^DMO0gSaFm?P>Ictj+K1| zN*J~O*!Ua46K&c>#NnOr>aMPH8*5vj2K9lBM~dv-A@-d zI5&Wav6oH7td`2#6%ewQMLOi@^E|0xF>F(d#4v!*w?q*=;nkYV1AEx-e<4l|0CBz} zY7+ey;;d_gdOux?hv3Pi9dI;py*<3DoC`rBA)&O@u;y7V>0O$jZWUpX<1AfTKMLLNdp(Jm zyQ09{lS$x7B*eo|okQErs?-dM*m82^wZAK;ZWUl7R*;Y$x0R1$Vj{wpmX8O=wv*Rn z=FSh7c)6(8EvKYi4C^L9Y=&|L*q2(<6^57x>zEj3Vq=&EvMyW2oNh6d(m#&LA3`;F zf}~I0m>B>ShMknlVRlXXt{p+DewscmDye#j7=tIl7?z@{IJ6JUja6cfi|{`$MdOk7 zm9(Wl#dp(q^Xq#CS#5KqL}|Dd8EaKm$@ZGe9c_^Ncx^LsFFxk&t;uxsam!M!T`@im z$Ipd>DOewVe)ur?erPT*e4Va}#_VaG&ZKOa>b5r@XnTRi&5*Go3B|ND1H?vc*WI8! z$Se_f*7vdlv%l2)*R$pRTmb>*WkDY9FQzN1+3&lbaHNvATMW1cI=;>|aYQnBYTQ|0 zaHa4dRa`7T=fM*vIzNDwqShu~XBY3MRNvxO49E@L z1%ylRaBEz!AcXR6GC>OGiCyPSzc>RuDxq|i9f^KfF6_wJEhee+koT_|fD`-dy5!m~ zm+^GWnn9%RDnw7?4d&+2YyLtd3#dRVifuP>ZdOf6^&pxQGX#B6U*p|aOtv99W?Exc zwZua0hiT>4Ni=69vX;*gB)EgTqrMpDvjo{3F$>7?Kd#YNDYVzhCxUyH-w z82rxqLqD>rN@nnd-WI*O%EJNjjSmmQFh415)Ku4gyx23itzzbF&QTixkoTp2#g1AG zz*EX{jFE;XPR98gG+l-VLeG%?x_Apviv)$~k#hu~sYN==XRKqHXaw6DKLe zo{Qk>L)AtGg8f$*l^l|2SW#4h!pmDXz0KFmY{(5oH} zD229Pr?{SsH3E4Hhi%dJGp4!@Ulu#y2PIXdmDZ6V!l9^$lx4elua)h|lmYr%|17b$ zJk!4|9g!g*@{vy^E<6j+>c>v;@JRw{H69A)gwF+;nUj3tK6qbfqXZKL zdmNUD%URTsM=E+2{RglArYY(m zx;Hx%UK}|7V<&^ZX=LMb__}nKnN9zHe;(BL2Szqh+YZcO|LtU6OhWcZD#3q8nE-qx z3y4m8A3*W%9P{Lp{KR);!+2NqP5=Kpl=%d08L%rn!j%89%K%_C&waYTRr~X`wBVyF z4BpH?@ap47qb8oia&`(&x;LL@nohZ*uMeB<%L_OUF`98cQeR6y#-=%oKIG|t5v}Zh zy@vkz7+Ayqc+umfy<reu+uc^UP)MIH(e>^mw;DuvjY~z6Bq}&B2gfT<}K=M6SA$gzWrO3IyNO?4!38m`&n{ zZyA65*Dh6uq1TkkR%-Rrwyh{Mwt^^7gWqe~H}}gQKe@aN%%}RNe%ZIG8C%x)*>qZs z3&({kg)N8p!P)4Tgl6v}&eVu=Yve!nsj8nQI8%-Kqj7h;%B3p%hg($aW0$yNXX$6t zN0H7H$nCL1Px9fzj_;q?2Z?jyjU&10@@2$3bFotDMzK?Sew)Lkd7F*0y0%`Lj?br+ z0w=61f2o&&u!IfOPXRRn^BL!kKcO96`7BTKib`)!(-9nCsVr#Jxf7xJXWh1Xdv4mA zX0r&M>sxYUQLl}2F|Aq>9;-VbW$ca$enzxyh`!)}viWHKb^rRxWP5<(;~Q?u6>0NB zrEF@M`VF&tfCUXCuOJiDV5BSi=6I0kDDzXXS%6Rca(#g%IkTEMq`eBH2p|ePDMf2; zN~6#~ZV?G*7#g6H8gu{r%ls!xBuaXGQqN)ladmf1Hnh!N?3Q;*rn_5Rx zf--E9dbmnvsqxLC!+8~yej<9}Bo_ne$OJ8Uf7siPg1&Kqn+!XGo@ zguGIwfU;GkDrS^D@erri9+aC2k_odkp;vZ=C97f)Fpx!>N4yLTHXW+EepMV>XdR zc@O)RY{z5F5_gRU!Ezc?#~V8(tXI*s(>=GTAPRZCOjxqUhuLSl%epz^h8w(*s>HIU`Ezq!JPgvF_xsy>rC4fCSr%m>7Km#EJHYnB z9`wN$MvQJXTzF0^3G^XR@@`hf`jT&-HB?WZ%?|glikJ;i=0wvdvR@v!t zX4?hhRcF;OFGKmM_VQwZMX#R>bwf=d$R<-Zuy;oDK0Fl09QFc-BD!A21=SWxPP#YL zbZ-P)DtHdza!S|F)zRi{RymrZ;cxIXwWQ^HqO6h5y1-r{vqnxpN!ApnXqYrwObljE2Tn`?F{^m83bvM|}T+kGlux~Pm4Z^mxS_jFc zs*X?=2IV*n`F6e1L4}wiU9M#2?xc{;OvO858!6efo6vqR#*)IoDmG?>vo|177p>EA zO0Sl%gKuh@3I;jusz2}h3Hqc;d_$qfz&(*^7h=I)CXHFi@2sJaO=c^QnqpX|WJe4$ z9+1daI9tWnj1}=^EYYRT0SXa6W`1D~sHPY~Gcm1sH{y|>B+D=UHXh4Qs%zY|QLOzo zK|ZF`_&VVeeuo}tMK$Nc>rXz<0Hm@6eoyi_300`$s=a;l>>MeSU5MBSPYfHc)HwCS(kBz;ei^Ld{-q@ z)EibVTE!>0pO&*)skjm6HG2pV=AxerrtdsQ!{;+M$o)dc0R7Du&iq4!tIIca>FygP zSGP!ba{#T`4-@m6E)mP8|N41_IQ)|6`E~;TH&!gm2e2Z>^oQf4JhABy09JH6a=zZ= z#v;>a(`Fv-k_EQ#(zKYbG&ADH68~!hH+BbhLAz?=0fCzfztUpEQnsK>k}>cuUskC# z#g|3S{{2Z!bN5!L1Tv)(E0uYAhyzppAy7u>C52lNzU*d?{*F4H@GTj?>=UoD1Hn6? z((Ta8M+0sy395<+64e`G3XQnRwy4($(qv6mUIcKr+&;VeI|*UY2|OTz{Y%JujR^ZH zAvMV|r9YT*#AX^+>!T&xnl{mndym02$|^&h^zN)|CmC|y__va0}#YU|oV2uMnYgaSi|0}Rq3DJb2IltVKN%m5OiB8?&q zN~h8x-61F-NOz~y&<*k*zW=%3clEpX{?EVXIdk^j=e+Bzy`Ft)?REC6L^&Lsm;_#{V}!fF#e68=+*$t|ibYUb2cABv+UwMJFY zoExl16o->qI7iXn3pU(dH4(A%pmPc&%FDq6#UCo%V#Y)2zfh-;m1hCrksl#o<%Fz? zK{hKOTi;e8F&GQDB!QQu72AoNf~tf;-N{FGTxiU4O83a|klII%ZAqCG^Jq;YFJgP~ zQ*pFRyMzWYK|%Lb^lT>Pm^d0(m*L%;=$9_2Kuz!x$@&|i?QYmb*mzLH7U{Uz{dink zi&NbHh-TNWIR6!*R&Ym~NgBB?U2q~J9rfV2K^eKnrkZre(SU%ispY=vu`{d8C9;-bf zw-ioaTty-nbDc|=adNc5MOHf&7-=7l2hlI>bJ>%QX6j87H0x(5q?#S})dbPBsB^_1 zs3H>Z2Z8vB_YTA9tWfNQTYO(lK;Q@aBss4Hb%wlV)slMGH0<~cLstbTsC6!T!435` zo+?on=QX&6kL<1^g4ihG(XDp@N9}6{nGNLxIB+-HTw8lV@rH$o^lL1IoVcI-lG+^Wzh1KMs zrD3o7W&%IfIK5Ik<2l=VrLek}iw_hQKhID`u+=ylzW>EKL+bP$1p9;T_T`2quLH3o2H`&->y#8%>i5Gm|NBou;v& z*RgCJqoh6yNjNzAcGWc9P6ab@MEm72jQ5n=GLB;DLFTyK3S_J6zIMbA>i3T(h`E2? zssB(}@p5_`@cs=LL5W@68n1#JA6?rC+S3jPo)E$l?kZu?9zFSh!F%;JH(8f3#pSa& zSXs<2lL=ej+S*RO2Z2U=4w-S){=xPfcHHPia!2P(gd%3ryiM!#@Y#M@a0MI%^_-s# zwvc{(;WsxnjwyG9`H5 z)T@N#K=P#=ZW zp1W<@IPXlBkO+|F~8@4D{Cwjvp;EesAviES08Ed_)U(|6k&MuJen9~p1J4XVr)+6DnD zAs-2in4pw{M-LyII8PerJU@R(G!zgFsqerjCT+?z7EX=KCwNgJcyg;Gt7`FU_*)AU z-FlNI#sl#h%w3=^sPndH0H`nh=0+J`c&%_41r2Kj|H>Ut9Hw4N+D#P`hv=Fgb~lXJ zp4yKRxG{e>1{vR<`h3%83~PkD+h3ZylB4jpn9#l=Dix(=6N%o>{c^FG1JTRii-X;i zxl?K_5|hT0J2=Reu;~goq>k$hP}n;-mfNy0i;*aXYz?AAz`=enzehDnMvEJq$-{e_ ztb4#O{rLozUSYR?Gc7O%h7qS#$7+7ifONR}*tcMj#OjWE&YhT;R`Iukz>E{|N#V3b zQCCAsi<_8NXIb;Iow^bRP41@i(cM(V4;aKl;q_h4GFjbt+-exKA3EVDSs5#oqmZx; zc6Y%xUWx$695N2z!}VYSTzM&|2#DT}tR#7AcVQY$RBB}SQScjlRfYIP32~b^LHoP3 zU0Y>(9 zbqEcnhjTD|M?aK)Kx_tI zp>;^kI|hszaOx?akSkOx-^vE!9}Diaj>>no?Z*~LIngF~lH&%d{wFD4i(_^M-01727=!P35@zc}Ka)M7)b!8bb!x`CKPpK--9 z)$-(!fO}X0!1JL6*FEwAL)B#}6lS`fBks3jLeF za?5F3#Twln)7Kw|a%~&tyn=8aB8y$HX=9x5S9gg;G3;L=t>1%yjyR&K^m+eKnfuAQrj>xKHF?}J?klV_*f za5v;rw`V7-twWo0-5U!VsQYJ^6Se)*f?=$udf1i`Bm_a|vxmh52*(XyJ>rSJay;w+ z`mV{|Oli&L(;24&8`gnE!l9|Vhlsjwfvk~M$BzZ_Oqq0sB;068vlLt;KK+2UVK+IH zFJ#2hO6dwfP-3uM|k> z7)K~+j~!(y^p07mQyZiHwf|Zl7#!pL~w6*jY2DNm{if|70!Va_ghk<_N<* z_x02npIWb7Db~zg!uv~VjCauLt|IHYv(gNA_MHh$ajbQWd=t!tpKkL~J>5*y=^ zq^j(sszRiyJfy0Uq&=XUAI6f3s&cV-F8phnXozso0UU zbxQW$P-x`+8antvU!rVBMuy0pT$G|d6I(-PaBAmWf@== zyB~irl z#&$D275ARjx<6}cyqv$^o`eMZoN<9O%ZQXhXI?vMD81_oc*qtr(_CeB=_QZfF8P2L z4o&wT*1V|{yfVb`68A)x{HI7F;B>K!@0G{rG8no*7`Y2rLVto2OB`(rbNJg$?5y+9 z_G7tWpDoVW5}{6<9o2i+JFk`asFpm3T1y{03Y(8vL>i>tAuL1a*e>AAUGNlf<28n^ zxyfs0S1qGUWhHs0r#8cs{JvAQjy=7^`3XO^Z8)D>#bWaD7JgZLyVDrntVT*Tm^rwF zb50MJa_lsLH}lL<4Q4McQPo|qOy!302+cZHVYqTWtH#($uh|hQJRg{w=e9f19GgF3 z7c@E>QL)KBE;8y>KQI+aOWSRP%iKG7KILmg3|gm3lz;JNGhOe3%g;6DES@IE9d}#& zIqLhev+~Q4Qtf+T>TXlJA~DvIu$euvB%%zr$u2q$8P`25c(MeYwU#R_)dEMvfyjZ? zo;Kgz7LE67$kc9(3N@D&QnF4XM(ZK$Hx?zN9V2g{IiF5a#^xQ|E_WRG&eQ~58V!@H z=Pb5vWl4QPk9R@CPUcK1G~dVMD-4J0aQa`vzru==sW511kRlTd&+AK7dzT7CQacXW_%6fi23Pa}7fE7p z1l5Q#o_jOH_U!NxH!v|eCOT}6EqYhPmNvZr9B>m~iD0vmVE(Zz0gI`8INKnwYZzIg zvppA@YTQbNcUXpGL5|nnol}2lTKzwA=;wPYevr9OmbWO1W64!3O zl7P20Ys{OTU#t20PNPKDIpl87rW>{`f&d0y(4<}HHb75nsAMcMOLd4)`j9O!%4zNP zMq`Hy!Gd`M^f^D4HQ=7#6bF-h_{L8u$H5FKNv<73gZXJmV1#HcyifRL;n(4H3XCsf ziBXi(Unzn_A^fxS!%j%N$1+{GHDNYStoSVrji}+dHSZj1V`vSxYJ+E${fZ~?(kac~ zdkLa`GA0LnIsUX94b6$~*F9Fb+^r0g`V4y!L{K2Hr5}jfCubbsuG4Yzs2~ zbTxoFExMVuEa4g=J`$OG{fO$p8zF|bw;&=>vG)2hh&6!fjVEpODIpAtobXOH1w8wQ z8l9tu2ZQwZRMB-Mr3dC|?fg5n#;ngtRKBt36L50+j|s#4^qqPzS;!0?dibH#+w$jn zXJ^?PT1ve7qU68mya;Rc>`|kbdSxS8*dh_6*!m{&v*vASOK+2)^y=OR*tYX%=v)A) zU36@6t@MePjV5C!-M$Kf4f|fNX}yzxYy#2*xF-okYNSyRiWd(b4LgSk*4KwQ6UC3y z5hKY}IPdaZR2KEhrzFHb{z{nNN%So{Q*-(rc}P_O8T$LTrdw)eyDO;4sC|GxN2)>#-a22$@wmz9=Na@03$yxfIPD{b}8m_q0hSK!b%NpXJ=2-toAa z(8+e&OEtAR80Y2AbY)v!V{M3y4RI+Z%KYn-$>%Pi)c32yT!?Q6fv8J(+t1+PD_d!g zJh1I6xhuG}!S8kst?TMr+{Ci8-l#`Ixl@y}b|>e&eR`Eymf57fL4Le3EoBoAVq0bt zALle~p%pMx%9UV;q9Obck`Ky31l9&DcWqc~UT+a|OW)+@X?Ss?A>0&*pf93p+Nr^yccN<|jrA0W$d|tN zs7t5=zo;%$KH82$QCK6|zPUPlTI2@4$|jG6{)$*ZC!HRvRMyOiWT790hS4j70jd#g zWP+X${_?wxhopO+g}#q!^GUlhbv-a5(~_4~;v;6)X)b5EWuqQKsu!bAtXt=oV&qG3 z;+EU>j}-Zggh~7;D-%WK@}&`c=9q#M@~&%=B_TR$oAswGcPnXDC33 z8k&E>Ly8*C-4ruyo`KaVxol?-Lx&)KHPPxBeuxgj5cQxfBApRytDHkD+&;aptjd`RPYis?Gh?EMZ7n&#kMO@n#K zNUgfMUYfVMGJMTtI)kUGlDwg8=DG~3h7V`+GG`U}77{QIl)3F8hMPtcesRremLYe- zr1Dxr6V^u7g0k;p77)Ws8g&)Q_DF49{S-!uhUPLGX$uZ@BtEN~D!X<9wNDQ;FAN#_ z1{G3=((=~Hbxl+h0p&%eeVq3m!d>$?`UFdfqNW@a+CM z!<)(e#Z-vNsXd}A?(M3{Y)k7-zraqM>CgL2&wuU?JiT9Y8Q-nD(qneKHFJr3MK?F` znV&`w4g&Sy;evqIWlRbX1qg%(0eZb%dcj5U}4-f8LGh z&jpY+P?B|mTiIH>x|pMEo#0459$QCqYZ#J8#unvhjz9toc)zOfXFT1X3!sR<5QcJc zazL2FVGjQ&hvpYK9e*Ro!rbK_rTnVRhyU)%NJFC-zH5UvPE7~J(A?enWfGk+z=#mU+QhWvk8 zh!*p|Ep(;KpY8kyW1=Rn($F(}5U5cW1OirnN@{=AwbO z{0a*M`WFl4zmeEPAke=#E?u5j{fnS5k3?N}B^S?Ttj0V-c2e=^6 zH{IWl$8-bG6NW