From 916693e5ebab281113eb9bbc06af5d2e1c076c75 Mon Sep 17 00:00:00 2001 From: KiHoLee Date: Mon, 17 Aug 2026 15:42:11 +0900 Subject: [PATCH] Fig 5 legend lower right, genie in caption; shorten hybrid label --- code/replot_all.py | 20 +++++++++----------- fig/fig_bertvit_merged.pdf | Bin 23211 -> 22996 bytes fig/fig_beta_sweep_corrected.pdf | Bin 28420 -> 28420 bytes fig/fig_floor.pdf | Bin 44484 -> 44484 bytes fig/fig_multiuser_corrected.pdf | Bin 28944 -> 28944 bytes fig/fig_rate_corrected.pdf | Bin 23532 -> 23532 bytes fig/fig_retrieval.pdf | Bin 27626 -> 26464 bytes fig/fig_sic.pdf | Bin 23006 -> 23006 bytes 8 files changed, 9 insertions(+), 11 deletions(-) diff --git a/code/replot_all.py b/code/replot_all.py index ad624db..92ab530 100644 --- a/code/replot_all.py +++ b/code/replot_all.py @@ -36,7 +36,7 @@ LBL = { "todma": "ToDMA-adapted", "mac": "MAC sum capacity", "coop": "Full-cooperation bound", - "hybrid": "EDMA + refinement stage", + "hybrid": "EDMA + refinement", } @@ -190,20 +190,18 @@ def fig_retrieval(): ax.plot(snr, col(rows, "todma"), "d-.", color="C4", label=LBL["todma"]) ax.plot(snr, col(rows, "oma"), "v:", color="C1", label=LBL["oma"]) + # genie curve overlaps EDMA here; named in the caption, not the legend ax.plot(snr, col(rows, "genie"), "-", color="gray", lw=1.0, - label=LBL["genie"]) - ax.axhline(1.0 / 16, color="gray", ls=":", lw=0.8) - ax.annotate("chance $1/16$", xy=(10.5, 1.0 / 16 + 0.015), fontsize=7, + label="_nolegend_") + ax.axhline(1.0 / 16, xmax=0.48, color="gray", ls=":", lw=0.8) + ax.annotate("chance $1/16$", xy=(1.2, 1.0 / 16 + 0.015), fontsize=7, color="gray") ax.set_xlabel("SNR $\\rho$ [dB]") ax.set_ylabel("Top-1 retrieval accuracy") - ax.set_xlim(snr[0], snr[-1]); ax.set_ylim(0, 1.42) - ax.set_yticks([0.0, 0.2, 0.4, 0.6, 0.8, 1.0]) - hs, ls = ax.get_legend_handles_labels() - order = [1, 4, 0, 2, 3] # long labels share column one - ax.legend([hs[i] for i in order], [ls[i] for i in order], - loc="upper center", ncol=2, columnspacing=0.7, - handlelength=1.3, handletextpad=0.5) + ax.set_xlim(snr[0], snr[-1]); ax.set_ylim(0, 1.0) + ax.legend(loc="lower right", borderaxespad=0.3, + handlelength=1.4, handletextpad=0.5, + labelspacing=0.35) save(fig, "fig_retrieval") diff --git a/fig/fig_bertvit_merged.pdf b/fig/fig_bertvit_merged.pdf index bedc3f0723437c37ef38651ac3f20061d179a35b..7e1990d3395976c67f70df812f6b3b789826b90a 100644 GIT binary patch delta 13423 zcmZX4Wl$b#lQ!;72rfx*=fOR=ySuvucLtZ>Jh;0{aEIV-!5xA-!JRMfx4X5q=iI+~ zu4=pb?wabE>WW6lxq8SSQILS1gRX?r-t{ZatK=ue+OCQxCEZnF6s`aUNKcHLA9)@6 zgo(s583>Q}LhEU~vwdl;pT&mOIO~e-UGI;0^hnn=3|=1u1vg(F`o>P~QZ#1g-?}qm zu^SC2tp(X_yV-1W2pUtOR}`>0Y%i$H!)%xAn}K-u!!>)VwfDz+t0!R9P($) zc}U7`B|h3=Mx(+ab|auLdx6bvJ5{Ts5>PE<8;#Wu)weS7eDrkda*Nt%Tl3CwF?ixW zo8jgeFtxIJ_q2L+vN(Hx?Q;_gVcC0!@89e1*&T6#+XD^xoz;8+0tpVio$2eHCw z3!!=w4j%>?k4dNo#4)0kpMuY!mUm2US|;q#tmg-*Gn*Khb!mVEDJ_$=pDq^@Uh_C5 z-&`Ri9h>^8WvOa6uk?{yq$4z)8{rSX(hfjiaDqU-)6*eI@?BfdB79L%23qw+dG0hq zafdhl`L%4Ae;t}#z{V1loigCEgUY(@*rppjBS3%@ttoA6@G}QY`qcE|h52>oxPg9$ z*Mj~#h&wLBF&vOC5~e*i2FH5swbP&gW#o}$hi$)99sjVB#z;p51&`+Euw=b!Mk|i zs2Zed>`fkX)4s%DQcji8{i7UpfdTQqoDwFY#B+;Xlqig^I8|k;T2$Eov zb5uJ=qBGr`Ar?$w$>%SQi6vk?7!n`{Pe%IN5HvOJOkZ4KRvzqd&*ZHqQ3OgR4GE#` zX+*#Wc;OTHqiy*+W@mH{Dmrkf+gj{a{j^7X1K~_-a!6w6bS*J#ZXvH6yC1h+2 z3DjwqNeSJ4Geg%1WiNhQ^4Xop~d|v&mvMi^hj9ySMhweSPo*o{Fe>)=|vl*^I_et`BvDYpm>XIn~)qflC6p zBT1#6{>w%Eo!irA>+#9avsGYOtL%^^Njj$>dQ8{LQ6vA`>YULLk@cKk%NW=SzX96W zsYdlD=C3-M1;>^8$#pvor3zG0+6DWPQ^TV@`{boasMX1Iw;$7q)JkgUg%cm@?)#s< zSy6He6{byrP`~bdMEK39KQ#MGKq|N#r%cocV}?hFit>~~`w5MDYcvf=YGbCgoDwg@ zNEg5T6Z2k4wolw#Leu21%D?@rc+gh@eP$)+?M*bUcf`x}#keWs{_L37*5I{Cz<}#q+g<)|&mE3;`Py-V~qdnoxopy%DazCyNw^6qp&L`6lm( z;I=Mug6!?+WgYRm-*J~amS`*|jWL{y?FgBjTkTsF(J+BU(rT10t z#(%OWZjO%r{3sLYFjxvYt6juc{QO8ZSg~X`^cFd%b%p8BS;2M)u&Aw5G8_77!M
#Z6vJJGyfWIb$CkDGsUj})^R*`fr1Y5mi2Xt1hyGTHx{Az2 zP&lJr2(EOFGE!*~zBaLzMWa{NSaKGs1{^t*dM^sw5uG(k-gc)=VNEHb<$dL@#r6$8 zyZG6svaVwBxOFies`JU}S>y?36sprNZw9?b{5hKq!RPhx;|Y(k&351c?cbE?H`1=n z;7oWCl*lEO^=F^`hwNjeFz^XHAwYWf0dR)8vN{{X-p=5(l-R|ReGJC_WJx7`HtH)! z=dH|Bbm++tm^~O1JbcjD!iUv)Zzxz(v~@IxY6CxM4U16!Iplhjz&ixu_;*XwAX;c< zCuKLtSlB%urMl48O#gdwV#23`Mp|JPSJQbM21wTn<9^|wg#yd2G9|*GY2YpbW+MBC zYm=q(r}{E2X9^qzjB_E8%Vf0OGUp5r#0>;(!-u%9)51G?RfoKnv zUzf&^(I3_*hHvAhK3Q3N3u}B)ESi-()DIfdB|nAYbo*LJ;uIH7h>@p~g+E(ig<6F^ z#8!NLJS%m+|51Z--APowUKs#|6E8L(aCxT&*H&A(ihnjMz|qlVN3zhHs9M631Q|1> z=PcGaC0etS-(G8@jeH7hJUM8@s*|=&(4*#S6^9Z9Z++8Isi4+tl`OiVvv#e`n6%|r zZzzvQsy?^f0g)zoPD$l55L2WrNSi6;5DJNu(a-ntQzt>w42D<0RRaW$nskforoM>gt~o8IPoEslCmJvF{N+G^Rx*j zuOrJkU);*OvXAvVr2tmj2GxT)5Ke0TP9}t;wV$Yn;qF?4jXeF%_C3En?uE% zc=3~`&MEfXouQp=yzk%L;5cVLFHhaNF|Afv*R~sU5^uY!D4^GrsDzyRJ~P7CI<-A= zY3=c5z*Rb{@;~_1p?OfZXRZCb7=6pp5qS2T?pYgm^;2uWg+oWXJmX{F_1WWb~hcOa}~va^p$bP=hW7wz2y}4MB6b|9E3Yje2-$@<+B)zf>Q;{ zfzx8+zMCfA8aCP37_)Y}bO)bFha@cOdCvX=_Y=(3Tfm1=qO~37cA|nD2GgX6B=PL( zw}E*PiR!XuNQ;UzsX2v)h|s}}RTp&{6JB*!yjfckGqyO_zLFztM-cC{rMio?0Kuv{Vd&_($uxD1GDCU0P^%3C*}> zu{`zbV&1R8S!tSrHof^7LARL+=$|G4(b(G^@Uw2Ssd@-1ORZ}3&FuZIuJa_iPO!tW z$;@y?!JM0K`3{;X?3B8_hKeOX#rI1NBJkeT`mDD`et~;ANKl;xo$(* zop6a74&EZ$8RC=M-fsKqT`3AyB0AAGGv_3O8XT^ol*6T807&o50VYD$B$p_HzxKoS=`liGL8N0DLYrbs3b#mp#$`f4!260KNmD3Y zTZ9zwSu8#htJZ_2G0?Kgj-ggMC-v$^%F|ZXd~<5tzGbPz_r&1Bn-c77zRzg^+>fO} zL;VzoAjzJg_#)90696#+iNWc0Ran+0XMh7$2$Sm&o9*?E0Cad1AR1!%|3>U9iI$R1 zZG|_yhcX>4Ec1LD?Ow2j4K|0EJzz*z5m6X}2(E#=dg$1b;g1f;af50LgRC?0n+Oy$ zsC=za|Cu}4Y}J$5Mi7nx*+&9V468HmoUXhpMwp0J&&gNx*!Y@^zrYb z$u%ATZCch1q_lmT`4uJ*+3y)psSa^aQGPJ-xEFfe4Ozztjlh(Ct%%y41?zuW1L^T` zN=tR);0y|KI0An7CH=UqsEl-C8Ev;3_R@MH;VRvXE`;#wyRpA7I&F@w%~mzWb^Ik6@Q-5zY{Wh!rqmYcoutW8?>vcUB6+(HT9TJAk{ zqe>eBut7Ljrb~ul(2V_GAnk92;6U*eLgYdI(6H!mLf#6&XkK`RFI3m%ZWb}o3}lAG zbNdf&1&Y3DE1IV<7#VtYUK7gE%snW`mF`b%tlht&RgeTM@xKs3L+qlIZH zX*PCqciF}8o=>%%d2Lj&aN<1_E8X668l1r+|7P20XAuSq8<1PiU2_)2)$|^vKn{xt z-po2c3IR9JH;wK;VcA+9Azld9tT9kp5aBU4+zb54KcLqLYqHe(ifC2!= zOrC=8Jrf+BZ^IaYmxe`KibST(E#bPI(4m8qUFmcFCb=uKU0b!tUy=CIE$+w&UzNh+ z@uF)}gRMLuil`-Et$(1|6VGBlJh&L4-Z6dXT|04gwYRLYHq#24ROV)jMWQA~oODOD$ z&zH%|+MzS3{gM`~+~kfVo$a`03rRc|ZRe6efHKxdur*3;DUe4l06QW;PaMx^+$^PW zhlga&PpcExJOvg$9g`BSBh(%EA?TH3nn2SKHA%%f4G}|BXo4}w6Z{D3ikg~^!HVvp zMkQMGZ`1esLvl}+GGY-I7?So2y3@ z#u2ADKm-~!Ze95E=#TI6B6!$6M#z*2bfqe4+busmMlp9i3O_R1*_KiO9-AmrOy*wB z&RwoY@uCXIl+CFcUh<-!!4{XkOXD9GnnQ|@v>(_uE#6PJEn2yEsHQF(bn&#XGF(ly zr0gdj%2>5q*lx>Bix)F8SnEX9jJ{dRe~7S5eq{M6V8j=730H-2gvD>fLqa)8mRcw? zP_;f#1s&&J*3#a>o-?culxWqB}u*F>>7N?!qy59sG7a-r}~0KroM|TcfW= z`|xXw$OB5h?dBXpGG$|;**j}Pi|E5QSMRTvUc0oO@WjlLnF)|m&!K>Fzfxc`VFpQ)+oa?#s^ zO@+po$t6_e;=4<`Ib7X`fa@c~J1QsKTGgxiQ319@gh?~{kFtfg#WRGYUDlbhgkSn5 zrA#JM2$&*+4z@1X-{5u1&dY7F+G75?JEv=9Or{oU$Ln78r_4FvjO#6_SozQSfR=Lt(3=i-`?WGc1It*lfz zwXbh3)8dYZJ?@lDVm#J}M!Z{_BjIlvr*iCkh(ZYbiD0sOYS{Yiay)kf8hvE;0RKT5 z)HP7rBRVN=gfVBR8c-Y9;D73hMY^4YE;$blM!)XnzSr~yG<-F0H!~poKDWnorDEKq z6a7f9O+;=T(+cqnIc3h!WyVO!t;ZubW~G$Qs!Ca5YLp>%Qc{|M*mYeyROBgCZ!M)3 zv?MaaGb1u1*u&d1ElhmaH6q_S$U^%Z-milZ*9mKiM}wDoE`u4asPg!y*QP)J1+-CE zc~G9>x+%5+*lIrqQ4!u>Hufv3z6@~+C^5Fljy_?JzKIn!9%WFullVvvxGU_^c8BUo ze58b_zm3=%xhraN((tTfccvMg9kU8)q+bOWD%_Y6Y+=JR8#>_`?$i}cF5Kyq;)?BU ztTSe5ARbbWHdic_BT-OdmIU1w7g`JlkYin<)8eH9*>Xtv&<5Yho;I}I_Ple}xLOYS zc}H_kr3Us)>K3R;jSJITcmyy;0%R60Hv-iLSdR$@^Z_KH^ zr{`PKS*)FQI|0!-+`~sVVj|O1=kvmWLaE?K!1+6S_wI7N^7w)AM)hKF+wlXTnwo0|2l9n@fP>gDCcr8BCibD|t(6jW&1 zq{1b>^g}B|Vf^hp4m+Pn{wKwH{8*$9MWA)*s*WTr*b2*eE$m8r8&Vqsn|$^W(~u;9 z{7c&Ir&t8q3Hh4hpWk@Cm4GaH$gYK_8Uiwk-;?_3awL9i6|88#UMpPiKY)GfIX=o- zq}xLa?aEMo5$)!6;_jMS4M-*xr}R2{H=nLF7S&oU(ory} zzh*1$tu&JC@!$*nq9pdpUAQ^?%_$$-_Ap3@3pgHEp|_sw4AEp6=&QX6t0!Cl@u<6s z%DUXtDD_JNkTK;kQswpw<9=4IFd$}@Vn-BWGbG5frE}F6&PHH! z^(do`6c+e2GB18L8?j~~bj|bw( zO#Rf@e00W-Ls&Y@D_F+Ow9^u5Ctfygok-LL3AlS0^kaa9jjQwLDQo zOU!RVvO^@epQ&)~<7TKfwXgQvDti9H8DXTpd@IW(J4j8{Yb~#X{3DJM7rzV-e_Rr) z;#R(Fg?%x``qeta6hq2KnKo$oS6H*hj%}IOFq%X9-151@bw!ton^>oxcYAmJdX3iv zn}cd&2g`e^oTSj#I~)%Oz`dw2(v+0jmxV%inNOK6 z;sy5u_##ZhVX39Of@WOtaWul!+wRZ7-TV0>S!txM+4Hh1x$(CjvED4D4TA(u^c-r_ zb>z#|ath=AWBCd)2|TMz>-L`xc&}omM&?I|XegjAWTd7f50F%Sfdf4!)lIXJkAL4r zrq2@8xI9hn6J=VWP2k$w{@NOjvwPe(r=39q{RiqCTd#L%OLU+*3(-Ltut<9@v!7_g>Yn$6cneR6p^kI0Eig%I1DL8+`WT5OXZ3Dn!O zx0hUjP4pASz^r?$<5tpLpRtyS?Tb>!=K25{j^-k^{9YiA{Fh#9J(+#bjn!OJ0E5v zD9?a#O6QT-(2sQ9Y8^I^=P>OkUyy>(f)uMV#tPDB!K%Zb<;?WKbIbb|_Sc&URot6= z%ev;(EH&&GtjOg)SuB3szJ(_)Q*Q}lj*eW%2{=`^7ADGkE$g&Wtp5p z$F?>O?Q;tYjEz!uVs#b6#jV9?Dc$ugeN654&TTV3toxCb_Vc)Q(~&$G^T}j`s|j|m zww_J0fOoOUk28Cn_|9P#bt01tQ$h>UgVaxxKPH+c>ZY7j!;$Ugn~=OiOhQ@)lj#ux zsSiu_4#KgCdBXVhWao=kXNiOQ{i}cKZ{bnI%q1;JaG&Fr9Gy2SI0yH~F`DKaXwovy zGBhr7FSOmaqPI`AsL0GzxOq*qOK?m1h@x@X015_Vf;+OA5vN`!vQrVWNKMpSRiN99 z*vF_*2Mo09Sifsr{Wo)0Jea&;wQY!Y6khAV)`U?Vr8?;a!~{uM9&I~AXS1ZLC)Jr` zT6`6;iZqFG)4h(ERM_USN+SP`YvMP;0b;-I@+eMhW_BaNW5@FGdgl0DUMg;zOq;A{ zAoKJiB6&GfU8wJ2FKk_C^&_lB+mE{T-N4X0AAy>>Iva}j0|&oc^>Wwv3gP@@29G%G z2BTUjO(Fv$+G}MQ($0b8{dwKZ3E};R)5PP%{SVU87xY$a@LbdCTv4TdgFO)+g@<0M zDoz|Y+uH0;zmJz`HI$m$-`j%{Z1r?mfoAW|t+7#Gc1C~Q*F4DywRyy^K05FIZyVUi7{*gfeH(P$cLq?*=|_>?nT?ka8RXcHoB0kOIX zwZfuq+6xDlha@zec(1i={^9EUG#c`VmQ%=*lsl?r+LF#@*y0SMNPQBujfFY*s z>;1R4pzPPbjSM_bXfWN*fupi?n$J}Q_63>+nZ@w&DRcNd4W?KoGyzxh`}mu|V#+EK zPZp=7_e?zr$`OQ^%c5^(`XiPAh?2rNf@H)LB+s1Ar!NpwDHP5y8LqQ~(u%uE3mUEC z69;oD9n|q~)48O{v#_&Zt24^bsjRFNp_PdgJv0dyi5#_9)qG6q*W_f~D^0AT&71*e z?KE2~h<$!Z4t=o)73=jvzc z*EOY)CP?7xXYJQX1TAqcFfVXTvMumYdRAIgy4#M*_Q~$Z&dOfPPRU-3C;sRfRWz#v zsio6_EBMql$`g?cg7SKn46T`K8raA=JqS8bY3O`ICYBkNb!nuL%`_Znvm~CtfdOTZ zfG$0C1->=tsOqQuVl4o+h{>+xf7=fWizss5Ud*uB`@(ebI@5=%?|DG6H#Mq(8qZ=% z!2R%&e5)pd9EJw$P?Z2#8C4y%?qgq2lWqq>+_P5h|2VvsClWyr_AvH+4>cs^XZ>aE zSe>TYXE^^yy(giZbwm<}OX}~3#KQVYah*Yx{cD!AV}+o$>o~v#D`k=gLo?W0Fam0= z`l!B$QAQ-LhU{)m}V!5V!|yjGdINZCl)M>c5ry0<7$Q^2i*;$Sx7b=IO}+Ap6o zLa=&DGc~YBf=PrCPtfqk6-pyaJ1gB>*&4b8%(GflZ!wik3{lqps@&exo1bjXu!<^@oc?= zO_;o3$6af%3}`s-#T&T#$hMR$GWe;c>)l=5D0Guy3+m__ydJ9THf9@yoeV~MRXs`! z4OQ#nrUTv-tk>8{$9eG;FNi&m@Ev%>ve%$xsrUvF-0nW%V=IPZ2D7$_CINesfUGgc zQ6IP~71idwzjIBirM`EDd0T>Yo7kho;sXK=!(3s_XG>=uE_PN|FXV7>`ATUUL19|B z>o=+r=tWCKP42gzqJs4$Dn;WBVn2^myl5AAt0#j`jH>-Be;849c-d{f8X~!PmZ3 z3stQOW$9g+EpeggXbZjQxsKVJsI}5f*|8^0CpmkrHDPs9cH<7hX#92BKxv(~nd7eD zM69GFYDMR=RXOE}%7^}_%|@THmxz{b`gbwUBIhxasneC^hTk-ttzdt2{zK@sXsgt_Vjti4)P(uJH9rx)#p zm6sQn7xZ-3?$A$>kGH`-Ha-jj3_3B0`l!}Qw#Xef=4phN=)a*EMj4Z$f%m70P+U0T z&({ikosVU9tJy0rE?hojY#ATiT;ql6MF3s%hYWYx$&S}B1>kuInWeJin&Mk7Iwc&K zE32NQ%|feyrVDek*^VRWcK#^K{^patjktxfpTM}3~tbB|^!I;@m?sI2& z-m$##3`vY()Y-3DL}9t z;eu@n*I~6!o%#IsM=Zs*k*|BB@fr$Qeq!^}ju0Ay)x8K*gK&DP4i)aF@v^rc6?-yG zMt|ry@4mEHI+aWF)vRx>`yH*n6ht$sZS3e|mRm&5zNi!ZHuf9yTfHiOH9z$^$?kZ& zj~X6pKM+K}eQ7NUp*L-Om63irhz9Wf$aQ~9l~<}?%7fq(`&N4EIZZitV(mHSOb(C# zdBW&1l=?FZ+f^(FfrChI?k6MvPoe!)!D*+0bIxbOn96zPV?q-Z(a`-De<+5B6axGB z?c39E>x2eGt%xT|r`Evx(e8L@nwvTHcLPW9hMa3=(j$Kkon-NQ*Q?vHK$!sdUHkK% zsV7L;`PVgksb^hxRee=^6>Iv|$c$)fOW)@9RRvwJb=|452KU9?)Sbq2^OMfY>BnPe zwmEpiuQi*^2l!V}p4A->k)e@;k=2oZEMA|KvGh!$D84AEy>2qjy(mKO%_8|VJcPW$ zf2eM)Y}<}E7sEYig=R1{GIRhAx1n7I>u_*4FStq3oUNt=ACHv=h|!$6pBE$~T(k$u zzR8Is8u-8)1d7hVJV%;`Wt8+cPJTUE&KBT6rnn8Az}js;^>v1^iQ(_#3!ZXB#vk6k z0vnIFragXicWHT9*AD$nJ1Ur+(m~luk+xwho-i0iPCk%|*^*TVka+;<;-lAU4Dfe! zFI{y>HaV8+YDcQ`zncZ;hI?D>{tlrn4&r&t2KiOT7Vu}5Y>3h2QiCeZ^`aL|=Ih$? z8pINBEDFMn+6^0BQ2WR1d?nCpy~Mok=S#KDi?ihxGA(Y=&CLA$Og=n}@mp1^$01DfuMKD!_j7picyU(t=xtM(38-`d0C z2dgh5pC63k>~}noo9m=#?XWm~z3E~%v{2YsSSEv`^o}vWUXWtd>G*k+r>>imAhYF* zd?{sbbXj;vPzoLT8WOfNX;m)~{51LlR{u_#;dgll3z!8je0spXUdw>#f`!0Em$8s2 zgRw8sWMuKX1h87>UO=RpN$nB8;38R@`)Z(;}f`mmT~~5OW5XUtiN0|3%pf z=+MyjoKHZdl?AZ+ZNt!Mt*>VlQN=V};DZSIU%qhnfww0lM=mEo zIB^XoMBJQ`P;h2P!h69AqAGAo&I>9at4 z+0S)O*Fcl%g%6Fy-r@AHT6&N5c5km?{uso_+ToUKDQ*jYOr3{Pf>cblnd0t%Ox8eo zZwKL?vSWL(jN z7@ko;Z5|lA2~^1OKF0yca5I0KOT}EHTvu7W;|JsoD#&*dcar#vPA)ouyC$lp7tw)M z=D&kt@YGkRWLOp5Iztd|i|dnzb0?1XjTxVlE`88`+^1wBn!dyXbs2B=BgM{)(3ay1 zHOGT{KP_jQ)b{OjJ$wDxk|K0>74UjGWxLvsQc7~*C7Twt+AhzcS@YI2sIw;s5~)8U`nY0brzxD&Ia|0&+GorckP|C7ue@yq zC3iDF2I*6Qpt9z7M_tn`^Igi+^irad=K*DJcgOZICRd-*wn!e@7x&hkd z>Did9uvf>_MfMb}ZgHmIQ{O_zkc6$8n#qiV_iRN~U5}~OFE=SkN&Hr8R7pvjvfdAn zBTw=p)9npB6(t$+A92gPdBYXvxs=^wY}9@D*Pm9LXATPG*GkV3YvD}|##)_!4-&f0 zAWaBSMG`i0va3c3>qVE2wr#;A-1$^GYo)OAsk^tDeujZc65HCG-DbkS_$RiXa>j_n12oq0; zR@p=BM}C#G6wM;bO=jN`;~+*$kNTJ%)%lW&Q|2v0%J!hLJLZ9uv zo_%=rfu}QXUxM8>+OA7wJYTGuewDuG^zC@FdIbnxLK#9iOk!%s9~zG!XYEx|T1S63 zsOtFH`L4C~J&Bwsop7JjRMLj2F{16>3=cB8#=?^GRh(n|j^6Fgn+5JLB2tUa+qdTV zol6?|#g8>zLrY9dT-^u5YFRqZ1c24lPbA%u(Xjp7aOXno)<3Xh6a!#2!;3C+N%uct zlRU)7`oL`U=vD^9e^Cr5D(zFI7vkPG#B|!~(WD>by9tBuQwpK=VBXu;bzM>8K30sO z(2Q{ko+gD$%q21!?*UxsgW#`!U^xH4LuQji-?zN>Rty-pw0v&c&qu;Zg+~`I9sF#^ zwD=oHwJ5)%!%2s~!4W8hiMq~K$2W2x9S*Xt}M%@&~cRhU%>O3x~;W|VVd~FqurMoc;d6UhP z!0{?HW8?iLrUQu2_95{%eD5lp#$~uEftNciLGzjx1%8(ZqRrqY9Qq0RzO`a_>*q~{ z9HM8?pN3gAJbr?>~u)$9l8n3ff6PKlDDf z(G6eN*8RvrYjbAUG|iI}dP`$#+xg?uB$B7#&|F_KdkEawnK!M=H|LP`8X8DhhFzecBs@JAW-;KLc&s4V)~>Sw|NyFZ-+0;>A*9>LFY0HF0!4KYO`W^ z-yLMTGo|qb4LhvG^>Y-@pq`jDeTuN>!sI55x;!y!JO3M#QIvG5Bz9m%BIEFjcpJwD zV;h{dVnEv12J7%x?PJr5f`-;%AFBG@k1P&ND_?9qn%OWEmjNeqof)wdrjxN`@58z- z7ptWHWXc(y5Jn|SyXdre+J-?{n?Rpi+BT0F=BAbeMgs8)TDeN;d^MX#Y3wSLt8K;b zkao*~UT~#w9x`rXT?o}tZ{thgqm``?jULAC0Z=k?r5K*%KBE{u>HMn|DXU<*ZuwO! zP1xeTWK+emOqi5NfmBn>g2u%hF)MHSUGeY+eB&1)k2*tx=9QBppKWRe)|in}=W+D- z2GhAHITUiZ^nsXgRdnd#$da~p#*JrGT*3*C0~CoU%5Xrnwjg zk7jX*Igex>EHrWD*F0!wH;!o`Xg_G=r82-j`w?}HG-(Qge_|@q;*o-_rW?FBFxye@ z^G*(Za#8rYc-8uZF=m&~y^NO3nr&Wk2xvA1nZrNQPyVbEW~(<47$cH@{?l4%ATY7z ztQ9Ie8#c}6%qK%vR3<o*ONRyF>GU_Bp}+8CkzplhyFn#RiP%*PJz2^Nmd48RWxqAL?3H4ar% zCC%qiGUtKEF{5P`#8y`tJOJ&N@Fn5p$drk4LsO{Ge2|upn{Hzue|}#LeP2X)8B0cZ zAr+K%8T`k#5csOP78MD_Snlz9hlUxMpK!_b1f{_cf63GY>}tU7PoBqwJA-XY(zZ9R?` z0e}4i5z}kJo}BmTxrRc@LOOSaO*}B|+2-YrTVcVEev^p!>58*tMDC7Wy#y!@np;oa z3u83xq^|1|vIJ>ubli;D0H5NA_FXGRo<=qoONyT>9y*xFo8lcVrFSZi+HStIZe-I` zMCMbY<#PiSg#-i#1Oox|twm6KmT8%Harg8WT7%v)eIONSYkJyv4e1XQ-yf8n zFuPRzHTyTqf=&FXZHAG+)FkvuTy$J?D8(MkA&5}@AG5zkD^))@n3Q8wFo%Q6D4SHn z%eeTI3e_d6xEh76{WS@dM~)jfjp}>ZJu1&UoMS3u-6^WAHGhr#+CkxAxW;Phy}&*A zwnqwn{VEHmA*QXRp$b+I8u=fQL^%Av#rjI&I7qOhC!p*`-#{8c{W>1Fn{{;{;Cnx*AFfI`HKQR{O|E#M0Ut1PtR@Q%G>}=o*4IU^E z8<S+eh?$l1pV!2~&B@994_g*aRz&iT z)*Q8ZjqWkKYR#V2^9_&{O^~%wkf5npUGA8Rn-@lB8xtb{C=u938(s%lA2|SbZ}=Ez zYr&7WIx>*0XY%m^Yp_tE?4l;%*3NOYUj9fY{XC#hNT=s>H}~=GeKUtXRkLQGFRSqa z;wGiB>Xx0~1lV+Q+K>`99Y(LNArdybVKs;WY+BX~_K1NkYlsg*9{@QJ2wa`50F8D%qm7TFy2uD2CDtTqd9ngAHlQbep>yJ3b+_TG4-Z(T`5G zFV;A}hRSJNI^S=ZTVg4>JiIz0g`5sL$ASokyz#}@VhVtV!nPQ%gv3T6aW(KeLx%iH zH*K4?qW(wN?qPw;r1)zui(DTvnx{uu z2$$Qz&WFuUD&BFU zB5@T~#|&uT9XZgHKxNKH`IPvT{4; zv3qD{h~o2UJ=>8pv{paPDd1Lg4~u?z4q71)lx!={yQQ6Gi`)Xkcb^g9M#kvTtch2p!rTsO9vz?>Rodh4Lpw(pA=_#9bZoVBkse~ncvdwaj$DbWHAU`r;X zck1cCJ{FS05V%pMQ+ErdXH(?TXIiqh@J4?lJ9JRJwoJw4ZYTBt1fyupjNc!ro+!}%=@KnB-0_vfIqO4Zvm>7uEbAu~bG9~$`%YgzrXyz`}R4ym+rv)|zl z_VmmAC=1P0D$g4&&fC|@^VRXgR4X^+S9)j1Hony1!Zs&!og3!SE9C>fCjeA_ZDLhy zE6X|tNOI(u5%`TVeHzf~Xf7%8PC#%`FT@NM`FaWiPOD9|EaS`dW3&LNpY)aH3J}JN zS`w)35`SokjPu#Ksn~2ad-XkZ-G|1)ug+!MyYi(~%(^*z8?fQNTwQQm?s~Q@`G&N! ziclEoW)2Xl8T4CK+hDVlt1#i7uMNA=hU%2Lm;S15gO6bS@af<)Q>ZMm#8?;m^Oxap zcJt-{7^tGiMMSX1Ji-8|?G|OurRh_YLlc)_ID;gRaBP*IZ#)@VIbmj*wAUO70Pfcr zY`vyE3tvU+$}($MJiyBGG2{s3I2j)eo`4J2C)|peP+zl5O=r;oW{Nxjbx@sMA-QIt zf$(C=HMKuWoEUPkXi%Lm(8BRsOE@q@&l3n2S-cMzx^t(v>WD!(gQMSw`QQXAAZZI` zejR#2KKeQ-wQS$&3syDp95gapGR~#UIVXfxiV{SOA2z|zF||{-gO`*)9g>VxJL->- zwK;#*r}L4f&n-5$Y%&8coHViMxB_&K;}A3vIi?G1O4))!9;)NJ@@aB68WM7X=Pc&& znnDYoGYCXnagS+#uC>c6aQ3ri)y6)8&`KV>eHSp>rbt+24oGX(Xd;^ii3x@lmYpN&1q&z3Q|5WOFyD|H;r^_Hrnrj>{JQRk0JfS+)0efj>=Y_y z18d~SJ94-DWIs-!bj(NwC5W8;EEexs>8FZvk*naqq$jLe-T@XkEH11^F!@ta-seAg zFfmG$DT^r!)$GR+QD|29>NAp`hRM|<2h$!(`dMNU*;!kCE@H$jQ}q?EVs@QNuNsa} z|6Dh_0JhCKC}6+jMQkj}rf22@i{!{`yL&x$fqJwswJd# z@!g-=>OJR-W;r*nr(F-*5ACBJYlFPj8dJ_HXB946#78Zcw=|Sw=0UTsanK@W zH-$DVTe-~68v3)fAaLVNU1J)TjD4|^9i-h2D|#U!jq;_^eW#Xa4PrEw87W(c?V&_X8H{P)1xrxvb zhOHHBLvX=l;3dteUugZ>2%#mqgIj2)`;~# zWfCFRd_h6>8aE!3t!Kz(!Wt5^rwBA%8=h!Pq>n42YMMz4@QPa&8E%5-FxztOh?)_m z*KCbWtSc(msI=X3@xYCkh-uP@DhHR4Xrlay(DGewg{`#;i-KgG+WQUYw9ZF-m$1-Km3IH=K#vc+cSLHBFut;R6hs!2qyHeIUEHxAZp0H zRI~;~fhq6{kfyehgIW&~jHx{U`WWN7Yu9HtNYc&w=}0hM`6&Ez;4|0Z2Bmx2Bx6^x zIwSYBWDSB4iQ)PU_6csm!&GU+q;k}&rv=XeM*%P>wqRW^;Q2reGa#(a5Pj6ulgd_sDJ3NV$A_yzRInv!_b%OuI=^EN=RJ5 zl6`?Z^aM@V({)vE2CpqndZ8eNF$20kvpq!->zE1%Rs|ZJkYqNpsy5DXs5IxC~MK{^}sfrv~2wEKL0(Ja7s;6Ta(e#0qGee&syX7yPb- z@3G~zXU~BlcRCuba@jw4oECY0y>rZV76v^7>DHa|P8!R$m6FJdN(jTj%Er^6iE5AXiIW>Z z#v*HGXW?u~#>>IZk@#DHBJl|y2P9X&*L8*|%DNM<&5R4_0TB(e46y=}fXAE=mWv|- zNf`mj1Y3@+Q;tcejU7a%6q%|_D$=N~BU3p`Tg>mHtWTJ@^1#tR$b5f%v-ptn03I1h z=e@~n=ziHBhlDhwgg~Eqysq0dlwcFShNOzl5wtC~`&bHwpoc%I8J_B}1)*fOuOqR- z`_$)VCk#$WVS{`i%vrRXbF&5Q`JfPdAXZu}7myTWjt&L< z?D&M6S*i`{&&KXPRv__0AeK8!MN9;~hWTwHK+Gkqaz$Rgu66wI%On0nq^aFRX8e41 z*Y4M$4bh*kWAgiscEgTFhlK0b39rNB!%L%U(zE7- zoA0*4FxT6QFk|Yw8AuU|5w9|itRIe#$blT6-ofNk2pMiLK@dC)5uH0L!m1aA^K?JN zt`JzOiQj2w6$&au*EZ#n1iPGD1w9211M{XLRKG!uQkJz31-Wu*`{e8FXD<@}c*6_< zFHWz?g)?4_hQoC;Wc4rN7oRJ-Qhe_=gnl#1N~9z1l$?;c34wZEAYGZ!3iS=VP}UQR z!cW)UVZZ4>*e!hEquuP(T7mYTGkB{BbKEB0@++3s5q_`XEF2nmxFCFyoc(z@geQj< z7+gxKFdcFJMLfAQ1_>b9<;J(;(N; zLMGr`9(#N_uz>*4A|xS3?at$?p;Qyi;l@Ujp`b4!pbd&-W2VLC);0!ta>L4m1hG;VgmS|}*uzIi|=H_)FdQc!5APOOV z3e2c>sZnV&KrAq-K}tf`Qq6cnlw&ceME66SK$=4SMD{BuZG~8*(k5ri#UP5=A?^r7 z@7c!rI^!1&T1G}Q$kieQMK6`n@_3J{E~7gn?U5nL3xuD9@@5HBitONW=zgk0#0=Zy&pRPX(oZOh?XPi*nabD_I5q;jF59! zQtQbc$K(6P#4S6j`LjR2K z3?1Z&MdU%3AI#Ao&@Z==NAf~V9FPhKN7&IGhYB?(pin?8D;>}VA}h(lhE}CXPZlVt zMW(`lhE!t6wkVr^Xkk&>ZtEPn`*JPm#C?EuVyQe=Svw~>hMYKYG6h3P2M(I+dTlvn zmWC{z1V1d$g;;*&@cYD+oZl{A4^)~kjv-&uPG!vvnU%TiJ9Tabyw>e&UksJCDt{@~ zIvs|13A$qKBWxBebUQ|zyJGzT*GmOvIz3_po#I90H<-Yl}!S+Wm80t`ubrzUm@M94dT`P2R`YPduTcD~>6+c>?Q+|Bi~UWW}> zGRFPIcNBs_8IuOvLj^uROqr%6tpAdaAP_V1ddx^o`PVH1rue$~na znJ)iPWF0yFM%N*GBe%m)>i!8nFJ(tmYqnA` zWB;6m)@jH^BO{h=sP)FqH8PE0q&Nw03CpQ4{)w2k})lCRI2j|Yz`n`K_7)nmhSLYy0=8un~#_j(5* zMty?;1S9bqi8jS>in5II^AtEY7ZfP$yK2;yh%qP2Kqp#EVm#G|hktn5!KJU8r*R#s z;bFk}V+?7&Ahenetk-Trqtnmg;y)s>w@#Gy4y^97B3QGQ_h|l5m%Imt$Nm`w!57{e z^+`N!WqamUw9uD7-%daXCF}JW$|8Enp=nNN_KL5oRjzhuyQax8WY_>S_}p5Dw!H;SZ+|@ec9gmyrp2U?akMlmsGBT;YV8 z+Oy${M}(Tau)|QyFL`&|Qq<9by5#}%gspAKKHLf1+Djit+bMe9&}>O5Z&!B;NgT|H z^;f0!_V~w^Z};28@FYrC8=u>IYD`k&BI&pJeXP{le1fY+)spQdwEWA@7_@Dx#%~Ib zReX5i9$|W!(um-efAW`=6r3`g6#Zy@aFMbvhjC7YJ7Z`r7Y+YDaQwRygumj;oAgbz zcYCnE{zmf0YhNmPSXYaBcK1!<7`!X7kHnMmlllH->Jp*;^4nfs>goYJI*GUQ?hx(x zT_sodpM@Md@0ne}kDCV&DN1~lL<^~B`T5}B8i|+T&9hhUHjSUXNotSCP__dO?hN5A zl`-p4$)`ZXXdETu=n$(>(6KvYeY$ouaFXUOi|JI6Nk!dbYemDgxsowW5m#yf_x^4@ zs$bkwltKUcNWeTccu38}G4uQ4dE(mmiO^}~+F=J$W-&cr88ZV@9)QV>FG7Q<|2yF) zdC2xULchCRfJmhFfNsdC3{5aw~wMVAo0Xp$*Y zfq+j4!9JFnKFa{}AM0h_!rdnaoX^Uat{RB5NY=>((yZ|dnwI6ag`-*IsLUccG=!B| z5+}zeJZlSiNDM~cjHo1eo$r3Kc5_q8^lhSH5|jhb3IU(~mL9;`F;n1Ou>n683A==S zO}eThSqrwpazRT4RB3lgc4}x{&NX2goLoo=#?A{vV3?4vDeiFqI&`vI0?BSfKPrtf zEk2T|7!3w$_XkJ2PfVVxn46h12pITOy|So1$2Ptn%%58HaXW34 z+k4Wv`r9vftKi@SbI5)wuPk*eUMjA-QbR3wRX6uS`7Wgjs^ygn$fhQ2D9Wy`uGlQE zkvVy<)nP^rYPhB8)H#Ys+UxkO4uh-iSe*{R-ICuSHz>SQf*I+;3_Q}HH{H#!*kHcHJNVk+mgeGfPHHfA8ib}@ch zlk>DtVej(`q?f@jb^LS^aE)6ZvMvRP$DN&J)(}tL3i!?I2l4|4qPYdDlo43-NFx-p zifTk6Bkm)>+WYk!t7RtXl`}s$qn5JCl-AK4^VW#gjA)?0HC?L>bIqJA9IifM;7S$i z24_EpEgdIzzCyoA-=k5|LhqJ-s1^{Vk$*W4b{O0X;VC zwBj)43n5ev`SMf=@{N+f8OxpV1bJHdZ5SD1s>GOUmp)PGWa^4RoB434U4(I0fhHM? zt>{G6#g%=e?DKlPys^*ND@!Lig>#nJO?d+oe=AtbCP+0XQB}NAyHed3fsg`)4ZUt} z%mV z*rd%@Vi(~hP`g=!^AqQ6{q<{LxmHN7a*nSExFpJVa{I7K6)2f7$BsXqBGNIKX*xD9 z=IY*1m|bmXp?C+bXS}#;ZwnC66Irk}_t*uM@5?<7^NU7^)z>V0RWVX`QeFOf&*>=5 zQn^20u2WD_&*ACyc^_uE=l9q_-DlkQc3$$&d1LjwEDl|~Z~lgFr7zfK)WY;M-!=74 z4Dhy- zWIPhZpROny5J02ygzqw8_nBFyS<%5AagF;M@5YD&9Q0kgsT zSOY2SuY-pv37q-FdCEPs>zhB8`z6EZj8lx=sxb^xmn*39yH>G7YP5DJC20e|F;VD~ zTZ$jry*f7LJ~XBU+)^jU%IRqcf>x!VOC-3yXFux<>rU&~NZQX@th=8|2M9Fg(mLlO~xRMS@^kurKEe?cPYmlC8G!(I%G!!%pLg&js&eFvG zl>SNI>50k^2J7ZB2(aOvL$GKc`zPKwehnU&4-SGY7vq4}UBC?6O^p~b@+p-w z%vn~!ETe?G17L-3EA*){rE_chs!}?db@?DwiMdR`U~+PGL{meJ*h$ysT{4{hwL4Vy zcM@p^N%AWX9ws9~{rvq>sLMzYhr(xo%!AK;aX#HwMFL;FJZ~u=H{B(%s=i|Rh&;QS zKzz=Q-mq^Tkrm}0y}vmXQGFkvVuiz4Trm0^MRj7TkEW@y}tdX36AO$5bM?PS@IGT{+_Ck^?N8M z?3+zd!k{4HMwSGuQHQ-o?gHNU_@|)O(M%A z(>~K8=dctfb@jw%;ofT4>Iaxf?-PvDv{L(IJQdIx&8s=BY^>RWFC>y&udZ{MO`fQN zu_e}Non~@&!#rm{EDS?$pzBwisBW2#k-c-J+vN{Z=NxAXbwiNw`E7<=j)2*IvOqW%e4(nvi!E;N3eS@20v}k; zt}oRyAM{o`Tn1vF>idf6An&xux5W3rv!aG6sS9h0`ts{|&Xid1fpOB=Q_kS&JL>tM zx00OPCBggD*1KetDxnE(kSdeTA2K1Ee#gXG{?=911v&yaW>I`eTMcU65*YA#QipR~#<%dlxfoBZhOp)2JF%n15 z@8lyYyyu-Xta^w#x9dO4$w|8l&pO?m-ukvc)7_T?h!^(VZ_iKfG&@^YM+JOIv8^m; zEmMj^-$rQBw^l)4ITp9FyiXKeWvnaIWBGC0dqALGX7bR-eiLte-C_;)jHvI&y5$n= z=}{_CG_k1)6sMnz#@?h(voIbUb(*@_mrOW4R9u)V5*tKQcd+6R6ZKEa?iS5eUouc9hRjtOJfe$uJ6Gn; zY$r8$8CNowQij!X^S`>H7S4(n#$lt6p}>L?F-5c{6z4{SVO{g%iTOMpHTz}kz1`z9 zJyU!eibMo&cP?_)ou2pIvNhf-y*G$5h0Wukr))Mf+w=EAW@dpZy(C4Ilz273gAODqlROyu-oE~0_SWJaW%5QFHD&T$Spd#RvSVb2h9G?dQdNj@ zq6(8`NS5iYl$kLHqm4REcGR^1u2fO|!%hoL6|=p{`{)KO4;clA%`PEqH3lk>Yoc%- zPM-G8S?c_+iILyAfX`>uHRoq5LD3yG&RChsR6O}0p~{IyohL?(l8Gde=Gkw3jp;nZ zHXZWHSo5>~Qeij(orAhy<*zo1ndErtcu6vwJ;sgto%URp@BBBPX6W?xndFH>6KzXLWBbJC!T{{y&(zpN zc1tL0qJP`Q!TylY4(NTYI`xUU{2EeEhq;KMDv1aB7rS*Grz7qSQml(B)UnId1C1`8 zmpPV^`6&&qg^dpc-p!B88PJf_Zp`J|hz!<}P1qOyoWz@O={wXq{|#9Y?6%5BIv0^$j4=BHE2>-(!pMvhc7%e3!8pz z;&@HGb!5|zrf#+)xM81<`h@n0j^qrmSAKSSe8$Ll`U-y^eD_DH%cTpDlfpy`Qv=t; z(>$o}Su~Cc8+wxmFe@1y>IU6>yJ_e*Ad8F@?AnjFT_ah!b_a2`39;uS-QFi`-%#qx z->$ipD|EeuDu5n_=MXC`ZuT7vKNW|}@qil;+i0~S>04oi8g1Fs&=!xub|@5f))$6q z%NFg8E|Zg8%*lz$E#+eX1uGsGJqCe5jy)8&ArJFUDqKsMhURpWhejt91*Jc<_ADNJ zo^CI=gk-m}KR|cZxXCP%v!ox14i>?-nTrB6Kc>MSrW>n)wp4|;@kXOhVl^F}J7yEi z$;$6g1~JZiCO>$R&>8Dw0tGnX<;r;1&f7Nf%Yq+l6;_OE_CQH(6~YE&#rs}xI&XB7 zu94JIt*}-xrDc^Vrfx1SustjDU~cODadMek{| zVS9o12*|N-^131y&Yc)+(W`wthtjH&gW)hIPn z4a}mUB|=mu==ovD%c8WGZZ7UEQ>SNq$qnG$+H29d*%wykN7Zm?FJ)X_a=G95d-;}H zzLL0>RSrT|nB{lIOu!^r^_>u{f0Iu6vp69h%pFV5(Do#xfAry`L#Q=MfHXFS961#A zzOV+4&7D--D$ z#~^`(-nBovILbSgd20{X&T%7c$L(Ovo**IT^vdGE0zRaC7R~kE`QGJzKt+pJA2Z1X zzFkkmg-MkOS@*>ALaz6zx9xX9Z!=kY#IqvmT^=6r)ApHo2!%;}1>IBBcGOkWsjQ=y zq5()`r=l#pk+B;6V#{YoK4sNKH1@4Twgy34*MU*>lG9Z=8N$mcla3$)lj z;kbP0#*cQ?n&N*QH5w$2c6{;z4AmS}o@f-@P5kh^+VJL8Rw8A_o?t|1_;yCdP|4?3jYju9zA~gT2ugv!E5&37$ zz#5%FwNLji?B|lf46JZ6xVO#EHnq1mP^ob zozF`QIJQENe}6|jA>W(#VhRk#WpQ$5K;JTo1cq;JbmHo5b>>%i$ zB|Y)#+R{3b5x=;{X5(h_L&Ni;r{b>rcdm@SX?biT4UfCH%sL*+htENP`$t zevHZK7)HM&`?)8%rxZVR8hE}bSE&w`??mfPZc zCK`UxfUi{Y`3Y^)CrJrZsY$wfXq2*jx@jR#tc-3UiG9@$^(uO2s{R54{fMB?8lS1f zRg$m^Q7Vnm1{N<@A>YVGi{&>P&vie%%9~Myrd4ahrj(c!GCezNg(ps}zJw=Zd#15S zpb4VIE;7U_h4+~xU0H2knVgw1y%&=5J+$fA=v3p7z)sF9se`w8nG+dnjn6;^?zb*w z)cgCFI3&<6p%N8*2aj`aB;BB;ob87Rj&Y7jjtPz_nViG)LvSkF@PpxVU^aXwx;g)m zwVeH3qo)psw$IDlgV(*+gT>iHQOM2WKCv^AGl?wl2$<&0x?i|kcw;&%wKTGqNRQK` zE;*3K*c5P5iG{qVVGXE@7An_G#5ctSJ>Sl;Bzla#8|~6WZ39k8 zR+&dU}_RO!LJ@+wi z8cXs4+X{hsswVy9(m@)Ch&n~>#bexrLNMN1H*D2}hnnRZJ7_g?j^UzSA~Y6jeGhc`A<x)z`N$PhD(iN+o zvA@!3DB?AxaU;x}w8JV!<``TFSs5y#>Qk$iCa0+GvjRDCyRmep8uY3oSl_y3UI1$9 zDjTbl)JH1TE8waK_zR&vR|Z+ie0_E=+1JpRWx5{aDf)rh>h8A}-yu+F)|7y0Q_iT3 z-JwFq#Mt^YPyT$Gk@5cJA~7Sw-eSY4-PEV#HH5G!qP{y;9yhg&PdiLufoIk|Vy)uw z`Q;Y1WCt`QRqzC?0z-Nbi*L(s&y>+HcN2siDe= zkW0-0CNH}UO!zpilt%F#>WsaI+&-o>K3q0=3xcLU-U{C1XC>N%Aj03QR^Mrbb&Ct3 z98b1{PAXCbpF;&iA@w(o^W;GgzX8yF7~bQ=z5I3@`X<4GF}{9MuVkFFnCm^Sblcnmo*ubO zzK%LGuEcu0c)^}T6#T7$jZXbPu^Rn0#Xcsdb{?)aDx=O#OM<SU zjywqTNsmh*L*&Y#M%M3ybeaD4vGY&mtwCckPHfe3j zg`AW`cEItAC^oAilIbQr^Wuv)1oOfYLMky@BBq`3(-zh+R8rr*A1 zzKCb7aOPH^)t69-wUy>iO{GH=?w>@6Q;huY&)RRs=Y5L^BH7?vO2tskttq2RzkvZ7 zpMnwc9@`$OyNV9NS25Z()|?(=B|vrN@F&?yk}q|aCTWquvigW3<-*N)yI2e*F#nwxyO5ngD8{!1Y!7x?Tqd(^iCh;g$t$~ ziG}-W=CjD(_QyJ&_JiDI^6XcS35nCsq7i&3$K6b4Rm`8Ct$pu3gSrk%&Ox7V_q09N zC1dfA8Cm$28AYD!14&S44H#~zgS$$n4d`xbMbVq0EkZrNuep0F=CM>3O)=i`BELOB zV!gBmlCaL?z#c15-mY-Au}J240Q<6)j^;3)ch!+!e&B3)wfLV;`GoQFNT7DRRWU$L~DU(lg! z+C@o0^@ZE_MKC|nqvxe0Hh{5*lkbSNX<`p8y(r8$Gk814zNBv<3f$}(I9~&acVnOd@!laV<4=uAVQO-V8eT$6FdQ}69MblnO+RL3HZHuCp-<#{b z&Kg&wGqsNi(l>2$D>OWoPxRZY_6?gy#Wc{08Lgu|$78qM+3)orXoK$};%H@EO=0w^=rg6uilnzS)&BsdBXL2$abC zD4t#!KC(pu!S%1D%S>Z48E)3X@tj7>8b>`ZKP+el0#2Zn=4#5na0MrZ^`1e(9( z1I6yXSmySEetL(Te9xszhaLT{l$ZFKdM@9!i*=$03Eb!)V2~SI8=#(%b7=UK_+39F zW}nwmKW%CsJ z1&PZE&Ro9ufYn~PG@gUi#QiHO*AeA-ZORFyD($H3VQ#)GERJcP_UI$jP(V@%<}NZ_ zGMz;(ktt2E=!g>LN^SDq8_4VT2N%@GZamVfy=}#iU*b;zT1c+Hqe@gdQfL8+5HK^T zJUb{1zbg?YJwJBSTQxUN4XZ^JC z#>m+$R=4{L)Bh9Q#ZDgS{JAP{d66EEV1;fp4rEa1CY=}f=C0s&d2yz);;I1745Zt7 zWxvA?0)wxd^_hJs*k*sY4i@8>XG1mIX3O_$C)qyC8%+7jgBxV(wj!^=F*m%A6+gW= z$0Q$uKjnMhg}k1{>|B5v&dKjmUEcDrTFJ_H96p8EC^b*@KeJ~^Cec6TaqRUGRio$F ze&AmH(36@Ex1XME!~@p!fAw{cV7OOPQ-iN-SzHwpnSABjvMh|g$1xao@4@}UH$u4= zzaMV~ovzt62hCuTaby#~KG>jYBQ5RAgpqm_xgc z*(V-5($P*yS5{Y14D^its#r|7C5hJO77-Wl$j9Xn6=w>qWrR5xXr>MQyOK3+rxzP8 zGEUi@HMp08Dji-$C4uWht{7>9ZoI@MMv9(bf$JfOK4Zr6n-d3t8fD?KW^&fZDK;+i zX3QEu0rzqw*f|($7H)V0OuS*Y(pJgFDA?U-fBcZhE-VWtDyOcbCYJaiZ;^N^Z2bS0 zlL~;ua1rJIUN&rt#6iMykm-;CI9U^I#28?a*w{G98ZyNOF=075cv(3T&D3Q;>}(wD zWUT)&GCMM)|MS4k%FE08PmGO~lk;B~J3IHkF;1R;V*uWNV1J1KTz|1d77a=$PToXS z4H^*pza2R^{!Plo`>%l6xViovFfTX9KS==`9RCW0ix=>J-vj-x0;~Wwo_`Xva&dA0 z%bA1o-HUKNzzq9)b z{?nJ6o%5e+vHeZ%Uuv;(bASN#6951J diff --git a/fig/fig_beta_sweep_corrected.pdf b/fig/fig_beta_sweep_corrected.pdf index 843f3acd5a119504510a2f0d81191c3877c22522..15502fb9b0a8587283728f0b668b6e96df48bfc9 100644 GIT binary patch delta 20 bcmZp<$Jla@aYINptEsVxf#K%J?A6QwR5Ax$ delta 20 bcmZp<$Jla@aYINptBI+Zfzjs3?A6QwR8R+D diff --git a/fig/fig_floor.pdf b/fig/fig_floor.pdf index cac4d97540232e3ac04d4b2e74a278915b0f0e52..7aa08009fed4fb9285259f58ec78cca82928821e 100644 GIT binary patch delta 20 ccmX?do9W1HrVR$mSxt>i3=B4#F7Iap0A3FV?*IS* delta 20 ccmX?do9W1HrVR$mSxrogObs`iF7Iap0A42t^8f$< diff --git a/fig/fig_multiuser_corrected.pdf b/fig/fig_multiuser_corrected.pdf index 6e8b79cda3d4d25b904a14bf97ae3c8c574f7e92..52bd53aae4b370f2db7d19b5239a47d53c119bcb 100644 GIT binary patch delta 18 acmbR6h;hOr#tk!am`#mMHqXu}WdQ(9ng?wF delta 18 acmbR6h;hOr#tk!am`#i=H_y%~WdQ(9um^Df diff --git a/fig/fig_rate_corrected.pdf b/fig/fig_rate_corrected.pdf index b5499a73a64cda4dd45108d9b2dcbae063c06855..77171354bd95061d2a93411fa5035e46b787e81a 100644 GIT binary patch delta 18 acmaE}o$<|f#tkPTm`#mMHlL1AWCj3LWCyYU delta 18 acmaE}o$<|f#tkPTm`#i=H=mABWCj3LdIz=u diff --git a/fig/fig_retrieval.pdf b/fig/fig_retrieval.pdf index ca4f5dabebed58be5fecf6164c60a3cc309f8a7d..325f7743c37491ff897ca025f6aa550846bc6385 100644 GIT binary patch delta 13230 zcmZX4Wl&vB(=8T4@B|11cbCIK5AN>n65QQoLkIzayGw9)cY+7^;1b;3u{7_}8VM8yR}ViR zH2yOR6VgW=5!Z@vcLQD0VmH^u(!fS`r>QwYz@FO6)vMe~`mmqM@p6Aq!oknyrS*Js z=Un%6vrmK(uTM#9hm@d?m=GEGt43(+=e{s0BfO?B%oo1`@^r&GinK++!(94CO-A5Oz_-k!ADk zSz15*U~VeZ(ZfIT*O24W)8*0CrSOfoFOnZ6eJ0cZmgVxtvt?R$VgcX2VL}1DE}avk zC|?Rcgik4`EZT5raKWQVMchzzehMvAe3ykhVo|}k@Al?GsW)`ya0;3w07Ar1nJg-9 z0y+CxB$=Tpz6{f00^@yyj4?skraQ?D_b>oaSy{{?kRjB&eKGZ9_uchkRR|C1W9kP2kWc?lq=8E_7-i2dz z@^P#8LVW8!anMhujtf9C<8prTY;L_Z0yfagOLqH3=a+w{eWS|bFGBy;#eiyB-d=Jb zfvqdrRV3DZ2`BGOV-}{P*Saf@6ITfS-n%|{FjJh)=h4h*)nhB0ynnxG0-PV6;9H;X zwVqvoD-mtbmzJ>1;ma9FDxjA>M9b$IL`IULJZslOl7kfAb_2M~e(vbJ2%^i#44??t zjEsK8H`AQENDig?*!>3f;&ssd0lR{neWvDJ4z(ATJQ4nDGL!A-;&;uQAK17vU5eXT`euK#7AMXPV z`qbg45_q<2l!4U6Z))UkxxEA|1Ab*cRvz>}M_=$Ev2Hn_s=u#o8f^+k2N@B$;gz5m zU3HZcVWFXmmf;NRFf#cbbysn?tuNIxGClk5cl{BcGJ;bUB4N3hxA{tpdYB+JW{5se ztZkV$8Wd;F5}8G*#K^SbEF6y?LY5sr6bh_>ogeBt@`25PUT)+kx_JCLc8cSeOj}7? z+fTHS`4|;;9aqJF&S)lHToM)XXhY{bcVv!D9#>zhaIYq5DyJ#o#EVtA+Ds~5O_CwZ zi&7^Qy=gD)V~{F#-uWMzaMX}5{ZTg%1>KNN>aig6NC>-sQY)bIimQ)zI`HAu*J zJ%s2uf`BjY-k=w4`N}2VDced9+ScuQS|$78)qcZF5pobH3hc>xw;ke9qZ=MCKnK2> z)9q@DqE#U|MCM(BpZP(GcLk=98ZC~3M=+9GH(jKx^^ayBbjaVqNH`hdReX$k80aTE zvXJ*m;fTq)IOTYT)sXzkFP9xH(S_ae+UMZtex?*56BJMV zL*RlRxSV#E3{Ep!ZpH|ntEaupMP8H1scQPH^1_?pP1XuclKc^~zEYPm$U!-(2qGmB z!|@4k?NddO9Ky5e3e&0R>|mksxX?;%peL%c*z6OkKN2s5($bkV36*Km<3Z@Kf=A*3 z@kuGDWGntwj@b_&yqhu#O)vgKKI)@O@|M!r7|;9 zMUG;2A47!IY{W0}eh=&{8WnZcvWC(C-DM0Un|TF?7dGJ0%<2yU`wZ~q#T4=5=6@_H z`|_n=)dT$L;LrPJX0twt%8Q@{(SOniW+y`)977K z>hL9hT9vRV4`Fp(asM98!Afr4pQ#HAv^ul~$>tos<=$bG)%Ig=adS@A@?8f#AOK-W zb=p-0(@{H=7Yi2S=M_13&PLsRMnf|6Wg}08zu%@zGl$8r4A39!_i4h@aWyYG{3Cd& zO7TZv<77lh)~}`_TU`CP+v`W^IYd->ZZ~;XJY{Vp5P8ViadN6BQa*D-ncuoiJCv=P zd;@zy_@AxV@TxvV+fd@A6#Sif0QLR60%Xue)v}rEbW{M(k-w5-<&AsjcdqkM^zrGl z+wNqZFFzj$Jc^VC0~+`a152@=>{dRatq$%&U)JcRv_8(3x^7)7f3k^PPMaQa6l_SD zpE2`xbz0@iT`CDAzoCCJyz%PXI7)ZW%t$v6ci}TxL#Rj&FQU6j-CD4#1%?aCcRps0 zF|?~olU1l<{-j?hlWod;z<};G5E%OSW~7Cbo`#yOy45I(MSB+2td5eH}?f#sGfpP>?11keOwA1b!VT zV7z)8ac_xMauz4pIwqx|7`RIxKLemo2-Yp)-Dj7y=*?D0$;Nl9XUf$(nP-@-ox}NCd9NxSe~I@!;VbHn;{tliEf1>`@I zpa~z#&(_3RUSM-V>xgR}$6z^j;G4XR#n+6WL9Q8Uw^v$2Sd2cC0sGbFljp1h^xw<2 z*(853Qk2p(_>vZH)37TF9q)934V6&q6syCSI~Gh(<9kZuCz1lxN4=Ig?YB=znjB;T zBB3`*b^4lm*b_}AnZt%rSE>y>a(5MSzJlJJB_2|l#&x;7mhPrzDtjZ)gSp~4yFN5 zp;?6d-I!au@iY}>B0qmI;KuuI?BI_leU+_NyxyK*=swwoPo#DtOW2dkDTr&0me#V;S1>>QM+Oy$@Up!kevZcpnPNvl^KVf zuWq_)4$_)wRZ^8vcB6iJ(y)lARY5G+7UJP>iWGK!mTNq6<%tMPJMR=iW%!X8E-ISX zs$721Fjzm1XVT$u7clGZV{bao69{jXAnO{p%n|dO1Y77{)%fK0L0Oz=4m7BHjPZ5_ zZ3=+m8zk$EZ9>6=19Nh)*Zf8a#rpteX9W>6$(Y!hIhzx6axk+I$4;1%03)7W-dHnr zFK%NQyevDsPK1!bcao!ngAanJRB#CJJO%=U=jc&L=2CtbGIB7IG6FFJ!e!X#AY#N| zl|rROB_e+qQ3a8Z`e~(dERpiMGK%_1{o$?ad>y=4$PJ5=98CSq_0Gx7*a=5$dYhT) z2%lBilde@on`r=4C5B%Ra5H)?8N1$z;D-q%(dcwt+VpdhNeng@KkMQo&1+1g)!7KU z^8{9b-RNg4O;KMUH}o@^-*7Tp1GUD(&bK4KtTujN{yPQA<52{&->HpXYpu0QO+(wQ zc-t%CfbtODvHn><%FD_-94=_s^$%rT_6u3xJZFong{;+?W>UYiwIQliHna>A2DIrerx#e&y3=U}3%z$}?nim%tYZ4wSDjK4 zXB_X`?L8U%{~S+IHw87uR{jjsj@XqyMTy+Kez`ub@ZTMpNQ5@thRoL-UmOs?`)id!HQWR8L88oB zWrUWill^nYOwC)K^CRpW@VCXf7j427+nwLxbPot+rmr&LA{lx4b6KC--Lk4Q|m11l-Z)QQ?8g&)3KTN=9sLVOwbgYjFNxe}}Z$ zoW8DcX0N+kkkDzisC}_qwYrXAxo`NlzM)FaaxTHEg6_^gZ=2oDz63!roipR-fZ#Eh z-_?N7Zn9yd6#{Wt*Pu(qLL*?p%h933y5QoB;J17B5`N&ixI>NL>Rwu2N?qpcZtVt5 z=!*ek;;Z4VV)Ejv!5LxgAD<*IH7?CB`zN~f6aNt5S9z>o+{Wwfkf^aXo&OP?3S-CZ zcH#CbKT~XGfHK+;#d~=NMF~?0P5l=1&JV@_-cJ(>A8H#asbFLZ>Nq@+9181f1G^CKseP@PRF!A+sTBn&i+ECXzRKot)!>-5E zlJuAp+LxS~J-uR4Slr%so_J$Z7ggCESA>1*n=JZksHK7 z)7QG+-zW)oX?g}2NxmQ?R7>A`5Zvr_lrD!>N`Jw4i%ufe8gXL}a?RX~fz-w@QX!4Q zN8o2GqjwnvpT>JrWR_)aHG4CE;w(pz4LIN6aU)6`GK&>%lz$1o;Pey5=^r(MFd88; z229-+%-Q={QcHcdGfd%>1z`y4gnFz2<6@zMdL(b+HKcb)z9g?zqOc5_utLk>W8=s} zzQ9y0b(zSaxP3j=TYH)p(l_i{)$uf$SoEJKNceaXV(xqm! z4Ag~PEtrdjgAnVU1j#W-U`lYgPIQS7nCPv3t{#O_^k&T5Q1_HK@wl1*8N<_I@GpYWfrCoi{teXhu2ZX0o1jH z`M9TPx2($Lxjj6Q=cXE&3~?IXO=e-0hR1UM z`4u;WwTqaRhcni@s-{MN%GIs1L77HX3U+FT5&e!yB>CmDAy@K>VOql)N)kGZ|GWI% zWaeMH%t*rUOs%;C3dWlN-M}SktQ-a}MvkCF!32C*yzxgmKI}6Ly(hnEUb$O@mkKkY zqhqUZb6;Pi&N1UTW@Hv2z8Va6q?D%0g6}gLgeqwtYw*N2K9ZLxQo1UCUt092didP1 zloOYb5FwyA7EV|veyk!T4NEd*{Kt68_`-O{7@G{Mry`81S8!zuApauaP0{G~d!!wC-(>Y_$5WMOmyH@nh5}kS zae7O;r}xbdDpubc(Tekfd6!K?G3wPQrTA_0diAD~N$aMO!e7PNZ1umq?TSfyGp)Yr zqw{>3xA>Yql<39X0@zjS;o{vq+urHQ`ejV|3I9=pjZ2c!ky}a3h%dt|h}l>xjEUB~ z%O#&ZEkMeCDJWqC4*uW;U8lRtKjqwS6|a_CgWAuRSb`$m=uzA6_pih8GV56@b>DQa z-gfmF>5Xj>wY@AFFiWmJPp`KT^e3FSpHDF0&H8sAL9KR`0|5bFo_@$MT7z&Uew(un z6N|B=lx7d7gt5iNxeIS1 zvT4-|(c9AgO_964r9g?LH0xdr*EFxTRr+CgQ;?ob-BTHJGzqc6KteT)eU$FT)lKj4 zcp9G8HvJx_NcVaY>a`G)3M5&{gVnKnknD8O!EN1qfSqR$*|kE$rwTF5Sn!aTO>6i( zT&j7jwIq8a!#w+N!e?o=MFTPm2{KV?(l3-XLj|xnj8yHY@C2}kOvuA{O(xHolG*o~ zm^Z-mZ*zCU9j74QMqpw)=I(G(&_z$|+rq;g_C8>l^U_leKpw6G#|d;Iw^P~0E6!V- zSK~qelON73Uup4*bu3(p7@mtaan(%{=8{qb-n0zS<7i~lNFN^^x9^qRw`^sgdBsf% zP)`}KYhdb`RuhMQ-vn{fSF6?!R%dUfI5DtHnR=StA7Uj3c(J! zPrIFh95>l`U0YkN*6q}tC+_=77kVBo_<5!SGUUlMdQA-zj|0CNuNSd>ulwZr zH_PQS^RIn%dXb z=Jhq!EOcL^4nKUg&ZNouWOkC}fZDu?=Jk5~jH6CA)~G$DxlQw)FT-M@bHvc7C<3Mc zXx=8^;rdBy(C6_-J%jcFp=ayyxW!dp;!Dx<)@7tCa5F@w-u}oq@3eNh4!g?hom9S3 zYc`fY;&q+ol)3s+Qlbvjy|i-Q&B%%~>2NmhsrrRp@7HWn*jN798ebl7<;12;BL=nn z95nQwztjeEDt-u|4^h+nAZt2GDjfrG24Iw4MU8yeIta`YD;{7k=_L<=`GY`@3hOd} z4g6?iGh#g0cYVv`y7;GWxZVD(=yl*Vm2|UV=zZC3@6Sszh^r8-&^ugf8@1H%F++$@ z1Vz7A*5;zi<2`b2ZW3nf=fsNKqAIg^8 zaR1@(6Fjw?e*V%T!6Bk$hMGhFcJT4Bft{PeMOAV;4!VznU5dPfWYq@K+48=-B+(%M z{l-m1QQ~w!iyM*3%v<@)ZN4Yq$?PE$@)U93)~ zaKB!&^L-s z&ZX{N_sVYpIr~Con6WDy@`ER_`?|8a>%3Bu)jI3Snx@Fj8dMfwU9U-zx>ieZI#7v+ zHJa$I9F5%)(2U#S)$+i-#aJhOjEs*$J|eXtA?gsu-Db|{S!v7TlfpmA4hqt-vQl1N z+G9^I$~h_7Rxb9o%z6TRt_ru)6Ja+XuJ1y6-ZxLZ|41=Gm_R;3ft0-#C#smV?)Y0Y z1IMDRCxLRnRBFErT}LiRVmXFE*ukt3vp2?Y0Ce_=5f99%AG5SLv+Pn;Qlfnv(;|iC zR;2sZJ(Byk_AG|Vk}!JYh^FvG!blE@XRKh{A-h*hlDT}%&hJp*uqi@k2j}7FT1mXf zshG2uZ-{S%d8A1|$3Wj&e^X<#^nJI*`L4ChFr3>Nxtd6h=VHJUmUY}_encsvih6`m`X#wrF1 zP4F8|cUa32m>X1pR8`5@CFI;_bU1l1BeNZ1zft?$hE~ps_IV#MQ}+Rj^!;;m#dElN zyB0RIAg8CQd$jHsSd(L~OoS7^U zQ;f3lWD1wI@~2{&@}RRwb_)&6#BY~S4o~aK6UJ^x&Fx9u3@>X^t$<@>iV}; z_ZCl+CJXor2nadz6y#*EsY1#!Vz6w|;H@I+3!Ze6GaRuy!>fGprwGqErQV-&i*U?? znV)0aE8@*qX`uB=I%7&dnO3k3(wHH$&|RkOj|bRHXtgni%Zm*sY8CdGkmK|mx$jYtL>*ph<|24mfQQq`dg--p%O%cj-mdC1 ziz@-pM9$4RkvVE|YaBZtm(rK#Zc;PP+HHJ&e+ySlXjl*CHf*Ci)U>D=EFZo|8E(fM zv~hA^muO;SCZoV+XOu?^Z)x5lY!Z*XO;~FbKl)UyUPAe~RV&F?WONS7?0oy}x!DfK zrrm%U7Kd=f9)TS1^RKBt6+D|LeflGiKAl+LW6Ea!mZy_X)1DD>USCyy)pk{al9k2& z@7k)Bs`klC=I5fmqI`?(q68WX9D$o&TOZX5hPPY;z=I`P zRf*^qmh(9>Px-MTV0-^6V^WBHK_qDfgQ{y(y87dG9IC6(W$BlSuO;fC!MaE9)AXMy zNr%JC+1q(M<5zzsb_e5^B4JTH$Vf(wl zYmaq7OfMh(DtD9I!y;+MlYposDD_Q9KFIdB+J^kt^yS`A$nDrfLT(h=ALbvm%Db zz(l>#kr{QFlxZ4o2oLo;kJGT0bS>A^Otl3RZ3~m?y75E*DY8upE5ciBW}>Bv`QimE zP9^@ZD8%flZyy-^9q4*O19HSJXy!ZiZgrku&%E`nYKpby>culxYP{wGFR3*XY|%;OgxUg;yqSq$wW`VL_!{g+ z;}ls$1@N%Zu=Jb~o$ix~$wJ!9a-P=*%?t88|0rnR`Hq#<^*N)`M$$S-(mtDzNK^*Z z?*Tct8>lX0g(nRz&sRfk3+?>-Sk;d`qh<1kzt4JR)1wDM*L#hf^#P(!b)3UnV(p$4 z+asAT$Fce^&pK%bcixaRiN0Y4TB;^365j5Gk&q+z+4dP7hzz)qM}m@2dj&MIqklN- zq^kS0oI<%ph=S*8Cq-@IgV^SWvl}fK;qxZMEsa83kQrI`9pxVXl zN#9)kfQeMDMZYl;Tlj?=d!#0%6|QYU{Rh7r5l-8mY!RHmbc!%fy#`aHRfu)CPw*Y> zm#61am#^$x3LY9hlazMmY_yn5(E4PnWbrYbQZ()jR=~OuJ#hCvv+DD``gh$6y+h)e zUZ!c6R(FN18z$T3)3LXt^q8NL^c&81h)`ScLhLygeb0mUC(2xKJ5{SoKwW`FBphtN zwbLJrol3A&DlwC42Zy z!ZfbYZGjsmN(W%{S#g5k~b3KZxw_Vn<62iEb4vP zV|TWNuom>=onB=3Po%r7&)*+$Mr=ox6ZfQ@Q<8pjrP*EqR5($apa_-%Z1+4Er+WJq zFCC@&l1>LNIl&AL?i^w|5Gh}-?o&W_anH}4>I{QO?!v9&TJ(jotwmcjM%3B24R5)> z98w;TInRn4^sHI0QG-7we_s*}!4AWg!Cu1tFb0Q$wb?;*+R-weEtVcPMt`^R>x9T# zaSK&twt?3h5QyJkD=^w@Iu&M`d{aW$dfJW}I*d&?XZU^{@!Bq|ZnrgsgA~OkzbL^3gBzzt09Xe z!y?}Xwm!F-qS1~VJ39LE;^h}b;4d|~EJhG4)*tgYBu$&!-VZTxvvKg+AAvaXwuhTm zU+!a9pB^=iUXSnVrQiLuQ)suPW0`5{6x2PmeuM}Qfm9+gs+fV5YUhV~E#$Iae6flf zh$Ps*^Q@ix*|L~u0(7xkOcu5SoNT7>`&=#SSU-?Q5|kQ*f4(_^LsRM%g{8Ol^zqpn?e64L>lBIKxj6O5GLL5k*FdS+=_ zDXq-uj9UIdjrG$+Ou8z}BL*iGwLz*e{uf-$+;&dK^SF?uk9#2m4;`}l6%N!SPibGcaYaqqPBLSa!g?`r*ov*0{W8`LsZR( zD4~rG$S_+q;GCRUn#vmWqt8Tyy?gWr9w-^JSbKGZXlO)VKik}Pk^7%-F+!owH2_31p! zW0o0VK-s=vOYVT*(ErL;MO*y>D47rViE9yV814{mqVa~-TSUJS?=u#OkEJwHlWXv1 z?Bi4JlVDw7yPh_8)S!=!_M$$jtZAJ}q6f~8AA!dF;?}d9hG}mfY}iW%2R>bE+o)M| zP|sVdS+ok0;v2$HMeJ~bg{9W53GLr8%C{_kMyH;$+_;(Vi2d1ADi%Nv24DtFU9p>o zSw-7_7nzKF9x`mwo(o&L_+cCJ{RvQ+Sld^eRKm(uRh}hnXpNeVV*841!w5;-LiFh4 zQLblOOrT&Qc53qaZS5Kf(oUiq(gs#G;-bZ{EpatR*qM$9g&Kx?gy;1( z|EibLD=WP&mDA&;FMz?a1}^8W3Senl$P>D$sHjS0^`}ggD(l+KHBYsLEarE)M+x&g z@TZT|F9@5}>)X_Q7dd@=SjXkfLg{LspnEDbKUr`M5hy&tK7H$}soKevTq-@Hv&W=+ zj;Jx~9pOm%Oh-qR&R{#cIz1B08Z8e`+dJ|CxhSoF`g7oOAWdqU3heKoB40{Zq_s_; zqT8m*O%z|reaGT&I6Bm-vDCNlUaGHwjo-w0#q`3N{IqX}&Bl(k+JCEE zW9M2dF8bZfY4Q`4zT8iAYTS|Sx%su&KORjXjlbt^ve~^&!EeHegvY1kX^I5W*2NqPEJ&6IhrAhpFhy6L z%6IWU?RvUn6lr6&C3aBcgxl72jmoPgZh5CTr=X|oMjBGlv}F?F6UNHC%7RMytDc8F zd+*;Kpy(Qral)Qgi9cMUei}39mU73qLzB4Az<3{8dvexVpLkH)P9s2Z30V4-tV<-f1xigy;R!}|_Bgz&|-dwAYgsp?J@l}Hj-fbIU zwcclBP-uiaxJWT2>^^xZ2E?CcLzh%yx)gSS-QNRZylMs^&xdvo$t5pRC<#WS`-+iT z!*eIBKj5!C^#zf|nWfsVS4J9Y-DUZ+4=$gy03dAqto*2=X8&Oczv1ww^rTZ*@_-mB z430ms6bLbgnUEyT2z=awDbuf;6gc0A=LEvOS<9@1LUJHlN1)&_6d}%Tv^0^ebpILb zP5^|>^`3bew=#yz<;dCN33WUaNv*n!yK%An<~F>S3qBdnGGn+rYN(!HG`v@1=T#P5 z)sfccm{6wlJZGcg{*+q**$W|l3XzH|xlED*N+-!^d6yihxR=Dak8>-EFXQVjP2$^) z^Z2=pP5B)sg-!3fiJt_MeEH)EkteY;(103jm3!|bU$?|~AC6c;4I|^X;JxR)OGvV> z8Rv2XP5hDaUX7Q@wKd{0-IUq2#ym^1^B6AKqEVig(BrYLTK%G=o86k5=3Y7ai!-Iq z{vz~soRk~io&h(@UMx5Lq2ybibGUbb$d3_6V)flZZfV2_vRe&!d)F-9UQb%HzQA|B zv&sk%4;+u$L2X_XCXgl_9nWLG$qO_vFpCW$|T5lXYtM z3aR0|n^`vO3(cYR)Xw42e2oi3gur1=i8_i=Nt^QwXhDanW?N+;ck->u!fyk^a9W$n z@o(t*9SP++%o$~+d31eK%~~uau@=kl?Xxmg!rtWgrqO&_%0Ay`3TyA55!HOYtJ$rc z=w}QbS7hA;-EJk<(&C${`mo~X59v4;NhKE6I-c396;1Yb?=`4s{g`~np8~w*CPis= zHRP}hFEdrRUNGCl^PIY!BVtzwa%;@ye;?L4Cxnltp{GckfF~>rx!80+E4xk52zpY* z&!?ku&C5|ah_TazB&@C*Y}H*xgn(PR1*zmfRUzPXba3T6N?h=GRDOTc<5A15dwW!P zreJ?OWWI5)_K=;7&S|n59RO0JBN*yxs<3LE!+uH~Ifn^}YwuFWCxkgye~6Eucdd+; z)52%1{`?jt0#un54R7>^<);9wXb8Q6Tt6sDS&7bwQ=N*bd%w{ zXXlW+qiLdzDT@6IO0fQ$t9+W_REajT+gcSeX=U>Tc)l44Wnu5{nW!}ro5=f;h@df@ zlpgHrTqs$UqEr@egA|7Gz9Uz1NdgxE>bA3zS+E;tVLFrXwX(_&u(ArRa`GTX(FnR} zz3%icY;cJbLt6CfEp!n@PpYcrM%XYWuCjFaHxNsC-ZxOZNT8$~Ev<@yAZ2M@7?Ux* zga<84dz4bLqnOmTQej*g@p^xK^y7;i+GB_58WAB)Cjfo$WrRHTgFF=s_&<#$T6w?v zQNJiaiA=;2e-D1c&5qf1{X%4Zz5#EtW1YXWE-#vHg;vD}|3SDYdKf1*^JE&i>29vQ zvKG<8#%S^L8`sR%{;mm{+DXW*=vMLU+P9VX$?TV{BRoO_4 zYQv2ig#q$IJcnMlAeBJk(wR^;&QvHo!06*jcV22vqpjT0)Bf%x4zH*x#ReKzq`KM3 z=Zn((j0{o|kw;Uk`H8gN?Gjsnq^`l^IS=U*Rm`qC=67ezIi}^u1zm}rAMT6PU|Z*# zBlTrIFy9GF2>mH$!Z*nYmt*+qbcnJFg=7rAXkOiHe{k46w)_qC!BtA;op&e4Db)b) zX2w>A$(v*iJ&WMuaVx6#y5@)jP}~Bj)Cq{JzXOh&x(FR3P(9%91mBASC9P|_QttzM zb)4d87%U}d*UAQ>YZWvY9OZsW@O&jFl=P1v{8CCRopiZol3X2@5i`PwnL*)|fD^!D zKPmN|0EXeNCrRpe)Gc#SVw!@|Mi9?!ObnI!Mh!*goR9-0MW&<&lnG0oo1hp2-DcwO zYOu>|6I`9KP9wXa)l+)}%D356Hu;*0^D&~cH#@QEin8#cax!Y_s@{h?5BL1h7i46jNg_uFCh}y9SDzyKsV&&lc2V!Rb$9|<|XJvg|&h`%mW=5<5 zt2TXrV_|0o$DWu;18iVcHe%2}gV>fB@jnKb74%B_H^$7y@h^h-D!1d44kCxvAJam22eQvhI2_J6suvi^Hp4$!|PbF#Di?aK!G7axe7`SrZ~|B^v$ zoZ$aR2L3AsAa)SzzcjP4vi!@Lg$4XCjGYw>`PU|F%ztCdAQ0Ps$Le+e*8yRN{5SYN z7zD)nHz5Sf@i!reot5ox?6sI)E9pNh|C?YCgoWc@i32ge#{aK{ufbyfJ0;8z2nxasnf>n&g4tL=Y_Ta;qDXA4?5v0s6r%ECi2nx! C4kYFP delta 14449 zcmZX)bzEFc(gL`lo+%34f>p_FNdvF@byfH8NUx84 z-r3$Y>5J^B2c8ps-ZAyodGiZZeCE7z{gNL*QdPIB+40udbSl287oU#ae>m^b7fHP< zcjRgJzRN&X8q(od2JJQ~jngtxmfZlj_{>Um$|^wW^hWw5zgl4mcL{H1Gr$FkRU0U^ z+^sKy&;6iUuJNjupTgs%$L1;rWGFGp_~r~jWeXtHLq$yDV0UDQmt+}xyUG1)84mv+ z1@ZDTvE2YqMpq?F(b#bmU5QxP&l&*8roqPcG(0`12^l%tJ(I>n>@$UgqoLp|Gl_TjUo>GZ>4 zpAxK_$ON>U3;u#K`u?3Ia^#2YJRCb~>p!PByKbve2puRD81%r2b^H$%WEE0s!lb<1 zepM!3CVrKjaq;AD%vm!*Arni1yLs32T!$c=kX`Yq#tSP=1c;QTW#o9U+BfDL!vdAh z6L7y@7`*;iO+l{jtY1S3%UKHB+WaYUu7-ceT8ZiwEo9`~^hm?Y71f~^%Ih#C;DE83 zLA3Vy;T3?f0-)2Kg>)Cea2gT+(+#h=*X^Axx|$R_2ajuv*T|!p5MAdu2Gl!AU>9T3 zjx``f6!Bs9q0?j@=IG(7krhHhQWP!I+HqU$NXMe9CI;I%-#iT`5p2!M1F2J~S2i{4 z*dx+8A0^4LxnPyMzy?zVDU(c8vIW9yT06X^UvqF%1I{<}>4eX`IBp$Bzl)jG1>fx% z4gQ+ojVV?O5G-6Kf6J&f9W>hya}c1oNqkz+5Lbgt_W7MtW8yr0)7qK2l!g9^%^Gf5 zDQ6(JmP`BCaG>E+F;eiMdQqRpcc)ZpCtM<))>hNZNzULo3aw>g0k| zI%xzH9|6N?DzD@PHAr>B$B8s`SgNgs zlM@AetjrGFY%yCJNv$yyTI;35_f()ttK@pVT zEI)lGCEMlfiAmo`_n>CTji$p|>fvdf-_=rFEPz*RV~sVcuVGU=G3JCF6s<}G`K8fp z1=Z+L(Oh7Rf;E+13F-x^u73Seng1L72GeaQAs|owyF|#s?%^siE4;;(=n!E*T66&z zj4EGc48IxUJWf1q)x)uDB3a9YAW?~DzkN@opGA^=ZI@xqG5Yo=M+;eAj=Qz#XZF-i zX<$x}XZD1hG~VG=mB}Phye2#9Pkyg2LDVSn@dOi^65bn=@ERT723}u88;1hcCs<<> z(=fdwXt5aNtOw3}6F++ReJ(@T|FUChThy*jmo?${8`_h0C+0#773mDZ zm+1{S#yGKeGJkZwJ!H&Ic#V`i0&jECVkhtB*e! zjvpy`c*q0I%(%*(Rd+lWD}pa(PDSW?Z(3imGm0Y-O+SBg($_IShpdnQ32J_!y^L(s zxy{|rm-=D0H+wCQV97^r^3(nva^rVvSoABG>X4%7;AEJ2^D@+pksiFUzPI_ALIYS@ zozw`L=|vXd`NTfQ-{#F-jy>b|=X@8d(jEhulnoQg>6H3?Fi|YBs%dhNLsUFnHXE@L zryy1sinRLmS|LyPiG5G_=<#9a?L=8qYJUJL=W5O!)!`qPNAi3~5y;Xua!iNym1{+s zj=dxSf)A%8I^Ve21oKvy8MaT_Z~=f_XnA0`knpt#tCUZkcRX$X=fq51wTlX_xI(_J zvBY`;Z5yUV**s%t<1AVu)7R2>JUKxIKU2fdRuZLa#$B%NRP~5LA<6b~(=oBFO;fd) z7c_HPj4trBE|;BpFbPAO#e{E-GMISDoqBW3q#AZkhXl$JX4kE;M#w?45v@SsYKdd$ z0nWvu{e2&jqTltH|I=K>kNs9;;} z&+D;=f4y&p&dS-PgW$ld59Lp7mAq%Kb>efXYkDU;n8|e%Wsp`=r*fKjCgh8=11ehe z41}YNY*uP0%g`+>@xe?NCjuki3OLtYEj$8ivbVRjP>Yyt48E#o#kIv80{@y;YO9yeEZe3(nsYY9 zw-G@Si}iH$6=Nb6^YBq$%(4^@dR-quJ$++iu+5?na9WBs5RppYFa+>j!8p(euO<_5 ze3?$npXEUv4@d(Z3HiCA+@BK?deLm8+XeO>cTiVu9))*`3d5l~S7HcYq4~`fV(a-U ziU}{@Db~jH*7Yn5+KRCwoqZkH*Xp)D-{l~w~%AP)a zpLkt=7eH~hwfmMkaR*qwm}|5hJH4=AQe1H9os3E2L~Lr)b9s!lYbqPn<*uM!m|JG; zT4g54mTr8QJiX&~7qRRNsBGME=;}dO^9xTu#m%i3kV3%tkl*i<$i`V5d-)g2mMsx} zS*&|ht{7K=!95INX_=N8*EU_TAW%oftuS966-;(zDY9rTSOMbt=W$MHxj*XTXcWwl zS2z|TSQm{Rb79?7uCWZXyJ9RIz2l2Kv=4B*_1@EX4(E8IK#Zts7-MlolRi3) zPgU+L)0NGvr`x~1KkmpAgR)?#6f2a8B(y_)R~G8XgRy`n{wcyZagg-E>SsgC#N4qo zI{v{%-NvCX)&OuqZfW!gTixsbyc@&vu)IbSwy-kTn{@t#=jUi*kz7$mE~!|LHoI-A zi}x92E(3}AsfffbLn&r%MP-W` zmrjvF)-(m3Y21p8P~=pK#dEZbWRHq0+*lqh>EN}|8be4`w1K46E+L2p%Ef{SBsnc3;js-Wxd|Z?r&~5S{Hq+lTf+){GyeB z!vMPj?6EwO#|xrzqlXQG;<@nBM)dxCNCJtSJYr7u^*A!p(qb}UGk4PSw)dDgDM`x6 zW@uBN4CGUqkr^!;g4}V79Q+S5X^%o22JhC<@@fG3K6kOhX3LBmnkNKpM%c6{>k5$8 z#DdXRqlx3IT1=P#2xCbDE{~sKVkKOkz1gpGJ2mUyHz`2^t1KaF%7Eyz4U{(s5WkJ z&H+#>)ug0U_u%-pS&`wn=wUns0h8;znK_sKn^>HLkD=VfknwhazTo%#wf+H>AWzrOS8zsWG?UvMr z9kZ|MNZ@F2r4=Z%bA%6d0w2*pYII7&n3~Te4g#P{xC{>9Y?;4pbQiv7A8tVixKmYf z{f@d4Sc3}^ApFIm|M#lxc?E-L7Jk0N$w7krLqy;tV)vIiibi2q4e6K;F$b$6rL$!1iK5k87&0Jd50>88YTuJUdR_;8%|K*#=5*Tu*OY(atEU*5AxkWz@KrN8!>1@bog^1pD2UZ z)wUT#qwE~hH5xMQL(a=sk>Cb0KzMt0+fH>(5-@?i@T7DCV0OcfZv?mtiJ~#3K zL>R;(cu&Y;&wuW)bsj^y={`W7>h2sLs>c(bjf6FR1INvW&%4T9YQkNTmBfiaYhr8Q z;uqpC!m5v$-_9kRpm#xkb}5l+^&jE85pjsB5@0-{C$=`sjFcYqHRM|VJf zgR~lm@aB|uNh7l1)is`IQjt(+#OoaNb;KZWkaG@yQPlTX)1hD$PaT9so z*Ge0<=LQ2lAGY-J#}k^2;vuPdN7`z9NvI$;3v7693R?nrv^Z{!6DqivS07)q)6SB? z_4Q`qc7K3Np7BHIR)?F0r-u8=GpkOK)~kyHH`A{HCxcXnB}xMaP{MK3RYXfBAj2`o zZ?rMazUm1?a^n4Tb0#c|6yB~J=3^(y#OoJEd;Fx=0Tuebfum+D(#Me$$>?+-tL`|q zK~16@XnKosY6{Q$#U$_gFaM*mKz=Eu3sd(b!=*L9q;C;^|DJMQ8KqSA_3Q)DCmttd z@ChPnRgV6_tE%k62;|fqqol_Yp7-aOE&Y(oU1~a87F4-QKV5bQrk)GrXMhR?Wg^aV(B8c9g%egNw)V$Cpfd{Wc#B z{^7&XQDTkCN`RA>8#(#|mu)9v-8c~@RmVG~5BGt2?BtlZmRJf?cS+ZIN!RcLB1Thc zQxu?vx&2iCm%AIL>5%2XRoCjy-(TTlPK9o&_`T9d;er>o-}7YK!i8O;Am;_9j{)p( zQ+JrJJZh%}vO`|g7-PO!jnbz*Ekcz-6Sg6MOLprj^9RJUA5Su+(aGHWWFys8!M1R5 zQ?2(d$-h>J{rlcQ^7R`_rc!YUW9}-_iFk5q{W@hP0<0~MfOGBMXp7T z#X&%Z_-yc}tXP64e*_4}(KzUch5D!LMmL&KrD$l|fqZlgR`mIyS8_uT%wU!?renI{ zgf5=@bmK6x;OjP~BT$;-nwf&$pYj+j>pOfCf6V_?vDZ^+8~iQJK$3v=Q^S=kKEriM zGm4gE6t^n_Bbd>uq)Bioxk~BWoMasru?6_(LiBN~q2%OxEW4agdS`W-p%aEPp+Qy$ zo3BKnp~Wo=xhb`{-3c~R#UfMZWv9x8HxT&xd;Vc)Zpd>uprv^1 z&-rQ@#+HxxR*KLUj)kE-UU>9(= z?cTr$bTrlaF4otj%uhH=dP!}^zDI`>@)n&y#RUD6+|a%kd_$&gEdLm-dp?`B7K@su z_u8bIOII-`ks6`w4B_>0)i0_$AMqi>t34r$_%JCAQ}Jx;`%c`&kpq##OJB>bx7no( zka?3VoG2a~9%6+)Y{T`}TdT<#cKp({dwdMIO3SBA$8QDy45x_2j8>qxB$VM1`a_`bS~?tTqcamg%-blAuD zOzh+8C$dR=5@7vcVI7DzU;M9?g@CR`1AO%ner{q0^5#vr%!$(c8dbLttav~w0y&T9 zotb#H{e39J_p-o(lLDV!&iqrVt~XO7isocxBdzwz><3#B+a&GWnF90hb<_5xXJ*p>RNQ!srR zD%tz(^wVk{p^ok2$5LEDr#k#HO(|=(~+k(6(PGk_4;ojp<;i0W8r6b+aF>Y$7z5m4Sh0@ zzZW4Q@}yp$3e#0dDS(ebrk)~=^6&%R-*oNz_~BRD-F%2*HV==`t@h~mGZg+hv?K}>Poex!qKmEV8`rYw72)ofxEP7oow-%9N z!s{37MJEw|^t?m4n*VObh*Elyso~d+voa8 z(4OkFbg&6I&DE zpVLJ*`IM<2W?4#C2gE9ZBdCS>V!zwTZnLcN>Sa+h{LE%`_e2s1t}IJ6m?WB9AU--l zs}zQ;kZOEz9Lcu8Rn-PPpmetI8@lA0Q40N;)=EJgdIAjEubGCTlIdF6p8w2rl|j3T z{EGCe7G3}R7OBx~be=vqWYIvIsioBWHb($hJUapi!Jh`qoAV7Magf4sR^&xXnr7=v zBP){9=!P|IrIILFqlJZZRGW?oe0^G&oYdti6gOmuvAv9JK8b`dsaJ=14yqg`(CCRd zDPu2*r~-UTSGQNK?$Lu=X8KglM=+)5l?4%__UqrjMbHyQDGkuZtEptA2mQChCf@8= z(#6rUG1M~jr=(vWzb-s6|@a_oP6NbX1BFL;kk{4hKf>3^LVHdRy3l zff*L@hd!y+Qf93@72VVl5DE14(JTE7k|CGHYRtjI5lmvqM}FPm-9+67{w)$2T9~9I zKG`fUg*7B(#CyvT<=)Ry8Q0a)(^9GZSAm<%aZpiE=-^v22Brv;GH&kB%a;@@ol9r= zlmSUhii%Ou0t?0O+%Ktm-SiXVZXiH0nWRFV<-7*9sRI2B_2Fof<|7XBEN$36j%P`c z;OklHXj$k`0%A0ikR-mX^otGm_9AACj)OBq!DOM7ltjVJ3nyJ4o^qLCtJkZ9=6Q^E zX`2tn?NNnTVinKsndjX5+O>XOGTu5B0CoFdmHUT)EKl<1Fc)=eHA6K+3c(CP^_7RS zp2%%)aQFz72)SkQNS26S`d}!j;4ixdaP^BqQG*_&*qN=BKT^W^^TJvt8 zcU0@LzNMk%swIK?9lz;cm-~UM$#Yf1f2lCHN7-lD9=N=2mv0MhIQ--qWkJdV#(?QvNs?X_j#)I(M4UC_ z=>d9OEYo@WM0V{zHSO3uVsQHx0otX$rG5d6C{BA2^3=`udezlahWpy@YMM&k z1cOlcZRYqkKZK7Nk7G@{5nrSAgX%@Ktk~RQ2&DJrj*G}|BBtGM=F0?rm}nC=k9#uX zr|+jNl9C-RKP-nYmn~bH@2Lq0o$>p-q$Kx9Z@;p99BkYs%!%YoTsh4>0E9eLziYmx z(cvVB~WHoJ+mI()TM7T?JknUF!xD>ds)Ni`ppHTp>Rv$9qx&v-R}S*$7&83gkS}of#bC`U0qSn(>Ee2hl?*O{he%d z7sYm{owf;1T8~!NQ0K3t@|O9j&aA_BmFo_Ex+X{ycWP3@5-MmE9^(r>I$dSHvr}Q% zL_N?M@K`%nWAv?A0Nmnmw%O(_q?D{;_K@@^of;i1s!qhJV#`gIF;lr2l;#qI}k%sjQQX^`k<=vBi2KfAMsgxt?>qz8zDV zeT@l=j;1$I%>H z_34~BesWuJszO~0-aUGii|7JG3G9QzFAO*+TsAgs+?GIjBlw!;hl71oz z&-j!P4Y2eMN~nJF`s5X@hWyY++(+D>-Iv*48gmhI5htH(o?)J2o@Ji5lev?ds#{Xa z@r%e-VP^Lrg+wW~g|=yG&ddr7$;=voF)K1C=FvK;9WWZH*m~$ev_3VwUzkbv`i;vy zDbMt#uQ#|M3$-+%%jeh(K_K8@;Ot&&?QR>Z9&ls3caZP&yG`vB@&9vlc>1mQuk2kj z12|2A4mp3Rt-!*1asu1&`R}%)OJi!wje~!AMO%Hb)qM5?t3QQ$$u``)j0e0XR~XLK zh>UHow}mQdh(^EOYx%4(YAVHb>U}?7X(iwAp@1d=3=bxny%)4gw0< zL|~9*Cj+HmhBXO=*t~(mh&4TXNAoUaWavxO@P2a9_r`8nNRDbBcYOz~`Emtg*8>WJ zmTs+|<5cA>WQT28A{gQQlsKeIY@I~8R&82A&VJoZ)w9g){&IgB0d(b-clvAA^p|)| ztY5Jkc6JgQZ{?H6hivQGbHWfo2enm~CVxJK z_50b1BP>)_qcWE5gw;Tz2R4 z@9f2I4>g_pcVa`Vs&_qU)dC)NE9W2ZQ8lhuF~(H_+#lOqJfOFt_&Of;$lE( z3U+ELy}E0Ko}%h#)h+e2<5HK(lg#p(`rn4a#n!7tI?q!Zo%&J56JD=SJo<5fxeL?yveH3bN$Zashyk)5GoBs`T`Xa=T z7Bx<&-h3&Je5qMbMZ+B=7>;M~4T?1S)-_XO?VFMJf!4R@%?pv7Sio2)ge?pqG6PR; z*KJH{FVAGO^w#3h*s#2L}TcXVJY*j#I-MFU>tdLwNmyxc7RU_R#uUL6%k=h62 z_W<8X&V~MaHSRf5Qwy<_afBHfS(UAZf$_b&`-M(eKu!ba@1>R+dZWazB7Yr!h7X;uJ#qAT z=+#?f`)td4+g>c5d#Os9*(c5#5gCXQOF7_66wGkpP$w)$zuBTeS@WAa#;rZNRwj;`}Xj20XEx`;d4*8b#dl2=nPcF+ClM4EW=wA|N z=oXn%xJa6162ccAcHYdAwXX?=jyt0UY&!*+rFMUmzKI>FE`|-`AE^wgA=s_Y{7q?M zuxGHL;V2lbxCidcMx*Jd_;!0Ak*946a#coe|$Z6f3NU?MV`l=uUt;^ z7Z(TKYvya|W~Ga`Y~MV>D)-cz4v0{k)LtWBz6rAvFRICtrjmA9C$z>uB`S>QnRr8H z4OtBi6_fY@CxI53{TgH8+2u6#XSi&M?n>wvdM*mA)8F#g-QyBef)4GOgbiZ7)Yd{* zJQgRiH+_IWjDp=rk)EHk5A{6yPlXCT3WK;ow&e|yv~|zj`P04p)y8Ui9>}pF|hOS}G+l z<}~It=Fa-$rfekj;tI)o*LZ6imEN7BB`osE{ZvQI8SX1<0i!7DUt#AT8h?&XXLOz3eVg;lK142W zzW@qPc3|r6Woods4#_1?vS&$!B@H9p-gFzL@P&5*S&HI~2jW{5OFEUFdW{YNjVhhc z^>R9(K-0kNtGoa7%y0T!45w(1lf@?2-!&^r<%#qgL-AzLYSpO+hK=z6+GV3na!L^8+yLHlZet&+G^+wQcB{?k#Ve**q zQr9Jk`gSzv3#pj?&c}Q;wAD9~(sQLPB`|q;fP<}U?Ctc0p@iobbw zv|s7gQy%fIF;p1kwY3EgwV%ovOtmlGludkmi<8J3DR;2hpca*^uj+f?`8HF;cz&TlbMmP*WJ4XO%fWPmIa-x?gC^&Yfqe zd6_xiC0F)mHUBqPH%FcQAfP@<^z$=X*s^ZjcGRIc$Xu`ls1 zaV-f7m^WKCdwLuwtQ9fD`%qj7XWf_A(vR`wut| zc+;OG94h}U2vv(y8&h*G(=XdpqS5{pMMuEks4iI97{@ZTR^_F>wxZnY=zsJ*9QZBR z6reUu=LiK%1Mt5&FHGS#@(6a>KF*!8*-_rFMD3V2N{tgGWM34$j;9#WwUDV?+V)aV{G%*PY!jklnWOgl(YbA=hkDXKcqmvX|E=QCSDcRi9%TX@G zQsilJzkA3|cKyY^8lD>A!LG#@1kNH(VZ^x#X8dJ)zsw_u+x~_&y&Zk~fP-f4VPqUc z_L$%%ACRna+uJza1+`#8Mv9{lNLs2|YBpVq-;1;X8+tdjwb=bMxEWbE+nddY@e;ng z&dNUvp#G>sKSP5`+Zdu(8_&a|TQ6-iM%CZ@mn$5tep@C$txL}!N+tQj4A5>J0edn; z-SuBnTp`(Y_-dL#X^=giHn1{b)>1m?fX`exxT=TpmStA@SohkQa9|`owG1_{TKMl@ zc(63;X~(zUW0klXO_ppfy)&IkU7e3TYy;*A1MY!F!w<&a>y_)p#`mu?SuC9MLAuNq z&R?PGEl@C&2>OOLihV!h0O;GN&>r#0rT>HI150dNy$zmFo7!(X7aXMZ)N9m5e{{}^obOvsHJ0Xq=7AQ8X4XS$!HE2qUIza!RNHM0Hu$YB31-Ph{y?#JSVL4^dCiI9 zZ(&%?2}77%qiWUUa{R;ub3;6pro4&BSggM$tk-J&@_|`1+9AKZQJ1A{!-st14KA-U zZ+~KB8}--$65($*o~03=AeUIFfcRrN*_>&UiNg<4pBuCETcNm$Nn zoM4x}neHL}MBFDyJ(Ak!@{XCcAEhBlPh#$m{DP`+YCwr~iFc}brhDcWeZv#OyssTb z&)}5$!lk=126dxCg;kxX^JRVJM^HgbLi zJ=DG90=1srgE5*-wdxqIoDE%kBggozCxuHsYb>4$fxM&F4YkK3#Lm-ApY|AoL!j6^ z){Zv2vLpk9ojaSQ&lzq~D+wMC%er^t_8NZrwvO>9JDhV_@IUNlKqNB@vOz~%&3SxO z5JTVFzN6U1cHp4JjIHHL!IAGy+^*yLGIRb3>@cgwxvTNy6W6p|D--D;^4BVMXSnOh zG5;DPQF!K&BH~!_*L5rWrU}j4gyg4dYo*-FeUYQrsOJZ96z=ySa4p1Gaho`vc#W;2 zUeT>}L9I@?t#z5Lb>Xc}$gUgayFX~FI|=tKj0z29#DI{OPkbKOSK>tIT)032N+(ohtwGDOS@QYoG+kLDV?^0~ z81-wYN^gMNP4=^|4%sKRowE70B3A2YTWAmHYov!Ul-W3n$%;nV{n?A#D?0{Ua*@6*5K4Pn;2H3PGYEl3(2+6+F8(6E%zzfhdB3JLRH8 z-t3?8@XLSbk932**eRpg3FYgQLoPqoK)xZTYQMrfs6)F@4v`xPM>hUt!m(>J{uGdB zy$IB*o4`vI5;T?fp&dgJ7*$}S_#Y@xl)aXGdDc`f%#I_fCa*J}wp5B2Lfeey3y-Hd zTcx#D^r~vw%BTjCIN2w6Sau7wIWdydf6RSD#l$wy7d`ElP z5KIV8sK^RJ>0;h|z)NSTKqH7D!a5A8?*c%xm@!vj^#Kzc4hDNSrwo?{0{&$}v7NZ3 zr=hpkTt0mYYXQUKs~FQQe=psLg_^SR*r&Fn?)wfguB8&XPCoYsUvh_aRZeK(-J^z4 zsO)Vta~%C~Uxa+3P~97b?aQP1Pl_AyTA8r%?up?(dM7+FE95JcK7?GhTK+uZ3j>5n zOUJ)x&vWj7aW4sKDxLPn-7}1QqK-dV$QZe%zwB3%KkApgw2l;RTKbVESJtjYGVg%8 zLcZzQq&?4yywVisSU-`5^=!t!a#sYmR53wE(b7mawZA1Wa^x)F|Ci`(*yZ22W2EMv z3Z7(CZ(_GvNcXO%{alZ2X8m#;dEZ6KI4tDdbL`@wehY=%~sd=vJ= zSkpaMla+sr5x>pKm{`v(hgG+qO+R6bAZ;@2U4R&W^_y^=UUw3V={qRDQh_VJt}tDE zDw7+OqSL6r9HrCoRi`I+ZZ$BWQ{q-C{w!I*88_{V$Iqfr#=o~B#&6z`s;Hw#r?+2> zU66RmN<~gtx~1xFr;kcbT5MY0(>K3wMM~aFJYSBe>r=;Y183=Q?9tt3hQ1Cg+JHERkQL;dsE(d;(ZkP}`yx z!mnK_X~8d35QacrrCfl3dSv%Gga8q}sv8=DaLH`-`Fpt^(w;R)B=5DHbwFP7PXF}Z zX+Oh;pdCKzReoVDN{dz&F1n@fF0>Oz>g2;76GvG2y~Ns@85Y-=btBkcMDmC4k<0VP z%>%+L&tTpB}gAz^OZ&gN>G0{OTl&~aI>W%=W!Kdfz?q^%Xr(vqM zw<2lv1{BGaa&++j`$X5rl3{6#AIfkDlXPPA1)p$yWZ!hIKD)^nEr8}XW~}TkEEz@Y z@e@f7NU}^=?8)7}H4FJi2ECIaN*CtlK$o!NxHoSrS`$ze7( zp?s2pM7a#Ci4^OUOoRxHSb1tPRSz}$?k|&lxSL~BQxcnBAXZA>IiSO#%C*q4voYRf zV3&X17p#(8@L+p9#@SouYsU)@p?{vV?m`4`F~=>4_v^95Q-F?lBJIguz^#?9%%i)( zw|xcHh)Q0Huy=YX$A@)Y=$1ISZRFt1tbuKcit)n)A?DI+w) zy|r>dLi6}60GSs{b4ozp1{93x|M`(ZCqHMYaSi(p_@>=37hziKSjg!pilHBH+g4!g|$2#%3QLiQ2MQDKBsDV>yG$X!?-4F)oTd zL$;}El$6S-XF9|6=X&JWr71r>l5pa8B|V$l3KTWG0cX|AmcDI7K1!^`$f>)0(DS3c zr`=ieSe>&6%-_sM$yADpNFP+SB-GTBJroE3uP6zP_`jlxL0q!2QnUaMgd4=m4hHdX zvV#mjJRBfB5Dy>UKO*Og$jQh3kH~|f2jXA{bAfnyUfAG&n7m+6GM+O1`XJmeBc)X2m3z*yx_?O%8cYMG%g-q5H|-Wi0j1~gp2Ei{?FJiM;Aej<;tx% zh+uYhj%0IFdEiBd2gLqQ137?D{MefAU_g zUOZxFPi8ZFkHF0hPF6Rg0k}Ci{zU`7g!$iQc_IJhGK3xc&u}m8f5L!(xp@DDvA@j4 zzg=dButOmK@PPkEnH>V={kIWzZpcd_{?iCMCpXW3VGsz