From 28a3895d272b91c428a93222e0f7d15b97001ad7 Mon Sep 17 00:00:00 2001 From: KiHoLee Date: Sun, 30 Aug 2026 20:59:21 +0900 Subject: [PATCH] 8:6 axes boxes and the outsider label in the system figure --- code/replot_security.py | 9 +++------ fig/fig1_system.pdf | Bin 134763 -> 134556 bytes fig/fig_sec_brute.pdf | Bin 20699 -> 20683 bytes fig/fig_sec_jam.pdf | Bin 19305 -> 19332 bytes fig/fig_sec_keylen.pdf | Bin 22473 -> 22503 bytes fig/fig_sec_kpa.pdf | Bin 21580 -> 21594 bytes fig/fig_sec_real.pdf | Bin 17528 -> 17531 bytes fig/fig_sec_sens.pdf | Bin 17176 -> 17216 bytes fig/fig_sec_snr.pdf | Bin 18797 -> 18823 bytes 9 files changed, 3 insertions(+), 6 deletions(-) diff --git a/code/replot_security.py b/code/replot_security.py index beaee8c..94e9b28 100644 --- a/code/replot_security.py +++ b/code/replot_security.py @@ -52,14 +52,11 @@ plt.rcParams.update({ "grid.alpha": 0.6, "lines.linewidth": 1.5, "lines.markersize": 5.2, - "figure.figsize": (3.15, 2.25), # 9.3 asks for an 8:6 axes box, which - # this canvas does not give: it yields 2.378 by 1.643 in, a ratio - # of 1.45. Restoring 8:6 needs a 2.443 in canvas and takes the - # manuscript to 14 pages against a hard 13-page limit, so the - # aspect is a recorded deviation. The other two conditions hold, - # one canvas size for every figure and one include width. + "figure.figsize": (3.15, 2.443), # 8:6 axes box with the AXES_RECT below "pdf.fonttype": 42, }) + +# one axes rectangle for every figure, so the boxes align across the page AXES_RECT = dict(left=0.215, right=0.970, top=0.955, bottom=0.225) C_LEGIT = "#c0392b" # KM, structured keys diff --git a/fig/fig1_system.pdf b/fig/fig1_system.pdf index 5d3285bd47879b0db7a25bf9e870ea88b34f4f2d..ff2edb4aafb55451b6f7561a25cd5d96a410a929 100644 GIT binary patch delta 15837 zcmaiaWmJ@5xGf-((k0zp!_3g#-Q9w8mmv8864KHg(v1?*Al)I|-6`F0J?GpwSMOSP ze$DK8V!!*@&%3_0W)3ruGSZR0(7Ld zw|}Dm_fgiKo{)d3t`B=@@br3_M@&jK-epw~&L;+Fhv2x`ca&w$IhR{GuEm!sY9Wh9brvInB0QwqjW4^LA!1zef7R8Ru&m zM11TLvhyix5ug?AP%UEEEHP;|K}1uU$;UL7WWr-oNO?V5%HEyRJHe(-&|tsj^k%oU zIyg!KgWr;V0eD0&5%LaI-*X{ULHDgeF&Ap^D7eA;^TrM%(f_SSs| zTCYJu-eIrn6C$6KS3r&ymiUKS`58rwcC}yJT__*>b6mpjtx<|)G4h9M2NBIY-%M!e z9J;+8S4C~*UNN)$rE24No^bSolf`#ef=Yg`1!~nd@4%3no#RC4v&SIHum|xp3KC6B zH!K{n+5{d!IUgc?W9dQ@-$bxppjo*8NW%a<<(3p+w9RJ_e-t;+a4DK%BUfsARSr$0 zVO)H8=(^g>o>6#jlEuz=fkn`_U=RfH*cT`obs95UcFRUdwH+*y$u>dlW$IFy5N4`? zUvAd?g4vC6K!CW_ist^4#@ALRA2+HaIn`DLJ1Y@t=eg=9!v} zjpe!hhQ&47vxJavg??sPT3LPgFXuVgeB5XY&ZER~5Cmys;zD*qu5%H>kYMAz2xzf$ z%}_0&eFk~-cy-SY8G>%T=(_qydk#pg+%ymwW|p}h0XLeF|F};luOR&NQ%InNSooW2 zxglyL^oo;uXm%q%a#W&Kg&`g;c8H+vDW(F|JimKP)z1BhFjWs|iu^L~FN7JEFUs|eog`w>+dsEMw*7_i$983J+ zEfw~YBUbSn=78VEj8?BfF%;Jseq}Ypav_il;pN4iV=~KzxEf1t@mt1-an~uR_VWTqwk-f&BzhY8 zkV?qo@ilSg{bp(5gO+V4V`kam_f;8T!ev3v-ELKJLN)xRw*>^D>hA4ik5OFF)~xDD zn@^?^0`=IcX3_8F;z|b8`J|Z?X$PLT?v(iJ0tK&UzV|&vr?m+g4Mv0#-yesC_zb>U zG4$)bN6U%&r>y2F6cU%eZ1HO?yL{z?^Dt>C1Zo39*nIP7!A@GbH(uz zeD&urVexwT!5lX?eVkb2UDgd?n<;)COV>c(%1}S*ojYC8;qWM@HGoKK@z^`ls@$1GSNFbcbZxr3#f6_|p90}AC$jzxpTf5ipnO%9lY zr3a#FU#n#7W3xr-JI#U`hSu0RmY2=_13H!|8~EYt*D#?Slnu?Vk=Q8Vk|q#f)&a)i_1{lQX-a(r05+AYiUGodSknC)1+ss;wEOb}qLc=Y^59adiO0*(56M@D4*qednt3`E(;DCB>hy1))vT;~X*yqEk6Yqj8S_=0Q8qu1z}*60tz4u>=cx3zY^v3Bwf z*#)*`3&Ed?5=xu3J826vmsd_TH8mIKuV5)GVfu$ULykS16deKjaq>ao zZuZ9~-%OHB7%g^M|HlrkoMeEZtB7rD0yO&5WBa$veq_R-q^3 zhz^+BQ=P$Rb{tf=@fXNi$kEafKD+SGmtBsRuI(4cCP4bG{mt#md8~V=$n*Hbi`ENJ zYjOSV^NsO+vgZd6?^IvfzGO6~TVr+7@$AD=_-gp(#g{6r(UBu_M4+3roD$&1I$}b* zhSMz#TxPL*CP@_D)@vtt1LqD?!q*fCkmJIje#v|S+}QQaO>SJE2F5#Q7-Vwoi{Y)^=c18XHnP^I8PXP&W{6;f!a-vA3@J;9t$@kdiDL8Nje_-@Pg)F;wwu zrzhw4SG=m~)rs&QE7>yPrE(*Jhwr>M%534AC zFzG$QpATOL7_uxKS5UCSzfeCf!*UG)9my;??UZAVTSw1e%9pn-m_P0bdh-Nf(U2)k?#?;4FI`561%j{wPoA`zazd+ z4h4L;tx|G^eTjSa$Zjyw;cc}G-W0Z9^C}rc-Z;6h@?j5d{F8=z?RYHz8GwW1^%Dnm zV_&jIBSNtHhxl!zBNV_vYk#Nsmu;54!cAicvtnU&(g|w zl_Y-%hvhCQ*{&hdl4Z?9$!@*~juP=w$b0aho^5q3%G$aRelHAZ{+;u-sVVn@S^V)3 zLmXBE;G*0<==gCU^WsNZGq{ZAQ?@2W3)&vt6Tu85>XgsW6aHq>OA`|40!h=ed0hV1 znwBCwIndVMImO&X;|NSTqhgbE0v7e7j5h25}fyDz?`Vu)Y?DV-+f4;J#dWZ##k z$hrtYv5K6TrFU)GlqQT?a4}Ov1J{Zc&<+!TkSe>cfwSjdrF?Ra4oaUDGq2Z_$Z0Y`u^6AiA*BMxdLIdfP$jU2G%;_sfy0nm026YZE%?d>rWGwnM-y z14iO;zW24xRv!*!;rMbnhkSPuQ#f)kF zWVnZiP_f%%#(V2P9_xZRV;ukIOMA?UT;(IU)EQKa_T~1x|=wM zl~qSP8;p`p!IfIacbrz>8&Z7d-~y!hV}oi=qFNLyh*6{pcf2eiB3O z;n36iS1uRLZ*U9l)y}r^0MDwAL^I|mwUOO#bH7O`Y2H4dH8i+%oH_2x<`2B(d}c}# zq4tfEU2?2C))X(NYdF|heA~Zr$1G`HmK05*fOxj3O6zgja6R1)xh1z&|^ww-JWQ_B6v4Se&{{52fB8dc-2Ak{edNYK#ZY#T*f8v8l-Rc11hB zXqD$Hk|vwBSpGtZKT7>h5WJpY$5)C}AkKF$i94^k)MOZ)7scC?-==`gaIu%L%PK3v z#J|11eTW-m|MfG5w%e=ABc8ouJs`b@?xZh5%pvxfkY8SlD(hr{cOnIHFOQqVrw<~M>QCRwfBh=^+RTLP`0i$tkE_G0f32IfsOS`~ z$Y>}<2D*c+?%-us2-xP@yKn>)K^ zpU+!6TJ7>?<2*mc1T}grOL%_AW|Zlx7of_y=f}iuDZY21`85Oyjx@Yw9lN9$*vd~J zWg*#p{JC7aX>6_YrlS?clK=~NFPKz=b^+n2Npbc1aehd%a^88n%SKuWH~u{uxMi`! ztB?DUAfPy`iD~O8Y{R$g>#pDA7#70^@s!zIV|uaZg&gW-k({Ar!faIGn_5Lgxz%`O9V&7Td%`P_`H7p-jP?!Nnm(mEE^0v}NM)EQx9|uBLzs|`mCWkD5F!!U~I`QM!6r{U<`=St1Md;pToiuMo&xPXS zSf~y+(CY{xU>kC*F1`&6w9*#7TUIa)Ydy_2>0qL&d!lrx8+rLI|IqPR{SAvS9YgBE zZ@Ri8=}W{$v%B;n&}^vEl_+1^*4H8gk!g10B2h{pl_a+~*0B`X5$t4-+0~T6QTllk z-?81#_sW5w2MMsG8BxdZ)(`7xWpXX>vx7Zsso2bF`)s@AXP-#kur~1I$jF@dw#v5n z(W2$pQKx}UC#7%H#Yi_;*4TT0>1*Eytq*>Yt}gb!3O;W-0~WGKnw>fP9iA*CGCK1) z@aSk@vhNyRV@5QHKhm(G0`pSjnU=l_hE_$KhC&V3N z2`wKX)6wfy0=A0^Erz+uvrN6DKku;>>0@{XK%0>gOV551=X2$nwesu-9^^5p z-f}cnd)!rfBZe7Q8DUFbqv*=a2FgQ|9=;;2@}J@7<4z+@F|(J2ZR(17kc6_c>=k6b ze$lAOyXi_l;cP^nVz3}4YhH)Q|9a+B5Z`Us5H0D!QdafVu#mRss-R1AQq>vwMxJS* z$ZRa*3y2woMBqV%ds}#GZOTl7r1?<<;@q>yEJ=jS3`l>Cm_{nYXp2#ea+W8kJA-{P zuViCw_uut|aIvmCkW!ejw#6i%JjEqTj*q?4?T;{UC`Q@}SA$IY}Okkm&2Uoy(l+>+L?UZ@Wzz1e@TSLMLT*7hf!9cqrVk#UOhXiAiONw zXW*p_##6N7QbPm6K^(A*KoJ;&&Z@@l^QQ>D#>v!S2XpR{4m>c)q^WU$v^iFiu z-65h$&|xUy0pAdH5%aNhPZnr|q-?&8yH@O@m_}6nM7l9LZYI%*`wCgY(p6cU5Wo;& zZY;ak@LAe{i|(t~^y9b{!O&ue@EB)(367rA!mrT}EJFmiIWF_cxrT3j?(DvR?KZis zC6YdMwKj7^ce1}&^Hg44{hsdJAVKj)yYEzLySigjjX_2!DeBUyKfOWcJhS+SI9DC6 zMR?ewZ2%P_c!7*&sJ@*zQA zl3O+5JXAI2SKH)tRGN?Jz(js&x6114_B9k%EXmN298JVJbJ)^M%egg<^t1R`Udd!^ zgc`UetaSosr_Cx49jBTjz7^GT;{Ymt@6|o8-{ef~sgmvY^vth&qwhmKBJPdvx^T4w+czw22 zXiThRiq=szubV91Uu@#hL__Xrrm7CcTAs)JP>v#Q*lbZ~gwqZ@)ve~_dC-?PU2?S? zFpZgW<4)aiPbP-vumyblW?2Le|NODNx=F}!iI8DA&q5O>XpzJ!Ms|~1;lYz(W-<0D zip0V^#*ZTIGTzw^zXX?X$!(KbQC?86G_gf_>Nfi9PL4I9TwzN zGmifF^-C^}pxtGU(^FFCkhJf_mqx-v(2$TB>oe~U()P|F-eaIdNfF2HkyFpqCjQ9g z5oGdirxjx~e>iS9X?7fziC6*GysKzJZ$F(``u1Fk(xNxNK`)Sf_U({{yq9IPJRGq_ zZP*WN+n|oFx>vL(eL>nNnT3fT-k-Fd{bq*1==?Y&x#3raFxEG;pu^w=QT4wZOPWrX zRrIxJ?ahUP7TE!;b>7%pbGJx}59xyVkvucATn*cS&Rj@xw9%i8OIdAjK!ufvEhl>e z${pFrd4k4uYfoxqj?Sw}4}tDadKX(LjH(SJO;LSsb29Hv_60w@5<4n^wXW9OIN3Ve zP`%Gg2{_Cp)mTGI&h&XGdAo>+mN>|WDCj9J_h7QoibD<EGxv!)OWm87Z=)wO9nnhxbtdP|%QsA87v#l`l8Tr)MVO{npWUNcH&d5$p z%lcYle9O#%^V*(-^(wV$xGH`EUR7O&-onqAR$Qi>q9R+m0h`Z+c;k4tO`z*gzzq$J zro_}uvQHgoel^qA|4g_o5XYm(p>8#-8&$6J%&c-Yr>TCgYk2#6SmTXfZxJ*iui+%m*N1D6oY_3XY68&2vSzE&rIe73X&~% z;qIPlcbf?qsBFi(vr?iYwolvds2fQPdnVH>rL%wAk6W4GLZTvFBfYDW2pT=$FV2eW z<&me>74H_9pDXy#5YbxBH-{stW)ty+i50ZckYpwKCe-fT&Ezap!t%(Z#2zCms4vo; zDFg<1X--^>M=XH0F|8^KFPYKlWW#K)Rcg|$a|fu(-Rf{>X(fN=rdqnuSH}7-U`DJN zu)(bBa?as~+{Uu;1;K{6Bl}u|(}uOGae$R|K5Uscm1%&0mL-t6>T-A7(sbv^f7$Uq z3jT&e$R01pTB@zmHvQ~0To?6(r{%YKi^4GQA`wt*D$w~vs`%{^GS<81)4rsmW>+XU zl#@L7dU)x;D)6velp9e)8rP*9Y#rEL?Rn2%X!_glowqyIq|A~1boi^J<`)YGzoXE} zIUIc%Lq*KO26!%!?6fX<|h|$DbY@2LU#115xz;ko30cE zp2kWAgw95YUe{Ew24ei=AkI9UXKxj{rL{4-!5L9iM6c>)D~pPo2~UGr+LrgA8I{-n zc%-a2*0^jTg6zQ)f=q*(-E`={m&L~aWm+uj?6U^NbZo5m)6VI(Mu@F*;q2SCxd6N4 zxgO6jN?{I9-+6p-W5xKw0t&t@A5AaJlCYLwkcarGUn&sQb#!ow-KnP?JT-|aMQzmJ0-Ncl z*LeBHg2s3ix}cb;dC)GZs&1Y4F9D9$6_u?WCYg)2mz4_iU|eauZ0E1*3)tkn(5R2r z`m&R}JS}w}+ug=@H(HX}jgyI&GUtB(K+mK9NZ@-JVuf)gbq+xwkugiuTq% zs`FQ0VOjaP??JQc&Z>Tjj2o?(-&q7hrT0CI&YZjB%UocQzRBD`lXej@vv#zwSJPDr z6CQ$g%_p4Pf(L}9PM`bvG~cP?KsbQ#4zw$Jf6MD_oo+SukXB5Lm=bK zHZ2Kviyk@CGWh|+i)_^Fdgo!#a*^go5BnuGjBU4K4571$YeJ7yDNfZQ<73VTpQ4oo zGq_g|S9$R(zcAV=djP-7erNSNg-5-dafhbQUl`Jv$7AdHITa2 z%rsm>5lFb~TP~AuhQgzZzVX>>y=iBO-(WQA#70Rq(_1_nX6!eGAhVfFXtp8EW@$V= z>#8ehIDQlk?O%=#^%*yxY-$-{;e;bx9nrld*x{yKU!ecRe*-ugz;d-%`~Z*PWsOJd zub=jX6MzrNM()~f&-_kN1$dwxvRx;k_`>A({p(Cr?nmc6Y*|SQCXRmK!0xXWjfYNBfMOy&M9?%ZEOeLCi*Q4Ag%pqDv*4-PMy=I?R`u8lo8qyYu~7G zK+BDmNZ#XuRsZ{e=DUihaWj*yoc>JAfsjIt3NkV+5kMyRjp7^)s(qA0FNwU@a6ju! zHI`^fC}rehe9oN6&PR4x*^RUyVvP6hx|*o*jwFY;->>9ct{jSZu>3wRIX74nSjX_w z)aNs*Iro^=&DgL4`M8H}l3ZpW{M1ui&`kRIgG#R(vb<~95-WAP?Pr+%3?;2Kek#&~ z4s?$Z0mQ=mQ+UT3ta*x_K6Z&;$V}doX`-Gy)WpfZK1;Llnji{&6JH#2$1-k}v$|dk zP7rYKs3qWe>a@$Jvl<>nneVC&@PA8Wvgp)paD(5_DiG5Y$E>E`g{|oFI;Vf~jgjM# zG4f4vFGIGgzF}766lqH|#kM2ohw>(XN$ifd02n~EjcQ`WxlC#qCxsVk!YFx`i{Cqr zwOput^N>{9=$2f3Aj-_tqrOSk<`KshaJ>m9rKGT{ve_AF_VL>2xhykv;2HPS4J9JC z&>=IRSa$s>|>nX|H=I}0`J-N|vftKn?XTEs}q|8F} z74UShtB{u8+G;KBcSLx<(VA%k)i*81_S_lLetoakPuPmiV%{AWcbL}ngHNDxP$60y z7dI}ET9t$hCs5XC300u&yP-^J3zE3xDP}$yBvNAd zk1}+uv_yE(@Eu#}+ zSnRFS2X0=3}nf9fq*0}So!uxlH zOO}kLu2cz6VG&a~vWlW47JWl%oJOqZYJ16=qxe`PC)btp?4M_mI?QY{DO6zCx%ZPk z{nU1nBX^=crth-WgUQ9_Lhcb%?Z8%|cc~E^Kzas~k`>7}y!|e4X!gM zC(oB3zq9Mlqx035Uk=zu9y8cjPLK204aaNk_YYyqBoRI*P2<)zTF5IZ4vCImUaASI z;GQ8zUh^T)w-n|p?=`2|!rm47!Rmr>Z<8v-$$x@*6}0ZeA%Bv1RHA^U{qyqOMaQ&q zULPrzXJlr}@h@2eQsXyfIY6wd#CQ19<1r`b z2-!M4#oxT+V+@_5M`%#%rx-llc-4^}w~w23jOj_G@|E#rFacRIcOY~UCN^YQ=hM@B zw}*R}P$k<0rNr6~qP1BYnA($ctF%v8Lpk9O_LJAag0E;Imt_)vVF&-PaKL61LWp{n z@!qx;9L1G6cwX#zT#}cs>{JvObZmedF(+_DTQn6TI4C6&&N9V#o@#$Ky_YKH+orty z5Ds;!!w|N!MW<9$I0O#4HhxGThE5J+k5H<<57Pvsyf;G=%SAHutPdpo)gX!kI?Ud) zs+ta#k422l-o{%PueP(wc|(s}txl#NDg!saT@}VvL7ObEx9i(F6IF%sT`nqg(83rT za*IJmuT>N>h{nE^Pl!h1{tle-^6+b%jMs0kTQ2mL7Y)g1qyYvCvu{R{%$EGM2?o2G zl3t(cqMf|b8l=@$5_<({3XpNTE747Ge^b*$6KKiLT!=k!{@aQ=e6zwXuhKy5Gg8H? zWRFF>6j|clPJ53bnA^*RaQch)ETrV?xqHlZ1yX7#-HdFlkJaZ?Aa)C;)ywnv&w)xN zW^`5uC~L!swikePEnpcKT(!}8DE(@uAkwzc@-P8jcY4lpT_T5?BQ`qaw#_4g|*9D)VcoDVZ z?AX-pb;1E9NCIrqmVm6!AejI<;_0PJ54T5|xpJ?A$NlYo(H-1T1?2v#0)#Rd_3&$r z3t8BtpS8+N;Ul@by`?5k_knB_GT;Bgx>cw4+4HwrjKkAmBIsCentlYA{05ceU&xnHraAJ0p^acDB&m3T>~HAKXtkNctz zj%NNT<}2QMUKpWIIOKqCK_|%}Gp_z(f>_)=J$b|U=a)YUU;bue2g@vfJRiG=ah?zP zLkdQ4)~K9{(M*RsM^05>H*gT)_v?bp7*&JVVj;E%=0dHxZrLX8t==jI?Z4#2T|DdpCM62ASt%13Ir~%4^+dZ1yl~dn_ zDZ4~yTq73ka=f-iP_ug*+m7Y(l=@*%)}-Gd-r58Qmz05A=?9zV%{G4`wxgh8>H;#* z$4NF&Uis_z^%7ai6mQ~>K!fPtc!GlOF34h-(?ReV>p@h$JPR~nIy&1Q$`zDNzI2IJ z4$=uw~oD6Pen&_PnrizL_=_fEpeo^TekrqC~^$V?Haek(^Y~AU}yE%PLLga*!yiLyxanVkpJtV}256mZ3?U!u^xd1-?Mye?e z_WI*gQijL46--{Qs3JpM|E{e1RE^~Gy3J*gJdkbepqLtdyhP*jb;9jR>k^8?%0scHxViO#P zydIDAJ6Iv&g!%elTR@IlzvF}P{YwQ@tLkkd4V^fDit2eaIw|Q#1g|XNrex2 zk>OfZ?x^uI`mOt~k)(hpKTl#V!tcYlwvzB=4SC-##wMa1_I2z?N=hzd53R3l>89FL zKs}Rrt#WXnO^ky+JhDS_o4}ffE4l**-xK{sLt9&SJ&S8)%9dV85x}6OS#4T4bSr{O zoH-<^pkK$UDa+-8QB^31*K^x%>?V5QRT53+^?ZCo&gi{jHi`BKhx>KH=XpIC0xR6$ zRQ*9=f1no@&6O=$JJ1>=B+tQetMl+lofQr8K-PRea7zi&yg`ACZM#~m;@1qkS9>NH ztYme249pQY3I}Nx0#>nfVnUHMTys};jodh(4(!-|q4Au&Azoq`M_E72oBhUuH0rPc zGqgy~NU~V45Rw>ET7f*p53{-mXK{BrNzHs4!Z9hpWAU1BYt-X|2cEz6~|N)HbIt7ETU$LqlwzV zdoS9|797)N%O~V^XB0*y2lnm|ch$(X`1Qg4effwT{Lv3C153v?a7GgOK%+%IN+H{U z3-con>wWZRPe9V2iY26RZA3%`=jaLfF7hmVpm&3wCPt}D^<#tfbL_`}Cb>^F4OIR% zwcpA^EVjeWN;0a}G+)OM^wqK+H`(azMDsdOpeNGvzGE5~_$HPw*iWoJoOTmhU$1xE zXA`inZ+m&Ug(^&cyej~gH=$w|Dmj02Bv}mI2r8q@C;?*NwhH$z;F)aMlzEX9^eHe* zv|c07i=qfcW8@nB<{O-Zp|lJ4y16X-4QbJoGCrtmykr)IbkA}yiE3jcfHD|wR%3J2v8uzOA2{I=@t zZcG9kvNAwOMbz2W{-UD+e-cn<85E#VS~eN;8te4ZNn^>u3jJo-l{QPahnHv3IxkV%cyIErtHmBXr%m>anYct$_{;ncif^Yu%Cp`JzpRl+~O}Z+tw#yAC5Ino* zz>_oqUk6~7Ne7UqDpL;-ue&}nt2Ml7;Vo=y+4=^sdJ50ml9H{J3Cy7i%-&&*4a3vQ ztZWYlYYSdx!Fn7#(hs4v+Nzs4=k|%iZvX=k7tR&F+n`H1hAiWVl*`{i#^`VCP`Ud$ zDSsWpWu0J-LDf_x9?-d~S7ODa_xYzPS95_NttcAvH9vK;71iR+l*mO!9)5_iJQ zXr1wRxN15Pf*;T+F)HWl;Q{l05)?85U6EEb5SZ7_N|ubec7?9#Yb#;dBRd%-q7jar z<}a7Z!;LUj61CZ@Z<5G&+)!K+5LIXFfhvGCJ7In;oy-jW6y3L$n(nQ*6bRl2$&GUwwiNFxK=LMGcqtI%5ackUN2;l5 z-9}ogkExkgdu31W&7O#zeCXpCjjJXyr!EeU?yM`_}Xs?iFB1ysId?Hn`4B{`j5oQAy_yP>swC^?#6 zKS$I)^t-%MIO;m=SWF>aD@M2yYhc+3{f#+{YU#qVSjt@Go_=WRsOr~!Lp%VIDZjE0 zv{x$Az!;hibMey^g8wGVQ{}1BEVl|Q3K_+!tm37T?Pa%i-3DM*i^Mhlbo*$0QXAPj zr7#giJVJ;W2#s1$+i)D|UHIp}J*HHx8taIz+XCcH^{QEbdsHBsiM{aa&BzVS?#%r z(QNwzt*>7N1pb~wY{xJ)6|@o@;agoo)h9{z-F$bU$oxgUc#WBuFRXRefg)X;Jh9Xl zR?lVX*YXe%kKAc1QKDU=+Q+Mfx`MJUkzJhGIM% zp{5SdQhg1aVe2B(_AiS#8O`x3bq7y4`wtRMXqOWAzZ)@gJfwY22nhR7dRU}{r0FsF zZZ7i*rAGwUGhEUV(In3f5P3Lr@qJdSC1Vd!5H{TqzSi{i=u=W;0&kw0c7=eN(jXd3 zAnrvx^LY^8v378m+4M44*S1NMyDO=qf$dYn6ZJCl*7?U9ldbj z%ZrXf7`xXeN(EFz!j2QtQiH#cN&*znL0%H#ON zd|Sqz2b~=l@7bB0pa-8|)fd*-N3)9f&gSut>lsyn)j`O~5^KF?F27jU>wHNm!F;US zwMeFiN$sBRq9xFd`orithUp2v7h*9A@;8m*O60b^9o!&c12!fkOUhsAU|@LDrV)$n zoyL_e!<#(|^<_5<sQa33(+B7cqa9mS^R}s8Hah%of&neMcAxRrPHk z7yl@nVB~feJUtLk>g>inW(t99DY5{+DR5`zzWZ7x>|cG>pL}1wIHE>X%>liB4*rNx zM4DV@KSeU)3=o$+aHpZn{kiFvFn8bc_$i1WT@X`kC&@8ZZtS=(GNHCmE!&u~Ba`$5 zqPw;4>M-(KhG+hyqp7z#1@}~%O*5UvzYSbRE-v!-%NfLrf;(zt#G?ia3B3Pe_ffhq zh_bS`#$@2r?E{-P7RIj%LsHY7nQUvfCSiX~-qZ%e13*yIlk8!KhGSXg>O&MZx{_d< zhfDzdj)h>>q$Ks^*@(>cN8&uqZkPH2_l8N;Ds#=P{f3I>Amzx~Q5tM8(1W}`H{d0g zx{!n0UhSESN_TJ+O!}jI(>d&Y%D0f8Bl1AuMs&qYqvw=hV}bJE88ognA7guRX72GI zt=G%+8hNc;aSABjs~C%j_L_-!`8}P`^V5U2=Q*xU3)>GZjZ&WZ zrC?Q!pK*(a6&_{xS|I(t6Am0Ivh`)+Mw5o0z?%a!B#*Vt{&-7Pi>-hY3(JhzCovjD z$F86W3eu@Jw2jxj#w^H|Rk1&iNL_5iQQkapR8eMA7Ca@G<6M*Ay(w!eESK9N)(SHo-;+zM_lP09#W`8q1^b zAy58?WJ+gPVH8mfF=-7cW^qNe_zHc3^BwFu8WIEq20?ki zkYr~>IO6~FDFG4glNy+V0`wm*3I__5|9k_2@)7{2&k)1oUqpFXaD$asESw8^rsUG9VB) z7vx`z_kZ>P{+pq=dBOh_@15Zs&t#a6|rz`-Aav{zZ@j#0&n*gaGId_{YNkcM}c{UMTOs7&r893=HD_Cl}1|$Ay2@ z`*Q>QJ*Gc*3MV%N_&X5F3F7=4wPc?1nk*qBRPO7hRDb4!RyNN|Dvgi3Hr zib?QFaPW$8it>VlC=D$;O_1o+}+*XzRbLN@69By z>bt*g^;v80?q0o5)w%K`4gTl{d^9B#J8PW%#m5+V0u+<1BZ!vn%AO-K+PGXp^87Rp9IN*ITWOE!nf+8ehoF_sEBzZL)q6Q?uC$?8kEOnnd%@nqXyR@#`x0 z?x2ID#lm5w+c?6KW^);h#65frr|@e^p;n4O1k0q6bUnYk?D9~o^Jt+ROz=FWVw{m= z($@r3$tT?0qRH6<`JXx1fd(yut2sH-XWO(-)|Q%&7@?wzzumw7j;vl$tdbDAV7>pX zqPmSf1MFHBb5#Qb0az`X|2`wGb$CmT1esFi|$2rGM`Hq08G;_x* zV2u+DKOT_GX!|j4(n-QYA%LTyFIVAs3}V~FDV2e-J_Ct~X)&$666S<&8QJ-@Xn=SHg%e#x>^YS(<5x7f8% zX;nHGw>YhdS>zp$(38v}I^b}(b&U1Ei4~3+eu@ITJe%AfHM_@uZbE}s$hG61U${C3q99=zG;r!4*s3DM`Q-kzA{xO{KJAMfpdeE){^n zRJe<59VxnM?ANljx)LSp^kMN)IG&irc0w+G9s`u5`)`HxG`JJaJ>)z*|C}@Qsd{Dt zE>btx`|oX%{`mjp^#(kHj#ZeGPzkW3nKn9)%_>s7Jen*yo6^R$J|Z=gSytC`J%xJQ z-Q9cvP0;&Tzb>tk!#e5BATNC(JB|1qM2ptwskHRA++-;J>M@zr!M?PYxzm|v6cFQC z@7`US&F2g0aa^ZA)LAmH2>p5BHx4rfmc{RHLk=={P3^DCt$GO_IFG+oG{ykn6yY~A z8+m)+w4)kq>miYjqBI0F9@1Uedc5eH+q;55}BiRL{!G)#*HVK}X- zkS>Mrg20nNBDQ2RF=0x~+QAAuA3TNn2dg|t%lzK;&R0BLjwPH!&_c9D?OfZ!&}?Am zVsHO*uhfowbJlGLJD$}8-vVIy){43@D=l}=&k(TxEw(PRyHQsC=JP9A{mAKNGw{~3xrglZD$zUcaBTEU z0{-!}9Ou2Fq{- zxfK=R-+??Uoh0ni_3` zFFL>1)K#^KqH{jrBA`EaGabN#?7i!xQaA;GAX*VJ2v{5)h-gHJZ7i6}_YQUtoLrnR zuSD?9m@twl4Su7LLsk&5A7Qowr0L(+-r2$EXmbfEnAugeeG;+e4{WQcr@IzLd(dIr*ysI51T-Ps!gjn!-qrEFXUi;n=-5x79GV;^qmKqI}xd+1l zvJMtf)ii$o$4a^u1U1^#nlE*o{O>(a;Dg48iqen+#}54-ISA0^Aw=94uQ%mAlU?{a zR~I8ksHIo+f!F2{$GAMQ-B?8)9<-i?_ct5@v=tNs$BjqC$H3=eWSB#^i^r!WC?uBp zdxp;C-i*%#P%d_mgEBAln+pMtQKJ~!Nb4Kx>+2sNpafAMqMK8&p3XM4iEn?l13!S2 z%!enp1(6d->~Rc1egnkcR|2X`G#@n3Iu<5ix3_Kzw%XC@(BPThrEx*a3MCrA9}3K5 zj*^D8UtEpy_^m)b5{~=7gRy&leHx!@-dg|#30v{KzJEJ%SXet8kQppyd84`)V0{0+ zkf$RoAq=NuXs{a+!r|N=;yy#b6L@V7O?`i_|B3T;Fd;}&5E2TA^E#buf8YFibc^>| ziyQ9qR+b0lm7$5|vylnOvA({+{OuL;RUqm?pY{!ydTAbdGwpawiV6=aJ<-<-TswV> zn(INaI=WzbyJ~6T6c}#E}Ba`^$4ESwbQ?Ud7Dvd%O#X7N2oTa}xwn=(W4LDxjL1xC}grp$vKQz|Zz4njYkUXv3y^;h$ z_^ce0^t^<3M4B6_2Eh4rh?xWgOoeoEVl0NVY?hs$@KW^ga4z_xd!m-peDoj`TX zTmQ=s%eUuM;n!mO@gFa+{_qu3iq??~MEMgN(U9Y3mE{Ap<1#n}QA5n;qna*G=U3lA_&%Uql zwGDj97EIe(?~2Mw4ElC5OMj#{r_scQ52`P1Q|T?fzie{?Lc!WRL!>{=1KH=;EN`)} zvRUczKp)16cy>p6ci6`IFK7_HyP2tG=9rg3F|~rnlGC)tcN`ex3*^c1$y+r{&T%+% z;+*s_zL8+U@3n>^suM}5n7v2-uNW#*)O!tnPS8^FE-s8w&#^kjmQ!@WL%h?N^o~>V3*pg z=3JUQwpe{={Ty)l&Oy4YhNSk@p4W@ABwFiCTgMVW^Pw=gXp=)tJs4nUYAB2;oIO}O z&N7;=3S}bXi0|oh3VJ#Z6*8WpNXeTDiP5qFE1OTDwn^4u=)1Gwj-IIIywLH1<&5a}oByuMH92zv6uzOI*o{$?fXN3-X)cCiJGCCVhrwl8N&m zo>ZfH^VQ<;(1$^v*>%j*FiV`XAOOEByMO|~APT&U`uiHqGnw*Af5BB$!(X(=Q~5N$ zYNA<0Yo{nEPKrZNm=hcrNNH&vBKKc}b-v>z&~y9e2(y2W**I25&kp-8?kdm|M{S^f zUziHLcJMWF<0N*e2v*y3r!3>EA*IZX63VzDJ>g>Y_K(6^SZ(nrn*rVMlLF&s&B1Cw zLSe%9>-7WH&Ws{uNmPWw5VX4D41?E;bK*PVJ!_aqy>~?dqZ2y_(KH+HNRCr&ujq66 zTCH$7Cu4iJFSdk76iOC5l|RS1WZUT)-$+miT@Ofbh#C?-j1u%VaBFUj;3HCcSE1f6 z5Gx1dI&77l>fOF_nn}aJyK4y6*R`Gkkvp`6n|jZ7@zg0^rdTp?a`VB+f`$7?6kSST zg^Fp(pi}eL%77t@Myvj%Fil$KT}VtKV!yyL^~RqIv!xF%QitE$MmJ1VOLlx-LmbUC z#_?<->d0cupAXJ|=fZvwRk|bT$&S;ZxM};psLBzJn(UVPHNEz z<(BX3@DeX$g=P?i5}j8{ zZ1m1>mYZL0BiZb2c%^#bk|}QM47m)O(0&fnd~i!s(oE5nJe!_wCXEd_zj=8>!|J%VS?iX` z7{o`4L8>%Y$TLmXw|G`AxM;Gb5GEqFL7LJ!_B8pa(ZHoTS^4@pvl#N_bxb{b+Qg0y z`jl#*;85@!tLmCFys!oU?E1e`L8ijrYRzpDryNkdQ#%)}^-rWb=AjaWenU~^y_g6; z8g%F>(%UHy!5Ly1?EDQ1jXITPAd1;gX=4=GK7-PUpr*lboiMzBp`H(v?#(9{oRT7c zH=i|E@v?BqM)~Nz=B%|XOm2t3{kV;z@0ic@lZAM9xjtSM!<)7cIJ>$DcZ%A4QQrTO zge&WFeXA@^Lw=yFtUdFYY#VzD4%57mbo-eJw3{IA_BW?NcYi+Saz_qzOaC6fz*rVh?U{D zww(+#h4|*~IW?*(A(-iHFFA+9V4zqQ=&&xHelBcT$X*=|48$J^78 zFT~1|0ZF?7+3=`KfLVa4wZWkF6%qdm^SNZ7p;7$TbDytY_pP~AWIr`bvtK9Wf0xFv z2~F}Rrj^FxYnksz<>~_WB$f;w`AS!69P*;x7BLZ-MlQKa$#7uDDU!Y%l%m#SNfM3L z4F@ZHdao0u+FYOO-zvCV^8G6mPQGZ%uuqz-Bw)H&OdR9)bijE>?7NrkS*%j@%Tg#n zIVkAFR3b5oqGa=t2v5kj`-x$c&5hb4LMO%w3FwR@`+}!QkqMzjG^;@)`iiKDdH}j0 z7vL}&2uQx>uM>Y)>a-(jFescOs8Kk{a;5xflTE_sqIxh?w;VB&P*i_6#^1F#p}S-U)s_3Py^imxspUfwP+ZUQ6a#TF zFrY7XoyXfTLsiM(dYikgSGB9yFh1B-YFg9B~IMGl7mRf8@g6`-P3 zm~PBIqr6`35z#0%W)?bJ-FI^AW$;g*ieSJmA8D}K&tJmEba43HaMJgC{JP!wkOoED zJ*t&rxMycUn@9{x(HuA2hMJ@$IXz8$r?4Y=<=OnfGOTbIK4BWU>b2LhUG8(s1uRTk zVXoFJNJ;NhWSWQa>vft%c(q%hK9DIttFl!G5Y&^3e7p?q%%7$Cj6g}V!Q{*(XG!9r znkqJ@m>__XO_XysrGZKSuE@8XAe)!MZ&)mk`1zYq%~bK^RT0HHK3{Z$?v>KAs0)WVcy*U%o+B(gjF4m`S1&=ksTk=7f!OC1=^FIa|xd>54X-M zqj&@Z6wZFf&2RtCU3U{2lAl4+4L06+zfelI(xPy#35IE zUtls!Ejkj+Zu*-A{8w*=k#lJs?BjD7@YhZv*Yq6#5jd zY5WJ6Fo>yBUi*HNJ=3|BcelUiH@b=}2oQ=*${2q#g&qZHC2!^w!?%AnVpJSIdJPyu zEKB{}t0lwOj(}ToNN>mG?VL4lqpQugIZ1S7WRC$c?wxYraAZb)LYTe+_p>hV`pzA| z*0^qv3OZU)7L(S56r$${G~c$uVY$Mq;QPvD;H#?KDQY^ryXB9eKM zflum9SmwtnoUn#<2iD?Tsp=zwnFejH7WPJF4gLvblEg5eppP`fPwG=PQzFAg5(_Pl zV2s}>`Q~|a!J2)C+%>3mcG%O8&B9U$rRZ@cFcL?JTc3i_6|b$m-SFPE;WcL3E{M}? zfU^LCC`!utdOL5YyjU{Dt+$Pcqz?56SQul0LSlB|7 ztZGLTJXt>Lk;U@QhN&&rCH6`02N5}c_xQkt`n{3sT_qxpBW>@GTrI(a@2hNmCfng0 z=V78}JXu5|fj5LsrOcOyiBg%713Nx-{;W(u{#8R1a=hfPKoQ=jec|uvEyXXat(O!R zN?%<{UQUg^*iFfFSIVnA>T?<{b}416N*Yt)$O`0w_WWI+wOKEdgR;wpvB~Bc`7O0b za_AIt)x~Ww$Y4B7M-!Nfc@Bxei~OQ1pm3 zi=D5hCwn=)1=%iyn-(sH?&L7niWT#mP_RDy!a#MEuj*fU#X-j1Ha|>`XO%0+Pd3;h|Lh@_8hP4RhG_f85)P*OKJv;0u z6ra4dRtdjXeGC!#$bJjm%x`78yg{r1{g#TzW8hMoGA-f+_N@$=vruTdP*G z*8%D3+K&Pprbc-?`5+`u>jS9_=6pX4@$=L<;1zc%(y?)AdxjAb>vrWSeL!8>Nf6(- z87o1eyZTgZ@HBf;Xzy+qV5)j4fZjy?<|JDB6Q7q@D0}#88CR>EN0ia^4b4cp3vm&z zj?uQ??Sjg^SHaT&O6g)BvAz=5T(l#JSIB-(+iWo>BCPlhuU=S3lv+D)#OD?tVi&Io zQ%1F8{UP|^i0Fd@N0i%RQ`_t5ii^8u_r1Yb>m`bg899x&NoKfG0Ey{waH}k-tY{em z%u%zNz_oUB0%4lUd0e?e%LnJZ*-2D%+;Y#t4kk|dj7^S}ZKhV$0y4eprw%Xh z0ow$)>!X>lUXw-}YcSJVHj2dz6<$9kb?~n({-k{K5%4&w8a}b?{bI!Mq`C>m zb4Rv4CHZQledAC2#$ns`Lfqa8O|fk9Lr?QUA3BpOT`!D?$GbWtE63MrJp6mCARTra z?%IY}WPJ*~bde^^o}#Mt!-d23lcP%gpdZfI7p6BQ81y6dNqF*n$T6rHn zD#prX%F}!h^8$YHwK3*@a9&;A3ATe)Hq^CelqT`kd344+;(bC4$4NQxxb8*Cjr?TU z1TcK9u@C7=Gyfc`H*?)-r@MhPmyus{VJN~J&Wf@0?oc#3>a2kT1moe>D5v;)*clCN zHdd@u$xcn@QR@@p*Yuwf2n5L2tvT_v6<>D>n;iTSv^4?FvGx57tdREdN|O&1{JQ56 zaS9OxLr!FMLh}o+Ev{L@tM=^@wE1szeX*or&Aq?X3eI!{A{}RvjJ~HZ7oj?zN}FM~ zHU>di%wBs^_ZB4`=x*-YJ+r^d`GKVS*g?n8M5W%I$jhCZX`5Mh9(1Vp>ALOaSkBwu zd+OUSximrGIk)jKM^0o=e3Z8(pgBMlp7pknl@96}(7H zi9%bGBiW=5Zqa2}|K_tvp+^*Nyz0*dTy2-T(CXrrowlncdxz`wX=P7qWMtshw`oDDC_4Nkiiv}!-{S)x zzhdgn4B$S6!%tnM(mXM(jPa9&k9*IVN7hiogf6Viv|_48(3tDP+X-*6NWr=@lS>~q z>M{jTY^GSp`t53h7gnquKU5Sj2@mr6uC7AqOn4@H5o@6E0XFU_qp?KOQ`p(7Kd@_Z zklI6tqi&XO-3&Y9mR^psP!GVglTt>M*?<~xrqdFIf-JHtVq>G>2j5Ms#3FBCcM0ad8HsOuEILFyuigcqGR+2bDb3%r(eXL5jjOB9PU&dM|QRK9t=K z@=5e$1p;{*Wj3JoUaiS4%ZFAdy-SqqmR-QN-+<^)*-XzI%UguD|8gIiX9^y@EHw zstvbOwyuJr?Ckj|`^9Dfb90|=S)(6#`QGJD&{eD9ZqNWXTwse+X758&Ro8iG(UtPF zc!pVWwzN<)O1yO$wHeb!YTPkK?i)Ls8 zL>F(~klqF6zKx{{Ub%KW`Fzm?1x+bf+fS2yq@Lj5mP$(`1<4^S5Ni$Q!HfolH`UIz zj=;veHI(KjMasPp3o&Q23G;6Nk41gTSQwG?WbL|E{toZ*@fF!IVI!{6o6&Q(rgEj< zm=pJNOm~ItKxT%Kzs5wWvm4|v*}7%nnfls^U?_%}-_R1O>T?F2XvF&{v9k`gDIA2w zAtU~Hw{Q7c*DD{aC~Y?u)E$kVUqrt)>dPJPGf`1{x`FmW6o>3(r3Wt+Q*7OzW(cR;c`RNfN zJbX#I!3oE>$wY*(-KtPC?zmtcZDB>jka9n>o}`VcfAe<|30+-d3!-k{MoeLm3io|R z)0u?RB=Qwd7XBF;tXNXV7;(K0b|lhHr{|`!+WbWN4a}+jT{(Xr1Y|(&z0BU*?5i`g za1G&AC5)-1QcnE)NNxUPM=bXhQ^Ksj2CpVbWJdEh_K28NQo@gyMZ; zFVZ*A#~7P1!8S-~6HSJN=Nd}EEQCfe80jt6M71Rs)CKcL%g#tA53iCdwb^k~G1%zJ ze(|m(BY6$O+kuKS+*#%K#QmjsYawg8;6&MyC>-@sBbDj}E$MP+=TKtexWHbhG%2`8 zpJWoqs-Ay>jnNF&c*lbu>V5o4++71fls9CW_Db~owdh0g@ekc%Fka`kgo_c~JCTzr zvceT~I>!Mn5k_%W_PAkUL&XuV9Q|UP_AyOaJI1o{W2pjk2R&K_4O6hK!IRvovbV}W z;K`SZQ*|YJ-BcuDILS(Pvddz5T{HHR+EECg+RQLn%X+jr)T!fD0SOLmwgPoP39hJF zjcxXD4XYJ8s;UO6ttBqqK~Q^2=boKQU(f_^VByUz^K?~`a!{_isff1ZF5|};XGxf> za18cK!)(rOXCYkhT1?(|9k;>FUbHMmEgZz>yQ^MR>4}3|&%Odx5^144xLa z7-NtE)p9bdB^ZWUnGcM+k&T7;DzD<`%u4O# zmrj%)fKjV|p~d4-r^x0@H<3$3@L;H(fLp;$Io=1M4N5(sAR{b!g4_1Y5OAd9x9s=+ zFyO9=nhXW6+YP>?;Y8XnoeD#dfEQo@sQ3iV;1>~6=-E4_=SwSw_NY9>E9q18h$o!u zA=VW|FF=8}AS@xrHmxQ6Xi!7;JE~r*1B0n0b6Jp{gL>^*JTNWvNJ4E^gnhKPqkq3o zZPNBD-_gqS%-6%PX)27WbT+e`4g-P)B!nJC%~DFL8EmJ$Dw z6d5Tcl-|61B`DjIYeNQ!BSg*^nfyyGN{3S)f!W~4QL}Ej4|WoBy$k}nH^QIUtbdzr z;11y}FVvrKI_jOrLqOFD=OYdP*C?qElT(spS=~A3 zsTiR@A^DPvP(=l=3rVIc1GOlf}H8cpU9EW(Kq=2;#-&{kkxwUSYm)(dXcU%(Y5rMGL@z?b*p0cl&{(--2U2Z}KVp+M4-2M# zZ4khG@jA=B<9?!%DxUDNUT9>#%bMKt|L){No)w3~;Z4yS97P#Z-k|_IwOvI*>X;yL@GFA7mz@c>L`gOUT|0|^pI$HC zsNMc`o7IliN8S4@2!sQI^k6dw^k`GiPdm)pE)pHe8x{{i2;taG9l!k}dZ*Pf`8VjD z$Eg~=#dp`CNyWt{)<3qLRW8Mxs!+KSb1cjvso4eA*!6>KKe33(L=9EBx~v((1>R%X zi_`TOk$Hx1uP+ZF)wnx8-%|Mh8cH*ls7-+S7BHjgm56?K_6Y%CGUA{~lyCzQYGagr zCUYqznSU6!PdkQvvQUx8KrK6Gd$+twnoUX^V98qA+dMe@HZ8-u`~hu;w9uC9Y{;MM za-nNw&G3mdFCIR#IP#gx=HaUnh9mORfd=eX{46af_h92jHvNN{11xn!9xdi26XyU7 z_dgFJ9FkWNp7L6Nc-#r`sBlx)4-K=o!cGOF{kqwY1u7CjetjHnUHiHb#wv{^)&8Yq z=Zs|=J*n}#{Wm{Ne`6g_%c~Sae7#LLM;y!bv>>8C@u4;p0@0+V<}5g5D#5imQ=||W zTJQ%>m_{fpR3bi0G=3;N8rGjEpCoT`GK|?zS9fhJ2%5gMDwR4!@%^JD9+oH=(LQ_QxW z4mlR>w^`{ilnMy29zY)Td!2tQ97D7=RMaj38sw?5S0aaD6i&YYWr6s$-}672GdkNaTxMH4Tkye^7c-UyzMC@Vq=L z7Bf&a8XEtKNSO-IPxB0!&?w$FC@miX8zD4_b8S3c4H4*Jp*9#-2YN2!=vyYfZLr=S zJl|ibhsN_Z)Er{kJ!cvK1&I|Y@6jj>JZWGOCp^m|4#W_5;)DFzmw>* zHsmz3tHk;XOyqjx2_Lkcu(gNW>3__lM>1iH!#K_4#2Q9EaEB_uR4{>yk^+;49Nkbw z^QEN#(0GL)+TCMqeqiK!O6IKFFQF$++iF_e96YJ}(Wrc0N+hjvvekrgJ&L+Rs=sT# z_{+61l0j+1(ObBn-+aN-@&oZ6GC>uWCeB4;6t zRob;;O%XXKP5jmYj zarU@#&hcp9a%(*OD7`?-SwcS|RFrt?Mo@fjJ*~yd`mFG)K5;vY1rA7@WDS#gPx%S5 z0-t1QmTpbUX=Cj;km84}ym1|AB`8}#!iZ$%o%|F2&Pb0!6 zqILPb2`%JOvBJU7pbQ`3M;0~i=2A&gqq*i96qjwy$J`CG+j2_Fp%x3TkN3fg6 zhf+fftY&Aq)FEkFh-odW=C|@!-*-tyWxWK~2AwS{vtLq-C;U0Y2hWXi*o5g0YXQ#r ztD}53gs}E!b{}-u+}0obnBOIQXKTB@VC@XWXouaYk(EN#GMAzC51CU*&o&-uh&Byr zgMW>ZrDMTBgOWevw}OJSvFH3=Ka=0H);1Z=EmcrdOu1%?)d!w;cZ@BBFWx6E(m37Z zqn9{t5f2tfnHF6l?Y^e)Abp_JSpd}7OLHJ;Fjjd9n?KaP2_GJsq2&)#9J8S z61E)D8Db_PR%n?$eajTLTnAvv(Gu!C^xr*NA1hpN4zwOS^#4kyD>&G$bgSmJ6b7&JKQ$lj3C z*{?lXt)KF3XOC&7DOp|!bEuk@5%q*LDPna3M)6TqGx7w|_;;$mR0BYitJh#pUm6pS z&ox;fZF~8NUsqV(n`L$13qH6Qsc2L!m0bLW?OMYkL(kp0==b%>FbTO1n_ZY_1)&(L zBWBwB3hMxylrb@ zpI<0J=|5K9;vnN|7&CS23f=Xt7rS3aCzM%MFe9K+e|!G41%DL4hO{`fCHuKy+!uM` zUgnH?7wRwjc)AE{-W&FMyD<%?({d9(F&$5cE!{)FU{ttY~hC6vZQA6%hw_j=fao=rp(arItxI*sn@V_-( z;e@IMT-cQuybFo~s695tvH$f~Db@Kt%hYgt#LW8{v`_KYjkc3Tlg3f7;Vi3NR9e4y=z(I?JukouaqN~J1Vb~IpfGI2`< zLM%3Y--+I*Eff$Kx1ycF&K3tpaM0_#D^`41!b`nNuMFS<(@auX*elV6(5v_G`{r?u0yHx@)^XLbbzn1 z&u3JutR*7Ny4Y8$Md+%Oune5EIE>~J&jJyHXvOi}B1B|fdF}}%JHlQRBu?KX+CWl; z5TLG1jr|KyFA_c7VH9Fi9ed~{o!vutgHuUJik$EopXBo?)VFj?k;*c)Hbc?&a-$@* zPwOUn!&B|-^(c!?{U%CwCFx8j^qzI_N|}j%Z{NG>21n4rZrkR^h!R8BQsXL7=QOJJ zMX0MX?sXA5m~o_!WVU^Hls#_b?3kbBgD$(czGo9a^~|fuP&cOtH}2q&H&|cS5DhCc z@LHPB{3fECe)UDQyT+(-Ft9{@KcNYQiO9`7Y+~fSyqKtUR2GSPUMP$Tm0HZ@mJIq0 zPBYi%`SS>0^u{@STs8~MKtYdg?7)@fvikZ7554)E0%nJ*{N<1PgLy1$qVr37GUr>n z`dGn0;mF5CY>1?I_#xdITQ4lhJ6f&Pb@|{WDu@^X;P~oNr1ez3W7Wi=l;cM^g%F}dT#t#H*#taDi+@pQs(fFcq)PI6 z60Ji|jRS?mBk)&Dk@XBmurG~tKu1%CK9aKmB0B5jcR95sbVAIT+QT;*n5zRFs7cSb zHor@qyXGw=!@GhThQ+>3>7%q`gLJlp-yCihp$xTdrZ!Rb@`88M$`OoK%t=1)B&W|i z<1uyZg=LWIjUXCyG^85&^ON^TJZWQt84{&?G>(eagTNXy$%qW(|8iB z^OC<{rCX#{0Dl`M;(aS-<|1u?#gRhuKE=ub+Bown&!xf9=gSd?bvryaZQ*%b7UFAA zpc@1GX>9R&kVzv$%CJNb)n2KOHTYEpNI7ZE>0!gToWoE&by)FjQ~2T;51#kw*;<;q zJvKfhw&MHA2%WISZyZanL|#v;cCQeczgxXvNi<=T)oQ}~fsqEY1Lx61l8t9H>xJtR z;^#aeVVusz)D&FD*L6X*IUAEygAl);vR*Q!eF)KOgpe0+5XFbo;s~ZTCXP-HNji3r zoQRt0Qle6d^dfS~oUygoNi}wmtw}okkl6L#?I9V1;QrU;`o??64P<%{7Ym4m6U<4^ z%tgb@Ohb#nBxh?PYUpH2`cae{#0+9*=KS9!Nxg7T{>rQ%Qs)17k=l?V{O22HHZJi0 z1LOD?W9MN0rxy(7NJ@PNMFp^Na{SMWEFcaxX3oDcR(25U-xwDwnCowhg#-N0dhBeh zfA_Nf`3n!rfAj+XR}l*c#Lo4f;D5(BSvmh{2C=jJLy(z+>%K8#mvlq zocXtqi|zk`vHwGcgN6B@`E#(d{flw^*B-!s3ls+z>pu%}vT^;5v4GkC4Cp`o_&;G} z0dxL65@rx98_VC$fLPgC|A&zO@Sl~L^PeQMvM~RXT2@Xj&|hPPV_CW&yEsa54jbF$A%3u>3Vo77&=7?Qg{( zb};8(!TfXM0{^2J#0h5mD+??jF7W>$DD_{rQx;a{KMDDZ3@Z!AKbx@r8QtGx{$QNo zq*o*;0ew+6cJV)!f);t=B}%~R``y9- diff --git a/fig/fig_sec_brute.pdf b/fig/fig_sec_brute.pdf index 2c7628cf5932984152280aa0083ffea6b3d3df4d..fcb30dcaebb63de8dc58ca7935da51aefef2ddf6 100644 GIT binary patch delta 3425 zcmZWsc{tQ-8@3!oNjP#!F_B1?*%w(N28S^tW0$SS!Gxj3`YU8PS+Y08p^^z>o3gJF zve(R1W6fc#MU5g1eVy;SuJ1Y*&->4N-OqO4&-?!Kj280u74laK^PdpY!g*f)!`;yT zCddf{{&}EKq$U~!K_N8J7$oQ-C|!x)6L9QHJ6@a0X=o8JUwim^13P=+=xAc<`L%eD zPIb6rKm7FX7u?kt4(T>G=r*^|EySv_DX-vMeO`Q7=xs8c7mF*6%ghyxodg~{0TiB; zYE?ExxE3_sKlNoKQOtzpl@$s0i6Qk2#1=e1dT^HG6+wz=SaR)4J@03qPy`B*IrN#k zjN2IEz9WAV;+zD_S{H?@PRf-1EmUH*(bD!+8xU^;duwux+4MqNn+#lRy+UQ62cwpO z;{1~_R2tcMV3Bj4e6L4v;ys|&?`+{}X|HF|YH45KY}oFs_1I>|^hEw-OG{o$c;;E_ zgpQmnyNcpceYXTP4oiZudgZ2-%eKxRNvDL{ar+++tX>&buosdhwV68BHAvGm%Swjy zycme)$j9T4&o=qFmr$=o|y}gTIlF#YEI8-OlS!cSjkoyepU!l)aT6%_>d^!MZ$aWC#QRvcp^?w5rG>^f z(Q+k{u-f1)o&%1rzY2jUX3uPK7fXk*MP@>Wi*EOche}bd2Ry69Y}UtFMyqvU74BGW z_6IlEiAo)rA1hFKy&z(;Kkw0BVe`RH4X9kJ`HUe86-5@|1B5B@K7HTIcGipeL56OI z;!M4)hr%7edTZ)u*bP;NpNT5p|hco zNJcE~;n&SMsgkIYfb-d09($5}_~^Wk+r8CL0CEv9RCZT32+$n*YdZrgu45Rll=?0K z>|nj7?jJf3B+3HAqf!~`jmxi$OqCwI30YXF;xBOb9<$ry`fw!cKJA8XY$p!w9<|t`dRKO#wlG)JVUu)O zSke)7xD=QB5~_bNF*yY_--$a>9F^oF_>kp{hUOMrvZ*{}?#FrJ)=f*p{Gy32tm*71 zO+dJg3(k)@$z4sh&vOob6=vt^oif}_>I53=wc;aSty%;Zd`e_cPBdE3cf7ei_xYy+ zA#8n%hMnvAjd879L>L)+tXE3645ZW6x$)o{(YVL=L`W`8S4mTdt2*h08y>|>K1O6A z@6G#Zs2iz2S}DegR#-)4_Qw7EQzaqoN13TR=5q~mm8Zm}K)OO7ESkM~km zcVQ<0B00+ls49Q?$Xn8Gmf>yigkcZC%j2W(u=fSXsuNBa&h0xIrL5wEbu(#KyZ|w@ zS#KAZkPu@;RL0u`L_gWGXSc@@Qu*Z-J!6Uw{OXia{piqq9NS>*%u`z7@pvIV0>vh3 zeNjfPnnJA&dK=d4GsI+`8*%Ujp5g>D&Z+k*d(@cl9Z64u&4vt8MGiT+BuN}@HG4yB zalB09bo}!C^c@h=yk6=H@5*8MI^}zD&}K(dy7Ypg8Av_>C9w>yYQBk3gFIYH4S#N9 zWxb}fQ8GKV|F=isnI-$~DfHQu38${jG^G365~G+yx1z%x&cwYxAW@(H6fhLbR@zoH z7PmR5)BEit!bpar`c9e&zF@BgRdvnmCUrEHz0(^b>3m8O`Q|Ujw}qP*a;)FXS+=4x zy}X&jgY4z$U!Dt8o6L&oUy95qk@UIbZ*fR7dc#DrW<9arAY+bNRuptwgrlCt<{1rw z%HLYfJRlyo(_BR4Q1Vk@K#bbd(+37}p=ZHRAy~GXQmBg*|jb}Kqm{u}Fl#ct2TFtR{q$#W3!1jQ@2Ce|B|C#$E z#EE&HzcuS7<-}X5m@Ng7LDz|}gkNW?!r-^MWnU#WbtrRhV;3kD-Hck5PmI8^ys7D< z6)MqV3;vD!uW;>GOSN3zsbuz=8lyW3fMe4ina{*u1#phOaB!>uRTHOdt9AbV_)+1W zx;Pg$@JvyX6%hzm0`?JLDvnFd2`^Cswl&M)`R&5a74)%txn}jy({nv%s2QlV*IQ9# zu)6%iZh12U!hTEW@0p%7lLHs$^o72YwX@R{LV7+KVL089G!1Hu?bW-d#C@JgHc3;PrfGS&hRd>PVL{khAblB%5 zmoBgDrg^Z2e-yeEcDxsV<0E@n4_!TCYUX{c+H>*x^$Ro=MxJV%xP+<4!*2qAYJWK+10ni z@IfEI`GbeDO)@PQr=6>9QhLoLnw55F$U$7G+_s~s>(Zt>X--k0_|uQN9&&rLXGM%r zEfVc`i;h~St2H;@*Q^rA$+>WT!g2NNRQ_!3k9?=i5J>yJp)WgGixWq-gQZTjetp+z ztU+#D4ZL9a_l(wfPrE50{xgregAuk~QOE)SgC7B+Dt$GbE>A?f_ZLfs*7+lk5Mx~C z|0sLYFd)#qI*rx8B=Pq+q2u=rtt?&v`K+LoxWPQFdun`@N|aOdpfHZle{i?rVZ0v< zPmS|$2j0-SsS1a0>R$~t^5%ufidhGd99;4<$Ce!KvtuQEp#U}~S!fMdeVw8v*;N2s zkx2aMX}25@w=UH$D!6g`b8GSR_D$_l`U#!m@W@$3$NXSPT`dw0vr-gs3;9P1K}&f; zeqp1WCSAd+qlJZ7X(sptz-M(#2CwAPw#1J?DU}fd~u?1tXA%^mUx27aR@( z|6`!5AhG{mAZR!gy%$44_FyO&YA=S^n~OqW(n~E>WRSa}!7wNUlRjsu3_vh@v(S5) zVZd<2t{M;w6tRaH1_9lTfss(yZlz!Z`hRSJf5`_U!6?kGCSU{{1>KFops+o0NH}tj zNCX10XG|yz_}|#i{$TLWon@~&6biAs2?U9O{@ir_vH!mr7zxMxyWl@g2pR(0O&Wp% bqjyi?=j;W*@btR`6Hz2gOj+3&j}`k5pfVpW delta 3432 zcmZWrX*|?x8$OhM$x>t=ON@PH%*rHN=-78<-@nz+b!3TT=k1*L!+U-_&zI+S-S>Un*Y(`bhlf(gFj2@*&CDPMQZ@1N^mEe*iUv7= zAip*YhEzd=phy_Vi9J(}!3(%*5+&B1KHLmkR_cZN9$;h*NVCE2x?_ zvroWRx5$(Ct^Ie*tFfx~Q^w?>^++kpHA@P0T|yz7KvDsKJmP98P@!7g664|@qgj(A zpG|DfknqsLsq~{J)Yy~Unyzj(&PxnTse1V^bKMda)MFV~Uy0c9*l}puy&Y<9TzZR= zydI$Ks(LPq5>=98XT_9$w{SS0vQhhl3}!X5n##Xuh>Riz5noVLXX$B3vo$KLAomPr zGK=O{#;eyCdlLz`?LZD-Zlu{-fnK4Jq4zE-)*Fc;cU2?5ntI7V&9+~xy`(+$DJ&B#qYCeJ>Hz>NkDITTRbLyvh*jbp-05$ zE~Q#Yc#1e~bCNh->1&|%%=ECwqsZjJg9cmQAskBzcM*_W7+*??R2&DhPGzq*Vx?&N z3&H$+JQ+x_j49chJhbq?qcm#~dpm#9c1rLP!%Bxl#RsLkjLg@{CKk9f8b1>9ln?A0 zXP&-+1GUi`ZD}YIX&s*Q5me9~A<;WI z zM#M-5jz2V9k(i@aexPyxSmthVnX=~B)qfj#^y?|yCWj`d+qD&+N=i6dDD00KRhQsj zZ$Wi1UTLAesmnCC3$D5-!$xCNygMN5q8kVJEdN{|{t>YF-BFuF_9k8{(7bilIs(og zfwy_BsM@wKx{#{-V^f?5`%WBJ#7Pv8iOMOMyia5e_A&^G+_i=;ZWJ!ETK*}|3_nxL zQn;8zVxm4S@o6mfWByp~DSrJs$#;ETmtRr$f^Oic{G>JQ=r6uE7{Y^=xb%C;YKdVWY0d57fa{Gv!hM!h3{yd(y0r4OQXTpeUQ6z>Id`;94`FRi z`{DgATf?Y^mD^cN&+x*RK~rqYeYqiNH&6 z?zwV1Pu;KJ)-O%ZK{hx-VOY%W%<3ZW$LVI@VSGYsTb_y{4@$C&UWtug_fWXH$x0NE zkIBx^_aDG=;GJh3ZOu7Tea8lVz6!kZ=!#VSK=k4?qVn81YR{nDbg!nobcUUgRh!9$ zXCwaC^IckBf~QT+%n846l>X31{;lLqVsnUzp3{4K$OEqCefuhFoqJTno-_|(;C_5& z-`OvC1`@ZnW2aAzelhLNGRSfghT&lwwggqY*|8j?Lia;5(y(paDKDbqz~KGEO2J|KPPbNZIutXQQ* zM+E;V;)aso?(u(}=Obx$@ICsSJP>r>D9brs@}kbAzzb7UWsPqYJ5LdDTi$G+Im;t< z=1hm&*lP51bY|%l*Ag~1h*MbYVu1nlP2*w1Vev${9){cG*;_pUwn#hFYD9-Yo~ zk4SyOX?MTH>fUi>DabpPWfna{2kFzddXg6>+@Cu0+-`n$H0ZWMqS*UK&jR8*=wcNi z67hx&jnopYImxde+*?}cZt~UmnR)Fz*c5F11#K$I*cl5%3d(WwWyjWpu%107;5qnJ z%dH&}s>zQFh6y}e0&Lu_gsXXw`FNX07Mqd`7V5NOPOX|4<2~5Zj|Ba^ zTP{RTym7gz36ov%V$HOw2*}Iy5mzs6DfN$x!G`hN$shEF+*h!^TI}e48B$noNzN6Q z+ihw~F(~PcjQ9`@eoTsMGQSpD*YB3ZYvNU|H8j`#91~0tiSmhNd7&e2P#@tdIrX4Y zI*3cDtVRrKr_B`5*B~9nq~Ogmm)FGgvYcf#&!O-S1lBu{-xrLv0zzC>m{OR2)`7(H zj5vi8@L$-p2{xm}XCE-o1Emb)#p^;k$~O?*lAY4TRj%9|EoGOLoI+YN=W4C-Uhu2+ zdOPuyHf60zRmO&FO1NAufrI0baKYeIG8-}&Mj?LsJ-%7mh$VVR)`Gu1>1XM{c&tjG zc9sL^1tN^Jm4UGX&d+A`$_y;vdflmezjxj5y*HvDk@-mbae(ZI;aq|CPMI^Q-ER%o z%l>JM5VoIphZpa=@*x%`0;wgVWz~`_BI>1KR;MHjn~a6ui+)H^Ud!ukf*0yZKZ-xq zCVK0VH8`rmq|s+NLit)+iMMamhnicV2okklVekGTcafeRkdYRpPuRMuaY`tibeDqJ zRF_?*cq+T6$d;TLKl=TmrR1(`F0g?EC;JB}FTxNDmQnSG!CHGVr=zh;BuZ6l2#>gg zsM-Q|a+gMIVfSeBAj)9*qg%W7{Na82)LM+<1O^rM7OxlIG*o~qlss1j$`ZVG;M|!r zfA1Z0hq4hccQs40hsrMPd8vY&gzMR?*TlVX)UE7iZW1ZW?r=wYW~u1*nT=K$Y<#84 zC<{F~Mdg!R(@*NK`C!mekYixFI(me1@lr$fd!zQ2S^@#&q=N$OwZU>3Vz#n*#@Xt2 z;@I=eFAX|l;O0lx3|^|cje+SEXT*hM(i~XJ!81UTHJh--kP3%RgwZ1puMNI)FPT%b zm#&DI+a5X5AH_fSJ@r0SDg|vbd3plA7nKIadxd#HhCo4{d0mo1<%(`q!yQeZX(^#T z7-K2aGcUe~u2_D@`5*67qb%QVT$Y3M|KRFtjz}x|-2T87kC57>| z^PE7yQ!ZWZHSv5A0e8aNYS&F)C&AzQlare25cTEob}!pp>*=WU8>1z3r{d`?+Xu`U zkXWSeYkIn3#XHGQcb)L)t{xgXR>0d{6T&3`g*9cTz@$r~1BX1-8mD#@Mk3hZ@A$AdggIi%5 zayuck!_~AmoGU~nQzeJ5!iaJdYO78uJ{IcaomyC=b0^?BaWy3tKYfTr{iSHr$=d(@ zu;AO2{6RFI?4_;#F^q_@PNb$O&~qh!pR5>T{gSumzZkv!#n>uZddThb5jEOqPd@&wnWd|oDWXk>5XbV0VlZBE{r z?Qm!HYxd^>Q@DEgcI3mu>Wb}E4lWB{2|?kbPpJdo)z;b;tWlGl8niA35ckKr>>GEV z-kWdP^f6PYx52z}bL@Y6Z_cwS&+!1t*2;l9!icRVTfOMJvljk&Te zMwIk%mXG?&7DGmK%h=s6AA^1&}rZY5)KL diff --git a/fig/fig_sec_jam.pdf b/fig/fig_sec_jam.pdf index 3ed0157ef201e6f77787f8149faed6c2a5b0a6a0..ba7eae86d6e7f29cf611c8f57a471fbe04e92019 100644 GIT binary patch delta 3682 zcmZWsX*|?hAHUhMWGN(T_9c~B%rF>Bk{N4cyVhhKVPxO`_C!RJEo8}hV+^jnAxp@b zHO88rk;yRJ4c{9C&VbD>tK(uy@mA`v=9XS z+7Jl*ro13n4t7%>0T;9q#EG191Z;48U2ZMQ-#JeF4+Ysy!$U>wGL5wwF5N5JrGEc7 z>N!SQyGcjNc5$j0RNXXET_@LwbA=pwHkn=EVV*yqJ49ZWn>!t}nGHEzTZ})DnbR2@ z$8LpYm7IVKg60S(9|<8YqtG2nD3;RCBTcWUTLXg3g@7?PKssc;H(ZgZa%3z zsX+z}6w-`2=GN(N^dIM_j*zBeM*Nst4WmUT%7p6a%*A_;-xDOXoZKs{Ys>Sz4O(f1 zvwjdtp{pR>IUT@R-@p_w@$oUKGs+%w!AiIm;{6IXuas__%QjK8shl?`eCINC7oQj|9MCS082XCIqWISzi7JiZ_rkJ}O_w}r2`ctx%?~DI zE{BPl8-O;qQ2|w@Uxm}QhbBs3M_y`f*pdD4RR z8D$uKFue;T@7jOae=Pdp)y}Xg6iC@w*XDjEL&{<`oyzLEvSo`7>a;UdO)S3h%ufXC zeSsm@HszwQ$H>58;i1|OqlK2{H!dPl$zSotZp|6!C9RGp$r}etV>+HDj(L5v?pV@H zl;A?_SB@cfY%?*t;iI=z*HC!;lZ2>5fp*9XZ&qn6^AK2MZJ!mV#_F@~xyH9N z?|;(%H4J|_ogaMP z(nu-sn=BF&GG&`3$HzDX9p)h^$lAH%jlQl6QVwe8nW1Q{8K>7q%pyjUU+hq~E9`rN zf*Fh^p^AQUw)a4V_D)(PTf5xEtnj#?VM0$re)5s?a~qmsPA#nYdF%xRpaM9>P8kxx z+3LMmugJ#W+c!?Z8J{Y~t%+~1IN=dv@1Cx))wU(v4l89!@W5F+vu%h>8|5i-b3z6@ zr0H{?@11kMGq2TJ6`skE?lQpeC^}QBz;TJr&5>=w&N@^h6G4dgCFS?mCC~#$5$f2$5a4gUmkS${IM}5@q@)N zxA%w#u_NdCN2Q;0^D?oR%@1_P2ya<%W5-ob(}t+4j(w#r*N%`q{8uYlu_2zMAkRit z6@~9fiOIdJVfr_!UIPtl0yf5Mp6dEjwq7Whu*5jgnAS3TR9%nI*eprYW!b4ONbHGW zyPO{pMRC0))F%Yl+$&ufsVw~Zeb1OND?9w%_1;gO?EO-P3BE72X*7HcsaVp@r&m+k!$O`SMtGJ(Oy_g*sN}?Gdmqlb&;901_aV8Hn;|9hYuKx5OuNK zNei16e+xxjyRqo0!K;2p?x1(pkWYJD11t5U)>1B!C}wzRQUhD6*PQjaIpY6~^**2HRuQ+a%18Z~5w31qQt<~*MsG={6PNUTp!sXkrNV?wRQ=u1qRZvgb)dWX0#$}@ zV|efzGv2~ug_4ukT=T$519q>}LJh1^X)hy9dYY;mr8ht}J>nQ4XR&)TqmYF7vI5*q zF>GG8v2s}fxjBY*psB^F&Ts!`fBdR>*KT)PJsQXu3C8iiLnlnUiNpnj>hu@`nhzGs zORD!%j}UR>+(at80%KC%qr^Q#@g*P2k~T>`@^M(uC$kb*%DTZTgXj{p_7HP@rir)n zzHyBuKS)VhX`p~S`)!pStlFVqvW29-u!58iXbO%fD%!bz|1LaF)2hCvzf)lwV<*9z z1)#;k1S4eqd$m-f%ogu+SUe7?{ZVgBmDhQrlQ*SM-FkgPhsVuBoTZkBhUE@_>RkQ( zyS^S1gv!>2!-e^$vE-1CtCyY0RDXo`CBF$X8T{ZF!=Gs}5fFP)0jp%GI1K( zYdL6-2J9}J z_Jq9}t%iF9kv}0^g>_<$mg9fqFwrXvB>t>qw^Vq~G?20@Y`v|cRJIdAy#wvPW*SZJ zIkuag3)cI-KyWNeK3efmds$&6aPj7;vf`gs4T_H6w_3KE_Eemnzx1EE{;)7YJs^Oc z4`|@JxwX_)qU~A0Zk6zs)o;X<1_ijg^BMJ?bnSN1K@|2Id*8l%_4A>)n1ZyF7y9&3 zu)~+0(sJbL=z(gK&$)&Rgp}IOPbkWF_8wW&^h>a*7C0r3y(=WGpN!`)^6?f?=8vW#N{z_YOxF5EWQq>&TT2Ft^b}?8A-7-p zc%6jqx8iRol=8mk)d8XEVHPLRr+*L1rWD~6d;)w8cdkSabvawHfrkY$9lmAcFn@^a z1}rT3Q4cm3$0=gpzb_d_uAb8V(YC(nhkJCJ{Q~6I7Xkagg%JvZ$yJ9kuPdB~f*>Fm z9EN*@(o>d$3WEMwg6@Kh|2=@=2r&FC21ERg$w446+(k4y=b3If2wV;)hL$)}0YPQu z5jb14H~^PFLkE>TV?_=IKT9qLg`K&J0R2k&?-=r6xic6P{6Agb|MEiQL1#q%nb7Zq z5C}-_Hw*-YfzHeY3Pqd=0)fK+)o1$4D;N%kpK%C>{(6evlE7hL+21i30{pufFcc2Q ky+d(Gok;^jApWKPkGQ-n6pG{4)?`3H7{$ai^zShK2M14;EC2ui delta 3692 zcmZWsX*|^3+rPz-y|_tb8Ob)b*_V`cZj8w?*#}uNgCYBp#19E6QDezAwnzwf3{BQj zDU*ndM9RJv*-Eyj|MPiXJpY{Y<~rZcxxUMFUY+~aI_{C3`4`g&H{90E-GL~mu*a81n&vRdWyvTHBL8HldI^nrD5(=Y=F0F)wIo< zYv{>~c;;TT;9_Ib&{7t)`Fc9*4RYE$jb}Lq{GkWf`Sf{jZMSJq%O%~VC7a=Iu>|Cl zZ$n9&t*)CzuABDd&Fa>z1+}i5ffWN_fy|EYT93#g;}VHRoZaX&B&r$*^yu6Vt>&cV6eXssiIb}?)9NSiw;&FZk?U7gWfjM%)vvMF z+>2KNe=XoaY=pWs7HsWIeAq4}kzJAbL)Tnu)Vv2Emd2(x0<*A{jo~?GR$Eh~%IEaP znzEU;hipLRS*ZSL!+>X;=Z^zfZ6%3L0EHS}7X&04gMhXO?Va6V2ab%CH;VoJJ0Y{B zYWxXBCbp#%wdY+npyf(1xRy2`)M>hwwp0L7+PXD+ai*$nzoK^_vtVPeiuyYF{HP}zal$o_ta@T#jOw5es=^j z*``0A04xLj6T2?ceOj*7QT&g-PFlbRQHq1zHiW+_bzeBGQ$td!!MxUQgu!|~%b=-? zmO7;ycA_k^fLgw6f}gnm6BDx}TA?wkE%MVpwxzaZNw(jXx;o<9eUm&U&wpELZCz5S zx0Z-|urQo=+AeqsO0>~BcTS`8POnqXpr~j+2I%+PXnSM$n7h=0vdpM?)L}&{CuOL- z&!0UJ`f>X_XaS5r^-G{1Kk^2(gN%O>b!X@{NbdW^DE5U=^v93REcX7Lo!(%uV~S9~+J7hYSj; z;(janT7>GVLB9FeCPXTRp&FmV<{iN&9#)AV`S@@LNXYQI23yK|H*jIzx&0-EK17k} zl=VnFY$_t0vEce$KTN8~M(<{t(X7(2A#j|B^#yA4(L>uSGr--Wgk#o_sI+%1#nkSd zhzig7+~<#X&Cr(e4$JDBdU?Zf5p}I42jd@k___>Rj5?2MN7MNWAP6{ddTX%Ft7*xj zX39ocJ635(o-=WoF;5|AfO;&JZYajZ*muJlgd(Fg$6VbWu0H3l57aO#yjEML4oDqR zn5JKITMLdBPlMn{JTKBRsZMV(lV7OcvMDP?6=YH2o2H+>SaZMezIDJxfiOrNe_E^Z zT*&V&2c;70o?);U(;f0s69mIpmbF)NKzDHnCH?iXsMXhy?$Xj8H4_CtM&Goa63Il0 zRyV6}1=F)~Ff}|$qe+RwP!ECu^9Y1n1as98_q`*L6^mE?2Jx)DAo+G#JNQN#RZ_DD zNSqo390HjJ0c6YAyxij2d5yf2*A-sn3~5Nm8ej0NYE0j==}51P znY4NBG|np|pF;Ziyca z^>Q%YGJY&ElP|K2^#TaY1rTTY!HN0Yw={zixNheTno45= zxT1UxKBZz@5BS=uLL=)jM%OslP}XRUw1G*#!=iFB&t@93|m%Ecj zU)jYf{HVEorDb;NLtrYmdir#}=fwH2!PMb*MlAv=PAMDjD|>U??{^rT;hmUVQ(cGh zo82F|pwy3@Vz?u8hNezh45rNU|EQvrksm9ke(y{qjtr0H`L*EkgGG-hn=+&>-y2XH zxp2rRZ9XB@2U}1`iSLs2Yy*YR8w7;r5 zI9kp*=2iX5sI16y4K#00f>`1=&WA}*KuGbasDI`TJ@W#Tf1hk-=y829?;|t`gK==M zz0dvUdZ>84E=D&&pHLR@G~k@27^Gk^NQhGrGF#2Scd?}Jc=xpRZCdZqW-@{X)Z|uv z?%5xSeyoRZX*M>yb-UB9qO*coL4WY++0jDGyTXG{9;QCbo_w&y3lTqP6fC)R9D8+M z)+l+MQwRvXG12#U@0TJ#mT|1xY;J6i9+I?+JoWdhR|&R_j`q$w@Nk|ji)p*nskjZL zIU(FtZ*cx!5%HUh5O?M}ga(%J)UVTiS#(t_d5C{5huC{`&V=kQ|J7t>>=ZrhWIhjH z1A;0O86*Obx1M|wHJKnO2_7SZ8c@P zJsRr0zuXoIn)0%(D~5O9&wUJ*4@3Dk2B5;ltK3`jx;4iS+$9UjJBK~F0p(Ioou6j& zs%7<1Z47gHD@Jmh5ADKLvX|&~aHDik!Rd z*88!^_grRRYU4*ovl?p?*cjr7@G~Y%1(%V*yM$V5Jdkl7H+!X7vX)#-yD}iiL|qziw`v@a?rg zt@69sd}w#P`~K6iL{S1oI9;IOwJlHhhRIq(t!WJV*)8-3{DYYG{FB_2c(FtBRKQ4X zVEXVGVoE;&e2CcpBo~fJqB9>BzvHb8s2wN_fX<`0M?u3L#)%gNkLO29@~J6sh`Cc0 z)bJnX?Pr1{3|3pB+J?fjN?OLY{fC^x*rJ~J6E*U{;1cmnxL0YW@Jt`f{e-$wM8xL$ zPRE*15lEGEv21Gh+kIB(!|4$r0OqFqgTw4@;qIbtBqok7y~qgxXG$MhQ3|Qq9V_z1 z0{J8^@W7>K*L!0^nEHbpDX^lz$vyI*fz za~fV%VVYWdc(}y9rK9Pvn97#|?UN$c`z#Fy+fQxjA__rF*Q_Am$BZl*_|}C#v2$R@ zic7z4n

HKd912uR5d`5zMLnk!t&{MJ4cQLMk{=iDn1f8@mSFB z?q|7h(1xc4+d9gCN^i8i3>HlQ;!*Y3*Jd zZWkU5!9Sde$*S|(YxnBR5_ALHBK9Ix2N=i??2_Y){S>9inS=L><|`L#;cn?sWjb(; z{(t3P%a-(d-{fQ;E?NASfd0JcVM4|4ZY|O}qh}a?XFlI(`xqq(-H|J4ZAlQI_<00} z1X0{B{-^SHrwPz+3JV@UAnUS)7f z>Q6o_47m?O!2VAc_YB=!2bYB9BkYG diff --git a/fig/fig_sec_keylen.pdf b/fig/fig_sec_keylen.pdf index 3aee1d2f32b9379a3532b1cb4f156e0bc35cd597..c866e5f0c1ed0edfa730b3eed14ab32f8d6b40ca 100644 GIT binary patch delta 3466 zcmZWrc{CJUAO7sJM1?ZMpisi>49dP0MGUf&v5c+PPMA<*r!r*8TDBU4v1grZp}|X8 z6JZQSh*Y+G-uL^bk9*HO=bq<0zxzDTUCy~ZlmbD6b#*i8IgVBAH|)rCvCiVgvS2d|JgoF6BM*}vn^9O zz|`-?TxXIUXcZxr|0+^B@VcjF{#v@jj9EP0r6{U1=d#3BJFT5IrxGs8#$zF;m=03Y z{z%x=XS+7i`D~>}Q0fe%`X#mdH?KVX{su{cJ$|W6M&_5Ryj=xWiq_=80Up}$ecSgo zH9YIt*ZrW3*oau0(3GVhR#7^-#r{@*P{!Z+N!5FJRgJ!ukZt=@+Mb0GMtYkiBUe$H zg;>mF){Y+xr7muHm%PA|;up5%)8xo2Nf`Tdw`F5`DNfs8%-L%7(i}g-Z8x3keUGL> z$&Z@zd#S~HplwZTQ;oA$Dov(*K}N$-)>^>5)gajob>6B!@Xb2KDzO>;E>QH_^2^pH zQ55|*5~D`2E}U%kCkODH{(iy)( z^iLif8&l2~*Y78Ci4_-!*K=~0&8&he^FNRAJufS((=NuMVxDMC{4OuhTvJdQY3r%> zEU1c1j!*LM@{8;58u_M^H=NCizXF+Znx96hd_anrcS{5X`-XBEP5)=^7wrPszQn=5 zaEWnC%Y}DSr}A`IM2I8WsB}n>043$aD_j>QzD;m#b%21SpMUQ)WqZKYRH2}IucwBUJw{DB z#X4Mbm-l%mjZ)PkHI;4r#?qDt-!=U_Q#OXfu%nm?6t6H zK-dzsL`@Ua2i~TTLTSSYjQx#zne2A5arJ^p^xz7I(0sX3pu2 zpr^SiHL5-GpPvHpJ_lh9yIg&2szkrY7~EWRZ<$lq1~9-$RsAe8INv~BjGD%5B$Js( zvaP+zKy-ClDZ8s`Wzr`LPZCtA;}B`=r`B(FOxbez10Y0Guz$KKIt(?>dYW z-@1|N`)tooi;-Q7v*YV+Ct7UL*aLCpayFu1|5UK^#hH1*4Cc2kLqbqf0`a*Fjd@>f zoI^5+Ux-3~FmPF!ubokIiFwyGv9j@z!w6^hiUiuE^ZF;t)abDvCB|j_`k@yNUd`HH z;_8hb0^Ya>w0mfnTAYp^B_4bc7@wUhI{Pr2rD%bG7!OnV+g^x&gdWzBf$iFx;U-?sMYn$ z@3*QBp6PeHm(2IjZ;K~ZPGE-=iIPTcpU6CzVY4UQniL1mWjy+`v8N?dG0Dj)i$h}K zFSqM+f-@yBYOPDM<7R{GJ-q4-`N!$BsF(iPXUuY5lw_r|RTP*}gT04)RD4|Xw)`H0tP{Rpv$U#_95ku3GOx(&caGV?>(zET!gj+YhT z);pERT?fVm^;H4;3~VJc2!H(*Cl-rDudglLZ$Slr-a256AEu-GJ4v ztaYr8*&P6oN({YVrEpxiE~qi5j7E;`ZWLd8YM5KHdcWEv*VThBEYl``IdRPNMH>C} z!0B&sFDax7>^VCydb$s#ZDZBYveUgqxfeeenGjP2t8du}p7w#14+(?aS`%cYMxA9z zpq7@9Fq0VG$0idOGI<_meHq-N7;gKdTbay>iwx)`FSCq=kK-6cuT1h!Q2J`4!$(to zZ5S}Sqq_QwZv>=~5*q}2vY~oWd)t{nAz|ic!6k5-1a4L%Q<5(h|5f zmp$GWWvTZO(jw5TUGnjv9*WAqsAxQzs{7HuT_62{tKCdcrds+%wA@*grra9rp?!4i z3CBuGo6v~Y&D>&({XEIEND-39O}==1$cPFt34XECgs>V5eJwPqkoAW8l-Ktu&zae2 zFP~y;atTp@P+Icrh2=XToK~XZrP4KToE75*1qCAh>CVr}-f-k~odaS0n1q{U+Sk^e z;b(E*zdk9#3VRO^u7CtbhYRF%3x1F4arl|tc2>IDeBhOe{Q$U}jN#^%N?qd$%DZWo zH$~VJ3DKPbYLla``L9RqXM>Pp>{eBYYipBzWK*}~V9Gv44{EYoi3D$~E&-p54upPf4!xF}4f z@`-;1QM2WSlHPm&SR9BxV7R+IWu5Ys^E@LGRK>*w(PM*xARssbo}z7P=nMnFfS`XG z&=OI&mnM(5=C4-<~ND2%ki3Nke$7-Mo zM}0v+2-tB<5phfp41ylxfgvF15e*O=i9r5?VgCpZg2R!=iHhK(3xePf&{5&TJTS;n z5d`E|xWiiHpS(kT5D1I_EBp!mi@_DaM|T~J06~tL0mH$H|0ek}2m%5dP`A6kJP6G0#pkDmVFH3R(*OCg$a34p*y6F|T)L`smk QF2`XKj*AzyZ|QLS7yJ?ag#Z8m delta 3412 zcmZXWX*|?j8^>deEu=EZSQ0UeF#DLYXDRzIld_B@*|SrY{4EucsIi1(N%k$vNJdD= z9+9=8n(Rv>vXmar{k*v!&Ute_zw2Df_d4grHC@iqQO;7q&LS$VXn57Z#ZJ@nhPb6T zVt1oZI0YqfBn~BR%}s@|Tm>#$#*5bSewyBd1WkZnTK!N^J!5Du?($9=_l^U9sCDc) zRSXuL@nNP>QOP``Ye_7>Cr_1qVJaj?i+NPr+e7u{TKTf4&CS)HRA#$VOV7IBc4!l` zC5+);$cQrSii%*kG&6$=o+a0U9%#tbEPVf)O&sO*-}%*p2*FP%Hv`PAn}v*7ao&l7 zig0JXwlL20%$qOdEY@*8WLhI89>3xyiG;>i&sVI}ln@{UF5X}qxvtknv0e$#{^ zz~=HS;=(3vkm*xkOGK6gQJK{XmZj|QPU(4je8Xn{^Y)Qyopit0AQ!=Y7q5 z$|aBDPZ~u$RNIe;Gd8cc zFu>MH(`r2ILs|`}hsW-Gh(4AZPUGs7{8=^KGW--AKWS3JdrO;SuIrZ*?=$hZ7q=hZWNT*KA`k@%CZiVjt+4+u=9Zl0i0W z3LW}c26Ocx)bU#2>hfkB4zD9&-JbY^7sMTvGr477OGik@!hf%vR_oodjpfw#v-m`( zd_q*}paDwFAC&P?g^QAl88-Afv&)2rZ|Qw5z5|(J8Lg`V5n0dy(OQ&#@0FDYP-2#m z7Yg>qA>-W8Bwp{dF!X)Bag`+is7k^(l!Ks z38F}x5+bQ_xnUxZDs^|;yl$aRo@6|p8Ig3dh?eM4d&h+HoRClqv3WwoatZ1b52VeM zLD!YD-nBLSbbk?;V^;aczHiGXe{C5hmpNZ_y?mNS`4i1a(Xe)L$V|krV&auN-e!n7 zYb-31T~qM&P!|@A5$tr33t;VqToTF{5l(SCRp5ND{{^#Ute>UFGK)au_{*v4-3Mb6 z%^0lKDHhQ>2To!noL*x&CPb={1vZzeWQvS0JasxuMjUzkO*EFj86L+rB1!C8yaMIG z#4Ox-%l6q>0FwK1o+S>VV0zV7&kN3+l~mAJHQ<~i!z}% z>HHE;svd@&o~(8?QFeC(UBPoX-H-A=YjV)f-zEUO15Nv?_oD<{!yi3waj;XsiloM= zIFoF<#8AWA7Lu#jNAy$pG~0Y0DLe>wpi{&UDouwA?+ZVjA0geDJnn1T=LhC8(qB&% zYw9-Rm>RA7-Y~wgWA9@ys|)b`ilYY~T=^n+H+kBzZZl@7D;2^z`rKkec7vr5{O%($ z!}77_iH8=Ww@H6arLEu1Pe|)`dz7hu;(^5*PP9-)_V@v8Vq$|u)Xs>7Z83AR42^o$e8Wv6m2d6-{L{zM-nwhVgWtP>ZPEz_v3;y6 zf2$zx{_ySlbCMHjc1!nO%}W=yOE~jg9!fWEq#CaOn5>MfEs>;w=)oYLXI3G z{z%~EQiW^q!f`_L+bu@`Qo(%#B^ix$^U@F#l}lolZ5%`A(1>BGw)1;gWIU#d(Fr7C z^^N0bBW6T;)!m5cYKh=}4|UU4sdPF6Dr|ctX0BjSz=|bZCYEZ9&4ub?%Wtrja!BQ} zfDc}I_DnhY;z?b7|$3P2vo7J-j0s4*B>y-S*W`Q;)kQqo=4!dElmEvIFa_gK0XD>UuWYU zoRsfMeE)v2GH2EsF9U)p-bj`)oFPw19CxCNe%I|7Qv7Q({8ETWF>Aq1~6a%D3}+$fTD0X6DD9NFW*0|49+}rL`rCta4N~&q{#Qq0h11`1vo{Gg!nd|$ z!LI1nJfpN1{3cGGB%GvXR*%kL$71m$t|woo5;jzF45)DIzUU7POHFb1wC{PGR-;#| zbuADc5a1p$^g+9N>#14wnbP!1-(}hh1^(j0)=hI7R_2c7A4i^XjAP02S+f{D-@(wc z?fKGk6TL#)1RKZIHu(fnZeSgK11^Yy0W~PpU&r0%VcVT3`G;++4OW?lj?~6>rpBd0A&|%YX(H|D*p; zgR&nm>@tpHQy!tEJJ-68Q+}#7s3`irjC6=R>uJ&!_UT<9Ahr61Szme2{A5q0231eR z!=ZWXUL%$DllqBt)_N@$v*NPS0fFUi%7@AyUjfs$cN4(VEMIdYrHk zszq)P^*uD%vtHcP2kOJW}DrBmb}mF_qhtXxjXHgu2{=R z&0G0B+rLy-jo1A;M^!SWPOa8xh*X%F_j}ldDhB21#P(Q%HB#1kew)o7SGyKL@pCjK zfkG2vFSM!|BiCa}979kr)mb&)iEi*TFdN!hC%9hED*b8@=hlSlhazUR;>YDKW*k&h-HbEdZ8El+kDf7K@p=&Oh-oC~qC5Aiccwh*?}1jKDgyUa4+mdA>UAP7 zRg8z56^E&U^PtXipa@75QVC7HLNWxQ@ffP5xs)maw>!H2cZqw5bN_QdA$AAZ{Tc?p zU&B$4k!1u>dkhFPfX@ON=Dou={)oD1h+qYW^vPfZf+>q!IzK rF9{BZ-TOI^1SR}FO^Kki7X*dGp#KLSfBAzNf0im@BZY^03!kgN#_mF&t+4E}{8j22snWGs`NEQO(D$uRXOyV{jZ{WL0;ISv>0%FCzRT#HQWPgWX8_Z?SR zT+N6?EZFX$afH%SslYdJZwfB@V{mM*7Og&uis zz4EAY#;LRG`k4>!JuLt7;Kw#N!XtG@9CMH?t1i54QTl=|m+#}9T6|9leAYp?c;0hb zlT%(YQd}c6{Sc{$+K4w@dNx{>DjvByOwGBS`AVM{2RZ);!v5-p8<}##oQj1o-pHcK zY>1Cmbfs`P$^z0I$P?y=dn;ze6+)wX)7|}tVl~8c*)A5~bCZClSN)Q?%57?Ko!FGSSG~`NyKQ+1=(K>K>pGX#r8U6sE9X9S3&U*f6emNiM~Nzt=-k` z>{b1DpVgJdwhwn&#m#ve<8Vg!$@AF_dyskB8GZ7yKd`$hap(SMYlOJ`V+!&CcVyZ6 zm9?^(Eth*7Mfxw>2-QJE29Ts3TN#%RS}Hn+{uwD9X%jNwtPI@7vFbpV2$=idNrD!~ zYQdp(Q*hRqFZBI|0fC`we*B53g3_O8No+UyT!F}i&{#4bKJ-L&?qRiL+JLB)?ma0? zu8SrcAi;kr3%iJGtP3`>W8+b?wreW~e6B7AcBOF^cxUzbJKjH$s9@g7LS;4v5*Z&Hw!%`%Oh#HcLk^JS2XhbJWrQB;)ct-qC6~Nr56^`~2(fg&h2s zV9p-a8~hy?D*Ac*#18E2E*6rbnpLM-o$9=qfWOZ82Xxct6MqRw8QAU++oPZhd_&|LTWt8Pk_WxjW9 z#%?uAK7E40Y;?TNF_+O7op+^e73xoD(UmtxhfC>;YuE3JFig=m85m;fLOG%pin-r< z0w>!hLIDA;?zS<5SK8XllMzc93{ryf$sC}ErhSI`kHrj1-kGzgD_nY`=OKe>$~4a} znd&CUKKc0WL-UsAd{bdz`ZKLlJnSQ}_Xp!@If4dcKvZntDQ?hmySQ|xe$m>!GiV!F z*+X4P$+-KQc{1$0&$MpYTIkcR-f(jlodK%kC7`d`W4-Jbh0k#F1o}!nrfLn(&xo2s zq-8psPAd-x_&7IgCGKbUjD|KSs5s0Wj_T20HPZ<~)rZLM2U*yqSf zUxI~${EICNTl2<+CZuXh18TkR*XEf9kU7RpxSt@S@Ka)<-)2xhqPQP(v@>Zwvj$#< z^H=eH@4{U{KeY~s@iLxInh`Ngj5Zh(Al(;s4;|ONQfv438WV~A?`ptG$hb@me+HQk?5O?x@0LbG+!iu^M=2S1z@4SOJAh$4Q#j$ov zWMR-vU;IP7wXBkjeTZG25JFeSlnitiV4Bj$V~2Qcls&in+idxZ`*elgdIb5?1ZxMN z4{38AJ{q0?KY{C}GV9A{_p~#;eV=@YqOOQ<+hBFyJ8XNVUXpFt4qTba4U5)^iJyu} z&^azZ7n7A?y_~H#;sSc9YqA_u=f*wSP4*P6^XM(1C> z81{74HJ1n13UiEC`d&4}?e$k+TU~~m$TID7lATu%CB7;~NkRgaT51xCE zIEKrY9W`w90+8xU@;!#v8hbmPT`Jv=Ng}=~DI|*p*h-pJ@v}lMYThf<38MH;@+lV5 zzs-D6Qe>XMEXl{DiD)bBBmu${0}2sO8g^;G_~J>p1%?4Om{iH25Ula_keqTME#>ir z34By%QilC1lS>VU@F=zV1G+Wk`(VfOkAEwB_^Lj*JBBqLavN?voGT62=R5Z0&>3}2 zeCUTzMZs6@=`_344x_BC&Bzi8$)kDxO9H1H*prM)ff@TU%s9N zLK1V$zS8qs#O~Bw^-fjS`y$Jul@M68?11Cf;dFH&v%oRx2#tnP19^0Qof%*zZiso z*#jpH>faWL5xev}rr`s}wG0b!&}H|gyJ{R6bj|8>35Aq)E^mMSG{)n+eBaAU1R}4m zjh5*Yc^`};%vfdJ|r})X9z;-`x8Ij0QZ|37Pp)UH<`Xzg< z9wMkE&z)JNEFk(iVGuzuoZNsLRjxk5p*@Vtq%3a{&SOK|7q?%fc8$JBd>B+sO5T5D zghM|=%5% z@eC4Z&NuUPa$im~QHfh5`IrRCRp$0N_N?prJDWs^lAw&aJpJ;|#SkgTJDLtw~Gc}PL;K}lwFPqwD>gLaG^?5OJz*6 zI?R8-Zv{%#Q3=>9{>pi%-~2wfUTCu`CVaIPl903;;N8m?mP!%zypeuT(mx-3iMgnZ z3WPnq+x9JTp^pdi7cKahV&+|c&>mp8X}6x-(y{1Q*7U9wA?(`;i*Rgf0*!Vt_?onB zQZ5_r{KB{JG#mPTGTT(L{S`O%VZL5-TU(^4*EQ*Z1o4)Fq3!1cl07|?#;9zNbLDV8 z%o_aD!k+T8J`+pr_g`+rBLW)ZPArb*lZ(6J7TTII4dygSMQRw&`ph= zB;n=CG<%Uk38K};cQLvixdzny9Ji=w^vhe8S(t-O-7%LsSz+jnrWx95jwH6C)JK$k z{jA-MXURDE3asNDa%j`r=!wivm{=jc*qr~yiYlp}I ztDPtz5kY~S*}Q>^8_IcKH*FlB++GQ5xm!uR=*Y0j{O&5=gG#)#-@o zhr$0h3;f?b6t0Rq+Nc5jGbJbtfkOU4^4kycNFN-5`ZEzI42k@gK;XB2RU}OHh&!Yz z4DknvDpDPBBz6Q$?avgTaHQJ5NdDnK98DSlN1puCu^JSPf~D+R8?nJO*rlZn%njN9 E1100hr~m)} delta 3761 zcmZu!X*?9_+a^WUFewx!nrP0E+00_8Frw`HGNvra8nR?dQ##3(Y(w_3GYp2Dnrz9w zA6u5P8=4{v(OCc9|NG(noxIQU<^EmwbwAg0UC*ayyokNKh`oZ7T>_|}=Xlq}PTeyA zhyy|nHw=cnf(Am7Fd&{ML6+T-fSXD<-*$gteOF|!y@dI51||N=-o5136;NC=S!FcH zD^6IRE~l9YxO5Q0qgn-5RSs@bzLnSM_=AHc$|wGEe>MADT`g-5b+A4W-1XM2ZuI;5DA1NT!JZtqo|&mo_-mQv|6P`tbxP2T z_0~Q@;*=w7!)*3C{u@eRclbf=XNSC6tX^v9-maL5x zg}zIKK&v#q(%k8!E3wvvmTa zgZImK5{j038gV9sE%(Q_GoO^?0;L<87-`oAI4Oj^uY_WSbwO8=*QFg5I%9WF>4acX zg(+f;jC`jTLvP2A!~BV4(IAtsOFGg5tW4#KMTNp^$+!Em#i3O-R)O1j1#G3+HP*QU zw3+YB-Kr_+R1Xn}V=mzfmx4_ZA&_dUj}v2TqTiRy$<`je9hG~z0gq?`YXI8>d-OJo zoLg;O2@wmu164J-Vx}3md&)uw1J2`~XZ5fp(!C2BXs(&u*@#>!h!l+5!k&(E^#Qo) zuSIE$KW>Wk_JEr@sLb(y{H*od7x9pX(fcXnf@9eed%MmXTVbcCB#cEhwoN3xyZi)F z)8I{g6ihzeE&Ea_z9k&OKMX;H#tm+!d30d4WyJH>2BsW1 zu4`;DH##h;3@(KaeHa{)GUkpDdkvb}W|AMNs*1aXEEhleG?GcCk6T#qsQC_ZgN6F; z5CEahJ?)y*M}aXlYwnp2Ibqg;s*22@RUWO7dL@w@T#2W#&Uda5Y=-64V%&|& za3#HAeA4r0O;gA?w@&g3l<$DVpP$A}WldQ)q}UyphW=0bqCjy538}SvJ?s4W-c3yaZFOpFOgb#AKV~ z`tx<~+>2~-xgD@n&8gwUw7v&~<``Q|^}7f=g%O*kli5P!p!+|Z0!}=L*3QeOcaq}p z|6H9GP88C_ep2q@Ai6&5mRRK18GmGj`cEfyO>E}!Aav~pyYkW^^ zsN7G|*<;Cn$M)i6*ot|^x)Wu0jU4Y=q!PKgkjE84r=j9vlhn3vsoby~_p~c!>`Ed`4N<-s8nWQ0*L+ zCrn=0=JT0gB3;atKEg8fD?l4cyZBUcfZ~hd&R_12owrkVd*8Dunyj2%;DLJ9Ne3cHWsChA6)h z3Ji=kDai3!I1=2n`Op1qZgdu1!am#Fxyv#1)u^*!eW|{mk{KHB>o!Z0uj^63F)(@0 zq6@v)CDQbtt?p`P)x<2L3H|d7rTN_$|Lt!}w*y4I{t0X|V-`?reaAY-pSJ4_FzyZ} zo%_Kp1b$DClU&@4HH{nGYOXeC9H)gF3l52NzfM7MI}#Yd(2RPS>hVDj09Fz=@W~dL zFGNSIGJm#w8|YadXHRO$I&1doB?acK{jrVS zrd^Idb`vd9U!PFP=!U;icA8U3san&2ef*}#s_rkfQ&rETECYRd6V5T0Fzs+ns?`sE zW7n8Zut$WBO6g2va*+Zsvc zN%z!uW)ut6wI@DImpTTnCXF{Wmwt1xFBC1!LD-74G`p0OJJbTzCsK&M_{;gqvUy;v z+%i7ti~sWCL*Zrn3hoh0e$E#pfu@xtTd#+f6?O#srddg^iad1>ioSgJT2lI(pf<4i z(?@nwzzw`cCFT&RmYjs4I`q@yjHrkT%asfJbeENHni@R`DK4I3 zo06HSKBCvjKkKCzT0z!LOW*2f-)Q`aflvO#*w&@?_T2HqK~oPV8Y8@8uW#{)HK|;u z=L`_KJZiSWKiUkGI61hjG0j)b0`xW~PGPIKxpKswZ=pmvH4GWTChklqOOPy?a*X;B zRPbSmwVWdT*4jyz8mJ06;XN#4a#uhi);5k8KuQv!LH9$vsEaWST^FW4^ri z)^tMof}8!TD++v&-sOwqEw+F%syLs3ngk(iO1^P=slv9YIjlu>ngnmD*m{=*5dPCXgp& zG$-uDHgE3TCiX<65ACr2aGI|jzWNjnBs4vk=9_j+Msr*&kLks5%o|#v`lBSAq6y^p z1vAbMb*x7*7u+J7rkNj4%ze?%!Sf+!#7i2d1&928?eUb>$COm-yV;ERu&G2UNQ3tP z11Ca&?@1~H=dBm%c#4nBuM5oj-DpXB;zZdJr1SA`@0yb9IuCcW$_J;-P(h`Y3=HNq z|D}|22_v%6#R{z+zrxQr0sm*zYC@#cx#+ihttu;B_;d4hdufS+R!z=J5znNy$-yh> zQ6~>HOs~|sZS8!xvFIz7BUv~&&e^Z`x0-KaNZzN3#L{BMD+wI?r2bCvXWECQ4UZAB zpOI(!RL+R)=&C}{Oa1e;j%~L+H$BTy7LhtZI}e=d`Ws#>5Q8_*O2u0oJSGy7vGN3q zL<$~H;10Elp#{2~h0p&S_I*kFF~;s)w&KH}+S^QzRXS2X@_O3H}hXD?^D)5;jvZFuE>R z3n%#{w@xO3lA&*cOLDK2*G|x~Qa~=YjVM2GvYxYhx5FgcnC$yUc`bBrb&bBOXjf1U z`H|z#E>T|2RPuSzH+QUFDfKq^jPyicP$1-g7SIF8^WOrBfglp7Mu4km^pOq>i8_k?KRh@D zlW@jZR^(9nUuQ$$ii*$#W8+H%_~F0jUo9vGj#fN^Ar+5e7#Q+59t;9SV2)r2*zXz; zq$1*fX9@r37lMSMjuPRR-*bT|qR@!nL=OF+j_{Bu)bGhb6w%0kU663-9g0?j9C3$+ zBH+J?96puek=Rj+kl#~)AkmP2iTqasbu?)d5+(AxW7y#|G=axdiyHyq0f96PZt(mE DR|mM` diff --git a/fig/fig_sec_real.pdf b/fig/fig_sec_real.pdf index fe138df463ce8e97743e337986f35d42e9994e71..afa32b86b3b1e4f20e3e0f1f39a6185178b26c75 100644 GIT binary patch delta 3308 zcmZXWc_0(+AIEbn*N6}jM)|sC>^94lqas3XO>QF;Hf&-DDfbbTl8|$b31yWWIZBS2 z6*F|YA`(_K{d|9a{eF3#f1c<4e4h97dftD1ex~wlrSdfH?&_(H}CGGI@6dxBikidB5 zb+9WQ)0l5YF#^TViwxjcR*p}D4R&jVe#^1J1)LkpW!C=L4&PcBXQ<6L3}5-W{%m3& z-~ESt_umOICX(iTO4kr}WCPExwNOt~YEmGZtKyvM9eAj5i|a2Nr&zB*SBxRS-;C_ z6HBatXEXZNR3tv15G-Jv7P?Zn9$=!GqKGlDp1>ah{_f9CneE;;|B%3S`G<0D*+XXD zXT4n|iY38!`?pdtFyBy&@=P>e*PzQxL+jCF+CNVHxqQhkjHSmPUJPF3qAda8^j~cn z5kJDCb09h^n%w-*cDeR;xj6jg%|FirJJzo1k$7@S?_7q5hnD}gu?kml3I){=Y^ZDZ zyv8Obvy2jo<79#5!cGAL)E2SMDE=3}pFw%impzb^#+ z42(|A?`Om~l%xh`*0;R|$PWkZC!cXmK#zP+#}9wuZOdgJ8?b>=6LP)l9qS-ix07@d zR$Xd1#r&+A`NZPRMz+Ln{bXE%;LHntHNK1&y*)!Ir2=`B>X*Ld?RdX0y<~O2L}SbE zxmZ8%&fbXpdF!S8aTmIk96Hr9S3Fneq#ViCPmr&RKgQ2#5$sn5Z#m=dGY|0-gr^EQ ziE6hW3H<4GU!qpEuxy(8S~xS{Dnq`AIX*@|qo|zPt1_b#G&9ou(uY^kJUNEsv~rY0 zg%?Dv1_x6V`nySFdy$Jiw6;HCtF|)HXZf-`=Rf7twS>f@wiPr)Jg+-Cxp|a`+I3Pd zMjs!QV~H!MSjiI2?%orn#RCH7wF~4Hu3C1~%aT+VctcWwGpd#Zv*LTjcwqW|7pGF~ zk(9Z3dzC1=X28PL%R3Td$*aYujaseu z^<8Llvr2Vi1#ZUXa86hKSV|B-k)p$rsS=y8mvhkDOnl=tx!^3*ew-+DghvRfbD+NZ zM4e%090$@CntP!FM}@WIl?|jdXc>bORocFJ-HqL@wx~}#T6uw`G92P+cJWK@Rd#cI zKbY~XoEH<2 zL-(*lHIkb;N?gL-r3)q1jtI&Oh=PSRG19mFiBW3r0m4HAtREjXX*Sk_==nI0_J+yf zK2egM$rMq42^gny(BsLs{cqNzZnST{JNDz2M1f+MK}|2&HfQ|wN|JI6$g*>eG`j$K z`i-AW*w?dPJsG2nFD`nKM5!Dds^i=mnh0o-rjp;(*1ccUY_)q_&u|DXi%dDIbz-VY z`#t#W#>+Go5YjVo$~|%xST42jfZf{v^zn_LpbC#Fu1T5ah?J{-%^sfWLUM^&*tI^8 zt0k29I+NpSX?NyiRLHZ6TL5}9mt>zY$|3OKB7P?&?ZsQx`Qb_>C?L8!@qj4bu~QSg zkAq}O5*f#u@N?q6Zw^j5nhJE0SKgk-8+%aKQ`1s}58Vnx`z_B;ZaGfLtdm1^Al=n! zG6L|Hh{m^$Qh;C^`IV0dl@-IE70h2f1H6W$U!fq8eo?A5dyy_OW;hmn$>KxBef+Z% zzC^Vf2~?A%K8QGz@`2=|j)eSJKI6ycKU(HvMAPaex%X*VRQwa`gvho!?>4L$ zgP_Q4<_6Z17d;F6d|OahM>XMgl+d}NE89wp)IjcL(oZi2MX^f8C_Hjn(x~dxz(t+7 z60>p1=`!)Ij0tU7I#%vyC-l3t`7etmZ>IF<90?(J7M zJQa8WgQ$t6^sx1NzG1UX;DRj?k^=*G0{gFx5|jmn;pdEB9yKUPD3{8SwgaK89(Jea z^GaY%CG7!X4N=C`4{#I5Y5tcEcJi`^%Fbqo*;X$-97PX%PCo7L-4wfd{33QSo|OHG z7aT{83^>P8Az-zEee|`MjfNsQLw203L#Ie(DQJqaxfpd>S!(%Sm@eNN?X>{H@PKX5 z@X@Tyj`aL8(+ravA{LX!yfVqn{y>u(PrWqViaI7b`5*DmR0(MG+ZUae9NEkT9>9zo z@ciCt@UDadfb{$-m6m3%|^9=QC zlH!=UKzeSFbiaGjRsVbx>X74;V$zn=cjmd))vV4m<=}mzl$pFF znn5xlxj@~0Z_&NU%Lat0QR>Dr8o3WZ`8oVy4MQzfVvVx%$IgjW%nZC}y~d2`JbO0= z84L0Sn0EPSKJPYB-X1W4>Vfx7D{5$V$6m9fzavB0=bxTX8+ggyYAIg+f&SI~I-hx~ zVj`ajaIBIjzfg&-;o%Z|xxll0JZY@vQREnafy9;i|`S0hTP!wvH zfvz6%?*MkNP`f?`(}nMXgzD;||AnOdUwSYM^lx$m28Q`tLqZX|3=zoP&@dQgccMt> i|7r^V<^)BcV7pR4q0q2Ab+h9_aHz1Vs`+UP;r{@BpTnB~ delta 3329 zcmZXWc{~){8pmI1T9BnkLPiMLW-()iWX&3{!j#=$%$SUp8T&GJ5fYJv>`QiyrD62S z(qzk$eT~*Ly$r^SSqO&OhgT&v|~&?|IHYXXi1?)?=3P6D-0&1tW};3tIEO z7tjg_I+zd$Tpj@g!y!N$wggEQXL7rn@JF6mpN6a#;@o_76XS-`9-%`ISU(-FjH6{a zefp4l%ut`Xqp?x%vl23$h}M^xKq5?`=J`}AHGFWg{?}w#Orzh_K5^0v2AfSt`XmgAAXXP@3OQp@oMEgeQjnUR zzomRl0OWrmKm;_)l#;wj&YD`$NqHPd%4Y>JKMkBpw`px zEY6b{<7>;EYsIu~?BnP=_NCM98Zs~1S zh-CEIrv-cGg4zo>2Nl_Ad(-6~bJ4oH;;dcwdiB;j*|d2=)3| zen-7;j90Ge;>z<%Fik;Ui>lb9TFY-xZ-(=yh3k(T+r|% z9j#50_j(`35yKz{qr{2SdM^Qm&rYS*9Up!rsM9+_b8%aYzW)9-#@b7wdaJG;fS7pI zW=WL2S_NymY81&z$e4Ktn#d1~3BBQWRz^3vHs#)_{@E4`Z|bX>5KZ?A>tT1^wR~`@9NIc zyFdRNn643=aO>W7%JHuX5~t?wR{rgjCN5m7qWe6iLO-db#Pow%jGA$Hv0Z{ZvxOuI zFn7$f<+uE6+=9w%b+&<58!rZj#tF)t?;OnG2moUgwVqj4G24o#yxVYCSCq5klDa_r zx-odFmE3k?`?KkZy5xD-oPex90>QNO9G>vMVpc9i{qpP^$A-2j{njx*i8fZk^W{%d8RCU!JZtJ0LRF+(K zxReRBE-_Z>pZnzo8(mndj58IiMRh-$m9$e2(BH`VLT>ndcHt%V1SkQEb%TsPD>mlZK+dBjgx>23}kA7Qx*>2a> zqy~+L|7{W`<>}@*n3kP z2?Ip$b;2Kd9WO1W^?vf>s*+L7>7(2 za)g=Toy1T8jDA=n?fg^U7h)GeT8CZmwxuFVL$!W24Lc>s?YuB95K`sfm)F zl!R&)-gKjNuu7$q89Lao)ZFij#lV+u@CuY*9IDY42gtoBwqc9|XykdUScalNT7$~$ zgeTp7N+PbRc!i!uLu`}uPcOxvfZ~+oCw=}DHrptE?cR~~uKrW6t}9nDQcg9yyUb(0 zu=n?&z}>L2Ri3Af7VTR-4zVFYVDu{q`DrAtjH6a%)E#o*I0fL#Qx-TkE%xwyS)hIf z%?m&QGIZ)$uU=9ZYxd0`uA*%0qS5-hX-)o~oNviO#DuxYaTC5D&&w%WLJ`0H*NkMo zG3u4Yx))~015v=r?2CW55V7T|#TJM%of+%b5&Wm+j6GO!XYguyr$X}?8c)T5jMbg1 z)y`5Dc=ElI^RC?-wr>?9=5YWN-D6Ma?YV{NeLG_$!8VayP66)mvTobV0r(l|UvbWTmQh)8VA;Ny+&D%H-Zh4Yd*rq{y~pSR#0wG}Z=L ziX?}lSHjzv@6Uy>fo{ih5LnNS8-Lwa?q$ui2QyA)$*AvezFeN$K_pab4ueeMY;G8uYVy6isz~+qAv;qqGR@GT~bP zUiir`U6pTropa78dM;k3Fn_f1LP3)38M%HoZ^(%=WF9kij8$OEsK?}S^PkC3 zkMOL0g)3jwZaa*h3wK&-H)n~F%a19zBKbz!oB6)pz_;?Z&UhM?K#+#l;*3C_JCSC@1%JN8y$vAx{)czK0@dp|zf^WV}YZ?Sxs zUUxM2S*yS!-qd30zEL}@%g!yn3(zzVS04dO!woaN4vnNu!6h75RoH8_l#37Bbxp+} zGp~(g)-SjxulIC#jeV{#rZg-zmaIN7la>RMMy0AWpWIeu26~X#3R{PKt5w5EVFOZ* zDhxPoAS({xR|(=~jX$$0Zi%TXha6*eM7S3;`pc z;DllgBWDm22>NFL-GFTWUVvdRMaWTxfE{5782BhtIvR^WLKEyXCHW4YfS_PSaKbB1 zN%Fzx`j7{tqS9dohk%bVMa3hrUKza$pmFq)-S5 zdNeTzq;K?(G48cfN{BljE+cj6ajMhnB|ey{fW z`2V2olGJH9rWSdQ1t+1_)Z}@*E^XvK#{w~OPE4qkNHyg-G1o=qX#cTK!-B%p7Q-}X zBk^&xIgq=ig8cf8Wygq0t?h2TtzDL2b<=NmF*^<7-&*YtDJkbHxEkCqn3y4lcYmYl z{&YLyev~ISGLO+qWT7ot9WU12x-H0w`$SHm057ztczVK3c)J@*mwP`O)2paqVv`X| zo8?2hje$=6K7}H_J$DYVq%5YERFWwZ?C#8LrBtM75grCN8`l+D2hs;Hv=1oKJtxkkB=(t0%YHq(tg@C2 zV1JF5Ny?ccoime)s-zz1*Q)*ZqrI2R8S;QpYgERND~xTWjN`Prrz-BCL)hCn_YS)P$<;aLs4!EeVG}t8Rx4C|X>IgzQ)8kBsU_i#{DJdKK*bWP-Bzmn^{OC@l=Z@cbIf9?pGzk=Ry zKm<%q9vbT|zt+%RApP!&2FRoh$g6ny&<`k6U?MFhYWXX6rLbbBOBMb7K5P6?A__$# zF8ga&n(VaS*AHmYxdCj@n@a8WDLc^_1&^kPoxN-%9j5$9`O!YgZf6Z@Dq*&3LU{J= zzDmM`efzvQ;cGzL1O*`YSbQJXwvyunef7woz%56g^KA*DtPBsV@pQWFF232LftWwO zgR=WJj6`7X2d=*|bUgj`T~J0WK4&Ha=iiy2ep|x=S>ohH#bYBOkLI~?-6yw&dp9QL zhBpRh6dh$=ynGZ>yKyE<4K{@~9%QlIH&Y?yVm`AZ{m}lkLk0s~&fhU}p8^~z)SWR& ze0Ul~f*q^jzwA7C>&1?TbiK0Cgv$2NILS9fwJs9tXyoZ9zVb>E^&IGVj8}uZ&U_Rb zEI0#TXv66;f`aG@qA|XxVjoYIVYy$nN*7I6EBS*Xu5`EDu&Kh$^D`H0fEK7LQr?_z zLYdDJu!fHr^8$ptF5K^PMT5B4W6{UOHb+<_pA4m>iA8s{%BD%VzB>hMKY4qS!SemM z_zVe~UlnQ@Ums(Gi>#jODA6qve3^dI0x|S777*Ax7-qycSSA2t+3MT@>EsGZvfhzF z2Z0yEoGl-PPYL&J(i8epFTYz(`Xc+auXXkdYlFLv2610-;ag!n zWw8NzjP-pWjZ;9^=+lZ&9Pr8c5{EMZ&l=D&der%mM|InbjOj9B%0ucLfM8+n&@w zA5M(j23*X>=gBY4HgopREgmIX$w~G#a0X+e6yyfiaQGs_Xtm4~#97882yEonRfz51 zvlI#gd{V^6Dx11}QEN!t3La zRbIM|BKX`-*KQ>;_WGO}%@@N{2V6@zIjgn@*UT32Q zE3Fn|>2fec+JX&D(qyu*4ThDEA6aGG!tH*1@j1__`dW;tcgJts?FYd6*8Shou_FhM zzhr4i1V!wkixsN9eklpOcsHXjzDF8*&lesY=A-t5QN;DMb$sLA!Gc;twQ9}~VKE#o zT&o$Cm-(&2y9I6q$WRo68MwVjIm|WC1-+0FhVAp|im=uW^uA&6l z)b;Ue`w|zqL<&qV&oZ^`NbmJiZ&-x8R^{9tFg(}G%S%{YX zL;ZYTXYMS(zHX+2mgW9k$$rcA1aD|Tk%|brUg!j`rRihHa*PYo|AKEme>Hx5f6XZVTr=O?oso5@=LUocM zo^|D#!P7P&E7<)nz0cVfkZ(&GRMav4v$92(!sj z2Bq~qp?@UV^{2!^s%1ujqb@dQp4h)e37rm8%i=-ls^z;MkbSeubN6z6>?kyC%4Efg z_HA+O&2k#;SE%8>>F@f5*!z&TX-22VRGBl!m^6F1S;>2UqGaR!`hu1afB(*S0YF zSpDP)5PJr0GjPQEG&UHhi*tiU__yjk@>-A=2P}~2C#7udTM=)?$*O2eJ9{lD z=dE6kZ(G5<+X}|O0td6&mezy2711reI^O4|bglNBgF}{19WruhpFGQU)7#BI!0)DW zdWZ_!DY-wx={*+@HaR#PjQ_w+fu4kbBzE~TH>ID>`#A3%A9 zzo6luzhU5V;J;v?F!{f-P&x3wF#l}=6e_3q50=w^MF>pcs1XDKgCR%w!B7Rz(HDau b@=%4NJ~&i9ovf+H28Y1e#Kmti|Bor zXc0z@cA^al*FE>gy-V)ifA)I!`|b7YZ>_!8`!Sj%E1IO5f`kirPshRjnXQtWKhOdw zemOxPNiiv)gd_-PMV&54;(#*K^5T5Yuo@6bp1cx1w4>JUo?&OfQfe8;Z$x-=^0mOe z@1{dGvtO#mDV|rz;-Bfx0CmtT|L3 zPPBdVce4#K--ZY;lNB<;nsS*feFI-&ytqe?2%uu($p3mK&uP@T<)x0HhxF z$15Zd&0`RWbH26c+*?HYh=3^6&DqbXKlU=qx-Ixs`1##1Oly$QxmoC+CMi;a#g-6t zBHWspG%mtMzfH*0`X&|b1v)<_L(rjV>qF+wJ$rx2V5?9ula$Ry?DT}Tp4^I>foHdh zgJaY5(!K(rYww2w`2dQaRagn0I%-M-Hl+QeSw%SA-a8?>AChNM=;xuPQ&H!h{(8eB zd%S+#SYy9B&rk{>1sYEi8g8RDp^Y#wsuG@DvXJ6x_hv7~ygEu)# zN{reIdC~}#n^n#GN$+JkG}y=Wz`c5W&R=!D=i6qakQ6fBtwnu5YG-&&QOFJUqDkZp zQ~G;U{7Y|`1heHAu`Czz(hm0C!8y`GO84vXki>lk8_U&}_c6pBIUqOKlT%560uyMC z$Y%l%ILo<=@>V$AfG0PDEOLf$rDwbt6Jr76Y0uE3odQdNx1C?i-QRwlZR1N@6^8Z` z@jlZYgdDrpPOeHQff|}*s04R15NcQ&K`b#d0*xD3jJKA=pS|C zY=(f;#5oiBGckVN{Gz0q%*c1fYzGLp+Dkuj?oX%-MnBU?>w-ITE-^P2Cw~^gNR9-i zW6aGvj;8Xm=ec(ypPRY9K8_QOW#l!)BKyk@gjhkK{ErmIeF3S@{W>Rr zgltp|poqrey<$JhsQ66mpnOk(ngDZ=Lt4J6LNn9C>+2hHGZf>`F|$Axau~sVkJ0Ii9FLr);sicedskDXl?hwmMt(YUF#)nJNHYn7--j7!V+V6u`rG8>tziO5NdkC32|U^1qyV%=s_hPfRU#1@A?y{p&#_0Us#> zyX`qa65f>DRRlC+Z@HUUde&;;`8)?3P^fqdo=NN2l2AuwsOFkCzWsn6pxz0cxY0zW zv(~pW3C&U9cUI*r(|_OhnSR(s^#} z)a@6oK6QNbw?y@Y5l~M(?VFt%thPXq)j@w0&{S2Bt|hRj&@ZIvBbKx0(5iVUgl=hm ztB(-aj^sh9X!wbkJhml%FU4@*j-=6S%AjWMEOIRnL2JUfnk;Ye|6<}9gQf$bWLqs6 z8-**b_o5XkA5Nj|U0tz~cCWW`6;N~c1;xUB2bF5bai3&?WzG@y9WCqesYJhFV{eBB z{>LI^u`_A!`Z!g+toN|t2t%_y=tpS%6uB)6Cs(=X4H0_lu9v|q3NW{zV9c8#j*z}- zG)Yv?t6)r6rriM<`UD-^J2oHvv`c-GE7^gr*YC-4K+(Dj5^Tra8PDn?i}E!eRktZh zg~7c9pxedY+IV3=XKq3oc@?#gn!3dpExhoNHpaC()4Rk+cv0=Ghi*S9@AEhNl0r{c zvN@T;T~2>!Kg&)iLl8YE87hqzQ*t_a>qolxY*rms4qB6h&m!U|_;y5D4V~fhkfW?J z;h7*-8i86|Ap3nMuXi;(sQW(cs$9pym_g-IG*P9e@?nFJwq!<-gx$PW zx=*N2^=QC1(s$z`?B-1A{eSwXdZ^utaOBM+oWy@iwu&CM{iO30iORC>O890YF)qR{ zlXpnkR~(dga2lcZ#o^Iyn8zfQnC@S+@AtJqPND(E*|A3;Z!)Co7>ZRk{aU?n!{^bA zHSHyPuL1^2$kVM$s5CHb z9AdekTB0{!bU9yDMJfC3J2Ta%nM*QM9(9QA@pOaDMzy^cyt8f`@A72#`}w69@LcRn z^nF;a@hX)FsdseNIh> z3-TRPJ9IIN-AU9~9I`u}Cf@()-}ocmqm|hj?$j76UlsuqOA7D#fapV*X$-5vlo7I4 z@#l$3!F3sq8zK{%RDmBzgMgMQ2{Zrx2)L}KGQD$^^;^oyj~s*+2%0>oh8lgw z4+p5tQa7Mlwik5@jKN1Qv-7K1yQ0<%5PZ-Q+1mMU=&-=UueGx(OtH_Hq&nMJEZ2^t zOj_ORud+OXYEp7-TBeg66M6?nS?lo`V1K`a9IkF( zraH2&4_@=2pjjz=y%ypZofG~2&|>0LEz42@?jg!e^(W?-u8N^jeFbw-xd8Csdxnm4 z-=uBKQfJwkk4NPmpDWVn^SZv&h3@vchNGtuGmDC$8}p>;C8D+GySmp@s6K1BRHQL= z_Efu_+btNaKMHoA685vgdV9~lv5p&_mux7=Ntzv2r3>W24{qH2ww||rqtc8aZJMB2 z(u2BjUF)45geg)Wb2TuRe6|g*N9`YWj%RM%;Hvy?63|ALw3a(I5MgfkYWq%3i!pEN zd6+L7N%CAs|A$?Y{>WXXXJ*X8O%XNikmTbwGE0iO{>zI@#Ecn;>=ha>EiBso^^)S zuw88cCc7GUXJj*AbxCy3D(->Xy;`RF*wC0Y;_2w5W~`-jMP|j$ub&5P+~<@Sa{QNc zMR_J#&}G(ivqMsYBtg(R0PQ4%5+p4Fl8^$YuPf*vz%Uq4{NDrU3Z(vLApsSKUDjOD zB*Y=VX<*o8j=kaoOH2HwK_t?16z?)$JyaYl4o#m{6hwiq?npo({|5^O`5jgIcLYfZ z*l!3BDEPNphy)D!4=U<^?hXM=1-hI diff --git a/fig/fig_sec_snr.pdf b/fig/fig_sec_snr.pdf index 1233390548ac8d77c2a49c177ee1ca4aa49041f0..2c7b3f80734caabbbb8e42a3340fa8392c2299ab 100644 GIT binary patch delta 3423 zcmZWsc{~)_`!2h&HI%xOea%#ueNb5%RI)Ew8{5>_CX6*S)=;*wCCU;B84?nS#6|Wc zjGdaX>uMy8^{e~O?{{;~Kkw&xpYy!SIe)xoHTh_C%F$OGMpNJWSh-Nl`<=4s4qH=;VW*?H0hcq%oIpNsyggMQn#?1dYx1`7ur|fDUt` zjiE&ErPI&$Xc`%C6a<5(g;`?5?M)h#-tHu+pEiO0NMe{je(!}`3%XxbZ`YvEnEI%E zNp*U&ZA6=yT4_krR2w=nLSibFp9JTmV}-$%H|_JJ0N)6uQ6~zn*~<=lZ#x9;5(1e5 zW}qv9n{8r`{ngJ+r!SwaSD1d}k5y_U)dUZ6Zj5{%45tIt5iGu+9l}pDYz?b9&kyl5 zJUGIaKmY4mV`_O3!0b*lFN#*%@a$jDl8{tzLivK+i{L+$BboS~c z64l~8O+$XBXDgU<>5;d@baB1-H%h&s*K~8bqDtb`BcnO_ml}#1Aj*+53oeOV*Pnl{ z-9TDm2X@A@7%ZClG3dU0TkNiBbdgH51;x6oe9EWYGUKdvm3N3aK{(Qyj~qAAxiREF z@-%8rQ#icZ7E9Vq$}e{>Lv#&nEn}!%-dmYMTi@nxG4C-2y^}UBT7+eIGsJ(M8A}k& zu567j#DvK&O!>I(s_?y%sU>>=n|;hY<}&+1pZj4;lf4hMh!FQ7-+27Vws$!vS>eXm zW~^j*AfoAS4X0`^->STYCg&1gM6!}O_IV;WD!op~IpVF33YuDxBPJ*$8MyTju!+3-0SjMK`zyTo1MF z!dXxItp(0jG-Zf1!$wuHH0KbL)0Vd(v-=JKc+U&jB8m3&!Hc>AS)rHqq_09tH9O=p zSNbsSGbHCi)nnrv@faLlvwZ{eSu`^SAlHPBGxEnvslrR^%ar^$RpVMX^5&=Y&tKN8Va&$*Kj`#7t9ZrF#Z*LN(~O=8>q=|c8ZpBjIbVE zR(?#)BWJXgtmO*b(dCz>gaaz#>O~J^yLd^nP2+0br|^*+`k&p`xr9_!Q9xR zYS+y;d3`}Q)$OCn9bD!>-5dd`!!rvF@1G6~R=4h%h~Qt*jPbR%z%Iv5{>?9h z$h~U#BdpFTnhfT$AdjIbLI*?+R~i)W{DEKE95_Mt{qceOK>28?G)2PMu2(p|F7Sx0~f3 za`Fo|_EOZnD3&j2J^S7BIjpib6cw?XX%B-ax}J173?Z|VcVuJQR^!u0s&;XG?K{_m z{x?YrLu1FK%m8%2F~wx52P8lYFv>NeFn;^BMvO)panM9k>)E63>*^NOWggP&!~K+@ zCbo08$a#{oM$QTtmL4;k!gE&HTyTKHk-95-O~z;5R-FT}ReLQzz;(U;V38S$>i#Ro z`T;O>z_FWJ)7g2Wu8fI&^n$rOG9eP2+1|;{@RIJc3GmRrMC)-7B0<%yG|cH#M?nQZWXLrOaqC#YlB!D_p!p6=Qv&0scLG{2)of|Ds{6jA=DHeXRMaFdZI%ze$3du za7V@EMHo`}X|?HDe565#SCPoIOA67zXHh>x=5j^CO2k6cNEmrK`fbtrnJ4G0PEGmL zui*zagO)#L4Sjke^hu6gbMkg7*xkn;xz=-DW}Ck+lpDirYF>QEc@R z^M&<$ZQbbYdO5bT>f<&v;M^}ES?!Mn?+5(IU3)POE)Rw;l(^>mnr-Cmc(w>rRBy^5 zmA`{!XdV)KN+ibRAlnmWJk5)Ey`Hwx_QKg;i7qX5Uu@eG?}6z_6V#P0OU=a%g1-sp zV$s$`bqlkt1ZJxE*#~Z-Q{`a6mJT?s{ee_>^$=V8>xcszxH{@{4Y-V7&5By25%jm_ z)>au96rZ+VZ|>|T`anu26GX_mBde5O$K`Cs6G$Mf6l{`!FP+jnn%;jH#2Z_Q(POPV z#>D2yz}c@CcuEX2*sbGR6B(~}F(yiD$}afiwmseXV^^kDjNK4eHG?me>%ctUG}`nE zYB4(rWTN1kynVT|&p*xQ{YvN0tWIu)TBRLNc}cYZlq8P*9~s*H9&QC)pKI-WPlQYo z7E(z`YO1mY;{7U;A(!VZ#sEE(stKv=F?^11)*kI_iF~kyr{mM?kiMxYzAn3OZ$N*4 zXN}Qj2YZnLa?3aeF>AM1-z@J=HCcg}{BvPx#e-}Nchlt;%}Y8%T1`g<|Oad%#g0uXiG09!1fj)Oq6TcimeF zHH7uf_>s<#7sK+|9}8t{2FC3=)msrL1T#6AZ|g!|2ezB^tV6VV@Mwimd% zuBdQ)J_ROz!&eqdG|k4c=LNJ?xfVSd{~PQ{h>-G+%dnH}eONu=h+J&bs}iN&9w+52 z8~G)=mDYG=NwVI?&3;egzb?|kTyXKsws{VE53AGvSZQoW6l|;g_QAs-CjzHcdAcX^ zugb|M$Xx5Rz`GS38Tih(tCv5wZ`{pj9W%`illR>)s8SzpzI;B!%|4!0E%}j!fKCvx%v-cBF zsMs+XH85>AeNIVveEC{SH{;9J*Rd#*^)X(E%l^TkrI3sFSt%}DfQcN9j$B*$))k!Q{bR7|e8Bz{ z_w`S@PFZ=o^WWUP3QBHmO!YO8Kx)nNoUM#f*00{>FXJoARcp7{M3FbfkDPDpUUYky zfJ_Prb@MUk6H`v9$Jyn5jgbD)(sI4oP_Ju!VV8a(u*YqsEjz0tZS=6ou2&NRKc0MRep( z=H|!9YJ2J;nYV}Axh^X84({#y7w^p1ZZ!Td*1x=8LmXy05-ExHb^sKGf>t{6@~U#el%dK9BqGIE$3OuImr(w_BnT3Ke+>u{4pTXd zp_6rwE1(bIDCA)-N<}$EL0A3+@(;E$45|!I!RgA8(6B#T5F{G;Cmn)Sp3=BcQ;RpYm-|PRb4F*9UDg+5vK7=6<&=Uu5;=hMcDo}We R=v7^AGz=gst8J(Q_#cO+2VejI delta 3413 zcmZXWc{tQ-8^^=3WEtxq5{+al&2Prc7(%vW-}mg>5IIFmwx4~ehM2Krr-_hdB3Vb%Fv_Nbkd(WZ6u!ACZggx zuU)?AN0E!pF-F16J!){(4kbJ{5$1uGT|g!t?>{yhc-rS>`$>-yu=8$gOc3p5u>Xh(TR1JYfd&(5A zKZ@Crj5LS4HD@&h6tr*OEf{<`(&YE zo+l?&=4|!FjdSGujKbNR}2deRJ*oX|GScqM4J*4SbV@qH)2UND>8~bvGKR-XUy8|)oZKy*v_9&7?|Jtg%sAcU;uBZlZ`Iv6Pai^`(;D7@ zxMv{kMCgn_YFxim^aTWj4-C6+}LE+I-tAzRJp>$y_eu zEi!ENSTYVoLS;W)v`>kA{qm#Uf-PQHo(p>aiT6rEqdEg6qOjgo`<(0;@7+j2wm^+@ z!ehLIf}0;k8m7@WG5$Z#RL++8Ml-oEYSRW1>tM?L$Gb_7*z)~`F7Y`@tcKQ{j?c3^ z25kr!pcZNv$-@K7Mz}G{L)_)jV{`i%L5C55GzTj@W^;}Z~X-_Axhikeecyj zD&OjYFr-D6We1w9SGQlXa2kE2Kw6u0E)Xh6-0@yJM1)pc1MOv!NU)5Bac_rxf#Uj* znN5MB>qe$l8ObkD48nT*1FsD1)=3rXyD*o))L{?aJqqF#1x^mYl zuoWU)3hje7@l6$0-qU6T`JSCTG1*{!{zjHRomINjo00)e$s|t4*G!^`Sft+ir~I(7 zFNQ9qMcWp3Wm0!SdYyDFxGI)OkqJv()&K>6nzwU%{X1fcdHSMk{J@>4Cf!lZK;Q7d zxSUx#;R25$A@x@|bPv=$*>n1v3vrjqz(-!THZpOv=V(S4Y0gH-f?J+=rjJ!C*Y+Dl zfzQ=4| z)A0R^q%fL?&5m7mzji*quVjC~-YrANpRNz3>FtWQS)d)=9Z%~xcD#zzQp#dX!QKsi zW!BrfeI_A6a}4sYTV8Y3HngFv2CpU-v&*dQ$}ZTEBnr99E8w4cO{H9X=PA;6k)-Zx zLTQgEU(@OsmPriHQhI7b_W1jjjI|1Nv=Ns} zy^2+qgC#a*O@1S&cg@*$Gc{S)!G{J-aY-%esICFPKAcd}ky5V6P5fM;$$Uma&OuOV zPNNfGi%xIBO2n+rj9*>UDVl!f6}8zAbQi}$_LdOQoEIzVgyEV%LH($p4TzMfYC+HGI+|Isc+d=mC^$iUxGT+Ih&;P z27k0(_;PdCQ7K^ER!SSrRfLdU3+eO7(J;NV>@?W)}H7K-*0tyk}lfrevSAx#`h4{WX88TlW^*Ij0c5n z`nG5WzsUv1vy5*wtMjeFVVq9f^8OB|#O3Z3;pb#6B_GqB$$H_tSmOO~=!z2eOibnEdZBdM8(jVpFl137s%;grMq`3u>x^M64 zA{(>?3&YI@{nd6?=)+A~&~VzY-#p6JvdX=`W~NwH6Bb^AEt~sGd){>f(C`&XY#r7b zIWOwU8Bv%z$&x-9i6Y29^I6-jnfYo$7IAwW>hpdllysswJz4gShDzn~{p6<+u7_u4 z^3wuWmEL=hy?XGWYqSqj7n9983vF>y!>{&}e@#Fa$H9QLL*rEM_~2cR^~R6iw%Vg~ z7zL$uo}g}I2(+9E9AP}pDJ-a?WhZ8y+|*nk=H}+H3Fuml9$3%oKY%E^IGO5F#%wAf z=i}D8mX^wI1$>=%_O3Wj;2cQcQ84qo$vACQRlGp)MUI2No&%p=ll!lI?y&gz^FvR- z65ZGBLa!@nE35ltR{oGP^gPI4*s(Kekm`gQ0`O7zXC2;aJm7REB4VXIAc z0Jj4h0}&8#G1g@sxe;AX@9ksgm9LpLdDceX<;D-DtDW0DI!xxWd~GLznLaPZkIU>3 zQOkIkkimzrgjLF7;Md7W-%8oqy@$wJY{d_^C2H88_F{E90d#LB<{G6#*0!oz_A6~1 zW$Fj~yqZyHyia}Db&)*P%Sv6kTBh8|A=Ijw*jjgxR7P1#XnOztN}^pK?1s|MjlIro zDUDm^nq?AlDenebig3{JRR5uax4~LBs8ySSvk!v=DvTaTlL_a(s3nvy4*%@bny$KM z$0M3c9knkB${ii&{%kwFIpl0GbLxB5srU&$+knX$o0(li0ahqk+=fZ={TT^cJ)yfX zaim}e(Ck%UkH0DXVnMzweY{iYwVvWUucRRJsyXXigORZAW~()>h3i9W$&EB#O6Esuh@jWZuE?#v{0rq`ci;{l2w9yza|lE`>03(15i& zCw@&j)Doc3R|I;yjZzxRj$#pxGJIuKB*jsWU2HY_a-EzJCz~>ek*v`5BA8I5enENW&j1$zs!J#W&t$tZ}>MuVX#Mp(Qx2*VE`o${62dC380TO if<`JFVJLYl^vI)Q6tD_JjE?qk6oyqoLd)nf>wf?>8{dNf