From 2fb64bee3a644124861bd31b06e5fb2be7e70f72 Mon Sep 17 00:00:00 2001 From: KiHoLee Date: Tue, 18 Aug 2026 21:16:21 +0900 Subject: [PATCH] Figure font scale and legend placement fix from the writing audit Declared point sizes are now pre-divided by the 0.70 include scale so the printed sizes are the intended ones, and place_legend scores the same layout save() enforces. --- code/make_tables.py | 24 +++++++++++++++++++---- code/replot_security.py | 41 ++++++++++++++++++++++++++-------------- fig/fig_sec_brute.pdf | Bin 35071 -> 34301 bytes fig/fig_sec_jam.pdf | Bin 40634 -> 40611 bytes fig/fig_sec_keylen.pdf | Bin 31370 -> 31391 bytes fig/fig_sec_kpa.pdf | Bin 35527 -> 35273 bytes fig/fig_sec_real.pdf | Bin 37843 -> 37863 bytes fig/fig_sec_sens.pdf | Bin 30239 -> 30273 bytes fig/fig_sec_snr.pdf | Bin 39651 -> 39516 bytes 9 files changed, 47 insertions(+), 18 deletions(-) diff --git a/code/make_tables.py b/code/make_tables.py index 98d1a3c..79ede7c 100644 --- a/code/make_tables.py +++ b/code/make_tables.py @@ -36,8 +36,19 @@ def f3(x: str) -> str: return "--" if math.isnan(v) else f"{v:.3f}" -def cell(x: str, bold: bool) -> str: - s = f3(x) +def f4(x: str) -> str: + """Four decimals, for a column whose values sit against the + random-guess level and would otherwise all print as 1.000 while the + body quotes their distance from it in units of 1e-4.""" + try: + v = float(x) + except (TypeError, ValueError): + return "--" + return "--" if math.isnan(v) else f"{v:.4f}" + + +def cell(x: str, bold: bool, wide: bool = False) -> str: + s = f4(x) if wide else f3(x) if s == "--": return "--" return rf"$\mathbf{{{s}}}$" if bold else f"${s}$" @@ -59,6 +70,8 @@ def compare_table(): b = r["scheme"] == "proposed" if r["scheme"] == "oma_plain" and f3(r["jam0_ser"]) == "--": r["jam0_ser"] = oma_jam + # four decimals would still print 1.0000 here, so the column + # stays at three and the caption names the chance level cells = [cell(r[k], b) for k in ("legit_ser", "eve_out", "eve_in", "jam0_ser")] print(f"{NAME[r['scheme']]} & " + " & ".join(cells) + r" \\") @@ -96,7 +109,8 @@ def refresh_tables(): f = (lambda t: r"\mathbf{" + t + "}") if b else (lambda t: t) print(f"{name} & ${f(format(float(r['legit']), '.3f'))}$ & " f"${f(format(float(r['eve']), '.4f'))}$ & " - f"${f(format(float(r['entropy_bits']), '.1f'))}$~bits" + r" \\") + # the unit lives in the header, not in every cell + f"${f(format(float(r['entropy_bits']), '.1f'))}$" + r" \\") print() print("% Table: known plaintext across a refresh (from refresh_kpa.csv)") rows = {r["n_frames"]: r for r in csv.DictReader(open(DATA / "refresh_kpa.csv"))} @@ -105,8 +119,10 @@ def refresh_tables(): + " & ".join(f"${k}$" for k in keep) + r" \\") for lbl, key in (("Same block", "ser_same_block"), ("Next block", "ser_next_block")): + w = ".4f" if key == "ser_next_block" else ".3f" print(f"{lbl} & " - + " & ".join(f"${float(rows[k][key]):.3f}$" for k in keep) + + " & ".join("$" + format(float(rows[k][key]), w) + "$" + for k in keep) + r" \\") diff --git a/code/replot_security.py b/code/replot_security.py index 6279311..5bd9ec8 100644 --- a/code/replot_security.py +++ b/code/replot_security.py @@ -34,21 +34,26 @@ FIG.mkdir(exist_ok=True) plt.rcParams.update({ "font.family": "serif", "font.serif": ["DejaVu Serif", "Times New Roman"], - "font.size": 9, - "axes.labelsize": 9, - "legend.fontsize": 6.6, - "xtick.labelsize": 8, - "ytick.labelsize": 8, + # The manuscript includes each result figure at 0.70 of a 3.455 in + # column while the canvas is 3.15 in, a printed scale of 0.768. Every + # size below is therefore pre-divided by that scale so the PRINTED + # sizes are 9 pt labels, 8 pt ticks and a 6.6 pt legend. Change the + # include width and these must change with it. + "font.size": 10.4, + "axes.labelsize": 10.4, + "legend.fontsize": 7.6, + "xtick.labelsize": 9.2, + "ytick.labelsize": 9.2, "axes.grid": True, "grid.linestyle": "--", "grid.linewidth": 0.4, "grid.alpha": 0.6, - "lines.linewidth": 1.3, - "lines.markersize": 4.5, + "lines.linewidth": 1.5, + "lines.markersize": 5.2, "figure.figsize": (3.15, 2.36), "pdf.fonttype": 42, }) -AXES_RECT = dict(left=0.185, right=0.965, top=0.955, bottom=0.195) +AXES_RECT = dict(left=0.205, right=0.970, top=0.955, bottom=0.215) C_LEGIT = "#c0392b" C_EVE = "#2c5fa8" @@ -178,12 +183,18 @@ def main_legit(snr_db="10"): def place_legend(ax, cands=("lower left", "center left", "center right", "lower center", "upper right", "upper center", "center", "lower right"), - sizes=(6.6, 6.2, 5.8, 5.4, 5.0)): + sizes=(7.6, 7.2, 6.8, 6.4, 6.0)): """Choose the location and font size whose box the fewest curve points fall inside, scored on rendered geometry rather than guessed from the data. The size sweep is what makes a long label set placeable: a five-entry legend of full scheme names has no clear corner at the - default size on every figure.""" + default size on every figure. + + The axes rectangle is applied first, because save() enforces the same + test after applying it. Scoring the default layout and then checking + a different one is how a placement that looked clear here failed + there.""" + ax.figure.subplots_adjust(**AXES_RECT) best = None for size in sizes: for loc in cands: @@ -227,8 +238,10 @@ def fig_snr(): label=LBL["eve_pub"]) ax.semilogy(x, col(r, "eve_wrong"), color=C_EVE, marker="s", ls="--", label=LBL["eve_key"]) - ax.plot(x, col(r, "chance"), color=C_CH, ls="-.", lw=0.9, - label=LBL["chance"]) + # the chance level lies within 3.5e-4 of the wrong-key curve, so it is + # drawn for reference but left out of the legend, which the caption + # names instead; five long entries leave this figure no clear corner + ax.plot(x, col(r, "chance"), color=C_CH, ls="-.", lw=0.9) ax.set_xlabel("SNR (dB)") ax.set_ylabel("SER") ax.set_xlim(min(x), max(x)) @@ -284,7 +297,7 @@ def fig_jam(): ax.set_xlabel("JSR (dB)") ax.set_ylabel("SER") ax.set_xlim(min(x), max(x)) - ax.set_ylim(0.8 * nojam, 1.02) + ax.set_ylim(0.0, 1.02) # keep the reference line off the spine place_legend(ax) save(fig, "fig_sec_jam") @@ -327,7 +340,7 @@ def fig_brute(): ax.axhline(legit, color=C_OMA, ls=":", lw=0.9, label=LBL["legit"]) ax.set_xlabel("Number of key guesses $K$") ax.set_ylabel("Eavesdropper SER") - ax.set_ylim(0.8 * legit, 1.05) + ax.set_ylim(0.0, 1.05) # keep the reference line off the spine place_legend(ax) save(fig, "fig_sec_brute") diff --git a/fig/fig_sec_brute.pdf b/fig/fig_sec_brute.pdf index 7ff5b0d5d928c2e8cfff994bf81718c5df45833c..809c1d7cc2fc079983b67c0ca85a046c0583b7ed 100644 GIT binary patch delta 28246 zcmbrELv)=Dw1(TJO`0Z+t<%^^V<(MmoY=OVe2s0}w(X>`ePY}8{nwq}(H-sm4)$!X z^*$RPF<;)ozEp>Q2BhQgntsl=0K%XK7zbFSS5AqViqMRFeX}xq+oR2J73$$O1(E^h z*NeCAcm0Rkv0Jg4MkR}fY;h#duLPeaG`+pvPEOYDX33*gy0|Uqie%fOem2-#y39iE zf4+NLlz91erTyEU)#}5O>YcUv5F$()do(Q?1WVu4ws`uB10aTLapE4a#D#A=_~gn0 zSSfuJE%>BpOSX=mbG=naDcv`k;GEDht`ar$ZE~09yqm2*<~yzEK{YskT7MER4Movn z`<#)9y|g!s!+DJ*+E+8cI&%#6gxL*;J|t|#l{1#PExb;34!T#aTuOHt_ogm&O2|++ zOe`S;?K4z=02OXgACP-$T}UXKxabkzM(vsL#d+!=*quZK@7soUhbdiG0V}R`l{PCP zXiC`QuCPbxicSb0$_wlE(&uc$@W8)+`LDrm`I-x-Pg+Ouj)Gk+=H3*zuU(r6X|kI# ztjVW>xk`G))410A*2Ey4RtGFXtTVeixQrD~JbB zyWG?6HqjSkC7v)*;`lN7_2a+F%{nKtc)jO~QC|?*C3Tp2!uf?7 zxJD;%fTwFY<;7jJoowb5`ErRMUf1h{k{M)CVcG3ec!E`#9^G3pN@KWVvXgp_4MxHt z&x*08)+FC@YhDne|6qN`jR^JxMfp7r?UJZq7u{7vDh1>>^@5gg%)ZV_(Ksw!28&c{A)T_PPpB!j8qy5nOB4eFUvxb z){lRQICu63|8;H}rlu_o-EN~&Mr#_<@_}JksSD;$3D*$3rIua7r^)wr^l2yLaj8eS z@>DaMc`DFna-u(u>vh(dK{%(7YpUR?xYl;db6>1Lrl00S^! z;5#p=NMpBzY?8K?&Smk=z-g?pn-rvXo{cX%SKnVaZ>4_1 zL88iw-=TPkXdJyFn$RqS;Zk&X?=sBOl(FEy5bPbKJTSe*ZlMCkYb$?@I zoV~2}ky30mA{j*U?H=(^*>&{PjnNyDEs!&I_5PcoE{q%eU7t z^vGRj6ugd@kxG#_9GN=IX(spn*$kZNIxZTlnS`}#=an6=ZB||0Y>@#++U(r}wWxPs zIG0F<*rbN(LvYTlkIA37HB)9KLNQ1oZnB!bGp-Y=#(qU9vHrqAM5&$_Fmd9s3YH#H z=BKb$!pEYCeif;seb#ScWhY!k;)iby?!e!q{R)9_5Phru3#u)$E|=!b#?WbS8~*`< zz1wNT?=5h&uN27=*S7veFQEVY6P5@k!n1=DEbd0}`4d|ctXJD+yM+EZsDfgR(JY)P zc5;?{+zvz1H+bEIAwAv&c%catRnudL-|qb{Lsl~#)?Z@cOt)8NsY%9)f*-BdWnkQl zLc8%D!1Mg|q{>;EI#7N--bNZ`)}kA;v5%)BNe*3>j}9o$^lIxBgE88bs1ozS^IRQf z6sp-_Gl=kEM@YS`ZZn}!Ccb(gHHo{(({9GnwsOrA#5EqCE7bv+TjFbmoMm>|NA=bw zobw?(R#OpBr%r?I{4L2c9673**t{m0e^arXB9@Yke)grhpAHXzMaP^KqaM-Jx9;0A z)wzqmkro<@5%G{%G)pE6Nsys&n&+SjM~nV-!%Vu}ihv0xWw&@nilgKJVch!gs9($y zctx*=i^Pz6sdfPG@lq^aV$4%pF?7bag#PM(TacE+d36a@dq;eE@wmZpei~@}cs)?I zvRxFuf9sr(DUIa6GW`0A5kPrD6dX?#!|*~hwEd?Mzb`0FfDs0U?WRW*%aol_-0RoP z^dAhzic7syW2@U(5;?f+d|Aqh$jp<4YEk}gJ2Y7f($IuJkPOrnX47FLPJud2(QIo* z4!qnKZbK+C0@_5yKwCVS6NDih(|vjVX4+C%!D;w+ zNE}ws+jGz1-LSQKK?r#<*>b{&hLc%}55Ep2Sm!@ZGWxZ^C{kb6jf2T2B_x?H^Q3IDC#3wT|FL}C55UXgyc4-tgWfd(q+ zZF}VRD83!i{S96*C)5v$&G~(4I!&?iGcYO^Sb-M*#E&u;&R^`t&yb3NMcP5w zR+t2TzaHsp2aem;yMdc?ein=y9KW&%bbetGtUIU?3r5iU4nX5~^NZJ&X&X!$Hc5+J zMhBdZIxj@Xc9ayaiz;f_EKsy%7-FZiBt1J@geEESt zdmVWOWMMu_VvFdD5-q$WZe3IL(%O}_w%D^2&WGOl>V{FZP%o+>xc>gf-jVby45RjC zuSZMia)U9fVZ)?icJvM3*exHGneMWbu~-e>y$#hYzz+>T7`u${&7QK9+V zZfW)5TdAj2&1ISTed%o1e3fH}wD;ZO7Zx1oso$-1UCxH|N`L#r59>WgsA1-~Jukb? zXE?sWLoM_*9G&L7P}xyRh@^@bFWux6uFlY5cr?_TtX+{mP-yu&f5(-a6?{!F>IQCo z0dZzde%fb6>g{Rh(sa}_9~rR(r5nmGu;P??=06IEd}%~Ps)`sdDnuzx=blvCgvIXC zE)9uAoDpF8|FroU;C|gA26^OL~qN|j`3au zUD+uSkRsnViZ1F@W6Fb~T(d;k5ipNw5Yhu-d6CcC*Bg~MQR#1NPODXD>t|{KLJ#h& zV%)APVo-6W`9A7Orkln+A3+ny(yc3wk-$l8?bkQ^@Eae8_GPY|#UBv(e{cR>hsF)}kUv&S)b5&@?j zF1kv>4{W@56IL1utc0+ngg!{$NtQd(kn;0q!oCQM`&>9Pd>^UOb3irOC6(}ALtx-~gqSbSXn;aQC4Ad(pg5u&t6(Hl9wwfQkI8Ugh@4u) zJD!pcP7d_6EUOX@oy~vk@EwPauS$54(DL0hQ@HcaS_&Dz&0$F&G==WykM4@q*YMrO>yc? z$zEQNlO_#`gn1VgflA|*O68~5Kl#Hh@G%Qqnks^wC+cn=oNCf$JA5OVLX|mF=CxVm z_F8B|4;aHEaxQ8d$AlJd9v;IZdm~508;qZ{Xg9144(;FIV{MvZq?nadU|K~~$Z^QZ zsDsZC^n}$-O?+XzE<`+@XX1HvkFDIr)X~5hB{lbxRfSs+(T%(k(VXc-&p>WP(>-@^2Ciljvw5 z&GCEp0shKr4UBZZ%%7cRIO@~2U5eLV6E^N@)QE?uRki1%PT(9Bj!Wx8`iuB4(@3w# zC9OT^nSr}|w>||RVsz7UsOvYV$n)YB&@&+x@H)G{cJp(2J$ny^UNopoM?C_+t5Z&L z>3G*i;1v+Kiyy`fY_H^J{5sz`*)zJ4ljQreBi8Kcmn&CkE3mXjo(+!$X2;kQdz(}s zf{J;hWB3gE&;b1qRrL1__V8Wr?ld-yvyAg~0Lb4;>rv=ycTb&!0`A9#?sV%sIZET5 zS@FkX7ykNo%;4T0i4nHV9e2K7_hBgAom^Fl5h{O*9ZzpccCh z0vwmFDUw8exT&_Pvr>LViC>0?Lq%JeG)hmz57M}4hB+}SL*A@!1ItBysk6UGi@@!L zBi*v3;rtO9{b@9m}eml{+ zMN0Acj{j>C`fJvbzw>MvR$h>R=w%6;9DsRC12NCK5j2&yjRy^-l5ea_s*f>v!a>3} z1lh9pOwFgP*!o&EBhYIj_bb`=Rpb}iQDY`M0AMjPb3+`Cs;!XXo;D$0AdSH7ArJtKwV$G z`}Mlg`_8+UiMT%@_WE7@{iC&6)4k)<%HWEh8C-VN`bSMydGr2H3f`VuOZB8UtRpj1 z5hX75Q)HyFt4`_fu>^Z`SwJ}Tdz??s7O(qecK{SN#aaEss!#Q4^{HctV2?MF^?l!E zVzWyIuj|r{{V$H|0%%6MvlFbuc{|rgjHqq9)WpKNnA#}hQwKAhV#E>Hd+|$he>;F$ zN7WaGTpxqow=7XtrH9x3C~@|{g4$ABi^@xikJ3nSj*Yx0T!;>)6d*J(kaTM?5K+zV z3m4&xR8cBA|Fp+i)*dP? z{O)u@=j?;smR;Su3E--B`@&njUqx!sR9St{kQUz*xuVSqZ#8Bn{Lj2KaPYWw0rP|` z^%%{XSDC&@$mqup2f3u2Slfq|yo`cSE=i7pF>*RbUdU5D=G}UOTHOa)GB(_ z0M~W~bNDWwu-cv>2OtYn^*{OY zH632QzXj=dyw5)jFRyoeIglYp8a2k~B%tq=Wwv?O0L+9piHASmA13x4O9^T@sFShe z6cAL@x0Kaex!r8v=93w-%d)z8ReF+FqZ$&o6<9)#jD*Z3m^(2G&I|R4Q%FsbWd0hy^MB}twF&l= z@tAeMJBs`qsXs_E$UP_$Sv6?|oziOTEU|I_O6dNsnI$x%HM<_No0r#{ZybI8+q78&HcBOyyL7jg zBo+xZzW4_A!sqg|+SH?Cq~Vxn@yW3stR0wGj-y$7k9^ipwY!~xMvZAR@g@*96I*ZS zQmB%Dcd428(*^M%zQtm#fgq^zB+!})Ko}@#Mr%S@5PD$emWiUKqM_oZ>P1~vu`#M= z)ZkL*iqo=M&A62kEu1xG9=0%!RNEc0L*sBrcdJaVPQOeKP9I8N;(z{akj&A~(9hA$ zGR8wwzDmI+iC-{bS2?XWur+`@5K|Z4@{h)$l4Ffwjbn{vl!ux|XU4ZmJ4=rpSTa>T z#tM4kj`M3JZCZ_*Rehv>-2hf!M2GE8v|Os-$1Q!OKK0ZsvEnkI z#|JkKJ&0zDbDXVN3sVTl6qHo~8oG)F^PC{sgQ<{u66DNX)>!{hLc%q=SR~kJ@>O!* z;;Qtk_l2kMMGKFR(RhotM*J%RkA-y2O-ET^l4O#5QUtLpmk?fn3^Ic4arrA#@}N^> z%&(3P4X@tl%>qxdtel%K%V_}rc+=4(wS5okF58IZJJ)FPo_%6zbRE=Lb=lr7LZ=`}i6tcsi+dW*O(zJf zlvi|86e%FWIxAzGi?0O==l{`$AkSw`>mjI|DF{jFGYJ}9$^0{uLJM`F;{KOn_>aqg zXiZ#ty!z5#B?-p1x5Gw9)wMAkf43AiY65|iQ{$j#%im;$CI4lrHAYfg1Y_LJ(Vv+I z^0}#w1^$G4D5l~#NM?hY%F4kKtUFusDxSy3XKz=BcU}d0yL zFh_I-VrO;dUTQKY%1TA1o?zp0F|>2HG+VXnkufXgX%TD-n1_mzut@UL%`DviXKP~T zNs+&}nXT>+=xu?0Mq&0dLIL8R<7*SF%*35q?ropX$QsfXBUcc3H8~%@uQZ85dwHzr z`p;uDR76#qLk=ke&qx&2^ZScP^6O8FjZQMcWsJ#18=2bNiZC*^xkwG0PLr1uFU)Qk zJviO#53x6xa!f|Io^1`9IaV3CyS4CO0jSY_H#RFjjsh~<6D zL7Ib8jJh2Y@-b@;Y6c6%wpM4MR6s@5(c#GF3|6eKaYrIHlA4p|(AR2X;R_6phQR28 zN740x_R`hrt`>b)*H5m=gtrtT2{ZN!Tio$Yy<)4(*7Q`8x4>AEALF zqdG)0>kzwYRkku=Syx3{W>trHLHu&~+4(O>4gqjQ5W){$Uo_Mi>r@>SYdL*Q(sC7= zqRFsdt+0B?K>8ssl)Dirmum_^48x=;O=rCf?`9l}$v}&&Xtb$H`n_Z9l!mcR(#j zG5VHKPpjKZu3(H-5x0kAYs-$Lm$4o>$^=UF+Kl2u81trJs>Vp#sIh!1RUS=Rlkah$ zqLabmqPl#3y7BSL`)6I!J$sM;dK@R)o0FPQpt(Ni&%K+bE-|QZGg*?b z!lsRMXk;^xH!PoFl?ipd9nb5LyY!{i-4uF`JT7F-TP_vy=4vrBl~bsvS)h5UYmM`< zu{|B0S(KpW8MSF~Sc9-Isq}AKYq;p@eA4R0HaqgE8{PMM8D}FuSpCH6fLFiBR|Ghr zIY^!jlsng}()OAY=idv}7+}N7-Zh&s$_T#~*0^hEcpVsiUw`W7n@h^e5pvmH?Qa!= zwhN-Az0%ksG<$=c+xXRP(AnC}sSyFZU)3t@pt`P}b0t=&Hkbz}84M)WDf-LN~% zsm3Z?E#mIcx4#b*WqCRwW} z?6^F8dzff#8#tZ=X>+4L;)r_Pp^}LvD2MH@pC_tazTk*);Jp3ZzR2~yjh|&sM8ggm0FM!xN&5l`j@ZaV0l1K2xS)N z*8=wlqeBrHSr{jInf<;4vjfC;!xYi;s(`@{V{uP#*RE0*-f>{s%Jxek;cxh=9Kc{D z83VsJtYO`b!U?S$6;9HQq%a-cmNky7qMTJ-{5_#5qjQYd$tHPTEDreUCqL% zXfssPCiocXYQG3D{hJuVwg@bBP%t14fD)ZtG^5SJ!#vM#R?*oP(bFPIEu^ZP3pNxb zPsAxB$y175UnR%}1Ff~s%_TP}Ow;RdCIZ9G&d-(g7!De94cXxRN;li{)KQ$&wr4{^ zu}FgCnyFuV1Dmu?&0`OLl-Cl+KR4Pbowa{U^L1pZH{U+F(D5wD_03LF;cX*E!VOp5 zr4VD_qho?WJWfHCZn%UD{hZlN52lJ#Vp4;stGX*uc(LQ;0|FP{T4eH_gxRVqi?jXZ zYXeEbO{=X??KrkwS@$Z_#&Hl$%6izd7N^UlvR=$ zY4M60LOeYgfF-3Ur4IsTq*X6-4xC?_W+Ay48HKq&GG%UW!*`xupqlC4wn(Fp$}UElds^PAp4A;U zuYqY`etnI#+{(3WNJ&;gNnNwhtcYgW8W3tM($I`i(Zyi@ksg5D*PzEJ-|~-z+0yiJ zDwxqKonwMwUF{g>f)17%7KAU4!$DWdZe7T#m}NHCY7#gOpG6>lqJ~q$Y+qwyH#gGE zQps`-nADrxnMAC~`;k)T|6yMJ?Q!)|{rx6J8 zZDWqs?@OM91RvRa>dJ0eTKINcb?R;R;U7nbG3l$1OW$D>A%s+^EeEr^kocb!D5*j? znsd(CqbPaIXs9_Z3>t<1%4Xi# z6~NT{Ccf7E+ff82iBE^Y%$cW2%!?(CLk(stINS(r$*Avxt4&Pt<6(FEiEUSbdz1{b z#Wu^Po3<>|1EqQ3z8l>h?fzW0E&Y4_jFJi@vI#cg4$XAtOnW)40aN>V;xXCWgDHQD zK-saw<4%Z3q0#*eGGDe>+13}Sqc4-u3o!WDgmrS+ZO@gUl6T?~dzpXofU^1a#YfP2 z3=?a_S<(@eG?$R01S^0g522BBLH@*ixtRfu};k^S9xF)$yaM66#zc1y}?Ut~D) zHh(lHtD?spbGHMp`!s!}v@#(c)dNS!WB5*@EDBn%v@h+%pmPlfgU)JpHRn2#2N3u- z6caQmzxw$!Z$^gUBjd$fv+=v^*DE!AkBli}g}*8`iaqXS#cGv+5WAQ+r&<_Q;m!(qgAtG>hMaRn$0zr!~0{B3}jxJtyq%RvaV7};-s_wr}x z#oNM~))#sW_D7}-BBe8}`Q^>u>zfFNvRJQ*+C`=(J<1ZIp>7$n5nElbm)LL2akk&M zg3&TwM{BNe+eo&euN~~!b0aVZH%-s%M)=Rn#0@D)bK=@pFX4c%mU~4}rb2f#X{^O< z?)fRqr0e5#(_~PoT6h*PHx5^IeSth}bTYhmD+6Q6y!NisQ{nd|O_6P0lIAOMI~LFg zV_mIQFZFx#7NDk&`k@I&Q^qVBu%?yUIm!d-~U%0zKoR@6&~HA zuWGu}#;>#r`8axe;PVsx+Ndhbb3LTsG*BARG{ck74Auqj4aC5`z+*R<_gsrwrqq$h zdj2aS6m82)D7n<87~34Af9JfMBKt6_8h_}S zDtX@!)%S}X%mq}VJr7o!TiNZGV-5Tg@hn{6)a(WPZkZ0R1x`3=V%md(c#xY%U4Xs& zpvF!49^FtoIdn9ol=C~BIf-BM9LTc?Y!syb+9W`KvG4Ev=foh^ zw2E0vxkq_(lWVnM~`Pr9IlY_9EjiuE@yD47K=3lh4r<&1kZg6*Sb|4v2UNCX0_ zXjA;*2U!2aZp9g)C?_%Tj!A3c67$5!aM(s!wzj4Vpa+WMX(=nq2~;Zu`m+8bBuuNs za?9mrs3EB=!|!uT|H8n+Iv+R7hjrBv~Ac1NGvI!UpR=PNN&y4lvW^qMH5r+v2f zsA_9tmlgJhqWnkQb@iJpZzIPNu7I@P{gjeQFaXo3E9T-Zm##=PwTyokPt_&@?}Bg> zF1RCjS9s}kePK6{k zglYW62s8S}=ul%&5cBM9RDzap1A;*NmX|R=uW=*h=8_6IS^FZX*a^R&$ zDsq%!5}c4b-@K8;2%8y`*=JGNAfup0zO^DhjLpQ5sJ73ZV$zZ_ zBlQYtM99m$zS~Q?!BP=LI7B>kJp?{4rU$5CXE=Kl2um1?ngWiB#ZD{{O5ci5Rk(|^ z%mXTwc|`NvPhNsm)kY}u<<5;K^fcoRXZR3}H-ort2RE245ZiGR+TlbP;4}5!bDrS_ zcO5$1{dor(b!PKR6RfA{L-yoWVB3!>7&aX14ttzchrc|inKUfZC~MJigsHh?=j!MU zhSVBTk+J->+PG!b!OUk`adefzN?Q`F3NaWv;y+P`?WT`H2tN*Z+&BF@st8uC#L6ar z(b?qgnx5y^=O5=wi=Rr60P$G6VM1y>0LdaE2HMS}7Fwb+Pen$D_cynBgjc$EG^xKQ zoiER+T750PK?rI!-sQJc_G7=Vx07_jBI*X0pa_+d4BCItj+!MTLU@-~)&=Y*>J;9F z#WUW6C@)??ir$|l3>!&Icqo}q-n%B*XK_ldFYKsVh3^c&}?Yb}|Ik$5?FtJK*iA7yHup@v1?8gK7LR5c&38 zajp8?^#)h{p}y+?&_igW{yVDKX%k3pwc^%?;WmD-1pvAqC$k9xiUNzT+^J(Q{uAE> z4E!EMf-2F4z1eVi?mrkY?iq0gHL}Z=PIb8=&-izSY>Jb-CgSAjYiG2xYBv}>WJUF> zVm5|fPBW$)__3pgPS}|fjC0C%UDPZ)@r8#?toa%44k8MG8s@}*Gpaa}24*x71^-{M z_wf>7BiQjcHT3}!9&h~MQ~t=mfTGy|?M`bfWeE>vN zXIcJerv7gl0a9@X9>~59FMJ+tm=k9@%$}eLGryPe9*(4gtezI%+$kFhkaC{5DMqUA z$h50cpt&5kx!=ERv}Jes)^c7qR`vT}QMX#zpQ%()l*MQX*{~GK>t`WkBk%aTYILQs zECfH>Un@&`$`qCpM@$MwCu?epB7q;fY5|^oa?H~ASi~=hLrvj`_u)wg_b)qp8e}7r z;dAOWiN?P^I6;LNq0 zgVhS)%%dx&J`S|cPrTVJN6!{e@^8%}Q26MOvzddr6MmEX*tGeD7;k_R9ym0uV>u*I|ErQ+a7b|b9TE1jc8gk=jnF&U|F`CZW+tOq&88*14z#14@ikJO}Uto zl_p@Y;jaDN&t5y^WyV|!-p@&!GINCH38OSlHuwfto*PE-m!;eQD(w(OWXUIEDS*Lw z=Qmy?u`S8{CIwzZ+9noW*v=H_P<9oKt#8~84lfGTRx&*}&X#%=hkS>X{ae$(*_7Mu zXPJRBJDBvqSv%-^eE`&04KmrLSw%M4kvXJx#M24j+M#QvJ`Z%TrJLw`YW{?|O|**t z(9I){4~g{HT5m=?4|~~qcm33fgV^skrE~a&)2H*F-xU%!nvP%4)|TtnP7IwO(e0Bf z3e9lIOH*#>sDT1kJc6iETMl;w@TP=j0C~2}R8!B!UAjN{4nXNjRoOFp>BtQ=* zS7xtJynaBx$(8J*$txUh5HQfSwQ&V{l=UR|2%z5t!r1@PFY|3le$VkomOmSE0B z^-J#OPwy9AB?cO%f^;M@ACZAIm-y&rCcn4u>L(A|@Ft7Ar zm>C~qufR_wj-K*|EY_ScM2bvtNJ&AkFy_b*Iz`+#Mx8NjjF2rFcUY4#YE{UZtSMS! z*t7O84N2ILeyu+Z>FAJst#3I=Q;hPivptL&Abn0^F{EA_Sx)W}(>4rkkJyrANs>0? zwd;NTX<3SZL}N&BSMU1!vIGHXRLtNosv&L(@yam5HOVuQm$-9m(GcA=^Rjd%;biQ= z5WzL~vZVGOP@e2m(IK28yqC;<4Cb)+H44WcZL+Fp@UX@1FSm?#{&kX|A&uSNZfWg; zz&feuko+})TbAb^UXsBf(OrXU*r#|;5nghgX!>FBE;|Q*C)q}{&9JzAsHbQrdC@T9 zF8otWIw@aF)-e4p-c!P>h&MS9%{T0JjoI>tF7{K45b{90oCNlsQjTw_QXVHuu{i#m zxYnF>pDBApcFde$o+-1HfPpDZM4q%6zywKe%)VmwY0M8{4r$D-Fk`e5R5aCqL>A86 z*F#C?9Wnd4mqe-0$ugN?oQc($k-MXxNwrN?*5i)nv@l2Q&wiO5^q%84EpeN?vct1mgx1t`@x`eIM|>^Wi(Hr4pSJ|=^lM^l(=Uf_ zx1U>6c*UBgf)4v`ky{gZB|v#V)GYZStGZ~@EdH%{YaFkz%XHC^^)tLzBCqJf)WMPV z^OrSIo&1+0$=gp}DV+j31y$32w@%N{UU3AuHq(8#R?i4tNd!5fM;^Cc&!69-3GzVG zQAgyriqF_@>E8TZ`8v}(w_o21p$d4$W@!v8t3;Cv)ZbjV_--Q66uxrZU7W|C+ zmhsO2k$-TcbNi)34C)p|5T2=*!XTU}0Je}Z;%H2l%;7h=0|OhJ!4{3LFe74^{&YEP zm|hJ{B#Y6ws>6csK;74cSkhXOh0q4$;qsr7dRA&&i6f9Yg#WOn4u0Q=*O-BC)KIOQ zc+@y!Nx7Wqq_?%!nkER?tL09d{Gm!nt-q#*xDa=z-=PLtNV+q4TmIzCf;$9V(_{G^ zccfCUZ^@R`S8KG=fOz@N5{=rJ)RGyu?_aF~Yh;9pQF*#@wS>w5S#?NxsBtw*JfYZ<38vBKbFS?kog(Pypi+z5A>%o)^{#na7N2eXWEkK~ce)7w}px@>T2 zcmH+e-|>=jqaV+(b8XQQ-97Wlc&6TD?ZFbkJ@?9}w(iSPm?fV_2)-_T9eAnil*Ku^ zV`5#`rdIHj);SsI7+=@Bs3kt7@QCV|z70*(W-U#gVme2@jd&Y$)$uK5opQf~Y3X9B{ngqIHjrW8 z3wNko>O$^esl3^o#IqxJv13Er+2ZyUwMUHFo^B6$+ZX{3?Aj@9{-xbuaA%TVCUVD+ zU#YaS$nIOY{;(Ncxl&rsblEiH&M>j1f3ORCaU+}D#&=`A=&#z&aKl_raM|JDPCB^q z)b56JL%x{sxXf(FycmDE>}&^JOu}52J^kSgM%)*Cl=J=x`WJMA{HpGa4;rpI$a7_& z-^zQ!;!OmSuI)Uz>38{n z^*cO}$T#?KdGMtD{$*oOXZPhv^7Rvt($%Z8S9Rt0>hul`#DTVLuKHfB-VuN#(3a?v z$E(--=Z|R64(KZCiTqXZ9s464=;_+kx!QUC`jHCsb?uQqQNH7UWM=L2T{69jdMAGL z1HgXQrNb-u9rq*SqvvDy;7RB8OV<$8YpgF?IZ^g~cFQ39H!C9hoM*Ao`pYli| za9i0kwBRv8id6Eb*pNCSzAS!10<)kDn2{cqw@=_E)uEL8kw8??HY0dca;xA@?G@iC z!B^15_@_l3yBJ;pnp!YEXM|vR5-nOSf@&43CFSx9R44IwBU&SCBhY&Ud)h{M zwc;(ZEjn(0mdm+|E#(Om2vi8<8>yoHBmXFBS&Ef-PNTM3K{tiv67GUig-jJ^>Pd=8 zs!2+Z_=ALw5x5cFJz=A+>sb3gfSa0|u$!`*G)HlJWqVG037*2b0s^%S^##QRm1un4 zh{wpw2+T;(2*V!np1~gKp5h+Up2Hs8p5z|&UbDTxllqg$lL|*kxA>kHRD# zlu$P!J2E*!Kf1}NldB>GJmM8eSv^wY8EM}%66 zkrHwxq>xaB89?p7s)VleQ`xmO3zlQJgtF*YsFE*)we_#*`!$OKtJJKa(%Zatd=Q^Z zG{oTXZT@;Vo(P0sT2pfOA00FV0&ID2ra7*v+(eDJq62x`3|Gyr0+y&whv+q0r%1A) z8QYXKlH9b;c^!w}uEJeaxXJ$mfo-=MaQmp2K2MiBJU6O2_B+&EZ(IrR6kAL(F3# z5>^#tWma=&4HXa>Y2}qN{5fV8t#P@IQrQNjuGA9a68w3~hB)^Gh}v1MvvOMrhk0dc z(SF%C^BnbjXRt>x&%Cy|O+yp}d{%T1hA9S@LCy0Y>pBH69=_!sbbj6`WF9HMMdom24EjB~4{6#bxtc z^DM{eP8qG*9g-ayYuW30>t)tTY$XpR4`qnOX}~v;Cq`VRX}?T*7K>bboY?8U!U)LDEE)=@w#rZ1~1t}3l6ftg>N zXPaZ27d+ND*1NO1!@twI`>tL@pu8c7SawkcDh8Df&P7dW9S@rFJj=fcy(zs(y=lG) z0B*=EvXrlcudJ*1U`}U#V{T)f zZ%Xhu>)7p%{?6B3{%3Z=F=;){S_vWT?F)z0PHHZ!^gOflBK-IqUaF#lnKi8x+#*rE z*m$0>*|a(;tw`AXc735bQ$@>yK-eM*P@kxto0#7)qi!**j!P?SQPwc4&~UE~Ln|%0 z$jDr^KT9)SWn`|VE=sF$lCM?Zw9sm*)nKh2nOL@G_N4BkQjBi)-!q-MY(>(7#!24Y z{Il6x!)M4mA=HpEhy{fI%<1gsne8? zwThslEq8x{5|3L79(9}C!NZzEY#te#QnuN&6WUu>9)6n=@?&v#>W+rY@}_CU+eUXT z9%Y*E^D(JxZpN_0qMWy{W$-HAUNdWG^TSN%6=%-#Xm&r)8A+GUdq2ZwBjY{w3F zZqL%svkc|yF=`i*s{hIhIHb% zoR98~3Te2j@HkvT2f^h~½qvMty%;h4s`%w5%QLLTyE9k>;sLs8PUOU?ifw}M< zItfwE*LIuN*_womHY&bEJkTlbz?L*kJG#r42@E5IMEe@Si$FL{di#EbGC@^DvW{#z zx}#y*fihM>T0~BG07lp`#BUUtUMh3Q?ewE#JD^ zC7ORyC-|)Wd46t0m`;&AHqP;s{1X8PM$xKFzAnzbS>bwkKSl`0fYY(cm2WG-mh_jr zDd~xGk(T2H1nwi=V0Kz%7c`qVKbN~8facFZ42G*9dN4^C0jn1UttKu*) z1S)_+Y#=r$pWSW21Y&q`BDgC!E~}h{rweflB@00XEl=2ZEA_yl@wUOE?lEg;T-#;9e~Rx?)y4 zlpHp%Z8~mVO$5Usa4;N3mLn^+3IhCmi2FJW2a| zikF`ZvVrSbn82OOac6B__17chty+`{v-_JJor~pgEp&yM@pclFg=??P%YMu$`N4#_ z=JSP>{k5mST`g=~4(q4hE~DaYV){Fpp(^pl@kuQ*HpYdhc&n)dFPo~1mb?kaY&;4> z`@23`e}Znr`L)1p05^ZHBIS0WYdZjFXqLp-iUp>XKA+`*OuZg-SBoap0DVHZPP16Rk!pN9|mZlP-#rCq*F zL)L0ecxZ}z3M2(gjB7*rwD2|iP2Hb@FNrVtuf1HmxAtr;!K>YO*tgEN>&Ue#>%GuX z=&1ZCBqC0?h1g7N;b`V)0j#EUry8atr?RGOr#?*aO~puf6cY`V4sga(B0-72EYxOg4MBQpxz>b%83U8`BVoNH|+@)+6t#&umDr(oBAN?<|9Lw2Ng8!Z&QldfH1T1zmL zW5CyrHT6(X@&0ZbS~zsfmev_MX7jhiw?MY;F_c)mz5#ZZ<-;VhzAN=l`W*ojG1&Jw zr`rHe^O4;ydo4du-~M|-sBkPNajds8Zu-`={TtEL$Wm?o8v&FYtr}UnZ?t@HSUU&q zn;%f_Z_YFw{8u{WZ%#M;jnZZBbnw+q->0hHZ`xKAFZQZYPbTHw(Cag%=LFuDkqvWB zK8Xo#&B;q-9DT2E@cT0hd_T3&40acWF{H0 z-3s9_KCy*6V&;+ctPedkcgh}rPp|K($!*>q#5Z5*PoVde9rK|cWnERPAyQXy%=`Hh zXnjFr8wy6)DWgootP3^loHYO=&8h|!h-r+L+E>`0gKj>6ikHdqFSNgghTg>Ag}RD< zm3PeatFu8p%CQQsA<|ZX=1KkpMql-@-$=GJaEY;hBH(M78qPar`|qT^dn{P4hV_a+ z-)kz_AZl|a+6qnvPZ73xt$z-n*jG7sc!~(kYblKd->6|7r*uFq8$=73Gci{D7@;JV z`lqn2a_;mL5u4XKJ{BBV!zvQMr$r+hL}$*#T=8Q7#k!r$xXQ`vDIz_uWil3=PZ?VP z-)l-Ty*U$W#lHrCZzaD>haOG%4j6%+0`wfc$6s)Wu9Rh5HF$pSjd$kTXdijKPOMw4 zmG`OT^11)=)q>&4C$T5n6fUuro!XFIO_CkXp{FG?cu0SJc>}t-7jNCN#!mk+!=BRg z!;?`gont8TSIE+4G)^-)L0|cEobF`&1s_%tI+?>|UOY>7wLUW@<@c`ue$Ci^x~eIi z1pOXIK}s?prM(~}&TVj($>xv+Cg`+?)M*?3?S2~5YQpXy&Jqr$Ax1hpEe+9{XEEWA zupYxbR&VvPqE8=65vb^N%aM5Wh|ZwsVOS3Y$TZ5F6t@}A$evV~WF5J{>M*vE+;hX` zQ_2}<$>(YJMc5C|k|d)aaNJ@!7(2Wb@+QzkI`7q!AP?CnYLnw~*lzy@oyNSU^|-*d z6a0nLUWA7ykS8f`9Nan)heZ6cqTpSP`8TO|Mp93@TV8~K&a1(-nD>||==&?WYg|-r zi3J+`vnOrZ7#^0SYLkl0Z(gLfv9G%l+sjd20e=_OMJC(XovHoMZ|8FcH>bH!kZA-F zrx|&3eNLp`qL(i8S~bF$A@n?t(7EG`UTfFhD=HM4oe#wv%ZfHSXgH^7J#VS)F!7Em z<@7_GfGCF-HpeL##eQpUokPCmkB~yhi*ZN5$Rhbg{uOlHuf1? z%1dd7?DVZ7tK@4pqJ1M>)`UkFHLE5Aecv*!#c)%z7qhKWG7 zMn?Wf4h3P*HI1r$ky%U=QZ!!oG?Kr#ELbbe*6*NxWD00Z@}4QBKkxiSrw%jKc+VSI zLNDh0|LAHyv7&$)Fs&Kook!DeI{mW?{A&g!LG!WI7f|P!MoydjGsa}4kGuaK^Dthq z!+!gk zfIK@nj?6G7FK^3~`wx89tMm3|aSlY9Z~ivxZ;Jm$<|EbIhmRdopMMPU?BJ-FW;9>c z9-<6ynO1#007R;ZfWKQ^sKZ2npzuu~e*woxUZw@s1Jp@1DPJS2-5kDuFsiN4rmP1T zkZQ8vV}|PU+1mw_{LqS84zEDaB7^z_``3a$BjF%*$IaC%xCRbE^=~2H&HQo0-7ixR z%baaZKdtY8pBH$%^Gj6f9RG=^)j{)1--tC8pk9{sC)2lAQ?2uL6B)f&HAZM6(Nq(M zsD5&PSa1P9uD!mm!v6I3)yUFp?yK3dXi40N6*o3&;BI|^btk&FrK`wk#?d{L*J#X` zJ)iW(`W+klqkGb9@kui_cz2KWs1rc}npe1Xnlmc}g*Md{ou8*J>#iw@ zq1N1D-+Hilqre&H%Ss?)EpEZ%{6HU)3E2((DU}8(mqV)3T&4xrzwY2DzKmOfTQKMw zZ^w|90%}uBz2}yq#SwcfRgwg9-hEP<-9`FG^NXm`9Ze^65T|`8*IM>|Z|Zz*li2>r z{5H=erKkL(A+K2R0n{XaxQ2SF#ot+HZpP()zt)nI7$b$;hpx=tQJ=ord}fFa3f zkKN+>>bbgDfvWERwFG>tOb-FwI=00_GF~2)Y0tVhYPgyFp17+zYgP3PK?-iL;B#-Z zYcjW5?Y94me8`1@IZvLy#D0_hUnJnS2l{QLIbXz|lDPHo*2E=;WJhA?9S^&GB)dIt+my)naCz;L)n^w4#s9yOUW6}@nsm1fFQ|4b z>7x$TIr;~}q?T)X1mYQn*~duhLXf4mmoX(o543#C2R> zN)H}(K!uKU-UBqf8D{u1Y$KC3y}esHMUDGlpIEQ!@WEj1%}Nk{+%{!NAmcm0d<{9q zDETF3lI?Pe+e zH~hGuUO9B9lk{AiqkRZmkQy2@3YO|*8-~(2I^LV~P{y@(SS@CpN{+@N6}-+#7&J|s zh?llc1tjzYHajr4KIXn~;jk6R0t&XShUP^w9hZyf^gpVxZ`n3MMrSs*?{?pVxm>3R z&q}a|J!uBNQjmmkbD9qsb!}{Jh+d0R02xkMHTj-m#Td#Z-&xp&$g(`rJQ(eTQgAVx za%!s3k4H-_L9IugZ2zKY#zlK2DnuAgxi%d+9p50eq-4D}>rW9doRZJL-xz1^Zj1WJ{~c;oqRyW;L&9(({4g#bT>0Egp@Y&3kD*rcq9+=8{&Z*-jeR&EA%3|Bg}zVR<$Q{wa7d4O=_ zkw=|-oXB^~ zqQiKZ$M44-yPx)GJ8b!vU5ZH|^I=;7752dk4Q}bSy&ehqjvjtR><<#AC#NUpW+cYK zhgEcN9Xx!BA5_DJxxWUZH&kkSrApIL*v2fBiMx*NJf2$wupXgTXJY6eIjj-Psk zws=(?eZ$d5@ler|Tf`?$`hpMcafaQLG$=)84Pg!O6H*?F(JByVN>Yq_gsv&Ba*x^p z-hqf*e7Hv+8q>BY|A7_Y&>u%;&0`H$C!~BAcd2=?q#Ox0NPaD8uq|g7togcGnx@Zi z(|y{}ss>M3lr&gFW^G~($rDn*VzjzfQ_7J^gXBd?^+U4PJ0H$e#y@w$kI#c&W+UPd zcj7TSrcl12J~^d_=d$Jo(zBW~3tVq|cR>p6D#~xoFVegy1uU|47rKoU(Zf`xSIXOX z1|KNlDy$RHh@}|U5rxJW&0+*N#ucN`YJ%Z^t7OG*D~&@~Cl*jdP0>%EU})g>GP7Q6 zYk#eydVM$B)ZujYLA=RB)RYS0_IB!!h1+=&)p!15UfoGoH_@PYIdZQhWcU&sle; z9p>&9lSxOtg$GtXmZwcIhL<%E}@DM9IvDjmf z&`_@8kW+W|<<{1ox`Quz1To)}HlY9|r%f9ZGYbsXan>q$}gHSFy`$_X6hu(rxaMc7Lw1BHBdO zjD2Y*j@`~;ZW!Su@KfdR1@zq4*s*hdJwQlIQMr*!KzBIYj3f~!Tq#0iAl=PKO0-dv zM)|lMMIHqrWEb}O{V8hkM7*kHa#3E$*qhc#;zqijhdkT1TSQe|{SdB3IjzgB&s~oA zUCC2Mmv6AT1hcP4^O^5yRE^rzl{98gohKnH1fTd{i{jj&5hT z#$&GIiZo$5!W~Rv0s)^z;J4~uM5md-Zrx(unq3zY`|bDr(UI9BLFIg!P%DToL~C-Z z+_ZPU^$2M`VNYmBv7xMJi)&)AtruWuR$kY8uZc1bh%)mM2E95tE&4~yEGh?Hi19ri z-E}OnybP_4fL#KVmdi}FWK3R5%@@;;6xR&K9JLiEx?xFXH(}9coe%Xc-3&V^a~3Op zp!BGC?9+*zkIWuF)H_cRXV+(~7~ip&T2WrJ#wABzkAi}FPKbnXUsd{v#t9r+kM{@N z&|;E&?##lR!CA}9l^A)3g*lV6h8dtv%$Vl(VO>CRRx_7oQv53BaTMn_igaS>f5KVG z+=2Q|`2z>8p|s{D=v=<@~H)!5W(^@@xi=$TR`rC7$as&F*|%7DQ=NT&@JpH0Iw^q!H`I zqA_$Zl|EB@(2vykEcp4Q&jft#{4<#x;ElN#yn5=pLh&G1uY{YJi1PN{{cU6{z6LC! z#{C}rElWe6se8K$qItJF=(zr0sL1llArli;-p7g}C%M1S!ELuh`l!8Dw8Uq6PS5I4 zt94gm-fXOt^D(nX!goT3yMX|UF(7D*i>$i}8vnm=fd7-D{&3L$H0gSSmG~^bDf<+! zfe&hPZf1TD9Q;RjkHHvL!>Qp`zj14C_5qZ?I_^0&fNNaX<^^dtF;vy^zq&fW8`2q9 z_47lFJVebmxAIExJbjf1%0@Zzd5SRyiuV9twfAMlW`ujQmt89l=DNMPm0Qxv(^vZb zu(8>Pd$Xr_o@KH07zY25t+jGK&HLFIRimfL2hJP(7a929rEh2VSR`MUF<6Po@_uVr zIa%Z|y1t_3!0p#7vHo0NvDndRmLPz-Y7epl*^REF;r+=(jE*BnrRKsrfgBSDC!Y~P z)Kyhz-PAk(L;1@oKqqi=ONx}WOt2^L=h;>yFL+~SXWF__vea8mXJ%xrD)@0NyInAz zU<^urjcr7Tt9!QiZOIckxQWER z;ZgmeQ5m3w;72rBtQ02>Tj5`m%8gcZDAq#)Kd4Q7fnvp?TgzP3z$o9P z=NtDMhEq~*0JmHHaHU`@Oaeb^p%UdwYQZ~54jEgRAFuN6tsHvg<5gQ((YbMQsV+~t zG;e5n*z5+(*c-TY8Yf+w%D_ar)pYUAlI7W=Z;Uk>OYz@k6ZH9}o z2q$tYr;TMGoeBER=(P?!KN{>h$W83-^`TA2q z3*{JuLCHe+$RjI!(@8>I_(Z6M+brOKez+25TJEcMv3#=Ed0EEdFv?7gAd|N&lXNTn zNyjt1H>#l@;J2nnHhR;sJ}zZMPhuRP5_P0_`eSrg zUyFoyY);ObjH>s~YQr)vxd)QX6qLr-4}wnstuLBO9?f|9J|-T74X0N!B6We`%8jVZ ziQ$NH-4O`t$jgbn7iTIRdR2uC#5qzt&YqT7h(;oF6FuJ42m4AfbI01=KT$QIppLqB zzcmXSmU64AQf&rd3ZHfdUYeDMwhqT1aUW1!zD^j5@1Gb-!ViUy1cK`(YEk$k4ry_M z?~rP{P(7_4KH$-aN0)}D2%92@ZA^v^_pfzf`>7MB&vr{oKL!BpGTsxAk z4@a9RvyZRQ0%hZL5dnl)YW^)g) zw#V`VB(_7`<4D5^53vPo)U1p>Jl3<%;qa{Lbi!#1*sL?~dKl`8uD-c3Z9w4jGSsq6BY(;_eXNK!+$@9d7u^5HNLKD49$p@ww0VG%=gFZESb20vkY zrh1HqW0Pe_11}$gF$0XjgMov=fI*hQg#nZr2jXOuqf?-hr=z`?#&(5moQ;buO5?Vo zHXD@>3)5pHldmL=l02n*Q2?p$5U9Z!LLlE$Ee^HZ9MIRG5wG-|X4Lm#QGTkzkap49 zYR4M!7BLBOMl+Nc&!1#$gY#Rt6c69IkhN!kR{!yAc(MB)=VI}W_EOl{hb+Tr?t@#7 zvMamaxGjytlcvwbJKt?OS8w6Ac(}jZ)4M}kyDf@yA2~n4(WUkMj4c3A9Uj6g#L8Tg zD0pyNB`q6eLA($_SP4G*5oP=+d5Pq1(c%xCEdPXoMgz7PGJ~DmXr|Wy0}E%`&~I>^tu$8e0V4OyN#*aSl$gd)Gqz zLBdxwU!%`6q1q$*uAJk0aJOc_>P>n<^t?!UG43SH$En*5QFRBnS)w$pz!v{Wv#At(eq|e?Yg0gH!rCF?5WgEHaLUi zhd2G{O~b?f^lk&A5|@P`3c{wsP%u=O;wpZ3p)6ljsIoBfmj7W+iU5Ovg`r9iN~$tU z7+LKPCli+@)qWY<9#kUzyn#$8TnK+KfuBmc<#F7^wRXJt=?gN&I_HXWF+r zYn-Hs5>Bkkyl-i9!=Jq6m}!IT0+c{PSSspo-9+XD0`N{BjVmywWcN1j{Qzemq-_ z+j9cTLn+VqpJpeg1P1@4Q4Xy9WAW!&1v$l^2Mv~&llw&jD=H#$@9MCEp>pyp;^M~) HbXfieUJh0< delta 29020 zcmbq(Q*fY7v~6tLwr$(V#I|iGUu;e=v2EMd#1q>yv7Ma1>b~6be5$&-YxS<)RsFEK zd-YzQv0&fHU=4Agz+^fhC)y)lKiRLRA-Z@{8yoIno3pE>pt--0k&p&$v4se09P=N7 z+^L~tcgOfsP^(23&sW{JwBcghWT`%ngRw^ay@9u{cQIlA z@UBxazVO)YZ{yp`KYN0iA)gEc~OsLJvfl(QXwQYQ?Hwn=uh(-wc@%1kKEQ&9deO7~ltN~K9 zIKvY*cf&UrK;O56cRXDF9O3gQA6CRsmI$Lz(ALZZbCb`F-XAxYn_;4qz04@GM8Aya6pPVT zn9b{%2>?r3R*x&qiG64ppun`tkS}9^lrfHpL5SJXIr@MstH9BUTA2ogQBY+EBl$7m zstcy3?nJX*1E(KMYs;}irKRq$!YZjqWdYnRf)f6epplqlqAMG~Xw6b53=>i1r>exH zMX#<+*Z41|Nw@-qnWS+{7GiSiq8g#KSjl)xmY|WmgH3d6}hbGeM*%%M8yP+k(fko@dViNku}-sPn~4`3SiRQ zpH36I?!PH}IEK=y3BqObs6bfS3Q5!gvPe@?CiOH6P&!wL(sXt64q26yWNfntIC@uT zPTb+xMmoy00y1hV0SlvL2*`>_P`cA5Ls3v$*CTfak0>~ml$6S~eG~-isTvFKrlNC z&YU@+EwqEO;+EAIpTfwzRFX+k+Dfw04k0Qgw=&5c|71YYOz!B0ijYiVW|Wya!=4{u zw1;NR{3R=sh}jZVq=NCRtWroTpu#>x)hkID_-|QG3>k*ue|sk=r)LF@HYX&1N+-uI zR%#hD{b2SxR~P%NPE$dtGxYyt!#3(vrAalQoo24zV21q5K$b3}f4_T-=Sq}@_h@H0 z(+`pOc{xJqw1J$QsN+B4h;&YA_C89k=>V&bQ`i5&gCBbasoIuPd1_?XX4Ehl(hLLY zl7G0;XH-)v!t}COOGpSjT-y!ekyr8YJbXAfCcK?=lqVwXovzy*HKYWfwDW#V>*4To zWmhMDpz-GK$d9w{LcNl8;3e6Xg8zPD9ur-%IIr zrA`)Mf<91|8R{{Ug7_|c>02OH??6Ez$A+sY=7sdCuP zF>;sUULM@?s~TmX_TjHxAPKL~34hV2L~L>y84RODgxkuUb#2s%UaMcgOO#d2$#ju| z`0>}x;A)(Cwtx8EFSw&s@FPk5q*F_(RMmf}R>V%)bM3={!x5^b`fyJk1bU6&a9Ou; zN^4Xhh52n-gdm&U*SbW+h!s$iR!s|q`hhQdvBRiDvtMq2x2Jctb-a9wuTYtIi)N@y zEY2`q?V1v8TNI(s;sLxB#D$#E;ma#m(s8kNLThS@+dqH%km6Q`v;$GH;YO@LmF>g; zDvoYVo#{wp#7KI)9b`7DEmv8OZlMtq1`HYqvtHbM=exT710RWD@fLqM`m8BfuL^NI z!}w8ao4#_OzH?y|)-O~(Gh(N^43;{kPtfREdKfVgCe|j~NKn=x)~F4|sSF!jUvH-V z=JnP2Hmw<~rF`T5-}-O3F>4>I1g-CuLulbT_wi~tD=GEGG;plyER~qUT|usQs`W6> zjr8dFK2RnJb3^k@@<0ZE-^@!C6`DwSMJ*$`bBmuG9BM!yS zMtU5O`yD7f4)ev2!3O`7ko2RDbVZyLeoxu783yXSA1NhWZWb7NkiROOQx zfD+mfBhWTx(Uxs<@N^HhneunW<^XK7*`^<`pHgc>-AMU+HkXZL*_Puqi9fwFlWwq` zdor29ZAVJ$<7Kjj5p=`!RlP|nGL}Vv zDY3l1hAM%|!NuylATBt3flK+o=Ugd>e? zi$_yEEJHc4mMAo}f^F1JoYvg`t%#mcd?cEpTs7BXnz2OC^mW7~Ra3m8eYlyg4ucR( z%#kLqaGxhl9o&Pu<+GVE2W`M0bSe)h6!T4uFnS6&@nuAbk%QAd_FRTJsYESi6*RZO zR(4QeoW*A4aOI-Su{3oMG_^h%FH;u$gq;ZCH`jRdzFHJhipqk=qQdPME?N5pR!mdIaDpnFz6BZS{+7U4DB%p_Q7giu=t7JuYWJUs~oum4SRSD4LfY2 zV5#P<+K~NY#5a&I((H#=J2>yG5S(v+?R^r8-b9m3;sWy_MGB^Sw-`zeW)?HX{DoRT z3peq0m8>jT*Z3RNwsD`7|-k|uSC@(To1W);!hY9xSln@mud>L{iERs zKK{eqWv_EQOv;z+b5W+^8vGx0jQu|V@qqem;s*^unK*9*jhK)9z)S|Gz0NLII-^WS zr}O6~(%J^NS&QJ=-D`v}!A?VN8YBaVZr;U9({*{FRiGW1h3t0z-t}EW&13wb(LDF8 z$+U&xQ(qTR8=>y7rr0UqS2~J>Y|JVcj!9>KZpH7WEqj(d`4Vm-ssDRV&X23%ODOk; zsRf*zZuax)IWM#AjXtpthPQ)D#O1*U00$-g0f$5!-%6dA?a`NqBr;iOdi)H*6A|Hn z@agW{?SwSmg8wa!oVWt!{0f-t`zZ9jpb%cRR|_KWwL}DmeJujMUWDM#4{Qt&a`Cv; zt3QNN3hdSV3Sxdn`ssw>p+R?vJMzRhP>T})lk5MY7wiT5e{qgejFaBM=>9^QY3?yR zz!FrXU?7MeLRmCzVNm-__z1zl3-h!f#^b1!h;E4uA_iys__b&bM=!uzy0Idk3a zDagk?dC#o(w)`1xYjogeIbmQ3>f$%)2}mU3XtaSWm9kLNtP_TP?(7-qUkh zj|uysM5hK1v4KFTpvX^xh7{vK>$X&kt%;TfHSI(%x*DnHX3?X=v>232w)sL0D2iqC zJGq*fxAxdw|giDcwfe(rfW6p`TgzH=!Eya%k;7@vwiL?&Dv3r?B1TgPiNWwtC-VbBT|zQED5?S`N*e_g6QYrxrXZ>! zDyE^w&5Ig^IRE1zE$Y~T0qHB2{|@HOZ*>sB0g)Ry9rv?9KCAM4V!&R_k3OFcc%$~C z3&d?l0P$4NN5twx{s z9q{$JD?BbA7S8gx7$62cZ%5ONoKZ(|SOGoY+GZ9(B4PuO4HGJ< zOfE=J0O|n&B^$(l&l?h1bC``Fa~CB{T(J5Hl#*a~msxPZ(a!b>ln2PqQ6CZ5!E0B6O3Q+I%D}EzswAkG-Z?1nC@b8WSe-OYT=XK<@)WQ>V z@ir8#Ert7);Nm#~(eTW%^V?AwQzWGVo^Wxj+vSe5YY~)a(tc>W(OF61p)0DiRHPyzctv zn+t>6G<}K1U=Cuo!*=z{Rg*p z@At8RfDD-TeK7$%BrHJ*XZ9<)t68Yy5|tweVD|o*c^*2f4Bmg;$Qfrl0ZkTci@}*8 zZusCcTU46#+M3ix%Y{Tf&>zWuAU#52epSS4Cl@#AmVXccx&7;Y5sutwtpam30zQK8 z8|xP<>f|j}05jB(@*^afgqw9%ce!S>VxvY6YP?5~qRnFw&>!RRQD8jNv&+V6K7V`c z3zfwnRF%j7b6_dQXoL0q`2DcITASkgKuDnG$0DrU$Jx)Kymc0)XWS9no)=Upw}R6*sQ|jB76&2 z?*I)9t+N^r!dNGtXnkadc-YX;8V9L3-UYJWB5UQA%EBimqXs(9T(Q~V)#U@v2FpG`KgPOBA?56`7iGJZI21BvFGs;=JAB3 zwi>-=2dhixxs}@Kli7fIu7o-T+k4=jnwwEnw7~5Qw2^O5!`~*%O`@s*lZU(aYXhEh zro#N((T>%{*snA508Mrdxj*VWa!bpGD(nLi{9cREy0}tsCIc43NCu*!v-0D7FdBbJ z#`NMo|5g(wc<@{&|2t@T2!{(;&#MvRvA2rDGmC9J46=Qw;Dp**DPFP6B>)E;(X-Hw zR#Qom!Lxp1)(y+7VR?pz6{;+Y$xA!5GF4QMMFyM9m#+LSD3xnuV&*#%_dabM#IDyU zrgR#z-mQ$iflKIl%S}uhwlupbt=0{{RE!!#JK`ry%_Q?JMr!bNFD7UGO3>aB zm`7b8lWBoL@;@_TXVokgVb11n2<52=DXC{E;A)U@dJn3`)=dYfbi{!e*|S zFUifA26BaR<7IJk9u(VP2R;)X8W_Ca=Tsm1GjTjoix@E8J}F;C&dmq7q5@kMxJiU| zy#8J!_U+cL8#Ud1u09h_PDx@jY;qXIP0IB<*iwP*ltCGfBB@+Bs;+zM>bt0Cb~pIM zt?*zple7=2jK{$mY&W8pt)E+PiJ!B9$*4%WZ|PU!)pD#!^%Z<*V z=M?j=;KlvQeyOSKZ{7yad5@m@A8#xo`}3FBTmMQ@gvJGQNb#ywrBGDD)p3yZ3C5SS z_j#24>hhi-2&R3M<EOL^d;nRP7F5wP#aoy+_F8PfVtGZ_cmW-F*Cjdfw7_}H`v zx+`Y-h#H4~AgsD{3p_n`tB_ofTz>J{<#0M?m)Ue#vfwwfL%XqQb)2+yUOGxw&~wmm ztPw7%+Ldv$XKiL}q7yLYT(-FDb#32i4q4&qNCg9o)0)O}O{Y9f`Z}UIgF2)-$)Bx* zZ^mW?4h6mSW({r))e6k)F%F|o3kj%oLj^;7LrFGo3ISQHOBwdr_W2hXCpjlmn3ltO z+<8oA%<42_I9)wgw_lBt&q7elLLLrOd_C*WBdth&ALId-D01kh!>c{VXYqE*sq(#c zWKzHmlxh>1N1EQhve^)gpi%m)VU*%Z7{O+E!RF-|pAFa1A#A@e&+Sx^e?K9+*XzYG zfzG-YEZr{le{ZyHvOU5$anrV!?rgIi8FJFh)R7S()f{|cGlhf|w*oXfmE&%aiXwc3 zG+Yv5d7gPs#eF`5Zk@xBiQ}dq+*?VKdTqdXN3Bk?8j{*pz}Deb^Va$H!wHNit$7Y7 zPcafv82jx^d$No3#-E%VXG(}n zp<0#KonOYAfaHlJ8;=-H-`C!J8_hkC`ZJ&@=^fqw;0ZW5ktqYicj&zE_>HRbkJ?XwnyRKzFOO)2CUw5`BrQE4peah{7^5KP%8Dk4G z|3N}DGySj1j*bh1no1i1Vz3tj49{e-Lav{isbflT$bwu0X^i}!$Rm7Y4R#c@kYsGu zI!tgUs!=+O=MW#au3*iQo6mWp(+S9@r%}5RYqSj+V*8xk#d8C^LfC2vaNY;HP~~MC z#>Q9}v@3`l!S!^=8CE-YrMRlk`MxR&Iz}gR`w&lE$Kzk_&RXM(y88p}4&7F5jfbi% zrZr!cikw27&QGVABlDR$jyI6{O}v3?@y#q|gU-ddu{_MSFFliUbQ3Yn1mK4Bwoz$& z9-muufmLaE-tVuJ0t0L~`ydS;7pZ%hpZd{SK~vaJI%^jyer*`<)&yv(1b1Sh5(Lun zqVl2={3bJj==`pAmN5voLfH1dB8IRcUOkUY+Gg4=+Q2?w|tXz#YdYo!@ui^q@td4B*h@@Y%{H4Ij=J2v z-3z~0T4mca92>W@kQO4&#N$ZYNLj^ABRLqg=v(D_7b_YxI4a{R<7(}7vA7Mg>y)|6 zHp|w_xig8_1wDP2Y+P{hb^o-9iG8x`n|Mf&;p!&P8}ih#{Mv=o>jP?GYYy}Ms1~)J z907}uS?&a<@F)3FfC2A%<7udi+LFNk@4Q>zb%3x^|Bl88Nj9;OKzkEkalq48`Lq98 zSDMpz*Ql3reZ}9Th1)-m)WY}Lczn7ui(;s;wgr$K^z^)Rnu#ce@GBAm1q_G@259Xa zw~HsSA@K2d{4oV2ZGeZGo@xm=#TiGFjrH^hh})C55;WDQu55V#HWP4)0X2@PGM!rE zZ8cq$uBLZkCu^&F5&Awaw|c@f)!h(67983B*{R9$ND(A|05 zXLeqpk(D2Pctm_Um#HP_a$6VQ7f;BoZtwR!BpXGPA^1de3fv4~Lj?pvJ$?DQD*h3a z-@CFSPFKD#Z15XK=kHd`7PK9S9vM-tHEhT3-Jv}29NZQ8Rb$z>d^}cg3rFc6PPnpn zTQFu=!2lN%v%D1YII$efek1X$uB3yT$tqPoX7lAhiQ5&Jhyo zg6TcP0_53s0${Fv+CJFyKwVD!a+nCdl&|ny8)AXXpxfjBdLW6Mx>R##XC{UC-0OB6 zbG>)-BYSGUBmlbq_2RyMXWg!r(k{JdltD72rADTK%AU5ZmW{}rQ3HE_h{n&394$iSKjW0DY~I#_%DE9ln!^0@nBGG38v#xx z8!L9{AF#lGQ2SWh7I8Z#yn`~_0hzG#I8a16{filOSi8?=**U}I7*2s$2#zxS+oQt% zn%^kkYn>aqbUAbcCj!Q9i@%yxb&FF(NBkGwzWm^@Xl&e&RLs8wh#xGA3r)$K>mh}` z_&9QQ6uH<821qf{voU$N@rgm?H!yq$LTHkVzk&F)(7%Xr%{C4w&fhd{Y-j&6$5#~n zIwoUEh>iG9-?1VB@7X2B*Y14Suf50$a$ej|a`o&+MU2ABu1DH_8ExPHrHWfPoqW|3(p^9U(nbsiU;_ zk`2tl=aI@>QcEzWMhISF1x9oais$oSKvoCEX+J@sBJ@ z?3;@?-mRgaR-2Qv$$Sn!v7U!owQ;4BN3Q1nwwBZT)7;7Leg;PW+kwSwxVFlnb{U{* zwQnFU8QyfPNK`{p)f}dMuwfmquJEupa~sJ5}9<6pDJ=@ z)uBZDQ~$ixBH^)z1hkkZwxd#WClxKZDjhYtQS-d<3#f-DXX0;1a4onBi zbhZBl^fY-cNfGM^_gJpvAO^azSGWQf{Nwe#I)(`Y=ki87SFsQ5SPSs#GRn~tgNR)g z;U=6FROYoRy!-<*>E;wL25zNcP(zVsfof-+bSu&Gbq&57nE!sUs2>G|4L-IVg*dS! zw7aHk9-UB7pMEtQZ#=h($?^3m8X9IF<>d71zO>5p6!+r%VK-GL-eHwwX_j)D(B6W`=x6K5ap;)9}X=aWlCla{r%S;Md}Jd+z&qRgq# zKjh=AfKd*DQAsrx42y)S9Mo-al)Mo2EQir35*yk!DP&y6(uMEs6kJ%?SYQ0ZR-qyD zlb@A?mu|a3EM37$*SW0QO+7fv>S+D$;&o7bd5}z{^AGC;Cylj=b0r_Jf#X2mh|MpT zBUx8efI2uzS}YD=pO|;eX*V#%tr2Kvn zepLd~08YIf7(|;EQ{#)H%ySe`F}2HP1okYwCWnO`E7g z|6yq3(>FaL2QS}^=P}j*OeSEGM`nOfh4^gm)S*=;C z-Dvv=js-;Xcp*u>%wqThZx5Yr<;sAt>Wez@!^_V7tA8Zp>?yv4C#*a8NN})@EJ{aF zV|-0i%O9RBuDa+2%`k=-hPcl0My@_tw7ujZwY8L@T!3US9SsP5(;?SB4H4jmnMug} zZJQ0tTi8vsDPMu#!pDV!!`IQ6aDVxRkH6)5xy7~Is_?T9n~rOnBD9a@J0W%yCIRks zcra8)5tB1RY_Gxv6t7DrgKt&WKuyJNPXSI9EsnxZPQrLcGR}LTA9U}wmo_TsUh&%t zM#mv{0D#S%h|XPsD%`~Vhu{`LEo~XhkP+VGj5S&0b5%26(@^8w9weoCh=UWl){q^8 zwy%{6lYD$-OIZIg=Mj{czO*BF!uWl*VIr@$$i3P^B#RdC>-}NJK(G8n1Jg71QK2Ug z&Ivm}0fM@@>66ur8kfy;(J3M>F$B@wM(nKk3P4O20~{mbYPT113FJb$Nr+lKgFe2A z*!~l*4kU(Ob4iU%rg68@aiQp06eAQPR2+&?_*IC1BJso>#Iq6Naq;+D{_b_~DxQqY zMCUHKD{W0t(VJ1+tw3rk8nWT#cSj?ulI90 z19lpE_x;E(G*f?_eEOxHmTO#nN8K?f^ET!%7_uDZ?b}(-R?=nEzong5Vkrx={Qw+aN=0X>r_V}Jrk#m*C-^0kHs)iM1Nx;BB;3~aCtvY=kIf2(|F$x!lWd@*rp$!Na!qXB9^lkx zP;by=q!@C7k4`b>_xs5{DAU&Fru0tey%(E!Pc*&rUa7Y2Wt1E^NiJHF>OVeHu|eZ5 zoV%&UT*3{BFbi6>`s7W4<1cMzj5muQrR1x!||!Q0UtFK?aWo zt}wjU$HL@^pUD1_L6%;jG~GBNe%SMh2h#^vI7@{GFf=kVJk@13gQPfZ}Xvwr;SM>yW?@B}4)VJvE zvx-V%sGMNSJzV=NhnU`tAD1%!}B#_YU`$ZiH^)Cmp8} zGtoKd9@&@=kgMe$zCb||dm@y7Cq|vl1wW)8(?jQJ9&h)6RwoYEeXlR`hdWgka&O44 z;;jWt;Ob<%QI6KYf9hJtPDBD&!Lx>NSwZO_5{(qBLXCkqCq(M5BlYOrHqlyflhmin zRfi;#!9BI)hQDnwg%bw&5!!}5c{>-SHAFA4!Oz? zRSe$~zH&p(S9Ro3NlSw#by#cFvRf0B73Gwol(|#zK#3Ol{{S~0>-60CT z*N$A`_JVIR)svLQqY%QS#xs1Vg7UnG5QnhG2YNOeANx{ zf5k_5 zqN$K?0kTYaD46MJ*f&6)8MKn#`@gU4h@&o;gE1<(^nY>63H33%D9Vm(g*^SeQRq5v ziD6x{Q^BvNOmMP&;HwHo%@Dm7sQq@r@8EkI*ZsX7rzlf<1;O$wacG8;4?0ghH}UP{ z#Wg~nkRl5b#G9d#I=_FW=u&&@W{b@DNU7?I0sh_JY{!IOW>d%$SyAaDHRI5hf|u9L zJ7d{9L<<8w<(8@d#pAAJpq1-5Ri&bU=EKb#)0Z0bSER{cz7fB!6E$r^ZG=0+yYE>2$eSI*`D6BIVc6F z#V+D^s{@tk&`5JT(@RoRx08gYDsC%-SV_uR60!V$2Ved9z?tTJE)v|wH;r7`=CLDnKwFD#Ph(kHP##KXBhNX;;Tz$;=Y+VuTOlB6uBf5>Z@McIWW65jeUolwlWnk zrQ?y&rK~3LrSYy|RAI!Tiytf5=jb<;a54JCd}+it%d^UH6tR_r?<(#%f!ImP{r>^r ze<9NEZ`N+S?)1)dNJ{PRnCx46RZ;qejqmDirG~LL>G>!m0CRO^F2I##`HfJnDCUg_ z#C-eB%ISHc>(MT4+=6hmTlwFg$_jw=93d=Zngm-t*u@wx17u1BmIm?<2~-ORxo8oM zAc>@TeMLM9qp3&&V6BEo6=McQ10`vUAcN-B9o$$Hfd69}DvfMBD3E)Ha{Vc zF?S)N)U_p1UY;7ohYFT08kJdSlj$iP*=3Vju6-VlYLCM_bt(D{bGyT~z$7JLMCly+ zk^gz>_xAo{YT&>6Z`uUrL7#_JQHRzs@JqTtuV2LAyE9uEfDEM9DLMCg1(08eCtonN zzoCfH$Yn;f*;wh}RKf}PSb`AOg2iWY;30yIQNXrL{f9@qrGsQpAn}5&=W#et*+xRj zNRUQCEem*MP|R{+bYpy!!D>JIlXAgS!&427-vDZU@D|9-0zzwKzMzBx^fQE}5t`E| zooVpb0uXlq)L`_*3tCV_c^>`&D&V7EZ(I4n1_X!3*NYwpAtI_zyZ>DXVGA@ORBYkg zYVdGRhy}j~PBWz07)cupD@1x=$(UTi81w~V3!Vt1Kgej%v;l4gydFOO6}JXFd(dg` z=X}QafZHC4H@rP+GaDKMI=ib(+}`FMp)*7eJW?p|JiyDEEzV2kOiX4ga#pWp9M^6 zh~@@>enIC7S!iIj2QxEfu!lP|7O;oP9)?&0qZ&$Y!0Z518lYIiYYU!afh-e4eh@=1 z8+6YA-5gR_L-Ge#8hmO1zkuN%oMnNx945$szc&_Q2r@9%T0>k8acJPb0QDO(Y~a2C ze;?8_7G5L%fUFBy+SB6!K?)1qt951}0E+~MHuo-_aeBa!BEuVC5`xJ0X|xffhtag* zrU&R72s8)ec%b~DXJ3G34*~*Y>VfD6Jf)D7eGDE;EY0 zw;$lll>>e{CCDR_G`$(nYV{n2t;cDdS9*st}eoEPyEKD14{^Obr5)T z2KUDhf+CK@-$!>w_eT?g%#X<4XTQ;TA=mk9ZYXKMa0@_(J6m--n1iy?6gPgjRyq6_lH{T>3AarA_GCE`-wMTAFzgD!ox;;^*3lA zh=vjU!@_&{H*g>DhT*FP$cF8KdAOuusG=CGBgrA^C8UJ76A>2^!8sG*Au23zqK+6b zLn=HmBFQvxoMHJ+s$lMdd=&p& z0O3GE6l*UUw1&ZpaTISaHaSD$Aiyjl;{c17C{|&`ieJ|l8x?n3@8 zUbO{*QTn+UdLHh9L^oQq@Q*d3FN|Q^N|E$DUkj0gNMh0W{Gm0uFPMXva#8vGk~O<8 zlwfS0xZb>`dTd+a<(bb7>kHnc2y;R1nPdxmZ7qlbdRMbAdc}C(3O(=FKYm8>1`!Y= zB%WW)Jpb#A{(k+k&D##K?&eT#HrAiCA)ha*Snn z;ol22f%Mh z{OO6}BKHdSO#Jct2$6@q_Vznau=i2DDTu;jZ>{x1c&!T%mpBoN0*!t^AfD~_-_rosq(_F$Da56ZUelz@@PYW z1Un(^2f96oPUCZjgfEai=>1V%`@e3cUod;{`(vK>dcBDQ5wFMV55Zp$KdAoWRXp;6 z*A3|hlTh65u=LIQ3-|}AP)y=~6m#(h1LBkqlyAyk0QL{wFEAjwf5_<2>4w%H4~Xp_ zwz|>rM*7qBl_qY>dlqnr8{v@b-XvHnBhoBS8JFLL8I27^*Op zAsA}7AJJ0orYQK0=+G``*sx@S6k#3zX&v%?iV%sPG>cIZDPtwD(WH$fw9(|ZCAc<9 zXfp7?PZ`~xniSD3R1Pw1vZR$G;yoi2HWaz$No^DPqncD)}bmm0d`s#(!dgsxpa!21VT;<5gGwPar|FE}Qi@3CpKw-{iJ5?5 z`x!?zYR*ART3Qm9ngXXPJC@W~5)(&$I0?Z9B&(;$nzLn!mHo6SiBO1n-pNnXCQ%}Bx}lGAeEnFYs%SDCL*Dq2sNkFk>BN`kAo+ly~u;7oV{?u5!_Y~-9qUgnPP3X5ka+tktHX% zEU%a)wPXY3AkS{YzmexzKxjj~k!iVLpC#^QL-e~GvIYK9u6yC?zr#n?Z(*keK)#fB zD*XJ<@*ad#5_(qa&O#^_xwv_D>5kJIic}un5|vOu{+C8qL3#;IS8m#xx3(b79f453 z`izG!PpJUihBH@!dWqJZE?3I#%$+ZENA|ji{V#(rcW>m5{B?2jUjn{gv&Hv+!Mc)| ziemqwb)_;DPyhXV0PPA9lF?e!0NgnZ#EFZLms%fCyAtZk@z07MSl@WIW%3KM&r%*} z-#E4v@(bq{PtUNr(pDB7-1!6Yt_qmva~~wTV*4bF%IfF0A2hlmuS(y~?A(O|a)}C@ z=DGjsJvjI#^@$@dc>OhbBN7zbEhnBw{`E>I$I3H`y$_h+D(aB2R+9Pk(WLH-T% zGb>PBd12{6?~PDUd~VV0!S4-RP#Gw}K2v@m`^@|j14@6LIX$p_=6;EOmuQ_CJ<#<^ z1w8P9Be0FIkjJr&@u+1?ag;Ut_76>mXtThZIATo=Y4gMyCo{xwnl99^+6|d%GuTZX zXbaelWi>;rgito6*I>$<0<}8$=`*U@boVUG>^gYzR=72c)8?1jek;Kq=DFHd>7z|L zNYfTR4EdN1Of~f9V_nTeHPq*$zRf~4%-!LSW}oXITuF$g?M;LBF!)oBX6?-;7f4(= zm`!9{A@SzL+N}7$<+N$(|8u5=Xf(0fGgO-%u6c6>E1LhYN6Vfm0~#vr@v2Rh))73Z zyJLTwH?M795P33pC;ql{Thr%C{A~rlCe{|kXeqy@+7`!X_1p}-2KPjwH>uh9#~#ry zN^oYSNqUX1EziL?v1xqm(4O2c#KBa#seEn8p4~4(a5~RSZ%tEkx~=i@!lx~?cfhj= zd!6YC%`dZe$g^2%9UyA^b!k@L_<7;s8Pq$tWA4=0zApNN#6PlQ5xMSn0pph+Fd$?u zz0UfC%0H{rkhm`U1pA&EFeYSW)WE#1bz%2}$Umyo?6mH6fxtgK+jzZ>d?E0jY+x+h z7<*y$1pl69VA|g}ec|;4{hnfA0yI`%;N3T#6F5(xj^{W}0l267`(OFIhfwV<{9ew~ zUbp`_8^k-ZBkx#QW_6U8bcQUPR?em7+e2C^wA$#Djr@C*idZ4c-{cd-9 zkgunm_CLJ=Kqv_LDDl|bm%+~NHz zSYHzJLF_A9Un=wA^y}vbXkUo%gw~ygKc~?!@d5HZ(E5Semr#F-|5E(H+CV5UM|_I^ zif&BpjY_bWJ%Drr<{c^wdjs>aQ5Z*&m!M&zhr+fesKv;?CwXtbbqh_iNyQY z_sB0mXr9P@H;sF zRQL}5gE}zzdj{C=zmxyq4$S(a`~*_FostSOvMthhBJ0(%7n^~fuSw^FlW+NBRW{_F9 zRk>9MxoTH zPN`~BHqQNbwRgF$QoPkUYJFOPDzo&$bl3yB$JEC~cg=UPch#=4uZo>DA9Wv~dFo&4 zbu<92R+?Q5GJ{54DCV9hW<~Js94Vbf=9Gq{hKAxF4e{1W&p(BH8o%&LpsGo$^bj?M zmz_Dq;?;|nrEFU^v>l4ZDjES>HBO~?t?bI*e;``Jvntxu^(tj;?ONlrYRW49r?~F` zYhv5lR#8v^JrqSi0R==vYJh+=Md>9fO=^_hk=_{r(Ss0L=q>cn5u`{7AYy1rl@%~yVlxevYBUQp2?)3Pzhg{mzURRRdQ~YHV_fF8wr>GyP}UZTKV5~uK+k2I(55P= zDGVMwzjO;Pj`wg+^m%gCh+jMG9o>?$d#pimgf5`=?oO3D`9Yp{s_x-ebxZEF70e7C zTe?|gkd~vVi_F&=w6TRMjkpCafD}Rs zAVomRpw&C8!TERmOS)CM*gQu)gq~-R2cPex$a4Mo2^n7OkO|^n;s;ey@+QJ@(wcC^R8!5 z@SWgb*}Jkqr*~RQHh4q46h7QXR|XkSMglU@^#Ev-D;>7A>ZO*{aVZXB8ypEhcAGQ<25Lp>jN5+ z3vz814IU5acD=*c;Hpj-D3!p6^t<{is?PH3bq#D(9V!VM(pk=PANH}9sWLHeDv2D@ zt5;Y?;)f}%DXOkxN-*~veihfQ*QhsU&BJEW4j-?&;P6QN4r}fyyX-3Z5^cVL&Z^@j zcUZGwgN2pO7%zt)@!Lg17j58Gycj^+Az3$DW7yK#)7H}lRHcu>Vq`EVj6cTSAwpa) z1^IUPv^8~=0>;!Kl)N_c_=i`9*?M)YPulWT>0oRfVB1mK&#HBOZyF*?hQ+NTZ6j?W z?O3aLDm5^0j2319V~JzN>Ek3F!m4$O2CHqxs^+WCVW=^hI0c7ep|8$Z zHg0g+rp$&=HC#o3Va23i3^8Mv>$r2csO?gZyS@;qEL53)hCg}vN7%62v{f-++Au0O z2AmcSgmcAF zp-(U-+#qPxXAyy1J|$mlv1wk@vvfKavR88y8O_;?>a85O6Jnm#z5QATHH z!36tmV9QPBhEtK%5^ihThYFQVK0__GS{(I>NH3aS`~>&}PAIGvdJfbt%WS3l2%>5x zlvax-vvvju%M@FIdmKbv|7Wr{*$XH0CQDBatoA-x4)KYWm1i%A><`2D`GlGjCM%>}y-n*^}^ZkiCw`*IR~fb?hY$Z_P)tsxn8+UL^VM0uM2Z^qdq%Dhg29 z*JvuTMETk=KGXUt%i%~FLY67Q*t7Q$4}=4MZY2NNydof&{JqtnpFXmzuA=Njio=Q3x6 z@K~bR8?ia&P1q5%yjgVl$X(MbV)4vfFanG!{1iGEt!frmj=5_lZ4OA=7mKk84>2#p zXwlhdGxQ8vapssAd_8A9cD=HE)C=u3Kn0WFmJGL zF#RZQBDQ_T7v_()LkG;b&pcdzyq>onzh3R!>(wS<-e7lDd;%14W|fuw3_FVw%nYrB zcAj~(Uhdq#+q(O17kINfzT2|fzuUQs*+olOq>49+HG;a&SixM;JLr>W?-`|;pmn%& z-|pz{>)lfyDax1=-i2ltsUcx}{A^v%+ZbV~x5VO^j;O}Vn98run(EF9dU@!m43116 zH(|VlACI#?i zpWQt)M|B{K7!nU`D!c|4N<*LCK6^<&U<&q{B)@tGk{{zE?_T?C|%(;AMSBdTd9!8}(Ms6(Kil&KrwBdiUjs z&QAOaUZ~S)2!OHSa|?IJ6gnPFPnX9jm?_1<%w@t9H46nS<47$F`c1|bDC!}Q(6u;H z&=w<#CvLjchbo<&)vM8yINvq|G1PCb>T_kT;Dnu|Kdv4{lyYN$Dfj0qqTB z=tRf&stk>auQ|!2YVSWi8LK6yQkrbItRj_b;;)R_t4whh7wsKp0WxV(1!ysFVP%D_ zeaB5%z{Xx*)pm?gKd-Z&Q?2ZZhJId$h;ck~g*{)Fy1r$Xh*ErQ#T&Rq;}z;d7J02b zvAaq1U@h|Z+{V>IQ+S<0+>UvzZ)0ElKyOfIk(5ZNGSkuV#`dkE;NagkiuE+%HeDM) z7K_ojdhvNz2F#NLx@Z9X>NtzME6**GIJ=DW=Q>27@qvA7IjWzvLlKwPwYUQcTOo0~ z1@v-auNI(_x{zYe^M=YQcXGK3?!;*Gsuad@>8MUe$9Uy%vGIl~{a{8sQuBEUw@`$@ z`T%!8T`K@d*j=QTGoD8N$o`A8QvOU6ia5Ux;tF`&+7q?QOfPq1`Y%Z}mZ@mbW=@-j zO8o~Sa}KhpP)Ns6dU4UNDgUzrfb*_%pIcMDIu-5K%(+NTKNy)q!KOkb9dp8q>jwvq z*0hz{XZuh=-aw^0haz(hv#A`Dj-mJB;$Bl$or;ca=KRqyN-t+PJ+JJiLMS zP1#^7x{^G;K&5_i@)5RwIe@?Q{OIQ2W{kmHY#1Uk8~ShTg;I8(YY;}W$QvjR{XF+4>F_rjeTeNMzEz zj?>X{^icItE!&C(Ocr@j{aQY`$SqaKVqAJZpG>aaSI^%&%360+{T45w`fvN>W^bt~ zEyhLk^PS7pyQ*5|7HhKj3##AQJ9lPXm1;WfL@OU{9XNZ%pp%!jPLIW{OmxA-rWe(p z;hTGKN0nkF4xk+8qkRG9MCj_lN|LQvb#$dOy-Y`M?#IO&OO{r)Lv_N?x;jjHrxQ*w zf10@%9~#vI7@#Ik!5MfmQ~8qpLF-(3dfz2NF?*SVOyPaC#ZuB_?oPKUe0 zb@c8vq5B2gY|NKsTMk8@xO7U)^k6@m!VLOUdAfp`VmNSF9(6Hu0^U0%BEWskzw1F$ z|7A>5vAH@O+bz*hHJb;M{UWJ+5seI8;f{DN=XOf>VS_%{L7}J1p7k$E$1L2jCz7^y zlqk|RhjXb zfO^T>oJs+#-7m-OQ5*5^U0h$6=qrn!{w1NZljT7+>8=#%hI)1($zG#S&QJ$z$;a_H zytcuc_l=-q;RPkNr5w@532FFI<~vFIpXz#Y*gCzs_-6Ra!fP5tCN{oRM8{2-oxH#8 z>c>Ndw>r-gCX zqP&_%{F1n-BQn{N2+J{e$z5zRADyjUlH@{17nI+(1$Z^hqYADH_ev>eR+A8It1o2pB4B{ z-A=Atwdrp}su0pI;(ULvq+P^$CRa|{^amhSq>?V;%#$nOHvO7;f3D2#+s@fHEx#y~ zN`0^*5pUihc&9mY>M%X{+OOG?AS+A6FL$s>qf)(u_EHp@Zw#)d6GMa}}Z=5fk_ zmJ3`B+_xA^FdO|<7-}50WBj2$Oe>Tjjrl#hW8=^95&ArCW>n3JuTZ0PSY`ON>-HtiVLo@@*__4u*QjR{RY{v`gU=6)mX zrbD9BD>7BIz_<6bF{|ub0sNurw7|OexH0pO#pK`-n}HAe4(g%liFB@}9H(1jF10G3 zrROs(8~7z|1ZM@$Lj0qUuf7+2w`BI%{39EcCbR!gRh`U6Wd4&x3W`bY{j(e-J`A`f zmjSohl&YTy()!surBas&S#DIhnHo%XY}ExL@k$?~&fpsbD`WL@U<4&$WO4+axq{c-Ely9}&Z^!1-E zHzIe_r+uHU^8ObL;2#_Em(Ba{b@i7$0bgeEuTOw`??>4!m_{08L9-&8E|Us(i>AvA zFws0a``pXzRRYqZSauHwIdz#)K|YA_GSq#NVe5$hb!acszlsoIlYbx5LLI_%T#(V^61>#(H2k?K-Iopc;t1;tp`-I(qRVBw{S~~j z)^5HJZD9!E!EELzHhmGxeY@=@MZ}(Bfm7^%6Z94NWi|p=eyx`c2&8WZb8NBivQS&-NjN0q2!E=;vX_MjUW~Zrp$1-ZJ zJ8h!a2vqQ1GZy%$8QqnyRPYdG39SKZrMR_2FDB#pb*tcR$~4-mtZw29_PwJS71zzE zi7(!;!+Fdv!DY?q$Qva)!`5M$>yTcCt$ZIE3`?b$wO#K}M#*)<;OdLy4yfVr~9;Ds(x?yIVsU#kb>_b&{@sXBTXH2Q!MU>jjrm8q?OXxQYFNNM;cg zv$pMhmr-zC3x3k#0-VEw3MdLf7iPTF2u`3Bq%~n_5cRT=5!9y@y@9M(YZml4>tLq3 z)f%42KvB*SfAhTJbktosJJTB<-AlrF_iV2E+u$}PwyiC^t>Pl1)Wb$mu(-bM?$>X( zdzgl-5SX#?a~cNf)t-uc_OBkuri_gzR?5S~hm^W-33DE04s1SMx`28=NTr8M2EIi$ zY~$H#>#EBqZ-MGw)CO9jGdmKk$RHt_qz+53ebMMwl?Flx1)z5&sidqPrP8@5woAT{ zqyk$tN^ZVo7F=yJYYc=lpOJeYLNP;G%_p&YWQ@rk`po|&+v&4qhlsyPkh2<^pSi|7 zHHLU)w1+k3Q|w2pj)3@uxZmZNPf+?Z_Lcy+iscpHzHl!Jr!nzt;8fPB3uFn_r7;k; zo}ZHaa2!(GqE$NXR=!_PFO?SCC4?J7V%oQjDaRBWhb?j(%^ZsU*=LD|T-tC`?tR5<_ud7Ch3=unoA-nH7MFx4*5qD z_(l&T&)dA+teo>U*px2uP9JIzM;Cm+;ojOUXRFnFer&>wB~L_-!C#FLoh>#oiaSg4 zzITu#_7>T!L25AqQjml+WLNiq#r$H$rrW4@-A8F-4+nFm#~)jwjL%e1-|)EKEmSz0w2S7qf}^;TBB5euSk=0cqmF&{ZLrOhwcHFVYJ_hX;F2xU+wFKl?m~- zEK`9~ZHIU=H@gSC=NB6`-6lR&dd5Gs(N@p4WDy(4Pf~mOwmiSD>}M&Fis$#_ zX$oH?y`31c-*?&Haeg*9%j2?Uxxu%Hwn+r^UNx}H4GNV#_7;0nbl-$_(>C!76%poQ z6g!i3mg&QbOKl2$dRwRb6`(&BHzs?*TeSXvDtLzN;oSw|n*G%u@JW3jJ1GZ)>iX(& zZY76pm#vNM*^5&!td!z%b`ku<#LD9pprb2W%9qLTmC=O7jAqc|s}PDbWMC=m{fLXy z=WR@PTv1mlWU}OCr7-!#z~A1^*VWF|*VDn(%-g@tzx?W=f{6(v9xPDi$;6rFoZc+~ zu`*%}Tg1QZvSUi%(U{k27$29dt}d5Sxh1Gcse$3Ik5GkJr6NJy1MPD*=9{8G#U~Zc zv2M&@75;<6#B-UmIk(>qD9_n&ZHmTtvvf$q%pGVz*~smobQ2SH2cxsNRcEOt)R4W$ z{2my-5A#4`UQG})33-pq#Pki*qb?|9VLJv^W^Ft-Dy6(JY0@}Nhc`$b ze(Z8~2_AJ$_VQd^Wa&!DYAN7QBG=V+R`6^xng=oiN3M4a?9STwZHUTxvmm5lkn}IK z7VGAyM_aWboagArb7%eilDByv1UQn|F+iHN0X8b-yfFxA93*|4N6tpjwkxK?38ar5 zf3*fGEC^2xf1D()``iKb%Be_33X8;IvXO6dVa`4q*>+`FcmP`xoWL}aJjqAAl-~Gs z+e(jo{M)akuV=P8TN6GL?>sINVMsYD(jM>JDiU!QP1hx1%B*x{=2wfe<>8!PNb6P< z5!WLpwf87DEX;qA<@7)Y)nevJ5mQZ?)}XueA!kBwm=2zJ;pNr*IR9pfeH77@qWkcU zY_+pUn@asU@RCwJkn3vB2lL?1y_9bPi?8MoT%&HV3O$LHytPi*Gby9Brhb24sOnVb z%LA$V*8x-sQUb|5(7renlaqE)neBOMw zMo(Hwx)fN()3MqapnTtZ;LXE3fren28b=>T?ACbQVlCi4;JTbQKcvx9l9K)h&kqiV z)Xyh2h?Ca|E%OaWZT4F>FN6`ri9C&y=qCX)3MR8ebkf$?*@jC5CWWTAFT+R>Z^3A` zU$;340fnDlqKWO^a)<^5WFj(k2YQl9%1fv_6Dp)|WXIQMWe3A}Tpg$8->LSjZz@||DHbRTk0I_)mb>JJ5e&<({c@M%s5U1MXv@`HcVPKYF}0UR z^K**yb88=eaaig%Ncmi9G~zec?u%hJ2A&Dygg#D!4ysGt!yFtqk?3&-&ADpRRVqDp z@_xl#Fmph?hSSJH<|)jdYV2ob^(TytPaU>=-Gc z9Q-1A`%=CdA$0jd@>-fD4$}Vj%VetS;d)QF3q%g-C}wmX)n*R7%z4Y=aAEkhIJ*3A zBun1dtW!3_2TqT4dCptbhmXUqWzqqcL=S~1X7nCqWC{Gv{v&C;Jl4utfArqdE1I}U zX8c0GOUi+oCp%NHvC*-63{oyOZth9JCbNrEy(!;LEIPV%0SBfl(~KePMn;qM%_-9Q z=lE;nrsJwU07XPqmzR4Qw_B5ne5Gc+vTJXY5x8fAxKj_+@IM$MLr1r2Ko57*d<^tP z2QR;5E;llNmN70hD@IG(<*BOX?GE0{k_u$9GN9pn`Guj@$N8;}jV-+NB;xhEX^bus z=bteA1Z2-8#t=qL<@b*U0gcRuj3N@}gBgyiW@a$bOPmjcGy1zYod*~;z?s#tjQ;)L z^ZpFqp->|e!&m`6@5}HVbPYpnwUj3w&1!sy2O{s;B_EAzv}4KeqVlW7bpxSea^9Wc z4)}Kf!0!zhO2xjy@8owk_&q}P(UN|CddN2*e>)@oVF>rV`^WCyJrw`-0*(9#;==P; zzAK-OJDw+lT4PI0*|V?p_#f-LAyZ62(4zt8&8_4;E|Q^zgABk|^Dp4HM!v>=ZS-qS ziyZdoz8mMPm3+X(&jYY$0_VS)#cD^F>09a^k?UlWIXNox*k8jf9crDbsWJJWi(J;f z0r1V#9+cPN{|aAQ{0di2QLDWs_w=2awQ6B0f2Me)n2y@6^)EeZ>QhNkh-06Uevit! z$YuK_E1ARGRzC0IkI-W9O!nF7E5%2s^^>D=k9`ND(-orU)fm3QP*6zKz4HnTUIJ@I z%6*R*HNL}C6FmF@J0RDxe{`SobL86pjRE}McHaX02eY5nx=}iCet0oz*{yxmtv!Ht zwCwm~{u=CW;51>Kd=;W?3P$`*z}L)AGVeaK*#-bqVokxxn=B!gWUr z+T$m)iGMQ;O1F~k@j6@64>Cdff#y<#C&NEkz5$yxGVlFazT5yxZHn2{n+s0>nRM^C zHbOJVQehlgD%2>{_zY+v9V763L}UmqP|v8yu@UH)!6GYB-YlEKb7sW(aI-IRUCyYq~JE&DQwZ@vMM&CC?m?wamCM|^% z)K(ieadER!W;?i3J0&Tu9W~u`PO_jhzs+JoSQ{3BcmQ~G`_I&ZI>6|aWvEoNAMx#q z9nZKPG+nLHX9zX!xU-S!>us|Zw;cx6e*mo&ejz#UC_qcvDkg03Fu?^Qu?Z&0kVdy5 z0JSx3ztP{|yBIf?5T8dW7~p)>+j$7J+li~;M|rNjw%K{DM+F^eNcVdmPx#DZ8PkJs zLqJ*lO8xP*Pq0?d7jb?bA5FYSej6?PJ1wx6n+VAiX<$O8Npx3Ts;no~y~lsgd}Ew> zXPi$Ca9^AchLH1ZbLFb0Wos8mvjBc2(y0#e<^?MsUk9w5u)7yJJL6d!X^c>lox|cK zclsjFLS(P5%DRjb`!sews_eX}tl!>}>8KhWAMkZjO>b<&p*nEYP>jrs2inp1V>%{T zBb}wbM8Bp=bfjTLyi_*X-pE;x-F;avf_s@~d=K_A&TOT#f9h4q>=URfU{_QVQ&nz= z@{`p^eb9BH5rAGzF_K*s5Tq4IbI5+_FdGn|{GJRlL+)p3_584pPDi%EkAO^aB&JJR&VTR!_$JexWlPr13dqFs+IFkCVB^&;>6Q1R6K@pTVUn^Rrwwv($F zc&8!IGNy$MziwP3g`1dy^?n^*G>wtTu}i9O}h$Q1Z(= z?BNAoC+|=SQ#w-~qg3I5vLJ0~FO^WV`q1oM>;L6fSl~$POPWZ20h&@8N17EHHkx!A z6PgJc*=xdb94GD_H9u;4l(Isex#dg?^Mx}P0zX5s?7?z5{&N=f)Apt(yu4aCYC$Z`O)$=r_yHZ<0eCB>soZ zm_tmQ!|*F*%pop$93JR@^%pV$76WmJONen8b4Y@Z!@K;!r^uwFs04?&s3?cHkO;XH z;xIn`oGIY)A$Acl4t}rz8NY+^@qhh>f~e5f#TW39hDAi@VN|V=a_ZTmRGmW#bLJ16 zC7ll*fKgCy!?PYL{fEsQhYJNBVG_}4|8Pj_-i0S>OiA#UuTQ->a$t&dbRVu3sKoJ) z!x097zW$(tLzM7|ha5BtJLy5xes`3QFD@;J8HI=LKy?o31RlZk@9#Q1pei?9l>Nn@ z(Uab{FII9`e(gMOm^AN`d|@p2ZC!Wkmx|kz%YwFNN^*=05L5iDl}jvJAwX1BEi&FN zdj%XWAMO@@dTrlm!6Tv|abaP&K(Ly% zsIZs_htQWl4o8mTUkwmQNJ8RIoG?iEPn;e z9P!7&2#HIA|JCr(k zKeMZuobUAUFB|U~KUu$TuYj1$Rny(|&22}mBg7%Wned_yF-sMLw^6?^Tl7 zN3R*?nI(YZ;?HNKx3a4w%}R_Zu1zO_<&Nkz4HsKlpF4cdLhb$XW33zb4@k0fD!75G zC3-C@lfa|*#}&tUP4$+rfW`B@^N?a+UCv4g*MoK6nT9ws;>$&^FwWdU_esMB)GObq z$M1pmTejGhooeHD7i_g!bUsYw%iP+G-t3X%E*Jn-f6=-nbO_-2gH}^WW$Ed56a4a? zT4r8JK$iUFZ)QiaCR;0-yS2dK@;lJr_Z8f)q}*dhaeM09FY#K)+eSsiaqG=b^+v8wt1fAFFaP3-d%%1~(xE{4 zm3E1$V^P37chB{nW8%h1G?b<(_e za=f4_Q`#+SCAZ2>oAWD2$%qcxbKZ_k_~TVhL<5Gsyh3r!4{B(M}3%GQ1B)2`Ds-aLxjkkpp25z4Q4eYTJsG(2r@cOk#I!F`AMS%LeT zF8hTW1g<%s>cn1Af`o|_fiXJ(zzbTv>-)evvDaK(OU{YrY2vJwZryg1B579Nsl8kM z=>az=W6I--DQ4zx=dqO+ANId%SsO(3Dr?omghvc@l>bbgIJnw3QN!!LrzY=lzBc(v z?Yo;U!b_#R&pqrvj(Thd{kZ&yX}rb1!~c-2{metoWKi?2<=0sp!b%sc#0|*1>o~*= z5b?e?Uh#bMYRG10lg2;rh*C>D&sUI;OaoFK0`Fz|&{I ztRC0It+k+maYcm>GqG7_Lg6w`nWwK1Ic60HbObvDEozYV&8&-3gBICW#k9ZLrhL>6 zDOyl4lFDM_E8&jr^57zIbOQ_m;aX&{Gr2EKq&Q%SB{3l#yZ+KDDlw7GF3%(yR2mt* z>W9+SX6#bC415wT%;Jf!W1JovV|oiAb(QSa)q5y?+^xShAd>kSG1uE+VzrrQM_k<+ z3JjPR+Bs|TA{yf4Bq>C{%hT3O4dpZIIv2%q?k8Etxv)$(#ZXMO$b`+3B9EJpe!i}W zDZG`2{__C-vG)a8i09B6o1V{P-30Dziz&5I%+8kJZ9sTG>9Tqby*HYfxpiZUS|t;^ z$GW&09m`DVQXwGTBgS}hLwCr_cyl|5!zp-n|_+p!N zfV8KkeAg}J;dsAS4_-_M`kS+?Os4|p?5b_ru6bf>bjJ?c%*LJfLe-VGBLD#(-r@FZ z*9J_|?gHaUYev*jEw=YE`dv0!lI~iL*5v7ZFcZ6qZ-+oKTnnjD+T}tVicL+?lqe*p z$@^c8x3UYBYi69Mx$qZ;MwF$t%`Y$sbc}~sPMP4y`n?&kz}$PEJ4zblxOx_)VeLtW zUxP)*=~poNj`NI8Byd)JjIs5qPWt^D8J!z-et^*IXc9;6j7@PB_T|?t@tYjMKl2RR zHw$>5-%Rhc_o<`EA3VSbbV!10%~!7rW{zy&NSRVAv3~NNMB!fLHc{{DU`fVOb=U99 zgQ`7mb_H<>D$Z5tvV!Vh1v-^!Ihr&3I|e1(`P`ApAvbPQ!a z>HvnETRBIT{Y<|E>muW~M7CYpG5cS)qW9=EN8j}J(UU1;X*@?GOYEyyZRw@kF@Iq{ zc^fX8$OmN{Jy7n4j|(ssCh&nZ?xt3yGs=m+PUt?YEL#$kW|T}|pXcM>CjI>|#h_s= zMo$~`9XUl_(Tq21+CEqaCMc>EM~F_Emjk|s%U|7$LRvMa5Hb8mzSXaZ7Zsig$gJFn z?A-NTMsK~B@R67-zW5WuItmVrmtEVbigYR3-~LnrSPy_hNA?xN{0XiV0Cvy zDGNG=Ukx1!-;|6re7YQiOFgWd0@S$}EaD@BmrIAN?v*PAJyBD>WhX=pwn)gCD=^T@ z>Xmzo9&6qI9xDC{mTSJJ@ZR`d1>J>*mS#q?u?6M$vir+798LU#79N{r&?|lMd<_aR zde|)@mgCdexOA7r)x?*=ZGt&!10(JL}8hlAeD& z^e1;a4(5oe_PQ=b%o?@pn@V(4eWXozvaa@bdDMX<&H`+(^S0;eg0S@Ouiza-xzjgm zYuL9MdgzJBKlXTM4ApC__mTthC%l}h+J1iStP>mSHbc)N;R)z;=L9N7{#b+C&1D%bF^?jm00~a+0hbT*C zcpS-xhDc$g(UAXK6Nt=B8y7oIdk6+jN2D|nP(f&S&%?Dh=I4h|LuF8Es{0@lp{s~s zg7j^FCRYBz-Z?7u?CrQ}H&HY!tfUsZulC6EUH=%q%7Ck26<%GPUQJ;=A~8!$Nml*u zUI^45FM+Q1))E9o>6AJ-xO}exn=j!&Q@% zz$$YTtNX}U%`7|GDRj7WUN?DAEU&+h+|6}>ukXD!%Ey&|-1;$?lkfPV_D)#c{ZZ;{ z7(BI3(JFjz%blr&RnrqhF^9ZaPSi^M|0-kuL>2zedWTWN2t5k68iJcGQ!=f^7r}p8 zw-6|x3v>YSD0K{kL15r;;zXLJEd~yO{&OHM5V}7P1QrQHoW@Y-Qy2z~I*nmZ&tah$ zVnn(u6&y+IOcw>9r`55iQ{bQ&n+a delta 3831 zcmaKrc{J4PAIFg;+mL;aCR@VnW-PaiCHs;!4Uuga`&z`8L6RX`vM&)S%eC(@)w>xW+TN$c}l1 zQrdV8zWAyqJSucN=s2;I-CsYz))l=p``Tk(6N=6gCLPG?T-1mw@j^F3c3 zj|#4Q5%xJhzv_ls=(neb-Tr|{p!Mjf#~$CYU2sWgJkSx?5K0279+De_@5`)28#i`K z3)c)sSGgSRYnSDZPXHRKyJzIi$~7n-j$=wI9QhE!lXGrl2#{YW980jh5%J=UJ>VcU?plon4U{!JCA^>Y77i^sJAMdgA@ahQdp&A@rfgCGQrFOMp-smBE|dvc)SZu$leK z`vKpL)Itg?kMOPI?fYd-3%v;;R9icoh)*8B@wUn;z#o7ZPRV~Xed_$eZd}TTNBl0g zmRtE(-7r1;)fegxqAkFdaEoPu2zW(^fx*x-GT{$U-?y8VpZAf))JGe9ybsI5w;7W9C6fLHUWj7z-dCP=xeiSjSCS$Wq*am|HIxe6!wdj^=B zyw=MLge_}=zyIL`$%b`x46lIwDklBmOL~IqXTo}CS{6Ir$bBuf-e@XFpP(p< zYABDokCWg;Vh7?HF!Mg zpP^j^xqp7k@rWSmJ=s~L(YSxqO(q{Rxk4ip;%yh4DO@o ze%j*{@CU6^7lWuaS!PwVEz%d*-<&TJjTI?_eI(^N58I5}562YW#W;=+_juH>zY9;t zd<}mExUnC!QqWg&vt70?Mkz$I^Vtr%XN(IiUig@LMYa=qslQ|{&+~p5#e}7y;S*b) z>uZ~7{Og$Vbi>?5GPQDsKio!D#3Z0>Dely9rj6Q!byECX zj+B$*Ym2alVPcd-6rQ`h(HXCA>Iy>jIwHRSOW|tYjaKcu_%)<3Q&!U|Eh7mEbu+yD zk7HsC>vU6D+c|u6or*PzWZ90jd==iVmdB%qYU_iqJg|4wd@5fiASoYG%o-4bHZfub z$!e6Brkp31rm0=l?E-Z)@SUw$62GPrw|PER2Tk%_a(Bt%p7W62h)L5Y=w6Aob)^!3 zcsAbLf*v8Mv=1rivW1^H#~IFl6L**|D03bp`i*fWylR^wGor8*x2)|m9qjm4`krDj zuKC`BV)mKia5o}?UPE1tF6urDwFtRrK5|j&Av`JW-u)iQtJNl1Rc{!0aU>}Y`QA9t z*O42ysPp4zTkGX4)&?TQxatXtHYS3==!|WccZ)ZWo1WY)G3WR)ZqdX^R(k9Dnmv>D z#_4rcrO8Oe9@(xWYTXw@G4Uh)lHjZX$!5@52{w@Ao7Ot=Wddgb6kL9R<=jZUq;>a{Nc43ajX&^oxxi6$ zZj6Tjg4L8T%=*1jPgI6wc1>nR+3n9^q9vKG`RlstgSy@)8j|!u+OIqe1!G)5T_5Rf znvhIIjv4p?GFzAHCc{e+`Zria+g!m==G&|&k~v|ALQcii43WR;PK5Xkk*N=4zG-w) zZT&D%MuWVOvxvz^TwGBs&<}5%oLe8&bdq!oa}-n^!s8&=lF5<`MNxXmfanBg86VJZ z5ZQBlHbWv~?Du%-tcHe*#aS83La*X=lnc}^4`}&37SlB7)UNS6ws`AVx*MA2Px@#E z>fv1yIF(yRsJif=T?Zj&Bp=a8GJQeNS4m|F28 zWX5QW_Ffjtd}}QYTvFr02a$aVwwFzAIe0Bj+qjf94OQvoRcg=eX#S4}7x}p~&M68pOlK(PA ztk(38#m||`aWNu_CKYv8YS~W9aq0b5E62s9O&dhuB8m?HOGswX6gf{Ffzdf-n`BNL zvsyfXYjDH?Z;0L1P>4Y?vullp8e+}WTbBz8Kj0Vb1zf8PwbtAjD>hy_tn<%$tz2_M zn;b)4PWLG{FKTkdlccD@{y$e)kc=<`~Su{ATm5s*i;O%&&FQ8Cffa{pb z`~5S*NK)=W>b|WVIzJ>iyi0%Y_QdWA)Xj=x!P?wIX)+%1&6!3=UuZFTKtvO{5WW)< zE2TM2WFsO-f_LZ{1`99J6|uQIXO6qdcSh7*lMCR=$)#sMjY>$eiZimDmV12oy?<+} zJ_{_v-2WKZzSqahL+K5lt?TBxcpvwiMdWk4ZN%&9XP$kvTh<#kM}2e2?(g9qcV90! zR?KKtJoHj}WT-9xkqe2#Ij~nb47BRRT;G>Vn9!?KNV+%lg~EWiutp*^>+c8A7RhEi zs4xQwKj$IziX;H}zXxMl4{f9bwRloN@WxmG3#_`*TG zdU!Q5T!E93nB>%yJ{umXJys>8ZNy<36xwe3DZ4_i)#h1!`mEj%z>Gz=B@b!eUTK-) z$_-5u7Qemz%JNBtulH)OzlxP`wp-Kf`s$<9%FJDf)jEv>LA#_EcRR*JZn&Pa_MHD_ z0HlbwFQ@k+?=b3aTPr7=2V}R*Mrj32;5z%jjhqdUnJe1XdU&;qoPs+7(~ix+QOVx1 z^kYw9y*ECG;s~;JoCKH9o7w4icPA}(6g)p}KbQIjo6SdGX>ex`@oVJ{g14P+6*>~) z-oQ%MB?lHJODUT&unH{REK4P9bPf!Z1CdS-{fJj-$VW0(Ig-k~VJj0u&cRs4Hx?4t zH(Qe5;c1OxJ1q6lk1@=J&x`Nwr1K3_P14w31XONSxY$PR3;(5me8B_Fb6E^z@r20S zX8FDK6tS9*0Ht)BnX@ve!9$ko-ipb9E&MByxtX|JH`?KkRUfF9wc~@&YUx-x0D~6G z;Vce|+kuL7=^NIUUe)`>t^avU4E;zvd=O=$7Th}PZ588H(e+AwVku2e_F!H~I*_R0 zHm&c&-Dcp!`|Z;jF^h5O@l8Erv!IMQEyG>Eg(gopVc)Q-bH~;fK3L74&$k4qQF^ss zzM~&6A7k?@`WBT|s%3gz`*};-KCm}QE=?Pn5ULke?MUA!>OS}0-%&belKd=)T0La1 z+bCE8qIp{1%@7#PN&w|{{(V|_zHdJDX)}oFaXP&{{Va&q<(7JcP-?Sp#86I%_Zpnndf`m%|f zLPManNo-;9XJJTjc_oD(`#+m4i=u(EmumoC9EC|uPC1vVm%*k4SF#vEj=^CTlqKx^ z;$@6IESB}+-LA+QG7n7n*>(QZQx;F+%We64?QMBf;7v_AO*AROXPbV&xKoQV5Muwz zfu|;=fX~5ADDyCrZMvIaHLzI>PQez!F5%x~f)>Q#jBqq_=TC3`tfrHR5dYU|P&oYW zwgJy1C@4alO=~ZY$a?3h4$G(26(o)nw|B#W&LWawX6$(1(}$`0`lsJG!+3(ZLPygu zQ`l_@*?3ji*r(80NmI)}JX!k-zoKt(amCjW!HaNVlVZVZrA-&~qbDB4saVMzfb zzU{r!exg0nn3JG#c_N0s}#xz+zy?lN$2G z7%+s=iFz;u0*e000RG7UhCsn#zkp$ICG?3o;4tI~9})uj)dz!P{x|PG3^*E!Qu==e z@FSHUj1!OHKRz4g|BXL=2-vSd|HuGx!iR=qPNb@YgrI({hfzY(B2&%sv{^7v1dF7k Jma#U=e*g`heh~lw diff --git a/fig/fig_sec_keylen.pdf b/fig/fig_sec_keylen.pdf index abd44b22b4f2da23617ac47b5f75d263dea9d9f9..f43dcc5ce8b53bfe4f6e825f7ea906dcf7ed23ac 100644 GIT binary patch delta 3247 zcmaKq2{hF09>-C{Fk>sCF~-OehS|-CkX@Exyjn1}Y}v`ugt2AN6g3KE$-b6-mri6& zl*mq~wAe#g;`ZM6zUMvHoO_>ho^$@^d!Enp`<~D9kKbU;++Z!Ivr=um!F8a?`K@CV z>qEnp`l0I5o}!P$>-8NT@#;VToyHGUzT6^VK0kX#dvHe=eR}iBcz%Sv;}0GhtVk<9 zNvWlIZ!Wpy+q|iGi4vJd_`&!OSc_d7H}8T@b}R=2YPEddg2g>Tow$)bA}Hpp-Di;z}veil6#%CGU3j z&{R2WQ$>X_xLC7Ieo7KfxWEJT)jEw|i-IlMHGxc?S~v$wiC1NTjf_BK#ku$CwcYsT z(`_!LX!l^GDrvbQLrg48?Qv?k^n~z-Sd@E>$Q(jdcR?MrOkEu=^nYQ|kjv2TPB`z; zQCBtvN>Fk-S6y|qxiJK59ik)WZkenO+!4zxdZ`>WJbFp5??JfTH(CCSll)rB@nf*< z4}QUx6F>E`xnJJaPBwZyO4Ba7sej}QqNQ_iQrI3<-W=QAU%*+hqbji}!hOMTqVqC` zxah3p*Cimb-ixYj6c#M`V(MhfK2@e`uj;Ufr8`QbyP?n<7-E;0P}HQ<#nVWGNvmf@ zcG`nhVN|-a!tv_%)b}3ilMl+R!VQiY&~Fxd#}^km+V#I-SE2!OH=Dk#opkj}^$6@3 z-Tu(uJ#ZB0hx3o$h?6rdt&Jf82tH3ty}k+xZQgOY9zsnIddo;0C360JY)T%M$pFhZ zdkO85Gw{Z5uAi8xDKQOeA&uKu+J>~-Dc`6n5-WSjPD6`6h!w2P=Wdo&ekJ%a8gSls;74HdWj_ z@iu~YEcFJp(#`#TBgh?S>RpM0-AiO_zV$Q_4?=f}-HE)2UE^dk?w}IeIToN-J{ny z$|!GQ;M&hM=I2@mIRbi*4P~8{3QyUG0rKGkB7p^$8Gj&d7*(H2B9zsjMks+?lnw_czKFNG zE%(efSG{KJPpRI6OK9Bc$DezJgaP=$L}BW*$i_!+`H-%C+n;yW=D?p;n^$n<_#WtnD-u* z%e0Fl_DeZBAgpHP)w?BSs@n7~o2&`ihU&I4eD#B7sZzj8fFwtLwbH<@K8iwP8kL7l zBbJ3?b)MH?3x%GUD)n(tajk;jR{4E=!gTiOVW5IYn*s5fl*m&Xd5-FLTVWjde4zzi zt__Z*F{vHjGtgN@;}7bu>c&?sV+=#c#Q_#EJ5$Z4ftQFrYbNWD!k(F#g!0tx;&UTt z4w3$l(I$zO*?{QIBn46~d?sUvs(GR^Zz{M>qG{IV9loxRsN|_%W&q4o69q(tDT2={ zc4}adtp>y6Ye5F^3PH;{ZrOO%MUj?~J#O7>%)4sIdyo!0tu7_`&@a<$J>$g#387*a z>T|bab1pSV4Rd>?!__F%YtZ_e_uK9+Mb0TVNKNXkCi;~|t9P#&xAuEeK|h{eGo38s zuWEP~+VW5Z)%HNag4SzQ)(>{=Uz@_^h z<((JnBoC|J4q!WX(z%MYO&=?-53Cpn?3FD)PHX_gcvLDDLXmAFoV|`*>p`;Ihlr}l zWLDP~qp>EU)mRHfq6d$8irnjo7uSJjD_xw2PM!5OL_J+Umu>bOO~|M9)zd@tNLt1I zY==J8>u=PsLahg={A+ivBiBow8!8h@zVk0=@z1umYUGt|Or*y8r3;1iYJ9Ib3x}j< z3srk{D>kS5dP=IujKzp8eA9L#?VZPw3$H4l?1IqgFvw*<`OQzI zv&+iN;)#|c=(F*UCUG6d(SvIZ zw7oozMp4H6iwsxVUgX12$9EgV9D|04CWc&ayI4*<;^Q+XTWtZyk{Z9A6&w5b1u4GL zhH160%aXO!M$?V(CI9O=KE*LZy03`ig^=xJ(PxeDzE?7B)o}D+Ai(9~c+s{)*vcnO zWM>#!y)Uxa?KW2jE zKg@l8QisgSGRn!^rDvu=CP1}bOGQ~G3zdSB*t3Ge7M_oxqog^TxFr*8;>_aVfM*e3tMLs>}FgCBttNAmIP;_&<60aT1GQgSC${D22=Z3+z8M;yJ*JVXq>{a1Cr_S4Jx%2@ItmV=5X2 zMf|y-UQoclKTre=0?C|Vu}m2bjc3lV1m+BnIFS7wg!}70#!ip~8xF^S1WQvf%p;W1 zm;)$^@OvG|&_=~0f;{btCW*UM(;qW*nSebCp6#|3D zA1s5!DiaQRMq)AO|MEipZ3T(NVVGbHp2-3Ni$^hCh(jQi4-`aV2n6OwLShb{L*bS2 zR3`m+X4NSC-@5*>g~Xxo2cHB*`2B|+DD#_TGKfZ?|2D(WplEVokpL+v9aCMvzW`u3 BJ>UQU delta 3247 zcmaizc|6qJ9>=X&harrbVkUc$*%y(0DZ4B~W)xW-J6Q_(RYWo&gL*KsC9QVN&|+!I z!^kvciG=d9FGaReUG8)5eeUJH?md5;*XQ+leYf*I=iFT4y|TnxN#zABL-ydMdzgS= zx-{7SzUP<7T71d{U2vaVWpY#Ur5VDP_CNY1JV%Gd4=g9l6!cJMB0c53tO2s7+%!4= zp0>yOmyXU=R!HSGy{@n~QY%JLNZ z^t!G>U$WJ5N_iW-8*38_Z-mLb3ty1p)ZR7TKZN&bO>?Ma zjc7x7z{9g*iy@2mm@!TJc_xwfhhh4=tNGpq$te-E|9AVB>15n0(4E(7N4V!HH2h?3$&={EGVE6^D*5qWL0y@`(ivvDJ+{U_nE&t_R1h~sXDc%CQrKc_R?Tq)&TUa zq03QLlZHLknAp3&}`P|`V31saoi#$+>NqMd=l!a947E)?dqKn zdD#|kkLp$3XH5D~lY7=t_Sz`!nT@u=?CIzCy#MG}vsMO@C^|mRdhwKVxSW>3+?(^G zQP(*x9*g%&=MSesYzIuL4kt<2odN*KgZ%z=x*S^H>7pP?oK0f6ewQo>cng zQNXvPB-kt9{ukkH*60&a51d{0xqUJrsgmlZS1S$mPKL_;l#TOC1i48S_g*yinG%MS zt0jKQyllDmWI{|!OApI{InZFJ2WL{byn~h{GnKL$)a*>*F!TNm5EdAWYn%j`j$UOI9>9%pciF;xom@dIAZP}o}{RD>bb4-bA0J6jly{%N9 zhHFK&`WTTChb!6fac^e~q@)UzGtO39i~PuvdLBMfI!9~9z;^KA)GXOvnk)30gcm@Z zx@(XnwFJ&nWqi=tQ@l>QStHO8!3=ByyYg1u3k{gs_taaax?R~9T3ZeeHlzp0G0511 zEFHCmSZjL;QN~c!kUw86fd5jdT9D~PzpT2%$i7ml3=cZb?p}Enw>Drj=M?h0sqV;+ zTW%=ggp}-|nGCcWK_l(8ZQ&X6K0p@Y7-~c1duD9Iakj9RP3mh@uAcxa7fy!8zCVHp zWAM;pgchi5l953}WGwqp^%+ua)9kgtPm?r<=ad5MfowfiAhY#s;m(V3RcgO(5J;Yd zImRLW@uc>mteMIkhi_+_j(seb?1ZEx36|QY#(tot*>E2JcELl)z>u3l0LnH5d?|mJ ztHT3^h^Gp;3K^L2TBo_Y3h{`Vv?wd-3O4<)S&4e=QFOP+*XQ2#k-qju93kmU{pzg|tmA(Ovdz`YleUd&O_*0K9MK)C-zlPR)S=Pq z+|aRF7pp{QQ~l)fIA*qeM0Q2+ft_n?9P5~24!LpNq6^OL9~b#R7Tu4mpvM=hQ6B%K zs0}TBs}CpCFIe#2a2j*`=}&n&5S_1T`c=`Q;ZSYB%L~VJ{M2s))s~M_ByY*th-k!I zkJ+nOXeOBaQi*R~N%(BVxuajyY=wJ1%bt=}j9#kp*2=h>HOweE_g)g}p88GKZ|0Tu z;DfQ|I<0lD*pcrs^DU5w6^2HzV+Xg9LDtI%bLN%>2IChZ=z7A{9(QXlu_4C;X>y5z zZ{%N-rjfJwd@BnZAV3-3HKE1kAhNDH-sK-$_NzuZ)y{%zOs^OO^661?|> zhQiPSTJ@Eu9W{%!6Rz`FI;1DM?c!XVLD`rJj82_wJLkg8?5$Q(t9 z*|i_0o#wl)y7au7U7s-opjB@o6(a1+8(*EX6ye)1H=5{kXNOkKR1r`AzR>S5WpA{Q|`pmR<9$zqXR>09#NIZkCPaHiyP9 zOMo#mPgXBamAKe-Nur()gwX}YuU)Es@i`$3#!f=Dr=G9K=sc?EL71M|_)agVy*S z(Rh9+ZNc|uuYx4Nd&509K-4?<)ai(D?~_5BD#X)Y6p4Z%V4DJkLLh29Mc00Vqp&b7 z{K1X=uZ=9KZRH*88{r2-qR}wg`A9erl!25u4-+?CDYz&W=U^c^IW>WGr>3lUIPp1M z5bWpvS`7*nsyaS-7<^79S~~W17O~gpGh8E8S0lL`IjCaq9O>6=w!C9n+h6`csk__F zVJ&Fw)b6jBfQ&lk?VNy;IXu;f8bOu&ydu1q7OZYH_TrS@jX)`W#YigMuSiTlVanQ` zwl~ro_CLo(<2I+&geV=m2n)6Mn2wza4I_r}@?7N?Tc-I(bqiw9I3$8*5^W72kub#Of(64w|1MBO zG!D1T!=Mn`JRAbO-9urvdl>8%Z=(_JPmcyZ1Ls2{Y3MVm0P?@IAQHEvqKHHsev5}j zAkkYr1Qxq(6a*HDA#BM-V9~fgdjNkiKw$8=t>-|XaM-P^5Li5RD=P$sfY~}UawBf* zfJiKw_#a$=4Jt@14zVp6gWpDBqcLH7K_X$}i)^lcT_zGk#BIMMsVthr({9wegBJ9`x3Fm~8~n2sHj5RB28zh9YQ$sEUfIt(oZG01D4R AWB>pF diff --git a/fig/fig_sec_kpa.pdf b/fig/fig_sec_kpa.pdf index 552c3a6139117f4bf0c6168c28ff37e2414ea8d4..0fd0e10cea0bd5ef553ab059061ab5692688bff4 100644 GIT binary patch delta 28790 zcmb@NMO2+lkcM%;cp$i22=4Cg65QS8;`-r);2zv9xVyV+kc$Th5ZoQ+KWEmnn_g6( z+SQ_;>bKuhJ(>zLo(xkL0}bfAk+gzlZr)LZ^*Db2fa_l`+N92vgD9KZmty1!T3D<# zGp;wEj-2&gAfCr=l+2Kh<981ct{s|)VZsGtK(!0Myk9?Pkr+*di49v=^i5p$rqhGC2ZpfC`w6WU_yKV1z`w0M=W1nBjp6$E0U8nIL{e$vu4B@i$+TOCSg(JtK3?}l zY87-I?}dJsBst|bD>*00%?_(}80HURUj@Mf5rTF9rk)3V9u$m5@avg5*XwKMdsJp* za8RRhhx8#{DjO82M4)MotXF>!&f?q8RT@PTrQ!uz)TCbUcyP#{ zg_c&Ldmgz!w_shdt0d}Sh=iT3e=Wc&Ij`2#toLWz&lNY7pR*5m$ia>-!zrrzNJZ3C zv@=P8GfCoPf_x~aITpAsLXYQ;fg!2X3nPB7$|_s2Dr0bs?)zJK?AfwoC*{BSLSix#AxrpPR3>PQID^Dw?a3!m13li2! zwt5+Y9Ya>U_7k@=!i%+9hlD6E9$EjEAq<}oqC!bteSN(B8X>padnl< zXU|3*)*fFP%^n;Ow&Pk(#}xG-b@W3`s}4Vk zgh3$vu1^x=+$aXmsVM0}t{N@8tTr1ILcQ}N1lw4hJV^rPvk1t75?3XL?uViCP>U{7 zCL+Vq?ggv9ytIwO4h@B^7B>1wzSP+Msvn?v13_BTa94}-_+f-$VXxZSm{4Fh@CAXL z5XpvV|GRHWj8vOB-qLEwwKj3N*jFv<3uyAd5+hO!B_fI!*Wn11;(q3J$9??O-jBvJ zP(!n(wksv4+z-95(L*=~Lzq7pt(3fE*VoR}Ppte>SBBt;v}-rtrrTK?5wUF=UKim6 zUMY=mIGQ|St+4Ejb>Nkgr}!~TN&&26rkUh~EnqdUDHd(ORejnphDk@01S=O`dg=#? z8IvGhY(vwoj$>(QK;twmh|LUtF%Wm)#o;O;Oc&+0DT&f<3mc=`>CoN9rX=HIme`6> zKzbpk)!W4url|DR+f7P{wQe1tq2iLd4GdQxpByOxF&89hu2mjoM*@E8<&l=Q)_VHAF>Xs| zaxwlSiyUXRS_KMJ*@1I5v2B+UWe) z7b`rg;)!h5IBbvrD}ds-t!V+PVAC`oWY@@|kL!va%oN# zlcf){|4rl_8Jm;6IT5XUeVHaDrT~Ef`V(yHgj#!k3aZUg(&EWA@*lWGEpjQLfeo}X zeUQ4S2XcWu_0xAj70cC>Xe5=HwB)Pk1lCK#l66g%q_9(SLCn8l^DbL<*ddb?oBB{#JRERIPQpvj1oi{+rF>96Nox2fq0cf2 zo=kLv0uctD)d%0?_w7(O+lN;J8llT}&Qu|1&UrQkYA`Y@28OV#-5U@DCjzHVQJavn zzu?*nl%EMXgR<|bq53>zkOtyOniM!}3G;`LvDpIdJfPD7({0J5{F^E{?r1xzV?d@t zdrF2fI147-@A~XT9J3{G@kr@JiRzN%>c_$W7e==nWKDt;y{LpdSGnZRBk4Cf9%|@> z6HWQPel>K3D^3kK5XqMn>gFR!$-#An%I_Cq>b5@_bc+-1^0VZW8z$-PD51N$BNe~N z@+hNYGy;!ekr^&(<@`8_)2!WahC1KL`;j@;1*OD@xZ02KAjOxz#r4ygr&yT+>>E*i zNKVyO{t3kivQ+suOZWy!-St%!Cc=XE zvvn3?*@Q9)PSs0k*PLcFZ%@Ts`Y5uC(vqP3Vu4!)LXu}u6;h#Qm&Go5xkm<=1%*Fd zw_*d5Y5J)@RSz}Is)^fF6`Qd)1|17`z}mmiI#M{OHzu#MH3HP(B_==ZQGpuGy7K zp>>F{d?IGIjkfMwkU99RIZ}hwdhYpC9}53ue2;NQZ|svx>b|o}sjhT*Ec^g-UwuNY ze8Yy`^uCm=TyB6+It$_(N%9=odmtUaLj=q^WBIouwXIi}VnL_S=9N>LP-tVRCIP+u zySfz#ER@YiQ0;PSzP@rj;bqYe@4Lrd*Y3}Rxm)~^>aDzydLPEI!)Hp_#Kqv3aD(;$ zxp!&AueywUOVR409h9C^2VC53ty}r>ybegH;!C9QC6I`m_^C<_Dje zhit%9k?eZ$I4w^XxG8Qco^JDpEm76QHER>1v=J6t_MR741~%Wf6i3s1kQPi9w51#P z=j?u;akL%$JO7k^aBo^8&SUHiu1DofN*0yzOCgp4B|xE_Xq@CW;HNu!!y>l5xN%bC zf58&UQ~6rmCf`xDg?aLh5uFF6lAIWhgUU|MO73iC zhr+?m-l&O=2*T##X5%JjQM7cjcDEsC=j7(%Nfr*H1WvoX{69&p^9TocT0b;V)1@XQ zh$6uyWxFL|+VOYGB1&P)%7#NBGv%)ykr&FU;c7|_i>pd%N=nvI;r&?sq^c&VsVT|( zYBfthzO^-bvoU*db|l)g3C2m|GrM?;;ki+5qS9-jiQRhmWj})da&D6cCps<;RoIiKBk0y(&w2;rVxDtKCQ#vRW;>;S ztk`n!;4-kE3F(NaC2d3M+dzd{`e665JKnc#T)lwG7NI)y7pn8N3^5V!gRh&y+T1Mnk$tHT$PGJ^@qWR3G6NKdE$9Fv>6NEsUeDA`5 zU4gcFw|M{JDhj0?q&Y{D@H!AEA$I$yt5GTDzP7aR1=G;bfCpJ}@-F#!p+wYJ=NrEV z_S{msY7c5$A#|9Qp3pohFZL=;^~cN7U*N;wLgAaXo%4GZB=T3+F2MD-Y&p zcW^{A`nQ=3$UMr(KdFrL+!7!89k-jjiR2&hF@9JF)SA8K9RU@Vm(Lh}>me&Z+NDMb%SPuE8Q7FNNAm7&4xsH{i^RBT@bHO~J~^x=s%hwicq^dV*Bm=sSj z%Z<`wQrZ$Q-9<<#=>!paB@hBPF;5&wi0Kb+7InCDeLeA@)0fr%-NK@VJq}EWFUN98 zpl1mTF;UsC5in98a`}V~x}9fiPK4WPyD+Bfb1^_mwMRcp2+E-~4b`;JPJ=tc0o{i_ z(HuEkm=Iq$d0`!zv~-*>1)*>n6$JT?#4i2H-<@jPR$`k}GIc;!FP!f^$LyGAFBI6B zYnG+oD=E}asZRtI(=D1)K1%(96y-g?hs5ikwy@~AidzAD(bq=WO$b`le-N38U)XECtYH*yHa!l9OV*lT4dirwzV3-uquA366Q zl<;T&{C*vv?I5t&lctF*s2QRAluS$}J*fITEm`U|paC9I^bg8_d{P*L#J;zXB5XlQ_1y(Ifk zneTaI$L%K^;vS_SbX*FDqzlJ6P2LP_YO(C!AwYBnV~T|rG0aNApUb$8%rG)ZmU82( z>(`h!@auGbRUf~gAKE}nM;@Bg|q}*SC$ZuDuijN+KXQu!h z27SH8&I(1ENUuKZWSwFHCkC!+gl;}JTu2C*9$V#+9`=xZPq(T{9_0=a1GVVZ3osiJ z0-Q-hb84U_U0A1Tu7u?)<2P-V-hT-jUUOrs5j?2ZzsupJp03vt5*zHA_syTW$a`Ut zs!|Mm+6Sw0)FVYRaFVu`6UW}gP)KtQG63NNfSq|qI@_ViMq@1%3gnuGcdUIN_BY;xhA9|tA z5kO$1(k2iy+-i3t-&-{W4a?s6oa#l$ny>LU=zVz#&wyV#O(BYHexa^npR%+k# z@=sP8=Z-}*kP!PRTQI!bu(ZV6>WrpswsQbM9f;-k^Tq>v~P)l|&}f91=h@ zG?&OS9%V5p1~M^#Y>ua{*=n|sqMDih$fX?nyf%t-+ukIwifDoOJXA8;ZsTiT%Qyqt zqqqW)D)A-M<%9$8mNgDf7?}dPB_TD?NfTE2fM+%V0x`F0q7<%WRyK&Z|7FxsjH40|@3A<$Ti*bH$*B9u)85ce)|cogBPg;-xRdM4d^oy7*xZYRX^5VH*Mgo} zaH8~Qm$kaVIo0nsr~Nfa!-h0DNq_h7J4jD`CyG{2n;sQu^754DDTo_|wBnnGA+8A} z0Yp;;EBB6dx;&$E_B4?aFvRGId}F((var&F%5^-{XyHXIl(2vYwvZZ2|7Z}~T#0dR zdo!FXGmGzf{N;T#)vQ64L~AcX)=PX&@S*E%xbtfjc1!N}StHDE?s`{}00Omnr%F^owAf^=vSY zk?$KT|6*(W$EnxoeoF>?Z6xZh29w^ak>2r#jvbP{=j0M_t_Z!^s81vLN4?buGN1;j zDU?#P6E7wZ$5Dbn*L~(Ok8+j%g)77-K;xI*dbYc$e!XMa(VdI7Q9h$D>h(FwIW^&Y za_p2|N~Hqrb>LaxT*ui^F8XlFsKMesd-!*j*ApP}5c$z+7+)K>voT+ENE&3%?XcOg z8(gh_bsG-YFMl;?vYO7qdRYNnPFE369%P0bblcAQf*ny?b$a@7kA+fY6-wly6rteP zqL{p6&pnqVV^HC_o?|JL`%NvP;ZPjzKbys)V#v(}Gk&dUHej7~jc?8|!0O+0m;Vx^ zL3(&xwY2Qoe~_?%Q{EJ*I-%z8YhVJ?A2r;6Q}+h6C}D`4i0p5-`QAzQ0wXnsN0qfI zRmPq6c^?8Fi4z`KWSyR4rXp^+&D!v9d#Vh3EN(1|t}q@eocjJ}QL z_-O#GCDNc6ahDh#S%;k;8XlF|4fgmxzW2lZm;0w{??_GdEmCQ~`b*%ARPW7j^yKz~ zGprayC#9GPyJdRDE3GXX9G``NO@m%Wr8rT&$Z)W7hJJG4`R_9Xeza|*cyGWk$%)(n z0o}DB0V!=~xj0Zs)KzV!aa8C(b{gFeW|$0jsGTTkIrPboOC6>P zOj;R*@Ps$=mBBkWq4|sg{D0jWRJUp~YUg0Xmq?bCo4EC|9331_qvBd-W+(^KOk10Zmr|`-bZsVEK0zAK+T$FwJ!L&@JOLfg zTTHfv&$j4|phgUEjC-8>x6hxfDyo-+``Ko`;i}{6;c`#@w4Y)>%v^L_JX<7b%x*OB zQU6UJ*STlNs(Lhc5*Nx`tKUF;w-N3XfSK!a`^TUOX#CiXHuTch8< zI0oMI-Oq!$?0Mk4hU&FF$$B4kOA2EwSitr?m9K#~`JmMhOhuFPn{Usl#Y%!U=2YK<0!sz<*9AIr`&4C zv|2rn&gSjh1ju99(uf=@n}D|6Qy6cVDIt?y;oo}YMb2j;D+gj^Aks|?IVa__@QNX} z5JNF#eYs(k=?K>fC9%^!lwML69j6Km`qIq85@Ni<+1GC#vMy`PS=1lLj6^d|N@}0L zjeP6+S<~Mg^B{q$FXLy{f2fXfBVJm0-+O%$SztKA5L+W zA~TucSi5f(+R=7JkgA4n%~f&Lag|QrutfByxUI4p9UD&@^=IO8NO(GbS3ORF&WIpX z?VId|SWG6WTxFt@P1LfB*t;m7nfaeG2Z177*h*?Hv&W?ljqLbD7=9z53`lbsH zB=#Yx+nr_oWQ(YW$INU0ynJ)Mg$=x3V$9Z10A1fS>C;+|=3p=vwR3fxhJh8Q5oo{( zm>QlnkPy8Qbvl+qp0|#RFgLlJ7no-1rDoATPW5?#oyy}ouGS57FQeD|h8C6G84!l^ zg^<0`cpH_RT%JMh9UH-McrY(3Yo`*gYX{qRJzM+sq|Sd5WkJ417WzNLlQxyJk&?xH z8*S!mQV$>sJhhc2dCDXhvbl>%f_zdWLjrq;BRoSmyrp-R3u+xK)NMh>uDsoesA659 zcP;`TeroIGusxuWY}^|~dDV4gVO_hbE#TNNH8o3qWMJy%&~#)KJ4N$pW&ION@7;lQ zUf^44p>LZ(C2NHWf<>!nW+$nQ{V|vW%-6(g%eDmk2{1@#QmmEYlYP()M!`TLr5j}Nf7y9! zJa=qoe;U%kv zQX!TkaM}k#Rl<08e8BYeY@@Z`F`Q-^R@u!hBUJguO)4L$kd!I^fC}+J(e3kPd}_oE zLO?T;V99560v&E#+Nb#Jjz>ueiNTxM{pr~fwE#p#-TLx>0~)ER-Y&np%35Wl;Vp*q zq~hdiTH(e`#9Md>cumS1b-yaZ+)V??S`l^+Zf<;0#soB8$nCXH9q7J@Ta6i zKFQWGR(`6_Ag1QxbU*g}t^>g9*&?a2kGoTjEVaMC>!=BjD8TgcI&SCdSSQ)tJ%8Ut z2T^4iIVbpX)38rPsdd*g!-@XzIF8Q@X&>RDTb*~H+h#+R&XK#TgVX%I}%Ao4f!d~UG$y9*Npi)2e$0Sr)wdx0&&t)*_k zXe-jZ6HV+gy52rRXpW|jUq(Hdl8y{qLNhh_eMLKb^~$kE1|@D)vFvoNG{0{$k)EObkSRt3TsSp{>$Mo|k(jCs11DuTbFh6jQ5Ki6Wm=jwWl& zm0jtR*p>PKjnt$KwH_t8-mzHO z7}kvVlgDdjFzQb3L~m3of*@tZYe->l&;#?+myV3;By%o?!zvlc)^bTNuuXi+_?a0F zPSSdDsjlCun*lKK{x1X=nPHY4Vv(WyiOJnRY17v|HyNT#Zw~bW#QtALsmX2DMD1WI~L(KK)-f z0-Q@x8Wmc4woNfohDu z?W(3^Qmaa*<+g?dETcoayV2gARz%T?^zU2!%XF>C+v#L$Zgo;k#7Fhb;hS?D)77Zv zH-;?Wt)N&0dn0F4eo=w}F3uM}e^;SI-lLi$EP@}(8vH%YhIU<}DCC5BFQGd)VR{cx z%CtMQ4_+KORaV{!Q{Ep^KKVIzhUO*BOQliRD8@Y{y~dkmvFPvR>Fp`$S$s!_F!qla z)f|h+?VD;LOo-XrrkJYgj-~aZ@dNaGT@pHQ)af!@5dFerJHBeLZ7L{t{h!g^Hxn^w zW~5=+dMkcbV*Y5$H%jfoDL{vr?yhYr=e1|2a}BjBnobuXva^NBbZ}^=v(UfU)hVIi zj!&D9j;?xnF_?r}R%Kqi{lWFMoj7#}p)e^iiV4RYXAfJSW+Wc3D0cp@&H7PVk+}>o z8tcTx9vC?JRDZMgw>6Wj_t(L%)o-qqdeuL+m%tjQrEN;p+`~MxP9m*uX?0BJOuPD& zEs{=AzI>;a50kqrGF`+^;FQfD)G3E9G)YLj!skE~_19@Wp>tF-9(j|9rN43|m?!+X)td(U>p9xyuw!Ey!L@@=gzix|=)wJ}XTp2@O?N zcgf>;GM%zvld&D|J~brLJH12O+`e70e+L@ZM^Fdz zt3WL1#oFML=hgPDm;p7{K#U(sF{?dFFZm!E^uXB2XTv}Xp;JuR$}No-FXJ&BBG+YIqGxt!h- z(WI&b!tzBBOQo5(;#QzLl~#DEF#n^KFB@?inbgD(iP*@Hj}0kT*YF+)pcGVh=Q53Q zVi_6qp^QI}c=Q&|aZ_5n{fsTK*`eQra3(7NQFf+-tO*2bTC>b8E-wnh#5AP`gJ0a) zb7o99nuAVE?P;aB&Knf4=*a~y^0-iQH_+Ax?@xBG3Ep+VZ@-vZr1Lbt8IHATF{4AZ zD9rGoolo~H>yQ!ReOU%hC>8NGK@{63%MQrWHbN`B1{nFJS99m41*OyO9jdZkS<|Ov zU&xmYxM{m35TQ@dn7(oj*>Zp=*38~CGD9JoNsRp(LIl@b!iz6-#x-qW|DyIa)Y^v2 z6c$1TT(C$op^~N6Ras7H8^mu+$>s&z!`g(K;IzK~nB#A!zAFHtrFdb9?Z#+92*2BA zirwfH@$d-e3JZ8ONm^uVl&32qzq3*;pkaVO_OOrv>h9R@JP^5+IuDzyx|w{`(_r5n z(qhE3e&5R(J$xYrcQ%1F{&08nX%t2{_&QO>xoVEVEh`p%7Hbym+61G5aMP6_F&9k2 zFvLVLcTA!oL|Y*Aw%@FrO`ShcVgMmLJ{e03>q|dP@prs>N~7XW$9s}dY!vPWI%<$PU=3pvkm_&o%v+VYu#oQwiG^tq+i8?-8pDIakpY><8r`+ zg@htTKO~cXGbMES_xQcr{_XJXKf$%l0~>fZWc!)YYk(BEEucZ={W}m9IhDIaIoo7t+S=dASYl z;^q&E4Nvs%cqC3|X|i3)5g?sPuc)8&t&67V(3QBD9AQTkSku{v4}l#I*SoduKJTz% zPlu%;%OXgCuH68Cj2+$_&a{PA;Gc9jq)wut)q|0S2e|G7Ey8}8HJJ{&AmpwMqw`$L zyn|fCwADelrNlT7BDXnu!fCTYQ_deFYSJkLj&1^l|E*0nM=@+g>G4&5F(-S4rdHP` z*A`bADHU5BJa4=E^6i-U3fy}5z z!@PGO-L6ZD^p$pK3eIhZm=kf9Q4kq`ukceI2?dwnbY8RmJllU|y@hY;sp{nJ__1pOD| zj!!@!J3dp05rOg4rS-&PVJ8sZRU6h>%xHcrP0*^}QBN?mR_M{@tuik`5_i}y4_ z^x3y_uttuAB1_N9Fce8W!rP01@U8jp7#2viO&=1N-86}55%7wx&09@A5P9spzD zLj(G|{ZY1kPF(9vr#tG9PC9eFCwrO#;$ow@KymYVLPA=0($9ol1t$b=ok&%*A{+@0 z_e_V&r5NclftgUlcw?c%@i_Z!K?pT6gKA~G98xTXEm6JTG8+vSiK&tE5OwX%LSI44 zC!6tWmz9;THz)OGsH@LpqXOrQ)_}-|x62bNl5^(~M(*qBYMOvZD-wv5)0AF3mawk+ zgQ^lS5Q|$F!QKe;@9c{w~| z*+-j4#)jRCns8h+9!%HiZKfz`=Re1CO}yc^!M})+jZdId?W%%1?qm41aoCDu3MDU<4qfJGOf_ z?2bv?m==E6xM+#g*WC+dJtZ<1CFY8LFP0CIx#44}2)cwU)WtXDlz6 zE4}BT-m65tv)~Z`o>zm?bea9;%1ab=O&6-+m1&aCjkX`$;Fe|)x&h7G%blgb{DJ2Yl*8N#U)e|{{%+9dsGK# zuO*!+hWmEg=#%k;0}&CDU%eEO$9g?dcCL!wOtYi!AHuG_HwWJujjmDSV@I)&g&d87UPnY{^$Uhqw z!V6~n-tg}O0FLbBl`0sxN=lbfGSxNyACiv;nhyBeg2B-AGhV!6wBP9#0;WVMt&cO43CLg^&a~89=I}qBG z!!$$tfbD6)X!kkND&$w@I-IIzAn-2d^QHD$OJHD1==}198MfiF7j*u=W#G~`{g-}k zu8+=d*P_E>wVa9P!(TI^ypJUN!GtGXj{Tad&=aD3<*@bnOrJ55ERLZo*!?UWvrn;5 z!IpXas*JT2`M9{DQRKS9XCT_~cM?k`M9oQJR0Ly!O76KYsg@P5RvlgGz*sKK{-jZ~1%xes;6ogXB&xAXbiPxMFPRAX?ncv7h3b<+5^`5@+F z)*xhuK6GO6fdM&OSP1LRe?ud&39oT5|9NJdu+w6wbLtD2h6URp+UjI_O=P>%-GU@rnTmQiRpTc-ZepMBaMNV0xzosMfN$G0Hof?RWRGZPdlD< za2trEutXFv(fy-4S}ypH@UJLo!M{x?yuZm$&F%!&5xgSI$Vd5L3LQ{0q0rFGstg!wVRw2F&u8sX56ZBPRQYg3n*d1CI4qkZWP<-+TIQ22| zNWwOxSJg-u!a2Bf@*r-TNOYtEoDLHtv~bfo(4Z+?Oqd!g;Yg6%j>;+;cO;XE!e`Vy z6UNUNI41V12($w&tjH~)XZ=1daI}NybySMM6|5lNeEeq?+DjUr!y`DF$L+unT4v0(yi*pYaY1FS>GH zfy-xNbeX>c(HXHtA*MS#t3(7gnZCA+zr;A_<#yPz8zmkOwpzsHzT-Xd? z(g!RrJ==)4ptbu1b`4!5O*b9sQf=Wg~a#C z?3%l9_!A35=Y^^CGu1&mg{ur&?{GhU-9XO^71+4}F5w?3H;|1(I(H^rc>LkdgKG!6 zUC8`FJ?Ps(&I7GG>z5>LWId=DeGfY?m#~i%f=C$sgO^CJNTlIpgDN{^mmH6LuP}kg zy&=Yf=9j#J(7nOi0~b4Tk3z4|xgjD0iaPL6lCC{V4D{O8kFmQ9p;tg#S z7U&I(KeyY2VM@cP4PnX6 zen`2NfBGSVT+U?|imj%f5(X)_rzh|bB~e3>m$DrT?HY?*P(zrI%u&Vr7t@hnQ%>|R z&Nts7B^0biIw1pJj(I29t?ImlcqjFy3UC5YAj!}*nIgVi=lmC- ziLhGCeqQLvs0n>D@?7R*9^n?s7gH#VyD)N|_7=$(S15wJXmlRuNbVLF5<)nqb<63C z;1Aa$zCPDzBjAgECOTV$KNoF7=ZkzM&JwE9SGL1(NyCfMBicF7XoKPV=}hWn&i=^b z7Qq*%JA6y}BLD5k&>gBfa!ZCRA7dU6b4MbPmYI_|qJRDz5F#vz|f245x>6ws3 zVssw)7W9l45UE^vF^_SC`;3(%EmFX7WPOYJ{3%DOw_tmo?1=aoCr1V-Ks}iex z@*QjBr^ye3zdD2bc&mN1Ev5pVCUl;=n8ZH@>xd%vkcgv-TsY(Ur(N7OU|NTOdS3L_ zfh%6<))7Y+N~h>#7l92@x;^wZD&_tPUXWiM{)-F$OkYMD&dflLEB?kOufa`MjO^KidC;Wn1@$d^56Z*tPG+WychOhH_X!NDseLG1W}qWPZ-q783l*VdaqH`w}*ZX4k$-1O^RD1or6+0n`JA~c(8Vl=Q8V&>6JSW@nZDi5A1)0 z3BN-D-!cA3JhBS^hnmdQ=p)W6!+)^F_4XP6sl8lz{45-&vXg8o^A(ybIZlQU2uo1K zmfoPwmQ0YvmMWA(vz5+F#w(_YqH!($6h((z%w;QqEvKI(2}!)C&TuCukwcNAu^p1= z8j@L%Ll~#dk;OY!>`167COTI3O>jt(0Lzh%)4>-f+){VTIxj@t(!9w6>_KSMp<`SY ztOVi_Nv0OO1Y*)jY8IUBX$CUDNW#guj=JQJabEV^lmvD5;FLtLy4V-FPZhK{Un*!kEC@4{tr9XU@G9sU$BDtP?TJ$~Jc(K3O#513q70e8$?z5wx{`RwG!_iH z(oS@f<0KaF?a3QbT1lPbUm7y2DD20D_Kh0iHe}A}PR0?gp?neqCApJ;$Z^_hB%c&P zY3}6Fah!d*Yuq()!ZEFDPM-(|s@bHoeZGcJK@}r%mZY40nuh2uMbBjIG1BWVYYO*? zD`O}7ple#6=q{x#ikI=ueJG#!E)`*NvZT;`Og_c9g!nPFYqqB_e|cf5ykwTK^nJ!_ zE9FOE%}-perI`B+iQz6|vQZ#Z z*t20IRKc;aheXgWv~WhX6rI_!pNR@A;AYA%mPh(l#Fs9jWy%Qv^Istuo&|=sJdm9G z{58(VzYBtyDyTLTXL5e?TTK{e3NQ2T?ocGMi1YSGCj4ROC4)yU{2_70MMpNiOxM5KYaq{QPrKBH|) z=asAaIj#+NCebe5hfihsu?N-G%_g#u*E_z9Yg{_ZV0*zyU-aLjQ_E?cMl|w$1 zHMN8dhp(cV^wXWXtJy=5K3I z+zBAFmAZZhB%+Ck`dtS&qH*c^`BObl5~9HxYja%yi_vOt)mv*oehp4*WI`9d(&AfH zrjkXn4k&A?w63Bm?RUMc1AkV(RfBF-?zENLD(F<2JAHG=$*Q$Zf6dW>G;0>GF5Cf2 ze=4o6#DSnQhsoNj?$fEVC%*ppxmD$=T}wo@;Oiqu-Aj&4oE0oC3_e{J!Upe0slvZe8G75!e&FSvWmvmt$z`JR1!+Q`&z zwbFrQebmUjwvlHw>y+u9+b{CW`l12$ROnv#B`9DFy+PuXRbW8aOlEEL6z87dB_?2| z$Hcgyc6H_Sv%rjUo%3qzseorvz-*vN*=js+%J~wNV=B^Uyjpwu^(FRg=H29QHSbjL zCECygKO@iZPmn|$@82+u8Qw!ejMoH8p7z-F_E3TL=*UY|(veNUY?(`0(%~W>H0P15 z8@w)>_ygCjPw|JyU0lwCI6nHhL+e-ff*D>rBt9rA2euo7-5aBeJ_xh>Io@~|Q=OMU zO&8I{jNhe0?x33w>FgnVSHi=7x3}|FJ`{lqJrn|`S-9GrdyHtJ{e`BeKC=ZV^AknV=T|4Z$Ghd*K7jP+%P zKVI!&;}dZpY;WT10nb&|6Vt0!AWWTOhv}U8VgSfihl=p`PrOIRFG@BMR(9OeHGG_9e;34?RGAdrLQC}8 z@Cu~t)byJ0intat?U|a=^s4a6niu{w!&NsgODilv?Bw(Ws=L#wJm&cA81#OnmHKej z{#{&XMq|=ADYmrDX=c{buFhIEJSniW=hLf6D?6}<*DF}oI4QYXegkJn?McI%K4m@jhCI5En{P?86@VlC zjczZ~6yHPl2Ee`k1$2LD0}c z3xpPUvFz%)``dqc@8ythzVn@X&)k{JFeQ_Fck6c_dMF)gh?5T6!fdT85U)%sOkS0b zJB_c8GmndHgzn~f7#}LvW*H40-Kq9CQ*_#M+s3`Jjlw_CA2P*Y4Y)vG%7Y{ESR zHE84$%2W`tmoXMFf zn#rCin0eMSu&_dc4mx1F3d2?tXLy#B8m;5nxa#=Pan5mkgPc=u<+9pJ&*B8ydS~sx z_23*9_Xq-3&Oh(?af32&d*($W?()E72(x^M9zl=nK+({hN_6FpCmMTDdvFRXiS@_g zW3OYg0suu=5py4`KW3SE1+j=&Ml2y#OcqU+O_oen+R*d3V=n{N04t8oIj%o`7@%~b z0ef+hgXjZ>fj(fUXSs2yaRpdhK*M&n4@?dSu-T{)fio;w*YHSKpWk^vqPi&a`}O1| z&ef(%=}jCmvd@2~bR_3zmCXsI=$rK>XG;wOkl8^tJZ5s~HXL(u4{Z3xLuLDJv4?qN z*DGGQD60_1swtPc@q5Wem|NT>VL7fij;j&;*@cUoH4#j#2A@I=q zoXD_!vp_xW3t=s0VS2oYVG}L)Ttf6Np{P8=66PFBm5MIdH|x8^ROuE`V!{qvd`hJy zSeU5D!lLF(OK(W9GEv8bbTW#cQ@RB4!l|8b-j*fn!+iJ-;+Z>yV zw%-*gazuDf^THg-X6~MnA76CX{M@5GdB4jIlw2*CIU*OOBkr3Kh-SLY@;$jD-fkd# zrg?pi%;n}0Pj^IPGl7f7UJD04ZSOTgNT@Wal{4;(h3mAzru2|^j-qGtJ_^f3s$9k=h2N^5o&98C8vio8|PJYHzLYPhPK*4)r35*!|BW}YrI%`K!9bw)l#!%>?y zK|Vp_u8IgJ9k|uPJX~n#Ie0nJw$;r%SZE;Ga*&}sO01Q%HLBHco^#%6{=z(PYaU{r zDKw*Z=ZeS$x`-%_R!#F1m)g?Fs&{&(leUwVMItE3ExN)eaI5}2)4Z{Hh6}=_v2=R$ zj>H`a8wm>s5he(PE`~OSK87wWsx68uk}E1Nl286&>5$jBSL>*iguMea6XZeL!yrH_ zKrbGZ6lv7@q1ADo+B{~npmaof)Vj{9&auw4&bH37?rxp=Ds&orj&_}Hoq?H_nVu-> zdaLPt=w_VD;NIw7^WNZI=icOA(_a5x$KJT86(jT}Exb!d;8Y_Vt8)=J4;nlRnzE{* zGnG%(u&SUlhk(-3_&O7uVGjZ7o3dV)JKwA_UpCi`~vy?YpkJrix9an|6y>r|cjdT%)}odOsB#se4~HR@YKDRM(Ym-3_Hl zCh3wxnz@Em4;orcJMu%<1$C1>Q$15Ichz?3AnjbEs)y^^>P7%V>uKw0r(!5HnJk$s zl`Ms!E2K*m$%cH2G)G!(yKJA?zOl{Y8Zmaq5sZK!gep^dQYX3=Ixix(ktE0nIuJ=N%ICf6d03Il2Vf9lv8^`!(}0d``)@p)%qf1gmOZC7V^x#P2 zs8*gveXjaeYBi3}Tdh7LI@(F`W#QM}`WB{WKTkoQ>&{_qubB={)jp`WZLi&4LCDxx}R#+ zOVTR{NPdymaz)rs%fPY&ILg4mIW{<7nw}7VJ~Op5rza$`O{TvRe7doKl&UpW-l6Dj zbL*2Rg+hCY@!nZMcj@S}uM#V|_4`fVa%5aE>^HT$H85BdOkfS>Q|~p^y3Co-XFEIv zS#<)X4_CE>tNTCvNBI@kS5NDdED6$)rALxOQudiV=$|m@aUyG6rQled$W& z5#98sNY!h4inP;KSIBk9&z0JvxTzb?pwIAom$>exxZ0*TTv?xmkSZXvsYeU$qR$2g z^nV8kh#Rkcq~Sio3o^;tAnCu|Gg~Y`LbaSPBcQ%WKwN+A2@N+IFUUBnmxRjaiHv~u zVi0k?`V$&nv<&$0`(KbrGRM6usuYu-T67B}@>ujPBoVq#y%}Gg8{fK9kF=8%4Ceyt zB-j?9pZ6CkA$SLLQl50E=y+&aCh`KV+9`z{5<1AjvTF&_j$Zv#0jW)DT6?y{Fx8KF zJVzoyh(z0Swnc^Z3}9_Cxf`k3?5Y}%pK;&NiqGLuk_e}W$!>niy~+I(z3D~8B@s@^ z6tu3f_XCWB)^+xN!1P&FyY1!vabR3&=NkE}&S@{|Q^s=lb$?Jb@>#9ZdsL^S|9S&C|)>V(#Hf{Er-X?nZ+6tOn}7LNz|q=W|~1|IsO< z3W#p%(b((Y*x*ij^VAS8=H3~JZw~Mm@4F*L3{&{H!0Y$*r3tcGKtLNx)?|JGr^ zCBQZD6w_xyulR3HihqpoA(Q2TO6m_McjS#q{qfzC|L^qDc_m6uO`#g%#V{r44ifu7UaF-*>T z43eAq!bS;n1)bWKTn65%sydrhsY_9f9U7L!yxZC-B^`J=gtlm2*Cicfe_`=}MS?{`*R z<+0?c@6hx~$VKxiFX<%q7hcKLy{%MI7H|At1nP-r3O5p-pn0z^=>Wm~g=ceh>6A)@ zarL%r8{4uxj5bV;jUbs=Avcn_mZrwlR~4_bA-xo0L+}p~_&W7onyN;&?zVEJw*{+T%LMxc zw&_b}_{`MG4|N7oUIvQpgGXtHpO@2$mR4LDeXnz=_JlNo@TH=ot&z~$?JE~wvY2XW zU6v5mZ)l>3Imed-Haped&;sY8DGz9&Y)hbedOXm3-`2*0K$j{@n%c|RoAjcl2Begh zj4!j58tkR+P0$S=$r>jv_heIIEO__%HFrbPZ{-!670Lo?wR2lQ#k*%%?7(ae-VEGj zIH#lNM&IN995>A+p1c;Jvy~5)_s|(5^Z_ zRT;0s`+21cLw@5rKu_Wa>}Nc_PVMBaQ}!$%5PSxUn1*YVbqVwDdUQ|w4laF^8Ueo)b=98s?3`9$gxVMw zQD!e?IpWt*ydQ70%~Oli^61K2O;sbnlcN58FMfVqE4p$0#2#r_`>Cn`GG`5&gpvkX^N8OOJR6ys>%SpNGe@VOBp_1+?%G+NrzCu zBzD8HTNLdCj}w}+im0!%>@)0NJnqf$S+*5IY=Jk4)=`|D!cQXIq&^SM*cANxGS>cAgK!hjd%%_2m`jywf9 zJv@)M;u0t;`6lEyW<0;&H!l53*!KcY!(wNND2}c@U{>6~KNG<6maM3q;MOO+GXQW$ zj{j@Ze~ZDBAl~49^Ykwye9yOehV7VX6BF8~a3nc5Lw*vy=h@uICPlaTK2%NKPk0Va zj)>f|Xy*DMUC_G7vD?P+50Sq~z&|Arnu{PeiQF@5reSNK-E2{uX4-5Eg~=ZY&Beq8 zA=;bNEIx9TZBTCZgaYzMpgF`hv005RfPQlz6d`{kGM7gVi`ujORxY1`)%|*oW9T61 z&$Vywg;Yi*DXeM$0b!Vkz1K;-D6sHe<2FMBF86a_=_aM9>yJYe5 zKTQ}8f*YPVE&g?aahIOn-3Mq~v$-xbUyE#htVbS{9D3bMHGR24mSgvD47s@QujY%E z#C_os)1WZ(RCK)$v-p$$#ijXIn^(Sj4VJ|W&#<7^l7(e6_r)wKpxF+{v7rIKxM2bR zY%Lzt6FLJuDY`9nyht4(0cn9!f3w5p-LN&viFfczmW*&-OUmzWVj$*1Kn3YMG;&5T zpz#{wazox;=A3W%I?qoeVqi14Id$~BK{mx9?$-G~l=yp{|E>c3byk0=HsGhSDcORd zn$hx8`~O7%KQ(3aH@l4f**3LW)LzLn$}j^uM>?CjEhewZ@YPUQ<>A0Wf3LDe*y^%z zviH53A_-UbgMyRHEP+Lmg9iO&w#MKgvTwRS)rKnl1m?X{S+&xh4^f0uq%{m~&_%~@ zf^zIP<65E|mLg(2^*>A~S;+%`sqhv5sPG8n%c13Ud?KUm9 zOugvq*xKcgk`WeI@EFmRH<(y}*1!-3X})%z=GG#%LSy4hFJ6+q+cyg^_wOeL>zgp} zd77loRM(WQ^BDj_H+tA5;b@h9(2btwasjg)%Lm5SyB3dHuci`&JiC*LgV|mxVUQ2< zXnZTdvD>d{k6@nYoX4FlcU@G*tkH#0iP`7TcaFw?`%Y!RhCyj_Z*2DbA@d&03ry@h`oCHl0aDeMvUJet5? z+N77}rwQyyTCeINryFI>nW;yPGPtLRzPs=4Wz`xm)S2el%i7D@$=VUVpsTRzoqp@z zO`Yi)v|w1hKZjmdT6Mq2|E|sivCKMwp>v?wH%7z(9&u|2Disk9Z7qp3ix|2)H2YFC za>iK`*7uD%!~6sU*Y7jYsCBo%T{k}&N{D@S-p9 z&V+@Y9?@Wm3sr3Xr~+-a*_q4DP!93rzZ>OM@4wizJTNd4QYpTmzd$-;o>a}`THKZn ztOzambXGHMKi-e;%(IZ<*yc$g8@b!8#)2-@3R=(vuQtUR(Uy^1_b?4T zetFf;-fH2sf?qp(u!`BAfM?%s&lxD!dvC$Edc`amHk1E?-(*#=ro6VL^m&SMSLvG@ zi*?&>)81FtB{Dpv5LW@^E)lzDeS%TJwjwG|P3cM7vOnsHEJA;^Vdf9fwQ!TxRdg2$ zIf?!}y*@vD3yx@i0fn2~fZhC1r;i*GE=lx$)mdn1%(rcqqWe|4XBa=9%}DdPin~ot zjQ<~w=)hkO;y*m8YO5r-Za0_5ulY(Y(o2@tOyydN7k==+H)tt9B;cs(h-W-gZC(MX z5nh^Ib6U)-lc=iqZ2)zCz6e2a*gW4B>Gh^xtf3_n@OHb@HcAEZYHr|=KE z8r8pZDijyT=3&R5=5^&p*m`U|T`A6fmCYDaM@{E-fgnS{ph~ z5=R@nb-66+NMLc9#o#UZWl=K%g`(L|YR1wB0NX9+X5wf)oSH?B+4Y2-%*|3J3h>`l z9;r%JlWNEKtDnagqEI%IqcUSX7v>I~ojX2-JEOT9qvlP*&~ImZN&hleMwnJ z&)N2or!#5N)lR=zU2|v5k2ZfhLt=%yB#5Y|({7}_FOwn;mGpG%OiY2 zp@;BXC(&DKVm8U*A%Dz||pV`}w7I)2j%<47KEF#%Crml^z?zqK5%*si@&<&eU*aXF9+K zg+WiQFJVxaNr}qWF30yyGP55XN@70+^zaW&V?5Ef8ACNK4^P6cD&uP`ix2a!o`^3y z3wTUUj4z!uye{{*^|p*(!=6MZeDI%~2q$>ZjwhW%AEwPlJ}jq4V`|h~&X##`b2Zeu z%>qPotM-%U=gC$O(ewaz@fi`rKs4}f$(QrKt%8cU**N(?^gFj%Nux39@cQ#y5$^Dh zl{M&K(&SUc7e5;2P=y)sl!16eJ)qt_r}gSXi;QLMVnbIH>|#fUSbS$@WJ(I9cc-=5 zF5O}+poD>%SM(sO7RIfj|gj!d`@pD6@8oxo94fYz@J4+o&3|hESOKJ+|Ef^jdDU0z+s2x3*Xd@-+GDx&GW5f3``QIB$};7r zpHT{RWi@`5HIEI;0<;pBdK0GZ-mB|7Y8V;d`1F_~ouZP@WrCveMSC}IKo4~zun=x? zy@lt6XfAc$^EoP=^z3jgZI^J~n;I=V1)_2|v24i;cX{Iw%BK;A^$XHsKRSH)@+!|K zXPI+czW^?x&P~jd9@})LFiqwZkA<@gAs1D=j5H6svkV@W*ukf1nPbjRPBM3S#13+t zWDYoUoPe*01MM`KS3DL@GP|5Vpy)O6(6iXOGw;)Wz^p|R?B4IyX|c6us?(fpaS&U3 zBT%ZaPG*@i$MFX=z2Y>q{|Y~}AFK(M@cU4?x+Dqk6^F`Sp1yMB6p8YiCW@Ch`sW3e z^?O~tE$T@b93=V$ahRBX^{-t2$=@J(D{#8;{E>fv-8f7WkS2 z2>KcaYRHe5K zTOFHyh9~t0ya57F@Jbn% zeN$erVczxPflDJxu`^4tSo$&(aD&D?!!H2*;S1bsbNaTA+xb0hh5iTli0R$%wb{EU za&(Tq+xMNfljypt7&hShzlS4+?;7bs{YO7&`g-v8lyfFSx9dA^N6{YAh3bzI&~)n> zbxEV=nf%&nGzEDi@FNche9hxBaJ=Q_>RnSQF=dd6;wu?g^EF{Eg9usNHESQ2r74u! z4H#)jZ{LkuW1GMnLy8XOr(0whDeTRzJA^4!NbR=O|F~ylag@I4+S)@0v-a!R&D{4v zuB4P$H)L)~%zL-aSLtMK5+e-+XCCZd=&ZccK(Ni%D}Xb-FYv?27KzYe0QEu%aU>0` zzy|gW=F4q>%dZQ2sat7UX?E2{VWuaKu#~u~7E_6o=(Yg%R@F#xi_BKP$o)~YYpc)~ z+s*4Ci-Jpf$-&jVgn=cUR;|J!hq<@gJ&r^0T1zg0gOD|~V?1e6GY_FjkBQ4AwGC)o zUkM&3-c8umJd7pGzy)SNe}tC8FuS6-U=6Ut_u+?|SkzECYNn(b5dY-JbPsm$QD&EI zJ)mmVcoSvPhB9eIA=*%gRupp^if9J7a`@IBbr@3((AENtjmTri)nkuo|Ml9C@^!wd zbtVsBe#)ezs`2XQ8{`FSgYi#_uOc?jcL&( zG8wH(^#Azm@QCZ2B?5+&Y82Ts#4Nj#)%G+vgAP|m>o<a?y(;(p25Vip<*1XtYfOJt#BvQ>+g#jkeSo|TDxdT zM~tdt-eG??Po<=XfjMRnX}CK$dbhi}EB9?HxH8~#p98k6cI&x8t)HlY`0{Wu89%cJ zkd#EojADl!r5e<`febFzD%12>B{|k8j}Xxaq<8aYy3-^P(%h`osO(z=SC-9n&n$IE zO>K?(FFv#`Ba50M>ZyV;)|Q)Nh+=AI8j%4`t5Ur+GZ$;Q+EAX3H8V`LT(>5j_^M{m zDD1lU2;bjz1?h{D2wkyoS(R~NB_S!^D8KE}wC~3WY?pUq z7Pt^D5o8&i7Ys1HDdOcJH)}$SFQ$uu(=w_DGODG#oUJ%~H-dc^@JYtRnLWwe#5dnO z@V#TZ5$(9VuIJ(eOqlKNKJhhxmR9oB9M(FYjAFOmq0p1>SJAgUXX@L^4>O%H9wxPz zs#;Imjp2tVK1_P&^u6IJS4=6enh8f`>JoW+nt3w2dYUk&r@H4Q5;`@E)Gvh|<{nNm ztm}79?>(w5WY{T|^Srk@-5b_mx@rszPF25*o$?;zOBapfyHXXD`!f>j8F%{={tl(I+k8;{JhmMd6diHnmk)Dg0dV=bD!co0yReM*-s-!xF+H)h? zeC#cOXPb~G%l25HJ^xBWk~b9BTb0COjkF1L#Sv(lf_PLm-aG8blkz;oKXE##T|4o? zJ6Qpo8rEK)oVwC~D-_=B#|1B?VS}IZr&PYC<)Ps7D{6uOpZr$e!JnMP^BdU&`~4 zj)|t~{tZt;GD0;%0hSL$p;+1@Iy_oDTo2<90_)U+1%sV~e-Bm+<_@+Arv1%a_IE?L zlRx(<(Xai%8^J#~J`_AJhw%$aT4H6bQ(?W7!#nkI@w#elc-e2hp|Ro8!B_SUAFN-? z)ql_@>Dm_g;w_9uAjnq!BQSc?$cD<@ydw9Buby0Xwy${|3ssE<+hxqHyJNn`hJGo* zapO&c8A+B+C+YBaHe98?!$xvyndh5;%2Wq)lo`gq0r<^`$^Ya!Uy24}odiwlvUlxB z8F1NvqT%v1jZZgpz5?;#n9)Q_jn(byHRXZ<5p*uAL8`d-n5l7f`?B|ECOWJDvtqo? z4w8%p)A!JBQUa~iFU{(1B&qgVHF4eCYd#|tCmRV}Dx(O|Z=xor4T1BRC)y}?fX}R-*=nAq zG32(ff9=FN6Hf zOOMR!7^13EhVmss6`v>KxE<#xN zp!^V)Ki)=v4h0|t5+R1e9x@h5NhO{gRqh$XcD@@| z%gNJHH1C)9tu{kCXw%bc%B42i<-BRClj11^u(6sx28t$6q8&o|%jPtbySef^KjgI2 z9Lm*ozy=v<3Qn44f-W$gFsbi^*18VjKM@j6t(7(p+uL$ES4yGk_S;7hJe7(s0~f$| zABiyj$Hsz0zqIud+&<_mt=4ap)rQVi=aSEuF0m%l85-U+{4x-YBQA@=zhn^mBLgvm zdM~&iq}BczFODVsU2eo3D`yumms7vJVj$Z8+7!*;e`yL-_-i70kb3)^u=>W_TtB$C zTo516mB5Hi5)@>}uN`oXg1NinBi@ZC+i_LSoDiYV(i+iyMIX1m&LO!TAgC}1{wYKS0D(kU1i!pk99f9J5)eoT_qqP635y8+O%o9Y{aq9J zdp_I{5WkeeW&ftZOF~&sf#Ln3TmWt>`*o&Z(BEeY75g;OdUZ>yLl2t!20ewiCc7$p3+ zRVxe@5&E^95LEE*Efs@&DJS;xB7ua(gnn%)NJtd-0N!609V7x06M=h%%M*jaAYu*< JIW>9W{{vC+R{a0~ delta 29098 zcma%CQ*h@EtgUU^*xKFNwzjry>sQ;hvEAC;+S+byTU-2VxA&X5&v)iNW%7{8OC~uv zCz(iv7)ys}hyw@Y6N%ce3&C?>aTQuIeF(SAxBc9 zW}FHh#6KNZF8Qd3q8^i|QPps&wU62QspJ!K`uAE&DCgaS*iX`ruFw5o99WqQHf_d3 z8|BdOYsihyOhb>EBQp&wofqTANdnl|rQx3x*a<96gSA((Pi|k}ciG*$S_gUHZl*63 zyrxJ6Zlgf4AKXQsJ1GcQDui6v?i`58m|TbucwO7L+AFu8*j2c%>+|0>cozvcWij%6 zx;|_Eyj47bF>Q-!{rA^6X!hqJ%(N|iRRFN|k%!~V&@os^*)eFZvTkQ2(l}lh{jaxC zP`?L;rX;q%@0_Ws!?cBD0t>>T=EL79cWW%w1?kujN}-ZXH>Vx8 z0{s;A+rT-1h$w!_mSC5?QB->e$?!NFpm*#3fHhYJR6Ai; zcMzaQk}iigPTtruG;2ZQ+HG$(MH47T;|(IHDi6JA#z=pA+Kv}`9;a!jM5{2`PVCc` z$ht!qVEeeG{@90w%TD=yusprMVyTj$@#y@%x3hpo6TfuFen|gO5*gGZ{fyK1&X>S; zAwX}Kl^f_2;5=orB9vH14#^{B@P2EWBMoqvgcat0UO$K4CWN}oYHIJAbH~7 zxe}Qn(ZNDx_y|=P)nG}kH_;#SA`NWZ%Zm(KK;hWIX5QK4MbI@YR5)KIE#L~D(zShh z(*71!I$+dh;!&1_Y#vv#hit1*z_X{eJr-DnehE|Ybl#G#6kD85tl~NOJsBl* z2}==4>Y&da6DBa~_j#jFZ!PD+PVuynCQ^O#m5^pmu0b80_231<{wgZMkQY9l%dJ8D zqRv;=odvuApRA!0LIE~(%rc|gW$?E#HRK`|&J;}OK^(xB-FcK%LM;EtvIWB*0e zvH#UAJK0-Bfq8|5%oEl4xYLF?eY9#`f2VMQZvv`ZRH8yTvQBL2z}+29S|)Hq#*iwK z(+64iU}q6pWN-0d^t4r7|q=&AJqmO^lH5Y~SAjq=;CY4T3i}6_jEKHW_@VQ%&MkTYEA&UudJC-yU%(cxwwPkD;z` zox6Bwd8L6*t1Pf9`!3RG2?O-81o?W7D}iv8p)g2Oq)(8!Sm`$?#O1tKu!Fd@&=Upg z2i8MvZpJ8=V(NYl03js$KKiI~qvE$0PBTBHRhe)u*ovqrMlB!0;V@1&ZsNQikkd^# zaTYgqzYvG)W2xON7Y8{yn)fM)-jscid7?Tdi|S=fr6}h=!%OWZDo>#?J`|Ecb;-55 zRbvf5#txegUsFVlPDy(alR*}NxNYw}QF1j!rFnzlElLe+*ZRPB+YM!8B0;SGOUYCc z`!owg$e6IfpSz6bnNqsb1m9vyvX0C*?G#rnpduwaxAP2fLB2v9&(3({t6+jQ4pZ9U zZdu6#qrjAk>MZX*hBASSH4_O}e^(h`sIGM+Z}NncgoJM$%Q%WBob+`kFHpK2M0?FB z;vtddv!ev!OY87gmG!XIlZ69^oi)5b zocSY;g_#YkcFA46`{nvp-Y0g3DF{L(RGT0SV?z9&Wz-t+Q=Z}qQYfD)=$Ny?jmT`p z=wS4OrtAa1k(uxlb=r}|T3GLaad!;zVI6VHK8NqHU&d0jsE=a`HP^sVivp%%_d zEXp6Frz`v|VSmlzJz;))rS1BDFH!wLFRfPB($XG1Zm3rPr*=IbJU};1&*%8f=~N^Z zar@UY!T0ELOb68IV<3YNAfV^-v+?}A!5d+84OzZ8X{D^45qrR0wq`3x zMw&czaL-WHWcD43AunBllD54S#~x14UIsbd zx1xE{?1*5NLRL)Ir!kGo+8J7x7eMBo90sK)+xsztv17 zF6%6m9E?(8rou^vI~<@pUH&C!Tt*wYtMfft#xdd0)s!>MLW%;RX`)4@=5LAs@I~RH z$ z`Q4D>0v+7~J`7^?8ocWk1}!*$UI=0Pu)pfQXQs38BpU3MBy#f^O^TxPR0X_#o52!G zq7f?-l3^%VM(j8@yt66^ynC!wTGcC!`Gm*vvLu7D_g8h zFNnqXb&MAj5_3kUTv(uJT}r`MEYyQfk!g;zq%l<*s2D+^_ngoq_Vi+cEsJZVYU!K= zEBrMnSh|QXm%+T&BE*FJ`De_z(qshxhpK3-ditvURg+^rLP4 z#MN@!h5ZdDCQne^Z&YTnn>p{~zLX-DOLP(p+Z0~uLfu1OZdf->bCyO2Th?e(Oc(#F zh1F*{V;M(dq0aWT8X){EC>Rh$5Wz2hUNw1mYTl+On@x9_Jyhfm6}Ciwp6EBbVl*J%Eqo~!C57G80WpdLwJzG($Ql2ilN;At60naR22gQxZra9chY zoO%|r z@x&xla99weadt7I0dPx%L~+O~X99$|N$ z8qnh@cR%JVs`_5+k8>&s30K>uTXN#U(-6uE0t(hYckBXefXSnE!mnaane^}Pqz^CA z9*@{Yx@Qa-TDg#szK_E@=%49oU%9<3f`~BszT7HbET=xplV1iK40vDP*NtM}iM}lC z^md=GQ?3-@}*PSW|}uVB=@x$R$f1;N&DwF4vWN<@wb&p`&73JT06ra=e0iZ z$E!4a*%GLYw)0LGelES%k2jA+s#TZQXi68zZwq`Zjl1%`?jk@&r&BGfa*@yj&qdrZZVUuXL$iXG0TwgVL`dx9?dG zK;fJj{}&v17#K6d((k1fvZdHB{DA2e>n9K~9}X_OHZu7LC8mZ}|^K zr-!Q|dezNb$}LCbYA2u!M3}!Nm9lA^+p}dMO_onD$@U}#qL<0^VR{RR2$9khW{#hz_fN@Z zG82Cl-tC-ypwjK~dsQ)Xkuo@IyX&z@)B5lnl7F<8*Sl7L$;$3VrAXKDVH~Ocm*4Xi zk1R3x{G<3hDbR2pg$fYSg(v$BN2F;_ZU!~Mk#t8WGYt{>(0deLvue>GV4eqle#nM_ zpu)uEh3hSUEFMT)2gcDa)*!pw2jlkfWJHsbew1&vX!{?J5i-$4+{E6}jR4_iE^PR6 zVYe2T(!EV()%fr(AhbKq4$#=!NJ0hR-=BPB!{hgX$0aGBn6h-|N`_K6Lz0mD z;W1t_!G`XsMpG!BC`rLfp_L8u5vrK>r9|XaOO5pk(bSnu3NxGK3$%eFIW#PdTy?tJ zoLXZ@j&aUvBJ-%)kwxDCMxV;4eHU5m#;2#N5#JGRf7C-uzT9qu=9+8`CN^#ZMFXXG zN$GfRT_3eM>iVv!Hc=D)@YlL3*f2)dffGPATnTJ?(|_Y9=0WYt&(FtM#(WGimT;Mtlb{T zkL~I0w%m&tc&?h0+3}$oSrg5o`7fOki_J@PdU<(X3(*i?^pE%^p9%QUgW|;OLH*4w zHPhLK%0KzTM%r!OZu>84211*gU^6`M1v=!HcSUim5Lt+68OlcS*gfNB;9<&X7?A0| z#}2Z&MV?NXg#8HwW(rd7^LhLxefXH>Fb`czp1H@5kPz%3^_6xXw5?j)KRP}B)gEZ= zD9=9p(>cA*rwbF`bLN3SdEj~`c@o^S%Ys`OuxUW3yGwu3e7ORp%QDZ%L%L|Hk@e^0 zX_iT>OY0Awl1;&t)#!&ViJUOwg9y|H<8cWVM9=AF)}*w6HU@sh1YBBSSK1dB1wx)8 z(Kx)15_2kPPg}5q`EBO98fG)sdu=pC^#={n(FyK|zQ5%?!Q5nHJ2cFc(~=w*J#{?a z<06N>;53C`Cu=LGSG2S}y{qnJL#fki`-}2;IG}j!i(t|vGUi=3?6so)B0)k# zu>EDuV;zqIJPRBI{LdTGG8y>w&Lz&zc9h?g_^IdCYousjBc}1guNZc-@3_J*vu0JqQY3ln zqdI`}4JBg2s>?sOa&VLjVAAP&@QmF?cGW+T_1%yMeECo3%Gn0EM9WRe*%A&3RMy+D zGWlcphTE1)4^p9{tQb?W$swSMQBrQzwPa>c;@-m5r?r@1l&mVD^%ivzM)btJ;G*po zxF?Prn6544QuzDhL?q{@4~(h>eYeK?oVFVNG3~VXy0sQ6=Q0;`JAFLnBOeHEwAJc& zfS5M`_fDGfh1f(!e;V%FQ?u)UtD8Y?1}&$)uDxv8>Z=ZqGsW+69~aa|+afd1lpXQB z(LW_{`54i~NTI^ve_d|MR!j0q5t#H_455gNi%vI3cFF%ZV?JWC0QSY6hPIS_(mHvV z0*cj)3gni^iP||d6I(~tT|~HGII}40@Mn#IW~Bu56&XeNTRXX=DR9LJ`0vJ47Z7iv zgDT%_Y1vhA=U^YO{fY2k4SW~ibbn!;+?KTa!(DgtyiSb}xW84iu6w;B2_#ao_#c>I zv%1g=`H3pr1lY%~q`G#Wmk}p|D<4vs;t0|$EOKkMpo}n%JFw?R5IU60C>bNkOuxF_()Zev~{^Pu9ljC#Fx|B;;kxby#}2JdihDlNJRR2)JoQoy`XSp!OOom#qn18IS}`EY|`owV(j1+P;x3R|_9?(V0AM_`QzB+RQf3 zv^EwegR~4ZN0>RPR8J_z$-jWMT3)iH;&iiOYV!mY;H;~Qy(-b3Cg`Y%IyL{y4UeDC z(aa~?T(Sus7x}wmI#% ze?4A$FPC`y!(lRPzlv{wB-{}WeE*1t9V}^MT6Y2MCP;47JUd3jc?0rgkG8HEG(jPG zWy{@iUi{UAG*F@RAERWIyR6+F5YXIySdC-hFx030*ch4LV5i&$&DIFDwENWxQbs@0 z#+o>zU4r+b{#dg!&v$n0bL{8jl6sSPt~MSOTlq`-=dRRkUEKZMZiWqbSy~}nxn8?| zoAzok9a@&YuIg}^+Xo1z>#K^4C*8V^cW|*jCy!^gGZBP`NGnN`Z%H#2wuvt~);v-# zEkpl(-=pUP*M#0N--OGn7^>sdj-pHp3M1PSbJ^3167ruspw&T{43|2A-+{L>TTf_- zB1eZyxPys$Aa(iWn9lKdL9YC_hX<)3kADR>;&G~V{Pxm&#tP`&b?bF@8S(2SCKDly zO=<}r^5lJ)#>iA(7hDi28Qyablj-r`EC1}=A`jhEA{Ou3#nZ}m7yBtcj~w>5UsMSP zYZPNM=RP0)8}p#gW7vt<6K26^kv*NAY+FloLGzY!xX+N+ znPY+e2Ngk4WmmxRJlxmlY3UX31kWqGd0XeY4W1mygq^UN1J;dQtHXI?)3cp&5t{&u z-~z>l1tVUfxwf`eaAIzH?T7g~`(*}fTHx#y8=?bmo0wmM;7anrB>W`&H2g#~5wjFw z>EGnGp<=xO~zB#Ik}+atX;LpxEcoDlUX-a~SfGw&xM88xV4D9`TaN8OkDTn%ZA+dIzD^ zo0$6CYDdNb6hiB>GBx=sMCb^nmvK_7m{Zz*5>Xt*>1PO?>=XI4d45lwAx##CG#;$q z7&op9x(XkmR^cbxTtzS;b-!V&k9yRaXg3haY{Gjsz;M)Mqj%U-fRYF2J;yv>x$~!T zh4z3uaoq3np1|9GaF2O;sH~MitL}kV+z8f)V@gW}T-eZcX@nRX=j6KA{pqodVY%jJ zOg>TG?!C2Tbb^(RR!jFKjHl9spw>*qy=H+kUNi!qP+DwHKt-&QI(*tKQ$h)mUYXvO z)Go_qPB&{Po=8OA^DgYvd{^Z1!(0j z^T1m-@r}&on|0CJybp>%>#KLXepv#9pI^9{9gj}O=WbLm3)!hhMxe+jwKHmIr&cS6XV}Rm z)lp9!d8K4LMF%UQ?-$s<4$3R{u$rBGqPB^?tu?v*vFvCQcH0qO>ATs~Q-1D!`rvs| zGx{yJ`nr1?p3bGS<$LYtKJ!M*{|r2CwZ9+#RzL5udhm8RXjB%+h)_x?ZPBPxfVPHp zoRW=?;h-oBk9a`$vSkQ4a7;AX_LbbQ7?8B=A(m7@TWO4EqMip&K_XbAX$f#8YkTlk zf`S>zk)`#o1inV;D(e}FGHiI^ryqY@p0sRi6fCxHAU>7!bR=`mOD&%|A^{Fa8-%^z zO`Xad^71_KGxO~mjF>J{uG=y~`Xg4j4`Us_#7V?0DOM!(RG8^m6jGw(9GAp~g(0p#?UFA6$ONWTNBX zr7Uo#@oeEq)U=J%9M`?>;sZqmxN8~3MOf{av;$a4bM$I0PG(FS=BFE5P0E!@&s;M$ zHU;LYus74sJ~zlWPzmz(6vP(pC0#igrAt?->zSZyL-}|2LQ|q@?G!j$HumOt8iQT+q8MhTk z2SEdqhF5I7c+`+k z5E-hkcSPCrx4%J=76*_{>E`|3h+z9~(n z9Ir_Ax}3y7f$IndWMKAR7a0Frf+O%bA~>US*Vl(+W+{W;4#DBNeyf5;b$*0VSQC}C z$N5jZ1=({8h94q#AXUV&fpX+hE;Ux*OsPET2ORU?CW}!a?Gz70JNRxv;kd3-{1%N72Bx<$*1kGDQLFco# zxcHEp@(I&;IXWcFjCQN{WH>DYJ*a{1u5cZnWN!uAh?|$WoCH#>zl_K!25BWUzt+@+ z{b!<*A#u&t*k5d_K##CI>cj0*Wa5W}ZVx$o25F3OYr=_Uu??@Z;E*`0_hyNN(JFOX z#-*1F!g8UMW`L{@!Nb)vXQiq*RfGKW)`^A60!r+Qq~SN8tkbFh_g}JYMA|=33Csw( z&O?xP_14&oceQr&^xbcRTt;7OZI>q&k~7?O9VNzk70(%T5968&Mr!M%yU7~$? ztTnJpk@iWU7O+`sYEx9aa&;{#z^dCmi0-Rx0J_S=70@5diI@Kg=!;pP#K}81Bd6~E z**cdD@s(&X3NmG`p;MACH>JREv}#WyIh;t0 z2YzBs2=H6XCkZhqjkQ2R-8lydrfg6rP~%nZOe7Q{I1g#RM)cK+>copVgCRZhR@g4{ zkS-FN{m_4yYpXcY)}&asjFP>jHseAD<#K-<Th`F^)2nGkM zRpFTVh>j|$lOm|&D$0o5V&2wCB#a@*c7oXEUch7#3q92)G0wV@6YV;_!{tOm!t`U^ zqbRYM+U7)Ym1=ec_PYf?M@aKlPYJ?mcI_%FEg2mA@fc}DdjdERcym^I*_$`SH=uysS)cglX%u#ovoQ+{ z7j^ey8sd=t3XL+J8?sNusFoG9>KXKvp!%&I;@2u~LzAHpn*VD10kYc)ZY@Yh|n_S&a zi1f;|(DU|)76ZM?eyDr_Fo{cNM@NVYW9u#P5{tcX0&^&-B<~{`dd8dI!9)T0AKb~OHqkRljM>0^WmPJX;GXX58mq|2HC56oEGVDP?9VCjBD=EiyEMwY z*Z7lCFq&>L@nMW7?NtYqfB^ymMhwnO?ek2hIzuQs^ zM^5n5%354Tl?U+ZG>%b9WtB;HtM4jjb%HIU`WLTM2%wVc`VG7G4}I7*I-_m3;JB$P zaeeo)bMVn);xaWHj){s#H`Q-II?)ei+Ou@A+lW&p_1@*>S#B?PGuhE^(dY_T8r=Y0 z(KYlroutJc;Ghuk1}=phCF*kiCr{k4$)@D|$X%eB8UYma;Bx9C|3o8jpGr!M!lvwF ztu7VpE3m8AGKFG(ijX&aI9yixyywE&DE0+OywW8?CCA(n-<1%Q%vvZW+}pX9Eio2N zxctrF30xt_TB-APhe`;X_iBF%rrRLhh8Rn%&wNavG8nI3HBfyRRZSB-+BbO9yb2^B zfd$R`*Z|EZvdkC8T1suR$!&9%?Kkmp8y0iw2g{_~s>8lwa4;^$wu|fs-jEF&?(rND z!B?zFLq5-!{V>bWU&l*F#G(BKKh!TUkCT5@!^?ZTv6D=udNYzv)86Xj+2vG7Cx1I% z-l9Nnp}n;6>*=v}x`vp~3lJsMBYj&kZV6!j)(p&0G@sgYOW#G3v}vmSILHx00KoTr zj0}hceq(zE5pxe>HwSpQzE|igNRTRLyOQq^{N@2$C7E!8v!D7sx{61H!N`41A%P=^ zOkVg8ryYv2CE1S15lUsj+j%C*c)^m-;M>p2zm_NnIB0gvgsF4Ip+U$II2c5SE!h!C zrj0-#jfYB?o*Z>UHEpK<->3Uerp!O&#hsK#8d$ayXDRnZtQrz9wEb9f%&UlgQ5U=Z zt48;Ty}J6i`VfC4eVpToQeJndDbm1ExXe>gLT&Y}*m#%NT%D7{6k}4%{Se_loUJM5HfB+S z&}MN2QEPy8)HB$sJtU;Ca2Ckl00e_X$J9_mk@PyTf?)g)7C_D4JK4ff8Ih zqc7iu8X*$qny>9L8s#@ycu2xhuuMrn8E&)qDoO@xX+c-K0 zo4SNzQz_DbS-U(WOH=|C!R|<4^I6tx;kX{j=Mz!#<*6)WIng{LyMen@_vKQ8A^S(( zGc@?%6^yDUZ{tOPh%j$@-Lct4=~ik#m7yhz+sfL%&AS0Lzo;O-`9?=G6arCzQb&U- zP9m9SFp8DZ!BJX5LZXcS7qLtP-8X1G{_#tD*~hkow&}LI!>GgYvY+;gh!zKi9W1A? zZ>xyJ0VSh@Y}QC5LsUhVwr?_HKWA0ZODUu!fAk}01k>KJmrgO>u`tp|{smtd`ZxFR z?5k;&>rn5q$YZC^MeerQEcV~Ml`W-RDNfLce|F=PzP+Bk(Wy3GQ-2Scspw(IPrI5U zU*|iEaP)6!k|LBsM&K(fPsEXsnXj9OeIJg|^{%`M_dVVW@7^T3NIk9rY#W)>E4YFI zZ-+iyo0Q`Cf4C<-x-1CwMDsXc93^H=5^cjN2Bac~9O25GTKF$=TF`IRfPYnXXrhy7 z*K|M3l5paQlEK0|%dgwdGSXScBZ~Y=lQ$f7;PA0+P}CzJXc96AoS)Me_!}P11&&t0 zPR>x@*^(GefnxaJr2el|uy(ysQ~NBpIDP5A!D0NH)8;u-W$;`n7qYHVQbT*zRK#-9 zO~v*+q|{RQ77b83sSRN>07Ua1kvnB?^5QIkX5|dq$?Ew;LwHmE&o!Qz}^R3}p!j4VT01)5tNlM#%(eV(27MZVyuXs%UGSO*w+yGHTtdAJf(A9|jz* zJ6Nti-v3E0SfXva%;B!SthG{li8`VaaJ$dLh2<)H^6AWWasH_(w)k zO9tonAzhMBoDbmbly~}+)7D#>y1PHpOZhR?Fn?iiQztQ?yLRsw4*#jyk13L#(}~G9-aC*{l6ZT_{UUWq~p5-0;1ypZmOA>yONK3X(_H7JaV77 z3^sLI4mm`(#f=tU)}hO$3Yjnman`xu{Ks9*L##AYuN+xc0V-W*Trt$u`DlFjJYm#Ao7LD;FgibBp|3tsp&d0^F_%3h zmBd6MIX>%#^1HLQ(2%WNe7PU4ao=eLx3kwNX#_{j*uJj8-`b_VP($N{d%Sp@!P$2+rTR^>R^sckz zls-29^>-)olXBwmV-AH?GlNBMg%gP}ZOq4qF?|fi=RRdD^;Wy4faTNawcJRz&+OOh z9K%CjD=(_$Y%u^x(L&YXr_LOQjD5{?z*7ND!epobz-ElGhD=kuBMMYIZizE6R#R;d zLvES(5E@YyQU`w?3bM+!ommPFMIL%!{T$UP%Jt8XJT~H+NeJd~Wr%7x|8hFDm1U}; zZY|4LOwm=7|9?Bc{~h$TBkxXlsw@qS!bEt#Xeq~GXdZ0s}W9mzu40^m&3fqMDlK0Yu zX`szN%dQ!cD;ehsfJfMFg6TJP`(egrik_>yY`Go#n z7K&n=|D`vr)Ij1476lHZuPj$u@Z#A8+@+m1^}>SvX#X7eC-}=T0RI8<$JpPiR7(%~ ze}z?ikj1-RNwB|auF-+e>>?rs7>gp9;Sf(_3Ym;@*s_U>^j7#LNyhPX2V0R=0m~3I z6{Ly~ET4ALESe3kl-BJcwPS783sFp3ZhZ$${@t@ZUUkuq+A7Twfhs{ncW_{>h~X5bGnAx=_7vK+EY0oc=TRtx3fyZ@uiEFw02nJ85=7_#+LzXR zq-=pyP;yFF^}uOGeRrtKE*~oimTVm9d6Yd1gvidoDm90)LGct*}kC%6OihUf-2gani)RkPtVC((W6=nCdRkGiF=JTmx5Ja3d>9Tks7lIL%-iD|}n% zM1$Z3*mP(qE3{`=zA?Q*=-Dh}PXotPP&O-~XYg7B!!rU=(Hfd_Mj}G2 z4_+B`0rByW;0&1ZfGdSjH()7+q?+I}!m{)u@IY%0R_zjkYQJ)O7WR;MFg1q=v=OZa z)|^plLLZ!&yGgdeoWkyQ6^#+Q@wXwI!rKR4oWb?sa0f=5;q?(R2aZ6V9T0V4)w{$X zK&gXZ8+xU`)tOiy^*Z9I9~ormO}Yv9ec){m5+vGzF9g-zAGt>fQtiMNf+3Am?x)@3 zUIl9(s@z?0hV_TJ3Y!@;0P#Kx_=8_XunY=l90$f^k;AZ1mQ4XY*!j&_6+}y6$m37Y1GfMrv>5>0Pl;~>37=m z0#Ut_e1a(tknY($V+ue55qi-|)i8z9UGQd?S)9lEDhsEw)}H7%9@mid--9P74AsRQ1xr z){D&-Njya8eo~%?si_jkNs}B(=BvU?O6dGVoRl(9{k};2AR?&Bk{0S)s-G5ls|rpp z5ujqUi25K6IV-{mhb$#NtKyDL5D`&|ZcRlHUME#LhsTLy5LzdBFzaD0Krc384UrQi zr$Uz#MpMeJkw8C-r4e0GV)GL~P?YAFRnUmHRbk2rw=CuTiLzAs`_$JRvJ?HU`1j)6 zIi^!hcfy=RoT6}Rbltd&qH=3|-2_KzhFQ55gstE!iRw86Yh>Nn<>H4^M|afqpexCz z;&^M!PEx@j5{cY7ace|hJi!nWNxeC8Fc)}F?~B}%ur1yGddrBqrti+|7Y3jG1ZOqcA;UZ0}6qkKe9m-fvXkcNtG6s?2I8wA&X@rSt4tPA#N&5WFx*W3n5G8Ad6umog(WuA6%A{P=+Z> zZ9|ps9hK=$gHM%ep3F>@>rTBT<24_8Pt_xXa;E4iOEN(VU6yoD9v~|`Ux-8oIY9=n zXCaY`Py8^)!&j0@N;b#(ofAi6Hm>c8{5vC#awYkuED9?X-kgGtyxbfkTVYa$w~9<% zhB{lWBAK2&e~OGlmaB@q)f^{V@i>W3P5C(G-vsiZ6no;Pgd0s zfJ5wgna5PE3A;m&TNt0zZpm#L*m3?tGM~(D>22D`aTC`tf02X~)Csm*^p`BaUrdO) zFnMMI_fY;8n^#FGsea=7q24VquWT=^aFY6=v}?}0#B@^O1k0h8YsR}&AT5yOcBt%H z@Gi-m6gw=2==0g#DbuL|X>iiMdoCJ@`=OpBOv{$~fr8PirW z*TNNF+{l^GR(!)5Of%oc8QlhyPP7PKil|#luSZwRbLJ=sF3R&SAmzw5TjS;^cFjAs z@L!7h%^Pw?K34qZOgvtI(3N?c?QJ2wREC`mc1I&th@36Hr{{}9siZuW;fpa;lwM$S zXY7eElpmY>cj~Px5qk#3mz*)H#uu$rVbPMOIZM})qEx+on$J8FdPQ(3dpoQCuf_2Ng!anrlsGLw z-V^&K^~&#*UN4B>vkHm{7fGK*-s62l1u6&^7tYU|p4=n8Qh&sdRMMWV+!MYseIyi= z?JSU<(!Ej&Dgq@|r!)7suMC3nKxyBC@G0*rt)TK(3GS)nc`1;IXPiVHfp3z=Hkv)^ zPLnl|6Tp@Y-Dr$6xXG9n-sp@oK%s+WH&UWwhcjfVLu5C!uLB`(?x2HVHlWs}9K@E9jb}2a^CD;pIYP zW5_i!?kr>z@ipLwJs#n-R70{oR##5ErP->sCvsOtyxB_QO-&SbGrTSe3~=IP5;)AFQm8=w}u@p+Z*)O9PEYk z`f-{h?b-AOGny>ydAss!jTzSHJz=|2Yc0JRx$K$r#+HHRt~Eh>$ga$-G43YCi@--P zza$4s)JCQYlSeqeGzW{s#<4Zb3)!}Ku7=ACx<}59fdUi$wPt(V|Bhp342`?iV(n4= zqAx92ngcGdm&YHQwbtw|JRV{EQhP?WEn!#rFUb5dd&ah{B3Dg3!vgvfno!r+9?{>j z0tSUF3LAl$HQWpNM{NH8R*w3$?-zQH#QYPzR>BSH7t)?NAH&oCF@-D_TAmpnqk&dH zgWH9&XTiq^b3^RZ7_&=1xipd6Ae~j7Tl|}F*|?(Pf#=n(($&7GKvtylchn;jfjnuD z49SSzjrDfU7)YCBYy;$7(2wb(S1`PBW4>MBwF}U7Q(h0N`w%FfkX#+*`@qZ`>U1N{ z92@w2-_C#974%^#81lQ*FBrS?0cSZ3@c!>Z`RN4mSwtub^;rB_B@ml*H1ZDJpNe#( z{| zWoQ?t0hRGE5hVSh3Bm*7gr^I4m2Vxo!GZ3{_PfgG1%Fr|;`(sr*1#CmJ6d?G@Pq}l zW&9mTzTRWG>3O&4P3#*ad;i*Ir>a*%6 zx$vm)KIxtEbLBh7C+}AXFwwU^_5%OO^%Vj9={ul(d3uKpjQJW@zAJpj|K#`r!oMbG zZg-xq-%$e-z9wew`ktW!li!}Hk*!t436`UzxGG-y6wBfN&MN$^SmTO3Uewo3!l?-SJann#LM0YSRb zLYL}M5RoQLT9DoZqy`8u(xr(K0U>mxmq>@u6e)sqq=a5HGzlPqAoWE(=jze(-FLtD zZdT?$YyH<=YxeBl>`cvUlgnyO`P@$H)zrpOqdIHPa~&Owk?6rjW4p_LynR)0FDLpKFYESGkv7g=gzK>Q*}#CrFyX zvwGhZRWp|wz;k;?(e_@(O_GKU;0EOe9eDmU@O-*tI(xckIJPG^B>inww>hlwz3C(pQ=cL`#-NxPE8WX6_WKPrb^%3wW zuJU-QHFtKMXuV)J%lp;= z*;Hu&;5<}K2SL@z(4a`7=Sp+OdAS(rx`*u zp*6v@Znw^`Zn$2u3*T+njqs+HD>*7m1ICVrgzOn4*zaVS5f;BPlN}&3zriUxlHBK| zG3J%Uf-Ic$Y`_epA=S?eh3x!3T^g}!;aA6&rMjx)Cn#_1TH3i>?w2~F5;sPRz1CEk z{=9Y=wzKPZO8)vr0c1#bM_k?vw+wEoOwY1gHS%MSH`yqH3^%OFW7GYFlML~(Z;LOmewLh>~`}+9(R~`QNyD)ADF{-*|g)QHg*stD~K9UV+ z1V3k3qs2!0MS_d8hIrR({OZA3TKMZyh5O=7H#5rm2kcfy{9?hy{X=$Z9$48Xa7M8? zVm5QOpnuqP$aU0p&~?Ohcxerwz=rK}29!5nGcOVzPFky76T~L$3mj1&Y2vrRq-GWK zV#M&+8e|Q(%z}mP9AIPjd5!{)2#%BkDvuvGUkC00*8siQBE>w#GQ}*#Lf2sy?E1d$ z{_sBa5mP|^aY?f}pb3Bh<=N7ff{j7*A>69)+5y%Os}j(1Ty&fQ93zjzkMoWbk81*z z09D0;mg1KD76kjynKf1H8Enpe#J=be*OAo`?UC*g=*Z)U;z<2S@Te~E>WT4*%89{= zreYz0ILXWy0^Vt@DX!RIGj`0e<~x=9uKOGN?E5lDT1Sn?NrB2O1qWDlLNdO`FN4Vh zp3PmQMgHFUd)^D+bi;kJ{QHp{XD?k1H3^LpIV;3@?V^w7wMYX_uEH(=ykoQLd%o_n&EazQC+=gW*tG>NR;KH0@@wRvO4e- zhYQ_yo5q5zTXdcN6c0L@#4_v7#dFczmW6kC5~C;E$;)q-&_EtuX?Ju>y2CXZHWhpO!cThDw<L3b;8&(!}yGo5+l;zH=2G2qYDOg|e5TYzqbNOK3$ z<+p1s#OxUzat6}dwYx4rwj!i?kLi}$%@=~}`1}{*2`KG3h*;V(NkMg4OvnqAuSKZf z7E-L?!}pn#RbHI6tc%s=>LHWjjJd(pZEtgpr8Jh2YxE&#f^kbF_=$a$M0||5O2y#J z^4;f*=VLWhihw7!&so@BJ9$cq#oXe0yKHIAVixP70?COO9A370&)5`e%GLiyiah3O zPTb(wvK>~6l#wV_x#O+ju|^&DtRCsuy<_o+U5jOj zVTtwa(CFyxxZF|N;oRYG6;wWO$NG|FBBOe&O^5rUw^dmA&>fp8iz$Z^NsQPiqf@L` zhu@;hBAZo+8^SH4d~n=)%2n>Joc%pXHnAGUGc0k8am*&MoiUxUyfM77&MG10(>~ok z6XO7fy#Z-ke{27H{+9lZ{k5#63gw!EN`TcBZ$xD|;ja3yHk*Vjev+wq?n7XgG;&7OL|j;Is=mfD`oup*cKW$h5IKf^Dcl5pb@aCuqKH zM~^C*4pt|y71-$!2m$JZU$-rnd6jCP_$(KF(WAo1HW5ybrmGxEb<_kE_pG2PJ@Sm4 zN1s)rFL~6+be4eDdh5|UXex9pT5g+X+jjfhw!yZfM|1s4Q+pvX2Do}pE*cQ?sP}EC zZ#8u&6Wb8k5I2NFlAU_0(Xt**zO}w_^{*Po8vCd0UBot|*hSdIrQm0hO?o1FReMx> zOVL*7MKmoMhL)^+HRYmUqu`7Y$q=4c?;W>lG_F!g?%=Py7Y%{=5H=2IlKonE@jA+d#^t49+K&3 z6ZCpwcw1jr&dqYAidl5aJ>i4ar5fa=({!IJP8OKKnZK#i-&OwY#XIwd!Gh-#z-6BZ zud6s@T9X8^sUL+6<}>NQ;AcmcZkoe{4SN-6i}N%u8!*7&W{d&w9bNBS&3#S2bhYmH zkvqlwh)eu7AC7}@fNttjLCt*Sv)Fof|lvh%E^SJ8eK?uA> zvGnsn2+@WX1(}cW7Pe?LC0YNr#r;=RU3H!l)(Y1|&2yiz(*SpyyUoYLpN?q4P30=R z9c|p4V@r!Z)3cn*w6J{;Zqe)T43!#gLBMQF8Z{qOTXYmA+L+8(43BiXwmsvRf|KMN z(9lrg3_~ z9g1A)2a;mtaYa$`uzi9T_0(Fa52o}5)KKu_40%Is>lgiJ6+&=+rL&|dIJtPQSAV>o z{EDH)lE6pPu(aYA9`xR2t$ja`?U1r~NIL%8+ONCkORfl8y~6=xH(~`olPj9fF9{y{ zhh-o(Dd+-&T7|XuNXT21<{7MCCCw{ZiFajUJ{}jM_w37Xdkf&@*7D& zwlHWJrw9z|uju3&CZqxS$ywdE^lb|(q6I4TQ6>rXMLoJU%>op9Opn8P&F1q34?V*& z$~K4T1Cgy-hI=bU=uLDD5{U|P%;HlseEMAQ<`6yiN>se(^+;8n1)Zlpblhw|sNARH z;zL!{T5~q#$!EVq@n#eG>=)4einH)SH7BrE%OUQot z5)T-i&a733b74)a4 z@zJ|6r*k1lHH?_;e>Bo($XjY#`}Ow(E^QXPz$YM#Bd3u2j}73bAQ60q-{Q!LG+W3dWs}P>>pmp zcUwT8hV0Ub?;!RJAE9zs%kxFlGvq3L3<|NAXgyorRyiKq&4|Zg&g{Xbft8YON`2cR zG4%wqdp7#|x>3A(y^hBQKX%RsDhT%^@CTu$ZZp4x2CM*NMISR%Je4bDrt@UxdIG9Q zZ?9X;F9C)X;9b$z94bzIZYZOMaE}Mabw1U!zv^H!@=@>>zt)O=`cSc4uA%Qu#HXj= z5ByEtx_${jK33qLJ%2gY^!LDF2-aLfnVSfAd>mg>w~k*z4pu;QMgP%IF>AJ=j1au{+2oK^bQ&VJ0Yxp9_Rw^hu|SDUpUuo(Qoyu+7V+?g!8W0-P=VKuVE={zy&y zry(FYcjUv!vEX2XyPr{cOA&)saS?y%rOU#S6nTb8Z@Dv0Y7De<(s9MNB|P4|b9Z{h zT*rtiDQ6U`_H@sDQfw-D!g6lM>dDkliseN99n!l5t+m?W5k4o1 z%GVOMC5q11QPjd2a@CA+d}SY^nB}TUSeLr2?7iwy z2qtdok<1liI`eZ6j3!dohj?naw26F2cB|BtBH78`d4t*n z-EL&RyfGY48f*K${*Jd22hANuIGpM%IvxmBAH7LfuT&Aw__W%R>>|L`@|rzGPfMN~ z%WqB#Y+^8l3LAw*WjNG9fj9j-6OtVRKyiF|ulD~<(OxD4!XDwVS%^;dY8KZ&1EFx}RaHLEpMZFV>}%-X zV4N&0R{JZ|k%dKTe}R`0K~98Y#AT;VY3q3IYs{r+laYlzc)Uju+42Q|ulNfrQ$#jD z{wElxh-`ZN@8JzaWaHxkib&*Nu;z6&Tc~$408POX+GcvAC#=o%ZpaHZ-jdGKkpS}L zsh~52?8FLW{=e^WY%0%%d?P}M&2Mam{RH$f7S}az?BU;;bYY8u1_)9mj3Z_{El1;X zar4I9lb2jy2*P8wP27W)Q-|_%8w9|aJ;=)zqT}T)EB&cmQPG=kYQTyD2YBB{!`c{uS` zbpDM1cqi2la(S}$-fTs{+g-f!dbg+6rup)=bF%AOe-rei*lgnGnlIGpqtL*s_!|=g zTFbmx+Wnu*@a8PnWtRQF&jQRI*9IKV{!&LEGDK7TR$HLrB*@l9QRUv^?Qmf z!Svg=v7D2tHF5XYQ3@6EFnR0qFjZ^XFB6b-uDNP6H%$2Qq5Zt-q)6cFJ*q_<1=hC} zN7J0N*%Z3L?JqnJJw2;a+>0t00G( zW%qVa?2(tbB-n4p4Bna5#nJ~{H^*P@`g4|W6!#IZKH)lGN1ePmR^3(12G|GVmQ}G_ z`@I(rGFr%Qq%5V(Z(+wL$q8g)amNL6i1UrLc%g*}Du(W!5UY zhRl#QQTef8C6}ECCchJKcI>z!?5rKH$oDc;lJ?F66PeY@P9dYDX;iW-o|4P=22h!m z%61`rqzP2aCX5|6$1sQ;4=l#+EPf(mPsz?-=J$(A&sH6=8W_ziRW=E!A$6vjV6Kul zj~zFMy|?3s9pcO4C+%;pZsw;Fd`{YiRKPl;v6 zfsxE&<-ZZ{G7FV;L-I&9s8V2N_FOPmds5&Iy|@7hl?!vDxR1l;&|K~-brzp4$4n;K zBQwIl`Xze?k8Iv^*DjD+s+Byv8Pg_O&Li2DD7|dV?t$I*KknH_HLZ6|toF$$Ton^$ z*p(dPnY@x;i&V^*xZ~sK>I4yU5=G45-79!YV_zWSEPPr&L`?8BNhFv;2$c<<+f%PzcUA;ya)ogu6{gGj0;5X^2 zqhBb5_*X|Dp>{ePT3StHRC3N!FwNPhl6zTrfrM~v8xMdYjF67zihc4Ho zvRMXW|1vRkthr6=muFrKOJqxM;w5C1(imjFF{iLZ-e2G9Q8wl8y9edmm6b`dm_cZH zJy}1XtcmtV^xtRz-gpP_OkA&7w0ui}J)nFM?Vl0NDLk+adMSjy*38>uGO)PNRqx|2 zl%5*RyYx*>loL^4P-i=Q)hFxSU+RkJ^~x(hv5Zi>aQ5+>Y&Q`NL8M6fTKKb)4Eb6p zW)oAtei{LxPBQ}hd;)y(J<2p@Hs!sO*F=~6dg|FOd6adgu89gKYjyeGMC*!W#DBg& zjW(^78FTLQf_r>dzx+JG5RNRc7Dp1`mQ#AZME`Kgl0)xy724N$8_Bq2P+MCofft%@DE}f(%R=EcG zhSNSCxWulG_pK!%wJllD-A{9UGb?=}h7eR;Qf5})u+ox4Ca`8H-8ezj($ws6+$yj% zjB^q(i)l+4XKk))@^W*6LIRvTysVm`ZZ4zIjmRgZF6qK+bkw_ zV_Jy5l)fdO`sx6m01rrFW_mhRiWmM)d_sDkw3c0J{*&I}H)sdz?MjuJv>l2ymg31q zJE-)HoRs`0K+o_Ew8O=1@pxb6E+iwhM*4&a;OAvk;p}KPW<7O>&TbI~98t>aPXUN5BrFZaZEyD7Ft*+s{_YVG_#1(wM@@7xNTsnm` zZMA+MZwSP0IZR~8t!t(4@@gHx@{hWPkKa20pQ;pnCo&F8nhFHfZCiRjPK~mKn`>*( zzqc0e@hk@~ubvMynMSQBu8*Zi(~*qPG8KzRM5>JT7HR*iyzb^LixUwq`tBV9>64&CxyKo&0?)hx z5q;X3!`W%ii2Mf1l%>||%$nOE0dc%K(|$}@WKOA+)sqHKzak|Maq+`UVW;X*?MFK_DE#vq5q2h(#QC-PeQGfKQn9I*=Dm zpBR@7Xa=-&ULB&o2;f??`KpE-Fm6nA?dS!FvCwK-|#_nNflw=wGb zLfTQGWpt=CdR8cdZ$I&!CbAMRvE$33LR=p7vsbjT z&hm*9hN)x@kkK&*UFFiYCnk?o`VU9|Uo^CN#~J-3fLO%l?2UH3NcuW`e!&8rerh(JME!W+-_4JIa9-IcP0wALJ3{v-z@C^VXBSM432MOGFZBE}YA{>1X`1Ks?%yQ-X;!B?eT(a<>-rOCJsQ79p z{%G%oEigox^95#E+uiie!$WK4U)opm@9-_h*8*R2ehujc6sP%4JagXL-3-h-9FDCJ z%KEC7sPnDSbR$FYHeO{)iO=HyXSl5|s9(J>c{4cgqW#}MZ{((a=~wug@GD%R7gTS@ zFX%h-9Kn|XOZLbvgY zigP6;B!WgM@wxop!PKBaoLgP@D~tvwRNv*kuIp2_X{rVcKBd!8`xnf&wBnydB0r%& z7CbcELu{J=OenUVkezTH#%=zW6yU#==>IVf@LyVw9~Qr$YgINZI=1p`&9i62vnMbX zg^6FS1^4+9VxwSqqn_ z^?J7n5oZKvtdtbBbZLJiaNj$oNGLhL<8>ZV+ae5=0$8odXK>4J7C1R_tomP}3Ea z3`ehb?SP<6QqcxJscCHYT3N{<4$zne*dU4rD@~~W(W!m|6~(5pqt4)iuDFf2ffeXL z{|xBP^8?&l%q(@iQ^ZtUVBOQBHx2AU^@fcHV}%Dvg$GN82l<5uorMRlaO`gbH&YId ztuX9)m<{0upaqU>G4q@~z|4Pys$&`=re}R{V@?lalW_t*cMlvgDDmkwl$ZZ2V-iWzJpDT zV*597?TAbD2va6AGfzW96~M1G;4|zkDk&eM4hWy`Z}x0$!Y*9h9dg4B2}&VKdSbzc z3;w$c!O*P)xT~@6#&YyFCK~am`GuDZ{!Kf$&swbA3P4XlpbfSjGqS|yoe?l^yo)M? z&VPoXD8{BJ3|0C8^tIhXHQZtMGHAL{!J}0kw_=6zfFPH^pFbB1DzXRcKReLlJt_nw za9uVyUIYa29|>4^+)z=IXqJqOb7k#S2#h!w|Iq%?YQ_xg$$s?a$;X_|Y1Kz{ipbS; zd31U*Bq_c5N&_|p>bIeR8iq79N!3qd)Egkkw8F`BWWJD)wU)+oI|;oVjl?%P{hT0dM{ud7=t>&3o57lMk&!-SkcDyAY~y0}wu4YMsD16@}Y29UF9 zNZx!5q^y269mzX7<$Ae(7K=IBxDwxVQURSki(^?#z(0C;0axsVX>tYRpEco%pmC76 z`W%#1XWI1Y&>FhZGr|eJXat>+*cmL5!K`j&l_;!s2zsFQ9-Ab42v#ocwJjT#Ayrk+ zSjQbBp*SveR0BICuF**WYTYGYA?7#M2$h~mk@p|EE}z(LlE&sS5-gZ6^yc=tJk6-Z zkqzYFT~iiq!0UHS#{~_}4*U)4jV7{z zawf*^>Vi3ooztb$-nC$lPULIoz12tF^Y-hHJhv6yM=pBTyae<9yx63Jf$ElH>AXkf@9W>$QzR^G<2# zLbma}BVg4-YWC!0w*`KT;N5IF#-ZUZ`|OLQRQs@QC@+D`m-pDi==^ClDJ>}%C}}9; zm72xRRTtg8O{8`$PMN)1jMP$>6eK5fp8$rTWTQ-{1S=(;`Tan24@4|NEJiF!OyrwI zX+b$pd6x1Cr4HpFrRZ<|vSd*(cYi(t5qxqkKv%;lRD`baK+t`P?VO=mECuJ&_4Yp$ z3)aM|eLw8sh^f%=daiZuJCpDxl#Cxwf@o{%2 zAbqT@doWgQ+DGi-Wz8$6f+5DN-lB0VCNIyj&M$&9AXU?s^2bf5T+7rpwB4mS6w(LcsJe|SOK9?)5n&zEsThVTwe&E@<9Sc?xF2gNYKVKAjlymx#)T=EXV*6Tywf7I-Ob4^HZ@FKaf7p69%tHyu|Nb<8IPzlE$FSugLI^}1x`HM;edHtCoS8;tqc-^S$0ZCtE9Jl$<9oWE$WKLQm= zl+|_rxDAU4?EX_T03!d?-UCbYk|0TrA15;o2}yDo`hf~Dhl~_COe9E{fCF|nh=qW> z(m$w@fJ01z0Sb`Cp?Wh=M?0$3}2|EK2==gYr5qJ($A(_6_ot)ny6Om`I$t zKB0aP$;8mfp7Z@vk&3w*;~8^q6GyiF$c66~y2D!j*}bzw>|QZx_E{9f zY^xeN_`w`h+5c^A#lLK$oUrp@rHQ@;{RjXJ$fB&ecw&Sjo`OfB8uHF zqe8$+LdE~XWM>$}^xu3S)V<3Yq0W#Dd)5A-jpVnvDKgC0Jo;h(mpqc+dgb{rvMUQi z5(6M9{Q-$DwR`j7>cV>^nY&^U6qmwVgDPIpiLn%!Fu;iPbE8Yl7~1ce(Om)6)uq<` z7SF<72crxhArS{jii*L|;kWE0q@_7TzI-@bILN;$AQ0aBD<>uM3nwXw9}(lHSV?Kn zFPxN!I4n6r7KV681N#txALZrO^iq<)q!$+fN&TEkTufB-7Y-yX@e?N^DJA;zYKcgK z#J^P+_`a?pk`j_X*H=VBM&g%XkfhAdl@XDYkr4T1!6M>6=L3n!fW&_+2jH6wBqkyC zOXG=2N&nI^qW@4CNg3&1S^*^bOQk_#qGG?cs-!r9G|V?rgB+(Lvd75pLW>le}?Vm`A z{3h4Ej8aVJBUaVpQyfYqibTcwr{1`9)8JNQ(#;iMzS%Dhx9j^C-r;=SWD&N$C^uU+ z<9EJ#?+?28D!sHI-0%xXZuUgLhrxOd3(2yNGRpTPNjo2s!^fBvJ*LEEA8$EJzW{rM|ZU086C<+@_NWodes zR++}~jVZTMhqCCq2=7uJVYjz0O0TpXCLF|`WX|)&ET{AE{bc zmTW1H7vLJqkIXq51M@;me^-JzjSLJk@2uVnG{YY}VqlV-V9ighHGsvgqUPG<-n%cD zW~aOp+WSo{yF~=hnOTOHuqFJ2g&8)SSKyRz$x1?Ju}B0(N4bGU^HT>!3Ns3FUo^l` z3O>#&Nf`dw(~E|$s;Am=Zt0%{nuQmicTsRW1XeG zxGF`*CET`d-{ORqJ6LWF}k z4~}ZAgI(}18;_I%OoRkua}i>{J_o zqeX>bt}UOwU`@y+MPua>E$tXLo^_#MeUip`L?!ta-JMQF)6JTKBOmQ${RBrZ5(s?! zB!y>^-E0oh##VAovVS;;!zWr826Hm06(~E9jiTH(5YH7FjKf@adkSzr7^aZ#>S8+* zvzrLRKv|^rb)Dq=EA=)4%eU(pjH?gBnw7GUOnoMyvRp*u? z<>)Ty+^3F+_qZ;j-O6?pZlvvs1#8ZXXmMPyeu&#IWSKd;f%M9+67RKlG2okUUY31` zz6S{FJTc(o@kh)gX}>Dx3^0%888t$5ud5Jz&y@#m>BW8#2hW6x3sNP>$)+e82WU*E+b>lo|<^YYY5d_pC zA2}gqG&?T#_-8V8z&^%N_>Pa!OL^+b$W_hy49cQRG5>=SiG*HZGqE~5$UWkj_EZT` zu92&E`{=c994J)AElD>i*FF+P0no+~ey_Pwz-L_x9ao9fj=6rWxxhT*Z8T{A+Z{=1 z&aOITtm^*KwX}F?NS$3S(0f0K&>qF|IGxSe?$Pu`GjFW}Pxsa*Z_#`fw&A7|7YMf> zEQS_Nw66?|MJjvZHq95_Z{~6a-n=4`%f{j+dWHcrhP~CiiH`ulviGdhZ$3*;98zE~ z2E{0t^>jT8UmkI6rCR2G)a@yWk1%q6T?LMz#oEEdZ9F}@?fOOL#k5?N2-!rr`krj2 z9ogH)cHPDhXDw~soAf-g0`#XGHBFz?adjPi*^66mmW7z{3wiik;PV?G z%%XuaAMx0eUa6_Czixn(4{rainjY&MDsKqx_-!F1zJ^=qu53pDyRJ61yywpB!wmkR zF)-z69e?&>$|1zWD*NY4EriX_A-D#aO!> zCz?|;)t`y?rAbBY4G59#tD&5n^aa{!3yoiLEJ)OroUQuQG^wf`m9Myox2tyVCS0VA zmMj`BR(!5!^wk+Nt(BDD72}(&>ZO{kn`PuZk4)5&ux&guss8wnVj4mp*4t%~G|BN; zu)fEo#_>`#UPgUfD@##3=~D5hFtM8r+5&qg84k0=tQ-xhm=M;kpY%x7iAA_TLext2 zdaD%DO4X{G1>YJ>l7-$ld->2@c&&kI5Y(8ncGN}xI#*Mi-G{X_V~w~FEhxkhF?+AY zi&r>Kfpvxdt)V~5AUmNv`)E>kx^cJuYjp8X66nTql@H8RS=M>H^kXeuz#Go6gyU3< z(4P5b7N(f}B{~l7QOP^ZKn{Qq{nGq4f!1Yuag_6ADND1VcU;wQWV~r3uA<1=aM*cd z5$#Kyh)#ILk6fXBuQGVRQeI88sfZLdm7VYVw6r<`d>QjxgfNbOzdPNxthBNA`FGFC z0|Sp5zYx;cynDKz$EQ_?LJ;S#hWw+rpv=2pFrxs|%$$rE

aTq+?g`TV2Ld@AX#LFOXnFSxtm81SjTzw z7RCwn+Lq2Yd%gbHJtE~vfdTgn_IY+VMNB6zms@GVnIND3qP>p~b}m_uCShE>zS93g zX2bgPT?uabpNgRirSXuDp*-F2UOncRvVPj!&NEzL{k6%o+b__?9qQams*o%38{kio zEO>}orG-V1Oo{~GIq5Meo*dZ zSF~2AG97tc!ZFF*<&umUJDiXF5>oVTT;Crq9dxiLV5t0_t?5wM&97L0e|S4hUJe85 z2y_?S?s5(esSGF`fh~HckCg39?QZY6-&2?w&?OkAtK)@=wr*&;>;xO;mHY9o&RcJI ziBITnFb+k?<|x-6xhZLqL>@Q?o46^V+yJ#fw#m#?{M#4$t5%QQfp#_;@1bv3F`Qgt zKtw>S5rqRN()vn!e-*OY?w zz_KBH4I*Qq2aC*w_eLx7BJ~xCl^*K_v&V5?cPkPPUwd-i;D20G#C&LU#MO-4j3>u{ z`00@FnnF-PI6oRHjgdh^|FtckvR574oqTXm7y=0*3ndE?+=wu?Q0Q5P!{_1W_#mos z^=Tok?OyFC4Rp@z1x)4?X&r?c)(7{ELTmb0+R&ZcSy@drN*ff-0ItULR5sZoqEX;& zZL6Fl*O-Co8KaEe3nkrM`4p~0&F7uULwsD1PgEZxHnea3oaj`+~YdL4O_)C^T072MmLRoyO2| zD7hao%>UqF;iq`tjL@h*G4gYg5FG|Vo+618P^W1KGz^6~B}Jf-@E>_7`5$>06#A4F z4u`=`M~1^N$iK!V{JR4<42wQ(@=g20Y;tf67V(1#0`b>u|M?yQei}odkjVe)UhP{e z2$Y=sX=4Nmjy*jI0*R43T{IkyB2TA4enz8z_&y{?{&Y;lw_hfQleL+U2#}bVrok_u Fe*n5WlhptK delta 3275 zcma)(c{J2*8^ zWy?C2ELmqpRLUA}JjM5d2VqQ#f2cS#DcH9VcselE!N*pyGYq^oMkXK zwztB9x7VBF)*0;qeJ@6@=apVd&{#~tE`FJfsbFw!JzYll&~DVHv5X!e?CBu(1iox zs{`ln>QaopE#@7=~nh zG=1D_pcXx2F;-pds>Xj4Q8Bd|TLu#$-z7q8ZaLj_5^V!E zI&ua#c0RRlAt5zxxVC47L65A{RjE}j_Vy~q1!}x7AuUB12&EWuE6cbyM(-P%ov|P# z_q9mm7WmxfICo&&{C17>vHOG<6dj`quDUN*AC`dTbpI?TmB~WRB!1* zU;xbBWlbYLtGcp}c>aABOVC5-O#9FU1MW&uqf@~i{UiDJ`$76?2T7i-56=xV=kWb^ z2I!|%-F3?Nx$~pssn`$Y8ONWCPE^ybpB zCE2F;v2IisxcSNfmfcO$lVoX%^RXnT0}9|W-)J>-MBnMg=U*eUO|Sa~ikYt|hl9!UrB-_|>jY5LMjtLWfleD@&^>QEp7 z_S(8VHK!7054|G(JZMU7-zx$B+bZ(V$P-6CCn9r{iCRj7UW0{Af?|)R3bi99el^kh z#EO}5%7s(tERut{{v`)IU+1g+T(Sq0%2K zSK>^OU$5_6f|}t>m({&OI_uU%a`Dz~*=^?_ex-K7C6`4zYfHV~Mvf<1x7J-28-pcd z_utpnyr8k>_o=S>)c1;-AYAs5l#>y(H$=6_N0_Jn-J2+!Z@hex+L>);JN1JqoF?2W zBE~s%M@9|JoHBW!F)C7g%eUHsaxZ1I;4ACQTZM)$i?%f0m)AbD7^FHH#P>9e2+3H^ zQTR=tC=w8Q(CO2ubFUY}@UO(psb&==Oqe+}o$-`S0Cc45( z%Nr03=0#k6d#y_EI%0bE4j9gpsDgs}LLyx#L z|0!GI;4)_%WJvC4UjGfS#OA%?70padG0M@fc~@Re&HZJKd(%*P3-2cB_iBCYM}b!fbbjZS^+N5dF-gjBdPPNf)}dC zp?$W_H3>d3Wd(u^UwlWgdX5fQNaVru4pkj=nl8z|h41VUqsIllf%Zy8LFJT`G3Cjyae)44<_ZAkQ zIrlZ|OpLF4e$tN5_+9?ZY`P;N zd#QVP@5jNmCMlYWkj>*M$Ljql`Ed>w})BOM1R!ul()*TfCH4Jc~ZT>2h*=Ibf9J7i)AMv+HA?{!MPiC2@* zVV)BYo4rY0mHe6cqe=CywQum-ep9a17H#3=h__l<*3tCn5rb zZDSL`H>o^vT1LbP4w>mh_b|zhj!NllHZHqJQKluUgDl|FQRiIFh#%^m&m?2CbZRZh-v)>%= zXc8Dcl+ToIWAF5(YDu)h?{Kvm;s|f`gL}``oW{=7c$X2$T{?3vo_;hN)OXRJ+Evr* zc2+K&7jTX(t12UJCO4T$VfkMM-u>YRXJZc_aQR&vGuGwRvg7&5+f^Urt&k~EPS?Cq zz6hA2IT43(7|rc+rtz5?{8vgYHFcJt5ERL?DnH_<7L5-j2N%llF&6dm-Kkt zvAI=#vjJi}dI*-1rcfibAW&vtr=8IGu6aL*u2??%GP;zKl^^7Gbh(EWwpr(=JZ!t~ z(P-F#u{W5WpDUjF4fUnhkI#BQdooAdLpU#9BP`^aTlV(czWY(4#s5c==#r=BJbke% z>-xT*R3Mms0HQdYb44e;qI}_Dl0soSA~eIuMg>e%@V_=SzU6uY9DOj?-$`;O`3>cy=OCW7p4Co`iO52s~Gw}_p2R*#N&!(A% zq+?%rDniz!)>Q@(Tf9Qv@m>gmHxwVOXJcwIPHD6~68bwGOw zDj%aJAN2q}DvPxVBsA&&;9@GfiI)}GpU)pxgj6vOEk_a)tLuu>+$oW zJm2EIj+@T3xTt4%fcHuT#^w?VdG{V>n2{%}gvkc+NU47XMxcN5k{uGbA?!{v>M~~| z?Ufv0{80a=7Agnr?VIe`CiHo>$@F-GfA52Y{oQB37+~Ex&3+btB+5iAlibui{hE_) ze1zvSnUwJV_5ewIKmgX^iFNjdITAeFZT)&PEWMEokq9&# zPUc85Bf^l3DAUxU!7KQ(e!5|kZ* zB!5eiBf@vuenYD4c#1$HRM5LL6l%AILBMwS004&Bi44Fou)o$N{*wU!R|R&$0C4!O z-CzI)wKG2e091Fv0B~S8Gztm(D}%r15`U$FK*5kZ2P04b3bSJq1QLzj88iT(kh^>+ fG_dP4kr?DoXargnO->^l?gJ1YSy?@Eeb9da)P#x_ diff --git a/fig/fig_sec_sens.pdf b/fig/fig_sec_sens.pdf index 64bf7a96d9c74b62e8abe508f3282db0f616ed36..960be1d423457a79c79a08d598f28b6efb2f55a0 100644 GIT binary patch delta 3067 zcmaKn1yB^+7RPB_N`ZwXb?K1UWnlx9SVBsq1PRHHrIA=V7U`A}kW^Y4=`IOrK4Afo zQa})p7Gy!5zL_`k=40NwGk50B@7#0F@1MI(+`Ua)9Yc&WQg_!!&|3%K!cx603>WO% zQxmR97U;YPDtoI^lP+$a1ck`)jhqv*@By1L=X1BeM8}ZBa>rFfHaAKLDqdq90momT zf~s=v`8am?EM|}5p7?(oJdekv^}k%&->v05B)b%qj_6$U9GS$Nx3C6k3pYT1VGqX< zPfl8-{X%h?xf2Jf{F7>QU-D^kYAHDDgk8~G98q0-brtbvovL%X`jmN(~c6g?iNbB>xgO3);eh;%=vez zbeMfxgBbPOK5pWg3Ey9A3EWw*+Pi2b1YKg+fw;S@X2NTqYq)wHLtFrKonnig&&OM9 zci#ht*Uvo`k`B`rs@7LXy@Fi@!?tyX073WUh1EHMAofSsolMgYix<4UE{uD8_Uhrm zxRNHn6lSzTF(-02x5-R!!fQ&i)LR_jKXYbzDB&P%x?%b&?w@yo-)`owz9nbC&ZGg=uN zUpuI|EyhR7Yh@So>rGsef^C!{-JsGA6OMzhVY&Q$B}5juPppoY;I}>*9(&AF>$aE~Lr*J4|ns#nRCE{=cV!OFdav=v9E0H<6iX>;j0{dBX%(Q+_wGZ?x-6teFuQ~o|-)SV>!Jj#E1Z)-L;7%?`dd#Qe zy;Qw_^aaZ4sX6B83wEEO8D7C$=<g-3bbOES-hj_BKT zcSb=!<*whZfhZNX3T(cA<}Z|y7v~a7v3@%^rKCAEx{)TM)*%6ax$D9n z=H07|u}r-yQ&Ep^_$@RF!*Q!Yb#Ys^^ofs`)@SKyi3A5xXJ|&H_5K~o3#d#QusQEN z+R%kVPC?~O=(@)ZW^wv7PKKO&lozf6_Ra&__wUW*g5p|9<04??1NQBt=?bDq?e*>Z zHXQ-7^&fl{<7cyi%h1GBF%yTH!(A?u)ilLWaG`twi=FU}gs|_UXq@j`r*JyWq`R0# zrwAH%Ks@`71oP?VPyNz59f2clH+4qaEFU?Yp`|gVJ^M)+0mp8WzvwuhxzL7V4({7Ig(gE+&aDaJatF&;x@)IiPI#ysi~-Yk8n-mb5Smr8FSu*{B=L#0fO zzgKewLXkCCJ(EDyz+>)K9Lr6qnRhZY(qP>H4HN2LbpwPoxqR5Zq-Xi2g}$|`RHRbX zkVCw67P6^UaoPKjKVzCjW8;$bRm1m$kK%PTI&6Q-!u{XCvAD??Hr zll{A|N>0kI+*4!BvKsn(V>SpSFfVfrYN1^U|7!BdE;2F^>sc&gXy8A#xMk^uj<*}- zhCiDo;~*5R;L_B_=5!3oFDoj=HGF91KdT-ZmT1D7WiqGRiZTwvd@^TJ(e8?DwT9jG zbE`(}%K1Nea}%5im0mI9w(ezbwmc@sZWY#?Cb4YU-|9H_sJ^Y0K{pk)(l`C(mA8S& zCei1vWq!q;*<3oklF%9slOj1rk;pFM9nltw5oDZoG!7XI5EPnAdsO-|Q zR5diiJ#Jb=b(twL#*C>dB_>*-)tAKLg)3dO>s620r zJkqM$l4z!uEuXnpm&HUZOdG>&n;S&+M5YubDnr9scXK&o@Bz}iGBjxQ11-B&l7$lq zLYHhEw3YtMu7X=)f08Ui#Ub2rBb$H5@m(D*64Q$(ND0o5zxb-E>vXnTk@s}(<1lEa z{#2PLq`IT|my6}mrCP$hN-E8ZQE%RNM(mYQ_NoI2yMS}eoS{9pg$m>LDJrl-&2h_P38hku+ke|a~mt?9oO7haI?NuWhgaAYC{XtaSjgp^Wce+~U` zyOO1al@sW2>-B3Zs`kxmCLN3=HVy!<9@%OX$eGZ%fJQZr(RU3>^jTy4UJz5{{Z zvaCWHu^cj(AnwikmL)?Gk4D5e#xk&7(6WB`)(X_4;@}rJc5bAfl0AEB)#IYZC9}OV z4eu`ZD)KvB?!1^ci?^jn@~YLkfUK{CQ-LID*!HoIBtJ zZoh*MF=u79)XMA)D*1q#(^BZgE)sNnjaAHE$2&&+{r0m?`WXM4k>P?t5J9PJNOp=H zRC?L76vo7Uc}wd!vekWx^fgpGqgCE2>h!>swub%zmYirsLZdFZ$n`$^|8#{R|EP*E z>k=_Eo48tJFvc9? z;!5sLOjLjGI%P76`!qQMh7cD|{^b4ugOUJ4{v5C~nDXBbaioN#Y*CQ)rq1 delta 3013 zcma)%X*3j$8pa#@Ra_Tk=>d+xdKhv&TKci!{7&(pRFC|U(j2mt&Q^MHc0{3E&7+U%S; z^qG%?)-F7{Z(ni$hU1O2?K6Qldb_*)f12s+Yy{+PbnFde)|kSTRK1oY42OVL=VuBd zca}G%gPwvv6fNUhY`llalcrx78{eB~PKU`w{o_jkKV6jx)_)1{;cEv&%OM3e&sx4On{#~AN`gEO&4CXh~9{ciK?i6k$#>K80*&qXwKiEY=^C-h7}jC z>|O2-c4=9^)O-23m@wT5wwcx3Qc0dUpoXR3tIx5fjGGGJ3Gb61$@`+cF4}HPJt1c= zuWFO2tr2c1^V=7HJxWPgewNNco+Sg{XruxD=9@#BDrt#vR52BKXx|m z4nQlTPq%CrpPpDPzp*siMejTV3+D+QhN|hsr#E#DUxlV|<#X@OcJ-wgEj$CaPCg;* z6>kR_9wgiYS}M#=1$K%%1?Of`@&rA$)QWh7de@+(SITO3+~8u|2{u%DW6>}F29 z{RMQ)e4Xw_AlwQ<8;K|=J2gZDw^YQTDqEhMZ1RGrjaFBw{Bi+J!q;9Y=hEV6bd1Qj zqYrAyt@P%**VC0>5Eg#bJG`yi-i$o0B`sxldx2_8KMx?Uvk#8tE-&R@88`IqDf0pY4ck6Ft<4r)m-YE@ zQrjnRA{TOpolgr!gK0glkGJz~xiB`K?s<{n*r3jQd`i?+yu5FDlSSg)O<(j34&^IJ z&akv7eCZkV(=iCad_2uEl|R$j>g=YPl?&dJnGAC|&`g>NLG??=MrKHSp6`N^pFQ;S z95W6Xmcuk%ADlY(b;41Zg1NO0E?@q>IR651O=a?`@Z=3>hiQ38B~(yPq^YilN7xAXqcGp)vo>yGF0nT`W+Fh*XyY4kphEBPLmAua3IJ3UqZ zC1V}>Y$QrnFWE(AHWZ)WNaR#xzNAC%L47)ug$@^a%@_&gNEM80u@Tpp1S|_UstyI5 z(!4n===)Y!|C-&3_XMMbTW>dVAD^zB?ekdtI9pyXl9Z`*F^T5-8gN^&qu%3fmK>pd zT{%|Y&kXU&*~;+^>2qpPTZCR!AH&I}!5AA=_8gdIms-7T@fV(R&4}0$pEHHcq4KBx z1~3}R*q-OoUwD$QoKPz3)nD{Sn@B-*l*E|b+6T3;A@>V8Em#bo3>TTsI{7Jfb#u-3 z^t?OQl#mqXV9=}5B%4FZVQW}1H%T~As2%_np}H9+hn3y+

gpqy)?EA0x9Af&l;Zm9|Mg`SlA?^G`fO!~&5DtH08;|p~?!sWPcQFnL1lwZ@ z4Q1@^u6S~o4|W^HvhT()iMIrYjCGGDT8}tA4e8IqqvQ?caxchd=L%_two5jePD`Q& zl04Koxfc%yZIWsp77opbLw)sAOW9c85gQ42Arp%v6OKFEcDTD6qM`in)0q--of24+ z5G;)5*LLOMhLP53Vh^X$1(&3Gja@F-CP}C8n-111vk8XX)bm=PpMDbU&{LJC!a}dd zaR0Kxn;x?-Z8#(IBS-`jonihUM}`>VvJ-gWw%{$}6)C3Mtpo|5U@Ze?F;a2jGyjgP ziSGKPlVvIv@%1`Gwj)tbRKHqUE?u3r4YMzZeFR*{wrd~VcHV!RDF6E7El$v1!t=*5=xJYp@ZAt`WiC#^hArJJeXUS zPT})kz4)vo{wW?qC*(D^?+hh=_V&*+?llJg@Y{-5lwxE`$ips)mdEn^UT$T(m9lOh zi-iQqu`bakPg*Vr>ay%VNIAWjJ6i-bogd+v#?mQ zaCo3kiD|9nfI`Em7cS@+@hz0vBqz7%C%o-nWML<6ae2_E6k-l?vbb`inOzo0#O=bT z(ZEryX|!zVA1aOU`mI@rB!_r{N1xSi92u5G=}bYS|`Y`Z;{x?3k+mq)IUJjJN- z406+@d55+ZuvAL7N1(* zM9%UpS=S&M5OKs)n|mBP$ruHTg?C=M572zfl7YkmpJHx_WlMl9X~^GH>VIZcSCb-5 z-Bt#Egh3snQ=44P@_`)eJv8G5FRVXn0N_}X91lAw{PzFlq9zP=?E1oF?|vrUTsVi+ z)*;l#dTi!5$012JV1!j2hJZjwzXL2$2sJ6Se~c7HitC>XR8w6|<0yk6k1!2&&7%zQ zU+$1ziR35TkYwgOGK5E@7>IXPo%6Ry7jiEu+L diff --git a/fig/fig_sec_snr.pdf b/fig/fig_sec_snr.pdf index df13d1472e6f2d84a576856a8f270e9555a13415..2bc7b6df056ae0ba2175ff2adfbee5103d342d2d 100644 GIT binary patch delta 3361 zcmaJ?2T+sC8l{LzsG$=Ah9*@=@`n_Pv`f>_5fMXGst6cbKqX>80@9=OstAIJNHr8u zf`EVlY*($!{8jJo8+Pg2mzEgy^f%W2$_#z{pb#Y zOhs^p{2G7pK;Lz=HTpuuV-k?x6!hmB<;2{=l9l9&jDFFL6Poi&f$;TJk6?|NBbM~_}wfw*BS6j`uT33$t4%zZoDE|qIO4TKD&6!iuDVLv%(DnLPr!2v0GYmm-cSm zbsP&=)Rri(;?YijKJ&wL%VevHsR<2wQVYo~?!ol>cYF#{SSdgAFOR+ zFsmals8&hWid3iPsg;lO9Q&O35`o&2NoylX%>r39Yvo_$qor1O$>9$Bk~1hqy*TNf zn}Q1)KN-Q1TKQzJ6GK)mm)-P;E8**=1%=tb-Ov>xDO#(w^5V}265MJ~xSfV}w@_>p zKrGE!W+UFMEZYY?XZahhIiEGC(>a_PSA|g3MiVFW#VT3LZ;PsODwaf~OQzoVMC=YYk z`A`fkyUJPx9Ijlt*ejJhB#)&E%`JalCoB)?R6VKc10Q=#mdLVmf7|5a!-!xA$9B}? z4~|d_9Us+rm}zOLBtjKzHK$|#fD}U6@tJo!W{xYOln^)Y6V zWx{BBSylsi0Q1&;sh{{XYmv-?Zk95+os`aYc*ll7Nckb9HN&`qs*l<;Wl9C;o8v_4 zZ=Ff=mOSqWC(!%cdYFS{zfZ8(jbc%Uunv|KU@Ghk@Tn!%5Z{(e; zVj{LDJyCL7`maD6GlhF?O^Q4#TyO1dgK8?2SAv|ZUuffc%rlzZrL~-r#1YOF4vZ*O z4|2eo;`25%-ho|%ZQzlJd#Q@zYp^P#B0Hk-aG@UOz>;=TY-d-WM)DHVhgsIyz^uq> zcuRMd#$HMXi&4U!7%?{%)UpWb)U*=!H{ZevZdP|Okrx%CSiB3(l5ZgLvY6_Ch9jM} zT#;Oy5HnFDUBME$)BNs6vYb?EcXo_3dB7vt$)p;tU62V<^|Qz{aTZCnxoR&de8JH4 zp}CYWGm~BA2db6#Hb6y9NIEXeCbe;`J_ZK!jU1Jk66P-sTIq3&f3ywv%H4jG9q(jZ zE4w9UQZ{?aQ*;B;$_s5Z!BLblAw0|1cG691Wn7czL8FN98-VmD{Ve=zR|bZhkYjCp zu-)i@!eU(7xF0-HjcR6^Q>25P>3RLs@YOrkrDS78snk2}QI9ev!kKQl$!p!vd=`$) ze1Cxe!R_8x=YB7KNa!n#2~bPBRqGL!`dVs+e~*UJ<<63jxch2XtDT_gRD7CYyy%yC z7LB+0Y*_fwa%GAJk~&M3o3bGX+wsrlt4xjQ(&q0J-bcqylU8k!XTw7$r6?$E=8x-= z-)@<_BZ2Zds{kTJPV^8a!AACQmU-iR2J5IAi**hRB-yk<1m~4Izmu=NI*b|Td`#L< zyq4dMtWB2;Q{{s`lmko!Ps!WgzKTWtkpmH3F1dOHqdJq=gv6-&UY{nOF-oY#r*NCZ z_RMD6oNQ_+?WRIVr#>OA-PO-r)qRPN5MZT}i0`5nV>(*jz4dTA!%LD>$EHPw>p&hM z_TwFLL({TCo|KOBFOoA1d&?ND)YWlBvdrgGUvpM8obv@mn;)t^Yh#pZ23~Lz#wU`(={U;eK&Ed|9xyUFL5{5^hL~;|uN+*B_di)) zwqdY^3pyurQR*iZ1i-%mWbOh{*Wu}0w*#*H0tJRLIOhnLAOl{HfJ*0L@`TOIc>{B`sm8Jq(9a|L zHzU=+j;F%o2}}}<2PMK%zi`MhO%UV_?sE4$CTd(FYjj9bPP1Dy^}z9@OZ$C>eN8bQ zSJc6igIrGa_Xke&gapj1tM7Y?KI%O;o>96GlQcQ#N6wQkpclo^mD4%O%54*#&+-Jn zn9+Ic8Kp`lRHYR7Po+MuFCPA^q6B;|k=vWIqZ-Xgq=*fh;+C$LiRazISY(kG=U6w(Z+@Zhg9B z-@vAC6qXhJF)nbO%QcIAZN=m^tJUTGGC!LSZUoHqySc>E2foq%plFyqJY?=iz~`(i z8lRSMeN&hu=u!tZu7&aUPGn4 z)qS$S>jfNe;XrN*L-7YXqyjP%4s4olwpg=T4rY!k<8bas_ zjCbE=>s0}$upzuLGn&zLq3d@Ohrh@jZbHuy3+*~^UXIr`tt-boMq2iUlJ4WNgpuc5oR;Vo@ zuQ^K)$lMmgGYRX97x*6vS%z}4eL>;tX|S7S(Epni(AtTr4B_yU*8}1R8ZLrdhl!8U zvLy+Grv$c!u!A64??38sJ9@a7ea|>YIxL@Y=eoOh@CB|AcD4q+Z7nJDpS-a7!I`u!@z;P81jGcP+Gfq+eYZWFj`->EGHI@qs?V2k}+89F5dPPLBMxoSU6_) zc>orP+RH=1al5qJcMjOCMFQL44v+k|5|Drvc6TvIBnG{^7&sD(+-rhE?+$}R;`Z^1&k8OWA96;|)2%vGO-6jAU(AwQJ5`_fz@Gt;!cW3~O0?@mf0kCKe07IkYnu0Jm MG)Pg=#M%_}Z~YO1x&QzG delta 3463 zcma)3c{tSn7PgIL?1b!OiJvet-&rffFoa={6k24PgwRB?jO@&a?4qb-$Tmb-5~7mI zk|l&>mnGZJ+Hm#z=iZ0sx%YnlIL~?B^M2m*o^u8(SjH+@=oDtM?Z@k~F9p~9cVo3| zPvP%LX~$cRNkHz4z5uO`tR}R?3fY*s)y8!0YJdNvjjr7eI8A(P!e8#E!yA>g&SNum zY3TRX*x#RL#nKqr-$_&R^IJEjw$?YQ=RJ01bS~ZgTHny_;kvZ;Xhl0Clvca+;i=oR z_k|wuI;5fXp-qrz5Se{~qJg$@oQa`65lD|w%Tv@*@B>B@QQB54@Dj`DMMhs~Uv-vg z<;Hg#CUgTWb4Qk8&e)8YVnvHKv2iZH@KYX{Q;yiluA3iTa;z*-&NK;0Hqml7tJ5N^ z=LPhTo6X?Sw@)mbrAxB8I%!H~A$iOF(mK}D78G_W8Nf8TjOG@4qwW2$oulJ2X6>tN z&Bwxp-HsPHwl7LoTNsS`#A@#bhrDY zED7?zHL{=OY#4!k!kx`dBU#qZbZ8@^4zcwdexprOZF%4zqNw(oZYJCQ)SfRv_3C-U z@z=+{eVoqeB_}jqS>*2-aNO)a{vfz7#mu~OAQ%@_F)5vq)f!{F!V!d*Y+CMZ*6-hN zOPaJ5v2obO^|?p}#oaXqt-d^33JNz+h?uM6=*!l1$yYimY2SM4wg2s2b@Nrvpk|Yc zxx@9Cri@xc`f3$^Re3;avHMszJ)lSFb8IXZH_?@AHRZDa)P!b4McM<-`yj*G0nobQ63cgmPt+~yfAk}gm&xb04|OAoT5`p_+JQNq>*sm75iv;6$go2EIT%@j(^1`0UFD#N9JK22GKBkRZ_1cXS$nbGT1J`=V?i@ z2O*c&F7fPGnTR$1xFfe^Ec+zhAPMQN3!Z9K?R`cqp(|a5DA_D;746YPu~01d5ADk| z&(r(mlLLQ>y)=o+bG%mKAz{1Xv^#FF{AXfyRW#+FS*{JKKT=!r8~p9d1qGX1GJ zTtPp6CwPf0|F>=B;~${+2rA^hZk{HOTO>o-%6(91T#wQSYqW<$yMpqJdp*7D<)k_ z!P!l_psvWcfvFtSkBo};M!^et#|%8zFzLtTT)R`+<i8pE2%}AU*-ru^erS-SS zP#y%nn_tNY9Uo12NjBCp;_QV!sa$_Ci4C6v#3l6U0r*?y*{6${$EM4$(S5d6@#3;& z0(>m0N+HdQ<3RwD)h?k&uOo>$K zuFol#35!Q0`H6ZTx*kCvKhl?$RFE*~XoTi4o&FArA0bqKCmnq@-F0``Lai37=9fEh zx->P<$z;I7e)5i@*WWKv11^ijTUy%*!6+l-UdhNsk=K*_J$ARn>@Fj!HgB$MP8_<+aF2P|~k=aMry&6oF$2a}m&&QLcAL zBh6`AL=xb{QT0)juZoL|Zof3x*tjCjm^sY?6L$QVtCwIJuZMR(L^_SP$Ge{(od(oI ze~i>PI#V%b+i6k{$9M8?KJ@u{VUp{6vP91-lI+VB3i)JZfMEeziv z&Dx7#va*zLx#WPZyL;jagUK|i#wsN1wiAl0@=FtfoKQRGix)eJ{7iA{EsGx^1_tYm zR3|IClP}Xiq^}0KVIr%B6>}>VgrlCx`l4lWQCkRd;Tcl6jfA@Qg|4oP?tFX@tHTV5PcE0 zR3upS#Dax>o`V^Oab+@*u7T!SesOBcnPrpwOg5`Q&ZcfJbH0E1c0Mq@;iq0C7s1Dj z&}A^zbqIMqAMwo$X_v#*!BhESYOb?;%WLRb>-@zxIK@IpgR;@|-vvNTHwTbfvY9q3o}W(A@96vFF`t%r)%?= z7sdxl!nqO%_8B7L&u-p0-CNA8_CVC#!@zq_>^l|61HD3sK zP|Wj0^L8CZ=ca42_K`1>BzSad@jJzz`D6j!A@kdd{4~tgif*6`poI&sYGN=k{u0oC zp5nf2Fj#8$uE}-NI7&dXL$YTLZ)Vs+yCaBk(!6zYd#Qa{wKSYyta3Jgr|v=(>wx|^ z?fKp7?B#yxDROnJYc$>TWX=pk)Q@YU;Qq#Ku~dz`=-Xz8Hq*a*#4PkadKEK&&4nBm zm#7Z48K~Y~+7O%YRh!tkwxRM9a=KfB0I?vY#WLYECFL0F1vB;KVjgiLJ26 z22~e5T&g|pY}n+h&{mJzYseIVb?g zC6%SflRXlkd?9i?2I~()xdSbYz%xIm5%$!W^-I<))^|VyUv@VMhEvQckKy#R{WG$jUXpfR?||iJy}3e z^{6DO=;Au(%3V(t)5&*ETIueBtg<($4~UPr*<^m=Es_e74dwo;T>$yVt%@Ye6$LE? zs|b6I3lLuU8&w3fxV?R&J<|^y=Wdc&%Ks37L;i?B#9-Df6D(Gjk3^Y>Wh6De75M~W z8rj(sSpWY7)TF)uFzb+nYI~zBDNc^oUV}*|FK>)DGgBNZ_gYeRY7YnwAfb>X|1?uq z)Sturd2*g|;C~VT1xKO|U19KesUoocJJOBUy