From 0bc0a356067163c3174c32b743c48bd26b2ce38a Mon Sep 17 00:00:00 2001 From: Aki Vehtari Date: Sun, 13 Oct 2024 17:05:14 +0300 Subject: [PATCH] minor edits --- slides/BDA_lecture_7.pdf | Bin 3619036 -> 3620505 bytes slides/BDA_lecture_7.tex | 45 ++++++++++++++++++++++++++++++++++----- 2 files changed, 40 insertions(+), 5 deletions(-) diff --git a/slides/BDA_lecture_7.pdf b/slides/BDA_lecture_7.pdf index c4476f72b033fc97b0ad517223c28a7cadfd5603..28e623917b70a6fef9f43b35d561f13fbe895a05 100644 GIT binary patch delta 44842 zcmd>mWmg>Cvu}{W-QC?GxCD21f_re+AQRkO26qV(90n)2dvFWxZox0llXK4h-nGs* zxG!o=mvnc{Z`a=4Rl8wNcG){c-0mvs_;pbjG zJa160+_qm2Z9rX?f}o2L_mX34z=_ZJIgDBe+z0{t$eZ0&JXK&Te9``3tHEMRsk++M|-Z zfrd)1<)^CzPGZGXvVgNFqymCk#%UU~<xoaTPzkYf~sV^K-+pmBgrWhzha{Azk# zSFkGsA;r~;UR}GJ;K)0(3n!({a8D_12)oadtGw1i+S-t`>;=?1Yd!ps<+s+Rz7UFN zg4=+z#Vk6p%?-cAbc;BEGP8T;%C%}u=n_Ey;0qX_3v^JJ?`ia~{wA+yl{g7=Kz6wv{b=}ZhAjG?B1C6 zvYpR3J}w)rnE|kZMpFK_tZf0EZ38{*qLnQz&rQL2lW9nOR&Q{GntFwZ5iXgH5QJKK z_=rD4Qs<22itWrtM7aX}x=@-B`O3NW58+9q3jJhxY2L>~y4Ba*W^V<~2=)V0W)4Z> zl~KkvG3sZZ)!XgViLHAp*~3(Yx>kxf_2ouC93D#3zLN5`t-dO&8a}BgvX>rd)L#{q z7Vg2Udc{r82Kq-56~3WLR5m(B)k>bis_TGXxxFllUVQ<4xLGnF@(m`e`b-WT2qa{M ziR1O0C&DFN@M`_r$7}+ivuDC~;QjKz1mHzP`ssAcvaARFASO|IB%+B{<@ zgfmL_f>zD7qbheSJZZYn0Kt43*l~pU>Fc-xp!zQ)abr^}ZYP^vbxkE>I10b%gd`(V zQ*4-{4CGPYU?H&u1Ad9R=#P{&-(wwn@=?U^acfz#*8P_|SPD*nN{o>9QwSfiY|+du z0@9}HgG}LBFU4DIFk<(~nbt@9eKU)8sQnp*kIGktHE&%SJLJ^1-B&waZ`0dxl!00I zVCT5>H5^zXDyvGUFF1!&Jj8^g2kiXJ z^&cj6qO{-}y27_`Nph6cPJOcg&b6R`VehpSS0L0f5_m1BRvBEY459S`g4cj#0)JG5 z%!NVW6*dBS=$kwMKM1PRxqzIRc(6d%>X0}f2xE8#@J9{ELKx(S!=t9%@Wp3D_dKq= ze@(!5x{%&bNN1m={qRs;A!qaZ7eSjkoS2|kLr7I%8gZ%LMrgC5fZL6kjD=>~3y?X# zAw1T)L!<4FqT%+UcVHkkU31*8h(ztH*4tP}GpA?`k8x4MP%e_@IiS&KF5p$N&pM|Gyl`t*)} z)jR&N$uJygh#xiN(ackVEMsDsHC(+SNHh9bHob7fUeSvUg}-fT4(lFt&QOx zS5R@qZk=6MPwq5+ecbNsiV?8%&?9!X5>3*h6HK5$Tar5H+cogeagPWv{$d_y55Yq? zdGx$-=OnQVR*dtDJHca?MW0H~Qi%!+EAqmPi`7U>ba%$-8&LX6weNnv@Cw7b1n&J8 zAuy~lWYR~F;s6vXu*i++aoxs?k-x}$PDG#5;f=J>oK|WEYaGLEGlfMlfxj-0i>_Ju zSAtsUufrx+EUVFj#t#BgriiB)TEqXwDOCVD9AbklZ&ReY=6o+&`*{>f))oe41)GW; zH&Yb)9bC34zXW%n`l*Q_X=kt`g7`gZEu)~{v-N$e0u9i!2v4T)l0v2GXCWOFQ?wFO zGNP9(X}LwFEI*>jtKs;UOr|gUv*4q`vWm4T2b|Gy%~V@y>*wd=k3P(~ug&L<+aw%q z%=f&Dh1@vN;)DETOEgyfE(&oKX?W;TW>-2%fte+R?yqre0+gf#`)2z>pG4*T2@b5q zhdQ^zii&Vcr5Q$tTir1FN+wV>CTus>o(aW#npywFDQr3!5+iAjpq)p$l@%`Y=2{F zBL_;17IX;$FoF~YpwNJo{{$AnKY z=IU?VH2o$dQfj#*%^m1^YOERkJ_8?0R>BT2OXG4qs%MRX9@3EkoCLIxhcHBu96x)~ z!b9AUSvSRVG!ug5Nwv-&Y+9mBmGu9l0+S`zCnH_5Ppb-aXtB6gx;_;y+#HVi0c}0U zPPm1B8;33Hkj-1g+$r2a5D0-wmYg{4Qeh%v*nOD7H%lr53|>8-K5kWc_-Z_VQ<+N4 z^a)%>tE<2#prE&gPmDCJljXfO?d@|nXQ?pScqODoY`*`CSLh%VQ8>_)$J&a%Kuk>E zgWO!}Pa*!aiNSV5Ap!LqRa@h&W6yOGCE#^}{ z#uS}VPrkr^jnT(c+Y~V~G5h%>Q?tk z{nXkiMBBEa2->Hph!E26_Vbxba6Z9G_KWgm`05tH42o7>)rj1eearP z3i1Ffn^B|(1g5$vvd^YHFjv%q!91De5xh+8bh+FXmqh&>wVO?bS{)+`r@6F`!AeMcU%eq%Vo0g z8{G1cCt$G&W52lB@coW{pS_)b`z?7oUQtN37{1tDApzP`BBCHo0fVKT!^G5wq14@z z^$i-V-#+;lyunfEH0t+PebquZE+ENKzfx8a5&8yLv4b3?hLz!m0^u_-!Thun&-6V2 zpA+{No!6rR`RJO*-vdwtp&20>(jLD9$9Pc2&O|8WGxxLFjbk{~6u>0lmMFGtx{TpC zA939=5+!ZgNTG5|_iSO%7JM&7(M&szPo3m>2vT9B&upL+VwiosM z#bH%^yz2M|(TOS{VjsbeY1JgnP$}*CA}F8Hj$r{#PV`7K`N754h2NI9e!Y(mbSzor;wBc)=!6 z6?{Z(G^KTwKglFaX9B)lVTWse_{BpwHk@-JboeVQ$Q)>2GX^Lb?N!t%`oPa(n(5X0 zY<(VQ!}+Qh8Q}8E6iMTr%qkg%J36FRW&Afwi`6Ovmn?DLO@8`(6z8^Bq6Lp@&}VSH z)mX3e+O?VQk4$aPR7-EsVJd1P)A`23+@m8>s%QI9aSGT2ge5D&JoShId=4CgRzGBCc^qQ6&agN80FPU!R1~Y0iq`c5K0d;!3MKC{d34_A?%X3T`VV z0fX6_-u+^|mZKP9+&3NDPm)$-yV{Lw=E(X61? zJ)p-cor4EEgCPH={m7eU{fbR)$EAHtv;^f-EFFr_R$4#-vv2k0&{BC$tz zZ@xr<4{MPm7Fz$H51iZ~Tz-Va`)ACsz~eX2LB&Wz6%)Q--Dl`*ub&(LX82&o41gvS zqQa>KMBg*iGQZi;U-4EpKottHc6k&EYu(m)-}1k#Rr3KXP>4**BOgMxd1fjoPybqH z7Xe715Gf`{z71|V>a=|z{3~861!O`Z-gL0lP**`nP8i_)D+VQ&1LOc>?C3Gapv`gs z3y_Z~pf?I)V`cip>Mm}eN0iP~S0*nIFEP*qC8|3Us`RbtV=@|!EXFeRN#=l`p`5r* z!<|xsg>P(l3-VAx$l#^YN%p~ke-qC`U85~y*o!!4O(_k69nVmA{tJSyPwXdqL|LXI&Z zvo|6YNIlCZDmB#5(n*&rViWK6%{|TxQCv)9SWXfpMBMUQd;_f2{M<8tvu8Wi1uiT{ zgOt|UB=GVJ{%$D6g1@sn#%HA3ZFjAEq%7L%m9J|K6sEWtLIf_h4nUTQ zubs%jC~JO1D`yqO8T@1C=tN&azO8MwQ^*&2=ej|7G&*E{u1ttHBL=NX426BlRkT3* zvzT)<9JH}b6^p>U`Bc@rt=>bj>|e$`7o_qec6+43nzj+3 z9vNj59YQi@dB*3tS^cB8sA|>I+>-N>6}YI#cM^(Df>c&C|Fs)|yjm+s{r#5;fSKpX%`K9jS2SscY{taAT$ys``1ZUoxLnc|Kr9y&2smNJcV z=*KT4#+`4WbC@2^S9d=Ta%E96iX{szZ<9|e9__UT>Kb$iV>lGw9L<@0#mIG*@4!G~ zN71m0#p>^zo-=i**X@|0LCXBx1?+a78&!TByoW-t0Z3HZTDIKH#;LaXcs4sJ+;(i1 zy;}y-xX054>ZTS^$0*^Z*!TOlzH@xU?azvegK8trvgvTKy7;;9ybjoP7y)`VMyYZL zayb$%giU_uFvaGv0zutT#?*X}4b#AGU%niDnrj*sxkYvn1o@gsuU9?6QB_qqi*1ZO zs#%raXoIQ+)E_*NJvt0ae~Do^9xc@wS_DwyB+e__wE^8V-t1~VV$ZnH6G2rpvzOx| z=k0LO#hEr$n9fKnY=o%#j%l` z!Fs1vhHbjh;PaH2N6pkA)<_`yp%GPsQK|mW_vVAj!P?w97*xXc9LS!=%0gynX1>G<4UnAHgzzVx4rOl(vU^0e4#!C zITZ>nM-F^DKHg1FJ$-An*%WAXJZwPs9?)9T?cu;8oee;CCRrO7Ah-PzerodIUTBU}U-LmtuFMZy^9ss)fHyT}EYJ0ZoDIS&zB zkBZ8B0Ok3YbH|6&L|v+Wo8sgIQ(0wsz)sV7^m@wYqAEXDCvb=;sZm2C(dLEc(X(~S z&`=@C<4NY4qW_5W&Z<$61hdar9nSCH+TrJ-Y`oHx7_fx2dnwbIP^1iCjz!4fQz1pn z4B|F##n@0CnVh;98{_TAC+TxUiIGo>3?)OQ0hvcG8?_xzIAU!P6f)-;)WC0TEAl$! zibW&HcRA1)_KVBIjfLB%eY29GE1R2sRKMVko`z=knypFTI*L((ZA<+Vvk{=S%w-Xaa+N{K8>l|csiFM=q8E0`eP@>UIpfv!4=oVs9O4dG zDIL2rxFL0=w&CEK?i03w`ION>RF!AYwL%Z%(m$3`1;0fip!IOhcT!^W4Rct31>2p* zb+a%|Ag=g?R&SH&q31mK|6tPUug3+=^<&pHYPs?_WNO`?46eE2N)*&h5*Jfg6Qzn% zP?@9yZN35b9~9FEZ!)xLzSwD8vg$@KwDfH3*A zpT*uI)u8k=pLsXck^{v9F6l$rX;Jp!)k?+qw`gmm02){n8L5NQ4Lu}LafzuFD77Wg z)4V&!qhK-`y3}aOK6Mde>93Fa=eOw?v8)H|O%$ync~I2CYGNzdm9s={6< zY?Rjq37S$8l;OlP9ICn|0rR9P-BaWND z%wPxk2XMFjImZ(0%$}ii((O`QJ+S4&Phco`^|eBvr`AwOdN?kr4*16gZT#3#?+fd- z{nHO%Ei+e-LU6)yh(-)X@RC4@U#66QRc5Q&_8vpdCc%h5vV~qqaT7s`-{;!$k3X+3 z2+o$BIp@O;=a+=n(mKqh1V4M)4Oc(uUdiR_1wB~VXYsT@!dbzd{c7#T*xfJAuE z?59|ti`wSJ*J(1C_JNtL96AQM$5pIwj&fHb_IaHEJEGTa&8&Sw?==npc+4V&Hud0Q ztw^R`^s51pgY>zS{lxNJAI|f!%cEhMAkGHOxv&byODp1iHtoVm1h&MyLZMo@HczBZ zxHvf|(Jt=#$CjY-E9*~jHBm40jY`0U{Wk}0tVp4D4w|z0DCGP~ zUf26dhb1E*15g6wGzy>x{kYD$W*g1#hF2-FTXa&=RKRp>Dr-;z&kA4J0!gbDz}e zHUwm6EbJyZ2Z$TxZ@Op0M_9uzW2oBO33vM4*}r}FRDc)%HK-3C@Mu<4Lq^2j?LX*hq3+{WDsRxWv78)h^)u-mD>Kd z>9|7{j{C)8-{|vLLWPOm#YqIpuTkQjp8+_A#PR0BqO634WaYQj`dC1cK%~(F9Fm@^ zg~r{3)eGOpo~7kVwnb5RyD|+8bIIgIhp(&@RG$ z;PSxzs$)(_!BC3;!pg}t)X~`RxaV28#{W}rYK6Y*%qip6+bB(R%xA?F$3RJAq~Ms< z@=fXL#Bz`NYra9ltrrsTb@F)g_0L3;TbxePey;cx8lRi2r?#fv5#GSIo2hi@!;3oI zv+^0sj=#T+OBnu+qhPeVZt+E>uBmG~y1YE2sJ4~;#bE%?`ID^$rn*Rnga-5?ZFijq zg$k#r`)}x4Cew4CJG`}Y{_=@BRLios@6g1-J&Cxx-fnGxrQJ1Pho7bh6dlgXQ8ZBW z^!204)9@#oY9l>o{>U&@RlojJ3Zn`{66RZ4B^VY(*;-EyJCp=@_~k?l!M+(#Oi%km zS?(@DK{L`8g`C69vx>@A_kqE&7H4orTi(F>0cq9(96J1b_GkMSS`W9df078VbuB#0$@8 z0vQSw{5-axXAEk7bO^7`%D1mMm+W|m%5+3HrQ1p;N^VG_{>d3$RZI#vFPT6#BB8@Q z3f$zn6q0!TbYlV z$rU1!4T-;A9r}iW@*4}QJU{^mwNtWoN+Md4N7zGo;C+|wjC_jA?a}3ct6xk7{X__` zB0q;Cbr6gU^daZzh-Zl~3hXoMsC3xdty`X0WhJ3aXU)wW8*cj;5pe!WBpu{PI!^|p zqqKKxQ{PsU+h5hXCa-m7-&T@Qc!&MU<^=dIfir(!Vp4Vt-_0(lXN_)$yKa z&Um>kXLlUK_8~8?F2v3Z6}uw`6y}xqCo8FO;uC%~)3JOyYBx1FQ=VE=;{dnK!}v-7 z72{^v&^qq5$EMNyvTMx-MYjTt(X;Y)n({RDW;hd{YGu)v5xa<2+%qi?Z9W%4hIyS_ zj{WJt_X$*i>RCZwPuij4^FHQ;Q$utpf=obE5);?!HodvTEd|o>(T4|NAS@G{RnY9W zHw5tF)q4_H(SSsvNmO{5lxY3xo{H3gi+6=XSgb_>4>mgR zQecTBevzW5!!>U1K?=qY)Fv3Ib{hXgg|XzO*C@;2(wmxMzn5uWu*gE*->zGGCYd;r zwODE3J`B2gq2weL<5SRt4%7dx;Nzs>^uEa%vWdPzi)zMiYggZPy&qd0OhxAf%$K|n z`EpVh=Hj@{r>D2ZWT(#R>60Z0nnK+~K;kTI_JRpx#k-UL0$3;$GZ&_K2^z)h3Hv&j zJS98ifHpJzCmNxP=lF3z>-a0!O}-T={R=R6?3(s{EWdbyhPy|FCq$8Ia#k!?9w-0~ zuSyt~JzYFNTHIMpvp0bg)Okk>t;XYV9@|V;cfs{Op55AjmO+NK>$w9u+|G!#SpB$! zw6K>X>&2rLLzU=_AJ9F=F~?3_Z}ohAGTYPEz`NRA`l?~9PRXI@X11z*=N=u5vczP! zi2*~a)Jzis(uCM2WnQ=-6)-+AY`YkeLE>)1>FXKm#q%@*_`Q*3mK53dU^r_*c>R@d zIJnIM+zo`qLr2O_dZ>F}he%x(Mn3=B3Il$Khc(eeZk^v-ak$s=hl1Vy#rtm~4EXCF zY(6^TUJ>!h${*C}?!17%V!l7HWRUNDILHJI!Vn1$RZf4!o{zAMq#*VpHU?n7+OSIx z8&bzUqnjHFdaC`>*7708DRPEhX_yi`(nqF{nYZffkPjjBASKqXBkB!8pL>xw1vC8UCGVfs1JjN_xj>;bcOH)J(ZB{GUAEuV2Qk2zJ= zD%}S=7CR0!!jiaRovi@tpg|z$LdN=F56xif;c9;=lY?+IiCY9Gn@yY#AUcnNM2K{f zpY=29>%`~NPMSFz5H3yl@?Mc<$`}i+RzhyIwxZSLyz2P<{-9}RIRUUGMEJ294X-qRICc>}wT#}x zSLuBEg*MR0L)B`dV?l*#Lj_i9Ld#i47kVKrehKDM^Y;WVs_2j0v~`KNJ3$0g7Ys5L z*Y2lE0AB^#6(XLAVRVXsS>1o1pW89jSD$Rnb1K=ot zCXfVY7=Am$K3D#`*vJDM{FFZdl(ivE0nS%{m=8Au6Ga?@0n6}2^1bSx=S3Z}qGVx5 zE?D{J^Yg28NKrg%Jg3T5P*PpHXL!A`|K0Ib91L5e%ISP<_^L@Aq&I_P&gMy>64RZ3 zK%|3*SgSI3k@bmQc7fErUZ)}&5d>_CbX$h5*P<$0C>@nt&4}Sv)9>mUFNvZVxVBgu zV=;X$Tg)YBbned>FaBCa;vaB5YZvy-v7A}J!^-7&a8`#6_FDzCD?PF&>|Kw8ZCE=d z%)P6JQ^$?l-gvN%TwCBqle(_P-lFuG<#B0@oC zR&M1Z91Wp-IK*UyT?abBp&5hAPQRkoqF6HBYKo9?A~)^5o8hB4IEitmv2#k;gk#o| zhkqL)K$fZ0v#TftOv53Y!)4d1DE+4Pn^0(d$Pfglxm?)B|Fm6ic1o0HXv0I}T z&dkTrPN4%Jc;Ic+>1?iY5^n-WlnG+VPQT^hay~~GOtPS|#CQ4%UvRQrBZ6A=gab~vv zZFK|h7Quy}BUa5l)a`eqZp_ilfXG*vFu~zXa1zvUqaGx10w7f`&dGws%p(~iL&c;?a`!8(bw!}O3?FQBr)A8v1+{SCw)c8-v4^i?n1E&4G;S4j}cS{8av9i=f&-?HxA3z-c-fo?Pj1 zL>i)lR@cK(+w1Tl04?(8pn`MkBV`dAEt0BI?GEHE>-7EvS=4ovbn($nJueE!b+)HN z+ulXf@dF0GHO73`h8z9im}7XNv!8ofs8Kj;sA?M4TGvz8rw`qJ=nW=<9eJPd92?Op zZ-9iHTG14fd185Y0>e>D#kJ`RQnfeJS1RM~$0OzFV^h!SYt4dOp81m`v_;oHA}mIp8=2H}5nR0@Vga5G?l6#S zvd|fWHDkH3bm}Acd5ZAjgC3h4(_2=55Z}m?t&H@1VvyjNLm-75=Dvk1t@(p<{H>O5 zP|20wP+;{WrId%22fiUdHBqm+lMT;sX~aJU!FK6;Oc4xY(f*p$jCuq3ueR5G+DXhSmo<02Uch(tu{SGbTdiU#zaWR{tDV2|PB?&*0 zTGrVMSCJO1c6Y$cU0L_qO@sj^Y_Z>1*>3wyClfGEprqaDbx&T_9V_limW}O%%UN%1 z70i1xge{XOGJ<*Xx!nC*vO||RhXQ#yAC{`bKH-f|*Azp_!^4`k3AHm1smA~ToO(qY zr0ebUxsdazD@mTd*xEUM)%RY(kP&_qs5HOMrtI=SQ#ypM#?er=>qJ@ml31{kRsxe! zB)MNc+bGr!$KFa@bEOKBU6kmR0pDs#zDRXviW8a^j&Y2vYpN`cbY?16z45)>3~P0g zN+cCOZ>#1E9r;ZLBzGlUH0=Nt>5LF(G8P|pOU8raBIrN$I_Wkq=@(M3Te`!0;*Zld z!f#|p&>%ogC^~I5hYbYt<{*$4nIX!R)7k_j_YnAgAufSoYB6G6Fyx)+5saJZ;~wu& z?wzJ9H#8BxK2sxrPWN9n{Pt0SPCU}I{Fg1`#WF%OmG6=l!yZ$dOeD67eUlL`VEwZ* z?uehWr;#_lr-PXKem^mha!9oS7&UpiqhiXz?4^r67C>jff|DyJ&Lon!7SA1jyj{$=`YADs& zq7nawh-&9r_pbs(WC@Q85`*TV2kTqH&jL_7^&^iLKsKtcfUgqYe*ZmL*$zGm0;wE$ zJK&Ae4n=Fd0P|P=U=QyHjZ7!-ayLsE{ARSvainYhwSgc7M5MM%!`JJV5XKw~rSz=>snYI%lPT2QG{2KVb-h9ZPqekIwt4QUK!ml0=jPYYF?H&MiWkHmNqw*K zM!q7a$D^S{U_2sBl=T-g6q6I_J{4eEUgAc!U~+OHF7!{I6dsx)v|*|bUrF@V@vQ}$ z_C(x80eP_uUtcWlTEi_}yU`_j)R?KUY~S}7u~aBVivmpnaXTe;(hOAeJ`B9{+MELl zNk0zDs7mOG@waZ<@QYu9e^ungeoQWNIpQ6?{*7pps)NDa$k^09z>vKl z6hn<)SuaB*HxTp*l#%pKM*V&%w64FEKKYX zEI_9jXt3ZMKX^PyNQ&TPJ{9zEB6 zK*ZgoKly7^jD{RmjE3?~sNiBWG|yDTOryExF_p$-wm4bMo z4V8fSers6u_d|d@^AQ{5aRjDW{eY=J&1I4LVAh=&!aHi4Ee~p!tyF646zUZZZJU`p zmTybzYv3mbqLJ$HQre?u%<*eO3y&=L9}31{T=jAvuv0Bua@S0WIEpRW9Fsg2PK8<& zABPqhT#)R}G1v^1JE<7>T9|)fW*F`n);nQ? zanEqHgCTkO{%g}$N8WXX?4Qjvr{pgbkZ@=jpHNP3*iXwyHfD&32n8~9dQx_atV>@` z4WJ{b2W5+Rvx`0o;c10ikZyd6htHr4{6rN0BfUq#Ah4^YZXt8O=yf_#!B?r7-71u5zl6g@O z)B!mtVmKAXd@L{&cwd%T9`6t1oYOOWoj4xd;ldmt%Ijof=%qZ1|(i9zs&(rD9@L5XDhf&P*ozd((}@Q<2h77q;ieZy_zg#>Z#N z+UwPxWk@SBsE8&{$MYT{ef+?biF#*YvR!80s*y5E8XBXNe%|p$Bf6MO<;E`@jP0lD zVXUIS{qL6-53xMwQZX)rSbg;p8t`M}_s1F1d5f3jSc^l=4xhk?#~9xH`zs<VQcoS!$^ULy%o2`B)P0rMA>^E zZFSQP4=m{&hbd3*?vrXFDP3!WIsuwVn=F z(v_*&ll%v9UAdgS{=&-Xvnebr1SY_1jBjFklv``yXot6e=JT%s)Qz5YbX>`rZ%)BZ z$G99W(k@(ZWzj*D0>fll9TFlxo}q{#XHY@tgm9Q3H4j{Dkm>>x3n@5OG zMMJK7Ykxw1TvuKoE47S*7q~GIaa!e`X+O;WOZH-F(cRbKb>hJnD{vq@?;h6NtcXnw zud4?^RG+=FMS{s9jU(iU$biUq8Dn`RyiDSiJYC`z&z=Q&xhPrcHNO!PK??@hYc|7c z9`kT$?7mnbUV7(#Z7yco%LOFBCdWXS9k7P&Q>!uXdpgS8?4A~o!z&;{WTqxCB#WU& z50?#9FPpj`%9bFl;K1MA6)fQxIZjKY6OO}7Jv!j1FvGWyTxWW`Pdc{yR5tR*?ayY8 zj-xA=AnQ4Kw*tbPmrP8^M-wbtydP1$i}6E`Y7;C3U&>qIRzIxu5!L}`MGMoMQ7#FJ zB?>{tO6n@3HTgYdA%Do4y$vVZbBg7oXSrleL^Qe?8E}#{(YFLou z$do8!)HU{(Zj{=7m+LGs^SEDKfM8Uu(#XyGjq;|~t#lrk>sax@w;K{oS>P3TKmAGb7KLu3^BlkMG>pGV)hg^+Mk#}>sw@umZ#~?tNpK_(VCc> zaI~f_lqM*O@y$t^ZHi;qqE^7*((|gKlqO&1!cx)LOHaGY_UE&Za{P6{e4)nHzDk zrzB1^*G{3MLAn5aFNF$>`>KrxLspCKkTLsYWt%mNbb4t4BjaT*B13s(+;BT1Bz4&>&Ai${!s zTf#uaf--7j$DQDrJs0Wn>StK}6OFrs%G{(MT;_#44`DR70s1`jMR88)c&|NPdDQ#0 z8S`qP)q7^_Sa~q)cIoq(i~4R0uVl=wnh(| zi_grDOckvaIJjTxeW{-K3C`vVEBTvV~yr<8No6ZYbv@O!?JC~aY@zqzFtX1drm1oZ0Ifz9oHzJ-aX?$#~ zJEMY*xWu4D=|i$dcruXk3ZwG~f9e=jK_*+mpI1i&uagnWPetAoJ7HLIXa)PR#J;{T z)O76}CyYnyBqvuxAAp~?dHQDJYN*=SQw0UOekQIS=~R7hV`lOWoBSAEp%{<+HQH_& zrcU%n>`7#+KrB;CJhB7h&?8s;?fr)(-aWfTgfH6!SusZ_pQbwDJJ?ybwY=~bep|F7 z8v2`Vo%+fZ|0_zL|81dm53$7lWtQ2AyBNLB)`@!!Y9f&XXhbm@x4a^qYBXIz(N=zz zJ*lSV98I#u{T0@L<*C&k<$)j$1;~aFqCJ3DT&U;+H>cz%=%cwEK}XVoHQ9D`WneJg z&l>gWGJTGWo5NDRdRdm47P0h%R$(!{-sLz^gMDRw*+kmJ^eg1KrTuq(jqfzd)ClSI ziQn0AIa3uWu)X)3Ab0Jc*Y%H?J=$G_O46T3Grw&UP5(KZ!JyMJUuUPEpOq5Ezny1> zU32bllxm%K5_@Inan4u?g%r|&|bZ1+`<}(H=*E1N8{7dI| zh~I1~xotEErDAMexH|)MbcqkJ-OpbM!wKW~?mGsufLyxP%5QvopR!Mf(yj%#_MU?X zT^(ZB_dSfqF1vEL3GMu!c`q`BQNnK`e;g__*K&cr2+U+8dz5j3gg*%v&EMDxqWCTr z|8u8NkNQ$EJYXn{-%8BL?+`9aW48O>3&m_C0Rc^cCj?k1o4}wG;on-q2mi^CKvDZl z2ub`-P-2j=ld0B`hsKv!htg0Z|M>l$xJqft z{~k2Ae5p1y%M9r-kYQid@vF zw~RA)M2+A%uTh>~Z4W5Q#5AQdro0bZk6JS7yb_y+HVHIE-hKQ-jRnG47V7iay1AV_ z@+KK$DHe%mSLQ_Dk)O(vfRq_hSBq!;owMdxIBlu$3 z#k`@xht|O@PH$EX3$Y1NwFceqIJ2J6Lv4koZGSwS4aUSm%`pWJzJm5Yd#&V=(z* zlI{1xc+mAZ0Q!(jvgUY`zCjRMlRzeno&5mrb0@&;5I)58uvHN0iOmhk0azX=@dMcn zxU#L73@LQj93J*__E5QSU$N=WH#G!!d)sJ4quz1%4yk|RHCxQX{oXZV$0zAqFT;p@tjNfjkA1pnVi4L=RDm0I zJTVb7<=HD((LK2z`a38 zWe?ojSjy-w&CiHa<>Ur?@TIzwffJ80!_kn(?4z7#@8aP3jc{6c{5SdhwbvFg(X_fO zq1h=LxXpRjv(v>T31&3gea@KX{y%u7%^ep9RSx%OqlE^r7)wuks)-I)%co)jN)T$B z7T!q_1zO*O-r{VXh=Yl~^_Tv5Z#Q(w@OwGmCWlone#pNo43|x|vZ+Qh$Ws|8)5$C1 zWl7{4tTRP)l+#Ktnp{Zn?0AFej3>YX1?)4?fQ*^o1VF~$aE0GTIvPcxSl(hvDLRXL@XECjI-RctN#l^oo#d@ArixBxGi1`yao^ zc-Yzhhk5szhn?d;Eblw}@n4@IdDualDUk0j!xO#}(K``?ZQw~91HmTp@ZkuMJnwe} z5MqKoQb|Z58LkV0N2Z+7u(`M$Cy!?+lQtk`eFc^O7iZZ)zjL4z|N2UvPQnDi0TSh; zP4S{VfyYa2k-ymE(eG-7>*c<=Of!c2xEoeXOO%T={u2u z@iWNDA|O73^GBE>5I{dzDX_o`%oNoSbjiEs*{uiz478*@kGhkukO!um)&GmHod149 zP&X@uAd)MQ6jfy3H;EKv_B0SY8wCTf$_!E=L0)4Dy9R~i6ZQ+Ci!2*)Fth>u{;w^y zlo>YS|1S20U~+P2Rz(#qNzd-$dC=1I)$8=ueOe3Nnt3nw{a3AzAJx*89?g6VQxW=s zfRi@i1IAS{)()eW`Mo_RbCe|UVudUtcCarK<>VN9v*Y%twoCTinkM>caL zU`4ny3)_q2TM4J#qHHoRa^@I#Q>fy|E%_ zQ>biEK)l}lsnUf_9J{>gM__d1#MkEJ|C$YFMfTi{WO&^&{__Oa0tT) zlKsQGK*(}eSJ;Gi=9lEQ=icCVngxqOYR8S2{Q zuWbI7YA6_;UTpVB|0bn=|526K#d=ZA6&pK4f_+2<&u-(R#Yf%gE3Z9+BVnlSMiT1( z;!)L<6~K8`qlX^dccs{li_5ss7}JOm$9~o&=gvs_5-@3Uf<; zn)^mWOSu5s-JA1YJazxaRJl3+tr*b3{%Z8>5PkMXE%5xatUUj@tUUj{tUUj{tUUi( zR-V7h>ZMK}=B3U6xfmP0)S2l1y{uq?873U?*d!cFqumr!2^4NMALZvVFHFO&T#$Bg za;*LD*CyS9Twsa?CR!Lah=O`KcmSj$AG^SX-gfeJl^N5<`7WtjoCPYKqSbv(zX5(O z#h%>zTf))^t|Z9k4!_lI?m;G+Mg}df0K<~!VkB4`qfQj|(M3GwSYxHM?Kzho_AG8K zRlb`dl>UusR^HW!Bdx;o9I<+YahyV)cW{jC2laO*(Z=CseZag$193A`>>5y1=Y|2A z2O3{Jq+B7SJF?G8H(C(G)F#Oz#_DZxkFxs8h@-=b`VaIioo=lC?AqBtQw}6H5b^?NmW1&J9alXIWHLAF;pemLEjKi!(VNmN}NTT?@GbzgY zk=hX=f!gjPMk!)tM;-7LoTyi~Jss6goi`d(qZas(K9 zg{72JU9BJ#VWqY`!A~nWao<3yH?6V?DeYI5sc71CmI?V?Et7U?m{=faEhwbdDK}(8 zvE$G_MX!FOYSChd>ceH8Uf~@Z@C5U-?8#4L>qP3pe2Xpb0IBb=1vN#<=ADO5??_$p zfk+73i=M%z?-RPLuBsG8t+M^j({RC-3t#j;Q47s}Oi-p=P&P~dg5Ia**P8m&R?xx@ z17Bj$FGAp|(8Ve%a(WvEs=wGX?Ca<9o4;AGs~z#f3h_I{`1<8dmK8{kTeU`H}zdv+K@f{|DY}K(lqVR-Q8c}-r;x{l(iM1y;jeZ@=ilNu;{*vI@dhHmz zmUgqa5Wq#-l6knn;#Jj1ss30pL9khetUiU_2kAt78)}`Cz>ptlc$f>ZSf>zDwggioK9Q!)L@6AM>1t+xtCiQ*4EZo@s&aIj>E3|DOFYV@KagY5^B(zFN{pNpT_6zAl0( zr*xkne{Z_sAd0rxNdF2@eD;mer-_tBIpas~FsWPYiV7pL1$9`fWEH;7#C4H_nNqs6 zFa?R-d{kH4qe8s#s*ReJ=Nhb9;rI&4BQDPfTPYg}sZl$a$Y)QvIq}`T;)#ErEYZa5 zefXO!_-YYkb!ef4A81ziUX9zh-l_t`(mSBA$2Vl=#cY4hiottfv%lH}iB;jfgQc4l z8H8;hCSAvC29RuGh7@+&*w@{RTncaR*Y|NzW$Q_ZKWb?%mVV%5-4ID0std5(O9%Mv{p-{i|y9A1^ZH+q^p@zf)ZIpSMs^rmXbZ$GO)qdz@{T z*RpAoAD@SQ7vo{`)6M{8gopVbb)&x{Fe8{?6QDP-hM+5?Mo*qP>*hE}0#eaprY}K4 z9dXSRJFgzgaN4&vyAj}AUiq@+!7}ER1jaHB*Qw%TrN;HI-N;zMB7CZcJ-zZ!tDT;_ zXN#f0RvGR-=xj_3qj5)juL(C)xA>spZGEJ^UMSKiZ=;xmU78khGIuf{R5mDk#zMKF zp{?_ActEK-M`38RD(<&tI^(c-u81>8R4o6S%8#EkIoDkB6|)vP4z=$Sn(zLyjUyI> zZRY;4O~%OJ)vHe~h%)aLhX#V?*1idCN?Bo}4}Y(Q>luU%i{H1-fc_=$u*)&RGS;A3 zPvGiXLr6_3-Sqh$s7W4Ec<(I)*#f$}PeP4rMK1(yLsEe-3s!MXWH*ZX@nVY@Spq7F5j|1HNHNolt-dW0}td5 z41V&_4NML7Fr$zgIzK9mW1$toWD&aa&2g{i--Mz5;6DAs?gHu6LT38aJ3e+ExXe21 z0?CSUqDt|MfL}V5vdy42fUKW3RANEMUGXrBD=U|x?gk|3ivR6&H^$X6nC0_ZeVQDn zdM=8^cC*ZV%&$LG@Q1^D^klcGygfuV!t?#BEC@%C54dnkS`U9bX?_(Wg_aG!*_rh> z$`EX2emJSLKtm>ppn7$vVnKx*`5plDiGx=cKa_0z`KEoL7`uG`>ngeF19M(%=k zBR%5cRv^pZT;aama(R@aLeSE{Vd6>^3}Kt0Fz(LZ4-mHDBtb=Y>u@2nFJ2`(r0I7v zobKTgR=!XxNidt3vmehh7n8cb%YbTrpA8&20A|)>k0QG4NpQU8FX?oF0^L6se2r=|O} znq`iOrQnKK^E_AXcop;fFNgUCw|w^6fQB;LtfGvSO4sbeSbM|n%-)T*qpg_l0``Q2 zwf^Hq{^BF-CCNnBxSggsvJ0(E6IsA9e+dD)gBP|TmNR)_n~1e&2-`rBKEC7mB=*8K zLC?-%zqFT?O-r>~A8=@$Wz1|TS=@-aq1hA=XJwFtb4)guGW2&P&+16Co=dOsZU*a& z{*uj$nfJfR2C_qbA)A4i1u68_G40C{DvIk%xf-Q=NwSecAqLsrm_k~xW5V|GAM0R^LtcR|NoFp#)@+4QzIjUY$*Pa zP2zFUw;%YOn0+zU65pFcd%Nk((Skt>%_N5;ZZ^+cj98eAB>C^zt|h`tRp)v0-e=+p zEBXnye}5D~6i+h4kdN55#Ws_LHBDHP3AJhy``jXF0QB$3o0T6-ZZ3Tk@&3fx>ZeBI zzV^)ae1zCFy2pt!!Fn<3k88#v_C^f-Q-So<{P18L%oM2Px{lN1U(LFNt^If(DjF!u`e!atwa4hzi_n3 zU7H}b=&vRYCMr*-&x6ZLA zm`-h9Q{XmP{tj)N4jiB{U6;U=N*r?_?vNw})tO1?s8X)rf?q+>K#wp|J0|pN{oGDp zv#h!s-bdx!%lyGwK^2s==U1u~Nh#|~6H%)nff0;I6 ze@&bG7t;oD&t@HB+C=@gX;b-+X+!zPw2}HR)8+y6Mt$<%rcH)V)%(H!Fm0;cu7>|@ z+Q4jRG5Mb8X3e9qWyEk1ZqC0_uD6u|2zN zS_gU8d!jojQ$ZQCl76t4f4b9?=c=#dnWM#=4L8KH zY4<$$=mX^~<&GYCa;xpmU$zB@v76W1QhPWx73Jz@&T8)-5b(BP% z9^T!JS4AO$CrrIL)Yqu4N^frq@1~VYb=!heChN$7#A?(T5gPW&&~mnK7A`cZ!!a$= z{60vk^MR&u9^Lp+j97%~-I?L7bsTJjrWFyj(H!P=fopc;5}@kLetcqpM9MWgE&-lk zh(fO!9HAmj6{|6U!+>${-cOTgXY@QPfWe|E%uHbqU%~*%8{5!0iH&}nH!})SI>?>g zHA)#l_GAZzLsB(R2UYJ8!UJ>bMT4qRaX5iW;!fkMmel?Y=$MqAwgVQ7LS|YqxyGJ* z$VD|#n|5(~$RMcjYS+z7&)rvFW6{yuAtlAD-x2U;sS#?L&^C2^ukkZ`c5(({*E(Pv zyDfEYqh<3!1U^Sbpw@KbtdiLjSxLX^Dc;&`BH69WZN| zhC}(9xt~%n2zN6cUi8g5n>yfCg06VSV9ix$m76Y-p)E+q1HB3r9{GCKcRN7Cg+ioD z22m+ByWq_nUX28KX(2U|2v)sB;88SRB;4B)j&T{8P7K%(Y+?Xzm9Y*G|FDOxz!~|L z&{Z`dJU&d7%%mLeS89>y1b$iUcP1WrcEXM^Gj9`bOe^zpTSywB*A2$ir>Z#h{i`I<2@dHky=8}ZC zFa8?7K=){b7fQd>gegu!nI|_Gucgi8;Hl1>rA?SjU99r=pif!Y=NrIN=1+wB1=-{TCb- zDuzJye5&?K(eI2IC)a-e0&q!MBVEaR(fGY9(cUU2$<-8|`o(%RuJJzCuu+rSdj8j0 zgD-R5$APle&Kg!($KvLuk%}x$ubp>pv97UG3rhxPE@CcSf!w5DmA_rOVe}`j?9UYW z&5fpmns3q*6A7BBeEgy_Qu%D>@1k8aKqJkd-0W#u7@G*~MAUC%7N7WzhFI$v%I;Lk zzU-CV%?;GGsfcrAP41VM-&bmWz9%pP6qYkk1*8LYOs9t@Jr+W-GM zuTGX9V~pQ0yr7rC?vmbQivW{Bu|>bK%t*N-s80XV9)Z&-3S0;-vgCNte^_jC3bt+^P1UrX^0AbRByvs1#w|+laq0d+tE^B^fd-z+2YR}FiVRSG-1o9^nYb4V_lv6GW};>~*o;A{lti6f4(rB(^q?BQr+HG~ z@}xHG+i;|BOKNK?;6PnT7!*a+LiWVygJ`6&S{F9huS&aI3`M zw2JOmvz%elD=%fWN!B{Xd))6={G#5Qk7yQnx7f1@t-->-3v>^nT&p+$E@#&d;cshb zd4PsGe`+?d8hOLx!~4AZo_Lje4ZA4f3Xtiy;v-gut$W|JfX6pYx&*S<`n2mX^U(tj zZcu{|VPuJ=aC7|4!f_E_b|E;#OUUIWktqgo?-BNtBQ8c1dWK>c9dN2r$0hYX7GF!U(QYG z+Q2Ir(Pj;7zn!?4ZIB?--Vae{nUu?+z@^=F2jRJ*o4si??OrcT+jf`4OQBjdA1kf!MKn&bnHm@t>@%_#clfFda!bYL>JBA}&+T4?MLDNC!Fq*=8d{LxYP_QL{` zvf0w?u5Yr9EMM#Qwj4w#@&r0_9@9Xh*B>rg!m@vlGgxV1gLWL(`tihj_LTXx+IAUO zDt?@m!b{rNDrD(?)$ZhqolpiAW=G`ChA>yL6?GdsToLqaH-$z`uic zovV<-i*0}A@qLN*V7sYRs&Y^1HO49+a$a4c5oCMpn9`B(r5`Si{b6S~vgtfZD*P;D z&Q2@{S7tWJoAzm%RhdLeg=8AJxZr z;r$WxVb$?!k6a#kgZhH*!-cedB&lp<(Qza(1zUlvzpo6osIA0!-&@{!`a|q%{Z;gC zoGuJ-_(x>*B9+pgHXiPImn$9$)Gkrxn8~(o!%afPg%q19bTx96qgV1|G$=XKX_Q|d z%x`2t#TDOl)8crxG4w1pYwK{P;O) zELP$Xeb;%LNGm7}`%9;s84+SAG_DE!RoPepNLyodd7WNy?X-}&DAWsH;(c1r;PHS* zqbyNcamsBW;idcfYHV(ck=xZ8n_H9wLw7VcbyJoJHI8ke;1tq*LPPXjv4YcOWx&3H zdrimO8@^!sWc*^fZf6-QEFRcl^4Ao-OsMvoD~asfck_8Y(8T`s$~PeLiqo?UXBD1J zP>GS=Ck#uSC}{=w1oT)Xt`lSt13RK;{8X|K0lWp2_{|z7ECCO=a_t<&&qNs)@4&K# zY4g}#oKxMslZma4ml{({-?`_6GDsSyOP8lIO5qx4GDvRZuP6kqQ5ONL%IIdf1%lHn zmz(8|``+3Ho}|M&ea1Cg@4s|bn`+YXf>;LMIOeIh7wIW!wAN~`Zgy1%>9VPEPPv;l zXzF*aIXU5R##W)%d>`hAT9ilyyzLctNz3&|=UK|pKHheZ{*HNOjM+hjP36I?Zg(?6 zZPGVuz;T}Ng>YhgJjHN-ail+3!P}|3qWtu2^qqyQT;lA>q9x6*;$CBK66{RiFHnTI zh+*@L7@HF;SD2x}hI*vg9^Z=FDV6b3J!PvV+Z4U=((vO$mZ4tOs36Qux&wm8bA#pJtcJ9Bq2t4dOeSgWuy4u ztRG4y?J%g2Oj{!72%Ubwd!%Fn=C75pNl$Yzr4kPD3VALcQFXbC>oh_ZF(tLEyT5y( zb{9ZR^0{s*f@U9cLBF&X%N1mZE)bY&oN2I&P^>b-Ti2~Giobu|(XRdQFF3YI{2PuJ z*nSs6X(Q7b!j9kn!jb(C96kOMj`}Zf{O|{kCl|4?5`L(cx10Y9j_j%Y7%oH!n^ zXjb|I$J~FxG3&$K8k@#nIMO#Y|Bz#tmh<_7b4hRiwiYdIbypE;uKCzJuolk^Zh?tS zNi}>UZk)ymA+-x59KV*QE*_*fxVXs}h5M%Nxt??B`J>s#SffwDKgdDSj}tc0JYDYu zO!*)Y1-BY6%U9>78=j`dLFng=vknnd;4Jn|Gs_NdsQJrSGuP|`_5nuq42rKs={gzS zH8=IyU(%`3Xcpf8+L-2>TJRQ}>gYB9wc%f>S0LRJNC@{E(Ud8vZstBJ+jswPtwbTmham3OOM2q&jK{9Q4IBPWW<-!O03$_d1TbEVB1N7 zA7cGQX&<0>|AAvX1dhnJopX-mk2xR4M=tSQsnJS|$k%Oz9ht-ciY#3DjLe=+2(iZtKC zF^%BvpqgUV(C5y-!I!VKP(rD#FsvI9`Y>vN1h<8bnV z$;Vz}B^pBxPd(CIa)iWCL1RXp(ul#80ttPwGf?({LdZJXN7P5b89bFx{BxP*ih(Ae zhZxNFvhly;d!&-{&~V@1_cfEAc=qMf_q>xiyH*ggiPzt}W<8D<(|>K4sGVgC0hVbk9qLjbJ1N0IOrWuvaB7><%Dq91s}7U1u2x~?QNvczQdk>6wv0mMNB9IOInZMHD0xNBvH?Q68pTFM5`AC`X_=5jhVy;gzx7=NN}kmf-U2|@|0msS zH2{QFQg`9v%#l%9R;Uv?Z9q(1Z+9KF{)*@A6;-=*DZ(j&&mBZ~sH2PJ{dHb` zVeQOoaQuZ;m7a`)Ct0;HGu?89qU!_4;8=_-i=hM|KE+G^7ovb2!KErda?UUVI?&OqhpiKZUY;+g0JIjAsc~&~4 zfK+{y=07L?EM+g>&?(40CD2Ze_q?{wa~m2c!YdT!N}{!=qh0rCVb0Tbh9BvX$Ep$t zYu0VrNcC^|#7#0)-#1Q@c+88Ap@Bdhvs58K7IyV!{Cs|Iw!S8ejLd>QR>Z3 zSh^y`D?;}D!$;hIQ}kF104FdwSm(Rab7ix$!*|CPht|3V&rqCgZ^5||uvkz$;J|O3 zSdDrmfV~&C5oGqk`olJrg3OGUj3eDNvw!Z%{1t!=29*O$p)$bhSmtL62*QV zMXwu={^SC�T3OY%uRWh? z-pL%FdI`lRkC14(O%LICwAznGBIaxKKe1WXha|aNSGc=;lpDQHCgwfRJd+uejC|Ua zIByF+trU0KN5d@tzSAI{U^^>V^r4n$u^}#Wd_uiB+_1~UD&5<$a3NS#Wj_mqa(en9 z)e1hP(9DE zcdD%AyM1=W%Ja2y>~qfB*NKDkIe#9{I4=+zTz1aI1h)SQ-~!D$TCNNq`dqtkz0dSp z+|aiy;F!3JJa(e_^oo`fOY0RWS}eFKnkBA0LVPsRb|1j}g0KV&zMP7Z zEmxB{Do|U&3JRn}$dz98%e;k2+nT0ao<)6gKvEatnn=!$jUkcQ7GlYGJtvHf`PSuh z(M%CakcV1_h6ol8e3jXF6&=V5pPO9TsTSNYS%K?Wt>Dhy%5vc~#h$&%xy2xvwK-Ii zx9lfj?agMmH3Uo)xJyGC{K|lPaV`5jb+fi&(i*fH5CLzU^fki#2i8(_zmJ|B zN(O-F`$b!YsX;ATzUT*fY1s&bQBit>#@oxxT0}wqJa5^P*{^WA?6N9h36++I9Goro z*&Y&|gg>Xn0V>mUnxP2##m8wEz=wqkGk!}Bs)9x4@Q?VIXLI!`@`sr!!p8k(TQB>sBvJTp5g%1@ z>h#7akvV@-RsiC2SEGF%p zRtWtORCEJv5HNjzwombCrMNQKl*B*}DU-CkONlchUWRj)b!X00Pvbzxwu0hqGfrL2 zcU)qQM^=sjPDQ<5(3aox-*C#N3|^f7uZ= z^3ZqqG)MJZvBVdv(Q*qPvneoNEmayrqPmE? zH_VAXWe~JrgL~^Che0pZ06L&?%ri~nsqxydWNBg}uRQqfQ7&2&3}1vGd3SyF01=2! zBL8oCDh4W#{|1r1`-l2uEgMP)O*B+;M70k3IJw801H8fk8co(RLxF4V`|Y!lSE0 zJxlk@;%p}N9JpZmU}kwX^3$7vta9;_Mh2)-#X@SG(J9YdZija5*)pD~QlU-48Od{I z1H_erdl^49uMr(b0}blFf-cOWnaoFvCQqVhP$1q8kw$7f+XYQYJimN z%G;y;RNBt|Mnew#&u=QF5&md47@n7mpO@r#f^PsR7+wGy*l`4)1kN3X#RZF4vf)Dm zI2zZ!0o353cp;l#_y{D33@^B25P<#C%ApvYF=YsV3>q=GthZ995(%6huQ&>fw~`E? zqR~UzJQ*5s&g2tikz^%0|FoQe^J5%3l$G%J4@}F5S~S$o4l2n=#2jkL5V=%jBCeHZ zibw9K@BlXi24kBw>bmys1f+>v4XP~i2T(lQHR4C(y(VGKheWSG|NO| zB#hCRU=R-`>yVL@uvW$qPA4{k_&Y?XDJX2rR2UrWWHGU+j@ZMp0mM;UgI(2|@BJi? zuE*QIwcRfwU6M4z)q7eQLW3ZWJTh|S_!77~f8B7j-;z@}m@-gC(28vFZabVAfjKPgl;iiBU*L}er#S~n|f48LMC=Ee-5?u z`e&$Yk2Lr6345E)<8Kh@V!Ifx0R|ely!bN9Vg*txEX6&n5tHi zZ#)6Y(-kWZ&#=;;D5O}Faz9V2lF3eveu#4p`i=A*go;}on6ULa{(ZxhltrPOx}TAo z_8sYM5K1+e&5R8T8t{)V1@a0YfmucX!q9B&FRy_j6dSm6AAuQ~_iw2~P|qyxJhU~}N{{1E?2aJL)nYTfet0ba>)cbd zjaeOTGKkH9RmXdGD?bjZO_kfk8=zwNI^Je0gj)zakD6w&T1^v{?CqwRwA&`#$(qgD zt%Dp)6YWZ58>4lXgZa*k!Ban+%ZbQ;@xjK~#Y5>OFC({5A_`>!^iRqu67%#fh3Dsx zB-r}2w2A?-w~KQ#3>81dq8hRKQMJrE>#9m%M@l**tio>B=99kb;^;ajSN?b#<)#A0 zhbjyrzurdEC^C&<4$;i@VjWQb-XU@JJSUe-T18p)gEXHyJH+>KYK;--iXy3MoJd> zhsYRK3~$L+Uo=Cc7Zb*$%GvR^jQM`*DTPUuJ5-XU0B7xh&5S^b#UnbgM0~# zO=2gEyYO$PP@apH$N8CisOuZKETN`R#XfYRq1pE>jOx1$w0kLFP`j@8oKoG8zm7`h za9|$z$_+FNV;*EBe0gaNOZjX?8o3pYe;ID!;#oGVF?Ax#JC8NVx@1^U{M`jV_QAE7 z(}K;o>B-Ln+ZYu0dNID`qkcn}oxoL(Q&+IDbR?fy$U4H)YkcJW-c4(d4@rY&X4MLf zlBkxyW;K4Ra+E9D#|&T+p+|zZY3SdQJG*M2S`*PV9H*z~s1h%z0Y(8>WO){|q+@a+ zP6kq)X`Bq30pOs zX4v;FknX|Z^j@8}y>u@xDyQ^C9UfvO8%_(NL_QC)Fq0n#v7!>aNw^DBU6NIk1c5vS zdLlBsTJ9cnmd|I(&zN6tq!A!U%cbbF?(z72&`x4Mkre?o4{q%zMci+p(w}y93DHc@8Ir}7o`3St& zh`YV|O*AOLCCes}KP;En5kwL;^tkqp1X?-f&GWfzJQ@DxE-q^!wKCC?( z5=2+?d%K<&1;0RLe%4jA`pA3DkpRca6D^BVo2jCgSLtuXA4_Y9K z;7?WB9}S^+01$`lh~p0cN>IFsxhl-ie{0LI8YvC|bJh?qd37p6I1*Ugj19Lj-Iy&H z8e1cLh6|Nux`b?6J1day879J}rt8nZ-~cvA(V31JTR${zr1-a(bz`dtB-7T!)D7&o zXQ)^>F}fGA7hB_BMhX%b?T8HyTx`L{0SyGc%t8_3R)o~XF~jfzx&BlUHriXV2|0r~ zH`utLIe7ji0O=X1FGykg&3v8hJ6Ex7|KJ!lpa4xiBA$V4US$221X~xqzCq$WulSSS zSTf@4H~4SO)>BMGCYGB&+$_6}>NV3aP#1&`A{3%jYSEE8K|0=GYGU_#W7OkLV^vD= ztXnerh8XZ;B=t^38Eay?qm!SyVyo6p3^_cl-$DY;-N9Tb^BbUMcl>*t7~!fO`w{ z<33-dR;i2e4~#-_j z7=jgBgK)uwzas))p>6+2tR>H*ra;ZdfLV9C4abDs9>13!j!kNU892VKQbS7FvObmpGQl~e{qs`_YxMhWX1z9ETh4>j0+`d-M=h;{aK$V;U zWYMB@1s%^#r)8^c?+fw4b7l8pM6SVS-rZt9MPrk$X%Q*7bUCq_n<)e__i{bYC`51J zoL|?bn&m`n_r8o)tMnkdsV<#Qm_g4u8tNKN z;y(AARnJt?NeR;xBOyt1jgMk{{dR=YqmW%&5=3HfzJEp?t74i=--iWB*F#SK22QppAF7U~Tj zsr-^hA}bH^o%M$O1#XKOXCRAmaE5mj zqZNlgy#2DqM&F0ePfX_@cNR*w8WGx4G(PRgPLjifuBY5C%{5QhaKK$ zdV;pED9;GM*p%rDhH7Ph|laj$NVLnm+~B8MQ72o${7od48h6Tjrc>b3xyTxWj+~GgcQTC+~ld zPxXaz1)>bB%_3heHB`WUG-MvAFpy6;f7;NrPwtM5FIYN1+fT4xJ^MmD*T-l0_&wE^ zex7}-lDP6*n-cuifPa%}FMENU_6`TQ_E`t3F|$DzeZGXFt0dm&N@)E0N2;N$g|CoKA?{ zv){NS72>J_q^&J{%Wczd&?GCnuP-Rpk8}gxR~GJ0G*HXOqck!jOGcffD>cu4u1F6{oi^6g;G~TcPr(y7L`Nx866SJBnEqk9B^&L|z+h56; z>WG8aIDxc{NF2Z}XlzW{)U(}QC8qUtMQTTI)JhYoM$OCj*e@lNIDgLN2cz==0gdKd zKyes6n=QK6W~I2QW|#+X%4>ei@u!5)8iAF6r%)*f#DQjG`_sO?5%MDs7`zIiLSv>W z3L6E}rB(Wtuhf|S&?dq$i+|;#MS<8aHuuj-IEKb!L7+Pfp6#FU_5O@Mw&%zE^OBGy zB@^kT=@>ScQUZtziRDAO!!tCFhyq!lamv)r8wMl+G}R7q8>!UD?NG3lK`^4h(`WPw2w_5_#2wg&|l@RsIDv!w{b!WXatSTP-vC$4)*2Wc@fo0bSX;yc{#%1&nE&{&TFK^H5RN!N;FP&V~C-}`;uf$iw5NW zckLJl2RAqPtoSuONZ;BOOB(B`(uj>TSM7RHJ5nwg4Vh}q(_V~>McanC;s_;S`mi#5 z;47%v2dx4X{*6;WT+sC8sNjinKK~Iv4icOJ#z(Icr3pgw5LbV>xipRS(8gLy*J2LNeXhzxo?1_0nw%tbohrvphP7&V*!8)ahAoz8=VzN zn&3$$Z+sHYNl$#7V0;O@R7{>l!lDAv-nAkV=99Du%#_nAKNS4{C}4P+<4PF1K9 zZmu$H?+?sQb{v7jw+&^cA@yR$diXs4fQ}C7=pgIYJ`t*H6_nFfMV~@P;L+m)_nZqn zs?P9DzQyXmfD}cWMWb=?XQQyi*eOq2#H=i+E}=&O`M@c}Rp=>Ri)bEJX%2T9rU19fT;rZB+^Chae(VE62TkjMs_t@bFH^uYCB$+t3z_C&5|vq zZ9Zi}jl%1QBU)tT@x2O?W=4En8xp=hJx+j7y93G1OoH zg;gqn*16uA1@h{QO(ucG)iehD67#xZ2eJ^X0MRNhof=*a{c2_h)I>q=NB~YiAb{J+>UxKAuCEv@5~!mI~kpcH%)6fLRk zvf9(OH2IXq7^)Pzq`f$mhS)cDB+t3F2As4CeL<->U2~gunTBT!gt2NuvZ0bfTg8${ ze#SEFL`AN6J*ad*A3}p#4(iBB3?d>ap|A#;zUUNz)V%9xL9n6;g0& zJ7<4eL>o-%pM!N=YldBH92VW~dqp^V*uZ6cYUn5*Fz3ca0+KQ6y*YO_BwEvZg-&qJ zR0{f1mkMpSd-kMxwOS(g1$#9F2gW~6nbG5fWCI>^jd0%|e$};ONXI*9?rx~K7*x>J zw3Ck*z+$t+Da3fbrm7csdsq7i)BCwt8|Oet<={fsB^%W^_!rV9;(j&Iw*&1L`)8aI z0k<-ZEBx;C!)@(D{IQCxdDK_7TR7Rb=C42;xC3ycH~e98i25T-t@woNMLD= zZ&NI7TkW$TpYA0YJK6m454F49`G%dhuR@o2&Cwz^&nXB~4)@BNGBrQ!b>zD7aqDnK)_&E6(eh2|xkur0&JKEdhK99MJ(yyoG+|&1l=^zd8Q- z+t)JOV=(rXH7qvn_?^bo`#Zs%SFKSX2Kt(#i}I$_EC)+SLdeS9wOU} zQ!OoRD601;0lOnR*wj3nzTi^>EGw&|t3@tao|rFQU$(eT1bgrb!;l*^$Yt{-qF zI_O4}Rl)ig?*WYza?OEsM?0^tp^fpJDq!1YLpXH|JAQ}RP*y_o`$8K_*Oq_!233`R zt5v_IU59a0Vbx`ygK}eUBaW1tG9_w6>gVk@{y~ddv;Px6NH>PG;bo4bK}>_wgV zD{&rhP@4{BCjqmvZG*ru)PpF0$~S-RBJxk}v&%6s%iLxGN^pI+hL30P&Qb00KD%qk zwU^>GebY_KOAo^HnNNw!pq(UNjnmRR3mL075{4{sP{oQ=Hfop1DFM7>A_PYWh>!dU zQ=H6WX73cM;1Xb>#3n?iHr*8EH_Fu|;L1@4=48x&etq?J_%nv7kbgwE<_y+x;oB9A zTe*S&dg|NY!jE_)!!i+Yi2#xRSJ+oZ#j!l`;_mJiHb`(=+?^0yf^3iw90Du}K3I?t zB-r8>T!IF73&CB2ySw|_d;j;nukS;hQ`KEleP&Nh&s1&oue9BI|D<3tX_jfF^tz*z zcPndKKH$1hTlemi- zsNuPXEPdN3Pb_pg{`irW&OyD*NAFc#SZlK1waG1u%L^=Twv9wOgXh(v86tUuB{NwZ zQF~716IN)sNqS~*kzi8pR(#>|G3)-I+Tcm}POEVlFs8o7Hk30V;FzGhmSZyT>nlXl zHCj|5$UOTbo^(;cgV>H+v@vO=m^VMaaEqMTG^4L8`(!*vO|Qu4E#oK0>{Va4x3%lv zow-ezn?D-U?Yq#KxKUylhI${s4pILudk@?TZaZDi!c^Q=1G}e#wyAHfBQqa;XGkn? zh$(mx02CJLcEkXQBn)w3LDF``8b-i>*S9zO$4Szb^7=P)>+KiuCpe5vpb2!AR~?D% z`JBQwk>(J8-p&|eIcqWk7}d8o35#QVoVDQ#Hd>;eZ~u3z2E$z#(OBa9=x#O&BY$ifJ5_M5UMFLN|l&=(|!C z5fT>!imsu4Z&;T84f3*;R*8R~uD#|8x{HIqMuslOE#EF0ebq`018Fnns@MAiWzpVtFZ=So=GKH;+)9=Zr-zbdP#AHDtvmosqonHE?x9-uVbuZ!eCh<1@GK8 zIXaI0_7%Tz)2#kVXe;#NS~WQym+xYoQ!KLVxWBX^>^ktHxSobo}poG zcBmwBl$ynSVt22S9^Y_?*u=R@f44uq-tGpfFr(lKcdAUUXVN+o+sS+{ASS*lC%ML^ zu{;>dE498YzP^4)uF}Ec)9>c@hkJr)Kr+4{G>b9xrvKF7uP#vo- z#`+SH{cy8CJls*Gi8paRC(Jh8udqTn=GLj6cWA<%!%Yl_Qm9v?Y30UkVu++|9k{-c zY#YJ9k$Vbz?gQ4O&VN4um_UE#shnST=J~r@wWqJoXt8Sj=801cn=0@_`Ta8w@tJ`K zZzA3+@9qj3tQd8-zA5=hb<=3x7kVq4*}45bcJgo5oe|6K)W@{f(t_4=^YNLR)kyKs zD7FXN4(^+trhy13mXY`34le(yisytw%Gs`iYYLgwr>OqHY$TGez;en2S6In4f>FN1 zje=uaavsP^OsDm6rv?&0*N>B@IuaJnm;U~et^b1apkVN)hsc|LY-u%jtz5S9r$Iz; z^)5y&|6oKs1GH!PwC(1d?RRc-Hiy8x=N9ps&AR(#36*D`r?b-^mx_6-cFWo~25v|> zu$8SFUeOCe`RH^#phtngQDwf9^}?K4o?h`66SdaxMyuFtNrW#4gJx00y}OI_mv0e7 zClx)79NKX<>SyJ5h7?g$7eg08f`%D7crlQ$@H-a@XBz$fTdOnX#!0?wy zcjcsC-_|WzV7C!1b{c5ITcfGkc0SZEaR}pj9YmG9ukUq}SC)|CYMxvgbgS`ONA{h4{2}X|tCaL@RAe4X%Yr+SU!u}wGm49V{NswWy#9-1oxM+e5^C5+^qUc~t zBqUy*f6^~?RhVFVB-rt5B+`E>w7BZbaKNU>@G9Sbs(0(g@WDhV|3i4XA_j*c!tX{# z1BDoNO$;u8iI9Ppk-)DGOYBD(*Oy=)mj3&{ilwq(Tw6V?+2%PJORJHekV0UE6KLa}t*CQ;0% z7;^^bU(u=O`%A#XMloBV-~J0tED_@miVGT7yv|7yhUKWl;HQ2<#<2I=--He0PVguU zwO(q3qb(IbAJW?)d#?J-A@Ob&s8v;u8;)Z+y(5?OJD+7tQGBHOd8PSV(9;)Ag9 zTz0-vb_S3P5zxiSyM@$}j3IF-QAS1UL#BypbC8Mqv*u=Qs?9jO) ziMw?d2wts(xTtXuSP1iM7Grskle+j1C}*`JHYwhsWZ`o9%YPe}_EN;@5+Jj%{1_f0 z2;sHxWfyPzwn{BsYNbpN#8ArfRK%oD8ETMXNZgB%5adsZc95h%Pf$s$$z+BXKv{zX z@QVEy<3>58VMh9i;{Tp#=;NUO35Br!_qC^Smbm-tN-~;hg7auIERRm304a)KX<&TK zzn#1W-Cvx?9tF}#5AnpHklHqc;Mgasg*Y>i^MpAw*e<|v?ZS7QC-PmCRq-fxeC3;t^1HK@ z*JxXu45k~hE@8Pmvlv?_-HQ0$CPn$KE3SI|^Kqt>C)6nO@y=08s*L=6^Qn3Y@c3)e zUb=f@r}93@&qMfG^=ZL?pk1<#q8UGMKl+7NMRTF`t3q9&oao_3AFcZytLkii!tAAul@`XrX+3I8T=aJg=TM4(gOj$}eZEG%670&F?!=F)8Cy z4HMqTmBmU6_9mbi{W7mAE*1(hW>)u1paaNZq}e zk1nM(oO);Qv97tLm9Cu1|M0ku)ul=EY;Oj?jW!(tG&6Klno8`CTe>0(v_G~})vn6V ze_S8-rYL56UBKmzwzuB&!)8l-#r^GVs z`s7&%QmxkfyG`8BL5vK(bDE?EB)XKg zop;hb>NC^ZqJP)8f$E6c++x}l9xHt6=?X41S$_Al3VT||uK z>#eFMoa3AN-O_+?^7CCEw5}QT`jqJbt67YlsT{f><91VSpb`gmOl8v)g&qs6C|3m!E{u;{U~h#!?H^8Oh%6tS{cnOxtH~jlWSS{zyg>_@M%KG&RT)9gk^{RlZQwd+aIH^wry_ zrIpImpC?I?<^i(Rn&F=>$}O~{L$g9VG|Wf@k;-%m>ObxZ2rDY;)O|kh?O1a_(nJ3n z3xUYST)1M9<0}7hFN;eYsPFnj0{(v1_HK-U^w^}10a&Q&oVuX(1wuQ6uMn)}5}C20 zt5`9&6QfvgD{37Q=?Azlad)qLHl1AvhEGD*ts*rr9uE(8uBH4u;Wr>6A?7Facdxjf zOO`rEX~?3X6A$gLtNgpDb=NltUVK3}O@=+iw8*?sqQWrofGK`|_pI|@JA zNH-rFNSqDXgkoXWsh|X@S~WCA=fcCpZ}_! zd_Znu7YpC_A3CmtZM?&B{86I-GO&&NU<-ORg}6&MKYs<|L(R`g-Gy$CzRm8(dwo3% z%-6OWurd5$Oi5C=*ZeHg_`7%N99I!ho!mW<6F;tMN>BHCHp8pcfi-K6Hfs*ghSqp= z|5Oi`(o4Ke!9_Ii9<^Wec|8Dpl9Sv%mV8SUsH1pu5+aRuhfj&tb@g}(fj5L=Mijsl zV^_9%CLI32?4#u=buRM|Ti+Drb2O@1XG1*254x3H1uEO>??Tj9ln<*yet+-9Dw#$t z6b#Arzur(D>optTyAY9Q;S@bsp;eum&_l zkRSG48~o_ASe=U^x>p)hU!btmI<0qcy(b{QDd&=NsZT6CDbv0I(=PM>o)XP=k$P9Rbjkj9+s_dbSo1gV z^WbZn1)8Y1^}P`WH6B;rKQuI)wNdj^==PZXQd*Pz9@$xe+t#tQj`Le>f;7~HoL}P| z{FP&eJu-cOh!Ru+|8k{dsF*=TtI;CO`g z6Kx{z(?gqAPY{WbD;es`3_>hAL^+E#60UWSR_bloA+lQwQXe;w0|0#aWGL4oGME5+ zdEU>GhvW;I)h_1wJEp6nfnvEArDvI%&Ob2bR7e}3ga6l=zq zwthoye%qX!^WJy*Kojd=Y5D>2Cdm$x$p110=7^QNS{01)+D(rNF~5N;(vU{~5%Hv1 z?z97~C%^{s3BV~){t6U+bdsq-$Z6nIH>+|OOAQ7Op{;DEtKbN|43KXM)IyYxD7I0P zUH>RT9Y$7~=IByyh=6p0DLEP~zZBJN1`cenx*WhVCCLC0aLQ}3#QsmQDlL*uZwg;Z zi5s0dMm}R8kLCMz6%+H>LH}HPH3xYFN`}?kr;Z;qJCXpOv!oqH3sOoR>j`TJ*H?Be z>1y3go>2~WOk$h(eC4mQH*$;Uyqo8tNC+8vZ?~{K^fy;E5J!qlrr>N91=<8{kpG+A zfS!o3vs>g7K{JQEdood3&89rGS#5v&M#0(uDe|lA`@nfJn1gaP68cY5lrW?1Z zHMh!Wnpmwx)*nzEJ%o?%baJxdZ&RYmf)zS|;BRA079*D<)~S%A*0U8;d9}a(6TzhQ zu`#NvYv`u8I;26iMweO7GxUJl|-?ybB3iN6H>?dXmOy!2tj zjRTUL>d+T)Mw2nKE+SrDs0S9mXi1(yCYbruYZ|jinV412-!0>?UEMr9yn>qN(6s8f zV_8L>4x4OHFV8m>A_=Y;>gJ`jRhiMNUW;!12q0Ci2!fnsU$TzUGCY6Q+TxJ;j$-Le*X$J*`s7 z$o6t4Wk##nMj5OozN|L5vsuZ6_d6Ln!B?Qx*DT%5!L<-{+jF<;H;5^mGlrypSZV2e zpWc4s)o|82^_Bf)B!Ac_+(0H<7=y$_0+p_Hzn5mz;yyH8VXRIysQooSZabRDW-6oq z!L2#x^}wsJKk?d=xQjiYY5Qt?z0t^`M+Qp%dk80dT61vABQlAPDmde)8#Gg*b;a4s zfWaRG!OpkE;p0hNCpE*unbK+04Gi25$h#J*ZZt>DgKcqyH9K_gH{k@sKCuNsrmRYM zS^38>UzdGG%)9sZLDCP6IqHDhS*O0P21$q+LZip59CxBb9O4NrESh0;} z{jL&$e6@0G#v0i208O<}jqQ8sC0*O!1jS)yEvFB6jS-mRHWg$*|+w<&4C zYeFSY`TpF3+4z~CV-8YyC0j?H-%|1U!EqESYzI7T9FAljYAo&pXFVR+A5La4=dT~l z_P^E+ULM~6 zRA9<%;0zdJ1u89>Fc!C>t*aXp-V)*eWia4>)0;!k*@5)Lp*O}dIEvSvUz>szynnBs zJ}7JD79Xf0{<1>l(5{#L?w|FNOwu7%yL-0u@^Hah_@J_HW~C z!BR!7%3GFyAI}~=sd}&XAMeb)+bFoVbUcWr-bVnZ4v&WPzi;j+9@ej%sJK5*+zvdM zp9>t?okJhpy=FOK>vIF^NBu)RJ!66e!a$z=HVtjL{v`Bq;Zhy8?PSwve$<=)%B@ad zG0gU`K3E8R_^nppFz}Pu_md$;;W-?G%cT#Ooeuma^XRFoXAlQ8)Ydp+CZ8%whZ_fe z)>EM8!%64iyV(-*m#H1t-f*fOTKN(Lr++5K;PeMhb8v#oL`K}D5TrRANMIdhGfM5- zM=)V(hgz6W5G=+4jhk^E2a+2{3@21bZaVp71POc+3ZGPlQ=d?YGgAlLgqX-G2#!pm zwl^3An@mOrxQpCh?tw_*s-NI$G;li&{P+;pTFT~)H)I}c@A*C09N?6mcB1|58hR-^ zJXdiP7APr6VL;wlZ6n!qIRhMop-6pwEhWI$=YUXwM=?UsjZ&>eF%ufhV=T zT(6h-!F#^iRdd0(W0c|$AL|c-8)Ez=jFvB`=@PGo9vDA}0~r}hi$~!3f`Bx?np;F# ziX@_cJs+m!fkX^T<^U4_U>;K}ZXH`MD+XTpQ-H;7z+lYFz|X)7AJukthQdexFW|e1 z(+B5&#Qy-_Rpc3r#pQTqM1;UH3bG3P0t!3|A~NzKynJvx89qT-L0MiwK1qiEj|w4N z2foyQXvTaZydwW*070|%A9Xh=+fUCOt`0yORWZRPn2gMfn5ple1z%lGdbYKl8qKlAKF0E0N5Wykr3x-w(T0?p8`DTUa`54i^W+mR3v&FBHiTMZtm;yerN9u9JAz3^V?#-lvE+a+LnC+Bu%}9g2$)zQC z<|px6h$tRqNA`n$RnVa^R~){g#px8q9JJbXr3qo?0oEYL!=hzBPT*^(o0;Wfp7ROm+OKW&QJ=f9qV7kjN|B>wP!j z_xmU}a~C1Q9eA^tO-Xm&_{YDx{ahP>i-*HTPUOJYt9#VO*XS1R4j719V)BRbpjq$k z*pc{Twp_NngD*Kf!*3npG&wLFg^x{KO3wA~4PFXU&q zdUD>6mrr+peJ*|6$%7N_`yA?pz!W{ax z=ZXvM!ZO4>97QZK6NJjbf+0q`@AfXi&|{tp)t&N@Jy&FhU`a#lM;?Tr3cTqqAST$- zz=#MkS?XP2Cf}*B4Q(K;?RYth^MeO%y#n>6nRe$7?ps*OBfYn2OM6YQb?=2T|2*ov zIobzvJUHr*EBs{3GTJlJOiLbln7{IkH-96uFnI8>aD^4&{XSYp;>q>n$l6KtrD6kg zQxW9z+sQQc2Q~5@^w0DVLMJ=}!tCSIz3hFbD3M&hfJ!9kZUPh7B||uDY>-YmlEnl* z=4HsbJADrx*=yP&DlukS?j~F1GcN4;y_xHB9bm7pTF{68i`5>Z>r% zKkKk+n-qAf^p_IW@^&`KZHMq)oWo8~Ns}tg#W0S|VbA~13CAK}duEax z{yu#PJ66P^eL-I|aZrg`O#X8~X0IM(QNR!-uY#nX`K}C)mLtFw@|Q0v9xL2$8#i5F zHbK5zEPLQ(VdBnb`UxwzyP?^ci*#q>?PVhp#U_91j~$#PZmc8Lj!kxN_-8M)2_duj zB4mj8Dw|f6x%T@fetT< z*tEJwDF!!5$iF`5D(PViGd8C_HWE}yHRJ!*N%5_V48HUIY1>FTO8;W}r_G{(tF8;j z#@sCyaMwl`YuDg58*eW^@`?yx)FO_#@qSvayai`W|5olt0Rbagrm^viY;tiSFL5hV zFk*hFpoHntkFe_q8ls4DdRC0{nlcEydCi1R;#JT8#Wak`q#^1>#Y^hzi6UFWXluX zv$$7asG76ItE@fA{^MkZXr!?oHp=J;ny7aGRx#*whmLmA|EY&!yAW|LR`^COeOg9B zKt`5GBW+R!?slZwu{R1Scq!Rm_II16@f>4?FVfx^w5#p}YFZx(x6Ko=5Qd+ z;C5cJL2rcm3!zFg0D-|>?sZ2Jvn2aWhyLt;TVSlt)A8d*9?M1Z+oZ&e9)-pQJbs_( zT*6_MvwgsNg)p0ZrII!){b-H%S-Sx5?YK|Eb2QhjZCl3c4-n1RXOl9uyYq|BeAj(1 zw4&uDh%T98iyz7|lzJdId;oKTVM(-$x47N4t9ffKm70460> zqIp`VR4%#4WH>b|Vg8~jxKE1ccXT^>+A;ByqlI`o|5(CJ0sT4!h-qsO5WQ(DWVKWM z3XzE}|9aZq(U?}KYOgb<|3pK&@-mOieOW$(sO}}Oiz}U(o6preXCF}5!blN6IT#I< zj#~1{U=8{~INPo5eE1>iCik>(f*QH_{NjbSC4+=BQSBK8y&|2v*ZX~S3+&ms;wb$p7;?{b0AitWNv%AQvu@46yG_YQ@e_UGL<~fIQvt48cuuh=kS_s_E3jpY#)?On8JVx3}w;Fl#Qa@Nrfh4eg1{4 zAK*tji)mVcc46O2xAR4ER3p=m!e3^zT=ilLw*ze!ql*X0i~CY23cf7`Ep=cfp|p73 zl{jMMn~UvSGgR}Sij(Xx#K_VKP>>G>zZ1-yZ3Zg)ucYJL9AV@LDXPFAuDBLADIe2qNr;)2Y{xFVX*4CpmHIQ zvaaW};@Tl9e&HJbwO&GlVNfhXpw8VP?_VMGClDn;J>4)^2_uNOAiqW^hI)7;PZ(s^ zz`JNV?<B&6GMT-i z%!|WsJkPmnQxJPGI(EVu4bDIP4E2PxzoC&sJ}$<+3O_?xXhLQu5HZn%I4n7s>g}0y zp-@t52cxz|BfiXLYdU?>vq zDt`{f<KLAP-_vZYEfxB2SBvK=zrnTiSbcsg@F3g=wcl&Uv8@k*`cQ&Zy0x z>lDqv_#1;5-a3_I=kJgZi>XD3N_8OXh|*3cRO!Mv(bMFvp z3=Tf+d>CVXX?sldnWyDPn&Ae*JIBsjQa8chk6BeGUjaOq%xZYq&uUg7bu)8)_Hoza zwBr=c&K}56$9yY;X!#9Pfm@I~)}OXrjYsm*j>_qH*_b{=V;gI75j#e*RD1Wu1ykWG zm9E9;dyr&odJDT8d^?rZ)(QekM+SoI_l zdTACu8@}rwK`SyvR~>72L9JZ$NUsG>^9Avm9ddw2C>EsH8wVL~D;Nx$N~4{P7gG94 zvL<;MP(U-Bq7T3GiC$v>DBxF(#KmtVMJXCCWqKYn#rgZNYkWh8v;N=0iSu94Br6&n zB5I{h@idmMj~>_LpYIX*_A_Kaac9g}^*Nk+5Xh*C6UQ4_k3`E1;MIBI6d| zs3C^)6LVrvYi4Jl^reIw8VB|SnaH`Jj+!e_MjVo1jD<_nre>HDZUhs>rX=|nrU-Yr zMDIm!$U{dd-YRv{;Go0!P?cS}Jh2sRX5!ntmN>D$`d6gitr* zNyt#j$))pM<(ZjzQXjauExy3=m4JKyGKXdinZN~9a_D784nBXz5iSZzTMA34*=aam zRdtv}t-#g}L+!bFZKTC!#Gh@>`G>LNB@cBJq^U32M^uH%rL!&vR_xIn_z*Xd{iwV= zWA%R-gY-eiU1Hu^O3Ns7f_OmhZ942u)i*UIfs-G9*faMP5-m=Qj;q{Sf-YI<0|CFt zIv$=%oFJ-@0arR$>!(SqVL7b=;1j>X)2~1x<>SHaAsfy~XgD~j&El8c7NxOX`TMB8 zF;-^h+UCkr4$|>3d0+bbe(}@G2jOSO&CNj}bJve&j$cI0NOWVelqBmWrowg-Nwpa` z$Q1_nY6ce&?G^Q1)rEHLZZpylUamjJj5o-)v$}(&r35F zJKOF7;_}U`e;5l{PJ{$6Cqga4|No9P|8y;x<0mpVH|c2rYw!fEm$!d(FW(GTa;(G< zn%rnI=}|lR!90Dq#>TDYgw5vq6Os6HGuuC`VS^8|pv34vCf}i%K{c6BXh3Q==7$YJ zcP4>?iG0{?LdVC~l3l*ZBH83Tq-t-P@VQ(ZX3-v>yy!%K^(n0{*jA&5jqe1dO_A1- z_eZW`3V<5aeiZOX&PaSsgT-|fAr$Ui$^u^ofz!3&DAxnQd+u;vaG4LM_{;FPD-!d> z%Dt2WMT-GT)LES`4PFMc`9MK+*FN%s)CzLol^8xBY1H+yn!cB5(LyVHvR>585IgL zYPLVuMEC0+eq3)dd})68yDejepol|(C*0On40+<>`mQInZtbaI{xtN>N^=^&-lptN!^^eooW)@t3Y;nwQNHh|TygA?Y^KyJ z=yhnh|jqEY=Ob z;XW26rRF!!s1wbchVZA}>x{==c=c$f%{S4@b~1#l$)p@Vj=DTPQjrK2YaAmmevgZ1_>hZn;vv(8Y02a`nSCa$FV%uqP#z9kEZ?&f^B6O;m=hFv~~%N z3&91d)nH)$vlurXnYd{sG!<$|im8SkqjPD9hGK1$MhwzL$&jBsPx$Pt8Dt3lS&fuO zvvgA3*wFgd{eHB?BS$(17_pzF6BxH5<8=Fado>*HXpT0yH=6}ljcYT_N=HSdSL~3`S&1(zjA?lKGR*WuPg$` zJarv7B8DfDdvshl^8HBx$DUft0fz=!i>}N4)OlL`za%_Aj6N)UPjc8n zM^_jbg1;`%$6hUDa`PkP&ZWNb0-jQ|aVQbJm^bCF7dAw{jIXUfdF(`+Hb<%LPZ4Ys zJXNJ_XbN5r0(dYvF_)heN9+?%r(0+UMs~kBmQtJVRH4e1bQ2dwGiOTqR68eHtS@IQ zY;xQ~tc<)J9{;)5f){^72Noh@>tx>BH{Ky+%5-o1wR@()Xh9({uZ}{7-ovdRm>vB! zpJu|SK_NM|gW%}f7af}{{~fKL3&RS9M4X)nfjHza<4JY$cXUYs3@H>+d`1#POy8z% z_&Y-I+jmw$B87XI7%S*QNo5+~{4)?6lvM^J2XmJaI+zJMDT84J`mqqy;6W{|PM=ua z#0)|z(r;NrJI<137s_mz8Aa}kv9hgD9?qX8Mu3nCfmhF7_$c9H$>G(q=AduPX=&E`EmAs1O)G?x zHq;mu1TU+{!WB(4@l&Mva*YmKOEmTCg*nIZ5qNojP^jZaPnX72Fu2~X!_cG81i01} zp>pMU|0Bx{$gnC??AlUMK8a^AS|`=ug~PRaDV4Dbc#I&Eq`_lk>w~7?@)f(|vOjFO z0N3PC1v-8edgO!llZ*K7P7}DQIQBNz@6*!d1$LliQ1cJ%g+j7kN??pT`%ry=?vqO294= z_3x4rs)U(_M4F7@6brkCs|nvo`m5v2H87iSAio!0Mleq^OfDpHS!)7}jur6Tgv_Wb z=tnCI!<#n6rNJ-)wG|w&IM6$9b?%xm42HPAMG$RM^gzJ3B$dg_5mKf}+s^p+?||K& zmZ+5hQ|c6aztLm3jy-(1jvZjqIeQF=LrD;*{dPaiz|*2Q(eX$`5Kq-u_D-N~Y_LCk ziVv{#m@d)dvS=$410^{!vrW+Ci*wx(5k$nQA}50bP?m^*Qxw9eOpN0l&L@5CCxJiE zDHfRaCsk!o~^lzZlXij zfEu%%iSqhRwEp?pwC0dmfw;VBVpQwu}Rhxw&drR`aQ2tEs zg1F4jP=sItW1DwKmWykQ87{(GfJ>Wu0fo5X9a^80mUx8PedMMva0PNdM3echz?5MX zFFOl+`j&kyvUlsk$f0k6qjzXpEFP8n%JX3y7f;UdDt!HP05oFz;CM|2pxSf+%9!w{ zMs<;bbw1+fjhE|&5NRYgKEtbEf;?EGE>ij&_m4?K` z!_!-g-%@9(*Pr+5hY0dLeJF~fnp*RXpz;g<>{hW5oIn26uTCeRR!an4L(i)iKJbKx zUD>7QpBN%G=&%Du9Qf~A9do3riykr*(GEpYK|mE9uGE}wN-rqq4O=RJLHO=4RDC*l zBuytG~ zqQebvDL|I*7h0+gC!EnXh+`={4eDL5ZJP?ZmWt*pXlGfHm}X1MBT@Mblp{oEumOgQ z^h&~W^Ld8S!I?I$HlcQ|J|DDqwAc@))`#?Lx;|(OpRQLRDspm&|Ze!!tgJ z@YL=nCO8+?5Q_?FIN#ArmiARSt%~M5ghDl?TLfaZmac3HQJ=7{D$Un;AMr zPVWY@QH7(CA$zEHeZ|O|;yVIJkCYLf3ns;>YY0b3=Y_Tjn-EY{9p1(ms+81Mg#V+% zG!Y1x9}{(fLFZ_PGk_D0dagba2?1UX{em#Q9rE0g{q|%>%{G481ZwGe6>_W|8UBH} za@|&WsgvJmkFE4rUHXo~){I0zJr1j|;BZL0;>WZRz7%v? z2=#Q(L_Z835K3}t6-s@%bft8qs}##W+_>gQma6T^@Wm1Gx(BCY0KO*;1`F-|c%S0`S%B9-R zM_KFJq%V2g)G`ZMlp1iqQ#-ZH;5_=Jxz$<7wPy17X{QNm7qnP$M2|hga67&4hS;jx zkmlb}TQUljkf+diYh#9%!7%FR<6Aa*G_secGXUQSKc!-dV$%5jko1qTiaXuWi#o{s zQK52a%73dekB!aCaE){_RG*igEZ~*uus^8j+2d&3Qz3K7qRf$R*Ac#V` z+>&qyqz%D}r62d}zGEpk-`T%EJ?MD3{{00g=n44zb)ku_Y0C&Sd)vEPd&leX>KA{s zXyCc&;WVD5D`q~<%~$yb0BpCgdmMW>@7YT|L|@T_Rvxycd5^2 z=+}&f4NLF$$tqu1t( zi(OmrRh&-B*oy1v~5CH{1PqDNtHL77*)jKEW!j}9yB z*x$~pe^I^fzsr(rlbcDb@~{uXx&iwG;wf4RMJQ7+6f4FRL6Ksve*VQYNH86B!IUx1OO{qmSZuts zzR7@5^b7;qRl{!o#DScah8$=%<}#_>V+fO(wz!vo5GFyI^TQ<*A;=nG1yjw=R;1JC z#_qMmO%XvN(F{X2?7q2qR^&Wjc{c>XoeuJm{b|n9Smiv$5wS+1Q1a*oba#uXujnlEu;m!2_ig+VF9 zSXvdPdhF83l|?(ZR*k`($F}w`slhLTr_J%hT#p$R+ZC5gRj^%8J)M9mn;U$pnd%^e8O$(;Yu9e&hkF**Nh-_;S)C!6|SV>p_cLUpw`95vInqw(u^ z@426CPgZ*L4zy~=wc@n-8>7Dae8T#>W|&t}^9Q-Uy8Aaz6E&aJ^-cZBPg@a9 z`BI5P)8x}Ai=>Vf2RZZa%OX>}IXWEoAq7V2(^El*L9WvaI~;dFk?N4g9l_NZAycI+ zAZn?^?i9_sftFpV8Gg)c7zx4ttxE1Mk(RdD$NSO|63f`G3-$%;q~7|^VdEFl%q*4A z2Dyzr#c&(#=haC{%Ne;iB3b$`(gFhg?4N%nK^&@St2k>JfG&C zuWYdP!dV3bRwqi&ob*E0cNcBBtsx&Dfgenz#Mo&<5>sE#NDCpE7*0}|4?Q*SGYywZ zqR$;Hptv94@Ja{M{_Z=bNtjtEWRs;)m>0JPNC&t!@4wrQWcF>_-BhwOfemM2`k|0} zYZ4Hhe*)j#m9hK(9U;2-HbQI?h7s($2r~(VJW1pXEqVX?&b9Bp>F>MkR$;oJ5W5oK zeIMDrWLeDowaRV6q`l>Xl=Yj|yPmLoZRdagwL|`Z`S}g`G_yJK&5pGAG`9^BGlazk zBOAlQx&Z4b<@2b~mMoSyZHrlcRWgP1ekF#IOQVGdHn>@(8*w6bV|ail5Y$a%5c+u` zSKvzs?M)iyh1((JaNaKC%NZ{yMP9i}k7CP|64Ut#_27_9B}OQVX=~Gbo|Yv}0B8NB z3I^r<>{oVNKh^ilO2r*Z9f$a!K6;)DasHIbU;xmB4|e8M%DH>?hl-a-V*Ukm5VWSg zAmv+}m=6IZo*HbP^MrtR^05fIZ9{XF8MII<)o5!8PLEs?mN4y6vb|*;O_Fl0H#n^u zy*#F}7VdYV*P^6rrnZCRXKtRwbUJe1=GEi9Hr>Qr1(Y*p2xZ9zss8F64#gzh!oe;J z8Us@8maU$W`Dsm|U0@);9~x^8K8qlFH0nZPb;9(2mV}Qz`SRypH&|`$M2!NZBLSiNFew@Oe%Q?ko zw7U>Om%@P6{n-5zrlyi>@O_>Jj?lwd&N5-sMrhFU;jmF7 zX63R^gpaU+P0#e417EF8ItjJKzh36t2J!J_p#cpa%kZPB;bCHTQ?(GoVRWn5p>m-C z@)8#~Rm&lglh-c!?e&Lt8N`SzM=*4X4nuBzoJO&)0Fx$ z9Q3^bPKFZ_?sTI+MkUR2*&>gM*cc99ed%|8ijgeN_WG`LYc8yEbvnh1y}s!DDX zQnsi5Ezt}KHO|1A)$;=>_<2UJ$E6H?IY#z%>oV|H?gj^qGiDu8pfk5{e((8pYpeBl zm&T8+GzP(A^<66a_X(-}-SuswyIXr?2jsB2lj)wT_mnX9FUpt~Yh3^!9p0?g`jgud zS;eMBh3#UxgOWye`OXDxCqp#Kn2`2SR<*PY|E#k>{B-V{ekx99Oml(%4FeZF8 zpsMfrWpW>#DoUpKd3h+gxS2Nn5to8%ySFuK2*FIQKwf<&II3f6EX9P7EH3&{1+W;P z@^`{{N#IJwkw>XVtyiDdjed?U%z6qcMc{N zUj3Bb_%mb$C9U$OYLag(IYZ*h>x!eeum5*-mlih<(4*%k1fBy%9GP&1aS>#NUff|Eu1|A`hg^=^$W1@4v;;X4C0o+?q_RJaG3q5n? zOT%~e=*E!S>kA+avpTT=NuJ7kqnGzy8kYH9@rZ8`?lIMg9x4T>a2$aq)rl>s_Xo_b zM)hSIdqGZywqN7(!Yx5q5#4O*0zujiLP?z>BHE*^@-MBaTIElT-Vaj#3Pi-C?mA~U zlmWZW@5J-%60H+*9lxjCgg}8&P|-g)1wMwcE~eN$hzA0h)iz`ePq4P% z$L{{}%1Q(ekAV_2)#|!_Kb`8Jb+abz`8I(k0CLUPtP=<0CJi8vG}1=Q8l{ zr8%G@psMZEs??Y{DrE8ghl1{0?a^=a^#0k!Z0+hY+b`ufe!RNwmL-E*aas`lfzd3Q zJntjuMogd801=I2BObtM`ASKw@eiMI#j;uPtZjH#WUZfHc+*+auqQz-Ty3%!#RXqJ z&lTY?aDpxiJ?~&9RO(3}J4>5RhVvP0@l|rE!r$o-;OZ0pL_G;wUqJPsLq0p${ozS) znDsghaNG4c^{&242IS9oMm8(u#(BSs{@~baC!cC_+)pmRlyQtSlA$A__zE+F(ii`i zqZ@yCGja%CP!A(K6HrOzE$`Ct7LZ$#pHs--lT(omMeDK42lShmu5(+HRYXF)W))a3 z+S!`o^$)ma?chD~Lt2t=QDDdzda`wFx=Z?U1}byJ(j=PaR2ios1F@geWk#k5X@fms zho%lSlN_fA4@{>aI3FUSrL0OkDo|wp`GKpGgHuSWRYl!+pB$3TPA@U*h+*)<`eF7^ zDHZvwkUSQ#(Ja^r5mnEMoVLL>C!<^8A;YotIYYDDE;+%)I#VuAyT_Jm1SDDj&+$1< zqA-d~C5HwP(jIe8pZ+uJNsv+*s2u_}M#1Sz+s#kZTc;N6$cffuWdatvg5$og&QdaN zM-E4Pm#&E!+ya$QoAzFj(yf%tD%N4UPY+YK_@Lr&X3$_!z?R}?yYefGNiUWzi0!?Z z?SG2Cz^4W9K^VwQ^Y?WJ9m$(>*E3^(%yCWd6kI4xB&!zZkJH{zR^{8`Ac#YFZ1C(6 zyooJP&S6y=yYo?JjK()GdB>wqPvb7W-+q=CqUta`5;$*g#%jmMG78O`pW_2i|ss33idi?fJ|3NAhMie+zsSwh}bp z;71nd@+a6Rocv*~5_GF4c;ZPS(AUK@pYmrTh{vWLjfRsz-U%@*IU}pDhoe9!r+Xt)TEEM zMDMQV#;pa38BXsWba>1#;={;cZ=S*e2bb%>HYMu>lGe%imeo{EIGO1KY_-YrAIK=s zWHXV35L5i@lV1l&#oC3jFZa-I<8EuUi9HCpdWeQzBWI4c{hpL*?VU!JbE5~A`O3;+ zF3UXZ-|PzR@!o$JB`l`(DUh8`@GkI{`7DQ zQk?YRRvEPQMK^~GzsFcaeiOd$#*IWAjY%+Pm+}CjEDwKhQVqPfQnr5BJLd$PJ^PmNkJlUVF_k|?gDM`{ zi{dKdTb4QU*N_*je(c7ebY7zkCn4kX@y-7Ou2 zTw$3xUj;an75gUb-5in_jVIA<9t#oYikfB*2Ou;Ga@!oza4!rJh7LTk^fZ_^YO}05d*fLkt6Li%z~||Xrr7NQ4HUfJne$H!UkqNK{j98ucC_s(N*4sdfWq`~o)16lv_W4$ z)7~>Fzt&T&^2xW>py{H$tQ13cO3}pynsN#}3wUK2Dtg=&Og?wVKaM+{2JO6O4yRYJ zn_XLFCXUK`z`4OXXDt+qJsLWN;p+?JETAuv?`VKztMpaq)rl%L)t@ z%EWQYUBh#`O#(R{&~m#NuJv4K-mSPiiW021A)fN`z7p-|`p(RoUX*h8L+;A$9Q`K4 zM{XsBU*@lbosMJb7)ze6xPEe2XxD%#ij7KF}!mt`DchGVrfmyU(}kf9%;#Z+6t)n%OuJ5%IfMsGlj& zF@HLQ+z`C}dEn>6!AJ7pO)W4+2WY?xK?{^-i+~Kg;eUar3Z<-7vyeb8Qkq4UlaI&k zsUC{f&|;D5_SJpLaC2*MJ0Ht|hIPXblsJnO^mass%8ezYfZ$P&Mr?&#nC>gi14?|S zQ4EnpFhDq%+g4BFWG5L6%)_$0zza{suYtN^aCc)xwZQu^*3ZFh;?fZFG>J?LJv7ypWe5q8%>gZ|abZ;?g_j~8t+T^f#6#hvP*DtT;l-8`O;=4*FYfoNfG{?*yZ!o=>MPY&RG z9|U4Z6nfn2PUep4XS$v}GP{s5Ai^6E-+%-j10wgvq8vEx7=bn$FY)kd7>+~I(NW%j z`UW&`Iy!oIGSacpeDfHc!|%8sYv8wfXH-ZOEgH1WijMSWypMI5J%4JTLySt%-+=K3 zOt4WY*0?zE5E9q7rWw9yR7mbqkO3_Wix}o7adliAukGr|?O1I7@Kfwm?xnp|C>5O%LuGdO@1VEYu0ip&hHZ*Pw;kP8CX_*(i__BV|ICusLaZTIcho-y4{6L zeQB{92-_%uH0M{ZcZhDjPU?n8s{av)xnw*pOjK`CvEJ)(F zJVbhXcN%)^<nCvbeMgM zrEXULGJ}jb@FMPU7lovzrBJ)JJE1tPEBlZT*|5HZ{^Y7`>sGnips>n~%we$7L zZQ>vwom&#xM}VA(Dk!e^jzk-NJKSWP#+0KkkwMeq@N(-oZE8bWk;Vyagt{!)%B6IX zx{%umt+Fx}Jo89Iny^A)HU?Dkis&;W7T~Eqro+Od)6W+>qsnEk%xn@JgGrwURCk_} z5&IMbQhcwSQqOy#nbF1cOEKq5M!aU5vi?=boF}HOD8U#|fyjVR7r|~?i&{0ym?)O^ z={nC#q*bLjzYc!#A)74BC87MqgC7mSQoUqFA`PF9O1d_9x_Jo=3loTM6h2~cs;IY@ zMU<1yCt9!Uu_4Kzc1)8pi$BMip=vTO?v1|2T~4b!xkfX16ki}Ks@cOt^?UYg zfRSTif28?t)mRYI*npbepARclS4t~68oUCdGtg@{O#Y&?nNVJhwRXX|62Lk6V`91SL6w?68tXLRu6)!0HjntLo1ni-Gwu)h46mt6 z!~8%q`TOq!H~MqHZffl**|P}3?kMO%k`{{WMtSA>+h&HHtp)q)AJ_Xt`5o~(O7a3u zYfdw0IOBdi%#hKA-lLp6%+1+Xy5+waK)#IC%8d`#)nLqg&% zwcDk^46?;dB}B^?h^9RN%GDNJ)jCG6CE+3$6Lv*Gi||FD*@orO{N2Qa%s}Dkv_swA z;6S~M_xo1b2c#hL$YL=aQQu;r1o6&5=Lol=)zi6T{hVCfS`WnB!8&fGv z2B|vXVS~6_@vtD@w(mc+vOuA?3nO~)?Nd0>DMgh}m`HCZv@Ei0qHQQefpuE0oSX#H z-Stwf+B{|_Z2xw>(WCcd2X6==pT5)+H6l?^l#2F`SbB5XIA6k4Q5YYX(Zd^wnJy_> z>Oir)z|LR|YvH6q3A<*w)3lQ;z^9uGTuCIhF4YD%JvdXj zCM=rrJbivVTfABx-J;ZD1DvXvDr*}c>%D&<3=#0Av0W>k!G!Zblk&?GABWRz#o=)= zK~&I;`My8phu5+}DbfyzwD=wEe-2Y1Mo&Dz+y4<5K;fQv_$2;F8aSAEAr?Hm>BDUk zpQZR;g{yUp;fXXb>uSD(yFBq0Ac(F-KzhTUl;)L>_uFGtMm=5{ur9%^9y4Rdlb{-J zJRCN!=^KyaNl!oj5$n~-OK-!`tE#713q6(x=JM8ZT)a>9-ZYP%yyKU76|GHi=dGaM z-gxAEc;g<+EUcD$d7x8|)!i<0t-7vz3%xz?z|K$~3fe#^T(5jP=H>V~FsFkScaNh- zncIDZ*|Po|r09dk0R*sZKBt!NEk__V1j9kV(JgW8Jzt|{xW26XYPKm)Sj)%1y!$0P zym()Rw|J|kecSwg5@yEEGe;0_j5r1FQY#A_5v?$i?~MKo89Q2hn#5;8qF{+Rt&}3` z{R)P8?`pwCHuE0i(hQLXe){VWs&J<-Cbl8L4UUTgnyZJoFR$738zd8{!=$6Cy$o)XQWRIWt`( z6!^IqkkwIjA&DJh7_$~o$9$GV&D zx=EW20~f|#j7G%7Uy?Plv;0lh20)Bn|Lna z_ymm7UYUK3ZkhZf$hrTd9L4{-HJI_yY^;R@|LaqA@i=TcnF#9Behd_4hpCMKmc8xx z-g0yUZK1*E@x7Qyv{IgD!Wbwr*V4CddaYYODMcU5&K28q&F6GCi6X!s6S{L@h?FtT zsU&ZM4U$+YJ$HSDwAB?z_|MT7>F?Rs^fMwaUosIKHfX^Qj|+I9^NXIWAT-`;w9Re_ zuBp%0q7z5ZJ$f5o_k`E+qixr>htKuSM=J`o5%fZ7yHxka2tu-VHL+;So)H^{9+Lj7 zNi}JrTJkxJCg;ZWcb7U-zjflDEIn3AAc$tl}z#CTY21~oN=aYELm z1MA&Pq65gV79YR(7MC6^i)D*8w$MgFyzUdSZ;e;%Q3K%pS*#9W>1$`h)LiUvMFMulV<5Oo_868&eg|7)%}KtF&8x}ehxQUs8E zARZ$mA0Mdd3`+@;k010S0G^PQm!F-Som?G}O-6&0oR^>DKMfwhTa)vDntX3fE)c{L zEHM->KX(Xo5Z)W`-#`Fn4kCQ;J;i|Kqg{(tD1cCR1pfm&i&U_06Wir+#v_B^Zuvt<|=?4 z@IOtywu1MOd4d#FGw*4H`a7h7UIfB)rNx2ill&tmYQIX5hCvQP1L5Qi?#ucT7uQB z?34>1O#-y6sXy*XoZ0(#Xa^JmvZ}6VC3`l!OMK2wZPl2UHfnc}J5<(MeMcGA{|OdY zTyfVfh5WBz!2(k3r?gW^d8_J{VKorZ`5~>_`mNSmr6G%uVd4;70`TTndt84Kcj*;J zGM{ice9%XM2a5zd`Xoy(xNz&|a#DcaF9_AwpXC4Fr3v8X_-8h-L8AynEWm%VsT~Jz z*;M}iYneeuK1y9^Oj*qi3RK$hqBz+Zr5UMT#{{bk%gK~C{>|>&0In>6gEYpJuP-31 zxh}qf`cX9WogFrqPz)zr!NR!Whw%N~#~EO~J|#08V_>bHjg=SEsID%mjoA!L-7{Wf z5FK_nOZKYPiIy|L+KVPX@KXI_N$aQ_KC93XU+CBE(*uWmHn)*|WkeYDt2N5rGg4-m zxB&41B<`BkKDrx|!}_wbw{uqckS3z``K%&NGRb-hb^U&z zD+775Aj9aS5KXH7s?%>!OSXYb`ffe8dlGtTAXr3D7Zy6+KO^7d2CTm_^7pa%A&6Gbw!J)W%LHEJB(KI+I@(&Z6@1GAIq{R zN!?rc4fTmXxBr$Pwgfh78mXua)8(USB`mh>mQg7^hPG_ZgajTG#tYnKd&4faE6)f=e6TYNMPZeR>K zhA>3X>opuMn5&Hj0umR1qsY~CNok?S>+m>w*{1yh$+E$43i7R?!G4p=KT`k4weAiY zMo1q1e+876{a*p){U2>22k`!vGQBy+%k{sUG$da9$_9eK;g9 z;ID#00yw}K8Vu}^Ou@PL`+5ENo0FiZ76F6@7L84>EcA{^KX_f7k>3%O2pr z*#rD<_5lBzJ;48EkMA#gDmn}yDmsjBU;?Y?Fw_0Z9t7VXjR!5y!LowImYGW+a7{Af zCg?4DpuG=#W8Criw9AZb@T)_*G|-pbuLF#3<(PM9#sn`?if@VT!x zL|MhtSnIKfKe;}oaLavct*L>eMs5JW`|>x)NQCjcvFmsg=oPF-BP&T?g5Q z6=U?DTDK}L$o~B$h?`mV!MP1M{@^ZH;`1c z_(vmIYV6XNsQr2Fw`%HhXGO_s_mwB>qx$86JtTSjJYpmknlzTU!Fc$7>b@3Dt0qy0 zgyW{4Gm(1&wbzsz4c4>?tVtsa3r&?XxAlv+&^JO|$^pNaOY}X^Zyew$ zQrJ_|FHYOV9|@Lavq;7WKKth0jRMUekYjqDH`JY}i0&bNSxX}D_N$_i0a98D*lF1* zJo?W`a{0-*qcFSOM&&-OShs!5JfP1{2_u6Ofp;^&aQIm?u`ku3RH_)xTS(0ydOp~s zJfab!S>;VqbVI!9aHSI@pu*rIpvEtWvgjs-$Cy8Iv+RJt} zcE5h2s2rcE_PqCZ{CT)SPxD@y+SrCVLU~Qf*l}W-J&;?8+6;9N^16%N(cQUzYE=<4 z-aB*u*e$&{#^z-tU_8LjO%n6n&686M$q2|O%6z`nU@%C+j78~jd=Ya<`Y?C#|FHFy zQE@HZwz#{y2bTsKcXx;25Znn)f~0YGYutjn6P)1gPLSa4Zh7RK@4kEQ8}G*+qkHtE zb_09XtXgZXRTG*dug1=?+Rl_J_gT~kz4D3^pn*Rsh|siF%7_ELp@IjgtZR_wKJuxR z{$AeVupu31x@8A)UwfVxMH#&Hc$IdZHM-@h&~bwJ<~4{~b6$_lB$7lHYMk(d>bq-X|9|a5tyy0q8dcJs*h;dL&rF z*}$(lc!$xdYL-p|!TKNZ&$*It&@{u5l~dk?P8;aPvZ9mJdkahow>q9n-8 zRZUSI?%{xE5a24QXMNrHyQIPaS z^q0Go!JJaoc%)Z`dK!*{yqr43MwSCHwVfQb030T8GS0TvMRMoKc@7$gH4|iw&!(EGa?!y1WUD^NUF57=`x9~4_*WbCD zLt<3^><%f;vs;|R=lm~s`<|WRUV*i*y#I3d)%0mU(ZwVsCQc}^P}5a$zL|zWvcJvZ z<{7lmKi&F8PHN*QWil^US$lG9g z@G9C))Kd=xo7<`?v@cB{ZN1i$C+UkvV?Bcv&-&``5g?XH+b-?w$(o}Q-&PLP$}+;X zDFz+s(EP&~m_XqhToio^-7dy(MGqKNg`1!gvU?j38&d0j;dLm+&6q~v{*;{r#LzB1W?i2)B4uobp*({ z_6x>Eyew3Aw#Zov%j2^?i*Dmtiu2wSfx@iMb!}fQrq@s-C#DQY=GV29!Nsgu2OP*m z2l2N2jtG2*32kfjgs|Od$!dF7Xs0&d+h>p3-@?|S8uwBb6gPXkv3I6zOQx+Ke!|7`-tZ6FN zMf{G9v{tskv)qSA8>^g0m|*{9Tv)XMx40XyIt(W=+BOzUuy`YEDP# zbA}>D=f3s{=3L$KXOHUSm9mbG_|FdL#Kfy5aOyQ1^z-HS&7LA~&`sM7Hu)d5(3xuh z^_-J}^_-$pNSHTw0VJ8F0veugTbBP1sV^tvr`QDkFR6de%`-3*Vxs8DZW}>E+)D`kRe;~GEgYZKVOVAfYijx|4Wf`|D(v%e--)mA4M)+k!w@b5JaHO&JO*ih-#sd;^%7&1Wn( zl!-w!e^j<_=Z+4q%Rrabx4E0t@i2ZuUB6ttuQn#V>TK6ow}0iu|0T7-))Ioy&I;kc zbXSzO@IWxH(3~Ac2q;+<LACq24#oYcwc1_E zc!h4QmkX!J*O_k(?Zi7gkyL`-JXJ%8#S;A<s5ebwXk=67l}SX(#|UIL`$U8{BfnEQl#@ zn?QyHl+pl-;t9`lq0Hxl;m(;kK)gsWrj)%&as{}08||Ql!;HpMq#cz2!~&j@$AhLy za8#U#RQ$1~x63n^AngF9-I(#ZFx)fy!CWV|)c|ZvAVQ^wI}J_IfDOFle68=pU9rfd zW6@`NlQ6hc8S&g@A}Jk=nAA_aI9TKAK=Rj0&(O=D;Awict6}-w-PDM9(2SY9G^6|H zyKu5dwK|QxJW!4hjm5{E?f#R~VBH*-C*7S**h}MOg$LWG5Ln0`qzc31FxFAj6H`G* zV_#1!A=drv3TNQYqll;63RPOK2;f6lt7iY4=`)+zRZ-1vJ49Y0((!I$>d^7xt+#$0 zzN;`C02J5NJ?o>zRLynzfDTDNk(^u(WmTXz(rv<}2a1VH&mMlE%4L~%G(M07xi#x@ z<+mB)uNV^0Cv#(@w+R_ol-F6qlv+W&7)-!JyhzWR4EnTp_>z$kLA?et3RWLcyKljS z@{+wE>2;d0c!;`5rSy5zICX`X5_KBlZrd3(QK|1G1Mxa8WJ)yTzha2; z!8e+?i=HR{9)^$=Ys=?-o1i2e|D!V#9Jm$7dI*MYo90b|K!)d^DyOPBl#eO0M-CMZkF$WirGt>ky%6lljXzI` zCLXs9F(%=GR4Tzb4aNTm=DuVmBgtK`yQmVl%FcQZFO@WOR*7h}wDv;L+*TDTUxA%2 znMqJh*)t`)!FKrGf<&r$y{KkcP3Cf?V*sR4x!)TBQV{|vQf369h=h2BYAf@B>gC6yHuliM; zpJro{*;*qM%AI_U#Nt1Qp_r1a|y9q$iYTO6z7?OHX&V0fdp?{KD1H`1RoKGYPb*+a{wy}DXT z30*}>Ut9)_I03n$NrFw-5U@ofC#B4T{($EK@oB*#HL&<8hs-EYyj+Qxc=VuMU8Q%^ zB}T`!_E>Gpmo85aWNJ~mI3MbM;~sVQM>s68%MLoOFhY7( z+FF(`XKZh>sY?Mvk>misk5wJycEvDXR6QlWP$x?Zvzg5L$WkIY2ilJA9_&y{7z36! zq5f81{`V+%T>*}j-V!0g-h2?^5_=e}xF4Gx?RJzkM$~owFa|H4JurxwR)SWKxr!x- zpcXo_e*%uFm>vp9IA|K!OTey+3Yk~WWzMo?#cbl>1WV0pmuM}hYt=_5>ck-g6&Xhf zST2!*-lz9pmgFXsIH_^*NIk1@*@MAOoL#^}spKTfYn7cCfPkb8mjtsz=`$*oI&p#Nxbjl{39V4Cp)Igb621bI~D z2A}#n?X4O*l#b%&AUk|?KRuEiZ=F~gKr=3T6<3eu9j>golpKbxkylFZez&aTW=O?f zD$Dp~?Y)7bp#wrYa4^mW*_IK$@{>>OLn}V}@}z0IvwiHcXg-M??ci7Ic&K~b+VSRf z%|qKK4|S%O*C;U_;jDGeGXmG^`N+O%s)#H~Xe0-F&3;@fuu&O=pVX$)V}9H-{o>6_ z;bi|Dar3ct+};uRaktXdglwOz)KfqJYZqo(GJNmh7!d@HXGL?tZGNh>F>b8i6S;PD zby25QNI0g((8%IC^^xW)>)KyaRXI-dkGi*=fxKU?P%HL*Z24%xMQ*Fb<;x`^khXwt zYh9G6mzAuw(RgHL+zYQUQYH>rA{WSFIj-o?xCSUy(TwfT3XVuu9%b4s{_3rFcU^D8 zN3Q9)(g?aW=B=#Y5nwBSdO)UWbHf>Iauz-6eNPUf zbsV^ieB(oL-$*b-sh$xv6VqT%nbx`Xmevy|npb}!|MvP|WyoTGK5=mnJ#0XzRyuDY z1mV=!)fReG&IZT-#=W~(5^mLt#pUXyY1^t_atPuMNuPPQ9;DlkxqheRpB|Yrn7)rM zVW4g>18%y9+4i{SkF55aVa;!dYj*KTHfGF8EDJZ2G4iBng}0WSzhY{g>bA@V)et%C zrkgM3SB@(*G`4d)EH76_8ss+ExG!nnbf_#v8-T9$R9koHa$V6O3)>`M1^&QP?s-pL zTY?BXd^Qf&Rz$W~Ua1|G{~%ZCt8*S_ z7@y)bq2^geWk`+>O-84KtCg74T%|T-@{6KStalfv7}@Tp9>Rp?(lf%nY*sPyi=vP6 z4wr9LJ0;L9I!ruk>>3&=mc3rNSd2+#0zn2OGo-9&!y>PrHLu7MJ6liSBHnCo9I(!Q z-U+lEndu7y1>}5cc?wx1tF^a{I!jw|4cw7EKlxV65L#F?FZ_;(63U3r0 zMnjU|LKUH5B^Lu`FANFE|6-a^OeB-d*0|*89(B9jO(-NwWaQQwgMXe<$-?GfD>}q%$5JIT*^~q3@JBCB}w~nV|NWGt_ML zT|DC%Q`=O}^b!=#jZ~p^{I;b8UDGh*Ix*uxyf=c8XDw}VyhBIKA#}gGBFSdti(nOf z8SEx6R)Z12tXO&rbZw$AT+4xk?Nbrj|GGOb@wY9+AF=mn9 zE8J400pWotuY-|(&pjl^pItl_Jlzd7@z>!;cNtRMeACK2%XH?Q;Xq%%{#F9smY3Zs z&I`E0P6(3_3o%)i(bmPxciJ-XlAzt?TT(i)rjNE`A7mf^aK(T$iwsBb{`0q9yN*UO z-9BWfwEo#aBr;7FSFd?3G-Cv9cG5-$?h<-D4S9DMbLm=19gX%+B{B;{ob1| z<)Sp**Bd2MW(y64Qu%}q5)t%}s|CfTWOPkE2)din;Iqed&d#sd#R@sqiFYSdXRR83 zDm_gCgmj`3ubD6b4!XfkLR;`pH%H^10h=e!M|p;HFKpN+HIO&|*$=#DOF@Vl;PN|W zJ}7o>@Fg<>F8KM5nHP%vJ@flF70t{3-w}QaUUt6!&PVW2@cxe+>wE5mm*YJp_cwRK z%K^T`M8yrQxo3XASl%zz=9+u9#Ry1_W=aZ#Fr>c-u|-&H@P}vs8z^xWfbzHhPLCpo zgn`KQ=FkPfW)ExD?`{`_=+$(a1jmHB=W8`np4g(Slo|o2l1lmbo8g2H*bUM!9Xave zvwD9scCA}@jluCNUE9RR<$LKZ}H@sjhe?WQ#J5UC33ULW?LK&)MrV8rwU6-?+Fii!)4{ z28%O?iz;%E$da>Q-HbmLGz%EMwQq~#R1Jn-E3}azix>YYE@eb9Y|-RrbQd~2@uSQ7 zv4YR~A;zVPP1q>xiR9q-uxK84$oROY>uqFLGmN#31IvqqPzfFC$4BBH28e{heq8)9E?u#D>NWitFn4kfCWgOF|^$hh9LQ zDgu#Y+#29Ie>{@k*X5hbLKiVI&w zcrh4Rb5Yo`U_7^@v7tF%)m}$FwmA4E72$s{nnRLu&;)*@F#&h+8? z2wSDj^m=F_~r5^Le zye)!NR1l-m|M=)(%!9>wM0Qk506wJ%&F8sMxA2G|GoSJ2{$$=Vy2+r*=A37Co%O0% zY-^7~3px?|DX)R653^I~tF|K~^Qr!P-UvQFR1yhOK3xqcHhr`z6EhWCp2hF|^J#ZQ=Ay)JmDA=}+cYOc>D5Jy z9r?Ff1Ve2&c;>c*Tom2!FB^B5PJf{>Jfb>6X>@|cxTvt9c{w@2CdmNYX74yaD-3>J zo`0GUK`A!zk_YUpa!%p!A4ucvmlLpB8~_Jwk_d&}?3xT{hru5SfwR2(R6xXCb1J_e zuqI#l0$sL<#PAQn6Z0@|njO*sAy7EA2VXhT0+K1(Ng?e%zSw5vb=BC{H$JE%@S1OWrud z;_{4tFPq2guPq%%Em~(PguQ6hbqD8Lk2e)|12FINVkPs;LXWO9DhR!w&sCm$WFQ!o zEzwLdnj|*kksiF-f1q)opl4$RX&b8Obj!B7ND4XWyf~dtCe~|zR!tCvT_L8XUF->r z*NdZc8i*K9{xKw6rS19Nz1C`xZ{)L&Atag(HLY+!eTN@5|X?>@(3~weVfP&R580Ik}$+v>-#!4IeSk z@j%g!`{ynut!%R&jMaiAZ-X##`K9Puk#a)m051u-r~pM^o*H$t2p zF>D8z_}-wpy!S~>a5(4*lvSKdsE|U673UyGlNw#-W-V7Fsb&(I56NVR`mD#o;3N-> z<)9T1I{g4+A9BOsKdvnu9@+E0mCg8QE3`ATRZE=>*6HY;Nf51uV6UnkA4yaXpxG9G zzIFM)9hN_DY~M@sDE0l*V2@(%%*1H_xP5C?iYcL)mchNr>N3$7nVw z*(y-(+GI&&@c+zSS3c7-&0ShE%NA@G2SXRwyBPJFXz$6Euv?(n^}hKHzG8mP!MW_H z{E>LtvXJ9KIjK#bJie(NiQ`kGm+wF0gDG|nuqE@19iLc??BC{LR?0jw$pqTC zi9C{%5VfS2ilx4erKMP9sYH$*x@h}`OMbf9)RazkvCa04L^V*9w{sHsxCQR>>MRV*UA5AqMbnZBQYO>XeOfRE`+ z5Js%F+V8%fDKK=3ZPn18{Uhi}>za+^IC@|$s_Q!vwQjwX+=X={^F}1|W;;0xU?R!1 zT1+Nt(00f|*MBK_yYIqolO4~IK05eg?pB6!%!@a!`X#!2L{`vSt##LYHgblXcqEZK z3ENp<9dEk)hi2f`Rw1HJcJCVVnzN$F`T%k4(TbUMtlT|G7y?cY;$14KI$8&|ow=5I zB;M*cVqf1E^m&i|E-#iag>pAFQy;SJ|8U=ZAUkFJmYk{ikI=t!1lPZFL`osx4jNZD z);XyoB6vLWSa~2jVeOV2p9{t79~=}nXLD0201^go`}#m;xqNA9tmVw|#75Wf4xfTzEcjS!1B_CJ$Nl@JTl4b!*=?E*Nj6oB(SDT$rGH;*E$1DHUzgT3nj zVx*L#vAu!I@Utynv!pGUrAarxEmsFgDCe(=pFoX*m+Jrq=yEtRC~6-Dt3D&pUY*Gw zfFD)~0#e>%xzkN_1Ocm1N{+iS)zf5+gVaE+di@N9=r=E`k;)w*az0 zo&b9avzfVk95sAg_M+b9{Pi=6R^)gYCW6|4HCEzX`x8@qM)z320fop;lyrFZL8%yD z6zve&)FH~Vn=O3Ls(Py=`G1G3uI)4l7 zGm@g6L;30Amb5M_jpx-@;h!Uxv5fr3yGU*8+*VRO^tg4PFMq2VskF+0(5)8CioStsr@wOkQabM!3ABkjX z1%Hksv=>|2O$8keW!*dA9cTIypq44H%OgoTp~)Y%_7(4EDjlq0?kacN)F`;q)VHEASX8BvBz{17rp0M{f{)nr%Sy{@zD`cpXVcw1V_af6A{F;4Xyt_<9aVCY9|l^BiF#Ba zF~qdi$|6y>iXlA#MdwgLehW{RCsZ*TgH?g1WDYE_6X;JhX5&S4rl@zPg8GV)wx@RE zS~Moj0sI+u)0Epn=b;rJH*4t#2b>rH>UH)9$G99`$X9UR1ri*;yWcvRh&~UgBLyA) zBpEzrn+psOy}i%`#e&Kax^i;(=j(o?R+^6Sot0b{*|QbfZ<}_~mx`+-al`x>oALN% z-%+&8%j&G|ckh88eyl~MQmE|s?H6^b-cj3nHkJHCj;7pMzPzO?C)E$ds(i%F@w83K z)9Ftvou|@9h*tZLZul!_K0Wp-v_vSad*%Tt$_&|Pn${)Mgh~(Q#L5|ZW{Iy)mRNS= zjc}x4P1(Bk(;_!rK6xY+~NO%LV9=J=H* z4T^sE1)%qwxi&?|y9NP{mO)(+Vw{0WQ(XI}<=r#%VVABXOrL}*xX?(N;ph(Sy0i zDEZPjYxrHEo@cdHku$yA{J>yN9$jf3&9|Eyjl=LuQrpBH_o*zPe7!UDOb6|DBT3J( z+c@TV0MxKjYfwt2zvx@|d?f#KvG|H`-=|JZA*y6^#$5@|Xe>(J?t1E}S#`Q>JtUIN z(6f=ub{4KA#-rx-)KvSlR#!_6u|7OYZ-Qpwy`HCzWRY&;)bO%N*26AHD9w=U%;OLs z;Uk84eFmyp=W@t_--|`vzvx|(YJ1HfH#4VnW#TUUrZ4DEqlR3JyA9J~Q47Ln4$w>} zB8>ma;VDh~m2BTr-(&TWsd53~-~aNvrR}#J`$uqR2SD(zk2^l_eJ4#k3*i0xrrVyK z1)BHWitXJAP=|ki#oIj94+uwkw=hF4Gvh#V{cU`~2u_;dO z{yqR_%hqA=?+*E86vm^{)TrSged20R3ZG41c#QO5#sHGZ)d=j`vk4 zVU8Y5baH>i24#1w1)hB3!c#UB#oyR=^(?EGK~e_ln!Ei)WTh!DK?StynL2yYj6aAUC8v3YGUX1oE^}- zvw{0{5(jUSoyDn~2T`hi538yQf#1jYnT>}vECwsn3CO%g0F!=dUMu=qy~^9(!|KK! zA0){}n|-vthxuSQ>z#jyx7W@Jttz{X9d8aQFMebyL47&vE`T`KqIX+jK>{q?T%*c>gt?l^kakfip3(c?WaAz=}`|* z*E005%kbO?>Yr}^u9#r`{%eYkoLP3Nc26Hu6u*AXrG-_ z%djnkc0M`6n)S`nkomm;n|?H1`u#zl!`&0-KN9|tyl*4u39LAd{u5)ZbnKDcw;PV# z$7I%$F;ZMtxEwkD@xpKKA;}pDF)T@sPE-tvhz?KAz1B9fL?S>U2Gpux2q!d5tIMqV zTyA{g_?yLzOjf*I+aKAz{2JlCc~G0^Eb5p|{H>_}01uVi%j{T;#Ma`qYe__3!7fHL zW3?g@u@?#JeW>eK1VKL5mr**4fKPGX?dDEJPLsMa?A?q85NR<@gUryhc2=tWJf(ti z8*tA%1KP%bj&spX#-KPmrvua|9t&OEsvsVsc}G=M-mf<{{@mU4H;}Nz0n~(CDcVv{ z9Xs?g=eO73>5%4EM!i7?{c)ze@8X}>%GPW_l-t3pWpsmx1dlQv^eNCkbKx^f;XbFN z*ZJts!%xDvgC{;RmBJ$t$Z?N^+D7Zbq>exOIwO3lCWBQJZ3hKsw5nK7nx98^{_OY! z56AT>XbS_b-6)S$F{Qv0Ug~QJbI~xzF#Z@Csq8$dZWUI6#23cCR;f+Sz z%IMw#m2`<4P+{^Tw8@9FhjLneev+r@_Pb+D73?-T;X&tko}I|chC(DJ@2uVEG2&mQ zn7dBG_In%!1G?n;#(m@;0KUQNOROWvy_J0@#{Q3=_2gGp|9AT7Z|IDV{k{0>uRLsD z03_b41K!VvP=4R*{v!??T+M}-fD;=i4xWG20g99TpIvY>z>+->3dcNbksFP6p@br) znjhNz4LJAHx2-I*Eni zOLL7)f2cbPVg{JY7SR#-lh#Mm_ltNYyv3VuY4X%7s!3#bVj&YsKT9S-8Dw>Lr zx(N`1V<1t3!Az{6F5kVh`9+TqAwG#+7%@yVjh=nm$wjzMt3Yr9pZTRG)-SNEySVlO z8kH-sVZLMXB$F* z8-f0Wxs*pojZ5MsTH$X8F)?7>cS0Hj5t>~OK@k`$3r%dcaFHhN$0%upJ0uwm2%u#8 z8o4>dI04(!nC|NT>f{z5L_b6n)Xh}6yDQsz8(~$$h>-oWteXJJj_yl!31tmCzy-@& ziV`%;@R@?wh5v~LNo9gD8*zt3TCJNv8ly%~2lc0Dm>~6#6b0VC#V&iGn^&+6+$gmx z22K!0LKxPq0XOEK4k;q)rpt+Il#gFWIdyi0ka@!~kf0{mmQp!soX)~bCDeNAL*(DB z5oz2yn0#7r%aPYl2+drl&H>g0c5@V=#Jr%CFn*MZ*!1n}YAC9RXtkvaF>zUBs@K;dZ9!Nk(feI&!q(=ekWydb(nrN+LPPa$aj; ztSHfbq3~AA5Er!7a8lhdakXWNIEP`f<;p|?r zPM!s;Q^ss5g7|W9}JA{LYD|tphA*b3+YjPH= zT#Tz_zT?t4#2$3NYV4eP&zN`&a)=#~e>pjF5j&zf{_x!miF~zx$TFv{h>xx*UcM*- zqgH#wqgIDnndP1~55a9{*FEL^y1-4m*Z1i|%FoHHN!;nAjO?~jcV~mXPjt=E z$iSvsGI9)9mvRgs%+Bx!HL09xQH=up?t~!7-s!oqzUbsDq z?cXt*PX6j~@51%88-8ZwGEnmwoT-Mg-zU0y>b&K@%Ke6b&7CKU)A9a_q@F=4zXqCN zOY%z+74q6_uB^c?+bUHW*3N|!OsNO`4b=#g#x({h=BFiT{24XS9ht><&DA1=-VdQ7 zBWR6lzZ)6I-1BdUDa$3vmoMhiRpLIj$)r!J-%F;)x}bCA^wX94+6r@2{fv9)BdD86 zeTc=}k-nMk7}S584JHNB3cb`?mz-jIYlV%Xzk4(0_Kq8=a2vcTaMzBqWtsGRwDcUL zBGErR&qXvC24de)m--gnTjNR?k-S0v_%2@b|53B|DD8V17mAzj-=kJQ=j?eLe&EYGNek1-rbkzq%m*U`piw|9<+thS-kX09^-3 z>U_=qesMHAUvnyQKyo!t{@phJEuu5|_Fjo=003q};&20T_$jgXfpQ7PSVddaafXaN+-N7(gW{qp*Q1bqJU92fOOF80KmV^$HIWX1!$%P zK!t`woon;KSSrZkc>L-FU*=Lr?Emx4dAR=-<}6-d4-^gwUFzk*fHL#ei_(YB;K+@Z zEX^9QJ1>w9?7s@j+&mxvbcMzvvc)7&XbdAtT>7o?#aMyn1rBoCzXI$k0A%>5aWwcH z256oY0ZK#TO0YngmEx(HVF~yko!f;6<$RimSplnx0O=tCf5A-6K@vbWXguOFTmpsp zh`(dHdKoJKU*T9kWFmk867Rnn7w^AT{bq9+AS)COlg3rkuoQr{wwGj(+2jEgI@Xy2 zET#y=0aMEW{~px!*VfO+X%Xr37sS|%paL}fpP%2Pe#n1=hVxA=`};XA_*xl=-JGWe6o$qv zB3z_xxss$CAn7taQ*(PG=S=NP{r6VUYVWrq(*g?o2X*s~%Iqv5Q$?91kHs7v_!ots z1;lAi(E+~aw+RUJe+5n8EPP{}JGH;U=OUf&`4h_(k2yhFY6MxS&n76 zWKUXkL5_Ce+Wd=>)qh9j8v#uqu^TyL%%s=?!Vf<;z`5T+f_Q&sfqxbOao?X&H8^gZ zX3(I0bJ+&|24{J2iGMkB+uVbaGIw_xwJn(@%%FiZnMZG7aA^D=87HXub&hb zgAd4u^k4NDoZP^_&Qb=DzK!duG}h~cv45;{VZqN|fh^i(G^2G{(Xp~IEHZ`iVl*@+ z;}VdfG85Gsi>Q7u)j^t!9_9D-3#rn4;QxRIJwlT^U}pYZ)s(6fG%e!HnlPY&SXNPx z{T?2rWeqPt{v_BMN`Rf0g)(5a13?>4UmG7GBz-5W&RCQH0mmfY4v7tb4N;|~4cVDa zWwHj4xr!m};uIke(Df1Ueae*7KpePB1m&Bpg* zg>i1S_mTLGCggWN4)GU<_0p4t4HHZ)Lzs!BLGQOHO0jx?Qh2fX5Ig+q%>{rFDVtE> z$00&|06g9y^QfKa5?(c7bQbkjY64g{1^iEu$bq&c-7}_9;XaBUxVz46fl8vl{F0DDL>YTM^)PIlD2{|VuC)!L;%6n+BdS#TKDM(DP`H;m+0$GjDO zVl;Q-u(le5R^%eIukg;&mYB){#73z0PFSFTeWZQ$&f5PFM=E&qpmJ-E(9*G-PA35 zPs#%Bq6iczK)QQdt+FEKRHrKCiZ|E!BBX|>^#bqxp2cXTZMssU`Yqz~P+JRLg>fk1 z_=@PS)lXvS<|*2+VE6ERtvz@Zt%7-GFWvP(iZZ=!df~&j=9wM%uSo+;pJ%^$OhbLe z$)Y29Q=xLcJCj-J=^W^|N>`*JQVH!nC0@k+CvgjvZ9czv~FQY5Q zO$*xzAS+LFI43|0mNjk`_=td8wtz&uvphQb$NaT*w;q#3fZg&V;`3pSCGIAEbxe#2 z2z%KO*N{1Vyso!95KKDoH0eoDe8i46Foj46a~jt$QMl_QWN)XAQWvlv&eo@KDK6N9 zD&7xUiE@>Vz20y+>?@~_u|_4#6yC1`Vt0kPG!*{EhDIj5bJ;JJ^P-sFchc z)x6sk2{VDkHN@`Q3neK3|)dG{dTLW`$1?_pb=<_7-%9FKr#%P4>@poF^38pghGh z=n;(1=({Nn=i@c_C>}qnaErT5qFLCMUg+%1=4*O82t1a4)&#zW+EVM@Mqj}CP_vJ& z$a-8v@8ld24-RMUnpmszWSy)BmW~=zRCWj zOMN&1uNCnc{7nIBc=1bkCmq{#+n4Y=&|b9L8@ANe-P2LikItwGE6&L8Cm@OSN#$%3 zqbb$>o7W{ut_xvFGJU_Rn_!N;^O1$tFkuGu_ex;hRmX+u--pN$V6I)DvH~2pq!~j) zA(IBl8N#`d>tC-UidH9q(ZV&q8ZpG?S13yp(cr+D~TftoF2v^YXn^fMm!ahrRrTS z!}E8U*#BxVdrb{Vxh%Y7N(z*#q5CCcbNg}(y_iCR?|3GadCjG3qWFA$@ zpmvR#z@xH7iQ}NxUdpJ(lyI(5;x%)I*6*G$Zc>F|R^WfzDx-eQlSDQ$ORw2Io$ zc9(K*x8u0D)L*dd$I^6`|i_&n(+nAKj{Yt*)}RD25`%37};9i*|O67Z3@r#32|7Iad{qoq56CDWg40 z(`rb5_T;fBV+BI|qOmTQu-~a9Lod*|R@EGBB1ji&@o0-mWtX_a$ze5>iz-gCAs95WU|qnE)f$YC?5xnSWUxn+W1>=)t>1o6XEVw1pDf}O2?v%fleNU1O z)?JsEsf|}Mx4NF4uodL1rRY9)iQ;5oWyDPl4rU? zXdo4nO=D#~?E2n&eEI|mVrpI+N|e93i}6()ZACX&!z53M$-TMbxbMjVxWDVwag<{E zTzA9YWLIbubInv#TL(WB{1n{i8OHKOinnewhDZw@W`m~BunhiEVaOe>zkXMbsZ)oa z$2SR-{7ThTNh|fbUMe3fALYMR%zUjM*Jh-qq*|`j*jw!n*56QAp#wd~?+Pa+LLsf%tyZFf8Zy603)a-cJ&PVpr%rkiIZ~AJYT>016yGq($>&CeC)hKhvQ9dKUJX?{eZ8HW+EGU2JcLM#`t=M< z6XL1pJQyAJOZp5IxA>?o;dp)UQQQ0m{CRO=`{KVa$MkDlD*7Xv{#(>vdf;}Jg>aeb$A zQ0UBFVx(;Nowj3 zObn(GsK|hI)%F$(#t@NmRlV#c%0E>ZfuI}4;D6&czFq^F9&}d_>W1h;bg3{Fv z($z>j$4fq%L+@&mwQS4W?uN0-Y95VlKe>$Ir!iB0@)X-_>jjC32s&b3bU{P@VV|-3 zl-tzpCv|=M0eHnKci&%?}RPXbgviclL3p+jQ-rISb&TU~Xu~ZsplEaO3 zAgS)aS zg8yd2UNoZ7erRH%|1$z)iq@MT%MJfMQapVkI)w%|qd}(0P3NL>Xz;#p3K9hJ;8+4W z{5C_B7~Vw$;)9P~h%z9eZ$xF#GxfAc5DWLB+34`D6J#PB_9R-41}{2C&X+(1A-ypd zqGWJG9FQ7<2NOh!4rjhWCf&%f89Kc89%&BagKW{@@1BsRED+?324_VDkt2GDK*$AW zFpyd~=AQsT@-*3rw5j{-YB!p-BYaTTEfhRb z($XGkUeF>}wCmNHE979WMn78J0C2)_u4Xj5k9j$BAH$^L?WhJ|0EDW^e|S$|qAov9 z<k!c-=65?>itHB-u%5V?2ppA`bmH~!7b!F^>r(}S@#-XT z0UuPUm1!f(O~f&jqOyV$MN)7a3Wr~eVn}5xd2!=@$kr3%*D8q+x8nU`of{d7{^KL@ zCbe)&6o^i2jEB9lArQh(Ir(a`G;VvLFKLR199yuc#Mw#$^1e@UZ*$1ANaQCadmJh} z3x=8LkDf}_fT9A@a(`13Z{PFYxgb^&LYr2J`F(2>vxa(yI>`xuPU(!%w29iZ$vKJ5 zgzlqI^0X;IfPjX`(jH2DPkA*H)|74H3tI&SY=27TA&drs1BcCKG6h?F ze(uv@CmX=t-Eb{YT&}ge%d5l>D=A=quyM zy-*bLf~#Y>y#6Q|?zETlVy#!dQcW-S|JgzIpMskMXLz;A*LL4^E&aWT&BXWr8+x<< zCvh<~MfQ|l8rJANmFH_jaULuoZb=NI!a6;f=uY48BlSO)-G0_Kh57}|Od6If7p1bp zf2^E7BzDU~8lLao37%;AI_%AoyKmI2B;F_~9Ekxb2sWMs-*h+|?O+FvQQ!U`3w3

uIjEgTkC~wM3$#o zo^}O7=jfjwLZ<1zB_{d?bX+t`cYo3%M^8~SIQ5|Uy3Tj8SnF)eF0}W}aPjoa!ycP5 zY^J+Rt}-G*I#7-MQpok-&CR#cz02{NalVrzU#PkRRBNv>+hWGq*Ed72F-gc>R<&@y%6uNBpcxhgC!pls+^>TN@9PTbh9UoaJ4yQR?x>ztM=vT3#7MqMe@%bKlgs@0P%LjD^(1)>%(^OFU8niJZs4uOCE(Jfe+)?+#SCj%Nl`LdEd(~ zsGye6LJ?OuWaY_6H*39`%{ws1EG7`+d#18G`iJ^ zNQmOAa`ywtKnxnHN4Zqkf$BZYW5MSdu{eF%xTrH`vQ!rh7kvmr2m*lKYY7m*VrEi{`x6AN(^Ltk+s?Zu6SjtJ(nA1ZXHlq3=LoBKyp^C2eUF_ z6UBjv#NEkquq2Eu;uKRdT$g{qF^6W5rEJ!Ul4@dNeUdts%Aq{X$D^Rc!C{j{I!B>6 zGV`azB6wR+sfe$2Yv;E6hoji6 zH_(m|3-wz9(T#Ead`E(KRhdXJZ!lYPzfb;*=a#dDb(htnxQtqWcx2oBF9T0|$E z+hg74B%HXTHHOD|sR+Bdb=bn|Ve9-Bu3F`Og0S0&Fe-HUtNe-VT8a z&jBjm$PNCvyrE}{WeX};vkjuY{aP5oc8a2TDR;CSv92*`8aMUpjx1r8r^T|M`eK9U z9@oOR+yiR=WFTf2mB>e%7XCzh?Ml4RqJ8s8=2)44 zt7#4EIP^$%6ZnHdVa!3-_cG94za^$0V~a`PeD(An&DPd2xFsP|dB|UQjM+gd%~zY5 zO^djTJ>2;`DfT2jPA9~}z)$d{H*>@w*oFYZ;ScqhatFmds><73mSbBbrB6ziI#K|4Uo)FC)^h&@afNl%!cnM!To(O3~8U93;sDq=usF ztNskoe(B_aS2GRt=QKXBWaSFQo_OH+SWR-p&p1O*JrZ`2KkGxKtjA6R`~fiLm~u?6 zDf_ntqXRuTYQ+tN0>p_wlvZ3cP*w;2wPe4kJ#!xzvT5{GMtFh|0#z<%`89%s{6)WD zES||VUDq501)NFo5@r!afnSR9(3YG23Bb!b!y5xaC&jyQJ z1491oZ5CcPJCp@~Y%@9rCu#W921JlU+VEEMXlgyDBNb^6_DK_W^{) zfJcD=et!*9Lnw&coNO}B5LvYX- z{2hSkyc_yJLlA(Fj!E+~x)@KpDF_}9-J}z&0={Z|lK(*iWZ)Or#*bL_xBE`YvSsxP}g=soR|q z0y-VOsQto+Jt_f7M%Y7!1`Q~{cjGcLZGXp9%WF{>XiTHAnEP`Y%(%uQQVlUW>#^=wramXo6IHAi9F0O{*IXR#EvLy|}dxvVFh_1}JgAo-Za}G7l&X zceFd2#%n*CR)dCcO^+-s9TtzTQ4FPuqbMESvlP?$8s!!pa23MlPJ?|yuRrB zP4Ah{Pp*ebG-gJKi5jCoN@_XO!;8L49OCQD|T7ClagbscV;oUgX;OBpJWP zyy_0_rdbQ6J9jxsfFdJ9X{51MmHEdvsPBlkguHn~^D`m6p6Xxv-jZ;#-&3i$-~UoY zO6@7bjeeKy|1B~jHMcMsFB-2p#M@l?dsWW_wFren^4B8YfZ0|2k?|JYp$h~P|B?M6g%yiep;PBu%y z|JyF!f%@}ezQ7F(&N$2r#gQQ3Pv#?s*%W_IGUG&NhR_Q6Y0M@h3I?= z(8Nf03iABpGx?|RJ-$s7|CW!VbsuC3t-~n)j&hDc{F0IWU;oHr09(w=tGMrdVT9GLpbjIJ#o`dkWhr zKk@2<>AyW#0SgQ&O|A6vgxn)7Xi-KU;*k~|WLK0>Q~HO3PCP4)cBNT-f|^=Y0E%Kj znO8Av-9Ge8`Ay!neClrL3tBr}Sk_39bBILS{`bqMD67THDhXc#g#a+i3QKq^K7lC{VwE!(_ z*Z0E$BSlgv@+&*@kq-@_`bV0M9Egb9(LESp8$02fG^v1*h!xHu|3SU)zXtKn2JIGe z(&$#AA}TnO0;OM5Ug?!l{xZHPvKYsu4uj_3hJH-s)_K_@st<+=F z7zur?+vB`h?a5+u2E_r$Zzz*ON|%e6zSk{n>zlor?+o9a1`DCmUpW>P<-V8SHDjM1 zzBh`dhb3Z|v26;z;3Og7bQA01+0S#y#Qmy~W*6~_Bt)<<%`I5|6ylJDQiWm6+Qapy zj2NeMXr|R;yE{a>ZxTM8flh)hAS#3~e+5EAt`vyShm*AgMMls`S?A1e#kQjz3{)Xu^mwj z)>S{4w=Yhd+nFQ%GVz654?e3?B2)fF4ZSjJ_oa>LfV7R}0Iug7-CreBEx!p&MPM;P z%k{eitD-4FF6;i21wH!rQ8*;xk$_omELJv8EWYN4n2GJdcaxig)JT{hA%R375?Dy6 zAaR}Bo2ZEdcjwYz;w;h-LZUHu^v8fV79Xz%5?)w*wR;2>!KK>%f3hr)x2msxZV$3g zZnAPr!ZukQk%sZ)4%4<+BwXi!#KNYO!aqJM@SK?YYLhj)_Hmn)ZE~{|k=qM7Lo#HL z4+|-!2pHf(PNPD?;64hj{{@>bUTT(t&x8|bH^ebf_`*@V35_mRt6*;mpMZ9ZQZHSR zN~Lm7Mf%g8RoNZlWuZ$yGp%RPim)!v5<*yrRHcE|I~sFLOu_qs7pb=(F|# z{p7Ddt4AG@bfzJ9H-8DIPx-n2zqk~J^9zDr0!2m4@%Ual1==wR2#AWntpq`2F8|vF z9PDQA{vYrEb^!+~F`7z=Dk=%_3yLa=DToLO2+9j73J56i3-OD~gT(p8MO4IP82{fC z5#!bKTj!6goT)HBQ(D|5n>TOT2;}fE z&<*Q-sCML;WE15ojX42m(#Gt zZR{i^Mxx2;iT@6cwO6BeCdgD7=&%_6nQ7#TA*NUJs}9#|80#vXo!7z2(&07SrJ}2j z#;b_oY7o^wvZ8}k$C^~Us5RglCzh(xh_)k=G)Io6m|6Sz_WJLL{+wmTtwd#=d_d}I#b^e(~8%ylaysL z^=@glv1q_zK?|c8Xudd0g)Z!>5!&<@H+g|7+H4B!mJ#gjP;eCRg@pdGPJ?1K5V5*N zCeA9itn~$Bw;%B{9bnubO1ZqlL@N-|o z`ZpF)Pb9ph&^vWa)*_Zt2Yl31Qu2%S%fgzu?}jKrxJaJjRxohz#b4QE1R!D~Zg~ z!Kf-!I^Ki$)Z<<1ITvaiQ#AV2V~ttE==9@4*a{=nD@;6GxS%l?z=H#UZ7=eH(99%G6&`ic0CgkQ?F0o|Nb>5Bws>t2ctKt|7T*AmH ze66QF^Ze0Fd78V$(oJDM)?;E>al1syQ)cK~&u2#&x=wWp@xO!>7D3v6 z0%noHXH76EXP9yoj`OsY$off7)mHJvNSGf&M;B^P`k+-TxvbeyiQG^=aH|NhML-p=(?qEV z+;@#br^u9j>uWH~6sq>4m<=J{Cz8TzT9D{BUc8Mcq6PcK2wW9RR7l zK`i8iyUAa%zb$*vfryBB^*Qagn z0H}Vug$v8^OZ>4cCH>Lyr!}suFS2c(oaQM`S_PztH@=PKFav3vmPBdubvnP6TjsTE z7a|V5N_(cHfIaPNqksD}*AcbxrVN7Wnyj^^%xLGwfZn~-8vwxr?i`LX;i$jej^K4w zi?$=m9=Y^`5`_!9$%(5X!!P}=)Rig?w>6C?ojcK|p4O`X#ZYZ0Q4*SleWybZP2BqX zE6`BkMRg2uyjc(&XeiHF9W59i{7o0zxgfW^EYe2@#*}{aTs^B^kulN>hc4qBv3m7C zwk0W|>nj3W!Z_v>=;jnP1oa+d^8~-9?ypazr6qmmhAyM#Fyd-X5%5gmxz@i}Vg0wB z*j9tw1OGXI_P^q{vHqj@)kYg*F&bK70AIDnzLb}B2}eclfL25?EH_tl**jhNbwLhR zN?sc<>8kNH{)u+O-f1n$XaUMt+$GFRepXB)>AIjjYeT%+wVH8her%Ja2-0JQ`QDeu zSrIgMrZQG)W6$5XTDHv1Gv0$U_gDS)Gh8%L^cZn=97m?7zTiTpVUL#e+a4*WjGURg zgVzB_9uucxN(?RF^Cy=ACB^s{r3pOF&MR0FYw3+tVG!pqsrmsSg%4OSW(puq?IjF- zryfQOV5KG&vD52nRz{@feM$SfQVs3e2BK*aj+fj^Rek!n_kv)HwT;{cF6nDEK} z(zL#uIyaUCLcg7s%Fc4n_iGe%?@P4%jCM9k~FY-lGuup)ckXTp)Wl*%yM zOU;2DQh*mPeVzj3D#R1*35=)XoRJsVXGlB}uZ*o22wjKO&6-q1s>Feh_vagB>H1r(QOw=FiG=H-V3rX8z5fpAZK3r)!vBhA@^rcnA zAr!gW!TuX{@Y?~0?14I3WUoXk^=_5CQt1K3i z{6*CN_zilf!BD9pbepS%zj9FrFA9w~<9Rz#=?4Q#j+F~dh&!F31$-)g0|kb}kHbE4 z)%0XRxN#7hqY@x>SVAYcn!3$7Gu_k|)gBAUCUqNQS*i}vrIFXO*k@5da1yMm=Jnxa z#q3cuFIeMM=S#F}j#Zj48L$RVr?~Ke>sFw3N{rZyDI_XSWn?&6wP+nj=QC(bE|F2% zotEvEDqoG>C-Ci&Ch9@JY{rK!a|SOJV#4Nw>1r0pmi{D@ZL5)U=^fZR{5dx8^}W4$g79wsLUEXI$PIqr z`nqZAF@WfNLyp${h`)$PNt;?KfRS@0`NE4~bvz zKyFa?ABAuN`4ExoL)Mhxp9}mv2!`a{^Pc{R;=Zn@xjd_<`VcK$U>W|sAMI72#ks6W zMC>D|{L}Mi3_|?#(zPv8Ckvx}!Xl9AGxh|lWCh$^2E>3bA_fw{V`Wv=R>Au}!7N5P diff --git a/slides/BDA_lecture_7.tex b/slides/BDA_lecture_7.tex index 8605915d..a544b418 100644 --- a/slides/BDA_lecture_7.tex +++ b/slides/BDA_lecture_7.tex @@ -29,6 +29,8 @@ \usepackage{minted} \setminted{highlightcolor=yellow!25} \newmintinline{r}{} +% The following is adjusted from +% https://tex.stackexchange.com/questions/548592/changing-all-colors-to-black-white-using-minted-sty \makeatletter \newcommand{\minted@style@bw}{% \renewcommand\fcolorbox[3][]{##3}% @@ -42,6 +44,8 @@ {\minted@style@bw}{}% }} \makeatother +% The following is ajusted from +% https://tex.stackexchange.com/questions/74459/remove-space-before-colorbox \newcommand{\reducedstrut}{\vrule width 0pt height .9\ht\strutbox depth .9\dp\strutbox\relax} \newcommand{\highlight}[1]{% \begingroup @@ -349,7 +353,7 @@ \only<1>{\includegraphics[width=8cm]{rats_posterior.pdf}} \only<2>{\includegraphics[width=10cm]{rats_hierdraws.pdf}} \only<3>{\includegraphics[width=10cm]{rats_hierprior.pdf}} - \only<4-5>{\vspace{-0.3\baselineskip}\includegraphics[width=6.7cm]{rats_separate_less.pdf}\\} + \only<4-5>{\vspace{-\baselineskip}\includegraphics[width=6.7cm]{rats_separate_less.pdf}\\} \only<5>{\vspace{-0.3\baselineskip} \includegraphics[width=6.7cm]{rats_hier_less.pdf}\\} % \only<6>{\vspace{-0.3\baselineskip} @@ -368,7 +372,7 @@ \begin{frame}{Hierarchical binomial model: rats} - {\vspace{-0.3\baselineskip} + {\vspace{-\baselineskip} \includegraphics[width=6.7cm]{rats_hier_less.pdf}\\} {\vspace{-0.3\baselineskip} \includegraphics[width=6.7cm]{rats_hierprior.pdf}\\} @@ -1356,6 +1360,36 @@ \end{frame} +\begin{frame}[fragile]{Centered parameterization} + +\vspace{-0.5\baselineskip} +Hierarchical model code from the course demos + +\vspace{-\baselineskip} +{\footnotesize +\begin{minted}[highlightlines={4}]{stan} +parameters { + real mu0; // prior mean + real sigma0; // prior std constrained to be pos. + vector[K] mu; // group means + real sigma; // common std constrained to be pos. +} +\end{minted} +} +\vspace{-\baselineskip} +{\footnotesize +\begin{minted}[highlightlines={4}]{stan} +model { + mu0 ~ normal(10, 10); // weakly informative prior + sigma0 ~ normal(0, 10); // weakly informative prior + mu ~ normal(mu0, sigma0); // population prior with unknown param. + sigma ~ lognormal(0, .5); // weakly informative prior + y ~ normal(mu[x], sigma); // observation model +} +\end{minted} +} +\end{frame} + \begin{frame}[fragile]{Non-centered parameterization} \vspace{-0.5\baselineskip} @@ -1458,14 +1492,15 @@ \item<+-> If the likelihood is highly informative for all groups, and the non-centered parameterization is causing divergences, \begin{itemize} - \item use non-hierarchical model as the hierarchical part is not + \item use fixed population prior model as the hierarchical part is not that important with strong likelihood. Instead of \begin{minted}[fontsize=\footnotesize]{r} y ~ 1 + (1 | group) \end{minted} - use + use, for example, \begin{minted}[fontsize=\footnotesize]{r} -y ~ 1 + group +y ~ 1 + group, +prior = prior(normal(0, 10), class='b') \end{minted} \end{itemize} \item<+-> There can be need for both centered and non-centered