From 3774bfe33aec373dd8df96a6c057a0a166f731ce Mon Sep 17 00:00:00 2001 From: augustin64 Date: Thu, 29 Aug 2024 22:36:35 +0200 Subject: [PATCH] Add figures --- figs/flushattacks/initialb.pdf | Bin 0 -> 27949 bytes figs/flushattacks/reloadhitb.pdf | Bin 0 -> 27977 bytes figs/flushattacks/reloadmissb.pdf | Bin 0 -> 27939 bytes figs/protocols/exclusive.pdf | Bin 0 -> 19357 bytes figs/protocols/invalid.pdf | Bin 0 -> 27156 bytes figs/protocols/modified.pdf | Bin 0 -> 26986 bytes figs/protocols/shared.pdf | Bin 0 -> 23420 bytes 7 files changed, 0 insertions(+), 0 deletions(-) create mode 100644 figs/flushattacks/initialb.pdf create mode 100644 figs/flushattacks/reloadhitb.pdf create mode 100644 figs/flushattacks/reloadmissb.pdf create mode 100644 figs/protocols/exclusive.pdf create mode 100644 figs/protocols/invalid.pdf create mode 100644 figs/protocols/modified.pdf create mode 100644 figs/protocols/shared.pdf diff --git a/figs/flushattacks/initialb.pdf b/figs/flushattacks/initialb.pdf new file mode 100644 index 0000000000000000000000000000000000000000..502c165f1cc09bebd4835200c7e6bb5350920728 GIT binary patch literal 27949 zcmeFZ1z1(v)-X(ibT_!^hRvo!X(XitiA}TV?i6W|?rso~1}W)o1Ze^3lnyC{f8#m# z9Pd5e`^J60|M~ytdwG1^Yt1>wT62yy=7>3hPFYf#jgy@Rl@9;}*cn*@goQcOT#TGO z>>&US30X;LJ6q>x&>NrxfJ55C+8N>q{k1l9hDbt;?M$F!6d<-{&gKA40UrLxk5QeR z9U+D`sP3O!5`C5NW(fP-9t`x7=2ve%8u_$Xrv8OPy#3QFA0JfaTSjpyaw#c)T3S&V zV0ud45jqm*0FR0?4w{^iQO`?pM5(g2%C+d$!3fvA5|OOtak0IL)d~iuWWBAC`PtOl z2@f~3(SwYZi-p7Q8BUw4n$Fz8YnLfk7EC)Vaj##q4*-d_(pIOcNCaC(Qmn$hDXc85 z^}&*iME6{}Ib=nxlHh!h&JP2rG_hVQf&>LL_HGHnmU@8AFWkHJ$RBJ}J9H8q%ke&5 z<)=%3DVq-@Ckq(Y6#1&3(H^qG*>G}alb)kmB9dXn&Qy!PjiJFSR+jac%?NMKgrJF^ zucF_2>lNxOI6g_Y)F}DQEO(9W5n*NgFuiN$XpGgc*~pdkYg;<2HD|)8DV^auT-)kb zBi#7*rHj@~MnUybW|JF^f^1e?7A}O-mSa_DNgP8aYQyv_>DnV~yh#v&%qSks zGP;`8)l%M;LF@6p4K$|){x!S!hKBz4vk7PKhG!?GoVJSC(krT87(z}*2sKJ-HVKIZ zrXFHmHPMV%GmY}lTa0{h4u2;YU)!$z>VYvTFNS=(sZrQ0oHbLDp9PTZbr)(Cb?GzO z9Q-4gWfReQ3&;$?XX<=^SlNAql*m8bPjMWxP?y6X(3%HrbZz(Uop_c+k zMI(*pc`N5+&FI2(PM>F`%jG(A!z(@^O+XeAKL%pFSimA-gscP6k#am>e1QP})MoH_ zH=-ha6j!Q0SWOK$E154e?t3(F^?`y)b1!57_M1J{!bi5%qOROmkDl615ngB%rBm94 zA`?8*_#Dg2qV^4A+g82PRJI-Y+lQn(e`#uq1@{hSeI-AHglzvj_+e^(X+LIKd&l!O z@h8R4y|4=*>&-*1#M0+V`+i!mms?p^-#5F+;2wJoH=2=oig+Rsw5-3u`R15X_EG{b zo5s4%qbqLhcdQY|2zZ>1(fQ@o1^!k<{Bd?9>jD0(GdcV`n{~lao0obyGy^ zdPo)J@1wMxR2i7D{;{M(Q0|85h=kZU24J`NRq$*$-N59u?PEsl5(kc?ka+X8&5P(W zNp2$M=q`Maf8H_Hdr(NFNKC=94Ef?dy`_N$YPS3-gJbLiq#IK|^8N`ZJv%ScKWx`v}3n(|-}westkg}o(~PgcWv)4P)J&kpuW0i%Zi zL@w#W&uGmrHs;f|`Y85xtgw1A+!5j_Qy<3KU0T0U5e2O<;j;DXH-37G{6G`q$-6A9 ztXXaBoS~C;ZR1K-WnYtv;}U_TVaa^#Abj&jmVqBVM7Y-J7(Gwy_|w9c$~7^nd3Sft zR`-}$61Bb0hsqRoNbK#}PM)5gJ~=Pyhy%8WJS+vDr$;@^!H*I_S@Jm6MG1M^C+aSZ zZaK3^TotP+k5ZR@{`*$yP~HVnU9-*M^b7HoMXxNJf}6f*7e~q0U5*?S zesM}!okC;}f3oY~cpx{pQ+)P}k%A}3?;v5pP6tR5smQruzR3;d1opk{^s7iLql=_3 zeAcxN+uth1kQZlCkdt;?qr7hD+0uYk7`n&z z_|i5L_FNTuW_%&?_7NrzadG-5q6kP&kdM|L*(Z-7le)`0RP1K0Jh`@THS%Fk%xc!F zjbf53zCOd-$e=i;sM*nCu$%j!sw;Ap?F<^>bN$>{lF|5_6PeZCTUv=_h*3}8LImp( z8-)CM#~RDvp;)~#lKr-y?;fTK+hSonCeSO%Z?0I*V_p1Vhgx-5XKlm?cEmGWW3(eD zvYg^NK|n5%8R?pd#7k@Q%SRu&2kC#SwDXI^AY6cZ zJxTS4YNQ5n2HYb|_3`7s;g1ve`zm#~K>!^-5J(rm%?;22@$u^dcz^&MZfek%(o zQF#Cu#h@ewVFGX{IhsHmEo{vIjIt(ByjwVXKpWLu?Cq@~Huv8F_!#>4#}Yt)F5zF1 zAUD_F(O^)VlGPdzyXWv0za~V~)1K{4_9I(I%zF&tI$7Dy13e0hI8>v7{;yO^t#Q4! zhI7gRk-jgu@{7zAUo`J`C5}BopYTEwvUaiK5ALy=LWm!z+4PBgI}bp`&;RteGkx4U znnEG`r14pGQ%z6dYO>z4=J{P7gRuO$`s%db4(wepNBa5K56s`r-%q#{8WA2GE$B1j zfo5D|7JHI>)gEXB>wqrB+Q#3hmOKePBr*Ql6^zTN9`HUF^WI6>%Bc>ore37-6~+<}wp&(Ho#%Kc%3Knc|rYIWSx635?YiB0A| zN65eJdJ{ui=X;WO0_bqwZx&T3uXtvsZfo(wnBlx9zMr=<_n))+u~DG(EzQXT_%Yl2 zaU9BycE# zZwgn?{|eWCL_FR^;pwHtjIJj{?vLg<5MhA0F3*b#Vu_)Y01u!x1g}t0qp?c#xE?$tJc2QYvkA+aa z#!ar*{;34V)K>|!_ja56^CEU%_iw+lMHNpGN3DfVxDghlE@>ua#&-!cCdcE})$rDL zbt2p7tV2#5V++>lQkwCTnGzL3`XfF`teV4<-~y(UPF0q%4wRI(RnfazJ}tj6g*ETr z7-Vv0X{3HbOlMpvz>MBUXe?iaJgWwde6p-9yz9G4PZl3HUEoB()4Zs`3>=V^Ezw6k z_>#g+V_c1&?4Vu_5;AtsCW((7-~=^-6Z2}hjx*w!jO5v(aD!P4hxeZL?i+a!8LtVr z1z8owawdP$RUqg~=0x4nLbh_K(&*iPS1nAFP(5trAvCN&zlEP-?Zx@Uxk^DCuB$;a ziHRWa)p=N$|GeqCyN*%V>YALhu#+Pl(jlFR?FbKpiCLl9`awSsbqY?c^Ee`rfYmi* z=yHktF4jq)bzxPe)=|njDbWShH5WHtJ(AGp1-1@vbs4Wpl_o)s{aU7ur0cUu^qOJqHa{OP!8Shsa02V; z6ReA{d~UfbMUK#>GMBi(abNK^j?rr%P$UL8=Ai;&pK44_#kj z@Z4Z&Jj`)@fBJbVkIyEp`MG=-VqX0da^%(X5ObWgCT2_vi$(sA!cmBiShE^LL~VjM zJSQat6JcEBQvJtjQNTtKhcPS0`0{Zb|(C*ZCophf>c0jD}9u*qRlkt(m=VP z+(fHREA`42TrxaWHDGBP`8(qo#rTwR{<xZ6`miXqvN2)S;wP%}h>lvgihK?Zau=*kn`QCBN4~SFnqLU?dMufW`-E z^%u8UdE%%^9==y!`?l3|&m+s6jg5^ZB0F62EbZH89yxyIJ*NgST2V4f-iT&?4gI)? z{B1=Surn-WRZ~}#Ubw(Qw zBLpaloQ_VF;_RMAhj1v7*uK`4Fbo}b7jl|u*V8{7I54!6xasJc+}@7(NUE>+33cd; z9Ls{U7M*XutNG~H*Mj2~_GjU`lMI37-^YX4<{jNk7zph4Qr;Bk=tNTc!z!dT}edk19k+tKb%RhzdY(tFx;ZeReR{;P)v1ⓈfVlu)ck^6nv7#=)Io zf_fd*O5}NJ#`-?wf^W_YE35A6o-wCjh3Q?h!s0Mejy$oF2!F8H-sXwoi*#W-F17@} z&-yXg@nFj*Z`NPMyin$Z^TG4m5fVff2JpCqExIHXfodNU0blL{10(9QoLd5PgFKMX z8RO?bYE@MQY}jLLGI!_G-t$DpsE-JJ8{PtG5$e*Eb&vUPU(tLKT0g^-*)iV%Fvict z$^?h6gPEv-7tS*{N-^3#Y)@nyOY0jq-W2ssJU&+u5>PtOxoo=SfM{AC|AGtuWOn?k z18UIUNnK+DgJlB)WfK@!N<>U#7`Qx`tY19(C&m0XHRE1c`L&NkLQ`A(nKINzqG)Gp z_aC}Qc%X-gT%5cBKBy+c3FPGc$wLCY`#TQ_^jP#y56L~uuRSE3d_4cuMZ$G2sQ&bk zaNT3(-y9!M8}CQ+Z;p@qk(|&O{WkPB_Xo7? z5BCSxPx|$r`1|Rs^=D!E^QrMaN9Nz-pX>eu{cwN$Si|p2{GW7xaQ&p>|10X^68Jk& z?xQ+x*$Kq=`S5(<5z1*U@08+VOlK(>{_A)qjZ zYtT{eA)&*Pe@I1QKWed}GBliE8^RO*ft~8W`!F%-t2Ke^D8GC#AkloZ-&aajrEztn z*tT-`{Bz|Tx=~u`Zf{oem&f7yrIICQeya_8vE1o(Z=<%q!I)W~;$BRqfwT$e#P{m5 z<&D&xu318|)AozSi9ItAx;kY_OT=^7&S2*v#Fv?dv$kbPEU&`1axLqzVh|P&-x+tC z8R}-!=0DDej-SjO2jL%bp^Fu$g|yp3nuBZrPemd*v$0>T&b^mvmDXThIF*ktygJ=$?VHttpfTp z#4r`AFTN<4Zp@#GggB9--%23PV^bbRkq9T@ak)#P(U|iKgF4~*GVsVkM}S4dTgKXy zcnR(Bqh{}fH5Sw#R`YMktCG@;5;2}GlV1g`Ra8_g5;zchva_>iPy)p>RflZ&@2=4Z z_`6SYKi%?2lh=+VymH8gpIjzZvhs#Fc)&#O1{4xN`lJ7TT*{*^0ww=_lf2ad5I*cX}UUma+jc<7RsY{@`Ux3_ZA$t zN>4W?2(2_~f7<^!RYUey%rO`vy%&>jr*Q`1V(Iw41qaVI60nnK)n1uVlgMq^>OBcnO$=*2 zigt%IA4?MhX~|6=#=F3lLfOEf4KegFqS!(cO16*uQwW}tpAY9;;mgF8sBQJ4Y850V zG&6OM%wSq@8>MxzP}-f*&mDcL5D>BKdCO9jD^>Yx zu%s%1I3LHx&|@nWfZZoYvKH-_vc@tj(1?LP8v56;OZ1w^+JMIb7&1WN?H)fzl4;n; zlf}0YibTRumMnChj@sWYO#`*DU(GppNfZ-rqoDREG_B?;55H%jl=Vea#xYF^$#ZmT zTI1yDR3Hf6b?c!HDuY$oizp*GfXmaTWEynHl{o96nPOB8lPzdDefim=Ao$4KIqWJ@ z__JrLgyCx6C^qF%W|fQ;%hxwT4wJ6Nod@odbpy=@?%vaN1;Z#0bp^|(F3x#-!1g|l zaL>D2c&5VxAER$a8Ip36Sq7QRmRvtngU@>s@=E1vpSdvKRO7JAHm5K4_jR8SZiC+J zgD=ZB5Rn}z8~9WsxMSWLdqzDp`l2kf-@YRX$VO2?ID<5`H@6deh6guS3AnRo#ZC&R&nNq<2P zp&^ebnPQgJtFi$j+moXprk7ijdZ{NF{{crQYdimt*LNDDb`RosZZa$4&DCY?hL6IOu7N1=@o zf4CS>kEOz`(yCz=*L}c(!fL})JIA2Tf#$LE#FDak$DV@U7xQ;a!Ny-`!^id(dW<&(Tj^5I$H}F5TM$%v zelW~n^AT=1k`{eMD8CVvKt^$@O=~|{d@+C;&m%&Omi3{iu=gbGQG(PQ?J|#*?t!)} zU8Kk}Mekh7XRfcTbcar+i^!%gk6)CfH9YEzhEY!uVAV(SG?mk9kd?!a8|%W);e>Im z<*iXmq|?f}U}!ej^|Hvl>*tkN`iOj{GJ8{^}(7pJ2ACPsE|>j-sKH72pSd zhiWMQiu3aF^87vL&AhQwpGoYytE&s6mI`B5zk(EK(5RC#y_HGPFqCn}A5Mp%OC%m3 zRV;{lD@_&n;6aQgVN^N-Y*>}?jHDr`n`y&PkCPsoj12C3`S(S)OrNiFX4yU!hXSpc zoZ8jwGtj>qr)jT!pRDT{vn=gc00nJ zW7ITCZYEU3mm1S;$c?4j@`su?cl?f!Ao)UJ_sKKd#!-k?!?IGZ+2zqEiNP={tfl75 z96O_q_z~k%A2X?Gtc6d`XT6S0XtyiyeBa2@#cDRncJ_@=#aDI%s0QCHD_?c-VO@{1 zY4oqJ_9`915`IRtn?1svYLP4Voc>Pc5NjvwLloZlJ-i3&^+TjEFmvI^-RsguVjW-s*_-EPf@7lcYcE|SBP8H0xcV~=lq){Kq~zU+3X zu;k>tb|xBmACSC4#G8T3*!D;WxdWuCMXd}d9>f)=iT=Q5>*sLu?Xd!Rc?(hlD}|y? z8`?obKpUEfKO!s|E)~A{EAa3Z;fm0zGN!&|$WUX1d@vHY_t1_c^N=hx;2QAkP2wo7 zViJ+tl=GvPC`oXDgitg(DXqAS7hp)l5-d?(Y{mIl@j$e5GNyu{)>xdq18eLwSK=U? z--SiAyclG??OE!y@f8PUG{!DmRu08y zILhYB$~bwl4rr(pe&EewS@wv{BNw~*fu{M#*O=@T0cU+KeVIGDZn_E^O=XYVJtmGy z#c{T5bAU*}HSOnzJkx8pVZDb`nyE405JYqlGWYak{$!H*w#NHm*uYRgy)ffD1I+>V?w&+pr;<-oh20NC)ksr3n7Mcl zQ$b=*My@x@`_Adp3Xsy8YvQ;I06w#Pp;-|%INcXN1k`lN$oYbW2O`O3ng_unM^Z-u z*I^BpdYQeSVV<=S>)47G^{Xxj)N$7;tZr|ma~wbr+_xAD>?9i%3mDArC6g1DFBxEz`*g0)bB2+{eiReB~h(Gw8q;}X%{@G{V4 z(^B%W^gvV$^7Az++ zjY>5ZG@G$Mi)tWNCt3UM2lMg`jW@0~yjtB_zoPw|$F`?ZE>jXUY|nP9%uU2Srg59lqgVnlcJmV4a1 zDq?MJhmop5PsS|OLcpegCHF)nYUPg&Us^&p=$HzBBIXupYgUiB(r2(Rhso2<|Jm&Q$?B_^Cmo z{TXC&9i?GTSKCeG$r3XikhO;#Y} zDA9iORZ)@8UppOJ<;MHHr6+iTHY6}3;vK@?yC$Bv^Cf#XwvuG9k>N zkztdf6n-sD$%E6l5g+U0=a}L3y!mORb^on0CNzh+Mc=A};!$_C6lFkG^)rplD=f@6 zWd_6@I`s{eYe{GWV0L2y@R2%hsv0yNZSRw>p;pea=Qf!>3VmGIjL0or((ydTd*;Sv zAI;sf29p$M+6)?tHfqz)s5=(j%3}J84hMEJp&yGW=vwwsfm&R-&7T- zD8rp{FZzs=(ON+sZQ{E^R zIL1#vh0Cd(K}pl^U$_k`>H5MEq2MX#D3dm~+_d8hhtsNkCmMh(y&dm`t8tOmY7hF3 zU$2I)_PWQOohGh3r^#@P%>h?<~&BKVms2?lerwT8f8kS;M{Qn5bJs8YM)_A9x` zMIFa6?K9cNJ)hf};D%-{40d~Vfuig$GVJ(6Ov>0q$~qey`;`UG0xXU8q>3(MWjdy> zS-YjQf%&JY{uwEW+g9_*G0$&W0YsX>UU)CPEI_hPo8WvzpYM*1tPU}5K^4m9y7L=M;4VJP|E9tO=4?+hI1Zb_knX_xq34?Ak{T-zyO zaT|AcucZ?Ya~VlNa#h>){NS3NGfUC!YJ|{@_OM~go|jhccfL;v^X^zuxK<%*?+MBS zcQ00Ccf+TFHa@;&%EyTxEKnibP&Ms-2PmF0u7ts<&j{^vM_Q()tF04cbznb81lW#d z?q{D}7^7mkc56RK!PARgLP4nM zYfe~-(ORdMtIHIa9&O8ksE#-nd0c-0S8AzUm*a5GzyETmN3mbf1_`B z85G!;y}&fO=i%B=4OknM-G%Yhf>2&A_}MQysU-B%gOq%^)RI1Xa~8kC?-*=chE*iV z6}9An_3|>Y{MY%3 zh&inWVK($12Tk@NvJz9S`ORmd3nnLkTgw=&!j!4ma;;9IQCi-Ekl5k5A~J?D9&^bF zW2=4r%;wl(Wto=LF@J*9eQk!97}Q~$cn{?fRw&xR@d|leGG5bfMF!ou!;Kx22t{$O z#H-cFT|;f@p_p4KREim#jMLAe!J05R z{q$(TI$~S?W-o`MIHQNlyuPPTwGr!`4;Yq<*>u zN51nYbC6|gc^zEU%t7!X-tIm42&RMUW=IvCBtxs_oTKCgZ^Ld8Jaw%@tOspKIK|AC zq|plq?oGcoWEqMkwlW;X+&Z*o0W^@RG*Z-UxVtogNf%kN?`fw6l{i&$HfHJV zz_@7xke5Y}=u^yKIImBu6d%1Cc0gw16eS>#F{FR@&t&~>EB^+9jmBRQeG1<)sV&gKU)E64H`5t}*u z(h6Nh}gkfCnz!0;x}J2u;+g|fKkdEI3!k9AB!_*+rKV@rj?4hKswZ_#XR+T!FX z_HU_)HbG3_S90Bi3ZB3^XZBb|98#MJS+m2eP>aC1$EGDj^iCW%9PT)vtOxc3WL2gO zm5m>0-l{g(D=!J%1~EK)`4ke+zykK?dggB0R*z#Ld{N(j^!eDXkcZ^$eiL~5KJz16knpR?cH zwhfI2b!ZlxuF6W%yzA62RfxlHohpO(el_*%MqX!)&|2ft5h|DEAckoi7z;CPVT?m)N)&c4 z(fY1Vq;5YJnp=HtDkaqyRvHkJ7$C@czUeyljN`E*>f)t_#v^w8?gV*JEmR)Ps@*=j z?#9XS+61k~A!wN|3Th6uqMg}yq{`~31$Qa@S?UwNeIi1GumNoyMjRe^c-u5ACz2$` z;J_!pKlQ=r#ciaeEQop0-lN)JUZzuroumnzALIiY4X)yUjdi~UpD0_dRvVg2H_FJ) z@h8jR&6R`{ILUIP7qp!!TLrKQUCufC8F##5t0Yf;Qyqi$xlKV!8bi;4;zx*9Hn^}acT1YJMGq3E2zIGOO zB?OcbYDaPaHHg;t{CuUUmYQnw!C^ljxy~ySPIgi(JaW$Xriyb@P@07BIy$0ln z71pZ~DKfaP`lF*CtKSh010bvjJ zin#JvuUJ*1eB{knX@C<35n$3;{nXTI?}}`yRK;%$+Fq;l$PZYyJTQga%v@9?33MfF zETl@G2Fx4O3BlgvbduZ33l8~4iXYkP+Hbs+JBwQe4vuN+;51eb1`si2jvfgC3}=7;ouXlcm7o*eY!55!(s(MzL(suElA>E>k3!U*Lu*vnI!+;m2RE6yK!sF@U?1i*rPox8J`-KopzN!VK2jetAA{!RZ|pZS;FBHi|WAAX=3IZ=fn-OfY8<$@%MD3 zUyjpJqr>~OD!3pDOiL|J1e^E|IqJ2FrxM0*T#LIKz{f#hhUCcQt}lX2z=PzksNynx z&GYn&m69aJ>yp_>$;esj%wiw`vmpviV?x|Ca3BoITPFcEY_bJSSG+K(JD1yOV!6r5)F!WT) zpJly|hSb}-e-q10EW`_M!Na{ovN_rO0g965hlnpSDe@|cldiQ-3-CFc)Yy{Y@Oj&g z()I#NG=lWscPX_+i|E%RMhr!hswXY)OI=?Vt(sd4*@2pJ-_8%NXNVBiC=m7c_=v?y zy&Nj`O0?{Z7eA)e!{RE8(nGq^Yom?qSGxeqBYqgwD6E65X2rN#(+zWTgoVz~ri(tLDLk|eX@-&xb`BXyeaxq$bLk2KmYo{O z-j6t~E__pmx^7&Wy-*Cs8z5yX*!cVjFLA8K7K;`%toJ*HaJZ)d5yOZL4KGuQ(g~cL z-=5h5JU>yw={{GL8v(w>B}N|>wQ{}CU$1(eD>7*fqXwm%W69(wAweY+p29Eaa4sFfnuZB)bfK!6<*Jz9Q6df_%nEN?5}l6h)pJ%0f0P{q zhnGlbK`!~Js{>!fa?!>n^ZPq%pMUKR^GhX`#RB%_|TE%Rb=Ks`x8Wzp>D= zMYk7gJ54r_)uH|%4AKFXrG6>6uc&qy=7@oA)cmI{SmKe1#uW{tK+i-;Mo(!g@>h!; z?+?8ZP$P*=PG`NF2;xj(dc4d)`y%`j+^ZfVm^epqK|QEMM0c0x`b-7%4s=<+A@JwgB?+b0wF!$ zCeUr8()pybas+Xuy8l_ex?Q)W4*7nrtXPyRQsj|sF`3Nt@9=LG-0DO3m?>Im-o_&1e$@$!Iit6^y9qT(?8DF)Hb+S=7^_=4Du`gxCL?QWMazQgH6 z0L7#x>6&UW=1#U4L5Q<^ZZ#=K(F(!fAvtr>b%d9(3v$PKsQjx5++lZ$sL>1i;@4ACyY?^9x!dMwGKFPauI-ua@MH=I~TfyVc` zx<6FUi76p+)*rIIr*w5P@eNF!=!$N@A^I-V-P?5~sW;Ck&j%iY>yPhwm~`ePX0|Bg zc%hj^EbH(HG0@ih!}S0w3+wtG`n$^IF*FVs*D%o|U5yi;`SbOv!oAG{3P#;;FqPKx zeVg?Mgt|FHu0d*gml`CP1g}M))Y9gAVEj3|$HszcVb=)0(9D5#gJuAO^tuS8zg8PP zY{>qN{}BWt$;j&8F(V;n`Sv46_=+VFD!Q&2na$V7cd6tY50ngXCHP<;(C-b>g$DRH z5G`1}Z|bh@9>|2<9W{Nk^>|N62#fEmNk8jYv_Txc5R8xT0yXrQ9wS7~1nCSj**m-!M+29~{UIBss zYQXhBSsuqfS>1njasSd42aT@yIR?Te>JciO7<$l61~o&9A}F;K-e_ehFB6oh`M{PZ z)a%ZurX~?Ubp_x!#1TJ9>qY9kfw_TO)IxFUr+=;axm{7`H3CnU>Twm_ZcTkTcM)A4 zW0P5U~C$` zQY<%;bTLuhEFIA3<+`>$Y@k)hJ3|3MqL5JuqtN3fpBHNu0`H@!VFf;2nAO~2z3~=# zKrH=cBmex13Plu64Kcijonqjun6P1Zs`5v{)*fyx?C>crZuVv`QTX55YlAYe-1 zwO4N-VagbMm_FyzB{V35`=DaUirlWf#Q;RagzvAiEpx&Q>#}!ZUuqt%jWsfb7)t~#NoRO@fL$KQ*FNJuw^8KZe zVbMWoC%R0j8xa};@)Hbu{PlfU?DS=F{Mxml`b5zJAAL3kR`P?K%2_GD^dt}HK}2Z% zhBr{KGM}H-?i9iHO{)d#6LUdB`Dm(?#sXwXfKeo3zRvl}a^US-WBYwsZ0V+~rV|DP zFW=R9j}ZLUaO{ysS$BvzFZs;q4KFb!c{ib+qynhTN%T-0|X_mj`EwkqjnPH1X{aL}k)+Qoog?9P-)XpO^hJv&QX_f#-`XD2HyYd0-zB9wZh$sLX1;LTtP2b1!=<9sI_X^HNUwZ^L3%szkH$(GwV=4Z_BHy-QHWUt8uHdE; zg)S0K1zWw=N4$9_5M#IK!zWJ@Mv&Xg8gwOS$cY&d@D)+09pVv zBy4`%?bgmmPsN>NIp}NeF^xkPF)jOeQ3iavptNqhOf6(X#Z5LOF_SHsWnECdp1fbi zrMO*pHjC&(Oye`8`NBmQbJ>UMou!Ft7*RRrmb5|4XBIG-2WfQNe-{^QTcoQ|Pcn_RxQRFNfZ`8t2fZVhbD>_B;q9V9*X!Z)EF7hW~9jzvc-u=5=$_e6D>@z%^zxw6c5 zk;$0B!ostNbupYe(gIX5$0=mF#G&4ku?G$4wHvsoE9T9}T|=L|`4V)5tTUC|u zLt^pAabP+VuKFs}U?O6+6V>-Ja!zI80iKl{qjMh80K)sHV@MXUbb?ZX6yo38-hYV; zzQubz@8&5trmL~nES!JiUiL^G=kB4Jc*7Gjk7C*VIesT~oEt@ZkL&Lr0I4u-0~Nzk z6BYE2Ga~1UP*Y!yu*q$>CohYC{TTY%IfJKPN(4)mwotOWY=VzmoQcG;%wgvmsG2?B zU12YOX_&+G7DElJP2|{#;flyUYJzJnH~C4r!G3Ul-s>h{7R>|bYfI+}Cnbzm*&a0K z)NpKKhs~}YFPq^C=42n9Kwj@4ZQS0@wFHd_yo6=<=N&p6#YyPBfGgR7wnh4x+Ozu? z3)Rev_JS6*xhZufyyJFv`n7YaurClB-?eqG4{L_Xs}v1-#JwHJ$Y)aSS*M7P&8({9 z_0Oo{Mk1QSV&1ZI+h|J`FNA!RRX8p|!fms%X_W_)#+&%C^Vmt>ag4KYb4H{rhOY3$Bvz_W}B_s9E^ zh8SdyK=EmrNQ?HB++l}NY6=`t#jbPVj&bBOX>Qi!z}h%Jcg7jh4@zo%;Y$_Gsd(vW zK_ET$oo~&kLEZf&+@v9&3^DCLNqk9;LGPq{RC`hNIs6#W%h9~b%C%ZVWzbEtc6ySB zae6ejFH6LfhaCp;?ZF)Q{U@fPAsp>j9r9d8y;+rM5!Q-+Xj}wXxhXAQL%7gF9~f@% z*E?2t>^m1qvyBPKbKY#02JYjfRhEarzS6?3Ngl%b?!lMw>X-J56>#v{W+>TbqTSvtP8SfD5$kc;XY$83!Lna?z~}O^ukDZZYNaW>_=2 zhln?Z#&5N12<=phGDM^3702XF*cEJlKsa7Qv6jq5fp`Kt#Tus}QG0_gaeJ$ImkNy# z_+J6#JR5h9;|Ic2uu<0JC6lRm#U4Ppy^-WCeC06=@h?Q+-_k37t|akKOd4nk$L|Gc zepqZE0QZj!hksJp=3iNCe@VUg+k^j6z`rfTbKF9zXG#ewhoQB-x#4|ojj%8@SYHePWQV5v7#sfh zg|6n0{`*Qoe+>AegX?ENXo<8RfLwr|`+oxbspGz|*&h#tCJy}oPHv!?zb{d&?iCbG(jf1#z>(5URtY{*_XoSz`a+Soa@G{(*p>*ZzNI-G4@B|MXlQG@$zXEeP-fHL9pT(a4|YVt;%HK3?da_*K01&tIbOd86$D5PScepj2(FIhq#; zE5HQ6p8NtYimfi=hefJ)>BB7xbtZB`8u=h9t~B7A7n~+#h+X&r!<#;aeWRrBN}H z43@5iRaF)#r};`}%e7=*rX4+ItKsrakaB$7-B;$x8ybqK_fg@}g;9e;(zTQw>P619 zmXh!IA}t@Os{RH=pq~F5(BwGfxQdm}51{kkfK;#k2DBStKK_PR6m_@HrMtD8P0{?> z7o1NcZ=(hWX#@wcv35{g3i1aa;6gl!olyjvt^cR7D*=ac>*LA3UrV-9ZzDxn#_Thw zgb-s*vXfoe#$}}&+l}VByQ?(VJSa<;XG$hdbLi1UYCS`JC!BS<7*A`_mo<7sV1%7TW>K} z6fm~Ey>k5KGQH4&20($ z)0%f0xyaqO$22JY@j^;AUxLMNBd;t^_6#Rex*V94%c@M+cGw;+e4@Q|GNzzIUpyft zjPS_0z~M-L@auQtiWPA;IqB{L|eq``z7RP%TuC{IH3b6%zid5MNhPv zuIi;Hs=OA`$;v`W$}{_1yszDMqms8OjPx;$S8f2k*}vYs%wDHdMe-fDz^0=d^VR3> zOI$;QFULPIvLNi^VVi^42U{1%4O^a&6T^~@e|oGPVLw-m^z@Gk?m-NyY8<*F-^p(w z5Hn?66jAe`^y|c{Vsq6G*@#^i)did!BL`C>&P*&bZ5S-}{+IFQr8@)SStT-X?1R9m4IJL|O`r!oP!JFt{c(*33h1lX7>KUM z1$)Omun>w~2KX8W(KULdy#cFsmBs)2}+0zwK0gi+SV9Ei1V3ts)czM%t99jWOBocsA9IpWOk3u*UMgari zkr)8uKtMGL_5TWIXitH6`>j;a&k>Pv^3d@HZTZh6g$1+s{~8Eb7%KeIbJc{ zoX^a-+er&88Bd)F=BB4)llz=vtWz@YISY&?h>lT=J9YbK zrwf|QO{Sh-s4p}p^peYTz3h1Tw0f256aj}}ulUn(M{ zW22p)RX56y6SSSOmOt2y+XCk9Ag>y#`9iQjpX8%okPf!)IZL5oqV=Rg+}0y5mdVb89||ASB%VkUxZ$IRoH7} z@=3dE;7ITj-VsuwcWeIk8~JW&cWj(b?{V9A?4`A?bdijn>z#P?D=8!YZQOg^hjs-y zBziiBNH!m9oaC}e@Sm+~PWURIda5c&yvC%00<3pxS*1K@ zt1PfXW8ybEOp##H;-7pqmqx^7)Ek<3tvY&rVu zQdoAltBFYTm)X4+)42HfW=P2;?p3q5tV~m{zr-3DB?;dDKCoYt$+Anrk)}p02*1ik zw9pgSIgk~&5oM5{Y%0oQXk+HvX6eBpqvw}aar}#F{0M2fA;R`fVd)%9kpuR zXDM%)=3`k0c8aG`@5q?;T;!DFwm7lnhO03PZ%O!FCPCQ~x*4rfxk-GpaSE@BEgzan z$O}j89rCHMFJ8!weA`4zIY<^R?TsL5JG}g&SsOy#wX?U@NbC4V_076M=#33+J#99k z`rB3fG+fEieLlxG>S11W%N)wtyj5uLmqig0XLilED_1M@(FKTSmUrazwr)xr^Uiy7 z&qEzAcTQN;LFr_9d8cPXiTLgmoE}BuV?+D&xQ;r8bdL91jZSOhBWC44YUgWvb}k7Q z3dl?FK5i-hv#xsbR?Ba>nitA4=F%6%<-5aA#YR?~dc~nGHMKCVZE4-0?jano%iEwV zLYvjP!n;fRYD!EcLMvxUYyO?elFvS!&#j*Xo7ih^+SRf&?C$Fc^U=I#a_6Wn^EYX+ z4|`l~qjuIEa9|~u^U2G-mX9Yzn}|pDOh}eEZ8FQVlYWlj9<{G1VSgVrs`m_v4u>Sp z=0jU}@A_WmFgRc*WpYIE%;4dQ2LWY%JI&(8 zrtERP?BdUbMrO+knGyY-I|`@kuY2|Mn=D*ykzLA;Et2TbKH%FIIjNoAWy&!ya&7+G zZrvdsjU-m#yZ+V%CL0Gn1=zAGGUL2V6dHFI7Z>YWznSrAw0>IhDY08T2?!vST9}Dnt4w6uAD6TG>&a5&S9c3BlEygz*&!x>l+%U(7M)T zAKEwUNbho2;>|lD86CgfOGV1)lG%NkG|_iS;ezbQuwpeI!}7@p1CL`3DIwBK>5u$X z2s$n14=K_7;RX+I*#HAdyC&kUIMxrMI3K{U;*MOV0+7|B( z)$uj&e^4ho_4x0bQZH??J@GPBzqf}XYLUy6uqO-%bIwR*Uf4p6_=ywlpLc$*N)4@kKxNK~%2$n$l7>p)_LUI0!w<|cm&0Ss= zvm^=qt}m|X>~Sz5x3;2)H%L0s3a?2u60?gX=$+J-&2tW_lFe&oW!4qA%@dF#Y@d~c zcuUJS(GZPbDvWMD9F>f4FT`gczFH#7g}d5M&*=!vX9~YF@6alWR^VdR6NtLTC#(5F z&kLtHQ)_1@o0rP;ISHYiAZ(vhq1^IkAI+lal_2ea)s5@`-!PA=%pxm9T65p7-##nT z;sS%>P}K2nrnS(c4r;fPGAnmraa@Eo%59?Hoc~ClU;n1m(q~~{uM|`2SL%K{zX64b z_-oe{m9@lqoO_6gv^GVOM;^XrG$e|t^(ZA;^+~Y&=b4eht!MZfdP$G%0@Ce2q*{37 z)m|3&oIRxL7|CSgQt#pz**b@QI)p#js4Mk(QQ?!usQP0W^=9VdLbrS3DA)0Jh-+9J?AlilqT4|y)CREA=vpT^gvESpT-jDLtj#fYO z>C558$iJ|B;=28=A{t!-_Cw|(eGdJ9D+lrqvj(A;u@mo?Wt0%5%Qh|SC0CS#1C}g} z1z#+2UtAzLwILD)hTqOnvPLd9Hdy)&hA!l5Eh#@N^IvAq!79%(lF?t+fGfXj8-lkJ zd|@(r60jYx*4K4&1hUZ(c7=sm|GF52DdCU9a{%c9zBEIMn;*B?H}R zXE!HD84VH&iNYWWD1s6W1LRC(0fqX>qJTL3YErA5Slu2-)O)$WYf)g(58kC{=;q|$ zL>FBL#0q5ct2sYCfH3`YvWNBcWq@Hoe-5R9M#_SuC|-^y9l&8eYhij|H!n{O*mg!s z0n7Aq{BO^GmLY)Rov&$-vIth z$5!LQH=qp|Fi;H)7^qDK3~+5awwf;zg~Wl@Uxz8dYmappn!p$ii)2g>aO(AO(I_NC z+0bb4ipsh?&=`2_ur^;b9#+&@j{ye14g?V2q1}S3GO;zz}eZ zaf$F+WovN{^`&EvUMN)|5>NPh@B}B?1z+zMho`7(4?;!~uuZ+VoIL80>nRQA${bJ_ICN2t)0nwmb60>`O6g-RdCP&m*nxTK{u4Gwbs2MTtcEdT%j literal 0 HcmV?d00001 diff --git a/figs/flushattacks/reloadhitb.pdf b/figs/flushattacks/reloadhitb.pdf new file mode 100644 index 0000000000000000000000000000000000000000..48089f77a016568c4ba225377aca76d85f026c1f GIT binary patch literal 27977 zcmeFZ1z1(v)-X(ibT_zZklJiIlx~m`MA$T&?rx;JyIVvWq@=qMR7yZPr9(>K-+0bF z$9s?WzH#60fBygZULGI!T64~^)|_LFIbx2WQ^adynV3#tta)LNOf2|ChAQBKGTVv=L1&EEQlNo@6pPTQ=6I4eh z2Z(_+s@rGhBwuB`X~KTj2ZMd21vMLwM?Wu=tAAw|>-Ze*?Tz~AmQhTSTvF1XmR3Xt zn30-)h>pZD$gQG`gC=Ka*!xlpQL?9DAHxOR5-h3LUi}zN+pA1itgs<+)Uc- zM|W4#vHi@}^ZA3DOvjBCO((A4)r-_ibEa+P_*bvk27yGI=_`}fBm%9Ysg_~i6_yuQ z`(a5&V|p)K?X#m-NO0au6@-CQnpv(CK?3|5ySD^ki@m@WAGaP|@(1fR_FY6ray(B~ z_~=#c7!Z*G#=ksXXL7u3TIlfG1cL3VQBD(mS;aO>elsXbDUYf}?G z%7t%NwqV6%7}OwX`f1%kfYp-I+?jC7V!RqHnSIz;ZG@gVLo2qJ(_VmwCmF(@70s<# zPFK6KQpVFdWHr&hj^^0Nw`!Zv*f{WRCh_#`$jm26$IW8ajLI4x1IWoJp+;%#1|c#3 zN>Q-9~hzXV90lv7>3QjSurL1nFCp0b)!~Omp!A+ z#qYDTazn7-GU<qTRUFpFTvtG~!S}i6UV}Ij z`YbHZcVW4G9bc9cP?EMD7~|nQEy_!hUUqkbt>E*(SZTH3s*Ynihns%#hVtS&dKrLJ zB+6)xr)pN#lrBvBG;loN4}GH8tRjM1kOh@8RI(dkQMe-H<`p?{--8A6Qq4yYs>yKee4CJl81BptKD| zCU~atC60$#?K{Snje3`fYzOl9_sMtuQq<=2Zk>879bNut+N2vLv{2tNTIh?hN zNtZnL#4duYwG6uuOPwk0`MrR>*v!7X+2|&Nd*V6LWJ=~C?14nky7n69yF+UEOL4p$ z8ml^!1W~1K0tBWrTWhNlt5-{h8Q#v56{0Q)D%Io7Ky7|24 zV3gzal-|IMDWVI=C&F#EkyciEAnWMOO`R$2h%q)h5vk=IOqwuZ0J4UQ>cF>GR*(2s zSCXR8`AwtyH%~sPvSQ@v+ZnyCnpaL6jlG@Vv{CSzP`)~5qD9nV!wwz-+SaZfu3%BO zq0m3-dU#kGCZ*hJ9>E;X=yay&H-m!ZC9|~}+W|Ihiw3S4Fh$ zhg8x2-b!1^Re_mnA4)p~v2KV-%&vg1eyinUx>`^20| za1lLPdX0rN4&-t`?Fw27zf%YjU#cRy>B2GHSKaD#(8g??N;VqG=iycX7s2Ea5KgP49(5JGd&Fx{Z5rzlvwXX&}^3Ocol{ir1 z)?GUKz!u|u;!!lKM>zBF^BlQsfhqjml1nYX?TZnPo&cYgU%hPXypF3rnNb{mzVk|K z&-3={182{oNp4pW3d9pyMpC-aRUGxu)CWVTRo_m{?JTgovm4i%-};Q| z>^@>n((*bRE?3wlv9oPIetL2ueOBBV4{Q~FSOz}Jh<=!hA1#cs=zgSw67r^B#7zpv zKY2F%y2SO%`N#A2cU~tI$G4}p#ZNP{o-_jwCDj@^#+__17z^G9H-FVCiI%Uw7~L=W z>X^DRiO3cqy<_jNFE_MZa{7#sf;-o5KXKkx8%PqR$gys=!3E|3_P^=!t4u1Vi=wZ1 zEhK$&LLDmZuD3YcpyPC%G6!5gi?ADMn!c$NeRx?qelsXm_nhGQ#f?~{~qeX$1P_?XxXX8D&a`RW^1mA9z^K4J*5U0ron)DJ&f9DEUm?tYU{ z)^5y}r$YY-Uy!_Gl*wI8j9yv<0ZAJ9aP_fW$~ZEqo4kGHPWH0&mAQ+dH(OG6i*8*s zlU&KwDc*V}#SumA_6r8v+4rhC!k0Ntpiy3zFHNPHP0u-yS?s)|l$eJZb>+>4u^zKR z$e(wvG7lYyHYg+6ZTb1`Vydt%6eVB+J(K-rOXS?w#2$94)r57`MUG-eKEpLaJ9H$= zEvXj(l08d0;*X^Kpc%6%g>aJE$6CU?&4HH#Ktt z@bGa0*zaF@-}wWGUDnCK%G^lQ#?%S|ogurL6U15rzz-d!`8y03C&zE^gJJ~23Aopj zRDY;OY7i&DJ;GFj3zm7k{+!Lx*tkL!mjKs0R9Zh0s0L@N9T{%bNv2#s1o-l zlA(+Gl|lz#7c+2#+++P;V*KyF(*0M2uKqc6V!vHMRYWy+M<~){ZA@(Ml}G5eGKUhC zJAhFXN>UIe0K1ZdF~q^##uUIPYYfG^xsyAzQO()T&I)3E{~dr&pnrcX0rck*{uK#w zasC|*2E{8`t^%=p4{q^mLqt66Snp&%uy)42!yvAgmF?Qsr7(|2H5?rHMzz=$-)Cbm zs~iyJ>%&=4Y^vzfve%t7E{*=t6G_m@*_JQ3*K!geVX$_?JL=6G02ROB^OLTO39lFm zg^1&(XEn{Wy+tc2x=Wg8cliuL@@MKRQ-0g9cfsr#XW!mG`hNEAqjQlV;r`*g-XlEF zv`g$lZ?do21C3y9(1mFG#9P%;>Cgibqi@|2xIq;Q^m72xNHH!gVOhG7CBo=2PizJN z?E%uUlJ4AF@X76G7tNHN!hm&L>gF0NLC3SU1AjA11k#c*U@PPU;okMDrd&=0mH|g> zx0+h(rx|agLcwrFRd04HcndBp1i)m0J&p>=O@uQ%1k!3HoJjIy@WTd8_0K7DaqqSw z-$gTsX#?B(W*LvphZ;o(hcFFUDXpS+a`1$`it;LPX8;g=tr{T>#2McBQ=QoL}v&`*%j`Y4E-lg>}X%>5_)Z>!Q&GPHmgL3i9ATT;r_!TO%RI9UG}0p&Hn z^ED0tD+d6?&&CG?0r=QJT$}*tTonzR9L%9y?|$x3j(7h*v{e=2XzT1?1aZ9IfWMmP zKbz;jH0k&`f9CR>%0QT|d?z3z7kh1N9lxvSz{Kp0eu=5MiLpsOc6=WMB^f@!Ln=5K zm8uDKf(HpnDjEstRWK5g2@(=gpOnkHzP>&Y6-W8z8Ekeoc*NMWeQ*U87-r7`pY|8z z!1E{Kezl(e5b-}*v;T|ud&H~J`~%{5-{X`00`Wg<0QaKdze@3c5%d4IQ#>cbKOlbZ z2%qJzhzI>mbNDAa_&=g}s4now`OW`Q{5{2UO8+C`m++Z?f%u;lj{gS5gZ?79{%@yv zqrdQYYJ9*i5dUuqSJ3|o*MAVMMri*?@i_Poe}VXaQ@DcuSGfKI;yKm+5%KuHMEt)g zTtWXUT>laAc>joacznvgQatp8;1A*W-%%%_CjfuI|M!F|2Z#*>~YQ#rZ!osvg&7`b^ZvLi}1l;;so`&u& zWNYm;$gx9Q;Tm0P3w{byl0wKpes|{MpgWe(EACE zA_xpW3k&m~Gg))fHVj)?m2(nubf7~zpfk1^f-C#ut=NRZ>cm8&D^cyAEBVpzQ`D8Ng!Nhmn@i1kz& z>pZN0OYTyUJ+!%;J8}PlQai6vSfF_8Q`*USAJwZMjcmZv#q{7H)xrv~dbo;*F5wv5 z*H{`4b6wt@eA&$BwN7t&F5iuq-yltnymA&|hLhg>2-Dnrf$xJ*G~#2H>_%Y`>)>^d zPvY~3x;MKXr;@_$`B77$xEFMqfaO>Uw?pyJOgg3QV&2d?GM={PU=L2VvScEPb$COD z8{$i&uy=CR^Bk{b#+95f!)XeV3@Iqke8#b};KR3YEzJwl0Bvpb(aMU}Qyhzf6$Wx2 z+qB!Lmp9>3;Hhc=i&MxqjHeV6lgb5a7DNk^Z|TakoN`FzID*@P+4$8pLQx`AFhgBHYPA4hK0Lko(1p!YlLTb2P*eo?d zfTHlp*kl>b&PhxNyAp}bD;;rz&=EI5$LS7Ty@SDh16%Ry&hAfJTah0~^%Os&4u6$n zo_Bgd=R4qHHumk6z=XNoX@t%vhQNxOi6GWF2UlYT0^8lx*M-{JF_cFnSEb%9OBKxW zK2;cRvCnRlgw@_-N0R%)83+5zqYekdEm&W6ggyzyR9DCisv<-Q#d<977Lsig+!ZFE z+gYPTp08%4=S?o~`qZGR`mX-jqg1Rg-76MY97f7fX-n~l2MZnT9w@#@=Qb0fi|~6a zAA%kBH@)*`{8h|~WR5u=Jii?!L3CySPl(%~OHdK0_A?Ri=FKxOqCU&LB|z8D2ML}s zehH*jRaL--J;Ek)b2{leOJa=vfY870#h)IjE=5`Ygzq+-=Bwb^DW=S}**1VNVKz=C zIARUVL=8N5n#NIz)$(SQmT@R+Xj*?=-2d^(nTjC4(!TaZ^DR3>)8gnCT=*xm<6j+6 zgZ@tH8tLmV>FX;S!@yD^Vj{!9<-=tE;?X}T=D(>K_sYtzeI(+VT4K+Xp*|8tTN~T| z&_%)xJxt`}-~sSLH5m>d2hUF)66oFEc}SqgqJMfw?qPoIA>rWV{--Vy&U-=ir;mj5 z9%Db9s&f9#e$WQ-L7f}-&X0TF$Zr?izhC_3_<-7YKbn7YeB6)ZfX?W*p})C5plyG+ zKRAEVum8l~PiL(^3(KERjsH0^{~rIG_aEqo`{TzNeqZAMr2B*OCl&u+Q5Prw--&W> z)d`C(Ainqe=kt$IPV#sr6>=%E<6vB`_K7meW5cs*;tRL%#Fj4O`G}B+&A37;8OW zqirocqxXn437IhKSSGOisO6_p&+=&MD{G{g{HIY=mHgeAE6S;BZ)R4+!62DsP?@Ml9In!5x9);$p-_H%*F};gi64OZbmMn?IWyEHlMFUnW!otB@qaITO zogCVNCz&w`pYkSvxpOb+VWS?CF1krXu*e7rIAXy@38f>f8LE)V(f@T{bNys~{E{y38==0(|H!%V zPs#KzzKtI{;qQGLKPc;`UC8yHuxVti4NRf_*yrZP_Yq!D>SzDmC&~fcx$I)*PL9eD z2XR|#J6oH3M;^3I+}6t0LCwy<2nr?vaWOZ7NIMv~L;V~7Ds&9Q!T+;`vIlOBej|ea z?E#}3j3K1Hu&x_SDryZX7Tp##L;petM68-D@w zF;$n#%N~21q+5^r6_CFL^|xj(D-JgA7;fR0ND`VRDP*+7(RRkUT*yO1BWW3ak%hzBviGrEDb1H zol?Ba%?zZa*Zml816zw^1Bcf|(Z`A6ii{~)Kk!W=cu0IXn00|K7gM6P(T%QC5dWx| zrG01$(~8?9rGtgi;e>wX;9ZS?h-Jr(eim=yO3Sr`Y+IV5zXOjm<)K0_0GwQ|E?9*n zRSCrTFg}hRS2+*tIX;v%@4%Ebl3|8M4D{2`zk*$)*F@F=JmJTX0SayP`Z(nh?LcE27+N;pKlBYcKj+s){7f~6NFknv3E)k8J-eCd#Im2drKLcEhrBhFhKzSuWw-tS$9yx4|b zR;(i;J5VXM#Cfs~9 zYZZI;u{bXKfF0I;`8Mo$M(2y~x#y>$4*smSOqK7X=c~l+1U$&Z3V}G8_Qp(l^STI) z`9vucGc2A}jTku|?1iy?T$2oFr{5N-M&*h7UawPm$@oNyJI@Q@$V|LDXKGa{mmDUn5RaEa3nSrR zA)oF+#ds@p32Xnhvs1-r`sqihaW%Qji1W_<5I^{ ztCmFfBKw@7MSsWr!d)+zQuJ{M$E1L|qr!Mrh}A)W)k9(~9?Sk?fv3YWmSsKKftG_| zW6OvOSY&25VlSzLEf1NGu!v_gsD2>c6Y652Kb0d!&8|Db%1*CuMpgld54Lfo z82v_yD)7OBSWUv{36BbdsE98$rrMF4%C_VWG_UXY93VmRMM7?$PH~&YATJu1l=@6B4nKV4S3##qRA?{?WT!qKf4VitMt&lfSMAJ<~FV?GvNMXu8cft?AELn&{$?p#W zCSI-bk^xlD#oV)t=pU<-$13J5_8Z=APKy4STtNJe6w)y$R^>k;EFP)o<+!TQ>1(_61eZcmL%(dEG^&)@a%Qc7_MS6 zk?W+>6G&;!_@tHngNaP|cQGQ(I*?7rdj8h7xg20RMcsqNRxGB!0AvnKt z^B8$i$Xffev?-%YcFGv`rJC&_IG5>Rc1g&J{XuYEnzL_P>vDo%mCm!MTQsa(iZ5`K zEf-bs@?@RRP$~St>xJ^1QR~OfwsV8cb5E`?*(w80`Ysy z);@Yt;=f|h{GR8qiD}Gbb|LB8dX56(IO)!@)$DXVTE(Aa34cri6=V)e`< zQaf(=Tiy#Z506KmjkDg=dOZvq91ds@VtlKwIq25Ynbw3r&4;fo&vYQA9P@L}eLNN}3uL-5Fv)RDmT zSR-YgrthX7%~*?eZpMiC)f5J5yS*r?>1d;K7(^tXdo@CzQE&nQyO7@z?!S5^Qo7$Z zvr&Bsz*p0c6Q0K?rB3115R8)_BHLKm0jcruyvKhvl6Xd+j?b1cnuF8|6PH_~@BL^x zb`0^hHGcR~P?*-?=wuv_qQan0Poz$gGAw%;;eo6OX~NyG+`GnoIiVaNi5V`tzU0q* z5A;rX5OEi`>B2b!q$ZUl+CdJ2xRv2JADAhEU!VjLqVrj)^nTJrPei1TPeOam!$6lq zmoj9il{-el1u0A7hjmQu&1{i3#uoZ=^rbv2#P(E%7<<`2Rx@whYr+B&5vvhZxRk^+ zCfQWjV#@X`x{+9&Wc9`m=H+V|FI+8nwffZoMY~z|Ef1wUretc^-gPmxV0~iyGBy+q z!J@<7>0&;j@7-kd4i6G-MpHd#B}ymxL=1C zv$S-;NY(ZPAxRUw9rKr=M4>CrS#n8ArzjNfKfa?mt>S3pE-< ziSeVaj*fc%%JIlDFTw8(J%KdZF#oi$R|s3*s#wzY*PNZWDw3hE;+Jcf!+K24tS^lM zk;r>dg?A~z=w&4N>nJOUfm`q&r8{iH>a6IA7GhZj5c5FU4X+}>T5L#Qmz(MJikMj^ z`YL@*8x8$0gqKkr~YX~@bI-LXQq;Y(K zVS}O!el=amox`XJAM3-H*papTxhbVJ|IKnHH2c{F-|GF6F*mhTWk7b#GmVW)EX>#C z`ox{u4UJW+$!LRMHX{P?p*n7w8Z;hl_p`6Ti`*rTEiye6`uMPE;aj@oqdAOskD8Xe zHFr)MjeXkVhda=vUH!p_1nk-?#HOY-P3rUxWIY#|_NL3dgPjPbOrp=JiIM@|RTZcx zBOLS2`;Ai2+CZ_vR>bKq2;akTPaLOMm(f0ddKi;TJF!CN5{}n&D2~*aX&DgV=4&*> zlG4p`dcFHXxXE;sukrhSifQ^<7ZAN({_WW(oedT_t@D#L_Nn2X4JMe`fXw`0r1|f@YCi>uNouyuM1l`~_ zsG+O9>a}B|iSNm6HW()}eXby^CZLxDekMzT@hHVggMTPUhnO(AL=R|KrB!+RjokRW zp8bgSnQYUp_ib%(V+$t+n;jc}an4s6HvC~GWo#m4?RECOszN7z<|aE*Md$HyZIf3l zJ(60$f|E4=%+#bU%ej=;=htljB28c)yr*t9AjP{~U@o%XciUQ4n;17Bbh^#;ENErw zL5XOKvf3L{-Pl;ov`9yLngkRg`>UKVl!EUMgJy`g2lsV0B~ih&i@dK!9A0o=*(zai z8TIt6W)P2X8cIU)R6BJ2;F_O5lBC#$1%uO&8QSlLv_wr;S1-U~&$gcguo=tR z%Q-zaLdA6H(R%t&X~jMejfGeYjss%ZH&_I#CPgE)X%@oVLQ**RL6VWMe`~arf>6`f zjIa!&t#tk7v=B5VnH51sc*W9qRzvHa7jYDo>fr7U2S-C+$q$4y2??u~GR--Cr*C{2 z6xg3L&os8{?$THTSRIqyf$@C-p}d&)vs-XfNgSXDDfx1$C4ceaC<({!9BNvERV2w1 zvEYVy->3l%xir48K*mGWH&WxaQmk31^^vsZ8$VSbeAEm(oi9{nHWFoHFiHD#;N>W= zb&5EYZjX|?1X(dePtn3t;5kZ@e+Tv-qoYev%DJ{M5_W6CPYPmFQl}rF1AegeU*jVp z=CB-sS=W0K^r;__g_v^HZ!Qa6ASDspR?cV{rcBM6XL%BX()tdB#0Jk9nK_*Kgi}rk zTkYEyR)?W>+s~~Va_K`yKjsTX*9|XGvwMDQ*%Gs z+RwUQ1p7o{gj7teT}@NAi~!QS39|&o#?b9E<;UaMizMdRh?at>6f-#(r=G=tHDPiG z=+T0;MK}FTUyej`#Eg`C-egR+6YHLhAhSQQFKdfbZN9XDP1}wfrlX56-H+9ze!2-q zzWq3Bhw*jq4H=^w(Q+5D`RuKkn8b-^Y;6s z?l>psY1BOWwhGmL0|r3Il=sS&}TP}mIpG+NAi`C8@YT^ z=*L|j4|w|^!#!ew5zU~ttTu=997hwm3!{QtOYhrU%)f=7FjAQEjwSUKG3yVtDrQDI}ng8SKyb%*~{|0moeEykX$*%aLsnH_4m5X7JR$;6s&U zCj;Lvf@Y=rin(Hk4D?t$HXP7xOLYu#NscX$WXS=&? zA07+p)GRz%k(Ho%+oe~g5RczBSq|?NKKblgUVD|$O726`fXixvtE2LeMbazMFow~OJR4&Uw4AR*#=BL}k7>Ci6C~RM% z^&JV28q=xgqKMXCgERE6~P%)c%3Hmv!S(5=lxd z4t&bH6K{+@+$LJe!dRb- zFGU7#wlt*BQIC~YGJsX^V%Eves56|kiah0YO)T1%c7+!jcZP0X_fMSdX5FsX zUYJ2fguN;=<*-bGqC{mZF@l-FCR?V4WlS_|a`7XE2N1o^6{gw>)oMjtv#E^(Lx;U!ybD%C{8X#m<3k z+SEKLnl&XCahQ3yO}$|4_yco+h=|~Ui@_3D_q#o-^DV2bVsl>2Lg7KC9L1ApK7N^v z9{H8vS$sCO#K?&4g>L<>2y^|&88Y1YFZtk=A%EM6_SbYciX>@jF?wppxadjFN)QRP z&wER*5fR9}>;CKhuR69%5#ecMkb2iaUd1e(DWGG&5(;UXomaH{2nT1jg-qW@kmJW% zJaw8{E)ojPtar|}2KT>f%0mRO;s@!x$@Bx|afZf|G!}9Rh;y3G;PX0$4;KzQEPVzC zfx!`9_v6NPuRf~p5q;ErLCzWzvlRhRP){cMYOdi?K=kE{okO)zD_szHeEA4phkxc# z7afXZlNk(BQeNeB&B*QwO+!E>xKPbY-(oZ4qYIY9*N##s-`gNfeCmeIF0NMq))00t z>$_Yl;0@Oy4mMs}iHhy*k8I^k{179@wi=JaBr@2zR$y4U5pWle77|DN%robqudVrA zDFLOp+Mygk4f5iqpg?J|wYJ7=Xv7alt{ra7!A6RON6wLuQcoWNX0vA$_tkz2)>6jI zykeVK>PxUGdKUeXtc7(n1zt@#Q-q^Ec1b)}&aKF@XXi^g0#U)M5n(tR2aY(jPY4m%p)LD|uK)v*|q84@5vAng8b zF=sx@C5vjbx4hX34e+CWB$#wYFDTfkgJzBDgkUdnI*BdidHVuG#Sg6Y9oL@9T_vr9`$shOa2hN7gNT?ihmQpT1~awr z89ul6Mw>cTWT~(?HVPZM#I{0x(af8)tMQt!OB9J_=eS|YEGe<+_z73bCD&=ZOd(xk zL_+4^7y8YG9zq~w#wxdrVABkt5aZ^w-rg&C=~=!PU#%wn6Bh^bU*jwASdXu-9ES2i zpE2eB$>;1=0uwa|e0yCkkHhHcd*fcAMjmL`C^HlW&ZxVoJyCRsb5SVWVAt{an7F)f zx{L8fYNHYH3qeCYNtHaEVN)TF9{`;`MU`>Gj7V|EmAok|@!?<_7M)(^TF-DWFB?%F zBav4`+7m>i@=LXAw+{c*O0Ofi!3=fbaf43-a?RmBllR^w*CX}3oJLu^YT{qqcGO)c} znJdZ#yLW`8;8Vl0(XQ|%?q=F;4vbH?X^OxsiQ9i>RvlbCNy>Wdl(cRd5ZV?i_KuG9 z>rn=3Oho^SN=}FZ(_*V5!3O?A_J$WFlZg}8E+svU;G>{019IdF7oQ+w@DO=8ReYAO zS-xJ0QnL6&eF`fn897V6nQYo5kc^BsNgk=mPA1r_1MvwCwUfegnS=f~LAVBIr0B*- z<_90%`aCK%cgXl7*sLr7A%mB!S5`+TwxJ=WpqQ%?Z3=}x+l^I%ZrM1c50TNP_4 zLB3(=w{|evRBCf&i(-78$-0>t!hBa~^LangBpzC)6hmnz8@r5z9_G`r*$f4Ki!O~6 zug4sg=e}vf-Pg`7o+$bgjgazXY<#}NmpGQ=3&ryqR(qYpI9yYJ$PvWG#+RwZ83c|_ zZ%%Ch9-k@Ube^lqjRN1`5~GiZSh}3+tyRC<+1fia#z)OQkD9^jPezkNz%Z<(Cj9_Q ziZsH5%#Pz3BDfJyk;g^D?jd`%y?Fxr| z-yv^?b6z9rSmC+s-f*4>F_1S$vd@-A*CQsoq4L5Eox<}yzGFlMD39z|G;?5CKd~re z(~ZwxVryj(QPfsK(JhipY3}1VGfGe#alZcs{3?jrULX|K82dD8^ zhFul6@f32Dkf2fu4LI3^CA^n(w3)ODrnMsIqYk=#eDB=pkiE9=_1| z?!XHHHHz5yWX7wRAl?L~*V7cVC(I|#wc%0&5&7&t^so3H%s?!+9kwL=6EDr;$ARvUfj5^Kn+rsNpv%K6*$w?!Zdg!H@{ zK-cvur{k`wQN-n%foBEkwmlZwm|U&6eHZ z&!it_xP(e)x#W$%p*|Ogo?%(NXfPnuvRWIZj+#&-he!ZC^{z?5`V0XU`N{w%Ha7e% z%*xkg-SHb+f|?a{`R1;x=*Og~>=c*XE5rWG6!4)~TZlawA)3a0LuSZ$BloC84QK#y z=T(KhpJ2D`CQ>4>WL7dyl}EP0WHQye!@pHl~Gq~wZNeuaSAQq*%FB0)iU2t?LiFpULDQ5m1HFH#raA;Ot zpfwyphK=SVa^r1;12cB_r-i%JjC7b3h8Sny&7>%%E_2G5PxE}{TVGVO#$$_U(8O+c z&-Zn-5+-t}qjBs#ceYktw7aoS!Km{crpjur zf1_caP$zfTB}h&8LW2a8;FU0xTH1a0jlSgcTANeN?-;@tncB0g(+pyeUKOJZ)M=rI z4coo;KZHOe7+L%~r^Q7r-h5z>ShgTSMb|MUv;OwvE{&Z1fsz5PI4|r2`rRSA&;b8N zqIt`A%{?_egITaUV?>V)33f>t!E_G>X9&f$TW6`$yF?4Z|K`<# zCNarca{!=8(7#3g{3`zt8d!86UI48t^W#_cr@TpM&h)<-Z_UNa#?1}Q1_!b6@bmvy z1Frwc^4R~$>i)Bf`B3~- z`UN@s6#e#p(vkU}h#CQMaQ%$2y^PVgG642V3_olXKkUY_QEZe>?6Pziq4$H$MB=%T z9oQ}Ibg-pvg4Zrm&pK>;J3ePU(PH!Ycq(ia@3lr_`T)lnYKRcBP)k;vGG>Ja#--yc z#c?4?l@R66&;bo!u4(DP23m%^HQ*N@3KfQK{u|ibHEOm4P#eMkN zs6AV{y7>vO?7#s5Md#4-?K$dI+DCpb;s$|ST&44@0kV!Z?+m(EG6G8d_*9sU$L$8Y z8~fil5iRpg#E~EsJWxfd7~UIc(GX#}n%fp-sl1^obT{V3Whwk@CWgz`C#E7;Qu6Rb z_&vu$$|*E7bRKh~dl~KINPyTK6FGq!t(U6M^UXQIYxQ?o@SHE$z47c$y}TTk)vhpQ zP&{5%B^8|RuQJQY*Te;^blEj0vufqm#giaQ8}Oa+ny?~j$Jwr6la9b<-j4DkV2a~) z)T|?6%ILqJI^)$L)Gvp7uVTT1+@ZC}07S%uAE>q|cf<_qwzH3w#AA*phrJHm3XJ>-G!k+ z@qTC*x=fiX5gG!rG=?4i+8!)+#u7Px-Rf{dl1QPq9xDS2`F?KIjHF*ivODx3BD7)M z3n)-kz{g^Hf?)Hy&74KrOu#@shAOqG5Lp6X7=>7%efF{fc>Bi4Zci3lsyVy)m;u4l zcV*5!1ivi;d-QSk9b)cFUQ>F53rtK;m%9pHXQIXUr@joxn9k+$C67Obr8PgtPb3_) znBR(XR21MmTz(2e?$|ovaQ@cQoukxH29qj=_;whg^2y|rUK>dTt*L5al zoEw9A!mxpmI)Qz3F}{rpap%oXEe7WPp)IjvcrW|w`PG|zNJHaIR!LyY&*DDVK0!%M zOd?ELdi!?OIF#w`12J~oZtSy%h{rN6VKa3EAqI`DM9B4I-KZdh=|0}j&zAYf3t286 zqcHy4k`A%sJaQLs80@*K6rQ;mZ>)#-zH2>B(gu+!MyI^(ezaQHjP&t(wiKTso2*Or z>iawzvV@3NBhKJu7ixPR7l|U=gJGR7YC!>R)uCWgE^oEkJ zfY_V%qRWB+)z?%cFNP;PU-6SrveGv+u7;aJL&184^iV{V`XpZ+e$sB z4(7ojA^>a@1P6LoJ#UZ0Z*u`Rl^jjJb_lHIcwwurhv#g^Q~gJTzi+{;E9|#k!c8V6 zpi|pfCg;IK(I<{h=h*JCOm8%QEbmQfj1x{H6oQOiB_Hc#_~QAtzfpcT$73Z$3OB3w?f zd#w{3dLEzEF52L)zP8uutrQ4zW{xJ(;QurdWbi%+j|O)+*dON;b8oNo_tK2_pm{)J z;>L%a9<2iOG~7?j`~4lgCh_RPCgmT_%YjelmDY@ws0FR5xX6aZr*kB-tqLpFQufL@ z6}Re7XAr%KX}pIueVm0bm%KUOS{SQ_p*IE23-jTw!Fgl0AqDgj@9Mx{C^cvnuls@GRvRo$`?e5#Bu=M>3D26Oa_35W8uA_ccEF z7Vp)ZtB2gUj>c|_P{FlZ`D1mQyN7CGjnby>C9-?7e2(fk*NS%TS2yngX)x`Bl_QcL zE9swPM$HwYro9|xm0Nd9SrYs9A@r3~Cij4(FqSNBkwj1VM_zIp4S00XzoB?8#)&_Ng=$dj-Xk` z#v@}}Y&P`-*-RHO2iwR;=VqKU35pZ_+N_| zD*0U5MVUVr8s6?fyQsey@O057KN7@}5~D8wdTm-3Y>f6y7;|0rHudB-;#ovT_~U&| zM+`DUp!mE*^nx~A?x52!EftQaa>uD?+bHUp6c0nlE=~5%CGUTdRH}#2| zacV5DKU>&@n+*o?{lP5w-DjraVH~aSPI*qlzU->>NGnA@G)@AnywuijA)IKT4-D4% z8XPL!_neBPSjPqBIj%R#0{8IJt17}^!(U+6rVL}SXmBcxY3s2YF%Tn zm=j1SqfC4in?x`XovYB;wMI&KN|}5a`vnH0ySUVc+Tq#M4ZOK%6H*j{1D`QB_uSLW zI}bED&LI@8zyNc==Ipc;;=%ErV@c!5Gj%B{`elcT04n@j~fnO2N$ zA!1FT37c&ig4;DB3^6FWC9(M*Z40;FBOI-wSV`oeKsFv_#quKu*BV{XYTz)Nx!>Lk zI6+I_+Mu%ke(}Th<+#5!|E)eQ00bRsZUrq(^`i@V_gfh!=#!vznxGSbrhTKbYeLJ* z+1=lwvcLFo$%XoN#hZT2?{77pfNb0VRv;T64-fFZ*2SL}_X;Nv`n2Cm??Owz{PJi4 zilRTt@j|ONDFeA+41@BY1#z*#5URtY{*_XoSz`a+Soa@G{(*p>*ZzNI-G4@B|MXlQG@$zXEeP-fHL9pT(a4|YVt;%HUS9tH_)8RNG)2z?(f4i$-l&;5t4Na}FnvJ0 zMvTC(MRAEWiumqBJB#mp@tNZl)uOUje75zI&NhxgpQpa5OW8LWw0KA7=RA*FTW);3 z6CX*yO|365 zp%EK?WlvJgZf{vEFd-G_Qp;3eZzm;1b4EgCi;WF zb7T$Fpq@(}*LA*0?OL)&^LosxJGWHn_G3AJ)mWEZV4vZ(%jn$m<^3LZmqIr!T1Tsl zXW+|gOFQZe2BjrRUIyB+pL`MCuBVohBvu~R6Q)jHs`deaTwPA822Ep#POl(f$^aVChn<9)S;oO(t;DLoDCm%m;_U9f7KjMOIHspkb2)uZRM&xf7&$c zuE?|TM%}bw)rN{(g|8KX-De~%2ReJ~qjSiU>C%a3-Aw~>tSef%c&Ou3;eK;Z`Z2_! zb90#uv)@>Q0xD+y!}#;l?fY}wJwfIKc9nTifDLB;P&D|h1HP5N3f^%-8MLuBRQN!c z7(~&tpa5d!P!u=`nuFLcJJi65#Z<=v6z|&@-Z%HG0oy3-!J!yT`THkmx+@z*Hi-=w zn*=zy0S7pJQz*$30R;p|zuzMPMfA;k6qK&c1$xUp(NF}v4B$NmO4l%=<5(zNR)>C% z17!a;Xl~MFGBzFn_xksJwty7?w*eWL`G(ctDv}VZdc>&NZGuo0cUm=zKdDBF ze5ii^nQU(@uHO2x$U?JXBP)?31fgf^J3Ozp>X&LVFQT@!PPl+d6YL0U+hTUy_ddu0^ z3R8{9Dz#6H*R`78@~m?^=8A+7TMtB=-P8<~x48CxDjU`u9Avp;$@1nO|o-rR%zUfu0#%7kVqd(zdMeBh>N4tu+ zNA2{FiU{$wUwtjfb7G>8=aO|pyTH=O;dRqJ_odVg#|p|JdjuN`Ki^R^A5B)dRWTej zkrFx-F|GIJbn>2icP)t1d>rJfMhV9jbnJ7KT3ufD@9rL#>GQn2kR+2F;@?ISkt zUrr)=T>d?lggP59_ThsCQxX2H9|DA~m8;z2dO+lX=eRbmnpMPj*+mV!aE+v$uNZU1 zuG+ac#XWx-F>ROZp8QbZW%f6#*yde}&u!vvusUc{6_rOmF7M;(RTT}*?7rjEC*0My z`1T2*GT%T1t!O4y#Vx?yd$j|q$3y!|;I;6GJDiww>h!EZBjK)M-cG@wa|0?{<|vZ= zj>WY$;*em`2LH~}Y|q}MP_G}^r%@!ncj&SKztRP^cghg26c<9rAJRFV5aZ9qnJ?Peo2 z(bbF7)-khnm)C;dW|OzAi|ZvK`6?RF7tTu*5PST{?#6Nbz8-u=gQc=bxrNuRyi8uz zVoQrq@B3=m5p++;{MO%Mju6>a)#N$OtbgjJw6QAL`MY%R0hvoYr)#^6cI&0c;W<`n zN4GBLXbGphxO{FX$82zfbpUa6xNm|lG|K$o)q3txN1VIe-kjlR(=hy3$llj?cpttlx$d@zZK+BNS^~W2C4oMt1-#8eOxW`T9%|&dx zPl^|3+$A9=yNpvJ^RcYvke4T;mPJ%Z7(HPX4Aufs7yUEp-FaIgyZ zanMy)O$uR2{8LyUa$EFZT?eVhzeAa$!06)CM|s5zuDj7&9JNJ`2%5yKO?Z;dSUzCG z{US(uCfrxKa~n$C*Xg(CaH4j@EvZ76$<-oGcYE_x5u+D&;^{Gv@odC7&#tnh z5vp*To>PRdZ}Ma^D$Dh3nJ~OR{E=H7l*cQZw*@bJQNHDbhpxmWUiUhu2hQzRZchxj z*ZJ_&=kkUV%CC{C{ZTbKv;SX+OjhCNyIWEYP^LL-D+d$KO7a{&M5w&bqbC1AK~lkC zRyuvYqFso8S&%&Fxyy23F=5i^F!j{Eew{lv9xWN(A1k0N6xhWy73fZIiaBm=+NtZN z&-S_j^2ssO#Qxj>p5};ZYKb!1AKE#=S6M1{xc$fKB)mRb_1n^Du6Xz%jo!U9 z#}FFqlYhQiTd>vTV9m}18m#6I)wvyHT!{9Y^=lTbUr>|}D{k@#iNvg!uL2JZmmGGF zI6`A=t%>-7{ zZ_6jpwZN6Qx|gh{JRin2Z?C_zzG#rLf1nAUHMg<7RZzi?Lk9C{? z`FigY;5rpB=sO2fH+3UBlj(x&XgWFl)tsN+L68cPoj~n<1;8*sn+~Cdged|^`FXnp zI0Fa${0`FtyLo%*g0?eT3NTJ@m;dXtpJfR0BfD|}+V?n4zyb69g3|v(U7;Ho0tE-_ z5xk&Yn-~TK1B&t+20j2>nvQM81s^u!{)%nJ{S^ahlPNC1yXn|wzAyv~1GGK^1_#$6 z3>Xr}91aa*P7nLTz8`rY0S3;P9uf(>zQT|P5(Ta!e$N+)1=V&KF@Vi8U?|Y3!GrXH60hTzw$Hf2@!-Szg*&c>)SU}2z3BxnljD<1Vfko%xE*lOH$U!pX zi--T{&p-MG9*t$P1&?Lw2SDqBCo=q2HaHf~)NXJb48vH@a2yJ7TrtGOV=#>Mhk&Ed zj5Z_SXr?{{$hqJc+X#U`Fx4pnfd=0q`^{zqa8w3U9ta$BI3$KSJq(JePa-h?ArHWz z`b!=ZKPTW|4?j)99l!|9slG9i0!FyNi?(P;5kdl(_MvyM0OS(hg-+0bF z$9s?WzH#60fBygZULGI!T64~^)|_LFIbx2WQ<9KkW=QL(z2C{h0`tAn5ywNG1PcOOEaIa8sNF14wXO^u z;=;ErS+Ha>2&k1b8DFy(V71^hb0VBHAE`h~WFIh68Kh@U(~K_Uv=iXrNrdocL~^T_ z(p4=lm+&<8TaNaup*hs?t=PoX)%AXyjz9S@I6W@uuu;gGR#y2+A96fIs8(FHPDso@ z@euQ}fo8~(X_%YdZ0MU~*av~Q>Q>Fr2ZpFT7;>$~1|idMmQ0C0Wp!ryuwq`cw}L*LmQ85yS6>jRrEoK&+^TMAEf4!@_9sSYk%4z z_O$4w2X+BuwQ<0iSn5=9*GB{PVk7hNX1#+9?uo}>y$PASusae#)9PEC@Ak>1uf_4Q zXe_IZ<3trZ2oRV~ZLBPdEZ;01qSthpVR@>B7PpK<*M#Z^%$Y>1nNKa%(E*meASQZ`TZv1hqY9!_It4Co6qQ>Y{+w z@sKLg*Gq9TvD`m>^>cBXfb2EX0SU2TG{9!zOyFcNP0#4K<#T$>S9Tl;L9xawt5;Dc z5?n-&7T;najR3jqQQHF+L+|7R#23qnZrX87_LMiapw2#P0Cmebab%)PJy{uhrh3=h#0#}xB zYuV?hBta6=&Ad2*xIUER|D~EglMQ!-+yiB{=q#w!NuDvbLX6mM8Yh@!lhReBQm8xX z1s7QwSKn1Ysy(R`&MHPHU#Haa`ul!W^dmeA3Oy<-+U!mSYhifsZp%u*Bj5Cs9f^HK zZk@%$&umd%$L<9)x`fjYXXnUe@=W0G7M-gAu3rpsbOrb{eQIQ)=e1q*$P8ofbDfr> zJ72b3?>l)EOmMr1P#_-DGLq5-ui&T#CqL*%Ek8Rkvo*)^%B)*$_)r}7#m@Gt-|#*F zkyC2_3tHo=wYk)d9*UhU3#_hmSA;mql!q}k7nX0Ii-4Axa9MkG>t~-KKTyYb`XLi5 zb6OKSd*G;5)3BUH$=m4su$cerphO;a0KVyCbN|n7!knvgjP6G^e5oN{->YL(@@#LN zEblyGPSEr`9VnIGBC)k;IeK<{{PeW2Ef&}${ICRknilym8$VJQ<*VDFHcHUD9uZe5 z9N)y5(CZ?XFXv~(|~ z8XbIDrxM0ivG%6~C0uW;z8F3xHvJj?MGL-~+7+cOD!(xdA-1clw)ZsyFTVC^grK|K z#FexdvE@9ce}pec-a5qOCMHJzR0IL(De}R}W80(=WKvf-yRz-frKeYB&IVp=37L&L z)salHMOP0P;nF(V( zW`&TyY+GUO-xsY_LbBcT@!r9F&bm+#hY9pZ^qDD=bz2pC*rrk$(q0`tgdP3@*AVT% zfh@bIMgWjQWJ0=PB>vjc^df^y9Dc58uIbAzw@%r9syyNLfvQKb*ORZq+Z2`hckrkm zvrSMT)<(YxYyk8MD*RFT{!{|~m9PhaeirqHdN6Pp0r27I56~YYp<}{eVZ#~!_0jx) zKKfptfNBv?%|Zg=U}$e<>u7VYRY32b>03d2B%etsz7%DaS5UUG(zoUSvMNJNoGkT! z(>zQZ09?Nf78A2^1!%EyaRLFXAbuc#gNuU~z`+6H)dsMOIv7H%9e>^zgp(f%%>fIsm(vz60bQ>;DqtfB%*4zan(?FQF6r?Fy507e-jDBjH+-Jp#sPPVp|5Ucy|0DJ=d`(p{9KbP>Y zNRW&3?`SX}R?%Vwh~2e+i(eHa;%>`&C-a%LE&3w{agB^j`<@PkSuCnSU+)>!*XG!6 zYyBA|zXI}%2oqK|nX30gYY@C9~ROd!PdRjqqPyqg1{;^)miX-^yV zjG~YaJF0(C*-+J0u$-i`sD65v%OE6os=7Ssvjuw>$ewn3_UY00(~o0L1qOtB2lKj* z@IX_}(F*Kg{xIT2WT z9k5+1tE`@-y^{(C!xfaj+j-BMcVR97CiCxfkWZ{9oaP~Ts#3&>Bu556pkH6}k}@0j zZZrI2B!ie1u(^AN@$kIAPPDHd(||?JK{24vag9kqXvjnYD<9(|j`292)l_!Lj8Nrk zYVe!w8Z{5T4I&{ z&k^!(yWU9O+VP&`9ROM!_nSo-$}3*js9Kx-FlIRJiSOs_%=PE2eryydeM@n01Aff* zejK}!y^Y~LAJAfl+ELI)L0lcRec$`A(|CwoJP!~F*Q z)kOcBM{zTlb*7F}C{wHhpe-VF=comv|K>W@pe6n94{$~x~UNrnyDgG~F{{ME0=VbT? z#P1&Bv-}nDpucGj|6~XMM-&g$1^zg{`Cp2^r+Ch%|A_cSeCA&u{%3{bzd`Y!zeukC z+bQ1gFFc+aAMgvr|C_=U^uNOOAB3wR+CNe}4*tVmApYMJuAu)FuK$2|PL+Q|JpL~c z|8ELc(Eke8e?&aqKO!C;pYpF14?Q9HLpc6-)Jfkj$VgmvB0K8Cbp6mZ@ zJ)W22zo^IiMgOkC)2~BScq!)!DjhHqDq!I^jola%tL_&l{x`)a=f5pR|No0(<7fYX zViO=%-!D-7lfeALeEhGt=r}q4-bMGqMhWjFb_?1Pwh$hjl;udnSd8!_F5|Z2cpEB8 z0)DwUV`7awJii$2>Y_akc6!^R>?Xk5R$>vjqcUJZ?kiha$pY2-51c$80nNhF>Mk?E zJhkf_kKJQ&_K7oblaDs*yK}-eXS=s&tdT_%#E~muV=jdGDPPqSGU7V;>yzSeYpQr^ zJKB-0v{oTU_A&XZbjgkQNlXdyLA~L#;>)J+B)EVH#pCCTSbK_!o66`NO|y%yjA2cC z*ZP?pnd_P2;BH({dj#y0ktxksZc>)thRBQjj! zcL}g4h~Y?@)s`pdN#a1=&_K4Zt5ECS{ZJ`H6JI%K;U+jJPrremZ0W)A&9OpW46dV2 zJ&}pPKlC&t#COhk)m6(NWO+r_QOLob4r!mx$a;vI!N{b*WOc6>h&lnM(ta48K)~W0 zG;r~i{4U0Uzj=OHy4qgSGBLpk)j0=A#q>d9c$2RN2jN`619gR9Wx;^NynO;{mn|Yjzr~NRc8zjyWq;Mbh?KCwjxMa+{Zj7jGSxw?BsU z>?ziHNFJB$r2>0!Ln(Ls-UX#rPMxqo;pTYC@p(7Zn*g;;z_YKZfdR_-@5O51-am8> z#o)fiQhS)~{PFn9MlP>aYU4|}4#eErr{u`Xr$MGTsSS@X&CC|~J_|)6K4!_R6Be-w zTyq~6pFhyK*>OLS6mH3lm<-0fpi>7dMN_yQhzFc$d z8!+4uUmAvdl&zTOcq=`k=!h9glb2vXL4o#a1UmyhbQ9OYEI$R%+)N*-q+m74@wM;0 zzU)}DRx|a|23!(6RVCo-B=Qa83B~AyQr@aL(Za+Bx)M#tEK)p=K&DN4rAPfWd8qlI z9RimKCl?n_>FRbqT9H&or^tN?hpMUUq9lx;E}nmw?oU+VpeA3=}-Y{(F>sCagq{1GBa&Kz{8V}8mv$8xSgnTCPw zAp$yWm5SuKDu%jVNK7uiRh_){w@%VWbHVw1T#9(SK6Fh+hx=vnjRPYqXp%DQ+msE3&0pR z6C)iMwhCsV2A(@k;V4FHda*v0wlArzUwd2FGxp^4xgfvdp4LUfEjvWr{O}iC_$RaD zUmZ|`{!Z!|>gg@&=_wh(z)~V&BE!Jt!esv9(LX8Xzo{Ab%F3^OB;x9tVlR}SJ`x2R zYn%VjMZyg|OyuO?0q{aK84e%^&rco_=-uCWNTA1}e|kvnVSeo);o#-|r!ErCdqMT5 zkA(9cV?Uj$a{kSJ&;s#6og4Sgk9*(9Zx`IZU;O6yfZBLJntyYA+>hjd&gi$Hzqvo4 zZGX5wIDgWw|HR)GQmX<Y+y!|ao&&LN*~tj$knu6sNiA~TcZ@)X+hUJ8BaX_uN;wNiDUJ-rhH z5Z>yw)w+pmG3V`5k=PEKEj=F?jJFQr4*SGLwdc8?ka%WE;5^JH7YIl&9q#p(lzCpi zJXB;|K6v`2d)LFx?V~;uD|cx}6xVw3>I3o8Mtf%usR9$5TO?1ax9M zHCb{7st#AoL0PH0MPkJ6=?ER|(j~=W*{mn9GvQ*3OoN%5G9>1gVH-K-wOG*z3;Q1o zJ5BVpvuN|4q({Y#=Zpfg=U&spMm#3{>M9Y&A}u7~fCU>Nl!~xsL^`6q=t>%X(KlQb zb|*+ZswsDQ!Ffbgx62&ywMRXrU-fb-%iD#B!rje47g_3%{;&I*>nHQ$mvnjG2=zVw zN6w9ZN~VADZT#2?fA8D)L0LcTLazUWO(SEaZvyqlzBDtskMM$0Kl|@KQ4Z+NWfwDZ zbWnoWi`!V)+F0K^@}O$s4cD9Sa9JkfYyQ`+G0=H6{%#VdA1;QD_j_RAbUgtZiAMFM2{nmyTdEiA z5KiLCmF4RPAjyDqiBk-A{X6Vg3=miL90v zA5+iJIxvB0!mXFm#zJXzL_f9nsz5-*vgJlUjWu?mCz-^Z<>VQ(%=R4u0BzthVx|B@)b~)lFT{IJn${{lOO~&J!KuQayVD?J45%#hX&u21b17vL;zVR&k;@_4Xur>1Se}tJurBk)!R zgQWdq_V4y**mQSHG%+>Us9K_lSv(`pz#ohF+9qJ*&Nbm65y{+g8vC-tNc_9s_rQ0J6HgI z@OP+&@~=2A4-fa>bKZ<=8`Y_Vp1Ycw5NgSgN2-^Qd^H+XQl@v($!hx2uK0s#FmwsT zeWVKck?*9a{2x4sRws;1Lx2sbFr1Rm2X!*7>FaRNW0R4=-Mqh9aLMpGn=#4qD%-4T&*3h^e~5wq=D5&N^CV^2-xm6mDK7^Qi*iF zFCC($QgSh&BED9eY(cIs*_7K?zrN$MhXlwK2)T}*;MNaAH0l-=yG;d zUS!)Cw8ae>9($QcPGZf^I-YdfGojrs!SjA6OB1bHE8W^PJQiEp_M__mu&8v|!Hab@ z%&OMAy4w3)n@ttccMx5z5C=1nO%&HkQY%{{Y_XG)|-b&Axf|Agdc!eG7$R{ zKkfUCzFFZV11O)1xn&m6KUO7=R>=C=V{p4MC6*s74mnQ>QDO`n@Q*pX_F6GG)cdyG z@tiq3`;8;f&_}+etG$=^32)v-`0 zXtkj2)%mrc3Hu_#qTy2En}&i1Hwc#mmz6Me&4UK&!{q{zz}@>cBpLf;DSlUg7jF}W zaTOAYTqYbJzeY)f1H=cT(Mf8=roRG1!oR{2<;IkqjuiDpIVNGs3uuhQ+S;+iOmZgl z!}*+>MahXmR$E@AOd4LYQ%12bR&MpfIZq9+OG1|I_5*WLoV=Txmf{4TsqG4rI ze1W5EyeN;ABWr_(O5yuoFO+5tSv_{Lnd@tqdvb-zR_1ro%GX>uYBQZE|B6Y2KRiF10I%(cpEJur)-ivh&o zKTarF9rK{Xf5V{uJ;#0n(}>ITLejhG90kO2+>vFY-sW<+f~P0B+`s;-D*&jI+46#}KeH`5ocjn>QlG zd(G496_)^f6}=eYd5mJ}BwjVa7`cA3_2q4l3J=dG{5ON~r}U}#Y-vMTNKG&?*_C=; zkEWuB5pSDf2QCGLY3&b>M*vCB8T9ChR7sKsWG=(pkrg2Ixa$_X*SN1omHZ?zLuJ+$ zeVOlpJ}UJg?%>v6IHiG9q!L71$w3g;5*(*}Qw6XFN&q1`pXKweadq@~MEckSw6{DA zbXjys{RW!Z!z5ggk_3KOhs3V*MmZyFp)ZGDN;86NPNa#kmwcnub4ENz%^_jYY7zO1 z2~5M1_4$n^Y%e0~h*e2eZhT-~zoqfS)r426S?N`{OSp~|ep~n{ z0mHrNWU*}}Ar6En9tTIM=kM3zC54)eB4Yw139$(G9xa^) z8}^|@`OsHHM!bCEaA=Ve=kt!9;3?Vw|CF$25L@?(Si;t~tnHX`lKyYvm#dfqx=c>2 zuMPc?$h%O5cPPQ=B_z3PD9iEwoA6^#TWvzBE$N9CqFH(ob3mE3Z^FTvY)D||o2j+; zQ8SM8<$9u!wyZ4sBE>;z#(=VIKXr~kvqxl(b{1U-PlK;$C!W$3tt&EKD%FRhQEI6W zE>~Wk$_-?WmN09Ut68SUVtq#F8lo7urj=~c8!ai0NCpzQCRT12T;v^IL%@kssT@eh zbt4N5>l7vME2)ZZ9ESDySf9T{53c6UO)9SXZj>^i+086?SL_uHyQ(BB0WvFJsI6aO zVZJTZBW}~Gtt($iMC${y84`dGRB=;Opz&xsv)=j|*^BO*WV$Hyu_05!w{(eza~K~V z)h~LfZ=ci|y=sXaXhnbO;tM_?VAonEHZiHJSEaWn>%2&}Gg<2DYeO($5`9TclnD5) zEKfxl=8$vVW0-{242ll4Bu>>J`~=56dX!{ULi_UBK~y5`=rWyiC|>=6I8t4@g^oK%*KX!F1i9-+>pF+to)W zzgK-O_*B61Y?2T?ZI~44?T&_Uy~z+?-S@pDlhoCAAbO45htqNGbrxCV;s`Y50fU%l zY9Db7pMnY&Q`!R(CqKS&8C2Bvh9g43lh;xrZEU)3#TN>rRkf}tZ&k6_ybHz*hETNYwWw_`HuX|^|qu6P9vpS z#&1|UB{hM0$0@$)$qAblb4k%JubTlx>cDPz51mXvl2?nsTzHT7mX(YaF|J?mRI|%z z!1CmSBGE=Am3JmO(b4KD;SP2*aVSJ~S6Lw_dEXxfOcQVQ?P+gFqJn9^^1d0g*WkXg zQN-dh?Ce}gBOc^5kc8wYx9a%7HN1QzNw=*QL^s^UiY;?mQoh^%F*(Gu?W_FNbE4L+ zfLw6rLRnTPd@5+|^J}I&oVfn{=Y(s@#+@GkMH7bQFgUg8!9A`>i_~=0H3BSlY*0*utdny?R7~ei&1Vl4m+kz~Sct{oI3O0?eFd;8QZ!N8=xB^e2OHiw!h z2-Uq!2}>}Vi`Q;W@m9%a-VTTdP_HJ%)a5VH~{6I*(kg#$w)12dX z`nuNv{ykaqOv5{F&UKZ5m0_7}7;g;-<;A>@?SjMe_+EODqBo~X;ulYjqEP&{{`y5& z1(F;Qb8d*&jSA3!OYI8_WF%O1JvnAG$%=(q4@q;rZu~vMn0m;`e7-WXp(q=Jamx6< zr-Q)e31WY$9ZL2hWZ3{cNfS?==P*U?BiMJCjxI?t>)PB<*tH%%A%IO$mA;n__}RvH zm5+#+!=fK%P4`K_cn=~AG3AQSTn4&8Qarf1l+hwYiJCRX;y4PW=_3e<4W2VReIWe_ zr>qdR%GnoI`!);n)Wo*ABdpFV6TF0gHp7H_D7TOTkv8^F9>m9GzNiXBQXzSpp*EuY{yT-M~433s8;NBvkeFv9S`4I8NatXjd=Uj! zhso}xM+?*v-S9PeJs8OmHCXC#lQz*ptaCbu%>Kl#q&Zx<;nEs5Wh;DujxNk(FIt`Y z*#;c>*5izR=8eTwa780K!K*l%kKhBCHqPq-Wpt8sjjB`j;#WL%+lBDd)pjv%v_WAM zQyUTnuOPVBy;cd-bDxu>DH>QyaTs%I&>H#CK*~}`k+)&4QUpdFWJ%t~?PgSBR7qKw zCAWQ}#&tj*W&xtv=>9MsuVzVJdKYZJjQR;mfIssI2!{p zv-zaZkJ`ufdAlJ4onroB4WJLK)(7*Yu`hEwOPQZ&83pk*qlU$l2!`zUmt5SUSzEQl z%2DjzQWLF%n82a3orLo4z#2!k7)BgYt1%gq{mfu9|CuMo#YFTD?APqBIH1f2wtZw3 z#&zZOpJ?7G*V!t46}$~#c=7rf#IKGS?92JW)wrb=$4uzFw)f!6p-lld$-CVK@Z_H0 z!{>=m3=lgg+J`yVt?2U|QqvIOHGk_e(_ZpbgeL4A9Ci66oXF!&Gjpf~H=KE@YRi{Cs^3hx;@@#0!eYlYBK_H%u&^GckHgHpeF!W+`W z6=k5okgYy2ahT3a<&ij_5wB}2wYQ6+vOT=3-MJy1s+T=fF3UpnQ`s@*r&>Z72hbEL zY+j@FTpmf@el9Sz_|i~9sw7F9=Lg0)h#BF zBt_%ECw)Bj!sy1Wr=`q~e%0EgTxVLURfC|{IR zdc~$;3K7{l7kSHyk)VdxrMAWOhG8< z3C&49@(J2REsyG8WlJ!ys`#!BWBSW%h%xfBtI%22D=^G7F%{{&YCP6DrECrL@mEsTePKjF}|~{ zJ=>ItSwbXhQa0iM^FXs|-s;h3<~$J*!F^}_MX=6yJ65M#RvU$eoXUm#{d8H1Cy{*o z((9da%YifaY;5u2VOt9wdhKCmdg0S#xbt6f!OQ)=Hlr2MTCQdFXJRgQ4c6Py$w z5-PL1i!Nbd$X#o`Yrbzl-iP@=mR`&o%q@zN^bY1h8WJ=)B1E{N-@^M-tQ)vI&T@>QCWwS_cjm4q7c< z_4NS*!@ljs4DVcxsqPYuscVq4Mn!FgLF82viN2Ysx#tmm`C@BdVc0|$03KO7#MkDZ ze$-BfB3W+=gOrd{HdQ&evrJR#R|d{k@zgWlNE>s;vj5gv4CQ<4r18&O(b>gy^T2At zZYAB9t9iVk+QflItIHA5T|MDVobjKdWZ70?ahOE<>Q?g%%GUkvV$p(Ph+lYQJ@mFQ zyDKK36jwQr1*kwYZu0UJCz`4%P5TFZfaF@CMjULUSa{?daY;4wVPG~pMsaVg4`59t z%=9a^>Ba6i>w*`NugMx&hmzn`l+r~wTA~-lvt?ZiEIPNpq#_XIy%`jSv$p4mK^sR< z3u8@Q6yd9Wz!Q;X(2uF|*>H75f)Q+$%zhEmf5?N`vE#M-P2{+^w;*~^u3UgGPl-qP zvHEq9nsKq@X#A*eS5>lfYSGv=EddEmVb*8P%ci^wCQm#9FJ2*2i&tAV-Zzvo1>Jh& zh-H?`;>psup}kR2PgL&+2eO$~a!^AeZaXW{^(rXTgqj{XeG15o+%<`k+StT z&m4w)LgnuBL_~KC{RmH;K6(62k6m#`$T8!K(3g0L=)feONYzA!NN$({u1B0yB=K~` ztjwf}vwfy@s)S%qayp4krFpwN1BK75HLcekO6^5WeS3#AHE?RndwqzQ(g%+P0s7Nb z@M*7Z?F=`xEyWX5vWv_O+Ip&+A%l&-ET_@^^`8s97@eB;0N<-Wz2=dl`DTRsTp zgFa)@ZT!{gtpp}&0QmO0R1SyH!~4eVy$ZR%L7jAe2so|!rs`P1KE_$Tc%5DQ)mZ$} z!pRQCJE`?L#4iN3H6-P7bO!bLI6eS$`Xpt>byFgRZ5Q(Tkobpv%~*80>8qUsfxK)) zIgCV}VJS}#kxDOBu3cMwlgm8YsTBrQT-<1+8=9sH4ONnr3Ei5q7m7QV>|zwose+XK zD~}H_l0ni4s0dI?u@OHTK#X16ZavUTj{M!cw5jvOdQ=iIjHys!25z5+V`TM69Z28i zc6qKK8|>B^l7vqU%SOA*7r&EkyU{x`)vPW8vnXyi%dFh@^*ABptz*KPiC=JYwAe>F z(r<@ps8L}(8fBaid8V&T4g~A?57}!qiYDSmubqoJ>%fNrA^POV@10)-7=ioAL#bjj zyiId;ixd;ZM{AN;Ny*4rYD{HPCV*sQya{qh^|sQ1rmcuiaHt*SUrO)y#0bLGIw3{Y zg)=|+{4T50$zQ@AJnZ?fLYpl14U*3ggbz&+_p(8dO-5;P81` z4pMjgi`4>jKXxd#L<#FwC4>(|k*X#x?n+)=6)u}v3fh1ga^B7LuciwVR>>3fc6o`$ zNWLB@@<=dmj}tqj)xqK{h}1#4)M=rO=v6rf%OQRm*2yP(%^~fO!A0~4RK z6iFGVU-JlVRJ@7aOMZmrb?YoH!ek0l%k9gFeDrAh!|_f(YLo3$L#MugvQafg12|lhfbc=Yy1LiNg=qv1 zj_*#a0q(PuaM~}GWru+8aEZ|eMJ$}pbyq7sZg1`$7~!L4o<~gM^(3OnB48L)QImd# zB}E$KL1xGC2ohZPd!NjlUPdK4qd)cWx)Aj=5?+jUz;q_G;`s=`C^#kT6GIfK*G#M& zKfd&6Ft;~Z7(QD{USFOMBzpSuYP%1&i~o#*^NzWkrS&E~jbCk5TKR{5a5HmXgX>3mSndLjgEU%W^LJpDLRG6Cwzyn_n;iIBhmEUCB689 zpbb|(Uy04-K15L)2?f`1GR3*E5oVNt7~)*tb@&w!wVgmPtP%D}#NZnoj8FKLW&vys z%nUovT}P70QGx=BDcpr#(cxU!g)|HjUTZ^DHS=XrpMwM(Mwlg@mP9%&nah_fX1*v} zdUmgo&;p$DQkMJ9M03za#`AjHt6!dVhWMnAM`GiAG4v%u`tIS6f@SMByDSze;xiIl zy5RC^WvjsovOLfmfI-^F{IypS?hMri!xYiqg_`fU2}>*@!LY1u80elL!RRh!K_0r$ z_Ho}60X2fy=y=+*fgsixrpvp+*aa>t|g@*%{f%H9`wsy3bGTI6dI5}5Lblid(=F-Gj=v*3}@0sMkXS7l`Bh6alc z@GR-)X)dAS87?`aGt`#?k<%D{@bGuU0FK!$cp zSM`hvJF{Z>GK(Y(ms@M$n_ziOCI|KN>kT6bg~2^!t$ z==@YUBdUnVQM=Fbk z{#-qiSjO%#qQAB2r>i~|W|q|*^bh5WBWUa}&LJWP+GL(C_rq1^fBd z5zSkCZ0M})?8|`N9yWfv@nlC(5R3PuK{xYIq)rUJ0F00D3N`qU9wSPWjVLMjYuRas zo?AsPweTG=+8*kGDAC2jIxa%TAB_y%Xk+;mG9!qMp$&JXb%(<^B;m4NX@15z}z*Ui!Oq$iI2D zph-+JRvZ9m67+A8KflU9ga#JfhZjKW%KZ41`6+J_nlt@x##?jovT<`mv%x`ZJpBCs z)qv}NvOM;Gvbz85;{K&84jNtYa}0!4HwfGv%7+zn+f}vixeDoW z85>OM-QfzoAH;~y_u7P$r>?zNMB70%YteBiPp6T>Nbe*nLtQ8UQ3~6_x36u$8n6}gr|EzOuU9p7Vf`(FKIroc5Csj38w4LVc)eONw{^GCr znyEb++dKFPuWZ47eg)^y^X)n671~EW8Zmu9F0SHvRzDdB>yP>!%V~baK77xajYe$y zI_i4fIT9`LjmD55va*fgFwmO|I z{_WngW#A+~I!(?ZS1s;z-;rKS!||>`-Ll|Shb^`oR&UO?_l#t1Z33Noxyi)a- z@bF%qa|^<64#OULoOy?s{hHT=UjG6U)5H1hJ+Bkd*Vt#?49J*HrE*1&$3jvXUgF0S z_LP#Y4m+Y3GpXYJwpBx+Wsz8nO;l5W-Y9Z}6-|F7iT# zv-=Q?@0O%}^azja1sn!@wlalBcG^3ue!lOTj}x>&WD1cAbVfO{~Y{Y53f&$S{LOv>e@vQ|5S&Y33jyg z0FsT=1z%KPa}~~?+nCW1bGXe!HQmt|_bVXU+(p&`mfXeO@=CL-0c<@$@Xzxud;^RzklhzXS; z6{8Ui6@F~Q8dXn@XaSs(FLePDq_P?yEOi&F!BNHC{~2ANIWt#57(5>aU!HFc-ZzKbRXShoIN{&kOV6uEKd?HY53U5$|ZjU}T3IAjA8u zaO}0^el-{>rRtnp^?hv+hbBZ^CnAtPWcnrlXTxl|Gz@vu2VlUW zf$fO!-N8!NzV|aqukU@j32i8EumhxKUU|pY;=(Iu)G%v_`nP`|6C~K}bD|y>|CDn<^R;i0 zxRF27oEOirxn+zGn*UahZR%(H3V0_Uw7S=5bt0{Fc{3J;Qe+fFSt6*;Waw`)R+g2e zeUO-aaqO5*geuMi>x_g=wjz68N6b8*e}HEp%jlSk)Q9l#*$9$Z44r_a0EO61%g1lA zfwy>X=3LxmN3_*;8in$%T}vOU;@mw{5vzM@;#MTHJHzLoigT@C>vnbX36KKQ(pNSp zIaWshBt2rT5H;oX5UcE(Yto|F+2`Olj_KUJlEPRrv;`8KrDMG0VoW6FrFL6aK;^8t z&N5rM3;k@ScNi*QO(Oet3}-~PVIy2q+3{JaI@|uaIge|6zJoTLz5d27Io zL*1c~4K|x^k(hXYBebAyz&=N;|IpI8I;b8j_q?#*E%sesdLENf*D6I^Oh!cw zk8gSf7ZTA7)}sv@m$jB8u>#1MjQn9S5^jryRkIwJG|tG2joU`*j(wDwvz_jc7XMoz zLm8h7yD0N)zQOG-w2S(SK2JMc;v+#UDKYvypy!4~-uh7Is1es?SAA!89iDk)m@nS9 zRKx&N1d7>3A`RM5+5I+ylw>%fvTetLEyIWxQd}%a{?)NQu8dR0pA=Pk!oHR@rr@Qe z27q+fw!Sx_26XlobCCwk>SNl@ihoOrMsKHkTzy{gCF~Hm<>BZYEhqylX@s z(L7LJhNF$qnW6(Bdu9+LGA1vDqgI(DRf+NRV0QKWXs59myT@iWR))PPZlndcLdOU! z<_Ho>D-mD8CJ~HB=gK#7sgx3)R3cx(*1%wN6PNm2H87LBjyD%+Oo~FV|7zIPE&C+> z&K*sbvmb@a-_H!NF*9X}xPP?kP*ivPLRE^2K9bjAa+DxwAgHj|qpeb&ea!%8Rl3?4 z{$j~+rz>y0-DnF$OEvYdxl!mP+j+}#aK5GucU%HGWB-!~PP(Omi6Il?4W>MvbW29p zAhG)3xQ%8t!L3RWhA0%BqUhW)oBYjB2!|^umJ&HA5O-j^X#FH4a;N__Zg(Zm*8&3s zzEGg7d;RudTwlm@Y?Ku_i6kl>(Fag&Zy<3CUw#Nf{0kBIxAcmiD@ptllLnf?@q0m< z9~K)3!1W`;;h$8t`BxU(Us5mr_TWF|?!T^d^MBrA`*U^wLlztF&m!F_vgzJp^S>67 z%+#}qT^RTX@NEfl?sqnzGp!D8_SWBfk4q~LmooUY_25dV5VjfpL(w<|K3I&Sy7N>N z}bB9ckE zthtVNJ5s^zJeSj_Cky!su6LY4@)z{*XG#ewyS}BZss4R#jgSyDSYH$XWP_&r80!D{ zg|6n0{`*Qoe+>AegY#!VXo<8RfSiDz`+oxbspGz|*&h#tCJy}oPHv!?zb{d&?iCbG(jf*ZzNI-G4@B|MXlQG@$(ZEeP-fHOi9?C~C)?QUBW7g*cBtzM8Pt%#%P#imNw?eJWpLb51 z(;Tg7mA+J&sQe(Q_vXP(T!u^f zFNoc?2U_>xZ`VUJz0mO?FtwE10?mOL<(?yLi=opCL_j^nyY0FlJvgdjXrr0ehF^+lyk`MvuRP&KIOu z^`J&ApdGf`%MbqO|41acd=}-++@F72K_*>@K6dsD?4pW=oPuC!ZtITWFn=ZLeZScz zn76J(4XoTWqv|5g#?+2a)y31@_Wj2E=`xgM!R;R#CyHKbE3_Gl;RK8K}~? zI*zX`P6O6U*nwj%Sn|(LFpQWrh^#RfFgFp1W&@FK#_CU^HxdFUjs84G0n+Dd=V%B+ zh6@afdt)F-#yx=NSO`O`h=JoE4E-F&IUdmWTgyv;FjPhuI3TXc(8E~00OIIB7t{h) z03-&aTBfU3gR`Ik$<@P&A%zOya0nilYk(hMdeEd&d>A+aql_UCfXd)FWnkeb1cSpW zqaipv8i27t!u?d*|CP?zi3%?BTWz4P?-IML}0;Ho;*yGu*u<4zDMf*A_u`jUdRBHNT2nGo*lg{)eCe`cbo!lid_djQbKd6=n;TK%YQ#-$MoaVQE%Ga- zK6@{_;+4*B*YkOXstUa8y1~MVuivl^FSC2yaf@%~K8O|M&gEW6eWf@w^lr%3aFTwj z-2URrr8rVXWz+t&o$QaC2WL_6)Uy~bO@c@Yh8T6CSdP|ETR*)Rt>NiR5L_6sqIL`4 zl2*}6wewX{R)aiBsmRee<5Gm~*=nReF!Y76MAlOQMO| zrF7w`<*oDD=$L>q&*)kgbi%|+MrYGqgP|v`ugulztjSy{Hu)JR=39sTw$ENDtxKZuGj!NB`GZ#g@}pYp2}*88$Mg#POT&%;|&>7(~*QJUk2GfT7A z2d)ENh3%6Qx-20oRelIP+H_nnV{ogk-s>Wm{6CQ7Id6~Pz@4;Smy5~T-L#Dl8YeVR zqOs!cA~_Y3Vq7y7Gh)qcfhEd|`->vsDgANnS*mRzNqcPq>SlfU2r`Aiwlboh-lA(t zRm?o&Mo#secKn#5l#LGd(AIydn4mf#tWH@nYah&V(ji^>S2#U$ugBds5v^K}wv%LQ z!x8~ag8$`()~TpFS+IPB0r&Bx+EHT5wf&qKqfwy)uDp75oj(dkEf)~y(PoWCTqbYW&UEs1k>!%UAqTW+?( zHWi!Wld2FEo)4qPbks6;slSh3*!%kSV6bB=7eCDBawNNuXqT1-A8#Vs(L90>$|rul zjjQX(&1^w*_VwtBC+!?_p7odCR8bc4#^TU<&KE`lCC>G^!M}H1+{DT8LZBi11Lg!} z--)mtf-tUu2J;rZ$_!XO-;zx?hkE^ql9N803$tZwy=59t^!6{zYzjf?3`Og=j(rQ@O#K7c>be~C1OCibz}f%@rBHm zq8upugPf~RTn^aXgOi%XXDpqER(j-2=GY&uS(Nbm7T_#)oyTOw2@t?eJF6DpueErbUx9z$`>Ms5Q&0K~O8^*|`@?4h&j6(XB z6O27#1mOmSTySnQtL% zBE`Opm(N)d(}Q#;ia;{r%Eboh+todxE9>M;_@Iwv;~k#7B-#(=T5YjCFReaeWGW?c zP*U4*y|`;250ZT0^KtVQ|JuvWFuj{nG5JO%y-zUL+I(}MH`6(#@*;cFgvYm; zA3LaiYF!B^1wmo z%7df9WNAawJCtK(4zn8;J%b^Ew$Iq{)$A%o^ekLkq=!!tJA5eN?emDXfMw2yzSU9r z&!Qbr#PE(~1Y{~%MC_iuS<2K=Ey-@#lB1Uxq9HP=oh$GZk)z>9bR=P zQFP|NziE7?p;D` zPy%um8#hU&>-xLF>`KjMvfCQ9K3_NYvnmg?dN^)j7yDwX>IZ>5Re|eL;?-^Us@8oP zf7#icb(NQRZ#uJKVcsfBxqZiBT3B_2Zyw=vfrN`%FSn5c`2u3OIQ7m|-lsQsUDUfL zw^Uh>$~w)IZt=>fwQ)Z;j;h^-em{U;tTfV;{JQtO)|iWFTH&SR{;_Xzue_ezo^GBd zC~<7X9ol#!D@>dO-%Aqx(qnaQ;ts6#&czU2lIYv)b2k(s5yv`z7=?I#ENpCs=A!(p zQV6{n=V8*0L!8ySLpdI_r(PM{P&yl30oC`8$uSUyv`U%@yB&8v^pH?sD0+J7lKaPT zYl?2O^;5Z|^cPDKb9t4U>O6AXL-i-re3z%blAOmi=4zVa_d@bOAv=2&m=*0SXm>@c_S#sU86!2?ZIEsfxanAI$(zt9J7s zxk9y6k#Hm$jz{7Vcnk`GkO%nFZwduCj%!7&5n@dzK$xE54tk(~K|e{Cim?aDg~X6r z$1vFFpXU6I`+?k#E=qT@RQrEF25?G=JyC0u950p+P|&rgS(! zq=W?{u-J@)v)Y136IjZ_V_4e{k7vC%JOL1TWU7~d`1L&hdNv3c9E&Xk9LsY6^e(v9 z!e94>z!6yb4S|PancEqGN8?y90v5~MenSMCATAK-jLX literal 0 HcmV?d00001 diff --git a/figs/protocols/exclusive.pdf b/figs/protocols/exclusive.pdf new file mode 100644 index 0000000000000000000000000000000000000000..3be6abcf441cd4d04aeb4559f746267f862913f4 GIT binary patch literal 19357 zcmc(H2RxPU|F=lCjLgunLe@D4$02*m$ljY{?-fF1?->!Y$sSR52$`8l_FhRMM0oC_ zZ{yo{{GQ+QdY#f7Vii$8UH;Rd)r-^Fxyh3cYZRE4?pa|UMl`f|I z%_`h=E4@Zo*rRJb?6}LM>s2o&xb1Tldl?H=7RS2NI8q{%OBbMcH=6wAhBl#GxH)2V z4@bGtlJiCiTo%d=@-#ZGs>$l*!({VTBcI%`|L_R`nW9R6^NL+YPR$DMhW&f3Xs$vv zy`rIq5Vt9~srju!#m7(%Z9P-+0^i10;DLkbw|qkpCY>A)d0qCi5!K>R+vIg-=^1h= z6pJIH!Gpr+6E`bm3dUa+TQIB>sqMzA>6oTM9uaV+lFQ>VN)eleD$%8p-5i<6MU z)i2i)n^=w`1Vm^!g(Wu7E@715&mA|;Sgdl{WHJ^OqwG|qlFjtQyLMb&sP0}%8zv== z7}JMpOU9MD5;t{Q53raxnH*f6C??|Nd=^sJZKx-rgAl0G*)F}q*F&wikLICxNyZm9 z<^dm@VzuNG?O-T5&$@L(s7I8B|?)**`Mcs5|?-I^XxMa<49aZOwe> zT{52~vtbWdiXI}}PCpatVMe}TouX_?{>=D2@0|dj^f6qLl;<_H%?V|K$1|F2zFUR& zog-6HYGJUf&+UuUyhgXMh#9E3JO|ugSY2kgb5XbvzI_Sqpp@RGsKn|=`5C2`ekQti z=H&|n(Pggg(WT|8Hm%y@jAYxJOk5i7C8ue@%`GRG*!$`sbQ7ed`n`p`MQ=C@o-Ea{ zxNTj66_D1s-=Os`k-|T~UwJvRh;ZA>s>LhfuN7*o;TEM}V1s#PE!#I}Rvlj|X=Ek2 zE@CL@DO5%Jmd*SsaZ&o?Wcl)kjwsh#mo}-pYJF^PTOo)`%oWO<+XqTIk5Y?PZWnC% zpj{>p!TQQZb7;hH(a)LeViK3=i=2?myUcYbO4tyw*z9hlf-y>59lP|bCr`@C!dl0_ zo^g|nsz)AjU~yhp*^he+I$*LIzjdf_K@Ng9??E}TRZy02Z=O4^V%p6tynpYKsS=K_ zvj;UfIab63VL-)R`dXsab$Xli`1w6Y&$QB~K_vUJ>;uD!D@#-!F*BLkV-tr!|7J9W&T%*ZjaX`btWVBT)r$O+E~*L(_1xOKqq^=<)OxJVhGylx*9VJ*cegG<<(4iKN<48xjc2{|4s{ z*^&-%IMF2f630ZdqSor*usc_A?xFL=9E+fQ>7Q@M(0@=^5#L>Hwz~14lUf^3 z;Q^1EAmhHL@*Te=~A5x{tU!kUGrIfH43tVG+!?>esxvN4J$a%NuQ#^}w z-wQUc@HFhZdei34yk6TF`9aC5^rbAu%>IhuB4uhC`qC%qo3ToFX|O% z9RekEPQ;=%2@;ms7#?ZT7{k%th({Ns{2cg5k6sNXcB(lnJuKSj@7-T;li0zHr<5tS~+&)z!NhwO{J!so4^UUYQLJdB8gIxud?MfDCtWWu5z-PU; zlXUg;loT8E5g$s~-ZmU{Q%!3w-KL9ecqc4*cfIK`$mS-iwajfS`3$3v4Ht{#)DkM> za4qs^cqX;Aq-LZV>!Y6ZXd6}sMn~Sgn-zUBO|}?2L+)hf5D6taJg(SVLM4q=8*$K7 zOgnqqLo00E0jes`!*EDAmb{;Zx1xdI)JZS2 z7$rXV%dA~Sdl;^Y>Gsw`_r$Sg?a3BlJYO4>5!m0(9?5J{u}W3n<(ui*&fc_$u8-3_Zx* zJc*A-_jZ>(pBHCH|H<9`FK?3`Zp0qDjSm>8o}%?SED++JF0l~iJZ*BbYgj1WBr&ry zJ!`+gd?9{n$bVR8LXbs>qBLy3)ASccd?i*g;(A zol+(#NG$z)>=0n+^!!~n9D53rg;mLk=a@@7=$3*cEHSxPi~S2asf|d^jSF`9PO&$v zwKwqf#jiKmi06E%PD9x!>T>oOkzXzveHq%#!sO7@uBNr6ySuKZ_OO3pwfl~8R>Rx* z!ZPzT#ic22YJz(oW1EsLeG0fOL>#B{IPpW^$27Ij55qU6&?n{jlD>Mg2DF^ft7s%f zgvSm)Eq!q^^X8K?8QQFHcp^yzDDL^=pwNXQ9a7tQV^NKd4#|54N?uQ-9dR<$(?+{u zxwwm#nD_Ka&;)Roca*MmGi@yIvryV6GJ+Cv4|Si*Mjy}i+B6J%EH^%v)aANb9(wm( z#ld{ay1YTre2O=sSIQcAPoX=rTlj>$1H$ElzY!WL*(g?A8z4Ll~Q^7l`V7(pw zG=;Ctu*5Rw;M!~4*VXJ3713iQveg?~7xvjN>C!fJ7+Aj6OueN{;-ci+4JLF>zFEAt{TeuDN#Uj!9|@5-$c zlKSQ1&k>$&ZSyU?A(&ZO6DHM4wsd9X+r75^%QTr>D!oSU^FDxKxHT9umd@2ot z2jOfrC!LT-!(3*GSdir-okoGl2{W@wB6IHT376b5p+JX8!-;jwIoZieQ9fv;+VieU zRo3wf)^>=xM~RO21HPSK?E*{s)GE76*qGm@ z8Cx(H7s>|8y{Q=~w zg!jO=qOl#2qbQ@JsHwv$ub|>!XKW7vv#TI1+-!}%sQ?x(AntF(Vqy*+AYFEDE-;84 z$_EBPxFNhC2n5Qj58@PcF-6$Bo__)Qgt4Ox!pg$Z6$FEGfjE(kA~Vkmamud zT_`U|mzM_&;sJy8L0mi_T^=5oK8TwOq|43C4TAE*fe#o!0^3AVPHk9XEAzp5fE*}IKA}`Rud7W@5@Pcdwjw}i10|Ec^L43dmFBeb^ z9~?;K11g4qzY{{he^8zmgMfkN&ufA}fF^mMaDDwB zK_Hj$UzhOD%Z_9VU^+E{?tOa$ls{EZ7hn}+?advKY9X-rRsfrNf|x}CCPlD-IBz?f zA)Kx3EkMk&X23#Pxq1SLs&0;swg@}q!h(f>=f@DBKZo#dOwG*;`<1JM5)>R3zy!hD zUr1)qhy-(;gtAD&CD1JC?X1u(pKY+eMXQl`|4J7B>v4^sEUS71DN88R_RVWFmlLj) z-@Vs8M)>tGBcA$c(Kzncg*xlTZnHcs!+`g-C{%}qwJ}TTthFK0@)6GJw}z%ETv#UZ zR>AeBc3$_ZV+~1lL*y@iTyeP9>~Pk2+>&vpsLV{}ggWh5F3-oh9Y4E){Pj z^qsp>@~7O!j{6t$t1NH&xcSU_wnnUE1_>mrmtK#un&s_Bw-pcc@>GPU$=h=k*r}so zy}x+NUTsL0YNhAud;;uXRppT6|fhiAUvS+-XiHZm7E<+kwQq96R@TLRUtfF^?zY} zo}cBvjY{jbi8aC$*quMNuatwc9a6YC+nrMYg6Mu{p)VzQUas2WxIkAnFLD% z%U9a+w#_YzjGkCnnVXqs6U28SFq6;{yrhDYuxabChhUd3NtIo?ly86OQn2EsOV^{_ zD`^e%E@6Wbrt0*>pQAuih;IE27r=hb*WV4}KhF0rrmX+7`R3u`fbnnvl8}QB#`XVu z!hwVH*BPgds>E&w<4WA|3GxN4YgeU{-wzpt4OUv>Xiu`po!$$zjlL;J+v-1Gf9m7c zagg)hSHY4Z8lV9Y-};V;QdMd*`sWpTvT38Fk+25?juUG_mr2Mzs{};UR-*P_`;Cns*Q2dXq2At>D#rWT0|2QeH z>q)`i`TzO~!2eR0E}5GX)TZR<+lG=Q`=h?%zQZw2z=7h)Mzr_W8HawyF2GFx5D@=` zDV7iRr#`!>I>@VPUb$EP)B*MNn;JEln==hW=xH_)aG^CZb5UjfH6r%bkFB|b((BAV zhcm^4>qKd7NqU&iWfQRPzYGsxHs+cjqQA?hEow4)R+sYmN{@1&AXZ_nyDDD?M6ncTY-E_wHgnyzZ~B4hiu1fIba%sZdM z(VQJ{gNO;Qe9YG1#12Q}rxYJEL3P6xocG`*YEYJe2gX-{x|wf;b^Cf2lLdL1Kq(3G z405GqLvf6?Lo?0j=wxKp2?v{N187GXu3s4?+9V>X@)Mv5G!qpO3?FXkT~&=&E@zhX znf8i)A9418;W(22_Q+;yY(ZX~lf%b3gK}tLroFNlp(s|@Le)VF*Xb^PxQZeCLriG8 zn2UrAGlWrcT|-Wi*i!q3{Cgkty0#W4}N3R;v?1t8xKti}HWv=H_?P$@slk=L22cy5s&0 zUtx=m8%t`(0Ed?OK&0Z#bAj%%@s(S?E~i+&p(Rp(BO`v%2mTFA zL*T!PFH<9w3+UkP_80RgC>I7%-2SHCUqJe|vlDp&|Gjo7Eq+T(Qx?z;6&&mx{-bip z10WeLK(FBiv^WSD0w_d3bVK0lPr4z1$$sjF$TEMg8$x(_{!uwRm!UtkL+Clm`w7XQ z-+?Beupu=q9;8zf9KOb5!IQ~c1ypugb3pL6sJnEO>${|Zb0dBXlY$Ix>C ziqyr<`}xN({%`7HfD-$|+xKtm!}VwM=cCeV-v%aVJZ7!MV1Nh0l`ZWG*U8%LTumddKJ%3RDy zCp}ZKO#Vivl3imkgK<|PyvX!rm|0hRJ94jrO+i{1+JJWYaA`<-H~}dOjQ$$VLAKJl6$hA zIok3Bh0zI@ifiPZ*;9F!z`^Lpj_u(auB;(8{U6jodsNYl#`*9h$sVPGPkv@5Vwn(m zgFa&7#IIzxea3`#2QgD$i?&y6t4#`>WUPy?I}+$}H{K}}{$x2fG?*2)Ds`Dg&?~yL zxoOiP{jCybK(&qySB>0Elz9jd5ofY$VVg$XvVF~$b~c@+*lTE-Yhr)1TYo{yf6Ix; zM8KBvpY)}FWX!*)OXs}*XLaeEmwr)~0E5d9-ul+5zXCp4J7WvLzNBeo2DpwPT)+aR*xmXH`dIQ=pgx!rjUgA?(Q6=WS@Y8Pbcj34+6HJe%! zcy-4&bEbObr&!3VOVx9?D3S7Gmd(U&`{&b1>3~5&!J#R%MZbel8+a18_}z^;y`E=S zj`5YfuhFI{b9GiWM_tVDAPK0sez-vl71OZHem;r-mh>o9%N16OA0S-u&j9X_gfF zJS}^kRgsJh^_0&BTFjy<*?r_Z-^rug=T+5)EulN(U_7m(#emp9am(lEYTHUP6WPEPnj&=AO0ZBDFuBG`Z$V{0V&{e> zIQ0e0ZA`lx)MYjcBx)L+7C0vv!-+A5Jnoo_&*(E{G%a}Nx-O}1=9S9i6V6Fag$`8m zhu5Oc&lx<n^ z$~zX#X(Yxns9l>7+AmamZ}QCI9?Gz6F5TbAuwV4c|Ci!IMOq9vq7{r?YykT$AfbR$ z_1|O%H-sCoUjB?{*-AfCeV|U$b?@z2=3|@u?o_+jNLZbkSy%~bm|j?ITxvexiDk8} zP}XSl>wlV{0PpF`=WB?zRMrX2H?9m$>LY=Qap=kghZ|x^a=FQVMI88iS?XH!%vcpz ztb#Oi^<`lb7@y7 z(IucjXzLj}jK9czv2A5hY&FN!|9xey-C7b}lDQG>1&vH&{yxOJ{C0mKPv>6FmPyyJ zAhY&bPiR@+`UKold{%nZG>(bQ#j!4L;GN?AAw$|+ySaGv+2Yd|t=VmPH|y8pnR1dH zjy+zb_Vsg7C>FWEt|@zu-ec{-AZxBV9Yc(5S#;nq^2g>+Ppp-*NTl7^4y4e_EMMu< z{}e;Lpbn-A!!gr6z2vNX0J*2Fp>TcV`P_0x)a*w_&O7*WO7?fpBJDi;!RZXiGPWLP zM^aD7nLA(q9odGJh_tE z;{fL`esUJ{W|v~m8TkeeO&RnxV5-GWL&)j#4+;5{eDjVLGk2if9v=R z6&qVcY3Y;cJJFM#UDU73CN|SbTzS$S*gQf(sM|lBfo(@rV_m$?YDl;Du^qeT9j7cK z1vpKTT3luKjdw*%8hJ}sai47BmgENJ=|u^lh7$F0@0NAeJirmk!&%*O4Uy-`1pidqeZ1iBd znFsQpIvU>9(cyM$l##aXvq;5g9OUjxlRP9i_#$ZV1obH1_5oO>r?RxHIx%vvuL@1 zx?zvrWZXRNjzJ|DqHPz=X{r&-mkI!4KX%f=#Dq~=#odaLnRB`y_0x&BF{lM-VHUxP zimx{xXUOr#CA+X$Y|OuhQ@_Q}5zSuS2z{xwXiaFc966HJx*nJELSTnMWXDjoOS-Fo zJledX&@mHqCJ(oV4z7QU^rwjN$G2UbOYDy9jKG;9v#>OHl5DB*RNgP0hWTYb1AQQ8 zTY}%U7ntSV>F(Rz6+?Ohf;5++ABUS)ePji755MF zJs1r5XwEQ2K8<$DGomFyiXxhIO<`|3^jQod@YPn!kduM_VnHFJn1~ z#tOANna+R6&F>SN^&}vZHQaZm={xjqs&;+9U&Pc<)kc}H~3`1#OYy2*8?6Z zJhdXi{j@P_mm_zcpD8zs05GwZkj9y3M6d`~s#Uju*4qa2;h~_2!*^qKFGGFwKmm zd9J-52{fsb5gVZuyw1IF<)I~X%zl%8Fj+KNx+FYq&+;ToU2dGYnev3vDQzOH)yy!< zrLxSVV|OURmdE2=9y8iaXLhqv(%|R|ahzt%1V;}H41MT0rK#3nff0)FkykMBhWE6F zMjk(YRDEEPseSmFz~th)ga~GoymxmYgsQ}MEbbH2O98^k>kEff=2Z<-nR~N$)&g`d zUAEo{<`6?`&+;VodPit)Bub*6OwyZLBt01W0)0E=%bfT}Wt*9a`6IB*uBgDFgA8F+ zd0xevmU`QxXn&?h7-9G-vltt`AnxW~+E#Qn(9$FbH6md80=7_*%?Ixxspw_-2l+H8 zn4H5`y{fAFQpk40S%$B?c(SlCb#yJ?Zu2s4y3}2b>*glMZO9|YXp zPGnn6W9gINwhjpAz;54Yys{uF$)K3>=(d?1pJcGOlJ~RCd40cI?}8sQ8|)HBZ>E#A9z`I+O8CyUNkE^WNHKtQ-cmnW+dSfyd!| zDgzVgwjS#voKgFI5DbR`)qc3p2RzJ6lMRpdi)K>Q-+AbLVJUOp8-i2EJxyyrM#b^! zNi3zPjNe@x^F#hh2Ag0sPjFF8c3;}Cu#0=82vc0(RLu>Q;`Nth%P69kq=-HmO(ig* zzY{!u#=3XCO`(9+b+52|9PE-*F9x4)HbAApoxsc-Y&!9JJgJ!aA}F}7@Uo(pd%uC> z5Q_o!M!zriS}SO(56x|dkdKlrDC3=*d!M+du*ty8W67ae{Bb9MMXT4D%lGx2%GKrg z;um+`O}de=T2@eI6WR_h1w-tiac@5Ydq(TEH0N+8-6-!dUq33zM&OYmeSPp<1KPuB z@yoa9yV)n|0DRS|>M&p0^+l-bD?~(nTGMhaUG0r8UaSM{%ks~1ZSachoAi8w6(V0% zI0M3MZ9D8<_$>RpmG;W_^!wn_=kjDN{IyCYsT=N4B*_J9Z=V`UY!d=r`VM*?vO}p= zROay@t0)|UPP{poBUeT0S9WRH=YmrOCMK?Zj$xSbE5yCJ7=w3|lHc+rSZgvH^ujz} zr6z@_YPBXW6g#0wWVz0w6VN7PwN*o2OS0WbygnN?P+xD($+1v%(}~Y-SNENYs=kF5 zO0Szti<2EaVXK|v4!hI*@~Y`0xtcrbHec$9fG;znrk*Q{&nld)zuREBGI)0KnVxx<4k(&4uBt1vG`EYZ# zv8~BQb+?3$pC>%%sp5P@;~Ruyow+xw4q7dp^rt7x)l9{N#3)X0`uIB7*lRX#JuaLT z?$9iW+&}){c>gNQ%saBDWhZ1&IroPBA@&gk=WtQD#rS(h?(9nD63`kmqmZ6}yF_JF z@aej9%hrzBcDp+xiNo4ERh6E&juEZ0dg#o|OHBZ8Ew+!@pml8Z;--|0`nTPU%&A_t zVe=nVJN{6E=iR8u&qd}EO;a3+w^%N9&EM+{E^5m#*7ks)hcR5JI2fnBZ27**tw^)m zk<`GtkLlr3ERA<3k=(7lqt;kvxu0PCdV*9hv{#=uLbc0hWS~yQ59b=N)}FV!QA<<$ zqCevXAd)F=53Yo0fFUdL+ z-d$@%Pw`^+1aWj`j1uoT@}}!^#2r~1WUr`9*zI{@t55Tygufk9a(Gq#y2FgQ5uc8N z*~C0ZUe|?~$SKET)jp5(R=j0yQ{3kR<-MMSE#)xTY=3>3yJ0pomzkn`!WuZP(x_gk z%-1=#O5T^pyeK*47~ExC#FjW$okB;rnxc^!R%w&rhi~p}S0c#6lEr|RMUl}}SB^=( zPDQtZU>ku^N5AzW5?Elf7g`DrP$?H_j*x6f@edW8<1q#hT`CQ0QTS+h0poS~i>Pa# zhErp>u1)x?!Y3QU)+3 z=!@eg?#^ossPQ|X#^cwc=BIa5X91g5W{2IN{Iv0NM;;!RMeCcx_h7wG03dV?q`0_N z8$_%-C#)2Ek6$3b^*YsA%IkVm&<=T(M{i8b`2M0HKU<^$!@R|fQU>aQf$Sz}Tl(1- zh$7c1l52$*`2&M9?mdO2*P@}(&bNG2TQAQs+*uZJ-Lin}iDlzfhT2IfO5a2%=NGM6rIv`}6-UeRvoDga zuP-a6$cN|--J*NapWgA6zZ13UJxZx75m*W>tL)s?|rqS!bxs44Xao_ccrqa?erNhMoM^ zU%2b+=3j^%&$nCSDoRf2x?IrQ(@|e_aWL%$2kGlYG-_;q87!1no64Ho!@GF(0-9M$ z|> zAbZPb!?t>{L6dwz5ph8BIkIsxB$P(})?4|TkNJ0S6=az%B+G2j4AM=pddM8hxjj$^2r-kUME0>|m0;(nsK!s(PrH%Jz(fi@6OnC(k1;@(yLv*OfjEEN59+s|F_Z zCe7e2Qyp#Kp~ybF;N2b#`x_I-FD~#O0S$nM0*W->BJB`=3MTn(Ed{*4vUU*QVhxh$ zAEHbE&j`|z3f#>(|CRkE>I4YJ`;TVWe~&uh<^`fo0KYqw1IEYq-$p_F!|*u&VRU~N zn(}vp`&XL{U`YPeWMdaCh>a?W8+4pT$MjGEno@#hGC!N04o%m>vgZlCduCEy{QyM! z1;n{cDE29}^HSR}$}#G+Hm1v~>-kzUFBEk1FY>gj>{K#tR6i@@E?~@NZm_8HLM^z5 z6(>IR${~^}by;l==RLMni-Ai;8od-=+Do!>?CCrxjj$tH+w$rK^EP}Y?!U4F-~juv zGXMYB;V+K8?vz&{}FcJ`%~zWol-A$n+R^>w&oH} zt?d2~N1~YBv+Oz1=|>*Sl1*BM%!gm>Cli#!pdsLd6p&HLIO1a9vU~VeMMV zHtoUZSFg)$VTxT2p@O(oeh!3X^Mr;+m}*I*LtU`Lb9)XAgNx%97N<{gnwC9P+_!Jv z#Vgpp>EJywn)0cJvyM4jQa`L9^ObbEVk$$a3wC0X8MzXj&6-zSiP!xjj@mYdB9_rc zM!P)7dJ7{LLsqE!(_rvd3qGx{7dp2@ZT^OlzI!o|AvxbebN*qb|5MNu*I%5P|22Pb zaXY+9Hy^IBM&U|L9Z#SbSk%Ma?x2sWDU?=hGuYXrOT0Dw3P&rTWHHnk^a5=@|3ZYi zeuh<*E3g(LS?(vn9U^)eO(|bFY;~2{-Y5Lq6hR|f3sRYeXiJ?#d5 zfB@jz5(R-d0H3$1@%b;%`yctpSiTM90{Oob{3Qb!LH(mANWc4eN#Ny2n*hZxMSsl!hWVrLw^2fV7DHzKD0iOz(@PKd z1-}bQ>_4KOm5g11E2#F^oPWHWdki4RPpfbDR6$UH)XEkJ4n5BTzP<%g0yP1Vl0ZiQ z(S^;a1w@xSB0sS?wa;I0t*c8 z?_3JN6#cjs3j~lUfw@skg0j_uxH(Wr)zPs3hEsleQ2%Gg{bR`I6Y%TU|KE)Jrz_}u zfgwO3$T<(F{P76|ahKvuCn9!0!qOGO5;{7jp7M8ZIPX%~)6) zNk5M>Z|j#V`kXRS@geq+Xb?(z*84{f_19)0ykAZ)b8GUlt2`vsNQq;TJlD+ z>SWPybkA$+G52~2`?aAY)s7fdSyvMWzDS9;L~3>S0+V#p9x=74Xp3y*W#YUPb;~Ca zOX?ee-&P(@`%JS7+0`_LBE|B-(s4P$&wzf(yFe&1#skL3ILfR(|&QzBZY*LxGFLf z`rB6h?yd*?Z~Dk>g{=9H9IkU{i%j``)*wqu0iYKE#NUvy9RN7Kd+Y3gh}`qOB5Alm z=KvRpp6z&m0O{}aFwpr)rt+;Rq;yh1m{}R0-%vqrR}c?yAp_101-7lYvxDP#Is^!_ z;f3;Yz(L$#p7Y3GUKpGMNh0d(`X4BijGd7Y3g_+r!j?ZF-uGFTbp$5;4@m*x1@4sm zM-J`RmUCEy5j3xA5};z6T~1=$SeLANfqL~RdTnyk8^J-CU3C@>Yq#ta=wypJKA!EC zE1N~S$>lidrLKA2_Iby`sfx6044p(aIfv3$t@gHA2vOMwB+uS#4^m9L-KW|d8N-ts zPua*R*4^xtes44z<`k*V^hpqhaU#4lf(2XNkn;mLgpQ?N@O~qd8*DSYW z#T-h}SteBals_a$c5Z5@T$xx*ywbY~y>|qvcTurZ)+U({bVYN|Hp3~USoM-qR2@S> z#dV7fh%XL{pqktjco_t@TG|@xS1Syr$Pf2V={dsXh|$$(B93bG;(QEu$F*~C9ngN- zS-)x*Nu)A$JGn&5*-Ibwni>fM`?z*oEH+(JV~rV_rUU!5f0thzHC=1bm%PD+adzKn zXn244g9EZvsP#%ss+XYk2Zgw;PqY}cvX?~rL2F##ge3NkXf(3anp*=-R^n?sIAjwe zm+RiVbf#PDmUbQs*NaOYUIN*7M8qu7*I7%J;U)l|(YUjpj-#&#Q#P+^LpahXO_DJS z!$KLp$du{C6~mDf_OnE`XRo2rSi^|82g|RP1s0xus5;7U)ySnHqn)68;w1xPo|Uvz zIY@Ig%&9GQ8&I;VkZ>nA_%f%9WNwA(xf(1?%?kZfMiCb`jhuNkt{ie3X7j z@v)51(G-1CWsf_KQ*?`IV<`Sm%;l3q?`!GOds`hFh_}~mdH5Vyn>)2gFUlsAP5R-? zbZ$cV7OK)X93 z*HD;hMUqTwt@(e{p9XD@`{b@#!k-U5Qfe;i=iS71)6dc#mzVChPWCC{k`x%vNCU6vNpbR zXujrrdzeEF#n9gYyJ|ZgtBD?b%dKVxHyWKDMte0?BR5A~#Un`K62j_^CxffIgpa7E z_!!#K^+i?%W40RuwDP>dP=fc5K2VN2)=p>~(M=d%>9y+E7@)GH$th2wZYLin;3Aq_ zq+DDhSERSafIcjIQ^E+j4z>@Kpd`O)HTV1y znhzfJqd^+`K`rsSZv&G^Y4D|q87y(zkM{hBs)CCPj7dh=nB+9JCOZ!E8i;W*Z;N|e zlE|b*MWe&650w$kjD6BDzEq*EclE&QS)u?~$CcRla^<4BX#K53zl6&YYG3_K6S?xMvf0<*3je&Ju*9J8R zqDOAY;f(HOR&0$U3a8SnsJhvAli&K?*Ad&pGp!Q2H#` zdrIb%XW78x#^*N|k|1a|z~8pZ9=F?8>nl-JY@14`t?^z|9P9B7HJn>A>J*M{(oB9ks$-Lnj-G zEne(~o@86QZUi)7zpKnsZ~Q3rxbp%#sA)`FSoxagH!GBH`&|_@o{AKb8N4~l^|6Sl zj0x>?#^U%!9>W8#kMCu2#vV<9YHsn$$Wn6F(Bw8>jTD`ajKNwyRE7|mOycoF2;XrT zOI&U1#LU3Cum1VH0H3mqp-{Xe*7~Q<52K|WL~5pT-X7E1zQ8|DiE7g3&2ES6twN;* zXWJJhx%E1L@ z0jhF#Fmp2n{!^VlC!Z5rIoL}e`~I`1a3}=K%gqIp14i*%-uF@b(!Pf?!W%Y_S0(XLcPlF>d>7VQ4fdH4seouoUaqMq&JOJ?gEe*y4+>HJ`4F=pi z{yhx{ZvAT-a9iy+I$p?M=Z_bLyt;^deyll|mlyVz`rvS`-{~M+5T4)H2*L&B{VN^v zhWDS_fN;Tq7Jp0QhQfYdUkEoBa5MXNIv8+&`nNQ|TJaY;AbS7zaX@&GW{=;?A}>__ zo(4zC6y)<`ULbG?Qs@6I4f@ym;C~v2tFtk1N8K4)KmeOl)yfNj+=HAd4i2uMbGZWO iv)?2JFhzg{b#5Rqc6L4AuMjvF9}Jt3QS!DF_WuI+z;mbo literal 0 HcmV?d00001 diff --git a/figs/protocols/invalid.pdf b/figs/protocols/invalid.pdf new file mode 100644 index 0000000000000000000000000000000000000000..8622963a926e3322b9ea7889f698391b98cb0e17 GIT binary patch literal 27156 zcmc$G1yo#Hwk;llLvRQb4neE%K!OuAxEBN~+}+*X-8EQnch?YH0tAQPmO$`dxqZ7k z_xHWs@BQ)q|1}2GvAxgUYp=D=oO2zZkrx$b2C{IXa0A!?*7{}uetuRZM|}rZ8wh|^ zL{e1T+R8y0y2B;{U==sDaDdoBzb*6}AfgZhYeVQYG7u|c2NM8@i;d&;YZQA2JBXeo zipyumq^HWbZ-@t5iQI^(bPY)(r;A$Ra}N4xhF_2gy%7V32vJOm@&>Gv8tFy>%7*~+ zW4P?3Bk!?&W7n%oudl z^i+WjBV2Q$FSw3Nj`ZVNks0T*xQbic%f#s-yXw;V428<6y=IQgxs?2D{Gt9L?O~|MYdq~z{e>iGy!QTn zXajYE6)ep3DjE5hijQ29Zmq6&9 zCqT1o^sOSR)TEWNSkZfqAT*KJ6b+Jn4*Im%qGOc!*i!mL)fwtS<<$Biv!bMD#IX|8 z*d?O0v0__T*ErY}3$$3zmSbLp9#O6#ZfQjCk)`vqNc&Nn;vA+PxCW+4?7hb<$epU( z8~&zHDOh=i;(W17q2;Z?myDAy8oEdKC{*T1{$RGJ5uZo}}K8mV92l) znGK<7@GxI54ld)5k)`h+i6eC?Cpiw5meSLgU^|Yli-GUfJ>#eQvezd~>7=%2gYREj z=Lf;2N|}&-nwFL}ldJ0aRA<3`$*o{^bKWq;tzKT#${EURi{`a|ZK@sx5mAb*dsH_L z4v#E=pvEq}L*>kQbBygVQ$LX@ep_IvBZv2x_PzI%nP2~S#(zNX zljIRtd0ILgSd$(zCE2hduJwdkn4XxqlCe6`x;`OM-N)MvnaOC5=HviawRqCwYlXNU z^YW-_FSzOCO#KjVi}f<>$uxGPM>K^bJV_|+h;22lY}xhl?C_m(a4IhLBx{Vf#5r}E zgPPxQ#IF6`wb2`HMvmzfr$O|I9_f#J7r9}QshCH537dfbK8(dl~}wWhC!RHToz zxz}Keu8=sKBVl$Cr3{0H^g6xo%#VG>0&^soYw}u>@u=$#nRb?ESS(qemGJJlJOg9Q zaGX~uX=~$~(=oc!sy4A&bJiIehb-|LTOW6f4{#-$kfEH@v&yCP--gE0u8OU&EYhqa z*$p{P4HpS3?BUSLyg=2lE?N16a{Kjd(}7l1cJfG3+O*%gI4z`G;>X9j!+p-BXR!Fw zqk@(AmlAJ!@F_w{#N%K!FhA1M)XHWdZALr=d`ZdC7^J4E5W@?oFRw>A?tL)1!+#!ZkMoU}C2=XYB8P0PdWaRZKL-X; zkxWpE11S=b&si{CTR}^Yl@UWD2vX@+zmShCZN!MrQ}xMI29|%PClk+6MmDki5)(DQ zGnA2B-09l!*?FiKuAqTxyF*C|L)m+Jb`fcj*L)n`%hfBCQAo4GlGlo>$rlt6n2p3V zRK#RglF6wSU2RZY4+Y~si7m!I#D84(UFQS61q4)|V>r6!fh=A1DFn%mm#ZHcofY{U zPkA`V4X+!&idhNd32JhE5AJmqsHhhzLrCPZoHp7en~%b9o@GBbVTkUz4(Cr> z63^Oud`~X+T{-{-m-!KRK6fbYGk7*L(x`MZ&cJe|-4?aOdzSHoSYGw%DCyW+^_8wX zbgJ#<88hY=h7((PTMJCmOEX5xC{36nmD|-PL>}IswUHuQcmw!F z_jl-KJ|RD&?kNo>ZZbC#zgarrD3$fpvl-WXX{aj07{+$V2qvj{=j@%|ZH=}`sQr}JqtD76aJj9be@=z6d-_yK_j-&m3MS>0DWIOaqKPeip9EnzG%Th z(crw-Q%QBB3%>*Ap_p52^QC60EFJX4al&e^b~HW=32uvWJMH!wXBeJX*2yyAg?=r) zGrIoxO|HwCq{oR4SeDT2OR`uVa*lX`i&`d(5$NCi=EF{=?#*kU&LE5pCRMgVjR3PDkL{s~3@E#&+I;55+HUDKUV)|CLq z4cH9jbi=~n@WEUEYv;WG?EELLg`!y~!WD(s8`zoJI9UHgx6u8!dX~^LZ$wq3#osc@ z$SPV}>RAEVm=z($juv`7Zv}Y9M4~Yyp9ekX6Y6VyOz? zgG1GqQ=TI^gvz;CCyfdDNo5a;hZ&_=vK z=#04k-iQZ!8rm_mF|>1@pAC6<0ni_9052DGhZh9+t#2S3^uE7c17w39|3?d`eV}_F z=rDkwzxAZ8{g2TDe;+-Ri~Mtqpf>q4UIJhh*0YEFT(p0?V1HcXpH2WZo*LjcL;Y?> zS9_?1AtY|&Jbc}YGn+dmo$Vfo2i2<^q`WXjg1Aw z^5-(Ly@r1NF$K^+r||E5n1hS^SJo65uVDR|4L5N0g0bxh^-auxB%ls2Of=potYHde zp>AIHT?&o%h(A~@GUh?OHm&v?x`XNLsoajX zp5?lGXi>7HG9W%)-oJ@0Zu)^8|ksJ7t~`iw&UAV3gM%tdSvma);9T7b}P<>4!;wBoo($CG z>ziCorL`)@M<33+J3*Zc!y|EFjCsdN9vwgIeSR#1NZ)7@DA?rzKy z|21F#TV65LvvT+u74`rv;Lmtcgk~dUYZWWg-)K8D`u>X(KmZ3X3pX1yZ?duQazB1OC?&N$Vv*)< zZXP3bg)BbOb)5trzfIPNI8YBy8hfDPZS8OzQ(54CSoUGElwjzG%xQmJbU^VItHnup zW2htno9T;NH`URB)AR`by6ph7Rz}?MCr-lkPjmj+B>&@b{G#UkpDhO$4-1Hk=l|Ps zK$Gb|wIt5SYLoy$ERoymuxnUOzE-{(fS(^q5-1bwuF7@w*dG~&5Er9{fHr^91mDKY zLCk4C1m4ff3q6uvH%gYyl+xvMJ@J`=(}0;RK3Gr#iqrAJgIti_!HT*{YI)2)7%=)) z&Ii)w3t-q2Km5sB{0c{YK4$*Aq46(>Nnz)NQOfu4m9t>)5NX8Nnw z)9{7x$}qL>8f;DM#`Tn8U6GXPU~2AUm&?%Ky+ii!%-q{{fJ3h%{{F9v0s1?z`HSfP zPk{l&8vl?v|IY#g2x0-T@c?*O*gzcruhSGa*RM;#F3$$jljpz&$-&wh-^T4JJTWpU z)h#hLH8M2H!-^Y#ASc1cyNL%Sp-?oVOmZP1(e5B28AUl&Q|N$^Pyo-Co53PYFoh0S zaerdxU+~L668L{Z4(8?J{B@{~O4c$;YPjB&b=Gj7=IWIt_`bB_AZD0{^Su5lY$T-c z@+%H=_i1;*#G5^O&mUjPCiZYLdXm7%O_K2_etlv7^m^=zI8-DoN;;iPj<%C2_o3-t z>Y&Wqnu~^m;P&ME>ng)t+TG>b+e~}8aaLXq2$vFvZ1Ryg8b=+swYjM!-m{HM;!m&? zX%WFR{!5jXQ!m&?Oqyo>3fu)#giZ8RyD0K>);|ge-DGVvqlSihK+lgr^<>F2LF;+WL6)}5#`mo3pY-yf&@=MTn%8D{zd4p zmune8pqoC37^_gH;EiMms-8wjjv*zbgv1{9L`Q=^#SAqq?hMWW4o-~^KUsjGkl?GZ zsm{?|r8tF3dNI!xx2VJL$3*Jeh?jEH2i-Bnh0V6sr)xTup!Yde3c}bzPX{+@t~%Kt zE-=Cr-|-wrhhz%di%QS~X~g!R43yqi@x8L|hcqj+e!`p761MNa_RR6r!?i|?GMA%c z;)M53Z#wZ|Kf5yc1}o96KIiX$F4fS^+~Rzq<7yKTESGx0?n0C@PZl3p;G%_BeHI1L z_tbp)mcI3pe)Px}g)UX^*wD(;Yw2F&?Prgm#YYIeu{q$kA8#L$nN zh=}NI^Oik4L2d0c>U=)84mHbtIbHDZQ#Nk?b<$`bue(=O9@7IYJMfXdLynFFVk>l$&g-}7dBM~B4w4h19FJZwKGn}t^SB{Dl<{$2 z;Ca981MC7BPP&-PJ{UinlP4dwQaZ1_a*EOQhXlb(Snf=$Ww^pV(J_^q7+9RU#00;m zW1T*zaA2j+lBMtk?>k<@h{>ZTUemo>ZEjCgwpBII;x@5rP+a9PORn}5SO}idG$7ue z-ZTwD4cK_yfK}UXrqJ=Dw`4j$NOmkL+i0=y!eH|xay;VgmnQz<5A!=xUiJ@9y+X>x z|0GBJf@J?4#{u&EnhFebVPFy2hI_l#VPIeyIX-(Rrk-*WU%2=o^eT|`P)O%h7c zWv#8O|06@^gd$CLAQyleN~M8pKq&S72SJDK{ehrEG4nqO`p-6hPSAneoPWvCLBC<_ ze^7MLPjmgk(V^7(Z;v7EVU{sV3JON0H<#?Xh`?-cpBasFSR$e>>^>c4XzcAh`zJf4c9Ry}N3ZMTdKPpEkU zc;s`$=oNh%q*Tb@W-f^j(d$JIha@rXJnsPjmBLt32!HLtqOGR$f#qr6ESbMoau1TU zig{4CMJ#^7Y#O8LE`1pd<(n^6+k|tP)y%3BSu_`-VWkFrp@xHL2KhHy9R2<=YN4;5 zeCE4D(J{83{zUEajwwMI8=cGLeRK)N`-;z@`zAAwsNGdI{)qEC@Qw@#q#`qg32BkW z!^STfpCwWAw+2+5Wj-DLzWCy>!WQSd52|Wrtb6UUC?veGxTc3cHkC5|X~2%5g6ho{ z*jb`!inKoFiOK4z3CB_keU!;P42>-sDf{$i!#WxJfQhJVo8GW}2gYFYkH^Y@Z=_Le zdPO`*Vk7d!=RSt|!Z|=0ov~-n67C4(JZE2DOdzLy66&owQC@m|pS35lXM?51(dPVK z;M`~6f26a&`O>ek^sR87T zot`U{(*B#eI2Y$1fY4F;E2~~Mv_Myc=iP5kGlr!vEi~*A$h)PD$%UkSqlozSk<&ot z-`=Al$cJ-@O$vzCkcr`+E`he;WnU{M$kv%Y3m#+BAefe&Tr_3-ND;JH{BCPEmqL^~ z_*-$$GABx)wDT4*0_2oIBrCPRoTonm{`Vpq};(NjB!VGxi9JabozDp~z7t zq80Eal(4TP?* zWVV;>hQ%H2e3Z~fRp!9w6_p{{9uwul&#}fvBr>D~kMXjUKDljYHDHsn-iJY(luI%? zV%N^1x0>Fjn(0Zdc+1z2!SCyHdjZm`8{_J02w%uosY zKhmTBiMUaGBMg03$?Dmg13LR+`-~6ZilQPr=NycKvxk*Q2+T*>Oyr1!R1hF7^h2<3!iOCs8MpI?e&XJGvVI-z~0@LMv}Q znFKl#%I|bZ#9vj3bWBak8P@2q;515K@)7sexErb!^d%;<#$Y4<1fc2hOw<6qo!{En zcs_Jxj!mM>B3qvrBzxYKKe@`HhM2A~pGpZx?vP3f^Z~J%@UJpT*XYjF3d$qFM;hZW zt$2Q~nrsY|-bg@g@rYMqVP4<37N5K%G=(ej6f}gHaOrsK5PmWo(oqPWD51*vrjd5H z+U(LHy;8KgC1qWo^{G8b09RH6@ ztr9gU@~A@bAmRPSii@ng^4M^`IaRwO?eZOU>&~MMqmq>}Wo6xjhEb9f;M+%t?<<*n&HT8C_ z22e;?cuJ$kv{l7}w4_R!@)m?0B7Y6MH7$10^hyWg&=@UH2i6#Wkt!q(+e%|ItCk#p zOzv-}P>fYeQNCGdE(*%nieusXQTj%rHCFsY^+mk-dD1Jm?Knt_VIA^np;?+91#BY` z(bG4;r3zO4)aD$PVcJ+Vcqeu-TAH`AJ4+YC(8Jf#sdsCLzQlx5iSdsuTl6^-UPmz_Uq9cOD3=4e!ItW~&tBkf4XE=q9qXT9Vx zw_j(DyTf)OI9o}SYP{KIH`v-ReP%U6cv0?$DekApq|wpwsWps9_POSwP?lNGYT0K++MRSf5V^yZnjnuY_L zXJfv7P-SC`^jnUXrA4FZzX!#< za_0xsxm)X$0*<1y?2pmJ+wFv7jV~e{dR@ocgjifB)(E0pvX)~s{RF84QLV4`w>O59 z-_we*G*5K-OPWjAD#597GYCsc6Co(&5eM%qKNR#Xxtlkk-0V$&EhbG~=BJD_(;j8X z6N^zHqCW;omc>D81eT;Q`R&CxioQ{FmI_iQi*nG*B0H)D)810QZ99D!w#8u9{Xngu z2nuX$u+oo7c}+5K+hx4#7a)}ljZfsz+y1VC+>&%Ik+YoG$6o0`z84Z&tm&k*$rj)) zeIxDfOJ|a+tmX%WN)ua($>FzGo89S`4weU@p4njGt8hjkC7S0$g(V&gotE`uiGfQ` znzz<*Ito8|aHyy@^`M7<&3;s$GD|UW=nuqjP6kEFZ!l|IdnT1``Pr<$P|r$unxEQE zy9~As01GZCd~5?v2ZLH5h|b9d6D|s7L7s2E7g_CS zLB>rmehqA)j}2$k?HObcr`FG}p7#*@N~H@cKC!r4>Fc%1H4i>*aXUZkNR@-JHkN{#iOm!)&M2KFu9cK`TrrDI&AyyX{i zZ+A1W$C@1S*5f8;s;{~jd#Y-NV%57^W;}?!Y%(k|2)769=G1F*TEmCI5O6@KA4uMO zyEIOdLA2}q3Wh=Xkd+>!7&t{FDJhDMrVdgJv4>2RV{2KT_?#|4-x`p`vzDQo6G(~} zRy2odUmSPKsso)@3>OPpZ^ST9vYNbaVfg_GEiDEPOXmbmEyDcTu2%s`kycu5Uhz}V zs+_a+7j%wtUF??YlH`?`fu}w&a6h_)w~?D?R4Rt35UGWz9~AT9kcVjc+0vbKIqYog zdT+BkT@K5RR%J-mO~I|*i!nl1ktc|MXPf(E!lQONiUtQzClW}*U z3Hpwd6QHEY3+AFG2z>(~wdJj89`RT|Sd8@h62vm-yD5Z^ps6q5z$}Zje$neHGv8z1 z95^G^g5c_n^^v(m66LRCFxJ*vIQ{Ske>IC9rV;)+1kp>b&Ks+qcFyGjMA@&&C1t)+!~5X%4$_hA1xfkB)$$_Ji28S?%GF&UW}L!k`G zfd@7uG`lZzIRxr>((*HfdRkh9@|Vni8YD$-Xi`LUM`Aynbi|B%q8*g2SZ~%d#A`}lKRCvSYHOx`{355DZVg5(y1}a-aNyTr3 z`j1t$zn21_a<-%;5bzuR`m1sqRD$?PS)ecC{`M{TOZkoc7rFLtB<$}U|Ch^e+$@}& z(DECIg^QQ>zpHEi#q?PJK8XKqc7Il)`?JaYTVe%eY`@A%mQk-z;DpcuZ!;+AQe;7? z>j}2-dD;L{&n?U?+=>RW{Sa-D`j;+Qts(@@ zUd6L&n*G|w4;;lbdGxKu&2DhT-cMsimWQk(NYl2J*H8~pOgnY#t1_s>(KGr8Dp6Jn zL1Y3p@IBkRutq%?bR2);4!??If3F_>g}tCk((gsn|IJ{3TGjY7i~arr4g0?+Xn*hc zzv>QL94s6h>_6Rs`@di2_>1ZN)$IOf+=2HGDv_o9=+81$+lks1>YU-b7Jy&N3+8VV zPS%A_VjGe_6X4%mYk#Mfkl4X80zE@O``#?;V`HMeuAz*IFj|2v?%N4UbK1lOYrw7c zGKfW3nsDYnHQ~s^U0k&Ghuh;slmyf2Gf<6$Dh9R=s@+OV)1L%cyI&=*#>}Z`w~D@0 z+ev_EtV>-Q;r@8Pp%LFyt?H+oQ3ta{kL&O%oa>dZd(Epdr)^TRl{gUiz{ONDnEC~# z39UKurgz%p2KfNDkjtMq(%0My- zAq@rfy-ybUMwSiJCCe==ld)bj7OHN%kzE3x3?V zj$d_Ig}jDmS6Y#nYMg-nVvY1VaI>Bk&D`|*TttP2&2eH-b$&&WOUBP%o(c|RP zXKR)C;MTAK@-w5nZ1u1JvUo;w3iu$2svB*Loj)e1q=j(moWEfT^Vo&sQ0VW&0HKyg z9nJZvQ8Z;=Vobp3>v+wS&S8(h#nN!!1qCfM|Ou2<)8!V)V4U{6g< zpv6`$v-O>yN}6_INE%2mV!&VyQqdN{uF|SM(FDBaMVDaX|Jv_sM>Gc;dA?E_Axpp? zWyVP3W~X`g!ze%#D{RrBSEPjSD>6#IOzTFj{8$SknWQ(OJho9vaGsrW>n4!1M+Prw z-?^VMumV=$FrtF!7%uM}8N-NeuE@83s#$u)P|1S!3!g8p1wp4K4x!hP{9oKUMD#WW z$Fay(Gpi-c886@S+0Hl_^c=g)Gz_;LyLiks6pSI0Yrp(3d-a{GA8g}k2dCE8&N&wz z@EYxFlpZmV#4ONoq3niS2|n*laG1j7pb0^ay5CdjC+FbC)>zzcgvK|A=yHk4Qq$eG=d(Nw zy!||J^9+}EPp}$=EB3BIyYia;wK!+42f~?&NN@Jsrg#o1OlZL~?&q55@h2<(jhG4? z3LUD(aec>($V`@;^^0^WjOf$?y3*5|y##R|A1YqBzc*?;=ipAUSxl)DvwOvQXLpH3 z^T2_HL9=sMXNWUfuQ6epG9VTxDn_DL^;*^|HN zR9r9&UwS(#f#msxCbi8>$<;7QJf{F9YSyRX!h!R&R|#T^)N7pP+Q*ubG?4FY2GQC4}Gm_G2l9a-Yo9M;O0m3-dbJZ#((r9E| z(Y5LByZ&%}7eprXDi}EXQpH|oA~V?H#NUFPkb}#7@ciZ5(FODJKCJ-r;n4AQ#1%{u zlY3zw3IX#|#xqR91yzbaNw)t|UisGt=>J5r{Y3|3|C!&RWtM-ZgK=?j{xS1r-dd~7 zCk{R~G=x%$g}zX^h7_n$sSq=iN~EajNx0ySrNhu95)Ko~7DSbbQv^JH8l#RMm5u-# zT5T{dst4+0*w)hl(qfU2z} znz48qu{Yain}dwu6X{^piEmw%N$ zQNMlUv4aFk7xKHze8XuThiEjd$qg9)IQ=X#5^9dQ+V&&ITE9E~qrruzvDh5u@@I!{ z19l9k59{#UcO>aTwc8bYM+O(d>-+u`BXw)?*S*}BH{;BzLt7gIawo9(Ur?+UPH|@2 zr9QaL-ILhHTJw7ngg4)Z_hS~3BZbO)JqkPpGi4%9n^o=ofj?$5rJGKhsx6jjRwS?-Fj~7pXna#_bM>vH z*e?D$--bNKJG0=?<_PH^B=EqAHBsgXNvi)1K>2;*IF4)*f%B}xD<9+}I6y)ODvg*% zT!t4I60r(PkQZC|eWGMI+94T3=B36&oQ*A0>>PXI2%PVgX|%KuWUEs-bRSdFWdlHnJ>ge6kz8=q4rL7$KfQp&({0kge+mEU^X_9W}E5*10w<{Id zA1z-wS}zT^F1^0NV5#)~Ht0B*xu@-{EwkNP@yf+@`m|gad)F$54JoL$>-$N++7DKI z@=qe3f+&@~4jbR{_o=whzpSQkuG{Uni%~g@k6&3lHwqQCSrnAjvE>L9A1k7ph7HER z5}XT6jMijF8lzm(Pat?VOe4bXVZ78OqxIA@o+cI$i~B0Ed~4dB47Z3*{VvyT7sHUl zc+s0}t={c?wuw8-6!yAO^YVDx<5YDBVxeplp%puNnX6&q=Jw*VVP2orW^4c51 zxGMne3+Y1RVoGqjH*PSf^#?uBi;)u|%5Ibgc}9w)f&^~B94mJ>Zkd0vU@6qS8!hNt zQxKr#qET4W)j?x7jEF~5G)9}Ae*pnIkv`%d7ZnMX9d|73R9^#dm2_hTmeI>7lety- zVx>n&b~g4wN?cr@aErzgzSE}RvZQ~^MrwzN&8gA#d@&z0j`+|XH+sz{Ky7z+F#$+c zpwp!#P$5blmAnpjdm;;I#@R7Hy2bICl=m0I2$S4i^JDzks6~Dl@err^hhsWONjy=g zixdQLDaUp^F_8spAP3^3@mMJI�p%AkxMqqQ2*%qsgX89?{p#87Ja^lqd4S+9&mA zv`HIc@qan{Qjr;K{Y`=pYuztKJ$J%m(hL$FqZ(PTmdG$J)?CnL%%U9CM5scvdG8D3 z^Pb8BM-yJDVRJ~K z7<7S2PUSuCq5|tW5Sdtg9UT3vxd6ds9mk>Ce-Ae`aC|6(B(A$W)c*QwD`~RGd^cp1 zoR!%cZB0nS{q#KT>ce(|7=MRhRBWIaJ|_P0i}mjz2E)kFzO>a*k!nTuXXd%_zNNHy zZ%{{h=LI~1Sq3(R6Za0X_hYMwMh---w=hQEF*q{&7z7}Z_M-?Kl7Z36iSo9QHxdHA z!cV{HvJS1cpe0y|VH!fr1!XlBMSwL~kibs&^V=Vy7aeG;bcG<@+1Yj_a$^$oftCCI z>cAk=7bFh0=KTn7LT;#M-_Vro$kAWRH%Fk7X({1v)ZBiT9?hC8XVk1xwaAFWoI>dT z_(^iV3nHOw+*s z1jjjfo@`l8t@idbI*EF6gT^WBS@Wp~Qd5Sxf4Gac!3a}wFSnuHK-*KV{n=OVj_$wj zrf1z&nSMGSS5apRqOr0CO=?Vp&$vZL5b3twFl(`;7Julhl*4NL0m9{n)pvE!YNcK!t0mJ%LGcEnd!Ja@yW- z1jx^1wB(7~+HbpX`NOG|?g@q=tEH0zaJ7!&8eM_+xQ$9^N=5xPEL3rQIjwpVB*tno z0!lC6C4!YDiO^ppTd4Am1ZorFCzZTo)34I3e7GbvylP-QqgIw|KJ}{A#|G9HVyI z0U%Ik8-RD$$pR#McD`JS81&w=l++@`@ei5raQ+^+G554Ys7+p})L17bMm;sc-j*sJ znZWiYI}|zpjy!OIaBuindshqvOufooG-jv4d1Eby$zjmfx0y~j#;z|0$yMyq@r7$u zdm%=%uNq7<-p`CB`MtdAsHY_*)T4V<=0<^_t3NOg+_zGh-3Olr+Me=Z$j6Q!DNw-Q zRy69X1C-1fRKZ|3W`qp7Agxi-)Hl3jvSm3=1Xzt{9%X;KGC;v_>eGBnF1KMDfXYND z33a>eYi{^iWQv`uD;yjZZ6z-oq?unpv5aBK;f}V+Coo_zdzoSU(ABA_2Cz9Uxew#5 z0U`Ub>}#`PuaGcA3zG9@S4#Tg0W1l_?H*}fgOw%96*S|7c-||q>2s)lVS-GAsO+S~ zeoeMyqSQswTyC2AfH18d`fa&Dk&CSx1x|hx|`)-V% zB?fjIB>rsW8d@mW%^LP(OEg~HcU=O_q1%}Sg8*4}vCO?g-$hkvmE5|_zT(GS1C#2; zw`ca(4SD6`A-eU?q?ci?CcpLG8z54tmY=3ebu^{qOk3M7y8a0Aia-zkFt>FxPu4aD zNcF_ed^tXjW}6{B5yx66y39hb7DOSN0i>T(js~m4qnB7@o4;HrACoIQ;qiuBg5j1m||hGLdp=Dp}%rD{}=l zeQpD48!swIQ5-4iA>2hA&#;#y+54i$ltP#yIUA$=VR+K0iH(c#CBf&Ik#H{04l!<8 zXDt8B=29gy8zpsO01trS4QmQ@Q9|XCS$4)rKR9L6|rzMR~vO-J)7GE2c5zyMR-muRRuv@+0Vnb4ts;=iN7$_Lt+duAzJ=6O^N`bKytBRhh*@G0anhzDoBl@|J+`EA8c(GcB0PrNE?tz~ z&T@)&@GiDj1~e+3cF^at6htqL6@7WWGn9T5Rqna959;9cx!A*0p^5pI)^g%^{Bpy5 zBExuDYCBF7%B-*LP*#4Zs=i{u?Msjr)Ii|`R__m5_chN<)+cDZ4o1!NDyTith<0Gv z6RT*Te7XPJkFhcF?lS=@gqh9C_M`1nR}agkwM3%i7;O0DmJ3hx0i0%PvVs_|u71TP zlM1Z{tR!`|r4eqh{>TRIWvt5$_*~v>qejm}yjenWktbQ=*%^EEil zXtKB9uQ%%^lp~b&l?vI?5Q6geOy&&_kj>V4$a7kJGoltAKI`a>Ngd1_Q95QNzpZhM z0LfipdR~_N3#P^A%`pOZ9}fsxp<@dhfm`ouvb+9>T8y1#x+hLHU%O{_-^IK{Fg@)u zmOY%wYRj_6l2ehpEyaQY`C1y;$gA2NW8qzf>tticGH+~}7{#2NgE-1K+M$xabw0(I zFDS@&;-t3**15A~c6?yAmTk?gSt&Tlkb3?)iicNXr%!q#Xc3o%B_SewZ>3kaC)`vw zVu1u_`AZ&nW5myTvhzI+wk%PqQuI5ea~!lpM>&Y7(&wW!=kV|+{o8)qennk-Wr*-p z5=i~qAdh0E?qtxpZ^`pFR{KTNya*@XtqT|~$DYKEx4COKxBZCE|8BW|r8#_jr!Eb7 zi5WLc<4K|$AdNjTk*Kc zPne39V%dztW)K{1+RE3j-0^>mLk*54RCdoM_qH~DEW;xcQ96|ZC_yyt^Yi6q+o6B2 zKQiXaMyeHN2xK9~d`1e4Pi~+M2ea7Hi+F3*fi>kZGHzHF)&}CO3YDXLNZOb`Cc`Vq zX9xm2W7b4+q+ANk`}V)2ArRyjjS0Y6*#TowXAo4wnN!vTdFr2XMW*YIU?@!)Y;B6t zgDq27f5eWQabffxdLA7JUX%?L#;i$Kz2wQ4=Ms3Oep{kyR3gTHb?JpcZ1!hI@RL7u`rHg{}*9Sk@s@29vkW>do`rrw;T-lrL~{shfv3!vyExEg zl{@5j$o#_pB|$VMDA_kkC5bMI6Q+>k1v>>%0!E48c9)1pKC84c*oPH-69)`YM<7AmeoY zV8hnb{{9>IH;X(P2Ntt_39G|-?{Q_gEGM=%PD6O0eayMeczu5m#Xt!JKipPGW7E5P z-@ATLA`Q@Qk{AgEr`O-tUdY!rNSJrYgcG8E+s4r^#)JEVTR4_ z(8PR)x**J&i0x-a#o^V9#LV{&iQC5hAssQoEi}XjXXz->;e#5L><}4-)pmQl9b9tO zMvao$gvnc{lD;PJSzxFh>5~smUV(<-5z;Vx>q7SDP3y8cnQ{ zw00zRb5p!wV!>w(YRxTO8rjMaz^|1d80z;FiWT!2EpbmY>xmaWqt?M>FO1Sby4LBW zjvP|D0!t%)8rLZx@c}~rc?d_++F-Mw9yUxu?s^nikY2+JxJi+AT2Gk?Dxa>;I0$p8 z44n^Zvju1|c4sqv{*=c1X$FqNft8c~A}bwL%prJr`XQH{VAQ#k*2*^7xO$^)6BC5x zo{-k7L8RGdsNLdpW!)^S5~A-g-i|M(%kY}@s3v>70-9fWr;hgCI<~nZ>rOU7D%P=Z zc@liE%_mlhmsKr}x<|1&<^U06h)qpCDaGk{_70`rtN?DG$>6lr6s110mEsVhjR~4N zUA^0?ZrT5ObZUr;l64ii@N6&%RSE%Jzm}4C3YHjYjOz(2wtFz&j{k=g#*9h|p+&v< zmfK>K?@{o=)T1VgVbux~0K<^f@K1En#GZ?B(!975lOdemB;mL$srkeCzL1!OsjVJg zPUnC{S*JrYX$z~bv{e3$wdqxLBj66k;Z~O$Y}RAD+y(Y!)yQ)hHOZsVTtPxM?rgCE zYbqVL=&Z)dA0}we-9O>lhkpR&lAH@=46W-X6bA3Q@c4;--55p`vKEzfi6D_%nx0@p z4vZzt^V@;n1X0?)41qPo`W87>gpK|Qx5hM(rInHHP{Cy)nG`uVu0za-qW@9K|&35%un4Iz7)zuotViV>Zw<| z>+s3_23v z5#iWy{fL2m8W-4)LO}5Nqp>`9TabqdWZ?J%=|0d#kGC)b`3^B)gpfK<{_^p{6r;UM z5E1&UrGnXP@}fzoA*q^^qN}gq?amz04q!KAa6yW~umKdx{=WmuL4{%^%!TpL+`M$h2Zs#kX`UjdkQ|C>zbK(@% z=hwX(qkfFf;X^RLBKD;Rs~ZlCm^^tl_S2Lo{*55c+^Wz|ldRUg1af%hjB=(a(od`~ z7>wUN;y%bYH-;R(c-}!(8v6wIk{Ho|2JG@+jE9{%!M-Bi=1r6^|FB0L5dR?!@t{PX zO`oZ@E^+b-H+cwEH-4Ks4_>LpyYEnEY@k+_1oeTY_ALcgR`tepHc>bZrQ$8<#*dr< zCl}3n#1v|Lp))2E6 zuj7rJkiJN|iIB9f^X(z;Gk~mP8}i{)8t*IPHo3Swv)vxo!PC-obrQ5fNX2({1UHwK zM3dgJVUnqMBN6V`2StStnRZbcW8^(jGDg-2gk;tSSi<3@TdB`JX?h5^W5nv6S$RxJ zPlHLOi*{tYpB2K;VN4$PYF*B#^F}dgIyZ{~O&<34eX3a$l0yVG{;&3~Jf5np{TB^7 z3Jt~#2N5~WJQn3RhA5J$36b#_jxix3WUPpLDK}Hy%0;GBW);d1(hUt{XdoR@*O=0~ z_9@Qk=yTtDf4|@T{N6v_{mhaoGp%LyOlb$nqKT(Iu}&sw>?qZ-dyCiP-ZU{iPxYnY45!wQ4G0y)OXkYrg5C%G zs71cf8l#rxAA+8Zzbw4Od_5wiWcg`Pf$Ot-uWycsSY|Z&o-nbRG8Y#RzPt^1OLg#w z?ep|HH@a-s&>`MSj-H5D@(rsbK3?IgzrKHEbdyI`=%~HDmJ%ZLb|;PMoc$0L+vh9_ zTWRUI-fd#*mvfS+6}xQK&`66{C^8!rqQXK;M7vzd%4>^i8&Ve!wK!xAY-MiQB1jr5 zKbZDjqePSUlEu0u$6!(K6<5Vkk)p{_J^AA`*8YX{a@)R$@sGepsiITeub0cFTZ;#$3M10u0E)&t?Ax{r``rAF-|btH%B5r?~%+ z^dlHM{YYvf;Ro)(0fhOR*=Xzm`@88!_`iT6_;Yt4kdYKL{+~=gVq5or;|`SXU_Rfa zAGuCs^2<%_y>vqQ>B!YF_`?a~nLC=>s&mqotZ0zDv(q6oBy;P{6+!~5RMcXfH4C~V zu&_@*N7G4${f)3u_4CHHk0Z=+DIq%Y`i(8e)~^ee(wsTkHkug(qfiZG_h6{_PETSZY<~g=q-k6o<+S-+O zo_6(safFK$O7%^=R&M3upM{=;|DWeIvd8*wd(!_puaSsGk^#}t zKbXkIw(h^4^d`PGio=td6sf*H@FaFhBn)Na>fvMq;a=6$0Kkq4M#^i)b{#<3H3!RreM|l`vhe|2ybKuX+YT!w5Ca|3 zzY_Msv7jp56)*^~ionrVwjIzCVABB|0qhkp)Ly_d<^dhTQ2SWBc-VIoJFNcAG4Y_0 z1h^`=o`^&=1PW&FK&dNe(ApdqFfi^%X)Iuf=J|mEd4&-gzv$433#KRV$VDP%ys#g5 z3OncV|JUw$lUW16Y5PB8H#_}^HNhBwMrZke@wY=P91jhRF^t1U*nuB=A}D`hCV~>m zAxNtBk)Wjm0x)g$N)c)VgIWb2jL#@&(~X!tru;O)?a3;hC3|`^>y9dilhC7?Rns!l zjv4Y%kLd2bK_NACIQdvMjyFr{(}X>}&JtvKXUy8VKR-hHk916L;)a))*p-68amv|K+3 z{QSUFay0PFfZcK%)53(OIUyyX;`2Cf{409L>q# z+=rC?w-P7RL<p#H z*vahck=S;umN>!W(|ue>Yb6*ZTzwOT@PPM7wD}n9vzG zukDh3^!Z(-=-8PjF(N8Dc{_T;vgHh$49qupEe=y$1^R8zTp z!i2_Lv)KN__BApMW-3^5M@{S&&&ed~8TTYl{rJ3?T*OA?!0IdG$?e`Ju4%q05sDU} zwrgLYene_HbbCJxI`y>5{91m8>DcM^G%s3^;jdjD6RPJgiW_7mO)uN^@Q&ZVDf? zMZiLT)$4S-HSPZ5@Ht7(eTJgNx~C}L0N~HGHO?TDZ% zsy<2fbs9Z7_2|yX=-7jHS;HA4fxx9zs{OR|oxRe>S6|3JJm7(FD%7h`pbJkH!(jRG z^%;m^R9r|)To$T6AU7bq%fa=k(n-HMO2lukBPBv}?BQAtu@J@K|p!bD7H8I+xcFQ_Z+rq;I1+DALugYvXP28!!MzH&p*6?Ld!seWy z_x9;+MXkIu*KbZ;!70va;B>N|hXi0GOOf&w49pTIspRt6nVqvIJNDIm$xbT__T#I8 zzn>h4E-drRKefA8_c(8*fY_2@tCF*B zABPF}Sa%7n5Jq=AytRAPvX8LM4>K*hG73X|3k6gWOaWb~TKAPTLt|APMG-kU)(XEP z;`S78E{=U~8NAU+C@<85z;}>3C80GqxjHjkL)PSodp{$GEFwKNvi*~WUfZs4-r6)X z?XEp?X7xj_oeX;4Qk@Mvv=WWik+1h``d~Vau4W!hRIN>1Ha#a}ED=pev*O3IBA~ZRJ_3s4F7v zJ2X|4XnwyU8j>_iD};Jli^l6THdxZ+18*2?Rxo00qzPB7dR&1h8O_adE;~Kce_3Yt z5eq?keD{rKVedEcM(a;?pfk}C{JahRc^Yv(mcwwqdoN)7Cn8IAb(>RUn(tPppV=@I z+bDW_X>_8(J;a2<@!=prvz}{%!F_vTZXDR1%*$7`HxS;uPxM-#Xso}@fo*baX2fPC zE3+{w)iYh+lwZF;J7d@QYQcNSZ~eVyd&`Oc4)9`{w5 z0UN_?Z;P9^U;Atqx!8ZYL}<$(CDUUVabLl8Jo#-;c}CmQwX*M4dIzdCNTLb?gRNUC z+zm%{ysd85g~QJ~8Avg{R1*5D?2wbL{*7YN^=;xEJDX{FuigiTmu$}(&n=xDw+q0g z7S`02EA4iVPFC>HUWYPs{J>8{zNU1h15U)gb3b+wgxZ1D=Tt9^-RKJXXM_V#9AFmMz!AY71wnJ4b`OORElf7 zExjZ2-WflyP)xOTI2_%S^L*EyFFeCe^*?|wu^;5;?#xC2%jgY-OozdZ96Y(~pxXhi zQaJu=bYaPHSI2X_!~*wo0Dv;`qWeP85_G>eM(wom_AvltsSb2|J0-2nSisDOCSxgB zEDnPuDuWQ29VLUOH|{4XnhjuHc6Wp#YtW%@AqC2aZf|SPA_Hcfoiow~EK=+?XyE@& zAlhgp&@ng(iACbj%AhGPce}&3;J;G77qcqU-5FX?-`PDSV=-tF9tZS*6-^h+(6v* zh@^$K5y=bf0Acgo9L@KSgkE@F5=2PO)fW;8dU%AkdEY>j$dm=`kx3YCdodU^VEO)D z7chAPW^Zm85s;U0%SbrxIl_SH<@N&%7%J{QW6^l%X$0El`;0{spi7fWMp-b<(8a~w z7c7RbU<|Mr;)1!vVljX!j_Vv)JdWFkuz)LBz#dv7P{!`=J`lw_SSevB){4ejz@QZkypFN)@?otf R;QyO&1ek(?_AVXRzW^^85eWbQ literal 0 HcmV?d00001 diff --git a/figs/protocols/modified.pdf b/figs/protocols/modified.pdf new file mode 100644 index 0000000000000000000000000000000000000000..b8b6338490158eb587114dc691d0bacd9de3fe43 GIT binary patch literal 26986 zcmc$_1$10F(l%_4nVHgNW_HZX%uH=&W@bBPW)9enDQ0GN%n&nkY{$%hXJ&V2_U!EL z_x|UDdro&>=}Nj%sZ@HNQZXl#Uvc; zUDZGdW>El>gq5u;&>8e=YwQXX1DZORfy&4M?JZm_0jw-s90CIHF0Rf%V>@`y?`|3h zY8aaMc_d@8@u)T?CrLGIb^2-*=t2vp4Iebb%jfF1ARDbK15qK+(Z`C})tLc_p|Yd} zV!Cfp(J{+}glYsDY;=z=sqL=6?nkyBeOGThotHeVecb^1xSQz4Tlm~e@ObP!U4F}b z^jm)o*iRC(r58>zdn(f0AIr(*bn2#)r59h?n@uU9fGO@xv3uWNTy7%=W&15$$JG;C=M~x;}CL&%u(W2VoTQ81seNtVrrun70`Le#7G2|}Ak)68LA=*?TJ3jl*g4S1m?h$0=U22Z}u zwX4Rnx)lREd_03`wht`BX@t*=RtgV2u_e%#=Ivh{4`sa{v)xI)nP531-JC!q%fBKd z#6uu3%oo|tjOmTy_qOSUEEyPip#LP-^Yy@NTK0HZpN|tsX*OwUy7U8H8BLozE(rkB}9L4 z31KNi^&8%2{TV_saNyQHv?Qm3h{Oc;CaOB}tsp+#njF`cooLxKdg8&jVok5(Wv@@! zR=0C+cYjP<2)c|340JYHF3(!=rd}1&9iR(hZ+fEs6q^xt8&qGMDQA%?oFcuPE_=B3 zI`omK!=P%S#&9vV*_Fv;qBNPX)*je0R#fcLsc6oHy=v|yIt#z|iZzF^G|e44_Kul3 z38=KJCyUXyvpsCMIQHhF@^;nln5m55srl6UOxAF@5k5!y))T=imv^pR4KB;#-8pI5)h!b`Y7 zASf^HH#P$oh0W^`+UXIHSo}ZN&FHRn+xVxFtj_$XZ^XnJ@>5@F`%+o#WT=ImkTjK& zB9$y&A4{L@h@!6SVdcZi8bbUo@BzJYU^BlOUMS z6^1*$|5|=&uXAnGqqs|Q65??qd~b+_f>|t1a9PBKx><^faRJTfM1rPRyijOuK@rao z^1&(5H5gvQGalD z>YK+XX3VW0t1w8nkCi%PI(tJq8t+)g=@u)-%E9bAKJ&mP;(;&e79rc%CKVuK5U7ZJJ*td~K6ORYHErK$oOKeI{9(F|VDa}gaKn||u z+_SH>bX-J_pHr9~V=h-lZesZ_*25nrt`1+K4sAU7A_Tq0SlRa^(IprqDB2?V&|dZ- zf_aTHa^ENmQ?1*Hm8H8~Dl5bX%@DHP5PCG$__cmH*{%`ID#|tWA*OQH0$)Bf|H^-` z?~7FVF|i%4M%~l)E2%%}j_ILvSc-trJPd6^vrPHOC_mxLLj=3E3*Prw*DrQhL5+>< z>~}nO55oBBt&np?AHT=>;TXe`v-ei}SoD$~yaw&qV3M^X&(v#TUp<#awbtJ5gpIb) zsS4zA+j~D;)pv90_74~x=W7-stvs5X#lbGStR%KfwR-AP8eZuH4eIchcqfnR4%>hJ zQo*>;d^E-Q1J$q8<_8p?c^nU$&A=Dcd*6L?mc_~#Os*`uu+mH#!*NJ-wMKit!C`^> zNjf1HGIX`u+nz;(*>awjNeV;v!d~Upt|NGBzxqb}!_VyoYP64JN?*;-C$1qamPvPS zB<$ZW*lAbkE~_+rX!f#L{uCR+cI|oREa#lz-|dQL=xxRfFGyXqdglmif=bRLy9U~L zt~_bMlqO*}_bAOmS#_5?bQPi3ulQiKXX#F3;(oDP+*#J!baVLW40r$OV~&2}%sg;E z<|WjdjMpVn7#DXDdfnhhLZplvXgd13gjFln@pZp_7wWaj-MCXJKYg0b01(8vl-~ zEL;HWzZVt}aqtA_GO)8T0~lC&m;o&8EL;E<7FI5O0F$tbDbU{aw-gAZ89Pb=tt>2E z0i4`y0H$9r{q^v-N=(wO#*-$IULN)0MG}N-~i~daq|E`AAJB1D8a=B zYKDcG^|vy=?m!LwR+5Dk^z^rvuyTM}U}tC7*Z)WVSpL>O5QhC@7C@u^D?AHe5;1lG z{+gEmI3@o)jlZTDBpyvrhkm~UA!JoA7m!q??adv2VQ0`}T7gv03qUOlQam6HfJxEW z4CriSZvmi|HUmwJm8%yhQ`ODU(H3a;YoeG1K-WKp!1~7!{*$7zbAYP-fwsev^<#>e zF~iTEu`**s_Ip^Y>)(l@=~M#7TxE3KZ|5mLtP07KABn#{Q}Wb9_NHNBzFoh(*dtfS zYw!seotQ_%h zAJzk03x-Tb;(3^gwLk^MH+55-C9m#rYB-5wDw5`oW(vvURRppg=wpYSyb6|?+Tll= z1yR-E{?pp)0Fo53;}OE2RBB$j%S|B&IvN0JqI!I2Y> z{-|oBORbkFk}}aVrjqh5I$g?U)?BKz7?TEBS(b2|bk-no@8hnNY)OxDu$NU-s27X7 zBD&-hN(m;M4dvo0xt5FrzJ_#-DB-&-oJErMM;fR1#|wxSoAdUA=HI&fvKI^Lm&iPn zRsjg$eH#O*;e?3Z>i z{aw2lr2f}b`*%ZOW^C{JYZ15rbXk5a9~F>!QFBnYxB89UvHViUKU)CyKYI1s(gA6_ z1Pce?x8D9L$E4)!VEW5+=rVzbC8#N&r>p*-)SKgv`oE7#OVPv{XbM_`|5&6F4$gMJ zOp>$RZzVwH>2Icx1;D@pU}I(E;9v!CGqQocL4B1sc6GJ_8OmRM2N}s<-=JI-po@c> zvnkN!*OL6Jj{duT{zs0>&Hm>#$EL&#)>Gul3@iX~#$C*w(lc|*&qkjttjx{Ki%^pW zfUs$h$=(v-Y49Y?@Kc;HFcM#2V9M-aV8Rt(U?}6#v6KU*-KLR{#G`-mD-=^ME!UW=0-Pw*Tt_|0kEi|BAp9CA=xq!v8LD$~}<8 zC17C8%~2aNi}h_IangezhS)tA7f>0&yy(%d{zBq^Mhd?+hySUD{|gfMpK3S<8zVOt z>;EH(gErbf>o}2oD|{$3>d7tL&70Zby}}?eM`wv9l?DvmO4}c=G0Q_;d@$69X0;-pu^?jK7EExKI3J{U zom!TPAEJzYz%BpRd0_oJ)&R->AEx1d;E&?r{3qRUQ+1G2)x->_`sx7jZN6Sj>fKr^ zI&_Xr47b36h`F#b?*TeP_jz~8q~syB-`!gI<^Ia!W3G$h1QQQCkW-aiKK;}Nk^L)| zgN>CP7RJ^M{x@)vtk?*OkmV}7Xq6T-R}sA0K^h z5+D;T?t`hOt6H~B(R(I_WPl0laUBim?0^`Cfrfcrq`?Fq4atiyI%fjm2G76g$%Wpk zEX5s~R0|lUri~i*_bSH;^EP3{M=dodk(7=^FxHMNFe4?Ek~&12>}UufnI)&hoJBuI zN3RX!BMvna7UGYd?i}4$O;WC+7WZ5Ajys8YO(lPf?rK;3#nJ$f1hPnBu>!_3~#fB9Kk;k$2mqXO}q{pTyHd#0bz zSw*WZj3alrk{zaH;i`8f@4}NqeD9itbJ}V{Ef}4c$592Xq7wa0oZG|JwX*UQ0=ne8 zSUn4b+w1LbRu;7efJ7?YDUdG6?w@bws%};yJbpCp6D@o-uylc_+a_VDZ|q$1$_SCq z%nxA}4W$Y0Q+pLR#>k&)wSZN5So|p_NywwL_gUb_dP3q{X;+Itf2y^8|1EU2^vt0t+J5l95U# zru(^TU$>Noa>kDYiTa&hz!!}nFYjg{=wxysej^fAT;&|m-|)c zuelt^?f!4c+;2AY4>rg88@~GkjIsV5VuF|zh*SMyXDlE>_UjJtdkXZ{zvYAK{&x2d zuEqK%B>0Dn{siOxY^(naNdLXS{#nMXzd_GmT?xQh_+NN>GE0Ix)oT4gLvIz1Yc+H1d<*GXS7onn(!bt22Y}yxP zHkf5v{GiL;ACjOM#sB8}yC--93x}C+MOjhwGFwE7|!ZuokM_N3AY{W=gqBRA2fZbb|j)A*sb zhc7XcG#M^*&rDh4VMotHs%e_AKH-h!`ne_hatn2w@;VAme30zLXW_=Uxtv*v* z7I@A(6g_lA)n#w<_$c_(a${<;FmYc3g_z$vZlI(6*dljPi7BK`$A+z5cI~}+1UfoX zy6VRsjpkkZ`ukpbo%V#ckeUY~f3aHsgpvPJ6Mtobd>{XfDg9f;{1>A1o9_QJQTk1n z{zQ~O4w8T9*6*GAR~RU5XKVrT2WeWFfzHoZ*gz}%Z$23oR&LOWv2t}$0y>L2*f~1b z|MC-n@e{jw|>GRevcspyuoyIQebF`s1(g^36R5SVwlD%KQhl!BLcjrw{ zF3yc`XQ4-;fE19C*M{QGB<Mk>+5G81M?lgKC+rA^F+5M z+>{Ou)!d-pxD#xtFVDv}L!$rCKCUd=h=#rmCtB!&D)<-{pH&xt-Yg$Jd$2H=R zv2+oTS;jE=Fuu1)gR&VIw3*R5t17-gv!b^PzV}f&dZ-!!KH{qXGbQ)SZY>>b#KaXX z6)JM-uvrC9+?g09i&N_k`n%o@)TK5?5?@~P;~YyoeU8p6ui99O))xH6iB7ZkH4J{T zUf<=wg1J<+Id`C)5#D@lCV9hR|H-Y4aj@q!hf4m2j=?9CZdOR>CaWdjP$2r{Q<27r zR(CxVzZ-eHuA%T5lGmt%jQ0WpPrN)u3jdTW%6_m)8;V5>8=yTh7=M=wuqsdo{K|d@ zO)aP6e>zqLX((^)npedYC%vL&Apd1(ZiConK8qq@*pKHNW==E zr7}>S>BQE9A@|DtAtD*SRF(ouc)&=+{z0CwET8fN6Dvn!dDhKLVyk~p5%Be?^hL~i zo$p8|K#lr#1Gl^v_R898nvVEA%&e5Y$*N05dD94I#Vt@q@djb=#BogFp64e7 zzUS1T%xgC_mOrIWP8ftg2zo+gRWp1p^j)IWB^vTgfOMLPw+!pmMq?cpC=XbEwFm&4 zmM$Uv3mf()*7<+ZT&PHjfVOCPV;391Zx#x)tNth3!Op_|Pj1H3+*j39b>hK*#n*y- zo3i07yM$QIW;L^@3WzAZsD{L>GHoPzI_qj>jkdt?ugUV&CK^M=4;zs*8;Z!ISZHf&J*`JF3twS z-)d@qUHCC0AJ4KMx=EDlvL5#RoNkzM)6<`iqg4@ZUk5qAA5i;klfWU-v|Tr0C;@F3 z8x{|!?JnaLZ3Q=@!>{Bng|r_jBrs|$C1hteVtB)i0OzJ(T)W~9w36{S)ZGkm#7Oni z4K4Z4;9*?@t7;#k?Y>U2<4MCZy6C`M3Z%G%d=NNoWZ>le?7rQzw=J??Y#MY@Q(||J zhLmP*L;|i+V9YxP{9e`@B;e&d%G9~+8Wm>N+u+6eW$bW?+e>s^a^EzOir&Ssxpd;Y zLhzI!Nr~M?lKOi2OILSMPwBgsgCwfrbcaXJp{%iSHavyTE}UQ%2t;Ss%XS=XwO3N^a`r>#`J&26K$z86GkDJ>At`?E8nsNXluw*&NOZ8 z_P<|0r(p6xmQ}L%d5yL68fVTWPnWXwe0`8$#nWV;OoChxCtUt1pw|+T8G8)N_N@7; zOGm-(=(kmGl63Q^7;aSA@Qk(kUPv#8Bz(AI$|u|AVG8^-G&K^}`rmiJ!s>?AF`RCXE@d)aeh8a7q z?3e`~{3DMVMKWG}mwmDWFeTw$`m~m(WUr9*sdzj%XbDxBd~7fp}a4ShCVtv>~3vRlGbAuS#R1V*~fCk?@({= z`3*inJS5qsGOLW#RDP*TiJk0xn|XEGo4Ja@FXdWzzSB9|Eh z?Y&m{utIFXhVHq3F2>m#B0dsMi*N;nZ^!w0vb>4uF7y^hnoMY~6leOlYr zXePU{GlkuUiJ4t|7vw@0hN^>-gCB6?%&R{-764x5xb0ad56@$R@Zy7zZTB})hGPd} z5LR$3EDb)TTWWlj3(O^^?i(j33uWp_4t(1MTjiVUel}b^r8mJ(3=@|hZC-m$$K361 z#O-Jkx_3J8YyhWz*nzOJr=Ym&YPmCGBnkU~2yGZj16Y+=*cyR;tRzR}dE za8cJTXc9!FbH4LNG72(NG=>FgM#1;E2#8Sfo8+WLR>Kq5yTSAGJ3Z|LJLq@rXz-z$ zISO;s$=&M+@g&M%WS-0!C~yu!#i#Unl{2%m-3vPqB<9k_;y;aw#+*!&wnZKRZ(QWT zvaHwVs?_J1=D={o7#GP_!F~+V!LdY)1}U{zl6?`=N_=0Lh4r#gWQbVZRvOOv~dK*=wq|qu-e% zf>Uxfd;J)8HTj7-BVx`};jOXib$weer^ku~(%sy~t#L+pEnw0Q?l4PqJ1U)c`AnTI z-L|QYym4v6=1`vN^RMslE0q1^2163t)!b0Nt-5Fsx?Sa#y}{uSs0o$8h$hj~Yjse# z9{0C58=tD?_E%{+3vQ{P09kEz)7l+sLt?;D23hko!pLH@!6SWH8ohFM9%ho60V=5%q|T!|l_LlO?xc!IS-W&x zr1HxkCuPsbX~`Ybt_&;@-KalavY zu57cmwE4g+bt%ku=OBevTUA;;-`QgO5En$1{U!=oW&O>OKY+bsl%yM)9(kcO%EQ|-yJHltTnQhM4Uy@k z@6acKAyI+!0wlFHsUbdRDfIg}G-G1y)*;c1@V!TEm|Mc)TWjt=}+(9zL$UgXd)?^sN5MQ6r?w z&Wxrf;Be2mpaX$wJP6$LEwzaZT1Wkmnv21*{j!D-q;T+DEPN}F)p1H52}Z~0Fg)Sr z&Cnm%Ns^pu&@RjJ&P{$XdhPBi&ci#9G6;HgsMNvd74ZuLQze>Hm(Z+qtFpq_;m9O6 zp>O+Lxz zQ*h(Ug3!#qN@71p$T;*V0bf`u&`Ez{HSkAPdi+ha_RbuE$J*`Ul zVc(ZsFku)8^mC(?WD4l-{Ev-vSCl>SA4puUK2|L-yQH;Z7ZqHS&a?YjJS{T3y?%e(@AxQw}cI*9(JQiJV=I2DTpZtd$= zj}LEx%0<>s#({Guu@6DL5N7or!C(MsgVT|%I_rr+Qo4zM<%5Zd>zHE{Y|?iv-nxjdTS zcIslpY{u(|D?mltw?|Zy;NH7rabw_`ob{hC&MK>|zI`dSOp;|ud*b!2^3_Q4sdAKbQINirPm~QY z3e|hRs8&V-VpYtVGMz`O^cy)?DDf4?@Im9x^eG#4nWSj@nHpJ9H8y#H$mYIw75p4D zh2%(uczJ`(Rj{~+grs{w`Wa55xWzzpzAbutft~0Ol`5f*81dH3ph*4=4r36a%Oa-x z96cNTfr3&F3gY1BbXGju+a<%5wYb3PFoj>VmZR?vzZ8khqI>@C zgjw$=2oSo4;z1oWgkk7z2r4B6@bZPYQWCyqertgMT;SGvj>g9?+-w{2(#IN*Z(7h+ zk`ql#6tzp*lC5_EKfA7Az5NKq8ycP$@Rc*S0TPmAv-4bGZ&VUUbia+cJjCUD&pZ<) zc#lVd3tf5gE&(mLIOcsq@GOFr{PGZ~m)*yTLxzmPwUPLdp6xfcav76pStFlXkG7ht_oTD zrhkbfdi^4-4NO z3A1)78F93w7M&U$+172hYT|Aw0B^CbW801+B8lZ>7UkaM^IjmzOH+ZTOGU8^*L#>Q z^JQukpShG=SWI+xD6}rb4U?0xQ_`?RkQq>i`&7yIW2{Zhepe`Xm>;o|ty!T3Ky89*l#tiRm1zx)vY6h`uQZz<^X zSK5vR0CI@_9*6Q*aT}nMkzbxv&>s|j`<4Dvya_0H?!UTW|8u+vI~OS41Qh?k%E-yX z^FNJ$_&392`ZuHdUme_k^x1$M$$$3u+Qsq1LkJ^=J?4;7WyrH;RzR9;t{3I9=4!#& zb42>Qn$*>$0!Z!wOlN2!KeGm4dLF?ZAy&0vU4|&jwAQ-hb<3bQdQ~oJD30nHzp#Ix zD57q)X!eHq5CE4bx-#StOPIB*wt;X0Z`EnwQk_F4ft1sSQw6_T%1SKg2-&l{4{qLr zOvV1M>HsV^nPN;4v1=^a5MIspq!w@2GNit{w_i?H5@C&CPR;}vRV)CZ zLRVGjgQf5#9H+G#@O!i;n+PanPhmw+A_!UBYOX^$i#Q^qV@$Oqp;=wvqf18a48zM4 zx3*WGi`#d-RNT)LeULt!y>sxLna%uJ&(usEEv_H+p_o731$LpD5>v#v)DJXVwNpkVQZI;O50e%mKi;e=Zt_b zs;iT2yG1re;P@qa3ow);j4W4sdn{+ZyL>4a;X;V`A_~2XN_-ZF$Crk|<|&3iX35RR z+5<6|gFz5E&iny)-&BVfBc%&+!s08R#)|seTJC*W6@0P@9O}yr!uzo8s;a70EGJxV zMn=XQVrG$Cl~FtH*9QbF?!L>y?=Rf(g!Pjt(N4vXvm3aIHoib7FR=KdkWwt*poF}% z8ETEDw23p&$+#y^)(>+PnV+P`J+RNoKJ~@BVT(1`n)IgC*OrCRFP=j%5JpVPd~59I zYl?bSB!|IIN&0BteF%2t{yt<@go?P+`Cv_wru-Y^NiY)w|Jl#;Xd@7b6kJc?;fu{! zjCk7h_ZFmhQr%g8;Nxg%+Yh#ZaIE5CIbzpHOvbOM-_2JB%y?b^T(@9MBAAfb7zIg_ zaL(1HlMvA@cqDZR^o_7O-4a}MtyK8skAp~GL)%NGLq~Uo5hrmHOU;NGrn%>!yv5ee zmfRsLMHETx4dUwML}#>ebXO^ig2DToJFG{c50~Q5-oCuanF@$k{jEIFzRw z9YLbadn;oNG0$z*6mNs$D~F;@Pfj8xR;@7i{XCbp>Oz(_m7+riLm4EaECXMs)Ow=> z5a2%_^>eH|4qu!#9fh~E&eNTFs19oMl54N%C)@*A_M?Yr>&AxVy`It}v#Dh3vd=>)hFtf$-hqtPbMUoNG$~S|Sd|Y$Q zV{Qj50jSSAe&0Msd>KaqzwAQ4aVBo!Qi)|x_-yJO_txZC>D_79p%5S+RvGFF*xJ?B zg>|*NIS7W)M|jlm6MLU_$u{A7=0jrM856kE=1bJiMg6saTc6pHE}q=4G*vB{_Jj{ppx+Og;2n+@n6vWG3ka zn2EKv&s$N+&5=f&;_~EFkL|^baAA+%Cm%2{DG!Be;5ieY8uY8~sRblB3Voq2EJb_s z=eH#a2*ILCFt~_xkdn__MjlWdV z`g}BR{K?Lh;kcCXRot1M>B;#9mEx6#EU^I2i`xhOZS?jrTX>90otWrgI6QXl&WtxD*1SOC55@*-y8_@W~v4qzHN6K9mmp z%;HZGUn1Y&u+jgaBTeyMP)**qkXX$<+D3o$=llnP`MV4M%B&{-!FVwB3?6zz1aEU0 zgC=Pi%%sU)%mNlL_j=Ac)l>@Yyj!X^qa&|7FT-$RVg3k~IbL-axyjrJ+p`ecx47(_ zHiJKT6-F0rD*ALoZHA*JHlbHh2rQpP0!ajI&gm{ta2GX5{=(S)OVr1|ZlM1=jX&cHC)Qa;bwEA-|Gpmx)S;(*27`FGKgC>xaZ zwz~oclkVhk(@Q@K@p+V$@2*z^&NK)wn~+>j1lhuMyOoEhrk5g{MUAdDN%=yh9+J-`fZzB7#$z= zD$^Adl)2)Jw}hl`;&A4mQ+M*ed(+LTqD`s<_%wnpLKgpx!9K|8@kv0A@Jl;P6Frf< zZYRQzrjSkq!C+``1auNi%V@o^eeBJ5TS~}=))Ax4v9jSXdIM(;c)4c;nIR7VwU4P2 z=<;be9&@hzfv{;1fRsoC3UTeE9DhAv>^eA3QDW8g*PqJgQvQ9ev=2^56+gp^mW}f) zlU3No#QkyO)HQov4p>q5fSYs+z@(KewfI1)mmPo^!P>UwII)^>GJI1fW(QIw5QW*1)q_1p%T#R=Iyx3o!+nGAR||BPSI_ zK1KS7iB7=;9y_oil?U7Byq-w+Vki6rP*MYZUAx#=7c>k`5YPb=uQw1Ze z#=Fw<{)G?RI8VINJhC(F*C-jEL>EKR`SzkvqXOUy3a_N_=G4J*GD490u(+Kr`v-Vg~ zGyCoN$Jz9BWPJ@F2_`LqTv}uJCCXc}fCW!=aIb;)sWtZz@fgh|P@bFUt~DWtn3-V{ zLpcOV-4#(T_Xn+n>7onW!0oq83=W7J!rDIPKeKMX?52qGb(qB^hKXaNVE>@qypA*- zhK&!RtciQCS>|$KQU*W;SOj8SRqUN2Pbg7mq-_w1q4dn9HWg zRjNIr3drp&MK2c9W=xdnwS=*qqUCwTo#6dS8U&}M)qt8GpC&w2Gn4>%wQ3rB_b8ws zJR{t0-NvTs?KFg8Jw{V3y>oT+Ox4?wrjzdh#@YoN-UkGRu#`zr3xY2cX&1{#Ews%W zep*LYO=kX`Nuynek{-c&=U7a-Teub$wax03&IEmTIZhUv{lnc*7Bs?|q&R7SClxso z;ux30+d;QWu~_zh2=ulKX_9;>as{hUzOVh*RUcVeB=o{XdznEtG{y49mKHUCsM zUHYw*USS>^F?#|Z=HrRBV6(+Ichl34bc?K=9%jS_*{|2L`g`;;Z_3{zsEnECG{1w8cz~fXvzty@*1Yl2yUTQ1UE<0^*X)Qd?>1SfYhFg* zC$7U>e3==XlaYF0vz(rw`Pc!#(PAEe^fAZ-r2BR9F2@cA9NJ0i;-ZH{E_8TYhi%Qn zeG+a{QvGaUkdUC28SCOimJEyI^pGC~Tm1AkY!UZx_=o22TEvHZfdR!3*7NE_*a4EQ|1ewIXWdvOtUdiyZI5qa*!FW3nwpM^8 zb_G&L`R?;o3G0M-ZVUnT1AWtVExA`=%*Fc*XD=@Z2r|kl9%f)OpP))P&9dtgWm8~S z=wSW|&BTe9ds8i7dqVmMEI=Dbe76$hxay*uGDOL$7{I2Qw&u(7DH^kTq%x0* z1wE4G1Y58H+%iE-*TInEyvUSo(F>lSph#EDf3!9g^lZjV4P#VPryQbSo^}Y{;l{yb zu^9o|H53S&9fYRGCEgBN&PC)+PtohBq_&AtB4sGFxr~QxZ()UDgk+1&8O;%3li@>E zy;);$?zXYcO6y+!iP8u9H)Cp8w`uCHT3%75LfuT!Z+66zwSqRK5M8@H7?E*c<(JBR zI!rt@RM+1+l)F^kJvGp4Y+Yfv+&2_eOhg*hW5}+6-A-NgKAS?5X;hqN%XBnl6wEj{ zEqUFA`^O?he3{>QSRig217!MP=kiWWAUfs9P9`yximfo>Y=o1@=de)EtHtYSffWo< zB82M-?+051j>WOWk5&3SXU}!w8eEUPVG?kv=!jKmy|)L?Jd7Qspop>fk)TDYun$3a z$e%kxx4*HYSJTFX<)7@(qIV9~&GtB|f{2%+U3bk??$6nD^Z}Bz-YL!ut(OC1~9ES;N%$us4 zzma`bX>wFrfA^(y?enw%+)v>nv+BzP@yh zPK0%9m0WH~i;;cpF|3eF!t9u$Q5vyMEyGXSR$(?7 zcQj^Bo1pMhr4{8i{??i{O@-+9{C)Jn)oZ(mRG&J}bG5bj zTQ2>O2GE~d0^Dw001{DRTjRBG zzjKJ+nleBs5TjyH4c?hR4wc>)q2^&MzNB9wYEBS*8b8Kq1@$d@1Y)zV$@zX9;R9Np z)u9COLfxVBa~H!h&diMGSpIM>lM~}1V?kx%t_&kQ@Zj_NMjnms1lxdeOm|0T#sv$j z)HsIp0_ah?(GK^w&fJYR^bDSy7~EbM9OPRIYgbFoa%6}E;<$OF_WESE z!j~`^8B=0o4p)1PdSa}MViyU}SJsO3wnl;-raC`TpvmK9s>U0t{zOMibyEb2seV7* z@Q8_d)4vK%j)}qzB`@uXV51iN&BNRavrF&Yljk=o3S@Z6Ky{F z&24wd#n*O6w>rZ=p0s3vyeLV-6n+Fop|WTrlc^f31z5QG&DW5HU8Co#=Uq1b!^6zs zF~>g=Cr%z_)K76{w6qBs;^PlufO6_-ILB5R-o-d;YmUw}rtK7AdXt+MnEE`6v^^BC z;?0&|FsX%A3$TV#zPReB|=zDCyj*)#4a&c|KlAiKARpQ7N2$Rui5tfwL9RWWeC zQ_K~uj~i~bv-Liqe=xS4EoC}hhH*OyjYep=X{XqvYA@t92_Yg8SIsB?ZGeN-YdIFN zsOq^4KozL{TwJU;*Irj^IWiW+OsE@e#=?k?fCUzowVquD(_P}o1t)UviQnn5&}I2hX~KqVH7|Fu5~m=)*5fA) z^K$X2l&RqUx(unTPcx6?Sa@h3@~7GE+l%jLd@->6xcDq>{0|)ho{6PP2aE`zt8BMK zGo;X?hvMS})L*ej3uv|r;iKNa^wlC7)evd$wbQzN3(Je+u1P>5&K6@eVFv$k@`0_0 z{+?bX&QI2Ii;Q{3C{_=D(J(W!*0(C3Bvby0O2=o5GF@$8R;H}nkf(eXpK;KA=_2YI zJjbvvG@@&C3nXdI{N=F`li~@VYwjA~T8dagczRHrdKy(62UsaPEgK153Pm{s9lqlC zVaq0UY&~B>3b6yF6{lho`DuoRu16oGo=@$=KQ71`AT+jq3_~MJo%6o~7%$dAX8XT5 zneOY`5@dj**~{%2;5zUP#L?}OZzpMiZxE$e-l9h-(WfV5VJ1IpetOL0qKW94z~Qsf z(>7`?@#bTFLtX8e9d41$7h%?#+28*FDY?Y0eQY}yoU%S#^bu2z({6Hi>pYSh)W*Em ztpD|k7&3gA-pga9EE=^>z_ZsERl-n{CaIAqz3lqux=VTIM0dIJJtlqsnUu}ds}rQp z5_?V1Ygmm9c-68LCe0;iK>$R`bQS77OC0$l55nfCl()kjC=`Y{JAI?!T#Pt{)HuE| znF7!-mG`QTo?XEiRlYr>@?)wVUSv|O?F%1FRWnquz1j;_%lkH+66J46B2+?aFVB%O zSf!xgp+HQr4YL4%i`v*@KRQJC=E=IUy-#f~J{=d#k}oY6eb~n}u70wK)!5->Yq_*Q z&#Nmc9g`HCk$j6g(e`s={LrVy3L)7Uzoyze4SKO7yL-n?OvZS$xtYxxfpMA!N zVo>&M2_@@H46^S;wo+LlOGy2Qgr9wlsO+*AAtXduB9tY?b7oqI-}652AMf*d&mS}A zzV7R~*Xus#y3e_;?-^N&OL^!PH(?zdR&!IaQkZ9EAsG~PqscfQNzfDJ^)(G{;#5+%yeU=bNHs_msQSMplGN?0b=YuiiaG*~O&8kH7FdBsRtI zlxs1b`nnTbO}NObmuW6Z=wN&#$Mfl+p*3i}J@hCl&&JM5AmrB^fj(PGaX*MM1OsH99o%WL`d9&iU@YX0E zgZQ@}PkjBFIc8%o>xigI%^rOI?vDI{VolEGhD*5U6PH`FeB*3uZz(PanKC0YB28)6 zOrHovH0!UJXwYrHD-(jXZS4qD*{Gw^H?yOPXDRm!H1g zPyH%U?8$~c(nQV{p5bfW+3ib@#`4zLg|hlym7NUEyDf1i z|1fUAqOWp26Z9pLN>QlQX5f0EZWkCImUyF6B#P(KK#YbAyJ~kBI)L{EJ0$Ub%l$yY z&HfkfY6H=pAp=?-v$h)c4j+yP2A3Bn7nD3VsgY=@^7_gOopVX;M-H8dSkyFB``DVQ zzy*`OccRfz(9|dDZh8Ky4Z}g-PIlKDd5BcrMckd{QS;c0tM9$ALCPP-T4->N%35CG zyxM~=yCmpBqq)+8CaJ~|0?tRnDDfoLXa3V~f=xx=3R<5N`^31h9zp^Q8& z5+ltg_AG-O8Et4nJO!{z)y#?!aaQ>i9Wb9bWl^7#c6`@|pHngN5g+BTN~kgKb|%(OF`*40PR`BM^1o9j6tI#AEB95}@1af>G8uR1zR`p{=MqZO zS>9YCGF3lSpaJf+f)wKw{=%_Eyalh+MM`sJYRsn;2$~0uNKe8%CkosaYYW`%SGB6juFm8&&x?MPT+RSW1HTM1 zJQ~?AIlfwMap0`|yLN$yZhbz2GT7H_oyWvnB-l1h2kZucuzz66fB1J@%;X1Iqdeg> zqUSinBF}B;!L_=v)*y+4RAI~?XzG)%8sQtC+w5g)BMl`exEz5_Ex6X%4Rx&J)aJ00 z&?es2*z3R~W^J~~zM<(^9yTj}utqRDdN2Dj4~>xer<>>ed1!loiTX^z8DTT(=w``mk3 zCKXw(w=GsR7GYt-T5VKIjGR;B<7*o?hHz5`UmA=`r|aa{otIt)AM7#W8Q05Vn!1PM zxa#JWTEqj*9OZaE&nF)LHC)ZLB(Rph-ik2FikID=Z#{jQy~4|j&3U53l;hl4Zx00r z>cj({?k112v!eLE!I%#j1kiF#mtKhs<0d{8ux3iz6p)B0k`GHM4Y|07BiX^IcW=eU z4HpTPx}M?9+sR232_jMMuR9}trGvM#EEmGir7ePi94vgx3xhO|lRp5|K({PCZCan{4KE-OZNxzwDG(S$hI zbbf7-l#qNk%TQAAwu>H0;c-pj)A=)tmj=JQE6kXkoI5Cb{u@Ps{b18%`P_l?f3YJ{f;b!7^AP;EElYlv^H}@JY5)TheTT*3MJ4;RowlMO1&7^BCJH^RbN!! zl0rG%apB?noTdTmw1gf7leCJB>zO`9r6TgCdh(7nMTi?XI>P!Xd)yU@6 zDmmaS%WRVo=_Smj$f9QnjXC}w-dt@D_WgzH@oyY5fPm_ss5E5vBLo;pdhPY^;BEdV z_oH2*slN*TU;CS&ASe{_zv*wX)w};2_apQlxEmL>t4Qug0D#CM%_E`Y_DA5LP9<4_ zY~lWrv&x%KVC9Af`3@&q#w6~e^#1;akKdvh!1Z;(Yhc1GKDx5*K7eqPc?9z_= z&V)?bToZjhsSC+_N>n?HXpCzk;73kH3j0yXD!tYo43BpWdDyIW`KI!yv65%ro~zmw zr*sn{dSDs;4zY6g91iAk?+-U)zQ4eK{21E$A2ehuWETXruy?YtAVtH=$pK-vI4}$X zgyUOTkpBT6kKg$ufT7&+ zxWCkU4L0)L7Y8H3L+$!+P9367r?@uofCqAHR{L1(f<=-Pu9U#HFNw~Y>M=uYuen?8 z=`Ln*>JJPAGhM{THpbVEryjI$=UjuTKNz_aYvY!!_h!A~^piW4x#GjRYiVZ&I}*C$ zZ)kjK$`z6=Eay8ZV81VWNM5o0TzY+C0SbNdyIvQqvrY;z^k%#_Pb<4{yYW2S3>iRE z27mQ>uHe=PCda9B4Qy2Von?d8LCCduw<@8wJQBB5$(jHHLj4`wfT(`}4w8)8@u&KO zz&n7ye&DQ;$S1tqRP@~dd~Pt3jO9q8ZG#OUU9EJK^hxk+KUV55AOXPR;yh_pkxKrV zL!NFu66M!jizIy#aK{B)b$|F|Tm)Pp$<>hPz-@{=`=oOenCyB>^4qwG20+_>@ngUM z&H+i5Tov#G)gs`D7G$hT(rN{x0rW>K3IVKIB^O60G93;8fJh^xAy_a9h9+ZUNn@}O z5)017?LTnnSh$d|6Ug;%)5`5i`NL^Y%?TLvpBDr>gzK1`32J}`poQ?V0wpC}Psxsw(v^ttiu%^;}>u7=~r z_{Vv|ig;#yf%t?I8(zZ6u6ho-y4Po!k|<@f@btOd?|rmRz0BT2{b3rsSD2HHQ>N^_ zcbJCri{`-_Gg+q@1vMpTFNn{uRmj;Jubo0IE>`=E^}~CryJbYWd1mgG!_~tok|Bvk zEiYqAnIl3f7gcmI;pe)~%o<8bkG!X89=5(b4ILT24qTig%DW z2Fs}jH<1xmL2hD2Xk`;Z<-+`IrP>zt{(+5NH{_ZJ4T z-Jh9yYbLLJy`!2j`b`C^f{a&$EK%J}&t&x-DJ~hSH&(yqm7*J^EbEuH`oSvdbEEj6 z)H|7t$OQpjyzKFk@t2p}c)H6)a^71c7xca>$ynWQ6~`jf?lDYj@(E-5en7CJbt=57 zfz{HqRPoJR>C!CkeEpn#&i(8DnG=(4Yj-Bhbvopl%3LpG3k^G+EqIb-hirs#OH>wi z9UHBxR2^*f*J_=;n?Qn5HMF*2!FbZUg@I$L3?R5Lml)DQBa2Zi5` z$yg8e1{Jk=9ZBM3&>6vKG*v0liE1))$$ln8j$grj;d^U%vxl*#cKTC$*TmiQ^AD+O zC`Rat=419%3&PahOW!a=(g

^Crco-#5_p3RI>g5C zS)?{$=n92?%5v<|Z0b0CqFD6MU-~Xj=C7tbJ6ac;t-w#=8vlk^AbL~zzA-jrPPqfk zX;tc0P}Ip^naeAl2iF9tf1Ps~_vrSbO_@05H%R#V!{SriN2xWptM&87jl_W|9qlXU z+FL0clNe~uMq3VEx+m6Z6BoCr?-BleScU6oRwsY{XY?1}tSDM}(Cn0Zbf1EBQ0`IQ z?3uqFOLk3++RBkf>aeO-n7K915x zpi8c5*$_rYolv--M%drX{9ICY6+S#=mPr%%mgkpbx#isrgD6Ldbe)&!P|D^C$~aC| z0~S^M^dwqFlB2J&`jwRMO8E7;ll@AwUSg_-Y8h$I9U>>G1G&@RQ>&neYJun0bJL>; zdzWVNko_ic3=g6AYBm;^D9>A9XR7HA#0t@0OPmLRTGyG1YD9WBB=gxX7C(UO zW$|+^%4|1Q@v0HFH8Fa{tcvE)LJPFU4BLrLy#)0J?bib>8}TnV`DyvRd$PR9Ho<-R zQ9+anW!Y=`zMx>?F3)>8U^AUJN1I$fDkzqpp42F~F_6dHz|l^S5TeWjsgAHzwvcy*+*PWdWg|}w1-Q(Z$YKIfi?YuZbBZvx72z2btKy`bnf$wzC{Di?&D^A zM=7Z)0&6caK74jUU(M*vD15mpW}Np86Ym%5if*<>t@&W;T%}`F`96z22%UKu|6Efw z^{l;}k*KrPEsW|pF2OOe3+gkt>8fX3>>aDOAM(kIA5rY{xRAnfcc6dCEaKWDyivS% z$9=ZY&ueuixr>>y*b{f50X04{mE+wSg-NTr9;=5X8&u1!UX=>U^+p=Tiyo@J-$S`< zm2@~5bNpFkp~b{N%{Qw?<63bGMZ9IvW&OFe#bx!88$S4+bFjFntUi>Jj6uF@W-q6t zilnrr{FRBYI`y%9$m2q$pi2UawYp3ompX?uZ4z>6v$MZgd!7#1M|#~?5;j2KYPwxYJ&QGZ!aN)`a(wWBr3AhibI zUw_>Ap*lo@6@d)V3~Z(W^J9B+NVd$651){14uS;84~d5DY#$tj-8J^W zH-Jdi{U5RjI2OILEeHexyK|fo2sC!*_yKIY%R|DjJLepM1cKgn){8^|+lC!&K}*AT z$)cqJ-1(h+SRmx@H_gq(0>H+10m;dMp!!4~0%@&6^&B1DNa**ZiwX3{l?50g@|6X6 XnqcALMqbwlvF9X}!~w literal 0 HcmV?d00001 diff --git a/figs/protocols/shared.pdf b/figs/protocols/shared.pdf new file mode 100644 index 0000000000000000000000000000000000000000..c6526e94af94874a8db098b7c64858a9a266d8a8 GIT binary patch literal 23420 zcmeFZ1yo(jvM!7Sf&~k1SvUk(z`}!T&_Hnag}b}ELvRT$2@ou}yM`daB{+fL5*+?T zwj}$W?0xQeiJbu%87_EFaz0;H~>rlYke~S4-cb)qrQWy z4H&>EEFmIhZRMZ{$uJ267{yF29Kd#v{}y@ud00WZC#q7FT0*r!z|lx3qrC1Fxjs|%XwS`Vc=2kp z^jTrU$EgV&&(kZf&t)%YX>@cXv*o1SxXD09GD9VOY=jYNh(RMUS&teNi}~7FubG8X z$!>_Q$W1|%&3Q2~(OqX6rJ4FUvKEF z@>@Oo=DCY9p0u<76_q#&|VL1iWPqkU=mrhpoUQ*D>wAa@DZm zWI<}gq{Z=&uBC%|gIbyaE7)wkP@-^(GTE_Ty_i(ZcualFVK#vVmy%wLo+<#irQ zvg2$Ppmefi+;p5iaYxjCL$%~hyO_duI+kmcYt-!w#c}%bogdj`X(VcxX7kEv^~HXb^-^ULP7=tdAzrTc_lPWP8)me}S@q|yv8SX;HcNjf5PDPp zN#BgJI!ImCGApMj@{@)lPl5oYJgwrh1VONTJ=V*Cr2$JaHd{O+9kap}QPGqY@=O&E zC%WAM_m+y5LdBN1XNoGHSUydhNM7!HwR_dPTzx+CTp>4OgcvXb_mLfAyOnntai;-V z0(Pot$cc9I-9|cXn6~v(9FSzRGFeDI+A8cD&o2UY(l^%iffyCVRjIYr&aCXUQwa{O z8pCHhTw8l9FTCP-l4P?vW^`(w8(lC+aWoV6f;w{cWiqw-oDN(b>vz0*`i+8UQyu7e zK>eDYuT*cqxJ>->^$Y!vZ=%sY2L&q82s|Tq0TKrxlZbN>ak{vkTG}icMM*_wO+m37 zL%(DUjsD>Iq#Zj|`mv(hrKHR#_x1RGlf(YLV&X!u!8?1VjZx2$1LOfVTJTqtv{RLSzd8gA1o$=6$2hXX|pCH5@EG+;hx@$q1R^^|6EfM7ryP z<-cjK%b~BCo7tW^LF3|bqNk`AX^CUat5=#nNe_x%+VxBlu;mDlw%$0-n7)NpiPmD^ z!5Vo~r%uDrT_c25r8$vSx%G)Ys)YPl950kw;(!hl$z1Q&bE!QV4GIIz&sNUXSPpSi z-lt%E-iRsr1H5oreN|Oy>Eqb6mODLUJas?OI+{fcy_O=Me&=Ok#-XEzrU6ohIyNdc zM0T}~eo&OOd~c$X^YO?v!%Z{yu}Tvzfy}n6-z^vmNp#!F_|*0R0o#M!P%01JeI>&7 zw{C7PKNqwtW656>GB}u}96SYm&HuU$wI$Pztj2)8_tIfLh&U-h9xr0_6V5X!r+94K z#B5X3>^h%tiP<^h<*FA;gU$2~Z+L<8N4l$LhCGL9EHWfBy^OGrpq~rQbd?235Xff* zr6}pRp4pqAPF^avmDWrOAY2g*diu%hng|Xg7?}`QX!Ud1c84N{ zkP0~q`3(-hJr`*r*c^4OJ(@eVV;NJu0cIroPg)K}$m*-`gakq1-F!Lu@cMc@?U`J! z#@9pjVXWxE@bjUtQhi(vUk$?4*uyqb_s3@oZEcY)XIIjt*DZ^S17cAZDL%y&gT4V{ znC(4QbKv4K%ePjdYivTMmBcBoREBi#@m|%b9H5oD4>UTtyB6pa6`SsI_Idhyn=ZF+ zZsC3CnbJ3U5zXnjF@4)Y4s;OoeCTn=!>21wNe!ZYo=OKlU@F~!+^oI9vK1anaVyl9 z1nnNFQDh_}R!Os)f3}Qv8`dDo#?twk!0&PW8s&6C&(}GVjoGS*YTl2kx#<-ws_}|B zONb9Lp+_DuWynv3lik!H?mHf!i+*m;X~AV%GiEK@>@ZlJ!n^2YWf3UgDFcoPS>qf$ z%_|gKhtX-2%u_);r$LKl9l!XpU4JXPK*#}zyL+YfR!{3tl9Zfc#$AIJEEEJ!b!`_D zLAk0!h2$!g`n*aPE8^ymkI6(Zk_y}UeNXm>NlsxD+$U3Z^l2Q#?MZGku;&(Y7!DR6 z4-@_8W6??vcRk#Bw95?E;nplqLvOf{`dZ$_Z?w`Fjb%GIKVi%$oGTyq^QxjkF}8DS zxPY;`3-NA9dr>_n^s+#Ecl!eV$r`Gc|1R%!71``()XXqnUbI8vDd7;ezUz-MWr`*B z{Hv|~QXwdOi~*bF1HgByH}kh2gSA48E+;_FjA-1th>vasZnhqJ&4yPb%Tb^(<3AAm zT1C)U9K^)4PMosvN_=mU+LbHp;by`CHtkqlxxEG~*(xd1<4Iw3(G@DgY^M*UUB7uE%;m(Ui>u;ZGPVn2J><_+1^Ov$$@TnNh z5@NDiX!?j$w=y=S&kZymSl|D6E|N$_ER|T$N95)EAZM3d)5tiSPO{jn^@dRwm^Hqn z@Nl5au!#CDP0&B-;XadkXk3qZ!%4>B@|)t7V~lf@d|=XQtaAOjLgDfn3UOzVCc; zIq?jsB4aKp+|CtK%DPi@Z`-c0kw8yH^b9{9_^ohpUH4PcS^IM_Vnh<-SFHK8C45HN=@?nqBA27dvGbyU(I6KxYofH9t<+w=o!s61iR#Z=(cH z*AUN0Av?v--aK;%<%}kWZcut@dfLOQ++r^E{P4-qO|tpxF^&B)U5O#5Hx{fc zZ_6FtXM@+`gru62%W)++b$&dp9XS)z1F=fm?ZHnGpdAi((CCYVTPdJLsy&A1ixj3O zMiiWjcx!n}%Tc&@zEn+Cd2ZIbKLM)uv1BqtT{xZ)h~!8FNut}Nq$HTIJ?29RFgD3~ zZo9<(sZSjrZHiSV(Idr)_-1z@@Dy>r;eeq%)Wb-mKdyVHGHgUxYBUF}Y(0H#__kub z?D_dS-+?rpa^!8+!2`)<4il%vppp-oM`??#>qi};*PF-|{4JXHIPJ*=AD!Lm_Xg`( zQqN~;npop*`qjML>6%g=bJ}IGoZa%ja4^czLYidVVBgq46tblyyQL^1#WfQ4F*A0I zY>aw@*J9fQu)Q5$cZX%OK1UtJFgX>cBWPQCcT_Y=IC{x-n_GT|XM56yCtF`NzeQi> z^h_)1`ldNpQ)&2V(x8%>(lYaETWa$`dH}`E1T*}v{d4{3|K1yb_y7>UKm=@WU}tLMV14fsK=Lp2 zEFm>2V$y0dYIM>v^46AmR?JKc@?c{}3%%d`24i~w>u-&Pgsfcv8Vsx~OaKND7ZZS) zm6-#;%naht0x$~N8-T4GzULrLh@Oo&*wom>0l?150${v<=zZmPB1Q=ZJquFiOfvD&r$=# z3D96;V$uSzut5@R>{%VUr2i`04JnR7EUezqL>(9Y6|2}w#1NUQzAT0TnGY4Q4(z6HOuh~DY*I(E8UIrk% zQ-KWew-m%ZRB*M2uw25*$ok%KgsikFL@r$cG=dPR1k(Z-W$g^XcBWRw02&EH$f}t- zxIzjQ9BphYz?S!`$ixTv`Ev@OA5-`zDQ4wh`&o#sX=SM56C8xQ#0^9<3n zSWHm8T8h=J+2>e2iUd!~pkTW4oMhLuIIf|1Q#RKN6f3=%HslY#0(9+e=1x#>-?Y#> z5rgFTzRK=^{u^@*35m9#XVC*jmal3 z`60X%(^X+k#z~tAp0XY5hCX4$K;5o#rkROM=*WxW?1MQAgN8?)Bk!mDXB>-WqA*pJ zJ8qu#^-r3XWROSXwfe5L#SNaJSh~XzhR87vhWJ!%S#F%DPYA$p`^w`feXDKEJ%9Ra zQ5_JwicWqkCNQN;S-2Y(~{29I7%~Qig^aYjJk(Gyb2DWA^EHtEhA114k>q( zZ!bJaxSzadH{Juj=2mgfk#FBzut=L!uJ6^_-r_gfDm}P`@}D9K`&Tu@%<@A*ektVN zk17C+qE?W@iF>hQ{6p**#Q%FT|C@R-)U$H9-yQY<4d(lOB@aw%+B(A3y4ztU4b$K7?>e?1qfp2gltS87ds08GFTZs2Rl=Ue!U+& zM7Q4mg_O#J?X4Z{48ZpHoAp;C{kwtwm3{JV2S+uY+x3U?pI)@6+7Q$qC(+S~g0O%8=CMcHQ^+ z1fvEuQTTOQg;|W63l`)8uLCXODxu*qace;5TQ(I)mCKK6PjLGS31R=i%U{j#->$_^ z=V1R=uEk$Y;dmnjk^BWvM9;WHfmt`NQbgcIisayuC>zI0-_5(+1&#_Ku6f=fKZr;+ zXoU9q$oh=8AWw77Oh3>w-=Wc5O2bV5^Tjx9KCB{Cl}?SViQTZCBD5>K!h5L7Ynl1t zM>;wP9-bLn>kcrF-V>buVljR;OYUDb|LMl~7qjC(-5AUuAc%<*zzJjmvHt(PFF4qL z-WDu!Oi&#;4ou)I^tIu2td9JBBa^qfZ;VZi42^Qo<9fgdiLkHS#DWr$Nb8YC+2P@- zHsIlnqMRy7wKd_90FUSEHHGV-@*U9Q{*}+5KMa?@+1CF~=pkmspNGHyYeLV)3{gO! z|5FNx=`UvOe}~htVs2E4L4UB?D9EXyr>93C@eM6H;T*mi)J)K@06r|BCZIer0|jN? zXZq6+ki9E>PypI6i95+00T&803ZMNK3-OZ$^QY?m4^Gj!*#BbLI4W36E2v<3m%X=! z`8ZjvD9*juhzXZ&9?r@4MaW3-<+CrC4DAQ)c_YuaXgtpsi$}IF(>oG15$YsfA^CNM z`P1mJ%wUoe0u{7d=^brHlW#)Pyi`FMSCz*#UxS;IZZ66VH>oz~udXueWrrELSi$TH ztTIWv<|wT1Ijqf1EwLZ3d?WY>O_~}JOzA&YW;ynhY0#8WPMxdNmMW5QB*ry9zn{)R z@HHF1IrYWoZhkR_bu3Y1i=ftP9@QD78|4Ga#u=!}9UQZa(404*x9OKDZenR$WV2#P zx3Ztrtz|w8M(TS@hKagkDQYNGtx|UGi#*cCLU29}gSE3p34Dx!b&#XXh!h6aunK8OH4Upw!)Ly{?S$VYP+UbklO6xs9#fcK zZ)<(9q+JFo%CdSXgdvF7yHa`9%5r;*8YZv9xfdOhA!IKiPQy$ox}_{7O5-bEr0DxD z)e5B>?=s~L(_{mcwuOjnYG_WfUqrm!}>WD9B8o$vD?)oB8r|9h&T6ucS-Kf2o^$4nc zK{8?W_JsO^@dz$8XTcsgaE|x9#h@Ta;XIE!=#{_6dA(qIQ)PfL(3a@~I=^XXte3uB zbKqyy)YmV(+hp26E?I)j)mGo;r&W8v#PaR&u=c1Zb zO3GYa+dAW#>@Sm&*>W@L2{tn^^m~GjkN={6%^nuFs%jj0Dwji>0(etG9o&z|#KE&n z6z$`6&0Fp<-qWxF8|mBU=;*_3tG6T6lc1qdfAwM8i{H5W>6+pdk3$T)L&O18B|h+c(j@1USolJDd%xBJCB=Mk0uHe!|h#c1uxUM{8l}W zIXiX0Ss{wA9_0;>b#qqUt;qGIf7s?H?zX*!o+iOe6P4c9#K~mi%tbDf%4seeqjNnM z$9)FPk%2xBliwvWq;werjd`6A?}s?l>VpiUsW2F<|Mbuy zxxaYm5Nr8|hkj4%0srou&tM2^O@}O&i#NR8a171qWJgD6w7AJ2al}>q+rkIlK`C|Dx-lTd3 zgYw90%43nRw+3CIhP|lWX^TR{ zGCphgUfMojBr4OUGi=*|F4+9To+99cD5^=XfHP5aK(6q}$53A=i&Bk%7m>gtnCzR^b84K=z zm1ke2jn?Om`Gf6=P;Q0c=Fmy@qwskWAG5fKAd{PL@_;&Edea{hhJ0Wu#M?AbCwUy- z20Lv0o=16J=}9H$rj$GZ`7kcc@eQbX9ZkDk+qd2GV4zU=No z1tFJ2?N0iskk(~>Lmh$A*Y^7Kb`oO%CYF-pIw)wm9vg_SR()YihA-Zp>IwY;BXRZ8 z!Uqu~8kjC}`iN2Q4t>^WzQ>U37Qk@^#VCXYoAx*>ZUoV;++YMItO1|2Du%umLA_m! zgRYU9p!lly(ffere2IX;bwQL7+}M0W5{5C(i3e^Xi~BQ9u%$w>WLDZy)zZS_su>yw z#!$_e^ybDU&zEjrJN!xL$fJd~ z5i+d+xC-_LC2oUr<(qzJr|G3n!F)|CtAN3h1cHE@f1qW@Knd$(;%0Fa6B^1%tXv8|~M`(%B&7wT~r(RR%d&gRn@ ziC6BE^N74{X%w!*Vq1o_;vwZ^k)tNeMY)`)HXk(DM7TH{!WU_}Tc7@wV zy>tdop1K1ufiN7Y^{9A4;$w9Rn@?}f`jK9-@slCH{#cmbbCk*(FFHf9#AdFwr!GMm z$*(BmkxioL6lSh9cr;l^IC*~PRhnAI+Zzp~l*~o1gY0G`sa+=_i4`}}iIv3+Wlv*4WJ`EABH)3a=!t0jY3y%IPD z`MI*6bl>%SeK}?PT0It9E%tK#aJ82%d?Za%d8EWfEfyPi_eD;*?j#jg`+E5hDV2nk z775Nrd9w9keaRQ8ebuWwPCIa*R6dW(rxVQjVX#`=l5CIh`N6F4K&Uy|=ce;4YyI|D z9}JE?jYTKX=4TyFdhBSCZ?t_jlwtJX`mb`6e&mbd*$2i`BqU37AwT@EuS_pPn; z$nHbqEFxJ?A7D;2OTKfPydkuWwdV1}4X?im??x+l0v{^pb;pmWNuL2Xkoa-mf3#qg zgAgEpCgl1$pNdzBC`KmpbFcpG=9Exgh%oppDO8RoXfPo5@XB*l|4{eqcIQjFtgHeD z+z$=@Nz1tG>6kRFyxb4lLGo&3a)37jm_p>y9~rECZLhBRq>0`&!`IOh%V@MB@74LY zBJ=yfK_g?5Vwr?#4sGHrbFavu>X-!&)<;MM!E5&HTjOW!6Q=lI0u+l9hB0Llah)d| zczqBOVF2+V$dsaLap_)~;E2!AxH++9rz3CrqaBh^rJt#d#M#)=$4;^&48ZuFnMO+q zg4bFVQzi{A7)hcTmnydgV4S7~8AZV>w);WZDURMP&C9R2%e53EZ;{cmh!=2&hcHM0?YhQdL4T+wzQnJq}Llud0kw`4@!hEHm$Ol z;Df5#PWQW2&KYr@d=&N+Kq~WfSUJhvCTD-N_&J$v*>1yKl-yx>_{@UXC{)B|MnFc} zmNigpsDOGLIv5pQU@|ZvTAc-ch-^te9#^NIQkccVc&<%a1JU#qWh@{Ti#MTUZQPv% ztAJYdI@@j&)sWTXT-3Yy3<1P^+?i>u+U|U~iZwwW##g5PZExMH*7 z!_?DhOTqTdXaV2KyZ{XswfxGq7D~H*IBd#-A*!_8W3Z+Z(H+iSL4iQ=Ud!}G#RULM zK{u9v{!uYm5{EK(tkeME#>zHGft~#$R>4sGDOD;KFzrJod^1#RR;8}z)2WzYxZCEq z!3%DF3cJJO5kS&QYF#Q^CH$m8iHmTzhce)L%nkG1D@>nJIe$^qFp2dgKe~IO2DyH? z9nAW3$25?FSb|_15eV#3g5kJtBBQB>5Qu}qY4NiAlPXF)993KbauGWv!&*)K*ld&FbZ3>+S#9GSP2Kszj2pVwpz zRE(;_Q^H@p@rCj!BKN>lhgGOq?US*YasA>Zn@yWY2Hm|bq!6TwXIlb9Q0C4*=$_@+i8!=bh_SSRs8=8`+5>cAXd*Wx+!oH*@Xw!7jF_dFsO`I@D~vjwi=HPAy4OC4T(0~otCIHQpy*Rl z5~`Lmm=x_BYp8=dw2llu1_AIy-AMd9 zB$_BC_&MtcEAateV8@@gS%+3zP~k4b(D%V*gI?DbL};o5;WeFZrqk5L~ zGc)bp$PS6q1eR_4t1<_fJ|%RpHSd1#JmivM;yLA;4OyBCx%voX5)B2MmCCDAslnHy zC3NcL$`Bvx+cpXVN4fi)ASQkmh8>qZu+H;7AM zS5swOnGNc((8d;HhSqZCCS}+BHcM%dZD$s|EB4+DyC@{f0bW-sDsNn%L0m&!ympP+ zy7JXTy7Tgt@4xkn98>z6!Lw@>N} zy;|c2+fbf6`)M9vGit2h85>vDD^b}IcAcl&8ZUSEw?8nZ6;vU^O$1!aOOuj>+h?Ek z8YCgNfMS9y@KV)qKEkk#9wk|pP^i2(h)$#!U7>Uedt84Y3}2US?jP>rZ7@Ke)X8CJ z*VBaPwLQVBvwL&8nfCgs-1Otou#zfM5T%tZXjE+^gtBMst>(f?hwA9$b=6q@$9(!1 zlQ<}8!vyd}J8Jy(#veHAuJ@9RQ`b6}P->*!pMKKXpqG4D9EmJHs2}@6xdFrAIVgWA zr6VwLvcb!FNLI@m1{dM6w1yl(Q}b0D7Ed^Z!VPXe`19M*9+)aeF}1e98?0Id6orCr z8z6aHS5~9m2%)ixG{3?#odiuq3H(P-lPr|E1_HJ4a1!6>FzJ`8m)(9NGCZqcJfu*R zsNeCttqQ7ZVtE9#0df^)eia8|4bsY?IdIX{+Yrb&j+AN`70`Eysx##t zr}(8OCwwuVONvpsY60M?GWEc^Yrh60dA2^Ai|F;adT$x0CBiJOT z@YYy6CPp*+MwO?cl-tU|l*8Q&=n|(T<+~jX$)O(YpQSHf;Us}&Ght8;g;ARx((3}hL`GR%^NijWxR(I18qV0wJUKH! zLUrm=fAK_i#Wnz$9#05{8EoFupAW4dMlQB#5=_^GpVvPoN`uq;RIxMjb<*f!LIiL5nS+IW@-$wT=Zam6Nc43P`?B%gP$#6#s>Dh zQDD+%RbHeAkAx^~B*%V9vZN=|g;$@i`}FR?xN7Lhe4ad=fgq6DDCN_>hyAlJCvXF) zwg_2E;1zw8B=yJA?1w2*4Vr$#l$1%bnO9~8{4Vua34uUaC8|D3rZH>3HBMYSX7d54 zbsfIIPrY#TcqFU7a~UYllHxU6N@>hP<;WPa&5xrInj1jyKvQ=t zcJ1b7sfq1#M`&G_#*Y&M+YJ)#sa!+z1=<~(`mxkJ)Y<4s=ZygzxpK)tnq*5|a@M%D?TqVr zkXOW`;CGX2ms2E7Lx2=doQ!9~!zi}tQX_GU`6BZ`+@&B=nRI5FNyTVQRj8~!D&!yy z!A(D7pP?w`=%G^go3x2mJnhq=hm3r-B`p#1jTctXDO(YPl$7DddoikHFE(L_ws0mdx0^p z`YaR3=Ejo5i5nS8F=(=Dkej%WLGohoQMchPV%UbAgh}4V9j2s0q)C~mCAa;fMs-Z= zbkA^SV+O+6JzGRMsGQOLGwLTu00DF-APjPNBzAR@rrq0RIdo<<$u3_QPv1{UzWw&u z#B{}NCd@A&hbK2$g%_T=zNa_7v0W?h(@5XF}drOF~UvN*+1jylHo zIeNf@T|xojjiC1oRtNK?aVj}orF486hQXXINa3+1+@bpeCFi%uR+g=CQpCHrWVjn3 zTFo%YE*xn$rWyxeEDZ*M<+z0L{_7CafEhlcVq7YF#w$h_4A5&tn|{Iyqq_3?kK}LV z>ulscbKeG1EBd?u``6KF`mrdw7`4`7nDU&}_8lx9TIaLjzuj%roZRDn@-h*^0X%zI zyKsBkRXxr_GIHF6n#68ozlcsn4kZ?`~TMhXdPH z^Nv>}M9ANF=#)suVYN(@!g_>FC|*fvtm0Tmj@9=$t-f-$mm4rkC?H5&m1olbV57&B zI85oO@Kl)7ki(^o%-dO3-VWBq_RN4%$P{8W3JflweG6_G+G_6 z#utp7;gwgluNLh9+!8IVA$zt>>_=Cda6OBQ3}#@mvi)F-=;~ovx0HaN6oUbq)Nt(i zs0Xv2f+R1-tF2qU&ZJbM20c-gX>Nc+Q-5Fu>szeLrRI^G*-E9JiCDe3#0+PW_~V)4 z;5>T?#xqw2JZ722VaBsFotrXq@v0gav%aQefPYB6{ykhu@RzrdwOq>WF&5s%SWY%}z$s(XgeZoj zEVx0s!4{?5wWBe*Tmb>@eJ8yoP3>!22FF_lYnjIE%7wiBbV*{qC{8Z%jV`H`pcyP6 zFg_xDYoSxOBivLsVww%so1bsp`vp@(t9P3~ItP3Nz2 zPc664)cg0YRi(hs(Bk?jJqdLKq%a0X5|kIRu<6?c$EBsu3|nM}G+iODiSfel=Bg%f($>w6Uu&Xr>I*99cfZ(&Cza+ChmRT5kdc zpO9TPRXMb?LSE}%rkSVUp=-98HtvLG_qDAUqW3lk;$OI+FbeDBYAW-)mh@b#<#L2+ z;RPA4twhFj_eM0c#E(Tw0$1ZOXa)M~)^hdBHvI46kb`6K6x}nQcw3v^6=RbKD;!7y z6u@dXxw*0v%~h2q14F({L>gg+%s>LP$3)Dpl4_{JHG#G?!rmJ1HPz)%(=UP3OFgfw z@)e_e2%8u_B*7}kr3)~(#w-bENxI~lcWp1GKETZ_7~+SqvSW@#{`5dOoFREhfU_Er zJu*#y099ekU~N@|M$^J-;hY;_vjMAm07F^CyQf- z^+iYXDc#`=X3?%@BZWrZc2%P2RuC)mG(UCx82CDhvm)jZNty^qp9y+zr;sIw{(@dU z%2Uc@g`8F&OSeLlmf_SIs-FaC3XP7#(gyXDCG%0UPxq>oA0PhO|D zBB)4#nzvV_QW!Mu-Z!rA6o>-!>%<2_HPfnZs*YvsVx6RmHyE|N#^aY4PIex>72BwT zTg0xd!7rDh)UVIO@CBeyCCSrlnBdB6I}_E1#y{zAL8H`3U+WqS;sD}i)8Kl9r|`kS zmtH7bxwQEumw9xM$qXqtyON7HHcu5AC?w0{xHe}k6n8D##>$+L2FnLj9v?hP28lmF zdI0eho3OF~c<8kqR)c*+53kKio4XV@qLc8TOn4GAF#FvdqN+#gKzi1i{&AyST7F7YLC1KlHI{E(3#|arl4hieV{vjeCw4a;pu{W@uFxINQnTQ{~a(dHMr+F9{sz>zjos(Cfq2>Tl7-?LFw@Hr98`(tR z(V8R%0zxAC8WV|>2_`~9jsz+AdK>W|lQuX$3^E6474iMvSZC_9>icO2K^`*3KjJVHUT~W=&k`tryV4fQrvvjv@)tt9c4D zD%?!vDLq2&(>9CwU^0ca^;Tsf4<*L#@KcvRnele2fn$GQ*{HwpLQ6SA2zHKs$hTHa z0hYNK@%lLzx1A&qCf@Dq=b+r_Ah+kuSYB08uqhG){Gxy(A0lRS8t&Ck43 z20O1Do7@p}N9(|)%jj5~@je*lBMXJ|$`-rrgBYxnfQTWux;mfa!Zd7qhqotI0Jm8Z z7%deDvX<#BCLYR=fVtC|&RRvo_LtoQLoB4%XOYv7dlQi*A3V~pA|n`sCV(Gef5?d8 z9?ZSr|1Oy>y^K_FMsKR&su1Zk3RZ|>&}1g8;^hdyFeD}XBXu-^=S-Xw7nb;F2%9%y zI2JG^w?Eex95X$(*5S+M955r}v|}b^VfBTI+`qOet^ECfW(!?^qst`*)Nt&6BJ_ik68BM??BmvM}p~n%ewLT!J96eej;C1 z`r!nvMPyte2xaHSN9Yg&WASqQHegplWVX*jpbgPaB8Lhv9(}~BGz|nc(oyfcbQwt^ zLI@5lCU)cTqQp424Q(94xzd7|YGx~fz6S{yG*HXzt%;Nx5*I4;rhW)py0$*>$bpWz zDJ%Wo1hbJxKIQgxRI7aJ3iVAPibBU&H1NZPzjhBmK(q0mT@eZs@Er*$U2yhV-DM(j8vsBU*-&@MlxFzbrz2ULuMxWH~CT->|!+LG*b0Zw|5f#W&+O`we)SAIIe zHC(^|9z~Aax4UCg)aEt;ILNz}9BQ@Bi!#2FuzXUIy1JCBMR!X8ER93OvBBiLUhZ(z zQT_pLxw20&SIN4|OoM1$L|Nf3qApfCCVS^#!%8sH8J) z;|sUyJIWkW=T(#=f@DVGi_VonKRROA5VS9FU1`CphCKr&4<8TRvl7X_7Q~ia9{O>V z(Yg~?7TcUo)-+k_p%p5vvCbXVt+aD($j(#Z7V@{T53#-xz!^|#y4)ILW2B6*EQmFE z(@S5T$cMO|a5n@UtV3HWQjX(xfgTbr0KG zmY!M?Ut^OS^*J}*QoliqUP#D-%ngB@J5D+w42m$3)-iJm52Mo8Gd_w9JnWdL5rFyzK8Gu~Fjs&jF9Y`Z?J zjjf^X>Lg(GAO*+SQM3N-n`okICNvTyZ+N`z>Y%6)eA6~EW7M2GGP=l0{*a97081F` zG%MAKhjq8%c68{SpBCki{XwT6|acB<0^u6kSl6c}SXuQB}cc%Ip zPr{ZLF2Ks<<7GcR9sSx4%KP%A5oAUvr%-_dE#)K6xzn|Z{GE+GVj8V$sB(+B-i_Kl z9IdQDr$7bmb7g!~>;is>w6uEf87yXYTbh#2Z|lS68{5*allMO&xGY5It5!z|9keO( zI{<@4Xz2agr-TK~-i|SbFPq^ap=cQsT7KiZOCe%Jl-0u&=72_|+8Lk>@%O94oi}f2 z?5gbQ&w$<@HY(cW+u`O$<2Y&5d3`8QCj^_XiS@t>DddpqQM4csH!0+E*=eV)YegR! z{~aFk9@2pz?)k#TL(HmA348=(>46Xm#d%PqJLtnAsAE$0N^|L<*(THKOnmhY^sDM zGvNDYufGGuL*PR9@B+wP1KSCLWM!^HNPWi(M%I&J!cdUh! zIW&#N^=>eQ-iWcn^L^G4M5*hFOUOG&rmfoc<>};NkJ7tv%a9iGK_vV(upR50&_*4o z)U3Y{ho1p$f1teohF=iW*YBYX|Ak?{ged=tW4{NyvHT0#?T?QCyW+qO0y04YuOQ;U z@t?!d-gl`HXan*AVa_p_wWF_Z7!6^k?stg{bR<~*HAd%2Vw zW-PPPqmC$VI|dVzD>rgVKYQ|E;?-`-T!MX(qtt*+>1sYDFIBdWQDqR*Z6Q9xE%ZQ) zpxrM7=?`e%&oK7C;q?EUApHv@@IMwLCLky4cfIoe1nGajAQ8vmA(>E_BdmI-j;=fz z7!&*j6qe;@jO4%7NdFw1#quvez5iG~Sb)rs_s;)P49ed~|F87P{k!s?Uniiy#0FVL zF{5?}pgeGI?O?1c@x*=gN)8D@L=wMV*i=}w^A0&ZS4e1b4~s4mMQr|R21?twfz#0$ zZc0(6w0xh!(mX?CTIZS*wvd2UM}5Q%@U`v&6K3lUu`-Y6OSEX2j|gk9AR4S(!OP(3 z5_ZCK7wdww@rRfR|Aznq|E#|c zVf(YepA{@W6GEbZzZ0?mey;zC@TZFV5ZgaHgkY1u6SDmvgw+2;_)`T31cm%3;XSJP zJ0&FX=QANKej@$31~Sb*iGQ0V^AEE7%0KD8m;VSDWc>jhLi#<}S5D6XayOF|665cQ z?|4kDZKvp0WjuI@=ze)=055x2S?7aV+@^=ROJoo=S^ZsG`eqUf_2+aPw49NeU1p&UZ zMjq)W8TnzA{a6Ty8v3^@5g5m7)yaes=$zqa51)|Z)eJ8fWFZ(8Ln^A5`z8KsZ~^@c z&Zh_P5yl7ZtQQmk$av>3y|2Z*P*5Jk!tXwsr#^os3;&{ZdjQJpp)7bQTUx*fQ(BGd zVJ?}SM)$-^&(6}#6UB5=Y%e9vT`txgl&lGlTw40IQt76&PfO{Q|mTvR>_5Uk-Q zsoSk~27DRtMW2K%L0Y)02xBSpVHy*zP=iGL-+N5=Wj}$W@70N%u)=+?@Nb*?57;yW$)|O{0q=YMy#{hE!S5aX z@m9L07K8X%koe=@oH0v?jr;qx2V#~i0Omh1fR?O)?{R;S7zHs)Ho$lP>U$b;5y9_K z3}TiX00_eS_kK7bHx_(Pe;>lVev<(kn(BSO#{p6fx#56|4Zz6?f^2+YJ8PTo(P>p&de@_|vn~6R?q_*k zrlS=*j$tS0t|DGUUMxhY!2^#5Y2310+sD=>5iEB^;MLdS<4wKHuTe6x0~w~+`Lq_w z4HJ|-9bC;l?l9)2tH_D;dQo|&1Z*1&=?YF{GN7(nEVJVH76?3$g)<{UM-oPJ=550; zF~>CwULe(=+haAlygq73SaZGPB)wQ^=zGly1(>tb!nGw$jclrKNI{rj>de#6Dy)3wJGdH@U@byU_j!Q223v40Wtb~; zQuQpomxk)%#<2Yeu5b$OKoI;QPCsFTnU-`cTtk@sV7oM*`v8xr5{5#RtrbhXsiC`A zL##rra^-eKQ|v?2+XC&#RCmY~Ocs5D;&Hw@EC*-!UnB+-JqCS|Wi%)Y>)w-|qy`?J zY!z!38<--w9bxEHla=*J_3v~=x*W!Mbg7i~(RJn-I<52_Ftk`m+*U8Ur(&;mydiZ8 z^#O@e^gs8Q2x|&sp-suC4>&I{*Z2#XzbZ8N4I_2%%&bBC5l}#$1piYq33wyqx=&-pZ86J(NlpAd7e09RAZ|$C_oX#ml(;v+; zOFsJIi4@=VJb814bgjK@RI6T72ktT<|2JHNx18BT;UmXajSjawiY$5se; zRaMV!fD&GjXAaAY-cm}qcH{PBYZeI=c=9a1(Cql60Y*tBYl=#;BN?3~rIi!lOpphR#5jO-`Q7fUK1p}i1A7X%n~ zP-W4ycErbmk(THV9A7wjf_&Yf#NND}%;>1d>h3X=c@=l^UJ|J+Mm(E-moYlv1zOR^ zExRH&AI(CKH#89<-CO~0Hi8NKt_rvb*wRZm@*BjJ(Z%f4D;g9CzxEatgGHHoM!O=q z_G}|VxcqejuYvb5dXV7J{u#M}zFab@Xb!KUT}ik-*_$}vEiZ(7$i^wx?u!~hNR|!LqfWs2 zwp~C+@cFa%;e@QpBf!b*{J@3fBLDM9J=KiGDfLMkM{J93)(?Gt35`z7EnE8!9(5?8 zzk^?4t{Yd`4n5p(Y~DO;1p0z z#hE2RiqW#=qg}+td^9FS--OsD(C}N@WD|Ph|!v7~Dq+M135{ z*^xeefPVdU-{^Yex|_^ctroLt`(|YRZI$svF?`{?m!SW3IR=hwx@qRJ7W!narD!^D&Y1~mRiRs3tq0g`m*8d|TM&g#-_7@=Q%udGmhu zwtM0Y#@`Q0+SP6z^Is5ij2x&1_vJp0wC0@rf0JKPp1VFwUv=e`)^vZVwQ3Qm-nn{e(##OLLY;(m&4{Pr`W$!PAv(@(E!L>8VruUgmxhvA)> z0z4)KbS@I8oe+!M1O+ugpl8YgYiZ!9PC!v+8K~U@s>Or!eG-dHe1Ye*q-Cb2Xt-Dz z0ncbKumBz;3p_u`)Ibwh=Oe0p6T~PDtPSRz2t4~KKONKp2094ZP|y#^OifM&pGRZ@ zZU7-W2QexDYN4bif)1|I06I*;T+c|)*gz9#R8f9PX)^GPTU24N;>`R!7m(W#F10W+ zG%zR)0!Yia~KhzA7VVQOG%1U#P$ zUCh)RQ=J)TED24or5T33<_4hcm8j~>4Gl5eY;FunmT2ls3^4VY8DNC7g#qx4Ff_fu z_AZ8bmZp~I_8OX*fZFjW_8OX*nxgyH&TSTmbb7&JF+o literal 0 HcmV?d00001