From bcaa417911c5bdbe94803f68addc26ee548c7ec0 Mon Sep 17 00:00:00 2001
From: Manos Katsomallos <manos@delkappa.com>
Date: Fri, 7 Jan 2022 04:17:30 +0100
Subject: [PATCH] Substituted dependence with correlation

---
 graphics/related/rel-atk.pdf   | Bin 15134 -> 21870 bytes
 tables/related/micro.tex       |  18 +++++++++---------
 tables/related/statistical.tex |  12 ++++++------
 text/preliminaries/privacy.tex |  10 +++++-----
 4 files changed, 20 insertions(+), 20 deletions(-)

diff --git a/graphics/related/rel-atk.pdf b/graphics/related/rel-atk.pdf
index d51f7f37f4236b940a427dbc8c5cfe6c69c6ed98..25f78e7828abcf15ac435db5fb39c7df5da81caa 100644
GIT binary patch
literal 21870
zcmcG#by$>Nw=k?CpmZbMUD7a=3^4-IF(NRClynVUBHi5~Ln{p;I1(aCNz8yqm(&2#
z-S5rsInO!gJ@5C|_kAzdT+F`LUVGJEd*6GlwTDATSyez-P#lk=X{+V}PmK97v&$=c
zJXu+0p=Z|4w(!@?;s8hwkC~ZSNY%~}ZtV_yJ6gc4m8~sZtgP|m<?%e=?$#Dgcs_Ze
z29NK6&6JoeUcIidb#(ral=su{LD+dT4&M3?ymLw$Ji#;5kS7oBbR!>H;#oUe{l`F{
zb<6UW&+RwBNlfCl`}RTfKjryH0u>)PL>~@tXO@+{1pt3S7LS1kW+5d-W?^O_OAFvX
zAQRB>um3{NwO`p=Tf+ar@sVJbxYg#i5BU5C50U@m!7OCp>uSv`q+?-g&CJ0p{0~nZ
z3wLX0I6(H_X3(^@va<lY_%NFQpvTM-lH$x_!jgibz_-~yBa~d6;lL0N=38t2%XAQT
z7f;v!CiK7f`~&^B9{K=xcME3^*IRy;zW)ZRF~i+Gt^fU`1Yjv!d)Zl9>p{S`!2i%v
z&)UPq)7{eAgZb8CdjCzkTZL~e`QK(#>OaN$f11%-oBm6@|1jMx8zFtqSMYyqqw3=B
z^bZ95KTRO@AL{>?ERz40<v(47Z&}3PPG=Du`$`!r{P2|^7B&{PsE0l_xe|VOkwLgv
z&699&4OlR$>TOVX>01qXC^N~uJMp@NHvgx;+-mV3{vs~@@439?_%Ch$k@5elzeqDn
z->UGx`^zope^^xbzr5rBvPp$+UGAUx{ckqKGvHq4T^13QG`wAa<VqfLmXC3})rVF_
zw8eCu3K^klAB*X^_O0RF2j4MnCgAu#jrorP|F)*czpeQXv;QB>DJ;SaeEtuE{sa4;
z7X6nW-@4xa3yZ2b0W0_)4}jWP0ehIR$m7TVJU+FyvwaO`mJ}2D=TXVU(ZyZg)xr{3
z^#58`5O<4zmY$Fru!h}TU2eC!|6GAWU^}>nj<vgzi<7I1^X;x6^}lU^TeD|S1LFe0
z%MOml?wXqSJ!8#CWTo?%nWqbM-ca(3QHNohQLTTa@L>G_dghJ3y}f;zQki~E4pFWy
zjxLGr_lGLFy2`EvI(a}dJv-{;`~CZ*ch{8jJPO*hW#2KeOOf6sou7~`upkanApO7c
zm%N4Z<sE#c-D?j%nv9f_;Z?`C`mP~#wOf0Ay>@dYd2`;+bhDGoG-O&AV5a+Ho6XkQ
z6Jah)TAF@celjg6#xVCKP`}{Wa%tH0IrJuD@A@xgX=Dvz9+%Yj_sg}hj4uDm?uR`3
zzT*A!t^3_vn_eGfl{!RO_Y>B<hnU{;2$Spo-naM3+&p0toS*upq{6D+i7Iv&#N|B@
z;4mcfr94iBiX0?#Jn67y9nm`3(!Y@8A~oPyHtemvzVw{MI{d=LstGq&(A7^1FeuG}
zDh8jJ^KJUPh>hwN{pIErY!{<z4S``_`Pp|)D#BHwo~j5<B^XYU8h%<a{CaX7s5nRt
zw~l(s((P<m-Lx6(ykdxQv2k9a5n$cF2s|<I%GuBh|5^FQJgR{Xqen`bw9~n6)^})h
zXW8(p!k|1VQjms}<?s_DH=Mna{wH6T`Lnr+1VMVz&zlxMy?Pq@`&#i%Ggac1Fz2Mn
z8r$?dUSd`BLwsG@^Yh({GRg&OU(7nt>vit(wFL9mOH)R0;pkpP$xS@YAzHb8-UaG+
z^c#@Ov?%(=@UH4QcY#_0g`ujoK7Ljgn%1DN*$McVR*}nDE&<FwS+bKeQ(Xt70_1Cb
zx+YXp=<rNg!Y5#6uQFs8!1*~9iBTulRrecm_Ee~1_B|TWm=8R8gq%@M`zUka&TJRn
z$Jce!>l;%eP0E2dfzxnTx&DJhEqkU_l6#Exx#i=%)%3++DpxWe)<6QYnkNyIQnfI@
zbqJHWYViFR=Xz0VRPWr4qVOOv{L<LDRRde|ak*N8;EC0%_qJ1&8N>bOK6XC@z63EJ
z#LOHo*G&gj|55BoUv#0KRSl*}*bt;5#hyLBe7Z{cd2`4at`}a|#k<_3gc<IVHj54K
zHEpsC9z1`>l5sq-FPaTqW;N$4Yc!<Cl*F8xH9;WM=SC0fx#7${!O0{XpDuL(DrGkx
z+cZ>5?&s^X1sVS7<DsVwI~7Y2$R7=BvF#zYh9zqhNVb3qd|5GRv|CKS{py0dz$`-q
z!HvdI`3RHHp7FuHoW>6l0Rg9`Q2{qiMQ4+ZQ1R2t>z*+U8!eNMM{c|A&Mf_xnfq(j
z!^Xk9mmXxx>3hAkfsjm1^3L=z<cVOeyp!Ty6DqKH|3h(r#qj_~dLpa#L4N-`1*h(m
zn1n?pxZug?Uz*sTkOt4c`rLA|pf?-61$RKjMOVwQJs9m?8}GPTzWH76weV9;pCvT)
zqUdg;5Kf2WzWvqjUCwnGIZ?R7@4>Hus(33I;X6Nxt2J_^YK_wFGg9?dI(U2=o+OhU
zVeG5yGDd7o_9)FOykHD^>812qY3F=5qAKwER2%Wp)t?Jg@T!p9zN+K-LNyu{8O}|6
zR&z7ewD7(P(ir}{<wALumyLV~SK^UxI?rm_&V2j8)9`rXSJs|pXFcEm#;Ba_uYryI
z$2%`9W}2l>J;>G!%Sc0hX28#`G8<KF7SY|+s)vTy+jK*fa;ii|5{x`zj5L>H!>jo9
z%U|CsImEpS5<h*w^POv~XY)4=-Nur9_=uu|G$`-SlQsP+rhwJb?;j|NBy5UZnn+4J
z<w}*n0rXi5bG>}^HIlAS!<P!Ht_$tusukGB?Qs-j=D16J4-`meR@C#LuZ}-2Y@43Q
zCNs#A1z7#HnLSBd9*cig|JbL+r*q-}|GUNKdfZj~j$fW3wasyP1dLgdG(ygg=k$9o
zYFrc{`lc9o%$g9j-&#eTK~%9Yoe*9<|D|__aTLS#OV}V@ek<K$uSz`d$rjnGOoc3P
zqd9>BQf${VuhkxZR?I7!D8iZMz5Y5=U!^#!=!}zRDv52p5WZ-mf9U*)b&Op|Eg{$-
zlF{Pt^=!fk#Xj;_9sZc(%~09twR=63tnz78w+|g#XxlrRXkUO`AkEx<I?3YbMmab#
zSQSs;;ruwy+eAjLTB=AFL9)rkpVe*Iud;)sY71;)YP*P~g}#5PC=V7?UN{VnCHagX
zG$Up_OuV7kFN*wvs!t;UWs{wCuFYk+ayr8TY4IWoSHQ9{{gw1A&SB1GM4scc>Clj;
z5APfPX~k1$(1;2jv}pVRzj1|$<0q5P!Gyj?B(D(>5b#s6qHfy#Ge}e<A%bM=0eHS6
zjaL{QT3k>j*+t(J?2yYgRD^}L+xfsc`g7Mj1-{#00IV86KQ8BSt#dSYXqT@iv;76M
z6IWrfc{Ozx`|E-a!e}YUV4zQdY`cwQ2iWB0Ae5V(B!v0uOJ~N}*IeGs`1QemCD@Fp
z2!k7?eFg^|VJi_@E!tU7>Y{@W-cq$*%1*@e+~=ER@s1DTT>?JI{i1&5<oeP!uRIAt
zD8@G?BSr;E?LNtE!w^3<gcL<A5Xk%NPV6v|y}I5liwB!ZzJtz(fqDUg)w;9X_rCcy
zX+#O9>N1HOmmbdrSX_?Rv8O=01sAG8(q>Tusc!GUbIV`eynAeO52KvZ%QuK278c*q
zy;6yvEfDX{{LJd$^B1kh!k9Z;iOo4|K1=>e<uGuu6-19@lz#OxBa5=VMVPnto}V|K
z@RcthqvY(JArD6?P$H+q8SS~pvv3y#$y!7QA9YdpX^KL_mR(uaj%YqKk+W6)QP47q
zKlzM(qumuYOZKYX<?xse>_{+Aur?Om-Frj&xl<!uSer%2uLx#)EQPYO`qr$l4i3)X
zc}(;`A@OgMY&MJX%cO#22EML`b>hD!?cTQL(9JPa5)g14=JxUhN0a1!lazTIIMU_2
zB6^I{3fqyICq3ub1kcOo(ezhpD=qn6cBZ=YEXjtq+Ag$=lut$?x_Z+(@Q8Cq(I{S)
z3~wA4`BPSU$#&~x-M}8vAAfDHA0DVLV`Eiv=v(1vhd}l>bPqz&9S#OCPb>U-$*kz+
z)mYHY(_pmf67vptmql|@w3e2JSJ}vwU@3mM3yU~jXNIK8d;G0VFuGowW%x6}^K&sC
z47bSoxN!cxk9*&xSO<nCJ?d-%GwMw!H;VTbESDZR%=ewUg!K}5J$lDo`~5P991`#U
z&GJr{@6oG_ED68<FtjZ)fsPpV!oNXYLBp!~3=+>oKoB+Odb)gF8+OXSs}vWiUmpZn
z>0cP@khw;^`KIm7s9+>5)37Oi%(E;&T!|94q6I}g^WVZb*Vp{*Aw5G=C^k~c|Jc(U
z)dK}5(kRqYQAIGpNH!Kphbo^4Rid$yAZzIz(z1P_S=5)5fO)42Xxc5UT?=i7KkPOe
ziUhFKc^EGr)oeyzQ0%A7`N1C;ze!*@Xurt*)M#nOXD-X<aNPev*W-wg!CXPoVKt_0
z@kDI#?D*ibN25(Go#@S&&d^5}Rc-f2>CkIxf9TLqPBT&-e(d<`5_-}sm@Vz3=&aG=
zJ&md#Yiy7gK(4#=^*tQyS#anxf9y2%_FFPP{Q<>3!F)Ivj$<66#lm+TH2;0&q!2^F
z+MpX5liD4Jm9O}__2}gv?XMnL(B-6dCCp_#Uj7rRs}_nY(l3d=Dnl(F0=$nOVeT~i
zy%{}j^=|;s!q&twyK479K~)#mlILFC>Uak+^scbI<iS0}C>P@0^}6;ASEpHroaA2l
zBFg|@!>oQF(p1GwJe2>`a^Z)-Y0#xiM_UQ;l`r}F&+)uiq5}5Mx!|%Zk;4rU^4S}{
z!Ez_&Z|hZGBed{l2w3pv9(1(c98BN8_UukD3)6|bb}0TuAh99*QCbk#Xdla5?%Uw&
z4agqO)0Hk?+q_;VdBE`O;U&-IKG_xw+u8-P<50r3ZNBbUK}svhqlBw}PvHu5x-s|Y
zM)yX*%T9q+9TVMdTLYenX4(uoE6sac1Du6ce%Sq{j^)N)+ei7P@=7*vNq1bXXlu%D
z%x@P?-$`bKy%t{DJEc!#D8KTdM$(Y1FO(UP_prZ7prf<$wJ<Yeg`6c67k5)(>gu~{
z1rc<if6fIBA?9Or$e@-YsWsRDmdr-;@*34xUhK1bQmBv8&4uS>_(I8fM@3}$V#iNx
z<K^7ZgNhbPk`4zYvXA{nn^0g6%LDt}mnDX2GsMoA%A|%~pM4&M^{r3T3D{UDHOtgK
zZL|PbmjNP)qp*hd_560)?h|})wk@1E%Vxce@W{-O(8y*o1#h+R`(jS=Go(9r7@OTG
z!E(OK&mZ4m5c4|gp@J9d=y@-Q3eJ+JL(5BNd^m=b|Bjc;(3@U$L%FPXPu(gB1eXk1
zuyAMEof-!B#x;n15bLG{dxaj|67$Bf&Q!b`8R3!BSKg{?V@sySwBEWkfqHX9vm4?>
zSXkyit#*HnIs0~>HmhuVosXrEPe~Rjb*o~s>e0b+s?7vP1Tzo*K2=#63*wPklK-^+
zHKbQejzbS8;fmMVm18XCYbN9~_Ee2_+V2-)jI;Fk3?g3Vk>upTes*?n*wJeL6}j9T
zlsOj5oX&ckt>Y#yP5V;GWW^fSoJG3Cg&Jh>H+<-kN#LeK0cnCQ9M+`nyVSQh=zC^j
zf<q=Z_q5{W;YqrNu_^P4TE|U^Rfj2|+)NnJqg(`Aw+)S{pj-mlcZ}Iu|MUSuZ2K;J
zxD89snb_L6@WwFc$g_BMjiRpM{BzlrPiH;qu4S|NJh+(@JASBg<7;{Q%J=YYRvwL4
zW$EoCjuf9EJ%9ZO!v#rGU|LU#e~@AV>SwiSQPs+F#Rt4~1v~3sEj-Li(}WN9!uCHL
z{>j=V;_?xzcy~QJ@!IV^2=@163k+A%9m2Ho3Mb$yH5aV*Ue=H9$vQc;p>+6HYAR$H
z?<e5wY)|XCWzD)bp_{Pt1+<=&$CBUY`Vk`ms>QR`T7KyQ{hO3m*!hBoIR3ib6n6OT
zp+x587p-=!hG99OBP4Ce5EbNd?;*0Of&)|=fooEbwy!?ZLrnEEPdC&v;U{fydD@_y
znZLE}x7e7H6o-NhPw{&U0z;?1mmOVjaZqi4N!;I{f^@{5MEyo-tMKJuVD`;Su=2LB
zGZ96f0};UIryaaT3Ok>l=!|6;nJBV)zR<NhXv0&R;Ai0P4_RJ~*7b*l=3>oGSFTKc
zmGs97tbgj(-i3MYMgV%Ax1V2)Q7ujaCWPJE>h);>CRy57M8SP@qJwsudgLWN;rW#z
zVtWgB#VyjDuhj9YW#AM<X)VUXs3<oc1h^(SPps1Dp4`u5mEs;O12vigg5U~+{({}#
z{vtQo3U$Gr^1HM0eZtxwHjjFL1-K#fe<-#-dnD}DdQkIK?cjPVS+3ed@@>7RZog({
zbWH%HWQIEEP{$ZU4-IsUpqb}PU^SR+6oHpXJ!Ih3Iv=hlA1SS@Xx$L@Dv%I2cjirQ
z5Xr)Hlm1!!3Z2*DIUqJ~_xtc|0^6U;_jF5VIKnI2V{FGE?JSSq+$phjGLhw8K2O5A
zQ_uHzE}*D>zMF&Ioa||(o`5g$3wU#nCYbCfSL)gD=}Pzq@WZIySIIF^unQ_eVj6?G
z6>8sLTK6vmja&wJ<^sh7_BXuH-Jf>lPKcd`hI!`5U5<5c()(L4bG&TLxl1t-kS}J0
zN?b8rK>@V0Z=*~-?lN#CDB;G827TS!NfV?++x?M+7f5aU=XvIhfL~^l3@i0SAHZye
zb=9$yV0rSKI3Ud#oj1<v%37PXs*q?tl<}XK6->ACa#cY!hTRPpq&_2@x~Y?t>FJ`1
z8?Av-`$N|Gm37B&yUE&>42&CXqTDK&qzv0_rC?yIQCy31n6rGDEGeh)u0{P_>#N%)
zpJHTGEQ;q3D-M;f4ixmm5VSI;vEv5j-_Ke5fqCFY2~sjWqQZ)8E#-2mA&4ks`);O>
z8jS7LYAZ0M@TAAwcbkM@a8#|{UB^V<d~3sIV0ON^Kl?rEuZT`~0`WNFpv%*|kd7u<
z(;l_HC=U;4(JnHfNoEMJ6Al@8ggLy!tt2VNN=L73i+c|wdk0pd+$>g<CSF*Kb&rAZ
z!Tgk@n*+1nlpWmtWnm-M(j#OOY3Z^ENa_iyFJ!OS2=33O-suT<E-XyNT4rk5<yzl_
z34$bbP@N(Bn}YCMHuVv<L?Ms@5#0IfC4y;oBPwOT>OnrO6lUUU_BWncHHe%w26YEq
zj)S@f?_z6kX4W*?jv;2CeX4>fgIF1Z628%d3=vecVLm~u(8BOnFA;258$v?GCQQj3
z>r>id_ZVoND{Lw^E3o2Ed7wh>MraY#&DTS*)|b@of`m}0kdR|}<U_LTu}qs-jqf2t
z_$@A|_@v$vu{>=!Kiu?dn`xwTxN@0TQ5X0wrseCB3V7t3CfumvPCgah>6t!UgFOc|
zddRRWiwEL2*bSCWNirCJ=ge2!9XW)@5fJShr%e8I$3m(LrHhCN#r%FMRwIfj)VUAh
z`L(+=jX8cQmT<8?S1WffpCabeybVL8mZqakJB*?xWT5!)Qo&m<qn4I|y#L8sm`Dsd
zK7~7k6Ruu?1wc-Ru;G>LF`I%Qc8a$N4?QnOMd4rAW0q7{ZUI^k!&{@Bvy|%trcpEq
zGWgR9D^a8!*$=6Zga@UCqF@e%mT2c(Wy{@VLkhSm_lh|#sydZheOMI^uE1s>wa-p;
zE>JG6UmJUb3DbEdhYTT$A9*{3J64DV77o55nFU8jcor=wN@L#W48B8Yrg6V|v#Ajm
zK7_kMQAo$5JE02)Rp2rZ_n+M@&tMV%Slp$ki1E=G?(p!k(o-}S2GLW5Y2ji!J&`nE
z?Yaw>sCd9Ygm*sY3D@A*H-|t%Q&5YAMe~G+Y2MN{*ib(SF^DehBhKt|o~^N>R7Fk9
zYn>7A+Cme)QfWrQ?#Kij@hhTPQ=YcH*N^YQMYuN{;Gv}-jbewe4H2P=y7O%j&h=^C
zK4Mu9K#vTL@ciS+)D^he)bHox_xGzvzEC%bM87W-g!6N6UNobsGe&-4!MV8!81OgF
zv5=E`ezd%h$hY56?+fen;9aF3;Z*q#d6fW2(B++3cOJsFUM1VN{U}6XgBqqx!|pW`
zh%7B)=zjRsD;sj;mfqB&U+5Az@@+$V>X~ZyuORqlshH?@p6Q<O1Z=}A3;PHJ*=zvM
zpzGb*J%op%=FMYKHcXQi{G#;Zx7022CtRU1u<M2DxVl;tVb+Mc0EpNiatH^zEhSy}
z4=WN|pLVhDIJ&S)QCcBi*v`Pz`q|n{?{dx{MoQ<I@zGo;;h?RMd53?;f!la&!QGCI
z^2)}m)iM0?+=Q*?Cw+7s7bbAno2#?@xYu7$PFW+}*l_uZBKY{CK2!#l#XHq>uK82`
zvbjSQ7x%kMnRVQeQD#?s8n@M()R_L6YTV&ZT%+-r$@LHE`ZsdbUd`9;Q_EQ`{k_j!
z`~g=if5<@f(u4^1?94A<En%`FkcNSM+vg}$%FcS>yU20`^=Hi2uRImfzF&rGz+PJy
zmnZXz<<X<pzN(iW0UB0NhUjiL5(ZlCbS@dkcZ1C*yAAUQwjXNQF6=RtadC}a)T!Lv
zmT<=>6u)5GZXb&BbLY-kK+wEBCVld9L)GqQ<#_61j?^H~3>5xxcCqMqeE4c-!Lfcm
zI9D3>f`*p9h8Had_i3sAxY#a}-iADG#)Q?6{$y$sS2VSby6erWvF<<zQZP02Ywa5R
z1IyaXzBaD4(n>RmkaMQW96=Gn-?ngfY$t3UZPjL9I>CQUEY#X+<w#YFh?E^7VK3FW
z+7D@>8xQ)K%eskwU*j-HzRwZyI@Dxc$s*IwX?d$fnn}@=MQ62?v`UPMPK}wj%6$gt
zC0W4y^BJS0!CN9SsDWw7Fe9q|v=&vLTEe6ynQs&kj{&Df=0mum>5f~1fAba;6y1a*
z6j-$$x2L!CXAM{kFK4}iXGrZNfg#+UH^lk!Mpq(>m|W!;v<m0&{w3b~&k!V9Ji*Jb
zki0i0v(dbf7D`j=fg77ATt}MEHPr8*!(V;RIp|aXPLO@X#PmXouZt5N-d8+Si1kC)
zw}+mNIV<OrcT<+ns%>M6+O50@=&Qa)oLE%ypOWI3GQ+Q93dLQo!Se;@Htude<ex9c
zjbfg<>1>I@J$t;*G~vwgJ0~`(^XyZddZ)p7Bfks1hhc^aPpG|L*#;*Lm3+UpFN%KD
z-7{9u7gW$D^*o5&?1g>+$A@F)KyP(*xAZ*;@48-RCB`lP^x*DeX{G#qZv6abdzTu2
zrzDNGo<K8Xdy3g`9VissD63b35u<ihOq#*sD=qy#nFlYE+ghcCmC%N8GXdHZ1u&OE
zn&h0OTs46w2AR?`qYQ~9Cz|^7E8ZVOfz&(Y(@@Io5!TGLbRX&Rf`6K*eH!mJn6Y&!
z3@Qg-vqqyOqdykLsu#F3F$f-4j=8S!mMm#wD)3H+@Bb|1T=9Tw_URuZMt?YmBlADU
z=pACgUtGyH2||SrG5TOX47ewD)=L(WDJCvi7h4syR$Ky^XRo6*)7?+PfwxaQyGakn
zh2DiW++0B<ZoRn#f{977JzPUzbsOa}7UA1R9(3F*9h-kqkUC7D75B_*@AuO+xhss{
z)Y6$lQj6ctu-13O?oGTQIn@{YzIN%+d7>EiDckoKc1IohOo6FS#F076q);@CWic6a
z+`(&VyTetoI!Lzbmq>+LcE5bFRV**Ocfz*3hl-;8)I)M<WAKDtqmtm5hQl8YgfQ|D
zxs%}2R0U*)QO75TL(O~Ug$`;3t`G7>y!t-J36^5vthJ;Xc_p-~EifW8mhT3B#^lwj
zS;!#MhPXZ1YOa3{p(P)>@_^Ozp&-#TUoXTLzn)>_P2*s(%OC%rYz&$Y-cvA$9Z#$;
zDnxh$FTH*dXwtf<YU)PIubvO#Y@ZSh6D&z}zWLVKa^7X&J;KXoiGxfiX`98A)c+ub
z(=Z%Q)b9-kzgq^h`TVwq&2AeTWao&E6D(fxyZM>?(eEs@*(|Oyt_dTOvibt0YZ<A5
z;YGfDDn$alk@-0YY(PHoeEz!X{U~G0&`k_0a!KRM=mytlK3!ny*Sm01HHR%sm73X*
z6P$E*KfKND=vc=2cA5g<glZ1BXuH&g!)U&a8%w&;{&hf6AA2d#=PL7y_N{daXi)Gc
zGrOZuyHpmp^m=SF@W=!Qe5QoI`cMDP#n*zC^WX%n?~e<J<s@12XBx2>Bze?p+xWUr
zn-V2sLS{4oe_!}RHIrc=O8;<Z!eP(MHumvct4sqhoFz5Cdd7BstzZ%U1Jud8_dmvh
zTO`go<-IzKten8OTK2T)qfm@5NBBo~&qK|CNE9}^rk#8}W=>4b^WyQkbc*@)*KKQ^
z)H)I~g^{$m$`T{OqRmM6Ev~*FV|;>%z+BQGgGxB&RpHAeMFW<68qd*(ZR{f(<)UUx
zf#l`_$bgbk8BDL5ip7f?p|(*!Q_bwRL+_(hFdNAk8|duRw|N(s4U0fa;p(8J36YB5
zn(CW3_S|aiU^u3vkkU-<W46)AMq~wAa?dRVr(s(V<e}$EZzkJ<P+MKH-@m|w#e8~X
zCOd*6g=5%jIW_%7;*S4}bB=DjdrU4I7m6EZm0kNNAEY+@cd^uU;EUA;>*7fR4AP@t
z6^fZk_S!Di=dwF1Fnf*4VI_A1Hn*Zi9>$ty+D7Zs#)mja_y-@$qL1e^L5G^AsYrAw
z+w5z9DIW?mX=_=!;Fm+q@&>y)k4qTMKqCWe@W1Sp-$wC^UwCYPS^7T4myIz{ccetR
zm(ZA%r}V8gmFoWHdREz?IMgSJkUV`yWULnsWPJ9P4b$T8yB!g|+@j+XEX0SrSXW%r
zO7Yp}of_?k%{00xLSb@G)luPW)vu8#<;gop*ALS4xkd^(d%U0oPBB6=$&r2-e4l;o
zF4B1;+BkLBa{}1)O3r*d8#sycW!0oZ1asf|-3aqm2fd#GNF5h$s?vUr*D5G+RGX$z
z=^2&ct!{sJb(`_~lVvNi^9baZl6*j7CLun^lu&tN;0~x>Te^2xXJsf2@=rm>)#MbN
z2a&2*1{)xMjy>1JG$czD6c=;R<WBZH4$&8)vpcFzOk)TnhY}&}O9%!0MR#NLz#2d@
z>4XV^)yo<pNNZP2l`p4Op+v1|ffbC}(0LpdsNYL(eisx_^>a;Rb*UwR=pFm60<%at
z7K6N+RHR_elu_|$4^kYHlgufWmy38S`YCZUL=S%<Yo8HmQxctzIjpb2G7}w3FIwtB
zP6KFE5$@=9%gG@4VA^=~!2V#F+f$-!bb=PsPxqE@-@}dpyaq~4N-~ue&=MK)6R$@&
z!mpnnamw6DeJF$4vow_N$;oyl%U8%SQ_74Jdz=+I#8fHeib@+spII7;BVUz-$Y4(E
zKSZU*<P@2eqgOC7$v7W31AjC<eD)%gh&gsnkvdMS4nJRkiqa!PKGhk}otMa>{NYM5
zV1#X0_NRLcPpBAFspHa49sx*hC;hDsKzfmz*zB=hfwPBsK7{%impSl8&PhZcv92(H
zag)Sn+8X|dfI_OWe?<yDdhd)6G#6z>GG712jeRE=UrWsJ<TnLkvoyOAbHBlc4hbu1
z`2w_7*^w~h*?k7ZjDToCYMyN|VA#6qxQ65)=0U^qFvdOk&v7w%Z^{e!=fmPYze9_B
z05sK)BDGSJL7JXVh9)p;__S&-p*P|FG)PlgKg8Ix?Q{TV<S-{MM9D3saI9i29b=z7
z@)0y!&=YNy;!2dSXylr1OPgp^J}pfzK_eeR#KI@#$sb=#f7^phE^$<{O`^<1jj@Ik
zBG`IkG%@ye8)$YQGh9b)CZIQ=1Y~N_Z)-AYGK!RX??nqz@l;U)BU_(9HK3Xpl7^Q=
z$mb<>ssL6Uxfy?8TdWofKB|c|d|k}@f)ZYTXc$Mtg72dnPR6SendIx6S0Q9ajb^dB
zOPyJwe16-A1aS?Y5P`x6mMj!F_U|x&sa)&#DXJjlNxrR5o<^JA4*N_WoBB2tLm}cK
zk2ET&x@{$1J<t~}9A+mpUCt(xext>5@B-a5lB>#B?v7`yUPzV?E?YS)b|`ID`UlyF
z`)*)H(R{dI`YIB|V>PD;uYRg42XyVQB8`w21Pn@L=|vhUF~~@OQbCbJ>6cl|BM~QT
zq(KRHpsI{V_Ai5`V$0r-iRjY(PcRlLgt=16i`)GCuw98G9w>6akIsyTLHwcaqb7vq
zVpVrb;xDOMB7|kH*s;yiNnSWnb~jIQb!=ay8JIu%;%WTB2ONN9y|z~WaS=e)1fyri
z%~>mG6*K6@^xh3-*Jxya*`G?;e9K}jxk-?-_A*~G5a@G(ow=i=t$vfj-?uIZ0Caz3
zOI5`VRw^G3RyqU6!tT#Bj&=0;N;YnkE}O6RH>yY|Lu$=qjIZ0LtQ*S&stArA(hgMu
z1&Cf6yqW#~su<hOPk&_gKi-Hy;IMp?WBT&18nf`eP(2nPs2r|QpQu-nM{kulM&0gp
zUTZ&6()|7);i@isEzUSzJxFT3uXqJ<q2i@<+6QR_(-|27MVP6)UCU1dpAQpW0Y>Sq
zimxN{?GwKhnZ~+`j;r=NeSH=36Z>>j`PT?n7~u+DeHB;TVm7I*22md9WB1eI%FeX{
zVP}CU-Dc04UZDE4;+Smg^U-bd8OsOL04RD00mvhFOEgK4tFEkwuN1Mj&nwz84gWb|
z>$i}&oL;LO6^`i2aJMYy@v(2$ivr5AS03?eI9|m#5-~b3&tdY(PPR@+w=<RF+dwC(
zo<(dnlYkH+*2X{P6Gd)una~TcNlcj3dg8KSILSMCA}8~#Y=(`!-<dpR*zFQ{^|FVg
z1cHPsV~i|BL^lQMk@M<cPYk`tCea7*TmvOA337^1b%muB!_&Vm)g+$RuCTEO!ZKb8
z>mDrkAW>&vvGC@!uzmaFUZUZ(U%5OP(g#GGWt!e-d4urQQc__2>=R%-=l(_%Nr;*s
zmany}U-zJ}g2l_1FY8G{5++q0Rjzv;tQcmx{hgqfFnQ*E7#{~LY$eY6<_fv(+v#e=
zsIT|v!3Ohe?xQO5-*8?04j^l1ebie?gXsG9MhB?x>FVHbQWk~wmS7d0`wXHSFw7#+
zv!McwX;4LuF5>E3i4>KP)_#gcHt+EL4KN%Q((O$I7@ohtxw(%YPLln-&q|;%1Dbtd
zi|59A*{cK|nDjsRku=}Io(66F9@ne=aK*5a1n(K<kN{A~3<B-v`&}5?%U*D&Za@!a
zU9j8yKv?cqe&9bfOT9-!l|R6(4{p)`(a6CeY7{bPX)7ur>PaiQ+xKG1`wU~5`EBB3
z<T>lam#YYp<m-vWR$i(<20j|xwGlSa&n}r38E#!{TS@|LJ!UXL=@Do=R2fprDz-SV
z;wq%uakDs}1Is6SW!-W!mZB4k!}ducJlMI%H*#JLjO5=oP2f#hn}Ogas~w=iM-o?B
z_q}P?DWpU%m7}T_vU2I(#p*yJI?uocIOokL)L|FR-d1$OgsKzOXPsK657y9%R%GSW
z_3@n44@A+PBZ<k-pBs_0!pYE(*^2D^>z5}w|El;kb-Wz^8=DR0pQCxC@Mwtd#%-y4
zWGeOO%$W7d;FULZ$<J4ZgTREK=;3792b@T)bGw)gH&@g%7`B#$0Mp@xzft%*LymAM
zs@8I08CiwUxPf7mtmtK-Z{3Px;_Y-+R^0O)egTXQt4R$?>8lK}Ms&VW>M;Ut%Y4L?
zb#QQ%%frX7G!GgTV6%@6D6$(mZ(i;6PZ}Q>jW5}7D!d_LP2KL~U6#&8DO!z)!V%n7
zO(YED3jGZJ0Dz2ZvvH6SnEhYTf(ALU&mQlxn+)i#Zd^J8u&`Vd$^%Zb7eHrLacGq9
z%ble+YmToQ8YJ8$Hrc_eI^L&LbL#<ulF?$P=_IlCT6q=c%26B}{5bE`U`|RvKjUq`
z7V6Geqp<s*>&kM>xCl74bt<wZHIe}6Dk+Pe$CF++T1hdUe79Plx4N8eAq0vZu**8l
zPcqg=saa{sA+<^h0_!L1I<KU1P<HVARx3^bV^LoGM^t|$p{}{XJv#Gsl^lNQdMq=p
z!CzbISPt?`D|B#v4mi#1qgE@dTWk_<ht+6!s8;EBDf%8&6M%5Sy+&hu4uRv^_TQE_
zF^#cPuW<pyKFE0VuSO3zZ-xJLOklp#N4k9F)#buX<&DV%Emn^ywC8>b7KUBK_8+mF
zEZ<s$zLkMS;9@|&YI4AM<JcPV_vQD1L9*cSK8=Lp)ZV-?3@F*}Q(<Z^{pB}$#*sLH
zPCIy9&15{jBWsc8$oY51>Wb48(;9*6N#BQWdEd4K<Q8{ub0pTN3=++XU;@?vzjAyt
zE+OeiU?|1&EiLUf6?duHb9>fcus=?>>|gt!(}Hhwh)CL=7b?Db1^awe6sZbEZZ&Fj
zW~yAt(i(sR8@diHxWcxQM4GR^eMZvr^zdgfJnwUHI9N%|Egg6`H0N)cA$xeC^)qi_
zsB_6EJwlpzl)YA}ts;I3FxC(?24uJ4w<}a8<NihLkpi(~!WM<qUrljrRy#~xnqdf`
z$x1ltSfjh+wtUx?=~%$&8=ku`7wUX#fN%_G{eAOuBO~SOS8@DEim3pv0d}rg)s*n#
z!ic!89{J#fUpoJ-g15tAQm6(ydUmPRTSaucY-o^LejsKKM#8l*7*E&e!hELt4JJ}9
z&0YJ{Mib*_R7y}YWk`Cu&)vKbZXz^6rn#@4|Ik?Ojqi$u<UI#ZqP4N)#o{MRy}PHF
zo};kDdsm%oU0*++sv4j7?kG?{s6|wN7<zom60y0=kwZ@`2uu&88~ySJ>M3kCKF{XF
zP=lt8dz^@82iIjL8DZJc?#>g7Um{EMT*Y^w&)52O3iJx_fQQ4){+VuK6TpQYz8giJ
z%IOQg9mmA%;uDJyeyJ<?uAN3ZKb|Iv5fhwl9yr^=SN>!S-!x~La=3XKLw4&t5jCk1
zamAfqKc2Apt~d-lyuw~-iVJkK^*v2=m|nujMDVh5t&cT6q*BbNyGf590(>ej9WZWr
z?eh#=qYZk1?bYssjQ%VZCoHaS!KURs{M)|Z$zsKhU{U_J{Jye#GAxZ+MZhS-+fiDp
z_qFxnm&bg0@DpLJ&);!*bPxDWTHc>b7|k@{Ev<?H&F(Y1iuriYXT)^jRWDKM%DWj=
zym3gK#yq+eH?$_z%UQMNE?{3Lo@N{u&-A`Lj9T^wtBRYq9n#3ni<h74ub%DJ3f|P<
z3r*!zFEER&%Oka5?hk<V;d;#%3+Or++G*0|YslmAO-3!B?TY$soTJR6_Rm}&HZR<a
z$$eZsw8vq_VqOC*rj!87&j8EJUw{Ji(KV^g8*#Ihp9(egVD=8158(|{jGvoXk>f|n
z$qFAf^%!a9g3MPHB)16;IT*N8#%Fw2R=1u2tHEB|9g$57xK%2!3)vvMuhAbbWK=!v
z=g9+&tjBxVHS^ibX0Lz}AtZWi-*F+gEu{Uq{rl)lq76G>N7ML(0L%x5=ZhV@{>!B4
z|8jJwch(TyD6*Bh4?A6T;@M=)rMsO&%h1_rVpZ>GXs5IC`E&2P!1|pG1J<uPuo$7s
zmt!y62k@EhxA!K87u!bJ(a^lJq^B)-IN!>3fMpi>K?$E?CzWf)w{7)@aUx7*5b&<P
z+jl@Cr5RTs;X4-v_LZ6i>4R%~o<tnUStMy(bq#$s9q4C}9Aq^dSCTkA{Fq=PRK~Pj
zb0eO$N(oRK!WqP6^&1S(&<Bjz9&zyDi$VVgd3AOC54{X*F2dI-`>wl!mbe<*ZLUWF
z3lBC;m!q4Bu{%EE`Z=7@TDQ9&5YQ_EbS_Z97HD_7B{~1`2JgimQU`)&EbRPWKP@EH
zPDgyv3Wsd;wjKy86e{+An-DC+lOn=nj{T&4yO^7Aw-RA^{-L<NY{Je)`$%i+$kgUy
zDzrIP;#2s}hJ6+P08f>DjO3>?b!%8q{M*VPiQ5h2R{f_!z_~%sZx-vDR4iadJV1;j
zFW@Cr@|XT@n8(9>Wlmu6vQXc?<Ot!2r*h*!E9I@y4^Pkg49c8t1KdAaqJdZ8AAW6(
zzW1uYvA~oq^VL7+gTD*TxvaMbAn7`uZt`1_Gfy}JtHA&cuyeolyM0Z{#7)`YfT9M@
z?wE1uB@qJ@4GZyCXp~ZKHR{2DlVkAEYF0#CN)0~+016-Pn{n&u(tx6${fRl0uzLcK
zazKZ(QaULCtrN~5KC5mj0L>sykmCJoYCy3V1|=;uW8lP^>Q#uZ!aHJhkKZ^^Fb!&T
zdje3pr7xDP!zp4%T>APBaQgaD^-il~@IIl)xa6KcBD(4J9Ji8@!b)kXf}3n?nleXq
z1RP&uHT?AHw}6I5+h^k@gP0+fMyY_LKPc-v2uEdTKiz7vM{fxaKs@CfIGh=YBlQYU
zH@tu}Iq@|V?|E$hROo=`NRWCkS4Mzm^%H2!uaci{==;t%opeF~ViHAsD)v*+KufEb
zZw31uK#spAL*0!5yq0AA1)aYCrgIz!aj1l9bxd=ro^V^s`^T026#+#&v-H-DsRYi|
zWpc`y>cNIUgcgs_s%v_38zq&$emY5Zn-}Lr>XlTi-9~T3NP{W5k<~*(iQ6#loghP<
z)iyH_?tO_#U>TL76X7V-#N`*v$@$<8jLV1>q<pWQNuyfo_#{)^TNEv9H6;jt|J0E1
zmXs*cAjkhU%AAnSB9lr?0D{EZ;F1=OmpvX*L-~H=HiETGj7Z~uQl4a&iYjHbULQp$
z?pLYu79jL{TWK&al9BEJ%@<liNF$I;6hO+T$U$X;7t)jDn~7=~nG^wN_3-hf=?DO%
zrlV`pyU#g`^?PM&B-8*mEl<Lp#k^YIyblWFf2~3t`)e%XHn0wVZ0B$rMc<edg?%(;
z?Wtoh<9G7xNFZW4n1fKqQml@y-DCL@$5~AU1l9o|f>iGv`EDsFQfoj(Q7l%9G(h;?
z0D?a-))_EPPAwWX5Q(q^G6?-z#Y(*~CK&s5wIb2p7%zC!Q|o3ljTN>njizd?glH`7
z+!JVQ+V9vQW(`>3&r-Jhp-;90O3>I}MsJ6h`Lv2E{{>n`RI1odhXNp<?paVZfb<uV
z8T+ejFz3DEIC^Dd7zcje*qzc$P;XijXnm94Hj*2yaQT8DHWSjD#s@%MeeMDuo^T~`
z<W(hd>VyF)5PM+Uv-xQtXJUl~q*g%HS}h(V2o)LhLn}=N0Dz=|-!twCe^C9%2RHx8
z?-?NfV=$he#q6+uj>aDCy9>W#d_V=@wcZ8rzORT4(w#p5@PM4mqxZFBK+AEND8r5r
z$N{~kL%uAL52Pw3UKD#?W+zV3<4Oc%h33Tp5(d2t{Ha=qgPtO_ODj7tt-wD0H{D^*
zK?rV=N+TMZjUlZFtG6hCXzFn(cD{nqN->`*2xX_WTu6?ISyyasgwjCJlxz&9%4>;+
zXL6X7^+F;Bg$y~B%s6=AC~Fu?B#LA7Nr#QuwDd&wv#F>drk@}*hyJ_-{PMX`lpxJI
zf(k&dw_H>%=m<$*`k8|gXOqiQ>Phs>i*&yiew&A*HWMA`Qi7j9hss6)nLEa3;POQ4
zcZCkBNN!~S@2?oB#t^_u;6taX;iA?p&0y5X*SueDbAGP7%-O$UwBE5B6vvj;bta-0
zEoUp~WuI~$6?SpajH3+op&X!q6d)BXHWF#$@e-TzKw<g5b8#aVjUnbkvV0C|F*S}2
z^MS|yX;*P)TpS&coRr@Nx_O9E*7~VIa?^xNg_WwHK8UTh2rocxBp-^NOpP;zPd??k
z09q7Y-(pJF&@WX*k<KOL4E|zI1+|$Vlpx;}5#KvNrd5pzXzG7+2(z5Yj!P&gape$d
zu)+m0rj5jAl0Oc$Aza$-r_w1L<><cDl32{Q_Z-9wvTA-|g7oVv!XTfNw3GX0(&>51
zK!(?*2p@t3-mwMj_4-{=xGsoLF15Ve5dIOT>@^Eqbh>_zBYc~E6Awrr=lWx2)TXTA
z>jsF$ydsvJGZc`BK8-<tPOX}W#7qG$oeHI)`GFZp4oWEU;Ib?I8*c4Wve{P|M=;c_
zow4r!g!`n>q5Q2c=9k(O1VBrO0g8vMqnN41YQ=J`eRXsb8v_H-!gDT)jVxQM>r9e>
z?>&WVVNhy{u$*@uF3PrAc=F2Bi656oPv7WJbv(%=UY~LRx;t&)M^CkTP>9r+7_oxn
z<wY6HfSSq_(@%YO5RlwYnYEi<uY-=N(SRFJD{N*?indznw5Sy&<F^TUX$D0<AxL{w
zh?f1xM`)KH{7*@Q$9KJyf?{$m6+7vaIsyi%_h<A#*#Sxka?|@2Ay{}JmRK35gt?c}
zK2(gwW!Q|Sgy(L%9la1jzAdSpqlYh)aPP<?!?r&>S=0RR8^QM!RH=fi^#O0h9=*1O
zX;GWJEtA+vqJ2{vF2#^@CBdeFNuTmpdx_fPF|BIGK~wZ(8%$7|6%1|4Tte{@r{}sm
zkpmyd(J@I?rfd1W+4vEyz>Xj?MsRnfu(2BlA7#isyFQ1_$2@#7ON(Pv)YwgQ1XPc<
z1rc4{MA9(x<ImnKAp5_&R9tiA6ogcTUENeYXixYrQ70&E+&51*ZtE$*JX)vb$h9uN
ztZ*$_|B}9NQuh&k_{c;_5uKS@`Ai@aQ1N;mC&=#GsdWpTDE2^_=f5SQ%@srNsli+s
zfE$Z_UqS>+$%!zs(2LhQga{2aSm93pp>XSof=@^HCP9L3NDYUt5<bZ0Z{xV7?W~M#
zk$$&CYC&PF+8io3Hi72CaUBdD)mocVEsqN{0>CicL@gRR%1_0Wc1%KXkLbOq%ry7$
zga}yaGe-Xc5gLpi42jEcK(9OlH<M_fYD50)s%J(dF~|X>#>IUICaOL?R|!`rLog><
zd~MV0eSxrODwF}=R=n)gp_lind@EM3>PC2Rp-c@ZuaC)u)}(J=<B?`GNj8~nefJe-
zR`x->Gn>Knc;`Y6dgWMlA-pKCV@gf%-m4n!BpRNTVba)PpPl?XSMOZc2FMPTP2`OT
zA=qDc=nOp{8%A?zhPYf<0R_{)0^>Lua@hjPL!%3W9;4w;*PjnQgPqB^*k1=1C*a_r
zfg6eeflvv|DFuVjCl42!h<LDL6uiWR>J^MPe?xPHk_A|*u~#3&whCKr2;s<y?J<Zm
z<&Ilf)-n9_OE@@e{7#2?z0cIgVf7bX-UfJXrH!wh7ku_KSOTEGhsZkXNtJrW1M<YZ
zmGoa{+8Myigv`Y}fD6fdA=BEdYdvA45w_t`@R`Ib2JZk(hc&A~zSfmx6D^H4UyM(^
zxpQoU{|0gUlgL=C-$<i&C9os?S&e#BTPGc^NY_Jsk{l6KZ^~3Q;=n`|Hio<XaCt1%
zdNHz^pg;>qXN43!1*e~pts3UdySZtee!sEHoC`XadaFgvmA3f_wD=?(swxR_bGa#c
z5@pFY?`igh%JJ@WeD8$M^79}3EbT<F3b6)ueJcUecF`<o_N#Mhjp6ev?KPScCfWKm
zQ5K{732c!E_H87M-V%~&HaG_^yT7X?SmfJ0`F1}=9PrNVWU;LpZr5h9edpJP*XycL
zgG};tYYmm8m#XEVq=H%jO$JdD#-N%9dwYXl<I6R|CTLnLtfIMz2xsw@$3jqy$rP`G
z7aVTvSrX2Hq;49?&(N*j2j$tF{It@+lzo+_9mV{Q3yyxQ>9VMQnn+BbvZW{(T`k<L
z=lY!%we;3s+>}}QZ;l0D*n>ozjXc4!j$PbFtH4t&wpx3o=9-7e<U!9fo^Jp@W@#80
z!0%Gvc@$aiOL^j5h3_P7b3fC}CFvUo-S;QWUCu9&$oXW>_c-aZpb=WCC|0_8p6B~6
zBh2?Tw5K;ke^Edc7Jkw0Ncu<JXUUz#?~fVN4Ey)bU&pgrX-~XoNWf*6L$BjzF)!T)
z<OxBR`S}qElszpi{*;on3HbE_?iX)KIIi#eHa(3ZA7nAdcjM!%#lgk-6n0YdYTtfl
z-pxG9#nC^KVs(;%pT{HdsHjq=T>~G5_(L!0U3>YiN1AblO<8H#%a$ATXLXD~c&Ze*
z4jRmFtLXLG|MFIX$F=l}v%pyV7c+EUZHz0+ZC*Y4IXGMSHDqS6emZX9b;8Ux*{f`Y
zAlMP)N4k^(Z>``k-6W$zZTA(!03XE12luB=fFhcF#|ie=P5h52G}f5=dqpX?Kcnp9
zh6<Zsb$JOWwOt=yarW=!Xa)WhXmf+I(OG&qR#31?(Z2-9TU=q_SDH+Z)>uGpnipaH
zuz;Eg*tU_Vu+2MBze=2+C)s{U;;I#;7yNdqbCOl`{G%d!?eECphQw6p(lya)x@c=#
zs5SSOstNhuD=Qc&w<)kU{<)O?Gp1}Zf3@A1`8L#^F=`cc4V`J7Vpi7pMI5_4CMGP@
z%3%SEzmUm-678K5Wgre&k=<-Kbn?KBqJx>)Hatd>RmiozNW=2z*R4`;n0Ap|fnWoc
zoWjzoVKGT;*Jk>m<oyEbp-M%Tvd9QcVnO`1^m@C_-JJ)=9ke^QcHJjo;1cAPuk6k~
zS({dPVjGQ5_1WzA*8mX?L>E${F-+>#qx<t@I&<iJ^~qaEC2Mi0@sh~{HX6lQ$0Zwr
zk9<#!wa24(wGV^I`b&~q|Dl?v7pp}sNx|q3a^s-?U9i&^@>Y08!P>_<f}~NyVe>;q
z>>{GqB)peb+N-F)w;?^bKCs?*rNcqi)7evB=`$(Z^E$Z|<ak+9nl58yv~a$FSWp_r
zuMe0XD$rfR?KuM`wcN*kCECrvJXBC3pnE#=K7^TS581>%a`f_r*=a8dno2omASLS!
z&THMDKa<@bc*(1>-w!37yBw_PUBCRaaAH=xZ=W~c+3G%^2v2D##e5gliI(~FOr<Bv
zgi|pBOxQ%hpH(2|J$tR&MZ4`{CM)U?WZ@%GrR=-HB>Tz2`S;&a8JW;|AQ*4Ub8v)>
z|M`-cN?vevI<x<G-P{W@9Gs51HSfWUl0&&x$$7&?rQ!+wp{w@sBYJTN(ZRCp^XTQR
zjujhR-1%@%7{e(2xWnl|*s|L!W8Q1HtO{ZML84S~HLFtsR#%HFfppEoeC8THkWck6
zaN$d$?*zEgisY#gh*4UvocGXJ$x3Qm`sks-3g0&V+jR8#*?YIDBIPdGW-5f*4_rY{
zO;d(gWUfZ5Ouga6@}#+7lt;xy^41Ub81dz%9|Z#3)n6RVB_nH=!W&zgJ_MNR|Hk2^
z_Mbeca|&mth0uY->tejbVS#xY)?LR+bY)l#SQaW3j+Q5N@}Eit$TVNmNjx@4YOcPX
z*|H)c{!&9<^ZcN1I%)Y$7Jbb`%1KdReU9qS=BwefZ`(@6U=9<9+!s3vTavns*D|(5
zX|)9hR3Ld%Ne<HwwfEy~=e|2dr7WYH+EOy0NT(A-_tuxqgaTRb71fL4wV+^g@A2Y<
zV-qK+po9T6|Ah}8NW%4ZguU3w5jSBq#R}*=ajFYeVqC7P?~d*)tf1-KsEXfi=uDPc
zF4A9c)FI<0PNRNMMTwTls-2t{4dX^2MBq{twhY`vVvnsIgC}C5a~~xKIv0;B$~iFW
z7M6Nbm~SV`_FU+HHfbWuzjrS6#<?xc8Hw5}%qzuEpj0znRg!RYjen{YldOfCPiLLD
z&%S;rywviAmJjcspNN=Pk>T}Jo{0`aqbr|u1$I91hcf~OtSKpRw@tm-#t*$cFv@hT
zHWd+xTEPge&jSxT_S*4yV)si9pD-K>8xZwl8xAV=yb+`-&UN1K(}@2r9kdsqgh-<-
zE<aZwdHv9Gf1{z^Zus*-h*oUpkM_$R>prE9osR<#VH|-o8zHlrgtA||L){xt(uL8I
z`MKFW;*gRmLamJ1W|jV*Y}2*4CO}#0X!&OzT?n1`z7@<>b*x&Xg~B4d)#`F{nsa)_
zr|;Jtq6a@(Ly7Kb{#9%?p`+-Z*`-KO1&<NAYzt(hQ(7KuRHeluOx8+dX-{8phL+cO
z{S>|a>YF|**!pt+0#_YHilBfKy?*rxHz5dzm|lvp{mh_$t81FLHxDB0+oa#`x--!U
z{w%!Pq=y3~t$h&Sn`W~6EgbqR2#8}+0KRh1knzq<#~VrRE#BRPJh@lEC}Se+wmL})
zv-pNXU00XQ=-}6zm@YMUsvfz-g<VB`3B+_&Tfjw0D|x#UJ)sf7k5$8D{<s;(BoUJF
zz!g0z>ZiUVI|@ABpHJ;a&9p&7D+PBB`r{I3%tz4D?Q7%B8j~bvzolsZ9`>xJ*RzN$
z>ZGQP-!sR$s@<=wy|^Owz$>`u6VF8PAb@?Hh8ivKTOJV_TjY_v6JOlP8JySpA$8yW
z)FwU+syZ)DfmD84^B$)>3?xxl`~-IswKb-SX#EhAm$=E7u@X}7T-euBzh4uvm%<g_
z(;VNvc|Q@y?035A=4hge90*@*w;(Xqb79uONe-GxEsIa7!{zaoZ?k(jJvcJW#F^-D
z_WeV#RCFfYfBjSh-|S0xm-{!P;;#Qy%XvpNk?nC@7bLs1fHVO^iPA(cA=FT$B!H|S
zMWjU(si7nghOUb)s{}AC2ue``p@;&4bO^-)t4K|hvJwKKl+ahIg6JD`_pSSU=e)n(
zoO91jeskO0dy~oh^80>_xqKP-2EzNg+TtUhxSza}WESWih80gAZno&OE4>W8(UtTO
z^(ba}iN2orf-R22D0}Zg^Y_=wuusAMu<Rto{^1wAayA&O^*(0yI}7<Ji!DmCRIUBH
z5SKSg=~a!z0TqXrpND;4WY}$@bXn>~-V5WXr5Muo`>L}%1CmWnK_*Xn`-|%8s2s=|
zJD`cRv?0-D$JSfy`Y`?RfChsdo2Lx0Q*ex{HoRKh7EdoNtLM3u1Z@tpaxnyA#&XpB
zyw$>6s?YrK0fAUlgC3)$1+B>)O`JHqPmgftJ7H*NRzfn@K$PF57C}7?P9LZl`F_8c
zdD2a%Eps9fk<7FGvBY*`J#IO&St&(CW<`oNegKeBCX{43N@+23Rae@S@~M`RhLRU<
ztvGo|6qfD(I7RJ-;tt=tG0io$kfyXhiYD482}Z@sZJ#o&o$72~u#|;dg_SYRYdG3d
zljs2lD+ug;hBZxF<n+cihZ+9sm#5P2LS^JPwL?T{N#|Kik4sM%^WUgqb?n_*lvAr}
z?$*{;I(Nd%>>>oF9n;d|+gJoDz6>d7x=grgFuzWFmGPHk1b3+o+qcXN*_{zD$X(lm
z(XqQ}$d-ElYGVyMhPvg{WFhz|oJZDW8_^5(PpLv25ptc#*LJqK^K%>I>B_Jnz*l>7
zX}I;;NOKiEGnopidYk+_-6Gwrf0|jpom}}Vf1`a?#u<@~RRg_ZnH&kf?$WpY)+0ZY
zM^N`AVf)VBDktt&W%Q&e4;L7K;)A#6W6sG&Re9>;7rsLy?+@minVhZ|&1_f`Y7CS`
zYvi?>7ynET&vR3>EBk0I^2sq~NCP;e9FPhTZ<mK!&1Ff6=X;tsE&()_f*nqRN!zU{
zk;9jmJwcOXJ@fQu-o1npfbk~|8-<k0Ki;Qo_LQf4i*wfYg*}jV&}u$pc>QtqRT~}!
z@Acy&KIF6I1)*Gfa`>&H<GPenhHdiVxZ>I%Z^jP-g}P(v0AM^pD=@)IGbyQl@NK-_
za@Lkp<&=Q+h%5OaotH7b`{9h_x#o?1?7a!c8z_R%UFGIS2j_H{3n?Ax)tuGfF)6@6
zxp)toH{m$?7f?rX;c_x$;H1rn6}cag9?my)7&{$zuGLh>1iljeB8ZUH$JkA~;UeR@
z|N8TXX_`%zy3#p9R#8ho(6@zMNRS-4#ZFU;U#ueWDK(*zF!}OmNRIF!ylK55yeqi?
z)o#rp+dgv#x(-zJ)=R_Siyj;6!U~{zC;jRrE8uFwl{QHHz1Pco3yZ0Hf#inEQDT*6
zg?7XwtGcJ7wGb7LeMl<4&xcxoELq7Mk;Kf-WT(Pvx0y;s`C{MiqqmIcEy6{GVlahr
zXNnE4Li1=MAqb;_j_cj4Q)X;&nO8B_tX>Ngz2vvG?@401&@LV;W~fm*c<>16!SjH#
z@~eIH9O0Lb>Y<=`=w^Z-Uo#iS$K2~zniMD<3Oa;Vd!_4_V&Iv_3*J6s_+S!#ZcOW|
z9Y)(MM#Aem0-Oe8Rbw3lTz~CG0qVD7Ge-NBB-qX5`GJK=@7xtopmIHqfWw5(z5Llm
zY<hww!gUD3t|8A)k3Y1Uo7s$9Of&#}0@r(|S&~i@c7|f$!$*e>hw*TH{^^8Ei;O^7
z1@rFiwgxzKZq4UtnK$QmV-H+vu|Ooruh$eHTs&EDQzW(eO0({}D0Q?hVwOos=)ku|
zgU`Q2DYTxDVy>}{0$f6~;LUI0O9j<juhv#L;h2fUBv8V~@&cphmljGnr!W)O>Ttm0
z-wz2i)jx=lU|#`+R7YfUkl|JjW+aWGFA_{J>e0?u1tp~?3*NK^Rp;ijpsA(Q44T6e
zqnWzc+Cm9-G#NKlRKCdB6*5GZ2UzkX_Cs}``*&{`+5}h2#SSJ5op*Q13>H9};@aKw
z)9Y+#X-{O%(9GHmV}0sXt<DUQz)0QrBTSXo*>_<aaWigUh!0k2WCs3Bor<8b_=Ni%
zpsN9ylwRSCG8m>_9Dctw2Xqp-D55QKZ)XXBgZ$$at-KXQ$ECc2b^+oUQyo#b0&Z}t
zEXK7g8AUn3lVG|S1iHo!J@<&_5qu;swVuxlL#tTEjmO<Q&k;8*6dDTwW)JqQM6EqJ
z2CT^0cMAl?oQpE7xIJc8F94qe@J%>FwC$}mM_IbJkcyw}i?@ALD%FFeMt2cXDba%F
z7(R2R^ol|*1jE>h<n*;j)Q<P_JJ_LKmsNf?oGdyRyDP_NP|dtJ(X*4;bICF!qgG$>
zgD6Z@@cn%;wm3O`qhTk^um=N4LV>|^_1tg)e*9nra0u;k>ko7V-`=bj?mLe2QB&U}
zE}!6SA9yu@UReBXMsgX#P`hZU<Wwt3O^X+lU|HkMV>dC`QRQ9D1v}memVfVa8?Tp9
zhSA!QfekB7YMj0t%O6kF<yUv`6Rn5pY0}$wMev<NWsi<Ob4QPT9FJPHuqmvJpIth4
zAx=<oOEh@UGymkf-a9{u2Z*7)=dbmM1(WU90wL(sC-wX}sP)JT(oSXyRgWf30Y!?h
zJQ%56IU&F4ptww?q5)-!r#jj{5V6L+c|dVFWoy=E7$E@DR*9)icc>A0`7FX@Anx%7
zGbF8~F@hnho;tlMW3J?IJ`HsIWk*0m)K0=7KuH5{%_y6tG+BLAKh?}NiTPI4Y;HU*
zl$d|i4i1&}>&8O*_eFv3%u)R?1JQ$|lS2f+6#F9llfS);lAjW3WPt>jQ*H;itG%+i
zgDLk@!xs0G*Ep|^bsp~}VJB|Ts->BFVwF5F!(*AQeIia6_1UAej%I-~w6>>JD*BDt
z+^Jo3s46mRECUQA<xqO&L$KV8T3OhsE8zE{m-V8<YO#5Gxy+*J)9be=HgbH5(?I@F
zWIiz1DsamwizB2#!DG22Ao`y;qTnA%t0i8p!YX;NhME$^(l^a?8rQapuw4h&?@@=<
z==BfW-|gD|L6}LlVbnf00K}~W{k38cLMl`5E6-0kmNg2PaZX$zpIgffiN(=|pT?z~
zI&BiGj7hgFWzCtC8nke3{?>fZvan`r3)fQ`#<8_h4uCpkDA|uz^GKZVx<E-T;uhBq
z<>i5^t>&tQs#cuJi&LQvdFgK+kb|!*4oEaybNZ3-Qgp7ZQyo}K=*WIl+Jwsto^k-t
zl()mPC<CE`&+YnVtZk+T4g<#6tm=#aOQD(4?TgiX7p<`t{p5(G#`^}TQ=7ek;fRV+
z)8douiRJ(;p+j&Xo)?y=s&(5pv*w*Gl>P+cB{8-TZE>pK&O^7i+3?nz%nr}<5x<JQ
zq&h`$?q^q0JPBljXG5d5=ZNke8x=<7%@lPNVZA$V8ged-U24lY%6?|33SXKFtO^o`
zF#K05)JL|sPh;VvV;hsMZcpaQ_WUvsBb{tyG4v~WBy1xR+Zk2cIawARIztHORj@kI
z5@b<VnC{et>n=IA(s@KMU)3CAY3MYUwzTU3qo^#~;K96T(=U5d$FXy?iE^plF!|C^
z=Z3Y%yXdBv!fVs_AopaYZ9;WRN8Rjt#14>^sjY6-S~tq2Tc>d+TZ|q|=*Bn;GaF>i
z5bkK`b2Xc}Xn8KQ25>ZlQq}3h+3UxfvuWFG)|uRlrceGyH`yYo;XE=m+5@L16naYy
z^b7oFUtc@0A8LtFnW2YP&OBU?jB%^ukD#tHUw_C>i-`Oog*^Xa;HRQV+a4d*dc|#Z
z=jx*M?$fI*IC!sEYzV0=@`$y@+U?zPTIzGYf6go<tZg!$Q*VNqDQa4oDw=AGslPr^
z=4ueTI4}9~bz8)z4?c1kquI+JEnHAOeOn*89OwAD>K4ia{2C)yJY+Zbi2Q#DU`pGc
z*w@?R{|hAUFB&6AWkc#|Yoq?niTjF(_cuW?^fO}ZN4!@kNJ{*Iefx`#7`6jc{0dTt
z{F*yyOCoxOd4ixxWls-0i71Cu2kDBMa>{-H5FCm=0x}*!t1rnT*bna+s!k;Ns;GQ{
zxq%o;fJl-vFvpskBM_Q;2!u8kOr{8g4hqb75)yok0COz_0z|?gP~dwFu*^Sl(5|5i
zmI0HF=AQ|)?X-b10ndSL?<DR2)&5T3U^yMIBW<u#4ZY7;$|Ghw!^9H_m>sg5G6t=I
z(9l32!C`445n2dU1X2lsQ2Bap{sLp}5FEeEu9*km5lHm?eAPRw%FsXQlz%fVBT3#q
zya+j@HZM5xKMy%=EiIImoR8cWn+6h`4!O_g<OqM-z)@;}c*C9JD;x5^*bqo?SpQiL
z1u_}`!=|bGZ67+wZ~M^J`?jv`x8=Yo0yp75`#^%r_l*sy1%faCQ4YLb)VDUI#<w<b
zA^xrlkUa2#-lWg`Ob2|l_s*Q|PzmjcL~sxP4M#mj@Bz2#7vd+l4xxYt3HZDU8c0p>
MlcJ!2Jz>uKFI?fgT>t<8

literal 15134
zcmZvj18}5W6SiYp6Wca6wz0v+wzIKqZESO6+qP{d8{7J`@ArPcr{?KrPWOHK?o%~Y
zgQ|;6K}3v>iJldPjBs~vY7T}Kh7rcrzygMc2Zlk}&CVExL0I2W-^$h$hCxo>+SuWr
zf|S0qzLKH6xt${n%a>jehK~=1K|$ZtSVrH#*y=wTIVWoe7|pNh-%d&}3?g6A5r*ln
zRQn&jypyAqxy@Hc=6_oJv)|!M@NYk38>7E-uzjun&w2j({B^T8w)xxdube^F*vMR8
z$kz2ALq-^OMn)JG4yG?724Pzp$1kA+4EukSipCDMPWFahwjBRS2-?`#ewDfYvl6$r
zb+Y^K$jbKmHV$@wjSStsI{iI_v9r0Mv7)%p-xGX2{~hvg@Ba=dW^UzZY!AaAW~J|F
zEMjbEYxFg(jIoWWqZth6KPF%M931V9^{ruCGb%d9D(Sc@@s@Qz6=8Fm?!dt@e+Qoz
zeXmfjMh$Agb{^`|#q|se52dB>WI&;q+T5eO%b~Q7aUcKui1)4{c)R?J;ZN}M@%ixn
zX!``ba`-*vzu)qI;N<)8zqdB`tA3KIc>3&SUwwW)Jy-EB*^ZVKu@3S-lPqX7C$aiy
z=C4YpcbPY=qm@w2Z7IE!+`2T@!U(c`Hd;<+W1x?mO7Roea5ph~qr5NCEF}GgExg~d
zWGfBEewEFy`cS$dwz|8Cr>B;LH;25lB{+ALFVi)Q_PG&1an0IuDN-y67TeNkP{kI=
zlRL=x@say^qj^gC9uoY@eY7wre-ZKWom{{0tte~sP15jvk;bJyQ>xh3{v-9Y34ksA
zJ`%RSa8ynmOIbBlal4hhzIw@KxzRTk#+~r{;(E;;CpG6|?Qj9067M7VgG@<<Yhg<i
zFO{F`*OuZ7HGhku&zz`z{>S^Qo*7ixTV<Ic?X64w_*VG%X!~g1=;sK5qzQw=<D-&z
zUjpligLGF!urjDv?OS1`BH&@jO`&P1ft*dd>b`AOBEG2cT@G8ve95-+WxO27x<E^Z
z;`Ek1i9t2KQc+S)!K^f(lW2xDjV-iku1kBvKC8>Jv6T@pFIE;m|1JLPw%ihoHaBd(
z@}{VaxF?y+b>?n76&8B;{g*=jo#voS0ZrI`EyOXrB-`WG%#j)Jn^<*Rq}ec7oNuw$
zXZXV#w<NWIu;!(i*%?7Wra}jo!Nh#s^K2M=Twc_V?}ATn=y2Jepy+pvFaY`jiUuhq
z;BjSk2WdC0I!0$%IKS!@eMd6|nnxZrE(v)Ps-T&fYN*8vg^zPkaOiwVwlJtcf?w)m
z9s3%Fg^e@?J*3o5?2*WFicQOcz2S~A!Awleq4l2H>Ya{O^NEWU^tG)tjq2u66Qnfy
zk5L6M--n2lYawZi8P)puLezvLle1L*2qB!~$M?K*A6d-{jr}pUuQ7sANkAxkHY{(N
z)IO^}92xZjjuxS*U~#Q^!&X;7(K`Bt^B7XjFcD6rHOH6K;<PC}8zZUZWf$~LZIlQ_
z(>^{@j+i9@;hz)-p4G7B#F6uH9fpvGn>BIGO^-}84%0#`paP7+thHlnvC!HmQOpd%
zE;YHIs6`1zhFT&-096<-7}-lg8L7+~TAtgOI$ePnQ&cDMKEu4fKV)D8_lLs7<e4+R
zGQn3Ybvh53%nLk#%k?)<q#&8{y`vsD>%&CDS<x_9@`!)*ADc4rrDm4|jPm@pU?2au
z5ZmZhbuxh3G>g!yjw&Bq9?!E4in*R8X_+#_AX)Zo-Zxc4<FM@rJwir%yIa~<NUJ~N
zsO}4v?1N@RGkI8z?9ld-iCe_s^JYv88q3<9vWe|X`jUwe)w8)r`;jB)MWFdra}3AR
zzO5H=fRbti<hN__cAm$Uw+HVUaf;5_5P`78V;})IL3i;xzbNy5lqgN?s6V2LS=(tw
zpk)XFX(TsG)0K(&RMSDiyq#iQ7ADn38rGQUC5MVEa>T<20(`Vx?*3a)a&ZF#b7%s!
zP;e;9DwB-RdKO@*Df(!x%x*%5q<O>`dfEyUy%zTilh|Tj&Sm-2kc2aWby<qhp{t@|
zMWMMlwm@ubFby@_#H4L4rODpn^QFI4aIj>E4CZ)2!#ZcanSZ^h?WRSFBPddMLn9mO
z^0et)PuA3UAnc>mY0<u0rD@JkzQ<V+sRrYx`{^qU1z_&;N0j%1S;Dv(rJZdfLTQkX
zo^w^h$f&fF${GMR$gO_-IB3K(b7_+LgK1o{Z0cV`l$V<nuc4thJDDOq%I_RA&u6M{
z1WdaN4lQ|Wz!0jEz+}=pdKgey1ZnZGZ_crt=9@($PV>#phn7ThAvi8D+)d<VikZPk
zeVp8AspsSZ=2Q(1hN?@0lcmigOwTy^6((QQs&qa)eLa-iB_TR4t9eNbigSsxdVi53
z53MP#XFqPd9KtX$1K-j!w&%LPI?gFA2<wUEM~b>a@?wNmPXMJEy%k?S<r|g&La?XS
zpl*ZvA-vUaa@9oT$1|wi2{F-o_SLUUF|F{@E;Bp%9{BW9ma!<L>w2ksIc*skVS%@T
z0s8jbzN9JTya?eON$KNkz3Ji8XtqRfK?$0I(Pe{VX;}diBx}{zPr)M-3<us}3({pM
zM!SWg+~^jHIU8ZVZu^DjJA2ZCZ>pveaCm}Z!s6AT`-VlO$*Ho;FZIJj6pqzeXl-+z
zB~_;$?>kC^X;rKiq$R7Y_iA9Viw6T+;YVlYRmB&4jlx(#D3@`f65PV1-X~~+#^}~d
zcVO+f-@yaw$<66|HtC8`mC$1?$FytmWWCkD|0Ym^!H}U(pqh$D7dX9G7N1vIUp0X#
z7}&2g+9{82vE~*6W>Gj988aBRGQtZf$DI~F6l+Qxh_JT)X%J`r+Xpfw#wAxEzFLLr
zj@ZoZOmc&6puASG@WLjvdPR>V$52m4v=tU07$Y4GoYhmJWEeDD)WaQGft9yNZ?AZ`
zP-%$0t&!-zs~JVIOqu&2i<xqGceejC1nv(_s5h+(lcki_T0^sG@|v6LMF;K=>E1L-
z;*=QU7*c)9#D-0g=+qqK9*S|sM<0I57%6ULQ}Cu@6KjhCo^S{d*0>!T;yO!fU*>`C
z_(E05M5#b}Q&pV6Qh{Hc6y%-00VGV;b1&?!X1h}%DjY$w;Xo@oeMv{Pfv~KL3~&)3
za0d)0{!nN8)A3>`<^A(B_H2FqJS+pob(oQyQERLB_E=ag8UE-Lu?@ta4#EhE2(Xme
z7`@-tc?0@{D1p^io8*CJ<QJzIg1Kwe&QSw(%-@pSf)9UOiY|r?)T#^0(kB&8kLtNA
zTT6H5EEB?!`1FYA9sJ0r)u3fDmf8&{NfuBhRO_)w4Xz}B@Cc9>K#z;icc{Z$@#+YN
z1+z4U2)+`PWOrPru41mIjz0+hs3mmGJZrh2cGjT~eK{iRO=VLVBHf!N+sSuSLRBuG
zIx~DxfLP;g5?0c#7I>BWL#In2!(G^VpmPQk6{?>%%<IGi8Z<%NKNF!*Qd7ACOoWMQ
zqBP$wm?V4Oaq3SoBcMSC_b5vH$?vx8qc5D}_F#7W_VI3H#Zw>U$pK<Gu~PE1L$mCX
zR<Ch$fp<4GcPG-rowBfcbtI-@vca{n@xk3He)lUIPIBKF&eO#Laid1EayL&8M(<iq
z7A2~v3!lxNuLTQB@LP7*XG9K`%6>VkRknf*<AWlvQ2LmsZHdgffd3&%ZCF406JE()
zEmRKLfg!AoOr8IN7MEY<1h-)PC-qOb`(DzRY8T>cw!)u*<~EgXA4ZZ!4gwb!Bog-f
zj9`YU_|lkpFTIAf_GU5}nk!)hv$*V<%YG;pU6DXZ<6vIaX=?O_18vjBI=vR7+)gNI
zA~vcW>`rpckop;w{ZMKq2v3}NHH^P}#f*O2=KiElJ$H+tt(`WoV+4gG4zj*2a$BPr
zPm?uXtfr9T3NGj=HHQ$C#QL*HNZJsKlPb6nQ?UpaS!UEP<H8TQx{zRCmKL5Z_E}=C
z4qrE5<g+;cT#kK~K-v?iS9_l0aN_f+w~H9~G07wx&8C9LW|+RLogfqQNLS8}(>wNU
z!Lg&}s$mWUIT45}q@3O)<C{NUDX%~p)e0wTFqwi-d7eI{vhUn<RshRBC=oigb@%`h
zTPzG|Noo0rCjCkJOu>uEqL&K#nF{eh%A*_>#B}urW)2F6Itca3T<u<e;VY?`8XdZz
zw(2JtavAO2KsNb7b^W1YhQ;SAWGDon4M|cKMWe0AV4Q<hLMevq^%Rf$Q2zCkxtM3E
z)JYb4hM;u}+7CtH56!SUhL=H+Gzr_QXv(uA?fSe`Azaa!2ZbeZsOdmhjJ1VTqztS>
zzgjwX==8-bVQAvO8F{WXVNFD=BeeR4rO}i=c7N|B+Pm&d8yc*rv$g1%wpG3Bp_fZl
z3en;B>cXw*E2AY~lNB)9EQ!D~GdBnEaU)a{)>OIxtMF^jD+Hy+{h6%Bwf&nwL~S?O
z<_}$wxN{xzL$EXoK6^DdSU~PAn`p$&kZUcuXy2??Z^|gr{6nevMrXQq|M`Ic<%m;)
z+J<5pfrgezmGe;28vo@dunHSF<g(iok@6DhNZlG~N!tBvC;W~*Zuu!voU0~##?Rlu
zUI?jyaVPB!wRCIK7Aat->sb`%pVrh&9ZsDJRX}OkeMJkI?hDsK9Ve~|Ro}Aa%N{81
zOZNmjpu*=P+^-9Cz&3xYW+I-T6BUypvz`RiY?S~8?+SDRH%kCfCvqJYZAw)d`17zH
z;jI(<DhC`FDs%B3$j<f*kPiZLQ69+CGLm1>`ABCzjQf%J&tS*zTlovo0oH@|VjkFg
znDAKL6jj;Yb_7{z`9t)Y2{B@edT`J=<&L`awCwQ+h`520Z`!?`7CVu@>!>rQyW1@I
zkzZZ|To$ee+ay--+i7U|2)Z3&Z&vYa+iCI!+j2@NF7x>KTvg8zH$?+@T>%h2N7|$$
zhuS1)G`(#a+u9B7SM)zTzoX`BPiNqqhfkA}P*B%{-*1?y(lOMRT||MHN@EU<v{{|o
zY>EzNx(HfuY=ZA>x&ex|2iqo}=YZSCsivITZYwo{T)>f5skszQwOOYDi$P=_rrLoU
z>Px^S^6)7&m1^l#%Qu6qy-eUol9(YjYR%ea4CSz;u7=tT{AvI}mql<@2UG1=q@cP=
zAnQdZ-`>{dR-99zGWo>;=bgb;#&Dd|R(U#GF|AG-?p#hrfDfd_>&UsiG@msEB==>l
z6!cBzp3y0y8^LDY4IxZX1nLCcnj~q6YunoRuVk96oyXOa3oSErBN-=9H_Ocogt;{~
zNX#02O<)Q$ir>WF5=jP3ibk27&A9r6rZ~)z7lweG<c;XrmSY0xMTVY+!J@inAvKtv
z54S3rMByJAt1>-qb%MDv8@ZjvJ7>2!61Qcad8^3tyP)LgA{=nBi_~`$2}f*yNA>=>
z(V;>$(L@XzE}ct5n9({J(^%;omlmoX4^be%$u<GzPiuH5t{qfyN_iPvMeECxc9u5;
zGve-qG!uf>Q;qE>Z^ds|*FOG<R&**mrD34w5oGS<k;%#r7(NoGMS8F|iS20JKVmR!
z8|m}g=;96An6&F3VZZpy11`s$kS{6E6Fa^X5IlG?5_7>9OKE1qtznl>Q!Xnh>2|9T
z92Q3izLY~5lx~uZh={8?$Xsc2<eye=vv|KjarVwz>rr)#fJY>9SA^;?O~%UE9cS}h
zxZedLlkL<rbB|tbn|WYDxGb|C)@K!+T=MO|)w#PPv4yB<UnPG~v~jgDQUwI!rNPh5
z%1G$HFhXQl^HaE&fNd6KFXWw0rokRwb{nOKxR;0{O~Y}wH1^dUrfdAX!O1Sb>84$^
zZf!ven)B>~#<}<K)tT+DD)Mq0Uuqn!n&6_j#A;xaW)8(dS|j+tO(E!pO~K8ESuo{|
z!FZ{8B<N@=$j%7bCVEb`0QX|s@7RRAU|k=DubCG2()^RVz{|CQTRXMQ2Yl!&_Bxen
z>P0DLPv*P_sy!+Ah=I&@;#{_3;+npe@5B%1QFU{=X8U=2^zw{&H}&}%Z`X71`SQ&0
z`FMZ(`BqgW{8s#VD_%Lc{bOP}pu7NPJz97xJFxqKI1KNP&qwmZvzar&)(0LXL6b%l
zgX?zPNQiHNk(Jx!Q*pSp4Oh-C*_itxW_3f?=AZV^?S0DuY*Y8f^JR($<^);>Hol?v
z=dG?r#hNupC-Kd2lk6&x9!-5)?a3uTplks{1yS?CZ6~^FPbjdi|9F<i5fGN8j=_^y
zJ4j)5g(MuXoBy{^W8^?1VOS_WFdFG++7Ob?jDCS|ub9|8*9ejJYJckNPwN{t+3{^{
z$9-TL=o;o9MUgbI6!IhjoI5IyO(5*AcQ^v%h3co40@ZwL8gMbx!{$$k&D0rOHWD(Z
zZaYLMLf*c?Dt3wn`)O`!Xx(s~&dgObPIx|tYaqj6zl7>W?OS8g_vYR9YCtsc8a)jO
zFzoXPP4UTUE>p#Kq9WM}#k3}b5ZLr@H8lqZpu^z}no=|Thz<7)lrgeSp*?>znv)zl
z`s+fhk#VP^ZQL3mC7`-+uhr+y8D7~C5}5hN7*iISyR0gT3N&xDto1*rm1)62c!}r$
zAlf5#!U43lJ-{f5J@;cJ4!e3Pd;#Nj{>hghKMEEZt-rmaiB(}Bt#{SUaEFpaseRk>
zB?9ZhJ~CiPhyHzxt>QkT8B0T3t0)3(gk3W{z0rf|<xhY0gNKeqmmk7YO(=5+Nowb0
zC}EUxP!6O97rG^l3V-%w`RtJ7RVzGr_&d1bUTdgz+Ju;=&Kbnk6X8qtaF5+LP1Q+V
z5q(jO9x1Uu0vY831!!>LX)^Ir5vx(RD9esCp5s~PKm)Xi?@X+=CZTAl(#<+n`3EH@
z{pRxPSpD8OQNWVS3d=<ve6vmhmiG<Fo>C`-nJWW!!6;ftKY%Js28Trqtk5YY>ZisQ
z1%yjE9qJ~mfQvI}4jl~*X^g;drsg>OmEijIB2B4ABK!R6PUte8)qemiJ5GU$n^8`?
zsiW@Wp9hq=Eg{0(pqQ^YRVTi_aA(aG^oRt&6}Hjo+Cf2e=h0E5O{S{vH-@1L5lXzE
zH9of=HJP@Bo%@~R((YC8E6E<_niWK}!ey;eXtWqj(@%H#%D&?d8x<iosftdS(P9BZ
zej|~h2F3kT-vSXGCKU#{5*KC|0EOcWE5uc>r)jO2JxQ~|Z8?7wP#?h!!O-hNrb&lF
zWHZ#dAA|UTI&<MawAdF1O24N#EMp~%WVofcwY~GRN=B7VEXIk><VS6XGu-oUk!7Mw
z0|5QzLmhiuWwY-x?O|^3&=@ag4II0scE*Zps<K==Ju^mfrAFR$=8=0?S>?%nb;j_S
ze^N8IEg%#du7bg(^scGV4Ao4st*ef?RZfaY4p^eyicQRqp-dh1?7Nv@92m0frVzeN
zDNu<ajSbSOC`RfWiv7I*nBSaq-6ArXnYhc*$8<QdI5Ibg!5~67)4gHx3-ORqh?v>;
zHi-Qvke-4X<W(rR?ed7vNgm`Pg+n|A!-xQ!Tv=^?g=OQUbTev*gFzJ;RKjcSg(&m_
zL46gz@K~{XVr(^!6Z2}j;*(oOY53|!a_>-(p;1YV48Hh<X&7#+tS<Fu`xA^RgJOZ0
zqVMFd{z8i50K^y*-kxC)DY9fvBuopghngrB^|=+McL)#^ZvP%=!H`9k;z7npLr%;#
z)g=YFm*^LbmrgoHNz1rXlV>Z`wi>E&dqyKZ3%LisdJxBGee}dcknw(y^e5OK&+`j$
z)=jgD9(qsBtrzY+{!JJ+2r?2q{Z>I&#)h6!-;3$V;wNaZ`+YBs53*AxvegMLWEV-I
zEWD>pGmKYg*iyL>VX>J7Mwt^(1b@nQL_~_~ksAM*b{47Y_q{kiwt?=Yh0%R#A1@z&
zoF-#Vu=)g#bf;PenI<#ntqCrJ!w*=V*1H8Z(S(tOLIs<yaYDrqw!g*v;nTZuK;w^O
zr;=Ot?R8xYqDwG(y-toU8U#IeT|JM$2K2+q!{%bFeGYKJsuZJEYk8;iT>rS;<8-e>
zLrpIUI~CVG#h`)9HSB2ci6rt!<-X}Zx||7FbBi81KW*F*HaPqp*KGawk1LqL%Nex;
zJxtQLg?$F0+E8GmpJ+^J7Kg1%ty8*{U5erAOz#~(G3T8#Kz=(X<^<6Li4*M6Hc~p4
z)G#{%!~<9f7GW>3ZaR7+Dn4=48!>RDv8jVwc_eGrWVoktybKk~3&tS2w@QU!NMw5?
ztz!e@R5EK+k9v7m@6Dm`=37?tn<pqNm1}}DDq8s=66M_)A!wrti&fmr*))vDBA)F7
zu6yuZY1O#k_LbIzG;oBzX_u5bWW(c!%jmz&SzEKF>GQ=r3KXT`>Z|BpL@V$)eX}Z1
zgo1N3YEnQ3QNVAD@cS+0DFxBrZ?w;J{*yP577>_KzM#a-_v|NdB`!iWn9BumCQ6;M
zmbt@B8-s51Y>y|Dt@3Xl9U~Y}#=LzFO1>Q&MxF(tEWE{GwYEo_Kv%vW64#!)M5att
z)i&zQH8En2l7&{sY;f6LoFO-7eOy>8LWGF@Jk?VO2xvb&+R*SPTI>rxojl;Aqu4Th
zV!&__Y|(9Mu)S<rl|fi}fWCE`$5M(J6OBRt;Ns+rlN+BWMUmi4ui35lGFKHLOoJ-j
zH*(W`XXdN#K>X37(S2T2tvAl;Aqb;>M1~+s!m3A$ks|M+#Hq|~3ZS96h|FFw+nr32
z1-{0|c@0#nHOcWDA<Bj?K3ajaK|{s3duzd87I}8mOnIh|^4sKs;EE!<P9e4Sm9W6V
z7?~XwAoCl3<XSE=P~=1l;nh5gWztO=Uo8uKDX(vaR6_eMja>V%0~J+{rp_zz@i@Dm
znH=6A5emLFm*@85U=cxj43<Cofe1Br-ZdApp<@PA9FbfPz1^R~y_;Lg<us`5j^i{)
z^V#Kep%QQ!1faNBg#DF=w>ai!)&cToajeF=1Ik^Eq21u7{_9ss1z?kys~ph9Zda$n
z$!w>=V6~pPSawi+-+LT7=e~0{KH=W*P_N@^vTM?D<=#KxZcV9H1!W^Fn(wZ`;QM9t
z2#`AsO2)ungdI}<dKH5HWjD3JQx1ssU$0OtlRphArur)WI$AFWOj2epM#L1~6W8#R
zt6F}IDrUQQ+Jf&Y`{D?B3SP)r0g%hdScIjJ$XbLANwHakwJlpOS8dxY2k0z%XjFx^
z-tRVv*(^rrDt(PC=fGPIAh_eI0N{6Vl`jdC(^9q1FFJ5n0QjAWp3OAFd=+=?<0!!m
zUXzlftz8uijJez@Y8VAkgoD-l+7M(P30xwB`yk9G4Bd<EIPd7gUdFfjp{Y1^n}GUA
zNcA^3>2kP#w|+lFTAZ|*?LICkXLnrLQLj>|y%Um(!aJ@n8O&d^L3`<<C0egvs6^8j
zCWy^g))MbRwr)+Z%?T{<g)tg`hJZ%Bvhy1_*1W%>52kJ(7z8U}Y6KJ88-imUv7&<S
zWsc4YF>rO<Ev;pyUGDjbOuyGA<QsPYTg*Oc8n`d|ZK4LEpoI;;RsMYY5ll%*Qw%k5
z2oMt;U%?}QkBTnMwNnp$sjwRh2QB)n5U$f$x0+<z>8?{mw|N_H=idPYMr<R<3!X)U
zEC>+-a^7W-mr`8Ca1o#$t;2J1?S<%@6;tyDhF>%N4#a69DuX@L6iz=O?+pq?!DyT}
z5P91>V@0b&kK4+RKF^Y~X2c60gqzpOlVs~Y>=zVo<WpaQ8@J{n4ZGceS_7=A&`x`Z
zYt(-xzWLG1Ea#!pZN!tju#7#wkq3!{I^Lq!mxCo7FL*rK`UhOSXVPl?k8FBtgw_)q
z+8H4CrCmFf675obaV$@lmV!M&Q^ZBE*6q-gi<9o?h~YzSp7}Gd=AL#A<ugjxVrSbe
zxPG8p*rC0-7#cC9JkdP0FW8h^q+*aSX?h=Tg*5%jVz<adp&Q|RFV`RYl@?myc!zNo
z^3U!N&oD}*{k1^rrOch4+7<QiKCS1LbcyY$o-~g^qZ@j+1#6&g&}i%KJ}H8Wf^r2|
zGCOO>_nUzty^rYT-el_-Fk#;z4o5_p2zZWmPe}<PCjWW08pJv~{ADI{gej|(0SxBO
zSPWMl>}f+Z7;nUBqhN6Xt2(<deN66htfCrBKj(tc4``yWDSFP_W#O&JylYL?R!xJ0
z;S+?PxI!A&+d=GRN3^~*PQ7qckAC|L(wLcW3UvW=$n)0Ll~L#Pa?uzyBy%P?whWs`
zn{T+i7D;KQTH5MDUY<+!kae)oH6<sFJcMfn^MZ9gu8G39x093{-Y~|a9U??*Z(5^0
zpX#XlV^~6@;~h8Xc>FoWuM3AiIWR_|^YujSfuPie%8AM6jgFQn5Z?-*G;ytdF(RX0
z^0S(SwNLK01}r%hO4Sgu>PhtEI@<qXg0mYk|Ik~;_pWu|R%?ksl-8<kSi(HP9zBz9
zvwA(lWhZK%v4v3mY~6UA4$Rfp?P-;Y6B~!n!;~EwfNVTu#oY>C?zB1?TsForRKpof
zp=(@4iTJ)eeWppt$%?&?85t6Aq)qFfyY5TMmrg3_qf)s|J8sg|jQ*43maK#Eg`~sx
zX!+t8ynXFKf+6xnh9S~jnt>B(4i@<CuJ`w^I}m<yN9nIZk`Cs5tPbY+*Zn+IXWR5X
z`VJ&(o_h|~kmu{#oP*`;ah7J-COzcsV4NfQ=c>+)(Fxt2B%S`9bqwy?bk}S4c-Q-f
z;mhmHr3i3Ez0KPp(C1SGu$z3$(!o4U)#;Xp;F*QxOz@Cq7(dO@A>2>ZNjd(ymUugS
z#cZ8VTJVihBTe0brG6Fx#JY+BVm@Dv$o-n`z_!Snv#|Lcg@E5v497vC-;RSGHs)Xh
zH@>==ze+G%`K_~bFdou%T*ZuZ9am88*O7_(PMa00P(eWtt0Eiyb_C5-n#Jv4-2&%V
zKx`uwq{siBWxiOudB=^N{uyF4Br);x=y-Mx3nH=OI?xf$;{tWu9tbFhY?0M0`7sh)
zPiWR+`)W9XUGCdX1^Y8nNi^GC%eqaN)=y;XWr=-56ME}nsu;0;QS|+t+QVP8#?4HU
ztW1cZ;LqdfXv%<<Ga&njk|}ah$ez}Ly`s6Ot)LXhdZFbV${Q-FG0xZ&l&)1MQ$p?7
zcstki85TC|$6Y+RD5`52wp6J0IE%2Nc2f?c0!Ld?jCR&lK_~2*ZR2yYOYxH)3!}PX
zu%4T5R7z~#Ilww~uRofFCA`%S4Fa4gZ*h8T#8*$y$mbuPOQ~^GD=q@IGRj2kLcq2a
zS5|;sI~ORCtEtQoBrDTxeAt?(#Rb#dOji82BXbP}BnBmIz13%x(=eHw+$6ujhIL$|
z&O4HID&?E@=L}y#T3bxtK&N26Tn@e<)E|U$^6$0O{VD(C%>vzqM->^!u*FP*AEXlU
zu57@V$SqCVul^Ju59Ly&EI#7ChN>vsjwrv+ddP)r)SN|KvzfN$DNwj^5`Oax*0*-E
z2e7HMI2)Hd)&f++p}o0O{8-aQxGnqfOfH#5;#8AGXg*UyCfbEdXEOxwh!Lb8Sh+bD
z@|}MgZPejWnkPwY)5aLR72ha_u)@w6YdAA;Wuj2ewQtUB&(;iO(bY)hetkD2BB4yt
zHiB|WOhHU!mu6j1k}KYp)sL!n1k&EbN@Ah#C?K;qSYI5J4qp~>qF>L~&JLay%q-&#
zU-KMI5<qrX9CSACu;4r)^e18b=y}9tvC(BDmImgyjU&@YscX70Jt9l(yKXlIaN_0b
zX#N7hUpDc>IS|JWCimy$=&7o(3^W&aW+yL^RXJ6dU6NdB!|RliVpQ1xF)QyPPN-ay
zoHJR82Wp5hm-t}_3*uPq?#vIZYK!5Q(`q$8uq3cl_iLhZEoUrl+5o3;rVy4064lrA
znVaCpD)^3)#-YDOSgTD`j>_K5aQ)RYZ>UuMpOPWiwN1dX+S<_pqT@weMsZK$Z`qI{
z1WlR7tG#m3yHNy$o4MlZ<!Q$WNy3>S11zRb#{SV+gVxf+#q)8wTW$i}C6X7vxduD;
zN4J)6`GYHo9d<c%?)fS_2P?)foV9#oKs?)VZcyzZigF*9;F$am=@b9rasrutipLyU
z1<;G1wB|#^`|oE(=1w|EX3I+CYg?&HAX|!6#@++DG#6~g*YEJ&pebh`2rl3uv)dkR
z^qYAj@mYN}D&?aI{REm%feU5q9b0UkhIu=lBD5H1p4W0GbIQ8OXOye=tVYS*WfWUl
z{#hfKwHYWX+uv@+A}+P%W$m07cF0x>qkd-PRa9rC&0%jepGjHlAQaUfCb<OPdfVjV
zy>(*R99s5O`V;yiDLw&aYU_lOL*a3I8j&jTh=SIO3$eQ4oTx}Lt;vl00^=i+F>ZMi
zc8Z*m`)DLF9e+<e<V-q8ZE<ut44P*WGbM;OKrHZzMzf81eSNI8pV}Ct7i^^Bd$PD|
zFOX@_2KM~CW2dbc6dFc(IOC>4!k|y>w;x_OvY#&kpiP=EWbRM%XO9)}J@~Ghx105<
za-=$b)8_P{I2kc1ctw&5L=$>R3}LZ?*0;h<bmXXbdXAgL5fA0IrZYGuil5?-?Iq_$
zqxA%rDNTo9Gx~j?4fTrgSe~-k=Az$Gi(FtYOuu!tZWc4<=ia)GO=Z*B&O(MjdIf0+
zgPBoTnc|fUzMCT9$FXN1$hWf)eKI?Vcjio2g~R>lR*hFCQf(Q_^Th8@$fmfsf&m8#
zNK(9l`F@RSTkPW$Tgy^~FpUv%%y$feZ|4}SM@ZZkg@k8wa7{%>c(KZ8kj-r|I>iQx
zbgflPSF1SHO20aDO${7kTpQH15bH&TGp`|(rlX=vw#Mq&pPCTK(rNLIja~ZP*D^Qt
z1w?02(|Y@>c>(%dz@d;MBMLHeH@T&qhM^mI6EL>h5x!Oz-N5_oVZ!FR(H=5wl)`|t
z`h#m1->j<nWCQ_SqG)oe**ryuto_^Qk7F^~tk4)BD$Oib39_N}<M~%U(~*)}Ju$Ci
z?bNLN);)NLLNGCEFK<Ue$l8sn08LipIaENK-<W)rtE$HMZ~3`p`kB+1vR1ejqWXpE
zU4MeX7vY{BeteuVob<s9F>8PN$3FH54=|i-wWkuGJb-$>8_|?cq}?Hk<C0S4d}(S$
zM+M75VWJ)U*^jNRu{o+`sBV)y0)cLt*!9WatFeTDtxB$LpY!7c|G<~$V_hIFmWXT^
z`T!pQT2r@IgarqVa|MiZHVV6raLYq^<wp8DSd2fW23AGj>SEmjI{*DekpHRrhGG3@
z(xal?an`Zq;g<O5n?o_M_1l>84NI)|%8dwM%Rh|L#w`wAq5J`1@+aASTdL1d)t@%|
zoNTB_mQc!-fC0=)Paut#pRrmB!N17zh_*1iD9HNq6}P9c_9ptr!KiONoDpV3wpGjd
zk%g_epN+escEVcce?dIKXhP%dWRILE4H07b_@1UQgH4{B(k@5hzT)$ZYhAt}pzim(
z+_4Za76j4V>^FhCilM0U$MW31@k(bewd_3tFDi^e1ILYJyunP0{UrQ3Id;(nvlCAF
zGBAY9J`8YSXdeMSt0j^Y`1Lc{^4ONRw`a#C3Ws2MG?Gy>Krh{{3?6<VRUWLSWJY62
za{y)+y*96R;_Z#(aHG0HTa^EUar6+wKSzJEe=p`pT8)!tFKDS@Ufb5sOJ{)6MU+9(
z+Q>O8UYDnx++hIdX5gnf9quZ?FQvkWD}<to`GK&1gt|MqSHFryyouN{q==>)7$q!&
zmSM<_CNmE`m=rEpufajv<&@?2Sv#9Y7DQi_m@4y?R-F(kod^8Wd8ay2F`)e5k7%rV
zOXcG8Dlhvvc$;DiSbA*&{7bb=g)u`)TulAAtvLeiLBXR7^JV89Ra0ohMHvuT^5*_v
zd9_6(B8!iJ((7YOZoHEk{kucX9gvDc%FK<7`A4{_07^bnh1jP2@@#5jj+Ew&jNk%W
zrekh_^l~r>aq6V4cd&sZ`;sq`DIqAZ1Xy3!4f}!qpwS{M%@2lX!>wrRv3u_2oI>1I
z%{2^ITW2Fa>53mj$AVmxtl!hACJ@?Nn-)H5zU_;uXWtdoexjZ$+^%XF7LnJfgNFr@
zx;^fo7#|?1ZN`%%xLh&ysoPU6#fZeoxTBmejPZN=tKajG!3VLwbmT@kDJbk;7t!PE
zC{SG^e8e;|7~T5)JV|;rYecfx5c$Lz1nLw`8KsSUA;NC~tJpC)97ltGV=x$Njlb_F
zqS4x&<9(h*!%N4$S9+dRg<4(<RhQR<^@2FUd%2>sw(g5K_6AAkSj1V!0JQnaY@*1w
zF|{um=T+L=>C6l=sGt`;l~{Wq_c&quSKUcWJT+np%N2;W<=H}JK$wl-dr%hd#;q=j
z9GXR-pWB=A34Sb#k3={!kE3|s(UMGt#*YlX+%osr<Gs%ggv411d=PWSRF5%_B#%ZA
zC?9>dy8!@I2&o8pq)2eiq!5F0y-s4QZm$ti7cxbU^pCNHsMXrC(2kkPJDl#GMVB0b
zsv3x1S3IGnP-}22tuhK1lG|`k>A{?r8c;T|{+b9@VRn_&oz=%FK7suncDySM&N~`!
zijV!C&{p1iefQY>ktL<Y*21^$RVnY1JvO&-bYu6319QRWe|W)hc)^z((l&K4v0>T~
z0chuS!V0<duNrE`@5Jv~W?x_{gC5hKJQ@I>*X8lTU;IPQaUZIq*5uaV>i$+avoV)^
zx^oPQ#`Esisx);!Fn3D=>LwzdecCs3^l<pcp^f`xogkX;S8@JSqYG}hEN>xzhu3@L
z?Be(~;a0k5=7=oht}%b=bYdp?bYMnlCOv;jiCJH8>#|H}QOf7~RssHE)7jOP#-QTQ
zzJrIuP2grG&t?#3CQs4n@&2u+!wuw#96t7Nx>L`{p6R@u48zkCkFF;Vnns?A%XR8)
z@Q^EkeJlr+m4gR&6ThHsuo}K=%mi0L1+?*jSBS&Rjv%IHRp*~k1Y_qOswu6USegl1
z1(O~-&qpRgk!06x{m{;KzlUSLYd26g;a(wDExeW_9^&t;&8LTQ*S?5D{q6A+i$J!f
zXocTT0>V2d+&Rk(UY%?7Huh*yKzAQP8crGuhv{LbDgg1q&Q@%u2T{+sanP;yc-%&{
z0eh;fwW$EMrxOpLXCvTnf${PJ&Q6-s0K^b^Hv*z9R`{GVo4SjbCQZ-K_(P6aLhm-h
zY>S&6;goh^JlI_xQMMw{2u3FMDDYSmiExvEB@7U63#w04T9~p%K+6w9@9mW4TnbFv
z?b_3c2K3|l2wmDA3$pnVmg-Q2{fhLZlU%soZ#_mZV^)0AqEoDWCM2*-$s8nBFM)5K
z_^1}P`IM$>q&|k8Duj{*<XfZL<8!siWC<&|h>Y{hq@A`@2tqF^cOs~WKvawZ1~G84
zVa^<Rg=rV4p&l`yiFB?)EdCx@uSM=p8md@cs||kkw1#(m^@GVwkE+S#iSgeTBn%#}
zNH#Y7E#5Hfe(mB8-s3BN_9x>LFVuzLH-<lPBc`9Mupq{sJkuchovdiW`<+-*Ds(_$
zFRY~~@%kL;e}%)H9QTKD;T-puzu{rBPw@UMH$>q6tT03m=`8D2pHst4f!F7ZNP*Ym
z{7d_>{w4c}?kjQ!hEcv0$Xr+nKt#L}yFcss+VnOM5^!=H|7G_4d_J*rHV`6l|JD<t
zP|jD9)$xc_qEm)gYC6ShRl2l_vrzYlk5Fog$Y=F8fO&OQh3~a|ZC~*~^n3Xe@V7?*
zBIH6HBmv0Zz`k(%SAWF7jr-U3Z}IC$|AdIYGQgK?4nVN`^=3u>Il)m1c_(?F6X8<2
zR0X*ZP{i{azcKexxoQb=q0j3!-~<|pm(Ju>@E#XV+160(-rZY~w|S0xVQ;RVVqs6%
zmSW-bIOt@Dayj#)hh_7(j;4GmWU+g`JEy2;vAgxxVGO^MTepAjh!QJ(%!9Bm^s(0H
ziyHaKlxp9EBFwJeFHxPII2Mw0?BKzFX92WE^Fvpl`MpxiFX3d!R=Dqpjs?{_(j?!W
zQM_^C*)o?juyAaA+<>3cewaInS_nryx|zw?FoL;Ollx2+v4eSKd{n|-aWL1$cj|eH
z+C?u6X#Y=a(;a)mDL$G<iGIcq`x;P~`~gWfHBUwYy9tE}q-o~D+0~xrxvyQg*267A
z%*62{P^$N^x@c$O6q<2)?vnWcch4;}(Vk{gQsEq0!B%nzi0n|KqF>9iz8VI%E`|Z(
zuZYEtyFT`mKY7SK=XY*4YXbSL4Y877_KVZXg%;SVhzaJlX_i!S95-TGrWO42R@=SO
zw+>dKT$9F{zNIa-NI_4LF}jKNo-w1e4~#VW#n1kJSjjI<*0oJ=LgVwvJT&-Yvg!FI
zZL8j}sdO8&nKEW+6SgD)G!6w@C(#Z9MQx9v4Mn)d0n!}t9UtE6#+!(`*V)thMU(*h
z3O-s6YQ#B*b*X6OWjX$HvICbm4)jKvkyw~tF9p5MRh$Yt@Zi+Ag898T4%BCViw`s-
zkbf0^FsF(80zu*)xxLO*TnhSaiMW7K*RKTwSCXbYwG~G^BK4VSJSh4D_fR?vB&EU*
zsMDflay-Fy6wI%OoL+D4=bT=5-mjfqS-9;>o{IWi8MxsU6zGj@U+!xQU%k&QZi;%n
z*}inn9Df6so05K82JYQ^Cv|k$-znNgdc6M}d@0}UZv=zR?d|^+b)|cLwGHz8>q&i<
z{53@5*w?^o=lcPFgFw)|vpw#mF#YG?>xh_Zh`VY_W;u_YRdNJ@(jXbtATvQHePb0*
z(UWSY*0@-p5AGPVvC7g@_aM=tQG-VVmei!&MZXLIC=@sGub3Y#q=^TduQ6?NyN_^j
z8BvOX+LQ0++oYE<>pBm%Ueu-9fML+|xEGspEeYUx^&XN%Q3Zm|JZm=RWF4S%lTzQX
z0ZbDluGGRkx;W4I$txkefyR{B@2Dr7PeZh~L|{Rrr+umgLN%ov1<mXe18fUotQMzO
zl7d81f3glK&*7aTK>`bL)euL@LJ=57mV$F2zY)piXY_PA>(X5owxv$9u1xgzy?Ex}
ztCdO5#Ts<k4NsA8FfZ@o8d;r?yG<;_3Y)+mR%%KudPIUw=WW|aUd1cam4iyHJ%FP%
z+23hmo$Wh(N)HwWJ;}A3`m=F-D>IsKoUMM_hpa|`=NM+5o;74}NqtUzdtz^_za9sx
z8VOSc`SBeu@$HuOP%FH!*9^)%&q~;DWN!fWffK=-B-Fu3TO%=EEYQ)%MD2N=R@~-0
z=&d^I{J?DDYWPbP<HxQy0wOaD*499&PV{aoC++VSX~cCCiP74f>^Hvs7=~n^5=mwy
zKcf;E@qK~NA{}*)9VE%Rw0iPL^S~>_DVETp-6tKu9My_bbDvSwbJ~n{=SEjWoxv6$
z!g`7W>f3_sr(~~fJ-ioaLVvsGUb3wk{ESOY9r7pG#+K@>;wPB&N5kb9k?YKDRok<w
z9pVu|9P%MvDCfmSA)`H{ew$-*AF6a9n`{S<#al4WUb}M-{3k-_FVOR{(e`o-@kQ^F
zRCvEusFs&;>Xmezx5W*xHyb=n;4X>tX;WP+{_v5+Yqho2)1h=nNVJ!trk*}15axS<
zi9tJ`-%I(G7B+fK>b#CkG<)R?wR1bFgDWOAg;1a>e;lCt$4aK1wMj5VZ5^h1F4AQa
z5VzS=?X}x4RV<1d4@Buj&J9b1dmJ=(-JkO!!QLL`EY<1ftJm$^>S$Gj;GN$E#_n(x
ztK7j&4dd)HN&|jO_IkZB<``L@QAx84V6b12A)RhHjchngDfNJaz1G97o>9{+`4jj`
zoR~!L`K7GK$G49)6J?#s^z0nbU$=A)_Lf;n@v{T7WFFS7wG*+I;`N=p#NfhpYq6^x
ztdV4hT?|M7MGS319)SIJ$g+9hW6Zz6?UugpE=jm@{M9UWk80xi-a^fhpxtM4wAJl5
z3Jk~J*i>^2F<j%e!fr`$7+y(?hhtF}u(U6}rIuS<Kv-&$T+QQ3wf0(GtCwKy=;81)
ze+!iE!o+<=tiPsoYPkma`@30rvW0KpV5^<!=2-4&Bcpef{jy@7T-gZ&-n$|C=x+UK
z`O(RIcF{T^p*}H+nG{Vji@=Dmw2LDSMskuP<;I;+E67!p8G@bG0UGgw+DRJRNoRBG
zdR1V!S)Q`Iv4Cki;zWL=MOc1O7t_#p*pM|%5A@i~pnja$HniwkMspGEn{6RztBob|
zLrc<H@^^HNiDS68yOfH?D6Uv&$`Uq*{R(bIEId`32U*voiUY=<=3CHmu{l+1h%5tG
zo^tm`&7V<~(g=5#0%e0p-k;pka+U+HTd7r@2=d34<N->>JWk%9>2v{yf?k&cH6&#O
zQYYwFYWna@8#eC0P)dy2>MB}wd0n;@ZWHTkE?z~EQC+aGtL<p+jGBw@Pq)-<z6b#W
z$vQnL<Gi!9+hEo@Ew|@$d-qpv<--|Evs-5GBki@h<q1uERGZCRQP|10E&9YRoMsLe
zqhgCQF!)OEI+i)0o=R_rK_LUNwwH-h9ZUPvNH5%hD(@kG_j}D!O&YED!ygmB*DB7C
zSY8jT@dd4i4s4Sm4u%ltry_8FYcZ`>C`XJt+ge~sLZ>2+_$@Ek5^AjIU@cfjYQG^2
z+-<u29(BfvCO=<wIa|x>8^phcz`FLJ?*4g{z7dW09G-*C)1?EaTOc`i(SL_xoWzqi
zgT$jWxdPqwGA0*d-g0CNANz*y(5h{QMWj}FJLaa#Tx<=fZ80@4dD~?Fl{4WKz|(;=
z-QGZ)BWhSP4bugiVqki55&7umK09jT&7xvzy6=*K_wx2Maj7u=z$c{53kKRY!^<^5
zcHl7Fm7VAixa)i*3><yBrAhBY@f%COLu<SuMtNVTnJj!%4%iw`05I3EdvA-tT6%Dr
zPT^Ndah8raH8x?D=rpmd8nLByl<e?sP*Te)$Q<k`l%&4Aj4=j$;{0F(%u!&3V-R%Z
zZmTM@v`()7TlZt~)?Uf%w3jG$1M|_}{h51_Lnzp$>69g59r~5^g%QNy=eZJS@4GDq
z52VWu2&eSQEV483I!S;XaE8N(Gx(9tPS+9qRiyaod2kK;{`6z<F4bZx;+bw6kk0k=
z<Mn}Vx5U2rxFi&Q!DVy9f;G2YQws+a4Zj?}Yn^#A&9BwbiV6Adr;v(kxcf?2`Ic<!
zZ#Q9Hum^+rjjx<PZ(sRmKR@_$U~^Re0)GFpdjFz+e-XaFs2>w6Gb_`7`M<yL;NPU?
z7jgKn?k`>VKas#M2JtUb_yzubaf^;$c%aRHmum6`7RHAEvnuN9D6ZuA1rGkVu3&F#
zsATN;)tTW7)cis+ja?mKzWyHhVjzY7y$k<)m;4V``LF+9F!I0t|KT|Qa+3})4ASOC
zf4R)RT&3cF07<8RILiM;GrHOvo4_y<GBLt1{`bL5$j-*b!bWI9_@5jTD<>l-;XhSE
zn}2hES1kYL{;T_s;y>|!%Q3P4KYN+j8ULRg3p3mQm1AOM=ls8QUpdzQPmZ1Gf9-X&
z*EhHNf-?U>QO(_rVZP4BplECB_z&*-55DT)sBiE1&&j{e#?AplMkXpR2J=4vi<kZ$

diff --git a/tables/related/micro.tex b/tables/related/micro.tex
index 3f16ebd..0f40d8a 100644
--- a/tables/related/micro.tex
+++ b/tables/related/micro.tex
@@ -28,7 +28,7 @@
       \hyperlink{li2016hybrid}{Li et al.} & finite & batch & global & user & compl. release & generalization, & $l$-diversity \\
       \cite{li2016hybrid} & & & & & (unknown releases) & randomization & \\ \hdashline
 
-      \hyperlink{erdogdu2015privacy}{Erdogdu and} & finite & batch/ & local & user & dependence & randomization & - \\
+      \hyperlink{erdogdu2015privacy}{Erdogdu and} & finite & batch/ & local & user & correlation & randomization & - \\
       \hyperlink{erdogdu2015privacy}{Fawaz}~\cite{erdogdu2015privacy} & & streaming & & & (temporal) & & \\ \hdashline
 
       \hyperlink{jiang2013publishing}{Jiang et al.} & finite & batch & global & event & linkage & perturbation & differential \\
@@ -37,7 +37,7 @@
       \hyperlink{chen2011differentially}{Chen et al.} & finite & batch & global & user & linkage & perturbation & differential \\
       \cite{chen2011differentially} & (sequential) & & & & & (Laplace) & privacy \\ \hdashline
 
-      \hyperlink{xiao2015protecting}{Xiao et al.} & finite & batch & local & user & dependence & perturbation (multi- & differential \\
+      \hyperlink{xiao2015protecting}{Xiao et al.} & finite & batch & local & user & correlation & perturbation (multi- & differential \\
       \cite{xiao2015protecting} & (sequential) & & & & (temporal) & variate Laplace) & privacy \\ \hdashline
 
       \hyperlink{primault2015time}{\emph{Promesse}} & finite & batch & local & event & linkage & perturbation & - \\
@@ -46,7 +46,7 @@
       \hyperlink{gursoy2018differentially}{\emph{DP-Star}} & finite & batch & global & user & linkage & perturbation & differential \\
       \cite{gursoy2018differentially} & (sequential) & & & & & (Laplace) & privacy \\ \hdashline
 
-      \hyperlink{ou2018optimal}{\emph{FGS-Pufferfish}} & finite & batch & local & event & dependence & perturbation & differential \\
+      \hyperlink{ou2018optimal}{\emph{FGS-Pufferfish}} & finite & batch & local & event & correlation & perturbation & differential \\
       \cite{ou2018optimal} & (sequential) & & & & (temporal) & (Laplace) & privacy \\
 
       \midrule
@@ -69,25 +69,25 @@
       \hyperlink{zhou2009continuous}{Zhou et al.} & infinite & streaming & global & event & same with & generalization, & $k$-anonymity \\
       \cite{zhou2009continuous} & & & & & $k$-anonymity~\cite{sweeney2002k} & randomization & \\  \hdashline
 
-      \hyperlink{gotz2012maskit}{\emph{MaskIt}} & infinite & streaming & local & event & dependence & suppression & - \\ 
+      \hyperlink{gotz2012maskit}{\emph{MaskIt}} & infinite & streaming & local & event & correlation & suppression & - \\ 
       \cite{gotz2012maskit} & & & & & (temporal) & &  \\ \hdashline
 
-      \hyperlink{ma2017plp}{\emph{PLP}} & infinite & streaming & local & event & dependence & suppression & - \\ 
+      \hyperlink{ma2017plp}{\emph{PLP}} & infinite & streaming & local & event & correlation & suppression & - \\ 
       \cite{ma2017plp} & & & & & (spatiotemporal) & &  \\ \hdashline
 
-      \hyperlink{al2018adaptive}{Al-Dhubhani and} & infinite & streaming & local & event & dependence & perturbation (multi- & geo-indistin- \\
+      \hyperlink{al2018adaptive}{Al-Dhubhani and} & infinite & streaming & local & event & correlation & perturbation (multi- & geo-indistin- \\
       \hyperlink{al2018adaptive}{Cazalas}~\cite{al2018adaptive} & (sequential) & & & & (temporal) & variate Laplace) & guishability \\ \hdashline
 
-      \hyperlink{ghinita2009preventing}{Ghinita et al.} & infinite & streaming & local/ & event & dependence & generalization, & - \\
+      \hyperlink{ghinita2009preventing}{Ghinita et al.} & infinite & streaming & local/ & event & correlation & generalization, & - \\
       \cite{ghinita2009preventing} & (sequential) & & global & & (spatiotemporal) & perturbation & \\ \hdashline
 
       \hyperlink{ye2017trajectory}{Ye et al.} & infinite & streaming & global & event & linkage & generalization & $l$-diversity \\
       \cite{ye2017trajectory} & (sequential) & & & & & & \\ \hdashline
 
-      \hyperlink{cao2017quantifying}{Cao et al.} & infinite & streaming & global & user/ & dependence & perturbation & differential \\
+      \hyperlink{cao2017quantifying}{Cao et al.} & infinite & streaming & global & user/ & correlation & perturbation & differential \\
       \cite{cao2017quantifying} \cite{cao2018quantifying} & & & & ($w$-)event & (temporal) & (Laplace) & privacy \\ \hdashline
 
-      \hyperlink{naim2019off}{\emph{ON-OFF privacy}} & infinite & streaming & local & event & dependence & randomization & - \\
+      \hyperlink{naim2019off}{\emph{ON-OFF privacy}} & infinite & streaming & local & event & correlation & randomization & - \\
       \cite{naim2019off} \cite{ye2019preserving} & (sequential) & & & & (serial) & & \\
       \cite{ye2020off} \cite{ye2021off} & & & & & & & \\
 
diff --git a/tables/related/statistical.tex b/tables/related/statistical.tex
index 9ff6fa5..e8e9a35 100644
--- a/tables/related/statistical.tex
+++ b/tables/related/statistical.tex
@@ -34,19 +34,19 @@
       \hyperlink{li2017achieving}{Li et al.} & finite & batch & global & user & linkage & perturbation & differential \\
       \cite{li2017achieving} & (sequential) & & & & & (Laplace) & privacy \\ \hdashline
 
-      \hyperlink{he2015dpt}{\emph{DPT}} & finite & batch & global & user & dependence & perturbation & differential \\
+      \hyperlink{he2015dpt}{\emph{DPT}} & finite & batch & global & user & correlation & perturbation & differential \\
       \cite{he2015dpt} & (sequential) & & & & (spatial) & (Laplace) & privacy \\ \hdashline
 
-      \hyperlink{song2017pufferfish}{Song et al.} & finite & batch & global & event & dependence & perturbation & pufferfish \\
+      \hyperlink{song2017pufferfish}{Song et al.} & finite & batch & global & event & correlation & perturbation & pufferfish \\
       \cite{song2017pufferfish} & & & & & & (Laplace) & \\ \hdashline
 
-      \hyperlink{fan2013differentially}{Fan et al.} & finite & streaming & global & user & dependence & perturbation & differential \\
+      \hyperlink{fan2013differentially}{Fan et al.} & finite & streaming & global & user & correlation & perturbation & differential \\
       \cite{fan2013differentially} & (sequential) & & & & (spatiotemporal) & (Laplace) & privacy \\ \hdashline
 
       \hyperlink{fan2014adaptive}{\emph{FAST}} & finite & streaming & global & user & linkage & perturbation & differential \\
       \cite{fan2014adaptive} & & & & & & (Laplace) & privacy \\ \hdashline
 
-      \hyperlink{wang2017cts}{\emph{CTS-DP}} & finite & streaming & global & event & dependence & perturbation &  differential \\
+      \hyperlink{wang2017cts}{\emph{CTS-DP}} & finite & streaming & global & event & correlation & perturbation &  differential \\
       \cite{wang2017cts} & & & & & (serial) & (Laplace) & privacy \\
 
       \midrule
@@ -63,7 +63,7 @@
       \hyperlink{kellaris2014differentially}{Kellaris et al.} & infinite & streaming & global & $w$-event & linkage & perturbation & differential \\
       \cite{kellaris2014differentially} & & & & & & (Laplace) & privacy \\ \hdashline
 
-      \hyperlink{wang2016rescuedp}{\emph{RescueDP}} & infinite & streaming & global & $w$-event & dependence & perturbation & differential \\
+      \hyperlink{wang2016rescuedp}{\emph{RescueDP}} & infinite & streaming & global & $w$-event & correlation & perturbation & differential \\
       \cite{wang2016rescuedp} & & & & & (serial) & (Laplace) & privacy \\ \hdashline
 
       \hyperlink{erlingsson2014rappor}{\emph{RAPPOR}} & infinite & streaming & local & user & linkage & randomization (ran- & differential \\
@@ -72,7 +72,7 @@
       \hyperlink{quoc2017privapprox}{\emph{PrivApprox}} & infinite & streaming & global & event & linkage & randomization (ran- & differential \\
       \cite{quoc2017privapprox} & & & & & & domized response) & privacy \\ \hdashline
 
-      \hyperlink{li2007hiding}{Li et al.} & infinite & streaming & global & event & dependence & randomization & - \\
+      \hyperlink{li2007hiding}{Li et al.} & infinite & streaming & global & event & correlation & randomization & - \\
       \cite{li2007hiding} & & & & & (serial) & & \\ \hdashline
 
       \hyperlink{chen2017pegasus}{\emph{PeGaSus}} & infinite & streaming & global & event & linkage & perturbation & differential \\
diff --git a/text/preliminaries/privacy.tex b/text/preliminaries/privacy.tex
index cd641bb..55294c2 100644
--- a/text/preliminaries/privacy.tex
+++ b/text/preliminaries/privacy.tex
@@ -49,7 +49,7 @@ Even though many works directly refer to the general category of linkage attacks
   several releases, (ii)~the \emph{tuple correspondence} attack~\cite{fung2008anonymity}, when in case of incremental data certain tuples correspond to certain tuples in other releases, in an injective way, (iii)~the \emph{tuple equivalence} attack~\cite{he2011preventing}, when tuples among different releases are found to be equivalent with respect to the sensitive attribute, and (iv)~the \emph{unknown releases} attack~\cite{shmueli2015privacy}, when the privacy preservation is performed without taking into account previous data releases.
   % knowing the previously privacy-protected data sets.
   % \kat{can you elaborate on the last one?}
-  \item \emph{Data dependence}
+  \item \emph{Data correlation}
   % \kat{please rewrite as a full sentence}
   that may exist
   either within one data set or among one data set and previous data releases, and/or other external sources~\cite{kifer2011no, chen2014correlated, liu2016dependence, zhao2017dependent}.
@@ -62,7 +62,7 @@ An example is the lack of diversity in the sensitive attribute domain, e.g.,~if
 The second and third subcategories are attacks emerging (mostly) in continuous publishing scenarios.
 Consider again the data set in Figure~\ref{tab:snapshot-micro}.
 The complementary release attack means that an adversary can learn more things about the individuals (e.g.,~that there are high chances that Donald was at work) if he/she combines the information of two privacy-protected versions of this data set.
-By the data dependence attack, the status of Donald could be more certainly inferred, by taking into account the status of Dewey at the same moment and the dependencies between Donald's and Dewey's status, e.g.,~when Dewey is at home, then most probably Donald is at work.
+By the data correlation attack, the status of Donald could be more certainly inferred, by taking into account the status of Dewey at the same moment and the dependencies between Donald's and Dewey's status, e.g.,~when Dewey is at home, then most probably Donald is at work.
 In order to better protect the privacy of Donald in case of attacks, the data should be privacy-protected in a more adequate way (than without the attacks).
 
 
@@ -304,7 +304,7 @@ We distinguish here \emph{Pufferfish}~\cite{kifer2014pufferfish}.
 To define a privacy mechanism using \emph{Pufferfish}, one has to define a set of potential secrets $\mathcal{X}$, a set of distinct pairs $\mathcal{X}_{pairs}$, and auxiliary information about data evolution scenarios $\mathcal{B}$.
 $\mathcal{X}$ serves as an explicit specification of what we would like to protect, e.g.,~`the record of an individual $x$ is (not) in the data'.
 $\mathcal{X}_{pairs}$ is a subset of $\mathcal{X} \times \mathcal{X}$ that instructs how to protect the potential secrets $\mathcal{X}$, e.g.,~(`$x$ is in the table', `$x$ is not in the table').
-Finally, $\mathcal{B}$ is a set of conservative assumptions about how the data evolved (or were generated) that reflects the adversary's belief about the data, e.g.,~probability distributions, variable correlations, etc.
+Finally, $\mathcal{B}$ is a set of conservative assumptions about how the data evolved (or were generated) that reflects the adversary's belief about the data, e.g.,~probability distributions, variable correlation, etc.
 When there is independence between all the records in the original data set, then $\varepsilon$-differential privacy and the privacy definition of $\varepsilon$-\emph{Pufferfish}$(\mathcal{X}, \mathcal{X}_{pairs}, \mathcal{B})$ are equivalent.
 
 
@@ -419,7 +419,7 @@ The first ($m - 1$ if $w \leq 2$ or $m - w + 1$ if $w > 2$) and last ($m$) mecha
 When $w$ is greater than $2$, the rest of the mechanisms (between $m - w + 2$ and $m - 1$) contribute only to the privacy loss that is corresponding to the publication of the relevant data.
 
 \begin{theorem}
-  [Sequential composition under temporal correlations~\cite{cao2018quantifying}]
+  [Sequential composition under temporal correlation~\cite{cao2018quantifying}]
   \label{theor:compo-seq-cor}
   When a set of $w \leq t \in \mathbb{Z}^+$ independent privacy mechanisms, satisfying $\varepsilon_{m \in [1, t]}$-differential privacy, is applied over a sequence of an equal number of temporally correlated data sets, it provides a privacy guarantee equal to:
   $$
@@ -430,7 +430,7 @@ When $w$ is greater than $2$, the rest of the mechanisms (between $m - w + 2$ an
   $$
 \end{theorem}
 
-Notice that the estimation of forward privacy loss is only pertinent to a setting under finite observation and moderate correlations.
+Notice that the estimation of forward privacy loss is only pertinent to a setting under finite observation and moderate correlation.
 In different circumstances, it  might be impossible to calculate the upper bound of the temporal privacy loss, and thus only the backward privacy loss would be relevant.
 
 % Notice that---although we refer to it as `sequential'---since Theorem~\ref{theor:compo-seq-cor} refers to the application of a sequence of mechanisms to a respective sequence of disjoint data sets, we would normally expect it to correspond to the parallel composition on independent data (Theorem~\ref{theor:compo-par-ind}).