From 31501c65ab455b7cdeb6bcd89aa7c3ba2fc48f62 Mon Sep 17 00:00:00 2001 From: Eggert Jung Date: Fri, 20 Nov 2020 12:48:12 +0100 Subject: [PATCH] add details to task 3 --- doc/report.pdf | Bin 114134 -> 114823 bytes doc/report.tex | 4 +++- 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/doc/report.pdf b/doc/report.pdf index 903733c18d10dc45c2bed679877e59b13ee37f00..a67bf58128c9fbff95f2bb9b591ced58339e33ba 100644 GIT binary patch delta 38129 zcmV(&K;ggE`v!-B2aqHJHz1QQU?_jZR85c5Fc7`xSNMbyiMr$QH^*wrs=ERfH4+jZ zhtj4cYMTge3hcjUQYTBP!fN*bv!GJpkY)k8}U)Rakgkt&%W;7Sx zGK-E&DcEwKw0RAdD?lc=1j9nX*2!Di*wEJHJyapr$Sip7=@22QDhK+Qc;J5|j+-5> zON?iG!7gelOr;;t+S5V@-?BbB-FxWF<8r;cQS57U(%2+V#xJ#DsJL}juzbygMD86j z?IpJ;S-xT)(piQwt(s7;4$G#jt89cC(x#5$#wfB+ z`PGq3SdK!gBbhQ>D#J!-x$}P}l1+aUVOic55eq%gF$8W5>J~T>K*KcDlr-GYdPH6< zsD_bUA5SyY?Fa7P{Fj3nNzbshGLrrgG{OcrF^t`39DbTN@k`i=P}6Oe|F(yBF$^R^DF zKaI6RpNW{=T_7&LagsyWP-LsC;yp7=0T znH(62mNn7xqNN=F`)O<>NRe7zbVwz(DY)6oher1Yz_g(F4~lR8r+fN1p#x)oeVY8~ zy@3LNSSeZY^jru@xDW!aQJe0lnSZ?OCgZWX~18f5=}^T62j zU;ln6nWWR%^7of|=U$rp<7x7J0?~3bVyGcpvtqWMeEvdZ9hY4SK2#CTx508JR6r8Y2SIbnhYXCcHRRW1mM0EZOMr+RkWEe~%YpvAUY?R`Ag zdeV2JjOt4+h+sAWJmiOaRE-~h%k}T8I>NeLe_d{>!*;iv{j4{^Nbtr4Q~a_wW3xPL zQ`$UV8kvFRQDi1F))ZGz-4oPQnB^EP>>*P)qMbHi-LTc_rG_kx% z%l}fKLwZo2(?-wNAYvicV+lx^B>p_8grgFkL}o+I7$QugInB8(xFT5LKo$)1N+@lM zU0qB*6_ZE*cJe2@AaJ>V5Xyyf2MGQqe&x@zbusR0tIkb2PERQX+NEA&C|$kT!0E%G zB;_IhXUq_WGhvkqixdcxZeVa0v_ zO;R4Kzcm%3%{&vd0md6i!;eu!TZ^ZNW&t*k=0FH!2MpIA5QF9D=V4%yFpUoqED_qa zFm!6B6B7)IB-N>%ofxCOOkEaZaK82ZT!h9D3G9v$V!9zsYbUzfT2h2bs%D`Nv|(Zl&EW%p)@ev!cp?H zyOpCfPyz0L?>r`BSMG7Ivt)1(8cEvSQ8Dsiu21NK_op?-7236~LjsbM5botUJ-c_%fT zrAb+)tCOYC`PTO)L{O3_tF^qH-hj5mD04@8Qzn%?g2S}mJX+jQrM@RObi_Rpun}f_FAnp zI-E5#l_JIu7!$!IZNk{he=pOon)k}|VxzoF+GoY5;<4z(k3A7LM+O+{!jO%3(ZKnW zj3TG)paBVy9vY4GuZ)H#!AhDQ7#h2`P@<22MK&x6#Z96<1I2*wFO7s-F51tWUop6? zL2r#B2Dom=R@vAUAe_qn${67PjsHG$0^Amsc>Y^v2f)7Cx}#{cL$T_%S34Xbu&LO- zUoMWjcy)m8WzrmrE;Fe+!EYBXF4`CI5p?t7(*uL)%QBvE|9x34cGWt3*uQLF<2XKl zg@<$oUL6kA>|4F-9gU|`^SXEc@vVMqJ8bI;(~{UWh>z_7eaBr6&2>SwnfFw$>;1l3 z)I;hGP9|@(x10gnwqrvw0sD zNxwes58WG|eRWvwkuHilX5lh=y4}swT1ZYW>O)#Pt0=vF9-^5XpS6O4MUYW{QSg@> zbYNy$A%;8)DFA7iDnXlab6+tvoxbPi`-1Eo<_yG6E z^5E|8IK%SH*mb8d>?G&1>sG(T&ZNQ=b8h_suvtx4xS zI*)YnsFB+41}#b=xICL8CNGnJ?=S!b)BQFCg@GJWNHI=Vk^P9T-EJfxVA~o#51*Iu z_esU7t^#PrYeQEYb;ey43pYF>g|eyZd0Hr|db2pZkekwo8AiC`eM!9#C<*xFOM>9j`Eq}MSZ)@_<^HAm zx{6}YyX`tW`NoJpkDI4du%2N(B6q(dmVZv>W6<2Pg#Yv0mT-Lik+G(Xu?&RwqGhDQb zranK1pPSlYU+vx=1Uu6SIYu(`|M^p&F|%T5_lq4hIX5>7FHB`_XLM*YATSCqOl59o zbZ8(kHZ?LflQ3W>f0egmcqWauEgIYI*tTt>V|Sc4d}G_T?WALNY+D`MwvF?xwa(u6 zo_)`s`_zxBImZ}t&M~W=r>ZDOlvEi+Ozn&Tl6JPv3@nVyyu?2N?k-NM07pwRB}Y33 z6@a-5(8!UPnfV`(nFWr8nb_3Q#F^L_U~Xv($Mi4RPa_)ue=(Daf{2``0^R>zZ3-~^ z4_C(4%#N7nKP60E?EkBbE5Omo($1Ec`hT~fA$9~9ncCR`J^my8Y3FQd0wAVlWoG6e zRxomOwzU1{WMyaPNKY&#K~Jpa;%IH@WI=3XYf3C?1pJ3g{9h%FJ&0v&t&NBk0JgRO zVtW^3;6Frwf9b#SlBzPq{~Aiw!p{C5k~6^3*2wuEjS-Mo%Enmwe-0t(0tEisEA{`? zNz&3CV5(&4Y+^xdW(0Hs{3kEtYy`A4 z5wSG~0*IOalTx=e1vmmNZ2?MlPL}^NM9jd(@;@Loe+x?!Yg>Sm6EP>-zahXstNTAY zO4yp%nOfSK6RSG^vsWWW)BjHV8&)#1v~^bVu>bG2|61k0W0wCXRxomQv~(xdW&YP) z{fGF^@n2VZ|D&C%v!k6gK-1FH+2a3QQB>5sB1K+JB;14XY?3>?=wI8={YMTkGm4yx6_{PK*evXmBoAO_iL~Yk*ak) ze<$nf!K1ii(kKQMYn?0JO>P4j5)dBzLcu#&{{DV{8^~@(&O;M+@ z9=_5>S`-Kc7F=yWH*}H#s_v#7d|-r#TM*UGHkCDuux0yU>r~FgqwGU&s2y{seCuxW z&<;b>0CdqZLsOzrTcPvSa^(EUaIYCKe_DbJ+g0|-rq{A;jGu*w@;+~^jDwpS5qT@+ z*(s{H0yC(w^o31k?A&kO-pH!{3ufBnG^jjIzv7ht65ZyWD=2hHw0hADJd5mW50+FC zjE+d6S#Si$*;<&+xD@II?IHR%IMpvCF>1Io;YOc;C(7&~&r^y8f5Q|A z3#-}rJExu=)#%P8%aj+&gyB;kV7Qr(1A+H81F3#@NJe`pZQLd649U+v%Vkuy5YP3plG+_st1UFo2U$IOYbOvCe?!7KpB_GI zG@k9;bu|5`>f$-;s_@63&H3|UYo6r{)r$OK-drv3RtpCc?yZI9Wed4Q_@$ul>k;N4 zOX_kzy$gROa7MGjm)#9fEza+f1+fb@i)+e~`&#(GfpQpjbK*LtMnGF`zbJZ#jBL2w zW$FoHWYFQ}$D9&@JGSw^f4Uas9;~~S!>WQcz)a0G_CUnyICMJ(Dv2{czO~K`wefrz zxlEk$a;bEC>^ zV^P`b&800>pvid0JNzIgnGFV+mL4ZKi>>gN`>_7b*2m+$97i8|Pg@9508ep|{d31) znlgtW9JU~BWEV`D#1&0VHK&x4^!g2coJ;2vAcZ`VuP&peqiHxhIeg~C-F9%KqhM|x zJWF29+8erxi!P1pe=RPoC?w@R6kqAZagW=-SAi*mKN@Y^Czt25Tlm2M;BeePlB%lL z%!AdUl%B#>%%3*BKsT)$wCYnGWZ@Yjdt(hv$TCiY*)ed^ZZECW@Sf9AX$mtz$_tl7iNcQ?2? z;3wK#Z0%*malMY~b7>2#>usTJI2$qvfl{DznJFzh4M9(1{$xg?t!ya`iYrpW&mjw>+J^=z7Q2D_&8P6V{&2tbJ3Im;N6@d^ff!aX zngJ`F>%%s_e@Xa1^SS!%Oin$!6cKp37sQNekIB9x7}!{WLA=;1fD|)?ueU7S6^;-D1M|5OUaH4s7K%XI--z<#z8t?D3)T#tw&vL2O{hM7@ zztX8}QJ5VZLynjqicNHHmwiqo zuX#+iy7fM!x8vBaoz8@$@f}s4?8sXDjxtjbdv;NfU;OiOVmnm7j2FC%v7Z-uOb=9a znsn`7cFD&<&Bw$^Af9XZUvy%ABaRDCop(~te=yJlF=(~G!=K^{$DhGRO`FST%^fvE z8#hd4T;!}LWvI8OLNzD}R!3>`gF7YTjWON-47ZuIpCxW#p>az3c9hdbGM!}lleH&E z9r2Y1Pp0~NR>87433oPxZDd^c zf2)lN=2(}A)^F3Tp!wv2#KChyYb)P7$my1iB{@?8sW7fEfK|o#m|(e~}ltt==Z9^~_aYf(D|u($(xvBy#9N>B=-X zu^Pu`_?--|8$>Ic9ePkrR^XIevnDfyKzDC3!SiDasz~zIZNpFlv9YItsbj5Fb6xz; zg^R}{Ig~Xv5lbC?!A9PcLk+DNs<^i1D(y}GOJ**#2XBbA7%g$y49#*v(7WKOx&%Sde0RCD4Y~&_(+9DWJ-|e4gvV z547Wza^ds5tpU-tnb(KScv=WN(8#}he7eEw!!*o#_0AWx!0m&$K;TBVB}ZFJAhppJ zaa}a8%t^pZRJ=*KMq#)?H?pOde}DL-Zq$B|29C?v^sM0ho3GGS>5wBs1;{=+hLbw` zIKsVm9F&>&!qFcoev>{z^fas%f_}eJ)lF7)56$1}N9m{X?97-qP^!ug+TP0P<1@Zy zsboKPx@=jz`{rqN}~94bzKvYTcD% zziGoEC=0rB_K!W2c6ikz?(fkMxZIg*l|njKhYyJfR@hWzyBjL@QsM>SyCM0fSScgP zGgpr}{+LfiZD+C|Y_zQYnZTDZFpVDz6 zb`^ENE*It_WriU-e@UlWb2WX2D1OBrR41jF`ttNS+;`xN&HL-yBQ(~IVD2j-zcfFG zP-LU6`YqQ^qS|o8G-t%0fXYUnI(?=AZ4|64Qos3~k%5WECx*K`f0A7Cl!?S!oV8%{ z2NB!3(9c5l1N?^{onpHu7o$)ZLO~$tnaS8%qE*(U^g_>Xe^HGAv#F>V?yaYa11J16 zUHHIdz2;}C83foZKHtYz=J{lzFs^)@{mt&Gu=CC>EJs|-8987!R7z*(vMv@x*AUgu zP7K4G$Vj<3VMi6$;rQ1y){LX=B|=wyGm0B{WH2F8tK3_Xo^y3{xirkfD~{G474a3e z;~|&eEOq)hf65zwJJE)k32*JrX2RN0Q<*NU*i_`OzYA*@757KV*Y1teC}l(d7te-R z_FIFLp|)Suh>1c~@lR*{hzRqAnx+*X?|asFgdFf(YBjQD>890pBBSs>(>?q%rY%G) z4t=oFG%p$*oDX<4S{D|VX~;&1p!K=nj|b{f4Stowe`5VzMSL{+eJ-enF{_POZ|LlA z<3q4ZD*Gk+BMuEsfJ!qhx&5muxDgVwO{Mu91yFofuz^UNhcl%}6O2@JH49m~pwtK~ z3l>8VnGiRN#v6B2sM1=u2a)hNAR5N|!=2A|!loHRK3(!fwuK@`Q+^WN4JToA+MeKv zfpis7f2lk}0b>I?Ai3#^8J)-0b;&W|xX{|u3sgPQ+9MF*+pHJJa@h@Za=HZ_UwB^w zgx}?ydQSD3(Cu%}sI=YUqeDu?>?6Ny4B0fB&%NwWJEO5%7u~5se~%lvg~2|L?LJ}hXp^MlGPjn6?=iKM zZ<{OkwXWjH*_rAO*+&Px7!})altT&Df5FemZ&OZivmGx}VoLZm!J$fzmcOwri$`G6 za#_DK)4U1nkR$hmW!~0(b_90d6hCn8``wF572uRdx?~OF0vS-MJiE-~CE={Z-;4ou zPR=OE$)ilpGd#~wK8N_t>%O*d@Qd5+XpmN77*T}j^F#a;eGiR}i(mqyJ7O)ee@2K4 z5S@Fhw9e=o99v$5!y9yG)8Q09p8Wd7Ng_CqLWxc10#(!NjqxYT*K#fXbY$rt9Lj~9 zT+&nUs8_vJIyqlvc7&x-fF*3NxYqJ$p+_mcQxzHy)v(!vCjvRIXu$mu6Ql zJD6@U;`rfCm`YvY*Nn8=e=jrfFG{8LM#UZ8XsA=HSKqCjp*$7m<+U}WH{zpZM${Pc zX3E(4v#tPCgam(rq=6#8rn3H&U!NY1e{;o`BHkc$il6>k zdV0j7hy60T%{W=B-aCE6H&!4)g>KMu1bG(<^8FX0U$7c4-Rc)&^Ry;jH`y}f9!VGiTkqBo9$G6%C;B5 zex})c5I>#yOSMp8vo~tMA0wK#5%gsC{p|>0{=<=nh9Bx-L(?hYXZMkZ8KwId#Ou(L zC(ByOMT}TgwHe8|)<&HPcit{we(l9-x{w%%Bfr#LHnQ->cVT=<164Alc^o(=Rqig^ zpcX1Zv=@j=f9Hs~^ZmTTbCG0clG!R5dBHjl0FSh7+y3l`IquKABYk+5hwYEgF_a)x z4Wxk?7;<6iB3c${+rOx31)2$8aMUzMQC}ZQ(SVDXIxe8oNOKy#`{R{$r+C_h2Miv< zUEdRmOhAMWvzXi+oN!Pi77u$Vdi|LqUTR*NX5x>Ff1dGNj*?Uu%A=V=rrRfk7%uAE zK#eN~QXYbgdEU+vPO}Qgk$zT6_d<`lrA0d_)_$+gpqYOwHQjxX1Hl>=h{l^*-OJl? z{8~^ct=`5pNKRWD$Evs;PW`x>4H7JfjY_BsiK5zhDMwyk@2}VyW!G21^1AzlewJfH|hN z5iIpe1AVKc@`Bw>AuQN%*rJ|Y1r;AHq!>bwf2)HKOS#ireY`$s99fJ#lKgE;XDk>U z5Z6SsY1*{ibyBFH92UeI=>klQb@o6Gt>pS1F~>fFkrO;w6HoL>$r4PEvjq;Q<7vsD1I)m8s}0+>?gadOI191Ng;Q|S%EW*}VZt~$P@ zOf=O;%(;qdLY#k~imh_-z4?;0=6DnMe^7xa{2d>r0I>Z6+mKu_ewwV|l@J4R9UA|6 z`c2%Yh5!nb$l1P&=!iXyrfCjCs3jH#!f%03G^ZsF`qGo6H zWxR?hx>MY1;u{6pT)&%0ert557iiG{^`fN2!Tow}q13{fpg?ia&9$@dfHTxrf2Iv} zCdup)rKwf&5>ax4-u&na{w?(#Ud&TkQ=HSu;wq#I^S;`Ef?0%2s>XFPu!$FC)~jg+ zdU^027}mS0Rofg=UyEN6+LzC6E#zWcP#vq|Gd4;SwpmR9!Z+qv&$CXBkN?heRx)ZI z+W$`9T-ofxFh)CGI04g*$;#2he~TkR%Vm;YY({dWg7bruqhgkmC<3gPiEfv!&9yGO zU0k|CTfdslm<_yo33N&5=U9Bu7if~^<9!rK=BPf)n&G1wYv4U7?P}gx8#6(BUq;$; zWskJR@Y194URC(tf#fy`w0o@l@$d0OZqYsNCjvZ@?OO;8OZ`jH9VX9#e`wCi?H`+Z zs}hSJ?lr-ZnK{D#Pd7{)=XqC@dL7!To5T_k@X1BHUBH(B60g7v9WT0#b0pdKJK{9v z9Lh|X&+uqRoM&dks|Vyuj(yz=-pX?B6rMR-s z=V%Bnx#65#2FmUu%;p2*svBD7z#~#%(%+mqRo1WhJFmIk*tq&K0yC2;Ik0fHH1(OW zMXpl@9fvi&-}LeOe>qn@xlB94H})jUuNcIcyR;nvbt1A(cwk|{yRB|O%g;R%`V^sq zs+?z6Js? zP^m(RD}+2q@{)Z$LKs$oSsD%jC!*D>czjud6Sj>+@675YBnZk1wmEr-YrH*yzXb06J(rKEAE5s1CZ=7CQ=0rR68fW*OgAFi1b(O?7UZw# zmJbyrpjaA%e}|=CM#aAkgFxtBWc!hWTkEyt++)1f-2m75m^UAx88!{57DMJR9gK>V zC5aJWz$>NRADxb@Ac(tKQhEIRS-X!M=`&$}xoO{Hn8}{70B`06jOHir{3oo&S{lYK z1N#0gg1`3VP2RrcH=>nU32~4OP!cP!HAj2rY{Nn8C!oKcn6N-r&Tw%Xs?a+Vq zyL~9hju1tHz`=RNuO%EH5>K1lt}Tssk|};&f8lnCS;jR_+K?XBqt!QEfyU?qg*J{I z8Zz;g!K+xmJV5h@J4B%LGJViHnet|JcN z^>E=Ms`2^nX~O}O4xk0SZQRamAgqZ*f809yjN%ThRQrNVM2Aazu#as?+`(70# zp8kkRV1`gZ>J;d3gFc6kbuCQPvy4=pJM9&4FA%?ZK{BNyy*!F!DG=yTxLJS|e@zZ4 zowXI6u^wLS0PPYtsQyd-+JVRTTfJ?U;6tY7m6Wi`CU8jRsW>4N8-0YInOPOFh{Yc5 zJ`3kqqPC$J-}m1ImX?yk7$BkFR3CEHyyr$#{0g2AbK>Pj%SsgPRd`p@p4pf3hWqUtd=V zH3Z1Ka!-E}hX3F>Z2K8RoZBUsdYwp}PQU5Op5%*7^e0-U%Vq5~!%a}tJpSVBg)_>n z>g$I#9y*flk8g3PnRl@}g9lWXIPrW6>SgL#VS_Eov(~lTIktZF{QYj$OI~1eZcuo; z9$~n;8AD_NMllQiaFb00f0|Xx4eS1PW{dl|FVf#4VoesPDmpM?Q@;=!OreO1lY-UI zu*mBGCV4oKNwv2uwWwx_He?w!&H~!y>XJGnX z9kGO^2$`23%^ZR_@G=zqUW*{QM9+F`-sTB`N5Cqu*{iOaoud6McwGY)4@OOZNKCAf zz93~kSJ(-XLPP%OHB4Se-QXCO$PIr59bIB>SpPTsUNQP2L8C`lF^|xRhRfwC0?nxI z1AWbB0Qq$3Y?oS$e{Qd-TUQ69@ho_-oB~+X4b#Z&ahF2CA^^JlCYlxwoR)ll>5~Ne z+8}~H&Y~7<#mPP4$UzS7I$;oAFb>{Zn-Juq(Ae*zKOcZqO)M4fir)v?$FgZ&8)Oq& ztImvYp6vr!hK-QJg(_fakcphG&UkEApst$r{u6td$nMqrf91uOpdMC?aV%mVHf}ET zHBwidVi>W;h>T3a^u_oj1L}y4TY3y=Vd7NEamkkFiytx%!sQrhhh@G0I&NPSaC%}L zOsZvN%}LeY`SsheYt|m9@QhbJjs?f55PX9R6)DbxF_Pjg9o~-b4`^|iWSZH|ym5JD z-zwSYE~Oe~e?62INntxFpuF32795;ML)VbWF70ll5mp+UDw%<$2!Nl6SPbxDa(Hs zn)_L*gXE+~?dm8bV*N^dWEnOr2Kw5taQ~YI+ZaA4z^7mGZ(J}7#-FeJ>8|$-sG$8e z_SivbK(6L6@iHyD9i>wJ+gO!lukvej)~WUG(__`-EWoV+?e3{^LPI=>P{kW_(~fk!O%8*$-Pmn+J_C_5bqD5Fn)Fj6tfzr>A;qV4qA!CoDE18}U{+_-*Q|dBO z8EWIJVILBX0Me)xKV_QS&*gd6lRO>GkJ6Ybf9&9y8-HiBg|>#=<0>65OhB`^_-dtBDX;Hnu<0+F0*CshF6BnC`U*yvFxl{`7&L!sR*WPIBH`uP!$%3L{Hh#D7f_+6y?Xks#W}AS*+N-llxB9b ze;GEka;Nap^zJ2u8WUSH!wN$jvql3KYoA3DZQk7k5xwMUE57mW!ouLvom2}YVcWYI zAh!ZgOMi)P&#dat@UL72=f3f>5}qR~+LPfNdL3kynUu)A&C8pH;YEY;zDY(2o>bf~ z)B9BwmSS_2r3;mPQgb}5Xm?O&cv?xVf3wvdp67+u%pG%PgCeCqZVRxSOIaDS@EBeC zIKiAgw7OCAUHU{ZyB{#QQekW%owV#{Olx9Tc$LPB9H04#SCeneSCG!D*p!(8*6RXT zy93ed2Iy4h9Rt0pGLYGRE}R2Gq)bQ{V}iTy8)ZwF)&;)#Klw7Wz2bUAFWA?tf7uc? z=Vp3E!MlzGAQSnL%o*%%7;5czxOGFYeEyfv-42)6Gc z>cM7pd(%y3k}o8jik75tv7yJ8eCixIk3FWlnZG_v;0ga?K(;zeXc8h00UR73b*?nt zs(%&U-&|*19zGE4!ojZlU$;PU5Q&Cr{gTT=eqI*MQEvm@2=r9P{rDzvMfB1cDIk1l( z8FJ=)Wt%Br##mY~dJ@{Qde9O#<6}V^RJ=i}eCXzNO2+=DYp*Qp;g&w!kmjxm$u%W2 zpOHdKVp=6YUG(@i^t7_XEAMaw1g%0nT$sb#FK%Vlsu$aiK!VqbZuBuWBD*G)aPdWf24}n*{E!+) z{eqyv*)PkhQ$VZ2_1;$KcBmnh3`!v0U{Uv3z&nJCj@5Ep5mE*Df4~fZt&uXLl0JXR zWO?wK7{SQ>U++GDRxFMaVmjCGsFVslr~K$;^ih}}NhP&Hb*R_^FI7<)@oe{aK8WD2 zlBR5j+AnFS*V8*Av6A?Hbe@XC9o7}g2yJ!3(kC&bAjzKViI-Q4g z-C=wDGo#*X8{SE$D1Izeg0Wv|oOZ?6mPDUwcAqgfpS)x1t1GD>RGBf>!gk3hv{Ue1 z1h25XgQ6#;Fy40yKDM@AOd$U9w*tWK=M$Mmj;7rWf5q0wzye?rK$Gg#ZJhfliLWQ~ zZjzeygI@Eq<9*6_*X5kPzDyfqU?U9zwd9i9N+4&0vyE#?nFOvh@sh6y_L#9l)+KwY z8Z|=wSKu{*Ty%5ozSD`cjR2zF>V(#vfRKB9IgZlZ)Y$9y&TuYf$^bJ%WJ&_Xu#l}( zfNnB}e^4R95%6|)l{l)apAy^-1;)W%^_UhuETzR;Zw59Q9fSpe)pH2zseMXSw>mCe z&t?Rcy)3QeuP7N+s>UQBP96M{W#Zx$W2wKU5@GrZ#pGEXwP~oG`!K>q*tn( zoLONt#(zjt*xdi{gj6RF15S&kR%6<%gJ(0^=3>Z9KWC)(4t!k9MPCTc#hupZdgx74 zf5;`5hK8otT*m@@*h$h@2pjS-i!@X8onI=+DbeM#HIBv}dO-&3eXTY#*aN=vRlda= zh$^wcT=@wg9nVm^HR+>8|H!`kRXs$HUK2klT6PNK7Re?@+-IV<_vajXj*)ba7hyeK{;c(%qb!?ZuM zK3H{=@4XNJ<+O)sCBPP>h3(XCe-m+pjQz24nThz?nR(jm6(tYatos4YO!pZl#xeZ_>CK_^CC@NuwTIYxr!K4V5QUn0UKDrNz7KJ8*327RN}>8p z)K4s#Y=YJ8MZO!0K193BPXmk;e=Mc2w0pC=Ofi%E)8_{=!j@>CL0axC>N_Yb^Q7Tw z2>}q`{fU(@_WURWKWTC$N&(evt!Y-WYMe5~Es_DQ!p@6^YEeCl-M2xq5T~KTMy9yu zGRu#csy*78wK{NRBjn^jY z4auj2QUb|}+p$?&CaM<(x)9q2uTDmF>V!OSY<{d7AycdV6Z7^Mk4I0FzY||9`atI- z{50b4fs`+)d0hdN^*j6&tvbFothB8BO}sx}lduRjhp>e-49D{JH#`z*5^Qa$eLDn> zm{m8Rm_n!xo;aI2`OFi&e|D>sc_Xai{v@Q8imU#Eao7TdyO4_>B{$wUn3J1OJBOZV zmfYgZN<)|xCCc!+uZU@qoWFB+1p{I#y4u*3V-@2Zf5m=BdW{=Eji!zh zZv`jEguQ^ILJ){20{E$d*S~y3=s{vj29#YVzVkZ+*u2>_lw9A5VxPrU#O^Cd-{AI^ z8M|=f_-t-$!bKH&jldBUP-##lW)Lqkr@LdvSnKvB8KQ7jwgP+MDNTGOv0?lKe5XLN zK%R~v;sU@pA%1SCfAx2T?&KmJr^p{%u3|_fRfJKls{#gO6%Pr*)pvzqshT))Ymv@xTmtp34{n7k6s27%AdU%+D#A0yj^2PGZ~1}SfAi+YHU=A(ysxY@h_Ql8 zKeg%RHKq}e@=22J#1LS5{GGZB9J-qiYSuPV2~A^k$de@GEPU(aPG=IRZ*O@IBy97P z@eQv`Yme#UoYrB^u>(f$SyW3ic<-pO_kW3|bwci1&C_qecWbF$zf%^pq534%!)A?r1*XvemKCP=(SG&c(QmBnbFE8? zOX-^BqpCQU1?{39;A4X2s*zk316b#a5)oT0Iuw-Lh*CHYO_0%)puqL0i5{mJLP(nk zG!eMDBXPyYArD?so(^`k{QLV$l5Cc>2V{((b1LJuf7LVG=AoE)0QjopBF`DJI7|F zPiM5Zf0C*f-4`YE2~&Ef}gD-J!h~w|1ZgpV~H!hlwZ$bnHqXk zU29*UrYd>unnj72{z5wRSE*E+3gdh&Q9gaLf8vVl`7%RA8+caFC9Y<973kRAZZ?Ur zovIh4Rrdp4X592zD2;ThW5x-7ghxWLF*)U4>ZqUHR^Rq`mv^bj5!~j;GdZVl``N2^ zJm*a$xjx1|aMiUc1qw}jAGnYRb7Pn+VXPguTV(DA9w3Eeb8_VhtFb0N-q|8C`3YL& ze>f5vpDU|yk*Sj4^>DXNf}>*O^YwDq(#h_oj6!_TSIpVa)eQX;DzwRL{=X0lcByCs z-W-cuJqPaTUTN^a)*FB!E!0AmGAX8knDyFqmy#o5x%(LS>Bo%4F z9??M}_3Lig0eXA_2Q0N~C&3~QPx_Nu{ZpOJKQVC%h-3^~%{1?wfm)NrNOB~QDqT$d z(+24}Q66#Us*aTd^F3S=7?152dW`!6ixrk!iYQ9T_v>Djo{bQSu5Un4VBf&Xe>5Yn znhzR6Gz>=0r(-^q0?P#H7&Jo6NHfBwbGV=c3rZ%+;U2gvI|Q~!7M&d6Gk51Y$ubEY zL6$*F8M{zkQqirhdu>L$T7iDM`64w+Oy*x&I#YV|J*P^2C9`^l1j%0}Rwzz` zVW>5$V)-*GI3rH=@S4&FW;+BARB?;F#%|ubyJ-m{D!s^OJJ|9A$7a#i1^UWu`qI8B z1s(iLXN2pe?g#(8bEnuTj+j#Mwoc!K32Ry<4?(iOva^xUOEa(yj~Sk;e@!92g;q#Y zd$e&pRY}Y7Y>FN)0HADn13(JjL-DMmsqc~`;u&(AzI)r}c&ZE&>iy2cmst}V=TC0i z@8+w0wT)D-!j{x=C&%(m8`aR&>3xoV!%KwKEi-ly;1{M80&2ff7=f39_)u^2{r8pXwR|0Puu_UzmELv06G@2Z%f7>m{6Y>iMdp)=TG{gDyrNb)f0Jh4K|wzE8_SnL zkatxhX5y{ZlD?W&jsH7+3jyI&hatAdq5@q_D4EzDVbpY${0&o%=)6J&v0Y-~D6(-X zUs$i&*@5vrYR!73MBD%KM^EKt#TVmBi58klXo-#{+rG8)W2cpJHOiNmkX5F6br0bM zy!m{XPGRR>S;>-Ue;t#{_^vnd?Cz)AcKwK@mGQ%;W(j- z%Qd2qr4H@qD$)feR3EC^^=YcxfuV4^r)P#e`zYqbBvWsXe=JpUk;?SkV8n%k@AzdE&&$kHY*(=>Ts)kiR^Nkd_`S z-q-2^*rcx_@A=L;<^4Vqz-=m~yTF0-vNDPTLHgb&bfVC3TK##!?`Iw&RzVZS^%k6$ zzB!f;rG+M^2$t@uE2FZ6%J=j(3H0(vd5TVM1(rV^@P<}tIe)Lkm7lsXh%cAtj*eS~ z6ePXDpbGR;%C7WVL#65x#>x{u!g86;e$yCJxKQ7D5ZjVllNXjCVz!dlEy!dd0(M5+RpDuGT zY@KV73wpE&#D9wr4cdoh2y4tkLp%iOlqw(BUU8j`jAu)KJadh=TTN($OW|Ili}Zy6 z&DEC^<(8A8*^8F=nCYw>R2|-M?;D+Zjai?OnDXX=oIDrY4uzD8yG$LjOfxW7ac&rw zd+lPze$1Qizf^M1NPBRzFmGDH)hfo^lr3=i6oq zSQ8-2Fxz|z$sy>EM~t=nEHIMMxdiL;=qvnH3gZ(XAnh8R*4Wx~V*IT(pL{BlC09>z zn!u{1+t|u8Nq0DW^^cg`-`7KEIb4Xr+$7^du(@&ZE@lJ~Jf zexN`H>3=@VMvhCXel^iRQc)vy-(iT_xy>U?$46zf^d>9^HycTg6zodx;3V~{;c~Sc zS6tW8RBXzLpND1%Lm7&W$|!4GtY5rW@v9UJ6{I8QL@it_qO3ET-t&ciZ3?zKxr8X& zsuv*r7$R}5LS*)6*qDgrKZ1TovFyR;Yb?HLG=D>QVG_3mmu4lp5rKrRc@41OSrG>^ zo$ilGHGQp}@Lfyi8fNGuFI4M;I!Krzlr3+t2nypy8vjZTm>@#A{yo#mXCxKGKaCT* zMv;|{#jblBVL&>9T&1919L$Wt_$H+2SDR#vUPuZcaNC0Ptv`c zJVa6Tz}&5sVsvq-qt}1-w<|+}f9j_BGk@Ds(^$=iD&9YXSgb9hZuAFc9T;0wb(<-g z7mT%nNnI7Sj*Ukdmf?CJ@4>M+bP(I-YECjwz#OP-n>mXnf3eS!sXwd9YD3&PUz_>+yUslwmxUDj-SEuLka0AFr)Xn;jHy1bN;=Z^PPwnd7R@fi_WV-be(jRN z?Ujwsn@Eo|Wk$r2dFc{_DGOd42!E%*P6C#)SqhK(Z8>XqdA&;CRQe{8{ncQIaHGXo}&&cglxOZ*n`2B zW8l9M`LILNqSrsON3npb`1Jt%Q$y`h*4{7ZJ7(r8te(RObg=>D9z{Q zf1{i~HR;SRA1{#7V%Kk`fRRv>KlA0&@g+H04rhb41CUA_s-)cd21}BwUduf-s_AQp z659^Eq|Ne=QvFe~jk6K0-Hpcy%qhVrSq^gE5hZ&Pt>99zMpI5XbAO}ydv?CSEhu@w zeIZcf#k)IIX}aoVP8fNV{q4650R>8H*pdma63)+K$3TTBV!Y%ZD%Bd3#CyP({HUAJ z-FSm|Xq>SP7~tV0lkF8uYUkxulhYvrEeuIAqtN)}_p5`25Of`BlII)pQl=}i{t0|s zftPZ0HKWinx~pYW4Sy_%(p^U-W@ojgk!z=1+LDETGa+ z{GmSo@>`QdW}~3QR)3+#=`y=@Dc~=5(B-Ef8aCXUb;RX+qr>`LhsNp7zVf^x;G?`I zaIoq;yRSk98*@Y2k=tgpEh$jOI?wePih??)mCg3Y*(h!N0e^U9%7}3Yg$tB0h^JJw z4bI4NZNK?z#cVD|4i4cCPa8X6!xk3PAUS5NcR{1s&v{Ts{Sl*pnDfhP8GHgtQztAs zmI1D@hX~P_63f~0nCGfQ|>08Y89b4Gx7K$YWql=_Kc8<_oLhF9up)s~$nn-b*=$q-R|+fak}p zdS4vwW#S6=qAYu>Qmus=-vRPqftKb(W9NuaxHVfE3V%W~nSi>ArVyyO2xQ*A?bBHb zu@R#FD3vPxj?dU7c+?-`JRk-N=-D>6QE)Vxp4XKY3SM|~R45zT`SRhBp3hE?W#Uiehrkh=*o zW~hJi2T!3I^q2`gqZIomHxo;Ub%~sDN=K()Vt>u3(((PNtOZd)ptzkk9e9u=c>(M_ z$n6@AV4^t31hp!6uPi5v%-K54me5bhuUK^K97+Eqp)07h?EB`6v0}NuZ6Ps|Ak|gG z?6eVx=p;g!HTS?5*TD}Ix4TYeX#RAo(){oebGLiqS@{FaQ$O8n4vouEroE<_2Mekz z0)HjkFvZi_X1NgI>nx)15KIg!n^Kl8SE8+l+n)Q2n)}pUrAfky!kq0Bl?KzqPTxC410vWS}g@y=Vn0*grk3~)Ekd{dO|9@m=%U6 zXReX!ocd1l+D|m|Q)XQDZzdApMhjHM)qg4H&;;V9AR!tiGj};P(*#rPMz9)oXg2^+ z`Z4I$BkBn}j)DtfWGuor!Q~ryjp!1$s&poYAnr*F!db*aSkE&qH% z$YOa*7Iq+mjibqnQ)!!yi+fP;Zp5*?6}wzv3vIxEdNCox2HidWN)kq$9Wy??l7Fk{ z-l)y{o#%n3=mZahH>y1MGnPvJaSxj#xjpbbSt8o^BWDm_9~kp&JDLL8mIZ`B8!Ko8 zeOe}*X8Qy02rYT$2n3>(=+M{RL_djaw&c^JoI!7+jf5sPW8K)k?(RC|Pv(o6wJ#;+ zE5W$6HW59$>4SvY^8Mu)AVVHO=6_O(5%G;jh|jvDLsYux$}Tx>DHC+Xv3(Fh1A-NQ zTT%}o-o^y5ML{SZZC;z$pTMo7tsio%ZpxWqn){P`9~&A?i&Z=_A89_vBf-hY;2=TWxT zq*wa|^g@cFyp7FL^e$*0?#}H_QyEWdPGX>;T5a*U3>S^7_HX@%LiD;j{8a5D<2B%G+scHn}G4o6~{howZ@r?JLt*@%1S>jyt|ZjZ;trj&=& zL@CAx)x@vZBm(EcE3nd6h4@h@+H^R^<0uI9f z1H%k5LwAQrHwc1s2uLHLq;yG%f|RtE{ZRoOf5xnD#HVD3u!X22;3z&JenDw~3edD8er&C``b{W(-BaAb;Bl*i0dANGJj>{T~PwHwXxYwyA$OCEz0P+JKAm9)r0h&3n0{{p;;h*`C zU^l2M3dxUz!hX#t@GA{^o7LcUDhL-B2pokZ_|=~()C~eg@4L6apTl*ABRt{0e}Av+ zp>R9mKR^Zqyd_Yn)I7(P%{wczKG)4roU635oIxivDGX zBGsW@5IcP+3hek7YyPsE{L&i?3Ww+;kkDUG7<81N;D7nhA_F_4pCU*!HGjJxXbt_d zt{NPSu=^!8VKH$4$juGpe@%csYxGJC;46eyr5(iUH<X^>4*P zAYKqK!TbyYEEDGRI;`!yMv2aoZ+!%3X}Kdh!J;=x48=bC!q-s;e>Y2G@`>_eyQ+Ib z>H2eJ5fd|hbll(0N4*}s%L!gg)67F*sP(QYAMoW5{5XE+0AaL4&^nAsq(`rk?I#*A zkUX};w&X}Qo4E>?=n~m@^|kQ21G(`~Y6su~C_W`+PNPFTQ_Ahw!F+1L%({#kw0J}s zNA6~s;cl#DGIovme-s*brrZ`w^TT`9GA?uQ^XKJr6#b@6uCsOFJe8GSiGDn=zEjcFXG}N%er$}z4G0yn{yKi|{PDA_L?L0TR5_Sr|Cg7_;`%T~*CBhek5{s(018?*3Vkgs zU1q0c_o4f|{NG>pLMzOflHn(t&F|X=yCM$|tlt zQ#gMsV|ewkQhfM@Tu8HAs$`I0z{2>!Emecvc+%R{I|f}pZd)hVx*Z4z<5_Fxbv$%@ zT%ybI0416LZQMz?+Elif3_g&USFyq;7a=He8%yA5hp1YDo99gcZRm8so)URX+DoMw?jn zfppqVn(^GahV2_qeh>;-p2>)=1-n{rHt6oVUY0*mRt1ogaLk2EiL6!ugV?2fu?eG0 z167H>e@l`RfyNs`glFLV7>@Rh1Zyw_?T=IiJC>|Zn`6l8E;L*ZPP^$pQ?%C73q0ue z0iR(Ng{VtjdgzOM`XXSiC;r}B3DH^mEnsKE%Ipc9Y6!3eC(1%}spL4KnXJGfetNjT zTwm=#=URBxM!4lpRZAH{Gu4+sh}vtC=I+2Ye@ADVJB{BP1kw5Fg_$lBgJG6h%2DxN zW=s4O=E)^{%4!CTN&SZEQJ@YPrlF(ID@OHP+r#3jF@K&&7?H}k6`;6ip^FnQjNZe3 z8WGB4KXxw%xU%w#e7bj|4F3MI(RqK6j7JH;L)19o21ZHm%=2Il2a=; z^husKtZ%iXqT>-u#gE3+Eb0lvz1tp!e=4bSMc6q8s*VIS#8Zkkyt(~ULpdbv&g4|j zZ0%tiN?Pao)|lmWnV$1m6vcL01DZb0oZvH&P_N4b#+ZTNU86x0eXTlsU+vMd5hQIm z;kOZs>bCqnfnASx@ne?xEthkQ%{pv)`HDN4nxPTN z&-h=w?VHa<3fpt29D6UW)Y$aDf0}xwXa#1JOs<8~N<85RrTKbGJL*c*Sx=67?`MVL zj0qsA^b?Htvpz!Y=_2)4XUq?o+{6-iPp~XMGUM!?T{Ml(ZB9Kxya}&uuaER6OxUFUq6KrUb`uYq(A-!3bcDrN75);ChDtE`jc> z#ZCOI?VU_f-NUra&b~E|IYudGLT|D-ss_y@Z&w*w)q&YnK(Z6fo>0!X^nqcRRpsYw zTOSP-1s1jtKgj1IPv*_qv=Q-VLq&%Ao2*}(TBL8jwG*VL`~>26kh%Cingafhgfp#?aBNz@X&F?7~<|cW@Sva zj%Lw^R_#wG$BnsM8Q*cA_B?=kBsaymrsFut z8LJ&XEkhZV4iu8ue<^&fHK)X;;0(104evQ~)-`Lec)O=QC%dWaUzfJ!T({7TyJWb> z`Eh#8T6m6)R1j0?>U!5D> zF3~sKyj-gWp?oFkgtxINJboKBoNFzn(}znj8l{ymi4bjjI`ssQaICy(|y-jM9;_3JE>x4Uuj zHqLq$+}&X6(*HGmndV8!u!G7VP2zFl{@mNvtXon(f4ASP8%L=u1`70`0$LM$Ga_!6 zAQ-s!(xqbi+{UK0p5`N*s!jH^Pbs{d@>}`wd2vS0d2EGhW?ml>c57wBRCV?Z9%6|E zpEc_9!4W5IN9`Q4;}-2pI1s*FA%Sz^*gT2gSZ+13`{{O(hlPl^G+!%~a(ULDSnBvb z4$R|Gf7~w-tr%0conk)l>0So!jTDVkA&w;Dd$m0c96mpD&EXcZrXUXCpNWZjKH9ZY zOQ>TS9dPpg=IY#q=q?O2N@T@$cbA`~_;JFUGMiThO;Gwk+BMg=r@e8EgSfcJBup`H ze)G_HEc(fjS6qi*=?jeW_b`f2?S!=R3Y;q{e}-e6J_lA5;L*VaeW=SdUNI~)J&A6L z-vO1G8EmongiYOh@VaHrypXn_O9Z9mE!flXk{^5Oesr&8^8G@FP}TctA3~B`U8~i( zD@woDE@pV_yXj5Yjlw11cM8cSvFxQnxvS}R&85G0Y{>VwWl3|7Eb1`WV~#wd?3PMm ze+MNw$?!1vQoa$4#OE6SsFdW;U8Bvt9c-@Mg}Gqb$l){p@OW5>;UgD5{M+f+ow{k` zwiL4N%!CD<(Iw&sJNrjl)~e9bYs=yTX{7A)PtC$z%!hXuO(HM+vN6)`Me~q(=%#u1RVT|)%TTkXDVBm3ZRSM#*;e99P z=TspqMy4_lB9Z-lnlNcUt-2w7j-E7-e@j5Ul#XtoWk|3f4P}_K+!}+)&qD7BA#|jr z=_J+Q&yEKC^xCiF_*{@w@t%46OcquxC6lhwA{^e@~BODq#Vzw>zfg|Mxm_VO9^NoSzf znFi}k9$i?`_87l^e#_{c;gqIQf9g+T9qJ>QDd3vgti%wxdsXl3nW=9vaSyeZ^Wz9? zc;fU#8%nlvD$dV8&GI1vH@7Qx>#}RPr00HqDR0jF-X#@sIH))ZqarrDVVN{l(cC$fIs90}T>e46kHWm_e_oKB?s@pFc3U_R!!zF})V3C!@+|X`+?!8321cAqy+zIu zD>3I7p8!F}(VDAWMDePgD=p_%g+YYvbP1F@b}xL@k|+m@x}SOm&(kbtlJT=rnl5iR z(xP%seVkdHoms6!cd99|55V@#`4`osZ&a|&(iD$|jxR-?pQgJqf58l@UnCoR&5Xvj zT`r{*a6P`&aQuSaIQdD3`h+C5&Ch8ivZPM<4u!!7+?xUy?Kod{9~s%{&Rm>em!nln zsKoFXRsBxR%R>%ss_Q4_LB_Y>M<`jk=~(9@0X&5=VHX;%+@Uf1la}he)a8|ebMO0{ ztJRO$KKho^k(MyGe;F|52nezxm%Lg|>^GDvcq*sep6;tH?OUQIK04@W(?2tK$$G*1 zTJA3Gmyp>Ug>5@U5il32l}I^l8u9it{WJy}H_%^`zMD34t0-4S#qQ;D#_a(&*LIp3 zp}S7kdFo`eq@7XVa3ljNbx(uiY(?c!TB|D;b`{qt&d(ehf2J(50cKOWrF9Wqj7FV@$U0ABeRtnPDr8&hSk1Y9?o%GV=T&9-CQs9A z)xVpZ>$AMk9*v0Lsc4(D=zvI2C(K?da&Tbn0asoN=Yzk#kyT@g>B<9>4nj zP3G}5<;GW~e{nob>H1eMmMt_HY=x2=R^Dj#`!;)q_8VGTOk~jz^AfyZRWJRJrl~rA zWJ;^xdW7pek=}Awf00dH?oCKnf1h$B&guMVzJ~UkzGGd0ZoOqQw$`A{c2tlG-hnZd z&*G##{szA6R9Z^xRq(CHqUc{`HKCaY9BtRjpIIOKe;eZCkc8lV4181?M7E+U>}+2E zI!3rZkPvwuNV;8r965_5`pe*I-F8HGG%Kaq89atw$$kb9n>wI>DGbq51mB z>=Gyx3FfK0hL4Q4gXqWOiD!&5P3~MQTXixQpNvw|x;)y44z9kd1k@>XJ_vmykfhEc zZo*$9D8GS&dBXEa+h8h8kcMS&s$xQJC-@M#f3>(5>VI$XN~f;Imz7gZKC{Y9H7Vg5~mY2sw8xE2|#o>RscWT zf6KNSwdys%95%Zbt~ZxR8|6aGANw+{>Hy!+vV(d&1EDMHbpI>fPmYj{o;IN>iaFx9 zGX6{?2jP!^fzQD+oYHfU_*#Y2@Q784hnb>`+EEUX*k!$&gkeqlx{Gf7yesdnBd!uV+f$Y}nFzD1&(d)jD|;2nWQ9 zqu60mC+02s^5bxa6MQZ84QYigRLWcej**GpD7cTGAB$QpUCMBh-hiMZi4)atye@ZDH zHHq2--8CG%OuJY~-(IVuSeKUP0+BR#`VL8R-^|8Q7TM8y&^)!kjKHx-JN?PziEyPj z*~(pcDUk>&;!GC&n=kGtPpXvW{yGAtvEW zx%4ynK3gEJX3`@J-b$}gzY}CN(rd3sGgnq!n{0J0a_;uXo@2?KmWSfw_rft;co!!e zjrhzSlE)KcjXt=?(NuFbe<)YF_Q_Ls{dpY-RxTaQdaft7q`wyC*=;i(ttJ@5ti31_ zJwC)@y*}~7;mJ=a!CHH@K28}|7P+5;_TX9mY-bJR-n7clPVj0BzTS_+oyX*ZcqOh$ z8NSU+rCQ?DDrwr+Dp&%ZHP2n{;#PbbH2T2$%HWc5LPh7K;5f0Ff66Pv6aPy`F+;d| z^J4aGcA@~5ur;-0`H={}Mw!RhB)xE-ZvI+@v{O}^ zQ4g2qU8H?Br-P!Wf0cc)Y35Lu<#u4ePOOmnk1a-P5+xCjO8ov6y=;%kYWhauTONc2 zJ{Rl8&5IX9g7cs6+TK6SzGa#1<2{x%&58{Xs$6iM7E8A?RN8&a*&D9tn;>`F+f2Um zAZktiBC&eITk&h}O^eC$1>Wyh3f-DA{b1j;16glnTZu9le>1yReCxq&#j?l``>A+* zcKO%~?e1&ak1)DMFu$^71fFrYe;f3pWR_nLxfHB_M%~@^(t7$;$~~^>Og`Txz4(?I zy_pMPQp3`&dJ?bqn>%<+Q3kzuC!Wd<T8BAc2O~2iJoJ zgLE-yC4h~eLfhw&?%n*Du#KzLGb*)hT;5fPsqiG3e;kk+LBVyGFZcnt-}FnN^dzmx zyzoS`{D4r@?E7REl1>A&))%3A*WV`+MY;8SE?fD*&BspQlnM*>tEEqKb7K_oyW4U* z667fs_cH5G&)*+x^D2qK2ep>eV^Rfj6t0G2GM9<0KuG?2T@K%Pkl&s6Ba+xxhZO?!~V)JlY@M~C)UdV!%2s&L+P%i{fnO<&Z|w5587JI;Xo*Xena$lF2+wB z&n!0D8#{xm>pj}f9hbT#>&2D^tD9x`23bA|7%TK{pI|1(E_IJ6rwfDf2bwt9Y{tsHs=9cHv*T~@aSbC^+}gALd-HP@J-M(RVBQ^Lo5 zij{B+u@C|2KrAnVCF-(bZ_1=QuDl$w*Twj`o)Rt}xm{q&#rT*lV2I*Vbl(tOemBNSe0PgJBuzpJ5PcKobJxQO|UFy?c-cUDtvSCMJ z|H--b4ZFi`{q4lH`oN535h1$GTk+v%e@XS{p$ftscNArlDQnrRUS@xOJq_^|+ccASlc zQ{H2UG}G44he3^bi3unA2%ye~`KWT`#KkQQj#)Ct7ZT(q-`>5eqSuJbw~;_qrfWq= zwN$p?S41{vjkZ@L2N1tjSEepHe;maWzQlk(+`zeyJl?_?KZiPd9jvkOR!sr{z+()CGOmwi`51!_?PN!i4>~q(f39lvG+okd*F_4rve$`klS^xxTZ1owI+u@AaU^{>c*cKop1Q3*zl*DBND8pTS5D*7PB!Kgt1IW$I^DoP97l4h= zKal%KcZdTFz<&SX35LR5UBEEpJ;nby&;SeuARWN~dk7Q^P=2gu_DEM9z^Sfl1W*UV zz=-=M^gL{!5L}_PG4IaO8bT0O$XIO=Z6SoXGzHiT@)4|3~Eg|B3r| zjsC|W{{Nomzf-GuK%u%I7x14Tz(4L7fHvUwB?GbjU+y3m2-N4_1^nI91pHT(Prwcy zP!Qtp@L%+bFo%0ZcqREn|FS~d)gazrJ3R=}))8P2g5J;SkKG7n2Sz|4Fz~&mf5r*m z6%-JE_#0;E2(fjB{T{yPUl15(_xJMeW%^S*znQVAsh%G9|GroM`03s2k2Lgg1q1#& ziHQ!}?w^a_EJ{jnZ-5`Kptt~lS6D#w{@C3gJV_D3fPa(m50T)%);b_00^$v@5a1IK z5Cq)6|MC25W%)N6RhTW@?)Q!{K!RX)_nYj0pN8MCtp@^eukD|6f8X>!)_=A;80-zU z#hspn+e(KyrDtUzYbjs%4yssmeiTIO4Rb>NLB@_rtlz=7_9D8un1Jzr z`tqRulV>G2nDj#}!U*hxb6_xwXF)JI>zONIplw=RJVh&UJql@U;r0%D(vR~qj_%KW zy*(XA7@yW?xpU)j*rY*}fhpTe$w(h-#K}9`TZ}7DaknA7t9I&i$EceZm0H^tzEq({ z28*)qRk_c))b$V5N>bZm-tQ!u80*}B?0&E{qv4v-BIJiu=C6K%NM|6^Dph+;S~BsOT(l*{f~0Vyg(>Blcy!}!ztwZ24K5V`UcTvR8>W5|0UG&< z8REoKNv=IsDvia%o#wcNC>S@ksUn#(LWA*ijCaYo@XotP+5;bTsn2Ca`QfR5mx&e!{5ziEc1%k}CKFARZ?iJQz=Hyu8c!7E+ zXorF9sFt_0-Pa2q7T$|B>QQo!ik@@gag7yvGLn(~I z_S40%qCU^dGeuF>q>j$o(8Pv+>U||re>qQG>(O8su^yyb^*uM54Bw5bVt5vO(^_>V z!(}{F^a7RxS+{N@naGHOD;^6}8WH$+5Mu!KEPJe&?dCgmt$7?egYu*5FL8|&Ziwfmz)SK-R2`qhLs$u;nz;D01c3N)5%c(HZU z^WaxuXxQ6TiwL*-3n*-RN!3IU;UXl`fpSz}I1 zj?iBpr!8HK!z+G=>dkW3AsYjqTIHu@nXzd>dnEOFb2jk&l6`xBHbrhUvFL;BiByAA zQua1B|G8oA#)3oL1kb6C_hh#g)Tr8B31~B?Zz63>LNv%QDMQz(QfriS72j@$D@N*9p_vy4bnML+pLLQ2E zA*zAhY?-xx=t4XaaLxQ#xI?&X(UtchzKGuFo*l!IyQP@I9jT-GC|g6?(zwUZrO8H~ z8&_o}*A++D%}bZYbOJPf)Qa&la1f=&acuh&msgT;5(-rOqPz7pXxCftiumN6$p*Ig zo<>93HB<{CQjH$gTWfcXnfz`7{K16^Ay#IeF;Q243adNG&-I^eB}Yfoxu^J|>7Lhk zKgG%+$t{tyh^>hD6(BFXC|0yq&B==xwx)j-K6y*h;~7Nx&Wg#!Z-sDtsca9{CtY#W zQ}%I=<)KTdfA;pH6)PiSTb+W^;5W5W}T=Js|xN<32BmvfXq|E)^iFzaSDB+4(lTar3 zfwRg--b^!b--RVK${BGf@)Ok7$D^Bo-}uP9;`G>JJl?;Ji_6Mk=IFCa5Z-kPLE+jg z6#sJ59ALhDcov^quWHHQr?748d0rUmqqDGo>1R(&Uv}q|JZ@}I_*T$`eoB{FR=|O3 zRL?|L4RsgCZh0lM@Hq>5MzIDC=ecdk zHzY4-QiwM<9eWFDixsoP2tBYyt3mlVf?e49vub8qCzIH#-A-T7eknX#A5ho7j(+la zL&@@Si7(aV6&b1J3pD?cXQTQGo86Cp1+>X&$Ck{)6Y(Z6&!^=BryeK{_h#9YZ#xSR zVE;(WaV5ujPPq!eJ)lHSxrvTv-tGF*|0wpTdg4qWRJdii7N>^9j*q#jx7fDx(ND<) zI|a46qy%okfy-a>?eeXmh`Ugq=Q)}Ga+m7_<1mfVh2B&=iwq;*%K#80TMUlD z=&_t;nL<0nR%OKkym-X;jbi-Myok|bcbT{Z#w8h#m~$V8Rp|UAGd*Ni=0C4l%K)8# z&WQ4$8JLE6OG}sx>*^G1yg4*~cjs>g-?cwGlcv-4sn5=CW1g$iE+5{l$dI_qWJx}5 z5RQK`&8vg6hdx~qUf;(x=^CyiK=AUhh9#; z^qJAFs?BMSqej!>5VL^3Zq}xv$fB3U4Gy)wWs@R(sA#bstvMjs)F~%_+WL?Wd;=(P zL&E!7ZlCN3zwNfClebY*Y4H$Aqt}g9t%$}V`)(g7E1q~k3#H{Bd*pr~xKO8d?VfSd zoSu$cC^B%w;?NuT_PL_#Bo&vmGGzvL=eA0s@qx?h#O6<~2PS?Vhy1#Y7-A?Nz5_>C zt9d5T;%Z;?p{RS%-vA?jR0!OlzbyGOO{O%|Jb@T)ofq8j&zm;jz!=Rj$!4P#>MH>zjTtPKr&M0}(WD+Loz&R;z}!H^_sIM6Vz&g&O$b zeu4a?g7G2|Trx|3mJ8ZoKC;L*0ZySAX>`qSxeq!=KW;`t}S;poZ!KJ>%b7Ca)em&u3A?^KafS7d84}`u&FDb_ghxzV`ao{4bo=Ym zGTuz(4%!c`L#_a=aP;e_=G0$nFN=rQ)r+XkF5(l~GR?tyGrR6qgt+}<*WT})->{Tw z9oZg_5O-LPVDy)5ViSDLoi>ko^H@9q;enzf-B@+>y z=)=nfv&Dy*sjlv^M(lbmcdGFokSJ;~B5_z2rBJwk%$af)L+foq7LV?`hMKy@T$T5= zNjI0^R3Uf;f%zfn`0HyW19%6$Pk$zS5>uPQ@o-`S9 zt7%z(kwm=?%b+nqGpo1HDHG3@sydeXFz4tyke+n`XFZm;IsCjO*2?m3ZNd556a3b3 zt-yM+VoMa}XEnL*e8uUEGVC{7&a4YldHQk;)#OpF$!azW1&qvA&%5nG#FiKN18<)% zJ-hsA*V&k$h|2mU8af~p+sSniKvXpDK#|Ji3BmB5m@AD1e(@7`-ov9$fVZ^xzPyc z!bnne;0ed|I>a@ovA;B?HmT)|pP<7JyylRqn(&()kC$IG#7=r)yDKzh*m zUs2X&5PDOPh9im)g&m2{?jm1q8B!&65vuBD3n&7u}-f0v2`rL)}@+ zs1;fxSuvWZWLd)B=pfgS6wfho{OP8DZI4x<`sWzm9I(C5t43N=XZ!nE&fEnFKGe+bcfh<42z_3{@wy=uXAw=TavZ(!p=MfQXgpge7$pv2qd!E32WWa+rEEhevVKB?x8 z@XJ1Wm+y=1hiYfo!#k!l|5Gd>-E*|yBP z%h;uU-X}!D0~>$U9zWR1v!lapKn>SeL&Q<*lb63U7OBigHh|y*RY$nYUhmbwfJ@Ou z^Bpz5`0>&!7DWtOBspjwFeajm%d@sutjmTUlpKGTcQU_zGq!))4o$oEI4P`epM1Mo zL(3}d`<+iqX(?mlZS)lQQQ*RV?#`D_ZBB$qzCLPSf0YZRknNVR4bqJhm4#J~!6H*% zgbngPc*}Y8l0r|CAc{sh0L4%F6HtBMA`IM^9EjdM5$onKNEncmojOM0p9$GOEnQAl zj49mYO*QmBk_!9KPEMH8XRTf$f5c@<-H$4c;KampL=}Bf5c?(wC^`p!)!02wsCD>M zPt|$TwB6!kM}cilFq0PlQD`PS@8l;Aw7QCSPLG(TpHR%Zb>QtYEPkEfjVtoRw)NL) z1E_G7aTey9MfC~?asoZ0;*9VsY_*yPs zY;Q&1-=Nq|pjIE9ovr?CuK((-@x`&21dX^SH$oE`>DvJCK&x9lWU%Pu3+DgYou?G_ z;-+r`eRyEwf*oyzG}4pCJwl|w(zri;d5tKh$4EV409rGy3M}A%W?-Owykl2^qvxi7 z_w2=LNlx4=1CT_wkf=J#!S253%2S) z2faLcmc&n+y$1XlPB<-A)P5c_!Cl^xh?6sS#4{)&^8)_1Gs*F6D2HsmpAEIJD})Lz zS#f$v_@p2VLlAqvEVY&X?abO@@K0y|2iBEh@BqTc4Y;=NVZ5%PpvB zGKXR9xh=U%hpADO($7aPE05X_v+6s~xIiryJnAAOW<6I8sknS{2{L^LxL9Fw;=`Xb zg^;@y#+23@kzE~r2y67@GXjxUbJlut9iY%76Lp>JeMa2%BY_x}<{ge-7hrdeaWaL= z(RBYyHEtw-+iU8}0w))(;>q%GOd9=s1&%V(6ES5` zjQ78w#wXo~>zD70O#9Pn%2IOrIvPcwvP4s^xZXK`Cl)H7C~VQA%Rf&v7`7pqyvUNz z@m?zUC0|O%xpzYm^sYbvvsGSVHAA~pd7m}D=q4BOZ` z@hl#H$Bfi`I~D6Le?(7Q*K_f1NjNBGTGMh_W#%End-E#Q%8E5-8+cWQ+XUbhNqOF4N-~=@6z9P7E)q#H7FC$;cy=To(hC^NUO#h>*9^F zHOGaZNvvGiWUhQs>??GhmY@s>wnn`D6`D0j8UAU#%SYM84quZ>_O z-eEYouQyv+=6lWF0K z4#vt*0IdeclpPT>%F!fmi7LI8F7otx7S)NhvW|}LDvs+TczE*0^d#b}){qN|-h8U$ zbkWEhwR>;KT2^Y(%dU;2*O`HO5|~z&#TOJA+uZp=A>2Zc^|lTp@=G=@*~Y`x%81>n~p^-uYM;NK;xMIhYvoYb-B+M5_wd#8@r?T%n643 zTFMf9RL$(pmltTqJ#|y;+$7*ZM+lTJ9^YDhh#D9e=Jn|uKY+kmrA|u7 z?dq0^-aSTfEw2`;AVqa4U&Qjq#E0iL!=|+>tV$tCMd5LskFnqC|=L$E}i<;?kfIH9_wBRb}KcRyH=iE`Jsv>8^!d|VQ=>a zzGRv)tJ=sA{oyQfX*>X-oxd6G`#U^fsR5b&l&T_IuF0*^d=*3AF9@AH(^<9y7{9p; zRC~G(URA!L=);a{bLee?aY*1%R-hJ#qElZJrOA2+q4=GkED&Z$qvpDsuV z7tW_Me+b&+>W#<{VY;{whsAsEhR6-YCPE|7$6?(Uv|i*v=~K^k^Y9TQ%r3YDq*x|7 zHCGB*I760dwgtGTPjdlG8OBb;PUW>fPE<+_lxC_{`+JB5c*U+|u;BXA8;FmKL2jHm z!&YqP{lh7PAMMHNeHI^eUloH){chzMj8n1Ej+i^`QCmnBh@h6e$>@h~yb7vYcd_E!63i7mKgjD(&#}U0*i46t`*GOw~s@D4PK;#prv!+Q!UHV>(C{ z`eqam19KRWcTy;E@5ny_mvEY{B1)hY9TTWp$JVWbMyNUvgWOh~KU{k}rpxzcL^fAA z<(T5PvEMB<#&T`zwh`Jjz)|_^N1|+5LI`)=sN|lp;-0&jeD%h7eFW++hwq9t$F<8a zrf9@U(2Dv&;ytjZ$5C9PsfJD*VUHddySF2<-qoI-y*12pesfFV#j}F1u`V{^>Nzx? z7c08FO`93B8^&!(s}7P$d?L&r;Uu5?ET>i8*FF7Xx?_o79ESxL!L0ikzTp=cnvY`# z^0a4x7Cbxo#a8%fBUgB4x9FaUA&(KI4$*c*OQ#e-RRKDE8WL^{!q#8JFDvACX=$}f zshs(t@U=JuTQ$X)n4*6=DFZXw4wIE}!6Z4M+chnY6hT6V)Tx%}n>D9ois4R{On?K# zZm1A36JQo1R;nLk#`4s2H1ON>iv1~MlKnFbljC+N@airlW~?xk6W>=-(NEe)XDf8E zg_~#c3TRu$;x=jJ?%9WfP%mwRQ{hs+Uy?*g@I-2K3;P%d)2e7QUa=cn$=4dz8JK6T#6e;y3^%Xbs!4~nUlyb+Y{qQk8c7Mgo!|Xk zEyMn1^oxzy3t>eSKeE0Oe{Y(O_hi(RxN4jo9e|?Cj%wxSuPU)!AHat>B#~W-@kF~Y zu|&}FJjG3>K-BbJtc#t*5~8y|o6Y|Vep7}ANOecP1lD&|GCbAc)v*%NVEt>>X|(9H zi8iIqzb4KB1=03;q0|XK-8NfShPJevFCZ=Zq!f?)180w_g>QNp;ZO0YUz#G~0-elb z#en^wD0UhT9;5H=c!zR!_vOI-W`DBt*T4+d>)z3%$NPFPD$!L5dxU%aJC6^44bTA_ zRw)|!C<r_HbeZ@Y(BIhsp?IyT~xvdKJOc;{sufJNdRFU^tVTD*)w zP;u;ImU<}`ZkWlAFrcnMXgnmIzjgc>2V9ANl~YYE!CBWx)ljXsrMfJbojjJ*b3fay z*-u1}Gh^x6H-RAcWyXQZJ(@4#zt+Ub}fk4rb2s;z&qNa-GG6_wfwFeBkiAv48gw;A{oi znHoOV-Z#p4Y#xi9dpOY^wj3+8F%LG~8V!Bjyrb;D`Y4`0tuyU)is6hrDoG@4{s}3r zHh!wF`Dhh~E1q*GopP&EE~0xTRbAXo<{DSHfs^YH{W8FbC%@+I_gJA z)Bdm5(EuTlj?#l~Z~K!Sd{A2Qy8*51US^MnYf8#Kygus3#Q?=XNHF+@gYaiX6#bzn zb813zE)1loohvGu>IeD?b$(52vGtdyYS}6t+t$s-+sDh+%Jn~!yEXKx7Fh$6pO=qc zP=sF;s$7Rm^}orr4!IBSfBFmb{6Yc(Q0aPP4!}f*N`W$Xq2{oeX)pX6{G)rTwr!Va zQ-m7Q;378%a~!grfubCt@Vdp1gKLLL2M~c`w&ba7MPR@mFZe&;^>H#8L{q(pK3fxu z8Ivep(|j=xLMSDk57B_|-oKalWEnrHh2|U}9zot z1`5;-7hYJUPR=`83C%0X8%C5Z-&PV0P($4SLIJ|@sM=?vAWyyX}Rg3<8Tg>`K6hwKm>CjPL#Gx!F4y;n}`^#d@! z-M#e}RL_rDtuy$h|5SDH`Cc;*Ra33!TLR$D;-vx3Bv5j%Y20m_}iVVX=#Y}r#N6Kp`d@f14r_2Sn}UiPQ+I{@E) z&V%h+!gz%i`>fq>|6tv*sC3}k?)bMz`;!S+=*bEmfpoUz@8v&7m%@wXq6W5udGUwm z><*TQ!0e+1P&8W$SwAwA`#&1~G&5AHR5)$J95@)0YdRJ_)Gl}Ate+4Th7Q(9KetoQ zzI^i|Qf(C;CK%D{#Uh0?GG3je0PKyaW(#IlGMV*rAM-v)s~{|xm^mo*xV$2fg><_X zePrKfwUCyF%E22~qKYVVoz98P10j z0bTw-R7#6(1HT^Nt8o)SxxKXeyFH?ZM~$s_GPd(*Q~LDA$9R2Pekw}kC? z=@YUMw@0BW8Kx_SHAO-ncmP>HYn-T)Rs5FMd$N6furP)LkAx5XJ(jXIyL)Xni>A)^ zrXwx&s%{KFAg0Z(E8FM@dmOH+l^&r#5TrEah}T;LXq%wk7Lw#1v}}e~lL~}kFkB3y zTH_#2>&l%FZ)S9kp-ZIQEeM!53Pl;60`H)Fz*v&eEZjqvh|iD`4H(zZqoTtTs6>}l zmTdGS7k^ovx#le3Fhy*9sxLhV18Lb<gpg6|wrznedfO>6u048C{5f<7z{?bof_9 z*id~5{Em~EcPV$M*%eN3F|Slv3G*-(BNnLb)7W7zE$7LEY>N^O;3em_2qe5oj5Vjl zBv_>ouNJ!0in&?_V9$*_oc_(y)bb1|m#L~jrP3-Rx)lAz*@O&OH*<&n=69J5Y14~X z!R9ar7CJNH-L$zr4-*M%ZgDP|SBc{PoGkWUU^p|45nW#UKda`fM$45@{2-@ZVg6RY zAY^g)&DA{`@7t4zOh&t0+oQ+~EOBRSl5f791-p-|&Tz9*;K487S1|KDEx`Q8N|Cl)t67yC~a^SA9)3N^!7$G@xq!T0daIw9I`)}yt66iE|p zN2)s&Kt%~2i|Uq&m5-%juc6ZTj%qIA(c8CI4BY4#WSX3pxY4qf@uDdt)khlA|KQbzX1jC!JMzU;`@P@CBtpG15uO=RS zQB5S@NDr|}&!JEcTC+as-&aQKZ~%7mJY))_d1>dYDR4cQyf`6icHH<9IoizRsq*FC z_X``0Db_uXknZ(x_xe|;Ng$2ZSs__Sa?EU8;!8&tLt%cx5YEpQj4IQvTBa(*29k0q zWYV1y;z73#f#+{YD)M`&L=M+K@jagCfF|P7_GM}7Jhf;KY;7~&C?J-^dwh* zCszb-0Qxi+&SpbGg|k`ymPvKKfl15F=nJ#`r{ipf)|+;V#KgNh=-y_O z^X}V|4c>=7?Vn+lPDA-OU#K0~=L6<|DaE$W8g7{&#SnEcB)^l@qyhyaYDU>8_ ze6GJ}bi#h;SgE=~;{j~EmWT4dAJ}kWBO#Ahz?%!$Qe)3KH@Ij27c!MoT}DG)S?z z?~_pHhQvf!KdhlVQqhK-;;`yYL}dH-vOHTAQK(~BCkLY}Or5XAJ5Q3hWDk;;8ZjLv z`~2<0R6#@1Ia$ZBPCduON;V2$UuUVOzNcz_b=>|KKPx|SJcCVMGIt$f{q`P)U4|?e z3|@kgSyXcmPnnX7(cG4hEoHi?&GrwlWC!s>mCnXLGY%Vg@54ZRKbv;}w}FbtGF&9;^<|B#&HF;ey1FlwQ9uH2EfjiFxor|{fOC<7R8;`wv(YbY0S z6`d{JS*31Irt_?l94$P1;U1Z~_3IoZ&A4k71v*7zD*uLhVeP>T!}w4}pl&Qf`QUsiMjY zd$LUzvh0V!ZoYhzUqC55ZtM-U39H(fC7&5+RNt-c9-Wki4(=;5c6#!p*X2Z&WLBzJ zB29oYe^5$8ymeM<1hR}w5N-fOt0la~@v3WHf5kt3tZ2dDea;fw+sIf54dcD67w^Bw z!H9iSy2|smcDqA%4qC6UZ+eD5(j^64Z2X_k5z5|yY^5#4D=#D`ASTBvDk2~(FDfh` z!2eE8R`xxw5bt|FF+L$FdddHH#q7V)KlFSe!u0>){QxxM724s*#P7E{fmY06HDm&< zGd6>-=Ua@g*yUlV6j@^;wdsO7rBWy#iX=WP7?lLU#!tMMe(@w@JN|q-ul(&jGrdZ& zXdrJW0nXO)v*}0EFwtr8ZbR$fwpT-UCgdTuEz|_DqjhUn0=P4h X8AGc&k!fEF3Wy0~Gc&)}kjMTni|KYX delta 37452 zcmV(sK<&SWfd|(629P8IG$5BSZUHEN#Z%jE(?Ae?_gCx_vL&*anZ5HEHB@N@6vYw} zmxquz!AfEa*8%$XjI&M&QK*W zsw_4UmuC*s+xe%WY1j4Fn0peJ@oL4{7+>wGRZkFDPN#-C0*{ic;_|$PzWmE>3iX#_ z`>|*u8vWBlhXk>V zWnIUR-T@fz;XIe|JPOxwO09dY7oFx=+m!2KQ#F~=sXWKlLr>T=@jVB7mW~&SF_$oI0VsdXTFGu3I~LvRE4Y+_S8UEh1HI_!EfO>ue(|D# zbQX$Sw$;(_BFV_}-}m8EMM+h%m1q$pu_@}-9S-lkJY{e%t7{q1h@ zr(Yc>oKvs0Aa@T$X)3iM)+x$`BzO1Z<5b)A!!wX@q9e`QrDdb{ig={PS+|b;7gdY{W4~r4?kpntc4k$UVM$M;P_qkZ)0PMTDTn zS`3%u!{l}_i1ENA;g$*xOMPI*ODdE|&hiwGHnku(luKUX`Owavw~PHt3g~e&Tkc{! zZ}sHZjV7yaq@qgr0`QO@VQ7CkKNhRsmu-f1v--SP&-R<`V*aDvBqPZimrTjmy%}5O zxB7u>D7nBTqrym{jiT0vT=+`5XWoWxY3z^TCZji6kaDvJ*w%{D8Ox4la_z%IVq z0>NA0w44SvEw+D1MXdgwGtX9;=aM$0R6+EQF+?kir-)Voc97OUC~N=%^~b3* zS3p5%Dl7(C3R)!$OmLK(wlaaB(f>HfLNU7kGR{r{%-VWoReZ_u&hK-cMF7#t83TsRe(H9_PZQ1UIfx2o5!@ zatqdcv=BT;3znovy`>OTRS3s9WkZHkLM5M03lJTq<4>nuDtli!U#&`$vFe~2%DUK# zbl5Y5byvVsd#d0G@PzAJj3ph!vQs^u1mi!YazF!4`foLje+$1^2OQ zLD>&4rwS}wr0Ouvk5q?(o0g|E3{vL_N=!CZ7F`@KdNx^EJXrG_U>Dy-a9+kxIxw%r zP&zcv5)@=SvfjQzPzp?g{G@~F5{6Qz-K7krgNoxUz_5SBSHntSr?66wVg*tm0;xz+ zqkTCvTzf!JUPchD3=Sb$1vuDF9nM0i*K1J}Bm&h;yh2feROoT9QIw)>kfJoj_p>ae z3-DSrrHk-9O(`Lsrzu6*Fiq(qyo9N67tWyG=&pUdk*RQ}BA0FAUU!9(kZ7|SrHK9k zGA71qLJEJVR-rW{sW%)K54-UxSuxmzE2%SVB``_$LuFW^tb)8f*q;-sJ*b0Os&Rz% z343dWEYJ~C`h4)ynqd?cTu z>^=N?hkySIDmW4ofny6)sO44E>NOHF-XjWABE|>AL{ZW%&CTP_rhL^s*OUi4@8I8z)jdn+1pg}Wb)G-#- zG-`hXM?`xDiUHxD8i`OYHm+Q(7-j+x&QQmt?dO)&+#5hRmHnA9z~6QJIdt>eHQ|vDs=*ILt85t6O`;7`C01|X+dX)9 zBlz@bu}jz6|5(f(x3g9HuzT8k%kvne!EAq>fA9CR`ImN^Z^g^>e72lFFK7FFdB1q%zrpsd2&<{@gLt1WTVdWW@?o%WtGVAl?0C@GIu zN??fm@HNTd%EZf(UWg7^!=4K2pk!F?c#Cnw8hWdiN*nXaNON$ha%>f}j8sy;44Hoo z_gMOrqtwTfw&cos^DU>-esi?g zUD`>N7U4|B_dKrQOoYxFPCY2Nwd;M(`qlGppGKdv{oQQ8 z*nuvpHmBhtd%D@)mtrVRKeqc)Jj;J9y?N;48Q_}|Cl%q%Ksi*LlvBy%U^xtE1ivs` zoi5kw?^urQhCNM?N@~2}9K8NC5)Ueb2BK%;5hcu{3qo7^32OH+^15^2G=PpFnT0;o zq_JF^G$#99G}aUlRl&-fl+J{N>1+=yZvJQ_`KLX%|0))*u!?S zN~5?};`j6V*piHv!FTu(cti z{NHV;2pvoejBRZI?*Ea>+B#VnnGjMkF)*+a${08}S=jt@vb42zpd}O*r6p8$cCfN= zG$%B$F(wo;0Q^HH{I8OR?u3#yRtAJJCN?%Egm%t`fPaW4#()3Hiz!JG{%cW6=C*eK zkeo~$Yz&0|(~FcP#e1DFsp{3oSiV{GC8u&^%I`_?HU~LPll|PC`ZoHV*IqQ*Y$#;D2CZmM)w6`NZ8GZzyR zHxnb6wPjl)?jXyw%yg$(%-rEg5%snkM^-nBd<>HeH=QuAx&T`1C3K#dSKOr;e+dXn zutwdld9`UR${)-1DQAA~lw8`J4pQ71-Joa4Sh~kg zVAJRb)_=U(pfsq%PTM-cN{PPmZdV5Ng&2{G#GKcmQ#aj=488Um(?morXHN@|&rVKx7y&HU8a@iF(LdThg!r z;exJ#6uUbVR!{;K?MJOs*_TgJk2xW>44r>k_nL=x>6!*03s>lx5)9f3oUT_Q7EXtI zO@9GVq9m9uQqR`C7Nui6j0EHlx$C8@931e7+sQAEkwxX`fsG}v%#vdlz6*8+mUZ7y z(?(~3WwE;DXFOM^)(`A~A8Kn+l)uUHsTEltdhc zP^LcAyW02cZER2ycaD>Twm+p#c=-XiGp2m8f!0TlK`Mdz9p|5Je=(`EU_Hz+et-BN zfzT7o6|~r&VlBQxnW-Xh9QjQF@kRQ_y!Daz6)_cM=nRm>e&cOI{_xNSTGg~Js z?8hJ=aJai&s}tpAJ(inoCr!4qo8Zl<5Nf05HTbNngwZz7d5tjvV9gS z$jreW8>PiHyG)kbC?1beI4gvBa3{UT^^FwW%-v-VTXI$)x-R}ECS9KGLmPJbZ5QL-; zmRrLl62>H7OV{bcFla9xd~4t=C92FidYJ4-d((-|kvqX~pAN*LG%5ht=oQBusyCnvuB zfS%;gIQoktj^wFGDr>6g&rS}XJ94xg9&5^&nFY;~Rx$O4tYM={V1Ijw2*~k^yA8!v zc(OiV_wSdZOX7}38TLu%dhZo{(wVS2Y$AwP)~V$}tCLGiVaw%B8(*Rt*A80tDGf4m zj*+}Gg~VqXrb6xNIcl_*RH%B=F2{GU%f!h8x=KZtAlaROK&=G9OcORen;Z>GD$20_}2FU=zlS zNQ5UJ;8bc%%|eCO)0j7zo?s(YLWSgl5I=N^#cP(6vV zX}kWZij2Xc=XU!gFs?h?Z}kBS2hJL(eK!!zBuq76sd;nM#(zBt+pv(M+y2|JXOAo# zN9&T1Uim4>X9NusBOs6qbF$*8@e7YxJ=dYqQ>{Nmcpp5A|8$L`aU8gwvU}p&a=QRz3%05wq@Hx zVMPlUyA}YswSSTVgJ&|;(r(t3avQn;HnsuQpMxK$$hW5W;M|H@=U11lgMyWGJ`%y5Fgaiy6nV&89hmgIWv65(#!Fsau9MMs%}C06;Y@zZR5FxyGo!n zKJ}H2=!d6uD$0VW9%2%$+pM`#d1-dLIz_KhNBuN@$Zmn`5yhVK-3AQ)o0TDzs3MQx zHGh5NReHO($#NrO%?GcZ;Jsums}q3~vOuCD6-Kz);RSX#-SZaS(t4K`Sd9rVCEcvX z0LI(hTZH%W)PgLSw0&1UR8MH=p=az+Bi>vaC%bt0bS#au&Mau5sms^Mm3*YCK0^`P z)?BHv<#)xvj`HXQwjQl6LY=Nwh7Wunbbr@(^)b3hryiC97JK&ig+W=MC4iWTZOHY& zifOS*SP1P}|Jg<5nCs7!Gj6 z95=UC(8e$ogHD~(B{g8@Fg5_N*=@nv))GKzuuWJS#U**_KNA^eRHj-Grq_*V;eY8D zHmMbP5U7gfJT^Vc_weq+e_b-a}>>AkJgdhmV?y(Sq0S zTcWhZq~fmjcjGwi><WIOTA9Gg^EwJE`gJMjU{7cFTC+gCQcBQqrxUeo$%MY}a_3Nb&_VPNF>UD*dG9*MhLD&Y?gC~)j< z3^nq>oomBKgm|mWic;P6<@?ETe6Zc%JX1{M5u_PwC#(%-Q;|CvjBuMRYYh{)l6uB* zV9@IE@QXN$?5^XcIqYlk!Q5&W~fFb`K~t)cWI-A<%bfBbvifF~ZAnKotm zTouwFNK3G8>nA-O9feyMdu8D?srWeqfvYHU(YgU1)2YDMTtfEAtQ7m67;=xuJFr#FU$B!W=( zJgkGQ?#j@M&TR|_Z1fpvKo&%DXXlC*23Xe+g={C9es)BJbgY1bqRVjHTPjof@y;^7 zi>@izEi57kKe1)b9Z}DP3aWG}`q4FOYmcJHD)Y&Zb5N!V?SDM^t)Hz>ef5NwMrSjA z&8V?tmwHSJV(8rB`epgUvBHg8<1|t!fr+z6eGJQ;Uh+_zb`^XAe`VbBc|SbdLV=ob zInc+x)jd8dEW2{GRB4)V)xF>-tZbUQU;4DUp!tzEMylFnqrKB1mulW_xYRfgt=H#a#TSGh1av-C5!TnfYKmgIKc@K(W}9@P7)088Rqq-~q8M7xbuH=B_K& z35Uhjo?d{`vHCuqAoo@sZ>IBJfTQCb@c81#x=Gl5_L;|2pApT$&WvK)9WE-kc=Q3{ z>t+rYtNnOdfYG031Da&)>Y=S6jIkfp*Y+$1>J!Wk{^}QpzfP9wiTJ@=rVBY&9m?la zwi`mbm4B$QBX>}k7ct$Zzunu!XxPoHq+olDE&jAk7K#|`%#8h(OB!4bSLbOVQ%DZ( zNQEHYfCwgV0|Wh#C#?`KGr)FWSZB9;969UM5pQg^60ycTXmF75H42#pqb7H*S#I2% zJvHu-WI3gmOl*> zv_{CsaP3XTd@dT5ktCddLc}EmFCMjUvI`e{1mH4%@+5ck!2h02-zk=4hfH|$VgHG< zJ+~Jzgb}%i^WwhZ{h%I+|J(n~~~;XNwrIFCh88;l0bd3nTZ5 z_0aEDSRw{32NAJ`=SQ>L%;9C;spz&G~c~*{^5c zei5Q@R)i2jiYY$V zcPrNT?&brgL1szcSxWnwFYz^tpKYBqOEe+fe)=$8v>BXJ57_=KmFI=xt2KbqKYw3L z5|87RlO?S;pgj5@SwA?)H0`Vk1Ajx$&JI?Si?fCf>SE$R9((p|AqU_UJn=R7d&iTA zDYQs(sj1TtkKS4fq54U!$nn??nV%y;&1-ClV_wG4Gi`jd=xH}NXe?e5aC=m~Ml_nO zhlRFMMGW>&qN>hcoC{QN@2%t-)_=^g0VdUdYUA1#7a!hh=|&ZqdXCP%_4L3(>>L?dRaiUir~kOc0(0w3%+M0Tz|DqMZU@9 zHyY)3xuPJ>Fy4H&cZYHnomSS@5#9-pSLl(WNt?-I7S6l;1<&gX()_-~A3(HA3eqoS zeuE-2?Sn0EF{arMRbi~h*y zsW@bEPusS+ZVljPP>9<5NBfqOQjk<*uRDF%oILe^k2p)|trLUc!yi|{VxPtnE@{?g zJ=yWFnwuMS(N>HMm05!S4A2P(@2W0Uu3>A@)EmLMp1syx!)O5*7M`@ z&2h3`Y?LJB32GCM!r&s)z$z7M=+F$UH&{PP6%!Cte?ia-gzTCaN(J99_iSC$W4J<^ zw0k{h{YsJFdI&t}P!)gnw!sf{lzjA73|P@6wj_C1Q;Q2oaA*Tbljfo$fyiyBl{A54 z_!%79OsBGE7#LRy)qmXUt`+fNqBY&E{E})fg#Jpk{v>=p_Y-fSz+`Dug*|~cYs2fw z=$q>ZW@uo|MZpbmx2Eb8^|k%XMUT{)1M)ob;LNlVcNQj8QffwUsq!1}Y?T{^P(&V6ZkMFmkjq;?W8FJ9&*Rj(W(NU$G(O@HHnzWejC%Xyh-Yn0I{ z7IDe6U;-Lp)3)=~5q;91aZmjC@&~#8EdVhq^h=MPnVGABgWB?bl&ifZ2g)~w}2kKMPsbkv3#r1G4ZQjMXo0~sv#*Z(FQwgqGx+k`XL$q)3c5&z-qZVG0^guxW@=*lnu zY#~PD2Y+811Y6FTX7A(jMq$mQ?-Ao^TRvw*>j1kUpib4G?yeO_24*!U+)U&BOk)S7!y7rpkuvf?ofIoZ2ReUL;%x_XX;%i7`o*Dj46Knkq`x5jsE4K7x4E~# z!U&ug)bb$`M>n>QK&G<|qNf;Q}Zg88;K?Dkyu zuRVVL*pwWlwBtT)sme8*drqy}7@$cNk=h@XqkyBzMfk?j2(4^*V5-*asOI~pP z1~><`KD_AS7qQX`;;eMQb1Ag?p)+94wbva#;znvJBWCPH)xl1`kcHRSx!-+ATC=_I zyniWxWah?)$xN8FK{mx!4WB2gxkQBl>_>(T&wmN~l;MB@qS-t5;TSvlS=%;j5{;$_G#yV-XS?6HRWN`EyV&czskuPYzL;CVqtoWS` z^Q&Ssy~jqWLbs~OfVjsT>Nqz@adAI>pBInXh4g>WHdiz|(~VJ&7fe8PqcgEKaerY6 zQnMSS6`2xUD`Nd(V=bR$BM1lS{Y|q+)8FFO_&_zj$> z_Vf@*lrgHyxUT=C%oOkdOud$S-o}8}-j|-bQqd!!I=uX3xL+AIH;~jOit>PwH~ur8 zz#+8H@r;KazXQ&3~86%$Chm zE#wLB{%{BFQkc6Zl|U@6{;XM?SA|Fn-;_PfjrWrQ*lz~4V6E<_Td4=>mJ5+L6CC!$j%(<=VKYt;G`|@;7`Ch`g%>xNFtE%Q4+Yv+TBnD!a6CVy>n`Wd| zhEE2%1#wzagnaGX=mkiUdO}(tXA7myp4&wy_)bw^?9#*8IdtUR$LP(6hLyL}3<1Z) zfW*1%S|z6Mg?rEW-k8|BQan?mN@!#F@(iN8I&zAi&}UqStV_;H1R|I`~jbyh-~-Z%)cq zcp|V80JM1@{5)1p zC?6pj_7YMr$H|R;8SppAC((>ZHGv+f3J3bBx#mGc^2(J&<9}f2mQwKSK*8a=7214e zW7l{tJM|c@ch|#oKIJZitA$RRR0$)p8V^RsND)Qz(&3a)9*j;$l;g!-FDpKM$<`bo zMmUa0&(P(dSfHu>_H`}!ge#=HxEIQbxy2)?z_ zo1NUfzE2VP2Y-nw=s0!RpE{I_kWGH*j}PoZL|TehCP7ngXh_0l^#V%HUydQZ*6DML z&rcX`Sm|k>6R63aP=7CmMYQH;ue@iB#u_U6EK_;HQ)M#NHD- zaZ%p+D^qnxs`%GPoKS@>YNLpiGyyPoW5zEw*5@U$3V-=oGv0l0Wq1#Wf&QDr3Nj}@ zIKvj9<{ZlGZ1sEWkwJAC4{!8(twF&7D5ja}Bw&w$JNsvSqi&#W+^Ri?R*8J;2T^p0 zTl_B|cmUm~iP`1(^QB$w_ZGx&4p5ncj`btIwV(E(L|c3$Q9OI6Ro|8{6Tvv@q;?Gn zoYM@En}2fGEA&$K1>*X&&>r=^>2ef$ZwQoe%#h%T_jE3~x|IQ{298Yep-W%b%^~&x zJR8^BM{$$VN^U^&#lZ*KfcX>%EJ276S(v-;lij&NBguJm?v9h{jW#NiDSBVTbl(F! zTAqqqm-Y^$LaD%9$8dA@!s?WLa+<*0r_Ep5m49)hW!yxTqU19iOdq_U=rL3Jq=pF+ za-MM2%5+FgV-W!CQA-<6dQFha6*%{qy_9pqR{O+k&y>$OL&aMRtFn4yb71+fjZ2D+#Wc;w~fPz8Hg!? zfPZ86u!5QrfQ{X711udko^v9`9~nbzj-Ziqvdt&f*5R@f;ZRALg|tKateXpo0Ud(f z7=Jfn2AO%ao=9u3A&yDCq^GtLT*Pj_e&AVN?BNG5526nds6vJcGw6NvRNL~Ka+aRL zW4FB=<`wKO7f^;ogr|F<6d4>15(guoyno3)xwEFcGsfMs-9)3<6{7!&r)J_JY({2z41AG$yZ7P+hLBAN+RwvJzJ-O@Fd9(E55=dx zX=hOJAJ>vG=B(M~MgJSgmt8AsR0{0OQc&3)_pOI#pykyMYQ5TJh^}w{-w6Ju+<(<+ zEPlIwX=|*txor7`2re2$FqA90?xD-Wj%w-&u`9?*%2?K|8WSqahL)F}ipC*|G^Sas za=|>ZDmW-TOEn9^l)r{HvkPYx>D7Z;lV!wxA|!O_$?!8lZZgOb)DR*vKq#$ON#PE= zh|*u2Faf64v{N0n2cV_|T_~YvTYt<+VK+CG{Pq5lZyeKK_+h^|kJ@Ad33IymQf?9` z(`dI`SQ33O2^yj_yPVhG(p~wK%;GN3U)dsEE5Cnf;GiOC{rVAsnE4RC*Ly^Ejupux zqg)?l}n9@b$qZKjY4mVkcqkmYo+%g^P zWVEP?Ap}^6!T29%ogVEKy(^F}Y6HrBibWYy6v{@7j`<|cj+mM<38 zO9LP1v%t{zvp>%Sql!>G&IPv*xQ}tmtR~Ppq(+4S?jp+@yc82In;n_gLN5a`O@;o% zG+#w2^FtPMg~0aB?0@yu2d@rVn0_q$06KO) zU~c4C!g|G=>w_D-0L1PPVvAvQ@HTE&=zn%<6-2CVX~jm--}(L5p=;I-AoGG#HjV+q zCKGgv4G|&2i8hk#CK1+->u1tpKlyuRC*#)njb*!dv%7?1n1AU=LNJ;6G@tx_--!=D z$bB!!?`d0a+^z{76ZVqyg;Lt>5-6gep)JMb%(O^n?o~IcJ9q=*(E@*q5mn2{m(wcS zsuQ?WGx$xnZO?{SYdL7uJFY{`Y3+FH!~*svjgg&b@tmr4+cg)&eDLj;{XU%wGGKV= z&CMOjiPAPVpMT0ySHa1Z7zm6w3p-M1O+M3a50c|Wyo2bpNBR0VIDF$;WMl<8G#c_o zzu@493eyla+uyriY%Vs45v}1nZ@TLv9U}0cjU{GK!X!s+m~e%f#g<&Y?tQG%qF3Q9 zD)Y>0?|BrS=lz3G0o$KiD3^w(F3G8%Oa%T26E|(uhkwxobjXX5arn|@M1-^|FBDnJ zpE9okiH}%@kd9M0<_CW9O^ZF!-XI&>O^k3?dRwzAD}a=Kc)>w76kL;nW>Q`yc*#68 zJ#v!u2v1%%csQ)yhTqWr_*$|jn5U<&&zQ25Sd!B4df1zY)t@+W)mMQk=WAtw=`>eU z?Xx7h5`Qyj=GM>2bg`}eu91pL<~F}}eM4zy--|v_eqkjJG~c(5uD({xt2f6*UP4G` zZajHX=Ef+yW#V#64kVup5I$;A4bR5dUskAs@UAPJtKT*B6)F{08I9sc$%K|@P9U%{ zd-Nn~nOB)D<_ygLykAGVy)^F`Ema_eh}6ttI)B5AQsx*|lGeQpS8Zfts$Z^;W!k9c zY~{T~q`|cpFQ}7LWyw9>T~H8IvYTQqFJN;&1K^MWsOv6s@0(UO3~T4eIQ5N}7IPk3 zQlAcI(`q6r&Ll_dZ(ZHi4=?GJ^-a=?a;9K^8$YZmG8UOBE?+7h5S!tsN4Wtz!BUH< zpMS6QaK0?IX6%|V=oQNMahQW-Ur9-thDB@9#`0zNq129=?a?L(+x~*e5f5b!?xbcp z|Gh4Zfm30)#QK$&a6S3nd=2ijhDn~`Z?(aTu{RL4p@&Lw(J|1gBnh77>&!O5Py8DJ zZH#a4W3zM_-74QFPnJ7f!!x!==#pjKihntNYksB&K%fo@Yzx8`*u}YP&&LRQt2Kp( zN1hu*i@{Rfl7%K?2bQ;gA&GIe!&Tjy184Igs1jsayFcAzD)vgmCTBq$8xwMJ#jV1c z{nTT;m!bV>1dBh12Ht8vp@t7XWMc2|qfq5A^x#9nL@>(=Fco1qbe)D* z5INiciA=dxPSgn|Jc}BIK+$EsDqEZ@?2s~R-6EgNxwgginMte6&Hi@CPKZ8*BvJs* zU}5*U{|A_}rsYa(AwoInz<&&$je!Eaye?1jWLeO>L}E&#NrzMT4YS#*UHHBIOYc&Z+Or*F=OTRq64swHQ6`Gn&wrRIbTTg&*(Kn= z*f0`XP-aD*jW?*@^uzXwNwUW$7tKH3c2@i;94pUEZ@)u{(aI(%^fqlN!-azeW4B~b znPVGf09Jt79I0%Nn90Jwr0eQW&>|S1x8k>lQ>?1d0bpJKe4ec20J;6y1OM#Wm_oMo z*{-8nL6+IzD#5}S;D6!@fPeQfmfW^&wMz@B+&Z>Co6xDE_u#Qf<3bT?=amZXi;>Bt zIx)5(%x^0OjP!K#%jbJfNdfD%OT5YSa>Un5wPo;|Oak)P)Tp!2%j53d)-FGRGnb9L z6%IEAGh1ib8p*Xc8o`O+xamxRYMk1)-Uwev^%im$tPzO1Cx450BqxY{)&!Cj4*eK# zfD5G$miZdmq<{Xjd&E6)dfNKz>ILDc(70RG9<|54(CfUl;hc5~;l@zJ8~T>SYLtI( zi}opH^%-(-|8Z!2b0Ow~C^f`b+$kP~bPT!==Mwm1FXurnfb-LWi>aX#9e}&?BV%GK z`%I#mt!8^mwtqb`uxK)ALY3m#ZJ6^VhN~m_VU&{ji&pKc<73Kj&-sG3u2chUU^5jA zx%i61k~e#kt&M$3fe5A~;flKu`h>ni$~kMQ3OQUwJKzRRI;y$m!0}YVnipPYZ9@H? zm)|X}3`_ogYV7T2cQ^+)KBd?n6+c8-0YY==osif zTFM=R@_$SNT4DxdYx`7h>FpbhlcHBLn|C6Pub*1{w;)IYZN>d8OQ3}{qLS@*FGrxq zV`jsTMO>++#We}oRH%E&M&B=0RWDRmiPcI+Cnjjs@m~^T)(^itz*R^?0nWpJKZQi7F}hCec8A& zBY(cuo#cINSvPnOYq@!%U*(?TJzC>dpxR%U9xb~`_h0b<(i+3mq9BVB0=CL`e+gKF z#~Li1XTraCXP&oug-8RpYJWkpI}M&oYw;%{vM?D$A`4$CQ`ku37wot|oe2K(SDl0} zY&lJvA3V{_4LmfafD?U2yPh%CR#GA>lYg#9my6w7N1{;fVl_Kk@%c*Dtr6vCFb7Sf;v;3(3u;?^DE#DdQHKoWCvu`3plb3vX>_iTl>P58gK8OAjp>Lw`Or z^}+N$L)a+q?B$UJza`3hkeVZt@*V=iEOEF>lotr_aB3-lxiAXGL!4BBluvP2W1N|! z6stgXhoFZov-_&5R9MGo`=gh{&!%s`nIYn_!uTt?a-X_-y%to#05K^Cm57H&W}lJA zfXpfZ6daJey0690h4-wRAuB!+@_+8VwE0c0D)xL>f+tpfH#TeYo8py@CfKIlvy)zh zGCmg+lLw=k-`KMM)T}+){mH{9qUv85XZ}2c~hmt4YP5{BTxo zdA4OcElp+Rt~O?c7`a#n;eWpop5uBDqbcKr+d)aup|3zGV0a=4COi~D8{gi7v_LV% z0}3t^KY5-0%w8<2@-80)F)zZa!Vl%d?=br-^j+Ao+}5|&VL~#!2B2^<$W+LpGw@d# z)7>#+OtlAMbdgxA+X20>J-7>!A|gw z%fr&gj^6=-?|A_`3x8%O)_R*3TyIQN@G*SLvKllCs?%@?c|?i#!f;SMevaMw_T9~g z)$5xn_{Pziq=}-^=03I3XEX7XcXwQeqBgk-xcb+|H7B&OjvG)HnEs;=j7lZxT=$fi z2iiiZo#18A2yBsY@Wa>S=fgd9zyAK>MC%oe z0Z9YM?26bOm49^C1&H6ACb&wZf-mV(nl49&3{5R_ZgE``MU3(y2-ZGz(5`~6qS(vA z{EPI>N&W)jNmc=QUdqzEQ>#919%#tYxf`Ktj8Y7y+-uoLrZgE}^-XsJ5{yA~WB@=H z@E;2!K|zl4MIL<&t=rP|-~p>A)oFDI1u;(y9ltyg)oaLQioSbq;c403l!Kt43wI$!(>l9}NA9y3Q~?e=!6^_EKOQ;JWp9AqSAZx(nY zvg8$EyswQMEnAQZkG9z7iRiUXvi3`8hN@0w*ZMcGv0`q!T44gZAHOE;bqd9n%s6*T zq<5c`h<_YQp5##BCXVGxv5RSLIVxtit93$5r_v>H<->rdDF>}OQX|dUm|?sx{xN?{ zbat7i3i4OC<&PcC)qP4*IENYHO!gVfLDt$m=S34yj<=yVOjV6yzD(2pCpI|T{1`f8 zC{xGXHi?^_J5T}1ymXn&T8xpmSC(LOUc5RfmVc<~*XkNfM2Z+_9n760->5L@LY?%D zM3S2^JwJEUHA5C;6pP_{Oo6pYh} zO@FGxc6BL*59;Ly>y?}G@8``k)N8AyUr8fqe}E;c&uI5ER2m{Kf066ElL((w7F-YB zCLo|7Bb;{Ery=l{RXep~U%dd;X!r+aO;9h)e4dAt{L%P0S}qs%o#4FW8I>5h+D=ab zMV+7<-`;p($p82x*8{OiL@BcjaPY+w?SD9`mA~Xjv+-E9&}!|8+$1u_g|`Y+uoN6a7|({i%f6ncP_b?mt*m4}367?-PB>-sq16fW7iive z3^*8XOU^7c9&(jX0{OIr3%c(T->DtcpiU6MKXYV+$RyZ~GEegx=dH`lP#x8Yk1L3` zx$Ng+#d8ZQh>NzM072QL72;QDmVdq1I^=LdYK}iwpMvfTL_ELzsMBnw zhq$b${wk&;?K`J8C6y`whVGstu!{L>gW`ONz~*jSNro z53lEruTN?mI-Mhd82XXQw`F6?hBKm>n;|w6*ENaSy0V4qqHhl$Dhhh)M}N?HJ(pCS zsVj1w{jTN?F{>;^r7{JUZf7Z)y=sQuutj5Wiy&8{=AMyq;iPwFKQAqeJUD5o>ywXD zq_t|O#)^I0u`r|F@5Q@R)5)PFlyck4g&fy89cpqeXs!(op3dF+@YTH+n#|qf#N=n zsBR_2196e8hs8Jo)P}t`GkLyfl6y? zb*v*mf$@q~I>xCLhFr~ThSz`;=9mdl34Hto%`ZbNVtf%)uV++GZ-3Fy9kUtI$yi<; z3*xKv)0pwNrpy=|mG)XUtZSW*2Y>4gBNj{;eYH`9RcE}(cydTf_0rn^J}0z{AOz7r zUJdV#HgXEj+tZ?U?7ZIDidcxz6}W}i9<@&*?OaR+mobi=XbIMG(qMXU1((zjzCR%|EwCyQZ;Ix@)-@7ipz46=EA zq)vHl1Ug~Prhi%12ayNi-U>2&1dG>A?kR(cEdX0Uq`w^W4^+}xFV#6HH=zZa5Ll}4 z8ls5vRgiWV#@pNzD<3=NNb9ogDV6ZpVOsgfQ9v%<$kJJ=U9;2|klKe9YCH$>;C++{ zQ@<|ST0s5m|4uxemS?N-bODOnMWpYyuAAjPUo~JzFLaxVgR5I}kop3Q#yzHqlr> za>Y@ry6(62%14l(FCz_{yh+N*CZ9TI+_Cj9nri(8M}&XV{vz$2GJg#;G@<*D;55DN zaBSoWcVO$9S(%DSI{w{oaUbV%8vz0;l3~GIHg=FOlyO<(OZaKSr8Y=-e0rpj?lZ4< zFUfcc8x4>5phxurhTMrxvKCNh8v%kC!B1hXwcq9h`#@rC*q@sfh3Ak63eDH+7Nl}d ztiYZjzTEWn8DMk?OK}}vM~Znv%=`uPz3GU|rVG3{9I6~(J&pvyC@@{n9U;-FLigu? zCmZB^o(D@S5I5YuK<~+CvCPKx$Cm1LRS0jx)U|*845&i{I&gZi;m3iaVva;k!t1wd zQV!mOl)~2hv^T|~k~T;|tiMqOL{5NW)ak+0v&G$;hv5VrD;r7+w+Pp=Y_~u=r(Uyt zW{5-Ye?h0dx62;q)bq&UT>|vi^hw0zK5Z(+F1WQ4igg`elS+I?w<4sFB!0Z2s!Ny$ z4S#>uYry21+XGD=%{7~Q&?Z&MSv#n5iAT(<24@vvZiwOGxlgfW&7 zI_(mEnk3M{8!1pu>yKJ2owXIGpPnJwMC*Ska^2uSSIud1BNLRi*5Yr9_RGf`S6a$t z*FFQ25M_6gGsZ;qU^y^(zs~?=w)9_rkmO~r@%WMaM5IvBpYUxM;K(sdJn>`2g(qxb zdK+EH2XXpM?D7ssOKs0$M*?dpK)++LBFyV@nJFZ@ZMJh;OgNVV2=A#8se zBeldmAyF}2}L@%*}V!8ox!T>v;#M?KVM`lQn~i9Qs19? zE!`)ayDm6Cmms4e75!YH(nFKe=eh0kMnFLfu!OPvp*O2K^FQLN+Fs3UxKWdwXBX3K z7~k;NvABfYOr-bZZom*I$q;5j@?(E6ou8-}skgITAbZhCtgtmO`y1VEZ!xWf4t-1c z&?3iX?5syN)8AN<6jje-?pW(@U@$H=_zPeI)$&HdtGhQ6rT5}>Gs764iYk%t&-1BTg;jDjl z{I^a8SU)Q9@0LD5j=;R)ZHdZ9^W{0}pJAie-T1yPhHGv4b5Cx-*46A>6V~Czi$(mZ zxd|qg0Z$GFlyEaMlN!}CB&Q_%RGeXyJg&fakY&UP?w2cxYA-VHbA`rnOd7Hj%~mOy z>Ystk3QcG|G|c<0_@lCJA5?#0Rg(?X>g;x^m()p`1$0Cf;}Q<+GsFcE#xhGsaZh?t zW$hz@XybmZ%9J%pV*W|KLL;sO^Whw@CYq*7cP}EVAUj5a?PGzPs7FV{Qb*>cZdHJU zFF%45Dt@14jMN(axg^bNdyN)(*xg%Pf+&=nnR*4D_b4oNd^d zVj8$5>7)f5s5?{cPW9(KEr=5vf@W_7I7fPSn_J8EivF~ucab!V1LZJ5L z5hebpiWdW(Mpcdn*NcC8;%Nk#iiclQ1S?G#lC9cC=Hfgu1eZq`e3E=l(Moashc_WT zzNp3!-^ez6o98;2>OQIRSI*nD-$5;hK`ha4O4H@rK(3;7TNSPq0+Eehz>f@01bJ`Q zPRF20N}KRhGgJbAI`+~V%T9NT=9D2KKud!qQ#zGmxSU|Kw~K#YQfxtfVTY3A+)72_ zTmBlC;$~$yW91yxe3bbSf*&U*ddIWMwL6Q)|Fs$Ck)u>ym}T|y3p zIiRQ_NYk~I$Dx0sv?2$*?yrup*@?lP8f`Xx9~J6uMaBDhTx7b~Evk6KEHh}ZFTk%* zAu8}pRHebn{ZNIE&hqwMU;&N&=j|%*rG~xA$RIvbW)2GnWIbqGvTwk-32m`~=9b;4 z4HcEPP7by(;tsQw41D+!*+8|Vlmb!GAxMjBSFDkJ8J~Ye;0XjxzH?yE6`q8qEA3BW zsE`Yr7GuZgU+rPY(vrtD!h#4T7H~jvvamX_;fl5TG#S*q0mdE^B6=M)BB8ZGNte97 z63dnLRUE-CLP1|z%!S;fV(E#u#=A#X)MK`@-^z9+c*hLOXo?YP2~e9;A{O5uy0kDe zry6jp)-Qig-5U6M7Vbn}Xa!(R7F}8(9D`AWQv}9l)1K5p$f&FR>cP(v7;CNR-$MT2 zsXKuqrZscuM*^$na_CE?K(iqs303-xQ$2tEFQP=An!qa4kDA-o{izUtj?Cj9+k?>< zWzo8dUh%|{xv2IZX2U#Y+lx%-KvM6+^Yb5L3MpO2oULhy(?cX$g zP?MtP_;$AU+PHjzF#H|j1t!Q-8F|06G%RZwO=u3;T|{U+*PF3fyBB`on@}605^~xL z5L1h6$2sczqC2LPyz2Wo^)?vaEZ-K9)nVq4+SH|jDB4HhSgLO`6l3R>B_DsY;uw$6 zzi)pBL!UJj;c`iAfavp2f_L{h(I`|{6-*s;H}g2*3KE=H*biGRJ#C3i9SF;t4j9D? z->Q+Mp5>>6kB4K%E2xer5)A2=@5zqZy`SvfxU)ExDm_tPWpf&)hT1qXJr+OH7j!26?18u0YT*k4D5z%NFZ|bUs z=;Zry4f?!C@K_0p^brgS$ zLs9za95^}LQ6dy%kD1}J^Lc`Jx~ZVH%7Y{RSA>QH(R7iXW|LP;#ctg>Uwi6)qK@DE?pS_o~r3e1ylW+ z?k@lx7qL~!;(Av)M8ykXxqynj78;^DUc$Qp3$*+TGfss zdUP$pki=)I@i)*oL8F}EhAAB;CiJZu`__rs+)V36=0R$TbZURQITj)m zUEl;hJL1!nd<^tYTZ@C0%Kr-K02crAMJRUQNWl#sCyrm`YRIc51A}aLvNZqdjv043 zC=F;loDQOwaX~LTHwkQVQp1LN8*P|!SuN8n?M5qDfAI?K?^v?q%Rvk$%uv{R{JQqQ zH>Tk{1FkkUue}eGfiQyYW-WiI$%;L`xS)C{+HZ4D4451V*^^BJ?e+iDOMrOl4OTQ; z3h4Dka3#ej3}1ME&WgWr8TUc6ZeN>jN1D~}lKlN2-cDlCmK5s`MQxsJJY}h&-{$bK z=b8orjT7VU1A@$)OecjDGwAPUl8Uh)2@6N5&{xRN|%%y>pAc(&lMsNqDH_!tNKpCJA z5EzC)g?Pg3!5#oqb%2qEHbBn}4EqbL{TF}-@Mm)Xf_#GiO7|!FS0V`PcQ6nHg1fo_ zVZIQUBftRy1q1X{wfT@fNFD$XX8#L+2!tZwsCb|k5CR3-p#Z;I2LeNCY1O0{t~3|F1NtZB~KVE5Th|!7wBO?^l1y5Dzd2wePf|Gjd6 z!0a7cB*CcJ;!9KlF{h=7EssE8l{><$3?fSmY$6)^UHbp!u) z{x+j#2=sS@y8#?fV}Ju84q((5o<9QU1qL8JJi&qf|LOSW3QtfFU=INy0d`V&!(VIE`FlWo0G0wM`UwIAetrIRXN6*zJsbx0{Wtvg5%X)A7#QfOasL_lUrt3u zxDUXeS4aZDDk=>Of3swWis+t2YA;Q#Rh zT_I54KL`|aJ&`CC=)h50fc-br4E&dLb-?xzPuKtUY9N6qH7LLwQHxcx7&35kdTfF2$|Up&-VqgEmSe?gQg?ZH03$qeA1Mk<0Bj{Bq%c{Ubfd)58O$wck8I)&6_^Ti9T*4;X~EI0pwwML55V=(wm? zp!Me69K%{!?TSsd=#LRWvdus9chbhrRhxEKw6(9jKa!=tP#HBf7eLGP?PA>L@!R~+ zk(a?{Rw~k;2dpM2bgjiPWI>|wb0X>neC8i~Rdz#tYb);C2@Yahj zB{yA&tw$1j09QcS88K5PEiyr&plc8Pi3JnODstH3F>xZPhh?^>v4+XS4f+#E;<;i+ zJoOLXb<4z@;ZL955f;zCxg}DT2~Y8j^Uo@LpaMfdWz}LWb@A4y}sR)R~jN`?@3I#R78;tTJ!L38_uMHq?usD!U9bF z*IjB-kK`p5CYh5=g^7xcN#>2Ux6rb6aV;bx6+&i+3CUc(RnousP$N3}OeU;VCPO?# zAZTgw@Q$*7!Pg|>hV^>}JwNVRC);@(@(bZuYZZ1qa$Lfx&|IN0<`FbDy?Z)%-RAiyednWrM7r!ZlV5u~ z*)z6$)SEBQFb~P>hSekonIlS})h$UP?Mj~pC}K^2EC+zv9jC209zCNDEvG;51uf5| z9&UuXS#LM%9=KgqxhpCINQu}NA|-^^Yjr}{B>XY)V@!jU3BHSy5&$Qg!-VEwd}vM% zEqEJHIjs+r#e0@4Pg>(h8ZXt{4$pe&K9RLI(D7>y`hm_dO2bseue|hyKYr#n*Aso` zs{rqRZul0ow`FDKPOBWI(}ope@o=U5B&wC9*dl3mwAfr<x<`+) z2R-FE9#kQ@M$5@&?wLHx_YYYA{@oxDD7>j!0maDZIuZB5tf9p&nMS6nn<-TE)UHW? zH8OoLU7q|&pwvE09&QS6%v$nlFZh}&*VCBJD3zYyAT#n&mM3Chy}Y{XF?02gmW*7g zDZ~A{UWQ5;3#FL(2Fgx&)PytgHarD`lq2~>oi3!533d+9Ed`AWeQWfp#vJd(T(UBI zjUjbE7Y@+5aJbJ^GDF-@=vSj*6Mc<;MhAbb@yam-O(g!eF^js6qJ93aUT>2oEQ{K% z78qK!S@nwK_j1(3qtZyFm-X2bHJ^_x1$(8;@(i#vF*})*>&Trp?#ZpDxpB=!hIqE>jKto|B!NIPCaGPg;{GJAFKr-YE9Z$yrm(7}=c*ynHjTSbz|6U{^ZvU0$oV z8GJGGLf#6*AfDC$qY-mw52yZeM=R#~p^Kgj)&9?F`8g9nYQ;w=&nJDj%9CZPFD~fs zbGQh_aNIF0KQLi^J->W4zOX%i^BDd*%zB>X6sGE`;#TO(h68?gkrwT3TBigiQFewshgFnLyqG^!XXA+neI)L>45 zNyZUw5gyrh?xJhfZ1HAabwPStF|aXn$E9(p7kkBUpX0;qgtgEDE3p8&!u8Ep*NE3> z@#920&;ZwP_{_V1uays}4K~{;Y9oq#pOOWnC4KN>Bt75`N-im6=u1~=1|`0KxrmXf zGq5+$UwcMRxrbbc#JE-m=SD5+D>dzS>3-W{Ruc`xFZ)XH4ZEl%YoL6+;7>V&}LueN{!i{z3SnANR+t_pp2vYes4xY)B&|0 z|HsCbMZan7-bWDuZL!LC7zQ5l68%^eP}z5DiKBUBblG~MFt{3BgA>#EZk2kWRbeB& z?QJI#+SM?wep6(LW*q8+7}qJLkJOLlYI+6+S0Y3fyXA0tuKg^D_yLcJS&b(}aOXOc zeXTPxALpWWK3pEGu?ucH!TPzENBF%Oc~E8T1A|9@7{a0FE&9AL_-V&+C%g2dMdu0@ znD?t7{{>-up;%}!zm-yzEXz*}Ra`$urpXwt=kRv4nY+$$?|F5v zLifi?$7^0zPo5lv6zPr7?a3vsz0>=rg zSjoSC@-dg$CcmzS7#Pn1CNumD&sXRYv#NS4n%oN;88UR==;(Nn#w%37&-i-Y?Obm9f zgk&1SK_Z;1j`pj$^`T0Q7XrY-D#i;qr573e>3;=;b2P26joHSS0!>CH)A(jH$S)Z9Bb-mzAH zhE&{GmK{nWq@R9l73yI+B40L%z6{7i%Y1Hx`z(IyL1tZZ z)&d=IFy9WpY6UIrP}_(=aVF9*f3-b-4xNvg&Kr#HL_^(8s2}nSyfNqMcKl5<8r~#d z->{Y$dTVpIt1ulbT)t*NvD2-{V0s$Fawwrv+)kP7EQ9yNN)AxH{nX$4Zk-L0i12x- z>Nm%k?#72t6?3*X^1domRFkfDy1$$_93f&{d9ytAuo*j!A-W`a@|)lbeTVyh?{RBR zc;<}y3q?=YJMPjw^C&5|O!@TI%l0#VM{~nf0@Z1Eu+O;~%WWZTMCtAXUtm$&_`T8e zR~1wrC%RO}a?(Nd4Y?^{GWToWIxtb)VdNU=tm4Ds-}1)li!~H)=a64qe3I)&0BY@& z@6~0~aLp?C^jy}Q>78o^_-I&vejG|kXm-myZK|ZceeqQMy$jWB%3W#Si+o*A0$@7! zZfQklKVR9v0XkB*skAQ!D)f@L)kQ(WDw>l@=YlA>#i;nptwrV{teGY(0ShZ9X_l>m z%Q}&MFopdZB#%b4cK@2~)lh)+%6NZC)_E7h6wQ7;>Fw@f6?Zy_ur{QBMY<@+m)-R% zLORD}Cse|X$)*dv+@Ryb_YL+k-8{9XgVnp)vV`dU6=QFlt(r(-C&K2knniwci^}^U zGP)O$cRKB01oR31?o@Ub9J0)d;#}KLx`xJFDtv`6;A?RgXdeL~C$Z}5Jp@V0-fL|a zRwW_$owUgmd-l)#RZ=N`hD&>&c!w@hujY{Ou~3+xf?~VVY&iACH_|2|qo{a$|%V)ICcx_>vQgX}4NI!S8l*r}^X=opG9bm+F)_ zrp?b;1(MWm*dCd|d+gg{SFJ>UHa{up+3o_YP}k#iONiL$1ZC5IUjFkVb}q^rck>YA zJFsJ%P~KWT&0jJHD|%dgu`iD-G0XETJeSN1CI4NTh|ZYVMj@k0%EzD+iXysSl2NT675p&si>6UdoWud=8t>m)o_M7Y1<>TM1Xu zWD@Sq(#@i=a_Izrs?+t-i)zLDOm*eOV^bPAw_|MIsjN0~{bg2Fnb%=G zg9D1uSZ9lWXGLmS3;IrtLAp(rt(Y3aHoGw)N;rqclzz+84!B#m(leRq@zup)H$~LA!$Y}MNZfx*eb;<{P3mrhB4a9UY`HmE5}*F6hLl_( zlW|E5fbZTb1m#zZGZU+g7vZTgQ|56$@7<(|G`)!n@d(jD%KFOGMRBc%+9_dl1z8hx zBKv6-JQ|9i>@64lWf|8ecOIXfFBA^ZX@{ckg%|0kv56s(MCfOpYJO5$jt@VaOeHW# zz4GLLWZr3%y8LLAk=f(bIdXXYT`8zhu3IzwHGirqv#1GQy@2c%7WygoM=gVy2mxy5 z;hE|wnZ3{>#Ln`5xDQ;@YIVMfY1I2#RPPgC;FE$7DowTBX8qOB zH`nxHag8R3u-q4Ol>@$8o5Ou+*v5tNN+Q>PY95YjCRlyMBBLxx(OL0q0rg4E-ElZU z8K2auHWtJSvUUlI>acXYHdi>DsgUL2>ni|)qlseJ(SDxQxK+Oa`l#9cNWFy=niy9? zzWC>fwTHNdmR(en*>GKH=LcVKezJ#c^>ql=k}VLvkqTraI*fd*6Z{l3$04}@PHK>U zJBy53Cwr9hkU=ZPF&eY7f4iioa*K#eK0e>LCLJ)#4m@LK9ncD}HP8zDT>NhR*i$(w zKP{Fp@PsYorcYdg?`E$2^_Crtmm-KeSf!g=4u43bEQSp#acbVCFFOfyJjK;e-IA2+ zL8dPxV;Py~je`aVorRQKElWRF>xs#KhPs$tx|9}IcA}4%*RhAc{6=3!nNLK~BW+Ut za$a{yTpMohyo8u16efgea`ws z5^Kk`%z1Ae(-h;L#*gVHc-l~S}eNYblJ6aLZ7rFc)cG29dO8iVE4ipBup?rous z9v1kg?Rz}NY?e1Gwqb$15)=mfeWjZ^jo^?1xrMibL%Y-U&371xzdCJTSjCmu9d_g1 z?7ZHsw%HYup1K&z9N@+z{)(i3>#3@@oXBs8q1G(=S*a&q!m5*^5w^TTfGlfX@WKj@ znte>u#&5Si)qAXCs!A~|AaXm-?V_F%`pYecG zL>SJq}mz$I+fG=`c>YTWYp{>q>=&D3wyC){PPdzjysp zS90v?kHbdqSzZ`iF-$3GpBA5_v{L$Hd*goYDx;57ZC%d0%SI5y9I>I2COZ}t&?04v zNz{+;b;WwY_@U0&avwB@Wpxk+Mvr4w%QB&HPFShNitvp)M0)vu%u0IN8>CQrKJv98 ze`##boL2SRj(h8^UX;}Ww9e-bKDjc^r=N-c}A}ra2=$ zmb<}0d+~y*KXw?bi4=srYH$bF^zyu>>*!j9?s(zj`CV=rw=Q3f2rPagw|j7wcgHf% z&vznqmIV_mShM7RGAoj0Z>aFqmZLvX-alF9uCJMF_hHP2>}5*bmaqJm{@XT_)k~b; zuM~RKr3OL%nTOK8igsd^P$o8?r1rzR@|Dr=4>E9g?Tav%Iz2abAEWh*p?_h{4nAl1 z{5Bjw!6dsRd?nD7K-Jsv+<-WTq}m#?HGF3utIXehJF*+==279Iga1k%OTGup z_U4&zMmDr}I2LJi{-uwVK6IaRo8QfF@M3xKO%?Nfp=M9KY!z^-$OU)bVm+e#(J?y> z4tYac`SbB z>*tgzyVyMIU{j%K5*ZyTI2k87Z>T0{(DZYO>U?2us0{JS(}qHY7T_GjUG zH{YjH9&+jVUA6OpT2Guo>D3l&*DD_v7ADA&zV6C@?1_=4TinlSI=gsxxXYs;0vpy? zQH{&s&zHL%jmudjumU3ZnsnLylYjyD-i?W4ULRElnR^@Q5URo%n-A7T869PVKC)Z| z8BROy97*=999;eca$Ii{z1PxcjnskQ={Ltt7NGsa^3G+YxwSXAzS*bw)ODp>zFB5z zu)bY?iEEJSCx^C1=kXD0a^l+fm}0ghq-f|B2dfRq#FZuKjeMijr;LKCBD#7h+yM(( z(#lqzE=D7V3KaEvnWcd_d9%`CKJs}TEtk>r>2GM!;0-+?bhfxF!vMP9u$w60%riS| z-$LxL#&nc_-Yf3Ni`q&f#KD`1$h@{FyUJ{z%(Bd;a3Z(RSK&`vqG7^^P^ z-!hxm;^gOCinnhgXk4=*zL2Jju0E|>W)8@Wkd1?<_QXC;xF;Dz?jNLkZ2H-eKo;Xs zl&3T{uZ#6}%{c}Lqm3n-n#C8KsF()~wXsNP`$p$(+@Ksh8>%7NjRW^NrVsQ1&rNFv zYNBYYJTxnr=CIhQIW_0)mS~Z~x3*rR_dYt&2GOI} z=)Fc542EGaqlM@-i0EBJ3(dabN3P>s;l$ z*2T)Gt;Zv41G54v!JH91{JcPMfPt=&HV6s@*+5|GJkJmyDB!^?gu}`z?*;}TATVbI z5CSX?Faq0u02IL100992znGX94l6(&=Hl%Jv9m`2I374SxwyFhZTam2u=4&Jd5DBV z?3@8?4<8<2D9ptP?2LGz_+JO=fx!TTJs4mMfr0_@TG}ShG?f7y%9;iMWw0~Y?V$;6 zcPl8w8lVob20O#SoB&&x8vy#(0bmVtwt@U^4bJ<2z$FU@fBcm9$)~>_QBHzX6^pFr9apM%>#-6L7d?L1lSAlJC_w0 zU;}}FyFfwS54j)6T-+dk%5aB6obCQy0XM)6YzK0)fr8=i2bu@&-_!YbpMd|;J;=oc z>is7g_Q&gAH9!z>Fw~Y8hhN|!r#0dsw;jY8hwt}QdFE^j1Mma?vfH@3{Ec~l-Tn-S zu{o zU-$W+)JpD9s3yn>{3i(T_ZtIH2mF3yAlCoQ9pnUodjC%W|MWBh|5c?f*v=gaa{DLz z7rm^r-Gd@LV!T3sSs`#Gh!@yK8-lR52iSt353~AXH*mHAyFnq&;0I0rj1$1a4+Q>y z1Jk#MSUWoZ9=_0D5ZKw~pXEQu^rv_}WnFm{Z56Kn{;vM<(|*t&q3`Vi2K@gdMj9}i ze;t0a$jQOH06skYB0vC-AW-OG?H(3S>19d)VSS$Z?ZO_emtj!&j%@e|NRR@A`OvJs@QAP$}!5acy;LnS>kaXa&n zlWL0=Phob4Q~xL=2*8PMC`sf9Q(-ut;8}6ZyZ6eMaDRld(&w}$Pk!!yX=Jd`OU*aG zC5YsB@^M=L=9BEx9C3U?9$>Dsk!VR6_CjU^=x@5yBt^)7kXMP3m1T+T3F@7q8R29@ zF~6JdzFBfN^IEQ8i<8dRB=XB)lQvX{L0+#5&~D&Bs%haR@#dib9qKhg$qYjdQ-v`j z1{S3mBPc48$LFo6ql2`6zY-|FS){6TuhS3P@YgK+mK{m*$n|l_$UOMAwd~^QW5eP6 zDCaE5hUF)ssk8`~>W@7L4bv_-qYT*JAXURWL=Xgls$ZXDeO~qXNr9Vx!Sd?Sp1{P+I=$K| z64nJrV^K(AUH$^5omBc(g&7|$NyHB1b6=T&PQzjX_7Dp(@&Sch-;hE5H|gX(W7P&_ zIu3tYYW{GHeiEA45#PbFBa`YqfTT$gd+x9_e#?2dLHOFQwFOaYu@kjC)@6Se3I07e14PUnRuN;Lgp?O z-=%)`=8|3Y6!*D?*L1fU)Sw(L$7!{oV`O ziU^RzgNSQAcC#gKcGTgKC(+}k^sjFG;|?Bzk`f}0>Njs+M&d3TaZ?u3!lE=Z1b$q8 zMoF~b;tnLUf#40^3cb0IKx%b_8kA{{?1X!57Cxl#o$Sm%~25JYa#m2`|xn_7HX@e`go?~Va zWfw}BMVEyAdL=EmES$ey&cWk0VoCQlbo!2{$HSkZ#)8qwXAOUHrRc!9Pom_cr|9zn zGr7|T-^|@-YZeBE)*8)8&K5Z`9ZG@C<9ayjOEl?s2#dv(q7p$<D598EDAWMq7p*ynY8<|y}?L*`+JXzt?zT?vSJ4=0s__ld~}&acG=!I!{)M|tme z>V!hq`FHU4Kz`rwm=#InX13rmqwu?4ELfzZs6uJXg?-aFaS9%hyst6NtAzQxr>S>gC`~og42e z+nRMhsW&bNGJNk?;ujlu;8JZ zYljW~=zd!&=_e{mHEse4wCahnHKAxk-yO2N?3pJtPeNMDJ-Z3-N}0-~d(KsLb~bz| zU(X(sU3+kJprq?88HczuX%1)au1vHZ+38(;bBD{3k&pW^pJqL}FjCVu&M}s9?rGGR z%BVghWp}z;&M*akJXh#1bKZ2L85JcDPITAKD=yf;mKE6Vwd#aevq1~hgaODv2siWo z9t-6tq2o0Yz?bBcyU&mg3rS1MZgQ;1p2F}ZZkXK?{xQp<0h6BH`&b3M!*&YJk) zC+>vV>_AFhu4=v3Io!x*QsG&AawI#eDN_CU-TKtXsAxrhM-Tk|;00gGG_5n@&z4nI zvlU!#7hcNm2IG%7*|}|O`Mh?JZBQKyqyG45mD2lr*@*fkssD-4HN+`T5S#V(f(cBB&NrW0sB|qAfWF$!jI9%%hiO z-*P^6tj7nak!QRr-}-2;V!K2_`oesK=a&h%ve-p`iW}>#6CR^}ORD-ISE<(!cH%_5 z3%?ABo{3`5Ue5Y2M~b+&+h{yfHhuRZG8>=ML`9l^(fonxsKXg3kf$-ma$6pU;r=Tlx>#m0R~HwA0Y?ZYkbar!52yc!)pGJjAzvHmee z*ls?C-e0tZZrEkur;)tC#Z0DDZ6g3gLOz4O^)4=hTeGIFqPjj?p|LXI_9r-* zQOziLL3^CwWNypYbFdYI zRs=V{cu@9MNMK%&g64}=xKOM8kE~{{Ydav6#`9*F)j6N|tE^8~^C!b;qhZ&ImNhYd zl$($=Y9myWTHCB5kxcQjAL305_AduhGp=APKcuaW2M*}(Y(>8wtn#>jVMw?V_osE4 zjItUSGbeRq@K%Z;(N?h1wcUuy$oB>52*)kB5Nbaspv_o3LHOqWbjfO-@+KyvJ)M-I zyh5pC6TF1=95%>Xux;kPZ8FdGxTiCJ9K-r(Vf=b-gUS#AU7+vIo+eU2I&;$;Iks47 zoAi@`lP%(0(FQkR`{M6%EK4yIuQ;2IVARdNxRyaqaebcRJC3B6??l+SR@8>BBq6YT3M_UsH# zL(j%`N*humD%>m<6;7+AW1C0lEpB#_llh@lTFRPP(7yhgD@U=|{aW&WX`$NYkkwH1 zNWw5sfI{sdfx4u4!%*yyGIk4F;-DS&Ayo$%+2)QNnsl61SGL+bCJYX$)xf%2C_wfl z->ga!;VW08tr&@Bc%(U?JD@s2)kk(R*qqz)&I4yjul zK!uh+2}ev?ivlpNV|m7ZlNv9=Jv;`pP)(F7V2Uf#792e=z{{P=zSXT_Z%f7byxd77j3kRpQB0+mEDn9OE%w~ytE@4cFaOl7T|srt$Rz%ShWDOEx(KZ ze$%i{;Z)jLY5O%S%0iMHN>VnUhO~*c>BcbLZMM689e?eBX=V0*o*_`VHtXA|q?u|p zDS+fArPQbo681G$1QE~mG zW1RI}U5RbXV)YGwgXeOJcZcI+E4sjN-8L!oq$uh8DH{Fw`Dg7BgcZ08`Ym)=2rTN7 zlA?I`i9|1s-eNnm*cQ`~2GfA|&NoB#>lSn9qZ(_Lv&u|K_JYRIWe3S$XfOEdtqr=d zMffG!m&^HBapjlF;iY6AO0iWWKbkxf{9GCsWgt10n6m+YSWsP7XCkR)&tmmHMa)JO zdqIL%S@e&pcQo3UUwb9LJN+DLwIoB_d?dI4Hg#wMYV>cKR5swr{zmWUvMHrnbJ$r|S>3Rj-iA-E2 zLA(PfcfQ8PAW6nQ0uvyKvKvM;U7JR#14TsB)X8xDj~uiX#qP5^$ac2KijKQ`)V*j5)$Be)YQwUj!4 zKUmM*+sc)7lvP5$wbimxLVVoJq;(Lsalvmak(Dm`-_YzN4z!_b8B%v`iEtEXi>-gy zwf?$L-T9GkbUIRS9I}JuX<$a5evvq-7RqU2Kl+8bfmfvJ8a9u|;x7}?lHrP}xQlKV zao^FBhT2uY)xGFmjryVT8RK!CP_OfUlCz?sN9T|${bncJ|LNtIg;vtI(%WIb^{@&us!WAux=hjPbIe3Xy!>|!yA%(3+iqJ}HPDJR1odq7ei4N&zCNor3459UaTRfE<^+~6u z`y@Lb*$p7Dx5!5(wO_8X9t4Q%$(`l&mTGE}Juy{Zm;z5eIxlF-p>PS4uo#>ETAGng zS7wY>)^2uNJi@yCX?hq}A%xa{czZ>^sTD!B{$hlax^VDgE=@RUs;%jSe@)tDxN&ML zr*`9gxl>BWT;-!onaf`CDR~BrzLjfFqJ^F1Q`7<1hFPQ=0jUL~Ly4txQBq2J5nLLi zyF-2g0+Q0TlypcgsYr@+NVs$e3)0O>zrOR#ywAt?+c`7m54dN}T-TlK(p>pBu+Pu` zQXIRrcC#hL%l?ImKur7*DmgIk;dC}9f!rm0A;o15*~en)a14L;itj=})+bvlLU}q2 z>Lrn=97Ogu2bjY}U1O~qMjCr++dQ$Fz!JTGA{`ii<-X_TizQ%P$V`SPE-7Ue57&;d zKV{Xb-5Bp>ZCed_P~+J_e=#vlmwJeio6Hy1o0+(5$h1T2kRMdWvWW=w>RmR~>8a`c zb%`|p%s9CJ$aq4azj&%Wg7_BR^BpRPuD(}_jM-wh2Ks6wj@DW$!{g2Ax1+F|bzMG{ z&opk&UD&VNKU)Bq#^WknWKv zpAHZ7FMxhC=^^S7dP)<1G^rotS+pTXpJ&+k#Qo4BTbg;0igs?u=(k$@^`CNl=hY-i z;~G& zKW7tSSRO20rb{Z#p4nn(B_eIMILW;XUk~SZbB=P#HbClr# zP!Q(&jLv4_;HBV#12ehvocs-85h$DO$>aqvw)S|6(u!)K(Nm)-$*+R$1g7=0jNz#z z{O+`ePVoFZXwicP`%`r@69)O7$7VTD>zOynkA66OeI8h{5lKCp8v`!y;nb;oK~k?XO_)sS<2(O zF@AxdbZXT|c55uA&$yfU&Z>ckJscj#Z73~1##5hXkZ=rB$rtxq?be^pkPf+HIDX67 zu{P98Y-@;6GwKt6SoQ$Ny)vvPU955Abx-u7oh^7Wa81)wz=&hA%>hiWY3>6BQho}A zC}e=`3Y|YY7qozP0vhdqIWItl{#1gdd5jSTkyWp@|Ay-hkK~2G#w|Af26LKhN<2_X z+d`I1mRlCG5p_a5Dr~RwY~QRR#-+nFzgew5h1|o=yl_(uhxQjoy+b0bH>a#UQb_P3 z^qQh4XyUGmX@L0z8LNlN0JkA<8!{6%l|%4*pyEyGxmAp+DAegN_EkVbqea>4fR1Tl zD%H(DhHI*hh->P$-&_u98l0A@mZ0HQg>V?MntCOh+?K?jSMD@8ePMXwZ{W}0oPx?! z95{++Z(z$8gge=A*F#ARezBM;B5Uc_Ci%QI&d8)kJaKx|X^hF0Wnm2v>m)VKkMcK` zq0?c)ynj)^nvzCqAlVc4Wnbt^Yb|s5;ybZaE4^Jq!geX$R^p=WjA9J@EJ-xCV4Q24 zCEc`oP@8PAwdTQ_gvsg_9dbX-KS&5}r;U@`PB;}&Urusovw|aY0Lw*bT50rakVf8= zuUt?YtUWOP@>oX$XPyMWEcu;b7S4UfBII7u#5%Vc3!k@5BZOsC%ym;gUh|Q6mdW>R z4*{^%iDeaJd-&3H-InsLT4}|=`%s?2wLy)h@*EQ-!KZQ-g*bu^?BwHXV2!uV8QwC* zndk(8cc?P=8YWeE+TM_!Mn6E%L=&)~46>DNH~+&Z>c|FQykodim% zCVj?2@YT>8Aq@}Szw^UR5^%-)<$G$mC}W+LrQTuB=z#(iZjk`Y9IFJqqo>L^&30%3K4x!KzjYX6DoMajkZb6BOotz;ohwkn6> z7$1q&pjj&Co6-e7k`b5?j%rbo66}jhYQ1oJl1u_sM&u)2S0`$aDpH>2>nHg=m$$Kk zX6}=b>{HXTsX6&8xXo&x1WZqhXNO28E0XBs>G6AsS^$ri;bZ(f?Y>IpQ`xf&TzOD> zVbreT3WhA8-{riX)F*9P&|3oE5>?RN9zFg(QodZE?}C$IAZBxju{eOfM*M|h@w6aY zsqO9BFtj__nk4!5yYI4xf{~|oXY0n}n%nya%$DIrM7FLrUf!OzmM;H0xmh_9i9;R> zJ$AFo2u6Zb2q2O|5HX0TSjG?%#Q5KB9|`(S_Fqs{SX5H#KcMQq@sd7c3-eoy`KOlV z6i{_XiA>fQ4uM)W7ss<~QTo#LOxz1IYyAa|jk|LUc%PwGLcGsqzU=yO@yyP8&gpgH zFMnMEv=UJdVVX{uP&WZOg4Bd(t%%CxuK_`Lr+pA*9HsP!e+4<*25OlKI8o}c)M-L6 zjyO>>9@}F&T^V3njc1oARG>PS3T9pZ{w>Mo?gTQ^N@x~46iF9_8{WjGtz0IO8FQKA zNRk&`M9mEsEV~pSg<9QIus(yZ_UL;eYz_CV5{-fYC z&12dgMn0^Qmt}cBkRJ=)dr&4eg@btsU6geg4B`kF?0*6zc%P}Sa?ypUTo=sHy}@-s zqmsnht1VmYg9KHirzj!@>jC&;!%~XLTpJHf?K{9EI5bt+Dbhj7Lgd}L(d=`?X41qo zrAA(*DU`e5e)ds*lhl{n7J$X82HhI-cC1{}{;BGrQRB7N^4BRpjQRbQMJPZR`i(i2 z>iD**$QTd<$MhGSIvNl)G0B>-7$I3VSvu#Wu0{{;U}jo?y)Q+V99TP{<|_OlS!ng3 zo%j=Oc7L^y;9!v;Pf>QPG?_q87K6UtD1`$VigMNcUJ8e0O@ptliUK8@F3RU~KQ>R6 zy8D5Q@W4-Y8S1kO5*8woe0IMd)a~sP2f&v{z5|2sl(fRCSwkkWdpq0v*uuwF)9@Gq z)ocw)(zpMhW57`r;FL z!|;=%!7;*&D+-0#1n$^*nu!{oi4*25Hl;O77(PQND9rACpg{2W-TPU~`(Wo9gx{&% z7%;l7bIPP)R&>-N=J$)v2{IN~9LKf+rP4oeOGIA;=eS;=&4M?B#?U$NOa=Hiag13V zlB+RK;n@>Ueh%Uq#T+;y0LvkER?aidy1AqxX*5o_t-0QeutHaIO!5x z?nER+?#xZ1VL71KT zaC$ithx?V2>gN^K!4@V*&Sfhzkzki@xD|+YV{sWI$Xs(l$zBu;i^~ZHF6x|k&)FkX#&2=<~aU7KWX#OHHVD&flude01hDpKt zNHpa?_N-N&__BO@wczYSh0UW5054j!1tgY&ghnq`W@lFHJR4C)#n>4JsL$dV-m1o*m4;UeuFc6L+HfXjG}9*ngftT%Q({eS;(PY%koA0y*x8u;ZF_HnTr+-lZuS z_*I5ph)8#%4eVb$S<*YyT4>R5x#n0OC{)~ycD~&dT&wPd@Y7fZvS4mBn?8N9 z8a?${L_v)HUc<=D>A+3&lWA!syrr@OYV zfQuM7%(J~27j@5(4)S8M=-PHn8Qs6PlK>BRG!>Kf`d%RL71PzCV7{?_cAag-=cKJ; zI;`^SK}u%1tca~#CgBM{JP{!tlZ3KOvqckT?sid0O*g3Ia>n6AlI)yR&>Gpvs}H4+ zCONK^B|x^a82<8GdcmFc`lxL#S+RiF#FbCu9_<$a+IfxXR@A)tBbw67$LUCpj8FYu zoVltt>zteF1zkoTa2**JH$A0j?#$X6O~H@aH-xf0z`|wmnvZ~+5TbL?^EMr4GUK5> zjg+xT=}5`m4oIk_KvXg8l&xR7McX99b2$_g7!X5G`@IvcGrt<#g3H zz)MbU=VNJWrR#oNR2iMfUcPojHU8m7>{a@YZ*PVzSd_U9l~=WHe|mQz0)>b$cXu;W z4bq*Npy+M2gF(PA^Fu`5=vA-dk-c|xn-Q`)y5S& zSEp=HJ?3guIHmXGCU7=?Q5o+C==~WDJyNsu6) zJJOR6%1l0H-FdB99vmC}+Uhq7qWdN~#!WvOp(Ex01ptl$I~CDT-_VrflxH+hf!W!* zJsawq^my}L&TVlTRN?O!t@4|*Gt_z!H@UAlxYA0@TWS5#zos=jsU8~QRVY7#wYf;K z#OLRlKC$!zXOO8I_U$DCRZC8A`v>JS>+x+){n7|jyg>n9h=?JrbK{j!b&GBKBSEy^ zQj0MM1MR@k=FxuDo%^hO^$&SBrUb$3s%V}?zUIs>!%)r4&khh>*Q`N3q3=H36fUv& zS`Dl9y07G=7T;d&YzvdSwnpN6-lq?8KLW&%m3@l4oXifqsKA-}7hguT>y_Vo(<;Gm z&ewlh1e?T<)%*JR!d?zh0-cu@Dd3OlQrEI7z|Ej(Yg8~!n0SQYM>o28{V0NzAfY4$Md#z}@5 zN@`DSs7m<&x3R|M)M9(Ry_(4YhS(I%YnZm>q7{mKRnAxD$yNLF<%x)^sEJuVtV^=G z6jKB`v7>RtsXIg4nwtf;ec@3hrI%s?F3M=<5Uz4w2OREuZC;X><*eKoM#1P4Tk9}Q zKD^8HNG$$K53#Cw{f)Gnw_|D{$@xb9a_q#GezzX!EOXIyi`&}6H{lzmw6!HSp;T3O z-@H4sHSNCAzP&ix7{A?QUCCdDl_6t!fz@%vErt`?ziHdshuG;RU5nTmKbhcwic7-o z!L=#A$sYxg`syro;?WM==C21%Og7t3eg+d8cbJSBYOG+*vA{diyQOAu%g&^Y^jErO z?${(5QSU_RtKfh8yCWJm+7%b@hc^_Y1O<-u5XAGV6bozEf|#bh)_R#W>hg?zWCsuf@8 zj>UZlz%hG(*D!FpL*4J+TrtpT&+JP!vIMn=9}hYo`6YjMhaW37vXwE^0dm$;mJpFp zQGtjkL6j7vL`0NCl*N?A#KeV^B_X2!lHqgcW7+@r#Pt7!CJ+h8)+9Jl*M;e_6P5vC+wJ;mqvg&?#6{vo|AJNho-Ms@=;s cx&^u2|7(>t>jE(oi%9%av~Y4NYpW3b56Bw)-v9sr diff --git a/doc/report.tex b/doc/report.tex index 381ef02..6f41637 100644 --- a/doc/report.tex +++ b/doc/report.tex @@ -54,6 +54,8 @@ line/.style={-latex} % the lesser the width the greater will be the diagram wi \section{Simple combinatorics} \section{XOR cipher} +Following the rule $a \oplus b = c \Leftrightarrow b = a \oplus c$ these calculations can be made: + \begin{figure}[h] \centering \begin{tikzpicture} @@ -84,7 +86,7 @@ line/.style={-latex} % the lesser the width the greater will be the diagram wi \caption{This Diagram shows how an attacker can calculate the key $K$ and the message $M_1$. \newline $C_x$, $C_y$ and $M_2$ are known to the attacker.} \end{figure} -A few requirements must be satisfied in order to get hold of the $K$ and the $M_1$: +A few requirements must be satisfied in order to get hold of $K$ and $M_1$: \begin{itemize} \item $M_2$ must be longer than $M_1$ or $K$, so that the key can be calculated in at least the needed length. \item A successfully decoded message must be distinguishable from an unsuccessfully decoded message, so that the