From 7910a9e4bec4e23d75f35fe509571f9a63953180 Mon Sep 17 00:00:00 2001 From: Daniel Borkmann Date: Wed, 27 Jul 2011 23:20:12 +0200 Subject: [PATCH] we can leave out subscribe/unsubscribe, since this has no relevance in pratice yet, also the last sentence of 2.1 can actually be left out here --- doc/papers/ancs2011/epics.pdf | Bin 221483 -> 221224 bytes doc/papers/ancs2011/epics.tex | 7 ++++--- 2 files changed, 4 insertions(+), 3 deletions(-) diff --git a/doc/papers/ancs2011/epics.pdf b/doc/papers/ancs2011/epics.pdf index f92d3ac93ca9468169f432927c44eb90d671666e..ae5193abbc74b4fb866f699361c32d303df0c402 100644 GIT binary patch delta 6943 zcwU8=bx>7rx5sH|5GABMbRSP~g6{5?21yC&hC`QhDgq+iN{fJm0*a&{DS1d~X#u(X z-aB{R`@)^Md(WPE=CfCPpY^Qu$KDlPWThQs?;>e&;Hb>~Ivj3vo5)wU8HEgQH2$M| zs&dhwU=>Gd@ExO!**U9pS#|aB7IF|#3}bRWF+iZ@&l=Z!1__~3`A%*O@k@o}Z%5lC zyv!zvOCzsrU3U@StDXX@H0$KP@0!eOnp&#`XRA}YLrV(X_F91OtGFCUl9>p)MN#f; z<4};`mEuGiSB@XL?qjy7|6idYIcuGjX6AuvImK+*nDK(j{(M$-`MU1)&C?_H2XCtf z#QhH@;HhQhW5_dW$bgpUU-P*(5PI#=df@CJmr{HtsOMsv{$Pla`PgRpS)KRsyCE~% zGj7FvUT6zMS-p;3OX#8MC@*jSqRR$MiF1@a0kgkxe7uWx%{JYg@oSo%Q!BQoNt~bC z$vQ62#qfgk`Rku;cYvAIhnQ0KQv=_>`I=W3c3D3bxhDKLjjOGf&$w$t zP8+4c_!4c@bLS`V%>Sxm zTh=BOJh|t%TI~|~BXWF|MZk1X;OBgG)5U%D`v(?OLIXWcgw8hQu{0^~3!FY2bH4^oKDPLuj3*p%`|Jg91&f~fZ|MOf7Qt2; z1a!k$LCl%h(mE25;N1XaSW+1`pPx5hm%s2n-COJ2R?n_H6Cb9^CnEa-`AZT&pFFe) z+f(IKDZ38|>aOusVR!j_{i zHgg|(Thj=+e0w4Arg_ZWw4{A@%>>o-Bh(z;*PHPeo*@VB%aP;T(`8QAA*dOAZ^E_Bhi)PndPw)I~oyK8! zQImFA)AUN1?f39>bnm==)5LNzdOL$m)L7;FWYWbC_5o5o_|bNOTGsG%VSf@b&Ry|+ zqnALNV>HRc+?02mb`I|crZCb7{)y--Y?DERBx9uvZ9(@_C+^@@%b<`W{)VhI2@Tjp z=-S4cs8w*4MsQz_tKR33Lte`?5Unj1eoBJpc*?X`seKU0D$jBeN*54@K4DXd)Z)`F zYE!0zEsMEM=-GKCc?T~G9bRR+xg8IB@h80Src}4Vkd!n;FoYX8BqF;PPGq!a0Pc$f z0(FS0lHp7m%==n(z)Eo0yLWQRyE+-FR{F1c^2eW~Ni1QVdb0JZ%R?-;=&vs=uDjzQkG2DAa;vB0O zsQR|5WG{94)7ruENAs}4gFdzN2dOcGPzjlYXUH#0sRHD6UStuWXi#*151L~{rr?iJ zg}H;w69|_yRY@MTj*)U!0m4$JRe$Yn`iEtu%6QNWzLpRRcTTaYc&X z^^n&$u6q_5hR-8FhDNoWN{P}ezBdgM15;Y}&U)*Wh5wmXoPG#cipS>hZYNmflh(C} zbB>|J@}?IQ0fdqz?Ey(MYgQj@Y?j;nGJ%Gw%0EK(3BP2b7l_%)f=eRF;n;qHoT)u! z+VkZ!Aq5z`0c6NrofceGLwfj?V_+TzG^R!FV1xtg^tpe!R8P!=kFDQ1-2|I0E zIqU{gI*x;xU#Gp<#v{;nr^&>AgsZ`okqRXnr(5ncg)ywI4~#KA_#huZze$Q57>TuN zTc!2>8Obo{j&4=pD_M)eG{@KoU`DW-+D9$S3D}E7dMBgL9&3N0dp~Fb5Zl9NuC=^M z5V`+%(=`&)^=m5%?}1*xG4)f3>I?Z3pC=6s2d}ZZo}b#*(0dPlHuO>1Nqe1ANs#K- zLfu{YFv(n=ai>M``#rM=pokN`N+sh)m0?F(Elu4x_7619I-8~Jmv4#~c(hH~HDIWZ?I;Gdsy=bW)UB6ob0?1u*DP=)X?;bg1mB_iGDzJTwOL3^4&PMpwu_15Lc&|#0l!3b9)a&1MuFC1H~Dg&g9 z^bCh9fsB3M|L$@Rlq;01a1XgfXJItOsECd);Ks9Pq_85k<#uR5{1dsmmA>$U-@kaj z7C;o`Wi@5WRam_L9yR&YgK`MuldJniL_?kB?5p#UQ42eM9%ozneKjZf?PXJyFZtj0 z7uIj+bBD<0Py7{(P#|qpwRLpYiw{Nv^%5 zHKE>dFxjJHZTjqDS8mv5lc&#gspN_48_S1Q#5Rn`(0?Mn9Q|PU(-)vQ=7L1vv^aU$ zK-u!U+^FBw%ja#GK$8KMvkbc8TkOXu0QG0P>Q~&A z?WHS!zdzJ3MGgM+(F&F5)J~q7u$m*o&z7ZC4o7$TQsubRzj)%jKq5}x5-J(CL9Wn( z*6Tj)=M;C!cq-4IryD0SSAQQQ^Ytp#rZp)km{vn%Rj!rBFVC)%D9y_r;!6+1=K%ps zJ94C#E$-t5SD{{#MF|c}P2O860*2dsDrM;R{BYzz=#^45_HvgGXTf0-xa2nc;uzzl zUF1gO>B6eR^Mu;jF)iGL;lPbswJJ6YtM=klLA4N`jG49qONndEgR<(4kizzTdx=Fz1u(Y!5e9A#@V|OtvkYXiPcs4a83l zk`bclwa8spofKIz#cAhJCf>4tHP5j-3Lj^3vH6U5IKJO-fAif{P)G6ut$RInXvHaG zjbxpKAR+O~y_MhFB?roSRBLb77mqThGKXvrFA&2IUW>J(Wy}iO*o)|uw6Zd1zmK!j z;#TTVaz`C21x;D&`hjGdGrmO7Jnfe3Qg>M9&s;BbQ$GcN^p6z#&D*bed>CbBuWggK zQl`X2=c{9(@e4Ospux#&4DW)03_W6j(>H$AP+Oj?JIJsjU#7h6yqmG=%dIX(_hFo$ zG~ppRz)unB$74;wOA)5g&2rZD?UU9g`!^=|q``#F>})5h^`A99kB}5pnS}5q#Q{yK z4ezYt!5Abv)Nva2wKS`uNlJ?e5Z!Xqyga-tq6Svsu0+P2DpJwY6}BNEBxtcw?+Qp$ zQ2JMCS2_wdBQPaklUaw?fvwxvO^jbkG3s|iwR(a#^4Hybg;eZ(ETYzec`xx&c$`ob+jP3 z)2p3KC5}UBOZ}pJ%h^Q!V{7~DDG65b4@-$Gm&2F!Z(7K#^LL$GW6{JFduc)ZoYnQ` zK*@($x_LsKZ!=aV)#{q-2r5H2qjPl9k2o%O6tT$zPb2OS3Sr2zKlBsVk;!Z{nMx1{ z_+ZI~p$8+0Cj&d?ZHA3_3`jg9?41iqZFp;zyre}#-2@&6R!-nv(9*?!;C6H}PEOVJ zr8^G)_R|Azc64~J{1{EnX=OcH?7lw=$R~4Pyy_`p!!qM!x*H`1E!&b%0e^&!MU{Ri z?UI~%%0R8xSSs=b$aIjs)!N`sYE5wHiF;tH=Qbrn4KN1{$-+PAn6rr%e!Q0#kKpY7 zMoH7M`i;`;hsQZ7g;R-%yY1hVU+;bsnU3RmIkbxsp2Q`!dUT+zDSYrO2Ol_DIQsFd zvA$wXyFbxyju}dm*6I&;VUb3do^hmuCBv;YSvlAfY26NAi%j}$kIKJ@%&6#Fm?`0< z;4>)ive~Blj!5EjILFE}t8$@D=(RHovwpBjmYd&~V@tz+A}U~Ken)Ucy4C6)R5TQw zRZ!Ti=?DH=yT5@xKTyB77bTY6=6A5a72tISOZ*}?yhOE(ZJ4V?YHdn0o=ud<(6SjW zPxRRXsV#dpGB~}*6mk}X4~)uklKndoYD$0~WYOrM&`TD$7(QfsKGzE$Bna7g#A?^H zGiz;*JM*P4#m`K=FW~2N$|sFtX=h^Ex(3i`*<8|dcS=?CvfH=ubETdjX>ZjZW*-X_ z41NUh>dX7ux7#&aM?0p;>S``yCCfh6i`UWVNe`DL`1mu13Kw>i_r0=oDIkf4MVxX2 zX_2x_`HYkO>}>03YOU^IwC-D!+pr7RMyb1?UCR8d$-HB|LUW4x0Zwj?6W_|kZ@t!f z+I+gEIe97ubi!Mljx#_iD~+j$;T<1?GkT%AnC4GPR~!8CD<=!k^!|lM zHfaw|vac?l88kXhI-Ui7CRlz*>Oa)pK6DqiSIoY@d@g935-a*p%#V81GP1J=9yY1=fhoVr7@gEJMF z^p?PZxkr8|n-AX7#>t<{MjG_|OmXZ#VpANC_9n_imi(Q-_UBE{rw1_8|6DDjTV(hw zErW*reQ>tXg6U7n!*CD&7L(LZ$kR^DdlQLyc%g<`3i;S~zN!7}4IBU7&fT}n>~m1L zxpRSvF$uXKFXV;YX13nv-+E-AjxvLS+`S+!-n`?FrZS28t*f{xLUJv+0YPTZWm`P# z^B59I+IBBjx0c)*NyS1uok!-*|LA-ytLa2PFJ@xT7kU1@D=Uy&O1*{>i^mSm!%JBf zkUz-Bh6(w^9*)<9VSC{V9GS1bKUt8^pV)_6^TNkc(^n_WZ6)M)Dbbf=m!{VQD;&7@ z)9K2YlA@*niaAj-xRB*Q42SntEvtYTUZZc*(Hkl*K1GoqDMZbkT_p)$kH?|a2_zjN z2xs7{RObj{=Vf#wpz8#8cel$%@{L|%x+wsax^K&0)ml66NMZCynFr#+lgL7VY+d6Es4wbiU=l}Bjl?Qxa_m*P1XC&D zt5#6LfHOh!NT^OhT#G5ysU9W${e&xmZKN6zC3`m;r7;uMksv9P+LgMo?mjW8E1JCdztampZ#W@&4D$dJ>M5)%6!R=J4Pu z2T^m1zue<15jDewef{7x&2ZtaLU2(KXy#`_T)@8;YlgV*X%Gki=${MV3?Tm30s%uJ z;F%3ZxTnZU_W{!B7|~bHEsv11%_cODPfzzO5b!Mc!g?)a_)~_e~}U2SaZ$80uf~(EkC! zVAO4A6zmp5fRVQu40M~pZ~4L@i2v<-o&TSm{4+>54dI|$N#F<&Lx>73xwZdDC7+W2Endl-eM5Qf9FO28(udB{6>;% zCWySD8VrTPZ|?ZIoxnHG9Sj3Q;DWap4EZ0GzOFy``Zy6clL#UNZ>feOZ#e&pA&@uD z{kks&p*QUia3uJq802*mqLH^C@@8{^QMYIEnn4jax*7t8UJvChCJ4DT_XyDc%suPB zAqob&Wrz|4fimOGamCD`vT`se3Idmdf{?OOa@P^S2tgT;3|JP9fT9qRVgQl<*Te)M dCPwV;Vd3WC<7RC`d>#I}%ZWKSWYy(}{|j20=7azM delta 7223 zcwU8=bx>7dwD#$iR1iTrrB0s%>LCx^t$=iQHyc4hLb|&oBm^WxK#-6Q0ZB=bZb1Zu zPw$;??!9nl?%uO!-udmd_OssSUF)A+(st|3r(17B>2N^E6r&Vu9-!{gv$|2mWkNFB!BT4XdZ{sy<3rM37g*RzI0}Ke41qk}0Ra!HMDE=ZJM{S^p7(}t ztFP~2Z5Fu$;l|=|!n>o4X<$qo(Q_oVW}{k&iP!2fYVtWePk@b<_Q}5>%Bj{MIE=J( z)Sg~kJ?j-Z5#6|VR0ymXeWjaJ$!>XYD4sNqF(#Nq2J;Ul45W%bTa|lK(td2WzqLQX z!yxFeBl_@s5>ZfHc?>$Yh7Bdrx7O}u&wh+t`x)>>S>`Fl8mRlyp5c7>Hj{_PcgIP` zZ^k(-eUakHobC>u<|#~TPx6((ci)Kc?kqW3Cz%yEC%@jUWyH_!Ye#8#;G=us+kLx+ce?hmhiXEjD|RBOe-RCGx;xgN zcnA6F9Pg7qqb6(qz@0jbie1a7tY&ApgbqgiA>L2AWr^n+Oj>CLS)XeQcxuye6wKe3 zfMz3Eb82eWB~JvnXcfGerr4R~phFp)%BHgPOc*j`c4^^vuymC zl%w%c-CR24Az0PR)BKfAp!OFx zZBu&FW7og^CTawQ;;hckav&EJ;i;gwFBCOVgZvyvDn16%uxda|L5K zM-*HV|C!sq+t3q1+8XBjI*1dCK2qE(QIGCZ7?VsRXfjzA%lgZqO_DbFUR-P}m*Nkr zk@U{)56>Vh(I9HSX!8@6riyDMFG4+mK%Du<8B@>u%gc9NElGEprUn4vy>AN3kDa-O{|NNo$xPSQlG7$ERGV694Fo?ogPo|S9(V@D z4}-~K$@;KJMe=gSAh|IlvIL-^Nh#d-%7-<*+|-T-S%&NJ8~)q!S>AWMMVw#$&)+t{(d zvwbVyF$Xhwjz|F;H>$vTf?=rKJu^}1(i*d?8BkBE$AFp5Gl*yD=my$>H$8mnoUs@)3AZcwfOpD|IaW8#-S z`QX8hW;(26r-4jS1b;cY)+>EEl;}8zVgoCwWV7VH7FXJ){FG>I{PE+62c)PPO&_lb zAgiQ^m(r9av|qn-zqlpDc>*7c&LlSOQn8k!Zdd0;Z(xT~kqR`URFgTZL-#dxpjF(P zbbK3qv->ZsdSq{RFtX^}+V-cBSM?IGFqDldF8X6_yFyt6x%ISGos(;8ah;izO2ck> zI$ISdRU!}C)E3;%)Jm;5xw{hQpz9Rh1B{ytoe+xYb{@|~5}!lr!h^o{)#UByH+cGQ ze|Rf9I5v0g54AZ8XTYHa9oLs!3e`W1X2kUgxL0!hBE;pwCscf~Cav{K zF`sO#`3SsWzH;&2Tnt~2%h5E1hiwYT7iX_*9SmGucSU0gsboNoy%2WvFA(eT;DTiSWE0%YsYgnsDweM zb@?Cz!#HX1~-=~Yut06T?a-Ta_hp)>N!ha{Z#h>h3SbhXPvEg(lVzwr}pfhbyyYL zA6Fk`?8&)77ekGTH^pmGzFpjYv7R0lkT5R#TQ7)fvPz`|*2I9&Rpon$xy|Pco!#ZKM|{1wK>i zZ9Lk9xw&ArQxmtL&*!Vv>y=a`NB$tWMfDCd8u%GrP+m#zZ!s`=4*Zy7QTMwm<~3?& zz?W<9X(t|>7Pld5IH2lN2Ycn;@Zr|p27&#nlV534!>Z17=7>j;Zh$gNqS0l+Ik}aG zIL`A`BZ0|GOR6L>71_a&6G(7nM{7Bo2SIMMuJSxg*JR+1@2FiWwTxX)jR>WQQ$U;! zQw7naUckZPfElR{3tLu6_HN7?*S%A}7}~}^S>(7-7T!Dfp$~S3;~}UvFQ(_GZA5cx z-GZ-z_%5!(;N<;pj({raBfb4;x{?91Z;zzkXe(R#b}+L9;pu1F5YdOfgp;PuZHWrV zNpl^02sBMIQkf7g8&VXMv$xA@5Rj0j>iT}sd*`Gv^JJh~N|Q8~yEDS$cFYk0?m3=b z4$%~yYuUb97n^7`ZXl&66{OjPS3$e{%HuZY;*~*{I0&U)Co? zRDYY+FW>z0R_|AXWYvR7xr(2;ft1aqSN!eyyzgddHoCv5-o|NreJY7nXS6O!X8*xN z-ri_bfJno1sv+gJ#cqkSpK3s5M`S~HAmmBdqVcWbx}>5(;?V|)v&zu7mnN$Pyc`JQ zY>_J=pT&YVEX`$rqKCREGYI2o!n~2nUbDxqo~z3J+EmVf(AZGQNr5Tdvk>$7{HNQOt^Unj*Y)K@!P^fC3=^owcrF1G~e$q(&yh?uf{d z_PpaK)KLk@3rbObAkF#2p1U@|VxU5Z;U$SNC8$%*PbaQwBN5t+7tQm6m$uyNM`T?I zOx+@}gfFR1R{k8a`jNvu+W+|>oxK_(D(u93k-;-baHm$bq8ImkAZ8DGu7KP$wTau+ zBN*E$9nJ*`SCdaFqqUrmtr;zgrOd+~@8Yob&=#66%=j#u1)50;Y;m-2wnPSmh3{K4 zJ5p#U!uFe~IKQ#I=7)#8LTDAug(D_PNf_2%RuY&dag{AEt{nF?-KC)-jEFg-NpnnL z-&&9Fal=DU!O7m5uDti>3K;Bx8?!H#*E}=B}ycX+~%elRsPFzy7VUQR#NC!1CMc|^MF@q+=gG!i=fT!z;-LqiYj!Ag|b zT7MA2hb~#W}wu z#Vg{DT>XA@_^@DTQru3fvFbR_G<=r2BQI|=A3}Q%N`TpskM2>?mqpK8SLHK>V#^HZ z?|gP&LI|QqgQ^(hM(a4ZDKM!*p5i;7Oh|yV{Q<~v;+L<2t_3WEYkk;!@QXWduNb&9 z-P?af8?=r`z2y6z+=s8b>daI*k|T_*y02k&!b$Jqzhp7mMZJ(Cr;A?E1rvU2qd{ji z3}^x~gf=XjE?&D2sPvm06!?wYA|B1ZyA77=y^6MIP7D;IRD1MYs+rnnN?t_fPUtp} zK_Gx8Ar05MS`=~-CBSJLvKcsENk6gM4m(s&k*IZ^y7fauFAV>&9xpw}dz}|&k#99J!Ss%3`wJ3%e3heib znBkR1R2$_6W6USN;<2_nnu0v+A+e0Z_8AMDTVwL>;~XG%>D)&0s-h<^|Ljo#MJh_V zfY@fEJDd3&v*6IYf0NJA(sD#nXP1JH*YU>L*k@OtOTzUi3TEK4oxfJ+v@=5T=|s);mFd>AJx_Fqx<{KzNL?gCg|`!}&p=BU zrb0-W#mLx_h(l@62`+KT30MMF1D5t0VXaKJ#J;%ZGLC&+qE{RnziX4rOTBhQiI-d@g2B(B=rOut z=%n%BWP7Hx8>=mtl4Xs_A7NB}+jULL8UAXs|LYlA_}gU(4J@yQDIE(SZZ2Bz@KkiQ z<0Qx1_}FLlj<;E)dP?afL(qjttA2!xO{1ofQVh+R@FASoZSR0*h?<0DmbP8PqIFYk zJ8|A?UGOd8D5-Xu$^swtLB!FWS46viPj}v1U$l4i zTke*7EqG?yIvEJ&OapDe&z6h+_@A(c8Dk>RHnJ=q8{*O*l;<-SP)xf>FsToz_XZA& zH%`?X)ELUwk5I@(f5zA}iEmW$E4k7MeU~vj8!cu=Ea+!CU`p3zbkg%z;&ttnF`ab> z%*1K_wIrI{rxP`d3^szUUjwzAGTtVX9aZKo1n2~IYy%GXE<;TKt|hwalN~Pj%w4x& z0>X3eLIa`Mwu^gNA3QI+`mFqcohv5>WJ*ljz_%I4hdjjp>N4#a+hYSW-zdX--&VlA zOFX4-Pt;V9zcj&tN*hV)Pgm|z3+{oJJD*0@-okz%u@U%)EKP3B*Cj&ek&J(MS)>hP z6kq+Qx1tLsQC|f3F7n=+`x2Z?Khm&~Ch8gAzgoJ8gLvE&W#{&r5obd@L^-f}KGjbS z%eY#vJLI&i{-K$dmGA0PucNAwb9a?}7YUU8p8nkEwZCX!9n(r{un4qIkkR_8|v1;7f>K4iq)fQW& zaj8PeJJX&KiOQ@U+(6^%Pm+(AR{RGKL+2O4o1Z>ds5yv^1ku*(XfUmCrUY+LUi|Ww zmwr^VR`7^9`;Xs&F&_Eohoh9Lg&aeD!#_qu0u^FRxvRXZswd_f+i9nbr83-)GOWI31ML)s1N{S!IED!&!TPVB%%-METkXf zQ23&6b-42T%~8x6o#mR&=fgqXFDBX`%oR!A>cX=AQkAy#q!|fbay?%%X}=zo^)Lon z8B9T;&1j4t82L=FOV2By=C;$vL%4?}G_qsn!YR8O?Dw-*-eFG&?o#18-;<2_s&cYN ze-)CG2vkhJdvbLCLa9ge?nxZLE#Bt-=-yi1Wu98YknQ?8s7^WYDnE3vx#1!6f%d*A z(Rx67Tu5)Q0|qw$BEQ~Goj@p+=ks#eT>|+adwK|eFK+1orEd*%=Q?Jr+UsTs?NuSs z7u|Gs`f`fhtaZ%pw*|g=Thc}!u0lcG?n+-43Wy>FS*Ov*hF}822d%%hnmy%dBy?(K zS$<5`;oa{QI^|oGq;JDr*vu>hl6virt_E0JmH4OBl05BgL@3@U?!992Eh=1SuI(mGfKm%o1tPwX{^P(8GW z1AOJI=uFc0X#9*fT0obiP^t1VX>tbaCs$@A=Y|(EUerE(I)gf;D85v=?Drj1cg8(5 z&l&T4h1qgzY@aRKQ8#8C0%+Z{TYtXoVNN$V6KIpoP}<&mYiNpa;l;=CT*+;%;e@WK z%mL)sx5y(>QHm)wwc7x#tYpFC?3edjKSj!h z_lUAd`X7|jYq+HsdXE;Z&uF|O;kmboy6oC}SIo5jCivqeb=}bx_Z0z)v3(DTc`b$? z{TmMf0kQn&??`t|1=kD^W$U@lI?o^;{&NnNhR%dW_s!R)uCA_D_SC+1D`X?@vMzpa z%SS#(px4`LVjP)sBu)k-5cDBenaJPkhl1MtNojTIt11JXkY4p3?E7=k?CHWbu}JmQGM_Up#eb$S(c*oo1TFbCRO^zG9FqJGSaE!C zOfSa_cEBU@QuGVnz3mL;;+LdHoQ6pa6|XoPBjnjq`yVD8m%S;EQ=^t7zF%gGUD=(B z#&ylu*XID}8zG5mJ7UK2;k469IM?vNoG`*kL96Hzn#lhswBZ~J`_DZxinI4^o>qt zyKQgD?fdxfmc~(@y_WyBE$^kAM?om&+e+xS%6d33XealvdEz~Bx?5xGOP*r`M;Rk- z#bwUhC!`_nWtf#b;}1R~GY8ppfY|Bx_3GV2Jva6bEQOd2le~VW!O$^gYP*=G=(x!7 z#`bdgu#ip)p@0j8NoR9L){=1@wvp~L;O;W_Y7?ftwqb!hoH(?~o|RG3U&tptTXTIM zRxb;5Vmp;JbWD4JV&A?YKdHD3*Lm98lWA3VO6Egj_PHY}75+M9Wu)7VQH!7XA+KO! zGDj9E&C&8P`w5S|`RnCZ=Fc{{c3%*?4 zb>D3sl-Ua~RpKBqcQA8xb1^rz|F?29u?gGY!v6ciP#!ASnDg6aHJ^b*qJu5ZE;a z2EiZ*#0>^R{iiPQUl0sNK(2}WWhmISs=-jG@bw*op)eTex(Eymhrn*IzwP+n*yUUt|k9t!XW6ia|a_4e?7d;kbisg8bkeULI8OkB0$%h3oLwdCjT-7 z^jcR#{@HMoAyGHx9tr*bbI