From 4205e9543d8817d6d8ddd9b570b057b16908c90b Mon Sep 17 00:00:00 2001 From: Aida Nikkhah Nasab <aida.nikkhah-nasab@stud.th-deg.de> Date: Mon, 3 Mar 2025 22:08:44 +0100 Subject: [PATCH] update Mastersthesis.pdf and main.tex for content clarity and consistency --- .../Nikkhah_Nasab-Aida-Mastersthesis.pdf | Bin 1919714 -> 1919734 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 118fa2583762296419ec8e0cf8c4f55921008ad6..71dfbb342aa4d45dff1f56a06c2fdd2810906086 100644 GIT binary patch delta 17752 zcmagFQ*@wB(={C1wr$(C?POvb6I`)vo0DW>JDG6eOl;fscmL~s&i{kmN4>i1pjOwe zUAy<vJf6}#0z*MV!9u}9AwnTTp+ccUVM1X;;X>g<5ke6|kwTF}Q9@Be(VEd+C&4&) zGlK33XaODhgmo^I-ec_-8t{hV=MuroR+pT7tT8ajxyvB>IV^l#cS&19?AP18-Na;j z`pp9qYaW8+As;_>_xiQE;6-Mq;Ogto{T#1#20h830t?m7pBuIF^U5V=X=y>khy7LB zz|Ym6DNsSryUzBnL0;K5q+O5334L++J?kTfbO6E!8;$q|rH;ei26IXxmv?lrO64Pz zkkMj&$&nxuS=~`~)Y9}xIQrbU$5l@ad_vow9hR>epNbs=NqWf&-^9do#j8c};i-&L zNv{UugU#*Q`;~WasHo?6J_Pb>$GqXKeZI$lw={DvLH-?D>W!xF1MoJG1}$#a6>e|s zZa^L9-9~Lb&-$4R!leP5(9UMu&I*&;3ibXE2C6qbQ*PC$FDB|HJO$BoVOp72V}<M% zXHCweN+B-C_H#+y??)@bu`u0TLL8aF1i=`slY2hKo;DWsQukpN`dy5THav`4>vq-T zqfiUF%^0~htG(iYF~T+z4@MQtW^^SDG=P96A6k(~5_OYBF=cw2Q&C`unq`tb8)3!x zUOJbO9r&XQhg$xp7aXv3vE7@M>)E3=__<GQK;0?#B+U^4vF<8aTvMW})i>E4NFcCz zIvB`D&$6Q6pJOI%`gBlxqB0;r`Hd4SlqNtBw~9X*g6#^TR2a=%LpZk3FV_to0l=`z zjcHxYP;k@CT}Dxa$ZgKf+S{duijF?Io8p}3YaV55RX{FOyFo847n?D@34_(F+{c&r z8wfxZ-IIaO;7h91SZ164K3w9CPN|8roCJ|fo(w0LW^>8p3a3>x7KLKlF;xaZ*?~T; z^^|=k_l+LRe9lz12@EuE{XLdB2H<tB^<yS7*I@6DvwZ2#n&q&M4c364vPc%_<hxL! z@%u(?yj$%UdQdUpgu05qY8S%I5>N%?_Adw99#!}_s;(l#W(enFZX`eb6z1NbhaoHr zP@zB<bE`Pu6et@=O^O}~4G@`}MV8_gGU7T_^dq~cU?ECU+t>xJxxUOB0prhllfqf% z1$PdW6KYisys@kkM?~0wq@4Cs>6{#y?T!tOk_aEZUds^_0SW3Y(p-rxQ|p!$nyIH; zoY4jiQ94yTyeG+d@(NZ>5Ey75o;WFavHE=-Ov+j}ZBQS^Q~FeU#kF0KWM`bVa>^c( zu9)a{2<0ag^!&T}RH{4-U<XqLwy7od=+@N(9?rVHw6!(0t2%LYymgpDFpktr!Q;>% z`UB%4=Uvvu5YNa;#$d7sRVo1Yki{bOn)EteL6@_&IBYVMe2Nu5AlG==u#SeLh?Kjk z6FdLj2GpZY+<0usTVjp_^dY$|W{?vhY`H1r5G39KgXVCFoM8S67%8BM!6zCCh|Ell z6+Bmf7!&p1{DG2Zaw657PJx&fLZgQCQc8eQ$Z7&@h;!&v0@bb)GdV}N7i*IahW^3w zETBs$r3^C3*y78Ami{+>)Duiiz$l<+c%n+7yNnHV*y%*}QlOp@Tut1|tjQBLCtbgO zDujM9ihBvGaM8IL;8NSS<PAz8xX}ImyupCsdLmitS>+Y#&b3Zu!dGVDB)Y``{zKW` zmRNWEcj#}?dve7jnLW)O7RdDWN!Kt>HL6R-<uyiK4$xHJrOVgk9_1fDuqDgv3jUVi zL`LJf2Eydjvd{5?YH;#WHo71hvo%yAmKWOX;~;Zf9J7x%0~ZQVQPHwld7(e;^$GEw zB`SA)npSdSpO=5*q0bwO!7`BDfKWUP_5WmlBkK0q`7|vYojb~}@+n(&B#r`6K6ZbW zYJKD`o_hjg+2_cCM!;bX|0-BB&cwr?P7Q|kiNu6s;A~YK3#Cb?;QHMYhkdYwRsbW> zMa5Rui@~E`4m^kv*;AI%9{Cd-%xX#p9lMKY?FvHLfM^9NpQOx2#9LC(sdkk~jgoM~ zLP#TvaZ-doV^~K-7g?zuajB@@@a?PK0d$0wu-H%yJlVg9@Oa~<(nwX#-A0it-*FIy zUsHHS&Pc+ck-6S><82ILWr=f~jg2Df_O>`*4j2<hfYN^6Uo1z(3d~RfwQO<T>Fei_ z0Bs6e#DgxY=)F72^g12{MoVpYU~I=KX`5{96p~_)`jL<F6#nms<(gS=f#KOjS^K}| z!B^$Wj<lCU1Pp3!;Tj4vlLD>@5<5K7q{~0I$_mJ$Qmpl}BT8C)@pEmGJ*<4CtXwLZ z@Qou-0fA^BG^-H@)pqWRU$(qC5bH?(2A@fzu&}hke}@G-Qdb|5JY#{vOfKIa1t<^q z{E0O6lnK3peKGhRa#C~PFeqe9mTtF*>yOvqG;)MQUU5{OA*IC6S#CTc7U*{y)z;d< z-HyCnCAw!TVZMp{JENPCbD_G}lvymhZK+KJ@cIy(^>2$ucbfgzJic|Z+;}>0*PrDN z^C<vK`N4YwESLNms!*@9*+8?2IWd2f8#amtd7v}o*=1V)quW5bUbvB_c4K*qdw*Q) zub_K+2He1sMYB<ByvLRFWEv!FRI>PTYlyXfwl8Q)s7U>CreOFl_H&ixKPJnuV6+Tq zxu%+NLVkx8tY3h=-_&%3j9N$D&wqGy$ljeYW`@QLUK4MBK&NapkY(I1Afsof{X@qB z<KfO|SOlj5TK+5E`|YT`Gj%trP$PP(%63i*><eA!5U`0HC=gi$)>#g$)e+=!S1tkm zzjP#f^fn_9T^q*8scwI!ju{xYq6-jVKH4=qF#5dCOC4=RA}SP>Mw4jua>k@eK| zd<bD#70mPczM20dg$29T_pjBc%{F@Kba?vqdmEww#{Gexv3DKqEcZhUYlLLG5u=f% zhKJ8862I&wzfd5nmao{aTZMoAD)FhaYrzhBMlCP8F>*JaA8ZLRbg0Ew38H-$Kcaob zm!F@~#V#~(%VKO3v|nz_c609>X1-YJ(Hhw%-qY|#_QG<LiU&7BVe&vpD)_^D`sGKx zt9tSXl(E4@n5ltlDqWymR%sf~%Qmax7ynfsuJM;o6*GDVy*@rsk|5nxvs%6Xhc|jv zc`z({9(AX7R!oq#uC{$5ACe9;1cNluO<X2)x<vx|2c_p<Mly_*hiM$!$H4GYR(kBO zd}OKR&g8tS>vsxiudv;@CW1~MM;8?xJJOOK0NHh~fxFqc0gV<v8+l6CBdz8B0*WBY z?io}b&Aa?Md@u`{Y}EJ<70iFxH0c?^@)!mqtJb{%5#(!d0NMc2{OZy?)CWEL5%5yd zJv&#hKK)yhi#k9m>zqL6b;lP6uKOp}01M0*F>Ypa26nlAiaCL_OuKETH)Mly>fli@ zz#5TLWAB}b8I$G@MSnNQPKnGI-<7Y8UDAW%+KpV|KpsEs!07Sg9%}DOn^TVnon%ZW zAb+Zadvc+6KTxlk(}Iqwm2~9kpS-Vb4nKKa4~W7`;6GnKKQgHCVp$Si3-&Pj>NrgL zJMy8JF}LKX(yV!z3W*^|FsSAW3eeXYz;dXp)R2Mt`CxXPhY^caEQjLd(~%>aWfJWg zy{R?rjG}zxe70=`^p&)3S+488goO%bAgtILIwn@+&qtF+pgi74BJ)UiT<0Jvgl`l~ zk1+RQ-V>OPu8jDXcK#ruo$~6we18EVKehw-v-pkVttp(TCg{g(Vof~xow?i?;91yD zHi)pn*yiSphdRap2ElzZ5@QQBk)k>V#u6yUWBtL{!z$c@iP?8YkY9@@E;HnN@##}) zebYI%5%pX{^AsJRCh&AJ$o>__0cz=HK_d0#Seccz$TH-?zA<jRdC~uefAjSGx7A9O zRj{4TDJFks(+xywl`Z*f1=l1a(1c!|jW%SPDv}{<d1$D`5M%%AP*&SM8-mqI+&3AF zhhI0I0F=TOnn4x!=}@#ZAa!Kc86p5BGEEv3@2n_z{;D3!`3GceeVAG(0y}7Osbnlc z3<wCCU|p_LW@8JPnB3Q76Kv_y1o*g^zy+`99yH2fA|rHfP%VKxd!pt(Fy_E~s3@-G zwix##+Fxf`(4SOQ*_o7m+Ta*Ug#_(d$sJxyuvr0fO80N$9E#Uu%t`RJZic5sP;`bo z5e8+uHYfIuFFV{6Mkpw>=?-TtmnTj86^Np`fl)XdrW9O%!vk!n0qC&5BC_B_W-e$J zW>`pNHAnbCao;Z@w8joUfC7YP8($Y459T*%zog7>g^ny)2M;Px)t?laB|JXh2guaC zMqFUu&S|Yb$*@P6TExPiWb_*8D+V4U{IAU81Q+0wySA;7i+p2Ox3zxnLh|(o|6KT} zTc;8mNZ?SP9>_Jy?!ypRVVLh${j7waen(0qMPX3q<aThHHEDOz0^&&t-*53OOUMaL z<Fvur&+xqlq*<S;+s8E(vKi;o@e*{}+o^p)zA>Q2nh?M@rah~mf6jNO1i1lH1Z@8* z+{P5<K#>F6=)ON1M4BKubR3ny4Gflp#3^5I8!#sQ$ir*8zKotjE>XzG{ACL)6;7gI z`ZvAaIO@v>#Tq~70euK4V<Mr;BKi-0%kJkk!H4<Tb`gu8Yt&oE#xBZyG0Ox$AoTzI zIPyQY(QHCPdDvN-EB2O=H<sebo^%5(@AT=CGRe4L>C$<aOA5oGimR;^7>bG6GHqRO zIQ0#Aj%}$b>X-^<$lm7&V$E-(iPG(5h^jYLWhjJSQwcEQ1X#1Ss=S`Kbe^~5kG?6r zV1H!P6?1IB?jFmc-KkSW?^4c$Vdkp`$b2LEL5AWVlrnI8v;54&MJzYoNqqck_h|qp zE{yi!G(c^Y>3P;D-L98M8`tIOMr0|7l?cVY`V#gA<z>-oY}dtSO&MTRl~EcKVS02t z>i3!+$^x_H4=5g)G_43yeHYvJgt31&yN)ghA#^M85iX^p4$RG{Q6IVKYo1%8nJdhc zQWSD?h9ix}a;EbW-spNP$E)pQy1!rR?UMYNL*C20MENA*|9IRIX@BMl+;>N%R+(T? zYOO^H3rLQ)e39hzuA74(iPFP5kttd&sh~!o^fxNp0_N$uo0z&S+3A%WHmox~Sf9s5 z`Z`+2F=4b!OQds-ZxGlG^q!(AHgnNo5=?HG6-|N_H?`140x&ALV3GF=Y&(dhub4Yo zQ2`#m`cER_`{BJyH0h(K?>wLEH&IuEk6KcYizy163M}AA4tJ|O4>+OqpJaGz1+QbC zjDWxaNHUGWr%5@~=GL_ggmbSI=ycHyjV<ODaOxbeH9xn+$8{$c5jb@2si=l>@SAC` z4meLv#ILIvCb&O@zquiX1_m@~MWMK;zO$_EPQSjTilNv4g^Hf|>q}B4_Cm|nN5DCm zkZ`fz;=Jk#Q5D<$4ROA@#S|GJYyJJ=a8qCa@G0DEXUp`C(Ic+>#3DUq9t+31Nq|g- z?}6ivVTa=4Mk(y%3|CM0F!b(T8Zja8Fa0(tR3@-xx;g>gln{fIdp1jYM5HiJBAOx7 z@l-I13v5*9t*X?q5|ubVkF%$;uTBl2G;WGM?>IrzL`LHhDOqvo=7-Oq{<O0+silPB zX#n@iAF!r-lL_L_5jO1|ujdO9-(dL>VZ#4MR=76NF~M1RdH%;%bmiR+xR83^wNH}u zJT&!&Du~q6hDvRFvNSG9b+_4go&PoFtU8V_sI9x)9b=R9FO^s<UzI+YHOQhs+`fR! zlKIF;+$G=-Y+qkHZf)Xa$s}nOCy#IX7sDq-{gR0;o(ydq-(-5FoMP`;)gzrR$ocZa zd7IMGP3rWN4nYR+Uluxt<geeS>b!)FUYPr?9UX)O?W^h1R@qi<v#Qh<Obb#m*qN>! zJ$N@YA@xN63BQ?IE73^j2cT)$m&*C#j6IKmw`wiaj#&EWj`S3yCL=m{j9zUZaa>*9 z+AUCf-8tSE$}i;i4dp-kZP}N};A?wbZvR|k%QaXh_TL7KJrTcF9#$=@CDQ`z--}$j zPHA}^R*UP$(}&mP@^sac5~Y#h=6d}>?k36|3$Lju|6G&EBwbk#wuvI69SS{c??pK? z8sx~z{gM8zx03Q-V2jui4n+0+auG=$g8#JLINb@!-jyER4#D61SMN31v5Ike?M}$r zH%1PJPw^XoMk81(mUu(uOp2*oq5EVs;JpdA*<PqAD-dirStB%3J4}8aNUn}(;zxNL zL>nVw6pfL77IQP%D{REh2A+n9CJ6{eC;gQ4bD|pCz2i}Mld7_Sv@BW&ibgvko#1;T zninQ}f5WkwW=NYja^$+GV%t0Hmpcc=x79~P#VJ66I5oLqbfo2gL*y*d@d}D%ZrQi- z&#SWwWu_Fqki$eXZW?$KN?OqBACP90JlJq^(3@<`_a;fGL4<S*?-93PtLA1C>>V;6 zGgtf8zzE1n6e0Vx2@31`YSzQe(JDRB$oW!Xa-yACsQT9<&B7!(%f&I&B&rwI8=g3U z-dw<t-y7jD9DBTz1;&Mg12kpFs$S><gqo^)(4fC!=4&Sc`zW?EwDMuV`#?iAu}U40 zuqqW?NkTg~$#}!Z7IvoH*lTq3-q{6*;xq&eEvvewzVIigRaK<|lBLG?_O)a0hRkfV zjCpbFbZKQW!L0ByUsVEk-v?bXAw%%JxfF0b?nWX=wboC`VvjW5=NM4j&8htohP$y$ zqeSTj|2xbh>u`_?GPJf=qE#=(9#6_wj<nY_z>_L$DwZ?Jc9Y#55|)cN=})vk%83jr zq(nLVgK;L8!~^Ie!-6=p((PnW6#876iA)DFDApjI?^th{&1(gsl3br(*F9&Ur!pWs zkoJ)@$uMd^%AatxePF|~#R(41eas0<Gyg*jWY+xc*dP64=Fx88dQ9~R1e2m0Ck*?1 zFy>#RFz?6;XhK3_*a|$We%Nf4;or<XWzpb>d(bN|QPeQ<48fhnS2?qQvTsn8i8|2K zb#;jj=Hv2ORs+m5df|^-y3kZI`g_2l3T&N7*`ygYOEYP!t`Rx0$gBs<-0dX-Q|_gb zj1g9VXvmlbR!3E&nYw~J-Pr**5O0O|P8-e5^5Rt#h6CZ#p6?fglDxr8eXz>us3|D- zl}bUwQYPp$*nporEd3sirZzg5^!b%3;t5U<h!|b_kQSz{ZhBp&BP6~8Bn?1TQq>DT z85lw9DuOi?djJQb#fRRZP(#O#2>s0o5<6+0HST?a2Qm#J4?dR422$t)-@L<@mhLvI z<`lBzFp7m#H7N=besdK0U{AtL4{hX;m6i-)2kxSYFY)BEFJ}+2{j(45&L?ZN8wM7^ z<wJ8wH|>y$H7rPfz3swN79T+Gnwp92c1;=I7<mvwvKdHjx_BUrG)}G3VK19(`lVBv z|Ejt}f-RGLK3v71S^Bb@u&7>dTD>*x4AuCH?r6GrIZslCU)JRwqQSAVlRWhrJlYvE z8fmEGVCA;e4r^$#Ma&N6^KffXN2Vu>1ms|ch!+kCGA0?G`+0V=qZM%6>dR7qvnJ0R zIL|8m$(d4^?cM@|t(XTN_g`gLiB}a>|GS11HI$87)mfa+VR~anjDih?SZaWYdH*Nd zi0#@+jmg$eho*uOjK5#!rutib;5%Gv-4VvIq9yAbi&~~l&+Z?i(t+FN-aoN6p2NND zZYtum7<=)h%SzPhhF+j!Z)HY8-=VIKpZ0ky7Bry9948w*A`vrYq89~_JUm>k{3u{m zxHS#U&SP;osKV1j>u#YDMStAw-uIC%=tv5TjN?$VZcyoJj|SN|-pg)Ye&|#DnNij& zJ_UD)89G9$p_fk2girt5FMtTlq_PEKQST*rL^Hi?l+vPZ2nIL;i}a9wBMrH|NsOOn zaWS(LIDz(fGtC_TF~II=aOq=o=Lco4|46qafN2C~Ogspl8hMSvk_iI&(J4?m6*<Iu zV_^szFpXkq-Xu{m&J?L+xpj9W?I>a5x1EOtrsxO$=!?kdwDcAD7j3>%)UOx0rH~GT zf>CB><il&G$PQ30`fCCbg+V~h+pz6`;C*G~7e2=pflh&B&xds&SX&5p@;3s4?H|>& z8TxWwmOBx-2xQ*;^mY9=I5evTW)~a<(Z~>U<?VqNBC)f5cuHNCOZ|Da-uv6ZtHv6Z zeQ{Y7Wgm6wy@z)b4kh>UAX8KGQg9Lp1Y$D75H3{LJuSf1(7wBu^AFDU=7Xn&uv0U^ zn62e@INVm-(0S=kST!7EJm}()SduL(MUvycd`Rl}erWjPe5R1@*#wu*jjO^0+*vJ` zxPLHqMG1)3vT)727S@MY+K&&K@WL)D4KaK|oj-NlRi={YYSsNvZ21A3rnLs#gugo+ zAC;P24W7WBm^V_<ttLa;-1kk8%PG)KKt{aO=|g;TfPbar7H<5)l+Qc0sLvuXxRtk4 zzLWR~5)SKBZb2h7)Wj{E8_fTza+UiM=6Q)`@=Q{S0<kCdo1Y&oaRgFmqq*y9h08zi zY_NPA+QnDz&`e2%SD}P<Vo!XUr5ZQVlEFXdV1rV~s2klJXHVWVGPDJlr+}Jpw<~;S z9exS5e4t}(7XJo?^Z#YtR(gn@0Sm^;{(qdMOlLdcpcOG-yKj(Ll2c@qdi-f+TK_89 z4iCdRnn@3%L&)0US|<unu=lw>>O-cTC-NORDWXAYOQ(?|t4bj5pbv2)2@w{S{ptk* zem=8m1tps@xnT<QL8%f%&?$y+Oo>&c>~tUmU{$aP5uno!dwDXHyEOZI@tjG(Eu;Y) zFSA~f?5|<p0^jWh&flM3ud)LoP;@ePEOWYvrF05AXT|<+m$b3-2FZiACmE@e_bl-} zB-5HS`#zVO#(J2L+mFgX1n`VK-A4G@xql{f?VnoLQxGSoQMs3z`)xh5;5;TFnV&EA zI0ZbizO0^q?yq%py0-EVkYh$YrvbDqwme@TrcGroi!%2!ON$(D$GZ@sgh<k9k=2*e zG;zZTPbpfeoQc!M)#7wpvxSx)=#lPBJ7jwAt{lb;1!oSuF9kmqdDDyObcp}xW>%{^ zYp7=a;q^JQKcA5eyEKs0>dqRu7KqYD5~B;q`SrWr+@H=!L^*oGKR=^7o(s4cyzrvi zFzIY)Arjttfbpwy7|LkGrgkyxmKoN0-nlxS!)Ls{sC`vb@U^MQk;{LodoWy*_Py#) zaDLtl-Y1AT!N|89Gw!AixxCe%r$3WMcBh*hv-7Zk##1}_gq`M-|FWCYD9=sveQOnz z#-#pgc>7(@ISAcIaVtZ;n*e|zSj)WW;Yzn3kUO-kG+@^RxMqxpp(HY(|3`iIMIoTM zcB0}rN9iYqsTmIu9~v+$7K4YJJ4P9PwXgB$?PE)rE_fa9L-A7>lbV()Zj}Wb_*)#V z2%2H3(AX{zJbzgKx-u}m;AXbZb`uuCYvCBicvaJYG0fE~r`H!FTLH8u7?5K-iTl@} zb4*XCEfZC;-yGtNqLn*Fqdk_zlVcb+w)_Q7MTSi=hOjH4HlpuTEKk2>8=f(sj?XA2 zOJb)#OIw0*ssu2v`vgmqUbsiJKh6t5=(dTJlDvf|_J)uvU5nd0e%-&68)oujfvRRs zb84e$89E5axHOKtVE`L~)I|2tW_St%>&7p3UB$#Oa3G9+X?f7xI53k<cT*c^;FPIL z-Ebx6ku^pC&1llMN*fG4K=uVL_IYtCuVw#nq?nEc!CXiSM|hU<iW5lHf(G^jgNV6K zGF#q`#kb4~^Vjxm1C00MP{v8=V1!Q;Ag5I5u(P2O-Sc?T?tl=Hq}&(iKMci40yoyU z#q&SMJx}1ov9o?zQqp`mqcEsH<UT~8t;}dC!NHc)?<R-54@}mgIp24+(ZCX(d}o@= zB4tMY1eZA29~LksM`d=-XRzux(CX7|h$R1RBR?NdPtE6frP21SD|b_LQ_qfRa#F~v z55k}uJ1#Hni~{r$`S{bpj=EicSlUiQj8<MTU~to5jPfX3w(q>P|2_)MXLeg_bMu(W z9AK?%J;)<6XGWZ1C|&CC+*h;o?d{9QT#KRIU<wk~j6rj5u{}<;kzs>oiVAy%mRMhd z4@N||DPpIzWhoPNqcQVt<pziH>>W~_er;L>`Hn0Zq5>?pxFgIm8nh`j#3B(6VFewe zKElB}@u6fs|J-%|sKV4hv$%qV$YAI>@Ufljuc)Et=-of1*lO~eYh%v+!}F+LG=b8c z<4SGEZ)+#;;z6)~8dev`a^wn9g304fQ2RqU6qIiE64%&*cZ9}Qh8ZKfxK&>3PBC1_ zM5x7$6AgG+H^|%1`s*2@3=yGSZJt(QjzbYI$zTin4|$^kPI->!krKU^eq%Nrz1|d@ z^LK&wen^*Vkg>xS!#vtAm$UtwDFn}5m&~DQ!}Tn%8_Xi-SNjJZ?c@#%TbdM#AC2uE z>b6Q%(0K3UPNX`#7ci9-Y8z?e`aVPBc;J;1BB6k5xW$$o2%cBXHU~akL>$uWk*)Fj z!=%ng9LKXyplz#R1I*>{BGF&~Wn9GDFG*9TBgo1n-5Ddk#kPsMD>>>jx6}XRL3z@+ zy$G>rk?492r3_1-L2KFY$bLBgPm>uz7p?+#V`tHSTED4WPyTBd579!8-6m!zLDD*S z<NAR45rLzdAK9m4+?RSOEi64r9Mienzno--v9&O^iSpM1VVuD%KH0pVBp2~Dq<W7K z42Mp<U6=bsq>Oo0U&8UJ{I16w2))4__BUvl1Qoc3QqPgONQLY;-Dr_|=kJRq4E;Xf zt&vp1b=X^Vy$sv<j~wA)-uKe6z`UMCsIr0X;5FVJla@jZVJ0DmfZGR$+<*8tKWHqs zO{)4H=>n95_P|W0)W~T{>V7I@aD15$2_`9_8&f#<0YQ=>xDFocF}Pkp-_OvjJ)ME) z3VM>wgpQrljwq0?BDS+dLVw;I4Y?_1$2BwQ+HB(%n*h_+jHWkWEGG>1N)8ok>m7L3 zwRLT^y;V*6`;%#8kV8VTdk;`fdo_$9Yl=|f6ta+qhkENeM8?LlTxBHN*dKP&DB;<! z_RTJLBNwqV=aE@vBpz!BUKlK2ifxt~hQflUfp5)3-glg?dwGI2@7wsw4w;Wn*mi!q z+NL%00c)EF`Sst_IdUT=#qjXDpa3cWno7k&IAZ?^y>0&qLr?{jBclP4kRC`Bb{Zl< z8TJC;q;M3F)?a4ys-o6b_18gHvEheDU{W+bpE$v^3E4ImT&}$mz}ZkqG7!}KPn#Ax z&?G>v3(-sa&`9}^)RN0>crlV6$X^RN|5AeZ>tDpe<JEN=A-<n&f6GV<=KZ}AMv^gt zGitVg&`syY*!1v-VFPdMrU584En^4ymgdtqABv<m%$zb+J7_B2xAI$f^F8HIFb!*$ zW3tgDcv}ib&DU<4P|CQ}*=*b{)IyercG*t)hFrbix8WKj$1N6zSMb9(hBj@!n`Yz- zC)RwtBKYk;PAS1kusG}1AgazP-0J+F;1>vNT;VJn&E4ExEleHYEZUT1FjHW`xp;X0 zkEZ15%BSGBq4u6@*Sn9`H<lialO`lzDCSNK9NH(#N%ESElSa)uTZ#uJpBNX^5obd4 zp05biL!Cg)#szTW%pf&+KUHuy1PBZC_&jG)H&GZl?kTeQuFWKyH^s)7X{DcA<YF~d zY+h`u@)~2f5cq#zTJ+MCoY^aD?r-`fVF51Y*?9=PO^&`U)2(qi-^ZuSgh@C4&zTNV zsop&L=HqOJR$?dW*;MIB(|0HCRXv70#yw*nF;$n--nq>88TWpKEq`WPT|1?pEa!R! z;Z3aa+NO5RHc^QMaiAR>eCGsb?j_Nr(^gv*+stRI3e45Cq0cYJU!t!#^&v)5>;c^a zd{Y6K@YmJVOTVPr=&^#S3JxXj^q5kZjpijyHx$EZ?CP3GAp^)>2jv;9%)-Yn9oP*Y zvkF_JuM>#HE6Dqo7m7e-7gY8IOxBxi`9=G>7(-vS)}*v@*2hKNh%i`Vaw21qf0@{G z@4UZ1Zj-278GajiNYBB+z(M<vu>#6+dMW?i&s#q5Wv{f@9ow6XGgENL(j=${7C_3C z#~`pa#A?!((KL{RpzV1ViFxbi(u+z74lM+Qt%AO(nP1oYSS-;vxrx1CkNb=2EP;Ux z-M+20fF3srwYkvMYWW)Q%RbH-W0cnVymCn!)J@MRmKo0;Q0&yDk}W1`0u<7tyb;eM zk=`Q7$Ai-jyaY$>=Ry2izGzB__0x<zu=-Q#ui_ngx=hV4wEoC+Gic>(l|=5?hL{o* z<W-FGsr3y;`a@Z7pZP%_x4u`4w1JlgbvLl;pB}}aH~fgg0X0dWLh-d{w))Er`eKtm zGPlZsr1TR_APe`8M0ztqH-NT|?nyVVfYvC+Rmx6}08*4wI=5mH<njb^p23>bD1R%| zxMq&dWo8Jl3Pyh@L~)W^pb93sY~>pLslc(sPbXtVMZ%0?EWaXig!@asFY^K^J>D5B zF?L29sYRiu=T2;a6HSt0zKH9Rar|X15QiqgC%7pVrLRRc<w#D%2xzX%`87o54O5v( zVhjXWuYb*tJzn=H?>U08pKKtqr%R@*8TfY8Lt2O`;zUxhq9_jqA~ZkQQ?D!<bq6|# z!!?J7and=@qksZj<X9BCrAbMrMUDllXqib{B`a-K>Oq1VK+h@H!pe3#`Mfpj!=Pd# zLkwamMZ_Onrs|PiAR42KZip<Il+fYe-i#)^k;7W9l_4|@ABz|fiYVKD&y>X8V}?gP z*{tY>xSOcP+-CdL96v4JobN`@a#)9KU@?YM9<#jI(x=l~X(px!$$Bw{CGbU=s7)-F zU+b698WWbPN_jmreSS3VYep=ALjI#ZOcw&bkqOFcB2tb%Aj+K-DogtCi-BXA7P|Yn zqInYft2uQ8*UVbBWr*9iQ)PuNsZ@!%<uM~~k7pw_yA2ljOYW>B6CFIgOVW!`5B@wb z$un@~^E!4yRDPw-i4>IHl2XHgR4Oy)pl%Gwb;=cJcQl}9>742xSZ?y5s8;1%DIo`U zz|WLgFL#Cq5M>t{Gwl8})%HmBYAkKiAFts?Evts0#e9aM0LiQpTrHp<zE-^CsDgV& zdeqal0O{leA6IMbn^^7<F;Ih<k6rlVG;?2d@Y?G<sQaB+_oJ~!Fw8J6tB=c~FXEMw z!KXAhF-~&le36C}T)0Z5KP1D9<|(8WgH22KfdwoBn2UJ6XN&og9M*i8@d-Y7%ug4b ziaFUYu&6NCLmCJIY1KbWqIWx|Hmunv$AH4gjLES6m!I{{r}5bDAscR$T6=6FZ-Ea7 zF<7Z=wgOL-qHeJRF8VC~3yDfShy8ZkZOZ%04#i|~<6;Mf!=(Zxp|Sm6aX!?8?!Yl) zwQ_A7z(OW4no-P)ef^?${p%;PgSicw8Hbj>3lrbu*r0l~T)C_^%HId7jfLONUlPh- zClbZq7S{`Ms3jmtS8yS}!WHlrGB*0w(Zx^tSqQGGq?$3QKgftA54TSWvv^LV9qSZ~ z9o;;%5$GOzkBHyyl+(oN&jOSe2`dc#$tVp;02a6vYv&C*dny>94C#LlytlZEUDoQ* z!dX$m_uczhl*s8i3*5+3?Akw;Q^FZp%DEwTL&ufVBkWu!C9{8*^nE{Q<JL!&9^|`N zB1I@Ig1GR>ck~vW8m=R*u(X=~vWbb`JYP;2mvKL+=O}#eBTTmDZ7Lh6V@0_|m7j7v z0~+&Kngr%XvXcK5&*}wMqTBwRaB*by%O-(1Hf{NtEl*XRWDq6w@0Ce|k^htjrbbrA z2D)#w-OIh>%p9~Z>UR14ht;j7n?%!w!@q2X-phk;l&3Jq9(a<WJ>8PA5<!CpDB0NL zrqXnr5}jhh!voAH7qw+Hrfv<I;M~+*J>b(CaggWFOp<~-Wew{^K-aOaQ^v`n`IP8S zVU9Pas#?JNQ}Otc_B;98rH?V)`o6WmI9AxvYYHvDnjhOj288|}yAw2)AybE0F_`Mu zru~058(WoD?II3xZDY#eS$A0K8LSosqXs=M2NDTo7omh0m?vwKCX2bnI*7|H5a5mn zyN;5ESa=?`D2@dG*NIbZ+RlDrKmVH5=%*YiBC~W%6<0atrX*O*f~5iOf5Uq20iOv@ z9@H@jGw}5L;c-62=4Pf+gsjGOGgCnICqUn&7wl|C(SD@#BqD(v97Ij)qs3V1p~dYI zBIGy((<Q$k!4y}dwJ7~=&%2f}50sgWxBi~g4fj&LOVbjhhjM`PNuey}&ysa74{6y+ zW`f9Y@9a*io4;l}?PbGZc_=K}VL<h^Q#7>W6V_1l;0kznS_-FocdzP_W?_d>+LvO` z0Lhb*mhAs_Sds1B#yVMQj_Txg(VJ_rZF8y!hVqBSHejoGzEjV`pc}yS1|n$GPCeRP zNpm?G``1RGzXN$si;NRmzrr#sd?3Tm4Ia5Tkgj?8E|(Da<{74&(Fk^&QX)mVMy!&s zeU1@VglnX{cUAGk1yeuK$bUmiyNhLJ-5@;Dtk5$lAsT9l*w=XXDv6?w!nb>&h;IA@ zukE;p;`7h5UYr{2otW@1119%NbFeAJVw4!yp%_J%#}$(3=W~tc;Ty7|d|R-;U2i4) zFrN?8>$7ay(kvp$Ba@OZSxq59tC6u9y#+CMVEFtpXbP){@k9gh42B{1<bDxAH`xn5 zZTc>2`IqJ>dPkXpm-rA*vz!j$QsGUrxySLJ8`-)oGD-=d=Odmd0#_u7y&@0%PTfEg zZdU?ZXTiKAnqAE)M1P%84#!&#N6@1tqlLyf0-N=B0Z5EINY~jvE|s*2!^ay+!K1<< znF^erjKR0tqLm`1fsdMql`wi!*L*^Hy2OR7fWYazR{t275=kkgwvQp>Q=)v?<Go<m zR;uZhmRA)=D4?MZ)JfOKb^a$q*}!11{W51U;Zba=+$*fgFdI!96eh-cQ6fQyN;~pj zoy@^|jX(RgH)*Sa3-Urr&42oaQW9G6(&g!(1y;J3Tr&KU%{Im<d6(Zg1B_<hzC~P~ zp|M5o>crcqqy-NWYPCLh*a&sZMiVelaWbv+&wosA0`=|~McoERRbSiLb<`RD-w#K? z_#pOa21+kDM#j*8@-ZlP#y~GLEfA+8pOX8Z*Z8`w&`%~adLS?m*EJ?Zfha>`!dKpP z7L2_T%q;lN@6kS?&qN)85OrGZOPNi^md^KcXr*AcL<nI)imT_({h_WO`A{}!+Ola- z2^A#Dk_<>b_5b;VDCmPnsb0u8Mpv2Wk|{n!vwm_(#r=F<-mm*B*w!a3Bm|V!%LH@K z{AwRV5^cbC(M%N;6!^GDiTUgulQC(b(8{JF+scp_L$>HP_P!3lofmj9^?M=w+N66} zBdcK2J0&NVY~h+0{)OU_1lM|7Iep*EA9~3&5e=cB)c2{3A0jMsbuxW11RQBCFB_&_ z-`@;D(n|ck<Um&NS8W~AL<NWv5)|H|f!_5ffse1Toa-`24RQy&JwuH&pBJn2GRAu$ zsk;(3KUkaIS>pv;JDoj=P?&8bqS)$Y1hPn*U9nSR-AIZLcG~0u;eqXkOC~zf?!rvo zRy!XTk2h!kI^-(X_J@gS#V+|26r$X6vU_GKO5J3Je97R`kxd~#7hu$mBi%UXM*Ke7 zSdJ*rL?hycL#eyaYquB|x{9OWc{c~WqbnZT8|Qa6d!JO>(-c#k7>jcM*HohL@pkSR z8JE@)U|f26CN=uVQ&TnuTe&}lu9Fg4yWwXfc;>$mOi4TkUX$Rs2BwJesshvBJoXC5 zA6)$36C11fCP2Ty3JlP;G85_7e#MfC@)DTf^<iWE{5MxF;;`7%sJ+$W{>w?QB%k`m z^;)N;d&Ng@n)9sL=C!KK+V*eOpi03%nS5<d^-GEtT#RM7Vj72ClT@tTrVG$DJK-Mw zblt?GhOu32Gz^YtI;_Rr@5O@kkMMn6T<VVdCh?Ln5ZM$07Qp&s)#dHoF2uavk03ua zJ)J1Vbw3JM+J-?rp1d6jv43ixDZ~#19yAMF-i%FD?*~@{!Z0MSYwJPI&)hMWPq`VJ zr52B)jW=AU4GVdf8*XjVLlUaFrcvpkHjlFnQx?_Aus?qdAk~ymPA6;}_0BtRoXrs% zwOjD4hSv2NY60s!Kdr<R$uL~wz_{zYrQXMx>;oU(Fq^I{u}ofY5?MADl!yopj&xAZ zRzk}c(h_Hqh%+j*S?-FQd3+aD6WJ;YfODdL`3B|~wm#h~2ETjkSCJv%G)vp=3DpZ@ z+Dz(RoP|1uy%EJ9!p_7<-KDDktRXVT>^SUHHDqEpD1eZ7gHcJPyrDUQT(zjb8FGoG z4DD#KA3>a}>aoJTB}RdTM0!Xq1l13+F}VxA+`5iHnr7@8TPGLzscJia-%$0E@?y~H z92%NmtIh;|k!1j0_Y}>?0TOGhlzjxvU(+f7Sd&{ka+AMlX6@=@_p64Ts3cKuMGYI8 zV%zqWbwHtNVbP*xzLv|lK@NU_<)rV%FQ}WU+0-?D=t>Bg7sIkixhi>NGR7h=>a_R8 z5;kq>V(y}+niE<)^gohGb_9`!F8NjrPxmJ%&)GjSGp$W^JL7dNpI0X3P(2SAb^cwN z<9?B>fj2YY#-K+AViPTz*L11s4w)HDrvCHzn*k)c-DsUy?U&lFHj#K6uvu9bSte7? znN3WXg$dQc#ikJ1<kd9>`xL;0|M)jXkA4OADd)?mo>?V3z5~+hno(C@?Oku$dqB)C zzM<aV>^ae(b~BD$hVLoBF6E`-qzwQ0h)#sD_uJ6y#}QvP;lvI2I^S71iXPJ?o{}q# zsS7|XhtqL&E@(j$N$%-;(i7gcZ|}nzJ5q}hQ#<3K+UTp2`n#Hv%V2fLU*9kqE%`%B z>{VEN6SvgCr;imM1k)1yj{drGs*HzmAI2k|RwF{C%~4JwOTBAyA&&Vp4cQ9Tg$-Lt z-1&!+xK%pcXeh3^=S<aThm-dy${>DV7at)1epoE#aZX|#&O0>rM}+^N$lk>A?h=!d z#E3=ZR%DdS0OVZB)&gostu-aRV@mTcsCt<fo#mbG5EDcYwN3h&yE8A;!R`2q%~?yp zCiYuewTniGBHdaP)bU_KCr_<MXn>8ebW5-Hak@G_O#!4y307In7562Hp7M?w69`bB zV)-ff$NLbDuHAM#;7Q34{F7**lapwq0^c-0+Thuj@nlxxja`F$9g(481JYo0174^x z-6w09>m0pI7&tPIp!-1T&N9PjB!G(lTh`YITfeV8Aa*}|bFml;{_yvF`QHg;`oeF- za``hR0{e-PwjF#;g28-l9k*@QcLM-o7Ih9vrrXUV-nS@q;;Dc?tVecuKp08l#Yo5b zFxS`BTFaIFP7wcPAN?tvl0u|N3A|4*B84d>Te$*OeNqihaWd1m5zk{H#&+q9_h!vr zDf_o0cw&wx2q}L@!rwvv^S$E7VWMM33Y0%fXcIHlF^riS(F2<$Q4sOW77=>iNU}wt z_g<3O+a(Dv)>N*(ym?iL<VlTQYRdP;#8oRlRZ=TvAO7lwh&>plz%l0nxDhmx)<el~ z?6>ddPZ_n9(d`(}FN2$-K1W~dlyzKTfS=zBHUNDD*=B8ysXqbwKQ(ArS6?}Y7sdZS zTkwzfK;d<EqIG(WsMcbA8*P12?K7r5QjxVrcvv`5hwsmP*0w}=9@sM>iGqd%s}ZY_ z{f4N$Sa#LM+k8cZX$a<*UHY{G1l~*PA)#G-#RtfJq91F-vF*W5Y{_NV>a4U@u_@yi zHx?-=6EWo`Mw8PRq<%op?X;)~lC^|2*hCjtQkE&)MI^2uX_(RExOcE;%VbKW&VzHF zlJy@Gv!MP;MC<2dk_r==u2?9Dqv$AWj7hpgb)JV{=yvnVfuDq?s*>2$wzPPlYQsM0 zJTy>P&T70mCZVu<WO%dWER+<^R7fLbV~Me+u!9g6VUzuVjVb_{We~nAs(7Xd(LR`` zOd4D$8iXi&ILs!gHwPULzL~UOkhxhn!En7EOfs#S1Tx+)X)%^m7`YIfiDG$CWl$Cf zYi1OjN*vE$gn}3C4-|!?CHf)|5i~e*;p0L0p4Roh#;nbU>vvBIga6dCk<N~SX~Ti0 zm~@}iT&Od%Kv)7*5_n8<_&B?REFq*7G!YQdgrTtE#n7@~{;K5E|H3PA&Bzu{LDbz7 z5unip2uSGJVv+F_VoA_W#3cGP2+=B%CCPR17Y|uDe}%9bq7XYH5LB1H5d6gOXqhlp zi$_UJbx)GxGSj3PB*lBWNWF-KqF>b{?w2eJp-@8}=8Ff2DV|!}d^fMGd05xi%hw?} zZ!+0^t%p8b7ce$;T0YM->)szm=Y&J{&vCD3dYBlt5d&}%;-8_>-Ap=>oxBvEU2gn~ z>%TGv@ZDCxB{%~<Tv$Os@_Mcin~}p)<Y(0$A3J*n4o__T1lnu#dp$pecz7@Si2S*s zImJ`0!Iyx%)pY};q88zBm>b==zQwyG0&Au!yO)RM?G-65GIKOb>=(e>!_%`JL!S;S z$pT&A7NiTzc$0|?o7EqD{77n;>0|5;!a;c!61B;ll+<2IyVw`5duECBCjIUa#o+e< z>*|3Yyy*hNW>Om$u1`L~YHI91B7Wrh<%XujXi8uOCl9d!cA`VXo;<x?h9U=x0kUBO z3Xw@SzHxFKo{%5&^Zboxl$Y3QZFV$E8|Ecq=R7bYxh6kZ(S*({C4<XZ#$3=gbJ2B1 zBVIQ*e959Ol=mq{KjPETiibdSPqa4SUn%aCNB8ojF`?qwc3&RS_oYXj^nS`fyRCD? zW*xBkel-<T2UIHZBp@~FMC4+KwT2EMapu*AA@RrXq1NY3Z1kRP#R<hDL;|d*#CeD{ zI^SwOS*|j-m%adA%-LYN9y5e}(hEdpuA&}_N>D{XGC_|8261l5Bh5Dv<hG+mXyOt( zB5CtMZgw=olH7fHoLu+^V|a_10=!)qCjh3Hn}gikZBv+bjKIOXY?F42h-V|qU~>u6 zd8?0OQ=r^u5QiP1r%MW{7^2!X*hK^#mo0uy72Wbl(G)QMJ`5Lt=C!}%wLiBA8O%9l zZdH4r@3jkF<Av)R_NZrVF<|6F^YT>lr|8J$Qq4)!rY3{+XZ*a*hr!(<{5qb2GT^e~ z|6@Z?bg=Vw|9F4&zT8fa)Wpx8X%)+qm-@ieaZqhstL|G-=h{Kf*_B}sicDTixC14H zMLSZqu*LJsFnmcn*lKEa6-xuV)Wc(T6dTO69SuI-0ye?ogd?Nqk+y_ad?wH-`cDm| ztUb8224s;YTZuc31ipbvh0?XhJ`l9wCvb2q2rFi@y|S?Ko<gD<VId6H%MTm9`1h4P zAL7k+zu=If@U=&}*>s8G3s455ySLLj-IZRMsjd3lJtlpMN-+V|;%IgKFIEvu;tp8+ z#O_FKg)4mHhtT7#w1-DmcBdP-YdQ8E>8-T%pheR0|B?oyk+;>f4*o+5VA-9#t)+?x z))ShW3E*C!zT>qz_Q)0VNOfbpI2(GpBln-fy+TO$0rIpZA6>TjKKq~>8}Hx#>nb(U zhq`_hVnJ?BKY41-UJ@uPNe?;py}Moad>Q%WDKIesr=8==w}ryI*TyR)3*+NE_a-pl z7q=(fzCOT4oz)M9*t$-@pyuoRPf;X^-sT^t?cUXe-Q%X}YwAzgzBNyGuDAKk2SSIr z^!3gU7hc?4r^nGzV`b`kFv-6UaJHef&U&sk$^r28WOL<->-C^a2oA0;7Hx0B#Z>nF zSWgaI^*j{kTpbr=V!x-1qV;rJ#}Ug`1oT^(huGvsan|Z-JU=c_7I(+d_l4R7@+H2& z6L3$@BWyXb{sZ=Z!1)ij{{inm;J4Xw5<q;=v9qyqaB*<Zv#?ULuu#*&F)KQmOPIP_ zkkCl*v9YjmvaqxKZ%bPyD`6{=8mA<iq$DppH=8&+3yY`(Hwy>Le+vs6w*)&kHw&An z5Q)J5?-oNiW(5mJD|c%WHcpQJ8B{4V^{ow-F~euFlWNvuN3BNibmwC!|1J$bSDWkK zX(oFR>bEldZDiawgb7WIz`{#TM_X$?D6?2lL#Q1W&%2)&2%}QeJ4@#Zg#v@#FuVzo zS1yFLDPnabC5^&=_Un7RX;>0^zgYFH18RE`g8L^D*hLdz8Q!-#K>mv4K?0(pj!@?8 zqFiU7hK2Yw(E8qMAZLtYLe<<_I<p^yy0wL@{?6KtsHxr#giE$HiaLsgxXpnCV<BmU z|NR!54Nl_+gOAo$f9Ou%dk|LJ=*-#MGB?rsppzVRj;1fD@V++=viNm~!CdBew9Q;z zZQw^bJSAM}{U|tPi%6sYR10WzI23}dF}`~itnrCZFD!;IskB_=5eXW?Hy0Dt6WN3G z6e2%_fYzg0&*cO?Inl2`wT2LyP_ICGh6tLVAO!W85U(JI55Vw%AO(x>u<(Gz2g9<! zj);17hGsN}s<MoLWyM&r<_~*g?d!%`J>{?ZT3%=MSUnjzu^7($69CljKYky33HF^= z3<&TbruXwY6B$4*t3fVl1wzfj+!eyS_4DwIC{%!iSX%ZoR0i$uKxBeb5771}SiRg% zg7JW34e0iVvMJCEg|cDyv$ex81^wNDGwIB-+u=jE`WE2bAIB(w^e7~%0Xc|pf`Hj1 zcTZ^S2@RNR1UhR~^#Gk6SQcod5J+dJ()*?rkaY}h@U2L<z@BLBV6YQN`~j_c^b4@A z0i$~43+T~)h)jqN$K2nH?5U85=}i%!TJU2*0@jcg^;igjmnP6F&?*(wfZ*%7xCrJA zWj&q>xgTz#Prm)bWg+?j<NI>XS}xKEK2*fOf9I&1;1NJm1N{U%uu7n^2^^1@f49_^ z-snig{k7Mg{98Q0(dM3YpF;3$$vp(Cj@tB}3M&3dh5t-mNXgAVcnC31*rG)J4EXzH zC6X6W%Op%@CjeugZ+ouVK&>d4b&Ra@G`GAMR`aO7baO@2K~W>UA24}#1{Af*+O@M6 zdDDa?c1zy{084mVK4hiYoSYm`OB&vd5cB=yKEhUtanFlVS}%}x0f&HVQnzt)dV)sP zr!JN_>s{nFv;N-@;<EusqKDxB^5P+6O2p<DLc2Yq@rR64BKsE~GFYd5zu0g~ET-pY zYDmQr#2Lf#25sAxYaTQ7hv0|<q+A@Db*n*x^yjQUfH=OK=;we5BZ{vBuBHF`hhE;_ zbYpM5E>EI1^k)5l+n{_;mKH)CJJI1g`L@SGxXuB-S@0$B+7e=S-7kX@zGt=%$a(~( zVEG+3<?)d<s(M^|Pzoyt{MiI#ov*bfJUJhCNCQZlj`4N`5=uitLz!c|Q-gJIr~wp` z20MO6;Cqr0u_c51YyfT+1TU!7A15{te20VwB0lgl9k_bN3oCV-3Z&bq1dFHJ5&PTK zwrGJd8Ca4IG$=d#2%J|dY5rH<&yk}j`HK*mdZ6aeI6&O#U!a-$1YDW%F9#xq;3gB; zlm2#-urvL$#{Vx&5&i&3gR<;Xg$~ECFXU5z03J6H(%#CzsmvIVM@CWGuntSw9(OS7 zJRy<Va<LA(r4`&UkDfE{#%rEOe*I$+2=hY%r!532@N5rm*86M&Qbi|r&<q2sq~05R zzsiz4v3(nkn(N#P8bmA_RV_Bri~_}}ZE#QfEI8Xt3?Er<_fDv#C@%A5gj~yeqACu^ z9F^b`G7qaTR#`Wt_iLiF`v>=&D#&UY3v1-Zarx}k62~q~NZl0JJ`BN;-#W-0@SBNU z>t?k-dKFpyU|VB77xVuG(*!L0&;CUgfsZ-g;uBVE{F>TMfq5$)-zoQ;75}&-i|EHh zKSmqz87t1cuLnz3e8XfB{g~*-7p(Z3t!i7g(tl(eSZU$Aa+OiCE?cSgr7Q{Lnw4HZ zncjuB-BgXJ17@W=gK{%0bq^MaGn7i@&rcqZQ9~hUveNq()JBpFtpo+I3bcWumHf22 zl)!4x4%UG#u*OP%>s1#Wcb%XDs$f0X0J^R8QBM7OK);nf8<)Eg^jhh`^K$!`_@K3p z-hYz21#Gg`$#Zfy11)Q-wNAaFwryZ1*adc5>y01i!4Mb$>3H*HwNYAz4uK=!fVD1v ztOp0Jocl!97&vO>@Kw2^U<Qm^x!kU{V@y)Rp9Zs5uHM&!8aM+MfvzMAR_^^mPtSrS zN)Vgv(%=npMrE8?d8|oR5frR^<a=@ng@5DwBVi*P0dQn(!bUi5GOi7G6V@8gj?11p z;^FuNNVw-Xg5s*U{a9Rp9G^x>A67S5hs%-Rh>_!SDIs`H;0#R&sM8yqp^5rwc+S-X zSvbvw!!^;Mn)p^+^x}w?+m5RlaPe|GanXw-f^Ijirc0z9*OUZZId<Ib#nsxluYbAy zxM<RG({dxY+K2<-ATCmN#M~Xm)vghJcNCX9p(DtSuZcukJPrtQg6<tRH#do^@Nj)| z90>_|<j{tj#Z|PBfIE&$GC3}HZVp#5=Z5D_;p!-w2d8m$JS~7TxH_`XkmF*L=opi7 z&fzv;od*|ibvAN<J1#qk&Pz^lcYhgIXDDUFUB%V8s?+&8Zdy08VXDNL=eX>IMjPMG zAr&OVN@S^DJuY3s6`%oEuQdW4I}92&gBILtSUHf#Wd`9&P{6%{wF-o|OgAh7eR5yI z;*&enLB-m_GC=atGS(V^<RdmB<WdystM@!s1t9r|T?^L&{Wo9<i+>4(NPj+Ji$nfb z5b8e!i&&gxp{|X@Bcv>ax;8Fgag_{pl_YrKCZPM|Jk}O~<Rc;-ZUaa@I*GLdAo&Pc zgu4Kek4|9i0lJx^p>PNw`KX4q4<Pvn!G*&B$wxC-2LO_fP-l1uAo*wt>j*&d5mF9E zfj*!ous9n-)in^Rjee0HXnz3Rf_Nj;uQ7v2qiAYOH)8lu>tJn>eo~8OBO>M!YKPdh zNb}Qnvc(Y-54HEY%WE+T6v2yFWk^&b#hh?Q(uQ;(ZAdTDkaQ)jNq=ZEl7<4Su6<Xx zdQ=?g60M^WT}Aqzk<^6RBMAw~M-to$D=&=c-3DvhJRqyl+HOwBYJal!>65aWt>c3q z%WARC`_IVAS?6b;%F0`%|Cp?mRvG=Rtb$dZdeU!|ResVVE40e%@5m}z<?gp-m8|l~ zy1*(A3n~8le2P!^ruh6uibqFMJRVIKm>Ew|znr4sXDOO*r^vsSV%4uwls-<;R!PzE zP=iWb=qi$~hON3wD}PE<v(av%a*b>gRcaKQs7NE$MD-b+CMwMgm8dGC&O`;7SSG5) z#5_?MMjMGLFd9l!e9>B>x{Ll2m0YBksM?~sM1>Z?C91J#Em3(zW{D~*3QJT}5m%ym zimnosQY4kAilU}O1r!Y>s-0*kQQ1U8i7MtbtM2$R-LS)tf(HKsdC>i=m$*tDAqg@x K3MC~)Peuyc!P#a2 delta 17728 zcmaf)LvWy7xUFNSW81dVaVP0?Y}>Z=#kTEqY}>YNn;ql+b<e3gy@O}6>#aT7gI()c z?^CkNezJ>S5NHrs5O@$o5M&Tk5Ofes5Nr@!5PT3q5Mt1eAfzDVAe11~Ml{DsP>xiC zMKl^9SzRjefE~H}re<`mjCA-0I?L4G|EN(#8bhoOpFM^W^J2BH-fR?8FsEiI;fkEl zm8XclNwZ2-u-lem6`!;3c!aBO>G^6Pv*xD391YSpMeOW&&mu9!7Z)S565)dy+N9@o zYofV>9j4Q5M2Rf6o?tMq-SvHBU?wrI=H>u!M1%6hNh0|J%h|#GJV9;@N>o6t?Ab9e zQeo+UYb=*Ix-lVKI$Vv=bSS)G<8<Sp<z8<PF!*sJ+>Co-xm~uN5B<Ak>uB4zvgnny z#ggezY<r`_hS00WAi=%Ic7XZ*x>@6r-&*OWBRB224C^=VQLyn7k&irlEyu5|=+F${ zTG9>9NKi(y8%>Hyq_!f^Qfxp=z)jV`2@_2(=ooZMlGg0}Ojm618EoX8t+D=~r20f` zZMh(ON<Iz;%HxzuPv?S3^EOyxj{uVU4lTA^VZb9ZWm`?1MzPy4Etxy`P_^)wpov}b zKBHcg|FIl5gH7p=V1X>@pl^)?Mm-w9piF>YN;u-LBT4^@0ZP~TYx|*}Ou(NcXUv$m z=Qx&I3iB(h0UhP<Qhu;t12>0*d7Hoi)w<_@l&qIu$Qj4{Xim=15Syql{O-I3Q#f@l ziR?YCG^h=J;~bJ5A5Dt3{L{y0@|^|>lwZ5En%2-D<*b1=3egHgni|UmCIRlh!(mt? zon_p(*>*}*ymm?O8u2W1aO=eXNNe&;VhwwrikVbfxM;F;3AEIH<<ZW?eUs@A2{$KP z9_+KgWMe_{*`bp(cVR;uY1;Y}Qar4i|3#Rcq_G~IE0-V9U`~PhqUDSOMe+g@5+clQ z$>7+M+y8|=TwmfX2@Xb1)(#jNp;}l!Lsc_-V|Hc84u8lEW!g+5hu8nuG>{aiV?U6@ z<y(_F+}10!u3%F#K%Pdt((|Xy<B|U0?pq14JTCFDRais9Nd<VUHWN%fYuPu=ka;CP z^CV1zQe?-h+$95f$T((jKAF|?h)lTzbh*xCyixDO6!_*Pq(Z;D(14FQ<DM_mA)$P| zzh}mIvvLLItZ{5}TbQuE@tNe0SecpZ-A-*5rZ=f)FFb4^x5&BfzwJ>yM(S`DWs&xY z)9o`PF%-iWX5*L=a;Tfiz_7VT3r$!xQTt<*R4(0fJK$bIV|parqW}ENAch_J!)|wm zv7w_PZQ@=ZnsIv>V+B~uyTa-EOD0vBG)ARXXxR%5Bm_2@JUe5s%IPe~Cv;1b7)rYw zX~%q^KTUlWH8LXBu#q#SY{QWCL^;yq9Jh>iB+jZvdo2;OITZ1j4#iGfv|nIAqT;rV zEp^>y$-ysnrFhSA43lM~;^eJ#>Y!H}P<QHfs>9h^m*gjH$N~1F^U;FgsSt!EzG2~6 zQC;RT5YC0ZTSgtsOr5Ek9Im6dme2~~JOxhK(^8cd`k`&Ldp+T}1&R!;zgvRX&{3(^ z-8!Gf*rB(sgVdWt1!QCL)}ZxW28hGcHC1%8WT&DUg(si#YFJ32jA;W_;xvi)pD=HY zHpFJlt@Q>A0s$}+NI<x&6LI0#5zWh!Pov?in7O}VOOobB{M>N-vR%wXE4A!|9z2DA zzUYGCiEKWxOodY1jHZL_*UMO9vW-T$ZhHHKa{g8Mg5O;4eSNHOH_Jc-G_nrm`~>RW z!5e=@9W=8#D7w6v5KZJ-ggUeE&jVGCpMM+oVwf^Dt^mZv-Yy68b@yMsd~9-L)0daU zta1e7j}={vZetMa2ZcF|0<GthqW~-ea<4v^@#8@68|Rzg%Y*LINIa2LM~es(-OT4F zIMVKZ7L$(K)EE5R*%z450lStsoCe|zsBLH+J4c>{WkHB}5CN`u`Z_f!srFCP%%|;R zc!g&IegMb)GGjdHU0MD*m{7HTzx!8=;{1qk4C7BYz7p_wKR99BUfLIs1H^@n6g6H& z!<%MYg1}AVA2Ec<)#=gKWurfmiDyt}Y=Te^T-wo20A+#FaQHxmm}6QAaakj$BW!hN z+o8Fz*s<FN!F0n)LbmBB&P#_8cE-QfB}Xfq^8j6&8={~W{ALnj<1ogEwlYFT6Z|dX zLYi4ySIpZW4Fp(;d~@&7E3sw^2P~Pb(G&=d6B$X%n$#2$Qy<Ml(1~fx(}7Dx2#Oq= zqYLVWV@E;9SyyHQgHr9NE*$O<f}h7BVRRn%Z<Hm^?c!Y17_24s&X_{zXI1Wp0`r-t zC}0^()(TQD6oqhX2Q>~8jr~d&oPd=gR0{pr>WB(KbzE*t?z49f4=R%LCv{1dDW=lR zCHSkIt^EmaQ(PTFEl^5#6I<St)dKtO9<E;Pg7s0hl%JEqACc9?-o>Gi(WdZeRt_Sn zMr2}?=>z`qGL4wHh(?O^dFnZ_fy>sz3RvD%@;*Ghp`ONkBRTKb91P+?+wQk-pRR<x zf<EZNy)(c0zP7)j-ujxYdnC#Edz()RYNxG@$n9?igRa0JX#2mNN9?`5>RVM3*PPSo zE?DyJQi`Y?d_+h>**9w1^h+NQZYZJ-?a_)1&f!O6XOc!U84(<SxYDAn=0&O$vS##b z)W6z^T((*lc(6h01m>c-`ujL9&-W>@4|-U9jc-!CesD_ns~i&%Zhyd!9XF??-Yp=Z zrAjWMVS@2+q}DBgQ>R8Oq9Fq7nq5R*nK|j(*~Ft@f57_;si4<W7)(vZP$-_=0iScR zF3qh_M8~=@(hBv;5j8Q7%!lEPkH@~m?~xNEK|Zms;pffGiO;DAi-Y&Ji=jJ88MYPp z{iz3shs;E4x4IJ^J*JiNR&<vV-mS$AfdAVh&iET}hkGb%C3Xp9-vlm2b`b01iglJ+ zdXXZVIX84pDP$XDvNt%LB2rGWyV13FoCx)CU#26kC3RbyYb)ALag~wBT~m33-*m{& z-b#`3w0&~uxd^OR$}=1r+xvjks-HU8ZXJ=RJ06{pX=IL<w*mHL*+lIQNe$N}KjD$U zOX%R0c4vu}gp!Rk_W}OY0=if7?NY>rrEb*aYJ+iMoeshqvoqB};lARS@<bY(P*>%1 z>tYva51N1Z_(@tyJEu<3DKG)ZKP0nninlMOi9rXMyB1FpU`O`paf@F9Bd5Ysr4_PW z#r2$vHMh1}9Ad8F0wzg*=;Y$!<Bw{NN<0h8@;!xM3eby|X8<QYKJ@DmmwavhqWkkc zy{KL>XX{`3Q_%4T(}rje5VnLxnL2T;-9)uT=H0MhT$x9p4ep(<7PSL_=j=!Kdj;>q zTy93nGVORck-{-6G^W4{CWL@4Kcc~@$7L+K^m<vt>==33APQ=A29vJvCEJluoBrhW zUs^b%27QvX-#~2veHOQeyThuBrgqe`$mp0rRC6*nFDF*9)i_>QM{Z=_eHw@^?fru@ zZkKRQB?0u}FQ+}}p+U~c)ytn^sl}T(?q^`k@!+T@XJ_d+Nnxh`mq|<L)e?B97boex zk+~=IXn)X(<EO(z;1Lka*A&3+<4r%?4s}SW+?00|vH(I;mi|oimrq;v3}y+Vlfqg~ zl{s4J=#_lARnXV`>J`b2hXG<kn7-hF{4-b_|FGBJ%6?LW;&DtN{eN5gQ4qZ9h`4(e zm$IM1)KQ8^zUk!lLW)aHUr=w&hNeURhP;!!6uc1o*Or6$x{s=kpm?zw7;iY}vlxI~ z584o91px@G4Iq7p^>^Bf{3m0?#!%QoCiv{v8QW>O8KPn}e4%DoO$J5r{LTOl2A{i* z@%5w^J@?a(ty1^H+hD2>It#GLV_Ko84;ui*RAJz8Wy#(QXi5Y(G6PNkFMcvvepc-P zNwu&-tpKXLC>1<^fqZ5vQ@YAhDTE4PFg?l~AjwT7oW8kC)k`Pb!f>z?<4OZ=_tKol z6(X*cfY{JrF!iUP!vJ|e$bb|7jGjAs-rl^L{5r!jm@R!CMzeiHt%10ZVrN+VFBlNw zxv}xP5E?I<w76Qq2WN<~;(H;|uuy(432&qV{CX2AuDo#;E^sXlxT`0{Eq3E3<t^%c zU^Ucb>rRmToRHBtB>id=1ny(CjV)WKG%%%Xzs+1@8FydS9YyCBm@hV=u8liVgbGF7 z)LJy#^<smY!Vb!T$Uj+(=45{?z6OzT($0B@!w`q-t#iZ)vIZUUae?L^kIN#=#0U;7 ztzZo~D(ETyfm$yh$P9vi)6~w4`=a;@@QaM^WInQ_<XDP_4Ei%%9-{C8HG1=8*=h~* z6;CVUNt!yy*dh}0Os!jx>|@9KH%HT@FXs$$?CPd7bdJCO(vEiH7K}hY-+keuW`k0^ z4>|{9xi3Li^NYv5R^!k^$2pLZ`$kg;Y6dG^%xA$l5O+YP-Vx?(G&+SD&kH{nFz!U{ zRoTJ*Fl54gQ`t18qnt6dn27$JRfPI%jI{X=TFk1UBjxZ1I*&M%ZJO9{<{8y-$K#gO zi6_noQVTz-pi!y5(YrXFUuE;~oplIWN+uX$5L0A-wW66RcwYtRPaeczG0>$$SvUTs z$VIkWJ$_?16L_DkCeNM7zw>{cfHtPI+t<4TOwB<(md|X!Hoq=}5o&z#fzwssbJ7d5 zPYN;g#ygpC$dx?~boZpLm}FL?E!K|+KP`BH9hS8$KYfUd7y-l=87cruU8oZU^#E~p z5hX|OgPM#4G12a}mE-~E?*qvkdLvG{fsHQFgT5xwj(a$wOAs!(WKLZWU})N<^l{3m z4zV+F`ArdzV}Bx7M85jcojKw_e3QW(VAiFq;jYyN3Q)g**{@V6Xq-LiKXS9+N(&B< zOqi|SU!g<To=%hm#x65YtvVvDHgPNAcwN1%%Hc8+|1)j8gXcnd8aM0-(d0X&^VKfJ zqH0hxJU`YD0MtdW-ERZ{2B%sLW4#oBsr02k9nfk$@W6AIt*HDVHSwZ*{5Krqp{%Uj z#0-{om<vrh36UTihc$(tpts$;hM{Db4&QC3sek&JZ6%Vl?$?Xi<!!7N;@-9b$nP<F z*}Q6ltV%5sgiUUo$y+6bgDxmEKk{q6JpSP6*qwYK<&S5up;R?sZ_Xu!W4w|&zjcoD zmCPc;-?xE3>1stZI61^7V*qWk)?y8V{>(JH*Bv4du!2Inyj@OUb{wG2C*MTWTXp1u zyLxUXLFv)*&O4Tid6jnmITBy?`E8s-S&e1ZV2AIU!fT2irPQBWrYPQQaY5v(W=4~5 zw=nTG=`G<0+J6GH*)fQaVRXstw|}`~Dbi$|PN)#@5*{>J)U|d#Th?PXaDXGK_Joh! zf<W8+aC^eV@Mk)g@80`9D?vekhF2>F!&y!EV3|7n{QQm<ja^)X(B1Xc5v7dl_NZ$K zhO^V(tuZykY_|{~FSwfP(m%h06zU^=s(aBpFw+s3Otk~DBm^qxkOn=2;y(E6k0CG3 z)fpdY=XqqY2RDWM&Q<aLXw11B-$iml9h~|LjtYgY>T!Q5JqmuuBKlA0dFGyi(WvF! zM8MIz6;g}lx+~o6XqPM+Wix(&a%Ma49*`lH?*4j9wF09}4{eGwVZo*yA3ld0TxBLJ zyOS>OcoV|_MAN8U3VVI|5mmVWkFQ(3o#pVc|M{#?ZlPg-G4rIdU}Dk$T^dq$hn%S0 z?`o&0qKHL2-eH~yalgPWtxf&-$?q5v!GAM!q%RFD7;ZS+pC}EHYQ?5x4?&F$872;q zYW!PL6U(4_hL!vB85nrp*vRC%VU35GrqvBUd}369H0z{ID4@nk<!$397cAyc>gYP= z`^?9gsls#fD)X>>1Lx=l*7|a{8)pg$+yr-gTTk_Xoz8_<@4Bu^@&%K6wSY0jIYXl2 zU3dn&?J`G!iu?MkB0=?&476)9IYGxMH<7<&?1Ng1ph^|5i_#69^aq=<iV-1yGi<q^ zW7Y=<d|lqmWtX{sJ}%k}tPl)j$#rz?S{R+@e>)b@TpPdDH5|AD=||QpQPwSLosv7x zg;tXW-IB6OPpxalM9nQ&5oeVJGOm~i1=ax4ezI(I;mz-{*P7aRQhxc+t1beF>kfjR zevCbJ?&eh*ShuGyZ1iXuBKD{!!Yu9(B8G^@na2v2l4Vb}fmjl6tpmf<pBZ^=YZzxW z&iLJYqu{p7H?6KfqXT>7;h9&X=yah$#UmDAT!YtsCDE1P8&hO>isUYl9?6UpB7HUe zm*Om$N}k^{0P5$1w9l@gUA@^kP=5_$`_wyznWm)4ri+PnXrGgqroCHXtWj1Nw=JR% zyW1rZ)Btf)AyTV|W!!}9;V!*dPTJYamBlF~m|mA(9ee?FDcm<&Nz3JdD*SSk!WJ4) zCmKULc><$26(<t79&b#K0`Edj)?J$fWk>FVkhurRGadNuBa7iCyBy-*<0Zu5M?A%7 z3!7!pN~t<E5ThML@+wo;Q2rJy>GTlfqO&fToF|Gysx9MR^S&dUgP~F9un_%w#|=eL z@@M3v;Vc^%lDF+A_Q1jwh|xaaf%Wyg89)GG@xXZF6ZEOCa+wikTSqOJ_dG!<-4{R3 za|BOkhro}O4@l9;_PB<{bMGN+4{hiGff5t93lcp{z`&Je(jeUWB7tJd_||LT%C&<~ z52hlGPd5xu`@;yY3YWdOH6<tba0n6zLYPv<=W!1d=oGMWLxjj=ez-sIA5|6iF^!A% zIp)l*OCi|?yTJDI(hyrOQPdx)8Y{8ADcOIC&6Z$w%+fDtB&~~wloR(Iqa~W>u=xu` z(D$a(BKHVk=z}r+LtNJ=x&kS6hl>v<K#`g)It)dCcNn@}Q(I*4T_G%foOpuP0=J2M zM5_gif8IBw&FiGCrGKL?=J}Xw>tDyMLd=ea;ee{MjS3RrAqlZf7YYhZBg@AKVKll4 zTxHwcWS8K4^AD<n=s$yKQ0E~xBqL?7Kl&?Oj@j*gZT2e=Q}1uX)HCGpWrZ=xJ-VTd zcPJUR&7AzLVbP{YrrY^^A`MQ;N`7ru_O}3#sBYH=C+j6{IG4P}<LY!l>nJ`4U?{xV z<55Kkk-nIcAo}EqoyjNTCAph#MG?;t_L7_1^xuv|B-s7m0xwEYxvM;~4IoJto^8dr z{#MPXThYUq4e2+R1YvkYl~<(u<vTd_h&lUr`H9eSgJ1SHOf_F{wvtr%iHSNdt>^+c z_L{1Pz4RdP1yP7#mFNd;5{)3ZZxayM$qv*at-k3XSV6^pUXm<Sy;$=aeY6xQMHG6Z zRitUQFpN)alR^-0FF!~u0z)SY2;EWG@Hk*Gp+CyG!_E%|qjzt2Jv+wkJ;t1MUl1_M ztR@_A(X<necF85EYhJDrI8A-E7;yj>iytYG>U$6pQ$d=>B{c@mV(Iq`Y7to~L$v?s zQ^EYSssC7Gl@uf??04*Ns`bHZ{qqc&0GX~=4-m5n6ocWJu%CdayK3_!P9frt45CH9 zLv{Sa6=bnOy9uW8Wr@7!Xl6-Yq$`6g<Y*t`oeaxJ-D2Ot=Cjr5!;y||A59EE9!;bd zd9oztr7Jf@V2W{JS>n9Gbms;Hv@bUiz`fT+mE22uy21wP{hn!^H77nAH%}YUKWn;o zsGCrUMgl)t{?spjIoeUa>oHvRwI_6wG?6+mgvL>$2_7Db@wU*u)WpH+kj6(_*-vy) zsFLdd-x{=}x36Z8iLAQfqOAljGLt-DJpFz0jqPRdL?j+mO!RJn&He9ig9s!t=e0Wm zozwC?$$-#f3hV;gnb29g(}qVB7)T-+)QFnO=^9dylXPy%$EFXahK>o`>Tc8E3ydIf zuV<0DI&~yi=2}FQ)wb-_;U_${V;t+#eU~(*SH=b4x>FmBhAp{or3Yxokj6v}!**<) z{%)b_t~%*z3hWa>Jx?MfzIRRa=Mvak2tehjB(BY0C>zDMfY^yS#lyTaG?%#?@*1=M zQ6SY5h_3t%?bS<%m=vp_F(io-yw&(Zfl7Fl4-4-c{d0|%+V%HA^CrUlzp)S#iyXHa zRE<g_2C?d@PciRxPgkI8!{uBd0@~e+JZ}`YaF#nu?#?g-jj^=oJvv~Y-}P#%_VuY* zwfuk$V#%l+rVIqSdY+LUym_jPe1mja-j+2N$}nmU0sJKXM_@ZM&;CoBppe7$tcF9> zB#hCQ<1vjNLg}Z|$S_T{<zR)?8A6>BvMbVG*9sULURomAyJVn{=<?`#R*q|u8=(}I ziK8hUE<k>3k8;BD-+baln4mYi)&WxJXCh4$;>7&Z9OvF}^2P0W$%>rY+R{6vX#ZT+ zZl2%BoWI`3PyI7^+V3PhLU2%-<&s+^cbBZ}JwtQ*jvaEO!NDQUWd%Qk={tr3K?I$h zDD3e1*|Qek4l;r05U^mS@ZVJ$;eB^D{S5QOW70?XVOj5?@Z1JSjNQJkLaT2hzY>Jc z%Gjt+*-8scN(<PUXb>pAh?<eLI$GY2&{APRSyTJEp=p3(b*b1x&L7>+HMb^pwE7cd z8m?_wTBei@4Z?nxq|x*N(myOWbX50$M>9M-f4;|&9(nTo3>7Qfz!Xy;{dY&U#mXzn z`gRg{c(O4P%0;AzL4$);FF$wSRJ6dZ>Opw)Dv<IAlV5eN#t^F{(}uFx-LAwjhw|rR zrcJ^hgSQAkcN@`XZQ6IgW#lFm(KdI7Ux3;@K0czJbUMK&>4<h(|DxXO<pcSmGp@+~ z?z|+4K7w1Oi<m)~eu4S<STB2i?tO1h@YborVAW<~!-nbUVf$i#{@uP*dWd#v>=o&W zIX1JabZkMVvimhxK)lDZD_6G5%F=9NN|labd-*RgSi1NA6DG4Ns)7m^sH@Iz$>sV9 zbKbgEE}dl!2wBi}x8$N0U&K56mU6YZ_klMp2nr>kgK-wLtyFn5Suf?jo_@=^+^9#C z+rLq7jRdcYX%!#PGmI*k{j{UPYIftu-XCi8J(A^fLUz3KsD7WHKXbZ+@Kjv9mP)Jk z((DD$`fjva=N^^J_<cX-I9|3_Q@Bi+T=yH@<0H#(dbgMo1sgkg>;~Kn+l{QYwD0WQ z|DLc4uKhyt9jti9wE0E<$hZwTO4LPFNN}q$$3Xc^NZ!VbHp9_GaF#4`!@zw(|C$@t z%&8(zc)Es&uY&(Ff%|4~Ek!gMF^HzoFGvC4=TV$F+2HRb$gKPFjA+(|tPz-D{Stce zx-0C#MIvQh4WRmyVc+RYB0!;-Bb+O#utdO(km)s95MdQn$kQ#1-uw$#)inq`#F9ue zk9V_3bJtP%=^C2`i9SBuxWOT~-Y&R^{a%5`d1Zi263vTi7}1%+A%Yc}ayG6S2lE7^ zvrd2);)ru!ZKWHWA5RkJv;UjG-$K`F8;Wo#kx>n^YVCThl_E_Z<_)HjM{F&QRKI@s zPBgTmLAa#U&_3l~`%EH-Gc1bG?)-F3w7P>IR{L-(1fkurb=BmvWxcy5E5D?+t-j{( zw!k=!5fe)K>vk0$<g$Z}q=>J5!~+M|R-++i)@S`zy1%FLUGK&h4*(N_w=+5FM}z`< zsPtqx85Dvo=9uZ<un<|6Na*6$Y)@Q%`Umyn#2`0BKd+lgVPQIi1e%mv@Que6EgEP4 zb{Pi*<^$EXx0}S{qAh$IFiY??dZ*iD&DGwMqEgHo$blf<GNuI0hzq02I0yrv9;g-X z?ehMb3mvM5d6egxH9zx3S!3tFvdhIdS2L1{N73BHBisxrN{T~NmK^pDm^-rTOl1tb zK*Rd~4sEh({|m#QWY{;>-2Ali*M#!8``!e>^yhdAE>>I-(dD40Jw`H>EawsK&62md zxizhm^HXpc8fKgb;_IfWGM54XuV{8u<i}I9nISag)yHD#2|t7gH^j+M4}z7I%UHpa zf5K7ZgH?W!gM%MvNvC@z{IqyKDq=~1%f(>gy8D@#H%lOMrV5K+o-y6K)DBOxkU$Q> zC>8t+ExOW#1);{=8@Ww4*Q=n(_d^W9=G~|_648r$oX0K`X_v{tadi*~av?#li1JYo zp$Hn4&zW7i4&S*AehR@V@-_6(ty_en4X?k22vAC~y=QJQHKt3&z`b#3L9^57z;CCL zHN<}_mN$XfwrNUe;&0+0{P>em@NZsC$o<3-#13m$LeU4uixffL-*)DOc7jEGO~*5T zHYr-CKEaLk(eFU%=L#_(+!J)31;wa^D1d@*TU8&4UmPgBuRdr<>i_2du6#y=8`^E$ z{{Y6-Xbf$=DiV!ns_TAIt-ZUFh85WuWSRB$@@6RBamyWLaCE+w4t9%~Z~toj$gP&p zW@1Z|NN!Zm=cYtkv`7&BnVpJUiSG)rs6=x;e%RKzw~Gp1Dk=m7Ifj^QTY=!J$pTB( zrC^x6LYY?HS5ja`I9zk9C!pnP*8yVY4AVc5pU^BemsUiRj?HuYEVKVzCLfNq-B)DJ zhrem_s!d!eO1OBcNuWsJN*#Gyr_wD-v6_R?J^m}?M;KhQK5O0$D6P=>b;#T}us28n zbLBK1it0DMne`XYvoN}LdJ&jHy~=zd&tK@jm7eEz{F47AMcZ9l@Zx>92xZ<2oAmGC zbPY>oMn2s=6Wkdw@t{uz9301IUv!UPI_<WLti@#)u`xPdK|5j|Y(XCI!#cwg%BlPQ zqLU$FY=@2et{i)5fYJg^z1OAg`Rxofpt0Xir}-hQIY5B_6yXru)%}O)YnKjwI|#li zs$`$&P4#SSo&JfvB{vrxA$b%`8c6M$fci_sNavpm20Yt{1fS~)h>U+~wdS)r0~tLp zm7c6$_YEApGwgsz(f$sVA8(J-@0wKGj{Tc>^wqSSJ*8ht&ykVUec%bj@Bb)Mi-I|< z{=kcQ_K5(RVJh7^k*d|#Qi|2r)ihZX6``tvV*@AfVI}j8q6$=;a|;jUD#Cp>BN1J{ zPd5!bs}QQWod&p8SMR?yoJ%#p5g%q@XYo16iMuXeg<>eOD61o;L>rPEB%<Z9tp5z( z&rW+_><FGcq=HGk+N*Twd_RlQy6vhE3Zq0Vh$bSsSu~e_Y#j{b4(J)ehq6ASwXi;; z^UMENE{K1?rv+@{gzbWek%Mo(;9}h42;`NkW!h!Do|d14k~oY}VC!w(Zr~$1`7bT{ zy&rV9!DpjDy3lK9O7gk0@gk^^K?4f*0;n+{xPR-cpy}fyqIr(kXgGj;v~w3?ngk+v zHXWVZKAkvEF0^5OUxBD_P*m15D9D>E?cFifs3WZww*dF4OHA`I@%6I$7A4tl^&?hm zdrbUg3<Go2XKXok4mOSa^3G%WF2YRnhgFHXjI^cMHs^tJnj0QiXJp~2EGyV5b!y`> zR{ePKPFfh<O6WlJ2w(c9*JkGrK@YNQHihgAo5Q^o@|l$8qBFOJzdr8IeCR!#PqwCT zCbq^-&Mk=&80oO!T&(Q>SJMF5IAir2t#{Wo@~^1n_o7Z1V})1gsnWEeW#I|Rw9}xm z1>{L>)L<{xQ!6E0_GkoVj`Aqx?6c9^cyOF2GPSP*nL^z}KkT;osrD!lK1iwir}i3Q z2l|obofA#kh(ynh?KeLb{-<j})T7(dF<D{TUZ!c)+(C`Vw?yax+y-)**hO7yHhiw^ z$$_Ih`#j@gu}QLTUhdDv-lxI(L=?y$^f~Nv_}KiLUOgXwP*b@mthX1KscEsfb{Un| zz*!scGP+sZ!nR)=K7ZP@a`KPGM}SUlzc87ZaK(bsEgr8Xke79K9Y}2FwW`1~q3c{R zJ;6r$uU-LXx(OQsyzrbmc0@jxnc1Byp$D-`sVl<R{<JA)K>pX#;gjV_bdA8&aV*A$ z7G}qUF%T{0TK;6s6q4GGR>LPqgndgR0dCkX0`;|}X5+C#&>?=7!lF`f-Z2M-{HtA@ zxd)`efym>g#r`OEhOf_P?|jJ~9ZXo>K28jEgZWq1Ev%X%aEz@W(79t;_l%TAzP;08 z5H@mcbW<zS6$=<AEy!>zaXxhC71`zDl#WM=@6v4#GG7+VV6|vIaX~73K;g?VlKz#9 z@H&gOS)=Y{4!3(Dq?4MbVYtAFets!mPslSIdJ<7op6;~zY}-fK_yY|snD+Iai?mU6 z8zsp0;WqOQz<i7`&9jRHLW>vnBMr!BjU#==5kxMALHh)e&5Z^hB9V<`Ywt%kV-bFC zhCi0$f&Z9nZ*%_V&^NmI5EtJo_dIm!T+{*<B5cowN!3PG4Nc}qr{0`B8N2)a=4@up zV}Of^Wm-zNwuy)NGcPO~eY?SNFsI||?-?bCfOTOn&{4MRN5s_`lLBKXV)Q^zGx`)k z)4)D}jF^mYCJqM<vH)q7wZUGA?E?k9$C5BF@RJ(XRlPOZk4slNMnnzW@Jd=k0%;Vx zB7?4jpwC%KQIv8spT2HuU1v41@1C_*Zy$>r?qSl1B(g+E=+_+Syb&=e^<X}8wJman zg)P%KuumPNPhDaqZ}>-YaE+Ckw7i$`T;-R$4E&5)4c2>~O-c9Bg&;3w=rQu7zCBl3 zJiTEQ%~TT=d_;DJes4w)s2486tdNzID_BSSHmiC|sZex<el(aihp1mqDGq#=9C6O= zqqZB9G3?;zslwq#X4C4;buQL`DgH+APm#YeK#8t;kZ%emF@*qm7}{{gJFW4a&vBf5 zh<oGyjEVsQg~cwqO*$+*7r6kwG#@*?sef%E|ATQv1Z42H@sU1B<hyOOt(a#Pg8vG= z><Owvb<Q!l3Nr@F#NU>rJ~t%-;^kx<zZbbOi2coC)PH-f&0*+l!2(uK%4zw)-KgIf zkm##qnyQ~lh(MY?PvRtXN13I>60{v0{M3Ey7yE^7GB%j&EnCAFVydp|y(ANBKo{7! zp>1XJURbHnI!4}f@RsmfolQCc!`TUXu2|n?Uw~ODMD3{4*wk6h>bXo4+&`re?V93; zXxvaob2ppyk_`xBI<$RwpT?8F34*vDz>~}xDndRW<XfZ(SKIoSpYQkviB3xsvn2F7 zN*%c6XsRQcl&?Oh%!i8%-Ye}=2viw=7Fm-0Np9nkpGQ=I5|ZMGr#F572~1%O4mFWZ zQ_Flj@ew)X5LwZ2U)XK%2~F@CtR|<u_WZqk*7qfm6c`?5SWAN+p-*f7DZ7FWMA+ZW zr`>}lXW+Bu$$Mo47~E!i#+1>Y^FTPh6}M`qb2vf3;ntuWYVTM@HrX>P!?*To_X_<> z`K9buNVhbPNc<J&0fVOWg6WRoFSR5@cUjtMG7Ht8Dd}$%CM;blq5|!zT#;#?(!t)E zQGJC)bskY4LFckhqB=B$U9rCjP;ka1vJBJ9loQ-5k+8DQKObt__o`_rEm0w){yE*} zS_Id`x8rL#%PQ$JE{*kQmw=R*$-W`ou^swHIfwj~y3`M1nN*i4rNe?FMIKo5XijsA zLcU2`Htryng%LtG4L6(KKnm{m)qV>0%dK^YRZ&eFt*D{*6VHd+l;}$WkjcQMb4*a< zrP&{8)<3`QQHH|ReE3E`78Z3uD&bEHqYsqe6-SlYJ*Na|AVA~Eh`q8#j#i(vM}{5f zYkUq|h>N%^Y5a4jd5(NoWI=|wAU4&yPk0d$VA~#9u=#$$1RR5=O9V~h4xW1xDkBn) zyQ3rvar>BWgK}Q|)~8Je5M%krR;I`7L5hhv@*f>@6HcjL#isKOdiNvmO~}p}e}<%z zCq3aktTHA$f|ea9{uyU6<?`9>g_K-kB&EnFx5B?mwhx-RlU;N?{0q^SP!iPKDj4${ zIH{;!hDrDt%J|wb=2ZJq-X$c+Z=F<sMZ)tjedUD6pWa{Joud8#RL*p55+mf%PSsk4 zDD(=~uzp~QS!uuRXL#MjK{_i2NcoeSz*PxjXOD?8_u+0`w@|gao&EYb!fj@Yv@za2 zH2r<H!Su^6^N{29vrO9O6k=jV&4lTw?q8pi$q6GoYsxO6WKIiO<g_<!d2NWXW2B5c za~*EbRaeFK?9#IVz{{bdeUKWRLA6t>>0~DyhWX12wTN)F5G-?QK7UZ`^j10!0@jN` z<m@F~)?VYzFjDNhUjsz|3AVA&i)C@XX#3GIEb55O5CO}9zB<#P_>hHxF6+UV$G$%< znd+x{vG<($z-!8__V_MM8v}6+){t7KbtQehwl3^$#_w%#fYfsz<CdI6t{l=baH(oj zKWaliXrS1kKQ$yDeH-hufM(rna}-QcL+yNcAe8zw+Ezf8DjUHwQM}-Hj)U`XVDZPk zI3%M5MAt#hED^(5oo^cRBYFPrFiPuUd3EuVfSQeqlIs)SN}EXM*~MPAv`oN4r`iAm zTQq9U!l|1V;F)x@Lcs1kZ^oa&ZHTb7c@LSA>Msxq-)Tw6KQ8B-5CQSr`!kGm-!+UD zOZ(srMb*VB8}Q>9%hzLU|6;mXP@JON*0BvVdOjpu05zL$92TC8om%*3f@*L&i+7d4 zj&pJ8t{RQJAMEv;C+P!KTp4Nlw3WGGA7@`dzsBAHxP0A59~6%$xhTSRpbz{Fy%$`} zMLZqIwR`44J;Vk3KAlz~nHHLe87td5$-88X7X}th!xCH_=HwYGw`Qt(z4Y&CU5mUM zY1lDxEs6~VG35!FjAujYw_nBm-@egTO}}5Kk7uNiGM|h0VDjK<EHSNd<HvpU(<j~U zr|Si=Kq>X65h4!u^oTuFB1=}EXuk$R^pQfQRn>L9*qzx>18Dmw0ZhX02#1sY_ejHQ zf&Nnq87u?hI#Xm2{wR$2XDnOTiw^bi%H?$9**iOM)YNypf-_C|<k6#zy-40^i%^s* zmd7d>ae!7B5)MjzVnHa2w~BINIF|W>&3sZ9z!kp2M$qVGhG;UTrCYT|f>qP(5m3aI z!I{*VV2p=)*cr|2wHz#OO+R|UY7^=!jDSW9DWra)h0AcHanxq~NVM>`!>%`!S71$< zYAidtsr-tia>WZrHa`(Pn|sOKKPT&p3my=A{dJrS{p%if!Gj8mQu$`(_CHSrkQ5<t z0bZbC-)Y$PsHLHo#fjxatx=RI+_wW_5D1Hr)pH;#Ut>e?6zRF5_cb;NH3gsU?hizQ z`Bd7e$lc)Rspr}l7@+^F@S^{V-46a!c+WM+$F=eC5@g|?>RuDl`_fPK>VrbH5>LG; z#+hNFJfutfIeI<+h)tTVU;{wcjq64|eN~G81Q^9Z2=Y^0KM#DJeKN`gvWH(3$p(Is zj4Gi-+7K!)amv<{uD0~q8DN-YmP#btLYri)VRM{MeLsC`Znu4Y0uJ9v{iLw-d8G%W z8&F~t`|Z?$rtWVKG?*$X#)Gw*^9mW1q}7t7ha0TbDGkqpNEU=2%mSa#Ut4gG^Q2Ua znqy>SVqKi`bSh!35|A6MN+TZY)&sU^CSqWeCEp)Xc!4`%b|=@$d$~>}nG=-b6?`8@ zQRt*xt{KpOyJ@}p0Tq;MS1-!XK%jdkjPIlMVCr|7){^8#x;xsE3E@|ciN%OnF4?OF zj&Bfo?pe)QBgdozu}DyRAoKw*Lm-TyW~;m>1AKf?50%*c8T^M#&xR;P5EjHkIKNA0 zE4N2$cWS6IPnMU-N%Kb09~iijveC|Aa&oDJp#}-&5(lMVpyt{$aJar1mM&wZlEwoh zK*4Tcfcq}sv0v=x4@C>!>V7w9M>jO2JnZUqGONO$@3x66BxzLo-?pQA_jX7!D0p<4 zg46Rk8LA^w+?8#ku+#@zZ0d<Y+1{nPZ0EGsy$Lg?peetZ_$4!l@AHx47D!L1E@1*B z<<)R19vxJVfk6nW)$X^=^T$kZ*#14R1$903Q-$A1IJgzMNnN+s|BBwGiP#??bg#D* z$Yxw~QoO2o`5HfF71*0hitNkfEXijoLdskd))6ACAQh6D?O7xvZ^fSC)~y7)c9J#X zj_XGEut4BY#Rwuj-=EKC7`pd7Rfqpve_Ylp2t^5c13hJ;FM6}oNWfN+1=K8^SnCe@ z-iX{N*cj&+=t0CZQHfwTi#M9#du3yzF%s%9`1f^Doh?Ve^Q`#hB^QnmR2InC&)bPG zE+GN17!PXa#x#bu8k`agZ@Z6euf4o~2Fp_}p-6W1#Zla#_Cn@jtz9qDBK~DCa_8>- zwPZ@r0P>V}m0}Fa*?8Bs>vFE4C9y?Zm*pZi-uAXBfuwz7qPK$IcERv^oZ80iz)`+U zwwhzY@9EyE(D#%qBy2q56Y`STV4SEUWxn-912}O=psasi<#B57uf%U{fixw{HN7a- zOOC&d-flD#5<{VtxP&9af@!MQqKGpZ<qZ}XK>J(9GR{UIJr~cg=vtPt8ya1~15!wo zT7_TK`i>a2k-<pz05>Ca@lsxQoYWsy{TeN;-8Zm&clL1;kY+-K6++&%W(2%(3L{cK zre-QAPJF*IGkRdhV2%F2@adfzKPICbzS1@zue9}`qi~pz1#$b>S}SPg8r5tr%m=Ln zU@R|2QfLc06_zei0|)tm8pKD4g)*yByjS?1knW^b02L&jOi`4UUZSEM7yfa_NA`9{ zuq5J1%U*mp4N5uwn_Gv(lwvVIkUMqu;`cDMn%KY6$>7v%UxlJTaeaF+7Zv2|V}~3w z@8^Y6#Va^gh$6OVVO7)TKj9HMotYW7Kz$UB{uN0Hy~dw#Fdy#{N~5jFaa>cf*ng7e z!@>St0Y@XN4vNv2=_uL^*}1&b>BfH=)9PIVkH`Z-&f=F};eL2O1>f66X?hs+>jc#_ zT6y$e=O$%g*jH~JR1~T3z1_AQ60!a2Rgy5h3Ni}b&8(4ZxpWu6-V*zC&pBn%18xhD z-4HRfxK`w(U-VX&6<SVh6c`Z+Y#pf$9Ec?EN~h7-A@j-3@_*uO$21%bG2^!MH(v0K zij7?ht9n+)uO^u62v%N2@!xB~27keDn8r09d<LF@mNN6l>3RIVVi@wk4Xrei&R-8{ zcXA@X$8R^;xAmc^@!`%FpE{m=0R}iljVw}V-C&f)FBdI_+w45fScACYuFt8f0>8n@ z+Vo*F9AlW3+X$gd{sxzgx2PQYx%Z6@kr6f6A6dyN(y?J5*Hc-%Hg=iw5G#998B*pp zU5e<tryOhY5)AwC3E&CZ>A<h}?CG`PhVrZy6=a$>GJY^eJ#2>8>#bif11rzxt1ONF z_mm(=mI~whUsXC0oM^2{@F15(8UTw!x8hk4Te)U^ZkN(ZxNq)4JDWf>64xXjVw-GB zD+2l07tGRV4%D&IHE6YwY~T#NNwe*Xw{|Yf*9VCxID|Xf5Vf%f?)XDnPc3Y%QI&rF ztAV^1#|Fr!_vbb)|A=EIZ~z96v~>j0!BU=WmIZ62fZw0PrS60>)z-?IM^*s+XFod; zbQeZZ<KHsPr3~#4T^{{CH-o-pr|YqNjj^fG7Bg<5+`1Ne5>Pl7+?Ok!tjDxP@1HVh zhAE2XhSRT*OVmm^Djk?J{wsDPxm^B*qP88NX_torg7D8A(gZ75!258MzGNLo=)Kdq zA$)+OgX6O~DaFXj>|T$uzOTTonOMe-8BsRfKuK3t3_<KY2$|?jQI1&$;Zxl|VmgcP zpqhNB^wS1Pj2xbCPeM{G6TFl~n`6rNcRM`=EC-tATSV<4kK?ZniW(x;?^fVV5Nhda z`F|oMM-u}ZxE4QS4Eb?T_S88>Oj<xj4xb0P>pug=!n50~b5!3Y5-&koAMe_vFe<qw zh7XlSe%X(Ji%aqP{9c~k%S^PJF1!Zbc;;Ijt9InLCh9PpPQB(nLrG~Cfc3FU^Cp1f z_?Cn49%RNohvohJ^7keXMeSBvyq=u}Bhhi#jWr!C$J$ZRV-9^XaxI-Ss085J=7E_6 z4TO;q@=zmYWs~+NU^$SH$Peeik(;ef@j%6h<l2;@LNH{m6VhJ<ZS?vRr*un02PNVY z!`v#05TOsk6YPV=*Gn-_0tV>#`HN+vB}WPOGC6ER{D|;}tPH{6#@>r>4FhF|Uko~A zg<@tL0vSuoVgA*tJBoln4G&NlVz!cC-NBM4jv)BcD;9(GP={F#Q-Lu<#0n!#hpfJe z6Q`$<{AQ`d3^0xmbr19p`6a@f1S1)UJsyYuD05fKDCFheD>PKAbmcw}qeOO_%P)*& z+HW*m66D`LG0j|8K8kHTRJ#Xb8#GwU?HvF~kAMo325}%}W<rz+@(u8e6o}$7f<TY% z_m5K_q8}kg6b35ym7Mma^p2ILqrV9&vmx`Hmw+RjknkAE?_!a;Bj5-phR3Ud>5Rgp zmFKemC|FRcDL`VDj>hGaPAxU?qXV@7uh#j6Tb>t1NdX4`U!f~cybJ?@v~;NvIviUF za{y!Bo!K!iP64&di~s=7&R--ppSrePxQ_juy|%@1B~a>LGu=6YO+vGff7*XO!lcW7 zH6j@EjgzxE>F%|+ROkJEw`J_@$b31OZ?V(0&2<&J*CJ~WI5VJjTnZ}6;rrst0|CO6 z`GnDk^m_}#{Oljc)%)Jki>D)N=Xt94_xbbQ+1l>WOD4}HohT5_*$ZD(KXnA735^y8 zlG}CnpY!7k)s*ri68QSZrQVD}lgQi=##MOn@KBh%I&T!O!ATN)ZLqRivGv<HZb3<c zQwifejBJ9ekzWK$baEjWu9ZM1{F?e!Kr3`mYiz~Gz72H5IPrlaXsX^>YJ1rDP>j`B zi&fF*dUIg=a2imgRn<3g#x&`IilBwBOI8m^lr66<{g-l)*GDm-pbF_>p>I|XEMObi zWyL!DWiZO}hz{yO>i*+S1KUp9r#wi><gyz#>iNigv6PdJ+t7(%Gwurue~I<qO2O5( zIeW<9K)0Y`;xYU4PUh3@TkFO5*Om37-9k6MoNQ>KZXoc}60q56uKD5f9l9R$dCDB= z@@FH-8ghfolXruQ_tF|O@5yujhxEJYhk<qPdxNdLw?L!er&F;BCE?Ht)29Y~2E10| z2JxyN)UE+DPi7+#%+P(|?rD{)rnzbF^}s681Un=*p%tq65F<yTTBXmibJTX!2NHr+ zPg;sA93D`V&fSt`>aoF2Czo!jYa2m(fHT|sN}kf_H0U`rGcWq?{PgNs&$lp+3u%rS zRlQ_clTncID>EfL`hfhwVZPcmnmar*<lmIBw@<jSj8l__9D7sbE#Y#9b<_7y{%irC zAVT*RO<l3adh49lJa!=*w`at#`iIEb(!n~E_6%UZ>tnLbFVg?_^#JQ(<e^!hDxO(D zmCJgfHY;(ct_x0z!YKHdxAK{DNIe))G$qK_5s%U!A2Cq~uj*q1uF4HUPBXuO!Si~l zn)h@G-k%vio+57u5lQ8=Q9l14X<@s_jDHD(;dBc1vOifyfIMA#*{Vq6(4DjC^ENxt zC<Ac(%XdASIO#2zKeB5BHo?XIUHJA&*3VY@Ug;Xb)9fJEm@03m>35^a68RV421Xkx zP~~z(c8TR(-t*KJ>tjr%9)K}bl~qxTK0Elkx*rOiX`dtVeR+g$FIbDBt7DT9w{y5^ z9{<H(t5`)JQR2S%2Y#@1jLT{!R1d23suSQ{HI|>3D)-o6H}&6UmhE&VgqJDZNq5~v zO_Q44*~F8*+3xX{fi6b!7ufO{z%QSiy%K4YmH)Qz(MWfi8Q^N?)}l6ho$YLPpx`z8 z_4-xy#rHn%lB(9zX!C5sitmgSDCOn7oc%)(@i%jCP88GniQC4fDd%v%yX7e42_o<b z9raK2BJ<_ng_;-Vo3rodmGdm3=SIxTNbbg2#{t2*!%wxHn)bb+X?@50qsl-Gb4^qJ zQ#R}9tpq8bJFNhWaL!=uP(&Dm(!@xz4u+hIT2QIgm9^e|`O1sK`bdd3UN0I;GYu-P zB*O>qjc&LJa{{B%fr7O=mg+X6%_Z2B(8y8Xg!L>s)SCnIKd}A-`#*601NT4hTD&>% zAwFnXS-3e^SXk(oS*Vzqsc7JsWbBMZ4V+DgsYQ8NnOQlQ*_i)#q@|pNp!tUakGKdI zr^qi>4xV4^Jfh6M#5jaSg?U(nMR`~_n16AI3lQ`De@ArSn50c?&794NSvlDMr+-S3 zW@WCUfiW`E&SjC)!gaEJ{P&OTI=c;_50yn?^PgOc^-kMFN|}YmKRbo!5eTJu+yUq~ z2FOVaq+<9G1V~}Nw6fVKm2!jr{r>IAzS!wXX>e@J%h1!zylnqIzNSKntgaeny1j1x z=~>+*64%ZzNFy7AO>{d5^s>sE2*&}bnV@UZanbF);<K=vfdqV2pi7v>xhr^9^rhbs zm8SBU0`9~uAQ7F-uvP@ioRz%tNVq~|qyA0ANEt%red}Mn0sTwpI)X9|$5-e~f)aQ3 zq|9{Q2?aLfL&-==n?78%(!XhjBFi#8ZdBXHi?I|pzg!}Sy7D!upeZK0m+65P$Ryzk z6TKS+Ej)9xcF$TAXZ0uD)Erw7O$Dq~gl0e6S#VEbqE)!Y(<`C(7PL#S4q-uTkU)K; zRrruz=2hsYKyZDCsDQv-WNw5QzrtN?Zdl4*?o;X1+kzBksF((!<9&@NGnSkocg%zI zF0-ecH80bf^sW^==@mAPnMHuF=i*go=H`v27G&Db#GX(aM6It$**}>h4{9+0pW2U* z`G+j?!k^x}bPHy1+FkTCNT*%)H0Tfa5TY6SfChcoEO2S+fgo0C>IN{?J~4Y(Z74O6 zg(+?Dm2~d+lQA5*zc2KqU`zUl#Dd-oLZ^iJUP)IJk7y~MTXeX^{*b_Q0FOP?e-{yF z=MF)w{%s|^72kwet#D@;4YaMrxP$=LN4^Ao@Ab6@$pWG3gV=RDaJEU`qc5!!e>d}6 z0>Ksj!5)aZ3i8%#JB#!LzIZmKC-?P+ED!08QVG5YqX%Z3Lxtx<XAaFX@%7rwSrUCG z-iu<7D(&}&8B*3?gBgI94fG&Bi~rkgy%svIxdS>X-@{__p0Umg8h+|U|9;BT6yKhs z{LsPhKHa%KDlg~gnXr(U<r{W6*Fjz&sJ{mMD|-l2ITAOChW2NWx8bLKDk`IT_z<4( zedKW=vHC1p`Y@=`MqMs+05;3ZfzoE!iZ(aJJ9#(~kJ!V{C}8R1D?N@@RZR&`UFT~J zRRa9K)2yYX?lR8$ekRS&XTg-n!_Nec51HikTq72Ave=i;at^-N5JK%kVXjkfEn%kB zA4z}5{U(-gckIp)9f$Q!goRQW)Jt0v>OOYexZP=8^2Tv5HjY%ajNYX{0Xc_Ef5k$W z^QyYpV&BtlAmETrqI(`fWEN~W&}Dg*vv`_ff?<2HTBp|rx++D>v!KLAx{AmOoLbBF z6@&j2BwHWt6fDz!c@Caa^V++L*NyE1P8|}fkHS8^#MsCLZ}o>ONJ2wB{OQO$z1x)s zVliJkSam?-rm;3uTtamOW06y^bM+<UFMaH|)nw2Kz~|Tmu_>0Tybo6%+|s|<=l{Ls z0PvLe{Tg<-KPTs)D!mGj_$s}@DNZ#N6WD1`BlK<+zimc9i;G1p%A^BmI5Q)Zc_3v2 zaVEMR%ePBGhRnC`hjL48K<WLR^l?sm)$6=Rtj_D<7z3n)e)>Xc7iXMFx7ogKk2nJ{ z!3d*Z&1}`p`!hY2&@eRBO&_OBN6Rca&d6jp+>IYEMTGXOL*}fy&>3f;-utLRK`f+E zTEcijE)F>6d@kEC^6F9jhUl1uweIi-Wu|0ttt<Bp8~-|dKuCsQXv8I0P{Z7`e9zEa zgk@OrqeJNdkDm2eacS=Zg^3+|OETb?B|Zj8>+2Za@~7b|lk+HU!^bZZIcaR804yS@ z_pah*hvSk1V<_a7G{0e`l<$w{MU(Y=0X%h*cW$xk>h<GF`)j#+81Knf%>NV31Ty>2 zTA}t+YMTcORyZ{v_q-K;yDW?7$3#Cy8}V5y%-z?6Wh=aDvWR|6^y3vP{9>otR;@S@ ze+O1v{Hk1Kl&s5Eto%=w1ai%acTT5w;ay)>ji>@<#d||?Gc0v47Kt;QO68Bw9*|MP zA*i$B{S~#5B*SY#9yEa#P_Uw(SC=AK2U@`<uo0}c;$NSQtmCd7ltBmB47PwyD?Yxf zeqEr~itqnN?pDxk#V1?j_Av1wYaW}Gf4c*0v*w9<x!Zx3wbPm>&#G+~7yyG{k2OE{ zB|R7hqaYn`{=V8MEyIVwQE<?jSAU}ihpg22NY-(1%u3;Hxnp1&j9aPHsJ0VKQp2AC zGgj(|^`HXIf+e6U$)c6I-_z4`V3`ucX1g?aL*#G9nU%&qkW~PAD;@o;TteaafBs0= z2uA=MS(~sCj+=~Y!QF<n9<<`Jr;d0yJ^>Q$IgX&X4%}WWE<lb?qofC`6KuleNN~i+ z@wt=`JST95CIr;!4bIR+{WLu1YJx1B=EC8cXi!ajCoXz%M9b~Q)eN|JxdB}C;)tNz zgRAKhX~#7sL066)cl&U)HtuWge*i9;blkMuD6Tf*AUK4JlpQg5M{u=kMBg35<xc1b zvg2za(H4&bf}Egx$IZ=6;3_;^-yBCmLLND^;bw3ZEhOMh;gU>_%blCURm{2Jxp`b2 zMGN2zu8yZga28ib78-I~Y!V$~QqFnYI;;y|1y^Sy2e{+1ljywU6nB?#e|3gZM%-0g zovS*Xuj8h5BO9hloc=VIozQ6G+c~6ygjk6z^{d9EOSlHq;Oeznpks$Y!+Owwdkw1* z<ZzimxEADbuV6KS5SQtO1)xvvOIUnzhdQWOTUY`}K3c_E50HGsMuc37LVfjKz$ybI zAF*rU2B7~2EMxI6fe^_@e{6Bc{|Z9=hhPbdvn<rLk$8lZrBK(#MJ%q8p{|kyFWd%n zpIpG&0g!w|q{CeR$w#NL`T>%UkVQBMkbE?YwHN4Sj)uZvfaIeJ)_#EGBLo+Y03;tx zV;uxYK0=-0VSwbLNvxv)$wx>z90U4*K8eNI7^<#;P;K;!^gsjXe-^|Wp?-}SL>fg? zW4aN;hgt_~i}aIPG#e2ymry&zu0@)kwv#Q6n0TnY*IizVQJ@H3#41Cg8Y$+4JCZh} z18GBgk%puzX-)b=laVwOSjUE+=~j=5BVD3(RHCa$|1*-BP<tdHA^AvxTVtig0liye zE!#`7YOUq=URib4e>!zoR=u@7x+SZ@+TUD})oAS>ye%td<=#EA)>?V&$FlNPzVWPI zla;^SBrCM?ojbA$R(^0(R?*6T&j(ii$HyuDeIv#D-6=j?Nb%9G6i@rp1!e|QR8Oa< zc_~Hxw^HQ3o1*ClDT;qd(NdqH?JW%|aiOb7x*D;LL9HlJf6Yd_iOMyyO;o8-Y@#BK zSQFJ}begC%GgP9gj5-q)WMY}978CPCWf*NFs=#O{QSn7<iRv!;OH^`^UZQG?>Jk-N z1ed7BqP0Zj6`3WftSBr|QAJ#d>M6QPR7#OlqAH4-5*1K1l&E&1p+sd94JE3W*Q}%e jopi&Fyc_%<1K<VymoWkz6PMmf9S;dGHVP#rMNdWwN?|lr diff --git a/Thesis_Docs/main.tex b/Thesis_Docs/main.tex index a4dbdf8..bed4356 100644 --- a/Thesis_Docs/main.tex +++ b/Thesis_Docs/main.tex @@ -660,7 +660,7 @@ A multi-stage processing pipeline has been developed to isolate genuine periodic \begin{enumerate} \item \textbf{Bandpass Filtering:} \\ - The initial stage involves preprocessing the raw time-series data to remove extraneous noise while preserving the essential periodic components. A zero-phase bandpass filter is applied to the data, ensuring that unwanted frequency components are suppressed without introducing phase distortions. This filtering step is critical as it isolates the frequency range where the periodic signals are expected to reside, thereby laying the foundation for subsequent analysis. + The initial stage involves preprocessing the raw time-series data to remove extraneous noise while preserving the essential periodic components. A bandpass filter is applied to the data, ensuring that unwanted frequency components are suppressed without introducing phase distortions. This filtering step is critical as it isolates the frequency range where the periodic signals are expected to reside, thereby laying the foundation for subsequent analysis. \item \textbf{Permutation-Based FFT Thresholding:} \\ Following filtering, the signal is transformed into the frequency domain using a Fast Fourier Transform (FFT). In order to distinguish significant periodic components from random noise, a dynamic threshold is computed. This threshold is derived by repeatedly randomizing the filtered data and analyzing the resulting spectral amplitudes. The underlying idea is that random permutations will destroy any inherent periodicity; therefore, frequency components in the original signal that exceed the threshold—determined based on a high confidence level—are likely to represent true periodic behavior. @@ -674,7 +674,7 @@ A multi-stage processing pipeline has been developed to isolate genuine periodic This multi-stage pipeline represents a significant advancement in the detection of beaconing behavior, as it combines complementary analytical techniques to overcome the challenges posed by noisy and irregular data. The integration of bandpass filtering, dynamic FFT thresholding, and autocorrelation-based validation provides a robust framework for isolating true periodic signals, even in complex network traffic environments. -This comprehensive signal analysis pipeline, combining zero-phase bandpass filtering, permutation-based FFT thresholding, autocorrelation peak detection, and frequency-lag correlation, constitutes a novel contribution of the DBAYWATCH framework. It is designed to be robust in the presence of noise and adaptable to variations in beaconing patterns, thereby significantly enhancing the detection of periodic signals in complex network traffic data. +This comprehensive signal analysis pipeline, combining bandpass filtering, permutation-based FFT thresholding, autocorrelation peak detection, and frequency-lag correlation, constitutes a novel contribution of the DBAYWATCH framework. It is designed to be robust in the presence of noise and adaptable to variations in beaconing patterns, thereby significantly enhancing the detection of periodic signals in complex network traffic data. \subsection{Evaluation with Beaconing Data} A thorough evaluation was conducted using two data sources: @@ -712,7 +712,7 @@ For instance: \begin{itemize} \item A beacon with a 10-second interval and 2-second jitter has effective intervals between 8 and 12 seconds. \item Another beacon with a 60-second interval and 10-second jitter produces intervals between approximately 50 and 70 seconds. - \item More extreme cases include a beacon with a 300-second interval and 150-second jitter (half of the interval), resulting in intervals from 150 to 450 seconds. + \item More extreme cases include a beacon with a 300-second interval and 150-second jitter (half of the interval), resulting in intervals from 150 to 450 seconds. At the end, it is concluded that the jitter amount that is half of the interval is not an option for the beaconing detection. \end{itemize} \section{Results and Analysis} @@ -765,7 +765,7 @@ A clear example of this can be seen in "beacon7.example.com", where a detected f \section{Discussion and Conclusion} The BAYWATCH extensions significantly enhance beacon detection accuracy by incorporating an advanced signal analysis pipeline. The evaluation confirms that maintaining a low jitter/interval ratio (ideally below 10\%) is useful for robust detection. However, the framework also demonstrates resilience under moderate noise conditions through adaptive thresholding and correlation techniques. The synthetic experiments provide valuable insights into the impact of temporal noise on beacon detection, highlighting the importance of understanding periodic patterns and the challenges posed by irregular transmissions. By combining real-world network traces with synthetic beaconing data, the framework achieves a comprehensive evaluation, demonstrating its efficacy in detecting malicious beaconing behavior under varied conditions. These results underscore the framework's potential to enhance network security by identifying stealthy threats and improving anomaly detection capabilities. The advanced signal analysis pipeline, coupled with a rigorous evaluation methodology, positions the BAYWATCH framework as a valuable tool for securing enterprise networks against advanced cyber threats. -The enhancements in the DBAYWATCH framework, as detailed in this chapter, offer substantial improvements over the original BAYWATCH implementation. By reimplementing the base framework in Python and extending it with an advanced signal analysis pipeline, DBAYWATCH achieves improved accuracy and scalability in beacon detection. The comprehensive evaluation with both real and synthetic data underscores the critical impact of jitter on detection performance and provides clear guidelines for optimal parameter settings in practical network security applications. +The enhancements in the BAYWATCH framework, as detailed in this chapter, offer substantial improvements over the original BAYWATCH implementation. By reimplementing the base framework in Python and extending it with an advanced signal analysis pipeline, BAYWATCH achieves improved accuracy and scalability in beacon detection. The comprehensive evaluation with both real and synthetic data underscores the critical impact of jitter on detection performance and provides clear guidelines for optimal parameter settings in practical network security applications. \chapter{Experiments and Discussions} This chapter presents a comprehensive evaluation of the framework to validate its efficacy in detecting malicious beaconing behavior in large-scale networks. The experiments are designed to address two objectives: first assessing the framework's robustness and accuracy under controlled noise conditions using synthetic datasets, and second evaluating its practical performance in real-world enterprise network environments. Synthetic data, generated with programmable noise levels and periodic patterns, enables systematic testing of framework's core algorithms, such as the Fast Fourier Transform (FFT) and autocorrelation-based verification. Subsequently, the framework is deployed on a real-world dataset. This dual approach not only validates the theoretical soundness of the methodology but also demonstrates its scalability and operational feasibility. By synthesizing findings from both artificial and real-world scenarios, this chapter provides insights into framework's strengths, limitations, and applicability in modern cybersecurity defense systems. @@ -782,7 +782,7 @@ The validation process in the framework consists of three steps designed to iden \item \textbf{Combination of FFT and ACF Results}: In the final step, the FFT and ACF results are combined to confirm beaconing behavior. The ACF results are transformed into the frequency domain, allowing direct comparison with the FFT candidates. A URL is flagged as malicious beaconing only if it is identified as a candidate by both the FFT and ACF steps. This cross-validation ensures high confidence in the detected beaconing behavior. \end{enumerate} -This multi-step validation process is for distinguishing malicious beaconing from legitimate periodic traffic and noise. By combining the strengths of FFT (frequency-domain analysis) and ACF (time-domain consistency), the BAYWATCH framework achieves high accuracy and robustness in detecting advanced threats like botnets and APTs. +This multi-step validation process is for distinguishing malicious beaconing from legitimate periodic traffic and noise. By combining the strengths of FFT (frequency-domain analysis) and ACF (time-domain consistency), the framework achieves high accuracy and robustness in detecting advanced threats like botnets and APTs. \subsection{FFT Candidate Detection with Power Threshold} @@ -792,7 +792,7 @@ The global threshold \( \tau \) is a parameter in the FFT candidate detection pr \subsection{ACF Verification} -After identifying candidate frequencies using the FFT, the BAYWATCH framework verifies their validity using the autocorrelation function (ACF). The ACF measures the similarity between the time series and a shifted version of itself, providing a more robust detection of periodic behavior. This step is for eliminating false positives caused by noise or transient patterns. +After identifying candidate frequencies using the FFT, the BAYWATCH verifies their validity using the autocorrelation function (ACF). The ACF measures the similarity between the time series and a shifted version of itself, providing a more robust detection of periodic behavior. This step is for eliminating false positives caused by noise or transient patterns. \subsection{Combination of FFT and ACF Results} @@ -813,7 +813,7 @@ By applying the detection algorithm to this dataset and analyzing the output, it \section{Discussion} -The BAYWATCH framework’s combination of Fast Fourier Transform (FFT) and autocorrelation function (ACF) proved highly effective in detecting malicious beaconing behavior. By leveraging the complementary strengths of FFT (frequency-domain analysis) and ACF (time-domain consistency), the framework achieved a high detection accuracy while minimizing false positives. The cross-validation step, where only frequencies confirmed by both FFT and ACF are flagged as beaconing candidates, ensured robust identification of malicious behavior even in noisy environments. +The framework’s combination of Fast Fourier Transform (FFT) and autocorrelation function (ACF) proved highly effective in detecting malicious beaconing behavior. By leveraging the complementary strengths of FFT (frequency-domain analysis) and ACF (time-domain consistency), the framework achieved a high detection accuracy while minimizing false positives. The cross-validation step, where only frequencies confirmed by both FFT and ACF are flagged as beaconing candidates, ensured robust identification of malicious behavior even in noisy environments. However, the framework has certain limitations. First, its reliance on historical data means it cannot detect zero-day beaconing behavior, as it requires a sufficient time window to analyze periodicity. Second, while the framework effectively filters out most noise, it occasionally flags legitimate periodic traffic (e.g., news feeds) as suspicious. This issue could be mitigated by integrating adaptive whitelisting mechanisms that dynamically update based on observed traffic patterns and threat intelligence feeds. -- GitLab