From 39c8cc43d8980cb092a1ae2b742a038117237c56 Mon Sep 17 00:00:00 2001 From: Julien Clement Date: Fri, 8 May 2020 14:23:16 +0200 Subject: [PATCH] Fix typos in article --- latex/paxos_made_moderately_working.pdf | Bin 269691 -> 269701 bytes latex/src/main.tex | 4 ++-- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/latex/paxos_made_moderately_working.pdf b/latex/paxos_made_moderately_working.pdf index c3536cb37d38914fb6a4d8fd877f3e379ba416ce..2ed622f8912ecaf44c62325c530300e61cdb43b4 100644 GIT binary patch delta 5966 zcmV-U7qRI3x)6oC5U?-<0y8(0v0EsUS_2DzR3(y0iWDW^Jl;&osiZ0gRc&ppbHIog z4R$C%0mzKUU%&kV1v0X0Hy06TbvGLQZsd#8B47OUCYSHs;mzCo&3;i->rJ&S7l+41 zQ!bjKT$gpdIJAp@XT@?=6lI-#w98GA_1-O4@NI`-$fYv-G=YvN4L=@4Avr#9` z>gm13PWQ_l{OJ)X&-7g?=^p`$9`HWyY!0qQ^EQBTI|z!2t`gGK?JwBSt3AQQq6(K=L!oCrbzPmoK0{&FGc z@WZX^2krkfM%1MY9rbbW%cSr-1a0KfJi>r zD%&#onf>Hdn4#%-`8Zfcy?FOP-f<4=<*M4}*_{gJ2o4U=SH^jXmj%L^aR353yKz}_ z2F`O|>Z9Xd*kb+>4sjl&JnHCwMURuX;#iC>3Wth|opj$DHZH_vpZYSyCtZ#lF%1N~ zCd5Jvgw*;s-SzMk0}(FM89j?ih&xbH42c-fQ;*tExY1=@808gruK0E!)|t0f>vk5F zp;ys>gm0O@ch-E-?N`Je<5R`OCSKXtxmZ@SC;p!~CkjX`5e(mVD9)IFxZmE_`y}Z? z!Y-OEhzg)m65*$^$Y(T@L=7~}rhtD4`-8Iqa<#U{*LTa+c8hLR#NYr8RaHGR07CG_ z_$3?RB2ju(Z7F@x|Bk=vx6`OaK&05R6q*f^h)u2BD#(F?20&t?Lu` zs6jgDmhqAVw=JSEwt3cnI*yoNzw7xwuS2vT){aOZltG0OcHuFRa-nNV~1CL{x?0+YjCbMs!1jangW))%)2|cZ_*dR{l6bDptYq{?&1y8P{+|3eyFN5;7RfS-a?K+ZYB*s1XwdV|#+m%{}UebLYj zuQ)~apCR<|z&<_2Kt4bf3LU1!BC|}S7%}kz++Mu^J&ZVkhHl)E%wCUKq?uQiO|!km zPg7sxr{NNRN5qn~J++SjU|*CPNeld+8UP^)rsa^RxkF2lCk|axwghK9sv+nRQ>2k_ zlDbF`PMs{>jadmA6}rw~A$9aJSFA99ZKkzC@=^s83oFw-%YGc!U_G|oP>;9(0+16_ zRY}UKqzkQL!&+4|&S4%7{rHFTq*vIC4FGOl$Ztr04z0WuAZ3+Kn6YC0^C*B5w3bFu zK;>zat_pMSzN%)EL^`3Gzx1WCA5Pj=X+g;|ro8j9$#;`h5790*1!Vt))6DuNEg?R z%@zGUzQx4WXLT^=E2sewy?{VJ&D#Ces907L$x3<3DL2_Olq8^ju?*(9m)9Z}8@Wt> z(iN9f)=^mU??SDL{%EYb-z#=f82w z9-K2I<9QX|Azr8bGO655y5@009`&>ST6LrDIX%-qwnDNn#)Y{7SiF$hd?Z?3j znrHINheWV0=(X?|-!WiXi$<9m=QQxE;?y{n8%A@2YRdnJzg%m+)^=vKiJp|ydOXRt zvzML3!|)C&zVu9ozeQPA>v9LP$|m2h>qhQgPLO^)y!kK7Z_6bLWo~41baG{riE|5+ zR|`UaTW{RD5q{6FF!E9vh&Q@WTIswLr$y4HDB3(2D2kpw&@1jP8(p@dHje*&=SD6i z%cn(OyyTD^lEayAE^>Nzx=Zi=@Gh0#-#xzj__=8AGPNsImES!c@AmoKKFfD`S>8Ri zcmGK8`-d#c%jEat;H;a?aCo_YDE4Kdhn5?EmuWmr#yRdC#-X*d9f$jWKK|+B=d8MG zc1@L6$UD7z$g^FYGv~kE*F|DrRZ%3*w(Gd{OIoPO&D@!F_YGSr8IM9a%ZhLJd7YRS z9=+&kc1&MQREh5Hv*a{Rc0Tt)p_9X$^N38I!vf)^C)wiy*D?dnnT;&5!;1YyU+y1& z@_k~a9o`u4m}R@BtoV|TG_P(FeVxzagzY*xOhz+D9N-_k_W|WL=#D7|``vaH4(~L{ zlZgIz_I$1D_&&gw?hdrCcx3%!bTW68U(*Tevy~w?kJHP2t&-jSLzQK>;~uWve4V7j zd~4b?zN4tf1-2THVOqj9$`qt#TalZ8kck8QhLgd(j7e6efK0mXh1>9+aPQf|DfGmo zCy+8c_(5NtVTwE$w9XpYekY9xW3o)Qe$JDfmxt*Lud~C63D0ME7G^U=du&`es7O2V zYE+4lHKHAZir7gMi4Q+H|GYrc@Y>(OQjFVe?eK}uF`#ncbAvn#w>xvfM~9bxb4aL3 zC)blef}Pd9yaLZVjMuL9JQgBbauGsr+qRQ7iVO!ecVXQ=8D|4pqw*^GJ8F=b{m!fn zIPa`mZgd(~Ji8Alh=wf?>0lFXQ>QvQ-!tk4EF?Y!-ehEgXajei!M10V6n5O$o9DBc zWK17tdP|u7#CFQ><*Do_3x&>#=8LKdt`&{znbm;>(lGXT8sN}~_R=gjmG zR!`C#wk{d~?Qor@@LZ@z4ov_A4u8!iwiRBiA4H=za82P&fDv5=dLHEp0U=q*KZB7q zBK_aKfoM*a&AbiX%>(B6)R|tOI2Z{4f>;3RJn3BLPXR{nu{B`odvZ2^h9>n=rQ5CQSRV460bmidZuPyDiW{4_zg_ zEVTpLZ@JIqNHBB+P~z5q3{c1|S+&>#x!BX$AB={V7)&gr@#-RbFF9zim@$l4VpcP9F~V zyw2IDPWWg#-Ag}CB;i~kLPD%Fqi$7;$Aj4m$wHsO4iAb}RW`|gw_zkR-+WUaHwEK~ zkTbG{OQ#Rs*yjKRo5%yaY;RUJ*W>Wj$7MJ8MSgs5XE^S_P=lH>vkAC&A zKMtKl%427P#p8hOe(jVGvgJbtw7mMij#-v+%tx>9t24}h`iE$~T%wRbZ4#sFwOa;d zK6+#K{D4~*BFb7660H|?yV`?39mc8Uwjjwq_QQZ=BjZWEz{m;>7=zydrwU~jre`|| zC(SDzs=}Bf=-RqYBHo+5GtOeeEi660MI4{FS&Q-DgMpAgt~Yg23{m_N_m;Nr~SP4WMl#a8nn5#1IZw-bAb{VWZ66J zu=~XEXMQ8Yy^D5^15V)cX>}mXQ-dc!5{J*wu(R-gWt7_tBqeWgoGONBQ7xmz8o>@% z`^U};(DP+Nt`x+-80{$4pq4NcVn;A{CKW^ipz9eNr7WVIkbH=X1;j2?1!x=;fUp>c z3_iP=z^p4!+P{oE!-tl2A_RU1w>n+)A{#m^5aTCJy0r&NctMsW>RpBk)>C>dZ}Mg4 z!QNF8@Dntv9TswDx0Uk<;2>Uy2~*R_wnxD($dW*=??ZMcn`G7O98 zxnrgLah85-+u=9!_7mu7@ac?y)~jHdmERW<%=~sLlI|rH0sTZQ&x%`KKx1HBz7WTK z81&{Pt0~`0_ugW;1G&j}>#HpL-$}vdbd;5*CvdIFhq!Nb* zgq-0b>%F>e2qrc;kc~GNuVCS=$hYEu#iZkl4n+~2?u}5}3d%*X3U&_~MdSpbu&5&R zfb1M~5TH4C#VQs7=x2(R#DOglO!M^9L=}k(_eR0gWmT&#$W?j(UcxCAmQ@-Bi7G92 zW!m^CvDjmf2t2;t7Z98S;KI-Rz#hWSUC4o72v1J+RoK&b`-iZHxO7-Yc1*E<@(XzJ zgfUTz<<8gj?yO38s?PnfsLoU-KM%Kh#~?Y|DtnH-_Uo`nd8>x)L!O3jj{44hl<{R5 z2E+npS1G4k2*M{yq|B*Q>afAjfh{cYV!4ZfEtUKfpj~jH@ya-#DYQcZA2_Vw%VlZ8 z>HK#)ULB)SBOwyE`N4gy*slwJ0~?x9H0iD`)KU|gJ*Z`aJ>T9>T!0D}y0LOK zgOb|=zq0v(DI^u7yn3(#6v^qTC(Y_*7~Iw>uvfcE)i)Jj(F=8Hi$2SMl;4eAP=>Oh zVieU5N{J_#JQxyG*>Fx@QeD?cle3VrS-Mc@)1#DLm}L`va)FN5oU#dj^#|QKY2EVv zEj|$Lvn!G^hhOE#IUp$oA;D9=;S73j9=A%xeHQY$7!)^BYk|XVg24a9XVCDN+g0`; zbFj-^fAg}1p5w0{DwM)h8ATRIjw4hgkmMY~w$o?`(O%1Y}! zI2ID0Q>i$G!mbwbaU{N=ihy)wS|(qPTj3Ih(`CjI*?Wm_z)+?vgEI4`oUVicBT-NT zJvMz`N-eXML{Kry()+hEjSQ#EZUzhk>!_x@)zxSnla>gU%J$i9`!_#Ku3V>*s8r%( z6@N%l`Q$9RN$w!=IAy(Bcys0U#uXf3!p{(D_80!v^Y;H2WbwE6g5CLlp)>2Ki>eTAkr5w#ZCXbg zy-|r8r;{FR_&C4yzXyoLHysQzUOm-k3*J}CzHy4>gEn8K5(jwJ%QJ6%TxNCo5I;S{ zvE)V%c#!k*e;x|@hHBzO-~CFyfS);oLPC2{W0&!p$-~b#JIDuI5>Z~?4o%5~w@>(K zHGcEN7XEKvf<93-GnZ(Cj7B!K7@&LG)|TBNP83G+FD1wbr@q`i0?UVEt}(z5CBd-I z#(kfb$@}_is;{u`rnp|koG!Y$*xMpOa%EZW&Dpg9AiCv{ic>|ANsLo&DLy@oo2cOB&*1LyG?r~=5r4BjFtfeqji-ZfMQ*a#NzuA(-9BDjoK ze@B(TX25H41=R`IU%G|I!-<_H?Q{u`kEU&)8?^A|QQN@|a1U<|wG-?D5AkMEJzzH_ zhYmKLdO;s02aJo9d%#{wP8l`IelS4E#^VCzASi<&FbpbS1dM_)Fb?*C{onvN2o8Y> za2Ol`N5L^L>1JIT&v9^qby1=2Nfd7cfA0pb#aSAsz-gdz%B}E!$kRN+q?2}Ebt|o^ zaSrH)YHmHh<#7?ACAH8bo(47NR(YjIxcgwW;LAy|sJl&kP?zb4ws8YA+^S_Yh*?xo zw?Wgb)~Uu#8dInhuzUN3XFtD4jd`KFE-5czNhvV w`-XC@3T19&b98cLVQmU!Ze(v_Y6^37VRCeMa%E-;GB!9lFfa-wB}Gq03I|GcfB*mh delta 5932 zcmV+{7t`p4yAb=j5U?-<0x~$0ks~ORS_2DzQYDf}iWDW^Jl;&osiZ0gRc&ppbHIog z2|E;^0A$AU*KfZ7k&Nux%|!%S-Hk@S8`jU6fAjWny_@CbYF%!M+5UM} z7qdDqRz+3K_RZ|y^L(+)^P-x6w2O5<@4Qf?`V4kmb)rL>pp9JZwjAfQ)0Rn3!n{>A7c=fs{>bXwq?Oa*>?HFHV2wJe+ zv#>|1zU|BfxVM^-5AJ+{yZU&B}q@kj7mpfxXp^FbqiB#LOo*{Bm| z_4wXmr^m$>{`6=aVEt1!o%h>tyUv&{|YTIuV5uxC=ptAMV|MJ!t=@ zIUq&3g#+nw+WY>3K8i}H3c?}2p3$7x0#xr?r<#ZcB6rTKBXQe-yM!JcpjaUP^R=;%VvqoCq{K#cwghl+n4b=MiPECyvabYuulx*U1oFbeRR(fWWz z*5A%gX!^UpxPeKxc4wMw*Ax86!CqppS=&~*(dD)kN0o@M7I`h_Q-ArOK zbSfH<@GbNA&YCZ}`HI*nI8|J%;{Ta&qJYE_!SH>D;-sv9{r0ii4Kgld z>%888r~oP?3w|o{Y(g{2(m+$MbNGj_KR6p8QEPj+zFRCe8+5BY1_x-UEUSqD5P~t{Fp2VK%oS|Sk?s?2jH$38p;@b+wj)9ZU9dj zq=W7mZ;;(Kc{Ii*n>UVsBPQ7II{we=5G{y>BN7N@Q0K&h{ceNR1u!M_Y?HtgB{$*> zZrb&#W#B-eW0_EbgEk!AgX8a9%IiOR9lF)G++!)WX8)-Ej(@yg$>2t<_L!hii*+5dBK#A-N)WvvS9!Ve z-jT<^0{SXhNM#X(kNlZv0U*g9uuk?MQ3e#wzsT`X9I2?bA$J6bX6Lkb>l4Q5^tj5ANiBIHO$p_?unVd+D!`+Kv2B*)J|;Y4-DeA0Tv%n5?)fl zsJ2`}ue@fPAnm5Q5m6O}Z`XSp7}50+#z_NK?I)P;GVVUf>V( zs5^HhCS{gE*5z*t%^%X>Ix@!f2mIuu0&>m-W2eS%=nPhOT=o}C^m$D;yy4{Y|Ma1Y z2X@0#4CDh;q0nJk%;%Pg6eAA20Jk?UKo28MprJc=B(qm3i`3J~vaUC`_^GQ~{M20H zh*+|=r}hzl0PKrWBWZ#EQv)C*!89Ba6?bSuoPEr>M!l{#` zyE7<3qr#25h1Ai>P_e}PwI0_B$x9`SE38cSBKtI}!8*0wP>;9(0+16_SxU+(r3)=% z!&;U!%V8c4UHZd$(kpCI1Av=X@*9#vD{lozS)~=jrFMVn3hX?Jew4mgf<4VO1TulvJ>Sn{RZ~R8L7*BLiAMQ4zzor4C+!jzf zkIq9=g`$_+oRU|aCIrH0ng#VXf#Lul9oZFE2B)6T3+B^+?^&@faeV+;XcP)qFCm?7 zVW!!ClLz9Fp~5H!Mm0#ASU}!7VB{L<;+oW4(ckGICbmAy zy*b}NHGt^(1Nv#!?zcw8q8v$9$U9E4p1(jz0_s=GV4izJaZ%-!$NKvWA0%YL)cW&8%bB4iqUdDHb z>$qPgm77u5oF?R?pVil@8+Fg|b#2@vN8`moA4mG3KIowMM3+vI{yVrq9}bttB!Ppy zKIe2e>g7)@*>UR?+y||HD8`++yr`O+p8N8r*MsIvb1nZoh z3J>ue1E#fTl(BJ+JwGXqjbpiCG)JhW{Ezs{t>$ZOCsrHjNlC58lWa42*%^2k-a*Be zp7HQED~fVeY++VeXS-EZ%iW6+(vSN${{@_B%IykeZe(+Ga%Ev{3T19&Z(?ebUJFEj zNpBpx5x)CZ2)?8RSmWN8cL`nsJ8=*sJ_rbcyd0=$O2ep^NwdeY{(WlYbhleCK`t7y zNEXRr)mKX^zInQdZ~pKumfzpqzx(((Yi^SKkmY51bN_f#r8iZQ9@3(?xo>a&5v8|x zNs<=P@5jMAKilE>dV7~uMP!DS8|P_%e44EH+&hj#>t;6&xBtBV)5p(AdD9%4GA)sJ zd~=s3hdO1>f4i--$ik{Di(XvUaqE{j%O^i`XExn4w(@9v6v|0fJm02uWM6soY^K>W zeKRqSOm~|^Pvhj~Q!f-cIm|hY$mAs~5N>9YJSWgSJ82@hB@K@(+v0U`bQMsU^SnLJyPHBe5@Gs(~6^m<$8(c$(kho5_8d%Se>1r9Jt zpIP(1%iD^woME>CdBz3Yq=-R(ey$Y>3Yj>-Z#W#xOPJ(j3P`8xUbzh~3){~Q4q_%I zJ%GI7>5t~(EmP#_pmj3H_8aL&7?WkD)j1DtULU5jyv_|zOn5oL12LOvvB%DpgR-x^Z--BOjsexI0bU>v%k9p8KHU=US5Ic9mh-8Dvy=O)?9?pySDA5jUvNA!(CVhS}|KxoV1Moj!I-_-I=uk z=bcQ;jn3eT7ykhT(XcHd9jwFe>QqPPdqLfRg~TVrn~Y2lZQ#xeSow^S!j2z%`*O0A zjG4!o-V$a%u*LFw>E+>n5-r{$PoqBuTu6hgkOk`!G**Hq=74~D1^^mfY0VM&oR~hs z>Pecz-bDkn9WT=qo(uKJqX~e(;ji6AxlG0SK{RRy;c~nQFrv#qPw_4jIFgn8Ggw(8 z(*Nxn*yd%~%-i7I6gtO;&h`Sz!AJlQ!~#&~N#{B}1sJ`eY(Uq4_vCiq)a-fQZvg!L zSMfdXg@-yHzl+wHpmqHNTFVpsmBd=2q$Y1knE2`hOhD#ec-_DpWc2k-KxMU}DM23jOm6FM@!5Cjvf6KjR`aWZItCwfNck3y&8!tXE&J99kZ z^Lp>>~Fa=qQyT#v&SjnJ;}i~RWB$WdTGk(GO5B>4tq0M1YWckV>$ znC6K@Pv}bkp5eFylUwVLlM^_X(ExckA-EtI0F_zCb2wqv9RxtpG?Pp>PF03H#|fv_ zVwg54j|X~xV;(Y0^7h{s04(86J`)CM>kA1`QlNeoZ{5mMp z=#Aa;9d4b8C~Hwjv|iNhvI2cNj#JBRL6U0ehXKh(#*=!5ktG^12EPMN70N73Pi_)U zhF5x2h1pE6>vE@6RHhI3b zMLx5Ci1GzpTh~d%d$o7QS#0=~r7v%>j8FV*#CULWfT$n*-2yuTSjn){*up~`0Iq)* zNWKgpEYo7p*<=gUP2o8Sb@4h3yh!5Y@;r0T=)CsH$^-~BXmjHRl0jOh0wplWviIC! z_le^#{6?00XX8BwoWSSP=0KRS22X$_4xgca;b!5>D7PC(O5Wl*TMW@+zK#}a1Up=< zkDX?q=j+rw&msQBXeZAb)Dnh5>0kI490U8GdAS}iq zi_dN+FzXVO_AevP(9p7uguw6MH>X>?$c_#R#OS2SwC+ebFUYb$y-QHRddjfnO}@;3 zJlI=99;D90Tf&M*rWo!n9XFCs#`A#aL@qkPL_k<3Qlhn-W!No@tBedL2=bHq=47r& z<&0u4Wm*M+84HQh0YaxGNQ!;74m?_B*J+1z)M$er(z{?A?y_rennK}D0#0!HJO(F< z-0OOQC(vO89z*B^B;F1hhJRLUx{|*R@7p+*#gc$v)f$+He~=Wf&IG za|fTDwvvA9+Tl0z{u7vK&~!$h^&(j2!a+7aPt1MOYc%i zQTP|CZc&l}qyBWSCI_-nb5R8gZ$-X;6)z?oEjnb`;&g9>+D=ez5vySLXi!965DJSbLJ!E! zQ3nB<_ZO^U5rBTCSV-tf10QwapvAAn7XcN)fu@;1>iNDQi(Z_7eQhkXNMwg zG)l}W3=)CI*V_z&a{yfUneW&`=-ibY_=WJ~s6x1>Rr`mqhq!cDQT9xKaqo8y` zV0M*qx|JX_Q6goIrBa6tehzG5i5JUV3~aIFrvUAO6OAh4e4@|}34GwNf-jfE5vTLt z+<5VfN{xg_+~x<@TCuKw3j;fvkTvn4&hoV;G!>|2gXII;jy>OAC$2z+WQDQcG=q}6 zBfql!jwvJ+q*Ogv0kY`nVkX1tWf|PIDp2KzGOw>Hz@iuG+7>m-fRx{lT~LOip<)!( z4ho4UnLJn$RMBuwUr=4wOOvyZqFK98=+mPVD$Jr;e0+h9YEIFAg!+T&ytJ-){~jL* z_t_OmnL}6UI0qz!AS8IoH=IGQ=5ei5+$JHPTY}`Px|CPKmeDmv zS<;GsjhL2#<0P*n-Z=A)=Z#r3y z4DziX*Yb5K32Ld3T;>}{#u8sv%FS>XK>_0n&h$xFkzLn+aT!n8b1aaDveI@Bj)lbM zl=(7+!mbhW<4Al#6#?mrxQMuR))Noxd)W&7m1{hJ>qH?A|6s8r(PeEA_M zudc2KzswGQ(%4j4a>*Se9;d9=2yd?3Ub*6=fhUpsge5I^H>WUXDMlIjR_x@9Z}`$1 zV(subb{UTU582?(Cu|lDoe>rFzt#l^ahD&@#s4fSK|KarnvlzWqn91i?dO^UJIwXJ zB7_tka?BP>-YJ+|3W}4zUp9*@#d*MJMg|z_Fbk}8nkJZN*v(Htk1mnahcWS!}94NjwLsG z#DkpH|NW5BH&nY!^!=~o3;3BcC?vF3HFg=lnmqhGyFotSl8Dm!dT2@})IQ;-HTcaF zTlnu^3Fe8anW;n@WHhp=!vI}v+c*JNJE9 zC-2*@sajz%$N8e7#|u0d&!09zRr@AQ^FvxEpw}vG&wOb zMm}8%FHB`_XLM*FH8eCJlaV7Re;t#{a!gSahSxfMb|T#*acv2?b}nuaw}j9_qlu7^ zgx1kQP?)GPFlVGv#ZZ;XdIFE&4ZI8^14tE;Wz0Y3%F*Ey{nMEh)0^R?S z%E!+;-pC@y@SW1X*<{fns`@HJHamS0I!bP4fcR_yep_O*h|Sr2M13*pqG*l zj7yaJz{wb2xw232>fywW4weXv`wa#Aej-6l5FW%{9G+y;wo)v_AIEUKuxV9BkPtFcUD z8np@V_UL!}^;T-Yef5RZp!;*(S`4{=uSpGiHuFWQ;@Re!)QD%_eoKvd_Vbg} zm=~Jwq{hAQwL^*!B8Gl!{mD!wmVoYFf1Z9dCKC<7-AB{&V%