From cfc7463265436ac1fd2f844db2ca7cc0ebc21fbf Mon Sep 17 00:00:00 2001 From: jiriklepl Date: Tue, 19 Jul 2022 10:55:01 +0200 Subject: [PATCH 1/2] reasonable formatting of algorithmic comments --- macros.tex | 3 +++ 1 file changed, 3 insertions(+) diff --git a/macros.tex b/macros.tex index 8e28e4c..b95339a 100644 --- a/macros.tex +++ b/macros.tex @@ -56,6 +56,9 @@ \captionsetup[algorithm]{style=thesis,singlelinecheck=off} \captionsetup[listing]{style=thesis,singlelinecheck=off} +% Customization of algorithmic environment (comment style) +\renewcommand{\algorithmiccomment}[1]{\textcolor{black!25}{\dotfill\sffamily\itshape#1}} + % Uncomment for table captions on top. This is sometimes recommended by the % style guide, and even required for some publication types. %\floatsetup[table]{capposition=top} From 5ca24977f8eb5bc7986ca91d3fa981f2f59ace4d Mon Sep 17 00:00:00 2001 From: Mirek Kratochvil Date: Tue, 19 Jul 2022 10:56:55 +0200 Subject: [PATCH 2/2] rebuild --- build/thesis.pdf | Bin 507825 -> 508998 bytes 1 file changed, 0 insertions(+), 0 deletions(-) diff --git a/build/thesis.pdf b/build/thesis.pdf index 4dc42714851d9e4afd25a956dadc955fbbd0a2f7..c26f778290ac1c8b2f49bba80d332592de719e3d 100644 GIT binary patch delta 19635 zcmaib1yoeq_prna-6=Ymv(N5xZ}|~#*Im9clT&nPNhnqi3OR>For9y}Z=He> zKyptZ{)AM1J!MXE2Ca(5sKB5oNhLG{B8gO1Qj=6dq7@~f2&4)UfyF@3aFsASzDPSh z65y8<_$8~g<0F6ZlN1WaL(YO&@p9ZCdK_~#yCtXV^~Mk^y}QGv*B1od??~C z+7uIQw&T9^@kr*-&)^rYG%o1Kp?beYJ(X+Q>Ejeczg1t1TZ+$eXS45`v;Z!Da}~GI zo*X>3`EGx+BX?kP_2T~PcdzG_zstUS7icOn5s>mIZ^dc%^x-SSPysxEY)?l1P0Ny` zi<_9t&+Trup>bh5nG8eQ?@4kSCt}DOKTKE2iOU4?MJ`?RG|qIAFa?c&tzN@_$v0)& zm$=S%$j+L1H)>cy_?iY<_4R_{LvPz~-0p>(bl*#}(ZuG<<)fA zDfeLK2D+`6^K4h$8<1RuuC=>^RuA{b39Yc^^~9#Bs+hA`7}X_#dJ<5)d7a1CIP2AtM&RHk zqUe``h1@6gHcr2{8GMpm`?iCoy}K!HUd>p~wvJ67%YW(qO39wZR0sS02H5~E+k(Z0 z4p43K&3iSngWAzAn6Br9ljVKstuB0g+c0jnjU9Q?w2R}8$*uIl>{-&v*BNd;k=fK2 zLW1pXw&b7r_P}7I?&~1$a?eokePNnWoLHtyxrs;Os0vwSji7YxXNnvXQMJm|0Fd56 zQ=EQ=SpymqM+o~0Yk^8L^ z@LI;fZ)9=LnLBeB#U|Psn1(ST)>A@CJN1croN2``THFqiX^0pHH?edIUvcu3j*Q2g zRg|(`Zs5h`LqRqHfpd5KHCN#hRy+n9j0xf+1Q&Zq|oKaTN7EZN@W`Ozu_>fZG3gMoTi9d-|g~h}zHVRar z&pT^9J#XK4Li=M`x1;BVW9E2S&cg=Di`escT@n)0&opm+E239K`gL4{E+qLy-S8R+ z8&K_X=&v>@_t&oRa>C|?Ayk+{1S89^Ms2+tWiliDtoJlsb3sqJ-kv)B3U~Ku>ZExZ zcCtiUq`#2SQHX|GIDN>VfM@a+eqN@mXt(DU+xOLOBy6w-BF*!M z!#tmCs)>vx%hZ;(18%L<7?8+by-=#U z;_lvXly8H7R`Tj`?-@S$H)>(2gKXIYDE=m2gI4F_+&iXoZzi4Fv98~Xvw}RP?fcF$ z#*06&7L3BiKN3@B2bFSbQ88wF#2cLn@Lpe{c!&E;1$xDtuGaV)f4;;hEi|y_TKnzDDg6`fBtkwmj6>d zgR8{-M^t7q%GxJ<#=>0%EkxCM$9mz`o&?mu2R_kSD)gg<4a-|Rv+bfDxSQ%!a^=EeqL!{U38!dlq<)0Erm{5hq>y1u(x|4l$ch`Pin;@a zzx3+CABGlOaCzr0Y6retpMKT)Bi9qrr0rtX1RYdPSB+`BLPyy`*76rl4)5Xn`)`@p z_a4S2jqgO%23EinUY%y;@p^3_+gIYn{qaHL;bP-fl218rm^E&_ibP~MFo)R;h0}UE z9`JY=#XZ!s?P6$s0vTvZe)<|EpAx2DG;^misJSFfKu|B87<+o>^?lV1y z8?bB?-T`6KPfaGBY-=?(UX_aHXgri46}|LbW$@bp!jQE`xrYIsUlMv)s1mIER$1%i zc^2`uG=VIcxF|S|URG>!cOgwqyulFBV#*O#&fWA-ZVvn-S+To*-PO@?g7;L*j_Quy z3r+>e!Y5;FrJSKD+44(g?zBI(Up3CTAl-Es7iu@)$$aCNFt_Nh?abhkGUKaV<}bIa z+&Cu!-VEv9J~cFGB4J9p$es*uJ56(q%~Ce)7LP^&hf0A4Cyv4Vk&}p}n=EP5ym2*m zz^sq{$ldUEv*C zx4PVUl@|A>>=?sGCEZKXh5Fgjm&CtGD1EEn9VX?UfHrJClWM@Cs8Sp8|tj~MMy=7+iYT5_I# z?rrz!`lgr>|1zhqpVGx!8iz;PC%?pWR8%Ypew@Tu-F+p#8e9<96fWe1(&2bIE%R$0 zUw%F!+9&QxU-ymsOoN@VU$>r{njMalU%Sq7py~E{`(8C~((;>!vk6mkHFo0fcUWCA zYYW<1tA6g3wveo*YANBFvOp}glR}^`fuu+nzV$1Z4YzDE;mlLd6qHf=jn6hhmEGkw zzojQlnM?H6&87HIYbGO-RF0!yowezA@Y8_uRVQ`#u6i2tm^)QyGI$gFEQr7 zwnxK$g^4D(*h1Bw&kcR<&gVQ>-}l~a;2AHoc`a*ebJer2R*2!U07&~#EF>|o@8zl1 z!ptCd8e^QQHAcdv&uW>$A>dFopSDoDsfgCT!|QTW#mHOO8`?}GiY#d5)cw)6(t-N6 z+G2&9p%yI}&%R$3zyHh3aKS^ketcO%pF22eO2=YmgBvxQ03Y9#2!KhcT$!74_w7ID z!k%a~DB+;nb*5azF(=IEw8hABw!t}^`NyOS5v%ubbXXg*&6O&B^ErQ+$!4Bk>nbBR z20k-ZH67g8H8}M#qNPbP!=(!K#T%(J+m9_Co9&%9SD5;>zuxz0ZC;S3Xjk@(xXdzl zkaJ;j6_a2B-NRUFR4;!achW%MkpSpSQKIDub(1TfeDq1Y0=cJIe}peDP9SH}E2$fl z1k>a6anOP*^>L+_w!L#?IjKFiQQlJPluyRQ)>Q5lGmjQNEy*hB8pzDy%w8U~s4V;? z72oM~J!Xd?&RUlT!NZ;IbORzmKN&TmtksrA!s2xL<~f7GJ1;v;4mCd?zRvU-u%D6^ zi|0n#bq-b}*Ob#dW8Sk|e{@I^zkS-7bF|ZxsTjJgy_B}}Xfm#^^-%1Nta(>=eVl7tYIxDqE$t;-|Do&0^s9H; z_kX-;yH}+alXv%tlAPKZ>blb8*{m+L+=$1E+?`s2Yc^ilmu52yY=(MSDTYbELlhap zeHOXhaaGYHZf0}z<*dz|SpJ|$&LtJq^~fD^mt+z9x4kT;WX!o844*1lHF$t zwu=}Yy0(3(%qk!*R){exOfqHm)R2M$sj|OB`TH)@1dR+v4b5^7uY=jy@;j}gcDA~d z$(^QTnl=g<4@(~wZ>`h3zb;1dq310+!6;mM<%L8B{eaiRgHgrlna^tGBb0Mo*Ct04 zrf~|X#w`q6)Ec)$ZfAc0L3(9=m7S13OKU^lKSu65Ioe(vqVwHqE#1pK;}O*(t?5^^ zS>&DJTyy7b_kuenbMoCiuc z4kvf}`1XOq%u*2{9)D6sFAXO)A8ykVKGYo*t=?}oSI>UC_lC^JpNjLy99-Bw@r{`h z7v*dC9R75&rCZh8P!=tF$^O>Z{`ii(RriQEDKg8>jRkh*1BVycu+GU-&B=5@98{sN zXS4$F4i|OjWcLO2keTEQ37&f6CiNk$O==?V4`~*`oUiv|!#_Pe3cfn6Vd-$)?o=5} zz12sdI5Nmu;haDk%$MX_wllTTuaDE0pt#cI?L)h(=Q~e{a?)-dNczB;*qp+)LrmVj zYMTOA>qWQCeB3iVT2PmBkoj($*Pi}Fjr?0ybL){dubZOZEW28a#s>>!SQfwA0&Oav zwynzz&GEM)^{BgHvR=+436zM{D$|#g;j46|(sp8O2OTf3e6zmreGvazuB$xmZVn4h zD*J0YSmcmwxa1kH?A-Il>5z%8L*5;q=Gd|C{$w74x+isWRm&MhRxZ;IU028cP@A9m zLHBhDn}L4+ExRl^=1~-rPCDvIV7~aEzT~R{FXk=Zh1cC?6~phJ3$*;)B#ZHkE;u)! zXEcZ=YtO6?DvF)N2rP!BxZKP0_fNpT$8AicLHkk>lRlR_b7s1;c#B*&G8*trEjKov zni{5z4GX&k%`Q@D8_yIhS}i^Jp6;}qdZ}^di}*eIC@#-p($}x#-WVzy=q7JoYorN& zQ0vDrT>CR6FDthQ=6o7HU*MM3xY!$&tFb0D;_otWtG^=reha^*={5B0D?()2efMzR zN;>RMwxYu#mx64)cH_RM(9CMg6y=3OPUffHN|-Sqok5Q%MzXmUkMwAEzb?oXig)A0 zCl)Qgfsiz+_1I%|?ESv!gfhuub+0o1+{!>w1r7t zVPl6-7tLz*>nD4zBG~;>O6fnDakF;eLLR1`Nu*Mp7ON=us3y~?hl;G zxeU|w3ea4*;@X0BnKy5JLUB?)C7&lPLQPEO6_b(i)mL!d8o8P`kMf|2G68AMQ99Rh z?!sS%q^V@vKPXShz4EaRFe~WK-M)pKi?S=iO&p&3E8fo(&YV>r-f#oGW__?wgxl`@ z=`75Vn|w}3H!U$s`sUYKKlw|Vv%dS=Mfx`-z4+iolgVbkg>DxzWLaO5R&q*YqSrnmZ?^#T!8*s zSIp<-f&`UOG=)*N(zC-a{xvUN*i*ZUwwMkFesGq7+i;qnl)K9%d9|F`Qv0=OVJzq2 zGrrN3j{De^I|=WQZSKzy(J!8TaGjD^zZ$NJn$kHX&!=2C&PvB&fPXggjB-`y8E1Z0 zd$TluGGl8Ko|CFS z|B%{y_Cr7C;ZdW5Pqh$UxyU2ucGl0d>sR*M*oUgxAJWRGoi+L8Zn^P_liO8hi=OTy z`}<*v@In2#re%etsTPqsu{n#_hL+JgdyVYD3Pn}=?w>JUesr-Y$|+pK1y6w_2TP6= z9b?T^fhAd3^yvkU5LuY&FTwC1D9cMe!oRjRG;!BdGnt5wFF1l&w9VLbf zz7$k=;sNQ|=oRXpI|83Fe8l&m_q1P+I$@2){1Bw62YZiZDwIG7H9nF=I? zH){jY|Bp(oRvjpa;%_qi>~IJX9XJGv4?%+=s;Iv?P;_>7@$}$_L(qTyFE3AR<7|CQ z|8L0gw__fVf8B*){~iUy{*8SN&(sPs#=m|Ex`c0N1^(E#f-d7R-5_Q>WRF}9Pt^v} z$4|6@m;r{|+CXx^rL+wsfgit3K}&JGI5-3l2p33DArvh5zN?_4 zTFoBNECkQd4x+<1Zj!6wgZDw2EKp#||4JMV!QvlIlb^+deu7v5%3MD|k|dbF*)ui; zp9250$paWLJHGcPusRI>VLRw-E#(2|6(tF(_ANQsl^(b%vVez=uN;El9y;LqNgDi? z0=QP7!8b^OEBiTcUh`(lj_bAbX2DpMG{D(*B0c^T4L@`?Xi)_` zmEzX}oXXK^?@`WIN|hh7QUuz|F8h6xbWuKaIxAW(QUpRm3YPG|J6-r;bX%bteD(^WZX*HNmH`nDa2urRsuh-{&Qt?tzr~a2~D?AKA3%Ni~!+ZX;n^ zr{bS=$8*E=$F*k_Au1ooDYP#85T4@|l0e2rs`zVGX~#jghSh{vf0 zm9o)O_pj!-g+)iR^53b-sT5=+QxLuhd2sR}-3@Sdy~3zEhn%}e6*{qapVXZSgR=*X zZ58typVeTJ)CyeoNd4$TxvIt9s(2=d(fDGllOj7jHgYe~weC#G%;ai(=X?7^oKwL! z@1YnDCdiL=y{Mvm+tu$P-%YQ4-LEaVu=+ETS1)H>5%rGm{A1^ru5-`GnbsQB8$#pv zOLhewtD2v`J`Sm*Yy7C=uLv~a z_$%hvNCE3d0DcJpLjxc*8~`DqfS&_y0{^0ce_<#nKN<<+M?#JVVU9822sA$&m_g}qG_|hb^I{oqI)W^o1v{#{%Qv&QU z)e@dQyEVH%s&Su&65gBLL42>1-FHno2uq7@KRI+-Dl#o0+5i4rRDKR)^*xF!f@tbn zSIt+r(kIkqxA_Nx7SOe}?qZHVzg+V@NnSo}KDYmCH%(zJ3C=QbIsJa0`72W@KS*N~ z%X|ZizRS2ryMK$*SVgGWLOJ5j?(pl6E@4L$zk+{pcR=lM1)mKcewM2r`;Zr{P&j1IVCm)^~07H#YamC@6#T=m$;*M34lysat=@=U83s;KiA5Ts@enSzj(ye0pPfy)`q-<++u=*o{H6 z%Vc5dJo1^vej6{e*ngx@EbVz&o-F*jL~f|Tn6J<-$v-e zU5;~$*jCF1@^Fc|xfaib&1N-)rt`NvWU&0)2hCC2j#;2LxEIs+>PhG1Nfs=T-Jc4h z1S_7Ys3rXf6twjeN)yN>t2;O~{(R=UM^Qll|0aEk35CixZ3sR7J1tn!+_L+f!#%V3 zi`u-cBSQ*#=ppW>rzZF&c@7<&snLtWKR>PWgsF)nY_j_>Y-5YxJoRR1rYaG=yjX3N z)irb-jT-fwf#O=!(H%I>2XUIi*D~aT$Pajd&h3R1SKUUK5B~0@(m`|5O@0UOI6CLc zXWzn?$D+3Cs@Ip~zS3bCN7RUC>)%}@Wpx!g*2&y=QQ1j*u z$B%c}IuXgXcVFCI1r6Ssd2(3e)aExe;rKqK7xEZYDtm{Y zQo23s^ZDVV&ydmvSkt@DJ*cj?hl!JOm;JzH03rq$RK8RK{~v> z;sw8dq(bv!_5;VjpJYtys}yiD{J>{6gP_P4B}GHu&wIOmR+KPy_oi3RH@PvPDWE|f z{H;rSq3YHhO3Pch6R*l%fW7GZ2R!TEGn%;-C?0M~J-URWQWT9g6Q$N&HSBVyVyI~K z%q@+ZlSDr*EJ@|5KI(6rr#dKQAL~F}tT1Kay6qFP!-?#&$Wt3+A5OZq`D~Q?yOpOaEQo@-?1T-FU0x)0)?hdyEmybT`ic-alo&lFw>aOH9yzg48HJ<7=( zUXUsvAZ^Nz3z_4lPYi!fT0bhrF7A-%<5^YX?b&T=1FJXddT-R?eSKQJ$A6as^&yzS z>A79;0^<}Zu6p2uyqk_+%GoU%%Tn0&e)PQ;pY)#;j^!~6r}biGd<)7~RD-z1bvVV# z+H)SW-B6N$ATd{NE52CRC3vFm>&ua`H#>?yf;vo;gm6%LY^TQ#~iD5WywXFh||rv{BY4M>cTks7zT4k%RZpGR!UDclX8 zd;g9rueitj>$2@~zVpk}H`Z=s!9$d%KOI^y>q7(!a0ZFoG-csaQI8P0Pr|ChSY^9O zC&wl%DoT&&5}iU5IYfH*p(ldmy?ioVMGLtv$qP9(p5ftjO>g{=l;p%dZ0J1=NuB}w znanCmxTbm9Jk-2a-1!}TiEp+4>o)M`5p{MvYh+wUE&cPyTqSSK!T0;akXj?N0gjAH zpe!pMTyyJr&L0&wAXfQ^ zqSv=Qs-He_{+{VnNKy1-pXSxjWqpT^=Myu9T5U!lgN(1_Zxq=z^#+Y`o|{s-VJj4V z@l@yhEqm#{^?b&hnS~(h6S664u{itT>K z#GE2KlbtT|G>WXw5T7~zIhNM?-G!NZn{~=PMu9Ja`lHZCvve!iO+if62lfL>8K3gt zMfAPh3p`RV381dMKAv)3Qdq{=)bzp=KY5?qt9;ky8={||Ue`z~NtT%1QyFx=QpLZ1 z7&v2SPGXevGVQq)JF?T*8aj{{V?LjWm$9>u`naWHa?wiG;!7e~^Q!;a8A=37Jiq_S zQR2MXwc0z%--~$9tQK!5H2gI1xK{1(!xuh`Y^p8r0II2kD>`m?v@`fTSVQNcvdKk! zkTZCZ6amKz6o5H!@vZi=5XOkrVCpSK4Th5WGjS8lw8in4l~IyjqBbsZh#u*}AsKUkxe$IarGbAjlCzRoaCJ(kk& zP`Jd=gIOY1-b-YuC+8sY35Kd(Siq{4;jNnJp2m=jR>9A*M@@Rgd>>SLa_k<_-rxzJ z+aJP?{lq@?RI0PwR{GRq@-_8R$v~HqX-`-*JI$k}#?114p8b~CM}}_{Y5dO2I>er{ zn(~>V3cMPwrixR<@J#Oa*E+o;)okKs^SNR*VCb}`IhiKIAOBLUrk|DK9g^1b^nFIj z)KgXbG1ZOHlxL34>OdWE=RHF|A>TwW{(NWK@^*7tQpGNbBmHLl`3+XP2!v|ygPR&2 z&uAA&7I+t^7D()(^aP6^BxyK2)6aC|63yVZ+TwYB%Si4Odhw*eKzW0M{M)9N#_f*N z>@A}oOff&)xu??s9GRp|7f-Ahme@ z=cdOCdx;9?`}NyS+fF+H z!?;7-p#|_Wj7!vIV#~QKp6I)HfZRxuNdBR;9Z}SV`@A&y=xOK4PSbQhF$a&HntN^C zcNH|LhBORfF04^6XcjBAMQVg=!PMToFKno~vc_<;i(z;6MpxH&d9`#s(S*~yF;zGo zCWXKP?*s{Y(;V%4w&|mB1}ea#6K00jvpbJu9C|x?JT}(PQdgo~#B_F5wbEsU_8!mm z^ju{&aK!a!?RFxqjIGRdM!G(Sj|p{}u2aVd|B4hNP5E(p30H9I))%L4ljO&Vrm5G= zvL0k)MRRt#cHW3)iZ;4qZgqJky6W4_H!NIcS4#@+7Tl-m@a*(_)x`CV#lvlvIZ^54 z8dUtAvb9}#TM6d*iQZRI8!*)8_+LbtB$iSa;w;~{iAq;+EyTt}y~yqvG2?q8 zx4Er_l9*c6?{&Iv)TyTV{^cV@t;5>YSvpI0*D&L^v9yIbWdee&8Vq`*JEyr}-=ZTN zT2GRtf>g*SuYR`_H(R$XS~qH0XwU!A!r-J2Qt(bBg78t3Qmw{&JHNCz6forN@NVvWceZIN2yW2 zA(>3NZZp~lp-(v5>Y`leB9C-DEB0n$#CrMy6G=n5gxUpkUh#BPieJh^ghgSq>!P@S z0e=+}zWMb>u>oA(Io#_96Gp7GC=@tMHMYK9Rka>hCp9)HmF8#|u@YL;D1O-))kGHY zi%k!AWfN!>JZUunp=}nUx?hdbxdfL5mTJ=p} z){qy)uu!Gp8J~cq$1;^J@;HvydzW$Z6;+*=x$-|4er)h*iDb7!m$c|KYL-&Seem4e zADnKZiitLqHjN%g5BsLTh3?wyg(WP{Pq;!1r*Ph(H=`Ox1JU&cL)G!&^!iu1ex*j@CWq4(e~ba>+Um-P)x!!+{FfFIw#1J;Ujz+h&~}TdOz3^Wau8*#Es1 zsw2SliF!?;llRaHzj-nU>AHVrH{oU^|Cie9mWOA&OxPQL-AZ>dBj;9FMvw*p_x3bRA6=ThEHhQ8oCw!z?B%IN1VnA+HlE@qW03leWV`R%sN4AW z4T(!9%S36})2>8(^gRf&8)Gq-4(Rwi{PN*q-mS@BH$_OC^KJA^RlJlBRhO%GUbMf| zz-?X1PSCE>wKxFkLz_s^=SQGf#Xk6-LM2D(?5z0OytZp4Oh}3hTD-6~5{eRyV(8 z2V50hFzc3sC?t+PG}SQ2%BD9Wgi5?@rUv&(4#HL7(U?X7DKiLS>{r1==ZIEySodW8 zkmYi_oRB8)%{@+S?kMy-<(*`2C&7UYl8#O+xy;Qk6{)#X)}qdjSd~aw^-b^S8%yj7 zlfFP2wb;3(W5c2=6-cv!PmG-o+f+Lr&Uaq4HDrE6L%?EoBDTTreqUJFnX+liiZv-* zdb|bcy(9<0(v=9hyZtv;l2*J$x#b@Wg^HJbbgbK1h`PT|C2hmuQ1~+}#>Q?_7FmA%LCsq*=Oo3jxHYoB z==wv#=&rA<^TSuEI=zc$VW5%m>BITa7v1=jr5@ouT+#`e|(Yt zs_vsVHufxbCiKJolvOMaSr5;3>PLsrJ9cMj!vlti!%iM)Y28sx!qJPjcjg;K+ek ze^o=d$l5hZ=^s*YjHHz9)Dq=!nl{lfmAE65KuMJPW>9F~*m*3n{$dHw=Nfe*`rHJcsw-V; zPb!ntf29r0YYu0ln&0rrKC{jBWfo=F!s`WLf>ZU+Pj3d2i3x zSAeo#NMFq_U@=9W3!&4*t*j?@qG)Zmf*!@AmV$$hI)iSxU+b#JKJNQsS!U!^fo+y; ztxtXWZTOqaGg>=_q4$dgJ5Qg6p+D`vz%A->SEt>^4}Uk4x1uS(VY6oTE`q(Wd{x6^ zmkUh&-Z@0rF0@=mV+du0`CwNy*3EU+-s{`}X4fR>2Yiolu+@D-^#p?$_kL?k5b!7- z%B<1-i*z0(pN+R^+2-q5?DMi-_gk6KADAF$Go{wL=X@_JpLeD!4;l2vU8Qe`P{C=- zUk%!5jR+H1l+|-K(|eE}l2_9E7zujgRx0x#?CXk*?sV*eWo8X);M&%~a|XT_*Rp-{ zIW4j+=Y>w}%rshVZU!G>e^i;Z$t~YaUyG1k-umYJ+~w;C9m-v@#Al)?FxGbPTc;HD z8vLnh$!*6(Nd^lNzYcTzVn~*-i*^|oW|n*-mQI}%gB>RgWvA)}zrtCb4x9!lsm-ASrm=HIjsb{Vj!Fr(IX z&^laf+ndSKndCXYKI&3rbU%l!#yi6{;HPj_%p@Ln+G_mFUe|L@?)t+o9R@#h#=HU! zXWT3Tu06j*Cs{qXdvDx>p<3B^xhxx68#(3e5P6|F0!KE!ZCj4tdI{7aCaT6NI%;?U zUvMUVq7{6B41q=B2L&nEaIx_pV?IL|Uw!;(ILAxAljSgO;>5w!a7fZt+*ss3Ic4gk zhR(FpoS-=RdEsW!o!JLxjSd1g(q3D`(gJ^esE^8Lm;n!@1}T~DG?1c$&T`*^^(+>) z++M6XLE2F^{-TWGnxV|M4~QviZlOkz8`JrVlQf)WN2umD&BDR!8)di!-r$Co4U4fF z*OorAZ#so9g3dNd@380`*1wmkEe{w=(|&#Q;qh8oByWW2uM<Hly zKEP}HmkiJ;bRt+Sq0M4n?=p2a*$gUUFLaxa7xYbKYoo(Nt4(%Xb)`x9;~t3#9g8*c zOZ`jNXx{3keb}_h>8k&ZOZh@uBi@y^^@IxZggn=0Vx83SCU*tXO?~gtS7|3t?~HZSH9(3vT^sJ#26n0lk=)aB2mUOHDIPiH}Cafg;hg)g*XxjS#3?mx7R zOci)*i=B~0-(5+lYScVEmw5H zz0~?B?VuvjQA!syQ@MJd^1s&YecZ8^FLBwAZl(7iF<~$N*|YHMM-Q2&5*eRs4Rz+T z8uWbGF}qXD6L7z|X4E=wRi0bFwE841&y^;hfLYzvpy-r_@+-UTYkcxL7gq0VP`pfm zGaMffd3d_pSULT5RD|cx0+HiYJHVR%(UFt*;trss`K>fnV6ocEonY@qHrQY1P}lhX zdte5XIq>7tzS|VSRDa(;K1$*Xq4)|M?ofnM;3?1leQqYIcv1blqn)#j6j}^8FU0&c z*Z+W+V<46Qhy{RH2!1-6LV*NX%Ns*6LN0WCR;bG_>S}e%MhXfS1DfrBKo9@~3avf) zfZ{1w91X=nAxIP)eHH=}fj~sWq_thFRjfR1L{-kgATSu@Uj+Po5=9ko?)3yup(Bn0 zPScJ*{LcK;$5#Xtg~kxWFc1iyIhg`Oj)Y=Sc%5X5i)2U$8gG>hoV=AKQ;4!3FY@^F z?>tx}1PaBkBvYJYM*ydbf8Il2fa+5IF>ntJoX!#6gTnA}$M;~w_t0<*e)=&5mK})% zL_shR1;wvD1{ga3QH*;b`DgNGI)>A7YXyIB>9?b}Run(PqMtC>Va_ z_$KQ3B>B&k0B1o6ynOoctc03_g~NfJjyt{woInwd1GE=EolcP|0fQk3M`D0kiFkye zAgJ2h3<_&7ITitkmOhu_3@020BjOi^MxyarxfDWVPz0>jJ(q%&gdBzfR5v=0LKsKL zCLE4NBM9aIU|1-Dbb-Y{Fa*m0U@#=X4goME;hqBX0hoV@056?SA%KGsC@_Ek7#D$z zpimf*Is!1@XzmYL!VwT6C4wUWL_!(}C>%J;J06Ss*HnSQXyBOd&k5leG=xC>z=SaD z|3MfyEBs?DKo<@t9*aTzAvqib0!)bdhnxQ}0|j0(`*T775B-nm{)317KZqa^gmwl; zAc?FUfMFoGzxU$56Jn8s`;9-Xn!rln2*6ttEd+%nvQfa62=oXCh#w7s6A(rq5GX>}G2ZcmA;+KJ zOd}A$P$I%;D3WOFkT61T0!IU{7b0h7b@rh7qk83&j#Lb37q%4E+a#z*s1p zKr!J6fW~jd)c7ah0jom*XWj&ZF<1n_ga|kWSoEKG2;lS^g=Z?F0N%GDq=kY3$-$rK zZ~%t*Kk$y97CQd?7A}B?AQCPLh6FGO@lgL5?tiQq1&0vnF$x$>xHBjeAP&L_QAi@; zqEJ{O8$h7}#Q%;xwq`U8jUhCkyY$ z##}fML5YkN2&>rN2KU?E&}bsRh`<7=@86RAk0PUicugn`EDS=Ju>uJXhFH2l7DTxH zfaf5xDl`WB=X?}^A_GAlc#fqEuxcX9#6Yk_3&%i#F$4kvU_|sWP$gncJpTL-27?jS z3~($EX9;OwF+i62_t<}}8Uca*8@PW@cpL! zqOuf7%n7X&NY)XA?hYV@Cf-3b@*frZpBn)N1L2%t;Sdba9Uy{12qO_N7W03Mg%U&} zpo0J?z#r-axDfydL~{ZnP~dTD0^L5A3sDgS0cycN4Fi}D$d8HUgJ6iH3I*1IBO(HW z{+YfUGYG{J=5PQEFiAqDVL+)x2s^e6A{hL)Yx$oWfdaZnC~Cm55UCCn0mLeT39)bp zVX*{Mb67$@hkzmpYgrtyIuuay5KIU~0_`F~7?A%HS~IZ27$Wf_F;GGU2221=B!%N} zMCeAKD5CHIFbE+gj0K8(LIzP#B8z~cfTk1?-oIX)|F;_fh`{Q;kUoe$7aAVvggT0&6+88nf3!hj|Pq0Yd7r-cbk5h(ipmnY%=X)VIwSi+JF zSS}C)2)RZ93QGio5hh9q;AILTlZ63!4WR^aFd(rZR1n}D2g3FakgO29R>121w~~Jr z0_3_xUJrP6frvq%zjZ9tzvTa~_~AfaOXyUN-2$N$0JS7c7lEt>Xwnf#2EZfQCO8Jj zp8mzd{oUDx15uPvtO$TYC?rG#aw5Wg zLI4#m(S#_XOb!9y5mprd3`#s73iX%19n1e;@dITSkqZXYh{&}9i6LPl1c3kwT*7TS zUI(FR1NQY_Dg3qnfJY%7j09?RLh++ufRPbM3n&W-lV+e)1PXWpJfLwvlzyV%IG|rl zhzLg#cG&>Ok0fjy0L>sQVeyARA%Oaba6X_^C)_#|_Mh??SpUD`M*&$bp&|kK2az44 z0mUSg0va$yLOlYSufN0WzceuLzxVz3wjawMfdTqAgd76hI3lIN0M43_FpzH(w)}v) zmZ%{Bl(7gRw+u8paD=^O1W1Wp{NWLVSutg(O9f98l@u7 k54@@O|3mrfAkD+m%H7k~-R34WFh3CesD*@7FR4-gKcNjE2mk;8 delta 18464 zcmaib2RPOL_juN|_l#_^xqBE13E4A|y+TIzNVm)n8OgXPWF~uLgb>P1GBP8PgtE8v zfBUTOr+a_T^Y3};-p>1+*Ez4V&w2Ca58kR@Je6kLv`8r^*a!-hg~4Ru$RsCjC?2Gc z8~!__<}0@)kq}x*1qN1ufTdJWFpL!V5)>hYLR`j3!BpVND6}dX0)|1uoOz?1d5M6( z#K2#YdS_nJmLp;?6vqewvEnXpkqH)N?zzqW1RJN97)V=Qh@G0lwOZPq=&kc&H#^Wuf=Ou^w|U-5MNy+1A~QTNatCKisZlHP+A3@9TnxN?^fuoBp>murJJKJ{$Pa zeNU9huhq70dT{l|N~*%vnJChuk(uWT;&Qin6IQi+Fe+2%x)|r|u{XT^`t{=5*E;zl zq{PDn&YRSv`S5>agLH%md>^Nv#Nw_fY|zb5#tP^S=j)Aes2-)vcBb4|3CNk$I#}y+ zk4S--l7h`8>OYPTX4o z8b4`}&=-X`h^8FXX>Pgwsr}i;y&&JZiRm4tY6R-#vi38yI5Okyex=?`d2C*U7l~wU zW1})U({}pZ_x9@?!9Z~i8!l`Fas%;yotS+0^)aOKB6d} zz#De^n)UkE2a7X5wrOgt-ngB3V4mXk{_=*j>)ay;1CN}~WR5{l`^{f2VOQ(c!Zbv^ zKCxdk%ce28DikjJBai6~QPnJ0rB`Jc-xy0>jHlYGjOX8FwLSTjc`9)M-PkhyZe$t% zAKl#ra`nPY3Uuwi*3`zw0>i7!4dz&qr`o=Wo-I<2K~V8a(UiwXFAw{}EyVnwRGN4C zePepook#f9>>Qtq#a+MVhGZ8hL>GKCz^Lu?glTNgNV44G_bV;Bo0V$D38msR{(OJA z+ceY{Asx{jW5n9uqRa5@I~&%|KlDc3S#1uDa%@GU%;=du&X?8lc5FSC+?*hfchec+ zmw9hpPZ5=lP@iD?5LfgD!@nZU*!Zq2KjZzx@)6gV)v!iQ0~>BA@a|LPO0tvH&L=9L zp52G(d91NNqo8~*F+$z2_atqpo};-txnVTW%+AJ8wbz%lYm+-0`QV-vHYs*Fc*-q` z2~;7MvF7LD7pSml3}qP>y*RSnAmiM-f?yq^%S+bh%kZl!<}(-FN<)uwpL>Ur9O0rB9PC!ZfsSqs7U=)C%Sr9 zK#}64=GIE@3z=_{efe~uNpkj{FIi!fl)AA%XE{s0!=XTfXS4n-T!B80U$^mvBnMb( z=)j*@C_E(nxN?0wJzKQc%wfVTvs{sWvrziZqp}`V(KnfQCKNg2^al(VOE#3tc=Cta zxoE4a{N1ghEQEY5Yp^=ALnF+#XMHT=5TPz#ZkKj2VarK88)hoaR=h*$&!$@5pZ>bw z^Gm;vF2B4hy*D)Bnh)6{wiA7xlQhjHdW!;E-_36nnSSo|bLYHQ%5p-sUO9J3Fi^8n zq)~vK_|vQH^%s3rD9=Cw6{A(#pVopdMLJs%rgTkDK9ysX>zog)rW!sqJ# zdLlWLDUhSyNi*dqNf#Zd95`v=*fn(P3|TjZvH$J8cGuC@FYDT^HD^O@17~_;d-`hB zZ;nw0Fsv77(G^!2TzGLne@J9d;g6)jxh3~_ueB~E88_u$lZ|t1BAeoqOF0;6# z9o-=HW>vv+xB2EJN$j$V5k%3Sh@w7U`VTK)IC*f+soICsP>@GZ#G2TJj!zn5!bDmKdq`GTF%n~vQbhDkbWza)k*0LckqKKlo8FN2`)ESw(n{(< z;*Cis);sZPhUjJR>{ErJt8OG+uJ_eQ-Rg5LRjWVNVrx$y#g?QF=yF8g643u%+EDCW zC^W>I5jJ4|OhVD5O-0V2%<{vFc7(q6`7ssp3 zwiM1;jTK2ObehjzetpPe8GFPXF_<-b#%}KX)cLvHC(`AW*UaBo#;){y2G{wg6%=sz z!PQ)=&h_Xev}G~!Tx%;n!@R^YfAPvon$RI@d3T~IkoCqn?B48V>15c;4KDGOa+u=8 z6PogiIqfwPGmf@D)iw_ri_!Pvj>97xKkOVQo#6<>oS#h7%#WA)*)OT%4^^OGOhi?zfS z4jJWt&n(rWOQC=RLCp-76PT zO;FxRhAB!S(MJJD(<}-RO~V`ak2oWz#;>MCM{6uZP#mgYXMDczKwda$b$pSOX-sCW zjr11&cBTL1p;&y`FZeC$QE|$w zi(mQgWf2#4EMwh%^fe{Y7Qekz>o}m&va34JX-)57%D(2?lF}73DpKHRcoFmE`piYw z%(1#HPq~!YahDYv_bpZ1YuEe|J=}5NPP-ky)+=h3?GKT-LRY;t?!y=}jmQ{(I^Di* zy9CDfuM?hbmo%CGtR}UvU_REk)xR5Co4O*EIG_A+(NT;!`Kw$f*YG354eQCDM`N?g z7u1F8M})}^Zj-<;;y{ALpR^=&w@1pJH4!^k*(?=Rt62Jd zhdl>cgxsix7BP+~ZSm!r-4B=(Z6pFv(kLcC{neiRO4(?XI5njoo(Fh zYxN0c-;M)A%%#t^z>o{rWZJ=|VUxhbmG7Q=Ui*E_*Af)&s|;>#Cd`@p-sU>lth?Rv zell%p6dfn`^|@n$1TOfe&(TqzM^qQ?zGUU+tp`P`&pozZJhL6T{D&U$5>k9zG_1(o z^upH9D3%A6CZR;fKLdfp7E zi+fdx_7pLr7o+qCX+4ii`(~=jPR#DQBNDv_3;Uo@;@g_9$%OG+n5J>whjcqwzjsGZYIRf-;QS{i9e1w07t541D2(n!W8dqhAbshC<@u6E zDMt;ZZpXY9;r(RZH8skKOt@liK3rc zY~!Oixzafui#=E*qC0V;aTnsk3R5*C49^)+mv)dUFw8vj=zcGbHS4;SDA#GQZM$%H zo7=XMnYD*^hPl}$t4K*g_a?1+8WZ#NKmnWEm8)KmZ$@#MH$s_OZx*ppCeEeXF}kss zug%q3WatEa{9~ra;2RBbHzU&;Uy_oPrdXkKX8H%A-s^HN?*DSobmz)6Sw2KReaECe zZ1TwTYpz&Z0h1%M7zK8H{u;0E8?xy0B?dvQtD}IGwwBcP3(i_<`cEjniu{g2rd|xE ztGgNRul}o)lIB}grvaCTzCegFpYZE}(T#+JE;f+W(;N+cYc>yBp_HGuFSlH-`_Sj1 zcfWwtT0~`5&z7;J;i&qyto)dpiY0kq*nO_RYl074eQufm3i#!Tb^Li@M1n6f^Gv)g zdzDL5H}c4Gc?%Zk1pBwH5sI`~6R$d&Wz;(@%da3&UJmj@&{2Wc-UFPuF4 zLVj$Y%d!Afai6^Z_W9>4I%xQVFmP_GN0m!4Tbu+#3Cs+h`SiV=-|`i7IkLBZ`ksA&ogbh*5c5XtYpt6 z%8MiXwZ_wKH;Jaj82Ug{h~d_XCom-a^fzJaNM!pRm}N zUYCEC>9FEDdlb%ZUP3VvUiezO`+>F92(6KvgU_}ta@#_P0vaaq-J%?#k+`*VUvKm- zQ@-JlzO(BW5NL}tQ*TeEh|3zhf?|rie{!T9D0r_dy1=)s_Z->m&uX6C#GgyyKE0pF zo+LDiQ5^gVR(#!Dhn?EPX%n&fKd}Z6Zq-k}y=3&9c9PshiI>`+Ys5f|Dh&Iz^-x!F z`P$UAce32OBXEI>^xtXkpaMI|zQmbxND0_rX?wy$I}2c*ci=fMxnp^S- z2qJgq+6$hZ-9b85tkCvHt2?Ntv%S7x+N6R}zt8=pjVmRr1NFG(>+Ko6yo7dJ=_}_i zqXQ>zY~~bSx>|eg=?9IG`2v`rcaMo-Mdb01VS33SvBG6}LmSmu8k(@h-72Kle0UMP zdkZ9M`J29_!8;GE{~Jl~A)b;!NIk|EV z=~%&gHCasU_D{UB^h3=l@6MW%bDOl)nu&<;!=7fOYQ3?!Zc<%`>L6X^6fXIKe)c6t zj`H&Qg1WZS>er(I%r?toa>WnqEsZ`moe+**b~ETO|3dHJH2X5j7U5BzXa^zP_ofSO zEwbU>Zh9Q#m$6$%E2!#_zgV!G;$LYbGVIYfb6b(`=W~8onlxEoqsv ziwE+;ar57%YE05=$3q4^K#$`1?wBp319#J_-rl+9nYB0`Z&%GS8zu4Fq;&pd|NQH< zHr8KU!g-0Y-uFbg&9*5=ge62s?ni5opmBw|I&1VsT$mgy{oM7! zs#dU+xScMmuh!mLX=L3*NB+|iZkdLGEH8Zl=h!?FNqQZA@DXLk;|l6{O0{3{ISVvQ z%=I)3Gztu>k7o))5iLtD7i|V`hIc)>rFre1FWSY7mtbR1mMk8+1wxH2m^MyUf$ylX znw=eE!v`t{ABz_|{HD^yI@Wualtyl($E2KbwVg3=>s(_0*)St?r~j5r{^N4SRKWuM zZQ<9ED~^d30+Q9={Fc`bI1EM$Z!}ak3XzGZ2KWoSzDWBKp;$MespQD8ziC`@F6H2) zY;*ej5#?j7|E0rtp4-arzUnkwL7L^{T0hWCILz#~e_f+{OGifJli=Q>Eu)u^Rs z=GeOpbW_{3Zmukp`0y@R&wW7fM5K`|;y6=v%+DgS)jNGJwz%x!R{6888>U4>4JWVl zbE#8D#K(PluRN%z+*)^18*<3`;Sh7INId7(mesF<)i&QKFfu&oHW!-8F4QB2Z=@or zLNd6mV`kQR;#u$LS*yOcu=#a??_g_S;X>p(MMR97Z&^ETk0oL6LeID^ywUTh~b z#+f#d(foN47#MxTKO&RDt>=(w;d+nAc!*&T90LW2o!L~^ z*2Tfjhwqd^!wm-L1%=bU0+Og#JSOX+AVSoWlYujsU2K7Wm`*l!U(b9!W$WrBln^h!aI|@SHX@bW z9!Z#f7Tv}`BNy3b7uR03)rp?bSucOUT%>v5P0yc`dfPGY4mk>Xxayg+CQx zS?$N_L+#7>RG*7()V{lQXO_QN;uiiSbEo zLGF}>jOC@aHhM$h>fGFy71^a8s+lXZjnXgI!h-ZtddVlWuxA_^i8>OKm@aj$@qDAw zS#J6qWzQB!6z$y6FK|74cP3waCgT}ZjpYg^1$I_Foa1M{)Ys2)xVp!h)ciQt{rx!) zQ&y3_sj*PM1ny;ai6L|JbXL;RP=i^ z?{|B&u1JaZ^h-$5>GVr{*pbxe@6iH@tsmofYe4MSkuC7VCfH-qCh@@cz`vemW!p-i zw3>z{w)vRPKxdsXf$71k+X-r9o$T}a4%Xz8g$(A?BQpu_bW{{bz8;76=Js#LGLez? zb+-+wk9D_o>+uT-8WZIh@;?z(lt8?=^s4H)kYH<(DZK`jeKB#T5nR73`8eO`UGhlt z!~Ta?upqv5I|>^L2MRk!YtjwVv!>~HC3!C!zDd^-*Lw81Y40T9MMBllQyOnnUjkj- z8mHn<(_cQ7Wh0C~2R4F-)*j9#nX-3A-;p`EK-uY3d(^_)fADtQiFn21EZ-WcYcINV z)~a$NL^s{Mu3?q@*G603j$uTLgu=lOpN=0h{`J`4_F>LDogsS+na_ikBQ;8n9Jh7W z(%)1aeX5?|%BLR?-ziFwIeBX^Z^~}TBR=tJMxn&xfDaeyW{c%LuXXnhX9Q z;w^Ih_${B*xk(1LtBgz1trdu1=Sm+(&$zIp+fKYCo*o_HZrmkJ1%-Zo^}VbpHuzT` zA3t?1Y`hz7vEL1f#3H|<`$ZJrzdcyWnyPmhy;(G8crlV%#?5pyGihhP>O1vS&9%qZ z+>M2;3Mofei2P^q*#+ZXh0 zjm9Zqc1Euj;aPC|IJaLoxS-B0t={3?!`NdDFBmpBHG5^*F4OoiM8s@TNyMVP_ymLuGvPWhG z)SQnp9?Htf3UM0BQY{l>_Px01S(ATy%CH{>=>~M{wLVo1o(QMTXuc*F+;qP8?P}%- z%=NIj{F}UZNQlDJd5g>tZLh<`iLt`9Z0yBqY{JW?LP5bAI*y==Bw-o0#ovV^Pz%4< z?B4dotN($EFHZYupLHDSACSy`vgou^l=)*mIbcjoz6DVLf9vNc^Qk zS9xa`iylam+xjx%4KvYkIQj^Wd-*6TSZ>Vi2N~@A-81y>YAKlm1F$z4$a_4C4ciXK!UfRYx@U+ASY1@ZR)f3AlW3aGkl9@rurqv4Z5rxPk?5 zn_b1&(KR!G?UXY>MU+J(Qqo)|TiGzc`XmyHPc8uMn^HLX?U zbKGK4guKep#FO|mV~0Q`MHan>LTwuhhfUKT0`D&7C73Dn;jiLhGhg}9LB@=CHikB{FLpyBHOHccHUu_qz-g9z z_44%NA`zTpH*xJIXcbC0@-%xR zAYdGOBPfmt^Jm`1H8p}5Svr?I+GO6oZsQwnyX31za>l}ecr zSg;``ls+uRY-NRpnL0Nn`Q79+jEkr^+RvM(1)Nbk7a9Oc)Mi64Df1CA@g2>C=i`>k zm(3bWa6WejDeYGnC^STrO*u&?2L7;PAc}$%6$uv2H)L7OsinJ2FUEQoE{{~~%^t0t z`2Q*i`X%w;4~k1UdJNdC)_}LgtcF>A6A!Q!Mh}y&nl%g6*!PWmtwG`3`y{Cn0!*$v zcvH=(9HW*G;k+bpSv}t%CN97rZ*}xi=WHttNA`4Pt$>XJ}e-|ImTdM`r zVN)}4X6nc=dK(~Qkma%3Xh1D^GJDOi@U7_sE4^#UHG!HM?G*-_vFSaANlrrVv`lNU z!g6z0$HKp;9=w>~(qvl1rQYn35zpG?Ed<|e*RA|jkd>X%${(z6;%BL$qaiF{rLPW$ zQUy|+jqBu-y_CS99%TRMkP(qnu6Ok^LKSuCC@(ngDAy|bM?wqO~dbRQleVCngDE^4uA2vAh-JTX(7Z!=!yog(J3YC?kWPP&M$3585~hU8mMrnUm+s z{S<$Ndic{&Ff*$fC`Ik!BObQf)J~zv6P;OpEayY&I6v`mlgMNfai||Y20zaQJ75RU zXp%)6MLFV*Crr)!O`*-VtU+35g=iu~)iZ8`Y}XxV3M(SfS{cf#J!(q5Wgf4z^!S=) zB5yrWCc49GbZ6_?9dqYvCv_(CmKobHS|du6I?T_A%<#ne2FcFXjawq+*6h?_T$B@i z`LDwgcb3zIV~vn@?~0G43k%`eU^lNpTiK8`7%l$nKUhQr62q<@lC8o-E$~ zyayXdvWQ6MF4>4Sw1I1BqS14!;?UNgdcF+)>S2eG3PxoK@_OUDES;6#w!KGXn7pqH zYo+YN1p}6ml~%GJbX}6t!-i_T$i|Q3nYM|_c#b7D1^lBcL>|+)3YvT=70al_-mCEC zP)MG{-ppR=;tKzKj%gF`su!oSo`;^yuS$IfSbA z#~C|(IvTT+A2P8ZT5{a}r0RS|+qf)(S+7AQh3W#-|_6t_r-X{x8lQ-KsPhCCL!H1)q`%7nBG^!1iz}YKj&h3NOh@}lE_Jp5*qZ%ZtY{6()G1z7Svf!&!-1T zpVQGczB3YF&ZwGC!(hsmWNob3{j|>lG;b`T-t(mlo`g}V^MY9TrV2<6BlTW>TzuYi z7SUCGt|iJHRbR0$(jUvJ9s0U|{4A)(FuBJz5*yxUOI_#WSeieYoRWx{>eW9FZ9{l} zSCHC00XwM)idTlF2#N9t!6Pw#~g81 z+lNvmxv$6ihB=3!_28W!#_qE%mcii1vEagwHp0+|_Au60q?KZ+#d!+uSziKT_x{L| z<=rPS?UHvZ(y!s>0+#ucbModyvvj|pEEhUANiFc6zgPYzweO{E4_8*5cOO2y zDQ%vlK3ue`zj#4;L}2KM-f~LLHY4BtxNZPgQf0p=pyQ~jQcoAMZG@ehST=k!EfznWs(N3I0ZQIbcP zzUo0h>3mZ|niPT!*>DvaBfi5XEy|TY9Bt_*t|Q`HFWl3T)V<}%o^K0OePrETs8}9z3 zuwU6jWKMWg_UYAeB#(ChGNX4fjcTF3s? z$^(k^+Tt&;z@+!>RP$tK=tVinU&Rm!t3#J7EHC^VW6sAR8?^#1V?Vr^Mg$l~bXaNs zSm)xBv9%sbp`V=?b$?sH0do_+!DXmv1FFc$DJ!TFR?iNLiMvk?gGN6`yx4NIeNpav zwpWCGiPS--cz50hsCNMoEWm}tVmk2& zj^eJUQT^I(^w^Kpu9rF`szSbB`^yhAo7U@I-m5F*E_HaZ@4w6~_1 z_P&ZDx6dH;=123H7hxkI>CG>#zi~>wM0_vV`btb5M3KiUW!hThrI2Mg^4`C6t8677 zdAsl=Gu-vzf*}M7xvk7*>vDVO`0(Y0^~(B^mX4Cp!bWvl_m2}t8KNezP0#JOi71N< z{UNcRtwdLCf?iSK9=--Cg4C5XO^oz$Yqvp9aQ<&Vnj{F|CqDliPm*R6a={E;vj-AE z^yhz&Xe#NAb1;*>O>g@7Y+_Yn=)GHR1WUkrYpdU7p%>Tt6EE)HmK#2J|81#j>Vvjw zExG?@_XIiI_^GC6&DUJN%X!V>O|YU}vWs_@u09gkEiCb(mf~`HbUV-f$T}8PEbmJk zRD$J_niCzhww3jj2I49W1WE?#7T;`?2f`{U7J$SywlFc1`gxy-x%y^B`0VD* z45!R`Tw%o4Wo~h&3r<t~%9zCm?_VW!P#y(=5AFzEzdQR)i za1-t`O@9sT1VxSbRNv15nye;GTFHyMVh7bsgCnYxje2UHi-r8RUoEzJ$@g{QSHb|G|Z!aAvYg7v6`9^2Pk2oXe^o z&!QiG_HtT*p~}7NPgzyi1eSG)vOmD@0@wt#RdT~ctCREV5K7M15>XMGerrrfH zhQe_3kIA)2 zVQ63r4$CB$WkCTKJpJ?U85kHEcPk5+HIp;R#n@oL(jV_J3If9o1Eg$7V0n)B3<<;F z1har=5W;5&Bm(E1MUG*IpDyR|2;p!ruH%#t3RnT}84P%{z?=;bB2E>L_YjIe;OtHx zA`yfvA!rD$Ci_$z;3WtiAs7S4kvstiQ7D2t0y}*$&hQC9NO*t1&`4a~DIxF$|5PX% z3dLAeO9EM;NC*U%lmi?KMiU4NMZi$F`9BE>S;CPp94z-# z18Bg*e!nFYFf=ag^dSOR@De-(-op&%o{EF-G#Drpu(Dtt@a!~N@D7ClF5;a>{#X(M zM&i2fPxVOY#|6V95-7`E=&SOqw2{^$XSR; zAqc>0c}vO9W081%1B0PZFgyVO7zT`IP#Cb`LgDcOU{E-oN&pxFj%OL*JQ(UP72rBc z$@#GmJS77N2r&MQArJ_GJ3@e>h))X#ybzxu93UpZgTVei5BqPV!r)*Ou&V#fIKT~% z7{UYpOk@8wB0!5d%}4)*0eqn-{PW-tH0(FcVZmS+kZ1632f*N`x$?gU0x;Cys{4=7 z2pGQe!{7)w@Dc)#7J-D}n+J|SVX%1a2oPi7`1Xba!9+legcA4wurec5KN5+bS7C4r zV3WTD#Qu{gVQ>@_MZg3B=oSAa5DWs}apB1SLo-OigaTX+PYbxp3UX2`P!oRV0*3?D zgMc#%jQ-7dK#721Ai%pFJYAz8a01&Qpiq1m3JQV#scOIp{#64Y_30bo-wY4KARGpW{a<2$77hixAKz(^ zP$&|gF#yBQW-ufahJ_I#0{H}A3qXRw69ym#?m~cvB#2`q3{2qFNPze+ll&(MAdzqs z!GTBwzTJVBdVpT>8KaPJ{I~<0nt(A1g8sctI86db%%2_2Z+1sPF!<_%LxCW}7Z9)r zL9#$Wq5lUS?4P*%*WXZ37z&H8eiRh&f4tiPF#G}yxB>#dECVp0yCR@P5||TkH{{=r z{=XyuC<{$Uj3K-U5S{qGfI?#MD6%N$G1Bgi6XE&&^Hh` zEgA*>hsnR;2j~i~jAFqsGzut&_>9p=Fo7_D&k_g&XcZrZK|lzS5C({Fd>$AmkZ`bg zjDdE5Adh2Cb^SXYFbolPufT7e;@=p+BdCOMpnCipb=beBFBk?5l%L<305C9&0EU2~ z@qGbd#)n`girCfXsj|HIR`AydMR)CO#et{eRKoHeQf3V}bq>4;{#T zc+DxWfq)<|c)ksXfFZ!EX*@4M19LPU3luq?S`Wz{~z;8Nl%fm;g;4J`)H8 zXgcwkKu`z*JSbo;d^{NDw}gG_<-m+X&?3TtVVEGbK!B8i?>dlEOgtt)eIxJ)2n>Ut z=im?o5{to0lBYu$!Q2j%#{UJzKfVnIIO8z}4uleD27yB01u4K7{dWudzbbzU#IHvH zjG%k~0)hz{17T0V7$_73i~%qH&BTEIfddJ%H~_<63jla9g8T)*FoaBiK@ndwNFXrq zVHgO|^5X-MK+eX80RtBS6AVFShXXAUetiRAgrx@xl)=BX^>530iiqFW0x)2%!xIJy zv?2Hc0$WB1ei%ccz=8#z7C7$ri(pSXF9d;VfYL}1cFPeNb?0q77T~& zr^*AnB7&F&W-EfQ19k%hsTBbRc02e2B7uM>fT0Nd2n!@u0;fR$3wL~C1d!A5)rtfb zrT8}nf{vgNA%FoNU#mz6?9}Xkc3J;cKtR!W@d*Yl3@4}uNEE?Z;#4sN1q-MK_}c+s zMfKli4Exs`1|%AA8$5L((ZG>-Fd*6qN;Hs;2<#3_9SHp7gN6W0J^b^4DVM%G4g#0gL9T2AfuNP3s%RAz zw33oCSVctzap@AU{8d3HLx6BVD_!7||No=>`Et$M$HvPiz{|mr3J$0Q4xthjR@J>s G_5T3AdLdT;