From cbdb06821925a864063d02790079f782f05de932 Mon Sep 17 00:00:00 2001 From: KiHoLee Date: Fri, 28 Aug 2026 20:34:39 +0900 Subject: [PATCH] Fig. 4 on a log ordinate The unjammed reference puts the range at 0.053 to 0.998, over a decade, so the linear axis and its below-zero legend band are no longer needed. Minor tick labels are suppressed to keep the left margin clear. --- code/replot_security.py | 31 +++++++++++++++++++------------ fig/fig_sec_brute.pdf | Bin 35342 -> 35342 bytes fig/fig_sec_jam.pdf | Bin 40343 -> 39902 bytes fig/fig_sec_keylen.pdf | Bin 41775 -> 41775 bytes fig/fig_sec_kpa.pdf | Bin 35632 -> 35632 bytes fig/fig_sec_real.pdf | Bin 38085 -> 38085 bytes fig/fig_sec_sens.pdf | Bin 31698 -> 31698 bytes fig/fig_sec_snr.pdf | Bin 40070 -> 40070 bytes 8 files changed, 19 insertions(+), 12 deletions(-) diff --git a/code/replot_security.py b/code/replot_security.py index b0b18a9..4c18c24 100644 --- a/code/replot_security.py +++ b/code/replot_security.py @@ -25,6 +25,7 @@ import math import matplotlib matplotlib.use("Agg") import matplotlib.pyplot as plt +import matplotlib.ticker as mticker ROOT = Path(__file__).resolve().parents[1] DATA = ROOT / "data" @@ -378,26 +379,29 @@ def fig_keylen(): def fig_jam(): - """Target-user SER against JSR in four cases. A linear axis is used - because the range spans less than one decade, where a log axis would - print wide minor tick labels that crowd out the y label. The - no-jammer reference is named in the caption rather than in the - legend, which keeps the legend four rows tall.""" + """Target-user SER against JSR in five cases, on a log ordinate. + + With the unjammed reference the range spans 0.053 to 0.998, over a + decade, so the axis carries two major ticks and the minor tick + labels that crowd a sub-decade log axis are suppressed. The room + below the data holds the legend, which is why the earlier linear + version reserved a band below zero instead. The no-jammer reference + is named in the caption rather than in the legend.""" r = load("sec_jam_cmp.csv") x = col(r, "jsr_db") me = max(1, len(x) // 8) fig, ax = plt.subplots() rj = load("sec_jam_learned.csv") - ax.plot(col(rj, "jsr_db"), col(rj, "blind"), **STY["km_lrn"], + ax.semilogy(col(rj, "jsr_db"), col(rj, "blind"), **STY["km_lrn"], markevery=(1, me), label=LBL["legit_learned"]) - ax.plot(x, col(r, "matched"), **STY["pub"], + ax.semilogy(x, col(r, "matched"), **STY["pub"], markevery=me, label="Public masks") - ax.plot(x, col(r, "oma_targeted"), **STY["oma"], + ax.semilogy(x, col(r, "oma_targeted"), **STY["oma"], markevery=me, label=LBL["oma"]) # the two blind curves agree to 0.002; deliberate layering - ax.plot(x, col(r, "blind"), **STY["km_str"], + ax.semilogy(x, col(r, "blind"), **STY["km_str"], markevery=(0, me), label=LBL["mask"], **UNDER) - ax.plot(x, col(r, "perm_blind"), **STY["perm"], + ax.semilogy(x, col(r, "perm_blind"), **STY["perm"], markevery=(me // 2, me), label=LBL["perm"], **OVER) nojam = float(load("sec_jam.csv")[0]["nojam"]) # the unjammed reference is named in the caption rather than in the @@ -406,8 +410,11 @@ def fig_jam(): # axis-spanning lines, so it cannot move the legend off this one, and # a reference drawn along the legend frame reads as part of the box. ax.axhline(nojam, color=C_OMA, ls=(0, (1, 3)), lw=0.9, zorder=0) - ax.set_ylim(-0.42, 1.05) - ax.set_yticks([0.0, 0.2, 0.4, 0.6, 0.8, 1.0]) + ax.set_ylim(6e-3, 1.4) + # a log axis spanning little more than a decade prints minor labels + # like 6x10^-1 that consume the left margin, so only the decades are + # labelled + ax.yaxis.set_minor_formatter(mticker.NullFormatter()) ax.set_xlabel("JSR (dB)") ax.set_ylabel("SER") ax.set_xlim(min(x), max(x)) diff --git a/fig/fig_sec_brute.pdf b/fig/fig_sec_brute.pdf index 3fb1b634404de0fe919884d43068b0da155f07b0..5bce3b488cffa2a61213fc6a4a6db11c706f84ac 100644 GIT binary patch delta 18 ZcmeC1!qhi~X@f>Pv$27}X6^RJOaMP`28aLv delta 18 ZcmeC1!qhi~X@f>Pvw^Y2X6^RJOaMQe29N*% diff --git a/fig/fig_sec_jam.pdf b/fig/fig_sec_jam.pdf index e5143501543616eea7c6b2376c95aced92f7105a..5eefc5a0952ba67af6b8200fde6d7c1310690ccc 100644 GIT binary patch delta 23498 zcmbTdWl-Er6z=&Z#0iiP*`FamTyMG`S5OBktylS({ z7uoPQTE6St)%LWsgcSAPXe{!Jg_szuiuF#m4{RMaQEs#StguU-OAzR`ccd~B+Whjo?+D3ht!_mDLTM- zqJ`ev15pBWXIw`eA-)?+Km4*?+@nZZ2A3zE;q0~SNyPOo1*u$4gdSb4)tkY7iw3qIUkYyA zY80?!?6|@PeBb_obDC3jZT|JhFTgN#lt%s?&QC#|(~PN|{bh50 z?Yrl1eSe>cF0IIslG;!msw^e9$9WUu2S@+c9Jlkq&{3L<=eydpcR&Da>DJm*m5HkU zxFXJ4LrR%R$wy-NtE1W<{e#I*z^D5!61BhUnsrmNy%NtVYBUEzTjrV;^k%U<6wmQc zu*|35L)MUt<-M~{$&Hz*x<<*3vG4xVaNqDQ-;DDf{%7`E;1JP~ac) z&ioydxIr^*`#GwY!76Fv-(vi*bA#$ZG|rCB8)5Y8kcFy{3| zl2Mha^36ycH=*BYfj}fv|5UEow_ZgjY#W(5v6|`njpzievKNOti3wa~=8a4wdkK>( zhb-lq)6zK%!sV3{b^5p)E}x7Fg@$eC*PP6W8+IAWJ_YuCh*!&-$+T!>5|MwOY%{M= z^oG^YpQS>!I4C*TYH=Ht~tc#Ex5S;YOzaXqMSJ0mmV^6XA)AVYe8SOm=#Z8KRbRq=C&Y?O~@sbDhDi zwONt~`@Ik#MMYxZEwKE;G2(~nV5-3u3H098u7~C7SMjEFcjj+pYmXWm?V0LIw-ctxp)DwAn26r|BpmSamqWbwNaF)r zA*KQM+waJ_`7Jx8_b=Jux9_)dDcPY7;TsljUoGI*;i!IN zGUY(83n82QYW0U32T&iLU-lpiCzhz+%HGlol#+B%W?0@_SyFq0Z5&5)zeRg4Vd8LP z6Y8*9ly@}xN+U4H3{!^pt3s&nN7J+ct^MbgUkLmH4PRjHywQl@EXfWsf01@dHSm{; z*0nTOj!KgTD`Jk&5q)y_>&XWXyiz&BaNN(7Q9m}O^foz(-W3DY{M$<;>!msE@4rPQ z$e^!O4A2a4!E_YFe+6FtS170sjrn3`*!LNVIcFHw^Y*97@Am4K?sA@dTnWd4`pcXj z&3+5dQBA(rF7#}8mP0^E8TFl$v2l{l1|9rx0EdVHh?wvqM9%*cxW~-{pYAC zUo=5K8m~aFcTbck*Q?M!(Mute_Q&rJz1ExKqUbq@iUlYn<%J&$rH7m$d~mVF0JbQ_ zg_te2uK|5*-D;s5!R@)S`2K>s$`>|#Pl@Jf`*Sh+`5|3j=1rZoC4AxnLn zGB|hHS%n}nVDsCH5$O?gfwNjN z%Z^Nz%v4MSS6%sQq5Mpxlky~zkhRcb=Yn0K1{Xn}l!1%Z&KAt27kmLUKu)L#497c< zVz#dWDG5QUiQ8b(`|bJ5{AFV|6+7RF*E4IeSsejf1sJcKmFsP8RF$YLg6!j@-VEd{ zKwL-0`gT`kN%<41r{+8f|?Z^fi<+MZ?%!V!BB_uNOxu?9kqmGAnaxH5Dd* z^~c(ld9-$vY-efVNS+kC7U6CxRVhSSX$2sI_!@iHmcNCqkb@CzH^Vuq_qyNBn0gwh zIp&k~Y9P*r6==?mU;Z;|v@OLtBDF0=h9ysK%qClbj@lUFP4DSy^V%Z~Ke+^?M(G1;hm_#@=jP-ZnPlw^)(HDGP4Kl`tkLO3K z8lx}nf{NY!I}Pgk4ny3$4qI%&uErb}RbQ#u$1a4}t#41gIrPP|zF4P@t`bsWsLRG- z7U?IwdO?Nzw`k^6UP{WEp=5#ma~fb=M4I2{N$7WiPs_h!JPvPjwzbeWQA6v8>b~G`d*4TG z4ddBu?y2Cg0^z_t^5Q3hpTB-2)7b@Y`vp%C*CaS?ay<)qbgbaa-+IM0X zRxUjH%^z;Qd{8j1UH|y-i0<(lAnL<4?_^EG>17)+84)HtL(W-GIXGM9cT~kcDk=0N z&7{kT<0^%ykr?^rz(1{3sh_=)TgbTI)J`|fyl(aoJKeNWd2dEkJ|z;#ykLDUO6qtd zLp$E_7Ce1m$`vmgIVnHYG7h}Ue?HxPt&o_N`Bw;^Kk^=YNb7Y8z-Qi3?7p*bFn4iv zw)kfMKa``X?K@5`3J!|@A-FksxxvpcxUl&J`2;A~l`R~sT&*cM1-ZEez#;}zz;UOC z?~4*W|Hr;QnbVWY2%|8ghN<#SK07utbivb`={fUcVP)&JBrk zy`q%gI4gnPNz?!YECwM+ZhOHRYGbou9k1JC`-Ro++Q4q|z;^=(g?YN7_&4ZU(P3+4WW(kgFL~M& zs}I#x4>Yx$39>CKj0)P7nrzplp zpq{ksfqj;7O^ThY%lq6B374`eom6_t$TUp~%k#9Iji2nMZdeU{cpclZ;(0T4i&}+u zk3zr1qUf}a2T@cXwd_x>M*Pp8_OGO>@x31%f({*(ub^UK_beJVugahN5?6jIe#b7I z2@5aEuAL`fRc{A!vq@Ea4{x2y0M#!(&K-Mq^Rov8A3Ntal2cM5e~B|{O~#gW7&ac6 zx2$0BV#}6vbkxR450r?eMbXlic66+1Y_}FCgxg}pY0QynLd_E-&(3BPRtXp>rNX0P z<2!B$2tSZhqivg+|IQpqCgR#UleaNp->8SgJK}D0h))CJ=MHt3pC)ljoKUJ%@g5ug z-`k6L1t4c8JfF)(Jf47Qbq#DAQJym0+0ih8diBu*UH1N<$F9A0e8Aw2Q2 zwZJebJ+NIqPjzm?2Yz@yl`EWClYtlg(McX!x(|2yVPmwI*EI zT(?RqWgWmt?v}IUnm1OSZJDDnGmdHSn;x8SEt6*)rjBeF)1@;ip3F6QqQw}TPV%gj z9YS-$Lsq@i%eMnvRSbH16#yM6t7R3Kg4vlR`q$>_Dz*yLHnfr3q7)!6-$YaGjKor& ze9d&uvSzI^o_Ymv%I;JO>i)613l+wiOX#@81P~0WkcezBNqZ@38hqGM+LqUl%N0^~ z^JKAy?ia*xxh0n8Hw%%F7?b7CIdurVDu+t{(`FrtGRDw3C$5VN&lY`BGX8~a0SVIj z`RS6F>BBGj<%dku&G>%>qUqu-wYp>DQs$qUgoFd<;=TUeI@PiOndH7xaoYEeIv!#` zobgKYFm*$>;$TOX_xsTyz9f*Y-*u9rxQ3A<%`9~Dbgz2g+U-HBDS$&vJ1aU`yf$9s zPb^+gce=nfs8czHGB%!dqt!R5A|mBNv@xZ8O)j2(=rzK(F1$->f@)O3r31|)U%^&$ zvDB~4m%a-{uqTe!twX;#&4sI;#k2?DFkP#J-#3Vp4i=xMxh61C<{R9+al4jOr!Ok) zr09}^?kFV&*3!Ns-=VFpo7Dx>J~uOvU_rH#PljYsrNRbOv5jD`%DN-%jlm_RJH*|CxZmyVmc(Fe zR$}v&41I)QmW`U*DNNyTu3f!(-jDv!O?)TA){FN~N4%HDF=LbAy!E>S{q(%z5BA1o zvI#Q+N*E`?HM8&Iw*qyj;sME(l){&@k@Y;2u$rCjho^h?BephcqvKLR1e#E=_B7V6 za&;tY^g7AvCj$uh0P)&` zbjj;sAqq?<8doqv8;XIBNz5lGO}3TPW%IPvB^rK8voq|y-Tue4oWai0%EGqO8|il# zB7eR=-5-x*t0)`G#z^Lurz4C{ey3jXrIRfU7H3>YSg=y9RlImt?6$41T?9g>@ld}# zxs0gs+05SB_#;-d2l!NHpSK+-%mmTcc|(pb8ow`8T*a7}qVjCIkMnz$V%bQQKt<4l zrKN?XtlD-{1FI?ChCsd<-rDq~ktMBKBCV0f2wx;4R>IJqnW{WRC(h~_ShyjMrfuUZ zdpa>um1*m`veB&9?x90*qPtyLHt`MexwbAw4>_;H?fgSgX71}`ptm2W#JSrq#Wp`AB(D`5P zz0>7xfsH>Y%)^A09mk5QEaTT!37_BDeA8;3uj8|j(6@{b52KkT8JAaiH-msV^!N#T zz?TaTnOU)caE93HrzZX;{*ug?Psw!c3J!Hg9^C6Jr7ImeE44g!5f#e3zpc9}eQOSC z=bG-2hox%vC&yT}UHPT8i$b?%`1Jz|XoFK$I$17{7R(EgUObFk$C1V25uMrjT|P8T zHkj+Jhm)h)j;((#uN~&AB0n`FC_IvofAyPxw$AGVHMC!{^eRIyo^!2>vsN1rDIKah z^O#&W6#O@;0k6p1IJk{k@SkuIY7#cW2!}S`4frH^9G)AXK|xwtsrc2BT8$-=NmNFK zL-M|aj=>`AYIzuUuRK4$F#n9c|BQM{FphX1d!J|@Z~p`V_U*%pa;;i(XFYMp|MOmgMq*V1A5dKMz%XxmgR=?gvC3yHn zmP+k;r_UhL?_TP7(=rv=VLDGdDe~xT^K!NP?v9do6HHzzbZ+{mT@gfOY+|ORDf1tf zX!J|1YV#bjxdb{>4M~A@>N3kPd ztFE4}*5SBSynTLn`M$ccJfGS$cFt=>43yNNn6&oAdm}@j@a6iItci9FrmLPeN$5eUiaOUlI}c{wh!V{iSj;`I z4L=s$F`!G+Sm}RrQ*x++alqI$06RF?v#9;={908-iL36D4e3(nD0EWv+&fZqFa9&J zo<;v_MZDoZpIfUrGQ3%mgu3j3OpE?Oz2p?G?4VVG581tXoip2G{#G~;9-AJ*%{s5u z?0e6f`C2zrrdsQv6k(dE4+;qYYhao~^`nXhxb%IJY_OJ%gh|3AWGtcVdCzA{4pvrz z_pgHV^wQ`pU;1Sh(H&&+-|Zldd9)^J7-`drUpFF1Dm{{OTUz)>Pf38a=2a06yXIDI z(ID0CL7r<24N?;$x;xQ3@0!Z`@)$Ax#iM=xgDyK0M-z#fp}jj<^Q`R*lFUpk977Vr z%%p_G#KcV4qI!cSYtGBY22}+;M!izKz~hEv#Bo%`*fRycg!`NOB7_R-8w5J03X>wE z;uV3`d0F?|X;ETPODRxTx)V6lFoT$hni-o}1B2;kK^GwTv^XI?4n_gSO1{KFU!2l(wY77 zL&kn=GpXT-@j7<<&Q^`Rv3Q!_nT2Kfqz+c-(Ng_u$5IVmaRB_`vEOstDiL$CM13s5 zxNx6_x#U3K^2=f)PCeI*n*`W1KbJ{lf3JZviQ#H|$}8sMepd3VFf%J_VRN-d-F_CX zb@_v6y9a!ulfFf`WwjiI@I*fzS7WWYmPZ?E;iHQYn0&E44}^pGXV4C^u2c_1XYLEJ z6iy-2;`KC-Knp@%md2$(jLJ{>t|Uq=4UAAY(3mYYS01jI|2{)J`<>gC8-HJE*2g;C zd3}pe*0L$v#@rGy??ddzeP@Yx@U3^EhTCYJGmp?=_k~{vC#9LMWsyZdRIAR09v9gPs|~Zy+^0c++k^DIW^!M1gD95Rcu!i?Z6HJH zBYkN(&feoKdpvS)+1PH?cVDT}KqO|EI#_X5A=u>me!+ICZ}v)mO8N%9N$sC1>ThFG z8a{l;wI%TEEQ)9f!MZ+id3hdCD6#R|=U)Yn+tcnchvO@_WCtFLqE5T$f@L6ds(R z=>$BUg|%a{6}>F4?r?THMnh^1ltN8aNgwy?z?foR_L3f=;YTO%cGLMX&rH|i2ymDB zW05#31FKGFj)yz-G5qIC}yQ zk5>s`tw_T=<7XY4>m_wbEvn=ltxS|AG9u1pAsrje1g7`&a{;dc!Nc3w0FcHBk;Kk-PvPH>-5w;=L9+2 zY?;j-<#KB=8&z30Din|lw!6xwJisOtZx6O7bcmU`E~@t%JAnI$u2HU{Tm0g>i3Awd zNg5Xe|L1oJ77mlg&mN)Cd2==%d1@W;4gV5%b9FEi3rNXz^v}#j&$DPWJmf0pXO@%Z z;FGVyH>$N7Cv)zW@Ue}w`uy3L31MdqRh`}m)lVAppJh7?iprd?8|OusyIJKMJOAU$ zz`FfA6Uk;{V+=eE6)hE+@lAAHM|YBcaliVBvG=lA)#t}H{pQp(WYT2Ka|0I<9_%>J z8|w^N@*I_-#y8UCee8UC6u(gPYhb#fw$(1B`o`7K0P0d6-7dK2l`a0ReqbsV%c7cP z$)a?ckYQ(4BcW%L7w`#*c$G!uwh?7Nl)Zi)gO3n0E&$HD3OhCVnPXlHWd|SVr9~j` z@JgtrJe{yltl+IF3wY~o=6k2zr-sho)$DjHJH3}Ll9*H2+uKx=7f3TTczKaCPmi_u z#oG2&`IW-P58F_Xn2$|6e{zTRVUa##%2Hvgx&6eu?79`ee&yXJmsq9J;a7ldcx?Wa z>v`%;67T|_{EQ?D⪙~TRv!QtcAUrq26@*Wu(z`x^io_a&w@osC84j`-`aX_uJdW zD!oqI9^6($3+wgtk0_G7T*{xdH_7+5FM~eVyKvB&D{gwci0%#%ARV zz;%+emNzfq+R@bxqQjwZJ=q;v4PHDrI=-q{Y?rUz+s)_d4fk&9C~YUJwlGo_IU85u zXKAY%{&v96*NEh7;w>i)`cs`L$+_} zrS`*JWMEv|hiYKl`g(>6%5f=f!U-#hxS*6`dh)vNIc;_**x#) zj%$07R9YTvmhhb_rzES6EN^kw@ta%RNBs`{`umKql-O5{ni^baMOvP>{=2pm2s}Qn zz^O-jWyRRlKWtjdSFK?gSKmK;H2XGbt$3H@iH4Qc00g2o{}N+N@%mhncC0MSGrh=F zDO`^Vv6BDXq`LV*^e!4ll+OQ9{A27Nkz2OMFZ{mGOq$}s_OMsZ_4h=NXpi+u&*P8f zCw~2wh9>@IG1LC4?XEKM9GY;f1q6mgss1UZKNy~2*ZQHX>1k(9V|BQE&=pk>1$z(3 zDtg;~c{yUlC2X-{etmhRbeOWn-w1sD@#FJK03t9gxbDsh>p&fL{d`w`YT}nU>025a22)6R)5n{K8jQd`+7HGb+)!*_A}-dSms3=l zZR{Tqk-+2THAi<9lgFb2Xxs3GQV#Wp;ceRL9p7n7MW-9@NKRB;XV+hMx9i-h>FoXW zekk;=_YWoV`3XbL)OD;yeagk4F+9cVh{I<&>Fxsg7mt~jvWrEqA0@%5v$zvt&aX)l ztxEi>NK;&t_kt=U2nVl-c_^xLu5-G6QnJhPdz5$OA%JH5;{0NuAuO^e&?F2SlmrPFXLvDqt@)rtYlo6s_D{!4{QbYtLh%f-#DVsbo1 z)ZK(dCktcchtoC?6UQq@@6WI1Sh{# zSm7izdTkRZLHLqUsz1lDGT^=G&viAy@Q84^;4)RrzI-|@YAlR{+J?aevIlt!*H|4{ zk4AbX>a{L;RQ_)$RHn7n|7cf*v-aCco(tQ`{>MJ>6$U%dNz9JtWw`^rF8|ZekLOnQ zX@htwu#nLFr-{MekM{K08Ms%B>7o~}=7_g`V!_-T5XKY;!HU$hWkGw_^dtq{ao%zr z6PNKrUL7Cr`P=qW>%ArZlk0X5;ClUJeRJ{)2~ob~aicB^(l!tCcJ*B+PHR&`@!!$7 z#20wQAJaMkWi|DcI~Ywc23?QDfove~#rE5tbZ2SmiVs$s&dQP&<(k|~X{OtMVbO?1C_5(w}LzqBTsRTWpC&Vu5u z>%l#%7mIp44_|Mn(;9<>8D3@xr|VWBjWYhSR)< zNN>P+?z>j3mRI?O&XwW(cbC|4uZ&Cn>$SCVgM;6NXs5#+^heppKF%ixuAn`5+G>51 zmE+{{hK+~wPBXzB9GfRbjn6v(-*6vkjQy~d-?v7EQRkjlbJl@ zkc442gqxxs3B{4$Y{-nx&N+n;kK31;-{O54PbV?xm52LIgQ8uC^!6G!tG~nArC|d4 zB)RU2#dm!77W%ybALptRmTBD%@A}Ixuewoc?T^QpJ*D_vVE<7@X=T zWlJ%?ltX+tBd}ogMYeDNVMdrwPqeN}ky3NaGT*J?n~rbw>*`?9!%VMK0T7eYq27FR zqvdgZ>Cj{J&zDn(q$wKd5q;gUXxr0yIxy(9Vq(lZ*!v!Orqm?e9NTR>tI;VYPD?MK zX9JgHLVVV)={~N;kSB^WjMM+HPn;Fn9dmd?`1FYu4Xia$;L+cV!Um zthUd^f1nxFQYfTS4TNyK&YTi~3wf{r}u`hv@16te8OLriSahq&cJToznNZ iK3Dk4gjBV;h^S{etd2zu<>W_vrC2S<`$HvuG-6R`_A@oIGeQP_@T3WJ;4i$?O? z>~wPFr$7WM0rfKsi4s3AH#=GqYKp1+|1&+I>fTB=(YZGn`aSL0|9H6e!M?Y!1=8G$ zFFUj1Q8keMjcfOf>ofl*0e!enzp+=QAzg}%!U{cr@>--nFt`GUp;4=~DDwx{y#QmX ztAVrgMaj)mNcT#&Xdyk)h}36rqt@g2|9iSe4I;@kFpJz(8#S2Ki@nR?zH;2;gz^iX z-7<`%r`HNUL0OK}FZMR_*6aa+YyW4bQH zt8Cq{V?hv4LaX^l8>&Wgyi!Wma}&aBi96=+0|1&>#Y9p0C$9p-LL18QLu;z}f`l>3 z;JNkq0*OL##jK=w@5a4&r?5-g7!xgKgUal*YO!+75gKeQD>tUF@B*#E)Z7{EGDFLL zjonfgb`&6zq!fIYSw5qzbGuOH>UDT4`_q6Bb#i)}Ng`KD%biplZ40S9@$pE9cIT~q zV4qey-~8x^T8l51e^@Mo}1+DmT4E3Nf^zyf^Ppla=E=zpnW#) zY(tY}9;cj8c*rj|?_rgo)D~A&KzyL;%|L#k00L&1pGJ566aveRp3DPmuO-e+1j+Lb zg+HMxU6`M~@AVgiNDqB+<{^}gp&U$r%9obyIM3UvZGT94PfxA+7)vz>#u*AX=OM&F z;a)hEDMN=}Xtik!(QxS{?Pxj^31($V6eZY{&3Pnb48Md)UeM^tbkX9+GY{>+yq$%Y zr2)d$C|~&rdL1xinB81ZPlb(gvV`msr!~-yvOB@AY;aBbgo-_3Z+N{-%QB8xE3%`) z_Uz>awpUh%q%m!E{Hdl?#w3`mZ^k{>x6NRl;$MZY8Jl| zlsBD|16y-lfu$0sKBX(7CC*T&x6xC%F!T#rKr|gQ ze{jm|z^NfIdD>ZDB7ZKIjZ{@`D&CyAmH(;Sk$wv2z*;CYrjUNx31NOgFZkIVT)pop z6sTHIJf+~ul_d#^Mm3xgx-wjONoRWA6~jnrar$WA+gr3V&>@HTAR0mE&Al$|n457>iQw}V zUY9)0@tA4fUq_I&C2c63=3mdg-Va7l-f{Sah$)ii$IjC4gI$T&RXu>I;{90!VH;RX z36eiKi@zUUse$^@xDy2(_&I$gR)^DfX7oqnyvL^S~nlFm9 zH^ySHR$Y5wMDJxJS6Hi^0CA6Oo!YUd`*Y#=XiKvtU3YBaK|s|Ky8MDKKI;!%?XcZD z;iRkqRV%BSQahq@^V#M1+WlqA%6yUYHTv3vmi69zVZ1f6d@18*DivvsHQIa-*01Qx zR86U@->mBDmzM1qg~PH&C(QQh(U*Q6Q@L}thZv2pnWfZQ*a@}=Resf}OFCw9=WP!) z8r80yx5F?PT>xs2mb~3X+XL;t5-&#|)46l6_BnjZSgt(ga~EFybMn=ru6=3!n5-#j zee}fa8hkyxcl-=V;qyy$jO<%%-QW`R_$`uVb)X3xJ2VKxxgfj^cnF4n1=SWWbKBAT zB#RDaTd~*RFDo5eAm8~Ubq*L?Io9wm8ywp=MRxXXSOBNB*UPVurH~)*Q~mykS)jf` zYA2WRkCmD-{QA2rH)|Z1J&t{lpr)|L-^eY=uN$9rU;8t_A8hm&xtK@4=*B zU+YDYZii@02U)$L|R>vY=nF4wsxSOjzJVUT{lIeTk}Jv$yY!`^#^Y#UdBa0Da>@t4nXOF#a=Hv6M-uN=I7rnYI{& zeGC1TswxAK>5T0gouxjLt`)LZ@|99n-d;q#W%ALgk50qQ3!PM68|Rhf%b_D z_}M*T0!USP}Tw)-abf&Pgb^%FRSc3*7Xbl;vnV0A%I!&qm*A_G`&sY<>Ep;H!2 zg|NN0UQq@}W5CCy zVj}q)@z*qjfKfIa+W&T2no~dOqglU#X{LZ)6h2O$v{OVX4P7MTwx(0MfKeu8QG`vN zx-veubW#Z(cR!07wXIB6D(hiC$utE~zab}xC){$HO26N?_A|?;$Uf6r=}g86Y^%t^ zZ4##{0Z=A8+XwuJ$iDt8Agb|kN9r7nFH z&Qbr>_N!V6yHETP8GYlX;1(G>yyl42KDcRQi_{w93ARV1PoK6^bqi>Xo$LcvL|9+% z_Q&%QPh}Cd><^#_d(-wM%4}><%#A)C4HpDdcM&cM3 zg)JTd>6_ffuLb=(emE$+?nv=I|MPzh-k1@o0yNB>pZ z2or6%j4X$g(`f50VvYeC;Zeh78TX`hbB|@I-C^Hl4P-*61^KcL-jIJ?Hwne-5eerS z5k<`SpIkI5gvrSb7V#{}v|LnSBl$ZVUQr_2Wb{fFX)GzYTuh_~BY&MkNEqdYp*wFc zqy_b3;>~sxoHIrAVp4Em(q0jnH1wm47n)w_B1YMi#UnO#>Z(8rw|P=UGWQOP9`$#N ztW4IU9g<}V;vGXl5Z|!nGL^xOZ|i5a#7LNFt8_NwWP;Ub;RT6Tl?W)CojneJBofyD zuNEooP&Q^u8Q!^g*D7hus54Ryo4+9Psx+k48Rd1ZG^DQvAMIRSylRzjNaP>MfQ>tY zJ7gS^n@3h*aKJgTLu!NZG{Ixk2d3>+-2vKQCy&D#34`@se7r63RTg7|#DPZao!i$a zAqk*SE12qSg|Dg@yGb1TND6H90{6D;Uw&uXjB^}mhOIiM_{w!LZ-P%pv0z~r)VH+{ z(*8^+N^vk`lpU7h-29;E&)OZoIdTfSzJNH#K1cv3NvH(z5eRJZ0>2gX!~}p*$=##k zF#p?P5elr4RFQ&@(YDIa^eOZ0y>MPgaslmkxW9tF(jr%bGON<)!oM#u`c|wuM|p1Z zZ8qzTWcu03)mL-gHl2-P`X-g1kBYArUsfvM zwNcTpU&w2;y=;8BB55Drq-&6uRhm_pRSB@pPfSnDPs~m%vQ4qgvCXh8uuZegv(2(C zCfkfQGB@C^B&{gInc%i?BDlVNQj@+xe&zgv&7#dw<544V1ICIhToz6Tx3mYlM>grT zYqhJi8?EN8=dPEo7p_;X=iASp%%9AjERs!;&5_NJEs#x<&6CZNEoM(;&o$Ys0*$0A z8Y{Ca+$*YZJ-8s;3;q%=1E+;sz;WSPa9+3@90RTbXNB9_ryygHRmf~)7cvl;i;PFs zBEylTNGv!v+y#yfSF&$LCLtS<(a1_<7P1owvX4auH|gA`AoG!6WIZyn33RV@uX5jv zY)6JQncQm#=a9~su22G5`gP0^g!S3IIdlT+MRETRUJ z)58B=t_?dQH?&TRJQjWSy}Y|NG)@bz7w-4{uAX;7HcZHKu;yML1YhMND7|yZW>iEg z4B9I35Bj~s$)>{&<&Jt0W(cz@C_=qcnSGHNQF5|hC1yyT8w7C8p!5!h9reC^oDQMAZU(35uOaoH5xZmiVC1y~) zxVMktoiC;XDds;I_m12sn_R@-N57J}GxZDiFY-_JZ|c$%mlM|!2Z@_>fA0R$E#Ix% zE#0lzt=w&B0u-??R!`~d>l`v)l_Scpz9YV0Y2DfSMR#eN6q^)RFIF!)PVw&(UlCtr z4Ee$QA1(dB{{Jci5oPzojA1mG#6^WavtX=<3fqF?tm9&HoG{|wxN1kVU-=*^VSgiwI?L5IL90)B`2$oOdUNa$DmRPmJg)bSMb zl=qbIRQD9|RQ8nq)bbm)YPQ}$N@S42rxl?MtwoaqjXWyC{0w@Q`%GO)6b{E zE(4SzN*^VQ(nhJGj8Vm1awv(-a+DHE4W)q6L&?22zY+kxk1xwS*Ob}XC|JQG|Ke91(61bak#gnPvJ1o%Ywg!sfM1StSf3SkQI zXw=RC?!Y^!qFJF+l2fBov{Pm6h^~DF=K|4D)KS#cz|{c8z$>$Sr+g={Q+@4lOaGGH zn(dn9nu8tZ3C9V~3D*hV31<`0HPJQUH8B=EKw|BEHQ`xM6?f#)E{`0)BHp9@u*TUD{*Ub03ua&Rk!|amT!`EZl zqiBFooJgEdoVc6dKFTC|GYTN?1{*|+M?DTe2A)B4K2kGBNx_Jmfy&sMlGxi8&`km8 z@<6P2?~?X5!O!0$f_)zU?4_Sgm#axA`)tb2D01gU=vL_7+0V$=$Zy?u-A~lltIO8} zWWxThGl<;8#3Zm9Qr+zs;F#kW=U8*fu=&9xmmS9K_YJaB?0ENJrYTevV;@$mBPC%r9CQgJNHHmTGah&EmjD6h@+ZZb}*8OG(d z&9H2kNYgXvSQU$rYpOswwosXPaADY;Xmy` zl>`@>{KMYjHZ=Y+9BmhD!GGxD%w2Wdc5m*C+G||M_mCVA%XgZ{R5Tp3^@tbAGZN#K zo9O>_kff3)>t{`EV0%~9Ia6g`+b)f;qM$u5KntKD$!-VKZ?KMRXd~>#!CDpR=eR0|HD6^GLo9U z5UQ7?Qt5KYY+#^Hv}$4l#TMhC^(9!`2rEL0MJe4(C34WyXWPbPz`(0oW-jfvB%5N* z$;j4dkojyvN&LAnxXDvRh;q81GMp|eK)o?f6TrbPw2dYf%q?yDmTY$=ra|{m7*YwZ zM!dDY(~e5lSn+DlS-*w3??uLBe%HXZFe2es(1>w`_J@Hi{LFeQEIS)>n>aMp-w+4! ze(SBltH3aLVesDIIdLFsFl$(4K=dD>8izl!0p!p8U$lJOk_{k!=J3CZum2PEC7Ib0 zWz4&^)=;L`}-w}-)v~^gf;&Q2|7!X)L*@^6dWBBS-1rq4e%`L@Ga6z5XWW?0xq2B=-;Gj=<(nJIt*`*{=l=hg!6Cs zTadD+X&#;OTu692N1)^L%@Jc|sB<@ha4@RjO4$H!NxZ_t!Op3(jJ59eDz`2PvZ2E_jOEiLes ziiG1MX6l>Q${}cUf1cs|4G90=@W-u`XWj2_-n>-~c|j-n9EUP6Jnpx&{QuR;nSevN zwsAab!;mdzin3+NItDXCLW2}pvNHx_J<$+FCA`FNC?#VlBBO02`&O2*CRE6tu?(`L zZB%N=(KkA$Ro{2M@4L=i_w~B(-}}Fx=YG87b-#1X^|(pxfC&g*1OeZ;Bj*a7md+-Q zi;6F9Fm!N}Qi2JHTm*p+#Bj(qu?qcn_~+8m@6FmMTu+daA7wqqVjgBD;e~?m=t8r$ z3a+~d$-x@{TfNxRDG6~y{zGFzIfX(x7;apMb!a*PNpLtqcBZ35ss7*vp&G9 zqh=I-PdHo5^=fC#M)~tamv>cJ0lP>+o$qd$gt#k;j&{iQ&(k9l3#O-hw@$ZLl+D<@ zSx7C=uAT7k^F2w>Zbb|(8&|&F5y_4p+@Bh!*x))!8S2O1E5s{?ct3X)H`}bRT6^)8 zuy2~ZyrV64+$v96wPZ*!`Gc2f?LHUpppe>qiwjaR^EtJrHOos06`>xv&OmM6je~yg zxrLJhn=v*|BD-d91wFEit4>LDA$+6`2Gaukmqn>nc77iRe04^gxR9_}Zewu8of=8D z3W6@z8(w2&QW)sa!Yq|ypw|+ncy`GS`nCWzgTXzlYPuLe*fX-`eE#+F3%kmB1eV%1TOLUoEf%_Qi7iM2Rn_ASXbwyNZ7f1A3>- zzAVBT4vzZF-2xK>My%D_ZwntoPE*jtnFV5i;dDnPa z*Wn9gXNa(dfmtYo4ddv@0Lg|bei{ZuSFXKKM&H|sZU~r2y!_{i_MBImyTGx#G{;!v zUEAsHj@{DWP|wehH=?TXHG(n9Sx==M7hUm>uE*1>cvmYM#}OxbI4y>0`$csQMa$vo zz%}0N@&>iY{;-~=&NL%VlD4)pz1KqNVN91Xb7I3%j;6!cm^>UBD(Thv^buA zl{cb%Ve)?K8F5k7h{HfFqonZ)g3-$f4AU&u$QrnbVDxcb8Kzl_hWSQY;OTk1x)p!r zyyX=AYJaM~4aQ9UF=)Eq3Ko}p44?^I*|rFFzouB6vV&+Ps1jPqj$p-bVm5JNSVRfI zZp0=NnLQ7pTv=AQY4#iHSsB6&MH?bEKfAh5+-O<8$M}NoaN73Oy%PbO*B^@5!ZtEC z(V2}0akuFf4{#WSp+aZ&6Aj0sUbBvKP`&`U84l8KQmgjAtb-aW#4JN-`fTiX?ZekT z;wOhVXDTHV7bVUa0cGH5|JI>hClmb*M2XuDY?R~;6J;Ricp9~#Dk^|&oRji1Af911 z1JYQv9^tCdIM;jhd}xGlbCDp;C`tG9JArHGCBoUCkyH=PnQmSdBv1_hSy%kvoN+np z5@0X!iTml56MMvi8cuCG(Z%vwi^lv8#cbpUF?u%J*wKbl<~U5mw~lL~=rjDK^8bOr zcQgHc{_v#Q54HV$#+Oz6J0-Aw!M~6uM7pxCNYNlH^-#vWhQInZSDqDjTC~MBdY<)X z&vhF;pDiM|p~$=>KTGgax)Od*)8%Bw$6}7asa@A!R+I+pp*l|96{MwasAp%$G^nyf zaM1zNNLSVsCd*k7NYOj}#@KQd)FHlSNm?FYX9&=YKR*C4y1^SmC-hat<_K(cM{*#W z-Ze$Jp#BjEsNTA1-^?ohR$${-3!T)r5Sxo<+Z~uAXP%jD^Vc7z{*t2QDmTp|V#@8G zGvJqF-I2rxxl5=dh>mb*dm}fkGnKwkLUoPhamf5D^eC2G0}eh;di4cX6)S(@9+JP! zmMNe0!-+NZBP{tYSo1h(Mx}3rkWpg^1VH9rqU*5aD)3?mX-uV$N(im7{2o3+=%n!d zjpmn$U!fnw_a(XjORfM{gpdYQ`koN9Yb<>r^Dod@Sb$sx4h|u8s@OasY^@2wQ0U_G z&(YynauIkjm_$+O8zd}OTe?F2Z>Y@T!bLZUv}dgqq~Qjp(0DAl09+AFs#NJ4APiRn zmYAw*ynNG4*AfHqeg5Pw15s)m);i5%MV- zWg&Kc*1@)3M|u5O;5I2e!Xp^Fs-O+xt4dgn)^^v))sU8VR{8))*?F4mIr;GS4{D6GM~@;*BfUs^DGV(Ck;=DjKOY_fhL`shQtj>))CN=UpdN(g64kK(khm7L6K=} z*Tf{I+sef*r2*2t?9rK$XX*TVPk^M6Hbd|0*fJZqaL`!6*Eds)mJQkSm9k9@uXRXa zr37t7p23FDIGUW4zSn{dr;$9*h#@=qFi51!kxpgZ&S?RPmWyc=YNB!B=rOPpXsD8; z=#ocq%;8?kKIVP|RGVq*YXW+QTJ0l?S)u|rm$Km4fF_ld0G!zC3%+0---uK zAz}hWo9^)9Mq*+925bK#bXx;KQ>d6gu_n|eoLC&}oB{N{0yZ@9HbM+h)|dqC-t zdWl9?3o|l(o07;-$jsOZ>9g-T{CLWz;3#pjvORySCEYd=yj9Sr*Y@gi((PN47dT>f z*gd)A;N|0>bL8(f)Do$$5hM5sZNu@FfO~XOAaS}+^4hR zQ;&O-6CFDy_G*ogBSnReTxIpQX-MSmGvb)fCGw#~jQw*}QeTDcmd<;b8|-gFJyZ*b znNJ5_Xok3`?tdyoa6QNn{?);#4n>A+T%62t5$ih>9U4f~Glc+O8o70y-5NOWV9k-G z>s41=P^x=36o)V4e&FP*DAaf%!R4%@*_b#BvV5+8vHxhTaBaNa+RAFG+gTf=2XW+6J6=-K?aPat-d|+tz~C6au#&P};#f{jdcMX9g)1#QfQc zfzG1a%+E1_gWFU~-W1thFf;X~5^*+r>I+$uCrP-5X1G-Q= z(%upzC-flefYNbz$>+eUU`N3I2`8Bo~NWc=fmi4)K!S?{d@nDw*Q-YNGeqzQompMS0l) zTe83XCJYNTWIW33gqVtASWK4n@{_lK+Nv`r5aJWCbXXXuw0ZI3(UtuZ7J9Z4R|+RB zgz4LEzJ2MlAeX!})xJ_UcdgnSR{!jdDapO?yE8WL3y)=7ET}X0~r;p!InP<98Hn$A;np0OyN4 zknbl%&&?v)mlll|7SoTVKlfOv4&HMTi=?Qu4HoWC_4`QIR2a>$q1>>!ZO2#G`82;v zAb+)JrmY}9PdZ^LzW#}cIjFr|>o<2bLj#3`7-%tvp&09c)v#}7|0!$ysm&VXA%)8R z-wu1V8}WC~loi{#Fr0PHW))ICQ~;x@r`~6L!oNS(-8bK*Q*=dmx?-ZgQm*LD;edOd zRF6|~w}TDwcOkJP@cKM|P z?gb<}`!}UdUbgwdnSL@|Z;slhsVlv%ebOJ$cQjqbuWmE_cANOdrMmWB`9ujIDR!bg z44r-Lr1R^f`!e&}bV8x&#@qR(RtBEhr@M-6SMr{2+ z_n|J{`44@AcXu&ATBtPUr+dihK>-TVxy~vnKUR^0qHe=G-bpvhD&loDTev;}Zk|=v zRkvZ)U0k}>GHn`o*Ll|J@_D&qm-w!R@x#Jzo88E)b)A℞wYvk_`SRb~nk}w}+Uw zl{g)9AT&iT*UB75l7Is7{!i(KfLAotTQqPMHs0;%Uj$F|Fe zo9?HWSg7pWEgY1VW}4hP?;vUnl@|pu=F$##)%Ig#%Tdl3rOsX`zvBrWEF9F_ao98^p1QIiyX}2p zGk+Ot$!4{JVcvtg3>S~^-gm#OeIc@vt+0Ga?8p;UnJ2EsN){&aiZ_-^a<_jJYZ6As z(#=s0PJAE!2vB_Ix{)!cEy(=`$H$w{V&Z0u9E%!rJ1m6J+Z{(P<}~GS-_WE&8U((foai7-3-@xC-&o08{1@Zv-{2tkHf5Qg+ zk&QaUI*c4E0`_@-Ev&VvUkr?&@=-BpWV^`VafqQj^-P>D`DNa_9B=2CtuoacKZScx z;=#hl7%rEf#-FTo({H)Pd@8(OnQL^cE;(an;RZ&K7kg@&gOn6r11s$cAcU1T0^V>XR~eISAUH<@oA) zw#)OVn1JT{R$J>_2d>7CZoBf_P^ui&kT!gmy1ovl09jT#(T*ovuVCxtPhFH(w>vK^WsGoGqi4dAhM)b{; zV$(pW5zlAJ02+w(Q)n^Q^|`8V<)PFx)=i62S6ds7`T9<$fm$~n3aRn44z7+ueJ&aJ zE*Y+_312TnsxvRs50k**TJWD4OkESE_OnhyZEcskA9K}VTHiC~{4kh062AU|AW*2E z2UJJGw0 delta 23903 zcmbSyS2WyT*zP}78WMttPL!xY5M_v7Mu{F}h#oz9_e+9^UPdo7dN=A|)QH|0y$3VV z`)I@P3GAXp5)n7u!fkVO zN0%hHvc`YJ2JOho^i|WLd6m_TFU~GTkGGb5zUaI6HmI->b>@uyC)sSx*Xnz-4@WGw z1-i^$Z>qWROF;l9hfBfhfX{0GPQudM>AipW3CxLxd0GC-Q}D_fwBjXrbyZ~>_?Z_L zL;wW6P2Q3AAi_7neyBMjNzbb1m|C*1SJ zGj^DNt@(nIe6zrI>21Xv`3c5AqtACvT?cr`2Q3JkP@5z6P>7(Xarj_a`QsbSC6rnH zyKF)=)AwTV7W6OK(oM_7&ztm9YT9|%ogBAzq#Rwk(hnZgDZUQXY{z@;Fdyt^Oo&}u z+kza|1>iA#xAalIVQuL1=}~#57w=%ypY65CM#9>iNqqtHzfYTq+MnERZM8E2B>+~k zzjk*llU5G72M`f6bq;UnLi47s;Hguf@2ur6biKLMKYD7oQM~5!@l&z)iqoyz7yOArqz7uXJghJ@AM52nX+^^jz>Ni}i@zP`w^t ztIW+%6QP5R2u}ZqrE`-f;#q4MJON&e>DDvU51g(&cXNC=D@b3~7e3j%^0Ciqod;rxTst%=81&RM8~# ze7>kKPd!rIa55s@;-uQhd$>XK3E3sDB_ak6R{Q-DZI3tZDsLoz-y2r+&BF-NJ_GsF z&4&I?6WrytPs+J(uNUuGMm@IC#3;!I#k5Z4_0$xc@|%BSs$%jhE5 z+zDj8;8%G;eug^qV>wT^RFweUM9R#tb%WaH!iKf+NDIvfvDkMniXzl^TG>uwK5OC9 zd8MHxKZiSyRSh4}s2TRn3BJY~%F+wnLt=-WZg`>Hif@bWP?a>)=$Z;V8xgd9?eNx? z)qW(8Oe~`AS6oEGu>IB^hbn`I#)Ra!?8ELO;g^Rfk7rMuxoPWYlIyntwf#UgSq+QhD}LtQT`T)$XHXKPcb~Vif#{*Q{lI^+3yeY!Y^rW$ z7d3KBvWJ1V3R=FdyeoW~+n(Y>j=q}~q{>=Eabj}U?VV7u7E`Us(aXi;w09E=AjgHvaCnG^N&mtfgV17F0bS|v!Vh~#RO02i#s3$ zBUyyb&?GeNF=26U0^;d}gBTf4!=SS^$r`p>QpOd0`lpPx0z(Iemo`c#iFn!jCs5}PssF_3lcKsTYIr%FE$ zuIO{$)5}U^+1O*GCD5$eAW;UX;or=FK z6xwkt2kJ-NoCkmZ_gTibo!!mczuGZa*M_qzY{@PD(%D&{hvVNed)=?4@$nOZ;NeoIbZ|gTIh=y8JLu z`BhXesmpQ4mHNF)tBiqq1=~zxYql-pTVxn#LRGh+v3{ybY|5&D9>)CS&7xB$HcoIrKVv#tp;XefQL2QRni1AhgOXzpP(C?W*}*Tp>fDslMl@Y&x@f%rhG@ z#q{WBHZPb~W1fb#vQPt&@5Xe=_@0JV#q9E9B4vra9`|Zy0q-C8W{(v-a}CUhrb3qT z+^VS*^sQmqA2588oy~?3V^r`CC2o(H`}x@RRu zW)PKopY<*>gsIe|Gf3MJI+d^b zn7lmB;(Jtwmm%Y!5J^w&ese-HsPhypWnZ@0pccLklS?5URo{Zjwwu8?ZaICO zPd}U`b46KFv$W?pVHQ68oHVHg)biF(HKz0JK+1=o#WQcI(JHAhiX5osaM?}$X?*>; zB}s(UwpGPN4ww%KL7W(gCJ$w{^mt~L3Yg{Y^UF7Nm;h#U&7;rEs!@&t%@-*M>IaUV zhG>SIjVTrBeS_J&3lVDGO`p%*JuK^lidG7!86^oVL}L<}QI{!-WcGOA0{Ivt*Aq$p80@$svJE!CT3TDm?l7ZarGw%n!@SL{+q)gE+Q5IRACCNGX#HQSO6tKDcOUzj-A;oocJ?)TDKA6!en=j*vdDu)M#uN~@g*OxB~|q(1bW@00H;1|1nu@}}78wsLHa z-|BzO!QGhFT!8L!cH_SO@_C)ASrp7YRnjxxEg!1$_ukrAbp<9Q)nq*+{yLObZhQP; z$o(#X621S3wSJ6K7NAR>Jn-iHrHYD?sbuPl%}$dd>aYE?977iL4VRsZVQU*2(WW4e z2h2&rY{dMZsj_jueAb5HyXF1Fx5&N^{*-0yXd`BEiIOSdDkZq&L0X^ge~B2PIlUwm z7tMR?!LVO%LMIcZRgS2~f@D{f+mGvIZ(3x$-)%|ULAOy}6Nrw!-+vJ-eq~0@F*MFD z#UryW77;xP5qTo&o}}qrniE%`95l&)mjFO~VhfnflVuEtAUA_KrT^U+6D@2>Ov5Bb z97A8;&!{D{6GS~i#`~W=g+|0Zx$PtLT4D3bKbpi=aY4lDgQJUn|L_7wgZ)C)=aENh zDtj{f;eO$3JbPNu?@gnZJtdP;tmkG=0K0>2ah+QF=v&57WoM#p=5z8F5wr zfzSHk=%S|aOB&7+BIj5r9Ku9$UQyR{G_P-9$rNIc*^45<$(rz#ES~Q>Ci8hc-7>flQ%8mj~7jDboTe+q9(s-61V66hAm85)>eTQN5wceMtvE0iQ zh0Ryh2r~t%(O!r`@8?a^&xZ^BUB~DO{hVMO82iBbr2cUE9(~dPd$G5GW{jO zJ}^9%y80?O>X=ez#NH(5TA|mXn$Vxxxy!|%>=+pgJV+L2wLJoowA0)q*5Xo$T-M%ZJ+zMmz+NzR} z#h@Z~6TM*XFO|ET!rCGLc!nBz@(j4khd;*C$v{j8ZjsrglpfY-7*h=qcJ_ zdMg+h3pR@Pu&z;V#GM1P(f-UaelaGe*USAk?DKK`Ht&9uhtW4tjT^+8D%dfF^>C2kqu5JVE8^oZ)$n>)@j3EW0SpqQSrN!J&x-B^ejWyG~ve%dDnutY+Rd))hI5IzR zSa?=gi-NiAWF$U43dJ}J;5NzwEJ>}|QH;q61A2l7RLUn|3k`)cJnObe&BmDFJ0o_< zAsFhzGJ-aWNpYYnI*CivP#tJwcHK;L%?KmYMIYa10C3bm$X_HRvJ%dZR8N1%$LEvOW>h1 z)_22MCTNcJaSMzPfNJ9!QD;J0N}_b4AF!ClS@oU4DH@vwyga#_X1)3>YAd*V7BU;l z26}}JG;{(_6S<|dO`KniL*Wdo&acjB&S@N;nfXUb&_J6lSbQQG*zW=?9>4vBPH>A*BmK@IuU_U`q8U=F4w#F0GE^Ur)f zL7DCN@Y{{@s|_!ld-3(LYx!-0`Gp;rcH^51FH06L8+Apjfq)E6HomANQ?`3RBl(b{ zMS54J0Elxt_crL@xLC3i2oGe`RHF3J(Yn^q7d`e89@& z{lL6Rw}YB#{Mk$#iv?SldOxOIWxc#Pxm6dpb=Y--TcNr`lp$fQwKS!_^Ue-g*oF05 zW9!pCQ)%T{u3y{3L0kLclI@2f<@KyEt5T~Npa43YziB9@xo%U`NrT~L`SRz0ghl3d zsA){sBU@+6C&A$zCHAf}Tc#xRSJ)q5UKG>ej&Wo9aF(w7*}^6=3>!92o=!Gk4@qiJ znetb!{;QrZsn#uVEQtR8@)`9vh#bp8n`RXb$uGp- zzH#5cJn%`;_bs@%O>~+ssm-A=t_7!{OqbVW5zoj!-B`Mu)i&?SRiNlmPlX8B=_nr- z#X0R8`&!0)WU+yy883oV1eK8*DmO-V-IuPTN{XRmE|i?LM+xoE5|bxu*cgUSnu z-2==$S4%o4!)B`!Ltj0ki>3GOTSX7&s2mAaXeGuOQ|M^gyU!^}7=E}9wXNm@yl9u6 zF$JAb6M5dXX#bc^>!x;x^76tL&P+L+?vVC;pKv59|0|;1Yl?6jt{80(nn&^RH zOH12UzKHX2W%APgay>gV)x8=39U$5XcGCfM&}3!T@_xG`?zub9ddc-7qARcG5}1e2 zFvP0&JOYo?RzUxrXK=HZ_44mOllZ1U{A@V>apYekG*JZXJx`5S%pRxi`p_)sQamlr zyC#Uw<+c51Nq>m|vt1t%)4IQG{BU0j**5>Zwa#JMi&={>HMh-ZBw!5GISo+kHNZFs zi<|_j_#u&mQ*&MVicmeD7FgWGHcJ$>;d@)$)R%(CiFe0QQffBYzrI0at*A&716AN> z^z@DP8Q~<~bdK#QUIf91NNhFVk1 z0*fL%72sH(rg+-PaiNWq8VON2_Rr3jp8GX;d9N>IezLBcaG-foaLI9O><5OGhPm+R zOJ;DeW!T_EXdfzRol*r^T@SwuF+D5|9ICh!$GZ_SuQCacD@Z`#YT=@iNU=yz@m8II z@Hm|}*)a3Pq94`WTnJWI({2GtFP&W%DZ&Ro7u=0K-+GXGvT}6+o3B7w4J^_Wl-06v z?mMbP?#~JWE`R13$ZmvlYA-45mwm5MnfVkBZQ`d~R`4=4#HNX*f~^;WW+@?0Y@r;n z9Zx@*Y4>~FcipGS+D+*BX)%4itfBKP>t%HLQHSeNE1zFsWo>fLx-x0_SF#Ux3_pzE ztO|$(ZePD=e6h2=oi152U(~F5kzL$kNFcGXI-XJhPL$$hTjMgx_xOLR{Qgv5X3`dT zl7`%7h*{P?Bkd<&4w#NVk4qXi$=w$ZXx;ygU#}Athx<9L4`{UEBrgv!&#FEAUL|s8 z+n_0Mtq2HEics@^<+I?pX!mC7ldFvF8H~=`V@7*%(sZ$+V7vA=jLx4a|5xFYS9XP! zC6pMTkfI;UVHA2Yqhhtc?}ciebe=tH9zsne{-}|Q*#q&^6nV!QM`vkXcmCk2SolL9 zz$flEi%sSezpQTLnI~(byYgC{b_9&Pw%Zq*NS9Qmo&EoOi>jAA_|LS#oPej`nyvs? z*Q1E{cV>@=e~7q>Ew-($WQsGGxU|t0vk(E6dHAY~7N@_i&YQ)ZR#JNMRv9J1-?Nr%Kt+1e?R!-ys$q7gP>fU-@Mkj&Tsw*Iw4dl~j55Fpd2(8L1eHyG ziT3yXc?x(R)5W}60y`MiJ83gleV!LS?MgOvYzUlx9Og{UFtJpN-J`J|fm9u3$lBXe z2&^CW@V2r}tX!zUTUe6uSC-a?unZpy@MVY~VV!6MEG4COoY6y*uvyCl95>gxVZF}< z-P_WzBb0eIy)>2=bkU+M_V74&1NEK`@!Njnes{zlG4SrZYh=mQ&V6kIRg@fthy(M& zhkvS*s&GwK17xBO^8(Z5ogL2X{u*qzHR{TI#8)JD!~`Vy;{q512AJKz;+uh_i8aNN z3469m>GX|^gIAr?f-D=rWQUdl>HZ=XaT3rM2yWi!*DCe@0ZpJ}Gy5QY+5WbJMp)AGnpYinZ^zsIUMY(MR=$RgKdI>U3DQV~ z(IpU6n>TGGo_~-PwHvAA%?*Naw^{u8WwLfK+R`2U;R!SlZbtiplfAWBb;xh<X$b40K%uPr;@%yb zE0L8_;wg0f!%u8Zfa6n@ZR~dDl6dZ~W%f6nMhPYfD|XE~zNW<^%6w{G0xE+2g#32& z2U}}fJ=?u^`+2p>tq(WJ1-j4K@3GypN89;NZcb7Q62^nZWyS>xt$37;V0E4K3-xaT z%(`W6;(x_|3Ndz1VXB7OqP-U;6@$hqGnjYs9Cv=tZ^U>Z0d5;-2jzt^0rzxqjlZ?c z-P{*=1#oRr%c!ej`OZaZ@aKwGev&n~yg|-B?rctF_LZ+C#Rj+3v=x5{%BE$REM*Ol zke}8Cn78HWzUi#g4^ZgOjj{D~g+Z>yj<++Q?)4jPSFVj!XpDN~WvM~>KM&ej1 zZ)X1Ekji5Y19HcLrDh3S5^3~Dp<;G)GK(?+GC{Hdf|u5b!Rk-C1S||XkY?Fq+0Rm0 zs@ZIzGBzOvmg;>aW7eTBWrR|N3?gc=*-j;#kZGR+SYo-=ra@{866U)1vfJej4(_gCT-Y5$2#2XCjzTw!!!F5VUeT*9NEMd2 z((hjNveXVVZwiu;lh;cnoadO~pNOb`nJu%34-$_LNBg6nwvHAGS*ng43VXkOc^W|i zvV6qyI?qPasQY$-4WpX z^)ata^dA-vX)(7k6w~f+`c&eT&35;(Kl;dMP-EUEGoLI+vxRWqz=y!72|rv;G0HthN>vjIpZAM z{9hq{Ky!0tUvx6SQz~ud9MaXidE;Gg1$Ee~U?6;P9?&wZ-0SC>X7#M85YS*que9In zNzR-*`cgiBRA0Az@P1#&e%fT^XcYtqv|gwTr?=K-)fx|fhh2PoYic;{R0cNrwGO69 z{W~x~HS3N7@86pp=+H%-WT$<%B^;ssFCaMDHt>n>a^+MF*mTu~urOnjY@BpybwI8{ zY-AssJOj8xtQ*vV<4Ofamm!I^K7_}YF`H5qH$H^K;-1^f|KvPtNS3J=~RGn%xV;&{?x`5=%OTYGYnd9pCF#{?f=BXp7KO|(HlXdrVN}d&A&`!ua`Q< zTq&A*-vp+)d^&B{Jq{w3a2=qtX*)W%KVxgvxT@UgeUn<@gbFyx_fYHVNd$SF)p^}N z)sXNS*g8%gG7zghKQ9#7x$gX8v!N=gk{r=6Xm}ax1}5_A*VyI&65+hN-chY=f;Zvx zrA>&<7EZS`XWRSRMX^`k7RQM&cxCCd_<2y1=`tou$zv}4<#R9AUA3K?-R-Zc&x49> z4L;5Zj#gwZuS$;K$ibHqvT(DJ13L52YT3nSOK~kM>!~Co?*42d0VT$sQ)87vf}%Wv zmQ8+5O!k5HVrD2n(?^)$s-qvQ_f`lI=%8&ren_(}aWHkgm;iBeA>8{`Qveb;9CzL* z;-lnsZ20pCuQMQyjAF?s6ka;qIAEpHSG&n_UXEGRV_-KTq@=N0MEbjG*;e?ozWAHB zjr0w*7u?X2gmVw26jVI&=vS)|nEm?Y!}HkRdwV(1(%~V1_x}ETdWQEcuhp(c48}{c z>NTsDS!-f19@!|*Z9^E--$RF_^{V!78EU()SJM%Z?tS#M(KM$kM_Es9l_CsVw$cpq zYwN6>CJn;$N$FIYUG*ma8qQq}a+wAmZLU{1c}>TQt3WUuShCW$$;R-SAB7di5Gvy} zgRVl4{udj-0ILDYu1%enybZRx+JOiPYY8D0cK4(n+Ep<}k&4c#b8H$`ZD<|LPC1jC zjxRWunj&E2CIKrR+tcL`cX?ir%RtcEG)BeGmS4NS2#ruB6~c6naxT{nH?n7d z#egwmplx{X(*VcWiH?3Fh(0Pt z+h;P>+1atY;5iUa(*zO!6Kc~2_Lr||y9%p@Z0T|(nbLidyZN(*U0-O^^~9Oku}OOW z2`j7z?G2AUJF-fvRxEK!dBQie0vkn_0qM70smTxpqz4q1c%r+HYoOWY0uSh$N8WK0 zc>KSpk*M8oG!uC=tlr%)>#EV!km^XEYejE$oy>Wkw1k5}qG1(&hV*aq;L0o?WOyD! z`qJ3sS`j{HDCrqpw)Re@Q^a*p9F5I~x(a*ac8FITV)mAw9&FQtEP{G+ZLF(40Oxn9 zckvp%2R1gLiq@AN!)OqAyi>~~FtqGH8}PW(qh}>wVg^P1O@va)L%s(;=^cBNaI5*l zqnZpRM1k^Rym`{2meamp)0sR#R3KC?rc>jZJzg_~YdN36wy|fwZ_2Iu#29e$bZ)6= zbM_3AN}?N}{tGXH|Aps|9F6qDfXo^t)3}zYo1!IY@3$361?SJHY00VSw^MBm3_W|H zn?tH@aLQnT+XDY;z>`cF(8Zqdo_Y3iF9p+^U+>#KwSBlLyS36f8zfF~vG7%tvQofe zgEUYfNjHf_m%k^A~Ht)xlLW?QXbjO5?q79DEj5+f&^GPTYtn`X`>a1wZn< zuwpSJaZaL@g`;4Bho8-fT2Apvcecq#Ajp3SQim<>uc#XtTuG%YKgKxCn_Z~Hp^R3S z^feE0G5F--JGYf9=sNXJdQW4cQw--J`%4>Y;_k$5Jz3GezOOcY<@UUbl0|34-#LC6{zD?(B0lcbRt9579jY@|aW9>1clHsL6b|JpG3(tWFB(iLJ zHyL#JiCG^;JoCjC*ous)@M-j1s@4I*2-R(ku|D}hwYW0lcH7}DlU5y6u{KB0c>a>^ zEiwton&bZ_r5I}%1Ae}UEv1aTRaVI*#y-j4_xZzV--_kLD?iLw`(l#U{9F{nb|j*2 zc!Tpy$3|{mc(d)Tw}18P`f10-=GRQZsz$C$tTd4C-i?TBVDbz)#5`hpf|0G}FRzj> zcL=!*E(L7a4A!)#8|3D{t^Zh~SFY)S^))?iK3HjvCf>UfTsN}fYPk6}Lw;t*e!9Hr zbk1YD!sVo7&1-oqI?Op^|7?%2*VN+I24@m|D;?FD9wxUMrNeOK#p+As3bFNCgcg5T zHGTO?<&;wyP;O60H;d6I-M%B^`_1{if?1DFTVKjtfIyq+j}g9B4vMWV%<%;}{=bK# z|2;nVdij)}wwDBRSM13!4{LsHLgJB@W=Us9{%pQzKHY+pg_+ZeL|V^8agSJ|MRl%t zKb^)WBaicn=v84PvHa}a#mH~wrUpxElx3($J6$Dpm`XP}O z&1L*zzE$6g%e%od?0IyLtDISB5{2%~*8dRs+kY)ZX-@jYOSHX$DmWA7kOiN)3HTY{ z4NspUoK8P&68b$1R+xc4YNWtWV5r>rHu$^5SslZjRqzQ;+D8Q#jZMko9@a(PzNS|< z@q5X*kHEa6y}a&h`}X2H>I>F?FhqR82X)*Rq-b6K-Tx(p8hh6!|g`wbv_KX1R& z(~MoZI^`e=?HxiK`N{XiNsgGQGrkxah~$rnEzg&)oD zQ~7LmcF??{CS*#cP*(S99V-zlwe75X-`&3|zW!rbnb9P>`0&`bBpGuN{ob62UOK<& z&Jt6qzB?nG;c<9n&THR~kGETpOZY$01LBCyhU{D~J8M!=d@=CmGr2sjPO@dUu4gl$ z6R;kq)*I%Xu4u69kiRMxb(dQm6Xnt716lnx(1%pxou=2#QNxl+{C0|H<2ev}5guJL z(*+~h1QRf9BX5~bbbTehlJvcJ%5gyKIlkPYoUKM!`+2!DsKoX=r2GbvkdBi`#{51G zP4=3b3!}^IL-nO*Y*T`VFjvAWzFKL3mZozhkzb5@BcF>bu1=J60hJ2#n9}N_%K7s} zepeewT;c!A+|3Z-x7S}tpX2ucwvBSTA zWP|1{#AJ)z+r7UiM_~7E_l8o-01JZj|D5FMTfaDJ-9#`w_8?xj1|mP)N;+*6gt*Zy_JI9_OSUQPVE14Y7O%863v0 zhqL7?LskuTjJU_!tpT@BW?ulaz2EAO#n0kuOkO)Bp5-auKWKSe`Fw+1J;&uC!6`!Z z&!uygJteEyOEAs-kvGFS7P1jsFyL#OsEs<9@ANQ36o{0%#C^R%p1brk30m0?m`N%$ z%@MdB8aOiwCQ!3x+_POfrh(5i^SgNWA0>4xAA8`ydP+V6d|_b2QwHFg$%DahLa!09 zjeDJHw|zWf&jr}4PNnq53n5geUU+itv|ENyIvNKK+0!gHy5`m$U3PfAQU_bImK3X< z)hsQXUsu3B3JBzleX!kphT!al|)(`VQKV5Cv6k14r-EmnfJ=OpZ? zL4%&lrRC@*nsK1n9rN`lsvkGuSEBNlYoHf& zLo)@`hf(#a=F^C(bA#tnSBrHBit~+Z7a}5ZJ8V6D$7{7n%V4ed3P0;(64&K&SQqLQ9*3UzMYf9a*6kKP{`75tm$2_&Dk1UN6xpZ&iL;l{#maR0pUa^$4qXc-$g zKkP<(9D8lqayj4d>OI2ihV%h*)HQR(BAj)q_xahGYltEYaAvu?zNhb6zp_BkT|9Fc zo^R%x%iub?63i%lm42nbsdOh*F)8+5-j6}%8fEPxuS%QPR`koh8?dwvOf8x9ND0L~ zF82~!^;HL|B9QzfcAtd(r22}{M^9l315@m#FE8cy(dBVOHrr(Tm&dcVyy6|Pvmz!} zuHojFO)5_Skb^2ogV1#+f=_jl?}eB~QY!Cuc^vi#Lm(!r7r2-;-KI{KD`xuFO(b@O zvn+cp+p1m2gSE}ET6Voc*SA(at3yLQGLtmH+<>q?_}cJl7_7+IID?-X4mOA zLoc^CH(v#vV|(u@|Fn$fCQBluvs^Z@^s#0t*`R?CchIj>uR#cyx*sJ&3^H%ECIBC zor5cgz-amRg<)o=-E zQ3{=G&dDNmL#6M&Mac!445Bg*)e5O6G+q;rG7^uerpb4_P5(PeQp+-wpV=#YB)+TK zG>WLD8Opt=72lQiLz~o!@MHyiHl2$(We@Eoa{rG`iD<07HddiXI(H(Ek|(FD76|U% zczVP-D;tw5yLpJa>&wiOZ&jP2H~J1)EUS^zvGJukQ6lzgs9t+RNi00Nz+$7=otsYa znlZG`GXKGN5D$L2HZ^|_O1b7R;8(NK#Ftw5Fbu<l~q}WZsoh0)DCs?j+rmQ-!li*%~)nR0O7PKv%=~s2U?mDw#u-b zx58m+*4i_hJ5PiYGy8_k$3L>B4_jAq>J3>}8#oA;njsxXN-f+BK=z-GXZ-8F3RSaB z4N_LiJMbI*PO7%raquJ&Pv)^%uR5N+wP?qap9oxDnM|K9NMsFd;tvdZG2-E?y z8mU^JB{{wA7uV8hVqH_F-wT6&gj7%E9;olc)!rUd+! zw1QUwl_RrMJK(y|T`SY7idm5zqf@#|7y-I#AyrA(G2Kx-CBIB1{3fY1ops(>-eJ7V zq%#L9JIX>>XP&9Q!$!LCHvHB_xMcb@Bp13cXslB&jNFmvm6d?n9KIR(E82W#zt_!& zeJK_2T7me8z z@NV|QKL1CkIQa0$AMK0OD{jds{i99)`xUFeq(2+H%jWo{$-w%7m}K(w@qNjdk@d&k zEY7P#{!FHwRL89TuT8s0{;nUmUAP9)OTkTl@nNVABQ994v|7JcV3H39E;w7$Oxvdq zxGr?B>;j3~l1zK1k39TAZLsBE&KQxy^a~#UJIlS!*!siy3${R_<-vW7*J0BI<+TV9 zNZOXX+_S%KbaCfO`uZu5BK4aA3#`W+_FRx(DPKPa(wx`kF9fd)u4w_-{vW;rstfRy z)%7DFv8~&5-T6S|Lj9T&NN?*{#x|Y%T?Jg~ro#m06e*y#}bqK%UyZY}Y@uvG`i1cXrg6Wz_YS760JHs=% z5AAoUWH@9f(ndoRz2(ym!rbGSu9z9WGrtm$PkIpH5XU0+Gn!f7oh(zHYE0Li+=toJ zoeCtUF$Ts_-ph&E;KGMpn}2=5aX+j*=Yw1@Q_k<_NgQNdIdYwyPhB!za7F`E>_5rn zi#f=#IWnCgJhU$HFW7!WJX^JN34ifgA#BV%@||uZ#agE~zqIP}!Z2m?>J(;mDx06h ztEw(ZDQuiw?)sS&DXXL%p4W%ZckY@)8)O|Qy~3M17tJHi(;E~Qxc11;BFa~99cFne zNpRCYiwSRw=;>TreR!DXts=ow7q+|lZ}!YvU4qZ^Csk*}D(hjjw|p}vU_xFIA<~&{ zUg!;O=2?2S9}Zas9k!mo_vi48i0SNEB|j`aSG|(;=WTsz8V)kAI9KuKX??aFzTbJa z3O9$JOYczKkV%EZJ4aTjT;5-C29n=U5_Rpb#-7X4Qt~h}MRUkyKhkbselD-MxLlzr z5w5R%t&Z+{|*>uwfcUSFtq<%goRH}i3N zj}jzRO!MJrQ|hcII`>}(CCaeoyin2MrvSg!3Qr_sEqJ0Ct^I?uhl`zqoikr0RSTiR z;nJl?i+yF4B4A9Nol%yN6RD%{IyaHOzqtRSRfd2`YL=>wx;EQu0Gjx^f3u&uUk9s- z<+e)GDpu9E=Fn9^3TUV159-+^7+OVZ6%OidCEmA!378sWz2#I>sj2>8kjJf;!~ssU z>Ywcw?ML;yVkNNt*xOhcEHl;|ONQ053aQpYsiKSx^2_uPAEr3;IrU%bb4_zhb56gu zPxR>b#rk6JV-)}_8`c_2X%$qhiPA->p&+w)3)v2OdpdhsdwO*ofcBo|p6;IZo_-xC zDF-Ph>1$H17>*cDK%ZWlULW=WrUTQ0>D9fSPqay}NnB4@Po(RA+#k^o?jPvq>M!lL z@89mH=}+%h$MRquv2<97Rq_$+sP*XEQFgV_h0?`G;6m;~=R)-&^aynna+F`KI9uwU z?_chp>tE_$=wETAJzIE{wWEKXe^qpqcU5+kL;E36H&FY!oK`1LpX4>b5t>NJnoX-2 zrlMQms#~P8)f1*0v!y#eA>77N{$oN_2uxf$YZpByy<7CRBy(ce?%zJboZ67~@#LNz zDY9@50PmJl76nYS+DReX#NN{tk!TT>hSlIX_hYkbhq z0Z$4bjmtl*m6VHZDQ~^;Xb_VD8Gz*Jilem@OD!g}C#$yJc{GbjXBNQ<)V0`4wI{|W z1t*HPQnw7Y-XgU!5yKx!C+s{5#K4*5Q$ zmr9okmnxie89p%RFlaI8F=#UA-XJ6kBoUI?lEsqwlI2d?^`#?4BPAonBcE$nOjC%^IPIuOMKsnE%>{Qp%MxU!qzEzu!mr5+UsCDO&J+{BaQxsCG$^(9EKWi90CB0pQwacs> zHl!*qol+YZKSJ&ql9m@vfw#*kJ_ppc8cLP73BRW)B1Yf04>6PztSzzz?2`2IDC}7c zRcUhQ3W+D9r`1Q*C;ri|+_-dfHLYB9PI>N)V}r1axPiDlO>q=j!QP@)8(B5?&aqio zI=v{fKn=}iuU$Ki6s#?tOPw>Adt0uRju;v(skL(~5C*50Pku(u(Uz;HmrmLf&q+A8 z*1fl%_}Be*%&t>1D&qmhlI#X*YmjcWZb)~@s})2`X> zvt7;I{W%Lunpp%00m=pygXCdo*i@bEJkqAt2Dx6lj-;D=JQpzso*S6snk${NpWB|J znMq!J>K+Ad zkd1J}RvKcPezCN0QxXIj8726>C*5KKX^)^gEE8en>l<{qXkWyV@_w1uSku-bP6A}Q zk2o9k+iJlr`F>kc+%G*Fzudlq`}Qvxs5B`86y0TGwhEj!<$bG6a(Zw~co+N!f;ZtV zL9RuIZ+zh75ePBgm7adCK#fLcifDP4xrnDL%%a$FeR7XK=sT2fvL zA|(qiffvK`HO9G4Ht|ndR4S%ywrc+E+C-U@j*M;NP`)ioStH}?+mCSyEy~VQRKQjQ zt_x2VP~562WhA92rEiLW7s4w{vrLOj^GwT3b4*JrM)kLnHaBasK{3RR{duEb~;WRH-yi`L-31uN`f;Ugm1wI z;0bs=!YzU{fr(&7c=nHUz&_przlJBrL-E@9alCLq({%QsbE_;M4QK+&fB_&6 z=mKg01ds)^my6r-+sfN=+rU%XO}MjO2>udJgb&3#5m;P=x`B zOd8e>z+^N!ExdE+$1QxqCAwf_8iRtJZW%U3>)s;|VdS7F!E|fBRFS4e6Rvb4Q449= z7QNJJyII`5$;YLW{dr^kFRg_p^hd@xwS~*g6^6c354qV)>GG+kyX-6&X-t08KhHXl7QIWR_Hk*`n3$ z)+Wk?)id485C)1G0qjGcQ^f1ZsA}en^N8)WM|LdM&1Z1^_sr}3HA6)vCv<6ULIr61Shls zPMfzPx}_et93SADAv%5 zCctNSKgW{)m_MoU_8@ROzJ0m;wL3;#sFleUtvKR@fa{{Ne4HRwZrZ-G^IRSd{h{|> zGj!LTm`NKkbQk!4j1^eZ@)BZGn`;1s7iVS)XnN|)%ZnWy*R&_!=KESUi|48B#i}b2 z+q&5)v1jQHeVz=~DNTbaq*i7X1SX+(S_?GJwI8R?o7j@S!3}*BDnuT7YNj9eISwb& zit88V%{9KYZPt!fTgz9}NNoIpH;6KH3s5u5%X=z(+y0k=ncBz4br0%Z)ZG=fx^Hyf zh{Wg?O(@bVGa>4h)cva$Uo3t_-4eOK@PC7p+(_7B<$G(6J^QT|fm+m)8LMBscRZ;p z2fjk??+AQKzSZ=9u2RcYmCS`1I=B`62EIZ5r#8?|LjU{QD&Db-^ z&e)3xlO;=*6p<^(2pLRbxFw}QWGzBUVg^w})Yz3t>5A0U#T|0pzqWgC>Hhxr^?Uu! z>&$aL&-;A8&-p&joY!-nv%DS}kpKr~x0?aZ^yV#bo}gtRwlhyNm@Cb=#uLlOS%Va~ zVeAgF5`XMJizd++I2X?eW{)!Jx6NN>m0illMafR#dxPntgnDuawYXN9RNbvotwIlBhK>vg4QW@1=1z+$gO>$3%8Ya#!!JVWLwnuibUR*F9b}8- zsDQsFZE>5R`e-%@Bh`|B+CJ{EAp%oX(GtSclT2|*2GSb0@LZ5}q ztIY11GC2IuJE%f(3t9b}1OyX1cbJg?QBy!YixcFx4v(XVp~#`&ao#4u7#LTLLuBVN z>f=H|= zK+qN*$bmRAib42K*o$GNO+qN3)``gp@QWlspe-QCvpDi$2H`K9CdcWD^MuAE@IsBi zkd0*W83w_egit}Plavz>6#0sQRjv++mFIMk)2kQ+7ZPGCYMqRnfUrmcAG8GwIY1`= zJN$jmdpAJ0@Q6X^i;=kf@H2;6lRWX$)%M~5?`RwezRtfj zq*7`26bio1t9A3j16R9SRjwLc;kFK#Cp9np`ixp>BHYnN@2}^>s~Y(FmrgdJE<+1f z|2i?=qlIpz8Er2-)203b^HuuudKg=hysH?e%uP3D+9&%+A>|XlNERvva7ZY29@N~b zJD{%aD`hF4=wOQ;Y^Lt?z%zxkNcogY5w+VR&eHr1CG}%LVP^iI(%b zj`Nj=9!xz{o8)wx8$T=>SO|=kBxm9pEpCW%WAcIqMULOIDq_wa_8e_m_~S0obN6Up zV2GZpsF~T8N$8QQ{*89T26$he+c_Fy+<#2!(W&I~jm`7e2fJUm*?+gLi z&ZQrLIfZD7ca95foVo;pu4W*8$$NRE~S zH&l>y^#@Y4_hJ`DOpdQ6g+{-7hkRaM=HP}@^aO{F)&aQ zg=gG2E)>bol3?dXA^j#O7btP#Z7`kBHA>i!)2j@N_AyGgp2`q3z~q~$&E5M1g_lFf z(7jKQWvS~z!uW;D*V>f3y!DQ@)4Sr1w!xJ z0Z4jbjKbt|btSV!?amIjuGVqwW$F)-I&vsv97>C^Q~)C5-tvrtnjkU!TrrL!TaWP- zEIWCuqgH(|O%YkpzWL2ehmNlis7V()0D_RK-qEc6(0rp4I-}N@cO%lbz|niV(|_ zyyPf8rHqey2z@)uHh?$!o%}6`lPCJLhWXPf+#XbUP2`5c4KQBpP;2pW-6!}%%l`rb ze?QXy>+f+$|KK;V{l6Z6*5V&5fgeiK2I^ z@@4UJElD0jy~6PS1q7x{=H~)k*vd-P8Ru~rmmHN8f^q9Bu?dpst+IErr({Bh*6iaSHA|mN;#8^+r4SHYT#g>7kPn}FqS;RLx zK3Z!=(qD?P#>nUO?2hsWz9HOEEUAY8^T+5<#aN@{Xg#}7{^{Az^b170zU$q&YV@CM ze(3lotW+$igVY_P4~Vfw$gX;Je*Dv~2^SShY9JBE=sjYrVSucwXXncw_}Zm%z6B_` z2APkbH;J(Z$xFI+p8V4@gcFMYHN3(brOMa>@(|=$#+|C@Adl$Ux$y_i5P}s;Dj{_d z^cyx7TYwEC!XKp=YhdmE{~`2MEUAEGN6@c}ISr6Ib?x@?Ys?_F96bYM>wMCLuLf7e zSpDP%T{~y~>1l$yVo5n9B7*)sEQM%B(2K=bEb@6>J4b$vX@ZGjNeM(cf?goz#3HBY z+S&g{c=AfTSe}q>FOeUJenr@!I8_9>6HY&CQ|>VlK!47&Y2F!Zdce}Gh{{-BW$ywT zh~E~!EomE>%KVx6bL(D4`vJGG)q8dxL&Kl^oFwQVfd$DpUdiZZZ(xf?|PmF zU3@p!Ft^w(O6-5*Y%PP^>zprAhAog6oqyw;Up6ySwq=qiPfT48jO;Ivx`1O}25l16 z4q#Y7>P(fV$IdUkkPR&J!?7UPl&h4Mhw2S#tJ|NW%48pwlwa6#qFt}VFlC7teuJ{! znnfyr!Y&>vI7;LmYVm~4=Ty!!J%vvOA~Xif^*S)|d6Ee*LQ_vIuSv5!BN^|9Nck?f^` z^dCQ``26IezQTN{TX_9pvguh!tpZ|_XR}$+WJ#?;cCp-8GAYrlszur5Rz}Of!{8w) z8{RHdX7o^=hiY}CJ-Zl5SiPFxe3&q< z#sR9LkS_WXTk`~DY_LixAa!!#aDvNJ#9y>bE6+kKyI- z)Gnx>g!vvW5V6T(QZU+}z~rn}K|9{2BYx~Hk&n*HV^v&Zjn+hYP_WP7JEA&`o=CQwhP->4#5~S}f*^SniPrquh3! z|D~utPwkhEK8H6_I?>O1GMx;Zb$ZZ@C~cYHhj;Zo8;!7B6}cEm zk)49jOS~s-F{EO@kH+dT`)eTtDL{4D?_Y^ulywYjshc%~jlQz-S@qfk{AW zo~Z7;jLAgxmHUc8-S0Z}Q%F~h65ZqKX!90}Y6BNKL={(t`8NN0%}{lPGtt+o5$*FV zqtu|H<*kkWO;4iu*0F2t``0zAzAIOh*L(9sb1IMF4yge*n=fyDM{7%$G&CQ(^@JGt zGVC^d+$!d5TfOA?&BHUrCqn@Fo39vyV9$Nr>mr^4V>d(kL@6^eSBu=kyHAyW2yd8f z{l$R$fNDE)*taq5s`>t=7sXv&VfU%2*zFBdt!dYD!w$5wwwI*HitINJ2#|eLyg(8E zC4K2tW81BO9T$H+5Z!6<*u(na%iLmOu5S6`ESO`>;_;UUXDd$E939E=&jfmW4lgBN zwE5}q2+O9FRl4`Wg$KPBl=~C}@gOSak(v$HADJxZsF%O2`>d54CQdzjAZGPjS#8gfbH&b1*gY~i#hbZZLEp}t|Bkj@viRenx6GZ2 zKXqvMztwM-?DDSwQ+$)lE#F~)*BNrzLyAWqg;37H(2l8UXv~<6@@}~hGoO3AB(#v5 zgYS_yI*t}KjA^EGNJ%Y{Cn3AmKOmusL|@PK5!OM9Z#+JA1|!tndcD^(O;PfMEN#C3_vVy$jkB({hFaFbQXb9uoulB`7uI?S6B9H{|ycGT^?8RMz?l;z==nW56< z^MA}{|K_R3xiLqNA zI&*~Q#Z1p)-mlQ`F5GTP-2J0M8!kD}iOg<@@gPzd**N8Tc(5g+&I)#;bvE5?!B=PU ziQMh8D<<5;@baMm*A3mh;@i7U00BJXVc*QBM`ODgLT!j8`!jyDwEbRRvxp2l zO~c*cYxZhJI!(gE8-WpWL*TLaKY#8BO+4Z=a!24b5j3)gI!K6C=CK}xpxyP*5M8y$ zVo(To1RAAmM&HXdKGXVfe_Xo)U