From 33c5ccd91bd6d62091520f251b45b04fb888f16d Mon Sep 17 00:00:00 2001 From: Youwen Wu Date: Mon, 6 Jan 2025 18:32:33 -0800 Subject: [PATCH] auto-update(nvim): 2025-01-06 18:32:33 --- .../by-course/pstat-120a/course-notes/main.typ | 3 ++- documents/math-8.pdf | Bin 0 -> 63645 bytes 2 files changed, 2 insertions(+), 1 deletion(-) create mode 100644 documents/math-8.pdf diff --git a/documents/by-course/pstat-120a/course-notes/main.typ b/documents/by-course/pstat-120a/course-notes/main.typ index 1d23fe7..7d35b13 100644 --- a/documents/by-course/pstat-120a/course-notes/main.typ +++ b/documents/by-course/pstat-120a/course-notes/main.typ @@ -40,7 +40,8 @@ upon them. + $A = {a,b,c}$ ] -We can construct sets using set-builder notation (also sometimes called set comprehension). +We can construct sets using set-builder notation (also sometimes called set +comprehension). $ {"expression with" x | "conditions on" x} $ diff --git a/documents/math-8.pdf b/documents/math-8.pdf new file mode 100644 index 0000000000000000000000000000000000000000..0c2b50ec058d90ec2d50c9ad2ae5ad3a932e0eba GIT binary patch literal 63645 zcmce-1ymf*x9^L)1P?yA>);w3g1fuBdkF3Uf;$9)TX2GVa1W9o0fGj10t8+U`JH#p zx%dChz3<$$F1=YZy}PPfVAii(&q(2Q8RoF z!&%eG7N}(j;)nQ9L_|=4l8`V_Acg*y@k+=^LfZWQ7dGU?Kt*+5cMnTPIVUS;(DRr8 zUNuW=TXzpPUl6?*5QHTIP!jMeyIBBT2Kq(+Z~gk`fV!uPi-V;jFa{vVpaH=Hr6KV^ zdhBNF;^FKD;(P8F;Fr{XF2tq{(q{*J-0bWi4q)Ts=Lc~D8#g;QD?jkZ3j#wnZaxqf zu<>y4gSdf>lbapH18m$JTp(V^#?Aw@%m?D;<^V;MKS2MHd;%>(#=9iR`8a=Z`&^8-FU zi17hu16F;0}MD9fC&w{)!fBHoH~dB@+&Wm2Kp_V%sk!1kC@4iLP@^K#Gm1@t zdQ(!Ve*I|Zy0t)aUiRTl*HG6k-}U9hwGs9ZBJ%akIkU#795sx;<(E{4l z?iUPd=1u;%)wZMYeu>-52HKseJ8d0kG13#tN$9yue;8bZC3!po)R#A9=8X^6(O~=h zv0LjWDjylQa#J5D<}~Bp;ueJGYU!#Ay022NlTrFKC}KA6m(Py6(7Ad9(3w(eXkIHk zwpTg6=Kbw*nc-{hEk1*ss{L_T&x_|xEs6ELrpYBpxgVEGAwZ&<|Elfe40%0eA{#CqXukc z|NAO~A?GW;-o~Hh585x;jP+Vm5)JrKXl!=nj)ey)?2zfj`H0jQgq>151&_4akNARVM%a{%SOsQNQ;psi@0u`_ z?A21b1uR>YWWJ5UGeY> zQ&IKFAl}ZjN0U=z7ny<8u;olQpU#UP;E7vM|ugZxq3`wC^oA!QXK3(Zd2#bLo*(!zwf@ z3+L6R%A2xxNtX4N^O|?bPo_(~)x?e*6IyQgN0LQH#xDY&ZUTSYbp5!;oU-1OBqvLt zd&?xEmz719pOM%smqkP_cr#zr$+1REfi^1i`nUPG`J+fiKBkhYw{+m%OyE|%HaWWZ zQ}&kV&d;CjJ}A8Bw4&p2qECmStN#1`Pnm0cGRC8OQsF=RKif3v9f<_*f)`>aM8MmbEQ#6+_6lq{a9A?pwz zLg}{*7kaw3gh(!p{KO70T84BY|e0Bn=MoIR~Tsh_ZxxX>SQ}5kwbA{;jXWe z5uZCvQ(nBe#i2zQ3r1(Qc6?BUcGo!kGwAmOO;h{FEkV>Sd`Xs_-l{XO2R#^Rg)wz; zj1Wd>@Ekf{4NeCNq1*GG5QLkZzE{Q__CAD*h_SyAi>%~HnwR@35%IxVk69!2%XwQO zyIl-9CKZotV_X(+@%hvxX+740tm(^WNSjr_K;DCH zLQ6hwF#Y*f(`&P4UXF&)@W@k>+iF%^kG)gkgq<&Ju(5gz>X*})ndt*MKlyQHm$lR; zCv}ngjdk3R{x1v@E*(~@P>__Jofm!^xU{adf9Xvf5kZ}EC2J59*=d;Yy8DaaKByfL zvD22)%onas@iib!<*-IB+rBlNJ?rGduSnFBWX74{mRc>9_R|I4#6$)@(O;5IdNh2? zjUvH0WGfPn2gFvvvV zXy2g}EjNC4cjG#D$Z#p@xZQ?rbtama^x~`7`uPJS2WC&Fwsf*z&a{~ErAnX2GR(Up zf(%u1?_bIBe_u_*i)oNA2>V+i~AiG1~}<1qLjMUX$1 z=L<`h2}bOiE-sDwI+o`{R9j!O)mClw0U9lgyQWO$jlU1+I-&87YwGRJRoB6;YrB@N zT2R;J_oNg}dZst{LMS_-)}nCgy%s@NU6G}u?o8x}?h7D?K6IojZ)2nFF_w7sQ z1m@2pB26}qW*TU;s|5z#(9pK)j%UBSXb#P*0*f4O%m_2wev{vS%IlZvtQdQz(%U{s za}WPwZ%n6`i$e!Gz+w24SdIXOoDP0D2%Nky&G85xs&|uY@3x`ns|nXgiP17GpYgxc zEu-#z1C1yjD6Fnz<(N1tcrtl7r(N+m^P*sAHCxoN`|FY$3Al)elYu(F*>-FiV`!uv ztG&0-d!MCmVkhL!iHq;s&*B)YA>|#P_-|g(mf^M#oG`6M@;i7PhcSm~!6}~hguFp!8NuJl-k_wApu4yygRec@~{a=6S4$2pM_{P9fn= z5Cfqcyztm3+c!O4>FWhrG6)Rf7;Ue3OPu446ubAZbY-G>rKKUN5#HAi! zd|5xsh5be_lX&5nF62|*Y!F_jWT9s*7xgAM>z7nE!>5v@IJC)ws}J+uWPpm^gR`rgCa;sgeDtcI0lAE$SUA2d0!P z>q$>D2Yw&tUd+Qj*E~^Ku0egZu#ar7T()3}y)Yc~UrI|76Y{Mhu44tOf;&?A)q@0Qq~86~0v z9NsUja?Yqf9leh*mCUY*7Joe~?#@b7sh3Y&xDzAiTAG3Kq{wl_y`t<*o7$3Lc3C~{ zN+&w?5nG*@^809=XzO+H~H#$$3IVORj;Ts23;WZIQ$6y zX=W=g?(JV%HIN8>L*B}5qkZ<_Bw)^|e3fjzk>)iRW}j zuBoV^&Q_g_q>7Z!);s$mpsmlwne!FvN6*g}wW^x8%;ezZQJ%cZ!~bxsnW@sMc9dEvdpjHY z8>;)=*9?2;!qEEZU5R|&I0BWiHEe-hqq_>BVp9jKX$wC&@O`oDZSk_HH8*}Y9z{od zfX8AZ@9F4%vV+5%aFxvw8Q`YqX`{_dwmhHijwQ^$N%m_XaDU*dab`yz)Ko%3sGJEj zU3HC5M)l^`Ujx@)zEoH>ti4|19~9F;*5^=LU04h(I;y^M-t&r(F=1mhB{%z%A}4vy zmHciB4&}9gymZwG5{s{$y1<>Ew3!?3C<4kmmiRkZMY?!+S7CQ??+Ns+``xw7{i74G z_)g8B6uLtPNl|<6;;xUe+c4&a-p};)6d#Wba#XwwI6MtaJ3AHj-38wDXw%>28LS;F ztY$x!Z8mrKbV+Kk_K2e@5ZCk7ox@%(QJ`8jgFNF%i|1{W1K|X1P5V}MQPo(k$_+Av z!q;H7pnQ{Hw?>k?;i>sJ&ssoD<&z=$$1w0^S23KmTULlECk0^lY3ac`<-A`7I-!d{M2PhNLcfiw1Rt#5QW{I+@HP=H z0Oam5m(GvxpMTf|{POui9pBH#DBxU8BJ`Fu4sSwsrH)TViP)`9LEb5oXf7Sg0{!lH zc>rRYt8&6cr&y8T?$&pVDn_2FTRe?{uHj&&X;`(@4(E<_H9yO$Kk8*GBNUxP_3uj* z9ImmTeJV;TMr}vs8q7HT4ebQ|K9roB{8{Tyka1FzmUqP<#+m}52;-7hvkW8`P~xb@ z`7W9DZvGfv{$Wc=xxN+R)=EyIa%xw#*r5u&Dfpvny#1a0_@uS6d+v_52NQ+1n@4*{ z+5@@6{fXHZx&Aqa0rGbzRie$!NDrs-)|vvaU0omXI`hjD`m|3PmmJ?`a%LxH)$l}K zKnGlF(?Lb6`j$>DB(e4dYkH6|e@pPRcP8sGgLv*K(Bc5JmDy~-{Ap>Pa z*`Wk~dfXKzE?V9m57Ekl9pJox+8G<}9oig!e2~CRlCo0EjNq>VN72vjd&aBO3Po`x zA&0_5GevhsGJJ5WVU!xtXOGaDEBN3h8);wf}L4jVKvJon^x zqC=eCe5PUwO`qtl*>!f*jqLAaN7{bb)30XX5T0JqqmFQ;91*C1_mKRApa_sk(Cp_LYN#he)YUFXj2Wk= za+={%$B%vQK*gk&sMQwZ)W?<9nIcVvMz!^eS0ynHCop6oNbQvJo-zt%uE)xYECbOP z(b)()|8CrZhbZp5?VpQWPCTsAT%MiCSP?}`GGVEF^L$;2JBPQ!)IK<&w zBhZ$K{C=buY1bD)cTe_7lNQh6D*C746^(k~Qty2c4wW(R0I#~8o(li?>{+ki&!RaY zKEvYFKqbthw4dhgOJte{qdqV$F-<5VBdA4l+aT!Kio;g(p|up(MMgFMn*JM8(G>!A zs7#d4f_6KaB{@M4>6or)gKEsdl^^z^RCyn2GqNWJoo+}U6?vPV-BclL2!_m|z#H71 z`cgwbq(3??;ssJjVyll($(I2c-bD}bu8mk8nFHw1?!2)rTTXPVA;|IUE~9O z5VfrHLbjZ`Q)!9AEm;iB)`IcJr4KGrK{9-}yE-{U81<|Y#iWP{!3{NQvk|@bASNoX znfd-!doNyHCf@ln)6g`s_k##ypoA}psf_sPaH#6J==U~;lYfCQAdvFk0oh+9_MbWC zzmZKPQ%8Us{})X7xuAoowL5?tIoNsm{;i_8xU&yPpM{5$mm9Km0HpuA&(H1rS3F!(T3JKqf8yZ)I`(uh zb^Grkae&hP&rBRZrT=5pkYfMpO8uv(|07d^9QY3~|Gx|#QuhBE7zd~>q;tS2|3An$ zH^9OnWSoopFB9hmSTKZ%L&!OViF1R2Nd#iw6A1GDrm6X)guX3sxN9DwA{Oq`b=`1Z`i zxd2N2mx=SR1F-@?8{qK(lmE-aIe{7e4-@ACjsoDD2gJn#0CAuaV37Vj^Y4FW|9>es zCl7$OpD8$S3;jdEdHI2F&lDU&`2SLHFvRyv!MTA>{X@ao!Ou4ofXSa(I5&jc0|N-0 z3kVb#GQhYXs|O72pbrEpgLf@>_Bm#C@@Sszz1ZZ1E|jTpXmPcUGneu#6NhShaC)=TmOB$ zuQ3w8$^N4A0xu61JHTXod%XxvwzGmh+b6zpEso8wrtBK`e zve;?taD~`^;y0_Mt+KDL@+k@P(Q*x=!70V8lnKsTjFCk@u;YjX8Gs z)G^h7)7AK{?Q0r}WVbPsJ3I_FxMg5|P?I2JX*AJmzFf2mqG(76N&s3Cq%Lov_U$c&9X6 zq8;$a{NfW~Bn529p2&LGZj$#l(zu~i(frgdMP(=?t_lJaGAf-P%6opm+!y6%Y{4Ab zK})(T2dx__2Co}VmbKrkl?Aqui(X5g4y_@b?Y$n(#`NykBl#V=bCSF~GI>|xN+)VS zxAF2GoSlB{#Wt^bj}ayAw(>S+7EAKk68-9hq1dbW)n=|}+WgzD$asa_AKAz3BNqR-n*OBhr1SB1 zr9UQb^>4-W5lc|?W!|b={;90^UMc75wrHsOVf8^@nK^Ltmb~=oY$y4XsBhmcl>_#| zZHm!p#rjFIQO;J5$Ikw%jW-*jbW<5C6j{`5^lk45l=)A`Bdjl{-iTY^FcXTuWxu*A zms5AXt@QuaO>!nVMc8Td%a!@6$NBxH!Jlphm|EPIy=pd>WLveJFgME6e~5?Sz7$M# zAYK`KMkT@PDehTEKX$u~)bP4i*A~mdr0jdBgH@)fF8TI6+x39auj=6|%u z+U=$`BKaqFR7BlWdafokmIQZakmP^quePPVQd*5W5`Udzo4FqN_C&3Kc?QwLIGVf=9UPOQIwmPtMrQHglw8so!J_1xGfMr@B( zjiR@hq76fJh|2UgkLyPlTDQ%28|nopgZ7d-beFp&mFI2)1CO=SRgywhGBb|YRewH} z2#->Z=wYpl8e01A3Wl6uT27eE?eA&4;t9Hye?8J|w^D3PJy1$ZoCew`56wVoq;DlfO=V?E zeZN%MxLat-MlsF67R~yZ+j1l|`@=9dK>;r7?l1bdkRTkx9Euw>`j`~XVsUBNEj20D zK^&%HjV>MgFe96ZZ${rWH@Xy&!x&vgdHj;nV66iV@6MPxgD%&r60ckO)v> z4p0xOn=5;|FCJCdYdSj1J};l{snm5B&y08&C~)C`llYfbr7KkP@E(Q6U+h?qly#iL zgCsL%YUl+E{4MaM5$84%&lJAbs#X@NXdNJSnAT0Fc$u_tDUr~`kHzm4%eh%Z^S`c! zOPGisQDm8_sI+0>o0B{ji>0|TVbq7u3tHqyM7c7I-ArYdMN{oHUQOX8JZ^M#s8|)* z7 z>eQspyKCXSbq~6Ld2sx|gBXf_tjNZ0#o?=6r~nM9tf_=Wu~EarW%6%sz3U3Rqus(G z=egsiB_qEdU#0{~q=yv}F>mi^YpE-dR2{+M)O3@ddwcI(t7 ztei^!Mrx554iS@2^yox6;^pO1v$vO7tuzzGtzePTHFBx-GWv(kjd_F+IIyVnuHc{X z4aWA+y+it^y~e$viFMc8S)!-g9(GD0_JFx|%34@BBqtJo*vTLf`;Xp#7_e^*x^!Ld znUXLU(~3i!AKM-!9J8iw@;mv1@IqR8MBys5+O$k}Oldn`7f66N zXJU>~r2IUQJ9!{8`)%a&ix7{Q$;7zsY6AP2FLJC}>h{(3Y1o5ljO}>5nHotj*n$k) zdhYV4zbdkbumyF}T-j|FyE-XG;I!z|=}|5zA2s$(UmU{V9Og|JhXfHD9Tv5ROxG?| zDf;-R3?|xePOu&e(7;$SI#pC4|k$SvV;ar-@y<~X&=DIthmBcxA zWfp;m8KelaZs@h95!d2T(iPG3O8lJZJ?&?^8`GZIsZZpH2kUd|wudmcC~~mu;r8Y+ z@(yqrP=yBx8d(CK$&n4e+(5K9 z(={fb_3x_)@KOIV<>VZ$%4JLx z{N5XY`L-WXqw3x`L$hW`zJgt%`W)bkh1*N_kj9eH z`3v6%W<6b`OY)ql*zs_bYl<8(sB1aa5d9eGJ|Hzw|cg!cQNa4SaSkQ$xq?jmz{#Gk$Zj@8={da4Gl=XgD#Bpdh>z3xc=Y> ziDD-x+GJ-Z8HBFT(-pvu_mIENFRSXy7{RHO2k)`JN_0^-BY$fvN-8BIIlvM9G5yq$ z*K)j$Wp1Z(fdBqS*jTtmmv}Yj6hb3=XC%WhVONxm1rZt15H(u17t`hJsG|u=2PK-Q z%6t1h7KEP#YUiv`Jh%rhC62c~nRIx+o6pgT(jVXEVM2ympW9s643%l@$0(j&V-f(c!u2cQHN3YW!*f zIFY?MORH!&N{{DOg{@uKqskm4>I&+Jb5WuEIScNL+_sJlmxRlfcS3Ptn~vi#s~fS1 zZXreZg2-0xzlBS_MrfSEu1kLl2$JF5JN)7m+)6LZF1R!r<^siH>RT#4bMu@i z`YdURoZZrNP|ilfoI*J!pBFj04w6>Tw*GyO96RCtelOOw1auDX=NL0kFYBbx@mB$9 zRtNIVbd30zm)Qe9$UZWDR7BRa4-=@sl+7QOqmL>{HNdU`E}`>@wEAQZ#?ynyZv#3xXyvx|!tKE7n>u zYb2RYHsM{?*ki8#MeNFoPoW^*XGH6R*4L<7t>Fbqz|4NXrEjiL8cf$M^Yw22h7HpM z-6W2<5$5xfOlKR|PP}w_2g@~SU3KeNJ!3mN^1Z(U`%>ilcFPn$U!Bl=r4U(E`|KfF zBDii64n#tQX=pUC5Rxald9=YtYSIEi0)qqttJLxqfcV>z2Rp1)}wr7k?sVC4;5 zdLj-4!MBNV_5U#*18|(cK4dL)6-Vrn4C zs-g_Gu}*r2<4**$-zd(9*HydqFg!6|Ww_$tbVh6s#alIe#@|HOja;=7mB-v@Sy`F! zVQ9Ph-H9$7M0W=q1k|6X3|UhGzY2!TU<6S+wOGCfb-YShJG%5(g)89geATAmLMY?~ zAJr}2)^&rsuYgql`{z_Q+)#h6`q9*tBhAlWr2MP~LvJbQ8PepdEF{ENvsI|G9Ro746|Uwi_g}kMzn|V zUZ1ZPzegmP2oKz}v`0VVA%UCRKE%*OjDLY8pjR?BFU}jkGOc7-QK5h7DcZ94Ds#Sy zOIG%l(*~!9=X1FKR;+T*=g003D%|PCB0jVe7rO^WCb8}7c_W=#g`%HGr6W2oSp}%= z=o;*)$H`GX{Ls)+6!zFH>+u;5fj*|hdvij9e_TThdJBbolieAz!N^?>GHZOj`b4Y= zyx9b$ms%d_OfmB}cPcf0hq)Qc;dWU$zqVl~e3?<}%3t^ua~Bq~=*Dp3_}7w~D!akN zvCMqcQ`${$az1_&SsAFE_(j%-5Vch;5de8(;F($rTa!U_;#XkQ?O5bU2fKle|bdrUok|2&>kQ zR7F8uJWWZXUO`QIPDF-J!&@}x#-BhQ_TEYp{j@2xHZs%49I69m$He%@%NX13G>#@w zJ6^sckNIKlV`9pj>=n+oC?54Rq2%!_Pt&whlPK<7tP6SsgW|<`v-?s4P12=QPOEj?0;qa27L*ll6B$v>lOmya!Z;bkX_eyR;uU0-M`8#{ z)rC%B3GS`XU>N`@v;W<}|@XI+s)q5nE70vuv&?CTYnvKnaxNl)X{Tu;B^u?$5wIZ)v>sUk*9j&76K2{ zPJx`tD0-?_`lIG<9Q}9#IKHUxZ~0~)bVL;s*dVO2c|Bo!`5QWtovLEvF zjKe1_SSW8#X>-tKg?r~%Karmx7pklMEVM5!#?>uhOr(od>-TmZqbbUIV=i(Qysa_i zJA;T^V-nI$n2P0om?urGOx0^{w2mTZ=we{|qSVP4tp&9~9QRk%b!v}s#>~e?GH|@? zXCwheMk|d>vSi|h(U#CslWz89llKIhRv&v=HfTfLElJa|aPBsGUVlv93o9Gum`6O< zziZeX$?sGm!yeG0BNfsy3^+AW^K@`fQ)BM+{_wze3}qKNHMJ;qxtr+CfiLuAQV&|m zHx(a#di|Dlhi`60qw>ye6YY@hh0EbR@sEzVmfDD~E*#A*B^P_HGx_Gu;-Zv&#(44M zA-iyYNVtwOljV0mMO}olb>-^&XIcCp@>X!{k~2AsM&$q-ufF^#&$@f+9>E}PCwCJnb_}SKN=(cA;msTFI5PhB{3Rd(LKO2 zhV&~v=F-bWilLV*A*;)UV}xeJPaE_Z?&RZ=!R%|Ohf=}pYEhCPt|)T-8{HzjWfkbh zO!gra5bw_t7>T;X2jUMW5?}nclo8)s1rp`3IWd)!v)s}qzvY=&XRE+lS;?q>{?sm3}Lb2ob=P{`l%yb4Ls}=78iq^3pDUc=)y!jwXl#F@HD8eRjZCFB87$dr84CioG>mk*{4ZGaI}2t7$|l zKZ0NAZFVGK?n=G9Rfz?oP=Y_EB;`%DuFNA;)f&R2u}NHuzGpo_;uc!>A^i81 zwx9mTh~u`36b0JlsRIkcH`vB&rHOk*wEUl{DrZ$9(ruC{<@kE8;>dBXWzRT<{40ho zMaXPLPVw#Z0~Ro{R@<;w+K&exFL;Z#Mf?OwiST<4|D-mCp>7D*o~D~i*mC&|iO^np zTi77Z^*3^nmI%Jx#zum=G3oh4V~;tvvU1^UzItR;{T)6_Uqq==307ZURe!zo04ble zY=Z-{qkq3Pjhv3vl@$;1Qw4Q3W9*kInV@Q$u}5jm^_m+7n06V69-bCf(?(Gp~I^rfG(;gG#QFE)+%Hx`K* z6-Xxq)f69)Qr;W{+ws09R-2F7Z&A}YuH*|OjcF@yfwH|}fEJlXWDfZhqN|v%5j=Pb zU;84aCs}8evlf4(!y+!yh5oe07q zEu|`06&t7S4c!x3%8T(<4*_zYS(UZF-OiAj25ZU?Ta>0Dn*y?%W6{djSH#^660dulS<~*3*LqfDx3eHiHt40e|jVf}9_PfXz z#jk0n`hK!Sj1iG#5WVqBpt}l9{UbM2x4bTQZP}Z5ni1q#MtSRdvK>&y=FU^dOa~R5^R;WNxEqTIdky%c0bkN-yc(~H)RZi6xZ6xK%^Q~<%x(8=YAgvk8J{Ngn zwU9Nk;eI-JNd=r(!&~}w)3YQAMSD83!MdZx3O#xigHuL;3aJ*+2&;&IF71$QyV}8c z;jU>|)xc0+D#d!u>5OhF-rk7x72DFsP+bsQmqZ3P zytE@UTLrub0+I?dOqnib)EC+i&Rt@fGEV{19g@#*cLmej!a8y1cN6wTd)t*p)8%lw z>~I|tvYNiXHOQvOP{=~znDKkfH0rSL`;n`^W;hr4n)G3M&oD7?!DjGZnwd-=U-X-L zEtoRr3V+FhJ7wfGWEs)6O6M8EJ|*_z9*DgE9Z9brMiI<=i{dR-@^JL9@j+z3gL7Wf z(Bt05ixBMTEx8_0BN6bS$0V^R<;7m^HfHESX9G)ky;;Yw1q+of$BkF?Mu#gdwbzVX zdHYZhT-sZaZb^RS0b?4+QF!-nh8X!&`B2}|b?D?pGC=f8MGV>DqV4OswsX!1D>2lf zvRyBE*DecpJvg7O5JL;Nsy{_k9mzSEvNjuWA#~gUe3*~)U=7Z zB4i*uOhOUe_NMp9yDzW#4$NB)-*1R&$;zm|_c z^2+|oM>rsvUch45e_uGl{j5;=D;(kHW_{L~K%_7K=tdwbbN^X4^54y)lvkINmltDF zvhLSa?iPwfR5xjcM|ab)ro+CtjfPS5itL=NCc8Q3AFY% zcM?+XuTBKa5BQ!1BAmQH-DhS-N4yZ{U|GkHyaARw>)u($aF0xO*-q0J)ck^54 zb{>08RoNbNxC@UpS2}85c6sP;@AkIYPdvR&JJ!(n0UsP{DY3X%{NsV~uE99RBv?w( z!Cu&R#`tC6DNVP*GM?wvco^crsFf$-faga-*V=E9bgRCz=BnS)GL|S#%{eVTNIH*5ihL^9}B-NyF*fCR<8dzSltrRo0HmNeUn zC?G*On-XGwY{;Lj>*siCa5itf-p-L1!IWkAKuyUKOcrc&f}D!1f}f}ZRUO1PEkKzm zUDN~03xc~wdoQUBT~ylwH_Io3G>V(T5ITyd5+l4Bssx>D2aTyx(p!TRZ1^e`phjpKXQ=J$ziYCC_C=2L|vG?t$>3h>bU~)IfX@(hauu}Xu_Fl^8 ziLfLexDfnc1GElz@x75=lWFy!-Vbz%}1ai&sDJ zT>Fo&{(odEykO2}E#`k;wvy|IXrOMrEW(kK^U+KLqfSCt%wE6AbG_`N-c41E|HrD@ z8{8L2f+M+Moz@^zk{2&}(KquN7xXHd?V5D%n>@cRh(wB99y}qJ9o=-j{nOo@a4Pu9 zZ4!L!y1E!39L3Dc!XimI^FcG_6rSmbHeSEd1@p=kg|oXw=OrT=ER)hp*3CQJVQ9Zk zT9@oOkCFH6zs5|{=D)h2q9#tfy5ROzI7Y zQT{Cg!y8Q`=Z=dgb${;+)fCHVOysq5$u&vpB9pu$r^Rgu<_mLco| zg310)a8ht_XbI+>xy$W3-Gb3VdsTjIjYGELyNLkZhxflFl)85=zxOXrb-CUt&Sd|V zC`AhpV7C73;WKxNvx1nDc&~X(^|Z1usU_OyC%F*yhl;%sWlT@1y1J}Wb45V%CC%YJ z8IA2xd=m1QivJC#o*$l%spiY?!?8r~=o@e>i3WN4+jfw%E!$OWctZ^Nz9MOeWa+6y zu7#Shi#4|~!>7FH^U$8odm)_UewN5}5Evn`b%mRyiFP8M5cVMKRuB@QHq53pF{3Gt z{C)_v484(e%wX5bj`pavg0NzeThQwSX3ZXT`BWE`c&+Jf1AgB#@yUoL zlK97E;S^j!hPdGtv#ck7`5VYk_drr)WKQn1+vnGilLSYIC$g?iAhNNjC`wrL~{z89IfLd;Knr%a- z+2DOLgM#y8+Q3C;?9}7KcWoS`u3A-skCtz27Mc}u31L-V;1ML}3{>R^-y`GYqYKDJ zhJ;k9vGngiC$MN}ymVMZ*c-;l57u&D%JU7g{OaYe;%waRIAQ1c^1ZTxfRR1S4r0UV zx7LEY0U>%Q3D4EmsZ6#X#hj_Ws_)^>&e~zQ&?+gfTc*`hr;Ex}lc7|ICYwHhsp0gh z@;#Z`<2+iv^^0?yCsKHgQ!#H?h5o!QLqeFg4!pU!k#5@%(tI&nzm005@?=a#nfazo z3&F|Gznj!l1mzQYPpy++PbcMPjyAMQm2r@DR#+ZSY3=@2^f(G15_&KmN^-+n7Cx|A zv1-N=4ib0EUdB}h`s)u< zE4hcNs5F8zq~z)2Sow3Ad9Fsk9gd?qvb1qF{Cv>hSXVAFD39e4tdUHv4tt4|5U(g} zaf-wYPZ4HzV4RCiDg5h#lX!i95a;U^7Rv!Bbz!O8E#9}jRmAMXbSE7X3+e4Os)Y~-nB+`q7i=(Lk<#e+vRX^0$i zfN4K2^$PenI#=`s8V5ES%k4pc6gisTfXJqahDN~bdNT=D36a~9ns{F#{|#%p*PO7@ zwXIm8^}>$_o`z6vN)WzoTG9eFqL@NmX>GOdSbBX@loT2p>57cv@fgb}y7+HCemFws^BUS|vFh%enViT*1}9L!3O;z5ZyOv9cz ze6-W~@nhriagm}yhh)s6R5qMtxTn6Zj^J#QbGcc!^VoZuy%b#o9t+%*#T_P0`r}?I zK7UfDKD3% zeX%ayQ*Rvkb!*{BGQc@IXd<4tEo)jY9Uv+dZTzWi;?d6q$u1H11uE{|v6Zn9e12cJ zrZuevM^zAlhPC%A_`@5gHG^Zls%c;7&@mV=wM`cN=q@PG5&F$XHg zGhC*@adPcjAeG;{@5)w8FKTY4QE0Z=IpS$Z#1V!nGA z$3S5_qT5qs{hkj$V%i1tX{Rc0#*=M5EquKc(pMQJ}duYh3B| zq{TrI>M+!{o7kuN&EQ(33{9U4vab>G1&aQYBZ)`?bZML39y1>(6Lpa8IQe4^Ccfax z28ZcbjR}obo4OzPThv|qFy_4@twX(oS}xGE`7S{%^Uk1xOY*$z^bsr6^T>0{?RQ0D z99Ey8B^~fCwhu{4F=9ZR<7>=~z_)R8_V|Bzdkdhrwl#k{XprFU?(PsQxCD0#Zo%Cx z5Zv9}-QC?axVyVMUz2m@-ZL}j&i|X4s;S)tU7OvjSNC4kRR8w#KCk(rTmwu3MsPjd z6-_9!B1(MHc0{tqUPfsNZ<0Lp$fSH(^tQ#d;SAvn)LLU2U$Qn?H>J@lvfYm(FM%g< zSf=A=g?RD&?v9w$;WxD~UbE=R#XB^o)A>Vem9*g-iRU?FQg=)?2FUzZV zK;cxF&2jgDgQmO;FO-PuO`>Y z?=TPf{;~tx=WmF`lLohBQl;=^vKr~JLz_4)QsEq15|Jx!|M)a;ggYJG&=DW`@?92| z5;faIpN=y$cy3~9f^vFq!?k`A6~yJ_Hp~B2Q3u?;!Tu<_Vhj$KK$XmtNp#)|Tfg8f zq<`Lf2|P^p6!+7jV6}wmce!tbmF$@J3y#hQMKyvPOLM?qzy^!X?@KqnLP{U#Z2-e! zEDa-GQyA75-i3wv{3Pe#5f}Nw-_}@kApgr23M<&>xbp z%?l01aTLk16iIl{>9fK~J|vi7OPW(5pI*QR-mb;zL52~*6c)@GIf_P1oE(N&Ntq#_ zx458766ZZrL%&d&g0V2MuR|B3^Su(igJ;=tlpOKMThnNcdXYs&%Sr=^J1$HEm~X%r$L=^alqtv5ckpvauy0rN`apTyEu$NCb?oA>xt7Z z7ITge=h89p-dydK2U?$Mo`a4^irMSVkVTh0m~7I&GLd&xdcthtGl)eyIh$Z?4Ou4+ zm*P4zhd3iY&_?0!{VIk3%wOs2sm^kn`GScp`Lll0gQ#B{!w@e_81X@fy`f)am^yo* zQPdC;Awx-+(JcC`4kt70%Y7+@lcjd`Au_W-_Nm!TC!>euigkg1+{!a7DOuF?BZM%f z#An}gD;-43P(S-7yDV@bSFwgb8+|^+ou$d2tF**21Uh6E%0|+ix8+7l@8C zf>xwAhOAEe80k<+tuEj4?c$>i$G??62SDE<1d+(qY=R{ok??FU8KS$^9NqJ>T1N)$ zyI$Eibhyo*?zcz%(4x3C<=RwqJJWjNxZN-2YWmCM4gO7&caadlum(}(~H=9Gkm+ShwL&X)geNVV{d-eLo6s|dQ&3b z)!sW^!1E-$4vbidJuPPpH;yTuJJk`xe~Cu#)P6gyo>yiU>cvvfF0-k2rzCEDm7N5t zaF1~wcE2eoU!cxjx60Kpo|qy(2$QBQw>8+n&CgD=t}h-Nxa7v|F$$eOB@yIgCaxU3U47#ZpM!KP*pz>&P7bh_7X!!M zoy^?Bu&R!>Terkm5Z++ZNghcr!1Dj#M(K4}tF;h(Pa3-c&LGI-_7Ns$?L2Ft_Dn#t z75n??6tAJHCq7%&CjMXzd-+{MA^Eqiu)<#k*t-$2prK$}P5dJaat*J)>}&4l$Xe`= z%HceH&*s;}G83d3=@!_mjh0V)ej4Pw=$*?s-Nx`EAvoT$a~VeToKjKuPPaft&(?ak z74XzAAnRP>bIHO`NF&wY-4PyN#XRI*))^Hy0?Gy9Gh=vs#_L>FNY3mR5y8Rz zV|)6KN)a++orQ{6^UGB~5 z$y9Y9JCJR=Mz^{~q81qVm((&^MHpRIXI8V(E*VRJa}Xcprd%_@8J(JeaE?~sxN0M- zNWKBB4NVc``+M}6B1WUS2!eJhi5dsLrUgC(1vNC(TDT8Nqp*#2!t9DrH~OsYoRfJj zu^!#&ZoxcKadUX)l1*rtap6qb5vZ!P?rA!n|H!St)<{D6v^0C{L0AZ$fF)F4w9T%N zK&_6=g%rLEA-5}@fo%ixX!eao_Br8cfDx>nCLZxqqibs%x*@?q8&Q*H{01`Q0q2Y} z1&IW_la5gq^&xaM?e>mg&Kf>SEFY~G%?0rgEZj|(jZ<=<4~{=b4{2|f1;`nC4eK*^qW%7t#t7lN=X*}f)#7%Sn`CH{LBYBNV5L!=TL$%cv5fP6 z`AVn_xMb$fM*ZU}AFc_|0ku{*i^QTs&a3@I{;RVD2+T=6Dt&r1JL)IPT#yy$d6D!# z4^FNuLAP^idOc886IG&Bc9c*PPQWxrx@e&DtUc(-%(o_4`W4YwV3LkO5u?YS9!^?c z+`x_PF$9?=@@H$W($H2ofo^=uaS^$HM5Yn+ozQ2H0%u(=?O#h@;Z=WZ-rm>4SWdQv z3AXj5Y;;3t(>|4K@b$M^aew7*{i%a^-S;x~7PZBjw5qJIpC172>Zs>X4N>fj~8F%y2H<~8T2Ew z2zb5HvQzP~($2v+gi~evT9VsktK;tc_yyx}(e786nbIX4wtl>m0aN^)hwxpbOb43) z#d65ygXU3rlpL`M&|)M4zUYDt}!MFt@#D z&GRNzWhuxEE%u5d_93fY0&}=mIA%qj)n`dvan}D_*C_z`0Ns-tpnBhm9q4&aciprc zCYrpY{WYh#yj8#kqU6I`wHO$J{{|Id_gaCw8y-~P=2*FY(26#b83}xgZYq!t2ztb- z)ws6%{W2IL+I$Ny{I!__5N{hKyNOuwE;&H^rVK%7hXn$-yGS z<(X{J`PO0ubBzwJBgU3b+eiei4_%?(34ptR!r4YT0rc4BMmN3jMW zZ&%J zmo2K)f-6O0?mz^polVo@nurO=Xeumjua!^&?LH01mk(z$6fqRE=tv8wF+di~L4YGY zX36FeQw5?UC8DVh7{u$x3}5h@5%_!vy*thLIS=oNmH-UkI`nhv>N*B0&|(uCcNBMb zkyc5_C<>$}T%OWL@_% zhc#^wozH-t@5UY|q22U>=FfK9`WBDt_$nNx-&5ZmQSa6TvS2q}nd8u&7eZ)~H0~Q9 zZ0wtDg$*0eqEvS}T1=*@u%}u>G{M<9%x9NGY*5rA;ujwwK%xovG?pB2@K$b~gL0WMxDJx0tIV@kegsdU4w zaOHY`0^eo%)$215Ng&DVC$%5WTsUO%lN)WYXCHnob+dK_rZq`$8WT~84H+HCGeOwm z1ujnzr+hgG_#_&^#mYP-E09+{r$xfzAIVA?I?3(rfk~ic$nn;3<&&>O(nL%hv9S>l z`F!^I#gp*qmst&?#3lbDT;Gh{I6>?~NRX>_MQ^3K_|-<-^Uj76d}$)WGix2bX~_vk zPt$Pr_f`_uVuV(sX{_FFb=)W4;c@X8@y1CEUACNQ$Xlh~Vy?WMr4=7Tc8+B>uYd`o zGpuDA+u(;Wh!Rv^7L==8HiFSgkSkMRb_F1=9X{GstQe;+P`<#EINLd{IhTQBZi)+} z%!s|h_c|r&iVqD#n~s%OCbHq)t%V3-$306o2i%B0qp`Jykxm|;`7`RK>@+;j+(GC* zj`PyZMk3iyx4(?@j?OCzgL&NHh<@cRdT!4S_{1F(@kPH8NHvP-h<>#R zL)9aMI(^xo9s+7ADiS}Yken>x6BOc4m}`N6iwH-{d@?iD`ba$y(oRGx-qDKeu$|ci z%;&E!JI7rzv~tZ0c1KCVdarO7u==U)UOv#vbSMl zywvqlT%FftM%c>2n{KX>kG_J_^>M0NVLUOJXOGl~vARl?*i=JD366?slI>=EPl>|F z`iEhkeRPipQsl;H$gsr6`g3oAhJxYm5O{n`0(O2?VVykRkYiKw$MF5rGsMNi3@g6g z!720@#;;&86YqG;5-lF*(C`TpCLh)=sNvWK3~+upal+1(oFqZezxnnNCBY3CSkR~lRMc!v zc3I&tSo=sJC;F;eVN)++kfe6BQ4x^IbuK2pSpnf7oYWQEqwDyfq^WJ#St+{QBnb&FVf@qbuc%BLb?qC;9A61;}d>XlY8LIbK0ou zbAu9*v8Op!BK?tzxk{!Gg&*vB_(m2(#_3YVPZmBzN2Vl|r0{&at1h3fY;S9r>d6ch zc(sH}nmdOn%%O5oUZ-A;O@-mvzpqM)_)X2@YB%>Q8;9I^bDV#0+d)+% z1yd@ljX^|gYv^tyubY4`s{x? zXO!er1Vx1Y0Y3eKYW+_=IRJD9fH?gJcRYZd`48OF@5BC%O8a+{{nwtHzn$~{DfR?7 z)9L4D^2r<=^3__rJbx z?_&A)jTHd101P$&gy$WV`NNF^81N4_4jX{*`ICA2#~^fivGD~ z{=^vo$G@M1|2f4I{nZlSk?B8kgE|8W#GPk{i;`0mHUB{2&!bSZVjJ+0715fIjN|-d z?$(oExma!U;)?5)>DK9W>!rd??j$nqLYji7z!Gp>iqVszdBLsCyttBpy9JR#F1pqe zKJ|NX8h9ky691f!J&m0`28txlS|iu5##t>`DS>T0-kMMrkJ;{C3)%_-H%UMxb_;G9 z|Eg-dmi}YY3>;xi#V<-rEM*N|XcYm_Go@>7A?aErzu2D1gRw5rf+oy_XUCa&+HdC@ zi*VD(kJCZunkL8d^7ANe^X)I%Wx5;C%}7B~6)hM-d9y~92|+LYPUy|2{AHp9FSOrx zJVEB3O&1~{8a9?_9VxoXOUF$`QtV^kJW+o-4*b9sIp%P!U;gu6DgN?q`} zViO!Y6}`svH5<)-8xpm^_BEa0CjVH}VOxKqNA`Ov4es<}H-28-j(hqj%J9wW7*8z^kJBXh} zJ4^x6-dnf$^NgnuhpM1hRr(tCz?-jDO&H3ftO__A#8tKJ+HGQvGZtBv)rz5g^9xrX zCm#nTB})%(8Jp^CWnZ__r>{Tbw4S^HTNvYJ{mp*`0C)G-Ps=|S6B7pu+xu$zpR+N! z3D64iMs@vx8$YFURXXiT+oZ^El+26k^x|tj*V$9o&XS=7tI^@Z5dcH-dwqcr6XnO{ zgmjJo1qSMpM~v|QmmXtwVBku*^)yzFR+j0tzsmkZg&+l8I@C(>ssCy7+aFwYlLCyDcP`wd$kyyEURnxDfP=Y)q!xqFd%@Mc9Q=Xwp0ajsqz_r5De-_MeKl46%W)?^UkEK=YU(PB zB=KOLae!86o7q5Ryh4v^JXXudxspf`RBGKFz$gM~K-+zKgKST9yI(%+077ao@xy}xzv z(XfSe3yukG^!QUc&g%g;!`&z0kr3mgSQgXmRkX9#&&>pk6qmmO2LhbIUN7<&InLbK znf;>s8b&-c#{AurUR!@~wRc_WH%}*hQ`A9q5eJ?KFY`Db3>{yZE6LI+m(8a7BFvF% z;~nb&r1}--bC5hm6%>{NFnTIw!H4WhjX=bDneTgAj3_{y&?-{r@ZgYbb0W6pF6pz` z0wUYflXCuTW%DGCC||%`OmBy4@50!;; znNYK5t?(HXh##MyzdQpCPj)CTxiN-X?@eAY2`h5lKw3?CNPK*Z5JOsSro+U+jEyWY#x1lFp2+t z>g8<7bc=+nQgl(Ig_l}ZiJp9>Ov4(UeU6nDpieH((AYrs1q9DgFWa=PK@8pDfCFv)-YiC8v zLDwF#c35cf5Ps#ZZs74lbHf%0U3jDK5=h*EwGS`2$g%1745082*6rQgXb*9k0UDK(B zIUk1cv24DPA1;CWHzOR%*gL`XZ}k!J=UU zxo-6_ZPlq@=f1O(=ZmEhcQNYz4l<VM1Q`_7CSjenD8gVs61^OfqJAmc3IQ=%7~hKWpaP2MM_hqj@^vLb=Abx~?CwB{7b zA!TAJlpYI5+fL%{mbxVg!!ThX(B8m z%h0+s@%Kv!GOp&65IkZqp1?!{^@a=NJS~=JbroqjecYqm%?@OapS&&D=bhFAOhu$O zJobO|p@y$59eG3}13!rqXr;DV3vnHT-cam&>F}nVzL*amWNvs^eTkl=au`Y>yu_Zs zvInOr#15^7f4i_5%@KPnx5eOK3iiBKoWp%I7?`J}lEM92ymm#G+Xix+vyxF?>0jao zf5l6vTrc3mC0{u14W*z&Vt(^z`uG~}j7>Yn*?l*N*{kYmb9;OfSL5)&$+;h}wQi&` zrKEJnz%A0aRVxA84pL4a57nqc0_6bf(ltm0HHO%0%+%~xL{1b!NKYC_yrTt)8oXe} z$e|9mA+m_YfG2}i9;o6!F(xBbgWqzHHN-Tm2pY<`svmFdqeyQv!f11SFX|)_3uwea zNsbb8sUKlJ>oYHh(31!zx+ZuJWXNl9W|e?L>fZ=+xQ@y^r~?8Nrck?(krI+aU4UH# zUfsJXB>%eM#^QIgXByz@<~hgR$;#oU{+dT+_(RyZBm!1{#_+|=rz8?l!Cd7v8k_@y z2C^cU`TJ-NlbQJ1AeGakFHzgTS2kuc>+Lg#Hmn<*D|(M4I5uS$`J$e>Pai*hvE7^YnJGCl^pdQWzaaOZpn}%q=$&S%F z$C6rBxXgibT+hoa35T}Zk6Y2*Yq!1I_c>&R!^%5DzpCO<&An6i3#+r_@8<;WpOjpR zV6HVW64YkPuy|L%>iAdjH_j{TEY;y0+qqjjBbFT|*2VaiY9l13qZ;)k%}3i-i3Yik zPKOxYrWeEWUHCzjygX9`Dx4Fw0OFp%CfVU?hSY`+bpFSAvZY3z)yGD^;p$^A|c9d4^0u3V%*;jNM+i{+g6`K2?Wnk!VDfZ zcWKVZ9^QmIzLUO~DrKMmEl-3gT_+IIEiMtd_sClT%_nQi93jcLfDckRVMWu;3%8Z% z;9<1hwS44G{0z$N9=E#sns$!v3g4mM(3vb{!_&n|i($XEo@~y#wz6o1Bzl7NMcHsd zNz_N%+AF^AqQymy7L_fC+!!x?rt87xegyLQnPMD2o}&M|8$`^pGkA=N4uTP)waKRpxhL0Mn?iqs>yzAd~it}}|22RW8jRC-8aiFQTs6B49e zLuk=q9S8;(@8&n`h32rFQ+r;I%TxBt4QE=te)s1yR-6UFGq3GWkunTP`(sauslw2V zq3D$@fr8?xrL*}MvK$*FeQG*rH7C_IADg^kOGuX>Q3mRNjEV_sxKdqcv3Z14#nIjKLj!nK_?4 zIZGmgknXZ&;+`bGxkqa*H-AD>T;<0;E%Hsb*WLK1hK4H(vI6|OU&{EBxQd8WDw-8#{prD zP>*g{Ih0;)a=PdsAr7$!h@Fpt^3sm4l?Ee|#-#*i;g}E3c57J8jwr+(OxammUSWL7 zBDVgHM_zTWQgcF%ix!|yh>?!_mlJQ)**U`^sEGFJgVd8(?YhQ8`b=-^V*)Y4F-_mE zq=oNeFVi8cA)ZHPW)6;Ri=*nISB7YIur4*J7OWCS9HQ3_Eqv6b$!$@nrfSp?AAQM0 z$6mLRg;oJ; zK5lMI=!48zyv2rX6Gk*1EOfbHbs*t%U14-WjY|Q=2C=MN&!^k^u9xod`5I{1@04sE z1JsqO$~zC1e|=27FyIaRW}Mge@4nstcZ**CWuEwt$d`fnkFJA&($jy7eCg?#{)~KC z02Ou&j0}LPGeCIo*IHMacYQh&Dt@#`jtL zGo=2P6a7D{a|L9W{~_=NJhg(Qh?pRtHznY#|JhRYecHcUhyt=(fODLdo`oK;EdJ6r z6`&CR>$&>3l7>iLxETo8^Iow#85F5ccxn_b@s+^?gg znU%;n{6@O{w`~={Z0n){#it98S*}{w#KdfpBL4!v}^pT6>ri&SSd{crD z`*lvUXa~8#ZP#F8#uMRIiflTIPLX^|_v- zauJ=k--+FtTnCtc^CYHrN=Lb6^KA0<`w!M(Jg}n8zY7=v3HRTfW@c7~_Z9MY0pnkr zm#!#>Ybngd^4__xrEaiUYJ>AxC17Cp;0NJjnoR?F_M(>tekUZ&%gT--*9Ak06=Eop z<;yMmOf(y65oaPG7vDgdn-ynHZ-SVtmMf_jYOkj|4VjENP5t924TJgS*UK?pMQVTZ zU5f2E_ucXt_g)J$BwuVHPuCysM9V3qR0v0rCX~Np< zEN?0VXP~~(V2f_~1MG#=2J8{t)0Z*T6E+-Lvxu4f;?EL|~GXRyQrP|kbsaNY*}gBB7Z>6)a( zb_so{JVO`WYu2FB<#D4_L$&f!(v#-=#MKRJnw&Z6RWz(#oxD3)wtCY8zkm)%2Jb>W zE=Rvp{qHy@u%jj2C~AI0c5zaZ&Us}4Zs!`-aVeXG>Pz=?idG?wjt!+f3?uM`SuvPB zKy@mErg4)dp{^&^b#7|B-BZ76($dYRzZgh->lpcCqGToopkV3)L%`I7m2CxbgBk3aeLcaVM~~_N}FZ8Nc>* zm+MW$xk{uv&~Xc=@p4nIDaWxp2H;}}!j=whiy+Js@Bri$k+k7Tsir zS66kJhv~zF&oN*0Kb9i-&s#Do%Ql*kRZY>2kQNFcF%Rf4e?JvlB^}pe!X^t&QT2KC zvqv`+L6S5L(%dj^vo%`$#I1_TG8jYJ(4A!GxS0E9dM-DcG5E`nJxM72V(T;s2XO5G zI)7Z7aiB6`XRF`0&%2majO|S_X=OV>eY1eUWJ-7z{Yu#IA~BvkU6T-tooO`2<)>X| zGC_1j8%@`?+E^8V`5v&qAUhg6+CW%6JB>wtuWFXOBS%y-uRM?K2pd~m5;!=MWcG|B z&kUK>CqX&S$FzPFOG3}CBVjx9Y1HmB#s_(~G8e}dNWvKui*RviaeJ(lc#xGJ885@B zK-pVL{?^sqQRy@`etR%qrEL?~mQTl-kwj2E4#`~ zJsLYDUe7C-qj6$L37zHC+3?;XzDOC-cd$3;r*Y09)*ulH7lG(5y6QUJ4GOz2WRHg1 z)w21ytv{1+hgwT!_H%(y^wLN&G8EE15;sedsv4`@iaeF_q&{O}AS4A;+*xDnuZ3Hm zz}D2MZC;+y&OdavX4hN~!a2Cx1Zh}ka$2&7qSLq_Fzq(R9^yo?BF4e^9^WYzk1Rzq_lNG<(8h27gMq7Dyt?O3EwIt(|Ag7`!+`&j` z91$(e__8e3+Y&6`!&zs_pv|D1@!LNgVI9V)kk$po>e>RDI=S`|BYR>koFN=Lf=h1S z2j49bnsna@JxLbUhPhL`GN%`=-Y$0hbn<2yOtYBZ5U=&ihuzlO`M`y?uHBqG?KocN z^U|K&euwitZ{X=@!2|6l#8RF5xAw;MJLuhZPNTI>A5O=UqLtR0oh&^PsxYZXm4Q%E z94p;^%d-4C-dMJg`iI;{cdD<$R7{MpoY;G7MP~b>czv%6hD6SnO?Z7gcF}U(-g2Lx zjz%m`Z`Nk7A)KkH(-&4do3BQ4i}3n~6D>_oRdy;Pa-TfC+q+0=l1vZPHg=BJFdh-h zw_KrRKd-&Q1_&~!j39q}C}L1s%C+~U7BrEK5rb|7wr!Jhw-S1YsfZwM+qzKxPCAE~ z>Cc4I!h192jXiQRg*kq|O&j{O{pen^jsEmZYrff(X-w^T6+Z!`CO$q1eB0z*%VbOo zv(4jQ^)P5)0&B`%5MfVQ0BAbE93E5{172x|NMrcYDS z?i7jA!{V&Mb#NrIU39f3I-Cveanzy+td|H4rLZex$iFT!S;ICPYJVCNP4``bArX=a zir}^I$f7m~F)K2l30YVWEf}2lG8ofw<)HM%D?-=?u=?8R2h0lC{3KQrCFBx<63@(s zT7g=lwA)#4S3j3Tu~=Iqwxn9Nn6X@;j;d$fP^$H)X8N{D-6a{mniy7Y`6*J%aib6Z zS!jdG_ic#JA4TgCUKc=jp5trlj5t8*uk+SC1MiH78xyA#Rs;2Bc7e+dThGu{? z%4;=P{A&s^o&CnRSi^od85A1wtKBN;TaMMLU%31ImI&*Eh;KNn$WXZ1y#R^_FXG8a zO?VH7Z*_Zcgb|7d+7BkEcE$UOK0;oJPD?~9wG9xw)pGmcJCs#~mA!HyL9C*HWctN~r#@x&b{Xk?@fy5p}B?HQuSsI1$5*01->;t%@!>cjGdu zh;|vLq*=*+zvYsj$V(r_MS=YCyB*2W4>Cq@jHwb;+p;7@m| z+pnLFtJm{kR4?-tjR(5gDO-xp>7ZQihzDCWkDYrXT%*o|et3p;Soo%&6Y|Q=ql7-D z`WUo!jdh-1J$m4|ajNA=>wN5=4MROHn5}=Cr>P(BatLpe+(<{RV{ESl<8{am>nxz^ zKwUjSrD7G)MS^B^mL1NRX_D3J6!wLIIzrLZG>W97Dyd$_Lz$&)(Wi)^lkCUzJ={@g zEfOzNQc?7!r+gOG3FKec zJg6G+@6E-qxv+~d)Q;@x!saSJ*MJpos>lGlLfNHoLfIXw9BzcN9f+_!CRa)*Js0pb zG7=s#(xV>^Hj>)>ZkSf5Ye>wVWu$Tu(-jTHD=HPmJJ5*)^$P`8*{KBT7jm0ruYxZH z;a4eHry8(mrt^Uu!G{3|2}~?9GLp@Wi@-}A-@p;cYh7SlBsF>-ge?_%3(!7Pwe5NK z5c65CG^^GMd?i#hnfVd~Td*{ARrp|U!^xo(BZ-*no{nGCMTuBQD75{8Iuh0APA!kd zzOu(%1+-i_=dGVY6b6jEu3DX}jI|!t^+ROP(+py}Q7%dKR2;N8%ouGNhZP5Oda->o zxwvZRs-AQqR_BH+J^mHxXZ;lE5R{t+wD zv;6^_{4-VpH0GiO$kP}BUHI6TX;~QF@3Jwl(Xz2Iy{oS18QEyrnf`0Ikd1|dmhDfy z(LV@7MrL|iMkZ#a-#)c}a)y6B_U~as0G9Qiy7K|3t-pS|{TFf0`|ke$8w&C%f0dN^ z2W-f1X{P@_MGXPG*ndu*01B=5l;$sa%kRVfJIT}kd&ckI;Q!BZCjbohA9APP@zT3# z><`e89bmzFM-5p3UD@72LsmfFxOdQy9dMFY5A000Cn8R@0+9_N9(5Hn7|{?wrSLNx(g z1D2bCV~i2dzswEMXrMs*MYa*#JQ4|CVejsT5(h-%4CXa5xepVp(E?O6mk;AM6nskn z2}E;1!&jgnai;Z6AAWH}LI-H%P))^6>As&!e(=BZcRz_R45i zBijXei|Y#`eQGU=x(fUdF0N!un?~JC)!HfDx`r9s9Me{BJ%KWs(6s*M10TS2|IGqo zqW>e#|GN+m@X7Fxy!|g}Hod_6y0o>kG0-uGa!N^6hE_mQ#+33J{1i~hC@ig>(({%gW{L!DyT; zh4(sbD@8J4&&jt~u27Dx1s;NldPDZ@i!Zd8Uk4(MohcT;W)no@69cVCSL|q z7;7=`)bwQqpke z*o4l^s-;;fD#URyPA*v{0Saz8Ee#`0#RU_#1^a~#x#bynrAU1UgkJkULxHmr4g?Ky z;`xs>dL$#W8w%W%9wLW>X(eeL=6uW8mKj%8_1qFIW^@&)um(RjSe4DWmpt*@ZQ;`5 zW{K4HKM=eMtloy49}}(>R1PdsXhp|VLAx~HYMt$|;3LE)2Kwbzj13(uV6sElFF`qc z;q$;1L5&t525x=@$7e7dX{*4T?LwxX3anS5wj=+Mg9zr8R;g~;iLmc=meD&RCKy;q zZMZ>`XLm+hP^W~f6ok@Ic(tg%T4vURpyExWv7;37YhCZPe$ejHuEXh)+U?zckC zf-Gg?BBxdfVe#WE4dWT_6774^Ds9e{y#>U8*{IxOrj6mf5$3rzn)6jJHeAfru0vW9 zPrB(&BdcRVHXlVj385e^O}SgV=ze43S%r$pD9~kMD)+4GpCszghPG+FBiwxAfl$e- zzI+nd_(k;c+t)@aOXBn(9brFI$D=FAD$KN}=$T}v;!}XGZJp>zFoc#&GEsvZ;uWm! ztj4*k_U_!-Vb2&ihl3qbGgZL1Yd5+`-DXdBdTgKSi>1yTcd+f|6!Q4mA~r&_42P&P zE9rnl`c%#*>uc`Aid@*Rr}+gm$A`-7Z+Bw(?93Kxto7NQk3VWXSEJ@TEEi8)UZ$Tj zz$}zenxTZxCmk*>-cEz~pUQ{|2MR;6v3G{m19~1QIMT;$u59;kLfln2#@9YVL~A=6 z^RtU=^_}BIEWl;#EDbK;a|dfGT{HS1gL;93$0|#;yyejt#C$3nyNPwA!m$8ph=lrlIzuYT0m zC6_&OqRiqr(H6))3HV@{qnH2UCrumXsT+F=qP%23+)clytP~jl;&}=$M>&g*q(KVur zs9X54Z@974VfVuNe9nFRhDNB@4LhGMg%0VuTx*bJ{e6kcr5IEF>sOnInQxM>3ir?Z zg}9~Bo>j#-TCXH)C=Fq_r&9vY(4HI%9jX=5y=%lj;O_VKAJgaKR|vFBZa#Y$sM0B2 z(>8adN10kx`r#Ti)f~e2Yu)#(PC({2;(>%AqD+GG@QQf_4EdrFvA-@}+aqM21B>`& z5n{6dOEq7!G#NiYe+HC)75z*IU=O?3G-Uj`MYS$@8hu1!-nCQ4(y8{EGzxGutk5yp z>F%qefi*Z)Wj6+OPgW<4^>kB6#dar{iM7!=rwZ^oKP|Zgo*mJ3Do84pB@meTVpr&I zNA(X(L_pGmH18w zCX!fzC;rP9o1A<;ZFp3xi~7)|k}*N9F5*5ikT^(?z`Rl>I5@IXXTW4eKc&`I=HqFm zH@QU?XHns&p92<2(Zh$z5I-s$a=#PIeCR6#8h`x(PETVsCZ_TobIgFZQ0N9OA`YQG zkD*qxz_O-xk|b@cdN`cTrPl5989VA%+4Re~?R=U1A7RsmTbcWh^P3nuN8*~4Adq9X zogOZ2ZJNe`OBkdUs8{A4I9{nNi*(@O!ZQdBTcnmaq6PKJwDZp;l^z;7x)fAX5VDEEivt_EVVF9ohY@ zMNiCfQ!AtkAsAH>_FZB}& z$EZ?RJkuqsL5CV`6Hli{Lt9-d=O(r_L3o7qWY4$r#L_bo#}sM|!(N^C?L!8~aN>EW%XE)JdV?CmTi z!Rp!S=S-qwESMd`e@;r~tTE}>uqoQM5Bh8l4>g7zeW#lxT+W!kOFbWzoXUp9NCCw| zSyHjc?5IZ*WsG=D7EB`m~9LNwD?e zW97`SVB(-0HzA5r*cilo!oipEw|*{ExcN||`XG&1+WpF~4}d!`g!rX%ygVy447`R{ zo~`s%ID}XaSh}udM~; z@c+l$S3u>lEb9h$w*(IsTz@RMy9NmE5Zv7f?(XjH5ZqmY69@zk!JXjpen|FC_C5QZ zbM89tzI8*g$V|_4cXiFwOnviJ)p0GAN3bn`b;3$G*WYw`Ccplbbe8KICEDVs`9W=!XHR)HUcTDRRG8 z0+aL^pQ(a_+D(t}P`j|Z)mgOt-t(EYndBJogH_S30Oog> zCDR$2(;XbvZwD?R!`q#gKH0*STVWZd<;CJM>UG*iA*85=e`3MMTsf<*#?w8`8r48J z!cfNQFs+>77Y_TV_C{8Fu->c&-OPuR)}2)WHjVNgky1yu0lzO|hO8qv`|XkuWm%b@ z!-0{RfMBfko6FdgkTiU(FQ?tC07nu9@e^_E7JOXkU2P0cwS1MWkfD_6=^M9=cM4E& z4t;PG+Ex1I-v%PWuh8+6`Su0HzN8XeAl!j<)^#cxvAiLDwadUSK>pn8kZH#g-vA*`#DHJ9_5UHnlnI#jn+5=^xX!@x7-!1B#Pkn*qbKa*-=`Tp4eAf+H`$ClVmQ~t2I%;XyqfBz?YXaL zzkG&zh3=({2KbT!=jeUgCvl%u#XrbF&S^$kp@|XuX zw%O~@EYSfybkc}1YQV!62WS&i<*E#Q zB>p&-C@bnE0 z%J+m>!6M8Pweq#>{291m9O(&r9u>>bY{ zoM3`~V`qV74}P~mKOsFvR;K?et?J)HWZact?9dGGWmFCGdEqCmD?bjvYol1xRBO0H z2ihFIC#+P0RVZJQQk%@DXqA}ymN=+y^IbA!GA7+P<^yTAEWlP`2-R4XSVEmun;DYxxc58)4VC?S2JC_%kzD~dsKRpN?k;h|@adT~M4S%-c3 zB*GNYdTvMwu40F_slF%D@qvZbM9J&IZ(+{AuwHe2-+Vvt0RA#Yh-e}U#tK6w9eOsy zGhXs^kuVy0IR+|vo5-{3d0bm7xiAVwGZC3X0Hs`9t6)@enPjMptdz482Fp!^PL@th zw`Lk@Ix@$Gj@Fw`lo%&-Ml-QOFN(qa7~SJVzrI2Z3Dk&N$~zaok?I!-k4IG?pZAel zzfIie8H=t;)py%uTVZWm>Pm51`pQ9yy7I0jRxJIb3EEQ`k!S3ho?GuLTMklm#e#F& zhEe90$}*f%NQ*~c#%IrqL<~JdLbOPg0c1)(^Tg*kJ{#I^!R}G59Lzq?nXW5^H#2&e z!n3a2dGNx|MuK=+geEk$J0$W|aAiUtk&%N~!jcZq?{G<8mV+khLH| z!gM-;ghv2!5-dMxPLf%t71^m&U$ihQZW zI7E%Al0<=?A?7Og2GV)z8p)I-=cI3veaon5ugVlv4B|ZuCr&O6^9k9h6d`O^yUD>` zp%E*Dau{Ze&?m1d&Mu*=J6J` zUW2-|6JbXZ&=;7^6oz#b!9uZ#qg|>^s`5E%g(;xnR+V5mSq)nlAP8NH#)Co4@@F8b zKGGF22HKn?xp5o=_4^!fB_BB_1Cw5$?P0a2n2*x4vVrB6Oa~DAclaFe&bF%5cPJ2c z>G5vzy%*7=I@eDp3~0JgG5TUmRXqJhRlwr)3%#v_oK8D<-x2e)W+&C2`T#HaI3 z=kp7+(-Zx;f#?cVX+at*;Svn`L-4owm)_e)sUWvU(3OiEQ5~~K1t_8{6065zI~ab$ z!IwRmtu8$l*=vM*8^e9rjo#2PeAE1k5LMH3p@+fK>Xm;@^>Z5Y|PR12yA+Or3PY7FsGmj7# zThp(&D8`~xP?mKJ{c@^aEZY+8JW8s`rJQH-{gNogsi=+EhdLq14|-ZfbW&;r>6ooa zJA)ENnlk>DlH$^td5!#hSjw9qJPok{F9}!)v4%nXwIER<;V^s0?uPniAIADBL96A? zA`#N4-E-qiks~TFa>igW`}+Gtsn|&?<7O+nu3wuIJ6E^o7X%y}TC(3I!MES87jwLK zTEH|YO%2AMn%J3N6!n<73tXwe_ox6m;?mc!p2=fNfY&vTH&WF%hp$ctGJR; zCDM~}&G-rHwgbJJ5w>yz#5SfD#vvo7T~-$&`I_O?#*#wl9-2kzn#jG04&V%Ap9JkI zMa@-?#Z{Yl-O&Zl-&f&Vzv}34^SW{^0A;8mrKRPFSFb!c;o0WmjbK*#yvK@a0mGCJ z<5A-)+j-a{d316Ghmf#XD+|oSz%$2FT1=dBk^gbl27Z_y9co6qBW)`Jq8nr4#h;JLmsuU-ehmrTq1eHhW4c?-_hfmD*dxJ(HGIL7LtD@q$E4ab& zoq8<1u3fdRqX)i(30g>u1`)q4Z3Y$Wc<2!ESv*f9K}$0!9@``2FiD<|FvCXf>1s$~ z^4;_k!}{iJoPlefX6Ca}hP>Ds{$Zq<7gRA8n!KkTtH(zs2xN*h99zhdPNfwd-))F) z3sz*DFDpjG_Y)6`WBGEj=0{?RPq^d&4_@e_c$5>l@U#e<(gQI+J*_nu+y+;u%XJlt zBT#RGN+IPB!b8bnQrBc;UPTpp*aK9{_8vE%C+{lirsNc_5HzZnltfOw5ofAZi~GA8 z&S>4$jt&xgCarAFhc4pB9&Y@-&0NS!IGKb$uv1XkXH8xSvACs)GzB&9EY9Gt9UVp< z@;!eZp~e0+jC69hCV4k`c!5S8<_$jsi-1^TY1S0;)>6v#Q1ERTPFE4B<;%-5tO7#| z6)La`xte~LY+d>eCE0<^NYByHu^>{v*@=5PZinU~98V7SZ`JUUPFcjET@}#lZ%3U2 z;w^MJTKn;Ikr8fh`OfThPhVT$jKI?*=*&RcJ+HvI*yqsMiu6@3Q*Zr*T{)O)wiV-C zpzV`Cg{xS^Y#Mx8>!&j9j|WGD)qe!>;k~>)Z?`w`42Hg6P?+xx)*jTm2=AbT-W5(< zq=puOma|!Vl*Xd-KG0&NG_@GXeEoNZX3c3Xmcl=GjZsw|#QSfvW(~vj`xi^J)8(invXWL1YwU06dB*EB?F;kEFW-3{71BQ#-7Fa zLcls(d%v&NGUA%wc%sGJuwsX|%i|8vP?>EOAbCxKEgYY=yC=zh#Td44Q^LnsgS1<4jDU+mIGrsm_L5I; z3ZG%4#;~I?WKOIpykBF*u6$H>HHAVLZu4TEeXZ-%2%&|Z@v zEy8$25^N?w`~eP@eys3s-id**!0+$Gzr6BC?uU)Bm7S%{6SM&2m`LlG8vvsZ{<$~) zUvP*g!pLLEy`OPUER4WU^fXMskMB=4{(v9*|2YitBeT_SJd`Jx;THpi1@Kgl=qC&T z0MI^#{`{)(_w>sD7fJ`P=-J;3{5bPJKfnGB`$S3Ut&-r+8h=tcc1Hhcl|Nw3wST0b z0R8CyfFS!`Qlaz(W_SC@+IQ|veBfZc z4q;%8KknW`?sbZLWNn+2rF*G4$uUlanU<#rb%JFhnYz^GZ>ox+rLKH+d#CPITEZRq zP=VbH%zf&#>tY6L{|Pxp9MN3%J>Eot`@V~0s)jZL%Z z_U738A5Ms}j0o?2#=0!GAuW23yR@X zlhgRnD#DMY8%#oBjCcXPkGB3sKTTFp@460idqI`x3yJ&^200oRHPDw=u1EC98)705NwvhIE?cpF zUblBL;#$S+LXE0-G%v=&u{>htzUpRdDakVZ-RQ_&nym*DzjsCkFFE?T*7KY+3{1?t zAS88cw1jlryfqPl#+P4Yj}olAeXEy1**m5twQegG1)A>y&iApehcpZmc?ogn66oqY zvo;7kFQJaopdX^#>V_Wdy(?tNqo+RxDp>?3Vd2FTi;e4tCo`)uSd7dKdaw6|;*=yt z70cz56=Dp}4Cxz)zbE6v%iU__Ob<7TD<**`Q)C!qklRT#5^^!I3l+}_ijW&osWNLM zQb;P6qZXZe9#b4H2M$R&&A<@s6h>w)ZdFOfMJrkq3>Th9w6pTHfN@9LLq&Tl+iw^Q zYb53SQkTIYgfSx^SUFD|1urK^TvQ1P2Amr-OIvm<9OMfz%VO`x`S3TLjUs|9=s^a+ zsC%kA*UxvZKAr?JmI*nz4Gk?l2Zx8->s6i#>bi8a9~SPkj`M)E`Vyh6c~N*#kg)v( z=;QkJMLj#UJ>Ymcg;wo!vc?DrBF6NV0X#*^%>Fv>lSIEI7G@MmrIOsE*k2@1Q`NtH zXDM-Lc^$fkCRQ$iYF{2KjXR^Vy3>9!%FlYxR5L;D1BoNE^O*!8yQu}WoEc(BM6eg=ct-$+==?gZ^}a8c zk)w;TL$Jx4$tJY_^yOa5VEr`Mw*7ZloapCvPnK~{uf|AODao9$lz0H#=0cD=w8=0fA-LE(qAhosvdpNs1@V?jL?sMiL zot9{3r}D^Ocw^C>9&bppQJ&uFhJQeOJ9Jc{|7`o>{BmVR zB-DV}wVt4G$WocK#l$c80syzgS1$0~^FdyaAT@`HkU4SeAN;oLHe%)k72MgMiL%zum zme@R8FbU&n*6;dS*bRgu;Tg+zQ@YX`!zdjwqaA3)(kkJFvsNR%ISkX=wy(c!tTkux z=;@l=Lc;7No~%eysjsNS|Bz#gmC_bpr>V>=LA(ED+u-wyskc(;^t)~W@NILRtHMlO z?gEKiFFsOKB8wfF;^Tfrk?$ek7P@te+Tww}2o#h-CZ)Q&-^IOSe+$g5aU=^xyMMGn zWK9LP-*!1eu8@4*OE6J`V0yH!wiO0HJ0i>ptokY^0)Lthw*&0a|QK!{F4 z+h1za+*eD_F*v)*np) z3%4E}Hk>eR?9yLjYzq4W|1lnTB{9>UcZ}+Zy|p zvB`XvCV4{Y=0RL_ZltN+NwGp?Mv!P$eb_`1cFnK}@+X_HO94ybH~AK&)6FP!A2oD_ zzf{G!FcaDN%fbk2p{49Ayd0_clDzFdNl6*BVBAta;e@rqi&=rrW6gNjh9%t>7nMZE zug)Ls$-N(9i3|qEQuEOa&zcK801Q9E19|F%5%FQ8X~v|^8$mpjR2Vknv+f7v3^5QA z+yTJZhs5|r65JcfYE`4`v$yt2Qw?06#W1LGyt4kRI`ICMaSp;lB&@q`T>*n|kNAg=DMY6jQY+ccmBGkor4NB(MU?NWoY{umSPv<5@@km)~5& zF2m$M+eUZnBCU-f9`E5^hNh{l+T!}wgLN+i5JaO zGZ98?QS#-?Mb-OVHDwe7DGz@}S_Ui9q_O0vU%y6ZY`0!z=>~vPP#N$c&7xxj8oz!I zeC`8lEJ69l(y+~LSjl(|EE!f0kowgD^hEf>(xfI%_^1t%sEO^ZT5M}w7oi#MdJ4zy zMN+P>AIzrq;>2na9zN&4N~xr)+wKjMngWpum_ezcqQS^_F$gnxCm#fxu5u+g-S%Ck z)NDX7>6kr)0+cT4swl3W&j7#Y)>BDogX&a1GMZ4Bz?6cX1k(foW=wI~dr_l_pl$`U zPstkgM(-sq$UD%U&Pj5j$#Os;oPDPIXI4=TPRuoDS}k0;9!+_?VCm`NSmT)#?)W$X zA?qX`Zquz(*bbAdL%$ctA*g5>na2EAq<*BM=PX|&$k_WK#;HWdnW86!)$^po?#0>n zs6+eM$DG$u7zdW8__7*q(4)YCtv_f5H}O z44_#x19pwya=*0vTwoLpnX#TPE|dywKj#_7Z1$oP!aBh0V~l~1ishuC6yg;QOr`}c zp}dtZmjOzi!8`qLJIME&4Cg3LTF23|-m8X~RjwaqnjH2SOh3NX!%Zg6UX|--{-iMu zYdx>1b+GSkFSb@i_AV#&hF={_DU90eUM&)wTt!{VaxSKBK#d}tX(K$2lr#j}jI~o> zO3LWSQ==M_v%!0epLVj_$E4WM6_QJDM~;r+`?JXvyd$3Lob*-J!ESpe-;7gIgJ=k| z2+`Y<1^)YH(Gj{xE>A79uT9F90rft+$P)Jmh<(~kfA>E9-=$UjGgtYypqoFL4nHvs z26~_~N&~Df4otXA&&KeWnE9~?JIlX-HvYpzE>GUVUy+T!gL3#REG+H*0u@LaTbMrX zkT=k?BUEDt00V}Ae;!?J23kf|dSLl<1~yh&VAdI6CTCzP11mGj53UHmrH#IU4WZiO zSJWS}2@^g=L+}xDasqn<_W8rV<wzT-M=M5p9h^4|~S{PunAfeh55I{($tfC5x zG5KR?03#bMkR|}kQT@~}@asG9uYraBqZkC*=fR-Hycm3`C#r$_>@?V*a-}LpTT)*`7ze23P z#&7+5`ub%J0n9*?1OTcA2>3D4GSjm@s*9O{mVp`YKd-LGFimR3yA&G(*qvSTcC+#eNq<_3ow$E<$qjV?Ci7*>`e53 zudTmh5B@8$e!IE;km{GR{uc=KcLqaN=bZuYQ9viFV`E@p2efQJYxz{+LdrnjScl)z z>BoBmGdnZzB?AbavjG@r+1S{BWW5srejoy#Wea?O{c)PSfvu&zjUEtP`9UNFcKx($ zwuEYcCl({{DgJmY@cI7Z*W*(MxbnR2!e|m5;4T}2yJ5(<9o!-)vc}Io$uTv6x{|sD!LATjkGs$J5ex5mAH53 z{-8?J)0S3HL!7XJoNhq-b)O4sh2%gm)i-=p34)rAb6lM;YS%< zPRtOS1F;z*$?A5rY`1<$-1ozuGcq2omb+!zmx{V8c(@kbZ~5?QIow=YZiWl|Oz^|M ze7#$pqI2~0e8`OLLZYc~ao*UNp{{Unwx3z{@VMiAxF5T{**=3wJ2+BSe@NAE$6r5o zyE`TbknwE3*)3=$XlBX++jb$-U(YqSTJ5lwAB}tS8efvL1xva#ZTzaWU`M)KLPh$v zvBh7yVr*Ao)0i2SNG4_zK!Zg_AjM5{((m(T)7ZGKh4y+1&ekOL@X60W8X1-P=PT8=QOB%G693-abK8&+An82#dra5sa zgzl(wUt9$ST%Y%MLwTb1-%gY)kQ6t&j2)g|XQ>Bkw2d+D(yNXU!PwNLmnRvqiEFq( zfm~Q(uQ!b3DeRAYTWBki&GP2qI>VA_)r7l|^P_&PYqIBpVbl6L;UdFy$ILKnf^`H@ zxyxPVd6F3wvASQP%m+Z(X26oT8+C!RFHI_>Q@tg{9+^;Mx4YKRF<`dd-L|wIbicVp zQFCp-t#4Fy>t>3|V}H%2p;ovYVy~Y1rl)_wv>PAkUDJG6l6Y^}c|vDE02?Ou^0*MY zQmfgH{p<_3S+mmQ(4i0gH#;oX+07;8)DO2Qh9XT9)E{!KKB|j{xQ`w>kkbTM%&(Or z6kab?=}~_cJ}Pg5S~Q_3Yd2<}+;_4R&qD7h>uy=oN#zr*#}ZW}qT*7?nMg^Py^{)V zq)po4ZpGWlqQ4Ai%h*M0(;m0=yvdA%oYSb4FtJ=7my=S>yPT6&eHXP=-wQ2+V4LtF z?Oo+)>CwpY_xyU*@6IPI{n8z7`md(4xy_9y(?jUVkv!>O>7rEX{Paa>kY?&aV(K}; zCbTjY7AgX{o;&r(dPUmEp6m;|%5mb?v|2f_Cp*A!AC$`FDqM$LrxNw1n@+{9); zNvJ7{Qee4xuhSa?;bGY@YG)gTNx@nL^J-3$vZ%3h2VY^iLXym-pF)H%mxLTN*^0UV zoHF#a;8h}YkDkJF1?lZqXrL-|`TAVF+N-v`z90hC6T1A}&!gz2*bTs!AdeDudyh)`h@8=nIWA- z$2_!!aNyb3VAcRzFq6`HRWyU|#IWz7`tYI1S3T*+KGgZeMG9-2{))R1CEt@>%}t;{tAGJZIm)z|7DK3 z8{#EDP9)WdU?`V|*Jp)oZ&xI+SbV+k9^!eEQ1cR9vTy zsApPwBPe;`%vBL!Eua?=Jg61M=!bJDAgtLr-HBk_5pn62uben|x8*!rm`Sdx;Ek)w z(>f6wLc(BS5xDgdKxZn3$sw)<%K+&+1&n8(sa%aUu;RIMwGM|oxu^$hlONbN+p8t7 zqp?hEoNSf8D)OB9;Eg7i4XF+}%94OeZWJLA!Cgl%jo}=jG)IS=>Ndwgc0~F3`I7(~ z-jBUu;%|$C1j)V_8a6^kW`iWb9490r*%cLL0=q;`^MXuY#s*hb;`b5fQf~`{G{&!z zF3SkaMw?)xe$#^)MGEk!9*Xwr+J)gBmI(dWttMn3$nWzY>n+A82`yUinJ`)f)Q?tq zklxE@Gzznf#n*ie0~Wb3)RqWa&=nZ-1%S~pBF&zFgiv2M09eC*4GZ+A8S)gD5S1Ky zwu>wXz{E+dBf@r_@79-|l^)y21Ajow;))NAVUSh|XNTXu=u0e+j0z`Mg_kqKc z*gb;|4Frb(=qA1JRj{vL3NkV)o*Ec=Cf69zfkK20p6%`9%c=w|*ou|}QXq~hznyIj z?M=S6NSMt>Xc9I6&!*@aS=ZF3=7)uH{s!92QBF1t%NtWI7)ec=A-~lB=34vs%d+xH z?^RmyvIE7$g@9qMKxiWh8j-3Jv}pTtw0SFWY;k%WL0Dx$pSmIXttY6^qg^yW(8JyafI z0`AM0h;>7?9knSa7g3@~Nm4%VBL17ABz7w1R!L;+elMRGe&DGZ?=F-X4-=)#vQ_yb3 zoaj-wMJ}uNg@{rzeBluaGaaZbfpJd=@gCg{nF3uj(%p(tAs}%PCrS(qI=hK*4W5mj z2!kp|tcW349(O>gb`BN3Ha?GB7IzgCLRe486$e!v?S*{ywh>8Rq!0Q8J*pn{PzVDt z9i#xV)T_EvBU|SF?WL2dXIKpK86~JE@8$yDM-gJ5SM)vv3cPYov zy$|sY7lS>`K_F%UxAPizTA6@U?(_{bT@eElcX#JQ_`Wmh{FaM9NdH+h5%G;%@q!C8 zf6(oQvaeSufkziKDP;!5^XNB35TeF#v2Tb_67dIKY@b0G`3@ohs^=AC0^8SxKZ5U1 zg2iYRohvDPnb-UnaHX919Xxhz&ud52zYg%W6IV3?-3UL{Je_#)H5*@jPR5~4dll36 zm0QX}uvgDqr7@U0bg@?;vr6o}jK*}=v=k-i>&@Psbh({a>LNUUZO50Iw;5o(YfYXeXr$M7{B{rQ&A@6 zw#mlZ3*~>1HN%f?%>5vXolh;m~`hj_N4;&$*15A`rX^;64IEJxHK2+R1F36DJ(5T9kL7}#1YXMS z*uBv+;x&7@hTz9*P-;Yz%b#heQ$ZIEDLhyCUYrm&JVp@|C5sA`*@%=g65kms35U}A zs{zLG3$TWcYIpP`q`jPM$kbRv;VdO3ZplR~rB5P7Xidx{YY26`WbqjGvT(KH=SNWG zV9B!8@`U2y%2q^i$##W0N5CnYx7MO25)m6yj8|dolWaG(Wf}-If#0pV3Be-R3fv#& z?8?GhH$m0Y^HcKf@3|EX8waWNw|W(wjW|opbBJ!()PGy~Xye{_m(?@fy#26`9v{K8 z4P*6a?(QQY(A=~`toI=o#vaS+o-`T&x-=LdpjJ0daJv{ z#f!!kSNCWcPe5@5Dj=z}@s%l5s-RMh?AMvE>SPMw_4qGqYw)bkLrpWTkD>Q!q$}92 z=(!3SJ!AV z>}%0*t{1Q0T(59xgmtP<991_%a+Vr|mDsRWbkR$VyOIBZC6%r@%V=xv+Lm^R0TqM1 z>-IsScWp=EMkLxLCb@(||1ILti~}4*`t`0U--hWY+)Bz6p^|T3Gy={(eK#qN>(47q z7~{ZsPl?2!cIf&suV9_&OHq6+#n~i&N;ifgbAU;hhWe7t-Bs+GEp26VuM4!EeI)KI zBPC0)YHmosu%=DxdyV^q`8kZ)Tix`@#V<%<=>(rfQctrQG!6?73z^f~FUMCy9B(P8PUXUigf%@;QAO{OhtCq{2u3#as{=I?JazP0W- zysMdST>sn=o|52pI<8S$!dHwFYrVF=aPoF_!X)|71yXQkBE5-whbaO*LaVb>yk_fK z%AWTVw4YsC0HteulqQcE4xfvAyR&)DsycH2?Z+$Xporayp)!L$rib0VMcQGlP*&L< z(_={a3DJVf${^O)3KpO}_IQ(+mZ9rNv5{|N>@AT;>r-kLc{CBy&G@?v?@i7*bTj7jI!o(1jvg~mr3E%f$j)>%IZ)iFK1wE6To z)o0U7UY{WP7JSfMma$ZjOyaOoqD3?^v^m->FAUXjwLQ`f*S|p=U@9qH@nBL3*$c#k zU01&*eCuz9(*9LkRK{b=j%7W)aT;qMx}r_txxT`grNe=`rMbIwksHkgc)J+8<#xr` z&Rol$Y}NZ~hZURXRS7>0A@7K|K8ZSlo4)=9ro~~u>84sNytete6|&Dd!?T>ZjIPA- z{vUF-dz;N@aK)wYXqRgRi;_p9cidDd?cpOh6R7PV>=`}?&>`=GhHV6XA!F5k79Mmp4Rp=F*e$WZE) z0KrQO$P0l&rbSDD?m@ipQ>mUMp)>20R1 zZ+&4=-g-XYzf`KG_uBp5M5dS-efLxrsg@(6qGWnG3~`i|vMjYewWT*6`GgL%FhL|Q zaMJtCO|mSO(O5w}#=U)jacNZb!iD=AU-Y$_KLwNGB0`W!u8wLL0(eO8M*@zw9(j1j zHl=zxox2GM-&td&T@DP68pDcYxE_+TQ;vbQW9|5ykM1S6B^3Kt*a~ba%c2eT*mrWy zBL|n8x-Ypfg%fiGrJ-<$RK|@y+$AR<1Y7v3YXS=Nv5!<13n4NPEL~S>S}w_sR95{B z*_xai4hd`uQ?XjI=;l(fLAH;+k~H zd3$MV@hsv7{&0A&f%d(BD*l|c+N4r|Rw{}mlye-{x1-pQd;21&IIOV`es_r)c~lLV zyS*g~a+deW%bL%gAxPSN#*1=`XC#r!#&{<|je~EY9#F1D~;(9q`K-9q=Qeoq?c%9x%4_FDaY$)psMl zd_Z|<^Yo)d_+s&liX>nx-~3C1wf8d`?YU)}tMTR)dGvD-E*$dfWk>QTR04sZ=JTtl z^sogDxiwR^)P76AAw&z}1ku2_2B)hM-p zxm$1V{+~GO*vEGL+Tu6C)yR%h zzw(hZ%p^-B!)yz6p)ye-?)pB&hF_;7U0;E(d3AkPJP(z|B1%f7Aj4?mQ!EMaV^ley zO2&q>H>f81D!W$MiM|_E0j#!zDFM*%OsRE=LF6cR`+Q=9x7j^e;3{e*A?>J@Uej|!W!}z4bkTE{S~)wUZid_taz#Bmkk-xl@byM5@V)i=WjC_lNC0L<0;xvs zC}Vc5$cC)s>+FTOv{4m{)+H2WC7teUi{}RGswjoQn8vv~!N?AP9=x&$pEbD7^=mLi zO4#ixGxC9q5JB)pCXRCOVsc#<_8Oj-Dy$B+Go9XCxom!FNGau-U=@ZubE9h1D$g7mIvj|aRC{14KqQZTO(WF_StJsm_Nqqb_7&y| zOU5)fybCx$wgU&PPxPbyiD_HN+OskYChS@zfTr_8Z`hFblrn-7y_#qjgW~Hn`Y}UZ;jAPvVBOend}(IXQ!1 zgd8;oH%zQnT9cujJCi}6OTWikQ0VrIB;i?EZb#&~_uapBi|k%T^v15>aW(PvbFXVZ zpfhPxg=2GpJ{6fWH$&Ghdj{dNDW7;hs9mxhUo0iXe5+R{fld@SVVJvDd#T z=wS+2oDc`05UTYw(-Hq{)Mx2R@@$mzI>iRjPd%f&Jr#nzY04Y(O&OhBa7yh8(Oc~h zp3E>mLADhIYqeTM6*8}lLgo?p%A6HRIxrG2fYWkp+!=Z5^T-yWl2_F((>=0^ zUQxkYXri3FqNQ1l_9JziJ3|W0S+n?)VUz7*#{A zxvPsyf9ygARs*Wa|00G?Xjpckn7_N6P|~hSCDNY8%-ZFzfpXy^Mp*Q%TdF3|?SpT( z;CAj?S-crhL(vI66SlkQZtz0Ks0c)x*ZKK0i(eHdkI4M$g%_O2b%~pY8=j>!k)@c; z7QbB36Yj>bVS~3bqI{aqP^1wJy280$us)+uA9oXa1q?xM!b6KT ziW|K;-6-xj8R+yl%T{PxFk5R$qGW+T?=#e;cfs-*k zT}36=cgA4J>SDt?wc45-pb;Tounk==eQ|tCbH^zXuppb>b#Nd&GE9^@MKtZ`Di6W; zYB-N0NoTy~1qxB+L2FIuIBpcJ@&0ztQF*Z3Ok}!J%Ka5$^|g_fWa;QZ^I$NB_9)vm zm^i#b&I!EtDywe;ly{b}vwuTmAj^@Ah`KV@~hkognynFX&xjel;bEx1Te2<6OqsS7|tdkArCG-eiM(Vdz+WudErhy zcfMcaf)m822#dPiEHAi}5K8`yX3{uIHUPxW8Xd%z=c!-NlGK9Y=LfTe~Cen zQCt7h@c8_%{x25Km!l?qR9+Tr8Do8xBpSXwoek1@_~eNgg>wZr0EW6`M9+!I{dF8(jw0W=$eiWqQ8%zb)eF6qB#hipjea01 z5E|@-NF5#&qP*O_71Sz2Ay9OYd1Ym%IR4JdDR+IauNA2Tt9Z!~ATV~iACy*%w?oGA zUEsS@*~=YFR(o)U0NXl2SK5;FE%fud!9j`)p29$+T%sjrd)(S?Bfq7QRWzSun@hL( z{^-W~+vLMwiaPNC-`6PB#rbv|45HdEJ7J@7+m!S95ed{{Ds>T;<-f+`wv88x5RIhf zW7u3O4-B1r^b2_#P}eR?^67)%o-tiOL>2}_^3@y5%PAW{+5#<9@N2_|RE0f`K!`$3U7r>9Z*PDE{-xfvF4<<^kwgpZ1C&zhQ`SIN59fKgF>Nn`2TqwSV zbp5W}{1&s7hH4|jISK+iX>P=5{5qOW19IH_FQUU?LnXeU94lwKcL(_6k@AxM=)LQ~X zMy1GO!TxVKZG?>UCd8ElKsE>Vbonw;1q5(f@@Sd^NLt7Ai%LI`7;tK-hYI8Lic;>9 z@m%K2O4=QRC8Klm9co@>S?gPF1TJk{G}xE;8>K1M`ma|?vzHhl)a8bq;R=op_Ge*C z2tB}hJx3Z(0*9`A$s(e|5k`T7G&77xHq75?Az0`STFZ!ON|3IAjo{vAq$O55w2it3S;?&{cb#0M zwKn-IZa1#Wjw0U?X%m`m7@~QQOsTJN7?(djqF%Hy3!~X6G^fEr`6aBQ*G2}a$9k62 z^caOl4rwrBxf?F&hhPp3$u{>rCiIbK(hZ^@sj}c=ddN3B&|@H{@vZ%qXP|0q1+P5M zi22y(p?cIIHH{+jv5^@;=m6m2y%qv|&*-`oVKse;;sO1-mKd=+kXT7I!NzU7Qlz|I^JlXJoaV2ctnqg zl<4X8{$1+A%^us)x%UJ1?d*KYMW^@ngJPDXloL?^eXch9;}hy-Dx_lR@xI%n4|g3l4d4-wbG3Z=KBNU7gJk+D zE6wA|F|EpY%Uj=)D@#B0D>OVCGdmGRXH0zq=b;u)C}4qts;6;+tzASZ>-oYBLF9|P z(7*G7|Be{*=my(9`mX|(_CU79Q_!n~u|AL-@q_sA#C!Ow1N)0b`5W;8NLl^E$Nqiq zF9zRld;iKiQkKy*c_fembAJDHrDb*OfKIRluyEZUdxV_qMBdl|U1DIc?;raFEX^!! z-dO4A0e3!eH6EpSjMx2>Ln{0j@%f|A$0lHW=N~6OZUR$+|K19uXZ_v^%>Dg)D=_=_ z@2xC^PdUgQ9skF!fLy~rT7hEzCh60}emVQLHt%!^)#$_o1RkSm^?`}9fU|oFTh?b` zerKcO{Cne*On+JV$HRYh_6Ksn_>_A}n(&EXBClid&ft+C^LXsjzo+j174gJ9vQ?s6 z7QI)dR5h;H2M-thJ?1NjiC(d+I0w`$g2_)5&f5WzJ&9Npqw}3&*2p6EC_Rng4o67H z;81eNth2DMje;(i`HM3zY#MnGFS=HrO~#DEFHwN`Z_f=1DvW+Ru{nAH;yV!n5=t4W zCQ;;st)O0H^=6P;ilXt9sej&Aj<@CuTHHE$;q@nF0*9oI5czo%sD{ z(UP1>*3_LLJvvHCfHmslTq(#PM_I zB=mj!WE3lsDBiP(l!H%Fp)T0S&Ud5USnuAoRE&d;f8T1VK;yL{Fv4#*=nvXuk@4;T zlU+V~n2qpmgxq#*%f|;zXzn;_tq|I>sDzy^r|DHvmG{ceX@CTbdfnsF+X+mRdw{I3 zX;uBrz4oZQe^3=8%M;;Sn(!$M^OvgrJrzapNr1|s`;7tOFqJ~ovEfn5V6#1VeIw21 z3;EuZ%;K2mCh53X^6$JAe8|N7V2<@QKYky)GtQ!?3*>7Pe#{43yzyxsqgrRRpd^1*%FgA5mdKk1X7%pt~O~^ zY2D55+R@t%CH8r!(=n)Cv0u>{N8At*T1Gj9c*~Ru1+9NE#I$~Yx$-ha8dVD!r~I_% z)q^jBF8d*+0R909VbuGM)6|h2@|avla9`H3C8E<;{p)3O6f%< zfkD_mH-(LDY=PTjW)Ihgp!u;jBV|V^=v5~ zO${)W0Fd?m!%F@$7W(hz;IEeNkBL6n*vBq^O!Uv0{2X1>(%it&(#G^(jrtcZ_3xuT zcKGXJ{D)CxZ44ZKTaKTj3OVVR|4TvtLI?hR$iLFy{uuI4jraS z=al|A41-LH?-q9zJ-H4d@Pw^^ZHs4d9nQl# zWDRXzYFq(>P?6b9=Vki%(*~P|x44#G;$@Og)qhlnnTeLNFcktGJH-zGAU!*!KloXWwtnlJo^ z>D7)6|0eQlU6;P1tk>(&+87npQqd6cqo}%~>q8)ht8aN7Zie~l$DM$EDis(~B7xyc z(bN+ebuwk<(Lre0R4EfVkCZr#Gx{i2!AIxNZ?Ab)9?2B!)Npo#%xFrG(#O=Ge(<#}4S4{1W}@l$MkVDaHRUW83r z%fX3(J66bMX%e&#OoVb2i>Ig^zpdoQ`0Kuk;4sVu84N=*4xH$8e>V-DiXsiVGhwWV zrDG6gGk;n{4Rz7=G`PR7^uO$FSuCP?_S-6Yz4_^v-_Iu##>+!@%-8v<4)Z7mbCc-l z^~J^8-R*OEH+QSA+s#9Ae`M}J$)1a%%ECGb%Q8)(kV35#SbR+F*%giP-~T+ldXB3V ziUV!rj0w}Fkt8yI125AW>>^wqEEng3$ygy(apZv!Fk<{$b{GkC*3=GR*UksTaV4bW zWg4zlK}p_zZxx}8INDx_$)g11ZHB5gRGlYP_jS*Q%jtAR3t~+0LCNCV|1fnxZR0xg zayPgz)$w%j7QxZmpcNCjf-gC-lR@s9{(^7`Kb96ta%IdwoloMQlXx9hSc(=gK9;9% z-1qTw)1<35KaXFB2uH0)VKnq?z9v50dVw4UeH3>P~%o@RN-{3Fn8t*4)6 znv_(S=d}^HAkuIXnplTs+C5z~)1}Y^PM&UfNMFR$G~`1Pahh#X02j||Lc<=-K&B%B z=UH@>nZWD1Vt?qCNgE0t=Q%XM1)4{frExUF)N!?zKvQ+}tVpxn9?mp9vAu?gU`>(N zb?I=<*K27sEd-iFQ6fCeqpQk98s#J7X{Mp}>}+`0@`yN9rzjV$4%0At{bm}bCyp1> zfy5rKM{g^5c_-(LL18jH4m*&39SAoRagIw7GCVIr&3ZUj@6Aih)P5bV)0?ZNd!ikl zc0y--J|XJjS&pa+0`BNN4X3k(@FB5(L8EMMBCb~ld{~dyR`s5bz>Ic#b$E`|(+`oA z;ux~f9ilF_s`ciUts1sihmCM@aa`GI-@n+JOUe88?X9a2iTA5Bwv;H3$u=fW4)_01 z6t%>bD7J81=ZivOr-t?~VzLMC?Or}ggZK6(AK5!DY+