From e78937e2bd6aa4d0172d33f931a699a65fcb1710 Mon Sep 17 00:00:00 2001 From: andrearafanelli Date: Fri, 22 Sep 2023 17:40:37 +0200 Subject: [PATCH] feat:metrics page --- _posts/2023-09-13-metrics.md | 104 ++++++++++++++++++++++++++++++++++- assets/img/ski-qos.jpg | Bin 0 -> 75383 bytes 2 files changed, 102 insertions(+), 2 deletions(-) create mode 100644 assets/img/ski-qos.jpg diff --git a/_posts/2023-09-13-metrics.md b/_posts/2023-09-13-metrics.md index 5a5e572..6cb034a 100644 --- a/_posts/2023-09-13-metrics.md +++ b/_posts/2023-09-13-metrics.md @@ -1,6 +1,6 @@ --- title: Quality of Services -author: mmagnini +author: arafanelli date: 2023-09-13 09:15:00 +0100 categories: [QoS, Documentation] tags: [PSyKI] @@ -10,4 +10,104 @@ math: true mermaid: true --- -TBD +# SKI assessment + +Knowledge injection methods aim to enhance the sustainability of machine learning by minimizing the learning time required. +This accelerated learning can possibly lead to improvements in model accuracy as well. Additionally, by incorporating prior knowledge, the data requirements for effective training may be loosened, allowing for smaller datasets to be utilized. +Injecting knowledge has also the potential to increase model interpretability by preventing the predictor from becoming a black-box. + +Most existing works on knowledge injection techniques showcase standard evaluation metrics that aim to quantify these potential benefits. However, accurately quantifying sustainability, accuracy improvements, dataset needs, and interpretability in a consistent manner remains an open challenge. + +## 🎯 Standard assessment: + +Given: + +- an injection procedure $I$, +- some symbolic knowledge $K$, +- a sub-symbolic predictor $N$ + +We define the “educated” predictor as: + +$$\hat{N} = I(K,N)$$ + +and the standard assessment of this predictor is given by: + +$$\epsilon = \pi(\hat{N}) - \pi(N)$$ + +where $\pi$ is a performance score of choice, i.e. accuracy, MSE, etc. + +# SKI-Quality of Services +![SKI-QoS](ski-qos.jpg) +## Efficiency metrics: + +- **Memory footprint**, i.e., the size of the predictor under examination; +- **Data efficiency**, i.e., the amount of data required to train the predictor; +- **Latency**, i.e., the time required to run a predictor for inference; +- **Energy consumption**, i.e., the amount of energy required to train/run the predictor; + +### 💾 Memory Footprint +Intuition: injected knowledge can reduce the amount of notions to be learnt data-drivenly. + +Idea: measure the amount of total operations (FLOPs or MACs) required by the model. + +#### Formulation: + +$$\mu_{\Psi, K, N}(\mathcal{I}) = \Psi(N) - \Psi(\hat{N})$$ + +where $\hat{N} = \mathcal{I}(K, N)$ represents the educated predictor attained by injecting $K$ into $N$, and $\Psi$ is a memory footprint metric of choice (FLOPs or MACs). + +### 🗂️ Data Efficiency +Intuition: several concepts are injected → some portions of training data are not required. + +Idea: reducing the size of the training set $D$ for the educated predictor by letting the input knowledge $K$ compensate for such lack of data. + +#### Formulation: + +$$\Delta_\pi(e, N, D, T) = \frac{e}{\pi(N, T)} \sum_{d \in D} \beta(d)$$ + +where $d$ is a single training sample, $\beta(d)$ is the amount of bytes required for its in-memory representation, and $\pi$ is some performance score of choice. + +The *data-efficiency gain* is equal to: + +$$\delta_{e, K, N, D, D', T}(\mathcal{I}) = \Delta_\pi(e, N, D, T) - \Delta_\pi(e, \hat{N}, D', T)$$ + +### ⏳ Latency +Intuition: knowledge injection remove unnecessary computations required to draw a prediction. + +Idea: measures the average time required to draw a single prediction from a dataset $T$. + +#### Formulation: + +$$\Lambda(N, T) = \frac{1}{\vert T \vert} \sum_{t \in T} \Theta(N, t)$$ + +where $\Theta(N, t)$ represents the time required to draw a prediction from $N$ on the input $t$. + +The *latency improvement* is equal to: + +$$\lambda_{K, N, T}(\mathcal{I}) = \Lambda(N, T) - \Lambda(\hat{N}, T)$$ + +where $\hat{N} = \mathcal{I}(K, N)$ represents the educated predictor attained by injecting $K$ into $N$. + +### ⚡ Energy Consumption +Intuition: knowledge injection reduces learning complexity → reduces amount of computations for training and running a model. + +Idea: i) measures the average energy consumption (mW) for a single update, on a training dataset $T$; ii) measures the average energy consumption (mW) of a single forward on a test dataset $T$ composed by several samples. + +#### Formulation: +- Energy consumed by N on a per-single-inference basis: + +$$ \Upsilon^\mathsf{i}_{\upsilon}(N, T) = \frac{1}{\vert T \vert} \sum_{t \in T} \upsilon(N, t)$$ + +where $\upsilon(N, t)$ measures the energy consumption of a single forward run of N on a single sample $t$. + +- Energy consumed by N during training: + +$$\Upsilon^\mathsf{t}_{\upsilon, \gamma}(e, N, T) = \frac{\gamma(e, N, T)}{e \cdot \vert T \vert} - \Upsilon^\mathsf{i}_\upsilon(N, T)$$ + +where $\gamma(e, N, T)$ measures the overall energy consumed by the training phase as whole. + +- The *energy consumption improvement* is equal to: + +$$\varepsilon^\mathsf{i}_{\upsilon, K, N, T}(\mathcal{I}) = \Upsilon^\mathsf{i}_{\upsilon}(N, T) - \Upsilon^\mathsf{i}_{\upsilon}(\mathcal{I}(K, N), T)$$ + +$$\varepsilon^\mathsf{t}_{\upsilon, \gamma, e, K, N, T}(\mathcal{I}) = \Upsilon^\mathsf{t}_{\upsilon, \gamma}(e, N, T) - \Upsilon^\mathsf{t}_{\upsilon, \gamma}(e, \mathcal{I}(K, N), T)$$ diff --git a/assets/img/ski-qos.jpg b/assets/img/ski-qos.jpg new file mode 100644 index 0000000000000000000000000000000000000000..b97940953d1754c9ff5b9db7231a3d7c98c4abf4 GIT binary patch literal 75383 zcmeFZ2UJtvwl5q+L_|T9-lBlg1O%j)s0aus0i;)@7wNr5KtMo1q)Cl*sgd4^fYOU} zrH9^0sDXs!ZO^^uyZ4>{9dF$48{d25jd9K=w-&~9Mi?{%~uBxP> z1R^0J0lftNK*VW~0*Lg&g+Cu)y9j*9E|Za6yhwJ1ocz+|t5>dGrMyB(d5!AE^=ni# zRFst0>95n=q@|;yyGqT#NKeangO-l=&rL{3fjk$#V(MG2=jOG$GcMGAoLeId+#C+#2HxDo0 z12J(4NhxWCCyGkSPgPW3XzS?e=^GeYSXx=z*xK2YCcR`i92#j_*G@ySjUNM@GlSCnkUWon&hus zZ*qtPU#5K=pIy;L!6~YRrZaaNzCzFS0CflRN439c_TN)1u;ct~vX2ADpR|? zesjezW>s5~n|rFH$HPBJ?YUxwc)Z;wp*hJfrt1PPL~hQ5Rn=$R9CWBw)dQoic|ijL z`R=Bsms4-yH)V(Qdf%;D)Y1G*I&*!F$0*YFTs<2eI(?w|jEo49v!zmg{OD}N`u$JR z(4-+~w|2B!FXS5$bhgRN>y}gA=io(sl|)RWKV}}!FP)@5=Wb9h7{=RLkS}1P?9w;C zU!plnzA5#^)pl4##E(}rE3t;`U$6Dwsx^~ed5vRUacbqDAIB1;%#sLd540nKG58^LUb5{5+6P1!l&SEf$OKChY9;; z7=%nt%2<(a(otkq1QA406Ojl12;4%EJEqhqW`x>G9d?sI_ib2tY{NI1 zp+fCg{n~}0_(zdzRYcHyEfI9Z46AxLN(2dHz^284pD5b_uug<4&dy6_2&+f@;-TF{P?!s2E^VMXxSxH>B<@MwL}~dl%@2>b+Y7wh z@WFDuRHYwxmB{U`UVb&vB00%s&zGR(~)WB6K z*!b?yY9%NY_~sXD%+jG^jIPyN>Rx-`lxFcICra_3y$fSxzf~KhLMm&&6GnOqR-?b# zIosIALJL9(fA*TzFJ)m+kH`E{-=aX2BaAl`jYk?h! zh39cVeU~LaKb&7uIghdW`*%It{GB^9#`)lFBcan3A}Ed-x-A1aU7bG}E;-ckSMjFO z)*y8Jk=KTRdw~3voI%*e5Qa+_^fZ1ywyKXef9O}I6-eeT9T8)cR25A*rP2TiIYf|( zE?&K>13r$*I(brKlONXS%2;RbI*OLK6lyz5Glai73Rb9ikLnY`jVw0r5<#X&q}PGd zsug#b?rj*~K*H+Q5NgX6#UlPYY=Ks^o_h-GTkUcW^NRIA+E-tdh@phfTrk;jHWv?nhIc}us8ue0E zwymy!`LNL9y49PDAE-ScyyyJuE&)~{-^G}RU0{B)c<2=iUO{^iEwjj-YF%hVvu1%$ z&d`puINy;4)xm3TtA_@tCuLV&~JGS3zV5k&dZynzT}G!2A9tzLxqEX@a>JNV0_+*;P7T#6nN zS(PLi6oI0;4hBrw1$C}(sVI>PL&I(Ak}P9tD>K&4{6~2ZIesOgz0$MtN6uy6L&L#= zfz(*t)$q+qm1NLM&vKS04dN%gZ}A@k@?d;h0;O}9)E7>AOaKPvpsCgdkc|Hz|m?fbf!Tp{GeW%aorNMiJYbvXc&ew?` zVSU)INwZlq+-BUi5n>l{egsX1^b6X-cx$gJlk=WNbz+pG1OjAinQHr7Z=KKFIy#XL zohz~*&ZKX5=*ujjwb%_`hCebj2n-Z2^f|c+PmP-$x*|swAaT?(D7cKXCuwl=hvySFBq>&O|3<{A2R6KWpafpXi2s7{d^`_bhQlC;#1 zoS+*zTze)JGPiUScGC*E=fvEgjrJLEpGim2Mv{UphDNGvwqv;Kow5;jHfl3->HEiG zhe92&NUv6@n*04FjwS7%`^as;^H9xA8IKJ!2~|6fS=BAYvD+Lsm=OC5&o9COtSZt!Xv zN?o$>A|;%bPl*L4Ehqi%(V}t`j7U$H37()J$AdIR{ z(O>kwUjX9H_c({)3Sc@1vIP%5O3{T#@_jp$ubH>2>#-i}rHlQ1Wo@0TDZhHFRbnrVTtfK1xGbM0UeCnmVp^Sq!0F4oB-Vmy;8%2;G% zYW$zd>woQf9TThWe-=b{;JfPx#-E~5Z5ZzNvQj8F29rsTmfN2!1V#wt2W}y1M(R5FKb8~8) zimU7GkIK$k{cg}Tv!Al$D1o4RZ7{nfet$lJ8W#H%$GJwswT{)9CzWSe?TOBUEpcN! z1TG)JBa>~s#pjuv42hJY$1bqFVoP~x^uS@50A3~c*@9)M-&?NWt&@@i|27zTvjaw2 zY6XpWD`s}R&B;s6)yCG43%0ul;cP7*BtW;f_E&VABkORc?wG+;u%) z>F%KR>_#+}EI8@yu<eJA>3f&u%YQHvD=rSq7&laB9Igz z0_|r7cZSYu057PkwkBM>JB%jcMB6eb@i!B)^;_I=jLR5W={nXGK?IS=pgKp5hVjr} zHsOy`X)3@9+N+VBZto#i@NdHIAz7Az%?~?hRvU?hlOAe>E$j_GRdUhm=N~+h~ zv9E2xO=lk`(ROpIz2i*drlyTzWA)Y&;XT4hd+RALlu0%TD>$x}PxZ37rsZlW+}353 zBqWLGDMVL2_)<{fq~Z6XBxC)bu|vP|xb4wS6#eIhz>@bkc;V>}v68Q;ktHgv3sl$v ztrElFa{|;@$MBFdM;R_K;2^V6e)}m0=;@`aF~4AjKWnREr&m{&QO zQSXGeaLisd!}0h~F+m&VXnclPF(McTMW1Q;-Y0@wA-9cZFoYMm$!7h&L*E^p)_rsr z#awc1Xeu;AV+&8OoTh*Oo-4}B_j@7sGfr=kAddcpk%%a)im*3!!H9ayN!v`dYGEY8 zk4RtwiM4yqe3_NbAhPZrdAtXrOR_Rkf0YIyhHK(#aymSMm@G7oS*U8b8Bb3Bd}qv3 zCO>738&N8S(WI>%2`!Z;Z_YZRV!3c%nv@rWjVE&Po|t-TglEN>DZ}EZMJZO!<(XeI z+v6SMlH zH7M;;egs`>;F)`pEZSM=HCK5-dAZ|2K50MCUCsHP`y4k3+%iy zDSmeebcV^uQsK(-MF^jlwbHE5Gss`U=JdS?0oQIEi`p{>ZUwhaEOH5!G9F$mpI~a! zl|qnXIf)=LA#`{ys!4`AlGiiaC*-33>X?9|p@Ukf>nbSKlDo*5l|6!$8ggC+S;%e_ zifyJW!V00jGkm;Ta?{9cE9Jwd3lC>xU9xXSOZFze1YKOX@d%vxs*-gv%YqRno|ljD znD;-D&h!(^T3fTurPtxsjM++N&pJxEuW$-(>nLOtC;-~O`4j#;C5cJJN{W-+Ll z2x=2;CBeG4gD)I9gImH{)}jNRRT{VEid_0QHS@HOmL?&yq{dtPzM6#8x2_R0CV5Ki zi>0~{A-vGytRM@H|J`r%PoEFUEW7&d35~NsrN9awo0GGiZoL5^a#|%}ZBThyEO)y^L>u#0OkLF7u;kvU zK??dQ-lwOQS;{&jB+JDsvBJR_lM7O@l=lfg(^s6Huj3KfJEMtmY1=^$eM%msx3}_4 z97?Sitd8uJ-{VSEqU#rtwR&^HpLVuIpulm~h2fpTqB%C{zw^poc=a0odLig>tJIit zxu@gfUBa1#yT7OC%#8ZHp9)*FOwc_QLM=vROjj$`233@?>u$lE+{I053(5Da30`1hhEij>6-KQX)20S_W?*&IPUj9m$ZVHl z)wi^DmH4=oW{+H169Wa*s@Gv_up+IV<~QS-1Wvmx0_<$uzUq}*S(j-|?gw9Tj)vvZ z!FNsBwmDHD?NL0RFZ>gwi^UQG4RI?3m|-1PmhtPkP_Zl`$e(GD|EYkJjYM|p7g#x1 zwM-9DmZn6N>&;k>4|y?*FoO8nVWWI(jlv(RYb7{)Jxfn;bK1#*VX77gnV7;h zk@b|y^VofE26_gRH;eBZPA+d<*898iA+4ks#P$+~<=e@~^eoo!L^GJ`#)(Q~IqHMg ztuI_Q^|xru3Ll1>+I`+x76!)zHMOTcsiH= zs8g;YYUgEL)C6r5<42xc7A?t1`!8&7*hEdF^eD%&b##BI7&us+W!<&u6fRQoxUXr~ zA_aHmFjVD1j6i!INAVQg_GRocY;l^-?aJ3E(RG~013+<2#zgoBzZ9OFsBbgC4)o8I z5H8<&&i3UR)AD!iXHl$vZ=i>S8uhyH&YLqP`HiGl&FV97FH#(~kOyXJhPq;^6tS;f z70=npGt>?z=(L7(TEE>Cc{;+ESDJT|`7JJkw0=$2Vg+11bR*2D`i4BbySj)YJVQcD%S zn81d1CJ7fIKwB`)R3|N>kUY1Bc;j!1MInFL9I^q70gO+)?gYAGHe}b@xO6VQMF1!= z?C7=g`2j*YfB*(l6G1<8se?C(pr4O%@YAHDBz!3$%F2rqtXKW57{_`U#HyQk)XP#^SCZI<2R%fS>5Hp%N_SgD@lrLlb z&5>mC<3aOYo2RV_DuCE}jX|A1=LaxFmRV|@A##H2@iJ16pK2ie<%Y(zjJaQ28MhnP z(wvx>Id)6!ERavU!&1nV26?hgc;M6eBUt*ax5N2#x+muWBc#mJ53+Ncud)D<%d60q z+zDNc>Dn@V(x;)q<^|<%(=!}Z8&x7San9nsP>#0o< z?u9IHpXoiXsK_jYJJq1^KTEEPgtMZR{LUTPS_Oi7)12SaJN%&_pQFm`DxZI?PuSMG zwyr1j4z9BR^KS9+^syF6+1)f0YHUFJMqC?wYx0c0rO^{NG}eTm{xvTw`b&Wmytt2s z3F}y+TO*yBd_8csAKVPE7m#pXfxS|vyCJKDm4a}k$mXUl53UOw~n|&5n{3J(CEgSmT{Lmp^l?*=;E%$iBGUqD8OBP zOCW;2>#~~C1qa!=!*@%VRb*u>k?jD-g^;t^HQ_++jQP3txsB&&!Hy4zAkmz-#nzC% z)BqN$y7=^aM`3?3PALT_1m{{QbdN=RJ*=Eup_i}ZtzJ@~@LmFRYY2$>W ziJ&^o!egZiM(#p5->kXXOZ*|;?;N5pm%I;u>cSm3Nv1bZx;vL|nqKRRB^4-_}a zLak^jFg=z<6dUIDcDk(SJs%=7RVj~|72To)11`g}4|27UR;&%E<|M8_(F|SeH)BE2 z;Dy-nQ&H6Xbi$I^_7;X2Mva};2I%$^m8w+T)k%#Qdb`g~Prj;uzHZ>6blxFFp5<^v zi5mLOc5@LCd}v0G_1fA=6EAb(u1gA^1bt*;^s;)XlSl+zM@(<7fPWum8)leqjOl5` z_TwXHw5r#5^c;IUoUJ|nkkhQ$inJQ{{{#XRy>vvJf;Z0X`2qqY*j!*qyss(U)uZe) zd#_11sDJ)*$v;uLkhwO;-3r1F5kZE<pAt z&x9S$7$TOJI#Qymh@f!U<-`i~a}%(tiT)$G=6J?ooq86H3v$$|OU?qOgBC2E#gD#8 zE}To2Z{Wt&N^Hw>r}-$zk($Pb4${tg?%NIKjX~rTcQ4870K}9sR!6rB!Uyo(oOu4S zdUXE{ab1I(m|6U0-rP;~NdfFr{tDkD@prg6{s`1D7oys`x6 zEBD~I6X4M?LXXB}pG-d(5MR@9Hu7Qmc2=i)#@!CP;K4?r<@j8wAwa6XuXdIiCwy{N z8x+#QF8Oh8M)Ar$4a98heLCfzRPdyLLC#3K(SUkevw>}QwUiurt%wC!%-yg;M?My- zC-;JeJ()8CNn|I?+D~Q|74`rUzQ~k+%h42CwITgBVwGm9mk9bOOi0?7Xh)=f2N6M| zx!@I}g(|+&aE9w!cXrDJ*4)Q>8E}DY(z)Zm`7Rk&J-0;A-&`4nH_}?hHq5h&{Xhoe zl?Ae2d9tT^4AU~bT)aD_-0EtgCh!mwBBjxht;=-L&mWVv_jZu=Ikla-ruslZkiP56 z-MLGmT?a#cF|8X2f9wEGaErh+Ay`9wW#hmh2%M&H&&BZC34QA3`%D96NvoYPJvbJ! z0QqkAPI^pQK6s(Udh^Wu(%ou*pP%d!GCegqfjx-alC%Z8AO42J(c4qdU7LesPJtgN zd)3URa?-z!Az1F2$!HAa50|clLivwz5R;ro((mHN!V>}PYHxHkmL;L3c9)TSq>Rvu ztfC6T-N7?W3d)+nEX0exbRF+q-_*J;@G|y+jJfVhh*y+xvYeXm!b|FupgTeH?4Yk0 zv3~Ze=)sz@jmxU%m8%{#dbbun4JV~rOFK_FV5j3Gp(2a@`{h<2M~>qw)u-ehATzgv zg5%dDU(?gQa)l<(LW}cG!ygU$nHTqDxtmI%Lytqyd!77h3E4w(v4!>|4I_yAcNMuw zzA@=NTZ$i*4K@YZ8^y(VBB<w}0WE847TxPA(r#hb=*gM;9Gs2vb=4j>mQBp* zJ7KdA>+(xuSw|qp<;`#{L=a!prg+@#M8ueRd4>t%=i#jevwQEG;+nM6qnccQ5_I~o zP2Wj78jX4jCEV~|g>Ytb^1ULk+h&@HR@nE`3{bLgy^N`+yG4eK_97)OEPeL6gvhb( zo$M0TEiE++bzb7u6A$|XD%Db$y0jXcozvM$3bC&+H%+h>D4m~pwi1VH;;-6*J0Lx2+;$NhNe3D8m;pIxn?|%CVh$vO!B-De*fN$5YrCXOZO4$EnKN z{t_fenp+%samUA)@ur*dp{R{X#tUNg?+HP#5b#}j%$csv?E`s#<5xi}l-6Y^S)*;)c;NWQ>RiG-TaE0|fI&YB@ z{_7&;AeX0ujCyN8=*}owiXiTD;&}L+2)bOGs2ixR?keu9=DLgRIW#7MeDpTn3M)G^ zE8n=M`FZMH6zHKei2NaF!|Wp_7R>u?JoYAu`Z#^1U6ZfSB!QLJy{X}~G#q^P<1EUG z?;K^8$&z+Iqdnr6b`l*D?_W5QU#{FRRts)jF{Q|$) z;-PGjWdu){M{81_$~_^1D%3}bAceH-^90zk#{_bl6>?}k_P;zkd3YB<3b-bZW?2DX zJ^n3qA=jP;a<(Y%&%XRJ{AIUcZo-*%jIKu}`_gyjmRh(2q0!>a{EXQm3`=cRPG(%l z?CPG}-D||mPKnm(dM^|eZu#TM=w%SKOKE&8ZC`Z^tGp zPQA(5E)OW+?^dXveX5f94%rvlL>{d`2vPQcu>~L(-#3QxQwaS@M-h>%+!3B$<{8#?}I~F=m<=@^nJCTL<9mzGP5R_zHCJm<}pj1jp%Gv zN74yqULVbpJ(L!G)1M&;q+@mc2REZPcNw4 zig~w5nHO-h^|Ha@wpzn)_)jcMbli$6d#%_y)X z$70yj&zo`1uL_MEj$h-sPIIaq516trp|q6KFE*&?{c^MbLhDwM z4tZEk6cc2njR@Mq0nwmA)&ZpFnKeLXF?Y8H6I=E`;rmz4z;H^jn_ZR$s@3m*O^wjq zak)f$vu6pcRM!QI6faAh-xa!58&&zMP|FLOosa>=GtH&wF z3VW@dFyN;ji$g9GXs|)xt2Gk|UmOhUYmyh|Hab4tVDNgj+kG*N)t|HtF$AW>n`4l{ z2>Pw382Nk_{!8K~64bIHOI5iaFP{hg2rR+mz8I62HL^>dllJxeGJR+HklSm!} zy*_>E)JgK6Ep5=#I0VJREIX5FkUGMSlF4vy6d8;1z> zMtKXgpqXUpOLHK4{t4z;d|;SR*~O6`SsX7_yFZ_>1b3lKT^Gyjj&@Xy!pY3R_k^>0 zAw^qfI#BAFp==-azK)-XHN*E7X&x~d3u~zKK`@qCM@p+_;}HxRaGWiqvpM$CLI8w% z$yM?!RwOZR?A~rJCBf#mwN%YBYvv>dPfJ7)fX8ygbRCwKAhrx87-$@a(mr*H*6Zqw z_nRGzOaJL#_q3Or;A|QNg^puf=!;R%RsMo{0^f3B5=&kbw4#XN$BpUE8#)Hz_gTDH z=!T`8@-x&aWSCD_E6%ihU>(x%_ju)kb!pj4YuaPh`;JQl*7yTaKfX6Aa`*W!z!<)z zr`Z}@cT-2hG6OL)Y zc&u`$XCbDA13>k9oCf7hZHl&m7tFW;zubK76>9c@Z`RWTL8quUlM>emmAWT#5idbI zCP}n<2V{md{9{Rm<@-)Mne0z_`wm3n{2ci*OQ{RRJ}}c0L6}{*YH~W`RFquNc<+fc zfR25B1^7H9|0Icwzu)(rOyyVnS6FuOxZA;QE|oa)#jfzVeWvrZ_uLJqasbH&U_uFF zP#o=i)^ri|LQdC@iJupIm~3Zjrx@F;hCHI5#{+*+TZpI zk;hlVN`A`U+%&u!cV{N0u439=G@jMrK3_Jutnd;S?wIadp5ucaRtv%HFS%n0acicL zrFgom2eSp66uhM8&qub`ey7Cs>!p9v{=D!-H$6_mg2Hg(^^v00M=?(;4=079Zb%H> z!C|r~51PeUr)5;b(oE&3K)O%UR_QV?Y^Y9JeWd7Ba#PK?Dc2$S& zl|*WT*0(*(Us(}!VI}s*hE#B|<6KX+q>PtNY1ZF{oZX8?cGNB9Dxa-r#IZ6(WtMS|GK+;RRdvH?Q7&sO7nIt_sUi#A6G33#f zDZ5otscc}GfW;}eU^x}n3EjlP<8q}pd2(89ajvCFr1=H~mAYTyg6}OHJt<1xT~R1J zVZl2HnP8EhvCdkteL6UkjJWGb*80!llkO?&NHKDb=9^g_BUsKq-y1i2(nL!3_G^Y; zKq&;VWhM}X-ioMCr_T~hc)Q}?OEtOW{qwZ>;HDl)X!6}K1dH84#YPM!y)8jG9?{-> z=(7wSum>Ovh5&Z=m>>XM{01h1A`zchkXY@jlFsNHdC;;jR#->t6r5Hr)ul`@`2o;Y zfjH#=snHrubAn(EbI4$PV5UV5Z+}fK$>+0wqBV z+p#zt7jx|w5#%s+NCf%u5yF8!UVna1Z`BtO@#|j7jqEE&T;+uETCa6a?Zs_t4(7+g zK@sFAXy_R@!qO=HU5ZW%YowrsNi<>81FsIPFGt`=Rfq5)+wMU8bPs_pDC*GVaDx6y z=G~Dao8HMEy5EPUbdu(eD&EaqLQl{5?x1$K1~N{=I|b&m=C__XM-b?ppy3`cJSYOt zxonfa!JO|f9rt@^KyZ!U7Y+Y*7E0>AFho5=GiM@riQu5Uj0K}NZF?ban#IDmV)#hl zJr1=wW#$z$Q+ch&&v99>S2%gR=&19{<{C76@U?-aNRAH%xA{7sir`o;v~32N;z+$sMsPXFNIo*FZwg z048HY3AJS`@vc?ehrdHQvC(RxiEa+Ta5f;M8l{FCJ8N@7+**f)M@xKV8?+tpHNxAB zBdX40(9_>1Bk>Z_p;P+bl}A+YD8TqDzKNk;d^Yn4jZ=*Cp2gWjvE7#gTV;Hb@9;h< zS&o-bF4Hsxx-vq*a-)=1;&M(hV0n=F80S_+8qd|W+&LF2b zop2Kog*@c+kpbeFDG>yn;r}B0$}11Q0lMXRbY=hm++?$~&13aVVEg59SoKx_zxf%n zu!p}Vh&2zqe6J--NwN(N_Y`ZAJ%MS3-Le z=o!rLCAohQsJDInD2=}diIT>a5J8V6LXqgNjYQCj3HTr7iPdFLE*<{wmVn#WMmg)K zedoU@@sAQEg$-{#&`bD>29Uo<#9Au&uR{G-q5h>_{2!{R`G1;<+B^KZiA;R3!OGh= z5+~uia;FHOZ3FGU@ceS?-`f8k(EdF~u@YJnH3GbY$iiP6ejj^(lvU$4gl=E%;(HQz zm1_;Yz}V$C!JB6z0PXuLI*j}qI!pzi!}iX9fsX&lT`#E6I}ZiIZ&f_g3L zq!ST4IDL#UH7k)UaS9i|a=6suE> zR{hHRCtB#88P#Z8E!y};(ByrnL}L82V3Vh0jj@-%ZIijczdKB~${1E>v5#_tw!`;U z0k-ls>1j~SBIJ8e&6)TMQ%`iS4%=LA%XqKERA9^g*DN~s-xc9_=K6Doj*$&a>MH?( z`mN2}v9n26ZohIY-|S`i)}+HR2ldRfai*&NyfPT+)(0%?`-hpChN$se+Z8^Emo)KR z0oVB;GGCXPFm4Tr)1iq4aJV_i86pe^DZr}tg!jHJrBeN}Q$f>yvFf#l^BLhu=>t6#l z#-be(UERz-um27<%?rdl)X!I%1Vi@4=7^w$t1!HdkIi@Jm9_;Klf5BZ&2q}{?@HeK zkN3kqb(VM7XIymxT*+8+%A{2~wtI3a;z>s)kOCV)p)O^gC&zcOMJSp{!)OA&2Y@;B zG6O6y$&riCxuMZ&V-`&x`9nF2`OAO4K=6qg*99Nq0$+5dDVB|y>oYrNiLd{9{4MBZ zP|e{HJmS!|SuQY;>p1yjVxLdp)v}-!In%3+_gPsH6V30JMBCBjA{n%IB%B;aOkmx| zU+dr7&@AvNmAt<-6&qRSpSwhFwHALmM%5RNsMMVz!+q_Pf5)d7!;r&sMq(P!tQj>; ziOqmvsNr~klBVu6qYHO_KlsobQnTYneVl_>H&l7iZ?Sq;#6JoAuw)D`TPj~gWUr*Z`QBZC8IYLllxO|2xbTK zKpue!a02+K32(_rY*@NHYI6d#0n4e09ADlV^Q{I4ivV^h! zbUoLOnIitnFFEoR&GQPOl}Chp1p*9Ge>P+91>|so?Ev0-%yZV^-t6HCML8xa#elGC zKSBAVZDbXGzb3YhRBGSi<6ZqB#e0l5AlH#eo+x)AXPrkS#`~hCj0R5h`bm0e6C<;; zafT(yxgdB4P?A~WnywiYr^+W#DeYRVtyqlmvJ;yXC9BBl~c z+A%m++sc#(h;irJe@@vb6M zo-h!a`(FgCB|HFG3i&Mr=wNiON$90NMxVdW;>O$yP_uF7PI0z=O7?ub^Gf^uM^mIv zwU;@m9JmcJy4jc;yMYoN-c@#4;K(VK0l%4GfxfHZAwT2ah<+G7zEvFX+xEzVja(f) zm_nbKKc#GA!!R2o+QWUX->*uTt4jEu3fFQ%+K6S?T`iss|yO(&p6(YJF6#UD^fun zBP@Z5!%y4)cSjxP7=*KyreZ(=~0LPC4Q|`aI5JAJyIxuJczUZOp zEA)*QO@5$^Y^`4n|F%rOCr5gLN^Wy<8;Bw0EC7grmw=KQPlOx=TW*8<5G z&TSp$SiUxOizM!^9NiEi2Mo&n(-nqY9aDJmxw>JW_3Ik(jIpUx_xMzKzMmEt!7%Sa z)j6{)Bo}NG*)YyHSxVO3LPc4P2+XBIE1HTKW3j}Rrxr(gNoQwlF#cXUb#RM>*kkeUqfck}xrzN4gQEyLDUso0w-=~F_@&km?> zOtG}wIWD(+zo$XYJw`owh;YEtp;yhwY(?fbg?$Y>3uv34pL~9Mvr=@ghkGV?su6J! z&pF!6|G>M>4Q99LaKJCJ6UDh1J%g*;FiAW%inN5FZ<@)a+Nj-xZdM1eBanE~yINn; zTl5`#F9qpBRNqhc|2}2Z8<@S`Ez(RcW5JqyNZJxWxpd71oBkth0+CU+GgEaJ)@ZZ> ztf1j)W{mg4XlGr=dIwaHGn{>J;1PeHG(-If?{Ot{Z9FW%>l|a3^*3d+s*trU5G8=-+f&1oJvCt)KZMV(G6KO^zM-2u#>YzL+0GA%evFC zPk|{Or!7wx?8dYU$-I~SAk$0{Shd=1&m2{+sqWeCg2 zWxig62$X{?gbWDd8b@$LK#XS?7zI8f2MlxAJl@`xK#7&3rQS|*KFJ5Pk1F5Ey;3-l zr0qzz#y%5ut#cS}m z=)s>%t&6Z~Vfeu@kgYq22CF*1yZ*Hf_aptZq6mi4#l9fCNk*RZl-CKLI8P*tkxS)o ze*qAzn_U({Wd?!U%gFz@1}Hpz0wY$3N-4qy?sI_ODz##Hlbz@&S-4#UX4_y&MaS84#xMyO+R>DlPc_QgCV`61?lZ5yU8(<8)0cD-4u z`$%<|q~fene|rH(&C~i`$HFxa&DIYcm*)0agXmJVW}mM;>zCh~)!fn4QJMYp!vI(k zMMDFaq7C}roJh!aVp{X<#PU~~^}MPse0(Gw$?4)3lJ_#s!uU1#s&bgoAo^~JMCdXr z5oE)W9>aT{_VcT@+1bLd1jwn2Zf00JZz81fezkM-jg7kGGrib*oal4>V1?19%Tvoy zA=V7O(o&M}$9~E@Ox%}8UZx!m@<+B-)Q#U;t7@)`+MV#QEvU;R?c$&bDJ{J9-ZixC zq};G`p9n%Rk@h!^<8MgXrhA+iN}pxpMvdZjGnyabfj}(fyjuDa_g_3;UhfGUQ9gAl zvx!}uurx4FW1#xTd9{R}>hi6S%UdtBY5#G33U0a;g4o2atTVzGtDu&-b6E25Qp*>k z2E9HqtIEi(SufpdoK%`j58FP7IO8=iVO?)!A5f*!dNUJpUDAS*oP~H!L~O2pbFUQB zOTukOVg~uS+vS-e+NH_LQ?FJUH^0jAZ-}*ONbRw+{&3>$?Fofq-Pz`Ly9dm={2uw;CnleqwhvK>!zNcJN zeZe%e$6dQAz7PglAW#i#lh2*zilJ@rfiNl(}>r&2X%r3wdEMfTS+>a)qsbJsL_mge# zzuxH|h3gS)>yK+bP;yup`p5ea7;JWcZu*JdH#n9F;7J5{mQ!A?D$n`;_moU@Q~T=9 zxhFfEh86wmt$+^eH_jI}Oo!$sTv8^2`c$Rv{E~`4$+8^?VESu`0gF8SV==LQ+-B{@ z4Lz`Kz53Ui{k524RlKPFRpkFF^8Y=xTvZh-jI`aGR%>6F#fB~baX(94A3#>}Dca*yeui&#Rxa6NjWbY8}BkO;biZt6YJidy=p zN9y@J!<*?aiB?nV?;!=`E8aWDO|aJiODxS2PEh2)EkY9aHn6hTznQ_9KW1>;G#=LZ zN(r`UPzTUEE4jz&f48Z9{@B!J!>3?;0(>%lS(%_jBcGAb@|XznD)_g5&A;I0-9}|V zhj*n}t5Lpm%Bs(N1WVZYgif$vgH4e-k6l@0&iNGNvo#+JSNEUL&yaQ1HsSTe_gj~j z20orI6R$UmfLv$zPLJ70d;4jelTpcuto<0Wcg%@2U2O{YRJ69fQcOv2@dmUByMo`X zVM1+6d(x$L@cdep=k)pN1MNWEdmfDoc~xs{v${(Jq1mB}WWLC@Aqut^I*v{oYSX_f zt~;&ur#GyX4-bvSsrF)&$~-ZgovuHu8gguKayfO1@7ayx)XPlQa@LQ}s1h6sr^;{F zJq)hsW8V(!>A^e976B~TFEKTOsrGyi%QuOU6oTzIa{zi4 zc@p(EJL1&G*D`Mve z)c;1o^>?C6P)_aq*L6M$`I9xXuL~QccO*yhbCj>P?DP)>qg5O*Rqg2Bd@iHZM`k$h zlr-Fj=<{1V{kY zpjhZ^iTkh|FudpYc{ahj2*O+bH&{oY{%Ff*J%f)l5kX*BckUNhBl7GzqSqC^_wzK! zM%#vL?*hqP*A^p z==FfW&?ghl)hok=X=(=jcc!c~zI(GdOoDfrPf5EX2>dMpuu*`|6gIWyaDRI<_y{kR z^6G%~3F@7mido%@P4H!GWPm1WOHTjC@hi9V@6Wy^tuYRvj6??5JFhHc+?-51o&FIv zxe)Qzt3qQ^cE=nNZnlLlMtm!<#&nd3f)9CJljTcZ97PN;ij`E9JquF}du_~Z+ty>$ zBje<9GPRn=yiAE3qy$Eu4opbk*47?XlYGR>ez(rcJzV=ingaoLLGzfSqlDA6lQ`x8 zt#MgO`d~XNX9rn#{d=WOq&Gj%x`yz>sfBC?cv~LGr@yN_HE%^IT%+sXTd7p80A@+# z!x~-qhvctgPc$*J<%QzeY>i^gTg<*!9!|ZGT~0gX-q)H4Z*uuQJ?>OTlpT2Y%f_ZdR+@Eve4a(J>_k~cG83>g*ncv+H0Den z6;44tJ!QQne%?+tC~%2nCi&Rk^#(+q@bIRVUPqQ75HS~LpCyI~+Y1BcABZ8b>E8CL z(6YW({)^j;AQB!Zrb&67q+3jZz>u=@+cokfmV4n7DoFEA^Fx&XrNKNZ*G=+~l4Px4 zSr&Wu{<~v(xr!I~Uxv#+*mwUjT>fGZ|I1eVcSHaGym>w{*#`Ts-Gpu+(CErP8vigt zqal`Wo^XW?14dC5S&?_aL+S{0BZ7G}G5$}ilP`bTztnD^zpxz4<0L|Rh^PzTT)M{4 zMPL|hRz}ULUNd_#_Uh);+_d;|5;fR3_AR@12(@aA?vgk!1e(1=1a0o9Dc+J|q<-o3nut-f{NvCB@IG;#ixMz@mcjx%UQHXcEkq6_tcSfYE3L(vM4@( zu(DKQF?f2&d5Z{AzxD#Fhyd33(?rKsxZatoK`k*;7NxJXRDHPV=r&jCCF|thbM>u@ zqR~l;Fu$_J@H((eL&)F3(u4;!YT9FEhk@dI8chkkH8o*t$qIO$VuQE^lF!uq2T0Td zY)9!lWT?X|uuup9ANADwBpz}9sFQ*muUW%} zCR$Mlt@m0XlAGeofP3y_{f|ES{~y2UFx+_B6qLEGJncxUjE_cn^b&&HY)VBi-|4d~ zx;m2C7e3F=sdUMGzlwK>5$Duu2gv%t6~};o0>s2cdJ{4n9r)tasaD!IpPnhBhN4Fo zsXLIA*c=}GrWoktSjU1O$YrfC!;W zClCPvr3y$DL8M8I^iJr#C@u67kX{mMfF$1S@7(jJ(rR@R`Cu@F1!_Y#T|6YX&DgmAQ0^0Gs zff_5Np@heOIuSv2t`?%klu;{fIjE-Fs6{+5DT-e*k+~)04`6^lH1NNmX86zQf8-YX z?K7mg*AW4)_}}CQqkss(5D*zKm&(``6?Ct;@N1m`S(rV{B4|GzQI?X7cA@UOeEu-h zsgKhQJR}n73yzB|H~N+;5a+?EC+|GgmNmQ&V7ct3W{NuQ&kAK5cfK@rYBn8369 z>n<>f`%QJ`b(hlA;r$42qi9q!<)hRodSu7W*CJ?c;-AYGN?D@nk0%_ zoYx>R{K^llGPX?0Oz8E37sObW`iT_!aG49_Uj6K4>}A{K&;ch<l5SHTp(xJB4+JHk z2QM2I=!3I@ayC}gdyc1?^~`$g4}yV~_;YdJ=X{VQvGaUZZv*)4M;})gBF;OluVwZ9WGrG`&2K;Em z!~3o4xGp4Xi$TDM*Tj00}g!wO~che%(Y%KgCu?3NmwuWrbsuwDm=C5 zYNnKIpJT1+dKw@s>`c$z{Y@o4KzWPsh@gz2uM#~7MlHuM|GiFG6$4g^jD?I3e+}(CdK5kzQ-y$XfFmTQYnJdGGs3?wyBDwo-)= zHmH%bETqo@0C9)zwnF!h0kOT&n6&TE9y+oP6-9*oDc=D{lh%XFyuL=&&b3jn`Xp$c zk|U=agoda@X+Rwq+oBtTrx#iPMyktiD%sq+=YWhyzNsFyu>70KDn1W+4p?XVnDuV> zQh8b_c@dtz#{p29QsBg#qg0P?*C#y&yr4K#7=3fM}Wd z-$7%ewlw@>DSm|9EJGbHeyHW}0wR}mcXVNJMyJ)m|Ngls!RQ*TOJ@$vx?k5c455Kv zF!z<(V^jF#3S&nb`U7fx_W=mN1*gKK^$h?o$c4DEd{1 zES^jWDq1}_E{aC61T6LcqSmnlp~ISzJ;^M$+C3v&pX1fmdxiAjCv{Gv=3g!pH3J#56#q z;}gJ;iZ-`CQ3DYxoI55QnO|K8Wvm^%LaFEF5Tx|1O6717&m&l6&xfAQ`!;`jg=X&B zp03`XB*Q6yXard6AV3v?Ac&A7Dxt?3R&Zyd77Sh!ek6xsMU71YK3Ar@!6Cc%aKjmA z7!Ht>7-s&d+s-_DM|dRVN6TyBl#iK=aE*ov0I(de)BPaT)n7(Sb zj2S}SnS)lguDjRhsY>(}3C6sl7#>*}ByjUx42*Pws;@81P9o;~i6i(*TepHi@}FDtLL7|z`m)*d8mpHfQ2ZXV`|4-tYWgto=}@7 z-}ruBN$L`!>oI`EOJ@psk1yA=#?8CRg1mcIQP0!fVOaeXkTQWdnh25xLO5%r7eBtL z=#a)nXL$2hDUe}*NcxcBIDICDmVIx#()%coLYqxRjv!t14_vn8UcgMgq$Hws1{-8W zq99j2!ojV7Q^4r zLU>fiSUFSpaYu6+>uT6n&xZaVw(gFOPA|)c3kC!%?F@{c-gx%&`mG74-m^}StK=fL z?Q@ioWcj8|i^iWqiuL(sHplUwzm*Rs+=%gbx zyk;9g5y|qKwD?L*LPZ3_sQY2lAVMiHNn$A?wDWCL-Kj;Ern3)et`s9V2|Lhmfg1#Y zs5$yuZYqK;yS`zM2x^N35`JS$eP`=z<)7N~m2Rp1a!=^Y>J8}K-?jyJ7NTB>%7DT- zP#2UPb3{U9rwv)0zs#yRSr?BCTS{ld>9cjWko5x;%nHVz0+1#@%C^s94&Lr~+Ef2A z9w~1QB3PEF+T@R~F-i2sq#Nu6VLpCQ@OlAnczhHX9jGDw{m6I^NOSU3MmESkA$ITH zuOM2do3HBG?3g`SXC?-PUvXVD?dLh`X1&7ws7Oh1zUNwI;`B&F3@G zw|$*KS$Dlm7=*c8o#2Ys=Ls_Z;_~p9%8l+Nqwg;D17CBwSToOwX}14DOX6Wsb#6GR zFmp-#QpWuBm7W#|$TP$2#SFz*xW?uy>sN90>+Esd^1rHPYG2nz>E%CMOgrN@f+;g< zhmFrJpaScptZ-rc`YowK*AuO)2EUqqyOXGPh2trhneMxN#x~=v<@L`#O%U0t^3SeP z?+y()l~AsS$7)%Fg5KZN-hDqf1M((XQ0Rh0;t0EQh)wIs%Sw+eQ_NHw(dm#Ie#2Pz zw2Kg45@bkO7-ui$$l@8=uCV{vq-j&4VSsN{D7v|oLKu_eaynhz?*cw6Vfjg};(ew! z=LQxh_0GFJ5LYjc^DjTPLPzKHv-w&*^O2}Ql6xb=d!QPHE0=S`$ z0T9|@5*$}MGE|mtpFXXREY+M9yBDfptx{i_LZ#U=h=ebYeVVR&#!NQz_-2i?6<1f{ ze;s6Yxvtz1jd^(G8bg+5uaDUsVPyYJQwf=urfc4^?8_)>ilV3E!fep;NEx+k`E>ZE zb?&PC&yAX)t;Z3B`=7siGixdzUI>SuB_X30n8J}78N}25{4h;CY4*jivaT1H9$rDc zd&iL{eCj{U#}Er_eIECA;pWSVP{h0R_%&5FTEQTjr-BNPX||c)ZTgREtz7U@LvNlv z7f1*gn9qsWTf{Hb<~2*o@U9dw94OYjQ591#xbdI>I&w=eZlW)4;62hFn6gor`T7P% zPq~r3*o>^A^!(KW7v<2B`*ub1(ob*cx#X4D8*uUVYl&QP(PD}#-Ke>bXPQu5@Mwj< zfzoU%ze;7tZ&f5Cqsi44BUfQp<)dGy-+SeUN*d<-uDnRyXGfAEmM=JlgJ|~PJS(X@ zL$0f`yuwuh15fH=u2wrG+SzIBWLVQ!ur8+S-Cos@s}PCX@{zCf2DekrQU*EF_+{X% zCSxmwUx@212}~CGM7Ti>o&DCSOMd(8mG|y{-#v|@J@U2=B7#ny5K9*#vj{XT@#bd% zr;x`J_9(s|*S>4`VO*m)9MLfUOsG~fM)Z^dOD*g5QwkrBj5nd&G8ldYicvNU8hqTJ z22gXjJB!0EXy}La2Cxe0{R-~jzE;H){bm66Ft)|XHok#>Fnx6ES^elj*?Y&L!Vj7H z51G9pL;cp`yQubX4X(tblZVI$M2!>30O4XQhPF`L?E++X!#h4fkyFHB?UdKY<5-E7PPb8kAy)8=5 z$1KgZ8>`=o_KED>p8z*g&XU{-)_~db&?2Pz&wrNJPTs$&PcHNk4eQe~rt2t??oX4X z|K<1Ww%%FTi3(+qiIAa3zyy~|F#!Z@g@vedGvqM+A-|F3$?7Sb!sSn|glXT`6y2W0 zUdd0Awi~cEUH6g_E;W6Zyd^qlEYT8pMKJ#Hi~8FyB2R7U)?d(pv-|b>L5ZIh949mm z-XSvPPc~JxYKL5dBaKCZXJ)u~jx0298@`~GzA>e)ZTXCksmva^UE1n!TB7N;B@3&O zAH?or|IPJ#mYGGtBkutprsR(#_4HpMcQmRifdnY?tNx0(S8b1SD0FH-FbyYMq|DDA zJC_%%AsMPjng{T4M~Y7DJSRDnM}rcrW}asL{6qr47D|wSu)SDS^EcI?X#UW8r_x{d z2JR2gtBInVq|`H@1Mwyx0VQ07I6x7WlIEa1FuB5Om8JFNa)7|Q>59ly0lmcs#v2{? z_s~Sqffh1cjkx-Sc!02WykN_tXQO_kf6dV)LQt%Gwgt$Nz|zr4zpUVOEg)U^AW4|+ zNpG~SBdWz>nIJ2y%9__^=UeDSC~f@UK-0z{{ml9XC#uDNw0H~iD(aN#8`&h`3jYhxL&l;2QvQ@q2$Buu5EW6IloS^ddF4AL_bw|;MyqxjAvSNgJG;m=~D^`)HtGr)OrqrxKIL* zhbVoGEw}`n6*((30oHizzJBn%>?jBm?7$0h%c^_CG<;@Y-B=!8Zbg|tKwU7&i*C_& z-%$0Vy9t-aguAZ5jvG;Pck}udKAmlc*m;8}^R*Vr7A(cbxPGCI z_XUO|L!KQ}NymB5Hfl3k9%^^7a|6O)T5m+Fv#B0x0D)3)@)a_?Pz+(R@$ zDgJ4ySJQw9bo9$}o>X^+lLbQ2<#I&!y2z@o?0$<|Ts~*=(8&$i1L-vnb(~Pg_C>UE z_^^xl-E@q1z3+OkJZq&f5Xm)0-1PCVIKnEIYHu%9f7Ppc#= z_QBIj)|~jB@4^$ICGfrzHBYH<%JJgfUil~4V-@(d#F66>HwCb{aALz zM2LuYat=dxfjrYk_dK9t(~ZgSC|lx`p^?~F6*larDSnttFEMbPs9cmy_tinKJ}s~K zd6s%~#f3MiG~Qbz5kjmX-Z5lIyCk4rbHUm&#`Q(ZYYv4LhJCb(!3&o!sXmVbX6&4K zlX1qJ+j+wu6Y5cM`_Z|wVWv%8`*w~C5PtTfu^m@Fd2zI?B~^n#md&IS&v4pP;+cn>pU zB}PlK8S3=1+3EHGP@~h=r!?L+;!*|aLw@O)V0Y{Lms=ZzhR_YnMC<#N)yA^)rV&G? zo0q;#il|)I=oN#%DJd|AKoI9c#um9>M`}G~L<~f2je*Tnc~S0KA3@8;MyX;y?4u`^ zTTPU8b7pKD=Wl1sic=MutI{BJQhMG`Hjg%oA!c1X_B|98NZ_Jb-~6thve&9(YaRVu*JsOH%rRdt0((*dQ*T=juDM5-6N0Z9SA=>8bDR*ujs+!%D-wl}Xd zRGDmQpv7)dIEd}t_E&M>oFV{WQ-j`}A03iC1wk zHBAcG68o_O5UmU0D-!7HW)ue9PNlH(*lqo$`e-XQ48{W-A%TX7g--)Sv4qBxRr;=M&!UNW z*zuU_*fejN*B$7)qKsxZUN_3W=D5H^K>U+dT+IdT2dM%#Qtt=r4xAYDh*xr+_0S=A z^xl6wQ*1pnYzTWxGS2i|Z>caj@c*Wow{rN+vZAiiuH#C81`Ya=#=ObMQrS?c5U@Gi z{saHA<2^`hs+5QN2LKD87}zxTN*|!>5OaT3Axp{G00LDD#BZwAmq`ZvKT4?^h}6m$@nsPv=nib?145HhTsJ?2r`Iy&?~iT2XL~%hU-6pg*az zA(*xuK)K7{Av3&q;gS9F%`jWeRLNob>`yP>d>`M*-L>ij)y{-0>!LKRn~NJaat7;sG{|2eJtwN#c#qcO`(udR)!B&& z!z`;CF%y*8rRi$T3v6#XM7W9c?Ngagb=g)Se>JH};=~Ma>t(c7r=riI}w@6@p@LsPoDtKJ53AfXr?l#|I(&+IL1r)K~efu9XD|AZ{*l;a+)LU$+=#lZ|}#HoQ<-x%6uT& z6N8caMTLvB@}U7w9j3v%|@Kobf98gwz%@#Yj&=dL^|m^jE)UIMF#SCOYo1LBkQyLQ@t zoW3r8{z|0Pvr-j{v>}fUnmZ5wS+%b*r+7DN;9-0I&8w**!|WP46MW_r_^PjxQLa%OiR}ofOR%Sz zhO?_hb*K-~lC{u}^U_)$xC776{8Mi6RQVFH+(@yXKquTJ0MX2;<=LCqm6`xkwECjR z;S_*@Iy4<&0FCgDm52Zo`F~wR4eZ+#T7WHa6^nzN@H(LOA^}1$Is`TM0kdQ8Ck)t+ z3IOue+{oV&+s{Rw$ECG4hl&q_ik&4)lKJ3ZVpfpTJn?i@SE&SFh($z(`>> z%Z1{+yw+@$clRSQoxJ))YIq?0cxCV94fu(dXIhiVxs*c_qX>x^3D#kz=~xA+mmAP( zwx)Uajj!rWjpzcDJ&bXJD0RRI;2ZXWS{EWeA!yQW94$GP-{zh=^my?k%}{m&K*O7* z7(EkkAweWx-&d9drVxpu!UC(#M&suEi))Y1O|C9My%&E|y^0!Npzz#m(ep$Y5+c!G zJsoTWW9*^#Lr*Q2S-Wg|sK215x*Krrw#Y5^(7)C{M4#*Y6r?EwkP*sep<4#~FtNPJ^PRnS+ zM=~IQcnJ{EU;0Yg^WGs8RpxuT8z(QWdS@DL<$@*Y)z^7ytm)&X!vmamSrNqTgFATa zy9N=^dk81C924TF>~_T$)-tH}%UnR(;Zhur!cG77bGTD>`{`=qN_KqR8+!=HAV1ol zBx5Vwy&tZ`IxRLG8$@n*ZP7iSCyCKx@$C#DuT&;y8qA5&46jj51`X^={x#6Ey{j9r zgAW74r#tZIY!W|yTW`=&qMYfXCq|DDpJU5qs^#J6h&WsQ%;58t09oGd82Jj^sb^IT zjYl5uQI;U0R)ez5ET=Fr49DxpzFHjS1G+l%V{)>oLhbt7SCNn2TlV8%{a$;yB34$z zAF+l`D7*pcNY;IUVo~8q%0z$L`Vxwr-}~N36)YkC^;9HPi2q(AT9%xNd1>l6VcjyS zc&;AT2iN+s`BFQ+bP(r{T#Yj}m`>t~4!I5(~%x_1G`@bm+X95cCZ`th&)?39!MrKPpk+3_JsS0|d4idW^S(H}u86Skw z#8$mgXheb24q#b!ep5~z&`p(-tKxtTpjpdx>iGTM4)hUtr4Kac@Sdr)3vziq;Ue)< z`<1ihrF9MGuMAyYlyQ$fd;0ohV*HDK4;BoKy%UBPYU$~B3waNZ4VQ)TuOFLj2Rm>q zt5*)as9+iI7SfV`LnwYJ!DAVt(RogB=%YEh-e2pL?0FS64>S{ntmM8G$$3x zV^@>cGmyZMe%?#yaLTlAj_Jtz4&2^Y<7z_Iy-F;`Hs(A~lEp__$n>4LS-||`!#TPg zsjxIgk_4f)15U5JR584Wr)19v8DDlqQis=Mr0tMfELwy@@kO4163 zY0u}gR7@S50d`@-;ZhlR9IIq2Ls zk7(7C+eqfA*)`K%=M@YhERE!fT`>w*=6t@O?R!m1e|g9aY;QRF=u6pa)k}6!hY2pM zN(ybrSwbn$_9D~o2Sgfn5hx7*YD|af^Kqj3GHJ2qcTVr z=gF`Z9zGMld>k0V1{4G5JjA#0ZBaGOSQr?-K!w>qXB+-Jx)kFL2JxYqbf47)56#Ww zI`L9ictNbohIag+9o;wLRT|W));nYm#T{bQO9a6g7rMLeFfdIw@x3TU+RypY;GjYK zOpKnNv@1ttv=?`_BqS5W=9us7Gi07FxPFKF4Db0gwF}+cw2@MSO;flP@9^X zO{*~+e=fN9Tn`*j>l7Fyts(eK@(Hd`EmwXj6_FVgL7}rro~b|4p71X6$Y*Vq&U7;Mtb$U7Nr`}K%p>8&4`>I95gz%6o?dvp%smm#2F9pwO+Ab02rLWhWZ9Xo3{`qf9!x#RaE)9Fq z3nl1WPTFbi1_Ow|FqOp+)Or{wFyOZLFbXe!F9c_q#=PJ2o}{zDa(ZHX27ZRc=EDw; zl4gKEmtC=VTgsN8ALGO_Mb@wP*rRQL-xJ!wk$QQ!4!j^muOO!w7oZ^~%^_|Pqrl0i zAQu$l@ z&?PXx-~W0$d1rPKt6eqto9YF?ssP!KNXlyGgm#u;Pg&?vJ~{4uy+oIR?-~%Av+z0a zA^PODoX8N*^)yqi*Zz`MS*buf`-emlVLTrK`E&>Yu{+cB)J8Fd(YIx{^bCl3Q(Z&B#@zI=%> zu7yNTj^3o4Ca$-piVW6ypw~)?@u;$OxtbKi0sf8jOy|pB){^fwme0%lcb^5e-4D}2 zwl5a+rV+25L(PX#F8`*Qx&^2x)JMze9y9@6V`_3~E|IQ(5&()Rh{Ex~`GHmlDxF0`t+NypvrFhQTusN8{sj7>+AQ$uUB)5S&Er@A>Y_|e`&ZAp@ zB8#5rdv}McV*1zSX-bBMm8-zC-fEH4$T??gRidNEXKn78 ztr>^e+s&mt1b-yzo?OXkhKE5e5y&B}Ow6_>=yxw|%ENq!_9pbraKH0U{2#D7e~-wB zOwqM5w)wtQt~_)gtc0?KPqe`pkg6~5re=CoPEj&;(WUtnS%>G4SfAZY7reu#m^kH%Ms#tOtXn?^_v_9(cr~;eYR3gQ|7Q}HOQ`^pqvQ7mf@hqYko}`X0N&5fet`6qzJz-Vm^fyG>^zi zhB11s8w~wY?hweb=WnK7xzBd%5Y0odCb5R$+&{{%Bp-(C?`;)|$Cvm$2*(uqJg&;8 zF(tFhMM10`JZ7Y-5NXSX9W2TC}E(fMDr^CYK{jV zGN~+EyBvCl_u{cp9Ku8@lqC8~_Oq1!VE1n-#`IS}GGpbLQ4T|kL{U-9k+g5ztBtLf zTJtC66t-CMD1hV@Uj5_-GW7uA`9>BA{GEV|iqDbwqCo2X703N(MKU8IXM8TtUg=_= zu|s&!(3UCXi54-J4d}%Jw6*pJ>4BZy^0gGC0WiwTCZfnh(y13Ut#7pdRC=U04Wa*4 zI^kZ8Ltg&=Gn<~Ty^mvlqH(snh*5HkI_d0fx3-DKyHm&IQr3ZyJ3MhlKO$TWx21s> zBD1~mcpI<+4QjIGm4d(C`ibkPPt*}(`+vxY{9t$t^k2T-Kb zvbt{Iq(m{7jxTE5g{B~SV*V2~AAU~5di9e+gtgEc^7Zntwr2}te*HNv*x+()podr( zY;?~{CpG7}^pt6ThO;66&D4w-M(;rLU-Fyf1Xj&)!+{p3m|M{@*v@0>%b+Z;hY>)v zG$R7oZiqyU^NFoQkpi#kM&+8UivwmG6j?boiC;Iotzn!h+BtACNVmJT;Kb^;k6ts$ z(yvClome9uMH}@D@8v7I?UYqL+%Ce;W`o5R4(fJrU*BQLSi{C)!gp9C; zP`qXu>rM0|x^m#5=XtI;9dnVO)zMpxG9&eTO<#`JV@W#S7<^|T=d1T|iW|VDL%bT*SgY)nESc-=B#q_CY*{~~!^%{}o~eNQ zo42J!R&t(R)7j}*!srb0_Z_7S(S!MpZbaEfM0_D2jH{}cw_Xky>^>L>kb7XJ_wIZ;yan~Gs#wfj71HTffb%KrQl z?DI@ilbD~Rxi(k*FiAG&USF_+yfMb*7ns&s0M!@_?ubaUlv!^_ukTK8S1YspLLfD+*^YLQXXUp1Z; zVB_?Zb}W!7>XU9DpaU^;UqL%AX(b?X1o}5sRv_aB=h}<_o;-HP1CiNAh4@fdbuRj6qU2m=-Ur5?!_MYbc&P)fN^;6R{d(FN zk`6&9MZTM3t$RsHt8i(;&rtM7%JoGDu3JLZX95G44&G0yKE_H!Wg^wkPdrWU43`(` zxt0x;t$RssWq){6+#Xh)n3{4{c6WbZ)9)DD3Zp?P;6niHw4CHv^y=Wa?{H#UIgDR` z`mPzjdnccjFK|KdP3zVk#g-x!bVhl9Dtl;=SD7J z`Yj5tCpCVQxT&8x`=-M`O>DzrpM8xYNscK?V@5vyLAkoxa1AR11+8ZN+z-0mFPUz6 zBQcdzmFu*em6`wTsa{n9+u3%eamRwB>b>mO3DoNG;=|PF%;zN$eOmL(Uig8o1YyfNi3w@Y>QV6{g$>V z_I(q4$iu=Vpidot201lXOm(UWsX|V2n+;O*Z3vu4g+nAN@NreGJO+Cl@-dU>!xvRC zr#mykCC|ej?mtB*Rg_uI-g88n;Aev7nZ`YEl40}t^eQ*iOYrT5d~)vR^BIIpd;8Nh zrjNodc9`H$bDu?v{n{~%BML`SiK%s;P6A20=1B|Nf!~P(^Y+{R;^osCEfZ#>i>BsN z6YrL)Qx!b8OLl^fQflK-b=m?;C4Q%orya)+=TC@A8U(-Gyp`|oFTC~s$b8fIW~~yt zSXdROOPi_kUYioc^7sj)YaUg~$a#P#XHjh*h*OM3j<70#ee4(x1>EnVPX(V-ufthr zw--LlPdO&JoLc@B+uH>oRdfdf!JrZ`qy(|Ph@@6R48-x0Em~P`uKh4qwf$iha8faM zkB-W3YfvtdhR+Za2DP%M*CUoeM2JSFBg(W3xq{bc;5Jv~D~ByEt4}5h-7R8l>oUt+ z5D`DcoFQzzrXMpRfUUB0q227-1D*%?EWugB5*W+b$rJsmx{o$9XNdVZD(k(i@6v}a zGi-G5#YO>9Ir2t6Ciql%s zj(v*JI%sL~SIlC{7=Q{7%ny)N#zyps*j(wc*{`8u_y73c5P(-0phj6Z@FJLHkP@zY zRxJ01lYjl;u7UcV_yNty{g9p>t$n~8IV9&R!@qczTr2crMc%GeOpPrNw@NQbEVj?# z|A2{~LrxlAUD5GfpZ`t8x(X2=d_KIVqc>nQl+7Kw)$W>n^;j|Hg176-YL+fN2q8<2 zJ43eq=jTLS^;dnIcL0$=@=diL#zAZ^!+*MRJO{p&F+2O8ewn0iIB2)ODR%f^*gm6f zX#1HD;*-rsY3+--hIg4>5k2aYy1NgMWQu z{4E;)6owRwtF?gC+aS|( zZ@woM;;ozEyk+b^m92B8Z6|Jj&>X$7W@K2b*%**DN_(-l?e1xi;Z zg_s{;n0z|^YBW!8W_0Now{f>Vj>m>S;F#(*S35Ynk309!(Rm$l7I^%K8QnjA?%)1V zf8wS)0~^l?%$7_?G>oVXK?GdW9B#TgS~4{~z+PCUU89xl^e%8Xwviprxd|t{qKunM z{{S*Jvu};)i%fNV`Ip}zRS~=6rmEasNA0RtV)#l@Zk|z_dI%Paxeq8SB)UL0l%71J z11qBX`6dD8!BaGpy07Sm1+y1C{RW!-_y)^V6ro_)ki?6Uil~!lb$@2R+lFyo8qfZn z-TWUveLxRpBb_DOPiWO;qMax?@CjMCgk3|)cyXAM(=WZvDm;Hu!uwI{RU#$-eRu)G3Zk?2cK zj<4pr`@S5x3Oc4WIsO{D9B&;KzYm%*6890{&7rjXaSlf&K`jxI=4k}{Ah3ectBcU8 zAi}`Hm&P1@YIi3E-m81JaF(!U%{!3bp12j&8?eP}SFzecXiKcDT1gN8R;ZuG; zW=nLY(j>|RBpjt-^YFcTz#SI0AR5iE?_f!6N^_Exgq*p;hKza9tc3PdmIfW`2a!|M zGEH|_+tW5J5a0Mp)xWr9mw8aHc!QS*#;p(9@gbWR=2alq%E3CI4yP|6x<4eXSag<8 z1$!F2n+bPOmo~a($8*fopoA^vz6Q<+?)x*}hicgW(^dZ8|1!z+@sPb+gxor;p)zu- zeT}0sb;f`pMt#j7+JB8MML^N$8Xhx;@u$$Q9>zmx@zZG`_S?c2pOO<A%^Iwm!GX<*7a|Gl4kJvIB$=B1`z}+78xm}~n*aTLUm`IKKhQkOQ77?w zet_$hdom>gDur-OnrLL^=VI<$fO=^v6Gj^}Mle7I@XS8_cuvI#$tp|ra`%LZt=uN7 zd*iOebd+BKV)OXg^d9xR6!CRVQ`9jx2|zOa58$K_4U)ppTnCwfq6E-)PNXQR=-O9b zx2s+ufm|Y^EAa-kR~zo|kLkwCI5J*@*p1X%%_s@tJG+iS1j5P%}F z3=0J9-6U=UY_1K=5o6TfJ__#sQ$s%SUw8huf&bTN{KskduhID59Sz8QI=-)x#Bw;- z%9;UvSNB@^ep9%#t(-rI|IVZ>qe|1ch76()Ujp_eu3;oxW`X?*u zDoG0P_g|0zYAaf;KqtpGRk}VHCMQMI+KRymJLQ1Hg$G4$ASaD4>aP5ImSUO#@Zl++E|ToPh9$<7e~M1}uc^FMyDx06hXmGdZn%9&xL8IFA0W0XQZ>ARyPshT~Xc6)cBFSZvJljq3f^*mwS|Q6oJw3I39CbufM?Vk= zJtdW`$rqapGJl-@Qq<+5Yh=Bu!+w+vfY28%wsOU`Ls>~yIMW!H9ocTl1?;UjtF0&d zD$ZNRfP+^_)CU|qns5|e8i0zU^U-Uvy^vy9^)Xz{?-i=0$Pd6)exTZ+L~a0H=^Xz1 zGn5R|N*u^IXNoNK6(a+k$3p2)E6@cHiJ=TIn6`g+0`jl_|F7}+4-@2H^WlGXy#U!^ z-~rDFQIvB4ab!nU0Xmlqx$twUXCC0eblj^3w7$(-tgqKksxnk=&eltP!!i}m)j3U0_%sbM`pS7U7`|@Q#v)=QD!uODs|kvG0!xC zYRqVba3TlfjdX2Xy#uvX#bvt>uv9qunFMBLQ5T# zb`&FOb*nuut-W3=zMTvd2K+x#xb`TY5MvB5W+(O5n>_5nfcnt-V?%l5UBSBgetuJa zu1+4PWxxaGCs?du#rLs^Hb;9_(~_(NkzkTHttit0PCZ z{0zceG_eQlyWFZJC4x4d+(m!SU%l=+d@W}rRsG6C{mOfQi|>)r^gr>M0G3GF>MER* zWcVKQ0zF~fJj(tKeCsj z-yVmxmG*`X8uwW_(_im0l6TgKUUBbiA;@-wX6Na7OxwCXiVepm9p;sEhOViC8G>mp zMONn+eWvt#r_^9K4)HCIQsS#>@eK*e1rN1emc5UJA!EGI_t1$dZ~jRl^dBWh|GVd? zlZjxU-k){b>nb1zt$qK5wISyMi7QnWg#+MK@V9@WU5NrTA3**`BYjg7fZ4Kv%(TzJmp_0T za2#&_*S#|2(TN|bE0efQnS$;$%rpd|)1Zz6M>1(Zls6edNthgE#{@~K+rSp0a`%9) z)s=r&)95-m9`InsAuOn|^i0$$o5AY-j&;@lR?PdKq_+O!egFUA;DVAtcy0KRJV44u zjSV;h^)%w+4up{&K)4S`oMKS~8glp{=vd1J{=#T@9us)69ZgaPhQW>N?_6&$k@lzw zC3T`!fsFuf<&dMY!GirWp!E@^rN%*doKx7NbNSuSFNcSI>wM3jpbN3T8o~%AlZ}9_ z7+~>CYcG*;XI|%=&^Obh_l=?AIscStE9g8U^lh;~T#q@r^!~J2Way*i+6~_z9BcxN z1GT8g?#~J!`Kn6rb#Rsb^e^j9w$kJ1J4<&BXsK(d%e=83c&3HyxRcv}Xq&(oX6^mvfw)^@0X z35QpFK5VR4vnLthOU+BlQZ*t6$&M0>0gKl<#kw{1j6P>>QSB9^1w$*#X1Vs0$}luQ z3Ag>)F^gSc7W2vW=prZXMHhA#7`KBhjCjrUM%RfvxCSiaJ)JMeEL~Wk8$IO&!^*az zn!tsZD~YIu`~#MPsBbO2-M7zNxoaA`B40TqGFqLbmsga#`^q5$WZh@6f{L6KkcIiz z@T`{->GiR$=L-i-r|))eoi$bW5EXQlr~_0Ky_}A{3OK;wcmq%}b{}N1mTxu?H3PI#)%Khvvu;KVo){RTn%eVj_cla z2QfLH6wY>7X!3S*y^O7i#~U|CE}QR-yJoPgsk=Pmcen&h2ZAE~iVu z_U1J#R^mf((78|0^UsU%SJMgd2C8mF>xZmOHf{SuPVe=()(pD*uH>^D&P z2%V2u&=KA3u^6)?rV*O#Dbt`P73JoO9tS?26)dh^6nx0DTNM6|bv>j6xezH#pl-WJ z)G(}Qz(XT87k4awxa~j5j0Uoc7nki)Sl&22;q$LdK3F66Q0R2=4wJ2*3!8pd#_nDo zB`L``O+VFW(LxArQl(~Q7QFSQ@f*w0PfhU}s<|5_J`4VFA{Tn(b8vy2DFuiepmje< zs!o#1`tyU)I!+x+bro)xg`as>7{nE?WbTaYUvPZ*HJ@F$^yWuCDeHYC(U z7>JaC2mfInYvI6)LuI}Ys2pzI|5pF$H#FkCtyDBZAHZ#ON++tM`^2ye^t(ECysepP z^UkkAkx|(daY@IoG^YlyyuGC2(pO$9u#W?>BL?;!y5)Gx8<|A2q5E~!byZb#4|$%% zT;_sQvG!2ZeECnnq-XenHuPHvpFQK&w4>`ZWM=S0+epAZCA$6F9rIf0YD4NX-h83B zgOq(UrHKxWE8%RL)x7{)rc4G7LO%Z4z@J9HZo(PrAXF2kTQ+jKU7Ux@)6S_wX&JABJCjjf1O9D;{r8O)C|7_aW1x$Jf2_3w=osz@zk?k}t6U}}!+>1SCXkKQ z-dv}fZBEFL$su$MAEORT0h4Y?R0BAa!N8l&)HTY%Ci?ZDcI?v5V>TWQLia+&_KuHk zPW{DF2AC56lb;Ic0L+dY(hOj3A!t?!*y~o>bU|%0)Z8f!;4oOP=u=2jhjPVkjSx73seM3=xl+(3f0o~%z$tt4(b*HFC&g}o`a>RD%$@26A5x3I)129D zVa$(BI(bF9{u6Qqd5U1wpM#*q{MZl~5qC^HB_zd~AXXSY-^_MtzjNypNE9Gg?vd5% zd>4FHT2Pi9*{WyyA{qK5UvM87B#@HlLm&brSw7jWUG3%aO2!$}0O+5UwqtMqo9g)| z*e_wEDt@y;7}avkbI%iIY0esE7*W1l>3(8aEOUvSnv1#Ul#9aU>LY5S$yvPKz>!?( zcENCH2pMM@AxB3iYTb@DF7b3c}@k-79Nca8Ca&a0CLFp14C`Uw)e6UWI= zJZyF%56ZV9H+umIbIHf?OJ7JfYYhR}SKNt``q9M`l`lH*sFj=pkHM5&c~uw-eOEPGnzL z6#aU43!oJq!B2L0;h#|)yKH{hIoyPyeV~A2I=<%zIqYj);6Wx4oR9P-+JJ(~>}^%( z2yW-m7pBrXCqmcse<>_`Lh(FDf)xI^h2K=i*D6qlZ5>4H2>`)% zmaVXk3D3IR(z)gazt~%$t5$VRQ#W2KvqSHCUfRJAZzFpf(V^HKh1|C4%&2(iT%u6| zv)>Qzl>e)}_l|0+-PT8=h$sk1Q>jrviU=sZN2CNqL_nky6_F+&AkspjAiYUf6hiM1 z>7CFcqVyu2fK(|7B}54EF84WmpS?f7-#ulV{Tuh3>mQ5}iCOE-%e!WI=6s%cC9>~x zn#IZ5*&|ZNWJl$|cs|&5$}p;;3X@O1F^HfcOVrCC_=h%lD~2kwoN@*~wOrMNUhq%Z zXiMM{|NPDt*&@|MJ?#Z;twXnqJ{T+B@K_$1xEZC<<`==eE~uP!uZFw*-p+k1Vcda8 z^iiO5;wI;T-%X?gL3-%DRPB-2m5T>g4JQ%AD_18UG1|WKvC2Q-!N`F1&gJ6`I=B}z7B3^ArdjmlmL#{Y z&2D5ldlvMWT{QHT8_C!d9526L|ooxf9b?Sx~`tHanqQG`S&l~x}lF!eZa>$7=0T^qWgY&?|*aJ zKVScL-2aOlH*H;ZCTzv?*@tW1>0T`^#P}C5ZZhX#3_=9)SwgHBm>q2AGu5$nqYe|i zYxgLq$F25!$0eKUQ?Jey?8<+TLzm|jW#5pruYMHCC(AnOz5oeFFdU|xQXb&a6s%nqz^d5)o}EDZ8DxN z?k=`2M6}G^mOI|B)4Pv7xN=1TTYL}E1NbXsCwdHXXDGK%Nq6?}I@aKhc_ZZZfqv*1 z-D8hS&kI4HBnN3;d11$g?z%9ZRq?G)TDNhwybORlci^0)aKd~m8mG*&*;T3&GM?mvmU*b=jWilk~h|%Eu;Fcvr{(U*uSM zUFnkQ`0VDlS1J~?-}%~*c-`nQD;9!G3VJ0~3P06Um^*dxE6d_DkxMEI4^FAe@+mDT zi|ho2xwo}C$;+nA-_@_XJG6k{7LQEQh=D&Fr&=u(;6pNA?xurQxV2iTIZrjql@x@D zWZMs-CP=`bD_?2Yk!BSZs@bKKT zLBSqRr>m4L5c10kD(;cUT7ii0K%ibo&7F7|2)_~(2aW{4$ApP0soMPjjd57+tmP9G z?y zYwP;DQ%m+nU&#~S1$SxMo7e~7))`ZF`->?qh4!9W2EIBqiCUAs0h3&(q32&jaNxB8 z7AW}Gqan%={Hj}wt-xn##e|pdmdZD%cp^lCOiVjr^`4e*MmhSEIxsPz*@)pp3>eS> zHEuzjoEwTtvG?W4Mmrj)epTa+fVu`6HMva749U|)JeQ1xIv!{vKKjV6gQV82=rvvF zy#}?Z);JalHttu37idY)fhPS=*gO(cdgUjJ+iZi-!G-%YBXP=SM%4zZUF_C}7Bwl` z<;*?4HlcDLUt>MXn4AT=JEJ@DQ|j4XJV&_E>w=7dw*nTuXq`+tAMgk}7A7d_@!YRG z?X+FG?Xk5z!DT@C3@N)62l#&d(alPECH;B7+gIvG#8~XEeXbpm=8vgu+Gf_Ve$Q`= z(Z7?|xvD$eexNNiT^9ZF$@D}NgvPE zT~XG%uU^_0s=v|wJQc{QZ+80ck;$L0*|wL~zXND#+&t#s2>|UL`0O+M(d(GprLZ=# zXG5Y?a(|YPX2@>^Tg4AprJ@gc!x~i@+WstE>`I;e`wr)S((5Ci;XobdAN&5%BEO>X zx6I?X1A#W+zYKTz6P(@Z?JxWQKz0~yU{i_#h*F`*Ej#RDlnzg>1pxpdM8PZ=o`aKh2MCA6n#Yqw(6#f7)0e@OcO#ofL z{onorQ=!bDw(M1aM75gnP`nzQR=9+j*iAq_#Bd*df?bp2!K{odeZTu}`1>x+S~Yg9 z`yVC>NFKg^Ue-Ki%)nB(Q%e-CE+&)|DR}10Vl)g&QU&Ls(RazK^%3` ziNW(asC5j(=L_w+wOJnOf>CPPXAk-=?S1wOG(lDAt;O9xxa}o2TvRgO*WjH|i&7sw zzVKzNE9^Q(rt`ur9Kbk*gvfrJraLTcP{qUU>K#G!Tk#AjNu$jX8{$ma<=Rg0aO~^r zjIVhh-e+dD4+;aUIvH8cmE4HJ9_I~@TMQ*$WLqSHD{@=?ZuBVTA^1r~4{Ro>JJH83 z)6^*j8Sb({$WqW&^uBNt1CXX10u%!-G;Cb0wxwGPo7QjT2Pld%;R`8YE&&)k66i_6 z3jF{Dg^-MXfHY)VW=IgA>tsIu`~0N5&6gbxkzNcgLxm05uZ#DjFs?&L3t)Udm=?2~ zLjq1G4G~3li}KoIFny+cJZyWDWEUL>+cAU#6{3IxJ&HW^mz89uDz_zCMyqBt98fs; zaK?wMGc?Fq3Si=*^nYF0QuLFBB5!t2=zXZ&pd^@{I29F~NALW0q`EP&m z-~0SO?rg*Y-E_1Wfmtr0h|@x8an%-;&MD8CAI3qI6oW6<^8~`cl*#dhr4Gi^UM#bM zffGFh#?VS3XBTzkm8$Av>tZyjDFdmv`@L#rU?z<7y12p6*;dqXDaXxF73l_gw%YQ_ zR}<<}Um|FdxLBUEP+j~shI{}JEdW@7q?f-s!=fT+g+;?n2_R9WG1IfRLYsE9+7`sF zff6|H2x)wGGw<%0v;MHsGQH$PEB^Kk%FxSKtsLJOkYhIvM;Ha6oVZgOkdt9jw3%B+ zD*)P{WdA=Cp#JN%|91e@N8dMC&+5^WuMe2(5Hw%pkivBzXjcx4GS6Lcjd(sgdk~eP zT0Aa9wFtx=Bmtn-zL0MrwGEdE z^4)R>^PM-E^elJ{fOplGet<;kl7QwN|*h8G6l}X`FKafTC z%L9Uc8`(f31KZ9n>yd3nvZ5N%88FZQ_Mb4N12kCxj^_93e(&A?ch6lcm?VH%!?|42 zLeUSEy?Y^0nI}OxKY1F-1k=^O#)WJ{1yD|qpt;gX0ZJlSByPrb~?RIJ9%+ z#O?#V#%KSD*z%VyjsN6lxki7X%WYx)Sh$N{sJ;5dOeo_ot%6j)LVGK}if9%fId%oi zId}9mv{irRH-p7&1o3s%1AX{40;~gv=bXL#B>L=$fNxFwNykM+Y5k3~sqYk&ZNRTm z53{JTiEhxu`-B3iO zJv9dG3t8dp?B?OAR5^e{_YFeP0E`M95ON0TaUo|t02y1}k<`|7o&n|FK3b7&K*945 z@Ad;GF7RhaswNl(!7KCv3922DjcOcPyMIIjfdnjDIsyoe`nu+$$qeOy1vG=;`Y<%e z<%a|;g~k-<>lEc_P4m^-gIp6r1D_^66>pi@XIF9sIDR8Yayayt^?kX+XwS2>Ow9&l z@_%x3z|>tQ195PA92QLCwgpq4a9SO7_hy+-u;&y zc%S!s`~Q!p^Y`}u!=v{n2k^gs`VWvTLU6Y9LcLj_8?s3TznFL2x?c8nS0z?0Br`Nh z0vTeftO3Q(%L(Gv^QNi%;Bp5W{hZfWf~8och%3{RXJPvdZNRI4wnD}uWkWq z)Aw%xgAvYrKwAe>PSzhNVrltEN3t)0w!vmY64;zuVj%MKlGlCj5yZRXQgG71v_lA5 zP(>$o19vO&fmPZ>`$XNy=OZQF}n9 zHyBxLYdC9zorBgRdiQr{!Vpw&nGy6?dvqn3-o85S1NLH8?1-QnlG(8d{U=0~uiWYX zjMCoEYr>8L`LPb5n=^-5>%fVmFWM`NhM%YptTk>Y>Ys`Nh9qw>w(pNl8~w>po7}&Q zuR$52wkh2CLK%&5&xP%UL@St8&--{tH4CBnMlg;pFRi#nP|)E97wha*!h7iZ#xOhE zyUIr*UtJO8i|{P|)*CfVJGgFBTQ{`fR6J+7r7M&4EF^qYI~-)Nc+GRj_yT@rZZ7~K zzEbT;p(oJihCE)k*%D0t9D2vEzUtkJRfxj3<-Z=AKZrcJo+dlsJ$8xdwmA-Ej)N;( z-p1i+V-^lNF5>KwpBtPD=J_sZ@udnMndrA*tHwqL?{Q?VxRDCl^hTKN(iQIJ=_cU4 zx%jQuwvWYcKDwRj%%G_->id(lbn};<+`l$%CC1i*LubyAFW_xet4A8_OH|YBJ2O!5KmI1*^z-xlPm0EtkH-2KP?h}aY5&`@jXS^~Yu&RH+I#}`W*Ln4<9yrg>26w7 zLXJpIt@~!3y&n10==kn0vUzTEDy%L#?*F2Ym-X`@`@f}-2LaH7f0uZ>4%@KDm7GRSH$J?6SQFV5 zk(I620}}C{jC@WNCDIRh7#%oGPsm*>$IorU@FkH&GkRG87pK-=y7g#3V&A6S=)L9n zs1!My2idaQ-#mO-1f^)QEyGGrK=55NrvQG(>+8s6Ckr5`C!qOY@4aB_^4a8ThY=dN z?VCX=yu+2SquHOHIHuB%ieJQ3yx_t;49tGy6%)m}E`Qf%HP>z*J&WpCKRb_ZQ$E{S zM$`&pr0K=)MigPUa*%Za{7;S1WMV8Hz)D~11ao#9F zPTeblOrc)^5>Iv0nI3r5oIniM#Dj{VxzwSL^_fwo_b)^pITk%7psAs3t@!kQgEJyP z-->3oH*n^31uPJ8zJU}&xU{i{HMscslUY@?o70+9yZ!-Mj6RgJVC}ApgyayKkH7yg zqDkBlQ-NKZI9@te7!+XY8y+dKdZ1(N$X|b=z2FXI{Uhe$RsWNmULD&{d9f8d%`=oJKHPy(3P@1O$v3k@gtM(M_L<&d z$38u9q|5DaC&1Pkh_2sSI@0v$!4s3O@7x?$IKe>xVax*=$#Y?(L2q8uB{<_;W?zG1 z#^;Og!oG^X-jg_Q>_(fC`N>AHR{yzB#9QqOSx!ZsdJTB}fdcsvK`i$`2X0ByEph;0 zp;)^n_N$imW-nJ!4neYGb<@z>N}rqVSuTmkD~9%h^^F9wN?r~}heBra!Sp-Ucu}&e zt+P}w^U8QanM}IvLB2EZtJmZ5S`az*yB1qAcug&p=mS0yO{)s;VLSy4BL%l5i{^|@*NwewKr+AAS@#}bBX48A_V3OdoHU6hM~L)1ol=|Y1aie=GyTqRrZfIT zdz^RED1WC*HPkkkMT(D8srhZRU@i8%?U^A5$n}v@XrF@KT6YFn`7o^l2KJKpT=AB! zP^1xJJg~mVJ9znwR*qI^E4=G{VDrM2%u{;wgt(6Vq!56vvH22qs>GSSfwxY&H^k*> z+Y9=&7O_~c)Kgc^<`UKg_a2EOU=w7J<4-)o>O?Sw#|6K6lQKHeP#;aB`(%_xKW_bm z=L|Vtz^!oWu+Oz?w;-vmVngU#ttS!K(x?QyVVfi{UPQ^=%e<3vrJ({JxtN`E^WO3C zYuk!1t&Y7k=XIev@5AG`3=RY4iL^0Ba4eQV-2IX@s#Sg4SxPU2b727TK$&sQGiq0{ z_^zX_#Ogj}L#@fzznVEvf5NpjjphYb)eKgSD4s(`qv-Avet;q>bv`Rnm<3|}BsKb- ztp-FThOV0Y0C~NAmzmkYSj!N_6{T zQ6#4S$>4$}ZCm=++31mS1S?sxpTYqDhb7C#vD+x7q=d^TBtDV@F+2y!p-+rTxkU2N z9ww^r>&*QCfsf3g7$#OZf+Eq&F=~rbW9H2^q0UCQiN-29#cStJdorJtZ34mFP-=(4 zJFrlSJf?ocwqjrdjV^h3A-7h#Y=F(>H9H9z6c7vW=gMJzC#YbLM? zAx?-&pY!E5Zl@i6_RQyaiXU55g7YVMLTE<#8Xg@k zB_6`zT$=ICj3-+x#ePm$s`|Y`afw#chE(#Ez@EW+2Pbw|ymN=NNO=5SvdCQYmx&I{ zY03ro9nu00n9%aga6}4u(h)O;pVnT$dJ2q{Jh)Ap$CQ6M(dqeB#V5^28C46s_Bt@f zet?|xj(HtX(#|7=H>b)CF2#TOW)S|SNbG@W$dymm{Awdrj4xl=T&}U$w}7LqzxhDg zq_>kg(9s+{xd7^9IP2+;Hr5{6Omot+8igk$>Zfq;aqxoJY2bE)^m-&a_%GAS4UHs`fCmueLz;Or<3Clz3dpzAYf$l6N za1p6~-u5N$0NEUESEpQ@(6LybyHbs?kY(}@eH_`TpYrKliNyPw4{}oRB`Str>@vdo z{@zD|(85!YXpk-Hkgp4nhvEmEFo1O?^)YYbB~fJ%NNK*v0Wnn$%_5A< zCaGH)KEKy8u@fX!p9&E$^^g1%`ZSPr|G6cBLO>7rLCwksY~Kg1x?D2<7F{+`a#CCv z>X$ZuP+IPOI8Fu(p?`r*lQjI??G6V1BT4Lr#MeGgperyV()KJibb+*qf7?knuj|>) zp^}h41@+E^@gJQ&axwBF_DRNxO!i|TT~DygrF z&HJ5jr2*{&E#4lEN1eb98XmD0R4*F5AMRb|iq&~kFSn7NX!<}~|7%EI4BHDKtq;eZ zeOS?LDyRQR%_CO5y~u&LfLpD4#!>W zk&n@gWN_u+!Z2Ah!#>w+M9R@OKKQ`Eo!xHkT`es>qd{*W^<1hN=!*NENc_Rkk^S*Q z%i%(_PdfglsW+G=85xicxmUz#wCN3{t z$Vt+m+EAuFIvda<4m-GYKGaEosZ=ZiUPeU~!Au*MJPVmEOa%|FsW6kEor#I3v2(?; z?Nxo_tJh;-LJbc|io#!~sOc2Y=P;;GUWYp&V=!ie#zq)Dzd$SaC zW$?J0NpP>>msjvyqSXPcT`vL*7H{x7IztM$HHs`N@t)Lg+bW zr>@T`PLI#1V9*XTS;mQHE033-32+2g#&`8$>PnYC!VZ3~7&Np@ZiZi~|qXR+rw zN65*v!4*Hi%f1y&CWo`fpMDgo3Zl83`6Bw&5g?>Gz;!defN@bI$UK;;K#y*^mqSvY zHMK^2>j!&4)cBK}R%65{iA^kP?R1iPLU-+60^2-_j>6<+01lg$C%v^#|DsyxP>s4@ zRj0)&7X`YXtTF%9TVT8T3Pb_RzG;Ou6LgoHWt`ZX2ZuHQ(}@9ERyojiEdMlAy31+Q zyy5w)30pY7dj1FXYY*?KY{hejKpvB&Nbc$6i+Gh79E5%>J258b+I#gh_Y2$);nwa~ zyICe<9k*RNjrDLdB$3_7&Mesu*ZeUk71ML|@yD(j(V17kM$-EUCWCv~0-tR%wD6em zI3l8))M$&-J3aQLC{-MvT4|GSVgY@@*PO&ufoJJdy=H=}2#?BDS&<`CQq#%@97Iv}IJqkmF8*!Skn&0@H(-Vfi zUQs@w+yVa?J`zd3nT|7M;{GLM)%z}UCpQq|ywP_9oeid$yd_S|85=M$3`}}l_8~;T zzFO{u122ubgb^6@0zF;i9j5#*7y8 zyhGdLE%Pp}cV8p(gK1J5mlp??<@GX=SXN`8e*J#^9Y^q*FMe@)uG9VJBmM&>QK!bt&er|;65;nV=99XYuj;Xub+pH1`giSe7tV?Y!cOfJ zi&JR532N&7_c$OynfM*gY9FKIko67tQ0cQ!{~gUly(@Xma+eU-KYBo%qv}#VskSEwhm&r3m3#L2qtdmHx5%$10YO{RS_tH%NAz zioz8I%ow zJl+)M#V5g!vU~i&2tnh+Fw+M2zeft ze$=TI3cV$gMr!dCTuVBDk)?(k_`9=7;&Vp*gVLXmGL?0&^O|JJ>Tm$bg30UAQqn_k8G*g#*iJ&q>`2-;)8(WR(}cHRu#frb^vhCpB0f z>v5{AoB2jGzlM59(aGzY*Z8WSH@;I5bxA43It2GQ)Y`$kP9i}A6G-mbDO}f8FZ-O6 zq`qZ4g_5L`k`s;fl+gwqX+^X`PVJZ=Ae4c+D;0O~o#E*0;+*hH!4>R(h$K`79X&*n z+&6s{51g(`UMy}m7UHzGvyhuwiJ8ttha!aR&tPbNfLt~M21p7g8vb7b37FGxr*W;Q z$qk{5qE~-1XLsGs5TmLqGzJgBT3-${==q zp+M30Z%UBbI)9P&I`WqunPY)~!hs_}@G!C(vJbU^xf-`&@LI6%G8ks$mkFRtFzcDo z9-Gfl(=k`Qx%(QdceDP!K?)3n;4OC=G;&uUWs~DhpFcwV3LL85k6+W85=>l#p7&^` z>sq@JHCK-UTu1oRUN%G*<#<#pkrRMm#@56yL@$;(IW85`nVGInhq;SE+I=`>H`ty9$zB)(-IX&~4q|HkT7$ybG)J%I)r! zZd!TCMaOiVI}{Pqc6UGP(QVxfnN0_S)A|q`Q)E$mJZfU*H2EH+{48|v&ZI?~1Np|M z@K`$Z#;{h`bh}@h*-RO-rPz?Dei*;|Hbv*w0WyMP{9C*1{$nw&H;Jb@9L{-Mu-1_K zFufiTVcd`4!h?h0JOe2-ZFRSTfPBQ{>4Z@6-q(P{FUNftno@^rDf0V3!;@aZ%$s1D zL?{+kHrlRhJP&S;L;^`|JDQ~leK66&6YyB0DJ2(s?oz4u35XvbGwqv*;MdLH%U>gB z6Ff%w46`^l#P;DTUaWq69QCjMD)wu7ue z=wfa8;9TgqYX4SYo2}A|9zAK5a6GyN!A;QE41J0|xm@QN;-cf1Yg9Qn7q#d#S+&BZ z#`SI~?%j5B0=uP*VQjh9cQwjM_x$lMfEL@^Obb0Og`l_dBDEXoZmb=gEk{MJC?8+u z|M~;;?CRpb!R`f?NxRbd<=tGeSb)TGO=*Pn_C=#}>tAn<85i8!Q}wH#xW zjDF~YZvpiyY$WknYJyR3Xt4jzMFMsI=gurC(#wIA=8b1`iOw{iN24lbD)G@RJiG)Y zEB;}niy5mt=OdLWhc+Ht`})7`9Pz8YM{~``mXAHRi$9iactYjcVe;-2z<-)ehwuoL z`uZx%SG>N-`6Nc^$ziHI|E=dav$t^Hk`GF1MO|><7i68HmE@-4*+V*mVX2NgWexR% z>51kx7VCE&)Pg)fJc`EVYr?H!m)g4~0i7+{>^V`0_F>}UptG}q;<}+xWzfJ;%@w6; z33;j#kd@wpJDzNPz*C?Ecg4+wz{-$8Pvyj%&}gX;U_PjmjD;ff&BJm2>+;aZ7wjM8 zMTTUQ+y4C{UUUE%>&D5Tgkwi>$N_IbD#Zgjriq4a4O3|X^?0Q-t_veG!Dh=QOJoTUBb4V$f}Km zQJ7AOGMLbpUm4=Qz0XWL>!BE2>?g^%_6?siLQy0k*u7*#zAUg@{AhQ^-{{q8wV=^Wrs{C$i#)JIapBdgJc5D}kn#`=o3S;_If*vM+b9 za%rzr9;%@RSx4MA%rVll&1;p4#XI>sc|0R5%^%xu7o^ghM@YFT!=BWYsi=`mXTxVA zA^02Lkf*$!hNqbMiQz81fH^AlIWUUH#Y{!qzox`Juf(x4LlQ)H_=#gt`>CGU-X~L~w$Bb_(to_n{ zJVT2!w=je0$$N6~cJtDIOj8RPR)A3%$hh_+uIW>vGf$m7rN4 z;A=RGexzK>idFFhA`oBllRmONUR)J#^m)w(83`9<8bDX*RBe^qQD0+fm0=H>N}Gij zolq`ZaT0GQDvY4>SBMgR`8)F*7P?II%pWJBV@-JYZ?nB|ZH_s4F#MT>oz-iL4l(ZB zYj2{)Z`32S1U7(C6hYc=sm@8TO+riMRysAF%24S0MBy?@ipK+U+Hi!kafb=q?;PzH zc7+$Los~<&c(W2-r=Z>EF<+?6N--qDfq|NfJ6D|T@|fMk(xaEvxnqz99<721RM&cu0N?I_b!I#17fQ~Nyi ztLjHo8H`ju66lv!=F}Ui zco5D$Sh8+l?pAQTf1zx>nJP!czpOzJ@B80Fdi->~KCWXU8#))ZH9ay*Pb9to`AhCnXJf4usRn8Qa0PBQ&?NeeN0_8*i$gPu z?nH{knAPr8J*Mqdu()zbHKHcEzSe@i)`9p%biT4W?1cV- zvbujD3RLRL$h<(^PE89S{t6Wie*2(!{qOJb-}(9{0nk4L+4T|e0Y;R;P!jDE_9B0h z^Qcb)ky!lUD}YJjggm@Fcqy}v<;%gXFtZy(22ke4wgykyL{OxpLi$X{0J{pRu8#3F&czU zW^-&5ywkri;OotJD$U#0tE%6%`ZbIgRtFRU*1zH5ro{W*LaJZ}qKuzT zFxWVP=_rE;f!J@vF_LKEm|Ze48?dF>md1wV17bPVFS0MX)>f_T4Q%fKcBbkjE;Lk9V`S44DJM^4)2@FkjI~){_>0 zny~!Wed7tpQtpa21xf1`9&g4RdutIIsHAT_FM52?crdWJqW1R3q(rpSrTs!IZ?NH- z1{^fQ)1XSz;le((3OU)JOK`L-8y2gWA!)&BihD0+nR&jc~Ta5C}7)Rj)I-Pxf1^aCVmd+~{LxE}qe;a$^TRfw z2g$;w7d^n<)@o0%@&}+?v+Iapih8E^=N^J+-(UJ>$fnEa_2HqX{jrY=6uV_ZD`^{_xpm2+Uha^eVv zd8b$pnDO|4m$M#_;;RXp)}}eG^+@=A`qHKhw5AQ5DU8&+(VLJn>67%?|FBb$|{&a$NT9ME;I}@Tr5Ac-@ z=l24o3Zt1!Cnk`OyxwZQkLdEb_t37Rqe1P>jlxqI3(<)+G=f0UQ|uiv10}l0{7lJn z-nN5%kpwF=^>F3M5wwftmkK z(C*xr&30l0u)A55!fgK!kPVuF47|AWYz(%qX~s3jeWa^l2C$L2Txp{)ymo1EpGSkVZ1Yss4>3rWSgIES~^6=`~a!M zGsuIjYWA5{pnPSP!JjI(Rp3r8tuQVXj&Ej+os6fn9}zuA6H&G!6=N41Uys=H`LA|` z9bM}WJm2nle3mLERgLIPIy<+{LS!DL@T}%5S5+6S_;fU(Y!T129l1Z=c+Ve@!O|cP z!%eHU9Ahjx`~gD4)Owe+p#s$p7MJ0L2aND*;jIu588WNKvXa~rIuBtu%;?#K)(&jI z7kS{3oY;`w*MXJ@8@XdV!z~D`PYxOf8_y&LhPS7(k5qUN1PYR>0CtP5u5{Un>>8(N zC5Qfex+kcPidWa1-yCF;cMp~61xHbY%(3;7wnek=C|dYcf}tAV5x}JIx%?ev#7yh> zNH|Z7O_6SN`0_YIE&4MMFEc@l z93W#pMjfr@t&!{tF*g!j-qJE43{!{q7Ed`4iQyZH@}jLDga72~=|eE!uhD<6Zr z&EFfW6-cgXb*NZ6>&Yal0KMk^_q{qH3|=&IY)z#u0x6kYbA_RzyWTYWk~c4e=&}Hz z#NCfghV-OU{1@DeN+(HeEgaZ&{e!zC#`e?pqjjEbkf05h%n|Y8WX5%;Yh9dc)utfZ zkaHP_8w0u4vs+o^l#`>gXdb{~CxyX9=7DBI1W%Iw$l^%xCV%Wnrw_40uR3pNnOxbb zx%k8#cK>Jk9u@*k7G@JR(?y-}3NuH)1cIX_LQs8Ss=F`40#k zd5_JTYnlhVKXw%TotQaTB@aAf30A$D=$hKfo8MiC6(ng0pnGYnHUg)YoFHYY)$1B- zM;ivNeTsassLHFA)`_L__nLgp;&0aI2&ChjJBK>Wr4IYkZwl-<)^0!AYfIvQ&$zG% zeIGb?H0j-$VuX`!3!WH~}10#bvP=_Pl8unGLa}0Kj?-7GS-Sh1B zu0Y+Hd!J&(2+v;@mA>Lk)k4<-I+J)x#lLv@+&IUlV40=XnTn;*th&RhCOQYAnLuN{ zUFtb|W22$9o$&nPS$l1ZGbTOjX~&&vXXh*Zx*T1(7m5tqJJMs=`VuByO$J0^zYL-N z>c$oPa(V6LeO1Q;#(86bd+`qE2$KGGxySLl00fIe5caVk{=e^}x<@xdhNHRvR$ z*8bS*3#M6jkC@o@k!1mEBt<$>Y=^gkd6jIo?HLG3n8561^)A~+ckH&!lFwIsSAfgBWM3fIZ$hHp{TiCu3>bp9?L*c0cm~OV+d@Bwj zizt%!*|l!~uZ86YNGLfP(2xf_3M21f3UWCExxk_ia07h+-d*tJ=si2Q<4WgYjG9 zW22NXL5jXKm;%ilht{}#*f;x+EI8Vp2lsouzxVgA2l!vl143I6vNRC;zwoU6)P;c# z3~z(UtQnN)UZOPNli`ihF3*cEuP|=bG`%23`{gYy3y)&(1}gvq3+01+34 zXk=q=MsT3<_Icw#WCzgVLM=mjgX;tmE4PDI3`j}Yn^?Qy0Wz?(QhjA~w*Q@c#OgJ70&)1dKg+2{2R>mW zpcXkg4>{xjM?(~6D8_)9r~gJkQ6d?!s1%?@Ok|nZ$7m~toftB1hv26%>_0%uePr+N zfC%tbQ}iDfU-jHq{+Y^jM$-iVdfg=fC3el=`QDyAK-&UvHh)-@as|~`cPVj~jllSi zUpn&-OIlCk>9LHi&O?VF|M)$?zbwfKM08v8Yt(=P@%kUW$**hjwWImHyT5n$FAv^- z z?Fk(mRL^r;Bw=^8%XcmrpY+M6oh_eWB+E3ZA76FQ)6@z#dY=b@H{8+gbb~ z_4H8p&eB@GgXR{5mP|LKb*wTi1>WltQy^L3_ z{|d!2UKkSX^;fxSd7SephFx7SG+1M(c6#)51rS^!1>kJ+;=vS_yD+jtqe>WP zn~`LL0qECS4M4-e%V7Xl;mD-0y8!bynZ=I)$`sN-iMg|IaQXKIfA8V%WAh(-Qlu*n z-yj&rETGDmR@5<7rN`|2;cbZyAEAV!yt4<3jU04d>*-PFthF9oV>6JZEuguk9GtDK z0nF+8pZ~+w;Z-n0VG-x@a%^RyAL;wdgDC{#&fv8;PV_b;iLirqO$68mzU{9k1xcBI zHa1A=DysN7I~W6iLcqGg{5r#+g9=!TH)_3CRO%GMWJ!7Z<*UQFmv4kA>;$W~bKUX+?-O2D zt$&>yzZoPFZYn1rZw-;Sa!&5vkz-drNPYK7(@QVa;Obx59LTz_!DPl?zUJajc23r?sJqo*gJh0wojJ-u| zZJ&B(s7X*O$%?o1tu{V6rO(b&-aJyRe`A!yw;{Tpsx;}&ZB!pN=Vh+r61qQ}6jGAO z*XjfJ_v0N`?I6!@OuvV0efH@yP=cB_3c7 zFR;iQ{V5Vk*XnpV?lpTZ)rh0OgZXb%Hvo#$(I^qMHVBiF^!&-JV6Bm2=S@Djn#s8iBIT#BHa-pBoACPw`S;^IHP^?OcJFSUCjI_`rQJ1(4Bw}eCL#gr<6PL z4dQ-)MlB8~y>%DS3NqDmXvWlT8?;3?v+rfYikLj&37Tp_AUJ4E7#V#@s+@nQzi0fR ze}ZaIP>=smTX3?!n+KOa&~GtA7PfS!gl$G5@n-=*ZNUSK&-Uou7ip3Pq`52s)GT3W z9lS`UGR(@T#gGi@mJZow07QLO48X)bu0n7(zM%kR7e`=9S)Cw|W#v^M-{R?S#fB{c zp~WBH1LR*sN&rb20-ADk8PFok=%=_eODo(EdHctAGAXPj0Jy8+*@+?1Wgxfe!lBz4HSJnKO8L9Tk2;&WqW4kGGa1 zkDrFTeJPtH!t`nhbSW$s+jF zQQe{RQ6*Jx@h~NA26*AO53Q>9G5(@XEg~nrMz%>@k+Z#Tc__+8U!@E*RipuV@_+wS SmEYI=y{G@lGeGlW?Ee9fnUjP7 literal 0 HcmV?d00001