From e4da75081216dc4e414ae6032c275f011c1b137e Mon Sep 17 00:00:00 2001 From: KiHoLee Date: Wed, 19 Aug 2026 18:55:04 +0900 Subject: [PATCH] Figure fonts and legend inset for the 0.85 include --- code/replot_security.py | 23 ++++++++++++----------- fig/fig_sec_brute.pdf | Bin 34229 -> 34291 bytes fig/fig_sec_jam.pdf | Bin 40300 -> 40367 bytes fig/fig_sec_keylen.pdf | Bin 31364 -> 31410 bytes fig/fig_sec_kpa.pdf | Bin 35177 -> 35246 bytes fig/fig_sec_real.pdf | Bin 37826 -> 37857 bytes fig/fig_sec_sens.pdf | Bin 30380 -> 30432 bytes fig/fig_sec_snr.pdf | Bin 39840 -> 39905 bytes 8 files changed, 12 insertions(+), 11 deletions(-) diff --git a/code/replot_security.py b/code/replot_security.py index 9b615c8..76410f6 100644 --- a/code/replot_security.py +++ b/code/replot_security.py @@ -34,16 +34,16 @@ FIG.mkdir(exist_ok=True) plt.rcParams.update({ "font.family": "serif", "font.serif": ["DejaVu Serif", "Times New Roman"], - # The manuscript includes each result figure at 0.80 of a 3.455 in - # column while the canvas is 3.15 in, a printed scale of 0.878. Every + # The manuscript includes each result figure at 0.85 of a 3.455 in + # column while the canvas is 3.15 in, a printed scale of 0.933. 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.3, - "axes.labelsize": 10.3, - "legend.fontsize": 7.5, - "xtick.labelsize": 9.1, - "ytick.labelsize": 9.1, + "font.size": 9.7, + "axes.labelsize": 9.7, + "legend.fontsize": 7.1, + "xtick.labelsize": 8.6, + "ytick.labelsize": 8.6, "axes.grid": True, "grid.linestyle": "--", "grid.linewidth": 0.4, @@ -204,7 +204,7 @@ def main_legit(snr_db="10"): def place_legend(ax, cands=("lower left", "upper left", "center left", "center right", "lower center", "upper right", "upper center", "center", "lower right"), - sizes=(7.5, 7.2, 7.0), ncol=1): + sizes=(7.1, 6.8, 6.6), ncol=1): """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 @@ -227,7 +227,7 @@ def place_legend(ax, cands=("lower left", "upper left", "center left", for loc in cands: leg = ax.legend(loc=loc, prop={"size": size}, ncol=ncol, handlelength=1.4, columnspacing=0.9, - handletextpad=0.5) + handletextpad=0.5, borderaxespad=0.55) ax.figure.canvas.draw() lb = _inflate(leg.get_window_extent(), ax.figure) hits = 0 @@ -249,11 +249,12 @@ def place_legend(ax, cands=("lower left", "upper left", "center left", if hits == 0: ax.legend(loc=loc, prop={"size": size}, ncol=ncol, handlelength=1.4, columnspacing=0.9, - handletextpad=0.5) + handletextpad=0.5, borderaxespad=0.55) PL_CHOSEN.append(size) return best ax.legend(loc=best[0], prop={"size": best[1]}, ncol=ncol, - handlelength=1.4, columnspacing=0.9, handletextpad=0.5) + handlelength=1.4, columnspacing=0.9, handletextpad=0.5, + borderaxespad=0.55) PL_CHOSEN.append(best[1]) return best diff --git a/fig/fig_sec_brute.pdf b/fig/fig_sec_brute.pdf index 4b2567666e8f60812b63593da428e455262ea542..cc9785dad272ddbc4380d8adc9200e03e23ea605 100644 GIT binary patch delta 3316 zcmZvZc{~(a8^rmN>8rg?F&|8evznFouOep^+)!D&Ead8Eb{F|lB06jj_fe^rzqH8#Y9e$rN(u;FJ)T{qpg zYP+<2zBQUzhNpgHcKY(VuVl&W2Q%(N8#)gU~?~$Uz$pv8>1YVgq7YC@vT z2@gGiyS3YQ5%Zc;Syc+e+8E8A=^P8ah*y=f*ROO{3uJ45=Ana%XJdtuQ`niA`BeW3 z84c|`f#}>DwHdF)??rscfc1V@yq&oCsvFP{oXbQD7h3drL4-ec3@E~A&FxO?B+0nv zMw9<7s6^DQy)E_l(Xv#lp!k*-a~yAOl!vlyJnhT^`m-yLbZ#!2 zwbI3hceg`Ki={r_T9xA0=vCQ`i;Oh8i+cr_M(O zEmb*bY&Wu5Lk#miSbdK7oYR>o?e4>G!o(}u>IKGfpWQ0A*K*_zk1o)< z$zuJExn#i3MKP(mO+Og&FwXO{w?XidmsEwyv{pTr>N#e*ex}8IsrCS43|@BMIW=D? zTzM)@1{j!`W|eKO(4cBoIG@QIbz(U%>Fu&w_W}{FN?G{l>yO-_I6`cX9$#FBVovct zoE}{MMi#=W&JE^0(u5qK%CogQg0D%ccD88O5>27%FWmh#271nhGN}?T`b<;~=Wcs< z2aSzTWuFUOf-alB1m+ce5)$v+tkXiA9^_rLvn;nK ze={ahhP3PZA`iGrC_bt!;+Zjed84YU(jja*GcS|CY+tZ-TE#a!mK-l8&J3BZJBN;D zERE{*;!ljzbYb@-id`Nr`R9-N(V_i#S<&ZHo#$16kMm(kmkIG?N&Qa&tq9@5?vzh` z<7mRc`)n4%3}$BRovw0y_*=jn7O9=eqG54ObHUR}EYc%O)~4W)T<)vm{Q!uU^V3bh zowV*VcLCTf6n^olF35NwsoWI>_4GQi=rh#2+a&*`Uvl~MYNursU{$jy=aI3|UdW`g zXP1Aw5}w~sn=szoOEq3MZsm9p@8iZJgn3v6TuUQY*P>t7WAgwTET$MDXtuH1L{9H! zu`syczglsNOx)Iw$#p$zhi(@y8QJU z5lHnrPa==;I(~%Wcc&*t$2LsG&%PLJXj5nI@(|KX@DXR`%x|{CH1NDQm55Ge@yZcZ z=@BQnIC6;u<^Y{)Q1@^!22tVlRrRDV{f=APft-1{f3dESB_h8qy}ssjQiaP+IUT37 z%sy8qFn*#~Ki>t~!CqP2oPM8uKPDq(3yWP&+yDNfrUq)I(Gwa-p8)3mP{3lN)%aQr zU!NQ%TyFo!KJmzCVu>A-dTH#%R%PvwNw2<^-qn{Gby()d?h=8dtuc}M(XW47;7(TF zzFzeSZNH{C4HU3F)ns`k)J*oH0B5GnN)bZ>M5DPI@Wwh}C6`$)t5mKlAH~GLz_uVC z=%{rMr@}?;D0RGNnQQUhX@OnfJ1SWH8M?;Go^T&c+~8SUkBa>S zrY<5IRLc780w{mnUTsw-qp!$uhvaLwL8*vFe+i=?&yB>MAbYOdeLiZRLM&zmNPMRg zNUw5SZ?Xf=(zfUV$n+6;9nZ*H?P+IHnZ#UED$|B;)%WmnmTYQ2Lqpsp;~Szx$Rjmg zkwXi-C-n{fO4aJcXs+>JB%+NwNYl{2Og1ji9U@2*+BsVcw|jSaDXkJyq&q@d718U z*06u)hc55612l*mSMPf)aDsHOAmz7W4q&CRG9Mlm?_#Eb< zG<%Jgu7L>Z86+zzWCxc+gH#u}B!}a=j986CD!ObX@$8(#vHSYU3t^f&cQ3m)<;h$o z`#ZJFL&7&4ksO0^?}h(|<|JaK{5z01m zP-m6S?7(!DC-}psy_Vd`0+^+%!yifC%JNfhSq_?&I!&%j;8$#)S4jHZQhZ42Egom- z5$yO;y>5+C(#Q3W-Z8QX-%jYQixKPSY}I%^ykC1+NocI_f^T}JdRSfT;N*!-IUenc7de4Dx|nMrYtT}MVPo|Y%!q|UO{oZXv?&)X-a9?!yT8PYGLzI%BWDQ&;G6 zt0Kcbf>952^Ip9EEmpf<_Z0v;LM{_EPVQp}o>7Os_ zrhS2JhJJoYXr`nnQfD?DaH83au=j8Ld@^$v)1Vf}j(!UD`5(=poVr1l7SGAWAlRG>M+DH4uts6CH!$&5FCa89|fUc^`pap5HR@B z%Yxv);YZTn~B4?nR$CugSCHDgHoK1k`hTH#o6!Of+rhCzpo>+gRx3WkqR z=j}Ou1p#m)kj@}fs)RVO72%zD)+7K>sUMl_%(g9@CG82WXFR2RxtV`W`?fzud-E`P zKV|=twHivb$cdCs7*`B^0?xdQp8;XM;+wkiyd+NKQqyR~ZLuhsg`acI6<5|c`Xbg_ zRk|I!7~GcpdA{0KJ7d`#D#>+g)2tE)KQ_R>0P`81kapQ_`+dbTu?L;YwbPv^BL4Hh z;DU8MM4@p&LQlTbhKoz|3%ke8{SCxL(b(uV;UL?7D(Hn;6y@T}NW0?}%v>GO!JV4) zXSEs|gc|x}Ya=wM;;E{aPLb%m3o0}NAWQDA%}VUOGPfo}T-MY_)%4t6#ur>FOzmag zH315#ln*v37Y;@y?8%?%b;fT?R$j(5pPDr&sL1_WN{+*OKko9Jv?3Q>s`ZS}Wqv!& zts#8&i-7+^oI-eXelnS9SyWI~FW*$msO{0=fug#Yo&}LpZM1W!_IrW`3g;5yIZFga z`u6iqRcZLCsQH;^6*_e4EHrP=1q99j4v4oobrtb#QWENAgU5;`{7w$;&y7SEm?0Dd z*@kY}jPzZ6nS9NCMrpL~MEB@i$o&sLh717+n%%aCVn|x3#tNiUbJSKS5lg{QhEfpJ z$IUsje(=kME#V=@0iV6VL!-is^9zCW(;VE^T9#QpipggF(NB4~xg3t6KAL~jb1&n*sby6ivMHF;Hcr&S7W`=wp`}37_D>1^0cVE=3-{uOX&A0b;e2bYd zBd#E}Im6}C0+Ui8CFtA-{g0``AhKW|`)w{1vsbvcTz0SiI>g6j~~FP0V(ez*B)ieD`Jm~?b_%9fgulk&x^U3YoeiyY;_*|$Rm znRS2R09Pt`<0hw#QbHmH1M0lH^>o2m{7_eHkX(6qi)G#YenSoXMqFO{D?Lq*?6vH( zH@solQoT5e?AoNp+$HxEfFjrTq-f%eHRSI0oJr;sr?iBIPk-4`?fUGip>*^yYJ{JrEm55?Kwx5D1m2YDi?=OzrVt4 zTbGeMJmyMxMVHZ7Y1MVHD&QaFrx&+cI6et1&RY zi<4ET$nZkU=iN}-{g$*o9<`T0PWtMaSsAhJCd0Zh0D1EYRkp;>+@j>cBct%EwB=f( zA$7XmC;YJ;Ys)hvBwu(-@m}fs+ggY{Yno+3h5L^Y9@M3UHb9lyR zD3uj88s$Qyd>B*%oKMxo%$H6PRz1$;eiC$xo1lIwKf&uPk|jwPR2-%-v#xi4pam&v zoR_hy?Xv7Y%f8wZH-RUR=Vv@ej(hM1m%4~HAV<66SMu{ICw4Wn&oqs-->rZ)cIb$C zLIt}^O&j8u_2=IvFvLRxmoC^-S%vHmM?b^y9)vdQ@<0Q?UIglHIV6z#c`&V2^__;x zEjj+v;1awm#m-P-#d0*HRc<#j^`4>KZ~SXHNena3}@4xG&B6qPOj7w}tV84<=GlQxLe7 zf%=TKHhgCMolNEqnZy75-8eJU>$Hk_`LB@$%`)Hf=@Pi zW}pM>>eHGYCXv~O+W{ry@yB=xC;nThfk!RyOPM9+&~JWLx2;pUu3+} z=nx&fk&X&X+!LAx;ZY|UbXBf|72l_b8aF3G{rMflxWj&a@wot*2-`!a+JM0#G{Pgi z(IlKO03~)0NUkWY-IW$N`9@oDF}VDeF>Fl z#GJW3BCq3w2StnDJg(4pKeSJejlSt|P;K)`uhaP~-ahE>W^-Ue>xPT+(WtmwAn9AY zz6ge(#f6(~(`IbEvtZkL)!Wrwt7V7(2T-6@A^#A3Cabe-%AM@fa3D?>L|fgi-FXCp z(Y!!`;JP^cHw@n%;hz=X0=1#u!5t;c+? zss;woAOFeUL1;HmwW>3wJueQGb#krEaK6Iu+~vU8tvDxRZ}Tq5?Qnh><3d;Ybx$)O zLQZbn{#V^+L!q3({*pt}MO6wZ2=ES@SbCKqHL)%RzlY~tT(j#)!EJ~8CUx8p3E@wk zRpg>~wEgb3cD_v4qtr66d$fA>-Hy8mQm*a5%Y^OK484H?Idw5*$2lY+F*mZd-6H-4#}=63DNGoO4tv7PSn)q62>7gyPlQ?&fi zVApB2---5Sr2`K@cerA@wYHOoqwCY|ybGS(Cfyw$h!7Am%VC@C6_k1H6gGJc?3LnD zNIrjg!kSS4w8*{5+S4f91Skj1*}Ke@E6XJ9TMUQBN~^Nu-b0WbZMb^)rlp|+L5WWJ z)beTrR;y+kk5yHrg~SAfV@b=o@(fj%^X%)SsLG0>W*a^{pI{S@!OAI%)9%v`zDOdo zMxS41?R+-bitqn;F3tA(J>^PYrEGpO%29NZX8nd|NTP<*YVBTqHozVSIX5fNuuR)u z)6__EXHNo8K}4_lH>%Cb3Rz}t)FSd4UHQ>^-@={r7?;^^22{&M6&+|6WPCT^lvlf? z#TCb(dHoY(kCKUo+dDq@itIzJhXT!NnTJ+3DyDqHX@EpoWdyqGCyu!MJ@-bt--t+Q zuuV@xsn8)Efsam_jfmh7W<;T36~-L>_Zi_>BvF!J2*6=tu)jylRgCSQ2NHom9mS9^ z@N>x?2#5=XcYX{Os{VT-Fu(s-sf`Pzs~bH-*e9QoOkvuM`;yDSrQnqqz%6oV4totHn%2q zC>TZWNe>JAu3q#CYDi~)9lM@V!wz^?<#k!aek;nr=0eiR$CyuNTWBWd=tWKvJbS=b z$Tm^yA7+3}^2!G5yZPqN`{7y3eSIxjzYM>vJX+nfCPz)1Y)h2la$EYU(p2%yMKg=1 zh;bjUUIB(e4MVa32xCiFFJ1R|8sF-TT(c^?sJ(?$X=%}n{A@7DZS4ND$JMKw##XJ} zNks-<&-HCJ&TReOn%G)WVC6GzhVj32VKWfu(4^mW#<%Td48-LumQG7vcASqaoN~M| zAF)~iq?1O=UgEx6B;P7KQE*pCm_mKkKQH`bqvUdWT`d3tC@TovN7-mgYlg5WUj}jG zarj8V{*fPY#-&;-+EU8-a2~InH_M+p^@=B?9G|_%Ku} zMb!Nl%Qx=m{Fmi|n}IGN)-$!Wu`%U3f^IK5$q|_`m4v(4i|U=;i|0OVKZ^Mw_(W2# zig=hcdNC>!(6`=)_wW8np+T)3Z(|e|zG1 zzRHdAIQ_Z*WXz!z$rBC}04yRNdfnoEb^qdq9wk@kg$Gbn!B8y|c|ReM5^$}IDHC&M%$9Jj2xvQ%cHojm-Rt4jQa-&BKF>q)3Tv(M`lT@C zPTSZGP)|8E?-?--pB&xeQr{F)5gp$|-U|X;F5VJ70iiyspGtet`8rOu0dTf0 zL5y1IwqJi*+?~yLRF_LE$e_e{2=-?$zeTvWjlgmI7%bJud+;=uKOvRNnK+2>u~WH? z${=-VyV=z0Qn<8T8nhMBIBdH)OI=j@l!ZQ9z!ucm7u8d4M(@n)ppiY{7QO`V-pF6iIxt%H<3 zkaW;lCTYRAef*qZGVIt*$tcL%eDs#*CF~VxlM30NtifjPO8J*&34{El4}jYBv6tFq zE>Nqv1q*e-hEpHJIjCHmprtTX{_VWPj%H4AdGTO8gO&iYZu=9W4;hl+xiLkR(yT9y zPv!9~SeDXJ(>)H>2r?xJm9$G!RpL~K6I@&OsZ-Pk!Wi_JJ}=TS(meW((YBD-iz9K) zs1myii)$|h1}dVtdh#XffopLO&-cb+ph1P>{8e|{$HZziZA%J0T`nEre%uqb#-qGG0t-S|L;7x21kMcBC?h%g?K9ON! zF`TdM$Ug)6ye}$+Y<5yQ8p}u**aK73{Fa3XOSoyjpfMSRIHTE>2*Hf?a75W?gM6w@ z?+Zxs+^RN{>oqPs1LQ+e_ifDDW=>MBBz3$nmPQ?&3$oK)vUmF8BWp zqLIH01-gI%se)MgVbI)C9>2^NTKuUE+VS;;M-6jfvctx#v1%!+ko?Zx&Qt}@L`_q_ zqtrahQ9-#pH=$?)&~vZ!(tDxaizlzKnej2*471sh8CkiLN{*!S^mXO?_1`58+RB_7 z*%4xCU6FOOnvp?nC%*cuT_mQf$~J_0!u=}ux1|B5bUAR%JnYvCc+V>I@ng_URz|ZJ7`8R(jZg=m}aAWPK7Xosbf% z(<&R(Ult`8d0mArGApx)4^5Q7bxSm^GaJ&$jB01yO*Ic$(qm3{p-tJTe90P>p2&qq zcM>2bt8c7l0+&If_Id|NZgjF6m>$3n&hWKIvIjoM*0I|9>t@=rJkK!)MI=sD zx<`h_xDt-`9)x~c;Q4q(O5aS?)>mY+lWf!SG~eS8_(!0!NrLHrlTSaunmQhCl4eOdh$BylK(w0wgvX zDHB(-IgY%g!)`{H^+!MBd01&KCF8^<{dQeyx@`)~ppsVXS?9`B(3#S%_uKf&D#uFE zF_jkQsVn>B_Ytl#LyZG14LIdrYkuaH2c!;AnMnCHxc`^BRp(F-=`=_xw4{E!i>%oD z_NmPfPr-MG-|%};L){YQnE@JQKsu+d2|KyOiQt0Dm9ri%O02JeDh3m&)Z&~rYO!yd zi^l=yV$*i_?1J2DXiu0&;#5Q00{mlKN}CEP{~-Dyv|FD$$ICaw{k5v-+%UMLDdCN> zr%`V`_EbgF`Bi&=vSl##EOh0mZIfDX3WQH!mY6whWZi#(+Ii1{KGy+MYwJfpddV=Y zri-a2n|1P??a0_$7opGxC%Ly-3V_a}I43vs`REqBVcDDb`FCCSzKl8P-Hw&2IO|i9 ztIwSEWzX3iIOO!)4LM|~`s&@b#{7isaGg`L^KfWX1(P|wd0~a5S?HKpyEbJ``wait zlKKlv+duVG>5JY{<>E)6SM(l3>h_0(2a1gVwPmSL z)D<9 z(&nnDVYBXV2kKxfLrTvHKG{iOe401Rwd#rF^$PI36cX&^MuYQ#c}b1({r!|oh{!Xa=w4~oRVF}rj+2-L1m!yz%d Z%;3>FU>(|lTr*xQ8po@oM6fpF{RaVH-Ulgt3$(hq0BioQUkj_z^~m8P3R-t`IJ%Fmg?Ec6IcPfpY-eFgX{bE38_(8 zQ~ck^ArvY9@If!w`MgxwXxAS(f{G0{ZpL19I z6Zg`K_jmW__J3l!pDLQG@zsoP7OKPT#A9UxN=M zsTl#)i&viA%kj5)>~jxNn3!D?&RV=bNa%P|4}fAeJAmRs1U0wDe1_()Sfc4yf8xaG zj_h;m`#&DYR!wS+g?{_dPocoFXQ#yW)88EkbWJ~wp3c0ixpR#TUpw&(R)Gau(Lf+W zLAIvGd6zj6{kz^VwrO6K-Q{{+)$t}ij|NS}@-4Rgn1lM!s%H4O0vu6-ZYmjQ(OHWz zJ8vQK9(bz16Q!RA{?sYaKKQrk$-#FF&-0xmLgM8P#`My<;_9@6+0$GSvV>gKOH7vD zMVH||nP$!b;NXkkqVri~onH<5uSU4ZGjv=$V^MXgSYrjX$OfDU_vK;Ko}k!mpSrF! zmQ==+S-j;U~gq2)96+hkw17o*|o7UEM z9_Ls7?r}9>bb%)L%m~bdkyq9rHyTjDu}$3tLMGxxt~0ha++)hVMe2M0#K0i((s%ri zhTR}*ex8uD@~t{s<{!7>+e{$L@F9wynptV@L!oNrFi=!P)+w0JB>2g2d*{PF4}f_Q zSz;m(;-k1cB#eIOU$vbp<7E-4gU4QCab0;;Ig8WnN~?L^l9p5`jRy_sF};${Wyp9~ z>;}~;E~i#>YCZ0mgRQFEK(>McYb!&RRGn3zSLECq!}AUIM5Iy+?)RXrY79N6Zh=bU zl0d%KmL)}9EseBqrA)nDlFaMN1xOzvPFsw?Pl>Fe!v|Zj;mFFZC2s{sj#~LkL*!n& zs#^TLv)y~<2e^>J=cjmc=w`$uFVQ)bykWtnxtd;K4a_G9Rb0$6 z%Y)=`(Xb^>eJP3)DLJZ-MZg=e^4`rXZEa`5wynV~Rf2~1`d1Qnj_v4~JWjE_w0{oA zOTxubVk)odRD$Zp>lzx%y|8Y=8%Z`CXJWq0OxoOa(j6; zlnz(SIq&_PwsPEP;!l-NK&-yrFs}XDM4+mtw3vEZX4a)X$#n#`|6dcttWZ-RLNydf zb6tHWn`cqB`yOm*x8?c@Tks zmV5fnKb7!ah{%D<$ak?Rjdd~lA3Mns!)*2wl#3TWUbsm+y-^{g{a2e50Sh{1^z!8g zPer0T>$ljm55hTOwlP4JuRUopnk4cb+slU zV-Zv201mQS;8lowz>Y-4XCc4irN#mXLCL6V$2yOD%d4>F`9_HsY@mh95IsT&uTG_e z0ki@~^?*F;3#>0WB`LbyR{*Xc&1Iow%lf_(Ppw_YkyT`RJ{uaAJ8LzJ0JpChu-zF|-nd(JVO(QtLPgKn zU9hRbX{x%_CFr^7(+-#Bx(w$(D&m_uMD;!mo$r8oy&aa2&;RoYSvlzQDP z)6j|3tnjSSoGmBH82>Ss-WSNz{wS^QJZkYz2O}-;+Ufb7TWyYF6-}U?k3GzIdF=!8 zBr!1-%`J7yzG9S1zf*+4vnH~N362-vWA8Dsa@=Os%BT!{W^nzzU5(W7n0fkz69diq zDQVNlIk+B)`K~GGO*dcMuvQ+vCB7)zK+t_4KN3*qzO_BdU#Up*zl7AHFR2vVN3=SgNbkf%zoz$wwmvR4~CKZmJ5xOp1 zaUFO!p|pHQjl{_*-Emi)CZ^dYXo zl8%7qkX(0}nz3z1hIuDQ@_c{8Y{>+u?)cR;(OPDJGK#my=u7~Kym02`U$MpG^%XgV zj3wLKRNL{OxY-A<4RSa6t1n>8We|LY#cRM50fvBra&qLIwKCiXvoB#fZT(5#7&i1S zeB0!*Q)@(QN{gI(ZtjSv_-~isb=s7Dra3XYY?k2M$QbX9;_z*x>2wXZkUg(UsPlF% zkMxF>c-$>qEW*CQdk0ZTqvocNy{s}ef)UrX2S({PN)1X7j`%IY-q@{a$0u*rYk;=3 z^p745;ezF*t7j=E8|X8pQmr?Nz>Y7?=sdDxDh4q=Z2p#K*<{1i$2esHM-yf!V?bbG zr*!}`SdVx2mBudG?1BSkYBkCyBbFO@7lVH*<#bKRSnez)u5Y?E>9c>elbAbpIU{q# z*vT?7(YyL0t$LQTpYsYSn`X2z0l+i8k|>cbMnbkM3pgA^DRx3p)zO_qz^0UhW%0M_3Xx#M-$d(-)h}*;Q2jc&F|*i0tCy)1u&lU!lc|nIMr> z=n2{0d#!ydj!J)P#$nHpB>10Z$AKUhf;3~X!#uRjI*+UFFv zwT!%9GX8dW&EF4{NJpf@%y)|0tln0Ua$E;%cF&aa zv`kj}eFSuuKKh2W(e5poVwfR9A@K9EL7`O%{01ZrZ43-fd7p*zgdw%%Apd@HH|2Q$ zDPU-A2=pj}BaSdQ0)CXC{?8l+NdX>V*tHQ53iXjP0L2_xL;N2ZC?xF290rO$%rL*a z9AZ%TQE5;(1oIzTz<<3$;V=mD@G=aJgdAcJm^SJ#gTj%h!$zPmBn)+E7luN^|3@_N z>&!3|9DVp>7z*_(hJP~nZx|?T$l-%R;TX)3IWz=yBs7#Z`iK||9LlOqam~TSs{Ql-SW-O?vVS}ooCMToO6F?<|b@0G;A@{r7(a4zLL)bCR#h= zOxT;f>y1S09H*~~`3pEsiex5c=|eP)C8t{Q;>C9NBT^3`8e?j=GWF^qzw8Cq+xpoA zsB}c`_o-g;bJmXV?g&FVj^D2~XSyBwyaH}?HsSU z>cnR^5j=Hc$p0HsT)d*?zzdBH@StwYzK}^S?r%*H2Dq}%$EmXCpBvon$Me$sjaLePl3T7%3qg`QhjPu@6{&_`ES|AzNx>lM^z%VHnc750m}`^z&K$#M{7&xqh`}W7{%PreU%o zwG!%BMzVmQQw?#?Aj;xy`M=?OPd&CUDPT*4JQTHg$w5wFM4S?8{L5fr5SZiNX7f_m zo4rx0BA4xBO@i<$8*^fgRmDJR6LA_yL8qpZ!Q+qRmb0XTs?FlJDkqhsDOM(}gcA=< zjP9>Qx(%|d8DU+^nn0h9*Ky(TC_QV*VvveE^Wi$Hb|8Dk-<}W|BJeKS1hZe*jnJM>T8Q+ z74VKu-J@K^#lcOhE1tv}xEmp#2`U?Ak$6aZ&_gQM%V*5K-r_Jn4eci+=z2lPB@iJk zoGbV2popYPVbxW0Pw0s54OzLev(VnUjdxIL81^+zgtMJJ)d9Om9lI>`Xg@=aaql1oaWC4+Y-N@C z>bX^%c3HG-p;}o|F{(9W8Z6{ zk;^m5zp_!Rx=DR%ttMe{=e~06j|bcLYvxAz8t^AZ6^m*SJ!e?MDV9BI;7*qIXwVAN zWlOGVYo{i+Jv}oO)v{>Sb`-Ati6p5;OL8@h!bkKa0ikGj+I08*%uGqw_-0;lKDQgE z-Se7t+p>j?(@%l-$Hmq${L87 z)f%HTl@QFdWNY4j{_Jt^O1A;Xc^LguL;?}&=y)lW%=>;J@Y^XIsJ)oj zxB;4M#U0<@UYv;PSY#ecaPb!`p5Qc)M4l5>ykOLs<{msq_4b4fE(NTXDkk-ce2sN8 zea<;jY^pSn;8?SPe~n`LVQ_xzEAt!tRC3<8IMW$t?t#ry3uaMHps-f~es9~R^-b-u zQl8N5y5#3APsX{!H#4Ax7Y$Ba!{(nSk+ni5hxo|mlawE$+6~6@26m?fzi^0KUuCNB z_I_#0jO7Sk;1ky4NkYVmVKWJJ&Q0NFaVN{UbXO{yP^>FnC({7Y9u_;YvWc9js=&yS z#uz+}t>8t$h3WJ$aAm7awZktVfq+IcdL9o6mMtE)qd8?MkrP80#w-lQV4`8wt}}Jr z7w%5<{rR_vu=5W;5xnRygRc?CO=np?lapt zJJf?8=f=7I5+X~RHGTMDc;a>gSMG;A_BRzga=nj#Gi@=~2fq@!^`4l#g>CL}?GghD zJlr$*u-ILFui_jLK6|sBDon|$nM;#+3FRbz=FTfN!}5dG>6SMOd5u*%*FIu?F^^XHj`;&kPw1|}^! zT9PnZnNaIlXjSURRZgBn?y zsRc|v;e{?XF*CN{WlcC6{Wj9-%;{+oT)o92u=fi}A!?NW=@$N_%1o-Pfd?6fv zU*H-DI6$wV5OkV45=F0}(Da&yM)vzq3?mwuEfyvVs?#T-kZMOqoTzYCc9(Kt1#p}`t#59?@dujr;`#H}!?{m)Ue4cKCqBlWRcR_%$@9{2?t*~1LXO1t1 zy&oG~a^*NdJYug>-KpqwTUL}0@?JSE4ggx0vKG7hbLN~us_An`w1f3{WBKltTQ}L= zgX7pU`MQ=4P10JQM>b1ukLv8T{6cPivFdKHBz0>VB5l6P>)g?^9jF5oP}Xb*0YI82 zAKTX*1#rwy%m5t=DOPV1y2&vXp9HRsgfoL#)4XHV3=hL6iHaI-BzfP_ zkR|J&owq$D%6dr=r(|lLk3|jIHTK zwp|S-t}QpoJD)2%om!Znkx1H*%WLb%j}_W>DCd_n#{)F2wjLpji|x(*TcQ3cZt}V@ zWtCF`84k%mD?KWgk7Xm-m+YHm_Iie3i^p&$bqGl@NJIk0%p#j%{)8rB`;8Z-#wAS` zGP%;vy1(MenyY|hr=pYx6newIy~YFy`C8=@d^M{d(aMUxPHd=`D`C1+$>-OdF&M$g ztX3y0;QI^)?LrtnYCA6WNbh-uX;O{0mlc%)k@~Qn2L$BMJV&(f8y;2J)Lf0&OR|wQ zCrzWXq!x$F`dbG26*W9%ODVG3puk(fbcbk5HJP(I63grJg9ew^`gMvwCieRN=}|By z+Z6xt_42x^?ay$9sgClCSBazVHZoEsCe_(MKEaD=Yt&mExX% zBUPOi-;+L9uS?lXb$T+kGf{3xbj|d0qD2+q&V`>6dwqY>z+a&$B3e3d6WGfW*R+-_ z%=-ksSeOB({)v7iJlif*P?0NF%(9%J6tIh~R+ii8oLEGWQ^iFZ;T>(eGt_ABb!k~j zdWn0IaH*O!pOJ~4pI(HckhqA5&W?JrYGr~81tVT%OmXk5H>EFGMrll@_A6iTbW24W z?YdYxo64QJ{_tWA60x1dX1rA}TqSc)f6RT}U>#=$0aOg^v zH^L~uXEua&<0$z|Mcfj{KJ=0y>W&42z;NtlVJ1Fdvi8{eXq2H#`e2KL6I%|9x`9y=-!AV=!vZp@|HTN z*I5=9f9h3_5vz{u;k}@vIvv}T@v@uy`0oAgY8urp`&lc_@>$YImyj!`YfV}3#~WTB zlV=<%3KH`oO_@)CW+~m>y}h|(`)l`NpLwx@g<8PwncT~bhB3eT2>nh&YNvG`lVG@n zRFyxx_#)M5SU4u!{8!VnpZU0Lqwz5z3Tohozo8deMObp*?#F5UWir&ia_5QH*Qmw2 zrHa94^ZZclq92IXZ%b)b0pwq{o(UU>ZTaObLJSo)Z|5zR%>u8!B>(hB^Jh-`GUybt zK50YBR8^C4D`l#Yan%~qO_GCbc2W2cNW)CLED|@wXpO%FY2aMB$U{j~Y7ZZDWQ4QtkFgEgz|z29|v;bPwRbN)MTO<&~Hl8q(W*{-`$jve!_1U0Y! zboy*cN7Y6Q(p2Qm&>(TNiKT4dae)y-@QoW{78dY1F36FkdHkvg>!poP36uJAMC8A@_JS(VEsf1O%({HY2i7VC1V0nCFDh95NKJt0L9S#Y}ZH>=f ziF#n1d(7=wg~>V*WvWAb>6X{e`4O80Q+=3W2+YxRZB%<@veX54Wm1ggh&zwPxMlXs z961`50yb@Bwm5ehJczXbvTht~vwr@T1f zcqE+^V&(=zE5QDK3O)+pe+vX2iA5cXp%A!3F$^4jIEMVu>VO{xjiiG^wKFb{@CALcWvPRMnYrphYj&~*g-=S9($NR9C0uY zfy1H?@x~osYxCn^2;Bbw{WA<4gTNd-!jJEPI!FeALmeWBgds6#x>K0pQ3MLCqGDi9 G0RIbzIM2}l diff --git a/fig/fig_sec_kpa.pdf b/fig/fig_sec_kpa.pdf index 25f5b5952d4353d894e8ad7350f3491c085604fb..da0520b8b38dfe3a0de06eed903783358de7bbcf 100644 GIT binary patch delta 3779 zcmZXRbyySn{>RCI+mLRMfqZ_Ev(3DZ8QC*WX@oph+P-^UH@rbavOP zh={|buNQYGo_#$0_Wjsde~sXgR1sA_>H!|%%^ukD}r(6XYcxlOS=i-?9RsU92WS`Ony$F1vy5ccCAj&4lG!K*16 z8xhuG&}>n@1CRW4nAjuvtXn#d!sORCFZ8@F>R>-;x5c?a3;o^a@HnXW!24z24t;*7 zJ5T@{c*0mUJlUeUDQY3R%a{Y%$y~$ z`|GH{V4RQDmGVmk9D&RRgJr^#|F-4{iRw#dFL(Z#7vEdnTPD5>AUKBhNC%;QIFaW9 zpb=ceA1Vev#El-38b?%wI~y|qX4jihOG7?^J1o-I_HBUb%Z0@G3v7g}X z0hvM_Xk9YqcSqezx_FnsOV6);Ky7pK0XXJ~2~#eFKQkzaQK25Leq46>)u~Wl$_2;8R>j&E!#*w_EU9io*GAKHF3$6>$@-@q zD+*An)H^ z@5_h{Bjv3%qEEQUF>_G~=P>JhDdamN6{zA@N$<%|E%+A(Q|y6xDfazSh$^Cb4AsSC zJ7}URAk!w$eT;o{tqPIDpB#`xBV;@E!wRt{FN`st+wPIom)k?5ITUUdIpMM}xDS#; zdeaUx;OYcRlW?DIjG(ftVaKg;-c})hwHw5p+RZ3``-HhanEvT)fbbPzi&csDwaO_Y zZd4!_5P{U0UxnKJwH(;@xjtdEFjl$ zJr(o4*YwFiix7&NwO^Ui&MOb*wjqPrWhuw@dK!{Lhx1u0xi-EZz=H8?L zKzw`lk6dSsCG&g`8#`w&xAB)@PCB#E=^KG<03g=~E2UvBKDOJA6 zbWfVQO<_Wc<{W!IE4oq2t1(?dI4;1ff|mu(5+p80Q($AOSZWa_yzIN2)n>=yjZ?&* z9zyTiA<``_JEAv6LJZ(r+;luT&pw>ijiI+(eHd>d%xc#J{{|jElxfJ=6#7DwOx75l z()St?{DB-#X%bN5!P$RlVxK~YE2;+Gl{{~(eUphO^hKNHyCl?mR6@jaUsHT0uc|wl zPUD=zTpa%m{;oiE9kv7G27uy|eZ`(uzEXJSTeXC+<3v7MaRy{8%;Revl@2X(E<7f3 z&B7{X+UbpR-z#nx?zap$uc-)fiJhMgir{eA z`#WY)EJ`v29Qrn#*)THIMWXvTR+6bb!SxU+p~L=;wk?F0{2U|MD1?tq=}7}#%}h-2 zEvc{JIJfkEltfLGbkVklBPGsF_Rcw_8esd@1yG5SKJ#Ayc!p7-i46Ub* zGQQR)Ec&S8!aIVZ+@}-|DnySHgEEqOBNS z65Auh@QIOAtgY4;EiWsmJO|?8Jl89c@>jW!hwq19HY1{L3(XXv<8 zDBU+0xdP1G84bkoPXQ43qy;uef7E$jqq4{~3FkRLhH(|0dm~BJ>j;=(I#sKoor@j- zsKw)wCh5x(18*qbD}2f{-Q+tnSvviYraq*&X#ys@U&?^ASWiOegG6NH5(aO6Mshul z%=o6+#^hT{c91cLwJ`a%KxvGXKL>}cdq|Ao1qGYkf+n3E(fSR%sx z)*xqO<_?1ZpPcP25gjeK{WP!ydL9(bUhg4|*_F_O7>@MnNL~8StW#kC`=)(2V2Cb* zKG=<^i@6;#d*Cg_JE!|rcn+9Imv(aw%aA5`=}Hzizsf2kZ{)G}HW<4w3>goJ2jb*W z+h9IVs@;M`P;4_Ls4}w2_036@ze_vXzx{Av8WiyOp>zkMyT8QKKZBX5LSL#wSg9<} zf!f?{9*y-=mt&Y=jEoZPS(Wp#F4bIBal_OH%pNkfbR6cS-sEteegHE=szrYO%s{L( z0vIL`SKH3ma?SNB-Qg2Cqxa3oW%RGvEQgSCM=z9&V)Gi-B&G--6r#_h?+u$ zA;6T1p1clH&$U`kL{#~j_YgW(n4}5ciY4mvv6?7YE9G=C$%~^CGB)U)HHOSr%|XS9 z(W+c_KB`rNIw-LQuVVk)n{qsU#0ezGJKV$5pB_;_YhzBcn_X85g;bp2ek^b7t&44o z96Gqo3$V04&DRQeBi?LHqTJ(7pM?cFId0I0-Dch#^m9r*2XP7E8@}Qq9>stMaAk%m zDIyEa?=1{rqgv;XAHOS%Qnv3=44{vv?*_=f&D1e@L{Iv_ln0x-eV%Z+yCJEb}H3d?I`*Ee1W)Hl1uUUY0@O6%uW92T7nF{eEN zwQ0^4N+7TCzbZAdCE9qe;#LlwYg2XYm0FmJC~aljaP}%2Lndq>9owZNVR}P<+@s2K zO-~=L$8IiNyS-8utnG8*`C?N6jh&Rei&zbKn(Qq!sz?OoGQ zY`a&n(!2}ok9!Kzs0x>Dxg6AZ-LY{|@l@cA?y{0>!g}quD{}HXADkT=m0cS<)iTrN z?Sl2S)Xiy{=~bq%T`9w-O96UT;0F3 zu-~$KG!KfJ2E`FfEBCPChq8>;_=b#XZJGXHKTBIV7xGKzy*-`*$m0T%BmW>jzOqBtYU#sik>Shn4hk;fd3XAt zI6vD8`vN{8i(EViJ1*@j4iByfxPLXMI`Oz3T#aK`rEKe_BK&-L+T9Og-FVxI{Aa9< zry=1*Qi9gKZuF$D7@rABg9KE1F8r(Fy87Z#iE7feU<)ZEE2wS?6Ur zZ?!k6f~YGO>;-yRqj|U%!PwBW+(p30aD(9xD8$#v1Bie_;mz}GB_WJRIE)Y%Z{mu8 zq9M?KKZp+m_@4rSfT5vh7#xN;!w?wM8Kw+7+fNyxLckj=E z{n03uGdc|7%uHn%6#1JDibA1bXBZswA06(0j)kI-u-_X(kr>z+GXjPDJrpPkb7tvZ z-m{^=QK(-Z@c$wInh%8{;D}#q{1^ToL&B7QXE2n?nPpHI#2Fo2MdkNH5HJnfd2w2lZ-|H delta 3740 zcmZWmXHb)i5~a5QQtm}Tg8CFsls^aK@`3A1%wM1r-TDYBDm(0Gq zQtZ`~2HK1=jnzz8rCo8o;=HoQ-1o1ya(xRQ6kJQ3w(D?#XOx54m;w&y%m*i@<$0RlltuJov5*uF(!10GWL6kjHYbUAM1+N0OWAL&) z`APLjhoIfg{(LdRJ#J5R>j`D|S=JI_BupN2cpp)e3sL@9x}a!NSDv+3TLW^nDG3?> zmb-wHQ}*86Z4`D^^|qC2376fq`Db1=GD;o4vFQgqI)_tvcOry7=`e!XF8dborE04{ z?OwK))wFzbnIE<&dt$e2{h9nwR5OuwkX?Wq7xlMnND@Aln3?xD;L7Cv-Hf$$Quz;6 zDnG~W0INjyusQiTY`OhGkAyf^0-XPyqI$K-@VA!}B?}Hl-U8aPg*)EOGM;_K7j!_W zht6t1lgWJB%L(!dR?@|h-V(kdo3S2;@jf4Mh5P=%@8KRNn$y^;kcg+JhFs7(ZLw&JHFozyq#CBh0J{Y;;hPD`8x;jt9 z><{7QiNn`V73%gn=Db&y@4Jex>8iaJF!c#Y6$zT~9w@|LOi#zh*<9O%KE;2Syg`bs zn}+t_-+q&l6|}mzQ4Z=e@z2;O6mB8$8spdZ2}Hri&NCKTt1KbLD`kEryqAFvVDC`m zo<=t7)V}kIh15$K9XP; zIL^h^##6^)%0yL+=t)}r(lUbUi}@y2>EqEKMWBcqSrkaiV3ixZYmkEIqAi zEVI7+bO@h4!}0LfRH^NG&cU3qT!GWk2~x&In#bP+v&co6usm}4Bsd`?m_^=*pY8B6 z$GDk03VqHpu3xpJ=$O6N_75MvFeVzrmnu!eJ;c5B3~utP!6%xw7?{3u3ISr@pUtIu z;Z>Q&{p`fAq#s*O%paWGwY=+e$h56(JtmP3nZ#hp~ zM-w0H@u|0cCML2`Cu090Gy->_#hvu?cO-XjoNjq%khB>NDO8&ya6a9-tIOmCIn`w( zBw2?#cLFia>w~g)irhCrhhQRA?OzYc(uEdFc8AZTiFzbNdV@zXa~9A4!Sq7estL;- z)gpmNSDTAEr&9@oD{AyoQXs+{>%M*}IU-`pqW@VVOHEKOi=dTMKJX0U;ww?Wg>Tx? z@ck@n*fo<D!6KHMVvOR*$kT!?%|tZ&r;G5 z>(s`@IUeS!2F~NAngB#q2a-zVStLeeg?(iC-c!lex6r1aa=Kd9v?#`vhOw;x;gE4#?nTdUMp%Gf)R%;${*Na#hc@3n=LAT~6UN!im-dnc} zv{6iW*1|p|nB4L9QSltEoZ&#&u>sR9$WS%tHvfTtZNW7f#z^ag~F*ZgED z#ZzZ6ftl4-)H0gkE`#mQgXD_!X<*9rnK7(D#ErYq6Ii9jdqblD~m zV6?NZqO`GJ^?L1w8rc!Jo*FT=!X(D#@DO1@m&B;sR(*2FOAJcIZt_27QnGX1d_XCf zJzv*pB~ZAhq+iz`Xpv!wFL}Wb?PhovXLvAsvcej9QL6txvZu zah;K{ELLT4uHfxOWBbkJ((aj$X)E`f0hWyqyc+f+Tat#o;1OA@of_t8UIPE$Wzvbc zB7%>6qRek_pVZ>4yeYv*6;%gg6`pE}OLoz~R)r^m!Pm?<=>+{rdYcaZGX2t;FR=q# z#{w8H(hGK0GoSnG6*T~+gLcy-bJqw)*hO6B;Um#k_rmcP0vJcGR405lJTsW+4-nGt zaY%(=_HEP52q9+c+`x-A4N|E`jWSuH&)mKhlH1VLK1kBIt?__*3t#uNU8sc<`Gk`* zrnShJOH!=Da9N zV8F^18%#lud8*|H`bLdrzqiE#eX^25Ax^zPnBvIILB1}ZbSFoU|7$YQjrNkuW-yro zLInARREy40cP)Y?%T;PL-JSAo4jd|6U~fW4c^^Bm794Fzxt6)-h?#dAfsDn>P+xt$Yg;iuwwY5c~;jooWHYZ)7~Dw3deJG-(-k z5Pl^WoM!@@i#}`*O!ffl%cX0tQ#;PGDIa)8ozYv=#8p!y&;gCZx{3&V>BH*1lb_W; zA68HG=37wf>jI+_O&ba!8)4;RN#92;xWB+APnzA#{Q^Z~lj(n?YI-~u9u?-1ncL34 zb#V+*&L!}mbZ4Da5UzSA(_g97F!1j1&AP%g;dnQlxL_T}pnmBY-ci8L>pw<+COyQjB!*}yhJD{8oaT=M!h zr`GXdh;DRE?x8wxe)MnVxcsUvn#o4YsoH_chrPDQWrL*{mJFK%{$n`Jy$H59#y4$@ zgcsBtD+IpoG4s%y)DL6q(>m@AXs_jlwjKtDh^mfuGhr*Ig>Fx}Ppncehp&?J_2Jpm zmdEGsl)PB&+15SJQvIGx_>fs8T_7IrkyNk5I@&Rd+o z>s^D#_>$7IeXWYXT(QL- zdb?7xH0a>ea%@Sn_0wRi8f2)tKd1jYuZ8dTP^m>VPfJM=#YaDEW5kzU_`Lb9RiV`` zwn!5-Tz7*4ILY`*Z^Ku8{pin!po8KwMz+hA_#iY&N3Ztp8E&|d=n@^8BJOIjN!P>& zlYB24SoG>lAvhdo; za(_^h;a*Cn%-k9#_Bx~dxX13>$`@fL!tr8PYs?%zAPidXB>2ko&hDd2iFM(ZY(#DZ zbuijrnnQ88`np`h2fE^Xesz9Mo*W7=Fckc&fh)k_{{x}_1#6YK$u}4k(D2m3Xp^fj zI0_8?RbXE*$L|IXSAZ%U#Sn-i7#yZ_6hj=cOcDna5kGhN!xI5N zs*gmYkMK~)Bc2E-9Qg+iibO(xhVXwLP$UfYn+N>sSSS*K_)`$7h(a70hAX1}3ib@>f;<{#f9RC3jsggVZ diff --git a/fig/fig_sec_real.pdf b/fig/fig_sec_real.pdf index 5e3202375a5da8594fff327a2f690ad1e9dfcc4d..2070a6e14c92c7d8c0da3d2c64f59c484601ff01 100644 GIT binary patch delta 2923 zcmZvZcQhR68paVNT11yjgwb2<6f69L4fv&-1Xw?)4_{ia=ViL1S~;Y&wqaNe*GXTsoEX_n5x z=+bEI#-Z4da;L;+Rf$WrHMd_i+>$nUOh)Hv-&7sJWF(oNCYl}KebB(^oIf(oW6O#7 z&wGa@;lhe~iuYo9Jzn_a=Ji*0Yx8_4J3p{o8TnlPz(R=sDGKr)if?xnX!rUg3~YO>XNe6otMx#MX*|e zsx3yG<~l?*C{4s>fg{k(v{nZ?M-EhDz!g`E=CatW%*Qq?E1)ZvU3*>#$w+L(PC7Sa zoMA=gZJK}|ntTrM@i5LI2lEDctyGhdT3p7}Nf=^}{2%a`?f9dx>#2fO)bT%O>5tnK z3x$NruwhyBS#vQcPh<7I^UL#&8H!R0c1+~N`P}>^@rc^)&4W{1AM1Wcn8vhmQUr+^ zJiBbes0agc%QyvnDk@@Ik=AJAVX~V^WA@`cM`^z9pyHe}V~Ni0O( zLWzwqK_%YI0;2wOo#nln(uWFAh>Rqy4vFOe*x~=;c%PLjZyl>RyPBal18ns-u6Duq zEa{e=343ee;kL(c)ArJca>8?Z^F_!|+a^w7BzIOiD(Wqj##Q%Kk@kMuu$2hj85Y>m zK;9xMo}{jCS<22}LRiQ914`mBlR$|(frE*yz-*jl4b~32LS{(WBDo(`#r0z36rpjqH{*`e`aNSNRgGeDgJsCKvv$|eo1|M<5=1@3TnkuG!@%Tbs;6+29*g&A z9L%?0)wy1j@}%T1C%@UIiBFb~qd?ko;q7pvN*jJyVa8a=t7b+1RA$F47wWfwvJd$N zT@I)_A$4-B{7Hgi7)@7k#u$M6AFZ|Kmm~Ec7A8NkQh zTw!wRrYejZY|h7d-b$q^oN{kI7_I5;QK-2RYSE{e`_CR6r5L2GCKQ$`IL%e)Z4IE= z*^!$ZWg?qc0gd3EleF+&4?)z+G<$2WEeARyD#6@YZ*GV;rhdS|{hN-EfB`>)bsbWo zF^vbG*1oKQ zdx9oXESL%06z)Yf&!mbd`&H=PCLh&t2M!%!*$*On3YzD_Xfo~Z2z}oW&1A&~WZp3AijG4&^07Eu%y?2P(uxVQ3n%0g ztws?Oo@tX(0oaa`waEH`wvQHV6H#aJ>)>?`C9b`6NM?E z8x)CAE1qJZZJZp_#Rm)ed`9gBNrRwv@UAx^PjP5N1AFM1JyO_EW$?J5Fx(KI#J+dR zb{FHcR-zO+CX&~W;?zMEA{#G+YBjqWg{5bA;2h=0AX7t zuK-Dam_6AHay4+&(lS!nFPxeW`RS)BmieiWS84h8kkq~m+6J^t#QS|z{ra+6F8DOP z!b)SjabORhD#cnBP_l`lPq;ivm~Awrr4vg%Q{nyP39`84GDZ=Qtyu{^Ov^a{*LYX5p*d@B z@`yCn)^vX8uJJNjGvG_Y@>5*{7MU=IFIpp{jxrfv0={h|haDi{$sdz9QBHH&f$5he zrsT0&7co}2xl|{ia?VgefQo{4Q5rx%WS1&U%abSxw<>Y?s*G1%F;@W?JrqP);hx}z zq>ttc=RgUeb~hbmExRQ=hH~Q>2M+wR$yFP>detfvxlNkfPGKVbfGHf8V61ts*K7GS zQrMIyeOA{m6t5-`5px+~Hk^VOj#r3f)sKTxtf?12AU8`&;Yvc3S(#P z+bm^`Ph89Lr1sR&%9!9!Unt1M@*dPn)gYNuFmy4b+)#Th$xEuvXEa=JO1X=}_=m4t{RacR zHrnbR=W|SBzppaz8s5vp)EsMda!eXM>wa&T=VxZu`01=p<1;uk2EOL9wbN3!ldZHw z#!*|S?)KU|xTmt;PU^kj^(??S5NA=X=OJN>Jb%`dEY zYh;o>5}h81Zc-$Bt>RG$I)?9K#`5_>7dbf zU=VQnmlSOb5-iON`s?w!^V0q21BJnnkXsr83cIPnK~hq;HTeJGq~SNXKZE|}(koN> zDBy_n@l+v<)J+Ns2gATOoKUzF_%;WVzRe+Epc`HY1Pr=4F$9c|`g>c62m~g5 ki-W=8w{9tgK-?S}3P&QyrPICA)o7szIzhqbI;wR42J8I;;s5{u delta 2868 zcmZuucQ_mT8m&=E?RBkMpU~P#Bq2em*_NV4?GdH46e)_f5=5*fD7D(!pRLqtZAEG& zF>BVWQIuSxHof0>?;rQM+}~fn=e*}U=RN10E1+#Fpsk3aL0cO=5&p=z7!*Pj?he;{ z4#oW8fhaDV&y)Pn!-!z~hwhMN!kwG9=36pHTUq+~Hx%kny2GJ^q)C|i4`V+UN=wrL z)q51??chL}X?#aHn)+4HO`>i-MXVjDpPr_YkGaqv6TeKI+?OxHmNYE(#1m^APJjES zhon&yHGk7n(7oM>TjPC{l7)TeL<>swx0#w}+>J2|t!>_Wy3>(C94h?jzVv3+c^_JCcT$QPati{4I8VRII*|~XvR#Mgc1Z$>C{Tkv|)^~zWF&{q_ zPpog{V_{mRdb?3Rda5J-^;nDFsT#A6>MfYhZd4w$$1*at%yK;57b+mMw05+z^$`9$ zHmwS@{Z)~;b&r}ax;(`Fg2DB@gVBt=QF(7nGsXjHu5s5rrfg4N;6Y~m$x^gK1ka%9 z5>ua(NN(bmIE*}UluN2I?h4uF_u?f6CIyiMN>cIUas4C1x%+mO({DtWSyd>=XGGzO zG;MTGLM^(-t&huvGj80$cI4>0T&;c=&9j6~+I3T)TMLfAO3+Wf$B2$lITiwB^h^$y z5F*5UV1x=GJq-@?x~$qQ5_oo&V-?2T7qLGij^umulelyxv^7sd7@TD;#D0k&QJ=L- z3Ry!cecD&LNe0!^wy}E=D?1AXW;hn*+i0LG`PDSjfNyRV$&0EqdG{pArC-%T{5YS2ia`Hj z(fCYZH~Ya8VGIvQGR`X`N{8pY&X7Sr}oe_{#UEwh`cd!=ssVMTGBpRRWIG{ zX=1yH)z^o9ZEk$p0u{$mJQpo(!tBtubizi(Ztj>!IESw_;tXssb+pco)J8T|ow1=u zF0aI(23$;K?sweT;2*TP*O2piaM`=~vFuQT zsGQk60fb~U(@AXa57EDbuTqBEI#SdDqy6DVMs)1-{-%z~yj*q(& z*Ug9RdJpfyKk-!NK|Ql_)WIX!T0Fx9ym@Y=vBs^UD?)`MvJd3_IED$V=8@)uT`nG> z1pIIo=5ExhiHd}D^9sJEyuX#f)ntusrImgI9eYhpn=9-Oa=QauYz1>^gPx#neAh_^-y^{Po{1aZ@Pba9MIkT^2 zbo=A))#}oUY_ej!od~6dkG)P?tvZJdw@E>!sCD&@^LK#>^wg+UpGQ?R>t!00L3nq=rJohA74DT4MJ4o1621U$A9HTeagq)5pg*OD55Eh zLCVQmN1toPq}1E$H5ZWs!o+-?U=R1N z!O_*&7EXEq``FBo2>OX_p+BK*2E!s5?*r5B@Rgjh*UY@e{PbS`>-X93?0HEz$YUGKiX=Y3$;^QKd^yf1@P?gBth{nA z{-)^uQ^U|%C_xtMr3V~P@TUpz*Ya#4d|@zz`LYNYu=x*hh__3- z5uoBO;rTXD9nu97WImYWgv4q?wdfKOww5iTYyA>a7M>mnhr@AFGUNL0m*%i@*Qf=& zmJ%8lmBW77um#q7My~lh{V83#c{F*_j;4Cgs%>?@2Pa1c+*WOgTHEki@^`t@o6>PD zYq^9wtwa>jU%sj8VkNe3$=#z!3y_Z=xO#-=26HmMq_3I>sWV;8epXT`nPiHKY22mV zk((wXIe9-hq*!}X^IO&9m-Z|>mO(e3rd{bj-bdNq3mAPox!TZJJn!`S(dllGDq4MF zdz~7IGk?b+%5UXzg(OkgQ?*7rF+)@TrmMIjv{?r>lHArXRu8w5m0=?fnDo!pPU~TZ98SoMM9IeHzo)&lXW2<>vbG(8mBjGx7tdo;+^neHr ze1Y!ft(WD0!k@J65I40fC6k=8(ez&ib)$7h8SJVK121NtUKVs#M!{{bv6%{*Xsqwg zV;)HCGS=xBJ_;9+74uu~N3x3-3K%usO}!`g9+4wEaHaOwqgc;T*{$2A5xt+eP3`%Y ztV*XI2{vbStm_k6oEJbQ!evpLg;kixtJ17Lou9M0V!kEUkz5pIMepA+4nZSICeeTa zzu+w@s9^JE)}Go0_1Oz`^uGM1dM6Z^BqfMqHfgDi>>*+&Sp>I?VU71-;qt zawYv_t05)#e@A?mVFcT8+lS+fOVWR&gSifCm__3NdvHPHe0^bZ$Z02?_jAWcFDCo0 z@nHF^KYcvqxbJB>nwhJ6#AGXgXaT-q#%t)%c?tdP^|Lo@fgvcyM#MpX?c>C9 zZTSn5JAqqer~eEfmn_w=)%P$=*m22)Z# zi$Rru;PV*x|L`D?#19E@S}-(mJwXZ$gq%|WK}zQ^u*!KJ1ah7S1FD|UfM!zbNej- diff --git a/fig/fig_sec_sens.pdf b/fig/fig_sec_sens.pdf index ba094dd9ae41c9e677fe69f4e56eedf6e35d4582..6a2613d883152d635f337a4efab81f51ef7703cb 100644 GIT binary patch delta 2856 zcmZuyc{CJ^7SFzfDErv5Q^qjN7@EnNp^#LJWekRyl&mu%8d>r&#+N0Z>_RCc%veHX zNg4Y#%2Ku=Ye+G^O7DB`oOjMUdH1h-e&^ob^3T204UX9jj_N-+NUm<75{+U@5qA<4 zw&Q%CGMnHX=<@re+DD&HCRRoxWqjTniULvTq{6DQMkF}&h9b?>jMVPUoi*+Nv1BIj()Q;;!a$eBiqUD1d*a zpS{xsI-@wCfMMSzr9>D64dtO=;|vBimoVTJ)ml(kiIdmiUSRJxF5j*&HiQ^&2y2lU zT2I6OTE%^H&4(+Y#(Ewb`b@pjtdKEb-ep$3@1t{g(raMZ+0wXGhnC5eNR`gfIgM|U z6)z%dD}u}79|T=Yle;)aC5DX8ouvL9e2e^xVw}*P*=tNu(NuAYGSwVZK(DXUO$ z40qP`LDx}?XAxJEvJb+ zDG-J>>4#1|3s>~*u&@;Y=+TIXZ5&8Bnn%TTjnI<~lEFyI`M&A&7XggqP$>>8V3+h) z_taX35v1F$7eE53be5SR)FnMX6)}pd#?cPA6pvvn}87*xK)s!cNA?CF4UNQ*#F`$E=Q>i0A?K-v3K^ z?!Na|2zL0#W2Af7xRw2*eL@+QY%6Y=p)WW{)$nnbZ$IUoO9k zWrfrdVvo?LpFf)EEt*>T*`TSB8lU7xI`7u`S#wpm8IJh+qXu=|dT@hmHVSUTvpd>J zM!>le^>|)&U~z4Cs`8ymZFT%SdK3b3%uG5x|Jo!!|L8})^{-QzNHiv}K_EP3Cdt4#cm{irZ+zl%{&^{`3E zjAq(HYD}wyO)qQU5qZlfqrOKym)JzQ33{e>0r`gY8WB}d>Zi|*(@B9|y3Vw^m3PI> zH{*(l2Nd-Hu6|3Ao>_Iakk#$~ga#BzlFNuva}s)%)0ynNA)2q)!`UI7H>meG8clb0 zOC$tDd%oZ~f;GoTp4*}-XnFy-Z9AHI*!_%ZW&K~1_ETaTSNFWiqIz=+uFjK23Vh%4 zIv|obt4))}7C6;nNoNIBxR~D8eYW1q5j_=oh9N~Ql#~ECs`Eu$!QjB;u1MVZz#B;A z$ZL#;brd}*OW;P?HoxL04;iw#I7V(!O-Y$Y%NMm8!%Z9lzzcS0j!X*kI8 zrG(dziwMG8^x|w@g#p)TJd-5hCQsSByg9=E+4hE&?MXGN_N7|MiCN5zu*c$|z>#tf zVvJBJf+pP9NQq0q4rB`sDzIg%|1_C;7FQpwkrwT2{jyoM#HGW3fvXeUVUz#!L;2=R z--6P+ahFR^M*OW6Pbepb^G3$b+~>CE;@EBrSrXkDFm=h)LSiibIRPZ|ueSwbrrfmKe4n{g+z+KQfaa2u<>?eVlo!~&&k)hpBFWYSpUNc(g}2$J{Qkis7F4T{?S zPB@**iE^KZ(ajp}A_*|OwBaF*0ptmC&G~Iq(2E*L8@;D@>g8{UuJJ$wV!|YU$TJg( zyy;_tn=bi}mdH0bsK-oH9Lt8v1w}b@aMI|#{%VJF(#Z~EC$GdOVeiTw@%29wo6O(z zrV6?ktsgV9J0hM`NeV3XyDPD4uNf6*C@!^M zx82B-TW4=V(;{LrEayb~U}5+;?Jo++#9 zkn*w`9{l!4?FZv6zS81|D)&8~ z=uFUT5@&DcC7xp&SK2U|le=iIw8{z4gLz}UIiHye9~RNuS)m^PE@h zd=V5~e!f7leyX{77=uR_ruyxR|KnuQ*W4ZgKTRmgBvInm!qIHJ+yS9ONU4HcES97g zs%1kF;z%3X;IlclbG&|<_{>kSgylWC%8r67i6w}y&0BGEgf%2<*mxXxOBb$*RDF88 zFHY`>92+o}`r^Mc7j!BP-bXW@6>bxFVZZB6vk^!42XTyCuFYSM6x9}Yrs!Z z%LgfmK&J|!HfwPF>rrj8=5l##y_>W|X1Apowwb{V$>Fj^-p(uia4Tc9_;A83k*0g9Mky4Nr}1x=Nam#ayiE$OAOa1}u1sCF*pJ#bq3mp{Gt?ZaKF+mj@n&|j;j2TK^H%sll4}`_0PIjM`CSH`LA`c zudNWI7m-FbE9K5{LkPE^@%ywr4Bg3uyb!5HvAO&zU9Vcc@ekt6gI)PZ?;ZgZrzI)a zzYkvGf(?^be%i2yT8dxp`J#J$5B==IMy4lOnF`=qw$AE$KKYz&T2l0RT9f*IDibtR z{Wqb*1$({&@7u7GE8}+#*m&-nQ@0Ln%_>Vh+g&#lFhOp@lWvDeBSLB-G}u2DEM zq!4_3jOMKf=*MVLeh!uQf}-~%L`er8A0O5pe80GfkiH@LH9NFr9aX$&(KxZf8&I?T z7_TfMAkmdkh;}9PJ`Ir{eMI03Z?37ankf8uIwh$0j%_%2QgT?R{%V-XxH`P{a;w-C z7|;}8#!OD_6#wTlY9N1>p_SDQL_$_h5cBKoAg2a}_BMY$iQ$Q07SjcYP|`_{%&y}i zmRkFq{Ss04Lh>72*Sq{In#(<7f@8)iOfvqCKBGEQeRuV(mBB)>M7yt_YT;3Sk^R$R zvU$zyb%8$qRs4{5lTbZA+=nno>FlAI6gTO}x}8M_hzIO2#;v9<`GzeC~LT; z>Bmwl`4i}7N$+(Xb_9}(+O@+&CT9GzWis#RW|H2SIs;gNB|aK^|A8FYHl>toiJkN2rR zVa~g?br0~fVx_n_hYPRHNDGPi?feFvM;Z&S`oDh|-NeZxG-SSOJFZc|r#FQT_G9Or z_ZxRfVtgx^o8nk{pA%Wl)OIu;cSbGmM$^F~YW-q>gJ{Bx)aixFfv}LiZA9%GI%V$S z{q+W)VX7HG17WHEB5KW}Ve$Lbr?$t-@~S4>`37z;e}6oD@2Q6MA?H0ggwP|~&v4^cIa^#<(3|eMk}GxoOG(=Jb+Cgx z$}XZ_yFI+^i6~4wSk7oeQY23MG1K#`PBvcRSM$$CGMd1-kNoYPDOPia)oy>DvmmL}{L6I2YUlL2 zmNI6A5fiy25cmUc>L;Bb5X1S_#wK}1qA#X-?aX?tgJFzdT(G$Hht6L(xQx3j)A#dqwW6nI!nYn_ zmo6Kn64b0Zu~!R#+>iCX$syt`uL-de4euS74IgIW1=8_cUYjFFN#lwbmO$GJ@Hgw^ z#k)vE6(3Nd&is&4{M+;4ZQrq?)C6x#Wn_jnGzHB@uK~=|Gm~m#MWd*K zmN-R?H)|8329Wz!gyCpTZX=YOw@7?%?SzVY7UlbzrR&Rsy(&4XAVAU3ZL)79u+^;G zQ^BWnR<}>7I^IKCP}jLNRJ+m3GZmCdSyO}3WjhtV z4hAf)5}q@K<)At4G_Ov(kvm;a3z5r4I3k$1nI)80o$kB~{w}@{^_73#hg+TS0Z@4! zDja-y2}(E>EDX$Q1mcs{lv4oo1t&_5pS$tpnk>2il;}AKU#U`Yx%tbX=e&3cWA_SX z$b6ucxAqwXob2jjjVSqz#S2_R=}gll>a2^7t0L~6uC2f`stvCA>Sf1XH;%{cY~j{3 zB*fyi{nBn8mEQO&HiH2^zHYU=we_jdR#?DG=`~+_y?qd-iDI8&zHh*s5i?q5u%_t| z>1w2-^lnm9r8X)N@rT23)(@%svXjDW%|;yp=lx^UEX#9btu_@kM8#Ipny#~_h|}Z~ zdpz}@2q$*CB7XI{xxXmY6OXaM@z>xKT3-k98t6ef6osZN6Gz3lXu8e5$X$wP>gAEmFKM z2AF(zOQ$+YSeEM%8Y)2GgSl65b3c|T_R~Fg#(_`t34&!o_BJ8rMpJ1zID{7BI0Io3 z$iKlis;Kd}7He9yW_P2iNxpv~M{e*{0JkcAXzxRf(HhpjTO)~>frJ2*WwGrZi7!of z6lA!VMX;MnWb0B_9x25{#eYRKCys;RcX~YD44WDZK=xG05HlSS8G>Z;u%PKP;7mXb zDvJtkCt1N~+@H)!N0rXG8NXB|rgBw$8chwokr& z>NG)KAixbtH%E=_6MgHzNQ;uQ`~w@n&r4+vJFd?%m)QdYxpPcd5y#50B<+QP%CjqerLnOrKux6UY^?;zl(=iFal3HrW%$o?|c2 zLed!+^(*D()e$?W50@gT9E8a(-Rsvv4Dzq;_Ts&hO&XS?MFo->DK>>MF%4q6YEo_a zMMr}?U^BThX1Mj7JjJ16E2ngtkFj;@9vY z;s71tm$bG+Uh-XRk}7lU8RKyVJ&E}=U%>7rM2=&J`{73QzTl05?5)CeN6}@(ELR>n zkuNGe%n0(t^p_^qRPvT#Ua~@~B=={O=1c&t|1w)}QI+jL@xF81$xA(K@LGj*n1$K2UuEoP>L zd|>aAKtO3Z!4Z{haV=clyJMUJg9=mSbTvs0^}#dTK0HaiFpgw&f4=qNkK9FKm^m%8 zAVG40I0`f!I?bpA!z7yMQ8v_q71eB$qU27TCF=1z1A)GUt0;1aBZ|yFMiL=VB2(Y? z=R)f4O*5WvV~d}6C#&0^-i?1Yo!MuoIoId*;`KJ)Aq7H+YE$HlsM=nd@5hEA_({6c z3jXm}vrFyaw{O6@zA?SaeX&YqM>^?lMz13c8I;4bUtf~7hGLhCX0XEAF6f;OfDbO3 z%SSJ@ch^PKCuUGgeB0$h*O-1>F#QG9P=+;#!GRjAChakkeH`Xv04baLF?9NfsbbIq z&0yXAOXo-@(Q{y)DJ2bE3Ojt?fzfXpB`7sVjBIvSs6WcS`EGhS&mR^}lOV2wZ6tzy zB@Q0WYFjrhsvXKcmjiFnVnr?;;jlwRLw|Ak0o8^_yqGSA-YBIuFnRenDH%P{OaWBj< z%Y|%hG^giXkD%Z{PZXLg$0fiFf>vm8A-!3Y;Sh3au$dP~Sse7A5x*La$`+BbGLpSV_BC%d zIabKZJ>B|se}CNvpTFLZ=lk`3yk4(QPA$!1Elqj!c|g}ou$Fz|ad4+#XUPR3ZcaSZ(s)k!p|CiwEVubj zKst~P%dV8ysdQSd*xqqK3M*qqhJaQF8^cHPFLd6^1oWVF8mq=;pX-$sx~;KUbYe#4 z6y)xe(y7toTiOylE^QuwZvKM~YH9WjrU@UI1Jby3R^TZ9t|sZ8{zK~e^tktla(Y$t z{`m3ry&GjkJ72ovw&?9Y_#=XXFhN$h19~*MRsKbJZ*^1ls| z@*FJR34ObB-)Ze4xqU{=K=M^pV5GvXjQ561<+NHyq=%Hw2(dFMdLOx4iSTHeH+*?)JS`>}$=$W0zu+C4vd07)`y%RG3PZGuGOf3Gdd^70^O|p!|DI2p~&*EfeF2)QDq>jTj+(IMuZ37*_{wzrlwygXR4mq+GOYz~v z$9QIpaHWxyXENoyUSidvk>{w|ctw?7p5PJwNjr{UY4QcY6e`-K zC2QroE1wVg#PjA^12`>Qn(v)iM~`l^z{laI(-PO1V%cRZZ&a{e8B$1}evlF}8LZ*8 zt?M3@9CHavZLTDlf7q6d%qxF0>(TmVvi>l<#cKJk4&EmZ%o=9%z`H_&-E~+s_1V4( zwAv+-LH*H_eRj!>Fh~JY?!nSq;CU{mucIh2D@K8!mg)YKq0QF%ZrSxQF@3&#_Qv)h zTpQR)9Sx*ilBo8M{Jl(Md$7pO7gecEUw;_m@)UhXb1f-z{LALBD&<-KG~=tS-=;k> z9i`i!b3-n63QkKE|KWR$lLy2pXzEP&16;t=dlw!(6@Sy}j<^g%-BKQaeb&Zcf)3s4 zrC(KHhG(K1p~-5v^CC7QZUsc!UkSSL>EDPt4;w@Ox83xpur>=yVO#6$rEo9I9=Pk*Ri z|Jzztrmz;i<-uY5)(#;_CD8DTEE5Bg6QlDu`DMbtqYrCbx}dri zN8#V4#UyV4@jW@~6lpP3y+xG{^^i3c<{sA;CfTK9TKV4Y z+vs7y)Y>os-zA#Gm`w<^bKUR$;3wBNhymM7uvLIPV=qI3K6 z50^yT(*=~ruWH_+=q7oI%8YGnFtov{Z% zkq~|CN(V)HY~qr=`emmg3QeFca#ltO1oZ6M`}yBOFOH(J^GI;i(jhc+#p3pow$g5& znDFwA-cmHo+JHow?iGIJyk!xKuQpea5&S>vxpjsGbw}&4eS+ z?pHvIGcs=(#n$F-&#i$MJAxh-S*X-!^skP+$NIic&T6n0H;jk%2$Vmy06)J{xarS2 zBWhfjGRCjapvpxn8L4SH+?q%0t85$6Y`~moQzfCt+R8KfqlA7zT=?faZsf_PPsaA4 zL+E%u`n;>!?x3TY(h%5ob`x-V{80I$aasRY&9E*5jtb8(`V0<&Peji_oxMZRyE+6-I-|pA*u1&}1YE3y(79!?G4cz@4 zSzK8&v!cvZEHxbVAq9Ff7PaLg!)(t_9>oB|6W>QOE2~q1zvH$`aP^@va%-Y-B0;A5 zm%GlHtaKd}tF%ui7!IlK_wqX?*c^P+X^s-`DE0u0~z714^AeZp#e z9ex2uAB1|MWzA#b++ikxax-!kRI)j{ptTwfmf z;dj1%lR9y|(D6^Y)i37z7Td8?Q@pG5?el->{W{Oa7QIP!ViBUjwBmoh^}8VW`RcKVPk2V*mgE delta 3076 zcmZvZc{tQ-8^=#W2~mtC`&b%Fmf6fgDcek86mk#=W6cs{7k=47vW`NQX6!|>lx31i zcG-7XvL$V{%-GWDyw`iZ=Q??xzwYaEeV_aJ-1jq61ESV|%3}`zoe5$!JlVd$!8B>e zY*I7R7<>{Gi47|_P+4Ae4qxf!U{5f%lLVGc?ER}onW|=*C~JE-ly{3NtDWpL=iGBmds89LeZ(oJR;z5WtN zFI+Avk);Bxi@?}?9;5l>qOad>r4l_AduIA^4>}-Q@n*(L4YR=IAxI0fC_>U3^@Mi|9&N#uVbtsjs87(H){pgcz-^ttf7p)3q zVqd%Jja&4va?)%%*b=b^zVusvo*^!;UdR*Iw(U?C1LD2qyh*`|OQAx?@4c%ea-RuRD&tPjl++esbW#KTPICDEszZ$PD zN$&`4uOxNj3Xi+9t`!lE6|$7uUy-Yy;)EKlL2sRdyQF*$-zLg$+tstJO-hRbj@ykb57G|H)eLVNH2R3Cm*|`~%7L^e zrZ89yZzMh~kzrBostynFDTh}iM-m2K)di{_%qE|+M;yF%uT$DN4w80Lx#iZig%-5fLQ`=b?4L znn)%4=~SY*bK}@b%DGgrQ=JMC`1~al68|II6=J zh437fN04pfj~&Ziu(MZGx-~ieG`p3ofVr}8k=a6~OE9#Jx)$xVP zj|#O@j!Sc#7FK%~E0)q^Z#0=pv|Hll(lH-rt5^XY$uBht^LRmhoFwB|BCjspH9`yf z__TA3jrQeNMuuNs=IaD4EGCE>AlfDVx}VZ3+&ma`;ANOhpYRdu*x zba#+nr1;}{Tb@7on{;`yo*M3Ho`tcQTRvG%vYwJ(HhNB1Ee5JLd*=>{Z_Zqfd&jCG zOs`E`-duX5^rZ{8nCW3C*j&_4aS_j zUZhzJy;d^m7^3uc?5t~Ae4c)}Li2k&DR>SxFdn=GV#=kv zgPHJ9m*!2{XJ&a14QRBNAc_Zbx5pO~B}#f;`v=dDg|6UWTvm>rIIJD2aB!mcigM#E z9wCw^uJfMnRNxZ%OAHSK;jvOz8lokel;883M?T*;j|6Pg#h`fZRK@i)7Zl9jaJL*X ze`c21@eTgG)xQnh<-wqK+L*S|V+gTWi&LxFzx;gAAQOibq)dXBTyK zi$5Ik1pH)XG*U)&ycOS54KyF}L>Ks}6O)gDG z8(Idzhp0#DYSZ#16@_od+_SBqy2QlY(&BX39PWR0@v{Ad2~mQR55i=L;bXVp*Gp?}XO%cM7adpVucjjr3C%ds@NWivjU( zuZm1*dK;x(_80E=$>^)GX+K1JIN(8(@$op!9%gHBv&v8`Y|^p@lFZwOsVX%Mz{lIz zSiC$vtt{e}=nwu9f2zk7-IV4h|NQosKY+Aymr%ENbW4emZ2!QoJ`oxoTPDm6A95~s zLguKiTeuT-7}}6=wlhjA9;J>RRJ zHN@M+X=cudazeVtX%-S%y^l~8`4^vzT48j~=wL>N%SxP{Pu=XqS6O#S2@r2|+AdEu z%}A5RL)mucqv~mTfz@il#%`$%l9Ff{>W_P??S!M6fk#OZCHjcY5!mT@xM(r%3eV6OpP1qOP zK9qD5?fsqO-Pp6mBL#34i>5x_!k5NtZ+pO{X%hEWR%iF9v^uv3Fx0!P9zcC~lYW_W zGp8*xvukyJKF`olV|^y#GtNarp0Gjgw~*jfTV6>5R8#=^+$E7#mbFgqN_JN4Vk^VJ zGR4}RG{^FCq4x`vd`YD#bjn#ce6KFVm2EU$>u~j<6Uh^b!sO7_Qad~J%AT;%HMTLH zAIrk)$77O{I0g^kfNAnKz;D+9lXD$2p3Zn2s`hcH%vy3u0{eKBB;9_h{JOCzGv^X> z@qmQi+S%ygQxKX8ilIcCb!i8?p7nL^f@&z?oZ{i^LkeWITFB-l$1T7!WZY|@OQ2{{ zDg65Yl$FUp)@65tWXFX36xyq~zhpN3C}NMp!NcC$hwNbM&f!3*=Hvk(5moJ+@OTzD z4oUfuZs-VuLtuX&hzEq@KLrwl#;ERN7&!KKhJ_(8`x)y0b~JH2+Ti%mjB&28vVD;zhn?7RrEi>|NRW=_lc2c4ElFz XBo>E;Q<5_Y>