From 832fa00a13ade8a7a950026c9acf965278048750 Mon Sep 17 00:00:00 2001
From: Felix Hofmann <felix_hofmann_13@hotmail.com>
Date: Wed, 8 Nov 2023 16:45:08 +0100
Subject: [PATCH] Replace word

---
 protocol.pdf | Bin 174508 -> 174496 bytes
 protocol.tex |   2 +-
 2 files changed, 1 insertion(+), 1 deletion(-)

diff --git a/protocol.pdf b/protocol.pdf
index f44c102af1c0469f64bd3f40117d7142f7ece9c2..0ed0bcde97f0c9f5418ef35c57e1e1bef11f8aed 100644
GIT binary patch
delta 6753
zcmajjRZtv?k_KRAaF;N+dkF6C?(Ux88k``5ySoK<4el_w1qdNHgkZsK@WJ++y|uOb
zw)Iv2)ersL)zx(iXhjQX$qWGAEQlSDDMg(I9EF`#mft<l-vei7n7)&U=YQPZAB|7Z
zGyQTmGXb*P+YEh~xju8hI;+-^;izfT_|z4tFWH7e7uF`V|H&{l?y%RvYO++-d9229
zSH_09`>3ZWOrN5@8`kr%3uR2b)cL_f8}muWdTr~a-_b?I9CM-1<*cx_;RWJrwB~IM
zeo<PaNt?gxXv$2fMjjAx%0)tXHf+;RL?`4~2&I$KWQefkGD9XIEm}%qNRBO!KKEXY
zOe1;V?+i3-Yriq}CaN8a_r4FkQt?vC_;neBm|^s#A%R@g%1C<)b1`^aA}9AU9<4!3
z$A-pZ3N)3wAXWCdG}rFfsG6jb6CKnF_IgYJizc+tG<)63uN*BU*sn|I<IMtas3JWz
z=X2kuGAU-D<ccMD;ChK}5EwqF6$2QBSNO)t?FRwK=y3VsCYV9B4pDhEKCobLmhTbP
zW7r@Eb1azvusNPE_Qp=~dbGs{-F^GKfAgkPnoMB@vhs@u=X!}SF~}m8e1;B;7k@;|
zTQ(x9ypU<maR1bB!RYMU)l!+6M;Nu|&0+y4Dz_)WF;%0&`V&kwxdgziqYhr)_|+~M
z?cr9y#iHh&CfZ6`@IDvy&rTJ*CY{|^0mkXk3-m;*cWN?hkSShGdjRF&WR0Ooz^Afs
z)#Q{Z8pgtn`ACHt^j^KR>(NFqb<yc1epdws5cQ{(+pi`*FV#6LLq3^A6;N6@51FR0
z8a+=bS?~K4MAowWA(d!~S5C5+c-!WTFltg}_x<WHLy(HRYYhVeJr4&Z1KTb_$)c+_
zuU^N*8kWaLT-mW$1v1AEW(XLRY6#o10{F4EO{%ix#HuI--Wyr+m0Y4=qXI##;Ami(
z_o=Ri2EJ{)yz6ndblgk0o_#=c)PN&pfoCh9Zr{<pSH=)E31e*2+uX+rAloRx*Z1a>
zA9=BGd8uiDGzXhsHfVk#OPHXIm;J#DJp&Z|)tFd?SF(RGF;a}%DbyW+eYxEd4#zka
z4~w2hT<mu0{e0Yq@#UTrtl!?&M?9$b*QMA@^iLeM0wcD;DgoLgTiN~O4Q{ANvo>OQ
z)y7Uzf**o>Q~aK$mo-PnEW(W6UF`V0Zxw2ibGRg?`o0yau9xnGEmDPfZnK$0QL1`m
zY!DgfkR)KvLV04{e>J$W(JcUx>>A3QQ&SrSD#DOG{N+Z`@Ir9`u8laUJwPmm{Kyis
zmL!_O_A|$k3KWZfv1vOqFY@od<I|0d?k&h&Ugh5yx4y?zB8NrhTfc=;<%*^BOg%N9
zBgf@B)YhAQm9+@!!Qw5@H#B#icH=*SyNJwhuT;Q{dQ<j0Inoi!aKET0Ho4gOh0!jg
zQ+{?|8@97=U1ysFu8s<|g5^u%#tBcx9nxW3z-6Q>>u+pd|5RnFf8&<0PJqV?@M%Ia
zuQS{xyA&eJX<P36`{gAa-5j&qp6+4x>z31b!gh<3eudgI&XvS;uRCqFeRgo~3x087
zMUqI($&YE;rzurd@#PFuR><CBQ)#5>OeApv^yn|4xcCSL8+2vDQh*~XI4=(dc@FWI
zDcL;Q6v>I!(a!Nmj<!zc6il$B_$_G2_6p=Ayp?SsMhpP~1$h2@eSt@fw$c^^@Pg*d
zi^n$!WwknjR5gu9hnkfaok63QZay5?IU^G1Hh9ceZkJnI%icT0jA~YpcQp_a!Ly~x
zbG;Ks<GOgI*!ZcbW^IBun%6X%jTTAG%g#~(;r)0h8?&u0&tX$6zWi)0ezUux_3)Hr
z9BLg3v&yUnFac=_2sRoLz^&=i#@I~%VPqW$jV1ml$Zds@DW#R4KI5BMOpM0KW`yFe
zHS6~W#qOOEM6nYgjIX#YwvLlopmk49@-M&_IBC3b&qZAeWFX)y#{pRfr&D7J;aEo<
zlxnJ^>$V0Hq=hO9tO&#g<8%6clK5^W+t^EO0K{QUA3=#`05gm15U0f$`V|tj19bAz
zCDgK2X!bqOXrJ*h;xpmqEs_!JmWEJ%;F2+9QU|Ai#?SyrlYs1Ef!%w$*fat7d&F9G
z+MEDSVjF(9cf*PV{jn6;vaT40A~JAH6;b0>YBccdMh`e@+LM-<0Gw^_Y!=OLwA0K@
zxCcd`N;u|^V0>gjb~Roo@(<%2l@ZUn=uZT1@Lv`2;DS%+q;R-%fRLT5Q_M(N1MBba
zBtxo!#-L<HIO<gQ8X7GIdszf^+w2h~4Px3VW`r?)NqVp~g<)!p-it#8!Msfu7qVO%
zp555sjGi2CIBM#%g4t3?)klL#B{Gssu{fbfN=I%#aLIfcqeDRT7?^E~W$~d4W^Jl6
z{penN)_B~pB{$GpN^~jS4?kAvo-@6#$L848JB;&FZLc|b`gHrO+@xV2O4)_)o-<YM
z<QeD^WbpO{Ct+RQV^z+BF)I&gs_)f0tPb(`Wmq`lW*lka?yj!h1$x=xMQchi6y&oB
z5x1KK=l#_xhMBKtE{G~zkj^juK2zjA$Qz@nEnNzXzD$m}sMl@BZMcJEBs|~ER?68d
zhP-;u6>aU!X>*sn5ci!&FYZ&M%fkO@kJ+-C`%9U-9@h>jbB<d?%?^NEF0{Y;=WXR#
z25!KX{V8(!k11Gs+5^Q~D>Y)itEmiPcZt}7&obKHEmr1JM217Fn;x6bQdVby!uef?
zkfDKld&GT5f7H5x59X@tExub-d2Q16U+CDTyjj35!y+z$$4VY^-UQCv6E#iSH|dlv
z>(p0GDY<9FClaC0j}=D~jdP?C7wfb$$m>I5K4pm?pOp3GI?pChDs9$r@4)=n>ba6&
z@B1oRHe;VoCodjpXNc$C@)-{J=IdF<-__e$f*)#Rj8?b5<rc=Ow+568EbLD1%zV}p
zvl=&RzZJqi5jm`x$t*~xF?Uz*ADq|w{jAUvm*8wqqQq)U?7Ps7(v0;cAx<m{0?V9I
z^@5>rrGaswzp9oUo~_KxCd&#%h!eKJ0WUgLSGAK-Ry;xNCh4OkCZ#aE!TATTCbQr5
z6{AKDL&vjQqfTOvfse9%yq&lj)uo|*B$9(@>NUN%{@n&F#Rv6LXCI_XZt6+Q`HNkw
zHp{vvb>FFOu5?%9jvFc0wT=AWXlN_z?jmVpFb*M2V83XXt^vO#J?;#YUR_Kt)*0w7
zaOv+3jIoc;{Q$&&Xc}(Sas7HPRAO{1=9mP_Av+51dQe!CKCWI%Xgca;xw+k}>1CRl
zoQbHOoT0Laj%Uyb!6X7i3Edt9E7oz>Jh2kp$#FB^zq4@3s@26D`@0SKhAlMeKkX*<
zneIYp7Jf|cD=V1DmwvBGV9CJAW@hmNeR}%5cZt3JWmriv(PuNkQ2J0^vQWNrCKP@$
zl<X~Px$JsxO|$A^Pbo7C*S4gM1gilAO8nT5XP8A0EWToOP2(&zX+MNogHp`Y@=_B-
zcHwlX$*+-8VbaC%c7r=!-*sERDXwV>U`9kmr7Cz}EjEKci%mOfk++Cqj$&gYa%$C+
zJMs$q#pLrgiDS}Z^vA~})Di6`uK>N(p-dZG<fh|EI1Fs|nF;a)m;ewxxnKbois+CK
z!}J=FA9_+RlD~yvT2o~T#z4I3tgek0()^HK%Aot*D-S-2h>}U`8lB|_z*5nafCamJ
zX?T?Ub{cp#b(zj)|7+j`hmH_Gn!Au;Cp|Jbod%Jm-H;}JJw7y8<n7x0O)tX;cpFY~
zxiq>tGqXrNuMwBJ3{|a&s$vwt+Pf>R0`d<SHn54SRz%cHaxnQA64XYl**)wkKOR^M
zzDL*9KA3+%JPhFNBiz%4lAfzemVbN6(}`UlC<QC=MvW!!>eueyGzTMc&R!EbJXbtu
zokI`5mJH^$8uLyN=3Fq7y3gErU<xh!dSLP{GkMJ1>>F!uuBjTYON;R=2ClXC+P@_8
z0*El$5#<zzCkCgCxBU*s!ppL;T4t>7Ec+ic*a!*dG35jMhK&wZiU4h~(Bi9uqQR<g
zGBA;V<D-$C<im(EHO|fkx!iS7|EobATXa;I6)WEdtb2oGxK#0X>E23K+4PDdPDO4*
z%~_4Z^4~;&r1vcAJ`NU69Wi1Yb`Yx>1J(?b=k2o5ii~>vWKCfYIxBN*6zUSQPYxWu
z@S$^8y+rPH(G4wS31plrE^7uq1jz?4o4^JeW-3{Q41`M<$nsN<RErKj#ipk+&>;Hs
zdA2?-JOlx1-d9M8{JJ!chHfgO&$^yfE6vT5$LUR#4j*?dS=b5p&8K^y`|iyK-)*mN
zgMIO!EYS~0N#V))SdX|8bJm$n{9E?Z6pSLK%>XAs!DVH=-#giV{3qR^YXa-)dSJYi
zlS+Lh%3X@2Vo?igcao`G(OAA9YI&KuP0!GjO|PeDPrLP$#p!jd;&(yOyD6)?zHEV%
z<7vZ!AX*R7$iI9TGtSw0=y`ltQ!6IFi2pKVHC@mw3YDUI<|V&|3HsM;YPBQHMz(y#
zoW&BxJ%Q*#$7H2qiH!l%O~T>Ne&8*D;OVd#mg%4rUb|XnTbi_iWJ}w@=+0p39tJ5B
zAi53S8pS;nYf*H+r5|c>$tR7fOH-nUh0u(H0P5{LBi-Uw_~Ow8&UKwEP`D;<F3O<V
z3@};JEyU9pf{V|;KP_LG@^=y{&$f7<TABokJ1jLID9wkS(4QRRl_s&kTf{Z}QeP@H
z<9O+%c1_sFx1=;gGcfZU@|Z2P8HQ%v8#FMYkOB!5#ign4;bp`jMH7$>ZsxX**V88t
z|AW3Qr}-4=vW+fA?$~*`kosA1S0Q()^zQbj{zivaY_JzcP8u;CGl1_uw^keRwEM=`
z)oi0g`INO&gaik>Na|0?igJbaJ$EL(eJVlS;ZYVr0s;eo!MxD^@`9)+1gOlxP=9O9
znN)CI5OnW^w}GH|IoC1*9_SHzT30RxW{&2+CpK{gW{lZWhsMVlFj1If3_fYp(TsJX
z6)tzfey+NJVpJk#BKu$J!Nr5!)#7w2nH6SFAmc^^bpM4QvvQhWx*f3nW8@+x;Mk57
z^(!U^-WAW^E*dNSj>O<}OWUPBXNO!kC}?iTY<<nuabV#O%=Q@|w6rm!?_n^S5uz@&
zczYHU8sG?9w*d{t{G{FDVZ~%Kd&+p#yAMB{wG{o+ye~1d1YhR`)*tQRBv#J(xhd2m
z+kTfJw|2#xT8Fa5SD*8Hn~Z4Eqb!vgQ~)Y|bk?_*NlX(SM@ej#^LbkG3<`9&*m@jv
ztFk9g6F4P>HRPSCbx_QrA|sb0lA|q<;PJBxQ45f?514jm&pRRvM4VjnIKdf{`kRJ%
zO&Uyi{%A}7oXh13HsHLj@ZwxXT}k|>)Q>O|J)u33W72(A+r#Z+A2V%a-u9Ufiicx;
z=!fB7eOPhyxSl~6m-&41Uw2pZK!66XHaTmOT!LfLP^!`pP@h@Yo^znIHoj;Il#x$W
zS8#JHfkWHalZ&ix5tVE551Jth8W_<V;aV(J7O(%O^8gt6{V)Fcq_*E@B|hz~l%<rp
zu-&CcOdMEp)!t&#<#hD>e18+g?{OlUm%6AQbbio4cSn`W2>Ka>{T5ICr5vC2^~dug
z4%Fo?h<1xkKI%-|;RgL;&Hkj7Z1GTH!RBQeYLd&kxhn9{{NBvenB7-fG+3DO)LZkg
z;y2Jmxhe&mEd6Ev)RQ0gadbJB?8tz9PcS8IQrNG%cfUlXf8kKT+{EsfC6|Kz(+Y5_
z3TReUjpl~_-F!hIX%)$qiCHESa{?!sE@qvLqieptflqU@)z}m_#ME(q^mAh?&ZpDc
zf|BpPSnwnddd1LEH_X?BL?a1>AN5GFIMSv%DFGy4U3X9=ON3*OHYFZ)rWH1ZM+H)q
zZ8*Q-&^X$}ApD=LEVr2KVJhMU?vkO)&fs{$qC=;ld=shcvE*2!A`canA^G=^jli`Y
z8ET1KA`;0`RrLkO1CBq}__UUG$5kiy`-DPY;<y}LAgn6RPU<iZVet1m_O~9X7KeZa
zk%&<+JiEyDJ<BVlx-5vZ>T7E6CEwn34u5;ISk~|3<2m#c6Oke7(!r_9#99LKds)Aa
zrof{-*m~m7A{{UJ&gz0!bQSsUG!rpQ!;~w=kq?x^3!{z$t>nMhwuWZZ{cVT*X`EZ6
zL;|*VQ$LW@AnE&Jf&#w>Zr_TInH#Q4Z+kU@8!B^aA`V5<jWyh*+N?V?9z`m?e@Wyd
zW3F$KifB6TepyP0sNLH%G6Yf<23AK1iv>Kagv5-nQbKtMrV;ZjE1($iX;6$xo!uQ+
zUC;<fnIiU<_E+FaRj0N7=N-6uDkJ8A@rFS~Nl?oKI>{$#6;UEcpTVr;eAJJgV5S7H
ztPoAE-yA2~H$Z{fu7LVGeL9w=tZ|iiJ9hmk$?n#C#lp<bxZ2miYO+(Ugt7)NTZm*Q
zez9_W11eXmo6g=&>QVkJkF)$YI=lCg(olh>y|j@~hiHN6-Tb)>$tig0Q3zs<=|m*n
zr}w{JoS4$6;^J5=qduXy&_)`$E5dPsXAw9!0AZ18)fhqso@qS78>tn!$KUa_Lmc5>
zRIs<!z+Xvu+LQ@7E|w}Hjd_O+m!pOzU>>Tbfme(^!V`Su$Yj{Q-aM0@KZ(<rbP1+K
zzE;-P&ly4@-xn@r@4Yp0K2}qIx+fR5-4;AEOr}*HRM;8aiLTU;ze=m(NP0&PwqXv4
zB>X<S7qo*gH?=Pk!O}srm3K$p4p^^<OeXG|Z)Y8-*pLq(AVrV5sOq9Rt(+?LgWYt4
zy9i;#88!DAF~5P06)+M&d}reMIcMQ16kHT-;PQpdyf^TgcNFM(QAiz=v#=<?8m2G&
z3wc2wk#cAyTdG<p7*U@b(m@HP3P|QAS9KO$Ke+ju5yegSiijw;+>m!!rG&!Av*vR{
zv4fj(V$)KW6DA$YiDAKyGXIHFZMYB0Ip=(L3xiBlL<Ag^QBjjusC<7n1>Z{DM7h>C
zJ!-}tGC_l!Ox~9mX!0He%=%5Zg46le-jJYa&*4iWJ<w#7=t$(3Ig&0V1KP3J0|Czb
zicZFgbNaw}&+i8Vnd<Zi%??^n-PLyL2N2kn<t@|mV>R{l!b$O*w2lq62>PK?j)eWV
zA$7FoA6LzE5j6>lcaXtqstHCdDfaK_b4G85N<<RU1j$v5Zj^ZE*CF`t8gy6yR#R!F
zF8%Wbe=#_xNasYBo;$HvB*v#!!-cOVA9v$wThwi<M(8X;(t!^MQhu>*{@;EV^u2-U
zQI%H0Yq&EFDK-RuI2Td5mIEVoFV9cSUqN7(Yxw5)E`0epVw-fb%hbvweDbFSS)VPj
zPw~iqu)-h&3;aUfAsY!6VADFHU^7@}==MDmEY}s-zTu(xUJ|m?c|`K6;3q7$@pRyH
zPZ|22a$fm`w6HEpWyP!FT0QPnQ4oyI4v{p6|N6rfqu3K|_X9K_z<YMc%duD;xYZ5|
zS#wFf%XI8Pr}}_5LA(IwX8KJp_L*)apzBSdffbbbjk_1l>M`rn0(36$g^LsWPfz=*
zCiOZ@0?PnZ*w|q&y8LR3w)^uCHp-K?tDXHHgtr{P<#HZ!A<~QGK07P5kERRJnVnG&
zGS>?K!0IfvYk;Hig3dx^>9ooYI~zqRgQ8+Y`FYg4NEuzS*NouBe%`fr(C?G7s!YfH
z7Fqqw8*8(x6H@-d2=TiZ3a>|^$CU@zBhFOrm)-v5`07+_6|=HLq!cN(R5+Ax$nO0I
zccHA2tble_V3Zvq9}f>NcUF7`km5gWM`H%i6h~T8Mox~4pPNrsQh<k_Pm)tWmV=X9
zQc8-4Lr|JiN?KNoO630=$x^QX3WBFylO*vY51wxp;(oK+nHqb&KVHhr?ADLdIyP#>
zCykMzv8PE<pd&C<paV5Exj)gGHQ}He)9LBqt-H()A)#L9&!qkH8F00k_1nrx*MjLQ
zDe6P$vZt6*%iBp~?3jjq@Q9g0X!l^z1i@S!Dh*jxaOi_5T@)qm8i2&qb+DukY7K<b
zeLaRC#KA3dgRg`{1HB<-T}cP|SkQ&Lixq=Zg0_pmeG?-OPP;XK!zMC-l_1TLu_I<1
z?^`<A_+<iyu_USB)ID3|G@LT%14QW?S{+iIzGpCR(Yrdt6UdiufDx@Gc_)g>*j+ht
zP0z-19YUatxm~u0f~|Ry71%22kd5^--%mxi5EF%V^qVliH_}r;m<9U^GFEWd9~=QJ
z7)v3anp^h%QKWXBcBXc#{QOhQVVqjXf(5XsXqIyy;g8)Yk%ie{uNBz_LTRSM+lY&;
z#Itun25xzDEE`adjV)w4K(+vQA*AJt5*!!jcBRXK*$_rbhC+x=2u8m^yFeTNN8vww
z{-OR4#(%uMe~voAZ$JlV7%`OwL<p@{D`aa}3gGLk#CtP;2h~gKYKGd?+0_ZLU}lU0
ze|_kthB1;*uhFs4{|~kjjsziAFZOudZ#n<sNVv?^kTj4L&4k%ladjAH%Vo=f|BZj4
zu;<hMtB$4s<4P`CUa}Xsvli#i_MLu2d!RhzqG_E8LQnA`&Hs5d!dFTp!q;FlEu$dm
zGH*d!UgLkUcku90rhQ<U>5r@W`Sau+SJx1RH<!=e%p*>y*=BgFA;W94u!*~vJEJC}
zV|#ZDmX^7-q5MGW!109Z<y*SCH5Q#)$0LBF*^)8FNbAt_v!3wrrenZnqk67$J(qK#
z;B(`L-B+Eluu5WVacdFSSI#HF-K)HKMse=H{i9ka7bq8pe@#Biv;MCn$5^Ape^3w#
zQ#|<2N7dh)>i^z7o4%ne__5Dig=X#Y$-~p#+S2*o&eh5R&BN2u-P70I+6Il2pPPrD
N8;zb`R$UJ5zX10b*0lft

delta 6736
zcmajjRZtv?k_KSh-F0vY?hF##6WrZ{yAxmrg1fuBySoQ>7=pV)fB?bSbN1HO?%USa
z^;bXib60ieFQQa0qQuif1Czwz855MLL7|vw#fhDLB3)3{y2*R7IN#5{`eT0*_Dp-Z
z%t~M$9Ls`#NjpA2-216s5pJSkS1{&^UKeCbC5K=aGBMsrOE~YdJe(+-wHB=j8I73I
za9{K?N30Xp^SD>Oc{y~V-L1&Ck--@+pJ?uTaf586_mY%;-&_;bHhhV_X>Pup06nKv
zO4AozijL~ZlmcFF>upFVua%dL1lSDbzM>`~NoU~Yj(d|^+k^E)GsT!vsXI3<NtJAO
zws#&Zm)91YewkL2aIbBmj&d)5(o`E_AkeTq?cnp|iLg=h7t(+Qz*^c4ax=9nsAfb=
zebQ#MQ$kI6*6&-d?cw{(Wl8<K3|cwFe81<Ji5y#5-Zm}M=Pz}DHIxS;ih+q1q^0dj
z<qByvsjZ)RW~7(yo%Jntg+dUrFHF{n(n{eG$ylJA-<^3MYbwbdE4NNz-wpRl^bar*
zhRPXTcaX-oj2IV+;HL>^w^+tPx?X%2<1kz(O<~Q|7saOZje*axpFDYzKyn<VR!i|X
ze_0gu19CQ;x_a}PcMoR(`i@3qiR%qucyMZ|jhMSYAP@{2M5~V|RUZmv<fgukKs7Vq
zGf@xxrRcfs=v`_}4~{CrkV?q+*vn=i1hE1m6@l0tP|Ogi5_ms2hN^EaH@OKoeBv@p
zQQ3a3vZT}%Y}a~<GlU>eD7bM*{UDPIiB>LZK=tR^67Odri(gm*T$*2T7M!Infhlv*
zuGghf1kLfTDBM)Ok3XGhxpK#~FhcFi$5P5LzG-rh_f%$LCC~NyrME}phHFt=*j9^B
z+X+p@NaGPRQ@d2xcw=+;0kMM#cU2g3NBHnlzVT3buelflawhIT);>pa(9|gLYYp1s
z;;Px4fS$^84Auu+y^<R$z<aH~_rm;|#(n8FL=z><I-7CyT{JEOr5#V-z0}V?dKoCS
z6daBep6zw+5+z3g<?@LvDd-DQD<U{klFAB`vE*LehK@DzL+kBqeHnC&#Z~@+MlD0A
zao%_{TJe|bWYY;`@N4Da8yrJMSBUQoxGt13N7%$tpOLmJev4sI7U_0O2_LKQ78_(g
zMFWhqq>Za&{?Xw<Z#~mQC>%Q~spxG_gJ$c^MEIq=vdUMKo8xUG`5p}>#g9khZm3)g
zvhy85Ut()(5<%EMaG!K1JuPos!*H_>%92r{EcB1_<zHuzF{^>`XLcm`(B3;v)IpVi
zv92Jjvp=R6{8bJgFq?l`+A6rD4(^w_XL@(p*t(ol&gS?JSY9xKte@qsn0`-m8nf6|
z*0lP15ClG53NCpYS^BrI4k<oC`+et*R!m2`sKB+3`YmkwIk&cq<f?}Ehn-$_z<^v>
zW%FBru8MFUNaOxs;7*0-YaSPgnI?k|c1~~wd48hnX{Df_QRjT|JqUrZ!i6j7H`~}w
z6fZLwlu;N>Q!fd`ASusvcT$W$6t1n~K5IIM(=Xw2VksgI060m}c6{Jc#Ex&HptxIH
zO_22<&-Au1?r=FwTjMN%Pwy7=9IdbV#gVNlGW)vAi5QkH2*~6`Lqx!Fc2lPy5_YcD
zZ5C?HvcgWVWpcy7X^7^cFMFDN6JnSgv4U^C`_V)IABYbl!1?b21C8hz#x0KF_|Mjz
z{M<}a^76QcAk_>HHb%K?OQ2!?HA)YQCmP$zfTIIk-TwZYoCDk+mPbpc3>11uu2P0*
z=QU1Glow~K>gv*4-mvfWsbfIwRoJ`@RI}w1RC5cds|p8*t4{X9yA`OI6_`l1;8^MF
zT~$n7LvgHmR0uc(K~uN|Ye{A&p2$U-D-3n%oP-(J=8brXd&Tyn{%F$#jLxXKPAOiI
zj8L-u>6|c1D5|?SCDHRtRyC@D99%I$)imGe;)SoxIoZS*O-zxa`fJ#l)VWF`+C`b^
zHz;Dv!p4i>o0IXr4hHTq!l(^TCqPeo<M-Sm?9foIA$1^ygE$BSd=ccnUiv>&2BGZJ
zMkD7Zs*4;070^yNWMHIzL?O?y4Co-}AeD2$5j9C7IyX%~rx)m~WJ+-!@nAsU?Z#;A
zptc5ZSNat%Oq5x0z51^SylDumOjpyp+mXiH2#CGs1zi9fiTN;6k9Z5?(j=xw!`D9)
ziAGk76A3|*pqZ$q=+`kEQI&Y8!AQ9WmVlqPfe>mlu83o7Zek<iafPO~bOO_qA89-F
zIwV-~V)W3#audj@4M-)~6_FIL<z^Ze7H}!SDV*2LK?+)qujNKDmdJL@eO&Hx>BKlT
zwP>(z`UI>P@!7BQ1AkJb$<3!*^+>*xNhjQJRMt%Gfih&{02MbaBp<zgEgJh}XJsCo
ztjCift)f-N0mN^2qa)ytn;6cc2C^g9_M{;_45uA$Vg^^8G1G_ZTQv-)!|OCM6oIdY
zDtw(Hyda$qKRk5u!Vbrxj<g{MSj#fdFG{;W-@n%ibZ-UFjXlD4RawHX>zxT~ai)Es
z^?p%X(9HUgO2IQ|J#`UQ?l;N&^1z{d)6x1Ubyd=efB1EJgx3nwI+8Zx&V)?B_d|1<
zrZX{+m&qLa?QsWw#}IzcMfma|bh0$;PHn{YUjNbWtjVa>{$huyW#V+d;p@fL_nc|3
zZ#sFc@9VIb)1)4l3$+g0e=q4YsGGRITuYW7gQ|0MzpMJsoSMopQjlh`uLCkJ=~izh
z4r6KGXUg!CXD{(|K$<<7t=c!Ws{D3g3wKfm$(K6sOQAk%&$U%kpMQN>`<AF_K6EM|
zy3r!JCrQIA#Ice9^R%zHsA`<YhqB#bm5JFJ;(x|SUiOeCZ=Tdg^7q2P6T+wU%W9Jx
z8FXz`^ljl}d%H#n=(M@py*#eh0==ke)29BqqKf=mkZG4td*goV+Z-E}RiUR<k<I>A
z-8TEIbBo7!NSB@L%<+}q#c{t#XlCo8jjz3`H2?VPQjfgy8tpmh*yzK<{_b)EYVQfh
zgwZ>itahIW^#j(`m2l#2-Fzm=y;@A(G-#4k_pV5`=%#9x0+ly_)5kb^R5>-OQ775%
z&XgKR(#Ntg`Lf)s^TkWY@Tn<%nxT*FL#qy*E#Fj%P?n#DQD;{vh2JcWFpBQ3Tgw_~
zslYR^ymL;qBv~D%f!RS)Sb?aI$-Adx7txaXe`CBQRRfd1XvGY~>|Atn|F+&J_yO^|
z>6?Fq9NKDCS6XId-B9cw?=t|Qqe&Zvnl<Xizmw1V6xOT&K3CI};jZizEdtcymII;{
zk1Y$fx9TRU3bQwiGBS_QU`7RsN)#RYk$~>iq6lBja{R6P>-jSsgb|M%JM@-K>;V{P
zFZt>lx}mshv_7CS7h;Z9!Cygv+7hvm<}oARRt!EHNVpL@Fl2hNi!!1_VBbcPv0zv4
zVKo;dQCb7BI7F#r(rZc?F(GqO1#I<gYqD1|F00X)C?PuEVHxXxC<47y^%af_{1B^j
ziqIqJIt<|1aWf00jtklc3fiNs#cy%k@LBB>=?P~fcXvSrv}FQeOb%mKVs3)pz5^mD
z04Qd~6XbThNy17qYYn29bZEJwu`w3W)OfAn%|)MP=U+Kf`@ga1lX)gbY2^386LjPP
zx!mC|7(N#}xU^A)WF89Opl;96+%PUbfclK44c!lC)2eK7k?$ZtB&qOMMm>kbxfCe7
z{AS7wF=LQYC^BZ;AVW?`z5LvSP)fXMxw{Qstb3#L7Ysq73Wsn>T%|(m<#@!4r|plY
zy2>R%XXSEe7sHM1tt~QK^p^5J*Af>rXXIpvo-ZmIf!W(^+7JqcMTup5qU<h~sAUNU
zp4SJjrxy=_PpF!1$McWGkA5xPRx?!x{0H0cDTAPgHuX=AAlVdKoS08P*|jE5J)lv|
za?56y9yM>gI+Tn5b|Tm<1gulCTlH2tjqxte@}3y%PxCGr6ix9ir$LnNt@+IzFnx|S
z^17zSvgR>=;eiKDj7{!%qN%I9@e9Ki(^c>nT{?BAwq^-`Paf_uEjVvLa9wlEe;{ly
z`M!XP=1jE0NQi(%1is#Iv@>I*Dq+B~ee11h2u0*_%KmP?PSj@P5C$rW*ezku0-HQq
z6KzB~I-Zi;cf163onBb-zbr3awkGy%5h5HL;LXf|E!Miu2GB&fBD4M}Wf8p_wV5#n
z5>=t81;peU0WELek`vsCv`BZ}EIz}N#RtL>EW;%d!HepuI=$ULn8@7SkrSmTHdNH>
zrHa3xI<Cr{<~AgWfzL}a><-*l)RYUrBU4ue;Ulx^Yw_vka6M=^*bB!VJ{7*2`xuKD
zD-lFJ+4lmllqGWDakqC8uo8ds^uo`n>snq+d#yE=AuFfZL+L9?^;jHo#v=Eov49xr
z(0>Iqs)d*58J+s0`HO}=fK$f9R9DDUns2z9hgR06<vAL=9Gwzy+dd~;99~AK-^wqx
zISX5100AX+``))XN+V;|Lv#OK8;tg&Kt}VTa_*^1M!P4<$)tG<_w|BTM7JBYt`d9n
zY;>zGqU_I})GL8i2MJNZc-){?m{j&_tlKnyB&pS~9zO?oRQc6JXS>SY-Ua(h%Leay
z+NW&vWT@dxG2)=K*(rC|r@~obqVDPTU^Z-3=52&VEI9n`_Dj?}ZaJT#jlQWii`nES
z4Ba_}ct;V|FUwtU%^XlPc>xb<_J`uFLS?H1YO7-PpOB(XigXe=5!bDhQ_l#B;#gp#
z8fx>ZW&2E?eIx;-LX$lfhGM=Q+_^Myx#*|tvkm18NTe`{#d%aJFVKY)CMp&tSHvl6
z`k<S)j-EePeEQk6$*fl!Nr(EgGJ!QBAzRsSHtJoiFTHWL@6aw3-1$kEv`qgw89^<?
zla3oQx3zVY1W1Dekp>S@ad0BQ$R1BKL|t7m3@w=E(9dc=$y~p>RzEiP^=cX_Vh9xS
zsZ|?<zLnQj)_UF34tT`FeTc}v{_ToN0`=fAndnYsBo2(wtJq`{P>;2ThwKeV6L({d
zFquVHUHjBj&E{NcC5&mT+Mld%6M;yov!1z38+q>6>Q;T}bXKz-7Mbu1YCD(f2t}c!
zu{j6`QEr^T3E^d&v-sFu?JjV|XhKa_4(f|=@paw=4{Iv{`Y$;M5Yb)CxrQUp-pnDU
zS~NeL%37ztxCi=++dNfBO38qyQX3oRhqbyp{!Rv|HjH!VG*(2MR)9%O7l>&qW?W|?
z`D*1CYhz0t&qAzrf`#;BtIhNsMp?gHE=>wr#dS5(G)0#JjcfLXpp0`fZ|8bj>7Vl?
z*q0g1P)Wt}^kLKOIj>E7ug-gCB_NQI^+Y9oCBEHe9(iEC{%v|;B-)7P5#1oK%oKKY
zZS|a_`pc+9>5tlw=*488Ay8xne@#<|Qom=nQh$JglXG#BC@&A-3?KD(8!w=Vhvu1G
zTL6<>tDBh^aNTDYSf9B2+XP(JEO18lv$Yb*xu%MjX>qPu#TXlo7`^)Bo`lxv+%B{5
zBqCX~!KQNJ^xZQ!W34c0_oPNCULHYv%uMx>xt=EdZvso=b&BK5XOLV$Z)`yIy(3{y
zQ^_0F+uRaG>x>h4&ayC3TXc|}rqub$g^rW`R%$?-u3AMrYAlX$HbL((^Ws3W={IuC
zjj<uQ8$qrJNsoE-kJ>m@s&&~%)i#qvdGVm#s2~A|2ePY8tGm^HwEyOJ4~L!|MGwp?
zzxs9Qf-GOucGdzJ2@uAqZqwqX)Pa>TlWVbgPyDe|?$@pH{X<ql%iA28pHCMO>Q?i2
z-c&;bk23hz5{jB&eUtZ08Q&>Bprk5QqrF%tm{xwnGjKe{(Y+<&taS4%66r!OiY@kg
zNeHER-2<NGs2kB-e;Y~)MTp(Cllu~kM35t|N-)t`VdTMLIViCTX!*%tJ*V?)uukM>
zj;Rci{9NoU3uFprN<>WXHp?y!XP7uwsg+d7t_w6VyV(4%V1bTcju<L@bg{DZ^x!x(
zaK}r#SA+zZhm$8rCM&m8d&ac?_>;`w+>$Ef_vEbm9fIYG!4LiPwbk6aW6$@@%e)V-
zkZ;S622Xedn4s?K;O&M-CyFR0GZi5^pIwKsG;Sw*OMkYW`Q>dw>JD%4q|A>LWpZs+
z!K<j-wNAJN{(A^{NR_;;;BeE=b1YS%Ze`ae9t-JF3hX*RG-blNw*^m?E<bdB(3%kL
z7Q+G`^Y9y?2wO*Cfvs~0L}mWx2BFcm`D;qcXFMaXGmvj(g<klUWJk&5_Fuz3_$~tB
z3ko%x&p$aZMpkr+2X(wQ1I|YW@&7p1umq+k_pS|+Q;7RL_8aV_Vpfox9|lcxsE33W
z$%llhGr76=Yf0=y(lLzS;3$Y*Xl^tz3%Y<qu~?UT&G&bT^CNYy;prNwssZ*pO2Fg%
zbIChHF;Ma-H97V)*$EM0I<#_GL3UY06>jS4q&dAz^D*-wrQx@k;@PS8cB2&+jM54j
zHSJFB9U6nkIZJH_BC#H@(#>Vuy=U{R*G4FaPW%feS>n$Qy1WAd4as3$z_DK~ni^o0
zX_QUnQbHn`@=L)Ly;KIAu7L%z(1GMN8E10R7Z6Om3q3dxndr`4!E$c6u&nskZYs~R
zhHYs&x&gz9mG9%q`}szGh2bdJr;U$yqmp>0QwvXKCC~2ctVy(EU3~D<=N<3<rXu;$
zq@#4HibkEIQ(-p;|1}uCuTSk;v>%|Jab<L>uJcs^RArmlATnJP865T%S>X`1NYMzC
zKOms0S?Qpa_ki%%t0SfBYJ-`kG1s)49-D1bhI$9v@XUEqhxOYpOaa4I4Q<YkvCpW3
z?-~_6$`r=W>}`^wMQZoGT=V)n%NoYiU~I_z=I0}Zu2<u7n$(xvKZH)(e)2s~=&uZN
zW=E$A#TQ#u<O;#3LqV9P_FoG$DEot$u|PZPm{=lX8L_3UxtDIf4--SgI3M9KMa&Qt
zZw)#)Qj$v{U!0rpF^?wQm8k)$5h8?os$lCzqOx71r}SgK7hiu9i$#fEH?{b940ZY=
z<U_z({3<5-_LEsxnwUib>{u*dOr#o5Lm9Fa&Hf9k{m4d_py9yQw~h|RV1(#Y_{)+g
zf+jtRg6Jaw*8HkQ%BpjF=k%kFR7G-#Y8wrH_06SnEpqGmK%4tH`E+y5<kHN`&R4t9
zG?tHScZUjwKZ{ib%aR)3sDx3iza{~gi9teB$+LQWtaNDkRH$-Gxb2g{FMgCG!OZwy
z!0ERZX)jLAWdf4Xx1-!~yrQ+RsB;aje7j11?(dI#dk6c-Oq|F%lqFCifhxIXPk`z+
zhTkB?ARNAevuMjy#5N3fQpPd;3a}}Dx6o4@Xe@9270hDJHZmU-N=%2?eQ*jZ4f^@+
zIltM0NxTo;K15kRau*Y8Na;nhDoV(Vke?<}ZSu$+*?W`)W^FT6Q^2YRUUh|jsBOhM
z{e72Se~U4hK)h4y+o`&bNA8+&fA^U0W3t*M2A<gE<37hwB`cZwN$19~&+4{2vfjz>
ztZQwnuPZKWxjJ|uSV+SNm_LUhfJVB88DinG*#Gj6rIZZfc!tV~v3w-j>%Di>8Pgv@
z`$71Gm@M=u#-N!^t-i#NHSoL#O7SZ_LYr=1p|hfA@8oeqz5BZTKF=4eel4LpU_&V)
zSG4;pgYa^Mx&E}<;^bhLY5VN%o+1A_G9tM^`>CRS>CJgCzC3b>0=IsxO-$yyM6N(b
zIkNN{!o`Aii2k|&sjjtC7}zBndR(+e_U-O9w;f#y!^o>Fc@KGbWT^wmd`RdP4Q_A$
z14<<C6#d5?OV}L?blV*ZOqex1FE@~bFAbam1NcwdR+Iu`h$YF*AtAxZ!_Nl<^6&_7
z%J7Ku@$qtT1A#ye2@VNvaTyUx;s0+WO|le503=|YDvlNE74SCYPlOvsR5Us)WHeqE
zF)DNuIcnWK>n$#YgcL-H^eGrG$fO{LAW{dp)ya;EfWVAdf{9tYv<b^2&j#@Ac-_g%
zYRikiB>6o>Z9&=@*<gk-v1CO*!kS~K4TqR9kjmAvP}hVHC{~+R4&~M_?)q5@KOcvT
z8q^k2j-v5n=ztG*8LY=4<A|$DUXG|e?m%k`6+_mRv4IfkCXU-d;JS%+3|(3tv*8=+
z$9j~cujEKR1aCqm5W8zf%m!0)z_<<JFhJ9()PY$WP^(9)H=2jm0xQkIYXxbV@P?O|
z#jOe};s1;gEIcv#Qb7e5-aE%}96!?w0F4X-<_-1s?2FBJ&^qGnNl#$kOoUdU5&D(t
zQ7@ps4~RI!C9_hnE7j*6o`$Mtsi&$p%g%R2oJ7U`P<6)0&sX9+WZbbHK{7EK=-z{C
zhYn?3{)pLB3VOWcVWv^Q#?OJTHpoUKe2f%^-|{HF#)2Xw+}&d~Av1u52w<@hfY=DO
z@VD?|{~_{^E4(Yb+<z$j<6Zp`6Y|M`5GKD_Mdk^`L*^qG89!7~JY?FsY|vm{Py?SX
zd^B>ja%jQCoJFjskhBm~h+U{SsP;ehs8JTn7uCGftAnP4|78;l2}T)YI&09#jU3-_
zG$k=50sR~QqUv^z{a1aYH`g#J6#)JQCESkvs)Hj9OW8m588qxT1eNA}hq*ayNw|l6
zgSTgjudL-OGU}wHOfLSvdIlH9ey1DQ*gTs{X{H*1BFonn(#FGWS>F7xRcmxFt))D^
z?Z06!XDMz+mk(V0^TG}%nHFi5;(^%HpIy^8iC$t)H!bw5NKI=Aa$>7SrO<C3Ep9*M
za{fwnX=C0u@)~_}9sRLRjA{JstN*k&4}<x${^<T+V&wo!;hcyPtS#)V`RR_mSiS!R
xfZ(-|{X>||Q~3I(kfMHpd-8j?Pue@|w8bH`X_{9B3?(v<7ln>aT3H6=zX0D(*Tnz;

diff --git a/protocol.tex b/protocol.tex
index 67a0c04..0cc89cb 100644
--- a/protocol.tex
+++ b/protocol.tex
@@ -258,7 +258,7 @@ For this project, we will calculate 95\% CIs according to the following methods.
   \item Fisher's method \citep{fisher:34}.
 \end{enumerate}
 
-\subsection{Definition of the variance adjustments} \label{sec:varadj}
+\subsection{Definition of the variance estimates} \label{sec:varadj}
 
 As we assume an additive heterogeneity model, we will calculate the confidence
 intervals for methods \emph{Fisher}, \emph{Edgington}, and \emph{Random effects}
-- 
GitLab