From 9cd105e7485a3afab4f484546c35382d13564f70 Mon Sep 17 00:00:00 2001 From: KiHoLee Date: Wed, 19 Aug 2026 18:22:52 +0900 Subject: [PATCH] Figure fonts for the 0.80 include --- code/replot_security.py | 18 +++++++++--------- fig/fig_sec_brute.pdf | Bin 34245 -> 34229 bytes fig/fig_sec_jam.pdf | Bin 40293 -> 40300 bytes fig/fig_sec_keylen.pdf | Bin 31360 -> 31364 bytes fig/fig_sec_kpa.pdf | Bin 35187 -> 35177 bytes fig/fig_sec_real.pdf | Bin 37823 -> 37826 bytes fig/fig_sec_sens.pdf | Bin 30382 -> 30380 bytes fig/fig_sec_snr.pdf | Bin 39825 -> 39840 bytes 8 files changed, 9 insertions(+), 9 deletions(-) diff --git a/code/replot_security.py b/code/replot_security.py index be04a73..9b615c8 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.68 of a 3.455 in - # column while the canvas is 3.15 in, a printed scale of 0.746. Every + # 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 # size below is therefore pre-divided by that scale so the PRINTED - # sizes are 8 pt labels, 7 pt ticks and a 5.2 pt legend. Change the + # sizes are 9 pt labels, 8 pt ticks and a 6.6 pt legend. Change the # include width and these must change with it. - "font.size": 10.4, - "axes.labelsize": 10.4, - "legend.fontsize": 7.6, - "xtick.labelsize": 9.2, - "ytick.labelsize": 9.2, + "font.size": 10.3, + "axes.labelsize": 10.3, + "legend.fontsize": 7.5, + "xtick.labelsize": 9.1, + "ytick.labelsize": 9.1, "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.0,), ncol=1): + sizes=(7.5, 7.2, 7.0), 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 diff --git a/fig/fig_sec_brute.pdf b/fig/fig_sec_brute.pdf index 45ff5819ced9bba34fa15348aff1edeb44872a63..4b2567666e8f60812b63593da428e455262ea542 100644 GIT binary patch delta 3223 zcmZutc{J3I9<{_+hay=fTTNu0%`6BJl5DA%@>ACO$vVbX_+qjzVMt^TLrRvRWNS>e z>|4l|ZDe1vRnmLC-#PD{llS@So_p^7eD3`;MYB{!vy?_M14d*)%&|GE25o&tkY3i= z1&(`9Eg$&U@d}iI8bNDJq>Y%mcO`ZE4;qrLLI?GIEOdN>-mP|B(agV6L`fM5_%>KP z8TdAEdwD@%BW0fM@WAJ%P0zIA!8iwWVtR5-JDRfRgOshU5sQ%$*;uTq@3UXOG5D)N zBy5O2XUFp^2!NY_^!uPPFUY-{;a-Vn%>n?mx}k}-Y@5Ov%C5*-#uM6?+xZrHcm1(? z8wbgIDSNtB8ff(*M@l|vRQcg!aONe#Gzj~Z@UA_ND1AJap2jF{jzP=K|D1KMxV*~K z9lqA2*5T03;q(#2NZcq74%zoQa%~ad* z@W1XGowurkC^hs-8z`1o^YKZ1;r7_}UPoMzh>2l5jBKNnI8cXnsZ}*(INiEW?@eIGn z{$`3_OYH0yVgLD9rLd^{WGdT|gowOB{uN1+=0^wn%9@e}*U7vZ!)^UF-xIXZc$W~* z88R@`y_a{gO3P18!|z&Fp?#bFeB;(^K;SfBk9d<)TM^eRBduB1ccfU_??m6;>`+vJ zIYLQ zWgzHJ8?)v;;Ft58V*L)iKD&VjCWRU2<^!3hc=)Y!EVF!+lg<63o(S;sNmC@7K1cye zan*8C_oX(Anl}^CL11?FHun5?ybnzo%$gC!ZVeZf{o^fzBL|vZjdVrX@Lik1>Zl$w zgjJf+?wgiuW}PtnI%g{~f^>hoYCGb5r>Q*rd0D#D$w&td-zLa0#mDRTGU6?z$2ag+ z)$B_vAtNH)Q4F3JVV-ebr!zT=xiv(9rK8Wgqh$hUzPY{+CEk4c?u(xB+gPSG`*xMa zy*C$Q#TUdhX1I*cv!McML8>1OKcx@LGKi2D_esk>U+cucRF zD>6b~9ZGx&A`4t)b)4liA1I(Knt=vJHi@_HYze2^nz7Lzop2ZbJ7gv=w@MT!m@GH6 z#+#UWoVO3%jL3-E)A@A5Ay?8+GA$&`sqsmQUkv<+Y*bjvriO{5%7v^QcSZRNJmtaJ zcSHKvFaE*V(#;u6qhVQ|NwNH1^sG;)LA&0UFxU#$oyJgi=W+t(O;Tbypf2r;2y9 zdgpfV@=6sMM8sU)EsdRTNo%8#yZNJ(udbPu;cISkoa?=i*RRlJi$d)0Q65L-lzx@G zw`ee?Pu2N^#oKbee~N_Ui)||3D;d1oo}c%+)u+@>gqKpwY_{BpM&E$oEBM3~g5NfV zWeh*0bE1bMUC6YLeHwuC$=c|-l1b8vhidM)h+FI!eZ2g*fU|hkDN>*E0F9kYsj zNLlNgoNZ0JWzSjemCo2P0*N{|?KyPJLm;@sMWP-#+#a`_pHDl!qn&-`-AId51+<}6 zU(ypQ(ou4yK5ofy?o9$q95it8yd9lW)b3#TGo0W-YPKp5Gy?3zq3)Lb!nvRO(wfvi zXt~@`5IPNhL2#wn8cQ!*4u>=;>_nvAGq#P-TtDTwx`6GNI{rLg`&w+HBcu6tUG=Hb ziS%#LddcOt3tpJVd4gNS+6&t#CLVDH9PBP})=-JbT@GL@{IBf(*1(oBZX!W-l~&Rd zI7-G!uMq`}a^LfqY;lz3DBKGSY=R9OAbQhCq4F-!d zNRJ366L3;5l-$vKY8kcaBrAO4wVv`qaQPim*eVJw;cGQ$Zwk+B{>V=h%)y)atkBLx zU(*HwmI0!p(}8AYIhJAzQ^Hl@lNYtceipLD*?1O@LKP69Mkb75<7sv_Grz1V^;F~| z-5ckl&)gkS)ORF+qNHvgQ|k79*lobY{4PGIrtt*vbUufd59Yi1EZEqp{(@o@IyM(b z`W9y>jwR{v;b)rlSR4MHw`scSw6g!#^fK5^Z-GhOYiDeurT^7hY_&t<)No9~-u zfh!A(sIj(0nFjI2AJY>nTi!R$lN5^6o95Dhw;T4@afM-gF1VOy>xoQFyM4GV2}Azz z!*g^+3kw*I{uF8@wOmWRS!>F8R{T)j(X}SS`7+Bhmwjiq;+%}#4JVM>!Q2wog{kuE zu697Ug2JfXuiDSXqB(s%FAlCOsM9DxfLG|);;Rgqu{BBfJ%Yf(s%>iuek;s3sr8n4 zh*0v3G9R;p&3Cueb7dDjN-P6AhO1XTY`cpi6`J>nW?ZkPnT?F7sS7FF&LIhjxe+xj zjwyll{L%2G%7Eojn`(7IK-&*{resh&kI<+kSyj~NaP#bRRDMGL_#XLda-YLM#w>%Y`b^SgHEU7IK!+e&x&>a~!$gRgAO zDO&nuwBxwajMvCWYsxx?;)rT)_k3UQ?k(B zphU-fdU>@G=gmfIj}>*)d}4yqk))+uMV6{dd3LojbQNU@^L3x25~E zFQ<@M!_O{pwmqF_BJ_MxO|!XiPo>fql`TX?J4j40tX?1OmwwB8bM;i(Arcn;4H`4@qLx|fHHf?hS0RkSw=hQo)+O%S0o4kTMf=(X8Q+a~ z6*Y8q_+nYKZ;Z2cqRh11J_x#3WFP1}5N_1SJh*ACc13U?4UjIY49B$p#FLl4=iX}Z z8xk)Gw(hJi5j|ic2{OrYi95L3dlCr_HZENMMsBuFTyTUWO!7BCpfRutX`XIxHY^;6 zR3Yz#7&*dWlCa++=_<+fAAm$4(1$rB40%Y0{=N7QFB;h z+rd;&ht?wDm_w0}a3uE77vL(mL$zTTH2j~Km;U>H7#f8*Y{sE+fAm4ZaEL=35{ZG4 Ry+ZXl5jZX=RM$k0>tABey{rHL delta 3272 zcmZvcc{mhm8^*~xgR!TKonf>vn;B#5%aElkkq*h)u`k0|B7+gxW$aW)sv)7QlPr^c zyAZM+`x=tMad7&a@B8EX%J=^DT=(_d@B6!-_qv|ygfndkXDZ?tNk;x6wY;Mt;Vj9E zEfT`6?~>ERsh_S~$h6KN_rzuwL3@e?&Ef=)55tmjZrY2{a2GSK^i&1ijleJHEPU?R zYQv0?j_wkV=MRv(yFFV)>bLH#8Z@@efL%V?938(fQ0th<>z`dKe}i6)zE(?@1D<`- zxBUZiYrlaO96u)xBQ1w?X!+k+vX+yh$bZhKZ->!BWd~IFnCX8``w#BhnS3-2m;jfu zQ!LE)$JU>$2NA!1>@JeQd&G=u$PaNE5$$)8i6J9%PUv)UTwLYzwerd$qnO5-^EMEi ze?!)E%DUPp;h5DYW|wc29;in!eJH)@JTr}yII0Xy`60YZ5^T2Es1!Mf;h zjX!HHA2-`x-?0q(D*CeQRYTbHBeg<*;z12vcTYk0Jd@YCfV~f#K2`q48^#QaD!?H! zXtt{{Eqt~1&r-kbK{ysb3J)OpxC~h)K|IOdS z&|PArZ`g^w&6RoFWbhz2cldG2BF?7#*qFt}b(ZQ7GW}K7uYw5@{7EnHol~DEMonAe zC5iCNZ@1{0EdI~VasGRtTe+&Ry_k4*r*NyR84cFE>gznSiG^Af-B-0MEtMp&g8>XC zrb_oWqKp)1iZR3LV)+1y|IP!PVE+XipxGD2h+N}R6GepD;DOj3+NsY(^UkdfDQ7P?$)87y4Z^PTVG+(<>^sywoEe|=Mw2%agL`3ttgue z46=T<-AO$P#ro(4+|uRe-%7CL-!v@S;q{e*+vn_8Jy|JarJ(}_qlF^saN}Mf0XDXU z^EEfwN@e1=rZVlpLSt=d<@eatAtVl2`US;hvFSiZ<(320_&pkks8^HR3$12l^2RY2 z^YB%yx5?Mf7mmAe6whime)>I=vtUzIpuP{1-nD$rTMUnN%tF<5)|>YUIOuvwHMG&^ zUONb|C2;--H2+PXa^PP5?gzguss?k-jN;NlM70}Pf>*Hq|-d6688cau9X-)mx|6Pw@4 zSgp_d;O~9&#)yoD*35F`i6+!a`ABg5K!$sv;>}(Vp>>*R$FAp=yZ~|F02`TLb;@)J zc&mlI-tXy_y?K!Vm`F<`xu?+4(*;+qLUYjTdv&5+ULW#iL)qaT*|Xb=VmG(-L|AQ< zRVSuZ2j5y{GWP~HuN4Cit~z^%Fb>% z)#{n6r(a~y#{iVDp%kO*V(P+Y%d43Yk)7oB25FS+QDv)Bww1mAfFNebx}$wFny z4BAy?N81zl&n5^9jlu@36P4^c+V5Oi_Qki_TJY(J0deMYk7MZPp6~?UrBVgZyf;`q z+PEUC=UZ<(7+c-xy*`vd&zBB%0+YWD!uu=F+eeQKa;!-244Gb?4A`fB>kN-2?o*Kq zu9#J^>xV?6k_OV1eQHZqhb7%1{*LWTg_hEqS@n1X;D~x->xg>UV(9A?wyqHK?m({e zOk(d~+YNo=z~N-&470Mo!tDhW-KvxM#NvE=cnrP7FULjeL%)}4>+=^tY5p9`z9r8e zWMVZPvGGXb9BBpyU(Lrz{jPBrMdW((^$J~igNwxGa9>hWt;M>poe?d4C{g87)xD0c z*qdjfRT$BOsjDBEJ6m!5M#4Cg2>Y|~$V;k55f3T_v^Ntq*xg7{`VdK`$aDGnp+NU9 z@>4SccgJycc_8&pwWSZ2@cWOQx$PWeKe#)?@<;IlYmx#zsV&=n(}X!*Dp_wX*cKyM zNI63{SRn%XWaHTyKHbj@4hOVgQ^Xv|0bBGLa-PXDgVX|E3-gO=0 zp=-(`XxOV{RMNXJYt^ZTB#bHP$gY79F%R@ocRaCyqmpu8_R6t!77bD3lj0q>aHv1t4Jo5JIE^#dM5@o`D6rsP#sH#V*UbaVv`)C--)%0x9X zd%BR5AEp+8q-6SMKOmTsGql+&GYSdqbAgso#+v@GU&f!|Q;sEFe`;5J-(R1fwPnPW zw74BM8RB*^yUJH_ehL#r{o_&brSK81fyR(pTE{eq+8v(7Z(F`7Bs$Qr&=-{iaj)Ih zOd-bCYX?Hni?C-)8X41pjQc(cp`Xswe`C*hHj~gBhEkIFVC+(h%Smm9f>&y)7$@9t zKCX)KBnt$KLsvQb%Y^V<`CR)twP@McIDf@jXXH=mYDhchmKRf zIMMie)80ORmUHX98S`afP_oR!^pX*h^W%py_v^FLK_Z=#ta7`)=ZE{+kM8~#qcUGd20VM%1cXXICyg_UVG~S4z%;)lK4*6)Er? zLKr3KfZ(`6+3;SrdbMHlI{c}P0}HLK^lx*JCxLpA4UIDM^XksZO&DG~S=p~S;}{2# z6nQqQiN_SD_ZP^rc1qt0y~pmnN@%<({C53d1ZUXLWU#w0mvgv!F^?tGazr<*CQ*KKX}$M8=K^jxzaYI;Gn_JKvc|8c!kAtLYp%=m%hmG=xgmxMtjIdD z0%D9;#;%&yhKyL6MHNbxQlS)Ql{EAiM6yTu;>$-gciWm=C*At;by*4UgMbgAa&>8& zP5?ZEM~tL4!d+pKs?)sNnX(b!ka7WX$H#{MFu`iyjD^++DvH;)yslMhM5@`gTF51T z@+!hs9Mppt8=gPB7bHT*=p~Ey3#Re8MaCRITo{h}k`)xD#nb~1ALDkT_gzZ+t^v&% zZbmR%BKPEH|MjHrqfJw;PU%2bA~pLqvstQTyn7zTs+6$Xt$ y{$&2Q7pwd$G!lkASs6bkMk0~Q|MQUn1P3=y7Xna~5_}&8Kq&zs5WQ=7;J*NiPo8xE diff --git a/fig/fig_sec_jam.pdf b/fig/fig_sec_jam.pdf index bc66afd2f8de2974fc651bcb198897d6b649540d..61f70de304d2c68975ba13b4a5912fab0573d69a 100644 GIT binary patch delta 3279 zcmZvZc{tQ-8^;-pJ+g(ejU}>;*~gN|l3h7+7+WdJiR?=;euR-?hBLBng*If@v4)VL zgOV9D_AP|6N5b2C-gBMny>ynR z0)booq;xx9=avQFuud!AF5N}z6VN{2K-;(4`A)St6v$t)bPFET2p3*k8C*@$o@tbf zj9h4tYTTH2Jp{P&(sQ?Z6h=;#JW7dIdY1aV;s8-bu@~lujRqV%ZsqS8@vs%H1J7o6t>b?$h@*ra(@^;T&2)WjQlXH$)Z3(R(W8C0EUB@_)8>N#E`Oq!eN&VCKB=rs5<9s&}pLn^8KC`?bw>D#M@;Hx(DkW9-6OtwN zFy-bSj5Fr}Nbp5S@%b#0=8ppHM?7y zCzUhASVOVhX#p0OY}_kZN9_WtC+#2^EI^~Dk{JIuSKAv={A!-IqA%C|q48UUEi0?r z4-2Y(b-x-gwn*W7q7Pxm$|$Iknsv#L*p}WxenXLBmsuNYj&TK_VwHVALSPVS`77>Q z(_WAj4`)bP#df_7<2V2K4nrs-e3+1abqel11$i{m+5KSO9bjBU zl^XJfc+0H}3t%4jRqy0UdYVOQ;*2gaxvajZnlsnxNvnO@mX=f`fdda~Gdz>eWk|Z4 z?FH4zt)y0Vt3T|Uhp#E#K(&Jd>#9PQm7Ek|SESvV!wdBG1;tYf@AY9UYxO*){lR5% zNnoFAD`G+}7Wx|gDbuf)#qtO80OGrd(`KWHQ-W)laB90zII3!U*-O@ewNB>JFsa|R zx(;{uZ12A5p?OHr(^FizG!sISr_k-(X5#Ev+ri986V8C;DhvI6^5|>4dyte;`q+Hx zdG5#VU$FCq#)T|@Jn~ieRn0ouFpzH^tHOVUCcU3; zP405Rp7T1$?WiyxOZ=|*0f^Pn9x?B{HW{eoAt9{Nk(qUAKx_la;rGWRAuH4vh)@az zQk}AN=rpU4aI0gj$ze{KDb}##Pxp628xB9FCnO~;EQA|z_xojZ%4`qwJ6kSid%s}D zMXa_2zZD0}8B^Q?YGC(j^*%)+hjgEPu!r4s#r8t)_v13ImYYi#03prJdn+;nCcn_ZMzbPH$H7Yy8n6jyD3I(trN^ zorfI3jrmLL+52HcBG-Vzjy*H8EUk8xTU0hh?!>B@=S|s0Fy8VbBsRx)fPIVOT(#;q zS8b9tr`e{Ss{6W1YVao9X`jzUZxdRiI5LbNdinO;aKPP*}^UBr? z5s-uhJc>mm%xW)dg=5D)TIy>#jMe^@m)tMOMRGFpa)uv&i3W;yvL2TH3WIeMuz!N7}@LZ%IS2wh{KYR#NJQ38BzQpsg@zyGTkHY+%>vWPP3zW&3zv{IS z*!Z5wz}(wo`J;i@sJy7*nm6g?FJcBo=WqGCi2nMb#4kkR>rV2ST8kIYKeF$h(w3Yg zGd0?Je=YG#BaX%x71O&4@~Okwj*^@R!5?MX## zCpW&9O2_G%cITj{#*e$4TkA8Neyfac=@QcZFnqpWYEU42oN1t@L()N3Zclz&E>Qes zt7KC*O0CkPR&B0=AZhU1eEL8jXJ>ZWzWN)kjAm8m?@|pU2~joLuOo_?{XPq3V-F|dL}7!81kq~%W3@` z>LejC7Q-R#Z&x|SuG1|@=Uf+D!v@ET?6dS4S~~17t7lXNKGD7Y*0xssc+3Lr!ik|) zos_g0)I36)$avEd^s1LTZbUsF*A`!#qs!+uR1gWMaQN?xvAc>`h-z91Ny^$iv*&O( zp`T8p39RZ?Wbuf^$+6-@^?P2wH_-ba+ZZ|{PB$Py2*LV!V%K=|Wf|czsZPD0sxFr% z%gsxB#VQu4%7F;`t#Ff@37WlGCWf!Ac)c`@YW1*-J(}t3*(cQ-aOE7|8k35~&hTFs zsJsrmnUr6-txRNNljypmLJ^jCvxqE8!JLk`aS?fuT_s?%$ot$}k9!U!UpzofNNJYJ zC9lcrF)ZC%u54h_m0{Wq7CS%KG*>zau0MWtU8s%`pn&G;(?1hHBrTq~`A2NYL_=k6 z5q;U_R-?^CP~6=8m%4ddJT(`vrjkhRqLOvs5igxrRv|g^_IkPbJCjdgnjM2lU+C7f z9$d%Nier03Y)YH7TVCF%kjO8W5cL}51BNLfr+g0Y)J&h~k7D&{rfBwzw2?fni>h#S zuZ;GGmAc<4S}Hbrh4Tt(B#xOHL-(`FL3n-kYxnijZ9aN+04~ z+-)DiQX6n?J`zSt)_ahE**evVsfd*(uBG5#%Gg{IGFG}v2pe0jEjlcpZAIsgUCziH zHE^_uO!TU`NU51)8)Ume%%SLSP6CKb&m?lBvp&BK)1tXK4=tSvs-0jZ88P91mzOY~ zvKZ7uDhN0T#1FbqAFd1xVrTlMZ&-D0w|={M3G0Q(SX!CHH% z&s^oM;{#v54!x0t2W{T!nUj>m6C>e5Bd=7Yz6DWL>l*MI!NPNn(FZejQnmr)``auO z9|bg}Okv{e7uq}DTPiov!B;aV7D}nTgiLMjXWdfwKr32fW5Zp}p=VNov*f_r`VC{m z6?J{D=k!1AU-AqBr4kY8aMRtA4$Ifo#9S9@?cO=eRtcjS+^IMEyIzLZyr9H8wo^=P zmsUv1zm9_M(8gXdH`~4@k)?SgKrmRfF3(vaD@FqgCr4*l0w@h>=zov&O=+&bE^v$n z6!x=*K>nm5kcgi(^uKUe)DiB-Ak_ajvSqdm2ni+oXP;KW9--hEqu}JWY(W5X zl*ayubVP$8e)b4MK(R;j!4PohQI9Y<0tG$N4+_^n|E(SSXJIe|3XLUS$q@w5M{qbA zgZRlN8i6@F3XVqq_<+B*|4&yqS_67?l`sSr`xA$OqW_Kq`Txh5pUhwpFb%SBt}!PD M$|WyvXl2CpAH}c3F8}}l delta 3275 zcmZvZc{J2<7shRgC|iu3tSK@ZGlLl>rm;k+P}Yz^BUvJ1{E+NR8Euv_wveUlGzu}c zFrg8$L>NmXTh`v?yyrdV<-LD>&*wb%-sidBg*vvWI<_}4tbhr*zfEAe$iW=1)#P@n zyv!c|t0bo3t>a4cudtE(=r;}b2#C;1#Lm*Li;wLUl9r!6(fc;_1up9ba{t5uUb-~Jxx~*t`pZazaCsQ zxwK)o;e2;l6zJ4-?&>o;t9~t>j6u~u_j&0nT3VV%{N0NWziz8*2O`OsW=Cet*SqM~ zpcGeTi#Ovo2W@o-BPsn%`|ImO{rZMpO!OuzjXL`aV$;z`Q$Su0ntPCIqF?uP#CJvD zUCnp5C0d4{e-qZCjM8Mjv|2PGl(}WIA@J9Fg)3AH0Bt?HZ1`CsQt9mv_8{ND5p>`e zyPdG}i-Xjyw=93>OgDyff`5&NmQ(LV{+*iqOT$>>Yi`@FwyoPY4|%9@ds5gx9#e(B5P$;l_Ru!^$K@h@%F||7>2LTnl7+oE*fqUK^k3#?II~DSMR`+|&9RK$6yy zF!rY}Q|_j8v&;Z;x6JcKX*x1@s2INDql(&Yieu#~cd_#rr`N@c1M_ns5*1Y`9@#Al z=s*m++Gs-YkN`)584ui8Lm7)MI8M%j6VCvJFQqCBI0E=A$1S7nkIAW@F>npr`gmA9 z){yEOcFT<85sJlD#xdE~9;z^=dj+QNb-dW{iuM@q#vzcTen!bXXmnQR6X(^sx$TdX zZOV2>_XkSfcJf{f1xq+eY@Gy>^UF=V0>0u9pd7{uDJ+TF!?3BVHh_74C%=$aECKk_ zU0f+wUyDETfd9W$k?_^O0MmtI5#UZzB4}*#?mFxvoS?#_zE~Gjy#k$wv&!fI8B($S!*5iqc z9%%z&3LAd;P5lgbFQyJnoofplm~QE<#Yd&w=@9GN@QaEi+&5KX&mXURR0qtRJ-02a z0fB6(q#3fy)TWj-_%el^t1{Umo^MBcR~fvY;?F+v%28ZMrYy+pl>FE$)l;9`D#ts@ zlI5)-O=c4pxvA>I^MY}f0=;zhRu=M!HKaeSL|g!pdpvg3{ZIJr55YTFF5AzX?oTgtxeHKU>~X@|IPr^v zjSh7W5>-CpPuHRP#=E2zAK?<4k)T>R8G%^u@Q-#~7)uKHRVwM2xu6P1!Qc!$vQKX` zh7=xP_JT9ZbX7=^b(`OM3m5!_JC*I9=2tC z1c*r|X0e#j{jH2|3#b=b=2>S=!D1c9igkRFNh=v6qZ!0?Q_p@G-DdHOAHt0-Cr@L8 zk7>_0yiU)I)u7#Fs6ZRqh4u!oDb)*qRd-vQ7%edjl%(pn=VZ84B{@mi5QZG4-*AkU zQ|$dYcMWD+r>{|DH?V0jn46b+AFiaznG`nUZl&fGy=zD807vXQn?7kqXiOv-bI7z$ z3xj8jH<3PF@}uBmGpRROwe;ErAL8>`zMkI9Ibm%)G~-5P=;-%nA_f#JSK|5UPR_G~ zu30DKwGTJvDv2|bjtDz>Mo(u=w<3Q5a^lu%T>632FrlN|EPh&#pA(hD1@)v~Y+W&6 zzldZloYSj_16o6vYcDj+AZccst0nZG{?a-vW$l5A&jPZ$LwPenDGRFdQS!M(3%@;G zrLr9xu0&MK>W|u3NfYq5Nrcg15DSk>RQYg4bz;Trr}u@^$^(G`I!(#~H5Q%ki<%&* ziv#DfK_Kx%Xg-<5S%H?1CSoEf!)rKtlx#~7!`@34u2vhx;A#(PM|Y)ntJfS>FUwKfXda?S zGWzcu&wot5hsh4;OTNb>ko-;N6b<$a>b)e(Epeavo3Bk2U0|cxE|}3Ws=AmFJn|b1 z+|M3B-}~J{5xdtQu3&O^Rjc{kbYr1~cD*`(?nTCOcUeR}_p@bV%#eNL33>TrS-5Zi zj1_@y6Kdh!l2}IhMTPIN&d8Oj?X-c;59Ri~giaS)ONrfQRvUu8(9tnZkrufi|V}d?#vm8!S7~-2H4&X}IIS_qj4n4}SM=;JPOw+5fd(zmY+tlrz0T0x*!` z;ns?OaFu-8m}b56_}oPDFWf~9^TQmddr-|RA7N3~WefQ;59C^VttkdG%e)d!R}4wN zB|*lT&7!H(YOd^v<^(~jyfR(F=n>+)e&Sx(iZUhrvuKZoUt5y(-cu3q|dE#`}t}@#`J|xcu_Ii zz-525DpnCkPK#xh78978wjvs7ySpq(SGh~RGG#ZtL?as;Ls{B;YKrYSOqZUB?0UL< z?$Y!>E%BCV_4w<<&#dj&=~F{<8^kz98(Zb3#SfY@x9@zbVCU_^u3$da8#cfSNdysG z+T!5ORhrNn)kH29(hZ;gc)l#Aq4E!J$avKqiI5$4VfV3w(l@6+Pd<2UQsjrA4Qa(Q zDCVxu-wcjRyOhr-L0B%z5&R&->ozvONYh-ev!Lv(V0*;4X8pCRbPI9{2m?`` zVtIeBYX8xE{M#xagV3d_?P(^xW9F$!FcxuKQKgT#jC4$4?o)WmS~ zyaU)HOk4fQ%Dhr+5RLM4yqH7|1QZ1(N2i(*G~lw}f0eAK?2&&zU`Q}Z;{b!ekOvqX zjyT9P|BnudBI~4SvB6>FfHY+QdZ0<;|Cm5%Xdcj^ppg9x1wroDLE#6DLE&KJe?kHO zO$voWQK)?bp)j}xY##%|Ae#Fb6t0Qb9|Q{1gn{?E|9*uNNt&_wND s0z-gN`_Bo5qmT!5NU-LCFGE0(2h5=05I9*f1J8|s9Z^)oT{w5-A9ID*kN^Mx diff --git a/fig/fig_sec_keylen.pdf b/fig/fig_sec_keylen.pdf index f1c99624beb6fd20fed094b587a17d81289f642b..36ea4b446e03fd8613241e0c6f4c407408e71100 100644 GIT binary patch delta 2916 zcmZXSc{J4f8^;@agAv&Y*()^rLT(Ww*G|_ml68hTYn?8yjb_pUy-;q3z0Ni=XUMv-3ihH3Y|9Wh5$g4 zEF0I~6AiE}PR#+GOQ}|GlDvtq5?BfJ{A`8?!#9zmGx6+D_AK{!4b{`&Ns_#pyS1#} zSm=sP@a|-9siJN&#HGy|sd-70tE@E+>cFhQaE8zPa8s&x`Ichf{{7CnCrb%+GrneQz2_o@O$S;B2jtbfq|2P7cR)e6LMV5~f zsEJR#N6#;2z4`F`fwYkBYUc!Hj+Jn8laNYs-1 zgP`GcACkSQ`hcsLhl7`5WwEIEwK3Q|F>rM%L5_6K>o&9a$eBm%j7wzs!3nThv1pbW z1Tyx}_ICOhNP?5%Qe;G}gDz)f@yEUdruk`cdntFm(9l1G%adr11ob+)W_e1HlK5Nk zT57O4ZvYRO06I-0%?Ae&a$bJor;);?6SxH5_YtmXBfoI*doPP*>{G^??kg((k)7&M za3f8XoY0%G(4g(KmFDtfe0QqCz>=8d??R3)#-5KjE&Tfaw0?kGb7YKU&=#E3_ zP8p>h$%17nl01gSy8gP6&H^GrLR!13DauueZcb>CY9l9)t_Bmzibb^AblQNTj+c8H z%5cxk!qr6P?DenRy$-8o96&hd#q;ZR*4*{qR7-Z4&Kq>nr>AGC94isYLEXC8qPg(k zU7EGyH*30e$cA~AdD3`n$IT*jyHwX8Zr}Uq@qs~3iOeN7K~Z_DJ13{s+mAM2@=+0@ zYt=q*!$9BpQ2LFdgtL|LD{O;Z=P!p&ld3*kP~sfy6bm;?Oi#t~Pyq+9=wKVAep6JK z-e{@P8>P^OKlr>qA-5Qb>vwSBZ#jBz!8WM>m4?9hLCu4#@#x-ZY?BP7IcfY5GOtQ~;)`qosmOR=mKx8M@mWO=2 z;r%gX&atvEDL=}D_5^5=(B9kMUpRKKaWC$fH$6n473`74x!Pn9`@65edon^Zz3Z45 z)h)ET;^D;?X)Yszu@Pp!o1FX1!)X_Tiw%`i0YCf$wbUj=m-%)-UgK}$;eoX~PrScI zFW)Vb4>_0bkL)=9!O~{3jBFK1_-*@{puX_7fBrJWKyK@H{&M*|@ajv-FMqatW_KtT zok27tZ%UXbt5a{K&NNZ4+CX}&WguJKPCRggK^9ILfgPr{C0v3uvaem_a!OL@h!}F_ zZter?6n*cO5D6Xju|C4! z>eqicb1t>BdNUSbB6MeX$a1WiuBh*+Lyg7z#Shbp3VEEDWC)U60au@w#ga?Wngjj4 zkKM&C5#2IR_v<~=V3-ayvcKt1p@a@8W|msi!LO>0Zcn@b80YSW*%u_p^N$+N&ip#T zh-#<&IViJz12d8ST&L=Qe~>*zu;h4c*>RgN39RPy>aiOaXxF}b%G#B*$2%&zrb$-L zW$=}G#hq5t<24IQlsKJfxiGJnNT{lDYKwlSZ#IV&xS&ddZ{P7;Oo`VHsG$n`Fh}l+ z;z@;fZdMaT0X$x*qbFoRHP(Xf_QtiC#3DWvwwDkLof}+H3m5CFpJe-r9V-QtM9cD}d;S3XM@%wQ`C+C3ut3(fRqm6@R^{K5N;Q(P+6Uz08AZ zzB=v)LBRo();&Vts~}#W3ehs+RoYm`?NyL~-LcopeKFL@rQd}Uu_qi&kMs}2Ua2e( zJ$D6ABz$Z7d%1C{?8LHv1gK_~^q3MsXJ3Q++Gm}iJ+COyHs`gCB*~PfEp=nktq+Lv zmQB8&r^z9Y1z<9HX$&)rL_?ph`L{`P>)$}xd#9RO*<0+y?j=9%EBve<>dV*~^Q(vk z6@91K`0%_<<#-to%GQ9mzOkG9Fcq>CT>skaqrQ)7K@CJg&2g^Sa5p{vg|%LK8~(X1 z?X7V4xVzJ4zk4lB9%vX}?cM-9dm8G&L|?bSpa7z?&%esg#S09B%R%M-6>vBVR(lcr z-kSpp!yzb&p=Lys9Q5BK=PL*PpMc{K7$i##3CFV3&@dQl4e?{tp*%DSL75EI0^uma zVJZM?4hD*0@!&9ra}ZD%;&2}ng<_cpMZr+$LwQgX0`q?_@bjWjB!*=O6plvWSj-so zVIWW>7IkEP*~uQ8IEN|4afe(^^+D14M!h-k{@3Md6*0wi)0~)fFgd9pUVk{hm91*k z81Q2;e*dtYXqNq4mAhbOekU5vPzX?!y=k;|-~c82Vxa7qYhN7pH6O2!8vwwCP|>iS zut0$IQ`g5J?{PqO*{iB5rK%ri@E+5H_@h|jF?8_2X^2=ic&ZY~1x_I287&mO^ z0XqWl4RD~er5R{5P|41hrn|~J%|y`h5;+>6`l`PgMapt7(0X|D1t)PL5E;jOx9yN# z^%T>1)7r}Y(#i;>6WhX;YaYVKNCDfg-<(RjBb}bQjMUpVd)!*|IVZtf?O=~v{Tc0&ttJYT4ud4t$dBwxaMRHhJw11M9 z4Ph}M9P2*WwmZ&BBkFoUG^>p!G;@CT$b{6L%*u4h9OC`9m>e^{_%!R!+LpCCK1wJU z=$20ZsoYtE#*BXAJ#E`Z=)9B_&0++ZBNXJdvU)+uHCY~Pgq!T&(}J}gIR$c*ut=}G zoI%&64z*nMcK@)X-J<9GIKC#_c&hT4dJ}6E?N`=I_JUd+{3G73IkvH1s_Onm#$$7^-zOaCE5`IQGvhjF{*$ z3_Pc5*~5`EAj?TuXZ;c_ZTXy2lX^P?5B13?<;+5U*S{{L!A=9>) zP6W3M`S>Q`_E=}kaKW3>ueW3(AYT{W3|NNNKFT?-R7&1{Q~<=1zwN7?FQx2^ZO8wX z8@?&bkonRe#2_sZU6|`7Kauh(f-Q`3DaI zS&~iW3#Uw)q^7#6{$N3>w5&P;tl*_d7xI&f;4NCsEwm9g^4viV4~*DSTUAF_kC&Kw zmsCY1Eo;rJ?>RL2;yk)nDT^D}NJ0m~e(HyBO192vH-NF3cfHkXDJkQH^+iM=I$fBb|7d*~QMXji=NR*vPSwG*!r^iJoc*!11}^lY%5L?4y{=Xmg-)31Ybc|GfR&SZ6Mp))bi4lGZDtZ@@;4 z?JZjw6ld!_Hx86DA$#YD`KQ2ja|wSM%J zO+rt%q@q^hWG)=dZ!aj@*l}I=^U`2lm&$!Su!KHqs0C=ix<>A<>KRuK#(E^s4>zl` zdq%q4St;v7CfpUm4H_l27Mzf8+Gy5bHXE)X9(zRranlUkAJ0xN?ggZ@dLe_4K7Xe8(>+reWlQwOqd=WS}kF_;~#v{L3Xg(O|D`;a^VjBA!8!c zyOalZF*9i+79&{Ot&aaOg(v(DO5J~1_m-u>{CosYRd?R9mQVkp+TMe+Q0wmpzN4X) z3cA*pePpbaU!KT*&zgKg?S+f0tfI5V-sKR|J8NXqrP%Hln!>f>r5h?k?atFhkmqQY zd@FSNgR^^O6%XHsHiBMrzEVqsfJKf&G1WTYX;)SZ90yH=_!!y4#GwByv4>*d|83wn z1P02aA>l|S4GqOGYj7;HhQuXK`6z=>i2`I9fH?;PMKF1A=%YCZC=7A54vIoC^@E~d zDEN^)C<=l3zZdxRP$&|^)C3Agqfks{4EiV#C=!c0dKnlBgFXrqhC<+Q|H=cPP#6jg zV=^PLOcbCf430SvheiJ@@b5e%4$V9X80=^r9E(9Afg@%(mKil1`wQ1ES}-&mb#x?u ge--3WGH@)Ci68=s_(djB+4tH>C|F8L%SapiUuRF?ga7~l diff --git a/fig/fig_sec_kpa.pdf b/fig/fig_sec_kpa.pdf index 3c9016913db328b9347d1ef286c6234b68d3a948..25f5b5952d4353d894e8ad7350f3491c085604fb 100644 GIT binary patch delta 3718 zcmZXQXH=7G7KI5N0tk373JL^56_AjGkc8d|9i#}@0*Lfxh$5Pg9*`DVjP#Bu(m{Ha zDo6=Uq*zcXN|g&J>fE_AYt1Zqf4yt3efHVs*-c?wO<}Bx0|5&S+%IcMETXjt2Zb)V z19z3!8z~L+Syeilg@{_a@?R5?mNEq+)cxu{Cs=Cjym69UiirAxv$l^Sx>gTdWWxKla?ETsr@O8V= zkcl68i+BZ9@2$N?5f^oDdzqGS`8~V87Sto7Gzptqe!$c7c(o6wLqJJK5iAZlcS*0+ zTLo(Ob98KG6q}#;;fix6_nvILP#lhGCeaUb3h@(S{?-jiA}12F@}C7+=#<^Ux>KI^KkH=;T~tY^Z1*Ph~Bfqt{A;{ zD{;ymkoX#-eIjM=9`#SW<$E;CdkBx|Rnj(UsZ&Fq<;=Z0x8~j5+hqP6oYZsJ!Xahz z+B4T)ZLWFMb6?;~)opQumS3e_t-b{MZrl|I*q(W4E;R|}f)K^*57iceQLAnktFh%9 z3nc8pFn)nFa_el7e&6NXkE)9OHwZOdwKoH%zW}MCL6hEtMTAQk8H6~yn_IA6!l$X* zE5`5+|Yo)Ws8e+Qo#LtZHD$oJ! zABjHD%3+&6a9Oo-oA7wG#2LsMcuBH!ULX2t7&9uN>|#-?$nc)c2j|46 zQXB%OxY^ry>sZa1Y042jNo(I)M)CbIKO`!BJO-kOR7n%7LRmSSYD0YFSLXAcK5b2z z3JafVukTQ}ry8q1=%~J+7C#!NrWXkVPEvHQqz?+$#+F8?Z+Bm%3@{y)E0w_9wAEf@ zq*sk+)t3v0@H;Y|3V%zJ*;(Kk${o)W5ROieF)h|U^)8rIAw+ z%lVEQt(~q==MjA~H}{n3Q6Gw(P+d3qPQ`ckEL}r9eDq{KbFf6T7T)Vu5`J;x^X-vs zm&scg(xZKT&9<+kM0VO_>|ex2APrX130k->y?0x<<%3buRyedsW1h&>yPc-b>;*mB zWg;Y9hdzHAIl4$CuymPmJp&!&rcBt&{c#<25NFaN^!!Pu*b zD;?FMfvD?tm-K{Fi9@RzAQ>4jah~nKFqIM!F>N*QqLH;GsE<|9My3FG0d@72D&!_K z?P~dcl{fC1O?hIVn(PA;ztG(df5_BAvA9kxW3dVU)i?L_ZPdhHYk6OmOqv1o@ch)U zi>FDqnTC*sj+>?+)F-+5Tc+LBUurkc%w_~<7%JkYWyUMGYwkt}o7ZfGO^fvK&vIm| zXi0SH;^QtK<*5fQ;HR4aWK{=>M&n%~MP!G4X8qYy$=<)%W|-uSveo`0Sr-YZj(Q-! zGrDp+Tqx$@HM8!{z{Qk3IyJKi<>#|J zQ%3dF8%khdvlp|DW=vzW|N9_?5<@z~deU9RQBP;sDce);z7W-ifg{V~O*x38xpb1j z+GwRwg#l+Gpb{!!h?;LO0xjtGb+S@SA2WDVw_&}%b5hKArbQqlFKfCIJ)DUQvd&lS z5&`sr7Mhrb=n9N?W-8p4FpSd6t9^*9bx-RN?Jl9Nw_T`(3-z3f zE2g#Blv`S&!gxiXyX2#srEV=_Xy}?#>sFx=%AMDJ_}y}O!-a@iX9L|6g;jgRP`iim z>=3}_Ixd)s8TZsE2=t8_%lT-J1N!Bqg+iSBg0Ll#TSNR^J{iuJ!TxV4BscnNZo8pm zDi|5$7g8-YPusH!mM&MT(RO#vzcYBGbdjS86Xkv4^m=f#G5HFE*&mb1t%3AIZ}XbN z(BiNm51&=bPTTf$2lw?t$J8^lRT|Oh%>gOoM-vb8RPMoiL+(N7rvZCy0Nj5t){ypu z%@^%Jt+<8teYfpWZ0^bM%`bj{vnm#66FKm`5OxK;5;gzRNi`+%4J#|sD%=JU6$07a z^=+2IaAvr2F{eZbB-_TMH|OgQRc+lqY_;(%N+|9xOhTSaVDHoj7IjyriQm0MN zypQxNz34I<;8Of)XK<Qf^LSDk0<>cv*P&%pE_f4C+`~!nL`2nO4aswDKaL)D>uJW zaQD(Uw47VuQQ7VWn;=46Jj-9D%s4P@uRkzYx@u$}p%XPyNGW}L zk4xv&2vk41ChtfSxG?r7OI$%!7u{?#=4|a?<>Nkk)QZt^3~Q#{;mH$t?fnS$ccypj zOhgtnE>{SA-)G?knbnVA9n(7=4C=1ug|;3Ahlr_)Fx2z*_y0Lj06fC0i&N?vYfl!t0$s!)`aR3A}Br83HFfze2dY<&wWN zNietxr-Lyp_Y(K#pMLIFn+^c_jt-S9%!a*U4{Zg?bFu1Rb8Ob!i|}QY7Y8~Ofq4>3 zJs^iNiY)l>>`H8Dvu$rMP6IkzJ&-%_lh4ZcXQ<4QhNrc(sPfZa_A!#nuYBJ9)Tz*E zmsp~U8E?430K9a3rMK~${sGL_Bk*B~xQYFWH6aLt)-$O6bCw5TBDTzcp-Nu2+G1$p zhf9AH3oL#kUIfWa?t{I=^{$DY+5uTY;`zvQGyroE?sqRATxy@cLRgPK+B}zR^K!5xx1!YL~1Bi5DZK~%kaI)aJH|{&dec9sM<79$k`%?Y0*J|gjL~mZI$*?JW zUG5KVGTu+glAB-0#@=F5obcFtU->HRbT~ocMvaBjC!|s9{RCgRzPSTT8L2M(ik;}~ zpbjR-EA!~oVQyg%qIQit|27L+34=hTQliZO1R4VS_k;LCIRE(|5K1tm;~ElqOhdp` zj%&!{c?cBdH{aijP|E*ksh7xNAXF-eEDa!Gzqt?yB;xp16z2Cd1OkmZ)&vPdpnl7P zp-?dRF%1s?j}Q1C0vHO3{5=q+j7A9Fr;@Ys8_f!YL`KZ(+ds EFJg&_^Z)<= delta 3712 zcmZWrX*d*Y!;OTojKLE|XhfDW^UOZ>ERmEYW1AFXp9y0ZNfSzzku6ISnTVq7lJ zzD+Q)sV=4wFWKL~IcidvJKE8`$iiKJ0%HZeuwd9%8iya4;%f~Y;kgoGIZ9aHPFS4P zj?`*Nt6oauqYWmtYW6lWBKvb<`xa5G-N zTBXbB*XkqcTP?oyxbPuBoZa$>TD@rTZ)r4>-!m`WTaI%s`kSO>!iA;<@Z(7qK7NeH zP6&``1iyHU3+wPx)j=R)`MbLPQh|itJPYT`k?m2aP+D3+y${2&oM*2e>&%)8oy9jt zPb#I+lqEM`)@*M9xg&$lV|hG_wD#`j`nzc$1F2bymlFG>GFom6R`K;SJXI$7!#OHt zBD($)RZbk)DZF1F4@5nD!$rD73E6c;%VB%^W$fT_H7a`JB?9y6iH32WcF|m4_lkKn zY$7%`FK-Ke@tiJc2;1Sx`KK?S0GyHFD$pgH*WKw4<9$TV4Eo{<%iC))^4{I;!&7Cr zsj7>QA&o&QRqX0^UtvOwtivRESPq{calb%j{V&mT@?!K5leS}%>j%d1=_g-hJc`x4 zB?V#k6HAr(S{^=8<3{b!VK;W9EqTYIJF8VIF1g{jtI!xaf$%mG1!7x^rG>^HAQt}sb0U`H zPhu`?Nj!&(MYt`1YIrD8r^Hw)hmo8+6%{BaDv>8_<#7(Fo zg(?FcUM~|RD-}bkj*~NAFrOD2tv!bJFbxi6SRFV_v=!Pm56zI`P3(|$H%nUPM2ot{ zILdJJ|IVvC0gD2jb#M>PJ8;Uq4ZD#G?v09Vx;?Jn-u+eBC0cvA(kq{O^GQ;23*r3R z$#)5sr@K|nxxCL3#%#S6N(TTgjszKgKHt#8eAQ zXcKWSpElK+!RPf>CKB?94?y-}TvG|nwTY#A(qPlV4Igk^OA-~EY0+ML|8FE8L!IZB zsHs7FvLVav9?x478uQ}`V}k&#(-{sZv7Hu1pJlH}Do3~el9iyb7(%Yr8lLK=?b2P4 zodRJvb_lsu!c$}Q$#GuBVim%ynCz6(w5e7cP0`uetj$DD>%wPg(^Ww7tJKuu_HEGS z(HIm(GvZZ99F=?#+FlI)6dRJIDsa;PE64IJF1!B}2XF&Tns*sB$oqUixfY$K7>4)q z-&)X#WYDKA9TD6+ajlR>>_ZAt5H-TXJz3cpVmL)g`P}vIM#8BJ0h(Qc<`5CqYQ8gY z(1`ZA|3bH=((|S>Vfkt24-#d`9&-`H>?PvMwJmBbt>DhjXKB_`b9T^Z4W-PIvMEo+ zW93*Y=qT;pkp#9+hsk{bO9Ag*lVir=4_-PKJQ}1_({5$qG)HNFp_6_10omk%QUIX2 zXatmM;YNy1u6FY`Gzo|mpOWZ$-0((b0wh)xpDgix)cN~K15I+x20z(Rt(xPSy$qB; z)I;qi9-O6D6Q5rb?+fUWEDwcI$T$sBsX3ARpBd9O9((`t;+*0SWL8%(K; zUs16i^aWEIiKUTizpl3@cuUr(9txM1IG|}oubvCIU8T}M8aR=1stY~PLP=BtzIQTM z>%j7Y7N3L|hOiakgZ9RqW*X#=kBgY=RDS$o<}mNAoQgMg^72Rv^4Kg^XX9>z8f`$=XhQKtXD$gHC5p z-%sf?cPNZv<^tzSn92=J%2#pJu&`Dje%LKU#mxM1b?M#Yw=q9Y9MxVAkT^KRW9#s( z#7ENAU@O=-)}e1C$e_|1@IGpK?YhwwlC2)dFXEi!yh;XGm^+b>Q#$Bz#m|;WVsn|I z`-DbLXen@a9StT}=`wW(*`e*!nRf#DIyDT6#vm4V*QGsJ^Xn}(6EvZfbKr=IKs>t@ zXV>u2^!W@s`N^Ws-`LYf!XvC%aVL|`gL0)_I-Z~c?Os#N<%gpgKh^Pt>5uCa7fl=| z=d!TMlh<2@EN9TQK`H|$oQBjY*W;kGydIj*-(%IAzdKT!4;rp3pBi7FDxVtASWO?G zBXp~MW_BWFfmwy~5AQzsw7FuXj5)AdC-YY{wnF@{!m8%)zlp&$-MT#n?U?91G4y%h%&MXScZJ2psx8y( zCQx{l_ww2^vEE@-hLp!U>Z2glJfhC`ySeppx?3etRs7EUCF=-< z%xBWq>g4wf`;U703Q6CdJm=kU@S-`Mneu};_JOfJpbz|6IZ~mZV^ZPSm#FMb+>N`C z%@H6e&we#6&`xB7#%Nqu=Crq48EPW@%J0mcRm!+k0-@xYGpA8>>LIy`3!$>xEkwUT zm`BzvW(-&&w8yGKJ{`(GZ1Z;Yd4eHV2~^5%u-=RO8k#CHfK9G;F(LR=2|bv+=o#^#2WJ85NbZEL`&dvtX}rPN7wH%RHS zu)txZBm>>%G<`Nbj9LKtsHV8rFBW9PdZgmb4&sE zW>{mrjM@Ai#s#oN z!i7;q?Wpoj@k?yb@vEo_XJv0Eh0OLO=RwC6mu)@inr0uhhZ#$C3k%q! zb0f1dnWZ7mS}C?KjV=|2tM(mUw0YRx5Gl#7{<$*Vcyoeh4l>=a-P=LV3O#(}y)CU~ zCD3Y@B-~W2yZr42-;M2QL|RI;xF8Y&hxoc&5kMi(RUd@&Ll5DQ8gNWnOpKX3S{(xa z_dqBRf&aOnPzVHKKZZf?!%!&PehjnU4~0upzoW&4OAETAOvS+WY0&8X-Z;3%KAt*m z-+O2{8v6$ij>RH=_x*pJ;8-N;e|gmZD+&q3f=^?jk?7>)gd zAhB@Ne}|#|&V@oE(SI7EkZ26%zls0y5Lo2CFj#fmJ|0pX`DYOn0;jQWX*3F+CKYD_ Oz~TgsA2+fv7Wfb86Mq;0 diff --git a/fig/fig_sec_real.pdf b/fig/fig_sec_real.pdf index b9daf2fb58950882212b53ce731eb9309483d25a..5e3202375a5da8594fff327a2f690ad1e9dfcc4d 100644 GIT binary patch delta 2865 zcmZvZcQhOP8pmtYs=cmN>lIo%i6kT_HQQ3usM?~GmLf&bR)W|~(5Thcer=^zYb(+Q z5ix4ktWlI)qehM1_r2$yd(P$l{`#HI^ZlOZ`94ou5q(DyeN`MC+Vqjwd!EIRFrrv@ zq|Q?)<_|AKY4Lo4%)1_D1oJ-(hHR2=Ub{ZumOa|eP8HfvZa^6fhYyk`VOrnK0^BHV zEeAB;QJAlj6J@6P4drm^XHhqqw)q&bcA#}~lHPa3i+)e|Gq6QO6}K~x+i?i@l5R;u5H@(LDXWJh*RyB?QUX?g}8$C!ZI2Oq{%vX_<&Z@H3LNIrpp7Gl2+DtLQgR7 zKa@_aZxv!;x)z4Jv3`acBY}-r>)+|xv(8#=n2#PbelPSgGQGlPJjov_EV{IIxUzL0 z{yQO~2DJS}g}8N_Rw%JN#P^KJ{jHPfjH78~Z+t7p3u&c&%QL=W&q(-QcGB@uoKqD4 zpv4kvzl(T2VM_|uH*%Oyt}!EpZ43Db5Q9@f$iijmxV~|tLzB6?4mQ)T#MwC1Daa>8 zv8oKc9&~a&y2qoR*NrD}+{u3A@S9@25sB_e@@M*W3!q0^v`~#mfKrbs1HO7J49M)A z8YwM`kAKGu6-9a*|0*Eac3LO%?<^-Mk9#g+ze^t~^%kb^8c6HuoP;sC%AZU46h)>z z>68(@1F81wT_x5YEEHKrv#Z?zqTTymObcA|WW03udMdzC(AwnrLd~u? z$?TrF$FB~$s^$)RcU-^i9bavD&~Ux7!5o~6O3{h6?u`v*=q`BexhZgzACXJC$;)FA z-}mM4a&h|ATDa8nQn?#~FP(4ct9#{PTXc!%7zBj{=Vp-tsA}^!k5b&I8rD)rg%niO zPc*ysM+%qacm60dcuS0W0m(&CW@%}%K52HD)md!&JE_o?F9b%U+zgi+f_!C%#cHO1$#78_R$)K znGTN$o#wV*?gw;u2!}cXg&Ub8_g9 z4LxvsAqh3+Wv%eM>B$Lyr^f(94gq2$SGt%u^sz=D+s41E`B51Vcd5UMJXb<1-Xx9X zh8xG`%@znFWa3zl6MDZ({AGNR-qIsj$c^8i>X3T?(=O-V>AoN_SfVt7UD5vGIIA5$ zPZ!>6_d5;m--3VOuP%Uk=j3UDM{;%fhw(V8{Ax4p>m?UOi$@ghDFtv3<2kHitOiML zUg3D$a1Q2H?2C!2q7!Ipx*ouRdT+TE%vRAYTd9UZ$8tIvk=t8ub&j$d+;g?K!L zyqGdL_!bitW-h!9uTqys2Vnj+^ zWZ}(m^!+bY@jNk@EV-oe?LnW{&e+EM7LkD0d#n4&?^}yR7QU@l_q~k#fKv+44{2)6 z?r$62e*b&5w!A90PbJAgoKh#q)u5+Yo5vZwNkOJ*l6uF5NMJl8Ewb1CK$2x=Y03KOPu#;E^RWMdW}Ou~0wM z%kxWUTrIYZhY`RvHZvrSeq>)9i0_!eu*)R*!SuTPWu_c;vM;kezD<4kHusIA06AJ_ zwIf1U;R>gfi9Jj(x~OD-Q`gqSEDU87XS>de+Np0G*g(Oi=aTxy8+2m4GQIKerX3az z0Y$e!3o81=BzzW%SHSuh0tb`>>4N;WnA}jM?mIeBmm;x-$KukTm`q^)?83&JfkWI< zopK&{sFYh|p&eA8e2xs64<)-Gv3gKlhUDa}W$U>507BZr<3q7Xc(knixREEz9Cq$9 ztw_K|TKl|O#7{fU;CkCyzU6Xx~}Qt?swr)R>?f8f~#_8$L^cZZ~_= zx-RD|m+@tkNg$||n;LGmlKVD%Ju377rKEvNhd4ek58HFbnt6~G>!sW$Wz{k%7SZv| zyYxGX(|t%Dfe%h;cYJAu?OI7odp2FmpsSBFE>e&7QTDfkMjuYDHZ_;dyS#jGvKykI zg`U`6r^Q5Dz2TM+vUR&imagupS)-qrp=*3aDy<4{)rXCwb~KGO!fmDJ!ez|ahbHnt z0^}yl$ZKG&kEfh)?^my?W0nJ~9quC&F3O0zy|mri`leArtw4L8PY7isQeTl{a#E2I z5T%VPGT6NSyz)=@qxK!*rml@lic2md`qQ96oWUrQL(Q+?^VugCL|oNSaQn-g79!@_ z>-+PVd(yki4f-YzBE=OX1J)Lj^l^xQ%-lx*VG2Gn~H+O-J51%2z1#b z8ZZzLx$j&d#<4p$sVMP9KeJr(;}42nXCH{=ch=Ol1-C42i-ou3VrNB zul7mq72|?@K(jiKZE+pmg+d`essFLhT>DG{;aGAiGYQy=STf|SG3Ecd9x{nFe$s{v(n5638Px7H8+rK|x2owrD z!(ggvrx{cg2tLce|3?Rb5E7FSbWlQXvK$(6#sdVYo?&41vpNXmtPTd$IOPR_RAHy* z0s&#b|71e{Hz)|G0Xp3T1O%Q5pbCOPpl6zZG}KQsAV~c*14GnQ|98P?RaG!VRqb?R yFa!iSodm1~g`VCf2n10(qk}-fXD+4&Q#(C07^QI!Vk1 zQA3m@T4IE;BA6v@qs865cc1&*%YFYk&-eYD_j|tQ?V+*LY3z+8Hee)Fu3h+5bhj6k zi35*EYMam7nw)~DkQ`lRE_bNiZOaI?a1c3+CvYH)yjjVQLrq>LO+N3uD*YbPbycf7 z?hghdaN$XO2nzV*+x0#IQ=*EX4=^@sSO567=Z*fvxBr$P9igCFUMf=0qH2hqoQ~c( zoc7!G>FVG-5XEY%0uuQnfo%kp5y5-4p`ek2OOG%M4~Rc#?uWZGBK;-T}14U~1K7Wq0NC+b^GMHdgs0Rq-ocTUK>nzAI13iiFN!C)9tx zgnf$r&O`RTVK=r~H60C5LO?t^*JXb;=UTRgX6X!+tL|2KTW*tZLo>Da5eEFy!G%vi z89H7tzSK}M0Q7iSi?|DC+cv1LANYOM1v789vNvh3i7wshPWz@L&?W9u#Ri#OZ!Gvx zeB|;|Gf3Zb*0Z#4(i8)AK9GXgSrdyfy!u>YUDt-v{-{o|<5NAE@>kH$v(0pg!HR;G zaC3-J10VBoYvK(8_joKwG$y#bb-@R0SiFrlZagWo3Ml>lIUr7J#)C%#x?Y2u@UI-A2FBgf*(CW+jIEe?`|QjT z)%LX_U9#x5mS%>#eSHDs)2-w-HUq1i__am9_}m^RI)796KCVTdr&?wB^-_vG^`!2}YXjUhCa3+B zn_7$p@HNgx$=Q^-#@xbuNJhWKwO;NTMP$-9!{I(Zgc}lKM5uxpnQaV;->Qil7s$_04yaa_K1_&D03L6U9D& zaKg_79g7dB$xFPWiXWhcky%2$VVN{3y5|o(#rEXUOfMv4V|cfAmbxAcNKq_Q`|S22 zu{f0;e(o6W9O0nvHeu?%MR%N*mnNr|H&#lQV{Hav&ioakpxb`!^Ilxq zS&A_L_8JHy`;@@=tiI4ee*}AfdKd}(%AD^4)7S@cZ$z+N0@-#vN@}~ozxmAZ z=^(^bLi~BozLE{hDqNF4+kQJ9qFH5X*hxEA8@{chTN79j$Lg0BpCzkKr!OPr)J%&4 zq7%}1sSh8i5domeD41{HR8pa>WksdduOO!d4?LljEdM~rCu6*tVceH9KolLwNxb4N zC?E`H4$U|6NPX0O*`(;j?NKj0?ajTcB-_LzeUq#RT)s_o#YCCM#|*-%y@{nF21dpw zA(n(4XkDY7QR*zW(kL-OSnD+Z<1%Z@+Lql@#=o(T+)J1s7b}haTbuV&lRmxrE#;=FI1(G!9a1 z@KUEg&auCDxnJ~5^>lD^VDrL)RdEb>bls_M1#TE|S8ja&Tc~S9_;lbr>(S$yC6C)O z-xs4$1~b4XIaYd_Ly?ezq?5PYuu{|T!*%_O47RR&>}5l8W!e*&t#w=KZ7dMgEE3Ek zmfR9vZOIk(I)+JG^-UTlz^R>69(!C&(QUrKK+XH_re_e)n&CAwGgmgvIqGV4w@KgY z4nQJ_f-C9IE59J}v;TuJS!i6?zPJW=zDF4+9+)&CnM`xPY1}PzugR<6BAYl}r7Q_m z%CF@0ry3NKunJ6Z*aLy++Jx~|<68zPrM}3A70`wmw}^Aj<$BlGr^RR6oS72kym#6O ziZ3%g)1EC9$s3mSZJK7$J(+MD*}9t{)y)YD+s~hIq>_eAzn6x%8d@%DY9QXsHZ#W7 zfo*qlPu-ZWLHHZL?yzJ9jr3%}3N@0+c^ZvGBf~qb9(*qoEu$L18#I7@mQnR0J8%jU zFi)9HbZ;l$eOpGI6^Z_K#cjnS&A;4#eCu9~YS(Y%l=!-yfe6Y8xlG6uN0zVQq4$6c zW7^XdcPF&%G9OX>e#tAi^*w6Tf`5!8;N$A3_wu@SnfCl}eN5An$6ADC_Ewf(NL@**D@ngtb$KEEoE&_2F@6HO)UEGGu}JYzS}!d=sfB#cWpNPDKy=+QE+dQ7oNt6f$Ko?7ILfsBpCYF0SAJ4|5YGRXcYFChJnJ4 zYG^17dR#;N9}WdS!u@H4M*UmMtIbtpL*$L+LV%+b0u6&2<&kVg*?t-VCW;g za5xlmbYeIR1N}QK@ShdHVLI@mCU6++STracgF+lLf$RJo?Z4iGV~=VG6cYNss|TP^ z1PY2gYK%a^QAd*?kZAPLJ;UKB^-yYbX^+GHDyrdE0iD_lj-krO(f9OM1r!Ye219$2?%%IbY-tY3iyt_yF33J)0 zZ@7<}6{(nWz+Ox~Bgrq~zx^9@-pNQ{CE(SAxMp@H{vq=n+i|sO9-S#vh(80Qa&sOItZoCNU$!{41|aFZ6WHP(a3X`?yWWY z4pYnkY6wf+gxFQj#>MZ~qHT|s#wT5Gbs<61@v{=m##p5#|Geutkh@ATWLkg6%9J3u zCHZ}Xiz#;Z&E9y#ZnT>90sCDU1ph>tNABGDRto7JKlD$EUP*FI`_ZM*%7*0&xYAy zPnuOvSz;B*_KNrE)@F(REt@i>=>@ZA`%4emvb|dh-0xK8d(s1I{yZI?v~y0YCy!a7 zMFfTUf_~sk{3TQQ;@O|u*kmq?^~HCO$T_5IU!6ly9eyrZ!+z_{hOgzw;5oF$ho7tS z!sAM*iMNtaGA*Bhq$^siE+>z)(2NnZD`xEh*5%7-4x=v17kkCp8gbJz5t|P&^vj0X zconNo%(W6A=OdkOGKdt*>-=m4{kun%!v}ddz85$S?~ReejB$B1bCB&t__H{K6gO-!yPGz-N-dk>iTaDrH$C=^S%U@5PL zeYQFwqzAcYg&&S%=QKph_z0%-)=wy@=99m#TDm>m->sFQTmZ=HyHECw1htw~dCB=! z%xd>3)TMYzUeI=F4byD$_R0ojlb7-WoW!M;B%JEu=pplg zR_^-85OAiOuQlTBZw!v_I#O$zCe~nGc2paAhqb;M$Eef0>ZenXXke7Gy@|!H<%)@< zX!_^eIIJ-JDl&rxJ~FUc+T8ruWGleut&qmk{=q&N-AuO6HQ&=aksCi+skf@`8RKTC zrSNi6U8z1c9dX5BIRA&lJ?TjSmd}PAeCGq=RV=FtrL8vP)r3TrbD9mD5yzjACxz@BGu0rYWhN~a*5!USII2P#e0(fbWy=w%IZox^T zmtk*D5wRO9T^g;U4C$8eouAkV2h_-z(P>u9glMIw-(Lp-9@s`r9k8F z?k^~gVwP1p_{M4wcz-S#Ztl-K#m3rmdmI?0i@#7AY;O~4Za9^rh0wqvj&czeLA>ic zqw;Ex>M;q21T-4OcM%-D(+xTqg)XQ5w_knf}z6OHPX8 zgdk=^fn;6b#w8)2F8{B{&*|e}`0XCgXTv6X1CU*162wePPzo=eIefw7F>ogEJu-;> zhd%Y2C%3`}f{B?&V=s1iz^3yi(M7K78--ZQ!>zG{dBuX_p{GItQJd#HwA&}2M>|iD z7VvO=;*C)w`*gnsu#?5xv%CZAz)$o_hi$jVc}r|Tf!!co?>B=s&eOfAj>|E|CZ!-* ztNX+uwl|?<3kBO}^2Lwq^x^fn0=`$-@iQ!gDO%Eib53uN6WB*bjU7LNh$?h!gS}%F zZ&(R~)e`|VJty4k+=oN)v?yx#;83H}#U{}g{rQUctT>U)P{JK)oK3;Rk=IxPieEAp zt$MY}ye@JZ`C2%JavDF`rEPFMRPW8TonD+zrg7s^oDg3oBg>{VKE6>zTScPnP1)ff z7uZbZjM-Wtwpf0s+{*a{)z`?nbr%QqAoZmwb)-OvUM#O$*O9Nc7DSRBzp8$GsD8Um zne+3=&SIxCOX73e_6hr<$Y78M{X)9m-AiLXt(z2S^JSBleh$o?r|9fi0duG$97%wV z2w{z_(5F0?nk6dTdd9e1KvD4@=S$e!`AJD^aQ{&q>=&G2u)S4;_9&{7knhGtBk;t& z2sea8nfy}6n26uhFV2)}73chfRG$gN_Frbn3uC~_Eu<*}(Dvs^^}Bh3D|^#46Ef*k zHT7mkviuRr3%%u0Q$nswcvgUTrEQrb;mb6hwVd~5>K;PatS$={V`kJjv z3<0GUhD6r1CADz)?2NJV4a!Yb(Nx6MR0q#+`f_FT!cJ$R`rlYD{wP``gqu_IN>ara z2%|ugAy!5W7$(+Ci?yMYEGrinmt}TZBC(HN>hbk0TtkvV9g!s7F`^)z9FzULzX;NB zcbf5J3se52J5$x3btmQVbY7pn`dpuTLfRJ30U3giZIfq@tlgr|_hZ5lyhQD3xquXm znQ(i=EmK(6H>Q_G2`dyfCui-AxHTtz2KnIZ*QX?np~R)K8H|9YD{8v~;2Xz*_0`Gl z-EkH2jUN;d-EzIyHKv;sLQA0NOPvg6oJJ1T5qD3Jd>!WF0a+Wm@if|qiG1(^Rd3DX zOXo-@!E0ciDJut60Xulrf!1vs#VdS{9NFluR()7-<3qshKX_Ttw9ROBj9K~1m*iLXYe6&giNrTE7G{=Z zsX_{LxO4&1IN%3;P<^cj`0JLt(68Cf#s|BR8g6bk=W_s=fAwewW(Z=#yE0C;MWpRw z3@2EY@`%EF*>}eU+{O%Op&sO#C9}en0YaI`+hN?js`epWwbVIE&hP~YF^p=`uatfk zs;I6*>ULa^c!BKucq99uQGks|>^IMcFAFS$ckZJC{ew55N8=?+0W2;G{6fsU6h%S*8PPkU?EhWBD#}ps zaSg6?OoM|U$2IUj+$kxOghSPslt_-DSFr!^1Bd_J2M&fF^MNZtj&p&OkMYBxD#!d_ x|6{%R|DrGu?C&t3KkbhNtAJt3e+PttA;&`CP^cp5<~;*85WA$LuDKrjzX7xE6J7uS delta 2810 zcmZvXcRbXOAICeX%rnX;r>|XPT<3`C`FGc5sl!kOO=CPsJbE6CaceN)|Be*i6um3`S@KS$& zy5=2QOyIKRKC6c2VnY5cG=FDt*80{i_ufwK70t%)Y@7VQqA6|MUJ=JWnCi-SCcWh$+X8K_$i$`m{0ZLF!-Qli*Gt;) zFhoie7FBHD{h{tQRwNuQHknS*xu#CJdScPI0=ww`SjpWc$rAh%yz z>e`s!l-U8xqoXB)+G}#c_2M)^c%8;+JTGaZd|ZZyuK*n_HRL{y!N8;U%;=(uL7d-r z(%D}(`d{k;#GwJsqGOuy=p{2c82*9F<~hqRm0AZ6VaF)9(EpJ6D6Y|Q` zAD)zy4VQFsctJFNtLWo~n`b_=i!c-R?v?2t%N-Nt^y{)lY{XEarp-L3vk23E??jG= zClonGge2&;V=H5I1QI^cl&t-FTj>j*RQC8Ixjg|ZQ_9EG^a80~2*^y4zb;9)@yv7P zZE)Ov4$}{j9jJ5#R~$CevvW^nvHJ5 zH(jI*WhImOVEgx6p%OotIDGR9xI*LY&B6PiCwZDxKmFk1_Ixy3ywQU6v1u16nWk@g z?(V?ESEn<+fprR>d#1^$)JDz?x^uIEr^F-vID?%FY014h)G&ELGPqk#gR|SVpJNvL zMch-a9n*{yrp}kU+va69WyO1X)|7~rGiB5QZ%Du3HhM(2B3@B$jV63}_PI1N1xkO> zkx(Y=kDPFQvfd%5BSQQ2B#~l-#T|Nc_9~F>sI8hg?&aj4SRG!$X+o&5Kx)x?d_{6D zQcjqy$~q*3%z^dYUq;>NXwCF@UPVAJzj4?c6P{&Qn`l227U_1aN*^kE?Pg>0W8f$o z=9tw3%)GS*?v4(ld944m^Xs{Kj9J0apBt=t@!tDaEbg&J!sa*Msa)c%rPgwPDCYwd zwryRSw_I}tXty%sn@yK=y5a7(}=8KAF=J3VA{}<0{0)r_u!s^3Rz_%}`Vei6^9ww92`>%kwnOHFt%LCz(j` zwwo!A-b1xnu1BL6C$Ed**XG%71@n*Gid=A1nOqNuw&Q%;C7#ig`=sN>GgFa;tFu5^OgO(*OU z+uJ4bYMzr+N!chnFkF!mJ@LIJg0tSajGWPqEJ=A0SJ76K^1_R47`{6gX~-VK}4{0eIVAlNK|Jdxg?5tEAh z?%MP1dehO4@&lM5nd@pP>r;4-Yb}zOdhs4Z_7<&>2D@8$jngfkR0hNByN3-CTzhw@ zEIUH)MP71u6qD2y7d+SzGxb6KaaB40Dd{6Q!`>o16uFwOxi(2=Sa0nrqOZOEwl+uj zv}IjVLvB2ew?Pw-tCnCc?B<=qjB9fu>u2s+)s{`OJ?xWp05PXj6+&5YC5!flkEQe{SerIP}~$30yu)4WTZfW%VA- zpA-0+%CT=dntobyW6%<+yQQ`KB`h3h3j`=FsY-}3@NeT^4p(yvtb2X0z8`HHe8_Bc z4vlw*$rn|B(^2gY=-o9;TlFkZkbZ6O3dS(ZxAi%dow5JMXO*>xD{km{`F?mh)kA&D z#3n)N?rZ#0yx;M@8RS6WT=vf@|E@s>>#5(B9}!*|y7noIA9|`5L8r#k0%P1FnZ`N4zDBb!wk1L=ClX7DWuCebSVg6{ zu7-EQZ3rnla$#vM_2srceJ}0%E-G~IT?b(u2|bHVNgg1Yttub}8G+PwHRvbp7G)K* zjJU69ZfNOtbK&kgdHX!X*?W-IxK4o7%DK3$U5}t(XegZI>SK&km4N=cB<@Ra{ilJc zA&~Hc42?X%&``ud2KzsAa1;sRs{uliEPc-a2X@d<==r~M&@kkI95h_@pcfQzz#oM~ zAIL-f*VXoakD{Qczh$8R{{C+nH5dx@H$%bT2aceTNLA8pzsnpjE?HS!6Fshf0p(36 A$p8QV diff --git a/fig/fig_sec_snr.pdf b/fig/fig_sec_snr.pdf index fc6b341483376cd5a166d4a2bdad0c3696731cbe..3e9b465fc4771e0e5d6675b049ae2accc97aa231 100644 GIT binary patch delta 3106 zcmZvYX*ksH9*2)XLKI`kK9 zKG}C!vL!8lTV`zObk2EkuETj=J=f>DKhN{MzbUmKYAvWDmIb&8dx!R46Ghws#|KKY#rf@AM=CyRnx7EVaw;h z_8Ma|-evSFQ?0mk-*4Ba>Z{8Bv_k&$+zO@YtH}Pe@sUd_(7X~Pd8+%3huj`|;|-8e zv{GCuPX*Y3rSXM)M(gP%|A4(Jm4-CzxtV9Z=%5_sJDG2^EQ42uA#Kp&NNJ}vQqR}- z?wi7!l!g$U#*#&Xdy*$mTE-ZAl4$!&Fe_Mn)&*XpN2zMhY%{+V&@k2UleB|>-L6zF z@uR!Ztj!RsAj_eLEtPoe-*ES@bA*+(OZk$z_FbBQM1rrP0-|BeRl>YThZamVTx_H!}Bx@(%s0Obo z-OxqutRnW{icWg6trr`dC}OQ}yspqV%?&kOhu*yad$$jrJea83wJbn= zs}%W(S5;kF7&(j+HsUH;fJRw4YpN6A-0|7okA? zx>yzG*))QcYxDSO>V-6kGjyfMigD%qGTnemwChvl1@T=m#QiYXd$#zr_&w3PTs09( zB6zNA$B-Qp&z#F&b8=Qzd9*nHw!E97gt@+WSs>u0gkWP(*|o=S4iGv z;SB20IWC@-f*huFoRcQ%#4JmXK}HDxw!FYk`#Hz+)Kfmd6{2&t-zkgTC;Ett&B?{9 zPm6R@Ps(zg71j6{Cz0CXXgZZga9HN$(X*Q1s9XgdD=0G$_j*lzmMrI7s;DX3JxUAz z@`66jLHquPkrOnM`!Puij}74k2o6bq`l)@QtwSL!Z^GsJMeob;iSfI0djJJcPwv#@ z2Sb8lC0{l=@&mzt%T}ZqYT#bvTbo&W6p$388z}|lV;A%_Vxfj}_wSt zKZ$jIy;|g^Cfdx@5MBpF+dn@It-{K$wr6)e8&*I`$23=~<*}J}R=%_UJ-M33m&iU( z+4Q`*b^l3^Z;s4nJh&G`Mty$6^ap7O!_FB2A|9k~eoMHH~)4O9BMb~m)Gzf!BTyrsNvbd!USqkAE(HKt0!YLYfX!=w1H&5f@2c0`cO zJ{;91(tP4lg#i%9`BXn6&qL#OTE_Onh9315H>PK0iQm_N!#bdfh9>*2t2W=| z6Crxz=nws;gO^F)WBC{euhsgpFdg~ig5Gz0iUnr*0CBTE7R7hJI=;8HuyEnF=e1$0 zmzG&wf5Tt32X>&ly%?tU(;sdUZ8Aqf_csvr~3=r_g+13(^M4II?5j?We8* zIc_#cEwriP60^wVTRYTR@TJd*g4Ato*$O4vIeI89u z7g`R%hiOLX>(UCOl|}ExKD4i-y2Zxd)!}y98X0(d`KsfjIYElSmKfx#!T6jT)%Zn- z0QI=~W2GSfZHlxE#8F4ZtvHCKsWlV$TcB6gYL;9)s?XZvb7fA53k*2B&-*R$lbR;q$pg(TQyW+mGH_7VKM1LLo_3 z0qK{YpGbAZ!Ums-I4#b8ECMMkM+G zxcsa-o4z%fg7A6$qr)a{^=vritHrP;iR>+tk0KjJyM;DqFB%bDMh7TMz3t$hrJ#fl zH^ip3eNEG^28s^&W%k$FbsnKT8T6vb`FS1X47WGFQ*9y+s zNMD71sy+u3DuXqiv6;2!2N&_jC`@$6Wb`(GYC}VN=y7r?Be^BX0x^36eeVbBygzB4 zH^Do^YiG@hb3=M2Xx36XeNR!91(%0!o3%1d2dP2Zv8t8Kewgb26k_AApZ zv$DhqGRNM$tY0z~>n#33HIoC_8U0ZzwR61b$;Y3$WL1 z_e!ThtJiT#tU94FtP9t{k!d}a4ks&A)%O1yjZjVI;Ck>n!j^tKdUpx!zf$jM&bid_ zxwMDi80ebd!I>i&C4{qHvhed2y)sdE&kHU~lX|qeHn&fu)q6aKp+0T{y_zFi4OfYG zayzoJy4MyK@=Z*%HfAHg;oP(o4K_&w)>8Z$E33(Xni|kBe?_dFb)C*z#mRE0HwnAX`_Qw*l|437^4kq2ei( zh@XQ{Hm2Zsx5I6s0~7LFWWV;&vgORv$bBv+FGpWLl9RnB7sZL2AB03y2Xn&`*s*XN z5=AM`Fm}Pg;1Jlq4#W$>_3sN3gT|;I$}n*3!3+ySU=C-f|HGki6#GmK5E@3w$%Fz( z+@Tg6i8_=aafdl|^kEKzL>}lOP%!m_1_&e?_a6@UuPOqGgB?^rAYqt;3NQo?3p?}) z;&6sU9M;F65dX7c;Lnzk7?}DYI}8GI&;*G_9~uUMQb!-+Flf|4V+by zrFb4o4T;H^c!A}Nc z50dA2??5UKaEs#VC!z4=8S_+g8+6>_PH+fv`my^lv%UGo-Y`@!(X6)LQ=Erjaiax* zAB63ZwA*C}?^YgVb=I{@B?o+b%;~cyk{fby)@@voO)|4HXZK1~aMN_}ipOneTj#kt zsbyEZva^B&C0$ak5_f-C(;izP9eZorHr2AIdh`<@k-33# z$Y6Srxl5>iDQM#~PKqfRd_de7*!}X&3)l|c?)p-Af8}iL>jwQ-w|TUlXqezqWcoHU z>R2tpQz=T zf35L)g_TFfQ1zd9&Ejkpqs?6xNz3#^C;{gz2K%CR{q(wf?CQx)Fzfeb@w$6GVuqZ# zJY#*6m2TEE(a}~{PnzzobIad+mOE6e?B#h;L1Xpm7Dgb?=4w{rBG$voC@2Bum3G2E zLX&7cj+XAG^DL45jx#|iV`MIHJTMX(jAxr6|AtnU)qP-H`=S(f(UiGT4{>n3?Ae4q z*D*3rMwh$QbYwhn@#IbYD!B_P?m{E!g5S8OGcV!I|m%*VK#BqY#pycBuUdLwi$ zY4cS$>-ZHD1JAtLl8(@Gae|+>bOqQDl$mU`;EIoSH)6HFSVkqZfX%{q=# zsb2v{Rq9@Z%KjOkn?CUSYlxN>5OmqSGxQvOFZ+ty+t^KOR-3i!Wou`~uViB53bmN1 z%JP!?#DMiFf~Z-kKQJ_FsX^^T1#FQ-OzfX-rSfVi#+8$f>GY4C1qm}}R|KN+8CV0x z`ehpViq@Q=<%AgKIQ?S!(^Px4nyWIULhv?wQIi|)5<`MN?W$>7yl?P(BjfmBhwJ>A zlFh=|s@+7|K)bU87?cHJ2>xXKA*1~8vJ2c)C_$>d-QMyv@UVeET^+tXU_9ZXyeypL z8~?%=t1tJXm)+RcBo5{+ZlNJI-WRQ|3_b}J><|tA40aJZ*#!34%CON4(MnZb5N#X( zv5-%Ho!{TIU^rX+ptU_G;clbDHRY^CQA<_Ej&11P-iMgDKEp8mJt6lbc(fvwXIa6J zCgRK~O?OoT1azOM2nydaj=UXBooL+0E@w}wr8zw+`xzkicY2?bX^iC5Ux}-FW8ZxW z^;k&CC-OB5^#bIdFnT@*u1JddeVbnBc;}ZhG(St$W!eYm1)|MsBKK_(8c-=A9s(xMgZPq3yc9J$~JB z*)_O{+vY`OVl|bV8N%kM)9)V^?gQw1&>i_i*4dbLb)inn-XPJTEWw0NO*vhx+hPyVjG^)}Ih&&^2C2Ob}f z=mzlu9`kxD%I`O7l+N{QeEOJUU~LU?&%ohymy?qcK$A{bQIS&$OECZAP-d>`g>#$= zH=S`f{aWrsv1A8(Yhirvl-qsIU3+;(gh$hipvLDx=b7AVf@_u65INO1YTC0>Kt^=0 zAYq@U0&VJtwaBgLEagy=ad3OI9kdN^Trc=Fzd%Qcp~c`Q;&_` zldv<93g@FASxn>zjyB4IS!1Echcpqa!Bta{`T;sK19Xv39O{t~A^W>`F8Wqurg;n6 z+1v@wmyXz8mcXKwfpIyS1sMG1BPt=L%M!lKRc0=YKG zidPku?J-=(#qc&sf*x$2+EB)Ckj|e*Qm1rxS<`t*xYXB1m+_ z>H|=~>D5~@ZFK+G_N}B2nv{hR#f-zOT;=;IvXnoN-W`YKw@D5KUYw8ZSP#9F2ipXL6mg73%BV(}`WWzB&D_cT1C z6vNqd6W?}aU|WfSgZ#_RM*#`qM zOcTE@A!xPE0uC;Q*h@B__6PSZ^a3X^PVRN(uQzllJL{&g__U*($6q=~{a^K6+9!$NQtq2NLq9x+ zmSfw!UaxPOp6RT6&ℜYItmGyen3IDy$Nm!&Ybhgb}6memSILCs})>NP*Azt59-y zAWh@JdY7OT51t;M7&v4{G{cr9Nbst%V<>h9ywCW~_%uy^u5L6)yK5ISTPN3y_wqFJ zl9~fxrUdR^Y~_iO4w*N&BtcNrb21ks`2-4vhQKphv(4NzG>|fof0c}n4ClWea1;^= zIl@p7_+h32fx?b5`2WeNBQpJRG(iaU%*q@^0ERfy1%;xIFu2CioI2uY4h7XX)C)sE z5Qhz5a3tzKIpDvlFt`T#umTJYK^|6sz|ctbBST