From 921dd502e38d690ab88c16f95078143f85b1d30c Mon Sep 17 00:00:00 2001 From: Amaury JOLY Date: Mon, 26 Jan 2026 12:54:25 +0100 Subject: [PATCH] typo --- Recherche/BFT-ARBover/5_BFT_ARB/index.tex | 8 ++++---- Recherche/BFT-ARBover/main.pdf | Bin 473663 -> 473565 bytes 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/Recherche/BFT-ARBover/5_BFT_ARB/index.tex b/Recherche/BFT-ARBover/5_BFT_ARB/index.tex index 651bcae..d5b79e6 100644 --- a/Recherche/BFT-ARBover/5_BFT_ARB/index.tex +++ b/Recherche/BFT-ARBover/5_BFT_ARB/index.tex @@ -237,14 +237,14 @@ Each process $p_i$ maintains the following local variables: \If{$|\resolved[r]| < n - f$} \State \Return $\bot$ \EndIf - \State $W[r] \gets \{j: (j, \PROVEtrace(r)) \in \bigcup_{k \in \Pi} Y[k].\BFTREAD()\}$ + \State $W[r] \gets \{j: |\{k: (k, \PROVEtrace(r)) \in Y[j].\BFTREAD()\}| \geq t+1\}$ \If{$\exists j \in W[r],\ \prop[r][j] = \bot$} \State \Return $\bot$ \EndIf - \State $M_r \gets \bigcup_{j \in W[r]} \prop[r][j]$ - \State $m \gets \ordered(M_r \setminus \delivered)[0]$ \Comment{Set $m$ as the smaller message not already delivered} + \State $M \gets \bigcup_{j \in W[r]} \prop[r][j]$ + \State $m \gets \ordered(M \setminus \delivered)[0]$ \Comment{Set $m$ as the smaller message not already delivered} \State $\delivered \leftarrow \delivered \cup \{m\}$ - \If{$M_r \setminus \delivered = \emptyset$} \Comment{Check if all messages from round $r$ have been delivered} + \If{$M \setminus \delivered = \emptyset$} \Comment{Check if all messages from round $r$ have been delivered} \State $\texttt{last\_delivered} \gets \texttt{last\_delivered} + 1$ \EndIf \State \textbf{return} $m$ diff --git a/Recherche/BFT-ARBover/main.pdf b/Recherche/BFT-ARBover/main.pdf index 55f78bee2fdc353fca269483eacd678b34a0f539..ebc77eb0085af261f9ad50783d8fd21038cc45f3 100644 GIT binary patch delta 9805 zcmajEWl$VS6YtHUiwAdicXxM};O_1Yi@OtoySptCbb%njo#1w`0Kwhvc}~?^@BMZ^ z{JW;7=GWadGgVVHJ#a_7bxWK|2jIxiK&Nj}FGu67`uJ#@6(hZ6j?`53Ck*8uUaa6A zk&n^wpm{qO(0oC1%F<+hh4kBC5V*PwJfk0*$Y<>V5wP0$(GgI%gdbPQ-X8TIGn>Mo zju>W(o_z6dO@7?oiqO1W45+`LEI^OQk5icVQ7=zUHhsWVz;J>yFl4dXqKJS9Y!%Nz zL^{4_FI|xv|ohYurSZKGB5aLmG+~hmK{8r4p zYg2}Ip9v(zy+m*c1;>0UEW$nL(>{A8Yo6)f&AZb5z~>Nr3&G>X++q9UhnuI>XvxE9 zN#WRyPOL$>`QfWLklPxsS*!pfrYwu=mk)vtH{nRkFyF_@;B>>wP)BEI^Kk3M;Yw31 z6CH(JolVG=p&%NRMoFxVzSWEH#=@_#|v zJfnLsxhvlu*|zncS01(r{aXI4ca~sJQehtvwJ1t@d_G+Q{exwgBq1Uix!SxXNX`47 z0OUXU_W#k|IUE?=vEkdFQZ>!!Iw-pUP24c`nd|j{FwjzL=W2WTk=Wt$F=SR4A-?6G z@!Lpf$i*id%J#JKfAmEyD+*W1=_^s6qu6(o1NDbfuH0dB)K$WU*fVa;^zKiLF;~dK z0X|z;NyxFVJn>%n2SWc7<@JBCdFL<&Tejb)T z;v7Lfv_<{qBs?KxZ1)r3Y(|FuA87My7M=Cm=UdFqRnw$jZ6faaEKQXZOorKVeWsG^+lqAntw(nKR~+Z0Isx zlx^MGZNi(10fzAHd1>wE=bdug)f1f}DC$tXH-Reu&rZ3&SJ0g)u74vA2o}tG zCjc-41Tw-*7(j-Go*P{_A+t?$R6I$|U8cNSr_@_r1*$%L-n|>A{5fb;lN?&cz3J!t z@Ao1IqgR|*CBg>W-flS0!>T(-t4JToYbk|G{0Cu<*}%8Yrjej! zY82Vj7y+|FHkw}w299Pldp;6_B71OR_}|l$R7f;NWTAtuUd$g@8QEzLcH2UHpBU+O%{;3;n0ra zv9=kMPmYm1Lu6?aIs9dPkT^MJ5N~;9@&P(&9S1}v(VaeT5y*qg*Z2-$VheE%$WtL( zoeFJeo*{0}wA*gQv|5yr)wE75*B5E~&Yr5k?e(J`&*Whp>i8SIv*mh0M5Xt_)MOGl zE{b5O%*FA2II?8loF1DW(cJ>BKa~lM>YM8U=zIi;>9{yS8G?NP`^qR zDl|~|in;mVPjiZRy=Z)rA<6fpKt?Zzhg(EGUJ<^<5ulsWJ2wfPED7;X7&|4Nv$%Q=|yGURRZgwH2;fjOK5n+Vje`;J?m>m5DXyV^z! z_as5)uqYU{-1DYh6E3DB6z_0B z>aR%(S2o&K#P@OcxRZu4midj+o=%xw1P0=)0G!6?1%7SpR9+ry;p-B@nIn(+=%jr;c~ys=ZzeuTBMIvJee~LcC6eDS@8vEaRl@4*gMg2rld- znX}1rYchC%cP}du$G9#QL#dAxnsdw=H}vMBs^7!?Z1_l~EHGZ$M>2Zfn=(gD zI2K3k4|;vLPmyXSJ>v=`0byL5sUWQ7hA0LCb;Tz zg`oK{=WThaVdt*UnqUg!SRu>=SHE_>HIIr3;1%?Hr^HPy#r^V+r54fce@K2~V6~ZC zUa5kg$EOO~nCh4v3z=bCeqa<~5q%U$3Ry&ss&ZuBzKeTUbyz?%2JwZjw;(H;(hN2+ z{FB%1A%wga<%lt)1kz_kO|$E20EDO(V==3p1BdE71{FiHnqFxe#{A44j>Eo8Igu0@ zOm?XSjZdiWADCql-slHLCRX6<_S#ZX1r2AsNr}p(_OOKt!$MM_VjKI4FEx?7(W{^U zQL#W1l<_1(dN!d9P%(PgrYbug!0vt_VOJGiz>OqVyrD$&*vSM(B;>(^zMV;xI05fn z`1db7vYX-DCdJ+^RNoiezmW4{pJY5Vmxjd~(bdFz7O|R;1MeSAAHvnU$@CQuIbI_+ z%UQkDe&sx@l$(>r8fmt|4g%%lulbBOv=cUGy|_|H=fhXOL88$Ml$A)1mYw}XxpMf` z4o1F(CH1fb@SLRI47^?MD2sE}Xjcz8;3D6YWkX}dSdMSEA&5BjVX-(WFMVt@JJeRQ z;(m-^9%pBXqyj|xcVbERB^r%lMe#}6uF>z;EHKQ`vevA1#HQnLs%nkkMOG7l{DO)4pOU8%-KToHTN9? zBs~}-sohS_N$>uG_Y<68?!qDscr$#XBqQXfG9tCJjrDBy)%4ZS5?U7>=@%hE)_sfo zY%Zb%k-%XHGGC5i={^<4?@mL#b_5L&WdJk{prFryf2YmVaEKwf*^KA@&|C=7?BX92 z@m0E+J~1QBWs-Uu6%-B(`1hy2$i(i1k}?6i!<~s9!CD&HdFqugoO7fEsV?YfMza$6 znn-^U3AAqykWlZCzdyNTbyXftS9WfiO@!5h{Dqgwe3V#PmPk4b855_x^x!atDmn;m z3;0KiUD7$IV1kKvR(VN|xVG}`j^WV@v$N~J2SN~ZN%xJy_lhY=k3UIQ1`}wpX`Km3 z!trX%IOf?+z~o$gd|ERa4b|7B&R3M1ao43da%(UKl;08-NUf0`5LHUZ*hyP+XdpbG z{KV&z9ftj3c2z`Z3_ikJb!nvGBuBZSw zpuap^4oDxK@f@mg@Y+8Ijs5W{@baA~`S0)cN<0op1eQHqUr++&4#m+Ug!(oArsVln zgh_c_z!AZ~Yy|)Nh$dNIHOI$A3tnKRQUW`LG$th$iF7dCiWW&a&)3uiNYv9TMu$`E zdfhrM@7LN)i?%Ll-3FwVh53wyg+9gQKzLVFvZ$eDWo#ewaBl?c*aEpJ+aj-?w!qUv zt7g7AF3C^|ur2HqG&=Fn-puH{)7?N0Wa{1A#neh~6K~xa5vJcH@tp~%K7`t*3N^lO zE!_9JP3X}yDr(v94 zo-@Tj^sqL^|M~i zN>2=ybpfENW;O{S#2!ym4S=!s3#!zFRtIwzu^>Cc;vaC1;E^ncXNEW4rq!6Fi&tLj z>A#(6nLCC;o%0HBanX{pAPb7JSPY)g+^oEdoyt16etwU%6w}L^^5-n*6LVxJ9CpCy zp@Ej^)Y0;V)BByL?+dWt$6${w`{i8y2l;YBnN79xt$IHxyVS50Dniqu_k#a=vQEp) z_yR6jD|gW%_m^BTlv~@y%&Wh43nmW{weyt>E8`yT;k(D>bKR0JAfdW0- zsUJN4E@U?AdCNhz>uTn>pK!{)Id6_O?fG~q?E5ZLwrHv7zg!9X@|>mkXZn}m&{-DY zNYc#>$+<5renOpMbXG5$RPv?1PUo?Jb(2_&ACh~hRv1`TN>mzgJ7>}!T`MuuPKuz1YT5zyFNLyHH&8u!d#}BurtK(ha*N*LM_-C=Ec@s~6}IqSDSp$0y1>8;n6fn1 zJqH4uR=uTSDU4#yX7|c3oOujmi1Iy*$tZ1sz7!%RQP|beUGGGS10-$X7RXtf*n{il>Y31Cb&l_Rfn}FQtofd1Fv3;TA`>w_$5GuE%z@J z;{@o``>A$E-DSlHtQjN0ze`}5zq^-;(Ic_q77c|wT1cJV3sh>5n^ULJEDk~=)!$_} z1ZXH8|8(*XZoEMbgvtWqJfC{=OPam0lQq&N_$xwjX&On^EGb7zd-^r`D}UuM(1UgP zB6liQ>Idz2wiW6aC9U!kL`8!Mjpt7%Kbgf(aHdYpjmK=6M{lyuNRy5By-qA9Va=&E zUQVU!(0giurK5RDbX&DDCwX#6U2(8o4wo@h{&QdEHjHdbC{}xS+@3IS=D^DPm74Wq znO?T5cAlDaG^448lSJ8`E>CD=4m6*ik!c^HA-rsr@dZZA87V*%v`&2q;fyt-j%5d7 zs)BWRn8o8b)r^qUJVtd=DQk_PBxqZ^OacplT_&_FJn$HJfG}w*aB2i@nB=PkUFRQ_ z{aq9+{A>DgveSb^Y=NH1@7KM)K3$4sHQ)gRQ5!`j)-mPAWqqR^bJcmom~73MbGUAu zwO7>$E_!ZgEc$j3!$s?BD!p0i5&?`zC(|uz6&&d|T^z(}9oMi$Xq{lca{XzRv%r)e zp06ZX#jb8{Nl`lT?1Q`p*lxoJKHtQn^)a|h#2{=R9o2dNswdrFpKLT?)$p%lB+wv%$!Wn zVZF0v?>9ayb%@Ybc~d6$(1IeNDp*BhSmagC5$ zsBBD+G#E*!j%2KFCgyF!1v}(zbaW;leZyw_2{Q`DwXPglJa$qd8<<=VnJJGeJ9bqn z5|uK{UG1#UAwk;dTCMF?c{b2 zTA9oidF+$(qPgvieH+&S#(pD#t1FNlWaDvTxgbxo4N#+ zYmr3@&EtpE|Ke%QH$|OcQI_H&INcZeX$E#ozkep#>U~uY_LQVclkB@JRC$nWFkO1Q zdq$-Cc%Xz?y`B&w&wk!WkFZ|PS{ly;MPGaHW~*M*Dce}~8lj1fou)rqWPS){(_Wk1 z`M!)G*}OHKT32?|)`PKXC%8M<>=z9&Ubd|?3>ki}DSRMlJVdOu>A?AQB9k4Qg8o5{ zMcvm`#m3)6OXR8|EhxPHr438ILRp^CWlR#1(7x6IpR4k?Tsg>layx+8IXzRc&{+{Q z>&~_1QEum9RT4V14DGN&I`z+XUeY>!>cxjg-Nge=-xl}_;!plSm@_Yqo+4$}>V9Q? zm&%-5thA5;qA6!1<&~N+a>@{S%GHw~XS&?ZlD+|t+>bY;5~%|7v>(}vu`u-$rSCA- z97q_;!4 z&9j}gRA;x&AW1+c2G{D|ht!wWlrzET9)S_lnA;t8-bcS;uW#004y}@%u|00wj|KRE z4g&Njddp!6DDumxfv}iL(-=Gw_;KS_ia;D|?jju`ucbFeR3Ullf$d8FwdRq6G= zL;5|FF${zFSz;T@943uq4zG}jwXHGlzTex-@2j&|wUZMAx6L(gDN3&g!&^Rp3DAv- z5ARchMl6Z#f#K0vPfxq^Yp+1N$GP&uyMTEY3x+vRusajq`c09QVX(kt%NnRRlE+xD zanm)gc(Z7Qv^a3h7CKsnNB{e8jF;&KH@XV7gNIb@R%)p_Ifsw40cE2O2aP=E>8iM< zrCT|E?9J1P5_`M$Va&NsDSuXYEYp$hB9IYYjpWIzh z#%078xcPZEJ6O}}l2uNpgklv15g5ImXgc^-)R`SJgmY#k7#qJ}O1^O-V}j;fC%$Cu zjp)cr;!Aqhrooo|*g1~Vhb^bk! z@vr2(D}(kjeY1R4jK3mP!V@QS_p9)e-{IuG zI$_uM;(tp(hKwiQ82o~OGs5iCB_MK7MvYrNt2!bZjgAS>#96qCd>yN!ohB?chDD^x z&jhXFI}QR7*(WasqIj5b-`Hasa+IR6FO@lZx(!xW6PCxC|9H2(On~6r=`bU8V`F8z z(TF|N$7pPV+M9#+Wya;tXlZ6zPevv;xS?qprg;`ft`uakpjepu?pH3@`P1Jkb!asi zoav-ncLZlKFh#Pv$WO?@_hC7Xuu6Wf`ER?<;RN(oDNWKSnlljo1?|LASg&l1P-7?! z|Hx|Z``6)8G}t+TYY^IAn|Pj=A$tX`LT6HiIuL71ce);}baNK>{&<9T+yhmkQ_t90 zP3sI!GRZj!3O!ZV3u0Q(aX?A`$$QKf(tz$VOfBbo z3*8WxzXWD3B2rJX67#}jA@oqCh`2b%&l9(OXb+XrUH%}28qhO?8*^FNsq13PFE8%k z&eFI#&MWk!NG5wI6ZvYX9qq|Olv2cm^cI)yv)m+Po!o0+F@uF7Nr{|bb+d>|y^eqG zEl(zL^{c3dZ|XD@g4L+Cd_H$I?nMPW2Kc;Q?!?1<4JpV(1s0CdP%W}T;Of|ch-hN} z3tXjHTP*w$1oS?4X_V6b$|VSPcZHQBV;QrkiN3`rINE^?MNlmMwgq}4eqviRFZAqZWq^F5ccHX4#f6$5 z3Mr@~6C$hLzFhSSyTDdkt?f<5KI~e;m(zdCnlk_#1K6^<3<32RUy{#ptTaJS05Oqz z;(?u~rcQ4o01*J>2Rox2Mjy$N2cOnk9O;`vm+gW3!HaaN3m{y?IlbatPdpd6?fFT3 z?3)OkT*>Z-&_`Ij8h$po&2Vl~>0j!L_6LSB04;Q5UjBkD%;`muCOKF)AScK6a@!&> z{6~*)`Nd&#&n7`D|3kR?r@2#SF}lvj?_s^n-&egRDUTu`pKq0IfeJA16kI{$7jLak z9+uj}3~}Y(e-S3%t+-Vw$hivmGjiSgIUeUP%m38Zmec+#*m%(D?UC4cw!HjMVse?Ni(oZ;tf#yxZQ5H7C^tN$_Hiy4_G5EXe&j)%7 z*Cl9Sd*^SPRV&bW((bC{WxgY%H|&-mS-V(ydU;rzJO6LwYTx0{L`ljs2W zSJ3|o=3l}7E4a=?2l$Oa1YQmf9xfifEEi@3-2cz%OkhTU2Ws%~^2kU^a&vI=aC1v> z^2^9b$x2DF%SZ`uaP#u;@^gri3;#ct7$dPMTf5kL*^zT_^8c?B52E?5U{|1nJ$C8O z=6{;XYrjbA>>@~QA5F_9bzGjLa=fOhuqZ$h9*gr6L)yidUsJ=aCcy>UNN+Ph94{PM zV^9$fR|ZcrKqEdrJ{-9uWMCkV>^R@|^8K&x=VxF)o+R*5X>i|~U5h+Q6WBgDwB#DU zg4-^fH!hCoRL+}F4MK5%&^mZaw--apRx>Q1=W@uZNP$m?ub_AuIPsPu8kWFs!t7*D zRh1;%p|Z^}xg8x)%&;*v_KzxN8URqLZytp)N^VU-g-;F`j=99AaGhqMqBwJ%yFH;C z1MIGgObFcuUK3N|t=AaIW z_Rb~rz8BAo{}Sf+RGpc~Z>W`UG~^U?N20D7_X6}5&I$hLTOKnih`A{Am!+1%vb?hI zO>I{b83qp6#r>`TOY!IpB{0q|?HG4I!U=-YQT8Opwm0<#OYb`vR|M)R)zL8~%!KUz zy*di?2%6`w-_Hc)MQRr<}$NSO#FuVSAw7 z85e#~Hqb06QEo9W4DU<00rTNwrfE086Bus9%1|P2u-VWzgAC+pv)RT^rb_*+*Tlfx zR}3~is)7U!wF2U69E6!Z`j#ukViBon}d^Hf;{>Fh*)yRrx)LqOgn zpm)n!SNn>*dB%8kb_N&nSq3qsLw>t82?NQ6FGp#?ITW(6pEW?=li}FCnQTA=>?i)z zlBL^NO^s(8q;Zs)$qpul6TopH*y6C37dv>rH{o8k{PlT4uZUEM&cYQ$AVXs3dwut||IHNeEUJ}Qo{dHorAKUc0Y8CM3sUJx4z17dK0jQ#pl z@ie?326z2!U*%ay$)|ed;en$0_0AX^fMgqNMz@2*F8uXqcUSujzDSa*LMFtQ)&KY5Ksd+&i_L`N543UUVXjVI7Y?0|3oLrk8e zA%y4r-{9+UXyviExZYl{ox;yYirpkRQ}Rb75jP|mAuyjLrXK_AuV~xV`(FwcDf<=V z8hzd_Zr9 zzMD|uhR|yy)4a+9bPC@PJS~ew{zbtA5cn^9^%gQRI1n0tC?(v=D%US+DzvWfM;GGW zPyExz&ciF=gV3TI7$Y+{95Njd(I+K|2bz5Yy!}jHu3yo@CE=ub4kY5mTW3G=Cd|^P zGUs8^p#I#34ccT|dG%80%&d!1&yzKc=5!_k@cyrR7w2E^ zxTv>Z2GchleQ@i+7PRS6!D@5PdV_js#qQ1Wb@dTf?HsQA1JTtFs* z%~%Akg!AE?pP&FtnlaV?*r#P|7!c~iC$f&uqNzsPs&|Kw%-(lY-{x(k4N8(YW?vHd z0})aw2E9=+ZiV*6w@?^vMLUIQZvP{jHuvJP4|%_RUKw+WWwK2+=_%X_J-)Xyr&x!e zP#*#=9a2VW$=&Zg&0X6EOXTK)2?A_n%Zfm)@ZQxc@if4O+^(W?g`HFOoX3c;FIzefd(bj!;J;n} ztdD*>B=Oq3RQdLbHj?j6B+Eb7DSv%%f6z(TQN`Gt0RV6kbJP5KV@(%#(jGDLb{+PB z)`B#we+%t$MJb;33_|m7Mj-QQXrxN~bDTMd9dJT#NW;Jek+fG50MkEtP!k|CLdk5M zU_-Zlf#D+RHrzsgYYz+L+FW93+Oq`LSkV~3#JUL?M;8ip+cyh;J4n>`R3U{H?L?E< zO;R!EW9`)>(^Dn5cl@`dAV?tvaq#S>}8H*-xfNoqz*ZlHUc^BZ}$}14?a`kj6g<|xJncW)3+1#&v z9}gVzUb+t1I3>4S&(HcsiZG>M4gh>r*EWSSEhfC%~nYX@s3ni!$1MFm}5pvN+@sJ*+WfoA%w zvQHge_%FN;@S#FYY_~~|HPnEYkCFi;Y|+PjG|pKppS)tzTkLmflTj0q&1}^@%5+K` zA*@`t#pM*Y`qzEOp#yJ#0R*9`NAUBkR)Nom!WU&C68RL)uMxghtfo}SC?2g9sO(Tb zhafkFZ%v#hxjuEc?VK1zA|q`B|iJM{s^f>Xd%>RSExC87Q(jP`t2}?TlmR zS837Ef-Qclfk-@0uuVPECwYUdpKYaTAX{#-bFV~h>$nGV?r0m`9O)PK9`%$;wdn0R zFB?OetO3!95DLl7lt~nh@}dY5Wp)i3(XH;R$X-^} zHV*G%lVy;+8<4YbAQBpQfLd%S%(7{=V zJ>uFp#{(D~#Ick#ql&fD)5AoM)JCQ!&(uS*t{+`A!YWN2me74ht@Vh`GLg;fIH=0{ zu+?Q8qR{O?MZs4~d=>ygm|Y+z2vpKO=476SKrvdq13HX+R%U{KF;F+#F`E^*`AigF z8O@g!0n4q(XVd@s4ymb%9!NUqmDn{__qGQ=DaSg59E{&P z;Nw+&LpTfzk<{;sbv;x(GfIS{W37hD?a0yi9=p)_>bw7Kiuy|xPWw}P(+(UjDGRXG zfDWKjmTlUz5uM__CAA7S73-j}qN0Ii=$=VA)#pf(rns*^;xO1_Tsz(!cd4sV1fP4P z_Ap6YZp|%F{l&3W!&Pp$ZHAIa_VnwhhZAD4e?Qk;Fxkr^>^2m`%m|3L8uH+5FXx3_ zG**Zbl`BJyrXx_mcxK-a^5M&!WGyk=p@7fYBeormLV07nn?{W%m|HTEp)_WNq8O?@ z7iX6SfX_O;TRf_v?CZY+Ubag&N zs30$8WG1LbTxD>7LmBw1H4H>C=^VFCE5EJa8-|=@3c>T&6-?Nvq6Te}8zBqhLk)v; zxi*r!j|)drtcd9>FS#@xNfCOsg())wj2xeAi0$Jn+StO)#8%WI_#8re2@Tf$5^K8^q!mJ;GdVqojHr zsP6^Ta!mZpWO0mA(6z4G{nzP4}`OstOYXKA)YE~%L%qZ30l?S`x!Fh~?R zE4(M9WbPvv9wPk{q|biCUA>2kKrB62Mhr-!IS|Q~Km|)7UYLnFu1NST=^_T8?0AN> zqQq#ica*OD`GjQ94uf4|Qmnk!?Y! z4_y;_bk9Mg*a4BYl;t$y`a>n2xIIE5U>jFqwb$Y02PHb87iYcHUmxG&rN zLVxa7_9qLRb$YFb!B~UcYyL#65Sz|a5x@HAXhUwASMIXv5mAR{K|JI=X*X9t6{|Wn z%G=7A$Vjzg%>^&@Y%B2nFBIwHfeEHmh0WA?0P_PqwI5QChG~WEXLP$0C9&iE8Uk5E zJYZRv-BO=g6U4n)DW3itSfBYB_Dx*;S*UPjQwe7ccg^H!9HWpN9|5!J+&~Oa(}_2d z3cn%RPiZ~ENN-hLeSyl8XEzs=Q3_`-Q1zvGh#UWoHty9;O#XT1-pm>_+Q;S#{-@K#+P( zFK!ir{S7y4RxPPYy1K={qTuv}LPNl`Z1X-|_=-7^5!F1~B*Z z2_?6J95P{VGpJdO-dVm#%@xi*9!63O@x&KpRxP(|_vb{BLzeD1ip}tA!=NQRsr#@Q81!DAC>uy*6e-CRz~=bA zMQjlKG5Lp)4Q%;GmB@p>$$pIw@m${@EFvm4m6wEg1b-um*0a*b?_T~uJDzd!v-{J$ zL6;vIKxq2mFt%5-W#dX=;;V@*xBpE^Z*Q3R#A~(igWKX+1UA{lw;I73KXulThhJ;9 zIVjMf-iaoLmAOIuOU1^P+zG;ZJ#JGW^7Frb;53sW9It|R*eln_>L>^exb{wTPQ;7K z9l^g>XJMF19Vv8i9$G@=G-}KR>2blC)UB5ug3yI2rpa}^PeJcz=kD&<$RXgfa}64v z*bbIl9*7;`Sx){&p!1FxI0;}{@aeaa<0lVp-eO}E;=~{e2!8>7@nFUdOLuB#UPFWjme(pzO;r) z_zI9@W8RpcSfZSE2kCAEgF$EZpfQ=ZEY#5z%Dp?~i2i{5)l`nzh1gms5TMtRzkr%o z$4`<~696W_X83Z6?p}OVCGaDT&vE2I8S0e1g{L5Dld-&G4?%A8VsQrclkVK}s`3xV zeO_|{p1&8o*SwKYMpM%$!{Q0lK5K3@2l6&|zDbgXs4a-?2oT^+fco`(DHip`sI|qf zdYIMxMfC#%@Uc+4okRnke+k{kFT6H*wPFxa_O?2|kw+5809nOV8qu!5%)3CXp;Xgy zG~OTfovthcCR;HmVSmc2-@s`wyTeOTZgj(M?bnmm<_OZ~{(CCBshG}LRvI&-L3@j5 zUGtbXxSQV9f{)%#{2M-85g%Q6zDKH!(`Un4N-wgDp_GVKYzyVmZgmLAvA3Lw$G0a< zdaJWkZvFw*Gx+Xw+^wl1Ob2q|&`2XneD}f--W(D71JGCmHt%#iF#_MfsDCuDRH~@8 z?M7QF#DGM*f8?QLu5HZig&Q+`}k(2Q1gq-W~L*H--Hn4(x#LRZ5bUwl+zvFRE=IGcD_My|^6so8L7l(fIsl;X@kyfhl4TS~}de zYh@9;)%B5QQ{ZExkXzXJ^2RDe$IC_&`sJu!jd`}o2W*V3lfRkIhFm=pFzvIPpjkUU zG)+iZ$MJoJ11D1y+WzY*air zzmh53j14&*v-=G>E#ZiLgD-AZdgYO1-S4N3YazSN2px{x;fr4zYoZ2O8y|&4rXEIM zbvv`*M0mOM!yV!_m(Cd#^L=^FqGN7Urn5y%`I2kzlrkBi{JRl~@jCUpWze!3qpc)T^n(#xL2N;}6njv! zc=STKl@NE)?~*CADB-R%t9y~^>S{ftme4~%DmR_)SLPjHf_9hF$bPoqBVLY+r@5`R z%ub>%&sDxK;vVUiSJ21hHLZG&mTty{TWZ(h0g(?z;RHj5EiYsWo#gc)W-Nps-;KKK zJ~4>M-R|?<4h*rvVZZ3F;~h19gGbl*M;p5td4LcxsCalt zxmq5T$u}T8R}hbzc5fb8F2nUxsiZT%abNT+jr@J!tH6kubIY_G*w_c$h;UwD&z8=$+4?>PQ+t$uZ6l4-vOHnWEM*lNA3Udny!j zZ|2aO1RLf&a+Llav#DlOWG#*%BVnWmN1{hDktHlr_$Bt;7}4v=T5vc9c205azHmYs zpUT!&mJF_xW<32R6$Ml|<F^5?-@1pTm%ZtipIAdu{>fDNW{YU zE!Zb3hu7Rlv*D|7i4pRl%C>2%vN{n+@;RK79_?KEZh9NycAA?(I=6)Utg3U7%wu+r zx)Xk*m9X=46h9R9{``fi7ZE66rni&J;L)dO%KhpH$_qB8o6Qa{62_A zS&Pm=H6u0n-Tkc=$mGQluMQijVz7wF%?8hwpt7M&a5fBzMcWZ{jB>c~?nLwA zk1DY+oxJe1TVrT;Kk0PP+_-rmbI7arA>T&tD6z9Z?tM*qSTk)im++Y!3cB$_eR$$> zP9*84%*@rp=Di$G(FQKLCFQsebuF)?PDc#U$VaSvtx<0BF{>{2R}0@?G3s1yM&7lg z_&|4OWxf49=UVxpAAFCs!?i0eMjR|2IwR5_3X?ad*;iwStR^dmCZ2WQ^cF;N;~!^} z@Bs)tz%Rar`lCV*_nW=d+DMl+%zY!t)s-jSSzjo|>aRr3u$A2Xj+tA>CmTrf7R_nO z{fGQ*!>nxk3@1*f%lq+v>4my^y9Wk7!eEBst&6xivF9n!VJ_oJMXOt!=8h9rX!Nkg z9K)rVh^`lUmX-%r|INz9t>I*B&)DQ~;(XU`;Ym}iolRb4ylCs~PnFdiOfH0jy(y-r zw_!`C6!azR0VnO&q2&#N*WvKO6!beSHq2z+yc!!d0M#P>mtV=?)U2$Qn!$a148lGb z);X>nBrgVP-P>Sopi3hs~B#&F~m3s%LmE(7`mG z^|KIex@miFON$;r`z&wnI6Qh1BJ45hFbIzT@HLeIGuUqs8_>!ebAT2RXXwdrSRl^GZcMrvRy`uw|r3jv2 znl}l`*c5K9c|66VL9dN@D~zj~;oKs7gM{APe&lj_QTRGIpgOjDMD`Xx?uZxpERGks zY`HawnZ`)14}vYaEV+sDPsScqFDl8xF%)>~>YEtCS(Q~gmAj5f1GqiNm02x@DX%D+ z8W5N#ikP(Y{w|uaFZEX*jZ0LnndWhX%eX;1)NGw{upkaI`l)U$-Tkc@uJn?INwQ#& zW9E=yUAOKtic1OAiVw^z=1qS)88lkZFZ8RL>q$#iGfZ}Q*uHsfY^d1avF zVFXLCM#EtIf#(;90CKsBoT`D*S3$s8KR>RuYN)k8==kw zYd4q_MYUh1A3-FD35_UO5oknkOe@e~MVlFp39a{Y02%zPN8^dlb)L5Hzbpw(IuvDo zjYWrZVQY^3I>eG95~B3C`vKSX5ZmN=rE}v08K2Ez9`+qbez*w~Zl!PIt6x#t;;!M4 zhpyjQ4_tR9X#WICjzSd{Z17>ZD}~fmFzpnPK)@z*&SE|Z9!|dm-AKU;ItXEa;ko$( zJD?7alV)Wd(HUErJWEDk_mRfG_tQPC^Lg(b>A&w*sOlpR6_B}e13rXf?-9CkyuLK+ z;NDCn0cggB5N*Cn;?yM`3r4gH^czQBuXFJH_1CdUk?*HR#Ow>$jW0dJORIw(9gAx$FB22^Wh29#*EK(%dy4|@otq7V>Y)C~IheUT zXtmq+{v-YYUd>Go-}y?k5_10h7G=O_eouoTF58UvBhL8G`}Zv~)CDTW~SKy@g4LlI`^5yJv)?R+Jl(M5-Bbhn@8r?vZvSME&Q!%1E{R^p_9Yz8H zf*QrTFKTgWnQ$ZJG_-VYy9f#;W<|_?cG3EXGcY?|_U&prK!H_(N}}tQV*N4Q6SKT& zeZ{_e3r2>M|4{ogB;HVt|5&mx2%)qIA*k8lX>UFIGdF@Jxv1oe5$Ag)aiviGMV{d) z$L?0fw+~YltnS09RhJse0>s@y`>NsMGU~Sag#b)K(%Kwh90kUDDggAQ7{i6c$RM09 zjQUdvsXRxfpNPsR4Hav50k}u~yqKCXbjhcX+=*fGi#qk#V)lMYnGDmr--qh#kc2tM6i!}(WBs|O<%PiJpBuwz)y3@gFIx(= z@qmZ;@B&AiG<2et(^ybtSuK6J7y$H>^)QiKH}`Y!Kb|vdx;^av_MIC2 zrZN>06qea#RZ{(2QH4Vl$GO4)zE_MZY ztjnHZ)sbujjkaJ!CnL=jbj(tPq~_eB7_zbG2Tzno=ZRSyN7ry8zZy80OX`9Ox(MtE zr@BBbP|C-g<62MXp3N6Uz7_l^DnKXRqHi<<4q;i)MiBUT&I({K{N_4`4;*tsLZP`J zhVN_pu;Y_}$P<8)2loy4R3vp~$!8x@dMEkLx}>w3H6F67*|_v6i|DT1@tQvuFGelM zF{tkjk;Kz2*ApN9=9pLZHA|OYQm=pHK3_!}sw7q`W_~+??A}jzfVODao+vFx&ngj9 zhc=K^Nm1ESNmH%P-`fFJ!JC63H)xapv)`)+IA zXRvW3Yfg?^`!v1&P$6!xFfE;`iMuJ8JqkXD>SchEoI@yUj|ly2h{xPU*HZtVbB1k2Fk$xeje`SN(v;-ze^o$VNf(qokPRRkw2nBlFmVlj(OxdeiJx& zJ<>hRX(oDrCje!dfj*!D_dRHdd8qL90)gT~1*miV{(Cct0e}nuy+_N=fLBA&=f$M) z5l20zP~q5Rd3GR}u7u|{Z9<^dg6ZhlNoSaZGlWOZ~o zKQ2(76jfiEP`ct_Flc$aLu|NEUVbXsF)UzMF=ZO8{;;D~sI|9@Ii+0Ow+O58wdaa| zVk!*<`UuwHl}=i?Ij)M&U;Cd8Ur9+Ie)4}FI!Q@bQyhir?1c%o#atj#v|5v8fr6j? zdGcsMM}lTD2szsK&4=W9oMo`kTG_c5N;B)Vx5AE`m;Ltj^f1#E%Sjt{3j)&OyXBS+ zc*evwB(5zjeg8eA`F)G~%nTW+hU$zDr#gSAjo3vnjKg zc)a_vb@nwFKAU6g?OXon+wYtQ|EAI&=&$_rVWL-Z8sVp3mnX@jZ}&oRDh!40+9>=H z`-SawZ*X5PH;T|K9WC74T`f%={-@_;W`_phYvwQpw4regudMUY{(aLcmJT44<4mbu zA*M0d6>&*biuZfLj!P6@A(p&oj$FZtZ8}eV!)^};H~cHz5=3&?0saC09}xZl@gIQA z9Ck>sZaN4j50?P9fF2_nyRwsol&QNV6cv*CmE%>`Io7*6ub`oLmBs|Ekc?_o?#s zshR{4=MQgp?2`Ee3c*IjSd-JiSOj`VjNe*E35JCSrB=cGef_JYeJJSLJ>hIhaf(sV z(e#4{J>jS_gmmMJAWL_#FJ$>I}kYe<56)f@)=T)? zOa;_5r*MqZj?;5e?Qny+O~IT&A<^b4g4PaKR1leNL3EE^-@@G5WE(_#`1USB^vjqC zdmyX}3#l5IPG9+>DOnC0YbPn&l^&i7%WOxsLDsVroiw_kayY;tMve^rD980t=K!i$ zen98ZC+HVV(@6K@CPjP)#Imd8rgYFUQ(HOGw9jJiG*`U{yXYTzkGKx3LE7M; zL_#^znV1?=8`0MFeyB^;Lswm22*nhOfQdKYZqN^M|0X{`w%bYI#!79Hu%`LVz;r|XN+iJ-T97GOW3Hd&Qp|pM9f0^=m$OmbJ zjEL3$)rRU_T*}~BZcDK{Jy^fxsbQK)6|*?#rwM8LKc!%B5Y6h|@4r*d0$PO%TEZ z?_*giB~ZUhORO`-y-MzL^vzc}zSx_Z7P1q-V7Ewp@5JYnmyLgC>U)pN0oVyO7o+*k zA@tOl>W^-?#n|v?QhPmT9 ztDs-Y_r9>;y;fC#{**d%qJLrO(y)0>j9$fa%Sx_Z5+;cCuaki3N(BGCE(w;G3%mT9hCA`GCKDe|GJN1)m3ko%i*E+qKax z>^hYQTmDJ}iw3e@EUdx*U1z_@^H$pZCx*E&Y_v}Sx+cRf@DNh;S!`P}eg