From 563d476a2f6d17ebeb49a647d42273c5e52a8a57 Mon Sep 17 00:00:00 2001 From: Spencer Smith <smiths@mcmaster.ca> Date: Fri, 10 Mar 2017 18:06:43 -0500 Subject: [PATCH] Minor corrections to L26. --- .../SpecificationQuality.pdf | Bin 511122 -> 510731 bytes .../SpecificationQuality.tex | 4 +--- 2 files changed, 1 insertion(+), 3 deletions(-) diff --git a/Lectures/L26_SpecificationQuality/SpecificationQuality.pdf b/Lectures/L26_SpecificationQuality/SpecificationQuality.pdf index 7b595b43da044a234e2c67adb8146bf7d796eb19..689ae86d6182c5d1e1ab4b86ebb74ec7fb97a390 100644 GIT binary patch delta 27460 zcmZs?V{j(X7QY+4NhY>!Yhv5BHL>mFjgyIO+qTV#ZBK0b&N-**e^IykOIPoYy`SgT zz1G?Z>4cFfg#N*xO<<8PU~HVJ$Rgl0z$vvI`*kKHzvJ4rQBm!vYnxF7`>I*XWSVM! zR=Fy~@FF^tUW|c?&*#peeEOtndW&@e<J@bX_IG}uBiSFpfv^<bw0QHwR~~P&vb10o z$gu>$i2SkL8rOTe)7&XAc-A0d@L@Ovy`W!O^+9G1)0CH<kibF}uy0L+8%Hh=AoZKy zqLqO$m<1qzj;RBjGHOw9{l{S+RfyxP9Of&_PSSAEAE1d*ks_eGD(moG&V#4Jt30Uj z?K)PI5jxozi502}jD)sG*05vu3KP0}33<=Mf|)2{2&*Cw8*Q0WJ~m_!GQ*e?4a$;T z>iCt#8l<~?_=%j0iKL#rrh@1PkR%YgId1)pg)p`!1r<FH?YC^*v}k{l1eJ@i&vt2? zE>n4E!J&9ELS2R`(yL_~0x5#o!bhbj-_gAmJ&#dQ^N)Gkzt2Q&vinny`{>7jgO1r| z#!m0i*Dg^W53(X=%DV#KDD35}Q+<V}RHH!REgsc4sz1R36*t;MHq9Ij5SNg(;+s*) z??*O_`bKEI+VJ-0Jfm_6c90yu^>U)=S@aZg{#B}gmh>AhYj-wl$9bHM;-Pb|DtzFb zAm`g2t=GLTeI-yZx`r9CS%ieW<xFWMb>l@{cp`vyy9x#B`LP8+_3IT%m3+$RMO33X zXZ2e$31iucV2)M$3_VcD5DOm;)AKbNQHJ=IZT?yQ%<YlKULOv3#nr&`+_{IYvEWv^ zDSLwTW6uc5yRj!aAxNa=dB=wGz6*})#aTn8na#XHLus7s6HHCNXAs8J&cxZp$<)a9 zKX>-VRxqro$Q$6O5X`LXT&eX40P0kHFmME5Ey<ECR>LEA9(V=>R%i=iMfK2x4Q=wF z$y)7>M104ZRR#t26Vh)I#F<Z@<DsZ5RB?R)BX9c{j?s5mH>~*jJasFQs65@FqCaD6 ziO*1}U#%QR8Np!~8A-<`z;ll?bsH%U&2z?Rx0r8OIlwJ&1olE8w%7G-@-)%B)<YQB zmLF&>CO;EioIy>JRE!5zDsxB7ozU2R$l{ea^Otvh+Cx>NQK7WgSLPuI4d@vmx;In| zLkR;VjzVl~K|XE_-prBJMMc3fvVn#=ZCTLlz-}oY-O^TL8F(J8RQi*);Gs61NeS}) zMmkmFv_*a<bB2><`s3XznY+>YyZH~WLM+{2`BjZ*qv(-lkkp{a`WWqm={SN0-J5Ia z$mYs~?k+Z}5&#`po!Tl*J5#{$Ar3kdC}~#weAWFqgo<T#bxG;Ig?04!z3^JT>It73 zvf`n$==UpA=-B2|;LO2`&pN8Vkk0-?{jL30xE}UdowJ1qZz~82v(r^O%tIGge6FX? zm+fR#uLm_!DLzd=N=U}Y5<Ct#&DW1+Lz3CrsB9wuzrg|bQAT@h@$2N9o{mQ)OgBsQ zxH)cYPvGXhqj(J7j*;oj4qMbh+n_NpD@GK`l_uS|k8`-`Px{&YA?URnpR(un<gUM@ zMinprJ3yJ@?XHPF`D!_}KIawK0vjZ7BTN~TX_x9fBx4b0hZ*2nSN#;=K53Kd?QK?Q zyc1n5++X0T-mKOpZU3y&p^w@9XL|3v%B5p2%nUQK+|<2Xt7uo$ZO`kE@RXm4FsJL& zPv-nAp&tqliO#>pAk}hIag6<OqIjeO$h}eul-E-zf8{9NfEvj*v(d`{2{_mCXVY-< zXVp=txi7&e?Vz$aHHUws7lICh7P_Nm5EGR&f=b{1P!E*en$u+qz;4fShGf8zmnoAE zzJCo<h@x{0FFP1ZI1hC>z#~RwwQr!HgbqjSQ_Rgt&6{vyyx%t#rWJz+8?xh&Yk|PT zOq4~b&}3n`^#5UAV$OmNL}rCrxiux}^uK{Jt8HfD?_p%!ZxO_JH5yz&?-M|@EuNU> z(24}wZn+)vnH`ZPAV;2e>Ay~~oZ~q0+2K%K*PM|rftE$i_~!r=_j&MKIB3ukT=SVI z?CvBLi6KmW(Y1g&Zu^BP);SXiqoxFR6{YR`&8i?vyDK?wR|Yr$H><OQilXd3N(CyF zpIr}d;+5wrXQymcy|j<Z%;w%p+W*dBzWesoWon4jRxl~E*S~t25X@J|(HNCOoY91Z zkC3amgCG^iS|q}yM#8rjCTjEF6B%tsS~NJL#cL|7_K2=oF=NNx_&rHC)_U;o*2DL4 z!6?dV{qZJR07Y#E5};7isD_!mvSxCgo_%`m=05?NA$p+#;|D^u7mOx`laQpepk!?# zLTG_oxTK3o%nnh1y=HJshE}Rx9i@|*6WveA`9`T6pl>mL(j}!N(AYj9Zwq-v-ZX&L zA@^NNLGY3bdeot;U-g4k-vL=L`8YaWW7Z)+ZzXzkN=7|_*Of+973i#g?JUAX--+am z8V3;^SZp*cP_K+aM<jbCkj`)n_stRl7BN5(j%fZ6)qA0}<G^E9+fzN$?Jnl)!tEsR z#cX1sMqp3UcOv`IT$AJIZ=$ar4WS)<{bWL5*|g@Aj;;h(3?{Y`d>mvo(=_c>$nZ#O zI#dr%7;EwXg1B_SD}<fRlh`LN7lL=?A}acQp$}bK606Yu22f1%v_yA8d*Ly-e`|%c z=SF1wMNb*6g-YkegeJ^lTRCCeUzS}Cwd(KG<#*Av2u$ljrG29qgOXEZ>xD2ZTQq9& zRZ?bkt1d{C`>E<U9ug(5|0d_?Qk3&{R7+`ez9n<Yp#j|8sjY(RjLJN=E06c#jrhD9 znlc;jk0s9o_JYUl?Q}pCO2?JwP;VwB@_Bwo+q`3P&cvgn&Ow2rrfz|PW2BzGgK_@< zY8>xB8sGY_#<k@($OZ}Mln?jX?|CH54zrl<?vOL1@JL5re$YmZX)4mPA&V<A7%Q6{ zUd(L-iF|KJwo~lohfo}Gr8D5qWJl2dK(zkMpPRS^=9d$FnRoSlJ-%3X_Ga;W-33wx z;{s{g)DIt`G%M0cgtaE>9Xlwl3rO2Fr5Oq}UX8~Kw*n<xn_nE>HdaJ;WNwd3CDG({ zD;x^yjL48lLe&$h81kRUDQ6<mqi)%UgPk)h=(FT9R0`>1tTT2!el4C3L{NQN6U!#` z^TM6Jac?c1dfwwm45t&?vzPzue6l~U(gr5Ks%0BMHB2^bn|K^nx}0Z$;iu>-6&o{_ zc4*UON2z_~I5vYB)!*N-TOMgGh8R%oY9WnRJ#2S3=6ZmMOl5x_#^4rqeF3=z(7kK- zI&N^TBi0!&SWdF4KV|UU>@lL5J(7;hdz1WZx)d)4+u>X2p(T!Y`<MJOmx&2hPJwQ@ zYO%*z+7~SWw<YmEjShnj#X_0diMCcM>miNHdA!j_e}U-#@>hr;*;%S}A6?^e+UHxi zfI<9nsaI8&kk~HDncZ+aO1+Qct~Ay-I<I;lK2fnW@g_h);7@ZdNhOq=;hty7n*N%u z?10fIQZdd;`pwU0S1av)wxBuVvjPn1xA(|z?3Z&t|8a|hQ`D(uh;LKrySv4j>16+G zqbj?#N`pqXZl>l9%W-<?C*8VHkh;d@lbI~f;k9#N%-npTb491@K+);IYqmGtWB$+L zCFyC3(|N&^Z{zJlBtbL^H1N!V@FV!eeQ0blO4PQKiOdRAFaAs=>lrEJh`_81MGM(z zMJn3gXxVN7sIB1gcvbtsbV~mF{&VlxQ%Fb)YaqohaI`|jR~9vyeNnp8T;Q1SrR1uV z1Fs)jP~yw0qKoyW<8mTir~fRDX5T>m|FyXI|I^})|1XPUA_LK&H2!CC@BdkxmUX}B zpT*4vcWC{A1QXK9*#>6xU(L@g8`sRVgz-_Dn}?4hj44_gap#V6eUDdm-9_9WuD8gu zjbPF~VL?67Fqq>Vidd)|o@8Z6U=4E^8~&WNy&_brTuAvpWQ6sVAM9o1)lg(TmzH$P z|M7R#IxVCup8Hw3^H1YXYv?4!1(^968)Xko(@IlC&vMRx3K^H*{f*daL-p12i*1bW z@5gwH)G}2Elz%L$As|P~RM>$NiKfp|V9RTy78PnDET^Jo*gKodj9b@VELpI4pfzhM z=LHQdEgQ3&8Ts4^H!_M+8n(dia>E$QY61Uv*DZi@H2=@$Zm+!mY|gZ2xtm`Ss2#Wi z-Y;n+Qhn-hY%CvMR0Yn+J~|*2d=-ssHI2n7?#x#YsdZ0o?U$uu`sYy2OKfJ20WSqK zk{?rAMk<+ofo9jRw;HSgv|R}~O%fuQybR2cyeV4{>VGz0*?z6qfB*&Fj%L@%#$Jc^ zGXGMm&SQ3u<|AA8wuH&V@9|GG8l2=jATYCtdhiCxuaTsvvB#FQRoYjq5za-ago>|J zN>U;SbD9B5!JiNdVptm-i=G=!tKV#}zCXUxFQ6LP0(54aHf^p1ImYdU8g;Vu;QN!X zYJ*o0{$(DddH0<k`YZyHw~{1@mJEaE9oTwsAEsh>W;PM{-ek-!2-8-RQJm-y*1hmL z{CGbb+a#2i^MqYENDb08fPuie(zQ}0a<s0o7HQtqYa!&OOOkrH{*CUNei+13p7D)3 zn{hTvBtT2O4*pN#lO=2i39#7Nyw8#QCz5<m3kC`U^O?u<GheKI61wW4Y9muB97~c4 z1jBw_``lfJyNsB#y<6aCH;!p}dp}r~P(u=(TC5Z#4i9?U@^S=Q|2Z6QHZ?#BKnIjl z*<eEIzNdXs_YQ@w=BMlAfXOFZKnN*X0C#Xe1@Ow@S#c?T`D&yn^JgH$H4PG{bloNH z=ydCa4RSenbPf|nNs`XL1d-sGP-rr+L6c%dz~R6qRu>8gGP1KQA~9-PSWNF3op_+r zOcLwg@%mqh#e74lfbN+Oz}nl#5(0I6e{QaG^?}VY1!(s>fN?G81}JigXk*3fk-hHQ ztS3?>cF$|2=D-W^KFvo{J%^bfL)fE0h{1{nB4OXgGi4y}VGn%yglGh2z#(bnH{V#X zvJ^T8TB{><B|39j+R6orrqE^Kzo$!4+$Yt@LB~!^y3MIRdbZhK#ELDgrUR=t%KUus zyA0P)nq84}QMwi!XPI+m{A4Wk+ll@rS?kAWCnQm#73sjiY9x2}$a=G8YPfnEOeV5k z;)UZ;rH+{7V8BoW`xDTNB>!mIuH8)WM~Q0;#9SqgkMH&xQ_TmvYBaaT<*3b#KY;S_ znzRKRXxENY?jvl#o_`XV?gQ;~t<Ar~Q`V!FI~#bGZkq`wroo;<P%+Tg+=k|Jl(}CR zhl_eF8HLfMl2>!9ZO@$6+izc|b=2gjq<)XMR*nzC_wzh`I=LWM_F9Rn;KGzR5vzx8 zh^_qSMA*9stp<tLroYur<?SaQ$#~aXTBgrjGGz)WbVJu1jc~7dV+Tfml)u@E&=+K^ zWVWy#j(PNa5j%Vvp$U!JT}<YC4*Oj|$zDxF*w#cv9IJG8C$ZJkRNNM1mGH@K-c{|_ z*uHLEBge8oU>hHIrYdV0GS$d)NpB1thHPzF^?tb?e*M}hW|Su^k*|}*&4p8Y>B`P> z#99EWH)<H$>+rULRJOr=E8P=P!P*?RN|lS)S*|x8q3YP5pMHm5Dp;h!{!@_>6^#-i z3;BtJ*4b&rBl`@={7}v~cwucGgLPz~|6VQ+fiH|v0)AaaQcs#o$41i~J#a6P^j0Bf zd29AMZ7hMT%ugMXRAdk^&n=ajPYXZ|L)rjuMcRP4;Xq)6VU#tsGk38dVrJ*~@4qP( z@KRgPeuEv&ccr#1c0+_*-_IEutVt@-)uNNgGQds<sVpYLqxq;WW#!4V*Eg(Ti(6fp zHgc(Y9Bj3yZ1UalsvV6!6!61XN*aa7m{f|zk%??h1%{LiKe4GOnS9tJiX59s?0`l7 zkvl$A(?~dJg&{5?158`N#t}JL$6Qhbxc#eV<YSi(TS&Q%0)2MCrK!e5GK!*{*u+rR zTLKaR3yV3X2s19o$Dc3q71W?vrav(R7VaH`hFNgAkNgN_(!yxROL-1RDXFz8VK~v> z6B3Cqk{w73UEsEq7g9;W#3hx1+;lG(Ahr*%jNaud3{gIo#5EeH9VjM^ebvtc4*S%? zd;WQD!``)uTJR2r=myQFvQNw#vnU@YHHjty6K<JT3MU@q3N{84Gz0~JD)*DPLDwmo zU|-b<y1;0_aa7H-810&%^O|6QfN5)i5JL%x_w1DnLo>mE_}}*9Qyqp&t3tDLj!U9} zLs`a2>2gj{7%>f{r|A^+VPl#DLBS)-4FP>1QE&sCg!|AB5P(7yufQOBkkd8M38pyE zl3j$nUr<v7_+;VC{h5-a=t`my*iT&mq$>Z!$mM>DYfxlsA_~qJ(ePhrM5;)0+<l1i zWe`n8dB$VwDuQSy7A}3Pkg!3fHRFU?5u~#!5}*i>h)o5Z#G0D1>mkrUM`%cZv1CgN z6;FW;@WD!SjR9Xof0o$P`|~WgrPWbjT;I2Yj*4e&CX#FeJ6TOh9d%I@O}1gsm?a~| zdzegJhwrX{^ZZyrobZ%0rL=(sKu0B-4z`*I@iyYgmEV3eXaSfQos9siQ2TSq(0>27 zbw`P>TzG35U5N`HPTmfP<jb0h{w)}RbYRHJ-|@#AP@euEq^~yIR`hyUN?7?>NK*^5 z??p8J1R{e!r!QNa`wL47{jcwhd_)J~f$#nKhCsx&%|s*de1X6YH&(2dgqYYUQ)j2d zTIK#P^bnA51Yd-s^(_AyTCVua>G3%+zh%Z5^90QM5`qdoWsO<jq+6uGd-uM>_m7T3 zqisebf#Hr+uNFFmf*T7Tb|LNESg<Kq8Z6k2gjuUdDer{_jYo+ixSQAEfsaQw3}vRJ zEOPq?`5|OFkNa9fS-d08h~Oo{<NZ|`CL`}myXyCfl=Q!2A#14!?uy+7W+gfhA9Jbd zmQC(VPKiAh@R2CM+XOq8+^7;$S$7DuNOX+y#U(`ibgTY;;X}(c+-&stQrX+no|mDe zvYM^}-ogVbUiuR~{xr157dF>M-G_NUYOh(kCFacNVx#Uwy;MlvSNm4h3wTHCsrj2n za-q{Da-s1l#s%qSP>*g^4Up05g@RbygipvmYda7^cEm0qhONH=;}Y_XVXnRnRUP(x z1t{-GJ>ybjyA0w?W<n@_tbWul^Fo2x!IaGB`p3DR!XcdI49&qzg{pX4lurG#@1Yij zDtoeJw>Zren))kH`s5ZRrKc-&(@U6}7Bw-g*EoMf_+34yzIXM$cPNN1>x+r3P2QWD zrJ6r{MSAH#Yo=}2K97}%+bd$`Z4Rt!9>XsCVUHcIgKyJ1k%QJS#7r<AZ{3tany=93 zpLW%4$~*EmGC&{oC~Mk%vUe`;^vgwo(^s;N5XsnLnL<l>a5t|DU79*0QT8adIIfJI z>O4m8ZN?q**wz-S%e8~IVNtiFZhjvO0RdgrrK3Y&DP80>+^**}$z^n?R<f35(27<L zc0QN)=l-jueVhVCY512<7NSC>u?Lsn-TdU;hs4Ww2wwgYV+GNd^EFHkJfCOl@0IZU zdSnFm9q7hg^e>1;(62h_Vi5Idf6m(?@<*1<7=gT*Fhs)nk1heK(A~K_gPaxCiBYw0 zz3oaM#hQ!q#bKhc`$*110ZvU^$x;b_n|=G0PY6}OfcQ2?qea!(?V*{9s+N~Eqc;5o z{m|7MX>xkzNf-hQTTb^@w=yAh{F#UNM7gjwLA}gpHSA*pmL5Vx6Nl7}LW!j#`_vZ> zW@4mKPItDS@K#R6Lu$}x<uLXPk_KWtH%%wdtlW`zdvmPfPvm`bu}kAw!Rp^IrSk~e z?p61fo-Ff>+JXxnA+9D7u1%SwOx=`h2d$QahDF5F{`?HQRNUP*tDNoDgElxsn9sjJ zc{=%1_Q)@iCbpAW%y$Bfw7;*o_PZcgI7u7${q-2nC`S~ju9UjVmu*$o<f(FrlO3oy z44H1a?9U04e>1)<&VwgQ@Kaa9KjC|HoCN=yUacG003R|?&Qv2701ePq;XoYeYr1wd zHfEjfy~mo2W{#(<OthF(wR*xa!7*!B-^RJcxv%&7LMDsTTwj{AnGmJc+}!LKTi_=F zDysy<XM;pb4cfoUKu{P-0}ht~c>zwPL@_&mZ9B|9>Z_5q1SLdZoUG#5LdS*Qq!<nc zIO0*5bNJycIuZA6$phSdd-`bK%4K|dQm}|B8;Oz*U@#jql!7oGFoeOyRB^%Xt`wIQ zbImTkwD?0EOMz&bxw+9CZsxaOpUNWuzy;Rja~aDDt>P5}c4?@*4B!<fg4Dy6@npv7 zETrmFApelZ^l#?#%kamh#jprMf@GRrs&j({3pGuERaK_%_|#D>H9XB1$VfEYBwTzg zTP<oW9ICB(6mF8k8sn-2geZP}G&yB3oHL}>PQye4%(A-KX_vDcdj1ApwbdnuSOVE_ zexjO2_tID9{WPGMrlH=TGnp&+X)VBQMWl3;!C4DciN0L#$)?GaYIxO`lX80C;HnyB zkrXw;`o?>vXn#|<N(I@Ph_>?Tqebr?TDDuEAB|KcwYz%jtGvk|+?A8Q^hiRhu1M4C zZ0?@G-hJEpGdGDp0yBS2zz9+(+7ei8BbsD1f;F3CL=4_9549CYyi37J!R(rXCgP5x zLT8LT!Db(UL~`6i&>pV+ZbD$E(d4rcKHP{r%Be035A_i*=@fabV(_yEuS6YM0ET6x zfUxTL6P20+Zyal|Gt7g~{k5t4R=Rru3yQpP-U*?bvLU~Si8*_^6qFGXw;ZSr6C3vC z#9~kGEc?4(desGm4$YT4yL+`)?zkTW<fyB*QP9ak@V;uB%?3Vk61LDU6e6+e618Rg zUsr&|bqZog3TBcb^KHs{)U4N;s}DY{u#V&w#*se`C8qs^;BARP3JFB~WGg58!OV<E z@i%#D=8PQ(<EVIK>Fl~?-Y=koA#~CuY3T>MA{jHrd9WW&ct3{J@!oYm7U#-0J0!9_ zmBpAwse^+9lV(L$-KEz~^-_OOaaw=B{d^A4zJY(vUJtYUud6beC)aakWKpn|5rL|a zpMR^lnpaTQ!@RNg$VcwOy~>V`Pn<#G@cc?0e3xaTNym>|5$bpKvo9c~mhzQy1aZpN z#vBRlv8_i40m0kNOw5<dv{xdu8Z$*7r=?C6ZVN*#bjAR|pZc^x5Z7Z?*dYfS8&LXL zh!Hf7l!u^MrhE|VzC@(GpkGdJE4P_QtA@hmxRt+|I+5E}0@+!OnlOCSJfHO*?JNXK z(DW=n7SZj$S*1E*R*ZlkvlQHT-0^FqoyPX(rtF7_%rBCcZ_^-9!-a8VL6lTIP!!%B ze2?5e?3>aFDI!L7mK!yUd#mtq2b{dE%rvEJ4?v+6kdkHKu?z9lyc1c+R)$bC2dyOx zX+)a4Ynl7vNixvd=?N#I7UvFEVb|v3U*;H0AM8*>%||zDzv@^?rSOY_&w}by`}6Vj ze!U}07qWg!mPu;RBfAOEC5mmwaMp_i2qcaB_8TNgjm-(<^j<KgGCzW$wql3?obXeP zcmcFP^&R_#f8E0!gS~&<L%v+#5CRHfkR7U|q)l}&(oI~moprU8bb|7T!3>w%b0He2 zSY6o2(<{$=52O1E6ANXOE?#{$vI7L3Kw$`SyrWexiLNsYFKIM+W8oxWR*p?ko}>>| zjpR?t&XP)B{dD46BUuM8llC{vcqbG;Ze0&xZ`a$>Rpjm5IM*Qr>royV_Dpzwgw#NB zzCZ2(^=n*IN6E>>$CDO!oMD2IN)fLN`>CM6WN1wqhu9jyd$DY2OE&8jH$Kq-<d6lr zI_h(LKvq%iNG<aXC{#w!500*i^_nt@7I=b3I=p52ePqn5$m+mLTNQ)SIJyPUT|gW# z>8s1&_l*WhPBgP=z)KN;#8CuxAiXG#mW5iW4`r-wJF!z}D++`~EyCLsU9lRj12*GW ziwHP}RvD6sCMlICAFWrcdoa6RLCdY7p^x4~cj1IibZ%vZTf53y6(kQ$ZL8F7MNm~{ zoP<M`%(9J9k8QlslD0v#(=Y6gk;V;lC_~!L21U%z_TF|?;16DX`!n~PzToV#q06<M z;J!44e?VZ|>lRH<IwLi=UX~{SaE<hP%;pWG!FKL;J+eAAYmGI1rT3JdZYPfTt8Jb` z>@dM~J#6ljdF&m_$E6VgQph!#{|xbm-ld2owZHbx&!fi!`sbp_m+eFNu|730u};7v zo97mRvrravd(u($o7&Lh%zudx@}go5w7tI8<t~e+5V0EX0fVAs>17m!YM=q;NYyS= z=DcUkQZSf7#emTko7QrxCi3Wxo#cG}Z9W6)VSdY_3!X*lm8l>b0kv55f_TKaJMoV6 zfX1IdWe_v{mR|D1)O><<>B11`Ij58FPB{L)cvGZ5igEroa#e_3Kfa*jnv&0Op^c#> z$FlaTB*Ncpiyo|mR`JOVNbu=m@`YMJNm$xBq{LUuhiPLb`94S~UeXr87Zb4=Cx=M; zTX8JfyObQ852+Xv{PG!{qI?-8*I#X!mf401MUe$NdD<D&E=gY8ynjqcL7`ZIyf`7X z(89}^V&EdXl6ymx7W|V=zR@Gk{;~br#GkC?{i~PpLf_c9g8`kceM_IF0hQWMMriSb zr_@1%`oBb_f|&p?K)F(he*<V*MN9x@puj1Pc>~_QVfA_B1(;UY``e<Bds)XsrbI3G zI@b(G*f68cV4wEvY7qrZPofreW?Ld7ee;g)2{E-tFCCnSaoZIB4>%7A{8?Vr#b=&` zU$@JFJc>>jh-V}xG^B%310?Zgc%|5r-q?Q$%yezm!8<3)Uz6BbO)W^(rcd?sNPw^G z%WO9hUv0E!H6H^Z8N1P0OB+W6bPhLA2{M$WwUcTyF~`~57qg<nG;I>7;lro|`Q!VR zIn}>cNu{dvtt0%k)kWLb#Jo6JAbzueV4D>_ZhX*mZd}|Q9&m4>>9tMNV;H$vM`$(O zDP~AdqaD&2hu8~qtE`ng!LD?jBm)sv(O>`4%fj`B@u~I5HrRBwHBChdW<rhnKQv{_ ziNs*)!Kme1bjo>OJ|vBXf$pe)qgN1JlF~J&!F}_}cs4B>jOyAwB$-GLW|SvE$x{5K z&x<dpPSS5#V$zxTrKeNBDBo)s$_Z2+*53gG{uox-{`sC8%FEC34yAsTlMAHZXDPHb zKyrWA)$zFsXIs_(6=nUmnvMB1LaXwI_OHN+J#HxEazsqYr?2QzQ*q$}T5uvNdUp+* z@6U;R#8Q?={$y9o47{U(o(a7~jt_!JR`}a^E-kwG&y&&40-DZ%!v{YEnoAk-g$-wg zb;WG~F1v}Z|GR&lT1gA|(OPW|*Z>D|CHmBXj~mHjB)oU7|12kaBJW5R-k{Gc)@iQQ zc}%O3bm#Fa@RN2f%Po@m94)1n^0i!3XspY9TU9WK{$woinC$#B(D`u7ATjK1=b5VI zk;=b)R95rYZYm%E`o2a`k^8<n(=gOIgQAmsjz_ceN%2xP5v%adpvDkAA!eqk#PwXB zm0H%&LYJzgxy+y98c%0E*)ToO@Kj$FX|krB;);<{9cv1^)7L#Zx&z_kL%9Df;qrog zn^+6|*EXJ=zTxAQz9QdJ>C}1-sPK-t<{mTmzin@415f}T9OOyuvjMOJcTsO%{b{41 zr^?YI90sW!<fIj@<oT~`-|Q4%B3K0?XqC4Uw~Egf8EmEQf7xy>YPEl1<T#;x%d)<F zTtC*=_D0E1ZwHVXQbCcApTuZZq><@r!@L-=l5?zy@gos681ehtq>HfY2e*pp;vbEe z9kppPjx5m}Q_uq83|4M|=S#-T`mxS6jd#>FU3%zCT^<h$A8rp{Y4<$&`Y}wN{=pBR z1N7+1s0?(?^6}$$hksMzsr|fT-?L{At?Apz0<me}=EX5g!nrUCmm&PQi#@`%C22TA zr^uUej8{{KKaG2Gmi*l4f>0#Ogihn2%~qNm+<xH<lP8~;)tV{-W2~w>N(7=R(+y%O zUroC0d*JcnNdCH2(^h`T?8++F;GEwV+&%YPAmU{eBIx6_#f|s1%H`(fLN%ISqn(ez zOhkznHzV1LcAWV;K~;|tcGm%R;8#U@zP(rbxK(lFYJNRw$eEP}sNhUW6F|zt(9}b; z+Fbk3fwbCws051wX^hK$!UgJjkS1_j7Rn-<2CpT=YhG3WE)_;JllJP!3z<v*AUxrV zfV;$S$wQ_%En+xR<wN80H&z#LL{n3{{}wL-m<3yAD$p;7>?o45+wByg{h+C`Apc8^ zUvPySJ!DIB&dN462#Lp#NZ?%INxOJn^^rSG0%b>ftHQqv%rbZI&bae3M3cucDWvZ6 zij<>WN)Q+=O^7lKrShBQsG@A4?z&gC?Z{XZ-)~J?NI5eX{+3=KXSb^}i3O?XCn%Ot zDsivJXyC}nO_Ua{bgPz(zZ+Q+v8=6g^AZ@v+Y|-73TkhYtTu-yiVINAxmW#=5F!A0 zg5XfLU6$;Ub2xMB;ik>Z3P2<cfR^Z6LQ9IVS>xP(AZVGiFqGE*G|1ZT-Aqlf2M_?; zN>T{1$#}D(UTzB|DE&t+^j-IelyLWfl4d`j@SCyG%8pqf8}#XY*$m!XrE5VehQzN+ z{YID!rwk&QXH^AxT0h$eHWRVmV0AeU5llD-F&5m01$bjHOR0PKSG+&hG1UZgrVZn2 z#g<#H?Y(Y=6NS4_be9$B9xUd*`O<;Wk=}%H@zRDT$lWXq6i6A<$O?Ot{<DI#Im6EL zi>YPcl)q^GF(aMglojn+H;GjcV|&sdHq`5EPA3Tx6V>D<Rbnoi<b_por*Cqc{K*1J zso~y<q+s6B-3klIY)PN6c@oBb+I^~S1bb<`s70V=Q&SaNYQdaEdJkz_J`#ZA1H;Wd znQXNy8XIoqBMA}^MLZ{*V5OWF>D9zTt`{SaGtZBXgIK?NXSbpK=&4!COxSg&E49ib zY*^NASQzdiVX?8)X}o!CQuuWvUY@+$#*(IJz@4|d&cuxjA+33m-pCH~vP1*VY6<K2 zkJVy4pB8b@pJXFEZ27=&=idQ{d+KdcsdG4xsI5|tfEI8tnb%fOSHLkS1ZU>R-v1W9 z-2m61z~B=ehcP54Vz=}9t%i?jXy<KPkDWQDId_bO4bEI^bGrs%o)Y-dA2-W^mnpzz z%SE}AKlg2;_8D7e4dgS&$SKNPFvZbpv5M!qJ0qqG!z~x18tpmV&M20xjB3L;8N~xa zNRO6J-iL3rqV}l+=iNuc#)+CgIx1H&IQfX#fuN*1Iv--};ObN-<d?w*G@ap@RWuxG z#AAYjiGI~IQEnrq@w=#POl8-Snz}v1h{Z}mm>K*Sb%3#cXQmrKYRj~~uI{JXiPd<@ z`u%w@Rojp7R!z!UvaIanMnRWGCz4PAy593L;!5zk9@>7xdmGLHYBq9GO8T2M?qOIo z&}0zbA9Xv#cT&#rT=EZFbMcB?YS|-pSg5%N%#XNDV@E%!SqSy~6sB0=hte$_A_n-x zk)INU1doyKT$-PN8v3JMQpX}yLo7^9YET85@^^?8EUKgdTy!n)XN(Eq@~*jAoVC4t zCIDlxJF8Pkt%#kuKtqG&kzrME1vm#h!zL`SAD#BD30X8j4~Yh4BY0zJ!86Nz${)3j zvMn$03byCVubm|@?F)>bY99H&Z!WdU3*ZV)Tl<ho<_#bNW`3=Omy3Q8r;9E@S7%Hw zUq%=o5;|V6(`!wC4M|};2^@h<f9LSEzV-CB0)<gU(alt076}WmWJr)unM>+s3G?pr zylX4}$huG-CP7IYG_W73B66pGD$Ix(aM40UA{BGSC#)H=_SYLynZW%-X}2(#45*=S z)kYv9hzxuKu0xv9lr4-$|4g6P*;Gc0;<>41Ayp}9Z#=Z*$|xbdL}*7f+2WT>BB51| zfS{v_!HVxQ3TyzoQdD%|)h|>F`#TRHAC?}Oa@(8x;G6~7z3I>WIP07~``xKf9M)0c z;(c3>%NS0^^{3y+=KwG4YQU}=PhoPLy$=M<VLA>5NEZy%sT1S$v;C=)n|1b?ZKx35 z21FDVJd!z#k2Quletv*Shd9`9phy~{R4c%YU@wqQ_jXO0AGiCjiPmnqmEG8G)A{)N zOU-NgR>)uou7Dh)8lJ?^y|<=Xx!7mFaT}0iXde=xem8iioq#9x$ekkXetFMU=3H=x zC+2D%=u^?%&K~kKQI9h&2nFxy_u9fGu9j(&Q3~sYozA1jZVc@iSgfj#GC!;vrFg2l zQ*635;$|gX>%`}IK)%w(Xu5{8CK*yl_3GR3n!9~x94}o3v8Ag-FzFa`2+0M5wYKi0 zlJ?_9Tu7-<UArd*&C+({NW~LT82LtPHKK0|SaG?2A@>gxzdrbXn85yaX!DUWAO9KJ z!Qn&a2o)E0oQDd-phwZe`H2BrH^ZJ9wPB8;H0w==e5-wT$oRwD{OAv|uQu0@!N7=? zo^!2V%CF00^cyqnY<6YYd91(gYpL_EbI5Qz5ac~@pU@M!eNkm>er?X4m&z=LMv3$T z8+nHzB<<=rd&w+7D&u6*D4E~ZUNFLCCX2Sx3%9`@@7+B$2f1qCkLo1$Ma#!n80wV4 za#WSS<7=1{sl;Y!W#O|?OzTyJYR{uCZWLF8Q&~9AJQt1`+#Bsns&Kh9Y4gwe6iB}Z zbS%yi1a*W={st<>x07sE<;X8=F5=6h<t5$-0k$xGd?h;napDKcrh2^bKTa(D0O(-< znpZ-B0NT_mF91GJ3hls{XVH=B<GqHC%S{*sTBI~qgwFhNb?Mo+Q$G+zbT*8yfkhdM zI!d5V7zq&zp<Ps#SyszmI-0_}G?x9d9$Dr0rU=XL35fra1|xh(U}VAZk2F7tBDl5O z284}XbA_oM!mG>NS!ksY>|`)_N~)m*=poT?YFW5Z!IRDNopYz8X_uMfByWj@0_n(h zf@g-X+?=}}6k1N$f2buSV4JfJ<QtBe|3gjF-XOA`!CXx@s-F<H>ujAfH4OMKU4u4% zG<+eENyj5oi-A#~NkmERG6@&rUB#)m@ah$+MgEVd&_}nu*$>WTkln+6F~3K>*oyRS zg>uRcI#=i0a{PZpVRsD%o<{3&)?>EZ54-69$pMEG1a*8<H6+Gc{UjNmUu)i2D$MDr z?IWx<0w==3(hTRi$TtfAol52pAO^Oz%+HS)G48qB)u*#ma3X{sT-4G13OWqxH~kh3 zzk)<S7N#3w;A@ddnTcXLo(gP*SNr8_@7NpJ*zWe1W~x~wXwMg7b2+%}bb~vpL0aOT z?#hBl>e@vK_2M2{rW|i-{_Vnx%C+Qrzre~zCuB$?J*V4|r6QHlbQ*_RG6Wbz<i$t* zAy?X^8G}MA<evO1@(|;{w4fxE{@jfYEJzU7uHip)OqP$7Yljm?Ry;FcOwE0!UgaAs zlnb}xJ7b={3~Al{lUE=*u>V1>Pj-N2b#Ul7q1lJO3B_mNVEOZX_;izgp26GJNkHJ| z@4zq7kKFXv2kP1zsoy8lK(0;W9xWZ@f7JYqEWo^!JH^Rrv&aDZwW(Y!6j?t0(qYlN zK?QZ9$GI215rg;D&hl|6DeJAbaIXK~d_l4PPrm5>`cJ-KnGtXNCtn)%GfDsDi<x;S zB>ve(BVLtXq_rH^MLef64O0|sRgynt@?tZ991^DZ22#~iTc}q|iz=DpM2D1z7p;U$ z@)RFF>(n`Sqt)J0X~~I6U3e+L8-6pObrwfFhdmIh7&AB`p8oyu;*@uKzGC#p1H*KA z-g{u}b)<$k(gNdq%Hxm!VM7xLaD$kh-ttW?3Ivb>9Zq|z)1(gx6Qoq5<|<BXwyLSb zzmP|-<`WJt3_K>{-l@&&UcH~vo_+!Czk?~lY5tU<l?ezlr-%|!{3~G35f=Q*m(s|9 z^i%mUYQ&flPs_V@0yl<t1A@k$eOj#l<%`y@|C29V);st43}&Voi2eWa<qo)xV@5-@ zuojJ)zA2MM15<+kqLEfVzVJt?ft7G(q25jY3PP(D5v_PEA&CSOW*C_i#VIYXAHq28 zU%u!K{>v9-{{&<5gR_ns3qJxY5C@lQzTUTTsG~o_Dkt#_FnUn@uIGSwvLHUZwC%Pa zQp~!A;{{KCZx|*Jzzeo=05Ign(EZ-g%xvXLJq+@#2Ew~35Z=Gc$dLK3L)Zv2g|apl z297W^g=|GpH@@ubzUXQ~7_GV6q--JvEVGIl9o)yiVXP5EOwrW{W9NyoeNGa7^Dwb^ zZL({6hIdNgCPs%FBp>3dlX{+ipI;Ep`h*?^rB-Fvcvr2K>?``Z8NlC9Hg%qaf_9a` z9*?yX(FLqQo+&MyOzf@PwJ3OZ5HjUH8O4ojEs7_yJ0+f48*Xq?wJdzz$Cj%21{GOs zs&Oz9N_S4G9&+}c?D*vBfmhO_kmK|&Xmt(E^d`n;aU3vFI4g^HpGFBOW*PPsrbH3` z>faewTx-~!6yfx%%)k?r-wvz3GME7N5I+ttO-KY$#62NOG~Es>U$@^axV5#C8g&Y_ z>;;B@k?b4S^~3!XGDUMlCgiF%-)h2iZJpZEEB})%Z<U3Zq>6iCd91ZiP_&!#a{(J8 zZXp%*z*R}cG<(jy=C#(XKZJU}@#ia5-!4(eg-7z0He^R2fMZJeuKyrGYEs<!PqwIJ zXA?2l)?7}(J!&UeZXX38;vUi}_u>CWEhd@#5s-{>Q<U(wSI`${LLIn0l*H7mgdv0e z&>=sDfEZ#ctPCl^$N08>WcNIHXex$9ORkFlVtZ)t0t@+vY&L}j+*zm$t1VWdm@m6D zoth`B58@Cx8m5Es<?YnV6wvVrsD=O&{~sksA^%EJZ2v7u0h8sN|5bTIuRqbflg#T1 zmcmS*=YO!88bXG$r|-=^8KO`=vbGRA3g2IMCT!LsSy+bdDOz{VTlc<O6ho&4_&-A# zTZ`hvj}Rsy=b?<Nm<no-D^b)@8G1RqMV|CV<H5TilETxO)n#*U6iX|g5Ln`fDzKP; z50nSrm=8h`0>AjY?Vc`A^4tTl^NvuWL+8+x?Sdi8Rbp6~Gy1r2H_;*;+vy4>=SGkD zTT|Ei!!yA9o1p?repCuh1ZPoUX_zz%bK1GNNR^R-isoRG>fuASvr&)3&q!XuzA{mt zwPe{9XpRS~9XVkSk4<=CpqTR6l31=4Ol&lii?r8r02x^9syv$=6KE5>4|4A-G`SN~ z*pM46p;y}7b^h-B6)VfT|6Y8Jq&dkRLxWCk{{1r`L57-Gd@7^`zdO5@JRb~=7Zux! z-03V6t9{y~w32do$_UN6TB}F5hGs{y8}%2#c|wx)M0g(cH`rIo<Ek0&TqvC+LzHLn zvpfe4IM74&LKsWvVzkCILru;|hT0{BT4U8!b6LN=TX6hN&0B0Ee%|fnw;9ge7MQkF z1_y)em%kXzFkssmdm(j$Z&k9o9nIb0!Ox+m?aax*SSLo~el|umUfD*yCXze&+^2`; z;|q8BIc*W20w%|hB#vO=004^0MW(?_W9Q;d5Bwy^kZvouI#1K<Y{ksvE3=%Gt9ZUB zLvRBsZDL{xTjhA6Iz`KbIw<{#bd}G%)TjbC11_dY?9sJ{R%Mc|1a~5SG!{AtNcVg( zZ1zl$DMY!7Avt%9PBQ{zEdpBtK}v5H7%K&_!N{^L5C$b$vwF9vzWtS*t=ahI4Er3r zG<H?<=WH~SFVVB<({Uz4gW{4td)y?3u%7Hzi}~SI!+TO(&n?@l1ie>7q@D+^mFRw| zx7~9yFhZO;wk>~NoYLf`+7>}<Z2GEB=BP80NJZI!)}`N8|97Le!u$r%gM$7^<%|F< zLex=y2mkLeX(T`x4~gUd%n7j&v9mC7rGmCVqCs%5Ffsk-I13dp+5@1v@cu5KJfJ8Q zZ${$q!w7e4i@G}D7aUe|y_|8A3-wlUQMii?H8qhmbYM|%aNs=g4X*xm_s;w0_sr|( z^z<74%=zi_z1Oxm?#dL8I9P<6q)r>oJUlH3GK36hva2f_u^|x_9UU|zENEL>6tX7f zivg$qBwEY}QJfu6`P(QzDpaK2LlzJ*jC)41<*$vX>yKnaBq|F-!T^8-59u=;?}dxE zpw5F?1UG_OM2D~<-rB_iNo7GfiWcYOG`{ux@`AYQ^9VqalDggK-3*ARabN|5bOk>X zu8(oh@Daya1Xu(I6YpwX14DM>9fypSl!@X>OG}9s(Mf^fqC8`_+mK!)buoe>oRBe3 z{u`i-+K^{LdV9S(s1OdI(fG(|0_ftB-c^)n@KF1pm=JJRq5Yk_4vj&D0WTMVq;mLq z{4iHfrS;RfkgWl|h)~eT!5{cnt<Pda!5fU`RB)j#VnSP8$aV;V-odbVWwj-w;g18` zkiuIR3~<1F1}w5|!ZT2@HbL84$X@9%uq8Bje?_0L-uJ=2S!gs2(r}?R-3RCn=pX?z zH4YxrqDtCL_()LQ#nM2*L8BMvXUI>2nnv9Dg{fo4ae_TFbKqR)7C7425d7X3NKN_O z1|%ZrS3lmaW*(KMu&$;s8nipqK(}E`UL?fGHWl!Nk^B&B<azfvNVvfN>4kmQ589ja z3w$>yz^gAn^8vgqcLqrFMGs1Zl!p%%3RoY&N3!z=791G0ede<GeOUx!&f-Ot5<)=t zczk}E{5DU+pPw3jC%iWxg*-hkORuoH{kD6xFHS(2hdm)BqJuy~LIHpi8zTS6<NWHs z-T^v(@dxyFe1~iYkoajl6C$&1UBvfAqG9Uo#$MOT^ZKa-9Y1g1fPH5RBmSmj#T&av z{HE_KFvR+TzXNUu8Zdkd+!=_z8oYk*pqKMGIKCDizb@>4&xz<EGi>+L-vs;l4>N`_ zp!Aa1ecM_=emfVs?zx3S)qGbk4GG`M6aY{D`crm*h>9Z7-BHH$l@WLCy1651rXA#( zyjkPC;4wgRyx@~TIy&C&cK7Xm&+oY-{*CI@WqL{fEDtoki46Z_+lIxCF=z&^<ex!` ztm|DA#g$<pMTm=ZgL+8sk}KsQLiBdIIn)|tK?Oo=#c6iIBJDI1&Jz5F)P>VlMFBz& zFt*S>fPIC8{{R(2z;q}0GW;6p6O5Y_(*lAPpa>$t2&fiqF`gKZ_Y>sJy<`9#e;8aF z+|}}cBRmHVf+QYDrn!WxxJphM6_YfU_T9z7jjONk=@AFygVD0sw4Q}O3I{5=Eho8^ zubW_sPEC~SDU5$InY$T}nwN)mF9UT<4E*(Mmjbrf?LK_I=QRsvKw(EYO-cJv8_~$w z%Z*()`tg@7DiEAJdBW^S8KidvDtH7ayqp%2%YIvjwEP=9RZTHDoo$rN@cXn0w{5um zsgJQ``a=5Lcz&=uj1@Vi+6{+bo8Cey7-$Yy^05c*u)1QNSDp~j$A(SrZ~+JF7Axj` z>1aq&X=O`u_21KVF6!fj4t`b2SJoM=eEP(29Mx&tZ#Y_d58hEID2KHb$|d;19nxNf zC*!cml_rHwPa6Dgcuzu|mS3EuP4)0+zLb@)=*scEO<&TY<yGDAwyJXW_&Nr^RF%7T z=OgBAbwxFqnMmn*TXJk3@dB=fA+vugr3-f#O(^6JcV3wjel&$Gkb8UOQo8(+9n&S5 zsvp*@vCw8I;<{mIuDek~6xD7YXH(ot-JT42e)4r7F;{S3Ur%Z)-J~tpGPX2!xMy4F z!3HSAv=ZfUG}k>;V3}r>o)7fchpYq^%h%F2%w7X(hSeT6J|G?ov4BNraeT*XUf!yb zbU}vBWTTM^k$TA9Hm1RjZV=>No-?uTK_@#;L^{yHpakSX%%iw%3-AMQc?2M8k)+h! z&U))EMO#8u&z2m3{LRD5dqStF^0xqOlA4I!eif0uw_6JS4*p#BuhNGp8P<eF*!*y) z$!nLylm~Pw{7(oA0pKlf$6MTV9-{~So}+B!{)e549qY9P`u%DvEj@XIkV#;|Opl4} z1q=_<&r6eW{a+mRjb;L^d=lCQ-!((V+Dz`7_YS*GpDox>?;PR-#cvmXR_<pn*$#c# zqWpO6C6z%}QnF{=63wHwCov0goV;oLym!X=O-J2#WO|nGs(~#q`!2n_tNDjGmOMi( z)zmVTXlK?7f3b9IaQogT?)7gl{$$}^Bt3M$F$A<d=Y#vRPsPub5kF9KNcj`OpUE1U zZ24`%K=Wa@Lc09y4BwSqaZ}%dbN{=cRsCxZ2A$0(m~$uT#pGwOVbCGbb>a4dY%x=z zgfrHjdn_T(@fNTpqF!$7B?i}mBuE)9I6{*)o}p$TVOBQx0S;fJ<t41NOyb|+R<_DY zj57)1MpgNS90`<W&+*3%1&c+z%tjrY%Bx<d38st4JE+@SMLPPqTJWFqWoEi$DGu(X zsESLS?dfYc9CC;yK^JHC%TUrAzj>!P7>csck~_LRE`)&YuqB^q_FlRfgwI!RN1e>* ztZkLkeYgO~Lg$<<C&gz1oqAKrs=tm4aqQ^sWxOAsVL={i;jZr`Ug_8J>jH$)PTU+F z7c)*;*BwsU%EdAaFfM>&`W=VRGdKt)Il^M>-cImaPeRd2(c=`%*AtPL^`zKp$8*C- zKFif(dru&v4~eTddmAY?H^`@ZBRS@K<lk6C_Vd4ohd~ylDOS<<{7=Lj@O(eTF^fR< zY|?K^=s_$pc^f>FlaJ8ByPwBfN38vbJ@;0V%R3c<GP#DpTes?o@1I8f@L6dGrMi-h zP=>@q3*8gD?PteKjI2Vk5+19yF#<Eo+qi3Z*~fu)2-(l^xRHRPWHnwDH?e8@ps==y zkDNUIt-AO914%{_Ofgi~wF#BtlTNTr!<8#-%sFl}BX|2%EB*X#`5ZV`05RQ^GJetG zR?!%Y0N20cVOyQTtbcBWaa&r9;Xy7YK7H;Nu(;@S`bLE}Ud(n^JBb|bFd|Zter}nB z1GIr?n)qq-Rzxlani0gE0qqKZbKdF@4{z|yD#kUX$VPreFCTG64TY`)AR%Xx&TNB! zXbm9EhWN&3JFn3%x1Kzt5^U$v;8nlqTUscnziMCjbzz=L>5LY2#xwe4*4EHYh%749 zH7Pcnh?_EmVKo(}yy1LoYlj-(#jpM(7Ptf&-jp<3l7G%lrcLHT3Jn|Me}TvE+L{*! zhv)oEmE)QTUh6z($z{75R)0eB_MB~+e*-X-|8OvKGFhMBIxHXLs>H%tH!imJs;%Zi zXLU2>QK36!zKZO^B1h+v-pQ^^=XX~=oNRK$`oTd}T|se7{YJuvq-yD~6wD`zZQ2QZ zQx|%xQ%M&@=^3dun?{BAc>DQ4byX(m7fy^JhxABaUA*Si%KO0b7~ajFzINd~Fr2WN z041@T9`vGVt|-jq9&)ms%t1;n;Y!G#0HyZh&*|pRZUd`#wL`m@SE85xJk;*2vovQ{ z!^f%4EqrcA+s7~kuLC({+UK8`0UdilhS3omI$t|d^X+s!hs2zm``k1|vHjC3Dw8s% z_qbYep1J`RU&|2e6*SgDjp^(^Nkw1%5Cw{u6wnD|NmuyGT}@x|@To&uix?Jn$VGCJ zhb%^ne~<WcN2Rae%bp%8y~^@IEA|e!zf3YOvNUh+^^-Z~&waa9Ud<{r{F;@3);RGY z?)bGE@UMUI7M8-aAERs}iasuU|4h%$@;ZBMKIHjos}aea1$R^IM78r3(&aP2ci&Jk zYD~tOAF2MnDn5FA<0ZSq0DHC{VQM(Cv2X=r_0XDye0OxMf-HD{1s#EF;r1hHCsz75 zehCNF0GXrkI5TuA1{B{kPLa+5wtX%RW#}Kr`1t7Af5Y<~-Jz3ieIkZeBWjc$Ce$iD zckzU4_B4Emq}dOgrf8YBOmqxcu^vB_UAs+BK{l7QfAyFBUxi##a3(;PojCboPW;8r z#MWeD+qP|faVAbCwryi#+qP{xJNxfe?c+Y&I=8FOxexu+-S^fRWGQN-&J?yd`{tJ^ z7@kC7=Hn!J)WM$>gK%FJa#`L0^P+i(0QdR0r!4%ZSt%=G!MoD{k!uq8@C2y{YF~FB zG;~fECcIVWPl+@%({`xvnp_J$+R2+NEOJ{;_Ba>TqHthM*Hate!Os3m6L~$8-H$UT zG3cXcLqf+o=Z2CZi37qE(kQJB(KKj*ULZ2rBdYJl%;+ovkBY1dF5yo7^K2|c;zktM zGpI6B#9d69w`scC+0q@CIWT_(>Qs7I9)psVbhXMYsyk?r*eONYbD;l9!n`|eYO6=? zWiKZ5Fr(sdt{K79QL3LE_vvA1c!I1cKe4b%WGD-^Ujh2|hhm@wK^RB&*TixsSK*{5 zH{sAKK(<amrs3W9RV=ozJk7ZcR_rL3Ek)L-!OQ69>21+4PzehNyGAI29z0J<+HKUN zBg&9DFBWMHeeA@c=fggeOt$tKNeX)7Z|$e)t354w&(ICIo9;KR>#@fdCP$K%x2J{z zjy38eNty^$?##f2O^Olqo~kOLlOcCBm6Cw@V-i$LM`E1tiIUXLu!0H>dIh+N$4`EH z_2}#Vr{i3tLa{K0`cjb~85AM|juno4uDIfGT{5?-6tj!JiVvmV8lA?*iZZe=j(USP z;*(dc52|KZ0QHMd;h+j>=XE>6iyY#=6Be+PZUjn9l%A+-s1dioXWdV}KLPib&Uw3~ zLFFX2j#pAxwL0lptV4=z0uU$mza;Q1t4stQJW2EGJZBoag*%==t%)&hhu($$tH~S# zCEOTCNQ0g>)=8@w1wS!@IAAZAc#(JoSg3b*d9aL{o?Dcv8|q>?F&XB%I=v}F&_(v| zNow-VChF1gMq{W_MH0T7Cq^HzzT-nQrD3=tdk<A?T1~nF9=rfG?okW!x?SxHp#CHz z@De&Y2))PnH==EjPK4TQ*r;)qGGlXP7teza{c${?9KnqXQeZS@o4P0)AWtE+x8*%H zJIw6Sb%QVfxBn>!MPF2LpiD0#Klj^(d^__mlNOP*Vn`;7wy1HNeL!n_hFum-u@sbK zl}{}pn)}Joc{NML^?}yPSvkaMosQ}hfk4$Ax0*3K@h~~aT5Jy)lTnoesbhW$YOimY ziUa!|xtIA;%#K@yu51QJuDQL-GabDRbKLm3^cLGFTRC0tdZw2R<q$zo^`;s!HW;~T z92KThQ3ttsBfPUx`?7OxguvA^*;R-|px%rw3VXxyru6fnkK-s?4q-<eFD5A1v|$4= z;eE-?=l~O>@d!)^t%_IW!?R;1T@ee8y5NlGM<hH|8aFE5O>LOhG0ey*A}h{Y%Z{!G zcrv{U3bc-z9Bz2oX(Vl+(PorbN~4fQ-<|J#J71%7?_Qw-JhZ6X@Z=gX;R>Oy;u;9$ zJ+R-5bF~#($m=XPM0%-wdfHPlX1jJ~tWa=yDF}j?Urljme+g2eT4q>U{4RW!46~|! z4h*|m@DFoN@jGRlb2KNpEv&sbN_Cwn3=etCuKXoo<2co2>D3DFhBet$JBU@^IjkMw zb;V=N-h&A?2~5yYh*B#tmqlAgt4kAG!jL?;t+5<V>`^PeM3|h9lu*O>KF@SV+dZ;O zYNP;N=gYbYI>3h3_AI{+9P~?Pxf<eP9#^0<(G&H~XNWZZengS{fLvIbQqp11HzS~* zx3Olp5LzJvFynH1m^QyvNC#QauCrJUJvL#vB}i~)WqUP<aa?j`Dxmj|79SAGAyd^w zvse5EB<UBd(s`v8vIUI_X_X)7tXh>DIJ1JJ%plzW$gXz1Bew#T@cP6t`~fLHJ8qho z4MxJ|iYF;^OtQIV8+XWz59JAMhWDEJgd_Ce$>&>3NEL+W?btnWok8MJ6u`fkorgg< zP_~Q_n{+b67SNPpK3R&e9jS^}T?N1RJ*9rVN_NLztlkkIFj-YCcotR!-aZxIGzx-P zZpF&+&|Ai4YZsHk=*>azQ^HaG;o>Ndlp;ryWhu8T4lbc$G8STXDTP!q3C84HPd~nn zH}tp1_pMMOws<a`gq1Eg5Gc$-lO?K=wBhlY&amie?*!xpAj*sA5#rD>#%X>gox&S+ zpd>036<(_C!r;+nQFi3uiupKDP5%Y$pV)A5*v7F%p*p&4@WxM}zN?q$fZ7=@>YL5h z$!=q5DoCFm_6$3UwTzVS3T!6v?sQ!5bgNkjR7|`ABS-=C=yWqb_kxhR$|us(kmWi} z027Q!TWy-yvKhWjn>Mn#setF$Z(jDN8^(s%`@C`(p<kkkOTdx$cN=*x_1_@7u?-$0 zkD|&AUaOXs9TzoV%%WJPr+Vjl4-kiu20Zb;Ot1(NU}aHpw_Nel^sx<=R?WeIFHCb} zMwNRnu`ktbK|1+2#)Ff`Xdk29d3lR_k(|5`O*SiMP>aMYq`U&gs@7*>TvNo~UJesr z$t8BhzhTE4>ylydB~BIB2M!Sal#JyMAe_OmdiLT}Ce<Q$P$^~S0?TPszyoa5hjrG^ zIoOa1x^R%ZuW?~TLNiK-rUWHVU^HHn#7fbaqXVdi)R=27s|v<!a#2?Xe5uAak%3T9 zP!Y*jUVWg*Mlb)btc}yq)^Uc8s@I{m?t{5VIu}d)-w+TbGtj1oS{O8G!H)`Yiz^1# zjB4%OX?9yM&X-aU9WzaVjOgu}BYs0NBb-;<jE6H6+N*8A)mEn2a<!{%UA}GF-Niy> zgALqEibtW||M*c6z;9f)8FO(^_P8o$qqMiJHAS9+W$5@vp-j;x>tlth@4k!?H@ts+ zvQAcGqN8!xuu?bu$`17B@)p<AW`d$(0M*4KE&>T&mMdwU#7cEWUwbMO@(H!~^j(i_ z#tKtc1Hoz?K$GA|S#)*cbibHY%BK{c)asV?#(!T7D!zKW3*owDvRu_MLTUSG_}yVB zRXgU|QOMEtXgpFFIR@1XKk4^s)JayhuCRzc(^QhZq8q2y@c`<Zw%I32HS+0sS(LuC z4G2)!tgXg^x_YS!fns8z&fK~vKt)FPz{J_?_D`T63mBgZnAlI=LLcRysw(ZeD)dbh z|1}+JFy2~L`nPMFKqi)0kO6$w<e}2qyepB`iga*Z=$ANJOot>7+0Ob@h<lqPjgePE zM&g<?TusUtN)Kp?g5HZQUj0Mq=Qr5^$#vMMU8M5ENasy0&+-~^RkZ{x#0A7i_e{sY zOH~lt`V*PWQqwMr7WV*Vg=|Z|Jtk+PK=0GWv1d9z-c`oin+Z*$F`Y-a?+=5{3N;r4 zCk~1G`GpvfMcR$JqcG*-_fkyK*FR$h;l6<ga&%N!?Uf)ZyD?9Vp>|K(U$?goL+j{F zK6Un#g{2~JFY+(33}ZB83`TIf8soqV&vG)ECOua++Pcm}eLO@yxtoXm!o`NvV(*zS zzh6GNd?~76f|b@r7@_vrdEigs&A-k#UZ?Vr1q%vtg9xa_r$3F(8PS8ki`-5Uei89y zyMH7N@|=N$AX0Upf5V6h)KD)!D^5@zA?KC4x-kt=<HnQ)Tx3kh?~Yw=hLAFMSi|dL z)cpn5AVlpKSlF6*QQ5Rw?eCc#a;4pbyC#7JwWLK)-6WhC7tp0~2@Cvn4k7#lrJ~T} zBs3rSp-c~IfE7rkW#2X2S+u#2p6Dvpjup1`YFGxTV~ojF9ee2T0PUv%#vZ8IB3acm zP5q~aAxO!@m|Q&b7tN-1tkL36U!)WH0T05P-FVxqz*qiaePZfuOp&zepXAb^;he_J zizzAGZs<o_Vlpx*E|V2b;}{hDs?WbNzkG*&Rw+s^Xe+<9S(D-bpY&sEpPk^o{H|NH zEJ#6jd>21Ps>zqDm+IBrn%TK6Gg&b@MvXj1_b|L{|Bj0>oJB+#bRyzOK+ZV_>fkof zSZx^^OQ-X}jd~K3O2Ei1zbpgGnV{{80SV5&Wn6hk-NYh+Z-C<LrR79ag;Hp;ta~T7 zS-yAiRV8hE?3_6=D&(q6)aM#b6XSgE;B8QD3(q=dzF(*MU{fr3aIY%Ic(k%%)Wp3_ zuexYw1njAogD1JWPwwZ<@wF|fk?x9LU{Dix<^x5`q3JZI<99V<tal&#Z^R2ymW#bz zG8tt$bF-gL>nY23V=R$gEe;y#dqPb2^RG>^B+Usc9VJys_wL(yLKcFV(V5!P#+;zs z$Aj^50A(+bjy>wWfGlf&?rY~~yDF=gDT%<?UshA|F*a}J;7AKtX|2Qvw7+f33uja5 zqE*@7+&?Rxs)~=bP=>k#s+~OHkTc@Y`x(n0+GR5H9QflZ-L6!S;MLubJ;qSktlI|{ z8auotx*21{s$%VqQ@jiIt+HdygN#69r>gbUMLEZTYV6Q%x5$IQ+tqjXBuo8it**hl zyIX(pJSri_C>4im>tP}8jaGm$ByDO5cXrgfmJr*<pYpp*e={I70T!?_pZmP{5O(AD zB<!lN7g2(%36#vuR>NO*^KqANn^BkhjgkZp8JPeOqv(A^<p%3o3Jk&kK{-gb`fA2{ z6^*CeC(q(NoQ3z%dYH$F*_-9&k0<~z)8J?ea2l^Qw%_?=eG;y85-mGnOZ4r*J*w=a zs!OL)B!`@ths@P(4@y4CL5N6g(+w;3>A+v)E*-k1tG+OQjxOvS>e2d@w5!Xjmo6fY zao|R#`K%5Z#wV=d#0b&E>;;Okq;o;&?bh-ReOTT4L-~w{vA-Pvt~5M5GgNLi8hH?z z&`&Mr39j>6+T<BR|Bi$B^6#*nNtBcUbH(_*hr^TYfzgY1s=4Q=YMmv=t+{G1P0&wc z4ju>5p*``Thl1-O8|ym+N3=!)8&G5UZ^#;JW}DwbwvKUW){k8zm_ZL{n=F$*I_jnh zjUtRl8rgcI7DtH+clog!+g?J~f4aYJqRxNVqxtBh!o8BjztQK}8WwP`@6~0+OhGRt z_<4*QM*qYG*`h}gDf*j)6l_W!Sx%DcosujYWyqH6sd}+V;5~-LOe7)$<yMlibGCp4 z*peBS6KDGR%rA^gIv{d?prak4+?*EA+VPWYSYo>_9wj;#Dy*ikR(wSvT#Hm1G*3Ux zrX+ELIPo|8jv3ja(qeIBOjqacN3k~GT&iTrS_P6tbb$F-MRO{oY(*$Cal(;#p)AZC zfKv)Z=Q4h@Z=3GfJyJXcdz{eN%2-OLR0$@*@-Qkb3tRD0C#WOYLHsuJ8BMh75GL>_ z(0t_Xm+NkcGuJ96#6x31YT>~z5tztjdDYC*L&PEjB<2pJ^Ynw*CG2iCO9%oN^uL0s z!&3WT<%_~knX^3Z(9Iiq$UB$SMVGpohr<p`O%j)EjhcE|P`A5PTDqRqLw=ltHDPx3 z72+9GK`$VGY0xJE^gw?i`<=4LbH?OTjSX}xrqu5XLhZ96X)e7MS3ARi;MD$5TbB~n zp^hq#I3XF(eD}}7BmFuR3l!8+PU?J=N5`8ABwncB_Z<!%QzC0H#CR`-W9zwit>v(F ze5=~J9om~%hr+>S1GCDSIWn4s^PX4*01vsg_$V~ucGU&6%X0YY^p;8=B=Gb6nJ{NJ z%_SIE+KET|ft+gMg<F$j<;kb{@1V`MiCH-fJY8Jx#0*WwwQZC4(?Trj>=5(RmSkD8 zL2IoIY)Cw#9HCbM((G@X|LH)6`t?IK`}IRBoPo2j{!h2@0$;-pUE+14D-Q@$DZY`+ zs!2@@*&7>6tRZ`&|0~{osg|XwkMZs7iKpzsv6<i;@)5f-XiQH{&F4vlfP=eDQk6SZ zQUh_Tb9S@Gtt7JHx{}ri(Ytt5BSR?>8LiU=(>UNo9SYCFX13I<pgO_1MgscVAMkIC zw1HZRh0cti#DBLTXjq&={}Km#T5uG)@nuPmh;Q3)gs?Q-=!I7}Q0{rb1At*kC_mLi zRp{SV`r1(1__UP<<ugP9VX#4xJUP~^>yE>v(52cz1KsgRKkg&_FPOkXp`lb-u*scj zuv3+g3K+p0z>LI^J(!>wek!({#DcvCh+LbnZbQ<6kT6Yl_5^7Mdwa<oppz(+VUHIi z_YonR03w0NC1BsZzVTMU<+ug^tjKVyHM1^jN2(c=_(oz6_WrVu@-5#z%&#<0)F89m z@P62^<d1NvP8pizQn$4uRT9jAB(=?y-%esf346?9L=N;`kELXfIe3c9%5Ri3R=;Q& zKLQ#LP>?<hHrPJ0xf!0|Xvy?0l|c}}wp0;J9!(9;FdPL8ODSMJ7r~Z8-w_3%3J$&v z7!S1S7S^}>MlxJBtw44Rfl)x`j#?o|Im>_FZFnrps0o<?{g9{T718t)2I9@1Ujcd< zra1#rlvm#oU=d(PTRby`uu1kLoahJUj9l<<RHP>ZnuYcV75uxx526G=q3>YKL7c=v z?`=WRNK8fTkdxDtiE78z`UnSX^58wwCy6H??@rZdF@t?K`}b`i-9VO+QxkI8*Ln>; z9RG-!gT3l{%HsOZ3h1T2uq;mO7}JF*0kz$4Mx?iO5D2*m2G^Kp%#jA9aGz&-Uc1K3 zAbx>Lvjwl5dXRir{p(r9>vW)2cNFK_UYjWNk5fWM_Oylk6^x+9mJUkY#kre_{q`)y zten#P*SVZ7j!(@FF|@(6OxU(1!7Hi@f%|WJ1p;Yk^~H(9boZ2g$<DtynNL1W`Ao@o zUnbVvu<d!+^X&7}cdq+f$9!WoiDA?`K)(i}@uLhPRvKEtZcJr{kZOkikZ$!+iH=q& z>>@Ksu8vck2pD5Tc~tu&7A30qejN@BbuAs?EMTtJJ<WAmSpng<o|gErRuLPzdg_1$ zAHDHiLS;;nt`E4N-@0?Ao-$uPo*$D{6>U`&zQ1Y9C$u$I1Ug1tmc|x7I`FmPKux0@ zca9H7PmUKnG)s?SCE9<Zls_*_zV2u^%F1u=NtJE)MQOes>p)JS;Kgijb|<RROD_}1 z4!-rNcj*E#cMKtAXiML-t0}(&%b%Qd2Yf$F>~*`m>z=?AI+iBS{XBQP&y`ofXq*Wu zSN!ifqj+*|p9m+>?0;|c1a__6fK*~#VHU*#^Y3cLco>xq@<VYhKB7bN#ld;`)%`M~ zYdAF1a@ho}Ql1z?pxM#X0{GjJf5X=hEy(XcpdJz_{}>>UTJOcd<)qHZIWh7H^0BYk z?3rs8%78)$1>cWyy>5qYV{EGljN!+(^fTSAh@QRKG~|mJ%xQ;SoV&xC1^q!9=7{kZ zg%KkO*#03ka;Hn3)5kc)6Y6P_dMAl{(>gp0Ne||{7!V&YVh_=04^Bj3lC=PxSOrJk z!qUr%K5KYn$QCn5gFjL;NE)9C-jj8RQ-nI8$>0oT!~Cb@2Z(*E2~1IScXTCW)38Xr zy~Q-}rp2*z@JPPl&qmUqI7ssdwJ$A7J8iYGLW?;y6B3^=06GBSzLc+<n5rSWC^0;P zfG&K;WTz^BhJ_IM6TB({d9a|LT$3a~7&SdMO8hVit7EGk0t{TvA(}2Hxp=r>`k62f zK7VO4Sepln#t7yjI_eRz^tV{%-aw(BgFmUZ2nqoZ+Q^&vJaUzZ7PKuRN}gNR(r&Xh zftNd}cXpM~kbFgFqm$K#Z++`NMu8YUKcO6J%!G^11rxI$3&%nb(;k2Wi1oK2ltN8$ zoZN%+=>|i*CaHu?I;KRraW`-LQ?L#sa0JVONs15peoNa{AjY0Il!s1y^;4tv*bsGi zx85-30NS*>U75MP7=*URJ90QJ_0NMfz<K{Xgl6v7>ZSVW6f{E1r8@3lz|<M<pDTl1 zm*L1-Y#}7`fOV8uDoTJM>7q=z0wjX-y@MDVT3JMqrLg}Q_=$Y3`=)y&XPCbwLE5As zLQWGSp?#M_iG&@~wNf`=k>Kbd#&Y3f2wKliIA&o2=TFKYEXcc<H_2oW6Q}XTo_$yW zNWNMk?$Sb{C@5jTG{(7ulHw%HI&U#f{K)i!+vL(-gulqEL34`Q=9QY3%c)0QN<bs- zrlsAH@96x%!LI7mvBzn!J2*ws7U52u9MMc0LF@iXn_WDRU$K*-J&bj2qTRD94xDD+ zP%8nkAJmfS2SS=qv_g;HlsI-+_5oK7<gq~5RMhQNuo~yZUCiMpUom+&W~0C@*U#*u zIi}VP=rP~L#I_)OmCh5q!{Kp`Kzu}DT9o4a=>o~;73sT2Fe+)J+vomVl}DJqz2>oD zY|QIHhEz|d&y^@vP3`k%Uwy2Hmdw-)cwOy|J(P4g2coenxuTTOjADuQ7TT3o4r_A| z;)5vCPi7QgJSSh!o5oUwxs~DOVm!bOb36=KjrUW5Kz1sPD++=iSyoMvLtnE+vbgr0 zGY>LN_U<vbJV@2onH;gO;ENHJx|Kc;i`*F(bBiM3lE)3X6TgvgpXT8+wI|FUvg|i< z$fBW<0J$OH;F-XaYds__kp-(N&a!^Mk%rE(r1`%k9b+M)^u+y2)+(&?OY}k7I;iWt zz8JS<X3mOC<s8oww?s16R`?@SuuD*aVmNz0O*RhS8jlES2de(03FMP!WW|!uMkQ&? zj|?-AjBTwYenL(Q$g263Z>yP!`ULrGpBb$26I7^fO*tvG;s|A3LOV&5`(l?>nXG#E z8=1EohWxc9mp9%*Ud7ZPoI5IO_#?E4SHg(M)<c_nYg6;)#(SdJm|qAc>@epwTTPg@ zG(tKd!Xc{`ukf(gm{S2mzUI#!fpMI2CHVs3pJ1kKKG)H!*$!48_`8JGr<82>aXFgL zFOcw_mK<wZBD;K4_m8X{-hk$zU}Vu#B#X!}Zd_b87y7g-?v)qF)9IFcdqN8*G1NN+ zjeuq-{_%nrR#LWgM@8C{mJ54#iY4b9#*~iMh}wCFyWdjSa9c)Xt!o-RTWxZiI@`ne zPE(_Nq)%lBR0>0Mxy6@Mz}uG}6L_RY?x1UF2+v$u`kT0{#r@ju!D}@3)iFlpSkA8P z8K=>@1Xl4-#CE!jIraS#zA@2VQP~5!><P(wsX+=RcZ#|~_akq%m=G;X?w^|cjJG=0 z2V<d-!0_UcXLXmZtSmX`rTUv7U_Iee_4ee}=7(d8*L$*<Sj-j`97o7UgoTO60Em!J z*|)^zL7tM~<~#TDvJlhvzjIFBzSag~`JWGSp7su0<=fz4+fkv@d=LFQ6$1DfSJ6L0 z*fx1H7u2eWdOde#Ho<(riCWI(u2;_Gc5$;Mk<X^;J9?n>r0sFE`Shcap#9*=>|dr| zwa_}<eXmb%SYoe_?K6W!1A{Q&u|QLMj>JUxT#|6PFbu}Z?)3>bxph$qg4Kz)-rg<? z|9o!S1j;E5)#ZwJ+p-V_vy+1F*I-|6uOHUtSg;hUQ5D&KS$<^(-P=~i2CEyoYD~S3 z^$yqst?_Ma`Me<o@$l)G31$aN!R0L$KGf|Tc&;4E;u;dCHWnKHHI(B;djsv(a-zr$ z<hoP%qD~FOabhv_hq+VB4x~P(yOZliaO_sPQ@-xzKXaaBf8}T8T5&LXG;zY%VMmLt zQ1XXqqR1$Gxy}K@r*`j-{BuBhmJY-}1`dEr$q(WP{aXV9{qovjaoC8Wjo1-PkxLP< zG`+=4eGk{BG`{Fv8}t9XBthn%t}Iy#+5AWr9!@<x6oxcK58rcGA<kq@HOGB{5qLKu z?>{=j1^NXB1kOg>M+$Upjb=a0<dA_^brMU@<;6MuNBH-V=bsc0c&YbrI4+42D>-Xv zPWPn(9pjG`U0KL)YR0N{r_ZK!lVw{gInE1B7tX&cY-|lWqJm?hW#x1`eMhm7%IOg_ z`~nvXD(TMIYir_~wcHK1^pXRT=-U@#qb{bc16wPrcudug+h*)?*Gw91RVJcAe4d|Y zIHhb=VR%dX9&({^UNEu<&B>PSFvOrCfZ9fxd#8uPt@Blib6ay0JmBs&jGSWBt6U{@ zR!2v>aH+3iNwhqQ<;U!he!MpmwevFKlgjH_89$KU_pjGA?TMXDMB=afPLxZfT%cj= zurKw}>j9U=3A34U^fcUW-#*k9GOOh>dp;g6ejeV5x~fubYR7}TC7MfxHULP&?m}!@ zDVoSXH)g(aTo}h(W3zJhxn9hyS{J{z-3l!_;0}6C6~`?*QfZaFGSQ7lbnMnTQ9$k~ z2IL`q+pgoaDX}2LeM#j_h`#;{|2XYxkxHwzN#RnCVsDE}THui~k8n}V4@on)2LtrV z;+K&c1IYMUTRS=ZY-qm;d<2PQ<Jz-kv2DAPR6&y-Bio9`T2sz_+G|*7kq-x|RcB}L z5f@h8fI<9-#qZQayFtD@@j4!_UcjLVFWh7HAO0yY22)a_g5>2~=jCYsn4CYik-xA3 z@C@!t4yEhl1P?9g9h=emPQrclourBns<?4hkYQzLU>{>{r%u_S+#2L^|GKaje?+vf zIm2xSlh4<nsfw#-E7?|Jwb&dTYynX#DfU!^ai-p`m1HbK2(HWlG;<D%&q?d}Y$yVT zxMZo)!O339&M@pELC2pUP^$r?Z`!xC{Y><b`6qr9-)}B1&acU#t<DRjb7MVlxm3fS zT6&#ckou;3o(^{k>wvK4`yS`l%&xIqs=4P~N<DM{z-G!Veuk!zbR>^P;Z3^XzdX-6 zZ;W#kS4~6=|F$e&*XH{;oT~w+ZuafAUhAerHa&hTS^l!1l{_H#Wb!Qc>m$-V51(GT z@6g+I&vF1iMK0F|PfFKDVB?5ehun`j2E(m_i<4%rBKD7HxUZ2vZFGgrYf8!RT`;&H z!K;hYjiOD5zw)N<%BJs_T*x2;{(<b2Eq(a<X9@Rl0opH<YYWW|wRa^e-zV_((9Y#B z+Q|aUr4D4bp2?U58h%?<d@)Q8Tg(Wx8!2(O-mK?f*@5Z@1N?ov^sX0<gK!Y#=Z@{^ z2<Pq9j*4p3C_@rWa&;?PD<0yHs_8M1vBxu{T4`+c-PDds`(I+^QO;+mc}cTOi_~hB z&coyk_QD-WTun244YM>oeZMPjn>)6l(GByK$Uvaj+*jn!En>Y;Z-Rpj3t^;?L-NDJ zj+H~i$-}6=cieRw)^l#$i8t*DDba~^hL?_rHT$$b4qg46cVoyy#|Iv+8~B7E4VCBB zcMfrVj^>ac)9m>lZ!)9aEEj9BhV>c2F&c3W8tS}r-51%9Lr2JRW*;NxVEx}J-%nb; zOzdZdhN@4&I4#T+`Ae2}rRr;vB<LniVN{|+92dK-AEj=*?b%WqIW=_Gc3NAkfcpNI zDE5q%ZO(kMZ<EgMem*j0+`G=0ZZ4jFU!g+jZzfquOYz^nz~QS)JDQuiVW_~Unb?`R zm>KCA*(ezqDX9SrGIqwo2F@l#RKncMj7%JiEKH35Ln(&og#iPJI9av9tsY{W_sB#B z`+xkpz&P$=$mVn<v*PtaOMdHr5?0txxjTj)%6IeamyBjnbtSH?+Ev8R3B(hcW#hgg zFOSPGyRkGr3WRZX<`>l+VdTv2;KV^;rC=M5d(uF36&@)kjt&x!+NLVV5p_<06?IHV z)CxH_$2i9&K>nkpx~r1<J?cC$g|jTzQ(^!P!+zFJa-0U_;#9x7Zj<c_^K`JW@woNT z_t*mRC~6#>hxppDJgQmjE10}kpr3DryCj@AMdH)k{&D=aaM<^00XoNMynb7_xL`}( z>4U*03s0U8b&1fGpAvVv{EcHl=w+y#m^53MzJrvhH7DIE2Gi2#l1$JK^Bpu>`C2Fy zRl<$dMI=zga1DPuK&m+vDI6+WOf-`#MmkeV>m-<G^h5=TBjx<@ZF+t;8Ocw$I14gt za-$rDjQdEc8Gxu$3q|I6j)bR7fDHc<nuqnT6iVI$nY&@<7zm}stKrn_bO!bE2b<sn z6T`kh!-d$56wL7N#W*ULW00g;m{GFnMt0j#{!&8G&|RC)@<$|%j$(zNY`1Lr%L8+L zHL2w=zEx<J=l-hyp^qi|q2Lx_n#^%s=UK4XD9dR$jk8f6Hxcg5$>ew-;W%4Sg7k+Q zj!Nre0`<UM-RvujrEZc;J%v7wv5Tv92wMvC?}A4np3*qYLAex6Xwc%n3XH~-9AINX zWl~TK#Yrj@<LXznJG1B1P6Jb8+)GJ$hbAlUrDwgOayoYGF1XUE_=rUaQP4_<P!j-% zGaMHY^;B9Hw$dv3quwG39UXSmG(Hn-))Z!#!!g1Pv-x(q^zSZgD<vh>6Gg&-)R~<< z2^4y284phms@UpNpb`&*6bKicW!MrYgN?4qV3%uXr8KudY9B9tJ%bMjXAu>PE1CA$ zl`~~^rRq78sMf*bBK0l4)th%E1T%#tU6M9eoi_7j2lmC67iEbrn=hHKsg=6Hxu1t8 zJSYOZ)`b=q+$(R%)dC+L>z_{Tuca&s(p#~-d~R8XTyn|bAU&F<Xglv1XM#CcV_X!& zjr{kD+Qed&qKC>NHN7ut*Nn#^4qJ=!=0l6}Lgk_<{TpBE#N?jME2MDL@`L!h>Mvb4 z+q<*J79Vd9bsPSZtiVm38P77b_j?-9ZdX^A_nHkq&=uGP1U^mu6>{)h{_ODLU0=7p z>=YpAM6mP*c^)k_H+QNRU|~iq>>7q?=Bk5nuAv#MW<k!eo1`>Z1yN)9`q>bB?}VEM zPEgkO9M!Mr-{-GvlabyMk;7m0NGeHB&tkx|8+*aE^AaGmTmM7r)sl?4T@?3~22}SI zL$v>(M>w)>tv8DMKnr#|b0KQGVLO5@lP<JCH8w+_T4Zt$?cmrp=AOxQ_zkmr;C}+} z5C6pg#x-;V^>)Wn_^P+}2H)2$=GC}HT;Aj-ObjbqVzSK;jDsSF5F0Bamk0|N6O)iI z6Bj2tGZQB(n<xv5h%n<XMnMjKBHsU(qVs>guZ*n!`>jeoFJ+Bsf<1WSF_m#8&5)p* z(-5p{E|p7flUrCAtayyMMiQJvB2N#6%M_QQFU|Tx8+$hFruUbOb|-u!JUSEZ-l%&N zyxXNT<4g;YL#cvN6qC#6)XMv<?;S$1)1lA5_sv1GV_c(Kw=XA(h{EzH)lYD8c>w0h zgo1~0ZV`ywu<l&5!9>AUcPKWKmhIrVq@EEu#*sdRcPJuht-bnfG)KR+tB53k1z#!$ z18o`UAnEN5YQquiu%!u+CI^~^{>d)NHZ_=>6EULZ+t@WMhngVUc>n>H)(zf8kmfR? z3l^mg;4~L3%^+srV2j#3h=TuxsfgXYw&k>GwgWT`c+1_`UFC*)%YkUy@f$$Qralh( zaU2+k#ZgUj?5`WK20V4gj_xLo&;lN73LvQSZdB}{M0V#4#G|*lVuX0COG#61rwj<N z((obWV|}HZx}yymjPJrEyIf#M_XQn%d220E7ywKS25-{`nq6`42UYyJ#=h>N13aeN zra*lfV_#3@0Z^PncRHq;AtLauN+)RA-wMCe?{6vQxK-QTLu%K?dROT~5r$gTSmvI4 zL8%$g_qnv&=I(x%;n3gco!H{?Bpm-0xLJBcbof%msGy3Bm8P12<+sXxajyvP1rMNV zONLmu1Hjt=sdF}U;gqM!>79?eLX<4Gz(C4VR`kxD)qaDX1oC`#HPaoXeuJ-sgi#C^ z%2Vld_p-EwO`G7#Q(E-*T~+@`Jo0>3HH-xu`>cz|-xltEz>^M8=G6M4P~|>pVt17P z(-LC``NA8yVIXv)5=N<TX5JIS#}71%Qu<(*<OAy&@6y0ekMn=R`Hc6ThXSZTMRUT% zVf+R=<4NFY$E-6Jc~k1@&zfK|&i}nSqNDrF^`m&jA&ffYbh)p`O0uIajP^w`&oh&0 zSN8s2g_(@@i{gJ2uk96K<x+qK3?HAgV-55r{)MYV{w(fST(OOe1qUBdbeDUV02Qgr zsbjrkHP*BJ${3IfFY@b%3X>Gk+5QDb0v3_KO{~jpt1Xm?Jd(=4>}7ZA+O;Go^Itl! zg)!faR1#Vd&)}1z|9!qk#XP7Yg+U<SnWH4di}-9`v^c=j+~4OPH4zHRW*RAT8fwEH z#WUyo>oy90h%fdx7aNq2?UG=%>{&`=E%z%K8B#1zCw1rV3VQ*8@{<-!+)GQ`#@^Y# zX|n1D`BHN!nEb8zCk2><gp1CjfBs0y>?Pe}d<_PXJNcwh(0g#tvYLzx%B2<2w>}jV z;Y?3f_qeoxRq#a7y_7}1DMCD^*KH+S6oaYTj9MzWW+j1Z$*fq8w#@<bbE)BFR-82v z&zVhdlc}X-t^C=FDwryp_ako3;W{@WKVirUE>V&##$kW}Ru(1zIk||ODB!;U6ZIfX delta 27930 zcmZs>Q+OcJ7H%7>W81cE+qP}9E4Iy!t&VMU%#J%wI<|d#?|tt5&cl7GT2+r#{}^ko zIb+g^lCy{cLqVItVxGacxH1N~A!&gTO+BRzX7ukzTDiZ(bz>8l8bX>Q;s@EuOGM}j zVZAG|`&AzX*U_7SzWr4joAGw^G6C}5ybZ7OyES~rprI9k-X+o&=?kXpU1GI?n%~5+ z#?-2rSk6sekK!kNE$|$n`IxwW+kOgoY?Y<y!U);*ER0UQ^hK%%e#LsV6aE1DnqN!% z+JIP`0u!*7;7<hYvJS99dNJMOBWE0sTNxe(tR;Wtv?qyN=~R`r3aCSG6r(34!{{A@ z8={AkZsK;dkOJ!gY2-oX88&Q1>Q`7%uVq(f{$_M!ow63^Id;}!hRX6O(?Cktc<JJ9 z?1Oz*T?k<(IF~PN?KyfjN)NzLnVAHFyaHQmwCiQrHXWUU*a~O%=d!pYjZ$KzykE~% z!_WEtkG~j@v>KsxNh*6eTL!svrY!XJ+*KqOv-ZBoRI(@3Mwo_BH^NrEeq25y-v=x% zj(>MK*mnyt$$%>{*FD7hr~s2Ot7DV9H8XOC{Q0rv!jRjs)>MJfCfR@hl5*7%sG$o< z?x`m&y;>^YWtbqEv{~`4{jNkQsM!3qZZfsT!uTw%UoN!Yvoy8EdRZI~yym%C1bJc7 zpCUs@O!&e8a~K)~SrOBUMzBx|Ipt^?GF$*1tu+%>{xoeWAg>PrRe0Qv&KiSFlNYnS z`)}gn9_&SIG7bOlA~c{=FLNr=#{^!WC^8$Bb5CcD713lTbiRUu_I5-o3P4%6{%uQc z2FH~s&=ACLuwlJ{G{H7*I>B9+Fu}OACRuZQX>R68p;`U|7cWyIfH`gbNo6!)b;7z8 z-b2uh<BRzrBzFw7Si%QyG{okTF9y^11LXTN2-rDi=yFF)SQPO0a23fySlMAdPuJxu z#|Y<7kG`#YVOM~+^<s+)OO<^Ww!s6(2z5)L6<S@D%Rc}7JFkkmon(ipHEkoG6@+MY z1s6?qezOiLq``No@2c*+rzuy2kAuHYlJ0wATy-(-m?!7)+w02Cz>0r+o$;}6tRLup z+Vfy%XvoL(;pLOL8YPwaYtYij03f4nTKaGnj^=Let`;T^|G9HAwS{A6&maK>R{*X` zIuXQL4WZqIQ$U919z|Nxw6h#a8*}O39^R-`8_lb2vdve;$fNoBpYHO|*jyE{eLg}j zdU&?*ub5U%#BoLPev501bTF4pjIX6UL1%onaUEt4M_^{FADIJZ-skBq<bt{1GNAZ= zeT9_;hYI0ATnZ-idAv@Zq*&E^%L47C!FCdgvysKwG^DA;_|WBUw<J8tDU}DTK5Fu1 z{5neBs!o*oiojd?F*MEREqc^oloEy_I${mED7H1lxIJWxR&F=76f5PbIm{9JlCF0S zd$}f`{tElZ!)V1~6q?NAiufvdgpaqyUA4V|)zNgh%tX_5uc7(YIj{fp9WY%(%Xqd& zn_S!Io3yVo)mZ8U=bq^*k;W=A^VgO2fz@(EYIF%c^pJN<&pfBUh;c{~b~af0ug3Ld z&&RMDw(Zpg6|kv`asRdWR`~}C;mBgn+hEzmEKlsnpHT4B+gHFQcA&V*aZvNI<3_Y2 z?g^9IlNkR`2(;CPh2}4BeZXSUq1T7^?{C+h*jTK%TmeZEX%Tby6r=^Q9$R)~xy_C0 zc1IBJI8YLr2~&eU1EQm&v8V+3COQ7+yK!}yJbcI$&(MMR$)5(pzq8WL6j)}fk%J9r z5$u^v2M3_dX5eqhPIRPnM>bxzN6NN_QBP8jX)IEhlr~gP90PDpb%2^K=FkvgclP!* z-(D&H2&gq*OdY9>Q)KVHsi%%MD@K~9%~e`-2Hn3ot#DXt7vCq+CtazU+@4wMyB+Tf z*GAwy&KWtX*R(x%J53rag;+_tdEc@!Rc8vsiC@RNhDky=gVc3RgK%U0WP>Pt(~DF) z)2YmYl&=X33)k1uDS(7reWQv(P3q<}^=QSev8XOWDnw063N?0OG!|dJA{;PNKD+{S zA`^;=-vrYdXqiEiJXSkJyUnSm>fZUl^Y9pcL?mxKeuty9))oq@#2uxaYj7YtDE4vF zK1GEq|5$fB_Pnf03`oO<LJGsc$Ov^xDs4KVJfHDk)+P&13;>fIa`nubW+40w-n7Dl z?R5DquAL!K!ekZ31M-^5RB!FzsJeTkuhp^Zj=&NFJQ+0RtjI8Qn)V9URlpvX`l{}f zVhN>UayIY>j`AKKzB?B!dh%W2&t-NW@(N_IMi$JjNN%S-G3r$x<U$%bGegxWCpAS4 zTm_%S2mMM?Zon~POGK5DYnLt8f%VH{A1_IDyn1!oKowH=s=~72PQi_#fa%c-bjY#c z#7|=+sWEDL7W^(z(?Jzhib7e-N4#0EvJ*TI*+O)qxi7bNj3Dp#ZI&eLVqPRAA2bR} za?vftgl5dV_b}JQr2ohrN`e8zj7T87Mfg>qyp+6p6`)j7p-hmBv2QQGzVvoCCU*YK z7WR9BH?#7psuiDn2R0fh%~@bnT*LKYz1JuVhb26IamQAZWL3TH-F_ym80A%?oNv6! z4)Pv>r8YGKg~s|NS$D)e=B@>}F?is13XHdG(6uo|^F|0{C(Y-0!2SC%Ca*0T#4ypz zWhUX@0H7kguu4&R=wl8s>QW?o&@zEw$6TjxPV&zXJ%@Ck6!Iya@oDjD$~tL(p?(<7 zaD`M-^}O@^>#OT5sUpF|$Th>-{uoE5^0~6(Qrxwf57Yd$yq0kWnOf@CY`^c=b^QQ! zO9T|An0mr#gv*rkL_j|K4YSQjEeu7HO&PR%H-MlNak@a_w76U>(4GIN{QVVUcza&7 zOcV8+e6E*0o)^kJxBlg46XKl^2FElVV}j8Ws}C)*Ah%uBywPxNRt>{auvdrw@y}HV z7N2s(^K9ZP4w0pI)WAa3U-OR=67#DqvWlA1$|Dq5tUNwAoFnr|zPRaqKZa|)m@KqE zg4lt+TiQ!j$NaZa$=jRZ(8H+w>4gv?IpMGG--w6$JZL1-sMQ42+G(WxZa?wX9+?i< z5<fB!K*4E1*)l}JAZap;LBSFKe<^NO+L%}KUy5s0+vJ$9hDiK_xYzfivDjQRNkc)? z;v};JY$1~{6dMQ+RWuXG!@)#aDyxJoLj2cl$q9}qBnI}%nQ`wE@6*)(GCTr`?tcu= zM*!<u*{{F&bbUP@|Mmmbu@czPO<H8ztFVlQIi&tIdXn5N7k^;S*dcF-(Zr*~$@b&C zwF#-bFF@hG2OanxExtQk4o3xtr-@1e-<)jj0^7pG<D;o)F8^~JdB&!y<(kt*vDTBj z&L(=lMWvjLD*3!V>!%Fj9kco5nSImb%$Zh7s+CE%j>Xowfw$h@4GBO)|04QK+B54y zlZSAGRL`$mID$t@od)f|zTVP}$xNl&N}oYk+cCIXqZNVP(?XkiR|k2#8*ZzoDc>7T z>>}^uAVIG>_!ICIN_#8VZG^{lnlR8_J(%M$3ePb3)04F{x}&0zKcxED@F?1maHP5V z58}BY&{%ICtuZ(4Gr;nj|C{$j<)I}3PQ5J;+5ZRefd4^!t(yBE#9RIg@g~0>o|)Ms zw5u#jE${2{rjBG@9ym&me-N+!sXzQ%CpE{RVd@{m8PlLzu~>F@LTId@UXt!>C~Egk z-mgr%Hb&_dXy?@?DDw%qv`PgYY$~i80GlCX&fvN69m|}<NN-q##%a>V_|^;2oey>* zH>XE^)%eX->VFVF+W3oE*SPVKTDxLF)#UNa`yYt+{uknUmo=7ZYhnB0BYbZ^V0V{r ztW0HjLQsQ_sjg5X;Mbv4ZK5D;nJ;M|%PMrDWlwN_#6pS=_=SesTH&Sh1Fo(Ch2gq| z%9^S)x)-EWm%h2&+F7YnDuMFD#~-1VFp&-pfvWz&X$7in>?<C|P>e^pK{4Trs#R*c z0iT!PWODYTr>m|9Wt2Vl@rg9iTskRe5G9EH!ujzT1rs;KcYCIybP^0;!;V}EoDf)8 zDe|gS+Puscfv{GsW~>+}06MhMjRoyS;I*G+y&Ln^9}HX<UE&zgCX`Ez{=P^Hi=2F; zzX+ckPpz9*%+=V5@Y;XSyEL?GZd-}3!X?00x_TaxPhox^N(s+`QQr_CzH-v)lOKth z)K=a}E0aK&7c+RGxEKNv%0KUjMb*+ryGxF@|K?V)XWv%UcBo1?1App!LQ3QXBUXO4 zO}}qg8AYbb8V=iDCezOON-d?#a6L2x_G({&g)f<IJXJ+ASP<moL;oeI%`QQWmo2Ef zjkFF>ZNUQ}nFwvQ0Xo~s8AiI>1c~PTbIAA<MPhu)CG!SCDsW_i5K*=CV#YH^P_*X! zNqAA33?NoSkP$4x0WafnGDq4aDpmCg%!_CnPD%%sU7G`v(O}%*Z8A%E^w!^Nm|l!! zq0$q&*QRRp{Nl$m*o9@WL1yeLWOgO5MI1tkm8|BslwCzf)>w#>fnxdJN=r**H(W5T ze{QRT>V*6$fQcms8&p*X{fW9BR}kVD1Go|iY;T2C=|O|u0Kf8_<&mx=+gZdk@(RM= zMhQ_jd)ULK361*48$T^_ospV;6Mqm2S1=`4CYUPOhM-2cV!Wak6N=YKsz~~rPYT3n zds1T|bebcPtrWyGh;?Xe{8c*a5m#Zqfb7aXZhl`0c}U!i5b5F&1&@)emU<Xsx8y$T zRmyJ9Z@$+I1(L_u7r}YALdzw-pCq=~?9W5j!xAtwFUXn(_dbBe%z|h9tdF1i+EveJ z;}-b7Hu=yY9Jo8vAqk1v_P4WD{o9u1Tj7vtmiX5X-uX0{ExMGdPa)9S%6Np^rsyJp zIa;2M8a+0~j>PftyPwqY@xS+(KOV>#dwdv&&XN3w4_P$yE&d2TsKwnMM8PhiZSR&s z108{%7lg_Y2}9@zN~x7UsB=?OH2nBUiM}9BK!4D+VL^lA&w;XM+>n6NW*Dx3e*>(- zVQK~GySU&Ai53yVN*2MLoe3cM74U!JQ-Af+$<YugKxa1(k)(Iurflo=7(@*5ID2=E z5XDK8EqF_yAhKf6r{IR7z)Qfzg^e%II~8Ez;n+rEF|e~AU30s4!=+gwGwEOoBa#04 z3aJddX4?((YWt;B+l%9Hfp3gxoe2on8nXw*+SCbG#F8+?jyfm%yR@!kP^a_^>a6hL z1$dv9;;9hEj*-G_k;6n|#zK&&?vWMdqU_=fe)@-L1!w=OP3u~&ZU5D#Y{7QvXx%Ap z+%^sh!Q$EUxdd-nGL(0O206%#F_WJ2>JL8c4(Cfnw&zpJ4(ffqh(FjI?tyh)7)IEw z6YgW|S*yMh_IiC}w+RlWiF9%cSjZF1p+OG|Cq}=3?CI*xfQmz%Y)?dSs8l&KRi$r` zXrjVI82b|tx>s6`a>B4<Ix}wPiDP4i0p_$?pigT}Epa(3K+?XH|Ldd!<i2kGIMp8F z#<#N%Vv9XT13Rm)$n^EtWuU8wZ|NqED0&9$F$@h8W3AP^r&pEtxjsTBV8bw!Hkr0T zNO$A+h&#ecZ54THiRgZ3+QDx44#Ay>isA4?eYUHuSc5v_aI|yRai{SLLGI>H1Y*@3 z3d6Hxs`g=RC!*^0PK)AB_;BanRbXe@7c&~$Wl2IBy$%%u>UX}2o<KN0&g`-f#HCO) z>G5iu01tcJYRpIAcz{mB2!_gyzinGa<LHtHhhgH-Yi9eQ&WORrUe`7mp~ErD@QfE@ z=|aD;ex7S;Yt;C+uCAr;ANyk;5xsIoxq^y$#+96cIJ8ebd_4QiWss&r=064$o>t*Y zIPaN;LduxCGnN>0(2e@4O-5o>+(%0Dp75%~Dm7ShH5hR4DB!Z-p-HGcy_P&PFA>a+ z7lp&uR%Y;7Cg!^z)$(9?L)qmcwp4sf<?`t@Ft;RkU&v$wmL9EdJYQz~rBGA_>B3S= z^6fr(v@(JqAkiXp*1_9!)*-IB5IEtO<SiVn+^vaOIJq-~p}}bZ-3`YLN#uYPttqoN zWLK*zJqW1ec11PvT9a~N-60t4td=F|R1y`1*9E659N8)dmZ(f^`<(Vbi@NkCHy$_3 z_P^N}G^PrYXwatRGHfocB`mB^Y$f0+kLGbyLkGE3c|V8us_ElA3kVtpz>?ZXl194a z+C|g23RNycLf|R@&2)Rx+GdJ!=ZEYXZH?&RPFRy2dYc?D`y|iNq!4gMY}X+7VbX{P z8tPj(#tLag{U9O3y}6+7Fgi@F2s?N1S@Rms12P<>H*H(6b24VMpJPKKFmKEzs^+L# zI=j&oYvgdwNn!=aD8Vry6=S;oK@}e7ux&LVi}Q&H*IcGRK<FLHnHej3gCJ-Z#0td> zOa{k2rNRs@UtnYtGb);>r37l{P8fT8Bs_?0KkQuEFuX9DsRpufSV40<Huo(Qcf%k< z%I`poy~bo3>U+XIY-tfX*FgWb&}SVAco2}LKu`kud3Lyg@B&cyCQ!z?33%cfF7V}G zWK**e{OfU`DiT!L3X}sbL^w0CW=dEIj2ZsDcn~gJNoB|digaEW`OiQ<pEXn&ChQ*6 zFm*E=Iyk;nh#n}91$b_VHuR(^s%(&;j87IzYBn{59_AV54$cVpTyk<+qQh|iB<(kU zP}C6R@eozfPlzj)z#o)w$Q%+(_LwyqY9!Cpj@XRAPdDk1w<j8*viF<&m(<$;UeNC7 zcxoZ+rSj&sh_{gU7orS`!-x?do-rbY>du-|o@h}B=ob~9d`8P5SH{ETDSo<H$&sNG zJ>H~Oc0;RqX^K<$u^)&9PMYd&x;lcWbjpGun(E5MrWQ}xd`#azArDh<&?jV3G-7U^ z?*)p0C(XuFv=SJW`0}RxNmK1)9a$nw4}%$6U53v`hmYrW#?$2XEbIg5z|yE=5ck1Z zR54?SJ%(S>QJT}*djU85)!P%huHz}N3#MPa9^5&I36t51#-3k+w?~H?x}hLnWUqXw zUVkC{H^-v3JQU-ZqMKAadQ-c#4YDgo$=tw!9{;}g0CxHWLZM-2UK&Y^b1Umy9rM{& z_0aOBCY}W_pyX@~z6PQ~OEgD|o>yCa$d|n~J+QvFX1Z@<Mi;JZz53p-M~yWkzU?(F zH$^91hrH$`l-Nxu5Z2G{e!kPmR>u~Tkserc|F(o@o8GCBZ0PU7fw`iG?UOIq5Kah) z`zvsTBbCR<E-(Z_k$o_U>BW1qTWY%8BEPiaD$dI8(xmWjtq`3^DjcRQ;pF{pl91`c z-1k|V>MM4v!|Hj|l0eF~&}>|@Mc62H+`zp){%T)#W*(?zsNEf67+9T7H@?5zXl5}0 z*<xJ6>R;vSc))%u(I`R!iHALFI4=ftVF&n^>mKwU9yh5bT2U?hq*E_aso$I^;5Km1 z1ZhZ!q**x|&sc<8&qBcs@$|%315ESQ<ZJdfsg_R|qc#~I0Mjli&Q{bjKWY2p)YWSu zyV?N3MgQue_Y1m-H-w#l^61-FM$mlS{s_XrguK86FPP`Kb$o~(za6piX%T?g3-%dv zUkoW0DG!_I5_R7!=B5F9^p|36LJ!-g5fq=xxASJYpLft29JPl|pX~?B;dIj%BA?E@ zd~{ZE7#`U`##f?{ts&@jWqX*klKa>&yA^DgAR>ucqe*kt9U|+m7%h(bLnW!Dv-g3I zx46f5kvmc{p&5YJmo&eg@f3J<{Z#ld$p_^v*gY1$C}VhJ_=fIac%Y~=1Nc7PA3Ez# z9WkMNywqfN*G!HdVvkQUR^Qd{eqrz=pNbY<sD3?ng;AmT(DlTu#8<YUD7J0GOyZ0x ze3G|;fBqbA2Gbk};&x?Ek;oH_7b=*|;c{x+^JizI+L`xO&*NgJwFDlHS4_2M??$@) z)u$#uDEt~@d>ciw6?0zEKgWCTK#Ry_`Fw<?tCp4yE3CBCJ08=GJZ#SihI<R7XxZB4 zl?2eM@Rv7xRj+W;#&@fBr-&JzxXo{hzdbbO8pcoBbI%&iV(Iv_j(z2(-Nncx_36F` zbq3fpULg@}(<}10{{i^jPb<&YOP6y!E=%a{UimL|JJ;@2?5l^W9Y$IW&e{C?X5^;1 zRN{LIaytuid!<u1^p|^_b-eZ)TfI&OOxE#N_;%WD@*lnS+ZDawJ{|$x8l?x%m`~nj zhGQqJH+;TW2d8-XQ*euo6Qof@(|n2v2gVJ<cKa@uweLy#o`nBhop-vd1^ioGJtMUn zw*OoC#H<=IefXjLS72>KIFSD2pj;WCpAa;FmY&kS<bRqBQ^m!cLw~Gd#VI<!VWd?w zhgNCmXtKtm{fTo}_QZUC5^#$`vzjgq)p$$v_Ge@};`^MrVG(f?pJVbfKa<^+-F<~5 zhj1DBxr@p&&1?a;gp+*{@H~1V)MZMm@|+@H<Qv~AaU^CqQE+V)>vbwK(<fB||B}!5 z2wmqio4@$!-_Qn#nu&8*s>8Xnh(XDbBBMd6DeKG6Tin;-vS2KEq_-Bcl=Elvr#iSg zt&nE>lxk%J3PR!m1#|c;WyJRJ3t-L|=sopN)Q2K;;xzH4=9tYT+H&BRsK0hDmGdd` zrR1e>h`|G=8$Ia=KnIC+EkKu-rs#-j<XUQanvWNf=)1|g`dTnO{vCU1aBk6fjR&ue zsvDD}3JKNbmQHp~9#%Jrng!ul)lWxzQ03Nl6!0<HTbSqqaide>I{QwOw5wAYQFpQv zoZobskEeWz2sjceTorOxLYCmpR=aWO+vS|SjFl$uUD|nRCD~;q&2R$<Ju0}KRqWA2 z7Rg6E1dTK&^GImhtF*`<oKU$v{qxb=Vvy^tEIoS0qA^k@>@I64Z5HtWzB`$dVsDh} z4>U{U-<iw6grqo*Wi03g4kjz|xx2HTGsGW=U*u&oDW=DYX3-M#q8)z~P(%;@tdL=; z*yT?RT|}ol;Wc=3?qUCmuG|e2LX~m62{^SI%^3O(w<{$ws(l}_>GLHX85d_BySpj& zPU!X0+;bz@vxp5%*3{^V$4gen8H-L?*7U;uGiE>%s7f2yFYL{o(i_KDGyRFmnFsMr zB45#p>CtJ?hZ#h;V{=7^n1{W<NAn7|HGKRqOhrg6SZ4VVcEj8#T_>y45^Rq=%pygh z=XSke&5jYe9n=k7liZMG23mEH1#45RZ=C`btRJRlqbX%;8XkhS;lTB74PobS)%pfq zmk+@mfJcM}mE?DwZ~~V=HEU2jE)T-CPjcsb7r+KTdNum>(<e0C-vbI78akwO0(PVB zX;YVgUppEH|DE#U<%#kP?PJ*^$<~lcA}PbIUZ0#|3hvGr?hd?Lpn8Gtpfm$>gYEBE zNq+w8)?UbaHhp?;xWkS@4#lFvGrsIvo9a^^FqZ6^p$gw{z7>zD!{anWcYi$>0eIe* zZ`5!_DPx#{#iq25bef#qMi<Z=8^@2}Lsjru=@5sTnSHYkqGT>>Zzv%O4Tpu)2IqrC z5#**U2MGFLgAgcFI~%fLn(%`B7_5g-CG7^Z(!91cuEHVBW#`jIlnibjl~S6koe7`- z5Qn0nLbNP_M!LsVLrXC~Rw$xMgKeCh0&nzW^J|Ear+#y#wsJ$N-8jy>A@LjUN#94= z^NbcVF>ObsX?VIy2Y%sts>q4b@YwnIsva5K13OdLn%x#M=Cs1~trhGYX%vO%Kj}yo zlBd?L=V9l^((l$8tiD{ZMNMXxTEHrMQVF7}=!1xM)z3l#1G6_2*<$uD=?ZBr29#!^ z^l?%rsod4Vexiwk-W{e1@`Ga{`+;+u43-Blv^G6aNLK<-mjBj|K>D`RA~W)@?I*2g zmL$#DBcg_o;h};J2vk%(IuZze^V$tvyX54O)SDHz_{|S$31O6T6Bqy9rmMH{7fs2( zp-C}ht!!ZNf%{g?%%rS}amt}~ia}N-4d$NiFJf~kap>q#NFx|Ff6Z6iTbO9s$OU6z zMH1+>zDU&+2lEl3fi0!_?=7#U{_d`bJfI3Z)H0)NrWK~i&NkFLgWj@&<i&L~ynKBD z>4@Z+=Bwy5v&jm)$i&Hobbl38T7P|~O(}GsitAE@J~j#YWsPBp_LLNqTarIo&vF9_ zogD&8)m^n-S3%i|fbu|Zzs#_QiFFxM8+_rQW>lU?zX-Ym3M8g}?=up4rVF()qt_ws zwGNWjp9^-Tq&bL|mxa&<!&&yT<(iv@DNrqKFRu=?wP4nt<DU(Fjw#b-_){V*1IEMQ zndTZNW>;NztZ(2$Ypt_-NZVdh{qOTO*knR09;>bwxi0Z*Cz*;PB+KF`#q{F5wmPu1 zfo=~F3xA_00JzaZk*xZ~Y>y1RHe--zT6<mZ0}k(TH(NF1+x84R+{)X%8jQL|(^Za2 ztR2XYy+j;Y>UxLBDv}$P^|b2J9X;Q$C!KbAc#guUv+eSH!un~Bx+7)}T4$ad{ahI- zKqcMM#fV_F^{}Na7{&At_nm>8xoPE;m-=}>{-+XoVDNLt?ec(cCzch`oAH;*M|tRO zC7LFX`Lo&*`uAvWb;^-CPQdZ>fVGLKP8`q;CXuPR%bT|GccIhC6PI5!qq07uHI~a} zvo7ZFmeY5+^g+vxush>&^lc*$)<$T|x_n4Hbx&p4@Qh$0A+~zwUK{uOSgcdtu#sn( zyxKG(Fd8!tSNtZwRUS_Dz}u?LWi*V~cq1Nt+M9omm^13p@F4H^nnTOWe&&ec-wD>x z_I7q$PIf0m;(K%Bp~bzRwr)3I8Qv)5Z)zU>ZFRq53}Nlwkpcy-#f7Muyck;97u&k8 z&m`HF;Rg0!0#S#;i$Ew+R8G1vcO*~D-7#Z@-|y95RaI$yc%sX=tVp|i+%&9mtSt)i zM^@+^kM#mB0ajtujexH{rW!+2lTJnq`i@OP+D0^*?=i%zuZY=u87yXybQuHGkaTSk zW{{SkKu6Z+9w=jLa(t#{yFq3G6+^C7bWUj2RA)%-VyqrF{07Cr<b^$f@8AS@Lrb&` zIP4wo;)ModRn^MIg0j40)BUbhKi_HK-@>Ba?Iiq|Hq1Xk$xYtMSRz_DIF{&`QSAHN z(}{F!e}-aX6#R^}csTMG!pq<tN+x)Es^!SHfzeJV!+9bviOn>lc4f5gq$b}k{Y*&2 zPhr=SgL{vT)3uv!wFrXj3T?<IYp@3IK{9q7{^=$T6hHE)B|8Na<;iH6wlZlXsc>Qy zDB>ae=I=R17G609Km7G0a*Dob@hp>0IV!NkXcEe*jb{btO4M8{NL$fv{Qkb1jn%UN z3UrZfcZWsoKK(48$dE~Qz{+U#L9xEu!A|_q+GI0!QzTbNi|){7Q=j+a_L+Id&$d7m zqa+}-6f<Qv--;$7{q-z!GVVvRyp1+n+HK(Ya5p5oYIEAcWGk+voKKA%UHbY7))exQ zQq}62-VRft_k^G2*J9$YBg?P;iOstv2|(Yn`QqE2W4>L?EI|X*hFz@7bax9Sr2&f_ z#`lqT=nsdXxqjXG`R2ZaitJW*_v~P2*P^18mNF+vp8H+(vaRyQOVN~K{Z*|FyW8+> zv!pT-K~}05iB6&qZ!L8TuEgA}S&`C!N^@VoOBuY0H|W#!Ny7iDN1hQ20SVJ~YYDjl z4v>;RdDUAvPe2Q$;O~(amKYW3(KK&1>U3(nb!sG>M7y``Q=OKxN4&~({s#QllYeKV zf3Saht4#Q~Ut0Y#jc)6nr0<p^x^h+TK1%n>3iCSIH;6yg&DVRpL;IP3QTW=C@If!v z{YKxQ(J@nayXh31Q1$-Ye5HE0P@!**sh;MRKj9NaYd7hd6=rc^rh_%!*h+s!Pj5#w z*(se~YoTLhvi7RodX4bM&;MPa|JM`Ar;<)YK8nywwDA_E%_8Y!{&o>=HfCBc=EqYr z0P3R=KmT8aWHi}9DuIg;Ze>8)LvjMYsD2%R*D;f_E7PHaf~SU1mQs095j}ARv{4;K zvkSqY(_D>TE_m2xw3fUya5|pW=mX!Bf`*0A5Cp&c0?yBvic^}r{-8KgJ5!7w$7@$* zk`pr=KAW&paIHxQBI}zE`S&+j%rxDQb~EgqQgd<A{TlIQsng`ita)egH~0nAYsD=2 z3e1RD9jfX3bkSD%+#Hv`TpWL}9C?ZM;G5h!qb@|C{ZyA$5Z1QMBTYFRpJpIadw(Q+ z;wv0q(RG!9U{l8~iK8DwcB7Z9g+2OB14&{_QV9Z&N8XbC>nBsp+laqF^~bsPUs>Wp zs8TV~OoPS2wKyB}4E3U%p7ajDRo!lh<HJOM`rTE3n(8dz&S3|i#?*18v+=YKVul=Y zNjo1at?$VK*!jbA`WyqUMUV5`dUAJnXZ(1ccN|Pk&4!z{EQ%~a?k>&^`AaWJ$k*gs zFP<aP%jcEJ{&L}hwJSkWpDimNLhgdL<}I_cs&W)XyM-P(o8`uHITR`&0q+rhLyWZ* zS)#a3t;Rl<&43fNRHr-lX&x(qv!lm~>o#$2+UH;$IKu*MZcJ0qnkfb=v3i~5fYD<k zPtzjDPRhVcCcoit+rao9j@#h!Mp-JYY$8F&qI81nkzh^ksHRh1DMHA(6DaQsuP#RS z`>f_Ye})v=k?clI5F`+Y-TqP5O^6+q0<~rh_jAj1QMM)Y=vh4(WeOP*I$+4xG-r@c zX{oGQ#)1619FIfgcgp*Eb_3IWD7i-%MUFP96V=ocgPN|mO0?No8Hz%UF3l2YpZ(Lq zW-V>L9wKIFu778k#0<?ao(y{>^RqJd1a^Zej0wT~JGfNs7iBvXTyDGuc$u@^01R~) zxO~q7a$>aYGW*^OLF1UcfufOBFZT#Akg?$iNeBq5eUpNM4NXD87xHxnv!1%tz(PcA zA^D6j=QP_^$q@<iRWu_$TUyY%D>W*=$5l*QJ^uJTiw*T}XNJ9>4YxJpAXEqaWFG$M zij3H?&zfrzW7D-qMEEOa5#1>NtmpehOjSOE74z5%solmCSC4n042dBuqa8J-Z}aij zk11euqz7qCnu7U0(hvs=4MyQ8vi#aY*t!72{3e(Ef#S4(d=+kIqzJzR{Wl&0xB2Pr zJXVVF23$Hrz?zwBW0j51L_^-PjP>av&XyWtBKb9Ym<bWNj7i_1qkC$J!?2*46l)e! zMgj)mv6cjr#WBe1E$YOhhOy&uhJIMQ5i6k6-oEVB^!MS_c7t(A`!+Jr9hyLD2mM;0 zi6gZAU#oBDrB~1qo9rf|jVstlE*hRT3nAmq7V{J(N1n4gHpbb71bj%=!YN{UAwmvi z`#Ta=R-=x^pIol`P8ICTfpx@EL0BGYs-%L~GpU+qpER={0xgnZ0x6`1dI|mE_n(m9 zDGlub87!WVXl?P%kgecgbPsKk?vO{I5USy$M{WOJfPn%1ZAbkiVq;;ewZA+kZ~4fk zeA;#cq=v+|b>yA){p<2N#^Ek9Iddud^}e<0eJ+)$aOtql?i2RecverQ^XE%x%N|mv za#{+B*184YWhh{6G!hvd`aaIclx+5@W7t`z!$FJuE?>J!I;%(SF@URoO2>*(Fr_%I zGu7L<4_yTyV(lGnu-4$U3kx!u(c-JmNgW%j{-}o$gM%u(wp1~%<77w#EA0#x^pcsl zykH8YN<tb~ziRhm5<|}p^keC-^ZL2CJZuzJQ|Q^w)}s~eP!eyM=5;4Kduq;r%}-B6 zVPmShZ|Vu@quF|?L{47r+r}!nODgMHp4K}g5^(~_2wotH-dK+eTqCt)EGxg$4Y>@8 zmaXt{f9%qb3%kaQyikasX@}_!^25#NdpZTRv&-Yo;>Y>^X4*P5e!yyPO$|vHPErjr z(KjxI;IAyXMAJ7bP=<3-H%IuRNBynzR#ME)JR)Kcy*qVlek`jOu_NzeY@#eJqye=G z@eezrGt)byR?XO=B(jXBNQJaLnxmG|k;@MbaK)V;JHc?BOwX@xhZ8WSuiq4x7SR6l zHPJI}eIVVzlf51?Y<wZffr!tw$V%}~k}UBhnA+@_<-BOq10t7mL<XIiPw^7?j(k_d zBVhK2UcmPDhEO4F5gZ#W<SCL$ECotr6t<f7G18pRT+fPzC1od?>qJPgi%yPf6?ER@ zXZcZg{V?1NsW^>diTN^)f-^lf9L`Xz_{_$NYeBV4UOM>oucCrppfx@V?$q6NU%u=f zvke_`AMw3<YAn^}lHNx*zU)N0i`Xl;W&=7()m%b0DG+i5g$$KjURkrB04_TImtFJe zoPK9PiS~Fq4<mmz5i~9czTop%eeYS#kM=ip-->G4HY}p9n_%hWA$-nQr$3{GT|f1h zel5B-A~1tM4&$f>0b$q1UXv=0lq;X=5m2waP(X7KLZG#YG0R`)@KF{@Rb6aLx=>{K zO!e_ScDgxxsdi%|tw(#B{J5^a<~loBwvJ=O>ksA*{ww^JUc1h_qe_c%7{5?%-U&4| zY*m1t*q8bJYhmE{{vx5n4g#Kf>DyVxGaCp_db-fBTQ2Syz+bhC=@y!1t@tHrC|>Ka zyU8{MYz>D-n;(qF7Uq}kYmp=eu<5EkGSWwG^J1lL0U7BYXB(9?JrfTHaT)qe0W_1# zW0JJ^6604X(_i=h;-UU89)F{6wd38$xyDrb$ClG`2IT{};G%I`7H(Tgr0v)k^C$d} zqXTCLH6bnmO@|drr$#o$I}omaF<~Sh+`Xm9qnO1$-MVfVCJ-k45u!-l?w<9$cdtj^ zFSw!qZ;C}mT;!@jeAsS0rH?!}FO5y=-sX@T{u}N3Yn@e`%%NUNv%S#Ka(kg?@Ivf# zUs-6cU$Xr%FZXWkhL-f>qXK<HoQqg}KBEdAD<UK?dy9@n+%d5Co?HN0Bg$y<WBAyr zsZCg4m-1p9{{gcizi)B~cgDqmI)V+AN>(D>B`6K`x+M8E!96TUlqT5F#P&FqI;IrP z*TCvOL80tU9Z;Fg5%lWF31G9>92?Mu)qwtv`+~J4s+Iw<4oAv{6&gK-v1|F@p8dD% z(it5rFVu_nxOeA_Z#@lV`2L%u#L?z|sh3d~0Eq#{&HSI@n+Dj_R8ZSsM((+zbFXGo z`xc<fnSmHKXJfUFBh4!S0-ZuVI^tQeul)REpyPTTN{$?^D1_LMo2E(E^W@nBK@nMi z<Y#VC!mNr71cnh4GUK~OWtwI-f~4UpJSr0Ld^Dh_Mg0+DjhcY?PX>J;Nn8_{n-%5K zo3>q4!_Sr0i~=vVo60S>k)9rvtV1gXV`YQF(a=q0AWTVz(J8~t+%F%lJa}ZSI*;5Y zdWvmSN=Nh){4$1=lq8IJ=peo!mvSd3XBo2(78;LP!Ly;RS{ubQFj{Ho$C40!>poqF z$e8;6Pq|1PXyzXz(y63ms?iYg)bZF!{U)K3Jby^akG(r3t1+ibzsW|Y!P|N5&b@Ol zgX|m(<h`GE5o)mc<*O>W>zw}GQ{yv4mSOddfLz4uayDhMKZ-f&&J=*g4g{MyQ40!l zHhzjBm$O=#sg@E5FcRU{9fA^OXa0%oc3o%^8I@rJK#~A%4yC065j~;X9V3<#6?@#o z@l8XGu?WdXP#GU+*B9K*+$6bStEIm@$8Ue2{O#7cZY{K}xnj8Va^YN=(J$@rv}Nv2 z2;9g<<_gdwDy~_W=a1pTm0sX8_zm&KKd4G8)zr+=g(91G($!v(y{buaqfut%lpA|` zD3{eF38xC|5=R;;!2yemOzFkLvU3K9tE3$g@nDjzt)T}e@ZQA*6(vdO)kr@2rHiI& zj3LSpsjn-OherW$p0n51XhnK$zOin8yA0fH71T*Txq&FGaqh5nZl7FMOlRmPk=cLF znfmU+>lM>HX_)h8c2>TqKnUf_%2KdrlFnb1v=eYcY|C_7)*Sv>Q1nuCEa9it2}Q-2 zUDl7?rfxT9YRlToxPHYs0qTpT=#AD&76H`33-O>X8m`=Tu29$pj1~^#{tyKtU(wDr zLS+xv8RMKPM*gT-`5P%WRB|&lS0EP9l@YS!<WfrmO%z2|3O3Z<FAM9fDr2ChZ2BMb zXe5?n-0P)=srrQUax@N!naBqJQ%`@E;8RDyTRNr&1GE{1IzjtNzk~O;T9X4CvPczQ zkqYd!Mx)suGyC+lzPZ9zd;c>}ueSvR%Lf>O@58tMCCV`f(i6fzgAd3!4uT{DjPJKK z<tc8F#>r_%tu@?RXK167fZ+x<-Q?Vl7-<|=p+kI5V3v^YWA*=1PlEFQQ4jYq()>U5 zEROU~xl<jaLQ5@nv%lyg@nw84CHNRcVdP3gs^&_M*RW;pXfva;hT}x#wq3m_V>Pi( zN9-g>i1+{w1Z)_oC+DM4@|P5s)No}4&sv!c<BL-=jqF6Tiw&M4mk>H_Na&?w$*H8E z(9vX)<Oj?mA+Uc;MCWhZ5wr-h<*-uG>2S3E4i>-oRDkx+_awZZmJ_D3dF6{HxT_q$ z?y0r?Cl0G2gZHB}@qfZLeFXE4n#w`Im4$OjFaT{BBu_3PD@)IdT3+@!FN)`440{l9 z1n?LZXgu6snbI~U+PTQ0|2oSQ7Z=9Cn7Af#gmuT~=~<Kvn5Jb_UCfbocDmWze<%i* z892*hY2(TE+&s0>D<y8X_8I}ORt9iH6jA!&N<zN0LodqAJKf!YysE-pxAyI_HGMx9 z8-Q}XY2a@FNJlN|UIL(Df?kR<)zmx^)X=fyleUvc^>1&sNS`;`8X;=+$~ir`-exB4 zn|89sr&KH(Q0cm?Eb<@gOsed1^c=3ar)tA?(h=a1x6P^aPb{}4MrDa?Q8U}>t4%&d z$mnL<^j4+^QG@Az*i{{xTb*ai*$>16A{o-5LzjA;)IVwNyXJ>jor!&6ka!Ds7BtS9 z<eE3V10*_w1AJRhAlV|kbCw=O@BP-vZ}C+fO%Ip71P*LdhNkru{_W3x8xizi2f+zJ zl==v8YwxDVBmUuRrBjdl7?SiI@E?M$-|W4x{5+ODPc$rDaLS-YVMUBvw`8RRgyZ3A z@8p8Ro#7thd{B#p(k>xfY}_0e*nZool=);p3)&~vOM`O$S3786bQC)>6c0lZK_ug< z5Is>eCbq@&>9ofld5Hvsa2uf|@bSKe_bro~ml5NW(af5%6};CQV|~|H@R>3N3>Hv- zgOypFi4sol-G5k?ojZe}C8GS#JLP9-7{`xTeHLKS|4Ru?7$oNZnHd5!CLRA-r~8QR zQ5qCu`cN#@752|4jc$Pi8s0I<xJZkIR3t@9>-i{<Pf^*e-zH;*E}*T?#IrZ$oPo*= z4tj+&yd23+8Ye_eCQOlBJ`vcQTr6*_(tp2mk2MG2@!%d4O5$oy8S{CxeoHHv6Ifsm z{9!)x38@CVYc&*(1pM3h<pl8Y9_JZDS$BvRo3Mwa;uVUVrjjYdQaaB-agCVjGsYad z-rsawJd*NZtGE!i-wMyMn_x(1A)`U=M^|XV{F;uZh2=#RKFDHOIAI>Em4S8imUL!1 z7%HjQaP5pTr9jh6o3ubDqdU`)PJL*ODzS*6b($<gbTv}aHwXS`-`Va#XhA#;3ms`R zxRW#3k(w_e*SXEMPW4U46cp@#rM|?V-z%EKnWwcxkp(5o(U3?^hqdPU@fpbpLsENF zvffJ{sB^Kn=A9sFDMjZDQ7`K@`FH4R^d|aJ=?aZf(5!^((iu<mF#|Ea_G~|_#n8#I zM!S>!BJk1%yaDxdQEZW|1cPz*>g>UE)#Feas&ig?yZS#m1?DeRJw^M{C*1GiYzQxo zpta;vcvzIcPYK!)$gMZlvb+s}?j&6|n#-yAx2(I7%E_MLR{Z+Eh4?Z_s`i?7F}$H? z{=KyCFL=vOoRxez)ZV6OI42Ii-NdWn@KGAE(RiB%azG!K0)@WHgU1hpt~RV30sY1F z9Q7+5mAthN2^S{jP<8$X$^+aC_}!vRtg~Fije2e9oPcVk1W~4r;F=sVt<WyK&o!0y zgyfa&unn!OgQx~Y2p`3#)tAyhScN&2!~vT3`$<~maQI|I_K4kLy_s#tRN$won;nP1 zyz$R{Z_NRj!g+h`v<r-fbon@oAra|`??zpiEa5$Po|Q`A7)A9Ko4#%Ongs&qgC%~u zPt@r+bozbqliz}T@#{Q<{5mI&EbwRsIK6Ug*A`DD6qBXevhQ!o|NEb}DMdmufP!9R z1VlmphG-`J3jg0@>u5+(d?X&W|95hTm6(%_BO^W<5)<s-_1_2)4G`xAslIse#-)l% zOF~M625Q48+sOwhDT9d3jJ>fc8R1^+p3%HOpehR&xgbkMQdr~;^Io1Xd-o>P_atx> zFgvr>yK*!!8(^>!&}-KBHW#S0g=hn=Awv4opZI$Lgs_U99svXdNRa5eZ~-w6A0Kvj znAq3o_-b5%H9UM&BJga48Es7s5i^uZtesoPi3&RB90D#Z3X)g>aU2AJ41){-HuA+O zUPJ*Ri|mz2Ae=)~5F{?lVtyVior;C~cPDb>@Z}Aq-)0gLBq~N|=i>q~(JQFPq!k%L z7%$i(v~!1bU33Qoyo3Qh`r%azMv+E}9+QHEcxQKa0Lf+G8X%iTWYzBmLBd`}DL@(# zp1)M)>t~t(A&C5TkHqnv)e~eDCHzIsB(V9Hukf5Q2x8!neIX3|%m{)Bv;?^G8YtAM zE{Fj-`b|c|vJq5wpil%j$W6#6?9;C|En@7wHn!nq%#+|?;%;LY=s*E@M9AYR>l-tH zhHem;!OIL12q0c$@15il85`d;gzedY7ovc)9y)Lb`*Sy<L1IW*8(s(s>T5)0M+^H8 z3mw@xdJ-d}G6bgBW3?a!Hm+?9pBGb*(6omnu>i6lAos`|n)ktk>*+`hDh4sNgiuv? z{|gE_=>ys=&=izZxB*(!loX_b4&>D4jQW}mboCqL2T%*~5$uBh?yoG3-cKk6ehS?b zvG;w<pBdSU8YIRu<n`s<X{3*W6&c1Dx@iQ=z5tOKVht$TH?H_FVy*kK&ZO#xkHix~ z26;Zan@xdq96V2iX<q@RfHrO6#oy9$Xj69)w?eXzkR??85lYg?{Z!Oo5P^Y%rh(Ay z(0#x!;N=M7)A9>104C_8@)D3xms%wQ?Nfa>4dUzV%WD6^L6{Np8-jfHf+HYzEGPt- z`I_qEQHHRNc?0_ZoCcgSzBaDEqHn))zrO0EM-ULdYLDJ0cfRJt^o^bCg)rNLJcstu z#qgr^P=<jVT(PfpYljMgsp-SMmQ!sQN0|cv1+iV^=wCYmJnU=G1REoh>h~oHyxrOJ z3iHP%f<7WQJZM1VaQ}A$er_h>>pu7P%_fgg14eB9*-upw=5~qUPsb}JoM^okV5Knj zr^Nclx{L^l3J648xOdX7Bp6i`h`(_AVM~bb=MSGi5FxOrkq!{&+z*gPY4){x$(Tq0 z9Kt!~0_+9yOHv#X6b!NNlK;=Zdk82f*tL<x2SQ{dD1>r*8R^AmkT5sQiov;2(x*mA zEgo*1*^OVPGyG>duuZC5LG?TRd>?&5lXbX~v*e;(_s4vQlY@A)HPywcc%oCuTr$K) zHNRy`u5n@>NAZj3p&63&$U>!>)W8G4ZDry+Yt<58x+V9Vm>^*>6f{EVczSz1Azn0# zf_8>3!M4S=j~>Q{N^xx19WgbZYEaVXiP!^mj^6uZ*Cj;m>pYiQ#Xkq*uy}G@#W=lC zWP!@{dMiV;Vaf(#h_+VVmH#$=Xmc$a>tkM}2vuFC{tH$oSPJ7%^=qdeUjqrat3DP+ zcq(YQvNzGDwHODbq}Z+2kaT<D`u;b)-N{P%ZM9-6b))r+LGM78r*3J@Lw|F#wS6+{ z_e1|Y@3<h;{m5Hr7959EaboxkopwTF&NQqQiS=oQ4F4duNBPiiLnd{9Q_p1>q^0}p ztYboh*ORiWD#yn<rqC2EK9N_T$p0b62;9%FrYivZ``O1SdX<I+;W~XCgV5W~yCA3c z;~x^M<IskJEbVMFJnb@XMg9_w{!m%z<4!*M+J)<I;i03?YKgK4!L3287e4|5IDED` zjrmCJQ|znKPM+=9L922;;vlYv))Nkv=q*CV$%tN!ACs86AB<z9eQ;L*CstCu+@iXY zX(B2}dhU^4o(f5W`+IFt4Mr2401C9%#LfQswXDbOgyIvp&GsY7#&zh}A31O{#kQW= zwi`AOUh@iHry?vQCmGy058lYfqo?HkN&kbMcap{ID!c-cb5bOH!4)jqT-)6;oa>XF z@p1=)Qp|E)#ITOqo<&7KcPXvd`F_8PXY%F17ddWA_}X%CF_ZJ9^dtR`b=?i_XjJ{m zx@;-9%=1V-Ftfge<!WrcI+@%%V7hEF;%eg-)!g}D5Hw!leACQieQdj5$3i!$<@>%g zdOo!xm$<2LK!y?P$gd@>O7a$;x8oQi6+1H-?ZS}-PSF=~McxFg-Sm`=bFKF-uLR~2 zYC!R&ZV_KXthqOv+jIv$>w0mIrmyn<^*uDf?KZO;1$CEwHM9$U>OWfzI=9Rw>k(12 z7KENR6SDmcxxJeHkxBvL%4s37JPCvK$hrP!L-_cL!Gl$AMD(!gwEd<hKy5E2&g5NT zZ%AM1b&(BY5dH^1ZyLHK5OA9N%MQmZCGlp{uObXWR1lrkzErro(IX|&_p-+60KIvL zjaQ80d)Qu#i&*UrF<e%ud%6au%-k*wo3&7_rkCxgDX6BP|6yvO5b_~Yznf%lr)(GG zm~?S&L`<!3&J;y~?UNf@)6yj_!8GJL$Cd+pVl&zd69^Wd;*XxRW5DB4-eFb!lIrIu zoBZo-v$mR&MdSC@N*-w2w}(+I0bdK^x&Y21y8`Wp#dH(}*?480<G1l*?~_P|w{*$M zE5&S~{MaTQt|26>)!IjcReI{h5v^z6;Jal<KC$L-Lbj>AlAvt?h?j1p?s4Ieu^4~W ztYX%EGjK<M$gznE@$H_YevnGl&OV2%s5-`ej$F^*;-~k?{juIqQLO#Wbk>ru^Hv1t z0arjm?2QF%<27H_Tsi@3kio*(GJ<89mV2|Il~In<bJ#(c*@~6?ZHS%@5yW|?saX2C z(nn{-id0H_)zB~u!u>CW<Q_*gISZ3h$h>3^hK+O}M2}{zt4@Gp$`QffHYqC-V~noe zx9&JtUmraFXU3a=*z{KG+xfmU9X*-^fydH<SmkpUzPi))r6ke-CWNIGuWbkU${Mj; za3>U6vUwGP`msZjRrrs*&691Rc1h+5-9nqL4o3;eR;IhVX(eV?_0Ghc6U)1tLbdwA zz=S72nJa2-0YNI0cm%WsbdA(EI3bk$xG@JCx<p<>DnR&GMyurM{Srh`uBNra^1ifv zg@Lf}_4~KH3ucjTdf4VK%HCJ1z7a1BydR}qEB0x{6i;*<(+M2Cf8U7Y$pjoZnXR3$ zU~XKw?!`M|o^Sf7QJH!T@+N8FY^uvUK{+;osp}Xr<N(Iwavb<~OAB=czFXG6r{_O~ zqpUN&l*ye}bVx{wuE0JOM#)SD%;io~vTf`=hziU3Jl+)g0yQuMTjiJK@v^&e5w>Pz zeP21X$2&jqauma+1=eN`s(J4t1~K-B2dPfpVm#b36mS1zEhC!k`ZC$t%J9Sp$^APs z)I2lbGKW<WU$gH{OX0uN97c<9bgjsAkxV)Kf)|M5qe&+yjFH%v2vD%IYgw;{?~&!O ztd}$Gz9s}p+1q|!KyU--L}&Dg%Ht{&uFe<J+9xtY2ha=sxV;h#YQ<7a_PsDU2bl=q zo8fuZ7O7OZcHp*G+4r6{BOdI8LT3p8mwc_@ls>3+#E{Z}tvq;S!?*e=!U_|k?L#H` z3jSSvO>|cENQ>c>U`S<)q~6Y%<4siVdbRPSsl*aq8<=D}n0+kdUm52_8hwoqiX(hc zwe4j6*CBzFf}sBEhQAj*XcDr1$NWEqomEhtL9?w18YGb54#C}BgA?4{-QDfQU4py2 z1pRP#cXxvOhX#k8f1kap&bc}lJ+rE2`fjRgs;1X7RZIOf6q2&Cd9j&qE=v@v+;yj= zmN8g!x4uB3@<Fr8bf8wyUp7eR8d!z_+tnrf!WiNh@n>Gj0X{mY=&4^be5_jFR>K!i z2E^%trMK&)C#$!YrH`$ZR=y*{-zK7IT52?1eHD&VCsfyrTmCjY5rEQMyD(EGCJO$y zJN9x<6{VBL6}F6d;Q=KvE6J|RTgauP)-<X9!!GdY_sDd(cQoqge8*F$8b}MpbPw+t z&i;%_ts2jQNUqO~qGo!8Y&-AN+a0~m&GsVf>jP+>fA7+!n7%H?qG{7{do!zDmPRou zs9$js3n`OTD<VNHZuI<4iEUvOS6jJF7LH4BX149P-EM=AW`?Oy`l>m%fb8p$EH&Ei z7Z+e1!9|Pd68wo6Xno5X^-q<=yi?&w3-+;>@+)wkMV!I`6}T235d1YIMC^?<#J_K5 z#4FOhGi7ix-T;|98sJ{HXdYm`k{Ij4b)_ejt23i7T4k2Gw&8tc-{q|$JKPF6s-cD% z8UhDX@#1`YG6^Di_|f0HlVL*o`<D3|qcI?>5B9I?OkMzYvBs=ahR7kfW#)^|C2tXh zn6>pN<G$OTnKcr8!AcZfI=b}4qJrjGxyopYzmA#^d7tK#eX7MfvCLe=Xbjw1O%&V} ziM;9?EkY8l%Y*fp?zorEjJ~Jp*ihrUw_Q^-qpd!dIPpePQ;<5qgIzfj3vD9N-vVeD z#>L>idy7%M@HZxHxs8>Iu?q-*7pcwsYUCkjBHuGiw~tyG$_CO=*`h}(v(v{iLM8{h zJUE~EV4XW(jJ0j9N|pWYAb+y=X7igi9Qi;W9Lee<+u1;;!g@8AR`H9eqbl0a$JAj^ zcMvc4VTDJ&(9Kr;@P<g!N;~|lU<yp&;C*V1fTU+y3NV3x8STRP9g)Qj>T8W6&&u4! zu$q1<%UaiK+P^F2!lDP~b}n=%pP=$HHXEo?0f2AYnc|rT7CSs+ra;nysqkoY9!V1| z=7Hc{=Z!ZRcipH?!E0+;RL8?`(6nZ-8v##3RprUM%RnJ~F+tg2Q~!eYBybm5F~|vt z>biBLCU~NGmke#8_eLSLO5W|kHfwL&x%P+b`;S-v53IO3?>~;%Z{&8VtSEkq;vIu< zHXgxxtrVnfjbgl_04;~{N!K@%aC1e0P~!x$s$OAlP*iSy8vaMSp(1$3eInG-x=FcA zUm*R-x+-ILX)(Juk@p1B1dtlH_D>Be5@52J9&2<7bSgJjjV90rPx<QKz7(ygh4se; z$Rm(&Nn4l`(k2vL`*@EpOx#^7-oiwF>A4O<RT5U5E_o#p5~E*&iL<``E1dsTk=soX z_>ux|4pr~Xv(2wAlluAV_Nxth-^1MWs=l?#<?Zs#@^Y9;u{Yf~J|Jl0$gOVL)FU}) zGqe|Xz?9M)$FIuxwAU|5)pX(#*T+IA1~^w}DdvBgZtU!y8i!qlH=D`*Eikx3xrl}C z_pbxK))n@<wZ{@sVlYY#BPwi%(iTGVYQ&*xmCNSY;b&gX*4E#8zg9Wp#l!75b8USH z?hbF}(*@8iFLG)(B7vs%n1r_*yMlU}aX%%;eN4y6+j30f0uhy!fgDyxzpD{{A3{X( zBMHO{)n`i@1SP4A{#LH>p2*psoBOzruk8<db22Z*DO)6C%mH^>HdsO;P5M~=B2%!6 zWu+H4+t&orGuSsXe?ME3#56}>P0iZU_g9R?qT%D!HwTJ*f&n;FX>figHmL6p6oN~> zPac3!zwf9Z`qDjNA%LeUUXV6wVv)%EACn|-mW0vb8GAW$4|&DZDl>S1CPWI?ktE;Q zI~R;o1}!h+5PHMvk&S3?Fs~KgB;hAI>=Zrq*wjiZ+1>4LARXaljGy~XER~~4BAjM~ z$kWTRl4=CL$3U(h=I)VER^#YHp^&$x-vFL*Ox<<Vc*K*(R*YpzVV%?f2!5yZu&PYd zB~;;<f~uQAIs}N)b6`_%Y-)A-+)ApJHajrXTFYx-N#)Wo#$M>RYhZ3FA0OU$KG(_G z_SAC{h`^}ELI2=lCz<2fVW}J3jZQjiI6F;MPN9Lb2I$cuf~#s8i}Uq5d%QJVKmeAM z5>xwN7!3ataS!nfkv%C!N*0&<r4L2zVS{7`cSi68{%AYS&7Cb#?^r4cv#MK#<bvdS z=0z991rh4rXleNEvP~20r}bzOcYU&b5M*MZz~o5CmaOHSzA6bpHzkGV#dX8x^Ef}! zcjxK@K&=rJwEOV-_}t^Uniz9o39d}2Q^Sm~wE#AVBpL@QBtM<Y-&}TnQ5-x%Q6b0y z6=ioACgpJ{{=zipZFw#PGGplz+kdjX@3{1QlXZ09OiO~%VrXS{AvKt2N$p;k`jEVb zEX!)*6OL4GA%@ekrHi}|R+Yf%bm+ts+|W@4QdESvL!QqS%A5!L$Bi7v_^gphk56wd zggL@KMB>f%PV$SUdq1^^afP!~(LUVIqh`Nm!;g{gA|G886Sk92tDnY>&As)Ke-p!m z$FzXp${z=NopIjhHPoaB-rglYRAYspmFU~tXT+<OCdg8(v}JoYVxPkCFn$~Ovn7cO zz>?yOZ^62ShCDW<^JR^&T7eHX?)0!Xovt12fw|v72U7&^@rKe7rAd0M6Tg1gkw>`Z zXzYwnY@wQ&F;ZKSDN*yU{w(cw<NIh#`GXM9VaH%@ihUU4`-S&t1IJ3#QY}XHR}fVU z3Wiv9>z+P=WkWrqi~5?Zr@TEYb#kyXp#4*-eyY69y!OQ9y6|}|f;cpkyW8<vrfciF z4Ey!(SRo+EHg{)WddZTF9awoC3;H=onG%WMIX;WG$ToL-+@g4vq?<w4VhvN8H|S&D zhMdH#?Mw=<G5jjlWP$`E#r-T~hm+al9dwA9d@lk7Nn=`0K1pjHB)ZBDO~}LoJUN{s zkRa|%V(QFQmuUYZbg42Z`<KM>KMhXH1_iKoK4*MvJ5TX^o?-?08u|buODtYU>yV3+ zZtL;aOC2N9u$jG8yp)BwIH7$qQ3S6}#L9v%Pb<gnM+c#Yhj6l_4p*Hl%%KNqStd#K zqG7`ZZc|jh>*?7&jqKb#n?cV&ubD}Nc=!DS=T8cq=Nw){_)JG={+uF`!dKSV;s;5s z<b~sACqYQKD_gu*{l*z9bX{$D>n(V?1PAh>3p|IrxvZLQh4>_v&Iw<l=lSk+_vR|g zc$dJ_LjetlO;5cErAE?i<A%j0eFdNifzdq78w|xt{GK))A%%kB8q5w%;vKm!n<j(b zW+b8s$Q$hFdABpCH|2k^j_}?u5+Ai~sIyX<kd<8T$>KV5CaEUuB4A6c)=^FHF}|j} z-gpZ?m4?VJKD?>aphjF}u=LpAovwwA>&<%L7=ijA*Cx6aWwRfgihqmYJcnOJ?A9&Y z$A)vGYy}+Hf0bU%A~OdLnsmNvj}}Mmw31T$@+T^|{=GJ~XC8xtwLq89pw}+C?LF0Q z#YhO<1zCi<{TMh)T4#HJwa)J{w|wDH&Alv2)bF<niHcc*P=+J**^aSyJ>L4G<>K2d zUY-z5E;~Cp$oT7T6}{C3d1OxOd;W@5r}{HX{7n{Rqm_)h54{YqWuJDL&iz!MN)A&4 zDpj4RWDzMym2bz)jW|sR=B1vf3Lgy}3-!@cCh@|F!kRYuYqBj(ePVp1inV7{=?%{@ z`)eFsABBO&^^80+(heJX7xAPYbbD=W5~Nrq40Yp#f2QYjp>HV|0|);VEo|4lm>32* z*GK|qgnu;g0oelxwQMC~yDaN$;8{vsD}`z`c7f6g>{UNC%cc}lx{zTirM8l{3cSdQ zQAAnN>AV{*dIr;ZCrE>DO<N_tzN`33?5W$X-At}?_!@Pe5)fe_eS}5LE|8eFs)>(9 z)`{HR(qbKdvkbtEltcc7up+;@E0H<VFo+7}MuB``R<i;?Di8LNDP<-mAMR=pDtX3f zXTX?9TtJjWKGMxWn$D`4wJ`JOL~1<lYIx5?_Cn&vUjl-Yosmy6YSU2@mehB?a(|rW z_SE++yL=X#w333qzuX%LS8UjCy+f&}JZh#!Yn37yqEJNAsCW{(emS5SSfCSkwfo7L z=-`Y57f1voMLY>2$F-+&G%YN{%lpv}IaS6NH#K*zD(+R4KdKTc3zRCK7f<4H{su8} zgvKws(S4KLL=5J<P+9ICl*DQD+DU#08cK-GsdH%HQ_V-&l0Bfk$ob8i?{yx74o^sx zL0j2COPQzQm*v4RGAoOA7tm5uboE%LhS*J4>z4!AJDCpkXkFv#%|NMBaTWe*5*;fE z#}DaS;-HUKHSQg1TQZa}-VS+k<zMAP;}cYV^Ki16lgU*V*e5P2momQpqT$ZzfY1uo zwZVV&_4rIND{r$g)F7Q!p}D;D<cuJ5eEq~d#E!4C^#_|QGG}#dQELAe6GzOcrF0xz z6;}s9WiwNs7!iRqyxfuDse377G54Ao5F5PG0J-*p9Gp2AMHX6*s8fmd%yC|5&N`A- z;t%?gPBnW*%m4PSV_DP&Z(=(ABFiVbg;0x3|H4z6>Lh%!3Vn>pHpZhenwg3Uz9Z@w zGlaAvA_j98i1%im^S4{8Ki=JPnMSrq$o&L{rMi(mM~ZSa*`9-*D{iA&I_sCbH5}M5 z229`fJS%eafIW(%=}L*d2ojf3*A((z#P33EYf-8rpUqIesoGhuHb2v>6)&f@K`~H- z5vb+Z<hPxhV_tuQ#_}K_@g+uRzv)YPtjXYCUog`$(VMI;x<}BBvDtKbI3a}<;{*e^ z_Kfi{1KBj&R_Dt0tKaw!`IX_ijS%BHv9HHovES*hBef6^mg@a1P0rGch2W0TbbU(Z z_!(z!GL)Jf5-+xXppWX3M<{hz&~zxcF}zl?eQisYv7H{c4e(Q={k@>9S+eZ5uu+Qo zN4bYUC<-noOJ6HQaX%SlaIGc%5q=X8OLJxt;ZTB;KcxfR_4)H|498^XCzg6<?3?7h z`ml~*?a6a8pr6p5P=8j=xrgb2qjrB5pL{#H_q3~Pb^nL$iJUXX@5B7b&;cpmbi+YR z_ib5#_Jnu_Z-ci#EP2Z_Id-_0C~gvxJJOrGubp9;(y#4CT^xmw)qSd)5uqE{WK{xf zqR6w{pz}bOcel8WRGaQi{;)CL;n!mfNea(ovygZU+X(f16xd(R;fv}j9)Tzy+4n%S zP9v=R;@(}cx7RQ!&~J{}kkFqxl(;TD8JA?NmG;%<4xJ$PvDQl)g@v{9%I5c(mS&Gg z2OiO9vTU5x$;vN5JopPadC+`7(~{Weq&vIW=8NLrzNL=c;JEE(8d<oD$sD)Q7h@MA zSl6DJFh8(j8CCK+pM0|g`Nm@Oj_nKBkL`Go=_frpEWRaMJQ-6>)?!HlK9Y4&vZE$a z-Wue9cy5{k_pO{#tPdKSVTHC$_(+nHG?`bqokt%f$6DrfprNqEtX?I+PhY;lLM46} z^5k$~rMzDVQ@rJ_{8-)IlXF@I%HWraY<X2aeXJ=OD&`)*FpFXVLusvxTx*+se^J8{ zG7a1AcuTrHn-+BNeSIH!7f+UKI6_O`U6mu4OiYkkv*9GzV>-xWDpW$vSJ+=c`g7Y) zd!smd*Tj$=DOf+H0ha^hPy6AzZiN*fsJK+<+NXc52-1%<_+ysgUQwcb&s0^Vqr}K= zx)(`sHv(Q<l?lLa(H6hlrM^PDw{UQA4zkB?V8{S{R*CIa^q$i0Mi97v@*~N-%?nIp zIlcFE5umkwXBsPQnzwq8g}G|7+{2RIOXry#ZFp;*ubUob;I0Is=tkTQYI2C7ob*o* zEvqYr>`e!#>|o6(YVPM7om$1}dmC<umQ&mV$mGGa=%jA?97`3JqYbLNy?V+GOBIaA z)vXKxDvPw&eB>;DP#@SCJH|`FnaBys+FY1|WN;>{zB8Ec`3#mqHh%jz3wLEZURNM~ zeYO+3<E!JWvml@$oSX+<Sr)2R0rcnV(;ZFt`egM%o?kmfN|0T$k)id_ejB9`cf6BQ zk%IK(g@>q*+oH|N&j~XAs|#U-ph96s{CGb^oEzu)^c+0K(!Q-5y;Lq6WxY?Cod=?7 zw}w~j$zvgeI9Zy@`lkSd2CYKN|K(cvNA^n<bc2BjqwR-jrtODSJcHz7PZj#lvnb!H z9iBuJ_%+fmnz`0$+us0UwBBYgr9cC><_e0wk$g&_NLVSBRUepElErNQnVxi>?j3|E zy12MlI^CrjVoRV)PMa-LToqbb19Erxk{pj&-Nv%i!>&5Dn^EEO%VAOV7yObjh7H+D zk@B>pKK02CIgUXBx(q}E%cE395`bL7BBeS8@x74kD?2iwSQ<1UZIja0F7y>N3N*$} z#N0zPB;PD#Eo8k?uV|$dEz|%zQ#B;yu#~mOqQ%!<(X3!8-aH#NKBtj#*m50cgPosn zSYAUtXUvdcurR8hqZ7Cx#1E68sAYcW^kC14=tcM9{X!??F@a!&fW|8PL<tx;mQf)B zgdih22#N?=hzwzpPOXqY{~iwFb>bXZ!mrvWi4a9Uj;5@$2FAot(rha_#O$&M;Q1im z1BLAZGQX0`$-q<yr|2Y;t)O`by%5)wOUXge*Hoa-6cM7+HrDe)`Ad0$kSz45BZMD= z4@KOd(qx~4S=lUwH=#YCRDd|ve<Sh@9H>EJIN}PH7JUiBV)71xT<2IdO~U}vL@g8v zk^+tdB7*4~I-FBsp+7wNW0=ei{xKD<U4Wwl!AwZ(u_#9{p$3wfULZ1m8=A&Ev4@KV zVp`E>uTYHA8Rvl5`P$1*EBS*Mk4;XPMA$yzYN}<ZO#YYU!49A3fiGsTu6q;Tn}Qpl z@x9<#gTUS)4dGK&vwy!DkKyeg`J$RZ*#0nbaWz4$^{9~rALV){d$173QkHVQ-Qs5b zRI8zJoXed&9sR5mZI|np&Ci>CZ_eIA$Z$8%>%ms(_uh&Mhm9BCi_8?PloMnpM9nu` z8_)LfvhBTV!XhB}8!%sl%WD7>A{w60s-9PZBzj`FUT#aoVHwT{nK&{Q3s=#D8y~&o zJ1R=|)<-@0i}{44CGH3Fx;fvqe1D)0o&5uiED3@A<$caS4gCbz$j#(w<28@vAsA1- zI-1PAEW%Al4cxA~gPC{SW;RXP+X#>a?cn|fEg*ci*hIh(0m9c|w~RQlp<wPtn+PD{ zNhSRJ6{C}M3kQgdl0fN-bHFH78a<w`2vf$Q-^br&`H!k;)(UG66QUB|<s|{kE^v)6 z9SF|?fT|_JKt+^)M=l?tT3xh${q7~3dBXk%o<DPUGhK8wy%*8Zv^^Xfdp}UEZr7_O zygXQm1gUlb>8X|7U8&aFimgq8!Ut=%MK|_AZ@KENin__AMEOpnoJvp4z3=@52p3Qv zq$$Td-A~`A>^YqMZkHY32NhIz4{vTK_ivQ%4W}wsYPymB5zwap3XoKwtfdp|_o~Ph z6XXd$%w`a*fY)1~Xg+p&sXJtOYp<8>hSi1E2>jy!Sc#)Q^xz(u<Tye#&;xJnn*;pS zqk-Y2OR#%kF-Bm3EnQWAlN%+QGwC-}zL^*Q76?S8FBq5G=|Kvu=<alm*2a)>k(x7i z=DxuXSqnb~al^QxxNQ)Aae4(Uv(JRg!t6}KhT-NVf0Y#XYxX~y#ZFp=;LC3Qm7)>* zHQc)xfIyq}+~i)smrnj}se<}f_5d;fg2%e|OE1+U<aGWpC5MULBJ5%XJUJKLlqGr5 zU?!pkVT>wQ!b!9Q1uIO3x7HDN4AsBFtBH>L&D^_bRI;G$wfV^!kJyyFTF3U7UhSXX zf*&t>I5`hjKI3x&LE@04*3mbp)EJ$NwZ<xKfF(T}S_iievhVX<Isb%+f`y>$ugDD? zy2wu^f65DISqV|zA*UiF^p!}$Q^JWAWhhKY6FdvWKK`En@b6J3BSkzOre>jL>k519 zeFQmwUycnKTM=qEF7y?l*^SqMC)hBgV8Zlt-O5WN<`R_};4>jLBSw_^T%<5?K(+oO z3$Ti`R{DjQr0VZJf<IJff{J0JD~g?0TtOAj&}EN*NNTUxOKre#9D6GxtoU(N*Na7* z$0Xl^{)-j=4@2PSbs8Qk%5=73Uh1V!qT<i8REF-Ri*daCsnmOUskL$W6g^$N{!^nH zk6~#ZajA3=I+-U;OhjOy1j0Ztca}t`0T2qgfSEb01YMFvt0KJZ{sXE&f;K}s8YRqw zk1hVEl4=xktADr%3TcM|HxoL4{WtzLM`-n+Kucy&frPo-obmU@<J#EB{09}jY|2%9 zadU?e)nBoJ8w!)UlIsN0Z>#<hCA=x2bzd2I;`Y6<<9cd~tzhd=`F={`2o*Hh1_Egu zX<}C&G+cwTW7ZnYn%har#5~`5xqKoq2;=(s`BjU+l46t&)^H9@<$=G2utJ70(tQ#I zJG(3lp>fB!*~CL`ZZt3#R5iH42d|jqTE&v5pTCv6l+<dNX4U3Tt}@}CW*oBqr8xvm zBvhC2-9_g$FN>GM9|qQ?<kXQgI|HP>*@#E9H?bStBQVoAP|f%YIs;5`vU3hYgU(Te z35aBtGZGat!JP4C?d;;y>`D^|tt*(Om3R7fnZz`7?2gPQ*};Ti*=z>vj}$Sz+GC<z zRxz#OP)MiB3A$==dd60D2s`*o-tri<*pZ@vJz7Wk<`lS~oH~)Cbpw=dm4Gcb$_$); z4*!z=9<!h41XFZaF3lR_%&VOqCk~E0VMIS2qK4eTthH1cndcNe>TMm$&QHR<l{x3Y zo6x^ZML#PY2jlG}bs}hHr}`A!gI9;it7iBf5@;AK5YIk6QCtM3IYo<dI}62V^za1W z{p(awo<ba5QCpcMYufZF=>=Y73%_aU-oS*x1gQtQw$e&TU-9A6kFwUiu!ef0cv+#3 z2FzXY#i8d0!*$LZZ|*UBRSEK8diNK&xeWiRQ*2VGS2e_;pavx*{4-u)w=yq0IF+Jq z798Yz7R?+SmeFaNn)l1M*6lrQPS~-q<V2@)O%zC4!CB}i28$Fq5ddWvgGDF#^l7Pf zlz8utzWzPJQ3p(xHp<^fM6Eh-(59({4%I?81T7G}`Vf-mKwjT3A+G@RTBayXYRvVB zTcsu)X3m8V^W>Rl&T06RJkJ3H6alK);V%d2GC|Kqm?g(avuK`hdDQZA*x}lQsee!1 z|897w_3-)$pnOLCM|L6b2n}DTBg>@1+T$_il$vyZt#zj{>y?Ui|0Sl>n4;n>i8<sy zy+YkR{+_?e%_N`h9rqM5>~nhaQOdf_lWj?Cn}-|V%R7Dhd5aKB0K1&Gh?(Nl!eU{e z(ZcW4<cLurY=|J_Rx*<}G7SZW%tL$ULOO$yRjHqzvN14X9T^DItu3Js?meH>jV|VA zjQiXt`G`Y0x;cgLzVvp`jEJ9Ze5u)LzOUDaPkx$4ez!nyu!rO)bv87@O}H`WuUDol zy^)G0Lx^a@r{5<IzQL!F%-X&><~G%o!Y%4I>!Qn=*Vr%P9~a*hmph=#os_DS9-?6O zAg?ceoaAPU3k9^T)>yQ*NN$vE4#xL>#SM;f5q<+N&)@zdMsnm_#a}yq;O4yUy+!qJ z?sfBXdp)cD^k6#Im!lp3>h1F5U1R;UPL2@B+OMq(Gh%QnJ@UY``;$!hmU(o)b7Q5} z`vtWZE-v5uG@@S<;NsdQ&_%ZP@!+Yf(H9B6A6S2dy#wI=cPa#Xoey&dzU0)RoJ}`$ z_L6VQd_}q>WR`$~>VZ~m;q(7U31-~t^n2PxBID!Hq0FBp{yrEuNYJA5`LlMclJIda zA`XTCovBZi4XNpjbuk~2zW&4DLDA*(X$1Dte0fVbWzcm<n(ku5dwrQ7o}xZMm#2G% z*rK(lY79`e22d(?YSW%_21l)bZuV~Le!1lT?C#Yz6)S+4iaJm&eP-IfeqTSS%RV5? zVl6%DHkji<@^?_#kvJzx<T}dZyIv%zBb^@x<!&+;hWRehZlee3R;2rG=W&$$?tBsO zUgH&tyfrb}J;?ny;J`PQ<M`c5h)wM6#TK9vhytc_;R4@Zl%k{^$*bQxS}P=sh~KH- z$wPOwq6aLPDh4&8|KUsr6u*ha;Mj#WD_^%izBT1c!Tz{?Sii37dSoNJIt<-T3olPw z()XW3s^ToSW_~fIvm3;^4tu0|NB_Y5sHWT_PxNYy`S}2N`aQa&%C-&Z^M_F6xXrAt z^aHY|oGd4-ET=Sy^+L_;N5=(%onwEix^qxomQDUauO8j%rz*Br^IVpjE?mN^Z0!s? zV?yF$<@7o|r!bK#>5(-3gO-YZ)17nF)yBJPdl+tSrv#?ZcP#yixtOsDYW;1;W2SN3 zHfx{1ZrW(4Iv)%0dOfY<l(Sby;4SZa%EM_Vz`@BOxu<Tn!F>mg5Y#s-Ji6ZQ_n)?y zPh9M68PN|9(4=LOP}C|}ird>-q-w%6Yhu*!%yo+5dMTcal#XlhE-UYvRec3~p6woX zIOn$4#A!pseZTV+2@4K6#lI<4-;X=b&8be6;pd}$eM=#A__<W8`sevz|MC2aZM?0- zsdywgN&wyS#|aH!(%C>HB+nfP9V(#I%z|c`XX@E3wb#wZ?frK4ZM>c057mlmt!=U+ z$|zT{?Yx#JoDqm_TJ7o9<>PTsIpJt?O;^5xaK1$1Pq~Z(qGO(Qmwutm!J2rhV0!e& z4%6F0Zn&3*J`|4y2CVWc^E`x;*%p%n<lqp`^iXQh?RzaC*k(~ucwLnqOS$XC6!^a5 z20iM=a)FYX+@u=F=ka#9y2`4whD*e>13Ah)qd7o?T?Ec&?N&1{qe_V#hbDn~)1ixM zQAPH4s`qws_}g4Kzgf7riQpB|Kb=qKhX9pX);B(@jYYx(#v-ZSL@aHb6JlJIFmQ@I zanP)2QEmE%o4S2I8I}HJ1-8g;4w@y@rl*a`wI<hHU_aAd?*j#B6c>6cN4nB&F-q4{ zpnR%WmuGDo6jPYg1GMJlH+jr4r32@e4es!|gL+MPM8=XKl{?NkISp1hgQ8X!le$FL zGrV5-@@4s5%7z2mmSOH|`S1T?cFXc_%Iab+T>J$V*1fMVU2Aw2T+2Om5r~>8x3?IZ zMl+E;8%4M1M%uj}b-h{VDZov{jQ^Ibp4S)pIbCWHPOZF8H~+Rw{#XnA)W8pw{a!C7 z=#s@)?0R>>U$uSmw06h46$WRF_?#Aecn3CocSBjC*uEENmFW)mO>8RNzD)nO<DF9a z6sS*nCtR{;C$inObl&yz-u>N_C&uT7&zKhIMb)>pB?7)U-7ML1Y*#RQRWW<TFpTR? z&)tnXw66=%d>!FGBpU0+){&`1i3Iqj^b`GGW<n-494UUcT>5sPxCtm#c(iLe;;U}7 zsM6^T=BjQYdhgnQK?lmh9e>qu=s&670Fl7c`?cTcDAx_+Yw{%9jd{b^fw!IPr9@B^ z?H!9I;a0CI&Hl?P6o3J?|D4Q%{9e>Fr)jQr=$#CHYWOW{*^&^tgd?$(ekjkflL5Bv zI?`w*`jYB+<;eD?jpFj<Nnrnl3M^0R#Ke|s%Bc^@xn0Dut#F9)a#>)wJZsSfC|C<* zT6G<a>L+Z3%qK;^kPoHn3*Z+5$o{&VVG?Q>?;;S}!~vTdxTqPvO6}*I)VGr$uy7=$ zf#zcx22N_oApaM>cT2$M{n2G9cY;s|>Fd7y@Ec>$xBy{yg~U!#w%AjdQ555ENV-G~ zt;M(s{4WO;0gLCUy9Ya7OxBL9^+@Y~T0N|Y3<EB|I@DIRx$rZ*OgVW3`^uVg?>b@e z@b>{Z1(R<q^5a)zJs%MMpXSI?ULet%g}dR<Kfy9_v$C*pr0Vp*5&VxX1$y8<0Yc8! z_3&$l=;ysZqeBATgfF0vyBTx2+=>=G{*o~~M1Ug-MwpLgzr;#_U&E8}&8yCZjdTZ# zsoG#ULyN3kwxrcaxu<s*N2cIVj*oq!I}!{X1iT$th%IESevyJ3aL>aN)J5>&<8gZx zC52*+slG+;Q_(gft<F-du=5a-0lx<-Sr~CwX_*~WMD7zJ(WrKcJ|(BAzMr02HMXt_ zoFiY3XJ%eZzx_MIfLBrD&;r!Qfz?s%Qh(9Z#UlMeEBqzl<S8=0)(*q*`r_f+yCHCn z-gvdXcz;iRFBBwp$wjj9R+rG0=yHkV9!I#C%?rwr3Wd2h+$_LaV4ceXc#Xs}hI6ph z*^#m{{~%{;&&za4z_s+7zRfJ`rXuHgQk?!o-RLBnWUT{lkZxQTYu`(!;wrk5`3d>y zboVfhV8vPRv!W94WCx0d5yprPS5Lr1#BLUTHKCh5fcl{vrOyL_n(c*3#^YWi{OdSN zzfINRIFg=t*4TX|@6<yB7!gEoe1v%l`1+f2R<r?pLj-+E`1?8C%O$v7T2{e#0`UpO z_C@h^?h{LaE148Q+nnm|O0nic>E+Wgd-2INpFP;EyHF|>-TD_=?Yxy==fwG0I4;ZZ zT7D^Et6QFDZbppfOmmnST3Z#E=PCUrx-Ac3Gp!6cT->LP^)?R<aE_rSSN_lySFPqZ zmAdYz0=<W1q?*oG!E3;3W)ox@eknmBDd!)NvnootMl%ZuxQ}ilMp_+}?P1A3RqA!9 zU~H2~tJ^Z}FJ4tXjLc1St)>^79It;;UJi-L5f@MA`BEYi3#%L|9z=Z`_&@1Y6Ul8E zD(Yp<hW~B=)eM=RCv#YkaAne=ZcS09SgrI@CZpOiY*ZE&O_U3IljODyq!Mdrr=DN9 zXpySS7dn_G0@@gCpch(eFZGZ5cszorC)<0Iy7+TzYTsen@+v?N6nZD;t~6EU%O~|i zI>s)_Rbavkk9X?OhB9f!Z@TRax@_lMcxSIZ6-6IF>qqs+k&Wh_CGqVYK{yd%(;Ubx z`+Rf0dHY?!?t@?Nbs?Rq#9lHdhgbeKt5kZB5kq@ey-T7k))JcK%jddFMZcw$v3Z*L zXRZ0lnh$hdIq!MeX12fDx1dEOntAhDkM5+g)ZVQN<j8N82Z^`2A35%Jx5Iy1I{*E( zVk>Y0<OFT$&U#g#zTVLQyWK=NU0{w}l=e8m*oT+l&3vwH`|it26m|8?Od^yp#vt6> zt;hTOMn=qXu|cE87L5WmDm93yCegGe%3hExPRRwXVPpuAf%a$pmV#A-+fkdVCmRmz zHwzA~(QrP=(LV3mIdn7-+u$e0RXs>Xc{nIL#`S+9lY{06#09O#VGFI-l=gq-oZTRG zIwEL2W(L?A8B6FIY{nq<=+s`?q46DzJ=3emYZi||51bC84x}xE{|?B1^S@w*>F6~= z@UU+z;2_F%kF)Rolg&-5w6OYt;KLsApMsS7Gzh1w#LUdX&dI^a#Lgki&BDRO$tlXh zCCVnw#VN|fEg~+&DnQKl|J|bdzm67SW+t|OTz@zyDu8@p+#bUfd+6G8I%_*UMM+BA zD}M&DQ;53wuCMqG5~SdjPY+TPDoT=GD5DGih8FWn65GhdR0o?AJTwp@jy3ef(J)-G zxlN&fPEz3mDo{!|8|=)H+tKY=GS7YF>r_BBR&zjNedaH>LMW!FF;4XZl3W4dV0BVa z(<J|N83-S(x1P-qYsDcDajTw5+Ea99f}(7}6v^4EKOh9kUzUV=o#H4+0ySg*rNP_y zvy8vpme^?qT5=&rF^$rn<>Oc6^*PD=&FahaQm2KPOL7X6F9<gdy6H25;H~mLozlq> z(v*cw&OmF^=>f{UY8LyW(=3g`4TH(N$xS@~$8j)6l(nDQ3^GA2T9fvMgKRJIap2~R zt)p{xpze&ZWBXYP9Bkh5?oyn~Z<J?x0WbOCP6r5BdP1PU`o%!7<^_NLGm_@3wqrh= z;mYnyAx~_tA$H?q+^!W$uOgSxlSD%s2QnHH%rM=@V*sS>Ay*mXe9DKtUN4fxCZ!=T zbt4}|WKD?a(LFD-wnUBCDqb8_3oVsOA8d4gw|R!v31Lo`)RDjA$%R<yFeSWd3q$K5 zQ1}QiYOGw<l|(s=_DSnI-0`J_Om?581*JXk_KRxrYgkmMYC%|?EzC;OgEmxu%yuG` z<)ms`v={h$dBZ61*MMf8A|bWT7k>cv9Yey)Q3w`Q%byl+Co$W))qWWJBGwFrxm6s+ zV7f_2mH+01TD-Nzd@e<w(XfZAI3mFO>zn64^z4@BwPk8p_6W<i)E<E96&Lc&w%4-i zp^x}Z6Pvdvj|kR-UG0y{+=EtHnW7Y>ub_eiQ9ToPxj)Y{lY%f&Ba`l{6IBT?FIpPm zH_#Wsi(pak-+H32?|-#`t)ZfzkQ|zCih3cp9D(mtpHr#Q=`rFDG=A&dlU=--f4Or1 z(W}iE|IyV)rm{NJ>UqV-d-I~x87*F_f(l-Iu6MWiuFh)1<0TP1&*Xv5DL(fR@50>$ znw0wO1;F0V8Tsl+O-N138aZnEACPC?&-Tv%Y7IEk+Hdu8dfpWVP%1qXBRo$_M+g;p zxTpV??^7`rgbAv8)J7to>{91o6_~Y&&-Q-{Vz3FZf<%@^AEYoq!g%NY3@h-PwTNB@ zoOgYM$3cDy%dm!w=M7hWl{p>Tedf*?$QqCDKxj#o1B%~_%M8L76!tILh9~;6q-v5i z*0_y*oDXa<nt#CB8OWMSUYhfU(q3JQE&~banHfX$p01kn!Q{<wYy^$_^Sl|c0d8Fg zSUV)Omu&U>mth;JxV76!ZzVQ@UwW*R)iUdELFg-1V`|Dv|EL#;vYHlSCG%1SsnqQ< z!kSK6P*u#PF_xX=+iyvoy>XlcAD^5wz|H^fi_d@la&mStbaL@<GBrbBXX55!VMQP( J7n2u9_%EQs6T|=j diff --git a/Lectures/L26_SpecificationQuality/SpecificationQuality.tex b/Lectures/L26_SpecificationQuality/SpecificationQuality.tex index 161aeb4b..d97462b8 100755 --- a/Lectures/L26_SpecificationQuality/SpecificationQuality.tex +++ b/Lectures/L26_SpecificationQuality/SpecificationQuality.tex @@ -60,8 +60,6 @@ \begin{itemize} \item Part 1 - Specification: due 11:59 pm \structure{Mar 11} \item Part 2 - Code: due 11:59 pm Mar 20 -\item $\theta = \cos^{-1} \left ( \frac {\mathbf{u} \cdot \mathbf{v}}{|| \mathbf{u} || || -\mathbf{v} ||} \right )$ \end{itemize} \item A4 @@ -185,7 +183,7 @@ \item Person \item Other system \item Hardware -\item etc. (anything external +\item etc. (anything external) \ei \item Each circle is a use case \item Lines represent possible interactions -- GitLab