From 6e2964c3f7778c76f2017afc46e1ca8d70f4e36b Mon Sep 17 00:00:00 2001
From: Aida Nikkhah Nasab <aida.nikkhah-nasab@stud.th-deg.de>
Date: Wed, 12 Mar 2025 22:08:22 +0100
Subject: [PATCH] update Mastersthesis.pdf to incorporate recent revisions and
 improvements

---
 .../Nikkhah_Nasab-Aida-Mastersthesis.pdf      | Bin 1606248 -> 1606301 bytes
 Thesis_Docs/main.tex                          |  14 +++++++-------
 2 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/Thesis_Docs/Nikkhah_Nasab-Aida-Mastersthesis.pdf b/Thesis_Docs/Nikkhah_Nasab-Aida-Mastersthesis.pdf
index 08bd32a6299ff392f58260f1186e60c7308b419c..4a55ae686cbe59fe9a44f611da8e32a7aa545b97 100644
GIT binary patch
delta 22387
zcmV(;K-<6QgkqhAVt|AJgaU*Egam{Iga(8Mgb0KQqzc8CF_H%=f8|?QbKJ%ee%G(q
zQc@Lcl@^){m)>kEw&k*8N1`5L$q&#j$VH3=XaGx@{`Ki=a4bPuq$IzjN&@EWnd$E7
z{<^VLtBaLdee+1k`^&ROPrr70rB#@zOs~$)S6XMGilSALq@gm=>TI`q6S(yzQY!eN
z==aTflLWh_YA&wVf4`i4H<0r0r(fG_m4;ayJ0z!88>>T;S|*g&yEQcEpu0pm1wOXr
zTcgyL+b{FCM%$vTJFdSk`+Zq+`PdaLmQ3(&z0oQt_W4!WwCgAfo<O^agZKM#yXV2%
z=2*#Em+d+YnspLfmAitQuJY=bzpJEH)?InA?>k@X8(yX^fBN@0wf)s^Ait0)L=O6R
zM>^=sL$QWEg~${<HL^6y_|z}@^~PjTP}I0)$CZ9xZ~-<|_soO5FPj=$UC^9!FY_t?
zm20wtv7;?nARTf*#lbnAmDu{*5y;9?Z4M_y+OoFrk4{H}3t9CtZ~Jn4tn!uzzJB?=
zr%a-wg(o7ye>&`R;mouT*?doH;Pl7_`L-{w%KjQ_4!Dr_+<wTfxlq=-a!YftwuMcX
zUC(EM2~ErG`}|$mAM=W9HxweoO`G70HHdMyqqFB#buGGrgt{ZD3QpeTeJ+dT^^6{m
z1oi0K;{mqdmjjKw?Z~9j%|%`QQPvkcACwMtFZTife*z??<{&({zJvn{X)oc(O&Bd(
z7WKyBz^#*=66?w<-U;#R+_SeTw`FtexLKr77P6tL{8c6h!5kQmCs;TqiNL9#0TrgA
z#v_oZJLx&+_x4(-`C)tFQQmhTACsoRTVph_;&`#=DRA989*kn?iXPAIOi=dRKb#lY
zd?;irf34nhT}gME=rpp0rrsU5JrCo_uy3J7OXoY8L3<-DhoL#>%XL@Efl&DuII%1G
zysQT8&NN8?%nU1L2Ft?{xTounJ7726CNxiV-<I!=J!=W}m!LFk1?s-K=IL~bOnYMi
zCaB&OZP&woWTG%T^X3st^V>j!%9^`!d4n<+f9+*k!tSQ$O8Hz<!)GF5VvkDvdmqk>
z{?o5xa2^^aM#fuv6KW&uaUoRLbv&0lrh->+m$v<}^(v~wvS8PCUmWt26;9oWPQxUV
z1yFsENE&%<;R=Z@je~Bs77Gcw^G@FU+BOx-a4Y5)W)f4O@4Ht&{)<Z}nu_Fyh7$b}
zf49R;+4CG8;c0@kC~FoHZf~wB&;lM*w!v$~UVylNlul0D=@vc8KY3B$83+<4=_t77
zIte;bqA^gA6F^B$;KyyN<IdNH(dWPm^lk6Odhx8H+I7!P<PyabxqwjOM6Wi+gt3af
zaI`wrmSi#qrYHj)>>_`nq5nL4^xGp1e~oGdiWQ}yb#@hHaTsUOYI}I}<`=cvK_@UI
zv{|}(PeTtYST=(~wR-jF-;8QzOX*mL$}%OF$^O3B?b@R2aNQFvb1KwCkH$UY8{>7&
zrHh+2CWG^&58Lc)bpuz(Wa-If*^!YZcO7qot!yg7a~UbnKcrKf&Q`WuO7p}=e_?Sq
zXe3N$lbN34C2Y$1b*xK(6+&@<Eo|L0(4CgM<Vrwk-*i3c?<S4HESW3ui0v$&0Slw)
z0T<y?=6l(3r|2SAd?PJOG~mjR+Rg}e4c-5(RFP@(b%x16U2nN2IMtro+d1W%7<SP|
zjDj$FcD1=hOo{Qg5SnI8FsTW?f4t_7ZGH*njPIuLZUJV3Mp8pQs0i9Ald#(~i*D20
zaGOZ6kvHt|SDq?n38{PNws6dROIm}vX=6}TWQZx)rS{kc9uBsJ$3_>3uCZyUyCSTI
z17<P-B83Opbx)JhOaudctbXU$T$_arK#8Orn?+n0L!j`Y=l;Cv8ed|&e<uV`sg@nS
z_Y~ef9_wQ#I8+Hb#m4*yu~J+9F+yK(blWXoUM$mw50`xx-ep)fY$Z23fgtJub``wL
z4*B~bMlQ|<Bd1)jV+gJy@z2miK@K&M>A{x0G>DQYH&t-%BGUsMx0)WBBujCXE?iEd
zCLC1c<%^BqhC?YGazcoDe*pB*oOf(<<cKo~J_fb48<lR9K2z~C_-B()DfM#*7S;rh
zkwP*U9fKhiEyC@Cdz3yoe-gZS^&_{WvC`Z$IRx!68t^-GPTcR5%r(JdAJXES0|1G=
zly5_!6bk@KeXAn%A1ns*C)noA4?k?4KgS3a25BBX9A*lS5G4z_f1F>B&mME3D<C|~
z`yt{+ST4Rtd);t?K;XRx!`sQQLs=ht22W0`D^p~BsCV6Xf^WZlb~rriI^3vCzvbWr
zW;KAdOOEfbmcUw7Rn95H7>sPWglnM0kv^H%(YHhI<DVaMfkY1E_=M2Fp#c<pfGU(F
zgq;o*X5iS4yEq(Xf7^`M+q0X<@%t-^<oRxt^$;{Kocndn5nkJQyK}}1M$ADldM0=c
zhAaur)=}^kpY%hmjDCQbIkwdTev4hGfSgNQ=wka(_$>~TgejR=a!H6S>in>1+W>3;
z7Ms|%$ao>^#Ees+#?AuYBtGnZ{qlQmxhlJIkQFxI)tC)sf4hfGC~17(X69&2&9h{>
z9-|f_+DI?^-pM-pHmtD$#@I;Dqc^(G?{Md+eAcp8vS1+#4i!XsxRagIppY<Z=Mjdr
z-mY7B5|c>4BUTc+2WW<~W(ZOSj43x9F{a#vcEjy_g{+%p6s)}~$ut1Gj;)LMd_IDk
z_#J?*ok;Tue|LF<3`I`;xM@Pg(eVevXayj<3HHF&Sw75Jv42jo3*;<hFLp6;X<X!e
z7urUla+1ia7D3lcKTV=eM4t#Cf%hz;2S-1`UF`L#4-~A81a88pDcnpvK26kkf8a29
zf+QOI#y~t#lZ<DaO;aj~q%9JGmy3XM%ur#56^*Rbf8>?0x(D^)<f{s*0Vr0I2;LXf
zr2uwLqEKRYgpAr_Ura2PXhm_LI1M;)f9<o#^;Qya)_5_|Zv3vcYaKAEqcpHAHOaOi
z;bky+6C`5NnS_V2Pm)Yx9{{{H0};Yiw70yTWy85LYAn`#CVRxKvhBLTEfxdqrG&Sc
z1x02|f8H1MKCid3APRm_e89(iD_IH7LaG~yB|tYN0Ez)j52>J&EF`r}z;`2Ajsl~M
zro9h{evo?;9X*ZI4V>3a-3(aoFUXy%DJW6d#5`&|NZm*Pq5ZAWL!bqvlh_(tI(aj0
z9N>e%ttpxD0*dbA`aYhc36m7%d|5Q{8+I&mf3_P}lC8f5m-Ow39fxlrV$o73$$$ia
zS6g1O9)Lo#e4%xI)v${*!yU(mCS})yMyBH#xz8BF*j-VTKC=u!sS*;+p(Im07{qw=
zWr>Gp&{!V$^0)m`@>84_ZjYn2RM-e_MsQ<TD!oKFRn+sl1l2=^GZpp6>HN*6laCS9
ze>Tcmyd$<v?>aUhs{851ivhAi#9xCiqtx|;{!u&)6nEtaMEdDUo2A>zszzo`r)VAO
z>%+t>VZ_(+`?4#JJM3oTrlOg$Qj>h0z`oHmaf~=2NTvzKdQd!pCc|*QrdJ`XfX}Ay
zb`&N8)aO=mG`D=O;Dimvg@XgKN-{yvf9lsc@y=v}BRkq)7?5AGa!`H?=N7fdSq5+{
zKzl3bliP3}|CtH<%5HM>#v8SfIgBB2#I`wHR;3tQXs2A!VhBj-br+w|WCem|+T_Kt
z;*U^-I+6i(#DY5F;G5?^y?nw&;WPEla>6e0nZ7tU6gk@G^J66=Ctpn@i4O0Xf7QoP
z<0n8D-xl26%z<O-->UdD%gmvhjZU)t2qI|%)`Jr}r1NbwNrqb%2sZA}pQw5S!x0C=
zmNOIZdd`M{z6SE#GYqe<Jv^r|Or;d=<6>}qpF<>eHbmf0xWfZbJ69#_8a{k({SJgr
z8+1U)0uTm8c~@5QX;n=#a#XFVfANb!Nf5(i0QCyV0q|D=KiK<MG-x^KU@`aO3ttyH
z{&>UbuWp+5I`>(zVV1Zk{-mJ60c&u;^Vm^-hG3E`1e1=jBX&5A*>$_Jp-q!jTdd9@
zUi2Q^6Y}*1YN-jG(sxCoegz+lo)Y!-1>!Nl3vePQTjkGVf3{Z@Mp%O9e>cM?0nC^u
zF~z?MH6OX5!qmx+GW7iS7h$~e|J#ezwE7akjZ0S<=#3$IHVSn#<o?cY;-GOTY#$FL
zLmx8=O5@3hC``>T;O{(OMj{TCN&J9rjk=AGJw6J29M*KfqKN6kS?tRHr?ZSzILqpd
zQ^EXe)auP9iWSU;*agS}e<&RummfqC=ABXmGxu~2p~Ta5<bwZVsaqRx?D(kHi48W`
z0mpH}aU34U4aadoxW+rPwhAsNJT9>Mbd6tU)+U2CgI`vlbdHaH4H#u3+a;ERunli_
zta=8h6Y2lygyi&mijQ{73BX&fV;%erkNbgANdWsz*SPKKEMN2}mkZJgCVxap7FEo1
zpM=q4?*}jNF^qR$Ox@=-TfooEI_9Rm7vp1OHwFhbMqWv^z*38)9!n)Y3aoZG<AGwi
zmjz87cp$fILGQ<YtHJ-6&&q!5pw0g#<1Y5&2lvEG*dGNIDkEv>1wM9c+eksld_UZ1
z-;3WdC`M#H+++PEmzPW@@qeMkQi+e6S@rPCJ6+%$DK^6bVwUf19d0=RVDBB8_Z%NR
zdN_c44*i;Nti;FR2FLCpHe)ULpx6uJ;zR-N+WDz!h9k)M7;6V_XOqu*-HZjmBi1gu
z&vi?KBSfG!Xz2qE!F6!TSZ?UqQEyM>nw~j557b`3{J-KVW-<7S2Y+G5&w3NdBDp(n
z;yn*(vrnYA`co*bN<x=@UOxfER4jfXzL%dcpt%+mlw=Bz_9Fy)FG0C9jCA(@t&VpQ
zf^BJ~K1PG*Z2Jfm)>#xr=Cj&fon@icVtbQ&BF$C;(m41HOGkm05u?w7;m_y7m!dvz
zZboUJ9ERP3H=Khb8-G+;cvR~+MI=B`VazLcSR%k(%knYDy2X?$cOMd#|K;JA-PkNl
zm0i9Ef1-OP1ikn)X(S|u*YO@{B(?OHH?xmP+Tb7Dn3YbVP^Hl<yNOBph2Jt;oeaND
z!Xf<I#?=2pF_G*XHVx@ctjx03^t%;Lfq%KlW5(YV<Cs$BPFMdPgTEE*e8+)P`FqTK
zU#+vie;&3rn*Aa`KFnh7<3>I+J;`VK#N+9&D(2}(`GiGD&*|SaOmdGtGacUkS4)$>
zf>NuE1AlAerzSdGoCTWpKMX+t9+&Zn3lq14)Cz(d0XUZ-VG${R?OW@Q+_n+_?!RK;
z7N`VxWl^L=Dg9*EapNH9BfhpM9DmShb-PNm+KZ_5_43zu9;9BYv%Pn|AO#A;T0V#5
z%#SleaxPqLSK;c<PeS|q^5V(!*GjBJ7-V54Ru@+*nZ$w8(Mszy2%~s)v01(IR3QCz
z9ERQtKMuXNtA2=o!mz0F+FwUd@G9?ePQ5)GTR-)R(tm&PZ9mNX_xbAt#ss1&iEzxd
z4C5eE3KAlSQaK+K2E3|1f4JwbWwuI#EJ+kn4_9lE1!<Tt**6XJmBPz6o2si0lncG?
zU`w04zWt?Ywwy)kWnQmu;P=qh8*bc`9T)t>t-3Y`hKS;S8D^E&?Mg0x`NG%I`!{5i
z_b*?F2>6#s@4}D0KYhbZuG)NG`q~@O3%#4%a4pt+$m?U?0Y&X?xb$f3{6a6E$^t4k
z$Q<AXEgQrdXS{4$pwM1dnvPRdXE=e2JX{`4*ObN<<;}(>isIPj#VzNK&8BQQSsa><
zI@WbRH!fy>wweG6QsMm&MWVE{rjvz|4NDSIyksmYO|@;tB;CwSwLjLx3Cw-S+v;#M
zi%Y$|#_lCjj1%v0g}>Un^r00<6Q;=ggF0Kb%Rf|y){ip}MHr`E)fDw{(>L4TyrYuP
z&~!|W$AC%DQ~{n{RT|s9IaH?Pt~JRJJJzn2nF}O;SiFWo2yI!)#jdG-KDyZ#hyDK0
z)VH?Be!aBf>-qqsZgG^JahZ3Coubg&=k-nAawV4M$8L9MSwIL$D*UM=3e@4M%)8^L
z191?_8Q4f+DoLnvlFYoy%o<k~C^WNUVfP%gAhOWlN1!ES+4Db2yqjHB?6}s6-I8sA
zdx!mh5)%*+IYAFwN*I@ac_Od{yK2u8g+gAEJOu@m^%843W|AZnSC+0}DY<nhgly4P
zmXetaD!uD|?FH|yesJY&%cg8$%5LDk)11GO_)EOWsMW&q4Fi%!;?Arid+t&W*tcb9
zg`h_mEzdY>Vd*3X3DdP8uO11p71_86&MTOIX<t<C0wxwmR{cgvAfl+(>VaUr{))Ex
zl<=ai|AcZ+0v)AH-D(?oqHScaZKTsSn6MIXyGDwX)D2ec0WAe5X|<S`G6YL--qPyO
zsiDBqv7sPB)==14?5eutLGzk+@C`u$>#jf@QR2FFyShM~vLN_D6I)g~__i}yUFT?j
zY`U^FQ=XqH#_&`z;zr0K@9UiQWqe|KEEY`JaR!K)%5>%q+*}>TE5;I}Rn{Bx)lA%R
zG7`5)gG39Gd6Gm<<|3R!BpvmEE}?)5YW&TC%wL#+9{@bwlfuB>GhAsAsLXZx3VP_l
zlws$;@h><LBp+jFQ-xMnhM8R{Bw&|+wVc|JVyOx?69N@XepxdE#ytQf#ZP^)BUpi9
z{ZMU=#BIp$4$NJg1?^lWQMH7TH7{TSlpJ){2QpJum~X+%l}<2~6_xv)Z4D>jXEQ+(
zClC%jC#Gb2K#&=SUlHjbgnz;T!NL@_fbDVH0QIgaPS9zBk6~lYf?k7T8D{!_9@x03
z_TU`l`)jiR2$exnj1VE?0TF39-=_eW4EbeiSwfHi8)Pd<t|_f-$0>^xO(qj~PbLQW
zo$4`EkV?5HZGUJ94Kx7wt%jJM+U*8(F4_3NHY1mjfMFLh^&fJ!5#+VWB<&ZbW16w$
z3gwx0Vi5oZbD%(x^#-6-?{`3dX<m;#J1DrRy4{SJ)uUW$70NUABu@<-K<1WPk|~Dn
zFMRO7kJ}?{a>$EkOBxe=Icb$n7>5_Wgk4&iO@8Zx!i6I7Yzo<Z4g$%mW}?~3hP+~g
zx~-T=B_5>mxVZht_us)D(VCQ711f$Azj&;Z6O9(fPRv55q)xamkwPhd<1YyY>pxVc
z>Sc^IFe>UX0ea-x!3^{hVHE2t;L>*28J9z5A|XqWJbiF|oX0i{n%a#(!&`$HFm~-C
zCc<=3%`%S_I;K;GX+|oMwj&hHfeN*_2(Ii6lIi<#qTd_b?&(M$F`M;RFp*4yNK41(
zt0heWvP)fqYKaCc($#N&?;xOEg8+@ne_(rpD*^Kg;JonESL8@bA;8Bd-44XbS5J9S
zRK_aHpqtCpd~k%*DyRsNS~gqH>PUwY3-}H6p)Kfqj9!bEy?=1G8h_;7K;V&ZRCqIJ
z(WM=s!$7NOv?CN8pI>m-Vn>i}4)tMM734tT*`rtS2TYQa$BG<(YmfcFgP}z!Nbu(J
zqN=OTy86<cj<EN@%YuCos&+IxK5}l1B@AYStvk<sYTlazob=ebt5glXu(C%MkRRE5
zDPrrls<EXpw#5EU58_zDp0V;QZ1$J6CAQ@Js=4vuvWZ(cp;|V^I@Svs+m29~{Z!?S
zH|MXWZ{Of{Q4yVgReBG2VVfpFD8~vnP3f?$gxBR;CV}<`SQ2@4Zdo(jra(1aia`6P
zbhI~5(Kd0-jjIB`YutlO7W{51RIb}&Wp;K*(q~9>>bGNCw$=)7qflgfE?&6%vW@9b
zoVi0Wdlj_U=`~DlJ^Nm=#`%tUH$Q1kmBpsN;VbfHqCcE}mN8X*d!md+u4;dnH6<Q<
zrf%%9?N1#O#K8R1K!(Zmd~tzyc60|d1}S9a%oTuodv9j<NL}TZxbIzMLG0x_HfbGR
zp-$`)jnlREIw^9p!+ktGkPCa2Ak@(0+qZxH3#X7Jb!i7<1&x!KUBap1#&Av8oeGgW
zN(HBZ;Z!+)xNuNTcT5OF&c5QCj^m!M$)Mx{jnS=h-Kb58<2UZ|6*}WCc;(05#Va&n
z2=aiNzAV`$bFOlb_l0MBj*K5QA$BMSENEca0Y#?Rm3uo)ck{tH<_$F7*qISHER_Xi
zWZhCes0vUR0u;vA7f*hEf+`|}Y@7vgl&(|=ze2Bniv1HTSBR=iu4Euny=u$V)sw&X
z3dhlL`BP#d3UnAFv3Kvo)duQdW`WGo)eW`W_XC8hdi54)&uO~+32m9_AO^h8Cd#)s
zpPFeH#F&DweNX@`7zdfw32DJJ&>C4G0--De#q@O`NLKEDyIqa5-=iW{=?af55s{N|
zAmVg?;$Dq!p7f|G%sv{LK4lG^CZiT{kVbuj-*bZr2~cW71LMosEAX?!Pl=yBesUjN
z>8CuEK(5?>TFa1ywXEI&sHXQDt9R=-388l!Az4u1{pb3#C_=wEMWwyxew4r`R^E@8
zGJXW!HGUd=kyvAe!K0E}j>6@remTkue7Z@0lIZlnXN%eAzCx!bLiZ6qxgUYsjH%8C
zSAA`#ODqq8vpn4)>lhHur2okddcMApmv+YrK*#xs@P3EO{Y<H7@7ZLGyEe|!CYNbU
z{`lkV9hqi<$n2|F^fAbT6^8K#$j25+w~QzFlvws)tSW>CdUL@0AA8=DC_1eD>;WEs
zz;-QzBz{blCAALVILEw{XR$p&X5*!>OpsGHTVjgJI?Ps>DluiS$32B|mi9~)n4Wl9
zd!EJoL;$yw$7DVn^@o?>k1;<6mrX|_=Eq)*Ks?}Qi=Pc^H3BCo?)$6jv$&lAEMjpl
zTlIJw*H}KFiwd6#KMk|${u_5Zz!g$|B<8mxg?zSVxMKw>K?|hO_-LRQ;SSOYEt=(6
zg`fQi$IcL2Bqdm%cya?X0>H;+K8GeixR?I}RGrG;v@afWx5eO-x;M1=oZXgsM>v>C
zujNxL9;(0^WBNc}L*I_tG?dQiyQh*8`u`d`F-rnDTz>v`cA{d9^s$|I<|@^H7lQ2<
zK&{k)P9N1qC;?!!HX=F8MnnKxiRdJGO1$j2zfjK-63jgo>Hnlr_)<{(7#*0E2*Zb<
zcgnQ~;5UNfp?p-W8)e`(TCJ<k!S7lp-Wz|NC8S?73gXep|MC09@GHV7kV5~4d;kGX
ziGEaVDs-USoo9OHai_I6B8m5ZGp3H1s;p^C_^M>{Xonn&gm<Uc1Yi6#aEIHg6f8MH
z^uee0lN23Nx|T?IWMfZ#3BxkS)ZPxCJbd^Nv_TZYD3D!a_JvQY|1|E2?ECwxgDBNO
za+kCGaX^QGO0zF>H;TlPG(G2T^sd-s+8@&hHakd^MzGW&I5~(ojO|;07aTf$czDTA
z#FT#BzZ}vVoPD|YCyHwbTKxPdHws|}e3@$R3lF0s?R&=3Qyi9_MtG?^LSF%;Hyp5t
zZHl()`1up5OykGY5ZeKD7<|ch>KGamit&)#`f7m(v16B-1c71@N|+!A*LMWG*+-32
zl5`Y-!YiI7WI24;1y{O%`Ymv+<vcxs!fbI7_DO`^r=Y42LzVQvA>?dXP=Jr5+)eTW
z1rF8bjoI^p`UuNNxPU)wGK$LNDU3s8-J=c1x-Rmd83L^u7pCGu9k_5<lbJ=ca9|@Q
z8;tXH!77uecF0fSY4JALB79TUF4&b{t*G+y>S){xHjRdl$_2lFtDQWio;)*sdb7Nl
ztmvzS_ttPZE@Uy-aE8us5uM9yyy4KwJ|y<oRdw~t_<gaD2kKupIfNNmNfQV6A_=lg
ztw72YX<>Ku!V2~H<yu0ow0EoD@sl;Q(c=h70oJ_N$A4U)g3sQ)^^TTkWI-f8pM-ok
z3H5Li@m(a6Pm$<<$4DMdLM-wVeYZ%S!O-yi0=_Z!b+EKH3jKhwAsn@nL_wy~X<P$`
z>q@2PS`Ld&gMhF!=b!nXJWvPP?wF$R5v8a52n($0GloMKr4|%&&H*4$-$xi=W>;-@
z>(iZwRTLN@^bm{BbGNmCeEPLaSl{`4jqI^O6PYyy8F*-aqzo2D#zuFKj9p`Hw6B_D
zR~q|Nt)gi73jwI@H7EDU$B||3DL!*=_E3^z_^`2W=1{@0YjS9?DZ9xZ9b{_$heLmu
z{v}N6K+>3sVv(#u8;2lZ*6OEGWM$VL_h*KO&%$jcKFsJZ%M>WRSn1VT!9m0MQIS~e
z3m)Tt0eH>=5l)x!i3<~ljs6OUjs6R_js6U(yO$wh5h<5ox(y6}iBq+b!MEg_oysIm
z<>aiZlFH_Qkth*06sZv8j%S@8pMC)ZALBd@GlUvoqXG2e>ju@s^+7%S;Tt8-A3lBa
z?Nb&%#A<(3$N1sX<sms7_C*mtl;vTslKkP*`Qh(TzE2-_xl++5bE_VANv@(F+o9?o
zcX1wl(G8Qne}sR3t#00|u}tYM{QUW+KXc<Jc)N`LIaYSCkN^1eCohS6e*2Uj9}fFt
zQDi91E=i92I87gRX}nJkDT`y;vpMOZ!da3e8tO_K-9WNHvmI~GAf1X($RtTw6zE`4
zpz+06GYE(N@eq+@rw*HEYM;69)eN<1xn1c~&8@l{`^Wr$813QbA&ovKNnClpqi)Ps
zJ(#Wy*_Y85eCkFfJsUfi_B4p>G^jmW7T3)<T37&V6l~58Pbok07U<JpzL?<+W%vj~
zk1+|#(rA8Ib8XG%M5&W*ah5|CopF}#&iyn8JZUGmdFsZNHU+uR*s(qHPnCVAluUK$
znx=yVy}EsWlQGY4a{-1*pWk?9SShVg+e*gBG<<r{IBR+PP7_~gxV4qtZ*2hXII3Bi
zmC;>)PU5ucTmEUs>y;FYehsxAxYbqz3f%QC_`8_)ka``ny3$`vBg9kJo~m}}LD^)P
zNIj3eX|LQCj{Y|)hJ|fPOLrnjy_weBP&Y}U9^_Sj@o8&Wo^>KSgN;h}Bv6t?x2|vf
zfIG@m^`;})Ko#>icB+VjZLRw|4`r1;HKrAwv?+-kD-Wj~K(@Lc%xP@gtZCGCL-pv^
zI@C_<(k!84#34rb-E{wAnV*(r^tuHFLu=SruvqEfRjER)%(95jirayyWO;P2L5VE)
zkXgfjGdx@TJz9OOzC(RFMjswQ7}hT6ai{))e|}cr*A(o*ue1~JGnR3r_%Pjv)?Dl1
z{g?5zUlaE-I)tNg>bbFCTU~FUQqDc3a1>%pxTG`#<LZUZk6S112|Lf#piSd#4!ZGR
ze$k*{0Y}=EG-K~U6xrq)blbBhgY2wKdq!7(kyPx41|Bl7yHC+q1n%CF*DInYW`)LW
z2Mw0;2y=X#E&9NVW>qe-h*!D`Ob>{2J!aZXQ)iAYnLPoG>RRa^I)3VL=x%{|0_j<w
zUaph#q8WNtCNKeVDX6^1G<vORFNvR%(2o68n&=>@&lxNU)M(lY8L)A}Vz)=uxinRO
z8~}ht%2r6O3HoUl_-yefpB9d%-NxRo#l6m<^T#usin+Y8@xvIH#mb9Ab>q$H$;BXL
ziYCNQCNyr`KoJ2+q;1&f?r_@XtLM*~j$!Tqo3<H)P;YTPq<I(`!2N)N$|8vqL?5su
zIHAVSuHz84EES7cUq@qW863ak51^xe?RxT{*v73KPs2zPTQ`ev<s}ZdU2eQ(k-)d2
z${}T_IT}&0!x1Ay_N_GvlCh_nRcxG$56B{|hB(11K+x0kbD^0?nt3VWs#^(fgn3}@
zc%M6%^F1B}#-JN`WMk2|)AYcH2~U{w44dFJABJvj9*$*|gb|wbt=FXD&@sb*NjLyq
z2X;7kgft(NkdwG&Y)@_(N6oERgk*N56W|af*^aOiu6gGc9c=jN4fU---<`%v&_O;q
z@ellS=`xVE?aK3ms0NIfxRFo)PrO#1J&lhZ>iu^zk$0}mGeb=v=vJP=LEvxLs4exo
zi{}C^29>E1IF)=<7`Br`E+<8Q$jo~*93sFf4;Fh^`&y*g+Q%Olu9;ZFOB6kj6bgHg
zsEhOvBBD?^3zdmbxMj!OV>Ntb!tR@%Qwva)$c1zGP(d(K*i1nYh-;KaSXZ<bhs$07
zPLNm*wE0d<`$rI;xQ>mm5)*MNAoo*YyqjiY=$l6ukhkltZ0zWmX*&sjva#?PicE4w
zk=QKQf|A@t6(ICi-TM3jyV!*n(-4l^*!8t*s|6$6S|PdIX2ySVQiLcE(O+m4I7ah`
z5N`uDz}qAQoZ$upfEY!=|IPa*d?8L)`Z)D+0qH_|b>kmPV1i?>!~t>yeTM_1s0Sm%
za3q`<M!*}jc99mSUo>NX8HuJqVP()SP84>K(1BY?a3MK3JP%aO;{X?%Q>CAq%|o51
zJb;xc;mXobrGe`8G;_%i5IyEhSr_&UWxXX4H#-di#LzK$4hD#6kXi;(h=~DZ2@ZjD
z(lTmNeFXcM-4DFs*ooj_W8tBO!lZElaR;ykE)v@)DLw^pRQxM{jE(qvfj^kb3~>kz
zy$?13+&Et;M@^H}(x?c+88F*7nf}7hIXFPd4Wc<1F$j#?4mj^=d!2LG3;8<ut@aFB
z4Ae89X?$=%4V#meO}~PGiNr7&fS)tOfZb<IB`x|o_A)p@$4@ybw#|SWZ<vVi45Gc7
zGnESB1A~<q)uX0=m24&~;r^s07!|1W$mfHEbOH#a7z{Vb<G|B}5*!*9E?{>H2+!X?
zqLrU1MFfFec9|)(2P3?+FDxM!Qcq%CHFs{2AA>G41IlHxz=K;sHpHi3WX@|V@!Eh6
z@8+eFHdjqzpA^VTK5)eBbFlHM`(8>fada6WbLOCi0H0KU6yVd<rESQv<7d^%_6oVK
z+|)yL6%2cDIQp=Fw_EloWjKL9YUbj@D%`hEMf?zF`!p*OEWZJtG}~v%;eRRv{+}hl
zMd=UbPGAjjB48M~ewBcpO#xj}RH`tADe5e6FR}^fU~!<~OMfC!fHJaWzJw&s&JhNj
zAMvETsu84raDmai-_FrYHp}b;8NexS6@nIdRGF_58z8OnkBKJUoXso+ulB<m_uFAS
zi^!#51|-WyLhGvUcE)P4eI+L4ty4Om!XkaKn;%7Q2cFB=a3R*3=f+LmZSBF>p1d~~
z!<p}}s29>_zSNw&kvK@HoLMRlLHSo@CbRT8CbZpunW-59joD)Y)sEm5PNo}0lGV1;
z;twltG9`_>tu?!or1}7@^>!az5x^Hcp>3UdFbX_Qg`i4COmzqh80LAL#&TMwJWxEY
ztOse^=_GWlk2%e-e&HqOH#>q$ldK(LkWB}CW+Vy1kAuUj+Rjid0N2(G3oPrR0wL8S
zcq1l%PZdmGsmvyT8-x=0b>RRxTAmlsbjuwx?eoZ-mVPDHb1ZBfjONN}!O78PMD5^}
zm`tevFK#VMV1o3eP_CR`#0w)wwJI=Csa%MFA!{!N9CR?ia!n7Z15@x~;Foa1Rf!L4
zxa2gTQ;HDeH3}D!ig=+~IFc+9hoEY0f~JLkqNyS*MdHsD;#VcILx0OZF1>cBT#11Z
z8+jk{*`8~3@MAq+N!dMujzBNDT0mS#8==v3?e%>w1#uCL#kWbE*xiZX07NMpnUF&$
zh#1%9szmvcXXEQziHr70JijSYa#IvLf0d{u#7Yi{RBDshIf;8Sf!31KEvG)DCyAPW
z=DYh|aGQf>pPj_(c$+vMn_xZdy6N69QN)T{zABFa$-Y_0UZ^5hu%87YLNn)P6_o=R
z_+s1nN2wkbjG*WxkWSOqD2!IO8#oV_H4yhOt|%^gz+;yCCS@7@Jj3(b#a`=hnn01c
zRXErvPtA{)ic(=}qqmaSa*_8J!9N6ldpE<N(RHjKz(iZbqT^H@0)CC{CShk)SdQ2m
zYxQY4VMrG%a~~_QAnH=ESL+L+bA5cL*!g6x4)fyO96`-A1DMq`Bc(g!o--E?pl1=)
zGKmVAgEB~2nJv(^qZ+(Mm=H&7gty}8Z}S2X{`LrAZ>N7T!Wu-nH~KBO6~$41PCWf?
z(X;8U;9Q6LW=@!nQDK-Zl+^Ixi;n6T{S}LjGA9ltVcAB}$qQ9<QLO_z_L5=XG?V|M
z+B};07c*Ud(@;(?RaE56@EOwHkDN6IL5Ov*_CuJoy1dyg`{4|wBHMsR*H*hpGNzeD
zo&h9Ct*!!NRiK*iL-E70CBe&o*=jMm<%!?cl2lk`zs!W0A5H0wMg*0KY9WOBKvK(d
zcB8rlbZvDR>8>J`1Vg3%LjrMb?mGwQd8H%57Vd#GNp2*~l$YP+YyCZ=a0=-vrI0Rn
z>@r0<P2pA<3gj!o3M**MNEtEE<>p1MBJaNTq0;yK2uGtbnm!^B0<%Sb?MfZUpkd(|
z0KrL@pz&fvviw8y<J44)eT1uovNEU|13p_^r6%*67W~cMjFgig^FVoen-5!pu#M0k
z0G+rvu7D2G*mC1?1CU`UN>mp67hjs-%j+*qkgEBCNgMb~KT}Y~MRt=hlNhx$W;aAg
zpt@P9)|iu4#5U&Yp7y<eJ2fn)`uxOYA%~@z|3(r*uisqmGEGRCQW^bm`aH!4dY1~&
ztNnEEYD6B*kD#c_$qN>LoOrX$YI%L;5-aFfZ4Tvgo7NCWNHuB1j>jlgGar~PJ^9C3
z?VZyTb==N_`DK2}C3CDc>jYU5B$@BBBgamcBRIxah<O^yt^KuscFYbHyMoMV+XWKT
z_TN}=JuZz)5AZVq_;QKWHH|Dgi*CGCwQh~Qx%ZZz2Ee$H-aI3kkU^cyI(-5*_PysT
zx4x$rnfT&{xBNW}wM~0LEQD5wTbRq|V7B^=?_GG;k!z9oL@h1IE8hq(6jIUzT2ozN
zKX@rfpMA(wq_gjT6B5Z^3Rfg8e32Adpemr)fb@8TX6iE-j(izZh`*<41mV%hMcFoS
z7ol4j9_2Uu;hBK5Sil)P<uv1brCi)UOQ>Tm8qss{?E;d7^=v<Yaj+lpl<wn!r~KU+
z4l=?7H%F$JyJODBk-p`EHr72W4HU=l`!f7R$5N_g!iRl-L5_nzw=A;&WbxDq=f%ZC
zdIZvixoaN5ShiSPKqJALoADxU96>oRvXMOFrsEPojEdUN*UnWk>=|1I1vC$*G}EU#
z$s)wjQWT#I@Nhn+NCF>IBu;Db^G2EMG8-kS(7$Ayq*8Tjz!x*g7hp(4J4qDNJuXt=
zNM0wqOx~$~P=<MCy3R9GSH)5MHJ6M5RoLMl$Vth3C(w_}5-R##BHu0`5Oe$EW0=6W
zA6p06jNq^nUNlNp9|u@&s&}yfe68)FqDKpEwA_Yl7jF<a3*t@lbrFC&sRWi|9*f+?
zkn#YfW9R#dk%uZs-%=KHtD)}_b6?42cb!vmo%*kTa=HQh0ux9Zp}*r&FOou&!#7ts
z>H@j_Aos{YAuNqE{}oo8E*uvGtE)yk<<6Iu07=VT&f!|_WY?I@{d}B;S4{L3m+<n&
zK!~-H=>YwhO0LrB<2ayAl_sRJ2Z}TLd`fRtGiF8Yd;{Yl@#4O4ny$3+^_ABC{qMVj
z&&@L$RqXSueAs2>K1-w)kd&M6{{GW9{|4<k&##y9i3=0A^T`dp?|)ibkK{NNe&1iw
z;)S%-U6a_kiYI1aU=c`&os~c=5AI63Ds(C-;$&tE@#8r+J5DN%_Kk<`^7Z({K9}zt
zJAODl#1FswCYIlipTGI=DNP=d_)x`F^6>ffK`DL6vizYa%0sNOhtKuH-=pl1K0ar0
z9Q~%X)7ZYuQ#<sJ&wnb5qv4f*e?QpCa`B_F&Es<s)iOdx{?NDonj0zq<&QG>+o7M#
zagquD`1}XYocsOoNmmc$p~~|V8GKH%>=5Vb;aMjKRchw&Q+t}n$1(ysIw_c8o#aq2
zqMxRwuPt{>=Y~5>Z@Qapr5V2hTc`FS6xx1j#z$Bz`eHg6^?w5OIBKS^yigG}Jx_zr
z;Sr<jfiI=~Aff|z8m@L`JRxaf$FFCPrfVL7{1eo*j=r|jS*D+5$X_2-8a<nzfN9vL
zhiBRo*bg|otm18G%<+u-S~4eB`fr<lYWown8~z#k=K0e0^VD#C^|`=;%46QUV{@H&
z$m=j-LG}<^I)7uO@1^Z!(${nASTLs(t$#98W4Wm|lQ8g#UBhK(bs5?XJ#7<~r?ctl
zo8$H8>IC{#9PyXf1Jp_teSXY!G;ojkg3Giu*Sf*-MnG8((;SE1w+VYVZ{lD6Ru%K9
z)~CkecdFd&G!kliF4(K->1aND0tH$m7PjS3R=_*){C}g$6CSh@>-13R#EsFhP^49X
z!`l7|T68RjpyY7O<?4k7neyBw%i#)#Brz(_4y8)go4An_*#4x-Wh;`ZSWXHn$QgE{
zOk=&0dcY~3LXpCEs-)r0zdfdv2rf;cwJxUZWi7N2*e(lp!^w;w{+ISB!~@+>F{+)N
zM>;ed4u8Ti@i;!x0Tl;3&h6>^{2Hocf4uF9k?Bc3GFTaQ_3Ql{+T1%Kg*GE2aq^ee
zwl7^H9ggJD^xPuyCauHeYWym-h}4fNR=kf>i*nm^x5uoCNUSw&Xe;Z^RtS;##r50=
z1Y3vgymi#q^aj|oi=^!AL|db+06yZQ5gQLShkqBzqKP;rTZ+x*NRnZ#d_Sx_%+kk(
z4V#Gr)|x81m^V?jENUkq!__N(IPE_!GQQ58P#UPC<5432X*BnBGujFE*%Q2)A6258
zu@@d#FSDp;i#?2Qt4}WZlcy1;#mSL&xrn}RFD+PT)V6}wreD%4C@fwBYm3tOW7GvN
z3xB_XOHw)qm!xqM(s-c;5;L2w{kPj{?HmYn;V+AsCdEJ!H46ugF=EM(J2{s1@_v<m
zzKHC}SHW@a9Q~c^Qk9Mj{VE{_4RWqfTB!q%+Vzh#>)c%2EXO{X>olnrxrS~#pH9o_
ztl3Bz<b4d51;7A1=6H0QjC|g%Ey!DU<A1JWH(TV=>)FnCqobugD?wJz!$@DHN-x6D
zyw?0Drp*o-yS=A^Nhfo)+`7LR(6QNQ*acl>fS;V`yVD<0_h~WK5un}=lVKBs%wF3!
z&mi}&Nps)NGJsdozQ&BCIyz(mKl{e58UKj46_sv51JPKp7HU>!&Fb8MMWBsmbAO~4
z6_v5mYK}ujSat>^U97*j_r(t0uhLF8(R~>J9tqSH0H9kbv{_K?y1o4ncnZ48+Ej@G
zqzn;kGm$DQC$FN4m6KSUD8KjK6~`Iw1UGOY%}+fZIh!vn**F+wXTliJX@nhnJhLRv
z-C}ZJS!3U<uw>?GxR}Kv!K|6Ksed+fXgi-v>s2B?r<u(k)ScF)E3HGdRpQ^t4M9K2
zqUG{&n7i5)NB(j)?!7dVS(Wt$h$VWVf(v|Ur<N&+SVQ~8^fy`O24{JZg&f-;y<N-x
z%I<xh9EwT;cdbw|(9d}rEp9kr?%-Es3p~z+XV5MSAt8tqep)80jj8yLoPQwBusq<!
z9N$j-;k_*AP-g<4*B{T+*^5^oB@?&6nrzR){|#zK=UNNgjrXj&J5pWB2C~$g!NHIX
zgLaXt;~RtM(!n<zH@sN)P2pC-tQ{qX)*VS^j|mgZIJHM)hfFleczfyvaFCAba-(y|
z+<+by139h}9)SUMGdZ{f3V*os^%wB2M+PNY-$Q<_6DM;HXk}VOe+p;8p$uTNlCL5=
z5}{>i8o<5Oo{$5dfHq_~!hl!+Hn!7~h^SHk2_rxW00%TO(K-x*bno_f=R3DM?sY7S
z5N1!tX%ZToxo<tVg8|~lq!W04#y{M062y*2{TOF4GXJfDQX<M2N`J+Oa;Ref^TM!m
z2{4(x_}0E`{VLg&Ec$rcLum|5UvIqK9LQS<<wLR*N{cbVzP8^B%(?H*GqS(c8coZ|
zI29C11muwv%m*jjS_#jM<OaYibY#h}Mlcn7d$1k|kFfC_9Qw`~7D|E$C@g}Gb#Pl`
z52*tkb?f-VCb4z}`hV%udE!QK(hb+<9-IU~9gsMu%+SiKA_jvE6!|AEyj4c1k}am8
z*tl01>xA`r*Uf}ZTF1#dh6Q^9H;q+Jfy9aPzFZMU!vjcL<2c$-Bw|9v@Xs6WnQ$Qc
zLZ=1QS65hD7HVP_hM(HffzqmsWhb{l@7UomXJ-!x2@J*scz+DrBzT6Hmf#DtTmT@m
zV{-V=Z8~(WgS;~JL0&1i2Y)Zj?>MnpEnVmYeY<fc^|*k9H5W1PS?GRkYblKe&@NLX
zJM571UNm_ZF_$hdF7L6bLPJ0I6MLZLi&eP|Ys)39Eh&`dowALrA!(4+FbNz>$_g}6
z2DavA%~-{mm4B;|Ft?OAHK5QfQR?1TGtnoB+&UgD2vG|a&6pP~&1LX0q6Q<<nf|zV
zSPduA&|)-}{hki<9N6qpBvS2V;^?ssjPP*Y?QXuHXc*h{=euP$ktwWVuI2^2)U+Ex
z_~e3)Ggh<=!3i@la(xrBV-w|F;a3zK3XKz7R<bOrZ-2dkbGPdW3{BDBtOG(?p4AW{
zr1|Q!z;4#LPjm?NJ)ONnIU3=i&o+?Hs9fe#2RIYU8%@L}HZ$tp%pe4u2$kKqc86G&
zHs>g4jh=r44@31Jw~@i;{m_A?f*0t-)$L+s5{fiOR4umZEDdcfU4$m!w{9u)nZXyb
ze5d(4VSjJBctRpYQi_F_uz9tmDlJ4XJ#7iX&~uwhBT5J#`%A~N$R`gT-cNA7-uUui
zW7Dx|V~evmu=0o1{lte)dGe5?2c6~$Gq|vlP7me(_0D9IR0ft*a)`4+!rHY0CZ*;r
z#X_J)*pRNWX*d9x#@{nDjYXF_Nt~y^#!v={uzw8R=mE|lJ)pi2-C=|C(OC8#y*-jy
z#nkSiIM4fz2PGzlIJ+M(24Hhsqz+NR246uHoTGz*A=g+Bf<H2ioPI#q|MBKXo9-qA
z3YXM__IiEX&_c%zLuBW$=_NRB93dl_2n-E#c6&(bm2KZF;(=ur4=f=SK{y%3PF_~f
zQhzCoTr5IE8P32q4l>kOIT-@8g2>3s4hwmnIKa+8n6NgW)U`51Q1?+5*ZO)xs%9KA
z?w+O<SR^|M!RbmQxJ#H9<O0WYJR%~XFTltmE*F<qR$(F+=$)JHDjf(9Iswk5I}sRi
z8SLaJ2jH#pr%FU?9t^YEQTQSwinhvn-hWmWd_N^~b<@7IqO1@<A+q57UqU$<l1|as
zN&p`AT-%;?t(A*EY&?QR!`vv>R$A&pGdmFGWHnQGETCrNrR_Ztx>9jog`3b5yYaLE
z#2YB|?pb;*SGm43zq#6)-(0hljg)rMfX+S<e#-UE1z3&@FqyfZ5x{gp1KH-%I)51s
zBT1y7!>JOs(RD61-si-jak;sKp@!S=Y`bPJa6Pl!0B;vV+!SFjmKVbE$`wMZx4uto
z5ZtwDUikbP%#rk?5ZWaEpkJg2chte-yx>4D&jVD*?LoE#yVp2_(<3@n+W=h-_LY~J
ztwiXWj2iyR{q<(=X~Zl4dNT%PF@Ix;UTHA5yxjPg?_PDHXm_7jFc`UDw{@7xaWGK8
zGdjBb!{}7jUjx&CwKHS=JxTUjpkwxOI!+hszt~Q_j%MA4#OcOLYG)Vysx(OK3oRl(
znrrexAWoN?H*8+nMznmHihlhFdsWvhZV73HWIE_|fn(j9#Jvjw#(r7F*ncmNVb2~B
zzlK+Ex$}ZBtn<RvaRciaoPB>Xr{=;L18A4@Q-+R{kBQ?HZd<!$L}w?QO7<ql$lkUt
z`wqRU(J<T8XuB+WD6q5pKtb?U2nVuwV-C5ELOB#HvmiOP_!*}7dUNvA*Nou110&;V
zxw!V|voSITgJ?LfM5*W(#DA)L-jN*gJiB}4qLK<AX2ylK!;7v_-dQBhZ6$YTB$0zi
z7QclzaB&uY_h&Afy7tkur23LIUP%P6gv+eWYOsnot56mIEAt4UU}c3+4);%6O80Jp
z(*bD~K7@gKx_8HtW-eODHq50GN2l4s9F&o{CoW=!Lt>6Bu=Y?%gn#nDbdv0eV-2v*
zU9(y>T|Iih4$DeyH^V69!EKH$KAHb<RjHM?fq2CQ$9@{zMV+Lvlf-Qp4%vkB*yM4J
z<vOPgxg@hL=AQ%mVXTowR386hF|bD}b@m8{_MJ>J{9`Y8(MH9efoxHA7kA8o&w-Ka
z_pCFdh7!Fm=8XLD)qf+WpIod<M3UkOf-xrUfq1+YKJH~;ah%*tR^@%RWL0<mXmf(Q
z9b7hhiecHEFLnEvCVn5i&j2qgy9vFrn^bDJ;2ma4VCBHAWaWh<A0iaiPB&%1v!;<a
zr<<zP{XBYzJbjl`BBWIKDRr|8`xc^nhr7D<Sq`uQlip3|VSgsLR?@ozXYZiqQ(71m
zPA!TQHp}&3sTM4*-N6dxRzaSP$P(%*ISU63uP)10Dlcwj@H7FM!>j8uc&YIIg=4jG
z1TJ=9XbZjk>LF%bln`eLs=Q3Xh)}9ZzCMOlQ7bAoQxGCSLrvGxd@=CEsd4vWp>n}Y
zwZx>j2H`Cqq<^s3QODjlcHl1;7C|*#URX(fLnYgwf-;YZAo%?!Y=vit-rl)acygFR
zof)H2!wWfzUR71RsH*a*6BP$Hz~GhJH#QGyQ9=I{kTz>C(P{0HE=unrQEcKnUnm)A
zA>utx(f&ab8ILSO+<r!q3$EC^TEmh205jcOT(P0T<$qRy8Cxg`_X6=VUn2lI{7x32
z`#nS887aT(azZuIvEtOOTHdh6TeA?0g^5*=olrhIp*Re}c^j`Sy-rQB;<5r(>Vqs`
zLoa}SZGCm*uB!;)W^x|Hys$vHa6fV6z#@fRrQEL(jCJ>#+$B*|asS=|nwD1z%as_$
z>XIztsDBZD5VtpE3<@n-qUDtV-MlT2RSNeA3kr)>32x+C8MQ%th1zDd*MVtO-QOOA
z54>E@#`29c*5&<IwaVfVFs|e}z6vq_=&*1_X>stvt(cigE~YDbI??fCE2s^#F!R<E
zOzIuUQ_DGPnJhsU9c{8a1bx>CYh8v<z40*trC7UkwM4AkPQXZ)cR6|Y%)#X;$Qk2H
zir|`*Rtc|3v#jv=iyttoGG+3H0e@F9Ak>4fQdgcS^Zv{D;O%}I=Z7pU9-h<UkSci@
zud3a-zy18pe*uG_L|>P2xC0ZH`^gR$0Wp{1f)OZ}JIW3Ue~)Tlq|trs+w2^{23Z7~
zae@Rpd7vd(O^ihKij;f3U!OWi9qsn)ATVr^#bUAUD$?PhJA{Y7+=cf0<Ne*+Pib_B
z!k`MP=y3mdh@vV8v+Ph5We~>M;l4Ti>Saei3q$XNFyiRPS?Ikx!XG92XD#*dzxRJ#
zC|-X*-rq$qe+UoJLOIK;AStUuJ>30v7o<^{7KE`G(o$7rL6Oru%|Zu%`_mAGhY#c3
zFYt4HnmfvOXZf4MNZ6#hC2W?KL6zn#>?hgH)3Nkg7Bvg9AHFH#;a9@@Ahns~!))ZJ
zj(!rA-uQ^$!aI%HXa+q94P*<iu^5UmW+i`{TZaAfe;<F-46R3HL~VFOaP-qE^S;D!
zWD);;j8o4Sze|fwJfG>WZk0RHoLc1mfD%SIXeJ3VYgIK54@W-=y><do^N1LZ^KfAY
zVayIfckJ-u!!s|nqCPPMWqpIg#1pFFRb+t{|8q<$$1yJG(|9bri{@2}h6l~cEF2;8
zA@iM9f6Ta5C~93Q{#p)TR14E~BS;iw-t#f5yx^ww$Q3{*d7h#t_)b4b2A&Y}IlUa@
zB5xAro^A~e3N|eOtg&DudOh-}7SkkK3)Zqz@=F|swNQ4i9L~K2F2PSM(j&5koMluL
zP_Td(mRw-z?(ULW8bMgPq`OvHmrhx_TT;3k7X(4+?o=8PSvr*z5O}^i@8|pR-7|B~
z{WWK1&YU}QCIPtc9&h<ge)oAWRi-G4&2YqAtzr_#({SdUsF8|1<`m-Lk6VgUFWNTh
z<M$jvtI&9in;CTqI6ygkF?}?sg~8h2CIA*F>P8Y++GyU@&c{+Z=(NcO6qhd9X4EFJ
zz~l}<1*G@3r6F26k@h)EO1z>Yxx4)3m=?C1stG=>+<EVi^&rZ8q$7E8w)NUZx;RSP
z<Vb9B39SNyOxWk-5HSH8?Z)Sg033~aEaGFOFme*yX^nrwRQim3$<o(<|Bx7ICe%@T
zg2uU0K-H&-PRCSB-3=#1{nnsUZfJJm#CuDpW?1S7Nn>Eg6m<{We)Dh~PB{vVtL{m+
z9H0LxGT2XmiBqn-y>ZKS6=wl-{36$?G!aCa@z{*Sshi@cLlCPUr{&tzFvOtI&5u}5
z612M>2b^f+L_uv%-{O}!4aH3M7p8#tmu+uzhMrtLB2~gmIF$-JnF(`NR!bN7FO14&
zOc%P~Y+F5nKR>l6tyB269I{c6qFYJ|hx@0>2EC?U@v{HW1U8^`HB<NBSL}VknYe@7
zBJIORO3dCEiLfmiFUe3*s7-s+A`XMj-H@T)K&H;T6#GNoMIKBWbPk&GSb~T`KVjks
zli8cFjCFHtg1)LQl8{$wETRVR&T{+m`TWB~<0D?K6$PxYSL8L;sQi)vODVMS<qwiN
z5a<1vWtK}jW9F|Qpa#v())QyYT1k4SFy%(lPq~nmBiw|I(Ag8OWRU5w-bJZTH1Wel
z3?H!wZ-&0|#1noT^3o$C&A;Ex+SV7NBH898O8hAIVTE(#n6=0)87f%<EZ*N$ju~W(
z6|8+kF)bxp_G3pO(pzOq4GZ=cuktmxf|qdUGD-AZDRCuZWP)j51JXb|WJhL%2UA$y
zApR{V0y#0DWqg`l{<2B#XT-*`#=?0b9svIvgn(>d!EWYol^cK|es*6G0Z2R=#UdKw
z367a#7t3ks^*>IZBJCd|u1!jrpLBT*O(_6z$LAGx)|7dERhFA39UR|&Pa$RSG7A|;
z9z>-sSI?SL>JTXrmV>`~jSWGpU;&`BD;ar+>1dT@V(c2%zZ;*Y3uXeg1tGkI8xao$
zzPj+r&nH>^ynzNI$er3=0-eqqUR;u}5q-}-b}%+w6OD&AGp?y#?BvQEi8B?phR9jz
zixj7fdEGa&C;Pr-+!KS<harn@5`$I2FIp@pL*Kn3p~S25lID3kr7@i;bgdoAaZ{j;
z@T0D`J+bUKP#Lh;vQ=0=dqe(49(JoTphvxpY30D<q~YF%Wd{CmZDA@!Xm7%_eRJaA
zhH^fx!AmH*nW9p7^ocwrrYVYk`w(O7)}3~90nsHi;-|Nz`Mi#yVEdgz5UiX^A*|1(
z?@2weX>#N>I|?TG>VU3lB{9uc#?<JEXhThDq&pL_A0*o?r4Y_0D6Kt!rg-qj&p1qV
z9*SP_T`=**XR_6xXFi0Bn|$P=AYG_@a~CShGd55hJJFRas7p7TP&i|gb#2Zw?i=Ii
z`Yu;7`P+M1b?(Iw%1ugVZJF8+7VKKGqg&A~L;`2%?^V-T(N>+jXnGrIf<t8*5RZ{N
z9iZFuT1$Lklyulp-6XKlK$r9Tz=xkT9XMp-`RP01Nds4&y71o?%|ZHspEP2mM38*A
zKi)(4b2GlTsJi0nqlLYxyX-9K%Gc6g)gbtR_d6lPor(H87m>7k*{k`;4_6r}b#@K6
zLcFrkS&ce2VN@?-eqt5c&9E#?b|HY1HRDO|Y}o`N*)#at)p2TXh0N=Bt10fqzw1YT
zDPOhf`OHqpX=N^gqMXKHf*?;STNC;|rCQ=p-1hae!@t}B$pk364dk3w7#+S|W|3I&
zhCJea0B=0ZT)#rw+(D0AP2{;z?RQ+0>V0WsdQ2liHTV00gyw^V2olki&WFHtZ))yb
zGtWEfe(7gw9f9k291&-<*XZhw&`u&Q?VAG9bsM^V09#JL<#20Pzh(0ddtX}|oM^p=
zOC0_9@@PG@x+@8*F<7F9))iJaP%i+6LEVP^!Hv+63`|4)zl`k1XW~{-rh%n1Gpj8F
zhLS;kRtyGioJzF9&LPI^9S9f3=1#a6KMyn0XjC<)f9?#5WmF+A%QmmN!{hkQD8C|v
z-4SX_Rqk<~#DcNY!^0B;|7;QdT%JZfr4_AdvM!^<nyalf_C>pC;$OCj2p;~%PI}k*
z8?r*K$#BTJQ6Y;(k;FMyr?x3h|DTDnQJ5RX2`f6YH=#nk#~Gl#643yhJs%WmYLd^S
z7+KXu2KazfNdt`dc5vo#*L$IfY*VD1n8{NY)YfFk=-K%s&-Y|${8f>{w8gEai4u+%
z!8U2k4eGMRWfiu^mf9z~%SK{(*+sO@W3rOO5=r*L0`nD7yVPV7bZi!A0Az#1kY`y5
zagQIMv9hXWN+VSZ;RtE3y#z?&0gb+O`gCCLaExC&%>zvEi{#E78UovsHgt&NPz_z&
zm!F<*(&TQ@O6=)qKKPS_iyPurt%*iE{WW0zUI#8s4Tdc5W9zM;T9nNw)Z6E|)eE-s
zV#nIvxMpv3O;Et!E{n_kENYQ)?!0~j$pYT@IqYLfCY=Pi2sfUj%cFC>`Px{q`|LRh
z7%SP?78Bcr>Rm_I>Fdnh%$rPq*O@iaX!F+XFYlH)_9_4Eiin$50WUh%Y{FR=SB!(Z
zlc&0n#?_XW-FJmOw@cu5eL#rMudm^r{KC1B5;q~8J@<_IIr?7z-DDE}23{-9MhgIO
zw~6@>?f?;vUOKA5`FN{g@^+3s^E(mA$J%ST(k&mCnUe=mknm%5T2iUF=9E;L6qIV>
z!}}MS^qO`l{;niW^lhvhL~9C^tC1N%4|`HBeZ|uuj>9ibMQhyNTfX8k;>1fJrpy=L
zIZjtp&|OmZ=U6<lQ@KiGk6TONt17_=X5y<1Um-*uQJFTEORQR1iVJg?&bK}zK?m$U
zvEpte-qvK~fNH;n)S5pHCSzbC*;-Jd>}u<X!f9E><I%1#M(5E)5E3`$ZgRM&V&;Cs
z9@^#g?f|yb((SzDA^<zRlN5D#TYXuwCH$NgGx@DC<eL()h2MOCK{3fvbszbmRY5&Q
zj0(cfWr4c;OLwC&RX2@b)lTpq+dm&}&bDuqB(2tu#x8xO1Zpc7vi;=cN)l%56)h{q
zPHo2FmA^FiY`+v_7C}D_UHXPl^Q4R_>$Vc`2y*1Q`5B;G7HPShIJPu5!WA(aS;t3C
zi?cqCY07Kvy*syU`cjmbH3S>2k5Te0)m1|PiS)wl$%}E5r+S!#+Vu*yf5ovq=n0^6
zdTMx*=tu)xk?UDIC-qd{btox$WGx!<*Ts;V)|;wsekO#3gm<rh!z2avyfi!cC?-NM
z)UtfYLUGho3otpUUlSgiN_G?b>|RTLll#pP11cYK^i80UhROtmvD)S7RA?JbOTI-g
z9;D~j(nnL$3TkG1zTS#<Hd|{sg0Mn!kM^!!?J#+L7e{@YUD4_&xtMy&+vAX1nN7S;
z*h+(y9kIgqME6>Mq<*zjo79XwS#THrl6NrYCQd)~<X18PH=1yM#7b9Ug5%^CFvmH+
zCen)6*kYA2xinYU2>f019WBXd!t)uzGI2sazLwHqLxsO;*xW(Yo;}?!+e+^tOmoY{
zO3s3#bI|NHE{iGswmz`_;|3bj*xV8xpjjdPr-67Z&gyo>{C@m?Nqx7#Db&7w?x6X7
zNQXjSUj~(~cdCQvs9UOm&|fGVx1>plM7RJ^qmlq?r4iJ_vk24iE4$qW_30rfd1VC|
zYVE}7t#hJHBN-iJ%#lg)1=ydg-IAIyX<IC&nBit@v0;N;e-l`gKqW(B60@qub3RaU
z+J;@!56-f~qvIL8uk`*P$uRr9)^%9mxfF68q}H0<QE98%9U?eveKv9Mx8Hjtfxhw=
zy-AsML6{grnY=@iFY~#}XBk9mbwU|s@vqiLOb=7C!|G}AcCIqExEc|GZOJy{t_Uw(
ze;sqUxw9{9_3*K~KFe6k$kK?moQ46sl5fRAn76JqVz`o$`g13BK7{gF-x2%0F(7Ml
zwbB<Vp2E4<!F`F!uELJHl7v3<_Fm)2-gMlalwPZxExB9fwEDr*GmGHomJXUs3}zO|
zcYf>ErW16hcp|)NL((GKQVO$4ONcURS+s5ICU3}pIogKp?o`r2BKNdvF6#@8IXv$g
zic(Cb7Y!-;6FDre%;%Zh$Sw@4+mSB+$a`xkdHkiEs~<d4<dM%yi3o-qOVfiz7>&-(
zS2QiPKFHtiAEmQWYaw*0Q*a81ns(sUa$bt6-Uo9^4?Fu8^|K{Q8VHQ7(Q4u5Po3SS
zvBY82`g`zmm!E*>{iMBXIhX9LPKzqlxhOlnD#uvMMeraRuZ-tW4`Hc?O!5&+1p&V)
z>%mJwk1Otl(|bJjjo{_xvWw&C`P;IiZ%@FdM1unm?6rfJceY<UkRXO3gzz6k{~-Pc
z$v;T{LG};we^9hBgiywxVn2KKOh`fulKsJritc}vws|+I6g<7>!YX2lDle2F%0kML
zlA<c&Lc+=tk|Hnuwa$e^M3o?NOfvuP6HAbwChWDNw-eJdQKA1z(FpczXEzID>gY2G
zl+W<B|M4J-J^2KZM;eqrq(L$gS1{<o;VUlaLAR#nMu}VUD?;m#5CdJEJ<vSWDJ{MP
zJu+N@sQ`pNRzvjg{KZ0ZEJJuP2|o$3Vw!?MZ2S&%Q|`^~NZDD(-n!S!dG}s^T<QLY
zCk<sip61J=HdYoO3_+nRS;3vEt$dI~qf79tm_k&~40oJg9ii~Xz$7C;W$u-3CfQ$o
zXQ0z|E8iSPsY<C!DjH8UT5B<QTS0cz+(3fF^c!5H?~^p{tEa-viZ;@}Aso+K>$PX4
z(rjA!`cgI$_!c%YHxJmf9!^#qGO~-be{Ic>u7CMpB^JS<@dI&UU<NQ(&^SL930wrN
z?!U&=!**)B)H$v7=G{kMQ;=8&`-T?SP%aY$_A($TFT>?@F&=CfmkGh45jFt)aAqNV
zaM-{m4iy@-j|+m893d<O){anvgS^e|7Q_jDVnD_K)FC#jz^@GdM(VNaVNPh1DmI;A
za@cot`)0+ih_I{yQ3&>Q1l}e~4v;r)RUJ#8iC|novKm00iYZo1eT@A+U8EReI-I+g
z^JVa}q5nCud+~EHFPX#$1tKuvn0(=NHn@Bd<ZuFue;;H#Ccq>7=vzF0j?IizELbsJ
zadxP@BDuo;bDARLWtUY~T?qrmz$P06v$7W<(~h5>k~dOaSaUI%`2i@YOK8@ot&6_b
z8vsY+3*}YNVn?ZxyDIRHM!cFu|75nyO-XzLknUsnKQjOdu!0#}_#W1<X_&OZZe%5M
z^KW_@9nZUWD+tK=9&8LSr?MVr5ag}UG_ht0OneHsL9ZTKb`*bB$c+|aVIZmG>v;F)
z+EaCSj)2V<<l4B^ZQ<e1&d>|=X*`IaP3x>X?8jYa?d2TrR39dsn5jreK@|8Z%pj2j
zsDgjraE#sa5{TVk=c4#Mr)``PLI3+J5z@K05=|po$>?^-s4L7B*htVWPWQ1^qKDCR
zL7LHsyO97#Hqmt9fms$YQ1_E92jDNYc@WBrJ`Q%|_d?+s4%0kW>P557LR*Z$LQ-!(
z2fLMmXb7|Uy)MdJ00@k~#J`}ujA;KUAXVCvrCPJ<vI5RatOgiu3&LZwjuaALAFZLi
z6=u4y+`V}9Iy4@Ek}Z7((NGm6t{awCG3GbZ-P^jrwq6Ho1Qy;V$OJ=8=cNa^?uEMz
zo)fnDbL@Q#OB>o{uo?eFl9kvGE#N;_SY{s<@Sq<J3oMpHb<PVQX)i;&Y+_(mA;s57
z-E{y>A4hQ$`STC3Q_VUnMk>I=*vITEH^z6dLmKurv(IiAYHe`n&|_-!mAx?%L(6Q)
z=zt@A)IzTjx%bw3K+awa2mwbQK9}ikAGe_-UL{(GdYom&V59yQ9Dy)HA=g|#-m76c
zn;Gt=y$p&zLnKC47&zP&KoC%X<(d_6SxaNmwm#z0^3#LuPYaCpsiGxOuerFe;wm%C
zy}<Z+CM;+}FQfHXL@6F3FEfD>QR^C^<+{7r9~VK~Fj(GVO`Mt;JD0)a^Wy5SW0?B{
zyXzdMjFzk$aWenBE@mLBzs{s4XVOe*lu17~ufHa69%Y66u=SCBqip1NkHS6evBq?o
zDx>@X^Lbng{1nkt@)7|kX70geV*7!Y8h?g;-^-+cUU)H32AnwznkMU6JKUhsouDh~
zp7BJ;o^dPFGPwIY{7j328Z!v{Ycr=%{SDoTPk|;Y{Iv~z{}-}ZeC{-$WA=Lcw*|9+
zJYFTA#LgxDj(_=9T0GQ(LHUp51iwKIh_hg?`~qiC(EOCt>t6&K^WVI9r~d*)oYXUI
z(Q5At<nD#_bB^E6R<#g7jh>>SN6(8M%jOXv-B(vLPwLK+)mWKEMQ%$k+^Ci5%qC49
zvav7m&nP{DiAN}p8aA%#08bPW5k|94S8Y}=pObQ#bU%5iFN}d_U)_c|%dRP&wUM|3
z3$o;Y)02CLbrr9jzswB$M1PFl@tlwfqbsWjp<#H}%Piz@yC5t}i^aN$-1%`6UPzBX
zE8C=kfQS2V;UxL!Refv_pt=pHK9n6U>U{ab#hWG{Xm5j_4-2Ka^nnBS=bNw=SMK~J
zUj4SC5Y&!%);m7<eh@Z+*p{d@Rtrq3?mwToJ}_;5s4DOcNIq$g$_NxbBKCs$)dzH9
zw!Eu_Rmz?+Ei6err>qI=4IKPleuyCVVnk_F6?&4#`=!-l*F)C_bj4WQe+8*g!`AV<
z8*H|Pv#Z*RGFD<gKOeeR%Pq-qH3&{MDBGSVCQN^Z`b|W|VaZ`vVSjSNr#x9Z%vvt>
zCplbCA3TtgnVj;@Q(?GXPeyyZg!<#Jrq@q&<-&E0I;qp7B@zDV-pM$^gX{?XM#bNz
zLdxS;Tq@YVCFeC>?Db*lpXxWk<1+3I>m|I|^<>55b>dU)u3%vXNwuhi@>roou58r>
zpw<|OTPjHmvC8nxQtO(BJ21KR*-`n}@;rs9*FAY7_bVCu?JV@WrJ(p&(vfksT#h<G
zW;thUZRjJFNY!wU{X}{)@oz-i%B5p2rck3|<<X)ri-3J4FI64PVnP#<mO|p8CH{Th
z#LN|4H3WsDC!%mpyWeXT_E^EdVuuiB>j`sm<NbH1^r8ST_NG{94J-BUFksHNxC}>f
zRXcQB0!(y*l`gZ|Dyxvb7j4(2kPh89!btCAF-+U8v2)Q$Uvj-`N3iJxRTiqB-$h5W
zk6n0trBgjWOy$r_ud1qC$=qHD;*VmRL24dxjJa0xokuTP)Crn01xN#RJDT#S72BMV
zSVUi#*`x{Cyw!GC(%9HrS=sWK6_q%~%Ea<M{>8J_?+S4BKXr{4FdrzBj;C;Y7o;^u
z?&?Bo+~O29mGYzA1rhc3Nw>uzY9+B0#v6QI6>n7kYk`sX%d4oMCj;;AAVi?r909M4
zRH@U#d*c{V?8_&<zOXf1ENK$_C+0p?pYS<(PO5v2@OOlyns(XqCgBGnxB?cMLKg<%
zw;i|?MH<NFN@;n}T53Phl1iHx;ui%bxC)}VB@{Qn2u48a5kHa91LR<12>wr@$N@aC
zAjEC6<pKq$(qjBAeR8wE;amqj*Y1#c>#@3dknnY5x?kG;2xrh43RMMrNMh^}l_=$a
zo1`#~Q=65Bz~s^x$3#e_4)BST!%=F3QWJPcYVc5{{&rXYnUW4e@*`naLy7f&mxZ1%
YTXzsFTRohL3?wcp3}R<j)=>fd2doRORsaA1

delta 22396
zcmV(@K-RyVg<|N0Vt|AJgaU*Egam{Iga(8Mgb0KQqzc6XF*28t9T+Kp8_9Cq#`UhR
zm{L*|OqB-e4V!MZ729&zu_IB3Sn>gy0Xc{<01aR$(_f#rHI^Yri<IO`swAM-*Kg~$
zVW?IYE4BLOk&^e9XOEtK?et2kFjJXcot>|=&O#MMt0YN7Wun#DZuKT`>rJFo@I%q>
zoAo9Mc1_h>T(5sQ`)&Y#<=;=gw%IBTvp9ALPOUaphbFZQD6e;G7|=m?iEs*hY|FPs
zsV$FR=5LL*MO$~=e_!_dvgY=&D_U%s;N5zoRZ#5ntFmd=Q5HObaT5pc_vLoai?_|O
zlCv(`bs9A5B)BSf1rJ^2)iHlpNw2KC@?zh2zSlQ=OkMQvacld3t4AQekSzob<`^R#
z^yQ&g15P0_1*t}sMj2E6qF--J76nC(XLj7__XRfqsk&z#<bB!HIO>AtoM)L&`LEm)
z491DJWPx<Z0Tl=5NGq}Rw<Ca+quLxOMA&k+@Q<jY#f6-DnYVqpJyv<k3tzwd-a{tQ
z(ZLfDVIMGEpqcQ05afG01Gh&u$hUoYRrc4|bHIhX=kY^+&5g3&m0Q|_y)7VJc0JPq
z8=98K_xZcBKjszpZYV^ENSok`HHdMyBii$-x)xnQK;02l1vl^VK9|GtdIpbIf_n7r
z@c=0J<3J;CBbhY1xv0xO%KC!$gVLey<z4^)fW*`sga_Aumq4(9_7aZVgwcYss5dqT
zZk=FCtShe=6XMsoXKz(*%jVeeut=dS1fi<@RW=B~92k!jEYL|Ja4Kj(g{i5L1QK;8
zGw1x?UJEq8Y)?GO`wrw|(lmH$j3!nbFZR3zu6xIeQ7m22Bkj%vWzX{iy~yT6A#3UM
zrt3<&(*&n~5fqwwcii^8j5h<`0*j8$cd~<UBQ1xeIq1uER|-L>{0p4e6@6Y-gLY?{
zBmicH6*Gh5fdroE`r{7RO}7cnQ{A`ayJOE<g7YOP4O@Y_udaDJQITnHEWiZSyQ1xS
zz(+O;vomiVu{FO9w5Y6kDwj7XbJ1S5C15wDD`mQWriRZ%#Kazz`1d}X8U3eU$KX6P
zY>bSz_9oOu*yBRzu<Lj(cT5GZ;4W?ZW9wB^iDkj5?Y=nVCnub`6P<=hCI_JUAdocj
z+QJ<YTN(%5>?{@%Oy`}v`L%5-mf=>+FYF|y!rXVSe*71=P&5_E4-F;yB_4;HvgbX#
z!oviAYf;uLBt&nnDKG*aRM6nFVlP0%AElEMI^Cj2`6nL=JOe?(CLIOW+$TXtN;C!<
zLIJdd0>5rs9e2JrtUd=`pl^FG){A!))vkMXB9|zh$OVKFCwjFpCX7|=g`?G}wj`51
zutgb|U>ErlE&b=&qu(BB7*s1ztSAkwv#Th7i^DjJR@=j)H@~RW4km#iq0Q3Ods=!}
z!Lb=Ms@1DU|K_M>c9f2Fs4PQrnc(-uZr2uFhv%MXnNy)Ac(m>r-x#lJE?q>{m<;Gi
zABODgbOTq&Wa$aA?8r!yyN=OdE1Qb&Tt*7?51ACFvlWy}8J_qkZ0-h)gzaoH)6;l=
z35Rli9qSUp3V}F;Eo|L0(4Cg2<Vrwm-*i3c?<S4HESW3u7~5H<0UM*~0T<y?=6l)k
zr061d{2(1mFyP9N+RgxW4c-5(bdhQEbB4_TU2nN3ajHGFw{yrhW7tI>F$%)y+12I|
zF(t;|LKvDc!K5bm@|q{M`6ZY$zMIB>y9L+@8c75Bpdx6eOu}x{EV@l|!)+qOM&5wq
zue?>v5<>T(+X9*Smb3<S)5f5x$PiPoOYLzCJRG2fWTOj2*Vwc)T~Vxu3uZC_AcYUI
z>z+2HnFt2vSpCkgxi?E201`<#Hj8m#42i;vp6BzbYkZ6Co&Z3lT6Xx}Q+WG-c&v||
z#Gy)}Qyk2XkSn$2A7khXj&8f<%ZqJ7_;A^G;a!Gx!&Y*m6G);SU{}G*?2x}7V&vj%
zFmlQTI}X8BB>owOD9NEAGCer5mjO`{<)#YGQ)GHz;#Si`o8&0&(uK=u)r5nJynM0o
zXgHM8A*TpY4*@+4=N;P|A#o;u!N;JMcB9gb(q}4u2LEglDy4o7!NQv0F+xZNqhm0o
zqC<FmaE~%4^e4fKS3mMd8Y|616Cw!1Xo%loa^ilcV6G`V_9-pyIY1z>m-cN@DCGhW
zrM^{>`VTgP`4epO=7%3P&!1z43X3!^ABdTTM;IjwxSU^)&mME5D<D08%=;nZ#;{y`
zkM_FZBm#l=9t>|M%MN9I>^XRHVqF;`>qEWkMhd?D_Sxa^tm_a_*?tS*6wGP})-E}}
z!(IYsRaH5M3~Mm6<rbcS5=Z!CUPs>!vyXp%%ncGbfMW__fKvl#_ykoTOA0$(D$KyO
z9ZzvO%(fY0Z_jQ5$M3IyD3j;AQPxA!yg>Ksnlrq%^LFQq4~&?DVDwDz8Vp$yoUNna
zE2i{At&DzvnK`!ALi`rHPyslXxX{J+qvE$XOcI7<VyPuzY*FWjMcW3!2E<|$+ZGuw
zWSy9CEA-e|;G4vU)30BC&m&i5R}Qkm0lXTsrEK?b2qlg0+sqt)t*LpJY}aGfLO>gt
zW#2nFN8c7}Y=AK~((~+%?(;ju9F@;n_DU8kWWlL|C=XAvQyLT!mhF6mVXe38)}7=e
zlJJO?gy|tP!(FooQWlIQH(W86+yr*R<9vmzn^hF7y{pJH1b7`=7xDQ_f}8jq2wgjo
z<`bUs1{s=M`f<~Lf{G*Z2g7J3Kz5VZ14n1|FlWX7IjJs?vk+YDV&T%b$onp|jRNJQ
zkXJ1RT{HbOi8>K|A^{1!XBj;>`Z3(aSzr1<!P-c|O;|MzHxnP9CThGtKnzllMC06;
zh$m`N@r<)+NhOi8MIzzlVn8`osIbC{M%HTbO4!|l`f%}oRRz@$C{|Jk-WS!S1ngWy
zp~CJMGHM_DVqvjFD~b!nX#mCjwXY)ATPeU<<HbbSc&xT-9dJ}fWnejKQf))P%faN$
zAQ6ksBs|Q0l4O$mK)_pbAVP5!;g;94YB+aBjm4g?WRG#Hpj|hJVllv8DtMb&Qe?*B
zeNpf8dMgKiqTm<B2Yk%8QkCE;q`Fa9g6O7%fMN)yhf>f<6_Um#!FMB7jsmlcroB%P
z{UG-yI(nL^8=%)s-3(aoFUXy%X;7lFiFwpWNZm*Rq5ZAWL!t$(liV6dI(c*4ID`)p
zZcV|A7f^H`&-eKpZJ3lO=f|Rn->_p5+HPD)w*D4>T++8=>^OW25sQ{ODF!4Ec(vsf
z>j5Y<%NIuHR}H7QGTd=~Xi|1PXk<Fxk^71vtlbq==_|_+C{+TYIh16I2ZI=ozAW+K
z84Q*OzWi;!RQwd@h3Ij%mI@o;%@N#~mdY#vP8H4kE=l!J;Y>ySaXWvr>EvSsjg7Jv
z?}%f6)4PrX7}fps;>8fMLdIW%FQd}+1pZMx4K#P<7>M-KlQv7Yl~s+*oKDd?)YpfJ
zS;CC3<@aS*9CtX)#!W>tWu+ncI)QVeY2qAl0+37-to1?hBs3Y8`!l@?VF!FReYc}D
z5kh?)B}a41_X;l9U|u*lAgiPj1f%|(6YoraHaN1Q4Tc5zB`XKjw{UM!i=1Tv=K_RV
zL7&_Pdi-Z5oGZHt>5VsPBXc;0z!lr(a9NdNY+;;gMT;pQmDgQ-0+SU8h6%}wW5pk#
zDC$Uts3VrBBM!cK{?p4R+!Q|3?5rm25?|?ygF}&{eLg={vU2j(M2hI}o>_fdHGTqr
zbn$J;-OU;}mj11ZPpizFy4mQY+K)jbAz*!QVuy0RjV8r#%L2i{9r_bhkHK)n$*|?h
z1iYTJVW6*py!Q;#>uVpL(;9|S3it6axW3OJ6FVC+@FzUs15i6xC7c>Qd~Q7k!lw;7
zpkyHs21R*SR`O|8O)GNLt*Y^hK}jKhhRGn*E2IX%Uj_VP?_bfN<)DMb+>bAOUFi7Z
z4VS;VY1!-CSH*^1;-dJIf(8ey!2!>6NBJ3oNwN@3I_8cz;WSp)?aGEWO;&BOI){AG
zdvFiP_ZOh0CUi>Qm5KTjd@_0p)b|&F#}HnC6FEVZKac$xt}2YM1<!AWPXbtfF;8O3
ze-&yzazllwlOJX1`R^~nc;)}M7prOaB?dPxU1gv*hTz#K)X`A;JHHtRjY|Q2BubV(
z<|rtQCo7^bHN%3x^MV<OI8-L_3%WJxHa_<FDDZJu(*=tnh7YvZmH$t)j9s8*^~R}S
z{xxd#W)sB<c0=w0U?C_S9+w|~1QGU~LIgASbPcJ*({<#6|6;3K8*uFSsMm=NHaG#~
zxPcsp<hX$x7ldoPGi$5hg2LkhyHD5nb!Kfc7&G`~1zP9$=+_XVYy@3mISAV@x?|Tf
zK%GecPd6l|^eHCo77D;yu45hi4axmLsU#5lP0zUP>MURMC;}C?pY`^a7SakJe~gkW
zs+i|K38Tl^4?f^y81KNCy3cF2fS;Ll%uRbQ#>dEROb%>}ypnE#trlB7wn}^y*zIt~
z1I2PL3z|CcKyKNB-jDrOga0v~mHpPinEy@2UF^pX?unVOKME>TM$*y?eC*h^k%E%>
zez?)T7r$drjL3Yr$NEbyFPTo_e?yC{5+60Q>fx7ndcZkCY=#5GEZ^HY+(H4w-a9n!
zIX-&ya1ib}^lQSg5+8>f9J`0ujJ4o{VlRw~69u>n^HbFf#~|ZltR1|aO+M>&GZq3K
zv3AjYu3H)$Ap^BROCNA3TnDF&?S`Hm&Gyu;>6z2>K;s4M|0}Ly7K6Wde^BiBS#Kg)
zBzNacyeE-1`$T%HKZW9|By{QL^%DS0#o{O8d-(|inrl%(Nv7~<KSHqg5|m5BNN4}w
z>Ub9*Kuat2F&aE)+efId&Z00fpVjv2EDN<3+nd}o(rhImjf3B?b(GLD;^?#B@aJ>I
zm!dvzZf0qpJPf-f-gubzf3f6!%*^}TO($UR%fs)xv00cZyL=V?MEy(%s_|(mNeB#Y
z<UJ}$YUz(}X5W*v!N0jNE1g84N~2kU6YKH|KWDZ&8GfLIOZexFssE8;A_Y1e8Y-UH
znH8?-rz;);|9F$vj6W^LHKpvG{z(RZF4*~r16T9+Sp2?PXMz7hLu_p{`%!>=o5k|S
zjgn@1QquIb$I~BH%qx=e6^rVg(?4yPlplR@I=uZ4mnMG*rB)jUF4xGfO?0}r3pDM2
zzTp65mr*AR6Sthy3W6J#&>9OWf9)IFj@-8O-Cr@-7N`VxWKpC<DSfi*xN#8l5^q}+
zjvurd?TiwQW+Q66-F$t|h15tI&3eb{4N{;mtRWA{L-O27o(&i4MY#C$v(Wy&x_tKH
zjS>qH23eSi#pU%vCUKy2w9q;Y!YE!`t`_e-6-a*>hoSe<k3+BRsvn{-e=MrJ_LmU=
zUgurTrFXl1>!)5(`X4U8?WdXkzIc<soPbm%5ze`kVH{*iK|usjDyNgegxA%>r+e{6
zW{Wh)l0+f)aIq9wkcJ7PecQlTDZG5Os=8`Nwb1K!7TV<X-7i(M<|<+@^Llv;zq__x
zap$J&81NJK>e?I#B8ul&e^p+$DH;CirLU#;Z>T8mU%n6#&@YkRr5}5L`i8q)xB0g8
zwKu>QdbhdZR&4p0*ZaH!jM`f<bZ_kXLN6cl0vcCH9H0hm8`v6WylvW`&|X)Xj!RW%
zxPY77UF}WRl*WScW@QUSv2XL@j%)j7RkmC#c1=eE>$+bXgPE)*e*i!#ydR=Slor=`
zu>e^yC!xe!Mo?+0bu&ciR&J{8z9vdw?PK0nyS<s+>fH?vFA-y$c)M%-)!vm4y?~pr
zM5Z6KS=c83SnXOr&OBscoO)GL)caN6ZH4QON|J`AV{|+REP|E_;@MTDvBR5PWlA1e
z6Ay7<?OK_*fP&d;e^>~iFLSxrG}X_0xB6nY-R_$D&W_kF=XQKk?*P>u&e9Vu^R94E
z6nfjdzRg>1M0mdMHoKM?gd$16pGv|&1Fp-w+Ybg11p&^2jTpw9geJ$y%&W|#b7cjE
zR<<v!&Or}C3mtw0Ttb#T{iDRY-BiVfTOHdi+7_s{+s+XIe<dO((Zik+=H*{r2&iCJ
zZJDD0<Sof#p#WIVv8H1pNs{8q;x)`Aw-1FPTeOwMWJZ%p@21~-!P?bNuDo^Glr1dT
zP23Nf(pM6Fi8dMan%TZ#fuxyuFx$wUx>N)5ty#1}up=xj&$(*F(s2$7rfY#;y(Gkz
zWy3DGu3%z)f6=%LSXdlc^BX0Bh@#%A2ZHVTYf|+w;#ph&3FDpwI!YP4wKnp|+Q{D8
zNM~)ZU^(ElMv9co4K{5-S_&@GZm}>X2tsh((%R6mqd@4;Q4k{QDC{aWRbBF=c}*I8
zOQL{n*I<sQaML=iF3_gTF#cePEh(M&wi906<mha=f3h`Wnjag+@Ypb-B4m;GbxwL2
zAGsbY3#RP20?15dI&(s9u6M&7BLs1k^~!uTVRxJi*e%i^(SmrMB$4B}2&W>F4#vQc
zP(TB9{$@w+FU%kg02*(}VBqM9Txk)g%nkYqM(Bep!@+;!UkD<IKgN(!h1OPvncXQA
zK+9S#f33){R0X>Ufd(eOs+j=85g;YSPd(TntiZ8;tX6xXHq<verY^36G?!6SEy>7|
zH!u>E9BkG{a#NO>@4(HKjxm*GmHVBjhGX#a2_uOTC=NX(#%OwhAU6)bBGN$!|AZ3+
zE2f|VcEnu+*t@DYl1>xcCmTy<^b!KgFw>tQe;b$87J{REdt+t<LS;}C1BsCFK_b#{
zs;3|@8PdzPGKZi5KFBr_UsKxIhD%mbG`UQmJ-Ha9cdCb?f>_EeS^Hf}(m)eH+-ivE
zsZ}??bH&aF)Qmz#5)8YMar}_8kD#bcCTYJh9n*>}RjAIm6Dt7#m<kGjY%~D9`nUt2
ze|bHO>;Q0Eb(;w?YeyMs4a#$lB##{&h|C@LBv%Z>U-}S#@7H@$a;S^va~2a~Icbef
z7>Ad>1T8JiD!=o=-~vcIAB*fZ2ZrQTGqP-DLs2n`x^0+nB|dQFY324G-+u=>qBR+}
z22A{%{Nk}rjx1UnJ2nfQk~!hAgbKNgf4{^SZ2wr9s^>Abz^rJ;1lW-qCuU%uNJg=}
z0xGRHopCiJCL*#JDbk0~$3<+1NmHu`G`)400n4u4#E6+rRI|)ugO25t#WW+6Na_fn
zsh~nDZh{+ohh+M3T<CR!`&|s|5tCUD857Agh_rNczMiurz`N9SsOE6MCSCjbe*^;U
zIt1uc{sZa>p#-cefb+tIuPBg~LO_gBIt|3dR~Nh~g0aam80K;_9~|Md3MN9NmdrM?
z+S8%L3j7MjkP5mOqqpK^A0M1H<4>#&Bs>z13U3cqbWS657-$s@G(y4g`6Ul6HYC!`
zuHLPyf&xf9d-NuLheZnV*pOrEf4-mi;AoKx5~8`hsOqY-p}usdBOHC8Wx=rsH9MRg
zA30aXA_h0Y-ksMzcJIv&PI~O!RjLlLu(C%M;2-&WDPkM9s-dSb7Gi(L2XTaOWUM?Z
zHruP(BAW|-)ztYgY!p_Gu$GOnf%S~Vwlh>_J2tsP<^0v`?ORkA713Fxe~*A?)HDe~
zIW)LwN{4MFye?le3iLlflE|xbOPa%N3N+KD2=u?8qrJI6-^4Aqt_k9<;RteB@Vlze
zxUTn=+1M$`o*~Y0+>U+OTPwVcLY8eAJahMDJJX>!bBAJ%DrmFgYna?d_C05fiyiZB
zdeR&li&cNaSLDseemE;*f2#WK$QTVm)&4MRN<8+A!`OY>pE^bo1M5!%87AZN#U<X^
z(H+!KNTDhxp#Zeodo!yeb(LSC-n+(v$jf(Z(gwUj9r-1ir)%wXQsj7tdOSXm3wxCy
z)S=6_@BaE1E+I+k(oV((8W%CSgj0tb!zIb?n28ioDmV=sPL+oce-7Yu$An_Y)z^H}
zvETAF89*-48Qr<ijrx>0f8#D+VK8dJYd`ibU!w~{ArH9gtCD>(*D5FSzVPhGf%Bs-
zL=NQy3p!YG0LT=Za%-3AZa%oiw1LhmyD}0Ei)F?b*|3xkssap#0E6-M<+Gokp@|5g
z8fQTqr3)3puh5HPfBOvK3Z*KO3mM2%FWPc({p|0(!Etz8{TP{u0v*PP?EQyuv4S>O
zSs=4?aZ5e7{RH8nUc3X`Q=G1Tgj;4hh(X>b3*}p!PpvczVl2VeJ}7_{jDt+;gsfm1
zXpN*0fl!u!V*EM~Bn$VyT`z{!@6iyebb&{fh|tM65OF#Rf3Jo&PkPW5Rv#U@Ua*Bu
zlR=L-NTa^P@43SW1sJtM2jk1wEAX?yPl=x`esUi|=?h*;AQ$dG?d4E~y)52?P>t_5
z7VnpF62j;>LbPDO`_IjTFv7SgMy0(Mew4r`R^E?TGJXWnHGUd=kyv7b!K0Gfj>7Gz
zemlwwe7Z@Je;D+@XN}btzQUj<!tfD3xgSB;jHS+pP<?5aOC%40vb@|w)e#_^aQ~A7
z^mKnAZ|%emz{dHB@P3EeeIQq~_k1+RDaDyna+$^yk3XI6$TSN?W?#jk`$QhRFwB1t
z`Phom9m^AZN`yUHRuzf{Msq;>AA8ypD>`g_@C1(_f4i1J5<jKMl3E9FoMT$bv&fzx
zvGGz^CP*n;EwMzf4yzTGN-P;1@tI6H%X+2?Tu(f2J<lS3B7oY-QxYGJ`iGa``-mSy
z$flzK@nf$>LEPbIjh_`;H4;uT+@Ei*&!Tn$ViAka@>Nf#xW>`}Lsa-w_-U9_pRc&X
z39b<%e-XbO8051p!-*ZJ1U-;O=c55*gc_t3dNfP13P0N;ik-o>NJ{WN@#qF-AOQER
zd@7nC!ae^VVd_){r+x91+7?4h>fX@ebF?k>_HZzhUdyLgJXC=<#`2E7hQ1y3X{emj
zcT12G#{U|cm?eQcTz>v`G*Pidx=$0&+@<<Le`5Ouq*m%cr%&o5lmKD0J|a2GM?@gD
z5~Y*)De<!7^O<@UlVI(!NdG6D!j}@o`|!Z3L>N9sddF0Ig#1QuJd{srb)yX8Mr(ET
zIr6*IiTBoDW(nEXjFNbC@_+gLV)84(D3C(`hGGB#L5Y4+Ybtc0+?{87=5eRBHzJAm
ze>0Z$SgNdROZci}^<;+}D+%w9uL-{RY2ZZI`;aI|QWO*oq9938P;_1tbYcacun6~)
z572)2e2WmJI!I2%%lFH47^pP+GS{PsEJ@RIu18O$CzFbdli2JeQ5wNk5BbSK#F=d0
zy8O`b+ruk<C8qM5{_&8W;q2qZKm7zVf2myF;=>c&D2o{+*Hl|yc$gq*pETxP;}CkB
z<fTqzza}0ht#O~CtvY@IMJ(eKGIdDrfHus(<ZE@zjtRwZO749<Lxb3nOO5hCF%Kn7
zkb=t-IdAq|;}|9BApoy=m8f_-`@1Oz?Q5V~%XNAMh1KFF?5hYpQ9)Cmi7M%he?!R0
zwg7<dq&!UW8wF0)=8f6%hWaGSNVuFo>@rBq<RuKVWZk<Br@PM5pgH7PH7--dWjiqN
zuqQJ~XyM#OEH;?x>+)4biS1AyrPShuu$AytS-X5!ez>B>tLwdSkJvODzAG2}w088K
zdi2utX=Qmk+R;}tPp;v7YRGK9f8j(r!&&K^C*v(=SN2)4`>v|1UxrVNeM(UOz{y$6
zNJ?5bL>NhsWoiLjreq7N)iXQP!^dk0qtZUIe$TJg&_@rGBn3G1-X8yP1`ED?_YORo
z!;uA%csL6AcogdKDB@Enl24)N=SUupLd?<=!?#GDLD2BSjC^DI>%r67e?;^hriXCi
zP7(!~O2?@UoUtpFo?1Bs9p?cdH0Ph`Up>$OQg<v-28q&RJwkvrea3M1qSS)2&N&AJ
z+WRB}tZb_FW_hf6*hIMzLLbucdF{3pB%gjQ5tb)ku#r4AZz8j<AX6S2gPEDJ)9IOU
zXw03qRkQC(V_&OP6dnFZX8>Az%gJN%VRD&!jnCY(JwS5IAU5{d92z)%O&&U|%5L;`
z2br4w?a&{_e+-j4A!$rS=}6X~4YLriYVFe?xw32b+cPu7CmA=R7-sOtWeSX5tn^~3
z;H=@|s7TC?g^2OL2~rWemr*AR6NkY53Wvb{3%9`j463^UFqgr(4k&+}T1%7Twh_Mj
zS4{08#i?4!B>0qXYgaaLDko=Ml~gtdj6_MOp-6=wXFcou`1A`P_?WVj!wjGX2s9dv
z?ynn&A1)8^!=Jv1rTqTWH{X8Dl7}STAL2vu@ag=Zs%l>p$wOII`&i`<pH2_|jPiZ@
zxXa@>`ebhP<4)yq^kaWJ)cxZw$)gwDFzLf1{A+ddYK>(|cjofvpZ>~~pWy2<`uAAd
z!9M=$(_cI%uKf06dU&YzhoZ=ko1IdJeUhdRyENIWDrI&|doo8o)HsV$(QvJ$(hbB5
zRNL|P1l+|DGO1L`tUv>^0+knI%^)N6k5xpR9XqU^sD9$MFJ^zZnwIOeK3=(Y?Z*Bw
zKSX=@S*6iurIOl@JL<-K)r0BUaQHHM!BRIe>B-o^w8uesr%vt3GP`cZ(ZT{iP#~Ng
z?oxhW5$NM!Ud-@{JiLdlhlChqZZsFxTw3#4#qm+MI7^j9C!D3bb34reB}sy-$8Ky%
zC^!oB9orNCjI)35;#j6ScTLm5g1$JpNuQ_JIRitjPp>>Ptdv%$Z7qFd8s0sqoV0v>
zr-?7r-P+pjw*-I^M>R{cGP>)}DoN|U<)3!ETu8y_*KpMX*V=kOhP(b5e;1Pssnrd3
zt@Vp(gm~=QW8DrtD4Q%3si(0w?S<<yqW_JGVL?o3>2`kvsW;P_8|o%;)C0e9a@<;$
zA6kiIuu|)u7*bhu>-yGrxFb(>Z#v=)R54Eyr;6CwUUh%xuB_6>#<Vgf2}Q}aa(9vd
z4y*gY9LL7ZnnrCm)Q@hh!_{eBnkm{w>|$iRo9>@2kEdlBy>3Cl@HA{JSWfBSRjEd;
z%(960itB&DQOWY?eg!46+(O41%5ZP-_h|K{{tor&5WRZ@W>~wR#qIh#{`oluyB32C
zekDo3&qVr>;=^?BT64J$Z-0!R{i@u@Xb=vuQ_qbB+xl_?m2&1Gg{_dogiA^@I9$EZ
zxwv&=p0M#$585>T%t145%r6=gEEtibl4fi@h$4StzJhN1;psqjR;E3nsZceWp@F*$
zZ0=LE6@j_8Wc7;ZBM*g#+YTB|$|KD2ezxd}7tN|%WD&1)7aTnx&h?mSH%*N>nq;;F
z)T?WyedxH<<IvrL;|ZiEeSE%5#*1d?S()GnkV!%1J*3f>E6I|^a~#^Szep7gB(=E%
zOALQCnnWQTHg;If?SXYJO=ETdFht6ykW3S_lN5Mw@h9&V_9tm$YuBQzb7=hW1iNC+
zuYCBS56oia!=b*haC$N^NSV9|jVBWt*KZ(?fF#m3taNwSZS&QS&q7BxSAozreGuv`
zu7@-aT?3dOP*7PUjRf8YP7>@;V@T@Qg-?H0oXD}hjK*H2bMl5gfQGi~$%0}XML8aa
zktVio78#Y7IH0&(f6FX^ZAFzs%5Y_GM9vO-jNsX~)+k8E9<Quo<8=6dEZl1F6TAWh
zJw2BT%|z17O3|pg757G%2j))pxq~?$a3jzM-M}Ini-$W+E8a{fVa^i>!D~Kr-4uTw
z_GOiX9-8#6*QDamFvCgM0Zj)sICz9K@04&PG0Rw=%rf?xpJHK>hbtWeRiv^VVJBSk
z&Mi6+`0*9>twGzJCb6J{d@|zi_~+7OAZ^=}=ar}i^q58?oBms4tt@+*96Z$feLRtM
zzM3b7nn2L4l)*;eZxGa$`rXBH!6<(Qm8lUprQXNrwpEqOP7yNm77e=yu*!qQR%=^}
zG<)^_2fAw}Ug0D19!LtAt;FjhJ%otJRL)Fg!W4?^kbA6#pG??&({gG7s^YnD4(}=m
zM#?agQv~7~r4iN@t;Oyl3&08D%YinR#3Vn0_%!O+$WU@b+zQD2)adV~*%*KN=Fu7W
z?RqPM9o=BsPK<0Ue1;-b&L|SA1)m_5JFfzS{-RqSUtklP@M7x1ejA&<c5S^F2t_L-
z7u(FnpNteC$}0LBtpfXK?h)c`payuGn1DUpfB@j5$oao|+k_t^in&ix&lix+q*pio
zu>>aA_d+8;jG*tZVdV9oXXt;9WF&?W@WoX-PYcu+%~(dfDNtA$^s{4y4J0(6C<!j8
z%HesSYVHTP*c@y9)NF3*JmdkaOaWJxhAItIucw&{hJffXXUe*;XDI7W5{+i3PJkFX
zCeOhD4H|@&0T*(_fU*RKKssvaHK{&=eT?o07C1H{c-UBYsG%@vQh<No0c?Sb#5!_{
zr67))e}%pge=qO{k1|6XLPP6=6#zHRR?1e>WLK%w1mO%E+gF+X%;g*$Ams+$91bxs
zjA93z_i=ljbJz><I@qoD1X>K#6YptKIiQBsNz0~Rfx|>%7!1JA8DhZZ6NZu&Z5>+~
zoS@@Uwu;YYFd7R?Sa^Q|*1nh%r3#XY!AgSaaix`P1}vd`(h?38sPxGDgM@Sf2&Eht
zu9C%p(zz1s8YV74x&^rB507}tPZS~o!!EkaVmuE<#?n5qgrksp($IBt=Nj2DXfiXP
zT&e{g+;XxZK7~W(tadC`8_?n1Jl9g^tV!a70{O^0j)ZLvR=$7ezL(TX5}ikgoY|=%
zz$X<2_;hh$8xGlVS+^oyAzy1Z^-x~~!&VMQR||N%bsi-RC-5hpnfNdZ_wC0bc}TK-
zniUGuZ!k`p?K4&VPiesaGX=Ov{lVM{){rOx!#L_!ap>9P&?Q8r3{x1Q&K&n5nt%po
z2P!`GCmaPRBU^vQOGx7A9AUue5qHX~8bJ!@7~S{n9L;32$WD*}?BZ4;Xc0%1`6{ph
z(klL#XkyLzn5AIVzJKL*JB%k`xfINRWDz9PF8Xd~LoLKtVo=^XrSl;y(ihTvFM2!h
zT*ihAvDQ2_Zt`wR24j2l)?5zGT*9JWNT1nKbM%MALCSyF9n085Q2te$=~((06Y6fy
z;u!)>*kS_Jj$jpzrW=KmmDp+V)ykSoLE~;~&2A?tKR|1}-3ONh@JUaoTc;k30uNIn
zsFog69s(VPc^ap_9G1l%C>~a)2Wi{kBs8qIIn6MC;W_6oJAz9SuN`8LO#^&lBnixq
zgTt%Z&QO0X0N2(G3oPrr0wL7{SR*D+8BCw4%qD;vxDxnvW(PT1o)^$`%MCN_^T?c*
zexae~SlBuk&6(ALgQHE4+QBCY9i;-SxV6lI3Bs2mcIo^gSsZdys{#X++PMhmvbJI{
zf(|-Z&gmg_U<zIg{1Q&MO7US1my8B9N)m#sM&W;4QjsiF3wzRu#4e~>o1kf-XmJsy
zBJt-6@y8_&hxV3#oO|t1c`OHvhLP_fp6xkD2S3*Hl@#40=m_+ZvjsE?X(LpcuD!fH
zN<pKD#^Tq+PU7xFumhr$jY!BL6hw^cbd`#I%CqtLE#<tuO6E63vD_3T&R(f_39(eA
zBvXH@5@#gt%>-IY4!4~8ke;Y`n(yvg!E6qiZMI6*{#H2~t1zE-*)(q$C}PGfU!})@
zWM3^rFO-oh*v<kGp_wzYF{J|-_+s7JN68)*jG*Wv;7*fhV)RzG8yF84HPGmxUx_*C
z0mUr#Rb?6dJj3(b$zJPlnn02Hsc^7SO3i=8b4{Tz)zMmsZ#m2N3+Eq#y_;ds=o(fK
zV4^L2(P7FC!FY}BCT3?@SoYW(YxQ9{VMymIbMGrLA?iY~FV-hS=lb|Yvh$<4c+8tB
zhMHJ0O*2xsL-;#&x4o%anx0h2wTJT87HX}dsd@v{r0!}sRa+<~&7DCGS@_2zxV?X!
z{>50&(!J5I;jJjLCF5%@nof?!R{9fc>~OuABVVvsh_vaTQX*~2JwnspG56@EhTp_9
zA62yVLUk%xY@p*p;As(>K}v(=u#gus-GcMy9oLGS%O{9_rFY<qpg}IlxeHfTcR1VG
zKb)bANls97ZM~Z~W13ln8$f~x>mq+>HV!lte#Bh3VTo}lgVmx~bLGWak|xXS=NU7w
zX~EW%v22YnDid9WFjI>%j$AprSlz<Awmy$^q!NiUpyJ*W$Z>MMH^=MclhjZKQssDS
zi3pg+xBGkEH1h03youV_^%QQEAwxbfjLhj~q=T6|3zdtHxxZ~P>8dy`<m!Kk9Ibmx
zAOs#({5#_|>K5z)`FZ9Jt96Txi5xShDbf8lHAA3&;n;ohn83#DMwPw`FI-{)n{hEQ
zGWVC5PYSzH<8I6GdvJ#N|KRpDuhzG(cv~S+_F)5>CDn8hQLWyb<cF;{Cpaq?7`}n^
zl$ok9p^MGId7ds!7I#H*XAytQHH+%k;Vd0Gmk$*Kq@9^^R~2vAD={bA!90C_b6-tU
zh|T=-^iajSeD`REvfkcw<&iU{nu{R4%XSjeK%wdM7YoHgI8`COd{Z3`3w6LOCZX~f
zla!$5)+C-=Ld<rC^1;QF$|d3jrI&96#q=@HCVsmpx0420IwhQo>g|8w+)c?e4u2ql
zwoedn(se@;VNj(?pPHW1g_4{reR8gp2Sla3g6Wz@oIo1gSX5Wt8hdl!E#W54LSLQ`
zT1cl(W}V)HjeYOOl`G)mGfnJLLD10h;~1)&_Kd&?58|8emLwls%%yIb=A$;KA0gxc
z>`G@k5v7B&sV^Xso8*6Vi$#*S2;M8ufTS`>Avt}}7*3iZ3A6>&8<3xL6}I5`@Jk{5
z#mmHL9O6szb&TO29&Oosig)-Snxr5SF_%zE_?F}={o?jnfSqs>iOR)W29Zy?kOvMN
zyx&Ns@E_ev%4&q2j0}Rpktyaznd9>`*)~MKrPZ_dX85c~-WPurs{jy4Va$_lXY}xq
z5l3}dvAT%B=WJ)0hI=r!h06Rw8ah~WGoHou77#T|x*<Q~zzqb6w|2artv#2M1?AW>
zI-q$t#HoYp^0}jX&zS@>IIqQKCO-sbW^!uy+>srX^Goy4=s(g=LaS?QzyJ$(J|UAI
z7y^2Z=w25}*ph!QI`oR2qf4Z@nai8UooVKS2;P`9qduStJNyGaDY)+%ZsRmX9R2Wz
zALKCud}p12yepH}SU<Mhf$vOcY`l3Cm2i(hkUk~Am;)ATnlC|v>n+zK?yZ-b=69uc
zILA!xt;`Vy!03FEuqD9jdGxksl%Wp3=ak0m*ff&cb{>DnWw$jKE*%Mmf%~!LE-*vM
zo@SnBD2t_mOTnFS0-f;TCcN_rGFAGtz#>D4P5Pqoyz-Cdmf%UtU7g{Tp8RIHoZEX<
z&aR$PIUg$Uz4T^?2f=X68qN&y%`28+2Ff`IAmh6REei<J+i#h+S-uhC{Ih%cG+lM&
z>#MH)+wUK~gJ<YjT<r6#eAs2>K2wq-Q03;gfBf{#e*x>9)y|huCkqp|Ey@kO?|&N0
zj_f#fKVQ*e0cokbZer&tR@{NhLm(mMjs#*@xGU)@)2XD$<K8L6$8%n`lT;ebjzxFb
z$M*5@@p(J(!|5S@`0Y2b{C@oW&4*8E@{q)bDz1`;&#w<k=|h&~4@FTPVwF97t{?s$
zWry_fIg8`y*LIu+`!Y|q?;f937Jo<mEC2qkAE%L<AI;c2J{M6fGi2uXo&DF`Nc%5;
zl*!-r-DHlFEcnOgKX~HY?}tyidMFQ7o~KCQbCP9;I9CtPIytCPGlie*X&xTS2=M5n
zV1jj$L%)cAoSLp4d0;v>JYYK0-bO26JOx50dl3w_o0{PfHjBQPR%X3GKYxyz=__wk
zL`}!b;5a;Ea3gS1;s+t^dC+jTHNy!}6FGjr@o3uS5zs$DU+d_rozAlSEK~masM6@!
z{0Kw?pB|oxC%_N5ysTn2H0F3lzLreMmHv-SH`(sQaKk@+*F0ZrH%|@sSH}esR30<$
zj?H!ADX;y24dEd|S~JSni+}B8(buzeB$(5Q_CJ}a85vZYNeFnwq5iV7yG(8Sj@X3l
z>1;YWbG$yTPGDTc5uao{K(AEM=f_+}J&%|#xQ(s3*Y+bb0@`w!=Gb>0CgkC|iGTU5
zD&||QPtAzuRJr3cBC;Jf#;fV*YCe1d1qu=iY&nz_&`vb}pz?$#t$)NiJybezb95{i
zX;+}I9)AfC9m^#sxg2x3dZ9t0Jhe%<T%nL8M&;R|RLPo&8%Y87Csi)2NU9>-6n2m@
z97dVOekJ_{rFaWP3g=Ww!-Ic&Oe+ywT10zYjO}DEv=9iF4cq=?1`z*?Jqq%LZm1a5
zZkz|YG@K5?G4VXU(tjQm2M5mfbbfwas$_S(?TL};NIo*y8MylOeho4APDlY}WF{{D
zVn_SZHZtH)9!<v(kvD<%m#gu+)FM(ps8}%{CyR31w718sib$+AG1SVw^C*bO{NjG@
z01MV3oLNU>O=p0-F-Xb|Cv1(j0_cd3Mr=IT9Nr|0CZd>ZDSv{^ktAar<@~U7Kg$>!
zHUtv|tTk11F>j)5S!5?c!`&+$ocNEM46k!5n0gv$d6vk38qHnZ4C4fR_6V=$2bJh%
z=!6E=%Pi{HV)w(_>c}M@c^Y6@oE(YEMf9D$Sg_EjZ3XR3zob{t2wnqwL23Lo>Vmh0
z--Sz3ItQ1ek$(wk9I%1J%%-*fcC6OUfxr;{vY2U73`9}0aL^nhmJF$rYgupacj@Mf
z$ex@Eu5;(=?_8IvbY$pP2{Hi4y+UiH4m@kuKhmmmb8)L2`DCusqzZBk!{dB9h22@R
z5i`j9u-Fy?2H=>Z(J>k6yj?BGTYKZ7V>^#XrPs5abAO|wC7zWatLJ{8Q>oI6Fo4&Z
z|HQc2LF2IZRIun|t|LSDnE?YEMgtdgl|lUEMBm;1fVxkcv5o-tuAdB>7$o*;-#mdl
zzDCVsKgj@IN&6Zzkm~3q5qRtyLo@ynZ!0QoK?BiPuoh}oXU*!|fJGq2vpLd1MP=@^
zTH_)kY=1igk_PK9?mgJS`(5mG6Wx~y;E_OGApmqcEo~Nb+jfs15}tytvNlzs04awE
zV>6K|D<`j_ij|XCTqwWy-WBH=9t1aVA<a*HJaRT)EZI1iHO>@cz@QOw#^aeKd2WNr
zfo;wBHVR2*p8AUk7713(#HQNNrR^M-_NzpEPJc6-Kj=HHOIKQlYOBP*lN*9@lEsnR
z$9`^W*BtodY}`8mlUbGhddMX@!Garnv6E#?BGv%EnC>R~+~6)RvXLVjq_?%~ug1OO
z$)%`d;jR@*2KqT~qs0v;Odb4+Y=OtQ@CxFxAQFU#;m5F8ZA`^~<OXrY$P-@7@$JM1
z?|)=N7j-6ZyzY3W!A`saDVewh*5vUl^xvR&bgs2PZoFsJ-IeN67|2p{1_whn4B#SH
z$2Sh5OBcT3y#8f$XIiofR_!P`KzAgWJtizL!(@+04w-0_aeL|{;2<5<<woa_xE?($
zCUV@TcmyWY&E&!*P{5tjU%<N_IVjQkK7ZubI&m`R0<BD|=ugX4a49|5tmLc6j$~*V
zng(z$wMXQFPlz^TJBk6Z0c32KClO(#1QKR|5<nc#$imUZAc*&l$2;fTa$HI1qRI%v
z?8$H_RFJ`$I~#(#!uc^((jd_MjDN^-62z8g{Sap{694VbzlCPP3szz=kRSrVy?;>b
zeL^YfQmmy>ZS%eZJF$<qy)ca<)7KmGn=|=Qa``1%%B95`;h63AGIJigbB*k9wMN@=
zGEN5t6Giff3f6-cwxi_dMv4RA7Fsf8*rPZVM>{Yd7#|_<oj~-RODvRR5zq*dj(zZ3
zWDscpJ+*aoB1p_#fsXogo){=zx_{x`+<}*XSO-MTX){21R}8{{fuaCJg*VF>t7O48
z6dV5vbDgw4@A{dgm)3Fej%C4-g`dVQ*FfULxnJ&xr{M{tu5lb~FcLDsV)*9`c_tJH
zU+A`=`|28N(?THjVR%$a7fQQwFgv*oI!6xYIXgU{P@p$1!$YoBE_;TgmVe?GfLtI#
zX3s=SFRH-wYLn&Rddcz%v9$1e9Ofg@i5<?Gps|}`(um7NSZ51oeajdOL@l@n1A#6#
z$pqsp4%2YsZuibNIdhRZq27sB3kn`Oj)`*}j+}0foQ5N(luR?L#zyvF;@8uJ2`SYD
z8fgPrbF(Fke9hHxq6>XHZGSMdAy3^qGb4SH+^yx=5+iECqB-gXQ*-HkmZ-ssw5B@-
zAFJVF8rqEJvggywN(X{{9En&vSvdG;N2ej6XYQ&p4{<ciZMyT_wwv4(b}?7;0)A@R
z%^`ewLB|<uT87~X6ESdqle8m<DzES>8V-%-!kRX)mSs_W>kQocxPM;2!Kse(O-e}H
zvmQc@G+zbTG;a2}FLem^J*B;ib2J8szTQAiqjI%Ry@)iiZQX$;3ULs`c1GRX84Lm^
zipy@?yNg)@%y|mhqvPL&i=qCax{<;0zHdQc!40(H>vp4M5{fj(xLS<WSpc?{A&Mv9
zx3-l0%-{@JzSI1j#D6ypu8>fXlw#v$30|>OrG*Hl$1Q0Xx^8o6L<!-rzi=dreDdV}
z{Sw#fjh`PjMjb&LW1PhcGk;jUP<;55Cl5(_&}pu)h6_9C^icj^Urjb;Wgtl<hd3)F
zvE5e9Txo|y$g2^Ltm|n?%77|53(>H~7f%8rwUR-~iDWX`XMe|M081%PtwTEmI0sEB
zk@Fw+D5*}lP?}wr!+3JYvb!EL0A3diJTUhPYT$ewOk7b6{YC0WW|4~z81#R<In<`T
zIcMogdH}E2SDiag8GEh)=w)%$I74QN(~4IWyS*^#mF?avqJeD|4QwG632!pWoV=W%
zl~S0uj2IWnbbpR&<3)WMJ10Yttb}7^V*7xe7xuszND|h@lZIAC2>L$9;$By8P}LlY
z47;~EvKp4c$+BFF1P=-Ed>_y^$0JG`odD|<aT(lQSuM-BfbZP2R~f+2pp~e(^f3@*
zQT;eM%pr2a1#+u|wC2gM$__#o8BnxSqo-|Uz4r?;SAVzci>>9IgF_Xr{v}kAA?al1
zCzVvjapY<{wrW<M{SbHrYlf9k?kz7UafP3;r+`z`46g;$Y`ECYBcTTs=TR7hUf9hi
z1`uta(EGul*YaH7nciG&O>eGQ$_6SrX;np^$Y$hv=lLr~0vOHQ%^1A2f&<Cs*18m)
zi%Ek4r+-QaqsLqX-dDr{7~U;ms$m%3ZQJZ+t!I`SpzUIanqrxW<%N*Ea)SW%miLJb
zf_qfW3twG>HBx*OM4Pf7jEfW@M_p)~7o6qg`641@_@Y*V!|ND>iz7N!+w5E}_LaAp
zM@i2$88!Ts*Xs@MX~rx6dNT%XF=L5dX)r@xZh!pCFRwabNA$#k!BGnik1n2a6!ety
z3=S{<aAYd`uY=MBX=je}_axbCfsQqKI31_K`Ul&o*Qu;yNSto0q;_`E?@E)zzR)J(
zpSdUB2gGT3cSG>XHlpRrRP?Jy;8k5)WC>}7lsV|z0!O+xiF?lj9QS1v$9;JWJbT30
zb$=O3<jxDiwAKq(%K+9hxcly8PR)hO1pt@gQ-+R{uZeRMhOON)MrJ2mO7<qlw0^X%
z_70<~*|6HwXuC%AP+({G0|kk-mf=7aZ_FXXD2+qGG9ij%i=SbEuQMmVd`$>`bzo#(
zEzj0I@@$OE!8{u7D}m_eXGE&|xFb2_d4G2Ijf+Yu2rn~k*cP9;2KmY&ac(QQi$)T;
zh$Q$ee1D6x`1gP2wyA5MNlTqCS;s4h#4F2f)@F6Fi#My#mf%&^aeN1zRfKZ5|FETW
zUrlf+AkCJa!9YLVdtpg4mnmc$;!??>(<~4NZ6xlAn^@$Kd?Q;}d*~#Bxo12{_J72A
z23Y5|S?!vxK6$`_k(GMfOrvrK!yH+BGymhEQY&u*@qr7j{nWc>Iw@i&iDMW}*`)Fa
z@^Q|{eXbdDOIBUXKYRAW*dvRG3&kF(l|6zB5qpGFyH*w%{uwX$%tp<h5ZR*Y26xO!
z&w(S??^tI@4JC6A=8XLD)kjW0x_>;EkR-(uBw~!*2jcNs_;{29i{s>0vMTSBCA+%&
zN1L;F*}-kIrx>=~IjQ4g8uBjhGr-FVH(^w`Nv(z(-eIN`tQ;6hR$fr@B|>BEbW;v^
z);JR9bW^o@oktImr|+Ul1eIDIrEYe^zJQcpa93|W;Q}i#>FspxXA0L!%6}-Gy@Q@F
zXO$pQlSPq2usjZyAulbpyI6_2)uP5mXesI{xdI1(S65*xl^3^i@nJ%#Ru9+Z;yZ=+
zpBt-<BXGF`hqf@v-#o;ui<07mq{_=A%vefQ$&beX6}6&fGc8gi0Mzs-&94GaTo-rW
zD^xC-sX|VQdr-XPlN1&^8h_Y3V+;N=kO->jO2bNO8<4qgk_xIiCKAE#f529R(n9QC
zZM~KXb|#EkQn+v!y{f7>sH*a16BRGsf59u;H#QH;(ueyHkeIbs<Xn_6vh*$!MG(LE
zLdyt*kaxU9`_Gxkcw`yI?Po+8;)-<dT@7aP=a=c`)rt)jZnp}U5r0AjxEIKu`3(W0
z!{5sW^txv#ct*_cx}2pN=~!`DSA{QF<E>eU#lpmDQJqk}I-xiX!gU+3Eu&6NvE!-&
zqx5^(U|f0u^lR&PBllKC5pE{;LBtCQ6c_Fnj$E)vX;&$aYZS)1M@=4*EULKw+5$k~
z8-?&5hPk>Fi#Th9AAgM78-DN6QY8xC7|^p@_*A8E<+Wm2URylJS(&wo_zJbHXs;8~
zs=9l21W<Fip3TVb(b$)-zp7Own*!rX9^<QJ%s;qTxT2CccwsAMrjk!TD*AAu<xj1k
z*Uv)CTSsA1=TM$3*Q;f*Bwcj1N%#!(T_db@x%|)@KP8}YmsqYs#>#LCjC6Tdk9QwA
zxH<(nWBiU{@kUC!EZ<18tnl#{f4;D)l*tzi_`Avhp}$Bgb>)dN?|&D+_;Npu^Fx*v
z56@|FNR@mSud3a(zxn*le*x(`LmZcJxC0ZHHOdYbmjQVSDSw?A*>2>x@!en1Pk|bk
z*660RZ?kg*8)OkA;{*wI@<2<nniz@d6(#q2zdm)4y4;=}1coiLSS;3EMLIY%hv4w%
zyTE>byuW+<DG3i@;1@v=9_}9xVOaP<njVD6{UAyY_toJSFFl^pAn-oOQ65iG8hG!H
z@JGw`*(h`T?|=PYW{Ugo$NRew2EiemDW_TC$9ZumySrcS{3Og1K^UtcEfq!Ti;U(;
z8aVjdpSmzOeCY4~4nO<T+)*cY)@gMZ2^$x;giVv&FOrOf{iK>{IObl>qNaZO!#71d
z{6csilo<#0Fpa9$$5R~UUjK++;hlRk8U{T`17w9)S$_=87?W1NPBp{+`H#OEhL*h^
zWjXQ&|9DD@)cX=ep+)@nF-p9X{7qSO;`u^<O|9LD<GDue4=7=nfo5VqwN}+r_i#Lg
zfmaV8Y8Dd1Q5MYXAdJ~T=!P9$e0b)iT9#*qpsa6j7<*DzyoxN);(v}w;W)+xbMBAA
zyBc1#Xn%Onq{o>fWIkZNlY$wy3Pr6e&0os_j7mAyO%D=<srP(L3(vo4J#q!mNtPw(
z2`8tYI0a9L_?%XCYL+(+GSAc_4g{MP0M=MAlC9}^RLWscwFMj1X!Ruuf>LU`S9O<G
z0hiz>7U>b$#euHJE7-3ezVf{5wHo_D>4vwGN`ILV<f@zoHCh=@325%eXM02i4xk>N
zg_?Ct97?ptcUj!syG52lp|}?Jr4;E>+`2eL7k3sGEyaqvOL2EwN^!R$Exkx_C{`9|
zp*-$=$@}*u^P8OHe3@jD$(J)Z=Xl5ogQW{;M`ksJJmR8krj7bueCfLpx_!A^WU+-#
zwlT_Hv7w;gPz4P?tzS{A3HC`^=T;kK;t#{>g<b|s5-~**%q`9#au~iV8l!1&G0lcw
z($0O;()9LGRG4R2%?FNa#&cGE6v!|BahG25@6epvGYjwep<mK1N|WJ_7PTYG*U#?Y
z@_jIH2Rz!=n+?L%{STkoN8F~vIWR(ha;1orl9}ZhugtJa>>qv@{g+i(^UQFbE{91T
z<-R#go*j(y6g_T7*DWs_Yjcx&L>cO#Q7U7cWfIe#llnZ_Q8^K&;aA(mh`dS~9>qvD
z;a4qkR~b<YQ9VlyS_)OlJEijg{X8%+|3g{QPmvLDUw$P(oKBKxynH!p#jXGz-<=>e
zj2Cu=Fmwt*#+Xncx&6;dB!BTYzj~)N+&TWnm-2v<-~5`_g}pE0QH$)$R@Qkv5c>$;
zV&maXp^W%B_o2e}2x7`t02$I;$oSBAlJ8L(5Tbx>s>ko?y5%YGl7#A(YKg00gKfU*
zB=&7c_h}LeN@+1em`u(n%PXvF<pIV9ET3m$E#7_pS`@;g!EWwAjW%7~8i=@>fKSnO
z%QFu4cewC(A2rVLJ}>>*e<^VQSZqY3X(y^Wq24R+1hMTZ8L!4#Be~?2nj&Ah`fg7=
z4Yf}47TMQJX&f{pND)lCK&z(#O^%iwxEPVf8cfpP^tG$FWGD2ejbIuGhbogK9y1HI
z#5(v<)_6`ZJYHIQ1#&-x`z%VFPZIK1J`i?uBGpoI#4O8oo6LPo(c)s=RBdOfw9%yu
zuWQjAYFDclB>N`@DJ5TmA{_kmMKRa|NFuWdtsfuIG;m3;9{3$j=5JNyIVoHV5SY1}
zff3U+$-M7*4ZwH$-s(XFr2jL5OFqaQ*cCkG@Xi3V_2H$MHa;hmOJ7!9xT=Fh#+$o@
z%hmt9GO<#R=|+NtoG0wic<+^x5lWaxR4^sb5GtTDith?Q3NkdikR$#!k^$liT1E|O
zNaE@_FjPx7Jsveu`4=N^5c=S5ygyRM1?w6fYkW9T{<<UeyWD7!>Fz5Y0!q}dj(a}`
zDIRkJqnjrOfe|cvVr7=Hf*#LN_@qcV!9Hc~mFvvU4FA%n<H~j8-a<~|pUVT4n@yQQ
zk{uEah{`>XOqD^4FQ;0Vk4piX!S0f4*7Y$hZ9em<ksU(=A?^Q|^L!6hZ%U0E_%@CG
z-I{RkrE?dqF{yWeciI#RpBDcnNG7)Rg88^Y_<erc8om5quW$^7WPVK0U6g@SZ_<^=
zKQJo&30@1z&TrWAZ`Yns;calTDH5`=rZ*5{N;|Gokq#_^B*kQ-heMfudr*}f?{2>r
zLT3XKE3ceZ{{pkz_PX8_8es?jU4x7l-dV-??cgasgS?>mctqFSpQSkQgnPKvAqewP
zf+&z;+vL%kLWy4n!e;1amu<Q!E~MJ&e8Qp3Z;5?U)cHvG(RB{e7azZMs3-X*4nivx
z+Pewt*^n>dvF&>%-vYjRT?71#ZwbbIC{B+T+vzQb#Ie%5CP1~2kEt#jK0hkD2=JM-
z&H@L9Hr%DiO{I5_z`J?Q^MzBM&t6U}?STECIEzot8KZRN*G(LSYwV}(l2b7H19VEa
zMQ;)kV_m4D<62?DFD9=1$A%*e9b_lm6AC*HsgQ;&xU&}Rq2<d>TrzGa0FO%dI{_g|
zx=+kwwBI-&i-8%F`X0K2t(t8qg?#&+qOLBZ1Mil;OzcGn1Mx|#vn}>5>v^r|P%6O<
z2!b5GzkrDB!58~f_BRU^l@7cd-3GU}RIkXt-%bCtrSQ8T!Ea%p{h1m*-Rc!mUfp=}
z1P{qB*_*4hmFkF#sgoMrMAPz&clES({FHKQyX43~42xyhdpTsSVs;nkSsA}cqc<FT
zejUuTc&0a%RB8rw*lO5KM|}TMBIwgpZgO>RR$cS`^^SVWiG;(Qva@ELlt9{j4W;*{
zzbE1AzUaYw*r&g?TYB*x+P`jAV!hgU>`st;7w=<^t?k*LOrBI)cVSp3!>is}kOCF>
zlx6zI1HlAxIL^kA&P6W2d*3?x!FEz}9^r=OE1!wSkf+=$Qj>1@_x#TFV}2@=#vU!&
ztIqH{BGBx;T6p&09(8%<8;IrZv0-v=`DwVq0kpsKJR0toJNgNp-$)*QmL5?!zKoAt
zRmE1^1BV#ieE}jS4e<)LLoM8GkleiSEphPqP3puajk*)t_;Uo`&;hZK0V+<M_~Bim
zUM@IEVJXwL2yG#6dAMMlykiS}&D4(HFq@LGUYQc~C2FKA?{Kl9rB+{Ct}V~)D4WXd
z^>bSG4->p1(*^AtEIWjN5HAj@i#TMY>g{)6d*t`Bv~m`Uc?MGNR4@zOa}*7UtJ#S{
z$Gb+EED-?hKzYJ5^GdKwF`lmSrf-!iVUG)WyXuqck;xmX*K&E`1$ug)_9f$38Rhi2
zt}4U0AdgA)e=F!>B&<H{L@?KSX6bO=Jh41K{<>P~Mb?B>OLjQKc^#G(WuA=O{Xt@o
zX@T`H`=LE(nU4{^LM7K!@+P~x4#k_TOgY}RvZwX@)Te=lUZu8I@*h%lu3cONvaiyl
zJs0iUYd;n9WYDwgNmVClgU1D-ci%5Bs0aA1em<_!zNxxD2%)-Jhef?+;~J-gx*<IN
zEwk={bD&qYgf=eL9-i(t7U{;EM1*Z`7f8Prr0<`Cp0+uAk!^#J1|FQbMb<hBQm4>~
zHTCOr1*muV@x-H5qa$+YrW><@cWE3!uJQ_0EpFHiG8C-IRz~`y0opA}&>a7jf-2g%
zfXG>KEVR9Wfch!xl_iyzS@ZNUwWOO=wo-PqBTk}vkqgxoGbP9&ac`E*jgE-|ri@vA
zCE?88+m{&auP%km(2Rz0Qj2~rnT56_qB#%XRdij%3(Q<I<ok)SL{hPk?vkdsa@c9%
zuv$aU@N%(P0Pzo5<AXjIuoAkfw;L}T@p0Pe*64TliH!Gxlz67Ox8`BCcg>E@PHn!@
z{7{(;4L6vo8MeOc6QLwS-S5T8`;CCxEsoK&@aN*FIs$3$S+1YEQFVCeAF)w&=59O{
z^*Hk0|6VItE@f-5Cr`t*e5=U#z|HS!i>mWl`pJS`))8qLu^r*GC%EjZ(T$&oiH7TL
zdf|DrDYo9%f^*BHQE#Ydt!+;z%9d^F2QQcIx@1w{5vjxT?1^6kp0ZCL(^mZ%wKp=2
zobZ=`a1tU@MF12W68gZb_2pY4tT3j<7o_=WbC0*#5NvG_&a-AvJ?^-((f6sC**j0S
z!nuLPu~9P+(O;bS&)!j&r>6xcv~SY3++~M9k6ShzK@+Wwpup(F@C748(gp^dm%7CS
zvvbK;I;L`U|0r)9XxnDr;PJVMPJ*rVM)$yaI|n&`^?`4+V%5U8;p~&=)7>X78D%Y+
zUGc*1DILM)uKJ`xOU}YtB)MzNOp^cH_W8MNCX-CI_i=%Z#5!fMe6&2w|ByUiOZ_|%
zzHGimTilfip0u5xy+zVV65F-p?6|T#$Ht0ETwzGc*ukAGX@|(FE9|y~bYE`1?gBB^
zq-`UuJL%Jr)O!3Q-EqcRacv`sL+X$dzMi7rpv=#U-GS{IzVBMTQ7Sh|j+EjW+Vz0s
zlZxx;0M?<9feI&bissRmrL#1%N=89u-x7up#q&0zciy3>u&06rdn}{&i7PA>@au$i
zN=2(Eh^6GcP8{vHgQ$5CZ97)}Pt}W28WggaPv75MT6fS%vR8nl314o+w-wGrBSq%a
zx6EimBxc`{rL^9xMh<!hyQWi#q*i?I=u+@ux%e>NNz8b1xKCSkacL!=u1xBb+8t|n
z%CTeo*AFjv2ThU#zmMiXV&I*5Y~T0v`J0IScsePK4XJw7K1q<Hv?_9h@mTT4qC3*h
z0Y(Sqm)~%_Bid}_T7cy`BVej8C|}!|j(E7#`Qz;toaVKzx6U1nH80);8S&O-Rd-g4
zsfkK6H$LxC28(rM$5%BzW*r!3ExqHjMlHR>)B&DlwrC#5JAt*UeO~Vk^J|k)9(u%E
z@9ni}^7T)TWcsvf7AjpfXm|JO1tSYhbi6Sc3^$6l67#>8UGg!%B37-M`yuuL_A29O
zHaemj`<ellARgoA<%zCjt22r|9D#pZ+We2=Nf);R-V;SIOWEJbo)N?$V+?;Vo4vFg
z(;xRyvokpFa$oj(0SkW=FSjLO!1wnWvFszsY%5#+eY+{MGs_%_nO)+53L&!!guoP%
ztd`>&y@5O7iF<R!QNPD$cZ~{_>eBz>fBpcovUc_hY9eRH5-yqA__6p2NIc6leH^sF
z$LrUj^`VGp&`@idysP?AG)Uj~#~0*d<t<<4B^7lh<3`oFa`VlD*OhBmbn4wV^)}Gm
zmE6(`=u*W!Uihu<_J7Wp?%fU|jnWGydw~1_iU%kkpn8D%0h$MB+w_9zVt#T93JHmb
z2ng^92yzMta6TpE*L1a3w(zuJ;Zl|q5)cv<5Ple+`A^bD;7p%D1XC7N77$bvR}c|b
zReo4Xsv;7K0%FP%3L*+h0*b;yvMkd7uf&XyU&F@5&eNVnNJJogV-55a$&qg2WC~>%
zo^Ct5Ze$AR@jki~?cKH<#;m?z-rba-<J4+w^=Pu<)H;I116fnpF4<=3TuOfwCa1-)
zQB<>GbKw&#P$?AV7NHW)Db-6o@wq7-9*+>EhOj}%b=eTX_df@;{}H#F%IUbh7jA-4
z-)$o+xYSkBdaoRmtqUfQMO@_~ICB+TJ*{BfP~wlcandz_!)NM9Ro4`g6hAE(=%WU>
zyQZ0R;leo09t4wt(To6O49O}LNJc`96Wc!8K5P8=(;xM7iE<(+WBuz1$Mt}dwf>vb
z0vn-zbt6>%y>O#$fB}l>Mb_`bN$V6MamsK0JpIRb2YOWY&A$$jx#~m(BqE$PZ(v45
z_N86h%8v@x=K2E7w8c?;GbH}#C-n?YKobT2J<wNqIeI`?0e&P}V42iABo~f-gjEa|
zUj|`NL2%+DysdSB1U_l#z&gDIX*^2n<$a}|QU(A@&oV%!5ddEW&4bTFT8Jk@R`6rR
zXLjZDL1sjryvP~%3?OI!Qv_oUa2M@f)S47ZtrjL!Pnr@&Jc7C`AaKIVN}?*jE<=l~
zCqI?V-2C6Iq6tnr0rXGI!XsLjZU@lzs~`xTh1wt(Oo0adgzdQc48#|7ryA&|tR!P-
z$q;j_zxb(uLcF(ub8|j;ziJ~psg7`=XqW&Aa;G0lP1Xfm>|Zt|Y|xAQL!Q?jXd+LL
zgI$h(ivXJf9Jm>vmF-~NFll?NNqDhMUL1STB%Ej&HwKPR9Ci%HTPB!!i{7>9DMjAD
z0(~A0jbmFd`P~!1oqQ$AUsC|zkJ|E|vEIKAEcqxCQ=QlI6kZ=vj1^DV{;b*P_sI$J
zBiMyFS08gn<7I#v@C43BnDYc|4Od28U`-K8@UM4=EGj0X-mT;4F_ai&h0U)M%gb7X
z+do{sf}R66mcG?wMf)E;kW@{ezs_1lTa3vSdoUxG7|F5-e6)U;yZ3vMIKmm-0$hp&
z>EBFgvsDG&6UYp<01Km(^l#w0Hb`GlW?(Wv8&CQXLPdVXVob<Du5iqd-5y_pWkL{b
z{0fgz9{dB1TUl^c56?W*t^nRroI=r$fk^EC0>%x(g9YPS!<~JyUyOh8tE8jtJ8(rz
z#QxA@@#%%Bk4wMNHO6`6MnIE(UO>7KMp6J2LD{~t%1q}wSi?&00U)Qsh~N|u8O;v$
zf*lhDCVM<41-w0MvjQe3EZ(%6pCMT%g`vbFSVx=n@2h~%UlA?X<ru6I`YSx%!^`IN
z*ezTgP^|s;V0kMZ6mYy-tk^#cj!n#A<D)A!0kJ%rW33+-@{yYfgVp05m8x^h$_n6O
z!rTx5W^7Kh#ke%mSCvE~<OPD58Lz3pIy367QV7Qu(53#)tn_oOjwEObMI&IBNp@c*
zJ_W?&PzGqdr7*=#M^nxyAQ%c*>*m+9Y`|-}psKWhgHSQ)c<lUEr#rJ!o7g0r%V#xp
z^-eF_z`Dk*C(xM2v>?8k=!=0SY1!n3u0o+-yR)fwKV^`e=U!=RlGWvxX+fB^kxC>c
z7rQUW)J9YPb>K@1?lT#A87{+1rbqrE0y3TFYGZ9imp#ZmAnM|g{(O3~!Nq|x3hyxz
zzsB#^W>@tPQr{+<fl2aG3cz^&6`*(y0#sbH3J`k(A?wfOq$N+Qdv`U?dh|U`*jpyf
z_VIX^u8?Iq%^S0kP+G8&uje*J*e>;Xbbo@O%c*lusQj&YNY<?dT48%OQqHBLfm4sn
z?dG|FbI1O41@X3T$>xU`s3}<G+9S=Ry^cG_GcS3HoxIPwgTMK(UlcLxUUkBwA_AVh
z=9$owvK3FnGJO(Qlr#KtHIlt5Xd~gncK%J_9Mb)jZ3}<U>wU>rINa5kFKxO*X|T_Q
zgBm)RH>n$UZ1Mb?*OoPlz2~kn=)OVR8LWdE4CcN63_fAn<1D>OE$<Nh@dS~N)p6fl
zAqTj*Y5Bg2WS#PIdkwb>L8;DI{~1>oI%Ipdubev!PDbBytDZXM9VS@6be?ajzaoni
zASDe6TNijRDm3ihSHLMxpb=(+AUM)yylY|1eefn$0fI960^A@RQ=CpuQ&5#tQ1_vs
z^zdef2p6b2b{@iK^mjB}uMYJ~2-dN^)~B21biZ%dB|Y5g_@p$?N`~10lOgKkT#&2F
zD|}oVru*g)+pOdOc(~!Ow#c)C{Jt@6D6`G|qcy1#uR7|`>LcR^vFl(R)qUKMTAJ8z
zZhr1cB@>ZbxZADCLQ3(DDPLby!rb=}U22(b;)LGGd=w3HT7P6-ZW!u`t5$}&%F%Of
z3wTyHOR0?k_YK*7GE$W08&0*_kfb`p2VF1b{MbC#<CF8)6^Uz=$Mi-tk)dyOYN4c$
z+LKG{-f4x-mwYSDL8PVpNu6ivO!}CYmCvc7rWN#DyHa)WOhrd|Ph{+6$w6qDbtZML
z<Yay;o|i##k77(-uD)%m2!qKgo1^+)c1i}D*l#-W_x=f#Zkx-JI%T6{3OM`NFpinW
zRyzyVK2An+O3Js+Vs}QiKxAxH;(n)BNc4EdKH-o9!;;Yan;&<|rpcOZB57Y3fk|(^
zLKm<TZy6=)X$z1Q0ny8Eh)3&K8NcEu-mY@NIOWeBxh6UvWK689*q#sF%dc1u3DP2S
zmeFFfuecCD7cMaX#4p@Mg=LgShvr2dcNqra*Hf18^1RvZpaO!dbG0{2l71{c849T*
zeftUG=kJhZ_QJepNk{FRc)ZyqsXKCvt?un)%kLzdq&6x*3sYAnt7kTF37{w*Ze1P{
z&R3Dcnp9Ha9d6yEY(E0=Yqs5eb{{uhDemeujWnJ`Ez0~(D!OQ84TjC)I66&o88<5q
z47-{(e>&x-HfuzFIy#}|HQIPDPQz=mv0caA=@ilB%H3%hAs3`RtH&d)&STtAmii+>
ze|~0(^5{Ac^+AqvIY_F%HxYiDiXHV6B9U|}_*N2=ja^!aEqsGro=r88ry+2^js2d8
zAnlLWF4V$Nhkn!eu%T?YeY3<WhtevEKKb)C`_N;-FVPK1)mR=&QwpnSdZo|4tV2YC
zV$m%ZTOo$ovYQDl{}lf*G?7V4Xc?bRH)N6yde_p{blTABg-z)Qg{lc|#!#5X;#-9?
zuz#Tk4y!#^9Ten_r$EGpST!>huhFjzjfkl>2*$)wI7-`UE{Ssp|MKMiEvM05ME8IH
mXlIsxLsv@&LJv<1cTZn;8(Ts_F#%yw2{A$r4i#-x!v6s@_`8<?

diff --git a/Thesis_Docs/main.tex b/Thesis_Docs/main.tex
index d1b5959..150ba82 100644
--- a/Thesis_Docs/main.tex
+++ b/Thesis_Docs/main.tex
@@ -329,7 +329,7 @@ The structure of the JSON files is defined by a Document Type Definition (DTD),
         "logdate": { "type": "string", "format": "date-time"},
         "url_hostname": { "type": "string"},
         "user": { "type": "string"}},
-      "required": ["logdate", "url_hostname"] }
+      "required": ["logdate", "url-hostname"] }
 \end{lstlisting}
 
 The structured format of the JSON files ensures that each entry is consistent and comprehensive, providing a reliable record of user activities for analysis.
@@ -402,7 +402,7 @@ To ensure consistency and reliability across all generated entries, the structur
         "url_hostname": { "type": "string"},
         "user": { "type": "string"}},
         "Is_A": { "type": "string" },
-      "required": ["logdate", "url_hostname", "Is_A"] }
+      "required": ["logdate", "url-hostname", "Is-A"] }
 \end{lstlisting}
 
 \subsection{Jitter and Beacon Frequency Variations}
@@ -497,7 +497,7 @@ Analyzing the time intervals between URL requests is important for identifying p
     \label{fig:timeintervallog}
 \end{figure}
 
-Figure \ref{fig:timeintervallog} illustrates the distribution of time intervals between URL requests, with the Y-axis displayed on a logarithmic scale. The X-axis represents time intervals in seconds, divided into 65 bins, where each bin corresponds to a one-second interval ranging from 0 to 65 seconds. The use of a logarithmic scale on the Y-axis is particularly useful for visualizing the wide range of request counts. By compressing the scale for higher values and expanding it for lower values, the logarithmic scale enables a clearer and more detailed comparison of the frequency of requests across different time intervals. The visualization reveals a consistent pattern where the number of requests decreases as the time interval between them increases. However, there is a noticeable spike in the number of requests at every 10-second interval, suggesting periodicity in user behavior. This periodicity could be indicative of regular user activities, such as polling mechanisms, automated updates, or recurring checks for new information. These behaviors are common in legitimate network traffic and can help establish a baseline for normal activity. The identification of such periodic patterns is important in network traffic analysis, as it helps differentiate between regular activity and potential malicious behavior. For instance, if a URL exhibits similar periodic patterns but with irregular or unexpected intervals, it could be a sign of beaconing—a technique often used by malware to maintain communication with a command-and-control (C\&C) server. In this case, the analysis could reveal anomalies in the intervals that deviate from expected patterns, potentially indicating a botnet or other malicious activity. By comparing these patterns against known baselines of legitimate traffic, it becomes easier to identify and flag suspicious requests for further investigation.
+Figure \ref{fig:timeintervallog} illustrates the distribution of time intervals between URL requests, with the Y-axis displayed on a logarithmic scale. The X-axis represents time intervals in seconds, divided into 65 bins, where each bin corresponds to a one-second interval ranging from 0 to 65 seconds. The use of a logarithmic scale on the Y-axis is particularly useful for visualizing the wide range of request counts. By compressing the scale for higher values and expanding it for lower values, the logarithmic scale enables a clearer and more detailed comparison of the frequency of requests across different time intervals. The visualization reveals a consistent pattern where the number of requests decreases as the time interval between them increases. However, there is a noticeable spike in the number of requests at every 10-second interval, suggesting periodicity in user behavior. This periodicity could be indicative of regular user activities, such as polling mechanisms, automated updates, or recurring checks for new information. These behaviors are common in legitimate network traffic and can help establish a baseline for normal activity. The identification of such periodic patterns is important in network traffic analysis, as it helps differentiate between regular activity and potential malicious behavior. For instance, if a URL exhibits similar periodic patterns but with irregular or unexpected intervals, it could be a sign of beaconing—a technique often used by malware to maintain communication with a command-and-control (C2) server. In this case, the analysis could reveal anomalies in the intervals that deviate from expected patterns, potentially indicating a botnet or other malicious activity. By comparing these patterns against known baselines of legitimate traffic, it becomes easier to identify and flag suspicious requests for further investigation.
 
 \begin{figure}
     \centering
@@ -506,10 +506,10 @@ Figure \ref{fig:timeintervallog} illustrates the distribution of time intervals
     \label{fig:timeintervallogmin}
 \end{figure}
 
-Figure \ref{fig:timeintervallogmin} extends the analysis of time intervals between URL requests to a larger time scale, with the X-axis each representing a one-minute interval, except for the last bin, which aggregates data from intervals longer than 31 minutes. To avoid losing beaconing data at the edges, each bin spans ±30 seconds; for example, the 1-minute bin represents data from 30 to 90 seconds. The Y-axis remains on a logarithmic scale, ensuring that both high-frequency and low-frequency intervals are visible and can be compared effectively. This use of a logarithmic scale enables the identification of trends across various time scales, making it a powerful tool for understanding patterns in network traffic. Similar to the analysis presented in Figure \ref{fig:timeintervallog}, the visualization reveals a decreasing trend in the number of requests as the time interval between them increases. This suggests that user interactions are typically clustered within shorter time intervals, with longer gaps between requests. However, a notable spike in request frequency appears every 5 minutes, indicating a periodic pattern at a larger time scale. This periodicity is consistent across all URLs in the dataset, suggesting that it represents a common behavior such as scheduled tasks, automated updates, or regular user interactions. These spikes could correspond to routine activities in many systems or applications that are configured to perform tasks at fixed intervals—such as background data synchronization, refresh cycles, or regular system health checks. The observed periodic behavior is particularly significant in the context of detecting malicious beaconing activity. Malicious software, including botnets and malware, often utilizes similar periodic behavior to maintain communication with command-and-control (C\&C) servers, operating at regular intervals. By identifying these regular spikes in request frequency, organizations can establish a baseline for normal network behavior and detect any deviations that might indicate unauthorized or suspicious activities. The consistent periodicity observed across the dataset could thus serve as a key indicator for detecting potential threats and taking proactive security measures. The logarithmic scale is crucial for effectively visualizing the wide range of time intervals and request counts. The logarithmic scale compresses the scale for higher values and expands it for lower values, allowing for a more balanced view of both common and rare events. This enhanced visualization capability enables a clearer understanding of the temporal dynamics of user interactions and supports the identification of periodic patterns, which are important for detecting stealthy beaconing behavior in network traffic. Ultimately, this approach aids in distinguishing between normal and abnormal patterns, enhancing the framework’s ability to identify potential security threats.
+Figure \ref{fig:timeintervallogmin} extends the analysis of time intervals between URL requests to a larger time scale, with the X-axis each representing a one-minute interval, except for the last bin, which aggregates data from intervals longer than 31 minutes. To avoid losing beaconing data at the edges, each bin spans ±30 seconds; for example, the 1-minute bin represents data from 30 to 90 seconds. The Y-axis remains on a logarithmic scale, ensuring that both high-frequency and low-frequency intervals are visible and can be compared effectively. This use of a logarithmic scale enables the identification of trends across various time scales, making it a powerful tool for understanding patterns in network traffic. Similar to the analysis presented in Figure \ref{fig:timeintervallog}, the visualization reveals a decreasing trend in the number of requests as the time interval between them increases. This suggests that user interactions are typically clustered within shorter time intervals, with longer gaps between requests. However, a notable spike in request frequency appears every 5 minutes, indicating a periodic pattern at a larger time scale. This periodicity is consistent across all URLs in the dataset, suggesting that it represents a common behavior such as scheduled tasks, automated updates, or regular user interactions. These spikes could correspond to routine activities in many systems or applications that are configured to perform tasks at fixed intervals—such as background data synchronization, refresh cycles, or regular system health checks. The observed periodic behavior is particularly significant in the context of detecting malicious beaconing activity. Malicious software, including botnets and malware, often utilizes similar periodic behavior to maintain communication with command-and-control (C2) servers, operating at regular intervals. By identifying these regular spikes in request frequency, organizations can establish a baseline for normal network behavior and detect any deviations that might indicate unauthorized or suspicious activities. The consistent periodicity observed across the dataset could thus serve as a key indicator for detecting potential threats and taking proactive security measures. The logarithmic scale is important for effectively visualizing the wide range of time intervals and request counts. The logarithmic scale compresses the scale for higher values and expands it for lower values, allowing for a more balanced view of both common and rare events. This enhanced visualization capability enables a clearer understanding of the temporal dynamics of user interactions and supports the identification of periodic patterns, which are important for detecting stealthy beaconing behavior in network traffic. Ultimately, this approach aids in distinguishing between normal and abnormal patterns, enhancing the framework’s ability to identify potential security threats.
 
 \section{Distribution of Hosts Based on Unique URLs Contacted}
-Understanding the interaction patterns of hosts within the network is essential for identifying key services, detecting anomalies, and optimizing network performance. By analyzing the distribution of hosts based on the number of unique URLs they contacted, insights can be gained into the concentration of network activity and the diversity of services being accessed. This analysis helps highlight the most active hosts and their browsing behaviors, providing valuable information for pinpointing critical network resources, determining high-traffic users, and identifying potential security concerns. For example, an unusually high number of unique URL requests from a single host may indicate an abnormal pattern, which could suggest automated processes or even malicious behavior. By focusing on the number of unique URLs accessed by each host, this section offers a clear understanding of how traffic is distributed across the network and how hosts interact with various services. Additionally, this analysis aids in understanding the level of engagement with different network segments, assisting network administrators in optimizing resource allocation and managing network load during peak times."
+Understanding the interaction patterns of hosts within the network is important for identifying key services, detecting anomalies, and optimizing network performance. By analyzing the distribution of hosts based on the number of unique URLs they contacted, insights can be gained into the concentration of network activity and the diversity of services being accessed. This analysis helps highlight the most active hosts and their browsing behaviors, providing valuable information for pinpointing critical network resources, determining high-traffic users, and identifying potential security concerns. For example, an unusually high number of unique URL requests from a single host may indicate an abnormal pattern, which could suggest automated processes or even malicious behavior. By focusing on the number of unique URLs accessed by each host, this section offers a clear understanding of how traffic is distributed across the network and how hosts interact with various services. Additionally, this analysis aids in understanding the level of engagement with different network segments, assisting network administrators in optimizing resource allocation and managing network load during peak times."
 
 \begin{figure}
     \centering
@@ -518,7 +518,7 @@ Understanding the interaction patterns of hosts within the network is essential
     \label{fig:ip}
 \end{figure}
 
-Figure \ref{fig:ip} illustrates the distribution of hosts (IP addresses) based on the number of unique URLs they contacted. The X-axis represents the number of unique URLs, ranging from 1 to 15, while the Y-axis shows the count of hosts within each category. The visualization highlights that the majority of hosts interact with only a small number of unique URLs. Specifically, approximately 17,500 hosts contacted exactly two unique URLs, while around 15,000 hosts interacted with only one unique URL. As the number of unique URLs increases, the number of hosts decreases significantly, although there are still many hosts contacting more than a few URLs. This pattern suggests that network activity is highly concentrated around a small set of destinations, with most hosts accessing only a limited range of resources. For example, hosts that contact only one or two unique URLs are likely interacting with essential services such as internal tools, authentication servers, or frequently accessed websites. In contrast, hosts contacting a larger number of unique URLs may represent more diverse or specialized activities, such as administrators, developers, or automated systems performing a variety of tasks across the network. This distribution of host behavior emphasizes the importance of leveraging whitelists to filter out known legitimate traffic, ensuring that analysis can focus on detecting potentially suspicious activities. The concentration of network traffic on a limited set of URLs also carries significant implications for network monitoring and security. By identifying the most frequently accessed URLs, organizations can prioritize security measures for resources that are most likely to be targeted by malicious actors. URLs that experience high traffic are often the focal points of cyberattacks, such as phishing schemes, malware distribution, or command-and-control (C\&C) communication. By directing attention to these critical resources, organizations can enhance their ability to detect and mitigate emerging threats. Additionally, monitoring the distribution of hosts based on the number of unique URLs they access can help identify anomalous behavior. For instance, a host that unexpectedly begins contacting a large number of unique URLs could indicate suspicious activity, such as a compromised device engaged in reconnaissance or data exfiltration. Establishing a baseline for normal host behavior allows organizations to more effectively identify deviations that may require further investigation, enhancing overall network security.
+Figure \ref{fig:ip} illustrates the distribution of hosts (IP addresses) based on the number of unique URLs they contacted. The X-axis represents the number of unique URLs, ranging from 1 to 15, while the Y-axis shows the count of hosts within each category. The visualization highlights that the majority of hosts interact with only a small number of unique URLs. Specifically, approximately 17,500 hosts contacted exactly two unique URLs, while around 15,000 hosts interacted with only one unique URL. As the number of unique URLs increases, the number of hosts decreases significantly, although there are still many hosts contacting more than a few URLs. This pattern suggests that network activity is highly concentrated around a small set of destinations, with most hosts accessing only a limited range of resources. For example, hosts that contact only one or two unique URLs are likely interacting with essential services such as internal tools, authentication servers, or frequently accessed websites. In contrast, hosts contacting a larger number of unique URLs may represent more diverse or specialized activities, such as administrators, developers, or automated systems performing a variety of tasks across the network. This distribution of host behavior emphasizes the importance of leveraging whitelists to filter out known legitimate traffic, ensuring that analysis can focus on detecting potentially suspicious activities. The concentration of network traffic on a limited set of URLs also carries significant implications for network monitoring and security. By identifying the most frequently accessed URLs, organizations can prioritize security measures for resources that are most likely to be targeted by malicious actors. URLs that experience high traffic are often the focal points of cyberattacks, such as phishing schemes, malware distribution, or command-and-control (C2) communication. By directing attention to these critical resources, organizations can enhance their ability to detect and mitigate emerging threats. Additionally, monitoring the distribution of hosts based on the number of unique URLs they access can help identify anomalous behavior. For instance, a host that unexpectedly begins contacting a large number of unique URLs could indicate suspicious activity, such as a compromised device engaged in reconnaissance or data exfiltration. Establishing a baseline for normal host behavior allows organizations to more effectively identify deviations that may require further investigation, enhancing overall network security.
 
 \textbf{Analysis of URL Connections}
 
@@ -529,7 +529,7 @@ After checking the URLs that were reached by these hosts, several conclusions ca
     Some URLs, such as \url{ocsp.digicert.com}, \url{ocsp.globalsign.com}, \url{crl.globalsign.com}, and \url{ctldl.windowsupdate.com}, are associated with certificate status checking and other security validations. These connections highlight that the hosts are actively performing routine checks to ensure the validity of digital certificates. This activity is indicative of a continuous effort to maintain secure communication channels, verify certificate integrity, and prevent man-in-the-middle (MITM) attacks. The inclusion of URLs related to certificate revocation and status checking suggests a heightened emphasis on maintaining secure connections in the network environment.
     
     \item \textbf{Operating System and Application Updates:} \\
-    Several URLs, including \url{update.googleapis.com}, \url{www.msftconnecttest.com}, and \url{tldl.windowsupdate.com}, are indicative of hosts checking for operating system or application updates. These domains are typically associated with automated update mechanisms, where endpoints periodically reach out to ensure that their software and security patches are up to date. This also includes connectivity tests to verify network accessibility and ensure systems are functioning properly. These connections are crucial for maintaining the integrity and functionality of the hosts, keeping them secure and performing optimally through regular updates.
+    Several URLs, including \url{update.googleapis.com}, \url{www.msftconnecttest.com}, and \url{tldl.windowsupdate.com}, are indicative of hosts checking for operating system or application updates. These domains are typically associated with automated update mechanisms, where endpoints periodically reach out to ensure that their software and security patches are up to date. This also includes connectivity tests to verify network accessibility and ensure systems are functioning properly. These connections are important for maintaining the integrity and functionality of the hosts, keeping them secure and performing optimally through regular updates.
     
     \item \textbf{Enterprise and Cloud Services:} \\
     Domains such as \url{saml.allianz.com}, \url{www.allianz.de}, \url{autodiscover.allianz.de}, \url{service-now.com}, and \url{workspace.citrix} point to hosts interacting with enterprise-level services commonly found in corporate environments. These include services for Single Sign-On (SSO), IT service management, and remote workspace access. The connection to platforms like Citrix suggests that users are accessing virtual desktop environments or cloud-based services, enabling flexible work arrangements. Additionally, integration with platforms like ServiceNow highlights that these hosts may be involved in internal IT service management and troubleshooting, which is a critical component of organizational operations, particularly in large enterprises with complex infrastructures.
-- 
GitLab