From 9b12962050891442c180e39bd1840e7dc84fd7fa Mon Sep 17 00:00:00 2001 From: Joao Sousa Date: Wed, 23 Dec 2015 18:23:00 +0000 Subject: [PATCH] Updated './bin' directory --- bin/BFT-SMaRt.jar | Bin 359354 -> 359270 bytes bin/bftsmart/demo/random/RandomClient.class | Bin 2025 -> 1932 bytes bin/bftsmart/demo/random/RandomServer.class | Bin 5451 -> 5416 bytes 3 files changed, 0 insertions(+), 0 deletions(-) diff --git a/bin/BFT-SMaRt.jar b/bin/BFT-SMaRt.jar index 4a9b8a669a3b13758ed11377a35a2ae4fa7b523e..0e04e2cab8c2242c2e6cf4b2f1d5fa2648c370b8 100644 GIT binary patch delta 12240 zcmZuX2Rv5o+s`_-jO>v;v-jRb%HErd$lkk$N+N}fLulD$OJ*t=sd%lTL`HUrlo9DW z=RCc=ulN7;`{_FOweD-(<6P%y*`lA{q^B@GiN%qjP$Vdn{q=MTA&lMibopfX|7Uy{ z+w0)ZuUJ;_hYUdbhmizjd%d0qZ9)Q(>%&NIQ^AmlIUaz7GV+c{L!f@(2t6f?UN{JQ>W!B5#g{VSvIL1nMaXAuw3E6M>4VI2dNAtF1!XGQ`!_ z;1QRG2BqC~P?!10q2N+13Uw$$6E9JJQ{xpD*5#vf5rJQI9pEYJP4w+qVOZ^c4Z*8> zeW8WN5-~VrEQhDX!DIak<&-e|o|Z!lLC91kc=$3$m;{DfxBC&cp5iAkxjv~g z9qWjxU7ccx+V5|UBK+JRGGO%?jWgmf+u{tK9EM)2MTi=zjbRFS{PEXiIBuXHfL4HD zV;O*sB!VA!DA4M#{h-?+v@DFsJB03sXKeK5MQ0%ti~w2~<`5G=OTq*f0dx*LN#m{* zT9_Js5YR>!A=>&*paGg9 z^cvQqk+edgWd+3>&>S$oaRb^P*3|g48J&ah+dW3NA^gnU=(D6SDd8`)6f$k|D4Go+ zjZUC1z^=l+bAkiL04W2Zib+rqQum{c39T9qg-Rg?9aqs@Ag2jHflsiovtqTN+b6o7 zFF|39@k)v-ss!T(ob9}TPK>WFHAw;kWd!T>;SkQ;qzqEVFCc!(w*AM{mA`(Zh2%E; z!0ws6{&K3R=)A0VU-PGzja!XdiUN4m-3_5Q?`@NwWAD#C6PfSG84Y9&5Aj=Fj-cAY znJVEJaFe68m-*Ozt?`!Hw$8_N6Nlc94klR0RtWWC=hlp!9j37CCNX7&jLfn=BtFZR zr!AQ{%6D94V`#fe&+eakLN_)2cB%9dR2+x zOFt&y&G5!x)O1(d+pmaM(w`>2muS4vj+g6kG}9ftcAyFT8-tM@UActxAZh~3Dp zoQ^pi960`7HUk*$7Z_C;t=ljY4jB_VG5U?o>O%HuHN&o9iIJLy{EzSB1gTA5q73mWT)7L=dCv7kAj~SB9YmyAW-+d zT9ID<=oj02Q4@VY%Uuad`wsW`{CLR$=Wi}=U%l*YGVRK{Iy=la+WR6%(QnRUX4qXQ zSQ?W`@o{}DF2OgR9ShLOcJ60nkv*)Oe*d_aWQ>R{Gjl%}D`t)Fdde84sr?~+|KU<@ zpD-}PT;@FfL~N7d(}jli0iT<7d2vLBz**CyHR2;{#qrf^-)RiZycdKmxddL5>N9N< zeYiKRY#F7X<`n2)(d-ba#6L^a-b2MAw*Td+s&Ea@YlAZQQ}{1W2Z)*$AJ=<8(bk zqrj)6BIwhFifq$h-^{~U&NWxt`RfTdtxk`P2)~k|x;OoVJN~>FIudB4(et46J zzaGqHCN(Y@9cWkK$KR9S$ApHs=};DAJXLCus&%GZxEn9rqU-upnA_spsY}a?eIqn| zom#T_)zez^v4_vcFJE>)8zD60)P;Kd^!ZDB9a3fMF6!Xz&tIH!tnV9noX2Z$E>PQq zORbZXck0d4mZxk`wmubp6_nL&;WMS=l-0O)_z~TX1#MfrL0i0o3C=V0)~1zSG**5| z*6>tfnZM~#bFRw)SA$a+e<``&8*;yEP~$wCrqj}!KUs2&*!w%hg&R+bp3s#Dkqzvz zpOZevIQf(K@8goN(XV4IKQH@#xYT(!JK3Vbva<3`>e(xTmcHbIth_9hzJs=Q zxc&fRKYE%ej3Sxxn@o%J*hs@+;;jY{3U?Mob~`q8Pq z^MP+;hEx5^x5H56wYpuCD3%%{Iiu&f0v7mB;O^WW)B0>2hf%o#(-Xm)ho+cQdgtGw z*dq<)%zs^@JEs;`O#9O`#>xte3+c$?$T}rV}NL$UY#1?IOGoh zc&X#{S`%WK7jG_Kp)JZ?4nBQxM)Uq`jmPiYpVcm)ULEy+jwzHQwY?xWL9(mA8g z@%&q9v(&M7qA>>IQ4@E^YtO|GYfVguPW0S~!(W{JOCWwVx`6bx0rv625j%X_r<9ar z-;cp(l)SrAHVkY?>5JW*L<$RCMEger(2hejWTGsVFFh!mX7gQ*ozCtV%ZZcc%aEP~ z&Zf?|^wy0W$?i*)*<-3Ec@(1?5QV+dR9f>Rh-sP1Qt1A2Q>CvXNZ$dXnB-ft`*6tHk zdu~_yoD(QCAEdS~Xb@4N4e6hB*R-6MTyf~m!9O$-GZ;=^@%M^gWjwpBsyBX*v>%}S z^1NyEK}pknW-8n6EE^uz`c&rm+cedTIdA-^BWrFI$(u48zIrUE9Wi8GlNtUrn7AS& zMbhi)##n{=>Ya)iDwh4r;TCPB(?;9%mmW`5(}oZi2AZ#XZ?o=KO>;zOKhs^8r2LgR z(oTXG`B3tV=v+0W$O>9H$N<{f$RvMrz3CR(ZM@|uX0 z*=E8S2jrVe`_-JEhma^c& zSRph2;q%NS#Rq%3W4mnos4V3*p{q73;v5^Q8~6Jl?o(2QkE$#Jo(`m zpU{I(3UN%}8j5=FqE`88=lG7tN%l=)g}tZg+;8WiuZ(iY5>w_swVH~IVK}<>{Qd== z)Hc=pa|Z1Ta~+Ns(i)yW%yKf>JRfVbed4m}wXvSJKk|D?)Y7ePqu$kAd!(WKW+5w2 z=yUqe^z(C<9|51^q*;smm#!t)RGCknXFDMn zhsOnD9D+OSO`44&4wWY7^(8FtDc_!=YyV_4XSXlY{^l<&)&BXia@>;+Ok9HDDSK$M zM2!wy17kf+Q4O^5cq!b;RE>Z`^RCR{wyT^ZEf2{_v?6gqBT1AGct18To?dV39T+T8 zpj(Z?(JP&zuh1|FVT=xKitAFClQO24k|O2lh69BJtugt<+wzB zol>IBDQ}xY0v0!41vaqF8D~8Ebau`pX(qG@@7P1GF!u24mUT|lrMtBc3d>Kt@#J0~@vSrvr~=S9?3)c}s~GWN*^*Lh|J6!3~I6nT7j z#i2p%{cZ(Sj%8vd)8<0!wunHtABkg_YO?)b_`!<1j9PR1n4hyMjMpQ{zJKEW>(^fw z4Q}Lw<$~R(ZCS`|6d&;(#l5zAuAlRvvm-3+?O2BjMbNpN?~(MXdop~Dw7ajFrfj$h zBN*;KI4oVD5ZP>c`LJ)wXtU}OfosWuU$ysGW2IQ;BmyJ%aZ#z8ZZdKSJ(&e!SO4O) zr1BEMzf))=4=uDFqTdu#jFWywHeMg35REhNZ8b5mXMU>t?s)A3Z;pQEr*)wzBVRYW zwMle>6yy`>qYI+IeX(x3hokFL6aCUFQRXwpqv|iDv?aAqoI3JeU)+z!&ad=LxPn@u z!^I{H>87;T8Buo}o?egp*e@lfL>bqQp(>T~w%u9{Ryr}wP%-p{^t+uZh+O8V`!8{_gmTbCy|+Ueh#tvSopV#5cY zsD7JsG@n%ynQB6BF%DP`H;Tlrn}(sK-_5)S(qk^s-5jvXr|8PR-@l<2<92_Ws#(PP z%Cks(PHUMHzi5|g!4M!glA zv*S^@x+h`Xj7wbIpjt{?R)99$A zdfORs&Zxe35vTdWQzxL%2wo1>Q3=wbaf;MlQKvkddIy1YKo&E0KtZIXNhPb0lX ztG&s6i%guc!{(Y2aaK^L*|hXnHeNU;dv5v8eoXeKhcQWtdM_>PjfxsFck?$Sny2y5 z#gz1SBL{i~#_piuzC)wT4tflEbw7m0M+b)tB;vP6sH?tkmgGxmkEXefO!-xF)WB43p-3H+;>5m0$0N^^q`m*h74v=^1>J* zErsMz%skSn2nxsOAq|1HILt9*Dr_Pqj0!e1Ivb-5PuY}>nLzY{`4}F=zP4KgUJzS? z`3$puEg|?MREoKZsBJ34j36FdtHj(!+?J@usKMF-sxe(iGeiCfh6C~6`WfaH^03p5 z5oLkZ2~J~9z`ViJ7*@pDv{_6VqK*!-5Rf1$oey$I>GY zE{a%gBn}B`*c>Do9H!XUh`XC+*c{mM#xy_dXILSK55tPVi0UxxPq>NISe1mu)4>no zH?g*eSy%30-y#nl#aJO}I6diOSV;{0(D@E4&jhQ1T7~kkklY5A5(iU`ZDB#U4cIt| z!$B=8=pmFCr-^viM2?e#dDqBs-bk<-rf zU>dY=D{y6ica3loNGtGXY_rTg6biKju9@RlK{kJY9;7nHJ%E|IjB)SbsR~VSSR?>t zrZ`#^=jY0)t zP$*g`uCD%m9$sg}T|6qu8FeWnB2Ls({ImScGzc99*DRlfS%6Eq(>s#5l z6ngX8UhPfpw&Qafw^#w8fa9>^5-V zB8i(HVrQBu>B?8g`1vx(8d+8z7#&Ujy7z*c^8S6nOXnNw?CO>~x#IEDnjTe2sM9Z=6yYk5-jz+4u~gX~VnUPTy48zEbtqda_Cb0g z9c~uNw&W`>^$XDxcsAX--@CR=d9|)M`1o*ch@t1}!k0~Sa&p_$#rn2w&GaBv4B%GY zEr|V5#$C?Nkg1d{SHVor-SPOx$<+PqH$rg=%oOD>$v2mcq7(5?I)*Ycukd-zmWR;t zXBIZU;O#91oy7opsRlV04@c*QCqFPo8{b2DV^H}~PJ8D<9$1SIaiiFo^4Q#8bBBKm zj5!yn+WZOYW4&(!mWlzY_(@N#+1?`sSNUg8P|3BYlydl~87;kBT=ff4Wp^@MoWIuZ zUnSl>yxu2!b8>j`$I+j%?d^-{IyqCv)#$U=u|+e~FLGvO(}S>2-kZnSbMeSp(exK* znDSny-4Lwo4lGNPv$}S8DTlx2dbxe%^s~G(i7X*XyUKgASDt=U5tqehToVfR`)1Eq zT=^)baXU0yd6%Q=_yTWTC#SSmKQDRnY2lNfu}_5-$W9a$=6)j=lBIv66OkxCLDhV@ zN^COd=Jv(f{6Y^E)#QrI#DbqfhaXZ~ejMTUTz`= zJtY8kywFcMwy-x-uP&yV1}*0mi5b>ujShSb$a`zA0$^S6HSB9u=Zh#a59@feZBL}; zmNgH(nB%>hmY}U)l%3shF7N(3S}oHZ6eA7an-t;Rfb4k5p-sEs&eAZ)kHE!eTAxF3 zri#}%HVch8!;U8^l_wXu2R~otwlLw_X36sUgvHPJ-X#vl3q`3n6^k~h3(|A_r7 zhsMA)L9Jtr)VwS<+SA~~`7rSx1k@gcJ*B4yJilUyxmGC9^x#{q&7!5#^1?_?q7#Glo3W&Yec1-BR>c=T ze|hEdly&foR~Gg>W}#Y4nbhGgTtyeEk({@#{(>LW6uiGCmHl)6r{zzw%`bMlz7i~< zbV9tv{`0Yx*ZD2(^l~TB47E7an^JUJb*SN9-?M&vVNN)4<;0v@RF=DlIXFvhTzqu? z{f?FCcZbf1fF}_*_2|~#=vnVv4shRMO_ML$JJy+_z)N+sLrihCp&Cpx*Elv@QMRPV z-_bUMcN}bebEn{<^*+X3{RXeSY`+<^D&3`(MfJaMcDK*)d+9aAzE(8~wBfIRsJ!R) zNPdg+#WU~h;L?`rG?}Xl4641IO*td46reS@R*#U2 z3^L45ede;BFPiiMTXg){)zzsk*3>and0)+kv%{3nUt)M1SXwsDT!Ny;dSIEK_?dc=oX@K`^+lWhzoAa5M{wm{(0bedx1bC@a#55<(#VyZ2>iOQxD0bA{ zglT2;VFL3bi_*96t3B7mjZdO6blAT?&VnP-fFgV`pppSJU}z!($imkbin9P4SR?}+ zg$IK&fE5gdWdS=FCdvZVF!Qu5pbbNQIRYIo2b_lKvvPnXj88Fulvv3F@I??zlm~oa zxG4{Wz|cp5FdkPRj7<~)2N+)iLr4jg65s@n1C#(`70WQMh z7b*n2sVZSSrV9AMcs(_OT#Fju1CIsO2@o-^PMu)fj5^>C6U{UTMs;WaLGV~k6L5xM zjwTQdLwYU13x;u8fH@4`XaO!TOf`W#wa^B5;6ao&U454y>;9WyPX3<6j=xjvD%zzPa z2Bs?-6X0EAKohxn|M}Dkt{DS*oDhrdpN}H+D3kzndHnldQ9RKq_{11s1pQ5bBd|6& z71#&cXi&oxpgZ(Wxg#G}24LbGfye|p?4T(?5$HQEEXQREuwfpfKut4%8MHP9IALTI zjI_ZLkhP|S83qv~5dld8v2(x{k`GnkjiIZpJ@k#3?{D)USQO6zYM22sh#N)dz;C7G zC=@p%3dM7Psg4HL#{o*vVu-*tSAdM0@HHs^=(WUC(5-n7`r|$zaf6*;!M+*5h$#OT z6~+8#K#lsW$q2eGDVbc?g{SJkVP+r3HbV)dHfV z3I3r_fvy$+1H4G1VamYKKNK>s-2y;f+{R#vyu`mKtd;-^CnTfG%PayMJ&Z#2@S{-D zf9!-KH7`ft53nSdlw%1gIjv7XzSqZ4fm4G<@si#Mxk7c zk^VQ-L&gNLI6DjuG&X_aec1}2KumjS-0wLE3AI2u5qN z!nmSbHZq|yn1ZTI?f}0sNMl3TJFIP>33NI0FBtI1DYwq7G1Sz~)g!I8*Rbp-|PlD3r_r{s*9hEuj5BHOKLX39dPjY(hkw z?EsK5MDV~>;X3PJ9x+jcG?5nFm4eVV7|x7;2#WuY7P)qz4AAXov)fh!s zGqST8I6{*yK1MX~fT@lE58_$XrH^*Upr1N@hu+lG4rm|+2OSAV45t$$dawH*QBv@i zBR~!+Is(*$3QvYP-cDh_JF^%uFewzEK+HR)k}=-_g?J3gm+ArKyweD;0;u8)z>Oi$ z*csBGIg4O5z-niL(T`y4@B)HW1br4Uq~H-30!hRLBI&IlBuOyFg%H|Y7+b#j8>{pM zD*bo%zbnV7n*7}l$dVLd6iV-aHLKr2&eMe3O2lcXXbgAYu@?Ac2ig|?4&WzF0A(2Enx59+%S{I+(3=5i3kf{z5T++Z$*Me^9}H`>h)Ip+s0 z3$6psT>?AZ00|@?CqL;7`aw+Y|HHH*i3Lwe{Z@#qv!fNSOnD*R38**@D$J1q(H>Bd zE@U|eQ2CHKQ<2-)vW&>iqTM5w2dyt_Acc%dpn3Vy1?g5A(T65*r&e^e` zP!Y=i^{3Q~z{+Nhr4;?|0djn$)4u^Km>MWEYzN}1=?CT856cc$!S9VeJ`5@zi7-&p z^M5ZLf1QD7&IB4b9EPO>4|)C0T@tlSqB0!{B`ya2-s8X=PN0S-0JlEDNKZ(7ssK?9 zR^Pz_V2vlh3{zgh6qP%FC^U#-n8M}-Q5cH}6hklQ-U984elSvNjDWli4=c#(r>KY;DOw>=skh<1lS1KB8Wj37DW1}qf-Qw~uhQs6xwfE`fE5Nu&PbmOWeb)#zH4Z#sA!?gFuOJ zKnl4xGW2B)c|pY^14WzbfRPeld^jM1gvU)-py(DvoP+)jGL7wngW-TU!WBo?(M>3v3(&E5kY53$iGsQl(5Dm4D5$o)LB}Yl znVtq_L;;HE7O*c0;N<-OzN`H0Vp05(07w}Ps9}bMK!a$2i|asd9=bdJvy;Fj#3%}Y TaiY*iuA*pwnkYybav1f0NXvEt delta 12074 zcmZWP2RxSF_wRbBtO%Krz4ul|$liMtLPqu`dQ(yg*^iM@h(ZWSSs5)AX(>`>$%tf> z#{b^u?f3nD^?yI<+%xaF=bU?=`<(ZkT4A}h%0g>lOeAf=;WpuL$5S(CMG41JGn7vg zz_?2gjz1}b|LghjmYX1q++556Asc%F0$^6*4ta?7?_i;W@Pl|PCg!0KLjWeS&gO|` zxss`~=#{qsw4OuR1`lDd%1b;HH&7GB@G$jm465!XL71hfF%OMPYc4=+rfI(~%?!sYZlY5;-LYS6jfJTYu7tHn=95WiQ}K@DMYwLS}k1D%W5 zB6_-|Ftf`q#Wz7SeDAWLd9-5<&xsc5AzQMB$F@L)k7HyS2z}>EF@p?C&uF2-#P3ru zmS`Y?R{^l80>Q^n!2v%lUXuVhHJ1sTD48D50jY)b_$SbTrb7bw9Jo-FAdDA-P)Zmt z3t*GGFg}k44%X%HVq4)rSO;H91qY7}@%;!KTrkJG!JIVVo$wD~(3>7R;}Lo|cilfC*X=)tKjTQ|d5}45rBZL8sHbQ8d_DAAXVf32vm*NCGD+-H7Lb z@)nKwAZV%SPBT6alXq^%w_x(@ckzCkA?rjRUJjeK`4yfEW4(HdKMtb+!@`T!OyjB9 z{#WXoK&hkpB@G`skC1SieLNHN{bQkYTQjSaeW%=^MdA<3u_&Qd(v`f% z>wOyQU*?8Xy?=dQ@4JV4GIp4FPnNq&?~!iEgAVoRSMP;9-ph?-;;7DO&(NA|r*E2zn}%ZYm7Bx%KTAtKB!c8!1CO|sxou#?t|p(AEs=|G8>k%9weW( z`ewL!s5_u4U*wX&XkM@-tHBTN5H$xww|DJ_GS?m@l24v~xh{0IVl!9#ybOsxU|QO# z?ZveL-YAo*ir;dJc9@vi?>3LRcA4RU!$3DNPB{1n`Ro_FAue(OkMtNMWBE764%Y7NOF_T{~56JFd_YJP7S`XlH`#-%rm<31gsiu#e}y+xWS-tzq8{>#$ePkKM}<9qBdj^AfX2RMa`DqyC;8aF4emcj60P;ey;0W8Fiq z$*rEAO@#A|0Xvw}#x~7Fr>T9qEt%2r>v?_Bc-*_JA2Y7hiEZtr(jn-S*v+Jq99tQP z%e|!;TG6z^29I;`W_&%0N!qkePd^zGHllm@i!GMx7xK2fgnz_QzhazmRIP8-DBzy|z82qE`s6P17ln6?&@6H`GD1*cHJw`rGG+o?N_a zXatwX5r#cuuY_0gqr5F<1iz-Q)KB4Oz4nFJ6}VOZtoo|3pFFxMn`#&;uhRAToukV= z)hc&p#dG%Cx5) ztQbB?{?Z{u7yhQX!>LvN3%~K0LIN%J`hy3wG0HuUmnPfAMBBVz`TaH@ZF#UTNYEy3 zHqmmI(_urB?=uNVaBveD-Jyns5C)687Y0QP`0WBZt>YjvvRdzW?l% zcXsBd3a9!c*$4G+lPKggN}D+HWk&pZvt^Izk+qO||3J${Tb8Epvh+>gWLcYfr_$tx zlW*G$&)pN4{W`ki^*iyx^|-Zy+0UyU%5C#qM2)zvlhpBp<6SyO{C3ZF@oVh*bk8H& zMalgBlp)W`)#!(3RR_z*d^P>*T$QLNOzia9hd;CPoL?r77BdjV=)Wy;QT<#KY7;E{ z@H6q}G5?BRmzaOu;5j4kQZL%jtX*PXjGms&kvRRHD8%T-r^S?=yal8mmjfJb1zgVb z#h+#0#^xbpI`n*e=5b=S>RI`xDPHV`Lq(R7CCY(&BN9GMJ&{r`>X%eMP|lR0)b+-1 zZ>n8X%;tb7&Pei1`a+7^Tu66L&K0(~vq4H(dyR#j`Z~-kKT+|1SZHmzyUnu6bZ?fFyD7S22c{per8cP*4R_WGWQH?lYAxhx`6+M7mdergc`tQG=-WOf|2G1M zCog5^ds-;T((b*$_;^rPPJHmG%J7&If6>d^sX13l1HQgC_9Lrv_;#AC9Q03kICbW0 zb!@kZp563~5dq;L|K9#>iPO)j=S_}fOv$_uU&_2rY7xDn%wO~B=3^y0hupS+eRri^ zuCT=uSYqlfM^vs~+FN5Hx&4KYScaR0h|tq)p@FyJb8RJ|YqAprk0Jlvv5QWvuQuPd zW;|)bB_xXoO}DmIlHZE>8(gl+b7ya;5eR255xqmd-N?l}Qh(EcNu+w6?MH!a%D#zS zQkP5Aa)g@?u@9x_zfs8wzy2{OPUXIL z@o3_BuVBLb;iAniOo{E~JkI2b*_4LU+!JBWVjg;_ikGVrlY2Zb2$z(Mx+wVibge2> zX_X}9Tz3>KeBn?s%2maf7n#DBeyireR7677-qA{}7nUg!PPuP}yq1!ZK98HSX!h44 znq1fIv)k{cunR}!6_bmTct#~(|8Q^%4bXoR;v43scTIwoTA?L1%I1e|m-(Xn^;X_` zDSPQN#8JzsnZ5Z8sd7B-z8?m*-k;p*cA4m#DYwJm;Mih8LBV7%dT34cWtIT4P5ZL) z*3Gph3O@)zersj^M@}f`SH9^mT9u(wIk_-~GhWC$A*o}qB)r|5JUTw}*>6qp<)Jk? zDX+PdV4P31c~aYT(Fgk;J9NlNJz(=KjDIfE#8JnQ5F$x+hdTCtAbk`i>gh@nbnRm& z(OuKxdkF&4TTA*%%g3X|rNr)ibTwqx=iYeJze$#cm5~yqC|pu(thgjc$wa@A2oj{4&p|hc2f4irJl-8K%6ja|R!5 z*!ZfSaR-L;_?yfNeKRs9)8GDZQgdgfXJef9;+~QzJ7W3L+bAX1&a#F3y+`@awlJJK zVtegF_4}_MCSv#V%qnhjO!P1O#^NqLh$gP+%tmy-R6961v8!Q%S>$Mh%7xYr;im=G zfyE8_MkhO|dCxyQv|jZ3+jGbF4tZlnlM?qc68V&;MDyw+s>ip~$~(Se>CnHFv>44{{jKj{%Y-U%ToWvL?{xZEZOXc`%1y$2T8zuG zs!M1CTR-b39pi$-%ca^Iza!VWFT|ztbx%nkM;_|o6u}GBWc-|M2JD|uOPQMf{HC8oZ?AYG4 zG$Zw8Qv1sUi`=A4?-xnARUU~eWU_mSMR0-&3-=|~!k+0tKGr?k3!jS0ojN_EGJ@y~ zCrQ;&za4JY--WmK49V!~uv?R{9ZoU*$a@LrrD;kfmM3}b?!h#p3e^(~?R~}Bu^du~ zQmTCP^dY$=X1apjs;BSpdf!&rz3r3!smfu?M}^ALyMArjy?FJb<9~C8J&8^dqDHXV({&hZ-aMT{JkG( z>IX@ePq2Kvlk>61){ME&&FhBy^=-n^_FqDd71abB7BS;u8Jjr1CVb0F;bGoq-Fb=c zM^`)*ZX{CWyp>8d7q(;Yl_*eM#a*Q)%e3#FDEdvyn#g>^+q15gXZi7AnY!A6v+{-1 zwH5I^Pd?onYfO2bnR^QzW$><3IOAomy4?0s_1C@HpG*u>l`;GG9S?Oe4~oppxcza6 zZsLw<_U(NC<`Y#nUo5Il@aZy%u4J)a2%ElAJgj?nlIi=ahbj&RVGPsL0wR;YwdqvJ zGAlYJw(gbpE#kzxX4T@U>5Q`6m(y!r->x!xn_93?%v5>WbYWQ`vC{MV)h6@qjNTxZ z_AdSvt{CMO<O7rFwxu6E{(NRl zrn_vbsz^p`bWK(8kB_0!;|v!!@twcZC~n3(R^Hrogik}u)A7li@R)b<+WXCVag)iV zon&6RUFKpf9S!aG!!^xsN*8Svb2-uX!EMAefPK&{dO=m8A$lffi{P%CoH-FJMj|d3 zA6@7rv-S=}igd3X*@quz*8eQC?Ak+Wxtrel(BpS%oJz07TyduMrm5p>-P>!sRQDWP z#BF*#d8`?#%#~}^hz8BZrPzeCY*+y2TFUxl!w3pHGO#q%dmga!(R5! zi4Zi1u;DQ*PVmC|06H>+YOF)@MTro*4YC4_2qTzvGgAWA?P(gZAh5!=O4EuhfdjL{ zaG)PSn1Y?1Cg~`G!Dcv!IZDvO=Iclz zL^42^RdNaH(8-8g!duL^%{c-;=48wTiY(euMwo-5pn0PRjZ9r8q+(_xDhSVE1E|Tk znox`dVD1`016q@;A@pF4k+1Cp9xMnfU4#qR;Kp5oB#aL_`JP}1Wo1SQoY;y@#|i0J zRNj3cgkiEaGXz&`&^S-f!J0DPmkIkJrQGQo0c)waun}D_kz1TZDXdHLiH9f(?XvI^ zt+06biV%fi!>cJ%n&^Sev?@!i#0I4bM0adJtxROW20K)Vd{`XzXb|(Tj0{^6U*PFM z^GZKoY2k=72M!mlj@Bv=IhtNu6GO37n+6i+pnK@9NTL*+$v=|#lL-zEB@@Zaa4=g$ zbi({JxJZ1B#h1T~C<=RyO=g2cS=b$GN_az5W`kyKeIY8tB`kd*(qRE6tP)X}@uor& z3AD<2{GGVcJ6)q#TSA zx`#9aTUn^9IY|b>40FAPqwo+$>2%EZJUGBz-tQuUV76KzPZ9^b~4D*pe0j z1l>(ew8(-)gZA5zwxZ|lNLW|ysvT(uwrw8nCxv1SE)5@&AqzB}98XHZV$OJ!RJ9FK z+OtUYjBpTMMq$1pUw`R; z-#fwTNeiTCtags9l3K8hwCgA7GFGk=zbK3B{7uTorrSqE#wpp~j9kK+iBnsUF--d* z6Y>~i<+CAIu=wh7BeGivp{Zz;FcL>MU42%6|7?>$7aoTz%oRb{$<9l;35_>TX{(A> zm#Qe&Rp{1;D5`2oOUk!4h|~$lYnsvsH}5~{n7G@KlXW3)EH}?3({F)UWpu;IQ&$__LvYYp) z#RvO>!fdDKHx6EvSk0z>YeGxw_A0?e2(imXod^ozjRGo~s$})XZpJawrcTl1Z<_Ya za`G~VJSfATFQ^H%$Dxq=S);PPjRIG{0^?i z`7zTkwe*wk%<0ti@-I3MpwnUX#b(dGY z6l@ti3XMIY&S)SFy2iQ!R>oE#!!_^ZpZ7#&sToEsF&XoD(|bQT$38!BMKsq=@Je}L zgSmd!=*eGC7Z$ivua|}GeU=<<=JTRt=_a$1(%RNCBd3;TMzl#1;X`g0?fYJejz}Wg z4|336>7|MMWUjtW?&uuI&ORgPJANgcNhrId`Juprdj_oM_vs5s%L#@H_+E_T7=FH& zN@lTI$^GDdx5kd|1oNfk2!S}K7JTDkk0`2sCi*-4 z(nFo4klo}bK6}O=&=;i$jTX0YAP=j?Q06(KXqJ@S!JB}M2#iQ za^B$T#DVZrWDk=)k-4Q}`}H|9u2y9jo96diOe5JjigsES>AK(Rq+u?W6ny3`B}e^L z@id(W(f@+MlaCG8gH2jy=Ge=e*^LBwU5Y;W+Py1yS}Av7=ktnSVM(@69Pvg~qBMSH zwq&l4nL6J%mG+<3&lxvtqS_;ciYy#`zWcTMy(c<+vqe{_T?z)MKixcxa>*dvWLe{{ zwe?BfLUGxd*6#!(Lb6#}lF;>`*{LyEwoU6H{i8Ct{d$I+2EuudjxOHjk+%*j%jq@L z-AT8eZ6GOm=BJWeSh}misg!Cr=DdZ>kFA(wfyT z)0#`6KVfBSX#64lrQX#`MvIC@&j!hdNyECUKAQfIBqOq&N!lOLMYc32Tl#~;97S|Llgqz9 zolmUa{!^=Xb!3)MNMLl8+i_{~X}!$1t(_J&iYd9yo@^WkRK>HD#-xu{u-XgXsxw*& zKX&P1Wy2ZA{*xUU>08pbSChE(t%H51J?i_bJD&GlkzH-Cs+G9Dt&h&%??hx+_WJK< z^7_)vL)*r7|e`lF}*SIp|rtnF` z%E0K|qxC8Q)2n+>JtqFrh}#Ft@=~Nvv@%?^t@}lnTgi1zI45h`Hn+~A=xm=>&b7R- z8CSy>42wCNB4JPvF*Ao&g|7ovoUpXm3AXa z_52OR4>lbXuhHGhU?g?3T&6BAo=n?y?ERU+?DB#e4MXe-4Qr{!dT*b|AV=9`IPc>| zo-5z*lNda#wlc3MTfIoj#;{s5;{Lf}HLcu93pXE|qMceRQo5y@X+$S(B~jUgbK(diSf{g@a-5B9qCW2aP8%6aV+UFnUxTQH8gc+wzDOyfpljN8qIv zz3Gc^p%w~=I7H$V5PJw;Dj?1f$}1uc5T+_3IuH&hQuyLZ$N`9-RYL5bF%?r_gs6;2 zK}22|34rjDG7=7j*i7>E5m$(FsUa2+2C5;!5WZJKk|6X^ zr@#euBoX3~yD0dtT@*ZVHxdZxUw2dV4r(C&5P$v$V$SW?1kQoU(ln7E2!Cq=rvMDp zLP8-N(?Z-J)YV1~LwH9U@r6bt_8>M89@~SsL#S>ER*Kg_;QbO6(m~81jMPC)A?(pX zjGz#sE+tHUx`+X!H|Qe!A!OD=Tp(O<21e5K5cpL++N_6ILrA|DK%nfg7g2-o!d^rh z!m+);IDoSHAQu3h(Wl70*9SQQ_-+GW9Ka$23V+pr!Z$GlP5^qDAtkJs~aJ< z5N7^?(?*CB#Py63T?o$@BbE@37*pgFO(+pKV}e*g`a2VfT@Y4mv5BULC!~Ke1vLSn znHeR$)qfzZIVC-D=7=}sPyT^meO#!Y1tN(3G~l1Fa?x`Zh`~-Er~l8_CM-CdFz(+^ zX~N!lJX$=B=R!5-@wBLzl5#NTx-4nv$pNjeaU#YP^ap%&C@Wut92QFo zN6a2!#b)lcc;fREtmGC*h2#dCl6Dl)!}bU-v|MBl^bMUU#NEyWMzqZz*#cC7Yw&y_ zeDR_1KtqBN?q+QVK$P;O5Mvz>0Z1%{#3K=ZtT-ZD(P;;S9b4YzG57GFAfOpce+Ts- zy3-NSfa>m!K)v=TMZLh0at5_S;%X9wIFm%+r2p&S-{}Mdf^yMCCuAq;=0u4{AS71( zAyzvf0$94Nb$SyXgBa(67^`iF#~F0N2{D9DsDoM~)Lx*Ni*^1J$)Ekv0~dh?0aU5X z2F=wnis(~kgd0W@)+%A@GU~n$;Y3AU5Lzq~qu<9v_W<1$@VBw1xXUS`!7iYt!2J4k zt7P{bxsQ#m#98)Ibdx zEEd;r{?|jcf_EOUKUMytQkvk2*6u^};aa}!1Jj6iKqUc`-WA!5>h4Fd9*^68z%l9i zhr^8S>jLLX+kQ&;A3^rq-GA6Z*s1WJS^iUw&@rx2ifB3;k>)@7#ddCnE3oDL9|1II z6jc7aD`l!5kexXGuRdgNL9N{otasq+2H310|7Lf%A*^tPgOGh@=09vfcVq|Vt>O>! zf?2S)FEik9>i==QG+}oBKk}LGl!#n&2bN@4D4Yd%L=KDc$nWaG^E*Hy_uz1QHyFu4 zwGU7pKzRqi37*A9M72i=QfMI?kr9>jMz-vvoLkNhm#ChA-<0Kn&7-@)!XmoU1F_!y zcgn$0^ydR3yOWoQJ8&>OEWkZ9Tsk}`0JKp4cWuJ#*Li@m)C7Ivfhb_rx4l!m@Do@y zff0w>`9DJdmL?RVJ3T?|z!Gf^e05g{?4v-ik2VTDK!br07C+-z-KT*-$m{adJ9Rnc}*x)Sxc_R9=h$sm6H7#~qP&lZ4r~t^SgCDnnE&I=>G=Y2(lVwA% z`5jmQWr)L=&2IgShG{#JN%FRpM64od9r}0f#t1BB8usfVxtX=us-WQ880+M*dyIpc(t;1B@h}-!i+?eI(D?g_MLC_9Z|9#u}%KXQ&Kf($9dj$2}R47EM0E82(cQmr# zXy~6(*7%=e0G1}`qFMozyYX4zAc08}YKoz+0>B{x%;~4rFa5qmi^HAb{`(1hWe*e; zMKuBuCaiM*V;9H#4+58;i`E4q+r|Idx%xljn-#7C!D;Zf@eX$%D!^ZAqBDWOt7Z$d zE(nx5PY^&rkak0eT2hEfmLz6WItZb~R%&;B|2h?TMtufqc6t+fT2c~2cf_**V3Qz*)Z!|uN@?f|I+27FK zC`1wl>N{j-6VZ@pgawt1{&SzRe3m!u3W`u2S^ivxMXas`PZvl_njn9vMG&qLR04Rp)hq<9M%%~4H zLWjPK0Z{>+UqiRVA`19tsAeppivNkm#3H=B8@@#V?t*LZKcCVB2@$k87SSN` mh#}~LD6mR@82GcHH4Vz(-%|l@NDox?Fd|HKR~|e(aQ_Flc+>L$ diff --git a/bin/bftsmart/demo/random/RandomClient.class b/bin/bftsmart/demo/random/RandomClient.class index 19f7456a175f521796c072b1e7e25a4276ba0d5f..c8b28c8438b3cf5354e8784058994786079c0cca 100644 GIT binary patch delta 675 zcmWlWTTc^F6otQ;wsXp4O0iPPs9;buMnOQZAc)`v1r(8smx8wes!}ekP!Mkv^;J!9 zLVWYpM}sEQ#3ud#eefsv?4LmQJe+m**?aAE*4gK8^lh~8bLaaHpp`c!b@Y~TmUCgw zn_QsJl*2`nOY|!SOcaBP%O+PCGAZM#55tOUCK10fViIN4hcQ1h?l)Xl+)&&!iF3=O zl9UeMYJ=7Zi&YS#o~;vBeV0?r*)PB5$!m#$uHx7Hd3pYXjZo z&wSEzix<4qNVwafgu4+i!s`?)*4c312da!$yw<4O{8RVsS722y>nB85X1?VP8qI}9 zY5M5Qe{dGo0ksWe9^I;t(uFEkJ@`geah5P*fZMho~qQ2*{LRNCJ)^q8oLA zcj3YZaAy^2h0>HhfN$W+wJ#y|UAgE!fA{&jPj{bwUG}GJ`RCtnKY&(V8r0F_=QMF2 zy#{AEYlzWjaE|ke3kHgQ#YKZlTsH7?#Zd!_L4y+KX2_t7tB$(nc&|7*{0M-@OT1naSK-GL_ZP`ZRp$`DDh*rZaX# z+i1|HG)e}u*4RwHH9usH&L$OYQl?a>VZ@illJnWAbZS8{VSDrg-bs@~+_PKtmdYuU zX=Y4jnNy@p(#+e7dboa0qkP)RTg|!b)NJ#Bl^RbA;l4?R1(Q8wO>*Sz?|OInqRA3- zCJ%UM@`%T_>FO+f;*g%2EVH5!v{yVqJLU53ea5QEGoEV%4u*SjnT&K4&Res&WGrm5 z#tV(Q_1|@$zq<0e-^PO>|MA6c_ePdoQFl{de|Z7ZJreaaDFIP$k&=Ykq%@|AlqEs} z%d0&F0{<`HEB}ic}{;zD>4m5-d;?^?yPy5=v~cy`r|j4w0P|y98AG z1r^v`z`Yi5Yag~&r5YFeME4S~e|c+{8)RFW=^{d$!?F#n4AaI8QS!9&iVi*!V}oPV zOVot))5QV}G)ixAnR=5Tuf&bYk2K4YY1qEcFk$U~uUsFWO{VXcQv-ke?_w92o zcxpTq=WjJO0~mZm3TQc7t@C8c(0-7&S zST@gJ95h>$DxFL;s%T+$(`Q>}Kds_Z^AFoEqSE}%-n-KnJZ`{?^9DvE!@#4`JcbOj zhr_LTaY61~G{-td4E18M{J3P`GqeiC&Gwc1(&qVsv(hq(3da=({e}Jj(-`<1K?7f) zRmGPE^32VS%YCv0BKzi*`UB#DVA0&PoC05Qu|HtoDtrLy;x3s}xzaHL`GPBqRu14iP5JHCrM28S#&o@W8x*LuVI)%_Vgv5BeIos7oILsX?aJ~)G#Xb~>I?P~Z ze}!noOmPN<7Gv4akSKQJd8V|%&BM8bV8;Nl3X?c<&@};hm<%WV3{1gP$+0;5FUOos zLq2(xYd%aT#|12@7t~u=q%x&QO-)Vd@HZC1royixHeJO`2$cW?W>E}zC$4r_Z`}zG znE-;c<>X-@87L=Diz(g`hJJxQOX;%=^Re85KZpwEAkG44<4!w3#%Q}sGFliQXSV@r z5Z6&CQAD5!vq3t?nKzZMa*QMFF+3yqkHI_?lb3A5D; z;dUuv;G$5nf9z~!iNhx2wM*flgtAu@-beXhw)G01vYW6A;_1P?rT@iadSeIPf#C>! zYKh?}G1L)5Eir_Mq2ZolSk|Tiv2T;LnAc+l&5_r&O^YV3HB*a|)Z!HRZf5>7_e6{3 zd>N(od*X&KkogiUJpz)=&& za9qL(2`3Gl(s9~E563#0qc-svq@Rb>S!XIHNsh`UDVNR-E{t{)>sW% zuioSFlpEQ&>c*28>BcAtqa}>NSU1LDtU{u7TP2!Obxp!`tBY$$Og5Iw!wolX;+Bpt z-N>^xxxP)BO0<-jiwXjZ3j(>`WCf=;!^`8{_zt(+_+G*fxMgjK$V$rwt2@v0FZO2? zmt~Ch2mO;Pg5?##>|mh4Un<-G=*CZ&>c-DlV*M6T?aanBYlrUjOu*A_{4UhbBd6w) zo~~-l$XJJpu)0U}2swnC?c@M&$I%T1u3((VrwopYqsvzdb;>S#hB3mPOvfbVvVaAc zjAuD2JclWavUoT*b#RRErPe{6X6AsbHtpH|Tr&XuWQ+KgveqqRdts52dF$5A)^k=i z%e4IN*ibAY>R|ZnA=1|fGbhpKt49>i@g>&5_296+h~%m)Xz0zX4_iKot(=Smc47}a z!5a?3Kn%98(!!D1#*r!RwsK5s<=6@xPEEFa7)Tc(aX*Y?$U{hm;&BW^CPfoPyl~po zEusp43yEaYF@s7daTA%g(vIuYQm6P0zMNWU+N?Tgjqv0&qFqjEJ=)i!!=$t@qO&wR zx~y_fr|8aM#K&o2bPD6KFcRWi);LdZrCBAObcZ&_D)l5-VNZ-hE3(sHBrUPi*meg( z$JBA8kx}eihHi{c($-N_bu`(>pf9^>B3&$DFD+p=?cmcc-s~W?z05{wVv~GLcmJfn ze`C7RFhljhOqGIM)em_p6MmJ8*{TBhY6J5s6sYZ(s}7-%Cl`g(2^6a^=GkIRfq?{N z;RVbjl9$CV(l!l!)mr2-b8%@r^6(NOxXz7P@Qb{v;l9z#W+R`H%G?|jP~N$`Qcvi2 zQKIumm7boS+WsD|;?z;3BWAdcVkn&e3iIg$ZLqGiuL_ACJ}Lp0npn!u(lRQslqxLe zZCCJ^l_*3AMOcM$thVt7(!6ZM+JH{}r410l`+&?^0hv7jG@$-Mp-@Cp=~5^MF}~?g zW@DryiWqP3wOPxiUx$v^$U`b=Q5740Gj-WQ`z#u&&<8AbyCZ0P;&=J&8!E${uuP>5ZjUH;VB#;99fNR)Isy&Fq zUi4y~f_-i0#*y-6QaM@Mi;|7BU-#5j2{gX8%WRM2TsItd5TRqZ`iCwlyh3?fzBvcD z-o*-^bC`2@SA9RM!7)iTLpOOtP|aNrQ?4Vt(NQ+;VSW})kmF>V718`(xPqr^{Po%# z@+$h;tnkr7=@kb*BK$YNQHc0Wy8}&;r#t@^`ah4A7Bk>K3^iO+ONKf!gvn4#hBIVn zc%%%gT09`zPPvQqRrJ95(w;3|oa5YidU1hXT%_LTdH$tG;>BvbDqdJCV+Svk^Wtqk zn&@gXI^Y^LZRY3UM%!H@(bZO2Ixo3R