From 54fc6894fadd06f56473343fc40bc92d502370ee Mon Sep 17 00:00:00 2001 From: Sascha Tommasone Date: Sun, 26 May 2024 10:53:59 +0200 Subject: [PATCH] [Assignment-4] added mitm Evaluation --- .../abgabe.pdf | Bin 174091 -> 174987 bytes .../abgabe.tex | 4 +++- 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/Assignment 4 - Protokollsicherheit (Praxis)/abgabe.pdf b/Assignment 4 - Protokollsicherheit (Praxis)/abgabe.pdf index 7b9be53de467fdfd3b4e9a02ed1fa49f2176e422..a8b2f970f6db6348e216e7793d4c425f84231f82 100644 GIT binary patch delta 39742 zcmV)KK)Sz+&MZB>`MCHZ(FIARr(hARr(hARr(hARr(wNkkx9JU25lF*#vo zV>xCpWHB;gG%+z_GdVUfGcsW{GBY?iGCn*pGBi16WjQ%BVqrHqV>mE0VPRuoWn^SI zGhsA1WjJM%;sGgEyp6H zrmmC21U5u(0@C6@ED07VWe{Ls;9=noh}k6dnZJzxLW8YEOp#=~5f=}$KC>>f9uOKa z=`d+AX*0cIUd%Ls;{?-7kVXJ#9?LBLcx-fhg3UTU+n!kxkotrQr%h9?s*SBswxu?G{OSlx7DA;rmRTphoZT}Ue`B;>#$HvY8fqrVu=omaxx~qE@%bkxSH)|Q#9Mk zx?Z4^Hp#fxZ`h^St*Oty%c`;Kjs1v!t+vKqooNnzzdS$s>qtP6Mt-fx`CIBP}p5Cc;Nqs<;zVp9=aPL11uy8zLjQDXdHx0poZA=QbEX>;B;MHI)4u} znh3&ZulvbpwcTQ050vUeM8>pCKS?FYp>vu)q*D+ZDfROGv6AtgT2tAvUW>5mdsUML zmYsi^w*X!cQt~0yg4js4Gh35?a`jZZsrW>@u<(1e(-1HM9)F5<3Fm;G^daqn*hstQ z+l#4MQ@M#+Va5Au!Bir}ppb&elnY>yBOw*bGc9D_x{i*{ocv;_p07+sAf?|#@0<+q z6w5>=b64ARH6Sx%G%zOz+D!#uhKWR&6bIExCt25U2}83~Dz17NU|W-aYTb_#8l2Vp z>Y@_}LoD{@Sqvr$i|N|Ja=U?s+FVB0{V=57^XPRHY&%88j9tlAZna=S8UkoVDuXqV z=hDrXXZ~~Hc@iegwKBA1*Rlvr>s}PU!f1;y+;FnX=xVUu0mN0#RD$M97#i(K5En9` zg=A8)Ob#HP4Iv)Hf|MtJ++*Oj7+Ck4Vgj62ij7?=czkJNZoNHJxIAx}$q-du4|~BJ&gi z3oM)}mKlH$C>)H~wRI7)@AOIUui@eCy3ZwhR{dhbgQvi%z8?G9cnNV)L1LZnXvDPcMRdyvE{l9-GIE7G0F$`4{9ID|rI^kaavQj?Dc zf}>pmQd#Ow2yhO6Lk*ZxUh4FGZbbr4V+rPxTpE)5W^P#;qAw4tI;fg{ShaMd+6-yT zXsaKktsH5Kq@&{VLv%BB*_3WPdV25->88sjO#&KmJ;_Hy>tpiKAp4ba9?nO{w)z4o zN3a}^f`*CgiG-6Ircz|rB!{pR2exA`6@(n#&mjd>d0fMPo@`=UwLT@CY|_(^Oi{6i z~UO3sthE$hcXE-<%J#@l|LLWjEF6TI(=^a)pH2{V?n7m zjH4%)+=82bFwj5d!W&Wp^~ik03?g~7+m6+m-e-|{d+T;#34c{IlJz&Vi@_D`+>I37 z5T^hv-ksK)X1BR*%Wc(+$m7{}KrO?oRc11PI2_dz;V+lpaySvfhZuE)(@nxT-cTar zBJYa0Y+5Yv_}5)~XKQL)+J+i`tGDg;2JiE?>veN~LXFE}Q??{%%ZluqjvOGNoMBJ} z>n0%j5gg3(_+@oje{@<=Jv?;7j1>d>>duj<(yN!Rf>Kj>DWG7LPgsBC^_7Z|Tzd`lR&{{gF)wr<(j zJ&?VB0~u)V%Cy&8KIlq(C9`gDqFKq6*MLfv*7x)IfVYoxIC)*hhe^ZQ0tEkVtlh#(m>8wM&WKZvcud&~O0f6M0{d~g+*t=@|t$h;@vBWE%4g2vh(yPz1t4>!%W?v!$* zhkf46rj(jH8vg8w>6dbrHeal2g9LkzH6)}0dZ^z!MovVQ$YKxEHL^t01kNmN<0^C2^lBn)!mEtE2YFT97e zJb-{92mqP`vH-o+6wo?$%(wHrxGWlK{r0+i%ay7LT=1mXR!dt~v-TH26rw}Ug9rQr zxda$F3}G*P=c@wpPg($2elOgA@JAd@4R%O!cNt?+e|zO(SZg1{Shy*wib~6W;u>QZ`VrY; zTgL=gIly1SD3EQXqu!QGhs)0@`~OvHs(w)WeQ2~dRMf510Ed6QgQG=7S5`0@PFtOmv`WGNx069JDa*) z2CJD5tsH;sceSbshfuq+*J}i5O;SWE?X?d9?5}TV*-qT|%ik>9|`avTdt|=?w;}F=q1x{M6%eiE5YPY#V$`kCSfUX91!>S8y zTuJ3G0;ri1-TJyj+qKk2NlQ)9jt!1u;hVBhER;4(GCUDwcp?g-4Hf8K0}4eo>Fa5w zq?8jHeq083kt^nZ&FMTLlMDg?DP*&8uC7XQZ*yDJZ52dT_F`AL@v-)ytd|Un2GY2} z3D-TthyazT=7R-`8(TZmIb&dhV@we@RC9cU1zT2Oo?(VMSv+NV5RO-FzQAeSSsQBI znR#%112S#Vw)cvALR7=VA8L^JPXyJ=yI)&$L2aq=q5uHa z?sf#Lz=>3U@P@_W@Ah_G;EF#khE&S^{?64zpA&l6KpNm2h81UiEX*dq1c^E3LqF?8 z#J_HFe+B2i1&uMD*R;| zh}=2UqHKrS#c-{DV+I2>y+3v?4F#Z`dH=hr~kp zo7G2kp7~w+e*ssT=vkA#4>bchFgTYHSOOQ54Grpbt)>B%V5UU^~6cub=Oblr347;}p}~c~~H#De{o|&i#mr5lk>6nPWyV zshH8sN@fgGJ}_hPXP9x!DGYk%Lu4kf=r9qPlte9<)Y8)`X`*Bn+c<|`&1BGuVZ9Op zzm_R~=?$}vDWyU0nKIrn8<=ufY$H=aS>^=O!U%>fw8A2%nAREqHGT=G!7u0mK^yGr z9DV`Zd8UI1%mKEf`v?dGSpb64%;OQp;~r3)w#);%2MB@`f?(d_H!9|dS;zvU&Vo6J z!9^_g5lfLvh>^H_=59ae~I%a&Y`aC?Zj`w%j$C~WvWHgzc+z!qw(wtz& zjQ{*~zJD?w%rPSJ$g|0K&WQS%j-;792zmf1eNE~ueM4F-eNXx>{Xp6-{YVbkGUn5h5w@sc4^9`kxSIX|i9iPybnjK8hE&X+9i4rW#2fbV}ecz5{X z--k!XlbgZ#WHcDhrFe8)UEPfaQ!qY0pIi*bS7Z$NvBT+X{`4AiczBY+UNt+P4sYj^ zDQPAV9S#bOgmLqeyR-SX+X@)a;{NS_9d({*9G2g20-Fntfq=f|&J9@Jvp1}D636{nA@IAz#`Q^kIq zZavQDPu_fZvj?0dg{UfY9r_vHAOcLnc%$+w%c z$!NCTUORv#LRts0UqvkRM#R1!v00CJ@6EIQ!^4(@!&U-bV-P{Dz(q*hgx2+=)$7r| zeDj|VuTENM-FKsv4?}DF(W)NVo<4bbblUK;HFgkJk;0ohNc9R*vpF7wex&02k#<4? za^1a1DUol2Dte*1o(TKvhj;IPPxl*8vl(m-UTcDZd0>#0{YZO)>^4F*oiL!+B!pF| zCZY{k`va|O1+J%)JIulCUkop1$i*^ql3C4^dE{fg+3UeoHT#j3$OEensvm25Y;ONM zRmq1p2fN3+?J&PCYIdVMfOoXJnnumWtRy$MOmEaY-938MhPy6oZU;AiJP2-o4t1(+ zivN?UwrM{n6xoK3;*sJfh&?sRx{Jzs{9 zg}Gs`-%teD9nU_Zr$X3K=ymr`;qL5iG^%>H@!s!*wTmfBU0&iE;u?|6`RxF+8DQ#W zfb_y}KDoIWFn;~*_PWA<+t)3yPf!=nMuXWkNt#c_c=Y_s1kLrdLjQ7dH>J%#SE6XS0RjlA4&nQ#3K>73l99iF+c16vkECLhzov?bL)a%^it%@-%i$e(dqkGYvinrc z6V9j?_Ze&iR{(kj$czIaAz}Oq&>07#zcc=c@e$)UjDrury``6bcE*8q2JDRAG5(qH zFN}X>{2Swc;N2Wr99#?`x!G`rS9HjHvb=>^^1H?@xVfsP$ZHp8qgkI;oDVx1a#7HY z_j<>n4AmIX!S3L#8!!Fdg`J2{;Gy~u-HtC5-cdiV&wa1r4jm#WP{hvW!T%BjH^lUCX;XyBy2+%Tbkf3X<$DqsnxR{gfnHLCCaD6uMsR zoY|rC6}>~}Dzp>1fDMEzW6W*PG?H85LM1!bkY#9$=3e%JLJ`taQ%e-BxkR1&G`H=g z8hiLoYkbm79--qCk#wihXyVfa0gj3_1VcInopxDjM3Gm2JJ>~(uFRLQw6^RHDau-t zd4Hm#^C+PfkGFJ^L|ZQzExo+ZilzwCm@#G{_}tebsbWD<1eizFQXEAUwoRQWbR;v- zkrZAO(wNN*G`mIvL7&evz>8u2~X)wrXW-A5yB;B}2zhGA({7sf^e8bRA_jJVP2k?9=%LAaDB1XEDRK!3-|^PdGd+2h zN7AK#)T=NapwWnNvVEj2N|&&7L#aAhT0)TqQbrAMRXUKTOdoVYCj^a{G%f?iQ=Tg( z^>LxprExXPOpDrWY@mQ7DWqjcUWc@=PK?s-0gRza))CLJmdreuNOb@JLoi-Ypc0z) zam0?Jqy9*9-o{cd& zw4E&7{QPd-`Y?|w-(pO~O+RCyzkLDG5)Cphi zqfNDEUbmp7d6VqZ*wh-TJePAMvy$Ge*!s#VavPHTf+Zd2zD;<14phxHr<6!~cZNiq z(`lJa<64u&lpT`5ZAvvUdrhJ#ZDY58+;8oc6_@%_BzBunT*`mi=&Te|*D`swu6J-H zBQrV2x@EarXKhhNb8)Pao!G=eDVI|PQ&ujhbE^}Ex@ab&EVC387PUe-|#V? z@LN9RGd|~c{PVx)qiEjok&N__Z#1}?vGTQVcX#p?IsTCejy+P5YG!z~lqfqsW{PLS zQN>i_HTD0-JIt9zC6)t9FFl{3U`oseO9ty-?Z4Ls-n&Q z9t7~5AMh9aCB#5NNM%YA#VCn?VG0p!DFCg&f3hQ!t*FJmTxI{B4{c2`JRHpuB9KfJ?P8Uf^x}e;4j`uO68_4DBnrtYySssXMHBu_uCH4w=EwE z!TsTV@%5we@ng$4AE7vx;=D_5{w+2`CuQIBza~B2V!k71Z{|3C`q@&K;1KnQ)GED2 zwm9r0vU@&T_C?ayrXo{OXA(6BnF6Ii4z5gW%&hzX1w}QGy@>-GE0Y?~(#_7q8NklW%F2mEMJ0dk z3^Z}I202KWxB~eBJg!y%WiwZ>Em(t|^|ucWCZ^w>ep`z%1LRE1Y(X9_w$=a> z2XlZNvm!G<3FHA5S_5c74ggc2m5G0y1ps6L&;aTHG}R^5)B)0J%9<+bbj)DK>TZsX zAm{&yMO@y_0;Dz7HGcoq06KuD2HF2Z0HC#Ub#>%tVe#OSv&kAQxsK_m6BA~U{U}No&%F22wWWpW>-(w zf3$!56O~Zl2k^3T1K9XD0j%I5m2@x{2ie<$qjo|1T|NnGaGhL1&R%~k|97x$9Y7uq zKL3ve3u^~+i{G_3cXMRXbg*`E1IkMLk2+X{^hah1bOo>ifKC9Qr^B?d?Gze|7rGX%8%Y*jk&J~an9*m(iWffh(CN+4J8NYMWOv(x^IOUlj8 zPRYa`Nc(?k`rnEs_SSY@|Ec<4D%!x`(b6h`ob65Q{%g(JMatR}Xs%-IYG(DX(*8>> z>uLg?e^CcZJ0Q3%|A;hyZz((Q?1Il9>)*#0fQgNh`@hz}V`+b8>i~3d0dW4y3m7SZ3Le<5xFi`XB;17H#VgLuKA{6TyG z7Ri4j9yS1r^dEo30br5+gTM^(e-M~K;ST~cDE>iU2Bm)^URD5$${)lIU{U*nzzpht z5GQ~|;|~J!Y5qZAKCM3p%%}Zt#0N$u|3>WWV0sgCYoId_d{F#R0!vN*AaJ6l&frl6 zy4nFPT>r>9{w@F4(EslO8z;C>rrLpZ;`j~S|F~e|025f){ZaUB4svt;%OTjr@~_hT zhCuMfa4$&{SW-l14!lfCH&9r!usb# z`k$whf3Ui%GsqUGZEX&IGW$zK(FD8&JoQ<@R|6YZ4*vPy{|x?vfa=e!_LsGo7|7Fy zi4#1aOzeE%gNzeg0C3ZI{Qkq%>|YNG|6EJpqw|09?^_xG1bPC^kd_xfW&$BLX^mlD z{Uv`3rb=O{_?S=1afNi`5@41yrrHVdCGxh(fx?AB&4HQJg&+kPegprMAcrqHR3SKa zFB>h%6_Z!ysvp?hm$t5bhV>|#V{5{8w!?q)TtX-4AY7X2fOLJm$BvIN=@nh3pEb@8 z!yT1_bL{ED+JTHI5`K!N-O1#?!;+-EciLFdJcQSebm>4Qf*=l{Br3I(2GAtEN5b{U z=u^Z?fsUAb1DR0h(&-kIFFPeplk?%|Z3D*i(gPpIFJD~|jn&{Z$&=OIgEU)8{!f4Q z(%x#BVU}&eO`d|t9s()!l7NqypO58g9~61VGa0Yl?!G_Q9_ZQYjv~EmBiuDC8zV#| zlQ?7^cQHea7KA;YvB)7w@~5H(jzEglDSs!tWwAszgvL7rkpT=?yZ)Zff#a%RTE8y4&k_n7|G>&BC(fB^Rd$KgHr}KX%PmACi z$;Wa754z3bn#r+|*k-z(+9N77r3Qt~nrN-%sHfS)s};%G4OIN|x1$lz2|mJKuE|d%ue25iYsCRM3Wr$PjO6eQ|p1Qzh`)Jr~9iqBdF* zk(Re;X8opzDEa<#Rc8(5D+hnDB3NN{3kk0}j$fLVaSt0A(PHj6cvK%+ad6GRuG4|& z6E1SiRf(JA&cf`8KWmrT-EBs=EACBZn_(fmI;zUiOKO)*_oYWkfwnt7_s*wFvM=k0 zc~d~b*^5&2y+~gccqb#f5AXMHxPe!#`wVs5*ppc zm3)KzHQ_)Kr!8!F&>PH7DBC2MEtJ*Y2VromP>>%S%@jReE_+q^-~5Tc zJTJRNq>DyZBVs}--rXr`rQ3koC+rPef-86? zPmh&=;WPJP$Qx?c%PjRwHIDNIOy(Imogw@BSS}4!UOAKaG%kNtJr53|DYJG|q+YR^ z$>xpJ+MC<_a1^jgY$SeHUnUwJLVtcG0AOhum~8D_@1gRZupHe>jE9v_b40Mm@V5L>@|zRzL^0Az=@dUFfJn)!KJ(N?SglAbu zjlI7rOd5aawF!(Gtj&HAK4re~q5Zs0H;v+Rwz7|1{*%VfOVCou_{uLga=K^E=9*QU z`WAxu11_R7ymI3`Z0OMYd6HG~`ciI*?@i64^a%;%fsju1uA04e~ipz7@;6y&;xz{M3MRid8QT z`KbJ{w`^xzK-KRBi*ILeA~sX?h7hv#Lt<)wr^*)(b33JWALLyVWrTo;Q|#*P$T#P* z?8n~#( z{^Wn}ka@Er5hs=K1*67PBB~Xh}B*FMg{5afw!hk&D!-gA&c*NhSA68ddL1{)scOU+AO~ zIq@?BHY@!o5ZlNbLr*iGZk3)cpV6tj>pp+4Q`;E2$YLAeNcU$g4Y}I3 z8}Fgo!u0*oCDC9>Eu7v7p}-ZtPdrDF8I8wEDa#7WGI3OeRK!MFt>P6PHJ3n>r?KuP z6TL8N&!;AHi2X&@Zn;x@#R~ytM>}f-@xEFPH309!QCT1xkIPo&QK*ag`BHTpo;ZJP zVGC-~1DOhNGv;lN`jPt}66!UJ8$AIV6KaU*2yZs3v)fGTOSJI?dMg~-o@tVG0Q?t9 z{B^eOpxKJ_v%U@lNvHLDf4pMiPANz^E+)k+sOLw`0hMO~%REF`tdv-CZNt#l4vnN^ zHV=AGf6xwwz)yc2oHSY%VcwIJts{Se6IZ)@OC*9uVTW@D)x8fI){9j_bK-~WmocR6 zCIo#B6vrNyfF{RITg1Y+u|x~u$|-Gm zG@Zp~ZW@%3)jYZN(X+yYUszaT#c_tVLnc!8-=aI{Dt|ya0^OqMlA!O9vbTTA))Et+?t;>g?7mZFk?eiE0W+^lTqMU#4$Y;T;*AYD^f;KaV=K6TNtMk*r@tAQMe}db0irwSsO+ zG9z0!Q#{yVCez};kP&9C;1w#1nTy73F7P>a4lmI3V7lQo#8ZD*IMjn>{a$|A6(ea0 z$-u^*nS|QaCb`(_OoSlXpoU10)rtTsyaG>?^q~#o`a(Va28Tz=)C>)=t6Sh*zPbhV z8$&hzr@q{@7uH{pvzIM7Q7N%vR^*-Ca34Kd%Tix zEc0RYW}qE3MvP|hQKSBhU8!!>6G^t$MD}FMKVyz^mBxR(zNOHU_3p#1f#4lPs9#@% z2tsT^fOLLLeXNDPXo!+q%aqd^Oz`09Zx^9$;E&BszwI+K8tHthRP(tuyakT4--QwgE*(7W1F18Nf9S2L=%^Wc?!3y46tKg zJDPudayx5N2hvOnd1fgR9IKX?(9&+qO6;t6(z#+n{;H$yhmEJ?T~^3I{Sv)_@RZzE zzuL7W!1K~4_^VcUsOz*~%TS}&&JdGZ^{DN$rtN<>U&6KGGp|%kiD1amoxp?$hY68_cBSh5eIG+ zBqM52C6*l1K4i55FJ5+#hu^?<)xY0}Vami*RUBe+zeK&Svl$7UUBi z+`xa~TI*f#;|^~UG|hPjSg>#6Jd6=?UNr30OHIgxqv)>>zZLXc9w>xJYA9c4;7OR> zB8+&5v2i(q8@syolD&wpHTfy z;~V{XnC%+C^XRRl1N9F*BebAqlx+1pwi(qD>_Wdc9@MPE@GZLcG-v_pL^;NEsx~im zb7hJ1j!KOEzcSPnT23(Pjym^k<1zYv35%xbytcokx?D(#(x2BA zdnXSMw%%eyk8l?SnXC0hd&Iwbi6k#OnE&QdS7ptT;FsDS6wX@$ET}%+OxM&ON9A`a zTHlI;>uQ_vF@Cz)>fpxbK58?0`mlezK(@noE6VAE_65h)xPlAQ*xefC1p{?Fx%nKv zxnym{HIuuxzc6Q4X!}@DFt8;~evkN?el9`R<&=3dI_*PBx?DVh+-8eVxf-2jiY^Jl zdYV>yO@MNWMH}!RsP#j~fpP7mfkUwPwOh#MxLgJ^&!&O;#>*jmMkImwBEx@&o5{Dc z`Wx-%-SqRhEnw;-TLJPyKbwC49V;aM`kzR^^q$;zevCg;KPqB%YKL<>1epfMX4@Y28q~q#!U?*cImAArZ9?CSUEXFmaOMJav>!Px1^_-sf-( zT|_p|xr0;Xz^ihegLL6bRX&{{#oWy;Me|5*YgYl=-rJEhNEv?zD;kD$?v@WwN{1SR z#%$yxQko4_pZlB_=j4oDp;JC`Jk4lU66l(QFngiP;eE$f&?LqI*@?&+*WpiB@ z%lry-bHbTUP$>i%Hoo*WnquzMK+EB;&&rvPUr@ei+QPW3!J#P!;F zDV7TBqcmv;FNT_@Fa&i(`m`{Mlosx7a;Cv$+`4cp^};!`bZcUBN{ouFxJ|=)Zy@R8 zNOyl=+fKACY?j>d&9W}@|=QFMTAT3Ot5kZ%1a1j__o!=SY%sHPqVH2<(F zUCB>bxRi&dtYeC=qnlj64u>bxr<+-(N(on>FNB}u{kPU!+Of>K>_qRi7?W8=<3F9T2)Veoqk!Ag}Yv1>KChAzT2HirKwS7wzaz9LQDj%rkZ?Av! zy^o$&#ZM-C6^z$SKTCIM)Xx%p2_v&KB?*~P{r9?|%_=W%x?uIxM0ApoCy7d??K7Ah z%)1php62K#LzJ@?P`}HVT?Ke^!>8sf!c)S(&zkc=cMKQKhQKfY8J;C-m&03cq3l{*BR= z_1($Bpv&(3xNV?CreL?zONDRFnCxX=go>zUA&Uj|m;K3M*~iy5Jj;yM7@m=UTa4Qi zdb#SANvvbscDk&o!sC@1(DKBG!+DW`p$m(byX;)_R2@)BwEMmfybPS8M;CvGHreZ= zX5o@o+xt$qMRU|VUM^!pZGOY-h9naWBfaG~IWJLJq%Yob%`H8C6Zb;_Q~;_sMm!B| zWrFqh8~dCzcFup1wZBZeNKf{ZzJ>91s_bb9;|8WS#~t#V>k;I{irj)N z1EqCp`m>GYb=!Rvb2I2C^h)0kPiis8D%i7t`Bc%b*<5t%0>PAv0iied%BFLV2JINo zn8LOI2hZKK#(w5$rRs>j=Dq2)MrYRZUzczv#j|=|jSJX?caAhd)c1ey#}2i(7V^Jp zroXNCv?r-g3ON|5J+3|7rFkbh`sCTU!yMtwB#~Gb!KM7o&H8lA^$uT+RT@0G*G-U3N?VLMV$y%vhh4unfp$&P0znfvLjXP$p{~Vs92G5eY^m1RU(Bp<3?t(y z9IMdluW>p?F%_cZ`i(SS7SL|6&dI%M&?Jme)rMw>$}P=h#LXWk>>Ww#BB^|$`_kZT z!c~WuU=Z$@6cTJtdxja>a2pjve%c#>xFsovV;#&B7LSYh51oJc1bfX^hIj5a`SC<( zM{Dz)eA8ah91%oE@w+1-D(ezSFp>&=jxLrfEIptMElo8m5y@ao|Mm_3*G%SxSIIMew@3AheN zs4fDHaim1?NFYRoLn^Acar?92J6CKdWNC$wZfIbxyi?uOmbxm}_Ptnavkq^@HhC~M z-`m!{WUjg`h4*6=_JlTjHbV&E1s@j3C`S?hzg{9aPD6hnR)i8W)h^+ADa>mI=?~b5 z#Chlf-et?P2&PB}^e``fQvY;p5u8zCY{Z?k`OBh#NM_F+E5AP`LJz3F0%rwzu& zRB^7v>9+YxlCJod$s4kz=&^KHIz%~%4g!9ivRc(IOOP#Fhze; z|0p2Mu+w;jgHcN)_|x zB%SQclAJp_hR8B89;h`<(HzBmpK<<j#bbe z>h{I-R*qt|vr{kc!m0ZRM@wDx6#MF&b9m6N+s>A8VUHKmSV@Gs{{j-p4naaN4`4lq z6stF2wr+&^kX)y)Zl4;{>Fmsbqd2FOdq-u?awY6RL2%BLmb)l2S(hai_ir@ z(pM*pchv#Jd?-ULf*9hmaPYc&5OBWhXCtB*Wu90#erQOmCoYKyb3{->1c@lwBad0K z9_os3q(Gz%=azAamz@*5aUp+ZGM%ffE??xta6ioGEr{DVR`>Mti>BBJ!sjR64Vjj%5Fq|S^yZGY&TBeg;HSjY!^-AKdt}pobXY)LfR_IY>HK@ z|EfbOHG;L}AhFBIw!}Z@Uz#abYEVdf5SR_S=mxnpYIjfOB;+*-kEwrgU}}WIQQ-jx zqQ2X}dC;|tOg|u+h$27Ud#f7*Y9zA4O~mkmplS9-gApgR#$>SDWqP_}Az1%f#(NWi zt8VFhf2(4Ti>QRZJmgzz2m>nwt2V6-mH43MIPgI1rq^${jBt;`PK)&Rkyq2iQ2+7E z#u^YibE<26CXs}X8 zGe1ta6i7LKgpHqy?$t8=wDGFpPM3hRUq-HGO6u_N1Kvv`p5C_;l3&nRNVAe@9H zBtVg+6=s}fope)+(r@J0acLX|wVwEjaV9A9)wDWfp(U-MduKcehmw$zcZ- z#%|wRzu3q-Yy(eJizSJ|bzCqEMa~A(p+w+zq)ce3R`T!hf`;J>bS*~TNLrEc-5Jd( zOXgu+g|wl-=XO>Re(85Q?AJ@N3Uw=-aZOU}o-q4p{9$5|5U7(WNG3QWL;Fp7QD*UH zPC!~7Q%BHSrFnn-5Lz5Bb%m$l#{&0|PhOMNB_1`f?;Do7{riNui+*&{`9J@HS~{4Y zn3KW3M%Ekwh$CmZR3W^dMcB{{^y~ua!!+#BZXY_hj6*`^nCGEu>>kQ>sjX*}q)gmB-1&Xs7q{n3+T}5dHoKZ8NzJ$`sv(xkTE=&gR8WRnK-)4L_{(#?d88swf})G0Z-rbF6y>-S|KLAX#fpRYh0vps0dwYpH*JHLz2 zalc`ts`(cY9%KiFIF0bZ1pVARFo>Xn8-kLq ztV-Fg=;Rvib+9div-qg1qv<*7K1##mFr$AN05Cw$zqey;{c)6$RPsskS=~Fe1HTtU zs%87y8J0Q~?q#B^_ET`q#5cE<&5mlMUiMpv;A5b4WreFKOY@>LcD*j=5hYG(sfk39X=Rk4E4_Y7I^}L-^P7E zl|iLAw-tyF(^OIN3a`Dj)w0|wC)R5!Sht3Mx7*4GPvryePO`3~nl+61^7ca>MYrs& zr>eO20rN28cg>f6ZCf|LL0)X#Hi4ysj+jl8mrET(8Rj3`PO*?-MQAz&seap_Bz!qO zhYx|VejPyF3oqYE9Bu78-Hsk(C2z0ole!?{6fuTf9idM2IPB=M6kPAg(|3-32DAx( zZg5o=QodMf=#^#x*|Nm-;RMww+;+M5J!aK!gLR zs9?V)$gXz}->csO9YkW*qq6t8nH)ENCd9rFwvU(4)49N>L!aB<2Cv0J&Abb17)K5j zH`JO^)g}h(X~3#IayXyx1}5yj zFY3Zs)1f$A`-`1U0Pe4Pta@xrG)rkb7`Ys!&BllW`%*^Oq0RvVkD8^`72E26Mgj9p zdY%LBaT2`y?`r4qqtgPIx%fx6_T4eC6!Gc}TG}S5;VsUToHzP9V%Y$`r8>^GBjJ=O zWJLS^i~IK--63cxrb|oh<0s0dpNX#uLTw!iRW)C4cadB7e!SWg?L9XJyYrMl$yySq z2`Z0W%OQl-*&f^+dgvtvFz=Ut_l63>e9v0Zf2;p9pk(ByDZN1;Tt=e}R9-3cAZkwU$ooj|+%(hRAyhF4ytd-@@?rQAqMt#HN z#xF+AVfpuI8@cMohuf^qY0R+Ca%UJG$EDvwA7!s~GC1#aQ!H+X)fdBm$<@Z##?>vJ z^TSM=Yj&#_ay-am_}rZ8Ok3oWv_8YI6yXTXOXwsi5#@hQcF&TmiKvFL2E1kM6evxA z**x;&emC}3W2aJ>8;O_sk|1^&zy}IYYnnI0fs(%0`&_O)QB8^`bqfZYTmI6E+_F9k)*zNTO_Q;LKP69M8igPFI=~gNyoZ6 z8gYY+ES;-Os+OB={*RMfZKgsoZfkdOwfIuvc-ay;>susrRfN8!0V%kgU{Cg%ZTp z{qOR_Ht#G@$TsB7n!Cj`D&5m16j`|`U+U0dZc_oCeha#?m4pa?%)B3foMmrZbBo1%r7lFNOm2st0W@J)*@X!FdsqMdL__m|YTaZ%+kS z5-4JBY!V~FHz1jNcEXY*9>MZ(On+j$JD3v`BB@%5Hms(oxRikvT&#H(WLQy#)7q9R z+u+Z`8UrjP4DIxPcv-@>X62iuH4XRjTuI*4^KeK%y~P8u8$Qx&o{>YUjX=vx>LTPd zBTBZ6``{19y=AMJlB68(-(1Gj1iwR(=<4hFyf8?Ul)u~SZp(nNc}4rU@xqr8r~M(D zfg9hUT1YIZHjbU*<+|x^;;AVe|I30gRWI^DqGE^O9%vqa+bk6R&YXh4Y>#3q3A4%D zP^)HyX^@{p(yEi!MzR0h%dbqJB}>-a^TUUzb{?9?piUv^jR&T*jQ)gA7%h_PJ7Kja z?E+URn?bon_-_^LX^C2HZa>1}_T=Jq9-PID5`QjH!(ozdV)|xTan0CpaCQL)PZ3Ao z*8WFM6b*3 za^|BBnnciO_wGqZ!7{AT9Wrbhuoz^%IDaf#_rBFD2sR6t>Z^M2jl&7$XULu>r&d>g z`~U$)=%UVm^6W9*#x3?|sbF|rhNt}3HhBa#O*bKbN?E{r3q>n&<)$o0tC|W~eKs-U z)aD5`3S0Brz?tL#`d4PO*K}nlmMtbhF)BQC2O~sdE=D(WJxp>plFc@uXy=sZB`G1B zCH{5f(nV)JF3pU4g{i$Q-c11VX;jSRRAzeZ=w>lS>h2HMv*=a=3TP{=qg;co$3^q4 zJ*mfk0>QiTzV$0(-S_#Q9 z=%8s*{wT<;2P#2?L~$o0vg1@pGCz;ww+}h^d!p&hqKm;w&>I-&*hy)Iqa=~Ns96sU zb_aLU63(p=ylfj@QS*e}D5)!igu&0@X=lfObRo9(&5Gw!Lzl0};=49W8*DNNk73;9 z^2#Dvfp#k=%Ar8|#>rP!^6A$RQV^ppZD7oC=EBi0-^t`~rjL{6Ke|LA-+5jYLvN;Qvp@368$;n1q6{|;+Q=3BmUgCAM;kRdVg?;%^|(iD&gDo zU~Cn<`;{+g6OO5Atu;^>PF7R1B~tc(bb=J5`w{B9#p&}0UyY`8P4;4c?@qH-k@C?> z9VOKJJ(drtuZE=X9__vV2zs)7D<|Om-ve6l-=iL5VvRv)fZ%BHaycbwrQohaBT(vwI0R~V45HD;z6<=6lfH~q#*Ijj+BWNC z(irjsUK52>Gr-Pdw!X3Y@q%FWaUo3ENNcTK3l_x{{}5Jf(_vq)cPRo#1ja|oVZFoz zMLSI8u<;1HZ5kD7EXOYChS`vRGm2+a0>!qiRYfyZ3;nxCgGCv99>kGQry{cM2LHYubZ^Y+^i8n!t! z`L+U07t;zPzRMhc^xe?_!GSx4{lO3xp2?~H0qTomYq~D2bX%QvWhJzKJx&?Vsn^w= zKJ3uTxlPxSOE`PZc^hxX`HZG_UpNleYL~f_kKMLig%74tNiw6dpJDqIBz>u^0|VI1 z5HM^zjRLp%!|0Vz-r9>COF3f;<`P z@n`ZwnCN4JhK8^S1m@P#YBhT^XqE4^6aTqC4ixT)ltAEs--zjg6jt+BkY?~WLX zh&XF=9ii{}qCS|J!spyxRtAUT*Hsh6?+PkFXD*p+ZF>t8$l5Qlv9Q?IFEgmOTLd8I z|Lh$4Jb7^Uetewb5T6=m)Bs*>ooDQ3(?Iyz_z()ngWWty9Wxq#DSoQuT@P`$4$Hki zgvvh6oyg;sNqV%_8K_l^P4!z`!|{kFuGfdP}9xpDK9Ky0Aff(YXh77#VUCr%=aV3;|k2P&Ltm8&Lvj&~tw`527Qb_O#f0eq+2dD_; zteFZ)X8+&v2oziz&0%JJ-ViK9vD6a4C8IA}=GTbWz$zTk+ zvr`Kxr#&;(+wiLzHf_q?Y~{HRBUU&Y)#uicu(Pi0Ub_x2rr zRU1*?LKJ7^n0u}VhMX^M7qIqt;5=?-GB~4`m2peEf_(W>&VQ}Iw@*7=RO}I(<>t3; z;NvZQUB)JjZRdM*d0wDAwTcn$j-1mY!`>G8FIKgU2MMO_&1;~-7@v7e_-s_Ra+j5`5I{ZyV#?D^I!W35U% zCqdAKl8i|`M0a#AN?f=)I}6MlPXb*v*{=qZyk2xAznx8^;+Y(p=>*eSbmcUX(zawr7{`WGDn0^-__%$EtWjFr{ICI9K#e zgU^@oMILn@p?L$mXtOMYHpyWbmP09@k!;ao@_dD0SeDuE9kLCKCf_K2;RAkG(8A>C z+f9`_ld_i&pnEc{?V#m{q?^m}&v^O@Q|G@*Rf2q(C&o!Ca9$*)NXcK)?jMe4=>kDv zMrG(h#*@p+uv+Bz#VOy$hQ2d@TcAZD$XeYgg3E9ycH~&@K#-_$XHx^zo*)Ohre)a< z2so)#?e<3LGNVLaT$T|FxCw|05;n9bASkW+wwK4sxlK!W5({@*6ZRqPB2u6|wBq4n zrK(2N_KAGXoqdsVF9e~Rg1Y_<&3DczkXKD?k2#;X)*gV7j&6b7X*U1et$cdbNS8W9SrB4RGcdpxPG4y68p@qV?5Bw*)s z8CyE-fVtJ3e0xX97s%rZmE)L{RCu>O99B8$oY-*D9Nm#OAV7j~Tj0;Bm|ItereaW! zJ)buB-odG$`^@KSW^#?=l~E2~_D(Ukd8cgpIW+Kv zC~Vxe|8jEkjzObFE0LfCWV-ByelFEZ`)kq{(50w{-I#mmEg^5HdEoa2 zauJ*FvN#J@ULCXW&{tql5-G7Qa@d>k@C}bAgA`r?*8YT+U0vL?8M5jPj3dUC^6~4e zwiYd1hPt1Z<4GOWt^LGtvm(R#ua|1;BeF&ZQgkr6jra$DjVbtuo0)V5+o{FjOlOXi zaQj!R*EA=XO#Z7MUizO-k$W*&{@N-XMrL zYn|_fx0p4xTUsO@H;WRIef{R@(r1BUAeRdztS zxoA>tnL{RjabaHON992ij|Y_{d^BvDz7*AbmwL|oY|i;qA?hx<1~7i9A-8-=+#S zT2YhzkUn1se=B{YboBIX9!I8|#ivGVXOj&h7tZNl)qit&ZZy_i;qj2EkoW#bdn<&F z!*sI)+2CV=W@Zat7e%cP(}mP8?9~^m^+rM_`3xFTk@j#(*d}~IiqKL;*Bw`!53t#u zJsqZhC|YSks?EVYJfUg=$RO)^o&*ICh3hN^CWB#609; zoXB|+*;}0aCUCH?Jia&DLq@yYR`p_%E1?$6`#rObzLBcu8oA`Uwcc(^Akd~m8 zJqir8deX>Uc1+SlWm=Ep4~I+ONNVC^8G1m#v5B$aL9Ld2J#-dJd(3 zJ_~PI)^)+_Pl-cWJca%E`fYhdj6F2p4ki`#afNfI;9wAoP#M*YQNbp6FzWcyh#2af zwW|G!p?e?r^-rhQIdU6?hac8=9@DY(cG&@o@4&H$+Qh|y;_0l`!f#ZJh{~xrR>G_$ zWzx*cT!$)|DB7P88}>&=L)llc7c_r=qF(!ppM2F~bT!bLfwT4>$2ILZiKHW`Eje(0 zwe_BqIaav}bA&ttW7A{ggJ*x~{V#+llBpWUTj*piEKy zA_T~Z`AcBR$W{7K96Q;BKe_88%huFt>DsOxiJ?LR)z{dHTjzZ`x$Gm9lwYWSouRe9W++r$lttEUQYe8PjK~C^QtxNU7z2li?NkVA5edze_W6RPIJo# z5eSSPL>vIe!%O{J0@7W0Xpgd4q+r>^(o5k~y1>(w_xqAAxffD|M(9NayS%edn8gg zTRY4erN%Drw5*Ou6g}p!UOjfD_q3bN`{}IIDfa|Z&w8rYcN)lb!r%M2yTnizUOny| z^deM(lo0SmC6aYmFe%KciGKlOmbQF7k-t^fbx3fxE$OjJ--umTlxZ7(sUh2OeT8gT z6t%q1lOx!%{5<5u8JpMkoJmg7)rL0v5W?rOrlRgCjnV(E`r z-wU%TO4hQ79q3U_{*6J_rL`vAkXq$V{H5+$h#0WX6+DJwhBR-ke>bjo@`|9Ja~MN- zt|CRJ=})w|Uq{$K1_(ue%OU8s@52ewePcsA*_%2;id0p8fQmn^K(fqR>Ri7!(Hl4D zabWSl$Pw!TF{5$t^x`a>J%k4tfqO$7dO#Zf7XO$AeJWP#{8nrKDRe!D-MKzHH^{Ew zxoNOM#`9B*g>v7hwQ)+fCl$jZ!mo`Y{uWlXa3_oS$8hu0Wa&76il?V`;1vyXwq3=i z=xaWV53;SnX&88APM`?w^EjmP9WY_GhOy%YT?hG(Ef62SuL~pM39tfDsIb zdB3ZC4s-mAZ*gNFi;2hH})A_(`rYr_rc|Lzb~uH5o=O+Lgt5XA(A3$EAG+x38z_U z)BzBG(%PB$V6b#!4qe1av0wz}V-gv7`(qN%%vDj2@}7u)3W#gl+J9p?b)Wt0+2*vz z6A78r1;k|tqq)cqq4Ov`E=56T=-A|YmmrMALrktaxe}?3Gs()u5FHR#&Mk=Q=7MT} zyw(+pA9el{MaH;_u=7+U&L4U%b7F7Vjsj8iesDzz&b4BEn^S#W#YpRZf9q%WPWF)N zEKh9p2A2(gzTAjY+wpg%#ma^G?)li=3`$8{`L3YB!Qvk{f;{;_CLxZagVC*dyfel# z0`JZ!7|K7bdA+SKNsOJHVWbS)$>s8>oG3&t2jRP~bw8wuj5A-g7K|r_0=S+mF)(33>pxA`rvT7j*m(`6G6O+ajD2~=$~ilZ zLaV4Uuc z01v&xbzCkof}-LwL9c$RQvH-HZ5oOb+bx6iUP`&W;Ca9J{Q^^&=j=cL-`%@>Jl7U% ztJ5Sqf5xNahaG=yl}EwVdMtc4CN?>4OMIJu5i4{VrlyWD1*tqE>7tr%PWm4jPfh$K z#d!IS0#^)8+M)$Y=e={J6Sw-?n&^s)V_Isuy(@0!MWQwYKlwtYM#Usicr~DIRqOP( z(#JpdekMDYwN>~3QuA|vpQfw_3K8<+f4>gGHo~m={{me;qQQ?lSRmbasu}+y_>1*_ zq(B4)O%`rdaWMmo(D=_%vYnnIcBd`iV)uHEmekhBp&5agd`60RjX!uCZ=e?3uSLw# z9u(!2EF)QQIU=!Hc8}us<>-00?pS=3+I+42SShV9>!6iN8B;MiL>K=F$fn-URK%mIKF$D$nJ z-Yl)I=WZ21Qhsx?J)E&ix1`@E@<*@HZr?k%6vd!Pi3J}NSNw)_T=v8pzWV|g7XK)_ zP=!F=17hse!Wj3c5e9NEAmBp9g9_`?9+WG=GQd`T$_d%dAIdYQVkJ_#sC4mv+_mFw zZ6}l7VCQ*}8wtojj5EnZ^(V-UiiD*!A6%d z46WP%A*v*!$dLHsfuu!+c;8jRHgZ&I^X=q2HF+(7&K0J<@y=KkDH|Nxk?F}}l6@Pf zxFfoZ1M~H!g46pq8?IZPRD4!{H~ce(|K?3CM%yGVF-@E2Sh3bx!NrzgjG7BJ!lbzc z@hov-#YsqQBSdd7&&TsoIOzV zU8lFKgxo_X7ir*N=IeD&j)|~!L5%|~d)ad8ZYlv3n{6;~4Qb8XL2XMzA0r`nK~HN} zMd|_JkvIM99B|<=#!=2Ha^7R+G2&N}3U-NG(HzmOAks8&x@1ni1YWBe=FP;m#NN*v zH@pi!Ref8=V3m9?V8b$hT1bBpOCTx_soo}?DK8Nm#nYz>h?k;oF}45VN*T(-`?${$ z9{=*Sr`W>Uc1KpQQo^mhc$*oype&135 z)9c`Mb1nVlA2Sgudi8(6yJ=`fHbX^Z5&+a&UV9#NA%`D^NWq8YLZn>T-x3i89d#VR z>wZyPe$ug{3OyTtOob?A^cU?vAdD3aTS8)UT7nl$ycO9{5v^AcVx`P&uA^O(Fq*f!I?;-*!eKfSu=_M!!L! z*h5j)DDq@uuC(|SZV3h!Qfzves@PJfRV%9fcxU3^l=)!xe77p^Y_OS7jmZ95B_w=Y z7@P)MlR@u&iK&&8;o7Cw!k)6&PB`LrRMP1SCh&o+gne0d`h7&y_{hgnur11n+Q|lo zXezKKe!Dw=+RW?M7q2pL-JJ)F#spj2GKr$79;UTtZs;k&YsCITU!P#~QHsO>C)k>V?6PWOgyVZby;+4F{BYdiICWhtAovMan!j#pW znJ{NxVQJm&PB0)oK}9r!9u@`XsH`$Z()O!PbOfmg68>E%I+zqU+KwA^oaK{|GmKFn zdjah>wLcyopabw8HhR(H)UP>2U^#kl;FvSm{)=s&JBID)MQmetI< zrt)Ne_9d+}dCHq7QhaE*mhG|n;x6O292KqJ`y*#ooWeCtdvaVZD>%{)fxvJJ`)r$X z0OJ)n+s|V}E>0GzPuIaki@#d6qxGQDvF{ndJxyA4zfCG92N^b~9UpNOdOU>!Cd7Gl z^74;SWt z0w9=eD+e9G%%Aa>8y(?nPf^g9D{!%E65K``^=Qh1Hofl5C7lyj6cI0TBtJ4vk+4F( zmGK`u8K#|+YJ_>mp>oi9C=t(LvvELox}kK#=t?ix0AI zM$C0+Ya}`URQxF63&=OB>8LMyNwsKvLQIjr+ z^L%yEZ975A?SSd0p}(Xx!O<>0P?J-*`KlBsdW~O`ijp^egTM%n5*hy=jVj>Amzxv0Bl__iB7 zH!>cmQ3Zx%g3{Hr2MwtHrTNzCM}m3>VjT+Xe6~!@XbM;DQ5De@8js-?*>V$5WSkOt zf3I`;H#CsijkG+a;cg00^ZP{SI7l|V=%#DZ5r7)H4t;S3t7Zj*z+|?QxmjXyA*%U< z*0`PH%bm_j`@WZdld!L zGxN!kJN4VdgR{s}HYDnZL3n@chCf(OANs$qkxWiJQ!|8rAVisT^uL{>SnJI(CI0A_ z;e^)@BTOgBr_ofA@Ge$R#@BrsL9v9|AK11=BHL^2uth}pK?7>fi$i1N9r-h;vHOT{ zL}5v@Dq_cX)@NxuJp)dwRXl1-RDEA5F7`-H6c5Ic&Rmy5Z}^cBBkHjz0wegWX<_R$ zjNgJOqOMMVA~1umuDbV6@gV3LaetcM*Yf=H%=}oYJlKj;B^Xm^r@M{b5%L)W(ntw{cu7l2Cs7T(x2fKn zG;?s~S3W{wK)WjJuaXpZ{L-1Sfrz!W5IU)zkrxYsZ9d|&Dd)(yM%L9P->X=?D z^@e=T%{?<%O?txSz9jiQdH09UpSfETHxA7TW}=ye=_iz9$eG{B(9%7%M1_$Z>_J&? z?90tNIi8l)Vf^)~(1$Y;glh*2cgEM8MFDTzAtNW2ddVXlvhaOjT->ZmEngKR)*&@0bBm-#JmW^%2c*8-w|Cec)X5zR=?PDb8Uz3!I0N^=GVec? zbR43vh@;`nI0XFht;l^8PEwKjKo{n830nfl>U^ zI9iB*hNM->BA8`S6-j?$n?F6v0Xnr%hJ9@H_S$yp5Jl>bz}}UmP0MN+rC90j#Oc~X zZxzV!UShcb2=m9z>Tl+MSJ2X=vIo|U3^-h($z9>?9uB16z0JgiRSZ7 z7w(MR8dJ#NjI9TM?Oco4c&itXATwNFy)ucC^;U}=>O=hD8pdGGY zB_8YNPI?_jx_HXR2*!1)bw$sh8j}LsoB3hzoX!R-7w;f{A!9JEhlp7tky&e#OR;_OjXY7%--ZpJ+fWBD{nTjtChZiDbx&C~Ww{rKm zt%CuM)r*LKE0*66T-`g?6aHWXo4m=ig9IuqOC`s9`67=DORi%lV#eo$Y69u)z5V>E zss%vEOlmW>eJSkFs6llfY4sM4+|%>ldGn(3Qs2amoz#^&Bu-lAJDB(&J1XF%cw{y` zucfTrM%|w=x?zXMV;Y+2evnbggE|yXX?_$3c^%?^aFHG*Hw2laC%=cOX z^hS(Z*#Eh3p^WvUdoJLVFe)i?5!x{jsB`A`-;WVFgGW@ttafzV`SS#?I1SbrdT60o zyx|zR2w}{rRRrB*LOb>Yu|!$7#*x2jXb+YI3>s%a&}c8;~F z-;Y->lD?@V+yadlGKe8c^)=`4VCS({a=%?LPQ6}n7pJu6AAE0F_68!CcE>|m99#z? z@AA5i_=>7$IqLBf6@Sn>!sQ_o+m3;^&deW_eZ|HU-R*SML^wn7rq;BY1{rgT`QBcC zyc|)+w1(4l0|#V%&6qXdG&$+4xf-(>OiIXnEDwEL8Hh;PfSIpWQ93OYH^cyrm#g&d z=Rv(4MaSkwrygW;<}}%VJ3-DQJt)@GTk0N$FhN@3t{$zvb^v$x1ScaT0_b_c2_W~; zXr2`0&6yDEOF;N*lK1#j%ic6bzoD&vF0HJ_P6RxGJ)q7XJ0hk~bA?vF#-j$T-G*Mi zGi-X+@qxm>uiyFi_rQ`A^pGOF!d6{IBBVC9=J;Qnh6m3rTav>W=t|i`dC*)UBXD~U zTU3!tdXs%~?@hn;1+a~>zI^N%hBC}^p6iN0b(I?!ZT6|QDs&0?$iGLeEc=sxiwfLB zHWE~G=lXBHtSg=Ce9ytiK&u$boF{Xu$=zETUxCc92dspvtji}t?|)~58x4L3LWR)h z0Cie%Hfg_T(;ZL-ibD_HeHq-V(w1Ds)L9%Yy17~1L?lwhtLZ9}!$$)7I^m*O?P$bc zO-vPX>_|Bv1PXC@y*E**MH2yk-A3R4u#VOI+gLM?qED~e(u*@a(L1oz02&{n9UU*A zUzt6|F-O?o4AgcQx>!OdEm2O69eYo3CKu3*5cJ%eL>6=kcf{1R#cmYu`SlI0em-S{ z+{`(5^+gZG$uu?RJOAt?vWIx+@`&$wjH%Sj%^Rvj>&s?q27%Az}&Kf@o$*aGw02RVcbRBCO3voclp)9$%}A+Mdh%kCa${ z`t>B#e^d%Ot)N?QSqwaNxOznN;rX?^(JNel;~JCYB6fd&;*@cHn zxTEp}O}$H!L8Vs<#X(OdbB(gNrsaiua=2E4!DTCJeX`syG-=LURg2C?6y(MwVU_IE zSp(-5Dt{5^z?$EHW5>7!#5k?KisL|zyKlQnYMme(MS@4uDDOb{J`%j~ZXqT}Hp8|2h31&p z5-s>zJEV-_{c4AoZ#e*t)l|m5FYL*4vk1n+sqA8ZsEhpT586KBvFlKk;^jgZYw}gH ziBCV|MMIxumV8m{8-5Uu5Zlm0=eO%HF+qV+Cen`aOledu<&nb$Shwm7)-i>Kzk{kg>>>eE0x0WPwU(<;u+$KUxu} z)cI)XU*2qtYoL-nyVj0HlkzPg>N(61w6s396dlqmK+=82V|;e)@pT=Q;596a3R*di z`SsQqH-9QGY@WM>{{6WZ^_X2ry$x$#4#t~*X|FKk{+>ry-yPXaI%HQinpg0-?BjfS z-uE;wg{r){Vohc64J!zI4FSh0vU$aISdh@VNLQ|Qqy2pO0#7;547p&!z=umUb8TcH zlp*VIRqDNTZox@?bMXCO@@* zoAB2%^D=^aeKOH?yjgEOB-Ph&%&OuNf^u|IlJg0@_Oik~*o%W9*|k@@b*m=}BQzh% z>+ogv5U>kY?%I)Z7mdrBg{D^UM?1_fi&3=rmUo_4-{cesGo>FH-C&Pa0AvH$Vm_{X z?N;NYZ+KcUQ_|E{K>mT&ejMm^HF>swWl9A+(s>3o#`Ez*z*8Vx5fm)RQmg__S!@hO zGdxrz`Ni(3^=a|s=EJn8KSzd579@0VRLnkSMS-~JiDDn4F`2zZqd0rRBDbkLC-c;T&d;{*D}eyL#B{`X8%2KGL2U2#w#%B-`J-`v?n=Iv z%>NsOXUgt+tg@?l7V$b}NY za*zYoX9Hei%;@yAP|IB*34L;Zkau%b(L{0>rj~n_P0aFLA&^j717I~Q#x3;fcuZEX z->_vYHMPhquo|v(qBjd%w5C+w<+n1*u3O{ux`5b-s*LMI_)WMpY(CRuBON8Yc4@YUwFt#uLf*93R!A3nUHE`+;}gR+Wf>tYJ^R zRI}9Yzs5Q-M@r?J!9=06!4|$t414pOo2^xkrpx;IGYbhUHMQp5{a&tmlHeP z=(X_(&?eRSuq0nIL-&~Mogu`|6fh3;>>IH2Q)!M3OizBD&%K3noh8GZj*E6+I2axL)Gw@|{ zrmF_2jS(Yx$lfEzTJR2e@sBpk8Bo-`{#L4t=^~ zaI}F!w@0)$JuTgjUM9&4Pob)WbI@0*P=b0Kve%JE5eSZX7Uc3{xM}OStT-f1PF~S# zOPO5)5v@&MOIYrI@9(5Q9ZO+*r`Zb__X&~FcxMjw5JaH1{#+xVSN_IC`Dqe3x(=XsNUx!+%_h3ZW^YZ0?YeI`e3el0ZSqNw`2kKzP zqKoYvfWuE7xg>AE$k_wz3L4E?#=#rH(tI9Ifb8oE`&){yZ>li7ec$OL?{4-mzEvqLW zD`}LW$PtWIU@0`e^mvI2jp#P{u(hV=m^Ds-(evtmtq^Zt`9rU>#qN@0YyB|dZjoVm z4*VI@@-i_ha( z?(HS?^f>5SjuI#P(5(NrG(ql9lZ^IcttkiCE2ScypN%6cqK%JyC+?DxHMc@6T;L7~ z7z5eSKsPL|+Qn_Kmxr6_^8&aJn)Pwk(!;-hcueI?=(wPZ6q%T5hkM>IR-|!T0MSWX znainax{*ih?g@Q09U8NqHUt@aQX#eM_UAl~J)IGAF)ico7IlJ}{aRKzI)92WA zjyBJo5U=t|$|ft;bL+m*03V40R?h3qMbelHaDGit@ef1MGaur0h|mK+$xK`4uXh;( zU9cR5RO_e&a?}5qi5gh@ky(bNG4u(4SvB|k=SYs!J3D}m1=B1KsWZBOb6L636$$oH+8r^oPoez-eW4^x1cWywG*zntyc0t_)=B zo~%?J0pS^o8qERz`V;>x5NrL$2OKgI|c3)3CtFJf#5xKTVq>Iv8k# zLWKoD%AL{Srgi$I_7uSN|8HjIAe-j~Ey|I0j4YhC?k7R=k0!wJAHy?dZ=1&%00h_n zW~6rSom^M+u}HYIG~E-&As-fhN@hy5JC+=#IU5Jj5%W`nUFC;bo_%slyMx9yEU{aM zkS+w_lfvS?POlugJ`7l=5Lht6xHXQ@Mk@rai#}I3OZ;Eh(0cwqW zXy}w_$qGf5J8i~Q0*ug46>4*}!Am`x$uDfLv5<43p~eQ~m>raeT@0@T=o&|(|K9z& z0o~p20VU%`T}DAIRP16=wFJSfgbOB%Y9TnB&)i?buO6M@2II_n z_N?SzRNF+=p@;Yewb!wKFW{EF6ZBD9PRnumZYi3(k&pIbrS2KQHVazIfj{lu)64e= z?b{n&>Qt#F1Mf$OjD;TU?5Bv)$IYgAea!?CBVB`!#~+?NyBsfUjKPM3PgI>eKlx(; zHxa9Hw`_9onsx2zsKB#X{EBPhNJpha+Na1DNYiGB7u>!o5U??SejyzVyMa_o$I6L6_DMphP8 zu~2xTahgvH`>X(l@SDz6n4M6lOG%_vC15{W1BCCtbcKm;~MuejY5dM%0^6x z|LHFkKD`2z*=}l{vS^ZVolNL)<;;Gw1^t5KqS2ytDRmU*V!#~PlLwi-syqo~G*&TF zHYM$D95Es-np5!Oc$*``BUreV>RWo&4;oiFl`0efrc9`R^OiQFW!&f+Vg$5eKHZZt z{TCxM@43Y4-Gz;#subU1Lw&)w&_cf6`$Qp!${(C(h5^YMHszc#o5q(0e+m6Lv@{uK z^|hc7u>VwB8NfRgFT}SOQOP61Yt_<>UYX)b9Zr%Zlep0p zCVEz!&2eAl4yP#(e_jXiTcVXVb2Q1nhz$rC2zfeAd2kY})!>B#%I z84WY73Xv&N%rj>AX`qQ?i`7$+MJ--$C9Vlr5E-#pcpzAIf83gofw70;BJWehGp{=; zO0uD(CTHC3EvHm%DqvDw!7>SVkT^UUs;QoX~is1g5xB zi=QivfILBgE?QFz3&0gl>eG-ZflQ0e8QvXkui!^^rs6nbsV0}%%S2+K#HRp=h1+UC z{y~mgEhmsSf07=~s!w>yS>yY{Xip5j>&~9MA^CI*59#dPX_w+kXY2cX4D%>ZrGuw22P8oHN@KJ6qA--Y%E117W!HaT-?P7aylx=}~@HTlT zi`jPGe~#UPnJ^r-9JT$G=9F9K4BkkyAOr_1U3RbOdWX+(zppGD_YQ=kdV4H#14#Hf z&i|*0DfG{^!94R*o9pj?YLTG=jz%kjoz?6vq9;f=P&<78_GmzX@UhuS7fejs`z-p5 zaDFS(2h|(&{+V@pXurie-;anV7t9`9az6%Le{lIqpr6;ryU1r;<$jIW zF-PaL_JR>@me}FgYE;iym|mM9zeIF|a%4U^BI=^Wjr z;dNpSxcBHd+4)AmAZd%{TvN}3U)gP0i!JSf#3T-y^k6)KyUq-gV6MDDbN}06#9~0NkggV*B=Sb}hBA>k`dFc;80Q$-pr7Bm zMMIHerE|5{-Qp|St7O(GfF{HZV$qZhe^lN4^4nr@K<$dv+xOUPh|l81Pd}Jglu5?0 z|8u5tFncvF6cRJdgfYM#hqu?W?%I1Ht7geP@M?sy)m}3c4+z;cE`Cm3+6dE(^59xm z648;?6)L*+M)e)V_wyOsf@RP9Zp@&aVOR2-t7x-S_m_-z>JdPviu&r2I^oAxe{L%q zn$vZ>>hqX!0`SS$G$7JsN0&`hs_zS4(TO?L;rJ?DcQAcQUnJ%o(#{~S7|!3C7D#g^ z+&rvD3&T2RJ={bix{Pw(6TeetX-MsD2BK}Haap*1@G}ow#J{5Yi(B0w|ILrGahu5K z0vfr%*m9UPRxIUO91AY@n1A z7aCjj&6sL*%@!T0%vf6R+m?wYM0KR5uHSn$W6^)e7gXNXn)BJ*AeW#>T66%4c->f6p$21&V7Y zzcoU3AK-`uHt0XV^PnRolhnrwpDdnoQob}yJUAWpPf8&e<>~i3E%NitNRrT_;j%y7vYhiXS`A_(IlC^a)0{XwA%1g5bobV}NP44sB_9RNFV=js3`ic z2)@V)^w!!D@qr)}EePlsi60AN2Dbci!m}b>JsRt{RCSC2`0= zX3j>@VIL4%_K06De-o6YmH;2DJQT#PJ1BQDt$oe+IIBTh14~waHhiMusH;gf>U%GU zwW|pClsUe`#u{P=c-ff>AY!F^zfD@joS(qv&g=JgPq0x3*zQImD5@y*7b!e*K9IH# z4Y5r&0%WR0Y5k35F$bP5fob_X6Jq@wrg`Z%EzrykBHkN>e-kgsqUhw`W)ms=Cq4g7 zp|+Oi)#&o39-F>5lG?H11mv|jJFT#lHm)M6(Un3CKwx(L9en|Bvr_!v4^dNtq<>33`9~AC~REP5qsD=Q(+&-d|hhd&XdIu<%vlCrRJ7d)dj-FX`H+PNS zuyvM$e~71HANcHl47+1XV7QoxPa^$H%!crEd5Bk)*-dBWKhopawq$e1?1mRj{jTyM zyM*>way9X7MDN6}Zd_ml)?L2y<^_0Q8C_6|a{ih~=0t{gKWDlR;!Q!>K{!AXy&z3= z(xBFVm}g2u$Dde=>mf>=BlXgdk<2Zbl|4*pe{Lz>Kzsyqf$L_|i|NsF;23VP9{LvF z$Kaz@znACD9f`?1SY04#rsIdSM(;7B;x<=uYbtip7mBEJSGzjn5@5qv_leKl`xht@%0;+o~_(W{uV~XyZa&ZQO{)K*iDS(pWYyvA%+y zJzPCacbjj=va_!STwmHgy()MbwzXR_P5d>@Y!TL7in8uvBU+jwXSI<;7!izxasHqH zcbi$*y2kWU)2>`h>=Ol0g>Vog!Q72vf7%!rj~Ww9-4TrCENju!ApI|+m1runy>>3K z8mAd?_?Wc~S%R1NBiYAM^-r%u!)VVTFAvmcsyd8bn%-Omal#(7nfNPP(`pv&hDLpB zuek^sMY%;S^6bfUOq{xqI!xuF{EeC)i>?s`WX8=$@&YqI&$2FBvfN%df1Rvbe^r*E zrz$0Yq?~EGUWMgVmtx-$T;gu$-_{~9*jgY*o;64ta!GR*rQu5+BztsrQM0cfn;w@I z{$YLKgp_?Ge|5#1i#dFpBR%T~PRy*!8EYW8$R0*I`jE7Z?W_75Ee`WmGG=l`Fvu6VSEq`VFn-XtnM6W3bh=ZJd++=r4 zE?bc?H**P)6Fx6TvSsW~T)_|i+$Jo-^xKTYM43LNJ|prTxs*9)&i^#32r!VvCdwL* z5q;}ysCoiXL0t{;^!@sa{mf0WF8e<~|L zU`T&Bh;JBgVx}@myW?eV5i`}Sh9C0o%3flbC&{^NJ!roAo^DAL<$#DXGV}iX8Uxv$ znhE*T7Q$njSz0MyUa*+vC0#={u}61B+o*Ta|6uoUEoAdWYM-ZRGYyFObbXg5XoRl( zQ#cC_evMEpS(AE6Ji&t4f7YgHyLr2WWu6_gp|4%VLmY6!L44G?9iL>ThHqML?B*wR7MQ#jc(g1rRXvLR ztdI%;-X0Y-Xp!^CYp~c5!0IO3%_h?9AX^%^UuG!RDr!+@kh`Jt{~RXjT&5G1B^_Bw zdFjW)EuyVn^gL;we_W$g^H)Vz^k48IFWWjq>xKUY6Nke6{m9n_4TSNkp%iefrMh16 z2%6H6zBN_i&W9tM6>6ORKw8sE6FJud1Z)`cD8(P+O2E7n_*){9BY=R+P5_B9R0`7fzSEYU>vkqi(WcY3vcaX z-?iL-HcZg)d0=kdgw$? zyvj~e+u>nXe?S!t%% ziDTPsBLa6E6fulS5-`x}FPZMX8>`}p9|t)Y+1fcoP%c$&cP0-qOax(izB4uS1I!Ua zYkrHQhQBbY_aWmR%)&@*Tn2tRT6z_r)nEJ&5O?W9e~R}ZyXyu_yl(sL2>7k3IV2DH zYsgi;%8~I3hQF%Is8df)(gwJ?w~tAhZkeypxf4k)Et;jeG7GPPV94>Ey4uVB8NlB-rP({Hw~J zPz_vSifP-&bpniq93pV< zS_8AAY*k+>yEc6*O$Om>lJh7f-Ca?X zLTY!po*TT^%obVC+rUxauwDGYe{T;4`*~4$H73;&)To>Ho-Ksf0yMVn%y-d-5L9$v znh(tFJp+n2q!mLh4AkIeZhp=-1K~Uh{p1Wqed(G_20Hrrc2CY=+`3xkuPzbOS%z$h z>zmr`kzLG8YxPCL#ftrk%K`@Zo#H@aUSL9SDqo^nkz{Z zxYcxj2deCK;{ltLYj_>T^u%Xv5kAM5nPMK;oLvRrIfvLL2eMC-NA~$wvozQzpBwET zg&H;DAudlUk^DtWxRPGI#$k(Qf#nZsgxXMAE%Sr?VR}j|^&kst6HZjy$mPc)nm;-E zd(0_1CjTifhMm)FeV;B~R;z}aANDS&d}GsLfLbF5A>|iP+BbB8-Ggd-ra8{C z!>1_{eMILB%}X{6x&UB`OC$vNdbIhVFR|n*6${@fbk9hwtzUIGu7>cW-!N-D!Fmm7 zPjzzfA8;$eeqp-hf04_&3G$?=&2l4jfR@Gwv^`UI5%$ltF7ixiJ_DbtbFXBN{oI{i z{JPS1G`lFHFpar1UT=g(HxCjFQ~r8N_ep-}hOOLUQ(QkR^}law7RIb9)Kfw=3@sMA zGnp~{Wk?`jQx!)tIc=EtMBQa!s5eGz9WkTG4)dM9+YSj7e}y|?CPR5RdVM)*^X&C$ z4+1b%vK%kE8xR+c)TD&ldECzL(*_+|-WXi0;~3!og0=aTW>Oiw0;|)Q{O6%Jsm(~U z0i4u6?h@6$71~E32(Py7Fe!KD=9ax|`tsh(V-*hfeX?#(zy=LTko924zZxOtR^5s# zE3;yUNvgbof0)4BoiRN70$e|@T=!m=LdfgdX}3)WXLU_nWFs*TM~d;47t&LIKWLeD zL-ytzwjnOW#-1!WK4W9TmnxiW+i~>_y;hxB2agN!+h^_5*3JHfMkjP&i^=s z#ifk3e_&-piU|>GZK=(BN_PZ8_^uR{sQrm4ap1#67~da~SV7=m(SF)iDib@(`O&6- zcdyLNg3rPnTi4as2@s%bvCe~!Z2X?)4rAUW{O(gx`WWUc#s41X7Yu%D`3H^X5 ze^Z#77o(>lNTIHFOhK6$T`~>>2DZ3Hg|unGvX9H^UA$#B2vYb%_J<&IJp#TIxIU{D zKQ(lu{IJ`%2`Q-QPI{D1Ddt}*K34P&e~b4)@T|ufwY;uk$R1fKM|K9JG4tQAc_SzE zgP$VcQK(>g(ORcTTCxL|gZ<1?gAUXDx2;^Do;p5Bb^Wko>>+vu@!-qki_iML9H_hd zHC1P`=j*(y8>Af^$S2Xk^5Vrsq`4=gbHD%uip-H@N%!aIX4_1~^;h@a@Z0-wf0#oS za@2CYHXk?bPyj17nP50hw75>h$BW)*_|moax-yabmGtMI{x6%;JG|GkBg5hfvZ0WZ zGF4+bZt07Fs4oh+9{5J)B2wxh+Ml!c!d~~wi?A+e>uPv!FTIr^yfk+wWBE3_xzi`j5&+|y0z^nuNO^f+-L_l~aN(|#iR4}OhtHw_+Oc(N$hM>)u+n~|)eRR-p!-YwrOaFbaJIydjgCpn<0^AiIla*%$ zZ#kNGUZ&picS5MV#An7VfBRm++Ef*lS3juIZb>WY9X?=gN-qVGa>4a1{g=uFaa8|1 znV1eOendLGW{!-R8Q777MXf_9t+t1kc}6izFV(Bxc%Fxa47~CV;*=`h8L({n~hw?;>7Cp6c!j+ePX`w7y z^UXt*ZVi%})cvk$%Aop=NE?UYGXb~ZGXni_1T`}=Fqh(`0w@GEGcz!^4yFPn0e>?y zF*#voV>xCpWHB;gG%+z_GdVUfGcsW{GBY?iGCn*pGBi16WjQ%BVqrHqV>mE0VPRuo zWn^SIGhsA1WjJL%T_8R_3UhRFWnpa!c${Nm00AaOrov7JCLpUAMDluoNKP{l$s7YB i8NuRQ=MZYxg}`cTK_p8YSj}$+00h=S1^Sn^rvg`MBH#9aNARr(hARr(hARr(hARr(wNkkx9JU2LGV`VpF zF*9W~Ha9mhHaRpoHDNhpIWb~nV`4F3G(J2rG&EviHe)koIA&onGBP${WjJOsFgIZ{ zGd40fGc`1m;sGgETs$C>XE%t9RR@tW86Z;NHJEe-l8p5$L2S#5AhNg*BoeGA{zN7b8e!uo~utAd+c5n7sf@#)C*!2?i#{e^VhYWMCX6@sj}7=MuAF0$>6H zhOd*u1U5t%0cmj{mIRBGGVn7nsKrE?o>q=azT5ty-lSmXiL{>+792=@aN2P?vmRRt z#|FUwr46wTFAjQeoM62K(ggtQ;WH4EJq56TGBi0jAU-|{b98cLVQmU{ob6g$Z{xNS ze$TJad6R*dUu=(`^kj~FEx%~*7K8zqXUOhlTdB+H`9MRXNkJk*VU zSbh8#Yg3|ZV`Nq<^S?^Q97}o^7;mQ-QDN5!(0$9c{FE&Br+IfWpsR(I}0w+n$3Eh*PGJV zUI0q!WZ3IB?2>O+uFs!ES)0|`JYcJTsjye;ntk7IFOU8@VsJ?#7Mzu4j4-LAoAuGv zHH{YV?B|FQk?H8Om0U+sGsH}zRdjK5esB~!F#wrKA|y;uH!-QAgsQ~B;e-)@qSE+} znP71~6Ev=Hrj&|*|M(;xz!6YrMWh7HLKDhUMDbSya_=H5d}M(nfCQV*?Wg;H3;of< zfDL9zGlAV1fd~G-e|@u#hN@c)Da1k|;9E$-nM5Vd1)?9DUMdJ#7o4n$8#~{9L?c1a zcHRxrFex}ATu}xra>TeGSt=RtT36B0g_WQ8;rW}91_$~oy0$XFQzT_6&+Og0 zy#q4SS^{%Ypk2ivW(Z4|R;W}8nWSyQ4X7rH3o1GpU|X%E?6iai>-Fw`cHRmE74w~O z=DmS}F>PBgw^h_fa}(WlY8<@N=sXI(9Y@84U!AY4wctXh0%(N`jdv`|xE(P|{pZ~C zBn+BKp`FRLWgePVohW_p-kOAqhYT`t-2>Z?r;s(@92^I*3CYyS&Z2iTvb8Ab+dS{P$(dL(qP zI(V@lWz*vpBYm7m36Tl-!%3VuiIFa_NVXzNuS7?%35C??bbz;%&IXELYnOmjs_YH{ z_F;&C2;rqpE~hMiVz3)au$H7;JGt+t%#x6OS+Hs^GSc*@3fC zkk=#E?3@eW40RJUEVLDY=*K{_*-vRQC?nd&y>-NthHrU&xRe+<>-8lzmqg(rlw~9p z=?hB`YCD8AKF@OQ?Y!HjCH$4qK-Qno&U;6+QzugHgjhjf(RR09*W2~S zrr4DAfIPnY5vZkqv`TaeAr4#hg!#ke_Y`)7@WBQhVRw^IiYJuFxX8OKF6ss^X#DH8 zc{G)4T$tK5{#I?8%{`vyZ&s`N*flQlbk52%H4;DR?QF?_*b?QiIC3To&`|j@Df15A{(*(VAeCj)sVlDnN@r_H8g_+XFBQ$ zKYlL!TMJWq*WFdlA=`2h{I>QlJrWN6M=vnW-u&QV-24q*FHF^t;q*ZD4rCzxRH_a) zKRA_t_)273;!R_!RbiI?t<565{5dI?l__pbwcgkTcVSkmsi|WbSe&+rn%_6YCkzV# z8{%Jz=9ejFDPU*O&NlJBAH?^ZD@pKrfb9fNlba^L!SDMggB%Uoi*4lr+Yum`jkm!R zOH;ZVpoJV?1G=CF+M{apF3-k32H46JjcHsYIzL0>u5;V>iFxVM38MAANK+FO<)v4D zV#@H|vijuT^4SNU?G21p?c@(s-lO#4lQHtf>DtwuyBxv~JItnPL0QtnK39_^rKFaI zzj|T%TK3ZV)k5nP*gLGjp%jpPeAmQHBC3QumPqN(yzCarbN=Dzm)on3;7S(56(9MNr%?4j)Z~_%TQz; z@5!@JFN_X-In)4ZWcbc9((N8C(I)SGf)s&dl*42XiYk#lf^zo(V}CkGYg zgYSHsL;dLt0MGBF8~%tx$YHvF$ph5^n9{2bRN_}HXx_JKfy{JC0L3Tg^4Ylm)q{;M zBw6`9jun<;v#ziK!1)K_oOXf^+}7@<+nTs3*sPW|v~U9Qx^}IDS+YMZg2$((E}BQz z7K)~+D1?HDX8f!1*IY{QLz3CU7_I#2mCa!(eGcQreO{LCYLVYz4nseGN4D73G6CM~ z;V-5IQF1)PBX2{BsW#M%D_1_cfVCSnQxZ4G@9SVq?JmM*PUB|IH9c;fnLf>+1~cXH z2v_?n9o(O2lF)2OHPC5^+_Y+nWgrhUq^oP82?s(tK|vf0?5rNmc4>#R)t;MsB$!Y< zI`)NUmg?NIot4cm77X)&5wzQl?saB)i!VZ0^Hk>DYkb*7WS&J@qgAY@%HWVfJKSM(=eU^r6wLA z`$sx^XRQARZWHXulPeN612{Q2myufn7n6Dt9)DSH8#xkw-(SJUT`Xdr%>x(&h~vcZ zI)`IB$z%q3knOgu8CfzUImi6^`Km}s-I7|CgURkZEa0ZtWU>0IgH_dRJ0+BGT6p1% z&_*~bDlME7CPd*X{5j#g@CJiHgqVbjB6&*1vcK}*9sl25m;}O z!hdfij1EpzUKnFRAB1tiiz*7^vA9aYL{kZ`gjG%nu&@S;yb;z~0JQiepbo#F2L$WD z*L(Z|xDUccg>k^v3hNRefKO0>puGrqgu_h$6mOykfF1yzAVu7S3cs-ufrPdA4R{3P zgBpCoLqoz6h##@ULqAbtNJSA1x}c91e}4cIF%^LatdfFo(TilE+ZdoWt1u~21PHLw zN+th~pMDaLA1_*Ydv$p`zB&`X3VGCgP6*W%3~CVcF8RWZu$uWW~}CWbe|CWbM*VWPkD8 zM+Z~653|AIrBAA!^$j@_^&dZ82;|CRj>e<&lX}Xs?mZXswEj9>h`8IE)GUGA|9J53 z<>9|yzB(S=^oA#c-f*hbqvQJOZqOS;@ZtIBqCdPMXULE3k0;Zo*ONF;El=*wrr&OBV1Gc1`_s|8VIOR3xM8M0<>?IQL;qrWJt61FqAlTl ze|m8E{yFfT^oA24-5m`sHpBF*F#Q8z+HRPk1Llk4H?I$7YTX7WcHJ`0kd|@kxCy68 z-8lVvoG+fd{rGkdIA8Uq*9X(ypntyB{6R0{MO0bQt9lq->$>q)9e8(7j(>lCSMZ*E zyEz*TChPrm1+Yd)TR|L_5i7e9ap*?u)+63~`+Wc9%a(@YRtjF@5Ya5bMM&I))_0?| z>(Rb``=5_*PFiUFccax0LtAyDHS5tHK6`cg;%Q@-t?`4jj1;?h1*u&^>NdxN*o{~SR>FW? zlMt4*%0wHmb_ZJD3S3V|cbJ3QANDUM$i+HKl10swdF0cK*-`JRp8Uv4+JA7@h0X2Y#s|Ue z&Y|A4UGaZX)i(X-NBGR&V2k_+vG)3xm-VueRM%8mZKq_IsGz1b3LxnzZ~6-iR$bFQ9LLN}9C=aO;m#?rDsS1@xR4Pem`2^Ak`3?m+wgp}rk>0Y>ey^tt zFxmNiMw!3|2+x33NR;e^M93>(77`NvCgkrz4urfB5&{73Eq}eO3kj?fU>EXE$j?H4 z5%Q~$--P@FFXb>_@1hTtP5KkOn?u>7#V!0%-ZgF^%~d@{Lc2H{OuEeBL)@{@i-A!> zuse7QcNQZyRy%mzHuSa~cM@Vi*r7LK4}?q%mM6p^3GEm5@Qm^$}qZrjT= zc!ZVK1-48cp>q|*wlh4+a{8zsQSpZ8$flsPK5LCA@_%X%zew7b`7*|93wLNy&n%hw z6CE8yDKme3MMp@)dLd}(<%N}Ms({Cwb92S#zEy0BIYm)m9yJSf6jM}f>P%r1xq(e& z@M4h0Y!)E*b6ZfTReajdl|ok*eO19(RjgoABy+v49?o3+|(qh)8y zhRoVSU4K1un=H?&ZkOepIp+!*Y`N^_Gfg)1*=(CG-(26&>M9n~bl#?hmae4C+*(aN zH`}a%)iztFq4$nftHv%^2ZGF~bq+Hfn=~U_mA2V7_1$b6p1Y3oGRtF@<8%g0NfyJSkn!J5fqOs%yakIoTpu|Xs7~lY(zWG-k{jrna&FXN5GTm0|aZ)aY(Ne$?Tv})DM-WaZd&-;TNW= z3MFYbda9bDrWB>v#Wd?Q2Y9kmQVu*4q0XU~gK1*7@EmHj;vXW3Ig&*p%>C%;fq$Me zKqLx&bbc&6pNBIBZUcu=tGSkgbC+JOb(mr{k_yvYPnEtQ_qLTTtMh1Hkw?7>TAFw4pRVH8QRTUqBb}A>Ua76Gydt-e^%pC$aqd@)C*(lYY;#IUWOwgK#W|gp zSsu5RJf?79g;$(vQr|`$I zSidNDXIWd7(OeuG_LGW5DCII&FlFVOI=7ZF%!+1m$}&qqVO}e=!^Zzh*}ruuo73-; z$$34TBA6iYKJDGUs5!^y+w0z#ju-wZpU7SLOrFS7*^_7TT-LHLf0qM!BY%f-ByZ(d zPUKYH$lh2Qu;OUK{uGTSEIqjS8gntX{h5Yg$FXbiv z`h4;xF9&=MC$Ac3Qu4Z--(mOs)(9o@Gc7vHLtvS|fizw~%86eII(*Vchkgh@^CK|% zS$>gUtx1QR+<(a40h4c)R0yT2K&4M_B1>%mSM+u=C2!tpb^>x^OIhO&sP4gmYV$b1w57f^cR+X7J-X2|+OcJP zPcWS4`0n|Qza?f|N!9oKb4kZ;ao>@vH%rXldbYGBBt#vet>L%FmV_$_?4IwGUD4n> zGT2`xAI0}n(cv8Z2VqDp0n@U8_k1_*GT^r1?oWBBm8h3tHvto~10L#_5i>O)FHB`_ zXLM*XATu#AGBTHeZ~+v5Gcq+cHXuGe3UhRFWnpa!c$~DibyyVawmwWtcZUo}cXxMp zBhAn-bT`u7og&>WQj!AF-Q6H5NdLxnpR;xE^Zol>Trk}0S$VJZ#88r{s56S1gG_-^ zAO}}QRwfocfP$hL$lk<(m4#6aXz6BW;tXJ8VqxJxq@)yg2Aa5kT7w)UOk9C{0B%<+ zfU=n@*cPn8!orJ436KUl0G+{$<^WSKfFjV%PkKecQY5*O;`CBpolr+HWzvF-vf14{xYKUs+sz|aj|E>YR3UCKHyIB7Y z`(L?HfinaANeygj;S93>CjfxP%GK48kD1xS!-L7v&Bc{}3FK_aGp=?t_3{zHtLgE^Q^S1aJZ9Q^JIK*8D!=->kUZ6pQy*P=a`O0W@F?)vYimoQEZY}`he`MfapgHxw5(EOo z-JG3&$58x#-zDdNhxy;s#X#W7-rM>3nRxtn$4ngDT)h9{=0D3e139=@ySTdi%OenA zVQmNeoxRKNo>@EmBU2Prl9iHF*I-lt51s>~A_&Zm1Cy(#>p$AR{fSB_@Bw&OxB#rY z8~_&ZkV-n3i-YX#!CAW?{-#gD8qAX`$k~he{|>f)tpmuz!RP;D!NS_X+~PO)=5CJ6 znhw@ZZa`Uy|4|2v5dX+5fvx}+0MH2l^fa?#{vGh2dHF47{VfI);pgKBas*hI*tr1x ztSx}x4@4gq6L%oM)!7Z`=kxc%ePXAlc#NOJ@ z>pxZhOGO*_J6jqhkh8ss-G8lFyGU7k0?k#dUCpfiMeV=jvaTlJ`4@Gtv;%_M@{dUK z_m;8)&o21h!{)M;z%wm5KH-K6E58?qZOZ-8+0A|U5BW_jzv-BUt4q%pl z{e!>}{IFAh=&Ehtnvr30hrbPAh1vMKZpastnmkdBWV6X;2O04AaFeG zeZGq5B^ftnAE3VlK@NXa&I&Ho@y{~YrK1V>midonag?D9NyIf^p^pc54S%x{qBp~|EYCZe_WKW8vwuAV{<(I* zN8|tE-?uOT2=oM+Aui2>%=kapq_>2X`%8YDtbnEDWjd|G71EJQgjvden(QFLmnhgK z2MQMlwFPEV6@wIH_ze70gB(h9C_muXy{vyush+qoR~6YY@mKUGLX{L9&DUbm49-?u z46NuPr#+I(FVZdLn9gobY<~;T96c82?dZObWgCCRxJn~`U(vo=2|d=eYp1ZX|3%c^s!!w+TnEC8`cc`>-$xd{FAI_VkZZfD8$JNV{3hy&89 zlApRfUxzojATQB>KYw=k{1%m1XD+3V&V%$rpcH7;l}B6(iSHHPlFQFr1#i1_*cR=Te$-Dp}SgQQ$dI?QZHW^p=Yj5G}gB zRMUis$dIgSl{h{2sS;NWL$u?W(7EWd~LVE39lG;?>3R zNz*XwV#YKj%qWGI?^#=qpR07 zQJzD}o-`uTH4OA~Gf7vBAFLpe(Oq2G2;}v+!`nE2ZDGU1-e5K&*;c_^p`89c2!j)a zk43@JjL~CNvNtskPLQyMfU%4wfTSWKgReXa^*6o8H1_M>pij`70IF zl}gG!se2n^nnHAY#uA}VZ+aIbWJh{YI@j0(2gGwnxen>{oVUevkKD~@xkcVdzn}t0 zj9KD;2-ZI)Fbi-Icg;=QeV}2wllnB|dDSB#{b_V1BIZN2z%NCOqLI%IA+N=7Fa>YF z9R?v!=sih3i&Y)e>NcbF33~$<;XXc-XT(at@S6M37YudiWmkBn8OQkoCJKz4ejxe! zSS}9L+&I7WX<4j&9vnndX6dX>yJ0nxEf{Wpus65aapbp3Y9SG5suT_XKzDw_4`BX0 zFwx$%_Lb6m+;Vh3DIRK?SrB!QWukxqEl0_C=aYo%k!9c~w(HyaU$1Z8LQj369{iM8 zaog378AO5HW8u%VkXAO|k#iJJ@3a&~hBcUv*vSxwywH~bZ)QDXAfyK`AQXJmp%p2A zzD{VRo5w74%k+t+G2)Tt5DmlL*c4YkZ?hda9I;8h-inu_X;v&nrHDAMKs1LhH%|on zJKmN*a#33%o+w6o1+8Kxw$jgc=3mYs(sJ@YN`Ek!V$Hc}eXU^McZw_#eEAab{l$!u z*uo3*7M9a8q7hx!iScEO&TQ>iwPTQf2)mc{w8Lcp!-{Y|UtSuGX%wSRzkH#^ysK0q z$`&r*sH1|PVpH`cyphP(rv>W_azqh$m*czZSIw3a2q<14+Ptgy-q>Y$%TKK2)s%ha zBCPgFP%6l)%C<;MJ#N7KB5?6)3KPRFJDsh+HcT4mwE>J8Y{-2PK4ZG|p($K{qn$$b z`LTR}U3E$A=Ot*VWPIb7A361P*5)URIMp2lQwT1C^Bd)sd)UyS_j7Mo$eSv-BsN>y zM(Gk0$paysnp{P56BResAGpqb>B{bkP;7F}N=5Arv2a~G%Hxugd39hKH55ZkH1pq) zG10P<4e~lq5Qr7r-I7Q-W;Wx0oMAPILp~}e^j7YU@vHj1VDat_j>l%J-V#B!ha{!- zcd3+knA<6J_#o|>D8mOtoMG2(N1~p~vYl-2_@G9~#(U-EUzpsvn{JKm9Izpx{-O=47kTTZ@TEt$E3 z4VdD0w~Tl5{(9!9R>@X}KvPQOp6t}XWji+VGn<&cZ7#n3vsn-ow4|GZ7oXLDxI{br z@I_kfVVUN)2_^R$YE|!SzVRPo*XX1YdGXWyHp~6U5Zg%WLr>G0cS=uJ&*+rijfHDe zHij;;*hV$nA8xko#=cT+VfyZLOEgco5 zkY#~o9zU){{KQIHr{WbJHJeCXpt0sA6Fom;&#NYLgk2(Qx6~!R>;;d!tDQ59a9<~f z5`Y(STp7s9?Xp#K9O`0zzE~HBCr(rR8729FOa-_RL-1Ao*nJRx5#=Yd8yz7lBgzNU zVV+zRXSeD0muTY)^maJ3ebZ#?fHx%+_-m{^K{M4EKl(c1C7ssp{qagkx}+fGI2jdl zpq?K!2UMQC)(f>lv*Jf=S23g=#!~xu0&d~=j2G_i9mam7eTqri_ zfhH$TTO`7`vBdM?%Bf!psJlvkxM@&8)^X=IMb8Kml`u2MisKAze;7|a zAV7D}RSrQs2Hhd+zD3_9WowtMHzwb-aVG?hUNYi#GdUf)g)`<+3S6kgd~V; zYFWWIZZs^#{XltLITkb zd3d+H)G|wkQPrM(!S7uom~FhL4Bf8*!&O+fn8ObtSOBUg9+KE_5|lJ85UMQtloMdI zeqt`~r1a;1Dg#lQiTp1$d2DKacw1=3HKOdLb%V(23_t({)i`oT`hELPyPH_Y$Be$S zkh|XMI^rY{som^WT)9t{wylH`L{EKAo*NcdWZcu7bV?lc*40DMi$<57_IV6FlN1`f zar}FNM>is=p>+D?ogRtJFO#nmb$j)`=TkqS==bV>4N2Sq*QL-+f+OZ`+@~USUsGI%5?c?y~l|}LtOR!VsugIIq$1Xt(au@LEtuj zBiXVFCG2#F7yj-G3c6a=6=_8PYf6O$$Fc$6B1%71BV$!Q< za_^#l?X8n}oIdy^Q_{@kzb>+NG~gjFOw3`j9Av`tS^RXRuSpgRJJ+;-3K<_# z8N@jo{l38woE&kwOgw&NSfFsXLJ#}Byt8d5)9uF>bs+VWkY|n};fZRQ2@TEqjKuC* z7p*HMfdn zHEl1=8gWz5LLRjU?Ed+RrB4Mi{tLkc_BDkyvz056Nio5our&DsBxV_Xx}Ft(*G=D|FPs^n zqQjs&w~nSqUr?K2AC`>^R6paavLLVU;5z;b=W6e~A6Iy*plO}}VBWr!<0wYRdBLz( zFD)?}?p=RV_?@8V(m*jpa&y%hJ$K^F7E#1QjE&1NEbr*cE0T$><`;?Z>;-}#Ry3&3 z3qjAh?%WVfBZq$ooqVaH^BGXK{Uj2$5@-91_OO55;@g7UV7}Wc zU6oZ!!fUmCC>#PpET}%+Y}d4%wjSX%17?*CgI=J!qkJ^l$KFlwW9dCLR z<@7-Zf@5l&!Nuu+Y;G;`f`K}oT)Yk=E;(CqZRD;UFHE`B+CCQV=vk8{HY3V2&LwEO zow9F7r+i3Bmr93`zSzRotVE}qqDz9Xo~G1Z6QP`9(FXhn8vM|4U|hSX;ovQ<_lj8^ zmnvcAST#^ky&S@)MG{FavV6E0eY@&LXbSf-&S$rPX%nn}ACcz!X=Txn2NKD=D@CS} z&Z2F8on3#MCHu+I-m%xT%Jg6w3u^&&aJ-B=Gi&UdZBtk0*4sU1Ah7>UdnxxWuod2o zZSyGTmse|w$XK`CS7n0OcJDYUb{EN&IhC84GNTi~o6UTYXi%L<0 zyd2ig`^O)D_mnKo^|%S(B+YqVrW)CwA~v|0B1~zXa=PGn6BDi^T()ebRe9vFco14i zAy%VLHxtS+qKP-g9|wTCmLc?x}jptx3mTsL{?Bk z`$FCn`?c@bCoe2AmtiL=6&{jt42eXj@%w@wKOXyk8h89~f~0qN+P&4?ZLASk*3SU>yMR8&DeYRgm?NT!@%_!1m4$%DsZ-L=6oJvBZ z{5Jr~d2*fh(5+2y^I|_=pw!zX!h{ih*Omoqao&_7d7-eK7N++ZanXA8InQ-u@Ni@t zrI!eQhSCHP*H9kT@4qu?6se5RG-NKr>q6!O(V>VsZ8$%1cw;lVP9bMdT3I!j>A$B> zLg|AkQX>#1Nj99Lin95dGL2PG7>=Qf!0I`Bc%~e9Q^kFlA$+CEs}rP{zpU0BjZ{SM2>Cy9y&d%iuV$2Th7@K8>@u)cjkDV?-` z{>rb^Llpzq#q?5Y9TmHfM(S(2DXI!@6k|V>@QhUf6T>4DprAPdGrn8FtB8K#}L1g6gh(y=AZFE7tDpp**tG56Bpd_n&6|w=<*EcpFiQ^(A zeqwYY%D@sv6|W0*_uX!vdbaT6^+|?1K#k_>=-kc5G0>IKC@omkYrco7`b?33)eW)Y z7f0wKF#+TkkQ_Pq(9ci39i4miEt0WtX>SIG5mTGvM7<0FbImfF)Ps+L(k_oj++9psRU85g85vGv6NT|(xja{7;2uv5L6KvQ^L$rTDW&9*#=i} zYr^eR^XE*`?MZE^F)Fs=HqC3jfuxVaJ%L|#qitbx|E85XG8aAbVXol!E!&upJwF72sio6Sj*!hIWOErIit# zmY}g_PD389T4s4}$D{Y!ZDfisL4v4mO%)@PN!48a)X0Y%5t?Uz=(I*^h)I-7H_;3& zN6y$)<&aY935t7OD1946FeLry7l*4%mxH=vjw)nc)61lp89w>@y>OGCqp&s+AGasR zB1$ffGJcgK)0f;72N3q(tlPyM5}uznvkKR9kb8U)>eyR6JVB2kJE@tp=IIR#-2EKF zy85_NNC{}ExyG-5|4CFdi7Ws0X}z9QhaG+Ec6qrKa9KW}Y#&DP0Z zk+-K>Tral%X!*p#^6F5Ve)r&Yx|?fV&4s8T;8WDA&N73gczA>CWQ#FbvXeHWscoBE z{UdSpDo$s|eR~2Qz4UCFB=TDLZX0b%XOo3E8RN_N8~*Bl4v(gsgJ3~H>hd1A+8xY{ z7-*~edz2hWt_70a5B`KE4B=^xc`(lg$7ppva#KTXwVjFss`I-sOA=b7Bqzj0sk>TS z7iZtyYAJP@S`UKrlpb~l+b5?jZlUg>hmaa_Lz$kg-3Sc=%RZ!&?H=_FC`CdCju+Hz zjztA8(|=@txNGwk&aU8LFTpft#~l?zyk4QbfN$q2I){?F>*;?~j-KyRb@Wyf4L?(` z33*p%`o`sHyeb?^Yx!anpo_OLRdz|{(8OMJ);cXrJNGay(s_4Z=Op)ee_yk9k9VJZ z;SB<%(s_#eFtP5BbNjX7gF!sYZw&xm;-2(R84Ce_x6(-q7g`<(c6n;QH277>W3Ka4 zzfa}>YDX+I1Rk9a*Y=UO(b0D*zRCDzotYe0=ADe?@FJd6sPbg3ipIZrg3pUn7C^j= z{M_oqU0O;nR}=*X>6kU34n&M2sQEfI(;_^Ccr zRuorJ!?g$S?gfOn`2J(m)HO`)L}#Z=?Lnf*3HvO%eFBMW&Rl6RgD?A6E=DuLu{9Sd zrEOgLXw1wPCZ4XxH$?d_f^M#ljSOX#wK2%P>1qQ5pPfrcZ` zpfNBy19k2F1EUg)P)bW2d7RDg9^p@KA7*mbEcI>5kdfTGS#P`yf?N$ss0j{D%Qz~3 zlIcAUyGPH$t+(Z-2&a?dFV1riw(lEbyv>yKJeMk?T#!*Sx8@EU#%GFjy}9eOKNw!> zJd7Th!7^9*YpZ`*`vR)0w22OkN!Ck^O;Ty3J#*f8#m3qz;qjk;QKH*vmyn&}62 z^fx8a^}VqT6AUv5g{8E<|C#1^V?D^p2+S|Jb`&1U!b0$dJDFUl*u0cpoPKIu$%#!Y z%wm8~o~N7fO|Pg?eo?zm@L0N$)S3BihgM`^qX$XIg`p8@GVW)Kc5M$ibE2&_A)*#e z>H7+&dhc0~0Z}NnT*@CngyWxoEe5mL&z04BCzoaQBb1MG4zpX~?4Ept8IcrS8^!Da zR3i|Hoi{?kmfDdkbChDixmjtmdLp@@2;sy*hDWze9_;F?CjFF>$KB!9u*P@zFpKTF zxfm@Xrir>1axt9vz4^y9XQWCHhEKu-T9iEG{iR1)K&p5b?y-M*%g{!D&ZM-d)WC6S zGTuh}FYeVgqC1~e$=!WQlt@!bI5me+Oc+HW<#9X?Ks^hmP*v_o`egs?2;!DrYdymx zK~t?;ur9J|#$HF^_0k2$lTw24FnaG=NcqXw1}=KTGOQ4BeZz3#jy_S$@<-nL4k7LL zyXzy8eOJQ1hm&I}JIp6w4`@POpQ>0bLG&lzQtGpmTG66AQLo;A&*t$`f{EE2Tz!+0 zA^Y{mY&@=P+86|!6P}RFY&oJ|v$&s*|AtEmmIATXgrZi9;aKI@3Xv>j6~b$V7C*%! zvVM8FgSj9{&4NmpWT>o^KHtqmC~7JEy7AxGL$o=DzdnUB);s-en5 z{wXY(kqDEZOHI$@^~ZvAr*Nh8Y6uW{vNYB)PEds0i^mkH@!~JH-?{dEl8=wbiGO7z z7LH=0l9EY2Y3gUc=3(TQ%h6wP!d8o)QpnJn0g&2%Js0mpp69WWy0TFvcrL|5*wf%{ zEMZf}Zn&e%>>Vev?!FNU^tB-drL)3bZ|UEwzd2gc!K9Ut6)v@-Cxv|P3NcWna5QKg zY6AajEB7n@l}lwv^#mw0jiiBwH1j+eh8T)RXHu9bNG!Yx?z_oVN)_?6K5Oo_ikq1y zNOC=Y;_+(!vohxHF<_~;Z4efC1<{a@nT-|X| zJN?3*I==ZZ8kBDzx8dp&U$4X7BE4* znFoMenqt7LQ{zU&W20@ARRsg+1$d`|fM@{7*lmv^ zS|RR{M|$;ydBBLXt)y8#l4u1J#yhcpef~qG3gcHXda^Y-NW;o7OuCEnowsF5hc`=0 zPPNpv_~w)N=Pl$lAylg^lu~-r+$eiaW44KK;m0F8?oq?;RCa>H0L{GJJC3yH>E`%o zY!s;ig}0xx6_C-k^X#X2r>{5`NGfLq#EwoepK)EU)eS0TQR88Wq>W>ej*K3ENP~`( zO$!Oj8>a-}hV9pd6>_xphi?liU@Cs8s;qlN^jPMuBndQ;)G`Q)R`F9h_MI9ox61Xb zVh2DOUM&)nf1vy&#r{$x6>`OmMA+RX+N7idQCe}hB?@Ksi8rnGNC#P+=M>W?HxYF% zSGNpeX@|`?rl=${KaP5^P2g;QW$GFB_y_LZb`_YYiJB0FV^I0xC^H^Wfn)ip-gBfy=Uk3>xx zYR{QVmg^*sY5F*LkNR;ts>Qd}%_!Yx&5O12^g6xK&m@I$P4}GJg85E+aF+6r*quN= zrNCX0SM_=)Xs0y^e2gD!!J!(tv4i8hVSj^5q+b8003e38ZFP_v&Q)7m<1# z0j3iS5WupUIoovaZ2on*{k9-PE{eVCY)jly!;v)O-BJMWCdt#n9sjC`-PM$xor3{u zwWlqa6dGy_F>|wZr-+JXTyAhNCJ;?!H=w~N%s}w$VAS7~oKbLpMZLdQnFIc72HwR8 zIOuInbOkj)!i@YnFMt#EyqeH< zAl8oqBX9fy#lC8@(I}VoSTu{Ov8?+})MQlAabytl`C2_k8=walb3f-VATJ z)A0@T@=D%mL|dMJfmfMSYOsZnW!rSlEjz+}R1+6;BE?EK_cu{!1S@Uz(Dk0{Q}41C z{yLQLXCPDLmhVl^40Kr=L^(%$)i37bB znrL;B1&}@lJqojWdmoS;ChDvc?%AvTxbFRge$Z0Rj3PGEz${7t>YPafKLXxP*FgI# zq;_MVMDu-a30+yfIpOTrH+fcyvnG1EOMIxDJxwaHYfp9La8U>cQ;7aquX%QFrBUJt z^e25-O^ug-w_3tecWTn$U&8h5sr2^*IQUvkajj%ZJiTX7PqaBr{5?ubz5TseSLluf zo-KHB9jiZA1dI~t>o_n(H9`^XtAJ1e4AxPN*<^7F-2@-RV&L3+K=KZSl5-o}Pn@vG zsvQ^XG}{0>K*Ybbt`q?5bspoa&-G=Eh^8WSQGq^zue;=7GR7Gf7=ACa+qkT_` z2xyW`ucVQriV-IfEWo|^b|m+nuSjgTlv{vL;&ceBB2c`hIFD+5{>Uw9dvqlm4_Gmb?vYNm%48viN;>*0(%vI{mQZ7GnZ5b z{Dq6%I4Z~bH7%p3XV{8|x=;X*b9zv=XSR6pc@PCJS$d`X%G`%ureE^qN}L&;(hH5g zHfMkbI$_54`t3x>Lh52*G4ZXy5<(lAQK);9M>Ksl*!ijRD(0fheI`+ijiB2b53dmR8vj_*_ zH80V%+!Rv5UW*uRbbU&}<&%MN>vz?y?-DeZ@3MLUaO8#jWo-Cn+Hp8T&3U%#^idO^XlbMZ>iE~h4rrBPvE11DD+Urm^ z+hVltgABC>;k{jDGN;j1@@NpqdgZCrNAx(g3t|T>GntpmZ#t%&E~@uQ%<_xc*YWWd z%a^e1kk&@&BXoQ4DV#rF(2u6Fu?Z-$Fu14te-;NyMMT1*wZvtlRc4adnc`-d#=k_8 zdxy@;pcE74!a<*)oggHU616AMPv&+*p+u_KO;IBw2^Dd6p6_f+PDA`GY@%r@^Ar1d zk;O)IhUx2wKaiQ;llF8!v;8Qhs>>Ov0m1(IF}Gg+>BMO3yF=F{`bb++lp2+@KQ-?X zf8cJ5fw!uK6S;oCwn^^O0)&nzM1&`5_`Nl0-OvfmjU$0Tq2L?N3_rPT93gii7oBnV zr9z1BVzk9O!sUEuD}>t++m}nHPe@h5$Sdm0o>%Tl^)OPW6;amiyrW2YaD( z`w3Tf?5qFVdR=3C^7IY@MplZ5s*j~n^yif9#5)WTZ2!_^i)|f+rpR}0A#ajMr-?7WKed1B`j~x1<=A`q zNmBFm#ZpVJdE;Fv9xIh02`lR>Wt3$zLO_9>OQLWiI~D^lF^d5%cdjIoO8hR`cYcXv z@7XeKD`TObw@cA^ME=**oc zY}YCJvW)p;!pMY%f+0|jyPb}=+ENrG-&D=(UaLk$8d z|J?~`E^V^<*l>3FIAf8|f8k)EO$|-mg~-7VHdrjUtzco=M}NV1!qm9TmsJZfLB4`hA%0E{i_(PgQG6`Amb##}yw64{ z2eO6fN>D$8|76u^E(2rQXjwe$ePvt}pq$N~UZvv$Da_Vse+<*Fy&LjALLj6-aM}+W zV`$$5_CuL=$;bKSKu@HAH}(2O;Xz+-b3T{C@SS%EQ1PMc!y~xukS@4Or;K1mlmA$K z$52wBloSZlnb7;R(Xtk)xom28-mhD8q|*(8c&LCOJ1K&zeg6rY6vChuJ#JB+r$(HK zYSR0dnlwSsfA^`C5M$}{2KAXuoYH%4Sg|wP>?M#Zy_Vbas1YVFUeJ`Lp~dFBo9yF7 z2(QMJtu;M1#eLEY0|T00kK{W*5U0if zvPmi>Ewu6)=(GuF#J~B_dM673{cF!CX=5d5;*@>OcV|j3e5!=Yx2Etr?YaW0Q;zZB z(DOi%e{dRR+YX;UL4f+Fw^^tF*|`D`$ND=?Q{%K_syUyOa+=NlN(4m~pR6~Eg(^&w zMlfl)Aq1k}uUq*)dG5RXF8s=}h0@5QHT)+cHAPOBr`x_^;qYqN`+PIIfFbt}qoCej zS)6Yv7hK_gApE6X!FN4^HMY%x`E2r-FNB`Le;!+TV*jB4%Qp0rS{dTbz9hjWwU5(d zJ@e#buU13Ga*W-6Yz?i!X`-}1#IPs+E<@)8EAhs~d+w_fjjNf=%*C-Mi->^h0W*9p z(;wSdr(sTHBq6(UQMmL=U#PI0)!UG3fIYfOIkoA_YF;G_%V1G}Z7O@t_@Z57({|-J& zlH$8><1z}b4qrk|Au@l8%V@wQ8RWe1sp z3*lVJ;QmP>KTMSBmO`-4`}tImyxVPssNLt1MvF{@$b~UJ!M8}~dnG7qNe=aAc zqeY7>vD(#IW-YQtXY?sRQ`+mxz>gL=-7_wV$0sm*S%kdCfZ~OTK9s@hunYbgtuedq zXD`;{LS-K{K52=OBbii1G8O{w%h>id@c!+Hd6xnX-!Qi7C3)xE5XETVJ2soB^k)W3 z=%_F6{G(ee+@U6-YD;es&!NRzf0FvtGO+tNw5`ysz3oqjZzI3Cqv**&GnD)=os@@z zQNI_*n`Cs|?m4i3*po95o~g9nmabyP)3M4>Em!v;^oc-U*dh(i86<0b$-nnOl?=ze zc*Hj>A7P^RbFr_xrW9?Pp??pk>9~hu!s0~c#Ku3-i;ONe(9yowUmW3oe-LXOf;wK& z(1AN+cbPH|4W$Ap)@eDz$c}V^vw;^1P3nM@5sckK z%Ch+e3a6X+mXG91R$Y;Z_SU|_ zLgDDDDdy_+bTDPwUSpb}e@ATVLr1T|k248nic(4kLco^OdWg}evh8x z&orcF8!Efik$INd%0jPrGkBirgCodL8ofS~_!8+Q zPMBjjKQb+0c1(G*&uj&ZZtwT|5YY5WYKH~BESK}DUwkSfT_@XYwPHkTMerY33t}9q z;Z&s&1&~(e0G1%8{>!|^RVviApef@2zuuGypn3_ zPb&4KO*Zoy^2N7qe+6>;Arj@6YSDExw*7uX9%5xZ7{jK~XF1-B=H8e9h&8TM#CSm_ zaj1l11nD+86!XzYA@a~A{V0PfQ>EAa`XgnM=0?*v3f~tGgP>nWz0xDyK0L8WhOk1bLuiuA3X#cj0lxGp~stJ{5NnsJ>b{Qw9Vd5f4fSCQGA$-@jScj1tOZf zoNt!+X*uj}Lpd|e(cj^dsyZ%kps;VoptOxNXj__Be9pgsDbUV<3v`9kj zm|`Gk+ZgnVe~-DysjCbk5-wSnhqSom8AiUa ztvW84^8Gu{2<*qU^mfq8(L=HI&s+L?BG#QB5uk!be+}Fk_qy)dabn>8fnb<(hV)s^ zjl=$`zB+%Q5@i=8^&(@U5@!gpVimnPFFRJ~2N&lXlbBTxg(`D_C|CjsVq@{zP1CK^ zhgBRhPRWH6GKT34(JgmOCc(Fuxg=YtH*P;e8}@NB?JzpO$uAvKQh1noq|N;j)c6?r zMCQDlf86g!zD*8))^N{16n6y7g%CS9Z$wK(t@O|GD6}Mak$8Jf*cpEN&b{BAOk2#S z&$aG4&C_*#Tr0QmyE=XTpp(3ALY(b18@`iJ@0^VL%riYA*#W_vrC;5?g1gEFXl48z zBxX3=9SL6!Z4<4&=BNV5)FRHLju1{A?tm*#H#Fi;?+nhJQocFn|VTv zi})->|G3?0J@6&)Lw4xXK**WxkoZs~Y8-T;|Ml3{lnpo08AW&*G(zG+5EFAuzq?<@ zJWsQget&|py#5O@^$39Pe+neYSWmwC+t*xigc(-vE^|R7k#bc4lIIn+510TzLY^E zHIyR0gBO|YAuy)?>JxWB0#rt2AJ{8{6`R{xMq*Y?>>VN-N%?ro_;bEyrkdKIfB9YI z&4zxf-;9P%%XV@SlrGh0WueWQS2w7;3_pI_jF?NBr@Uwox`RbPmX1R<#gLGgL?Bie z_DPY+RCIljg92r;6EmmRrpoY3+19x-o7yuw3a-G#wcgm%RLK(NEQhuT$K}4q z0G`qJ*Eprnbfy-hE#_Zn!+OvB{mchWXh!H=S8ql?LPjyg+m!j#JzB$8lqVb#9R?gz zcTDlng{%U|3`p-Gq`!plqa>EO-s@ZSj8uGkI4LqU8A>G9c9XLtKju>!f1UjBWN_JF z#k1H_LUNjvKd4=v6}G;L$NjXtNm+rdB_ggk&todGWT1w-Ukhwu3Pvfa)m(gZN=oBu zw|a-iGISNhUB!oza1eA5TJwI9hlaN%#xu)|_io0%cFQbSCT*35%H_!?-t@DLV7{*) z{zU$`o0^7g|3$vdh@Ln#e!QUOcx1)Uts^;0ld17ZHL_F|qATOWc=XuLtQbR2XJXU5a}d(xD-;d=|PuigH{9Is98 zZOzI?6j`%39O1Vlf83Z4<3j^Re6njwj7V_=^$F`)i_>+E7&h4NnJotrc*qt3@Nap@ zuBddV&q1A2AO$B12KD!~1f2+*Jn7{SZ(I6B?{-!Ez zOU2bw8w*2V$L*efZhdNO)hn~y!jHK1ZKwQs{pfpFV1bEJ3sY4OjFw`4eV-qxf($R`mpCVbs!d1G+a!(C;MkZ+#?j`>fS-vZXBq#+MQig>m9Skg zv-|x)rg|ccf3gBT^s7{(e2uan*T(yO-%m;$Ov|#;^dPo8QZEYcOvo)Q^HP)LV)YvS z1m#c{djHtb0m+a6El!_pQhl@(PWN|d@@klx?4RNmydBHrVLhYTM7PI#bH~L@zZGBy ztfwzYX+l$2LpEr&rKF(nBUd-~OL3YD;*VOMf0N6afA{uCqTL?|CdE4;Xve!blGN6p z?!M`tn`&Mx-{Hzrz$86a^k0CxtphM`1*?rOafjXkcGr{A5YaJHP7jP;8-pWl)m=?1 zk*K$ka|M1)`viS5*!hVNK-W65>$Bj`ha7QaTP@R{)YDe!=@&d**HVjFh>dCu2aiix zdZ){7e|=i~0_#HWY>q$4{&L$Q5ZX#H_Yw+1!3Ny44 z!lfe5xxBvWyi;Si8W`uAu%Yo^@r&x|?CzFg&RWw+jG)4oBGd ze|F`9n##5%@*T8?04eGf(zc{y|4lmHdeoaP$&;Vg1o0KppZM;9wX;ReyBs4Sbz6n6IJ6>xl=C=v)v?p&M=Ax zK03Vmql^x%ZB7y7zNd}W@>>#FoGX~Jf5Ic2N266k9&~4EKZVU}T3r}q1j&H%0MV5UI z*em@~AkO}6u2twlsX9P18QY)C{U-eJmh#ePnW9P^{j&#xo$cp`!SH?#PoWGQk8l zpcHohE%!(D`-J7)U%+GJ_M*A*gZ#ue;W6I1!56wOeZ8(;kIRV^JrXh)0zI=x$ zL2*+^8FYJhfjf}e8R40SHsa&bH0eA5s!jjC{n2e9KQ*j0^w(-(I1?%Ze-6T7c#TSn z=VLr&iGqdHu1a5L&3E__=uyO^N#-VkvE#BN_UV*zZW#U$J4+R5&`Y}fJ61X9isCsG z>KWv&jKaz4a9l01xp={vA)He;oIQVoD86WAJNCp1U`VG{K$jj093o4gNoqQ<-*&bE zn!(|5-XcY|H%=Do=ylMTe@WFUk9D&K!%PyweY{WMmQhCz0Uu{G{+!C|Kp)pjev8$5 ztif*(_Iuo3lbV6?oM#PL=Sc$a?m3|30?*RPOfVQ-Gymti98>mq|Bk+^i&bEm_$`5F zrHp&{|7+u(6$DWf1c{P0#awc zu#;ZDvQeN5+x(Y#N-B?6w2A}4=+B}nmi{-JjX2Rct^7mgdM-Z-@V$4itMJEg7IXZ& z)#c6n!K7WMgqm$He<375E?}trbYZ*IiQ(?)5$w8bNz1c!75Tw+C{oZtMRspwJfh|W z^!22Lu3jJeX*3iwuA(=1t)!ijOX;>^3Zl$NcO&nu)K>sKmr5jOb(i6Epc8gERhUGi zzdw2Yf~*RQlVs8)R>)V{DnhVY^h4wAX)*^<0z~JfP4EC%e-6?tPanvtnoPrSE$l+=l-Ppj*1Eiy=8jWL__n|GY`T0zn!COFdw45nj8a zm(x4)s1fo_e@PrYl)q>D&g`O3U40H4Ss~-hzENeBfk8*TTP{AQbKZWf8*_zeoWdZSKy*!Nw74Vs&=7S z8j$EGSXLBf;A5zd|Nb$~$;6W=SsH}4_r*DqGwHY=$6ybq<^Gv*lo(YlCy3^9Q!-d< z*F14d+k`;F;WiXEdm!PHjae>moN7}M8>w6ed-oi(==8`_GqXIW4k>1(0Jlq-WPmR>-cbB=5SEdWF_TZ2)(Jg zJHbr_G}Q(Lk3z@Hxv$^kDIo-doD{8$Bzyfze=&{*rkQlo`h*UnT9)hIaY-2$j|QKZ zM1CpJoB-PUxsQ%2dM~j|;zVTr)=Gu^&Vy{#cI6+IqqA0TgL%) zKLy2$v>J_@-HT94XvwN~beO8F!$fzb{_g!x61T-u}dd`VjP4;Vl!n?Z0 ze`21)ro;eaPrfp>I>(6`4Goon=&(!V`K^b{zY5dTOqQHu#BXWAPxb^`OHvhJVg?)$ zWW#)PPo?KAQwv#}(=IigasM@x5o|MYAe1+O=3N=|Zsog9`aZAS+s@H*Y}Ma%l& z;1$&VjqX6Z?=8}4Vn|X|FpKR*^0ZX7hqB-zB+#?(wV7Ir)UldVyCx@G1W>f8f1upW zE7@N_Tukx%`uAaSkxD#s!Nf}aEdSAv5Dke$UQeA_R^WAr2ATe$x2G~*@Y(^QI5QNA3Nm)L^ z!QM8WRq$>>ojhZm{9r26430wVf9oJ2F7*}bf1&T6EGlT3Ovji%UXiGz$F5?T0>AEk z_N8pUn#r4KTE+s5{M`9Orfa~xZheGmO!c!XrvYb+wk*=J>pRWCucW;#eiQ<_fN}}c z|C*DbmXX9PZFxk^8ayX(HzSO66_c)BYCs!MzY3&8%=WM(r#Q81|Uj?J_{@41k?c)XqL zN{g*HZh(#InIa%L#TJ~6 z^UTnnTI*X%hu6SLE|C7klSBCoMMzGRZTw!MwY7|E0e5mSga_}+e`(y({dJz>2t&3U zA2(wq^g<**hwkAktxltD3^eIlT)C|Hlz=7*4F+{E=59^I z1kk+JSr1X?02!hraJdep{V}Axo6AbFdC8d|*r{4}*`pa^Sj>74Cy{W2`Lv`LXDIzD z$5nRRI=l34)JK)$f5jsWRTxnW)7gJNTu zfqbWCmn|MA(g6(JCUgDNJLkFHKP)P2sOWR_4@SfbY3Kr$WL6Sj%Y%)b2NB<;OrS^r z47u9YiyXpAqEdx3i>g(!u_#n0bCaU=s12ACn2`lQvO1bZe>HBW>b#ABxyYr{zReWE z^N_Ko7agU)2nBRGu?zI8=@?6sVM@Yuaj0#p#ld*?U4VAZ7|zP|zPoTZHk*vuALkSk zfGy$BxmEl6Xm$D@uD|qF<=XvHxlr2DMtJzO{tT`epkpASj{&mA)`U?g1DqfDIZ<<~ z$Iz&1(um`?e=&$Zj;z(W9yZZ){i{yOP+Up!%zwN3DS3ZXjHS7QQeq;Y@pl=55))f@ zvR&i<9=HPC`pByiMct%)2&xY8Yk@N|vo}d*ldF$=#vwLtR0Wx_?Ge~TFi0voX<@aO zs?dKn4q=xK1=w(8BeZ2tE2-f<9*tl-Q!LZ@$ly-yt~5i zPj6C+f0SQ8tVC%Ie30;Ikr+*#v;qVJx2ngq>+;o7QqBJAdC8_GtdGzDw zx}7U<{wu~cko+7o=z(ocqKd$_cHiKDNhgaF8ovHy=vjc>yhBA8`vWIm5g6T?3#G75 zf5J_dldGuE_#H7};Lv$3CZHCKXLuP1gJ|cDCkQjR0p9D z*}3VCXD{n&4ev!v>~BIM&0u|%7?~{_v2C%}I%xvyY#) zo0bUs{YA$o0Fr(Qn1Bm5Q>Ht5XzZCls zNsq#N^|CeyqdFkHzz^a49?k}Kb1XwQw7*SXXaU_Dn)^Y|0@GRYE6C$;=edl$_d!Yf zJo+q(B=EKUA?_&$VgmRfA`BU}f3s(p&;BCsy%&aHjl|T-cL5UR!kz|A5NBYk${X5t4 zw}mYi2&$rR;3C13uuQwzd!3CJng-IcYmk%!lO5Z6NsLQMxo;iek8TRCe>HD~Kea8L z1anQV&k-lhv>kP5T;f8)-yw6n2LoG&TR8hR$-^x!JB2L^!~KiVo)NA^7=ns6SQ>R1 zdO&vE4>Ulz)NO6sfxMArV?5k}nhbjhy`@n)w=rMY|Jl$0vL;6ms+Zd>CRf>U`sq3U zKRiRZryeA63R}2>(4xfLf1D=|fY_08BD#NHI~PbNKA%|>K%kSP;mmp!=xhz6a+1Mz z`TW8q>0rY2jkR#AgVGGh63RvR5w=m1$gwll8cLewV5F!2qf!)2uL9C0Tg%(lcf9U|e_P2kFg^Gk@ z4i9-^fPpxG0-Ffn$(~4uyft{;ZCg)HWnlL^D7N(ZVXBO34XlgLgn&pQ&Z4<7{mEU3}Y zd-?*)lsWK(juK`U44JnLRDfPGOQHSn++PZt zj6PV;6xZnff3dZPUn)A@gSrI`N$^UHqO*>l-&ytBVaG)oEuSKg0>e=+8baRr3 zk~rL_3>2a&P^Cv7^v95lrhHot@6L@i0V=N+1=&2ppNGepqs;$252n4pC(>!Rfhp0) zCXjl`3+W&)Iiri&FZ?@`hXs_Hb)3IENfS`=f1hO|x0sD%&@q#tZZ4v|OAhr8ls;J+oE@SY z@Y*eb7%3;rmyT0BrRffXwC}hHT5JK=Z>XsqPSMETR|Pbiq%3gSciup^B?2 z7nBU5Z;ka!h=aZS+#HX-lK&hPa$t$pkq9I0fBFC}->kM}uy|YE#s`&7zo`BPyP&1C zx=JsYd#4gin=uwydODJ3Kxll#gK_ARmngS3yAMhk(HY9H`^?$G|78s`6vCRc1G{-H zv~=(Gki3aUy^W!3MMXZH^6MU&L!#rP=S3BgN8VqG8^bhO3Y}nv58Ftmb#I{%v;|(u ze|oxFxZ(7=i@GP8kotc@eS!`K($c0rO$uBx{9w_`jS8G?4D4co5vIP_(S6j zhF~YyXqj!@X9)9a8e4^8PhcdRZuZj~k(widJdq?I!~1i6mRwRoXyj<%e~kzQrD$=A z@)Sa2BENOiqCOSP?EPtW2ZX`1(09$uQ={|9#Ae(bJKtEr4QTIoFk|4P0gJa&EhR0lt)`_EB7;2mm6~i7MVJ zIIEIJ!v#Lo#se-{;-G(E5%}2`q?%)vlB8<0=Ua!&!8P_SrY<&_KtF~ktURq(9b?`6MCisru!l_e{p;;qiXXc29N~L z$=L!vC2BWQ4YBozwj4H+Unu8#``($|P(f}iX6mvBfdIXWf8SU*73Ea2v?>5thNkZ4Tykjr07)OVaY`!z>3kT#Lb~+_W9Jyr z0skulKzsm+lZ5ir4#t%NKQ;edn2N0-X?)+MR{@S-`=U+NTt+^gbq+GUwS{aAE9)$K z2A2QuQKX?Um04l&YurhJ_uPC9k-vU)wo1R7nrbBk{THu$e?*@y@lj0sj5T8ObE6?n z_Ro%J;J*r-(%_hur-*Yc)eUc~@`@qlVv}YvUkHcfv&i05_a$m{7oANM0BC6R_xr~R zSD5@_N)4@AO_Uj?JX<|%2;`(#i^CEV{l*ZEOm?`y{u{IM4}dA+`S6!TR<+D?<`T9| zU%4eA!HHi=fACzfJ)3^gmuY&@AoWLip<;&uZ+lQWWgZcVBHzf@{w-B3rzE?VD%f+$ zl%t_)X7;|hE4Bn4oVkk0q@~(o#a^nWE2qK5*_$)B+MHV6qM}{Fr5$W7&Do;|YOojv zU%Hfe|KLsWV~Ew8N?Qp8!fH28&QaWo@6#A7{Uw4tf7Gp9-COC`@2#hpqteFmSS?y6 z>f$$a3@L92G1Lf{_NA|MX3%sJDLU_u!-(eaxgzx!w_?Qf=-2(-s*E98YM!-kr!^tS zX$EIc#UtmVL*mBZl5U{5|2hyh{nc*%?$1ws+w9m11U@@(F0PwladQT4hk{k8Qs! zBiL3;+$;FWH0_VEAjR_)V=wGfFQo!(y9Pp6CQVUpL%bWIfzeK$pH$fp0sPU+PZyA& z_E25R4Q$ZlL1c(1?t!{_TlvulAmo)f9=RL zjjs?zd-{ALH?%RqCgt_7n7U!jkTk8*P+iFG^$TE9ggAw3^Ccsh_#19EY^Pv-Jo~LRi>F$|i3?1w4&!7R7JoBQ@^ns{JgpRupZV97up)oSM7oQlTb z%5;zikP528k7g!N+iJ-NA9ykRJ^s=Y&uH?^wCU>S==^sJ5$D(Yz<~bsR&bqre?djt z`}aTIPR>W7l`vASa>v{#6jOdb2}85^F6=$IMo()!kTvz{f?dC&mLx=mR*8#h6{`#j z{x2PAwPqcO6jVP8hpI6)k{43d1O+65Is84!Ji9HB?uLV z@*Gq`Da~g04*BYz93x1w^R5$#fAR@hTcxg^0Cj+!J{J@ip2SS2;^ih=R6cF=pcqNt z=qe#W+8CqTku&Yi3lbFt@6Kj}KA5hQ4ri3F`EByH{%j38Owqm=g2~?J$Ct85!Q(F6 z2qsB;zj7lPU>TMS=V~PK1xu5U8f#FjP*DTxi$Xo1N+fJ*fu0wm>`FIYf7Q@_(P@QW zL&WLkJ7$!&gDM1=5f*;gAS)AHrGA|Au|Ht-XbH_0ZD7-;zD>4WLE3fcSgC8V2V)hb z?Y}Y_*v^`C)}E9v-n*{isz*+~HrEc2D)-Ei(OG#0u)6(S*&VT>P$SZ8h5^e+wt9G{ zffrb!hDqma!q=J4!>Wv`f6};`3yAc!=g1rMts7wbyTFE>4^(*p732v+B-BTYhQehp zzhw##LpXV7*gASztv2%^f>Bc8Lt||p!qM~am+vjsH8`01>e}+nau2d}OD%-gqat7Z z)*S#SGp*ZO!Hiek=o@YH=8$8zpOvnOMSoiW|} zA}!e_?L0G6N-6#*bMIcE20{fZ5kGN-H@3P?k|~&72u+*S0yN)UOJHmVPuP7ZfY7w) zRYQ~XT&hPSP}DG|A9&_;?V^0a32%Ego({IPQ_fm-`{6IFNH+K?TIjO1Ci|l+=#o%srH(D zPeu={`nYX~%2Zxr_yv}!-_H-?uP@)Flk|P`UWdp{e;`$L$Ah>s;A|SG#+j1f-bxB& zBW!`AGNY)4teY?n4B+&!WZxGNXBA@H56odE1oPRd2R-s^?rnyz@TLEfM;ZVY#E97me~kS8nrEqR=gE2Yvc>oS-GJ~lfHU{o zjE9mI1@Q5(?<_h_h5>)>fHXs>#ZPZWj?FJe??UX)GAAOru*r(UDQUC74vgd9tl4%* zWi}7->g&VD)B3=kjXKlr)=5S^%;oxsK8Zb?kKC|->%eVnJARqp_+AL(I$f1*pBIL-~DtsB-KAzyH~S(v~#I(8;_W}=vl z_%+6H9i>lyFX_)|o$!+xD#p}JaHMD8hUADo=@E>m(mEFuh~Vpv07XbV2IX3IWX4GG zh9ah}a)YJ##<-X_Yw&`T1L!QngBE@;V$pISlp5c)%_;UM)@Oj|*>xSQo?gccf6DLH zx35gF-V`04>{zwnhKEV#(E`l-UZ*GOw-?2BR}g|SW4X^^JS#L{U%xcc@S#ScO!NTl zg9kLi$XF!zOcg+xL|`-`DK>2do}O-1p(t9>$c*~ldbZf3XvG#dE?h_^2yMvX2qCFe%dDS&M1T!5y~2Mj$*+ z>|5u=414Vp13FE_8OeP7tMX05`qw0e&u!Qa6oNXlOR|mHIAK*?iI062lJwVBNVLjC z%nLCPu^hg-zQ$M^-|XHpJjQf0G9fVPw|@wC0``5QOCL3Da!ne-zA#rEfBTG(BT1e8 z*%hf|hYt2yeT^`OavOGjXH;A()uz&vy;|>F(E{l7@{|Z15^dI}zKT^BReLBk&CRxE zw813sJrbJ|d@blPUYaT$E}vC%Gl^DTb^v5>+c%kaA?jkkdrFChBYt!P6c}oaXZF}J zZLX$e?3;wBI69`FyHl0Re^<|^4iJ-DZ;@HbMo&-(mShnp0eP9jbXmr3!Mq8Z07Qvo zMNXP?^)=jsrl_gT-rpa$vNsrlZ@}z&0hH10oO`7|tyw2xU_Gg8#UXWwDCm5KMFyY; z$+Bu^TMsfF1h?U`6oP{|`N6t7%4jM$Cq$1Ii)TqKDHWH!x$&Wne}u-bhD2vTGl^A0 zXBxPzt@|g2r=;yfH2vl^XSOGNh9`lVi} z^Wa912OT$au)M2Ne?prlcXY{~NdZPp%HX0v*IG%T_eTvuq%Hu?iw|*n$~q7C^Yek@ z5zVim*4HSx@y-o`kpp;)Rcq=czQ#^BDahDG^4aa%+=L^H!k6n}s4vsQj=X6OY0|l^ zS5c5l!PO+c5ZF|QR&ER7s?%r@_Op}{)}f|;8b;tB3{Snue{ErXy`kJv_%;5#0cjQu z)m7{nHmrgO0SnQv+ZJ#Xb!f2f`L>(qpsKWy9~Q$bh^69 zy7QP`)Cti2f1Z4*$kf?LQ_xSGf50MJrq1&PDM2pmF}p}rMN*CtgNuJMXE?v{Av#_` znKw;#rTEV3VM$vf<|1+BeFIaxnoK|Yzc&5jZuRp{mz{0bCvf0DUh&odNMj+5 zvrZgQmTr1FfQ81wLE}OPByp%??O_p-sj#onFt9+3e~x?Nq|KFwRB3p*sv?aqm|q;K zCfDHwUYV%k598H*7nL?A8B-dz7`xaqJvEL&LYeLhO87O3r5*`;;Z0wd$S;t zsF|nz4=zr{xh_zkuXS~=$1<>DD_Yqllmr;bf4UYXNZ}sDAU%m(*`t&783)bM%5G4z zloH)CloB;?71UkWsW@MH3B3Ze&UMr#d|15C?#ojCAI#>c#+z=nw2k8AQY#$N@Fi(4 z7`1q(E8|h))U-Cou^&-yB;~s_BBDotx%(ALR7U0+gzv9WtkoV4m7b1UlWybKyi>59 ze>w`FwkZ)0F{#-5@_wVn+#R^!`t(c_1ZfwZ_WA{YY;YE?K)8rup8AU>?V^*d+=iN2ccC2!L=5Ms_vZImtDpKcw~ z5%aiI^bJ&o0N`%FBL6M+a-CXvlCBhwf0fE^T-$wf5T9l09QIUD5~mgy1y-wW^lP*} z#_m9r$z=Vo_Dqj)I3MwD(VuJS}{%*`Yc*kunDC?l$&n>C=WjI6yX- z^7-r)vaa>yA~b5hy6w&+ym-uM)pvUhsFG@K?UukfX5ag9%BlkweZ-S1E_YSre_Aa` z!-pK0oxQ-Qfq|07OU8`*xvF+e;mzVMVg!!lsgx}JRZR)n(uz8x-gK^TtHG#U&z*4p zvor6up*ZM9;Mf)c7lW!)YvI-Si(CYvqnJLkPvXaNk>ZW$8hLewS7Lf*M)?fdwpW}! zh$F{ksGZw|{YzvvNl6~)Us{{Te}Xqu!Kl+A5KOW?d@OL0DzDIAPP%!TUIZV~E1rFB zBxOY+gj=y9pkE*`_2iktVTQC#68Z8nxBa)bsujEU&dokF;OClyZj6}f?e0*FslFYb zI=I5{dE&Y9$hBtASdyOFE^(X=yZQ{V{qA*AkuDIaP$ zddj0%VL0|?3vBv7)j-_hW(xHh1TeB2dH0a!=(~1>@~J;7bs)cO03+8D*y*?jmwdrV0~N_d9; zZm@a7rO7<-S^Tl&%q(rH|= zJE1@BK$1O`WnRVA!9iBUD1XD7uAT1uC56|Aw)x+PcqnDXFn!1X9_2OC<9g%ImpM1t zh2cqdUbkx;j_P?%vRo&zo9f9TlwcU5#LgWhbI@g)%q%aOW&rd(*+-oJs!_=(9)pqM zO6R{Rw|)9zY;P-K09R5gA-PCb&VjaWD~&>{iBrtWhguI5Gse)z`+s$Yy~exnPF2)q zUoo(Z;YY`e{iR!C`hMU+y~753$1bAQ&>yYEPtM+RlJl~vXRo4-Go^s zk)tkAtc*s)+rkqM;j8hq8ydShM+QW9>w)ieypO^JF&xgsH!N&k=31{w@D>U-trKFd z+1`@lyA~ZMJ)SQPggFk#r1ljmQ?bQTtTpBLKK;RK7$Np&C zD0neD?o%CR$%}ohHbg_!B zUMMY%qoy>2i-*~cA5+G}+^ySQi|SQ}RM(B41Lh&ArSVu&sgC-?nHO)4dI#r*{$pLO zfGr>*n|iknFFnmEcON?n3-eL zlKAi9wuWpb8@IA7=sQt`lF3RG2T~k)5Q)${0VrND|68!PM&JD0#F!A0Q~uEY+KvQ= z-s)dj=2{@$I_Gt?sbv$rvJd0LRsV6SP2_Kpq<t>% zmwVS>0z+#5i-T7a-y=jFrZXx;zghRd#$~CIe1n!!T|wBqtT!|zjQa@~)uxSJWsbJA zo!AlU-p3B~^7B(KCLwL6Eg+py`(Oa5x7M^$w0o}#{Xq@zj-de$Ga?J?Q2k@IvP=#m zc7M@t?=g=iH(eo|1Qpg$4=K45@G=MyW}XZ}U{$;IymYy~!~cNwml8swPUH;rVq;251FJZ*R|hSQ_^wY@ z2YD0Rf-Cb~Vz6B$txr+K-A#uwchMh39EO1ks`1guLB%&p`sd^N9OutIS@*4_2L!b9 zl$rH1+>AKYbjNnr1O4=uX^|Ybq+S#E{l-nm37JiyitqFxKfSbf;ULD<=YN3cLS!vm zM#%`~rIl+4H$V!Uusz(>Pcsp@Kpcowxn*_{?$%FpTR_eyEqfOeg~u*aE!GJlkrAr?|tE!M-0-QSM-hOp~qGWx?(JDXVv`6Nc zu_Px2Sm~m9fC+Nbi~;gR*;{TEk&vSK=MM}?`|dKrvAW*b-mj72zw=bb+KK|`H^I;z z=tCdj79A`wqX)h_Ng3Q|KT9A@YP?QHjAq2;T0a#bnRX8w6}tN?+kd-$b;6C>D5UTf zIWgx3esO5tv~@B+FpQ(vefO4jV1~`H1po{+F(EMvYK-2ofvkIzniuU{G&uBr1WR2D zd8$WOR89^$fN1H&0hC{Y3>JcSD{Vf4J!x?vnX5tNgHa*NoBdsK3yObevR}v3LDK!_ zSE@~h+4K!T7UoyM@P7dtPR~-p~;J-_+oxn%)@!h}<#$MZ^9%llKCnd$WSM(aa;JLHdG>@n!tBMPqCN6M$(I zkU_&kCdPo3Kapu&@n&soXu4S#lspm9>20&`o&I)7Etj;9&kXeaCls`1DGSY}`+ z=d_{FAe`vai!Uw4a}_a7NL9F;cj_JZUe=wrVP6RLnw_$;PP=D)~R)cuhyp*oluVSWcU*-QTm&)CzGIs;XGoU?Bq^btn5%FU+WH^?kZf1SG z&`|k0U7gXi4i3nZ3RGMc!mJ9xLmWn!T_=dZL8v3?qgFh)Wc$)v6USNVTNqEcmNaF8 z$O5=L*||r{Ub$$R7&WWOn74gcSn)!EDzz@eGk<+z+mfe?!|K~ErAHK1^BuhMFbuG` zKzSuX9$q=@?4gWgGWG@H@4X>;jcK5Gv!fpK%e zS04jk4azKvPnBwE?)yFn#}Gs4>=MAK;wy|Ck~UMO&|RfDPHLn`vw)Y;SU$)j$zD1h%7p?AAO` zO;!W&7Y1sn1(aNR4|9+1ja4D?lS${(>d|9bSz^=$C1UWymiIyTb&GlOZ!VnzLGFvN zrC?xh@iS{___7talenzYTSGrC27mONNKY{Yg7*{ZaeeefoZ90Ox|2l#sX>fYEvb6Y0cmwvwv%+wB=i~ z(*A98`!KCq5@mOxg!z2q8no(ljMK6G6Mt-w%lw5yhXQ{m>|7%NgRa8;HgzKQomaO|VF}#(u^j4; z<7^f7WaLMQ%hnEY@X73jlTx)Agmqh!r{|}!xVHr48l#0EU*hC9E&RqqgUmCZmv?Gm z&y`I>c|!XU@>oQcWhKGa5_&3#50|feT`^tUr639q7=_~)Yl(b~{(qgS2ya`D;JW2A zY|ftd0Gw}9==IkGx&uF-od*3F>u6pboX6^5)!Upfrfd94%T1QSszz^4JupeH(nZCX zyn-y_V0(Up8-cI(V6Qi8^AGwh#mi#>F$s!#OsO%p6hni>VhZjcDI*Mj&1HtLJK52b zL*K2=mBbNrilNHk|70MOM%3^>!7sI~J^2M#;rCsdvW8|4BZk)3TFBfE{OZpW4c#MJCw zFK}1`NI;Uy&9sa%G~z0!b1?v~;Dn!K;kXI?RpyA{jSq_1%6~k=9}6%inVxmLfE}u` zHFGV5NC9oq3*Dc*`jIMi2}G)V7}NQaH76n?cdrX3Lew9NPN#TB@34bebP~Yp!Zv_7 zupNpw4ozo?&?YuGnAV-qvNP%+586KK0Az`m;v1$PD|_X_7VYM>0fXTP6ybESa^?jjw6# zPvLF0$LfkN<^u`&TwEKQ4<|$0$bq2Wf+V5Ql0=iluP|;VgR*YO(X<)s<+tSZvuy0& z-g*5*?$tov5h1Mg}MWb>P>))SIC}jXR3NZMI=z#-WS+?6-0f!5u~*CX7wx9_YBfWh zt}AlNsl+JiMUD*U3nM(aV=@Q<9IB?s0nm?uya~1{ZmXApXX{XZ)^zLiT#t$cCl^VS zYoAPm1b=sYx4DQ&KG+hGM6%u9P?{N~YaU&0U}t$+#hgnk_#a*?@}TxpWvS2OKzVnt zM|d8hE7U$|l^(1hrDS!xL@cDZYiKE&_EUP0@2{-7t(xt+C`MAh$0o!F`Pv7wen zdj$~mED52cGY^4unGXtUW9D@j%RCAq?BF#r^?zsFOjNS*4XOqJw(VzjnpFXFYjL2=(aekIJY02^p#fSdT(s8GR?VwH7h>cI z-9Cxa<|~TOX=&S9WEfij*wc#%I$#$bb3;?v-7?}PFm?9`h2HN0|GDzl%zoyo+#Jm) zuL>XnjAG@jisP%5R1Gi^SSG=CO7U+QiGQPe{MRb%%pHi;x8s)!g1m)i7O=(28(!B( zgz5CeddZrW?DDiPs&%qGP!0nsdyG$^yLu&+DZi>^+>R=fG)l>I#|Cg$a|TB!sxh&U zM62-1brsjXV|(qrQfIr7^jAsB)a3VzM+XO*5U+PYEY@D6N$WYu2lwt_a;l!dtbezJ z(3TfEun;d6AA&w4socrZ0|o*Z185>bT5;-_z*1cM)6@onMMhZuSoa!n0^F|5LTN;d zQqT^ihL4mh)KsT8OBSjFy3y!(C;D&xy&IU(WL$vMOyVDt6g@N9`v z;{YrIQdKUHhXCrH%e$m+`{}o}x!01J8a+auX^wdo z33fCha~;T_NQjg~y=yR`cYnR{@GV|s%*EsHkTf`8R$|_Du^Xp=t=G(3RUQ!L+}paP zmHZqxE*hg}zDCQ00e@KO@O3S&GrVDcP)5?HqOHEb(Gu48)f~<|u4K0!qRYaSi#0V7+)fKS+yYn`_B<=S0OKqOadcJjE=t6xV^~0f z&zRTK8;|FZ_d;*C5PwTYqK$zLQx=x_F}(29p$F?w0LmEsi`U0dCgt+|2pini2|6QXctxqwjNss)+&WG z_bwHoKEvAc-+xDCfM`LWDl&(E@)XWO(Kbmnw1-t;15cEU$F+Aa!cRx>OGX?=pKAxc z-ZTvwfeFr-)`L<<-whET`*BO#@Ss>fB3CTZL%_Q=UKx+jvgvRNYm8XmlDB&MxV!9S zgzIplh^3FWKcbzCL2_ry4n_uYApenGR^0DA55Nsejz(Js0NUPlB1x+H69O1&Ri@l& zH&29kt(;Sd=~bXP5h9qmq&wVdH|SeF-h^s-%7~#hQOka?Snn`XRCD7=$lw0~iS@b? zhhaAXw_!H|{c!{|GB7rmVyOZs1T-=*Hn)zc0wn=|IAmjGH)Jt0Wi>W8H!(IjG&wb4 zIb%67Vq{}tF<~@5JTWvhVqrF8Gi5ktVKFi?HeqErW->50VKXx}GB`6eG(KG*K0XR_ zbaG{3Z3=jtV`2aSCPt<_P6j3*s~AM`cz{SwGZ4uVgAnIB2O=54Y<3~A8e0&_90wNv U%>V!cvrz??ac%+=mq@DuL!73|F8}}l diff --git a/Assignment 4 - Protokollsicherheit (Praxis)/abgabe.tex b/Assignment 4 - Protokollsicherheit (Praxis)/abgabe.tex index 1fb2f1e..099f3ea 100644 --- a/Assignment 4 - Protokollsicherheit (Praxis)/abgabe.tex +++ b/Assignment 4 - Protokollsicherheit (Praxis)/abgabe.tex @@ -100,7 +100,9 @@ \noindent \textbf{Evaluation} \begin{itemize} - \item + \item Der Angriff ist aufgrund fehlender Authentifikation und Integritätsschutzes der Nachrichten möglich. + \item Der Angriff könnte verhindert werden, in dem die Antwort des KDC an die beiden Identitäten der Kommunikationspartner gebunden wird. Dadurch würde Alice merken, dass sie einen Session Key für sich und Eve statt sich und Bob erhalten hat und könnte die Verbindung droppen. Die IDs müssten mit einem MAC/Signatur an die Antwort gebunden sein, um Manipulationen der IDs zu verhindern. + \item Um MitM-Angriffe basierend auf einem Replay-Angriff zu verhindern, sollten die Nachrichten mit Noncen versehen werden, sodass jeder Kommunikationspartner die Liveness des anderen Partners/KDC sicherstellen kann. Auch hier sollten MAC/Signaturverfahren zum Manipulationsschutz genutzt werden. \end{itemize} \end{exercise}