From 17aeb096978632a1bfcc5df0a4425b0dec9b5680 Mon Sep 17 00:00:00 2001 From: ennucore Date: Mon, 18 Jul 2022 08:27:16 +0300 Subject: [PATCH] A bit more about deal evaluation and contract evaluation --- main.pdf | Bin 587875 -> 589202 bytes main.tex | 14 ++++++++++++-- 2 files changed, 12 insertions(+), 2 deletions(-) diff --git a/main.pdf b/main.pdf index 720e835577ae994fc472ca5dacff6ff7549c3f99..4d63a4d9f7760e146520b412a2b9baf436f4c360 100644 GIT binary patch delta 50266 zcmZs>Q*>cmvd2T)#|Ih*}J={`tXi4 z@sl*39E6o6?OzonRe}O00PVWY$jTs7V2;HEc|MGC+-b4b&z%gtGb0LI^d*r&NH&s> z;MT8;_u=O2;VNuZw@j9*LT0*g@=_Kp8z#ddgyEms`Z3R^q~Fd{P|nrC;xVo!k=Y10 zyC;KVKv4nGx-v{AEb92~Oz>5@qRP1H2uVaI|9CWJGGVxW?vaWzpg1a{=*8f|kC>hN zKtovtjb_Ze>_DvKtO^Q1jNl4!_9wt~Qdg1KwFRwCJtg6Va`kU#1tA8v6J>~=NFL~E zaeR{^PmNcj%?*Z(5!e2Q*cBATi5~FfV2v)gT&jqo{$22sbvA^KTtttd#D?Pp*crT` zKN|RQ)zm|_%2qo+fTyVVDD(|kyFdJT!M)Q?_p)PLzUTHp7l40SvM~(Y>(+8_u*DPG zS#kTZqH#ZIZ^&**R!jsGnM&s4$YQT|T#JR8VkhLTHHG@PLxe(^1^$HyTNAOl28|V5 zP6Tqr*Ww1nlc%aoV$Na>%>wQ(-l0h|JU$GDmmYfWcFfBO7^&@XDQ6vO2|-|t$cjKs zdTWPwe%|zht7r_Yx;c;yhFI-%I}XkGd=6Tlk^A&(iy-WYs*Zs-#_|5#(0Jxd0b5k@ zOh|^CqZU(VXt`P8;N=CsSCzlQ3TqWEC+N?+s*oC56}CFVqXSvF`c@s?FWDWP*&D?j zVxA@U6#TFUpoW$5Xd>P;%JHsMjEK??F)RFyXC?N4#bBcydlQBK$3F1~-q)R9lj&KH z{rV&cxg)y4r1ad5vnSklPGO^7fIz$5>ZWFU&!NA{Vf*`NZ#64lo@ASMbvUk~${!}%GRQDVh|aknV@3Gxgt4TO~iK&FbcG|*dMc)D4a}9G;#km&x{a_ zo{{8WLoqF6EqS&;AIO9r%oF@a0A$w8#(`vFtYba6@DS{(N=zUT+L>iTWQ!GMfC6&I zGjV+o05bx2C+;8|N_=BKc$^> zQH49K=fkhp=X_iSGmo#du!B%=z`e)7 z{y}_A+I*rPfKxbj3A2*uUw@6g2iUDcwWV@4O6CEW~q^wPmYAxe|@Oi{x~XluECTIGiz z67rxS9Sl_}0(8&Sxcz{1gaM*#gxvt~q>Yh+{KWakC~qbs6hnsbo~XmxEgM2_wca3E z@4h4G$6`%Ge<$7%H^Me{Ia8Ln64pL_&8QKLc4m~~M=^?5VW^>NlD9fJ!B_z_`-3+P zwNNb!I>uD9CGO;zt_NjegNfq-?p>^{+mO>VZIEMzo89zZ@L^V^##%!GG!mRp0=i-0MO>E^& z&2-($JHgwB>3V z%Qd{%!E>}OruLRvsS;;<318qtidwEo3j59(Pm8bYrf zJ>J$FZoMX#Q}fkDa8lL?d(-jeqm!cE9}qAh{wvpxdMXqWXr#BhfS>*Qo6fwZ=1!h! zSd}Y+Jogdva{3EBtBaB^2B>cp=K z*Ky-YD?sJanQX9Mk1OFPq{`(Gm5KdK=6aL=ieNfBCb2}8>?W|-t)EZV=OKcHB5!x) zUu|l5>0>MSEW23u-tQVWNUTp!$f$vhTj7VcNm=xr<(kd!*Be21LES9LQfaMR%}Nsb zMjwqnn3bi@QPRxHOGW+^xY?qUrwfT$z0+=vaX{4NX7AP#!nY(!%%#=WxXNhM?f3fM zYl9yl&_y8yl%)uVP(Q8~_}9QMvZ(e59s~T@o3n40W<6ftxyi?32S-p#I@R$iIkjXp z?No5;Bd@jKW(rRLew|U$c=vn4hY9AN54YOjk@xvqwXC2@>^H#+sC0rp^QDPr<&43q47G>+^c50x5^fW zj>-N-89`YxZ@dBBC0K?HmB|H5CSESp=zErF8M*n94%2q2>I&fu7It*rlAaJ4833%Q zXTnLdUdEnZ`)ms!fxkY;);8^2)#k_91lSjS`g~=SL?E4o{voo&b4&E={iK<&W4{>Q zNmZNYlm)bsW6y#3WiXpf`XAWfA+oKQ@18c%sw`&_~)hi$^w`a!!P zVF)giAY$6j-VXwlYp!+5;!K|KK7hOckJ0tQ%d-ck@ODpRsV*lUJK(gEnOvvV;{A-@ z-#ds9J0GtWJig2Y3Kj0@N67aO3<4N9obVj_--PD*ziXyU0ccON1wKx^hl69p%EM;$ zX=06(@if2eE?&bWGa8bZ$Or z@we!+yn_IY@iZhyaTb`sx=Vo{m{jEG5&JuszUW0JXE;{vLPb`*JZ&CaRAA8gH0St# zi>=|tp^9*E5(402y$M(h7=iRz3hD8L61zG=48m2$g?d^gS|h?UNU(1=9kAInez}wO z!`quGcvi^Ic1mQsab){v$beYSF4sl=@p<7~#{6}itRp|IaG_ZvM)ul3%38!ovOl9PCgOE<)+p$o}yHlxkoh2nhNFiq&xP&M|!S}Dh`UR~n-b5*L|eoh3V`zT>z!M+JB2E<~R-@*qDB zCs(Y#OBn$P?d5FllK_hB!6KO=L60t&@D8b;{Cf`hCvzz6jU4r%0>IL#DIolX;P1#K zPB1ior1YnV|6y~p|4tjNJ+2OT?G~=GiD-vxgIq;ltBgAEFP3kRy(S8kOd2EJxL$0S zkEelpI1cQAp{dM2f^V(m&4Y6hT3F?nbwb)L($$u0d!Rx3VFQd=;%vL|P4qLr#&fStsW)y^WZ&j z)s)c>h}KDJ`A*Pl=mJ6}7|(oYvcV}x-4K|erG=0#VgOqhjX!U*HtX3?eaR$sJ6cux zeOO@%W#QGf+B7FE$wYLJ{(4~kF)1N>3jx3;e~BkO2O(rdrzPZ98&2jConbn10=?(FM%O9m3CLK+j^$WRu(zbe^E)bWzVeT>f+--YA-asmrCB?CAunQ%5&-^mkAU9I#jTbph=&=A{j_Jkt}2uWIwr7$Bq?*2i|NiBd~` z9L3tS8TY0&7Ozp<)|0xM0u+1C-?Pi$@k$coe2l{y-$L1F=D%z=!9MvMjk^sL^t1D8DZSNB%x82$Enxl{py7YoH(Xcmbd< z#AR(s^jXcFSlA5Ny1K2ty2oVTaa@$bmPz0dDy1Sw|Ew`J4#O#>I2jjM9{9E45E$i~ zC@HuzKLwr|q4Y zKBIYwwBI}A?E9*=JUEcuC?_x|zPLp*j?K1wW#4kCyVoX{j=)1_P@*a1MZmTf$P+Mo zkU?1O>$uf>Ko8prqy{Vg$o3fQhPHWJw~z4@{7V8kW<~uIkO4<$54I)J>knY1+iL$g zCV_H$++~1ISI7Q#|8+BRYxMN|cF@RO+219klaSL!`)?<(Qgg~&mch_Vi~NBK?m($f z7v)sncMzoxJohrJelAeYtre)*_o6W1`H`uU*0k?I(%*)hU4*xh(dR~a8_&waSU#xw z0;N?eF_fM0Z*?`;ej7Z!g9Tg_RblSOmmANtWlYRdL!&r?!Q_Dc?S-KouvbONo84cz zlSFaqFi^vRk$ z$0lXM!Tx^xBk$M!$;C2baQy%gX*r$!4a@|W@d8>TPEiw;{mXFeG2*M9LCo?=YgVg} zgR3x;aVAn{fK^cpbzP}XTm+0MYzvOk0DyFU^YQ-CTn3(+x`b^qg_X?c38aPuMNMCF z$u;%q;xwxgQ6m+ULDC3nA>CgY1RKfCz2oDVQ}@c~+738uV4V>ExO`8wlba!SxU&)< zj~A{SPOIW5hE%xJ@a7nj%p}VjX?m85wH9JSu|*h4y&x+;S-X=hd9MO_bqd;Y4+yq% z9*Ub0P7W#&m%hOp5(d(p|2=i0kSeOL`0A!NRS}WTfwLassdarjPJgVWTEV(V9bdo z{LfBIm$9mjy6_NZVypPn@-i3SkA82u`>)Qncv0Wiy`@tq9Ta0~FzGxz&pu8B6Ph|e zT|748!pz+@=XX}@z6nft5OPa8b&#h>RKLZOo7Ec9*+>?!VICm+N3E9J0R7mVHTapn z*KXH28U4B|;D#L5{1x5XmX5&1v=-3p?S?)(Eg%JHm~aP+RGBzw(-T(+NJO2Wnnl4&bsRH=pYZ5O3cQ1ZmhHw!EH6)$1>W$fc1bLPNjKNqPDY^IoB?8>Gz4|xnBl?}@aV~RbEqZ^9I!?G!VCK?hcUrZhU;xwvW@DN5g zL7IeD6hktUj|3#v0xIW3*r9BvdzG6Fmrnnpfhg&0tD}5scAeRWB%FMN+{`Q$Po{dL znUMl@o(Io9dSSzGerVGlka}r^xVFI)_tb8yi6>91c^3l_5glhSlgT|>@Y5-?_Ay!m zsYoBMhdmJ=D+0JyuNkI%jwxM~;oqU0!zcJ0Xb?VgCn0m70h#DD;!*MKJx3Vt0NA-` zMMdX#(*VU}0fGx?yee?8Iq@?M^swW0ka5*6fANJ($%&Hfzeu>RwH=RV5&`+2jrNd& zJ(rv%SMrrPDc}idccqDvHhmLQL@eW6pmRVr0W#ghu95#}s7Ej1@?FB6C4nZ0KqKyn zy-dskqhDFx0Y*d0K{=r^lRv+0M)|UWe;TZzU^()yITgk6EC6y4k}G2GKvRU)Z6bRV z4Uu$hTmQW!p7#G7wzn^wJ8>|L)Uy_X5s%H{kNy}L;2b6D(*gELf2Td5pi!1S1xiur z6kQ)T97X{HuB*I>=`h&MLbdCfD}5m|&CCCDN2G{sIp~VzbC)KKEA?ug}y#zF@1L86THR?kys1BpPX->i|@)0q#sN z!_YM9^Haj}SPC^M#Tg;Tes7igap_4|Wv zKyWtG?_h{cQbTRK@2Z-r@w;Hkdvk7R66R%lGqpU_met*Iee-9FMlC^s^7G#rfRJNlB(-K`b^sTOxm8}Z>Mf~zrZ(D>3#M*J_Wn(; z1)WIJvZul;4sYbNG?>!+ah&eguY86PaZEy?%5ik6sMZBCaP?H8qqlv@M~TLFG4SyW zz!i85>&4LF5`#kNz^?uHz-VIJ@Z}qgxywI}U<5%%sgfbXXx!|&M zoY(osN8(tatB?Xm(bDD`)pY zRlr%3?mJQrES19(MLFI4BUcJr>^TAnw^_>8&4*W4O;qCJaym?CqH>mO8*1r4YlM_v z#ya0cu1VQHH7~jB0d0>8XN`4J%+>Dh4+gne8eD_#%{BLH-|3bmoXSNsi6+Er0$fw7 z!TrlBqQNKp!0tLth(btrQzB}N2-`^U>1Gs6i?VOT?|(q;ivJQ5z7xCo4TCKT6X)Up zN34e!7yq18_TlyXC|1|KaeWb%-=G$$63QiHqZusDVh>he*pUr;Qs-lH69C+fftmEoh7Yb1(F7!CKtEKfz@07Vu}eJ zSRl?Qg-|ur9I+fmD%~mX=Nm>+-mJ$smqhh&KixIDe`nwNehqrer=lrE(YS3g;t|lU zsx^+rK$~!#c}45hN+`~M{`GkSd{;3+)!$XHUa-H@F4( znQE0)8iF$6)PjvAkN$zIlqAAW9CEvxoBrHB869Dbk2a4yh*U%(uM0H2w10f&9mmo1 z9wVX}^3#gfQ?Ijrr_{>&Zhm)hNuw)3qa{v9#9b%zkwOmKJk3^)bnGb(Mtb@w>NK(O zA<36Mh(upcRiYCc+TGoyydsps=8gmOgJTrQZiM>b{FSFwRp{q>%%%->mY%RkOHsFQJ6|n1(Ab9g&1YV9P{USvJG1gk+QhJLi7tA zt)%zLw%ukBMCm>P7j?RdEos?>GAe-{8;oy6Av*mew+1@)-y!cH4>H?2AMpn`>7t#< zILsVQuD)&Wl^F6<1RF#g2+bK&{YJ>#V$+86g z^T!Mzw#hpz`n5_jFnOE#UVZ==R|&nUXts|3uE0B;Y}JCuIenCenIxZM86dO>4CO=- zx$6;lFODMJFiqJd#lBF3ln`5X@^CBf2c`&XmMXL~_R5xdbZSC_*8OrR=!X@Z9ct^= zEx_$}rXH?mzka+n8!Br89419fMWA(4#KJpu{`4)oB;_6;O^CajvzP#6jjJ^@bwc-H zxD~sXx_jFgdqCzrygH1;u#M#%w!Y6BhFr>H7;_Qez4Z(pfQ%nmTr8 z9SPo=)v}+7Xa@Dxog12_=h}Z}s8wuAy-{4 z(X}k2orqR$|HF4(gCDZR++M0_Q*aPfpW3#}>TdsYpJn$oBg;9?pp+N(+(%sjx%;M2 zFB4`#kED1_A-61?gEL5j)7wA2rMCSkbr(J{DoTG6Y_kYa6*cyhJg(KAo60NmT4N?^sn5)GJQXCJ2mFa&q-55wnLSUBvagQp< z8U$dr|8d?4YD4GaQ}40JM2 zKbT_KCxexB9tX3KhNVDLLAcJea+sTrK9cn?pC~}V% zX+x2v1}v=vlB0_7-2Jg5ALJqqv|vk8wa#a*cMY(bDz;RXt-i|#wMISv zp9LF+JEKR!n)7C2-6IUd!vaF-GbTzN`tm1Z4=V!k0ER#+`s<-C>lJQGtky@C`m{ff zIF>jBZfbS~1VV$~N6BQCVun?L_jE{Pj8q1k0x;prWP@Y?9~U|Sw+=rhUsR?!gKho` ziYSF%=P}y!f)(pm2{$;k5n$2R*2gdE&ZLOU4>5h`z@>^s#1y6uG$!O51oQ|c6e?mw zp$QZyDtmH{ofF7b+HRgc5&r?EY6O=Hh7&V56&O?ssv58nL^&0TD-+bu4-`oBH*tXb z34q5G=AWc#bPhp4%x@bsuf7O27qL7C5!`abQ`gO|j<|=qBElkTH4l9KFBA{QRo*2$ z4#(PmX+`D%B?4ChZyt5*$28SYiWb<-(U_=j*Xc|(UPk+YU-puF2opsF_Drr%Dv)V@ zI$z=;?W}@~hzVSQZC(f5mcBqdc{M1F5uoKa^1!+5Is9PqVyljDsl+}$zN4>a`V%+hS{u>xi%Dv`O;WOdip_`kEiNc~Sw+V;#~HvBd$D1F)~RU${cK1~@00 zZ&+=*uli;;yUS#uWj*zR&O%({w)IOssIH`aX_A z^`?6aHc9B6mUV(4+?MY{3{sBIVb zMEyb_`h0?M;KF@WRIXOm7~C3{0a}@KdEOZiP6WahYq}@ZYOz{;TlGlAD;!>RZ*|=7 ztLJB1K4aIXWi&4VQsUseGT6)m3*b940`a6PJ6dg=l}+~X+d9QnM=n-xy+>z zj`090i)9}kI*VlXq143(Yt^obo_g3Bs+4|n%%fuUpFa-mHlT*axaXzWW5c8OU+G3?M4sq1v*XS3S z-~edLtxTemW+UvmnK@AlI>lgUY_yCy@O!ve3>lKE#p5iy$BBbPlELF(8sj0{yAhkZ zU+VAWAhh1B{l$m|fHLX5E;Dt#uEQ5WHp`G+vti7IRXQ=Ul`4VQ4B@@3g*Yjd z1w2oxh;ic_4jSeRVZB4}`%Ok|IlV@AD4ZV{IzuRM3j~>@aSY}YIN=i%#p8sVyoU!? za;*5EFGNZ5gar?VAkh&&FD0TC)m-Fe@=m}r-*<540Szf^F1O|}*I8fo?HvJyjZa&| zq1nZCM4f>BSyy{Q2tH$)A@Vko0WT1>ND@6XJ=jz6>VSEUe7r#`OtrQrf2Gx|=Y68VIf#vE^(T(S*@SNT+bW-hG_sYmSc!{5(a7 zwSahHaHtoqnFRgQH&(|; z3SsmYvk*@)xGB5W9eaHDB=NE!$pQt;oD36s^VA0$Q8LA~y}mM!Pmf!@_-l10H9!q! zHM#-XJr}6DX^Bd;zlzFIQbj0r$$yF@^z(J4R|^vUdiW@7>1r$%Ff=GNwCyN8#SaWy6%WY+zbSRv?;W#%$C1!?QhardAbXN_D%Yg7!Zh;C`)l(6>HPpk{ z=rLo6C&u)PB)P_i_$BK%&80g8iWWX)t7{c0 z%}MFW%Q&72)DVORUk8Oe30EJWcQ)6zQxQ5(CX`2Ayf#CsV#8J%1%D170pmSvtK-#% zJA8nvC!)YS!fR(gr(1A@@9_H~`~*ME_eY07Q{8_by!K%)`##pF^s$MKy1P*;iYT?- z3p6}FPlGnWwWX&ZWEi)w!??z?m><&!8H>yYL;k6J>|B!LlL!}NugAD#_$f)tVxc(pE-c*x{xNUyq4W{k*$79}9=!+bydfJ!AW@mclx zQd3oSgnQwWyp^J&D@`5^Sk*IKdoS7uxU*b(Si=h7@-|a*t)&EyU-jT9^o9!C3)bTi z1}sfW!gEfFy%Q5QwqYPHN?-E-+ByI%O}fu)a;1-c#Q*t|cOQ}XLc`N;_mDxwxz3(z(fS#EB(R=%buhGG!FGGh8nXk)yI>{r ze99Pk$@WoWWCzyq$hJ?G-f(5H;<2n!0{2qzajl>S2R(!4vGOrT_T7>%l`>aFMv}|l zj=b-Vo=Bz1NWJ0bu(IaN1e&8jECvgbLx@TdI(Rdx0+#%U9cp2y69BLbS9rUTFeMOY zEGjXH5k>^tBUwV>Y8_bOh}8njNU-1@SUdw_1oNfb0f#oB68JW&Bk>T{izQhc1$M(q zPsehXm~!4v9*td36FdgJ2OFW+CR>{AiQ8$I@8Tw}&ryz^#W(k{C8r(i{UwtbVp~Mj z)w)f7>WnPzCNIyl7jtBbwYtf%SJVS;>QQnDsbu!*u-o3v(fZRBk@A3fS7lMvMeX#G zOQlJ2hNNLn9=uNENwo?8w;q{Hw9wD78J6aUo8ax&%UOonk!Sl14ni6UqAC0Yo z(>zLm?`Nw9W30S_0+_^TTU#!34we4!;xzEU2(Xo+BiXK_kXHyB?gI8GgdzdDyI^YJ zB`%*=NKvz_FJvH(!Ue#X4~Ia$W|Ule&QU$B^*40J(O4&XLE3*@j=5O(Nz0F)KB^;I zKmkcVj!ALs=_237euH6QzO=WOn=eR`uth33zbig`;AoNjAcl{_Hl_4yw+rj^UTmc8 zt61J$rQj;^jF9x;{(OAD(;eyls??6 zH>xyrLM)vD7-251dUX2BkArb&?7Y0CzWC+FmNEPAZu(T5Jrn69K^iG2PI@aJD?cmP z?P2hxpM&u{EsSE+XpNV#%bjg^Ua8T%6#e3?#_A)+xUkON9lY{pUXIaIk=&7f`Yfk~ zsn>pFa>V2F`2r9moHfW!BizM2baG;^*dfTqw@Zx@zy(+IVkWV&xs^QW;J~D9Sf|&& zeva%8x>(~SJkjvXFgWFWr}||lJZ*g^t9|J7$(()Q$vZW8sC~cH>;Fso_6uyE6XpE> zBOq8gh?t1}PfGCd{Z9;}5#&KZrbU24A%d{8r^QP{p@B2AadEMwB^*Fe0;*k2T#L6; z|7zA>qi&*awoIc|%G);5wAgJ{s3u0L)Z29)_&oQtI_wg(erf=|53vu|VO^%1Pd2g= zRkdQ2hPLL>sLs#!2F50a24LqDmz6o{8(EoK-I6WP{x-2felffBsVGMV_){>f#3CF} zFbL`UW6a?ZA+Ukg)dOpK0z5qSsDX`R<#UN_WN0ygrU~J+y}UvJT0bzr>0UpJkCcn+ z8wzf?({Fo-KhQk8z(Vk{9zu{r(lnu z;Y92V!;CqR4JBq@Ud6;g;_u$MvDv|chMmQwpuK@X$s- z_8!QS<9lT)HIkt{;QGqc;^4jXg^-Cd{&|;8H>Vn(?swQ97zji=(|_vP|G!oYe++-w za{$lKZ;abnT-@uPKRMTL?n?mYIyWbX4K1er#)j{5tCNS)mf~hmzDI*fl0(CNC_}UN zu7BfDUfbfU<81N|@M_U(YvKG1aAc(7oxgiGBz}QwyVSm;Il+eWTO6Z$g?M_@R&5#=r>J zu?^7t*V1dj3;_Et;cl-y#4iNtzTt`G&uUFsdpdwC{a35@m+kAA!v#Fxr|jc3=6CT) za2CMGgLDSW7G$9B$aV-@FEuIaUOqUEkAu1TxibpGjdr2BQKqkoqA{cS|tjP2kA_efAUlab#v@Nbb{9vAB+9J1AnO!ljIp8j-} z_XD6xrzMHG0K9d@mg|n5QRhu5d7)k&IPHMib%cQ^hJ#QW^0cf)>C`c;QL()A_Q$E! z4(4wmF9=BoMT5Fm=f1tcp1A8BlYJ<-{KhGZq!@BX@;k*F-OnsIW8a*)#6%EDZk#^g z)r#Z4soqV-wn%gQg`kq~=z)nBaQX|K0|Cmv7`1+p<9avez8)4hI<=g|i0b`;RIyo9 zBkOvKTn%SIO^&FF{JlF@u4k&$wl}$$i)?lJ5FT~OFe4JFM-A&e(vhV|X^Bi?zqD4# z4zCA{6pi#!?0&@wK*n8Q2$&aA^ba<4TaAgbO3Za z=A+Wg5gvvjH}P)mJ_zAP7YwipHj|=)FfBl}A?)ZM(6*n=SJbh9>Ehkr7EwmELaEy~ z4cy3|4KYz3p^V}^UuxugG+K(SKb40C^=HAi%lTGNM(pl*g>Y@cY7^(bNf+C**xK3O zrPji!LPti)){*J-2WJ{HlXj}Y=_9K9Kwj*689e%Q`-t%4 zCB~$DjUEjY-u@=3uE;$!L#i?3Fq01O#tH;>FUbR!`wQ#E%la+aG){={>EG+09cQLG#Z zi>rZT?0Xq$^Z3}uISbc}06?mm=d|g&kvd|Z5h3C16E-2J7}J<8)`E*B#Xyiz_xxSB zF_$bCFZ2#2J#ddfk=KPIF3Y9%5j@7C(AEb=3X(I|6PuD)zp0@4S2$hR$52k$TQQ?< zEE?hac)w>v0fxYQ6U3@qu(mM?c}HEhznPu@=FujCLw{u)1Gn3E1CSvdJAnK5(~0Wm z`-s0pRiqjof8z8^%#XxbMCm=atPa9Qx07O6GFV6zw5??M*0~JY>$^Qv*-@ZV{ULL! zUP~<7`Hxq>&7n2;zrfo2VamodY~O`SOR5{M)4dr7ihmr0;#~m)F(jsq2c~Q79dye^ z-WbHR(2zM{?C_b-5`t`ch>%0k8>+z4t351=zuXBPV^yGYRMjym41mWlfGrNCAN)0A{EXn**|JvU% z@{}oU1t8`;{XiAQ@C-h4zSvw%Pf2YDE_*(xqUxNNA}Zf+&;n1;8Tsgj z#=aq$;7#)16FCzsxKnjx(KfG&S*-kKg6S#jdy=KK)=@%{Z2@~fm3!ksCpA(ijXMh` zCN4-nV*s_nrMH!W{Qly4|7D>}ks|JzONFf>A4;#K4t`TxBg~goIOWg%4Ji>{M%Xs1 z7xK4!C#wVN(nxqyn$~&3ld*G1D-(h>cw2#%ZdCWK%1DS7->v>tV!CMqKRe4_o2x=hX!B0**IQ-lQ_SjB*0E4^;J`L>It)KJ8NK`J^mj`3y~52 zN$HgKB4&f~?;SLw)A%I0iZ`85jL}HbFI9X@*9Y)uq%xw8cj2XY${B~G=M>bT1&8tm z_;ys|C9KW4+Gwf=75=udQKs%DTrvnVk4>`|EY<1!o?(ptED3wdVJCTUU0e@nIJ^p< z900>Vc+e}8@oA@di0D_Tl93h#{!)YL&Q7f*+LoU`U32>24+6HX=XCbnYIN_BlCO-U zj(UDw3j}((JmKDPLWV*v&Alxxe%nP2ZSee_NP%7`%y+F`3STR6TQx$8(#;dCSk8D` zNku94c$VN|^%yRyYGRz61rM}tI&j{l*8mXwLaIiGf5=8x|Anb)iS={E#ap`{JMMX< z>anN#y7YX*c={gKm~kpwcJ<$-X?~yFQ$gKkJcYpK-4z}X7AQWi%W-Qae0aX@fxg^r zIUy>$>6{u4m3mCx>$eXkwyUN>w!tbdiSrDzaZ+dO&m8m5Q{frMn8h)2!+iiwXVlb=>v`199jbf0ks&)J9*2m zV5_6*Gs@+SGor;o@W6`Q*AY0qABd6T+b_+*$X`o>jdDacef_dS@`SZBo_2_L;d805 zIu&+Hs&B_Y>2x^!doGwn^y2L{=m2IBKeItZ1$~qLW$$1S71rwKj?)R1}N0iUF5`au3|3QXp zN|(e!n~Y%jSdd}T^DX`(XAgq1J0msHGJ@sC1&ATJAazqXP>pr9lVH8}qyC55ruUWz zP~*x*9x}I zVJhZkMA>=fJ=eRYiR+Q(9Uz^9v$t~;Wq7YEN=oOhll>Z%kJrjiw^PWgX_M@Uq%=rk z^(@qi=<0g{8Z1;nC3o$$JfN_!^5G)vniOKxAK&XrlA}dgcX~|juo1~zg5lP7eeo4v z$#Sey(_Hx?zt5Bug%keEi`Jx`9zmdRFJi?<5&MbZkwk~YfF^{x86Yfe-u92CDtcd4 zCW4Rgutsa^No6z<2JQS_0 z0;1Fa*@Wy4au#98i;k{N)`r~Cy8tTidT*lOo-0d-tl{fB5D-YZRd%fD{Lj4SsJE{{ zQx<>fIKTMr+M~poWcN?CFNcl&sQhqlY#=!b8c>>|hr{M$5D_gwg&&@mUdi+7vp~5{ zev>%|aU&IG*C`eR8Q*9oy%;7$i=PUqJss=4g`gR_t9BTPF`>iXP)>F#IO?2mzbx78 zrx1S9F7*!aZvaUEqsx0#$dul9#vU(*^J$eutaW-)4_O?OA?F}HZ-B{!)+@uN$z;^% zN7R0thopf0L-}pGQ33&b%QFfKtVkr6qj8&732CGJw=j`FG0p(d@A1iVXT4^hg4E5y z+$$*Pg@R`?oVT!GxiSKrJxAOz*7Btgilk|hsQhiOBcP~B913L)!sYRpRt-5lu^irg z3Jm;Xkmk|2Gy^3uD&4NtnDX(Yn!tW&6Enq<4KD}`8QnEw=yR^ zS?(`Wri2*tqrQMYe#q}jACLLyottI*>t&r3gJcHDP^v#%&z}!Jo4DoAMCW-uj*rRE z?bu9cauT`@nny!#Uh}>Jg43gCc!SJ24aLq5M?hEf-=AqVkNX43buZmyCCgUsz5Vfu z{ePj!-SM7YdreUQPA?QLSFLShZ0YGnG4f~FYO=}_oZ*Z5KANRb$n3$RzZQPF-W38< z8$I%lec3di1Zf2^ZUc6$6MHK1E8Mv_z3(3}VUqNhPKA5$?rzoSIg2Z|hLiuV229?`o8n315LkNjo0T~>z0S$YSX`t|V_Jle>alf3 z?$5z}2&w% zfx`aZVu$zMV3~wPJUPrR8MaB$JjJW5AicOKXOZE&XX*YlJoTRV6{AN9`oh0-lNW>= zH5?MzDMAoIPQy!QWmwjpXR(2(62KP0>a;MS!_z}Y?dUiWbAPs@^<9a679&hen50F~ zsJLE1)DqoV*>0a($!VZj>c6p_Nf~3P022VF_A_rigchm}54#t!j91v;O8=7qU(a7| zbYjc0ql{Ab2ak!?-JIF!GRB3!N1*NIsUTY!g4IG7*^*?3(E>suZyODVJAkqH3|i4@ zE#wK%BFQ+PcQ=H>3@f-@tqwA1{d8nBIgGPgv&E}}z+i*0XAlg=3t0+kApsk z?Mo9+h_1n|_#UY;HO$U40=@V@a%7RTR*kZ|BHf*!|zhbN6&2X!_eo-(=uZJ-8?THF=F=b=h6@> zHkhHUl5t1i{fqKu*9pH-|3&RI$p_@Oq6W?MK6@D$K__2+hO-;ap5U@-3!Te8OM!^>sd%9kG z+1`IC5c6@RY&3Qd#VR9AS5Li)Y1(e6#~sfPrlWWVC0K!k3pcRp{v?*)4~&OlJ3hUO z1>d&fXmdi7GwW#1q`S7jBL#gFl4l4Vzu2K!z43Z3g84dM&?}ZC9m**zFWqh^kc09{{1;4iM}uUie{{k zXkAB5x$0Jjv2cWhxA(Q1LAxS&ggMCBmu?YNU{-{$ zK(JC0h=UH^F!+yZZ`qjqvBjbVEAxKCbg|P2f#Pu}%PKx?Qo-Ed?~!*8@%ML^HrHD) z1vkADFMvys;*7@l;*MH_)KaJJcj2r1T$&b|0Np1KI{BV%&0R|DUT;sBv8*iQZL!sp z>>%giRpOZej|R=ML?THo%!so?K*<*|*Y%)8pX;I@EVU|lRwHZ!U61N4pxfef?JN@N(#Eke_cgUkK#jD(^_w<;5GxxV5-d>K2=P*vr{bqL` zi9jnsW(MR?o`GGnZbY~2XU{TFsD80(_hE^yq^!Kll6g19I7Dyb{{dM*roZiQhGy&c z7b%4kW0g;T8v+|gxTpPx2UA4j+-i{{K5v!(vN_vutra4^Bxof%_)Z$yR)w>Z>L!F! z_Oi=)hAuK4RFDThYsAQRXO-mER#6p{*t0Of41e0@f6&DJt1B)5-^S7f$$Nbt>VUL4 z!vEsN^0m!v2<9e6A5+fYQel+>l+%_dCwk-~cVQ8K?&XPopi)xQZPUBB<>D?;Mq=dR zrQj5CB*xJzUkc+UXU=jp_#^4vuzeso@?ZnuEEfr8-hXw%WIcUWxlJr6=|mL~cBXkr zrRPl2_0D&%SiToOH0@PzniTV4*93h6#A|)PBUbCx{5IQOi=^BlnwxYGZ~ZfLK5IaC z;ObLoq_cw=5vM_MJ~WYjvz22n;3#aI%Ww(tL1SGp-Hr>!tdsDewyVsIkFBP1 z1>+UTpi*u{TE1lYf>HkE0^D(6a4^WreO2#l!8D6US(2{*#g$itX1#Wm@FV4aM(pL7 z=z!A6yZq#f3`Rc#6OX@6PZRvD^eG&b!S`G8dsNMJqLPO7hZNO-pR|6hPg?ltF_SZB z9b2&i$_*o#%>#;|r~0kL_;|H#wLI74*R7=V(pUTuLUNLGCy8wB-cO?oA!ec3sA%&#J?* z4Mq^N-zjU5M&h>*l@1q2*g`0ul0oa$kBjqM0(^4IV~K9R{D-#3B7M+Ay-Jyor9N+d z4-MM-=!nDZM-uvY_VPo2d01*1dl?I~QB%M!R2Q)b=CNZ-MO}hV(5K^25M6`;^?$Oo zk~d=)nUHYy&}Vt5*5YMeBm|`PD^o)D6APut7{tBCuk78%ia?zc&jJrc-Sieh6;PDv zr;Pz=_EB#3dPD2vfoSo8IBhU9FD19K?*}Ox10Fk_rSlXQ@_PDzSG4R$eMF;|-}8)B zvv-|Ou3Ott7o$juVw^YYq~hX~-8;p*^Pf;pDueF}kemIxh-}0J+nvxix!85nNS^uc zjT7%=Wt`F1jg78JoW^zt`L)7LT5h!?j{JD<*L&pcGjFjyxC(u5I;~+0j(6b3>Ly|F zjrilkk6%MlJuobPWlNqtbG_5FNZ)2T)&?dhZ zcat%S{|FKixWAiun>+V3GOmQLi0` zE7G5k+rqfvl8pJ=ZEKnGBpD5XPDH2{4T>+bQEM#f=#b(gyu;ps=2w8Z;jPh3ndpb@ zucJGag(woVfI$vy>f=zGAUL~9%# zxVy&jVP_NLM~gh9{RaLy zTmjp1w2$sodxE1UtY7<4+CY609V_-OK|K>A z{)UD}Be?MP<}K3E7?6h(E?Tu?-|>!Wy%w>>c;z}kwj4NH zR5rUwo`-<@!RzF6dYNEvkotRc7kP) zhKeV?5nRLjF=xe7x)4)rD+;>IeyP3Ns62@bVf`Y?A7i5s)Zbalm?R>l68w`4f4vX} z-@g?|SFfCUhd@T5E?G)9kD;CX zpBvM?DpbCZ5km(!zt}CAclTS33^00plhd^io{C_`6?EJ@%-T*nX9Rmtj>Qlm;*!GP zM~SUr-j8*Zl~GqF?D?)RL|6Ur!e*N{x2*SFkAlIugtah};)bV@10^tjDIO}|>ISY8 zSh44(9g`EV6^{~qoABaX#ZGZ+O*9W(|5=)s28` z@VlT5gLAlRcm248((7=ew#}uHj7wRn$O0DKmmALrFQqU(wx>EFZi7>=iuUdVkMguI z9DJon*lo&(?K63d3(Ou1v)p*;ij0t`yU+cfmUrxvYoWSH@>cqPM#xw}1u<>m3MY7B|YTsrb z(|87pbUyGLSnaluSP)Oc2sV@GM>|tOKUb!hC|y44N;ei#QyckYi1BtJCO5$3g67kT z1f;qsjj;nW_Kuf-wbeT0%hjEJ<_9+3DK2)ypltFS)TwH(T(rvVI+58VGpLv!M2UZv z`*9G6Ql0t6!9z3;&bT?#gq<ZUA%$ zdosOsD5VJ?h&C44fivY>v_S9Bn;@J-sMoqUP3L4v3Tmk{gOSizYEZ~Xt{%-tIB1cQ zxwgbPC7etPIs+^|9T7lMw0@U!=p>N+&hjdRHmh#hV#b0pC(l6%Nju+Bh?QgZ!lKQ4 z9ry)|IW~KLU+JKeSasA_7y>1~RNh_r$uY<^6IYI91vzak*&?T$vB3F0*o_ucCPrFu zn3e2P7;T7T9jztoL{i&ypF#b~UHgPwi!)JruRBm4O!E1Yus?m!hbt`YN4K~uwjy?F z#p@Kh>}}1navp7*xDP2ZlS>JFYis06&7sJtS`6=h@a|W3exFroejd#&gZ!DuIj2FP zZU-Td1$>7_w)Yp-t;^x(_?hEMTfuqFEPYMqws7R^t`TuFaTo~Q^(5)cv8`XNO40h> zB4ngs)ip4|v1)a#Lt?D?+}LdV$59FEJFu{ZhNc=A^&x(3 zF>ykF9)*_NjU?qN=+0e1tXl_V5eWjx5)$LVsRbRK1(2VYxq05*X{o=6^lz|(n^1ip zEw6sHZ*gI=<7r9&5cAgRi=6H*U|>UD;xBf_7Z7gnvYd5)f=70%vO!4yonmz-n$RG0 z*LU&cM^lOyH?q8J@uUK+by5z4|EgdiaHYq8KfGV*14Rp~I5pYr?&sJ7on`h_Lb(Ct z7Zy}nVxH{Y1p`G8$M^8LjYBBaE-l(_kz$rx`ItP=>NYrgZ#~L!c#$)i$ zpx#Jqu*5_?QhD_lesFY6O2}ZkdYF9AF_zo6!zKy_4;rF{CcDjMQTggjYPH>B&pj!B z2;oZbCLN3NhwpEBiQ}>oCY&wRjMn5CqsTaCnQ9kc`ziBg)nEg8iP(`YgO#-=*@Hs5 zbcm6i*Ol4>tH&8ab5c$>T;4(?nAG<{js{@e#{4lT!yM)1))O0}7e;2uZ8? z!5W0!TB>L_x)zEs>iP{b*A^JsQ}_{oiIm}u;KOdO-lC-aCGJfaXB6MF^KWKZL_YG9 zsijRkDHlbif45-}Vb?e+&C(#^y2wsqBiT8Lu79wXtFMFq+#w)+yfwcXXIV+U^`yPf zsADUBdDn^W_^x4doYAa~e~0^)Z5!(LxHjksuqnU6CsdyHPR}9QjLbRuKA~xU5$kF{ z*gi!V-kBD2yC8bkqKUmzKt^77{QHaH_K}JIgi21K5-no`K(R#A|I3*O_%Xj90?BM-?s@4fdK+g+`HSz8D;5vM?p(A|fp?gRr9IC?@+Hzo%)#}wRB;6_sM&ecEp}rwDn_2I7HShbFImTv$*Op`OI)<%|h zl+M|9c-Gv2+%eMf(&sh+ZA13BVMYs1bi2Jv-S#WmzK)i>A78Bac(*IhohI&HH8z-y zo5SkH?6`5Vf{q|g7G$}J95tTm%)@^``Ra|^QWeLdG0%>%`pW=+ZkWp^LMA>+I_Ijl z%mnK!HHaJDzTX>tg5XN!17q%06>wx{h;O+eDMv~hq3<}-v+0!UO1_sw1UJB$0r6!~ zhzD*uSPmyzpd6-Z7M;DD?R6ul+iriS3;Oq1FZbY(4K}~0pM;d-anXv!p@YG44g#Gk z&2g-N_c&0DR)nR0QoBI--VtJuiKLd(b`-nkeSVbeQ!Na~TmIQxbHDbGt!Cn5;97u{ z8tdR-dge+ME*r|-Hf9drVUvtn@I#we6|WFsPPC-Pn(Z8Bk!VCwRsmmGs4536#B*js zGE4$~az{=2NwCaC*PMEti~+{;=@*fyYiUnw>>|IA`%ipiG!)FpE%2} zizHRn9!?O2uolp%1M4y=4+PT)$a9mT>r?WmyZ)97Zjc^DvV0K>LFt=>#w8c zWxjf^d+$_#Qoqk``Q&84HQL`a^#RR{steJhr)BxXS;;CvkE!8MO&$QIm={##jUm#(iU1bC1q zQ3@`9Yc4E=07;%9Sn&Q!C6)s|wGKFk<6^;A0WomdaFg41=R4ich4!#zPxWYc*sUXf$;bmq3q7Cvh{9q-Re6O-fA2K3X%rZer7$eAXOQZPxOD8fdGe9o{D7+XXQV7n9OtwNV9C?T{s?vOM{ zExiive=rznV9QOz?U4{;J>As0{IL3iHancA&8q!Xw~oA#<781M(^G%grt?*2Nz!Og zQ29E&v}*&|7tD^v{3oD5PJ@?vyNdJ1$L(n3CK}G~!)*=-TIP5cqW?6my z<)RYNGJbv$5=tm`bnk>^>GnFm0TgKkdPXA4H|!>>m=1)io`2~ig%R+7V&z}kZ50T{ zibb)A+n|PfgBsST-}~$tJpI+Z2(cY>cz8ohov({;2>Kd+7ARJMa$-YIjxI)jFCTC~ zdz)4Ng$3_{jy&j%{a9jm1Esr3Gw-0-m}SPJgmgM+ZmMAmx8};CUK%x4rV9h6A*Q%b zbvjezu%tgQ#sn%Y!ru3PtLDeR?|Jr2Nt?Ml!lU7&!xHl6u}p4MN=|1&D`LO`!j?&O zIuKWmj&{1YOj>JBPcOSdt;taSpa&uxovZmr+J3e_JM4cU_BAwm5j2JhUs+qc5;)BJ zVIwPJ?5;*PWP#xcLfsZ=zq>n`Xsgpz!Hv0)-S+~J3ov!D~S=B{o z#8}UAVPgi5(a!{bZ8(T~de{gH(!Y7xjl}T;{gM_wVv2#64m#~z&28f7`Pp(`qN&`? z`htqqvm>|c*hB|++79=fc7id25TdFQ0HBM!#^Qna|vpH_3;%BsCNpGEx)2iLkvaY z(ot#FT3~Rek;Y+w9nkn7i9r>^*>=b#aj$KO3+{2fi%eU|_y{H?VNVyP$c24DMwF=H zi#0nzJZ^Y_vr^VUk3)n}b+UNNkVTj2!FAElYLqd21(WA2eg>KBTH>pbviSJzE zoya?L!z^>6dWrEV6lj5JttePAY3eW5!(?N`aul%uwtgOO_(h}5a06zliagA?kidnR z0f%rSF2mo!mZYzjG*F~j6TI+p#|;Mx7I+x7t#4?{fo@G%|<}lK9$5 zF$G&7+1GZE2a_c&{m@}Jej%%Oulm^liI|y79MpeX%pHfK?71w zX?^g2>e!B3X%NyDmqO~9<#Sq(-K@F~G~2VWwOYZ-!b~q1nD&&%5;JVxV|gKi_%h>M zF5iCFUM3ZKtrpd5sqZkeSdXDC_d_VPKEVl?Ivgai1?j|UA#Kp-mf@l$K2}y!hf4xS zydU=t%fJ!00nXFfmhxN<3ZuYKU#PPID6?^YX9e~W@J+By8ZKm}L?($ob&u92$|gG9 zK?E*?Q${WvCYv#p*K_1>IPBs_+ye9!$6iV-V+-a&Hxd1Gu-aR$TtLh0%xK_*(ATKI zp_uP(0q~x7#5L8UcAZ?Znh7V#)m%rr#y=cPCe7PE#YKBAdG!HI=)-SvP2vG03_*-E@M z;srnLV|C=gkVRGN&=K^oSHfj37W^)McD3#2_+bk& z&Ydpre9+&o7xy7~=au|;i)r1~3!8pguS>8`|2f}PcN)feT)-R0;Ww#?y}(c3fg2aUoE7DF^F@J9trQYF}-w%tI;Ij z2xwuPTp~Hh|D5KjN=5ORqD>CR!J*0Cmx2P~d80>})@l$}e{M}s;q+XNF6H zJU6P0Wbo8hnfB}M!e%;fK0vB}aO7(GzCQ7*y{C;0GHpo8uIF2i^651Z+)RuKb~t}m zm^gJExcLl8;1ovIo-%rZOPAT;*Jw-dFPHUQi!1P$k~!9DOCVJ3n_r|GX1jT({)1N% zA7*ROn;`_zE-zAbpGV)q?7^yI4L3vP%$7Xo?7}ocABkoSf;PR~&HQ+ObL{*$Kl!(c zaCZ+Yf8!=B@bkx&6^g3fEUTc6KIh8+E&{KyUq+WQhlN_sao@@Kj_;A?@0RY+We1_~ z>_IVa80b_L?}?_eb@vzrQJ#FG4>^}E4W9Hwf)&A*Gh3hbyJ#@uOb_mCa7r8l-MQuG z{+3(o0vI9(#(~&e|1ao&)PUw89e6a!v@r0P)>0%+bDamdlFvsm6#6ejzP$te;E(95 z1|^rBR7ZnAl5(MpU{|8}^@F?USlROt%bfD7GtEHlV#dtG<0KW!k0_VffD7AGfcWa6 z&(udw7DIPWAh$ris2te z2lAL_!TS?sT2s_Ew&}<0QZU1#;uQYrZ^Mzky?9$HH8Hc0yz3Bm+1gv(3emJXG>;8? z)=_9=Jxw;=q2@*9O2Rb6=>m`su|V#1`J!CuUadYu%(M*SSQB*0o86r=^n314CE81- zKpLFK=t_ka2CSohM*W^cY|h_q>C924R`-z07>$kg0sGem(bZ_q?rM@4xopIO`@Iiji3QrtsbkKf>O^ji4Ym zz`x`cNW006$Vrl$3Oj3&U#p2Q$h3FQz*gOdJC>V!4b`203y0ZmgW#Hd79|dmzf!JX zu7U1MLc9Gp2fEeF)yL1cYmCfk9Xgst8qUxOW z+X)`%X)P`qPhw}@Qm6)gTHQwqJD2;mA^#H{-*Sv(*1t!zU+HPQ_s8$owlfa z`8RaE8p$>Uryw0si$uG&j%}WEmX6fhz5v~8`TbRY^LivsIeF9V&h*+Nwd48XRR}_@ z>>`YFqAKLh9y_g3A%BCoO*rUnhVcF3(aZ3KbZK2b$U`D{e&P;XY%jgW&OkkNma%7& z3@%AE#BeJ1p!h^*qMS;Lo>^?zPc~k&d=28e55*!e=w#c1-V}2~7nBDflaw6ZmwH%n z0V)T7$f|+a_G|&Hn0Afd6P*;l{o0PbM6uon4c|U}N8SGdsb=1#DLX9ex&cdV9s`o% zP;(bnqnvlSSV2>#-caW(uU=R}h#R;a0`3t~YfNs*#0%=w{3wd-yT=|2eb@Npb4Aak z7`MAS(d5DeN4J?`XP1NtbDV#_xHJ?73E*sV2zYEvThNA6c9ek$iD& zio%5Y)?-C0iB`6MPN?BG@dKGynNq=*BNWN%_>3NbS|mk^%_6_tiL zrTNvpuV23&ulrYj{o{c1E?baeFpW%(xrVC?mup1(U?tSsySlz$)G&1@YU?ab_5|3dsbf`O4`y2k^pK+1$BU=nZ22_ku5;U&Dhq;1R!T+VrK7RMguT+a0b}^ z#{yvDU~g*mPiZcUf3bgrT>wS^7e_M_tH0aKJWb3T|8da+9L=2VtXy3FJ_D>=02a;OYRdvNy4HGyR9aU%R=(zl0o}9sWkx{q_9?Q*v-|bun?aa&!g!&8j3O@gF>0 zEsb3N$?anG*9~wm{~KxQVB+>qN&ou(!u<8R8d=%909?&HUH^Z{Wo!m8wQ_N^HS+qK z`!ATIv(>*e++3{eE&huEJ;2$_!pPaw*38A_FU();f4cKubprmE>Wv&7ZN2{8?eK5Z z|Kwoh>SAVV&IrfC`ZuSE>)+fKR`zgA{~Q%*dvgZ>3-f>2P2C*-)8}sH{BMJ(|2Z=> ze@PgbI@sHK0Zf0*%;A_699;jV1W^Cqsm%EQPUQaw68}FD`2UH#|Nq4O?;8CtL;U}D zp8q?vgqy9cf{~rszncL6dB*_c0RLPv_WxV7k)4&T*Z(R0zej4C{RheaBaF1G(ce}G z+gtpVgPD=}Ka5r`5>}pOrbCYAtmBip}y`q!>*Z)$($Y-?q2_E*n;TM1xbVP^hs zJ~c}#6C3+~8qe_`E;D=6|IYodME^2p(vVRTkuyAq$7+AU3{*D|g3xJ!Q&G-M1@n0a8|60o%xjI{U0(AbC&CK#| z@&DuZUn_sT{{|y&Z{lG3&uLM0HL^GTd%*su;UBk&o3ry@UH_f=zeWG&`ro5&X69*T z0=Kr}V8R=0ot~B9T92JKG9{)n0Av9l32`iIQY$VDsCDS`PY>VWt}=YD3t?=Y;rZpT@?`clF{@RqHa=leWQOn{K=$WhL~}#8SQ<&B)1Lmos(JP zaCb^sMZfeNig2cj%^BwUi6(%|y)XcS{LvA~&m^re4znAj83e7q=E!8=YG{0P zWVr7Zvi|^|E;kOAg4YP!FXfCR+11O?`M$~I6Y|xaBmUVqfvH=wq9fzSRZJt9#kP+* z_)dQq+$8Rns%pJxY&V;VK$e1iKNZnjKJ~)io=q_|^`?lRE)>Ay7S7wty3{Oy7oZ20 zUe}*(!+LN@u|12c{kU1sN{~V?(oFE3**RMH(;)8ny0kv*Vv*DfVd5Dlr7Aox(lDb( zi5O3-bSc2SnaLP2qxK!eBf6(hzX8UHe1m^Db7n%daTXS=7rzZsdB9>^s}961Q-gjk zk+hP+Abt;#$%CXcb_yy|I_}haHj+ z#bwcgo{Ufw20a;+b1~VvwY}OUih%p?hqgI+zxbx>@RpkI(r4y?HkeS1E28z26PAA` zCvHPZMmj@$JXeU=~m6I1OEW{mX*hABuT<9nxuQyr;?Nc0#DdqCTt(wzvO z502N4nFn*VWXi|Rny4`{g!<|#cea1(*UFsdZCHu`Z(z#~r=oH$npiV$ikLlIhoPRr ziL}&Ak$34kUB}L^8M5u1(|}xRk-sB)#+3N8l{N@=(IImW=;;*LzIo$KczM2>n5W_54&$Qxn@4HL$y(9nK%9|KMTI8 zmYj2Mr#q6zJVLXFZv%-Fk%5B7QFmwd_{8kfnqcC3(w|AK46NU+_WK8ak6wWtUVyb0 zV$#u`uT@*Q-jq_;Mte9KlwQaVm0`e(97M_Tn{Usowm{_)uO-COZR~?7=ziT8vIRUo zs(*O__S;W?2U~rc@-WDJtDk$Z;>H~Gk8-gAHj!gN*J*1OA)Oguy-ntwNj)y;= z>JW=q#Ja%yFI{S7yxCDz`HEY+tvP6PjEmmLq2E$Y>Q5c*+ChjzL*7#y?taqk0iwmQ zwiD9RYW8PkWSRYVm(qUS?zvU@C@Fz6;D%D7t<077@bM73kT-u^EQ=0AzAHoYRquH0 zc|>Xw6FgP4An3VK}W}k;`p~L}}5Po%W+%ffV?vNAOl5lyi>3+Siw==vjzU~D z3L<@sMI&-6+oXSE%NA&D19rv~18Bq$NCwoJ1Wiz5Vd2&(gdlpVwL|73g0hU9r_8DK z&z)ZJdK?C3Aaz$Fpg%YNA60Ip{$`{lF8tt z`!-a@(eE5Cl3Vb>fbaew0lqX)cQi1l?in99+DJ*O&trdDMt{y!&K4wu%mA!+8;P72Ta;BIRQQIor1zmba3*;OuMca!yL zp^&f$SA&EFMvd?V=R9CW8r3fHKH)XH8p&shU?A6`|L~V;VqK#1nPyT8**xf2LNRc=;?pp)5I`Y(nM5z4&7j;l}PW zV7s@@`S%9NJot9^n@_g)^8~&lf1#Il%D&>9keTK@gW;yDK_UqK%C!xO3_=iFj?Ct{ zcme_42t>~*qYPc)_;P&xy}Z6wjKO@5l|`3-^H;6EPJ;3|-Dt_zyRPfGLYf2dd(=a$ zW4wRWC~E3O-x0Kvv}M~DjKeTJ^lM2Mr;sLjFU>%|Mf{4sGRzEdNAUP?V|M=Hdsta+ zUocwrq1!>QQI2OYzA>G?kXFk(|%rr~d9heKQ1b;z} zG~OZ#Q7K+dl++ioroo-HlyaFQOcntMSD1+1LlYTNX^S{wJO$QsF3`yXm{03#B<<7d zbKYY%0u1E#!X^+H`VXcL87aJWgq0a!yaF^BK{LrGik$mQ8Z` z$&ZHccRMHf$#LCV5*4)bA`Ak5hW`EXFvM~I$0|My(Tp8le$;>FsKwNjlXK5b{cXbS zcJ5Zh=|mx1fPEAn?|bg~SRwdsn>A(hbDNr&@gn)!d8JSyvRro`Y`z@f*B*aC^28Ir z-t79QC!E+S7GVJHJ?i}_+@h7MlVvh>Res^V3hhs@kKbxPeX>pt_Z{{FW{i;Ra&QA; z)uXXd^K?OP(i{qefZn=&ZA6#{4L=;` zE@v%-v6W+dJ(!RLezzx~k2J_U^mn4qJIEMID6I*5Ctc@)kR*hoh&q4uRf%%fvy%iI z!!%Qe&%Yy!s7TCm+LT`bF01&f&kVhcRw-`9Br^-&34PO$d z{8mhhI@UaXrP*$&t@nQgcdlu{CF5V}B4XWVjs}rV<7bTW)c|(~o}A{5Z z<&jEGBi4Qc!SP?c}LuY}F`<#i;zaWk`mwBN*j;$HXIzz8%3 z*et2Giqr#D$Hr_%4dsKme#Sqi=~G1EU*vRom=x(w`F}f7z?Odj;TjgywC>OEA^iN7 z&Yii$8H&beO{|8-rFl7W%@6*w3yu3Zbpv4ZbT5E5I0XwIym89_IqjQ+Wo(EaL|Q#@ z1>?;aXZ(%}dY6(sKJC8;N(7ARf3}Aq1U#+=Ti~Ajn zK-SxysR#~EKkxA=1fY^{;aOVe$%gg9OmPL)l`|zZ0Tqxaf zYf6YGi$i}M^`~J7FTqPf7CV0*jG?#}>I#H{;EiCF`NS;`^vXFi^8Ki`!TG2FL|~1G zm5r6Y1gdS7i?uBHlSE5kF%bS>wz3CG!WukqouicEX4NnKbb+h0+q2CBk!nCeG`~Xn z`SwBD8pm8kW643)&=q;La7zO2jf%w&2Dz%_;L3j~6I(6fT_c?6WkVLaS=LVt2idUa z!A7G?rK(D`FoS}D~-#D)|5n?dwP?jM^K68TCD7ajMTP_W*P>vxl^iTICKl~ zrzwBM=ILyM;GJ=C@Dp1{Nxm6vo z#&r)2__c}Xx0H?IGLhyCetJ#Hkq}tcj0JznKDP=#|BwYBg3cGmbLmSEMsuFeZMSUI z;rcj!W+;1L$I;JBXGBDn2su9a&N^KzyG~UcVbpc~By4lu>R=<0OMR_=@&R-9%Z#k$(-}g9IVP#b=RxBIxVZ$%^x|< z?VIOfzR%p4y+~?SOx)>m$X0g_VyX}Bf3&H4Uapc7!;}>(UX~hXdi-L zU)}@H1F4@)kHJFAz%&uZXGHWn0z!WftgXRqWXKt4kq7d=X_aE+t1=EXkTgdY(ekC> zv`F*&aX<@#vpG8`*yMSBS1BuspG_RD!JPDL<8i-s{8g}ibNhj^yh9dXO*yiq{{>(Y z&Y`FknJ1k0%dScHQm>)cD&1HXuWV=+O|r3Glgt)<5W>OdMy_$eGQ1jQpqPJ2L+4ec zy4%iNf3vIMqI){Hx*PbYm2KF~W~o(MO%+eQRfh$hI;G*q6Q=??P(AZkyH_5*TdnMPKg_({?|gvi^UGNjM&Ge#=eQd|S4 zfHaxMpzdCL?C)C!*AVZJ61;YqW&LROlUXLsn|#^_hm2SlKFD7EHJg9e=!-Il*$om3 zc7M>{PqfT+^9gHYi*5}x*=xTl$QA0&;gh)qD*r6^L%drdb0*~4|Kf!8fVp>j2x&aR z%*dT|Xm2Ue|0GDXWEH#oF6RA1Po{eExi-`m65_XRNEY&M{LGD;M+3}L;p-~OlyNlmUWHLHDZ{IeVNi{W(nMQs!8>^|pcFPf zmqaV&t6r(6&BMB^J26xIW>l4sHL?hsn6<;<0d%$uBz7G%s%sHyS*e?QgC#+uEzhGR z9|8D-&+7aMI`@e@uI2N)MpK8>vK1VIQ?yObJF1KWc0(fer`~@dF&Bq@~2MZ6+JR5yFNEKWz$21>C}EQCLNTRN?^_RkeIBF(!^tJ=61#yCi4q* z26err@GD$W65n#0yrnP1UIR>%R)8~!^305M;J`%&{lMX21XM`^3y!;k49_Va=q_P_ za;3t{zPe5`wXA>WlCuNH`@MdZGhk$v-YWx$LV;IF%3*{Azg$v=#qW``_D)!i#iL0# zeX0D0EnZz;A_8X3O{jpCa7rOBJc+H}VB7G2XuF5#&4tkdhdZH8KXUj44Mm}B!X67- z%N_nWc)vj{EC!U|maVfIY3}JKU~tEv#bTKwBoqrcrwV_e9}3c(ZK&df9LNReYj#zO z1o5^@Dy(>nntO+L%#PvGCA)$a1->5tfkniQguXAA(_4!eat_~W+)6kuDF)`pE3uKH zO+(Szq`u*(Gj1q%B!q!@bm`!g!|)ic2% z91RY2%=&+~IJRJsiOjKniO=!DATsYDJBW&3fA|P(fssGrXs*m(-f|Ruk44#aTk9v` zXjCJi?wSF+;sz@WJ-*~s=f|8&RLw`J-KyRpVqTmS+)I|@!CYUD9k%Jc>%cBQIr_mW zqQklYraNN4pno%|htfPh$vaQgF7IRk_o2k_b)bJm%o~TL;&_VS?AvjmW`U^u>p2{_ z8Vhde|M!2^a%PX`hwxqn36iC;gijvt#O?J6GZGzY6@ zY*wftCODUja>9cMINSU;;l-*vv-kKFZ6S`S!T?wr*jR<(?KF|5#y>uPRvEZp0ehceMW3t~8S3Q?2boUnFpqwXHMwrejGH$8Iuu1xeB{OQ z5F=U-0+n}T*P;a*al5GBVqWEjj*94eYe~6EdG1w&jGpBvOtQ#e)L_RdBG94SPuO^V zTR4@I2>Mf;RBP0+I#?+vu@A?1WHK;i`agfZ;*Rxvgu0fi@yQ17?LAJbVj?1L&(%P5 zx(~tonKeO0R)VvJo94uHnAd{e>eBx}vjQ=Wr^tmPw3#}@mcYg1?ggQ7i%GV$&DjkN z8h;1G-zijxf(IcZ|0tP&2+9ONZA~bMd|;D~z5VLhCB|F?sj#p{3kr-;%M%X+??HbG z*;Lm+MnolWIoK=)y{zkv6wHGd*$XsFnd3En#CB)y?Y*B`AxpdP+d{T_=B zFR|D|B~>3E?&o-;W19UlA_#Nlz;;66+-QJUrFyXLlsIn(88$igFs!+LYfbakm7#?` zwN#c>sDcnpht|3w0zThb5unSzGHriOyS>oJvA_H&nAliEPGnOqP>Y#qNMh{r&Dpj} zRmjjs@Lnkqs3>{Ins$pkbCJQ~+Cw_D8OX2}MBc{)20Q{MqNtIT!}oBogi<|7>Esig zkB5iz3adndle&*sAp120Du7V#!@YkVP|O|- zZC%#yc9Iqoud1-{i~xjHOPi)z5Uy};MpyiJ~W_J-A6E>=n`&yTTE@@z_9 z^8qV$Vu!wt@3Bf6hobX@!o?JYSe7c$gktt^N{HVUgx*`B%<>SY48x~adT8{TcnR2? z^o}&y@AC+g4hI+bp`&xRuCsp@2r1nwpy5rb@A|_%*RV?g{3lsk=>cxlyLv>Dhw4-8 zz;EwUvag6maheE`v4eJCIiuebDexq zf`rJhbZSiKlv%p67zKUKf|w=j0OOPSmakw>LBS9Yrp*_5MOWbr@s)o#{Tc&hwd^O; zhIj!kiG&=rO)!X!JORO87#W6(N?g+#mbHa@S8ixMy7@G;M0+yCIoh)$38KxQ>LmTK z!hBhmNk)b4C(z*G-L>)kZ9BNOrdKFN3C<1>lwGa4^%3m|X@XaFN1Jfhf+5@+7 ze;5wwrX8K-g8kV}lJ0->6>{~a7-b1eh(UB=?kP}RK=8&qcZ;#emw&s+>{shwnUmX0 zXU#2>TBIFf!_2kreLxcGe-;=_Z6*E9FyDGtA8Mb%6_v5E=Y|ro#LrrtbvL zs6nz+M_8s~yjRbjoX|uXhSa!*q%KZqg3Z{bR zdX1kjLzp(fX%$z#Llvl>)v>id7?rC1$2bH!DQ6jh;TuSeCxzs{nGBYfc(J)B<;zRL zVIxS;=&tJ2b~RK}rrW3X7Ds?GKfA{GceHAH={Nc~7Gk8lL0%OJL)+v~3A3v>Sf9@$ z+;3ohe$O<1rXMVSZ?otN^m692kI}e3fQB8On%hWMmc7sQK0({bOeK}wsN3$FcmlD~ zZdfczGuPmR)Wf^$)k5>f zH6nBZ#{<_Yod;?W;^sBXk}nXa4DNfr=5yn|#7b`F<#?|z+Gi&w+WRs9?1c`ss(SL| zUIPL`y`>g4Bbg>t2-WEhPFZwe#_ua~5^wwgTGn`M7hu`?M3aqE(${JG%ZZ5m*nHp( zKdX&{d*DugH#_-40j?e`8b_{%;Q~K$*0SuNLWOJ*|L>q7I4ewt0k@cowSyo~F*gE; zM)@>WTy(!wsv}U-b2U^&;grczg=a6Li|xpTRSD|RlxWMW``=CqH3mmJ##dZQlt zlb@kMWh(as0RV%5EiiHIVhraS%Z`Wf_$`)HDK&qfjE`DJc(Hy>M%(SWeN9AcRGag) z%YjrI;&Ab3`leTMKf$SV27*e;@~deEelE54790G$aCJ}Iex<;*FA+qeY7*z>N;QQ9 z1=@apn&^)_ozK%sZmM0Z7ON@vz6OYg{lJm6?6*WnlRM@YcgI?iLJ@a0Hv$48k(@uD zS9BdkoksviI36XbS23K;e0slbOd#7+_jZD@#SjuP$h^om94h%Y0UkCzBhTPzFLeY^ z+#^+Lx(*xw{o<@vlL05~0$d9)0!%SF`{{;%xgl0*MSJSb!P}ytjf@40<*4QhI(QXk zk9|KpW^NF*542hT`XgdI(L%ihwM#KZ9^{Mmhd2+C=btV0VNl~YZ^>6X!@6n3M z5upvwNFOQiu16U8oXcL>_*M3yl*gxk9tWzEWxbtvP1fqzwNn%PWI%0o5IqV#uD-*6 zm)lSvGk5pltb-HLwSGv}4z^qa5bi`p8T!z#iVlJgPCH$~1Dw z8PlJ!kw}j2`YZV2@oUq2sZ*~n*Al_42BSRa2%j0x3c?A&SLe%HOklja(lVs%3+1zB zAv`B6E^eql%IEX_fZ`5@SF^SYY+_Y^e_Fii2s||UIEk{Q#j{er1tcq4WHPBd?*?mw zk+H{W@d5Uuvfkw$*8FrS1jHNmNA0&KMtYTQ6~Dw(#$x^~p3$Rgc&qMB3wKMSBa`8b z^7ezuz!HwD?D4|7Hma^6Vc1w#vLKotpY$#yYoK)3!-g}n8CsMd@EW}W#85YXl5#yR z?hzp+h$AKJJcmuU*AmaKj#6=0%qdel-|)eT?N;A7mG-4(9DjhgStmCuZw6Ur30k{= z217AZKQ43{ICLH3d<>(sOR2kN4YDx5AO_T5%vdmdx9>-bH4Oo;N`(r^iwd9VD;WWr zihiTksY911FystDsKALxGaYk(I{i%wLuAGZKU;6m@w|*r9!^WIPc0s-0+Uu^z%a4= z_Ab&Z-R}I=ik$YOpB>xIr3r#ADwJ2A`5RRTcKV^7ily5?N_Xx7r2v69_Uo{1P+TL_z!e)!r zr9xJ}B=P1QGS8re*OXDoN+2stm4pG^W^ArVAI_wa{rbEo*fj<`HRDDTuIwcv+Kig@ zxgcZKYyg~854f^me<&fTT`F5{;foPP`1jgc{rFsN5<-OcGtu(A0biB%(mISsdvzNd zko7k+U+0cXLAOLskSZ8|Qv(!Dvt&13lB8f6y6T7k;paV`hS^Yu@aqKb`L2vEW;}ND z;DRN2irGqVjB;a%4^hf9n~3)nlgaT|`&Cqt8N@t(9`MTCrL@G_s9!G}w;ncLj{7CX zt_{5Dr52Moz*~pybx0|bNS`|A0maR zAI=a}wl3eF!ijKuPC0+yc2F>6Ip`kZvRKNTqGNf!W2gPlM2NYssu-Lvt%^Q;X=+uY zX4UxM`ZfawRy;JjW8IDyK+}*UH%`r8$Dvxn8c3Uhvhf`{I+JlR=Vd-hU`?k@)F-%d zOU#w$b);g&tqgyE1lGXBv>OFWxH~8z+f#2A^e2XEpTZwdPS{O6i*~rwwQS>x> z1R`!oE-SxUE2z~4{E?T;&hEKv9$@%$zJPBv%?({yK=~MdgW>rBC55^)jCl9`0coOV zPwsd+idvGhPXUbMIdb}h2Gv2Y0;Nmgs%-6R)4Mi9hs4OxQ6bi2NVrak>b}EcAHQld!vP z*t|de`z`r@X{_T{VY{dTwaAu{8VxKtTRa>xzw;qRy+uK-irTU;_t1_BAOy z)La;7VA!p$IDPt`qhmlSQaawVxQrHOjUZ6TuO=IRQtsVecBjwM=-Vd*wBxvfAJ12Y z81vGY4Mq=m8Ujxw*FPD&N2Fpuy?F(WAk$Z(NWp3|)aDu<73;Ez#pe8~G=I#NtX`3C z&c4vX-`TF%LyUK=;8+{xsynB#(F;yqZ;$TKTi9$yQTmQjNgOem45AsMq8cIz9R?`V z&afVTv2%kK(~TdNVsLkoEu(q$S9xZ%$4v){JtpU`-P+hN z_yfSVW?p_dtQYa(Rm}WuB%tL*{DJ@lbzax5Cr1Vz1GV{I!CytEYGn%~E>;zx-GcAa zFM{R-l^A{d02{n2ujc3`%5nk}MMt!I?9VrUL)gf?nGNfL3hjN-(4k1I>)Kv6rv+j9 z0)D{L*TjD4u7u~-eR*GnIfM<|ktDv9`NA^&bssh5x!p4_cJP$x;Adp`&1xQb0t+W@ z51++)|AfnG67_CUf|6ITLB?*gLD+`NaC^Z`FX3%p0oH{(<5#Mzs`A^esgeV~`n6bp zL!w~N%wBI(%vJ?Pk0R#9!sVC8;l*hlqEDpO%1I0}+{-a!Ji}uF3#=UAGHnL^k_Oo3 z+(35XAo1GM=3r;vtuOFw%V@^)gC-SrL2mBDJ33(=;yK9U$2@nWI_m}0m~hjY)6@Co zDyE4bXp$zfyI;CY!gDG~97wIvTI*SVV;mt;E6+!9!b7I#SfBNeFU?*LI)4Q3hJ~aD z{9K@aXu{Zaw<;`>q$7JlIX%rQ9>ZlzdN;G$=Vkgi51&uMKHn>*z(bTM(#7C_Bx>*uv_1WDFIw zldUX#jGwf{%pbFm-fd#r4t$`0RIEieBDJoWjq$4cxI30;#}=!7lx}nT<$E1xfiF?3 z`fhWlXQN3=9oKSMmhHSWIstAd$Jvgnst#^gn2uL=uN|K&E5{O6;8^N8wmd!mtuo~| z7zp2e%64F02@dXTEE{>jH`0DOZBlPOp!c zXmlX=H#<*Ye@Q~Q27ya|gD!n()IU7S;I>y*mR z#=t@yb)rRn+=90XuP^T^sD>(%YDi1~o@Qes684C>mPs|Z&G%Fh0vdnTtxMg!<{YYh ziRUD(=wY)EmTiZ9f30(5V5Q&ebON8@8i`sSR!n(vB8I=t%M_vuxB~Isu;R z&rqCp%W1KT{mS`&O{4YAA2xAIR@+uF&bDZ28TfkOn@%5;X@HPqn%~VA7ruC=Z^$*D zr|Z1hNTs$lDn`L}VN26Q;sU6<=Q0`6I*O`kL^2Jbus`9y4LI1P50kPw?MLwz!|9-% z(V*8)*WdtybW(hCRrfS@c&QVz&%k_z~Yt|PS zyF0;YRQcY2(V#VIkL0N~DTz+$^;UJe%`)#0SC}%!Q7<#?r2*~K615o1U`)8Q{bugi z)8oSsv*iVYHbj9Ty?xG59J8^vEL1A2tcqU&8%jL2!`{P6qG4HKnmm$mk= z=ZPqOoqbuddcvsJPWXZoXlzM`@{FQtosqTPY$;HG&Lx)ZoVzv-WJ|O&OaF*c&H9~R zIZJG;pH7Gbxn4VCb-u+@(=bvBc4)>o4isvTj`gc+(!T5+!fdwo_~ycF(=#5oH~h+9 z@jBUA+g|441iCq+f0RuO@#mh&^F286b-4}BfSb;qtA2y$11Aw{{~Dy!XI@Z|6+CW? zyPxfUSVV-T6{W&)B3?iHHsJWNq^>dLz(I~b@8;xG4%(lBz+Ki5WM2$g4t{;uifWyUked-smO1!sqtElQ&O$UHI zX3<6y_9R^%#6MF421Y^S=iI;T6y=K4FNUhbgyx4sXr}S1Y6c-HQn}r6uRroUHPVm| z4-7kaw2~AP0SNGlUr^yJAaF#2qohkw%Imy>k`ylSQ9sU#%J7ThrpMAiXN?UzrujXpt6&QI5ENdEQsff!(j~mcGRl>r)jG; z^K>m(ghAvd$WML?S)8OBw%`ckU09HLg%_&Ao5Av4d%12gXynnHkfD<#9U~dl2tY-& z#?!*Y-5X(^kRzCQp$Yq_h@~3I48LZFr~E<7MBwjUka~azSVcarB4YV}B8Q3o9<~BQ zM^0@Hh_H{;sLfjcWlmevBV*adtarX7ibg#NP_VIZfojNu>Pb2t^zr(?e1mdoUg_Ch%_hIwA(%P(7m5qTv2sIP6ynzwMLXG?;k`5k6j z!9<=5FDCZkiYpoFpx|7e38z5F2az6Tc?RtC&Yqv%W2F&;gG!!%{lt6ObdrC#i0(9i zx5d&(d$(g-B6CAn1+?KP)*iq!rOwnf=k@(ZgV6eEblX@0dA;B@maecbcl&c_WTmhsu~k{)I^lqfk+Z(5mWx=bH!c^w;s2EeLs zF$GPFVg5wNCWn2!$*F%_9XQ$TF6)Tq;mRR^+*qY-4bUJ?}U2mc27*jfE#{Y zPqOF^LC$#F_3SCTwxWU8A?OK{EZg@n8uNh3!D)LLwVGJ6W?et7e+JCOiZPq(|F&($ z_uq=lyvpJ##s^4$rI))qvk%%ilasim^o{}x}ZPAL4LD{I_p~lIu0h52=-6lrv&y`5e6kr zd}f-keu*e>bW2U3^D@poacxF;9EUH;5f{ExERx2d!ofgN$#CWhMJ6 zL)vGWfDo13S16c zmQabAze;G7)}1d|FxI?vq=r2sIuJm8;d=Zu*@;uQX|P7`N-Ei~Gsye{IK#5iV+R>1 z37?e@N4c`^c!c7$0!J=OHcs8q}2j|7^%lQK(rir>yXs1!2&$-pD zt!_JiCxjKsCKLy&|9tdDCvPe*^Lbqjvx|!V6vIJWpl%&>6rT;VudfFy{`qkis-{%e z3gVdELwWzrWmzSQI`~SK7dc7KJ1?|e$X<<5)7$ZSLo4K@ z5;OA9bGRYJi&1nTE(!dR!Uc1}l4q%r%Mm$$ukO-Cgd?U*JHmIN&X8$>bLNj)0%;pP zB%d6?6q~$k_5xxTQ}gSvs42QL=Zu>*+8>c(Sn#f{!5b&tb13}K)PbYsCN(}5I7(>@ zd~3Af8$z^4Xh=Q365VrsY3s2Bw9E(@Kz*Y!My~j4!0rz9Xu?7)V>Ls}z5yNFI_ryn zzlUDIbsI%Jxfx!n4zP#MC`n2>0N6jB=IiX|SqsB>rU!K%fSRdl8_);UXPoA!aEDuK zkijo$iqk~w*?`mes5J!-{Dsp6{D&)NJoFGY0k6HJ0 zNWgwmQo_0xtR?fCwbjRf1WeN{e}R}7sXiVMQsUi4^1x%nhwNEWa7gnc%N_W7`* zsw(4E!iA_?bJ;y3G>^)o|9ok_8Fg=3PT?3fot>4KrsDahknL`^h966n@@#y6laM#Q zgD2CJjY$xECpdCcXMUL?`ey!a@0N2;{TjM7q_bf{a+a4IM#9Jb zm9y!CNastnD9BiZ&e$%28@xy=-`j9edr07!WM}QS6DfjP<1U+tNZW0?$I+lBLf18c zTG^>at#@WD5IjS(wq2q=i|-R0+-?e;hHw6f7u9$$tHj~2}CL%*LWuY% zLq-{r0%cL^(F6ymY*&g&O$MvQU3;Q* zqGmzHcp*U@eq2`p3k5bPTOPh7QT_BY-^zlrYsFIK(iCCVbBUCHm!`)oE$V+Wqn~a) zXCP%Q+egbArtrgbsX-iaI#?*N>J0zz;Ym{ah1mP{P!Oxt`xSBNK_<6H2Mcw1`6WKK zv+6s~oa+!kAESINWhf}5`cNhqgDih%0Qd72RR)MN5?z;oqbyoCHprJ@QK;3;uK5wp+9 z#*LZs!vjPW8&kg@odY&mDcKgsmW`M5eZSW2@$)lzRPKC#9kbL=+-nVTAp2f_QmSHj zIUUQ-=Cf_N`_|HO69Xz9D-D^uwQY&r!=|fLS@=BH<Jx;A>3_MO>>2e~VeyV8KT3hwpIMBZGch>Vjb*&9D|edl7%d02 zNA1(^XIAsluMwUZ;J8Do2?YM&pY!Vl6!e<3l??{heo2aY5a~m`@(>JtjiWherKkh- zkY|<FI}X9`qw+c<`>;igD>jtOI5PonjAY^dLw$ToO=ENUAm$v(Bl?k^ zGD;Ve$%##bmbbXRHB77^fTd`i2~5!i>4jhzSoNbvT7aHs574mZRMV@%uNUECcQXjD zArA|GeMuy2D*zT%s^juYfL_4wPcjQYO}b_g(i@GOI#4+b%2UJ6t!{&BtmQ7QX^ml9 zU}xf+93a(l(e%k3cnVKtXf>#^=6e=9S(8t{xJ~)x^9Rf~Jw<;f$qg6$L_*Y4csS^Z z)QOO%SKy-}?P4hVo$`&Z{uvnl$AG>ybr{Qk3k3`f%wCY@`CL>4HEtH_NCsYUp;}z@ zOOEZ2!I&*8TQ%Tyg9EacE}CY8levung)Z^}s#MJaLAbY#f2;MOVOq##pMIguXYqwj z9JJoY+?nbcg8|IkG~@JAcchW=H*AQn$l9AjJKP0$@9wDg@vog2O(t&<;9t7}obQRyd?F%aaNa?~4Nt~Qy+uDNW_2MfWCr7c>j&d^zx zOs}wX=j^bhkue>MQWW@5Wkb%18!ALnho=WPIQKk>HUaAs1=ZDs8hc5-n#D9+I`=UK zPSGz$>b>k=d);>*XPr~z2X2T}H(Zu~QC!j*zo>8=lSp4LaM;SZjRv#NhIGo`e0>wD zx;35Uno`6Mw~Dlfw7X4uBAynB3|9#>OS1MVj|%;~e|l3isBh=Kc84N^GX^VEBQ+VH zewtlO(a`})Dgk>_9Dd;DuVmD;NfDuOT~uaEKsBl3OKloJR+mpov_Ki=##keN2MT=$ zgn%;z5vKSW_{memSFK`P8d}V(A|ez58cGbTC46T>J*+?R&+=&?eIVafP?y-eo2KzB z_x-(~;9*Hj-^z+|t5IXb$6lkg(1~@!mB3`YEP^^Fi3)?dRP5bYKu6;2IJn5StFXg4 zE)}Qy#@Sl&TbWlVlA0^|=hk(9n@SD5jZD)Knw|+e%|x1RXtvgqo8^keoSW~@Jcp^$ z8a?#R4eR_7s{oa0CTlJ#d}O)Cb{ll-tR^Xy9_9=A-3hN>m}Y-!fmnx1hg-I=d%19x zauGE3?Gc1f->VaBNRD8H@pZ%hG^O$QuBoc@VW#`nE{GZi5hd~l3GT*!Bgy}yu7Wx~ z)+tKMh*i#7r|DD96XlKOUKCD_i$u|XR6l&xD6y-i(4=RXg_kLOe|=BG!ArvI`Z#y% z8`1Q>OSGziAPLjDB?P&tsDFMjCe!;AFGEHC)|GIbz+zth9c>&P`=+ELOTR}%d?Fgx zZmkApHpVUIiTSlCU3>`HwbQT1fx^u`5m^YR~iwcIZ*j< zcn)^0SfaPJW~4Uv*>eDTw>fGE33d$wdWDf{I?8M}BdeOJ@sO=55H?Cad^;o~y{V%?4Cz1}On9cVvsG zi=9oj{3C2`-x=$F`t7RR`cdH#?iz@h zWCy7st6YlH?*bkKnTuZTvoou&SV*3OlnI%w;%>o9w-kOnD1rGLLX;~0@@9VtF%h7z zPEswWisu!qFZ%q`3l>}o+@R2Dl1{yker2C)$A@53XqYwTxymQA#kb%_X%<6G0lgN zUDIyuU9M(I{-%eukk|>YwjCcZ2aOp)vgQ;%H3dpeBfBiJoOhOMb=-HirDlIHuGqNYZ z>dF0Zk$~|8!(~)A#kyJbZ#yKb%tO4klU|Z8;8zxZv-&~|K9-MFCH7sQVD&#L5W-ZT zWM?h5M_pBPdZr`mb`uxWRE(T>A{`UcW(SE zHsmIM$jv*wLF=o<&&wWuS9eJn)Ef_pQS?RcEOYm?eL=&UPUbbEpSoLXyUR-m7}VAF zba}U$&y}^W(b7eU%!7rAEoAth&Jab*QdMRja&jZTW%~sTk9E_A>&d1M zWD%jvyg`n4r4S;kv^@WHY{pyS(FWO517z)sWg&3olu4(-$2z}O7=jIVaJ=XopEhQH zjRbjP(tFa;Nb97wq%w^dh0>WW@F;fL+cawN7&$eUkjV?C0dK|ZM-`c+Ir<^bEpz0y zSA0J_A@G;=q~;#y2f{B(&u`r-njuDHY_Io~jq+{@@|z-mM6Qef zUjXtH4eO5BqTA^PaS}(2mV565SdiM1&G7S(37}^}kXOAN4_(l031$Wx%1?uDmTp4o zBFWOIGG5%5YLB3D`znm-!?-Ihq+95X0j|oidBalV-|aqEUH+_{Ry?(w#f0VMe)!bU zxt?{}H%WWx7Qpd$Hm(itI+`YbBZ;CiMr@MN^#X8Ij&pd5{-<4ke68&M#p(w0 zX(CCeprYT^wsM|-m!p+z#2Eu{*AZ~WM-iPH2ht&Yh)n1B=N!JgVmM1X1fvS8pkJ^X z9&}gqC3EQArA~PYF^J@@W0OXN3P;o=?z0t@t0{iU)GOGO@qDqKoV}ym-w=>-XEO(R zAqd+WWn;>45(a+b;EDu)5~avICYa;r;EJW?DVbb7p`D~#5*6Pt1&Paky`!d?ea9wx zrxgiLbSYY34nYjdu?*^F$~;pxFP^*LS6kU|jjsX)Vjao!{g>0JN;m{f5GLN79>DJm zmDoou>u?>7LleV5svXGFu^&bY-iHb+a%Yz2aM-`Kbt68^A24};ArI%fUH<_+=7g4; z;m?r=;6sK&`qm3xP?q(0i^rH_1-Z@tW(!DMM2KIR#_IhlIdKObrVtXQv&^L@?h?~A zay8j)H(8)nKjBC@qhyJm3MH`;27HFXl`yzpp9RQ=@T82#JT1IlZ5{(5Ri9_T&4}X- zFPIdUW#4+exDF?OnySsU%SN8JE`b}bx_Ne;6(^{#_l?$~(NI4e$iFy2^K*56D3`8E z1bg^%0c*a(vTw@8MKIdBZdBlfRm;JvCz-zbntJMAU3D5(!$ze&G@Laecv+0KR1DYBfE8;v_oOnjF=dafd@XZ z3KIRC+4{G@VQ~elh~yAZHZKb9UJu~mIO{1$tlJBa!}G>v!sgA~bLTtn`A#%aA@*GjU#j3PcL zy0A*{L6Px)%Wek|SxCVW0X1==AMqb?SUSO9iGv}sSJ6lT8wY%+ynhi-BnFzLUXE`C zEK-H=&>-cwD4)}d+rpxl7JDYN~5wLUhu^0*^p-$YGf!ndKte9%f* zg%f%7YUg*fkPHvU! z-VGni1=(QlF*}W6n}priW=?GPPe8e-2?Bm=)@Fe|C3Ehh{oN19XgU?Ok*&+KAiNNh zJy=VBD)5|s)mzK6%dlSJFZ;OKEY9Y-+6uLYJ!fdX8eU8k5NoTL+jyQ(N8Q;)Pi;|L zkY~|wZYn>@JCLXzW?CX(#*?(!5`?`@g(B1gZy&u|I{N>a*l5}ZIK>G`qBc}{h$*-D z5E<58*ms>8-h+NVA=OzDXGrtX4ZTQ9kfwEiG>X5ARlSbAzNP=7P|;VaX@Xuew9A`p`on zzeV|_s1se+xE0#IEq1l4w7s@4@sI}t;g2#$_Sc|=&knot84FaaN_cWIA2HWSymNVf zq`r&`f!Pe0pp#r|Q%exV8$dZpQ44~DI;g#j_cdrfqy(F#Y^-|T2^bT*mh6OI<{yfs z(ks*2#EHtW<&_E1bdF4)kId*)i+Z*a-sgca+5AA+q<)d-CpmQnoRHDG8-&gG(SU05 zI#NBQDCo52w5j36Y8Bo(0muw~8D8ywZf-buWw{^ZV_!OW&ER5{0)9M3PReQWH$TS3 zOO#}RB%mWSQDn<<8$Y7_jmwdx$`A;0^AgF}>DLo|;GpaJlzW z1CnI2-@xAso_oM)%a@3s%*@-LGH{nljqt)(be65MGqI^So*rXhoFW%_9%DiBNBL)# zE5Y@6ha35P@>^irf2%nzPnMT|ZHlbZ_cMPy%Do#(nFR1UNHNtcP zz&~efUwNTcFIuO4+c!1VG4tLWICn;#9w>dOr8-T+{pj@BEFOqD$X-a@*g#B{8?a4m+hcy)(QBmPqZkf zzLk4DhGPkJ$eNDJI?l$IU{QIxsM4%LA{3=%kfLp2WJ~R+%BgIYx+GvN#UE9ab-^qLk8-T|yoxKwk0Qgw1Igd5W;qt>X2?gn)*hWxod<|^(`?Xm0sL)R!(Yea#^_wTw!^Tep-ps|=ABXtvh0hl2;FpGtHmhH~I##CMv z99&Zq$8+M=Uxht;TV!hY)`@Mrk2P21SjN8+REQzVi3oOj722=;=mGiVHKj5^Ml-bJ zj06YJV4@F#NirsM#BI2YyVg4tUkI~S+Lgu8Wz!Ls0`SXn1gQ7N?FNKm#lxq@kFf*@ zH10s9p!v3cR$jw`n>Kp#4)(jT*i%NdsvV-fE8Hn)D|%IV(p`@mT{PB!-&)xmS4x+` zl7DD1i+EJwt4OCYCS5@@BfNr8kRADkc3_S!4o4O@X-yNSnr6^TkkDw+H{Mv1i&?03 z+D5MGXmld}Q8O+f1Y?7*8cX0LmfPG9Lvnl|iZ`5pA{jAqm~HRlJIlbMuk915spTBB z)OvmjTgwBb^qC->cYx3YkwO>w(LPhB+@RR^{pa)(M5%%hLLL2Z@xOTwB<7JFPT{eK zFN$^Db$6cAG<<{U$^UA7xB_+#s(3_bv_+X~zfJ`O)W07G;n>vA?PB+GG|%35GZ7Vq z1oX0h+D^zED}-s5x7Hck7a)aK6=r;wadwviK01~n$vq1+sGD25MJ72>$#@>KHv>*? z=T<%tm1Kp{Ih}tIpeX?`1Dk^Z$es%}GXMZ_>?ewe|;H2;zKrURAde^ z1_LWj?!EGYiiG$d^2a`Gmr>i0B8*A7aj%=91Z?($*;`F&`mZ;BT_}nF?t7Nsyr*h^ zodg_no~%;mR0rjx)PgAl=kO&>o%q8@{=4d~ho^?CTd+LF>1Q^bKN)>=RR91RbjnM_ zXY?d6prpqX57uIDUTjp-%)#$XAaoujm|(q$1lagu9kgU7^k;=d-JW`;{KpYHOR@>t zN+!<_$fFy*y0+fLx5v)(K-o^9?ElD8}oPQq9W3B5PffSkk55gMx zJ59`5p;74~o~WCh2%leA>mNn`0$BGfd;S-N_?_TGP={pC$1-Iy^p}+s$$|@YX9PaP zR@o7s<+ZWoPy2l_IZqo;b) z5tz9Sb^EdPeqib2E}yysabt&@0ES3JU(MBNWh=cr_*msRlgNa<0na>~+q}<)`mjPb z(MMR-mz1nu!&c)SK z4~YA5RoA=#KavESGkAkKm+Ii*xBWFnBtf0D=q1l;pAYgb(UCzbg)+c@`H%$2QG7i(u?(5t#fD6Z+S1Cmqx?l`_(2Fb#vZIPNDPyunMJICx)vMyNW8M5A?$n67gUv8__D|X1M zxHE!}?Dsaum}~~0QhHy1;DbW@Po?;^dL9f>xCO>em!!7+v&slSFLUL&qE1!HGrc~^ zRTq5;o4+1IIr!Y?aU?k3GqGHS3Rs+Q_b>U8oxp}z?tD#*-zY31VZck-xSnpP*77L+&1h}fYN3WTt2!ZGr zl*biF+cuV4LKN_@Fq~0A(v2Meu{hC0c*3ZTb#pAM9h6{<#jR&PmBp*~INz^PW`*Qb z70D{!LjrPQ5ih?one=Z`qZ_Qr;eTeVgpFgkK=0h8M{-c^lCWVb{roDR=}@SWfFCd1s2<9oG~d}7s~#2KP=)YcQRXMRY1!WC(4=r%L=0*PPMS9P;8bSLBomA;RG z-J0RAy*aeY+0{}k?opEjkXMT=w%{p+__R2DtI|<_tIqCogIv0lWqu{c z*9ki-l((1k-h{_iPfw1*cT%k>>8^b!0iI_#G}9##8&dE*kHy#s`pEL1vdOjj}1H7A&4(n3Ra5Cy%%>RkN39_w=Z0 z{x-RPb+)g+ye1OJnmw|Va>PMe#egIs6R?1ca<}{+OA2T8R=absS5V*k?%2?+NFT?1 z$i#&T=-TiQM+aHvEV1nzp6mh45;>|CC+j9CxS$<=WAE(Fr+n52B1Bp7hB|Irz>eW| zY^Ro$=#BAQK0CEm3D9cb@Od)U0$;5*8bc(1AOht7v(n3?SW4bY+)mr&6`|O;n=Fxo(61q;W9K zvw$v+?1e+>cAilo-_V~}Mn9EE-&ly3ebTRFR@ zOy{w4@yYgZJ_!f5l@v3bD~EI|qm6i+B=8 zIoSLz6|k=M{oWQe%+1{Vd0kI`SC%|i*by_r30UTbWO_hQ%u~V{O2K|I|20Yec&0to z$AgN}D2^%0X6O`vlBUAG_oqm3px)Lw<j)nL0yZ$09PS8#DmO7OGcz+ZD=;%BFfb=63NKA> zWJFJ()0npD`jCKG6%)uz&|d z2z-VfF$kVdxJS5)cFqXL^bW&+DcYGplkXAc63#Um`UwP}=qG$Z&`okm(96SbqL_wz z8d7q?1F7i+=3uTvr6huS+Jad*a#86MA<<0HPk34YiGZFLI&a@PaQkPY2%IJB{8VL= zG~VP%>X`93TH%|2PoK^n&Q6c+uD@JG%Vji;lhNQfSx(Vs8O<{y3g_eF~&}0Md zYDrx!qx|8(Fq^1#PJB0T;3V37RPlU~6VGQ3=#={1fO(z+=Xtb@C&Tr8sfg>qO|Dk= zr~r51p`0XqiZK>ZdZTi307E!|Q#gZjxQ7THVFHt6nXF-d3JPY)HibDXVDV?OP-}?c zKUl&F){sE5RPL(XE%PO(ldxpv;Ydyz)>7q`b3Uz-|TC#&cg zjXV!O7+Z(B*omRwmPS-IGzwf>qkui5Q6Madu&xb>j*Up~QKk>@5v96-5nRF;KEoB< z!kv*0kyWaHvN(e%w{)B&t5sywRI6!}Eno(-7-q{JasTbeyNOb@UaDDM{FiDv*r+s4 zrtkz$Tb1Q8=6KpBxtcyMjb}9|oOOXR^%LV~OPw8ywMdmJOSY|Qq&zDvhp6vmBdB^`haoJG~lG3EGwF{d$s2vRyy^=(Zcycl(%|p*CXukE2ZKHw6AU ze?Pi7K03L)Jg2VH>Q3DLd{Y)Ui_}YRJdZd+Y*3h?q zrDZlOe+g{(de}W@SzB7RPueCedjYLOBG5W`8zB5O{4>o$WTysRh2IUa1XRCq{AFoa3mGqZJdHZxf*B=h#wKv;34-Ig_+sdp(=S?@us;H=i3u|3Ib=Dy;y zT6@~m-qwuvd@QZirsDaDw%DvkY+8#=-M%PhVqf}N>U~PvLRYF6LQ`Al>clL6h32i5 zRTK7SGSM5#>T5Qx`-9VDGPud3G(W@}oLTe-A7@FDukp6^h8~iDwv7yptZn3nBn;X{ zfyQD(IXK5lwGJ1GVncyZyo&P{K;`wL4QcF{HJ^qXMi>bBQ+73=RjShs5N57mW|*-2TwJI^WUFe?Q|ojY-5iPJ-0 z?zWG&GeYf7uRI*G_t2I#qC&#P`!k((rf|;Am4Cg#ZI+#N(A5{)V(U|G9NQXj>t1Zm z@4bO1UM~@JQ@fSyuA^7|X2#5R+cF=8ihkLr0h$vM`KC7FGWk3&R@eKyl6j{tcu#xM&fqzpez_ZN{MqK*g3ekoN z#tMc&!Jz#75>P#)V4x7hrSF-SmJd{70Oh$TMBA8Ix|v(JngFq}iMgePv4yjviK(Hv z5s+cxXl`z1r$AUqEDyZOGch!qUigheyZ)qcOrXf|kJVAHzjv%;HRR9DYMM5qb%v=> zaK@1{l*Nqzm`_n(Kyl?&f-tT+X&n1)3 zL?4*ZAZTBbK<6>?lP|Q6~epx56ix<<(Y*PPn8Xo3`TVWIG48 zGeM{8l~bL>&IJDUIMpUIWBD|1uI6R&SH1*^zt-fwQqpecaX$gri(aa~GJpPpW&W4> zujuPH25B@Gt!VIC(Zmtr%zMR2_KLHJ)B-^}XX_fl~$)4N*xxbKa^>gPNB zt^RF%toW=#=gQGP@`=+FquX*MH>I9{GI~4y>*U>jJ-L$IO2K{ZbgLg6a@-cC#s*xf Js;>TSTmX}N?zaE{ delta 48908 zcmV)7K*zt5`y=DcjuR9-@W8QWkOM1YMxzQXQJR#$UG}_39ZU5*V#Mrcchf#~^3J|%xu zx|m67|FP~DQj;ToB{fB%f^3E=USx{SituORKxcqX6iBzs1r=^JA#RMSHSwPD_232r4W=CJR!Xrr@>ZJ zqA%EyHk>j6dIK0BML{(yvpnY%cW!@=4rwX5A%28bFk-v(-EJG#x^A+Q@4GnHU&pzr zc5%S3oo)O_w~phk>bt)6Rs6CWSPdFUDF}d~B?%v#j9XXvE5<}+8_-=A^TfP2h{VZe z0sq5-YvML`0tR6!hyXi}tsR2SCzX_lnT%S3OaY*gE|yAhaxno1reVBY`Obfh@vHA# z>I|`Mp~Fk!X5z#oer|(Y{k9*2>Z~BEyEqe}!S$|Pxnbsh{b06p)4m^W;)m~IYh#0$ z#@@d6RsC5d!SqyKBqalMN|BX|t-H0&&Q3u*l@mM0;cZZ=NAM@RY7+5vP#QW1i-0wI zKh<%#>G!cS`0)mD%yUWJjJ|){#Nnw9)`RP#=HvF~Ib6aO1RO z5M>I8ay z8_`w-x%Cd>9N2|`dmtw~sLMiZ%4bn8fUy>Wya0b6f#vs?imGPlLPNO$?Sh&1!D$yqqiW#5O=rXcRa)`r5QnsWlyG2#{8poJfHE!bNU2J z0FxKmfUg2@5zVa~Z0n{F!j#FM7>17lr92HKVyVDS4u;I3Cti@PudLrGp~bL4L8)Q2x|`S`)>}`#{u~( zBHTH?n(zUgm-2tOAKj*J5oUNQpF2!D3eLWDjQ?%RM!>bq$?KHDhdTq(L`Z}`qj2n}69{2pV@1|+#c|>oNe6s2Zft+&Kc?457@lf7#TAh07*GM? za7d!V*i<_|M8e8${WLR+NiuHSw~2HN1)k^z)R^L+BOEehTqV^eRZzCOpkgdj$p@ms z02VC9?=jm~WM#XXkS)XbDoA((DMT9B*ml*V1W<ISPB$qj$5gwU}Ut>X~hQWf&Jh!XHU`|0xR zkF$rHf#;VHL96!c-Fud;VGa*Mnljr5$~J?S8I?JDe3Sit_S@Ncs3L=#<D@1nci-;( z4tyteTCkc6V5(pmF57f>fBeaJN0|GvgG1r$w?NtLa#@Ey-?h8{-u>t9=W7uO#<`-6 z1ut2Z7rPQpP*U$6J1?%b_3ZI%ctSR(7du)SI`4(do=xxmHj{rF`VlD_)8qWX;=r@* z?b)>MZ+pavX}~WMip(}cKXk64QJ|mVVP?X?7el)n>|Z9=y6GJ|PnW*&7x2RJEXlQ~ z%Bp5nRU$*Chf63Wv$vPQH&iy6S3BYuFo$DDYg!y~Pxz&EDjRyQ@p(#RZleB38{#f9 z>xPl04j_WBoXda4;l8k_rz7oo{~)TYqbm$gaT7-)kvq13$aRrD1_fMmT0o~POD3g4 zPEY1Mx#rRuI6#RybKR-69mp1ybq}Mm%s>jV%HH-lsKKlAuh2U0E13}mF${MEHI43Q zX+MLXxZpwL**gxku5*)Dw(pFW!)PaL2j<}G#XEX_3ITr>HV$->@y14Uo!0JD$Uru-%LNmHR&FF9uDqFTZ7kt~te7gu$R79Lf3|t)hjw^&!H+71 zdaiPiY6JEbd_U}ov*=1NJ$4`~90St=x@H=2CU^&YS2he}r}JKCV6kQPm-Bk@W9V)` z{4`wpqxlgKh@91U?cD_nkk?eY+PqqW7H`tNj z$i@d8}CaWI6Rk3=A_bO;}0w4D#d4qtE=pD zKTg&hz0c)5;S5i#`F6l?2m%4a{QwFX2G%HolZaUhB0_xHH=_G(r4+ShrOpYRJ@zxN z&N6@d9NbODc;X@0wC{fh$wY+q!(bDD7^h(*4<@YkM9t709O_0UxbWDE5lEu;mB%oN z80OUzmja{Tk<1?!TrHn9jJWS--yGmp#H(_{T~#rW3*?Rf7SP?a7tpF-Uc}o*V|S-C z<2>f8vdlh>NMZ03)I46==^p7&hkj-@&mw=y4cshnRuh-B(@2M7w{_nx?nq1XMNPh!?&F&1X3-mi;YJ`M=L8D?$DT+%UP$kI z0fG#&kz^(!bEJHV1ql4oqc+GiZWt2^k;Qx>*lcjlc4%Ik7vm@?nO3M49P<i=mCDmd!jo})bieWK?sV-j7~8C1`5Ehs57$w z^AEyeAxoxXzH7f5@AtGiCcSUTY?_#}#^e@oXLN^_dOc-RT4wh#f=rji9n9&}x@MU! z2lSwbK@lj$qNfYku|0bepm3Zso#(p;p;%QaEEXQ41wRidmZxOhjVUlq_GEuf_Pq2K zL8-XN(6q;td5`H1DM?SzA{LR4$|*J{FG4U4ju7%44w(WZG63hSt~Flw^Jj2e!8yjL)8$FN-8kqE!8iCkZaD0qFPHKp+~DD7q`z zl?AIc9R*2k3PQgqA2EVLjt7cVG=`+$1mL>hRS5YknHwXX7@&=LyGXvkh<98Pva?>A3&kV-Zv&lmCjXA z&k@akF)9Ay(^h{c2B{b%OW-<$4gMu);pvrNvX(Ixe!GPRP#!}uNfh^+ zF}q$|sRaOLs#m6vbC*H?yfk5{I%xoLmA7v#}ZMfa+3M+J^iaK5s( z8Ofs8ezYZDGnvz7rYG}DF>0H*x;_Qq_3O{o^N)Zq!OQsk^Fj|5$@Z{P8BeC683a`r zvt-hIHfb1bz;D6duydd_K3D@ldq={FDCdL>dXA!e1?M~#J{nQ+e>RSf9t$Ff;{-EqPqSos9-w$HR6jk$pANmSk!7_nPlpUFT+3-Y!N-^MTYssIPWf)KW9^55!c(K$sLDZt=c) z4u|FN3pP~g1sdkOoC8wM3$HaI*fk84HnlZ5tKE;S@BN|Pl7H1{+X-Nzp8YQ&_VZxcjj4c7U@;yXxYsI6U;?}S=9^CdQ<*CAhg8vljspA1Ti)_IhR3I2Pl8NSW9o)Mi9R1 zSMW#y)_UKM04_l9ALG?V@3%hx4IUe=&~IAGJAuo-_H@xld&a`4nh$z6ar z_zx&>!4ShCK(C6MQSdnYg0#|UvnD#t@BF_uua4QVs4Fy} zO$ahVP^)7@j6wuk6Dg90dR;|<)*FH`hBSfw-iW)b$;$kgH*G9#gd#9M*;uSO^J)kh z%$`UptUI%}gED`Ggd$EvAPz2W2vVGTF&sM+L*zvlOh|5t8Gu3&RmrxrZnV~NnjR0i zUzFLGqCA!UVebL6--|K;{hm_g-xVlF7qjh$x+(syEB}yP0~CIFe<*f`ne0_wBT2Q}8k>J;^uG)WMpSx{)hcRGf@dwNxDI_-@ zG#c=ybQUS0di;+|!1fkEfiXx|#t6cY?;~Vc=M7JH2gr`y0U#;bW3dZg1Fk%H&(eL- z?&_1zDBh#Z(j46Y+GEEVm52aoO^(gK+y#%A8B+^@gsB*)Mc{Z=F)rXQ(IL&rke*{H z!fB_~BPjJdJUp%*U<_Ui-frD|s1H%poF$LPyiu)bE7N6Ig zrnxIyY^`c@zZ?kd!fOo{Ufv@RsOkRT z+kMPH2Az^Vi6N%v3M9wo4Pyxzf?8C&8gk?2vOXRCDhSjc^Q!gh>t=1zx}5FI>?FA~ zger-&hJhIhQ4-M&q5TvZW?RsbuLxRTyaecwq8uuKXc)jH^C`NuHbK#QoBV&W zo2gp+7@C)Tf4^qnOw)E^SsOmsgtq^KBo70feboan`YzHtP=1#~BY}Qo9hqpk$;!Mx zxo+I3@%0(Z9o>*+g|71U*fqVee+vAQaAzX}a}6e792CIfp$YKPnJ|_bbwB&qbwAG= z_D$xV+lB2NsCHTHXCGnYV?Ctsz|VhZ>{`5@G7b?i(TIK=hKVw7+_|mgETJL9ZVb_8 zOhfSGXh`cWk1Pt68`0rix5K9_ESgj0zZ?$^&eP3dCNUlq;ISVRyuK=&2{$pD9!=O> z`~M}-sTa&*q)OnvtZ?A$eZDK&?h*%|kl~ha6vEwoetS4|V@x)^V3078k?DWEAzbR5 zWA37oUEPLKwUbz+c*7NGfs$dChZ{)GL(gM%sSq1xnZ;q%xC`mH1HegR@#(n&3E9v7 zcME-!vZu7)Ig3gxzlY}Sj4>Gs@Nm=kIm%-&Y!9O%j-mxirRbyK+EB?2 zZrgu5wfuP4$a&c4w_&qd`ka6GGinj!VZ{5{k6L5*bqpYA&Z5uxECvuq0`5=~fHqR4 ze=VdkXET@<;z9<)9(xaYa(u;inEzc-CjUOlQ~wMaemKbD)0p7>%pLtfi@KR5NW{ll z7;j9UkUvE)6;O?u&)D-pz&NL8>C@izdszN>tk3g|Tu#Ubzt`Gk)r&4Ziya72AAa%s zpSkASxyXMY<2*QyV0rHHrX^ww?k&{7Kpe=Kbw4@%1OGRZr-Kg~hYuP7hYuP8hYuP9 zhYuPAhYuPBhYuPCw+|WzE;|D>F))`vRR=16l0i@7Fc5|B`4w}t4;egm?Ak|)Kx(xd zRvU2v4py3lNG|ENDX{;39TJyD1Zi)!{Q12%&t8_<#SJM14xNz(%HJSWfyy{oNQVon zq1?bdyL@W*zVrOCTu0tnAc4vf^%s;y>l}!Id=Ru4v5BljNkxLz$MBcu(h-wF%30Na zLZOMP|4`Kl@v&+&7!2dS2+2 z6VYk7W!=qUQ|h+ebIt0Z(5l_;Lj68A|L*(Uph3o=&}OPME%Te_6{zX+b*peMJoN83 z^J!y=4z-CMg)wN=Xi}tK`w#v4+2{&oZe(+Ga%Ev{3T19&Z(?c+F)}rmfsh9jx8zs{ zR2u;|mw}K66t_)u2QnN2GC8+_kOvzd0Wp_>kOvgEv9AZN4goWlfsh9jw{*S-Hb?_8 zGc}iikOvf(_Yw#Y8!$5pFHB`_XLM*YATSCqOl59obZ8(kG&nOhmtpD%Cx5MZWmKKb zk~JC#?k)#+_u%dX*Weu7!ol60;1VFXyF-BB?(XjHt{?Av=gysVXMW8$Kh9cDS5@!Y zRlB>Ne%7HNQB+|NHnB4TO4!*tGO#c*e*vf|YbY98TN|2K*vT=7*jbwZKFl0&6cnNk zKto3hJ6kbBN8lHL2G9f`27fdLu(ASJczAf=C;*~%_HGUqX6B9n>JJPWIy(A)S^f$E z7`gq^^Dz@-VP*@U{CIE%THD#%0Bs#VApX}ARe(T%qd5>@YGDloh<;Vnl2(ueP)jPP z0VIL8KnFu>fTEL;wS_T2&cYaI3j)#rOzj*1*8dm)jO}bqEdDAD#DDmKB@6->0zmda zV~dYzKv!d+{a-G6fIZN`#sUQTcm`O20A>z`wvHb?aI^zh*cw|qnfyiI!)|K#Hz9im zyN?K)58nrvq8-Q)Wb9yJ?+EzFswgJ$51x+ZhK_&b23dT#0d}SzktTM=PJfm3x9EsyDQ^w|4t`w%y-R|H;9^5d^e0WrSm4{m5zT_>tSp!WNF{ucabw zYib8zVg85R#L51jK4+lA-wmSvYt7JnkT5i{v$b{um;g=Tn12-P96wS5sQ-5=GydO+ z{C^Pxs$X z)W72tKa_V=b+iAV_8*nV+nN05;4c&r5j$6a2LlTSD}aHGndM`{eemI7jz{O4?7yD(uX@5iy;v4i?D1Ap62v)w~?v3cGfn zl+X>HQiGSuAjZ0}FK@ryW{>P&cVuXH2Rg8DMTy(qsOnQZg zKaVvcJ%7$;aC9?pxT!UMgMM=6h%NrC zK;TNqJwmsp{55blT<#Du^FYhj55h1*gI|!OLVw_(7{Ab`!M&4wY@2&x7Y;;i<^KBh zokbugoZ~8-VS3vk1WDvhN~jK~nq6&t+;{vnc;@yChLK;jG;nVr8H|@S!EycfG6}AH zOj6u9-DJWLbF^oK!{~$-EZ;JMpD)~WyZDxzq{NN>PxP~O*B*Po@XMJa=taOa%0f<` z0m?UT5VRQEfO1Ycf7pJwa+0VO!cYX~`F|#gz*p8-72cC%cUBH&q{vqy(#jedzewYQ zH9r$3VTbpQMcyk}ZX~*RQ@xr=LLS%-@gL^)63UKdk@WQLlcs3CuFTcx@f-#2pN|Hu z7` zHaN%ucB>g#@})0&y`P9!va+fShoK9z^ zp5$lGZF4zw?&$P9PFX^ofRz!IoFIXh*!-jE^VANhWmIGrol|hot6`AkyZ#qHp;}?m zX)#i)Ol{`!;2qPzrMSJ8{eOyV=T?VpKXt3QufKnZa!^iL`|^RwI`OqRdF(KxA?3Ko zF$_yep!nbrJv5fY(w?L z@r~#Jdq_5|2F+kaGO30#(B}*Xbp%XiiuyMA?&^6KO zJ^`5qO@!bpZ-2ktV(ih7@8sbC|I9#{oU1{^;+ZvW>RmlS ztQnKKmmJM<);~XgGuj&eUVk#Y<5)-OM&B(FoCLpz@PF9r3&&YOUoZ%ytLQ!cM&i>K z)M2f?BRLp1+THzFg-N+MkLQ>oPCE2lX+7msf7(hl5PZaA9ri3NSJ9Sr+|zSBcNg<3 z&C{BGCk$oMS6Bl-%Jl^8phTetof_X? zD#v|rp{XfZPi%|b64tvcZH*|c0gc&~h4*~9BzlRVxtc+VHhQ?9%i53G^}!=$uL7LJ ze+1-REpi?;jMdiOJ&NW|W{xE+;+f;0FDAwLq<=LrMyl)fE;i~1(D+3U1MZo8vjn@d z?r}~L`Zj=oB16iZ=GC{)-jylxOQ1)lUzMv@=Mrf!ED3$% zPp;s|sLyxK$D!QHmwv+jh13})!lCJwV*-&ob*u9*G}PFl8|30zpzA3Y52zn^w*QnY zmpP(+TtBEY9sPbf3Hh4~9#wQUM<`-LUVlH3X?@a}k02E*8MPhqr?3V+OaY2UEfAZr zGVJ7jq{{zN!WTskPiPv!Hcvh)ZuJ`molNuRDZNT)0O;9r)?BwB>%Z-4O$ zAE56GI-#_-n^ey{KI3U3t9`?gt*z)~2+Uf>!DLV`WE>;2o6e0DcVzx0@sI?OW`>6w zFJkOUj?c=x%Y8&mdvZnvWFsfhrB-W5)UbabP$m~Hv9V*jI1k+5Gib9%51cn0iY!}u zsZ5(c#t@}xTB=on93&NGjN_3>#DBG^f!{BN|vFDjt#Q5g}N_ zbtD>!hn=v^7HBOd=?9Dhk-_(l&A zL<51FuDoSz-p4{ttB8-^v@{&f6y_k}E;$D5)rc)KTTflDa9X5*Pt&H6)U%0n6V7t0 zehq6zyx2a^LT)vdPAo(#Wkh8Zuq=Hcw4)Ks49!h(MMm^EHM;JgymZtL3sy2ogbc!g zOWDOShbyO_xd5+K%SSLCTYp)`i|H=)U6vBN>W~)M>GbwSD0`X2sOlFS{1IXnyI<-R z+x9Jc5w%tBG(R@|lbWP#s)cmIRWo9U`{#}gf9~%tc7brT^2hv}fsh4{_F4qy3c<<7U)as);+q2#L?i5u$)-tWaM$>3^%uvt1JOhft0& zSc3s!J2i|p15Jc&Ut066b}47Vk9T~MQXCUyx))$1`*RMl47nU%Gc%!Hbj9=64MiQY zy8tT~v0UZn4mzQ5qu!g-O^*j#2V1ZNk2RO5`%}-@5@E2s__ajAf&%<-Z6j$$u_+#+ zKc*BFr#0jvBgcWzMt{;$)d4G!d(F1zm{=Wz;p0s2yaRkyi@oWX%kewfO=c`RJ{H6o z;cSNG(hyykWL;855-uDpV){8>WOxoEx05JRU~FR1?!>eCH;B4}2>*bfBtom3vA&Q; zrvj9R!+cRQ1sUH)#;IA+&O9c$xhSCNbh1;M33V=DK*FC-?0>%rf{(7Brg%maH8PkF zSxF=PgoTnF^eewCATN%FzC8i(_<_yR#d;M;5 zG>e+s>WCGSXevkjCLir{L-S~ZI3|47c|>z0c85U9tbeYKpe7okHYM77p?3Vss+SGy z33Wi^v8RLQ;YbHPw^&W#t84ljkMX&Un^X7HY1e+&?bN_{@7-%I$U*}mBMyakEq;GJ zL0tv|F@@am=DF0aFN$5=n0U0M#hzvMip{(9t33%JKQ*KwJd?oVg>NSa9uM&>zfLV6 zM~Ja2?SD!Ir9JNXhASgp+H<1mUJlba1)vwysvL#K_E2?iNz@09ZoaZ$BddlY)}jsm z8qIuY>B38d8;AI)47r$_HSHW^1>iK6arllru#}i;O2T5Bv%MNNCcoiRwZKgGX0lbE z;#$9by=b3sN>6g4NFWHU0zflWdRXscKZ>sT%ztxU=69EQ@++?5QDqdSfDJ2k>W10Z z{K;X*+YoOwoZDvs-O`DT(|x4u&f6HQj1cqFWH}Z^P<#!0t_P`cXeOHJwKk!PZqXkL z$7#-`AfjQM$4h%zotPv`vj>?|B$h&9(R1you7qwSJEEOVzLIXW!^C2v#W=5VAz?o^ zTz^D!9_&kO(j2XO-%LIiPvD-Y3460@Cu0xSR1{n{ug6MD)G2#b$y!_SWL`J2(qXOB zlss(4`PcJT=3WKU&%-zQE8yjJ9AMW}^+;7p>Hw(PTx&IbYL$1E&q*^HJr!TIC24Ql zg6x(>Ym~snCcjUh&%|V%Sq6D*5M$N|Xn%EK9)1y2#1Z!7dOziC$}3ZE?K^-8SE&;( zW9B8k^UY{Een{1V^9r1V|NAedh>miS9jaS+vd9j6=~=jmtF29mpbxD$&;+BD+0FXMcI= zARe8?pL0Z(T_YFoJ-_$rfjy-xY6U~|Kv#;*l#-a{6_iH~Lo_|4UcdyN6QP$RE4rr$ zzrpf;q90v0Xu6h~-C7~hY{f}wDR3U4`U$h0W?p{9s#flJw)V)%jw5bu(VY1k0ZJ0x z=;deBWy*MbxfumW_?Mx>mafrQ%YU$h&n@PLzxh0Py=eK!1!x7N^RiW(WBuFT`mtX% z%tx;Io7anv^*YxK8<*{>tmGG_A1t#<F+)ng4ty=7)7&{z`-_r$xY*A_2Y_*WmH1bAoQzYJ~;7jO- z$=SnAyB`vTq=rH@MVM6bM)=BQDi*WGv(S8`&&3@L{ZdT&a~P)I9c|ZLS{F}xk{PHV zT6BH|&xcU8XNbzne{rkw<$rJimdZVHvyx%?|EzaF}uge)9mcm zVV#9!FNWOXH{%mkb|=qlGs%$Q#3Hb?+NWyVGX~QuQFsSsO?A7LrB}cgj(%{Q9g=d> z=@J*+*GDRST-YjcUYI&uaDDvg^NJnPlX+7BiP^e*^$*Qh?|;5Pa;5EiF?@ws!=|rn zG&$nR#E;F8ITl$(_B3D=YFQcLkdi25y$APhpD@98^LP$?YuCB;_5&A*)W^t$@}sC+ zRPq+*3b%^K(Ug0KwGKfopY|!2ce&Z$pSo4%V&`26<4uPq^@ZVvO5u(|P zAjsc(={F>o8h;d;iO$Jh=O(rFWHI^`&RZ@Zed`RM5o&L%(%8TFG(9`4Xfxs#lohRz zdO?Ts-3Kd(gnWXWDo;Xd5r>c6jJ1LqGf*r;8%jr-^W%Q?7djh=a_1x{^bzp&F&@N; zeM$%e+QGJjy}@yUyPf)&+>h&GO#{Nl$Q zV|+X)0p=3Lnb9TlqvPT%jlUBeyhI7nd-YAv?FX&#ZxVI7$}g2WX=%S#R{a)!8w<0y zS#FbVAG_R+&hlJa{s<%kL@jK{hM{XSQi?{or7JR=fEZD5m%gC$UD9)_P z(<|#_pknJvbc;Th)&`HJi_99wg>Pb}Sir1q?LW2YdXM^khaC6*ON z19zN^|0i1*$b58>TXQz_KmBi6rqs`fn16^|)SiSCIo$@-pPsr<+_9>dSy%s-;4N7EC|dq0c0!3C7T6Z1%HVRMgE|!!_WJk&Z-j zK4YvR1$cl9=!%ZnNp0Bk?Jzp1E`(MeALmXK(E*@dp{O0WQI_V%V2@#SY0BIv#vqh< z<@~5VF?WWbx~i~QVrkVwt zqO_;M3Z--c`mVqb1QPEuG;Vfo7<0pp4AQ^*BeW{d?G2b_#lTWzhw~3Wtv|2|LX7 z7>1;5GAtq4zxs!6MK1_XI)AX(uuR>fJ^3PiH_GK**~bLT0p|0b^)KowNyx_2skW_XS1zov8q zG&vMnXkkGm&A+K#d{2ixZ}vt|KW$kFY-k>so|=$|9BWe~KBpncl7D1_E6d>Xt`{|i zNK6QyYHpnk<=nvxN)=N+w-m?L096=jRV{`tmH&VQD{SaLuqyk@$fS7BJu zMnPu&SDLF4iHi)?QP|{{^SMd71|gpHjklC2pqe{ zn8H98oMz{-^f<=mUl%e72lUtf@ zFg7IL$i6jN`F{gX%a9`A5>+5NU4B}O5`mmKWlJ>0*X@p-6S!_^!wYwE7%Ux|XyiKV z7V6_el=Vuk1m(YCgm$M^7-Gwe89AiEtuxV&9^UmfR+mj;MAt4$=3dgqNYZT7lx;># zW>GiFvJWAEyZ>w$Bl4i9i9u3~b*a$gy3a?OiU*kYjnv5*&&S6eInL2to(_xZ zmvQH%fyp{{Uhrl4o#J)S&gL7524rvtilLsxt{KmzH`4{6)vt zic;-AH`H+EI+fztuSjtz#-k=|hcmZw{d6flVoT*nASs?~XAXu)7C!xhsA^2$V_Uel z{|j5!M8ZgX*lX9>!)vR39=w`TmdVc+9yht)H-D!yvm4=fQx<=O11_Vm+Va=vvhRbI zr0p9h&3!AD=)bhn3B;+z-f|6KLstBGkl?CGlg9Tx%Eg|cyUTZ9r=7epbG!mK%ttHV zeR*IqEF!c`W*xc zkAKAGqgBNf!A@sXp{dD~CvHS^jVE88MMcfkB#Ni_X*m*!4L;Pl)yPo=1{m*ML${x6saG^+G0V z`7ht+*#jnnbH}L_oSymC&z?hsU0UJW$bV9tUsMH}WyS@L>KeIJg5oAuo47HzgMTp1 zf7knxulXI84&60#t^L`Pkpb)tDZ{oKN?fi`Dg*l@=$*m;#Y3FhW;P_Feii!T@?Ly$ zquLy%g2j-20mC4MxFwgFjn-Cdu{%v}#s>?z>6v%3Vfeg8r&d%2Ntmcgd_PSxl^cWz zE&nHD5#NuIr&|vgQ75RnF*bvL&mgE7Yj%rffU2!7#Ct5X7noWi?k zZTa-30e)J@!(gLB^w+uk96e%eoPS=f6mhVYq3W`(VOXL2vW*3WZiC3YJvXmiwRn1x zjCykn`%1-!j%i$45H*6k3_Y%#s#~SM zb=Qpa(t$i@mt&?`ewZ@n9s;BKUQkZYl+Oelj?-EChF=x<%PMX}g4Et|%zp)gcw%5% z#MeQ32l!O}Bzt`UyV$2pDlTW4-f{))5I3*JQUW(;yJt{DuER1>X!KLy%(XI%-n@bQ zhlMR>2fcp$onfQC5HDm2mlCa^!~*C6faXo%73jfcKmnVa|4Xk+JO8P;8?41yP%N2v z&g~69dWT>KwX6{Ybi9 zo5~)J<>@hSoRiyKX%`xFyN#ih^MWYU>(W}0`2b3eo9j<{{gy4c?ZHR#P^b&hTcLH3 z_1LdlunqYtzt4%@n3*i(6p4@DLO#_nP3?2I#bF2nCG{!W;akfD5PxsKQz+RC1NbFP zjM|&Aq+>Wsql0J~?j&jCEpWpU`}O{8ZM+x7-uE2;C|PM59+rO1e5FKIA2qQ5jiu~F zgF=@Xg7x^#l7tj?bkkU0LHRqWTxXh%2$L+SIEIfn5c{;+VqfZf;#h(qn@*}Qe~v^x zvv%+yOZmwy;gFxHOxx| zElW1(W?t>s%+@%MVhY@GXJp#R{31OXcA_Pe4c$+1nQdTg-rNr-WIlFvy*G-*+Mag| zKM}dY9=~2Pk06V-{yeL+a~TeRHR}8BO`TQ(nyZw0Gh-qxT+xHiNqT72V3^|=a)5VM zq9@Tv%eCw~S%1-&edIi`Wmd^Wd$>S8gCJFncJZ{6SX|D$K0{*ezS)MM&MvqiyG2o7 zB`m0sxEtjY4ci9WB2C>Y@+D@S!X~wa1s5&a)(_p5kl~(jZTzuEUqhu$lJ&}T`YT>0 zEg8#>KI5l*qOf?f4#T`bD}a^^tR6CMkSrfbEuJ#(g@0wxKk}-~w~=qlIpUM5{+0=f znz+`CC#z7^OfDQZ!>RUd&>(ja1lTUJeC9;&@5AftuW8Q(2nA|ZP@wfv66AuN;zN<^ zzD5Ys(;S?>DFaJcXQaGbu~JiEf)o{e`r*Sj*H*lp84BSE-BB_3;ph@3ZO@Hcf+7AE zhSSnd&VReiJ=$*dKJ1;5jp|%e%3yOlZn&oP`S|jO+KDe0W-m4dFzmNKdB~*AG03j9)gg3OB7gGzN#vSmEXY&uQeLlD-f^STw&n~j zdHNC0U02QPbBHvMF(-Y`p7Ig<$|gy;^~G2fOgb8Bpa~xD%@Y8>bm5Lu zXbqX6tk4J|Ef(ZP)TU?AazMTPKDlxAydDUjY!@V$?@;FzF^`U4hrNLipQrY3o$$qy z%6};tTcby<{s10?^&BrmcI{P4 ztXC8~8_rU;$8snT&gW6^0LSZuSY>=@v}K77Un|tWVDR(qcrQ$5 z3c=pJ^ZcuQ+;^zN`CJH|{e9b~^z2|TOn-NHV?F0pgr&6?)z?$kVlm65VPcdDqVCPf zbbgBySbn-1{0AOJ^;%Yr5;+Xdj-|hi| zeW}UcWLoioJaOo4tfa9=_zAy>nQ68>8n9xqHX4cKL6v?DQETWIk7oFc-m;M0$bVDG z@M1&^y1y(2WUbXIKq53;ol|h2T@+=bjyg6wwrv|7+qUg5wvCQ$vt!$~jgFnnKQlE` zQ}c4G&eN^?cQ^L#Qv7NQ#wEQf4dmS*;Xp1A{vxVxsP54)txVt zL4G5h=Z7~?PDb`bL1TIAH7|u&X@=tRa}$_bYP;Cr1K&9t&;@%wH&R^fHF8Q=7oKXU zS7=Ct^6f$m#boQAd1T<@o;LvqpyIS;c5qpS1~R8IsULTK*z~xVpdP5Oc{V4=C$6@!Vs5)m< z7IxDw;qfMc)v)}?v+=~y>&J)16`N>{W85{$^*pH&BIEItleM%yRB(xSBuZwG|4K>U z@I3gvUW-zSLUI(an`_XmrQ*S?z3Ep--K~-E*lnvnF-jAUxd3pTeG@<6{^U?>EQ3nQ zt7s2a@mtZC;U{n7YaAo*mf$E=Q<7mA!VsHVVn?_)WK?ilVf=~NP+%K)%4-1W? zs8Yx#!tFz`{yr#dZ4P2_0_Sk)?Z2p9kkDb`ko5tJbGK(4_5FD^gUcdlQfUWDg5h}| zKde7T4K)Mq9|_bv3vg5+wi`DrVNos~Fxwi@;l24qZ;r;nmVo|PolvvR8s8iWq*gu= zSDkvk)V3wR;Ve3L*)3RD-@&7dc#0L5-X!y`rFa{nIullBc<6ks`#?nK8Dv+h_g<=y;pq86EIZQRc7+5Vwg>Uvw77Xw zp8$}PmM z%*f+f4sSYIh`YdJgL2;6YE|FW_F2U9L~zwrky?`VXI5f%>-g0AXY=Yf3|?w^%s~84 zc(K4;;rgQPh8^P51Su3U^7%e^Izrr@CDR~M(Y)8G!bmIubvKdJ&S>u=*DOuM=QK2n zJ7hp>lPA`@zL9GN1Q+fUHis|1nR3d(`6I!Ne?x$5AW^fY0WRhAw7;pE)W zX@F~ee`u7dXZpK|!3=wtf)FMx`qcs2w;tHIvMbr*^*Ozr&R&@4eMT~D-fU~IFAyCI zlAvoh`HB=edZGX5`*7*lGJ_wO1mq)KGg+ne#9` zhz_;FpJM+@gjW^vlNH|$qcR}_yp`aG@`vx*q_jh!Ad7O-xdp>vmgZ}sLdVUmbvuAk z0ABOP2U1SV{l!`@e3*7pcZ>m%Z}4eDiCP}Ft^Hc{O?Yv|(5$?-8UGm@1tI}~r(;CM zH@32NY~Fc$$lQC|X|nE5v#BCF4||?w#^rcEP`oZ40p=_%-OvtZqUz^@wTyd3- z9wUZ9js@yolmVSHpGv#BWzF_KklTiP87-3beN-6`{3hE6!f#4{|i_6{o)l1 z@qbAcQu+_3xGgx6sY`cT@-E|NgOF_yV7XUWN+^&cMYlWir?W*}ZImdLMB(gH=HBt% z#1*xY`IY^6W4w+1w?p*QV{kpkQB$o;fIl|aNm&}qt|#jscv5EZ^;pBj%I&{k9HhGb3oAQr=Lwm6{`ZsVPgpnANnIZ$ZdE&Fj zGukg2b|1U+P|VgH8v;n7$qDA*7>Z=kBhXDx^8`sx-1m0Qyo|99O>d`oFNO*Kbb*5m zwB<+$YG-MoZer$!S{HxZ_6|OQ+*p$QRnerEfs8_1f*@J&FNr~Me_{SQ$P`rp?Sd?f ztyY7U!LAvVC}xhMT?>)k7*x}}UBfp!+yaTE4!;p47mlpEcp2zu`FhJf7U*&%WTK;| zi((4Tl58;ff$`?|=V3xioy2?ViTEBCNN%c3rw`O0oJ?qFC-2OX;*8O6qZ#Z08K?q7 ziE)KFvgp4MLj#xFq!#*myDF|@U9u7~j~eCke|B>3%DTU*|DIEyKri-lz#p>x=hwHc zFSEXd0IKhr00$gv&)Xb+tQYVWKp-O4C7V44s(W)*Q2z}}Wc+HB`Hw{|$jx-Q4~Ll$ z-iGHjS9{9Zdr?nf*l1ZNt12+^b)lO5#mGmUojd=euBHAtT-|%L`c72JvOv2!3_JcxMbjmQ#E z_#(A)?a$$DCXDh9GjCnDO)2-z)iO&6Mf5{NlnW0Li}WBKHOy}?1^l_2Ck9}o(g>w9 zBdm<%FmRUrPN zF_nPxmC~TF0I4_c;bTJ9HP3oxum15>*-;3G0EOjauvq23;(Ol(<6eI3HVht*P~okj zmpYC2wUh#Q(|u3V%Fz`)GBbcNI+Aeg?;Hm!QQ>%^AbbJe8+Qn0KQvy zSUL!VLNu3I#72$8^UV>he5z+D-u3m|h~3#vARdz=>Q(Z|7khR;vUYYg61})kA#ew? zmaucb7fD)*15dkR{+rg6h85?k=9C*}WX+QB9wr;dQn`u+k1>z)CkBsG-n^c$WCcI| z9T2MEJ1iPFe48}OQXQJ6trsOOrk^48Ry3>WYfM+A{;KGZU`ek@8|?Wsql#t<-gt_l z!aQ|tklWE~Yu7KgWaWT@Cp;kbIhjuS+&7BHj`+(MiB6K_i;6iXb#;$X+IalmySAn? ziuHL?^X)m)so-NdqxP((c)O$v8SJ0Q65z%p0u8iAUJngwxhM){y&7PnL8l+M9$8b0 zue#0(serk1VM;3ztE1CYm_o_@!wx!PnXLM0YuMuNDvL*iSVA?sohIvDqog(MN1DL# z!V_8r(g@BrPAKaIE~+=$uplf+E2~B z#GhzWw>WQJuCk)mn2zhsE-hrUI1W5RS8N{CV?2#2qY*=XG_Sn8H@h4`47jx{sEFAd(QYyQ5H0N=sq`&kjKu6*`+%Z zxuf+fztP8qgUnQVnWeRWy{jJUl)3>Y%CGp`xU!|a4!_0L!ryDx>lTz72-$OebI8Ou ze-KNC*{_2f@;Ve~S|<`D!QBaaT_`FHsGqmM_^L)7RpEo5Byg!ZTq)uMj)aVlK&q{s zoRKVsrX^EY>{8el(mOL{sc4#J4mzZ$;B-{#30K8m16k#gYD|j(4>mgs!k*Gr%1hc? zH19dB6WbiQg>k52p9B-B1qiZbofL7HKP+dgd9KkaUbBg)cu`#2@@pyAv>6rU74xQ$ zJWS$K#U_z1r!r?em)d8-;6?&($|hUYDCM|=z7nS%rSDUaKz{AcyzfdQ{>1* z;yE$7ZP*J|S6l}G2#=Jn4dx)bPtgT&R4lI~EY;s_0?KChODC*b;^KGi4c$$bEwK;m zgE8~6arsTt9TaPQMkgW7l$~4+g#+saTLzQb>34)G2LlU8s4Zbvglb2SlYpOUYPT=$ zMv_FPoi~%s%k3o-NJb4!xCuAn7Z^e0lT6o9?@Tn&;Rrqe1W<+9z{w@C-KP>w%+<^TBXH-Ngyriw*)<;R=!Z#(&tW! zR`)IrnI`Ji?hUPXw*h?+Fc5{|CnhU@-z3<7D$|4XQh=t9Vac8!syn~MlRS>j$ZEZ% zsAvwX`vwQ!9l)US@XM(yiRXo%dx}?nyF-5A76z>lD+aiR5Wb%)*<_;A@34c$s(sHm%Jh^PQF=o{+u|W0FS;-%C;5E2_SF;Iw9Cqm;3wLK z7n{eU1(L7CeX{&x;6WX_Si)X9d*goyNaF%*8~YBEd2eVEU|Vj|mEl9n`evilVWCQ{ z7U%Jh;fDMS8d(ZWX|!exM#GOEH14msY;StBBm`8`pwt;{x#;_FWL z6BRDQrGbRHAwIAO^KT|e^O94iNZdXsp`sx-p;af3?pUj?ur}=_)s1eGFo520uP_0) z?`_h$EkZM(z5}%NkYY{q|7EQN$elAekY);7*19}0eq1%8GV;{uNe7E)w_;l|{BGPo zWNolPuf?R;OFOU16YRFKk#<)Yq!fWT;#$O}LrYkHzZMfH4d<})oci1y@}CS_ZaXby z6c4GKsC8>XJ>Gh=DRbEy-kAmV@IL^A()Q9ID-vFc@=ANs0F4xIEb?H|+S2Yo^m;SZ zx>mE8YcHD8?O8PkvoJ!oJM?T@ZPU3i=wD^j;Mt5O=i^=AVb+8BYWVYliSyi9Q&kW%5341R)moaTt%wcPWpV4L_xNs|EJxTB74O zuouYjHDsFI)9j6#PVMMQ=THPL1xN34#0c#@$5X>kS~mu(8U<#YtVzzLKUPx?I4E!0 zo}+0J(NoL}WE#J;OHgKo{cz++x}u9!hT|}+rQF!V1rMM@5(%~CgZ2y$ zQ3FZdb>!UNh}qQ|Xldz?&^!oi{}(`IVdUaW+k=Fr1K2VAR%&~VnXyryH{?oKx~ov_ z4{X@oHkx7y&@!5vQ^aaTkLLAzc0k3XlgXmoQZizH`$HfgbUXL;fl`e@G|K)wPJf6L zD+xAIVzebq%CwAg8<4F#HB*Bj2Y0qmOyolKmS(C2S5EZ|8?T2}qi#5bU`i2|DPglZ z=}nX>2Y5XS+#(JCBr`E)N?C5Pq-(s6!X3}EQk5)wFe1Bx$o^{-H1C_STHG}+G{bm6 zfTleKPuKhxr}#(K0FJgd*_}*KcuS!blK^hQ~{BFHqPf|jWd`47SkUk>v zpAXS;Qkg9MjIyRuz90?|D%gAgGrh+HLMNru*qzG1$kmiQ; zly^8v+`UpSc~ObS{(8X$S>d=O-Y5uXpg8nJ8c5>t@ieGbx=lW!Zvpio&%PIAZ}usuqdF|}JFfS=uwn3M1p`?#`J3;(bnNg6Zb;xhzj@sZZPvw0ba*aQmqNL6(DS+QQ zy6=wbn{+nw`la7=9?KT?Jqb=B0Q`APhRyuu7W;$gM*IRD$io3zBFA+7X%?UO%j=+Z z37-v*#2SW!gFJj(Py>y5<^c!prP~TxVd&njkOCs^Xx07dK`793JCs#YZNczp`?2D& zn?+HlX*?U$qF1}_*A3V|e7Jmv7It zlQ7?wbNO0;ArfWb=pL({gpjH5umqIY^f(^F4ZOe&iZqfIdfewXMnVD&o&V3VKcb@z zj&!kZZ%s02oa83L3g=Rd-s2O7^q+*V%`$~5+xgiuAi{5xd%#CNpKQ~w{?BCdR?aF= zus9ao$y3Vw>;bL$jd~x%Y%GIYm+s)8U1-5oQPz$6(=G3aXw6<^LF}lZsG#uF3|GYW z^J~Rjg;dL6d%X4CMo#*E$$tLJO0#D-#l8Uqm(J&meAK#$s!cQWd%jLpA{R|B7z1B& zNBSW{W@k0~5#SEL6Fr}1fipq|N|D4c30rv6jrNVlfQgC41%r(!st6M|kD>>E;`tv2 zY!$MM#DL}xL+6K1{HU$Zw>|{p(=7MVwM{MJpnp2nb*}YeZV-PS~MplX32^@ zCq_IiOY%R_Cuwk+uH>Eww%Te?krJm(_Jb3gHr3@;1d!UIE4qYn#ndob6lm=AxcA9> zlB~r-kO>tqSnnrDj8#F4K>PAniivX~-?FG!VkA2EM1Nwb(~e9(#)wTHe$VpNs%-a- z8XNwYfh;9i)Cxw1O4RG{$GZBN7IQ;HoILgW%21L1Q=?&hWAeNPO!Pwy++P%C%AkMd z;9a;2Ye48}tK^{@mYuABEN@rNka%?fc#U;Ek_$BUQwg2m){GVpR(l)nY%qE^T_DHo!VhZ-9%gqDpB=whH-F{#9%F1Uq))_Wvg z63z6mvlC}!?ieUVvz1H%+c*N`l%1JqjXYk4TL1#`!?70?wTetj!B8S!?!(9ej}hz3 z@XH>yz_j~Eez;jh+LC+fWY)iwnfPFWG0^t zesxRJV#lp2EKJ>k{J-tx>lTMqbair)y+7M7bMK$49#3Ha@W!x~cFf(LLc1E4{Y&)U zJ@B8wjp3%NH-83OejWL2VtfZcB|VVd+H%xxLOfBvu*jBJy%Dz*GZQ-%uM}Pn;+ccx zK6KA-TGgy}+_I>@2wP34RUC^4$Swu&HW_&3LPoC{C}F~@sOkFctwzejrK?>_PM#N6 z9+hNxD;jd9u#^>vs5L^AS3>lQwS?>2fD0v~dkw);{wnYVl`8w{6YVBiWQLsV0|0&eA8$0t_Mz(yB^Wb&`^somG^HWw6sqX)=VBYd(V+iTpE({K#>1UXJ@iz6Hqv zZK5LgSa`>~UMd}taY+{Lpd*YXbizo;E$DUOv4as1q@xf^9ysJEf?h3G_v}-AGt7jRkvfTAT zrt+?m-;bTOekJu0u^v3RHCi&RfG*v9{DWy7T1=Tvgh}z!kT3##cIJ$X^U_56@O-+< z)D?^SSSXZ*;TWmro33z(%eFG#3~~$SBw3}U_0%E@N9JAitSHM|>5n%m5Jz})vMW9p z6zvlhDZ2)1?p(VkY%*a}nTDvepSes0Ni&OHK*db_;h4GA#?L#|##sm(0GTxrMAtG& zj(!odUf>7(o1l-ZDi18=EUJsr`y}t%OSPPGh9ZR^Yrw6{Fd{XT_Stxo3qky|0*`Gn zy=}09bknFpy#@?vEGkBZRUXqk8+{!&U>a%qY$IksEaGIAXn+GYvWfu4W=JQ4^Skhr zO$IDTNJv$0cOHuA=*HgXKR~z0_#g{QNu+v1c1ye|hBK2nVVL3k>G0OgF{9YE+pD-4 zextOl-bK|-U*{0Fc}tz4AHAu2geOBUeHh|`-u}cfsHw$e?oG3MbhCL)y|ze1JHzj+ zz{NxYxusc42i;O?->Z4ncQ)!&wYK6A&6R?Ul&w10vg22?&OCDlz>vm0y_`@NaeME* z9%PjqV|zwndf#O$6*y5W0&W^6@#?~ey`3^tG>)EG(c>%`%9Qr>pfmco%2$?7w#DV zK78YIfuW7eJ)hVB_W+Cy|F{JVImai=QNhg1Bk4`r>!Ih5J&*r@?&1N>cf2OeqJbSh zpJo6uVcR|tTF8?gIb^I&dn#T)QuIzhZi}=1V>)q4gzlV=j%$qj=qxAF6tQN(v%ZfK+$NP`! znR%60J~rxNgV|uBUa~ulS47P1l`x%=CY32LJdxFT*?KsC$K-U?<9R<3c8_`T8s`2v zR|c@rZUdLu_%&%!eo(M^4+SD~%iD>Qt+w=OCeFB>-05WA5?c)%1pjDq?yda>!aflB z_gj4?fBKD3_>9Z&ALPDbewk}Kd}8$hT--0WhYv&YH-ILzpF(sEd$=8PQB!)@X<6Eq zZgA=;nm2}-YgTY6!3urRGoAg;N!Uj?!9D61iy-SQOa~TPq0y$r;qk`SZ+<(f60DOL zr|~SQoclW&#q#p%BJ#ygf-BV()Bh>R`TtZoEdSe%L&MI*{(t@!%!JI0988@5XZ(M) zH_S|ItX%(FdsEeJ>|(0hM2@%NCU>b~vmst=w9#U_!A{*`t7^kjp02-`w`k4BlZgj!EwchbfBtm053!4KA*&mGct{@tpBVYy=*2X4Z@>a1A zI~swp0En-DVRn7~>odDChlufCK&1(U#~8}mSz_eI+`pZqcTs3(`0OvFTnmUZt_Y2J zAprK0nzj0c8=oC?)f)2HdW|dFw>&pCH`}*44fF3xRY>$wVBdv#!ToKdweYnS$H4l| z*3!iK^g~|y`@Gw*yIJn-m^~JR!kD8J@WI9cz@sPeuc{uldVGPPHLmn;+|b6t_Lwt3 zOz@`zBm0s&V*|6B%SY(z@K-7KcM8QWFs8RNJw5)pv(@sg^*MtznT;1yEqiK+mC@~s z!|nUd&ej_6dOM?-(8N^#gOT|oY;$z&8aUO7#{Z&2IubAsJ?DY;CDF#EaraNChnWNr zxwK2|(?G_*c~Z~5cM?9n{rA5qAif3ipT7y(zq1R!izB|jpYDM$4Cj`H#D!M&FL%^k zU=qt8Za0_6_`XN;LOV;l{X6&a`)_f_EdcQf1Sh!6f76HL#hh{A!#%)#6S2CZvADCa zD>1q=vx29eYWuF7>9<$JB-96`wEx!x!IAr&iXu2N+WT+Eh1%>tu{!%VTF#?@$}qe5 zH{X+eRvW9^QxB$|73o}cFytSC7Eq#9VOlA1ja@5pk$(qIYDCG3L*?!;_h`HSc|*+~>RynIS%WNd&Byl$2LXyl_x^?ik~ty7t<~Ix?H5`xniokcE`Z5 zOddwXh`0O=-qd$BX0x}h4z3gH?@LG)m#7p4j6bLqxy$5XafNDahX1#weFaj2nAETc9k59pYCQjiS^YX2(#A zwD@k;myGKPdEjEbVBbHz_`ohR#JC^L@nhLCA{@(?xf8=86IE66n>QDACFlBy=H&huWk^jlfz3&%!xYe5U;rb=KSTBzrap;%g>YoX zp7->EznnRsjhE^Wv8(SXljs$Jp>l^!Ybu9dg<2f4m1>_+INXX9-x8eY`)v%%8_neS z;)vU~W6My+Zyn%WCc*plUCLc!Ey*GfT1{_VdX*q!Zf!GAf35#U2d&|t3>ibY9$HZO z;Hwt%&@5StwE*`RaGw6=_6rDEokj?ek|gd8;qbCqIW3zJMT0K+=3_j+H>Ptf6R$3n zd+?<5Z!q}Y6Od+Q@u9m6vg%hZ%x-o%JP#rO+ljV*jWdc{u{C#xz;uM|$T^f20*<5x zaQ*n7300mByH3zqzt)#R%yWEVng!>!9H2~vXe%T#d4V;QXdce2VIo~6^H>3^IyY0t zYtLPtUIW_3jasWC+G4?Ji|F@Fz_5De1zfeGIB)2lqLL^lSbZS$1bJnL-Na)-={KPNrl8dE;FJ* zU+v<<^7UY1*X@@gHwu0zu)8J1uDE#BS z_wT||3~DKfSknTFB=>$hU>?_tM>euEkj*O6#Yc{r88WLzLEU1k*QU^{<=Q!m4mc4>M%sjh zL;`y|riqJ26GQyO#VmWPpQAMA#5w;I_RMPhF6x%}e!clrgfN((oq=5ab*W0YGZ9id zrn0(jGAN#BrSu^Q@sZ&#=V@-V`#}r`<0s$J^)qh`Tr|SKW~8)O?Pf+&isi+Dq2#N5 z%em%3NdcsI0D(wCGl%YMf3M%2w7N$F|VRZC) zOSkQehHfUhbM59&#O3@#OQF5Jr+Qw(kvm}~Ty)w2B$%E80?7}oAmLq|4yl1ZLo2}M z{KhX`h&+@4l5_RfDf@6daQH@Xa*$=!Vq{*-U+LvHjF!UX&UW9C3#J)!Mdyj zl|2{dG*suvdCu&%^(hG}xgu=Qo;w2_M&ttgthE*7=Rq;%X{EIIey~eZR|pq}BW_V1 zUI8MM#+yW(7QBzEG702K2I|YbTtb%_+Ag1?*!Glvm9=q&a}M~_|I!C%%@|m48c0~@oFj)yp*kq{x)iHZ@nC56Yxb__H6c=Y`>5*j|e1VxXsn%L#Pb-gUwz(Rh>#XwEyo(9St4|K+TNRP)R=OiHMez^k6_Neku+8$0y$%<7X$cktzvacW(LbIFlrk$7 z&3PCGCn0<}auD-Aqn}f?FP7K*Ntj(M=GT#emWK7(rk(0n!>SfQiCV!zQQOgYABUt# zp=4VB7f<5JTT*)t|Il+LXZgbmjE!`*F)M^L<=-;Au>pSAI z!u7w~EhAp>d?wt0>5JIyG`j0I)9$q zH;lQy|EeAr`Sr4s5q*lyHxD=kXozMk^N;FaZ|3rK7Tr<+dRH0E$Q)P+=y3m4ka!=y zE2sZ(rtoeg9Ut!u^d&n7iI0O%0jZr#8t~ol?XmQQxUjM5!CIn}J=CEiT^bH(OGzX! zK1>xw6l zL06z6BZ>P5kd1Z-F7MJ75gA@xqTv{h6C`>i{PV*!@~t`2V3WEN8h?XV8Qdl$O>7ls zZ>~kFaHs*1y;z4-i2d;gZR?&!054&_@gv{pzs^ zw;*w0LGZn@bVi()IFP9j*@;-;>>a!{93__TN+H$-nyQCDM-*a`4V`bog{6&HY*J0t z{U@ZiD_Hp4Khf{BztA8NHDhfkOBAc42$E4)W9z9&e&0B$Mf<*pS=9Y)fLBI7?(kA% zYPm1~+ZId}Pa$lF+9s<=5ux`jY&oQ(E~psSqoO!O*_V*j`9abTe4kI*PbF zzBEvDldb+$v^v0f+x+^30<_h>?&`sVL^Je1q`Yls4L_=)I;8^_PUQr87p^t z_d;|fT-iXr9%y-}-qPhevOJslwW_?qqWifhRMRZ2P}k!MIgoBuW8dZFH68pSq6?G; zevqjM^d6+<>V|7hamlUn5-%rOiTH*?T3m9v-_qjGuMh5y=2KiANG+%G$g3*vc*-U5 zl-*qU1knn83#&FsYNYp#75!M}4$R(~lJ`mR3j48ng^8ilSPN;uQyXAc{j4Y5sw$53 z3}qxhW)R*&uFjC5m;f7U8C4!1$W>(rJTmB4jCSDr3WMY8x}H2~JYaeX9ethJIHfDa zCqgJjI?U`PzWi;#8>msf=NudWudZQDnOj`0qA?aD{AYz5;njoPVL0^t;a+=wMIA6=9-#S-ql}6A8zqGETt*BP&vbz}R|*9=7be%PB$KH(jL-=MY@pyxlndBe6^(kfU7~+T)$jF4nZHh}pQf>?XV| zvxf}qQFM6s2dKVcovTq&WI4(mP=z7u&`JukMtfBl3|hP6Y+5p3ps?(9vGZq+zK5cG zOJRs%b82ZQ`AmyJU}d~Vc6?x^=<)$_=mr$_su?BFYBt$p| zGkq_vK!x10FRD7m$fri7th4=})f1tH`)ZcIVV$~5Ri3pe>Z_W$GVD`~A>tCL92uG$ zy9x3kWOD&zTTOK58HA>agrjsssXB&HH7IOdojvHG19th$L z7X1LphF)ce;Z{vFS$JnjQn+QmE_xAzOZk0cT+>eQk<;fj!&=hZK_K7hkevjKF-*=f z$WicDz)ik=KXj{tG(-Z~b*|80serJJ6UVYxZkC2A*I1rOD)*8Jvn4)n5yBo$S=zNR&z9*#7{kHvL2^LZ=G< zA+Ic-F|h*I|6xxPQp)DdiCNpfY8~hOkFvw48_f7p2U+FyG2aCF4*%gVpLC1TTYWonY zIqS9+uasPp*^DU?*NsXng=27_Rd(Nhrv7^f@(R}V<^yTdAvh<8#c*R?rRqK+&0v_+ z=~ZTMK}5U4YQLR)5EjoygoYE<5uC&L(`-yX-*;RH1aWSpoDjAYUHRWq&HZN@y8N4b zbfI4;FjmJ#CU&P$!TlUKdU}|jGNKS3`a>#^?j$dJ)53uHKWsJdr~&;sd107{t|a?Z zO3yeF_Meqy+wX_Wd`1Br8gAkXcIu-ghm^_Wsjh(i-h`5qgndMT%>Z-NZI7vU2>Q~7 zcHPf05$Q9hjaS5mEP6{|6~_5Fdc3!S8d?YEOKU;j_-TFd3dz*7s~)Y} zF>UUD1lV=uF_ zME*`XgwQ$t_WHoY`NaZu*DWjV&E_*pWK(HK^VQZ?#=#&Lkbz|i8@SGV1TT}~r&~|Q zk2cyYf?C<^^D9R|Q@nb`bCO30rQhIlfzNVhIIZ+LHBnfN4IFJ!?pa}>%|6QYCxDaC z3vm#4N{fibJAhD7U3dBzmez{_eMXY{cDH#%XT4X8Rit~e#812oiB3EoYZ*@?7atgZ zAY-Sh_pkt<(Ww+ZKwt)2zZW>lu*QR~(4F(HkMc3r13*ZV)E{rF zV1{gA;}eeV!$eMAouZQC-@zcx=jqI;ed+IVrovExuzu*fxJ|4YVhHPi-iB#ffpVeH zY=-j|EHzFdk^%4S%*5Kn+`mVCg=QK*QGPF+Eom^q-m;E8AFSl=9Lt*yf_?u7rJlA{ z!>Rm>x*C`zz#1PmLN97gNKYzrpiiv9Dkkfi~z~lNkx;q{9=LLj^ z{~9_l2*3sjuXg0hN0i;4YZcJ_8+`gx@TdfXGT>{Dy1gJjPZzo`s{*hJ|2OIp3za3- zo7TLA{LyYO;Qb}8U?g1&ZEM1fVF@CGaT26O9 zV0ce^2&&aNp-jHGaSy;(z02f&z`%zTL8O}cu$^Lii9*I+BB-T|gL&zFJj23t-R--} zmbZp4V4g+G=?(^EeYsQy6!8fNdc_ICj8+tzI_TO?5hf!hZg>Wt>>C(viqIe#kX{d* zNPWp7Q~Ww*cyL4U5K?-=?Vp3Oq(N7OL~xm+I}W0HGSGjXFbCj+SsBh;)@35Y)l#!M z9Qpm6A}6k#bn!8Y#g_|r^mZ%kx5=ltJcO<3(5Xn1kHoTQ+CJs9AHk^V%>z1PFPP== zg7O@Ldc`pzwG%1T!VDam(tyij<$Ka)$2*6yxr=ykctT4muHG6Sb$EFfRlmryoqxP!udw=rs+uiB zwgreqv@~;)jTIFZ#^!$`W^Cz`(dqu2vNhZ_+y)7M<7t3A)11%pI6l9?%bmX9zCejPJ$Nwxt+#UAWXrwE%TRvWu}Y{@6GXT7GR)R0tcs zw74Ez>B#E>u#K`zN7t|I2vnskGkSEgzEB9i)VE8?XaklyYDM!VLiu&aK)srK7)}cd zcUK!=1E=K3(laba4F(GXYz9;G2%Nobf93(nrVz>Ed(k0P{M+_Yze6OGiU%r#Q2#h- zkO#jV54e)@vg8#JCZsF#W;T%^{G-^qMGQAz3@=gsNu5oDsx(nPxkhHRuqYy1wszcw z=-`t*Qy^@KQ)YU01*+sQT2FA#-4mxXbU|=Ji3NDoXLE_q(AG?QK%JQ=q{n{#I&DWF z1`qKvP%H7Z74Ap3B>3%I#@t&BK-FszhvV;70c!8_A^x3p@Jb(^wy}idkeD?HJ^_p1 z8SLMUT-H3(cXRKLHP_YTESl+obLMrL%#KPJcF(0Ct&>@bc6>;VH!<3tD1S~(@BV9g zVMd<2UT*0LO{Wd~6ai(?4aLmltZ06wGAmKpBk#N^)ux#4BhFBGl2*R{bNAQNY-M-L z2Pp4DZ!Jv@lR(IjFvqja;*`fagd93Y`MlJK zi%S}i`HQUOSA8KLEI?9HuyU=eV!yi|1z5!z#F7PuQ#s0HYk@2hc9<$yy{0@HaNU`! z%Emx-38&mp(&+QN!ui^-atjYgfu0Q`ZWW8!$xg$pHS9B>HMxD zN%9&0Gzp4`UZs;-M;kSCxa{%UA5at~Ac`n3Y2ws(zUv9^@gX8eHV5|+e{(`8+ep|u zYz&&a-Oo)(oCV=eUEj2MRa()I02v-w^Q3mOX2B5iYqf7FAx-Q!pd zAH=D`-qXl`wj1i(a8VpMRc+uNHR9tR`NDwQ2?yzDvN<}{LPD0Ts|5YY5k)8Vw*jCE zDR~91?$Mb7Se`(rY#BR#GFtl;jQ3MtTeiL#%L{th%zuYwt@V$u0i`J^fC~|nau`Yo zneuP<09+qILrO~>arXH`>IPfZ`M>m0j4V+L%br|yR@;y(2@oDE`X3SM$W>Fk zTDfu$ddH>HS03OCLJ-1vTtsfPuxlLr^k%lct$9@Ls+oY_5TIZHv!0krX~#hE{?DGbh)`DA}0~E z{%k%{*H}Eb*o{=12=h!gJSJwQhY57Y_^BERrCJ-NFz54|P@oWQyrevh9<1cMX_V;d zR1*7ZL5q0Jqw%q(AA}+M*Gwj{<4btE6_(2EVvd_k27AXEXliQsCeIu_`0v97sx{QV z{>~JCHUk`2P66e=PAFF5F($Phu#$SPuD}+7KfoB#A z1Ce)+-;2Ekq~I%>5O|^kwC0+x{dIoPi2}QG(*Z|bPKbyMf3S$nZ#YbwdomsU+>!%F zEJbn`e?noEO?w_kOY0e#?aqLYZ4;Ku+p#TECmar-@W2LyKDhR3ZMK}EUzmfJX$mfr zx%O{iOhC1Oyeu@^m9ZIM0`E+(Jbd(?Hc|8tIEf22j8edN8!| z15rkv>u;GjIqi7zBtGqLtOt$TehwuqiQ3H)xN0&o`7N9#4q>e_erI4D`O;LRdH^!F zBQgv7!eJun%t}YWfiwQv&kUrk`YVswj@V}e2t16W{BLos#taz6W){!}M59O6srxsx zp@;^oEOgTXt9M;}hWW_sk>%jbaY4rFw%XKN_pcEM`InuMGNa~?WPBV?6U6c(?^!7i znzKNCA^qNt1Ij2C=^`ha8?_#;0l*(Jibfe<0ugX(LIlGU_1M1LL8$sJ`3(;Ht?_df zyB357?3rSDCFbp2W)=SBgTg!7Dacc4nj!=PKh7#emI`0TdW9f=H2B$T&E~^*r4`D_ zXr;&1MjA}k4;4z%n%}_a$$W!xzl^A3ofTW;SD4Cm6sJQkdbprh6 z6CyJ(Nf%>N)P=#n6;0jIVnjBwHvlOFD-BhQgO%y$;Nj~>;$%yxM6DZ;<`$zXJXKIA zS@v(N3GdjZUg}Eue7*?E(38NdLEBL(x|vH2b-rsheH*yf*SuR51K>nEkB{~vD3ywY z<2tjRscXmT_s}0^VQ_C717v$|sR>jxc_3b@j^Z-u4v=HuUN)<2r8D-yX3QN(F!!GWq>Bo+s{}&({-spX2x03*HS;UN6PqR|adTgq6@K$bjao@g3;lAVyXsWC{!yOP2D)cwRea?P zs}IWBHVJo2IeJdgi5>~6;aEQ`gnTR_(ko&pyiaOn1y=lqdH@3FdQ!RWJkPMfpa=bp zHp232DK;P7ACo(>3~{HcYDYPnXzUlv4*6+4-ZrM9htB|exxViPJ=)_@>bzac{-V>+ zUl33Tcg>}8Qt@m4+m(G^a9{M?>V#R$F3p56SA#d6)lRLiTFa3~Q|ja9o&?rGTN{l{}|FU7O4`>-JA-IUkV%wUZP zBIP659D4F)wPyv@>}_sGlRt$5I6vv2y}HxHVaBFQrx*S5$Eblia)mp}5qe)B-27i0 zM4>f<(2aYCPFQ>IC+3+w>~3XK_0%1ASq#GW<(koRWB?ejg{wDC0q4|07X}L*8eI<` z0==vgvJVNHhHO5zi9syM;W_?OhOy}zgHqWNLuG*N?5hPi98#@-9YXWlw%1#(-GxGz zuVRVN+|;z6$Dfh80Dj0$uW6@0={DtemB%?q<>-wU%v?NYD8>N}9PU(XEvHMIL{^X1D#js)#sO>iU zhmF{HzD&KUoG-^s_XLL`$xbk`?|B*VlY*j*6g0d)hfaLJWP6w%V)y)`Szfeibr;h4 z1AwFIYaDf%VfnTh*JaY6E}M`kF@bR=xVzR++HTA~d6)WkGxc&gxj`J+q^n*b5O}vqTMYtVzM1j7z4`~|65s;(P&%g#ZD64DUu1$UqISb_C18vEhK>YWwGuw-CRw^F*8YMTl~N2TFr50)9U2 zN;kr(w(omgmX}RRO_-Q_2gEM9A4LrGNAI7#>Cp8msAnLg-V4T2I;7+Z>JTZ2cG*Pf zsa;nod1(uAda>I$1GW~^&%9LshGfD!b0W28c&R~KroDZi*Mhh#==x%e=!fwNCw5_D z-OKDVi3IKx$NUk0O#G*&YOnk}0SFo6S?%reRHn`!=o3;&F$}=u{jJ&lH`Rnv*!v&B z91q{WXm{Sws6pIea;{#BL8Cj8bJy{*UNteuNrCN#JBl>?C6?c1Z^Kb7 zhF|FM-uB-I?I2T)GGDU4`2elxtQ`&#ze%BmX6Y;@4$OT)uepWmt>x>Ux3Rn#DJWc2wuwe zznVw)ET>tHRwB>j7J2JQJ^005YG>lmSs;MZ*UWHj)l?LN*AzaCSv;Ja^Vi_)GHasu z(o0W1Z(^Gm%sW(y(o|C;RPN0Bf1!Kx*!UIBX%(mSR}n<^F=kTT*1COL+V_DqYyHs> z7uZr8B>XNl3(g>_yO)7i*vVeMgZ86>w%*&Uo@ z>Qu9wj)J(GAgH#xbhzwLZilu}G@VbOvC-U5vf??R3qW^;G%9_i?QL}jTU}2P-Yqed z+(dOdT-7)hjKVgDJ88P2UffwgiXb7rDe+x!Dwx@P} zDtZ#Z7XX&J#r0x_qF{u=;J^9ntr@}7(%$B!$!-2*cA%+4)n_Bh!?!#$SX$(2I-nnH4TGoSGUB}(!J~h_K^K_199lV zSAc`>6?XaFnsea~tG!)w1!D2aOB$>T99^O<0=m%u|Vh8dD!tSS~uIK?}jfZ3eaY2RRD-vx2cPNU$*jWRQ! zg;);m5t^Z8vF*q2;Szkml2w%3i87BdSwJ&X9`-*kPzmKS-&QTbSm+I5rqyo&fMRN4 z_yT6Fk;kb+Q5Dkz&uNLzruBC&Yol?6jh`I?P>Trm@8G%XTl%O=GG>e0Ny|UwSIIL| z-?^`OsA{V*g(Yw1W1;$CG&ASbRx0pnpO*Zz*@Wm5x3j5zPxNR5To$Wvx(hVuML@Cd zxWB3)i{@c}t41B;*8MmIE`7k~hv)9|ns5G%;z))x3gxLQ`>-s2}+7<$4Sy4 zEA{NeL?tKWA##NP3V-=e6^^!eVo}`_{lY=2ev;he+cBL`!L%F>AZf10wP2l+gQbgJo6k{2tTlpFCm$61O z+WbU}bWLo$%_qscYcuRYC7_AAm~f1$sd9SAHRbAYOe;BcY!sTEX5wa`R#UMgh0fy^ z1*@Y~Qi5;=y2V>C_{WDJwA&(O2a`g_)^Uwrd3=8BQ(A^hb<-{&4BvV111OQzU(|=v ze}Y{QtB;@&cs^+I;VVN=%{_8+e(3fPu>botqqH2KnR18wQGE{bOfKR?SXZBZAs0+d zenGvrFcmCX94Fo@3$HAAyOaGb_l}d8TwVKeml!oA4gvw*|Bm zWTMo}aaK~w{G3Rx?ABF7ywRcSP>g2c(NDPN`#}>ZPP${E`9=BSzsAEkR;nAJ*x2xh zHXi8C5kH@;O`;|w2wgh>x9n-5;!C$AN!_sF)qn6$|40ua-=_Sg1Ljlm>7|Rd;F`tp zgZ7lOIjesu)AYo^`oL_;KEKS#6|r}&;U{I`*rqvVO}vWPpH=HQA+h;yT+~vAP^Z_e z$KldE_%SF=gg+XAEb2m|V%I)6Y@m|e?KL-r))p-4{FOjW zi4vFd!o+G2ODvvS0bs1J70a6W7}OVZ4qSE=rYdebndhpp6qkhTsAT9 z-hD^N@nM-aBAj}L?50}?F3jl|QzI4K1CObR2sigZdRi$I457#6h>-R1$C>g z685Ya8_@nq0zzXnH@1VFZY@iQD3)4CT5OJ{5Ez=9t9FRa1kMt%u{X#8jabzg&byoFcQT`d*pj z-keqYV0BL(YWUM5cjh#HyKEKvrPCj6Z5*w~3CMW~7;v(fCFZu)`lAsKT+Al?xFDrL z93mJRO5VLM+T2||H z06@lKQY34pGZX;=hqENGj{#TkgL8l>f!)17|BX{gmx(1l2|Vi=+{Y}gsXHe~RB8sO zOjHMbkv?m?3Wl3l`t)%?tZD(2c~l zV>5WafR{I9{-w&rN)h!8ZbVo}B+Fj|0Q7bO%}STGk@AML5Kq0WjS#`JuJ*wbL6pF& z?wTMUC%yV8`+u&yC2~0z52hr@t_rDy%34@qF%F_}JHxGk5fW52j1^!^@b>c_gyl5` z3VjHWIWJdMc|4S6>&9gVY5ZD3oYX_aI`!(Se$6dE=`@HPYfeCR7PY&tP92Gn06cdIeEyx)#-bTK;eYQ^b}LHkL(+5DEM(lZ{mH+D z9n;JjN03K_x|qU2uJZqqe9*=^SPD54=$8UJtqo{7@zbq0*UjznrklFt8fA50dtwT{ z7}vGkJ9tIf6BEA({9J*fD}8N6Vk6bIej9d1MS4reE-R6aGh*eMH3_mBe%}_J@CSOC(I7#9qu~p1Q2L$j!V}r0Z?BR4G3N{pkEHH zYN?*uH#ZxNHzOHmBtJLKL4gA6+)39PSg0UL@EgMcNQPwsR-C_<_CHE{7N|^AJ8;xLgI`d37H4 z2$Lxv_i46Uw4qEL05_SmBnQ{fnmxR;U}*G{I#>1hyWjZ?2`$7AvDmZo$hP`M0s%S?FcPeNGidDR72;5IRa zgYb{M+gOMOrD2F(wo`T%;&HznHy5kdQJQScIsfr3jF@B~0zP6Ob{HjDqfKc<_zhS3 zLiX1S0STORDOHG`2kqC@FowTT6v7#!5i+8kgZ zW#oexBb~Ke<{b+7+7}*==G5$G;DBw*(N|!!kL-EE#N=e~v@~M*99zZAX9n1WOJ;r6 z1ldhFM~2b&08}0YRBT>P+af^e@FS>985lAgZbmf{RM~syi!NNEGh}4!48^6WBav5Ld&~Xz(TnzbbVUSNo zSd+ z3w;kbfVE+OW?vz%Ni0=(moQQJB3bggCewa;#;zzw6uy3O1x@wB8$%=^?jl5YAjnL1 zUwnf?8;X$kSi^BO!0o`5P11?W51F}rCVlklIoI#&bTQ)Byp+9;hx_+_L1nC2D=QXx znOKhuyDYKuOg!!pZsxPuo`s73kPt*L)xnw{K(uML(3q1ne#R;q)1%3jW~e>k5d&oD zdmk)SB%Y5(n0~ls74aHssS_nP>Q>h|KV_U_>BGtr#2K*XBDbXA-FD2-Is1_#HV|d@ z4D7HG4p@L_5yTSD%ODEJM5(F@cjhg;xw|1E`M=tIEO7m!TS=lv({)@dD`t5lZ z1_RX-Y@Y@nAvcL+!AL|XW=x7W4^8v|6!tj#4R|UO=zU7CG2WY`_sXdq*2e~V$%$KO zCD5qRtG)+`s}r&D-e7!tgdr7lEZ3}LXXTr24eRwVt57>B+)M*7QVbU(yYi?22gzUu zT%7h&q@S??Q5+esB!a;Ry=6&P?H}T#hqN4`;wPx;NLk=!`a5wx4XL?XH#z;&T$-{HZS^RmIyb zX6tiNRIpd=*N?ADwd(zfEaUJ1@f~&>MWlHc$Itr>AJECy8jE9j94W?Gh8>^_KhU|b} zCqnjgyLg5cn99YWV}BOUYrYmkFN z3PCy4CHVx*T?8{6PZoIbJwh9i9*%~4@YF%pj@otZM$Mp|ryS-6J%sNso^cPORV&98 z@Wl!%xF`iEI%tL(jra#>9I`}aLC>#{Gkh>vORaD|-W`@GO=p7jnP42KbqUJ%T%HQUH<1!7OIxt>0eHKHONdK?BclWjhc&Sk8X&zVw z-Z=d_n#8_G%Uu${Z+|a^YT@7=KeqFfUa6f@fV6#;=hXvut`q5D>=Aoe|YU^UDe!_?Jk>6fGu}!0?E^AnW_x? zAWYyHU^yBdgwGRlUbS)gvp!0mcmYPE6-*7Uru^}k(H9z!TaVqU6b@|b1X;qEaPfm? zJCZpY?_dh&|E);cD90 zpmX#~1DuOY)zsAe8Ru#`do{{Jq|b+~#Ry-GGU=8@*fw)eFge={Hku`~01NEIWlWoT zuzSaG!#))N8%Op(cKO}Qp3Bi|-@J)(<}bN?nbz^W4@*OzSy4x8ELloQuK@gsz0cH; zMU7k@pQIsoKjNtf#&H^Nl*<%*YL{qSJ!zB~IS_q5o}rPBdJuSt*n<$UhE&ijy;0x5 zimmRarti`wKsAh!*$2290YaU?wnIB2bHu`iBuno?7-j`P!U0 zxq0+3#X*y+r@bB${7Yt@HZVf`(!OT^gNLa^r*2sWiM!-@c7Fpjc3-s~R#4j?Msx8F zCZ65)YH$)K?E5D$)4MEX#i_{4GZDM&kJl&7kRem9J5}RSUV%@>Rx>U^Tj+Lde5)9Z z4+R0h(z=Ys=bJe#nkKV`NCF#ao4eP1cmGPzH~Ijp!qNIsW0Pdg+6Z7tynI5zWSYue zN1Jdc72;_NH5<@R;C?5H3B2o}TAOD;F_e_@kzYqp*F^(hUj$G(DGxx`j+QVW*v|6Z+4imVDcnni`4p zE$)S>1&1|CeXCs)kb9IdeIBL~LH!j#?#7=1HP>sxovD_P<*u71kIV~#@B_?H4;Mx~vw zL5FL*7U&H$8)F}8%G(-)-jD4B4Tm>M6fh*6X(A~_tk=8h@7tEx7jrHm$;>6qG6;)S z80asfm^%nd_a5cyM?G-f2;(c6)CjcB+jgiErPEz0umh99Blpf6ql=KDKHC!G2k?q8 zg)FfYG@sGb+#miYt*fAFn^6v^xulsbIo_Iy^1bY&W7Z|Emv?K{X^vSZU~x`A%@80L z&{x&AJgE%uOx={1Xll|;dvM^zF3ud2M9OYn2(+w%sgLriE*nhW^wH>@;v`r+YOm~8 zMJJoB;T!H=&j;1H?Feu4))kU7?h_x&T}l)*BjYQ~K%>Nr8iII?M&tsBz;~Pn;(tH8 z)7knxwe4y%r_wm=pLz1G?+uZks9f2J8P4~P(To*V|CB&1I*#wK(HW47)D{Ak|9 z4;CVPSrz=2rD7qVXng>%IwaVe?{VVDZtnr}+ZE=wE90T3Q?#O?cDRdfEZM3X$O7(rjVfik3=8 zT$>0^4Z6U#g!7=GvviQ}nk(A`$||tJ$IG44+K}f*uz$m2(Da}|zwI{y9G_a0Izhe{ zPVP#q*Y0FGTHVSH7h)_6)f2!&<-%_3JNoHgTSp?2VW>QFIWc?9Q&d!=cZUz%panH$>j;KEus>{oU^< zMh!@;Fa}CwHeh@HKo+8kP~DuCv($+NYX36_9fh(SYg7L07LgSOp)Ehe66?7Bvcv*X z`8gp7J~-Hp4bg#$L~%8`ZW~l4O1TS|bFO3mk(}NR`E#T*(pohM2=*<5s2S2!32qM!AU<9fPR5*ClkE96 zr}homdZ(r9;SsFZR|L^?OL>YgocKp&4QE57Tfm!|FK`99EP15n5*{jrqZ8JRCviDX zJtdmOsKq?FxC)+e0dgB+70Y?+@|wep?rmpmP4f>RQ<5!LL!fI_3XnBnw4l?9HNXmf z=gcVz@X`)RL#2f3fJ#T)hoU%sfC&bpN+=}#u>|~y*poDiJK1#AX^G2kx=BZnJWtJi z9yd3$t=Y1EM+>mBdN5l@DLO_1lU+KR0N%ChXTFN5!)h$6iUQ5FDX>Q{=t-tzSNcgc zRK@}1{xw7cp%c_XWxl%ntoLj8xhJ)ld9^-6k1Iy?tiS%%noXqDV07-NB!iMTvQFoEXKhB5WQ5z9)taiAo8@ypV8}pQIOKGCiY0Dy!5heKDK3Zs z`<0wQBH)9!b?ixs@#FhFlIO6#%Pa}?70LnNDTA~lpU0t3Z-sucK#a*dsXYG0WiEeg z_ZAq9N}{`oj#+ofbo^Eqg%?X#QMvHR>lrQqJLJpxT5kFz@Wg(nQae?-Z|H~QnV(xr zDzn9oRTJs;%pc5ec8LMe!6B9#5yyz8NtulDf+FMk)w4{!Bu4sV?r#_!NUa@jg2F zpZ;sR;Xt;R{MDc2MREl?+;PgiyG|$%4RI=SG0?)_OV8;a{G)~^^k}~WL=ym5I(qg9 zIlvtfDY-v^e~3ngg@;Jy+saCpoGsF3$Vo#9yySX#fH!O^asFH#k6WItGQf`1#M0M$ z0rmri&CtsB&ACNBcQNa+Y(KhW1P8F^z)J=gU#wQzH*CPo=J=CprvJnD#IU0uS zqCRQY%Pixr`}Iz5);&V0^JyQ_WrjKvSJtS zE>RDS(xg8l#0^J7`J2Y+@iNXQ7=SjPq=Fp3u`m^WHkMb4ThI)R~D}gHBzQCSzC+FJK082IWZzA zw4E)%99d2$rJVDOp2A~X*W&LrDBoOan`QR6Dc4l+gY|oZLWKZ8+=Lt+ZbWlif5hG- zg&SjFRdOurTHGqc2k`x zX!Le}Ay_|U-vD)sE{oIm%VS>wr>2jGgKC-Tnc`aohm~nnr=#_qN&plzOI?_}*h<&H zrg>kY{926?U1S2pNfZ7y)G2q-UGUUCZ^#43==rwyha*-$f*1Xrp!G4AO)DL35ayx6 zbVFz~MK>}3_1TFmV|cFBrZSSff0=t@S1DYu5~a$oAYOV@7gpHQuMdd$ZmyL3?5Nq( zP0FEG#q`5~E*emtqJ8c3CC|BG%B9g8l-`?EnX@z}!jl8wwr_WwMEW7EZZvVp1!gUsMGJnhQ7Voy%9<+^vZvLj> zI3lxZ18Uokha&)s&_lEuAN`H^^X<0@XaJBLRH-JKH&6t`k>ylo=VG%;gCdHS{`pHo z2{p9BQfk2C5q`=&jEVhQEcJ_9cc8?V?1XAdH3^-D#A|pF@hw7Hxz~kRq;4@sJmv%B zHDgI2&@2E1Q!#^B9a#6(zVJ~jw*<(3-+7yg1>g@xd0wjsFC#`64&+hjtX^vTp{J=* zb3ltJ5zS+wzRbPyQsTGnYX5kY?*pR$7LC`b_yj22uyKBv#qP`JQFbs&v|JH5N%qW` za;oaCQxUwYYW-@6R-BAR@H0V|J31h6P@CfzOnjrhk2Z@G1bBW=NL?&f2}o6ByZ-=q z9$lu-qP>Uc8IUo+7B$zvUS*Zb0EzaZN{fxWO+4x}C1yZ5f0meR=l%*oj@fam1(uiZ zBLZ^s>%Hc$!}n#B#V`8X4sNrGYeEwmt5N)sNT6lCa0j5hwvDM4%Tp7W>!n=>$b8n9 zZv$r~^iPx$k<0R9$BNL%6$X_}0O*Gs++)Dr42uI^3_R6+TmNOkc#3o`gxRnd%gK%^ zq^ril8#RoI9&Ijp5Q;7_bbs}qWAZJ8+yVTd&wPPtj(OoMD^8ug?4gpQgI zdt3|yVsr59u4$j&XvIY19uMh zQA~BhUoEPTg|jvwq12&XDCSW1L&){gk^%+ko+1i>O4vnbo7wtJ4QKFD?o<;Bc>vns z!#0!BjIV$W?Q(KgcK33Y63Dt6wOXXp97bgah+UA)qK;6#KW_?5k(F4VN0F6+9z8)e zQM%;P-*au4d)Tg`hHk1456zTU6MRs`!@F1Au22RWxDpCm%5XkO7yKrAjzT2FWT)tu$WiL*m5j{k!Hh7T6TocANe$F3-)0VRLQZtB<6yJ zc6KxdXBSb}{O3%RpeIkNpz^`x*y|{Bhz>ne?meB-MPRTJ&^WOH+}-+Ux(&--JQdc( zlKlVc7VWBt1x~~R(`0Po(h|aVm|e3n7FwSW`uv+g6c3~&Ph+d z_8SyuZh9)6AL+Q%@<9;Dh;8H71yNLsmrY0NpLueMy(hDQv-Wy(`xc1GWk^6jy;iFv z@&D;8^GAenU64WoYT%*eoX`!a^d(hDwP6ya@R5R03t8BbKFpCv>lj6!^i%UkMH&_*1Ov zhBb&2AHZ_!*+LgRuZOF{TkbqrfXdGE_9b{@`Vbc|o&zz=a7^7^nG@djh2$yHCkYCk z?4Jj!k~?;&unh@;@Bu3|6g3a4YL;*ac{iYB(KBJK&c0I0HOzI+oZH)ELF$oi8_kfU zD@)l zi9)L{gd8Jf2c<3V(!YWsja1bw$m8nE*0$|gCK+gvKifQQa5KvFJ1bLLEM%RvElHE* zeacr;zi@wN*a1*|OEsTj(>(b4_hRA*RZ^%8^XTBUWrM^BsQ<-7V->vObts{HhhyBs z4$VQ|gk1=9FP{nrBWf~g>UgFhql2QZ3p6Km^*wv~ZV?^yv>TOLu#q!9xi=jBG$4!w zG{F6oR0{H-hVQAr?*+co#F%2)!GLvty%q3G7&eIoLj%~@^6hc4!VyHOPP1{}F7BtU zV9^kDkj53{8w8lyO+Jiek%kwBtn`1eXCjF8uiws)y0lC9sQPJC3JSpO)T z!TH=IEb9$Z*EL#J=aCvG7v1*unfQ58E> ztU?FXK8H9#{QeTTgPA((Xltt6{5@voLgc+;&j$4ETvflfKpA_u6sXv7B;&>YjZj~{ z6hku7SFThZ9=KeCEJSyCq^YTTRBsQ$Qad?^e1#CV0@zn_-mGSCj~pD*3RrOaX3)!H zpbU26kty@|%v%>jat7K-b;j^aI8P8rbfwE%V$r1h*{9gug5c?ArQx3~bZGk5a%HC7 zVPdHnv=?i*!>dqg%CLwIw+v5%tF=*P}&VP{N0BR644fWtZ_;n0r4w80$427DedkH1c)^!FI z3zBAZ2BqCrbooC}>Jkb)jqx6;x$W}?iV!4?=>}@D?dbkL2*S>t2KEFM0Ljk6#Kg+V zkrw>~h4;Tj-4j$MFn3xN1Qad~D;o^sA1h}US0WZp?*G@Pm57<0g(Xc`4U!6wlCI^j zDUCL^_ks45PE|P8F zsYimf630ib=3ND)OYY=X(5QuD_e6G+@xZpdpELn@IT<=CYx>F> zyK?M7I8$P|-6P9FvRgf1AuVJgKu9t;wlRoWwCG*M;07J&dohfkQO!n;nuqUCYe>KXhF^_q|Er_WB4f3v_Ta0`p+J{3M`U$%%323TcS{~M9l$=R-?+p7VYB^hYE<`8tEcaguR0= zhKZGLD?7MKVWT7whz;$tX<~yCY2hE%0Q_s~MZ$YjzX6ALP=G2RGaCcMK)f90gy8i- z?rtW_V&(Sp!04Nazd8rwgR$iaZ}BWv9|0{bFkk%!i?U5Du#Pfo2fb$q@ zNrQ*}EaQl`FR)l1qCD$R$jz1*63}0f}w zgOfxB8gYO|r1JOz`S4pS#QWiH!t0W^#Ku!FGoVl4*{|hpz~KgCDDyVgnRPiy^T{Zk z`d@H=*}}>Dzx!(+7Hp-mwR6esVOkub^B|JfqXYV9bNy&wtGogeg zou1_C&eNFxY@d$@Z@YMYmOMe<1Swutm^Pn&R#;#5nK28FY}vTWmjWiz-%KG61tR*~ z{25aHSyucUh1=e2y)ZzcRC?X#$m0!=i5!!3M@Z;Pi6k~qS%^=qM*x&ZBb#qo9y#0qx`v*_^?xZ>B;r-!hXCvpc zyR3)*&JbO0wZEyvjDyY_q59W(o%Bot6w|?7qL{z9WUc^yvw7`6*~}xDoY!=y=t-1q ztVuKzfwI?Wel7PfDHDXFbs?_H2Y-Yo{D7=vG*bnzhc}ZC#b`4|H8v!hdc#E2Xxg({ zree>KJHn+V2*ta+-k$0ZSZn5@QM*E6$%pGLc|dKW;6B_0mR@P_8GQ#OTE(RH`!}Q_ z)fu@osI>dzoas;!%RJ19XK-2Cxr{aX;n;pFX+?zPO%pyCU1D>~0^Z_MPg-rYYmbVn zs>K3uEy9Y{j_oQjN6kp7yaw9QdP;BVXZm96{Pb?E zH4~|8OQ%eMr-|80@J@#8GpO0i3eMWU32~OIy;GyiyhHd|y3eG)QDhS)-F7{NWy57N zQlUxJ+!G2?`<#^E@))?26HttcJi0`Y@Zh6>1&T>rpp=z1isFp1?ttdPi{x7N)eSxy zI)w)P)_^KX=_v8$?UKtCy6saX6dRUr)XoU?5<8tXsJ8a1ODcUS%hAkqZIjw2C>xLj zYI=Sa_A15q1GvzKOiML^sqzt3{=w#IWE51^J4cw4L~`3!@5&(@tIpGe%0F#qFES7S zIbGNitDVtZLCilf?(PLmE*s2o&>r*5ag1~xV|=|WmJwTImYvJvBO6jOJLPl=Gl$u% z2F7T4kD5!r^j!LI^Xh=R1)iZf(QW~8jnmPn?n;l%a7Y&M&)_PUcZtQ;F z($}*0v6@Io2>xX<=!{pHN7^OldElP$U3mJs3t6D=#x5W)5Z;Mhzkz zW+GOi|G89laB%&vXK)cQ5h=qkO4*w`{8w@RKb07f4j&Vjs3!Z2$`MM_@Q}G24~S}f1yw?!BGA?(bbwH({Hu{A2S`S zE_XSsqgYQ!OcaL0gj}4(2w^daU?BIg+QDeSNZn=X;*&u>lFC(Np8G?T)^m~y`9S6s z{N(5W5#(v5Dk5}I=xG&N%8>s)D^E#4^Zm@o6j*_GJrlR?lr^X|Xc3e9yNb9bs9joG zx13iSic=oKQyvCk8H~j?;1Vv%+T0Io8N%TKeRGe|Ih)`VuDFxqAR`DCp{<9pp 0$ $\iff$ +Thus, a deal is considered profitable for the agent ($A$) $\iff$ $p(S_{i})$ $\iff$ $$V(S_{i})>0 \vee \\ (\forall a_{ij} (V(S_{ij}) > 0 \vee a.s = A) \wedge a_{ij}: V(S_{ij})>0)$$ +The algorithm starts at the node $S_{0}$, then considers all the possible actions (including the abscence of one) and calls the algorithm at $S_{0i}$. If there is any action of the counteragent that makes the contract non-profitable for the agent, the deal is considered non-profitable. If there is no possible action and the state includes profit for the agent, the deal is considered acceptable. + +\subsection{Example} \section{Contract evaluation algorithm} +In the previous section of the article we specified how the decisions are made. One of the most important parts of the process is finding out whether there exists any action that makes the deal profitable or unprofitable. It is also important to know which actions the agent should make to maximize its output. How do we do that? + +The state parameters are represented as functions of action parameters expressed in a formal language. + +% Here it's about the path consideration algo + formal maximization + *template matching* + \section{Applications} \subsection{Flashloans}