From 2bd1d90bc83caece5be36e6faac8868e7d41e12b Mon Sep 17 00:00:00 2001 From: NotXia <35894453+NotXia@users.noreply.github.com> Date: Sun, 3 Dec 2023 13:57:44 +0100 Subject: [PATCH] Add FAIRK2 time reasoning --- .../module2/img/allen_intervals.png | Bin 0 -> 85542 bytes .../module2/main.tex | 1 + .../module2/sections/_ontologies.tex | 8 +- .../module2/sections/_time_reasoning.tex | 214 ++++++++++++++++++ 4 files changed, 219 insertions(+), 4 deletions(-) create mode 100644 src/fundamentals-of-ai-and-kr/module2/img/allen_intervals.png create mode 100644 src/fundamentals-of-ai-and-kr/module2/sections/_time_reasoning.tex diff --git a/src/fundamentals-of-ai-and-kr/module2/img/allen_intervals.png b/src/fundamentals-of-ai-and-kr/module2/img/allen_intervals.png new file mode 100644 index 0000000000000000000000000000000000000000..07a2bc7150974808ae94ca97fc795e14383206b2 GIT binary patch literal 85542 zcmeFZhgVZw(En?fUZo3&2q=j3-bAXX6zSd2OXwwpssaI|DqWiN4xxn(N@&u15_*x| zTLOf@4bS`j?!EuQUF)(IkdvI`oU`|w*)#L~Od>SZRY-{#iEiDxMfz4%@#C#qck6H6 zy0b{|0RN0e%I7ouzuO)kRo>jH7<#;k-?(Qh|3UuNt*Th!OTc~nHleGkp~tOTWbm8c z+dVEtR<~|l=f72y*YPpinR|$oQ378bDpB0`+b8XcX$5KJe)=k+Crl-xrTw9bV^o;h z^6g74C=cx;5exY$%sh|iOC+&3CGpjDVE01sw)+rxSi)rv)7p-xLuA&}Na25ku(QVl zLwo4!zz=k92-rd>@PDFG#&?XuZXVri=5j2H{`YhUMaM=&1L^AkBg;`a@SZdBZMy%_-*S)5E&X<1(BhYe-ujJwy56DqD}CMRL_mDd zE!I}$cNCvBO9I>wksGuZY?9j{k$%;780{ilIf_5%!k#*)NgMP%(!@%C<9na)k|AlR-VofTtY>@q zn`!<4vNxhYzT1YbtMtO|w+DgB9ZgH6aGM(KJi;Nn#JA5&&2c4(*Osv|u;!V$y{Wm= z3ecRZ8}=(*%P(yEHMV`NuC-BF5~I${PKQR>W=;L+^kaHMuvD)& z3xVF^aBlVUJNWYuB-VaD$nFe}`P_g*4F^uioMe;l&Rv|nwtN`D0i}mxYZ&~GSZpF;|>Dv*^q{XXC7W*9pv(7@+7Y<`Uv%+rMt)OlkTiD~V zPA3RQSjOj3qWz$2Y;&RX>Wew>kVj_t48@z2-vw1W zm9=XG86z8?-{s2mvB2c>1r%d@Rb@L*1KCF(@R{@VPt9(I?%y4#PO=sb;VJ7(zmVlGd zxf|<+sm4ZVcMp&Uox#2N<}cU8>Xm{wt}0GGpG2f_-*xdFPirFgU%Xqs!bU!&O&vRW zkuxx;y|*^U2XwKSQ~`{4AlON^DIuql>$L}`1aRLFfXJab@xlf_34Cm*oOCC3IOytl z5N*X2u%(^l;Jv5@=DAE;xU@OWWNKY5CEO{Crbtfb-4War+5at+c^I``jVm=fE#VomDE{L1 zs>jG2KVo~YJW~62i00@CfI0gS8vYiJ`~;1aLAdSRruPX?KUj8ofyH*;YWRM{R42EV z&9xJoZoHXe820Hd&VstlNpIdvNAu0cJHxL}NG@hSuh`5DXM9$FOfI^*)~Da*UccXl z^)8gzwFiYl>fT69{LOhe6>OZ!JoMg4Za3V!R5|cpU>WOPM2y_&;!$$DfBixr)@dU| zy^XJ&{YWV5{JmrB#2=ybB@(GNQzP=ecX?*#<$E9cZ6Wmm40-6(Iu`>LrzhBujGRmC z<2YMQ1CrbmaTlbrjk)cL$ud>4ow;0!4bvCZ@vADjo9h*=0(bG4RSmMpZ8uEjTvgSW zW2X_`8a^G=KgZ>niiT4C7V-D+rld`Iz&=?C3`_Fp}j(&Bv|mj}Z)_3XeLD zju@XVVI9SqMx)m*u0AmokQlsUC}awK5M0%{^1d@*+jwEC!ZV-8tG;p2sp-Z6eHe*l zSjcI?-}i`&&G)tr@bWB7%X(c{4px$s1rr;1l3Px>T8AK*J1G!za_cmZ5cwNlr_%iE z_%(TBOy#;Prct}UTr?O7-h5|1?OP>t03TA2+2MQ6Zl`Au0ksFDZ~@0;Ey;qL^4Vhr zwy^Ugn{Ru3ZRo#r!8`Pxv`HKDw6uT9t+bYbL$IHWka+>Lq~oGS9b4ivsG%vK$^LGQ zv5XuN+PPGFS!XKq#QDYx)USUZy1#!}142-HX-URPtfj0GJUzKuB)|IA>ar{8BQKG} za^9=r9qTu{VkGG$>_j8pi_AI7c$i$V7(H2_W2|+yFG~Thz29u|a0u@LHnq2u33%K} ze&ie+=-v3jy$ZKz$67Tk-ms1mmgoYcCm!j{%RgAN=JP{|`sKfAu;ZJu5k_`4u^}L` zi=1MOZ?Vp^t@s5=lz2}$aM?m;adhO@<@`R*>=?<|)^R4j*RWFH{cOXE-%~L+hwUSo z{~qW3_rIMZ27U=byFHuu^#mO^?%{_7gw=`Koi)Mn$4x{t-o6biinr|epYhDK*GoAq z;~$_Fwa*fOWKV-LR#8XP*3Hda_b+CbnfH`V`neUJ&|W z+IEy5oV9+ib(sDn1?ewcnaQrm!}K=n>KV|M&JfupiIZ>_T{gxja~_(x3!38BW|w%w zD^wQFFl{1MLD`q2Mo%B*a&PIG?S#z|I1s;<7ou`nDk1b9u#HFCh1#ffB?Ne}aY#FG zME;?OUwRFvwcJ2|C*$TgCxj%0P`fe?1Ta4>(f7iyoLD13aCZ_yd!MNCTkPh-S-03; z1*mnqE^NkuD7%573YX7_0YfX*1c$4*la%`d$I7yot3)Q8$GFTOZpN49&jN~k3YdA! z>}y_9%bCPx{%zuea0q>z$1f+f-7fTn9+d5jF6)TKB@fo4r!qG2Z!Mc;pSwgkb_Zu3 z#s=(ImhWsSmNvnQrVhKC^Nv@E^cy;g%-IS0wNFQyuKgP39RPI`Fr!KpgL2!@>`daT zZ73Qj_VlZ(?)t@2CUuJkHYaL>Wh3ym6iX>wn{3v`In@tw1mdqa=&!Q;f zI$!>2WTt%#M&SEgS!)S9o%(WK5cuLi5;0TVh zTV6CPvz*OR9rm4#aBiSP(%+^j&Xx!vTKBw+nG%Ktci)$=7-^Ko8w=n)$~L9m08_!$ z`L4ukXh~2eab~}Wv|$67c|yT!%%1^bzxAlX^<;&)S{LtEbPR&BEJOfxED#zTzvHNpg+kPGzF8rs!;)dA$%{&DixT-Y`pHC?z7#p13<$rM;{<% zNi%M>z;5C?Cer6Dm3OP9x>gL%JFq}uj@$nD@n|EQZK0*3UDcshqwytV_(qhnL_x&& zrO4vO13TTH?qA|w&41-pJQbP$#dV-1RC5Xadt$rvBegkv!146+sdDL}BIj@cQPB^F4FdlMurm==Mp4o) zf0O7@F{gngC*a=F^f3hHjB!dSPc2ehxQM%gFjL23eGI#15*QhqJPS?__Tlu**ZGGcM4V9 z0!Ctrf~4iQDutNv}*7KeGZ5Fs<#I;yMLG z>l!NmOunNjQTBO%6{O48m=9|*S~1~Fvx^S~4L|v~CY~m0CQCO*xl<%dd_dL*FePWG z>6Cix2x8K3y_{BZ)nZ_g{69ik{yRg}*^>$}Pn?APeze+}qb*RY9kp}7kL=lfL+Hm| zfiN~d<&1josM^x)u|KjWFCh{F$PUSr)eK?#htf5LT5gf!b>iw0XrfgC&6BG3X^xMwqO?(mkvSn;4L!)b68VDxd>!Nk0`CSe9HJm zS$nr{7}$BEVKRI7d`T{NyygSfOYCn1Ws5cf11)>x5)}Ow5D%O5a z60EjR4#k9$J%eRRsz@KXR^N_xumY)-o;ypEN2rSuG7Wi)7TD%p1A*!!qPdb~b5`bR zceQqnCe5+UvYQqf{p9L&V0N6Mpum8#&VE<_S^&BxYYu4V_B?Dl)bKp#vRcVBZQEvM zThmomv=Xh@y;b}$}H(-4ZrDeBR;ykey?L4gqPojBaq?sgSk}`3awdhsJl8A9MU#{~{je!f1HTA;ZYK zKIQ7uBVYK{)aHwEV}=-OzsE~PU$sq*Vy()Q$hXQJ#S95!R|H%K(>3a zk+ifhD=W}Xv?d$A#xAmP0Ny07S?cjAE>3YXVX^wx=w&GMi)TjdB zdnaPP((m3t`FN%(9Mb$a$z%A%DI{7g?`wcVfhA@*oZY(+HrR-2+Dg9AnVFD)2?z{0 zAGcU4IQaFG(GID5%5ygE;0#3z~Z z>Xnq9KEBCB>p|{Go2D<^O0)Hfbzax}#!Z^zbo~sd0=w5DvwrJR>hROV^g!0Xi;Fx$ zfxryyHd1ZtGW#g$zuZi04wMD!{a_s*(nw{s%a&$F^7YG}pv#^;zUw2t83FDj{^+q$ z71p_<-v>R|x&1(=-dFILxFq#f)6Qy0_(8G#@M#pdCsAN6I}h;W+n}edo=tRQ%fI`! z!VclHRIR~dYmDi^i<4EKkPsGe@bU%SpvST<{23p(Lm0yNJUa68! zu>@lHHbe4mo_<1x+{1dJi1JjGSu;%9L|ab`QqJw%e`}0IFU^ig0Sfy-49|lu9n$Y< z-?(7~gQfNW=>^_Qy3E|EPF}4=i7ker7QTkd*v)^ApGRU`dbH41pq%< zOb9^&?CAxX5t>%ss2t|$9TRopObs^{pT#e8a27PwX2H!2x*zp}y70LAVO=Ru9{m%C zjOr|LU0vMA=XcFv(*M}zO!s{eHt|y-*+5Oip~m%z#@xcy?t-XP3I)i_-e<>>b!OVt z8;y?(Dz$g4?D>1h*2B<~U?gfdim zY%oNykT{GqEhS**a)`M@a6s4n(NswYQF^!jlJF>Tb`hOT<{cU0`=<9f86Cw#`YH~N z#i??MTKjUpf`1Eo5{i7)VE@Mv#G)dj&K)6s0<(Xj^QJpRt@!Zi#IEIwSfRU(F>cOx zAcYg>;riXRsWSwKX+%{^))0>g`|t60;%M`K2)l3N6UX<2gJ1I{du+bse;i_vSa_70 zQs3^;%jDM2G{cZYi>Q9?d*ahX!ZseqFnu0nE1gT|GLs)^P$W%Qqea(o!Jaj#5(z7q zet3;NeYx{K;kI>N(lq1>{q`otA&sqENDDTOIvtb@qfk9Z(iO<533u zd{qVaK|C$T?^&)iYb-HfG+!|_MHJ7*5}~+1;R`!JR!4`+43Xv3D&Kka729R@Z?0^3 z8oDVB?}O+Bd9t8lO}pcZU!IwJ|LVfkBW>JFP^H#25?M~xcO!$vkOu%!A*r5+H-MKEX#NI9-t)~9rP3p)@`EgpIeiSOippaOcg#W7@hkv0FW$VVV`qB_pUn?@ zIOb~g^ds8@Hg~L4m}J1=bF$JBXNj7@DNn?ky)SBuhtH21{Meg_}glo_!D4|E{ zOn>tFVs)hxH94l<<<%E0zuHQ#^EPeCA1V|WYZiTbCQ+!Y5t^(Hej2#BEtirPtBP33 z*ZR)6P9ayN)BKSqiL@OI)E&# z{Q%s(NNOtqa6I3Nq0m$JA`+;U`K&*472>A7+i)Qc?7?oA)9Sr*Dn0cLne@$sQW@g- zht-*TB$Z{FeH^{$x1(syyr4nApkk;0J9UVK8exL^XKKB+gD!3?Ktk!Wfh)}>7sxJp@ zWoxiE_v@ZktgntS3vNRN6bl}(Y~qqVjBt7$OZ5J+x}zcyBKLN6kAry0=ywozJ*4|I#YgQY4=zbX_UQZE3Jaz|)Ho}^BzVOqIQa`E znWB;{V37vlLw(pUtRt0Zzsgm{+$RCp&H!b|L&DB|THPIrl0mLA>F}Zat))EC06l{$ zS^zv?jc|KkyG-Ape4UU>f+hE=X?eTHc;Z?K{;iIHX-`PwCP8TJ zaG1O1bqT|8mN9oSGJWVFO;bm4dXkdb_*LuDb>YTt|MS7btpsO)&X&T&nopLBA@P{ zCR^%;w(HoZEqK#y0PEE`-`H%x%Fzf!zXg3Y>h0+)g_T*{y3&bX>emf=(3 zBA*m02-@~wYn9Di_tECWalQq8;8H8}YWkkRz3dgj5r@12k!K-XTBX(J<)9MZVot41 z%t$hey^vz#QOK_e1FF9qETNm?t}L4%-g^xvQ%`ZU=X_a&wxsfe|Exz}Q_hU-{v?q? zoRPJT0Yn9ar|7)?_TG7_hg*AbWY)lT;tT)quiMX27;-_|0aZs|50_MqcdW_SG%R=% zFfBK3rdEvw8lcl_I@SPF0{xjFp3u|uskjKSPJQ7_!+k#rP+YIFYN9VS-3l1^!K0_`EGAZ4|*yo9?+Mqs>YmI8G_RCDKc| zlk*wF5>smV0JC(Hq1Sa3?eSwS-vg;-1a?e=Qxin^`=7SI41p<4bMq-6iHa0_W9#^) zQ%hKFz{0g^0qCEfF_WzzIsajq9ci07^L_|GX4!Nzy}#PbKI75+g6J-);ireX0@Alj z3ZL$j0_HuY_QAk7s5G#u&8gFy9o_e$>iJ`;mTW$sKg81=U)TcKSHmTTo{DBHWV$)x zNVJ_z;_JGOwbu`xNsT*tWR~vup$ia;M62pegswx0)=MdZ@`!%C1|zyN!=tQhnff@g z%@xNPF=;>eR`?xV2!C{Oovyqd!RZ!7eapA`N#Uh9y5G8YEcbMM?~lgGny3npggm)9b)cPx^rt!%$r9;?2;9DUO0qre9&aa)v@kdj=y^P@ zOzx{!l@VawsV{)^3w!LY>IX{=1&icR#*b})?Q2fp{>wu6(7D)B{)BXKJ)!{en{~lM&)Jaw@vEM^OZyzqiy;We(Fu(G7VcwO& z;hYgn0IT#U?&SRYV&9W>x$Ow0(qOtRSi_+KKZmT7@K7sQ?rM>FQ5EN^uz;<2Fg89D z@UjYp){nN*Br=~{1+$$G4j>sS45k4qrPK3?H~vq?guH%`31a}?GSs}r0zN&%w8|G* zUi6^p%9M;8=dPod4o{gJ-R1|$YLe;`+W{*Z3t>v1W~QFK-I2<|6c0?+-s`I}HKR=U zm0zgUXoMVj)|8{#*(WL&ZGOAb)3FltFh;UdHqG`UCvVJ2$L1TmuzAZ^^OEg zlDM%A{q4#kkQ(?K_%&8WB!m}W?~~KF)@q)pYklysd8wB>*fOGR>5%(D<E$W$g8h)s*dH@b^+z7nOmp3!q(A5Bmh@qg+YI&zzqHiNRsq`R z%D+{dnUa?W@a7v)Y;fMJ|GVanYrGs|gp#?P0zO}Fu8XjU_SUIrb^d3#f6DGenij~* zSxzby8&TK$zT@7nuSy1t7d;*p1g_We$}N=j^VcVF?0YQ)6^pMNK1q@T-hbYjWP7IT zoj4K~Qz&~{yessCyBI|M{-weQRXun4b%+nM29PQzM$BY1^3petWDsA*)j45(9w7V% z?IBAO=PIhRd_Ei$7^&})UOWa)9=K3moY4rBaQ?_Hq!zB&69z`%vPduY|7gE?e>hDQ zULcQgZ!8{-_#1d1lSWzcN0)(=X^N?{*|CE&)LSq37ZqcW#_t!MM0MZF52WhV3Iq>q zsN#J=^py~S35qV~bXCs1wPzxXAwHxYuVUR#B^ex+JP5hD1&m}gjzZX84HK=$Y0#ekVJ{sW-)JCf z1)7zKB^W&>A>OAw=6r`JyUe(+(da*ACtkUf;X5|l?8_gfo!i2#&muWby_C(0?u1O{ zl9W)h^hvsv*n+~HI-*`xxh%v#nqo0~u$$rgD?YBOHYo$h^C$i{#rOlq(u*u1CPvws zzCRBAz141&DnCU9d0_}4E!;^|>8{s+;GqQy3P!5g8+}MWN@M<=sdW`?bWB3z_)vwI zX}}|Mum^2T$9>$7RNiCA?xPjvj*ad?Q^^6gy<}&)DtRp}B`a-zYV0)(@3_M~>H>gT zxt#qE9x$n20+r*1CtbddZ2PShQD!x5o0zSzxua5Py{i$v2|TAi*C(3)04=P?TFBW9(`#MZ{*TSmg@OKP&fCV`?umYmqOJa)EGg&vnqhNbuY#_5qGMNXx6+Rk5F*)8 zJ6f@Ly3K%(8yC;Ri8x35H?(d$d8BLf7bTn?q=l&U8E7GC+-2VRItt%wX@@uzJ>sSn zD5;*q3scTAYLg=d;d-0e;0*InnB9}k+^Ub15k?*35_wvol=a8OBT*tk$YRCNGt)39 zMnal*8Yv)0Qn67@yHB2XRI`+`LuA5LqkniD!UVh1n`8aGWH`gAI9nC#Elt}!P!;l{ z#(}tP^Y(mOz4?j|>16Ln|8WDg`ePjhYV|?QS?+iCK)5=f^xI5enr?fT<9p&7y!e3} z0!-l+GHvlGXrNC}bRAhuCXF7jo*%8+xqI>Ec{S6j&`cE6n$E$NmZp9$RUFy7qbSOU z{T|S_H<4*CH>XmGJHJQir@=^qW$yd0JE~I+B~%Ob)2=KbT$B?i!v~|+@31#@;;~UEFB;6KmIL!BcUA1 zDJvojiJ{jUxGSt^DL>Fh2Vq_^i6#Ji_-ChR;$gmnjHR2dVr0(=`nZ~aV0;xFb;+ky zu{3H|jBJ4o)d0yYSnUzPMbrv#`!z@KODA{>X?rLjXd^oeb}98QPGK5)DGUP?{?gw0 zLmuerXT2H&YO&nDoUn0z)ItS0NIg(At{@ZqT5C8x;?Rt*q_-w^lvRBPOc^*C;4(Ya zdSXNd7#*2yqQMnUTi(ZeaLgI?QA2p4kh}!3rhW#w4nB zwt;1xW$)5og8KJ4luw@wQuQgAB&n5lIKJ+zGLlECG~p9{&DndqM&0CY+om486#%`5 z3P^g$@)UNm&xSziOZh8j_%uI{T-euA4X6HA1HXTcox5jRVtp`6Dfg*~=hA>qo-a;J zX)fiveX>J^AGn;s$wKaYK)R{QsWPfWv*DQe7nyxZA-p=8GEOo207TOlimbEKr}pVn zxwqX1TY7!_o&xJR!4x6T^P(_#{THHdq(iQNJ1c0defUQg>w8T{LBBt4d2-jD#%K`mYVNhm+ zg`d$w%ym$Kg?#p(N&{#~pfk5Dq_3XW5+Wcini&5NHNKlSvSh(j#5)LDJ_&he$mU z^EId@$Fh1&XgMhkJ2`u#wFJ|6lXRAY=*;mipAf5x2uOTSSlYv3ud|J@kkl#*~igC|x zGJvJTpuPI|E}jUSV;FLU=#k?&(#s?~`0jG1a9%6oE;>fM3erm zt{$Fn%K~wwyS|}r2yu?k2GnT;$-LO{ER-?@bqi%y-Qbc7B)b$H-M`2(@dVQrdd8)F zj}g(J{6C1MDgoQQ{}9Ok*h0KM1D>0iN5l5=;?=j*@#>kVC3{FYnO2`M_J-BOUSZl7 zS}OWn%+t~Lfk84Pk?W!%gMY%=PSF>L_CQc_^K5?k|8v@>l|ca@JhtP-ibeJ`5t|)+ zox_))+I%WHo{vmi|A)mMgz}|-48-7xOwn35hNBGvfaU0StBJ1Uwv+rl2mNNF|BAa( z2fy#)(Y5~rp+dx3vZYQ&6q;S|;KUrSvs`0{qg5a=XnDtHsis;wK=>Ng+ULQvD{??2DA_@PNv{z`R{);=3XGC+5E=&k@WiX zQ6zn)hyDwI^K&K`#;ektX6cK)OL}P>w24@tfN@*1he8={2AyckCv5k#`p>PRVoq>z{ejh0C8>OU-Mp(EpV&b}96>0Z8AB z`oJ(K4S+iJ`}GZph|LLEsEY4UuEEM(|1@o9f*7*|T^`Q)%^zo?8{=884#MWl{B|dI z8`m=ng_{&eKsU<}BIZyw+>#_U6&7T`da@C?%42R1Pm;x>b)Xvzc{m&P>A$-7F}X=6tx>Ryx37AikQFrRwtM_; z`p42ho2GM}*gS{G=(iQY_x^%M-7o*L;?1DBz8$wa$MMQ7V(*)Niv=jDCVdqY6>A9T z^@TW1fw`(^@R*9vo*+v*US6+Thk>r^5O7>A&c^$C9@B={`T=XTY0C7Tw;mhk0&G*) z`)vmLsryx!QOZF^f-C;hp;NZSS_1pm2Gj26I zD;W@UXvWEZz~}eN!_AUG7zc_dGiWaZJEW(F*hsS%O?UNH+GNAXX8mS*SV&dh7NGj; zhW6Zxk=!ccH2NU!Ug42ZDkB~CG~&-cnTq6=e;m8iFJffYC5BO^=;~yrP;enyu#YbB z4afCVecL4WUtj(3Cc2ySxj7l{CU(v2Ja3TIVc|1|w`1oCh0^(csD864#vKp5#NpKO zji7$P`nfX$?cdzGLK2K+j6{K7kJS8V6y?)_F&AwD<1A}DGdn+VZ%<;#Ek@59UYyF| z9N9N>_WtkRMY3EH*y;p4=a~=;`U57n(lh!}V?Ja>} z4hApo)H+>`^a!+NZh? z)3q78Jr_{a?&CP5x)XncP46D)5TO_k}20nnXm>==D!TOF@K*1%PTVdpNl0 z;NDlW_Zjr}I;2}uq%ty0x)IdmWUCsDlWms^*EsWSC+mdQjgu_Qc)vWyV}9PZSMCzv zxcz?Y%OhHqKy}MpxSmDpm=LeO9{m(MkfpD|BE@l=;fHh$&ZkZzbCea2RyN&et8+Kd zkDkj!`O>+*+IH=MA;2IOnrKjY@}AgSl%yXLx;ly)?zY~B#tz7SD638*$b8#CcfaMbbhw?-7lXy*c9No z;)o|`r<{{aM^yr$OQ`NWF)37)q@V@HDS-2v@$$q=D57!5YnqhP_r(3+HJZ5i&Ji9n z&hf)Xs0eAJ8#`?dCX*}z*LpYc|IpxuwXk1;f3L3k<{TZ3?X_QDm8;PCaxus zS_0lH?;gP2fbR=)|2W0$Gci8T;5OMWkKdcDa_ieG6Xd>$l@KUh={>^RM2*)xy-la8 zfa2`)c&IdqIQgDn3AX#R1+Sk&@l_}p5*}K-5+&q<`WLZww&!-nS@l%YI+6 zp(^wBJJl;b^98(qzR3|dS!yYceSc3J+}V1NwZr_9}aOiF{&xtj_5U9cPCw@uFR$gY#y>^u?Z>0F3wZd zb=H}2yP;P+)LXCaea*z-dF+AR=H#}ZO^`vV^`3?S1GyskBe>1=4dNTk3HY^biXhA- z!&dGHzDxkE>dny5+Ww&YI8zXcUtaWpUC_7K8{sbu(B;ta`?ut_;qbKSwh_X?sWrQ2 z8tl{*AnhWZJ4wx4-a@9|JUuz>`?0xhOadVUY|scj#k|m?#;-XBRd{r88|q8KtIO)S zRs#yx8>V}cygM1jTgbvNy?>79*-Z*$lKqvP@FEUbwTdmOYRh$D%CwWSmajSf!(SWI zO#=YhHmKS-!-b(BakSbkzw7B0xYD|O#Aa*OV;Dtzq#qWF!PmcaeC_UHjKi9+gJkD$ zytcA;hpyqZ$3-5CbAbBkkkitGqdQGYo#hX?KrLpk$aNB5e-X#8{WEYKK;sJYKGOI5 z`sSo&xDJe}>dJWg3vJdN-8V)nZ0cBKR!{d+C+_T(9m`amjmL!+5gINed?oY1o~||rfZFkp9@^$k0{02T|`2waz1K*_8y4BKHZ@w!kT2v50+?tdTpbT;I~ znP4P0L2aG2KILcQn@B1%rR{tZX`Se`5zcId6OWH(4hUuI(358pPkS@>ZH29K=Hl=z z7Os8}AH7s5g@Dm>;Ik0h*LxUow|1fIiRs^DM~so7roE9p1?-a3wBn< zOc~E@>Fr7_0hiv2u2Z0G33a@N-z-*HP8xpw7{JRk)zLj-=7*k?1u9wp4xEY~;%yyT zrH3^m?&DrbRVPWp(6+38USH-)fRpJ@t;2>qGM;=wRqZ^>7!hkm4gUOP6}u(=N#XBs z^-P!4`&jXpN9AKu5mW=TU`ZEA)T5Y0vU7H)ork*xE724}`xL|Fqn|MN5Ud%`0Q;7g z4Wy9+JW{!xX{eq?5YG={;&e1=h-BIsk=N&0*Y^8AsGLDf;~7o(e7b2j1+1CsL)@BI zE?9gLvT~eteTn8@b9&a2j%Z_~#BRI=FASMDu)IM6JC7FWlvm@W4;a zlC2g|&6$5eL5BO#CE1z|&fOa34hVLDs0P{n+LPSta>Mg9{UjY$xt@*6_-moab4~#Zk@(^$IJT% zWyU=r(MK+61`l%7TEHE&tMq%PU7L`^0{w^Lqi*q^pgPV}w zYwIUhm^77=S}4+4|98>|XWkn*`joj%ZX8^^OiNTBR`AV0<`q#eQ`r%P1vep}v}1ep zCuWW3gyiM@_+FjtOa1KA4vOIrw!<aE>WgoatBC%*_$*~T6&`4rMU@78 zCHiD0?ujK+N#W3+7jNv&`AC&HDf4%9%*>eefp5G8nx~FqU-N`fF-?Jynd!7ZwKwA) zQnk<=Q#zu-+x^6vPsiy08s>gZ*h)!Sg$e#Fcs)WuD9R#txsy} zaZ7K@@3Bob4!+&oCE;Sa+r#hjzwkdAcZ;My;Fbsu^GWPk{vjKkpd1NJtUo$-1~nUl zMkCE?nQM9_ycreTn1**Rv>$}mp?iWguz=3q417&r^oL>qdCg78UV_D)=HYuM@BkDS z(A@y9e#&^zJGPKXntIvzdiz%VlwK{-Z{2z^AA98nKlLUkJ@qE>$ikbJF@f~FESi&P zOepir!UMc_AY7eDz*^Z3WhH#kGZ^fR@aVUbyOY|gc2EuI>WcZ4j2a@-4MH^mNxVw} zX4j7%y<<>s$1|)Rfz^SQO@_`|9VXSNnnVXmXo zL2PN{?;o1)rvQ38|J|hSoa)Rxf$I~mi#CXAiLBFz3OaZe8Hw*Ci%(jv%Mfouv&4nT z7!^q$+%*oRP*;sqSWN;A`Q7v)=mPIdw}r9z+HIGw;DiQ3DVOVgn1>C%4f!oS_u;YHhGx97nQja}jA!N?-?D4BTr<`&WSv}- zv0EAZN91j!2Y5)z%gbG`=Gc8jfF@gUy4uM@Ypi%2Og@VXBOxSkqMv8iP-RW&Pj@1 zBrVf5YmH+B(&(vtarBrcn1Rw1H<{#0pXm9iPTMrZKYVh?B%0*V&L!Z2bZs{T1SFBp zsN&HvIIbY{yc}n<;j5hZWkcd0h;U{a#KX_Sd<-GQq|r>-qM*@MrFoWxuRV{vtHY2j zokiJA>9>GlXnLuX5A`pB@}fd2F)>`;Wf%5o4f$V2Y_2KwI{Bo=WIH5O$|k*@Cf&m9 zSk|~dqU;&#i!_`!LgyVrufxqm`M4ggQvo)7YZ=njc8tEp4i2^@D%*eGvj+M*QG6K; zF5|WEJN|6kY~%fcE7ft$wTj~B(H8|(N#wuB4m;Lf9TvhlPC(DiWbaLr1P38zzAU@@ zuy+5r;jtG^0RMq}n@5~73f$CuIS)Cql~kuI+Xd7ZZ5Ayt(oVWN3^&azc_PJ{P4MQk^! zPF2jM@v`;<95Fo3FV~-dh0QkojxxmpT{8-OuSyb>=A}{p-*oDBz%V; z5#0NK9{HI0>iHIwuuccglmujXKZaQ#^9}-${Qh`ClDVT}n!Qqj6{(ia2~@Qh6$;Bx zd{limxs_|{2^Yy|CwiOxy$r_$GN6<5OV@)}m)?P}0%29ww8W9)3K_~Fmemu=A=&+z z(j6l-kzZ^pP$zqP930h_F@3#z5dmNij1o?-g#u6swXauW>qJ%Csw%_KJj{Q*F?}J9 ziOTD)rbn+;f*lVXSShy|*<^s{jLU0ABi-hHhXq{x5iaipb&K%_qFXGS1$AXi?ZWuz{JudcQxNe*JWi>anHZZ({hQ+e!(cQ zY1wd%$68%%6V7hB>+9(*Gqin8nw6^-MtHwo0uD9?$L+p_A-Pgc*Lay+&YZx+j!5P192CMf%6ISQ=d6eu3xoE)_6{ARJ;2 zhp&Dw7+$TpTow5JV`oLJb$k-jXGj$F=D97^-)$97wG$%A*6-mEH1w)N-;A=g;$6$M z@N#^^WG;zxyz+FxvLd9SZZb~ zR~6&Gs(B&OQi#IC(4`FNMgW+WHyIE(!JeTb%lb>-NF|Q#LisVjbW41mzCp89H5s!G zz^za9t9MR&1%H1TKXEs$jSLS74qv#U1?nN=uF!@(gG6|E0TOujf4_PhVrUa;2>ob) zBip_!-z{6sS+)fh`rBCj9FCQU05dDmkRSdl-L*B6x^tjJ<%xY)LQWUNEDDJ94uzc$z|bLB2_Y1&I*^D zLlfS2rtf4PpZXYHlJ^Uhj*|7~emMAzb`^MLm~j*slW9W!fmt|;Y~Gk$oZKMGaD<7O zHh1Aca<=w1Q4K!P`ve3`)pU%IXVKXFu?ZzDb{&v({;#q51a2E@$PeS+HpI7#4+!!M zd`;}w0vWLODRaY0GA8)w>ej$l|7D#w=c8_2I`!tC`^hEVxb@T4ZIbk96lMGp){`@& zObBdZ=#T3uN^qWoch{-^Y|#(9v$)$=`?#b~D~k{Fwrage3q$lO!2Sp_lMii+yk>9z zzu0@ruc+QQZr1<>q@;5Ik&qCi8|jd47{Za3p#%noG)QSl>6GpoT1vWOXrvp2A*9b9 ze@~tB2b@>W3m0pRi@i2`?tSO=xxQfyeBVZM^pA%fQy+CUI?2R$AQFwtN%p#ZR-1(zvedYcXyNgdc32J_x+YM{{SlMsiEB`dI^wn2g3=LQnvCtit=_*<0eEI zw-?-0PE(4rQxsR5UOJD~v2kYB!)(_l(69#_C>rTB7{=n;tP|$etl)R5?>E`9yv+os z#TBbNcIOP?28)OCtw1E!3N(oWpHWg~#dKR^OlY1`^_4!(^kf}|3ON-8vRj_4usW)=FHjR$VT9RXM$*>A z-jEDy4cE` zCR>HPFVLGli6ATy3-nL_n)$f9fAQB3YBHNfQ@oA`aP@1`oO`%*?REh;hs|1~CQL4P zY>|CgSrgKoh4W)WGJ_9G6uP5Gx{og#m`OF%weF^kaF4j{ioRwYZ(Ak>e09JI%4BT% zb$ameSMNm=DwBLbXN`&hBBsS=G;PE&o)5%eSSF>~Cwm^Hz6Yg&ssnt)rYDHgFUDpz z7*ZaOtf=%?8SbMhAqFp?;t>nV=%3%sC$WdEcw>32@Q~y3lebkX|9vhVLHou4OG9Eh zH_fY)f;s`q0_Ew8Z?C&DN@!MF>aL9471x(|)*&2N>*5D#1m>1`E2~?_h3QIqsn$X) zfj79JQz3&boI&3_aMElTS;Vh=LOR!?7sE;O>`#JSIlsEUAGAdQ=RI}8KZOv}^QB*4 zzkAHRdSoJ)%0M4@lpHA@6L*zJ=hIW-yzzKyjH@8d>d?|&iu6C%E5mcld$8GTyyB#J zxbK<4LsU0boJG8S`phSHI4O#M?GjC1&INs}POZ~-#E&feYVGk^$!?E;bUaJ{YxyRm zQZFQkyGQr3-Fd9D|9PY?Pn>FtzD(A+a_(gGZx7p9oC~UU&un~;pWDXAwD#?~EJ-3S ziX-hsJ`S+@qEAG_M<@=6H)L9DlP`BA>`1LliWMlP*ajMgjRFkG?I<@4rRF^ac&Ei4 z284&-y1nc->U`QxLC@W+rm#l!{te^TCxQ ztNU8~>RUpfXps}dt|BQ=QbnOzGjif-s@=|N4y;|^L4s77n(ijpAj}ZX3^n=-!vWj> zeJ;Q_;G!U&ziE&@+1aSu&OKbg9-#h?1Hy39|40FgK|UYOH7Uj!I8No$`=Y~&$#bS* zPZgFI!8JV4qFT0JZk7Gvq})ZgwCRkutVDaelB`Y$>pd?KHO`)&s@5*;+cP0+d|Ih; zWf=y1kcmt{?qrUZ><{}JWb8%&=fU;Zv-GBSy}vf^TWyk$z0G3FLT-_ti9V)Scx}*q zFn5`vJWo{BNh;WsT&6)uv~^_`1B!KMdhk|~%MIL@5u6FBbP&5{qa%#y6b=UQ($ zytj2>-vJp&MVJqyA@9a+06CKOIXVwuzu)?K=;KDflu*8nXBfqRXRC>%dXXV`*CTxw zKJo=LVcLgu@~AM8*n$I7zxU2O+$YMmHYy1Y?W`9?&nC;wQ|}K0`~i4A(sLqv*5V!k zyhohNnmU6I&v8Ab;awy@U1X(>#qvg{5nE~@m0IbE7TQVIA$8yM zzp3{AvMdr|Nly4kLZ0`vEcklU@75ZeOdW_P#x*I-DFHGxBR;|bHO?FZutT-i?}v2L zDXK$U;u43}BsOsMCuxS4pTkx4|0udVyLcC>)&!6CrCQ(0j&z7%+~z$o5Q_;En6ttN zs~#ng_n@*>BHyOL0w<%JcEt4fTnFO^G~|`p+*BPyKi1^Ee*+Si@=tp3Hqn0YqX1sO z>=9XOP`*=bk!!rt)lc6QjTd{`;a~0osVJuMKb!5p*SG8Vc53|H``2ugdB7E#Hl&{2 zqQZF=moMmblzualUb9GxRQQRSI(FE_MNF1BOfr8w{?H6zh%)Vv)iJPjO3B3Y9Dcu5 z>CG5*=oBPc?Q%2^0!XtGq-rGf!+^H}Ur^$J9cl_(W3(1>UBFZvK|uu(9dRTmOx>>| z4)xciZc?GRT<#AvEGO+KPQa6q^fscXR*i`$_;Xv)ADBtk0!_pOzZ&qI;Xdg|z^i(V z{(^$UN}H^}rSV^_lS-b<&3sy?`7R$|2=26p(0%wNwg(}wGviwhTk$yRy1%Ffdc$~c zrqJ&)&u?~5d-L<^%$2+dQL`)~3+`c|rhljh`%I!(VP|b`5tf|*Uxgw))xrzYG)Oih z9T0S>KHU7Uh)Zkp_KnM*;K&Ze+37vL-ePa6cS4m6V;KC={V4X<90<{Ir<2WDb9Md8 z2vOuu2>;>MM7i+Z+3tfYQ6{}%tfO@kEh$e$l0HLHG$6|ZpqaDv_nO(GgVyj~sW$v1{QXRZeBueBD8|4>Ds5o8${zEGuX2fkVNl5u{ zAZOQA6-YXy$jFf=WKu;;&aI_*e$J`lc8(P*@X3`+L*U~@pC|!A#9u<<(w;v$ne2ba zZQi&o+#txi>P_k%b-AI`&aJ1Ppq3e&(bTDzTMt7}_3$_%j{)jdt-w6R8=VS*Gio)B z7mN3O@x0O;ZY}qD`;cOG8}$VmkB%@8RuE3%??3kntNXUVoDQeQZp+*kCYaR|$j&TT zF(0p>yrOssEHwzK1b0(p=E8h>G@reE@C^@14j<|gfPfnVD@|rHp%SoqkC}9_ESW3g z%TAMSHpjhpz$T7w+OD-Dz|q$nkDV&l@m1Kbvx9Z0a=MEY#>ceFm*A=CfBadhn_jg? z|2AIp0oz8CkI_eZl&sT%y=L8PB~3z+__=L28Lw>Ob||pGF~GYLC$r39uCT24TaRrb zq9S;xMRujBJ7Z{E!8m4&r_-0}@zspNeVVjJKa(l81f0BfB9@5ndKDVoMmj{{AMM!! zaRjzKws+FW$0mozZ~3QM*kZ03M|M4}a_vo1-pr=vrAKf}$~gCf%WwnACpFLWLcsP9 zi;GNl%G{+5DindhVF|_5ow(f`MaNe;z)lwSD$L~d{N;u(z)aJp_miQLZ}@wE82kHr zLtobFrz>sJ96W@ajmGOYFwdl(Jxvct?KdT*%QS*5s2y(Sd65ZP|hI0LQl<%3qp_TK7l|zKB~)1SO3{3 zsh$0!1kL5<@Y>VE=@9EKC6NfJ@DDi6cC4$2+j#n#UGpqYs7ugdOqc~C34wMQ!mO8m zSgcm+&J@dBxhT@wwN@G?RFLj-r735-Tyk>mfoXZi7;kO28CbDhhCpRXRH?l$1xClS z+R28Njos`4j)CrSy1OL;{Nk>CYFQ_3jopk?F&8>GuK5RfXd2R_BMO7Pj>O`i!& z048nc;hO?b_E?uilNb$3HT(S9-nVgHG0K1w?c9-ZLdN0bc*&%jJdiFi zNa(NTq;fe_1`yQmR)&Dr(||*i4Qw#qL0r24qhIItI0thc-%M`Er)LfwFzJP(p|Y}= z#Cv^LrHf0azI*nLUUM5dzwhHi$j}DDkCe6PfH|<{kdgYOd9X5;`KRT#Sy60_Vp6!9 za?W9yM*SckKcSlH z|AFqt5TyQJUibf!%>TbZ+y9%W)%mWIOvqd{=g@dFB!b4oA=&?kb~TBMwS)gJQ_Dc& zbx?2Z{)0EQKy+bS4Vk*ZM@d712GheC(LDWMK&3j}3~(S@XsaU($o@qpKTZfLZ2jdl z=NUv=bvDxr=_>YteL&N0@OIde&pERL+B*pYPS z-K|y6AwcRjO8?N7eoHhb4h7X}c_INI4ET|NcQsk&JDKX#j%}~gfu7DCpz|no!xC4n z09DpqD*g|hpGx@0_WmzO7C5H1ZoE00E1Pp)@=5MlP<&cpG{vY2egUn4=GqxXmQV6< z9{htWsR1|K0VCaoqC47I3V2ie=6A5v9nj!?yZk>9EI=SRZsCicj2r;MN-1~r5mqDc z(RAwVNuJ{`-=(cGK+smqZ3m6}KmJ)H@&lXT=oP}jQKX-@`-G-~+hbZ+4R>I!c=FRs0Uos#*8PAdk2IbtnQUDwdS( zL>{dpMACmbZ(6iKCU5?`)u({7mZ;N-03zV;@aRzh`paenRJstQcZeYFRM&g|KFR(c zpE%-*JZ&1@o@;mXMI|?)k=*^ea+l?`81;jeyPHFIG>y)|9gK0 zl7Oci|2**O*AWo=t`r4igALh{5)Gn2OtArtpyYXOe*et`MPtHlWgcDZ4gbWOC_adb z;-)(KKL1^zJw8xTWZzbOZodX;x_}1!{;5x|<_C_t>HNNW+yHwBi#|u8X3!-=AGA_e z3}G!Y{(aUNf(rhLmIJrT69Iqiw@#-eA@4VT(S)pfT#<3^9AK|a3ijEzGnG6|g02A!LcLM!Tu-_pZIr0E%yaC`j&n z0UB@npDmXQ-utEjjVvsnpVPs#d8Ga41VN<4zi$&5l!a*tlY^VoZ~tBE-y=s~OYGmv zgg&JXnX@xqrP{wS>WGm9=ubX~U3&q$$+j}EE_H7_04%;`f~dokRbsc3Gowd zf2QE&7U4g?()OX&yQOX=c5d#74%*o~Uk?XA0RQB7JOG%`X6BC_8!`A9=m-gv4?Q?5 z;hqn+`D>wVf(`wEqCj=;5+e#b@1@hHC$8vsbbPy9uE*!UW`@q8P>@;% z05wYyfU87YorqXR|Kfnkx9{jKb?#L>8Y(|Zx~9UMxcUTy5!!3dp4Y3bcUnmNW5-8E z;p}nV(UK82z=C;Xh3es}c|o%MesnjwQKK8_J$wcb{g8j%xX<_$N3R6t+RfZQ$1vLV zP``(3LXymtc#YqcQg?(Wb?As~UTd8qg0N01=6U7iU9ioZujk$%^!`)Sa)%7R5!x-kXv3rTkScJGzw9~?gA ziuJQM>3)NyOW~e*`vF|ukn^#Gmg+0Oh&#`0|B7)N;8tc$yl%*_owU-39_6aU*`$%C zZ%-FI_;~*o=*FAZd%;VWQ}OEP7)2u>^L9ak<{lz*GbJy#vK!H_aNfLMy5$i(-d3m0 zr-OQNgck4ut5$pb1YX}w+s~FoE6r-pLa{bE0U(!4xWd%GrsIpYXil+BIT{gn_d8MW zn=m=aBDc54RbkC-dfKp)8svXj3ydq(wd}=`AhB7I^B%&ZB7npF7qrkm&;;HWObR3b zmxv~(+C3+PKqiLK?0*`=`0p(SiD?dWkC!C=o6;qaHwCicJV#lZqPB)?y*=erNB1N( z>ZhZ45MPO_nc>=N^G(8Bem483c>U^Vhw3-)UG!(Vyea8kgxV!)~g;BlN zd6^uvK+vEhLlS`PZCCUnhl&9=>^eFJLtInWFj+F|Rh!T-k*hZOmbgN!4juFOZ&d7& zds(?J5(9KB#USb59dx%&=YTQ0RTO|o!Fi|3j6M;Pw||)>riG#8+0?ws6}!HdlSGC6DguGzf(Mbyae)}&O7yDZw<|ei<`qPw_+=uiw4yjTg8e7TW`e;RK@HaMM?@b6ni0y(c`nQdOF=sXxu zdvEg=ZpkE{b;3hfM}!vAS2dy)1QBLacrQ)kIx&p|lu1gv;9Z*i&!(4z*Z1F-)|Wy? zQAjuB1$px$%yTr#xI2MBTbgA{J}fh2Jhq}p2=b4;O2Gy7cJ;^2h`IIA**sH zZL*k!E9tw&n>zr|-dGLs#lT^Bx5bJq#~_sUtjCp$zt?O~hv?#*_2h5YW9*1iqZcN> zzi(A6IJE3zzBy?}|An0Mj*_%G-`Jd)S50A-_(; z%v=QN-YQ8S%-A+X&)rT*esY=hsM}n(-{vdmd=#b3=YRsIQq=}pNvOAu%@M+(<6(-KQS;V* z1EBfJabFz5f$vgm#xJc1p@T$=J}30ier(lVc3GSOe+dAww^9A87cwTBdh&~X=I~_f zTws>HBg-6%!w`l!>>$AI)#DZ6pP=Ne65I=eRFzkR$)X$%tR+z2&*lXWJAAM9>qb)W z_XM+oeYy`&rq3Hg2m5_p9qd^}Yb7aJL}M2^&)z0ibWdB3P37$w4l$oKxQ6C2@4WyU zh%t}9I~10jtAOrRF858vaixG(imR1En~oz&PRg724@K4@1(xirj?0~J!7)DUTqdHM zfv)jFuBI1;$o1>vPKovB41GDk2J08003{ZhCBH=>`D>`^St&R2{aQwK`TBIzij(77 ziCr~lgDa=I`9n$dgXD#4o|Rb1I6s+W!^EqXOCEP7ttb6lmog3OOn3~O&<*rd$G+z( z$5ll}q*IAzss{ruPc4+^(&(^Ryc=hV^6SKEPi7&X6#+!7KMm7EKDiPgqc7Kgs|G%WL!`5_LhH~ z`#ctjjCRqp!BA;VQ%qBD^t^lS%`Hy3w1Q0o1CJ)t2M0l!K+lzbCDn+|trv89-8E4VEn;m={Wfj$ZAnGGy(SUC`SW()x zR+!>8b<%DW42Fp|FZ+%vA1}aj18(-4`r?ln29J}S@|cXXuVGx`9YF|Y&o8%QQY*JE z8t|#ISksHF7Gb(@Y4cI+z9%=?VRJ(*|D37S6Il&J+FhK_wWPE!LP!N=?rSN*mvm&Y zM?&3z)X^!);d~R~h>Aooc|@zn7=!fivvKiXEFnP^D%^yZ6`R*=iPS6OGPs4lpGaD% zbLb0k#fGSI(N!ckc^7Q5bQ06(1cO*g0iOjM7M19x+rzE`t@kuKVuIQX`c5Rim|cz8 zxT2dBo(?AI-a1mG_~8-1q|D_!MAcJevgv8Z%p2P?DtC@X74xw=;{)64No0{*G-J<< z7lneFIHK8>Na&pr>0`SMx~%Y`pKr2J?7?HE;awd5{eGlh|GI#jh05ghK6NPk?C*qlyj&JHCA@|zFh-&kKr?$Lpx3CFa+evOJuw;i{sVJ`r(?BMZPP!Q zI@%5K`n#Wd*fqT|(vPf3Frwzml1|D7hZP zE4>n^t5-$MvoVIQNmb01@qXx%T4Z~+UUvRv`I%;|(ogh(CjT&J8zTQ{_G|9IlPyAV zoS$Y^u< zLTZGU@ZitS#}efxUsipR$5pjhK}W#~)u zO4P2fHp2#KMyZr=w0wA$m*sRr1d+J1=THiApl+=6PXy++BoH_UujUURxTvZK1s>SP z1hrVQYuX3ZN;ejo=F@@l&9@OafPlwB7P z?Qy&s{Zy`$7!c;+tN0op8C%1H zV)tDs0#A)yY+?y@IpQ)`A|w^Yx|~eLK)$yp4gdT><}WSBVS{|-eMrXB@xMAPxJ6p_ zV7}t%Vjx)r)OvdNFJ7hz0Y%LchVJK|T4g^r=%!m8=tzELkO~9#SiXq#GPG$}iv}zS z$xORKRi$J8SP&EW&ziv!k%we%YXH3rp}~PF3$P}~x>t?BDrd07ub$FFW$-C&>AwX- zYacUoJ+d0F5Ujb2KptFTfT-6GZx0TW6#1w$FY)B!9}%O{fX=Ez8@L@~S+f8#&o{OKa)@E~hg|T!#>s{}iwlEe4(h#p4 zN7FX}QTBzM$5)2m-wN*TWoS+>9A~Eu%2I0no$i*XUH`uO_7K%6v7;IJ9?t$Ug6% z&(Us4>1^kb2V#gDRn@W4NnvnE1aSs*YP`ey0^$?r#fil+Y}S)CB^7xV{&ULhqrqNV zDnvg#Y)&JvsPD+^?$oTLvKJhnCc{foH&&G8>FD)w=bH;6ot4}J~`ju6g^V##FHfFDyyFvj-?itHz%t7U4ndAGzu%5 zc!;!&-kiz@>W$IO8Mj`wOm;wv+|nVy3BP3r&Rne)2%ui=5vHmJqXb`g@)$=tlopC3 z;!6Ba6cf&*)9h7|#`#tTBuQLVykMnxbMs;SDc`j3_2fJu)?#+|NC~-v{vn{$!g6Vd;c+Y%A#~Z4+Z54WH;vt|)RM$re8N|1uCXO#% zf}0Rfk4k%p1}&vr(ckbhq(B=d0((t#8o-A-7w~yuh zZl)CVy^RM#4L!lEpS7r1mTz4mdi9Y%wToRkU?OcJrWeBA_>C{Af{DX@hV2fL;`CvS z`1ctF7T&G z=aGZBx`c?y@SXS<7~@3BOIzwF>Q4J|;TwlOFpLYN;8&3vj{YT+8AT=yW*Q5fZ1wF{ zBdWuBLZX8?q=?R!(QzeiJ9#yj>X^hPas zIQvm|vko>N1`vbLVk08pbbPX`#JyW>aMD6HW*1zghJD_Bx`P|FB*O43*h?#hAU}}- zO0tvrIRA22DuZ+MNQYJnj29U%4B}$&$NQX77!nhVL3`&z@NO$90dV{S6(Wkl*MHNK zUEznp-)>ekPp9w6sgYy_42qG|?J+HaH<>Hv$;)Qr@*+8n)F@%gWJf2oC;PHZC*{$UpOsDC%qhkb=U@0N+`;gpp`PfSBLuIgf!^~-l+TOa~Rh^&Ruwt6j zS!s0Eam>$@wJ?{P6q^$aljXFEeR0Q`Vj7#NgU}Pa!*qP>ZeqI=3~;i6c`J2$$?8X& z$qH`lS!K|eNT6y0BG-K0Y^YXg7*30KK%Q)pR=K;4zv;XnQgL}+R9>c;bK-xc5Y`CW z9AU@;cFBiW+v`O5)~ce5jyq0A_-}?H;F;nc;S0Q$X%ZTG6M~*0zjh<#O=9aiIn_%r z2$e@z8Un3Q&(bSx^8;hSPU<%5z8B6&|M#6^gBoW2-N zY;yLol-&BHZbcJ|(odyq$dIR^1#8EM@WO}^rh-VniQ4qe=?85wlHiShnFiWJk8W+e znnY#?xI$OKv0{+)8}1i2YzdFXMU+=c2@sy^$ zj*%1_KXXxK%i8^|Ih9Y@o|UOJ?MkN7mu{%j@v;mrWRyauyOSpl!u}hy1&uZv_Z*Wp z;G!_~tQY@D`C^uo;N#?pQy?Mi(Jc0_x_Vi$!&;BKt`E2muwZ}umAY0jH zmAb+&rp+*3sZ)1jvkW{R=ADbMH>W#$(HK*1jwG%d+BTMz0518Yau}eaoGTZEA9_UG z#JAGOl3mD<%>Ftn&YTt-0yM|tzEIzG*RiUIKQWJKgir2;XFy%12!~}QlamlkA}k@| zuvC3~JllndM`5< z;`y06P+e5M-lcV|M$8c7eCiY-cq~WBz4??gA6L1`E{iL{awAbAU`h#Ya0*h4N_*B3 zz2MO-DN9tAV#>6PlBVe~w#(m&VG|{xf#~LwT3|*a=*dnsUU1`N{_4TgGrW%X#VlF8 zAW7K$rsur#NfV3WD^-e-MX4MYo?yL-o+0J8A$Cr-j8zuW6krPl^pfgz>6M%yjCP$^3)}h zn@s^zt&wY%40z;6kRmgmu{-uj$8%8E+YnP2>=ZPt*B$4pS@wQo>Q{b)2T8FM-Lsfh zJ?=4*fKS<(*VOm_RB9WFTe7TE&E9)nUO(L+OFV6lA;3kSDgV)c7$7Q-EG_l@KYeW^0B!f^F99ZbOZyUI8snbg=bGyx`gnOz3QvUual-7G_iVX=BqgS1WcPCt4G53UHIFfajsgD^Tjt{PqeOWlE+Y53 zuS_XH$X5=v?W;|)@n3fg#C2pr!_J(6S4OyB$~WR!u<%^+?PAX$pOOMr`Cfa*yJEdI zC8`p^#qH(h`&eYwrfHbBY(!dXm{mokaIw*F+7qnpt6cY4X+osV^fj{JV*xi6Pb#LE ztSJZiaMO9Mdg}+>^%{Rdy`W1W+ffH~Bgb6s-BYY8&>J9S8)O*CG~g-TUR)=Wc*+B* z@$XfsG$bR%2{4~dvh0t0o8*7hp=bX0%YL5&XGQ;_Wx~_^PWHC8FLoA8-~>f_R}b?3 zXh!_2_~yave%`(*>e+_VB`4!E@gR*jVmN&S94fe3qe!rc$0fu?8~y95f6+qSD|{qa z_F19ifP3Qb82wV;Z8}Esl*FD+cY=Jr(0a+A4?k3;=R0lOWD$;gKCmjU3|zv}6zTEf zNYkj+(ol(Sn{PuK%c}O=Hd8IesrwF6nl56ev$R8 z*rPz7J+uC($sD&CF@wYF@10gTZoEU3Q-PE758Wbw{iNp<(>{AUO63GIZKe#`lKpB- zV{em}#Dai@Hp^9|TggnQ|9#OifBdV`4RwaM*X~U>m$jvL^4!Yi*lCj*D_>#1ZJr^7 z?S-_3l09~U8Rv5C^g#N?O@ZSgkJeJ1&e*_apq`?g*tcAbrJk6MV;5MgwwBtvBpI~x zqErgraeia=B-WC59LMS&;ZYWns70c1sB;>u_V4pxqwUQQ>*4b`Yq-v3rw`T3>cmmZ zQ(UKFG4m^S#_{7YRW9S%t%oA{uHS@=1qm9x*Q9Dj@FSMJS2a=uIz6e57sOZQiyYUe zV2)X)@DiD>KkotV1s5zZrknQCh=4`nDJcfm7^>%Zz8BgN9lpP@t>b*6s2ID?=*&itu&qoF?uUwCYNlXh@=LKjBxx%Ai4#p-M*p;W(RrjXgMJ%6LO6}Y zt3pKAZtpv#j;RWr%VqKPXmB-nwZ_#=4(ehhbX5#l8@GtD)wQ&9nbg*s27G&6*SatB z-V84@0@Idm#o!`0NOl?aGC&{mEUo1HtjRsQebSA+lZ`0TF8J#&T|^k^MVSLO?UmQ?6wH=^ZF+Y0vq&pHb=20MmNNa(={ecON(AVP z_Z62zdqA_vGwNCTGwzBqlbt#xpPWd9<*rfSd3$}Q%v$IhiE{U=iw%kkIch>{A28h> z*w)RlIK(jZLG@>^pHJRw_K@3BeC4!tBAA{y9^OrY!jUTZPooyGkgFw60phLDDNjvL6mXs4=O}Cj>|vNoe@q3Ht&j%Z9XRiUW%2Czy))U8 z990U$ZjuF`JkTY;uTai7V%9>jeScglz41unz_eEH^@$EE2NPE2NQjI`jtPxFPsNY! zY_pkVs^Is{T%eOh%qWL;L?_EKE5U%+FP~Cr#Kz8y!K3Z{ZU)EHydfpo2GeFzCS_9Z zT_thbW0g-u49mv~jGB0#KJQauc^&>?`-v0z*T3i^&i7rIZ}|7>V5AY`n?8=A+jEXS zv2}X?a+*_a>f4vh0jlWsP=p86x>3Q|E&HdudM~a%opb60u9yYf!Cg7!w++6$BVxR+ zdOS`wH?woguhM+d@X|2Dh*Q(j*gI~DcimsT0NMtkB#{LukNxUJajWU`VuKgxs-~*I z(4{v(JhhaU2x#=nNXW>{`Qh>d&J=`+P_DD$<#?zv>?Jsq_e=9H5GuK3(Ah%g-4e_) z=xHz13KdSjy!s-!?cpfRttjhO~gV6L4MNBXrw)cRg|CPkwGvN8K2n3po288}yJA~VNk zU!OV5^p8omA|3;#I5}-X$AeG$L?I?uieJRuvFP6lr^!eA%^D!vgk>4wapTQ}CvWU% z`yE*3v4pxCS;iWu8tWsNq=i|x*&>8DKd5c~SrX1wV!0Qdr*c|h!g9Z4Z4se=92CLo zc=U{LzOz}gfnV6g-!w7C^OU>xttE8mi1IN^{@AK*4^ zWqaRczi&*1<4ow_kdeHOX(^a(wtNFywa9Vh#ZNKY5H9=5CDUwI?4)Sk{QM;WpM;gJ zw!sNEVi7_hf11Kd$QISN!7RO;(6Zyq;$-69ytL=J9==M#Mk?c5XpE7!x*o1<0Jj86 zW8_X!XMZbDT$$SHeT->fyuwjd=B+!LqhPva@?puO?hYr(u%C}Y_M-So7<)TTFHW(8 z122A3AO&zFPk>LC9%_31)_vrrlq|3jk@G6ghcPi$5_Fwrh-+zIZymGw&h0h%84BmC z_2;ui2^8+*`S%0Lc74O%7poV8zK~T9Q1WP;4~g%S@*B1&!NBMqBr+! zPNTTB$>BN5(DLwUFwKiuSXNtOf$39ovvYgo=Rp;EMC6{E+tMp}?n0!GXn4skWgEy% zbruJfRomg>KdA7>`MCTc-V=V8m!DMsR~W^*1j5ej^ z?x_6H)X(1ig5`Me&xdRni(8J0%oU@(Rml%74dSn-K{_&&Q7}8?%6!E73%%Odb@=g` z&WfHqVhf#EWb17~A6p`ZsK1JeG0 zt*+yjto)L_F*bCYW#i=eIFVY&D?JD13X| zB@?n0yM$BaQJ5g(O{I+&=Vil5w^ol>t8=>8HzGCe&R?SfL8y3$jVG__P-JTorFoqt zmGpF2KIh{8&TVF~v zBUB3Z!zV;Ef+1Vd&Y;@_ixG>Mn#q;oEu88Irb&&##-}zzAPjDq{z>po9iC@ zfqkJmN+?%><*WAx$IZ42ThUZOba~ar?rKVtm4+ZA{Mud@J2=zQyx>KCbCM2MV9JhY z9mpT2A$c>)xJgAz_=hFW{p@djui2I!o&Z!Rv>88!Xt8^HfiT29#15 zuzbG33eAsPo{<44u4H%peNQHxZwzM%hE!YuW|8512r}gFS<5Vx(Y4+d)ZK-IXl1fP zs^JGv_lcx4?^k=4eyTxSE1PIEyYZ|^GNO=(-G40i^A`5F$F>shk2}g?5Ba$S@KVdM zX}AC1y)uSVhetB<**Wxc`0`O6YcUUswE79)3=23Vfx6ef=GAw_jj^3QHEe>#Smy<| z3qU1=?eA>1CViTlccNzoiyVp^Ay?YN681G`lf2_~kHuw93aKq~$Mq1_tQ~_cqb{G1 z`hKEB*DW_QQ{QSN%lMm|1S^PTQPwWkmERA~F|RA14915&Z?vHl&DW5esik>=f!~%9 zQQ0*u-$@J(Uyw7XAkCYZhYGcandC-@$~Rkiskg(8$>-wsZB1%R1FF6>D?UdhT@q|t z&Jn-c(~ptD>nefyTMtSctIn<`)a;k)((Kut6$reUS>^a3!N@a{dB$)l9O|9+O;t7O zsI{U|cxLaA(x8m6@9~PJ@mP1u+Hz5oIha^iLgD!V+7!&0ZcB4n-N3vCh^0&xU=ZQjxFlWMouHopI>rUtMS7LbQ>MUQq zHgBs;JbuMhDOt|f#3n4{KZ2`#u`R+4Nz2&|1QNwxN5VB&Q)6H2_E_n@*F+dPd=1Sg z#Lj{TRfw1}xS0d{78W0Wy{6$Yg)kWCzcRrNYb;MXuoI9y%2m@y&73v;HN6}}x9Ev#?#|)W>$a3kQ*u79 zv+v@z;~=&QuLv?UkLIqu@9eb}tspX;8-=2D1GF7zW?$lp}B9wdb6VS z+6;TU%H|;rV|a%?(Iw(;Xfshna4x1~pK9joRA0cR(!N=(c%v#63w#i0OEGxER%ITY z48Gj}A5;^shJ0U97dP9Rv0Lp|%|M_)xS~X6 zCix&zVBRxZ1C%nCWjw%0p%>~>ZzW(g^F3f+SC8{-KNOtRr=bV&XBxHggT0gzSAw2) zl`Nqd;<=))r8Rq&&O*NNJ;{%fXQUNhe)AjJMkwFO(-Z8bjEN51DG|mq=e%>-((piY z1;>$zOFPA7AHbM6%DRX+ho43(fsIF@I31SG_N7%gU^+-`?-xVc0-+O|t@}m=f>u;3 zQ4%WmArC47j_kAOk10jJheeD-RjSZ!0ytZ&&lg_dn_22wYS zgJ*A$u!gAC$11gKxVju3NqJC5`#-BU@r>W@+;PvPP-!ab}gSr)6-Pk;BGnv!z)HMjD=7y|V1|L^*p&5Hk({$vA|F~H)75Jpw; zT|e-AKFU4@hE|l@f*cQFyI9;WN}j%!y`Tt2&^|qVJ2sbH_x?L5o3Q;XGw?$jdR4s` zR&MkjT!LgQo-)TN$_46?>rp6YOe7)O{Bj`o$}1>yYxN(T2Jy$i6dDof;k>)m?xz_U7*rZR+o^5|{r*dZFpEX5i+};@H+8K2`o`z-3PJ%Cn`sPyXifj|z&$Sj7InL{ zk6N$(I?@HExQ`Ct7OsAgT0zl@Nb7%f=YS-V2#A3?e1K;#48s9zskl{x#RXQcE#ItZ zzlN}DSt6h7$!8~G^!1Ps-(RVzM=jTmj zJF1i;knG{0;QzVXC|3?t=#SrjZ|F2v8-**4TB<|tQJR_HZ zR2`kgnPi{iqqPoWPFJhnR+X85|4;mnbS&GvkI?P$?0l4`; z3ZUmRGO3Z*tW$D761AtV(||BB1pVmv>s-cZG#qmTlP~Qnt#ruTv%(yWUO^a+&gQt0 zs^WhZP_dJ2-p@vWmYBr^lxA^^0%>O~0IawpQ|w-3wtQthpI3H?q%N)o z3h8^Gc2L=0d$WV%he-) zJAR71aoANv1NFNoz)34an)d}V_tuTOAF$C2IHiv`ce(t_rJTpM&d~~-aE~*@WyA}U;zudg-3*wtH z?ZQElBY9mJSN@r;98c(Vqyk>KV2rtM0rmheVSqa#r65C(#N9tvoPL9wXgX$P^swuc zp(%s5ma*3PC#rSj!$1`f&zMS!wV#!Ccg<83!7)6fW9*`59qHIPq8%`moEzt}nOZoZ zviEj^cbAV{d#{UzD796Bf6+q^waLmuMeu3b^dVk}rY-AQg`x6QJ1;Ad^-8z2Q z8d%|u^Y-NJepkf>BmKl2ZW-k;q#{h+@o*A+ZVOTye7haPI=W_#cQuD0%9z!iosMk# z97cV`*pZ{%wTG${X){f`UmoJGbeGPhQ(3O@{c`%n2i~p%>Fr*-U7IP`F&iHKf#Sia zJh-z1AWP2HTi8;96^!(qMcp;Ie`YggbPDMOlEaz!S%X3G=MfUt z0!%MbKFI;?JWUXChf)J=I{06kE@)pd)Z!Sqx#A!mjPs~y-tBsbp=o>OEC3NH5YxA^ z3$!V#5MBp*5F8I^O3)K#0BrNXznxag2jb08kanTxppBhgjeP6jptgXo3J}7eN`PTu z60k1oP?73ENE?Oa1W+eU+pXWg&oTrw4{HP)km>ga&J$VSuHlZ{zrVS}z~c%LbN&$f zHFfD4}nsgcHagd=mmd7xHC)1k%yalhP= zGP4li8@8F6@AJ>2L;-hF9sXxB0$sq`5^6;x*qg>A&hh1I5|`2p%2X`3?38)dxx3h4 z^dl-Kz5A3<-B$D0CVhdSg#@rFHh|U#dkKxpW_;0Cju*95mPz0;soRj?LkRa{*@bHr zZ~|hDd>=YdsnCf6j9eB7WP{HPBlTd-Q++=Sz_nS0Y(RT}aW91M>ha?liS_Zm z`WS$B?)gK=8;XRst6_rvG1)!;hJ5EAtcpu-Q?nX&aD4eW`=BoAR3w6{W)Ex&xDYcH zfjw^EM^vMgE$!aWIr{gWB!qUsIY5R0V446~cXr)J=8{!fdaxI+>;m-ck^lC9mVX7{ zssFj5piAhd3k@_#@qcgm3&bc}&(dWqmIsZLkV*pJ7cwZ7lxHI8_4h@FAcB)00j?Y< zM3T{rfGk;W@u2zmf1w$T2NhAkrG7;^c`S_RO6G=7XPQn?D^`Z;>|C(@t+ofrgQ$%E z&QOPA0R@szumNr%*}m08&ycy*rmsr#W zZ8|ubK0YF~kG%rw(DxKpoD*ZstG<)xz^t+g9DgSMHQAG;f$kKul`Rj{K7fO>|JCg< zoaGp2pIp?``?1-zIjRh>+_fY?AFe{O2!BX5K&1^!xL&HVLAvk=63U-Ir?w0v-ERI{ z+0$qgKv<`917_nUQ2=pXg$P^7kL5Flo|i!ZBa;Yg5?b}&rKtHvuL6dDXG!?*7csx8 zRnR*E*gqm7K0qv|``1n2nkoPO9R2x!T{u^exL)&txa)C&$CRp|oI@%K$fAVx7PFMD zL$iUxQ&Jl%Y^O2HKMDknjL}fg5{SKECiR1=4`kJk)_a2Fax&~mc0o0})+Q(q(dG!K zdeAt0Xbi!m)R+BUCS{le=Le0UY_e~K^fdUSEzI5Yn;#T0egwU425T#pVgn z?Q-LGkD(e1d*fp*NYThL)>LsIKk*@f>ClW$LgrzL`&6C*>U*H90{Y;aL0C0mvC;#|x134)c>eAsXPy*C!#qA{3OX@tCGi+qAJL1ogDsF!P7*r zVzAlUt#56HIv;5fvBKHAZ0=vC$g#QaTM=x%2R>j~p!!7j_SYB*)|JaM56FqkE$dMv z%-tX8%Nj$U%9M&yp6)vlF|su;Kh~)4pN*e*r{ujH__}#eKYzEjctshkhWvqsI>REn z2ZI{HuU55v-9oQ__X2Ap>f=gOf0WqE1x@VT5Wr_HL;cA_e;VY-rSY3@n41@$A!!ZU z(t|!l+4jnn+JYW_M12;#^LX+G<8LsQ zSx8|+T;X@AH74a`SD;8MbgQP=-Sni0n+B`&>3J{#wXA{}Ca8p*{fRgG=q|)a8LKT! zEjJ{uzB0clGb=CjGvDo1^zA<%3_?Fz7oVM|>lmU{!`_zo*z5C7%Gb1^jj;&@+Uz99 z>cbe4$gO@10OR9xvIi2EbtS-wpDcmk+yjMK*~m&MZZ$bCa(c2T_XnGe=15vdhK4k~ z49%mm=N?lKk*N1)Q2n=9kxB~3z;NKiuF+`nRVzt22=n!OVl^QnYJF5yExxjBi8D7S zRr3V4Jp~>*tCMro;Iq` zKgl5=e+P!VEmkZ23oTW5{Ch*%LqcdsrkGFjPjbOE!fc%TV^M8>?SHPd^CA z%x*rog^YE&8>r&E;a#L*JGktfeP6FkMFfxVvtNh=d zJv;I(NZPpDSmmG<@sdNpqc^&sOg3J=JUuWu`({yLx;9qdCy1{PeMS)*IUyp{5?F5F zbn0{c@!tbk1^khD+_Tp7z{+U}r7cc;r*POMEqR^h`Asm%76xwNMvqdG!h~fN2fNZA z*>jRt2=8dIM(x07Q}bqCcOHQ4jW>$+{I#_*?(!fZ2J$Nzt5Ja(V;Bs$4fSazc1f)cv6Yo}`(UGixQkqo+&{go#IF;`#?T+f(l{ zRt*4ygi-)C0m`25ewZVewdU$%{mcbAiJC!^PF$a4xvl3bw--#ECYe4sf4+|~aZXRQ z@)}083$8t@p~=|Or>ua;gHcCzW3Nervv9CBkf0vQ^8#RHfEBbDl~w)n1QXni8ukBi z!`$&{pmB+&Ky|TP*u2*x-8V!`^;W_=`|y#UCN+rm>Xa2**sL^rW3t3T-EViVgod|I z%Pjo7RPyA@N83b?0{;BAMShec{P}|!LA54Vz#0!i19L4g>x)=ey;dgVkwM zZuA;yDJfwKk!fsX>d39!mP?RH2+H=7_#V#-J$cGbw&&rfAY2 zm*a{OAVe$^lfBa)o5sd@?Q`pf{Oy)fGrV*j-L=TFz!9Woth|tZb|H8VH9gr33IHsV zs#wV7+OjprmOmM(Tw2M}3Rvd8HuK~_z+=N2h&~aRbZZsqBz~truy(^oiW|BKPHTug zN(pdR&phR8#?cpf7hXJTzQ{_v-e&R@d?Q?#P+fqvCTi_+6ns(ssJ(#IBvv^o5zO5^ zSoJT0=KcZEs3Dm0#pD5f3#dZnTzKV6#ngKh#LZnBT*evH3u~b=qTQQs8$@{|w?fZs zL%|BctdHN%6IW0kFEC1oF7K9#U-SmWPs^)yicJ5!9cd5Y=O>x>Hg9L;R`j}rZ&b?Y zwONdP-A&h*3s=ca6KJbr9K7Qm?Is4NJgDv|%4Ws|qKB5*IAqab2Pj9jCoAGgit9-k zTuI)|U2PK6j@+R{*ZA#56P^?3F8?PNtX}_m+W3UrX5rfHAE1nm0aRwD2i-R% zRqxY@>9~Q}+5;;-Q7)?b-vB6@#!gTsrwr4v*bdDolTXfZ zVslQ#zjRx;@&o(wlA7i~TCNkkQ=ZGKU3u&Lr6((w@n)O zDY9EyxW(4j-sagb=TY#rc54H48iwQN!^@9?0=yT-kly1RUo_Vp=sbg!Ei7w*ueSX!m$%C3jf)~^-FH~{N> zj!ZuK-XefVjOO)QdVw8g?=}KecTVT2FlrR+2C}B<78%{&Hd*`(G;XWIQyRvXnVY@N zM@AHH{MflefnNLYLip`X*PUUS!Cl#j^yl*&hL3j?KWuZBPe~fzFKSHgDxg{3xUxuo zf9@BB&fJXg{WG@epA=ka-(9=9U2dy!szB7ex9lN(QQLOM(#d<~#t$|WZ1^(#;Iq65 zan^xFs{Ljk$Y*J7;{q4@7aJYD(h^U zD9%2GLInyd*gHb1W+1;_q)6zUe4R(3r}?S4`?_2Fn~9zaFV=qX@^D(yLb$At);FYEnx8)D7KOrxYP6xmRpu^(VBe)GN*N<(b4vSD$+sdD9Bn@uY*S)twt7}c=cuU1o$x{ z49!cSz)0(cC7hzoey2;%TPXSUdYU26Ylm#oyz0Mi zLms~1pA#~C;;UO?!WO}6D1cB`$~CH#YYu&5c#2=TrLlS4{cm2cn{ClPzWLFKuYVn-Ixi2%~ zd%R=(ac&62&4t-lJ8{xupF4Q}pryVie+lEgY<*4vCnIz&QdqJ>d3U<*V`mq|!UeCZ z;#M&MZr8-TmfDNX4g2f!BW0-_d-!`CXX{{2)C!qc{@;HA-Bpb{9H)d;>BAQu;A=3} z7b^a!fWqQ+2kHp#+t+0kEL#T74R%VlGx^(C+~|CA_%kKLQ$Blgh^~bwyHCtoyfAYN zHbniJ8e(_3ZdCto+KF97fFO zqKy;g>5ka-(H$w4fOo%81b>e1Sp4mnf~%W3&ah$J4sG-1A%x7br`uanzWBzXwiec~ z)}=#!r*#_}^hI^QKWXuY#W2lzc&UUPmFRXUZ^Yox#RgT$m zSWt6z6)NCvd6Xiy%cJTj-45MiPj9KF#rdAj`JEWSYjzAs=Q3Pso=UrDCnfu%zOc^frxY509_ve78@QgJ{8IVA zOu>Y$8L9P}F17vO_U!0$TlJ2#5hxaQ9Zr7GC2M2OaSq|K+sOTCumirk9;1Se3s*0; zPFBqDWU?_C|4fF7!?mtfG%S4C3EovWE(A{x(wVp8y{{Kbi!U!xmpFNNb-y1Az8QNp zlGDbKnx8K2i-QNJ!P`8>sOLBSLg4i1W6FV=cPE732RR#Yk`1x=i3oWZpIGt>0U0HW z-Jt-%1fehvo#*Kdxj!32+j%$#+UwhNedzOpzW)h0XF3%)rrMVst;4y=;?`hfvL;I3 zj6wT^DFv11liO%cFtJgPnNq)r)>mHAe(9kUcGDv$^BsmzM!6I<%zZCc0`63pTPY!} zxOiv+8`Ng-JKu$Nx}t85lYQj!`x0d~^}r9CDzA@Hp~XBZX!(u~nS`{$N&-RfM>$p#O_ZK!lZQiPmqOeC67qloAk&Gnh7Ikca=H(z2 ztfwDef%8uqh2#d&K2e2C`&&n)((mgBwLgt#$flowJ$v4e#zizB8~J+EPw1q1=lMM$ zF3a4@vWTYBA0N7PW@W}_GMFPChU2S2Vf zS39G}H`?Qm+2E!2ov&=RMiq2NOS{#`)nNDHpII)v)KVlyHl(D_{%Cy1IMInc$=+u* zYr-w{;K@QttUdZk<~=xrQIyvJ8C>uTd{M*K=KidSXCE&^8&tBvqb=dRWjFjApNFwu zp7Y!sm0r1hoX$e-e4{TF8!y$90;bfP#n1SUrBCqxxOX zC<>&Xm(bStW8R)i{1JUP`0f6Ct%MYu^J{A0)fs&rn9OUl+ArY19Xb62cRePM7Dlr| zpWV5ru*+_cx)A=GO7S(i9&yc2jJ^A3?&+d|xb9EtU#ED7v57=Q*u?F=^S&`-qe|DV zMBIyf&wDB6mN5Q>?8~yn5XF=n&1gmXQgkEH!bbl}g(o4c!NI;J1~;?y46haxco#P= zA1I12b)lCH&M(tP#QO_+6bE|vQp!zTzdjt@%UnqFi{4A;ZF&P=thI3VD=P76N(Ddn z965w+*5}5>C=CsF?%ZD|>`hB75doY&cDZBIfwQM^X7hCQLIQAyL7p=s&&khpKD1VU zXv~}V>B^L)lA;i>YV9@f(=bLXr@e}tVx3)w3eB+Vm%OHrFca=8Ydd}(qxjQ5sN)g} zTxs!FnqJ38d!9>I=wcQFQ^VHIf$}Ln(YKg3`9m=_e`=LqhSxXrqpIJL3e;LM_W2hkVXw7knSMmKvWA@!=z`)@Ev27Z zWYFo>7OBjl=TV=WukUgWm{)A-dCzXcYuH9Qclj9t#o`pErn!kmoVQ&Z46@dqBzC*B z_5OT$MZagi4b^Sgw<|oVHX)yPL#C;p#)(ZetU4{=jmx<)RU>Z^D8`cnda^_I!OD2E zjv|_RsJ+bX?&zLK5Cnm_UGyz_tt7b@$c>a1vvWERBP=Rg5Sj@ zuW9B)h0-L(NlK3wWP0eUELJN*&sksWkS)#JeaJAYK^YRE=RhN{?OHlqV>p93Vp^eP z&C_Wz_E|Gq@6c1@Mp7MleQ#_q{pbuTv;e{(Ui?sd56Xt|O| z%z?4ak$5!T?=Dp8IQJ5i11XN~siF3B#VQ`$NBvJR>uQ zBwtP@U*vZ!%>Ky*=6ShpULiEm-n)V3SK97h-!d75>y&BX$?tb`(QG4*gCgopfznhd z^Gjvl?27!GQ%hziYTBIM0tG(^Zh8@t>DyOxdbUw`$`cvMm zrz1mPiei2w?Omm$E@Qn%gxB9_L6+NYqcTySGku3r2x&iDWrK5OXik@(ziuE-Pj0yp z&}dm?bSuY`?tF@k;Hf9#_Wj^9v?+iPbxcc5YkL>v>BC||j~v+W_>ZsWg`buvYKKO5j<#TqqQBoB0tNYj z2MLNU)Zb+>Id9ohHI&J?rWpg5f!DNQLP}xOb?ykoT`8@z;$jLOchNcQh$RfQ3Yv;z zH;ygOzOybrsIm>xltMMPvH`T6$AIjTO|V0^O)o zcE|4n3m)_Ay9<;>yYjDbuV%8_2Gu*)udvS(8C4@JwIYrtxH`)t3F%`~-Z0**t#6e5 zHfcXkZ!f=_!SlP<Z06_$9|`b z@6!_(n=?(kV%{%KRqXsNZAchc;N#rQ5p?btCa`W!eRwvU-0Hb5cwZ)=aJOpL_6t~# z<-cqR97K<@TqG*l(woz+3T3oS8(f(2%sw2zFm!w_-K=GGa5qfX3s*si&SF27eyJ76=sTGeRZEJ-s$l%!R2z9?AFh|+ohyefzXE{i~3)16xAL( z#@AB-+kt*cRJ@WFN{nYcZNRm{3jfmGS@3|D7ll8_ZhsL#xy5&-q)Y@`ADN?V8@d}~ zy~ILbV{I^T_AV-Ve$iddYjN@(r@h+fzS~`s2Bw1s57)FzHOBXeGosdeVtZV^0(r&I;l zrXm*k9~RLYp=%?{vW=xWXd8q|nd{vJZtuJ>qcqMdrZrw_UN65U_}lT)C~780=t);^ zTAw!}+V;%bi9g2I8;)ey&ZpWl$l3qcdARRcX1Kn@zLCD3D-ar*<9RpAN;*$Ds7m*; z!}&*4PosM-tOqTU2gT3)*c|rTr$xey_4(5ni7zW%fG8SLS~5&gXEP+_(sg`=CrB!? zT-mYccx&%#HQwp{O>&6xt#&7q{RK#s1f0^fp^i~-g($uAYcW(9ffcS%X1gxlVxko+ zci#=`1Lob2QH#I!e^T&PV@HXuZA zpP5P;_mcQr%WyvsA+XlEW29wHE74pHR^Ev9LlKf{>^~ey zVvuIeqVIgkjz0O;V_CbX4Y+g0*frM&`r)=}qhA?UxOu*8eXF_OU|S~OUb2(<&v?mb zLdc~drOQeyEj%;+g(S~kNPYEEwxmbg@7j|t9q0EF0*MAX)r5ou5rwe~#e~NXE>wS@ zuvB;CaI)h~x&$lhgH^lLMG@Pf0Y~pgd)R{u2RTW!DMtp(BcZlS7D6EnT$X7o-#z%d zTu#w{TYl&hs_Db_Ylr7aau}Nj(l2qn&P{yJ6_tU*PpnW zxT+1yCg?pT&}R;I6zYio?iGEqY}v3mRaJ92%U3^k$P2aP3H2%!UnP#JEM6>~@1+Hk?)Ri?(eA72Mstny5F`IG6XmCxhOEkbOO%OzoAT4l3Wiay_G$%q2y3P(ph< zX8O&T-W03Ftg?{s<{k6r{zqq4Ctce<{uQBzB?Oyf7KI<0wUtVWmWCgeLh4MNcJ}%o)2piZ<8q=9L7#6@j_upWle)$clnUJc4Df8lE0D zVR`jCTX!VYoDJ;zU~;f zQ1-z<$HYeL85)G&y>Vumd71gqxt;gAd-*JUe^jZ4_Kg;Ykc%SEbSB$RqS%(+H2?fC zB35l(l-;BEV1uEWO6M&F&wJcUguabtKK*jMoWoOh1Xu6X8N>rW4{O)Ve=4xsX633|Azb%G*Afz5F3eL8Uj3BE-Z8Cp7U=+Nuc*Lx$QW_Oh%F#VkFR`_?)mw~Jeo5%pS&!@O4 z91QQouf2YH(RI4>(ZwbDVmSL?N&PJz{)-!~-&yWNxgnFE5#+xt{H9AkkCIqQQ{K3! zG$EKAsrmE-GT*x?EUjOLer>Z?X4oP*H;*f=sU796I3JXq{(0wCa`5~V5MtsBsw|Nw zr>}met53~DasX6x+)1hJSrwG|{Ex31ZM8D;x+7eg^t2^CqsVI>wfE$yM`X{wfTc^8 zdsoO?EL@)kp-lNw>@yG%#VuCa2}5=r@Edk0?=7%k+i$e5d>EKt7pv~U7Upo|ZEaDS z=AKb#Bq|nC;{1t*Zhkr5M5y#|%1vjS&2DC0=-bY!RptW|1(zP!10H&(_AAsvsOmvN zR;)T6TVJki!5=5*M}?XU8#nig(+aB`5*_U5;J>`m89fZs$%xWx&wHu7ay>ZhNGx%% zZ`IKr-zih0Uep(^W^N9h+ig-o8( z+)TlZhO0F}Qa3-7ONLGA`C}MdqufWmqUI=c7Z{QwJ{EU^+kSLux4C60A4@(!*}Q*d zd(t0W>y|?l5Dl7Oc$hZqH&*9w{*}1(-Mhk1 z9=$|z!aMh$TCOqcO4$?;Py6Nib9wJ!Gkx1L^8+G?$Brs1aO)nF91X>Lkh9x=i1u=6 zWu=Q=TQah{m3i=lR$BD0Hh!K;n27>{?=b&!P&UUrYu}L5E&jp-NL0%n#}szTvI1e= z=d+s=WsS6$IJLrouO%9}=WJE6>iAUo;$DSb>h>UTb-#NcTcdKx)NiRjsl>bbUYsm) zpSNl?2=|!?pP41#+j_t4^ND$N(fjcn7zRb5m^yW`HFA8dcYT|CxjAXR&Q|r*VT(8M zGT`>pNo036_v$Ne`Fi`D3eDr+wo7)c-Rfjh<8^8G{ioo025KRLLdt+VmTF>!1jYv@}a$JW{#@}xh zUuzyc##c7@y<e5JTRns4E?o@H3`o(PXj6A%$r=#h*ONS% zzgH=uSsUxU_)5qmHLpj`4`2}jA#62ClNbN%f2@;%DE$I=WR*8~l-t%ZbMoHWG~4l- z_2Vqbai_EZ(eFZ?nNlu~;epX@`q`A1OI70a1sT;cb*E2^#oMgKvsSeQ6F4Nd_%fA- z9|-NLQf|?ts~>^Ln*ZJ1YWZrqUDDxo$H}d_otPB5q zrB~^8uRE7s?f3c|+)|`ER1Aj^g!C3jeXxYG#y$T$K9)9#SCZ2S?Er)oQHwZ&XT3_n{o3 zImc?(k$ORrV1L9ib@czZi1edYrx*VW}hYE1uc!8sJ=I=2EJVq6)Z8M$rzQF|EvD0_j(0#C%=hvU@Q z%n|-_pWd`K6L#e|fEKvto5QhJ;X}Kx7^4#}VoECkxB#W)OHU0^KKy!vHwom zP8PpOTV{5Se_Q8&Ujab$R%{lYRk!9kSaa9Hlzy#ty^H~(2(ki-|7UwH#txwrxgaGt z8rxDeb*yBy1}Fem{KMuUh%&`|>}okl2;P>4(ilgu;r7a-kvAOu=)w3RwV z!Sg`z%u;^J)C3Qywu5(No6J&ga0K?F9tYDCX?eU;PZxX zBftYey?LWF5~N_li1njhh|sASu8Vw$BCo|2iF#&I7n|D4?!UR)eb;LU*-+v8tFt?llB}C zmxAXbNn9N;uFV{6ch2rUq_RVv7UgH1|Ia4Yj4&(fWcY9NW$NDs2Re&A(CDyo3v>gw zo2*lzr$WAhEodz?R{!@`7EJWP@UeM^EK&AqX&CiVzV|H^M1w)p&fZlp7>UbA&}gy>?n<) z1MoFOkFMg>z8jh2Ac`LUTRF8>1jwv;@7~`>l54DZ)fY(It z$S>5cLv#yVxXNbf6_YXvn1T9-$Tw*Wp2Wwk{vW5<3g>8X!n$_HZ;?}>chRYUmBUq9 z2q1t|+@IteD`O$iL6c#VUyIT%!1brrqh)=dHN_qXPu8G-0BFj3uW8JEdRBU-r=P~O zPWM@j4Se)yS%Ea*)k>6VWFhYYAkZ9$7mHmAF{RK5hM7CcV~Vc3buVgXs7~-m4lw>- zf?~`MY$-9(od-&ylx`{iIc)x)-vZABIoJa{3d(G*G=j%^JGPTDX7eaG7p%egrz}bDRd6MHWQRr2}p5b%fafud?$#`-SY>z`;uVr z=$8@Xb+LZXbvTg_0X@Vk+p{$I{R$*{?oqDNw1s>ZzV8G8EGG4%eL%JhLlU*gG>{YK z_o(ozD_J=YBDX85pxs?~IN{al3nk;40IjOjbE}^oB-gnUPV(n3i~^~_7zZerJE;Kz z4c6SC&nf+r$SH2LuL|4l-`?8+x*i3PKG)yig)C$C_mh=&oiQ)=AfkrSNe)w9_CE(1 zW&EXselrzE4Qn8S8a9a(|AsQ`C8f8i0!gog?s{0m#7h z@0fN9k%hbt1`%N_Nx!4!zc=YW4PIbo z5a6m*?juB72U)=U0asO{&~4sJM@`cIu|WgTC&(SQ3U$*dh`@lf5~wW@6yCTLRjHZ- zCHyl0OS1~V8jsms=n;L%(|_0P2I&t27gs?X9Ulg$T?KI!M}Lsp@i28Jhb!&R z%eLa0p^P^GU6OsF)GO*7AQdNp0PpWVNJRR-28w=l>J`YAQ%G6|x@bzq>V z%)1nRxG_l!>|V|DG8Ic=P-LEDBZqRn|K5yq`xSDyHi$mjI&}Q}*T9hE(8r6T@c6IB zWC;-i>5n^MHY7L&%;guM7o4ncSFE>W&!q-RFn<)3n|I&9i=fm)Eam|OV}oCSD4MYC zLasXQ1yT!z16nq^l6PamBlLT@8(k&j@A{`qgK}-<&!_FU@&kf;z4L~ee~Ef7LApT$ zhR^>Fb%WYAHhsNxt#Ki55@Om{LEgn5k|)-!(dYXNY8U(H9s;qGOMY4)NTuU|j?L4} z#%fwL$y6EY9`F!oJVA;sfP{LJj`i~0Npk?`z<&PDv`<-+^5X#M*Hp8 zen2tAMMz=iTMS4*6a*OQO{@ZwC5a0Gqug`ol=6}}U&;Z}Faj902_ymp|G3M)>p z1PI{tI0TA_9%{-q8Pa1KD@dneju$e|eJy_6fpO9I&hp3)-CcqnGt7V4`MUx=j8p<) z`!y(WFYCDirS71}<%I9efA1Swg^8S8vr!D0g9Fxa84_dpLGC&f6o+y@>wrn27>646 zqyuOztF^^SE9K3k&)miW^)&6-MhwZb5IS?)%H6A^^z6?{nErace$ zaL{RojzIe2e}8!Gsew!9NO-0}$Sl1cc5|4nuEix7g`X@(EgM&ihk~1KizKE;Dt})W z{STq!A?f}|Cmm`c(LCYH_wrry$u@EMKou}C`3t0b`F)@dQZF$(cF>^M{O@Bzjjr9d9{$INAW_*5P5e5cOP{RRlXkLRjJ?>bi(KhkJw9~vJ5oLq z)p@5S1K_jn@2AFqrfwC;s6w-29iV5g zBOD9XdiyKH6FOpoI%?o9sT%7PpGZze(kPFg{_BTI&g03Zu>1uXVQczGdAT@>!FvVIqfhk!hHxoHS3KD`PJ0*;5dfY(@qK;)c{S4y^nZcq|} zfqHXNk?Vk1W8e?4v>qglo@driG2n8591+6Z!MwP? z8UeIK?Y%JHkyCfAv7W6*p!!Js=jt7>a^o&NTQkc(fNA0Lz#@poyF()9P8$BogfvEa zkpalcll-`LwOULoSnVy#HXgYG+_1`ZBoI=* zKxw*+`AJW?H^%MO?DoW-B2KqU_4h~9=8vMv=3gDT(Zx8P)tCXtoM-axAyX2tCC^MO z$NDiIMIGSw?9bmh5JbLtCRmn~yt+twiq&9gS2qNq z3jerrh$2!F9IP_=YQTuIlVdYwyuk^ElzeBZf(6O9Yy!=RL4iJ2?|Ln6lv~I2CT+nSW#EOU$`H{)HQ_qdaGGs^XBIbx%xwv+Q zgE*e2lQ(GsTT6=)h4r|Oe|Kg-1_|S-L1J@HqTdR0JK{b_``-Ag$Kr!Avi z`z>$s>!ym^@e8OT_*1iq7iRtjh#)d68*1N-ZNh_f-2}CV)R8M zZtMAChT_+YwPJU=Asc%(29dza$;2Xiwt2l%a|dA53-T{ypL{RV&t}=z5oV;ZmtaK0 z7}bgC|4!m-veUS~ZPlcU*Fj^u2osF@;N{VSikkce2b32LCA@eetGX(IZDxk#7PLMX zAG4`D<;2I{&!8HSUi>Q2jeMn6q^pB5IYd$oq^%DhY>ClD4OPGQp-fq;?NZ#gU62bm z(%Q8s3ZxrURk><8dNM^*U#cnMxwt!zdycWZWdbkAs)zMkgYjv}1B_wyTc%lg4RsQu zO59Ha6jlM?h%8_ZdMn#7&48j!uwCVj+&P0Ey%K>iR+kHWfV*{*xZd2WFHHTaHFrT_ z>D^KfMvndAOQjjv8KO>S`2+9mx$@r&RpQ+y$O^Y-@nzq78DVi@^2?m2w}bO%Lce=c zr@n8nD$XzeE8`xIo|j&4%Hpg82&S}nDK}P&!`EmJm{<$04_r<>O-y_$Fh)uY2q@-&NnM5kofE z{)Ry89XCr*T)?G3wNAzx;lhuRVH&GkYvGJ{sdJ~q?IvWT9nn4Q`5lG5RsKo8b4{Zr zrWMCJ8o9unulLjR&%uHT+n?40+dta@OJ0(iQ+Mb&J(b||l&D@2mgv_~pX(K<*avRJ zqt>pM6I^nNCNIe}E3)kc2BF*XQ~bZRLQ9N&37PJ%H(?A1$<5!?$M=#ppVKnU->~q+ zILj_%wp{C)lcj)N_Hth4wCpjGcYFOi+dsYVtE4Xim*Ak4?jBbydEn>t#a&qfk3?84 zIoURKa`y@=jMcR-$?d*Pd5pMcqYl?7`eL#qxGbyoy-_h9FnfgYS-rt|`6SjDi9Jvoa2yBE!*3|GXb zJr2F*FgEo-zQpr+=pm{11(hdWPBAgIPTjE{X^MljT)YLP+y&vjQ_q(Q%_2tsrxkp?MSB)2SI0N z`bq^o983c371&SW&C&H$sNtv{Fus(VIqVNZ==jH+|oVo@evO!^fC8NWQ; zdCbVbIP_xre0;?F$7xQcQK@2#M%ilL_+>}5BakP&VbgL3KQzO92! z6Nl1N#rALYY`*Dq598flZ;Q}1=Ow$jMFxx{b~AIT!nnFpHBFpiZLE~sx)iFiMe*|! zwH%g1^Bk`^wjMdXbS~imtNE?hJ@*w{RALR@7#_62>`_%IJ`Y-Fs63rvi;zdTJ@TUa zg5Cv%fml^Pu}*R)$|sm!hr()BTqELwpNPWn)W`1#tK9;_h%ozL`QAXLFLW{96l%RJ zes2#3VAbNP&n+lNm4;0XT+0|?QrWvb;dC8SSIbo|)v#N~=q=+xI%3&-K}W#x=^xTki_?9@|2}DyZABgqqK&v^sSgf!5AjE zLPdi^=f-f*{H(o7aA&LzXZ6P7g|WBiDECJ`sB+zkSA0W(J(5@asWI*0Z?Jju+!tug z?$=_NTKnzxMUnk0%6lu;TEoIxd1pQwoYL+F+v(Q%Uum5~&e3IY?tix>1P;E+&cH|S zSdf_-JRvJMvDgFA9#htHY-7&UVHQU1%LQI}9hi`_iAm>{Qn-nyv>Die5mYcPf+ zCY{Cbb5idy)i-FAkVDF8OA7|EG?I6lKD55E$9=rPCu+={aE4xX;KQ4BR}0Gc%f5-w zs=jRR+jB&eUQ>Xg=-0PThVBR+CK+R;uLu>Am7d(N)>D!fdd$g7+=r!UBB49G@iB>=9S#e$nZNGOaKAijw*&E) zHMG}FvEB%4GOggX3;YNJmj?^3dvZYmx8qD<#TQ$v#pCSWByQdMO`@`)2g2FK-`?@b z#VtZhYds%Y-_55SJ*sx%xrk7;?5}qC^c74wFA<%L9UoL>7&+3W&Kzf2Oni(C zy1sqmVQ05bu@L1s4xc;1KZ2e)e%L-e(|Xw5T6?=tO&KbR#fVH`P0N$u?N{sviE8e$ zy8+KR(Q1Douxdy8L#EJs&09RL)t0ZKGWZTM!os$MA<{hc;}(rMdy2eYkj-!%lz8ed)PYF_RIzIn*Od+9&Ez(?>VlJhg)}{yAShE+;x2D z@)62!qGeyKU-2j%+5B-%rGY}-&dr4TvtQ^>9xfaj8A)Ym>L)^e2gb|(99w&5v5<4; z{bv)Q%0Exr*`xExZA&vu(B~7>aBg+Msa^ZzN4AdgwT@k!@ff0*Hr_T-Aa3_ zzB}-zUkKDj zFH1bHCq0617U5Vup8mTsoh8-n>&yG~+zOh2qVCh^tEl4J71$R6ZpoS z%OQU<)@7@OVr3*G&9P9bPUH3CrK*%yr|G=DE%wJ3wCx3pI2H*NaEiToCCegI^MA4T zmS0i5aoe{dNGKsCAuS=DLxY5r0;1C8NW)N)GYF`3qev()bayu>EuAt$N_WQ)0{7nh zuKQWn^B+7fo)@^5Ylh9<=iX=R^Lu=bBS?khApc;tp3QmX(&hW4IIgL3j?42gRJLvw$EM{v(WjF)m$9b zoK9yD;H=v19gXE>(ln)gsv#|YQgY<_V6O2OjY6!PiLJk|4mR9>dxJmyr_d3%wAJ#{ zI|H;xo+$%|p6@5}v{^O!t0}Y4>!~p}!%OMulA6-VY{Ci~<)&#jOWQ%+!&!VL?CSLD z*yQ$R0CA%e$c?b@D=%6}9_T=F(GGRyrC(N0xYt2`bvG|Xu$-c(iaR2?Y2&wbPO`nx zO)w+mTdXi^3y%|fqb_s<&jQhhjeS$q%e!tGYwV@3^ZDW|_B#B}tPEPyHS#Lt! zQqZX2X|x=IRczI_XPVx^e(_+fqe}a!qV>BXQ}Xl}@NFy6jfYIdd#;Q<9BBl=) zzBnj2F5la?dCZu|&`xLgedhP?)(0Jylqtd#J3+=92&qz~hX>3qKkE4CtIt)c;a40z=Ey~Kn*eXZ)mW(?IsEC7NFr%UPL|tg z@&1yg9Ukh1j~!-yh#lv0q_&G|rN0#-%}RMVeizG$!y&{GbCS>{m7SGSJY&V`Tma=? z3J7LT&+7Hg9pj8MVS-yZMt(+qhYv-s@q2=7{))inqrYW3XK;zu4K0ljLl+t0zer53 zl9+$h)2YpX{B1MFbv^SVYt8DrmC2KD17A^p0_u5qC|iF*rvJ z>dds?iV5yvGe2j^L}}xT>^zH38eyTa?L0l57KY`H=(??`auT;7Wq{9? z|C7W-l$jky@;Q5mA*Pd(G>56{?I;biv|_{dY=_0*09$2<7aiV?);VgjowiKY-}-3B zET>{lecx=3wD^%D_F8F1ym2AfSgulAp7?O)84jPP++ll<*RGbrS7ohDLe&hWr9fsw zt6*-csL(h^{ zs>-u+s$Aff=-Mr_^r3TJ8S&p!%6;`j!~(Z-X3Qsu>|J+BF>2H0)K+!6&Sew$Z+*#9 z{LMnPt~#@8*77&Yp4+uQa4a}PHD0lgJrW{6{R1%9iPyRDreM3KX>>tr4aJkMm z(yN4N0K&N^4h02Ao$SsuNJgn89=bm6_I2*V8WdhliO^#kfcr-9$F3%QrW|8M1Puzm zc;axpL-J#Kt1(|nXT@nlKmb>_BsyfYYGGHHdYdXS(7#q#-*gwBDgW!{mzRv>o@B$v zNh*G!i@%Ef55qlbNR#N9R`AbKc3ET!8cO) z!o&6!&tK_KR`ewQmvE(N5p{*t80^Sz-EC}uBU;1ts zda}uSf4us{ck>$b*ONi1ZL!(sx1cqzObI7pbYG+pA`;ONK#-=Y@OjwYlOQ6)c&f)# zx}PI9J!uDv>`I-D{UUmu-?%szn7NYg#FnOv>yVqGzh7nJu3=%io`_7}SKw8S^xEaS zyY`Pp$9T6+t8_c4D`BTAqd%-CL}c1iBjTrU6zVu>6S0uazSYH)RP$zXy1;H7dr$O} zM$QlkcG0>#cF~vg#+@TV$D_h~b)*;VWy9q%TC6jVoSRQu^VWRnod)>lM>mR#LPA*e zEvbJ%wfPG&9~iMUBtEoLDH0D7G`cMkKEY{y{A)4R>Au$1ZPG!`8nxmBvU<+oG~(&& z;$=C5VZC4ac_YAE6isVaL7#$}9u4HDUq0y`DVHmapK7d6l}b=0*GGh&XPDc4j?|Uj z?~Yke`sp90XTIH~w2IBV5dI?bfmmcGU1 z9J}s$uNPNRSED~qLyGA1+8Y`(gLbp-DrmoJyd69)P-K+&V6fDlMHqhR7QFXObCkMV zL_h~vg$sr~{9=8a+K0=Z*@|+-(aJ8!)Iqp3253k{Lx0f*;O6G^e9&L~XPiSH*^{0V zqWhZF*?8aU@ATmSognPnk+~R>O6QjP*P3!_CKH_g<2U4lJ++^u)y>%LAzgoTf=zD= z`==gsmeJtQ8^Uu$mDoSc^Kp`v$!^fMop%Ur?`m1Rd+vW6C3k(=PmxVH1YN`t%=bBt z(w(Kt(U2%%2!u|1$FUabZJz;Uqd&5<7E%b9H6%6Q+kKnkX5p$<1CB?0u&3!0j!BH| zV|&T#j|_k5m@kH=@Hp^3xvdK+HtX$VoozI0dVTKPrf%bMD3 zsg|Dbz{e}%?v_!iBF}x<{^k{FjD8W&loP_CcyftfY{hcvgeDh`-Hm{JDbvhRCp&x%GBg7yT6HtXii& zVTbmRG$YR3BP^U|2ywxRNIkO1ROKQ-N6s~pz<5>CMB*QhdR6SHh2h^K`c>3NG-W%8!n8qvXzT4R%znfz?C#F!MgssxPQk>i_~fvKv(Fa1$`z9^XwCb zUYdp4w0;w}m`-9oe$GJkYt&Zw>W9?Iox}^Ll|9 z7Orofxan;Y~D!RwX; z7?#wPTzUP57i+KYNe(N+>H_Nk7-{#Yye2E4iI0Ih(wwU5I_r*qosFNrY}$(0{FR4{ zS2EslgOn?=Ui(FKzg!R%we7c@%6id>r3WH2Us1wGlWVV-8{6|&+o_dt_y3l=c^bmk zi`-Z=*RrlElKeL%;#vBd1IrU@HYG?(v~r|Iq}qy~Tw>QY68KtXhQ4}xM1Q7{4{ahy zNUMY}*F@nCZ04@Y6NjrE{ZN07L25MpvW)H8SS^w|d|_A_Kl5BU>(!?@6GF2|$kN-ze{If&<$s9DRZ?xvdo+@k znwNB-czZ$ttYwtUWJtvZo6TU}Do8xb)=n5W{L1nZ-Cx^+Z+V}{Ih>)r89AiTKIhp4Zua2s?jOlK6` z-h0>5G&J6&$1B!&b7oTvseOScA#c0BsBH%F$7Ch)v;2}Zq$-j__!TVR0!?j2V)jL} z7%u4~70UW|E)|2zA@lYAKWfq41AJwc$U@iAJ1|@fv&>1w#Zq4Js^F8E#av9T7>d@l z6SOI;c7F*soxz>zID8*&)#_&}<~B#RDehS<*;mPl22!Tz#nOK%^R zccB*ss6dtIM(56g81ERJ6kwvfO6%B(I9E%*C$G*d)z4mR zy^YKQ{g)yJj;_AuDAGbZdEJO;)gDB}qCK%(@0YUr>68 zr!EE9yO%YWO|VX(M?*n!8=`*16Z1-$7z4kAesu zXI4+))4e0aTE?CvlPV+1i)!JObw``^>nC-~+IJ&f%ysO}#|@3gEc^(6w@THf$vv6b zUzHj4WsRo2gtZEYCYFTE=Z~DuNavq&)_>-s+cCzWC%BMrRIEQV&RJn0iwm?PsVQb3 z5S*klRlxf%i7sk>lO@mUN6!%<@RuN4&}TyJeN5ye5NPRe|8XlJClVEbmFGGryL58 zoP93wP8@>r+p30ld_Kezg)mMHcnv#3-2H3ef{uXAorq&n(_(;^?_?u!)qZ4^%>{a5 zi`ZEwr>saxxy(Bv*Zg&PGJ1UB?Y(lFtgcHMC=kSx7*aFOZ{RE0<<>DzbLFm{Jls6k z`(;rogB4vdvMXa>%tYkQu@4g~!o(eJHd)Nc&dpgoudqR*cH;FO|LbtZRKt<##te9~bGif*E$GY9{ITYzxx8oxCWof(u56rVO{C3549}D}`>iTeZCQ zBfGb#7DN#pO>fYtHP$IUvkpbD!yGjywt}8JD-Wuk^bxS`uS28SoD~HWbQ~jlQirse z7=jLsH2vgXY_Mw0Qxqfg+S7_UlOBH6XkY*GzBy>?(`JB{DmlTv05+FH1SL5^Y`6C( zU^k>V@9kOBf?LvQC%)o3|08{$-+r7h8sg4IvC9>ziPDK%=;tL;U+FPx^@jw8-J%PB z+=Pji#gRw%TaVV%rH+Oa4C{v0)4vpJkQs`|gFAeb(31rAK6*QfY@ZGMahHN5yS)hP z{a3>pR2qwtgEVG*JbYZtwF$?FjMgmy-ah(G=@*Ib%!3DRH4XHnIMUiCzG?yd;N3{x z!Jbt!B&sWO(W+e-*dIz+x1dw}iKqI!hO1B+TWaZfzsp64i($Z#UAR3 z&kPAML&t8}LM+g}3!?&>Pw^M`k7hXp1}%>?EGwdb^vaUt!A{m&>$fL>y}>S#c4dy| z#KYW8J8183{p#Ul85vtfUA<&*^IdAO6vAyO8%u^$bs7}mfrHVHE~exKC(SKUXBy*` ztEC{Xy*@7D(CbU?Zp^|g9<(FVEU@MG z!?w}BXQ7}!_HqEDAR?;hH@&fc|GG4jhL`inwpvT9n59c`Rm8oC$4hb_>m9PJXi&@8 z4Hr&V>6JepFEJ$lHBhYjko0Y($EA9H6nRqVjvSPvw(o)5Hw<)JuhB`k|6I=%N*RwV zra2f=PS`|4l(Tg8GZhe)MSIZ8v`;{}z;Vz`1XxU!vbNgFKG#b#S+_WefHXyCOC(5| zJ6=W3_aMT6QfcPm#zpQX<>r&Z!AyXFa?t?F?8~2%ZG@R`S8^nddeu5Ep116YmRU|c zg76x}JRGk6s`3cO>u248b&`FlwNaRI!ozR$RPieZf`_>kR((7xmm=m#>SWLc3;lRt zY_L#dLCu{PlIvVR^~zWQ8TcE$>x6eyN`>obkd!Xb(|`S&*3NheUzUr zV^sTa^i0JUT%7ch>wrrTEhxgYziK?gMntZFbYr`6C;(^X=-Y-mud^;z34`+W?tF90 zxMNj{Xd&>{3j4ZuBcGkjh?zYH!b%SSRZyze@8>2XjkS~?1-1L%q?KBLf7FKkR8QK+x?=LdtfD17}k5AHuuoK}OU3Xawx4WzDy%)q-_>AV2dL&!#g zPxFn^?{IMj#>5r2J?T0vyTnAi4n}@eQ+ySjDBa~p${MNzmg=JqEm`I9AVB2K9#!}~ zTDQIxq6!ZG*njuY0xf@@r?pVMG94QCd7cGiAqIB6HA3Z@ou2_o3xKgV@qSNS8Rr3L z2(tr7z&?0Hc}-_b!B>-oCft*Oe23Q0YxgRy=Grcmh`E$5Ej845c%jYqgwK?K12!{s z@i*JFg{pROD^PKog2yX8+t(-_Bs1O*)rF=1v68y{<7*nkqYUbGEx+E|iR_+(zn#vf#)kh5-bUHa zJR&CL@QUi6&J;&y6JsY`6tJwXg}0sefz%D~o&^C7)Vc9m3tJ-Iu>?d&SiVAW1Y%WO zF@$!i?jM(kN?Fd9zLO3(K4b@5mnrExAS9(!42f#Sqpq6cfK~x_nBn1Fu4|f3vz=`x z4o&=q=AWBg0^yESHxCKC&9=p)_5AEc0!=dT0zA35V>w2aXMMfp{%B2twpxDXBANF- zL6XyHH_F8A>Zu(*MI+xf{sArLk{tdERcHcRA3$=fJ_pZNUQEch`UgAc}ZYiY5+u*c~f>JP4z%B0>b{v8qbdK)5Q$~alV$(04TQ)XFy+k=@o&f zbzUGhqz2vxHX)uNNVfDn4VeNA(9?=e8>So@swjLFP>()rb3>ar1xqVz&)=rwhnwx0lp3X5ozGc5c-v`{%|I-Hl|Kb0?**I2-*BExlC7rz9?eVN?lGZr0MEmOX ztBsNo*&C$g=2@W@+pZj~f2|>&wXG?8d8FPFNCIKE67SWocLDMq?8E*OO5Z$mAHY-y zK*cWV*7eBc1qPs}%BKKuB+>a2@Q5vge?8AN@S)uiRnwcVQH4kUQ@si&;Q9x#zd}uc z+@IUUZi}zS-%q%ZPm)r6HyxB6>~cSWw1(jw(DV`m`npd6uSE?YNumBXZrH@@zVFnJ zR$w-P^@EF|>OZBbUHv7?sz;WdQRI=X$0l4i(D-hj`AIdjRd)mzzZEP2G=Oxe~X~{1{i|xmf^`Kkll6b zuj`NFnVNKHx4-^RZO;T;c;V;!AO7n}P;YQjA-7-gh;QJ4d0BnMW((X4B#V=7GGA{s$?qssh`FbJ{;so^P)^gyKx6nikdA(375=KQ%qQ9W>V&rRl% zKyfxNAmA63^V%xwa%VXGi90!DmLC7}MrCgnDV}`+CORY|Hu7$C)DEE3D z?=$XN5*@if))GheNt>MiLP-2*r&B>_Xru`sSsa-$fcVBO(a$co9NOEy3(A^6IqOdK zoX^Go40x=MDUEJg^LUVz5B?iWa@qm}mj$lCaP3i_5hYW9@u#MF+#8UJZ-7`(6}%1< zEY$!qPFFA^g&B6!B5~jJod3HEvQpLY4b#i@AYY^2ZXmqD;|PC_0W`Vw7eJT@YP<1p zVCL##cTUmizuRGQb368@d2xZDLU{d6eicY{Bm?Z<_U!qe8uwivOhW@es~FAn16J-k zG!wN-9ssf9GCF+I4p3@v%}CMi((nidoZ3tPuWK5}T&=m!xJ~Q;9N-4f!lthA^{3DAT2G!~};W>#`UOi88TtVgB zg;ew$5C1VJdc6QsN!G(}dSq!hxVR<|*b6){G49ec=WL7l@5X`gKRR+!HJdk##|#K`xq?#cn#+?ZQRrsO)0?~#U`19u z<&BwX0O=9@Nsq=wx*4!;yd&CjrY^w)j_|C@m7^MVyS{ez2|ni76NO1Yf0+SUvmKC@ zFpO77DkF^Zv%lWggq=71Di!kI1@klh3r+$1*Cha@x?S8|s@1ee0v`B&t_7ff3|_-< z*55sB(7X88DXh2EAs&e91B|nFw2sdMK#qjx3RI`}GlEojb^f3`M-o7-l}xq@rT~3w z%1CmqISJB~LDF@D#ob_6fWXlM=$)^7D=a8v!@X0U@4x6*{kIGFWwH^$xRzrCkHGX1 zNnr7msN8oAI9;{{o<`!|mi`4yhj6;fI#i3=oekfod|Rya!C+ii6|5r-CYueDzTFwRVm z-@lgw5N0dV8o{UY-pQ$g-nVXP5U483y;+r+H zHTB~`-mO#jB``Hl=zh0q?w(?S_6v|{aRo2N??X5ngT}bRR_gt;bWueQBd0Wr;gG0TL1_~ne7(zM1AlC z0j&dhztk5boxKAur%C035ua>O81q$xEh>W|`=nAUA=AZI+sF z1KD?I6$y`o5IPo{#BdcDwoXHnf52XLwE)l^j4tN}y9D>M$)4e$UKjs9Ytyh?1*cpG zdur!j*{rVk#2WPOarPqayp0#(2BalKM!PLG{-OSZrx2hLu{#@M^QVPxP(?;%ex0G+wRW=MXvtR zaR;BP>P5cyU&37D>-sEyNVhx?e~lk67k*ci_wdbAiZ5E4wMSY|=?~0W+2Tsiw1cxB zRR2BJ{?2nE&$x+C<_NcfE5e;c6bTCMex@=eT$sqnvQoyOxRz3&JQp*a_u#{BJ~g(| z-`^5ODSo=EK9~ahq|bIaV><5)(mH4xu-wAKMV3cQN|OKK3nx$30SAQ!phN7~M{eg5 zaVJ}Y%Fl+Ih?SWg_ZrJ3MHG<6(&>NeZz&Tex@b$2WlT&O?~_)kBzzy${)kuUx-2T2 zx_`xpu4rJneOPWsV#|KDoFOFY=KTRY7@L}|-Ku=!j%s5P(Uob0F{k#0b9C*o$&AcMLE(smgv+;i(pK2Nh@S85 zJQ)M(0Khie|Cixba5BkHX@^7byJ?MSD=%Z`b*ON0@eH0z=?5_+kNgcXQ0IxIk zfLgWXa+{jkeOo`u)>HdK1ag2VA}`QXy#64zq>-tyIzw-TC_Ew(qQahh(w*Pkv&YfM zfoHUQ1m=QWcvVTS08`x`_AS|6{~LnEVR?;_i0TS9qO~_kvtUal!A6r2nF z0cPP&w))W%r4$9wuv6|JRMC{(XU~RoPsUsq^&|D?tI|3I8Cs}ya14_q}@65Ng_6chm zK@lj;Eu;#T&dPpLI>HG|Z_`0*D-i|^!upuWkF%{`Y#nF9Uj`EQc*cG$WsRmkOz0Bc z4XbO6S%~K)48gUP&3~xD)C5E_jm<1j)>ub`VF?aYaL73Cn@r+~IY*L;WN=0=K9YSR zo#BLBTn^hD7+Hio|H00bB1JaKO;}vHH$+yeO+?_l$uxFK`>xpP%@w$EFxi+#$50(N zf)ib7^Kb|pBovDh2K{<3EFvBpl3py_f(cYdM0#b6iWwHp{gg>o@-L4H_gu7KQRBAl zhAi~W8_l<)K~@sX*P6LQzxVMbR#Q<@_XA8~owMQnH}BQv_KVUW>B0tJt-?kkZtw$Jt7Zu)l*mhAl8G=Q$&> zGHTR+4RO8e<{_@WV0aafNBlr7*=oY`;EK{f6I^y5i0u$w~61@d5S!ZDpu3X>5{UV~*nY z2cd!YEA|N>F%N8j9fga@BX0K$7cn18=cR8Eh7iX&G7kFD+i+bw`Xw>R_VUX*!>z}Rs6ZwJUdMHFIIAg)N+3vYtB`S$)z^1gB zD6t%-J<60*_L{DZ&2n{OOeGSsp3vEee2D2qTJDyY@$h!8u$GI8_TVWqZZA`h(qt2> znTGhlnUfDXI08ULbWx%Gn}$ZQ(a)~}J{PpE&%7!Np<&k1jGk|tp62uXb?-;8pzAS_ zN3DWKgq=|a;RKZqQfrN_;^i>7S`}J3BDJ881fra&d-C^wv;eaykjzCx+_4+UdVZss zQ(N~S9(M-89K&Z!Djiw3|Kb$aJ>U$$Eh-bNoAmt9rkF{`ndQPwvj^l7ZiPR?4fc9x zLX7<9)K7XiViR0lNwRbxulX0G!sF;MFS&>f6@Pld7iU5?did6v2Sm8RjE2Pa0ka)? zqt_kme~jb1cOPoJ)1y~A1ZSxgEe~m%YMV-7toH0cmq{i4Nuw^8iNAKi_r0738!to( z<>1jKCWfFHJ8RA24i5rH4m6ruVIQh(;tmhbd05{X^-T zy!C4YY*}U6ip_D!_$Hq@iFu2!d@?YPu@ger(RT{$R%rm$}*o?n6#vxk-tD@ zP)uM&Kprnv${U{+|U=;Sz3k2 z6e~v)K|>SjRB<(-@YciFsDq)3;gDB9%t;UaNDeg&yFNuIHPhPvHp#(n@8=ag*Y4`e z)rgGf)N{T^{dm+|csTFp`tN<&vYcB5DwHsR>yISv1HzuS2>c2DrjfaE68$S;d_bh= zkClnVC59bLHw;2aq$0 zNhCzrBlf@w&k|D_qVu__LuX~#?B4sHQkUna1ftmbw4Lx@^sIfsN<VB z`gVlW@Gx$*9&?m`!lges^9;V?6IX2}_8Iob_GJMq-`F6=FYMKYm?#l*RE8(xRb zV|74RM6xJl1vL?*j|dD{@EIJb7#h2i8Yby2q4Hg+RiDUSZr2|e{e!7M-iMgE$9pX` z&OdUo|Isc`r4zW?MP!9LwUj1Ys5DJ_UTl1}E3V@cV)_HUaug(7S{BeNnM^gpRpO~J zGy0NUzbNr3MrtYQAj{}}z$Hh!Hr?ZeFGLn9$RQQTV85%Td!2?~(Y$wEe+p+;=pv`K zTCCwo*zH6V@!3SQCTl`|UbpV@1W4~J=*QPtBiCEae@pq|CfA3){^C8) z#8J(n2p&Nh*1OsOv8?1;;fJWCw>XUpF328k&CDu-iqPUzvg3ivc;B;loxj3`;nf>; zS_1tzOto3~2gY|Yzdor1ATa4kJueIoU&sQ8nOJ3h7oDja;VuzoBd9aU0KtoGq*dP9 z!E2gAYaU18@Xj3u*CDy0kqyCl7;rF&{aBzvmm!khPYnWjJ8z&ri58Y=#N~P)~;L>K8ZnU6h{wY5YorHn8 zPYAo%qhHLzVG#K!?{*?H$Aj-XELPR- z{8H%-Hmpa_fg4K=Q`0Mu{@e15q@Q3G=@`HwNUP!^Ga|XSfWxGE<2LT2A;qs^C`4d| zT8S4wX;jfBB8lq2kFc*e8#nyT(rSPf$#Iz18ISRTg`|rCHH||uy_b8_zjt?@dxWTKP@m*Jv(0j$Z0}gP z1eqDjRnns7dPaKW%UwDN6@%c{UH4)vCtPI@Ht{t*+k+uuum3hilk>m%;8 z=lvxc824IY@;qhR2-AEv{JexYw$^(j204cP?Q;p!OB)Ja;%#70+;?-^iT4e5>=NKE zVo4SUZVr+y5@aD+-;GJv(c?k{y1CB2#y4h$z$rF%uXc9pf%pBx`)O<%6hT9}AFoav zud9y(f0o{FOE3Bvc|L8W-_DuOo&iiQX7bRYJ}K3Uvlo%ZhHchp8-Eh$ z1sDs~->dw=W)!cPw5FNr)k0j+@4IY&JdaS}Tau9k+sIRNCQK76*&cJl>d45ue5l^jqx_N$ve)GwGdOdI9wai%B(OsZgE?Iuy$ahC!;tQ;<5*hQs{Tg{&x>adu`Oo~%hRr%KtlFX4 zo8bfuhyKSFxc*?EK;PbaJ=N6uiM+nVQjndq7`5|D19Q8#3#Ch+gSEbEd*YY`2z*mm zz9HTbOqL?N?N5kebuA`b=I1%22vXG^YXtO06Q!%&W)n6Z^kYGhKaz%U=E!TL<`?>x ziM@gB9|~_ojEd!|gxgQJHWTC@SeySV7H~;H7~pwK6fof}jO7L^Al~RnThrY8to-8* zTfplpj?{q|Um70Fi=hUFCZ~~%pEmd35D~_Prj;=!CFSHin>3m@8(9?tM%H*KR|Z67 zQU=*m&4kUmYL}TXuV@{@Y7^m>k}-e)D_bZ?V>r+>%P^|-4HL|5l)!=5;*12ZzZm*G zPwmNcZdmu*eMQ}HJ|H`(o1M-8JM?^$^&8JrVd8*<{TGd2VBxHY2bo0&7~e6$c-%8Q zB)#Q3wa_8M&)^leT=y5o1=4tp=;b*+=nI5#aSowZ%N7JjPnJe*&r%Pmnl`aCc z1hYZv+gO&6X$%w{bu(Z#XEdY3G!dxQ5#{c(Pv~ihdp(qHa~AAVwj81j#{XKEAC&Pr zoMZ=Rgt%iEQ+jpcEYAvG%hM;w=(K(9O|g=-<&u)zrCI(M|GmF8P4O@|2j(&nXEND# zNxF)RHFNd%6fKLFHgw)_<gJ}tWs?nJA)sW%*J<^!zZO(jLDdIrFwXES@dG56k_MQCOT2G88mh6ceck9NV zGfQJ9)91}oxl!mn11gQCC`72R2Evj2$Qfza+ObE{<|kt7pMLk*^5gpy?{HL*951w) zB05S=|CQ+WIgxcy4h;VcG2~0^jEIkYI&Nsa=BH*8Tp60HG<|ZrEGEzdi*5PuE z81>9u&iNqNXt?`TE%VDkYNfy80SNy(&{?re(*c#7fMsx7k<;gT&9 zOxvd6#HdDv&E*ZeTD3SJA{|*YH~4yjWeje$O#PsbtRMdwR{{Zhlr>HU3A!cYtp`;z zcZ>IV=P~L~=_Tn(u@C_!?@sC#V#0h=LKz{}7zio;_c%N2yA`@Z@O}c%E;Y@h2G=~W zX>Cfj4D)8z!zGwXW>1b9lTZ`>##5@~B65S2aV0Fle^B`YbxHoo6`j z{R0Pj|NF0Oq&@`bWU&ve2=Hf9)MNy*7L;-}_gKpm5l9q1_Q!kJL?9DUs|`O^J4MCA6UTTN3mz$#N8>?Yv_S_Al-eclhG8yDSwG2d0BC|+qU`b@cS zSPEc&gPhOvh(Z>ejRn4TQFP$h?aA92;n(AJkrp9nK$1x_y+j>}abSD5xewpxdO9!n zBz3XXDj@ewo;Eg)hFl4>FOY(x5v*DmTCfBYvhxxng;jbBTeSj4Hkq%5=~wP?>;=l- z7j07^*TWc3Xbs;NAM#`Cr+Idl0SX-`$KR&GIt)5~9HQJN%vW60+WpXaFJx^a8nx!x zDM1YD32V&tzHI)%KZPKyNP+ZSU%uy@`!+t=nXJ32K|ot&T2MOq58{Xr^+4rb+P2yn zK7sM?y7iN}B5R0K8PP7;SqDg5{l0Dw#EpD9>@jq879^$4wuk;$I zyu*}F)*<{13&~=yV>HO2#&j_BjE=unK2b^5W%zHjiXT8=wmLy;#fhPt}&zLyzwbzep#6pY~zVm1_PQ9pj(*Mh>ps@dQWk{D3BJt2hcvJ~K zF232-N9Cb_oIL{sL*F%pT+U|u*vb#!?H*q5nN2hNF`_lDYm+7C) z2>o)f4wYY!nW?C|trNrInMgxJ>2IY(imS#KUoJkDSS_CjzIXWc?%Ps%jejzwF>t%NU_V;Ehf+w$zx3>e_^9`tYBMI@2Nj>PY3 zC|y`fmnFSsOmaRwiE3RMEZn;~=o@*9q_})*n-h7@chvqMLLp3OU}#MXQ#uT^uLae- z(ljC$q0zTr2**V{CdY1ZaU=VQxNE*+pxs>+$nQ}?X(hP&XQPcXfS#9YXkDLaOQX@Uy<+rygi&s*zL(D|Q-}(`Av2r)3r6Li3v7bw#_Hxq((>l#gilnv0 z>qv+oO9xL{C#?;0g9(nwGvrgULOYYJ(9|FW;$V8Lt^#gB1P=m7M-c0woHha3u)3J& zBf~+0vRwZ7PkHZiu@8QVUsm?VXhMl!}KD(=Wnirux$$x$R}v6WI}vv;-J2_v0i&P zX6*9uh1VYG1mx7)^Mfz=g=c^dZ|k4-Lag@&KtAc|2eR0Y<~6icdJvYL0oLID8}5;9Tc`=2)Gx|-eWPaNQ(JO&o(43Jv>lj=i!NB0uPi^)c1^jf5|>3~(6%c)CvR`XG1g6~t;^Enfy zKU43nJ~k$>6Amyr5FY<&OHV!QApgHZ{YgtnCl`M~lyrb!n^3^|mhnjq{;D(Dp0l52}|dYjv&>#~9|( zR2~ai03JM&(Cp7+jYj?WgNAyLnymP3d|VDOcPyvoim1rUi)7Uh?=YH^uTr8VP1~}W zSn*!^$z&`32UXe5PaE&;;GgjzGf6H<61&vRJTsg;MlKWgG? zno35W_EJ@;cI_|qS z#Y}=)vuZYwf*JiY^gn!xUwgJ>{e%VdHU8(7M~6KA@La(+$JwU7YylCICE9xS38GD{ zFq3ErEIa>TlQ+_XB7J$06GWRYg?N?#58t<5s*<|O37+Ts>Ap?JBsv$Mh*t_6%Hs;P z4M!a(@{1n5lFwfYBVP@dbksp5NTp_@;S(e=Tk4RE-7*8-pw@P#|G6u;IMMsUU zXkMFa&Z3i6M$Ux^KlLKLQEl|@otXEaNT}u-(8tt3%B-$R9z&3rZja&Qs10&Eaf0+YyleIUg%VONiQ5v`3ebBP7 zZ7SQAJx8h&e~#HdQL-*imPEIy8NmI+xKz9%!jYLk3% zmU13F3CqhL_l@^%_4>h1KO=F8^)y3zRuPwWc`pc}kOVGf6wHZU`;r+WnFt$-60AZ} zj*n91fy811*;f9_hK?bd4}u9qpe0Z37>_*bB29SLzYIW;4=zU*Cj;*#>=pg3D{kGU zcY9n*4FBz=P#QXy=@h1Ba|>@ibgphE1oMaFeHY*n8D*>xP$1kOy4vrz%4NJGryM*h zhA9xWubTZ^TK4kf=;a2Ej^oi4XN|}|r88~KSj-h*rJj3f5HKDHADto|t`F~&z1a{QH^!qInX1Z1=(2Wc!viyvGbDAVd>7;n@97%(C1 zxjPhI?b(Ein54F!mRf5xUnM1*RDt9`nkIR6RZlX^8X3g7P@iYXwzy9OJ}IYCEsOda zuZx-JVFBr0LG|&W@d=M#HaRvbqk0$Ke;~yD6SC3tSZ4igl;O9rclogAHu01b3wlh# z_!Ue$Ih2L(YU&v#Fgs=}G~pF~n$d~e#6UZPWsuZ3Jp5sbEr?B-q$o5r9lw~VOP`y$FfydV{>gDyZ{5`xJ~U{!+CzrXKRjGY z7E2wH)U2m)!U(*Ws(jO|meD!sjo=NGdI99SZYt0Tp8q1fFsY53#|XYr1~d(UIi_=! z#)yxE>L;%%uo_Hs?LSoy3~`T=joAbSlolDc+w3-)aerLMav;Q;dpnjrXy*#(y%-<~ zkc1hP+R_G?!o_<^)VBq5Oj$B2+WU*aNd^XMDxAZN0ij&}1nv5k;levujE>#sglc}( zc)=uz%f!9pnO2im?<}_#SCaRpH%qb;-ATIih1Nx{8OQWKFdRfu%S*vA&xsSGQDz=- z{TtIGG+V~&9LnLF;wIA;1t(t|00S|v#edEw=w8+j=x*3sn=kAORVg@U>^?Rw3^40; zH)G5SeO8vR|0+v=%+_0lQd2-0Uo~7NwW^62iTPoY@a!!@LxTDn^@N9U@~xgVv2Swl z%(hR+y!Y~RgomCiPHfI$^O~bNYgh0?VJx?+y=m3`NXeYR+CyD6M_D82E7eCiw<5S2 z3sf~zB$R$>L$!Tk-Lhtrua1*h`h7-Ac?>)?To|C6mVoKU^bv;Y>d*ga@66+&?Ee4X zT`EMjLfJy35WNMS&9G$e#4wxkEKPp&1^khj6`|f% z?E5Q0Ml27Cedhj&+I3;v>OE@H%Hb& z9dKGAx)j|d{^q$}mF?yFk=%T!PI0F7xmab38TYj?PR++^snE%dPGsLp_1Fwo#9k*% z1uRJ~ZoAiU?6}2PzA>Ub6V{-!a(u_9*@$%R?cA(aqV1rX>Nxnd$~u(m1MlX7i(`Lr z{b*|xC^~!ItI=w#SJBnrz-0LI@=L*1H+^g06B)yLO3jtWEd-c=&d||Dd_E~=lKc2L zwScBebIl`()&Fnf_L7RU(|2-Pg7S^ z=B}`9OJ3WGjPBrr+ic?+;)dlU5}A(c_&n;2}+81 z*hg{fIx5hwrh`rbUPEpBtt^h*{5AE{b;7A_h%f&ZD-KrQEI#rn;YDm-`JP-%hh<3-TB zto2uEu5#^7_F|Z4S9+?7SzXHMra!Hn-Iu2G{&BX|E#+#f(1!2k*>)aa9nrxCp&79Q zK?OI{K+?M}7Fy3$13BHsf(0>KAVHA3KT_2~5Ud&wng$&%`Mm?|JIsje(b-0rsfHvQ zu`8r|c0%3~8WudI=$TJsu=$a8X0K@p^|dYH3O9KMRfeS7zJA4coyMxuT7-Z6oVSxZ z;ZO%Kt=tLxWE)v?AaH1{(NZ-M<5#bYvWwp#Gk~3I=2*HVZ=QjQ&DG1M77#<2!+*@> zy5Ksf>lEhL-V$3yKHYDzi-=q2pj@=Lapp*Rx=5ldXrt?rm{c74pk!F1X0=tR-Dn^rV)YKH1^~`N zgM*eP7N_42ns92E_X57CE>OV)_!6MM>LZqbrjDiEJC{EeDSYr`B*RRB>63U9fwv*R zbRmZhFkrfX=0kI#iO$In6@i8MunNyZ1v~McQULf(08WT+7d;&UFGODeX+TbTf>DO+ ziTbA`SE13({YTd-{pmg!twbUyKVsO@{=crfpV9x5+}-iwn8DleG@K6+v+N>iMBSS&bb%w#{TtuM=EnW;#x zl7YFn{rVTffcJ{Kf2L}HhjXps_vh->M}R-LnZZTa$s&-`yF97_RNXUHKoe6z?ZAGd zc#XK$`LhW&&`TuOg|u~wVRnnay~~@xyBpGrqPb8<+Rcp3w{JHCoUx8^D)ksT-;47q zKz?AP#Ug}_pyT`^wEaW5&ry+1g&b%FC~@BTLic^8N|?!k-JHphOIIrkk`%Qvsd#p4 z-Wm~|BS{rU73ZI?9)n##3o1R^Bn?*^*bL{PDWFVL5>-%xNbtEe!#!l5lTv*PJ62u; zV+TGm0-FW?pohrO(s3oUozQu|!tHuuQZa4o(6~#@!fsvqtBY=WFB-^ByVN#7R*pnUs@hNF@0b3&zshE7}PVEwQOx`_@9IQu3LF}5RgdxkPA#=@`n5Z1bCe25&9$^0&}+C5Y}Kdu8t5k!s9)duGoQVm+s~Qd4aq1?c1UjU7=nOGLNc!PALyToMA-m#W=U3k8_4GVrpRMVV|?CjqefjB zF^ytiI7X?NO6h^ACW7}6H4PF4I%iUPYrh?o_*n=-qr9MzDD-;2-@}4DWIbREB{KZW zB_&O4XDcrMa{$Rg83S}lyKIW|kX>wXU+RP%z&6P@T;6Wa@JXM|H#Hc1(Dnqh=H4gn z>l?_J3bQ`ORwA+UfV>cuaj%(9^>u+URls-yx&GG;1(;Wm{iy*eV#Q|@LB;f9ty-gt zb=2LlcEu%buzCeu{=*k6pdb&Vidg(R5FkJkH|O&6%S>|zJWz%gf4o|Rpw2oFPrH2g zSVdp}Oa)qId^FgJGUP;))wkE-I(41;T`zoB0#lWH~H^&9)A$Fi)=knTlG9 zRN4Hwh!8gguKs!cr68^noPrZKToC9*1V6nBW3nK3fdy{q2`2=&tYM|c0 z&X2eUYB@0=2W|U3;yQ8b$2pT37q=%|o)GdG?);8;`@`RaI=l{sZU?psWYjKjyp@M& z5E>R>RE~kv-Z&Zovr|{tJRaN8i8h-F(dPn>DUVgYp#+8v_e~V=*ib&Kw6M7Zz5H ztDP&yD!@dwQ#}VVM3UO~ZW|Yz(#U{2TWf}N4b}w2(NrHeD*w6$I;WGzc?15C#$c@u zGE`1PEP!Z6Jw1`19lQ?~K9Yx5MhjKNL^KJDFh32#SRd`TV0Khn5sXS2x<$SaXU{u| z3q$WdP3PA~x zcpN0c23xl^#vsH5d+gvpaPftrfuJsSd!@PZLj_v5qPQ0Zz_8mkexHg|EDVDd0AS?` z55Ct>lfQZlmtZOq76L3Ia?au+UIR7bNOBNs{~}rNX{cM;c_s#dCAobwGF@f0wIzSci zGSe>LCd;ZR2&M(0H-HSq&A9*srXn~i|M~ohTi^C`+_xHayuCF%hJa!KIdZ0~X8Y44 zcgi&USfxgrAsG3EZLL723l^a);c`p7>4NT{d}?#h6(m252Xr~-%Nzn1)$Yrz{s20r zz@)*uPE_din8+BT1kqLaiZTWULh^6FNcqW7BqERE6QRBdx}nf{f^7V z)V^NmYImv}^LBO-k1E(10;eXez~{&Qx%lq*h{fn6JA!7T&-A~O{`V0-0las3qabzT z%*pqcEhisoQgjq))Q?Yara#SrJcr!FXti9J!gs zX{*FqL7_!i54o9Tw4@$(XV3a{k-TqYE0C2KwiXk)UQ>3lDWKQ=I7dgh(mP*H?6yp= zSK|$L-MqP0)|}}td7As+@Zd~DhtMp|clwI%C;{U@e!qkk%j_DE8#YLmUfmy}sv3t& zv)>!-Ff01TX#^g*+8Kiy*nOOTPC$lE*vH3J?`MLj!{-apo?xcYQBtlQ&cVG#e=f9BZf0u~>Hy zdW`BzcWghM9M}ce?TFIYq9%cSu+Wo9U00;#Kz*Dl9Gd+~2IHj&Kk8-TmR*!ZjU)ap2kBUoASsC6vvGJVn@3rg{FR1Q@83d-$ zHP!HcB~P#_;rZBHHI5dY?^**xP#IkolFkM#*oEhpb)FW2QkJ}EI!-PENfLSDdYy#}(kCcx_5l9QdsdW18T)H~?n-LGo z5=%7Q{9fMR40Wo1+<1>a7s6Ewn@Zo)Hd^fxr(^E?c4~c+5(`Oi=X8+);TLokykLd;WY1BkV(`otKlCHtjbVixIl2Ufd?i zqtQGTW`liY2DKF|7PmeJ=O200+eSaGj6IhvKalWDAvk=Gv+w^u^zb8 zAk!6Y9j|OmvD8ka6@6?OQZFMvUb46a7-RHS!^>^L*PDgigfhHf4HNEf1a}3)-iS)( zWPmNMkSm6@GPS-BEEoHwAW6Or=Rxr78R@@4`&j!6c0X2A@(UVYj zWy^AjX8)tcB;5uUoXUVZob`~!q%Tk_J71CM(xh3PWvyx8<2K}!ehTVfrWq7eS zpr7B=0IF{SCW$#cHrmEtV|&VQcHH`LG)8ltHI+t+q(I-yGKrTQ8R)c~>^$?*DL`)8 zbaM%29QhVs5bZiwpuxg#HNzJ?cO^tgDt}0}0asZwR?uiyD)}lVzi|!t>gO!vG%B+d z$W?bm3`@tH&q#~29Is}YIsFhvQnu(&CI0JjQJk8fTf(fNQP3F5a6_od=Mv+M-K4sW zB;iYKl|pJQ_414~Z_+C#Cv`?)WF-ibv2uVgRudbW#R)X_V`JD z5*-sg`O zVPC+YxiAJSMp_rah-J&B+>m)O0e`=}`UPBFuPuVmO6SL4b1w3(J`a&``64#({K|-eFOOivMP3rCX7hd#Ls+evo_4J%a zMl-2!>PBrRToLwUqzdQaQp4;$Vr<-Y`4mj8D2W4Q!5yAWBI|gemdq3HuG5kXbLF%? z#apL~m&MkDjL1(j99+jRSVE)Dd(kBgQU>c)?TGXjgU@9@<+H=YB1pO9} zHfG{%!sIE6j0rr%<&xLk5Ig!^+y8_~r7G-Vy*-%gr%_B7mW16~k}f76(Ak$LiUX_6 zB1RkXBjL|s7S>oRcfG-76}FsjAA}`OI4Zp@)JtZoEc{d>RtH?Raw3jb5*~H`%GFkW zhsz4nn~5fiT9W7u8rZ5D6r)?@e+>!YmPXAaxs&9vOA4G>BLZfrPkt?bZFby>0}(qQ ziKj*aF!&3&q$n%i9QYEdUE39#kYT;>s9AZ@eZe1D!Agn(Cv&yXkXJc<*6K7j3zA!p zIQ%JY^xCu<&{;mVy1x#F3=yO6|DfZczmf6C8<@$GS=h5AfOjuQsN-#Ll26_uSk+Z(rZO;o z{H%GtJ1FzRYo$+x$}d@A%{k0l(%)7*cjZ0{?^vU-MsW-tZx^ zrFODE7pMq%{G>|OaQ*d@qYk3Hl%u`H-}`)A!Yte^(i1vkIcNmjb+ah*W;_X9THkb4 zqZ&?k6exYWEL7d-_~?w<(>o{*w7hE}#UGESm2EX|CMx+HrKxNGi}J{EP;Mpp=EIKg zgM?QXJDyBi<>;@T4ch3!JB0X08XTSmI|e`dv*B((f9qG{$ykmTq!k!TOP7xrMzo&P zYMN@!bJ*p_XgC?z%s*?cG^RUfW#EzDsxA8p%N=xn#gg|1MH7G)u|w$#&>+oY=t}j>vpI%NX@B$`x4^f1R{&Goz{lbgHNT`tO|scTP&xUiMKNf zdYVo|mqM?kt5*a)kX5Gby+)}Ryj5b9{nQV^(fq+V#gc~Ch6|=)@peFTrlzeipv$@H zKoYW!k^dGgSF%6cO{+B()~5F`bCqR zOd_+V)2I5cc@B%kb#u~}f`m!x%Uh$7z8-0!jF^~1D_3$zt*cwmYv7ql$bJ^baml}2 zH0_B)el`$^qcG2Icw&kUE4TR~d~ z-y)qwgri81?-hQ}Kxg|re!?NXfRsS4WyRsUSRaYfSz2ALPr%8yos|t7aI<>sRdq2o zR9ZW(@+HU1Vz-aD+y?PS+TS*PX)ik(o#VA0_$in|bSCO<|K^v+72!B&4T(*--HQDe zBzTL?@;kQ2YnCu*3vY(GW?1azzdCa&bu4d*77WuxuDs@xVexS$tHaX84`VT37EP+N z_?@iY^)#S6Dt3!NIi;LFuK-x-RN{+w(RBj>f7YvtNdX1W!wbJvAf#WrvM%FngG>&( z;m0d!V36x5z6WeJq&e?zd0I;d)hHPEIwH4{ZT{DwfHqCm@c* zdt2T2R!@1$zDcRIFQ+{G8L3{$jYY>}BXJPNb zM0i)IbE^7qMtS>s4TVuvSSGA@RV-9*lUtBiU`&`$h%q{A&wiMHxbC+IQ?TReAb77? znjZ%{WEC65-QQEWB?8oo!lqXb)qE7s57bhoSj%D@k1xp!2NyI56umwF_K8AaxOZm> zYF57Pt-1>7?w{J~!t;uO(KBb!^dqAKmW(a0`r$L>GzQ)s8C3RnV2%CjWA4aQc6Qzw zuRm$ka*326qxyCEZlJ|joQUXU6y5lh`egsoem~<>-HfZ;aI-Gaq__BXs*OODe3=`o zk^c9M`6vp`4To+^`JqhSkkKD#nzEb_{=suTYs{Z{0dLAS&v4hnp^-FmvH3UAN|>8 zl+7(%&x(a&?SCd_nGHoxY$X`I!oGSd|_K+*Q6JDV_Lc!b|)g%~y&Yl8ffYo=y*K?4HTSJ!g<3AB^K&Z@Pb``^T9l zqqU(UD@FbbjuzwcY11QwyF3i59_a5pB?Si_HT!^QP}d_aEDJpW{q~MT50vgd(#8P{ zm*bX%To&>O16DjUA!|`X_Yq@Z+c#iWSTuM@>ByQ@N*{lgf2X@JL!?Q2Ia5%9!dru$ zw`gY*)plIZbxb@8m@Do$3*yuH$k>J4#$nIdnJeX2FC!06KIlq8*`&`jOqrbmS|0;- zd!?@9|3paXFt8*LatXEQ<0y_8Q?A2ZpDADC`7ba|$vSn~a!Qfxey)I=Y*3|HuhN#j z!ei1D&0npQQmAf8;bf~s9}_liJTrzqAUy7a+rG_fV{i9O_rPWQ@$)4n6S-bgjWuYX zLgo>23G>c-P@P>hS~E2}QbF^)7E{k20Nq!*BY&LmW>9yb?yS3xyQ{@(CsviSRIWzv z!`|*beO|3niRi^d9^(a>&@clf%y z)30Ldg2KGkJn7lz4>AINUU@%^^=g;bs_l`=nsOMpg>}x0&7-t0+_otIdhDdF>N#<- zy_ffAcfRL56wB8LWl<*o-7jgT=E+T{)!?|Sdz$4DnY8-r!l^SP%ZYTMtByt@Ryv26 zNIE}boOqEOOw#~oY4{0kL&*Pfc3 z%+lE|bbP5|<-RWH+ zynEj_Q3OhD!mS>2Id9^H+IOXZTPY`R(G9&Z)b#D7bivk~>N1Y6mBBytORnYQ+qxWk z3KX)09!u9=_)Q=!XStWvA(>R-8UP^YRv4!S(lb?#gF9gF~nTH z5UG$89;e`XlG7Z(anDazG<-4@qHVl*p0VA-nfRhI?vl3{$&PK{(_y}Cj)@QA?negl zes&OEOg44bKv9VJ7Z?9AvJZ>IKI$l>rXE{^y zg=>1PBjNB$&9rW_z~pFdI9ugvJBl9np&WnQ5qHa%$5Kmc^GX_sElY&m$#I8qICNvLFCoRtI5Jh(gv4qU_A7d;N7sSX3xr9u&KJhgEC~>a6ASPfu;z4So*3r@> z>R1kynn8TMee!Jj)KfRv!vjP|{JB8jYvFi#9fA zDCm}I9_-g;{%Tv^&fPhiKhieucy3HJ0!Q92!V={&$rn*MV;7MruYU&xk^FAcznt(a(o;bT5i$Z<0f%>=FAAM^z%L+vuRaFaeYNjPW zCAa$U$cj+xX@M4LWpdM#DRV$KnM}YJi|F1NTBmAxWkFNh2=+ah#&Tt!Ri(r$PpgE; zJB_y}BL(9w4v$D*(G{pVZm;bs`K`K+lmGdqrX|*l=x{p_sdE8iEu*{^Dw8Qk}gy6&dB?OZ+}o^FhxDeTxWP5!Jq zy^FH^z`lDf{but3zAyXD?h?>RFa=sPc*P0j|6ao)182tIxdvwpi|`SZK5Kn`v8U++ z?{;|?P2j2}Z%5LJg|`d?#E3w`QV^g{Cq%7L^-VF;vg@^W-q~0eD%(ax4~F!4h{(n9 zmXkSkT5mG{JrX6b_Mw@&`7E;M9vnD$ao&5_4%? z4aW7K)QB}+)ToVR{0;%5Np;nyuh&(xe-)p&4m_>3pg19$PPE^5FxQ_7bdlhvHR0}x z?cEob>&C-(#H0Ihg%=}=#T!Ue`yN%p2WTikA&A{DN8DIeV1?n)FXf=j-xU0DVDB4n zf*6{c{(QAA_)TkVc@Zvaij$*q=Y0_JSvl13sL?)yvWtV)Cf`YvX)SDV^;>tPl^@*` zb%2^)_S>NAs;!mz{+rXVlsGb=`$Z_%LG^t5?ov-s#IVFUr}B+bUU24fdo>i$mX4=` ziqGNGF24nBvWwUBGr#8%vUlJ01|52g)xIpPCAp4_1528pi$JrBmHY6;06a*eCBbp~ zN|&1L>IwEI%5NJF670RcvepTsYgM*1NhH=Ry0yH zB|5=<09j-N!nkU<1x!qPJEU{Otmg&RNgW6BK_Y#r%tgg77~pW>4h z8-YKXX!-L$BlTvm2ebfdpol?W;e)f#IlzmSkgK3L6~*3+wU!)V)u{a)aV@ zS2T0~mvi-K z3fr#j$!5%8ff4zBQ1P!UU!}djG84Q1KWuK33%95qyfZou6Na+;z#kpWs~UxBcOL%_ DVlDUX literal 0 HcmV?d00001 diff --git a/src/fundamentals-of-ai-and-kr/module2/main.tex b/src/fundamentals-of-ai-and-kr/module2/main.tex index f17b50d..56cc9c5 100644 --- a/src/fundamentals-of-ai-and-kr/module2/main.tex +++ b/src/fundamentals-of-ai-and-kr/module2/main.tex @@ -10,5 +10,6 @@ \input{sections/_ontologies.tex} \input{sections/_descriptive_logic.tex} \input{sections/_semantic_web.tex} + \input{sections/_time_reasoning.tex} \end{document} \ No newline at end of file diff --git a/src/fundamentals-of-ai-and-kr/module2/sections/_ontologies.tex b/src/fundamentals-of-ai-and-kr/module2/sections/_ontologies.tex index 6ac7cd9..7c9d3b3 100644 --- a/src/fundamentals-of-ai-and-kr/module2/sections/_ontologies.tex +++ b/src/fundamentals-of-ai-and-kr/module2/sections/_ontologies.tex @@ -58,11 +58,11 @@ \item[Necessity] \marginnote{Necessity} Members of a category enjoy some properties - (e.g. $(\text{x} \in \texttt{Car}) \rightarrow \texttt{hasWheels(x)}$). + (e.g. $(\text{x} \in \texttt{Car}) \Rightarrow \texttt{hasWheels(x)}$). \item[Sufficiency] \marginnote{Sufficiency} Sufficient conditions to be part of a category\\ - (e.g. $\texttt{hasPlate(x)} \land \texttt{hasWheels(x)} \rightarrow \texttt{x} \in \texttt{Car}$). + (e.g. $\texttt{hasPlate(x)} \land \texttt{hasWheels(x)} \Rightarrow \texttt{x} \in \texttt{Car}$). \item[Category-level properties] \marginnote{Category-level properties} Category themselves can enjoy properties\\ @@ -70,7 +70,7 @@ \item[Disjointness] \marginnote{Disjointness} Given a set of categories $S$, the categories in $S$ are disjoint iff they all have different objects: - \[ \texttt{disjoint($S$)} \iff (\forall c_1, c_2 \in S, c_1 \neq c_2 \rightarrow c_1 \cap c_2 = \emptyset) \] + \[ \texttt{disjoint($S$)} \iff (\forall c_1, c_2 \in S, c_1 \neq c_2 \Rightarrow c_1 \cap c_2 = \emptyset) \] \item[Exhaustive decomposition] \marginnote{Exhaustive decomposition} Given a category $c$ and a set of categories $S$, $S$ is an exhaustive decomposition of $c$ iff @@ -92,7 +92,7 @@ Objects (meronyms) are part of a whole (holonym). Properties: \begin{descriptionlist} - \item[Transitivity] $\texttt{partOf(x, y)} \land \texttt{partOf(y, z)} \rightarrow \texttt{partOf(x, z)}$ + \item[Transitivity] $\texttt{partOf(x, y)} \land \texttt{partOf(y, z)} \Rightarrow \texttt{partOf(x, z)}$ \item[Reflexivity] $\texttt{partOf(x, x)}$ \end{descriptionlist} diff --git a/src/fundamentals-of-ai-and-kr/module2/sections/_time_reasoning.tex b/src/fundamentals-of-ai-and-kr/module2/sections/_time_reasoning.tex new file mode 100644 index 0000000..128fc63 --- /dev/null +++ b/src/fundamentals-of-ai-and-kr/module2/sections/_time_reasoning.tex @@ -0,0 +1,214 @@ +\chapter{Quantitative time reasoning} + + +\section{Propositional logic} + +\begin{description} + \item[State] \marginnote{State} + The current state of the world can be represented as a set of propositions that are true according the observation of an agent. + + The union of a countable sequence of states represents the evolution of the world. Each proposition is distinguished by its time step. + + \begin{example} + A child has a bow and an arrow, then shoots the arrow. + \[ + \begin{split} + \text{KB}^0 &= \{ \texttt{hasBow}^0, \texttt{hasArrow}^0 \} \\ + \text{KB}^1 &= \{ \texttt{hasBow}^0, \texttt{hasArrow}^0, \texttt{hasBow}^1, \lnot\texttt{hasArrow}^1 \} + \end{split} + \] + \end{example} + + \item[Action] \marginnote{Action} + An action indicates how a state evolves into the next one. + It is described using effect axioms in the form: + \[ \texttt{action}^t \Rightarrow (\texttt{preconditions}^t \iff \texttt{effects}^{t+1}) \] + + \begin{description} + \item[Frame problem] \marginnote{Frame problem} + The effect axioms of an action do not tell what remains unchanged in the next state. + + \begin{description} + \item[Frame axioms] \marginnote{Frame axioms} + The frame axioms of an action describe the unaffected propositions of an action. + \end{description} + \end{description} + + \begin{example} + The action of shooting an arrow can be described as: + \[ + \begin{split} + \texttt{SHOOT}^t &\Rightarrow \{ \texttt{hasArrow}^t \iff \lnot\texttt{hasArrow}^{t+1} \} \\ + \texttt{SHOOT}^t &\Rightarrow \{ \texttt{hasBow}^t \iff \texttt{hasBow}^{t+1} \} + \end{split} + \] + \end{example} + + Note that with $m$ actions and $n$ propositions, the number of frame axioms will be of order $O(mn)$. + Inference for $t$ time steps will have complexity $O(nt)$. +\end{description} + + + +\section{Situation calculus (Green's formulation)} +Situation calculus uses first order logic instead of propositional logic. + +\begin{description} + \item[Situation] \marginnote{Situation} + The initial state is a situation. + Applying an action in a situation is a situation: + \[ s \text{ is a situation and } \texttt{a} \text{ is an action} \iff \texttt{result}(\texttt{a}, s) \text{ is situation} \] + (Note: in FAIRK module 1, \texttt{result} is denoted as \texttt{do}). + + \item[Fluent] \marginnote{Fluent} + Function that varies depending on the situation + (i.e. tells if a property holds in a given situation). + + \begin{example} + $\texttt{hasBow}(s)$ where $s$ is a situation. + \end{example} + + \item[Action] \marginnote{Action} + Actions are described using: + \begin{descriptionlist} + \item[Possibility axioms] \marginnote{Possibility axioms} + Indicates the preconditions $\phi_\texttt{a}$ of an action \texttt{a} in a given situation $s$: + \[ \phi_\texttt{a}(s) \Rightarrow \texttt{poss}(\texttt{a}, s) \] + + \item[Successor state axiom] \marginnote{Successor state axiom} + The evolution of a fluent $F$ follows the axiom: + \[ F^{t+1} \iff (\texttt{ActionCauses$(F)$} \vee (F^{t} \land \lnot\texttt{ActionCauses$(\lnot F)$})) \] + In other words, a fluent is true if an action makes it true or does not change if the action does not involve it. + + Adding the notion of possibility, an action can be described as: + \[ + \begin{split} + \texttt{poss}&(\texttt{a}, s) \Rightarrow \Big( F(\texttt{result}(\texttt{a}, s)) \iff \\ + & (\texttt{a} = \texttt{ActionCauses$(F)$}) \,\vee\, \\ + & (F(s) \,\land\, \texttt{a} \neq \lnot\texttt{ActionCauses$(\lnot F)$}) + \Big) + \end{split} + \] + + \item[Unique action axiom] \marginnote{Unique action axiom} + Only a single action can be executed in a situation to avoid non-determinism. + \end{descriptionlist} +\end{description} + + + +\section{Event calculus (Kowalski's formulation)} + +Event calculus reifies fluents and events (actions) as terms (instead of predicates). + +\begin{description} + \item[Event calculus ontology] \marginnote{Event calculus ontology} + A fixed set of predicates: + \begin{descriptionlist} + \item[$\texttt{holdsAt}(F, T)$] The fluent $F$ holds at time $T$. + \item[$\texttt{happens}(\texttt{E}, T)$] The event \texttt{E} (i.e. execution of an action) happened at time $T$. + \item[$\texttt{initiates}(\texttt{E}, F, T)$] The event \texttt{E} causes the fluent $F$ to start holding at time $T$. + \item[$\texttt{terminates}(\texttt{E}, F, T)$] The event \texttt{E} causes the fluent $F$ to cease holding at time $T$. + \item[$\texttt{clipped}(T_i, F, T_j)$] The fluent $F$ has been made false between the times $T_i$ and $T_j$ ($T_i < T_j$). + \item[$\texttt{initially}(F)$] The fluent $F$ holds at time 0. + \end{descriptionlist} + + \item[Domain-independent axioms] \marginnote{Domain-independent axioms} + A fixed set of axioms: + \begin{description} + \item[Truthness of a fluent] \phantom{} + \begin{enumerate} + \item A fluent holds if an event initiated it in the past and has not been clipped. + \[ + \begin{split} + \texttt{holdsAt}(F, T_j) \Leftarrow\, &\texttt{happens}(\texttt{E}, T_i) \land (T_i < T_j) \,\land\\ + &\texttt{initiates}(\texttt{E}, F, T_i) \land \lnot\texttt{clipped}(T_i, F, T_j) + \end{split} + \] + + \item A fluent holds if it was initially true and has not been clipped. + \[ \texttt{holdsAt}(F, T) \Leftarrow\, \texttt{initially}(F) \land \lnot\texttt{clipped}(0, F, T) \] + \end{enumerate} + Note: the negations make the definition of these axioms in Prolog unsafe. + + \item[Clipping of a fluent] + \[ \texttt{clipped}(T_i, F, T_j) \Leftarrow \texttt{happens}(\texttt{E}, T) \land (T_i < T < T_j) \land \texttt{terminates}(\texttt{E}, F, T) \] + \end{description} + + \item[Domain-dependent axioms] \marginnote{Domain-dependent axioms} + Domain-specific axioms defined using the predicates\\\texttt{initially}, \texttt{initiates} and \texttt{terminates}. +\end{description} + +\begin{description} + \item[Deductive reasoning] + Event calculus only allows deductive reasoning: + it takes as input the domain-dependant axioms and a set of events, and computes a set of true fluents. + If a new event is observed, the query need to be recomputed again. +\end{description} + + +\begin{example} + A room with a light and a button can be described as: + \begin{descriptionlist} + \item[Fluents] \texttt{lightOn} $\cdot$ \texttt{lightOff} + \item[Events] \texttt{PUSH\_BUTTON} + \end{descriptionlist} + + Domain-dependent axioms are: + \begin{descriptionlist} + \item[Initial state] \texttt{initially}(\texttt{lightOff}) + \item[Effects of \texttt{PUSH\_BUTTON} on \texttt{lightOn}] \phantom{} + \begin{itemize} + \item $\texttt{initiates}(\texttt{PUSH\_BUTTON}, \texttt{lightOn}, T) \Leftarrow \texttt{holdsAt}(\texttt{lightOff}, T)$ + \item $\texttt{terminates}(\texttt{PUSH\_BUTTON}, \texttt{lightOn}, T) \Leftarrow \texttt{holdsAt}(\texttt{lightOn}, T)$ + \end{itemize} + \item[Effects of \texttt{PUSH\_BUTTON} on \texttt{lightOff}] \phantom{} + \begin{itemize} + \item $\texttt{initiates}(\texttt{PUSH\_BUTTON}, \texttt{lightOff}, T) \Leftarrow \texttt{holdsAt}(\texttt{lightOn}, T)$ + \item $\texttt{terminates}(\texttt{PUSH\_BUTTON}, \texttt{lightOff}, T) \Leftarrow \texttt{holdsAt}(\texttt{lightOff}, T)$ + \end{itemize} + \end{descriptionlist} + + A set of events could be: + \[ \texttt{happens}(\texttt{PUSH\_BUTTON}, 3) \cdot \texttt{happens}(\texttt{PUSH\_BUTTON}, 5) \cdot \texttt{happens}(\texttt{PUSH\_BUTTON}, 6) \] +\end{example} + + +\subsection{Reactive event calculus} +\marginnote{Reactive event calculus} + +Allows to add events dynamically without the need to recompute the result. + + + +\section{Allen's logic of intervals} + +Event calculus only captures instantaneous events that happen in given points in time. + +\begin{description} + \item[Allen's logic of intervals] \marginnote{Allen's logic of intervals} + Reasoning on time intervals. + + \begin{description} + \item[Interval] \marginnote{Interval} + An interval $i$ starts at a time $\texttt{begin}(i)$ and ends at a time $\texttt{end}(i)$. + + \item[Temporal operators] \marginnote{Temporal operators} + \begin{itemize} + \item $\texttt{meet}(i, j) \iff \texttt{end}(i) = \texttt{begin}(j)$ + \item $\texttt{before}(i, j) \iff \texttt{end}(i) < \texttt{begin}(j)$ + \item $\texttt{after}(i, j) \iff \texttt{before}(j, i)$ + \item $\texttt{during}(i, j) \iff \texttt{begin}(j) < \texttt{begin}(i) < \texttt{end}(i) < \texttt{end}(j)$ + \item $\texttt{overlap}(i, j) \iff \texttt{begin}(i) < \texttt{begin}(j) < \texttt{end}(i) < \texttt{end}(j)$ + \item $\texttt{starts}(i, j) \iff \texttt{begin}(i) = \texttt{begin}(j)$ + \item $\texttt{finishes}(i, j) \iff \texttt{end}(i) = \texttt{end}(j)$ + \item $\texttt{equals}(i, j) \iff \texttt{starts}(i, j) \land \texttt{ends}(i, j)$ + \end{itemize} + + \begin{figure}[H] + \centering + \includegraphics[width=0.5\textwidth]{img/allen_intervals.png} + \caption{Visual representation of temporal operators} + \end{figure} + \end{description} +\end{description} \ No newline at end of file